1545993400.432 * [misc]progress: [Phase 1 of 3] Setting up. 1545993400.432 * * * [misc]progress: [1/2] Preparing points 1545993400.432 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1545993400.464 * * * * [misc]points: Filtering points with unrepresentable outputs 1545993400.464 * * * * [misc]points: Sampling 37 additional inputs, on iter 1 have 219 / 256 1545993400.470 * * * * [misc]points: Filtering points with unrepresentable outputs 1545993400.470 * * * * [misc]points: Sampling 15 additional inputs, on iter 2 have 241 / 256 1545993400.472 * * * * [misc]points: Filtering points with unrepresentable outputs 1545993400.472 * * * * [misc]points: Sampling 4 additional inputs, on iter 3 have 252 / 256 1545993400.474 * * * * [misc]points: Filtering points with unrepresentable outputs 1545993400.474 * * * * [exit]points: Sampled 256 points with exact outputs 1545993400.474 * * * [misc]progress: [2/2] Setting up program. 1545993400.476 * [misc]progress: [Phase 2 of 3] Improving. 1545993400.477 * [enter]simplify: Simplifying (* x (/ (* (/ y z) t) t)) 1545993400.477 * * [misc]simplify: iters left: 6 (8 enodes) 1545993400.478 * * [misc]simplify: iters left: 5 (16 enodes) 1545993400.480 * * [misc]simplify: iters left: 4 (38 enodes) 1545993400.487 * * [misc]simplify: iters left: 3 (80 enodes) 1545993400.517 * * [misc]simplify: iters left: 2 (239 enodes) 1545993400.748 * [exit]simplify: Simplified to (* y (/ x z)) 1545993400.760 * * [misc]progress: iteration 1 / 4 1545993400.760 * * * [misc]progress: picking best candidate 1545993400.769 * * * * [misc]pick: Picked # 1545993400.769 * * * [misc]progress: localizing error 1545993400.782 * * * [misc]progress: generating rewritten candidates 1545993400.782 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1545993400.783 * * * [misc]progress: generating series expansions 1545993400.783 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1545993400.783 * [misc]backup-simplify: Simplify (* y (/ x z)) into (/ (* x y) z) 1545993400.783 * [misc]approximate: Taking taylor expansion of (/ (* x y) z) in (y x z) around 0 1545993400.783 * [misc]taylor: Taking taylor expansion of (/ (* x y) z) in z 1545993400.783 * [misc]taylor: Taking taylor expansion of (* x y) in z 1545993400.784 * [misc]taylor: Taking taylor expansion of x in z 1545993400.784 * [misc]backup-simplify: Simplify x into x 1545993400.784 * [misc]taylor: Taking taylor expansion of y in z 1545993400.784 * [misc]backup-simplify: Simplify y into y 1545993400.784 * [misc]taylor: Taking taylor expansion of z in z 1545993400.784 * [misc]backup-simplify: Simplify 0 into 0 1545993400.784 * [misc]backup-simplify: Simplify 1 into 1 1545993400.784 * [misc]backup-simplify: Simplify (* x y) into (* x y) 1545993400.784 * [misc]backup-simplify: Simplify (/ (* x y) 1) into (* x y) 1545993400.784 * [misc]taylor: Taking taylor expansion of (/ (* x y) z) in x 1545993400.784 * [misc]taylor: Taking taylor expansion of (* x y) in x 1545993400.784 * [misc]taylor: Taking taylor expansion of x in x 1545993400.784 * [misc]backup-simplify: Simplify 0 into 0 1545993400.784 * [misc]backup-simplify: Simplify 1 into 1 1545993400.784 * [misc]taylor: Taking taylor expansion of y in x 1545993400.784 * [misc]backup-simplify: Simplify y into y 1545993400.784 * [misc]taylor: Taking taylor expansion of z in x 1545993400.784 * [misc]backup-simplify: Simplify z into z 1545993400.784 * [misc]backup-simplify: Simplify (* 0 y) into 0 1545993400.784 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 y)) into y 1545993400.784 * [misc]backup-simplify: Simplify (/ y z) into (/ y z) 1545993400.784 * [misc]taylor: Taking taylor expansion of (/ (* x y) z) in y 1545993400.784 * [misc]taylor: Taking taylor expansion of (* x y) in y 1545993400.784 * [misc]taylor: Taking taylor expansion of x in y 1545993400.784 * [misc]backup-simplify: Simplify x into x 1545993400.784 * [misc]taylor: Taking taylor expansion of y in y 1545993400.784 * [misc]backup-simplify: Simplify 0 into 0 1545993400.784 * [misc]backup-simplify: Simplify 1 into 1 1545993400.784 * [misc]taylor: Taking taylor expansion of z in y 1545993400.784 * [misc]backup-simplify: Simplify z into z 1545993400.784 * [misc]backup-simplify: Simplify (* x 0) into 0 1545993400.784 * [misc]backup-simplify: Simplify (+ (* x 1) (* 0 0)) into x 1545993400.785 * [misc]backup-simplify: Simplify (/ x z) into (/ x z) 1545993400.785 * [misc]taylor: Taking taylor expansion of (/ (* x y) z) in y 1545993400.785 * [misc]taylor: Taking taylor expansion of (* x y) in y 1545993400.785 * [misc]taylor: Taking taylor expansion of x in y 1545993400.785 * [misc]backup-simplify: Simplify x into x 1545993400.785 * [misc]taylor: Taking taylor expansion of y in y 1545993400.785 * [misc]backup-simplify: Simplify 0 into 0 1545993400.785 * [misc]backup-simplify: Simplify 1 into 1 1545993400.785 * [misc]taylor: Taking taylor expansion of z in y 1545993400.785 * [misc]backup-simplify: Simplify z into z 1545993400.785 * [misc]backup-simplify: Simplify (* x 0) into 0 1545993400.785 * [misc]backup-simplify: Simplify (+ (* x 1) (* 0 0)) into x 1545993400.785 * [misc]backup-simplify: Simplify (/ x z) into (/ x z) 1545993400.785 * [misc]taylor: Taking taylor expansion of (/ x z) in x 1545993400.785 * [misc]taylor: Taking taylor expansion of x in x 1545993400.785 * [misc]backup-simplify: Simplify 0 into 0 1545993400.785 * [misc]backup-simplify: Simplify 1 into 1 1545993400.785 * [misc]taylor: Taking taylor expansion of z in x 1545993400.785 * [misc]backup-simplify: Simplify z into z 1545993400.785 * [misc]backup-simplify: Simplify (/ 1 z) into (/ 1 z) 1545993400.785 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1545993400.785 * [misc]taylor: Taking taylor expansion of z in z 1545993400.785 * [misc]backup-simplify: Simplify 0 into 0 1545993400.785 * [misc]backup-simplify: Simplify 1 into 1 1545993400.785 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545993400.785 * [misc]backup-simplify: Simplify 1 into 1 1545993400.785 * [misc]backup-simplify: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 1545993400.786 * [misc]backup-simplify: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0 1545993400.786 * [misc]taylor: Taking taylor expansion of 0 in x 1545993400.786 * [misc]backup-simplify: Simplify 0 into 0 1545993400.786 * [misc]taylor: Taking taylor expansion of 0 in z 1545993400.786 * [misc]backup-simplify: Simplify 0 into 0 1545993400.786 * [misc]backup-simplify: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 1545993400.786 * [misc]taylor: Taking taylor expansion of 0 in z 1545993400.786 * [misc]backup-simplify: Simplify 0 into 0 1545993400.786 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545993400.786 * [misc]backup-simplify: Simplify 0 into 0 1545993400.786 * [misc]backup-simplify: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1545993400.786 * [misc]backup-simplify: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 1545993400.786 * [misc]taylor: Taking taylor expansion of 0 in x 1545993400.786 * [misc]backup-simplify: Simplify 0 into 0 1545993400.786 * [misc]taylor: Taking taylor expansion of 0 in z 1545993400.786 * [misc]backup-simplify: Simplify 0 into 0 1545993400.786 * [misc]taylor: Taking taylor expansion of 0 in z 1545993400.786 * [misc]backup-simplify: Simplify 0 into 0 1545993400.786 * [misc]backup-simplify: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 1545993400.786 * [misc]taylor: Taking taylor expansion of 0 in z 1545993400.786 * [misc]backup-simplify: Simplify 0 into 0 1545993400.786 * [misc]backup-simplify: Simplify 0 into 0 1545993400.787 * [misc]backup-simplify: Simplify 0 into 0 1545993400.787 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545993400.787 * [misc]backup-simplify: Simplify 0 into 0 1545993400.787 * [misc]backup-simplify: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1545993400.787 * [misc]backup-simplify: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 1545993400.787 * [misc]taylor: Taking taylor expansion of 0 in x 1545993400.787 * [misc]backup-simplify: Simplify 0 into 0 1545993400.787 * [misc]taylor: Taking taylor expansion of 0 in z 1545993400.787 * [misc]backup-simplify: Simplify 0 into 0 1545993400.787 * [misc]taylor: Taking taylor expansion of 0 in z 1545993400.787 * [misc]backup-simplify: Simplify 0 into 0 1545993400.787 * [misc]taylor: Taking taylor expansion of 0 in z 1545993400.787 * [misc]backup-simplify: Simplify 0 into 0 1545993400.787 * [misc]backup-simplify: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 1545993400.787 * [misc]taylor: Taking taylor expansion of 0 in z 1545993400.787 * [misc]backup-simplify: Simplify 0 into 0 1545993400.787 * [misc]backup-simplify: Simplify 0 into 0 1545993400.787 * [misc]backup-simplify: Simplify 0 into 0 1545993400.788 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 z) (* x y))) into (/ (* x y) z) 1545993400.788 * [misc]backup-simplify: Simplify (* (/ 1 y) (/ (/ 1 x) (/ 1 z))) into (/ z (* x y)) 1545993400.788 * [misc]approximate: Taking taylor expansion of (/ z (* x y)) in (y x z) around 0 1545993400.788 * [misc]taylor: Taking taylor expansion of (/ z (* x y)) in z 1545993400.788 * [misc]taylor: Taking taylor expansion of z in z 1545993400.788 * [misc]backup-simplify: Simplify 0 into 0 1545993400.788 * [misc]backup-simplify: Simplify 1 into 1 1545993400.788 * [misc]taylor: Taking taylor expansion of (* x y) in z 1545993400.788 * [misc]taylor: Taking taylor expansion of x in z 1545993400.788 * [misc]backup-simplify: Simplify x into x 1545993400.788 * [misc]taylor: Taking taylor expansion of y in z 1545993400.788 * [misc]backup-simplify: Simplify y into y 1545993400.788 * [misc]backup-simplify: Simplify (* x y) into (* x y) 1545993400.788 * [misc]backup-simplify: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 1545993400.788 * [misc]taylor: Taking taylor expansion of (/ z (* x y)) in x 1545993400.788 * [misc]taylor: Taking taylor expansion of z in x 1545993400.788 * [misc]backup-simplify: Simplify z into z 1545993400.788 * [misc]taylor: Taking taylor expansion of (* x y) in x 1545993400.788 * [misc]taylor: Taking taylor expansion of x in x 1545993400.788 * [misc]backup-simplify: Simplify 0 into 0 1545993400.788 * [misc]backup-simplify: Simplify 1 into 1 1545993400.788 * [misc]taylor: Taking taylor expansion of y in x 1545993400.788 * [misc]backup-simplify: Simplify y into y 1545993400.788 * [misc]backup-simplify: Simplify (* 0 y) into 0 1545993400.788 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 y)) into y 1545993400.788 * [misc]backup-simplify: Simplify (/ z y) into (/ z y) 1545993400.788 * [misc]taylor: Taking taylor expansion of (/ z (* x y)) in y 1545993400.788 * [misc]taylor: Taking taylor expansion of z in y 1545993400.788 * [misc]backup-simplify: Simplify z into z 1545993400.788 * [misc]taylor: Taking taylor expansion of (* x y) in y 1545993400.788 * [misc]taylor: Taking taylor expansion of x in y 1545993400.788 * [misc]backup-simplify: Simplify x into x 1545993400.788 * [misc]taylor: Taking taylor expansion of y in y 1545993400.788 * [misc]backup-simplify: Simplify 0 into 0 1545993400.788 * [misc]backup-simplify: Simplify 1 into 1 1545993400.788 * [misc]backup-simplify: Simplify (* x 0) into 0 1545993400.789 * [misc]backup-simplify: Simplify (+ (* x 1) (* 0 0)) into x 1545993400.789 * [misc]backup-simplify: Simplify (/ z x) into (/ z x) 1545993400.789 * [misc]taylor: Taking taylor expansion of (/ z (* x y)) in y 1545993400.789 * [misc]taylor: Taking taylor expansion of z in y 1545993400.789 * [misc]backup-simplify: Simplify z into z 1545993400.789 * [misc]taylor: Taking taylor expansion of (* x y) in y 1545993400.789 * [misc]taylor: Taking taylor expansion of x in y 1545993400.789 * [misc]backup-simplify: Simplify x into x 1545993400.789 * [misc]taylor: Taking taylor expansion of y in y 1545993400.789 * [misc]backup-simplify: Simplify 0 into 0 1545993400.789 * [misc]backup-simplify: Simplify 1 into 1 1545993400.789 * [misc]backup-simplify: Simplify (* x 0) into 0 1545993400.789 * [misc]backup-simplify: Simplify (+ (* x 1) (* 0 0)) into x 1545993400.789 * [misc]backup-simplify: Simplify (/ z x) into (/ z x) 1545993400.789 * [misc]taylor: Taking taylor expansion of (/ z x) in x 1545993400.789 * [misc]taylor: Taking taylor expansion of z in x 1545993400.789 * [misc]backup-simplify: Simplify z into z 1545993400.789 * [misc]taylor: Taking taylor expansion of x in x 1545993400.789 * [misc]backup-simplify: Simplify 0 into 0 1545993400.789 * [misc]backup-simplify: Simplify 1 into 1 1545993400.789 * [misc]backup-simplify: Simplify (/ z 1) into z 1545993400.789 * [misc]taylor: Taking taylor expansion of z in z 1545993400.789 * [misc]backup-simplify: Simplify 0 into 0 1545993400.789 * [misc]backup-simplify: Simplify 1 into 1 1545993400.789 * [misc]backup-simplify: Simplify 1 into 1 1545993400.789 * [misc]backup-simplify: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 1545993400.789 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0 1545993400.789 * [misc]taylor: Taking taylor expansion of 0 in x 1545993400.789 * [misc]backup-simplify: Simplify 0 into 0 1545993400.790 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 1545993400.790 * [misc]taylor: Taking taylor expansion of 0 in z 1545993400.790 * [misc]backup-simplify: Simplify 0 into 0 1545993400.790 * [misc]backup-simplify: Simplify 0 into 0 1545993400.790 * [misc]backup-simplify: Simplify 0 into 0 1545993400.790 * [misc]backup-simplify: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1545993400.790 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1545993400.790 * [misc]taylor: Taking taylor expansion of 0 in x 1545993400.790 * [misc]backup-simplify: Simplify 0 into 0 1545993400.790 * [misc]taylor: Taking taylor expansion of 0 in z 1545993400.790 * [misc]backup-simplify: Simplify 0 into 0 1545993400.790 * [misc]backup-simplify: Simplify 0 into 0 1545993400.790 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545993400.790 * [misc]taylor: Taking taylor expansion of 0 in z 1545993400.791 * [misc]backup-simplify: Simplify 0 into 0 1545993400.791 * [misc]backup-simplify: Simplify 0 into 0 1545993400.791 * [misc]backup-simplify: Simplify 0 into 0 1545993400.791 * [misc]backup-simplify: Simplify 0 into 0 1545993400.791 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 z) (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (/ (* x y) z) 1545993400.791 * [misc]backup-simplify: Simplify (* (/ 1 (- y)) (/ (/ 1 (- x)) (/ 1 (- z)))) into (* -1 (/ z (* x y))) 1545993400.791 * [misc]approximate: Taking taylor expansion of (* -1 (/ z (* x y))) in (y x z) around 0 1545993400.791 * [misc]taylor: Taking taylor expansion of (* -1 (/ z (* x y))) in z 1545993400.791 * [misc]taylor: Taking taylor expansion of -1 in z 1545993400.791 * [misc]backup-simplify: Simplify -1 into -1 1545993400.791 * [misc]taylor: Taking taylor expansion of (/ z (* x y)) in z 1545993400.791 * [misc]taylor: Taking taylor expansion of z in z 1545993400.791 * [misc]backup-simplify: Simplify 0 into 0 1545993400.791 * [misc]backup-simplify: Simplify 1 into 1 1545993400.791 * [misc]taylor: Taking taylor expansion of (* x y) in z 1545993400.791 * [misc]taylor: Taking taylor expansion of x in z 1545993400.791 * [misc]backup-simplify: Simplify x into x 1545993400.791 * [misc]taylor: Taking taylor expansion of y in z 1545993400.791 * [misc]backup-simplify: Simplify y into y 1545993400.791 * [misc]backup-simplify: Simplify (* x y) into (* x y) 1545993400.791 * [misc]backup-simplify: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 1545993400.791 * [misc]taylor: Taking taylor expansion of (* -1 (/ z (* x y))) in x 1545993400.791 * [misc]taylor: Taking taylor expansion of -1 in x 1545993400.791 * [misc]backup-simplify: Simplify -1 into -1 1545993400.791 * [misc]taylor: Taking taylor expansion of (/ z (* x y)) in x 1545993400.791 * [misc]taylor: Taking taylor expansion of z in x 1545993400.791 * [misc]backup-simplify: Simplify z into z 1545993400.791 * [misc]taylor: Taking taylor expansion of (* x y) in x 1545993400.791 * [misc]taylor: Taking taylor expansion of x in x 1545993400.791 * [misc]backup-simplify: Simplify 0 into 0 1545993400.791 * [misc]backup-simplify: Simplify 1 into 1 1545993400.791 * [misc]taylor: Taking taylor expansion of y in x 1545993400.791 * [misc]backup-simplify: Simplify y into y 1545993400.791 * [misc]backup-simplify: Simplify (* 0 y) into 0 1545993400.791 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 y)) into y 1545993400.791 * [misc]backup-simplify: Simplify (/ z y) into (/ z y) 1545993400.792 * [misc]taylor: Taking taylor expansion of (* -1 (/ z (* x y))) in y 1545993400.792 * [misc]taylor: Taking taylor expansion of -1 in y 1545993400.792 * [misc]backup-simplify: Simplify -1 into -1 1545993400.792 * [misc]taylor: Taking taylor expansion of (/ z (* x y)) in y 1545993400.792 * [misc]taylor: Taking taylor expansion of z in y 1545993400.792 * [misc]backup-simplify: Simplify z into z 1545993400.792 * [misc]taylor: Taking taylor expansion of (* x y) in y 1545993400.792 * [misc]taylor: Taking taylor expansion of x in y 1545993400.792 * [misc]backup-simplify: Simplify x into x 1545993400.792 * [misc]taylor: Taking taylor expansion of y in y 1545993400.792 * [misc]backup-simplify: Simplify 0 into 0 1545993400.792 * [misc]backup-simplify: Simplify 1 into 1 1545993400.792 * [misc]backup-simplify: Simplify (* x 0) into 0 1545993400.792 * [misc]backup-simplify: Simplify (+ (* x 1) (* 0 0)) into x 1545993400.792 * [misc]backup-simplify: Simplify (/ z x) into (/ z x) 1545993400.792 * [misc]taylor: Taking taylor expansion of (* -1 (/ z (* x y))) in y 1545993400.792 * [misc]taylor: Taking taylor expansion of -1 in y 1545993400.792 * [misc]backup-simplify: Simplify -1 into -1 1545993400.792 * [misc]taylor: Taking taylor expansion of (/ z (* x y)) in y 1545993400.792 * [misc]taylor: Taking taylor expansion of z in y 1545993400.792 * [misc]backup-simplify: Simplify z into z 1545993400.792 * [misc]taylor: Taking taylor expansion of (* x y) in y 1545993400.792 * [misc]taylor: Taking taylor expansion of x in y 1545993400.792 * [misc]backup-simplify: Simplify x into x 1545993400.792 * [misc]taylor: Taking taylor expansion of y in y 1545993400.792 * [misc]backup-simplify: Simplify 0 into 0 1545993400.792 * [misc]backup-simplify: Simplify 1 into 1 1545993400.792 * [misc]backup-simplify: Simplify (* x 0) into 0 1545993400.792 * [misc]backup-simplify: Simplify (+ (* x 1) (* 0 0)) into x 1545993400.792 * [misc]backup-simplify: Simplify (/ z x) into (/ z x) 1545993400.792 * [misc]backup-simplify: Simplify (* -1 (/ z x)) into (* -1 (/ z x)) 1545993400.792 * [misc]taylor: Taking taylor expansion of (* -1 (/ z x)) in x 1545993400.792 * [misc]taylor: Taking taylor expansion of -1 in x 1545993400.792 * [misc]backup-simplify: Simplify -1 into -1 1545993400.792 * [misc]taylor: Taking taylor expansion of (/ z x) in x 1545993400.792 * [misc]taylor: Taking taylor expansion of z in x 1545993400.792 * [misc]backup-simplify: Simplify z into z 1545993400.792 * [misc]taylor: Taking taylor expansion of x in x 1545993400.792 * [misc]backup-simplify: Simplify 0 into 0 1545993400.792 * [misc]backup-simplify: Simplify 1 into 1 1545993400.793 * [misc]backup-simplify: Simplify (/ z 1) into z 1545993400.793 * [misc]backup-simplify: Simplify (* -1 z) into (* -1 z) 1545993400.793 * [misc]taylor: Taking taylor expansion of (* -1 z) in z 1545993400.793 * [misc]taylor: Taking taylor expansion of -1 in z 1545993400.793 * [misc]backup-simplify: Simplify -1 into -1 1545993400.793 * [misc]taylor: Taking taylor expansion of z in z 1545993400.793 * [misc]backup-simplify: Simplify 0 into 0 1545993400.793 * [misc]backup-simplify: Simplify 1 into 1 1545993400.793 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1545993400.793 * [misc]backup-simplify: Simplify -1 into -1 1545993400.793 * [misc]backup-simplify: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 1545993400.793 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0 1545993400.793 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (/ z x))) into 0 1545993400.793 * [misc]taylor: Taking taylor expansion of 0 in x 1545993400.793 * [misc]backup-simplify: Simplify 0 into 0 1545993400.793 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 1545993400.794 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 z)) into 0 1545993400.794 * [misc]taylor: Taking taylor expansion of 0 in z 1545993400.794 * [misc]backup-simplify: Simplify 0 into 0 1545993400.794 * [misc]backup-simplify: Simplify 0 into 0 1545993400.794 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 1545993400.794 * [misc]backup-simplify: Simplify 0 into 0 1545993400.794 * [misc]backup-simplify: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1545993400.794 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1545993400.794 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z x)))) into 0 1545993400.794 * [misc]taylor: Taking taylor expansion of 0 in x 1545993400.794 * [misc]backup-simplify: Simplify 0 into 0 1545993400.794 * [misc]taylor: Taking taylor expansion of 0 in z 1545993400.794 * [misc]backup-simplify: Simplify 0 into 0 1545993400.794 * [misc]backup-simplify: Simplify 0 into 0 1545993400.795 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545993400.795 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0 1545993400.795 * [misc]taylor: Taking taylor expansion of 0 in z 1545993400.795 * [misc]backup-simplify: Simplify 0 into 0 1545993400.795 * [misc]backup-simplify: Simplify 0 into 0 1545993400.795 * [misc]backup-simplify: Simplify 0 into 0 1545993400.795 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1545993400.795 * [misc]backup-simplify: Simplify 0 into 0 1545993400.795 * [misc]backup-simplify: Simplify (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) into (/ (* x y) z) 1545993400.795 * * * [misc]progress: simplifying candidates 1545993400.796 * * * * [misc]progress: [ 1 / 18 ] simplifiying candidate # 1545993400.796 * * * * [misc]progress: [ 2 / 18 ] simplifiying candidate # 1545993400.796 * * * * [misc]progress: [ 3 / 18 ] simplifiying candidate # 1545993400.796 * * * * [misc]progress: [ 4 / 18 ] simplifiying candidate # 1545993400.796 * * * * [misc]progress: [ 5 / 18 ] simplifiying candidate # 1545993400.796 * * * * [misc]progress: [ 6 / 18 ] simplifiying candidate # 1545993400.796 * * * * [misc]progress: [ 7 / 18 ] simplifiying candidate # 1545993400.796 * * * * [misc]progress: [ 8 / 18 ] simplifiying candidate # 1545993400.796 * * * * [misc]progress: [ 9 / 18 ] simplifiying candidate # 1545993400.796 * * * * [misc]progress: [ 10 / 18 ] simplifiying candidate # 1545993400.796 * [enter]simplify: Simplifying (cbrt (/ x z)) 1545993400.796 * * [misc]simplify: iters left: 3 (4 enodes) 1545993400.797 * [exit]simplify: Simplified to (cbrt (/ x z)) 1545993400.797 * [misc]simplify: Simplified (2 2) to (λ (x y z t) (* (* y (* (cbrt (/ x z)) (cbrt (/ x z)))) (cbrt (/ x z)))) 1545993400.797 * * * * [misc]progress: [ 11 / 18 ] simplifiying candidate # 1545993400.797 * [enter]simplify: Simplifying (sqrt (/ x z)) 1545993400.797 * * [misc]simplify: iters left: 3 (4 enodes) 1545993400.797 * [exit]simplify: Simplified to (sqrt (/ x z)) 1545993400.797 * [misc]simplify: Simplified (2 2) to (λ (x y z t) (* (* y (sqrt (/ x z))) (sqrt (/ x z)))) 1545993400.797 * * * * [misc]progress: [ 12 / 18 ] simplifiying candidate # 1545993400.798 * [enter]simplify: Simplifying (/ x z) 1545993400.798 * * [misc]simplify: iters left: 2 (3 enodes) 1545993400.798 * [exit]simplify: Simplified to (/ x z) 1545993400.798 * [misc]simplify: Simplified (2 2) to (λ (x y z t) (* (* y 1) (/ x z))) 1545993400.798 * * * * [misc]progress: [ 13 / 18 ] simplifiying candidate # 1545993400.798 * [enter]simplify: Simplifying (/ 1 z) 1545993400.798 * * [misc]simplify: iters left: 2 (3 enodes) 1545993400.799 * * [misc]simplify: iters left: 1 (5 enodes) 1545993400.799 * [exit]simplify: Simplified to (/ 1 z) 1545993400.799 * [misc]simplify: Simplified (2 2) to (λ (x y z t) (* (* y x) (/ 1 z))) 1545993400.799 * * * * [misc]progress: [ 14 / 18 ] simplifiying candidate # 1545993400.799 * * * * [misc]progress: [ 15 / 18 ] simplifiying candidate # 1545993400.799 * * * * [misc]progress: [ 16 / 18 ] simplifiying candidate # 1545993400.799 * [enter]simplify: Simplifying (/ (* x y) z) 1545993400.800 * * [misc]simplify: iters left: 4 (5 enodes) 1545993400.800 * * [misc]simplify: iters left: 3 (8 enodes) 1545993400.801 * * [misc]simplify: iters left: 2 (10 enodes) 1545993400.803 * * [misc]simplify: iters left: 1 (13 enodes) 1545993400.804 * [exit]simplify: Simplified to (/ y (/ z x)) 1545993400.804 * [misc]simplify: Simplified (2) to (λ (x y z t) (/ y (/ z x))) 1545993400.804 * * * * [misc]progress: [ 17 / 18 ] simplifiying candidate # 1545993400.805 * [enter]simplify: Simplifying (/ (* x y) z) 1545993400.805 * * [misc]simplify: iters left: 4 (5 enodes) 1545993400.805 * * [misc]simplify: iters left: 3 (8 enodes) 1545993400.806 * * [misc]simplify: iters left: 2 (10 enodes) 1545993400.808 * * [misc]simplify: iters left: 1 (13 enodes) 1545993400.809 * [exit]simplify: Simplified to (/ y (/ z x)) 1545993400.809 * [misc]simplify: Simplified (2) to (λ (x y z t) (/ y (/ z x))) 1545993400.809 * * * * [misc]progress: [ 18 / 18 ] simplifiying candidate # 1545993400.810 * [enter]simplify: Simplifying (/ (* x y) z) 1545993400.810 * * [misc]simplify: iters left: 4 (5 enodes) 1545993400.810 * * [misc]simplify: iters left: 3 (8 enodes) 1545993400.814 * * [misc]simplify: iters left: 2 (10 enodes) 1545993400.815 * * [misc]simplify: iters left: 1 (13 enodes) 1545993400.817 * [exit]simplify: Simplified to (/ y (/ z x)) 1545993400.817 * [misc]simplify: Simplified (2) to (λ (x y z t) (/ y (/ z x))) 1545993400.817 * * * [misc]progress: adding candidates to table 1545993400.958 * * [misc]progress: iteration 2 / 4 1545993400.958 * * * [misc]progress: picking best candidate 1545993400.988 * * * * [misc]pick: Picked # 1545993400.988 * * * [misc]progress: localizing error 1545993400.998 * * * [misc]progress: generating rewritten candidates 1545993400.998 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1545993401.003 * * * [misc]progress: generating series expansions 1545993401.003 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1545993401.003 * [misc]backup-simplify: Simplify (/ (* y x) z) into (/ (* x y) z) 1545993401.003 * [misc]approximate: Taking taylor expansion of (/ (* x y) z) in (y x z) around 0 1545993401.003 * [misc]taylor: Taking taylor expansion of (/ (* x y) z) in z 1545993401.003 * [misc]taylor: Taking taylor expansion of (* x y) in z 1545993401.003 * [misc]taylor: Taking taylor expansion of x in z 1545993401.003 * [misc]backup-simplify: Simplify x into x 1545993401.003 * [misc]taylor: Taking taylor expansion of y in z 1545993401.003 * [misc]backup-simplify: Simplify y into y 1545993401.003 * [misc]taylor: Taking taylor expansion of z in z 1545993401.003 * [misc]backup-simplify: Simplify 0 into 0 1545993401.003 * [misc]backup-simplify: Simplify 1 into 1 1545993401.003 * [misc]backup-simplify: Simplify (* x y) into (* x y) 1545993401.004 * [misc]backup-simplify: Simplify (/ (* x y) 1) into (* x y) 1545993401.004 * [misc]taylor: Taking taylor expansion of (/ (* x y) z) in x 1545993401.004 * [misc]taylor: Taking taylor expansion of (* x y) in x 1545993401.004 * [misc]taylor: Taking taylor expansion of x in x 1545993401.004 * [misc]backup-simplify: Simplify 0 into 0 1545993401.004 * [misc]backup-simplify: Simplify 1 into 1 1545993401.004 * [misc]taylor: Taking taylor expansion of y in x 1545993401.004 * [misc]backup-simplify: Simplify y into y 1545993401.004 * [misc]taylor: Taking taylor expansion of z in x 1545993401.004 * [misc]backup-simplify: Simplify z into z 1545993401.004 * [misc]backup-simplify: Simplify (* 0 y) into 0 1545993401.004 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 y)) into y 1545993401.004 * [misc]backup-simplify: Simplify (/ y z) into (/ y z) 1545993401.004 * [misc]taylor: Taking taylor expansion of (/ (* x y) z) in y 1545993401.004 * [misc]taylor: Taking taylor expansion of (* x y) in y 1545993401.004 * [misc]taylor: Taking taylor expansion of x in y 1545993401.004 * [misc]backup-simplify: Simplify x into x 1545993401.004 * [misc]taylor: Taking taylor expansion of y in y 1545993401.004 * [misc]backup-simplify: Simplify 0 into 0 1545993401.004 * [misc]backup-simplify: Simplify 1 into 1 1545993401.005 * [misc]taylor: Taking taylor expansion of z in y 1545993401.005 * [misc]backup-simplify: Simplify z into z 1545993401.005 * [misc]backup-simplify: Simplify (* x 0) into 0 1545993401.005 * [misc]backup-simplify: Simplify (+ (* x 1) (* 0 0)) into x 1545993401.005 * [misc]backup-simplify: Simplify (/ x z) into (/ x z) 1545993401.005 * [misc]taylor: Taking taylor expansion of (/ (* x y) z) in y 1545993401.005 * [misc]taylor: Taking taylor expansion of (* x y) in y 1545993401.005 * [misc]taylor: Taking taylor expansion of x in y 1545993401.005 * [misc]backup-simplify: Simplify x into x 1545993401.005 * [misc]taylor: Taking taylor expansion of y in y 1545993401.005 * [misc]backup-simplify: Simplify 0 into 0 1545993401.005 * [misc]backup-simplify: Simplify 1 into 1 1545993401.005 * [misc]taylor: Taking taylor expansion of z in y 1545993401.005 * [misc]backup-simplify: Simplify z into z 1545993401.005 * [misc]backup-simplify: Simplify (* x 0) into 0 1545993401.005 * [misc]backup-simplify: Simplify (+ (* x 1) (* 0 0)) into x 1545993401.005 * [misc]backup-simplify: Simplify (/ x z) into (/ x z) 1545993401.006 * [misc]taylor: Taking taylor expansion of (/ x z) in x 1545993401.006 * [misc]taylor: Taking taylor expansion of x in x 1545993401.006 * [misc]backup-simplify: Simplify 0 into 0 1545993401.006 * [misc]backup-simplify: Simplify 1 into 1 1545993401.006 * [misc]taylor: Taking taylor expansion of z in x 1545993401.006 * [misc]backup-simplify: Simplify z into z 1545993401.006 * [misc]backup-simplify: Simplify (/ 1 z) into (/ 1 z) 1545993401.006 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1545993401.006 * [misc]taylor: Taking taylor expansion of z in z 1545993401.006 * [misc]backup-simplify: Simplify 0 into 0 1545993401.006 * [misc]backup-simplify: Simplify 1 into 1 1545993401.006 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545993401.006 * [misc]backup-simplify: Simplify 1 into 1 1545993401.006 * [misc]backup-simplify: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 1545993401.007 * [misc]backup-simplify: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0 1545993401.007 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.007 * [misc]backup-simplify: Simplify 0 into 0 1545993401.007 * [misc]taylor: Taking taylor expansion of 0 in z 1545993401.007 * [misc]backup-simplify: Simplify 0 into 0 1545993401.007 * [misc]backup-simplify: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 1545993401.007 * [misc]taylor: Taking taylor expansion of 0 in z 1545993401.007 * [misc]backup-simplify: Simplify 0 into 0 1545993401.007 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545993401.007 * [misc]backup-simplify: Simplify 0 into 0 1545993401.008 * [misc]backup-simplify: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1545993401.008 * [misc]backup-simplify: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 1545993401.008 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.008 * [misc]backup-simplify: Simplify 0 into 0 1545993401.008 * [misc]taylor: Taking taylor expansion of 0 in z 1545993401.008 * [misc]backup-simplify: Simplify 0 into 0 1545993401.008 * [misc]taylor: Taking taylor expansion of 0 in z 1545993401.008 * [misc]backup-simplify: Simplify 0 into 0 1545993401.008 * [misc]backup-simplify: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 1545993401.008 * [misc]taylor: Taking taylor expansion of 0 in z 1545993401.008 * [misc]backup-simplify: Simplify 0 into 0 1545993401.008 * [misc]backup-simplify: Simplify 0 into 0 1545993401.008 * [misc]backup-simplify: Simplify 0 into 0 1545993401.009 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545993401.009 * [misc]backup-simplify: Simplify 0 into 0 1545993401.009 * [misc]backup-simplify: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1545993401.009 * [misc]backup-simplify: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 1545993401.009 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.009 * [misc]backup-simplify: Simplify 0 into 0 1545993401.009 * [misc]taylor: Taking taylor expansion of 0 in z 1545993401.009 * [misc]backup-simplify: Simplify 0 into 0 1545993401.009 * [misc]taylor: Taking taylor expansion of 0 in z 1545993401.009 * [misc]backup-simplify: Simplify 0 into 0 1545993401.009 * [misc]taylor: Taking taylor expansion of 0 in z 1545993401.010 * [misc]backup-simplify: Simplify 0 into 0 1545993401.010 * [misc]backup-simplify: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 1545993401.010 * [misc]taylor: Taking taylor expansion of 0 in z 1545993401.010 * [misc]backup-simplify: Simplify 0 into 0 1545993401.010 * [misc]backup-simplify: Simplify 0 into 0 1545993401.010 * [misc]backup-simplify: Simplify 0 into 0 1545993401.010 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 z) (* x y))) into (/ (* x y) z) 1545993401.010 * [misc]backup-simplify: Simplify (/ (* (/ 1 y) (/ 1 x)) (/ 1 z)) into (/ z (* x y)) 1545993401.010 * [misc]approximate: Taking taylor expansion of (/ z (* x y)) in (y x z) around 0 1545993401.010 * [misc]taylor: Taking taylor expansion of (/ z (* x y)) in z 1545993401.010 * [misc]taylor: Taking taylor expansion of z in z 1545993401.010 * [misc]backup-simplify: Simplify 0 into 0 1545993401.010 * [misc]backup-simplify: Simplify 1 into 1 1545993401.010 * [misc]taylor: Taking taylor expansion of (* x y) in z 1545993401.010 * [misc]taylor: Taking taylor expansion of x in z 1545993401.010 * [misc]backup-simplify: Simplify x into x 1545993401.010 * [misc]taylor: Taking taylor expansion of y in z 1545993401.010 * [misc]backup-simplify: Simplify y into y 1545993401.011 * [misc]backup-simplify: Simplify (* x y) into (* x y) 1545993401.011 * [misc]backup-simplify: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 1545993401.011 * [misc]taylor: Taking taylor expansion of (/ z (* x y)) in x 1545993401.011 * [misc]taylor: Taking taylor expansion of z in x 1545993401.011 * [misc]backup-simplify: Simplify z into z 1545993401.011 * [misc]taylor: Taking taylor expansion of (* x y) in x 1545993401.011 * [misc]taylor: Taking taylor expansion of x in x 1545993401.011 * [misc]backup-simplify: Simplify 0 into 0 1545993401.011 * [misc]backup-simplify: Simplify 1 into 1 1545993401.011 * [misc]taylor: Taking taylor expansion of y in x 1545993401.011 * [misc]backup-simplify: Simplify y into y 1545993401.011 * [misc]backup-simplify: Simplify (* 0 y) into 0 1545993401.011 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 y)) into y 1545993401.011 * [misc]backup-simplify: Simplify (/ z y) into (/ z y) 1545993401.011 * [misc]taylor: Taking taylor expansion of (/ z (* x y)) in y 1545993401.011 * [misc]taylor: Taking taylor expansion of z in y 1545993401.011 * [misc]backup-simplify: Simplify z into z 1545993401.011 * [misc]taylor: Taking taylor expansion of (* x y) in y 1545993401.011 * [misc]taylor: Taking taylor expansion of x in y 1545993401.011 * [misc]backup-simplify: Simplify x into x 1545993401.011 * [misc]taylor: Taking taylor expansion of y in y 1545993401.011 * [misc]backup-simplify: Simplify 0 into 0 1545993401.011 * [misc]backup-simplify: Simplify 1 into 1 1545993401.011 * [misc]backup-simplify: Simplify (* x 0) into 0 1545993401.012 * [misc]backup-simplify: Simplify (+ (* x 1) (* 0 0)) into x 1545993401.012 * [misc]backup-simplify: Simplify (/ z x) into (/ z x) 1545993401.012 * [misc]taylor: Taking taylor expansion of (/ z (* x y)) in y 1545993401.012 * [misc]taylor: Taking taylor expansion of z in y 1545993401.012 * [misc]backup-simplify: Simplify z into z 1545993401.012 * [misc]taylor: Taking taylor expansion of (* x y) in y 1545993401.012 * [misc]taylor: Taking taylor expansion of x in y 1545993401.012 * [misc]backup-simplify: Simplify x into x 1545993401.012 * [misc]taylor: Taking taylor expansion of y in y 1545993401.012 * [misc]backup-simplify: Simplify 0 into 0 1545993401.012 * [misc]backup-simplify: Simplify 1 into 1 1545993401.012 * [misc]backup-simplify: Simplify (* x 0) into 0 1545993401.012 * [misc]backup-simplify: Simplify (+ (* x 1) (* 0 0)) into x 1545993401.012 * [misc]backup-simplify: Simplify (/ z x) into (/ z x) 1545993401.012 * [misc]taylor: Taking taylor expansion of (/ z x) in x 1545993401.012 * [misc]taylor: Taking taylor expansion of z in x 1545993401.012 * [misc]backup-simplify: Simplify z into z 1545993401.012 * [misc]taylor: Taking taylor expansion of x in x 1545993401.013 * [misc]backup-simplify: Simplify 0 into 0 1545993401.013 * [misc]backup-simplify: Simplify 1 into 1 1545993401.013 * [misc]backup-simplify: Simplify (/ z 1) into z 1545993401.013 * [misc]taylor: Taking taylor expansion of z in z 1545993401.013 * [misc]backup-simplify: Simplify 0 into 0 1545993401.013 * [misc]backup-simplify: Simplify 1 into 1 1545993401.013 * [misc]backup-simplify: Simplify 1 into 1 1545993401.013 * [misc]backup-simplify: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 1545993401.013 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0 1545993401.013 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.013 * [misc]backup-simplify: Simplify 0 into 0 1545993401.014 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 1545993401.014 * [misc]taylor: Taking taylor expansion of 0 in z 1545993401.014 * [misc]backup-simplify: Simplify 0 into 0 1545993401.014 * [misc]backup-simplify: Simplify 0 into 0 1545993401.014 * [misc]backup-simplify: Simplify 0 into 0 1545993401.014 * [misc]backup-simplify: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1545993401.014 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1545993401.014 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.014 * [misc]backup-simplify: Simplify 0 into 0 1545993401.014 * [misc]taylor: Taking taylor expansion of 0 in z 1545993401.014 * [misc]backup-simplify: Simplify 0 into 0 1545993401.014 * [misc]backup-simplify: Simplify 0 into 0 1545993401.015 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545993401.015 * [misc]taylor: Taking taylor expansion of 0 in z 1545993401.015 * [misc]backup-simplify: Simplify 0 into 0 1545993401.015 * [misc]backup-simplify: Simplify 0 into 0 1545993401.015 * [misc]backup-simplify: Simplify 0 into 0 1545993401.015 * [misc]backup-simplify: Simplify 0 into 0 1545993401.015 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 z) (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (/ (* x y) z) 1545993401.015 * [misc]backup-simplify: Simplify (/ (* (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- z))) into (* -1 (/ z (* x y))) 1545993401.015 * [misc]approximate: Taking taylor expansion of (* -1 (/ z (* x y))) in (y x z) around 0 1545993401.016 * [misc]taylor: Taking taylor expansion of (* -1 (/ z (* x y))) in z 1545993401.016 * [misc]taylor: Taking taylor expansion of -1 in z 1545993401.016 * [misc]backup-simplify: Simplify -1 into -1 1545993401.016 * [misc]taylor: Taking taylor expansion of (/ z (* x y)) in z 1545993401.016 * [misc]taylor: Taking taylor expansion of z in z 1545993401.016 * [misc]backup-simplify: Simplify 0 into 0 1545993401.016 * [misc]backup-simplify: Simplify 1 into 1 1545993401.016 * [misc]taylor: Taking taylor expansion of (* x y) in z 1545993401.016 * [misc]taylor: Taking taylor expansion of x in z 1545993401.016 * [misc]backup-simplify: Simplify x into x 1545993401.016 * [misc]taylor: Taking taylor expansion of y in z 1545993401.016 * [misc]backup-simplify: Simplify y into y 1545993401.016 * [misc]backup-simplify: Simplify (* x y) into (* x y) 1545993401.016 * [misc]backup-simplify: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 1545993401.016 * [misc]taylor: Taking taylor expansion of (* -1 (/ z (* x y))) in x 1545993401.016 * [misc]taylor: Taking taylor expansion of -1 in x 1545993401.016 * [misc]backup-simplify: Simplify -1 into -1 1545993401.016 * [misc]taylor: Taking taylor expansion of (/ z (* x y)) in x 1545993401.016 * [misc]taylor: Taking taylor expansion of z in x 1545993401.016 * [misc]backup-simplify: Simplify z into z 1545993401.016 * [misc]taylor: Taking taylor expansion of (* x y) in x 1545993401.016 * [misc]taylor: Taking taylor expansion of x in x 1545993401.016 * [misc]backup-simplify: Simplify 0 into 0 1545993401.016 * [misc]backup-simplify: Simplify 1 into 1 1545993401.016 * [misc]taylor: Taking taylor expansion of y in x 1545993401.016 * [misc]backup-simplify: Simplify y into y 1545993401.016 * [misc]backup-simplify: Simplify (* 0 y) into 0 1545993401.016 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 y)) into y 1545993401.017 * [misc]backup-simplify: Simplify (/ z y) into (/ z y) 1545993401.017 * [misc]taylor: Taking taylor expansion of (* -1 (/ z (* x y))) in y 1545993401.017 * [misc]taylor: Taking taylor expansion of -1 in y 1545993401.017 * [misc]backup-simplify: Simplify -1 into -1 1545993401.017 * [misc]taylor: Taking taylor expansion of (/ z (* x y)) in y 1545993401.017 * [misc]taylor: Taking taylor expansion of z in y 1545993401.017 * [misc]backup-simplify: Simplify z into z 1545993401.017 * [misc]taylor: Taking taylor expansion of (* x y) in y 1545993401.017 * [misc]taylor: Taking taylor expansion of x in y 1545993401.017 * [misc]backup-simplify: Simplify x into x 1545993401.017 * [misc]taylor: Taking taylor expansion of y in y 1545993401.017 * [misc]backup-simplify: Simplify 0 into 0 1545993401.017 * [misc]backup-simplify: Simplify 1 into 1 1545993401.017 * [misc]backup-simplify: Simplify (* x 0) into 0 1545993401.017 * [misc]backup-simplify: Simplify (+ (* x 1) (* 0 0)) into x 1545993401.017 * [misc]backup-simplify: Simplify (/ z x) into (/ z x) 1545993401.017 * [misc]taylor: Taking taylor expansion of (* -1 (/ z (* x y))) in y 1545993401.017 * [misc]taylor: Taking taylor expansion of -1 in y 1545993401.017 * [misc]backup-simplify: Simplify -1 into -1 1545993401.017 * [misc]taylor: Taking taylor expansion of (/ z (* x y)) in y 1545993401.017 * [misc]taylor: Taking taylor expansion of z in y 1545993401.017 * [misc]backup-simplify: Simplify z into z 1545993401.017 * [misc]taylor: Taking taylor expansion of (* x y) in y 1545993401.017 * [misc]taylor: Taking taylor expansion of x in y 1545993401.017 * [misc]backup-simplify: Simplify x into x 1545993401.017 * [misc]taylor: Taking taylor expansion of y in y 1545993401.017 * [misc]backup-simplify: Simplify 0 into 0 1545993401.017 * [misc]backup-simplify: Simplify 1 into 1 1545993401.018 * [misc]backup-simplify: Simplify (* x 0) into 0 1545993401.018 * [misc]backup-simplify: Simplify (+ (* x 1) (* 0 0)) into x 1545993401.018 * [misc]backup-simplify: Simplify (/ z x) into (/ z x) 1545993401.018 * [misc]backup-simplify: Simplify (* -1 (/ z x)) into (* -1 (/ z x)) 1545993401.018 * [misc]taylor: Taking taylor expansion of (* -1 (/ z x)) in x 1545993401.018 * [misc]taylor: Taking taylor expansion of -1 in x 1545993401.018 * [misc]backup-simplify: Simplify -1 into -1 1545993401.018 * [misc]taylor: Taking taylor expansion of (/ z x) in x 1545993401.018 * [misc]taylor: Taking taylor expansion of z in x 1545993401.018 * [misc]backup-simplify: Simplify z into z 1545993401.018 * [misc]taylor: Taking taylor expansion of x in x 1545993401.018 * [misc]backup-simplify: Simplify 0 into 0 1545993401.018 * [misc]backup-simplify: Simplify 1 into 1 1545993401.018 * [misc]backup-simplify: Simplify (/ z 1) into z 1545993401.018 * [misc]backup-simplify: Simplify (* -1 z) into (* -1 z) 1545993401.018 * [misc]taylor: Taking taylor expansion of (* -1 z) in z 1545993401.018 * [misc]taylor: Taking taylor expansion of -1 in z 1545993401.018 * [misc]backup-simplify: Simplify -1 into -1 1545993401.018 * [misc]taylor: Taking taylor expansion of z in z 1545993401.018 * [misc]backup-simplify: Simplify 0 into 0 1545993401.018 * [misc]backup-simplify: Simplify 1 into 1 1545993401.019 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1545993401.019 * [misc]backup-simplify: Simplify -1 into -1 1545993401.019 * [misc]backup-simplify: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 1545993401.019 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0 1545993401.019 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (/ z x))) into 0 1545993401.019 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.019 * [misc]backup-simplify: Simplify 0 into 0 1545993401.020 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 1545993401.020 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 z)) into 0 1545993401.020 * [misc]taylor: Taking taylor expansion of 0 in z 1545993401.020 * [misc]backup-simplify: Simplify 0 into 0 1545993401.020 * [misc]backup-simplify: Simplify 0 into 0 1545993401.020 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 1545993401.020 * [misc]backup-simplify: Simplify 0 into 0 1545993401.020 * [misc]backup-simplify: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1545993401.020 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1545993401.020 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z x)))) into 0 1545993401.020 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.021 * [misc]backup-simplify: Simplify 0 into 0 1545993401.021 * [misc]taylor: Taking taylor expansion of 0 in z 1545993401.021 * [misc]backup-simplify: Simplify 0 into 0 1545993401.021 * [misc]backup-simplify: Simplify 0 into 0 1545993401.021 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545993401.021 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0 1545993401.021 * [misc]taylor: Taking taylor expansion of 0 in z 1545993401.021 * [misc]backup-simplify: Simplify 0 into 0 1545993401.021 * [misc]backup-simplify: Simplify 0 into 0 1545993401.021 * [misc]backup-simplify: Simplify 0 into 0 1545993401.021 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1545993401.021 * [misc]backup-simplify: Simplify 0 into 0 1545993401.022 * [misc]backup-simplify: Simplify (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) into (/ (* x y) z) 1545993401.022 * * * [misc]progress: simplifying candidates 1545993401.022 * * * * [misc]progress: [ 1 / 16 ] simplifiying candidate # 1545993401.022 * * * * [misc]progress: [ 2 / 16 ] simplifiying candidate # 1545993401.022 * * * * [misc]progress: [ 3 / 16 ] simplifiying candidate # 1545993401.022 * * * * [misc]progress: [ 4 / 16 ] simplifiying candidate # 1545993401.022 * * * * [misc]progress: [ 5 / 16 ] simplifiying candidate # 1545993401.022 * * * * [misc]progress: [ 6 / 16 ] simplifiying candidate # 1545993401.022 * * * * [misc]progress: [ 7 / 16 ] simplifiying candidate # 1545993401.022 * * * * [misc]progress: [ 8 / 16 ] simplifiying candidate # 1545993401.022 * * * * [misc]progress: [ 9 / 16 ] simplifiying candidate # 1545993401.022 * * * * [misc]progress: [ 10 / 16 ] simplifiying candidate # 1545993401.022 * * * * [misc]progress: [ 11 / 16 ] simplifiying candidate # 1545993401.022 * * * * [misc]progress: [ 12 / 16 ] simplifiying candidate # 1545993401.022 * * * * [misc]progress: [ 13 / 16 ] simplifiying candidate # 1545993401.022 * * * * [misc]progress: [ 14 / 16 ] simplifiying candidate # 1545993401.022 * [enter]simplify: Simplifying (/ (* x y) z) 1545993401.022 * * [misc]simplify: iters left: 4 (5 enodes) 1545993401.023 * * [misc]simplify: iters left: 3 (8 enodes) 1545993401.024 * * [misc]simplify: iters left: 2 (10 enodes) 1545993401.025 * * [misc]simplify: iters left: 1 (13 enodes) 1545993401.027 * [exit]simplify: Simplified to (/ y (/ z x)) 1545993401.027 * [misc]simplify: Simplified (2) to (λ (x y z t) (/ y (/ z x))) 1545993401.027 * * * * [misc]progress: [ 15 / 16 ] simplifiying candidate # 1545993401.027 * [enter]simplify: Simplifying (/ (* x y) z) 1545993401.028 * * [misc]simplify: iters left: 4 (5 enodes) 1545993401.028 * * [misc]simplify: iters left: 3 (8 enodes) 1545993401.029 * * [misc]simplify: iters left: 2 (10 enodes) 1545993401.031 * * [misc]simplify: iters left: 1 (13 enodes) 1545993401.032 * [exit]simplify: Simplified to (/ y (/ z x)) 1545993401.032 * [misc]simplify: Simplified (2) to (λ (x y z t) (/ y (/ z x))) 1545993401.032 * * * * [misc]progress: [ 16 / 16 ] simplifiying candidate # 1545993401.033 * [enter]simplify: Simplifying (/ (* x y) z) 1545993401.033 * * [misc]simplify: iters left: 4 (5 enodes) 1545993401.033 * * [misc]simplify: iters left: 3 (8 enodes) 1545993401.034 * * [misc]simplify: iters left: 2 (10 enodes) 1545993401.036 * * [misc]simplify: iters left: 1 (13 enodes) 1545993401.037 * [exit]simplify: Simplified to (/ y (/ z x)) 1545993401.037 * [misc]simplify: Simplified (2) to (λ (x y z t) (/ y (/ z x))) 1545993401.038 * * * [misc]progress: adding candidates to table 1545993401.172 * * [misc]progress: iteration 3 / 4 1545993401.172 * * * [misc]progress: picking best candidate 1545993401.192 * * * * [misc]pick: Picked # 1545993401.192 * * * [misc]progress: localizing error 1545993401.202 * * * [misc]progress: generating rewritten candidates 1545993401.202 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1545993401.203 * * * [misc]progress: generating series expansions 1545993401.203 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1545993401.203 * [misc]backup-simplify: Simplify (/ y (/ z x)) into (/ (* x y) z) 1545993401.203 * [misc]approximate: Taking taylor expansion of (/ (* x y) z) in (y z x) around 0 1545993401.203 * [misc]taylor: Taking taylor expansion of (/ (* x y) z) in x 1545993401.203 * [misc]taylor: Taking taylor expansion of (* x y) in x 1545993401.203 * [misc]taylor: Taking taylor expansion of x in x 1545993401.203 * [misc]backup-simplify: Simplify 0 into 0 1545993401.204 * [misc]backup-simplify: Simplify 1 into 1 1545993401.204 * [misc]taylor: Taking taylor expansion of y in x 1545993401.204 * [misc]backup-simplify: Simplify y into y 1545993401.204 * [misc]taylor: Taking taylor expansion of z in x 1545993401.204 * [misc]backup-simplify: Simplify z into z 1545993401.204 * [misc]backup-simplify: Simplify (* 0 y) into 0 1545993401.204 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 y)) into y 1545993401.204 * [misc]backup-simplify: Simplify (/ y z) into (/ y z) 1545993401.204 * [misc]taylor: Taking taylor expansion of (/ (* x y) z) in z 1545993401.204 * [misc]taylor: Taking taylor expansion of (* x y) in z 1545993401.204 * [misc]taylor: Taking taylor expansion of x in z 1545993401.204 * [misc]backup-simplify: Simplify x into x 1545993401.204 * [misc]taylor: Taking taylor expansion of y in z 1545993401.204 * [misc]backup-simplify: Simplify y into y 1545993401.204 * [misc]taylor: Taking taylor expansion of z in z 1545993401.204 * [misc]backup-simplify: Simplify 0 into 0 1545993401.204 * [misc]backup-simplify: Simplify 1 into 1 1545993401.204 * [misc]backup-simplify: Simplify (* x y) into (* x y) 1545993401.204 * [misc]backup-simplify: Simplify (/ (* x y) 1) into (* x y) 1545993401.204 * [misc]taylor: Taking taylor expansion of (/ (* x y) z) in y 1545993401.204 * [misc]taylor: Taking taylor expansion of (* x y) in y 1545993401.204 * [misc]taylor: Taking taylor expansion of x in y 1545993401.204 * [misc]backup-simplify: Simplify x into x 1545993401.204 * [misc]taylor: Taking taylor expansion of y in y 1545993401.204 * [misc]backup-simplify: Simplify 0 into 0 1545993401.204 * [misc]backup-simplify: Simplify 1 into 1 1545993401.204 * [misc]taylor: Taking taylor expansion of z in y 1545993401.204 * [misc]backup-simplify: Simplify z into z 1545993401.204 * [misc]backup-simplify: Simplify (* x 0) into 0 1545993401.204 * [misc]backup-simplify: Simplify (+ (* x 1) (* 0 0)) into x 1545993401.204 * [misc]backup-simplify: Simplify (/ x z) into (/ x z) 1545993401.204 * [misc]taylor: Taking taylor expansion of (/ (* x y) z) in y 1545993401.204 * [misc]taylor: Taking taylor expansion of (* x y) in y 1545993401.204 * [misc]taylor: Taking taylor expansion of x in y 1545993401.204 * [misc]backup-simplify: Simplify x into x 1545993401.205 * [misc]taylor: Taking taylor expansion of y in y 1545993401.205 * [misc]backup-simplify: Simplify 0 into 0 1545993401.205 * [misc]backup-simplify: Simplify 1 into 1 1545993401.205 * [misc]taylor: Taking taylor expansion of z in y 1545993401.205 * [misc]backup-simplify: Simplify z into z 1545993401.205 * [misc]backup-simplify: Simplify (* x 0) into 0 1545993401.205 * [misc]backup-simplify: Simplify (+ (* x 1) (* 0 0)) into x 1545993401.205 * [misc]backup-simplify: Simplify (/ x z) into (/ x z) 1545993401.205 * [misc]taylor: Taking taylor expansion of (/ x z) in z 1545993401.205 * [misc]taylor: Taking taylor expansion of x in z 1545993401.205 * [misc]backup-simplify: Simplify x into x 1545993401.205 * [misc]taylor: Taking taylor expansion of z in z 1545993401.205 * [misc]backup-simplify: Simplify 0 into 0 1545993401.205 * [misc]backup-simplify: Simplify 1 into 1 1545993401.205 * [misc]backup-simplify: Simplify (/ x 1) into x 1545993401.205 * [misc]taylor: Taking taylor expansion of x in x 1545993401.205 * [misc]backup-simplify: Simplify 0 into 0 1545993401.205 * [misc]backup-simplify: Simplify 1 into 1 1545993401.205 * [misc]backup-simplify: Simplify 1 into 1 1545993401.205 * [misc]backup-simplify: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 1545993401.205 * [misc]backup-simplify: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0 1545993401.205 * [misc]taylor: Taking taylor expansion of 0 in z 1545993401.205 * [misc]backup-simplify: Simplify 0 into 0 1545993401.206 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0 1545993401.206 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.206 * [misc]backup-simplify: Simplify 0 into 0 1545993401.206 * [misc]backup-simplify: Simplify 0 into 0 1545993401.206 * [misc]backup-simplify: Simplify 0 into 0 1545993401.206 * [misc]backup-simplify: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1545993401.206 * [misc]backup-simplify: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 1545993401.206 * [misc]taylor: Taking taylor expansion of 0 in z 1545993401.206 * [misc]backup-simplify: Simplify 0 into 0 1545993401.206 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.206 * [misc]backup-simplify: Simplify 0 into 0 1545993401.206 * [misc]backup-simplify: Simplify 0 into 0 1545993401.206 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545993401.206 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.206 * [misc]backup-simplify: Simplify 0 into 0 1545993401.206 * [misc]backup-simplify: Simplify 0 into 0 1545993401.206 * [misc]backup-simplify: Simplify 0 into 0 1545993401.206 * [misc]backup-simplify: Simplify 0 into 0 1545993401.207 * [misc]backup-simplify: Simplify (* 1 (* x (* (/ 1 z) y))) into (/ (* x y) z) 1545993401.207 * [misc]backup-simplify: Simplify (/ (/ 1 y) (/ (/ 1 z) (/ 1 x))) into (/ z (* x y)) 1545993401.207 * [misc]approximate: Taking taylor expansion of (/ z (* x y)) in (y z x) around 0 1545993401.207 * [misc]taylor: Taking taylor expansion of (/ z (* x y)) in x 1545993401.207 * [misc]taylor: Taking taylor expansion of z in x 1545993401.207 * [misc]backup-simplify: Simplify z into z 1545993401.207 * [misc]taylor: Taking taylor expansion of (* x y) in x 1545993401.207 * [misc]taylor: Taking taylor expansion of x in x 1545993401.207 * [misc]backup-simplify: Simplify 0 into 0 1545993401.207 * [misc]backup-simplify: Simplify 1 into 1 1545993401.207 * [misc]taylor: Taking taylor expansion of y in x 1545993401.207 * [misc]backup-simplify: Simplify y into y 1545993401.207 * [misc]backup-simplify: Simplify (* 0 y) into 0 1545993401.207 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 y)) into y 1545993401.207 * [misc]backup-simplify: Simplify (/ z y) into (/ z y) 1545993401.207 * [misc]taylor: Taking taylor expansion of (/ z (* x y)) in z 1545993401.207 * [misc]taylor: Taking taylor expansion of z in z 1545993401.207 * [misc]backup-simplify: Simplify 0 into 0 1545993401.207 * [misc]backup-simplify: Simplify 1 into 1 1545993401.207 * [misc]taylor: Taking taylor expansion of (* x y) in z 1545993401.207 * [misc]taylor: Taking taylor expansion of x in z 1545993401.207 * [misc]backup-simplify: Simplify x into x 1545993401.207 * [misc]taylor: Taking taylor expansion of y in z 1545993401.207 * [misc]backup-simplify: Simplify y into y 1545993401.207 * [misc]backup-simplify: Simplify (* x y) into (* x y) 1545993401.207 * [misc]backup-simplify: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 1545993401.207 * [misc]taylor: Taking taylor expansion of (/ z (* x y)) in y 1545993401.207 * [misc]taylor: Taking taylor expansion of z in y 1545993401.207 * [misc]backup-simplify: Simplify z into z 1545993401.207 * [misc]taylor: Taking taylor expansion of (* x y) in y 1545993401.207 * [misc]taylor: Taking taylor expansion of x in y 1545993401.207 * [misc]backup-simplify: Simplify x into x 1545993401.207 * [misc]taylor: Taking taylor expansion of y in y 1545993401.207 * [misc]backup-simplify: Simplify 0 into 0 1545993401.207 * [misc]backup-simplify: Simplify 1 into 1 1545993401.207 * [misc]backup-simplify: Simplify (* x 0) into 0 1545993401.208 * [misc]backup-simplify: Simplify (+ (* x 1) (* 0 0)) into x 1545993401.208 * [misc]backup-simplify: Simplify (/ z x) into (/ z x) 1545993401.208 * [misc]taylor: Taking taylor expansion of (/ z (* x y)) in y 1545993401.208 * [misc]taylor: Taking taylor expansion of z in y 1545993401.208 * [misc]backup-simplify: Simplify z into z 1545993401.208 * [misc]taylor: Taking taylor expansion of (* x y) in y 1545993401.208 * [misc]taylor: Taking taylor expansion of x in y 1545993401.208 * [misc]backup-simplify: Simplify x into x 1545993401.208 * [misc]taylor: Taking taylor expansion of y in y 1545993401.208 * [misc]backup-simplify: Simplify 0 into 0 1545993401.208 * [misc]backup-simplify: Simplify 1 into 1 1545993401.208 * [misc]backup-simplify: Simplify (* x 0) into 0 1545993401.208 * [misc]backup-simplify: Simplify (+ (* x 1) (* 0 0)) into x 1545993401.208 * [misc]backup-simplify: Simplify (/ z x) into (/ z x) 1545993401.208 * [misc]taylor: Taking taylor expansion of (/ z x) in z 1545993401.208 * [misc]taylor: Taking taylor expansion of z in z 1545993401.208 * [misc]backup-simplify: Simplify 0 into 0 1545993401.208 * [misc]backup-simplify: Simplify 1 into 1 1545993401.208 * [misc]taylor: Taking taylor expansion of x in z 1545993401.208 * [misc]backup-simplify: Simplify x into x 1545993401.208 * [misc]backup-simplify: Simplify (/ 1 x) into (/ 1 x) 1545993401.208 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545993401.208 * [misc]taylor: Taking taylor expansion of x in x 1545993401.208 * [misc]backup-simplify: Simplify 0 into 0 1545993401.208 * [misc]backup-simplify: Simplify 1 into 1 1545993401.208 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545993401.208 * [misc]backup-simplify: Simplify 1 into 1 1545993401.208 * [misc]backup-simplify: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 1545993401.208 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0 1545993401.209 * [misc]taylor: Taking taylor expansion of 0 in z 1545993401.209 * [misc]backup-simplify: Simplify 0 into 0 1545993401.209 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.209 * [misc]backup-simplify: Simplify 0 into 0 1545993401.209 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0 1545993401.209 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.209 * [misc]backup-simplify: Simplify 0 into 0 1545993401.209 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545993401.209 * [misc]backup-simplify: Simplify 0 into 0 1545993401.209 * [misc]backup-simplify: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1545993401.209 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1545993401.209 * [misc]taylor: Taking taylor expansion of 0 in z 1545993401.209 * [misc]backup-simplify: Simplify 0 into 0 1545993401.209 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.209 * [misc]backup-simplify: Simplify 0 into 0 1545993401.209 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.209 * [misc]backup-simplify: Simplify 0 into 0 1545993401.209 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1545993401.209 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.209 * [misc]backup-simplify: Simplify 0 into 0 1545993401.209 * [misc]backup-simplify: Simplify 0 into 0 1545993401.209 * [misc]backup-simplify: Simplify 0 into 0 1545993401.210 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545993401.210 * [misc]backup-simplify: Simplify 0 into 0 1545993401.210 * [misc]backup-simplify: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1545993401.210 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1545993401.210 * [misc]taylor: Taking taylor expansion of 0 in z 1545993401.210 * [misc]backup-simplify: Simplify 0 into 0 1545993401.210 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.210 * [misc]backup-simplify: Simplify 0 into 0 1545993401.210 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.210 * [misc]backup-simplify: Simplify 0 into 0 1545993401.210 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.210 * [misc]backup-simplify: Simplify 0 into 0 1545993401.210 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1545993401.210 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.210 * [misc]backup-simplify: Simplify 0 into 0 1545993401.210 * [misc]backup-simplify: Simplify 0 into 0 1545993401.210 * [misc]backup-simplify: Simplify 0 into 0 1545993401.211 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 z) (/ 1 (/ 1 y))))) into (/ (* x y) z) 1545993401.211 * [misc]backup-simplify: Simplify (/ (/ 1 (- y)) (/ (/ 1 (- z)) (/ 1 (- x)))) into (* -1 (/ z (* x y))) 1545993401.211 * [misc]approximate: Taking taylor expansion of (* -1 (/ z (* x y))) in (y z x) around 0 1545993401.211 * [misc]taylor: Taking taylor expansion of (* -1 (/ z (* x y))) in x 1545993401.211 * [misc]taylor: Taking taylor expansion of -1 in x 1545993401.211 * [misc]backup-simplify: Simplify -1 into -1 1545993401.211 * [misc]taylor: Taking taylor expansion of (/ z (* x y)) in x 1545993401.211 * [misc]taylor: Taking taylor expansion of z in x 1545993401.211 * [misc]backup-simplify: Simplify z into z 1545993401.211 * [misc]taylor: Taking taylor expansion of (* x y) in x 1545993401.211 * [misc]taylor: Taking taylor expansion of x in x 1545993401.211 * [misc]backup-simplify: Simplify 0 into 0 1545993401.211 * [misc]backup-simplify: Simplify 1 into 1 1545993401.211 * [misc]taylor: Taking taylor expansion of y in x 1545993401.211 * [misc]backup-simplify: Simplify y into y 1545993401.211 * [misc]backup-simplify: Simplify (* 0 y) into 0 1545993401.211 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 y)) into y 1545993401.211 * [misc]backup-simplify: Simplify (/ z y) into (/ z y) 1545993401.211 * [misc]taylor: Taking taylor expansion of (* -1 (/ z (* x y))) in z 1545993401.211 * [misc]taylor: Taking taylor expansion of -1 in z 1545993401.211 * [misc]backup-simplify: Simplify -1 into -1 1545993401.211 * [misc]taylor: Taking taylor expansion of (/ z (* x y)) in z 1545993401.211 * [misc]taylor: Taking taylor expansion of z in z 1545993401.211 * [misc]backup-simplify: Simplify 0 into 0 1545993401.211 * [misc]backup-simplify: Simplify 1 into 1 1545993401.211 * [misc]taylor: Taking taylor expansion of (* x y) in z 1545993401.211 * [misc]taylor: Taking taylor expansion of x in z 1545993401.211 * [misc]backup-simplify: Simplify x into x 1545993401.211 * [misc]taylor: Taking taylor expansion of y in z 1545993401.211 * [misc]backup-simplify: Simplify y into y 1545993401.211 * [misc]backup-simplify: Simplify (* x y) into (* x y) 1545993401.211 * [misc]backup-simplify: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 1545993401.211 * [misc]taylor: Taking taylor expansion of (* -1 (/ z (* x y))) in y 1545993401.211 * [misc]taylor: Taking taylor expansion of -1 in y 1545993401.211 * [misc]backup-simplify: Simplify -1 into -1 1545993401.211 * [misc]taylor: Taking taylor expansion of (/ z (* x y)) in y 1545993401.211 * [misc]taylor: Taking taylor expansion of z in y 1545993401.211 * [misc]backup-simplify: Simplify z into z 1545993401.211 * [misc]taylor: Taking taylor expansion of (* x y) in y 1545993401.211 * [misc]taylor: Taking taylor expansion of x in y 1545993401.211 * [misc]backup-simplify: Simplify x into x 1545993401.211 * [misc]taylor: Taking taylor expansion of y in y 1545993401.211 * [misc]backup-simplify: Simplify 0 into 0 1545993401.211 * [misc]backup-simplify: Simplify 1 into 1 1545993401.211 * [misc]backup-simplify: Simplify (* x 0) into 0 1545993401.212 * [misc]backup-simplify: Simplify (+ (* x 1) (* 0 0)) into x 1545993401.212 * [misc]backup-simplify: Simplify (/ z x) into (/ z x) 1545993401.212 * [misc]taylor: Taking taylor expansion of (* -1 (/ z (* x y))) in y 1545993401.212 * [misc]taylor: Taking taylor expansion of -1 in y 1545993401.212 * [misc]backup-simplify: Simplify -1 into -1 1545993401.212 * [misc]taylor: Taking taylor expansion of (/ z (* x y)) in y 1545993401.212 * [misc]taylor: Taking taylor expansion of z in y 1545993401.212 * [misc]backup-simplify: Simplify z into z 1545993401.212 * [misc]taylor: Taking taylor expansion of (* x y) in y 1545993401.212 * [misc]taylor: Taking taylor expansion of x in y 1545993401.212 * [misc]backup-simplify: Simplify x into x 1545993401.212 * [misc]taylor: Taking taylor expansion of y in y 1545993401.212 * [misc]backup-simplify: Simplify 0 into 0 1545993401.212 * [misc]backup-simplify: Simplify 1 into 1 1545993401.212 * [misc]backup-simplify: Simplify (* x 0) into 0 1545993401.212 * [misc]backup-simplify: Simplify (+ (* x 1) (* 0 0)) into x 1545993401.212 * [misc]backup-simplify: Simplify (/ z x) into (/ z x) 1545993401.212 * [misc]backup-simplify: Simplify (* -1 (/ z x)) into (* -1 (/ z x)) 1545993401.212 * [misc]taylor: Taking taylor expansion of (* -1 (/ z x)) in z 1545993401.212 * [misc]taylor: Taking taylor expansion of -1 in z 1545993401.212 * [misc]backup-simplify: Simplify -1 into -1 1545993401.212 * [misc]taylor: Taking taylor expansion of (/ z x) in z 1545993401.212 * [misc]taylor: Taking taylor expansion of z in z 1545993401.212 * [misc]backup-simplify: Simplify 0 into 0 1545993401.212 * [misc]backup-simplify: Simplify 1 into 1 1545993401.212 * [misc]taylor: Taking taylor expansion of x in z 1545993401.212 * [misc]backup-simplify: Simplify x into x 1545993401.212 * [misc]backup-simplify: Simplify (/ 1 x) into (/ 1 x) 1545993401.212 * [misc]backup-simplify: Simplify (* -1 (/ 1 x)) into (/ -1 x) 1545993401.212 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1545993401.212 * [misc]taylor: Taking taylor expansion of -1 in x 1545993401.212 * [misc]backup-simplify: Simplify -1 into -1 1545993401.212 * [misc]taylor: Taking taylor expansion of x in x 1545993401.212 * [misc]backup-simplify: Simplify 0 into 0 1545993401.212 * [misc]backup-simplify: Simplify 1 into 1 1545993401.213 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545993401.213 * [misc]backup-simplify: Simplify -1 into -1 1545993401.213 * [misc]backup-simplify: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 1545993401.213 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0 1545993401.213 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (/ z x))) into 0 1545993401.213 * [misc]taylor: Taking taylor expansion of 0 in z 1545993401.213 * [misc]backup-simplify: Simplify 0 into 0 1545993401.213 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.213 * [misc]backup-simplify: Simplify 0 into 0 1545993401.213 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0 1545993401.213 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (/ 1 x))) into 0 1545993401.213 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.213 * [misc]backup-simplify: Simplify 0 into 0 1545993401.214 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1545993401.214 * [misc]backup-simplify: Simplify 0 into 0 1545993401.214 * [misc]backup-simplify: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1545993401.214 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1545993401.214 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z x)))) into 0 1545993401.214 * [misc]taylor: Taking taylor expansion of 0 in z 1545993401.214 * [misc]backup-simplify: Simplify 0 into 0 1545993401.214 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.214 * [misc]backup-simplify: Simplify 0 into 0 1545993401.214 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.214 * [misc]backup-simplify: Simplify 0 into 0 1545993401.214 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1545993401.215 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0 1545993401.215 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.215 * [misc]backup-simplify: Simplify 0 into 0 1545993401.215 * [misc]backup-simplify: Simplify 0 into 0 1545993401.215 * [misc]backup-simplify: Simplify 0 into 0 1545993401.215 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545993401.215 * [misc]backup-simplify: Simplify 0 into 0 1545993401.215 * [misc]backup-simplify: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1545993401.215 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1545993401.216 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ z x))))) into 0 1545993401.216 * [misc]taylor: Taking taylor expansion of 0 in z 1545993401.216 * [misc]backup-simplify: Simplify 0 into 0 1545993401.216 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.216 * [misc]backup-simplify: Simplify 0 into 0 1545993401.216 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.216 * [misc]backup-simplify: Simplify 0 into 0 1545993401.216 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.216 * [misc]backup-simplify: Simplify 0 into 0 1545993401.216 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1545993401.216 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0 1545993401.216 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.216 * [misc]backup-simplify: Simplify 0 into 0 1545993401.216 * [misc]backup-simplify: Simplify 0 into 0 1545993401.216 * [misc]backup-simplify: Simplify 0 into 0 1545993401.216 * [misc]backup-simplify: Simplify (* -1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (- z)) (/ 1 (/ 1 (- y)))))) into (/ (* x y) z) 1545993401.216 * * * [misc]progress: simplifying candidates 1545993401.216 * * * * [misc]progress: [ 1 / 20 ] simplifiying candidate # 1545993401.216 * * * * [misc]progress: [ 2 / 20 ] simplifiying candidate # 1545993401.217 * * * * [misc]progress: [ 3 / 20 ] simplifiying candidate # 1545993401.217 * * * * [misc]progress: [ 4 / 20 ] simplifiying candidate # 1545993401.217 * * * * [misc]progress: [ 5 / 20 ] simplifiying candidate # 1545993401.217 * * * * [misc]progress: [ 6 / 20 ] simplifiying candidate # 1545993401.217 * * * * [misc]progress: [ 7 / 20 ] simplifiying candidate # 1545993401.217 * * * * [misc]progress: [ 8 / 20 ] simplifiying candidate # 1545993401.217 * * * * [misc]progress: [ 9 / 20 ] simplifiying candidate # 1545993401.217 * * * * [misc]progress: [ 10 / 20 ] simplifiying candidate # 1545993401.217 * * * * [misc]progress: [ 11 / 20 ] simplifiying candidate # 1545993401.217 * * * * [misc]progress: [ 12 / 20 ] simplifiying candidate # 1545993401.217 * * * * [misc]progress: [ 13 / 20 ] simplifiying candidate # 1545993401.217 * [enter]simplify: Simplifying (cbrt (/ z x)) 1545993401.217 * * [misc]simplify: iters left: 3 (4 enodes) 1545993401.218 * [exit]simplify: Simplified to (cbrt (/ z x)) 1545993401.218 * [misc]simplify: Simplified (2 2) to (λ (x y z t) (/ (/ y (* (cbrt (/ z x)) (cbrt (/ z x)))) (cbrt (/ z x)))) 1545993401.218 * * * * [misc]progress: [ 14 / 20 ] simplifiying candidate # 1545993401.218 * [enter]simplify: Simplifying (sqrt (/ z x)) 1545993401.218 * * [misc]simplify: iters left: 3 (4 enodes) 1545993401.218 * [exit]simplify: Simplified to (sqrt (/ z x)) 1545993401.218 * [misc]simplify: Simplified (2 2) to (λ (x y z t) (/ (/ y (sqrt (/ z x))) (sqrt (/ z x)))) 1545993401.218 * * * * [misc]progress: [ 15 / 20 ] simplifiying candidate # 1545993401.219 * [enter]simplify: Simplifying (/ z x) 1545993401.219 * * [misc]simplify: iters left: 2 (3 enodes) 1545993401.219 * [exit]simplify: Simplified to (/ z x) 1545993401.219 * [misc]simplify: Simplified (2 2) to (λ (x y z t) (/ (/ y 1) (/ z x))) 1545993401.219 * * * * [misc]progress: [ 16 / 20 ] simplifiying candidate # 1545993401.219 * [enter]simplify: Simplifying (/ 1 x) 1545993401.219 * * [misc]simplify: iters left: 2 (3 enodes) 1545993401.220 * * [misc]simplify: iters left: 1 (5 enodes) 1545993401.220 * [exit]simplify: Simplified to (/ 1 x) 1545993401.220 * [misc]simplify: Simplified (2 2) to (λ (x y z t) (/ (/ y z) (/ 1 x))) 1545993401.220 * * * * [misc]progress: [ 17 / 20 ] simplifiying candidate # 1545993401.220 * * * * [misc]progress: [ 18 / 20 ] simplifiying candidate # 1545993401.220 * [enter]simplify: Simplifying (/ (* x y) z) 1545993401.221 * * [misc]simplify: iters left: 4 (5 enodes) 1545993401.221 * * [misc]simplify: iters left: 3 (8 enodes) 1545993401.222 * * [misc]simplify: iters left: 2 (10 enodes) 1545993401.224 * * [misc]simplify: iters left: 1 (13 enodes) 1545993401.225 * [exit]simplify: Simplified to (/ y (/ z x)) 1545993401.225 * [misc]simplify: Simplified (2) to (λ (x y z t) (/ y (/ z x))) 1545993401.225 * * * * [misc]progress: [ 19 / 20 ] simplifiying candidate # 1545993401.225 * [enter]simplify: Simplifying (/ (* x y) z) 1545993401.226 * * [misc]simplify: iters left: 4 (5 enodes) 1545993401.226 * * [misc]simplify: iters left: 3 (8 enodes) 1545993401.227 * * [misc]simplify: iters left: 2 (10 enodes) 1545993401.229 * * [misc]simplify: iters left: 1 (13 enodes) 1545993401.232 * [exit]simplify: Simplified to (/ y (/ z x)) 1545993401.232 * [misc]simplify: Simplified (2) to (λ (x y z t) (/ y (/ z x))) 1545993401.232 * * * * [misc]progress: [ 20 / 20 ] simplifiying candidate # 1545993401.232 * [enter]simplify: Simplifying (/ (* x y) z) 1545993401.232 * * [misc]simplify: iters left: 4 (5 enodes) 1545993401.233 * * [misc]simplify: iters left: 3 (8 enodes) 1545993401.234 * * [misc]simplify: iters left: 2 (10 enodes) 1545993401.236 * * [misc]simplify: iters left: 1 (13 enodes) 1545993401.239 * [exit]simplify: Simplified to (/ y (/ z x)) 1545993401.239 * [misc]simplify: Simplified (2) to (λ (x y z t) (/ y (/ z x))) 1545993401.240 * * * [misc]progress: adding candidates to table 1545993401.404 * * [misc]progress: iteration 4 / 4 1545993401.404 * * * [misc]progress: picking best candidate 1545993401.413 * * * * [misc]pick: Picked # 1545993401.413 * * * [misc]progress: localizing error 1545993401.418 * * * [misc]progress: generating rewritten candidates 1545993401.418 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1545993401.421 * * * [misc]progress: generating series expansions 1545993401.421 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1545993401.421 * [misc]backup-simplify: Simplify (* (/ y z) x) into (/ (* x y) z) 1545993401.421 * [misc]approximate: Taking taylor expansion of (/ (* x y) z) in (y z x) around 0 1545993401.421 * [misc]taylor: Taking taylor expansion of (/ (* x y) z) in x 1545993401.421 * [misc]taylor: Taking taylor expansion of (* x y) in x 1545993401.421 * [misc]taylor: Taking taylor expansion of x in x 1545993401.421 * [misc]backup-simplify: Simplify 0 into 0 1545993401.421 * [misc]backup-simplify: Simplify 1 into 1 1545993401.421 * [misc]taylor: Taking taylor expansion of y in x 1545993401.421 * [misc]backup-simplify: Simplify y into y 1545993401.421 * [misc]taylor: Taking taylor expansion of z in x 1545993401.421 * [misc]backup-simplify: Simplify z into z 1545993401.421 * [misc]backup-simplify: Simplify (* 0 y) into 0 1545993401.421 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 y)) into y 1545993401.421 * [misc]backup-simplify: Simplify (/ y z) into (/ y z) 1545993401.421 * [misc]taylor: Taking taylor expansion of (/ (* x y) z) in z 1545993401.421 * [misc]taylor: Taking taylor expansion of (* x y) in z 1545993401.421 * [misc]taylor: Taking taylor expansion of x in z 1545993401.421 * [misc]backup-simplify: Simplify x into x 1545993401.421 * [misc]taylor: Taking taylor expansion of y in z 1545993401.421 * [misc]backup-simplify: Simplify y into y 1545993401.421 * [misc]taylor: Taking taylor expansion of z in z 1545993401.421 * [misc]backup-simplify: Simplify 0 into 0 1545993401.421 * [misc]backup-simplify: Simplify 1 into 1 1545993401.421 * [misc]backup-simplify: Simplify (* x y) into (* x y) 1545993401.421 * [misc]backup-simplify: Simplify (/ (* x y) 1) into (* x y) 1545993401.421 * [misc]taylor: Taking taylor expansion of (/ (* x y) z) in y 1545993401.421 * [misc]taylor: Taking taylor expansion of (* x y) in y 1545993401.421 * [misc]taylor: Taking taylor expansion of x in y 1545993401.421 * [misc]backup-simplify: Simplify x into x 1545993401.421 * [misc]taylor: Taking taylor expansion of y in y 1545993401.422 * [misc]backup-simplify: Simplify 0 into 0 1545993401.422 * [misc]backup-simplify: Simplify 1 into 1 1545993401.422 * [misc]taylor: Taking taylor expansion of z in y 1545993401.422 * [misc]backup-simplify: Simplify z into z 1545993401.422 * [misc]backup-simplify: Simplify (* x 0) into 0 1545993401.422 * [misc]backup-simplify: Simplify (+ (* x 1) (* 0 0)) into x 1545993401.422 * [misc]backup-simplify: Simplify (/ x z) into (/ x z) 1545993401.422 * [misc]taylor: Taking taylor expansion of (/ (* x y) z) in y 1545993401.422 * [misc]taylor: Taking taylor expansion of (* x y) in y 1545993401.422 * [misc]taylor: Taking taylor expansion of x in y 1545993401.422 * [misc]backup-simplify: Simplify x into x 1545993401.422 * [misc]taylor: Taking taylor expansion of y in y 1545993401.422 * [misc]backup-simplify: Simplify 0 into 0 1545993401.422 * [misc]backup-simplify: Simplify 1 into 1 1545993401.422 * [misc]taylor: Taking taylor expansion of z in y 1545993401.422 * [misc]backup-simplify: Simplify z into z 1545993401.422 * [misc]backup-simplify: Simplify (* x 0) into 0 1545993401.422 * [misc]backup-simplify: Simplify (+ (* x 1) (* 0 0)) into x 1545993401.422 * [misc]backup-simplify: Simplify (/ x z) into (/ x z) 1545993401.422 * [misc]taylor: Taking taylor expansion of (/ x z) in z 1545993401.422 * [misc]taylor: Taking taylor expansion of x in z 1545993401.422 * [misc]backup-simplify: Simplify x into x 1545993401.422 * [misc]taylor: Taking taylor expansion of z in z 1545993401.422 * [misc]backup-simplify: Simplify 0 into 0 1545993401.422 * [misc]backup-simplify: Simplify 1 into 1 1545993401.423 * [misc]backup-simplify: Simplify (/ x 1) into x 1545993401.423 * [misc]taylor: Taking taylor expansion of x in x 1545993401.423 * [misc]backup-simplify: Simplify 0 into 0 1545993401.423 * [misc]backup-simplify: Simplify 1 into 1 1545993401.423 * [misc]backup-simplify: Simplify 1 into 1 1545993401.423 * [misc]backup-simplify: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 1545993401.423 * [misc]backup-simplify: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0 1545993401.423 * [misc]taylor: Taking taylor expansion of 0 in z 1545993401.423 * [misc]backup-simplify: Simplify 0 into 0 1545993401.423 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0 1545993401.423 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.423 * [misc]backup-simplify: Simplify 0 into 0 1545993401.423 * [misc]backup-simplify: Simplify 0 into 0 1545993401.423 * [misc]backup-simplify: Simplify 0 into 0 1545993401.423 * [misc]backup-simplify: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1545993401.424 * [misc]backup-simplify: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 1545993401.424 * [misc]taylor: Taking taylor expansion of 0 in z 1545993401.424 * [misc]backup-simplify: Simplify 0 into 0 1545993401.424 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.424 * [misc]backup-simplify: Simplify 0 into 0 1545993401.424 * [misc]backup-simplify: Simplify 0 into 0 1545993401.424 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545993401.424 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.424 * [misc]backup-simplify: Simplify 0 into 0 1545993401.424 * [misc]backup-simplify: Simplify 0 into 0 1545993401.424 * [misc]backup-simplify: Simplify 0 into 0 1545993401.424 * [misc]backup-simplify: Simplify 0 into 0 1545993401.424 * [misc]backup-simplify: Simplify (* 1 (* x (* (/ 1 z) y))) into (/ (* x y) z) 1545993401.424 * [misc]backup-simplify: Simplify (* (/ (/ 1 y) (/ 1 z)) (/ 1 x)) into (/ z (* x y)) 1545993401.424 * [misc]approximate: Taking taylor expansion of (/ z (* x y)) in (y z x) around 0 1545993401.424 * [misc]taylor: Taking taylor expansion of (/ z (* x y)) in x 1545993401.424 * [misc]taylor: Taking taylor expansion of z in x 1545993401.424 * [misc]backup-simplify: Simplify z into z 1545993401.424 * [misc]taylor: Taking taylor expansion of (* x y) in x 1545993401.424 * [misc]taylor: Taking taylor expansion of x in x 1545993401.424 * [misc]backup-simplify: Simplify 0 into 0 1545993401.424 * [misc]backup-simplify: Simplify 1 into 1 1545993401.424 * [misc]taylor: Taking taylor expansion of y in x 1545993401.424 * [misc]backup-simplify: Simplify y into y 1545993401.424 * [misc]backup-simplify: Simplify (* 0 y) into 0 1545993401.425 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 y)) into y 1545993401.425 * [misc]backup-simplify: Simplify (/ z y) into (/ z y) 1545993401.425 * [misc]taylor: Taking taylor expansion of (/ z (* x y)) in z 1545993401.425 * [misc]taylor: Taking taylor expansion of z in z 1545993401.425 * [misc]backup-simplify: Simplify 0 into 0 1545993401.425 * [misc]backup-simplify: Simplify 1 into 1 1545993401.425 * [misc]taylor: Taking taylor expansion of (* x y) in z 1545993401.425 * [misc]taylor: Taking taylor expansion of x in z 1545993401.425 * [misc]backup-simplify: Simplify x into x 1545993401.425 * [misc]taylor: Taking taylor expansion of y in z 1545993401.425 * [misc]backup-simplify: Simplify y into y 1545993401.425 * [misc]backup-simplify: Simplify (* x y) into (* x y) 1545993401.425 * [misc]backup-simplify: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 1545993401.425 * [misc]taylor: Taking taylor expansion of (/ z (* x y)) in y 1545993401.425 * [misc]taylor: Taking taylor expansion of z in y 1545993401.425 * [misc]backup-simplify: Simplify z into z 1545993401.425 * [misc]taylor: Taking taylor expansion of (* x y) in y 1545993401.425 * [misc]taylor: Taking taylor expansion of x in y 1545993401.425 * [misc]backup-simplify: Simplify x into x 1545993401.425 * [misc]taylor: Taking taylor expansion of y in y 1545993401.425 * [misc]backup-simplify: Simplify 0 into 0 1545993401.425 * [misc]backup-simplify: Simplify 1 into 1 1545993401.425 * [misc]backup-simplify: Simplify (* x 0) into 0 1545993401.425 * [misc]backup-simplify: Simplify (+ (* x 1) (* 0 0)) into x 1545993401.425 * [misc]backup-simplify: Simplify (/ z x) into (/ z x) 1545993401.425 * [misc]taylor: Taking taylor expansion of (/ z (* x y)) in y 1545993401.425 * [misc]taylor: Taking taylor expansion of z in y 1545993401.425 * [misc]backup-simplify: Simplify z into z 1545993401.425 * [misc]taylor: Taking taylor expansion of (* x y) in y 1545993401.425 * [misc]taylor: Taking taylor expansion of x in y 1545993401.425 * [misc]backup-simplify: Simplify x into x 1545993401.425 * [misc]taylor: Taking taylor expansion of y in y 1545993401.425 * [misc]backup-simplify: Simplify 0 into 0 1545993401.425 * [misc]backup-simplify: Simplify 1 into 1 1545993401.425 * [misc]backup-simplify: Simplify (* x 0) into 0 1545993401.425 * [misc]backup-simplify: Simplify (+ (* x 1) (* 0 0)) into x 1545993401.426 * [misc]backup-simplify: Simplify (/ z x) into (/ z x) 1545993401.426 * [misc]taylor: Taking taylor expansion of (/ z x) in z 1545993401.426 * [misc]taylor: Taking taylor expansion of z in z 1545993401.426 * [misc]backup-simplify: Simplify 0 into 0 1545993401.426 * [misc]backup-simplify: Simplify 1 into 1 1545993401.426 * [misc]taylor: Taking taylor expansion of x in z 1545993401.426 * [misc]backup-simplify: Simplify x into x 1545993401.426 * [misc]backup-simplify: Simplify (/ 1 x) into (/ 1 x) 1545993401.426 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545993401.426 * [misc]taylor: Taking taylor expansion of x in x 1545993401.426 * [misc]backup-simplify: Simplify 0 into 0 1545993401.426 * [misc]backup-simplify: Simplify 1 into 1 1545993401.426 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545993401.426 * [misc]backup-simplify: Simplify 1 into 1 1545993401.426 * [misc]backup-simplify: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 1545993401.426 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0 1545993401.426 * [misc]taylor: Taking taylor expansion of 0 in z 1545993401.426 * [misc]backup-simplify: Simplify 0 into 0 1545993401.426 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.426 * [misc]backup-simplify: Simplify 0 into 0 1545993401.426 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0 1545993401.426 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.426 * [misc]backup-simplify: Simplify 0 into 0 1545993401.427 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545993401.427 * [misc]backup-simplify: Simplify 0 into 0 1545993401.427 * [misc]backup-simplify: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1545993401.427 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1545993401.427 * [misc]taylor: Taking taylor expansion of 0 in z 1545993401.427 * [misc]backup-simplify: Simplify 0 into 0 1545993401.427 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.427 * [misc]backup-simplify: Simplify 0 into 0 1545993401.427 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.427 * [misc]backup-simplify: Simplify 0 into 0 1545993401.427 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1545993401.427 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.427 * [misc]backup-simplify: Simplify 0 into 0 1545993401.427 * [misc]backup-simplify: Simplify 0 into 0 1545993401.427 * [misc]backup-simplify: Simplify 0 into 0 1545993401.427 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545993401.427 * [misc]backup-simplify: Simplify 0 into 0 1545993401.428 * [misc]backup-simplify: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1545993401.428 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1545993401.428 * [misc]taylor: Taking taylor expansion of 0 in z 1545993401.428 * [misc]backup-simplify: Simplify 0 into 0 1545993401.428 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.428 * [misc]backup-simplify: Simplify 0 into 0 1545993401.428 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.428 * [misc]backup-simplify: Simplify 0 into 0 1545993401.428 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.428 * [misc]backup-simplify: Simplify 0 into 0 1545993401.428 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1545993401.428 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.428 * [misc]backup-simplify: Simplify 0 into 0 1545993401.428 * [misc]backup-simplify: Simplify 0 into 0 1545993401.428 * [misc]backup-simplify: Simplify 0 into 0 1545993401.428 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 z) (/ 1 (/ 1 y))))) into (/ (* x y) z) 1545993401.428 * [misc]backup-simplify: Simplify (* (/ (/ 1 (- y)) (/ 1 (- z))) (/ 1 (- x))) into (* -1 (/ z (* x y))) 1545993401.428 * [misc]approximate: Taking taylor expansion of (* -1 (/ z (* x y))) in (y z x) around 0 1545993401.428 * [misc]taylor: Taking taylor expansion of (* -1 (/ z (* x y))) in x 1545993401.428 * [misc]taylor: Taking taylor expansion of -1 in x 1545993401.428 * [misc]backup-simplify: Simplify -1 into -1 1545993401.428 * [misc]taylor: Taking taylor expansion of (/ z (* x y)) in x 1545993401.428 * [misc]taylor: Taking taylor expansion of z in x 1545993401.428 * [misc]backup-simplify: Simplify z into z 1545993401.428 * [misc]taylor: Taking taylor expansion of (* x y) in x 1545993401.428 * [misc]taylor: Taking taylor expansion of x in x 1545993401.428 * [misc]backup-simplify: Simplify 0 into 0 1545993401.429 * [misc]backup-simplify: Simplify 1 into 1 1545993401.429 * [misc]taylor: Taking taylor expansion of y in x 1545993401.429 * [misc]backup-simplify: Simplify y into y 1545993401.429 * [misc]backup-simplify: Simplify (* 0 y) into 0 1545993401.429 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 y)) into y 1545993401.429 * [misc]backup-simplify: Simplify (/ z y) into (/ z y) 1545993401.429 * [misc]taylor: Taking taylor expansion of (* -1 (/ z (* x y))) in z 1545993401.429 * [misc]taylor: Taking taylor expansion of -1 in z 1545993401.429 * [misc]backup-simplify: Simplify -1 into -1 1545993401.429 * [misc]taylor: Taking taylor expansion of (/ z (* x y)) in z 1545993401.429 * [misc]taylor: Taking taylor expansion of z in z 1545993401.429 * [misc]backup-simplify: Simplify 0 into 0 1545993401.429 * [misc]backup-simplify: Simplify 1 into 1 1545993401.429 * [misc]taylor: Taking taylor expansion of (* x y) in z 1545993401.429 * [misc]taylor: Taking taylor expansion of x in z 1545993401.429 * [misc]backup-simplify: Simplify x into x 1545993401.429 * [misc]taylor: Taking taylor expansion of y in z 1545993401.429 * [misc]backup-simplify: Simplify y into y 1545993401.429 * [misc]backup-simplify: Simplify (* x y) into (* x y) 1545993401.429 * [misc]backup-simplify: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 1545993401.429 * [misc]taylor: Taking taylor expansion of (* -1 (/ z (* x y))) in y 1545993401.429 * [misc]taylor: Taking taylor expansion of -1 in y 1545993401.429 * [misc]backup-simplify: Simplify -1 into -1 1545993401.429 * [misc]taylor: Taking taylor expansion of (/ z (* x y)) in y 1545993401.429 * [misc]taylor: Taking taylor expansion of z in y 1545993401.429 * [misc]backup-simplify: Simplify z into z 1545993401.429 * [misc]taylor: Taking taylor expansion of (* x y) in y 1545993401.429 * [misc]taylor: Taking taylor expansion of x in y 1545993401.429 * [misc]backup-simplify: Simplify x into x 1545993401.429 * [misc]taylor: Taking taylor expansion of y in y 1545993401.429 * [misc]backup-simplify: Simplify 0 into 0 1545993401.429 * [misc]backup-simplify: Simplify 1 into 1 1545993401.429 * [misc]backup-simplify: Simplify (* x 0) into 0 1545993401.429 * [misc]backup-simplify: Simplify (+ (* x 1) (* 0 0)) into x 1545993401.429 * [misc]backup-simplify: Simplify (/ z x) into (/ z x) 1545993401.429 * [misc]taylor: Taking taylor expansion of (* -1 (/ z (* x y))) in y 1545993401.429 * [misc]taylor: Taking taylor expansion of -1 in y 1545993401.429 * [misc]backup-simplify: Simplify -1 into -1 1545993401.429 * [misc]taylor: Taking taylor expansion of (/ z (* x y)) in y 1545993401.429 * [misc]taylor: Taking taylor expansion of z in y 1545993401.429 * [misc]backup-simplify: Simplify z into z 1545993401.429 * [misc]taylor: Taking taylor expansion of (* x y) in y 1545993401.429 * [misc]taylor: Taking taylor expansion of x in y 1545993401.429 * [misc]backup-simplify: Simplify x into x 1545993401.430 * [misc]taylor: Taking taylor expansion of y in y 1545993401.430 * [misc]backup-simplify: Simplify 0 into 0 1545993401.430 * [misc]backup-simplify: Simplify 1 into 1 1545993401.430 * [misc]backup-simplify: Simplify (* x 0) into 0 1545993401.430 * [misc]backup-simplify: Simplify (+ (* x 1) (* 0 0)) into x 1545993401.430 * [misc]backup-simplify: Simplify (/ z x) into (/ z x) 1545993401.430 * [misc]backup-simplify: Simplify (* -1 (/ z x)) into (* -1 (/ z x)) 1545993401.430 * [misc]taylor: Taking taylor expansion of (* -1 (/ z x)) in z 1545993401.430 * [misc]taylor: Taking taylor expansion of -1 in z 1545993401.430 * [misc]backup-simplify: Simplify -1 into -1 1545993401.430 * [misc]taylor: Taking taylor expansion of (/ z x) in z 1545993401.430 * [misc]taylor: Taking taylor expansion of z in z 1545993401.430 * [misc]backup-simplify: Simplify 0 into 0 1545993401.430 * [misc]backup-simplify: Simplify 1 into 1 1545993401.430 * [misc]taylor: Taking taylor expansion of x in z 1545993401.430 * [misc]backup-simplify: Simplify x into x 1545993401.430 * [misc]backup-simplify: Simplify (/ 1 x) into (/ 1 x) 1545993401.430 * [misc]backup-simplify: Simplify (* -1 (/ 1 x)) into (/ -1 x) 1545993401.430 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1545993401.430 * [misc]taylor: Taking taylor expansion of -1 in x 1545993401.430 * [misc]backup-simplify: Simplify -1 into -1 1545993401.430 * [misc]taylor: Taking taylor expansion of x in x 1545993401.430 * [misc]backup-simplify: Simplify 0 into 0 1545993401.430 * [misc]backup-simplify: Simplify 1 into 1 1545993401.430 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545993401.430 * [misc]backup-simplify: Simplify -1 into -1 1545993401.430 * [misc]backup-simplify: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 1545993401.431 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0 1545993401.431 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (/ z x))) into 0 1545993401.431 * [misc]taylor: Taking taylor expansion of 0 in z 1545993401.431 * [misc]backup-simplify: Simplify 0 into 0 1545993401.431 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.431 * [misc]backup-simplify: Simplify 0 into 0 1545993401.431 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0 1545993401.431 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (/ 1 x))) into 0 1545993401.431 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.431 * [misc]backup-simplify: Simplify 0 into 0 1545993401.431 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1545993401.431 * [misc]backup-simplify: Simplify 0 into 0 1545993401.431 * [misc]backup-simplify: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1545993401.432 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1545993401.432 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z x)))) into 0 1545993401.432 * [misc]taylor: Taking taylor expansion of 0 in z 1545993401.432 * [misc]backup-simplify: Simplify 0 into 0 1545993401.432 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.432 * [misc]backup-simplify: Simplify 0 into 0 1545993401.432 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.432 * [misc]backup-simplify: Simplify 0 into 0 1545993401.432 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1545993401.432 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0 1545993401.432 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.432 * [misc]backup-simplify: Simplify 0 into 0 1545993401.432 * [misc]backup-simplify: Simplify 0 into 0 1545993401.432 * [misc]backup-simplify: Simplify 0 into 0 1545993401.432 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545993401.433 * [misc]backup-simplify: Simplify 0 into 0 1545993401.433 * [misc]backup-simplify: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1545993401.433 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1545993401.433 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ z x))))) into 0 1545993401.433 * [misc]taylor: Taking taylor expansion of 0 in z 1545993401.433 * [misc]backup-simplify: Simplify 0 into 0 1545993401.433 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.433 * [misc]backup-simplify: Simplify 0 into 0 1545993401.433 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.433 * [misc]backup-simplify: Simplify 0 into 0 1545993401.433 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.433 * [misc]backup-simplify: Simplify 0 into 0 1545993401.433 * [misc]backup-simplify: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1545993401.434 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0 1545993401.434 * [misc]taylor: Taking taylor expansion of 0 in x 1545993401.434 * [misc]backup-simplify: Simplify 0 into 0 1545993401.434 * [misc]backup-simplify: Simplify 0 into 0 1545993401.434 * [misc]backup-simplify: Simplify 0 into 0 1545993401.434 * [misc]backup-simplify: Simplify (* -1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (- z)) (/ 1 (/ 1 (- y)))))) into (/ (* x y) z) 1545993401.434 * * * [misc]progress: simplifying candidates 1545993401.434 * * * * [misc]progress: [ 1 / 18 ] simplifiying candidate # 1545993401.434 * * * * [misc]progress: [ 2 / 18 ] simplifiying candidate # 1545993401.434 * * * * [misc]progress: [ 3 / 18 ] simplifiying candidate # 1545993401.434 * * * * [misc]progress: [ 4 / 18 ] simplifiying candidate # 1545993401.434 * * * * [misc]progress: [ 5 / 18 ] simplifiying candidate # 1545993401.434 * * * * [misc]progress: [ 6 / 18 ] simplifiying candidate # 1545993401.434 * * * * [misc]progress: [ 7 / 18 ] simplifiying candidate # 1545993401.434 * * * * [misc]progress: [ 8 / 18 ] simplifiying candidate # 1545993401.434 * * * * [misc]progress: [ 9 / 18 ] simplifiying candidate # 1545993401.434 * * * * [misc]progress: [ 10 / 18 ] simplifiying candidate # 1545993401.435 * [enter]simplify: Simplifying (* (cbrt (/ y z)) (cbrt (/ y z))) 1545993401.435 * * [misc]simplify: iters left: 5 (5 enodes) 1545993401.435 * [exit]simplify: Simplified to (* (cbrt (/ y z)) (cbrt (/ y z))) 1545993401.435 * [misc]simplify: Simplified (2 1) to (λ (x y z t) (* (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt (/ y z)) x))) 1545993401.435 * * * * [misc]progress: [ 11 / 18 ] simplifiying candidate # 1545993401.436 * [enter]simplify: Simplifying (sqrt (/ y z)) 1545993401.436 * * [misc]simplify: iters left: 3 (4 enodes) 1545993401.436 * [exit]simplify: Simplified to (sqrt (/ y z)) 1545993401.436 * [misc]simplify: Simplified (2 1) to (λ (x y z t) (* (sqrt (/ y z)) (* (sqrt (/ y z)) x))) 1545993401.436 * * * * [misc]progress: [ 12 / 18 ] simplifiying candidate # 1545993401.436 * * * * [misc]progress: [ 13 / 18 ] simplifiying candidate # 1545993401.436 * * * * [misc]progress: [ 14 / 18 ] simplifiying candidate # 1545993401.436 * [enter]simplify: Simplifying (* y x) 1545993401.436 * * [misc]simplify: iters left: 2 (3 enodes) 1545993401.437 * * [misc]simplify: iters left: 1 (4 enodes) 1545993401.437 * [exit]simplify: Simplified to (* y x) 1545993401.437 * [misc]simplify: Simplified (2 1) to (λ (x y z t) (/ (* y x) z)) 1545993401.437 * * * * [misc]progress: [ 15 / 18 ] simplifiying candidate # 1545993401.438 * * * * [misc]progress: [ 16 / 18 ] simplifiying candidate # 1545993401.438 * [enter]simplify: Simplifying (/ (* x y) z) 1545993401.438 * * [misc]simplify: iters left: 4 (5 enodes) 1545993401.438 * * [misc]simplify: iters left: 3 (8 enodes) 1545993401.439 * * [misc]simplify: iters left: 2 (10 enodes) 1545993401.441 * * [misc]simplify: iters left: 1 (13 enodes) 1545993401.442 * [exit]simplify: Simplified to (/ y (/ z x)) 1545993401.443 * [misc]simplify: Simplified (2) to (λ (x y z t) (/ y (/ z x))) 1545993401.443 * * * * [misc]progress: [ 17 / 18 ] simplifiying candidate # 1545993401.443 * [enter]simplify: Simplifying (/ (* x y) z) 1545993401.443 * * [misc]simplify: iters left: 4 (5 enodes) 1545993401.444 * * [misc]simplify: iters left: 3 (8 enodes) 1545993401.445 * * [misc]simplify: iters left: 2 (10 enodes) 1545993401.446 * * [misc]simplify: iters left: 1 (13 enodes) 1545993401.448 * [exit]simplify: Simplified to (/ y (/ z x)) 1545993401.448 * [misc]simplify: Simplified (2) to (λ (x y z t) (/ y (/ z x))) 1545993401.448 * * * * [misc]progress: [ 18 / 18 ] simplifiying candidate # 1545993401.448 * [enter]simplify: Simplifying (/ (* x y) z) 1545993401.448 * * [misc]simplify: iters left: 4 (5 enodes) 1545993401.449 * * [misc]simplify: iters left: 3 (8 enodes) 1545993401.450 * * [misc]simplify: iters left: 2 (10 enodes) 1545993401.451 * * [misc]simplify: iters left: 1 (13 enodes) 1545993401.453 * [exit]simplify: Simplified to (/ y (/ z x)) 1545993401.453 * [misc]simplify: Simplified (2) to (λ (x y z t) (/ y (/ z x))) 1545993401.453 * * * [misc]progress: adding candidates to table 1545993401.574 * [misc]progress: [Phase 3 of 3] Extracting. 1545993401.574 * * [misc]regime: Finding splitpoints for: (# # # # # # #) 1545993401.575 * * * [misc]regime-changes: Trying 4 branch expressions: (z y (/ y z) x) 1545993401.575 * * * * [misc]regimes: Trying to branch on z from (# # # # # # #) 1545993401.675 * * * * [misc]regimes: Trying to branch on y from (# # # # # # #) 1545993401.759 * * * * [misc]regimes: Trying to branch on (/ y z) from (# # # # # # #) 1545993401.845 * * * * [misc]regimes: Trying to branch on (/ y z) from (# #) 1545993401.890 * * * * [misc]regimes: Trying to branch on x from (# # # # # # #) 1545993401.956 * * * [misc]regime: Found split indices: #