11.347 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.032 * * * [progress]: [2/2] Setting up program. 0.036 * [progress]: [Phase 2 of 3] Improving. 0.036 * [simplify]: Simplifying: (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.75)) z)) y)) 0.037 * * [simplify]: iteration 0: 12 enodes 0.038 * * [simplify]: iteration 1: 22 enodes 0.041 * * [simplify]: iteration 2: 46 enodes 0.048 * * [simplify]: iteration 3: 110 enodes 0.076 * * [simplify]: iteration 4: 254 enodes 0.149 * * [simplify]: iteration 5: 476 enodes 0.277 * * [simplify]: iteration 6: 1000 enodes 0.871 * * [simplify]: iteration 7: 3848 enodes 2.065 * * [simplify]: iteration complete: 5001 enodes 2.066 * * [simplify]: Extracting #0: cost 1 inf + 0 2.066 * * [simplify]: Extracting #1: cost 159 inf + 0 2.068 * * [simplify]: Extracting #2: cost 905 inf + 3 2.073 * * [simplify]: Extracting #3: cost 1339 inf + 975 2.079 * * [simplify]: Extracting #4: cost 462 inf + 6682 2.085 * * [simplify]: Extracting #5: cost 16 inf + 9325 2.091 * * [simplify]: Extracting #6: cost 0 inf + 9369 2.097 * [simplify]: Simplified to: (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0) 2.107 * * [progress]: iteration 1 / 4 2.107 * * * [progress]: picking best candidate 2.114 * * * * [pick]: Picked # 2.114 * * * [progress]: localizing error 2.131 * * * [progress]: generating rewritten candidates 2.131 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1 2) 2.148 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 2.190 * * * [progress]: generating series expansions 2.190 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1 2) 2.190 * [backup-simplify]: Simplify (/ (- z x) y) into (/ (- z x) y) 2.191 * [approximate]: Taking taylor expansion of (/ (- z x) y) in (z x y) around 0 2.191 * [taylor]: Taking taylor expansion of (/ (- z x) y) in y 2.191 * [taylor]: Taking taylor expansion of (- z x) in y 2.191 * [taylor]: Taking taylor expansion of z in y 2.191 * [backup-simplify]: Simplify z into z 2.191 * [taylor]: Taking taylor expansion of x in y 2.191 * [backup-simplify]: Simplify x into x 2.191 * [taylor]: Taking taylor expansion of y in y 2.191 * [backup-simplify]: Simplify 0 into 0 2.191 * [backup-simplify]: Simplify 1 into 1 2.191 * [backup-simplify]: Simplify (- x) into (- x) 2.191 * [backup-simplify]: Simplify (+ z (- x)) into (- z x) 2.191 * [backup-simplify]: Simplify (/ (- z x) 1) into (- z x) 2.191 * [taylor]: Taking taylor expansion of (/ (- z x) y) in x 2.191 * [taylor]: Taking taylor expansion of (- z x) in x 2.191 * [taylor]: Taking taylor expansion of z in x 2.191 * [backup-simplify]: Simplify z into z 2.191 * [taylor]: Taking taylor expansion of x in x 2.191 * [backup-simplify]: Simplify 0 into 0 2.191 * [backup-simplify]: Simplify 1 into 1 2.191 * [taylor]: Taking taylor expansion of y in x 2.191 * [backup-simplify]: Simplify y into y 2.192 * [backup-simplify]: Simplify (- 0) into 0 2.192 * [backup-simplify]: Simplify (+ z 0) into z 2.192 * [backup-simplify]: Simplify (/ z y) into (/ z y) 2.192 * [taylor]: Taking taylor expansion of (/ (- z x) y) in z 2.192 * [taylor]: Taking taylor expansion of (- z x) in z 2.192 * [taylor]: Taking taylor expansion of z in z 2.192 * [backup-simplify]: Simplify 0 into 0 2.192 * [backup-simplify]: Simplify 1 into 1 2.192 * [taylor]: Taking taylor expansion of x in z 2.192 * [backup-simplify]: Simplify x into x 2.192 * [taylor]: Taking taylor expansion of y in z 2.192 * [backup-simplify]: Simplify y into y 2.192 * [backup-simplify]: Simplify (- x) into (- x) 2.192 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 2.192 * [backup-simplify]: Simplify (/ (- x) y) into (* -1 (/ x y)) 2.193 * [taylor]: Taking taylor expansion of (/ (- z x) y) in z 2.193 * [taylor]: Taking taylor expansion of (- z x) in z 2.193 * [taylor]: Taking taylor expansion of z in z 2.193 * [backup-simplify]: Simplify 0 into 0 2.193 * [backup-simplify]: Simplify 1 into 1 2.193 * [taylor]: Taking taylor expansion of x in z 2.193 * [backup-simplify]: Simplify x into x 2.193 * [taylor]: Taking taylor expansion of y in z 2.193 * [backup-simplify]: Simplify y into y 2.193 * [backup-simplify]: Simplify (- x) into (- x) 2.193 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 2.193 * [backup-simplify]: Simplify (/ (- x) y) into (* -1 (/ x y)) 2.193 * [taylor]: Taking taylor expansion of (* -1 (/ x y)) in x 2.193 * [taylor]: Taking taylor expansion of -1 in x 2.193 * [backup-simplify]: Simplify -1 into -1 2.193 * [taylor]: Taking taylor expansion of (/ x y) in x 2.193 * [taylor]: Taking taylor expansion of x in x 2.193 * [backup-simplify]: Simplify 0 into 0 2.193 * [backup-simplify]: Simplify 1 into 1 2.193 * [taylor]: Taking taylor expansion of y in x 2.193 * [backup-simplify]: Simplify y into y 2.193 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.194 * [backup-simplify]: Simplify (- 0) into 0 2.194 * [backup-simplify]: Simplify (+ 1 0) into 1 2.195 * [backup-simplify]: Simplify (- (/ 1 y) (+ (* (* -1 (/ x y)) (/ 0 y)))) into (/ 1 y) 2.195 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.195 * [taylor]: Taking taylor expansion of y in x 2.195 * [backup-simplify]: Simplify y into y 2.195 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.195 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.195 * [taylor]: Taking taylor expansion of y in y 2.195 * [backup-simplify]: Simplify 0 into 0 2.195 * [backup-simplify]: Simplify 1 into 1 2.195 * [backup-simplify]: Simplify (/ 1 1) into 1 2.195 * [backup-simplify]: Simplify 1 into 1 2.195 * [backup-simplify]: Simplify (* -1 (/ 1 y)) into (/ -1 y) 2.196 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.196 * [taylor]: Taking taylor expansion of -1 in y 2.196 * [backup-simplify]: Simplify -1 into -1 2.196 * [taylor]: Taking taylor expansion of y in y 2.196 * [backup-simplify]: Simplify 0 into 0 2.196 * [backup-simplify]: Simplify 1 into 1 2.196 * [backup-simplify]: Simplify (/ -1 1) into -1 2.196 * [backup-simplify]: Simplify -1 into -1 2.197 * [backup-simplify]: Simplify (- 0) into 0 2.197 * [backup-simplify]: Simplify (+ 0 0) into 0 2.197 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (* -1 (/ x y)) (/ 0 y)) (* (/ 1 y) (/ 0 y)))) into 0 2.197 * [taylor]: Taking taylor expansion of 0 in x 2.197 * [backup-simplify]: Simplify 0 into 0 2.197 * [taylor]: Taking taylor expansion of 0 in y 2.197 * [backup-simplify]: Simplify 0 into 0 2.198 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 2.198 * [taylor]: Taking taylor expansion of 0 in y 2.198 * [backup-simplify]: Simplify 0 into 0 2.198 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0 2.199 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 y))) into 0 2.199 * [taylor]: Taking taylor expansion of 0 in y 2.199 * [backup-simplify]: Simplify 0 into 0 2.199 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.200 * [backup-simplify]: Simplify 0 into 0 2.200 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 2.201 * [backup-simplify]: Simplify 0 into 0 2.201 * [backup-simplify]: Simplify (- 0) into 0 2.201 * [backup-simplify]: Simplify (+ 0 0) into 0 2.202 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (* -1 (/ x y)) (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.202 * [taylor]: Taking taylor expansion of 0 in x 2.202 * [backup-simplify]: Simplify 0 into 0 2.202 * [taylor]: Taking taylor expansion of 0 in y 2.202 * [backup-simplify]: Simplify 0 into 0 2.202 * [taylor]: Taking taylor expansion of 0 in y 2.202 * [backup-simplify]: Simplify 0 into 0 2.202 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.202 * [taylor]: Taking taylor expansion of 0 in y 2.202 * [backup-simplify]: Simplify 0 into 0 2.202 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.203 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 2.203 * [taylor]: Taking taylor expansion of 0 in y 2.204 * [backup-simplify]: Simplify 0 into 0 2.204 * [backup-simplify]: Simplify 0 into 0 2.204 * [backup-simplify]: Simplify 0 into 0 2.204 * [backup-simplify]: Simplify 0 into 0 2.205 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.205 * [backup-simplify]: Simplify 0 into 0 2.205 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 y) (* x 1))) (* 1 (* (/ 1 y) (* 1 z)))) into (- (/ z y) (/ x y)) 2.206 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) (/ 1 y)) into (* y (- (/ 1 z) (/ 1 x))) 2.206 * [approximate]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in (z x y) around 0 2.206 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in y 2.206 * [taylor]: Taking taylor expansion of y in y 2.206 * [backup-simplify]: Simplify 0 into 0 2.206 * [backup-simplify]: Simplify 1 into 1 2.206 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 2.206 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.206 * [taylor]: Taking taylor expansion of z in y 2.206 * [backup-simplify]: Simplify z into z 2.206 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 2.206 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.206 * [taylor]: Taking taylor expansion of x in y 2.206 * [backup-simplify]: Simplify x into x 2.206 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.206 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in x 2.206 * [taylor]: Taking taylor expansion of y in x 2.206 * [backup-simplify]: Simplify y into y 2.206 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 2.206 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.206 * [taylor]: Taking taylor expansion of z in x 2.206 * [backup-simplify]: Simplify z into z 2.206 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 2.206 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.206 * [taylor]: Taking taylor expansion of x in x 2.206 * [backup-simplify]: Simplify 0 into 0 2.206 * [backup-simplify]: Simplify 1 into 1 2.207 * [backup-simplify]: Simplify (/ 1 1) into 1 2.207 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in z 2.207 * [taylor]: Taking taylor expansion of y in z 2.207 * [backup-simplify]: Simplify y into y 2.207 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 2.207 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.207 * [taylor]: Taking taylor expansion of z in z 2.207 * [backup-simplify]: Simplify 0 into 0 2.207 * [backup-simplify]: Simplify 1 into 1 2.208 * [backup-simplify]: Simplify (/ 1 1) into 1 2.208 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.208 * [taylor]: Taking taylor expansion of x in z 2.208 * [backup-simplify]: Simplify x into x 2.208 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.208 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in z 2.208 * [taylor]: Taking taylor expansion of y in z 2.208 * [backup-simplify]: Simplify y into y 2.208 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 2.208 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.208 * [taylor]: Taking taylor expansion of z in z 2.208 * [backup-simplify]: Simplify 0 into 0 2.208 * [backup-simplify]: Simplify 1 into 1 2.209 * [backup-simplify]: Simplify (/ 1 1) into 1 2.209 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.209 * [taylor]: Taking taylor expansion of x in z 2.209 * [backup-simplify]: Simplify x into x 2.209 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.209 * [backup-simplify]: Simplify (+ 1 0) into 1 2.209 * [backup-simplify]: Simplify (* y 1) into y 2.210 * [taylor]: Taking taylor expansion of y in x 2.210 * [backup-simplify]: Simplify y into y 2.210 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.210 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 2.210 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 2.211 * [backup-simplify]: Simplify (+ (* y (- (/ 1 x))) (* 0 1)) into (- (/ y x)) 2.211 * [taylor]: Taking taylor expansion of (- (/ y x)) in x 2.211 * [taylor]: Taking taylor expansion of (/ y x) in x 2.211 * [taylor]: Taking taylor expansion of y in x 2.211 * [backup-simplify]: Simplify y into y 2.211 * [taylor]: Taking taylor expansion of x in x 2.211 * [backup-simplify]: Simplify 0 into 0 2.211 * [backup-simplify]: Simplify 1 into 1 2.211 * [backup-simplify]: Simplify (/ y 1) into y 2.211 * [backup-simplify]: Simplify (- y) into (- y) 2.211 * [taylor]: Taking taylor expansion of (- y) in y 2.211 * [taylor]: Taking taylor expansion of y in y 2.211 * [backup-simplify]: Simplify 0 into 0 2.211 * [backup-simplify]: Simplify 1 into 1 2.211 * [backup-simplify]: Simplify (- 0) into 0 2.211 * [backup-simplify]: Simplify 0 into 0 2.211 * [taylor]: Taking taylor expansion of y in y 2.211 * [backup-simplify]: Simplify 0 into 0 2.211 * [backup-simplify]: Simplify 1 into 1 2.211 * [backup-simplify]: Simplify 0 into 0 2.212 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.212 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 2.212 * [backup-simplify]: Simplify (- 0) into 0 2.213 * [backup-simplify]: Simplify (+ 0 0) into 0 2.213 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 (- (/ 1 x))) (* 0 1))) into 0 2.213 * [taylor]: Taking taylor expansion of 0 in x 2.213 * [backup-simplify]: Simplify 0 into 0 2.214 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 2.214 * [backup-simplify]: Simplify (- 0) into 0 2.214 * [taylor]: Taking taylor expansion of 0 in y 2.214 * [backup-simplify]: Simplify 0 into 0 2.214 * [backup-simplify]: Simplify 0 into 0 2.214 * [taylor]: Taking taylor expansion of 0 in y 2.214 * [backup-simplify]: Simplify 0 into 0 2.214 * [backup-simplify]: Simplify 0 into 0 2.214 * [backup-simplify]: Simplify (- 1) into -1 2.214 * [backup-simplify]: Simplify -1 into -1 2.214 * [backup-simplify]: Simplify 1 into 1 2.215 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.215 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.215 * [backup-simplify]: Simplify (- 0) into 0 2.216 * [backup-simplify]: Simplify (+ 0 0) into 0 2.216 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 (- (/ 1 x))) (* 0 1)))) into 0 2.216 * [taylor]: Taking taylor expansion of 0 in x 2.216 * [backup-simplify]: Simplify 0 into 0 2.216 * [taylor]: Taking taylor expansion of 0 in y 2.216 * [backup-simplify]: Simplify 0 into 0 2.216 * [backup-simplify]: Simplify 0 into 0 2.217 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.217 * [backup-simplify]: Simplify (- 0) into 0 2.217 * [taylor]: Taking taylor expansion of 0 in y 2.217 * [backup-simplify]: Simplify 0 into 0 2.217 * [backup-simplify]: Simplify 0 into 0 2.218 * [taylor]: Taking taylor expansion of 0 in y 2.218 * [backup-simplify]: Simplify 0 into 0 2.218 * [backup-simplify]: Simplify 0 into 0 2.218 * [backup-simplify]: Simplify 0 into 0 2.218 * [backup-simplify]: Simplify 0 into 0 2.218 * [backup-simplify]: Simplify (- 0) into 0 2.218 * [backup-simplify]: Simplify 0 into 0 2.218 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 y) (* 1 (/ 1 (/ 1 z))))) (* -1 (* (/ 1 y) (* (/ 1 (/ 1 x)) 1)))) into (- (/ z y) (/ x y)) 2.218 * [backup-simplify]: Simplify (/ (- (/ 1 (- z)) (/ 1 (- x))) (/ 1 (- y))) into (* -1 (* (- (/ 1 x) (/ 1 z)) y)) 2.218 * [approximate]: Taking taylor expansion of (* -1 (* (- (/ 1 x) (/ 1 z)) y)) in (z x y) around 0 2.218 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 x) (/ 1 z)) y)) in y 2.218 * [taylor]: Taking taylor expansion of -1 in y 2.218 * [backup-simplify]: Simplify -1 into -1 2.218 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) y) in y 2.218 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 2.218 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.218 * [taylor]: Taking taylor expansion of x in y 2.218 * [backup-simplify]: Simplify x into x 2.218 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.218 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.218 * [taylor]: Taking taylor expansion of z in y 2.218 * [backup-simplify]: Simplify z into z 2.219 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 2.219 * [taylor]: Taking taylor expansion of y in y 2.219 * [backup-simplify]: Simplify 0 into 0 2.219 * [backup-simplify]: Simplify 1 into 1 2.219 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 x) (/ 1 z)) y)) in x 2.219 * [taylor]: Taking taylor expansion of -1 in x 2.219 * [backup-simplify]: Simplify -1 into -1 2.219 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) y) in x 2.219 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 2.219 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.219 * [taylor]: Taking taylor expansion of x in x 2.219 * [backup-simplify]: Simplify 0 into 0 2.219 * [backup-simplify]: Simplify 1 into 1 2.219 * [backup-simplify]: Simplify (/ 1 1) into 1 2.219 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.219 * [taylor]: Taking taylor expansion of z in x 2.219 * [backup-simplify]: Simplify z into z 2.219 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 2.219 * [taylor]: Taking taylor expansion of y in x 2.219 * [backup-simplify]: Simplify y into y 2.219 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 x) (/ 1 z)) y)) in z 2.219 * [taylor]: Taking taylor expansion of -1 in z 2.219 * [backup-simplify]: Simplify -1 into -1 2.219 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) y) in z 2.219 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 2.219 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.219 * [taylor]: Taking taylor expansion of x in z 2.219 * [backup-simplify]: Simplify x into x 2.219 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.219 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.219 * [taylor]: Taking taylor expansion of z in z 2.219 * [backup-simplify]: Simplify 0 into 0 2.219 * [backup-simplify]: Simplify 1 into 1 2.220 * [backup-simplify]: Simplify (/ 1 1) into 1 2.220 * [taylor]: Taking taylor expansion of y in z 2.220 * [backup-simplify]: Simplify y into y 2.220 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 x) (/ 1 z)) y)) in z 2.220 * [taylor]: Taking taylor expansion of -1 in z 2.220 * [backup-simplify]: Simplify -1 into -1 2.220 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) y) in z 2.220 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 2.220 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.220 * [taylor]: Taking taylor expansion of x in z 2.220 * [backup-simplify]: Simplify x into x 2.220 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.220 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.220 * [taylor]: Taking taylor expansion of z in z 2.220 * [backup-simplify]: Simplify 0 into 0 2.220 * [backup-simplify]: Simplify 1 into 1 2.220 * [backup-simplify]: Simplify (/ 1 1) into 1 2.220 * [taylor]: Taking taylor expansion of y in z 2.220 * [backup-simplify]: Simplify y into y 2.221 * [backup-simplify]: Simplify (- 1) into -1 2.221 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.221 * [backup-simplify]: Simplify (* -1 y) into (* -1 y) 2.221 * [backup-simplify]: Simplify (* -1 (* -1 y)) into y 2.221 * [taylor]: Taking taylor expansion of y in x 2.221 * [backup-simplify]: Simplify y into y 2.222 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.222 * [backup-simplify]: Simplify (- 0) into 0 2.222 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 2.222 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 x) y)) into (/ y x) 2.222 * [backup-simplify]: Simplify (+ (* -1 (/ y x)) (* 0 (* -1 y))) into (- (/ y x)) 2.222 * [taylor]: Taking taylor expansion of (- (/ y x)) in x 2.222 * [taylor]: Taking taylor expansion of (/ y x) in x 2.222 * [taylor]: Taking taylor expansion of y in x 2.222 * [backup-simplify]: Simplify y into y 2.222 * [taylor]: Taking taylor expansion of x in x 2.222 * [backup-simplify]: Simplify 0 into 0 2.222 * [backup-simplify]: Simplify 1 into 1 2.222 * [backup-simplify]: Simplify (/ y 1) into y 2.222 * [backup-simplify]: Simplify (- y) into (- y) 2.223 * [taylor]: Taking taylor expansion of (- y) in y 2.223 * [taylor]: Taking taylor expansion of y in y 2.223 * [backup-simplify]: Simplify 0 into 0 2.223 * [backup-simplify]: Simplify 1 into 1 2.223 * [backup-simplify]: Simplify (- 0) into 0 2.223 * [backup-simplify]: Simplify 0 into 0 2.223 * [taylor]: Taking taylor expansion of y in y 2.223 * [backup-simplify]: Simplify 0 into 0 2.223 * [backup-simplify]: Simplify 1 into 1 2.223 * [backup-simplify]: Simplify 0 into 0 2.223 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 2.224 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.224 * [backup-simplify]: Simplify (- 0) into 0 2.224 * [backup-simplify]: Simplify (+ 0 0) into 0 2.224 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 x) 0) (* 0 y))) into 0 2.225 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ y x)) (* 0 (* -1 y)))) into 0 2.225 * [taylor]: Taking taylor expansion of 0 in x 2.225 * [backup-simplify]: Simplify 0 into 0 2.225 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 2.226 * [backup-simplify]: Simplify (- 0) into 0 2.226 * [taylor]: Taking taylor expansion of 0 in y 2.226 * [backup-simplify]: Simplify 0 into 0 2.226 * [backup-simplify]: Simplify 0 into 0 2.226 * [taylor]: Taking taylor expansion of 0 in y 2.226 * [backup-simplify]: Simplify 0 into 0 2.226 * [backup-simplify]: Simplify 0 into 0 2.226 * [backup-simplify]: Simplify (- 1) into -1 2.226 * [backup-simplify]: Simplify -1 into -1 2.226 * [backup-simplify]: Simplify 1 into 1 2.226 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.227 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.227 * [backup-simplify]: Simplify (- 0) into 0 2.227 * [backup-simplify]: Simplify (+ 0 0) into 0 2.228 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 x) 0) (+ (* 0 0) (* 0 y)))) into 0 2.229 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ y x)) (* 0 (* -1 y))))) into 0 2.229 * [taylor]: Taking taylor expansion of 0 in x 2.229 * [backup-simplify]: Simplify 0 into 0 2.229 * [taylor]: Taking taylor expansion of 0 in y 2.229 * [backup-simplify]: Simplify 0 into 0 2.229 * [backup-simplify]: Simplify 0 into 0 2.230 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.230 * [backup-simplify]: Simplify (- 0) into 0 2.230 * [taylor]: Taking taylor expansion of 0 in y 2.230 * [backup-simplify]: Simplify 0 into 0 2.230 * [backup-simplify]: Simplify 0 into 0 2.230 * [taylor]: Taking taylor expansion of 0 in y 2.230 * [backup-simplify]: Simplify 0 into 0 2.230 * [backup-simplify]: Simplify 0 into 0 2.230 * [backup-simplify]: Simplify 0 into 0 2.230 * [backup-simplify]: Simplify 0 into 0 2.231 * [backup-simplify]: Simplify (- 0) into 0 2.231 * [backup-simplify]: Simplify 0 into 0 2.231 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (- y)) (* 1 (/ 1 (/ 1 (- z)))))) (* -1 (* (/ 1 (- y)) (* (/ 1 (/ 1 (- x))) 1)))) into (- (/ z y) (/ x y)) 2.232 * * * * [progress]: [ 2 / 2 ] generating series at (2) 2.232 * [backup-simplify]: Simplify (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0) into (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y))) 2.232 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y))) in (z x y) around 0 2.232 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y))) in y 2.232 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 4.0) in y 2.232 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in y 2.232 * [taylor]: Taking taylor expansion of 4.0 in y 2.232 * [backup-simplify]: Simplify 4.0 into 4.0 2.232 * [taylor]: Taking taylor expansion of (/ x y) in y 2.232 * [taylor]: Taking taylor expansion of x in y 2.232 * [backup-simplify]: Simplify x into x 2.232 * [taylor]: Taking taylor expansion of y in y 2.232 * [backup-simplify]: Simplify 0 into 0 2.232 * [backup-simplify]: Simplify 1 into 1 2.232 * [backup-simplify]: Simplify (/ x 1) into x 2.232 * [taylor]: Taking taylor expansion of 4.0 in y 2.232 * [backup-simplify]: Simplify 4.0 into 4.0 2.232 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in y 2.232 * [taylor]: Taking taylor expansion of 4.0 in y 2.233 * [backup-simplify]: Simplify 4.0 into 4.0 2.233 * [taylor]: Taking taylor expansion of (/ z y) in y 2.233 * [taylor]: Taking taylor expansion of z in y 2.233 * [backup-simplify]: Simplify z into z 2.233 * [taylor]: Taking taylor expansion of y in y 2.233 * [backup-simplify]: Simplify 0 into 0 2.233 * [backup-simplify]: Simplify 1 into 1 2.233 * [backup-simplify]: Simplify (/ z 1) into z 2.233 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y))) in x 2.233 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 4.0) in x 2.233 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in x 2.233 * [taylor]: Taking taylor expansion of 4.0 in x 2.233 * [backup-simplify]: Simplify 4.0 into 4.0 2.233 * [taylor]: Taking taylor expansion of (/ x y) in x 2.233 * [taylor]: Taking taylor expansion of x in x 2.233 * [backup-simplify]: Simplify 0 into 0 2.233 * [backup-simplify]: Simplify 1 into 1 2.233 * [taylor]: Taking taylor expansion of y in x 2.233 * [backup-simplify]: Simplify y into y 2.233 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.233 * [taylor]: Taking taylor expansion of 4.0 in x 2.233 * [backup-simplify]: Simplify 4.0 into 4.0 2.233 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in x 2.233 * [taylor]: Taking taylor expansion of 4.0 in x 2.233 * [backup-simplify]: Simplify 4.0 into 4.0 2.233 * [taylor]: Taking taylor expansion of (/ z y) in x 2.233 * [taylor]: Taking taylor expansion of z in x 2.233 * [backup-simplify]: Simplify z into z 2.233 * [taylor]: Taking taylor expansion of y in x 2.233 * [backup-simplify]: Simplify y into y 2.233 * [backup-simplify]: Simplify (/ z y) into (/ z y) 2.234 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y))) in z 2.234 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 4.0) in z 2.234 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in z 2.234 * [taylor]: Taking taylor expansion of 4.0 in z 2.234 * [backup-simplify]: Simplify 4.0 into 4.0 2.234 * [taylor]: Taking taylor expansion of (/ x y) in z 2.234 * [taylor]: Taking taylor expansion of x in z 2.234 * [backup-simplify]: Simplify x into x 2.234 * [taylor]: Taking taylor expansion of y in z 2.234 * [backup-simplify]: Simplify y into y 2.234 * [backup-simplify]: Simplify (/ x y) into (/ x y) 2.234 * [taylor]: Taking taylor expansion of 4.0 in z 2.234 * [backup-simplify]: Simplify 4.0 into 4.0 2.234 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in z 2.234 * [taylor]: Taking taylor expansion of 4.0 in z 2.234 * [backup-simplify]: Simplify 4.0 into 4.0 2.234 * [taylor]: Taking taylor expansion of (/ z y) in z 2.234 * [taylor]: Taking taylor expansion of z in z 2.234 * [backup-simplify]: Simplify 0 into 0 2.234 * [backup-simplify]: Simplify 1 into 1 2.234 * [taylor]: Taking taylor expansion of y in z 2.234 * [backup-simplify]: Simplify y into y 2.234 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.234 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y))) in z 2.234 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 4.0) in z 2.234 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in z 2.234 * [taylor]: Taking taylor expansion of 4.0 in z 2.234 * [backup-simplify]: Simplify 4.0 into 4.0 2.234 * [taylor]: Taking taylor expansion of (/ x y) in z 2.234 * [taylor]: Taking taylor expansion of x in z 2.234 * [backup-simplify]: Simplify x into x 2.234 * [taylor]: Taking taylor expansion of y in z 2.234 * [backup-simplify]: Simplify y into y 2.235 * [backup-simplify]: Simplify (/ x y) into (/ x y) 2.235 * [taylor]: Taking taylor expansion of 4.0 in z 2.235 * [backup-simplify]: Simplify 4.0 into 4.0 2.235 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in z 2.235 * [taylor]: Taking taylor expansion of 4.0 in z 2.235 * [backup-simplify]: Simplify 4.0 into 4.0 2.235 * [taylor]: Taking taylor expansion of (/ z y) in z 2.235 * [taylor]: Taking taylor expansion of z in z 2.235 * [backup-simplify]: Simplify 0 into 0 2.235 * [backup-simplify]: Simplify 1 into 1 2.235 * [taylor]: Taking taylor expansion of y in z 2.235 * [backup-simplify]: Simplify y into y 2.235 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.235 * [backup-simplify]: Simplify (* 4.0 (/ x y)) into (* 4.0 (/ x y)) 2.235 * [backup-simplify]: Simplify (+ (* 4.0 (/ x y)) 4.0) into (+ (* 4.0 (/ x y)) 4.0) 2.235 * [backup-simplify]: Simplify (+ (+ (* 4.0 (/ x y)) 4.0) 0) into (+ (* 4.0 (/ x y)) 4.0) 2.236 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 4.0) in x 2.236 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in x 2.236 * [taylor]: Taking taylor expansion of 4.0 in x 2.236 * [backup-simplify]: Simplify 4.0 into 4.0 2.236 * [taylor]: Taking taylor expansion of (/ x y) in x 2.236 * [taylor]: Taking taylor expansion of x in x 2.236 * [backup-simplify]: Simplify 0 into 0 2.236 * [backup-simplify]: Simplify 1 into 1 2.236 * [taylor]: Taking taylor expansion of y in x 2.236 * [backup-simplify]: Simplify y into y 2.236 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.236 * [taylor]: Taking taylor expansion of 4.0 in x 2.236 * [backup-simplify]: Simplify 4.0 into 4.0 2.237 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0 2.237 * [taylor]: Taking taylor expansion of 4.0 in y 2.237 * [backup-simplify]: Simplify 4.0 into 4.0 2.237 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ x y) (/ 0 y)))) into 0 2.238 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ x y))) into 0 2.238 * [backup-simplify]: Simplify (+ 0 0) into 0 2.238 * [backup-simplify]: Simplify (* 4.0 (/ 1 y)) into (/ 4.0 y) 2.238 * [backup-simplify]: Simplify (- (/ 4.0 y)) into (- (* 4.0 (/ 1 y))) 2.238 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 (/ 1 y)))) into (- (* 4.0 (/ 1 y))) 2.238 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y))) in x 2.238 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x 2.238 * [taylor]: Taking taylor expansion of 4.0 in x 2.238 * [backup-simplify]: Simplify 4.0 into 4.0 2.238 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.238 * [taylor]: Taking taylor expansion of y in x 2.238 * [backup-simplify]: Simplify y into y 2.239 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.239 * [backup-simplify]: Simplify (* 4.0 (/ 1 y)) into (/ 4.0 y) 2.239 * [backup-simplify]: Simplify (- (/ 4.0 y)) into (- (* 4.0 (/ 1 y))) 2.239 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y))) in y 2.239 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 2.239 * [taylor]: Taking taylor expansion of 4.0 in y 2.239 * [backup-simplify]: Simplify 4.0 into 4.0 2.239 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.239 * [taylor]: Taking taylor expansion of y in y 2.239 * [backup-simplify]: Simplify 0 into 0 2.239 * [backup-simplify]: Simplify 1 into 1 2.239 * [backup-simplify]: Simplify (/ 1 1) into 1 2.240 * [backup-simplify]: Simplify (* 4.0 1) into 4.0 2.240 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 2.241 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 2.241 * [backup-simplify]: Simplify (* 4.0 (/ 1 y)) into (/ 4.0 y) 2.241 * [backup-simplify]: Simplify (+ (/ 4.0 y) 0) into (* 4.0 (/ 1 y)) 2.241 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 2.241 * [taylor]: Taking taylor expansion of 4.0 in y 2.241 * [backup-simplify]: Simplify 4.0 into 4.0 2.241 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.241 * [taylor]: Taking taylor expansion of y in y 2.241 * [backup-simplify]: Simplify 0 into 0 2.241 * [backup-simplify]: Simplify 1 into 1 2.242 * [backup-simplify]: Simplify (/ 1 1) into 1 2.242 * [backup-simplify]: Simplify (* 4.0 1) into 4.0 2.242 * [backup-simplify]: Simplify 4.0 into 4.0 2.242 * [backup-simplify]: Simplify 4.0 into 4.0 2.243 * [backup-simplify]: Simplify (+ 4.0 (+ (* 4.0 (* (/ 1 y) (* x 1))) (* (- 4.0) (* (/ 1 y) (* 1 z))))) into (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y))) 2.243 * [backup-simplify]: Simplify (+ (* (- 0.75 (/ (- (/ 1 z) (/ 1 x)) (/ 1 y))) 4.0) 1.0) into (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) 2.243 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in (z x y) around 0 2.243 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in y 2.243 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 4.0) in y 2.244 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in y 2.244 * [taylor]: Taking taylor expansion of 4.0 in y 2.244 * [backup-simplify]: Simplify 4.0 into 4.0 2.244 * [taylor]: Taking taylor expansion of (/ y x) in y 2.244 * [taylor]: Taking taylor expansion of y in y 2.244 * [backup-simplify]: Simplify 0 into 0 2.244 * [backup-simplify]: Simplify 1 into 1 2.244 * [taylor]: Taking taylor expansion of x in y 2.244 * [backup-simplify]: Simplify x into x 2.244 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.244 * [taylor]: Taking taylor expansion of 4.0 in y 2.244 * [backup-simplify]: Simplify 4.0 into 4.0 2.244 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y 2.244 * [taylor]: Taking taylor expansion of 4.0 in y 2.244 * [backup-simplify]: Simplify 4.0 into 4.0 2.244 * [taylor]: Taking taylor expansion of (/ y z) in y 2.244 * [taylor]: Taking taylor expansion of y in y 2.244 * [backup-simplify]: Simplify 0 into 0 2.244 * [backup-simplify]: Simplify 1 into 1 2.244 * [taylor]: Taking taylor expansion of z in y 2.244 * [backup-simplify]: Simplify z into z 2.244 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 2.244 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in x 2.244 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 4.0) in x 2.244 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x 2.244 * [taylor]: Taking taylor expansion of 4.0 in x 2.244 * [backup-simplify]: Simplify 4.0 into 4.0 2.244 * [taylor]: Taking taylor expansion of (/ y x) in x 2.244 * [taylor]: Taking taylor expansion of y in x 2.244 * [backup-simplify]: Simplify y into y 2.244 * [taylor]: Taking taylor expansion of x in x 2.244 * [backup-simplify]: Simplify 0 into 0 2.244 * [backup-simplify]: Simplify 1 into 1 2.244 * [backup-simplify]: Simplify (/ y 1) into y 2.245 * [taylor]: Taking taylor expansion of 4.0 in x 2.245 * [backup-simplify]: Simplify 4.0 into 4.0 2.245 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x 2.245 * [taylor]: Taking taylor expansion of 4.0 in x 2.245 * [backup-simplify]: Simplify 4.0 into 4.0 2.245 * [taylor]: Taking taylor expansion of (/ y z) in x 2.245 * [taylor]: Taking taylor expansion of y in x 2.245 * [backup-simplify]: Simplify y into y 2.245 * [taylor]: Taking taylor expansion of z in x 2.245 * [backup-simplify]: Simplify z into z 2.245 * [backup-simplify]: Simplify (/ y z) into (/ y z) 2.245 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in z 2.245 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 4.0) in z 2.245 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in z 2.245 * [taylor]: Taking taylor expansion of 4.0 in z 2.245 * [backup-simplify]: Simplify 4.0 into 4.0 2.245 * [taylor]: Taking taylor expansion of (/ y x) in z 2.245 * [taylor]: Taking taylor expansion of y in z 2.245 * [backup-simplify]: Simplify y into y 2.245 * [taylor]: Taking taylor expansion of x in z 2.245 * [backup-simplify]: Simplify x into x 2.245 * [backup-simplify]: Simplify (/ y x) into (/ y x) 2.245 * [taylor]: Taking taylor expansion of 4.0 in z 2.245 * [backup-simplify]: Simplify 4.0 into 4.0 2.245 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z 2.245 * [taylor]: Taking taylor expansion of 4.0 in z 2.245 * [backup-simplify]: Simplify 4.0 into 4.0 2.245 * [taylor]: Taking taylor expansion of (/ y z) in z 2.245 * [taylor]: Taking taylor expansion of y in z 2.245 * [backup-simplify]: Simplify y into y 2.245 * [taylor]: Taking taylor expansion of z in z 2.245 * [backup-simplify]: Simplify 0 into 0 2.245 * [backup-simplify]: Simplify 1 into 1 2.245 * [backup-simplify]: Simplify (/ y 1) into y 2.246 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in z 2.246 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 4.0) in z 2.246 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in z 2.246 * [taylor]: Taking taylor expansion of 4.0 in z 2.246 * [backup-simplify]: Simplify 4.0 into 4.0 2.246 * [taylor]: Taking taylor expansion of (/ y x) in z 2.246 * [taylor]: Taking taylor expansion of y in z 2.246 * [backup-simplify]: Simplify y into y 2.246 * [taylor]: Taking taylor expansion of x in z 2.246 * [backup-simplify]: Simplify x into x 2.246 * [backup-simplify]: Simplify (/ y x) into (/ y x) 2.246 * [taylor]: Taking taylor expansion of 4.0 in z 2.246 * [backup-simplify]: Simplify 4.0 into 4.0 2.246 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z 2.246 * [taylor]: Taking taylor expansion of 4.0 in z 2.246 * [backup-simplify]: Simplify 4.0 into 4.0 2.246 * [taylor]: Taking taylor expansion of (/ y z) in z 2.246 * [taylor]: Taking taylor expansion of y in z 2.246 * [backup-simplify]: Simplify y into y 2.246 * [taylor]: Taking taylor expansion of z in z 2.246 * [backup-simplify]: Simplify 0 into 0 2.246 * [backup-simplify]: Simplify 1 into 1 2.246 * [backup-simplify]: Simplify (/ y 1) into y 2.246 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y) 2.246 * [backup-simplify]: Simplify (- (* 4.0 y)) into (- (* 4.0 y)) 2.246 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 y))) into (- (* 4.0 y)) 2.247 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in x 2.247 * [taylor]: Taking taylor expansion of (* 4.0 y) in x 2.247 * [taylor]: Taking taylor expansion of 4.0 in x 2.247 * [backup-simplify]: Simplify 4.0 into 4.0 2.247 * [taylor]: Taking taylor expansion of y in x 2.247 * [backup-simplify]: Simplify y into y 2.247 * [backup-simplify]: Simplify (* 4.0 (/ y x)) into (* 4.0 (/ y x)) 2.247 * [backup-simplify]: Simplify (+ (* 4.0 (/ y x)) 4.0) into (+ (* 4.0 (/ y x)) 4.0) 2.250 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 2.251 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0 2.251 * [backup-simplify]: Simplify (- 0) into 0 2.252 * [backup-simplify]: Simplify (+ (+ (* 4.0 (/ y x)) 4.0) 0) into (+ (* 4.0 (/ y x)) 4.0) 2.252 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 4.0) in x 2.252 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x 2.252 * [taylor]: Taking taylor expansion of 4.0 in x 2.252 * [backup-simplify]: Simplify 4.0 into 4.0 2.252 * [taylor]: Taking taylor expansion of (/ y x) in x 2.252 * [taylor]: Taking taylor expansion of y in x 2.252 * [backup-simplify]: Simplify y into y 2.252 * [taylor]: Taking taylor expansion of x in x 2.252 * [backup-simplify]: Simplify 0 into 0 2.252 * [backup-simplify]: Simplify 1 into 1 2.252 * [backup-simplify]: Simplify (/ y 1) into y 2.252 * [taylor]: Taking taylor expansion of 4.0 in x 2.252 * [backup-simplify]: Simplify 4.0 into 4.0 2.252 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y) 2.252 * [backup-simplify]: Simplify (+ (* 4.0 y) 0) into (* 4.0 y) 2.252 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 2.252 * [taylor]: Taking taylor expansion of 4.0 in y 2.252 * [backup-simplify]: Simplify 4.0 into 4.0 2.252 * [taylor]: Taking taylor expansion of y in y 2.252 * [backup-simplify]: Simplify 0 into 0 2.252 * [backup-simplify]: Simplify 1 into 1 2.253 * [backup-simplify]: Simplify (* 4.0 0) into 0 2.253 * [backup-simplify]: Simplify 0 into 0 2.253 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y) 2.253 * [backup-simplify]: Simplify (- (* 4.0 y)) into (- (* 4.0 y)) 2.253 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in y 2.253 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 2.253 * [taylor]: Taking taylor expansion of 4.0 in y 2.253 * [backup-simplify]: Simplify 4.0 into 4.0 2.253 * [taylor]: Taking taylor expansion of y in y 2.253 * [backup-simplify]: Simplify 0 into 0 2.253 * [backup-simplify]: Simplify 1 into 1 2.254 * [backup-simplify]: Simplify (* 4.0 0) into 0 2.254 * [backup-simplify]: Simplify (- 0) into 0 2.254 * [backup-simplify]: Simplify 0 into 0 2.255 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ y x) (/ 0 x)))) into 0 2.256 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ y x))) into 0 2.256 * [backup-simplify]: Simplify (+ 0 0) into 0 2.257 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.258 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 y))) into 0 2.259 * [backup-simplify]: Simplify (- 0) into 0 2.259 * [backup-simplify]: Simplify (+ 0 0) into 0 2.259 * [taylor]: Taking taylor expansion of 0 in x 2.259 * [backup-simplify]: Simplify 0 into 0 2.260 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 2.260 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0 2.261 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0 2.261 * [taylor]: Taking taylor expansion of 4.0 in y 2.261 * [backup-simplify]: Simplify 4.0 into 4.0 2.261 * [backup-simplify]: Simplify 4.0 into 4.0 2.262 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0 2.262 * [backup-simplify]: Simplify (- 0) into 0 2.262 * [taylor]: Taking taylor expansion of 0 in y 2.262 * [backup-simplify]: Simplify 0 into 0 2.262 * [backup-simplify]: Simplify 0 into 0 2.264 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0 2.264 * [backup-simplify]: Simplify 4.0 into 4.0 2.265 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0 2.266 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 2.266 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 2.267 * [backup-simplify]: Simplify (+ (* (- 4.0) (* (/ 1 y) (* 1 (/ 1 (/ 1 z))))) (+ (* 4.0 (* (/ 1 y) (* (/ 1 (/ 1 x)) 1))) 4.0)) into (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y))) 2.267 * [backup-simplify]: Simplify (+ (* (- 0.75 (/ (- (/ 1 (- z)) (/ 1 (- x))) (/ 1 (- y)))) 4.0) 1.0) into (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) 2.267 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in (z x y) around 0 2.267 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in y 2.267 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 4.0) in y 2.267 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in y 2.267 * [taylor]: Taking taylor expansion of 4.0 in y 2.267 * [backup-simplify]: Simplify 4.0 into 4.0 2.267 * [taylor]: Taking taylor expansion of (/ y x) in y 2.267 * [taylor]: Taking taylor expansion of y in y 2.267 * [backup-simplify]: Simplify 0 into 0 2.267 * [backup-simplify]: Simplify 1 into 1 2.267 * [taylor]: Taking taylor expansion of x in y 2.267 * [backup-simplify]: Simplify x into x 2.268 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.268 * [taylor]: Taking taylor expansion of 4.0 in y 2.268 * [backup-simplify]: Simplify 4.0 into 4.0 2.268 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y 2.268 * [taylor]: Taking taylor expansion of 4.0 in y 2.268 * [backup-simplify]: Simplify 4.0 into 4.0 2.268 * [taylor]: Taking taylor expansion of (/ y z) in y 2.268 * [taylor]: Taking taylor expansion of y in y 2.268 * [backup-simplify]: Simplify 0 into 0 2.268 * [backup-simplify]: Simplify 1 into 1 2.268 * [taylor]: Taking taylor expansion of z in y 2.268 * [backup-simplify]: Simplify z into z 2.268 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 2.268 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in x 2.268 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 4.0) in x 2.268 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x 2.268 * [taylor]: Taking taylor expansion of 4.0 in x 2.268 * [backup-simplify]: Simplify 4.0 into 4.0 2.268 * [taylor]: Taking taylor expansion of (/ y x) in x 2.268 * [taylor]: Taking taylor expansion of y in x 2.268 * [backup-simplify]: Simplify y into y 2.268 * [taylor]: Taking taylor expansion of x in x 2.268 * [backup-simplify]: Simplify 0 into 0 2.268 * [backup-simplify]: Simplify 1 into 1 2.268 * [backup-simplify]: Simplify (/ y 1) into y 2.268 * [taylor]: Taking taylor expansion of 4.0 in x 2.268 * [backup-simplify]: Simplify 4.0 into 4.0 2.268 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x 2.268 * [taylor]: Taking taylor expansion of 4.0 in x 2.268 * [backup-simplify]: Simplify 4.0 into 4.0 2.268 * [taylor]: Taking taylor expansion of (/ y z) in x 2.268 * [taylor]: Taking taylor expansion of y in x 2.268 * [backup-simplify]: Simplify y into y 2.268 * [taylor]: Taking taylor expansion of z in x 2.268 * [backup-simplify]: Simplify z into z 2.269 * [backup-simplify]: Simplify (/ y z) into (/ y z) 2.269 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in z 2.269 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 4.0) in z 2.269 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in z 2.269 * [taylor]: Taking taylor expansion of 4.0 in z 2.269 * [backup-simplify]: Simplify 4.0 into 4.0 2.269 * [taylor]: Taking taylor expansion of (/ y x) in z 2.269 * [taylor]: Taking taylor expansion of y in z 2.269 * [backup-simplify]: Simplify y into y 2.269 * [taylor]: Taking taylor expansion of x in z 2.269 * [backup-simplify]: Simplify x into x 2.269 * [backup-simplify]: Simplify (/ y x) into (/ y x) 2.269 * [taylor]: Taking taylor expansion of 4.0 in z 2.269 * [backup-simplify]: Simplify 4.0 into 4.0 2.269 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z 2.269 * [taylor]: Taking taylor expansion of 4.0 in z 2.269 * [backup-simplify]: Simplify 4.0 into 4.0 2.269 * [taylor]: Taking taylor expansion of (/ y z) in z 2.269 * [taylor]: Taking taylor expansion of y in z 2.269 * [backup-simplify]: Simplify y into y 2.269 * [taylor]: Taking taylor expansion of z in z 2.269 * [backup-simplify]: Simplify 0 into 0 2.269 * [backup-simplify]: Simplify 1 into 1 2.269 * [backup-simplify]: Simplify (/ y 1) into y 2.269 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in z 2.269 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 4.0) in z 2.269 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in z 2.269 * [taylor]: Taking taylor expansion of 4.0 in z 2.269 * [backup-simplify]: Simplify 4.0 into 4.0 2.269 * [taylor]: Taking taylor expansion of (/ y x) in z 2.269 * [taylor]: Taking taylor expansion of y in z 2.269 * [backup-simplify]: Simplify y into y 2.269 * [taylor]: Taking taylor expansion of x in z 2.269 * [backup-simplify]: Simplify x into x 2.270 * [backup-simplify]: Simplify (/ y x) into (/ y x) 2.270 * [taylor]: Taking taylor expansion of 4.0 in z 2.270 * [backup-simplify]: Simplify 4.0 into 4.0 2.270 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z 2.270 * [taylor]: Taking taylor expansion of 4.0 in z 2.270 * [backup-simplify]: Simplify 4.0 into 4.0 2.270 * [taylor]: Taking taylor expansion of (/ y z) in z 2.270 * [taylor]: Taking taylor expansion of y in z 2.270 * [backup-simplify]: Simplify y into y 2.270 * [taylor]: Taking taylor expansion of z in z 2.270 * [backup-simplify]: Simplify 0 into 0 2.270 * [backup-simplify]: Simplify 1 into 1 2.270 * [backup-simplify]: Simplify (/ y 1) into y 2.270 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y) 2.270 * [backup-simplify]: Simplify (- (* 4.0 y)) into (- (* 4.0 y)) 2.270 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 y))) into (- (* 4.0 y)) 2.270 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in x 2.270 * [taylor]: Taking taylor expansion of (* 4.0 y) in x 2.270 * [taylor]: Taking taylor expansion of 4.0 in x 2.270 * [backup-simplify]: Simplify 4.0 into 4.0 2.270 * [taylor]: Taking taylor expansion of y in x 2.270 * [backup-simplify]: Simplify y into y 2.270 * [backup-simplify]: Simplify (* 4.0 (/ y x)) into (* 4.0 (/ y x)) 2.271 * [backup-simplify]: Simplify (+ (* 4.0 (/ y x)) 4.0) into (+ (* 4.0 (/ y x)) 4.0) 2.272 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 2.272 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0 2.273 * [backup-simplify]: Simplify (- 0) into 0 2.273 * [backup-simplify]: Simplify (+ (+ (* 4.0 (/ y x)) 4.0) 0) into (+ (* 4.0 (/ y x)) 4.0) 2.273 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 4.0) in x 2.273 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x 2.273 * [taylor]: Taking taylor expansion of 4.0 in x 2.273 * [backup-simplify]: Simplify 4.0 into 4.0 2.273 * [taylor]: Taking taylor expansion of (/ y x) in x 2.273 * [taylor]: Taking taylor expansion of y in x 2.273 * [backup-simplify]: Simplify y into y 2.273 * [taylor]: Taking taylor expansion of x in x 2.273 * [backup-simplify]: Simplify 0 into 0 2.273 * [backup-simplify]: Simplify 1 into 1 2.273 * [backup-simplify]: Simplify (/ y 1) into y 2.273 * [taylor]: Taking taylor expansion of 4.0 in x 2.273 * [backup-simplify]: Simplify 4.0 into 4.0 2.273 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y) 2.273 * [backup-simplify]: Simplify (+ (* 4.0 y) 0) into (* 4.0 y) 2.273 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 2.273 * [taylor]: Taking taylor expansion of 4.0 in y 2.273 * [backup-simplify]: Simplify 4.0 into 4.0 2.273 * [taylor]: Taking taylor expansion of y in y 2.273 * [backup-simplify]: Simplify 0 into 0 2.273 * [backup-simplify]: Simplify 1 into 1 2.274 * [backup-simplify]: Simplify (* 4.0 0) into 0 2.274 * [backup-simplify]: Simplify 0 into 0 2.274 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y) 2.274 * [backup-simplify]: Simplify (- (* 4.0 y)) into (- (* 4.0 y)) 2.274 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in y 2.274 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 2.274 * [taylor]: Taking taylor expansion of 4.0 in y 2.274 * [backup-simplify]: Simplify 4.0 into 4.0 2.274 * [taylor]: Taking taylor expansion of y in y 2.275 * [backup-simplify]: Simplify 0 into 0 2.275 * [backup-simplify]: Simplify 1 into 1 2.275 * [backup-simplify]: Simplify (* 4.0 0) into 0 2.275 * [backup-simplify]: Simplify (- 0) into 0 2.275 * [backup-simplify]: Simplify 0 into 0 2.276 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ y x) (/ 0 x)))) into 0 2.276 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ y x))) into 0 2.277 * [backup-simplify]: Simplify (+ 0 0) into 0 2.278 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.279 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 y))) into 0 2.279 * [backup-simplify]: Simplify (- 0) into 0 2.280 * [backup-simplify]: Simplify (+ 0 0) into 0 2.280 * [taylor]: Taking taylor expansion of 0 in x 2.280 * [backup-simplify]: Simplify 0 into 0 2.281 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 2.281 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0 2.282 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0 2.282 * [taylor]: Taking taylor expansion of 4.0 in y 2.282 * [backup-simplify]: Simplify 4.0 into 4.0 2.282 * [backup-simplify]: Simplify 4.0 into 4.0 2.282 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0 2.283 * [backup-simplify]: Simplify (- 0) into 0 2.283 * [taylor]: Taking taylor expansion of 0 in y 2.283 * [backup-simplify]: Simplify 0 into 0 2.283 * [backup-simplify]: Simplify 0 into 0 2.284 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0 2.284 * [backup-simplify]: Simplify 4.0 into 4.0 2.286 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0 2.286 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 2.287 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 2.288 * [backup-simplify]: Simplify (+ (* (- 4.0) (* (/ 1 (- y)) (* 1 (/ 1 (/ 1 (- z)))))) (+ (* 4.0 (* (/ 1 (- y)) (* (/ 1 (/ 1 (- x))) 1))) 4.0)) into (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y))) 2.288 * * * [progress]: simplifying candidates 2.289 * [simplify]: Simplifying: (- (log (- z x)) (log y)) (log (/ (- z x) y)) (exp (/ (- z x) y)) (/ (* (* (- z x) (- z x)) (- z x)) (* (* y y) y)) (* (cbrt (/ (- z x) y)) (cbrt (/ (- z x) y))) (cbrt (/ (- z x) y)) (* (* (/ (- z x) y) (/ (- z x) y)) (/ (- z x) y)) (sqrt (/ (- z x) y)) (sqrt (/ (- z x) y)) (- (- z x)) (- y) (/ z y) (/ x y) (/ (* (cbrt (- z x)) (cbrt (- z x))) (* (cbrt y) (cbrt y))) (/ (cbrt (- z x)) (cbrt y)) (/ (* (cbrt (- z x)) (cbrt (- z x))) (sqrt y)) (/ (cbrt (- z x)) (sqrt y)) (/ (* (cbrt (- z x)) (cbrt (- z x))) 1) (/ (cbrt (- z x)) y) (/ (sqrt (- z x)) (* (cbrt y) (cbrt y))) (/ (sqrt (- z x)) (cbrt y)) (/ (sqrt (- z x)) (sqrt y)) (/ (sqrt (- z x)) (sqrt y)) (/ (sqrt (- z x)) 1) (/ (sqrt (- z x)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- z x) (cbrt y)) (/ 1 (sqrt y)) (/ (- z x) (sqrt y)) (/ 1 1) (/ (- z x) y) (/ (+ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y))) (/ (- (sqrt z) (sqrt x)) (cbrt y)) (/ (+ (sqrt z) (sqrt x)) (sqrt y)) (/ (- (sqrt z) (sqrt x)) (sqrt y)) (/ (+ (sqrt z) (sqrt x)) 1) (/ (- (sqrt z) (sqrt x)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- z x) (cbrt y)) (/ 1 (sqrt y)) (/ (- z x) (sqrt y)) (/ 1 1) (/ (- z x) y) (/ 1 y) (/ y (- z x)) (/ (- z x) (* (cbrt y) (cbrt y))) (/ (- z x) (sqrt y)) (/ (- z x) 1) (/ y (cbrt (- z x))) (/ y (sqrt (- z x))) (/ y (- z x)) (/ y (- (sqrt z) (sqrt x))) (/ y (- z x)) (* y (+ (* z z) (+ (* x x) (* z x)))) (* y (+ z x)) (* (exp (* (- 0.75 (/ (- z x) y)) 4.0)) (exp 1.0)) (log (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0)) (exp (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0)) (* (cbrt (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0)) (cbrt (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0))) (cbrt (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0)) (* (* (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0) (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0)) (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0)) (sqrt (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0)) (sqrt (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0)) (+ (pow (* (- 0.75 (/ (- z x) y)) 4.0) 3) (pow 1.0 3)) (+ (* (* (- 0.75 (/ (- z x) y)) 4.0) (* (- 0.75 (/ (- z x) y)) 4.0)) (- (* 1.0 1.0) (* (* (- 0.75 (/ (- z x) y)) 4.0) 1.0))) (- (* (* (- 0.75 (/ (- z x) y)) 4.0) (* (- 0.75 (/ (- z x) y)) 4.0)) (* 1.0 1.0)) (- (* (- 0.75 (/ (- z x) y)) 4.0) 1.0) (- (/ z y) (/ x y)) (- (/ z y) (/ x y)) (- (/ z y) (/ x y)) (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y))) (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y))) (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y))) 2.291 * * [simplify]: iteration 0: 104 enodes 2.310 * * [simplify]: iteration 1: 260 enodes 2.387 * * [simplify]: iteration 2: 846 enodes 2.952 * * [simplify]: iteration 3: 4766 enodes 4.228 * * [simplify]: iteration complete: 5001 enodes 4.228 * * [simplify]: Extracting #0: cost 53 inf + 0 4.229 * * [simplify]: Extracting #1: cost 517 inf + 1 4.233 * * [simplify]: Extracting #2: cost 1443 inf + 383 4.239 * * [simplify]: Extracting #3: cost 1257 inf + 3702 4.254 * * [simplify]: Extracting #4: cost 354 inf + 11729 4.261 * * [simplify]: Extracting #5: cost 27 inf + 17398 4.268 * * [simplify]: Extracting #6: cost 0 inf + 17807 4.275 * * [simplify]: Extracting #7: cost 0 inf + 17773 4.282 * [simplify]: Simplified to: (log (/ (- z x) y)) (log (/ (- z x) y)) (exp (/ (- z x) y)) (pow (/ (- z x) y) 3) (* (cbrt (/ (- z x) y)) (cbrt (/ (- z x) y))) (cbrt (/ (- z x) y)) (pow (/ (- z x) y) 3) (sqrt (/ (- z x) y)) (sqrt (/ (- z x) y)) (+ x (- z)) (- y) (/ z y) (/ x y) (* (/ (cbrt (- z x)) (* (cbrt y) (cbrt y))) (cbrt (- z x))) (/ (cbrt (- z x)) (cbrt y)) (/ (* (cbrt (- z x)) (cbrt (- z x))) (sqrt y)) (/ (cbrt (- z x)) (sqrt y)) (* (cbrt (- z x)) (cbrt (- z x))) (/ (cbrt (- z x)) y) (/ (sqrt (- z x)) (* (cbrt y) (cbrt y))) (/ (sqrt (- z x)) (cbrt y)) (/ (sqrt (- z x)) (sqrt y)) (/ (sqrt (- z x)) (sqrt y)) (sqrt (- z x)) (/ (sqrt (- z x)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- z x) (cbrt y)) (/ 1 (sqrt y)) (/ (- z x) (sqrt y)) 1 (/ (- z x) y) (/ (/ (+ (sqrt z) (sqrt x)) (cbrt y)) (cbrt y)) (/ (- (sqrt z) (sqrt x)) (cbrt y)) (/ (+ (sqrt z) (sqrt x)) (sqrt y)) (/ (- (sqrt z) (sqrt x)) (sqrt y)) (+ (sqrt z) (sqrt x)) (/ (- (sqrt z) (sqrt x)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- z x) (cbrt y)) (/ 1 (sqrt y)) (/ (- z x) (sqrt y)) 1 (/ (- z x) y) (/ 1 y) (/ y (- z x)) (/ (- z x) (* (cbrt y) (cbrt y))) (/ (- z x) (sqrt y)) (- z x) (/ y (cbrt (- z x))) (/ y (sqrt (- z x))) (/ y (- z x)) (/ y (- (sqrt z) (sqrt x))) (/ y (- z x)) (* y (+ (* x (+ z x)) (* z z))) (* y (+ x z)) (exp (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0)) (log (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0)) (exp (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0)) (* (cbrt (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0)) (cbrt (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0))) (cbrt (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0)) (pow (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0) 3) (sqrt (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0)) (sqrt (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0)) (+ (pow (* (- 0.75 (/ (- z x) y)) 4.0) 3) (pow 1.0 3)) (+ (* 1.0 1.0) (* (* (- 0.75 (/ (- z x) y)) 4.0) (- (* (- 0.75 (/ (- z x) y)) 4.0) 1.0))) (* (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0) (- (* (- 0.75 (/ (- z x) y)) 4.0) 1.0)) (- (* (- 0.75 (/ (- z x) y)) 4.0) 1.0) (/ (- z x) y) (/ (- z x) y) (/ (- z x) y) (* 4.0 (- (+ 1 (/ x y)) (/ z y))) (* 4.0 (- (+ 1 (/ x y)) (/ z y))) (* 4.0 (- (+ 1 (/ x y)) (/ z y))) 4.283 * * * [progress]: adding candidates to table 4.530 * * [progress]: iteration 2 / 4 4.530 * * * [progress]: picking best candidate 4.538 * * * * [pick]: Picked # 4.538 * * * [progress]: localizing error 4.552 * * * [progress]: generating rewritten candidates 4.552 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 4.674 * * * [progress]: generating series expansions 4.674 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 4.674 * [backup-simplify]: Simplify (- (+ 1 (/ x y)) (/ z y)) into (- (+ (/ x y) 1) (/ z y)) 4.674 * [approximate]: Taking taylor expansion of (- (+ (/ x y) 1) (/ z y)) in (x y z) around 0 4.674 * [taylor]: Taking taylor expansion of (- (+ (/ x y) 1) (/ z y)) in z 4.674 * [taylor]: Taking taylor expansion of (+ (/ x y) 1) in z 4.674 * [taylor]: Taking taylor expansion of (/ x y) in z 4.675 * [taylor]: Taking taylor expansion of x in z 4.675 * [backup-simplify]: Simplify x into x 4.675 * [taylor]: Taking taylor expansion of y in z 4.675 * [backup-simplify]: Simplify y into y 4.675 * [backup-simplify]: Simplify (/ x y) into (/ x y) 4.675 * [taylor]: Taking taylor expansion of 1 in z 4.675 * [backup-simplify]: Simplify 1 into 1 4.675 * [taylor]: Taking taylor expansion of (/ z y) in z 4.675 * [taylor]: Taking taylor expansion of z in z 4.675 * [backup-simplify]: Simplify 0 into 0 4.675 * [backup-simplify]: Simplify 1 into 1 4.675 * [taylor]: Taking taylor expansion of y in z 4.675 * [backup-simplify]: Simplify y into y 4.675 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.675 * [taylor]: Taking taylor expansion of (- (+ (/ x y) 1) (/ z y)) in y 4.675 * [taylor]: Taking taylor expansion of (+ (/ x y) 1) in y 4.675 * [taylor]: Taking taylor expansion of (/ x y) in y 4.675 * [taylor]: Taking taylor expansion of x in y 4.675 * [backup-simplify]: Simplify x into x 4.675 * [taylor]: Taking taylor expansion of y in y 4.675 * [backup-simplify]: Simplify 0 into 0 4.675 * [backup-simplify]: Simplify 1 into 1 4.675 * [backup-simplify]: Simplify (/ x 1) into x 4.675 * [taylor]: Taking taylor expansion of 1 in y 4.675 * [backup-simplify]: Simplify 1 into 1 4.675 * [taylor]: Taking taylor expansion of (/ z y) in y 4.675 * [taylor]: Taking taylor expansion of z in y 4.675 * [backup-simplify]: Simplify z into z 4.675 * [taylor]: Taking taylor expansion of y in y 4.675 * [backup-simplify]: Simplify 0 into 0 4.675 * [backup-simplify]: Simplify 1 into 1 4.675 * [backup-simplify]: Simplify (/ z 1) into z 4.675 * [taylor]: Taking taylor expansion of (- (+ (/ x y) 1) (/ z y)) in x 4.675 * [taylor]: Taking taylor expansion of (+ (/ x y) 1) in x 4.675 * [taylor]: Taking taylor expansion of (/ x y) in x 4.675 * [taylor]: Taking taylor expansion of x in x 4.675 * [backup-simplify]: Simplify 0 into 0 4.675 * [backup-simplify]: Simplify 1 into 1 4.675 * [taylor]: Taking taylor expansion of y in x 4.675 * [backup-simplify]: Simplify y into y 4.675 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.676 * [taylor]: Taking taylor expansion of 1 in x 4.676 * [backup-simplify]: Simplify 1 into 1 4.676 * [taylor]: Taking taylor expansion of (/ z y) in x 4.676 * [taylor]: Taking taylor expansion of z in x 4.676 * [backup-simplify]: Simplify z into z 4.676 * [taylor]: Taking taylor expansion of y in x 4.676 * [backup-simplify]: Simplify y into y 4.676 * [backup-simplify]: Simplify (/ z y) into (/ z y) 4.676 * [taylor]: Taking taylor expansion of (- (+ (/ x y) 1) (/ z y)) in x 4.676 * [taylor]: Taking taylor expansion of (+ (/ x y) 1) in x 4.676 * [taylor]: Taking taylor expansion of (/ x y) in x 4.676 * [taylor]: Taking taylor expansion of x in x 4.676 * [backup-simplify]: Simplify 0 into 0 4.676 * [backup-simplify]: Simplify 1 into 1 4.676 * [taylor]: Taking taylor expansion of y in x 4.676 * [backup-simplify]: Simplify y into y 4.676 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.676 * [taylor]: Taking taylor expansion of 1 in x 4.676 * [backup-simplify]: Simplify 1 into 1 4.676 * [taylor]: Taking taylor expansion of (/ z y) in x 4.676 * [taylor]: Taking taylor expansion of z in x 4.676 * [backup-simplify]: Simplify z into z 4.676 * [taylor]: Taking taylor expansion of y in x 4.676 * [backup-simplify]: Simplify y into y 4.676 * [backup-simplify]: Simplify (/ z y) into (/ z y) 4.677 * [backup-simplify]: Simplify (+ 0 1) into 1 4.677 * [backup-simplify]: Simplify (- (/ z y)) into (- (/ z y)) 4.677 * [backup-simplify]: Simplify (+ 1 (- (/ z y))) into (- 1 (/ z y)) 4.677 * [taylor]: Taking taylor expansion of (- 1 (/ z y)) in y 4.677 * [taylor]: Taking taylor expansion of 1 in y 4.677 * [backup-simplify]: Simplify 1 into 1 4.677 * [taylor]: Taking taylor expansion of (/ z y) in y 4.678 * [taylor]: Taking taylor expansion of z in y 4.678 * [backup-simplify]: Simplify z into z 4.678 * [taylor]: Taking taylor expansion of y in y 4.678 * [backup-simplify]: Simplify 0 into 0 4.678 * [backup-simplify]: Simplify 1 into 1 4.678 * [backup-simplify]: Simplify (/ z 1) into z 4.678 * [backup-simplify]: Simplify (- z) into (- z) 4.678 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 4.678 * [taylor]: Taking taylor expansion of (- z) in z 4.678 * [taylor]: Taking taylor expansion of z in z 4.678 * [backup-simplify]: Simplify 0 into 0 4.678 * [backup-simplify]: Simplify 1 into 1 4.679 * [backup-simplify]: Simplify (- 0) into 0 4.679 * [backup-simplify]: Simplify 0 into 0 4.679 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 4.679 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0 4.679 * [backup-simplify]: Simplify (- 0) into 0 4.679 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 4.679 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.679 * [taylor]: Taking taylor expansion of y in y 4.679 * [backup-simplify]: Simplify 0 into 0 4.679 * [backup-simplify]: Simplify 1 into 1 4.682 * [backup-simplify]: Simplify (/ 1 1) into 1 4.682 * [taylor]: Taking taylor expansion of 1 in z 4.682 * [backup-simplify]: Simplify 1 into 1 4.682 * [backup-simplify]: Simplify 1 into 1 4.683 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 4.684 * [backup-simplify]: Simplify (- 0) into 0 4.684 * [backup-simplify]: Simplify (+ 1 0) into 1 4.684 * [taylor]: Taking taylor expansion of 1 in z 4.684 * [backup-simplify]: Simplify 1 into 1 4.684 * [backup-simplify]: Simplify 1 into 1 4.685 * [backup-simplify]: Simplify (- 1) into -1 4.685 * [backup-simplify]: Simplify -1 into -1 4.685 * [backup-simplify]: Simplify (+ (* -1 (* z (* (/ 1 y) 1))) (+ 1 (* 1 (* 1 (* (/ 1 y) x))))) into (- (+ (/ x y) 1) (/ z y)) 4.685 * [backup-simplify]: Simplify (- (+ 1 (/ (/ 1 x) (/ 1 y))) (/ (/ 1 z) (/ 1 y))) into (- (+ (/ y x) 1) (/ y z)) 4.685 * [approximate]: Taking taylor expansion of (- (+ (/ y x) 1) (/ y z)) in (x y z) around 0 4.685 * [taylor]: Taking taylor expansion of (- (+ (/ y x) 1) (/ y z)) in z 4.685 * [taylor]: Taking taylor expansion of (+ (/ y x) 1) in z 4.685 * [taylor]: Taking taylor expansion of (/ y x) in z 4.686 * [taylor]: Taking taylor expansion of y in z 4.686 * [backup-simplify]: Simplify y into y 4.686 * [taylor]: Taking taylor expansion of x in z 4.686 * [backup-simplify]: Simplify x into x 4.686 * [backup-simplify]: Simplify (/ y x) into (/ y x) 4.686 * [taylor]: Taking taylor expansion of 1 in z 4.686 * [backup-simplify]: Simplify 1 into 1 4.686 * [taylor]: Taking taylor expansion of (/ y z) in z 4.686 * [taylor]: Taking taylor expansion of y in z 4.686 * [backup-simplify]: Simplify y into y 4.686 * [taylor]: Taking taylor expansion of z in z 4.686 * [backup-simplify]: Simplify 0 into 0 4.686 * [backup-simplify]: Simplify 1 into 1 4.686 * [backup-simplify]: Simplify (/ y 1) into y 4.686 * [taylor]: Taking taylor expansion of (- (+ (/ y x) 1) (/ y z)) in y 4.686 * [taylor]: Taking taylor expansion of (+ (/ y x) 1) in y 4.686 * [taylor]: Taking taylor expansion of (/ y x) in y 4.686 * [taylor]: Taking taylor expansion of y in y 4.686 * [backup-simplify]: Simplify 0 into 0 4.686 * [backup-simplify]: Simplify 1 into 1 4.686 * [taylor]: Taking taylor expansion of x in y 4.686 * [backup-simplify]: Simplify x into x 4.686 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.686 * [taylor]: Taking taylor expansion of 1 in y 4.686 * [backup-simplify]: Simplify 1 into 1 4.686 * [taylor]: Taking taylor expansion of (/ y z) in y 4.686 * [taylor]: Taking taylor expansion of y in y 4.686 * [backup-simplify]: Simplify 0 into 0 4.686 * [backup-simplify]: Simplify 1 into 1 4.686 * [taylor]: Taking taylor expansion of z in y 4.686 * [backup-simplify]: Simplify z into z 4.687 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.687 * [taylor]: Taking taylor expansion of (- (+ (/ y x) 1) (/ y z)) in x 4.687 * [taylor]: Taking taylor expansion of (+ (/ y x) 1) in x 4.687 * [taylor]: Taking taylor expansion of (/ y x) in x 4.687 * [taylor]: Taking taylor expansion of y in x 4.687 * [backup-simplify]: Simplify y into y 4.687 * [taylor]: Taking taylor expansion of x in x 4.687 * [backup-simplify]: Simplify 0 into 0 4.687 * [backup-simplify]: Simplify 1 into 1 4.687 * [backup-simplify]: Simplify (/ y 1) into y 4.687 * [taylor]: Taking taylor expansion of 1 in x 4.687 * [backup-simplify]: Simplify 1 into 1 4.687 * [taylor]: Taking taylor expansion of (/ y z) in x 4.687 * [taylor]: Taking taylor expansion of y in x 4.687 * [backup-simplify]: Simplify y into y 4.687 * [taylor]: Taking taylor expansion of z in x 4.687 * [backup-simplify]: Simplify z into z 4.687 * [backup-simplify]: Simplify (/ y z) into (/ y z) 4.687 * [taylor]: Taking taylor expansion of (- (+ (/ y x) 1) (/ y z)) in x 4.687 * [taylor]: Taking taylor expansion of (+ (/ y x) 1) in x 4.687 * [taylor]: Taking taylor expansion of (/ y x) in x 4.687 * [taylor]: Taking taylor expansion of y in x 4.687 * [backup-simplify]: Simplify y into y 4.687 * [taylor]: Taking taylor expansion of x in x 4.687 * [backup-simplify]: Simplify 0 into 0 4.687 * [backup-simplify]: Simplify 1 into 1 4.687 * [backup-simplify]: Simplify (/ y 1) into y 4.687 * [taylor]: Taking taylor expansion of 1 in x 4.687 * [backup-simplify]: Simplify 1 into 1 4.687 * [taylor]: Taking taylor expansion of (/ y z) in x 4.687 * [taylor]: Taking taylor expansion of y in x 4.687 * [backup-simplify]: Simplify y into y 4.687 * [taylor]: Taking taylor expansion of z in x 4.688 * [backup-simplify]: Simplify z into z 4.688 * [backup-simplify]: Simplify (/ y z) into (/ y z) 4.688 * [backup-simplify]: Simplify (+ y 0) into y 4.688 * [backup-simplify]: Simplify (+ y 0) into y 4.688 * [taylor]: Taking taylor expansion of y in y 4.688 * [backup-simplify]: Simplify 0 into 0 4.688 * [backup-simplify]: Simplify 1 into 1 4.688 * [taylor]: Taking taylor expansion of 0 in z 4.688 * [backup-simplify]: Simplify 0 into 0 4.689 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 4.690 * [backup-simplify]: Simplify (+ 0 1) into 1 4.690 * [backup-simplify]: Simplify (- (/ y z)) into (- (/ y z)) 4.690 * [backup-simplify]: Simplify (+ 1 (- (/ y z))) into (- 1 (/ y z)) 4.690 * [taylor]: Taking taylor expansion of (- 1 (/ y z)) in y 4.690 * [taylor]: Taking taylor expansion of 1 in y 4.690 * [backup-simplify]: Simplify 1 into 1 4.690 * [taylor]: Taking taylor expansion of (/ y z) in y 4.690 * [taylor]: Taking taylor expansion of y in y 4.690 * [backup-simplify]: Simplify 0 into 0 4.690 * [backup-simplify]: Simplify 1 into 1 4.690 * [taylor]: Taking taylor expansion of z in y 4.690 * [backup-simplify]: Simplify z into z 4.690 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.691 * [backup-simplify]: Simplify (+ 1 0) into 1 4.691 * [taylor]: Taking taylor expansion of 1 in z 4.691 * [backup-simplify]: Simplify 1 into 1 4.691 * [taylor]: Taking taylor expansion of 1 in z 4.691 * [backup-simplify]: Simplify 1 into 1 4.691 * [backup-simplify]: Simplify 0 into 0 4.693 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.693 * [backup-simplify]: Simplify (+ 0 0) into 0 4.693 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0 4.694 * [backup-simplify]: Simplify (- 0) into 0 4.694 * [backup-simplify]: Simplify (+ 0 0) into 0 4.694 * [taylor]: Taking taylor expansion of 0 in y 4.694 * [backup-simplify]: Simplify 0 into 0 4.694 * [taylor]: Taking taylor expansion of 0 in z 4.694 * [backup-simplify]: Simplify 0 into 0 4.695 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 4.695 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z)) 4.695 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.695 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.695 * [taylor]: Taking taylor expansion of z in z 4.695 * [backup-simplify]: Simplify 0 into 0 4.695 * [backup-simplify]: Simplify 1 into 1 4.695 * [backup-simplify]: Simplify (/ 1 1) into 1 4.696 * [backup-simplify]: Simplify (- 1) into -1 4.696 * [backup-simplify]: Simplify -1 into -1 4.696 * [taylor]: Taking taylor expansion of 0 in z 4.696 * [backup-simplify]: Simplify 0 into 0 4.696 * [backup-simplify]: Simplify 1 into 1 4.696 * [backup-simplify]: Simplify 1 into 1 4.697 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 y) (/ 1 (/ 1 x))))) (+ 1 (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 y) 1))))) into (- (+ (/ x y) 1) (/ z y)) 4.697 * [backup-simplify]: Simplify (- (+ 1 (/ (/ 1 (- x)) (/ 1 (- y)))) (/ (/ 1 (- z)) (/ 1 (- y)))) into (- (+ (/ y x) 1) (/ y z)) 4.697 * [approximate]: Taking taylor expansion of (- (+ (/ y x) 1) (/ y z)) in (x y z) around 0 4.697 * [taylor]: Taking taylor expansion of (- (+ (/ y x) 1) (/ y z)) in z 4.697 * [taylor]: Taking taylor expansion of (+ (/ y x) 1) in z 4.697 * [taylor]: Taking taylor expansion of (/ y x) in z 4.697 * [taylor]: Taking taylor expansion of y in z 4.697 * [backup-simplify]: Simplify y into y 4.697 * [taylor]: Taking taylor expansion of x in z 4.697 * [backup-simplify]: Simplify x into x 4.697 * [backup-simplify]: Simplify (/ y x) into (/ y x) 4.697 * [taylor]: Taking taylor expansion of 1 in z 4.697 * [backup-simplify]: Simplify 1 into 1 4.697 * [taylor]: Taking taylor expansion of (/ y z) in z 4.697 * [taylor]: Taking taylor expansion of y in z 4.697 * [backup-simplify]: Simplify y into y 4.697 * [taylor]: Taking taylor expansion of z in z 4.698 * [backup-simplify]: Simplify 0 into 0 4.698 * [backup-simplify]: Simplify 1 into 1 4.698 * [backup-simplify]: Simplify (/ y 1) into y 4.698 * [taylor]: Taking taylor expansion of (- (+ (/ y x) 1) (/ y z)) in y 4.698 * [taylor]: Taking taylor expansion of (+ (/ y x) 1) in y 4.698 * [taylor]: Taking taylor expansion of (/ y x) in y 4.698 * [taylor]: Taking taylor expansion of y in y 4.698 * [backup-simplify]: Simplify 0 into 0 4.698 * [backup-simplify]: Simplify 1 into 1 4.698 * [taylor]: Taking taylor expansion of x in y 4.698 * [backup-simplify]: Simplify x into x 4.698 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.698 * [taylor]: Taking taylor expansion of 1 in y 4.698 * [backup-simplify]: Simplify 1 into 1 4.698 * [taylor]: Taking taylor expansion of (/ y z) in y 4.698 * [taylor]: Taking taylor expansion of y in y 4.698 * [backup-simplify]: Simplify 0 into 0 4.698 * [backup-simplify]: Simplify 1 into 1 4.698 * [taylor]: Taking taylor expansion of z in y 4.698 * [backup-simplify]: Simplify z into z 4.698 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.698 * [taylor]: Taking taylor expansion of (- (+ (/ y x) 1) (/ y z)) in x 4.698 * [taylor]: Taking taylor expansion of (+ (/ y x) 1) in x 4.698 * [taylor]: Taking taylor expansion of (/ y x) in x 4.698 * [taylor]: Taking taylor expansion of y in x 4.698 * [backup-simplify]: Simplify y into y 4.698 * [taylor]: Taking taylor expansion of x in x 4.698 * [backup-simplify]: Simplify 0 into 0 4.698 * [backup-simplify]: Simplify 1 into 1 4.698 * [backup-simplify]: Simplify (/ y 1) into y 4.698 * [taylor]: Taking taylor expansion of 1 in x 4.698 * [backup-simplify]: Simplify 1 into 1 4.698 * [taylor]: Taking taylor expansion of (/ y z) in x 4.698 * [taylor]: Taking taylor expansion of y in x 4.698 * [backup-simplify]: Simplify y into y 4.699 * [taylor]: Taking taylor expansion of z in x 4.699 * [backup-simplify]: Simplify z into z 4.699 * [backup-simplify]: Simplify (/ y z) into (/ y z) 4.699 * [taylor]: Taking taylor expansion of (- (+ (/ y x) 1) (/ y z)) in x 4.699 * [taylor]: Taking taylor expansion of (+ (/ y x) 1) in x 4.699 * [taylor]: Taking taylor expansion of (/ y x) in x 4.699 * [taylor]: Taking taylor expansion of y in x 4.699 * [backup-simplify]: Simplify y into y 4.699 * [taylor]: Taking taylor expansion of x in x 4.699 * [backup-simplify]: Simplify 0 into 0 4.699 * [backup-simplify]: Simplify 1 into 1 4.699 * [backup-simplify]: Simplify (/ y 1) into y 4.699 * [taylor]: Taking taylor expansion of 1 in x 4.699 * [backup-simplify]: Simplify 1 into 1 4.699 * [taylor]: Taking taylor expansion of (/ y z) in x 4.699 * [taylor]: Taking taylor expansion of y in x 4.699 * [backup-simplify]: Simplify y into y 4.699 * [taylor]: Taking taylor expansion of z in x 4.699 * [backup-simplify]: Simplify z into z 4.699 * [backup-simplify]: Simplify (/ y z) into (/ y z) 4.699 * [backup-simplify]: Simplify (+ y 0) into y 4.699 * [backup-simplify]: Simplify (+ y 0) into y 4.699 * [taylor]: Taking taylor expansion of y in y 4.699 * [backup-simplify]: Simplify 0 into 0 4.699 * [backup-simplify]: Simplify 1 into 1 4.699 * [taylor]: Taking taylor expansion of 0 in z 4.699 * [backup-simplify]: Simplify 0 into 0 4.701 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 4.701 * [backup-simplify]: Simplify (+ 0 1) into 1 4.701 * [backup-simplify]: Simplify (- (/ y z)) into (- (/ y z)) 4.701 * [backup-simplify]: Simplify (+ 1 (- (/ y z))) into (- 1 (/ y z)) 4.701 * [taylor]: Taking taylor expansion of (- 1 (/ y z)) in y 4.701 * [taylor]: Taking taylor expansion of 1 in y 4.701 * [backup-simplify]: Simplify 1 into 1 4.701 * [taylor]: Taking taylor expansion of (/ y z) in y 4.701 * [taylor]: Taking taylor expansion of y in y 4.701 * [backup-simplify]: Simplify 0 into 0 4.701 * [backup-simplify]: Simplify 1 into 1 4.702 * [taylor]: Taking taylor expansion of z in y 4.702 * [backup-simplify]: Simplify z into z 4.702 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.702 * [backup-simplify]: Simplify (+ 1 0) into 1 4.702 * [taylor]: Taking taylor expansion of 1 in z 4.702 * [backup-simplify]: Simplify 1 into 1 4.702 * [taylor]: Taking taylor expansion of 1 in z 4.702 * [backup-simplify]: Simplify 1 into 1 4.703 * [backup-simplify]: Simplify 0 into 0 4.704 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.704 * [backup-simplify]: Simplify (+ 0 0) into 0 4.705 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0 4.705 * [backup-simplify]: Simplify (- 0) into 0 4.706 * [backup-simplify]: Simplify (+ 0 0) into 0 4.706 * [taylor]: Taking taylor expansion of 0 in y 4.706 * [backup-simplify]: Simplify 0 into 0 4.706 * [taylor]: Taking taylor expansion of 0 in z 4.706 * [backup-simplify]: Simplify 0 into 0 4.706 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 4.706 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z)) 4.706 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.706 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.706 * [taylor]: Taking taylor expansion of z in z 4.706 * [backup-simplify]: Simplify 0 into 0 4.706 * [backup-simplify]: Simplify 1 into 1 4.707 * [backup-simplify]: Simplify (/ 1 1) into 1 4.707 * [backup-simplify]: Simplify (- 1) into -1 4.707 * [backup-simplify]: Simplify -1 into -1 4.707 * [taylor]: Taking taylor expansion of 0 in z 4.707 * [backup-simplify]: Simplify 0 into 0 4.707 * [backup-simplify]: Simplify 1 into 1 4.707 * [backup-simplify]: Simplify 1 into 1 4.708 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (- y)) (/ 1 (/ 1 (- x)))))) (+ 1 (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (- y)) 1))))) into (- (+ (/ x y) 1) (/ z y)) 4.708 * * * [progress]: simplifying candidates 4.709 * [simplify]: Simplifying: (/ (* (exp 1) (exp (/ x y))) (exp (/ z y))) (/ (exp (+ 1 (/ x y))) (exp (/ z y))) (log (- (+ 1 (/ x y)) (/ z y))) (exp (- (+ 1 (/ x y)) (/ z y))) (* (cbrt (- (+ 1 (/ x y)) (/ z y))) (cbrt (- (+ 1 (/ x y)) (/ z y)))) (cbrt (- (+ 1 (/ x y)) (/ z y))) (* (* (- (+ 1 (/ x y)) (/ z y)) (- (+ 1 (/ x y)) (/ z y))) (- (+ 1 (/ x y)) (/ z y))) (sqrt (- (+ 1 (/ x y)) (/ z y))) (sqrt (- (+ 1 (/ x y)) (/ z y))) (- (* (+ (pow 1 3) (pow (/ x y) 3)) y) (* (+ (* 1 1) (- (* (/ x y) (/ x y)) (* 1 (/ x y)))) z)) (* (+ (* 1 1) (- (* (/ x y) (/ x y)) (* 1 (/ x y)))) y) (- (* (- (* 1 1) (* (/ x y) (/ x y))) y) (* (- 1 (/ x y)) z)) (* (- 1 (/ x y)) y) (- (pow (+ 1 (/ x y)) 3) (pow (/ z y) 3)) (+ (* (+ 1 (/ x y)) (+ 1 (/ x y))) (+ (* (/ z y) (/ z y)) (* (+ 1 (/ x y)) (/ z y)))) (- (/ z y)) (- (* (+ 1 (/ x y)) (+ 1 (/ x y))) (* (/ z y) (/ z y))) (+ (+ 1 (/ x y)) (/ z y)) (+ (sqrt (+ 1 (/ x y))) (sqrt (/ z y))) (- (sqrt (+ 1 (/ x y))) (sqrt (/ z y))) (+ (sqrt (+ 1 (/ x y))) (/ (sqrt z) (sqrt y))) (- (sqrt (+ 1 (/ x y))) (/ (sqrt z) (sqrt y))) (- (+ 1 (/ x y)) (/ z y)) (- (+ 1 (/ x y)) (/ z y)) (- (/ x y) (/ z y)) (- (/ z y)) (- (+ (/ x y) 1) (/ z y)) (- (+ (/ x y) 1) (/ z y)) (- (+ (/ x y) 1) (/ z y)) 4.710 * * [simplify]: iteration 0: 64 enodes 4.736 * * [simplify]: iteration 1: 178 enodes 4.812 * * [simplify]: iteration 2: 756 enodes 5.120 * * [simplify]: iteration complete: 5000 enodes 5.120 * * [simplify]: Extracting #0: cost 21 inf + 0 5.122 * * [simplify]: Extracting #1: cost 545 inf + 0 5.129 * * [simplify]: Extracting #2: cost 2015 inf + 73 5.141 * * [simplify]: Extracting #3: cost 2106 inf + 1977 5.156 * * [simplify]: Extracting #4: cost 963 inf + 11614 5.171 * * [simplify]: Extracting #5: cost 192 inf + 21410 5.186 * * [simplify]: Extracting #6: cost 22 inf + 24431 5.194 * * [simplify]: Extracting #7: cost 3 inf + 24540 5.203 * * [simplify]: Extracting #8: cost 0 inf + 24561 5.215 * [simplify]: Simplified to: (/ E (exp (- (/ z y) (/ x y)))) (/ E (exp (- (/ z y) (/ x y)))) (log (+ 1 (- (/ x y) (/ z y)))) (/ E (exp (- (/ z y) (/ x y)))) (* (cbrt (+ 1 (- (/ x y) (/ z y)))) (cbrt (+ 1 (- (/ x y) (/ z y))))) (cbrt (+ 1 (- (/ x y) (/ z y)))) (pow (+ 1 (- (/ x y) (/ z y))) 3) (sqrt (+ 1 (- (/ x y) (/ z y)))) (sqrt (+ 1 (- (/ x y) (/ z y)))) (- (* y (+ (pow (/ x y) 3) 1)) (* z (+ 1 (* (/ x y) (+ -1 (/ x y)))))) (* y (+ 1 (* (/ x y) (+ -1 (/ x y))))) (- (* y (- 1 (/ (* (/ x y) x) y))) (* (- 1 (/ x y)) z)) (* y (- 1 (/ x y))) (- (pow (+ (/ x y) 1) 3) (pow (/ z y) 3)) (+ (* (+ (/ x y) 1) (+ (+ (/ x y) 1) (/ z y))) (* (/ z y) (/ z y))) (- (/ z y)) (- (* (+ (/ x y) 1) (+ 1 (/ x y))) (* (/ z y) (/ z y))) (+ (+ (/ z y) (/ x y)) 1) (+ (sqrt (/ z y)) (sqrt (+ (/ x y) 1))) (- (sqrt (+ (/ x y) 1)) (sqrt (/ z y))) (+ (sqrt (+ (/ x y) 1)) (/ (sqrt z) (sqrt y))) (- (sqrt (+ (/ x y) 1)) (/ (sqrt z) (sqrt y))) (+ 1 (- (/ x y) (/ z y))) (+ 1 (- (/ x y) (/ z y))) (- (/ x y) (/ z y)) (- (/ z y)) (+ 1 (- (/ x y) (/ z y))) (+ 1 (- (/ x y) (/ z y))) (+ 1 (- (/ x y) (/ z y))) 5.216 * * * [progress]: adding candidates to table 5.344 * * [progress]: iteration 3 / 4 5.344 * * * [progress]: picking best candidate 5.350 * * * * [pick]: Picked # 5.350 * * * [progress]: localizing error 5.379 * * * [progress]: generating rewritten candidates 5.379 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1 1 2) 5.403 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 5.459 * * * [progress]: generating series expansions 5.459 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1 1 2) 5.460 * [backup-simplify]: Simplify (/ (- z x) y) into (/ (- z x) y) 5.460 * [approximate]: Taking taylor expansion of (/ (- z x) y) in (z x y) around 0 5.460 * [taylor]: Taking taylor expansion of (/ (- z x) y) in y 5.460 * [taylor]: Taking taylor expansion of (- z x) in y 5.460 * [taylor]: Taking taylor expansion of z in y 5.460 * [backup-simplify]: Simplify z into z 5.460 * [taylor]: Taking taylor expansion of x in y 5.460 * [backup-simplify]: Simplify x into x 5.460 * [taylor]: Taking taylor expansion of y in y 5.460 * [backup-simplify]: Simplify 0 into 0 5.460 * [backup-simplify]: Simplify 1 into 1 5.460 * [backup-simplify]: Simplify (- x) into (- x) 5.460 * [backup-simplify]: Simplify (+ z (- x)) into (- z x) 5.460 * [backup-simplify]: Simplify (/ (- z x) 1) into (- z x) 5.460 * [taylor]: Taking taylor expansion of (/ (- z x) y) in x 5.460 * [taylor]: Taking taylor expansion of (- z x) in x 5.460 * [taylor]: Taking taylor expansion of z in x 5.460 * [backup-simplify]: Simplify z into z 5.460 * [taylor]: Taking taylor expansion of x in x 5.460 * [backup-simplify]: Simplify 0 into 0 5.460 * [backup-simplify]: Simplify 1 into 1 5.460 * [taylor]: Taking taylor expansion of y in x 5.460 * [backup-simplify]: Simplify y into y 5.461 * [backup-simplify]: Simplify (- 0) into 0 5.461 * [backup-simplify]: Simplify (+ z 0) into z 5.461 * [backup-simplify]: Simplify (/ z y) into (/ z y) 5.461 * [taylor]: Taking taylor expansion of (/ (- z x) y) in z 5.462 * [taylor]: Taking taylor expansion of (- z x) in z 5.462 * [taylor]: Taking taylor expansion of z in z 5.462 * [backup-simplify]: Simplify 0 into 0 5.462 * [backup-simplify]: Simplify 1 into 1 5.462 * [taylor]: Taking taylor expansion of x in z 5.462 * [backup-simplify]: Simplify x into x 5.462 * [taylor]: Taking taylor expansion of y in z 5.462 * [backup-simplify]: Simplify y into y 5.462 * [backup-simplify]: Simplify (- x) into (- x) 5.462 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 5.462 * [backup-simplify]: Simplify (/ (- x) y) into (* -1 (/ x y)) 5.462 * [taylor]: Taking taylor expansion of (/ (- z x) y) in z 5.462 * [taylor]: Taking taylor expansion of (- z x) in z 5.462 * [taylor]: Taking taylor expansion of z in z 5.462 * [backup-simplify]: Simplify 0 into 0 5.462 * [backup-simplify]: Simplify 1 into 1 5.462 * [taylor]: Taking taylor expansion of x in z 5.462 * [backup-simplify]: Simplify x into x 5.462 * [taylor]: Taking taylor expansion of y in z 5.462 * [backup-simplify]: Simplify y into y 5.462 * [backup-simplify]: Simplify (- x) into (- x) 5.462 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 5.462 * [backup-simplify]: Simplify (/ (- x) y) into (* -1 (/ x y)) 5.463 * [taylor]: Taking taylor expansion of (* -1 (/ x y)) in x 5.463 * [taylor]: Taking taylor expansion of -1 in x 5.463 * [backup-simplify]: Simplify -1 into -1 5.463 * [taylor]: Taking taylor expansion of (/ x y) in x 5.463 * [taylor]: Taking taylor expansion of x in x 5.463 * [backup-simplify]: Simplify 0 into 0 5.463 * [backup-simplify]: Simplify 1 into 1 5.463 * [taylor]: Taking taylor expansion of y in x 5.463 * [backup-simplify]: Simplify y into y 5.463 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.464 * [backup-simplify]: Simplify (- 0) into 0 5.464 * [backup-simplify]: Simplify (+ 1 0) into 1 5.465 * [backup-simplify]: Simplify (- (/ 1 y) (+ (* (* -1 (/ x y)) (/ 0 y)))) into (/ 1 y) 5.465 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.465 * [taylor]: Taking taylor expansion of y in x 5.465 * [backup-simplify]: Simplify y into y 5.465 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.465 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.465 * [taylor]: Taking taylor expansion of y in y 5.465 * [backup-simplify]: Simplify 0 into 0 5.465 * [backup-simplify]: Simplify 1 into 1 5.465 * [backup-simplify]: Simplify (/ 1 1) into 1 5.465 * [backup-simplify]: Simplify 1 into 1 5.466 * [backup-simplify]: Simplify (* -1 (/ 1 y)) into (/ -1 y) 5.466 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.466 * [taylor]: Taking taylor expansion of -1 in y 5.466 * [backup-simplify]: Simplify -1 into -1 5.466 * [taylor]: Taking taylor expansion of y in y 5.466 * [backup-simplify]: Simplify 0 into 0 5.466 * [backup-simplify]: Simplify 1 into 1 5.466 * [backup-simplify]: Simplify (/ -1 1) into -1 5.466 * [backup-simplify]: Simplify -1 into -1 5.467 * [backup-simplify]: Simplify (- 0) into 0 5.467 * [backup-simplify]: Simplify (+ 0 0) into 0 5.468 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (* -1 (/ x y)) (/ 0 y)) (* (/ 1 y) (/ 0 y)))) into 0 5.468 * [taylor]: Taking taylor expansion of 0 in x 5.468 * [backup-simplify]: Simplify 0 into 0 5.468 * [taylor]: Taking taylor expansion of 0 in y 5.468 * [backup-simplify]: Simplify 0 into 0 5.468 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.468 * [taylor]: Taking taylor expansion of 0 in y 5.468 * [backup-simplify]: Simplify 0 into 0 5.468 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0 5.469 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 y))) into 0 5.469 * [taylor]: Taking taylor expansion of 0 in y 5.469 * [backup-simplify]: Simplify 0 into 0 5.470 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.470 * [backup-simplify]: Simplify 0 into 0 5.471 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 5.471 * [backup-simplify]: Simplify 0 into 0 5.471 * [backup-simplify]: Simplify (- 0) into 0 5.472 * [backup-simplify]: Simplify (+ 0 0) into 0 5.472 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (* -1 (/ x y)) (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.472 * [taylor]: Taking taylor expansion of 0 in x 5.472 * [backup-simplify]: Simplify 0 into 0 5.472 * [taylor]: Taking taylor expansion of 0 in y 5.472 * [backup-simplify]: Simplify 0 into 0 5.472 * [taylor]: Taking taylor expansion of 0 in y 5.472 * [backup-simplify]: Simplify 0 into 0 5.473 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.473 * [taylor]: Taking taylor expansion of 0 in y 5.473 * [backup-simplify]: Simplify 0 into 0 5.473 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.474 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 5.474 * [taylor]: Taking taylor expansion of 0 in y 5.474 * [backup-simplify]: Simplify 0 into 0 5.474 * [backup-simplify]: Simplify 0 into 0 5.474 * [backup-simplify]: Simplify 0 into 0 5.474 * [backup-simplify]: Simplify 0 into 0 5.475 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.475 * [backup-simplify]: Simplify 0 into 0 5.476 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 y) (* x 1))) (* 1 (* (/ 1 y) (* 1 z)))) into (- (/ z y) (/ x y)) 5.476 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) (/ 1 y)) into (* y (- (/ 1 z) (/ 1 x))) 5.476 * [approximate]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in (z x y) around 0 5.476 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in y 5.476 * [taylor]: Taking taylor expansion of y in y 5.476 * [backup-simplify]: Simplify 0 into 0 5.476 * [backup-simplify]: Simplify 1 into 1 5.476 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 5.476 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.476 * [taylor]: Taking taylor expansion of z in y 5.476 * [backup-simplify]: Simplify z into z 5.476 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.476 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.476 * [taylor]: Taking taylor expansion of x in y 5.476 * [backup-simplify]: Simplify x into x 5.476 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.476 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in x 5.476 * [taylor]: Taking taylor expansion of y in x 5.476 * [backup-simplify]: Simplify y into y 5.476 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 5.477 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.477 * [taylor]: Taking taylor expansion of z in x 5.477 * [backup-simplify]: Simplify z into z 5.477 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.477 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.477 * [taylor]: Taking taylor expansion of x in x 5.477 * [backup-simplify]: Simplify 0 into 0 5.477 * [backup-simplify]: Simplify 1 into 1 5.477 * [backup-simplify]: Simplify (/ 1 1) into 1 5.477 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in z 5.477 * [taylor]: Taking taylor expansion of y in z 5.477 * [backup-simplify]: Simplify y into y 5.477 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 5.477 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.478 * [taylor]: Taking taylor expansion of z in z 5.478 * [backup-simplify]: Simplify 0 into 0 5.478 * [backup-simplify]: Simplify 1 into 1 5.478 * [backup-simplify]: Simplify (/ 1 1) into 1 5.478 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.478 * [taylor]: Taking taylor expansion of x in z 5.478 * [backup-simplify]: Simplify x into x 5.478 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.478 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in z 5.478 * [taylor]: Taking taylor expansion of y in z 5.478 * [backup-simplify]: Simplify y into y 5.478 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 5.478 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.478 * [taylor]: Taking taylor expansion of z in z 5.478 * [backup-simplify]: Simplify 0 into 0 5.478 * [backup-simplify]: Simplify 1 into 1 5.478 * [backup-simplify]: Simplify (/ 1 1) into 1 5.478 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.478 * [taylor]: Taking taylor expansion of x in z 5.478 * [backup-simplify]: Simplify x into x 5.479 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.479 * [backup-simplify]: Simplify (+ 1 0) into 1 5.479 * [backup-simplify]: Simplify (* y 1) into y 5.479 * [taylor]: Taking taylor expansion of y in x 5.479 * [backup-simplify]: Simplify y into y 5.479 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.480 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 5.480 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 5.480 * [backup-simplify]: Simplify (+ (* y (- (/ 1 x))) (* 0 1)) into (- (/ y x)) 5.480 * [taylor]: Taking taylor expansion of (- (/ y x)) in x 5.480 * [taylor]: Taking taylor expansion of (/ y x) in x 5.480 * [taylor]: Taking taylor expansion of y in x 5.480 * [backup-simplify]: Simplify y into y 5.480 * [taylor]: Taking taylor expansion of x in x 5.480 * [backup-simplify]: Simplify 0 into 0 5.480 * [backup-simplify]: Simplify 1 into 1 5.480 * [backup-simplify]: Simplify (/ y 1) into y 5.480 * [backup-simplify]: Simplify (- y) into (- y) 5.480 * [taylor]: Taking taylor expansion of (- y) in y 5.480 * [taylor]: Taking taylor expansion of y in y 5.480 * [backup-simplify]: Simplify 0 into 0 5.480 * [backup-simplify]: Simplify 1 into 1 5.481 * [backup-simplify]: Simplify (- 0) into 0 5.481 * [backup-simplify]: Simplify 0 into 0 5.481 * [taylor]: Taking taylor expansion of y in y 5.481 * [backup-simplify]: Simplify 0 into 0 5.481 * [backup-simplify]: Simplify 1 into 1 5.481 * [backup-simplify]: Simplify 0 into 0 5.481 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.481 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 5.482 * [backup-simplify]: Simplify (- 0) into 0 5.482 * [backup-simplify]: Simplify (+ 0 0) into 0 5.482 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 (- (/ 1 x))) (* 0 1))) into 0 5.482 * [taylor]: Taking taylor expansion of 0 in x 5.482 * [backup-simplify]: Simplify 0 into 0 5.483 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 5.483 * [backup-simplify]: Simplify (- 0) into 0 5.483 * [taylor]: Taking taylor expansion of 0 in y 5.483 * [backup-simplify]: Simplify 0 into 0 5.483 * [backup-simplify]: Simplify 0 into 0 5.483 * [taylor]: Taking taylor expansion of 0 in y 5.483 * [backup-simplify]: Simplify 0 into 0 5.483 * [backup-simplify]: Simplify 0 into 0 5.483 * [backup-simplify]: Simplify (- 1) into -1 5.483 * [backup-simplify]: Simplify -1 into -1 5.484 * [backup-simplify]: Simplify 1 into 1 5.484 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.484 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.484 * [backup-simplify]: Simplify (- 0) into 0 5.485 * [backup-simplify]: Simplify (+ 0 0) into 0 5.485 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 (- (/ 1 x))) (* 0 1)))) into 0 5.485 * [taylor]: Taking taylor expansion of 0 in x 5.485 * [backup-simplify]: Simplify 0 into 0 5.485 * [taylor]: Taking taylor expansion of 0 in y 5.485 * [backup-simplify]: Simplify 0 into 0 5.485 * [backup-simplify]: Simplify 0 into 0 5.486 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.487 * [backup-simplify]: Simplify (- 0) into 0 5.487 * [taylor]: Taking taylor expansion of 0 in y 5.487 * [backup-simplify]: Simplify 0 into 0 5.487 * [backup-simplify]: Simplify 0 into 0 5.487 * [taylor]: Taking taylor expansion of 0 in y 5.487 * [backup-simplify]: Simplify 0 into 0 5.487 * [backup-simplify]: Simplify 0 into 0 5.487 * [backup-simplify]: Simplify 0 into 0 5.487 * [backup-simplify]: Simplify 0 into 0 5.487 * [backup-simplify]: Simplify (- 0) into 0 5.487 * [backup-simplify]: Simplify 0 into 0 5.488 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 y) (* 1 (/ 1 (/ 1 z))))) (* -1 (* (/ 1 y) (* (/ 1 (/ 1 x)) 1)))) into (- (/ z y) (/ x y)) 5.488 * [backup-simplify]: Simplify (/ (- (/ 1 (- z)) (/ 1 (- x))) (/ 1 (- y))) into (* -1 (* (- (/ 1 x) (/ 1 z)) y)) 5.488 * [approximate]: Taking taylor expansion of (* -1 (* (- (/ 1 x) (/ 1 z)) y)) in (z x y) around 0 5.488 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 x) (/ 1 z)) y)) in y 5.488 * [taylor]: Taking taylor expansion of -1 in y 5.488 * [backup-simplify]: Simplify -1 into -1 5.488 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) y) in y 5.488 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 5.488 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.488 * [taylor]: Taking taylor expansion of x in y 5.488 * [backup-simplify]: Simplify x into x 5.488 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.488 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.488 * [taylor]: Taking taylor expansion of z in y 5.488 * [backup-simplify]: Simplify z into z 5.488 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.488 * [taylor]: Taking taylor expansion of y in y 5.488 * [backup-simplify]: Simplify 0 into 0 5.488 * [backup-simplify]: Simplify 1 into 1 5.488 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 x) (/ 1 z)) y)) in x 5.488 * [taylor]: Taking taylor expansion of -1 in x 5.488 * [backup-simplify]: Simplify -1 into -1 5.488 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) y) in x 5.488 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 5.488 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.488 * [taylor]: Taking taylor expansion of x in x 5.488 * [backup-simplify]: Simplify 0 into 0 5.488 * [backup-simplify]: Simplify 1 into 1 5.489 * [backup-simplify]: Simplify (/ 1 1) into 1 5.489 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.489 * [taylor]: Taking taylor expansion of z in x 5.489 * [backup-simplify]: Simplify z into z 5.489 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.489 * [taylor]: Taking taylor expansion of y in x 5.489 * [backup-simplify]: Simplify y into y 5.489 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 x) (/ 1 z)) y)) in z 5.489 * [taylor]: Taking taylor expansion of -1 in z 5.489 * [backup-simplify]: Simplify -1 into -1 5.489 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) y) in z 5.489 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 5.489 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.489 * [taylor]: Taking taylor expansion of x in z 5.489 * [backup-simplify]: Simplify x into x 5.489 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.489 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.489 * [taylor]: Taking taylor expansion of z in z 5.489 * [backup-simplify]: Simplify 0 into 0 5.489 * [backup-simplify]: Simplify 1 into 1 5.489 * [backup-simplify]: Simplify (/ 1 1) into 1 5.489 * [taylor]: Taking taylor expansion of y in z 5.489 * [backup-simplify]: Simplify y into y 5.489 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 x) (/ 1 z)) y)) in z 5.489 * [taylor]: Taking taylor expansion of -1 in z 5.489 * [backup-simplify]: Simplify -1 into -1 5.489 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) y) in z 5.489 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 5.489 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.489 * [taylor]: Taking taylor expansion of x in z 5.489 * [backup-simplify]: Simplify x into x 5.489 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.489 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.489 * [taylor]: Taking taylor expansion of z in z 5.489 * [backup-simplify]: Simplify 0 into 0 5.490 * [backup-simplify]: Simplify 1 into 1 5.490 * [backup-simplify]: Simplify (/ 1 1) into 1 5.490 * [taylor]: Taking taylor expansion of y in z 5.490 * [backup-simplify]: Simplify y into y 5.490 * [backup-simplify]: Simplify (- 1) into -1 5.490 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.490 * [backup-simplify]: Simplify (* -1 y) into (* -1 y) 5.491 * [backup-simplify]: Simplify (* -1 (* -1 y)) into y 5.491 * [taylor]: Taking taylor expansion of y in x 5.491 * [backup-simplify]: Simplify y into y 5.491 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.491 * [backup-simplify]: Simplify (- 0) into 0 5.491 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 5.492 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 x) y)) into (/ y x) 5.492 * [backup-simplify]: Simplify (+ (* -1 (/ y x)) (* 0 (* -1 y))) into (- (/ y x)) 5.492 * [taylor]: Taking taylor expansion of (- (/ y x)) in x 5.492 * [taylor]: Taking taylor expansion of (/ y x) in x 5.492 * [taylor]: Taking taylor expansion of y in x 5.492 * [backup-simplify]: Simplify y into y 5.492 * [taylor]: Taking taylor expansion of x in x 5.492 * [backup-simplify]: Simplify 0 into 0 5.492 * [backup-simplify]: Simplify 1 into 1 5.492 * [backup-simplify]: Simplify (/ y 1) into y 5.492 * [backup-simplify]: Simplify (- y) into (- y) 5.492 * [taylor]: Taking taylor expansion of (- y) in y 5.492 * [taylor]: Taking taylor expansion of y in y 5.492 * [backup-simplify]: Simplify 0 into 0 5.492 * [backup-simplify]: Simplify 1 into 1 5.492 * [backup-simplify]: Simplify (- 0) into 0 5.492 * [backup-simplify]: Simplify 0 into 0 5.492 * [taylor]: Taking taylor expansion of y in y 5.492 * [backup-simplify]: Simplify 0 into 0 5.492 * [backup-simplify]: Simplify 1 into 1 5.493 * [backup-simplify]: Simplify 0 into 0 5.493 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 5.493 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.493 * [backup-simplify]: Simplify (- 0) into 0 5.494 * [backup-simplify]: Simplify (+ 0 0) into 0 5.494 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 x) 0) (* 0 y))) into 0 5.494 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ y x)) (* 0 (* -1 y)))) into 0 5.494 * [taylor]: Taking taylor expansion of 0 in x 5.495 * [backup-simplify]: Simplify 0 into 0 5.495 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 5.495 * [backup-simplify]: Simplify (- 0) into 0 5.495 * [taylor]: Taking taylor expansion of 0 in y 5.495 * [backup-simplify]: Simplify 0 into 0 5.495 * [backup-simplify]: Simplify 0 into 0 5.495 * [taylor]: Taking taylor expansion of 0 in y 5.495 * [backup-simplify]: Simplify 0 into 0 5.495 * [backup-simplify]: Simplify 0 into 0 5.496 * [backup-simplify]: Simplify (- 1) into -1 5.496 * [backup-simplify]: Simplify -1 into -1 5.496 * [backup-simplify]: Simplify 1 into 1 5.496 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.497 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.497 * [backup-simplify]: Simplify (- 0) into 0 5.497 * [backup-simplify]: Simplify (+ 0 0) into 0 5.498 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 x) 0) (+ (* 0 0) (* 0 y)))) into 0 5.498 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ y x)) (* 0 (* -1 y))))) into 0 5.498 * [taylor]: Taking taylor expansion of 0 in x 5.498 * [backup-simplify]: Simplify 0 into 0 5.498 * [taylor]: Taking taylor expansion of 0 in y 5.498 * [backup-simplify]: Simplify 0 into 0 5.498 * [backup-simplify]: Simplify 0 into 0 5.499 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.500 * [backup-simplify]: Simplify (- 0) into 0 5.500 * [taylor]: Taking taylor expansion of 0 in y 5.500 * [backup-simplify]: Simplify 0 into 0 5.500 * [backup-simplify]: Simplify 0 into 0 5.500 * [taylor]: Taking taylor expansion of 0 in y 5.500 * [backup-simplify]: Simplify 0 into 0 5.500 * [backup-simplify]: Simplify 0 into 0 5.500 * [backup-simplify]: Simplify 0 into 0 5.500 * [backup-simplify]: Simplify 0 into 0 5.500 * [backup-simplify]: Simplify (- 0) into 0 5.500 * [backup-simplify]: Simplify 0 into 0 5.500 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (- y)) (* 1 (/ 1 (/ 1 (- z)))))) (* -1 (* (/ 1 (- y)) (* (/ 1 (/ 1 (- x))) 1)))) into (- (/ z y) (/ x y)) 5.500 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 5.501 * [backup-simplify]: Simplify (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0) into (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y))) 5.501 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y))) in (z x y) around 0 5.501 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y))) in y 5.501 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 4.0) in y 5.501 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in y 5.501 * [taylor]: Taking taylor expansion of 4.0 in y 5.501 * [backup-simplify]: Simplify 4.0 into 4.0 5.501 * [taylor]: Taking taylor expansion of (/ x y) in y 5.501 * [taylor]: Taking taylor expansion of x in y 5.501 * [backup-simplify]: Simplify x into x 5.501 * [taylor]: Taking taylor expansion of y in y 5.501 * [backup-simplify]: Simplify 0 into 0 5.501 * [backup-simplify]: Simplify 1 into 1 5.501 * [backup-simplify]: Simplify (/ x 1) into x 5.501 * [taylor]: Taking taylor expansion of 4.0 in y 5.501 * [backup-simplify]: Simplify 4.0 into 4.0 5.501 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in y 5.501 * [taylor]: Taking taylor expansion of 4.0 in y 5.501 * [backup-simplify]: Simplify 4.0 into 4.0 5.501 * [taylor]: Taking taylor expansion of (/ z y) in y 5.501 * [taylor]: Taking taylor expansion of z in y 5.501 * [backup-simplify]: Simplify z into z 5.501 * [taylor]: Taking taylor expansion of y in y 5.501 * [backup-simplify]: Simplify 0 into 0 5.501 * [backup-simplify]: Simplify 1 into 1 5.501 * [backup-simplify]: Simplify (/ z 1) into z 5.501 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y))) in x 5.501 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 4.0) in x 5.501 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in x 5.501 * [taylor]: Taking taylor expansion of 4.0 in x 5.501 * [backup-simplify]: Simplify 4.0 into 4.0 5.501 * [taylor]: Taking taylor expansion of (/ x y) in x 5.501 * [taylor]: Taking taylor expansion of x in x 5.501 * [backup-simplify]: Simplify 0 into 0 5.501 * [backup-simplify]: Simplify 1 into 1 5.501 * [taylor]: Taking taylor expansion of y in x 5.501 * [backup-simplify]: Simplify y into y 5.501 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.501 * [taylor]: Taking taylor expansion of 4.0 in x 5.501 * [backup-simplify]: Simplify 4.0 into 4.0 5.501 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in x 5.501 * [taylor]: Taking taylor expansion of 4.0 in x 5.501 * [backup-simplify]: Simplify 4.0 into 4.0 5.501 * [taylor]: Taking taylor expansion of (/ z y) in x 5.501 * [taylor]: Taking taylor expansion of z in x 5.501 * [backup-simplify]: Simplify z into z 5.501 * [taylor]: Taking taylor expansion of y in x 5.501 * [backup-simplify]: Simplify y into y 5.501 * [backup-simplify]: Simplify (/ z y) into (/ z y) 5.501 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y))) in z 5.502 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 4.0) in z 5.502 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in z 5.502 * [taylor]: Taking taylor expansion of 4.0 in z 5.502 * [backup-simplify]: Simplify 4.0 into 4.0 5.502 * [taylor]: Taking taylor expansion of (/ x y) in z 5.502 * [taylor]: Taking taylor expansion of x in z 5.502 * [backup-simplify]: Simplify x into x 5.502 * [taylor]: Taking taylor expansion of y in z 5.502 * [backup-simplify]: Simplify y into y 5.502 * [backup-simplify]: Simplify (/ x y) into (/ x y) 5.502 * [taylor]: Taking taylor expansion of 4.0 in z 5.502 * [backup-simplify]: Simplify 4.0 into 4.0 5.502 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in z 5.502 * [taylor]: Taking taylor expansion of 4.0 in z 5.502 * [backup-simplify]: Simplify 4.0 into 4.0 5.502 * [taylor]: Taking taylor expansion of (/ z y) in z 5.502 * [taylor]: Taking taylor expansion of z in z 5.502 * [backup-simplify]: Simplify 0 into 0 5.502 * [backup-simplify]: Simplify 1 into 1 5.502 * [taylor]: Taking taylor expansion of y in z 5.502 * [backup-simplify]: Simplify y into y 5.502 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.502 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y))) in z 5.502 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 4.0) in z 5.502 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in z 5.502 * [taylor]: Taking taylor expansion of 4.0 in z 5.502 * [backup-simplify]: Simplify 4.0 into 4.0 5.502 * [taylor]: Taking taylor expansion of (/ x y) in z 5.502 * [taylor]: Taking taylor expansion of x in z 5.502 * [backup-simplify]: Simplify x into x 5.502 * [taylor]: Taking taylor expansion of y in z 5.502 * [backup-simplify]: Simplify y into y 5.502 * [backup-simplify]: Simplify (/ x y) into (/ x y) 5.502 * [taylor]: Taking taylor expansion of 4.0 in z 5.502 * [backup-simplify]: Simplify 4.0 into 4.0 5.502 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in z 5.502 * [taylor]: Taking taylor expansion of 4.0 in z 5.502 * [backup-simplify]: Simplify 4.0 into 4.0 5.502 * [taylor]: Taking taylor expansion of (/ z y) in z 5.502 * [taylor]: Taking taylor expansion of z in z 5.502 * [backup-simplify]: Simplify 0 into 0 5.502 * [backup-simplify]: Simplify 1 into 1 5.502 * [taylor]: Taking taylor expansion of y in z 5.502 * [backup-simplify]: Simplify y into y 5.502 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.502 * [backup-simplify]: Simplify (* 4.0 (/ x y)) into (* 4.0 (/ x y)) 5.502 * [backup-simplify]: Simplify (+ (* 4.0 (/ x y)) 4.0) into (+ (* 4.0 (/ x y)) 4.0) 5.503 * [backup-simplify]: Simplify (+ (+ (* 4.0 (/ x y)) 4.0) 0) into (+ (* 4.0 (/ x y)) 4.0) 5.503 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 4.0) in x 5.503 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in x 5.503 * [taylor]: Taking taylor expansion of 4.0 in x 5.503 * [backup-simplify]: Simplify 4.0 into 4.0 5.503 * [taylor]: Taking taylor expansion of (/ x y) in x 5.503 * [taylor]: Taking taylor expansion of x in x 5.503 * [backup-simplify]: Simplify 0 into 0 5.503 * [backup-simplify]: Simplify 1 into 1 5.503 * [taylor]: Taking taylor expansion of y in x 5.503 * [backup-simplify]: Simplify y into y 5.503 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.503 * [taylor]: Taking taylor expansion of 4.0 in x 5.503 * [backup-simplify]: Simplify 4.0 into 4.0 5.503 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0 5.503 * [taylor]: Taking taylor expansion of 4.0 in y 5.503 * [backup-simplify]: Simplify 4.0 into 4.0 5.503 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ x y) (/ 0 y)))) into 0 5.504 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ x y))) into 0 5.504 * [backup-simplify]: Simplify (+ 0 0) into 0 5.504 * [backup-simplify]: Simplify (* 4.0 (/ 1 y)) into (/ 4.0 y) 5.504 * [backup-simplify]: Simplify (- (/ 4.0 y)) into (- (* 4.0 (/ 1 y))) 5.504 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 (/ 1 y)))) into (- (* 4.0 (/ 1 y))) 5.504 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y))) in x 5.504 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x 5.504 * [taylor]: Taking taylor expansion of 4.0 in x 5.504 * [backup-simplify]: Simplify 4.0 into 4.0 5.504 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.504 * [taylor]: Taking taylor expansion of y in x 5.504 * [backup-simplify]: Simplify y into y 5.504 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.504 * [backup-simplify]: Simplify (* 4.0 (/ 1 y)) into (/ 4.0 y) 5.505 * [backup-simplify]: Simplify (- (/ 4.0 y)) into (- (* 4.0 (/ 1 y))) 5.505 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y))) in y 5.505 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 5.505 * [taylor]: Taking taylor expansion of 4.0 in y 5.505 * [backup-simplify]: Simplify 4.0 into 4.0 5.505 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.505 * [taylor]: Taking taylor expansion of y in y 5.505 * [backup-simplify]: Simplify 0 into 0 5.505 * [backup-simplify]: Simplify 1 into 1 5.505 * [backup-simplify]: Simplify (/ 1 1) into 1 5.505 * [backup-simplify]: Simplify (* 4.0 1) into 4.0 5.506 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 5.506 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 5.506 * [backup-simplify]: Simplify (* 4.0 (/ 1 y)) into (/ 4.0 y) 5.506 * [backup-simplify]: Simplify (+ (/ 4.0 y) 0) into (* 4.0 (/ 1 y)) 5.506 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 5.506 * [taylor]: Taking taylor expansion of 4.0 in y 5.506 * [backup-simplify]: Simplify 4.0 into 4.0 5.506 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.506 * [taylor]: Taking taylor expansion of y in y 5.506 * [backup-simplify]: Simplify 0 into 0 5.506 * [backup-simplify]: Simplify 1 into 1 5.506 * [backup-simplify]: Simplify (/ 1 1) into 1 5.507 * [backup-simplify]: Simplify (* 4.0 1) into 4.0 5.507 * [backup-simplify]: Simplify 4.0 into 4.0 5.507 * [backup-simplify]: Simplify 4.0 into 4.0 5.507 * [backup-simplify]: Simplify (+ 4.0 (+ (* 4.0 (* (/ 1 y) (* x 1))) (* (- 4.0) (* (/ 1 y) (* 1 z))))) into (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y))) 5.507 * [backup-simplify]: Simplify (+ (* (- 0.75 (/ (- (/ 1 z) (/ 1 x)) (/ 1 y))) 4.0) 1.0) into (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) 5.507 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in (z x y) around 0 5.508 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in y 5.508 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 4.0) in y 5.508 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in y 5.508 * [taylor]: Taking taylor expansion of 4.0 in y 5.508 * [backup-simplify]: Simplify 4.0 into 4.0 5.508 * [taylor]: Taking taylor expansion of (/ y x) in y 5.508 * [taylor]: Taking taylor expansion of y in y 5.508 * [backup-simplify]: Simplify 0 into 0 5.508 * [backup-simplify]: Simplify 1 into 1 5.508 * [taylor]: Taking taylor expansion of x in y 5.508 * [backup-simplify]: Simplify x into x 5.508 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.508 * [taylor]: Taking taylor expansion of 4.0 in y 5.508 * [backup-simplify]: Simplify 4.0 into 4.0 5.508 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y 5.508 * [taylor]: Taking taylor expansion of 4.0 in y 5.508 * [backup-simplify]: Simplify 4.0 into 4.0 5.508 * [taylor]: Taking taylor expansion of (/ y z) in y 5.508 * [taylor]: Taking taylor expansion of y in y 5.508 * [backup-simplify]: Simplify 0 into 0 5.508 * [backup-simplify]: Simplify 1 into 1 5.508 * [taylor]: Taking taylor expansion of z in y 5.508 * [backup-simplify]: Simplify z into z 5.508 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.508 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in x 5.508 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 4.0) in x 5.508 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x 5.508 * [taylor]: Taking taylor expansion of 4.0 in x 5.508 * [backup-simplify]: Simplify 4.0 into 4.0 5.508 * [taylor]: Taking taylor expansion of (/ y x) in x 5.508 * [taylor]: Taking taylor expansion of y in x 5.508 * [backup-simplify]: Simplify y into y 5.508 * [taylor]: Taking taylor expansion of x in x 5.508 * [backup-simplify]: Simplify 0 into 0 5.508 * [backup-simplify]: Simplify 1 into 1 5.508 * [backup-simplify]: Simplify (/ y 1) into y 5.508 * [taylor]: Taking taylor expansion of 4.0 in x 5.508 * [backup-simplify]: Simplify 4.0 into 4.0 5.508 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x 5.508 * [taylor]: Taking taylor expansion of 4.0 in x 5.508 * [backup-simplify]: Simplify 4.0 into 4.0 5.508 * [taylor]: Taking taylor expansion of (/ y z) in x 5.508 * [taylor]: Taking taylor expansion of y in x 5.508 * [backup-simplify]: Simplify y into y 5.508 * [taylor]: Taking taylor expansion of z in x 5.508 * [backup-simplify]: Simplify z into z 5.508 * [backup-simplify]: Simplify (/ y z) into (/ y z) 5.508 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in z 5.508 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 4.0) in z 5.508 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in z 5.508 * [taylor]: Taking taylor expansion of 4.0 in z 5.508 * [backup-simplify]: Simplify 4.0 into 4.0 5.508 * [taylor]: Taking taylor expansion of (/ y x) in z 5.508 * [taylor]: Taking taylor expansion of y in z 5.508 * [backup-simplify]: Simplify y into y 5.508 * [taylor]: Taking taylor expansion of x in z 5.508 * [backup-simplify]: Simplify x into x 5.509 * [backup-simplify]: Simplify (/ y x) into (/ y x) 5.509 * [taylor]: Taking taylor expansion of 4.0 in z 5.509 * [backup-simplify]: Simplify 4.0 into 4.0 5.509 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z 5.509 * [taylor]: Taking taylor expansion of 4.0 in z 5.509 * [backup-simplify]: Simplify 4.0 into 4.0 5.509 * [taylor]: Taking taylor expansion of (/ y z) in z 5.509 * [taylor]: Taking taylor expansion of y in z 5.509 * [backup-simplify]: Simplify y into y 5.509 * [taylor]: Taking taylor expansion of z in z 5.509 * [backup-simplify]: Simplify 0 into 0 5.509 * [backup-simplify]: Simplify 1 into 1 5.509 * [backup-simplify]: Simplify (/ y 1) into y 5.509 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in z 5.509 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 4.0) in z 5.509 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in z 5.509 * [taylor]: Taking taylor expansion of 4.0 in z 5.509 * [backup-simplify]: Simplify 4.0 into 4.0 5.509 * [taylor]: Taking taylor expansion of (/ y x) in z 5.509 * [taylor]: Taking taylor expansion of y in z 5.509 * [backup-simplify]: Simplify y into y 5.509 * [taylor]: Taking taylor expansion of x in z 5.509 * [backup-simplify]: Simplify x into x 5.509 * [backup-simplify]: Simplify (/ y x) into (/ y x) 5.509 * [taylor]: Taking taylor expansion of 4.0 in z 5.509 * [backup-simplify]: Simplify 4.0 into 4.0 5.509 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z 5.509 * [taylor]: Taking taylor expansion of 4.0 in z 5.509 * [backup-simplify]: Simplify 4.0 into 4.0 5.509 * [taylor]: Taking taylor expansion of (/ y z) in z 5.509 * [taylor]: Taking taylor expansion of y in z 5.509 * [backup-simplify]: Simplify y into y 5.509 * [taylor]: Taking taylor expansion of z in z 5.509 * [backup-simplify]: Simplify 0 into 0 5.509 * [backup-simplify]: Simplify 1 into 1 5.509 * [backup-simplify]: Simplify (/ y 1) into y 5.509 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y) 5.509 * [backup-simplify]: Simplify (- (* 4.0 y)) into (- (* 4.0 y)) 5.509 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 y))) into (- (* 4.0 y)) 5.509 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in x 5.509 * [taylor]: Taking taylor expansion of (* 4.0 y) in x 5.509 * [taylor]: Taking taylor expansion of 4.0 in x 5.509 * [backup-simplify]: Simplify 4.0 into 4.0 5.509 * [taylor]: Taking taylor expansion of y in x 5.509 * [backup-simplify]: Simplify y into y 5.510 * [backup-simplify]: Simplify (* 4.0 (/ y x)) into (* 4.0 (/ y x)) 5.510 * [backup-simplify]: Simplify (+ (* 4.0 (/ y x)) 4.0) into (+ (* 4.0 (/ y x)) 4.0) 5.511 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 5.511 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0 5.512 * [backup-simplify]: Simplify (- 0) into 0 5.512 * [backup-simplify]: Simplify (+ (+ (* 4.0 (/ y x)) 4.0) 0) into (+ (* 4.0 (/ y x)) 4.0) 5.512 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 4.0) in x 5.512 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x 5.512 * [taylor]: Taking taylor expansion of 4.0 in x 5.512 * [backup-simplify]: Simplify 4.0 into 4.0 5.512 * [taylor]: Taking taylor expansion of (/ y x) in x 5.512 * [taylor]: Taking taylor expansion of y in x 5.512 * [backup-simplify]: Simplify y into y 5.512 * [taylor]: Taking taylor expansion of x in x 5.512 * [backup-simplify]: Simplify 0 into 0 5.512 * [backup-simplify]: Simplify 1 into 1 5.512 * [backup-simplify]: Simplify (/ y 1) into y 5.512 * [taylor]: Taking taylor expansion of 4.0 in x 5.512 * [backup-simplify]: Simplify 4.0 into 4.0 5.513 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y) 5.513 * [backup-simplify]: Simplify (+ (* 4.0 y) 0) into (* 4.0 y) 5.513 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 5.513 * [taylor]: Taking taylor expansion of 4.0 in y 5.513 * [backup-simplify]: Simplify 4.0 into 4.0 5.513 * [taylor]: Taking taylor expansion of y in y 5.513 * [backup-simplify]: Simplify 0 into 0 5.513 * [backup-simplify]: Simplify 1 into 1 5.513 * [backup-simplify]: Simplify (* 4.0 0) into 0 5.513 * [backup-simplify]: Simplify 0 into 0 5.514 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y) 5.514 * [backup-simplify]: Simplify (- (* 4.0 y)) into (- (* 4.0 y)) 5.514 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in y 5.514 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 5.514 * [taylor]: Taking taylor expansion of 4.0 in y 5.514 * [backup-simplify]: Simplify 4.0 into 4.0 5.514 * [taylor]: Taking taylor expansion of y in y 5.514 * [backup-simplify]: Simplify 0 into 0 5.514 * [backup-simplify]: Simplify 1 into 1 5.515 * [backup-simplify]: Simplify (* 4.0 0) into 0 5.515 * [backup-simplify]: Simplify (- 0) into 0 5.515 * [backup-simplify]: Simplify 0 into 0 5.515 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ y x) (/ 0 x)))) into 0 5.516 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ y x))) into 0 5.516 * [backup-simplify]: Simplify (+ 0 0) into 0 5.518 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.518 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 y))) into 0 5.519 * [backup-simplify]: Simplify (- 0) into 0 5.519 * [backup-simplify]: Simplify (+ 0 0) into 0 5.519 * [taylor]: Taking taylor expansion of 0 in x 5.519 * [backup-simplify]: Simplify 0 into 0 5.520 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 5.520 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0 5.520 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0 5.520 * [taylor]: Taking taylor expansion of 4.0 in y 5.520 * [backup-simplify]: Simplify 4.0 into 4.0 5.520 * [backup-simplify]: Simplify 4.0 into 4.0 5.521 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0 5.521 * [backup-simplify]: Simplify (- 0) into 0 5.521 * [taylor]: Taking taylor expansion of 0 in y 5.521 * [backup-simplify]: Simplify 0 into 0 5.521 * [backup-simplify]: Simplify 0 into 0 5.522 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0 5.522 * [backup-simplify]: Simplify 4.0 into 4.0 5.523 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0 5.523 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 5.524 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 5.524 * [backup-simplify]: Simplify (+ (* (- 4.0) (* (/ 1 y) (* 1 (/ 1 (/ 1 z))))) (+ (* 4.0 (* (/ 1 y) (* (/ 1 (/ 1 x)) 1))) 4.0)) into (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y))) 5.525 * [backup-simplify]: Simplify (+ (* (- 0.75 (/ (- (/ 1 (- z)) (/ 1 (- x))) (/ 1 (- y)))) 4.0) 1.0) into (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) 5.525 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in (z x y) around 0 5.525 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in y 5.525 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 4.0) in y 5.525 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in y 5.525 * [taylor]: Taking taylor expansion of 4.0 in y 5.525 * [backup-simplify]: Simplify 4.0 into 4.0 5.525 * [taylor]: Taking taylor expansion of (/ y x) in y 5.525 * [taylor]: Taking taylor expansion of y in y 5.525 * [backup-simplify]: Simplify 0 into 0 5.525 * [backup-simplify]: Simplify 1 into 1 5.525 * [taylor]: Taking taylor expansion of x in y 5.525 * [backup-simplify]: Simplify x into x 5.525 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.525 * [taylor]: Taking taylor expansion of 4.0 in y 5.525 * [backup-simplify]: Simplify 4.0 into 4.0 5.525 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y 5.525 * [taylor]: Taking taylor expansion of 4.0 in y 5.525 * [backup-simplify]: Simplify 4.0 into 4.0 5.525 * [taylor]: Taking taylor expansion of (/ y z) in y 5.525 * [taylor]: Taking taylor expansion of y in y 5.525 * [backup-simplify]: Simplify 0 into 0 5.525 * [backup-simplify]: Simplify 1 into 1 5.525 * [taylor]: Taking taylor expansion of z in y 5.525 * [backup-simplify]: Simplify z into z 5.525 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.525 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in x 5.525 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 4.0) in x 5.525 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x 5.525 * [taylor]: Taking taylor expansion of 4.0 in x 5.525 * [backup-simplify]: Simplify 4.0 into 4.0 5.525 * [taylor]: Taking taylor expansion of (/ y x) in x 5.525 * [taylor]: Taking taylor expansion of y in x 5.525 * [backup-simplify]: Simplify y into y 5.525 * [taylor]: Taking taylor expansion of x in x 5.525 * [backup-simplify]: Simplify 0 into 0 5.525 * [backup-simplify]: Simplify 1 into 1 5.525 * [backup-simplify]: Simplify (/ y 1) into y 5.525 * [taylor]: Taking taylor expansion of 4.0 in x 5.525 * [backup-simplify]: Simplify 4.0 into 4.0 5.525 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x 5.525 * [taylor]: Taking taylor expansion of 4.0 in x 5.525 * [backup-simplify]: Simplify 4.0 into 4.0 5.525 * [taylor]: Taking taylor expansion of (/ y z) in x 5.525 * [taylor]: Taking taylor expansion of y in x 5.525 * [backup-simplify]: Simplify y into y 5.525 * [taylor]: Taking taylor expansion of z in x 5.525 * [backup-simplify]: Simplify z into z 5.525 * [backup-simplify]: Simplify (/ y z) into (/ y z) 5.525 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in z 5.525 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 4.0) in z 5.525 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in z 5.525 * [taylor]: Taking taylor expansion of 4.0 in z 5.526 * [backup-simplify]: Simplify 4.0 into 4.0 5.526 * [taylor]: Taking taylor expansion of (/ y x) in z 5.526 * [taylor]: Taking taylor expansion of y in z 5.526 * [backup-simplify]: Simplify y into y 5.526 * [taylor]: Taking taylor expansion of x in z 5.526 * [backup-simplify]: Simplify x into x 5.526 * [backup-simplify]: Simplify (/ y x) into (/ y x) 5.526 * [taylor]: Taking taylor expansion of 4.0 in z 5.526 * [backup-simplify]: Simplify 4.0 into 4.0 5.526 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z 5.526 * [taylor]: Taking taylor expansion of 4.0 in z 5.526 * [backup-simplify]: Simplify 4.0 into 4.0 5.526 * [taylor]: Taking taylor expansion of (/ y z) in z 5.526 * [taylor]: Taking taylor expansion of y in z 5.526 * [backup-simplify]: Simplify y into y 5.526 * [taylor]: Taking taylor expansion of z in z 5.526 * [backup-simplify]: Simplify 0 into 0 5.526 * [backup-simplify]: Simplify 1 into 1 5.526 * [backup-simplify]: Simplify (/ y 1) into y 5.526 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in z 5.526 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 4.0) in z 5.526 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in z 5.526 * [taylor]: Taking taylor expansion of 4.0 in z 5.526 * [backup-simplify]: Simplify 4.0 into 4.0 5.526 * [taylor]: Taking taylor expansion of (/ y x) in z 5.526 * [taylor]: Taking taylor expansion of y in z 5.526 * [backup-simplify]: Simplify y into y 5.526 * [taylor]: Taking taylor expansion of x in z 5.526 * [backup-simplify]: Simplify x into x 5.526 * [backup-simplify]: Simplify (/ y x) into (/ y x) 5.526 * [taylor]: Taking taylor expansion of 4.0 in z 5.526 * [backup-simplify]: Simplify 4.0 into 4.0 5.526 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z 5.526 * [taylor]: Taking taylor expansion of 4.0 in z 5.526 * [backup-simplify]: Simplify 4.0 into 4.0 5.526 * [taylor]: Taking taylor expansion of (/ y z) in z 5.526 * [taylor]: Taking taylor expansion of y in z 5.526 * [backup-simplify]: Simplify y into y 5.526 * [taylor]: Taking taylor expansion of z in z 5.526 * [backup-simplify]: Simplify 0 into 0 5.526 * [backup-simplify]: Simplify 1 into 1 5.526 * [backup-simplify]: Simplify (/ y 1) into y 5.526 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y) 5.526 * [backup-simplify]: Simplify (- (* 4.0 y)) into (- (* 4.0 y)) 5.526 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 y))) into (- (* 4.0 y)) 5.526 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in x 5.526 * [taylor]: Taking taylor expansion of (* 4.0 y) in x 5.526 * [taylor]: Taking taylor expansion of 4.0 in x 5.527 * [backup-simplify]: Simplify 4.0 into 4.0 5.527 * [taylor]: Taking taylor expansion of y in x 5.527 * [backup-simplify]: Simplify y into y 5.527 * [backup-simplify]: Simplify (* 4.0 (/ y x)) into (* 4.0 (/ y x)) 5.527 * [backup-simplify]: Simplify (+ (* 4.0 (/ y x)) 4.0) into (+ (* 4.0 (/ y x)) 4.0) 5.527 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 5.528 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0 5.528 * [backup-simplify]: Simplify (- 0) into 0 5.528 * [backup-simplify]: Simplify (+ (+ (* 4.0 (/ y x)) 4.0) 0) into (+ (* 4.0 (/ y x)) 4.0) 5.528 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 4.0) in x 5.528 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x 5.528 * [taylor]: Taking taylor expansion of 4.0 in x 5.528 * [backup-simplify]: Simplify 4.0 into 4.0 5.528 * [taylor]: Taking taylor expansion of (/ y x) in x 5.528 * [taylor]: Taking taylor expansion of y in x 5.528 * [backup-simplify]: Simplify y into y 5.528 * [taylor]: Taking taylor expansion of x in x 5.528 * [backup-simplify]: Simplify 0 into 0 5.528 * [backup-simplify]: Simplify 1 into 1 5.528 * [backup-simplify]: Simplify (/ y 1) into y 5.528 * [taylor]: Taking taylor expansion of 4.0 in x 5.528 * [backup-simplify]: Simplify 4.0 into 4.0 5.528 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y) 5.528 * [backup-simplify]: Simplify (+ (* 4.0 y) 0) into (* 4.0 y) 5.529 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 5.529 * [taylor]: Taking taylor expansion of 4.0 in y 5.529 * [backup-simplify]: Simplify 4.0 into 4.0 5.529 * [taylor]: Taking taylor expansion of y in y 5.529 * [backup-simplify]: Simplify 0 into 0 5.529 * [backup-simplify]: Simplify 1 into 1 5.529 * [backup-simplify]: Simplify (* 4.0 0) into 0 5.529 * [backup-simplify]: Simplify 0 into 0 5.529 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y) 5.529 * [backup-simplify]: Simplify (- (* 4.0 y)) into (- (* 4.0 y)) 5.529 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in y 5.529 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 5.529 * [taylor]: Taking taylor expansion of 4.0 in y 5.529 * [backup-simplify]: Simplify 4.0 into 4.0 5.529 * [taylor]: Taking taylor expansion of y in y 5.529 * [backup-simplify]: Simplify 0 into 0 5.529 * [backup-simplify]: Simplify 1 into 1 5.530 * [backup-simplify]: Simplify (* 4.0 0) into 0 5.530 * [backup-simplify]: Simplify (- 0) into 0 5.530 * [backup-simplify]: Simplify 0 into 0 5.530 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ y x) (/ 0 x)))) into 0 5.530 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ y x))) into 0 5.531 * [backup-simplify]: Simplify (+ 0 0) into 0 5.531 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.532 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 y))) into 0 5.532 * [backup-simplify]: Simplify (- 0) into 0 5.533 * [backup-simplify]: Simplify (+ 0 0) into 0 5.533 * [taylor]: Taking taylor expansion of 0 in x 5.533 * [backup-simplify]: Simplify 0 into 0 5.533 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 5.534 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0 5.534 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0 5.534 * [taylor]: Taking taylor expansion of 4.0 in y 5.534 * [backup-simplify]: Simplify 4.0 into 4.0 5.534 * [backup-simplify]: Simplify 4.0 into 4.0 5.534 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0 5.535 * [backup-simplify]: Simplify (- 0) into 0 5.535 * [taylor]: Taking taylor expansion of 0 in y 5.535 * [backup-simplify]: Simplify 0 into 0 5.535 * [backup-simplify]: Simplify 0 into 0 5.536 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0 5.536 * [backup-simplify]: Simplify 4.0 into 4.0 5.539 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0 5.540 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 5.540 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 5.540 * [backup-simplify]: Simplify (+ (* (- 4.0) (* (/ 1 (- y)) (* 1 (/ 1 (/ 1 (- z)))))) (+ (* 4.0 (* (/ 1 (- y)) (* (/ 1 (/ 1 (- x))) 1))) 4.0)) into (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y))) 5.541 * * * [progress]: simplifying candidates 5.541 * [simplify]: Simplifying: (- (log (- z x)) (log y)) (log (/ (- z x) y)) (exp (/ (- z x) y)) (/ (* (* (- z x) (- z x)) (- z x)) (* (* y y) y)) (* (cbrt (/ (- z x) y)) (cbrt (/ (- z x) y))) (cbrt (/ (- z x) y)) (* (* (/ (- z x) y) (/ (- z x) y)) (/ (- z x) y)) (sqrt (/ (- z x) y)) (sqrt (/ (- z x) y)) (- (- z x)) (- y) (/ z y) (/ x y) (/ (* (cbrt (- z x)) (cbrt (- z x))) (* (cbrt y) (cbrt y))) (/ (cbrt (- z x)) (cbrt y)) (/ (* (cbrt (- z x)) (cbrt (- z x))) (sqrt y)) (/ (cbrt (- z x)) (sqrt y)) (/ (* (cbrt (- z x)) (cbrt (- z x))) 1) (/ (cbrt (- z x)) y) (/ (sqrt (- z x)) (* (cbrt y) (cbrt y))) (/ (sqrt (- z x)) (cbrt y)) (/ (sqrt (- z x)) (sqrt y)) (/ (sqrt (- z x)) (sqrt y)) (/ (sqrt (- z x)) 1) (/ (sqrt (- z x)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- z x) (cbrt y)) (/ 1 (sqrt y)) (/ (- z x) (sqrt y)) (/ 1 1) (/ (- z x) y) (/ (+ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y))) (/ (- (sqrt z) (sqrt x)) (cbrt y)) (/ (+ (sqrt z) (sqrt x)) (sqrt y)) (/ (- (sqrt z) (sqrt x)) (sqrt y)) (/ (+ (sqrt z) (sqrt x)) 1) (/ (- (sqrt z) (sqrt x)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- z x) (cbrt y)) (/ 1 (sqrt y)) (/ (- z x) (sqrt y)) (/ 1 1) (/ (- z x) y) (/ 1 y) (/ y (- z x)) (/ (- z x) (* (cbrt y) (cbrt y))) (/ (- z x) (sqrt y)) (/ (- z x) 1) (/ y (cbrt (- z x))) (/ y (sqrt (- z x))) (/ y (- z x)) (/ y (- (sqrt z) (sqrt x))) (/ y (- z x)) (* y (+ (* z z) (+ (* x x) (* z x)))) (* y (+ z x)) (* (exp (* (- 0.75 (/ (- z x) y)) 4.0)) (exp 1.0)) (log (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0)) (exp (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0)) (* (cbrt (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0)) (cbrt (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0))) (cbrt (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0)) (* (* (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0) (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0)) (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0)) (sqrt (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0)) (sqrt (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0)) (+ (pow (* (- 0.75 (/ (- z x) y)) 4.0) 3) (pow 1.0 3)) (+ (* (* (- 0.75 (/ (- z x) y)) 4.0) (* (- 0.75 (/ (- z x) y)) 4.0)) (- (* 1.0 1.0) (* (* (- 0.75 (/ (- z x) y)) 4.0) 1.0))) (- (* (* (- 0.75 (/ (- z x) y)) 4.0) (* (- 0.75 (/ (- z x) y)) 4.0)) (* 1.0 1.0)) (- (* (- 0.75 (/ (- z x) y)) 4.0) 1.0) (- (/ z y) (/ x y)) (- (/ z y) (/ x y)) (- (/ z y) (/ x y)) (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y))) (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y))) (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y))) 5.542 * * [simplify]: iteration 0: 104 enodes 5.562 * * [simplify]: iteration 1: 260 enodes 5.643 * * [simplify]: iteration 2: 846 enodes 6.235 * * [simplify]: iteration 3: 4766 enodes 7.626 * * [simplify]: iteration complete: 5001 enodes 7.627 * * [simplify]: Extracting #0: cost 53 inf + 0 7.629 * * [simplify]: Extracting #1: cost 517 inf + 1 7.636 * * [simplify]: Extracting #2: cost 1443 inf + 383 7.645 * * [simplify]: Extracting #3: cost 1257 inf + 3702 7.652 * * [simplify]: Extracting #4: cost 354 inf + 11729 7.666 * * [simplify]: Extracting #5: cost 27 inf + 17398 7.675 * * [simplify]: Extracting #6: cost 0 inf + 17807 7.688 * * [simplify]: Extracting #7: cost 0 inf + 17773 7.701 * [simplify]: Simplified to: (log (/ (- z x) y)) (log (/ (- z x) y)) (exp (/ (- z x) y)) (pow (/ (- z x) y) 3) (* (cbrt (/ (- z x) y)) (cbrt (/ (- z x) y))) (cbrt (/ (- z x) y)) (pow (/ (- z x) y) 3) (sqrt (/ (- z x) y)) (sqrt (/ (- z x) y)) (+ x (- z)) (- y) (/ z y) (/ x y) (* (/ (cbrt (- z x)) (* (cbrt y) (cbrt y))) (cbrt (- z x))) (/ (cbrt (- z x)) (cbrt y)) (/ (* (cbrt (- z x)) (cbrt (- z x))) (sqrt y)) (/ (cbrt (- z x)) (sqrt y)) (* (cbrt (- z x)) (cbrt (- z x))) (/ (cbrt (- z x)) y) (/ (sqrt (- z x)) (* (cbrt y) (cbrt y))) (/ (sqrt (- z x)) (cbrt y)) (/ (sqrt (- z x)) (sqrt y)) (/ (sqrt (- z x)) (sqrt y)) (sqrt (- z x)) (/ (sqrt (- z x)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- z x) (cbrt y)) (/ 1 (sqrt y)) (/ (- z x) (sqrt y)) 1 (/ (- z x) y) (/ (/ (+ (sqrt z) (sqrt x)) (cbrt y)) (cbrt y)) (/ (- (sqrt z) (sqrt x)) (cbrt y)) (/ (+ (sqrt z) (sqrt x)) (sqrt y)) (/ (- (sqrt z) (sqrt x)) (sqrt y)) (+ (sqrt z) (sqrt x)) (/ (- (sqrt z) (sqrt x)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- z x) (cbrt y)) (/ 1 (sqrt y)) (/ (- z x) (sqrt y)) 1 (/ (- z x) y) (/ 1 y) (/ y (- z x)) (/ (- z x) (* (cbrt y) (cbrt y))) (/ (- z x) (sqrt y)) (- z x) (/ y (cbrt (- z x))) (/ y (sqrt (- z x))) (/ y (- z x)) (/ y (- (sqrt z) (sqrt x))) (/ y (- z x)) (* y (+ (* x (+ z x)) (* z z))) (* y (+ x z)) (exp (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0)) (log (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0)) (exp (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0)) (* (cbrt (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0)) (cbrt (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0))) (cbrt (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0)) (pow (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0) 3) (sqrt (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0)) (sqrt (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0)) (+ (pow (* (- 0.75 (/ (- z x) y)) 4.0) 3) (pow 1.0 3)) (+ (* 1.0 1.0) (* (* (- 0.75 (/ (- z x) y)) 4.0) (- (* (- 0.75 (/ (- z x) y)) 4.0) 1.0))) (* (+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0) (- (* (- 0.75 (/ (- z x) y)) 4.0) 1.0)) (- (* (- 0.75 (/ (- z x) y)) 4.0) 1.0) (/ (- z x) y) (/ (- z x) y) (/ (- z x) y) (* 4.0 (- (+ 1 (/ x y)) (/ z y))) (* 4.0 (- (+ 1 (/ x y)) (/ z y))) (* 4.0 (- (+ 1 (/ x y)) (/ z y))) 7.702 * * * [progress]: adding candidates to table 7.979 * [progress]: [Phase 3 of 3] Extracting. 7.979 * * [regime]: Finding splitpoints for: (# #) 7.979 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 7.979 * * * * [regimes]: Trying to branch on z from (# #) 8.036 * * * * [regimes]: Trying to branch on y from (# #) 8.072 * * * * [regimes]: Trying to branch on x from (# #) 8.144 * * * [regime]: Found split indices: #