58.025 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.043 * * * [progress]: [2/2] Setting up program. 0.047 * [progress]: [Phase 2 of 3] Improving. 0.047 * [simplify]: Simplifying: (* x (/ (* (/ y z) t) t)) 0.047 * * [simplify]: Extracting # 0 : cost 0 0.047 * * [simplify]: Extracting # 1 : cost 0 0.047 * * [simplify]: Extracting # 2 : cost 0 0.047 * * [simplify]: Extracting # 3 : cost 0 0.047 * * [simplify]: Extracting # 4 : cost 0 0.047 * * [simplify]: Extracting # 5 : cost 0 0.048 * * [simplify]: Extracting # 6 : cost 0 0.048 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.050 * * [simplify]: Extracting # 0 : cost 0 0.051 * * [simplify]: Extracting # 1 : cost 0 0.051 * * [simplify]: Extracting # 2 : cost 0 0.051 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 0.057 * * [simplify]: Extracting # 0 : cost 0 0.057 * * [simplify]: Extracting # 1 : cost 0 0.057 * * [simplify]: Extracting # 2 : cost 0 0.057 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 0.077 * * [simplify]: Extracting # 0 : cost 0 0.077 * * [simplify]: Extracting # 1 : cost 0 0.078 * * [simplify]: Extracting # 2 : cost 0 0.078 * * [simplify]: iteration 3 : 99 enodes (cost 5 ) 0.187 * * [simplify]: Extracting # 0 : cost 0 0.187 * * [simplify]: Extracting # 1 : cost 0 0.188 * * [simplify]: Extracting # 2 : cost 0 0.189 * * [simplify]: iteration 4 : 386 enodes (cost 5 ) 1.782 * * [simplify]: Extracting # 0 : cost 0 1.786 * * [simplify]: Extracting # 1 : cost 0 1.789 * * [simplify]: Extracting # 2 : cost 0 1.796 * * [simplify]: iteration 5 : 1705 enodes (cost 5 ) 5.626 * * [simplify]: Extracting # 0 : cost 0 5.632 * * [simplify]: Extracting # 1 : cost 0 5.637 * * [simplify]: Extracting # 2 : cost 0 5.641 * * [simplify]: Extracting # 3 : cost 0 5.645 * * [simplify]: iteration done: 5001 enodes (cost 5 ) 5.645 * [simplify]: Simplified to: (* (/ y z) x) 5.650 * * [progress]: iteration 1 / 4 5.650 * * * [progress]: picking best candidate 5.655 * * * * [pick]: Picked # 5.655 * * * [progress]: localizing error 5.663 * * * [progress]: generating rewritten candidates 5.663 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 5.688 * * * [progress]: generating series expansions 5.688 * * * * [progress]: [ 1 / 1 ] generating series at (2) 5.688 * [backup-simplify]: Simplify (* (/ y z) x) into (/ (* x y) z) 5.688 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (y z x) around 0 5.689 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 5.689 * [taylor]: Taking taylor expansion of (* x y) in x 5.689 * [taylor]: Taking taylor expansion of x in x 5.689 * [backup-simplify]: Simplify 0 into 0 5.689 * [backup-simplify]: Simplify 1 into 1 5.689 * [taylor]: Taking taylor expansion of y in x 5.689 * [backup-simplify]: Simplify y into y 5.689 * [taylor]: Taking taylor expansion of z in x 5.689 * [backup-simplify]: Simplify z into z 5.689 * [backup-simplify]: Simplify (* 0 y) into 0 5.689 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.689 * [backup-simplify]: Simplify (/ y z) into (/ y z) 5.689 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 5.689 * [taylor]: Taking taylor expansion of (* x y) in z 5.689 * [taylor]: Taking taylor expansion of x in z 5.689 * [backup-simplify]: Simplify x into x 5.689 * [taylor]: Taking taylor expansion of y in z 5.689 * [backup-simplify]: Simplify y into y 5.689 * [taylor]: Taking taylor expansion of z in z 5.689 * [backup-simplify]: Simplify 0 into 0 5.689 * [backup-simplify]: Simplify 1 into 1 5.690 * [backup-simplify]: Simplify (* x y) into (* x y) 5.690 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 5.690 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 5.690 * [taylor]: Taking taylor expansion of (* x y) in y 5.690 * [taylor]: Taking taylor expansion of x in y 5.690 * [backup-simplify]: Simplify x into x 5.690 * [taylor]: Taking taylor expansion of y in y 5.690 * [backup-simplify]: Simplify 0 into 0 5.690 * [backup-simplify]: Simplify 1 into 1 5.690 * [taylor]: Taking taylor expansion of z in y 5.690 * [backup-simplify]: Simplify z into z 5.690 * [backup-simplify]: Simplify (* x 0) into 0 5.690 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.690 * [backup-simplify]: Simplify (/ x z) into (/ x z) 5.690 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 5.690 * [taylor]: Taking taylor expansion of (* x y) in y 5.690 * [taylor]: Taking taylor expansion of x in y 5.690 * [backup-simplify]: Simplify x into x 5.690 * [taylor]: Taking taylor expansion of y in y 5.690 * [backup-simplify]: Simplify 0 into 0 5.690 * [backup-simplify]: Simplify 1 into 1 5.690 * [taylor]: Taking taylor expansion of z in y 5.690 * [backup-simplify]: Simplify z into z 5.691 * [backup-simplify]: Simplify (* x 0) into 0 5.691 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.691 * [backup-simplify]: Simplify (/ x z) into (/ x z) 5.691 * [taylor]: Taking taylor expansion of (/ x z) in z 5.691 * [taylor]: Taking taylor expansion of x in z 5.691 * [backup-simplify]: Simplify x into x 5.691 * [taylor]: Taking taylor expansion of z in z 5.691 * [backup-simplify]: Simplify 0 into 0 5.691 * [backup-simplify]: Simplify 1 into 1 5.691 * [backup-simplify]: Simplify (/ x 1) into x 5.691 * [taylor]: Taking taylor expansion of x in x 5.691 * [backup-simplify]: Simplify 0 into 0 5.691 * [backup-simplify]: Simplify 1 into 1 5.691 * [backup-simplify]: Simplify 1 into 1 5.692 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 5.692 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0 5.692 * [taylor]: Taking taylor expansion of 0 in z 5.692 * [backup-simplify]: Simplify 0 into 0 5.693 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0 5.693 * [taylor]: Taking taylor expansion of 0 in x 5.693 * [backup-simplify]: Simplify 0 into 0 5.693 * [backup-simplify]: Simplify 0 into 0 5.693 * [backup-simplify]: Simplify 0 into 0 5.693 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 5.694 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 5.694 * [taylor]: Taking taylor expansion of 0 in z 5.694 * [backup-simplify]: Simplify 0 into 0 5.694 * [taylor]: Taking taylor expansion of 0 in x 5.694 * [backup-simplify]: Simplify 0 into 0 5.694 * [backup-simplify]: Simplify 0 into 0 5.695 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.695 * [taylor]: Taking taylor expansion of 0 in x 5.695 * [backup-simplify]: Simplify 0 into 0 5.695 * [backup-simplify]: Simplify 0 into 0 5.695 * [backup-simplify]: Simplify 0 into 0 5.695 * [backup-simplify]: Simplify 0 into 0 5.695 * [backup-simplify]: Simplify (* 1 (* x (* (/ 1 z) y))) into (/ (* x y) z) 5.695 * [backup-simplify]: Simplify (* (/ (/ 1 y) (/ 1 z)) (/ 1 x)) into (/ z (* x y)) 5.695 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (y z x) around 0 5.695 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 5.695 * [taylor]: Taking taylor expansion of z in x 5.695 * [backup-simplify]: Simplify z into z 5.695 * [taylor]: Taking taylor expansion of (* x y) in x 5.695 * [taylor]: Taking taylor expansion of x in x 5.695 * [backup-simplify]: Simplify 0 into 0 5.695 * [backup-simplify]: Simplify 1 into 1 5.695 * [taylor]: Taking taylor expansion of y in x 5.695 * [backup-simplify]: Simplify y into y 5.695 * [backup-simplify]: Simplify (* 0 y) into 0 5.696 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.696 * [backup-simplify]: Simplify (/ z y) into (/ z y) 5.696 * [taylor]: Taking taylor expansion of (/ z (* x y)) 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 y) in z 5.696 * [taylor]: Taking taylor expansion of x in z 5.696 * [backup-simplify]: Simplify x into x 5.696 * [taylor]: Taking taylor expansion of y in z 5.696 * [backup-simplify]: Simplify y into y 5.696 * [backup-simplify]: Simplify (* x y) into (* x y) 5.696 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 5.696 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 5.696 * [taylor]: Taking taylor expansion of z in y 5.696 * [backup-simplify]: Simplify z into z 5.696 * [taylor]: Taking taylor expansion of (* x y) in y 5.696 * [taylor]: Taking taylor expansion of x in y 5.696 * [backup-simplify]: Simplify x into x 5.696 * [taylor]: Taking taylor expansion of y in y 5.696 * [backup-simplify]: Simplify 0 into 0 5.696 * [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.697 * [backup-simplify]: Simplify (/ z x) into (/ z x) 5.697 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 5.697 * [taylor]: Taking taylor expansion of z in y 5.697 * [backup-simplify]: Simplify z into z 5.697 * [taylor]: Taking taylor expansion of (* x y) in y 5.697 * [taylor]: Taking taylor expansion of x in y 5.697 * [backup-simplify]: Simplify x into x 5.697 * [taylor]: Taking taylor expansion of y in y 5.697 * [backup-simplify]: Simplify 0 into 0 5.697 * [backup-simplify]: Simplify 1 into 1 5.697 * [backup-simplify]: Simplify (* x 0) into 0 5.697 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.697 * [backup-simplify]: Simplify (/ z x) into (/ z x) 5.697 * [taylor]: Taking taylor expansion of (/ z x) in z 5.697 * [taylor]: Taking taylor expansion of z in z 5.697 * [backup-simplify]: Simplify 0 into 0 5.697 * [backup-simplify]: Simplify 1 into 1 5.697 * [taylor]: Taking taylor expansion of x in z 5.697 * [backup-simplify]: Simplify x into x 5.697 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.697 * [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.698 * [backup-simplify]: Simplify (/ 1 1) into 1 5.698 * [backup-simplify]: Simplify 1 into 1 5.698 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 5.698 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0 5.698 * [taylor]: Taking taylor expansion of 0 in z 5.698 * [backup-simplify]: Simplify 0 into 0 5.698 * [taylor]: Taking taylor expansion of 0 in x 5.698 * [backup-simplify]: Simplify 0 into 0 5.698 * [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.699 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.699 * [backup-simplify]: Simplify 0 into 0 5.700 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 5.700 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.700 * [taylor]: Taking taylor expansion of 0 in z 5.700 * [backup-simplify]: Simplify 0 into 0 5.700 * [taylor]: Taking taylor expansion of 0 in x 5.700 * [backup-simplify]: Simplify 0 into 0 5.700 * [taylor]: Taking taylor expansion of 0 in x 5.700 * [backup-simplify]: Simplify 0 into 0 5.700 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.700 * [taylor]: Taking taylor expansion of 0 in x 5.700 * [backup-simplify]: Simplify 0 into 0 5.700 * [backup-simplify]: Simplify 0 into 0 5.700 * [backup-simplify]: Simplify 0 into 0 5.701 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.701 * [backup-simplify]: Simplify 0 into 0 5.702 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 5.702 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.702 * [taylor]: Taking taylor expansion of 0 in z 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 * [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)) (* 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.702 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 z) (/ 1 (/ 1 y))))) into (/ (* x y) z) 5.703 * [backup-simplify]: Simplify (* (/ (/ 1 (- y)) (/ 1 (- z))) (/ 1 (- x))) into (* -1 (/ z (* x y))) 5.703 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (y z x) around 0 5.703 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 5.703 * [taylor]: Taking taylor expansion of -1 in x 5.703 * [backup-simplify]: Simplify -1 into -1 5.703 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 5.703 * [taylor]: Taking taylor expansion of z in x 5.703 * [backup-simplify]: Simplify z into z 5.703 * [taylor]: Taking taylor expansion of (* x y) in x 5.703 * [taylor]: Taking taylor expansion of x in x 5.703 * [backup-simplify]: Simplify 0 into 0 5.703 * [backup-simplify]: Simplify 1 into 1 5.703 * [taylor]: Taking taylor expansion of y in x 5.703 * [backup-simplify]: Simplify y into y 5.703 * [backup-simplify]: Simplify (* 0 y) into 0 5.704 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.704 * [backup-simplify]: Simplify (/ z y) into (/ z y) 5.704 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 5.704 * [taylor]: Taking taylor expansion of -1 in z 5.704 * [backup-simplify]: Simplify -1 into -1 5.704 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 5.704 * [taylor]: Taking taylor expansion of z in z 5.704 * [backup-simplify]: Simplify 0 into 0 5.704 * [backup-simplify]: Simplify 1 into 1 5.704 * [taylor]: Taking taylor expansion of (* x y) in z 5.704 * [taylor]: Taking taylor expansion of x in z 5.704 * [backup-simplify]: Simplify x into x 5.704 * [taylor]: Taking taylor expansion of y in z 5.704 * [backup-simplify]: Simplify y into y 5.704 * [backup-simplify]: Simplify (* x y) into (* x y) 5.704 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 5.704 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 5.704 * [taylor]: Taking taylor expansion of -1 in y 5.704 * [backup-simplify]: Simplify -1 into -1 5.704 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 5.704 * [taylor]: Taking taylor expansion of z in y 5.704 * [backup-simplify]: Simplify z into z 5.704 * [taylor]: Taking taylor expansion of (* x y) in y 5.704 * [taylor]: Taking taylor expansion of x in y 5.704 * [backup-simplify]: Simplify x into x 5.705 * [taylor]: Taking taylor expansion of y in y 5.705 * [backup-simplify]: Simplify 0 into 0 5.705 * [backup-simplify]: Simplify 1 into 1 5.705 * [backup-simplify]: Simplify (* x 0) into 0 5.705 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.705 * [backup-simplify]: Simplify (/ z x) into (/ z x) 5.706 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 5.706 * [taylor]: Taking taylor expansion of -1 in y 5.706 * [backup-simplify]: Simplify -1 into -1 5.706 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 5.706 * [taylor]: Taking taylor expansion of z in y 5.706 * [backup-simplify]: Simplify z into z 5.706 * [taylor]: Taking taylor expansion of (* x y) in y 5.706 * [taylor]: Taking taylor expansion of x in y 5.706 * [backup-simplify]: Simplify x into x 5.706 * [taylor]: Taking taylor expansion of y in y 5.706 * [backup-simplify]: Simplify 0 into 0 5.706 * [backup-simplify]: Simplify 1 into 1 5.706 * [backup-simplify]: Simplify (* x 0) into 0 5.707 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.707 * [backup-simplify]: Simplify (/ z x) into (/ z x) 5.707 * [backup-simplify]: Simplify (* -1 (/ z x)) into (* -1 (/ z x)) 5.707 * [taylor]: Taking taylor expansion of (* -1 (/ z x)) 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) in z 5.707 * [taylor]: Taking taylor expansion of z in z 5.707 * [backup-simplify]: Simplify 0 into 0 5.707 * [backup-simplify]: Simplify 1 into 1 5.707 * [taylor]: Taking taylor expansion of x in z 5.707 * [backup-simplify]: Simplify x into x 5.707 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.707 * [backup-simplify]: Simplify (* -1 (/ 1 x)) into (/ -1 x) 5.707 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.707 * [taylor]: Taking taylor expansion of -1 in x 5.707 * [backup-simplify]: Simplify -1 into -1 5.707 * [taylor]: Taking taylor expansion of x in x 5.707 * [backup-simplify]: Simplify 0 into 0 5.707 * [backup-simplify]: Simplify 1 into 1 5.708 * [backup-simplify]: Simplify (/ -1 1) into -1 5.708 * [backup-simplify]: Simplify -1 into -1 5.709 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 5.709 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0 5.710 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ z x))) into 0 5.710 * [taylor]: Taking taylor expansion of 0 in z 5.710 * [backup-simplify]: Simplify 0 into 0 5.710 * [taylor]: Taking taylor expansion of 0 in x 5.710 * [backup-simplify]: Simplify 0 into 0 5.710 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0 5.711 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 x))) into 0 5.711 * [taylor]: Taking taylor expansion of 0 in x 5.711 * [backup-simplify]: Simplify 0 into 0 5.712 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 5.712 * [backup-simplify]: Simplify 0 into 0 5.714 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 5.714 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.715 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z x)))) into 0 5.715 * [taylor]: Taking taylor expansion of 0 in z 5.715 * [backup-simplify]: Simplify 0 into 0 5.715 * [taylor]: Taking taylor expansion of 0 in x 5.715 * [backup-simplify]: Simplify 0 into 0 5.715 * [taylor]: Taking taylor expansion of 0 in x 5.715 * [backup-simplify]: Simplify 0 into 0 5.716 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.717 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0 5.717 * [taylor]: Taking taylor expansion of 0 in x 5.717 * [backup-simplify]: Simplify 0 into 0 5.717 * [backup-simplify]: Simplify 0 into 0 5.717 * [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.722 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ z x))))) into 0 5.722 * [taylor]: Taking taylor expansion of 0 in z 5.722 * [backup-simplify]: Simplify 0 into 0 5.722 * [taylor]: Taking taylor expansion of 0 in x 5.722 * [backup-simplify]: Simplify 0 into 0 5.722 * [taylor]: Taking taylor expansion of 0 in x 5.722 * [backup-simplify]: Simplify 0 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 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.724 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0 5.724 * [taylor]: Taking taylor expansion of 0 in x 5.724 * [backup-simplify]: Simplify 0 into 0 5.724 * [backup-simplify]: Simplify 0 into 0 5.724 * [backup-simplify]: Simplify 0 into 0 5.725 * [backup-simplify]: Simplify (* -1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (- z)) (/ 1 (/ 1 (- y)))))) into (/ (* x y) z) 5.725 * * * [progress]: simplifying candidates 5.726 * [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.727 * * [simplify]: Extracting # 0 : cost 0 5.727 * * [simplify]: Extracting # 1 : cost 0 5.727 * * [simplify]: Extracting # 2 : cost 0 5.727 * * [simplify]: Extracting # 3 : cost 0 5.728 * * [simplify]: Extracting # 4 : cost 0 5.728 * * [simplify]: Extracting # 5 : cost 0 5.728 * * [simplify]: Extracting # 6 : cost 0 5.728 * * [simplify]: iteration 0 : 70 enodes (cost 273 ) 5.758 * * [simplify]: Extracting # 0 : cost 0 5.758 * * [simplify]: Extracting # 1 : cost 0 5.758 * * [simplify]: Extracting # 2 : cost 0 5.759 * * [simplify]: iteration 1 : 155 enodes (cost 268 ) 5.824 * * [simplify]: Extracting # 0 : cost 0 5.825 * * [simplify]: Extracting # 1 : cost 0 5.825 * * [simplify]: Extracting # 2 : cost 0 5.826 * * [simplify]: Extracting # 3 : cost 0 5.826 * * [simplify]: Extracting # 4 : cost 0 5.826 * * [simplify]: Extracting # 5 : cost 0 5.827 * * [simplify]: Extracting # 6 : cost 0 5.827 * * [simplify]: iteration 2 : 427 enodes (cost 236 ) 6.174 * * [simplify]: Extracting # 0 : cost 0 6.176 * * [simplify]: Extracting # 1 : cost 0 6.177 * * [simplify]: Extracting # 2 : cost 0 6.178 * * [simplify]: Extracting # 3 : cost 0 6.179 * * [simplify]: Extracting # 4 : cost 0 6.185 * * [simplify]: iteration 3 : 1211 enodes (cost 236 ) 9.199 * * [simplify]: Extracting # 0 : cost 0 9.210 * * [simplify]: Extracting # 1 : cost 0 9.216 * * [simplify]: Extracting # 2 : cost 0 9.222 * * [simplify]: Extracting # 3 : cost 0 9.228 * * [simplify]: Extracting # 4 : cost 0 9.234 * * [simplify]: iteration 4 : 3623 enodes (cost 236 ) 11.900 * * [simplify]: Extracting # 0 : cost 0 11.909 * * [simplify]: Extracting # 1 : cost 0 11.918 * * [simplify]: Extracting # 2 : cost 0 11.927 * * [simplify]: iteration done: 5000 enodes (cost 236 ) 11.928 * [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) 11.928 * * * [progress]: adding candidates to table 12.040 * * [progress]: iteration 2 / 4 12.040 * * * [progress]: picking best candidate 12.061 * * * * [pick]: Picked # 12.062 * * * [progress]: localizing error 12.069 * * * [progress]: generating rewritten candidates 12.069 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 12.089 * * * [progress]: generating series expansions 12.089 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 12.090 * [backup-simplify]: Simplify (/ (* x y) z) into (/ (* x y) z) 12.090 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0 12.090 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 12.090 * [taylor]: Taking taylor expansion of (* x y) in z 12.090 * [taylor]: Taking taylor expansion of x in z 12.090 * [backup-simplify]: Simplify x into x 12.090 * [taylor]: Taking taylor expansion of y in z 12.090 * [backup-simplify]: Simplify y into y 12.090 * [taylor]: Taking taylor expansion of z in z 12.090 * [backup-simplify]: Simplify 0 into 0 12.090 * [backup-simplify]: Simplify 1 into 1 12.090 * [backup-simplify]: Simplify (* x y) into (* x y) 12.090 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 12.090 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 12.090 * [taylor]: Taking taylor expansion of (* x y) in y 12.090 * [taylor]: Taking taylor expansion of x in y 12.090 * [backup-simplify]: Simplify x into x 12.090 * [taylor]: Taking taylor expansion of y in y 12.090 * [backup-simplify]: Simplify 0 into 0 12.090 * [backup-simplify]: Simplify 1 into 1 12.090 * [taylor]: Taking taylor expansion of z in y 12.090 * [backup-simplify]: Simplify z into z 12.090 * [backup-simplify]: Simplify (* x 0) into 0 12.091 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 12.091 * [backup-simplify]: Simplify (/ x z) into (/ x z) 12.091 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 12.091 * [taylor]: Taking taylor expansion of (* x y) in x 12.091 * [taylor]: Taking taylor expansion of x in x 12.091 * [backup-simplify]: Simplify 0 into 0 12.091 * [backup-simplify]: Simplify 1 into 1 12.091 * [taylor]: Taking taylor expansion of y in x 12.091 * [backup-simplify]: Simplify y into y 12.091 * [taylor]: Taking taylor expansion of z in x 12.091 * [backup-simplify]: Simplify z into z 12.091 * [backup-simplify]: Simplify (* 0 y) into 0 12.091 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 12.091 * [backup-simplify]: Simplify (/ y z) into (/ y z) 12.091 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 12.091 * [taylor]: Taking taylor expansion of (* x y) in x 12.091 * [taylor]: Taking taylor expansion of x in x 12.091 * [backup-simplify]: Simplify 0 into 0 12.091 * [backup-simplify]: Simplify 1 into 1 12.091 * [taylor]: Taking taylor expansion of y in x 12.091 * [backup-simplify]: Simplify y into y 12.091 * [taylor]: Taking taylor expansion of z in x 12.091 * [backup-simplify]: Simplify z into z 12.092 * [backup-simplify]: Simplify (* 0 y) into 0 12.092 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 12.092 * [backup-simplify]: Simplify (/ y z) into (/ y z) 12.092 * [taylor]: Taking taylor expansion of (/ y z) in y 12.092 * [taylor]: Taking taylor expansion of y in y 12.092 * [backup-simplify]: Simplify 0 into 0 12.092 * [backup-simplify]: Simplify 1 into 1 12.092 * [taylor]: Taking taylor expansion of z in y 12.092 * [backup-simplify]: Simplify z into z 12.092 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.092 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.092 * [taylor]: Taking taylor expansion of z in z 12.092 * [backup-simplify]: Simplify 0 into 0 12.092 * [backup-simplify]: Simplify 1 into 1 12.092 * [backup-simplify]: Simplify (/ 1 1) into 1 12.092 * [backup-simplify]: Simplify 1 into 1 12.093 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 12.093 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0 12.093 * [taylor]: Taking taylor expansion of 0 in y 12.093 * [backup-simplify]: Simplify 0 into 0 12.093 * [taylor]: Taking taylor expansion of 0 in z 12.093 * [backup-simplify]: Simplify 0 into 0 12.093 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 12.093 * [taylor]: Taking taylor expansion of 0 in z 12.093 * [backup-simplify]: Simplify 0 into 0 12.094 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.094 * [backup-simplify]: Simplify 0 into 0 12.095 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 12.095 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 12.095 * [taylor]: Taking taylor expansion of 0 in y 12.095 * [backup-simplify]: Simplify 0 into 0 12.095 * [taylor]: Taking taylor expansion of 0 in z 12.095 * [backup-simplify]: Simplify 0 into 0 12.095 * [taylor]: Taking taylor expansion of 0 in z 12.095 * [backup-simplify]: Simplify 0 into 0 12.095 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 12.095 * [taylor]: Taking taylor expansion of 0 in z 12.095 * [backup-simplify]: Simplify 0 into 0 12.095 * [backup-simplify]: Simplify 0 into 0 12.095 * [backup-simplify]: Simplify 0 into 0 12.096 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.096 * [backup-simplify]: Simplify 0 into 0 12.097 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 12.097 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 12.097 * [taylor]: Taking taylor expansion of 0 in y 12.097 * [backup-simplify]: Simplify 0 into 0 12.097 * [taylor]: Taking taylor expansion of 0 in z 12.097 * [backup-simplify]: Simplify 0 into 0 12.097 * [taylor]: Taking taylor expansion of 0 in z 12.097 * [backup-simplify]: Simplify 0 into 0 12.097 * [taylor]: Taking taylor expansion of 0 in z 12.097 * [backup-simplify]: Simplify 0 into 0 12.097 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 12.097 * [taylor]: Taking taylor expansion of 0 in z 12.097 * [backup-simplify]: Simplify 0 into 0 12.097 * [backup-simplify]: Simplify 0 into 0 12.097 * [backup-simplify]: Simplify 0 into 0 12.097 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* y x))) into (/ (* x y) z) 12.098 * [backup-simplify]: Simplify (/ (* (/ 1 x) (/ 1 y)) (/ 1 z)) into (/ z (* x y)) 12.098 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0 12.098 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 12.098 * [taylor]: Taking taylor expansion of z in z 12.098 * [backup-simplify]: Simplify 0 into 0 12.098 * [backup-simplify]: Simplify 1 into 1 12.098 * [taylor]: Taking taylor expansion of (* x y) in z 12.098 * [taylor]: Taking taylor expansion of x in z 12.098 * [backup-simplify]: Simplify x into x 12.098 * [taylor]: Taking taylor expansion of y in z 12.098 * [backup-simplify]: Simplify y into y 12.098 * [backup-simplify]: Simplify (* x y) into (* x y) 12.098 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 12.098 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 12.098 * [taylor]: Taking taylor expansion of z in y 12.098 * [backup-simplify]: Simplify z into z 12.098 * [taylor]: Taking taylor expansion of (* x y) in y 12.098 * [taylor]: Taking taylor expansion of x in y 12.098 * [backup-simplify]: Simplify x into x 12.098 * [taylor]: Taking taylor expansion of y in y 12.098 * [backup-simplify]: Simplify 0 into 0 12.098 * [backup-simplify]: Simplify 1 into 1 12.098 * [backup-simplify]: Simplify (* x 0) into 0 12.099 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 12.099 * [backup-simplify]: Simplify (/ z x) into (/ z x) 12.099 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 12.099 * [taylor]: Taking taylor expansion of z in x 12.099 * [backup-simplify]: Simplify z into z 12.099 * [taylor]: Taking taylor expansion of (* x y) in x 12.099 * [taylor]: Taking taylor expansion of x in x 12.099 * [backup-simplify]: Simplify 0 into 0 12.099 * [backup-simplify]: Simplify 1 into 1 12.099 * [taylor]: Taking taylor expansion of y in x 12.099 * [backup-simplify]: Simplify y into y 12.099 * [backup-simplify]: Simplify (* 0 y) into 0 12.099 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 12.099 * [backup-simplify]: Simplify (/ z y) into (/ z y) 12.099 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 12.099 * [taylor]: Taking taylor expansion of z in x 12.099 * [backup-simplify]: Simplify z into z 12.099 * [taylor]: Taking taylor expansion of (* x y) in x 12.099 * [taylor]: Taking taylor expansion of x in x 12.099 * [backup-simplify]: Simplify 0 into 0 12.099 * [backup-simplify]: Simplify 1 into 1 12.099 * [taylor]: Taking taylor expansion of y in x 12.099 * [backup-simplify]: Simplify y into y 12.099 * [backup-simplify]: Simplify (* 0 y) into 0 12.100 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 12.100 * [backup-simplify]: Simplify (/ z y) into (/ z y) 12.100 * [taylor]: Taking taylor expansion of (/ z y) in y 12.100 * [taylor]: Taking taylor expansion of z in y 12.100 * [backup-simplify]: Simplify z into z 12.100 * [taylor]: Taking taylor expansion of y in y 12.100 * [backup-simplify]: Simplify 0 into 0 12.100 * [backup-simplify]: Simplify 1 into 1 12.100 * [backup-simplify]: Simplify (/ z 1) into z 12.100 * [taylor]: Taking taylor expansion of z in z 12.100 * [backup-simplify]: Simplify 0 into 0 12.100 * [backup-simplify]: Simplify 1 into 1 12.100 * [backup-simplify]: Simplify 1 into 1 12.101 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 12.101 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0 12.101 * [taylor]: Taking taylor expansion of 0 in y 12.101 * [backup-simplify]: Simplify 0 into 0 12.101 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 12.101 * [taylor]: Taking taylor expansion of 0 in z 12.102 * [backup-simplify]: Simplify 0 into 0 12.102 * [backup-simplify]: Simplify 0 into 0 12.102 * [backup-simplify]: Simplify 0 into 0 12.102 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 12.103 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 12.103 * [taylor]: Taking taylor expansion of 0 in y 12.103 * [backup-simplify]: Simplify 0 into 0 12.103 * [taylor]: Taking taylor expansion of 0 in z 12.103 * [backup-simplify]: Simplify 0 into 0 12.103 * [backup-simplify]: Simplify 0 into 0 12.104 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.104 * [taylor]: Taking taylor expansion of 0 in z 12.104 * [backup-simplify]: Simplify 0 into 0 12.104 * [backup-simplify]: Simplify 0 into 0 12.104 * [backup-simplify]: Simplify 0 into 0 12.104 * [backup-simplify]: Simplify 0 into 0 12.104 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (/ (* x y) z) 12.104 * [backup-simplify]: Simplify (/ (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) into (* -1 (/ z (* x y))) 12.104 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0 12.104 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 12.104 * [taylor]: Taking taylor expansion of -1 in z 12.104 * [backup-simplify]: Simplify -1 into -1 12.104 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 12.104 * [taylor]: Taking taylor expansion of z in z 12.104 * [backup-simplify]: Simplify 0 into 0 12.104 * [backup-simplify]: Simplify 1 into 1 12.104 * [taylor]: Taking taylor expansion of (* x y) in z 12.104 * [taylor]: Taking taylor expansion of x in z 12.104 * [backup-simplify]: Simplify x into x 12.104 * [taylor]: Taking taylor expansion of y in z 12.104 * [backup-simplify]: Simplify y into y 12.104 * [backup-simplify]: Simplify (* x y) into (* x y) 12.104 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 12.104 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 12.104 * [taylor]: Taking taylor expansion of -1 in y 12.104 * [backup-simplify]: Simplify -1 into -1 12.104 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 12.104 * [taylor]: Taking taylor expansion of z in y 12.105 * [backup-simplify]: Simplify z into z 12.105 * [taylor]: Taking taylor expansion of (* x y) in y 12.105 * [taylor]: Taking taylor expansion of x in y 12.105 * [backup-simplify]: Simplify x into x 12.105 * [taylor]: Taking taylor expansion of y in y 12.105 * [backup-simplify]: Simplify 0 into 0 12.105 * [backup-simplify]: Simplify 1 into 1 12.105 * [backup-simplify]: Simplify (* x 0) into 0 12.105 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 12.105 * [backup-simplify]: Simplify (/ z x) into (/ z x) 12.105 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 12.105 * [taylor]: Taking taylor expansion of -1 in x 12.105 * [backup-simplify]: Simplify -1 into -1 12.105 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 12.105 * [taylor]: Taking taylor expansion of z in x 12.105 * [backup-simplify]: Simplify z into z 12.105 * [taylor]: Taking taylor expansion of (* x y) in x 12.105 * [taylor]: Taking taylor expansion of x in x 12.105 * [backup-simplify]: Simplify 0 into 0 12.105 * [backup-simplify]: Simplify 1 into 1 12.105 * [taylor]: Taking taylor expansion of y in x 12.105 * [backup-simplify]: Simplify y into y 12.105 * [backup-simplify]: Simplify (* 0 y) into 0 12.106 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 12.106 * [backup-simplify]: Simplify (/ z y) into (/ z y) 12.106 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 12.106 * [taylor]: Taking taylor expansion of -1 in x 12.106 * [backup-simplify]: Simplify -1 into -1 12.106 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 12.106 * [taylor]: Taking taylor expansion of z in x 12.106 * [backup-simplify]: Simplify z into z 12.106 * [taylor]: Taking taylor expansion of (* x y) in x 12.106 * [taylor]: Taking taylor expansion of x in x 12.106 * [backup-simplify]: Simplify 0 into 0 12.106 * [backup-simplify]: Simplify 1 into 1 12.106 * [taylor]: Taking taylor expansion of y in x 12.106 * [backup-simplify]: Simplify y into y 12.106 * [backup-simplify]: Simplify (* 0 y) into 0 12.106 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 12.106 * [backup-simplify]: Simplify (/ z y) into (/ z y) 12.107 * [backup-simplify]: Simplify (* -1 (/ z y)) into (* -1 (/ z y)) 12.107 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y 12.107 * [taylor]: Taking taylor expansion of -1 in y 12.107 * [backup-simplify]: Simplify -1 into -1 12.107 * [taylor]: Taking taylor expansion of (/ z y) in y 12.107 * [taylor]: Taking taylor expansion of z in y 12.107 * [backup-simplify]: Simplify z into z 12.107 * [taylor]: Taking taylor expansion of y in y 12.107 * [backup-simplify]: Simplify 0 into 0 12.107 * [backup-simplify]: Simplify 1 into 1 12.107 * [backup-simplify]: Simplify (/ z 1) into z 12.107 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 12.107 * [taylor]: Taking taylor expansion of (* -1 z) in z 12.107 * [taylor]: Taking taylor expansion of -1 in z 12.107 * [backup-simplify]: Simplify -1 into -1 12.107 * [taylor]: Taking taylor expansion of z in z 12.107 * [backup-simplify]: Simplify 0 into 0 12.107 * [backup-simplify]: Simplify 1 into 1 12.107 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1 12.107 * [backup-simplify]: Simplify -1 into -1 12.108 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 12.108 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0 12.109 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ z y))) into 0 12.109 * [taylor]: Taking taylor expansion of 0 in y 12.109 * [backup-simplify]: Simplify 0 into 0 12.109 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 12.109 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 z)) into 0 12.109 * [taylor]: Taking taylor expansion of 0 in z 12.109 * [backup-simplify]: Simplify 0 into 0 12.110 * [backup-simplify]: Simplify 0 into 0 12.110 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 12.110 * [backup-simplify]: Simplify 0 into 0 12.111 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 12.111 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 12.112 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z y)))) into 0 12.112 * [taylor]: Taking taylor expansion of 0 in y 12.112 * [backup-simplify]: Simplify 0 into 0 12.112 * [taylor]: Taking taylor expansion of 0 in z 12.112 * [backup-simplify]: Simplify 0 into 0 12.112 * [backup-simplify]: Simplify 0 into 0 12.113 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.113 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0 12.113 * [taylor]: Taking taylor expansion of 0 in z 12.113 * [backup-simplify]: Simplify 0 into 0 12.113 * [backup-simplify]: Simplify 0 into 0 12.113 * [backup-simplify]: Simplify 0 into 0 12.114 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 12.114 * [backup-simplify]: Simplify 0 into 0 12.114 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (/ (* x y) z) 12.114 * * * [progress]: simplifying candidates 12.115 * [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.116 * * [simplify]: Extracting # 0 : cost 0 12.116 * * [simplify]: Extracting # 1 : cost 0 12.116 * * [simplify]: Extracting # 2 : cost 0 12.116 * * [simplify]: Extracting # 3 : cost 0 12.116 * * [simplify]: Extracting # 4 : cost 0 12.117 * * [simplify]: Extracting # 5 : cost 0 12.117 * * [simplify]: Extracting # 6 : cost 0 12.117 * * [simplify]: iteration 0 : 50 enodes (cost 198 ) 12.141 * * [simplify]: Extracting # 0 : cost 0 12.141 * * [simplify]: Extracting # 1 : cost 0 12.142 * * [simplify]: Extracting # 2 : cost 0 12.142 * * [simplify]: iteration 1 : 112 enodes (cost 191 ) 12.210 * * [simplify]: Extracting # 0 : cost 0 12.211 * * [simplify]: Extracting # 1 : cost 0 12.212 * * [simplify]: Extracting # 2 : cost 0 12.212 * * [simplify]: Extracting # 3 : cost 0 12.213 * * [simplify]: Extracting # 4 : cost 0 12.214 * * [simplify]: iteration 2 : 390 enodes (cost 161 ) 12.752 * * [simplify]: Extracting # 0 : cost 0 12.757 * * [simplify]: Extracting # 1 : cost 0 12.760 * * [simplify]: Extracting # 2 : cost 0 12.762 * * [simplify]: Extracting # 3 : cost 0 12.764 * * [simplify]: Extracting # 4 : cost 0 12.771 * * [simplify]: iteration 3 : 1765 enodes (cost 161 ) 16.408 * * [simplify]: Extracting # 0 : cost 0 16.433 * * [simplify]: Extracting # 1 : cost 0 16.438 * * [simplify]: Extracting # 2 : cost 0 16.443 * * [simplify]: Extracting # 3 : cost 0 16.448 * * [simplify]: Extracting # 4 : cost 0 16.453 * * [simplify]: iteration done: 5000 enodes (cost 161 ) 16.453 * [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.454 * * * [progress]: adding candidates to table 16.513 * * [progress]: iteration 3 / 4 16.513 * * * [progress]: picking best candidate 16.536 * * * * [pick]: Picked # 16.536 * * * [progress]: localizing error 16.551 * * * [progress]: generating rewritten candidates 16.552 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2) 16.568 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 16.593 * * * [progress]: generating series expansions 16.594 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2) 16.594 * [backup-simplify]: Simplify (/ z (* x y)) into (/ z (* x y)) 16.594 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (z x y) around 0 16.594 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 16.594 * [taylor]: Taking taylor expansion of z in y 16.594 * [backup-simplify]: Simplify z into z 16.594 * [taylor]: Taking taylor expansion of (* x y) in y 16.594 * [taylor]: Taking taylor expansion of x in y 16.594 * [backup-simplify]: Simplify x into x 16.594 * [taylor]: Taking taylor expansion of y in y 16.594 * [backup-simplify]: Simplify 0 into 0 16.594 * [backup-simplify]: Simplify 1 into 1 16.594 * [backup-simplify]: Simplify (* x 0) into 0 16.595 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 16.595 * [backup-simplify]: Simplify (/ z x) into (/ z x) 16.595 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 16.595 * [taylor]: Taking taylor expansion of z in x 16.595 * [backup-simplify]: Simplify z into z 16.595 * [taylor]: Taking taylor expansion of (* x y) in x 16.595 * [taylor]: Taking taylor expansion of x in x 16.595 * [backup-simplify]: Simplify 0 into 0 16.595 * [backup-simplify]: Simplify 1 into 1 16.595 * [taylor]: Taking taylor expansion of y in x 16.595 * [backup-simplify]: Simplify y into y 16.595 * [backup-simplify]: Simplify (* 0 y) into 0 16.595 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 16.595 * [backup-simplify]: Simplify (/ z y) into (/ z y) 16.595 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 16.595 * [taylor]: Taking taylor expansion of z in z 16.595 * [backup-simplify]: Simplify 0 into 0 16.595 * [backup-simplify]: Simplify 1 into 1 16.595 * [taylor]: Taking taylor expansion of (* x y) in z 16.595 * [taylor]: Taking taylor expansion of x in z 16.595 * [backup-simplify]: Simplify x into x 16.595 * [taylor]: Taking taylor expansion of y in z 16.595 * [backup-simplify]: Simplify y into y 16.595 * [backup-simplify]: Simplify (* x y) into (* x y) 16.596 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 16.596 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 16.596 * [taylor]: Taking taylor expansion of z in z 16.596 * [backup-simplify]: Simplify 0 into 0 16.596 * [backup-simplify]: Simplify 1 into 1 16.596 * [taylor]: Taking taylor expansion of (* x y) in z 16.596 * [taylor]: Taking taylor expansion of x in z 16.596 * [backup-simplify]: Simplify x into x 16.596 * [taylor]: Taking taylor expansion of y in z 16.596 * [backup-simplify]: Simplify y into y 16.596 * [backup-simplify]: Simplify (* x y) into (* x y) 16.596 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 16.596 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 16.596 * [taylor]: Taking taylor expansion of (* x y) in x 16.596 * [taylor]: Taking taylor expansion of x in x 16.596 * [backup-simplify]: Simplify 0 into 0 16.596 * [backup-simplify]: Simplify 1 into 1 16.596 * [taylor]: Taking taylor expansion of y in x 16.596 * [backup-simplify]: Simplify y into y 16.596 * [backup-simplify]: Simplify (* 0 y) into 0 16.597 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 16.597 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 16.597 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.597 * [taylor]: Taking taylor expansion of y in y 16.597 * [backup-simplify]: Simplify 0 into 0 16.597 * [backup-simplify]: Simplify 1 into 1 16.597 * [backup-simplify]: Simplify (/ 1 1) into 1 16.597 * [backup-simplify]: Simplify 1 into 1 16.597 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 16.597 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 16.597 * [taylor]: Taking taylor expansion of 0 in x 16.597 * [backup-simplify]: Simplify 0 into 0 16.598 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 16.598 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 16.598 * [taylor]: Taking taylor expansion of 0 in y 16.598 * [backup-simplify]: Simplify 0 into 0 16.599 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 16.599 * [backup-simplify]: Simplify 0 into 0 16.599 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 16.599 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 16.599 * [taylor]: Taking taylor expansion of 0 in x 16.599 * [backup-simplify]: Simplify 0 into 0 16.599 * [taylor]: Taking taylor expansion of 0 in y 16.599 * [backup-simplify]: Simplify 0 into 0 16.600 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 16.600 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 16.600 * [taylor]: Taking taylor expansion of 0 in y 16.600 * [backup-simplify]: Simplify 0 into 0 16.600 * [backup-simplify]: Simplify 0 into 0 16.601 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.601 * [backup-simplify]: Simplify 0 into 0 16.602 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 16.602 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 16.602 * [taylor]: Taking taylor expansion of 0 in x 16.602 * [backup-simplify]: Simplify 0 into 0 16.602 * [taylor]: Taking taylor expansion of 0 in y 16.602 * [backup-simplify]: Simplify 0 into 0 16.602 * [taylor]: Taking taylor expansion of 0 in y 16.602 * [backup-simplify]: Simplify 0 into 0 16.603 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 16.603 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 16.603 * [taylor]: Taking taylor expansion of 0 in y 16.603 * [backup-simplify]: Simplify 0 into 0 16.604 * [backup-simplify]: Simplify 0 into 0 16.604 * [backup-simplify]: Simplify 0 into 0 16.604 * [backup-simplify]: Simplify 0 into 0 16.604 * [backup-simplify]: Simplify (* 1 (* (/ 1 y) (* (/ 1 x) z))) into (/ z (* x y)) 16.604 * [backup-simplify]: Simplify (/ (/ 1 z) (* (/ 1 x) (/ 1 y))) into (/ (* x y) z) 16.604 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (z x y) around 0 16.604 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 16.604 * [taylor]: Taking taylor expansion of (* x y) in y 16.604 * [taylor]: Taking taylor expansion of x in y 16.604 * [backup-simplify]: Simplify x into x 16.604 * [taylor]: Taking taylor expansion of y in y 16.604 * [backup-simplify]: Simplify 0 into 0 16.604 * [backup-simplify]: Simplify 1 into 1 16.604 * [taylor]: Taking taylor expansion of z in y 16.604 * [backup-simplify]: Simplify z into z 16.604 * [backup-simplify]: Simplify (* x 0) into 0 16.605 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 16.605 * [backup-simplify]: Simplify (/ x z) into (/ x z) 16.605 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 16.605 * [taylor]: Taking taylor expansion of (* x y) in x 16.605 * [taylor]: Taking taylor expansion of x in x 16.605 * [backup-simplify]: Simplify 0 into 0 16.605 * [backup-simplify]: Simplify 1 into 1 16.605 * [taylor]: Taking taylor expansion of y in x 16.605 * [backup-simplify]: Simplify y into y 16.605 * [taylor]: Taking taylor expansion of z in x 16.606 * [backup-simplify]: Simplify z into z 16.606 * [backup-simplify]: Simplify (* 0 y) into 0 16.606 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 16.606 * [backup-simplify]: Simplify (/ y z) into (/ y z) 16.606 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 16.606 * [taylor]: Taking taylor expansion of (* x y) in z 16.606 * [taylor]: Taking taylor expansion of x in z 16.606 * [backup-simplify]: Simplify x into x 16.606 * [taylor]: Taking taylor expansion of y in z 16.606 * [backup-simplify]: Simplify y into y 16.606 * [taylor]: Taking taylor expansion of z in z 16.607 * [backup-simplify]: Simplify 0 into 0 16.607 * [backup-simplify]: Simplify 1 into 1 16.607 * [backup-simplify]: Simplify (* x y) into (* x y) 16.607 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 16.607 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 16.607 * [taylor]: Taking taylor expansion of (* x y) in z 16.607 * [taylor]: Taking taylor expansion of x in z 16.607 * [backup-simplify]: Simplify x into x 16.607 * [taylor]: Taking taylor expansion of y in z 16.607 * [backup-simplify]: Simplify y into y 16.607 * [taylor]: Taking taylor expansion of z in z 16.607 * [backup-simplify]: Simplify 0 into 0 16.607 * [backup-simplify]: Simplify 1 into 1 16.607 * [backup-simplify]: Simplify (* x y) into (* x y) 16.607 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 16.607 * [taylor]: Taking taylor expansion of (* x y) in x 16.607 * [taylor]: Taking taylor expansion of x in x 16.607 * [backup-simplify]: Simplify 0 into 0 16.607 * [backup-simplify]: Simplify 1 into 1 16.607 * [taylor]: Taking taylor expansion of y in x 16.607 * [backup-simplify]: Simplify y into y 16.608 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 16.608 * [taylor]: Taking taylor expansion of y in y 16.608 * [backup-simplify]: Simplify 0 into 0 16.608 * [backup-simplify]: Simplify 1 into 1 16.608 * [backup-simplify]: Simplify 1 into 1 16.608 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 16.609 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0 16.609 * [taylor]: Taking taylor expansion of 0 in x 16.609 * [backup-simplify]: Simplify 0 into 0 16.609 * [taylor]: Taking taylor expansion of 0 in y 16.609 * [backup-simplify]: Simplify 0 into 0 16.610 * [backup-simplify]: Simplify 0 into 0 16.610 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 16.610 * [taylor]: Taking taylor expansion of 0 in y 16.611 * [backup-simplify]: Simplify 0 into 0 16.611 * [backup-simplify]: Simplify 0 into 0 16.611 * [backup-simplify]: Simplify 0 into 0 16.611 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 16.613 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.613 * [taylor]: Taking taylor expansion of 0 in x 16.613 * [backup-simplify]: Simplify 0 into 0 16.613 * [taylor]: Taking taylor expansion of 0 in y 16.613 * [backup-simplify]: Simplify 0 into 0 16.613 * [backup-simplify]: Simplify 0 into 0 16.613 * [taylor]: Taking taylor expansion of 0 in y 16.613 * [backup-simplify]: Simplify 0 into 0 16.613 * [backup-simplify]: Simplify 0 into 0 16.614 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 16.614 * [taylor]: Taking taylor expansion of 0 in y 16.614 * [backup-simplify]: Simplify 0 into 0 16.614 * [backup-simplify]: Simplify 0 into 0 16.615 * [backup-simplify]: Simplify (* 1 (* (/ 1 y) (* (/ 1 x) (/ 1 (/ 1 z))))) into (/ z (* x y)) 16.615 * [backup-simplify]: Simplify (/ (/ 1 (- z)) (* (/ 1 (- x)) (/ 1 (- y)))) into (* -1 (/ (* x y) z)) 16.615 * [approximate]: Taking taylor expansion of (* -1 (/ (* x y) z)) in (z x y) around 0 16.615 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in y 16.615 * [taylor]: Taking taylor expansion of -1 in y 16.615 * [backup-simplify]: Simplify -1 into -1 16.615 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 16.615 * [taylor]: Taking taylor expansion of (* x y) in y 16.615 * [taylor]: Taking taylor expansion of x in y 16.615 * [backup-simplify]: Simplify x into x 16.615 * [taylor]: Taking taylor expansion of y in y 16.615 * [backup-simplify]: Simplify 0 into 0 16.615 * [backup-simplify]: Simplify 1 into 1 16.615 * [taylor]: Taking taylor expansion of z in y 16.615 * [backup-simplify]: Simplify z into z 16.615 * [backup-simplify]: Simplify (* x 0) into 0 16.616 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 16.616 * [backup-simplify]: Simplify (/ x z) into (/ x z) 16.616 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in x 16.616 * [taylor]: Taking taylor expansion of -1 in x 16.616 * [backup-simplify]: Simplify -1 into -1 16.616 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 16.616 * [taylor]: Taking taylor expansion of (* x y) in x 16.616 * [taylor]: Taking taylor expansion of x in x 16.616 * [backup-simplify]: Simplify 0 into 0 16.617 * [backup-simplify]: Simplify 1 into 1 16.617 * [taylor]: Taking taylor expansion of y in x 16.617 * [backup-simplify]: Simplify y into y 16.617 * [taylor]: Taking taylor expansion of z in x 16.617 * [backup-simplify]: Simplify z into z 16.617 * [backup-simplify]: Simplify (* 0 y) into 0 16.617 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 16.617 * [backup-simplify]: Simplify (/ y z) into (/ y z) 16.617 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in z 16.617 * [taylor]: Taking taylor expansion of -1 in z 16.618 * [backup-simplify]: Simplify -1 into -1 16.618 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 16.618 * [taylor]: Taking taylor expansion of (* x y) in z 16.618 * [taylor]: Taking taylor expansion of x in z 16.618 * [backup-simplify]: Simplify x into x 16.618 * [taylor]: Taking taylor expansion of y in z 16.618 * [backup-simplify]: Simplify y into y 16.618 * [taylor]: Taking taylor expansion of z in z 16.618 * [backup-simplify]: Simplify 0 into 0 16.618 * [backup-simplify]: Simplify 1 into 1 16.618 * [backup-simplify]: Simplify (* x y) into (* x y) 16.618 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 16.618 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in z 16.618 * [taylor]: Taking taylor expansion of -1 in z 16.618 * [backup-simplify]: Simplify -1 into -1 16.618 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 16.618 * [taylor]: Taking taylor expansion of (* x y) in z 16.618 * [taylor]: Taking taylor expansion of x in z 16.618 * [backup-simplify]: Simplify x into x 16.618 * [taylor]: Taking taylor expansion of y in z 16.618 * [backup-simplify]: Simplify y into y 16.618 * [taylor]: Taking taylor expansion of z in z 16.618 * [backup-simplify]: Simplify 0 into 0 16.618 * [backup-simplify]: Simplify 1 into 1 16.618 * [backup-simplify]: Simplify (* x y) into (* x y) 16.618 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 16.619 * [backup-simplify]: Simplify (* -1 (* x y)) into (* -1 (* x y)) 16.619 * [taylor]: Taking taylor expansion of (* -1 (* x y)) in x 16.619 * [taylor]: Taking taylor expansion of -1 in x 16.619 * [backup-simplify]: Simplify -1 into -1 16.619 * [taylor]: Taking taylor expansion of (* x y) in x 16.619 * [taylor]: Taking taylor expansion of x in x 16.619 * [backup-simplify]: Simplify 0 into 0 16.619 * [backup-simplify]: Simplify 1 into 1 16.619 * [taylor]: Taking taylor expansion of y in x 16.619 * [backup-simplify]: Simplify y into y 16.620 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 16.620 * [backup-simplify]: Simplify (* 0 y) into 0 16.620 * [backup-simplify]: Simplify (+ (* -1 y) (* 0 0)) into (- y) 16.620 * [taylor]: Taking taylor expansion of (- y) in y 16.620 * [taylor]: Taking taylor expansion of y in y 16.620 * [backup-simplify]: Simplify 0 into 0 16.620 * [backup-simplify]: Simplify 1 into 1 16.621 * [backup-simplify]: Simplify (- 1) into -1 16.621 * [backup-simplify]: Simplify -1 into -1 16.621 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 16.622 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0 16.623 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (* x y))) into 0 16.623 * [taylor]: Taking taylor expansion of 0 in x 16.623 * [backup-simplify]: Simplify 0 into 0 16.623 * [taylor]: Taking taylor expansion of 0 in y 16.623 * [backup-simplify]: Simplify 0 into 0 16.623 * [backup-simplify]: Simplify 0 into 0 16.624 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 16.625 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 y) (* 0 0))) into 0 16.625 * [taylor]: Taking taylor expansion of 0 in y 16.625 * [backup-simplify]: Simplify 0 into 0 16.625 * [backup-simplify]: Simplify 0 into 0 16.625 * [backup-simplify]: Simplify (- 0) into 0 16.625 * [backup-simplify]: Simplify 0 into 0 16.626 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 16.627 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.628 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (* x y)))) into 0 16.628 * [taylor]: Taking taylor expansion of 0 in x 16.628 * [backup-simplify]: Simplify 0 into 0 16.628 * [taylor]: Taking taylor expansion of 0 in y 16.628 * [backup-simplify]: Simplify 0 into 0 16.628 * [backup-simplify]: Simplify 0 into 0 16.628 * [taylor]: Taking taylor expansion of 0 in y 16.628 * [backup-simplify]: Simplify 0 into 0 16.628 * [backup-simplify]: Simplify 0 into 0 16.630 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 16.631 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 16.631 * [taylor]: Taking taylor expansion of 0 in y 16.631 * [backup-simplify]: Simplify 0 into 0 16.631 * [backup-simplify]: Simplify 0 into 0 16.631 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- y)) (* (/ 1 (- x)) (/ 1 (/ 1 (- z)))))) into (/ z (* x y)) 16.631 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 16.632 * [backup-simplify]: Simplify (/ 1 (/ z (* x y))) into (/ (* x y) z) 16.632 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (z x y) around 0 16.632 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 16.632 * [taylor]: Taking taylor expansion of (* x y) in y 16.632 * [taylor]: Taking taylor expansion of x in y 16.632 * [backup-simplify]: Simplify x into x 16.632 * [taylor]: Taking taylor expansion of y in y 16.632 * [backup-simplify]: Simplify 0 into 0 16.632 * [backup-simplify]: Simplify 1 into 1 16.632 * [taylor]: Taking taylor expansion of z in y 16.632 * [backup-simplify]: Simplify z into z 16.632 * [backup-simplify]: Simplify (* x 0) into 0 16.633 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 16.633 * [backup-simplify]: Simplify (/ x z) into (/ x z) 16.633 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 16.633 * [taylor]: Taking taylor expansion of (* x y) in x 16.633 * [taylor]: Taking taylor expansion of x in x 16.633 * [backup-simplify]: Simplify 0 into 0 16.633 * [backup-simplify]: Simplify 1 into 1 16.633 * [taylor]: Taking taylor expansion of y in x 16.633 * [backup-simplify]: Simplify y into y 16.633 * [taylor]: Taking taylor expansion of z in x 16.633 * [backup-simplify]: Simplify z into z 16.633 * [backup-simplify]: Simplify (* 0 y) into 0 16.634 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 16.634 * [backup-simplify]: Simplify (/ y z) into (/ y z) 16.634 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 16.634 * [taylor]: Taking taylor expansion of (* x y) in z 16.634 * [taylor]: Taking taylor expansion of x in z 16.634 * [backup-simplify]: Simplify x into x 16.634 * [taylor]: Taking taylor expansion of y in z 16.634 * [backup-simplify]: Simplify y into y 16.634 * [taylor]: Taking taylor expansion of z in z 16.634 * [backup-simplify]: Simplify 0 into 0 16.634 * [backup-simplify]: Simplify 1 into 1 16.634 * [backup-simplify]: Simplify (* x y) into (* x y) 16.634 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 16.634 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 16.634 * [taylor]: Taking taylor expansion of (* x y) in z 16.634 * [taylor]: Taking taylor expansion of x in z 16.634 * [backup-simplify]: Simplify x into x 16.634 * [taylor]: Taking taylor expansion of y in z 16.634 * [backup-simplify]: Simplify y into y 16.634 * [taylor]: Taking taylor expansion of z in z 16.634 * [backup-simplify]: Simplify 0 into 0 16.634 * [backup-simplify]: Simplify 1 into 1 16.634 * [backup-simplify]: Simplify (* x y) into (* x y) 16.634 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 16.635 * [taylor]: Taking taylor expansion of (* x y) in x 16.635 * [taylor]: Taking taylor expansion of x in x 16.635 * [backup-simplify]: Simplify 0 into 0 16.635 * [backup-simplify]: Simplify 1 into 1 16.635 * [taylor]: Taking taylor expansion of y in x 16.635 * [backup-simplify]: Simplify y into y 16.636 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 16.636 * [taylor]: Taking taylor expansion of y in y 16.636 * [backup-simplify]: Simplify 0 into 0 16.636 * [backup-simplify]: Simplify 1 into 1 16.636 * [backup-simplify]: Simplify 1 into 1 16.636 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 16.637 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0 16.637 * [taylor]: Taking taylor expansion of 0 in x 16.637 * [backup-simplify]: Simplify 0 into 0 16.637 * [taylor]: Taking taylor expansion of 0 in y 16.637 * [backup-simplify]: Simplify 0 into 0 16.637 * [backup-simplify]: Simplify 0 into 0 16.638 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 16.638 * [taylor]: Taking taylor expansion of 0 in y 16.639 * [backup-simplify]: Simplify 0 into 0 16.639 * [backup-simplify]: Simplify 0 into 0 16.639 * [backup-simplify]: Simplify 0 into 0 16.639 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 16.641 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.641 * [taylor]: Taking taylor expansion of 0 in x 16.641 * [backup-simplify]: Simplify 0 into 0 16.641 * [taylor]: Taking taylor expansion of 0 in y 16.641 * [backup-simplify]: Simplify 0 into 0 16.641 * [backup-simplify]: Simplify 0 into 0 16.641 * [taylor]: Taking taylor expansion of 0 in y 16.641 * [backup-simplify]: Simplify 0 into 0 16.641 * [backup-simplify]: Simplify 0 into 0 16.643 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 16.643 * [taylor]: Taking taylor expansion of 0 in y 16.643 * [backup-simplify]: Simplify 0 into 0 16.643 * [backup-simplify]: Simplify 0 into 0 16.643 * [backup-simplify]: Simplify (* 1 (* y (* x (/ 1 z)))) into (/ (* x y) z) 16.644 * [backup-simplify]: Simplify (/ 1 (/ (/ 1 z) (* (/ 1 x) (/ 1 y)))) into (/ z (* x y)) 16.644 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (z x y) around 0 16.644 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 16.644 * [taylor]: Taking taylor expansion of z in y 16.644 * [backup-simplify]: Simplify z into z 16.644 * [taylor]: Taking taylor expansion of (* x y) in y 16.644 * [taylor]: Taking taylor expansion of x in y 16.644 * [backup-simplify]: Simplify x into x 16.644 * [taylor]: Taking taylor expansion of y in y 16.644 * [backup-simplify]: Simplify 0 into 0 16.644 * [backup-simplify]: Simplify 1 into 1 16.644 * [backup-simplify]: Simplify (* x 0) into 0 16.645 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 16.646 * [backup-simplify]: Simplify (/ z x) into (/ z x) 16.646 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 16.646 * [taylor]: Taking taylor expansion of z in x 16.646 * [backup-simplify]: Simplify z into z 16.646 * [taylor]: Taking taylor expansion of (* x y) in x 16.646 * [taylor]: Taking taylor expansion of x in x 16.646 * [backup-simplify]: Simplify 0 into 0 16.646 * [backup-simplify]: Simplify 1 into 1 16.646 * [taylor]: Taking taylor expansion of y in x 16.646 * [backup-simplify]: Simplify y into y 16.646 * [backup-simplify]: Simplify (* 0 y) into 0 16.647 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 16.647 * [backup-simplify]: Simplify (/ z y) into (/ z y) 16.647 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 16.647 * [taylor]: Taking taylor expansion of z in z 16.647 * [backup-simplify]: Simplify 0 into 0 16.647 * [backup-simplify]: Simplify 1 into 1 16.647 * [taylor]: Taking taylor expansion of (* x y) in z 16.647 * [taylor]: Taking taylor expansion of x in z 16.647 * [backup-simplify]: Simplify x into x 16.647 * [taylor]: Taking taylor expansion of y in z 16.647 * [backup-simplify]: Simplify y into y 16.647 * [backup-simplify]: Simplify (* x y) into (* x y) 16.648 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 16.648 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 16.648 * [taylor]: Taking taylor expansion of z in z 16.648 * [backup-simplify]: Simplify 0 into 0 16.648 * [backup-simplify]: Simplify 1 into 1 16.648 * [taylor]: Taking taylor expansion of (* x y) in z 16.648 * [taylor]: Taking taylor expansion of x in z 16.648 * [backup-simplify]: Simplify x into x 16.648 * [taylor]: Taking taylor expansion of y in z 16.648 * [backup-simplify]: Simplify y into y 16.648 * [backup-simplify]: Simplify (* x y) into (* x y) 16.648 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 16.648 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 16.648 * [taylor]: Taking taylor expansion of (* x y) in x 16.648 * [taylor]: Taking taylor expansion of x in x 16.648 * [backup-simplify]: Simplify 0 into 0 16.648 * [backup-simplify]: Simplify 1 into 1 16.648 * [taylor]: Taking taylor expansion of y in x 16.648 * [backup-simplify]: Simplify y into y 16.648 * [backup-simplify]: Simplify (* 0 y) into 0 16.649 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 16.649 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 16.649 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.650 * [taylor]: Taking taylor expansion of y in y 16.650 * [backup-simplify]: Simplify 0 into 0 16.650 * [backup-simplify]: Simplify 1 into 1 16.650 * [backup-simplify]: Simplify (/ 1 1) into 1 16.650 * [backup-simplify]: Simplify 1 into 1 16.650 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 16.651 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 16.651 * [taylor]: Taking taylor expansion of 0 in x 16.651 * [backup-simplify]: Simplify 0 into 0 16.652 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 16.652 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 16.652 * [taylor]: Taking taylor expansion of 0 in y 16.652 * [backup-simplify]: Simplify 0 into 0 16.653 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 16.653 * [backup-simplify]: Simplify 0 into 0 16.654 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 16.654 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 16.654 * [taylor]: Taking taylor expansion of 0 in x 16.654 * [backup-simplify]: Simplify 0 into 0 16.654 * [taylor]: Taking taylor expansion of 0 in y 16.654 * [backup-simplify]: Simplify 0 into 0 16.656 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 16.656 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 16.656 * [taylor]: Taking taylor expansion of 0 in y 16.656 * [backup-simplify]: Simplify 0 into 0 16.656 * [backup-simplify]: Simplify 0 into 0 16.657 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.657 * [backup-simplify]: Simplify 0 into 0 16.658 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 16.659 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 16.659 * [taylor]: Taking taylor expansion of 0 in x 16.659 * [backup-simplify]: Simplify 0 into 0 16.659 * [taylor]: Taking taylor expansion of 0 in y 16.659 * [backup-simplify]: Simplify 0 into 0 16.659 * [taylor]: Taking taylor expansion of 0 in y 16.659 * [backup-simplify]: Simplify 0 into 0 16.661 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 16.661 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 16.661 * [taylor]: Taking taylor expansion of 0 in y 16.661 * [backup-simplify]: Simplify 0 into 0 16.661 * [backup-simplify]: Simplify 0 into 0 16.661 * [backup-simplify]: Simplify 0 into 0 16.661 * [backup-simplify]: Simplify 0 into 0 16.662 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 x)) (/ 1 z)))) into (/ (* x y) z) 16.662 * [backup-simplify]: Simplify (/ 1 (/ (/ 1 (- z)) (* (/ 1 (- x)) (/ 1 (- y))))) into (* -1 (/ z (* x y))) 16.662 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (z x y) around 0 16.662 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 16.662 * [taylor]: Taking taylor expansion of -1 in y 16.662 * [backup-simplify]: Simplify -1 into -1 16.662 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 16.662 * [taylor]: Taking taylor expansion of z in y 16.662 * [backup-simplify]: Simplify z into z 16.662 * [taylor]: Taking taylor expansion of (* x y) in y 16.662 * [taylor]: Taking taylor expansion of x in y 16.662 * [backup-simplify]: Simplify x into x 16.662 * [taylor]: Taking taylor expansion of y in y 16.662 * [backup-simplify]: Simplify 0 into 0 16.662 * [backup-simplify]: Simplify 1 into 1 16.662 * [backup-simplify]: Simplify (* x 0) into 0 16.663 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 16.663 * [backup-simplify]: Simplify (/ z x) into (/ z x) 16.663 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 16.663 * [taylor]: Taking taylor expansion of -1 in x 16.663 * [backup-simplify]: Simplify -1 into -1 16.663 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 16.663 * [taylor]: Taking taylor expansion of z in x 16.664 * [backup-simplify]: Simplify z into z 16.664 * [taylor]: Taking taylor expansion of (* x y) in x 16.664 * [taylor]: Taking taylor expansion of x in x 16.664 * [backup-simplify]: Simplify 0 into 0 16.664 * [backup-simplify]: Simplify 1 into 1 16.664 * [taylor]: Taking taylor expansion of y in x 16.664 * [backup-simplify]: Simplify y into y 16.664 * [backup-simplify]: Simplify (* 0 y) into 0 16.664 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 16.665 * [backup-simplify]: Simplify (/ z y) into (/ z y) 16.665 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 16.665 * [taylor]: Taking taylor expansion of -1 in z 16.665 * [backup-simplify]: Simplify -1 into -1 16.665 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 16.665 * [taylor]: Taking taylor expansion of z in z 16.665 * [backup-simplify]: Simplify 0 into 0 16.665 * [backup-simplify]: Simplify 1 into 1 16.665 * [taylor]: Taking taylor expansion of (* x y) in z 16.665 * [taylor]: Taking taylor expansion of x in z 16.665 * [backup-simplify]: Simplify x into x 16.665 * [taylor]: Taking taylor expansion of y in z 16.665 * [backup-simplify]: Simplify y into y 16.665 * [backup-simplify]: Simplify (* x y) into (* x y) 16.665 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 16.665 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 16.665 * [taylor]: Taking taylor expansion of -1 in z 16.665 * [backup-simplify]: Simplify -1 into -1 16.665 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 16.665 * [taylor]: Taking taylor expansion of z in z 16.665 * [backup-simplify]: Simplify 0 into 0 16.665 * [backup-simplify]: Simplify 1 into 1 16.665 * [taylor]: Taking taylor expansion of (* x y) in z 16.665 * [taylor]: Taking taylor expansion of x in z 16.665 * [backup-simplify]: Simplify x into x 16.665 * [taylor]: Taking taylor expansion of y in z 16.665 * [backup-simplify]: Simplify y into y 16.665 * [backup-simplify]: Simplify (* x y) into (* x y) 16.666 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 16.666 * [backup-simplify]: Simplify (* -1 (/ 1 (* x y))) into (/ -1 (* x y)) 16.666 * [taylor]: Taking taylor expansion of (/ -1 (* x y)) in x 16.666 * [taylor]: Taking taylor expansion of -1 in x 16.666 * [backup-simplify]: Simplify -1 into -1 16.666 * [taylor]: Taking taylor expansion of (* x y) in x 16.666 * [taylor]: Taking taylor expansion of x in x 16.666 * [backup-simplify]: Simplify 0 into 0 16.666 * [backup-simplify]: Simplify 1 into 1 16.666 * [taylor]: Taking taylor expansion of y in x 16.666 * [backup-simplify]: Simplify y into y 16.666 * [backup-simplify]: Simplify (* 0 y) into 0 16.667 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 16.667 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 16.667 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.667 * [taylor]: Taking taylor expansion of -1 in y 16.667 * [backup-simplify]: Simplify -1 into -1 16.667 * [taylor]: Taking taylor expansion of y in y 16.667 * [backup-simplify]: Simplify 0 into 0 16.667 * [backup-simplify]: Simplify 1 into 1 16.668 * [backup-simplify]: Simplify (/ -1 1) into -1 16.668 * [backup-simplify]: Simplify -1 into -1 16.668 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 16.668 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 16.669 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 (* x y)))) into 0 16.669 * [taylor]: Taking taylor expansion of 0 in x 16.669 * [backup-simplify]: Simplify 0 into 0 16.670 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 16.670 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 16.670 * [taylor]: Taking taylor expansion of 0 in y 16.670 * [backup-simplify]: Simplify 0 into 0 16.671 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 16.671 * [backup-simplify]: Simplify 0 into 0 16.672 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 16.672 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 16.674 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (* x y))))) into 0 16.674 * [taylor]: Taking taylor expansion of 0 in x 16.674 * [backup-simplify]: Simplify 0 into 0 16.674 * [taylor]: Taking taylor expansion of 0 in y 16.674 * [backup-simplify]: Simplify 0 into 0 16.675 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 16.675 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 16.676 * [taylor]: Taking taylor expansion of 0 in y 16.676 * [backup-simplify]: Simplify 0 into 0 16.676 * [backup-simplify]: Simplify 0 into 0 16.677 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.677 * [backup-simplify]: Simplify 0 into 0 16.678 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 16.678 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 16.680 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* x y)))))) into 0 16.680 * [taylor]: Taking taylor expansion of 0 in x 16.680 * [backup-simplify]: Simplify 0 into 0 16.680 * [taylor]: Taking taylor expansion of 0 in y 16.680 * [backup-simplify]: Simplify 0 into 0 16.680 * [taylor]: Taking taylor expansion of 0 in y 16.680 * [backup-simplify]: Simplify 0 into 0 16.682 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 16.682 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 16.682 * [taylor]: Taking taylor expansion of 0 in y 16.682 * [backup-simplify]: Simplify 0 into 0 16.682 * [backup-simplify]: Simplify 0 into 0 16.682 * [backup-simplify]: Simplify 0 into 0 16.682 * [backup-simplify]: Simplify 0 into 0 16.683 * [backup-simplify]: Simplify (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- x))) (/ 1 (- z))))) into (/ (* x y) z) 16.683 * * * [progress]: simplifying candidates 16.685 * [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.688 * * [simplify]: Extracting # 0 : cost 0 16.688 * * [simplify]: Extracting # 1 : cost 0 16.689 * * [simplify]: Extracting # 2 : cost 0 16.689 * * [simplify]: Extracting # 3 : cost 0 16.689 * * [simplify]: Extracting # 4 : cost 0 16.689 * * [simplify]: Extracting # 5 : cost 0 16.690 * * [simplify]: Extracting # 6 : cost 0 16.690 * * [simplify]: Extracting # 7 : cost 0 16.690 * * [simplify]: iteration 0 : 122 enodes (cost 894 ) 16.758 * * [simplify]: Extracting # 0 : cost 0 16.759 * * [simplify]: Extracting # 1 : cost 0 16.759 * * [simplify]: Extracting # 2 : cost 0 16.759 * * [simplify]: iteration 1 : 261 enodes (cost 763 ) 16.853 * * [simplify]: Extracting # 0 : cost 0 16.854 * * [simplify]: Extracting # 1 : cost 0 16.855 * * [simplify]: Extracting # 2 : cost 0 16.856 * * [simplify]: Extracting # 3 : cost 0 16.856 * * [simplify]: Extracting # 4 : cost 0 16.857 * * [simplify]: Extracting # 5 : cost 0 16.857 * * [simplify]: iteration 2 : 661 enodes (cost 631 ) 18.394 * * [simplify]: Extracting # 0 : cost 0 18.400 * * [simplify]: Extracting # 1 : cost 0 18.404 * * [simplify]: Extracting # 2 : cost 0 18.407 * * [simplify]: Extracting # 3 : cost 0 18.412 * * [simplify]: Extracting # 4 : cost 0 18.415 * * [simplify]: Extracting # 5 : cost 0 18.418 * * [simplify]: iteration 3 : 3116 enodes (cost 613 ) 20.034 * * [simplify]: Extracting # 0 : cost 0 20.046 * * [simplify]: Extracting # 1 : cost 0 20.052 * * [simplify]: Extracting # 2 : cost 0 20.057 * * [simplify]: iteration done: 5001 enodes (cost 613 ) 20.058 * [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.059 * * * [progress]: adding candidates to table 20.244 * * [progress]: iteration 4 / 4 20.244 * * * [progress]: picking best candidate 20.264 * * * * [pick]: Picked # 20.264 * * * [progress]: localizing error 20.282 * * * [progress]: generating rewritten candidates 20.282 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2) 20.290 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 20.318 * * * [progress]: generating series expansions 20.318 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2) 20.318 * [backup-simplify]: Simplify (/ z (* x y)) into (/ z (* x y)) 20.318 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (z x y) around 0 20.318 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 20.318 * [taylor]: Taking taylor expansion of z in y 20.318 * [backup-simplify]: Simplify z into z 20.318 * [taylor]: Taking taylor expansion of (* x y) in y 20.318 * [taylor]: Taking taylor expansion of x in y 20.319 * [backup-simplify]: Simplify x into x 20.319 * [taylor]: Taking taylor expansion of y in y 20.319 * [backup-simplify]: Simplify 0 into 0 20.319 * [backup-simplify]: Simplify 1 into 1 20.319 * [backup-simplify]: Simplify (* x 0) into 0 20.320 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 20.320 * [backup-simplify]: Simplify (/ z x) into (/ z x) 20.320 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 20.320 * [taylor]: Taking taylor expansion of z in x 20.320 * [backup-simplify]: Simplify z into z 20.320 * [taylor]: Taking taylor expansion of (* x y) in x 20.320 * [taylor]: Taking taylor expansion of x in x 20.320 * [backup-simplify]: Simplify 0 into 0 20.320 * [backup-simplify]: Simplify 1 into 1 20.320 * [taylor]: Taking taylor expansion of y in x 20.320 * [backup-simplify]: Simplify y into y 20.320 * [backup-simplify]: Simplify (* 0 y) into 0 20.321 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 20.321 * [backup-simplify]: Simplify (/ z y) into (/ z y) 20.321 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 20.321 * [taylor]: Taking taylor expansion of z in z 20.321 * [backup-simplify]: Simplify 0 into 0 20.321 * [backup-simplify]: Simplify 1 into 1 20.321 * [taylor]: Taking taylor expansion of (* x y) in z 20.321 * [taylor]: Taking taylor expansion of x in z 20.321 * [backup-simplify]: Simplify x into x 20.321 * [taylor]: Taking taylor expansion of y in z 20.321 * [backup-simplify]: Simplify y into y 20.321 * [backup-simplify]: Simplify (* x y) into (* x y) 20.321 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 20.321 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 20.321 * [taylor]: Taking taylor expansion of z in z 20.321 * [backup-simplify]: Simplify 0 into 0 20.321 * [backup-simplify]: Simplify 1 into 1 20.321 * [taylor]: Taking taylor expansion of (* x y) in z 20.321 * [taylor]: Taking taylor expansion of x in z 20.321 * [backup-simplify]: Simplify x into x 20.321 * [taylor]: Taking taylor expansion of y in z 20.322 * [backup-simplify]: Simplify y into y 20.322 * [backup-simplify]: Simplify (* x y) into (* x y) 20.322 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 20.322 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 20.322 * [taylor]: Taking taylor expansion of (* x y) in x 20.322 * [taylor]: Taking taylor expansion of x in x 20.322 * [backup-simplify]: Simplify 0 into 0 20.322 * [backup-simplify]: Simplify 1 into 1 20.322 * [taylor]: Taking taylor expansion of y in x 20.322 * [backup-simplify]: Simplify y into y 20.322 * [backup-simplify]: Simplify (* 0 y) into 0 20.323 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 20.323 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 20.323 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.323 * [taylor]: Taking taylor expansion of y in y 20.323 * [backup-simplify]: Simplify 0 into 0 20.323 * [backup-simplify]: Simplify 1 into 1 20.324 * [backup-simplify]: Simplify (/ 1 1) into 1 20.324 * [backup-simplify]: Simplify 1 into 1 20.324 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 20.324 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 20.324 * [taylor]: Taking taylor expansion of 0 in x 20.324 * [backup-simplify]: Simplify 0 into 0 20.334 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 20.334 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 20.334 * [taylor]: Taking taylor expansion of 0 in y 20.334 * [backup-simplify]: Simplify 0 into 0 20.335 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 20.335 * [backup-simplify]: Simplify 0 into 0 20.335 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 20.336 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 20.336 * [taylor]: Taking taylor expansion of 0 in x 20.336 * [backup-simplify]: Simplify 0 into 0 20.336 * [taylor]: Taking taylor expansion of 0 in y 20.336 * [backup-simplify]: Simplify 0 into 0 20.337 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 20.338 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 20.338 * [taylor]: Taking taylor expansion of 0 in y 20.338 * [backup-simplify]: Simplify 0 into 0 20.338 * [backup-simplify]: Simplify 0 into 0 20.339 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.339 * [backup-simplify]: Simplify 0 into 0 20.340 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 20.340 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 20.340 * [taylor]: Taking taylor expansion of 0 in x 20.340 * [backup-simplify]: Simplify 0 into 0 20.340 * [taylor]: Taking taylor expansion of 0 in y 20.340 * [backup-simplify]: Simplify 0 into 0 20.340 * [taylor]: Taking taylor expansion of 0 in y 20.340 * [backup-simplify]: Simplify 0 into 0 20.342 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 20.343 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 20.343 * [taylor]: Taking taylor expansion of 0 in y 20.343 * [backup-simplify]: Simplify 0 into 0 20.343 * [backup-simplify]: Simplify 0 into 0 20.343 * [backup-simplify]: Simplify 0 into 0 20.343 * [backup-simplify]: Simplify 0 into 0 20.343 * [backup-simplify]: Simplify (* 1 (* (/ 1 y) (* (/ 1 x) z))) into (/ z (* x y)) 20.343 * [backup-simplify]: Simplify (/ (/ 1 z) (* (/ 1 x) (/ 1 y))) into (/ (* x y) z) 20.343 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (z x y) around 0 20.343 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 20.343 * [taylor]: Taking taylor expansion of (* x y) in y 20.344 * [taylor]: Taking taylor expansion of x in y 20.344 * [backup-simplify]: Simplify x into x 20.344 * [taylor]: Taking taylor expansion of y in y 20.344 * [backup-simplify]: Simplify 0 into 0 20.344 * [backup-simplify]: Simplify 1 into 1 20.344 * [taylor]: Taking taylor expansion of z in y 20.344 * [backup-simplify]: Simplify z into z 20.344 * [backup-simplify]: Simplify (* x 0) into 0 20.344 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 20.344 * [backup-simplify]: Simplify (/ x z) into (/ x z) 20.344 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 20.345 * [taylor]: Taking taylor expansion of (* x y) in x 20.345 * [taylor]: Taking taylor expansion of x in x 20.345 * [backup-simplify]: Simplify 0 into 0 20.345 * [backup-simplify]: Simplify 1 into 1 20.345 * [taylor]: Taking taylor expansion of y in x 20.345 * [backup-simplify]: Simplify y into y 20.345 * [taylor]: Taking taylor expansion of z in x 20.345 * [backup-simplify]: Simplify z into z 20.345 * [backup-simplify]: Simplify (* 0 y) into 0 20.345 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 20.345 * [backup-simplify]: Simplify (/ y z) into (/ y z) 20.345 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 20.345 * [taylor]: Taking taylor expansion of (* x y) in z 20.345 * [taylor]: Taking taylor expansion of x in z 20.345 * [backup-simplify]: Simplify x into x 20.346 * [taylor]: Taking taylor expansion of y in z 20.346 * [backup-simplify]: Simplify y into y 20.346 * [taylor]: Taking taylor expansion of z in z 20.346 * [backup-simplify]: Simplify 0 into 0 20.346 * [backup-simplify]: Simplify 1 into 1 20.346 * [backup-simplify]: Simplify (* x y) into (* x y) 20.346 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 20.346 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 20.346 * [taylor]: Taking taylor expansion of (* x y) in z 20.346 * [taylor]: Taking taylor expansion of x in z 20.346 * [backup-simplify]: Simplify x into x 20.346 * [taylor]: Taking taylor expansion of y in z 20.346 * [backup-simplify]: Simplify y into y 20.346 * [taylor]: Taking taylor expansion of z in z 20.346 * [backup-simplify]: Simplify 0 into 0 20.346 * [backup-simplify]: Simplify 1 into 1 20.346 * [backup-simplify]: Simplify (* x y) into (* x y) 20.346 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 20.346 * [taylor]: Taking taylor expansion of (* x y) in x 20.346 * [taylor]: Taking taylor expansion of x in x 20.346 * [backup-simplify]: Simplify 0 into 0 20.346 * [backup-simplify]: Simplify 1 into 1 20.346 * [taylor]: Taking taylor expansion of y in x 20.346 * [backup-simplify]: Simplify y into y 20.347 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 20.347 * [taylor]: Taking taylor expansion of y in y 20.347 * [backup-simplify]: Simplify 0 into 0 20.347 * [backup-simplify]: Simplify 1 into 1 20.347 * [backup-simplify]: Simplify 1 into 1 20.347 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 20.348 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0 20.348 * [taylor]: Taking taylor expansion of 0 in x 20.348 * [backup-simplify]: Simplify 0 into 0 20.348 * [taylor]: Taking taylor expansion of 0 in y 20.348 * [backup-simplify]: Simplify 0 into 0 20.348 * [backup-simplify]: Simplify 0 into 0 20.348 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 20.348 * [taylor]: Taking taylor expansion of 0 in y 20.348 * [backup-simplify]: Simplify 0 into 0 20.348 * [backup-simplify]: Simplify 0 into 0 20.349 * [backup-simplify]: Simplify 0 into 0 20.349 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 20.350 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.350 * [taylor]: Taking taylor expansion of 0 in x 20.350 * [backup-simplify]: Simplify 0 into 0 20.350 * [taylor]: Taking taylor expansion of 0 in y 20.350 * [backup-simplify]: Simplify 0 into 0 20.350 * [backup-simplify]: Simplify 0 into 0 20.350 * [taylor]: Taking taylor expansion of 0 in y 20.350 * [backup-simplify]: Simplify 0 into 0 20.350 * [backup-simplify]: Simplify 0 into 0 20.351 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 20.351 * [taylor]: Taking taylor expansion of 0 in y 20.351 * [backup-simplify]: Simplify 0 into 0 20.351 * [backup-simplify]: Simplify 0 into 0 20.351 * [backup-simplify]: Simplify (* 1 (* (/ 1 y) (* (/ 1 x) (/ 1 (/ 1 z))))) into (/ z (* x y)) 20.351 * [backup-simplify]: Simplify (/ (/ 1 (- z)) (* (/ 1 (- x)) (/ 1 (- y)))) into (* -1 (/ (* x y) z)) 20.351 * [approximate]: Taking taylor expansion of (* -1 (/ (* x y) z)) in (z x y) around 0 20.351 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in y 20.351 * [taylor]: Taking taylor expansion of -1 in y 20.351 * [backup-simplify]: Simplify -1 into -1 20.351 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 20.351 * [taylor]: Taking taylor expansion of (* x y) in y 20.351 * [taylor]: Taking taylor expansion of x in y 20.351 * [backup-simplify]: Simplify x into x 20.351 * [taylor]: Taking taylor expansion of y in y 20.351 * [backup-simplify]: Simplify 0 into 0 20.351 * [backup-simplify]: Simplify 1 into 1 20.351 * [taylor]: Taking taylor expansion of z in y 20.351 * [backup-simplify]: Simplify z into z 20.351 * [backup-simplify]: Simplify (* x 0) into 0 20.352 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 20.352 * [backup-simplify]: Simplify (/ x z) into (/ x z) 20.352 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in x 20.352 * [taylor]: Taking taylor expansion of -1 in x 20.352 * [backup-simplify]: Simplify -1 into -1 20.352 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 20.352 * [taylor]: Taking taylor expansion of (* x y) in x 20.352 * [taylor]: Taking taylor expansion of x in x 20.352 * [backup-simplify]: Simplify 0 into 0 20.352 * [backup-simplify]: Simplify 1 into 1 20.352 * [taylor]: Taking taylor expansion of y in x 20.352 * [backup-simplify]: Simplify y into y 20.352 * [taylor]: Taking taylor expansion of z in x 20.352 * [backup-simplify]: Simplify z into z 20.352 * [backup-simplify]: Simplify (* 0 y) into 0 20.352 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 20.352 * [backup-simplify]: Simplify (/ y z) into (/ y z) 20.352 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in z 20.352 * [taylor]: Taking taylor expansion of -1 in z 20.352 * [backup-simplify]: Simplify -1 into -1 20.352 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 20.352 * [taylor]: Taking taylor expansion of (* x y) in z 20.352 * [taylor]: Taking taylor expansion of x in z 20.353 * [backup-simplify]: Simplify x into x 20.353 * [taylor]: Taking taylor expansion of y in z 20.353 * [backup-simplify]: Simplify y into y 20.353 * [taylor]: Taking taylor expansion of z in z 20.353 * [backup-simplify]: Simplify 0 into 0 20.353 * [backup-simplify]: Simplify 1 into 1 20.353 * [backup-simplify]: Simplify (* x y) into (* x y) 20.353 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 20.353 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in z 20.353 * [taylor]: Taking taylor expansion of -1 in z 20.353 * [backup-simplify]: Simplify -1 into -1 20.353 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 20.353 * [taylor]: Taking taylor expansion of (* x y) in z 20.353 * [taylor]: Taking taylor expansion of x in z 20.353 * [backup-simplify]: Simplify x into x 20.353 * [taylor]: Taking taylor expansion of y in z 20.353 * [backup-simplify]: Simplify y into y 20.353 * [taylor]: Taking taylor expansion of z in z 20.353 * [backup-simplify]: Simplify 0 into 0 20.353 * [backup-simplify]: Simplify 1 into 1 20.353 * [backup-simplify]: Simplify (* x y) into (* x y) 20.353 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 20.353 * [backup-simplify]: Simplify (* -1 (* x y)) into (* -1 (* x y)) 20.353 * [taylor]: Taking taylor expansion of (* -1 (* x y)) in x 20.353 * [taylor]: Taking taylor expansion of -1 in x 20.353 * [backup-simplify]: Simplify -1 into -1 20.353 * [taylor]: Taking taylor expansion of (* x y) in x 20.353 * [taylor]: Taking taylor expansion of x in x 20.353 * [backup-simplify]: Simplify 0 into 0 20.353 * [backup-simplify]: Simplify 1 into 1 20.353 * [taylor]: Taking taylor expansion of y in x 20.353 * [backup-simplify]: Simplify y into y 20.354 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 20.354 * [backup-simplify]: Simplify (* 0 y) into 0 20.354 * [backup-simplify]: Simplify (+ (* -1 y) (* 0 0)) into (- y) 20.354 * [taylor]: Taking taylor expansion of (- y) in y 20.354 * [taylor]: Taking taylor expansion of y in y 20.354 * [backup-simplify]: Simplify 0 into 0 20.354 * [backup-simplify]: Simplify 1 into 1 20.354 * [backup-simplify]: Simplify (- 1) into -1 20.354 * [backup-simplify]: Simplify -1 into -1 20.354 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 20.355 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0 20.355 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (* x y))) into 0 20.355 * [taylor]: Taking taylor expansion of 0 in x 20.355 * [backup-simplify]: Simplify 0 into 0 20.355 * [taylor]: Taking taylor expansion of 0 in y 20.355 * [backup-simplify]: Simplify 0 into 0 20.355 * [backup-simplify]: Simplify 0 into 0 20.356 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 20.356 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 y) (* 0 0))) into 0 20.357 * [taylor]: Taking taylor expansion of 0 in y 20.357 * [backup-simplify]: Simplify 0 into 0 20.357 * [backup-simplify]: Simplify 0 into 0 20.357 * [backup-simplify]: Simplify (- 0) into 0 20.357 * [backup-simplify]: Simplify 0 into 0 20.357 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 20.358 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.359 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (* x y)))) into 0 20.359 * [taylor]: Taking taylor expansion of 0 in x 20.359 * [backup-simplify]: Simplify 0 into 0 20.359 * [taylor]: Taking taylor expansion of 0 in y 20.359 * [backup-simplify]: Simplify 0 into 0 20.359 * [backup-simplify]: Simplify 0 into 0 20.359 * [taylor]: Taking taylor expansion of 0 in y 20.359 * [backup-simplify]: Simplify 0 into 0 20.359 * [backup-simplify]: Simplify 0 into 0 20.359 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 20.360 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 20.360 * [taylor]: Taking taylor expansion of 0 in y 20.360 * [backup-simplify]: Simplify 0 into 0 20.360 * [backup-simplify]: Simplify 0 into 0 20.361 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- y)) (* (/ 1 (- x)) (/ 1 (/ 1 (- z)))))) into (/ z (* x y)) 20.361 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 20.361 * [backup-simplify]: Simplify (/ (* (cbrt 1) (cbrt 1)) (/ z (* x y))) into (/ (* x y) z) 20.361 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (z x y) around 0 20.361 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 20.361 * [taylor]: Taking taylor expansion of (* x y) in y 20.361 * [taylor]: Taking taylor expansion of x in y 20.361 * [backup-simplify]: Simplify x into x 20.361 * [taylor]: Taking taylor expansion of y in y 20.361 * [backup-simplify]: Simplify 0 into 0 20.361 * [backup-simplify]: Simplify 1 into 1 20.361 * [taylor]: Taking taylor expansion of z in y 20.361 * [backup-simplify]: Simplify z into z 20.361 * [backup-simplify]: Simplify (* x 0) into 0 20.362 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 20.362 * [backup-simplify]: Simplify (/ x z) into (/ x z) 20.362 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 20.362 * [taylor]: Taking taylor expansion of (* x y) in x 20.362 * [taylor]: Taking taylor expansion of x in x 20.362 * [backup-simplify]: Simplify 0 into 0 20.362 * [backup-simplify]: Simplify 1 into 1 20.362 * [taylor]: Taking taylor expansion of y in x 20.362 * [backup-simplify]: Simplify y into y 20.362 * [taylor]: Taking taylor expansion of z in x 20.362 * [backup-simplify]: Simplify z into z 20.362 * [backup-simplify]: Simplify (* 0 y) into 0 20.362 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 20.362 * [backup-simplify]: Simplify (/ y z) into (/ y z) 20.362 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 20.362 * [taylor]: Taking taylor expansion of (* x y) in z 20.362 * [taylor]: Taking taylor expansion of x in z 20.362 * [backup-simplify]: Simplify x into x 20.362 * [taylor]: Taking taylor expansion of y in z 20.362 * [backup-simplify]: Simplify y into y 20.363 * [taylor]: Taking taylor expansion of z in z 20.363 * [backup-simplify]: Simplify 0 into 0 20.363 * [backup-simplify]: Simplify 1 into 1 20.363 * [backup-simplify]: Simplify (* x y) into (* x y) 20.363 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 20.363 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 20.363 * [taylor]: Taking taylor expansion of (* x y) in z 20.363 * [taylor]: Taking taylor expansion of x in z 20.363 * [backup-simplify]: Simplify x into x 20.363 * [taylor]: Taking taylor expansion of y in z 20.363 * [backup-simplify]: Simplify y into y 20.363 * [taylor]: Taking taylor expansion of z in z 20.363 * [backup-simplify]: Simplify 0 into 0 20.363 * [backup-simplify]: Simplify 1 into 1 20.363 * [backup-simplify]: Simplify (* x y) into (* x y) 20.363 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 20.363 * [taylor]: Taking taylor expansion of (* x y) in x 20.363 * [taylor]: Taking taylor expansion of x in x 20.363 * [backup-simplify]: Simplify 0 into 0 20.363 * [backup-simplify]: Simplify 1 into 1 20.363 * [taylor]: Taking taylor expansion of y in x 20.363 * [backup-simplify]: Simplify y into y 20.363 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 20.363 * [taylor]: Taking taylor expansion of y in y 20.364 * [backup-simplify]: Simplify 0 into 0 20.364 * [backup-simplify]: Simplify 1 into 1 20.364 * [backup-simplify]: Simplify 1 into 1 20.364 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 20.364 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0 20.364 * [taylor]: Taking taylor expansion of 0 in x 20.364 * [backup-simplify]: Simplify 0 into 0 20.364 * [taylor]: Taking taylor expansion of 0 in y 20.364 * [backup-simplify]: Simplify 0 into 0 20.364 * [backup-simplify]: Simplify 0 into 0 20.365 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 20.365 * [taylor]: Taking taylor expansion of 0 in y 20.365 * [backup-simplify]: Simplify 0 into 0 20.365 * [backup-simplify]: Simplify 0 into 0 20.365 * [backup-simplify]: Simplify 0 into 0 20.365 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 20.366 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.366 * [taylor]: Taking taylor expansion of 0 in x 20.366 * [backup-simplify]: Simplify 0 into 0 20.366 * [taylor]: Taking taylor expansion of 0 in y 20.366 * [backup-simplify]: Simplify 0 into 0 20.366 * [backup-simplify]: Simplify 0 into 0 20.366 * [taylor]: Taking taylor expansion of 0 in y 20.366 * [backup-simplify]: Simplify 0 into 0 20.366 * [backup-simplify]: Simplify 0 into 0 20.367 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 20.367 * [taylor]: Taking taylor expansion of 0 in y 20.367 * [backup-simplify]: Simplify 0 into 0 20.367 * [backup-simplify]: Simplify 0 into 0 20.368 * [backup-simplify]: Simplify (* 1 (* y (* x (/ 1 z)))) into (/ (* x y) z) 20.369 * [backup-simplify]: Simplify (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 z) (* (/ 1 x) (/ 1 y)))) into (/ z (* x y)) 20.369 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (z x y) around 0 20.369 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 20.369 * [taylor]: Taking taylor expansion of z in y 20.369 * [backup-simplify]: Simplify z into z 20.369 * [taylor]: Taking taylor expansion of (* x y) in y 20.369 * [taylor]: Taking taylor expansion of x in y 20.369 * [backup-simplify]: Simplify x into x 20.369 * [taylor]: Taking taylor expansion of y in y 20.369 * [backup-simplify]: Simplify 0 into 0 20.369 * [backup-simplify]: Simplify 1 into 1 20.369 * [backup-simplify]: Simplify (* x 0) into 0 20.370 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 20.370 * [backup-simplify]: Simplify (/ z x) into (/ z x) 20.370 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 20.370 * [taylor]: Taking taylor expansion of z in x 20.370 * [backup-simplify]: Simplify z into z 20.370 * [taylor]: Taking taylor expansion of (* x y) in x 20.370 * [taylor]: Taking taylor expansion of x in x 20.370 * [backup-simplify]: Simplify 0 into 0 20.370 * [backup-simplify]: Simplify 1 into 1 20.370 * [taylor]: Taking taylor expansion of y in x 20.370 * [backup-simplify]: Simplify y into y 20.370 * [backup-simplify]: Simplify (* 0 y) into 0 20.371 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 20.371 * [backup-simplify]: Simplify (/ z y) into (/ z y) 20.371 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 20.371 * [taylor]: Taking taylor expansion of z in z 20.371 * [backup-simplify]: Simplify 0 into 0 20.371 * [backup-simplify]: Simplify 1 into 1 20.371 * [taylor]: Taking taylor expansion of (* x y) in z 20.371 * [taylor]: Taking taylor expansion of x in z 20.371 * [backup-simplify]: Simplify x into x 20.371 * [taylor]: Taking taylor expansion of y in z 20.371 * [backup-simplify]: Simplify y into y 20.371 * [backup-simplify]: Simplify (* x y) into (* x y) 20.371 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 20.371 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 20.371 * [taylor]: Taking taylor expansion of z in z 20.371 * [backup-simplify]: Simplify 0 into 0 20.371 * [backup-simplify]: Simplify 1 into 1 20.371 * [taylor]: Taking taylor expansion of (* x y) in z 20.371 * [taylor]: Taking taylor expansion of x in z 20.371 * [backup-simplify]: Simplify x into x 20.371 * [taylor]: Taking taylor expansion of y in z 20.371 * [backup-simplify]: Simplify y into y 20.372 * [backup-simplify]: Simplify (* x y) into (* x y) 20.372 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 20.372 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 20.372 * [taylor]: Taking taylor expansion of (* x y) in x 20.372 * [taylor]: Taking taylor expansion of x in x 20.372 * [backup-simplify]: Simplify 0 into 0 20.372 * [backup-simplify]: Simplify 1 into 1 20.372 * [taylor]: Taking taylor expansion of y in x 20.372 * [backup-simplify]: Simplify y into y 20.372 * [backup-simplify]: Simplify (* 0 y) into 0 20.373 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 20.373 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 20.373 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.373 * [taylor]: Taking taylor expansion of y in y 20.373 * [backup-simplify]: Simplify 0 into 0 20.373 * [backup-simplify]: Simplify 1 into 1 20.374 * [backup-simplify]: Simplify (/ 1 1) into 1 20.374 * [backup-simplify]: Simplify 1 into 1 20.374 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 20.374 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 20.374 * [taylor]: Taking taylor expansion of 0 in x 20.374 * [backup-simplify]: Simplify 0 into 0 20.376 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 20.376 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 20.376 * [taylor]: Taking taylor expansion of 0 in y 20.376 * [backup-simplify]: Simplify 0 into 0 20.377 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 20.377 * [backup-simplify]: Simplify 0 into 0 20.377 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 20.378 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 20.378 * [taylor]: Taking taylor expansion of 0 in x 20.378 * [backup-simplify]: Simplify 0 into 0 20.378 * [taylor]: Taking taylor expansion of 0 in y 20.378 * [backup-simplify]: Simplify 0 into 0 20.379 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 20.380 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 20.380 * [taylor]: Taking taylor expansion of 0 in y 20.380 * [backup-simplify]: Simplify 0 into 0 20.380 * [backup-simplify]: Simplify 0 into 0 20.381 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.381 * [backup-simplify]: Simplify 0 into 0 20.382 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 20.382 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 20.382 * [taylor]: Taking taylor expansion of 0 in x 20.382 * [backup-simplify]: Simplify 0 into 0 20.382 * [taylor]: Taking taylor expansion of 0 in y 20.382 * [backup-simplify]: Simplify 0 into 0 20.383 * [taylor]: Taking taylor expansion of 0 in y 20.383 * [backup-simplify]: Simplify 0 into 0 20.384 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 20.385 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 20.385 * [taylor]: Taking taylor expansion of 0 in y 20.385 * [backup-simplify]: Simplify 0 into 0 20.385 * [backup-simplify]: Simplify 0 into 0 20.385 * [backup-simplify]: Simplify 0 into 0 20.385 * [backup-simplify]: Simplify 0 into 0 20.385 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 x)) (/ 1 z)))) into (/ (* x y) z) 20.386 * [backup-simplify]: Simplify (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 (- z)) (* (/ 1 (- x)) (/ 1 (- y))))) into (* -1 (/ z (* x y))) 20.386 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (z x y) around 0 20.386 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 20.386 * [taylor]: Taking taylor expansion of -1 in y 20.386 * [backup-simplify]: Simplify -1 into -1 20.386 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 20.386 * [taylor]: Taking taylor expansion of z in y 20.386 * [backup-simplify]: Simplify z into z 20.386 * [taylor]: Taking taylor expansion of (* x y) in y 20.387 * [taylor]: Taking taylor expansion of x in y 20.387 * [backup-simplify]: Simplify x into x 20.387 * [taylor]: Taking taylor expansion of y in y 20.387 * [backup-simplify]: Simplify 0 into 0 20.387 * [backup-simplify]: Simplify 1 into 1 20.387 * [backup-simplify]: Simplify (* x 0) into 0 20.387 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 20.387 * [backup-simplify]: Simplify (/ z x) into (/ z x) 20.387 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 20.388 * [taylor]: Taking taylor expansion of -1 in x 20.388 * [backup-simplify]: Simplify -1 into -1 20.388 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 20.388 * [taylor]: Taking taylor expansion of z in x 20.388 * [backup-simplify]: Simplify z into z 20.388 * [taylor]: Taking taylor expansion of (* x y) in x 20.388 * [taylor]: Taking taylor expansion of x in x 20.388 * [backup-simplify]: Simplify 0 into 0 20.388 * [backup-simplify]: Simplify 1 into 1 20.388 * [taylor]: Taking taylor expansion of y in x 20.388 * [backup-simplify]: Simplify y into y 20.388 * [backup-simplify]: Simplify (* 0 y) into 0 20.388 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 20.389 * [backup-simplify]: Simplify (/ z y) into (/ z y) 20.389 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 20.389 * [taylor]: Taking taylor expansion of -1 in z 20.389 * [backup-simplify]: Simplify -1 into -1 20.389 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 20.389 * [taylor]: Taking taylor expansion of z in z 20.389 * [backup-simplify]: Simplify 0 into 0 20.389 * [backup-simplify]: Simplify 1 into 1 20.389 * [taylor]: Taking taylor expansion of (* x y) in z 20.389 * [taylor]: Taking taylor expansion of x in z 20.389 * [backup-simplify]: Simplify x into x 20.389 * [taylor]: Taking taylor expansion of y in z 20.389 * [backup-simplify]: Simplify y into y 20.389 * [backup-simplify]: Simplify (* x y) into (* x y) 20.389 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 20.389 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 20.389 * [taylor]: Taking taylor expansion of -1 in z 20.389 * [backup-simplify]: Simplify -1 into -1 20.389 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 20.389 * [taylor]: Taking taylor expansion of z in z 20.389 * [backup-simplify]: Simplify 0 into 0 20.389 * [backup-simplify]: Simplify 1 into 1 20.389 * [taylor]: Taking taylor expansion of (* x y) in z 20.389 * [taylor]: Taking taylor expansion of x in z 20.389 * [backup-simplify]: Simplify x into x 20.389 * [taylor]: Taking taylor expansion of y in z 20.389 * [backup-simplify]: Simplify y into y 20.389 * [backup-simplify]: Simplify (* x y) into (* x y) 20.390 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 20.390 * [backup-simplify]: Simplify (* -1 (/ 1 (* x y))) into (/ -1 (* x y)) 20.390 * [taylor]: Taking taylor expansion of (/ -1 (* x y)) in x 20.390 * [taylor]: Taking taylor expansion of -1 in x 20.390 * [backup-simplify]: Simplify -1 into -1 20.390 * [taylor]: Taking taylor expansion of (* x y) in x 20.390 * [taylor]: Taking taylor expansion of x in x 20.390 * [backup-simplify]: Simplify 0 into 0 20.390 * [backup-simplify]: Simplify 1 into 1 20.390 * [taylor]: Taking taylor expansion of y in x 20.390 * [backup-simplify]: Simplify y into y 20.390 * [backup-simplify]: Simplify (* 0 y) into 0 20.391 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 20.391 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 20.391 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.391 * [taylor]: Taking taylor expansion of -1 in y 20.391 * [backup-simplify]: Simplify -1 into -1 20.391 * [taylor]: Taking taylor expansion of y in y 20.391 * [backup-simplify]: Simplify 0 into 0 20.391 * [backup-simplify]: Simplify 1 into 1 20.392 * [backup-simplify]: Simplify (/ -1 1) into -1 20.392 * [backup-simplify]: Simplify -1 into -1 20.392 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 20.392 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 20.393 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 (* x y)))) into 0 20.393 * [taylor]: Taking taylor expansion of 0 in x 20.393 * [backup-simplify]: Simplify 0 into 0 20.394 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 20.394 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 20.394 * [taylor]: Taking taylor expansion of 0 in y 20.394 * [backup-simplify]: Simplify 0 into 0 20.395 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 20.396 * [backup-simplify]: Simplify 0 into 0 20.396 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 20.397 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 20.398 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (* x y))))) into 0 20.398 * [taylor]: Taking taylor expansion of 0 in x 20.398 * [backup-simplify]: Simplify 0 into 0 20.398 * [taylor]: Taking taylor expansion of 0 in y 20.398 * [backup-simplify]: Simplify 0 into 0 20.399 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 20.399 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 20.399 * [taylor]: Taking taylor expansion of 0 in y 20.400 * [backup-simplify]: Simplify 0 into 0 20.400 * [backup-simplify]: Simplify 0 into 0 20.401 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.401 * [backup-simplify]: Simplify 0 into 0 20.402 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 20.402 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 20.404 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* x y)))))) into 0 20.404 * [taylor]: Taking taylor expansion of 0 in x 20.404 * [backup-simplify]: Simplify 0 into 0 20.404 * [taylor]: Taking taylor expansion of 0 in y 20.404 * [backup-simplify]: Simplify 0 into 0 20.404 * [taylor]: Taking taylor expansion of 0 in y 20.404 * [backup-simplify]: Simplify 0 into 0 20.406 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 20.406 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 20.406 * [taylor]: Taking taylor expansion of 0 in y 20.406 * [backup-simplify]: Simplify 0 into 0 20.406 * [backup-simplify]: Simplify 0 into 0 20.406 * [backup-simplify]: Simplify 0 into 0 20.406 * [backup-simplify]: Simplify 0 into 0 20.407 * [backup-simplify]: Simplify (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- x))) (/ 1 (- z))))) into (/ (* x y) z) 20.407 * * * [progress]: simplifying candidates 20.409 * [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) 20.411 * * [simplify]: Extracting # 0 : cost 0 20.412 * * [simplify]: Extracting # 1 : cost 0 20.412 * * [simplify]: Extracting # 2 : cost 0 20.412 * * [simplify]: Extracting # 3 : cost 0 20.412 * * [simplify]: Extracting # 4 : cost 0 20.413 * * [simplify]: Extracting # 5 : cost 0 20.413 * * [simplify]: Extracting # 6 : cost 0 20.413 * * [simplify]: Extracting # 7 : cost 0 20.413 * * [simplify]: iteration 0 : 104 enodes (cost 843 ) 20.472 * * [simplify]: Extracting # 0 : cost 0 20.472 * * [simplify]: Extracting # 1 : cost 0 20.472 * * [simplify]: Extracting # 2 : cost 0 20.472 * * [simplify]: iteration 1 : 254 enodes (cost 633 ) 20.563 * * [simplify]: Extracting # 0 : cost 0 20.565 * * [simplify]: Extracting # 1 : cost 0 20.566 * * [simplify]: Extracting # 2 : cost 0 20.567 * * [simplify]: Extracting # 3 : cost 0 20.568 * * [simplify]: Extracting # 4 : cost 0 20.570 * * [simplify]: Extracting # 5 : cost 0 20.571 * * [simplify]: iteration 2 : 608 enodes (cost 463 ) 21.713 * * [simplify]: Extracting # 0 : cost 0 21.716 * * [simplify]: Extracting # 1 : cost 0 21.718 * * [simplify]: Extracting # 2 : cost 0 21.721 * * [simplify]: Extracting # 3 : cost 0 21.724 * * [simplify]: Extracting # 4 : cost 0 21.726 * * [simplify]: Extracting # 5 : cost 0 21.729 * * [simplify]: iteration 3 : 2728 enodes (cost 457 ) 23.188 * * [simplify]: Extracting # 0 : cost 0 23.197 * * [simplify]: Extracting # 1 : cost 0 23.205 * * [simplify]: Extracting # 2 : cost 0 23.210 * * [simplify]: iteration done: 5000 enodes (cost 457 ) 23.211 * [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) 23.211 * * * [progress]: adding candidates to table 23.385 * [progress]: [Phase 3 of 3] Extracting. 23.385 * * [regime]: Finding splitpoints for: (# # # # # #) 23.387 * * * [regime-changes]: Trying 4 branch expressions: (t z y x) 23.387 * * * * [regimes]: Trying to branch on t from (# # # # # #) 23.452 * * * * [regimes]: Trying to branch on z from (# # # # # #) 23.484 * * * * [regimes]: Trying to branch on y from (# # # # # #) 23.530 * * * * [regimes]: Trying to branch on x from (# # # # # #) 23.593 * * * [regime]: Found split indices: #