0.095 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.026 * * * [progress]: [2/2] Setting up program. 0.034 * [progress]: [Phase 2 of 3] Improving. 0.034 * [simplify]: Simplifying: (/ (- (+ x y) z) (* t 2.0)) 0.034 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.034 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.034 * * [simplify]: Extracting # 2 : cost 7 inf + 0 0.034 * * [simplify]: Extracting # 3 : cost 5 inf + 45 0.034 * * [simplify]: Extracting # 4 : cost 3 inf + 47 0.035 * * [simplify]: Extracting # 5 : cost 0 inf + 337 0.035 * * [simplify]: iteration 0 : 9 enodes (cost 165 ) 0.038 * * [simplify]: Extracting # 0 : cost 0 inf + 337 0.038 * * [simplify]: Extracting # 1 : cost 5 inf + 337 0.038 * * [simplify]: Extracting # 2 : cost 0 inf + 751 0.038 * * [simplify]: iteration 1 : 20 enodes (cost 165 ) 0.044 * * [simplify]: Extracting # 0 : cost 0 inf + 751 0.045 * * [simplify]: Extracting # 1 : cost 7 inf + 751 0.045 * * [simplify]: Extracting # 2 : cost 0 inf + 1248 0.046 * * [simplify]: iteration 2 : 39 enodes (cost 165 ) 0.057 * * [simplify]: Extracting # 0 : cost 0 inf + 1248 0.057 * * [simplify]: Extracting # 1 : cost 4 inf + 1208 0.058 * * [simplify]: Extracting # 2 : cost 0 inf + 1538 0.058 * * [simplify]: iteration 3 : 55 enodes (cost 165 ) 0.068 * * [simplify]: Extracting # 0 : cost 0 inf + 1538 0.069 * * [simplify]: Extracting # 1 : cost 7 inf + 1538 0.069 * * [simplify]: Extracting # 2 : cost 0 inf + 2036 0.070 * * [simplify]: iteration 4 : 70 enodes (cost 165 ) 0.077 * * [simplify]: Extracting # 0 : cost 0 inf + 2036 0.078 * * [simplify]: Extracting # 1 : cost 5 inf + 2036 0.078 * * [simplify]: Extracting # 2 : cost 0 inf + 2449 0.079 * * [simplify]: iteration 5 : 87 enodes (cost 165 ) 0.089 * * [simplify]: Extracting # 0 : cost 0 inf + 2449 0.090 * * [simplify]: Extracting # 1 : cost 15 inf + 2449 0.091 * * [simplify]: Extracting # 2 : cost 0 inf + 3885 0.092 * * [simplify]: iteration 6 : 124 enodes (cost 165 ) 0.136 * * [simplify]: Extracting # 0 : cost 0 inf + 3885 0.139 * * [simplify]: Extracting # 1 : cost 22 inf + 3525 0.141 * * [simplify]: Extracting # 2 : cost 0 inf + 5580 0.144 * * [simplify]: iteration 7 : 187 enodes (cost 165 ) 0.199 * * [simplify]: Extracting # 0 : cost 0 inf + 5580 0.203 * * [simplify]: Extracting # 1 : cost 31 inf + 5100 0.208 * * [simplify]: Extracting # 2 : cost 0 inf + 8133 0.214 * * [simplify]: iteration 8 : 311 enodes (cost 165 ) 0.281 * * [simplify]: Extracting # 0 : cost 0 inf + 8133 0.284 * * [simplify]: Extracting # 1 : cost 55 inf + 7453 0.288 * * [simplify]: Extracting # 2 : cost 0 inf + 13786 0.292 * * [simplify]: iteration 9 : 546 enodes (cost 165 ) 0.381 * * [simplify]: Extracting # 0 : cost 0 inf + 13786 0.386 * * [simplify]: Extracting # 1 : cost 78 inf + 11906 0.392 * * [simplify]: Extracting # 2 : cost 0 inf + 21083 0.399 * * [simplify]: Extracting # 3 : cost 0 inf + 20883 0.408 * * [simplify]: iteration 10 : 808 enodes (cost 165 ) 0.542 * * [simplify]: Extracting # 0 : cost 0 inf + 20883 0.561 * * [simplify]: Extracting # 1 : cost 133 inf + 17963 0.576 * * [simplify]: Extracting # 2 : cost 0 inf + 32838 0.593 * * [simplify]: iteration 11 : 1245 enodes (cost 165 ) 0.820 * * [simplify]: Extracting # 0 : cost 0 inf + 32838 0.836 * * [simplify]: Extracting # 1 : cost 118 inf + 26518 0.877 * * [simplify]: Extracting # 2 : cost 0 inf + 38068 0.913 * * [simplify]: iteration 12 : 1964 enodes (cost 165 ) 1.196 * * [simplify]: Extracting # 0 : cost 0 inf + 38068 1.230 * * [simplify]: Extracting # 1 : cost 60 inf + 34108 1.280 * * [simplify]: Extracting # 2 : cost 0 inf + 39475 1.310 * * [simplify]: iteration 13 : 2357 enodes (cost 165 ) 1.521 * * [simplify]: Extracting # 0 : cost 0 inf + 39475 1.542 * * [simplify]: Extracting # 1 : cost 48 inf + 37435 1.571 * * [simplify]: Extracting # 2 : cost 0 inf + 41572 1.618 * * [simplify]: iteration 14 : 2563 enodes (cost 165 ) 1.732 * * [simplify]: Extracting # 0 : cost 0 inf + 41572 1.774 * * [simplify]: Extracting # 1 : cost 42 inf + 39772 1.833 * * [simplify]: Extracting # 2 : cost 0 inf + 43257 1.887 * * [simplify]: iteration 15 : 2735 enodes (cost 165 ) 1.977 * * [simplify]: Extracting # 0 : cost 0 inf + 43257 2.004 * * [simplify]: Extracting # 1 : cost 48 inf + 41617 2.058 * * [simplify]: Extracting # 2 : cost 0 inf + 45834 2.136 * * [simplify]: iteration 16 : 2935 enodes (cost 165 ) 2.255 * * [simplify]: Extracting # 0 : cost 0 inf + 45834 2.307 * * [simplify]: Extracting # 1 : cost 41 inf + 43954 2.377 * * [simplify]: Extracting # 2 : cost 0 inf + 47316 2.435 * * [simplify]: iteration 17 : 3124 enodes (cost 165 ) 2.505 * * [simplify]: Extracting # 0 : cost 0 inf + 47316 2.535 * * [simplify]: Extracting # 1 : cost 45 inf + 45676 2.605 * * [simplify]: Extracting # 2 : cost 0 inf + 49526 2.658 * * [simplify]: iteration 18 : 3310 enodes (cost 165 ) 2.745 * * [simplify]: Extracting # 0 : cost 0 inf + 49526 2.786 * * [simplify]: Extracting # 1 : cost 41 inf + 47726 2.865 * * [simplify]: Extracting # 2 : cost 0 inf + 51088 2.960 * * [simplify]: iteration 19 : 3478 enodes (cost 165 ) 3.093 * * [simplify]: Extracting # 0 : cost 0 inf + 51088 3.154 * * [simplify]: Extracting # 1 : cost 45 inf + 49448 3.211 * * [simplify]: Extracting # 2 : cost 0 inf + 53298 3.278 * * [simplify]: iteration 20 : 3664 enodes (cost 165 ) 3.381 * * [simplify]: Extracting # 0 : cost 0 inf + 53298 3.421 * * [simplify]: Extracting # 1 : cost 41 inf + 51498 3.503 * * [simplify]: Extracting # 2 : cost 0 inf + 54860 3.581 * * [simplify]: iteration 21 : 3831 enodes (cost 165 ) 3.660 * * [simplify]: Extracting # 0 : cost 0 inf + 54860 3.691 * * [simplify]: Extracting # 1 : cost 45 inf + 53220 3.765 * * [simplify]: Extracting # 2 : cost 0 inf + 57070 3.880 * * [simplify]: iteration 22 : 4017 enodes (cost 165 ) 4.011 * * [simplify]: Extracting # 0 : cost 0 inf + 57070 4.076 * * [simplify]: Extracting # 1 : cost 41 inf + 55270 4.164 * * [simplify]: Extracting # 2 : cost 0 inf + 58632 4.255 * * [simplify]: iteration 23 : 4185 enodes (cost 165 ) 4.378 * * [simplify]: Extracting # 0 : cost 0 inf + 58632 4.424 * * [simplify]: Extracting # 1 : cost 45 inf + 56992 4.482 * * [simplify]: Extracting # 2 : cost 0 inf + 60842 4.563 * * [simplify]: iteration 24 : 4371 enodes (cost 165 ) 4.644 * * [simplify]: Extracting # 0 : cost 0 inf + 60842 4.687 * * [simplify]: Extracting # 1 : cost 41 inf + 59042 4.748 * * [simplify]: Extracting # 2 : cost 0 inf + 62404 4.821 * * [simplify]: iteration 25 : 4538 enodes (cost 165 ) 4.911 * * [simplify]: Extracting # 0 : cost 0 inf + 62404 4.957 * * [simplify]: Extracting # 1 : cost 45 inf + 60764 5.027 * * [simplify]: Extracting # 2 : cost 0 inf + 64614 5.157 * * [simplify]: iteration 26 : 4724 enodes (cost 165 ) 5.238 * * [simplify]: Extracting # 0 : cost 0 inf + 64614 5.298 * * [simplify]: Extracting # 1 : cost 41 inf + 62814 5.385 * * [simplify]: Extracting # 2 : cost 0 inf + 66176 5.530 * * [simplify]: iteration 27 : 4892 enodes (cost 165 ) 5.584 * * [simplify]: Extracting # 0 : cost 0 inf + 66176 5.640 * * [simplify]: Extracting # 1 : cost 54 inf + 64536 5.706 * * [simplify]: Extracting # 2 : cost 0 inf + 69450 5.803 * * [simplify]: iteration complete: 5000 enodes (cost 165 ) 5.803 * [simplify]: Simplified to: (/ (- (+ x y) z) (* t 2.0)) 5.805 * * [progress]: iteration 1 / 4 5.805 * * * [progress]: picking best candidate 5.812 * * * * [pick]: Picked # 5.812 * * * [progress]: localizing error 5.834 * * * [progress]: generating rewritten candidates 5.834 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 5.931 * * * [progress]: generating series expansions 5.932 * * * * [progress]: [ 1 / 1 ] generating series at (2) 5.932 * [backup-simplify]: Simplify (/ (- (+ x y) z) (* t 2.0)) into (* 0.5 (/ (- (+ x y) z) t)) 5.932 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in (x y z t) around 0 5.932 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in t 5.932 * [taylor]: Taking taylor expansion of 0.5 in t 5.932 * [backup-simplify]: Simplify 0.5 into 0.5 5.932 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in t 5.932 * [taylor]: Taking taylor expansion of (- (+ x y) z) in t 5.932 * [taylor]: Taking taylor expansion of (+ x y) in t 5.932 * [taylor]: Taking taylor expansion of x in t 5.932 * [backup-simplify]: Simplify x into x 5.932 * [taylor]: Taking taylor expansion of y in t 5.932 * [backup-simplify]: Simplify y into y 5.932 * [taylor]: Taking taylor expansion of z in t 5.932 * [backup-simplify]: Simplify z into z 5.932 * [taylor]: Taking taylor expansion of t in t 5.932 * [backup-simplify]: Simplify 0 into 0 5.932 * [backup-simplify]: Simplify 1 into 1 5.932 * [backup-simplify]: Simplify (+ x y) into (+ x y) 5.932 * [backup-simplify]: Simplify (- z) into (- z) 5.932 * [backup-simplify]: Simplify (+ (+ x y) (- z)) into (- (+ x y) z) 5.932 * [backup-simplify]: Simplify (/ (- (+ x y) z) 1) into (- (+ x y) z) 5.932 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in z 5.932 * [taylor]: Taking taylor expansion of 0.5 in z 5.932 * [backup-simplify]: Simplify 0.5 into 0.5 5.932 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in z 5.932 * [taylor]: Taking taylor expansion of (- (+ x y) z) in z 5.932 * [taylor]: Taking taylor expansion of (+ x y) in z 5.932 * [taylor]: Taking taylor expansion of x in z 5.932 * [backup-simplify]: Simplify x into x 5.932 * [taylor]: Taking taylor expansion of y in z 5.932 * [backup-simplify]: Simplify y into y 5.932 * [taylor]: Taking taylor expansion of z in z 5.932 * [backup-simplify]: Simplify 0 into 0 5.932 * [backup-simplify]: Simplify 1 into 1 5.932 * [taylor]: Taking taylor expansion of t in z 5.932 * [backup-simplify]: Simplify t into t 5.932 * [backup-simplify]: Simplify (+ x y) into (+ x y) 5.933 * [backup-simplify]: Simplify (- 0) into 0 5.933 * [backup-simplify]: Simplify (+ (+ x y) 0) into (+ x y) 5.933 * [backup-simplify]: Simplify (/ (+ x y) t) into (/ (+ x y) t) 5.933 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in y 5.933 * [taylor]: Taking taylor expansion of 0.5 in y 5.933 * [backup-simplify]: Simplify 0.5 into 0.5 5.933 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in y 5.933 * [taylor]: Taking taylor expansion of (- (+ x y) z) in y 5.933 * [taylor]: Taking taylor expansion of (+ x y) in y 5.933 * [taylor]: Taking taylor expansion of x in y 5.933 * [backup-simplify]: Simplify x into x 5.933 * [taylor]: Taking taylor expansion of y in y 5.933 * [backup-simplify]: Simplify 0 into 0 5.933 * [backup-simplify]: Simplify 1 into 1 5.933 * [taylor]: Taking taylor expansion of z in y 5.933 * [backup-simplify]: Simplify z into z 5.933 * [taylor]: Taking taylor expansion of t in y 5.933 * [backup-simplify]: Simplify t into t 5.933 * [backup-simplify]: Simplify (+ x 0) into x 5.933 * [backup-simplify]: Simplify (- z) into (- z) 5.933 * [backup-simplify]: Simplify (+ x (- z)) into (- x z) 5.933 * [backup-simplify]: Simplify (/ (- x z) t) into (/ (- x z) t) 5.933 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in x 5.933 * [taylor]: Taking taylor expansion of 0.5 in x 5.933 * [backup-simplify]: Simplify 0.5 into 0.5 5.933 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in x 5.933 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x 5.933 * [taylor]: Taking taylor expansion of (+ x y) in x 5.934 * [taylor]: Taking taylor expansion of x in x 5.934 * [backup-simplify]: Simplify 0 into 0 5.934 * [backup-simplify]: Simplify 1 into 1 5.934 * [taylor]: Taking taylor expansion of y in x 5.934 * [backup-simplify]: Simplify y into y 5.934 * [taylor]: Taking taylor expansion of z in x 5.934 * [backup-simplify]: Simplify z into z 5.934 * [taylor]: Taking taylor expansion of t in x 5.934 * [backup-simplify]: Simplify t into t 5.934 * [backup-simplify]: Simplify (+ 0 y) into y 5.934 * [backup-simplify]: Simplify (- z) into (- z) 5.934 * [backup-simplify]: Simplify (+ y (- z)) into (- y z) 5.934 * [backup-simplify]: Simplify (/ (- y z) t) into (/ (- y z) t) 5.934 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in x 5.934 * [taylor]: Taking taylor expansion of 0.5 in x 5.934 * [backup-simplify]: Simplify 0.5 into 0.5 5.934 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in x 5.934 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x 5.934 * [taylor]: Taking taylor expansion of (+ x y) in x 5.934 * [taylor]: Taking taylor expansion of x in x 5.934 * [backup-simplify]: Simplify 0 into 0 5.934 * [backup-simplify]: Simplify 1 into 1 5.934 * [taylor]: Taking taylor expansion of y in x 5.934 * [backup-simplify]: Simplify y into y 5.934 * [taylor]: Taking taylor expansion of z in x 5.934 * [backup-simplify]: Simplify z into z 5.934 * [taylor]: Taking taylor expansion of t in x 5.934 * [backup-simplify]: Simplify t into t 5.934 * [backup-simplify]: Simplify (+ 0 y) into y 5.934 * [backup-simplify]: Simplify (- z) into (- z) 5.934 * [backup-simplify]: Simplify (+ y (- z)) into (- y z) 5.934 * [backup-simplify]: Simplify (/ (- y z) t) into (/ (- y z) t) 5.934 * [backup-simplify]: Simplify (* 0.5 (/ (- y z) t)) into (* 0.5 (/ (- y z) t)) 5.934 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- y z) t)) in y 5.934 * [taylor]: Taking taylor expansion of 0.5 in y 5.934 * [backup-simplify]: Simplify 0.5 into 0.5 5.934 * [taylor]: Taking taylor expansion of (/ (- y z) t) in y 5.934 * [taylor]: Taking taylor expansion of (- y z) in y 5.934 * [taylor]: Taking taylor expansion of y in y 5.934 * [backup-simplify]: Simplify 0 into 0 5.934 * [backup-simplify]: Simplify 1 into 1 5.934 * [taylor]: Taking taylor expansion of z in y 5.934 * [backup-simplify]: Simplify z into z 5.934 * [taylor]: Taking taylor expansion of t in y 5.934 * [backup-simplify]: Simplify t into t 5.934 * [backup-simplify]: Simplify (- z) into (- z) 5.934 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 5.935 * [backup-simplify]: Simplify (/ (- z) t) into (* -1 (/ z t)) 5.935 * [backup-simplify]: Simplify (* 0.5 (* -1 (/ z t))) into (* -0.5 (/ z t)) 5.935 * [taylor]: Taking taylor expansion of (* -0.5 (/ z t)) in z 5.935 * [taylor]: Taking taylor expansion of -0.5 in z 5.935 * [backup-simplify]: Simplify -0.5 into -0.5 5.935 * [taylor]: Taking taylor expansion of (/ z t) in z 5.935 * [taylor]: Taking taylor expansion of z in z 5.935 * [backup-simplify]: Simplify 0 into 0 5.935 * [backup-simplify]: Simplify 1 into 1 5.935 * [taylor]: Taking taylor expansion of t in z 5.935 * [backup-simplify]: Simplify t into t 5.935 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 5.935 * [backup-simplify]: Simplify (+ 1 0) into 1 5.935 * [backup-simplify]: Simplify (- 0) into 0 5.936 * [backup-simplify]: Simplify (+ 1 0) into 1 5.936 * [backup-simplify]: Simplify (- (/ 1 t) (+ (* (/ (- y z) t) (/ 0 t)))) into (/ 1 t) 5.936 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 t)) (* 0 (/ (- y z) t))) into (* 0.5 (/ 1 t)) 5.936 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in y 5.936 * [taylor]: Taking taylor expansion of 0.5 in y 5.936 * [backup-simplify]: Simplify 0.5 into 0.5 5.936 * [taylor]: Taking taylor expansion of (/ 1 t) in y 5.936 * [taylor]: Taking taylor expansion of t in y 5.936 * [backup-simplify]: Simplify t into t 5.936 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 5.936 * [backup-simplify]: Simplify (* 0.5 (/ 1 t)) into (/ 0.5 t) 5.936 * [taylor]: Taking taylor expansion of (/ 0.5 t) in z 5.936 * [taylor]: Taking taylor expansion of 0.5 in z 5.936 * [backup-simplify]: Simplify 0.5 into 0.5 5.936 * [taylor]: Taking taylor expansion of t in z 5.936 * [backup-simplify]: Simplify t into t 5.936 * [backup-simplify]: Simplify (/ 0.5 t) into (/ 0.5 t) 5.936 * [taylor]: Taking taylor expansion of (/ 0.5 t) in t 5.936 * [taylor]: Taking taylor expansion of 0.5 in t 5.936 * [backup-simplify]: Simplify 0.5 into 0.5 5.936 * [taylor]: Taking taylor expansion of t in t 5.936 * [backup-simplify]: Simplify 0 into 0 5.936 * [backup-simplify]: Simplify 1 into 1 5.937 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5 5.937 * [backup-simplify]: Simplify 0.5 into 0.5 5.937 * [backup-simplify]: Simplify (- 0) into 0 5.937 * [backup-simplify]: Simplify (+ 1 0) into 1 5.937 * [backup-simplify]: Simplify (- (/ 1 t) (+ (* (* -1 (/ z t)) (/ 0 t)))) into (/ 1 t) 5.938 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 t)) (* 0 (* -1 (/ z t)))) into (* 0.5 (/ 1 t)) 5.938 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in z 5.938 * [taylor]: Taking taylor expansion of 0.5 in z 5.938 * [backup-simplify]: Simplify 0.5 into 0.5 5.938 * [taylor]: Taking taylor expansion of (/ 1 t) in z 5.938 * [taylor]: Taking taylor expansion of t in z 5.938 * [backup-simplify]: Simplify t into t 5.938 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 5.938 * [backup-simplify]: Simplify (* 0.5 (/ 1 t)) into (/ 0.5 t) 5.938 * [taylor]: Taking taylor expansion of (/ 0.5 t) in t 5.938 * [taylor]: Taking taylor expansion of 0.5 in t 5.938 * [backup-simplify]: Simplify 0.5 into 0.5 5.938 * [taylor]: Taking taylor expansion of t in t 5.938 * [backup-simplify]: Simplify 0 into 0 5.938 * [backup-simplify]: Simplify 1 into 1 5.938 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5 5.938 * [backup-simplify]: Simplify 0.5 into 0.5 5.938 * [backup-simplify]: Simplify (* -0.5 (/ 1 t)) into (/ -0.5 t) 5.938 * [taylor]: Taking taylor expansion of (/ -0.5 t) in t 5.938 * [taylor]: Taking taylor expansion of -0.5 in t 5.938 * [backup-simplify]: Simplify -0.5 into -0.5 5.938 * [taylor]: Taking taylor expansion of t in t 5.938 * [backup-simplify]: Simplify 0 into 0 5.938 * [backup-simplify]: Simplify 1 into 1 5.939 * [backup-simplify]: Simplify (/ -0.5 1) into -0.5 5.939 * [backup-simplify]: Simplify -0.5 into -0.5 5.939 * [backup-simplify]: Simplify (+ (* -0.5 (* (/ 1 t) (* z (* 1 1)))) (+ (* 0.5 (* (/ 1 t) (* 1 (* y 1)))) (* 0.5 (* (/ 1 t) (* 1 (* 1 x)))))) into (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t))) 5.939 * [backup-simplify]: Simplify (/ (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) (* (/ 1 t) 2.0)) into (* 0.5 (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)))) 5.939 * [approximate]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)))) in (x y z t) around 0 5.939 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)))) in t 5.939 * [taylor]: Taking taylor expansion of 0.5 in t 5.939 * [backup-simplify]: Simplify 0.5 into 0.5 5.939 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z))) in t 5.939 * [taylor]: Taking taylor expansion of t in t 5.939 * [backup-simplify]: Simplify 0 into 0 5.940 * [backup-simplify]: Simplify 1 into 1 5.940 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) in t 5.940 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in t 5.940 * [taylor]: Taking taylor expansion of (/ 1 x) in t 5.940 * [taylor]: Taking taylor expansion of x in t 5.940 * [backup-simplify]: Simplify x into x 5.940 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.940 * [taylor]: Taking taylor expansion of (/ 1 y) in t 5.940 * [taylor]: Taking taylor expansion of y in t 5.940 * [backup-simplify]: Simplify y into y 5.940 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.940 * [taylor]: Taking taylor expansion of (/ 1 z) in t 5.940 * [taylor]: Taking taylor expansion of z in t 5.940 * [backup-simplify]: Simplify z into z 5.940 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.940 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)))) in z 5.940 * [taylor]: Taking taylor expansion of 0.5 in z 5.940 * [backup-simplify]: Simplify 0.5 into 0.5 5.940 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z))) in z 5.940 * [taylor]: Taking taylor expansion of t in z 5.940 * [backup-simplify]: Simplify t into t 5.940 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) in z 5.940 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in z 5.940 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.940 * [taylor]: Taking taylor expansion of x in z 5.940 * [backup-simplify]: Simplify x into x 5.940 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.940 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.940 * [taylor]: Taking taylor expansion of y in z 5.940 * [backup-simplify]: Simplify y into y 5.940 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.940 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.940 * [taylor]: Taking taylor expansion of z in z 5.940 * [backup-simplify]: Simplify 0 into 0 5.940 * [backup-simplify]: Simplify 1 into 1 5.940 * [backup-simplify]: Simplify (/ 1 1) into 1 5.940 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)))) in y 5.940 * [taylor]: Taking taylor expansion of 0.5 in y 5.940 * [backup-simplify]: Simplify 0.5 into 0.5 5.940 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z))) in y 5.940 * [taylor]: Taking taylor expansion of t in y 5.941 * [backup-simplify]: Simplify t into t 5.941 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) in y 5.941 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 5.941 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.941 * [taylor]: Taking taylor expansion of x in y 5.941 * [backup-simplify]: Simplify x into x 5.941 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.941 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.941 * [taylor]: Taking taylor expansion of y in y 5.941 * [backup-simplify]: Simplify 0 into 0 5.941 * [backup-simplify]: Simplify 1 into 1 5.941 * [backup-simplify]: Simplify (/ 1 1) into 1 5.941 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.941 * [taylor]: Taking taylor expansion of z in y 5.941 * [backup-simplify]: Simplify z into z 5.941 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.941 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)))) in x 5.941 * [taylor]: Taking taylor expansion of 0.5 in x 5.941 * [backup-simplify]: Simplify 0.5 into 0.5 5.941 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z))) in x 5.941 * [taylor]: Taking taylor expansion of t in x 5.941 * [backup-simplify]: Simplify t into t 5.941 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) in x 5.941 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 5.941 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.941 * [taylor]: Taking taylor expansion of x in x 5.941 * [backup-simplify]: Simplify 0 into 0 5.941 * [backup-simplify]: Simplify 1 into 1 5.941 * [backup-simplify]: Simplify (/ 1 1) into 1 5.941 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.941 * [taylor]: Taking taylor expansion of y in x 5.941 * [backup-simplify]: Simplify y into y 5.942 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.942 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.942 * [taylor]: Taking taylor expansion of z in x 5.942 * [backup-simplify]: Simplify z into z 5.942 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.942 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)))) in x 5.942 * [taylor]: Taking taylor expansion of 0.5 in x 5.942 * [backup-simplify]: Simplify 0.5 into 0.5 5.942 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z))) in x 5.942 * [taylor]: Taking taylor expansion of t in x 5.942 * [backup-simplify]: Simplify t into t 5.942 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) in x 5.942 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 5.942 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.942 * [taylor]: Taking taylor expansion of x in x 5.942 * [backup-simplify]: Simplify 0 into 0 5.942 * [backup-simplify]: Simplify 1 into 1 5.942 * [backup-simplify]: Simplify (/ 1 1) into 1 5.942 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.942 * [taylor]: Taking taylor expansion of y in x 5.942 * [backup-simplify]: Simplify y into y 5.942 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.942 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.942 * [taylor]: Taking taylor expansion of z in x 5.942 * [backup-simplify]: Simplify z into z 5.942 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.943 * [backup-simplify]: Simplify (+ 1 0) into 1 5.943 * [backup-simplify]: Simplify (+ 1 0) into 1 5.943 * [backup-simplify]: Simplify (* t 1) into t 5.943 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t) 5.943 * [taylor]: Taking taylor expansion of (* 0.5 t) in y 5.943 * [taylor]: Taking taylor expansion of 0.5 in y 5.943 * [backup-simplify]: Simplify 0.5 into 0.5 5.943 * [taylor]: Taking taylor expansion of t in y 5.943 * [backup-simplify]: Simplify t into t 5.943 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.943 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 5.944 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 5.944 * [backup-simplify]: Simplify (+ (/ 1 y) (- (/ 1 z))) into (- (/ 1 y) (/ 1 z)) 5.944 * [backup-simplify]: Simplify (+ (* t (- (/ 1 y) (/ 1 z))) (* 0 1)) into (- (/ t y) (/ t z)) 5.944 * [backup-simplify]: Simplify (+ (* 0.5 (- (/ t y) (/ t z))) (* 0 t)) into (- (* 0.5 (/ t y)) (* 0.5 (/ t z))) 5.944 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t y)) (* 0.5 (/ t z))) in y 5.945 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y 5.945 * [taylor]: Taking taylor expansion of 0.5 in y 5.945 * [backup-simplify]: Simplify 0.5 into 0.5 5.945 * [taylor]: Taking taylor expansion of (/ t y) in y 5.945 * [taylor]: Taking taylor expansion of t in y 5.945 * [backup-simplify]: Simplify t into t 5.945 * [taylor]: Taking taylor expansion of y in y 5.945 * [backup-simplify]: Simplify 0 into 0 5.945 * [backup-simplify]: Simplify 1 into 1 5.945 * [backup-simplify]: Simplify (/ t 1) into t 5.945 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y 5.945 * [taylor]: Taking taylor expansion of 0.5 in y 5.945 * [backup-simplify]: Simplify 0.5 into 0.5 5.945 * [taylor]: Taking taylor expansion of (/ t z) in y 5.945 * [taylor]: Taking taylor expansion of t in y 5.945 * [backup-simplify]: Simplify t into t 5.945 * [taylor]: Taking taylor expansion of z in y 5.945 * [backup-simplify]: Simplify z into z 5.945 * [backup-simplify]: Simplify (/ t z) into (/ t z) 5.945 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t) 5.945 * [backup-simplify]: Simplify (+ (* 0.5 t) 0) into (* 0.5 t) 5.945 * [taylor]: Taking taylor expansion of (* 0.5 t) in z 5.945 * [taylor]: Taking taylor expansion of 0.5 in z 5.945 * [backup-simplify]: Simplify 0.5 into 0.5 5.945 * [taylor]: Taking taylor expansion of t in z 5.945 * [backup-simplify]: Simplify t into t 5.945 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t) 5.945 * [taylor]: Taking taylor expansion of (* 0.5 t) in z 5.945 * [taylor]: Taking taylor expansion of 0.5 in z 5.945 * [backup-simplify]: Simplify 0.5 into 0.5 5.945 * [taylor]: Taking taylor expansion of t in z 5.945 * [backup-simplify]: Simplify t into t 5.946 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.947 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.947 * [backup-simplify]: Simplify (+ 0 0) into 0 5.947 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 5.947 * [backup-simplify]: Simplify (- 0) into 0 5.948 * [backup-simplify]: Simplify (+ 0 0) into 0 5.949 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 (- (/ 1 y) (/ 1 z))) (* 0 1))) into 0 5.949 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (- (/ t y) (/ t z))) (* 0 t))) into 0 5.949 * [taylor]: Taking taylor expansion of 0 in y 5.949 * [backup-simplify]: Simplify 0 into 0 5.950 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0 5.951 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0 5.951 * [backup-simplify]: Simplify (* 0.5 (/ t z)) into (* 0.5 (/ t z)) 5.951 * [backup-simplify]: Simplify (- (* 0.5 (/ t z))) into (- (* 0.5 (/ t z))) 5.951 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ t z)))) into (- (* 0.5 (/ t z))) 5.951 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t z))) in z 5.951 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z 5.951 * [taylor]: Taking taylor expansion of 0.5 in z 5.951 * [backup-simplify]: Simplify 0.5 into 0.5 5.951 * [taylor]: Taking taylor expansion of (/ t z) in z 5.951 * [taylor]: Taking taylor expansion of t in z 5.951 * [backup-simplify]: Simplify t into t 5.951 * [taylor]: Taking taylor expansion of z in z 5.951 * [backup-simplify]: Simplify 0 into 0 5.951 * [backup-simplify]: Simplify 1 into 1 5.951 * [backup-simplify]: Simplify (/ t 1) into t 5.951 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t) 5.952 * [backup-simplify]: Simplify (- (* 0.5 t)) into (- (* 0.5 t)) 5.952 * [taylor]: Taking taylor expansion of (- (* 0.5 t)) in t 5.952 * [taylor]: Taking taylor expansion of (* 0.5 t) in t 5.952 * [taylor]: Taking taylor expansion of 0.5 in t 5.952 * [backup-simplify]: Simplify 0.5 into 0.5 5.952 * [taylor]: Taking taylor expansion of t in t 5.952 * [backup-simplify]: Simplify 0 into 0 5.952 * [backup-simplify]: Simplify 1 into 1 5.952 * [backup-simplify]: Simplify (* 0.5 0) into 0 5.952 * [backup-simplify]: Simplify (- 0) into 0 5.953 * [backup-simplify]: Simplify 0 into 0 5.953 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0 5.953 * [taylor]: Taking taylor expansion of 0 in z 5.953 * [backup-simplify]: Simplify 0 into 0 5.953 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t) 5.953 * [taylor]: Taking taylor expansion of (* 0.5 t) in t 5.953 * [taylor]: Taking taylor expansion of 0.5 in t 5.953 * [backup-simplify]: Simplify 0.5 into 0.5 5.953 * [taylor]: Taking taylor expansion of t in t 5.953 * [backup-simplify]: Simplify 0 into 0 5.953 * [backup-simplify]: Simplify 1 into 1 5.954 * [backup-simplify]: Simplify (* 0.5 0) into 0 5.954 * [backup-simplify]: Simplify 0 into 0 5.954 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t) 5.954 * [taylor]: Taking taylor expansion of (* 0.5 t) in t 5.954 * [taylor]: Taking taylor expansion of 0.5 in t 5.954 * [backup-simplify]: Simplify 0.5 into 0.5 5.954 * [taylor]: Taking taylor expansion of t in t 5.954 * [backup-simplify]: Simplify 0 into 0 5.954 * [backup-simplify]: Simplify 1 into 1 5.954 * [backup-simplify]: Simplify (* 0.5 0) into 0 5.954 * [backup-simplify]: Simplify 0 into 0 5.955 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.956 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.956 * [backup-simplify]: Simplify (+ 0 0) into 0 5.956 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 5.956 * [backup-simplify]: Simplify (- 0) into 0 5.957 * [backup-simplify]: Simplify (+ 0 0) into 0 5.958 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y) (/ 1 z))) (* 0 1)))) into 0 5.959 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (- (/ t y) (/ t z))) (* 0 t)))) into 0 5.959 * [taylor]: Taking taylor expansion of 0 in y 5.959 * [backup-simplify]: Simplify 0 into 0 5.959 * [taylor]: Taking taylor expansion of 0 in z 5.959 * [backup-simplify]: Simplify 0 into 0 5.960 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.961 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0 5.961 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0 5.962 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ t z))) into 0 5.962 * [backup-simplify]: Simplify (- 0) into 0 5.962 * [backup-simplify]: Simplify (+ 0 0) into 0 5.962 * [taylor]: Taking taylor expansion of 0 in z 5.962 * [backup-simplify]: Simplify 0 into 0 5.963 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0 5.963 * [taylor]: Taking taylor expansion of 0 in z 5.963 * [backup-simplify]: Simplify 0 into 0 5.964 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0 5.965 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0 5.965 * [backup-simplify]: Simplify (- 0) into 0 5.965 * [taylor]: Taking taylor expansion of 0 in t 5.965 * [backup-simplify]: Simplify 0 into 0 5.965 * [backup-simplify]: Simplify 0 into 0 5.965 * [taylor]: Taking taylor expansion of 0 in t 5.965 * [backup-simplify]: Simplify 0 into 0 5.965 * [backup-simplify]: Simplify 0 into 0 5.966 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0 5.966 * [taylor]: Taking taylor expansion of 0 in t 5.966 * [backup-simplify]: Simplify 0 into 0 5.966 * [backup-simplify]: Simplify 0 into 0 5.966 * [backup-simplify]: Simplify 0 into 0 5.966 * [backup-simplify]: Simplify (/ (- (+ (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) (* (/ 1 (- t)) 2.0)) into (* -0.5 (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y))))) 5.966 * [approximate]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in (x y z t) around 0 5.966 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in t 5.966 * [taylor]: Taking taylor expansion of -0.5 in t 5.966 * [backup-simplify]: Simplify -0.5 into -0.5 5.966 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in t 5.966 * [taylor]: Taking taylor expansion of t in t 5.966 * [backup-simplify]: Simplify 0 into 0 5.966 * [backup-simplify]: Simplify 1 into 1 5.966 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 x) (/ 1 y))) in t 5.966 * [taylor]: Taking taylor expansion of (/ 1 z) in t 5.966 * [taylor]: Taking taylor expansion of z in t 5.966 * [backup-simplify]: Simplify z into z 5.966 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.967 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in t 5.967 * [taylor]: Taking taylor expansion of (/ 1 x) in t 5.967 * [taylor]: Taking taylor expansion of x in t 5.967 * [backup-simplify]: Simplify x into x 5.967 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.967 * [taylor]: Taking taylor expansion of (/ 1 y) in t 5.967 * [taylor]: Taking taylor expansion of y in t 5.967 * [backup-simplify]: Simplify y into y 5.967 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.967 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in z 5.967 * [taylor]: Taking taylor expansion of -0.5 in z 5.967 * [backup-simplify]: Simplify -0.5 into -0.5 5.967 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in z 5.967 * [taylor]: Taking taylor expansion of t in z 5.967 * [backup-simplify]: Simplify t into t 5.967 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 x) (/ 1 y))) in z 5.967 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.967 * [taylor]: Taking taylor expansion of z in z 5.967 * [backup-simplify]: Simplify 0 into 0 5.967 * [backup-simplify]: Simplify 1 into 1 5.967 * [backup-simplify]: Simplify (/ 1 1) into 1 5.968 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in z 5.968 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.968 * [taylor]: Taking taylor expansion of x in z 5.968 * [backup-simplify]: Simplify x into x 5.968 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.968 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.968 * [taylor]: Taking taylor expansion of y in z 5.968 * [backup-simplify]: Simplify y into y 5.968 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.968 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in y 5.968 * [taylor]: Taking taylor expansion of -0.5 in y 5.968 * [backup-simplify]: Simplify -0.5 into -0.5 5.968 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in y 5.968 * [taylor]: Taking taylor expansion of t in y 5.968 * [backup-simplify]: Simplify t into t 5.968 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 x) (/ 1 y))) in y 5.968 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.968 * [taylor]: Taking taylor expansion of z in y 5.968 * [backup-simplify]: Simplify z into z 5.968 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.968 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 5.968 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.968 * [taylor]: Taking taylor expansion of x in y 5.968 * [backup-simplify]: Simplify x into x 5.968 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.968 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.968 * [taylor]: Taking taylor expansion of y in y 5.968 * [backup-simplify]: Simplify 0 into 0 5.968 * [backup-simplify]: Simplify 1 into 1 5.969 * [backup-simplify]: Simplify (/ 1 1) into 1 5.969 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in x 5.969 * [taylor]: Taking taylor expansion of -0.5 in x 5.969 * [backup-simplify]: Simplify -0.5 into -0.5 5.969 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in x 5.969 * [taylor]: Taking taylor expansion of t in x 5.969 * [backup-simplify]: Simplify t into t 5.969 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 x) (/ 1 y))) in x 5.969 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.969 * [taylor]: Taking taylor expansion of z in x 5.969 * [backup-simplify]: Simplify z into z 5.969 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.969 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 5.969 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.969 * [taylor]: Taking taylor expansion of x in x 5.969 * [backup-simplify]: Simplify 0 into 0 5.969 * [backup-simplify]: Simplify 1 into 1 5.970 * [backup-simplify]: Simplify (/ 1 1) into 1 5.970 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.970 * [taylor]: Taking taylor expansion of y in x 5.970 * [backup-simplify]: Simplify y into y 5.970 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.970 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in x 5.970 * [taylor]: Taking taylor expansion of -0.5 in x 5.970 * [backup-simplify]: Simplify -0.5 into -0.5 5.970 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in x 5.970 * [taylor]: Taking taylor expansion of t in x 5.970 * [backup-simplify]: Simplify t into t 5.970 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 x) (/ 1 y))) in x 5.970 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.970 * [taylor]: Taking taylor expansion of z in x 5.970 * [backup-simplify]: Simplify z into z 5.970 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.970 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 5.970 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.970 * [taylor]: Taking taylor expansion of x in x 5.970 * [backup-simplify]: Simplify 0 into 0 5.970 * [backup-simplify]: Simplify 1 into 1 5.970 * [backup-simplify]: Simplify (/ 1 1) into 1 5.970 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.970 * [taylor]: Taking taylor expansion of y in x 5.971 * [backup-simplify]: Simplify y into y 5.971 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.971 * [backup-simplify]: Simplify (+ 1 0) into 1 5.971 * [backup-simplify]: Simplify (- 1) into -1 5.972 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.972 * [backup-simplify]: Simplify (* t -1) into (* -1 t) 5.972 * [backup-simplify]: Simplify (* -0.5 (* -1 t)) into (* 0.5 t) 5.972 * [taylor]: Taking taylor expansion of (* 0.5 t) in y 5.972 * [taylor]: Taking taylor expansion of 0.5 in y 5.972 * [backup-simplify]: Simplify 0.5 into 0.5 5.972 * [taylor]: Taking taylor expansion of t in y 5.972 * [backup-simplify]: Simplify t into t 5.973 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.973 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 5.973 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 5.973 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 y))) into (- (/ 1 z) (/ 1 y)) 5.974 * [backup-simplify]: Simplify (+ (* t (- (/ 1 z) (/ 1 y))) (* 0 -1)) into (- (/ t z) (/ t y)) 5.974 * [backup-simplify]: Simplify (+ (* -0.5 (- (/ t z) (/ t y))) (* 0 (* -1 t))) into (- (* 0.5 (/ t y)) (* 0.5 (/ t z))) 5.974 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t y)) (* 0.5 (/ t z))) in y 5.974 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y 5.974 * [taylor]: Taking taylor expansion of 0.5 in y 5.974 * [backup-simplify]: Simplify 0.5 into 0.5 5.975 * [taylor]: Taking taylor expansion of (/ t y) in y 5.975 * [taylor]: Taking taylor expansion of t in y 5.975 * [backup-simplify]: Simplify t into t 5.975 * [taylor]: Taking taylor expansion of y in y 5.975 * [backup-simplify]: Simplify 0 into 0 5.975 * [backup-simplify]: Simplify 1 into 1 5.975 * [backup-simplify]: Simplify (/ t 1) into t 5.975 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y 5.975 * [taylor]: Taking taylor expansion of 0.5 in y 5.975 * [backup-simplify]: Simplify 0.5 into 0.5 5.975 * [taylor]: Taking taylor expansion of (/ t z) in y 5.975 * [taylor]: Taking taylor expansion of t in y 5.975 * [backup-simplify]: Simplify t into t 5.975 * [taylor]: Taking taylor expansion of z in y 5.975 * [backup-simplify]: Simplify z into z 5.975 * [backup-simplify]: Simplify (/ t z) into (/ t z) 5.975 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t) 5.975 * [backup-simplify]: Simplify (+ (* 0.5 t) 0) into (* 0.5 t) 5.975 * [taylor]: Taking taylor expansion of (* 0.5 t) in z 5.975 * [taylor]: Taking taylor expansion of 0.5 in z 5.975 * [backup-simplify]: Simplify 0.5 into 0.5 5.975 * [taylor]: Taking taylor expansion of t in z 5.975 * [backup-simplify]: Simplify t into t 5.975 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t) 5.975 * [taylor]: Taking taylor expansion of (* 0.5 t) in z 5.976 * [taylor]: Taking taylor expansion of 0.5 in z 5.976 * [backup-simplify]: Simplify 0.5 into 0.5 5.976 * [taylor]: Taking taylor expansion of t in z 5.976 * [backup-simplify]: Simplify t into t 5.976 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 5.977 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.977 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.977 * [backup-simplify]: Simplify (+ 0 0) into 0 5.978 * [backup-simplify]: Simplify (- 0) into 0 5.978 * [backup-simplify]: Simplify (+ 0 0) into 0 5.979 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 (- (/ 1 z) (/ 1 y))) (* 0 -1))) into 0 5.982 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 (- (/ t z) (/ t y))) (* 0 (* -1 t)))) into 0 5.982 * [taylor]: Taking taylor expansion of 0 in y 5.982 * [backup-simplify]: Simplify 0 into 0 5.983 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0 5.984 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0 5.984 * [backup-simplify]: Simplify (* 0.5 (/ t z)) into (* 0.5 (/ t z)) 5.984 * [backup-simplify]: Simplify (- (* 0.5 (/ t z))) into (- (* 0.5 (/ t z))) 5.984 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ t z)))) into (- (* 0.5 (/ t z))) 5.984 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t z))) in z 5.984 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z 5.984 * [taylor]: Taking taylor expansion of 0.5 in z 5.984 * [backup-simplify]: Simplify 0.5 into 0.5 5.984 * [taylor]: Taking taylor expansion of (/ t z) in z 5.984 * [taylor]: Taking taylor expansion of t in z 5.984 * [backup-simplify]: Simplify t into t 5.984 * [taylor]: Taking taylor expansion of z in z 5.985 * [backup-simplify]: Simplify 0 into 0 5.985 * [backup-simplify]: Simplify 1 into 1 5.985 * [backup-simplify]: Simplify (/ t 1) into t 5.985 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t) 5.985 * [backup-simplify]: Simplify (- (* 0.5 t)) into (- (* 0.5 t)) 5.985 * [taylor]: Taking taylor expansion of (- (* 0.5 t)) in t 5.985 * [taylor]: Taking taylor expansion of (* 0.5 t) in t 5.985 * [taylor]: Taking taylor expansion of 0.5 in t 5.985 * [backup-simplify]: Simplify 0.5 into 0.5 5.985 * [taylor]: Taking taylor expansion of t in t 5.985 * [backup-simplify]: Simplify 0 into 0 5.985 * [backup-simplify]: Simplify 1 into 1 5.985 * [backup-simplify]: Simplify (* 0.5 0) into 0 5.986 * [backup-simplify]: Simplify (- 0) into 0 5.986 * [backup-simplify]: Simplify 0 into 0 5.986 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0 5.986 * [taylor]: Taking taylor expansion of 0 in z 5.987 * [backup-simplify]: Simplify 0 into 0 5.987 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t) 5.987 * [taylor]: Taking taylor expansion of (* 0.5 t) in t 5.987 * [taylor]: Taking taylor expansion of 0.5 in t 5.987 * [backup-simplify]: Simplify 0.5 into 0.5 5.987 * [taylor]: Taking taylor expansion of t in t 5.987 * [backup-simplify]: Simplify 0 into 0 5.987 * [backup-simplify]: Simplify 1 into 1 5.987 * [backup-simplify]: Simplify (* 0.5 0) into 0 5.987 * [backup-simplify]: Simplify 0 into 0 5.987 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t) 5.987 * [taylor]: Taking taylor expansion of (* 0.5 t) in t 5.987 * [taylor]: Taking taylor expansion of 0.5 in t 5.987 * [backup-simplify]: Simplify 0.5 into 0.5 5.988 * [taylor]: Taking taylor expansion of t in t 5.988 * [backup-simplify]: Simplify 0 into 0 5.988 * [backup-simplify]: Simplify 1 into 1 5.988 * [backup-simplify]: Simplify (* 0.5 0) into 0 5.988 * [backup-simplify]: Simplify 0 into 0 5.988 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 5.989 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.990 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.990 * [backup-simplify]: Simplify (+ 0 0) into 0 5.990 * [backup-simplify]: Simplify (- 0) into 0 5.991 * [backup-simplify]: Simplify (+ 0 0) into 0 5.992 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 (- (/ 1 z) (/ 1 y))) (* 0 -1)))) into 0 5.993 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 0) (+ (* 0 (- (/ t z) (/ t y))) (* 0 (* -1 t))))) into 0 5.993 * [taylor]: Taking taylor expansion of 0 in y 5.993 * [backup-simplify]: Simplify 0 into 0 5.993 * [taylor]: Taking taylor expansion of 0 in z 5.993 * [backup-simplify]: Simplify 0 into 0 5.994 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.995 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0 5.995 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0 5.996 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ t z))) into 0 5.996 * [backup-simplify]: Simplify (- 0) into 0 5.997 * [backup-simplify]: Simplify (+ 0 0) into 0 5.997 * [taylor]: Taking taylor expansion of 0 in z 5.997 * [backup-simplify]: Simplify 0 into 0 5.998 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0 5.998 * [taylor]: Taking taylor expansion of 0 in z 5.998 * [backup-simplify]: Simplify 0 into 0 5.999 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0 5.999 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0 6.000 * [backup-simplify]: Simplify (- 0) into 0 6.000 * [taylor]: Taking taylor expansion of 0 in t 6.000 * [backup-simplify]: Simplify 0 into 0 6.000 * [backup-simplify]: Simplify 0 into 0 6.000 * [taylor]: Taking taylor expansion of 0 in t 6.000 * [backup-simplify]: Simplify 0 into 0 6.000 * [backup-simplify]: Simplify 0 into 0 6.001 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0 6.001 * [taylor]: Taking taylor expansion of 0 in t 6.001 * [backup-simplify]: Simplify 0 into 0 6.001 * [backup-simplify]: Simplify 0 into 0 6.001 * [backup-simplify]: Simplify 0 into 0 6.001 * * * [progress]: simplifying candidates 6.003 * [simplify]: Simplifying: (- (log (- (+ x y) z)) (+ (log t) (log 2.0))) (- (log (- (+ x y) z)) (log (* t 2.0))) (log (/ (- (+ x y) z) (* t 2.0))) (exp (/ (- (+ x y) z) (* t 2.0))) (/ (* (* (- (+ x y) z) (- (+ x y) z)) (- (+ x y) z)) (* (* (* t t) t) (* (* 2.0 2.0) 2.0))) (/ (* (* (- (+ x y) z) (- (+ x y) z)) (- (+ x y) z)) (* (* (* t 2.0) (* t 2.0)) (* t 2.0))) (* (cbrt (/ (- (+ x y) z) (* t 2.0))) (cbrt (/ (- (+ x y) z) (* t 2.0)))) (cbrt (/ (- (+ x y) z) (* t 2.0))) (* (* (/ (- (+ x y) z) (* t 2.0)) (/ (- (+ x y) z) (* t 2.0))) (/ (- (+ x y) z) (* t 2.0))) (sqrt (/ (- (+ x y) z) (* t 2.0))) (sqrt (/ (- (+ x y) z) (* t 2.0))) (- (- (+ x y) z)) (- (* t 2.0)) (/ (+ x y) (* t 2.0)) (/ z (* t 2.0)) (/ (* (cbrt (- (+ x y) z)) (cbrt (- (+ x y) z))) t) (/ (cbrt (- (+ x y) z)) 2.0) (/ (sqrt (- (+ x y) z)) t) (/ (sqrt (- (+ x y) z)) 2.0) (/ 1 t) (/ (- (+ x y) z) 2.0) (/ (+ (sqrt (+ x y)) (sqrt z)) t) (/ (- (sqrt (+ x y)) (sqrt z)) 2.0) (/ 1 t) (/ (- (+ x y) z) 2.0) (/ 1 t) (/ (- (+ x y) z) 2.0) (/ 1 (* t 2.0)) (/ (* t 2.0) (- (+ x y) z)) (/ (- (+ x y) z) t) (/ (* t 2.0) (cbrt (- (+ x y) z))) (/ (* t 2.0) (sqrt (- (+ x y) z))) (/ (* t 2.0) (- (+ x y) z)) (/ (* t 2.0) (- (sqrt (+ x y)) (sqrt z))) (/ (* t 2.0) (- (+ x y) z)) (/ (* t 2.0) (- (+ x y) z)) (* (* t 2.0) (+ (* (+ x y) (+ x y)) (+ (* z z) (* (+ x y) z)))) (* (* t 2.0) (+ (+ x y) z)) (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t))) 0 0 6.004 * * [simplify]: Extracting # 0 : cost 32 inf + 0 6.004 * * [simplify]: Extracting # 1 : cost 55 inf + 1 6.004 * * [simplify]: Extracting # 2 : cost 67 inf + 5 6.005 * * [simplify]: Extracting # 3 : cost 60 inf + 677 6.006 * * [simplify]: Extracting # 4 : cost 27 inf + 4992 6.008 * * [simplify]: Extracting # 5 : cost 5 inf + 9325 6.010 * * [simplify]: Extracting # 6 : cost 0 inf + 10786 6.012 * * [simplify]: iteration 0 : 78 enodes (cost 7538 ) 6.042 * * [simplify]: Extracting # 0 : cost 0 inf + 10786 6.045 * * [simplify]: Extracting # 1 : cost 50 inf + 10466 6.049 * * [simplify]: Extracting # 2 : cost 0 inf + 17351 6.055 * * [simplify]: Extracting # 3 : cost 0 inf + 17271 6.060 * * [simplify]: iteration 1 : 201 enodes (cost 7248 ) 6.152 * * [simplify]: Extracting # 0 : cost 0 inf + 17271 6.156 * * [simplify]: Extracting # 1 : cost 181 inf + 16751 6.165 * * [simplify]: Extracting # 2 : cost 0 inf + 46556 6.185 * * [simplify]: Extracting # 3 : cost 0 inf + 46476 6.208 * * [simplify]: iteration 2 : 667 enodes (cost 6968 ) 6.713 * * [simplify]: Extracting # 0 : cost 0 inf + 46476 6.759 * * [simplify]: Extracting # 1 : cost 772 inf + 45326 6.853 * * [simplify]: Extracting # 2 : cost 6 inf + 193327 6.966 * * [simplify]: Extracting # 3 : cost 0 inf + 193555 7.071 * * [simplify]: iteration 3 : 3129 enodes (cost 6968 ) 8.085 * * [simplify]: Extracting # 0 : cost 0 inf + 193555 8.210 * * [simplify]: Extracting # 1 : cost 824 inf + 192224 8.346 * * [simplify]: Extracting # 2 : cost 26 inf + 377025 8.541 * * [simplify]: Extracting # 3 : cost 25 inf + 377026 8.732 * * [simplify]: Extracting # 4 : cost 8 inf + 378244 8.886 * * [simplify]: Extracting # 5 : cost 0 inf + 380760 9.041 * * [simplify]: iteration complete: 5002 enodes (cost 6968 ) 9.042 * [simplify]: Simplified to: (log (/ (- (+ x y) z) (* t 2.0))) (log (/ (- (+ x y) z) (* t 2.0))) (log (/ (- (+ x y) z) (* t 2.0))) (exp (/ (- (+ x y) z) (* t 2.0))) (* (* (/ (- (+ x y) z) (* t 2.0)) (/ (- (+ x y) z) (* t 2.0))) (/ (- (+ x y) z) (* t 2.0))) (* (* (/ (- (+ x y) z) (* t 2.0)) (/ (- (+ x y) z) (* t 2.0))) (/ (- (+ x y) z) (* t 2.0))) (* (cbrt (/ (- (+ x y) z) (* t 2.0))) (cbrt (/ (- (+ x y) z) (* t 2.0)))) (cbrt (/ (- (+ x y) z) (* t 2.0))) (* (* (/ (- (+ x y) z) (* t 2.0)) (/ (- (+ x y) z) (* t 2.0))) (/ (- (+ x y) z) (* t 2.0))) (sqrt (/ (- (+ x y) z) (* t 2.0))) (sqrt (/ (- (+ x y) z) (* t 2.0))) (- (- (+ x y) z)) (- (* t 2.0)) (/ (+ x y) (* t 2.0)) (/ z (* t 2.0)) (/ (* (cbrt (- (+ x y) z)) (cbrt (- (+ x y) z))) t) (/ (cbrt (- (+ x y) z)) 2.0) (/ (sqrt (- (+ x y) z)) t) (/ (sqrt (- (+ x y) z)) 2.0) (/ 1 t) (/ (- (+ x y) z) 2.0) (/ (+ (sqrt (+ x y)) (sqrt z)) t) (/ (- (sqrt (+ x y)) (sqrt z)) 2.0) (/ 1 t) (/ (- (+ x y) z) 2.0) (/ 1 t) (/ (- (+ x y) z) 2.0) (/ 1 (* t 2.0)) (/ (* t 2.0) (- (+ x y) z)) (/ (- (+ x y) z) t) (/ (* t 2.0) (cbrt (- (+ x y) z))) (/ (* t 2.0) (sqrt (- (+ x y) z))) (/ (* t 2.0) (- (+ x y) z)) (/ (* t 2.0) (- (sqrt (+ x y)) (sqrt z))) (/ (* t 2.0) (- (+ x y) z)) (/ (* t 2.0) (- (+ x y) z)) (* (+ (* (+ x y) (+ x y)) (* z (+ (+ x y) z))) (* t 2.0)) (* (* t 2.0) (+ (+ x y) z)) (* 0.5 (- (+ (/ y t) (/ x t)) (/ z t))) 0 0 9.043 * * * [progress]: adding candidates to table 9.529 * * [progress]: iteration 2 / 4 9.529 * * * [progress]: picking best candidate 9.545 * * * * [pick]: Picked # 9.545 * * * [progress]: localizing error 9.565 * * * [progress]: generating rewritten candidates 9.565 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 9.822 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1) 9.846 * * * [progress]: generating series expansions 9.846 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 9.846 * [backup-simplify]: Simplify (- (+ (/ y t) (/ x t)) (/ z t)) into (- (+ (/ y t) (/ x t)) (/ z t)) 9.846 * [approximate]: Taking taylor expansion of (- (+ (/ y t) (/ x t)) (/ z t)) in (y t x z) around 0 9.847 * [taylor]: Taking taylor expansion of (- (+ (/ y t) (/ x t)) (/ z t)) in z 9.847 * [taylor]: Taking taylor expansion of (+ (/ y t) (/ x t)) in z 9.847 * [taylor]: Taking taylor expansion of (/ y t) in z 9.847 * [taylor]: Taking taylor expansion of y in z 9.847 * [backup-simplify]: Simplify y into y 9.847 * [taylor]: Taking taylor expansion of t in z 9.847 * [backup-simplify]: Simplify t into t 9.847 * [backup-simplify]: Simplify (/ y t) into (/ y t) 9.847 * [taylor]: Taking taylor expansion of (/ x t) in z 9.847 * [taylor]: Taking taylor expansion of x in z 9.847 * [backup-simplify]: Simplify x into x 9.847 * [taylor]: Taking taylor expansion of t in z 9.847 * [backup-simplify]: Simplify t into t 9.847 * [backup-simplify]: Simplify (/ x t) into (/ x t) 9.847 * [taylor]: Taking taylor expansion of (/ z t) in z 9.847 * [taylor]: Taking taylor expansion of z in z 9.847 * [backup-simplify]: Simplify 0 into 0 9.847 * [backup-simplify]: Simplify 1 into 1 9.847 * [taylor]: Taking taylor expansion of t in z 9.847 * [backup-simplify]: Simplify t into t 9.847 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 9.847 * [taylor]: Taking taylor expansion of (- (+ (/ y t) (/ x t)) (/ z t)) in x 9.847 * [taylor]: Taking taylor expansion of (+ (/ y t) (/ x t)) in x 9.847 * [taylor]: Taking taylor expansion of (/ y t) in x 9.847 * [taylor]: Taking taylor expansion of y in x 9.847 * [backup-simplify]: Simplify y into y 9.847 * [taylor]: Taking taylor expansion of t in x 9.847 * [backup-simplify]: Simplify t into t 9.847 * [backup-simplify]: Simplify (/ y t) into (/ y t) 9.847 * [taylor]: Taking taylor expansion of (/ x t) in x 9.847 * [taylor]: Taking taylor expansion of x in x 9.847 * [backup-simplify]: Simplify 0 into 0 9.847 * [backup-simplify]: Simplify 1 into 1 9.847 * [taylor]: Taking taylor expansion of t in x 9.847 * [backup-simplify]: Simplify t into t 9.847 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 9.847 * [taylor]: Taking taylor expansion of (/ z t) in x 9.847 * [taylor]: Taking taylor expansion of z in x 9.847 * [backup-simplify]: Simplify z into z 9.847 * [taylor]: Taking taylor expansion of t in x 9.847 * [backup-simplify]: Simplify t into t 9.847 * [backup-simplify]: Simplify (/ z t) into (/ z t) 9.847 * [taylor]: Taking taylor expansion of (- (+ (/ y t) (/ x t)) (/ z t)) in t 9.847 * [taylor]: Taking taylor expansion of (+ (/ y t) (/ x t)) in t 9.847 * [taylor]: Taking taylor expansion of (/ y t) in t 9.847 * [taylor]: Taking taylor expansion of y in t 9.847 * [backup-simplify]: Simplify y into y 9.847 * [taylor]: Taking taylor expansion of t in t 9.847 * [backup-simplify]: Simplify 0 into 0 9.847 * [backup-simplify]: Simplify 1 into 1 9.847 * [backup-simplify]: Simplify (/ y 1) into y 9.847 * [taylor]: Taking taylor expansion of (/ x t) in t 9.847 * [taylor]: Taking taylor expansion of x in t 9.847 * [backup-simplify]: Simplify x into x 9.847 * [taylor]: Taking taylor expansion of t in t 9.847 * [backup-simplify]: Simplify 0 into 0 9.847 * [backup-simplify]: Simplify 1 into 1 9.848 * [backup-simplify]: Simplify (/ x 1) into x 9.848 * [taylor]: Taking taylor expansion of (/ z t) in t 9.848 * [taylor]: Taking taylor expansion of z in t 9.848 * [backup-simplify]: Simplify z into z 9.848 * [taylor]: Taking taylor expansion of t in t 9.848 * [backup-simplify]: Simplify 0 into 0 9.848 * [backup-simplify]: Simplify 1 into 1 9.848 * [backup-simplify]: Simplify (/ z 1) into z 9.848 * [taylor]: Taking taylor expansion of (- (+ (/ y t) (/ x t)) (/ z t)) in y 9.848 * [taylor]: Taking taylor expansion of (+ (/ y t) (/ x t)) in y 9.848 * [taylor]: Taking taylor expansion of (/ y t) in y 9.848 * [taylor]: Taking taylor expansion of y in y 9.848 * [backup-simplify]: Simplify 0 into 0 9.848 * [backup-simplify]: Simplify 1 into 1 9.848 * [taylor]: Taking taylor expansion of t in y 9.848 * [backup-simplify]: Simplify t into t 9.848 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 9.848 * [taylor]: Taking taylor expansion of (/ x t) in y 9.848 * [taylor]: Taking taylor expansion of x in y 9.848 * [backup-simplify]: Simplify x into x 9.848 * [taylor]: Taking taylor expansion of t in y 9.848 * [backup-simplify]: Simplify t into t 9.848 * [backup-simplify]: Simplify (/ x t) into (/ x t) 9.848 * [taylor]: Taking taylor expansion of (/ z t) in y 9.848 * [taylor]: Taking taylor expansion of z in y 9.848 * [backup-simplify]: Simplify z into z 9.848 * [taylor]: Taking taylor expansion of t in y 9.848 * [backup-simplify]: Simplify t into t 9.848 * [backup-simplify]: Simplify (/ z t) into (/ z t) 9.848 * [taylor]: Taking taylor expansion of (- (+ (/ y t) (/ x t)) (/ z t)) in y 9.848 * [taylor]: Taking taylor expansion of (+ (/ y t) (/ x t)) in y 9.848 * [taylor]: Taking taylor expansion of (/ y t) in y 9.848 * [taylor]: Taking taylor expansion of y in y 9.848 * [backup-simplify]: Simplify 0 into 0 9.848 * [backup-simplify]: Simplify 1 into 1 9.848 * [taylor]: Taking taylor expansion of t in y 9.848 * [backup-simplify]: Simplify t into t 9.848 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 9.848 * [taylor]: Taking taylor expansion of (/ x t) in y 9.848 * [taylor]: Taking taylor expansion of x in y 9.848 * [backup-simplify]: Simplify x into x 9.848 * [taylor]: Taking taylor expansion of t in y 9.848 * [backup-simplify]: Simplify t into t 9.848 * [backup-simplify]: Simplify (/ x t) into (/ x t) 9.848 * [taylor]: Taking taylor expansion of (/ z t) in y 9.848 * [taylor]: Taking taylor expansion of z in y 9.848 * [backup-simplify]: Simplify z into z 9.848 * [taylor]: Taking taylor expansion of t in y 9.848 * [backup-simplify]: Simplify t into t 9.848 * [backup-simplify]: Simplify (/ z t) into (/ z t) 9.849 * [backup-simplify]: Simplify (+ 0 (/ x t)) into (/ x t) 9.849 * [backup-simplify]: Simplify (- (/ z t)) into (- (/ z t)) 9.849 * [backup-simplify]: Simplify (+ (/ x t) (- (/ z t))) into (- (/ x t) (/ z t)) 9.849 * [taylor]: Taking taylor expansion of (- (/ x t) (/ z t)) in t 9.849 * [taylor]: Taking taylor expansion of (/ x t) in t 9.849 * [taylor]: Taking taylor expansion of x in t 9.849 * [backup-simplify]: Simplify x into x 9.849 * [taylor]: Taking taylor expansion of t in t 9.849 * [backup-simplify]: Simplify 0 into 0 9.849 * [backup-simplify]: Simplify 1 into 1 9.849 * [backup-simplify]: Simplify (/ x 1) into x 9.849 * [taylor]: Taking taylor expansion of (/ z t) in t 9.849 * [taylor]: Taking taylor expansion of z in t 9.849 * [backup-simplify]: Simplify z into z 9.849 * [taylor]: Taking taylor expansion of t in t 9.849 * [backup-simplify]: Simplify 0 into 0 9.849 * [backup-simplify]: Simplify 1 into 1 9.849 * [backup-simplify]: Simplify (/ z 1) into z 9.849 * [backup-simplify]: Simplify (- z) into (- z) 9.849 * [backup-simplify]: Simplify (+ x (- z)) into (- x z) 9.849 * [taylor]: Taking taylor expansion of (- x z) in x 9.849 * [taylor]: Taking taylor expansion of x in x 9.849 * [backup-simplify]: Simplify 0 into 0 9.849 * [backup-simplify]: Simplify 1 into 1 9.849 * [taylor]: Taking taylor expansion of z in x 9.849 * [backup-simplify]: Simplify z into z 9.849 * [backup-simplify]: Simplify (- z) into (- z) 9.849 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 9.849 * [taylor]: Taking taylor expansion of (- z) in z 9.849 * [taylor]: Taking taylor expansion of z in z 9.849 * [backup-simplify]: Simplify 0 into 0 9.849 * [backup-simplify]: Simplify 1 into 1 9.850 * [backup-simplify]: Simplify (- 0) into 0 9.850 * [backup-simplify]: Simplify 0 into 0 9.850 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ x t) (/ 0 t)))) into 0 9.850 * [backup-simplify]: Simplify (+ (/ 1 t) 0) into (/ 1 t) 9.850 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ z t) (/ 0 t)))) into 0 9.850 * [backup-simplify]: Simplify (- 0) into 0 9.850 * [backup-simplify]: Simplify (+ (/ 1 t) 0) into (/ 1 t) 9.850 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.850 * [taylor]: Taking taylor expansion of t in t 9.850 * [backup-simplify]: Simplify 0 into 0 9.850 * [backup-simplify]: Simplify 1 into 1 9.851 * [backup-simplify]: Simplify (/ 1 1) into 1 9.851 * [taylor]: Taking taylor expansion of 1 in x 9.851 * [backup-simplify]: Simplify 1 into 1 9.851 * [taylor]: Taking taylor expansion of 1 in z 9.851 * [backup-simplify]: Simplify 1 into 1 9.851 * [backup-simplify]: Simplify 1 into 1 9.851 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0 9.852 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 9.852 * [backup-simplify]: Simplify (- 0) into 0 9.852 * [backup-simplify]: Simplify (+ 0 0) into 0 9.852 * [taylor]: Taking taylor expansion of 0 in x 9.852 * [backup-simplify]: Simplify 0 into 0 9.853 * [taylor]: Taking taylor expansion of 0 in z 9.853 * [backup-simplify]: Simplify 0 into 0 9.853 * [backup-simplify]: Simplify 0 into 0 9.853 * [backup-simplify]: Simplify (- 0) into 0 9.853 * [backup-simplify]: Simplify (+ 1 0) into 1 9.853 * [taylor]: Taking taylor expansion of 1 in z 9.853 * [backup-simplify]: Simplify 1 into 1 9.853 * [backup-simplify]: Simplify 1 into 1 9.853 * [backup-simplify]: Simplify (- 1) into -1 9.853 * [backup-simplify]: Simplify -1 into -1 9.854 * [backup-simplify]: Simplify (+ (* -1 (* z (* 1 (* (/ 1 t) 1)))) (+ (* 1 (* 1 (* x (* (/ 1 t) 1)))) (* 1 (* 1 (* 1 (* (/ 1 t) y)))))) into (- (+ (/ y t) (/ x t)) (/ z t)) 9.854 * [backup-simplify]: Simplify (- (+ (/ (/ 1 y) (/ 1 t)) (/ (/ 1 x) (/ 1 t))) (/ (/ 1 z) (/ 1 t))) into (- (+ (/ t y) (/ t x)) (/ t z)) 9.854 * [approximate]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in (y t x z) around 0 9.854 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in z 9.854 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in z 9.854 * [taylor]: Taking taylor expansion of (/ t y) in z 9.854 * [taylor]: Taking taylor expansion of t in z 9.854 * [backup-simplify]: Simplify t into t 9.854 * [taylor]: Taking taylor expansion of y in z 9.854 * [backup-simplify]: Simplify y into y 9.854 * [backup-simplify]: Simplify (/ t y) into (/ t y) 9.854 * [taylor]: Taking taylor expansion of (/ t x) in z 9.854 * [taylor]: Taking taylor expansion of t in z 9.854 * [backup-simplify]: Simplify t into t 9.854 * [taylor]: Taking taylor expansion of x in z 9.854 * [backup-simplify]: Simplify x into x 9.854 * [backup-simplify]: Simplify (/ t x) into (/ t x) 9.854 * [taylor]: Taking taylor expansion of (/ t z) in z 9.854 * [taylor]: Taking taylor expansion of t in z 9.854 * [backup-simplify]: Simplify t into t 9.854 * [taylor]: Taking taylor expansion of z in z 9.854 * [backup-simplify]: Simplify 0 into 0 9.854 * [backup-simplify]: Simplify 1 into 1 9.854 * [backup-simplify]: Simplify (/ t 1) into t 9.854 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in x 9.854 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in x 9.854 * [taylor]: Taking taylor expansion of (/ t y) in x 9.854 * [taylor]: Taking taylor expansion of t in x 9.854 * [backup-simplify]: Simplify t into t 9.854 * [taylor]: Taking taylor expansion of y in x 9.854 * [backup-simplify]: Simplify y into y 9.854 * [backup-simplify]: Simplify (/ t y) into (/ t y) 9.854 * [taylor]: Taking taylor expansion of (/ t x) in x 9.854 * [taylor]: Taking taylor expansion of t in x 9.854 * [backup-simplify]: Simplify t into t 9.854 * [taylor]: Taking taylor expansion of x in x 9.855 * [backup-simplify]: Simplify 0 into 0 9.855 * [backup-simplify]: Simplify 1 into 1 9.855 * [backup-simplify]: Simplify (/ t 1) into t 9.855 * [taylor]: Taking taylor expansion of (/ t z) in x 9.855 * [taylor]: Taking taylor expansion of t in x 9.855 * [backup-simplify]: Simplify t into t 9.855 * [taylor]: Taking taylor expansion of z in x 9.855 * [backup-simplify]: Simplify z into z 9.855 * [backup-simplify]: Simplify (/ t z) into (/ t z) 9.855 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in t 9.855 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in t 9.855 * [taylor]: Taking taylor expansion of (/ t y) in t 9.855 * [taylor]: Taking taylor expansion of t in t 9.855 * [backup-simplify]: Simplify 0 into 0 9.855 * [backup-simplify]: Simplify 1 into 1 9.855 * [taylor]: Taking taylor expansion of y in t 9.855 * [backup-simplify]: Simplify y into y 9.855 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.855 * [taylor]: Taking taylor expansion of (/ t x) in t 9.855 * [taylor]: Taking taylor expansion of t in t 9.855 * [backup-simplify]: Simplify 0 into 0 9.855 * [backup-simplify]: Simplify 1 into 1 9.855 * [taylor]: Taking taylor expansion of x in t 9.855 * [backup-simplify]: Simplify x into x 9.855 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.855 * [taylor]: Taking taylor expansion of (/ t z) in t 9.855 * [taylor]: Taking taylor expansion of t in t 9.855 * [backup-simplify]: Simplify 0 into 0 9.855 * [backup-simplify]: Simplify 1 into 1 9.855 * [taylor]: Taking taylor expansion of z in t 9.855 * [backup-simplify]: Simplify z into z 9.855 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.855 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in y 9.855 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in y 9.855 * [taylor]: Taking taylor expansion of (/ t y) in y 9.855 * [taylor]: Taking taylor expansion of t in y 9.855 * [backup-simplify]: Simplify t into t 9.855 * [taylor]: Taking taylor expansion of y in y 9.855 * [backup-simplify]: Simplify 0 into 0 9.855 * [backup-simplify]: Simplify 1 into 1 9.855 * [backup-simplify]: Simplify (/ t 1) into t 9.855 * [taylor]: Taking taylor expansion of (/ t x) in y 9.855 * [taylor]: Taking taylor expansion of t in y 9.855 * [backup-simplify]: Simplify t into t 9.855 * [taylor]: Taking taylor expansion of x in y 9.855 * [backup-simplify]: Simplify x into x 9.855 * [backup-simplify]: Simplify (/ t x) into (/ t x) 9.855 * [taylor]: Taking taylor expansion of (/ t z) in y 9.855 * [taylor]: Taking taylor expansion of t in y 9.855 * [backup-simplify]: Simplify t into t 9.855 * [taylor]: Taking taylor expansion of z in y 9.855 * [backup-simplify]: Simplify z into z 9.855 * [backup-simplify]: Simplify (/ t z) into (/ t z) 9.855 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in y 9.855 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in y 9.856 * [taylor]: Taking taylor expansion of (/ t y) in y 9.856 * [taylor]: Taking taylor expansion of t in y 9.856 * [backup-simplify]: Simplify t into t 9.856 * [taylor]: Taking taylor expansion of y in y 9.856 * [backup-simplify]: Simplify 0 into 0 9.856 * [backup-simplify]: Simplify 1 into 1 9.856 * [backup-simplify]: Simplify (/ t 1) into t 9.856 * [taylor]: Taking taylor expansion of (/ t x) in y 9.856 * [taylor]: Taking taylor expansion of t in y 9.856 * [backup-simplify]: Simplify t into t 9.856 * [taylor]: Taking taylor expansion of x in y 9.856 * [backup-simplify]: Simplify x into x 9.856 * [backup-simplify]: Simplify (/ t x) into (/ t x) 9.856 * [taylor]: Taking taylor expansion of (/ t z) in y 9.856 * [taylor]: Taking taylor expansion of t in y 9.856 * [backup-simplify]: Simplify t into t 9.856 * [taylor]: Taking taylor expansion of z in y 9.856 * [backup-simplify]: Simplify z into z 9.856 * [backup-simplify]: Simplify (/ t z) into (/ t z) 9.856 * [backup-simplify]: Simplify (+ t 0) into t 9.856 * [backup-simplify]: Simplify (+ t 0) into t 9.856 * [taylor]: Taking taylor expansion of t in t 9.856 * [backup-simplify]: Simplify 0 into 0 9.856 * [backup-simplify]: Simplify 1 into 1 9.856 * [taylor]: Taking taylor expansion of 1 in x 9.856 * [backup-simplify]: Simplify 1 into 1 9.857 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0 9.857 * [backup-simplify]: Simplify (+ 0 (/ t x)) into (/ t x) 9.857 * [backup-simplify]: Simplify (- (/ t z)) into (- (/ t z)) 9.857 * [backup-simplify]: Simplify (+ (/ t x) (- (/ t z))) into (- (/ t x) (/ t z)) 9.857 * [taylor]: Taking taylor expansion of (- (/ t x) (/ t z)) in t 9.857 * [taylor]: Taking taylor expansion of (/ t x) in t 9.857 * [taylor]: Taking taylor expansion of t in t 9.857 * [backup-simplify]: Simplify 0 into 0 9.857 * [backup-simplify]: Simplify 1 into 1 9.857 * [taylor]: Taking taylor expansion of x in t 9.857 * [backup-simplify]: Simplify x into x 9.857 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.857 * [taylor]: Taking taylor expansion of (/ t z) in t 9.857 * [taylor]: Taking taylor expansion of t in t 9.857 * [backup-simplify]: Simplify 0 into 0 9.857 * [backup-simplify]: Simplify 1 into 1 9.857 * [taylor]: Taking taylor expansion of z in t 9.857 * [backup-simplify]: Simplify z into z 9.857 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.857 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 9.857 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z)) 9.857 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 9.857 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.857 * [taylor]: Taking taylor expansion of x in x 9.857 * [backup-simplify]: Simplify 0 into 0 9.857 * [backup-simplify]: Simplify 1 into 1 9.858 * [backup-simplify]: Simplify (/ 1 1) into 1 9.858 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.858 * [taylor]: Taking taylor expansion of z in x 9.858 * [backup-simplify]: Simplify z into z 9.858 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.858 * [backup-simplify]: Simplify (+ 1 0) into 1 9.858 * [taylor]: Taking taylor expansion of 1 in z 9.858 * [backup-simplify]: Simplify 1 into 1 9.858 * [taylor]: Taking taylor expansion of 0 in x 9.858 * [backup-simplify]: Simplify 0 into 0 9.858 * [taylor]: Taking taylor expansion of 1 in z 9.858 * [backup-simplify]: Simplify 1 into 1 9.859 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.859 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ t x) (/ 0 x)))) into 0 9.859 * [backup-simplify]: Simplify (+ 0 0) into 0 9.859 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0 9.860 * [backup-simplify]: Simplify (- 0) into 0 9.860 * [backup-simplify]: Simplify (+ 0 0) into 0 9.860 * [taylor]: Taking taylor expansion of 0 in t 9.860 * [backup-simplify]: Simplify 0 into 0 9.860 * [taylor]: Taking taylor expansion of 0 in x 9.860 * [backup-simplify]: Simplify 0 into 0 9.860 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0 9.861 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 9.861 * [backup-simplify]: Simplify (- 0) into 0 9.861 * [backup-simplify]: Simplify (+ 0 0) into 0 9.861 * [taylor]: Taking taylor expansion of 0 in x 9.861 * [backup-simplify]: Simplify 0 into 0 9.861 * [taylor]: Taking taylor expansion of 0 in x 9.861 * [backup-simplify]: Simplify 0 into 0 9.862 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.862 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 9.862 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z)) 9.862 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 9.862 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.862 * [taylor]: Taking taylor expansion of z in z 9.863 * [backup-simplify]: Simplify 0 into 0 9.863 * [backup-simplify]: Simplify 1 into 1 9.863 * [backup-simplify]: Simplify (/ 1 1) into 1 9.863 * [backup-simplify]: Simplify (- 1) into -1 9.863 * [backup-simplify]: Simplify -1 into -1 9.863 * [taylor]: Taking taylor expansion of 0 in z 9.863 * [backup-simplify]: Simplify 0 into 0 9.863 * [taylor]: Taking taylor expansion of 0 in z 9.863 * [backup-simplify]: Simplify 0 into 0 9.863 * [backup-simplify]: Simplify 1 into 1 9.864 * [backup-simplify]: Simplify 1 into 1 9.864 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 t) (/ 1 (/ 1 y)))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 t) 1)))) (* -1 (* (/ 1 (/ 1 z)) (* 1 (* (/ 1 t) 1)))))) into (- (+ (/ y t) (/ x t)) (/ z t)) 9.865 * [backup-simplify]: Simplify (- (+ (/ (/ 1 (- y)) (/ 1 (- t))) (/ (/ 1 (- x)) (/ 1 (- t)))) (/ (/ 1 (- z)) (/ 1 (- t)))) into (- (+ (/ t y) (/ t x)) (/ t z)) 9.865 * [approximate]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in (y t x z) around 0 9.865 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in z 9.865 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in z 9.865 * [taylor]: Taking taylor expansion of (/ t y) in z 9.865 * [taylor]: Taking taylor expansion of t in z 9.865 * [backup-simplify]: Simplify t into t 9.865 * [taylor]: Taking taylor expansion of y in z 9.865 * [backup-simplify]: Simplify y into y 9.865 * [backup-simplify]: Simplify (/ t y) into (/ t y) 9.865 * [taylor]: Taking taylor expansion of (/ t x) in z 9.865 * [taylor]: Taking taylor expansion of t in z 9.865 * [backup-simplify]: Simplify t into t 9.865 * [taylor]: Taking taylor expansion of x in z 9.865 * [backup-simplify]: Simplify x into x 9.865 * [backup-simplify]: Simplify (/ t x) into (/ t x) 9.865 * [taylor]: Taking taylor expansion of (/ t z) in z 9.865 * [taylor]: Taking taylor expansion of t in z 9.865 * [backup-simplify]: Simplify t into t 9.865 * [taylor]: Taking taylor expansion of z in z 9.865 * [backup-simplify]: Simplify 0 into 0 9.865 * [backup-simplify]: Simplify 1 into 1 9.865 * [backup-simplify]: Simplify (/ t 1) into t 9.865 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in x 9.866 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in x 9.866 * [taylor]: Taking taylor expansion of (/ t y) in x 9.866 * [taylor]: Taking taylor expansion of t in x 9.866 * [backup-simplify]: Simplify t into t 9.866 * [taylor]: Taking taylor expansion of y in x 9.866 * [backup-simplify]: Simplify y into y 9.866 * [backup-simplify]: Simplify (/ t y) into (/ t y) 9.866 * [taylor]: Taking taylor expansion of (/ t x) in x 9.866 * [taylor]: Taking taylor expansion of t in x 9.866 * [backup-simplify]: Simplify t into t 9.866 * [taylor]: Taking taylor expansion of x in x 9.866 * [backup-simplify]: Simplify 0 into 0 9.866 * [backup-simplify]: Simplify 1 into 1 9.866 * [backup-simplify]: Simplify (/ t 1) into t 9.866 * [taylor]: Taking taylor expansion of (/ t z) in x 9.866 * [taylor]: Taking taylor expansion of t in x 9.866 * [backup-simplify]: Simplify t into t 9.866 * [taylor]: Taking taylor expansion of z in x 9.866 * [backup-simplify]: Simplify z into z 9.866 * [backup-simplify]: Simplify (/ t z) into (/ t z) 9.866 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in t 9.866 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in t 9.866 * [taylor]: Taking taylor expansion of (/ t y) in t 9.866 * [taylor]: Taking taylor expansion of t in t 9.866 * [backup-simplify]: Simplify 0 into 0 9.866 * [backup-simplify]: Simplify 1 into 1 9.866 * [taylor]: Taking taylor expansion of y in t 9.866 * [backup-simplify]: Simplify y into y 9.866 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.866 * [taylor]: Taking taylor expansion of (/ t x) in t 9.866 * [taylor]: Taking taylor expansion of t in t 9.866 * [backup-simplify]: Simplify 0 into 0 9.866 * [backup-simplify]: Simplify 1 into 1 9.866 * [taylor]: Taking taylor expansion of x in t 9.866 * [backup-simplify]: Simplify x into x 9.867 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.867 * [taylor]: Taking taylor expansion of (/ t z) in t 9.867 * [taylor]: Taking taylor expansion of t in t 9.867 * [backup-simplify]: Simplify 0 into 0 9.867 * [backup-simplify]: Simplify 1 into 1 9.867 * [taylor]: Taking taylor expansion of z in t 9.867 * [backup-simplify]: Simplify z into z 9.867 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.867 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in y 9.867 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in y 9.867 * [taylor]: Taking taylor expansion of (/ t y) in y 9.867 * [taylor]: Taking taylor expansion of t in y 9.867 * [backup-simplify]: Simplify t into t 9.867 * [taylor]: Taking taylor expansion of y in y 9.867 * [backup-simplify]: Simplify 0 into 0 9.867 * [backup-simplify]: Simplify 1 into 1 9.867 * [backup-simplify]: Simplify (/ t 1) into t 9.867 * [taylor]: Taking taylor expansion of (/ t x) in y 9.867 * [taylor]: Taking taylor expansion of t in y 9.867 * [backup-simplify]: Simplify t into t 9.867 * [taylor]: Taking taylor expansion of x in y 9.867 * [backup-simplify]: Simplify x into x 9.867 * [backup-simplify]: Simplify (/ t x) into (/ t x) 9.867 * [taylor]: Taking taylor expansion of (/ t z) in y 9.867 * [taylor]: Taking taylor expansion of t in y 9.867 * [backup-simplify]: Simplify t into t 9.867 * [taylor]: Taking taylor expansion of z in y 9.867 * [backup-simplify]: Simplify z into z 9.867 * [backup-simplify]: Simplify (/ t z) into (/ t z) 9.867 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in y 9.867 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in y 9.868 * [taylor]: Taking taylor expansion of (/ t y) in y 9.868 * [taylor]: Taking taylor expansion of t in y 9.868 * [backup-simplify]: Simplify t into t 9.868 * [taylor]: Taking taylor expansion of y in y 9.868 * [backup-simplify]: Simplify 0 into 0 9.868 * [backup-simplify]: Simplify 1 into 1 9.868 * [backup-simplify]: Simplify (/ t 1) into t 9.868 * [taylor]: Taking taylor expansion of (/ t x) in y 9.868 * [taylor]: Taking taylor expansion of t in y 9.868 * [backup-simplify]: Simplify t into t 9.868 * [taylor]: Taking taylor expansion of x in y 9.868 * [backup-simplify]: Simplify x into x 9.868 * [backup-simplify]: Simplify (/ t x) into (/ t x) 9.868 * [taylor]: Taking taylor expansion of (/ t z) in y 9.868 * [taylor]: Taking taylor expansion of t in y 9.868 * [backup-simplify]: Simplify t into t 9.868 * [taylor]: Taking taylor expansion of z in y 9.868 * [backup-simplify]: Simplify z into z 9.868 * [backup-simplify]: Simplify (/ t z) into (/ t z) 9.868 * [backup-simplify]: Simplify (+ t 0) into t 9.868 * [backup-simplify]: Simplify (+ t 0) into t 9.868 * [taylor]: Taking taylor expansion of t in t 9.868 * [backup-simplify]: Simplify 0 into 0 9.868 * [backup-simplify]: Simplify 1 into 1 9.868 * [taylor]: Taking taylor expansion of 1 in x 9.868 * [backup-simplify]: Simplify 1 into 1 9.871 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0 9.871 * [backup-simplify]: Simplify (+ 0 (/ t x)) into (/ t x) 9.871 * [backup-simplify]: Simplify (- (/ t z)) into (- (/ t z)) 9.871 * [backup-simplify]: Simplify (+ (/ t x) (- (/ t z))) into (- (/ t x) (/ t z)) 9.871 * [taylor]: Taking taylor expansion of (- (/ t x) (/ t z)) in t 9.871 * [taylor]: Taking taylor expansion of (/ t x) in t 9.871 * [taylor]: Taking taylor expansion of t in t 9.872 * [backup-simplify]: Simplify 0 into 0 9.872 * [backup-simplify]: Simplify 1 into 1 9.872 * [taylor]: Taking taylor expansion of x in t 9.872 * [backup-simplify]: Simplify x into x 9.872 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.872 * [taylor]: Taking taylor expansion of (/ t z) in t 9.872 * [taylor]: Taking taylor expansion of t in t 9.872 * [backup-simplify]: Simplify 0 into 0 9.872 * [backup-simplify]: Simplify 1 into 1 9.872 * [taylor]: Taking taylor expansion of z in t 9.872 * [backup-simplify]: Simplify z into z 9.872 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.872 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 9.872 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z)) 9.872 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 9.872 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.872 * [taylor]: Taking taylor expansion of x in x 9.872 * [backup-simplify]: Simplify 0 into 0 9.872 * [backup-simplify]: Simplify 1 into 1 9.873 * [backup-simplify]: Simplify (/ 1 1) into 1 9.873 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.873 * [taylor]: Taking taylor expansion of z in x 9.873 * [backup-simplify]: Simplify z into z 9.873 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.873 * [backup-simplify]: Simplify (+ 1 0) into 1 9.873 * [taylor]: Taking taylor expansion of 1 in z 9.873 * [backup-simplify]: Simplify 1 into 1 9.873 * [taylor]: Taking taylor expansion of 0 in x 9.874 * [backup-simplify]: Simplify 0 into 0 9.874 * [taylor]: Taking taylor expansion of 1 in z 9.874 * [backup-simplify]: Simplify 1 into 1 9.875 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.875 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ t x) (/ 0 x)))) into 0 9.875 * [backup-simplify]: Simplify (+ 0 0) into 0 9.876 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0 9.876 * [backup-simplify]: Simplify (- 0) into 0 9.876 * [backup-simplify]: Simplify (+ 0 0) into 0 9.876 * [taylor]: Taking taylor expansion of 0 in t 9.876 * [backup-simplify]: Simplify 0 into 0 9.876 * [taylor]: Taking taylor expansion of 0 in x 9.877 * [backup-simplify]: Simplify 0 into 0 9.877 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0 9.877 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 9.877 * [backup-simplify]: Simplify (- 0) into 0 9.878 * [backup-simplify]: Simplify (+ 0 0) into 0 9.878 * [taylor]: Taking taylor expansion of 0 in x 9.878 * [backup-simplify]: Simplify 0 into 0 9.878 * [taylor]: Taking taylor expansion of 0 in x 9.878 * [backup-simplify]: Simplify 0 into 0 9.879 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.879 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 9.879 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z)) 9.879 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 9.879 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.879 * [taylor]: Taking taylor expansion of z in z 9.879 * [backup-simplify]: Simplify 0 into 0 9.879 * [backup-simplify]: Simplify 1 into 1 9.880 * [backup-simplify]: Simplify (/ 1 1) into 1 9.880 * [backup-simplify]: Simplify (- 1) into -1 9.880 * [backup-simplify]: Simplify -1 into -1 9.880 * [taylor]: Taking taylor expansion of 0 in z 9.880 * [backup-simplify]: Simplify 0 into 0 9.880 * [taylor]: Taking taylor expansion of 0 in z 9.880 * [backup-simplify]: Simplify 0 into 0 9.880 * [backup-simplify]: Simplify 1 into 1 9.880 * [backup-simplify]: Simplify 1 into 1 9.881 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (- t)) (/ 1 (/ 1 (- y))))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (- t)) 1)))) (* -1 (* (/ 1 (/ 1 (- z))) (* 1 (* (/ 1 (- t)) 1)))))) into (- (+ (/ y t) (/ x t)) (/ z t)) 9.881 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1) 9.881 * [backup-simplify]: Simplify (+ (/ y t) (/ x t)) into (+ (/ y t) (/ x t)) 9.881 * [approximate]: Taking taylor expansion of (+ (/ y t) (/ x t)) in (y t x) around 0 9.881 * [taylor]: Taking taylor expansion of (+ (/ y t) (/ x t)) in x 9.881 * [taylor]: Taking taylor expansion of (/ y t) in x 9.881 * [taylor]: Taking taylor expansion of y in x 9.882 * [backup-simplify]: Simplify y into y 9.882 * [taylor]: Taking taylor expansion of t in x 9.882 * [backup-simplify]: Simplify t into t 9.882 * [backup-simplify]: Simplify (/ y t) into (/ y t) 9.882 * [taylor]: Taking taylor expansion of (/ x t) in x 9.882 * [taylor]: Taking taylor expansion of x in x 9.882 * [backup-simplify]: Simplify 0 into 0 9.882 * [backup-simplify]: Simplify 1 into 1 9.882 * [taylor]: Taking taylor expansion of t in x 9.882 * [backup-simplify]: Simplify t into t 9.882 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 9.882 * [taylor]: Taking taylor expansion of (+ (/ y t) (/ x t)) in t 9.882 * [taylor]: Taking taylor expansion of (/ y t) in t 9.882 * [taylor]: Taking taylor expansion of y in t 9.882 * [backup-simplify]: Simplify y into y 9.882 * [taylor]: Taking taylor expansion of t in t 9.882 * [backup-simplify]: Simplify 0 into 0 9.882 * [backup-simplify]: Simplify 1 into 1 9.882 * [backup-simplify]: Simplify (/ y 1) into y 9.882 * [taylor]: Taking taylor expansion of (/ x t) in t 9.882 * [taylor]: Taking taylor expansion of x in t 9.882 * [backup-simplify]: Simplify x into x 9.882 * [taylor]: Taking taylor expansion of t in t 9.882 * [backup-simplify]: Simplify 0 into 0 9.882 * [backup-simplify]: Simplify 1 into 1 9.882 * [backup-simplify]: Simplify (/ x 1) into x 9.882 * [taylor]: Taking taylor expansion of (+ (/ y t) (/ x t)) in y 9.882 * [taylor]: Taking taylor expansion of (/ y t) in y 9.882 * [taylor]: Taking taylor expansion of y in y 9.882 * [backup-simplify]: Simplify 0 into 0 9.882 * [backup-simplify]: Simplify 1 into 1 9.882 * [taylor]: Taking taylor expansion of t in y 9.882 * [backup-simplify]: Simplify t into t 9.883 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 9.883 * [taylor]: Taking taylor expansion of (/ x t) in y 9.883 * [taylor]: Taking taylor expansion of x in y 9.883 * [backup-simplify]: Simplify x into x 9.883 * [taylor]: Taking taylor expansion of t in y 9.883 * [backup-simplify]: Simplify t into t 9.883 * [backup-simplify]: Simplify (/ x t) into (/ x t) 9.883 * [taylor]: Taking taylor expansion of (+ (/ y t) (/ x t)) in y 9.883 * [taylor]: Taking taylor expansion of (/ y t) in y 9.883 * [taylor]: Taking taylor expansion of y in y 9.883 * [backup-simplify]: Simplify 0 into 0 9.883 * [backup-simplify]: Simplify 1 into 1 9.883 * [taylor]: Taking taylor expansion of t in y 9.883 * [backup-simplify]: Simplify t into t 9.883 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 9.883 * [taylor]: Taking taylor expansion of (/ x t) in y 9.883 * [taylor]: Taking taylor expansion of x in y 9.883 * [backup-simplify]: Simplify x into x 9.883 * [taylor]: Taking taylor expansion of t in y 9.883 * [backup-simplify]: Simplify t into t 9.883 * [backup-simplify]: Simplify (/ x t) into (/ x t) 9.883 * [backup-simplify]: Simplify (+ 0 (/ x t)) into (/ x t) 9.883 * [taylor]: Taking taylor expansion of (/ x t) in t 9.883 * [taylor]: Taking taylor expansion of x in t 9.883 * [backup-simplify]: Simplify x into x 9.883 * [taylor]: Taking taylor expansion of t in t 9.883 * [backup-simplify]: Simplify 0 into 0 9.883 * [backup-simplify]: Simplify 1 into 1 9.884 * [backup-simplify]: Simplify (/ x 1) into x 9.884 * [taylor]: Taking taylor expansion of x in x 9.884 * [backup-simplify]: Simplify 0 into 0 9.884 * [backup-simplify]: Simplify 1 into 1 9.884 * [backup-simplify]: Simplify 0 into 0 9.884 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ x t) (/ 0 t)))) into 0 9.884 * [backup-simplify]: Simplify (+ (/ 1 t) 0) into (/ 1 t) 9.884 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.884 * [taylor]: Taking taylor expansion of t in t 9.884 * [backup-simplify]: Simplify 0 into 0 9.884 * [backup-simplify]: Simplify 1 into 1 9.885 * [backup-simplify]: Simplify (/ 1 1) into 1 9.885 * [taylor]: Taking taylor expansion of 1 in x 9.885 * [backup-simplify]: Simplify 1 into 1 9.885 * [backup-simplify]: Simplify 1 into 1 9.886 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0 9.886 * [taylor]: Taking taylor expansion of 0 in x 9.886 * [backup-simplify]: Simplify 0 into 0 9.886 * [backup-simplify]: Simplify 0 into 0 9.886 * [backup-simplify]: Simplify 1 into 1 9.886 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)))) into 0 9.886 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ x t) (/ 0 t)) (* 0 (/ 0 t)))) into 0 9.887 * [backup-simplify]: Simplify (+ 0 0) into 0 9.887 * [taylor]: Taking taylor expansion of 0 in t 9.887 * [backup-simplify]: Simplify 0 into 0 9.887 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.887 * [taylor]: Taking taylor expansion of 0 in x 9.887 * [backup-simplify]: Simplify 0 into 0 9.887 * [backup-simplify]: Simplify 0 into 0 9.889 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.889 * [taylor]: Taking taylor expansion of 0 in x 9.889 * [backup-simplify]: Simplify 0 into 0 9.889 * [backup-simplify]: Simplify 0 into 0 9.889 * [backup-simplify]: Simplify 0 into 0 9.889 * [backup-simplify]: Simplify 0 into 0 9.889 * [backup-simplify]: Simplify 0 into 0 9.889 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0 9.889 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ x t) (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)))) into 0 9.890 * [backup-simplify]: Simplify (+ 0 0) into 0 9.890 * [taylor]: Taking taylor expansion of 0 in t 9.890 * [backup-simplify]: Simplify 0 into 0 9.890 * [taylor]: Taking taylor expansion of 0 in x 9.890 * [backup-simplify]: Simplify 0 into 0 9.890 * [backup-simplify]: Simplify 0 into 0 9.890 * [backup-simplify]: Simplify (+ (* 1 (* x (* (/ 1 t) 1))) (* 1 (* 1 (* (/ 1 t) y)))) into (+ (/ y t) (/ x t)) 9.891 * [backup-simplify]: Simplify (+ (/ (/ 1 y) (/ 1 t)) (/ (/ 1 x) (/ 1 t))) into (+ (/ t y) (/ t x)) 9.891 * [approximate]: Taking taylor expansion of (+ (/ t y) (/ t x)) in (y t x) around 0 9.891 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in x 9.891 * [taylor]: Taking taylor expansion of (/ t y) in x 9.891 * [taylor]: Taking taylor expansion of t in x 9.891 * [backup-simplify]: Simplify t into t 9.891 * [taylor]: Taking taylor expansion of y in x 9.891 * [backup-simplify]: Simplify y into y 9.891 * [backup-simplify]: Simplify (/ t y) into (/ t y) 9.891 * [taylor]: Taking taylor expansion of (/ t x) in x 9.891 * [taylor]: Taking taylor expansion of t in x 9.891 * [backup-simplify]: Simplify t into t 9.891 * [taylor]: Taking taylor expansion of x in x 9.891 * [backup-simplify]: Simplify 0 into 0 9.891 * [backup-simplify]: Simplify 1 into 1 9.891 * [backup-simplify]: Simplify (/ t 1) into t 9.891 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in t 9.891 * [taylor]: Taking taylor expansion of (/ t y) in t 9.891 * [taylor]: Taking taylor expansion of t in t 9.891 * [backup-simplify]: Simplify 0 into 0 9.891 * [backup-simplify]: Simplify 1 into 1 9.891 * [taylor]: Taking taylor expansion of y in t 9.891 * [backup-simplify]: Simplify y into y 9.891 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.891 * [taylor]: Taking taylor expansion of (/ t x) in t 9.891 * [taylor]: Taking taylor expansion of t in t 9.891 * [backup-simplify]: Simplify 0 into 0 9.891 * [backup-simplify]: Simplify 1 into 1 9.891 * [taylor]: Taking taylor expansion of x in t 9.891 * [backup-simplify]: Simplify x into x 9.891 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.891 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in y 9.891 * [taylor]: Taking taylor expansion of (/ t y) in y 9.892 * [taylor]: Taking taylor expansion of t in y 9.892 * [backup-simplify]: Simplify t into t 9.892 * [taylor]: Taking taylor expansion of y in y 9.892 * [backup-simplify]: Simplify 0 into 0 9.892 * [backup-simplify]: Simplify 1 into 1 9.892 * [backup-simplify]: Simplify (/ t 1) into t 9.892 * [taylor]: Taking taylor expansion of (/ t x) in y 9.892 * [taylor]: Taking taylor expansion of t in y 9.892 * [backup-simplify]: Simplify t into t 9.892 * [taylor]: Taking taylor expansion of x in y 9.892 * [backup-simplify]: Simplify x into x 9.892 * [backup-simplify]: Simplify (/ t x) into (/ t x) 9.892 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in y 9.892 * [taylor]: Taking taylor expansion of (/ t y) in y 9.892 * [taylor]: Taking taylor expansion of t in y 9.892 * [backup-simplify]: Simplify t into t 9.892 * [taylor]: Taking taylor expansion of y in y 9.892 * [backup-simplify]: Simplify 0 into 0 9.892 * [backup-simplify]: Simplify 1 into 1 9.892 * [backup-simplify]: Simplify (/ t 1) into t 9.892 * [taylor]: Taking taylor expansion of (/ t x) in y 9.892 * [taylor]: Taking taylor expansion of t in y 9.892 * [backup-simplify]: Simplify t into t 9.892 * [taylor]: Taking taylor expansion of x in y 9.892 * [backup-simplify]: Simplify x into x 9.892 * [backup-simplify]: Simplify (/ t x) into (/ t x) 9.892 * [backup-simplify]: Simplify (+ t 0) into t 9.893 * [taylor]: Taking taylor expansion of t in t 9.893 * [backup-simplify]: Simplify 0 into 0 9.893 * [backup-simplify]: Simplify 1 into 1 9.893 * [taylor]: Taking taylor expansion of 1 in x 9.893 * [backup-simplify]: Simplify 1 into 1 9.894 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0 9.894 * [backup-simplify]: Simplify (+ 0 (/ t x)) into (/ t x) 9.894 * [taylor]: Taking taylor expansion of (/ t x) in t 9.894 * [taylor]: Taking taylor expansion of t in t 9.894 * [backup-simplify]: Simplify 0 into 0 9.894 * [backup-simplify]: Simplify 1 into 1 9.894 * [taylor]: Taking taylor expansion of x in t 9.894 * [backup-simplify]: Simplify x into x 9.894 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.894 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.894 * [taylor]: Taking taylor expansion of x in x 9.894 * [backup-simplify]: Simplify 0 into 0 9.894 * [backup-simplify]: Simplify 1 into 1 9.894 * [backup-simplify]: Simplify (/ 1 1) into 1 9.894 * [backup-simplify]: Simplify 1 into 1 9.895 * [taylor]: Taking taylor expansion of 0 in x 9.895 * [backup-simplify]: Simplify 0 into 0 9.895 * [backup-simplify]: Simplify 1 into 1 9.896 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.896 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ t x) (/ 0 x)))) into 0 9.897 * [backup-simplify]: Simplify (+ 0 0) into 0 9.897 * [taylor]: Taking taylor expansion of 0 in t 9.897 * [backup-simplify]: Simplify 0 into 0 9.897 * [taylor]: Taking taylor expansion of 0 in x 9.897 * [backup-simplify]: Simplify 0 into 0 9.897 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0 9.897 * [taylor]: Taking taylor expansion of 0 in x 9.897 * [backup-simplify]: Simplify 0 into 0 9.897 * [taylor]: Taking taylor expansion of 0 in x 9.897 * [backup-simplify]: Simplify 0 into 0 9.898 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.898 * [backup-simplify]: Simplify 0 into 0 9.898 * [backup-simplify]: Simplify 0 into 0 9.898 * [backup-simplify]: Simplify 0 into 0 9.900 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.900 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ t x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 9.900 * [backup-simplify]: Simplify (+ 0 0) into 0 9.900 * [taylor]: Taking taylor expansion of 0 in t 9.900 * [backup-simplify]: Simplify 0 into 0 9.900 * [taylor]: Taking taylor expansion of 0 in x 9.901 * [backup-simplify]: Simplify 0 into 0 9.901 * [taylor]: Taking taylor expansion of 0 in x 9.901 * [backup-simplify]: Simplify 0 into 0 9.901 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 9.901 * [taylor]: Taking taylor expansion of 0 in x 9.901 * [backup-simplify]: Simplify 0 into 0 9.901 * [taylor]: Taking taylor expansion of 0 in x 9.901 * [backup-simplify]: Simplify 0 into 0 9.901 * [backup-simplify]: Simplify 0 into 0 9.901 * [backup-simplify]: Simplify 0 into 0 9.901 * [backup-simplify]: Simplify 0 into 0 9.901 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 t) (/ 1 (/ 1 y))))) (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 t) 1)))) into (+ (/ y t) (/ x t)) 9.902 * [backup-simplify]: Simplify (+ (/ (/ 1 (- y)) (/ 1 (- t))) (/ (/ 1 (- x)) (/ 1 (- t)))) into (+ (/ t y) (/ t x)) 9.902 * [approximate]: Taking taylor expansion of (+ (/ t y) (/ t x)) in (y t x) around 0 9.902 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in x 9.902 * [taylor]: Taking taylor expansion of (/ t y) in x 9.902 * [taylor]: Taking taylor expansion of t in x 9.902 * [backup-simplify]: Simplify t into t 9.902 * [taylor]: Taking taylor expansion of y in x 9.902 * [backup-simplify]: Simplify y into y 9.902 * [backup-simplify]: Simplify (/ t y) into (/ t y) 9.902 * [taylor]: Taking taylor expansion of (/ t x) in x 9.902 * [taylor]: Taking taylor expansion of t in x 9.902 * [backup-simplify]: Simplify t into t 9.902 * [taylor]: Taking taylor expansion of x in x 9.902 * [backup-simplify]: Simplify 0 into 0 9.902 * [backup-simplify]: Simplify 1 into 1 9.902 * [backup-simplify]: Simplify (/ t 1) into t 9.902 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in t 9.902 * [taylor]: Taking taylor expansion of (/ t y) in t 9.902 * [taylor]: Taking taylor expansion of t in t 9.902 * [backup-simplify]: Simplify 0 into 0 9.902 * [backup-simplify]: Simplify 1 into 1 9.902 * [taylor]: Taking taylor expansion of y in t 9.902 * [backup-simplify]: Simplify y into y 9.902 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.902 * [taylor]: Taking taylor expansion of (/ t x) in t 9.902 * [taylor]: Taking taylor expansion of t in t 9.902 * [backup-simplify]: Simplify 0 into 0 9.903 * [backup-simplify]: Simplify 1 into 1 9.903 * [taylor]: Taking taylor expansion of x in t 9.903 * [backup-simplify]: Simplify x into x 9.903 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.903 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in y 9.903 * [taylor]: Taking taylor expansion of (/ t y) in y 9.903 * [taylor]: Taking taylor expansion of t in y 9.903 * [backup-simplify]: Simplify t into t 9.903 * [taylor]: Taking taylor expansion of y in y 9.903 * [backup-simplify]: Simplify 0 into 0 9.903 * [backup-simplify]: Simplify 1 into 1 9.903 * [backup-simplify]: Simplify (/ t 1) into t 9.903 * [taylor]: Taking taylor expansion of (/ t x) in y 9.903 * [taylor]: Taking taylor expansion of t in y 9.903 * [backup-simplify]: Simplify t into t 9.903 * [taylor]: Taking taylor expansion of x in y 9.903 * [backup-simplify]: Simplify x into x 9.903 * [backup-simplify]: Simplify (/ t x) into (/ t x) 9.903 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in y 9.903 * [taylor]: Taking taylor expansion of (/ t y) in y 9.903 * [taylor]: Taking taylor expansion of t in y 9.903 * [backup-simplify]: Simplify t into t 9.903 * [taylor]: Taking taylor expansion of y in y 9.903 * [backup-simplify]: Simplify 0 into 0 9.903 * [backup-simplify]: Simplify 1 into 1 9.903 * [backup-simplify]: Simplify (/ t 1) into t 9.903 * [taylor]: Taking taylor expansion of (/ t x) in y 9.903 * [taylor]: Taking taylor expansion of t in y 9.903 * [backup-simplify]: Simplify t into t 9.903 * [taylor]: Taking taylor expansion of x in y 9.903 * [backup-simplify]: Simplify x into x 9.903 * [backup-simplify]: Simplify (/ t x) into (/ t x) 9.904 * [backup-simplify]: Simplify (+ t 0) into t 9.904 * [taylor]: Taking taylor expansion of t in t 9.904 * [backup-simplify]: Simplify 0 into 0 9.904 * [backup-simplify]: Simplify 1 into 1 9.904 * [taylor]: Taking taylor expansion of 1 in x 9.904 * [backup-simplify]: Simplify 1 into 1 9.905 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0 9.905 * [backup-simplify]: Simplify (+ 0 (/ t x)) into (/ t x) 9.905 * [taylor]: Taking taylor expansion of (/ t x) in t 9.905 * [taylor]: Taking taylor expansion of t in t 9.905 * [backup-simplify]: Simplify 0 into 0 9.905 * [backup-simplify]: Simplify 1 into 1 9.905 * [taylor]: Taking taylor expansion of x in t 9.905 * [backup-simplify]: Simplify x into x 9.905 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.905 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.905 * [taylor]: Taking taylor expansion of x in x 9.905 * [backup-simplify]: Simplify 0 into 0 9.905 * [backup-simplify]: Simplify 1 into 1 9.906 * [backup-simplify]: Simplify (/ 1 1) into 1 9.906 * [backup-simplify]: Simplify 1 into 1 9.906 * [taylor]: Taking taylor expansion of 0 in x 9.906 * [backup-simplify]: Simplify 0 into 0 9.906 * [backup-simplify]: Simplify 1 into 1 9.907 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.907 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ t x) (/ 0 x)))) into 0 9.908 * [backup-simplify]: Simplify (+ 0 0) into 0 9.908 * [taylor]: Taking taylor expansion of 0 in t 9.908 * [backup-simplify]: Simplify 0 into 0 9.908 * [taylor]: Taking taylor expansion of 0 in x 9.908 * [backup-simplify]: Simplify 0 into 0 9.908 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0 9.908 * [taylor]: Taking taylor expansion of 0 in x 9.908 * [backup-simplify]: Simplify 0 into 0 9.908 * [taylor]: Taking taylor expansion of 0 in x 9.908 * [backup-simplify]: Simplify 0 into 0 9.909 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.909 * [backup-simplify]: Simplify 0 into 0 9.909 * [backup-simplify]: Simplify 0 into 0 9.909 * [backup-simplify]: Simplify 0 into 0 9.911 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.911 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ t x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 9.912 * [backup-simplify]: Simplify (+ 0 0) into 0 9.912 * [taylor]: Taking taylor expansion of 0 in t 9.912 * [backup-simplify]: Simplify 0 into 0 9.912 * [taylor]: Taking taylor expansion of 0 in x 9.912 * [backup-simplify]: Simplify 0 into 0 9.912 * [taylor]: Taking taylor expansion of 0 in x 9.912 * [backup-simplify]: Simplify 0 into 0 9.912 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 9.912 * [taylor]: Taking taylor expansion of 0 in x 9.912 * [backup-simplify]: Simplify 0 into 0 9.912 * [taylor]: Taking taylor expansion of 0 in x 9.912 * [backup-simplify]: Simplify 0 into 0 9.912 * [backup-simplify]: Simplify 0 into 0 9.912 * [backup-simplify]: Simplify 0 into 0 9.912 * [backup-simplify]: Simplify 0 into 0 9.913 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (- t)) (/ 1 (/ 1 (- y)))))) (* 1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (- t)) 1)))) into (+ (/ y t) (/ x t)) 9.913 * * * [progress]: simplifying candidates 9.914 * [simplify]: Simplifying: (/ (* (exp (/ y t)) (exp (/ x t))) (exp (/ z t))) (/ (exp (+ (/ y t) (/ x t))) (exp (/ z t))) (log (- (+ (/ y t) (/ x t)) (/ z t))) (exp (- (+ (/ y t) (/ x t)) (/ z t))) (* (cbrt (- (+ (/ y t) (/ x t)) (/ z t))) (cbrt (- (+ (/ y t) (/ x t)) (/ z t)))) (cbrt (- (+ (/ y t) (/ x t)) (/ z t))) (* (* (- (+ (/ y t) (/ x t)) (/ z t)) (- (+ (/ y t) (/ x t)) (/ z t))) (- (+ (/ y t) (/ x t)) (/ z t))) (sqrt (- (+ (/ y t) (/ x t)) (/ z t))) (sqrt (- (+ (/ y t) (/ x t)) (/ z t))) (- (* (+ (* y t) (* t x)) t) (* (* t t) z)) (* (* t t) t) (- (* (+ (pow (/ y t) 3) (pow (/ x t) 3)) t) (* (+ (* (/ y t) (/ y t)) (- (* (/ x t) (/ x t)) (* (/ y t) (/ x t)))) z)) (* (+ (* (/ y t) (/ y t)) (- (* (/ x t) (/ x t)) (* (/ y t) (/ x t)))) t) (- (* (- (* (/ y t) (/ y t)) (* (/ x t) (/ x t))) t) (* (- (/ y t) (/ x t)) z)) (* (- (/ y t) (/ x t)) t) (- (pow (+ (/ y t) (/ x t)) 3) (pow (/ z t) 3)) (+ (* (+ (/ y t) (/ x t)) (+ (/ y t) (/ x t))) (+ (* (/ z t) (/ z t)) (* (+ (/ y t) (/ x t)) (/ z t)))) (- (/ z t)) (- (* (+ (/ y t) (/ x t)) (+ (/ y t) (/ x t))) (* (/ z t) (/ z t))) (+ (+ (/ y t) (/ x t)) (/ z t)) (+ (sqrt (+ (/ y t) (/ x t))) (sqrt (/ z t))) (- (sqrt (+ (/ y t) (/ x t))) (sqrt (/ z t))) (+ (sqrt (+ (/ y t) (/ x t))) (/ (sqrt z) (sqrt t))) (- (sqrt (+ (/ y t) (/ x t))) (/ (sqrt z) (sqrt t))) (- (+ (/ y t) (/ x t)) (/ z t)) (- (+ (/ y (cbrt t)) (/ x (cbrt t))) (/ z (cbrt t))) (- (+ (/ y (sqrt t)) (/ x (sqrt t))) (/ z (sqrt t))) (- (+ (/ y t) (/ x t)) (/ z t)) (- (+ (/ y t) (/ x t)) (/ z t)) (- (/ x t) (/ z t)) (- (/ z t)) (* (exp (/ y t)) (exp (/ x t))) (log (+ (/ y t) (/ x t))) (exp (+ (/ y t) (/ x t))) (* (cbrt (+ (/ y t) (/ x t))) (cbrt (+ (/ y t) (/ x t)))) (cbrt (+ (/ y t) (/ x t))) (* (* (+ (/ y t) (/ x t)) (+ (/ y t) (/ x t))) (+ (/ y t) (/ x t))) (sqrt (+ (/ y t) (/ x t))) (sqrt (+ (/ y t) (/ x t))) (+ (* y t) (* t x)) (* t t) (+ (pow (/ y t) 3) (pow (/ x t) 3)) (+ (* (/ y t) (/ y t)) (- (* (/ x t) (/ x t)) (* (/ y t) (/ x t)))) (- (* (/ y t) (/ y t)) (* (/ x t) (/ x t))) (- (/ y t) (/ x t)) (+ (/ y (cbrt t)) (/ x (cbrt t))) (+ (/ y (sqrt t)) (/ x (sqrt t))) (+ (/ y t) (/ x t)) (+ (/ y t) (/ x t)) (+ y x) (- (+ (/ y t) (/ x t)) (/ z t)) (- (+ (/ y t) (/ x t)) (/ z t)) (- (+ (/ y t) (/ x t)) (/ z t)) (+ (/ y t) (/ x t)) (+ (/ y t) (/ x t)) (+ (/ y t) (/ x t)) 9.916 * * [simplify]: Extracting # 0 : cost 44 inf + 0 9.916 * * [simplify]: Extracting # 1 : cost 80 inf + 0 9.916 * * [simplify]: Extracting # 2 : cost 83 inf + 45 9.917 * * [simplify]: Extracting # 3 : cost 59 inf + 2221 9.918 * * [simplify]: Extracting # 4 : cost 18 inf + 11080 9.921 * * [simplify]: Extracting # 5 : cost 4 inf + 15855 9.924 * * [simplify]: Extracting # 6 : cost 1 inf + 16747 9.926 * * [simplify]: Extracting # 7 : cost 0 inf + 17111 9.928 * * [simplify]: iteration 0 : 87 enodes (cost 13462 ) 9.945 * * [simplify]: Extracting # 0 : cost 0 inf + 17111 9.947 * * [simplify]: Extracting # 1 : cost 46 inf + 16007 9.950 * * [simplify]: Extracting # 2 : cost 5 inf + 21591 9.953 * * [simplify]: Extracting # 3 : cost 3 inf + 21805 9.956 * * [simplify]: Extracting # 4 : cost 0 inf + 22485 9.962 * * [simplify]: iteration 1 : 217 enodes (cost 12199 ) 10.041 * * [simplify]: Extracting # 0 : cost 0 inf + 22485 10.047 * * [simplify]: Extracting # 1 : cost 146 inf + 22314 10.062 * * [simplify]: Extracting # 2 : cost 5 inf + 47997 10.079 * * [simplify]: Extracting # 3 : cost 1 inf + 48466 10.097 * * [simplify]: Extracting # 4 : cost 0 inf + 48719 10.109 * * [simplify]: iteration 2 : 637 enodes (cost 12079 ) 10.349 * * [simplify]: Extracting # 0 : cost 0 inf + 48719 10.362 * * [simplify]: Extracting # 1 : cost 450 inf + 48249 10.403 * * [simplify]: Extracting # 2 : cost 5 inf + 152766 10.470 * * [simplify]: Extracting # 3 : cost 0 inf + 153860 10.515 * * [simplify]: iteration 3 : 2130 enodes (cost 11959 ) 10.951 * * [simplify]: Extracting # 0 : cost 0 inf + 153860 11.013 * * [simplify]: Extracting # 1 : cost 1290 inf + 152720 11.107 * * [simplify]: Extracting # 2 : cost 58 inf + 441283 11.225 * * [simplify]: Extracting # 3 : cost 20 inf + 445323 11.362 * * [simplify]: Extracting # 4 : cost 0 inf + 451487 11.519 * * [simplify]: iteration complete: 5000 enodes (cost 11959 ) 11.519 * [simplify]: Simplified to: (exp (- (+ (/ y t) (/ x t)) (/ z t))) (exp (- (+ (/ y t) (/ x t)) (/ z t))) (log (- (+ (/ y t) (/ x t)) (/ z t))) (exp (- (+ (/ y t) (/ x t)) (/ z t))) (* (cbrt (- (+ (/ y t) (/ x t)) (/ z t))) (cbrt (- (+ (/ y t) (/ x t)) (/ z t)))) (cbrt (- (+ (/ y t) (/ x t)) (/ z t))) (* (* (- (+ (/ y t) (/ x t)) (/ z t)) (- (+ (/ y t) (/ x t)) (/ z t))) (- (+ (/ y t) (/ x t)) (/ z t))) (sqrt (- (+ (/ y t) (/ x t)) (/ z t))) (sqrt (- (+ (/ y t) (/ x t)) (/ z t))) (* (* t (- (+ y x) z)) t) (* (* t t) t) (- (* (+ (* (/ x t) (* (/ x t) (/ x t))) (* (/ y t) (* (/ y t) (/ y t)))) t) (* (+ (* (/ y t) (/ y t)) (- (* (/ x t) (/ x t)) (* (/ y t) (/ x t)))) z)) (* (+ (* (/ x t) (- (/ x t) (/ y t))) (* (/ y t) (/ y t))) t) (* (- (/ y t) (/ x t)) (- (* t (+ (/ y t) (/ x t))) z)) (* (- (/ y t) (/ x t)) t) (- (* (+ (/ y t) (/ x t)) (* (+ (/ y t) (/ x t)) (+ (/ y t) (/ x t)))) (* (* (/ z t) (/ z t)) (/ z t))) (+ (* (+ (/ y t) (/ x t)) (+ (/ y t) (/ x t))) (* (/ z t) (+ (+ (/ y t) (/ x t)) (/ z t)))) (- (/ z t)) (- (* (+ (/ y t) (/ x t)) (+ (/ y t) (/ x t))) (* (/ z t) (/ z t))) (+ (+ (/ y t) (/ x t)) (/ z t)) (+ (sqrt (+ (/ y t) (/ x t))) (sqrt (/ z t))) (- (sqrt (+ (/ y t) (/ x t))) (sqrt (/ z t))) (+ (sqrt (+ (/ y t) (/ x t))) (/ (sqrt z) (sqrt t))) (- (sqrt (+ (/ y t) (/ x t))) (/ (sqrt z) (sqrt t))) (- (+ (/ y t) (/ x t)) (/ z t)) (- (+ (/ y (cbrt t)) (/ x (cbrt t))) (/ z (cbrt t))) (- (+ (/ y (sqrt t)) (/ x (sqrt t))) (/ z (sqrt t))) (- (+ (/ y t) (/ x t)) (/ z t)) (- (+ (/ y t) (/ x t)) (/ z t)) (- (/ x t) (/ z t)) (- (/ z t)) (exp (+ (/ y t) (/ x t))) (log (+ (/ y t) (/ x t))) (exp (+ (/ y t) (/ x t))) (* (cbrt (+ (/ y t) (/ x t))) (cbrt (+ (/ y t) (/ x t)))) (cbrt (+ (/ y t) (/ x t))) (* (+ (/ y t) (/ x t)) (* (+ (/ y t) (/ x t)) (+ (/ y t) (/ x t)))) (sqrt (+ (/ y t) (/ x t))) (sqrt (+ (/ y t) (/ x t))) (* t (+ y x)) (* t t) (+ (* (/ x t) (* (/ x t) (/ x t))) (* (/ y t) (* (/ y t) (/ y t)))) (+ (* (/ x t) (- (/ x t) (/ y t))) (* (/ y t) (/ y t))) (- (* (/ y t) (/ y t)) (* (/ x t) (/ x t))) (- (/ y t) (/ x t)) (+ (/ y (cbrt t)) (/ x (cbrt t))) (+ (/ y (sqrt t)) (/ x (sqrt t))) (+ (/ y t) (/ x t)) (+ (/ y t) (/ x t)) (+ y x) (- (+ (/ y t) (/ x t)) (/ z t)) (- (+ (/ y t) (/ x t)) (/ z t)) (- (+ (/ y t) (/ x t)) (/ z t)) (+ (/ y t) (/ x t)) (+ (/ y t) (/ x t)) (+ (/ y t) (/ x t)) 11.524 * * * [progress]: adding candidates to table 11.739 * * [progress]: iteration 3 / 4 11.739 * * * [progress]: picking best candidate 11.743 * * * * [pick]: Picked # 11.743 * * * [progress]: localizing error 11.760 * * * [progress]: generating rewritten candidates 11.760 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1) 11.785 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 11.803 * * * [progress]: generating series expansions 11.803 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1) 11.803 * [backup-simplify]: Simplify (* (/ 1 t) (+ y x)) into (/ (+ x y) t) 11.803 * [approximate]: Taking taylor expansion of (/ (+ x y) t) in (t y x) around 0 11.803 * [taylor]: Taking taylor expansion of (/ (+ x y) t) in x 11.803 * [taylor]: Taking taylor expansion of (+ x y) in x 11.803 * [taylor]: Taking taylor expansion of x in x 11.803 * [backup-simplify]: Simplify 0 into 0 11.803 * [backup-simplify]: Simplify 1 into 1 11.803 * [taylor]: Taking taylor expansion of y in x 11.804 * [backup-simplify]: Simplify y into y 11.804 * [taylor]: Taking taylor expansion of t in x 11.804 * [backup-simplify]: Simplify t into t 11.804 * [backup-simplify]: Simplify (+ 0 y) into y 11.804 * [backup-simplify]: Simplify (/ y t) into (/ y t) 11.804 * [taylor]: Taking taylor expansion of (/ (+ x y) t) in y 11.804 * [taylor]: Taking taylor expansion of (+ x y) in y 11.804 * [taylor]: Taking taylor expansion of x in y 11.804 * [backup-simplify]: Simplify x into x 11.804 * [taylor]: Taking taylor expansion of y in y 11.804 * [backup-simplify]: Simplify 0 into 0 11.804 * [backup-simplify]: Simplify 1 into 1 11.804 * [taylor]: Taking taylor expansion of t in y 11.804 * [backup-simplify]: Simplify t into t 11.804 * [backup-simplify]: Simplify (+ x 0) into x 11.804 * [backup-simplify]: Simplify (/ x t) into (/ x t) 11.804 * [taylor]: Taking taylor expansion of (/ (+ x y) t) in t 11.804 * [taylor]: Taking taylor expansion of (+ x y) in t 11.804 * [taylor]: Taking taylor expansion of x in t 11.804 * [backup-simplify]: Simplify x into x 11.804 * [taylor]: Taking taylor expansion of y in t 11.804 * [backup-simplify]: Simplify y into y 11.804 * [taylor]: Taking taylor expansion of t in t 11.804 * [backup-simplify]: Simplify 0 into 0 11.804 * [backup-simplify]: Simplify 1 into 1 11.804 * [backup-simplify]: Simplify (+ x y) into (+ x y) 11.804 * [backup-simplify]: Simplify (/ (+ x y) 1) into (+ x y) 11.804 * [taylor]: Taking taylor expansion of (/ (+ x y) t) in t 11.804 * [taylor]: Taking taylor expansion of (+ x y) in t 11.804 * [taylor]: Taking taylor expansion of x in t 11.804 * [backup-simplify]: Simplify x into x 11.804 * [taylor]: Taking taylor expansion of y in t 11.804 * [backup-simplify]: Simplify y into y 11.804 * [taylor]: Taking taylor expansion of t in t 11.804 * [backup-simplify]: Simplify 0 into 0 11.804 * [backup-simplify]: Simplify 1 into 1 11.804 * [backup-simplify]: Simplify (+ x y) into (+ x y) 11.804 * [backup-simplify]: Simplify (/ (+ x y) 1) into (+ x y) 11.804 * [taylor]: Taking taylor expansion of (+ x y) in y 11.804 * [taylor]: Taking taylor expansion of x in y 11.804 * [backup-simplify]: Simplify x into x 11.804 * [taylor]: Taking taylor expansion of y in y 11.804 * [backup-simplify]: Simplify 0 into 0 11.804 * [backup-simplify]: Simplify 1 into 1 11.804 * [backup-simplify]: Simplify (+ x 0) into x 11.804 * [taylor]: Taking taylor expansion of x in x 11.804 * [backup-simplify]: Simplify 0 into 0 11.804 * [backup-simplify]: Simplify 1 into 1 11.804 * [backup-simplify]: Simplify 0 into 0 11.805 * [backup-simplify]: Simplify (+ 0 0) into 0 11.806 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ x y) (/ 0 1)))) into 0 11.806 * [taylor]: Taking taylor expansion of 0 in y 11.806 * [backup-simplify]: Simplify 0 into 0 11.806 * [taylor]: Taking taylor expansion of 0 in x 11.806 * [backup-simplify]: Simplify 0 into 0 11.806 * [backup-simplify]: Simplify 0 into 0 11.806 * [backup-simplify]: Simplify (+ 0 1) into 1 11.806 * [taylor]: Taking taylor expansion of 1 in x 11.806 * [backup-simplify]: Simplify 1 into 1 11.806 * [backup-simplify]: Simplify 1 into 1 11.806 * [backup-simplify]: Simplify 1 into 1 11.806 * [backup-simplify]: Simplify (+ 0 0) into 0 11.807 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.807 * [taylor]: Taking taylor expansion of 0 in y 11.807 * [backup-simplify]: Simplify 0 into 0 11.807 * [taylor]: Taking taylor expansion of 0 in x 11.807 * [backup-simplify]: Simplify 0 into 0 11.807 * [backup-simplify]: Simplify 0 into 0 11.807 * [taylor]: Taking taylor expansion of 0 in x 11.807 * [backup-simplify]: Simplify 0 into 0 11.807 * [backup-simplify]: Simplify 0 into 0 11.808 * [backup-simplify]: Simplify (+ 0 0) into 0 11.808 * [taylor]: Taking taylor expansion of 0 in x 11.808 * [backup-simplify]: Simplify 0 into 0 11.808 * [backup-simplify]: Simplify 0 into 0 11.808 * [backup-simplify]: Simplify 0 into 0 11.808 * [backup-simplify]: Simplify 0 into 0 11.808 * [backup-simplify]: Simplify 0 into 0 11.808 * [backup-simplify]: Simplify (+ (* 1 (* x (* 1 (/ 1 t)))) (* 1 (* 1 (* y (/ 1 t))))) into (+ (/ y t) (/ x t)) 11.808 * [backup-simplify]: Simplify (* (/ 1 (/ 1 t)) (+ (/ 1 y) (/ 1 x))) into (* t (+ (/ 1 x) (/ 1 y))) 11.808 * [approximate]: Taking taylor expansion of (* t (+ (/ 1 x) (/ 1 y))) in (t y x) around 0 11.808 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 x) (/ 1 y))) in x 11.808 * [taylor]: Taking taylor expansion of t in x 11.808 * [backup-simplify]: Simplify t into t 11.808 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 11.808 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.808 * [taylor]: Taking taylor expansion of x in x 11.808 * [backup-simplify]: Simplify 0 into 0 11.808 * [backup-simplify]: Simplify 1 into 1 11.808 * [backup-simplify]: Simplify (/ 1 1) into 1 11.808 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.808 * [taylor]: Taking taylor expansion of y in x 11.808 * [backup-simplify]: Simplify y into y 11.809 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.809 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 x) (/ 1 y))) in y 11.809 * [taylor]: Taking taylor expansion of t in y 11.809 * [backup-simplify]: Simplify t into t 11.809 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 11.809 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.809 * [taylor]: Taking taylor expansion of x in y 11.809 * [backup-simplify]: Simplify x into x 11.809 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.809 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.809 * [taylor]: Taking taylor expansion of y in y 11.809 * [backup-simplify]: Simplify 0 into 0 11.809 * [backup-simplify]: Simplify 1 into 1 11.809 * [backup-simplify]: Simplify (/ 1 1) into 1 11.809 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 x) (/ 1 y))) in t 11.809 * [taylor]: Taking taylor expansion of t in t 11.809 * [backup-simplify]: Simplify 0 into 0 11.809 * [backup-simplify]: Simplify 1 into 1 11.809 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in t 11.809 * [taylor]: Taking taylor expansion of (/ 1 x) in t 11.809 * [taylor]: Taking taylor expansion of x in t 11.809 * [backup-simplify]: Simplify x into x 11.809 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.809 * [taylor]: Taking taylor expansion of (/ 1 y) in t 11.809 * [taylor]: Taking taylor expansion of y in t 11.809 * [backup-simplify]: Simplify y into y 11.809 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.809 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 x) (/ 1 y))) in t 11.809 * [taylor]: Taking taylor expansion of t in t 11.809 * [backup-simplify]: Simplify 0 into 0 11.809 * [backup-simplify]: Simplify 1 into 1 11.809 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in t 11.809 * [taylor]: Taking taylor expansion of (/ 1 x) in t 11.809 * [taylor]: Taking taylor expansion of x in t 11.809 * [backup-simplify]: Simplify x into x 11.809 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.809 * [taylor]: Taking taylor expansion of (/ 1 y) in t 11.809 * [taylor]: Taking taylor expansion of y in t 11.809 * [backup-simplify]: Simplify y into y 11.809 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.810 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1 y)) into (+ (/ 1 x) (/ 1 y)) 11.810 * [backup-simplify]: Simplify (* 0 (+ (/ 1 x) (/ 1 y))) into 0 11.810 * [taylor]: Taking taylor expansion of 0 in y 11.810 * [backup-simplify]: Simplify 0 into 0 11.810 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 11.810 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 11.810 * [backup-simplify]: Simplify (+ 0 0) into 0 11.810 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (+ (/ 1 x) (/ 1 y)))) into (+ (/ 1 x) (/ 1 y)) 11.810 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 11.810 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.810 * [taylor]: Taking taylor expansion of x in y 11.810 * [backup-simplify]: Simplify x into x 11.811 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.811 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.811 * [taylor]: Taking taylor expansion of y in y 11.811 * [backup-simplify]: Simplify 0 into 0 11.811 * [backup-simplify]: Simplify 1 into 1 11.811 * [backup-simplify]: Simplify (/ 1 1) into 1 11.811 * [backup-simplify]: Simplify (+ 0 1) into 1 11.811 * [taylor]: Taking taylor expansion of 1 in x 11.811 * [backup-simplify]: Simplify 1 into 1 11.811 * [taylor]: Taking taylor expansion of 0 in x 11.811 * [backup-simplify]: Simplify 0 into 0 11.811 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 11.811 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.812 * [backup-simplify]: Simplify (+ 0 0) into 0 11.812 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (+ (/ 1 x) (/ 1 y))))) into 0 11.812 * [taylor]: Taking taylor expansion of 0 in y 11.812 * [backup-simplify]: Simplify 0 into 0 11.813 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.813 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 11.813 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.813 * [taylor]: Taking taylor expansion of x in x 11.813 * [backup-simplify]: Simplify 0 into 0 11.813 * [backup-simplify]: Simplify 1 into 1 11.813 * [backup-simplify]: Simplify (/ 1 1) into 1 11.813 * [backup-simplify]: Simplify 1 into 1 11.813 * [taylor]: Taking taylor expansion of 0 in x 11.813 * [backup-simplify]: Simplify 0 into 0 11.813 * [backup-simplify]: Simplify 1 into 1 11.813 * [backup-simplify]: Simplify 0 into 0 11.813 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 11.813 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.814 * [backup-simplify]: Simplify (+ 0 0) into 0 11.814 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (+ (/ 1 x) (/ 1 y)))))) into 0 11.814 * [taylor]: Taking taylor expansion of 0 in y 11.814 * [backup-simplify]: Simplify 0 into 0 11.814 * [taylor]: Taking taylor expansion of 0 in x 11.815 * [backup-simplify]: Simplify 0 into 0 11.815 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 11.815 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.815 * [backup-simplify]: Simplify (+ 0 0) into 0 11.815 * [taylor]: Taking taylor expansion of 0 in x 11.815 * [backup-simplify]: Simplify 0 into 0 11.815 * [taylor]: Taking taylor expansion of 0 in x 11.815 * [backup-simplify]: Simplify 0 into 0 11.816 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.816 * [backup-simplify]: Simplify 0 into 0 11.816 * [backup-simplify]: Simplify 0 into 0 11.816 * [backup-simplify]: Simplify 0 into 0 11.816 * [backup-simplify]: Simplify 0 into 0 11.816 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 11.816 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.817 * [backup-simplify]: Simplify (+ 0 0) into 0 11.818 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (/ 1 x) (/ 1 y))))))) into 0 11.818 * [taylor]: Taking taylor expansion of 0 in y 11.818 * [backup-simplify]: Simplify 0 into 0 11.818 * [taylor]: Taking taylor expansion of 0 in x 11.818 * [backup-simplify]: Simplify 0 into 0 11.818 * [taylor]: Taking taylor expansion of 0 in x 11.818 * [backup-simplify]: Simplify 0 into 0 11.818 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 11.818 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.819 * [backup-simplify]: Simplify (+ 0 0) into 0 11.819 * [taylor]: Taking taylor expansion of 0 in x 11.819 * [backup-simplify]: Simplify 0 into 0 11.819 * [taylor]: Taking taylor expansion of 0 in x 11.819 * [backup-simplify]: Simplify 0 into 0 11.819 * [backup-simplify]: Simplify 0 into 0 11.819 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 t)))) (* 1 (* (/ 1 (/ 1 x)) (* 1 (/ 1 t))))) into (+ (/ y t) (/ x t)) 11.819 * [backup-simplify]: Simplify (* (/ 1 (/ 1 (- t))) (+ (/ 1 (- y)) (/ 1 (- x)))) into (* t (+ (/ 1 x) (/ 1 y))) 11.819 * [approximate]: Taking taylor expansion of (* t (+ (/ 1 x) (/ 1 y))) in (t y x) around 0 11.819 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 x) (/ 1 y))) in x 11.819 * [taylor]: Taking taylor expansion of t in x 11.819 * [backup-simplify]: Simplify t into t 11.819 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 11.819 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.819 * [taylor]: Taking taylor expansion of x in x 11.819 * [backup-simplify]: Simplify 0 into 0 11.819 * [backup-simplify]: Simplify 1 into 1 11.819 * [backup-simplify]: Simplify (/ 1 1) into 1 11.819 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.819 * [taylor]: Taking taylor expansion of y in x 11.819 * [backup-simplify]: Simplify y into y 11.820 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.820 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 x) (/ 1 y))) in y 11.820 * [taylor]: Taking taylor expansion of t in y 11.820 * [backup-simplify]: Simplify t into t 11.820 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 11.820 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.820 * [taylor]: Taking taylor expansion of x in y 11.820 * [backup-simplify]: Simplify x into x 11.820 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.820 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.820 * [taylor]: Taking taylor expansion of y in y 11.820 * [backup-simplify]: Simplify 0 into 0 11.820 * [backup-simplify]: Simplify 1 into 1 11.820 * [backup-simplify]: Simplify (/ 1 1) into 1 11.820 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 x) (/ 1 y))) in t 11.820 * [taylor]: Taking taylor expansion of t in t 11.820 * [backup-simplify]: Simplify 0 into 0 11.820 * [backup-simplify]: Simplify 1 into 1 11.820 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in t 11.820 * [taylor]: Taking taylor expansion of (/ 1 x) in t 11.820 * [taylor]: Taking taylor expansion of x in t 11.820 * [backup-simplify]: Simplify x into x 11.820 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.820 * [taylor]: Taking taylor expansion of (/ 1 y) in t 11.820 * [taylor]: Taking taylor expansion of y in t 11.820 * [backup-simplify]: Simplify y into y 11.820 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.820 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 x) (/ 1 y))) in t 11.820 * [taylor]: Taking taylor expansion of t in t 11.820 * [backup-simplify]: Simplify 0 into 0 11.820 * [backup-simplify]: Simplify 1 into 1 11.820 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in t 11.820 * [taylor]: Taking taylor expansion of (/ 1 x) in t 11.820 * [taylor]: Taking taylor expansion of x in t 11.820 * [backup-simplify]: Simplify x into x 11.820 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.820 * [taylor]: Taking taylor expansion of (/ 1 y) in t 11.820 * [taylor]: Taking taylor expansion of y in t 11.820 * [backup-simplify]: Simplify y into y 11.820 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.821 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1 y)) into (+ (/ 1 x) (/ 1 y)) 11.821 * [backup-simplify]: Simplify (* 0 (+ (/ 1 x) (/ 1 y))) into 0 11.821 * [taylor]: Taking taylor expansion of 0 in y 11.821 * [backup-simplify]: Simplify 0 into 0 11.821 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 11.821 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 11.821 * [backup-simplify]: Simplify (+ 0 0) into 0 11.821 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (+ (/ 1 x) (/ 1 y)))) into (+ (/ 1 x) (/ 1 y)) 11.821 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 11.821 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.822 * [taylor]: Taking taylor expansion of x in y 11.822 * [backup-simplify]: Simplify x into x 11.822 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.822 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.822 * [taylor]: Taking taylor expansion of y in y 11.822 * [backup-simplify]: Simplify 0 into 0 11.822 * [backup-simplify]: Simplify 1 into 1 11.822 * [backup-simplify]: Simplify (/ 1 1) into 1 11.822 * [backup-simplify]: Simplify (+ 0 1) into 1 11.822 * [taylor]: Taking taylor expansion of 1 in x 11.822 * [backup-simplify]: Simplify 1 into 1 11.822 * [taylor]: Taking taylor expansion of 0 in x 11.822 * [backup-simplify]: Simplify 0 into 0 11.822 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 11.822 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.823 * [backup-simplify]: Simplify (+ 0 0) into 0 11.823 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (+ (/ 1 x) (/ 1 y))))) into 0 11.823 * [taylor]: Taking taylor expansion of 0 in y 11.823 * [backup-simplify]: Simplify 0 into 0 11.824 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.824 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 11.824 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.824 * [taylor]: Taking taylor expansion of x in x 11.824 * [backup-simplify]: Simplify 0 into 0 11.824 * [backup-simplify]: Simplify 1 into 1 11.824 * [backup-simplify]: Simplify (/ 1 1) into 1 11.824 * [backup-simplify]: Simplify 1 into 1 11.824 * [taylor]: Taking taylor expansion of 0 in x 11.824 * [backup-simplify]: Simplify 0 into 0 11.824 * [backup-simplify]: Simplify 1 into 1 11.824 * [backup-simplify]: Simplify 0 into 0 11.824 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 11.824 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.825 * [backup-simplify]: Simplify (+ 0 0) into 0 11.825 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (+ (/ 1 x) (/ 1 y)))))) into 0 11.825 * [taylor]: Taking taylor expansion of 0 in y 11.825 * [backup-simplify]: Simplify 0 into 0 11.826 * [taylor]: Taking taylor expansion of 0 in x 11.826 * [backup-simplify]: Simplify 0 into 0 11.826 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 11.826 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.826 * [backup-simplify]: Simplify (+ 0 0) into 0 11.826 * [taylor]: Taking taylor expansion of 0 in x 11.826 * [backup-simplify]: Simplify 0 into 0 11.826 * [taylor]: Taking taylor expansion of 0 in x 11.826 * [backup-simplify]: Simplify 0 into 0 11.827 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.827 * [backup-simplify]: Simplify 0 into 0 11.827 * [backup-simplify]: Simplify 0 into 0 11.827 * [backup-simplify]: Simplify 0 into 0 11.827 * [backup-simplify]: Simplify 0 into 0 11.827 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 11.827 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.828 * [backup-simplify]: Simplify (+ 0 0) into 0 11.829 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (/ 1 x) (/ 1 y))))))) into 0 11.829 * [taylor]: Taking taylor expansion of 0 in y 11.829 * [backup-simplify]: Simplify 0 into 0 11.829 * [taylor]: Taking taylor expansion of 0 in x 11.829 * [backup-simplify]: Simplify 0 into 0 11.829 * [taylor]: Taking taylor expansion of 0 in x 11.829 * [backup-simplify]: Simplify 0 into 0 11.829 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 11.829 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.830 * [backup-simplify]: Simplify (+ 0 0) into 0 11.830 * [taylor]: Taking taylor expansion of 0 in x 11.830 * [backup-simplify]: Simplify 0 into 0 11.830 * [taylor]: Taking taylor expansion of 0 in x 11.830 * [backup-simplify]: Simplify 0 into 0 11.830 * [backup-simplify]: Simplify 0 into 0 11.830 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (- t))))) (* 1 (* (/ 1 (/ 1 (- x))) (* 1 (/ 1 (- t)))))) into (+ (/ y t) (/ x t)) 11.830 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 11.830 * [backup-simplify]: Simplify (- (* (/ 1 t) (+ y x)) (/ z t)) into (- (+ (/ y t) (/ x t)) (/ z t)) 11.830 * [approximate]: Taking taylor expansion of (- (+ (/ y t) (/ x t)) (/ z t)) in (t y x z) around 0 11.830 * [taylor]: Taking taylor expansion of (- (+ (/ y t) (/ x t)) (/ z t)) in z 11.830 * [taylor]: Taking taylor expansion of (+ (/ y t) (/ x t)) in z 11.830 * [taylor]: Taking taylor expansion of (/ y t) in z 11.830 * [taylor]: Taking taylor expansion of y in z 11.830 * [backup-simplify]: Simplify y into y 11.830 * [taylor]: Taking taylor expansion of t in z 11.830 * [backup-simplify]: Simplify t into t 11.830 * [backup-simplify]: Simplify (/ y t) into (/ y t) 11.830 * [taylor]: Taking taylor expansion of (/ x t) in z 11.830 * [taylor]: Taking taylor expansion of x in z 11.830 * [backup-simplify]: Simplify x into x 11.830 * [taylor]: Taking taylor expansion of t in z 11.830 * [backup-simplify]: Simplify t into t 11.830 * [backup-simplify]: Simplify (/ x t) into (/ x t) 11.830 * [taylor]: Taking taylor expansion of (/ z t) in z 11.830 * [taylor]: Taking taylor expansion of z in z 11.830 * [backup-simplify]: Simplify 0 into 0 11.830 * [backup-simplify]: Simplify 1 into 1 11.830 * [taylor]: Taking taylor expansion of t in z 11.830 * [backup-simplify]: Simplify t into t 11.831 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.831 * [taylor]: Taking taylor expansion of (- (+ (/ y t) (/ x t)) (/ z t)) in x 11.831 * [taylor]: Taking taylor expansion of (+ (/ y t) (/ x t)) in x 11.831 * [taylor]: Taking taylor expansion of (/ y t) in x 11.831 * [taylor]: Taking taylor expansion of y in x 11.831 * [backup-simplify]: Simplify y into y 11.831 * [taylor]: Taking taylor expansion of t in x 11.831 * [backup-simplify]: Simplify t into t 11.831 * [backup-simplify]: Simplify (/ y t) into (/ y t) 11.831 * [taylor]: Taking taylor expansion of (/ x t) in x 11.831 * [taylor]: Taking taylor expansion of x in x 11.831 * [backup-simplify]: Simplify 0 into 0 11.831 * [backup-simplify]: Simplify 1 into 1 11.831 * [taylor]: Taking taylor expansion of t in x 11.831 * [backup-simplify]: Simplify t into t 11.831 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.831 * [taylor]: Taking taylor expansion of (/ z t) in x 11.831 * [taylor]: Taking taylor expansion of z in x 11.831 * [backup-simplify]: Simplify z into z 11.831 * [taylor]: Taking taylor expansion of t in x 11.831 * [backup-simplify]: Simplify t into t 11.831 * [backup-simplify]: Simplify (/ z t) into (/ z t) 11.831 * [taylor]: Taking taylor expansion of (- (+ (/ y t) (/ x t)) (/ z t)) in y 11.831 * [taylor]: Taking taylor expansion of (+ (/ y t) (/ x t)) in y 11.831 * [taylor]: Taking taylor expansion of (/ y t) in y 11.831 * [taylor]: Taking taylor expansion of y in y 11.831 * [backup-simplify]: Simplify 0 into 0 11.831 * [backup-simplify]: Simplify 1 into 1 11.831 * [taylor]: Taking taylor expansion of t in y 11.831 * [backup-simplify]: Simplify t into t 11.831 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.831 * [taylor]: Taking taylor expansion of (/ x t) in y 11.831 * [taylor]: Taking taylor expansion of x in y 11.831 * [backup-simplify]: Simplify x into x 11.831 * [taylor]: Taking taylor expansion of t in y 11.831 * [backup-simplify]: Simplify t into t 11.831 * [backup-simplify]: Simplify (/ x t) into (/ x t) 11.831 * [taylor]: Taking taylor expansion of (/ z t) in y 11.831 * [taylor]: Taking taylor expansion of z in y 11.831 * [backup-simplify]: Simplify z into z 11.831 * [taylor]: Taking taylor expansion of t in y 11.831 * [backup-simplify]: Simplify t into t 11.831 * [backup-simplify]: Simplify (/ z t) into (/ z t) 11.831 * [taylor]: Taking taylor expansion of (- (+ (/ y t) (/ x t)) (/ z t)) in t 11.831 * [taylor]: Taking taylor expansion of (+ (/ y t) (/ x t)) in t 11.831 * [taylor]: Taking taylor expansion of (/ y t) in t 11.831 * [taylor]: Taking taylor expansion of y in t 11.831 * [backup-simplify]: Simplify y into y 11.831 * [taylor]: Taking taylor expansion of t in t 11.831 * [backup-simplify]: Simplify 0 into 0 11.831 * [backup-simplify]: Simplify 1 into 1 11.831 * [backup-simplify]: Simplify (/ y 1) into y 11.831 * [taylor]: Taking taylor expansion of (/ x t) in t 11.831 * [taylor]: Taking taylor expansion of x in t 11.831 * [backup-simplify]: Simplify x into x 11.831 * [taylor]: Taking taylor expansion of t in t 11.831 * [backup-simplify]: Simplify 0 into 0 11.831 * [backup-simplify]: Simplify 1 into 1 11.832 * [backup-simplify]: Simplify (/ x 1) into x 11.832 * [taylor]: Taking taylor expansion of (/ z t) in t 11.832 * [taylor]: Taking taylor expansion of z in t 11.832 * [backup-simplify]: Simplify z into z 11.832 * [taylor]: Taking taylor expansion of t in t 11.832 * [backup-simplify]: Simplify 0 into 0 11.832 * [backup-simplify]: Simplify 1 into 1 11.832 * [backup-simplify]: Simplify (/ z 1) into z 11.832 * [taylor]: Taking taylor expansion of (- (+ (/ y t) (/ x t)) (/ z t)) in t 11.832 * [taylor]: Taking taylor expansion of (+ (/ y t) (/ x t)) in t 11.832 * [taylor]: Taking taylor expansion of (/ y t) in t 11.832 * [taylor]: Taking taylor expansion of y in t 11.832 * [backup-simplify]: Simplify y into y 11.832 * [taylor]: Taking taylor expansion of t in t 11.832 * [backup-simplify]: Simplify 0 into 0 11.832 * [backup-simplify]: Simplify 1 into 1 11.832 * [backup-simplify]: Simplify (/ y 1) into y 11.832 * [taylor]: Taking taylor expansion of (/ x t) in t 11.832 * [taylor]: Taking taylor expansion of x in t 11.832 * [backup-simplify]: Simplify x into x 11.832 * [taylor]: Taking taylor expansion of t in t 11.832 * [backup-simplify]: Simplify 0 into 0 11.832 * [backup-simplify]: Simplify 1 into 1 11.832 * [backup-simplify]: Simplify (/ x 1) into x 11.832 * [taylor]: Taking taylor expansion of (/ z t) in t 11.832 * [taylor]: Taking taylor expansion of z in t 11.832 * [backup-simplify]: Simplify z into z 11.832 * [taylor]: Taking taylor expansion of t in t 11.832 * [backup-simplify]: Simplify 0 into 0 11.832 * [backup-simplify]: Simplify 1 into 1 11.832 * [backup-simplify]: Simplify (/ z 1) into z 11.832 * [backup-simplify]: Simplify (+ y x) into (+ x y) 11.832 * [backup-simplify]: Simplify (- z) into (- z) 11.832 * [backup-simplify]: Simplify (+ (+ x y) (- z)) into (- (+ x y) z) 11.832 * [taylor]: Taking taylor expansion of (- (+ x y) z) in y 11.832 * [taylor]: Taking taylor expansion of (+ x y) in y 11.832 * [taylor]: Taking taylor expansion of x in y 11.832 * [backup-simplify]: Simplify x into x 11.832 * [taylor]: Taking taylor expansion of y in y 11.832 * [backup-simplify]: Simplify 0 into 0 11.832 * [backup-simplify]: Simplify 1 into 1 11.832 * [taylor]: Taking taylor expansion of z in y 11.832 * [backup-simplify]: Simplify z into z 11.832 * [backup-simplify]: Simplify (+ x 0) into x 11.832 * [backup-simplify]: Simplify (- z) into (- z) 11.832 * [backup-simplify]: Simplify (+ x (- z)) into (- x z) 11.832 * [taylor]: Taking taylor expansion of (- x z) in x 11.832 * [taylor]: Taking taylor expansion of x in x 11.832 * [backup-simplify]: Simplify 0 into 0 11.832 * [backup-simplify]: Simplify 1 into 1 11.832 * [taylor]: Taking taylor expansion of z in x 11.833 * [backup-simplify]: Simplify z into z 11.833 * [backup-simplify]: Simplify (- z) into (- z) 11.833 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 11.833 * [taylor]: Taking taylor expansion of (- z) in z 11.833 * [taylor]: Taking taylor expansion of z in z 11.833 * [backup-simplify]: Simplify 0 into 0 11.833 * [backup-simplify]: Simplify 1 into 1 11.833 * [backup-simplify]: Simplify (- 0) into 0 11.833 * [backup-simplify]: Simplify 0 into 0 11.833 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 11.834 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0 11.834 * [backup-simplify]: Simplify (+ 0 0) into 0 11.835 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 11.835 * [backup-simplify]: Simplify (- 0) into 0 11.835 * [backup-simplify]: Simplify (+ 0 0) into 0 11.835 * [taylor]: Taking taylor expansion of 0 in y 11.835 * [backup-simplify]: Simplify 0 into 0 11.835 * [taylor]: Taking taylor expansion of 0 in x 11.835 * [backup-simplify]: Simplify 0 into 0 11.835 * [taylor]: Taking taylor expansion of 0 in z 11.835 * [backup-simplify]: Simplify 0 into 0 11.835 * [backup-simplify]: Simplify 0 into 0 11.838 * [backup-simplify]: Simplify (+ 0 1) into 1 11.838 * [backup-simplify]: Simplify (- 0) into 0 11.838 * [backup-simplify]: Simplify (+ 1 0) into 1 11.838 * [taylor]: Taking taylor expansion of 1 in x 11.838 * [backup-simplify]: Simplify 1 into 1 11.838 * [taylor]: Taking taylor expansion of 1 in z 11.838 * [backup-simplify]: Simplify 1 into 1 11.838 * [backup-simplify]: Simplify 1 into 1 11.839 * [backup-simplify]: Simplify (- 0) into 0 11.839 * [backup-simplify]: Simplify (+ 1 0) into 1 11.839 * [taylor]: Taking taylor expansion of 1 in z 11.839 * [backup-simplify]: Simplify 1 into 1 11.839 * [backup-simplify]: Simplify 1 into 1 11.839 * [backup-simplify]: Simplify (- 1) into -1 11.839 * [backup-simplify]: Simplify -1 into -1 11.840 * [backup-simplify]: Simplify (+ (* -1 (* z (* 1 (* 1 (/ 1 t))))) (+ (* 1 (* 1 (* x (* 1 (/ 1 t))))) (* 1 (* 1 (* 1 (* y (/ 1 t))))))) into (- (+ (/ y t) (/ x t)) (/ z t)) 11.840 * [backup-simplify]: Simplify (- (* (/ 1 (/ 1 t)) (+ (/ 1 y) (/ 1 x))) (/ (/ 1 z) (/ 1 t))) into (- (+ (/ t y) (/ t x)) (/ t z)) 11.840 * [approximate]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in (t y x z) around 0 11.840 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in z 11.840 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in z 11.840 * [taylor]: Taking taylor expansion of (/ t y) in z 11.840 * [taylor]: Taking taylor expansion of t in z 11.840 * [backup-simplify]: Simplify t into t 11.840 * [taylor]: Taking taylor expansion of y in z 11.840 * [backup-simplify]: Simplify y into y 11.840 * [backup-simplify]: Simplify (/ t y) into (/ t y) 11.840 * [taylor]: Taking taylor expansion of (/ t x) in z 11.840 * [taylor]: Taking taylor expansion of t in z 11.840 * [backup-simplify]: Simplify t into t 11.840 * [taylor]: Taking taylor expansion of x in z 11.840 * [backup-simplify]: Simplify x into x 11.840 * [backup-simplify]: Simplify (/ t x) into (/ t x) 11.840 * [taylor]: Taking taylor expansion of (/ t z) in z 11.840 * [taylor]: Taking taylor expansion of t in z 11.840 * [backup-simplify]: Simplify t into t 11.840 * [taylor]: Taking taylor expansion of z in z 11.840 * [backup-simplify]: Simplify 0 into 0 11.840 * [backup-simplify]: Simplify 1 into 1 11.840 * [backup-simplify]: Simplify (/ t 1) into t 11.840 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in x 11.840 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in x 11.840 * [taylor]: Taking taylor expansion of (/ t y) in x 11.840 * [taylor]: Taking taylor expansion of t in x 11.840 * [backup-simplify]: Simplify t into t 11.840 * [taylor]: Taking taylor expansion of y in x 11.840 * [backup-simplify]: Simplify y into y 11.840 * [backup-simplify]: Simplify (/ t y) into (/ t y) 11.840 * [taylor]: Taking taylor expansion of (/ t x) in x 11.840 * [taylor]: Taking taylor expansion of t in x 11.840 * [backup-simplify]: Simplify t into t 11.840 * [taylor]: Taking taylor expansion of x in x 11.840 * [backup-simplify]: Simplify 0 into 0 11.840 * [backup-simplify]: Simplify 1 into 1 11.840 * [backup-simplify]: Simplify (/ t 1) into t 11.840 * [taylor]: Taking taylor expansion of (/ t z) in x 11.840 * [taylor]: Taking taylor expansion of t in x 11.840 * [backup-simplify]: Simplify t into t 11.841 * [taylor]: Taking taylor expansion of z in x 11.841 * [backup-simplify]: Simplify z into z 11.841 * [backup-simplify]: Simplify (/ t z) into (/ t z) 11.841 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in y 11.841 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in y 11.841 * [taylor]: Taking taylor expansion of (/ t y) in y 11.841 * [taylor]: Taking taylor expansion of t in y 11.841 * [backup-simplify]: Simplify t into t 11.841 * [taylor]: Taking taylor expansion of y in y 11.841 * [backup-simplify]: Simplify 0 into 0 11.841 * [backup-simplify]: Simplify 1 into 1 11.841 * [backup-simplify]: Simplify (/ t 1) into t 11.841 * [taylor]: Taking taylor expansion of (/ t x) in y 11.841 * [taylor]: Taking taylor expansion of t in y 11.841 * [backup-simplify]: Simplify t into t 11.841 * [taylor]: Taking taylor expansion of x in y 11.841 * [backup-simplify]: Simplify x into x 11.841 * [backup-simplify]: Simplify (/ t x) into (/ t x) 11.841 * [taylor]: Taking taylor expansion of (/ t z) in y 11.841 * [taylor]: Taking taylor expansion of t in y 11.841 * [backup-simplify]: Simplify t into t 11.841 * [taylor]: Taking taylor expansion of z in y 11.841 * [backup-simplify]: Simplify z into z 11.841 * [backup-simplify]: Simplify (/ t z) into (/ t z) 11.841 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in t 11.841 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in t 11.841 * [taylor]: Taking taylor expansion of (/ t y) in t 11.841 * [taylor]: Taking taylor expansion of t in t 11.841 * [backup-simplify]: Simplify 0 into 0 11.841 * [backup-simplify]: Simplify 1 into 1 11.841 * [taylor]: Taking taylor expansion of y in t 11.841 * [backup-simplify]: Simplify y into y 11.841 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.841 * [taylor]: Taking taylor expansion of (/ t x) in t 11.841 * [taylor]: Taking taylor expansion of t in t 11.841 * [backup-simplify]: Simplify 0 into 0 11.841 * [backup-simplify]: Simplify 1 into 1 11.841 * [taylor]: Taking taylor expansion of x in t 11.841 * [backup-simplify]: Simplify x into x 11.841 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.841 * [taylor]: Taking taylor expansion of (/ t z) in t 11.841 * [taylor]: Taking taylor expansion of t in t 11.841 * [backup-simplify]: Simplify 0 into 0 11.841 * [backup-simplify]: Simplify 1 into 1 11.841 * [taylor]: Taking taylor expansion of z in t 11.841 * [backup-simplify]: Simplify z into z 11.841 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.841 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in t 11.841 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in t 11.841 * [taylor]: Taking taylor expansion of (/ t y) in t 11.841 * [taylor]: Taking taylor expansion of t in t 11.841 * [backup-simplify]: Simplify 0 into 0 11.841 * [backup-simplify]: Simplify 1 into 1 11.841 * [taylor]: Taking taylor expansion of y in t 11.841 * [backup-simplify]: Simplify y into y 11.841 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.841 * [taylor]: Taking taylor expansion of (/ t x) in t 11.841 * [taylor]: Taking taylor expansion of t in t 11.842 * [backup-simplify]: Simplify 0 into 0 11.842 * [backup-simplify]: Simplify 1 into 1 11.842 * [taylor]: Taking taylor expansion of x in t 11.842 * [backup-simplify]: Simplify x into x 11.842 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.842 * [taylor]: Taking taylor expansion of (/ t z) in t 11.842 * [taylor]: Taking taylor expansion of t in t 11.842 * [backup-simplify]: Simplify 0 into 0 11.842 * [backup-simplify]: Simplify 1 into 1 11.842 * [taylor]: Taking taylor expansion of z in t 11.842 * [backup-simplify]: Simplify z into z 11.842 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.842 * [backup-simplify]: Simplify (+ (/ 1 y) (/ 1 x)) into (+ (/ 1 x) (/ 1 y)) 11.842 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 11.842 * [backup-simplify]: Simplify (+ (+ (/ 1 x) (/ 1 y)) (- (/ 1 z))) into (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) 11.842 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) in y 11.842 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 11.842 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.842 * [taylor]: Taking taylor expansion of x in y 11.842 * [backup-simplify]: Simplify x into x 11.842 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.842 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.842 * [taylor]: Taking taylor expansion of y in y 11.842 * [backup-simplify]: Simplify 0 into 0 11.842 * [backup-simplify]: Simplify 1 into 1 11.842 * [backup-simplify]: Simplify (/ 1 1) into 1 11.842 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.842 * [taylor]: Taking taylor expansion of z in y 11.842 * [backup-simplify]: Simplify z into z 11.842 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.843 * [backup-simplify]: Simplify (+ 0 1) into 1 11.843 * [backup-simplify]: Simplify (+ 1 0) into 1 11.843 * [taylor]: Taking taylor expansion of 1 in x 11.843 * [backup-simplify]: Simplify 1 into 1 11.843 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0 11.843 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0 11.844 * [backup-simplify]: Simplify (+ 0 0) into 0 11.844 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 11.844 * [backup-simplify]: Simplify (- 0) into 0 11.844 * [backup-simplify]: Simplify (+ 0 0) into 0 11.844 * [taylor]: Taking taylor expansion of 0 in y 11.844 * [backup-simplify]: Simplify 0 into 0 11.845 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.845 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 11.845 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 11.845 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z)) 11.845 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 11.845 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.845 * [taylor]: Taking taylor expansion of x in x 11.845 * [backup-simplify]: Simplify 0 into 0 11.845 * [backup-simplify]: Simplify 1 into 1 11.845 * [backup-simplify]: Simplify (/ 1 1) into 1 11.845 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.845 * [taylor]: Taking taylor expansion of z in x 11.845 * [backup-simplify]: Simplify z into z 11.845 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.846 * [backup-simplify]: Simplify (+ 1 0) into 1 11.846 * [taylor]: Taking taylor expansion of 1 in z 11.846 * [backup-simplify]: Simplify 1 into 1 11.846 * [taylor]: Taking taylor expansion of 1 in z 11.846 * [backup-simplify]: Simplify 1 into 1 11.846 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.846 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 11.846 * [backup-simplify]: Simplify (+ 0 0) into 0 11.846 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 11.847 * [backup-simplify]: Simplify (- 0) into 0 11.847 * [backup-simplify]: Simplify (+ 0 0) into 0 11.847 * [taylor]: Taking taylor expansion of 0 in y 11.847 * [backup-simplify]: Simplify 0 into 0 11.847 * [taylor]: Taking taylor expansion of 0 in x 11.847 * [backup-simplify]: Simplify 0 into 0 11.847 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 11.848 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.848 * [backup-simplify]: Simplify (+ 0 0) into 0 11.848 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 11.848 * [backup-simplify]: Simplify (- 0) into 0 11.848 * [backup-simplify]: Simplify (+ 0 0) into 0 11.848 * [taylor]: Taking taylor expansion of 0 in x 11.848 * [backup-simplify]: Simplify 0 into 0 11.849 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.849 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 11.849 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z)) 11.849 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 11.849 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.849 * [taylor]: Taking taylor expansion of z in z 11.849 * [backup-simplify]: Simplify 0 into 0 11.849 * [backup-simplify]: Simplify 1 into 1 11.849 * [backup-simplify]: Simplify (/ 1 1) into 1 11.850 * [backup-simplify]: Simplify (- 1) into -1 11.850 * [backup-simplify]: Simplify -1 into -1 11.850 * [taylor]: Taking taylor expansion of 0 in z 11.850 * [backup-simplify]: Simplify 0 into 0 11.850 * [backup-simplify]: Simplify 1 into 1 11.850 * [backup-simplify]: Simplify 1 into 1 11.850 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 t))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) (* 1 (/ 1 t))))) (* -1 (* (/ 1 (/ 1 z)) (* 1 (* 1 (/ 1 t))))))) into (- (+ (/ y t) (/ x t)) (/ z t)) 11.851 * [backup-simplify]: Simplify (- (* (/ 1 (/ 1 (- t))) (+ (/ 1 (- y)) (/ 1 (- x)))) (/ (/ 1 (- z)) (/ 1 (- t)))) into (- (+ (/ t y) (/ t x)) (/ t z)) 11.851 * [approximate]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in (t y x z) around 0 11.851 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in z 11.851 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in z 11.851 * [taylor]: Taking taylor expansion of (/ t y) in z 11.851 * [taylor]: Taking taylor expansion of t in z 11.851 * [backup-simplify]: Simplify t into t 11.851 * [taylor]: Taking taylor expansion of y in z 11.851 * [backup-simplify]: Simplify y into y 11.851 * [backup-simplify]: Simplify (/ t y) into (/ t y) 11.851 * [taylor]: Taking taylor expansion of (/ t x) in z 11.851 * [taylor]: Taking taylor expansion of t in z 11.851 * [backup-simplify]: Simplify t into t 11.851 * [taylor]: Taking taylor expansion of x in z 11.851 * [backup-simplify]: Simplify x into x 11.851 * [backup-simplify]: Simplify (/ t x) into (/ t x) 11.851 * [taylor]: Taking taylor expansion of (/ t z) in z 11.851 * [taylor]: Taking taylor expansion of t in z 11.851 * [backup-simplify]: Simplify t into t 11.851 * [taylor]: Taking taylor expansion of z in z 11.851 * [backup-simplify]: Simplify 0 into 0 11.851 * [backup-simplify]: Simplify 1 into 1 11.851 * [backup-simplify]: Simplify (/ t 1) into t 11.851 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in x 11.851 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in x 11.851 * [taylor]: Taking taylor expansion of (/ t y) in x 11.851 * [taylor]: Taking taylor expansion of t in x 11.851 * [backup-simplify]: Simplify t into t 11.851 * [taylor]: Taking taylor expansion of y in x 11.851 * [backup-simplify]: Simplify y into y 11.851 * [backup-simplify]: Simplify (/ t y) into (/ t y) 11.851 * [taylor]: Taking taylor expansion of (/ t x) in x 11.851 * [taylor]: Taking taylor expansion of t in x 11.851 * [backup-simplify]: Simplify t into t 11.851 * [taylor]: Taking taylor expansion of x in x 11.851 * [backup-simplify]: Simplify 0 into 0 11.851 * [backup-simplify]: Simplify 1 into 1 11.851 * [backup-simplify]: Simplify (/ t 1) into t 11.851 * [taylor]: Taking taylor expansion of (/ t z) in x 11.851 * [taylor]: Taking taylor expansion of t in x 11.851 * [backup-simplify]: Simplify t into t 11.851 * [taylor]: Taking taylor expansion of z in x 11.851 * [backup-simplify]: Simplify z into z 11.851 * [backup-simplify]: Simplify (/ t z) into (/ t z) 11.851 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in y 11.851 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in y 11.851 * [taylor]: Taking taylor expansion of (/ t y) in y 11.851 * [taylor]: Taking taylor expansion of t in y 11.851 * [backup-simplify]: Simplify t into t 11.852 * [taylor]: Taking taylor expansion of y in y 11.852 * [backup-simplify]: Simplify 0 into 0 11.852 * [backup-simplify]: Simplify 1 into 1 11.852 * [backup-simplify]: Simplify (/ t 1) into t 11.852 * [taylor]: Taking taylor expansion of (/ t x) in y 11.852 * [taylor]: Taking taylor expansion of t in y 11.852 * [backup-simplify]: Simplify t into t 11.852 * [taylor]: Taking taylor expansion of x in y 11.852 * [backup-simplify]: Simplify x into x 11.852 * [backup-simplify]: Simplify (/ t x) into (/ t x) 11.852 * [taylor]: Taking taylor expansion of (/ t z) in y 11.852 * [taylor]: Taking taylor expansion of t in y 11.852 * [backup-simplify]: Simplify t into t 11.852 * [taylor]: Taking taylor expansion of z in y 11.852 * [backup-simplify]: Simplify z into z 11.852 * [backup-simplify]: Simplify (/ t z) into (/ t z) 11.852 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in t 11.852 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in t 11.852 * [taylor]: Taking taylor expansion of (/ t y) in t 11.852 * [taylor]: Taking taylor expansion of t in t 11.852 * [backup-simplify]: Simplify 0 into 0 11.852 * [backup-simplify]: Simplify 1 into 1 11.852 * [taylor]: Taking taylor expansion of y in t 11.852 * [backup-simplify]: Simplify y into y 11.852 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.852 * [taylor]: Taking taylor expansion of (/ t x) in t 11.852 * [taylor]: Taking taylor expansion of t in t 11.852 * [backup-simplify]: Simplify 0 into 0 11.852 * [backup-simplify]: Simplify 1 into 1 11.852 * [taylor]: Taking taylor expansion of x in t 11.852 * [backup-simplify]: Simplify x into x 11.852 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.852 * [taylor]: Taking taylor expansion of (/ t z) in t 11.852 * [taylor]: Taking taylor expansion of t in t 11.852 * [backup-simplify]: Simplify 0 into 0 11.852 * [backup-simplify]: Simplify 1 into 1 11.852 * [taylor]: Taking taylor expansion of z in t 11.852 * [backup-simplify]: Simplify z into z 11.852 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.852 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in t 11.852 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in t 11.852 * [taylor]: Taking taylor expansion of (/ t y) in t 11.852 * [taylor]: Taking taylor expansion of t in t 11.852 * [backup-simplify]: Simplify 0 into 0 11.852 * [backup-simplify]: Simplify 1 into 1 11.852 * [taylor]: Taking taylor expansion of y in t 11.852 * [backup-simplify]: Simplify y into y 11.852 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.852 * [taylor]: Taking taylor expansion of (/ t x) in t 11.852 * [taylor]: Taking taylor expansion of t in t 11.852 * [backup-simplify]: Simplify 0 into 0 11.852 * [backup-simplify]: Simplify 1 into 1 11.852 * [taylor]: Taking taylor expansion of x in t 11.852 * [backup-simplify]: Simplify x into x 11.852 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.852 * [taylor]: Taking taylor expansion of (/ t z) in t 11.852 * [taylor]: Taking taylor expansion of t in t 11.853 * [backup-simplify]: Simplify 0 into 0 11.853 * [backup-simplify]: Simplify 1 into 1 11.853 * [taylor]: Taking taylor expansion of z in t 11.853 * [backup-simplify]: Simplify z into z 11.853 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.853 * [backup-simplify]: Simplify (+ (/ 1 y) (/ 1 x)) into (+ (/ 1 x) (/ 1 y)) 11.853 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 11.853 * [backup-simplify]: Simplify (+ (+ (/ 1 x) (/ 1 y)) (- (/ 1 z))) into (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) 11.853 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) in y 11.853 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 11.853 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.853 * [taylor]: Taking taylor expansion of x in y 11.853 * [backup-simplify]: Simplify x into x 11.853 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.853 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.853 * [taylor]: Taking taylor expansion of y in y 11.853 * [backup-simplify]: Simplify 0 into 0 11.853 * [backup-simplify]: Simplify 1 into 1 11.853 * [backup-simplify]: Simplify (/ 1 1) into 1 11.853 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.853 * [taylor]: Taking taylor expansion of z in y 11.853 * [backup-simplify]: Simplify z into z 11.853 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.854 * [backup-simplify]: Simplify (+ 0 1) into 1 11.854 * [backup-simplify]: Simplify (+ 1 0) into 1 11.854 * [taylor]: Taking taylor expansion of 1 in x 11.854 * [backup-simplify]: Simplify 1 into 1 11.854 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0 11.854 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0 11.854 * [backup-simplify]: Simplify (+ 0 0) into 0 11.855 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 11.855 * [backup-simplify]: Simplify (- 0) into 0 11.855 * [backup-simplify]: Simplify (+ 0 0) into 0 11.855 * [taylor]: Taking taylor expansion of 0 in y 11.855 * [backup-simplify]: Simplify 0 into 0 11.855 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.856 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 11.856 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 11.856 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z)) 11.856 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 11.856 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.856 * [taylor]: Taking taylor expansion of x in x 11.856 * [backup-simplify]: Simplify 0 into 0 11.856 * [backup-simplify]: Simplify 1 into 1 11.856 * [backup-simplify]: Simplify (/ 1 1) into 1 11.856 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.856 * [taylor]: Taking taylor expansion of z in x 11.856 * [backup-simplify]: Simplify z into z 11.856 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.856 * [backup-simplify]: Simplify (+ 1 0) into 1 11.856 * [taylor]: Taking taylor expansion of 1 in z 11.856 * [backup-simplify]: Simplify 1 into 1 11.856 * [taylor]: Taking taylor expansion of 1 in z 11.856 * [backup-simplify]: Simplify 1 into 1 11.857 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.857 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 11.857 * [backup-simplify]: Simplify (+ 0 0) into 0 11.857 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 11.857 * [backup-simplify]: Simplify (- 0) into 0 11.858 * [backup-simplify]: Simplify (+ 0 0) into 0 11.858 * [taylor]: Taking taylor expansion of 0 in y 11.858 * [backup-simplify]: Simplify 0 into 0 11.858 * [taylor]: Taking taylor expansion of 0 in x 11.858 * [backup-simplify]: Simplify 0 into 0 11.858 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 11.858 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.858 * [backup-simplify]: Simplify (+ 0 0) into 0 11.859 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 11.859 * [backup-simplify]: Simplify (- 0) into 0 11.859 * [backup-simplify]: Simplify (+ 0 0) into 0 11.859 * [taylor]: Taking taylor expansion of 0 in x 11.859 * [backup-simplify]: Simplify 0 into 0 11.860 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.860 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 11.860 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z)) 11.860 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 11.860 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.860 * [taylor]: Taking taylor expansion of z in z 11.860 * [backup-simplify]: Simplify 0 into 0 11.860 * [backup-simplify]: Simplify 1 into 1 11.860 * [backup-simplify]: Simplify (/ 1 1) into 1 11.860 * [backup-simplify]: Simplify (- 1) into -1 11.860 * [backup-simplify]: Simplify -1 into -1 11.860 * [taylor]: Taking taylor expansion of 0 in z 11.860 * [backup-simplify]: Simplify 0 into 0 11.860 * [backup-simplify]: Simplify 1 into 1 11.860 * [backup-simplify]: Simplify 1 into 1 11.861 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (- t)))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- x))) (* 1 (/ 1 (- t)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* 1 (* 1 (/ 1 (- t)))))))) into (- (+ (/ y t) (/ x t)) (/ z t)) 11.861 * * * [progress]: simplifying candidates 11.862 * [simplify]: Simplifying: (* (/ 1 t) (+ y x)) (+ (- (log t)) (log (+ y x))) (+ (- 0 (log t)) (log (+ y x))) (+ (- (log 1) (log t)) (log (+ y x))) (+ (log (/ 1 t)) (log (+ y x))) (log (* (/ 1 t) (+ y x))) (exp (* (/ 1 t) (+ y x))) (* (/ (* (* 1 1) 1) (* (* t t) t)) (* (* (+ y x) (+ y x)) (+ y x))) (* (* (* (/ 1 t) (/ 1 t)) (/ 1 t)) (* (* (+ y x) (+ y x)) (+ y x))) (* (cbrt (* (/ 1 t) (+ y x))) (cbrt (* (/ 1 t) (+ y x)))) (cbrt (* (/ 1 t) (+ y x))) (* (* (* (/ 1 t) (+ y x)) (* (/ 1 t) (+ y x))) (* (/ 1 t) (+ y x))) (sqrt (* (/ 1 t) (+ y x))) (sqrt (* (/ 1 t) (+ y x))) (* 1 (+ (pow y 3) (pow x 3))) (* t (+ (* y y) (- (* x x) (* y x)))) (* 1 (- (* y y) (* x x))) (* t (- y x)) (* (sqrt (/ 1 t)) (sqrt (+ y x))) (* (sqrt (/ 1 t)) (sqrt (+ y x))) (* (/ (sqrt 1) (sqrt t)) (sqrt (+ y x))) (* (/ (sqrt 1) (sqrt t)) (sqrt (+ y x))) (* (/ 1 (sqrt t)) (sqrt (+ y x))) (* (/ 1 (sqrt t)) (sqrt (+ y x))) (* (/ 1 t) y) (* (/ 1 t) x) (* y (/ 1 t)) (* x (/ 1 t)) (* (/ 1 t) (* (cbrt (+ y x)) (cbrt (+ y x)))) (* (/ 1 t) (sqrt (+ y x))) (* (/ 1 t) 1) (* (/ 1 t) 1) (* (cbrt (/ 1 t)) (+ y x)) (* (sqrt (/ 1 t)) (+ y x)) (* (/ (cbrt 1) (cbrt t)) (+ y x)) (* (/ (cbrt 1) (sqrt t)) (+ y x)) (* (/ (cbrt 1) t) (+ y x)) (* (/ (sqrt 1) (cbrt t)) (+ y x)) (* (/ (sqrt 1) (sqrt t)) (+ y x)) (* (/ (sqrt 1) t) (+ y x)) (* (/ 1 (cbrt t)) (+ y x)) (* (/ 1 (sqrt t)) (+ y x)) (* (/ 1 t) (+ y x)) (* (/ 1 t) (+ y x)) (* (/ 1 t) (+ y x)) (* (/ 1 t) (+ (pow y 3) (pow x 3))) (* (/ 1 t) (- (* y y) (* x x))) (* 1 (+ y x)) (/ (exp (* (/ 1 t) (+ y x))) (exp (/ z t))) (log (- (* (/ 1 t) (+ y x)) (/ z t))) (exp (- (* (/ 1 t) (+ y x)) (/ z t))) (* (cbrt (- (* (/ 1 t) (+ y x)) (/ z t))) (cbrt (- (* (/ 1 t) (+ y x)) (/ z t)))) (cbrt (- (* (/ 1 t) (+ y x)) (/ z t))) (* (* (- (* (/ 1 t) (+ y x)) (/ z t)) (- (* (/ 1 t) (+ y x)) (/ z t))) (- (* (/ 1 t) (+ y x)) (/ z t))) (sqrt (- (* (/ 1 t) (+ y x)) (/ z t))) (sqrt (- (* (/ 1 t) (+ y x)) (/ z t))) (- (* 1 (+ y x)) z) (- (* (* 1 (+ (pow y 3) (pow x 3))) t) (* (* t (+ (* y y) (- (* x x) (* y x)))) z)) (* (* t (+ (* y y) (- (* x x) (* y x)))) t) (- (* (* 1 (- (* y y) (* x x))) t) (* (* t (- y x)) z)) (* (* t (- y x)) t) (- (* (* (/ 1 t) (+ (pow y 3) (pow x 3))) t) (* (+ (* y y) (- (* x x) (* y x))) z)) (* (+ (* y y) (- (* x x) (* y x))) t) (- (* (* (/ 1 t) (- (* y y) (* x x))) t) (* (- y x) z)) (* (- y x) t) (- (* (* 1 (+ y x)) t) (* t z)) (* t t) (- (pow (* (/ 1 t) (+ y x)) 3) (pow (/ z t) 3)) (+ (* (* (/ 1 t) (+ y x)) (* (/ 1 t) (+ y x))) (+ (* (/ z t) (/ z t)) (* (* (/ 1 t) (+ y x)) (/ z t)))) (- (/ z t)) (- (* (* (/ 1 t) (+ y x)) (* (/ 1 t) (+ y x))) (* (/ z t) (/ z t))) (+ (* (/ 1 t) (+ y x)) (/ z t)) (- (* (/ 1 t) x) (/ z t)) (- (* x (/ 1 t)) (/ z t)) (- (/ z t)) (+ (/ y t) (/ x t)) (+ (/ y t) (/ x t)) (+ (/ y t) (/ x t)) (- (+ (/ y t) (/ x t)) (/ z t)) (- (+ (/ y t) (/ x t)) (/ z t)) (- (+ (/ y t) (/ x t)) (/ z t)) 11.863 * * [simplify]: Extracting # 0 : cost 67 inf + 0 11.863 * * [simplify]: Extracting # 1 : cost 119 inf + 0 11.863 * * [simplify]: Extracting # 2 : cost 125 inf + 652 11.864 * * [simplify]: Extracting # 3 : cost 77 inf + 6455 11.866 * * [simplify]: Extracting # 4 : cost 29 inf + 15676 11.867 * * [simplify]: Extracting # 5 : cost 9 inf + 21988 11.869 * * [simplify]: Extracting # 6 : cost 0 inf + 25831 11.872 * * [simplify]: iteration 0 : 140 enodes (cost 18548 ) 11.908 * * [simplify]: Extracting # 0 : cost 0 inf + 25831 11.911 * * [simplify]: Extracting # 1 : cost 106 inf + 23200 11.917 * * [simplify]: Extracting # 2 : cost 5 inf + 35699 11.926 * * [simplify]: Extracting # 3 : cost 3 inf + 34669 11.932 * * [simplify]: Extracting # 4 : cost 0 inf + 35146 11.938 * * [simplify]: Extracting # 5 : cost 0 inf + 35026 11.944 * * [simplify]: Extracting # 6 : cost 0 inf + 34986 11.950 * * [simplify]: iteration 1 : 457 enodes (cost 15617 ) 12.098 * * [simplify]: Extracting # 0 : cost 0 inf + 34986 12.108 * * [simplify]: Extracting # 1 : cost 413 inf + 32056 12.126 * * [simplify]: Extracting # 2 : cost 6 inf + 83677 12.150 * * [simplify]: Extracting # 3 : cost 1 inf + 83226 12.182 * * [simplify]: Extracting # 4 : cost 0 inf + 83073 12.214 * * [simplify]: iteration 2 : 1571 enodes (cost 12924 ) 12.761 * * [simplify]: Extracting # 0 : cost 0 inf + 83073 12.798 * * [simplify]: Extracting # 1 : cost 1627 inf + 77009 12.885 * * [simplify]: Extracting # 2 : cost 34 inf + 354491 13.010 * * [simplify]: Extracting # 3 : cost 12 inf + 355488 13.156 * * [simplify]: Extracting # 4 : cost 0 inf + 358852 13.275 * * [simplify]: iteration complete: 5000 enodes (cost 12844 ) 13.276 * [simplify]: Simplified to: (/ (+ x y) t) (log (/ (+ x y) t)) (log (/ (+ x y) t)) (log (/ (+ x y) t)) (log (/ (+ x y) t)) (log (/ (+ x y) t)) (exp (/ (+ x y) t)) (* (/ (+ x y) t) (* (/ (+ x y) t) (/ (+ x y) t))) (* (/ (+ x y) t) (* (/ (+ x y) t) (/ (+ x y) t))) (* (cbrt (/ (+ x y) t)) (cbrt (/ (+ x y) t))) (cbrt (/ (+ x y) t)) (* (/ (+ x y) t) (* (/ (+ x y) t) (/ (+ x y) t))) (sqrt (/ (+ x y) t)) (sqrt (/ (+ x y) t)) (+ (* x (* x x)) (* y (* y y))) (* t (+ (* x (- x y)) (* y y))) (- (* y y) (* x x)) (* (- y x) t) (* (sqrt (/ 1 t)) (sqrt (+ y x))) (* (sqrt (/ 1 t)) (sqrt (+ y x))) (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt (+ x y)) (sqrt t)) (/ y t) (/ x t) (/ y t) (/ x t) (/ (* (cbrt (+ y x)) (cbrt (+ y x))) t) (/ (sqrt (+ x y)) t) (/ 1 t) (/ 1 t) (* (cbrt (/ 1 t)) (+ y x)) (* (sqrt (/ 1 t)) (+ y x)) (/ (+ x y) (cbrt t)) (/ (+ x y) (sqrt t)) (/ (+ x y) t) (/ (+ x y) (cbrt t)) (/ (+ x y) (sqrt t)) (/ (+ x y) t) (/ (+ x y) (cbrt t)) (/ (+ x y) (sqrt t)) (/ (+ x y) t) (/ (+ x y) t) (/ (+ x y) t) (/ (+ (* x (* x x)) (* y (* y y))) t) (/ (- (* y y) (* x x)) t) (+ x y) (exp (- (/ (+ x y) t) (/ z t))) (log (- (/ (+ x y) t) (/ z t))) (exp (- (/ (+ x y) t) (/ z t))) (* (cbrt (- (/ (+ x y) t) (/ z t))) (cbrt (- (/ (+ x y) t) (/ z t)))) (cbrt (- (/ (+ x y) t) (/ z t))) (* (- (/ (+ x y) t) (/ z t)) (* (- (/ (+ x y) t) (/ z t)) (- (/ (+ x y) t) (/ z t)))) (sqrt (- (/ (+ x y) t) (/ z t))) (sqrt (- (/ (+ x y) t) (/ z t))) (- (+ y x) z) (* t (- (+ (* x (* x x)) (* y (* y y))) (* z (+ (* x (- x y)) (* y y))))) (* (* t (+ (* x (- x y)) (* y y))) t) (* t (* (- y x) (- (+ y x) z))) (* (* t (- y x)) t) (- (* t (/ (+ (* x (* x x)) (* y (* y y))) t)) (* z (+ (* x (- x y)) (* y y)))) (* t (+ (* x (- x y)) (* y y))) (- (* (/ (- (* y y) (* x x)) t) t) (* (- y x) z)) (* (- y x) t) (* t (- (+ x y) z)) (* t t) (- (* (/ (+ x y) t) (* (/ (+ x y) t) (/ (+ x y) t))) (* (* (/ z t) (/ z t)) (/ z t))) (+ (* (/ z t) (+ (/ z t) (/ (+ x y) t))) (* (/ (+ x y) t) (/ (+ x y) t))) (- (/ z t)) (* (- (/ (+ x y) t) (/ z t)) (+ (/ z t) (/ (+ x y) t))) (+ (/ z t) (/ (+ x y) t)) (- (/ x t) (/ z t)) (- (/ x t) (/ z t)) (- (/ z t)) (/ (+ x y) t) (/ (+ x y) t) (/ (+ x y) t) (- (/ (+ x y) t) (/ z t)) (- (/ (+ x y) t) (/ z t)) (- (/ (+ x y) t) (/ z t)) 13.280 * * * [progress]: adding candidates to table 13.563 * [progress]: [Phase 3 of 3] Extracting. 13.563 * * [regime]: Finding splitpoints for: (# #) 13.563 * * * [regime-changes]: Trying 4 branch expressions: (t z y x) 13.563 * * * * [regimes]: Trying to branch on t from (# #) 13.618 * * * * [regimes]: Trying to branch on z from (# #) 13.676 * * * * [regimes]: Trying to branch on y from (# #) 13.729 * * * * [regimes]: Trying to branch on x from (# #) 13.791 * * * [regime]: Found split indices: #