77.491 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.029 * * * [progress]: [2/2] Setting up program. 0.032 * [progress]: [Phase 2 of 3] Improving. 0.032 * [simplify]: Simplifying: (* x (/ (* (/ y z) t) t)) 0.032 * * [simplify]: Extracting # 0 : cost 0 0.032 * * [simplify]: Extracting # 1 : cost 0 0.032 * * [simplify]: Extracting # 2 : cost 0 0.032 * * [simplify]: Extracting # 3 : cost 0 0.032 * * [simplify]: Extracting # 4 : cost 0 0.032 * * [simplify]: Extracting # 5 : cost 0 0.032 * * [simplify]: Extracting # 6 : cost 0 0.032 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.034 * * [simplify]: Extracting # 0 : cost 0 0.034 * * [simplify]: Extracting # 1 : cost 0 0.034 * * [simplify]: Extracting # 2 : cost 0 0.034 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 0.039 * * [simplify]: Extracting # 0 : cost 0 0.039 * * [simplify]: Extracting # 1 : cost 0 0.039 * * [simplify]: Extracting # 2 : cost 0 0.039 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 0.053 * * [simplify]: Extracting # 0 : cost 0 0.053 * * [simplify]: Extracting # 1 : cost 0 0.053 * * [simplify]: Extracting # 2 : cost 0 0.054 * * [simplify]: iteration 3 : 99 enodes (cost 5 ) 0.131 * * [simplify]: Extracting # 0 : cost 0 0.131 * * [simplify]: Extracting # 1 : cost 0 0.132 * * [simplify]: Extracting # 2 : cost 0 0.133 * * [simplify]: iteration 4 : 386 enodes (cost 5 ) 1.463 * * [simplify]: Extracting # 0 : cost 0 1.466 * * [simplify]: Extracting # 1 : cost 0 1.468 * * [simplify]: Extracting # 2 : cost 0 1.470 * * [simplify]: iteration 5 : 1705 enodes (cost 5 ) 4.978 * * [simplify]: Extracting # 0 : cost 0 4.984 * * [simplify]: Extracting # 1 : cost 0 4.988 * * [simplify]: Extracting # 2 : cost 0 4.992 * * [simplify]: Extracting # 3 : cost 0 4.995 * * [simplify]: iteration done: 5001 enodes (cost 5 ) 4.996 * [simplify]: Simplified to: (* (/ y z) x) 4.998 * * [progress]: iteration 1 / 4 4.998 * * * [progress]: picking best candidate 5.001 * * * * [pick]: Picked # 5.001 * * * [progress]: localizing error 5.011 * * * [progress]: generating rewritten candidates 5.011 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 5.029 * * * [progress]: generating series expansions 5.029 * * * * [progress]: [ 1 / 1 ] generating series at (2) 5.029 * [backup-simplify]: Simplify (* (/ y z) x) into (/ (* x y) z) 5.029 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (y z x) around 0 5.029 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 5.029 * [taylor]: Taking taylor expansion of (* x y) in x 5.029 * [taylor]: Taking taylor expansion of x in x 5.029 * [backup-simplify]: Simplify 0 into 0 5.029 * [backup-simplify]: Simplify 1 into 1 5.029 * [taylor]: Taking taylor expansion of y in x 5.029 * [backup-simplify]: Simplify y into y 5.029 * [taylor]: Taking taylor expansion of z in x 5.029 * [backup-simplify]: Simplify z into z 5.029 * [backup-simplify]: Simplify (* 0 y) into 0 5.030 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.030 * [backup-simplify]: Simplify (/ y z) into (/ y z) 5.030 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 5.030 * [taylor]: Taking taylor expansion of (* x y) in z 5.030 * [taylor]: Taking taylor expansion of x in z 5.030 * [backup-simplify]: Simplify x into x 5.030 * [taylor]: Taking taylor expansion of y in z 5.030 * [backup-simplify]: Simplify y into y 5.030 * [taylor]: Taking taylor expansion of z in z 5.030 * [backup-simplify]: Simplify 0 into 0 5.030 * [backup-simplify]: Simplify 1 into 1 5.030 * [backup-simplify]: Simplify (* x y) into (* x y) 5.030 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 5.030 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 5.030 * [taylor]: Taking taylor expansion of (* x y) in y 5.030 * [taylor]: Taking taylor expansion of x in y 5.030 * [backup-simplify]: Simplify x into x 5.030 * [taylor]: Taking taylor expansion of y in y 5.030 * [backup-simplify]: Simplify 0 into 0 5.030 * [backup-simplify]: Simplify 1 into 1 5.030 * [taylor]: Taking taylor expansion of z in y 5.030 * [backup-simplify]: Simplify z into z 5.030 * [backup-simplify]: Simplify (* x 0) into 0 5.031 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.031 * [backup-simplify]: Simplify (/ x z) into (/ x z) 5.031 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 5.031 * [taylor]: Taking taylor expansion of (* x y) in y 5.031 * [taylor]: Taking taylor expansion of x in y 5.031 * [backup-simplify]: Simplify x into x 5.031 * [taylor]: Taking taylor expansion of y in y 5.031 * [backup-simplify]: Simplify 0 into 0 5.031 * [backup-simplify]: Simplify 1 into 1 5.031 * [taylor]: Taking taylor expansion of z in y 5.031 * [backup-simplify]: Simplify z into z 5.031 * [backup-simplify]: Simplify (* x 0) into 0 5.031 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.031 * [backup-simplify]: Simplify (/ x z) into (/ x z) 5.031 * [taylor]: Taking taylor expansion of (/ x z) in z 5.031 * [taylor]: Taking taylor expansion of x in z 5.031 * [backup-simplify]: Simplify x into x 5.031 * [taylor]: Taking taylor expansion of z in z 5.031 * [backup-simplify]: Simplify 0 into 0 5.031 * [backup-simplify]: Simplify 1 into 1 5.031 * [backup-simplify]: Simplify (/ x 1) into x 5.031 * [taylor]: Taking taylor expansion of x in x 5.031 * [backup-simplify]: Simplify 0 into 0 5.031 * [backup-simplify]: Simplify 1 into 1 5.031 * [backup-simplify]: Simplify 1 into 1 5.032 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 5.032 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0 5.032 * [taylor]: Taking taylor expansion of 0 in z 5.032 * [backup-simplify]: Simplify 0 into 0 5.033 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0 5.033 * [taylor]: Taking taylor expansion of 0 in x 5.033 * [backup-simplify]: Simplify 0 into 0 5.033 * [backup-simplify]: Simplify 0 into 0 5.033 * [backup-simplify]: Simplify 0 into 0 5.033 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 5.034 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 5.034 * [taylor]: Taking taylor expansion of 0 in z 5.034 * [backup-simplify]: Simplify 0 into 0 5.034 * [taylor]: Taking taylor expansion of 0 in x 5.034 * [backup-simplify]: Simplify 0 into 0 5.034 * [backup-simplify]: Simplify 0 into 0 5.034 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.034 * [taylor]: Taking taylor expansion of 0 in x 5.035 * [backup-simplify]: Simplify 0 into 0 5.035 * [backup-simplify]: Simplify 0 into 0 5.035 * [backup-simplify]: Simplify 0 into 0 5.035 * [backup-simplify]: Simplify 0 into 0 5.035 * [backup-simplify]: Simplify (* 1 (* x (* (/ 1 z) y))) into (/ (* x y) z) 5.035 * [backup-simplify]: Simplify (* (/ (/ 1 y) (/ 1 z)) (/ 1 x)) into (/ z (* x y)) 5.035 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (y z x) around 0 5.035 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 5.035 * [taylor]: Taking taylor expansion of z in x 5.035 * [backup-simplify]: Simplify z into z 5.035 * [taylor]: Taking taylor expansion of (* x y) in x 5.035 * [taylor]: Taking taylor expansion of x in x 5.035 * [backup-simplify]: Simplify 0 into 0 5.035 * [backup-simplify]: Simplify 1 into 1 5.035 * [taylor]: Taking taylor expansion of y in x 5.035 * [backup-simplify]: Simplify y into y 5.035 * [backup-simplify]: Simplify (* 0 y) into 0 5.035 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.035 * [backup-simplify]: Simplify (/ z y) into (/ z y) 5.035 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 5.035 * [taylor]: Taking taylor expansion of z in z 5.035 * [backup-simplify]: Simplify 0 into 0 5.035 * [backup-simplify]: Simplify 1 into 1 5.035 * [taylor]: Taking taylor expansion of (* x y) in z 5.035 * [taylor]: Taking taylor expansion of x in z 5.035 * [backup-simplify]: Simplify x into x 5.035 * [taylor]: Taking taylor expansion of y in z 5.035 * [backup-simplify]: Simplify y into y 5.035 * [backup-simplify]: Simplify (* x y) into (* x y) 5.036 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 5.036 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 5.036 * [taylor]: Taking taylor expansion of z in y 5.036 * [backup-simplify]: Simplify z into z 5.036 * [taylor]: Taking taylor expansion of (* x y) in y 5.036 * [taylor]: Taking taylor expansion of x in y 5.036 * [backup-simplify]: Simplify x into x 5.036 * [taylor]: Taking taylor expansion of y in y 5.036 * [backup-simplify]: Simplify 0 into 0 5.036 * [backup-simplify]: Simplify 1 into 1 5.036 * [backup-simplify]: Simplify (* x 0) into 0 5.036 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.036 * [backup-simplify]: Simplify (/ z x) into (/ z x) 5.036 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 5.036 * [taylor]: Taking taylor expansion of z in y 5.036 * [backup-simplify]: Simplify z into z 5.036 * [taylor]: Taking taylor expansion of (* x y) in y 5.036 * [taylor]: Taking taylor expansion of x in y 5.036 * [backup-simplify]: Simplify x into x 5.036 * [taylor]: Taking taylor expansion of y in y 5.036 * [backup-simplify]: Simplify 0 into 0 5.036 * [backup-simplify]: Simplify 1 into 1 5.036 * [backup-simplify]: Simplify (* x 0) into 0 5.036 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.036 * [backup-simplify]: Simplify (/ z x) into (/ z x) 5.037 * [taylor]: Taking taylor expansion of (/ z x) in z 5.037 * [taylor]: Taking taylor expansion of z in z 5.037 * [backup-simplify]: Simplify 0 into 0 5.037 * [backup-simplify]: Simplify 1 into 1 5.037 * [taylor]: Taking taylor expansion of x in z 5.037 * [backup-simplify]: Simplify x into x 5.037 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.037 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.037 * [taylor]: Taking taylor expansion of x in x 5.037 * [backup-simplify]: Simplify 0 into 0 5.037 * [backup-simplify]: Simplify 1 into 1 5.037 * [backup-simplify]: Simplify (/ 1 1) into 1 5.037 * [backup-simplify]: Simplify 1 into 1 5.037 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 5.038 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0 5.038 * [taylor]: Taking taylor expansion of 0 in z 5.038 * [backup-simplify]: Simplify 0 into 0 5.038 * [taylor]: Taking taylor expansion of 0 in x 5.038 * [backup-simplify]: Simplify 0 into 0 5.038 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0 5.038 * [taylor]: Taking taylor expansion of 0 in x 5.038 * [backup-simplify]: Simplify 0 into 0 5.038 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.038 * [backup-simplify]: Simplify 0 into 0 5.039 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 5.039 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.039 * [taylor]: Taking taylor expansion of 0 in z 5.039 * [backup-simplify]: Simplify 0 into 0 5.039 * [taylor]: Taking taylor expansion of 0 in x 5.039 * [backup-simplify]: Simplify 0 into 0 5.039 * [taylor]: Taking taylor expansion of 0 in x 5.039 * [backup-simplify]: Simplify 0 into 0 5.039 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.039 * [taylor]: Taking taylor expansion of 0 in x 5.039 * [backup-simplify]: Simplify 0 into 0 5.039 * [backup-simplify]: Simplify 0 into 0 5.039 * [backup-simplify]: Simplify 0 into 0 5.040 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.040 * [backup-simplify]: Simplify 0 into 0 5.040 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 5.040 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.040 * [taylor]: Taking taylor expansion of 0 in z 5.040 * [backup-simplify]: Simplify 0 into 0 5.040 * [taylor]: Taking taylor expansion of 0 in x 5.040 * [backup-simplify]: Simplify 0 into 0 5.041 * [taylor]: Taking taylor expansion of 0 in x 5.041 * [backup-simplify]: Simplify 0 into 0 5.041 * [taylor]: Taking taylor expansion of 0 in x 5.041 * [backup-simplify]: Simplify 0 into 0 5.041 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.041 * [taylor]: Taking taylor expansion of 0 in x 5.041 * [backup-simplify]: Simplify 0 into 0 5.041 * [backup-simplify]: Simplify 0 into 0 5.041 * [backup-simplify]: Simplify 0 into 0 5.041 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 z) (/ 1 (/ 1 y))))) into (/ (* x y) z) 5.041 * [backup-simplify]: Simplify (* (/ (/ 1 (- y)) (/ 1 (- z))) (/ 1 (- x))) into (* -1 (/ z (* x y))) 5.041 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (y z x) around 0 5.041 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 5.041 * [taylor]: Taking taylor expansion of -1 in x 5.041 * [backup-simplify]: Simplify -1 into -1 5.041 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 5.041 * [taylor]: Taking taylor expansion of z in x 5.041 * [backup-simplify]: Simplify z into z 5.041 * [taylor]: Taking taylor expansion of (* x y) in x 5.041 * [taylor]: Taking taylor expansion of x in x 5.041 * [backup-simplify]: Simplify 0 into 0 5.041 * [backup-simplify]: Simplify 1 into 1 5.041 * [taylor]: Taking taylor expansion of y in x 5.041 * [backup-simplify]: Simplify y into y 5.041 * [backup-simplify]: Simplify (* 0 y) into 0 5.042 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.042 * [backup-simplify]: Simplify (/ z y) into (/ z y) 5.042 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 5.042 * [taylor]: Taking taylor expansion of -1 in z 5.042 * [backup-simplify]: Simplify -1 into -1 5.042 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 5.042 * [taylor]: Taking taylor expansion of z in z 5.042 * [backup-simplify]: Simplify 0 into 0 5.042 * [backup-simplify]: Simplify 1 into 1 5.042 * [taylor]: Taking taylor expansion of (* x y) in z 5.042 * [taylor]: Taking taylor expansion of x in z 5.042 * [backup-simplify]: Simplify x into x 5.042 * [taylor]: Taking taylor expansion of y in z 5.042 * [backup-simplify]: Simplify y into y 5.042 * [backup-simplify]: Simplify (* x y) into (* x y) 5.042 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 5.042 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 5.042 * [taylor]: Taking taylor expansion of -1 in y 5.042 * [backup-simplify]: Simplify -1 into -1 5.042 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 5.042 * [taylor]: Taking taylor expansion of z in y 5.042 * [backup-simplify]: Simplify z into z 5.042 * [taylor]: Taking taylor expansion of (* x y) in y 5.042 * [taylor]: Taking taylor expansion of x in y 5.042 * [backup-simplify]: Simplify x into x 5.042 * [taylor]: Taking taylor expansion of y in y 5.042 * [backup-simplify]: Simplify 0 into 0 5.042 * [backup-simplify]: Simplify 1 into 1 5.042 * [backup-simplify]: Simplify (* x 0) into 0 5.042 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.042 * [backup-simplify]: Simplify (/ z x) into (/ z x) 5.042 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 5.042 * [taylor]: Taking taylor expansion of -1 in y 5.042 * [backup-simplify]: Simplify -1 into -1 5.042 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 5.042 * [taylor]: Taking taylor expansion of z in y 5.043 * [backup-simplify]: Simplify z into z 5.043 * [taylor]: Taking taylor expansion of (* x y) in y 5.043 * [taylor]: Taking taylor expansion of x in y 5.043 * [backup-simplify]: Simplify x into x 5.043 * [taylor]: Taking taylor expansion of y in y 5.043 * [backup-simplify]: Simplify 0 into 0 5.043 * [backup-simplify]: Simplify 1 into 1 5.043 * [backup-simplify]: Simplify (* x 0) into 0 5.043 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.043 * [backup-simplify]: Simplify (/ z x) into (/ z x) 5.043 * [backup-simplify]: Simplify (* -1 (/ z x)) into (* -1 (/ z x)) 5.043 * [taylor]: Taking taylor expansion of (* -1 (/ z x)) in z 5.043 * [taylor]: Taking taylor expansion of -1 in z 5.043 * [backup-simplify]: Simplify -1 into -1 5.043 * [taylor]: Taking taylor expansion of (/ z x) in z 5.043 * [taylor]: Taking taylor expansion of z in z 5.043 * [backup-simplify]: Simplify 0 into 0 5.043 * [backup-simplify]: Simplify 1 into 1 5.043 * [taylor]: Taking taylor expansion of x in z 5.043 * [backup-simplify]: Simplify x into x 5.043 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.043 * [backup-simplify]: Simplify (* -1 (/ 1 x)) into (/ -1 x) 5.043 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.043 * [taylor]: Taking taylor expansion of -1 in x 5.043 * [backup-simplify]: Simplify -1 into -1 5.043 * [taylor]: Taking taylor expansion of x in x 5.043 * [backup-simplify]: Simplify 0 into 0 5.043 * [backup-simplify]: Simplify 1 into 1 5.044 * [backup-simplify]: Simplify (/ -1 1) into -1 5.044 * [backup-simplify]: Simplify -1 into -1 5.044 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 5.044 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0 5.044 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ z x))) into 0 5.044 * [taylor]: Taking taylor expansion of 0 in z 5.045 * [backup-simplify]: Simplify 0 into 0 5.045 * [taylor]: Taking taylor expansion of 0 in x 5.045 * [backup-simplify]: Simplify 0 into 0 5.045 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0 5.045 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 x))) into 0 5.045 * [taylor]: Taking taylor expansion of 0 in x 5.045 * [backup-simplify]: Simplify 0 into 0 5.045 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 5.046 * [backup-simplify]: Simplify 0 into 0 5.046 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 5.046 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.047 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z x)))) into 0 5.047 * [taylor]: Taking taylor expansion of 0 in z 5.047 * [backup-simplify]: Simplify 0 into 0 5.047 * [taylor]: Taking taylor expansion of 0 in x 5.047 * [backup-simplify]: Simplify 0 into 0 5.047 * [taylor]: Taking taylor expansion of 0 in x 5.047 * [backup-simplify]: Simplify 0 into 0 5.047 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.047 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0 5.047 * [taylor]: Taking taylor expansion of 0 in x 5.047 * [backup-simplify]: Simplify 0 into 0 5.047 * [backup-simplify]: Simplify 0 into 0 5.047 * [backup-simplify]: Simplify 0 into 0 5.048 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.048 * [backup-simplify]: Simplify 0 into 0 5.049 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 5.049 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.050 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ z x))))) into 0 5.050 * [taylor]: Taking taylor expansion of 0 in z 5.050 * [backup-simplify]: Simplify 0 into 0 5.050 * [taylor]: Taking taylor expansion of 0 in x 5.050 * [backup-simplify]: Simplify 0 into 0 5.050 * [taylor]: Taking taylor expansion of 0 in x 5.050 * [backup-simplify]: Simplify 0 into 0 5.050 * [taylor]: Taking taylor expansion of 0 in x 5.050 * [backup-simplify]: Simplify 0 into 0 5.050 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.051 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0 5.051 * [taylor]: Taking taylor expansion of 0 in x 5.051 * [backup-simplify]: Simplify 0 into 0 5.051 * [backup-simplify]: Simplify 0 into 0 5.051 * [backup-simplify]: Simplify 0 into 0 5.051 * [backup-simplify]: Simplify (* -1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (- z)) (/ 1 (/ 1 (- y)))))) into (/ (* x y) z) 5.051 * * * [progress]: simplifying candidates 5.051 * [simplify]: Simplifying: (* (/ y z) x) (+ (- (log y) (log z)) (log x)) (+ (log (/ y z)) (log x)) (log (* (/ y z) x)) (exp (* (/ y z) x)) (* (/ (* (* y y) y) (* (* z z) z)) (* (* x x) x)) (* (* (* (/ y z) (/ y z)) (/ y z)) (* (* x x) x)) (* (cbrt (* (/ y z) x)) (cbrt (* (/ y z) x))) (cbrt (* (/ y z) x)) (* (* (* (/ y z) x) (* (/ y z) x)) (* (/ y z) x)) (sqrt (* (/ y z) x)) (sqrt (* (/ y z) x)) (* (sqrt (/ y z)) (sqrt x)) (* (sqrt (/ y z)) (sqrt x)) (* (/ (sqrt y) (sqrt z)) (sqrt x)) (* (/ (sqrt y) (sqrt z)) (sqrt x)) (* (/ y z) (* (cbrt x) (cbrt x))) (* (/ y z) (sqrt x)) (* (/ y z) 1) (* (cbrt (/ y z)) x) (* (sqrt (/ y z)) x) (* (/ (cbrt y) (cbrt z)) x) (* (/ (cbrt y) (sqrt z)) x) (* (/ (cbrt y) z) x) (* (/ (sqrt y) (cbrt z)) x) (* (/ (sqrt y) (sqrt z)) x) (* (/ (sqrt y) z) x) (* (/ y (cbrt z)) x) (* (/ y (sqrt z)) x) (* (/ y z) x) (* (/ y z) x) (* (/ 1 z) x) (* y x) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 5.052 * * [simplify]: Extracting # 0 : cost 0 5.052 * * [simplify]: Extracting # 1 : cost 0 5.052 * * [simplify]: Extracting # 2 : cost 0 5.052 * * [simplify]: Extracting # 3 : cost 0 5.052 * * [simplify]: Extracting # 4 : cost 0 5.052 * * [simplify]: Extracting # 5 : cost 0 5.052 * * [simplify]: Extracting # 6 : cost 0 5.053 * * [simplify]: iteration 0 : 68 enodes (cost 261 ) 5.066 * * [simplify]: Extracting # 0 : cost 0 5.066 * * [simplify]: Extracting # 1 : cost 0 5.066 * * [simplify]: Extracting # 2 : cost 0 5.066 * * [simplify]: iteration 1 : 153 enodes (cost 256 ) 5.127 * * [simplify]: Extracting # 0 : cost 0 5.128 * * [simplify]: Extracting # 1 : cost 0 5.129 * * [simplify]: Extracting # 2 : cost 0 5.129 * * [simplify]: Extracting # 3 : cost 0 5.130 * * [simplify]: Extracting # 4 : cost 0 5.131 * * [simplify]: Extracting # 5 : cost 0 5.131 * * [simplify]: Extracting # 6 : cost 0 5.132 * * [simplify]: iteration 2 : 423 enodes (cost 224 ) 5.416 * * [simplify]: Extracting # 0 : cost 0 5.418 * * [simplify]: Extracting # 1 : cost 0 5.419 * * [simplify]: Extracting # 2 : cost 0 5.420 * * [simplify]: Extracting # 3 : cost 0 5.422 * * [simplify]: Extracting # 4 : cost 0 5.426 * * [simplify]: iteration 3 : 1176 enodes (cost 224 ) 8.371 * * [simplify]: Extracting # 0 : cost 0 8.384 * * [simplify]: Extracting # 1 : cost 0 8.389 * * [simplify]: Extracting # 2 : cost 0 8.393 * * [simplify]: Extracting # 3 : cost 0 8.397 * * [simplify]: Extracting # 4 : cost 0 8.401 * * [simplify]: iteration 4 : 3630 enodes (cost 224 ) 10.609 * * [simplify]: Extracting # 0 : cost 0 10.617 * * [simplify]: Extracting # 1 : cost 0 10.623 * * [simplify]: Extracting # 2 : cost 0 10.630 * * [simplify]: iteration done: 5000 enodes (cost 224 ) 10.630 * [simplify]: Simplified to: (/ (* x y) z) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (exp (* (/ y z) x)) (pow (/ (* x y) z) 3) (pow (/ (* x y) z) 3) (* (cbrt (* (/ y z) x)) (cbrt (* (/ y z) x))) (cbrt (* (/ y z) x)) (pow (/ (* x y) z) 3) (sqrt (* (/ y z) x)) (sqrt (* (/ y z) x)) (* (sqrt (/ y z)) (sqrt x)) (* (sqrt (/ y z)) (sqrt x)) (* (/ (sqrt y) (sqrt z)) (sqrt x)) (* (/ (sqrt y) (sqrt z)) (sqrt x)) (* (/ y z) (* (cbrt x) (cbrt x))) (* (/ y z) (sqrt x)) (/ y z) (* (cbrt (/ y z)) x) (* (sqrt (/ y z)) x) (* (/ (cbrt y) (cbrt z)) x) (* (/ (cbrt y) (sqrt z)) x) (* (/ (cbrt y) z) x) (* (/ (sqrt y) (cbrt z)) x) (* (/ (sqrt y) (sqrt z)) x) (* (/ (sqrt y) z) x) (* (/ y (cbrt z)) x) (* (/ y (sqrt z)) x) (/ (* x y) z) (/ (* x y) z) (/ x z) (* x y) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 10.630 * * * [progress]: adding candidates to table 10.729 * * [progress]: iteration 2 / 4 10.729 * * * [progress]: picking best candidate 10.755 * * * * [pick]: Picked # 10.755 * * * [progress]: localizing error 10.765 * * * [progress]: generating rewritten candidates 10.765 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 10.781 * * * [progress]: generating series expansions 10.781 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 10.781 * [backup-simplify]: Simplify (/ (* x y) z) into (/ (* x y) z) 10.781 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0 10.781 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 10.781 * [taylor]: Taking taylor expansion of (* x y) in z 10.781 * [taylor]: Taking taylor expansion of x in z 10.781 * [backup-simplify]: Simplify x into x 10.781 * [taylor]: Taking taylor expansion of y in z 10.781 * [backup-simplify]: Simplify y into y 10.781 * [taylor]: Taking taylor expansion of z in z 10.781 * [backup-simplify]: Simplify 0 into 0 10.781 * [backup-simplify]: Simplify 1 into 1 10.781 * [backup-simplify]: Simplify (* x y) into (* x y) 10.781 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 10.781 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 10.781 * [taylor]: Taking taylor expansion of (* x y) in y 10.781 * [taylor]: Taking taylor expansion of x in y 10.781 * [backup-simplify]: Simplify x into x 10.782 * [taylor]: Taking taylor expansion of y in y 10.782 * [backup-simplify]: Simplify 0 into 0 10.782 * [backup-simplify]: Simplify 1 into 1 10.782 * [taylor]: Taking taylor expansion of z in y 10.782 * [backup-simplify]: Simplify z into z 10.782 * [backup-simplify]: Simplify (* x 0) into 0 10.782 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 10.782 * [backup-simplify]: Simplify (/ x z) into (/ x z) 10.782 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 10.782 * [taylor]: Taking taylor expansion of (* x y) in x 10.782 * [taylor]: Taking taylor expansion of x in x 10.782 * [backup-simplify]: Simplify 0 into 0 10.782 * [backup-simplify]: Simplify 1 into 1 10.782 * [taylor]: Taking taylor expansion of y in x 10.782 * [backup-simplify]: Simplify y into y 10.782 * [taylor]: Taking taylor expansion of z in x 10.782 * [backup-simplify]: Simplify z into z 10.782 * [backup-simplify]: Simplify (* 0 y) into 0 10.783 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.783 * [backup-simplify]: Simplify (/ y z) into (/ y z) 10.783 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 10.783 * [taylor]: Taking taylor expansion of (* x y) in x 10.783 * [taylor]: Taking taylor expansion of x in x 10.783 * [backup-simplify]: Simplify 0 into 0 10.783 * [backup-simplify]: Simplify 1 into 1 10.783 * [taylor]: Taking taylor expansion of y in x 10.783 * [backup-simplify]: Simplify y into y 10.783 * [taylor]: Taking taylor expansion of z in x 10.783 * [backup-simplify]: Simplify z into z 10.783 * [backup-simplify]: Simplify (* 0 y) into 0 10.783 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.784 * [backup-simplify]: Simplify (/ y z) into (/ y z) 10.784 * [taylor]: Taking taylor expansion of (/ y z) in y 10.784 * [taylor]: Taking taylor expansion of y in y 10.784 * [backup-simplify]: Simplify 0 into 0 10.784 * [backup-simplify]: Simplify 1 into 1 10.784 * [taylor]: Taking taylor expansion of z in y 10.784 * [backup-simplify]: Simplify z into z 10.784 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.784 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.784 * [taylor]: Taking taylor expansion of z in z 10.784 * [backup-simplify]: Simplify 0 into 0 10.784 * [backup-simplify]: Simplify 1 into 1 10.784 * [backup-simplify]: Simplify (/ 1 1) into 1 10.784 * [backup-simplify]: Simplify 1 into 1 10.785 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 10.785 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0 10.785 * [taylor]: Taking taylor expansion of 0 in y 10.785 * [backup-simplify]: Simplify 0 into 0 10.785 * [taylor]: Taking taylor expansion of 0 in z 10.785 * [backup-simplify]: Simplify 0 into 0 10.785 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 10.785 * [taylor]: Taking taylor expansion of 0 in z 10.785 * [backup-simplify]: Simplify 0 into 0 10.786 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.786 * [backup-simplify]: Simplify 0 into 0 10.787 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 10.787 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 10.787 * [taylor]: Taking taylor expansion of 0 in y 10.787 * [backup-simplify]: Simplify 0 into 0 10.787 * [taylor]: Taking taylor expansion of 0 in z 10.787 * [backup-simplify]: Simplify 0 into 0 10.787 * [taylor]: Taking taylor expansion of 0 in z 10.787 * [backup-simplify]: Simplify 0 into 0 10.788 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 10.788 * [taylor]: Taking taylor expansion of 0 in z 10.788 * [backup-simplify]: Simplify 0 into 0 10.788 * [backup-simplify]: Simplify 0 into 0 10.788 * [backup-simplify]: Simplify 0 into 0 10.789 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.789 * [backup-simplify]: Simplify 0 into 0 10.790 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 10.790 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 10.790 * [taylor]: Taking taylor expansion of 0 in y 10.790 * [backup-simplify]: Simplify 0 into 0 10.790 * [taylor]: Taking taylor expansion of 0 in z 10.790 * [backup-simplify]: Simplify 0 into 0 10.790 * [taylor]: Taking taylor expansion of 0 in z 10.790 * [backup-simplify]: Simplify 0 into 0 10.790 * [taylor]: Taking taylor expansion of 0 in z 10.790 * [backup-simplify]: Simplify 0 into 0 10.791 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 10.791 * [taylor]: Taking taylor expansion of 0 in z 10.791 * [backup-simplify]: Simplify 0 into 0 10.791 * [backup-simplify]: Simplify 0 into 0 10.791 * [backup-simplify]: Simplify 0 into 0 10.791 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* y x))) into (/ (* x y) z) 10.791 * [backup-simplify]: Simplify (/ (* (/ 1 x) (/ 1 y)) (/ 1 z)) into (/ z (* x y)) 10.791 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0 10.791 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 10.791 * [taylor]: Taking taylor expansion of z in z 10.791 * [backup-simplify]: Simplify 0 into 0 10.791 * [backup-simplify]: Simplify 1 into 1 10.791 * [taylor]: Taking taylor expansion of (* x y) in z 10.791 * [taylor]: Taking taylor expansion of x in z 10.791 * [backup-simplify]: Simplify x into x 10.791 * [taylor]: Taking taylor expansion of y in z 10.791 * [backup-simplify]: Simplify y into y 10.791 * [backup-simplify]: Simplify (* x y) into (* x y) 10.791 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 10.791 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 10.791 * [taylor]: Taking taylor expansion of z in y 10.791 * [backup-simplify]: Simplify z into z 10.791 * [taylor]: Taking taylor expansion of (* x y) in y 10.791 * [taylor]: Taking taylor expansion of x in y 10.791 * [backup-simplify]: Simplify x into x 10.791 * [taylor]: Taking taylor expansion of y in y 10.792 * [backup-simplify]: Simplify 0 into 0 10.792 * [backup-simplify]: Simplify 1 into 1 10.792 * [backup-simplify]: Simplify (* x 0) into 0 10.792 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 10.792 * [backup-simplify]: Simplify (/ z x) into (/ z x) 10.792 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 10.792 * [taylor]: Taking taylor expansion of z in x 10.792 * [backup-simplify]: Simplify z into z 10.792 * [taylor]: Taking taylor expansion of (* x y) in x 10.792 * [taylor]: Taking taylor expansion of x in x 10.792 * [backup-simplify]: Simplify 0 into 0 10.792 * [backup-simplify]: Simplify 1 into 1 10.792 * [taylor]: Taking taylor expansion of y in x 10.792 * [backup-simplify]: Simplify y into y 10.792 * [backup-simplify]: Simplify (* 0 y) into 0 10.793 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.793 * [backup-simplify]: Simplify (/ z y) into (/ z y) 10.793 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 10.793 * [taylor]: Taking taylor expansion of z in x 10.793 * [backup-simplify]: Simplify z into z 10.793 * [taylor]: Taking taylor expansion of (* x y) in x 10.793 * [taylor]: Taking taylor expansion of x in x 10.793 * [backup-simplify]: Simplify 0 into 0 10.793 * [backup-simplify]: Simplify 1 into 1 10.793 * [taylor]: Taking taylor expansion of y in x 10.793 * [backup-simplify]: Simplify y into y 10.793 * [backup-simplify]: Simplify (* 0 y) into 0 10.793 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.793 * [backup-simplify]: Simplify (/ z y) into (/ z y) 10.793 * [taylor]: Taking taylor expansion of (/ z y) in y 10.793 * [taylor]: Taking taylor expansion of z in y 10.794 * [backup-simplify]: Simplify z into z 10.794 * [taylor]: Taking taylor expansion of y in y 10.794 * [backup-simplify]: Simplify 0 into 0 10.794 * [backup-simplify]: Simplify 1 into 1 10.794 * [backup-simplify]: Simplify (/ z 1) into z 10.794 * [taylor]: Taking taylor expansion of z in z 10.794 * [backup-simplify]: Simplify 0 into 0 10.794 * [backup-simplify]: Simplify 1 into 1 10.794 * [backup-simplify]: Simplify 1 into 1 10.794 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 10.795 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0 10.795 * [taylor]: Taking taylor expansion of 0 in y 10.795 * [backup-simplify]: Simplify 0 into 0 10.795 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 10.795 * [taylor]: Taking taylor expansion of 0 in z 10.795 * [backup-simplify]: Simplify 0 into 0 10.795 * [backup-simplify]: Simplify 0 into 0 10.795 * [backup-simplify]: Simplify 0 into 0 10.796 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 10.797 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.797 * [taylor]: Taking taylor expansion of 0 in y 10.797 * [backup-simplify]: Simplify 0 into 0 10.797 * [taylor]: Taking taylor expansion of 0 in z 10.797 * [backup-simplify]: Simplify 0 into 0 10.797 * [backup-simplify]: Simplify 0 into 0 10.798 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.798 * [taylor]: Taking taylor expansion of 0 in z 10.798 * [backup-simplify]: Simplify 0 into 0 10.798 * [backup-simplify]: Simplify 0 into 0 10.798 * [backup-simplify]: Simplify 0 into 0 10.798 * [backup-simplify]: Simplify 0 into 0 10.798 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (/ (* x y) z) 10.798 * [backup-simplify]: Simplify (/ (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) into (* -1 (/ z (* x y))) 10.799 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0 10.799 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 10.799 * [taylor]: Taking taylor expansion of -1 in z 10.799 * [backup-simplify]: Simplify -1 into -1 10.799 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 10.799 * [taylor]: Taking taylor expansion of z in z 10.799 * [backup-simplify]: Simplify 0 into 0 10.799 * [backup-simplify]: Simplify 1 into 1 10.799 * [taylor]: Taking taylor expansion of (* x y) in z 10.799 * [taylor]: Taking taylor expansion of x in z 10.799 * [backup-simplify]: Simplify x into x 10.799 * [taylor]: Taking taylor expansion of y in z 10.799 * [backup-simplify]: Simplify y into y 10.799 * [backup-simplify]: Simplify (* x y) into (* x y) 10.799 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 10.799 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 10.799 * [taylor]: Taking taylor expansion of -1 in y 10.799 * [backup-simplify]: Simplify -1 into -1 10.799 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 10.799 * [taylor]: Taking taylor expansion of z in y 10.799 * [backup-simplify]: Simplify z into z 10.799 * [taylor]: Taking taylor expansion of (* x y) in y 10.799 * [taylor]: Taking taylor expansion of x in y 10.799 * [backup-simplify]: Simplify x into x 10.799 * [taylor]: Taking taylor expansion of y in y 10.799 * [backup-simplify]: Simplify 0 into 0 10.799 * [backup-simplify]: Simplify 1 into 1 10.799 * [backup-simplify]: Simplify (* x 0) into 0 10.800 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 10.800 * [backup-simplify]: Simplify (/ z x) into (/ z x) 10.800 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 10.800 * [taylor]: Taking taylor expansion of -1 in x 10.800 * [backup-simplify]: Simplify -1 into -1 10.800 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 10.800 * [taylor]: Taking taylor expansion of z in x 10.800 * [backup-simplify]: Simplify z into z 10.800 * [taylor]: Taking taylor expansion of (* x y) in x 10.800 * [taylor]: Taking taylor expansion of x in x 10.800 * [backup-simplify]: Simplify 0 into 0 10.800 * [backup-simplify]: Simplify 1 into 1 10.800 * [taylor]: Taking taylor expansion of y in x 10.800 * [backup-simplify]: Simplify y into y 10.800 * [backup-simplify]: Simplify (* 0 y) into 0 10.800 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.800 * [backup-simplify]: Simplify (/ z y) into (/ z y) 10.800 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 10.800 * [taylor]: Taking taylor expansion of -1 in x 10.800 * [backup-simplify]: Simplify -1 into -1 10.800 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 10.800 * [taylor]: Taking taylor expansion of z in x 10.801 * [backup-simplify]: Simplify z into z 10.801 * [taylor]: Taking taylor expansion of (* x y) in x 10.801 * [taylor]: Taking taylor expansion of x in x 10.801 * [backup-simplify]: Simplify 0 into 0 10.801 * [backup-simplify]: Simplify 1 into 1 10.801 * [taylor]: Taking taylor expansion of y in x 10.801 * [backup-simplify]: Simplify y into y 10.801 * [backup-simplify]: Simplify (* 0 y) into 0 10.801 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.801 * [backup-simplify]: Simplify (/ z y) into (/ z y) 10.801 * [backup-simplify]: Simplify (* -1 (/ z y)) into (* -1 (/ z y)) 10.801 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y 10.801 * [taylor]: Taking taylor expansion of -1 in y 10.801 * [backup-simplify]: Simplify -1 into -1 10.801 * [taylor]: Taking taylor expansion of (/ z y) in y 10.801 * [taylor]: Taking taylor expansion of z in y 10.801 * [backup-simplify]: Simplify z into z 10.801 * [taylor]: Taking taylor expansion of y in y 10.801 * [backup-simplify]: Simplify 0 into 0 10.801 * [backup-simplify]: Simplify 1 into 1 10.801 * [backup-simplify]: Simplify (/ z 1) into z 10.801 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 10.801 * [taylor]: Taking taylor expansion of (* -1 z) in z 10.801 * [taylor]: Taking taylor expansion of -1 in z 10.801 * [backup-simplify]: Simplify -1 into -1 10.802 * [taylor]: Taking taylor expansion of z in z 10.802 * [backup-simplify]: Simplify 0 into 0 10.802 * [backup-simplify]: Simplify 1 into 1 10.802 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1 10.802 * [backup-simplify]: Simplify -1 into -1 10.802 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 10.803 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0 10.803 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ z y))) into 0 10.803 * [taylor]: Taking taylor expansion of 0 in y 10.803 * [backup-simplify]: Simplify 0 into 0 10.803 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 10.804 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 z)) into 0 10.804 * [taylor]: Taking taylor expansion of 0 in z 10.804 * [backup-simplify]: Simplify 0 into 0 10.804 * [backup-simplify]: Simplify 0 into 0 10.804 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 10.804 * [backup-simplify]: Simplify 0 into 0 10.805 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 10.805 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.806 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z y)))) into 0 10.806 * [taylor]: Taking taylor expansion of 0 in y 10.806 * [backup-simplify]: Simplify 0 into 0 10.806 * [taylor]: Taking taylor expansion of 0 in z 10.806 * [backup-simplify]: Simplify 0 into 0 10.806 * [backup-simplify]: Simplify 0 into 0 10.807 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.807 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0 10.807 * [taylor]: Taking taylor expansion of 0 in z 10.807 * [backup-simplify]: Simplify 0 into 0 10.807 * [backup-simplify]: Simplify 0 into 0 10.807 * [backup-simplify]: Simplify 0 into 0 10.808 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 10.808 * [backup-simplify]: Simplify 0 into 0 10.808 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (/ (* x y) z) 10.808 * * * [progress]: simplifying candidates 10.808 * [simplify]: Simplifying: (- (+ (log x) (log y)) (log z)) (- (log (* x y)) (log z)) (log (/ (* x y) z)) (exp (/ (* x y) z)) (/ (* (* (* x x) x) (* (* y y) y)) (* (* z z) z)) (/ (* (* (* x y) (* x y)) (* x y)) (* (* z z) z)) (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z)) (* (* (/ (* x y) z) (/ (* x y) z)) (/ (* x y) z)) (sqrt (/ (* x y) z)) (sqrt (/ (* x y) z)) (- (* x y)) (- z) (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (/ x (sqrt z)) (/ y (sqrt z)) (/ x 1) (/ y z) (/ 1 z) (/ z (* x y)) (/ (* x y) (* (cbrt z) (cbrt z))) (/ (* x y) (sqrt z)) (/ (* x y) 1) (/ z y) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 10.809 * * [simplify]: Extracting # 0 : cost 0 10.809 * * [simplify]: Extracting # 1 : cost 0 10.809 * * [simplify]: Extracting # 2 : cost 0 10.809 * * [simplify]: Extracting # 3 : cost 0 10.809 * * [simplify]: Extracting # 4 : cost 0 10.809 * * [simplify]: Extracting # 5 : cost 0 10.809 * * [simplify]: Extracting # 6 : cost 0 10.809 * * [simplify]: iteration 0 : 48 enodes (cost 186 ) 10.819 * * [simplify]: Extracting # 0 : cost 0 10.819 * * [simplify]: Extracting # 1 : cost 0 10.819 * * [simplify]: Extracting # 2 : cost 0 10.819 * * [simplify]: iteration 1 : 110 enodes (cost 179 ) 10.852 * * [simplify]: Extracting # 0 : cost 0 10.852 * * [simplify]: Extracting # 1 : cost 0 10.852 * * [simplify]: Extracting # 2 : cost 0 10.853 * * [simplify]: Extracting # 3 : cost 0 10.853 * * [simplify]: Extracting # 4 : cost 0 10.854 * * [simplify]: iteration 2 : 384 enodes (cost 149 ) 11.275 * * [simplify]: Extracting # 0 : cost 0 11.277 * * [simplify]: Extracting # 1 : cost 0 11.278 * * [simplify]: Extracting # 2 : cost 0 11.280 * * [simplify]: Extracting # 3 : cost 0 11.282 * * [simplify]: Extracting # 4 : cost 0 11.283 * * [simplify]: iteration 3 : 1757 enodes (cost 149 ) 13.851 * * [simplify]: Extracting # 0 : cost 0 13.863 * * [simplify]: Extracting # 1 : cost 0 13.868 * * [simplify]: Extracting # 2 : cost 0 13.872 * * [simplify]: Extracting # 3 : cost 0 13.876 * * [simplify]: Extracting # 4 : cost 0 13.881 * * [simplify]: iteration done: 5000 enodes (cost 149 ) 13.881 * [simplify]: Simplified to: (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (exp (/ (* x y) z)) (pow (/ (* x y) z) 3) (pow (/ (* x y) z) 3) (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z)) (pow (/ (* x y) z) 3) (sqrt (/ (* x y) z)) (sqrt (/ (* x y) z)) (- (* x y)) (- z) (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (/ x (sqrt z)) (/ y (sqrt z)) x (/ y z) (/ 1 z) (/ z (* x y)) (/ (* x y) (* (cbrt z) (cbrt z))) (/ (* x y) (sqrt z)) (* x y) (/ z y) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 13.881 * * * [progress]: adding candidates to table 13.943 * * [progress]: iteration 3 / 4 13.943 * * * [progress]: picking best candidate 13.965 * * * * [pick]: Picked # 13.965 * * * [progress]: localizing error 13.977 * * * [progress]: generating rewritten candidates 13.977 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 2) 13.985 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 14.008 * * * [progress]: generating series expansions 14.008 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 2) 14.009 * [backup-simplify]: Simplify (/ z (* x y)) into (/ z (* x y)) 14.009 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (z x y) around 0 14.009 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 14.009 * [taylor]: Taking taylor expansion of z in y 14.009 * [backup-simplify]: Simplify z into z 14.009 * [taylor]: Taking taylor expansion of (* x y) in y 14.009 * [taylor]: Taking taylor expansion of x in y 14.009 * [backup-simplify]: Simplify x into x 14.009 * [taylor]: Taking taylor expansion of y in y 14.009 * [backup-simplify]: Simplify 0 into 0 14.009 * [backup-simplify]: Simplify 1 into 1 14.009 * [backup-simplify]: Simplify (* x 0) into 0 14.009 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 14.009 * [backup-simplify]: Simplify (/ z x) into (/ z x) 14.009 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 14.009 * [taylor]: Taking taylor expansion of z in x 14.009 * [backup-simplify]: Simplify z into z 14.009 * [taylor]: Taking taylor expansion of (* x y) in x 14.009 * [taylor]: Taking taylor expansion of x in x 14.009 * [backup-simplify]: Simplify 0 into 0 14.009 * [backup-simplify]: Simplify 1 into 1 14.009 * [taylor]: Taking taylor expansion of y in x 14.009 * [backup-simplify]: Simplify y into y 14.010 * [backup-simplify]: Simplify (* 0 y) into 0 14.010 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 14.010 * [backup-simplify]: Simplify (/ z y) into (/ z y) 14.010 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 14.010 * [taylor]: Taking taylor expansion of z in z 14.010 * [backup-simplify]: Simplify 0 into 0 14.010 * [backup-simplify]: Simplify 1 into 1 14.010 * [taylor]: Taking taylor expansion of (* x y) in z 14.010 * [taylor]: Taking taylor expansion of x in z 14.010 * [backup-simplify]: Simplify x into x 14.010 * [taylor]: Taking taylor expansion of y in z 14.010 * [backup-simplify]: Simplify y into y 14.010 * [backup-simplify]: Simplify (* x y) into (* x y) 14.010 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 14.010 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 14.010 * [taylor]: Taking taylor expansion of z in z 14.010 * [backup-simplify]: Simplify 0 into 0 14.010 * [backup-simplify]: Simplify 1 into 1 14.010 * [taylor]: Taking taylor expansion of (* x y) in z 14.010 * [taylor]: Taking taylor expansion of x in z 14.010 * [backup-simplify]: Simplify x into x 14.010 * [taylor]: Taking taylor expansion of y in z 14.010 * [backup-simplify]: Simplify y into y 14.010 * [backup-simplify]: Simplify (* x y) into (* x y) 14.010 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 14.010 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 14.010 * [taylor]: Taking taylor expansion of (* x y) in x 14.010 * [taylor]: Taking taylor expansion of x in x 14.010 * [backup-simplify]: Simplify 0 into 0 14.010 * [backup-simplify]: Simplify 1 into 1 14.010 * [taylor]: Taking taylor expansion of y in x 14.010 * [backup-simplify]: Simplify y into y 14.010 * [backup-simplify]: Simplify (* 0 y) into 0 14.011 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 14.011 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 14.011 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.011 * [taylor]: Taking taylor expansion of y in y 14.011 * [backup-simplify]: Simplify 0 into 0 14.011 * [backup-simplify]: Simplify 1 into 1 14.011 * [backup-simplify]: Simplify (/ 1 1) into 1 14.011 * [backup-simplify]: Simplify 1 into 1 14.011 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 14.011 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 14.011 * [taylor]: Taking taylor expansion of 0 in x 14.011 * [backup-simplify]: Simplify 0 into 0 14.012 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 14.012 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 14.012 * [taylor]: Taking taylor expansion of 0 in y 14.012 * [backup-simplify]: Simplify 0 into 0 14.012 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.012 * [backup-simplify]: Simplify 0 into 0 14.013 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 14.013 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 14.013 * [taylor]: Taking taylor expansion of 0 in x 14.013 * [backup-simplify]: Simplify 0 into 0 14.013 * [taylor]: Taking taylor expansion of 0 in y 14.013 * [backup-simplify]: Simplify 0 into 0 14.014 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 14.014 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.014 * [taylor]: Taking taylor expansion of 0 in y 14.014 * [backup-simplify]: Simplify 0 into 0 14.014 * [backup-simplify]: Simplify 0 into 0 14.014 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.014 * [backup-simplify]: Simplify 0 into 0 14.015 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 14.015 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 14.015 * [taylor]: Taking taylor expansion of 0 in x 14.015 * [backup-simplify]: Simplify 0 into 0 14.015 * [taylor]: Taking taylor expansion of 0 in y 14.015 * [backup-simplify]: Simplify 0 into 0 14.015 * [taylor]: Taking taylor expansion of 0 in y 14.015 * [backup-simplify]: Simplify 0 into 0 14.016 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 14.017 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.017 * [taylor]: Taking taylor expansion of 0 in y 14.017 * [backup-simplify]: Simplify 0 into 0 14.017 * [backup-simplify]: Simplify 0 into 0 14.017 * [backup-simplify]: Simplify 0 into 0 14.017 * [backup-simplify]: Simplify 0 into 0 14.017 * [backup-simplify]: Simplify (* 1 (* (/ 1 y) (* (/ 1 x) z))) into (/ z (* x y)) 14.017 * [backup-simplify]: Simplify (/ (/ 1 z) (* (/ 1 x) (/ 1 y))) into (/ (* x y) z) 14.017 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (z x y) around 0 14.017 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 14.017 * [taylor]: Taking taylor expansion of (* x y) in y 14.017 * [taylor]: Taking taylor expansion of x in y 14.017 * [backup-simplify]: Simplify x into x 14.017 * [taylor]: Taking taylor expansion of y in y 14.017 * [backup-simplify]: Simplify 0 into 0 14.017 * [backup-simplify]: Simplify 1 into 1 14.017 * [taylor]: Taking taylor expansion of z in y 14.017 * [backup-simplify]: Simplify z into z 14.017 * [backup-simplify]: Simplify (* x 0) into 0 14.017 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 14.018 * [backup-simplify]: Simplify (/ x z) into (/ x z) 14.018 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 14.018 * [taylor]: Taking taylor expansion of (* x y) in x 14.018 * [taylor]: Taking taylor expansion of x in x 14.018 * [backup-simplify]: Simplify 0 into 0 14.018 * [backup-simplify]: Simplify 1 into 1 14.018 * [taylor]: Taking taylor expansion of y in x 14.018 * [backup-simplify]: Simplify y into y 14.018 * [taylor]: Taking taylor expansion of z in x 14.018 * [backup-simplify]: Simplify z into z 14.018 * [backup-simplify]: Simplify (* 0 y) into 0 14.018 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 14.018 * [backup-simplify]: Simplify (/ y z) into (/ y z) 14.018 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 14.018 * [taylor]: Taking taylor expansion of (* x y) in z 14.018 * [taylor]: Taking taylor expansion of x in z 14.018 * [backup-simplify]: Simplify x into x 14.018 * [taylor]: Taking taylor expansion of y in z 14.018 * [backup-simplify]: Simplify y into y 14.018 * [taylor]: Taking taylor expansion of z in z 14.018 * [backup-simplify]: Simplify 0 into 0 14.018 * [backup-simplify]: Simplify 1 into 1 14.018 * [backup-simplify]: Simplify (* x y) into (* x y) 14.018 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 14.018 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 14.018 * [taylor]: Taking taylor expansion of (* x y) in z 14.018 * [taylor]: Taking taylor expansion of x in z 14.018 * [backup-simplify]: Simplify x into x 14.018 * [taylor]: Taking taylor expansion of y in z 14.018 * [backup-simplify]: Simplify y into y 14.018 * [taylor]: Taking taylor expansion of z in z 14.018 * [backup-simplify]: Simplify 0 into 0 14.018 * [backup-simplify]: Simplify 1 into 1 14.018 * [backup-simplify]: Simplify (* x y) into (* x y) 14.018 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 14.019 * [taylor]: Taking taylor expansion of (* x y) in x 14.019 * [taylor]: Taking taylor expansion of x in x 14.019 * [backup-simplify]: Simplify 0 into 0 14.019 * [backup-simplify]: Simplify 1 into 1 14.019 * [taylor]: Taking taylor expansion of y in x 14.019 * [backup-simplify]: Simplify y into y 14.019 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 14.019 * [taylor]: Taking taylor expansion of y in y 14.019 * [backup-simplify]: Simplify 0 into 0 14.019 * [backup-simplify]: Simplify 1 into 1 14.019 * [backup-simplify]: Simplify 1 into 1 14.019 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 14.020 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0 14.020 * [taylor]: Taking taylor expansion of 0 in x 14.020 * [backup-simplify]: Simplify 0 into 0 14.020 * [taylor]: Taking taylor expansion of 0 in y 14.020 * [backup-simplify]: Simplify 0 into 0 14.020 * [backup-simplify]: Simplify 0 into 0 14.020 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 14.020 * [taylor]: Taking taylor expansion of 0 in y 14.020 * [backup-simplify]: Simplify 0 into 0 14.020 * [backup-simplify]: Simplify 0 into 0 14.020 * [backup-simplify]: Simplify 0 into 0 14.021 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 14.021 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.021 * [taylor]: Taking taylor expansion of 0 in x 14.021 * [backup-simplify]: Simplify 0 into 0 14.021 * [taylor]: Taking taylor expansion of 0 in y 14.021 * [backup-simplify]: Simplify 0 into 0 14.021 * [backup-simplify]: Simplify 0 into 0 14.021 * [taylor]: Taking taylor expansion of 0 in y 14.022 * [backup-simplify]: Simplify 0 into 0 14.022 * [backup-simplify]: Simplify 0 into 0 14.022 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 14.022 * [taylor]: Taking taylor expansion of 0 in y 14.022 * [backup-simplify]: Simplify 0 into 0 14.022 * [backup-simplify]: Simplify 0 into 0 14.022 * [backup-simplify]: Simplify (* 1 (* (/ 1 y) (* (/ 1 x) (/ 1 (/ 1 z))))) into (/ z (* x y)) 14.023 * [backup-simplify]: Simplify (/ (/ 1 (- z)) (* (/ 1 (- x)) (/ 1 (- y)))) into (* -1 (/ (* x y) z)) 14.023 * [approximate]: Taking taylor expansion of (* -1 (/ (* x y) z)) in (z x y) around 0 14.023 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in y 14.023 * [taylor]: Taking taylor expansion of -1 in y 14.023 * [backup-simplify]: Simplify -1 into -1 14.023 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 14.023 * [taylor]: Taking taylor expansion of (* x y) in y 14.023 * [taylor]: Taking taylor expansion of x in y 14.023 * [backup-simplify]: Simplify x into x 14.023 * [taylor]: Taking taylor expansion of y in y 14.023 * [backup-simplify]: Simplify 0 into 0 14.023 * [backup-simplify]: Simplify 1 into 1 14.023 * [taylor]: Taking taylor expansion of z in y 14.023 * [backup-simplify]: Simplify z into z 14.023 * [backup-simplify]: Simplify (* x 0) into 0 14.023 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 14.023 * [backup-simplify]: Simplify (/ x z) into (/ x z) 14.023 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in x 14.023 * [taylor]: Taking taylor expansion of -1 in x 14.023 * [backup-simplify]: Simplify -1 into -1 14.023 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 14.023 * [taylor]: Taking taylor expansion of (* x y) in x 14.023 * [taylor]: Taking taylor expansion of x in x 14.023 * [backup-simplify]: Simplify 0 into 0 14.023 * [backup-simplify]: Simplify 1 into 1 14.023 * [taylor]: Taking taylor expansion of y in x 14.023 * [backup-simplify]: Simplify y into y 14.023 * [taylor]: Taking taylor expansion of z in x 14.023 * [backup-simplify]: Simplify z into z 14.023 * [backup-simplify]: Simplify (* 0 y) into 0 14.024 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 14.024 * [backup-simplify]: Simplify (/ y z) into (/ y z) 14.024 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in z 14.024 * [taylor]: Taking taylor expansion of -1 in z 14.024 * [backup-simplify]: Simplify -1 into -1 14.024 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 14.024 * [taylor]: Taking taylor expansion of (* x y) in z 14.024 * [taylor]: Taking taylor expansion of x in z 14.024 * [backup-simplify]: Simplify x into x 14.024 * [taylor]: Taking taylor expansion of y in z 14.024 * [backup-simplify]: Simplify y into y 14.024 * [taylor]: Taking taylor expansion of z in z 14.024 * [backup-simplify]: Simplify 0 into 0 14.024 * [backup-simplify]: Simplify 1 into 1 14.024 * [backup-simplify]: Simplify (* x y) into (* x y) 14.024 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 14.024 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in z 14.024 * [taylor]: Taking taylor expansion of -1 in z 14.024 * [backup-simplify]: Simplify -1 into -1 14.024 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 14.024 * [taylor]: Taking taylor expansion of (* x y) in z 14.024 * [taylor]: Taking taylor expansion of x in z 14.024 * [backup-simplify]: Simplify x into x 14.024 * [taylor]: Taking taylor expansion of y in z 14.024 * [backup-simplify]: Simplify y into y 14.024 * [taylor]: Taking taylor expansion of z in z 14.024 * [backup-simplify]: Simplify 0 into 0 14.024 * [backup-simplify]: Simplify 1 into 1 14.024 * [backup-simplify]: Simplify (* x y) into (* x y) 14.024 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 14.024 * [backup-simplify]: Simplify (* -1 (* x y)) into (* -1 (* x y)) 14.024 * [taylor]: Taking taylor expansion of (* -1 (* x y)) in x 14.024 * [taylor]: Taking taylor expansion of -1 in x 14.024 * [backup-simplify]: Simplify -1 into -1 14.024 * [taylor]: Taking taylor expansion of (* x y) in x 14.024 * [taylor]: Taking taylor expansion of x in x 14.024 * [backup-simplify]: Simplify 0 into 0 14.024 * [backup-simplify]: Simplify 1 into 1 14.024 * [taylor]: Taking taylor expansion of y in x 14.024 * [backup-simplify]: Simplify y into y 14.025 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 14.025 * [backup-simplify]: Simplify (* 0 y) into 0 14.025 * [backup-simplify]: Simplify (+ (* -1 y) (* 0 0)) into (- y) 14.025 * [taylor]: Taking taylor expansion of (- y) in y 14.025 * [taylor]: Taking taylor expansion of y in y 14.025 * [backup-simplify]: Simplify 0 into 0 14.025 * [backup-simplify]: Simplify 1 into 1 14.025 * [backup-simplify]: Simplify (- 1) into -1 14.025 * [backup-simplify]: Simplify -1 into -1 14.025 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 14.026 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0 14.026 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (* x y))) into 0 14.026 * [taylor]: Taking taylor expansion of 0 in x 14.026 * [backup-simplify]: Simplify 0 into 0 14.026 * [taylor]: Taking taylor expansion of 0 in y 14.026 * [backup-simplify]: Simplify 0 into 0 14.026 * [backup-simplify]: Simplify 0 into 0 14.027 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 14.027 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 y) (* 0 0))) into 0 14.027 * [taylor]: Taking taylor expansion of 0 in y 14.027 * [backup-simplify]: Simplify 0 into 0 14.027 * [backup-simplify]: Simplify 0 into 0 14.028 * [backup-simplify]: Simplify (- 0) into 0 14.028 * [backup-simplify]: Simplify 0 into 0 14.028 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 14.029 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.029 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (* x y)))) into 0 14.029 * [taylor]: Taking taylor expansion of 0 in x 14.029 * [backup-simplify]: Simplify 0 into 0 14.029 * [taylor]: Taking taylor expansion of 0 in y 14.029 * [backup-simplify]: Simplify 0 into 0 14.029 * [backup-simplify]: Simplify 0 into 0 14.029 * [taylor]: Taking taylor expansion of 0 in y 14.029 * [backup-simplify]: Simplify 0 into 0 14.029 * [backup-simplify]: Simplify 0 into 0 14.030 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 14.031 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 14.031 * [taylor]: Taking taylor expansion of 0 in y 14.031 * [backup-simplify]: Simplify 0 into 0 14.031 * [backup-simplify]: Simplify 0 into 0 14.031 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- y)) (* (/ 1 (- x)) (/ 1 (/ 1 (- z)))))) into (/ z (* x y)) 14.031 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 14.031 * [backup-simplify]: Simplify (/ 1 (/ z (* x y))) into (/ (* x y) z) 14.031 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (z x y) around 0 14.031 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 14.031 * [taylor]: Taking taylor expansion of (* x y) in y 14.031 * [taylor]: Taking taylor expansion of x in y 14.031 * [backup-simplify]: Simplify x into x 14.031 * [taylor]: Taking taylor expansion of y in y 14.031 * [backup-simplify]: Simplify 0 into 0 14.031 * [backup-simplify]: Simplify 1 into 1 14.031 * [taylor]: Taking taylor expansion of z in y 14.031 * [backup-simplify]: Simplify z into z 14.031 * [backup-simplify]: Simplify (* x 0) into 0 14.032 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 14.032 * [backup-simplify]: Simplify (/ x z) into (/ x z) 14.032 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 14.032 * [taylor]: Taking taylor expansion of (* x y) in x 14.032 * [taylor]: Taking taylor expansion of x in x 14.032 * [backup-simplify]: Simplify 0 into 0 14.032 * [backup-simplify]: Simplify 1 into 1 14.032 * [taylor]: Taking taylor expansion of y in x 14.032 * [backup-simplify]: Simplify y into y 14.032 * [taylor]: Taking taylor expansion of z in x 14.032 * [backup-simplify]: Simplify z into z 14.032 * [backup-simplify]: Simplify (* 0 y) into 0 14.032 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 14.032 * [backup-simplify]: Simplify (/ y z) into (/ y z) 14.032 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 14.032 * [taylor]: Taking taylor expansion of (* x y) in z 14.032 * [taylor]: Taking taylor expansion of x in z 14.032 * [backup-simplify]: Simplify x into x 14.032 * [taylor]: Taking taylor expansion of y in z 14.032 * [backup-simplify]: Simplify y into y 14.032 * [taylor]: Taking taylor expansion of z in z 14.032 * [backup-simplify]: Simplify 0 into 0 14.032 * [backup-simplify]: Simplify 1 into 1 14.032 * [backup-simplify]: Simplify (* x y) into (* x y) 14.032 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 14.032 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 14.032 * [taylor]: Taking taylor expansion of (* x y) in z 14.032 * [taylor]: Taking taylor expansion of x in z 14.032 * [backup-simplify]: Simplify x into x 14.032 * [taylor]: Taking taylor expansion of y in z 14.032 * [backup-simplify]: Simplify y into y 14.032 * [taylor]: Taking taylor expansion of z in z 14.032 * [backup-simplify]: Simplify 0 into 0 14.032 * [backup-simplify]: Simplify 1 into 1 14.032 * [backup-simplify]: Simplify (* x y) into (* x y) 14.033 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 14.033 * [taylor]: Taking taylor expansion of (* x y) in x 14.033 * [taylor]: Taking taylor expansion of x in x 14.033 * [backup-simplify]: Simplify 0 into 0 14.033 * [backup-simplify]: Simplify 1 into 1 14.033 * [taylor]: Taking taylor expansion of y in x 14.033 * [backup-simplify]: Simplify y into y 14.033 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 14.033 * [taylor]: Taking taylor expansion of y in y 14.033 * [backup-simplify]: Simplify 0 into 0 14.033 * [backup-simplify]: Simplify 1 into 1 14.033 * [backup-simplify]: Simplify 1 into 1 14.033 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 14.034 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0 14.034 * [taylor]: Taking taylor expansion of 0 in x 14.034 * [backup-simplify]: Simplify 0 into 0 14.034 * [taylor]: Taking taylor expansion of 0 in y 14.034 * [backup-simplify]: Simplify 0 into 0 14.034 * [backup-simplify]: Simplify 0 into 0 14.034 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 14.034 * [taylor]: Taking taylor expansion of 0 in y 14.034 * [backup-simplify]: Simplify 0 into 0 14.034 * [backup-simplify]: Simplify 0 into 0 14.034 * [backup-simplify]: Simplify 0 into 0 14.035 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 14.035 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.035 * [taylor]: Taking taylor expansion of 0 in x 14.036 * [backup-simplify]: Simplify 0 into 0 14.036 * [taylor]: Taking taylor expansion of 0 in y 14.036 * [backup-simplify]: Simplify 0 into 0 14.036 * [backup-simplify]: Simplify 0 into 0 14.036 * [taylor]: Taking taylor expansion of 0 in y 14.036 * [backup-simplify]: Simplify 0 into 0 14.036 * [backup-simplify]: Simplify 0 into 0 14.037 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 14.037 * [taylor]: Taking taylor expansion of 0 in y 14.037 * [backup-simplify]: Simplify 0 into 0 14.037 * [backup-simplify]: Simplify 0 into 0 14.037 * [backup-simplify]: Simplify (* 1 (* y (* x (/ 1 z)))) into (/ (* x y) z) 14.037 * [backup-simplify]: Simplify (/ 1 (/ (/ 1 z) (* (/ 1 x) (/ 1 y)))) into (/ z (* x y)) 14.037 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (z x y) around 0 14.037 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 14.037 * [taylor]: Taking taylor expansion of z in y 14.037 * [backup-simplify]: Simplify z into z 14.037 * [taylor]: Taking taylor expansion of (* x y) in y 14.037 * [taylor]: Taking taylor expansion of x in y 14.037 * [backup-simplify]: Simplify x into x 14.037 * [taylor]: Taking taylor expansion of y in y 14.037 * [backup-simplify]: Simplify 0 into 0 14.037 * [backup-simplify]: Simplify 1 into 1 14.037 * [backup-simplify]: Simplify (* x 0) into 0 14.037 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 14.037 * [backup-simplify]: Simplify (/ z x) into (/ z x) 14.037 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 14.037 * [taylor]: Taking taylor expansion of z in x 14.037 * [backup-simplify]: Simplify z into z 14.037 * [taylor]: Taking taylor expansion of (* x y) in x 14.037 * [taylor]: Taking taylor expansion of x in x 14.037 * [backup-simplify]: Simplify 0 into 0 14.037 * [backup-simplify]: Simplify 1 into 1 14.037 * [taylor]: Taking taylor expansion of y in x 14.037 * [backup-simplify]: Simplify y into y 14.037 * [backup-simplify]: Simplify (* 0 y) into 0 14.038 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 14.038 * [backup-simplify]: Simplify (/ z y) into (/ z y) 14.038 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 14.038 * [taylor]: Taking taylor expansion of z in z 14.038 * [backup-simplify]: Simplify 0 into 0 14.038 * [backup-simplify]: Simplify 1 into 1 14.038 * [taylor]: Taking taylor expansion of (* x y) in z 14.038 * [taylor]: Taking taylor expansion of x in z 14.038 * [backup-simplify]: Simplify x into x 14.038 * [taylor]: Taking taylor expansion of y in z 14.038 * [backup-simplify]: Simplify y into y 14.038 * [backup-simplify]: Simplify (* x y) into (* x y) 14.038 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 14.038 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 14.038 * [taylor]: Taking taylor expansion of z in z 14.038 * [backup-simplify]: Simplify 0 into 0 14.038 * [backup-simplify]: Simplify 1 into 1 14.038 * [taylor]: Taking taylor expansion of (* x y) in z 14.038 * [taylor]: Taking taylor expansion of x in z 14.038 * [backup-simplify]: Simplify x into x 14.038 * [taylor]: Taking taylor expansion of y in z 14.038 * [backup-simplify]: Simplify y into y 14.038 * [backup-simplify]: Simplify (* x y) into (* x y) 14.038 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 14.038 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 14.038 * [taylor]: Taking taylor expansion of (* x y) in x 14.038 * [taylor]: Taking taylor expansion of x in x 14.038 * [backup-simplify]: Simplify 0 into 0 14.038 * [backup-simplify]: Simplify 1 into 1 14.038 * [taylor]: Taking taylor expansion of y in x 14.038 * [backup-simplify]: Simplify y into y 14.038 * [backup-simplify]: Simplify (* 0 y) into 0 14.039 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 14.039 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 14.039 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.039 * [taylor]: Taking taylor expansion of y in y 14.039 * [backup-simplify]: Simplify 0 into 0 14.039 * [backup-simplify]: Simplify 1 into 1 14.039 * [backup-simplify]: Simplify (/ 1 1) into 1 14.039 * [backup-simplify]: Simplify 1 into 1 14.039 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 14.039 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 14.039 * [taylor]: Taking taylor expansion of 0 in x 14.039 * [backup-simplify]: Simplify 0 into 0 14.040 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 14.040 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 14.040 * [taylor]: Taking taylor expansion of 0 in y 14.040 * [backup-simplify]: Simplify 0 into 0 14.040 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.040 * [backup-simplify]: Simplify 0 into 0 14.041 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 14.041 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 14.041 * [taylor]: Taking taylor expansion of 0 in x 14.041 * [backup-simplify]: Simplify 0 into 0 14.041 * [taylor]: Taking taylor expansion of 0 in y 14.041 * [backup-simplify]: Simplify 0 into 0 14.042 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 14.042 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.042 * [taylor]: Taking taylor expansion of 0 in y 14.042 * [backup-simplify]: Simplify 0 into 0 14.042 * [backup-simplify]: Simplify 0 into 0 14.042 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.042 * [backup-simplify]: Simplify 0 into 0 14.043 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 14.043 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 14.043 * [taylor]: Taking taylor expansion of 0 in x 14.043 * [backup-simplify]: Simplify 0 into 0 14.043 * [taylor]: Taking taylor expansion of 0 in y 14.043 * [backup-simplify]: Simplify 0 into 0 14.043 * [taylor]: Taking taylor expansion of 0 in y 14.043 * [backup-simplify]: Simplify 0 into 0 14.044 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 14.044 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.044 * [taylor]: Taking taylor expansion of 0 in y 14.044 * [backup-simplify]: Simplify 0 into 0 14.044 * [backup-simplify]: Simplify 0 into 0 14.044 * [backup-simplify]: Simplify 0 into 0 14.044 * [backup-simplify]: Simplify 0 into 0 14.044 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 x)) (/ 1 z)))) into (/ (* x y) z) 14.045 * [backup-simplify]: Simplify (/ 1 (/ (/ 1 (- z)) (* (/ 1 (- x)) (/ 1 (- y))))) into (* -1 (/ z (* x y))) 14.045 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (z x y) around 0 14.045 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 14.045 * [taylor]: Taking taylor expansion of -1 in y 14.045 * [backup-simplify]: Simplify -1 into -1 14.045 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 14.045 * [taylor]: Taking taylor expansion of z in y 14.045 * [backup-simplify]: Simplify z into z 14.045 * [taylor]: Taking taylor expansion of (* x y) in y 14.045 * [taylor]: Taking taylor expansion of x in y 14.045 * [backup-simplify]: Simplify x into x 14.045 * [taylor]: Taking taylor expansion of y in y 14.045 * [backup-simplify]: Simplify 0 into 0 14.045 * [backup-simplify]: Simplify 1 into 1 14.045 * [backup-simplify]: Simplify (* x 0) into 0 14.045 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 14.045 * [backup-simplify]: Simplify (/ z x) into (/ z x) 14.045 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 14.045 * [taylor]: Taking taylor expansion of -1 in x 14.045 * [backup-simplify]: Simplify -1 into -1 14.045 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 14.045 * [taylor]: Taking taylor expansion of z in x 14.045 * [backup-simplify]: Simplify z into z 14.045 * [taylor]: Taking taylor expansion of (* x y) in x 14.045 * [taylor]: Taking taylor expansion of x in x 14.045 * [backup-simplify]: Simplify 0 into 0 14.045 * [backup-simplify]: Simplify 1 into 1 14.046 * [taylor]: Taking taylor expansion of y in x 14.046 * [backup-simplify]: Simplify y into y 14.046 * [backup-simplify]: Simplify (* 0 y) into 0 14.046 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 14.046 * [backup-simplify]: Simplify (/ z y) into (/ z y) 14.046 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 14.046 * [taylor]: Taking taylor expansion of -1 in z 14.046 * [backup-simplify]: Simplify -1 into -1 14.046 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 14.046 * [taylor]: Taking taylor expansion of z in z 14.046 * [backup-simplify]: Simplify 0 into 0 14.046 * [backup-simplify]: Simplify 1 into 1 14.046 * [taylor]: Taking taylor expansion of (* x y) in z 14.046 * [taylor]: Taking taylor expansion of x in z 14.046 * [backup-simplify]: Simplify x into x 14.046 * [taylor]: Taking taylor expansion of y in z 14.046 * [backup-simplify]: Simplify y into y 14.046 * [backup-simplify]: Simplify (* x y) into (* x y) 14.046 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 14.046 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 14.046 * [taylor]: Taking taylor expansion of -1 in z 14.046 * [backup-simplify]: Simplify -1 into -1 14.047 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 14.047 * [taylor]: Taking taylor expansion of z in z 14.047 * [backup-simplify]: Simplify 0 into 0 14.047 * [backup-simplify]: Simplify 1 into 1 14.047 * [taylor]: Taking taylor expansion of (* x y) in z 14.047 * [taylor]: Taking taylor expansion of x in z 14.047 * [backup-simplify]: Simplify x into x 14.047 * [taylor]: Taking taylor expansion of y in z 14.047 * [backup-simplify]: Simplify y into y 14.047 * [backup-simplify]: Simplify (* x y) into (* x y) 14.047 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 14.047 * [backup-simplify]: Simplify (* -1 (/ 1 (* x y))) into (/ -1 (* x y)) 14.047 * [taylor]: Taking taylor expansion of (/ -1 (* x y)) in x 14.047 * [taylor]: Taking taylor expansion of -1 in x 14.047 * [backup-simplify]: Simplify -1 into -1 14.047 * [taylor]: Taking taylor expansion of (* x y) in x 14.047 * [taylor]: Taking taylor expansion of x in x 14.047 * [backup-simplify]: Simplify 0 into 0 14.047 * [backup-simplify]: Simplify 1 into 1 14.047 * [taylor]: Taking taylor expansion of y in x 14.047 * [backup-simplify]: Simplify y into y 14.047 * [backup-simplify]: Simplify (* 0 y) into 0 14.048 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 14.048 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 14.048 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.048 * [taylor]: Taking taylor expansion of -1 in y 14.048 * [backup-simplify]: Simplify -1 into -1 14.048 * [taylor]: Taking taylor expansion of y in y 14.048 * [backup-simplify]: Simplify 0 into 0 14.048 * [backup-simplify]: Simplify 1 into 1 14.048 * [backup-simplify]: Simplify (/ -1 1) into -1 14.048 * [backup-simplify]: Simplify -1 into -1 14.048 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 14.049 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 14.049 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 (* x y)))) into 0 14.049 * [taylor]: Taking taylor expansion of 0 in x 14.049 * [backup-simplify]: Simplify 0 into 0 14.050 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 14.050 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 14.050 * [taylor]: Taking taylor expansion of 0 in y 14.050 * [backup-simplify]: Simplify 0 into 0 14.051 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 14.051 * [backup-simplify]: Simplify 0 into 0 14.051 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 14.052 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 14.052 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (* x y))))) into 0 14.052 * [taylor]: Taking taylor expansion of 0 in x 14.052 * [backup-simplify]: Simplify 0 into 0 14.052 * [taylor]: Taking taylor expansion of 0 in y 14.052 * [backup-simplify]: Simplify 0 into 0 14.053 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 14.054 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.054 * [taylor]: Taking taylor expansion of 0 in y 14.054 * [backup-simplify]: Simplify 0 into 0 14.054 * [backup-simplify]: Simplify 0 into 0 14.055 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.055 * [backup-simplify]: Simplify 0 into 0 14.055 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 14.056 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 14.057 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* x y)))))) into 0 14.057 * [taylor]: Taking taylor expansion of 0 in x 14.057 * [backup-simplify]: Simplify 0 into 0 14.057 * [taylor]: Taking taylor expansion of 0 in y 14.057 * [backup-simplify]: Simplify 0 into 0 14.057 * [taylor]: Taking taylor expansion of 0 in y 14.057 * [backup-simplify]: Simplify 0 into 0 14.058 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 14.059 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.059 * [taylor]: Taking taylor expansion of 0 in y 14.059 * [backup-simplify]: Simplify 0 into 0 14.059 * [backup-simplify]: Simplify 0 into 0 14.059 * [backup-simplify]: Simplify 0 into 0 14.059 * [backup-simplify]: Simplify 0 into 0 14.059 * [backup-simplify]: Simplify (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- x))) (/ 1 (- z))))) into (/ (* x y) z) 14.059 * * * [progress]: simplifying candidates 14.061 * [simplify]: Simplifying: (- (log z) (+ (log x) (log y))) (- (log z) (log (* x y))) (log (/ z (* x y))) (exp (/ z (* x y))) (/ (* (* z z) z) (* (* (* x x) x) (* (* y y) y))) (/ (* (* z z) z) (* (* (* x y) (* x y)) (* x y))) (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y)))) (cbrt (/ z (* x y))) (* (* (/ z (* x y)) (/ z (* x y))) (/ z (* x y))) (sqrt (/ z (* x y))) (sqrt (/ z (* x y))) (- z) (- (* x y)) (/ (* (cbrt z) (cbrt z)) x) (/ (cbrt z) y) (/ (sqrt z) x) (/ (sqrt z) y) (/ 1 x) (/ z y) (/ 1 (* x y)) (/ (* x y) z) (/ z x) (/ (* x y) (cbrt z)) (/ (* x y) (sqrt z)) (/ (* x y) z) (- 1) (- (- (log z) (+ (log x) (log y)))) (- (- (log z) (log (* x y)))) (- (log (/ z (* x y)))) (- 0 (- (log z) (+ (log x) (log y)))) (- 0 (- (log z) (log (* x y)))) (- 0 (log (/ z (* x y)))) (- (log 1) (- (log z) (+ (log x) (log y)))) (- (log 1) (- (log z) (log (* x y)))) (- (log 1) (log (/ z (* x y)))) (log (/ 1 (/ z (* x y)))) (exp (/ 1 (/ z (* x y)))) (/ (* (* 1 1) 1) (/ (* (* z z) z) (* (* (* x x) x) (* (* y y) y)))) (/ (* (* 1 1) 1) (/ (* (* z z) z) (* (* (* x y) (* x y)) (* x y)))) (/ (* (* 1 1) 1) (* (* (/ z (* x y)) (/ z (* x y))) (/ z (* x y)))) (* (cbrt (/ 1 (/ z (* x y)))) (cbrt (/ 1 (/ z (* x y))))) (cbrt (/ 1 (/ z (* x y)))) (* (* (/ 1 (/ z (* x y))) (/ 1 (/ z (* x y)))) (/ 1 (/ z (* x y)))) (sqrt (/ 1 (/ z (* x y)))) (sqrt (/ 1 (/ z (* x y)))) (- 1) (- (/ z (* x y))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y))))) (/ (cbrt 1) (cbrt (/ z (* x y)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ z (* x y)))) (/ (cbrt 1) (sqrt (/ z (* x y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt z) (cbrt z)) x)) (/ (cbrt 1) (/ (cbrt z) y)) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt z) x)) (/ (cbrt 1) (/ (sqrt z) y)) (/ (* (cbrt 1) (cbrt 1)) (/ 1 x)) (/ (cbrt 1) (/ z y)) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (/ z (* x y))) (/ (* (cbrt 1) (cbrt 1)) z) (/ (cbrt 1) (/ 1 (* x y))) (/ (sqrt 1) (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y))))) (/ (sqrt 1) (cbrt (/ z (* x y)))) (/ (sqrt 1) (sqrt (/ z (* x y)))) (/ (sqrt 1) (sqrt (/ z (* x y)))) (/ (sqrt 1) (/ (* (cbrt z) (cbrt z)) x)) (/ (sqrt 1) (/ (cbrt z) y)) (/ (sqrt 1) (/ (sqrt z) x)) (/ (sqrt 1) (/ (sqrt z) y)) (/ (sqrt 1) (/ 1 x)) (/ (sqrt 1) (/ z y)) (/ (sqrt 1) 1) (/ (sqrt 1) (/ z (* x y))) (/ (sqrt 1) z) (/ (sqrt 1) (/ 1 (* x y))) (/ 1 (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y))))) (/ 1 (cbrt (/ z (* x y)))) (/ 1 (sqrt (/ z (* x y)))) (/ 1 (sqrt (/ z (* x y)))) (/ 1 (/ (* (cbrt z) (cbrt z)) x)) (/ 1 (/ (cbrt z) y)) (/ 1 (/ (sqrt z) x)) (/ 1 (/ (sqrt z) y)) (/ 1 (/ 1 x)) (/ 1 (/ z y)) (/ 1 1) (/ 1 (/ z (* x y))) (/ 1 z) (/ 1 (/ 1 (* x y))) (/ 1 (/ z (* x y))) (/ (/ z (* x y)) 1) (/ 1 (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y))))) (/ 1 (sqrt (/ z (* x y)))) (/ 1 (/ (* (cbrt z) (cbrt z)) x)) (/ 1 (/ (sqrt z) x)) (/ 1 (/ 1 x)) (/ 1 1) (/ 1 z) (/ (/ z (* x y)) (cbrt 1)) (/ (/ z (* x y)) (sqrt 1)) (/ (/ z (* x y)) 1) (/ 1 z) (/ z (* x y)) (/ z (* x y)) (/ z (* x y)) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 14.064 * * [simplify]: Extracting # 0 : cost 0 14.064 * * [simplify]: Extracting # 1 : cost 0 14.064 * * [simplify]: Extracting # 2 : cost 0 14.064 * * [simplify]: Extracting # 3 : cost 0 14.065 * * [simplify]: Extracting # 4 : cost 0 14.065 * * [simplify]: Extracting # 5 : cost 0 14.065 * * [simplify]: Extracting # 6 : cost 0 14.065 * * [simplify]: Extracting # 7 : cost 0 14.066 * * [simplify]: iteration 0 : 118 enodes (cost 866 ) 14.118 * * [simplify]: Extracting # 0 : cost 0 14.119 * * [simplify]: Extracting # 1 : cost 0 14.119 * * [simplify]: Extracting # 2 : cost 0 14.119 * * [simplify]: iteration 1 : 257 enodes (cost 735 ) 14.209 * * [simplify]: Extracting # 0 : cost 0 14.210 * * [simplify]: Extracting # 1 : cost 0 14.210 * * [simplify]: Extracting # 2 : cost 0 14.211 * * [simplify]: Extracting # 3 : cost 0 14.212 * * [simplify]: Extracting # 4 : cost 0 14.212 * * [simplify]: iteration 2 : 654 enodes (cost 607 ) 15.439 * * [simplify]: Extracting # 0 : cost 0 15.443 * * [simplify]: Extracting # 1 : cost 0 15.445 * * [simplify]: Extracting # 2 : cost 0 15.448 * * [simplify]: Extracting # 3 : cost 0 15.451 * * [simplify]: Extracting # 4 : cost 0 15.453 * * [simplify]: Extracting # 5 : cost 0 15.456 * * [simplify]: iteration 3 : 3098 enodes (cost 589 ) 17.092 * * [simplify]: Extracting # 0 : cost 0 17.097 * * [simplify]: Extracting # 1 : cost 0 17.107 * * [simplify]: Extracting # 2 : cost 0 17.117 * * [simplify]: iteration done: 5000 enodes (cost 589 ) 17.118 * [simplify]: Simplified to: (log (/ (/ z x) y)) (log (/ (/ z x) y)) (log (/ (/ z x) y)) (exp (/ z (* x y))) (pow (/ (/ z x) y) 3) (pow (/ (/ z x) y) 3) (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y)))) (cbrt (/ z (* x y))) (pow (/ (/ z x) y) 3) (sqrt (/ z (* x y))) (sqrt (/ z (* x y))) (- z) (- (* x y)) (/ (cbrt z) (/ x (cbrt z))) (/ (cbrt z) y) (/ (sqrt z) x) (/ (sqrt z) y) (/ 1 x) (/ z y) (/ 1 (* x y)) (/ (* x y) z) (/ z x) (/ (* x y) (cbrt z)) (/ (* x y) (sqrt z)) (/ (* x y) z) -1 (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (exp (/ (* x y) z)) (pow (/ (* x y) z) 3) (pow (/ (* x y) z) 3) (pow (/ (* x y) z) 3) (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z)) (pow (/ (* x y) z) 3) (sqrt (/ (* x y) z)) (sqrt (/ (* x y) z)) -1 (- (/ z (* x y))) (/ 1 (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y))))) (/ 1 (cbrt (/ z (* x y)))) (/ 1 (sqrt (/ z (* x y)))) (/ 1 (sqrt (/ z (* x y)))) (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (/ x (sqrt z)) (/ y (sqrt z)) x (/ y z) 1 (/ (* x y) z) (/ 1 z) (* x y) (/ 1 (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y))))) (/ 1 (cbrt (/ z (* x y)))) (/ 1 (sqrt (/ z (* x y)))) (/ 1 (sqrt (/ z (* x y)))) (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (/ x (sqrt z)) (/ y (sqrt z)) x (/ y z) 1 (/ (* x y) z) (/ 1 z) (* x y) (/ 1 (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y))))) (/ 1 (cbrt (/ z (* x y)))) (/ 1 (sqrt (/ z (* x y)))) (/ 1 (sqrt (/ z (* x y)))) (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (/ x (sqrt z)) (/ y (sqrt z)) x (/ y z) 1 (/ (* x y) z) (/ 1 z) (* x y) (/ (* x y) z) (/ (/ z x) y) (/ 1 (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y))))) (/ 1 (sqrt (/ z (* x y)))) (/ x (* (cbrt z) (cbrt z))) (/ x (sqrt z)) x 1 (/ 1 z) (/ (/ z x) y) (/ (/ z x) y) (/ (/ z x) y) (/ 1 z) (/ (/ z x) y) (/ (/ z x) y) (/ (/ z x) y) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 17.119 * * * [progress]: adding candidates to table 17.306 * * [progress]: iteration 4 / 4 17.307 * * * [progress]: picking best candidate 17.330 * * * * [pick]: Picked # 17.330 * * * [progress]: localizing error 17.347 * * * [progress]: generating rewritten candidates 17.347 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 17.380 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 17.451 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2 2) 17.474 * * * [progress]: generating series expansions 17.474 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 17.474 * [backup-simplify]: Simplify (* z (/ 1 (* x y))) into (/ z (* x y)) 17.474 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (z x y) around 0 17.474 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 17.474 * [taylor]: Taking taylor expansion of z in y 17.474 * [backup-simplify]: Simplify z into z 17.474 * [taylor]: Taking taylor expansion of (* x y) in y 17.474 * [taylor]: Taking taylor expansion of x in y 17.474 * [backup-simplify]: Simplify x into x 17.474 * [taylor]: Taking taylor expansion of y in y 17.474 * [backup-simplify]: Simplify 0 into 0 17.474 * [backup-simplify]: Simplify 1 into 1 17.474 * [backup-simplify]: Simplify (* x 0) into 0 17.475 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 17.475 * [backup-simplify]: Simplify (/ z x) into (/ z x) 17.475 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 17.475 * [taylor]: Taking taylor expansion of z in x 17.475 * [backup-simplify]: Simplify z into z 17.475 * [taylor]: Taking taylor expansion of (* x y) in x 17.475 * [taylor]: Taking taylor expansion of x in x 17.475 * [backup-simplify]: Simplify 0 into 0 17.475 * [backup-simplify]: Simplify 1 into 1 17.475 * [taylor]: Taking taylor expansion of y in x 17.475 * [backup-simplify]: Simplify y into y 17.475 * [backup-simplify]: Simplify (* 0 y) into 0 17.475 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.475 * [backup-simplify]: Simplify (/ z y) into (/ z y) 17.476 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 17.476 * [taylor]: Taking taylor expansion of z in z 17.476 * [backup-simplify]: Simplify 0 into 0 17.476 * [backup-simplify]: Simplify 1 into 1 17.476 * [taylor]: Taking taylor expansion of (* x y) in z 17.476 * [taylor]: Taking taylor expansion of x in z 17.476 * [backup-simplify]: Simplify x into x 17.476 * [taylor]: Taking taylor expansion of y in z 17.476 * [backup-simplify]: Simplify y into y 17.476 * [backup-simplify]: Simplify (* x y) into (* x y) 17.476 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 17.476 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 17.476 * [taylor]: Taking taylor expansion of z in z 17.476 * [backup-simplify]: Simplify 0 into 0 17.476 * [backup-simplify]: Simplify 1 into 1 17.476 * [taylor]: Taking taylor expansion of (* x y) in z 17.476 * [taylor]: Taking taylor expansion of x in z 17.476 * [backup-simplify]: Simplify x into x 17.476 * [taylor]: Taking taylor expansion of y in z 17.476 * [backup-simplify]: Simplify y into y 17.476 * [backup-simplify]: Simplify (* x y) into (* x y) 17.476 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 17.476 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 17.476 * [taylor]: Taking taylor expansion of (* x y) in x 17.476 * [taylor]: Taking taylor expansion of x in x 17.476 * [backup-simplify]: Simplify 0 into 0 17.476 * [backup-simplify]: Simplify 1 into 1 17.476 * [taylor]: Taking taylor expansion of y in x 17.476 * [backup-simplify]: Simplify y into y 17.476 * [backup-simplify]: Simplify (* 0 y) into 0 17.477 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.477 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 17.477 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.477 * [taylor]: Taking taylor expansion of y in y 17.477 * [backup-simplify]: Simplify 0 into 0 17.477 * [backup-simplify]: Simplify 1 into 1 17.477 * [backup-simplify]: Simplify (/ 1 1) into 1 17.477 * [backup-simplify]: Simplify 1 into 1 17.477 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 17.477 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 17.477 * [taylor]: Taking taylor expansion of 0 in x 17.477 * [backup-simplify]: Simplify 0 into 0 17.478 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 17.478 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 17.478 * [taylor]: Taking taylor expansion of 0 in y 17.478 * [backup-simplify]: Simplify 0 into 0 17.478 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.478 * [backup-simplify]: Simplify 0 into 0 17.479 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 17.479 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 17.479 * [taylor]: Taking taylor expansion of 0 in x 17.479 * [backup-simplify]: Simplify 0 into 0 17.479 * [taylor]: Taking taylor expansion of 0 in y 17.479 * [backup-simplify]: Simplify 0 into 0 17.480 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 17.480 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.480 * [taylor]: Taking taylor expansion of 0 in y 17.480 * [backup-simplify]: Simplify 0 into 0 17.480 * [backup-simplify]: Simplify 0 into 0 17.481 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.481 * [backup-simplify]: Simplify 0 into 0 17.481 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 17.482 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 17.482 * [taylor]: Taking taylor expansion of 0 in x 17.482 * [backup-simplify]: Simplify 0 into 0 17.482 * [taylor]: Taking taylor expansion of 0 in y 17.482 * [backup-simplify]: Simplify 0 into 0 17.482 * [taylor]: Taking taylor expansion of 0 in y 17.482 * [backup-simplify]: Simplify 0 into 0 17.483 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 17.483 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.483 * [taylor]: Taking taylor expansion of 0 in y 17.483 * [backup-simplify]: Simplify 0 into 0 17.483 * [backup-simplify]: Simplify 0 into 0 17.483 * [backup-simplify]: Simplify 0 into 0 17.483 * [backup-simplify]: Simplify 0 into 0 17.483 * [backup-simplify]: Simplify (* 1 (* (/ 1 y) (* (/ 1 x) z))) into (/ z (* x y)) 17.483 * [backup-simplify]: Simplify (* (/ 1 z) (/ 1 (* (/ 1 x) (/ 1 y)))) into (/ (* x y) z) 17.483 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (z x y) around 0 17.483 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 17.483 * [taylor]: Taking taylor expansion of (* x y) in y 17.483 * [taylor]: Taking taylor expansion of x in y 17.483 * [backup-simplify]: Simplify x into x 17.483 * [taylor]: Taking taylor expansion of y in y 17.483 * [backup-simplify]: Simplify 0 into 0 17.483 * [backup-simplify]: Simplify 1 into 1 17.483 * [taylor]: Taking taylor expansion of z in y 17.483 * [backup-simplify]: Simplify z into z 17.483 * [backup-simplify]: Simplify (* x 0) into 0 17.484 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 17.484 * [backup-simplify]: Simplify (/ x z) into (/ x z) 17.484 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 17.484 * [taylor]: Taking taylor expansion of (* x y) in x 17.484 * [taylor]: Taking taylor expansion of x in x 17.484 * [backup-simplify]: Simplify 0 into 0 17.484 * [backup-simplify]: Simplify 1 into 1 17.484 * [taylor]: Taking taylor expansion of y in x 17.484 * [backup-simplify]: Simplify y into y 17.484 * [taylor]: Taking taylor expansion of z in x 17.484 * [backup-simplify]: Simplify z into z 17.484 * [backup-simplify]: Simplify (* 0 y) into 0 17.484 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.484 * [backup-simplify]: Simplify (/ y z) into (/ y z) 17.484 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 17.484 * [taylor]: Taking taylor expansion of (* x y) in z 17.484 * [taylor]: Taking taylor expansion of x in z 17.484 * [backup-simplify]: Simplify x into x 17.484 * [taylor]: Taking taylor expansion of y in z 17.484 * [backup-simplify]: Simplify y into y 17.484 * [taylor]: Taking taylor expansion of z in z 17.484 * [backup-simplify]: Simplify 0 into 0 17.484 * [backup-simplify]: Simplify 1 into 1 17.484 * [backup-simplify]: Simplify (* x y) into (* x y) 17.484 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 17.484 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 17.484 * [taylor]: Taking taylor expansion of (* x y) in z 17.485 * [taylor]: Taking taylor expansion of x in z 17.485 * [backup-simplify]: Simplify x into x 17.485 * [taylor]: Taking taylor expansion of y in z 17.485 * [backup-simplify]: Simplify y into y 17.485 * [taylor]: Taking taylor expansion of z in z 17.485 * [backup-simplify]: Simplify 0 into 0 17.485 * [backup-simplify]: Simplify 1 into 1 17.485 * [backup-simplify]: Simplify (* x y) into (* x y) 17.485 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 17.485 * [taylor]: Taking taylor expansion of (* x y) in x 17.485 * [taylor]: Taking taylor expansion of x in x 17.485 * [backup-simplify]: Simplify 0 into 0 17.485 * [backup-simplify]: Simplify 1 into 1 17.485 * [taylor]: Taking taylor expansion of y in x 17.485 * [backup-simplify]: Simplify y into y 17.485 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.485 * [taylor]: Taking taylor expansion of y in y 17.485 * [backup-simplify]: Simplify 0 into 0 17.485 * [backup-simplify]: Simplify 1 into 1 17.485 * [backup-simplify]: Simplify 1 into 1 17.485 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 17.486 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0 17.486 * [taylor]: Taking taylor expansion of 0 in x 17.486 * [backup-simplify]: Simplify 0 into 0 17.486 * [taylor]: Taking taylor expansion of 0 in y 17.486 * [backup-simplify]: Simplify 0 into 0 17.486 * [backup-simplify]: Simplify 0 into 0 17.486 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 17.486 * [taylor]: Taking taylor expansion of 0 in y 17.486 * [backup-simplify]: Simplify 0 into 0 17.486 * [backup-simplify]: Simplify 0 into 0 17.486 * [backup-simplify]: Simplify 0 into 0 17.487 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 17.488 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.488 * [taylor]: Taking taylor expansion of 0 in x 17.488 * [backup-simplify]: Simplify 0 into 0 17.488 * [taylor]: Taking taylor expansion of 0 in y 17.488 * [backup-simplify]: Simplify 0 into 0 17.488 * [backup-simplify]: Simplify 0 into 0 17.488 * [taylor]: Taking taylor expansion of 0 in y 17.488 * [backup-simplify]: Simplify 0 into 0 17.488 * [backup-simplify]: Simplify 0 into 0 17.488 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 17.488 * [taylor]: Taking taylor expansion of 0 in y 17.489 * [backup-simplify]: Simplify 0 into 0 17.489 * [backup-simplify]: Simplify 0 into 0 17.489 * [backup-simplify]: Simplify (* 1 (* (/ 1 y) (* (/ 1 x) (/ 1 (/ 1 z))))) into (/ z (* x y)) 17.489 * [backup-simplify]: Simplify (* (/ 1 (- z)) (/ 1 (* (/ 1 (- x)) (/ 1 (- y))))) into (* -1 (/ (* x y) z)) 17.489 * [approximate]: Taking taylor expansion of (* -1 (/ (* x y) z)) in (z x y) around 0 17.489 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in y 17.489 * [taylor]: Taking taylor expansion of -1 in y 17.489 * [backup-simplify]: Simplify -1 into -1 17.489 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 17.489 * [taylor]: Taking taylor expansion of (* x y) in y 17.489 * [taylor]: Taking taylor expansion of x in y 17.489 * [backup-simplify]: Simplify x into x 17.489 * [taylor]: Taking taylor expansion of y in y 17.489 * [backup-simplify]: Simplify 0 into 0 17.489 * [backup-simplify]: Simplify 1 into 1 17.489 * [taylor]: Taking taylor expansion of z in y 17.489 * [backup-simplify]: Simplify z into z 17.489 * [backup-simplify]: Simplify (* x 0) into 0 17.489 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 17.489 * [backup-simplify]: Simplify (/ x z) into (/ x z) 17.490 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in x 17.490 * [taylor]: Taking taylor expansion of -1 in x 17.490 * [backup-simplify]: Simplify -1 into -1 17.490 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 17.490 * [taylor]: Taking taylor expansion of (* x y) in x 17.490 * [taylor]: Taking taylor expansion of x in x 17.490 * [backup-simplify]: Simplify 0 into 0 17.490 * [backup-simplify]: Simplify 1 into 1 17.490 * [taylor]: Taking taylor expansion of y in x 17.490 * [backup-simplify]: Simplify y into y 17.490 * [taylor]: Taking taylor expansion of z in x 17.490 * [backup-simplify]: Simplify z into z 17.490 * [backup-simplify]: Simplify (* 0 y) into 0 17.490 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.490 * [backup-simplify]: Simplify (/ y z) into (/ y z) 17.490 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in z 17.490 * [taylor]: Taking taylor expansion of -1 in z 17.490 * [backup-simplify]: Simplify -1 into -1 17.490 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 17.490 * [taylor]: Taking taylor expansion of (* x y) in z 17.490 * [taylor]: Taking taylor expansion of x in z 17.491 * [backup-simplify]: Simplify x into x 17.491 * [taylor]: Taking taylor expansion of y in z 17.491 * [backup-simplify]: Simplify y into y 17.491 * [taylor]: Taking taylor expansion of z in z 17.491 * [backup-simplify]: Simplify 0 into 0 17.491 * [backup-simplify]: Simplify 1 into 1 17.491 * [backup-simplify]: Simplify (* x y) into (* x y) 17.491 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 17.491 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in z 17.491 * [taylor]: Taking taylor expansion of -1 in z 17.491 * [backup-simplify]: Simplify -1 into -1 17.491 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 17.491 * [taylor]: Taking taylor expansion of (* x y) in z 17.491 * [taylor]: Taking taylor expansion of x in z 17.491 * [backup-simplify]: Simplify x into x 17.491 * [taylor]: Taking taylor expansion of y in z 17.491 * [backup-simplify]: Simplify y into y 17.491 * [taylor]: Taking taylor expansion of z in z 17.491 * [backup-simplify]: Simplify 0 into 0 17.491 * [backup-simplify]: Simplify 1 into 1 17.491 * [backup-simplify]: Simplify (* x y) into (* x y) 17.491 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 17.491 * [backup-simplify]: Simplify (* -1 (* x y)) into (* -1 (* x y)) 17.491 * [taylor]: Taking taylor expansion of (* -1 (* x y)) in x 17.491 * [taylor]: Taking taylor expansion of -1 in x 17.491 * [backup-simplify]: Simplify -1 into -1 17.491 * [taylor]: Taking taylor expansion of (* x y) in x 17.492 * [taylor]: Taking taylor expansion of x in x 17.492 * [backup-simplify]: Simplify 0 into 0 17.492 * [backup-simplify]: Simplify 1 into 1 17.492 * [taylor]: Taking taylor expansion of y in x 17.492 * [backup-simplify]: Simplify y into y 17.492 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.492 * [backup-simplify]: Simplify (* 0 y) into 0 17.493 * [backup-simplify]: Simplify (+ (* -1 y) (* 0 0)) into (- y) 17.493 * [taylor]: Taking taylor expansion of (- y) in y 17.493 * [taylor]: Taking taylor expansion of y in y 17.493 * [backup-simplify]: Simplify 0 into 0 17.493 * [backup-simplify]: Simplify 1 into 1 17.493 * [backup-simplify]: Simplify (- 1) into -1 17.493 * [backup-simplify]: Simplify -1 into -1 17.493 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 17.494 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0 17.495 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (* x y))) into 0 17.495 * [taylor]: Taking taylor expansion of 0 in x 17.495 * [backup-simplify]: Simplify 0 into 0 17.495 * [taylor]: Taking taylor expansion of 0 in y 17.495 * [backup-simplify]: Simplify 0 into 0 17.495 * [backup-simplify]: Simplify 0 into 0 17.496 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 17.496 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 y) (* 0 0))) into 0 17.496 * [taylor]: Taking taylor expansion of 0 in y 17.496 * [backup-simplify]: Simplify 0 into 0 17.496 * [backup-simplify]: Simplify 0 into 0 17.497 * [backup-simplify]: Simplify (- 0) into 0 17.497 * [backup-simplify]: Simplify 0 into 0 17.497 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 17.499 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.499 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (* x y)))) into 0 17.499 * [taylor]: Taking taylor expansion of 0 in x 17.499 * [backup-simplify]: Simplify 0 into 0 17.499 * [taylor]: Taking taylor expansion of 0 in y 17.500 * [backup-simplify]: Simplify 0 into 0 17.500 * [backup-simplify]: Simplify 0 into 0 17.500 * [taylor]: Taking taylor expansion of 0 in y 17.500 * [backup-simplify]: Simplify 0 into 0 17.500 * [backup-simplify]: Simplify 0 into 0 17.501 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 17.502 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 17.502 * [taylor]: Taking taylor expansion of 0 in y 17.502 * [backup-simplify]: Simplify 0 into 0 17.502 * [backup-simplify]: Simplify 0 into 0 17.502 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- y)) (* (/ 1 (- x)) (/ 1 (/ 1 (- z)))))) into (/ z (* x y)) 17.502 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 17.502 * [backup-simplify]: Simplify (/ 1 (* z (/ 1 (* x y)))) into (/ (* x y) z) 17.502 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (z x y) around 0 17.503 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 17.503 * [taylor]: Taking taylor expansion of (* x y) in y 17.503 * [taylor]: Taking taylor expansion of x in y 17.503 * [backup-simplify]: Simplify x into x 17.503 * [taylor]: Taking taylor expansion of y in y 17.503 * [backup-simplify]: Simplify 0 into 0 17.503 * [backup-simplify]: Simplify 1 into 1 17.503 * [taylor]: Taking taylor expansion of z in y 17.503 * [backup-simplify]: Simplify z into z 17.503 * [backup-simplify]: Simplify (* x 0) into 0 17.503 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 17.503 * [backup-simplify]: Simplify (/ x z) into (/ x z) 17.503 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 17.503 * [taylor]: Taking taylor expansion of (* x y) in x 17.503 * [taylor]: Taking taylor expansion of x in x 17.503 * [backup-simplify]: Simplify 0 into 0 17.503 * [backup-simplify]: Simplify 1 into 1 17.503 * [taylor]: Taking taylor expansion of y in x 17.503 * [backup-simplify]: Simplify y into y 17.503 * [taylor]: Taking taylor expansion of z in x 17.503 * [backup-simplify]: Simplify z into z 17.503 * [backup-simplify]: Simplify (* 0 y) into 0 17.504 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.504 * [backup-simplify]: Simplify (/ y z) into (/ y z) 17.504 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 17.504 * [taylor]: Taking taylor expansion of (* x y) in z 17.504 * [taylor]: Taking taylor expansion of x in z 17.504 * [backup-simplify]: Simplify x into x 17.504 * [taylor]: Taking taylor expansion of y in z 17.504 * [backup-simplify]: Simplify y into y 17.504 * [taylor]: Taking taylor expansion of z in z 17.504 * [backup-simplify]: Simplify 0 into 0 17.504 * [backup-simplify]: Simplify 1 into 1 17.504 * [backup-simplify]: Simplify (* x y) into (* x y) 17.504 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 17.504 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 17.504 * [taylor]: Taking taylor expansion of (* x y) in z 17.504 * [taylor]: Taking taylor expansion of x in z 17.504 * [backup-simplify]: Simplify x into x 17.504 * [taylor]: Taking taylor expansion of y in z 17.504 * [backup-simplify]: Simplify y into y 17.504 * [taylor]: Taking taylor expansion of z in z 17.504 * [backup-simplify]: Simplify 0 into 0 17.504 * [backup-simplify]: Simplify 1 into 1 17.504 * [backup-simplify]: Simplify (* x y) into (* x y) 17.505 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 17.505 * [taylor]: Taking taylor expansion of (* x y) in x 17.505 * [taylor]: Taking taylor expansion of x in x 17.505 * [backup-simplify]: Simplify 0 into 0 17.505 * [backup-simplify]: Simplify 1 into 1 17.505 * [taylor]: Taking taylor expansion of y in x 17.505 * [backup-simplify]: Simplify y into y 17.505 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.505 * [taylor]: Taking taylor expansion of y in y 17.505 * [backup-simplify]: Simplify 0 into 0 17.505 * [backup-simplify]: Simplify 1 into 1 17.505 * [backup-simplify]: Simplify 1 into 1 17.505 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 17.506 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0 17.507 * [taylor]: Taking taylor expansion of 0 in x 17.507 * [backup-simplify]: Simplify 0 into 0 17.507 * [taylor]: Taking taylor expansion of 0 in y 17.507 * [backup-simplify]: Simplify 0 into 0 17.507 * [backup-simplify]: Simplify 0 into 0 17.508 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 17.508 * [taylor]: Taking taylor expansion of 0 in y 17.508 * [backup-simplify]: Simplify 0 into 0 17.508 * [backup-simplify]: Simplify 0 into 0 17.508 * [backup-simplify]: Simplify 0 into 0 17.508 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 17.510 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.510 * [taylor]: Taking taylor expansion of 0 in x 17.510 * [backup-simplify]: Simplify 0 into 0 17.510 * [taylor]: Taking taylor expansion of 0 in y 17.510 * [backup-simplify]: Simplify 0 into 0 17.510 * [backup-simplify]: Simplify 0 into 0 17.510 * [taylor]: Taking taylor expansion of 0 in y 17.510 * [backup-simplify]: Simplify 0 into 0 17.510 * [backup-simplify]: Simplify 0 into 0 17.511 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 17.511 * [taylor]: Taking taylor expansion of 0 in y 17.511 * [backup-simplify]: Simplify 0 into 0 17.511 * [backup-simplify]: Simplify 0 into 0 17.511 * [backup-simplify]: Simplify (* 1 (* y (* x (/ 1 z)))) into (/ (* x y) z) 17.511 * [backup-simplify]: Simplify (/ 1 (* (/ 1 z) (/ 1 (* (/ 1 x) (/ 1 y))))) into (/ z (* x y)) 17.511 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (z x y) around 0 17.511 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 17.512 * [taylor]: Taking taylor expansion of z in y 17.512 * [backup-simplify]: Simplify z into z 17.512 * [taylor]: Taking taylor expansion of (* x y) in y 17.512 * [taylor]: Taking taylor expansion of x in y 17.512 * [backup-simplify]: Simplify x into x 17.512 * [taylor]: Taking taylor expansion of y in y 17.512 * [backup-simplify]: Simplify 0 into 0 17.512 * [backup-simplify]: Simplify 1 into 1 17.512 * [backup-simplify]: Simplify (* x 0) into 0 17.512 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 17.512 * [backup-simplify]: Simplify (/ z x) into (/ z x) 17.512 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 17.512 * [taylor]: Taking taylor expansion of z in x 17.512 * [backup-simplify]: Simplify z into z 17.512 * [taylor]: Taking taylor expansion of (* x y) in x 17.512 * [taylor]: Taking taylor expansion of x in x 17.512 * [backup-simplify]: Simplify 0 into 0 17.512 * [backup-simplify]: Simplify 1 into 1 17.512 * [taylor]: Taking taylor expansion of y in x 17.512 * [backup-simplify]: Simplify y into y 17.512 * [backup-simplify]: Simplify (* 0 y) into 0 17.513 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.513 * [backup-simplify]: Simplify (/ z y) into (/ z y) 17.513 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 17.513 * [taylor]: Taking taylor expansion of z in z 17.513 * [backup-simplify]: Simplify 0 into 0 17.513 * [backup-simplify]: Simplify 1 into 1 17.513 * [taylor]: Taking taylor expansion of (* x y) in z 17.513 * [taylor]: Taking taylor expansion of x in z 17.513 * [backup-simplify]: Simplify x into x 17.513 * [taylor]: Taking taylor expansion of y in z 17.513 * [backup-simplify]: Simplify y into y 17.513 * [backup-simplify]: Simplify (* x y) into (* x y) 17.513 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 17.513 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 17.513 * [taylor]: Taking taylor expansion of z in z 17.513 * [backup-simplify]: Simplify 0 into 0 17.513 * [backup-simplify]: Simplify 1 into 1 17.513 * [taylor]: Taking taylor expansion of (* x y) in z 17.513 * [taylor]: Taking taylor expansion of x in z 17.513 * [backup-simplify]: Simplify x into x 17.514 * [taylor]: Taking taylor expansion of y in z 17.514 * [backup-simplify]: Simplify y into y 17.514 * [backup-simplify]: Simplify (* x y) into (* x y) 17.514 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 17.514 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 17.514 * [taylor]: Taking taylor expansion of (* x y) in x 17.514 * [taylor]: Taking taylor expansion of x in x 17.514 * [backup-simplify]: Simplify 0 into 0 17.514 * [backup-simplify]: Simplify 1 into 1 17.514 * [taylor]: Taking taylor expansion of y in x 17.514 * [backup-simplify]: Simplify y into y 17.514 * [backup-simplify]: Simplify (* 0 y) into 0 17.514 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.514 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 17.514 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.515 * [taylor]: Taking taylor expansion of y in y 17.515 * [backup-simplify]: Simplify 0 into 0 17.515 * [backup-simplify]: Simplify 1 into 1 17.515 * [backup-simplify]: Simplify (/ 1 1) into 1 17.515 * [backup-simplify]: Simplify 1 into 1 17.515 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 17.515 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 17.515 * [taylor]: Taking taylor expansion of 0 in x 17.515 * [backup-simplify]: Simplify 0 into 0 17.516 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 17.516 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 17.516 * [taylor]: Taking taylor expansion of 0 in y 17.516 * [backup-simplify]: Simplify 0 into 0 17.517 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.517 * [backup-simplify]: Simplify 0 into 0 17.518 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 17.518 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 17.518 * [taylor]: Taking taylor expansion of 0 in x 17.518 * [backup-simplify]: Simplify 0 into 0 17.518 * [taylor]: Taking taylor expansion of 0 in y 17.518 * [backup-simplify]: Simplify 0 into 0 17.520 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 17.520 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.520 * [taylor]: Taking taylor expansion of 0 in y 17.520 * [backup-simplify]: Simplify 0 into 0 17.520 * [backup-simplify]: Simplify 0 into 0 17.521 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.521 * [backup-simplify]: Simplify 0 into 0 17.522 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 17.522 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 17.522 * [taylor]: Taking taylor expansion of 0 in x 17.522 * [backup-simplify]: Simplify 0 into 0 17.522 * [taylor]: Taking taylor expansion of 0 in y 17.522 * [backup-simplify]: Simplify 0 into 0 17.522 * [taylor]: Taking taylor expansion of 0 in y 17.523 * [backup-simplify]: Simplify 0 into 0 17.528 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 17.529 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.529 * [taylor]: Taking taylor expansion of 0 in y 17.529 * [backup-simplify]: Simplify 0 into 0 17.529 * [backup-simplify]: Simplify 0 into 0 17.529 * [backup-simplify]: Simplify 0 into 0 17.529 * [backup-simplify]: Simplify 0 into 0 17.529 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 x)) (/ 1 z)))) into (/ (* x y) z) 17.529 * [backup-simplify]: Simplify (/ 1 (* (/ 1 (- z)) (/ 1 (* (/ 1 (- x)) (/ 1 (- y)))))) into (* -1 (/ z (* x y))) 17.530 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (z x y) around 0 17.530 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 17.530 * [taylor]: Taking taylor expansion of -1 in y 17.530 * [backup-simplify]: Simplify -1 into -1 17.530 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 17.530 * [taylor]: Taking taylor expansion of z in y 17.530 * [backup-simplify]: Simplify z into z 17.530 * [taylor]: Taking taylor expansion of (* x y) in y 17.530 * [taylor]: Taking taylor expansion of x in y 17.530 * [backup-simplify]: Simplify x into x 17.530 * [taylor]: Taking taylor expansion of y in y 17.530 * [backup-simplify]: Simplify 0 into 0 17.530 * [backup-simplify]: Simplify 1 into 1 17.530 * [backup-simplify]: Simplify (* x 0) into 0 17.530 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 17.530 * [backup-simplify]: Simplify (/ z x) into (/ z x) 17.530 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 17.530 * [taylor]: Taking taylor expansion of -1 in x 17.530 * [backup-simplify]: Simplify -1 into -1 17.530 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 17.530 * [taylor]: Taking taylor expansion of z in x 17.530 * [backup-simplify]: Simplify z into z 17.530 * [taylor]: Taking taylor expansion of (* x y) in x 17.530 * [taylor]: Taking taylor expansion of x in x 17.530 * [backup-simplify]: Simplify 0 into 0 17.530 * [backup-simplify]: Simplify 1 into 1 17.530 * [taylor]: Taking taylor expansion of y in x 17.530 * [backup-simplify]: Simplify y into y 17.531 * [backup-simplify]: Simplify (* 0 y) into 0 17.531 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.531 * [backup-simplify]: Simplify (/ z y) into (/ z y) 17.531 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 17.531 * [taylor]: Taking taylor expansion of -1 in z 17.531 * [backup-simplify]: Simplify -1 into -1 17.531 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 17.531 * [taylor]: Taking taylor expansion of z in z 17.531 * [backup-simplify]: Simplify 0 into 0 17.531 * [backup-simplify]: Simplify 1 into 1 17.531 * [taylor]: Taking taylor expansion of (* x y) in z 17.531 * [taylor]: Taking taylor expansion of x in z 17.531 * [backup-simplify]: Simplify x into x 17.531 * [taylor]: Taking taylor expansion of y in z 17.531 * [backup-simplify]: Simplify y into y 17.531 * [backup-simplify]: Simplify (* x y) into (* x y) 17.531 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 17.531 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 17.531 * [taylor]: Taking taylor expansion of -1 in z 17.531 * [backup-simplify]: Simplify -1 into -1 17.531 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 17.531 * [taylor]: Taking taylor expansion of z in z 17.531 * [backup-simplify]: Simplify 0 into 0 17.531 * [backup-simplify]: Simplify 1 into 1 17.531 * [taylor]: Taking taylor expansion of (* x y) in z 17.531 * [taylor]: Taking taylor expansion of x in z 17.531 * [backup-simplify]: Simplify x into x 17.531 * [taylor]: Taking taylor expansion of y in z 17.531 * [backup-simplify]: Simplify y into y 17.531 * [backup-simplify]: Simplify (* x y) into (* x y) 17.531 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 17.532 * [backup-simplify]: Simplify (* -1 (/ 1 (* x y))) into (/ -1 (* x y)) 17.532 * [taylor]: Taking taylor expansion of (/ -1 (* x y)) in x 17.532 * [taylor]: Taking taylor expansion of -1 in x 17.532 * [backup-simplify]: Simplify -1 into -1 17.532 * [taylor]: Taking taylor expansion of (* x y) in x 17.532 * [taylor]: Taking taylor expansion of x in x 17.532 * [backup-simplify]: Simplify 0 into 0 17.532 * [backup-simplify]: Simplify 1 into 1 17.532 * [taylor]: Taking taylor expansion of y in x 17.532 * [backup-simplify]: Simplify y into y 17.532 * [backup-simplify]: Simplify (* 0 y) into 0 17.532 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.532 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 17.532 * [taylor]: Taking taylor expansion of (/ -1 y) in y 17.532 * [taylor]: Taking taylor expansion of -1 in y 17.532 * [backup-simplify]: Simplify -1 into -1 17.532 * [taylor]: Taking taylor expansion of y in y 17.532 * [backup-simplify]: Simplify 0 into 0 17.532 * [backup-simplify]: Simplify 1 into 1 17.532 * [backup-simplify]: Simplify (/ -1 1) into -1 17.533 * [backup-simplify]: Simplify -1 into -1 17.533 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 17.533 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 17.533 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 (* x y)))) into 0 17.533 * [taylor]: Taking taylor expansion of 0 in x 17.533 * [backup-simplify]: Simplify 0 into 0 17.534 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 17.534 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 17.534 * [taylor]: Taking taylor expansion of 0 in y 17.534 * [backup-simplify]: Simplify 0 into 0 17.534 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 17.534 * [backup-simplify]: Simplify 0 into 0 17.535 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 17.535 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 17.535 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (* x y))))) into 0 17.535 * [taylor]: Taking taylor expansion of 0 in x 17.535 * [backup-simplify]: Simplify 0 into 0 17.535 * [taylor]: Taking taylor expansion of 0 in y 17.535 * [backup-simplify]: Simplify 0 into 0 17.536 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 17.536 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.536 * [taylor]: Taking taylor expansion of 0 in y 17.536 * [backup-simplify]: Simplify 0 into 0 17.536 * [backup-simplify]: Simplify 0 into 0 17.537 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.537 * [backup-simplify]: Simplify 0 into 0 17.538 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 17.538 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 17.538 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* x y)))))) into 0 17.539 * [taylor]: Taking taylor expansion of 0 in x 17.539 * [backup-simplify]: Simplify 0 into 0 17.539 * [taylor]: Taking taylor expansion of 0 in y 17.539 * [backup-simplify]: Simplify 0 into 0 17.539 * [taylor]: Taking taylor expansion of 0 in y 17.539 * [backup-simplify]: Simplify 0 into 0 17.540 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 17.540 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.540 * [taylor]: Taking taylor expansion of 0 in y 17.540 * [backup-simplify]: Simplify 0 into 0 17.540 * [backup-simplify]: Simplify 0 into 0 17.540 * [backup-simplify]: Simplify 0 into 0 17.540 * [backup-simplify]: Simplify 0 into 0 17.540 * [backup-simplify]: Simplify (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- x))) (/ 1 (- z))))) into (/ (* x y) z) 17.540 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2 2) 17.540 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 17.540 * [approximate]: Taking taylor expansion of (/ 1 (* x y)) in (x y) around 0 17.540 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 17.540 * [taylor]: Taking taylor expansion of (* x y) in y 17.540 * [taylor]: Taking taylor expansion of x in y 17.540 * [backup-simplify]: Simplify x into x 17.540 * [taylor]: Taking taylor expansion of y in y 17.540 * [backup-simplify]: Simplify 0 into 0 17.541 * [backup-simplify]: Simplify 1 into 1 17.541 * [backup-simplify]: Simplify (* x 0) into 0 17.541 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 17.541 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 17.541 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 17.541 * [taylor]: Taking taylor expansion of (* x y) in x 17.541 * [taylor]: Taking taylor expansion of x in x 17.541 * [backup-simplify]: Simplify 0 into 0 17.541 * [backup-simplify]: Simplify 1 into 1 17.541 * [taylor]: Taking taylor expansion of y in x 17.541 * [backup-simplify]: Simplify y into y 17.541 * [backup-simplify]: Simplify (* 0 y) into 0 17.541 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.541 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 17.541 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 17.541 * [taylor]: Taking taylor expansion of (* x y) in x 17.541 * [taylor]: Taking taylor expansion of x in x 17.541 * [backup-simplify]: Simplify 0 into 0 17.541 * [backup-simplify]: Simplify 1 into 1 17.541 * [taylor]: Taking taylor expansion of y in x 17.541 * [backup-simplify]: Simplify y into y 17.541 * [backup-simplify]: Simplify (* 0 y) into 0 17.542 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.542 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 17.542 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.542 * [taylor]: Taking taylor expansion of y in y 17.542 * [backup-simplify]: Simplify 0 into 0 17.542 * [backup-simplify]: Simplify 1 into 1 17.542 * [backup-simplify]: Simplify (/ 1 1) into 1 17.542 * [backup-simplify]: Simplify 1 into 1 17.543 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 17.543 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 17.543 * [taylor]: Taking taylor expansion of 0 in y 17.543 * [backup-simplify]: Simplify 0 into 0 17.543 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.543 * [backup-simplify]: Simplify 0 into 0 17.544 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 17.544 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.544 * [taylor]: Taking taylor expansion of 0 in y 17.544 * [backup-simplify]: Simplify 0 into 0 17.544 * [backup-simplify]: Simplify 0 into 0 17.545 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.545 * [backup-simplify]: Simplify 0 into 0 17.545 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 17.546 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.546 * [taylor]: Taking taylor expansion of 0 in y 17.546 * [backup-simplify]: Simplify 0 into 0 17.546 * [backup-simplify]: Simplify 0 into 0 17.546 * [backup-simplify]: Simplify 0 into 0 17.546 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.546 * [backup-simplify]: Simplify 0 into 0 17.546 * [backup-simplify]: Simplify (* 1 (* (/ 1 y) (/ 1 x))) into (/ 1 (* x y)) 17.546 * [backup-simplify]: Simplify (/ 1 (* (/ 1 x) (/ 1 y))) into (* x y) 17.546 * [approximate]: Taking taylor expansion of (* x y) in (x y) around 0 17.546 * [taylor]: Taking taylor expansion of (* x y) in y 17.547 * [taylor]: Taking taylor expansion of x in y 17.547 * [backup-simplify]: Simplify x into x 17.547 * [taylor]: Taking taylor expansion of y in y 17.547 * [backup-simplify]: Simplify 0 into 0 17.547 * [backup-simplify]: Simplify 1 into 1 17.547 * [taylor]: Taking taylor expansion of (* x y) in x 17.547 * [taylor]: Taking taylor expansion of x in x 17.547 * [backup-simplify]: Simplify 0 into 0 17.547 * [backup-simplify]: Simplify 1 into 1 17.547 * [taylor]: Taking taylor expansion of y in x 17.547 * [backup-simplify]: Simplify y into y 17.547 * [taylor]: Taking taylor expansion of (* x y) in x 17.547 * [taylor]: Taking taylor expansion of x in x 17.547 * [backup-simplify]: Simplify 0 into 0 17.547 * [backup-simplify]: Simplify 1 into 1 17.547 * [taylor]: Taking taylor expansion of y in x 17.547 * [backup-simplify]: Simplify y into y 17.547 * [backup-simplify]: Simplify (* 0 y) into 0 17.547 * [taylor]: Taking taylor expansion of 0 in y 17.547 * [backup-simplify]: Simplify 0 into 0 17.547 * [backup-simplify]: Simplify 0 into 0 17.547 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.547 * [taylor]: Taking taylor expansion of y in y 17.547 * [backup-simplify]: Simplify 0 into 0 17.547 * [backup-simplify]: Simplify 1 into 1 17.547 * [backup-simplify]: Simplify 0 into 0 17.547 * [backup-simplify]: Simplify 0 into 0 17.548 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 17.548 * [taylor]: Taking taylor expansion of 0 in y 17.548 * [backup-simplify]: Simplify 0 into 0 17.548 * [backup-simplify]: Simplify 0 into 0 17.548 * [backup-simplify]: Simplify 1 into 1 17.548 * [backup-simplify]: Simplify 0 into 0 17.549 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 17.549 * [taylor]: Taking taylor expansion of 0 in y 17.549 * [backup-simplify]: Simplify 0 into 0 17.549 * [backup-simplify]: Simplify 0 into 0 17.549 * [backup-simplify]: Simplify 0 into 0 17.549 * [backup-simplify]: Simplify 0 into 0 17.549 * [backup-simplify]: Simplify 0 into 0 17.550 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 17.550 * [taylor]: Taking taylor expansion of 0 in y 17.550 * [backup-simplify]: Simplify 0 into 0 17.550 * [backup-simplify]: Simplify 0 into 0 17.550 * [backup-simplify]: Simplify (* 1 (* (/ 1 y) (/ 1 x))) into (/ 1 (* x y)) 17.550 * [backup-simplify]: Simplify (/ 1 (* (/ 1 (- x)) (/ 1 (- y)))) into (* x y) 17.550 * [approximate]: Taking taylor expansion of (* x y) in (x y) around 0 17.550 * [taylor]: Taking taylor expansion of (* x y) in y 17.550 * [taylor]: Taking taylor expansion of x in y 17.550 * [backup-simplify]: Simplify x into x 17.550 * [taylor]: Taking taylor expansion of y in y 17.550 * [backup-simplify]: Simplify 0 into 0 17.550 * [backup-simplify]: Simplify 1 into 1 17.550 * [taylor]: Taking taylor expansion of (* x y) in x 17.550 * [taylor]: Taking taylor expansion of x in x 17.550 * [backup-simplify]: Simplify 0 into 0 17.550 * [backup-simplify]: Simplify 1 into 1 17.550 * [taylor]: Taking taylor expansion of y in x 17.550 * [backup-simplify]: Simplify y into y 17.550 * [taylor]: Taking taylor expansion of (* x y) in x 17.550 * [taylor]: Taking taylor expansion of x in x 17.550 * [backup-simplify]: Simplify 0 into 0 17.550 * [backup-simplify]: Simplify 1 into 1 17.550 * [taylor]: Taking taylor expansion of y in x 17.550 * [backup-simplify]: Simplify y into y 17.551 * [backup-simplify]: Simplify (* 0 y) into 0 17.551 * [taylor]: Taking taylor expansion of 0 in y 17.551 * [backup-simplify]: Simplify 0 into 0 17.551 * [backup-simplify]: Simplify 0 into 0 17.551 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.551 * [taylor]: Taking taylor expansion of y in y 17.551 * [backup-simplify]: Simplify 0 into 0 17.551 * [backup-simplify]: Simplify 1 into 1 17.551 * [backup-simplify]: Simplify 0 into 0 17.551 * [backup-simplify]: Simplify 0 into 0 17.552 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 17.552 * [taylor]: Taking taylor expansion of 0 in y 17.552 * [backup-simplify]: Simplify 0 into 0 17.552 * [backup-simplify]: Simplify 0 into 0 17.552 * [backup-simplify]: Simplify 1 into 1 17.552 * [backup-simplify]: Simplify 0 into 0 17.552 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 17.552 * [taylor]: Taking taylor expansion of 0 in y 17.552 * [backup-simplify]: Simplify 0 into 0 17.552 * [backup-simplify]: Simplify 0 into 0 17.552 * [backup-simplify]: Simplify 0 into 0 17.552 * [backup-simplify]: Simplify 0 into 0 17.552 * [backup-simplify]: Simplify 0 into 0 17.553 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 17.553 * [taylor]: Taking taylor expansion of 0 in y 17.553 * [backup-simplify]: Simplify 0 into 0 17.553 * [backup-simplify]: Simplify 0 into 0 17.554 * [backup-simplify]: Simplify (* 1 (* (/ 1 (- y)) (/ 1 (- x)))) into (/ 1 (* x y)) 17.554 * * * [progress]: simplifying candidates 17.555 * [simplify]: Simplifying: (* z (/ 1 (* x y))) (+ (log z) (- (+ (log x) (log y)))) (+ (log z) (- (log (* x y)))) (+ (log z) (- 0 (+ (log x) (log y)))) (+ (log z) (- 0 (log (* x y)))) (+ (log z) (- (log 1) (+ (log x) (log y)))) (+ (log z) (- (log 1) (log (* x y)))) (+ (log z) (log (/ 1 (* x y)))) (log (* z (/ 1 (* x y)))) (exp (* z (/ 1 (* x y)))) (* (* (* z z) z) (/ (* (* 1 1) 1) (* (* (* x x) x) (* (* y y) y)))) (* (* (* z z) z) (/ (* (* 1 1) 1) (* (* (* x y) (* x y)) (* x y)))) (* (* (* z z) z) (* (* (/ 1 (* x y)) (/ 1 (* x y))) (/ 1 (* x y)))) (* (cbrt (* z (/ 1 (* x y)))) (cbrt (* z (/ 1 (* x y))))) (cbrt (* z (/ 1 (* x y)))) (* (* (* z (/ 1 (* x y))) (* z (/ 1 (* x y)))) (* z (/ 1 (* x y)))) (sqrt (* z (/ 1 (* x y)))) (sqrt (* z (/ 1 (* x y)))) (* (sqrt z) (sqrt (/ 1 (* x y)))) (* (sqrt z) (sqrt (/ 1 (* x y)))) (* z (* (cbrt (/ 1 (* x y))) (cbrt (/ 1 (* x y))))) (* z (sqrt (/ 1 (* x y)))) (* z (/ (* (cbrt 1) (cbrt 1)) x)) (* z (/ (sqrt 1) x)) (* z (/ 1 x)) (* z 1) (* z 1) (* (cbrt z) (/ 1 (* x y))) (* (sqrt z) (/ 1 (* x y))) (* z (/ 1 (* x y))) (* z 1) (- 1) (- 1) (- (+ (log z) (- (+ (log x) (log y))))) (- (+ (log z) (- (log (* x y))))) (- (+ (log z) (- 0 (+ (log x) (log y))))) (- (+ (log z) (- 0 (log (* x y))))) (- (+ (log z) (- (log 1) (+ (log x) (log y))))) (- (+ (log z) (- (log 1) (log (* x y))))) (- (+ (log z) (log (/ 1 (* x y))))) (- (log (* z (/ 1 (* x y))))) (- 0 (+ (log z) (- (+ (log x) (log y))))) (- 0 (+ (log z) (- (log (* x y))))) (- 0 (+ (log z) (- 0 (+ (log x) (log y))))) (- 0 (+ (log z) (- 0 (log (* x y))))) (- 0 (+ (log z) (- (log 1) (+ (log x) (log y))))) (- 0 (+ (log z) (- (log 1) (log (* x y))))) (- 0 (+ (log z) (log (/ 1 (* x y))))) (- 0 (log (* z (/ 1 (* x y))))) (- (log 1) (+ (log z) (- (+ (log x) (log y))))) (- (log 1) (+ (log z) (- (log (* x y))))) (- (log 1) (+ (log z) (- 0 (+ (log x) (log y))))) (- (log 1) (+ (log z) (- 0 (log (* x y))))) (- (log 1) (+ (log z) (- (log 1) (+ (log x) (log y))))) (- (log 1) (+ (log z) (- (log 1) (log (* x y))))) (- (log 1) (+ (log z) (log (/ 1 (* x y))))) (- (log 1) (log (* z (/ 1 (* x y))))) (log (/ 1 (* z (/ 1 (* x y))))) (exp (/ 1 (* z (/ 1 (* x y))))) (/ (* (* 1 1) 1) (* (* (* z z) z) (/ (* (* 1 1) 1) (* (* (* x x) x) (* (* y y) y))))) (/ (* (* 1 1) 1) (* (* (* z z) z) (/ (* (* 1 1) 1) (* (* (* x y) (* x y)) (* x y))))) (/ (* (* 1 1) 1) (* (* (* z z) z) (* (* (/ 1 (* x y)) (/ 1 (* x y))) (/ 1 (* x y))))) (/ (* (* 1 1) 1) (* (* (* z (/ 1 (* x y))) (* z (/ 1 (* x y)))) (* z (/ 1 (* x y))))) (* (cbrt (/ 1 (* z (/ 1 (* x y))))) (cbrt (/ 1 (* z (/ 1 (* x y)))))) (cbrt (/ 1 (* z (/ 1 (* x y))))) (* (* (/ 1 (* z (/ 1 (* x y)))) (/ 1 (* z (/ 1 (* x y))))) (/ 1 (* z (/ 1 (* x y))))) (sqrt (/ 1 (* z (/ 1 (* x y))))) (sqrt (/ 1 (* z (/ 1 (* x y))))) (- 1) (- (* z (/ 1 (* x y)))) (/ (* (cbrt 1) (cbrt 1)) z) (/ (cbrt 1) (/ 1 (* x y))) (/ (sqrt 1) z) (/ (sqrt 1) (/ 1 (* x y))) (/ 1 z) (/ 1 (/ 1 (* x y))) (/ 1 (* z (/ 1 (* x y)))) (/ (* z (/ 1 (* x y))) 1) (/ 1 z) (/ (* z (/ 1 (* x y))) (cbrt 1)) (/ (* z (/ 1 (* x y))) (sqrt 1)) (/ (* z (/ 1 (* x y))) 1) (/ 1 z) (/ 1 (* z 1)) (- 1) (- 1) (- (+ (log x) (log y))) (- (log (* x y))) (- 0 (+ (log x) (log y))) (- 0 (log (* x y))) (- (log 1) (+ (log x) (log y))) (- (log 1) (log (* x y))) (log (/ 1 (* x y))) (exp (/ 1 (* x y))) (/ (* (* 1 1) 1) (* (* (* x x) x) (* (* y y) y))) (/ (* (* 1 1) 1) (* (* (* x y) (* x y)) (* x y))) (* (cbrt (/ 1 (* x y))) (cbrt (/ 1 (* x y)))) (cbrt (/ 1 (* x y))) (* (* (/ 1 (* x y)) (/ 1 (* x y))) (/ 1 (* x y))) (sqrt (/ 1 (* x y))) (sqrt (/ 1 (* x y))) (- 1) (- (* x y)) (/ (* (cbrt 1) (cbrt 1)) x) (/ (cbrt 1) y) (/ (sqrt 1) x) (/ (sqrt 1) y) (/ 1 x) (/ 1 y) (/ 1 (* x y)) (/ (* x y) 1) (/ 1 x) (/ (* x y) (cbrt 1)) (/ (* x y) (sqrt 1)) (/ (* x y) 1) (/ z (* x y)) (/ z (* x y)) (/ z (* x y)) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) (/ 1 (* x y)) (/ 1 (* x y)) (/ 1 (* x y)) 17.557 * * [simplify]: Extracting # 0 : cost 0 17.557 * * [simplify]: Extracting # 1 : cost 0 17.557 * * [simplify]: Extracting # 2 : cost 0 17.557 * * [simplify]: Extracting # 3 : cost 0 17.557 * * [simplify]: Extracting # 4 : cost 0 17.558 * * [simplify]: Extracting # 5 : cost 0 17.558 * * [simplify]: Extracting # 6 : cost 0 17.558 * * [simplify]: iteration 0 : 131 enodes (cost 1153 ) 17.622 * * [simplify]: Extracting # 0 : cost 0 17.623 * * [simplify]: Extracting # 1 : cost 0 17.624 * * [simplify]: Extracting # 2 : cost 0 17.624 * * [simplify]: Extracting # 3 : cost 0 17.625 * * [simplify]: iteration 1 : 295 enodes (cost 843 ) 17.776 * * [simplify]: Extracting # 0 : cost 0 17.777 * * [simplify]: Extracting # 1 : cost 0 17.779 * * [simplify]: Extracting # 2 : cost 0 17.780 * * [simplify]: Extracting # 3 : cost 0 17.781 * * [simplify]: Extracting # 4 : cost 0 17.783 * * [simplify]: Extracting # 5 : cost 0 17.784 * * [simplify]: iteration 2 : 802 enodes (cost 654 ) 20.468 * * [simplify]: Extracting # 0 : cost 0 20.476 * * [simplify]: Extracting # 1 : cost 0 20.480 * * [simplify]: Extracting # 2 : cost 0 20.483 * * [simplify]: Extracting # 3 : cost 0 20.486 * * [simplify]: Extracting # 4 : cost 0 20.489 * * [simplify]: iteration 3 : 4293 enodes (cost 654 ) 22.135 * * [simplify]: Extracting # 0 : cost 0 22.144 * * [simplify]: Extracting # 1 : cost 0 22.159 * * [simplify]: Extracting # 2 : cost 0 22.166 * * [simplify]: iteration done: 5000 enodes (cost 654 ) 22.167 * [simplify]: Simplified to: (/ (/ z y) x) (log (/ (/ z x) y)) (log (/ (/ z x) y)) (log (/ (/ z x) y)) (log (/ (/ z x) y)) (log (/ (/ z x) y)) (log (/ (/ z x) y)) (log (/ (/ z x) y)) (log (/ (/ z x) y)) (exp (/ z (* x y))) (pow (/ z (* x y)) 3) (pow (/ z (* x y)) 3) (pow (/ z (* x y)) 3) (* (cbrt (/ (/ z x) y)) (cbrt (/ (/ z x) y))) (cbrt (/ (/ z x) y)) (pow (/ z (* x y)) 3) (sqrt (/ (/ z x) y)) (sqrt (/ (/ z x) y)) (* (sqrt z) (sqrt (/ 1 (* x y)))) (* (sqrt z) (sqrt (/ 1 (* x y)))) (* z (* (cbrt (/ 1 (* x y))) (cbrt (/ 1 (* x y))))) (* z (sqrt (/ 1 (* x y)))) (/ z x) (/ z x) (/ z x) z z (/ (cbrt z) (* x y)) (/ (/ (sqrt z) y) x) (/ (/ z y) x) z -1 -1 (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (exp (/ y (/ z x))) (pow (/ (* x y) z) 3) (pow (/ (* x y) z) 3) (pow (/ (* x y) z) 3) (pow (/ (* x y) z) 3) (* (cbrt (/ y (/ z x))) (cbrt (/ y (/ z x)))) (cbrt (/ y (/ z x))) (pow (/ (* x y) z) 3) (sqrt (/ y (/ z x))) (sqrt (/ y (/ z x))) -1 (- (/ (/ z x) y)) (/ 1 z) (* x y) (/ 1 z) (* x y) (/ 1 z) (* x y) (/ (* x y) z) (/ (/ z y) x) (/ 1 z) (/ (/ z y) x) (/ (/ z y) x) (/ (/ z y) x) (/ 1 z) (/ 1 z) -1 -1 (- (log (* x y))) (- (log (* x y))) (- (log (* x y))) (- (log (* x y))) (- (log (* x y))) (- (log (* x y))) (- (log (* x y))) (exp (/ 1 (* x y))) (/ 1 (pow (* x y) 3)) (/ 1 (pow (* x y) 3)) (* (cbrt (/ 1 (* x y))) (cbrt (/ 1 (* x y)))) (cbrt (/ 1 (* x y))) (/ 1 (pow (* x y) 3)) (sqrt (/ 1 (* x y))) (sqrt (/ 1 (* x y))) -1 (- (* x y)) (/ 1 x) (/ 1 y) (/ 1 x) (/ 1 y) (/ 1 x) (/ 1 y) (/ (/ 1 x) y) (* x y) (/ 1 x) (* x y) (* x y) (* x y) (/ (/ z y) x) (/ (/ z y) x) (/ (/ z y) x) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) (/ (/ 1 x) y) (/ (/ 1 x) y) (/ (/ 1 x) y) 22.169 * * * [progress]: adding candidates to table 22.367 * [progress]: [Phase 3 of 3] Extracting. 22.367 * * [regime]: Finding splitpoints for: (# # # # # # #) 22.368 * * * [regime-changes]: Trying 5 branch expressions: ((/ y z) t z y x) 22.368 * * * * [regimes]: Trying to branch on (/ y z) from (# # # # # # #) 22.424 * * * * [regimes]: Trying to branch on t from (# # # # # # #) 22.482 * * * * [regimes]: Trying to branch on z from (# # # # # # #) 22.524 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 22.588 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 22.655 * * * [regime]: Found split indices: #