64.455 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.034 * * * [progress]: [2/2] Setting up program. 0.037 * [progress]: [Phase 2 of 3] Improving. 0.038 * [simplify]: Simplifying: (* x (/ (* (/ y z) t) t)) 0.038 * * [simplify]: Extracting # 0 : cost 0 0.038 * * [simplify]: Extracting # 1 : cost 0 0.038 * * [simplify]: Extracting # 2 : cost 0 0.038 * * [simplify]: Extracting # 3 : cost 0 0.038 * * [simplify]: Extracting # 4 : cost 0 0.038 * * [simplify]: Extracting # 5 : cost 0 0.038 * * [simplify]: Extracting # 6 : cost 0 0.038 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.040 * * [simplify]: Extracting # 0 : cost 0 0.040 * * [simplify]: Extracting # 1 : cost 0 0.041 * * [simplify]: Extracting # 2 : cost 0 0.041 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 0.046 * * [simplify]: Extracting # 0 : cost 0 0.046 * * [simplify]: Extracting # 1 : cost 0 0.046 * * [simplify]: Extracting # 2 : cost 0 0.046 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 0.063 * * [simplify]: Extracting # 0 : cost 0 0.063 * * [simplify]: Extracting # 1 : cost 0 0.063 * * [simplify]: Extracting # 2 : cost 0 0.063 * * [simplify]: iteration 3 : 99 enodes (cost 5 ) 0.147 * * [simplify]: Extracting # 0 : cost 0 0.147 * * [simplify]: Extracting # 1 : cost 0 0.148 * * [simplify]: Extracting # 2 : cost 0 0.149 * * [simplify]: iteration 4 : 386 enodes (cost 5 ) 1.725 * * [simplify]: Extracting # 0 : cost 0 1.727 * * [simplify]: Extracting # 1 : cost 0 1.729 * * [simplify]: Extracting # 2 : cost 0 1.731 * * [simplify]: iteration 5 : 1705 enodes (cost 5 ) 5.582 * * [simplify]: Extracting # 0 : cost 0 5.595 * * [simplify]: Extracting # 1 : cost 0 5.604 * * [simplify]: Extracting # 2 : cost 0 5.612 * * [simplify]: Extracting # 3 : cost 0 5.620 * * [simplify]: iteration done: 5001 enodes (cost 5 ) 5.620 * [simplify]: Simplified to: (* (/ y z) x) 5.625 * * [progress]: iteration 1 / 4 5.625 * * * [progress]: picking best candidate 5.631 * * * * [pick]: Picked # 5.631 * * * [progress]: localizing error 5.649 * * * [progress]: generating rewritten candidates 5.649 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 5.682 * * * [progress]: generating series expansions 5.682 * * * * [progress]: [ 1 / 1 ] generating series at (2) 5.682 * [backup-simplify]: Simplify (* (/ y z) x) into (/ (* x y) z) 5.682 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (y z x) around 0 5.682 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 5.682 * [taylor]: Taking taylor expansion of (* x y) in x 5.682 * [taylor]: Taking taylor expansion of x in x 5.682 * [backup-simplify]: Simplify 0 into 0 5.682 * [backup-simplify]: Simplify 1 into 1 5.682 * [taylor]: Taking taylor expansion of y in x 5.683 * [backup-simplify]: Simplify y into y 5.683 * [taylor]: Taking taylor expansion of z in x 5.683 * [backup-simplify]: Simplify z into z 5.683 * [backup-simplify]: Simplify (* 0 y) into 0 5.684 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.684 * [backup-simplify]: Simplify (/ y z) into (/ y z) 5.684 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 5.684 * [taylor]: Taking taylor expansion of (* x y) in z 5.684 * [taylor]: Taking taylor expansion of x in z 5.684 * [backup-simplify]: Simplify x into x 5.684 * [taylor]: Taking taylor expansion of y in z 5.684 * [backup-simplify]: Simplify y into y 5.684 * [taylor]: Taking taylor expansion of z in z 5.684 * [backup-simplify]: Simplify 0 into 0 5.684 * [backup-simplify]: Simplify 1 into 1 5.684 * [backup-simplify]: Simplify (* x y) into (* x y) 5.684 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 5.684 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 5.684 * [taylor]: Taking taylor expansion of (* x y) in y 5.684 * [taylor]: Taking taylor expansion of x in y 5.684 * [backup-simplify]: Simplify x into x 5.684 * [taylor]: Taking taylor expansion of y in y 5.684 * [backup-simplify]: Simplify 0 into 0 5.684 * [backup-simplify]: Simplify 1 into 1 5.684 * [taylor]: Taking taylor expansion of z in y 5.684 * [backup-simplify]: Simplify z into z 5.684 * [backup-simplify]: Simplify (* x 0) into 0 5.685 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.685 * [backup-simplify]: Simplify (/ x z) into (/ x z) 5.685 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 5.685 * [taylor]: Taking taylor expansion of (* x y) in y 5.685 * [taylor]: Taking taylor expansion of x in y 5.685 * [backup-simplify]: Simplify x into x 5.685 * [taylor]: Taking taylor expansion of y in y 5.685 * [backup-simplify]: Simplify 0 into 0 5.685 * [backup-simplify]: Simplify 1 into 1 5.685 * [taylor]: Taking taylor expansion of z in y 5.685 * [backup-simplify]: Simplify z into z 5.686 * [backup-simplify]: Simplify (* x 0) into 0 5.686 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.686 * [backup-simplify]: Simplify (/ x z) into (/ x z) 5.686 * [taylor]: Taking taylor expansion of (/ x z) in z 5.686 * [taylor]: Taking taylor expansion of x in z 5.686 * [backup-simplify]: Simplify x into x 5.686 * [taylor]: Taking taylor expansion of z in z 5.686 * [backup-simplify]: Simplify 0 into 0 5.686 * [backup-simplify]: Simplify 1 into 1 5.687 * [backup-simplify]: Simplify (/ x 1) into x 5.687 * [taylor]: Taking taylor expansion of x in x 5.687 * [backup-simplify]: Simplify 0 into 0 5.687 * [backup-simplify]: Simplify 1 into 1 5.687 * [backup-simplify]: Simplify 1 into 1 5.688 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 5.688 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0 5.688 * [taylor]: Taking taylor expansion of 0 in z 5.688 * [backup-simplify]: Simplify 0 into 0 5.689 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0 5.689 * [taylor]: Taking taylor expansion of 0 in x 5.689 * [backup-simplify]: Simplify 0 into 0 5.689 * [backup-simplify]: Simplify 0 into 0 5.689 * [backup-simplify]: Simplify 0 into 0 5.690 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 5.690 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 5.690 * [taylor]: Taking taylor expansion of 0 in z 5.690 * [backup-simplify]: Simplify 0 into 0 5.690 * [taylor]: Taking taylor expansion of 0 in x 5.690 * [backup-simplify]: Simplify 0 into 0 5.691 * [backup-simplify]: Simplify 0 into 0 5.692 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.692 * [taylor]: Taking taylor expansion of 0 in x 5.692 * [backup-simplify]: Simplify 0 into 0 5.692 * [backup-simplify]: Simplify 0 into 0 5.692 * [backup-simplify]: Simplify 0 into 0 5.692 * [backup-simplify]: Simplify 0 into 0 5.693 * [backup-simplify]: Simplify (* 1 (* x (* (/ 1 z) y))) into (/ (* x y) z) 5.693 * [backup-simplify]: Simplify (* (/ (/ 1 y) (/ 1 z)) (/ 1 x)) into (/ z (* x y)) 5.693 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (y z x) around 0 5.693 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 5.693 * [taylor]: Taking taylor expansion of z in x 5.693 * [backup-simplify]: Simplify z into z 5.693 * [taylor]: Taking taylor expansion of (* x y) in x 5.693 * [taylor]: Taking taylor expansion of x in x 5.693 * [backup-simplify]: Simplify 0 into 0 5.693 * [backup-simplify]: Simplify 1 into 1 5.693 * [taylor]: Taking taylor expansion of y in x 5.693 * [backup-simplify]: Simplify y into y 5.693 * [backup-simplify]: Simplify (* 0 y) into 0 5.694 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.694 * [backup-simplify]: Simplify (/ z y) into (/ z y) 5.694 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 5.694 * [taylor]: Taking taylor expansion of z in z 5.694 * [backup-simplify]: Simplify 0 into 0 5.694 * [backup-simplify]: Simplify 1 into 1 5.694 * [taylor]: Taking taylor expansion of (* x y) in z 5.694 * [taylor]: Taking taylor expansion of x in z 5.694 * [backup-simplify]: Simplify x into x 5.694 * [taylor]: Taking taylor expansion of y in z 5.694 * [backup-simplify]: Simplify y into y 5.694 * [backup-simplify]: Simplify (* x y) into (* x y) 5.694 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 5.694 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 5.694 * [taylor]: Taking taylor expansion of z in y 5.694 * [backup-simplify]: Simplify z into z 5.694 * [taylor]: Taking taylor expansion of (* x y) in y 5.694 * [taylor]: Taking taylor expansion of x in y 5.694 * [backup-simplify]: Simplify x into x 5.694 * [taylor]: Taking taylor expansion of y in y 5.694 * [backup-simplify]: Simplify 0 into 0 5.695 * [backup-simplify]: Simplify 1 into 1 5.695 * [backup-simplify]: Simplify (* x 0) into 0 5.695 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.695 * [backup-simplify]: Simplify (/ z x) into (/ z x) 5.695 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 5.695 * [taylor]: Taking taylor expansion of z in y 5.695 * [backup-simplify]: Simplify z into z 5.695 * [taylor]: Taking taylor expansion of (* x y) in y 5.695 * [taylor]: Taking taylor expansion of x in y 5.695 * [backup-simplify]: Simplify x into x 5.695 * [taylor]: Taking taylor expansion of y in y 5.695 * [backup-simplify]: Simplify 0 into 0 5.695 * [backup-simplify]: Simplify 1 into 1 5.696 * [backup-simplify]: Simplify (* x 0) into 0 5.696 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.696 * [backup-simplify]: Simplify (/ z x) into (/ z x) 5.696 * [taylor]: Taking taylor expansion of (/ z x) in z 5.696 * [taylor]: Taking taylor expansion of z in z 5.696 * [backup-simplify]: Simplify 0 into 0 5.696 * [backup-simplify]: Simplify 1 into 1 5.696 * [taylor]: Taking taylor expansion of x in z 5.696 * [backup-simplify]: Simplify x into x 5.696 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.696 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.697 * [taylor]: Taking taylor expansion of x in x 5.697 * [backup-simplify]: Simplify 0 into 0 5.697 * [backup-simplify]: Simplify 1 into 1 5.697 * [backup-simplify]: Simplify (/ 1 1) into 1 5.697 * [backup-simplify]: Simplify 1 into 1 5.698 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 5.699 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0 5.699 * [taylor]: Taking taylor expansion of 0 in z 5.699 * [backup-simplify]: Simplify 0 into 0 5.699 * [taylor]: Taking taylor expansion of 0 in x 5.699 * [backup-simplify]: Simplify 0 into 0 5.699 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0 5.699 * [taylor]: Taking taylor expansion of 0 in x 5.699 * [backup-simplify]: Simplify 0 into 0 5.700 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.700 * [backup-simplify]: Simplify 0 into 0 5.701 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 5.701 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.701 * [taylor]: Taking taylor expansion of 0 in z 5.701 * [backup-simplify]: Simplify 0 into 0 5.702 * [taylor]: Taking taylor expansion of 0 in x 5.702 * [backup-simplify]: Simplify 0 into 0 5.702 * [taylor]: Taking taylor expansion of 0 in x 5.702 * [backup-simplify]: Simplify 0 into 0 5.702 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.702 * [taylor]: Taking taylor expansion of 0 in x 5.702 * [backup-simplify]: Simplify 0 into 0 5.702 * [backup-simplify]: Simplify 0 into 0 5.702 * [backup-simplify]: Simplify 0 into 0 5.703 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.703 * [backup-simplify]: Simplify 0 into 0 5.704 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 5.705 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.705 * [taylor]: Taking taylor expansion of 0 in z 5.705 * [backup-simplify]: Simplify 0 into 0 5.705 * [taylor]: Taking taylor expansion of 0 in x 5.705 * [backup-simplify]: Simplify 0 into 0 5.705 * [taylor]: Taking taylor expansion of 0 in x 5.705 * [backup-simplify]: Simplify 0 into 0 5.705 * [taylor]: Taking taylor expansion of 0 in x 5.705 * [backup-simplify]: Simplify 0 into 0 5.705 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.705 * [taylor]: Taking taylor expansion of 0 in x 5.705 * [backup-simplify]: Simplify 0 into 0 5.706 * [backup-simplify]: Simplify 0 into 0 5.706 * [backup-simplify]: Simplify 0 into 0 5.706 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 z) (/ 1 (/ 1 y))))) into (/ (* x y) z) 5.706 * [backup-simplify]: Simplify (* (/ (/ 1 (- y)) (/ 1 (- z))) (/ 1 (- x))) into (* -1 (/ z (* x y))) 5.706 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (y z x) around 0 5.706 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 5.706 * [taylor]: Taking taylor expansion of -1 in x 5.706 * [backup-simplify]: Simplify -1 into -1 5.706 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 5.706 * [taylor]: Taking taylor expansion of z in x 5.706 * [backup-simplify]: Simplify z into z 5.706 * [taylor]: Taking taylor expansion of (* x y) in x 5.706 * [taylor]: Taking taylor expansion of x in x 5.706 * [backup-simplify]: Simplify 0 into 0 5.706 * [backup-simplify]: Simplify 1 into 1 5.706 * [taylor]: Taking taylor expansion of y in x 5.706 * [backup-simplify]: Simplify y into y 5.707 * [backup-simplify]: Simplify (* 0 y) into 0 5.707 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.707 * [backup-simplify]: Simplify (/ z y) into (/ z y) 5.707 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 5.707 * [taylor]: Taking taylor expansion of -1 in z 5.707 * [backup-simplify]: Simplify -1 into -1 5.707 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 5.707 * [taylor]: Taking taylor expansion of z in z 5.707 * [backup-simplify]: Simplify 0 into 0 5.708 * [backup-simplify]: Simplify 1 into 1 5.708 * [taylor]: Taking taylor expansion of (* x y) in z 5.708 * [taylor]: Taking taylor expansion of x in z 5.708 * [backup-simplify]: Simplify x into x 5.708 * [taylor]: Taking taylor expansion of y in z 5.708 * [backup-simplify]: Simplify y into y 5.708 * [backup-simplify]: Simplify (* x y) into (* x y) 5.708 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 5.708 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 5.708 * [taylor]: Taking taylor expansion of -1 in y 5.708 * [backup-simplify]: Simplify -1 into -1 5.708 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 5.708 * [taylor]: Taking taylor expansion of z in y 5.708 * [backup-simplify]: Simplify z into z 5.708 * [taylor]: Taking taylor expansion of (* x y) in y 5.708 * [taylor]: Taking taylor expansion of x in y 5.708 * [backup-simplify]: Simplify x into x 5.708 * [taylor]: Taking taylor expansion of y in y 5.708 * [backup-simplify]: Simplify 0 into 0 5.708 * [backup-simplify]: Simplify 1 into 1 5.708 * [backup-simplify]: Simplify (* x 0) into 0 5.709 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.709 * [backup-simplify]: Simplify (/ z x) into (/ z x) 5.709 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 5.709 * [taylor]: Taking taylor expansion of -1 in y 5.709 * [backup-simplify]: Simplify -1 into -1 5.709 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 5.709 * [taylor]: Taking taylor expansion of z in y 5.709 * [backup-simplify]: Simplify z into z 5.709 * [taylor]: Taking taylor expansion of (* x y) in y 5.709 * [taylor]: Taking taylor expansion of x in y 5.709 * [backup-simplify]: Simplify x into x 5.709 * [taylor]: Taking taylor expansion of y in y 5.709 * [backup-simplify]: Simplify 0 into 0 5.709 * [backup-simplify]: Simplify 1 into 1 5.709 * [backup-simplify]: Simplify (* x 0) into 0 5.710 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.710 * [backup-simplify]: Simplify (/ z x) into (/ z x) 5.710 * [backup-simplify]: Simplify (* -1 (/ z x)) into (* -1 (/ z x)) 5.710 * [taylor]: Taking taylor expansion of (* -1 (/ z x)) in z 5.710 * [taylor]: Taking taylor expansion of -1 in z 5.710 * [backup-simplify]: Simplify -1 into -1 5.710 * [taylor]: Taking taylor expansion of (/ z x) in z 5.710 * [taylor]: Taking taylor expansion of z in z 5.710 * [backup-simplify]: Simplify 0 into 0 5.710 * [backup-simplify]: Simplify 1 into 1 5.710 * [taylor]: Taking taylor expansion of x in z 5.710 * [backup-simplify]: Simplify x into x 5.710 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.711 * [backup-simplify]: Simplify (* -1 (/ 1 x)) into (/ -1 x) 5.711 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.711 * [taylor]: Taking taylor expansion of -1 in x 5.711 * [backup-simplify]: Simplify -1 into -1 5.711 * [taylor]: Taking taylor expansion of x in x 5.711 * [backup-simplify]: Simplify 0 into 0 5.711 * [backup-simplify]: Simplify 1 into 1 5.711 * [backup-simplify]: Simplify (/ -1 1) into -1 5.711 * [backup-simplify]: Simplify -1 into -1 5.712 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 5.713 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0 5.713 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ z x))) into 0 5.713 * [taylor]: Taking taylor expansion of 0 in z 5.713 * [backup-simplify]: Simplify 0 into 0 5.713 * [taylor]: Taking taylor expansion of 0 in x 5.713 * [backup-simplify]: Simplify 0 into 0 5.713 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0 5.714 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 x))) into 0 5.714 * [taylor]: Taking taylor expansion of 0 in x 5.714 * [backup-simplify]: Simplify 0 into 0 5.715 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 5.715 * [backup-simplify]: Simplify 0 into 0 5.716 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 5.717 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.717 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z x)))) into 0 5.717 * [taylor]: Taking taylor expansion of 0 in z 5.717 * [backup-simplify]: Simplify 0 into 0 5.717 * [taylor]: Taking taylor expansion of 0 in x 5.718 * [backup-simplify]: Simplify 0 into 0 5.718 * [taylor]: Taking taylor expansion of 0 in x 5.718 * [backup-simplify]: Simplify 0 into 0 5.718 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.718 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0 5.718 * [taylor]: Taking taylor expansion of 0 in x 5.718 * [backup-simplify]: Simplify 0 into 0 5.718 * [backup-simplify]: Simplify 0 into 0 5.718 * [backup-simplify]: Simplify 0 into 0 5.719 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.719 * [backup-simplify]: Simplify 0 into 0 5.720 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 5.720 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.721 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ z x))))) into 0 5.721 * [taylor]: Taking taylor expansion of 0 in z 5.721 * [backup-simplify]: Simplify 0 into 0 5.721 * [taylor]: Taking taylor expansion of 0 in x 5.721 * [backup-simplify]: Simplify 0 into 0 5.721 * [taylor]: Taking taylor expansion of 0 in x 5.721 * [backup-simplify]: Simplify 0 into 0 5.721 * [taylor]: Taking taylor expansion of 0 in x 5.721 * [backup-simplify]: Simplify 0 into 0 5.721 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.722 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0 5.722 * [taylor]: Taking taylor expansion of 0 in x 5.722 * [backup-simplify]: Simplify 0 into 0 5.722 * [backup-simplify]: Simplify 0 into 0 5.722 * [backup-simplify]: Simplify 0 into 0 5.722 * [backup-simplify]: Simplify (* -1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (- z)) (/ 1 (/ 1 (- y)))))) into (/ (* x y) z) 5.722 * * * [progress]: simplifying candidates 5.723 * [simplify]: Simplifying: (expm1 (* (/ y z) x)) (log1p (* (/ y z) x)) (* (/ y z) x) (+ (- (log y) (log z)) (log x)) (+ (log (/ y z)) (log x)) (log (* (/ y z) x)) (exp (* (/ y z) x)) (* (/ (* (* y y) y) (* (* z z) z)) (* (* x x) x)) (* (* (* (/ y z) (/ y z)) (/ y z)) (* (* x x) x)) (* (cbrt (* (/ y z) x)) (cbrt (* (/ y z) x))) (cbrt (* (/ y z) x)) (* (* (* (/ y z) x) (* (/ y z) x)) (* (/ y z) x)) (sqrt (* (/ y z) x)) (sqrt (* (/ y z) x)) (* (sqrt (/ y z)) (sqrt x)) (* (sqrt (/ y z)) (sqrt x)) (* (/ (sqrt y) (sqrt z)) (sqrt x)) (* (/ (sqrt y) (sqrt z)) (sqrt x)) (* (/ y z) (* (cbrt x) (cbrt x))) (* (/ y z) (sqrt x)) (* (/ y z) 1) (* (cbrt (/ y z)) x) (* (sqrt (/ y z)) x) (* (/ (cbrt y) (cbrt z)) x) (* (/ (cbrt y) (sqrt z)) x) (* (/ (cbrt y) z) x) (* (/ (sqrt y) (cbrt z)) x) (* (/ (sqrt y) (sqrt z)) x) (* (/ (sqrt y) z) x) (* (/ y (cbrt z)) x) (* (/ y (sqrt z)) x) (* (/ y z) x) (* (/ y z) x) (* (/ 1 z) x) (* y x) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 5.724 * * [simplify]: Extracting # 0 : cost 0 5.724 * * [simplify]: Extracting # 1 : cost 0 5.724 * * [simplify]: Extracting # 2 : cost 0 5.724 * * [simplify]: Extracting # 3 : cost 0 5.724 * * [simplify]: Extracting # 4 : cost 0 5.724 * * [simplify]: Extracting # 5 : cost 0 5.724 * * [simplify]: Extracting # 6 : cost 0 5.724 * * [simplify]: iteration 0 : 70 enodes (cost 273 ) 5.739 * * [simplify]: Extracting # 0 : cost 0 5.739 * * [simplify]: Extracting # 1 : cost 0 5.740 * * [simplify]: Extracting # 2 : cost 0 5.740 * * [simplify]: iteration 1 : 155 enodes (cost 268 ) 5.818 * * [simplify]: Extracting # 0 : cost 0 5.819 * * [simplify]: Extracting # 1 : cost 0 5.820 * * [simplify]: Extracting # 2 : cost 0 5.820 * * [simplify]: Extracting # 3 : cost 0 5.821 * * [simplify]: Extracting # 4 : cost 0 5.821 * * [simplify]: Extracting # 5 : cost 0 5.821 * * [simplify]: Extracting # 6 : cost 0 5.822 * * [simplify]: iteration 2 : 427 enodes (cost 236 ) 6.185 * * [simplify]: Extracting # 0 : cost 0 6.189 * * [simplify]: Extracting # 1 : cost 0 6.191 * * [simplify]: Extracting # 2 : cost 0 6.194 * * [simplify]: Extracting # 3 : cost 0 6.196 * * [simplify]: Extracting # 4 : cost 0 6.198 * * [simplify]: iteration 3 : 1211 enodes (cost 236 ) 9.131 * * [simplify]: Extracting # 0 : cost 0 9.137 * * [simplify]: Extracting # 1 : cost 0 9.140 * * [simplify]: Extracting # 2 : cost 0 9.144 * * [simplify]: Extracting # 3 : cost 0 9.147 * * [simplify]: Extracting # 4 : cost 0 9.151 * * [simplify]: iteration 4 : 3623 enodes (cost 236 ) 11.979 * * [simplify]: Extracting # 0 : cost 0 11.988 * * [simplify]: Extracting # 1 : cost 0 11.997 * * [simplify]: Extracting # 2 : cost 0 12.006 * * [simplify]: iteration done: 5000 enodes (cost 236 ) 12.006 * [simplify]: Simplified to: (expm1 (* (/ y z) x)) (log1p (* (/ y z) x)) (/ (* x y) z) (log (* (/ y z) x)) (log (* (/ y z) x)) (log (* (/ y z) x)) (exp (* (/ y z) x)) (pow (/ (* x y) z) 3) (pow (/ (* x y) z) 3) (* (cbrt (* (/ y z) x)) (cbrt (* (/ y z) x))) (cbrt (* (/ y z) x)) (pow (/ (* x y) z) 3) (sqrt (* (/ y z) x)) (sqrt (* (/ y z) x)) (* (sqrt (/ y z)) (sqrt x)) (* (sqrt (/ y z)) (sqrt x)) (* (/ (sqrt y) (sqrt z)) (sqrt x)) (* (/ (sqrt y) (sqrt z)) (sqrt x)) (* (/ y z) (* (cbrt x) (cbrt x))) (* (/ y z) (sqrt x)) (/ y z) (* (cbrt (/ y z)) x) (* (sqrt (/ y z)) x) (* (/ (cbrt y) (cbrt z)) x) (* (/ (cbrt y) (sqrt z)) x) (* (/ (cbrt y) z) x) (* (/ (sqrt y) (cbrt z)) x) (* (/ (sqrt y) (sqrt z)) x) (* (/ (sqrt y) z) x) (* (/ y (cbrt z)) x) (* (/ y (sqrt z)) x) (/ (* x y) z) (/ (* x y) z) (/ x z) (* x y) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 12.007 * * * [progress]: adding candidates to table 12.148 * * [progress]: iteration 2 / 4 12.148 * * * [progress]: picking best candidate 12.170 * * * * [pick]: Picked # 12.170 * * * [progress]: localizing error 12.177 * * * [progress]: generating rewritten candidates 12.177 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 12.199 * * * [progress]: generating series expansions 12.199 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 12.199 * [backup-simplify]: Simplify (/ (* x y) z) into (/ (* x y) z) 12.199 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0 12.199 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 12.199 * [taylor]: Taking taylor expansion of (* x y) in z 12.199 * [taylor]: Taking taylor expansion of x in z 12.200 * [backup-simplify]: Simplify x into x 12.200 * [taylor]: Taking taylor expansion of y in z 12.200 * [backup-simplify]: Simplify y into y 12.200 * [taylor]: Taking taylor expansion of z in z 12.200 * [backup-simplify]: Simplify 0 into 0 12.200 * [backup-simplify]: Simplify 1 into 1 12.200 * [backup-simplify]: Simplify (* x y) into (* x y) 12.200 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 12.200 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 12.200 * [taylor]: Taking taylor expansion of (* x y) in y 12.200 * [taylor]: Taking taylor expansion of x in y 12.200 * [backup-simplify]: Simplify x into x 12.200 * [taylor]: Taking taylor expansion of y in y 12.200 * [backup-simplify]: Simplify 0 into 0 12.200 * [backup-simplify]: Simplify 1 into 1 12.200 * [taylor]: Taking taylor expansion of z in y 12.200 * [backup-simplify]: Simplify z into z 12.200 * [backup-simplify]: Simplify (* x 0) into 0 12.201 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 12.201 * [backup-simplify]: Simplify (/ x z) into (/ x z) 12.201 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 12.201 * [taylor]: Taking taylor expansion of (* x y) in x 12.201 * [taylor]: Taking taylor expansion of x in x 12.201 * [backup-simplify]: Simplify 0 into 0 12.201 * [backup-simplify]: Simplify 1 into 1 12.201 * [taylor]: Taking taylor expansion of y in x 12.201 * [backup-simplify]: Simplify y into y 12.201 * [taylor]: Taking taylor expansion of z in x 12.201 * [backup-simplify]: Simplify z into z 12.201 * [backup-simplify]: Simplify (* 0 y) into 0 12.202 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 12.202 * [backup-simplify]: Simplify (/ y z) into (/ y z) 12.202 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 12.202 * [taylor]: Taking taylor expansion of (* x y) in x 12.202 * [taylor]: Taking taylor expansion of x in x 12.202 * [backup-simplify]: Simplify 0 into 0 12.202 * [backup-simplify]: Simplify 1 into 1 12.202 * [taylor]: Taking taylor expansion of y in x 12.202 * [backup-simplify]: Simplify y into y 12.202 * [taylor]: Taking taylor expansion of z in x 12.202 * [backup-simplify]: Simplify z into z 12.202 * [backup-simplify]: Simplify (* 0 y) into 0 12.203 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 12.203 * [backup-simplify]: Simplify (/ y z) into (/ y z) 12.203 * [taylor]: Taking taylor expansion of (/ y z) in y 12.203 * [taylor]: Taking taylor expansion of y in y 12.203 * [backup-simplify]: Simplify 0 into 0 12.203 * [backup-simplify]: Simplify 1 into 1 12.203 * [taylor]: Taking taylor expansion of z in y 12.203 * [backup-simplify]: Simplify z into z 12.203 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.203 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.203 * [taylor]: Taking taylor expansion of z in z 12.203 * [backup-simplify]: Simplify 0 into 0 12.203 * [backup-simplify]: Simplify 1 into 1 12.204 * [backup-simplify]: Simplify (/ 1 1) into 1 12.204 * [backup-simplify]: Simplify 1 into 1 12.205 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 12.205 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0 12.205 * [taylor]: Taking taylor expansion of 0 in y 12.205 * [backup-simplify]: Simplify 0 into 0 12.205 * [taylor]: Taking taylor expansion of 0 in z 12.205 * [backup-simplify]: Simplify 0 into 0 12.206 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 12.206 * [taylor]: Taking taylor expansion of 0 in z 12.206 * [backup-simplify]: Simplify 0 into 0 12.207 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.207 * [backup-simplify]: Simplify 0 into 0 12.208 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 12.208 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 12.208 * [taylor]: Taking taylor expansion of 0 in y 12.208 * [backup-simplify]: Simplify 0 into 0 12.209 * [taylor]: Taking taylor expansion of 0 in z 12.209 * [backup-simplify]: Simplify 0 into 0 12.209 * [taylor]: Taking taylor expansion of 0 in z 12.209 * [backup-simplify]: Simplify 0 into 0 12.209 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 12.209 * [taylor]: Taking taylor expansion of 0 in z 12.209 * [backup-simplify]: Simplify 0 into 0 12.209 * [backup-simplify]: Simplify 0 into 0 12.209 * [backup-simplify]: Simplify 0 into 0 12.211 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.211 * [backup-simplify]: Simplify 0 into 0 12.213 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 12.213 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 12.213 * [taylor]: Taking taylor expansion of 0 in y 12.213 * [backup-simplify]: Simplify 0 into 0 12.213 * [taylor]: Taking taylor expansion of 0 in z 12.213 * [backup-simplify]: Simplify 0 into 0 12.213 * [taylor]: Taking taylor expansion of 0 in z 12.213 * [backup-simplify]: Simplify 0 into 0 12.213 * [taylor]: Taking taylor expansion of 0 in z 12.213 * [backup-simplify]: Simplify 0 into 0 12.214 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 12.214 * [taylor]: Taking taylor expansion of 0 in z 12.214 * [backup-simplify]: Simplify 0 into 0 12.214 * [backup-simplify]: Simplify 0 into 0 12.214 * [backup-simplify]: Simplify 0 into 0 12.214 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* y x))) into (/ (* x y) z) 12.214 * [backup-simplify]: Simplify (/ (* (/ 1 x) (/ 1 y)) (/ 1 z)) into (/ z (* x y)) 12.214 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0 12.214 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 12.214 * [taylor]: Taking taylor expansion of z in z 12.214 * [backup-simplify]: Simplify 0 into 0 12.214 * [backup-simplify]: Simplify 1 into 1 12.214 * [taylor]: Taking taylor expansion of (* x y) in z 12.214 * [taylor]: Taking taylor expansion of x in z 12.214 * [backup-simplify]: Simplify x into x 12.214 * [taylor]: Taking taylor expansion of y in z 12.214 * [backup-simplify]: Simplify y into y 12.215 * [backup-simplify]: Simplify (* x y) into (* x y) 12.215 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 12.215 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 12.215 * [taylor]: Taking taylor expansion of z in y 12.215 * [backup-simplify]: Simplify z into z 12.215 * [taylor]: Taking taylor expansion of (* x y) in y 12.215 * [taylor]: Taking taylor expansion of x in y 12.215 * [backup-simplify]: Simplify x into x 12.215 * [taylor]: Taking taylor expansion of y in y 12.215 * [backup-simplify]: Simplify 0 into 0 12.215 * [backup-simplify]: Simplify 1 into 1 12.215 * [backup-simplify]: Simplify (* x 0) into 0 12.216 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 12.216 * [backup-simplify]: Simplify (/ z x) into (/ z x) 12.216 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 12.216 * [taylor]: Taking taylor expansion of z in x 12.216 * [backup-simplify]: Simplify z into z 12.216 * [taylor]: Taking taylor expansion of (* x y) in x 12.216 * [taylor]: Taking taylor expansion of x in x 12.216 * [backup-simplify]: Simplify 0 into 0 12.216 * [backup-simplify]: Simplify 1 into 1 12.216 * [taylor]: Taking taylor expansion of y in x 12.216 * [backup-simplify]: Simplify y into y 12.216 * [backup-simplify]: Simplify (* 0 y) into 0 12.217 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 12.217 * [backup-simplify]: Simplify (/ z y) into (/ z y) 12.217 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 12.217 * [taylor]: Taking taylor expansion of z in x 12.217 * [backup-simplify]: Simplify z into z 12.217 * [taylor]: Taking taylor expansion of (* x y) in x 12.217 * [taylor]: Taking taylor expansion of x in x 12.217 * [backup-simplify]: Simplify 0 into 0 12.217 * [backup-simplify]: Simplify 1 into 1 12.217 * [taylor]: Taking taylor expansion of y in x 12.217 * [backup-simplify]: Simplify y into y 12.217 * [backup-simplify]: Simplify (* 0 y) into 0 12.218 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 12.218 * [backup-simplify]: Simplify (/ z y) into (/ z y) 12.218 * [taylor]: Taking taylor expansion of (/ z y) in y 12.218 * [taylor]: Taking taylor expansion of z in y 12.218 * [backup-simplify]: Simplify z into z 12.218 * [taylor]: Taking taylor expansion of y in y 12.218 * [backup-simplify]: Simplify 0 into 0 12.218 * [backup-simplify]: Simplify 1 into 1 12.218 * [backup-simplify]: Simplify (/ z 1) into z 12.218 * [taylor]: Taking taylor expansion of z in z 12.218 * [backup-simplify]: Simplify 0 into 0 12.218 * [backup-simplify]: Simplify 1 into 1 12.218 * [backup-simplify]: Simplify 1 into 1 12.219 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 12.220 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0 12.220 * [taylor]: Taking taylor expansion of 0 in y 12.220 * [backup-simplify]: Simplify 0 into 0 12.221 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 12.221 * [taylor]: Taking taylor expansion of 0 in z 12.221 * [backup-simplify]: Simplify 0 into 0 12.221 * [backup-simplify]: Simplify 0 into 0 12.221 * [backup-simplify]: Simplify 0 into 0 12.222 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 12.223 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 12.223 * [taylor]: Taking taylor expansion of 0 in y 12.223 * [backup-simplify]: Simplify 0 into 0 12.223 * [taylor]: Taking taylor expansion of 0 in z 12.223 * [backup-simplify]: Simplify 0 into 0 12.223 * [backup-simplify]: Simplify 0 into 0 12.225 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.225 * [taylor]: Taking taylor expansion of 0 in z 12.225 * [backup-simplify]: Simplify 0 into 0 12.225 * [backup-simplify]: Simplify 0 into 0 12.225 * [backup-simplify]: Simplify 0 into 0 12.225 * [backup-simplify]: Simplify 0 into 0 12.225 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (/ (* x y) z) 12.225 * [backup-simplify]: Simplify (/ (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) into (* -1 (/ z (* x y))) 12.225 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0 12.225 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 12.226 * [taylor]: Taking taylor expansion of -1 in z 12.226 * [backup-simplify]: Simplify -1 into -1 12.226 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 12.226 * [taylor]: Taking taylor expansion of z in z 12.226 * [backup-simplify]: Simplify 0 into 0 12.226 * [backup-simplify]: Simplify 1 into 1 12.226 * [taylor]: Taking taylor expansion of (* x y) in z 12.226 * [taylor]: Taking taylor expansion of x in z 12.226 * [backup-simplify]: Simplify x into x 12.226 * [taylor]: Taking taylor expansion of y in z 12.226 * [backup-simplify]: Simplify y into y 12.226 * [backup-simplify]: Simplify (* x y) into (* x y) 12.226 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 12.226 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 12.226 * [taylor]: Taking taylor expansion of -1 in y 12.226 * [backup-simplify]: Simplify -1 into -1 12.226 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 12.226 * [taylor]: Taking taylor expansion of z in y 12.226 * [backup-simplify]: Simplify z into z 12.226 * [taylor]: Taking taylor expansion of (* x y) in y 12.226 * [taylor]: Taking taylor expansion of x in y 12.226 * [backup-simplify]: Simplify x into x 12.226 * [taylor]: Taking taylor expansion of y in y 12.226 * [backup-simplify]: Simplify 0 into 0 12.226 * [backup-simplify]: Simplify 1 into 1 12.226 * [backup-simplify]: Simplify (* x 0) into 0 12.227 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 12.227 * [backup-simplify]: Simplify (/ z x) into (/ z x) 12.227 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 12.227 * [taylor]: Taking taylor expansion of -1 in x 12.227 * [backup-simplify]: Simplify -1 into -1 12.227 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 12.227 * [taylor]: Taking taylor expansion of z in x 12.227 * [backup-simplify]: Simplify z into z 12.227 * [taylor]: Taking taylor expansion of (* x y) in x 12.227 * [taylor]: Taking taylor expansion of x in x 12.227 * [backup-simplify]: Simplify 0 into 0 12.227 * [backup-simplify]: Simplify 1 into 1 12.227 * [taylor]: Taking taylor expansion of y in x 12.228 * [backup-simplify]: Simplify y into y 12.228 * [backup-simplify]: Simplify (* 0 y) into 0 12.228 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 12.228 * [backup-simplify]: Simplify (/ z y) into (/ z y) 12.228 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 12.228 * [taylor]: Taking taylor expansion of -1 in x 12.228 * [backup-simplify]: Simplify -1 into -1 12.228 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 12.228 * [taylor]: Taking taylor expansion of z in x 12.228 * [backup-simplify]: Simplify z into z 12.228 * [taylor]: Taking taylor expansion of (* x y) in x 12.228 * [taylor]: Taking taylor expansion of x in x 12.228 * [backup-simplify]: Simplify 0 into 0 12.229 * [backup-simplify]: Simplify 1 into 1 12.229 * [taylor]: Taking taylor expansion of y in x 12.229 * [backup-simplify]: Simplify y into y 12.229 * [backup-simplify]: Simplify (* 0 y) into 0 12.229 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 12.229 * [backup-simplify]: Simplify (/ z y) into (/ z y) 12.229 * [backup-simplify]: Simplify (* -1 (/ z y)) into (* -1 (/ z y)) 12.229 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y 12.229 * [taylor]: Taking taylor expansion of -1 in y 12.230 * [backup-simplify]: Simplify -1 into -1 12.230 * [taylor]: Taking taylor expansion of (/ z y) in y 12.230 * [taylor]: Taking taylor expansion of z in y 12.230 * [backup-simplify]: Simplify z into z 12.230 * [taylor]: Taking taylor expansion of y in y 12.230 * [backup-simplify]: Simplify 0 into 0 12.230 * [backup-simplify]: Simplify 1 into 1 12.230 * [backup-simplify]: Simplify (/ z 1) into z 12.230 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 12.230 * [taylor]: Taking taylor expansion of (* -1 z) in z 12.230 * [taylor]: Taking taylor expansion of -1 in z 12.230 * [backup-simplify]: Simplify -1 into -1 12.230 * [taylor]: Taking taylor expansion of z in z 12.230 * [backup-simplify]: Simplify 0 into 0 12.230 * [backup-simplify]: Simplify 1 into 1 12.231 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1 12.231 * [backup-simplify]: Simplify -1 into -1 12.232 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 12.232 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0 12.233 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ z y))) into 0 12.233 * [taylor]: Taking taylor expansion of 0 in y 12.233 * [backup-simplify]: Simplify 0 into 0 12.234 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 12.234 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 z)) into 0 12.235 * [taylor]: Taking taylor expansion of 0 in z 12.235 * [backup-simplify]: Simplify 0 into 0 12.235 * [backup-simplify]: Simplify 0 into 0 12.236 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 12.236 * [backup-simplify]: Simplify 0 into 0 12.237 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 12.238 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 12.239 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z y)))) into 0 12.239 * [taylor]: Taking taylor expansion of 0 in y 12.239 * [backup-simplify]: Simplify 0 into 0 12.239 * [taylor]: Taking taylor expansion of 0 in z 12.239 * [backup-simplify]: Simplify 0 into 0 12.239 * [backup-simplify]: Simplify 0 into 0 12.240 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.242 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0 12.242 * [taylor]: Taking taylor expansion of 0 in z 12.242 * [backup-simplify]: Simplify 0 into 0 12.242 * [backup-simplify]: Simplify 0 into 0 12.242 * [backup-simplify]: Simplify 0 into 0 12.243 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 12.243 * [backup-simplify]: Simplify 0 into 0 12.244 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (/ (* x y) z) 12.244 * * * [progress]: simplifying candidates 12.245 * [simplify]: Simplifying: (expm1 (/ (* x y) z)) (log1p (/ (* x y) z)) (- (+ (log x) (log y)) (log z)) (- (log (* x y)) (log z)) (log (/ (* x y) z)) (exp (/ (* x y) z)) (/ (* (* (* x x) x) (* (* y y) y)) (* (* z z) z)) (/ (* (* (* x y) (* x y)) (* x y)) (* (* z z) z)) (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z)) (* (* (/ (* x y) z) (/ (* x y) z)) (/ (* x y) z)) (sqrt (/ (* x y) z)) (sqrt (/ (* x y) z)) (- (* x y)) (- z) (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (/ x (sqrt z)) (/ y (sqrt z)) (/ x 1) (/ y z) (/ 1 z) (/ z (* x y)) (/ (* x y) (* (cbrt z) (cbrt z))) (/ (* x y) (sqrt z)) (/ (* x y) 1) (/ z y) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 12.245 * * [simplify]: Extracting # 0 : cost 0 12.245 * * [simplify]: Extracting # 1 : cost 0 12.246 * * [simplify]: Extracting # 2 : cost 0 12.246 * * [simplify]: Extracting # 3 : cost 0 12.246 * * [simplify]: Extracting # 4 : cost 0 12.246 * * [simplify]: Extracting # 5 : cost 0 12.246 * * [simplify]: Extracting # 6 : cost 0 12.246 * * [simplify]: iteration 0 : 50 enodes (cost 198 ) 12.257 * * [simplify]: Extracting # 0 : cost 0 12.257 * * [simplify]: Extracting # 1 : cost 0 12.257 * * [simplify]: Extracting # 2 : cost 0 12.257 * * [simplify]: iteration 1 : 112 enodes (cost 191 ) 12.304 * * [simplify]: Extracting # 0 : cost 0 12.304 * * [simplify]: Extracting # 1 : cost 0 12.305 * * [simplify]: Extracting # 2 : cost 0 12.305 * * [simplify]: Extracting # 3 : cost 0 12.306 * * [simplify]: Extracting # 4 : cost 0 12.306 * * [simplify]: iteration 2 : 390 enodes (cost 161 ) 12.951 * * [simplify]: Extracting # 0 : cost 0 12.963 * * [simplify]: Extracting # 1 : cost 0 12.966 * * [simplify]: Extracting # 2 : cost 0 12.970 * * [simplify]: Extracting # 3 : cost 0 12.974 * * [simplify]: Extracting # 4 : cost 0 12.978 * * [simplify]: iteration 3 : 1765 enodes (cost 161 ) 16.587 * * [simplify]: Extracting # 0 : cost 0 16.606 * * [simplify]: Extracting # 1 : cost 0 16.616 * * [simplify]: Extracting # 2 : cost 0 16.625 * * [simplify]: Extracting # 3 : cost 0 16.634 * * [simplify]: Extracting # 4 : cost 0 16.644 * * [simplify]: iteration done: 5000 enodes (cost 161 ) 16.644 * [simplify]: Simplified to: (expm1 (/ (* x y) z)) (log1p (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (exp (/ (* x y) z)) (pow (/ (* x y) z) 3) (pow (/ (* x y) z) 3) (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z)) (pow (/ (* x y) z) 3) (sqrt (/ (* x y) z)) (sqrt (/ (* x y) z)) (- (* x y)) (- z) (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (/ x (sqrt z)) (/ y (sqrt z)) x (/ y z) (/ 1 z) (/ z (* x y)) (/ (* x y) (* (cbrt z) (cbrt z))) (/ (* x y) (sqrt z)) (* x y) (/ z y) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 16.645 * * * [progress]: adding candidates to table 16.730 * * [progress]: iteration 3 / 4 16.730 * * * [progress]: picking best candidate 16.756 * * * * [pick]: Picked # 16.756 * * * [progress]: localizing error 16.779 * * * [progress]: generating rewritten candidates 16.779 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2) 16.794 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 16.831 * * * [progress]: generating series expansions 16.831 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2) 16.831 * [backup-simplify]: Simplify (/ z (* x y)) into (/ z (* x y)) 16.831 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (z x y) around 0 16.831 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 16.831 * [taylor]: Taking taylor expansion of z in y 16.831 * [backup-simplify]: Simplify z into z 16.831 * [taylor]: Taking taylor expansion of (* x y) in y 16.831 * [taylor]: Taking taylor expansion of x in y 16.831 * [backup-simplify]: Simplify x into x 16.831 * [taylor]: Taking taylor expansion of y in y 16.831 * [backup-simplify]: Simplify 0 into 0 16.831 * [backup-simplify]: Simplify 1 into 1 16.831 * [backup-simplify]: Simplify (* x 0) into 0 16.832 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 16.832 * [backup-simplify]: Simplify (/ z x) into (/ z x) 16.832 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 16.832 * [taylor]: Taking taylor expansion of z in x 16.832 * [backup-simplify]: Simplify z into z 16.832 * [taylor]: Taking taylor expansion of (* x y) in x 16.832 * [taylor]: Taking taylor expansion of x in x 16.832 * [backup-simplify]: Simplify 0 into 0 16.832 * [backup-simplify]: Simplify 1 into 1 16.832 * [taylor]: Taking taylor expansion of y in x 16.832 * [backup-simplify]: Simplify y into y 16.832 * [backup-simplify]: Simplify (* 0 y) into 0 16.832 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 16.833 * [backup-simplify]: Simplify (/ z y) into (/ z y) 16.833 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 16.833 * [taylor]: Taking taylor expansion of z in z 16.833 * [backup-simplify]: Simplify 0 into 0 16.833 * [backup-simplify]: Simplify 1 into 1 16.833 * [taylor]: Taking taylor expansion of (* x y) in z 16.833 * [taylor]: Taking taylor expansion of x in z 16.833 * [backup-simplify]: Simplify x into x 16.833 * [taylor]: Taking taylor expansion of y in z 16.833 * [backup-simplify]: Simplify y into y 16.833 * [backup-simplify]: Simplify (* x y) into (* x y) 16.833 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 16.833 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 16.833 * [taylor]: Taking taylor expansion of z in z 16.833 * [backup-simplify]: Simplify 0 into 0 16.833 * [backup-simplify]: Simplify 1 into 1 16.833 * [taylor]: Taking taylor expansion of (* x y) in z 16.833 * [taylor]: Taking taylor expansion of x in z 16.833 * [backup-simplify]: Simplify x into x 16.833 * [taylor]: Taking taylor expansion of y in z 16.833 * [backup-simplify]: Simplify y into y 16.833 * [backup-simplify]: Simplify (* x y) into (* x y) 16.833 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 16.833 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 16.833 * [taylor]: Taking taylor expansion of (* x y) in x 16.833 * [taylor]: Taking taylor expansion of x in x 16.833 * [backup-simplify]: Simplify 0 into 0 16.834 * [backup-simplify]: Simplify 1 into 1 16.834 * [taylor]: Taking taylor expansion of y in x 16.834 * [backup-simplify]: Simplify y into y 16.834 * [backup-simplify]: Simplify (* 0 y) into 0 16.834 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 16.834 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 16.834 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.834 * [taylor]: Taking taylor expansion of y in y 16.834 * [backup-simplify]: Simplify 0 into 0 16.834 * [backup-simplify]: Simplify 1 into 1 16.834 * [backup-simplify]: Simplify (/ 1 1) into 1 16.834 * [backup-simplify]: Simplify 1 into 1 16.835 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 16.835 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 16.835 * [taylor]: Taking taylor expansion of 0 in x 16.835 * [backup-simplify]: Simplify 0 into 0 16.835 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 16.835 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 16.835 * [taylor]: Taking taylor expansion of 0 in y 16.836 * [backup-simplify]: Simplify 0 into 0 16.836 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 16.836 * [backup-simplify]: Simplify 0 into 0 16.836 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 16.837 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 16.837 * [taylor]: Taking taylor expansion of 0 in x 16.837 * [backup-simplify]: Simplify 0 into 0 16.837 * [taylor]: Taking taylor expansion of 0 in y 16.837 * [backup-simplify]: Simplify 0 into 0 16.838 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 16.838 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 16.838 * [taylor]: Taking taylor expansion of 0 in y 16.838 * [backup-simplify]: Simplify 0 into 0 16.838 * [backup-simplify]: Simplify 0 into 0 16.838 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.838 * [backup-simplify]: Simplify 0 into 0 16.839 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 16.839 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 16.839 * [taylor]: Taking taylor expansion of 0 in x 16.839 * [backup-simplify]: Simplify 0 into 0 16.839 * [taylor]: Taking taylor expansion of 0 in y 16.839 * [backup-simplify]: Simplify 0 into 0 16.839 * [taylor]: Taking taylor expansion of 0 in y 16.839 * [backup-simplify]: Simplify 0 into 0 16.840 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 16.841 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 16.841 * [taylor]: Taking taylor expansion of 0 in y 16.841 * [backup-simplify]: Simplify 0 into 0 16.841 * [backup-simplify]: Simplify 0 into 0 16.841 * [backup-simplify]: Simplify 0 into 0 16.841 * [backup-simplify]: Simplify 0 into 0 16.841 * [backup-simplify]: Simplify (* 1 (* (/ 1 y) (* (/ 1 x) z))) into (/ z (* x y)) 16.841 * [backup-simplify]: Simplify (/ (/ 1 z) (* (/ 1 x) (/ 1 y))) into (/ (* x y) z) 16.841 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (z x y) around 0 16.841 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 16.841 * [taylor]: Taking taylor expansion of (* x y) in y 16.841 * [taylor]: Taking taylor expansion of x in y 16.841 * [backup-simplify]: Simplify x into x 16.841 * [taylor]: Taking taylor expansion of y in y 16.841 * [backup-simplify]: Simplify 0 into 0 16.841 * [backup-simplify]: Simplify 1 into 1 16.841 * [taylor]: Taking taylor expansion of z in y 16.841 * [backup-simplify]: Simplify z into z 16.841 * [backup-simplify]: Simplify (* x 0) into 0 16.842 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 16.842 * [backup-simplify]: Simplify (/ x z) into (/ x z) 16.842 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 16.842 * [taylor]: Taking taylor expansion of (* x y) in x 16.842 * [taylor]: Taking taylor expansion of x in x 16.842 * [backup-simplify]: Simplify 0 into 0 16.842 * [backup-simplify]: Simplify 1 into 1 16.842 * [taylor]: Taking taylor expansion of y in x 16.842 * [backup-simplify]: Simplify y into y 16.842 * [taylor]: Taking taylor expansion of z in x 16.842 * [backup-simplify]: Simplify z into z 16.842 * [backup-simplify]: Simplify (* 0 y) into 0 16.842 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 16.842 * [backup-simplify]: Simplify (/ y z) into (/ y z) 16.842 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 16.842 * [taylor]: Taking taylor expansion of (* x y) in z 16.842 * [taylor]: Taking taylor expansion of x in z 16.842 * [backup-simplify]: Simplify x into x 16.842 * [taylor]: Taking taylor expansion of y in z 16.842 * [backup-simplify]: Simplify y into y 16.842 * [taylor]: Taking taylor expansion of z in z 16.842 * [backup-simplify]: Simplify 0 into 0 16.842 * [backup-simplify]: Simplify 1 into 1 16.842 * [backup-simplify]: Simplify (* x y) into (* x y) 16.842 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 16.842 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 16.842 * [taylor]: Taking taylor expansion of (* x y) in z 16.842 * [taylor]: Taking taylor expansion of x in z 16.842 * [backup-simplify]: Simplify x into x 16.843 * [taylor]: Taking taylor expansion of y in z 16.843 * [backup-simplify]: Simplify y into y 16.843 * [taylor]: Taking taylor expansion of z in z 16.843 * [backup-simplify]: Simplify 0 into 0 16.843 * [backup-simplify]: Simplify 1 into 1 16.843 * [backup-simplify]: Simplify (* x y) into (* x y) 16.843 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 16.843 * [taylor]: Taking taylor expansion of (* x y) in x 16.843 * [taylor]: Taking taylor expansion of x in x 16.843 * [backup-simplify]: Simplify 0 into 0 16.843 * [backup-simplify]: Simplify 1 into 1 16.843 * [taylor]: Taking taylor expansion of y in x 16.843 * [backup-simplify]: Simplify y into y 16.843 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 16.843 * [taylor]: Taking taylor expansion of y in y 16.843 * [backup-simplify]: Simplify 0 into 0 16.843 * [backup-simplify]: Simplify 1 into 1 16.843 * [backup-simplify]: Simplify 1 into 1 16.843 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 16.844 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0 16.844 * [taylor]: Taking taylor expansion of 0 in x 16.844 * [backup-simplify]: Simplify 0 into 0 16.844 * [taylor]: Taking taylor expansion of 0 in y 16.844 * [backup-simplify]: Simplify 0 into 0 16.844 * [backup-simplify]: Simplify 0 into 0 16.845 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 16.845 * [taylor]: Taking taylor expansion of 0 in y 16.845 * [backup-simplify]: Simplify 0 into 0 16.845 * [backup-simplify]: Simplify 0 into 0 16.845 * [backup-simplify]: Simplify 0 into 0 16.845 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 16.846 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.846 * [taylor]: Taking taylor expansion of 0 in x 16.846 * [backup-simplify]: Simplify 0 into 0 16.846 * [taylor]: Taking taylor expansion of 0 in y 16.846 * [backup-simplify]: Simplify 0 into 0 16.846 * [backup-simplify]: Simplify 0 into 0 16.846 * [taylor]: Taking taylor expansion of 0 in y 16.846 * [backup-simplify]: Simplify 0 into 0 16.846 * [backup-simplify]: Simplify 0 into 0 16.847 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 16.847 * [taylor]: Taking taylor expansion of 0 in y 16.847 * [backup-simplify]: Simplify 0 into 0 16.847 * [backup-simplify]: Simplify 0 into 0 16.847 * [backup-simplify]: Simplify (* 1 (* (/ 1 y) (* (/ 1 x) (/ 1 (/ 1 z))))) into (/ z (* x y)) 16.848 * [backup-simplify]: Simplify (/ (/ 1 (- z)) (* (/ 1 (- x)) (/ 1 (- y)))) into (* -1 (/ (* x y) z)) 16.848 * [approximate]: Taking taylor expansion of (* -1 (/ (* x y) z)) in (z x y) around 0 16.848 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in y 16.848 * [taylor]: Taking taylor expansion of -1 in y 16.848 * [backup-simplify]: Simplify -1 into -1 16.848 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 16.848 * [taylor]: Taking taylor expansion of (* x y) in y 16.848 * [taylor]: Taking taylor expansion of x in y 16.848 * [backup-simplify]: Simplify x into x 16.848 * [taylor]: Taking taylor expansion of y in y 16.848 * [backup-simplify]: Simplify 0 into 0 16.848 * [backup-simplify]: Simplify 1 into 1 16.848 * [taylor]: Taking taylor expansion of z in y 16.848 * [backup-simplify]: Simplify z into z 16.848 * [backup-simplify]: Simplify (* x 0) into 0 16.848 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 16.848 * [backup-simplify]: Simplify (/ x z) into (/ x z) 16.848 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in x 16.848 * [taylor]: Taking taylor expansion of -1 in x 16.848 * [backup-simplify]: Simplify -1 into -1 16.848 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 16.848 * [taylor]: Taking taylor expansion of (* x y) in x 16.848 * [taylor]: Taking taylor expansion of x in x 16.848 * [backup-simplify]: Simplify 0 into 0 16.848 * [backup-simplify]: Simplify 1 into 1 16.848 * [taylor]: Taking taylor expansion of y in x 16.848 * [backup-simplify]: Simplify y into y 16.848 * [taylor]: Taking taylor expansion of z in x 16.848 * [backup-simplify]: Simplify z into z 16.848 * [backup-simplify]: Simplify (* 0 y) into 0 16.849 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 16.849 * [backup-simplify]: Simplify (/ y z) into (/ y z) 16.849 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in z 16.849 * [taylor]: Taking taylor expansion of -1 in z 16.849 * [backup-simplify]: Simplify -1 into -1 16.849 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 16.849 * [taylor]: Taking taylor expansion of (* x y) in z 16.849 * [taylor]: Taking taylor expansion of x in z 16.849 * [backup-simplify]: Simplify x into x 16.849 * [taylor]: Taking taylor expansion of y in z 16.849 * [backup-simplify]: Simplify y into y 16.849 * [taylor]: Taking taylor expansion of z in z 16.849 * [backup-simplify]: Simplify 0 into 0 16.849 * [backup-simplify]: Simplify 1 into 1 16.849 * [backup-simplify]: Simplify (* x y) into (* x y) 16.849 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 16.849 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in z 16.849 * [taylor]: Taking taylor expansion of -1 in z 16.849 * [backup-simplify]: Simplify -1 into -1 16.849 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 16.849 * [taylor]: Taking taylor expansion of (* x y) in z 16.849 * [taylor]: Taking taylor expansion of x in z 16.849 * [backup-simplify]: Simplify x into x 16.849 * [taylor]: Taking taylor expansion of y in z 16.849 * [backup-simplify]: Simplify y into y 16.849 * [taylor]: Taking taylor expansion of z in z 16.849 * [backup-simplify]: Simplify 0 into 0 16.849 * [backup-simplify]: Simplify 1 into 1 16.849 * [backup-simplify]: Simplify (* x y) into (* x y) 16.849 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 16.849 * [backup-simplify]: Simplify (* -1 (* x y)) into (* -1 (* x y)) 16.849 * [taylor]: Taking taylor expansion of (* -1 (* x y)) in x 16.849 * [taylor]: Taking taylor expansion of -1 in x 16.850 * [backup-simplify]: Simplify -1 into -1 16.850 * [taylor]: Taking taylor expansion of (* x y) in x 16.850 * [taylor]: Taking taylor expansion of x in x 16.850 * [backup-simplify]: Simplify 0 into 0 16.850 * [backup-simplify]: Simplify 1 into 1 16.850 * [taylor]: Taking taylor expansion of y in x 16.850 * [backup-simplify]: Simplify y into y 16.850 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 16.850 * [backup-simplify]: Simplify (* 0 y) into 0 16.850 * [backup-simplify]: Simplify (+ (* -1 y) (* 0 0)) into (- y) 16.850 * [taylor]: Taking taylor expansion of (- y) in y 16.850 * [taylor]: Taking taylor expansion of y in y 16.850 * [backup-simplify]: Simplify 0 into 0 16.850 * [backup-simplify]: Simplify 1 into 1 16.851 * [backup-simplify]: Simplify (- 1) into -1 16.851 * [backup-simplify]: Simplify -1 into -1 16.851 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 16.851 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0 16.852 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (* x y))) into 0 16.852 * [taylor]: Taking taylor expansion of 0 in x 16.852 * [backup-simplify]: Simplify 0 into 0 16.852 * [taylor]: Taking taylor expansion of 0 in y 16.852 * [backup-simplify]: Simplify 0 into 0 16.852 * [backup-simplify]: Simplify 0 into 0 16.853 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 16.853 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 y) (* 0 0))) into 0 16.853 * [taylor]: Taking taylor expansion of 0 in y 16.853 * [backup-simplify]: Simplify 0 into 0 16.853 * [backup-simplify]: Simplify 0 into 0 16.853 * [backup-simplify]: Simplify (- 0) into 0 16.853 * [backup-simplify]: Simplify 0 into 0 16.854 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 16.855 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.855 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (* x y)))) into 0 16.855 * [taylor]: Taking taylor expansion of 0 in x 16.855 * [backup-simplify]: Simplify 0 into 0 16.855 * [taylor]: Taking taylor expansion of 0 in y 16.855 * [backup-simplify]: Simplify 0 into 0 16.855 * [backup-simplify]: Simplify 0 into 0 16.855 * [taylor]: Taking taylor expansion of 0 in y 16.855 * [backup-simplify]: Simplify 0 into 0 16.855 * [backup-simplify]: Simplify 0 into 0 16.856 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 16.857 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 16.857 * [taylor]: Taking taylor expansion of 0 in y 16.857 * [backup-simplify]: Simplify 0 into 0 16.857 * [backup-simplify]: Simplify 0 into 0 16.857 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- y)) (* (/ 1 (- x)) (/ 1 (/ 1 (- z)))))) into (/ z (* x y)) 16.857 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 16.858 * [backup-simplify]: Simplify (/ 1 (/ z (* x y))) into (/ (* x y) z) 16.858 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (z x y) around 0 16.858 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 16.858 * [taylor]: Taking taylor expansion of (* x y) in y 16.858 * [taylor]: Taking taylor expansion of x in y 16.858 * [backup-simplify]: Simplify x into x 16.858 * [taylor]: Taking taylor expansion of y in y 16.858 * [backup-simplify]: Simplify 0 into 0 16.858 * [backup-simplify]: Simplify 1 into 1 16.858 * [taylor]: Taking taylor expansion of z in y 16.858 * [backup-simplify]: Simplify z into z 16.858 * [backup-simplify]: Simplify (* x 0) into 0 16.858 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 16.858 * [backup-simplify]: Simplify (/ x z) into (/ x z) 16.858 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 16.858 * [taylor]: Taking taylor expansion of (* x y) in x 16.858 * [taylor]: Taking taylor expansion of x in x 16.858 * [backup-simplify]: Simplify 0 into 0 16.858 * [backup-simplify]: Simplify 1 into 1 16.858 * [taylor]: Taking taylor expansion of y in x 16.858 * [backup-simplify]: Simplify y into y 16.858 * [taylor]: Taking taylor expansion of z in x 16.858 * [backup-simplify]: Simplify z into z 16.858 * [backup-simplify]: Simplify (* 0 y) into 0 16.859 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 16.859 * [backup-simplify]: Simplify (/ y z) into (/ y z) 16.859 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 16.859 * [taylor]: Taking taylor expansion of (* x y) in z 16.859 * [taylor]: Taking taylor expansion of x in z 16.859 * [backup-simplify]: Simplify x into x 16.859 * [taylor]: Taking taylor expansion of y in z 16.859 * [backup-simplify]: Simplify y into y 16.859 * [taylor]: Taking taylor expansion of z in z 16.859 * [backup-simplify]: Simplify 0 into 0 16.859 * [backup-simplify]: Simplify 1 into 1 16.859 * [backup-simplify]: Simplify (* x y) into (* x y) 16.859 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 16.859 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 16.859 * [taylor]: Taking taylor expansion of (* x y) in z 16.859 * [taylor]: Taking taylor expansion of x in z 16.859 * [backup-simplify]: Simplify x into x 16.859 * [taylor]: Taking taylor expansion of y in z 16.859 * [backup-simplify]: Simplify y into y 16.859 * [taylor]: Taking taylor expansion of z in z 16.859 * [backup-simplify]: Simplify 0 into 0 16.859 * [backup-simplify]: Simplify 1 into 1 16.859 * [backup-simplify]: Simplify (* x y) into (* x y) 16.859 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 16.859 * [taylor]: Taking taylor expansion of (* x y) in x 16.859 * [taylor]: Taking taylor expansion of x in x 16.859 * [backup-simplify]: Simplify 0 into 0 16.859 * [backup-simplify]: Simplify 1 into 1 16.859 * [taylor]: Taking taylor expansion of y in x 16.859 * [backup-simplify]: Simplify y into y 16.860 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 16.860 * [taylor]: Taking taylor expansion of y in y 16.860 * [backup-simplify]: Simplify 0 into 0 16.860 * [backup-simplify]: Simplify 1 into 1 16.860 * [backup-simplify]: Simplify 1 into 1 16.860 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 16.861 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0 16.861 * [taylor]: Taking taylor expansion of 0 in x 16.861 * [backup-simplify]: Simplify 0 into 0 16.861 * [taylor]: Taking taylor expansion of 0 in y 16.861 * [backup-simplify]: Simplify 0 into 0 16.861 * [backup-simplify]: Simplify 0 into 0 16.861 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 16.862 * [taylor]: Taking taylor expansion of 0 in y 16.862 * [backup-simplify]: Simplify 0 into 0 16.862 * [backup-simplify]: Simplify 0 into 0 16.862 * [backup-simplify]: Simplify 0 into 0 16.862 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 16.863 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.863 * [taylor]: Taking taylor expansion of 0 in x 16.863 * [backup-simplify]: Simplify 0 into 0 16.863 * [taylor]: Taking taylor expansion of 0 in y 16.863 * [backup-simplify]: Simplify 0 into 0 16.863 * [backup-simplify]: Simplify 0 into 0 16.863 * [taylor]: Taking taylor expansion of 0 in y 16.863 * [backup-simplify]: Simplify 0 into 0 16.863 * [backup-simplify]: Simplify 0 into 0 16.864 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 16.864 * [taylor]: Taking taylor expansion of 0 in y 16.864 * [backup-simplify]: Simplify 0 into 0 16.864 * [backup-simplify]: Simplify 0 into 0 16.864 * [backup-simplify]: Simplify (* 1 (* y (* x (/ 1 z)))) into (/ (* x y) z) 16.865 * [backup-simplify]: Simplify (/ 1 (/ (/ 1 z) (* (/ 1 x) (/ 1 y)))) into (/ z (* x y)) 16.865 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (z x y) around 0 16.865 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 16.865 * [taylor]: Taking taylor expansion of z in y 16.865 * [backup-simplify]: Simplify z into z 16.865 * [taylor]: Taking taylor expansion of (* x y) in y 16.865 * [taylor]: Taking taylor expansion of x in y 16.865 * [backup-simplify]: Simplify x into x 16.865 * [taylor]: Taking taylor expansion of y in y 16.865 * [backup-simplify]: Simplify 0 into 0 16.865 * [backup-simplify]: Simplify 1 into 1 16.865 * [backup-simplify]: Simplify (* x 0) into 0 16.865 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 16.865 * [backup-simplify]: Simplify (/ z x) into (/ z x) 16.865 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 16.865 * [taylor]: Taking taylor expansion of z in x 16.865 * [backup-simplify]: Simplify z into z 16.865 * [taylor]: Taking taylor expansion of (* x y) in x 16.865 * [taylor]: Taking taylor expansion of x in x 16.865 * [backup-simplify]: Simplify 0 into 0 16.865 * [backup-simplify]: Simplify 1 into 1 16.865 * [taylor]: Taking taylor expansion of y in x 16.865 * [backup-simplify]: Simplify y into y 16.865 * [backup-simplify]: Simplify (* 0 y) into 0 16.866 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 16.866 * [backup-simplify]: Simplify (/ z y) into (/ z y) 16.866 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 16.866 * [taylor]: Taking taylor expansion of z in z 16.866 * [backup-simplify]: Simplify 0 into 0 16.866 * [backup-simplify]: Simplify 1 into 1 16.866 * [taylor]: Taking taylor expansion of (* x y) in z 16.866 * [taylor]: Taking taylor expansion of x in z 16.866 * [backup-simplify]: Simplify x into x 16.866 * [taylor]: Taking taylor expansion of y in z 16.866 * [backup-simplify]: Simplify y into y 16.866 * [backup-simplify]: Simplify (* x y) into (* x y) 16.866 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 16.866 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 16.867 * [taylor]: Taking taylor expansion of z in z 16.867 * [backup-simplify]: Simplify 0 into 0 16.867 * [backup-simplify]: Simplify 1 into 1 16.867 * [taylor]: Taking taylor expansion of (* x y) in z 16.867 * [taylor]: Taking taylor expansion of x in z 16.867 * [backup-simplify]: Simplify x into x 16.867 * [taylor]: Taking taylor expansion of y in z 16.867 * [backup-simplify]: Simplify y into y 16.867 * [backup-simplify]: Simplify (* x y) into (* x y) 16.867 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 16.867 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 16.867 * [taylor]: Taking taylor expansion of (* x y) in x 16.867 * [taylor]: Taking taylor expansion of x in x 16.867 * [backup-simplify]: Simplify 0 into 0 16.867 * [backup-simplify]: Simplify 1 into 1 16.867 * [taylor]: Taking taylor expansion of y in x 16.867 * [backup-simplify]: Simplify y into y 16.867 * [backup-simplify]: Simplify (* 0 y) into 0 16.868 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 16.868 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 16.868 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.868 * [taylor]: Taking taylor expansion of y in y 16.868 * [backup-simplify]: Simplify 0 into 0 16.868 * [backup-simplify]: Simplify 1 into 1 16.869 * [backup-simplify]: Simplify (/ 1 1) into 1 16.869 * [backup-simplify]: Simplify 1 into 1 16.869 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 16.869 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 16.869 * [taylor]: Taking taylor expansion of 0 in x 16.869 * [backup-simplify]: Simplify 0 into 0 16.870 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 16.870 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 16.870 * [taylor]: Taking taylor expansion of 0 in y 16.871 * [backup-simplify]: Simplify 0 into 0 16.871 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 16.872 * [backup-simplify]: Simplify 0 into 0 16.872 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 16.873 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 16.873 * [taylor]: Taking taylor expansion of 0 in x 16.873 * [backup-simplify]: Simplify 0 into 0 16.873 * [taylor]: Taking taylor expansion of 0 in y 16.873 * [backup-simplify]: Simplify 0 into 0 16.875 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 16.875 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 16.875 * [taylor]: Taking taylor expansion of 0 in y 16.875 * [backup-simplify]: Simplify 0 into 0 16.875 * [backup-simplify]: Simplify 0 into 0 16.876 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.876 * [backup-simplify]: Simplify 0 into 0 16.877 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 16.878 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 16.878 * [taylor]: Taking taylor expansion of 0 in x 16.878 * [backup-simplify]: Simplify 0 into 0 16.878 * [taylor]: Taking taylor expansion of 0 in y 16.878 * [backup-simplify]: Simplify 0 into 0 16.878 * [taylor]: Taking taylor expansion of 0 in y 16.878 * [backup-simplify]: Simplify 0 into 0 16.880 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 16.880 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 16.880 * [taylor]: Taking taylor expansion of 0 in y 16.880 * [backup-simplify]: Simplify 0 into 0 16.880 * [backup-simplify]: Simplify 0 into 0 16.880 * [backup-simplify]: Simplify 0 into 0 16.880 * [backup-simplify]: Simplify 0 into 0 16.881 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 x)) (/ 1 z)))) into (/ (* x y) z) 16.881 * [backup-simplify]: Simplify (/ 1 (/ (/ 1 (- z)) (* (/ 1 (- x)) (/ 1 (- y))))) into (* -1 (/ z (* x y))) 16.881 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (z x y) around 0 16.881 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 16.881 * [taylor]: Taking taylor expansion of -1 in y 16.881 * [backup-simplify]: Simplify -1 into -1 16.881 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 16.881 * [taylor]: Taking taylor expansion of z in y 16.881 * [backup-simplify]: Simplify z into z 16.881 * [taylor]: Taking taylor expansion of (* x y) in y 16.881 * [taylor]: Taking taylor expansion of x in y 16.881 * [backup-simplify]: Simplify x into x 16.881 * [taylor]: Taking taylor expansion of y in y 16.881 * [backup-simplify]: Simplify 0 into 0 16.881 * [backup-simplify]: Simplify 1 into 1 16.882 * [backup-simplify]: Simplify (* x 0) into 0 16.882 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 16.882 * [backup-simplify]: Simplify (/ z x) into (/ z x) 16.882 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 16.882 * [taylor]: Taking taylor expansion of -1 in x 16.882 * [backup-simplify]: Simplify -1 into -1 16.883 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 16.883 * [taylor]: Taking taylor expansion of z in x 16.883 * [backup-simplify]: Simplify z into z 16.883 * [taylor]: Taking taylor expansion of (* x y) in x 16.883 * [taylor]: Taking taylor expansion of x in x 16.883 * [backup-simplify]: Simplify 0 into 0 16.883 * [backup-simplify]: Simplify 1 into 1 16.883 * [taylor]: Taking taylor expansion of y in x 16.883 * [backup-simplify]: Simplify y into y 16.883 * [backup-simplify]: Simplify (* 0 y) into 0 16.884 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 16.884 * [backup-simplify]: Simplify (/ z y) into (/ z y) 16.884 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 16.884 * [taylor]: Taking taylor expansion of -1 in z 16.884 * [backup-simplify]: Simplify -1 into -1 16.884 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 16.884 * [taylor]: Taking taylor expansion of z in z 16.884 * [backup-simplify]: Simplify 0 into 0 16.884 * [backup-simplify]: Simplify 1 into 1 16.884 * [taylor]: Taking taylor expansion of (* x y) in z 16.884 * [taylor]: Taking taylor expansion of x in z 16.884 * [backup-simplify]: Simplify x into x 16.884 * [taylor]: Taking taylor expansion of y in z 16.884 * [backup-simplify]: Simplify y into y 16.884 * [backup-simplify]: Simplify (* x y) into (* x y) 16.884 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 16.884 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 16.884 * [taylor]: Taking taylor expansion of -1 in z 16.884 * [backup-simplify]: Simplify -1 into -1 16.884 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 16.884 * [taylor]: Taking taylor expansion of z in z 16.884 * [backup-simplify]: Simplify 0 into 0 16.884 * [backup-simplify]: Simplify 1 into 1 16.884 * [taylor]: Taking taylor expansion of (* x y) in z 16.885 * [taylor]: Taking taylor expansion of x in z 16.885 * [backup-simplify]: Simplify x into x 16.885 * [taylor]: Taking taylor expansion of y in z 16.885 * [backup-simplify]: Simplify y into y 16.885 * [backup-simplify]: Simplify (* x y) into (* x y) 16.885 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 16.885 * [backup-simplify]: Simplify (* -1 (/ 1 (* x y))) into (/ -1 (* x y)) 16.885 * [taylor]: Taking taylor expansion of (/ -1 (* x y)) in x 16.885 * [taylor]: Taking taylor expansion of -1 in x 16.885 * [backup-simplify]: Simplify -1 into -1 16.885 * [taylor]: Taking taylor expansion of (* x y) in x 16.885 * [taylor]: Taking taylor expansion of x in x 16.885 * [backup-simplify]: Simplify 0 into 0 16.885 * [backup-simplify]: Simplify 1 into 1 16.885 * [taylor]: Taking taylor expansion of y in x 16.885 * [backup-simplify]: Simplify y into y 16.885 * [backup-simplify]: Simplify (* 0 y) into 0 16.886 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 16.886 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 16.886 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.886 * [taylor]: Taking taylor expansion of -1 in y 16.886 * [backup-simplify]: Simplify -1 into -1 16.886 * [taylor]: Taking taylor expansion of y in y 16.886 * [backup-simplify]: Simplify 0 into 0 16.886 * [backup-simplify]: Simplify 1 into 1 16.887 * [backup-simplify]: Simplify (/ -1 1) into -1 16.887 * [backup-simplify]: Simplify -1 into -1 16.887 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 16.887 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 16.888 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 (* x y)))) into 0 16.888 * [taylor]: Taking taylor expansion of 0 in x 16.888 * [backup-simplify]: Simplify 0 into 0 16.889 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 16.889 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 16.889 * [taylor]: Taking taylor expansion of 0 in y 16.889 * [backup-simplify]: Simplify 0 into 0 16.890 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 16.891 * [backup-simplify]: Simplify 0 into 0 16.891 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 16.892 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 16.893 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (* x y))))) into 0 16.893 * [taylor]: Taking taylor expansion of 0 in x 16.893 * [backup-simplify]: Simplify 0 into 0 16.893 * [taylor]: Taking taylor expansion of 0 in y 16.893 * [backup-simplify]: Simplify 0 into 0 16.894 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 16.894 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 16.895 * [taylor]: Taking taylor expansion of 0 in y 16.895 * [backup-simplify]: Simplify 0 into 0 16.895 * [backup-simplify]: Simplify 0 into 0 16.896 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.896 * [backup-simplify]: Simplify 0 into 0 16.897 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 16.897 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 16.899 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* x y)))))) into 0 16.899 * [taylor]: Taking taylor expansion of 0 in x 16.899 * [backup-simplify]: Simplify 0 into 0 16.899 * [taylor]: Taking taylor expansion of 0 in y 16.899 * [backup-simplify]: Simplify 0 into 0 16.899 * [taylor]: Taking taylor expansion of 0 in y 16.899 * [backup-simplify]: Simplify 0 into 0 16.901 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 16.901 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 16.901 * [taylor]: Taking taylor expansion of 0 in y 16.901 * [backup-simplify]: Simplify 0 into 0 16.901 * [backup-simplify]: Simplify 0 into 0 16.901 * [backup-simplify]: Simplify 0 into 0 16.901 * [backup-simplify]: Simplify 0 into 0 16.902 * [backup-simplify]: Simplify (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- x))) (/ 1 (- z))))) into (/ (* x y) z) 16.902 * * * [progress]: simplifying candidates 16.904 * [simplify]: Simplifying: (expm1 (/ z (* x y))) (log1p (/ z (* x y))) (- (log z) (+ (log x) (log y))) (- (log z) (log (* x y))) (log (/ z (* x y))) (exp (/ z (* x y))) (/ (* (* z z) z) (* (* (* x x) x) (* (* y y) y))) (/ (* (* z z) z) (* (* (* x y) (* x y)) (* x y))) (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y)))) (cbrt (/ z (* x y))) (* (* (/ z (* x y)) (/ z (* x y))) (/ z (* x y))) (sqrt (/ z (* x y))) (sqrt (/ z (* x y))) (- z) (- (* x y)) (/ (* (cbrt z) (cbrt z)) x) (/ (cbrt z) y) (/ (sqrt z) x) (/ (sqrt z) y) (/ 1 x) (/ z y) (/ 1 (* x y)) (/ (* x y) z) (/ z x) (/ (* x y) (cbrt z)) (/ (* x y) (sqrt z)) (/ (* x y) z) (expm1 (/ 1 (/ z (* x y)))) (log1p (/ 1 (/ z (* x y)))) (- 1) (- (- (log z) (+ (log x) (log y)))) (- (- (log z) (log (* x y)))) (- (log (/ z (* x y)))) (- 0 (- (log z) (+ (log x) (log y)))) (- 0 (- (log z) (log (* x y)))) (- 0 (log (/ z (* x y)))) (- (log 1) (- (log z) (+ (log x) (log y)))) (- (log 1) (- (log z) (log (* x y)))) (- (log 1) (log (/ z (* x y)))) (log (/ 1 (/ z (* x y)))) (exp (/ 1 (/ z (* x y)))) (/ (* (* 1 1) 1) (/ (* (* z z) z) (* (* (* x x) x) (* (* y y) y)))) (/ (* (* 1 1) 1) (/ (* (* z z) z) (* (* (* x y) (* x y)) (* x y)))) (/ (* (* 1 1) 1) (* (* (/ z (* x y)) (/ z (* x y))) (/ z (* x y)))) (* (cbrt (/ 1 (/ z (* x y)))) (cbrt (/ 1 (/ z (* x y))))) (cbrt (/ 1 (/ z (* x y)))) (* (* (/ 1 (/ z (* x y))) (/ 1 (/ z (* x y)))) (/ 1 (/ z (* x y)))) (sqrt (/ 1 (/ z (* x y)))) (sqrt (/ 1 (/ z (* x y)))) (- 1) (- (/ z (* x y))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y))))) (/ (cbrt 1) (cbrt (/ z (* x y)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ z (* x y)))) (/ (cbrt 1) (sqrt (/ z (* x y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt z) (cbrt z)) x)) (/ (cbrt 1) (/ (cbrt z) y)) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt z) x)) (/ (cbrt 1) (/ (sqrt z) y)) (/ (* (cbrt 1) (cbrt 1)) (/ 1 x)) (/ (cbrt 1) (/ z y)) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (/ z (* x y))) (/ (* (cbrt 1) (cbrt 1)) z) (/ (cbrt 1) (/ 1 (* x y))) (/ (sqrt 1) (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y))))) (/ (sqrt 1) (cbrt (/ z (* x y)))) (/ (sqrt 1) (sqrt (/ z (* x y)))) (/ (sqrt 1) (sqrt (/ z (* x y)))) (/ (sqrt 1) (/ (* (cbrt z) (cbrt z)) x)) (/ (sqrt 1) (/ (cbrt z) y)) (/ (sqrt 1) (/ (sqrt z) x)) (/ (sqrt 1) (/ (sqrt z) y)) (/ (sqrt 1) (/ 1 x)) (/ (sqrt 1) (/ z y)) (/ (sqrt 1) 1) (/ (sqrt 1) (/ z (* x y))) (/ (sqrt 1) z) (/ (sqrt 1) (/ 1 (* x y))) (/ 1 (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y))))) (/ 1 (cbrt (/ z (* x y)))) (/ 1 (sqrt (/ z (* x y)))) (/ 1 (sqrt (/ z (* x y)))) (/ 1 (/ (* (cbrt z) (cbrt z)) x)) (/ 1 (/ (cbrt z) y)) (/ 1 (/ (sqrt z) x)) (/ 1 (/ (sqrt z) y)) (/ 1 (/ 1 x)) (/ 1 (/ z y)) (/ 1 1) (/ 1 (/ z (* x y))) (/ 1 z) (/ 1 (/ 1 (* x y))) (/ 1 (/ z (* x y))) (/ (/ z (* x y)) 1) (/ 1 (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y))))) (/ 1 (sqrt (/ z (* x y)))) (/ 1 (/ (* (cbrt z) (cbrt z)) x)) (/ 1 (/ (sqrt z) x)) (/ 1 (/ 1 x)) (/ 1 1) (/ 1 z) (/ (/ z (* x y)) (cbrt 1)) (/ (/ z (* x y)) (sqrt 1)) (/ (/ z (* x y)) 1) (/ 1 z) (/ z (* x y)) (/ z (* x y)) (/ z (* x y)) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 16.906 * * [simplify]: Extracting # 0 : cost 0 16.906 * * [simplify]: Extracting # 1 : cost 0 16.906 * * [simplify]: Extracting # 2 : cost 0 16.907 * * [simplify]: Extracting # 3 : cost 0 16.907 * * [simplify]: Extracting # 4 : cost 0 16.907 * * [simplify]: Extracting # 5 : cost 0 16.907 * * [simplify]: Extracting # 6 : cost 0 16.907 * * [simplify]: Extracting # 7 : cost 0 16.907 * * [simplify]: iteration 0 : 122 enodes (cost 894 ) 16.966 * * [simplify]: Extracting # 0 : cost 0 16.967 * * [simplify]: Extracting # 1 : cost 0 16.967 * * [simplify]: Extracting # 2 : cost 0 16.968 * * [simplify]: iteration 1 : 261 enodes (cost 763 ) 17.077 * * [simplify]: Extracting # 0 : cost 0 17.078 * * [simplify]: Extracting # 1 : cost 0 17.079 * * [simplify]: Extracting # 2 : cost 0 17.079 * * [simplify]: Extracting # 3 : cost 0 17.080 * * [simplify]: Extracting # 4 : cost 0 17.081 * * [simplify]: Extracting # 5 : cost 0 17.082 * * [simplify]: iteration 2 : 661 enodes (cost 631 ) 18.682 * * [simplify]: Extracting # 0 : cost 0 18.685 * * [simplify]: Extracting # 1 : cost 0 18.694 * * [simplify]: Extracting # 2 : cost 0 18.697 * * [simplify]: Extracting # 3 : cost 0 18.700 * * [simplify]: Extracting # 4 : cost 0 18.703 * * [simplify]: Extracting # 5 : cost 0 18.706 * * [simplify]: iteration 3 : 3116 enodes (cost 613 ) 20.703 * * [simplify]: Extracting # 0 : cost 0 20.711 * * [simplify]: Extracting # 1 : cost 0 20.721 * * [simplify]: Extracting # 2 : cost 0 20.727 * * [simplify]: iteration done: 5001 enodes (cost 613 ) 20.728 * [simplify]: Simplified to: (expm1 (/ z (* x y))) (log1p (/ z (* x y))) (log (/ z (* x y))) (log (/ z (* x y))) (log (/ z (* x y))) (exp (/ z (* x y))) (pow (/ z (* x y)) 3) (pow (/ z (* x y)) 3) (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y)))) (cbrt (/ z (* x y))) (pow (/ z (* x y)) 3) (sqrt (/ z (* x y))) (sqrt (/ z (* x y))) (- z) (- (* x y)) (/ (cbrt z) (/ x (cbrt z))) (/ (cbrt z) y) (/ (sqrt z) x) (/ (sqrt z) y) (/ 1 x) (/ z y) (/ 1 (* x y)) (/ x (/ z y)) (/ z x) (/ (* x y) (cbrt z)) (/ (* x y) (sqrt z)) (/ x (/ z y)) (expm1 (/ (* x y) z)) (log1p (/ (* x y) z)) -1 (log (/ x (/ z y))) (log (/ x (/ z y))) (log (/ x (/ z y))) (log (/ x (/ z y))) (log (/ x (/ z y))) (log (/ x (/ z y))) (log (/ x (/ z y))) (log (/ x (/ z y))) (log (/ x (/ z y))) (log (/ x (/ z y))) (exp (/ x (/ z y))) (pow (/ x (/ z y)) 3) (pow (/ x (/ z y)) 3) (pow (/ x (/ z y)) 3) (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z)) (pow (/ x (/ z y)) 3) (sqrt (/ x (/ z y))) (sqrt (/ x (/ z y))) -1 (- (/ z (* x y))) (/ 1 (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y))))) (/ 1 (cbrt (/ z (* x y)))) (/ 1 (sqrt (/ z (* x y)))) (/ 1 (sqrt (/ z (* x y)))) (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (/ x (sqrt z)) (/ y (sqrt z)) x (/ y z) 1 (/ x (/ z y)) (/ 1 z) (* y x) (/ 1 (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y))))) (/ 1 (cbrt (/ z (* x y)))) (/ 1 (sqrt (/ z (* x y)))) (/ 1 (sqrt (/ z (* x y)))) (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (/ x (sqrt z)) (/ y (sqrt z)) x (/ y z) 1 (/ x (/ z y)) (/ 1 z) (* y x) (/ 1 (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y))))) (/ 1 (cbrt (/ z (* x y)))) (/ 1 (sqrt (/ z (* x y)))) (/ 1 (sqrt (/ z (* x y)))) (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (/ x (sqrt z)) (/ y (sqrt z)) x (/ y z) 1 (/ x (/ z y)) (/ 1 z) (* y x) (/ x (/ z y)) (/ z (* x y)) (/ 1 (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y))))) (/ 1 (sqrt (/ z (* x y)))) (/ x (* (cbrt z) (cbrt z))) (/ x (sqrt z)) x 1 (/ 1 z) (/ z (* x y)) (/ z (* x y)) (/ z (* x y)) (/ 1 z) (/ z (* x y)) (/ z (* x y)) (/ z (* x y)) (/ x (/ z y)) (/ x (/ z y)) (/ x (/ z y)) 20.728 * * * [progress]: adding candidates to table 20.921 * * [progress]: iteration 4 / 4 20.921 * * * [progress]: picking best candidate 20.938 * * * * [pick]: Picked # 20.938 * * * [progress]: localizing error 20.959 * * * [progress]: generating rewritten candidates 20.960 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2) 20.975 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 21.020 * * * [progress]: generating series expansions 21.020 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2) 21.020 * [backup-simplify]: Simplify (/ z (* x y)) into (/ z (* x y)) 21.020 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (z x y) around 0 21.020 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 21.020 * [taylor]: Taking taylor expansion of z in y 21.020 * [backup-simplify]: Simplify z into z 21.020 * [taylor]: Taking taylor expansion of (* x y) in y 21.020 * [taylor]: Taking taylor expansion of x in y 21.020 * [backup-simplify]: Simplify x into x 21.020 * [taylor]: Taking taylor expansion of y in y 21.020 * [backup-simplify]: Simplify 0 into 0 21.020 * [backup-simplify]: Simplify 1 into 1 21.020 * [backup-simplify]: Simplify (* x 0) into 0 21.021 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 21.021 * [backup-simplify]: Simplify (/ z x) into (/ z x) 21.021 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 21.021 * [taylor]: Taking taylor expansion of z in x 21.021 * [backup-simplify]: Simplify z into z 21.021 * [taylor]: Taking taylor expansion of (* x y) in x 21.021 * [taylor]: Taking taylor expansion of x in x 21.021 * [backup-simplify]: Simplify 0 into 0 21.021 * [backup-simplify]: Simplify 1 into 1 21.021 * [taylor]: Taking taylor expansion of y in x 21.021 * [backup-simplify]: Simplify y into y 21.021 * [backup-simplify]: Simplify (* 0 y) into 0 21.021 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 21.022 * [backup-simplify]: Simplify (/ z y) into (/ z y) 21.022 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 21.022 * [taylor]: Taking taylor expansion of z in z 21.022 * [backup-simplify]: Simplify 0 into 0 21.022 * [backup-simplify]: Simplify 1 into 1 21.022 * [taylor]: Taking taylor expansion of (* x y) in z 21.022 * [taylor]: Taking taylor expansion of x in z 21.022 * [backup-simplify]: Simplify x into x 21.022 * [taylor]: Taking taylor expansion of y in z 21.022 * [backup-simplify]: Simplify y into y 21.022 * [backup-simplify]: Simplify (* x y) into (* x y) 21.022 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 21.022 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 21.022 * [taylor]: Taking taylor expansion of z in z 21.022 * [backup-simplify]: Simplify 0 into 0 21.022 * [backup-simplify]: Simplify 1 into 1 21.022 * [taylor]: Taking taylor expansion of (* x y) in z 21.022 * [taylor]: Taking taylor expansion of x in z 21.022 * [backup-simplify]: Simplify x into x 21.022 * [taylor]: Taking taylor expansion of y in z 21.022 * [backup-simplify]: Simplify y into y 21.022 * [backup-simplify]: Simplify (* x y) into (* x y) 21.022 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 21.022 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 21.022 * [taylor]: Taking taylor expansion of (* x y) in x 21.022 * [taylor]: Taking taylor expansion of x in x 21.022 * [backup-simplify]: Simplify 0 into 0 21.022 * [backup-simplify]: Simplify 1 into 1 21.022 * [taylor]: Taking taylor expansion of y in x 21.022 * [backup-simplify]: Simplify y into y 21.022 * [backup-simplify]: Simplify (* 0 y) into 0 21.023 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 21.023 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 21.023 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.023 * [taylor]: Taking taylor expansion of y in y 21.023 * [backup-simplify]: Simplify 0 into 0 21.023 * [backup-simplify]: Simplify 1 into 1 21.023 * [backup-simplify]: Simplify (/ 1 1) into 1 21.023 * [backup-simplify]: Simplify 1 into 1 21.023 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 21.023 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 21.023 * [taylor]: Taking taylor expansion of 0 in x 21.023 * [backup-simplify]: Simplify 0 into 0 21.024 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 21.024 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 21.024 * [taylor]: Taking taylor expansion of 0 in y 21.024 * [backup-simplify]: Simplify 0 into 0 21.025 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 21.025 * [backup-simplify]: Simplify 0 into 0 21.025 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 21.025 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 21.025 * [taylor]: Taking taylor expansion of 0 in x 21.025 * [backup-simplify]: Simplify 0 into 0 21.025 * [taylor]: Taking taylor expansion of 0 in y 21.025 * [backup-simplify]: Simplify 0 into 0 21.026 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 21.026 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 21.026 * [taylor]: Taking taylor expansion of 0 in y 21.026 * [backup-simplify]: Simplify 0 into 0 21.026 * [backup-simplify]: Simplify 0 into 0 21.027 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 21.027 * [backup-simplify]: Simplify 0 into 0 21.028 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 21.028 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 21.028 * [taylor]: Taking taylor expansion of 0 in x 21.028 * [backup-simplify]: Simplify 0 into 0 21.028 * [taylor]: Taking taylor expansion of 0 in y 21.028 * [backup-simplify]: Simplify 0 into 0 21.028 * [taylor]: Taking taylor expansion of 0 in y 21.028 * [backup-simplify]: Simplify 0 into 0 21.029 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 21.029 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 21.029 * [taylor]: Taking taylor expansion of 0 in y 21.029 * [backup-simplify]: Simplify 0 into 0 21.029 * [backup-simplify]: Simplify 0 into 0 21.029 * [backup-simplify]: Simplify 0 into 0 21.029 * [backup-simplify]: Simplify 0 into 0 21.029 * [backup-simplify]: Simplify (* 1 (* (/ 1 y) (* (/ 1 x) z))) into (/ z (* x y)) 21.030 * [backup-simplify]: Simplify (/ (/ 1 z) (* (/ 1 x) (/ 1 y))) into (/ (* x y) z) 21.030 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (z x y) around 0 21.030 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 21.030 * [taylor]: Taking taylor expansion of (* x y) in y 21.030 * [taylor]: Taking taylor expansion of x in y 21.030 * [backup-simplify]: Simplify x into x 21.030 * [taylor]: Taking taylor expansion of y in y 21.030 * [backup-simplify]: Simplify 0 into 0 21.030 * [backup-simplify]: Simplify 1 into 1 21.030 * [taylor]: Taking taylor expansion of z in y 21.030 * [backup-simplify]: Simplify z into z 21.030 * [backup-simplify]: Simplify (* x 0) into 0 21.030 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 21.030 * [backup-simplify]: Simplify (/ x z) into (/ x z) 21.030 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 21.030 * [taylor]: Taking taylor expansion of (* x y) in x 21.030 * [taylor]: Taking taylor expansion of x in x 21.030 * [backup-simplify]: Simplify 0 into 0 21.030 * [backup-simplify]: Simplify 1 into 1 21.030 * [taylor]: Taking taylor expansion of y in x 21.030 * [backup-simplify]: Simplify y into y 21.030 * [taylor]: Taking taylor expansion of z in x 21.030 * [backup-simplify]: Simplify z into z 21.030 * [backup-simplify]: Simplify (* 0 y) into 0 21.031 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 21.031 * [backup-simplify]: Simplify (/ y z) into (/ y z) 21.031 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 21.031 * [taylor]: Taking taylor expansion of (* x y) in z 21.031 * [taylor]: Taking taylor expansion of x in z 21.031 * [backup-simplify]: Simplify x into x 21.031 * [taylor]: Taking taylor expansion of y in z 21.031 * [backup-simplify]: Simplify y into y 21.031 * [taylor]: Taking taylor expansion of z in z 21.031 * [backup-simplify]: Simplify 0 into 0 21.031 * [backup-simplify]: Simplify 1 into 1 21.031 * [backup-simplify]: Simplify (* x y) into (* x y) 21.031 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 21.031 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 21.031 * [taylor]: Taking taylor expansion of (* x y) in z 21.031 * [taylor]: Taking taylor expansion of x in z 21.031 * [backup-simplify]: Simplify x into x 21.031 * [taylor]: Taking taylor expansion of y in z 21.031 * [backup-simplify]: Simplify y into y 21.031 * [taylor]: Taking taylor expansion of z in z 21.031 * [backup-simplify]: Simplify 0 into 0 21.031 * [backup-simplify]: Simplify 1 into 1 21.031 * [backup-simplify]: Simplify (* x y) into (* x y) 21.031 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 21.031 * [taylor]: Taking taylor expansion of (* x y) in x 21.031 * [taylor]: Taking taylor expansion of x in x 21.031 * [backup-simplify]: Simplify 0 into 0 21.031 * [backup-simplify]: Simplify 1 into 1 21.032 * [taylor]: Taking taylor expansion of y in x 21.032 * [backup-simplify]: Simplify y into y 21.032 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 21.032 * [taylor]: Taking taylor expansion of y in y 21.032 * [backup-simplify]: Simplify 0 into 0 21.032 * [backup-simplify]: Simplify 1 into 1 21.032 * [backup-simplify]: Simplify 1 into 1 21.032 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 21.033 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0 21.033 * [taylor]: Taking taylor expansion of 0 in x 21.033 * [backup-simplify]: Simplify 0 into 0 21.033 * [taylor]: Taking taylor expansion of 0 in y 21.033 * [backup-simplify]: Simplify 0 into 0 21.033 * [backup-simplify]: Simplify 0 into 0 21.033 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 21.033 * [taylor]: Taking taylor expansion of 0 in y 21.033 * [backup-simplify]: Simplify 0 into 0 21.034 * [backup-simplify]: Simplify 0 into 0 21.034 * [backup-simplify]: Simplify 0 into 0 21.034 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 21.035 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0 21.035 * [taylor]: Taking taylor expansion of 0 in x 21.035 * [backup-simplify]: Simplify 0 into 0 21.035 * [taylor]: Taking taylor expansion of 0 in y 21.035 * [backup-simplify]: Simplify 0 into 0 21.035 * [backup-simplify]: Simplify 0 into 0 21.035 * [taylor]: Taking taylor expansion of 0 in y 21.035 * [backup-simplify]: Simplify 0 into 0 21.035 * [backup-simplify]: Simplify 0 into 0 21.036 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 21.036 * [taylor]: Taking taylor expansion of 0 in y 21.036 * [backup-simplify]: Simplify 0 into 0 21.036 * [backup-simplify]: Simplify 0 into 0 21.036 * [backup-simplify]: Simplify (* 1 (* (/ 1 y) (* (/ 1 x) (/ 1 (/ 1 z))))) into (/ z (* x y)) 21.036 * [backup-simplify]: Simplify (/ (/ 1 (- z)) (* (/ 1 (- x)) (/ 1 (- y)))) into (* -1 (/ (* x y) z)) 21.036 * [approximate]: Taking taylor expansion of (* -1 (/ (* x y) z)) in (z x y) around 0 21.036 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in y 21.036 * [taylor]: Taking taylor expansion of -1 in y 21.036 * [backup-simplify]: Simplify -1 into -1 21.037 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 21.037 * [taylor]: Taking taylor expansion of (* x y) in y 21.037 * [taylor]: Taking taylor expansion of x in y 21.037 * [backup-simplify]: Simplify x into x 21.037 * [taylor]: Taking taylor expansion of y in y 21.037 * [backup-simplify]: Simplify 0 into 0 21.037 * [backup-simplify]: Simplify 1 into 1 21.037 * [taylor]: Taking taylor expansion of z in y 21.037 * [backup-simplify]: Simplify z into z 21.037 * [backup-simplify]: Simplify (* x 0) into 0 21.037 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 21.037 * [backup-simplify]: Simplify (/ x z) into (/ x z) 21.037 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in x 21.037 * [taylor]: Taking taylor expansion of -1 in x 21.037 * [backup-simplify]: Simplify -1 into -1 21.037 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 21.037 * [taylor]: Taking taylor expansion of (* x y) in x 21.037 * [taylor]: Taking taylor expansion of x in x 21.037 * [backup-simplify]: Simplify 0 into 0 21.037 * [backup-simplify]: Simplify 1 into 1 21.037 * [taylor]: Taking taylor expansion of y in x 21.037 * [backup-simplify]: Simplify y into y 21.037 * [taylor]: Taking taylor expansion of z in x 21.037 * [backup-simplify]: Simplify z into z 21.038 * [backup-simplify]: Simplify (* 0 y) into 0 21.038 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 21.038 * [backup-simplify]: Simplify (/ y z) into (/ y z) 21.038 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in z 21.038 * [taylor]: Taking taylor expansion of -1 in z 21.038 * [backup-simplify]: Simplify -1 into -1 21.038 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 21.038 * [taylor]: Taking taylor expansion of (* x y) in z 21.038 * [taylor]: Taking taylor expansion of x in z 21.038 * [backup-simplify]: Simplify x into x 21.038 * [taylor]: Taking taylor expansion of y in z 21.038 * [backup-simplify]: Simplify y into y 21.038 * [taylor]: Taking taylor expansion of z in z 21.038 * [backup-simplify]: Simplify 0 into 0 21.038 * [backup-simplify]: Simplify 1 into 1 21.038 * [backup-simplify]: Simplify (* x y) into (* x y) 21.038 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 21.038 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in z 21.038 * [taylor]: Taking taylor expansion of -1 in z 21.038 * [backup-simplify]: Simplify -1 into -1 21.038 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 21.038 * [taylor]: Taking taylor expansion of (* x y) in z 21.038 * [taylor]: Taking taylor expansion of x in z 21.038 * [backup-simplify]: Simplify x into x 21.038 * [taylor]: Taking taylor expansion of y in z 21.038 * [backup-simplify]: Simplify y into y 21.038 * [taylor]: Taking taylor expansion of z in z 21.038 * [backup-simplify]: Simplify 0 into 0 21.038 * [backup-simplify]: Simplify 1 into 1 21.038 * [backup-simplify]: Simplify (* x y) into (* x y) 21.038 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 21.039 * [backup-simplify]: Simplify (* -1 (* x y)) into (* -1 (* x y)) 21.039 * [taylor]: Taking taylor expansion of (* -1 (* x y)) in x 21.039 * [taylor]: Taking taylor expansion of -1 in x 21.039 * [backup-simplify]: Simplify -1 into -1 21.039 * [taylor]: Taking taylor expansion of (* x y) in x 21.039 * [taylor]: Taking taylor expansion of x in x 21.039 * [backup-simplify]: Simplify 0 into 0 21.039 * [backup-simplify]: Simplify 1 into 1 21.039 * [taylor]: Taking taylor expansion of y in x 21.039 * [backup-simplify]: Simplify y into y 21.039 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 21.039 * [backup-simplify]: Simplify (* 0 y) into 0 21.039 * [backup-simplify]: Simplify (+ (* -1 y) (* 0 0)) into (- y) 21.040 * [taylor]: Taking taylor expansion of (- y) in y 21.040 * [taylor]: Taking taylor expansion of y in y 21.040 * [backup-simplify]: Simplify 0 into 0 21.040 * [backup-simplify]: Simplify 1 into 1 21.040 * [backup-simplify]: Simplify (- 1) into -1 21.040 * [backup-simplify]: Simplify -1 into -1 21.040 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 21.041 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0 21.041 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (* x y))) into 0 21.041 * [taylor]: Taking taylor expansion of 0 in x 21.041 * [backup-simplify]: Simplify 0 into 0 21.041 * [taylor]: Taking taylor expansion of 0 in y 21.041 * [backup-simplify]: Simplify 0 into 0 21.041 * [backup-simplify]: Simplify 0 into 0 21.042 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 21.042 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 y) (* 0 0))) into 0 21.042 * [taylor]: Taking taylor expansion of 0 in y 21.042 * [backup-simplify]: Simplify 0 into 0 21.042 * [backup-simplify]: Simplify 0 into 0 21.043 * [backup-simplify]: Simplify (- 0) into 0 21.043 * [backup-simplify]: Simplify 0 into 0 21.043 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 21.044 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0 21.044 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (* x y)))) into 0 21.044 * [taylor]: Taking taylor expansion of 0 in x 21.044 * [backup-simplify]: Simplify 0 into 0 21.044 * [taylor]: Taking taylor expansion of 0 in y 21.044 * [backup-simplify]: Simplify 0 into 0 21.044 * [backup-simplify]: Simplify 0 into 0 21.045 * [taylor]: Taking taylor expansion of 0 in y 21.045 * [backup-simplify]: Simplify 0 into 0 21.045 * [backup-simplify]: Simplify 0 into 0 21.045 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 21.047 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 21.047 * [taylor]: Taking taylor expansion of 0 in y 21.047 * [backup-simplify]: Simplify 0 into 0 21.047 * [backup-simplify]: Simplify 0 into 0 21.047 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- y)) (* (/ 1 (- x)) (/ 1 (/ 1 (- z)))))) into (/ z (* x y)) 21.047 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 21.048 * [backup-simplify]: Simplify (/ (* (cbrt 1) (cbrt 1)) (/ z (* x y))) into (/ (* x y) z) 21.048 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (z x y) around 0 21.048 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 21.048 * [taylor]: Taking taylor expansion of (* x y) in y 21.048 * [taylor]: Taking taylor expansion of x in y 21.048 * [backup-simplify]: Simplify x into x 21.048 * [taylor]: Taking taylor expansion of y in y 21.048 * [backup-simplify]: Simplify 0 into 0 21.048 * [backup-simplify]: Simplify 1 into 1 21.048 * [taylor]: Taking taylor expansion of z in y 21.048 * [backup-simplify]: Simplify z into z 21.048 * [backup-simplify]: Simplify (* x 0) into 0 21.049 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 21.049 * [backup-simplify]: Simplify (/ x z) into (/ x z) 21.049 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 21.049 * [taylor]: Taking taylor expansion of (* x y) in x 21.049 * [taylor]: Taking taylor expansion of x in x 21.049 * [backup-simplify]: Simplify 0 into 0 21.049 * [backup-simplify]: Simplify 1 into 1 21.049 * [taylor]: Taking taylor expansion of y in x 21.049 * [backup-simplify]: Simplify y into y 21.049 * [taylor]: Taking taylor expansion of z in x 21.049 * [backup-simplify]: Simplify z into z 21.049 * [backup-simplify]: Simplify (* 0 y) into 0 21.050 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 21.050 * [backup-simplify]: Simplify (/ y z) into (/ y z) 21.050 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 21.050 * [taylor]: Taking taylor expansion of (* x y) in z 21.050 * [taylor]: Taking taylor expansion of x in z 21.050 * [backup-simplify]: Simplify x into x 21.050 * [taylor]: Taking taylor expansion of y in z 21.050 * [backup-simplify]: Simplify y into y 21.050 * [taylor]: Taking taylor expansion of z in z 21.050 * [backup-simplify]: Simplify 0 into 0 21.050 * [backup-simplify]: Simplify 1 into 1 21.050 * [backup-simplify]: Simplify (* x y) into (* x y) 21.050 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 21.050 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 21.050 * [taylor]: Taking taylor expansion of (* x y) in z 21.050 * [taylor]: Taking taylor expansion of x in z 21.050 * [backup-simplify]: Simplify x into x 21.050 * [taylor]: Taking taylor expansion of y in z 21.050 * [backup-simplify]: Simplify y into y 21.050 * [taylor]: Taking taylor expansion of z in z 21.050 * [backup-simplify]: Simplify 0 into 0 21.050 * [backup-simplify]: Simplify 1 into 1 21.051 * [backup-simplify]: Simplify (* x y) into (* x y) 21.051 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 21.051 * [taylor]: Taking taylor expansion of (* x y) in x 21.051 * [taylor]: Taking taylor expansion of x in x 21.051 * [backup-simplify]: Simplify 0 into 0 21.051 * [backup-simplify]: Simplify 1 into 1 21.051 * [taylor]: Taking taylor expansion of y in x 21.051 * [backup-simplify]: Simplify y into y 21.051 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 21.051 * [taylor]: Taking taylor expansion of y in y 21.052 * [backup-simplify]: Simplify 0 into 0 21.052 * [backup-simplify]: Simplify 1 into 1 21.052 * [backup-simplify]: Simplify 1 into 1 21.052 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 21.053 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0 21.053 * [taylor]: Taking taylor expansion of 0 in x 21.053 * [backup-simplify]: Simplify 0 into 0 21.053 * [taylor]: Taking taylor expansion of 0 in y 21.053 * [backup-simplify]: Simplify 0 into 0 21.053 * [backup-simplify]: Simplify 0 into 0 21.054 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 21.054 * [taylor]: Taking taylor expansion of 0 in y 21.054 * [backup-simplify]: Simplify 0 into 0 21.054 * [backup-simplify]: Simplify 0 into 0 21.054 * [backup-simplify]: Simplify 0 into 0 21.055 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 21.056 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0 21.056 * [taylor]: Taking taylor expansion of 0 in x 21.056 * [backup-simplify]: Simplify 0 into 0 21.056 * [taylor]: Taking taylor expansion of 0 in y 21.056 * [backup-simplify]: Simplify 0 into 0 21.057 * [backup-simplify]: Simplify 0 into 0 21.057 * [taylor]: Taking taylor expansion of 0 in y 21.057 * [backup-simplify]: Simplify 0 into 0 21.057 * [backup-simplify]: Simplify 0 into 0 21.058 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 21.058 * [taylor]: Taking taylor expansion of 0 in y 21.058 * [backup-simplify]: Simplify 0 into 0 21.058 * [backup-simplify]: Simplify 0 into 0 21.058 * [backup-simplify]: Simplify (* 1 (* y (* x (/ 1 z)))) into (/ (* x y) z) 21.059 * [backup-simplify]: Simplify (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 z) (* (/ 1 x) (/ 1 y)))) into (/ z (* x y)) 21.059 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (z x y) around 0 21.059 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 21.059 * [taylor]: Taking taylor expansion of z in y 21.059 * [backup-simplify]: Simplify z into z 21.059 * [taylor]: Taking taylor expansion of (* x y) in y 21.060 * [taylor]: Taking taylor expansion of x in y 21.060 * [backup-simplify]: Simplify x into x 21.060 * [taylor]: Taking taylor expansion of y in y 21.060 * [backup-simplify]: Simplify 0 into 0 21.060 * [backup-simplify]: Simplify 1 into 1 21.060 * [backup-simplify]: Simplify (* x 0) into 0 21.060 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 21.060 * [backup-simplify]: Simplify (/ z x) into (/ z x) 21.060 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 21.060 * [taylor]: Taking taylor expansion of z in x 21.060 * [backup-simplify]: Simplify z into z 21.060 * [taylor]: Taking taylor expansion of (* x y) in x 21.060 * [taylor]: Taking taylor expansion of x in x 21.060 * [backup-simplify]: Simplify 0 into 0 21.061 * [backup-simplify]: Simplify 1 into 1 21.061 * [taylor]: Taking taylor expansion of y in x 21.061 * [backup-simplify]: Simplify y into y 21.061 * [backup-simplify]: Simplify (* 0 y) into 0 21.061 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 21.061 * [backup-simplify]: Simplify (/ z y) into (/ z y) 21.061 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 21.061 * [taylor]: Taking taylor expansion of z in z 21.061 * [backup-simplify]: Simplify 0 into 0 21.061 * [backup-simplify]: Simplify 1 into 1 21.061 * [taylor]: Taking taylor expansion of (* x y) in z 21.061 * [taylor]: Taking taylor expansion of x in z 21.061 * [backup-simplify]: Simplify x into x 21.061 * [taylor]: Taking taylor expansion of y in z 21.061 * [backup-simplify]: Simplify y into y 21.062 * [backup-simplify]: Simplify (* x y) into (* x y) 21.062 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 21.062 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 21.062 * [taylor]: Taking taylor expansion of z in z 21.062 * [backup-simplify]: Simplify 0 into 0 21.062 * [backup-simplify]: Simplify 1 into 1 21.062 * [taylor]: Taking taylor expansion of (* x y) in z 21.062 * [taylor]: Taking taylor expansion of x in z 21.062 * [backup-simplify]: Simplify x into x 21.062 * [taylor]: Taking taylor expansion of y in z 21.062 * [backup-simplify]: Simplify y into y 21.062 * [backup-simplify]: Simplify (* x y) into (* x y) 21.062 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 21.062 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 21.062 * [taylor]: Taking taylor expansion of (* x y) in x 21.062 * [taylor]: Taking taylor expansion of x in x 21.062 * [backup-simplify]: Simplify 0 into 0 21.062 * [backup-simplify]: Simplify 1 into 1 21.062 * [taylor]: Taking taylor expansion of y in x 21.062 * [backup-simplify]: Simplify y into y 21.062 * [backup-simplify]: Simplify (* 0 y) into 0 21.063 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 21.063 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 21.063 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.063 * [taylor]: Taking taylor expansion of y in y 21.063 * [backup-simplify]: Simplify 0 into 0 21.063 * [backup-simplify]: Simplify 1 into 1 21.064 * [backup-simplify]: Simplify (/ 1 1) into 1 21.064 * [backup-simplify]: Simplify 1 into 1 21.064 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 21.064 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 21.064 * [taylor]: Taking taylor expansion of 0 in x 21.064 * [backup-simplify]: Simplify 0 into 0 21.065 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 21.065 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 21.065 * [taylor]: Taking taylor expansion of 0 in y 21.066 * [backup-simplify]: Simplify 0 into 0 21.067 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 21.067 * [backup-simplify]: Simplify 0 into 0 21.067 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 21.068 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 21.068 * [taylor]: Taking taylor expansion of 0 in x 21.068 * [backup-simplify]: Simplify 0 into 0 21.068 * [taylor]: Taking taylor expansion of 0 in y 21.068 * [backup-simplify]: Simplify 0 into 0 21.069 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 21.070 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 21.070 * [taylor]: Taking taylor expansion of 0 in y 21.070 * [backup-simplify]: Simplify 0 into 0 21.070 * [backup-simplify]: Simplify 0 into 0 21.071 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 21.071 * [backup-simplify]: Simplify 0 into 0 21.072 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 21.072 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 21.072 * [taylor]: Taking taylor expansion of 0 in x 21.072 * [backup-simplify]: Simplify 0 into 0 21.072 * [taylor]: Taking taylor expansion of 0 in y 21.072 * [backup-simplify]: Simplify 0 into 0 21.073 * [taylor]: Taking taylor expansion of 0 in y 21.073 * [backup-simplify]: Simplify 0 into 0 21.074 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 21.075 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 21.075 * [taylor]: Taking taylor expansion of 0 in y 21.075 * [backup-simplify]: Simplify 0 into 0 21.075 * [backup-simplify]: Simplify 0 into 0 21.075 * [backup-simplify]: Simplify 0 into 0 21.075 * [backup-simplify]: Simplify 0 into 0 21.075 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 x)) (/ 1 z)))) into (/ (* x y) z) 21.076 * [backup-simplify]: Simplify (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 (- z)) (* (/ 1 (- x)) (/ 1 (- y))))) into (* -1 (/ z (* x y))) 21.076 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (z x y) around 0 21.076 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 21.076 * [taylor]: Taking taylor expansion of -1 in y 21.076 * [backup-simplify]: Simplify -1 into -1 21.077 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 21.077 * [taylor]: Taking taylor expansion of z in y 21.077 * [backup-simplify]: Simplify z into z 21.077 * [taylor]: Taking taylor expansion of (* x y) in y 21.077 * [taylor]: Taking taylor expansion of x in y 21.077 * [backup-simplify]: Simplify x into x 21.077 * [taylor]: Taking taylor expansion of y in y 21.077 * [backup-simplify]: Simplify 0 into 0 21.077 * [backup-simplify]: Simplify 1 into 1 21.077 * [backup-simplify]: Simplify (* x 0) into 0 21.077 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 21.077 * [backup-simplify]: Simplify (/ z x) into (/ z x) 21.078 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 21.078 * [taylor]: Taking taylor expansion of -1 in x 21.078 * [backup-simplify]: Simplify -1 into -1 21.078 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 21.078 * [taylor]: Taking taylor expansion of z in x 21.078 * [backup-simplify]: Simplify z into z 21.078 * [taylor]: Taking taylor expansion of (* x y) in x 21.078 * [taylor]: Taking taylor expansion of x in x 21.078 * [backup-simplify]: Simplify 0 into 0 21.078 * [backup-simplify]: Simplify 1 into 1 21.078 * [taylor]: Taking taylor expansion of y in x 21.078 * [backup-simplify]: Simplify y into y 21.078 * [backup-simplify]: Simplify (* 0 y) into 0 21.078 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 21.079 * [backup-simplify]: Simplify (/ z y) into (/ z y) 21.079 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 21.079 * [taylor]: Taking taylor expansion of -1 in z 21.079 * [backup-simplify]: Simplify -1 into -1 21.079 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 21.079 * [taylor]: Taking taylor expansion of z in z 21.079 * [backup-simplify]: Simplify 0 into 0 21.079 * [backup-simplify]: Simplify 1 into 1 21.079 * [taylor]: Taking taylor expansion of (* x y) in z 21.079 * [taylor]: Taking taylor expansion of x in z 21.079 * [backup-simplify]: Simplify x into x 21.079 * [taylor]: Taking taylor expansion of y in z 21.079 * [backup-simplify]: Simplify y into y 21.079 * [backup-simplify]: Simplify (* x y) into (* x y) 21.079 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 21.079 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 21.079 * [taylor]: Taking taylor expansion of -1 in z 21.079 * [backup-simplify]: Simplify -1 into -1 21.079 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 21.079 * [taylor]: Taking taylor expansion of z in z 21.079 * [backup-simplify]: Simplify 0 into 0 21.079 * [backup-simplify]: Simplify 1 into 1 21.079 * [taylor]: Taking taylor expansion of (* x y) in z 21.079 * [taylor]: Taking taylor expansion of x in z 21.079 * [backup-simplify]: Simplify x into x 21.079 * [taylor]: Taking taylor expansion of y in z 21.079 * [backup-simplify]: Simplify y into y 21.079 * [backup-simplify]: Simplify (* x y) into (* x y) 21.079 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 21.080 * [backup-simplify]: Simplify (* -1 (/ 1 (* x y))) into (/ -1 (* x y)) 21.080 * [taylor]: Taking taylor expansion of (/ -1 (* x y)) in x 21.080 * [taylor]: Taking taylor expansion of -1 in x 21.080 * [backup-simplify]: Simplify -1 into -1 21.080 * [taylor]: Taking taylor expansion of (* x y) in x 21.080 * [taylor]: Taking taylor expansion of x in x 21.080 * [backup-simplify]: Simplify 0 into 0 21.080 * [backup-simplify]: Simplify 1 into 1 21.080 * [taylor]: Taking taylor expansion of y in x 21.080 * [backup-simplify]: Simplify y into y 21.080 * [backup-simplify]: Simplify (* 0 y) into 0 21.081 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 21.081 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 21.081 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.081 * [taylor]: Taking taylor expansion of -1 in y 21.081 * [backup-simplify]: Simplify -1 into -1 21.081 * [taylor]: Taking taylor expansion of y in y 21.081 * [backup-simplify]: Simplify 0 into 0 21.081 * [backup-simplify]: Simplify 1 into 1 21.081 * [backup-simplify]: Simplify (/ -1 1) into -1 21.082 * [backup-simplify]: Simplify -1 into -1 21.082 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 21.082 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 21.083 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 (* x y)))) into 0 21.083 * [taylor]: Taking taylor expansion of 0 in x 21.083 * [backup-simplify]: Simplify 0 into 0 21.084 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 21.084 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 21.084 * [taylor]: Taking taylor expansion of 0 in y 21.084 * [backup-simplify]: Simplify 0 into 0 21.085 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 21.085 * [backup-simplify]: Simplify 0 into 0 21.086 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 21.086 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 21.087 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (* x y))))) into 0 21.087 * [taylor]: Taking taylor expansion of 0 in x 21.087 * [backup-simplify]: Simplify 0 into 0 21.087 * [taylor]: Taking taylor expansion of 0 in y 21.087 * [backup-simplify]: Simplify 0 into 0 21.089 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 21.089 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 21.089 * [taylor]: Taking taylor expansion of 0 in y 21.089 * [backup-simplify]: Simplify 0 into 0 21.089 * [backup-simplify]: Simplify 0 into 0 21.090 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 21.090 * [backup-simplify]: Simplify 0 into 0 21.091 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 21.092 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 21.093 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* x y)))))) into 0 21.093 * [taylor]: Taking taylor expansion of 0 in x 21.093 * [backup-simplify]: Simplify 0 into 0 21.093 * [taylor]: Taking taylor expansion of 0 in y 21.093 * [backup-simplify]: Simplify 0 into 0 21.093 * [taylor]: Taking taylor expansion of 0 in y 21.094 * [backup-simplify]: Simplify 0 into 0 21.096 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 21.096 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 21.096 * [taylor]: Taking taylor expansion of 0 in y 21.096 * [backup-simplify]: Simplify 0 into 0 21.096 * [backup-simplify]: Simplify 0 into 0 21.096 * [backup-simplify]: Simplify 0 into 0 21.096 * [backup-simplify]: Simplify 0 into 0 21.097 * [backup-simplify]: Simplify (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- x))) (/ 1 (- z))))) into (/ (* x y) z) 21.097 * * * [progress]: simplifying candidates 21.099 * [simplify]: Simplifying: (expm1 (/ z (* x y))) (log1p (/ z (* x y))) (- (log z) (+ (log x) (log y))) (- (log z) (log (* x y))) (log (/ z (* x y))) (exp (/ z (* x y))) (/ (* (* z z) z) (* (* (* x x) x) (* (* y y) y))) (/ (* (* z z) z) (* (* (* x y) (* x y)) (* x y))) (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y)))) (cbrt (/ z (* x y))) (* (* (/ z (* x y)) (/ z (* x y))) (/ z (* x y))) (sqrt (/ z (* x y))) (sqrt (/ z (* x y))) (- z) (- (* x y)) (/ (* (cbrt z) (cbrt z)) x) (/ (cbrt z) y) (/ (sqrt z) x) (/ (sqrt z) y) (/ 1 x) (/ z y) (/ 1 (* x y)) (/ (* x y) z) (/ z x) (/ (* x y) (cbrt z)) (/ (* x y) (sqrt z)) (/ (* x y) z) (expm1 (/ (* (cbrt 1) (cbrt 1)) (/ z (* x y)))) (log1p (/ (* (cbrt 1) (cbrt 1)) (/ z (* x y)))) (- (+ (log (cbrt 1)) (log (cbrt 1))) (- (log z) (+ (log x) (log y)))) (- (+ (log (cbrt 1)) (log (cbrt 1))) (- (log z) (log (* x y)))) (- (+ (log (cbrt 1)) (log (cbrt 1))) (log (/ z (* x y)))) (- (log (* (cbrt 1) (cbrt 1))) (- (log z) (+ (log x) (log y)))) (- (log (* (cbrt 1) (cbrt 1))) (- (log z) (log (* x y)))) (- (log (* (cbrt 1) (cbrt 1))) (log (/ z (* x y)))) (log (/ (* (cbrt 1) (cbrt 1)) (/ z (* x y)))) (exp (/ (* (cbrt 1) (cbrt 1)) (/ z (* x y)))) (/ (* 1 1) (/ (* (* z z) z) (* (* (* x x) x) (* (* y y) y)))) (/ (* 1 1) (/ (* (* z z) z) (* (* (* x y) (* x y)) (* x y)))) (/ (* 1 1) (* (* (/ z (* x y)) (/ z (* x y))) (/ z (* x y)))) (/ (* (* (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (cbrt 1))) (* (cbrt 1) (cbrt 1))) (/ (* (* z z) z) (* (* (* x x) x) (* (* y y) y)))) (/ (* (* (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (cbrt 1))) (* (cbrt 1) (cbrt 1))) (/ (* (* z z) z) (* (* (* x y) (* x y)) (* x y)))) (/ (* (* (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (cbrt 1))) (* (cbrt 1) (cbrt 1))) (* (* (/ z (* x y)) (/ z (* x y))) (/ z (* x y)))) (* (cbrt (/ (* (cbrt 1) (cbrt 1)) (/ z (* x y)))) (cbrt (/ (* (cbrt 1) (cbrt 1)) (/ z (* x y))))) (cbrt (/ (* (cbrt 1) (cbrt 1)) (/ z (* x y)))) (* (* (/ (* (cbrt 1) (cbrt 1)) (/ z (* x y))) (/ (* (cbrt 1) (cbrt 1)) (/ z (* x y)))) (/ (* (cbrt 1) (cbrt 1)) (/ z (* x y)))) (sqrt (/ (* (cbrt 1) (cbrt 1)) (/ z (* x y)))) (sqrt (/ (* (cbrt 1) (cbrt 1)) (/ z (* x y)))) (- (* (cbrt 1) (cbrt 1))) (- (/ z (* x y))) (/ (cbrt 1) (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y))))) (/ (cbrt 1) (cbrt (/ z (* x y)))) (/ (cbrt 1) (sqrt (/ z (* x y)))) (/ (cbrt 1) (sqrt (/ z (* x y)))) (/ (cbrt 1) (/ (* (cbrt z) (cbrt z)) x)) (/ (cbrt 1) (/ (cbrt z) y)) (/ (cbrt 1) (/ (sqrt z) x)) (/ (cbrt 1) (/ (sqrt z) y)) (/ (cbrt 1) (/ 1 x)) (/ (cbrt 1) (/ z y)) (/ (cbrt 1) 1) (/ (cbrt 1) (/ z (* x y))) (/ (cbrt 1) z) (/ (cbrt 1) (/ 1 (* x y))) (/ 1 (/ z (* x y))) (/ (/ z (* x y)) (* (cbrt 1) (cbrt 1))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y))))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ z (* x y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt z) (cbrt z)) x)) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt z) x)) (/ (* (cbrt 1) (cbrt 1)) (/ 1 x)) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (* (cbrt 1) (cbrt 1)) z) (/ (/ z (* x y)) (cbrt 1)) (/ (* (cbrt 1) (cbrt 1)) z) (/ z (* x y)) (/ z (* x y)) (/ z (* x y)) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 21.102 * * [simplify]: Extracting # 0 : cost 0 21.102 * * [simplify]: Extracting # 1 : cost 0 21.102 * * [simplify]: Extracting # 2 : cost 0 21.103 * * [simplify]: Extracting # 3 : cost 0 21.103 * * [simplify]: Extracting # 4 : cost 0 21.103 * * [simplify]: Extracting # 5 : cost 0 21.103 * * [simplify]: Extracting # 6 : cost 0 21.104 * * [simplify]: Extracting # 7 : cost 0 21.104 * * [simplify]: iteration 0 : 104 enodes (cost 843 ) 21.174 * * [simplify]: Extracting # 0 : cost 0 21.175 * * [simplify]: Extracting # 1 : cost 0 21.175 * * [simplify]: Extracting # 2 : cost 0 21.175 * * [simplify]: iteration 1 : 254 enodes (cost 633 ) 21.288 * * [simplify]: Extracting # 0 : cost 0 21.290 * * [simplify]: Extracting # 1 : cost 0 21.291 * * [simplify]: Extracting # 2 : cost 0 21.293 * * [simplify]: Extracting # 3 : cost 0 21.294 * * [simplify]: Extracting # 4 : cost 0 21.295 * * [simplify]: Extracting # 5 : cost 0 21.296 * * [simplify]: iteration 2 : 608 enodes (cost 463 ) 22.486 * * [simplify]: Extracting # 0 : cost 0 22.489 * * [simplify]: Extracting # 1 : cost 0 22.492 * * [simplify]: Extracting # 2 : cost 0 22.494 * * [simplify]: Extracting # 3 : cost 0 22.497 * * [simplify]: Extracting # 4 : cost 0 22.499 * * [simplify]: Extracting # 5 : cost 0 22.502 * * [simplify]: iteration 3 : 2728 enodes (cost 457 ) 24.044 * * [simplify]: Extracting # 0 : cost 0 24.053 * * [simplify]: Extracting # 1 : cost 0 24.059 * * [simplify]: Extracting # 2 : cost 0 24.070 * * [simplify]: iteration done: 5000 enodes (cost 457 ) 24.071 * [simplify]: Simplified to: (expm1 (/ z (* x y))) (log1p (/ z (* x y))) (log (/ z (* x y))) (log (/ z (* x y))) (log (/ z (* x y))) (exp (/ z (* x y))) (pow (/ z (* x y)) 3) (pow (/ z (* x y)) 3) (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y)))) (cbrt (/ z (* x y))) (pow (/ z (* x y)) 3) (sqrt (/ z (* x y))) (sqrt (/ z (* x y))) (- z) (- (* x y)) (/ (cbrt z) (/ x (cbrt z))) (/ (cbrt z) y) (/ (sqrt z) x) (/ (sqrt z) y) (/ 1 x) (/ z y) (/ 1 (* x y)) (/ (* x y) z) (/ z x) (/ (* x y) (cbrt z)) (/ (* x y) (sqrt z)) (/ (* x y) z) (expm1 (/ (* x y) z)) (log1p (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (exp (/ (* x y) z)) (pow (/ (* x y) z) 3) (pow (/ (* x y) z) 3) (pow (/ (* x y) z) 3) (pow (/ (* x y) z) 3) (pow (/ (* x y) z) 3) (pow (/ (* x y) z) 3) (* (cbrt (/ y (/ z x))) (cbrt (/ y (/ z x)))) (cbrt (/ y (/ z x))) (pow (/ (* x y) z) 3) (sqrt (/ (* x y) z)) (sqrt (/ (* x y) z)) -1 (- (/ z (* x y))) (/ 1 (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y))))) (/ 1 (cbrt (/ z (* x y)))) (/ 1 (sqrt (/ z (* x y)))) (/ 1 (sqrt (/ z (* x y)))) (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (/ x (sqrt z)) (/ y (sqrt z)) x (/ y z) 1 (/ (* x y) z) (/ 1 z) (* x y) (/ (* x y) z) (/ z (* x y)) (/ 1 (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y))))) (/ 1 (sqrt (/ z (* x y)))) (/ x (* (cbrt z) (cbrt z))) (/ x (sqrt z)) x 1 (/ 1 z) (/ z (* x y)) (/ 1 z) (/ z (* x y)) (/ z (* x y)) (/ z (* x y)) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 24.072 * * * [progress]: adding candidates to table 24.310 * [progress]: [Phase 3 of 3] Extracting. 24.310 * * [regime]: Finding splitpoints for: (# # # # # #) 24.311 * * * [regime-changes]: Trying 4 branch expressions: (t z y x) 24.311 * * * * [regimes]: Trying to branch on t from (# # # # # #) 24.381 * * * * [regimes]: Trying to branch on z from (# # # # # #) 24.416 * * * * [regimes]: Trying to branch on y from (# # # # # #) 24.480 * * * * [regimes]: Trying to branch on x from (# # # # # #) 24.528 * * * [regime]: Found split indices: #