79.350 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.025 * * * [progress]: [2/2] Setting up program. 0.027 * [progress]: [Phase 2 of 3] Improving. 0.027 * [simplify]: Simplifying: (* x (/ (* (/ y z) t) t)) 0.027 * * [simplify]: Extracting # 0 : cost 0 0.027 * * [simplify]: Extracting # 1 : cost 0 0.027 * * [simplify]: Extracting # 2 : cost 0 0.027 * * [simplify]: Extracting # 3 : cost 0 0.027 * * [simplify]: Extracting # 4 : cost 0 0.027 * * [simplify]: Extracting # 5 : cost 0 0.027 * * [simplify]: Extracting # 6 : cost 0 0.027 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.029 * * [simplify]: Extracting # 0 : cost 0 0.029 * * [simplify]: Extracting # 1 : cost 0 0.029 * * [simplify]: Extracting # 2 : cost 0 0.029 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 0.032 * * [simplify]: Extracting # 0 : cost 0 0.032 * * [simplify]: Extracting # 1 : cost 0 0.032 * * [simplify]: Extracting # 2 : cost 0 0.032 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 0.042 * * [simplify]: Extracting # 0 : cost 0 0.042 * * [simplify]: Extracting # 1 : cost 0 0.042 * * [simplify]: Extracting # 2 : cost 0 0.042 * * [simplify]: iteration 3 : 99 enodes (cost 5 ) 0.095 * * [simplify]: Extracting # 0 : cost 0 0.095 * * [simplify]: Extracting # 1 : cost 0 0.095 * * [simplify]: Extracting # 2 : cost 0 0.096 * * [simplify]: iteration 4 : 386 enodes (cost 5 ) 1.312 * * [simplify]: Extracting # 0 : cost 0 1.314 * * [simplify]: Extracting # 1 : cost 0 1.316 * * [simplify]: Extracting # 2 : cost 0 1.317 * * [simplify]: iteration 5 : 1705 enodes (cost 5 ) 4.725 * * [simplify]: Extracting # 0 : cost 0 4.731 * * [simplify]: Extracting # 1 : cost 0 4.735 * * [simplify]: Extracting # 2 : cost 0 4.739 * * [simplify]: Extracting # 3 : cost 0 4.742 * * [simplify]: iteration done: 5001 enodes (cost 5 ) 4.742 * [simplify]: Simplified to: (* (/ y z) x) 4.745 * * [progress]: iteration 1 / 4 4.745 * * * [progress]: picking best candidate 4.748 * * * * [pick]: Picked # 4.748 * * * [progress]: localizing error 4.759 * * * [progress]: generating rewritten candidates 4.759 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 4.776 * * * [progress]: generating series expansions 4.776 * * * * [progress]: [ 1 / 1 ] generating series at (2) 4.776 * [backup-simplify]: Simplify (* (/ y z) x) into (/ (* x y) z) 4.776 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (y z x) around 0 4.776 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 4.776 * [taylor]: Taking taylor expansion of (* x y) in x 4.776 * [taylor]: Taking taylor expansion of x in x 4.776 * [backup-simplify]: Simplify 0 into 0 4.776 * [backup-simplify]: Simplify 1 into 1 4.776 * [taylor]: Taking taylor expansion of y in x 4.776 * [backup-simplify]: Simplify y into y 4.776 * [taylor]: Taking taylor expansion of z in x 4.776 * [backup-simplify]: Simplify z into z 4.776 * [backup-simplify]: Simplify (* 0 y) into 0 4.777 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 4.777 * [backup-simplify]: Simplify (/ y z) into (/ y z) 4.777 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 4.777 * [taylor]: Taking taylor expansion of (* x y) in z 4.777 * [taylor]: Taking taylor expansion of x in z 4.777 * [backup-simplify]: Simplify x into x 4.777 * [taylor]: Taking taylor expansion of y in z 4.777 * [backup-simplify]: Simplify y into y 4.777 * [taylor]: Taking taylor expansion of z in z 4.777 * [backup-simplify]: Simplify 0 into 0 4.777 * [backup-simplify]: Simplify 1 into 1 4.777 * [backup-simplify]: Simplify (* x y) into (* x y) 4.777 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 4.777 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 4.777 * [taylor]: Taking taylor expansion of (* x y) in y 4.778 * [taylor]: Taking taylor expansion of x in y 4.778 * [backup-simplify]: Simplify x into x 4.778 * [taylor]: Taking taylor expansion of y in y 4.778 * [backup-simplify]: Simplify 0 into 0 4.778 * [backup-simplify]: Simplify 1 into 1 4.778 * [taylor]: Taking taylor expansion of z in y 4.778 * [backup-simplify]: Simplify z into z 4.778 * [backup-simplify]: Simplify (* x 0) into 0 4.778 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 4.778 * [backup-simplify]: Simplify (/ x z) into (/ x z) 4.778 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 4.778 * [taylor]: Taking taylor expansion of (* x y) in y 4.778 * [taylor]: Taking taylor expansion of x in y 4.778 * [backup-simplify]: Simplify x into x 4.778 * [taylor]: Taking taylor expansion of y in y 4.778 * [backup-simplify]: Simplify 0 into 0 4.778 * [backup-simplify]: Simplify 1 into 1 4.778 * [taylor]: Taking taylor expansion of z in y 4.778 * [backup-simplify]: Simplify z into z 4.778 * [backup-simplify]: Simplify (* x 0) into 0 4.779 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 4.779 * [backup-simplify]: Simplify (/ x z) into (/ x z) 4.779 * [taylor]: Taking taylor expansion of (/ x z) in z 4.779 * [taylor]: Taking taylor expansion of x in z 4.779 * [backup-simplify]: Simplify x into x 4.779 * [taylor]: Taking taylor expansion of z in z 4.779 * [backup-simplify]: Simplify 0 into 0 4.779 * [backup-simplify]: Simplify 1 into 1 4.779 * [backup-simplify]: Simplify (/ x 1) into x 4.779 * [taylor]: Taking taylor expansion of x in x 4.779 * [backup-simplify]: Simplify 0 into 0 4.779 * [backup-simplify]: Simplify 1 into 1 4.779 * [backup-simplify]: Simplify 1 into 1 4.779 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 4.779 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0 4.779 * [taylor]: Taking taylor expansion of 0 in z 4.780 * [backup-simplify]: Simplify 0 into 0 4.780 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0 4.780 * [taylor]: Taking taylor expansion of 0 in x 4.780 * [backup-simplify]: Simplify 0 into 0 4.780 * [backup-simplify]: Simplify 0 into 0 4.780 * [backup-simplify]: Simplify 0 into 0 4.781 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.781 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 4.781 * [taylor]: Taking taylor expansion of 0 in z 4.781 * [backup-simplify]: Simplify 0 into 0 4.781 * [taylor]: Taking taylor expansion of 0 in x 4.781 * [backup-simplify]: Simplify 0 into 0 4.781 * [backup-simplify]: Simplify 0 into 0 4.782 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.782 * [taylor]: Taking taylor expansion of 0 in x 4.782 * [backup-simplify]: Simplify 0 into 0 4.782 * [backup-simplify]: Simplify 0 into 0 4.782 * [backup-simplify]: Simplify 0 into 0 4.782 * [backup-simplify]: Simplify 0 into 0 4.782 * [backup-simplify]: Simplify (* 1 (* x (* (/ 1 z) y))) into (/ (* x y) z) 4.782 * [backup-simplify]: Simplify (* (/ (/ 1 y) (/ 1 z)) (/ 1 x)) into (/ z (* x y)) 4.782 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (y z x) around 0 4.782 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 4.782 * [taylor]: Taking taylor expansion of z in x 4.782 * [backup-simplify]: Simplify z into z 4.782 * [taylor]: Taking taylor expansion of (* x y) in x 4.782 * [taylor]: Taking taylor expansion of x in x 4.782 * [backup-simplify]: Simplify 0 into 0 4.782 * [backup-simplify]: Simplify 1 into 1 4.782 * [taylor]: Taking taylor expansion of y in x 4.782 * [backup-simplify]: Simplify y into y 4.782 * [backup-simplify]: Simplify (* 0 y) into 0 4.782 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 4.782 * [backup-simplify]: Simplify (/ z y) into (/ z y) 4.782 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 4.782 * [taylor]: Taking taylor expansion of z in z 4.782 * [backup-simplify]: Simplify 0 into 0 4.782 * [backup-simplify]: Simplify 1 into 1 4.783 * [taylor]: Taking taylor expansion of (* x y) in z 4.783 * [taylor]: Taking taylor expansion of x in z 4.783 * [backup-simplify]: Simplify x into x 4.783 * [taylor]: Taking taylor expansion of y in z 4.783 * [backup-simplify]: Simplify y into y 4.783 * [backup-simplify]: Simplify (* x y) into (* x y) 4.783 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 4.783 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 4.783 * [taylor]: Taking taylor expansion of z in y 4.783 * [backup-simplify]: Simplify z into z 4.783 * [taylor]: Taking taylor expansion of (* x y) in y 4.783 * [taylor]: Taking taylor expansion of x in y 4.783 * [backup-simplify]: Simplify x into x 4.783 * [taylor]: Taking taylor expansion of y in y 4.783 * [backup-simplify]: Simplify 0 into 0 4.783 * [backup-simplify]: Simplify 1 into 1 4.783 * [backup-simplify]: Simplify (* x 0) into 0 4.783 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 4.783 * [backup-simplify]: Simplify (/ z x) into (/ z x) 4.783 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 4.783 * [taylor]: Taking taylor expansion of z in y 4.783 * [backup-simplify]: Simplify z into z 4.783 * [taylor]: Taking taylor expansion of (* x y) in y 4.783 * [taylor]: Taking taylor expansion of x in y 4.783 * [backup-simplify]: Simplify x into x 4.783 * [taylor]: Taking taylor expansion of y in y 4.783 * [backup-simplify]: Simplify 0 into 0 4.783 * [backup-simplify]: Simplify 1 into 1 4.783 * [backup-simplify]: Simplify (* x 0) into 0 4.784 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 4.784 * [backup-simplify]: Simplify (/ z x) into (/ z x) 4.784 * [taylor]: Taking taylor expansion of (/ z x) in z 4.784 * [taylor]: Taking taylor expansion of z in z 4.784 * [backup-simplify]: Simplify 0 into 0 4.784 * [backup-simplify]: Simplify 1 into 1 4.784 * [taylor]: Taking taylor expansion of x in z 4.784 * [backup-simplify]: Simplify x into x 4.784 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.784 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.784 * [taylor]: Taking taylor expansion of x in x 4.784 * [backup-simplify]: Simplify 0 into 0 4.784 * [backup-simplify]: Simplify 1 into 1 4.784 * [backup-simplify]: Simplify (/ 1 1) into 1 4.784 * [backup-simplify]: Simplify 1 into 1 4.784 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 4.785 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0 4.785 * [taylor]: Taking taylor expansion of 0 in z 4.785 * [backup-simplify]: Simplify 0 into 0 4.785 * [taylor]: Taking taylor expansion of 0 in x 4.785 * [backup-simplify]: Simplify 0 into 0 4.785 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0 4.785 * [taylor]: Taking taylor expansion of 0 in x 4.785 * [backup-simplify]: Simplify 0 into 0 4.785 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.785 * [backup-simplify]: Simplify 0 into 0 4.786 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.786 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.786 * [taylor]: Taking taylor expansion of 0 in z 4.786 * [backup-simplify]: Simplify 0 into 0 4.786 * [taylor]: Taking taylor expansion of 0 in x 4.786 * [backup-simplify]: Simplify 0 into 0 4.786 * [taylor]: Taking taylor expansion of 0 in x 4.786 * [backup-simplify]: Simplify 0 into 0 4.786 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.786 * [taylor]: Taking taylor expansion of 0 in x 4.786 * [backup-simplify]: Simplify 0 into 0 4.786 * [backup-simplify]: Simplify 0 into 0 4.786 * [backup-simplify]: Simplify 0 into 0 4.787 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.787 * [backup-simplify]: Simplify 0 into 0 4.787 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 4.787 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.787 * [taylor]: Taking taylor expansion of 0 in z 4.787 * [backup-simplify]: Simplify 0 into 0 4.787 * [taylor]: Taking taylor expansion of 0 in x 4.787 * [backup-simplify]: Simplify 0 into 0 4.787 * [taylor]: Taking taylor expansion of 0 in x 4.788 * [backup-simplify]: Simplify 0 into 0 4.788 * [taylor]: Taking taylor expansion of 0 in x 4.788 * [backup-simplify]: Simplify 0 into 0 4.788 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.788 * [taylor]: Taking taylor expansion of 0 in x 4.788 * [backup-simplify]: Simplify 0 into 0 4.788 * [backup-simplify]: Simplify 0 into 0 4.788 * [backup-simplify]: Simplify 0 into 0 4.788 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 z) (/ 1 (/ 1 y))))) into (/ (* x y) z) 4.788 * [backup-simplify]: Simplify (* (/ (/ 1 (- y)) (/ 1 (- z))) (/ 1 (- x))) into (* -1 (/ z (* x y))) 4.788 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (y z x) around 0 4.788 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 4.788 * [taylor]: Taking taylor expansion of -1 in x 4.788 * [backup-simplify]: Simplify -1 into -1 4.788 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 4.788 * [taylor]: Taking taylor expansion of z in x 4.788 * [backup-simplify]: Simplify z into z 4.788 * [taylor]: Taking taylor expansion of (* x y) in x 4.788 * [taylor]: Taking taylor expansion of x in x 4.788 * [backup-simplify]: Simplify 0 into 0 4.788 * [backup-simplify]: Simplify 1 into 1 4.788 * [taylor]: Taking taylor expansion of y in x 4.788 * [backup-simplify]: Simplify y into y 4.788 * [backup-simplify]: Simplify (* 0 y) into 0 4.789 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 4.789 * [backup-simplify]: Simplify (/ z y) into (/ z y) 4.789 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 4.789 * [taylor]: Taking taylor expansion of -1 in z 4.789 * [backup-simplify]: Simplify -1 into -1 4.789 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 4.789 * [taylor]: Taking taylor expansion of z in z 4.789 * [backup-simplify]: Simplify 0 into 0 4.789 * [backup-simplify]: Simplify 1 into 1 4.789 * [taylor]: Taking taylor expansion of (* x y) in z 4.789 * [taylor]: Taking taylor expansion of x in z 4.789 * [backup-simplify]: Simplify x into x 4.789 * [taylor]: Taking taylor expansion of y in z 4.789 * [backup-simplify]: Simplify y into y 4.789 * [backup-simplify]: Simplify (* x y) into (* x y) 4.789 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 4.789 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 4.789 * [taylor]: Taking taylor expansion of -1 in y 4.789 * [backup-simplify]: Simplify -1 into -1 4.789 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 4.789 * [taylor]: Taking taylor expansion of z in y 4.789 * [backup-simplify]: Simplify z into z 4.789 * [taylor]: Taking taylor expansion of (* x y) in y 4.789 * [taylor]: Taking taylor expansion of x in y 4.789 * [backup-simplify]: Simplify x into x 4.789 * [taylor]: Taking taylor expansion of y in y 4.789 * [backup-simplify]: Simplify 0 into 0 4.789 * [backup-simplify]: Simplify 1 into 1 4.789 * [backup-simplify]: Simplify (* x 0) into 0 4.789 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 4.789 * [backup-simplify]: Simplify (/ z x) into (/ z x) 4.789 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 4.789 * [taylor]: Taking taylor expansion of -1 in y 4.789 * [backup-simplify]: Simplify -1 into -1 4.789 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 4.789 * [taylor]: Taking taylor expansion of z in y 4.790 * [backup-simplify]: Simplify z into z 4.790 * [taylor]: Taking taylor expansion of (* x y) in y 4.790 * [taylor]: Taking taylor expansion of x in y 4.790 * [backup-simplify]: Simplify x into x 4.790 * [taylor]: Taking taylor expansion of y in y 4.790 * [backup-simplify]: Simplify 0 into 0 4.790 * [backup-simplify]: Simplify 1 into 1 4.790 * [backup-simplify]: Simplify (* x 0) into 0 4.790 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 4.790 * [backup-simplify]: Simplify (/ z x) into (/ z x) 4.790 * [backup-simplify]: Simplify (* -1 (/ z x)) into (* -1 (/ z x)) 4.790 * [taylor]: Taking taylor expansion of (* -1 (/ z x)) in z 4.790 * [taylor]: Taking taylor expansion of -1 in z 4.790 * [backup-simplify]: Simplify -1 into -1 4.790 * [taylor]: Taking taylor expansion of (/ z x) in z 4.790 * [taylor]: Taking taylor expansion of z in z 4.790 * [backup-simplify]: Simplify 0 into 0 4.790 * [backup-simplify]: Simplify 1 into 1 4.790 * [taylor]: Taking taylor expansion of x in z 4.790 * [backup-simplify]: Simplify x into x 4.790 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.790 * [backup-simplify]: Simplify (* -1 (/ 1 x)) into (/ -1 x) 4.790 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.790 * [taylor]: Taking taylor expansion of -1 in x 4.790 * [backup-simplify]: Simplify -1 into -1 4.790 * [taylor]: Taking taylor expansion of x in x 4.790 * [backup-simplify]: Simplify 0 into 0 4.790 * [backup-simplify]: Simplify 1 into 1 4.791 * [backup-simplify]: Simplify (/ -1 1) into -1 4.791 * [backup-simplify]: Simplify -1 into -1 4.791 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 4.791 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0 4.792 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ z x))) into 0 4.792 * [taylor]: Taking taylor expansion of 0 in z 4.792 * [backup-simplify]: Simplify 0 into 0 4.792 * [taylor]: Taking taylor expansion of 0 in x 4.792 * [backup-simplify]: Simplify 0 into 0 4.792 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0 4.792 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 x))) into 0 4.792 * [taylor]: Taking taylor expansion of 0 in x 4.792 * [backup-simplify]: Simplify 0 into 0 4.793 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 4.793 * [backup-simplify]: Simplify 0 into 0 4.794 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.794 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.794 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z x)))) into 0 4.794 * [taylor]: Taking taylor expansion of 0 in z 4.794 * [backup-simplify]: Simplify 0 into 0 4.794 * [taylor]: Taking taylor expansion of 0 in x 4.794 * [backup-simplify]: Simplify 0 into 0 4.794 * [taylor]: Taking taylor expansion of 0 in x 4.795 * [backup-simplify]: Simplify 0 into 0 4.795 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.795 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0 4.795 * [taylor]: Taking taylor expansion of 0 in x 4.795 * [backup-simplify]: Simplify 0 into 0 4.795 * [backup-simplify]: Simplify 0 into 0 4.795 * [backup-simplify]: Simplify 0 into 0 4.796 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.796 * [backup-simplify]: Simplify 0 into 0 4.797 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 4.797 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.798 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ z x))))) into 0 4.798 * [taylor]: Taking taylor expansion of 0 in z 4.798 * [backup-simplify]: Simplify 0 into 0 4.798 * [taylor]: Taking taylor expansion of 0 in x 4.798 * [backup-simplify]: Simplify 0 into 0 4.798 * [taylor]: Taking taylor expansion of 0 in x 4.798 * [backup-simplify]: Simplify 0 into 0 4.798 * [taylor]: Taking taylor expansion of 0 in x 4.798 * [backup-simplify]: Simplify 0 into 0 4.798 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.799 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0 4.799 * [taylor]: Taking taylor expansion of 0 in x 4.799 * [backup-simplify]: Simplify 0 into 0 4.800 * [backup-simplify]: Simplify 0 into 0 4.800 * [backup-simplify]: Simplify 0 into 0 4.800 * [backup-simplify]: Simplify (* -1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (- z)) (/ 1 (/ 1 (- y)))))) into (/ (* x y) z) 4.800 * * * [progress]: simplifying candidates 4.801 * [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) 4.801 * * [simplify]: Extracting # 0 : cost 0 4.802 * * [simplify]: Extracting # 1 : cost 0 4.802 * * [simplify]: Extracting # 2 : cost 0 4.802 * * [simplify]: Extracting # 3 : cost 0 4.802 * * [simplify]: Extracting # 4 : cost 0 4.802 * * [simplify]: Extracting # 5 : cost 0 4.802 * * [simplify]: Extracting # 6 : cost 0 4.802 * * [simplify]: iteration 0 : 70 enodes (cost 273 ) 4.823 * * [simplify]: Extracting # 0 : cost 0 4.823 * * [simplify]: Extracting # 1 : cost 0 4.823 * * [simplify]: Extracting # 2 : cost 0 4.823 * * [simplify]: iteration 1 : 155 enodes (cost 268 ) 4.899 * * [simplify]: Extracting # 0 : cost 0 4.900 * * [simplify]: Extracting # 1 : cost 0 4.901 * * [simplify]: Extracting # 2 : cost 0 4.901 * * [simplify]: Extracting # 3 : cost 0 4.902 * * [simplify]: Extracting # 4 : cost 0 4.902 * * [simplify]: Extracting # 5 : cost 0 4.903 * * [simplify]: Extracting # 6 : cost 0 4.903 * * [simplify]: iteration 2 : 427 enodes (cost 236 ) 5.238 * * [simplify]: Extracting # 0 : cost 0 5.244 * * [simplify]: Extracting # 1 : cost 0 5.245 * * [simplify]: Extracting # 2 : cost 0 5.247 * * [simplify]: Extracting # 3 : cost 0 5.248 * * [simplify]: Extracting # 4 : cost 0 5.250 * * [simplify]: iteration 3 : 1211 enodes (cost 236 ) 7.893 * * [simplify]: Extracting # 0 : cost 0 7.900 * * [simplify]: Extracting # 1 : cost 0 7.904 * * [simplify]: Extracting # 2 : cost 0 7.907 * * [simplify]: Extracting # 3 : cost 0 7.910 * * [simplify]: Extracting # 4 : cost 0 7.913 * * [simplify]: iteration 4 : 3623 enodes (cost 236 ) 10.201 * * [simplify]: Extracting # 0 : cost 0 10.206 * * [simplify]: Extracting # 1 : cost 0 10.210 * * [simplify]: Extracting # 2 : cost 0 10.215 * * [simplify]: iteration done: 5000 enodes (cost 236 ) 10.215 * [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) 10.216 * * * [progress]: adding candidates to table 10.349 * * [progress]: iteration 2 / 4 10.349 * * * [progress]: picking best candidate 10.369 * * * * [pick]: Picked # 10.370 * * * [progress]: localizing error 10.380 * * * [progress]: generating rewritten candidates 10.380 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 10.404 * * * [progress]: generating series expansions 10.404 * * * * [progress]: [ 1 / 1 ] generating series at (2) 10.404 * [backup-simplify]: Simplify (* y (/ x z)) into (/ (* x y) z) 10.404 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (y x z) around 0 10.404 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 10.404 * [taylor]: Taking taylor expansion of (* x y) in z 10.404 * [taylor]: Taking taylor expansion of x in z 10.404 * [backup-simplify]: Simplify x into x 10.404 * [taylor]: Taking taylor expansion of y in z 10.404 * [backup-simplify]: Simplify y into y 10.404 * [taylor]: Taking taylor expansion of z in z 10.404 * [backup-simplify]: Simplify 0 into 0 10.404 * [backup-simplify]: Simplify 1 into 1 10.404 * [backup-simplify]: Simplify (* x y) into (* x y) 10.404 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 10.404 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 10.404 * [taylor]: Taking taylor expansion of (* x y) in x 10.404 * [taylor]: Taking taylor expansion of x in x 10.404 * [backup-simplify]: Simplify 0 into 0 10.404 * [backup-simplify]: Simplify 1 into 1 10.404 * [taylor]: Taking taylor expansion of y in x 10.404 * [backup-simplify]: Simplify y into y 10.404 * [taylor]: Taking taylor expansion of z in x 10.404 * [backup-simplify]: Simplify z into z 10.405 * [backup-simplify]: Simplify (* 0 y) into 0 10.405 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.405 * [backup-simplify]: Simplify (/ y z) into (/ y z) 10.405 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 10.405 * [taylor]: Taking taylor expansion of (* x y) in y 10.405 * [taylor]: Taking taylor expansion of x in y 10.405 * [backup-simplify]: Simplify x into x 10.405 * [taylor]: Taking taylor expansion of y in y 10.405 * [backup-simplify]: Simplify 0 into 0 10.405 * [backup-simplify]: Simplify 1 into 1 10.405 * [taylor]: Taking taylor expansion of z in y 10.405 * [backup-simplify]: Simplify z into z 10.405 * [backup-simplify]: Simplify (* x 0) into 0 10.406 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 10.406 * [backup-simplify]: Simplify (/ x z) into (/ x z) 10.406 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 10.406 * [taylor]: Taking taylor expansion of (* x y) in y 10.406 * [taylor]: Taking taylor expansion of x in y 10.406 * [backup-simplify]: Simplify x into x 10.406 * [taylor]: Taking taylor expansion of y in y 10.406 * [backup-simplify]: Simplify 0 into 0 10.406 * [backup-simplify]: Simplify 1 into 1 10.406 * [taylor]: Taking taylor expansion of z in y 10.406 * [backup-simplify]: Simplify z into z 10.406 * [backup-simplify]: Simplify (* x 0) into 0 10.406 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 10.406 * [backup-simplify]: Simplify (/ x z) into (/ x z) 10.406 * [taylor]: Taking taylor expansion of (/ x z) in x 10.406 * [taylor]: Taking taylor expansion of x in x 10.406 * [backup-simplify]: Simplify 0 into 0 10.406 * [backup-simplify]: Simplify 1 into 1 10.406 * [taylor]: Taking taylor expansion of z in x 10.406 * [backup-simplify]: Simplify z into z 10.406 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.406 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.406 * [taylor]: Taking taylor expansion of z in z 10.406 * [backup-simplify]: Simplify 0 into 0 10.406 * [backup-simplify]: Simplify 1 into 1 10.407 * [backup-simplify]: Simplify (/ 1 1) into 1 10.407 * [backup-simplify]: Simplify 1 into 1 10.407 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 10.407 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0 10.407 * [taylor]: Taking taylor expansion of 0 in x 10.407 * [backup-simplify]: Simplify 0 into 0 10.407 * [taylor]: Taking taylor expansion of 0 in z 10.407 * [backup-simplify]: Simplify 0 into 0 10.408 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 10.408 * [taylor]: Taking taylor expansion of 0 in z 10.408 * [backup-simplify]: Simplify 0 into 0 10.408 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.408 * [backup-simplify]: Simplify 0 into 0 10.409 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 10.409 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 10.409 * [taylor]: Taking taylor expansion of 0 in x 10.409 * [backup-simplify]: Simplify 0 into 0 10.409 * [taylor]: Taking taylor expansion of 0 in z 10.409 * [backup-simplify]: Simplify 0 into 0 10.409 * [taylor]: Taking taylor expansion of 0 in z 10.409 * [backup-simplify]: Simplify 0 into 0 10.409 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 10.409 * [taylor]: Taking taylor expansion of 0 in z 10.409 * [backup-simplify]: Simplify 0 into 0 10.409 * [backup-simplify]: Simplify 0 into 0 10.409 * [backup-simplify]: Simplify 0 into 0 10.410 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.410 * [backup-simplify]: Simplify 0 into 0 10.410 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 10.410 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 10.410 * [taylor]: Taking taylor expansion of 0 in x 10.410 * [backup-simplify]: Simplify 0 into 0 10.410 * [taylor]: Taking taylor expansion of 0 in z 10.411 * [backup-simplify]: Simplify 0 into 0 10.411 * [taylor]: Taking taylor expansion of 0 in z 10.411 * [backup-simplify]: Simplify 0 into 0 10.411 * [taylor]: Taking taylor expansion of 0 in z 10.411 * [backup-simplify]: Simplify 0 into 0 10.411 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 10.411 * [taylor]: Taking taylor expansion of 0 in z 10.411 * [backup-simplify]: Simplify 0 into 0 10.411 * [backup-simplify]: Simplify 0 into 0 10.411 * [backup-simplify]: Simplify 0 into 0 10.411 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* x y))) into (/ (* x y) z) 10.411 * [backup-simplify]: Simplify (* (/ 1 y) (/ (/ 1 x) (/ 1 z))) into (/ z (* x y)) 10.411 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (y x z) around 0 10.411 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 10.411 * [taylor]: Taking taylor expansion of z in z 10.411 * [backup-simplify]: Simplify 0 into 0 10.411 * [backup-simplify]: Simplify 1 into 1 10.411 * [taylor]: Taking taylor expansion of (* x y) in z 10.411 * [taylor]: Taking taylor expansion of x in z 10.411 * [backup-simplify]: Simplify x into x 10.411 * [taylor]: Taking taylor expansion of y in z 10.411 * [backup-simplify]: Simplify y into y 10.411 * [backup-simplify]: Simplify (* x y) into (* x y) 10.411 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 10.411 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 10.411 * [taylor]: Taking taylor expansion of z in x 10.411 * [backup-simplify]: Simplify z into z 10.411 * [taylor]: Taking taylor expansion of (* x y) in x 10.411 * [taylor]: Taking taylor expansion of x in x 10.411 * [backup-simplify]: Simplify 0 into 0 10.411 * [backup-simplify]: Simplify 1 into 1 10.411 * [taylor]: Taking taylor expansion of y in x 10.411 * [backup-simplify]: Simplify y into y 10.411 * [backup-simplify]: Simplify (* 0 y) into 0 10.412 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.412 * [backup-simplify]: Simplify (/ z y) into (/ z y) 10.412 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 10.412 * [taylor]: Taking taylor expansion of z in y 10.412 * [backup-simplify]: Simplify z into z 10.412 * [taylor]: Taking taylor expansion of (* x y) in y 10.412 * [taylor]: Taking taylor expansion of x in y 10.412 * [backup-simplify]: Simplify x into x 10.412 * [taylor]: Taking taylor expansion of y in y 10.412 * [backup-simplify]: Simplify 0 into 0 10.412 * [backup-simplify]: Simplify 1 into 1 10.412 * [backup-simplify]: Simplify (* x 0) into 0 10.412 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 10.412 * [backup-simplify]: Simplify (/ z x) into (/ z x) 10.412 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 10.412 * [taylor]: Taking taylor expansion of z in y 10.412 * [backup-simplify]: Simplify z into z 10.412 * [taylor]: Taking taylor expansion of (* x y) in y 10.412 * [taylor]: Taking taylor expansion of x in y 10.412 * [backup-simplify]: Simplify x into x 10.412 * [taylor]: Taking taylor expansion of y in y 10.412 * [backup-simplify]: Simplify 0 into 0 10.413 * [backup-simplify]: Simplify 1 into 1 10.413 * [backup-simplify]: Simplify (* x 0) into 0 10.413 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 10.413 * [backup-simplify]: Simplify (/ z x) into (/ z x) 10.413 * [taylor]: Taking taylor expansion of (/ z x) in x 10.413 * [taylor]: Taking taylor expansion of z in x 10.413 * [backup-simplify]: Simplify z into z 10.413 * [taylor]: Taking taylor expansion of x in x 10.413 * [backup-simplify]: Simplify 0 into 0 10.413 * [backup-simplify]: Simplify 1 into 1 10.413 * [backup-simplify]: Simplify (/ z 1) into z 10.413 * [taylor]: Taking taylor expansion of z in z 10.413 * [backup-simplify]: Simplify 0 into 0 10.413 * [backup-simplify]: Simplify 1 into 1 10.413 * [backup-simplify]: Simplify 1 into 1 10.414 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 10.414 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0 10.414 * [taylor]: Taking taylor expansion of 0 in x 10.414 * [backup-simplify]: Simplify 0 into 0 10.414 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 10.415 * [taylor]: Taking taylor expansion of 0 in z 10.415 * [backup-simplify]: Simplify 0 into 0 10.415 * [backup-simplify]: Simplify 0 into 0 10.415 * [backup-simplify]: Simplify 0 into 0 10.415 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 10.415 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 10.415 * [taylor]: Taking taylor expansion of 0 in x 10.415 * [backup-simplify]: Simplify 0 into 0 10.415 * [taylor]: Taking taylor expansion of 0 in z 10.415 * [backup-simplify]: Simplify 0 into 0 10.415 * [backup-simplify]: Simplify 0 into 0 10.416 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.416 * [taylor]: Taking taylor expansion of 0 in z 10.416 * [backup-simplify]: Simplify 0 into 0 10.416 * [backup-simplify]: Simplify 0 into 0 10.416 * [backup-simplify]: Simplify 0 into 0 10.416 * [backup-simplify]: Simplify 0 into 0 10.416 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (/ (* x y) z) 10.417 * [backup-simplify]: Simplify (* (/ 1 (- y)) (/ (/ 1 (- x)) (/ 1 (- z)))) into (* -1 (/ z (* x y))) 10.417 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (y x z) around 0 10.417 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 10.417 * [taylor]: Taking taylor expansion of -1 in z 10.417 * [backup-simplify]: Simplify -1 into -1 10.417 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 10.417 * [taylor]: Taking taylor expansion of z in z 10.417 * [backup-simplify]: Simplify 0 into 0 10.417 * [backup-simplify]: Simplify 1 into 1 10.417 * [taylor]: Taking taylor expansion of (* x y) in z 10.417 * [taylor]: Taking taylor expansion of x in z 10.417 * [backup-simplify]: Simplify x into x 10.417 * [taylor]: Taking taylor expansion of y in z 10.417 * [backup-simplify]: Simplify y into y 10.417 * [backup-simplify]: Simplify (* x y) into (* x y) 10.417 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 10.417 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 10.417 * [taylor]: Taking taylor expansion of -1 in x 10.417 * [backup-simplify]: Simplify -1 into -1 10.417 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 10.417 * [taylor]: Taking taylor expansion of z in x 10.417 * [backup-simplify]: Simplify z into z 10.417 * [taylor]: Taking taylor expansion of (* x y) in x 10.417 * [taylor]: Taking taylor expansion of x in x 10.417 * [backup-simplify]: Simplify 0 into 0 10.417 * [backup-simplify]: Simplify 1 into 1 10.417 * [taylor]: Taking taylor expansion of y in x 10.417 * [backup-simplify]: Simplify y into y 10.417 * [backup-simplify]: Simplify (* 0 y) into 0 10.417 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.417 * [backup-simplify]: Simplify (/ z y) into (/ z y) 10.417 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 10.417 * [taylor]: Taking taylor expansion of -1 in y 10.417 * [backup-simplify]: Simplify -1 into -1 10.417 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 10.417 * [taylor]: Taking taylor expansion of z in y 10.418 * [backup-simplify]: Simplify z into z 10.418 * [taylor]: Taking taylor expansion of (* x y) in y 10.418 * [taylor]: Taking taylor expansion of x in y 10.418 * [backup-simplify]: Simplify x into x 10.418 * [taylor]: Taking taylor expansion of y in y 10.418 * [backup-simplify]: Simplify 0 into 0 10.418 * [backup-simplify]: Simplify 1 into 1 10.418 * [backup-simplify]: Simplify (* x 0) into 0 10.418 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 10.418 * [backup-simplify]: Simplify (/ z x) into (/ z x) 10.418 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 10.418 * [taylor]: Taking taylor expansion of -1 in y 10.418 * [backup-simplify]: Simplify -1 into -1 10.418 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 10.418 * [taylor]: Taking taylor expansion of z in y 10.418 * [backup-simplify]: Simplify z into z 10.418 * [taylor]: Taking taylor expansion of (* x y) in y 10.418 * [taylor]: Taking taylor expansion of x in y 10.418 * [backup-simplify]: Simplify x into x 10.418 * [taylor]: Taking taylor expansion of y in y 10.418 * [backup-simplify]: Simplify 0 into 0 10.418 * [backup-simplify]: Simplify 1 into 1 10.418 * [backup-simplify]: Simplify (* x 0) into 0 10.418 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 10.418 * [backup-simplify]: Simplify (/ z x) into (/ z x) 10.419 * [backup-simplify]: Simplify (* -1 (/ z x)) into (* -1 (/ z x)) 10.419 * [taylor]: Taking taylor expansion of (* -1 (/ z x)) in x 10.419 * [taylor]: Taking taylor expansion of -1 in x 10.419 * [backup-simplify]: Simplify -1 into -1 10.419 * [taylor]: Taking taylor expansion of (/ z x) in x 10.419 * [taylor]: Taking taylor expansion of z in x 10.419 * [backup-simplify]: Simplify z into z 10.419 * [taylor]: Taking taylor expansion of x in x 10.419 * [backup-simplify]: Simplify 0 into 0 10.419 * [backup-simplify]: Simplify 1 into 1 10.419 * [backup-simplify]: Simplify (/ z 1) into z 10.419 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 10.419 * [taylor]: Taking taylor expansion of (* -1 z) in z 10.419 * [taylor]: Taking taylor expansion of -1 in z 10.419 * [backup-simplify]: Simplify -1 into -1 10.419 * [taylor]: Taking taylor expansion of z in z 10.419 * [backup-simplify]: Simplify 0 into 0 10.419 * [backup-simplify]: Simplify 1 into 1 10.419 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1 10.419 * [backup-simplify]: Simplify -1 into -1 10.420 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 10.420 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0 10.420 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ z x))) into 0 10.420 * [taylor]: Taking taylor expansion of 0 in x 10.420 * [backup-simplify]: Simplify 0 into 0 10.421 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 10.421 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 z)) into 0 10.421 * [taylor]: Taking taylor expansion of 0 in z 10.421 * [backup-simplify]: Simplify 0 into 0 10.421 * [backup-simplify]: Simplify 0 into 0 10.422 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 10.422 * [backup-simplify]: Simplify 0 into 0 10.422 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 10.422 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 10.423 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z x)))) into 0 10.423 * [taylor]: Taking taylor expansion of 0 in x 10.423 * [backup-simplify]: Simplify 0 into 0 10.423 * [taylor]: Taking taylor expansion of 0 in z 10.423 * [backup-simplify]: Simplify 0 into 0 10.423 * [backup-simplify]: Simplify 0 into 0 10.424 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.424 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0 10.424 * [taylor]: Taking taylor expansion of 0 in z 10.424 * [backup-simplify]: Simplify 0 into 0 10.424 * [backup-simplify]: Simplify 0 into 0 10.424 * [backup-simplify]: Simplify 0 into 0 10.425 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 10.425 * [backup-simplify]: Simplify 0 into 0 10.425 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) into (/ (* x y) z) 10.425 * * * [progress]: simplifying candidates 10.426 * [simplify]: Simplifying: (expm1 (* y (/ x z))) (log1p (* y (/ x z))) (* y (/ x z)) (+ (log y) (- (log x) (log z))) (+ (log y) (log (/ x z))) (log (* y (/ x z))) (exp (* y (/ x z))) (* (* (* y y) y) (/ (* (* x x) x) (* (* z z) z))) (* (* (* y y) y) (* (* (/ x z) (/ x z)) (/ x z))) (* (cbrt (* y (/ x z))) (cbrt (* y (/ x z)))) (cbrt (* y (/ x z))) (* (* (* y (/ x z)) (* y (/ x z))) (* y (/ x z))) (sqrt (* y (/ x z))) (sqrt (* y (/ x z))) (* (sqrt y) (sqrt (/ x z))) (* (sqrt y) (sqrt (/ x z))) (* (sqrt y) (/ (sqrt x) (sqrt z))) (* (sqrt y) (/ (sqrt x) (sqrt z))) (* y (* (cbrt (/ x z)) (cbrt (/ x z)))) (* y (sqrt (/ x z))) (* y (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))) (* y (/ (* (cbrt x) (cbrt x)) (sqrt z))) (* y (/ (* (cbrt x) (cbrt x)) 1)) (* y (/ (sqrt x) (* (cbrt z) (cbrt z)))) (* y (/ (sqrt x) (sqrt z))) (* y (/ (sqrt x) 1)) (* y (/ 1 (* (cbrt z) (cbrt z)))) (* y (/ 1 (sqrt z))) (* y (/ 1 1)) (* y 1) (* y x) (* (cbrt y) (/ x z)) (* (sqrt y) (/ x z)) (* y (/ x z)) (* y x) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 10.427 * * [simplify]: Extracting # 0 : cost 0 10.427 * * [simplify]: Extracting # 1 : cost 0 10.427 * * [simplify]: Extracting # 2 : cost 0 10.428 * * [simplify]: Extracting # 3 : cost 0 10.428 * * [simplify]: Extracting # 4 : cost 0 10.428 * * [simplify]: Extracting # 5 : cost 0 10.428 * * [simplify]: Extracting # 6 : cost 0 10.428 * * [simplify]: Extracting # 7 : cost 0 10.428 * * [simplify]: iteration 0 : 72 enodes (cost 289 ) 10.464 * * [simplify]: Extracting # 0 : cost 0 10.464 * * [simplify]: Extracting # 1 : cost 0 10.464 * * [simplify]: Extracting # 2 : cost 0 10.465 * * [simplify]: iteration 1 : 165 enodes (cost 272 ) 10.521 * * [simplify]: Extracting # 0 : cost 0 10.522 * * [simplify]: Extracting # 1 : cost 0 10.523 * * [simplify]: Extracting # 2 : cost 0 10.524 * * [simplify]: Extracting # 3 : cost 0 10.525 * * [simplify]: Extracting # 4 : cost 0 10.526 * * [simplify]: Extracting # 5 : cost 0 10.527 * * [simplify]: iteration 2 : 450 enodes (cost 242 ) 10.815 * * [simplify]: Extracting # 0 : cost 0 10.818 * * [simplify]: Extracting # 1 : cost 0 10.820 * * [simplify]: Extracting # 2 : cost 0 10.822 * * [simplify]: Extracting # 3 : cost 0 10.824 * * [simplify]: Extracting # 4 : cost 0 10.826 * * [simplify]: iteration 3 : 1179 enodes (cost 242 ) 12.461 * * [simplify]: Extracting # 0 : cost 0 12.468 * * [simplify]: Extracting # 1 : cost 0 12.482 * * [simplify]: Extracting # 2 : cost 0 12.487 * * [simplify]: Extracting # 3 : cost 0 12.491 * * [simplify]: Extracting # 4 : cost 0 12.494 * * [simplify]: iteration 4 : 3001 enodes (cost 242 ) 14.544 * * [simplify]: Extracting # 0 : cost 0 14.551 * * [simplify]: Extracting # 1 : cost 0 14.561 * * [simplify]: Extracting # 2 : cost 0 14.570 * * [simplify]: Extracting # 3 : cost 0 14.580 * * [simplify]: Extracting # 4 : cost 0 14.589 * * [simplify]: iteration done: 5000 enodes (cost 242 ) 14.590 * [simplify]: Simplified to: (expm1 (* y (/ x z))) (log1p (* y (/ x z))) (* y (/ x z)) (log (* y (/ x z))) (log (* y (/ x z))) (log (* y (/ x z))) (exp (* y (/ x z))) (pow (* y (/ x z)) 3) (pow (* y (/ x z)) 3) (* (cbrt (* y (/ x z))) (cbrt (* y (/ x z)))) (cbrt (* y (/ x z))) (pow (* y (/ x z)) 3) (sqrt (* y (/ x z))) (sqrt (* y (/ x z))) (* (sqrt y) (sqrt (/ x z))) (* (sqrt y) (sqrt (/ x z))) (* (sqrt y) (/ (sqrt x) (sqrt z))) (* (sqrt y) (/ (sqrt x) (sqrt z))) (* y (* (cbrt (/ x z)) (cbrt (/ x z)))) (* y (sqrt (/ x z))) (* y (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))) (* y (/ (* (cbrt x) (cbrt x)) (sqrt z))) (* y (* (cbrt x) (cbrt x))) (* y (/ (sqrt x) (* (cbrt z) (cbrt z)))) (* y (/ (sqrt x) (sqrt z))) (* (sqrt x) y) (/ y (* (cbrt z) (cbrt z))) (/ y (sqrt z)) y y (* y x) (* (cbrt y) (/ x z)) (* (sqrt y) (/ x z)) (* y (/ x z)) (* y x) (* y (/ x z)) (* y (/ x z)) (* y (/ x z)) 14.590 * * * [progress]: adding candidates to table 14.723 * * [progress]: iteration 3 / 4 14.723 * * * [progress]: picking best candidate 14.743 * * * * [pick]: Picked # 14.743 * * * [progress]: localizing error 14.751 * * * [progress]: generating rewritten candidates 14.751 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 14.766 * * * [progress]: generating series expansions 14.766 * * * * [progress]: [ 1 / 1 ] generating series at (2) 14.766 * [backup-simplify]: Simplify (/ (* y x) z) into (/ (* x y) z) 14.766 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (y x z) around 0 14.766 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 14.766 * [taylor]: Taking taylor expansion of (* x y) in z 14.766 * [taylor]: Taking taylor expansion of x in z 14.766 * [backup-simplify]: Simplify x into x 14.766 * [taylor]: Taking taylor expansion of y in z 14.766 * [backup-simplify]: Simplify y into y 14.766 * [taylor]: Taking taylor expansion of z in z 14.766 * [backup-simplify]: Simplify 0 into 0 14.766 * [backup-simplify]: Simplify 1 into 1 14.766 * [backup-simplify]: Simplify (* x y) into (* x y) 14.766 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 14.766 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 14.766 * [taylor]: Taking taylor expansion of (* x y) in x 14.766 * [taylor]: Taking taylor expansion of x in x 14.766 * [backup-simplify]: Simplify 0 into 0 14.766 * [backup-simplify]: Simplify 1 into 1 14.766 * [taylor]: Taking taylor expansion of y in x 14.766 * [backup-simplify]: Simplify y into y 14.766 * [taylor]: Taking taylor expansion of z in x 14.766 * [backup-simplify]: Simplify z into z 14.766 * [backup-simplify]: Simplify (* 0 y) into 0 14.767 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 14.767 * [backup-simplify]: Simplify (/ y z) into (/ y z) 14.767 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 14.767 * [taylor]: Taking taylor expansion of (* x y) in y 14.767 * [taylor]: Taking taylor expansion of x in y 14.767 * [backup-simplify]: Simplify x into x 14.767 * [taylor]: Taking taylor expansion of y in y 14.767 * [backup-simplify]: Simplify 0 into 0 14.767 * [backup-simplify]: Simplify 1 into 1 14.767 * [taylor]: Taking taylor expansion of z in y 14.767 * [backup-simplify]: Simplify z into z 14.767 * [backup-simplify]: Simplify (* x 0) into 0 14.767 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 14.767 * [backup-simplify]: Simplify (/ x z) into (/ x z) 14.767 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 14.767 * [taylor]: Taking taylor expansion of (* x y) in y 14.767 * [taylor]: Taking taylor expansion of x in y 14.767 * [backup-simplify]: Simplify x into x 14.767 * [taylor]: Taking taylor expansion of y in y 14.767 * [backup-simplify]: Simplify 0 into 0 14.768 * [backup-simplify]: Simplify 1 into 1 14.768 * [taylor]: Taking taylor expansion of z in y 14.768 * [backup-simplify]: Simplify z into z 14.768 * [backup-simplify]: Simplify (* x 0) into 0 14.768 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 14.768 * [backup-simplify]: Simplify (/ x z) into (/ x z) 14.768 * [taylor]: Taking taylor expansion of (/ x z) in x 14.768 * [taylor]: Taking taylor expansion of x in x 14.768 * [backup-simplify]: Simplify 0 into 0 14.768 * [backup-simplify]: Simplify 1 into 1 14.768 * [taylor]: Taking taylor expansion of z in x 14.768 * [backup-simplify]: Simplify z into z 14.768 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 14.768 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.768 * [taylor]: Taking taylor expansion of z in z 14.768 * [backup-simplify]: Simplify 0 into 0 14.768 * [backup-simplify]: Simplify 1 into 1 14.768 * [backup-simplify]: Simplify (/ 1 1) into 1 14.768 * [backup-simplify]: Simplify 1 into 1 14.769 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 14.769 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0 14.769 * [taylor]: Taking taylor expansion of 0 in x 14.769 * [backup-simplify]: Simplify 0 into 0 14.769 * [taylor]: Taking taylor expansion of 0 in z 14.769 * [backup-simplify]: Simplify 0 into 0 14.769 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 14.769 * [taylor]: Taking taylor expansion of 0 in z 14.769 * [backup-simplify]: Simplify 0 into 0 14.770 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.770 * [backup-simplify]: Simplify 0 into 0 14.770 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 14.770 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 14.770 * [taylor]: Taking taylor expansion of 0 in x 14.770 * [backup-simplify]: Simplify 0 into 0 14.770 * [taylor]: Taking taylor expansion of 0 in z 14.770 * [backup-simplify]: Simplify 0 into 0 14.770 * [taylor]: Taking taylor expansion of 0 in z 14.770 * [backup-simplify]: Simplify 0 into 0 14.770 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 14.770 * [taylor]: Taking taylor expansion of 0 in z 14.770 * [backup-simplify]: Simplify 0 into 0 14.770 * [backup-simplify]: Simplify 0 into 0 14.771 * [backup-simplify]: Simplify 0 into 0 14.771 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.771 * [backup-simplify]: Simplify 0 into 0 14.772 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 14.772 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 14.772 * [taylor]: Taking taylor expansion of 0 in x 14.772 * [backup-simplify]: Simplify 0 into 0 14.772 * [taylor]: Taking taylor expansion of 0 in z 14.772 * [backup-simplify]: Simplify 0 into 0 14.772 * [taylor]: Taking taylor expansion of 0 in z 14.772 * [backup-simplify]: Simplify 0 into 0 14.772 * [taylor]: Taking taylor expansion of 0 in z 14.772 * [backup-simplify]: Simplify 0 into 0 14.772 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 14.772 * [taylor]: Taking taylor expansion of 0 in z 14.772 * [backup-simplify]: Simplify 0 into 0 14.772 * [backup-simplify]: Simplify 0 into 0 14.772 * [backup-simplify]: Simplify 0 into 0 14.772 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* x y))) into (/ (* x y) z) 14.772 * [backup-simplify]: Simplify (/ (* (/ 1 y) (/ 1 x)) (/ 1 z)) into (/ z (* x y)) 14.772 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (y x z) around 0 14.772 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 14.772 * [taylor]: Taking taylor expansion of z in z 14.772 * [backup-simplify]: Simplify 0 into 0 14.772 * [backup-simplify]: Simplify 1 into 1 14.772 * [taylor]: Taking taylor expansion of (* x y) in z 14.772 * [taylor]: Taking taylor expansion of x in z 14.772 * [backup-simplify]: Simplify x into x 14.772 * [taylor]: Taking taylor expansion of y in z 14.772 * [backup-simplify]: Simplify y into y 14.773 * [backup-simplify]: Simplify (* x y) into (* x y) 14.773 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 14.773 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 14.773 * [taylor]: Taking taylor expansion of z in x 14.773 * [backup-simplify]: Simplify z into z 14.773 * [taylor]: Taking taylor expansion of (* x y) in x 14.773 * [taylor]: Taking taylor expansion of x in x 14.773 * [backup-simplify]: Simplify 0 into 0 14.773 * [backup-simplify]: Simplify 1 into 1 14.773 * [taylor]: Taking taylor expansion of y in x 14.773 * [backup-simplify]: Simplify y into y 14.773 * [backup-simplify]: Simplify (* 0 y) into 0 14.773 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 14.773 * [backup-simplify]: Simplify (/ z y) into (/ z y) 14.773 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 14.773 * [taylor]: Taking taylor expansion of z in y 14.773 * [backup-simplify]: Simplify z into z 14.773 * [taylor]: Taking taylor expansion of (* x y) in y 14.773 * [taylor]: Taking taylor expansion of x in y 14.773 * [backup-simplify]: Simplify x into x 14.773 * [taylor]: Taking taylor expansion of y in y 14.773 * [backup-simplify]: Simplify 0 into 0 14.773 * [backup-simplify]: Simplify 1 into 1 14.773 * [backup-simplify]: Simplify (* x 0) into 0 14.774 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 14.774 * [backup-simplify]: Simplify (/ z x) into (/ z x) 14.774 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 14.774 * [taylor]: Taking taylor expansion of z in y 14.774 * [backup-simplify]: Simplify z into z 14.774 * [taylor]: Taking taylor expansion of (* x y) in y 14.774 * [taylor]: Taking taylor expansion of x in y 14.774 * [backup-simplify]: Simplify x into x 14.774 * [taylor]: Taking taylor expansion of y in y 14.774 * [backup-simplify]: Simplify 0 into 0 14.774 * [backup-simplify]: Simplify 1 into 1 14.774 * [backup-simplify]: Simplify (* x 0) into 0 14.774 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 14.774 * [backup-simplify]: Simplify (/ z x) into (/ z x) 14.774 * [taylor]: Taking taylor expansion of (/ z x) in x 14.774 * [taylor]: Taking taylor expansion of z in x 14.774 * [backup-simplify]: Simplify z into z 14.774 * [taylor]: Taking taylor expansion of x in x 14.774 * [backup-simplify]: Simplify 0 into 0 14.774 * [backup-simplify]: Simplify 1 into 1 14.774 * [backup-simplify]: Simplify (/ z 1) into z 14.774 * [taylor]: Taking taylor expansion of z in z 14.774 * [backup-simplify]: Simplify 0 into 0 14.774 * [backup-simplify]: Simplify 1 into 1 14.774 * [backup-simplify]: Simplify 1 into 1 14.775 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 14.775 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0 14.775 * [taylor]: Taking taylor expansion of 0 in x 14.775 * [backup-simplify]: Simplify 0 into 0 14.775 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 14.775 * [taylor]: Taking taylor expansion of 0 in z 14.775 * [backup-simplify]: Simplify 0 into 0 14.775 * [backup-simplify]: Simplify 0 into 0 14.775 * [backup-simplify]: Simplify 0 into 0 14.776 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 14.776 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 14.776 * [taylor]: Taking taylor expansion of 0 in x 14.776 * [backup-simplify]: Simplify 0 into 0 14.776 * [taylor]: Taking taylor expansion of 0 in z 14.776 * [backup-simplify]: Simplify 0 into 0 14.776 * [backup-simplify]: Simplify 0 into 0 14.777 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.777 * [taylor]: Taking taylor expansion of 0 in z 14.777 * [backup-simplify]: Simplify 0 into 0 14.777 * [backup-simplify]: Simplify 0 into 0 14.777 * [backup-simplify]: Simplify 0 into 0 14.777 * [backup-simplify]: Simplify 0 into 0 14.777 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (/ (* x y) z) 14.777 * [backup-simplify]: Simplify (/ (* (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- z))) into (* -1 (/ z (* x y))) 14.777 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (y x z) around 0 14.777 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 14.777 * [taylor]: Taking taylor expansion of -1 in z 14.777 * [backup-simplify]: Simplify -1 into -1 14.777 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 14.777 * [taylor]: Taking taylor expansion of z in z 14.777 * [backup-simplify]: Simplify 0 into 0 14.777 * [backup-simplify]: Simplify 1 into 1 14.778 * [taylor]: Taking taylor expansion of (* x y) in z 14.778 * [taylor]: Taking taylor expansion of x in z 14.778 * [backup-simplify]: Simplify x into x 14.778 * [taylor]: Taking taylor expansion of y in z 14.778 * [backup-simplify]: Simplify y into y 14.778 * [backup-simplify]: Simplify (* x y) into (* x y) 14.778 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 14.778 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 14.778 * [taylor]: Taking taylor expansion of -1 in x 14.778 * [backup-simplify]: Simplify -1 into -1 14.778 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 14.778 * [taylor]: Taking taylor expansion of z in x 14.778 * [backup-simplify]: Simplify z into z 14.778 * [taylor]: Taking taylor expansion of (* x y) in x 14.778 * [taylor]: Taking taylor expansion of x in x 14.778 * [backup-simplify]: Simplify 0 into 0 14.778 * [backup-simplify]: Simplify 1 into 1 14.778 * [taylor]: Taking taylor expansion of y in x 14.778 * [backup-simplify]: Simplify y into y 14.778 * [backup-simplify]: Simplify (* 0 y) into 0 14.778 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 14.778 * [backup-simplify]: Simplify (/ z y) into (/ z y) 14.778 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 14.778 * [taylor]: Taking taylor expansion of -1 in y 14.778 * [backup-simplify]: Simplify -1 into -1 14.778 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 14.778 * [taylor]: Taking taylor expansion of z in y 14.778 * [backup-simplify]: Simplify z into z 14.778 * [taylor]: Taking taylor expansion of (* x y) in y 14.778 * [taylor]: Taking taylor expansion of x in y 14.778 * [backup-simplify]: Simplify x into x 14.778 * [taylor]: Taking taylor expansion of y in y 14.778 * [backup-simplify]: Simplify 0 into 0 14.778 * [backup-simplify]: Simplify 1 into 1 14.778 * [backup-simplify]: Simplify (* x 0) into 0 14.779 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 14.779 * [backup-simplify]: Simplify (/ z x) into (/ z x) 14.779 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 14.779 * [taylor]: Taking taylor expansion of -1 in y 14.779 * [backup-simplify]: Simplify -1 into -1 14.779 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 14.779 * [taylor]: Taking taylor expansion of z in y 14.779 * [backup-simplify]: Simplify z into z 14.779 * [taylor]: Taking taylor expansion of (* x y) in y 14.779 * [taylor]: Taking taylor expansion of x in y 14.779 * [backup-simplify]: Simplify x into x 14.779 * [taylor]: Taking taylor expansion of y in y 14.779 * [backup-simplify]: Simplify 0 into 0 14.779 * [backup-simplify]: Simplify 1 into 1 14.779 * [backup-simplify]: Simplify (* x 0) into 0 14.779 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 14.779 * [backup-simplify]: Simplify (/ z x) into (/ z x) 14.779 * [backup-simplify]: Simplify (* -1 (/ z x)) into (* -1 (/ z x)) 14.779 * [taylor]: Taking taylor expansion of (* -1 (/ z x)) in x 14.779 * [taylor]: Taking taylor expansion of -1 in x 14.779 * [backup-simplify]: Simplify -1 into -1 14.779 * [taylor]: Taking taylor expansion of (/ z x) in x 14.779 * [taylor]: Taking taylor expansion of z in x 14.779 * [backup-simplify]: Simplify z into z 14.779 * [taylor]: Taking taylor expansion of x in x 14.779 * [backup-simplify]: Simplify 0 into 0 14.779 * [backup-simplify]: Simplify 1 into 1 14.780 * [backup-simplify]: Simplify (/ z 1) into z 14.780 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 14.780 * [taylor]: Taking taylor expansion of (* -1 z) in z 14.780 * [taylor]: Taking taylor expansion of -1 in z 14.780 * [backup-simplify]: Simplify -1 into -1 14.780 * [taylor]: Taking taylor expansion of z in z 14.780 * [backup-simplify]: Simplify 0 into 0 14.780 * [backup-simplify]: Simplify 1 into 1 14.780 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1 14.780 * [backup-simplify]: Simplify -1 into -1 14.780 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 14.781 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0 14.781 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ z x))) into 0 14.781 * [taylor]: Taking taylor expansion of 0 in x 14.781 * [backup-simplify]: Simplify 0 into 0 14.781 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 14.782 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 z)) into 0 14.782 * [taylor]: Taking taylor expansion of 0 in z 14.782 * [backup-simplify]: Simplify 0 into 0 14.782 * [backup-simplify]: Simplify 0 into 0 14.783 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 14.783 * [backup-simplify]: Simplify 0 into 0 14.783 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 14.783 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 14.784 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z x)))) into 0 14.784 * [taylor]: Taking taylor expansion of 0 in x 14.784 * [backup-simplify]: Simplify 0 into 0 14.784 * [taylor]: Taking taylor expansion of 0 in z 14.784 * [backup-simplify]: Simplify 0 into 0 14.784 * [backup-simplify]: Simplify 0 into 0 14.785 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.785 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0 14.785 * [taylor]: Taking taylor expansion of 0 in z 14.785 * [backup-simplify]: Simplify 0 into 0 14.785 * [backup-simplify]: Simplify 0 into 0 14.785 * [backup-simplify]: Simplify 0 into 0 14.786 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 14.786 * [backup-simplify]: Simplify 0 into 0 14.786 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) into (/ (* x y) z) 14.786 * * * [progress]: simplifying candidates 14.787 * [simplify]: Simplifying: (expm1 (/ (* y x) z)) (log1p (/ (* y x) z)) (- (+ (log y) (log x)) (log z)) (- (log (* y x)) (log z)) (log (/ (* y x) z)) (exp (/ (* y x) z)) (/ (* (* (* y y) y) (* (* x x) x)) (* (* z z) z)) (/ (* (* (* y x) (* y x)) (* y x)) (* (* z z) z)) (* (cbrt (/ (* y x) z)) (cbrt (/ (* y x) z))) (cbrt (/ (* y x) z)) (* (* (/ (* y x) z) (/ (* y x) z)) (/ (* y x) z)) (sqrt (/ (* y x) z)) (sqrt (/ (* y x) z)) (- (* y x)) (- z) (/ y (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ y (sqrt z)) (/ x (sqrt z)) (/ y 1) (/ x z) (/ 1 z) (/ z (* y x)) (/ (* y x) (* (cbrt z) (cbrt z))) (/ (* y x) (sqrt z)) (/ (* y x) 1) (/ z x) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 14.787 * * [simplify]: Extracting # 0 : cost 0 14.787 * * [simplify]: Extracting # 1 : cost 0 14.787 * * [simplify]: Extracting # 2 : cost 0 14.787 * * [simplify]: Extracting # 3 : cost 0 14.787 * * [simplify]: Extracting # 4 : cost 0 14.787 * * [simplify]: Extracting # 5 : cost 0 14.788 * * [simplify]: Extracting # 6 : cost 0 14.788 * * [simplify]: iteration 0 : 52 enodes (cost 198 ) 14.799 * * [simplify]: Extracting # 0 : cost 0 14.799 * * [simplify]: Extracting # 1 : cost 0 14.799 * * [simplify]: Extracting # 2 : cost 0 14.799 * * [simplify]: iteration 1 : 114 enodes (cost 191 ) 14.839 * * [simplify]: Extracting # 0 : cost 0 14.839 * * [simplify]: Extracting # 1 : cost 0 14.840 * * [simplify]: Extracting # 2 : cost 0 14.840 * * [simplify]: Extracting # 3 : cost 0 14.840 * * [simplify]: Extracting # 4 : cost 0 14.841 * * [simplify]: iteration 2 : 402 enodes (cost 161 ) 15.285 * * [simplify]: Extracting # 0 : cost 0 15.287 * * [simplify]: Extracting # 1 : cost 0 15.289 * * [simplify]: Extracting # 2 : cost 0 15.291 * * [simplify]: Extracting # 3 : cost 0 15.293 * * [simplify]: Extracting # 4 : cost 0 15.295 * * [simplify]: iteration 3 : 1861 enodes (cost 161 ) 17.991 * * [simplify]: Extracting # 0 : cost 0 17.999 * * [simplify]: Extracting # 1 : cost 0 18.004 * * [simplify]: Extracting # 2 : cost 0 18.393 * * [simplify]: Extracting # 3 : cost 0 18.402 * * [simplify]: Extracting # 4 : cost 0 18.414 * * [simplify]: Extracting # 5 : cost 0 18.423 * * [simplify]: iteration done: 5000 enodes (cost 161 ) 18.423 * [simplify]: Simplified to: (expm1 (/ (* y x) z)) (log1p (/ (* y x) z)) (log (/ (* y x) z)) (log (/ (* y x) z)) (log (/ (* y x) z)) (exp (/ (* y x) z)) (pow (/ (* x y) z) 3) (pow (/ (* x y) z) 3) (* (cbrt (/ (* y x) z)) (cbrt (/ (* y x) z))) (cbrt (/ (* y x) z)) (pow (/ (* x y) z) 3) (sqrt (/ (* y x) z)) (sqrt (/ (* y x) z)) (- (* y x)) (- z) (/ y (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ y (sqrt z)) (/ x (sqrt z)) y (/ x z) (/ 1 z) (/ z (* y x)) (/ (* y x) (* (cbrt z) (cbrt z))) (/ (* y x) (sqrt z)) (* y x) (/ z x) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 18.423 * * * [progress]: adding candidates to table 18.467 * * [progress]: iteration 4 / 4 18.467 * * * [progress]: picking best candidate 18.475 * * * * [pick]: Picked # 18.475 * * * [progress]: localizing error 18.484 * * * [progress]: generating rewritten candidates 18.485 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 18.509 * * * [progress]: generating series expansions 18.509 * * * * [progress]: [ 1 / 1 ] generating series at (2) 18.509 * [backup-simplify]: Simplify (/ y (/ z x)) into (/ (* x y) z) 18.509 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (y z x) around 0 18.509 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 18.509 * [taylor]: Taking taylor expansion of (* x y) in x 18.509 * [taylor]: Taking taylor expansion of x in x 18.509 * [backup-simplify]: Simplify 0 into 0 18.509 * [backup-simplify]: Simplify 1 into 1 18.509 * [taylor]: Taking taylor expansion of y in x 18.509 * [backup-simplify]: Simplify y into y 18.509 * [taylor]: Taking taylor expansion of z in x 18.509 * [backup-simplify]: Simplify z into z 18.509 * [backup-simplify]: Simplify (* 0 y) into 0 18.510 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 18.510 * [backup-simplify]: Simplify (/ y z) into (/ y z) 18.510 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 18.510 * [taylor]: Taking taylor expansion of (* x y) in z 18.510 * [taylor]: Taking taylor expansion of x in z 18.510 * [backup-simplify]: Simplify x into x 18.510 * [taylor]: Taking taylor expansion of y in z 18.511 * [backup-simplify]: Simplify y into y 18.511 * [taylor]: Taking taylor expansion of z in z 18.511 * [backup-simplify]: Simplify 0 into 0 18.511 * [backup-simplify]: Simplify 1 into 1 18.511 * [backup-simplify]: Simplify (* x y) into (* x y) 18.511 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 18.511 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 18.511 * [taylor]: Taking taylor expansion of (* x y) in y 18.511 * [taylor]: Taking taylor expansion of x in y 18.511 * [backup-simplify]: Simplify x into x 18.511 * [taylor]: Taking taylor expansion of y in y 18.511 * [backup-simplify]: Simplify 0 into 0 18.511 * [backup-simplify]: Simplify 1 into 1 18.511 * [taylor]: Taking taylor expansion of z in y 18.511 * [backup-simplify]: Simplify z into z 18.511 * [backup-simplify]: Simplify (* x 0) into 0 18.512 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 18.512 * [backup-simplify]: Simplify (/ x z) into (/ x z) 18.512 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 18.512 * [taylor]: Taking taylor expansion of (* x y) in y 18.512 * [taylor]: Taking taylor expansion of x in y 18.512 * [backup-simplify]: Simplify x into x 18.512 * [taylor]: Taking taylor expansion of y in y 18.512 * [backup-simplify]: Simplify 0 into 0 18.512 * [backup-simplify]: Simplify 1 into 1 18.512 * [taylor]: Taking taylor expansion of z in y 18.512 * [backup-simplify]: Simplify z into z 18.512 * [backup-simplify]: Simplify (* x 0) into 0 18.512 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 18.512 * [backup-simplify]: Simplify (/ x z) into (/ x z) 18.513 * [taylor]: Taking taylor expansion of (/ x z) in z 18.513 * [taylor]: Taking taylor expansion of x in z 18.513 * [backup-simplify]: Simplify x into x 18.513 * [taylor]: Taking taylor expansion of z in z 18.513 * [backup-simplify]: Simplify 0 into 0 18.513 * [backup-simplify]: Simplify 1 into 1 18.513 * [backup-simplify]: Simplify (/ x 1) into x 18.513 * [taylor]: Taking taylor expansion of x in x 18.513 * [backup-simplify]: Simplify 0 into 0 18.513 * [backup-simplify]: Simplify 1 into 1 18.513 * [backup-simplify]: Simplify 1 into 1 18.514 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 18.514 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0 18.514 * [taylor]: Taking taylor expansion of 0 in z 18.514 * [backup-simplify]: Simplify 0 into 0 18.515 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0 18.515 * [taylor]: Taking taylor expansion of 0 in x 18.515 * [backup-simplify]: Simplify 0 into 0 18.515 * [backup-simplify]: Simplify 0 into 0 18.515 * [backup-simplify]: Simplify 0 into 0 18.516 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 18.516 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 18.516 * [taylor]: Taking taylor expansion of 0 in z 18.516 * [backup-simplify]: Simplify 0 into 0 18.516 * [taylor]: Taking taylor expansion of 0 in x 18.516 * [backup-simplify]: Simplify 0 into 0 18.516 * [backup-simplify]: Simplify 0 into 0 18.518 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.518 * [taylor]: Taking taylor expansion of 0 in x 18.518 * [backup-simplify]: Simplify 0 into 0 18.518 * [backup-simplify]: Simplify 0 into 0 18.518 * [backup-simplify]: Simplify 0 into 0 18.518 * [backup-simplify]: Simplify 0 into 0 18.518 * [backup-simplify]: Simplify (* 1 (* x (* (/ 1 z) y))) into (/ (* x y) z) 18.518 * [backup-simplify]: Simplify (/ (/ 1 y) (/ (/ 1 z) (/ 1 x))) into (/ z (* x y)) 18.518 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (y z x) around 0 18.518 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 18.518 * [taylor]: Taking taylor expansion of z in x 18.519 * [backup-simplify]: Simplify z into z 18.519 * [taylor]: Taking taylor expansion of (* x y) in x 18.519 * [taylor]: Taking taylor expansion of x in x 18.519 * [backup-simplify]: Simplify 0 into 0 18.519 * [backup-simplify]: Simplify 1 into 1 18.519 * [taylor]: Taking taylor expansion of y in x 18.519 * [backup-simplify]: Simplify y into y 18.519 * [backup-simplify]: Simplify (* 0 y) into 0 18.519 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 18.519 * [backup-simplify]: Simplify (/ z y) into (/ z y) 18.519 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 18.519 * [taylor]: Taking taylor expansion of z in z 18.519 * [backup-simplify]: Simplify 0 into 0 18.519 * [backup-simplify]: Simplify 1 into 1 18.519 * [taylor]: Taking taylor expansion of (* x y) in z 18.519 * [taylor]: Taking taylor expansion of x in z 18.520 * [backup-simplify]: Simplify x into x 18.520 * [taylor]: Taking taylor expansion of y in z 18.520 * [backup-simplify]: Simplify y into y 18.520 * [backup-simplify]: Simplify (* x y) into (* x y) 18.520 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 18.520 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 18.520 * [taylor]: Taking taylor expansion of z in y 18.520 * [backup-simplify]: Simplify z into z 18.520 * [taylor]: Taking taylor expansion of (* x y) in y 18.520 * [taylor]: Taking taylor expansion of x in y 18.520 * [backup-simplify]: Simplify x into x 18.520 * [taylor]: Taking taylor expansion of y in y 18.520 * [backup-simplify]: Simplify 0 into 0 18.520 * [backup-simplify]: Simplify 1 into 1 18.520 * [backup-simplify]: Simplify (* x 0) into 0 18.521 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 18.521 * [backup-simplify]: Simplify (/ z x) into (/ z x) 18.521 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 18.521 * [taylor]: Taking taylor expansion of z in y 18.521 * [backup-simplify]: Simplify z into z 18.521 * [taylor]: Taking taylor expansion of (* x y) in y 18.521 * [taylor]: Taking taylor expansion of x in y 18.521 * [backup-simplify]: Simplify x into x 18.521 * [taylor]: Taking taylor expansion of y in y 18.521 * [backup-simplify]: Simplify 0 into 0 18.521 * [backup-simplify]: Simplify 1 into 1 18.521 * [backup-simplify]: Simplify (* x 0) into 0 18.521 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 18.521 * [backup-simplify]: Simplify (/ z x) into (/ z x) 18.522 * [taylor]: Taking taylor expansion of (/ z x) in z 18.522 * [taylor]: Taking taylor expansion of z in z 18.522 * [backup-simplify]: Simplify 0 into 0 18.522 * [backup-simplify]: Simplify 1 into 1 18.522 * [taylor]: Taking taylor expansion of x in z 18.522 * [backup-simplify]: Simplify x into x 18.522 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 18.522 * [taylor]: Taking taylor expansion of (/ 1 x) in x 18.522 * [taylor]: Taking taylor expansion of x in x 18.522 * [backup-simplify]: Simplify 0 into 0 18.522 * [backup-simplify]: Simplify 1 into 1 18.522 * [backup-simplify]: Simplify (/ 1 1) into 1 18.522 * [backup-simplify]: Simplify 1 into 1 18.523 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 18.523 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0 18.523 * [taylor]: Taking taylor expansion of 0 in z 18.523 * [backup-simplify]: Simplify 0 into 0 18.523 * [taylor]: Taking taylor expansion of 0 in x 18.523 * [backup-simplify]: Simplify 0 into 0 18.524 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0 18.524 * [taylor]: Taking taylor expansion of 0 in x 18.524 * [backup-simplify]: Simplify 0 into 0 18.524 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 18.525 * [backup-simplify]: Simplify 0 into 0 18.525 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 18.526 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 18.526 * [taylor]: Taking taylor expansion of 0 in z 18.526 * [backup-simplify]: Simplify 0 into 0 18.526 * [taylor]: Taking taylor expansion of 0 in x 18.526 * [backup-simplify]: Simplify 0 into 0 18.526 * [taylor]: Taking taylor expansion of 0 in x 18.526 * [backup-simplify]: Simplify 0 into 0 18.526 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 18.526 * [taylor]: Taking taylor expansion of 0 in x 18.526 * [backup-simplify]: Simplify 0 into 0 18.526 * [backup-simplify]: Simplify 0 into 0 18.526 * [backup-simplify]: Simplify 0 into 0 18.527 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.527 * [backup-simplify]: Simplify 0 into 0 18.528 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 18.528 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 18.528 * [taylor]: Taking taylor expansion of 0 in z 18.529 * [backup-simplify]: Simplify 0 into 0 18.529 * [taylor]: Taking taylor expansion of 0 in x 18.529 * [backup-simplify]: Simplify 0 into 0 18.529 * [taylor]: Taking taylor expansion of 0 in x 18.529 * [backup-simplify]: Simplify 0 into 0 18.529 * [taylor]: Taking taylor expansion of 0 in x 18.529 * [backup-simplify]: Simplify 0 into 0 18.529 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 18.529 * [taylor]: Taking taylor expansion of 0 in x 18.529 * [backup-simplify]: Simplify 0 into 0 18.529 * [backup-simplify]: Simplify 0 into 0 18.529 * [backup-simplify]: Simplify 0 into 0 18.529 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 z) (/ 1 (/ 1 y))))) into (/ (* x y) z) 18.530 * [backup-simplify]: Simplify (/ (/ 1 (- y)) (/ (/ 1 (- z)) (/ 1 (- x)))) into (* -1 (/ z (* x y))) 18.530 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (y z x) around 0 18.530 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 18.530 * [taylor]: Taking taylor expansion of -1 in x 18.530 * [backup-simplify]: Simplify -1 into -1 18.530 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 18.530 * [taylor]: Taking taylor expansion of z in x 18.530 * [backup-simplify]: Simplify z into z 18.530 * [taylor]: Taking taylor expansion of (* x y) in x 18.530 * [taylor]: Taking taylor expansion of x in x 18.530 * [backup-simplify]: Simplify 0 into 0 18.530 * [backup-simplify]: Simplify 1 into 1 18.530 * [taylor]: Taking taylor expansion of y in x 18.530 * [backup-simplify]: Simplify y into y 18.530 * [backup-simplify]: Simplify (* 0 y) into 0 18.531 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 18.531 * [backup-simplify]: Simplify (/ z y) into (/ z y) 18.531 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 18.531 * [taylor]: Taking taylor expansion of -1 in z 18.531 * [backup-simplify]: Simplify -1 into -1 18.531 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 18.531 * [taylor]: Taking taylor expansion of z in z 18.531 * [backup-simplify]: Simplify 0 into 0 18.531 * [backup-simplify]: Simplify 1 into 1 18.531 * [taylor]: Taking taylor expansion of (* x y) in z 18.531 * [taylor]: Taking taylor expansion of x in z 18.531 * [backup-simplify]: Simplify x into x 18.531 * [taylor]: Taking taylor expansion of y in z 18.531 * [backup-simplify]: Simplify y into y 18.531 * [backup-simplify]: Simplify (* x y) into (* x y) 18.531 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 18.531 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 18.531 * [taylor]: Taking taylor expansion of -1 in y 18.531 * [backup-simplify]: Simplify -1 into -1 18.531 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 18.531 * [taylor]: Taking taylor expansion of z in y 18.531 * [backup-simplify]: Simplify z into z 18.531 * [taylor]: Taking taylor expansion of (* x y) in y 18.531 * [taylor]: Taking taylor expansion of x in y 18.531 * [backup-simplify]: Simplify x into x 18.531 * [taylor]: Taking taylor expansion of y in y 18.532 * [backup-simplify]: Simplify 0 into 0 18.532 * [backup-simplify]: Simplify 1 into 1 18.532 * [backup-simplify]: Simplify (* x 0) into 0 18.532 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 18.532 * [backup-simplify]: Simplify (/ z x) into (/ z x) 18.532 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 18.532 * [taylor]: Taking taylor expansion of -1 in y 18.532 * [backup-simplify]: Simplify -1 into -1 18.532 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 18.532 * [taylor]: Taking taylor expansion of z in y 18.532 * [backup-simplify]: Simplify z into z 18.532 * [taylor]: Taking taylor expansion of (* x y) in y 18.532 * [taylor]: Taking taylor expansion of x in y 18.532 * [backup-simplify]: Simplify x into x 18.532 * [taylor]: Taking taylor expansion of y in y 18.532 * [backup-simplify]: Simplify 0 into 0 18.533 * [backup-simplify]: Simplify 1 into 1 18.533 * [backup-simplify]: Simplify (* x 0) into 0 18.533 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 18.533 * [backup-simplify]: Simplify (/ z x) into (/ z x) 18.533 * [backup-simplify]: Simplify (* -1 (/ z x)) into (* -1 (/ z x)) 18.533 * [taylor]: Taking taylor expansion of (* -1 (/ z x)) in z 18.533 * [taylor]: Taking taylor expansion of -1 in z 18.533 * [backup-simplify]: Simplify -1 into -1 18.534 * [taylor]: Taking taylor expansion of (/ z x) in z 18.534 * [taylor]: Taking taylor expansion of z in z 18.534 * [backup-simplify]: Simplify 0 into 0 18.534 * [backup-simplify]: Simplify 1 into 1 18.534 * [taylor]: Taking taylor expansion of x in z 18.534 * [backup-simplify]: Simplify x into x 18.534 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 18.534 * [backup-simplify]: Simplify (* -1 (/ 1 x)) into (/ -1 x) 18.534 * [taylor]: Taking taylor expansion of (/ -1 x) in x 18.534 * [taylor]: Taking taylor expansion of -1 in x 18.534 * [backup-simplify]: Simplify -1 into -1 18.534 * [taylor]: Taking taylor expansion of x in x 18.534 * [backup-simplify]: Simplify 0 into 0 18.534 * [backup-simplify]: Simplify 1 into 1 18.534 * [backup-simplify]: Simplify (/ -1 1) into -1 18.534 * [backup-simplify]: Simplify -1 into -1 18.535 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 18.535 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0 18.536 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ z x))) into 0 18.536 * [taylor]: Taking taylor expansion of 0 in z 18.536 * [backup-simplify]: Simplify 0 into 0 18.536 * [taylor]: Taking taylor expansion of 0 in x 18.536 * [backup-simplify]: Simplify 0 into 0 18.536 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0 18.537 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 x))) into 0 18.537 * [taylor]: Taking taylor expansion of 0 in x 18.537 * [backup-simplify]: Simplify 0 into 0 18.538 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 18.538 * [backup-simplify]: Simplify 0 into 0 18.539 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 18.539 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 18.540 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z x)))) into 0 18.540 * [taylor]: Taking taylor expansion of 0 in z 18.540 * [backup-simplify]: Simplify 0 into 0 18.540 * [taylor]: Taking taylor expansion of 0 in x 18.540 * [backup-simplify]: Simplify 0 into 0 18.540 * [taylor]: Taking taylor expansion of 0 in x 18.540 * [backup-simplify]: Simplify 0 into 0 18.540 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 18.541 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0 18.541 * [taylor]: Taking taylor expansion of 0 in x 18.541 * [backup-simplify]: Simplify 0 into 0 18.541 * [backup-simplify]: Simplify 0 into 0 18.541 * [backup-simplify]: Simplify 0 into 0 18.542 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.542 * [backup-simplify]: Simplify 0 into 0 18.543 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 18.544 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 18.545 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ z x))))) into 0 18.545 * [taylor]: Taking taylor expansion of 0 in z 18.545 * [backup-simplify]: Simplify 0 into 0 18.545 * [taylor]: Taking taylor expansion of 0 in x 18.545 * [backup-simplify]: Simplify 0 into 0 18.545 * [taylor]: Taking taylor expansion of 0 in x 18.545 * [backup-simplify]: Simplify 0 into 0 18.545 * [taylor]: Taking taylor expansion of 0 in x 18.545 * [backup-simplify]: Simplify 0 into 0 18.545 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 18.547 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0 18.547 * [taylor]: Taking taylor expansion of 0 in x 18.547 * [backup-simplify]: Simplify 0 into 0 18.547 * [backup-simplify]: Simplify 0 into 0 18.547 * [backup-simplify]: Simplify 0 into 0 18.547 * [backup-simplify]: Simplify (* -1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (- z)) (/ 1 (/ 1 (- y)))))) into (/ (* x y) z) 18.547 * * * [progress]: simplifying candidates 18.549 * [simplify]: Simplifying: (expm1 (/ y (/ z x))) (log1p (/ y (/ z x))) (- (log y) (- (log z) (log x))) (- (log y) (log (/ z x))) (log (/ y (/ z x))) (exp (/ y (/ z x))) (/ (* (* y y) y) (/ (* (* z z) z) (* (* x x) x))) (/ (* (* y y) y) (* (* (/ z x) (/ z x)) (/ z 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))) (- y) (- (/ z x)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (/ z x)) (cbrt (/ z x)))) (/ (cbrt y) (cbrt (/ z x))) (/ (* (cbrt y) (cbrt y)) (sqrt (/ z x))) (/ (cbrt y) (sqrt (/ z x))) (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x)))) (/ (cbrt y) (/ (cbrt z) (cbrt x))) (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) (sqrt x))) (/ (cbrt y) (/ (cbrt z) (sqrt x))) (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) 1)) (/ (cbrt y) (/ (cbrt z) x)) (/ (* (cbrt y) (cbrt y)) (/ (sqrt z) (* (cbrt x) (cbrt x)))) (/ (cbrt y) (/ (sqrt z) (cbrt x))) (/ (* (cbrt y) (cbrt y)) (/ (sqrt z) (sqrt x))) (/ (cbrt y) (/ (sqrt z) (sqrt x))) (/ (* (cbrt y) (cbrt y)) (/ (sqrt z) 1)) (/ (cbrt y) (/ (sqrt z) x)) (/ (* (cbrt y) (cbrt y)) (/ 1 (* (cbrt x) (cbrt x)))) (/ (cbrt y) (/ z (cbrt x))) (/ (* (cbrt y) (cbrt y)) (/ 1 (sqrt x))) (/ (cbrt y) (/ z (sqrt x))) (/ (* (cbrt y) (cbrt y)) (/ 1 1)) (/ (cbrt y) (/ z x)) (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) (/ z x)) (/ (* (cbrt y) (cbrt y)) z) (/ (cbrt y) (/ 1 x)) (/ (sqrt y) (* (cbrt (/ z x)) (cbrt (/ z x)))) (/ (sqrt y) (cbrt (/ z x))) (/ (sqrt y) (sqrt (/ z x))) (/ (sqrt y) (sqrt (/ z x))) (/ (sqrt y) (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x)))) (/ (sqrt y) (/ (cbrt z) (cbrt x))) (/ (sqrt y) (/ (* (cbrt z) (cbrt z)) (sqrt x))) (/ (sqrt y) (/ (cbrt z) (sqrt x))) (/ (sqrt y) (/ (* (cbrt z) (cbrt z)) 1)) (/ (sqrt y) (/ (cbrt z) x)) (/ (sqrt y) (/ (sqrt z) (* (cbrt x) (cbrt x)))) (/ (sqrt y) (/ (sqrt z) (cbrt x))) (/ (sqrt y) (/ (sqrt z) (sqrt x))) (/ (sqrt y) (/ (sqrt z) (sqrt x))) (/ (sqrt y) (/ (sqrt z) 1)) (/ (sqrt y) (/ (sqrt z) x)) (/ (sqrt y) (/ 1 (* (cbrt x) (cbrt x)))) (/ (sqrt y) (/ z (cbrt x))) (/ (sqrt y) (/ 1 (sqrt x))) (/ (sqrt y) (/ z (sqrt x))) (/ (sqrt y) (/ 1 1)) (/ (sqrt y) (/ z x)) (/ (sqrt y) 1) (/ (sqrt y) (/ z x)) (/ (sqrt y) z) (/ (sqrt y) (/ 1 x)) (/ 1 (* (cbrt (/ z x)) (cbrt (/ z x)))) (/ y (cbrt (/ z x))) (/ 1 (sqrt (/ z x))) (/ y (sqrt (/ z x))) (/ 1 (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x)))) (/ y (/ (cbrt z) (cbrt x))) (/ 1 (/ (* (cbrt z) (cbrt z)) (sqrt x))) (/ y (/ (cbrt z) (sqrt x))) (/ 1 (/ (* (cbrt z) (cbrt z)) 1)) (/ y (/ (cbrt z) x)) (/ 1 (/ (sqrt z) (* (cbrt x) (cbrt x)))) (/ y (/ (sqrt z) (cbrt x))) (/ 1 (/ (sqrt z) (sqrt x))) (/ y (/ (sqrt z) (sqrt x))) (/ 1 (/ (sqrt z) 1)) (/ y (/ (sqrt z) x)) (/ 1 (/ 1 (* (cbrt x) (cbrt x)))) (/ y (/ z (cbrt x))) (/ 1 (/ 1 (sqrt x))) (/ y (/ z (sqrt x))) (/ 1 (/ 1 1)) (/ y (/ z x)) (/ 1 1) (/ y (/ z x)) (/ 1 z) (/ y (/ 1 x)) (/ 1 (/ z x)) (/ (/ z x) y) (/ y (* (cbrt (/ z x)) (cbrt (/ z x)))) (/ y (sqrt (/ z x))) (/ y (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x)))) (/ y (/ (* (cbrt z) (cbrt z)) (sqrt x))) (/ y (/ (* (cbrt z) (cbrt z)) 1)) (/ y (/ (sqrt z) (* (cbrt x) (cbrt x)))) (/ y (/ (sqrt z) (sqrt x))) (/ y (/ (sqrt z) 1)) (/ y (/ 1 (* (cbrt x) (cbrt x)))) (/ y (/ 1 (sqrt x))) (/ y (/ 1 1)) (/ y 1) (/ y z) (/ (/ z x) (cbrt y)) (/ (/ z x) (sqrt y)) (/ (/ z x) y) (/ y z) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 18.553 * * [simplify]: Extracting # 0 : cost 0 18.554 * * [simplify]: Extracting # 1 : cost 0 18.554 * * [simplify]: Extracting # 2 : cost 0 18.554 * * [simplify]: Extracting # 3 : cost 0 18.555 * * [simplify]: Extracting # 4 : cost 0 18.555 * * [simplify]: Extracting # 5 : cost 0 18.556 * * [simplify]: Extracting # 6 : cost 0 18.556 * * [simplify]: iteration 0 : 152 enodes (cost 892 ) 18.636 * * [simplify]: Extracting # 0 : cost 0 18.637 * * [simplify]: Extracting # 1 : cost 0 18.638 * * [simplify]: Extracting # 2 : cost 0 18.638 * * [simplify]: iteration 1 : 315 enodes (cost 825 ) 18.804 * * [simplify]: Extracting # 0 : cost 0 18.806 * * [simplify]: Extracting # 1 : cost 0 18.808 * * [simplify]: Extracting # 2 : cost 0 18.810 * * [simplify]: Extracting # 3 : cost 0 18.813 * * [simplify]: Extracting # 4 : cost 0 18.815 * * [simplify]: Extracting # 5 : cost 0 18.817 * * [simplify]: iteration 2 : 934 enodes (cost 785 ) 19.665 * * [simplify]: Extracting # 0 : cost 0 19.671 * * [simplify]: Extracting # 1 : cost 0 19.682 * * [simplify]: Extracting # 2 : cost 0 19.685 * * [simplify]: Extracting # 3 : cost 0 19.687 * * [simplify]: Extracting # 4 : cost 0 19.690 * * [simplify]: iteration 3 : 2727 enodes (cost 783 ) 20.821 * * [simplify]: Extracting # 0 : cost 0 20.828 * * [simplify]: Extracting # 1 : cost 0 20.846 * * [simplify]: Extracting # 2 : cost 0 20.854 * * [simplify]: iteration done: 5000 enodes (cost 783 ) 20.854 * [simplify]: Simplified to: (expm1 (/ y (/ z x))) (log1p (/ y (/ z x))) (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))) (- y) (- (/ z x)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (/ z x)) (cbrt (/ z x)))) (/ (cbrt y) (cbrt (/ z x))) (/ (* (cbrt y) (cbrt y)) (sqrt (/ z x))) (/ (cbrt y) (sqrt (/ z x))) (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x)))) (/ (cbrt y) (/ (cbrt z) (cbrt x))) (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) (sqrt x))) (* (cbrt y) (/ (sqrt x) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (cbrt y) (/ (cbrt z) x)) (/ (* (cbrt y) (cbrt y)) (/ (sqrt z) (* (cbrt x) (cbrt x)))) (/ (cbrt y) (/ (sqrt z) (cbrt x))) (/ (* (cbrt y) (cbrt y)) (/ (sqrt z) (sqrt x))) (/ (cbrt y) (/ (sqrt z) (sqrt x))) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (/ (sqrt z) x)) (* (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x))) (/ (cbrt y) (/ z (cbrt x))) (* (* (cbrt y) (cbrt y)) (sqrt x)) (/ (cbrt y) (/ z (sqrt x))) (* (cbrt y) (cbrt y)) (/ (cbrt y) (/ z x)) (* (cbrt y) (cbrt y)) (/ (cbrt y) (/ z x)) (/ (* (cbrt y) (cbrt y)) z) (* (cbrt y) x) (/ (sqrt y) (* (cbrt (/ z x)) (cbrt (/ z x)))) (/ (sqrt y) (cbrt (/ z x))) (/ (sqrt y) (sqrt (/ z x))) (/ (sqrt y) (sqrt (/ z x))) (/ (sqrt y) (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x)))) (* (sqrt y) (/ (cbrt x) (cbrt z))) (/ (sqrt y) (/ (* (cbrt z) (cbrt z)) (sqrt x))) (* (sqrt y) (/ (sqrt x) (cbrt z))) (/ (sqrt y) (* (cbrt z) (cbrt z))) (/ (sqrt y) (/ (cbrt z) x)) (/ (sqrt y) (/ (sqrt z) (* (cbrt x) (cbrt x)))) (/ (sqrt y) (/ (sqrt z) (cbrt x))) (/ (sqrt y) (/ (sqrt z) (sqrt x))) (/ (sqrt y) (/ (sqrt z) (sqrt x))) (/ (sqrt y) (sqrt z)) (/ (sqrt y) (/ (sqrt z) x)) (* (sqrt y) (* (cbrt x) (cbrt x))) (/ (sqrt y) (/ z (cbrt x))) (* (sqrt y) (sqrt x)) (/ (sqrt y) (/ z (sqrt x))) (sqrt y) (/ (sqrt y) (/ z x)) (sqrt y) (/ (sqrt y) (/ z x)) (/ (sqrt y) z) (* (sqrt y) x) (/ 1 (* (cbrt (/ z x)) (cbrt (/ z x)))) (/ y (cbrt (/ z x))) (/ 1 (sqrt (/ z x))) (/ y (sqrt (/ z x))) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (/ y (/ (cbrt z) (cbrt x))) (/ (sqrt x) (* (cbrt z) (cbrt z))) (* y (/ (sqrt x) (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (/ y (/ (cbrt z) x)) (/ (* (cbrt x) (cbrt x)) (sqrt z)) (/ y (/ (sqrt z) (cbrt x))) (/ (sqrt x) (sqrt z)) (/ y (/ (sqrt z) (sqrt x))) (/ 1 (sqrt z)) (/ y (/ (sqrt z) x)) (* (cbrt x) (cbrt x)) (/ y (/ z (cbrt x))) (sqrt x) (/ y (/ z (sqrt x))) 1 (/ (* x y) z) 1 (/ (* x y) z) (/ 1 z) (* x y) (/ x z) (/ (/ z x) y) (/ y (* (cbrt (/ z x)) (cbrt (/ z x)))) (/ y (sqrt (/ z x))) (/ y (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x)))) (/ y (/ (* (cbrt z) (cbrt z)) (sqrt x))) (/ y (* (cbrt z) (cbrt z))) (/ y (/ (sqrt z) (* (cbrt x) (cbrt x)))) (/ y (/ (sqrt z) (sqrt x))) (/ y (sqrt z)) (* y (* (cbrt x) (cbrt x))) (* y (sqrt x)) y y (/ y z) (/ (/ z x) (cbrt y)) (/ (/ z x) (sqrt y)) (/ (/ z x) y) (/ y z) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 20.855 * * * [progress]: adding candidates to table 21.091 * [progress]: [Phase 3 of 3] Extracting. 21.092 * * [regime]: Finding splitpoints for: (# # # # # # #) 21.093 * * * [regime-changes]: Trying 5 branch expressions: ((/ y z) t z y x) 21.093 * * * * [regimes]: Trying to branch on (/ y z) from (# # # # # # #) 21.115 * * * * [regimes]: Trying to branch on (/ y z) from (# #) 21.138 * * * * [regimes]: Trying to branch on t from (# # # # # # #) 21.162 * * * * [regimes]: Trying to branch on z from (# # # # # # #) 21.200 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 21.225 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 21.256 * * * [regime]: Found split indices: #