21.560 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.040 * * * [progress]: [2/2] Setting up program. 0.044 * [progress]: [Phase 2 of 3] Improving. 0.044 * [simplify]: Simplifying: (* x (sqrt (- (* y y) (* z z)))) 0.044 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.044 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.044 * * [simplify]: Extracting # 2 : cost 3 inf + 1 0.044 * * [simplify]: Extracting # 3 : cost 5 inf + 1 0.044 * * [simplify]: Extracting # 4 : cost 7 inf + 1 0.044 * * [simplify]: Extracting # 5 : cost 0 inf + 572 0.044 * * [simplify]: iteration 0 : 8 enodes (cost 203 ) 0.046 * * [simplify]: Extracting # 0 : cost 0 inf + 572 0.046 * * [simplify]: Extracting # 1 : cost 3 inf + 572 0.046 * * [simplify]: Extracting # 2 : cost 0 inf + 737 0.046 * * [simplify]: iteration 1 : 14 enodes (cost 203 ) 0.048 * * [simplify]: Extracting # 0 : cost 0 inf + 737 0.048 * * [simplify]: Extracting # 1 : cost 1 inf + 737 0.049 * * [simplify]: Extracting # 2 : cost 0 inf + 778 0.049 * * [simplify]: iteration 2 : 21 enodes (cost 203 ) 0.052 * * [simplify]: Extracting # 0 : cost 0 inf + 778 0.052 * * [simplify]: Extracting # 1 : cost 8 inf + 778 0.052 * * [simplify]: Extracting # 2 : cost 0 inf + 1514 0.052 * * [simplify]: iteration 3 : 36 enodes (cost 203 ) 0.069 * * [simplify]: Extracting # 0 : cost 0 inf + 1514 0.069 * * [simplify]: Extracting # 1 : cost 6 inf + 1514 0.070 * * [simplify]: Extracting # 2 : cost 0 inf + 1926 0.070 * * [simplify]: iteration 4 : 61 enodes (cost 203 ) 0.084 * * [simplify]: Extracting # 0 : cost 0 inf + 1926 0.085 * * [simplify]: Extracting # 1 : cost 17 inf + 1926 0.086 * * [simplify]: Extracting # 2 : cost 0 inf + 5080 0.088 * * [simplify]: iteration 5 : 132 enodes (cost 203 ) 0.116 * * [simplify]: Extracting # 0 : cost 0 inf + 5080 0.120 * * [simplify]: Extracting # 1 : cost 18 inf + 4600 0.125 * * [simplify]: Extracting # 2 : cost 0 inf + 6915 0.130 * * [simplify]: Extracting # 3 : cost 0 inf + 6875 0.136 * * [simplify]: iteration 6 : 204 enodes (cost 203 ) 0.240 * * [simplify]: Extracting # 0 : cost 0 inf + 6875 0.246 * * [simplify]: Extracting # 1 : cost 46 inf + 6075 0.255 * * [simplify]: Extracting # 2 : cost 0 inf + 13761 0.266 * * [simplify]: Extracting # 3 : cost 0 inf + 13641 0.276 * * [simplify]: iteration 7 : 370 enodes (cost 203 ) 0.537 * * [simplify]: Extracting # 0 : cost 0 inf + 13641 0.559 * * [simplify]: Extracting # 1 : cost 207 inf + 11514 0.582 * * [simplify]: Extracting # 2 : cost 0 inf + 48832 0.629 * * [simplify]: Extracting # 3 : cost 0 inf + 47760 0.660 * * [simplify]: Extracting # 4 : cost 0 inf + 47680 0.693 * * [simplify]: iteration 8 : 1155 enodes (cost 203 ) 3.343 * * [simplify]: Extracting # 0 : cost 0 inf + 47680 3.446 * * [simplify]: Extracting # 1 : cost 848 inf + 38894 3.985 * * [simplify]: Extracting # 2 : cost 20 inf + 204467 4.247 * * [simplify]: Extracting # 3 : cost 0 inf + 195182 4.438 * * [simplify]: Extracting # 4 : cost 0 inf + 186599 4.659 * * [simplify]: iteration 9 : 4530 enodes (cost 203 ) 7.074 * * [simplify]: Extracting # 0 : cost 0 inf + 186599 7.341 * * [simplify]: Extracting # 1 : cost 202 inf + 169715 7.679 * * [simplify]: Extracting # 2 : cost 0 inf + 188015 7.931 * * [simplify]: Extracting # 3 : cost 0 inf + 187935 8.154 * * [simplify]: iteration complete: 5000 enodes (cost 203 ) 8.154 * [simplify]: Simplified to: (* x (sqrt (- (* y y) (* z z)))) 8.155 * * [progress]: iteration 1 / 4 8.155 * * * [progress]: picking best candidate 8.159 * * * * [pick]: Picked # 8.159 * * * [progress]: localizing error 8.176 * * * [progress]: generating rewritten candidates 8.176 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 8.189 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1) 8.200 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 8.223 * * * [progress]: generating series expansions 8.223 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 8.223 * [backup-simplify]: Simplify (sqrt (- (* y y) (* z z))) into (sqrt (- (pow y 2) (pow z 2))) 8.223 * [approximate]: Taking taylor expansion of (sqrt (- (pow y 2) (pow z 2))) in (y z) around 0 8.223 * [taylor]: Taking taylor expansion of (sqrt (- (pow y 2) (pow z 2))) in z 8.223 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in z 8.223 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.223 * [taylor]: Taking taylor expansion of y in z 8.223 * [backup-simplify]: Simplify y into y 8.223 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.223 * [taylor]: Taking taylor expansion of z in z 8.223 * [backup-simplify]: Simplify 0 into 0 8.223 * [backup-simplify]: Simplify 1 into 1 8.223 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.223 * [backup-simplify]: Simplify (+ (pow y 2) 0) into (pow y 2) 8.223 * [backup-simplify]: Simplify (sqrt (pow y 2)) into y 8.223 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 8.224 * [backup-simplify]: Simplify (+ 0 0) into 0 8.224 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow y 2)))) into 0 8.224 * [taylor]: Taking taylor expansion of (sqrt (- (pow y 2) (pow z 2))) in y 8.224 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in y 8.224 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.224 * [taylor]: Taking taylor expansion of y in y 8.224 * [backup-simplify]: Simplify 0 into 0 8.224 * [backup-simplify]: Simplify 1 into 1 8.224 * [taylor]: Taking taylor expansion of (pow z 2) in y 8.224 * [taylor]: Taking taylor expansion of z in y 8.224 * [backup-simplify]: Simplify z into z 8.224 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.224 * [backup-simplify]: Simplify (- (pow z 2)) into (- (pow z 2)) 8.224 * [backup-simplify]: Simplify (+ 0 (- (pow z 2))) into (- (pow z 2)) 8.224 * [backup-simplify]: Simplify (sqrt (- (pow z 2))) into (sqrt (- (pow z 2))) 8.224 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 8.225 * [backup-simplify]: Simplify (- 0) into 0 8.225 * [backup-simplify]: Simplify (+ 0 0) into 0 8.225 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- (pow z 2))))) into 0 8.225 * [taylor]: Taking taylor expansion of (sqrt (- (pow y 2) (pow z 2))) in y 8.225 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in y 8.225 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.225 * [taylor]: Taking taylor expansion of y in y 8.225 * [backup-simplify]: Simplify 0 into 0 8.225 * [backup-simplify]: Simplify 1 into 1 8.225 * [taylor]: Taking taylor expansion of (pow z 2) in y 8.225 * [taylor]: Taking taylor expansion of z in y 8.225 * [backup-simplify]: Simplify z into z 8.225 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.225 * [backup-simplify]: Simplify (- (pow z 2)) into (- (pow z 2)) 8.225 * [backup-simplify]: Simplify (+ 0 (- (pow z 2))) into (- (pow z 2)) 8.226 * [backup-simplify]: Simplify (sqrt (- (pow z 2))) into (sqrt (- (pow z 2))) 8.226 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 8.226 * [backup-simplify]: Simplify (- 0) into 0 8.226 * [backup-simplify]: Simplify (+ 0 0) into 0 8.226 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- (pow z 2))))) into 0 8.226 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2))) in z 8.226 * [taylor]: Taking taylor expansion of (- (pow z 2)) in z 8.226 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.226 * [taylor]: Taking taylor expansion of z in z 8.226 * [backup-simplify]: Simplify 0 into 0 8.226 * [backup-simplify]: Simplify 1 into 1 8.227 * [backup-simplify]: Simplify (* 1 1) into 1 8.227 * [backup-simplify]: Simplify (- 1) into -1 8.227 * [backup-simplify]: Simplify (- 1) into -1 8.227 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 8.228 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.228 * [backup-simplify]: Simplify (- 0) into 0 8.228 * [backup-simplify]: Simplify (- 1) into -1 8.229 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 8.229 * [taylor]: Taking taylor expansion of 0 in z 8.229 * [backup-simplify]: Simplify 0 into 0 8.229 * [backup-simplify]: Simplify 0 into 0 8.230 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 8.230 * [backup-simplify]: Simplify (* 1 1) into 1 8.231 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 8.231 * [backup-simplify]: Simplify (- 0) into 0 8.231 * [backup-simplify]: Simplify (+ 1 0) into 1 8.232 * [backup-simplify]: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt (- (pow z 2))))) into (/ 1/2 (sqrt (- (pow z 2)))) 8.232 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (- (pow z 2)))) in z 8.232 * [taylor]: Taking taylor expansion of 1/2 in z 8.232 * [backup-simplify]: Simplify 1/2 into 1/2 8.232 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2))) in z 8.232 * [taylor]: Taking taylor expansion of (- (pow z 2)) in z 8.232 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.232 * [taylor]: Taking taylor expansion of z in z 8.232 * [backup-simplify]: Simplify 0 into 0 8.232 * [backup-simplify]: Simplify 1 into 1 8.232 * [backup-simplify]: Simplify (* 1 1) into 1 8.232 * [backup-simplify]: Simplify (- 1) into -1 8.233 * [backup-simplify]: Simplify (- 1) into -1 8.233 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 8.233 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.233 * [backup-simplify]: Simplify (- 0) into 0 8.234 * [backup-simplify]: Simplify (- 1) into -1 8.234 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 8.235 * [backup-simplify]: Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1)) 8.235 * [backup-simplify]: Simplify (- (/ 0 (sqrt -1)) (+ (* (/ 1/2 (sqrt -1)) (/ 0 (sqrt -1))))) into 0 8.235 * [backup-simplify]: Simplify 0 into 0 8.235 * [backup-simplify]: Simplify 0 into 0 8.235 * [backup-simplify]: Simplify 0 into 0 8.236 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.236 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 8.237 * [backup-simplify]: Simplify (- 0) into 0 8.237 * [backup-simplify]: Simplify (+ 0 0) into 0 8.237 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt (- (pow z 2)))))))) (* 2 (sqrt (- (pow z 2))))) into 0 8.237 * [taylor]: Taking taylor expansion of 0 in z 8.237 * [backup-simplify]: Simplify 0 into 0 8.237 * [backup-simplify]: Simplify 0 into 0 8.238 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.238 * [backup-simplify]: Simplify (- 0) into 0 8.239 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt -1))) into 0 8.239 * [backup-simplify]: Simplify (- (/ 0 (sqrt -1)) (+ (* (/ 1/2 (sqrt -1)) (/ 0 (sqrt -1))) (* 0 (/ 0 (sqrt -1))))) into 0 8.239 * [backup-simplify]: Simplify 0 into 0 8.239 * [backup-simplify]: Simplify 0 into 0 8.240 * [backup-simplify]: Simplify (* (sqrt -1) (* z 1)) into (* (sqrt -1) z) 8.240 * [backup-simplify]: Simplify (sqrt (- (* (/ 1 y) (/ 1 y)) (* (/ 1 z) (/ 1 z)))) into (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) 8.240 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in (y z) around 0 8.240 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in z 8.240 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in z 8.240 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 8.240 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.240 * [taylor]: Taking taylor expansion of y in z 8.240 * [backup-simplify]: Simplify y into y 8.240 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.240 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 8.240 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 8.240 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.240 * [taylor]: Taking taylor expansion of z in z 8.240 * [backup-simplify]: Simplify 0 into 0 8.240 * [backup-simplify]: Simplify 1 into 1 8.240 * [backup-simplify]: Simplify (* 1 1) into 1 8.241 * [backup-simplify]: Simplify (/ 1 1) into 1 8.241 * [backup-simplify]: Simplify (- 1) into -1 8.241 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.241 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 8.242 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.243 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.243 * [backup-simplify]: Simplify (- 0) into 0 8.243 * [backup-simplify]: Simplify (+ 0 0) into 0 8.243 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 8.244 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in y 8.244 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y 8.244 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.244 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.244 * [taylor]: Taking taylor expansion of y in y 8.244 * [backup-simplify]: Simplify 0 into 0 8.244 * [backup-simplify]: Simplify 1 into 1 8.244 * [backup-simplify]: Simplify (* 1 1) into 1 8.244 * [backup-simplify]: Simplify (/ 1 1) into 1 8.244 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 8.244 * [taylor]: Taking taylor expansion of (pow z 2) in y 8.244 * [taylor]: Taking taylor expansion of z in y 8.244 * [backup-simplify]: Simplify z into z 8.244 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.244 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 8.245 * [backup-simplify]: Simplify (+ 1 0) into 1 8.245 * [backup-simplify]: Simplify (sqrt 1) into 1 8.245 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.246 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.246 * [backup-simplify]: Simplify (+ 0 0) into 0 8.246 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 8.246 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in y 8.246 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y 8.246 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.246 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.246 * [taylor]: Taking taylor expansion of y in y 8.247 * [backup-simplify]: Simplify 0 into 0 8.247 * [backup-simplify]: Simplify 1 into 1 8.247 * [backup-simplify]: Simplify (* 1 1) into 1 8.247 * [backup-simplify]: Simplify (/ 1 1) into 1 8.247 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 8.247 * [taylor]: Taking taylor expansion of (pow z 2) in y 8.247 * [taylor]: Taking taylor expansion of z in y 8.247 * [backup-simplify]: Simplify z into z 8.247 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.247 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 8.248 * [backup-simplify]: Simplify (+ 1 0) into 1 8.248 * [backup-simplify]: Simplify (sqrt 1) into 1 8.248 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.249 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.249 * [backup-simplify]: Simplify (+ 0 0) into 0 8.249 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 8.249 * [taylor]: Taking taylor expansion of 1 in z 8.249 * [backup-simplify]: Simplify 1 into 1 8.249 * [taylor]: Taking taylor expansion of 0 in z 8.249 * [backup-simplify]: Simplify 0 into 0 8.249 * [backup-simplify]: Simplify 1 into 1 8.250 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.250 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.251 * [backup-simplify]: Simplify (- (/ 1 (pow z 2))) into (- (/ 1 (pow z 2))) 8.251 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow z 2)))) into (- (/ 1 (pow z 2))) 8.252 * [backup-simplify]: Simplify (/ (- (- (/ 1 (pow z 2))) (pow 0 2) (+)) (* 2 1)) into (/ -1/2 (pow z 2)) 8.252 * [taylor]: Taking taylor expansion of (/ -1/2 (pow z 2)) in z 8.252 * [taylor]: Taking taylor expansion of -1/2 in z 8.252 * [backup-simplify]: Simplify -1/2 into -1/2 8.252 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.252 * [taylor]: Taking taylor expansion of z in z 8.252 * [backup-simplify]: Simplify 0 into 0 8.252 * [backup-simplify]: Simplify 1 into 1 8.252 * [backup-simplify]: Simplify (* 1 1) into 1 8.252 * [backup-simplify]: Simplify (/ -1/2 1) into -1/2 8.253 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.255 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)))) into 0 8.255 * [backup-simplify]: Simplify 0 into 0 8.255 * [backup-simplify]: Simplify 0 into 0 8.255 * [backup-simplify]: Simplify 0 into 0 8.256 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.257 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.257 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 8.257 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0 8.257 * [backup-simplify]: Simplify (- 0) into 0 8.257 * [backup-simplify]: Simplify (+ 0 0) into 0 8.258 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ -1/2 (pow z 2)))))) (* 2 1)) into 0 8.258 * [taylor]: Taking taylor expansion of 0 in z 8.258 * [backup-simplify]: Simplify 0 into 0 8.258 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.259 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.259 * [backup-simplify]: Simplify 0 into 0 8.259 * [backup-simplify]: Simplify 0 into 0 8.259 * [backup-simplify]: Simplify 0 into 0 8.259 * [backup-simplify]: Simplify (* 1 (* 1 (/ 1 (/ 1 y)))) into y 8.259 * [backup-simplify]: Simplify (sqrt (- (* (/ 1 (- y)) (/ 1 (- y))) (* (/ 1 (- z)) (/ 1 (- z))))) into (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) 8.259 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in (y z) around 0 8.259 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in z 8.259 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in z 8.259 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 8.259 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.259 * [taylor]: Taking taylor expansion of y in z 8.259 * [backup-simplify]: Simplify y into y 8.259 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.260 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 8.260 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 8.260 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.260 * [taylor]: Taking taylor expansion of z in z 8.260 * [backup-simplify]: Simplify 0 into 0 8.260 * [backup-simplify]: Simplify 1 into 1 8.260 * [backup-simplify]: Simplify (* 1 1) into 1 8.260 * [backup-simplify]: Simplify (/ 1 1) into 1 8.260 * [backup-simplify]: Simplify (- 1) into -1 8.261 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.261 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 8.261 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.262 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.262 * [backup-simplify]: Simplify (- 0) into 0 8.262 * [backup-simplify]: Simplify (+ 0 0) into 0 8.263 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 8.263 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in y 8.263 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y 8.263 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.263 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.263 * [taylor]: Taking taylor expansion of y in y 8.263 * [backup-simplify]: Simplify 0 into 0 8.263 * [backup-simplify]: Simplify 1 into 1 8.263 * [backup-simplify]: Simplify (* 1 1) into 1 8.263 * [backup-simplify]: Simplify (/ 1 1) into 1 8.263 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 8.263 * [taylor]: Taking taylor expansion of (pow z 2) in y 8.263 * [taylor]: Taking taylor expansion of z in y 8.263 * [backup-simplify]: Simplify z into z 8.264 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.264 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 8.264 * [backup-simplify]: Simplify (+ 1 0) into 1 8.264 * [backup-simplify]: Simplify (sqrt 1) into 1 8.265 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.266 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.266 * [backup-simplify]: Simplify (+ 0 0) into 0 8.267 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 8.267 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in y 8.267 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y 8.267 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.267 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.267 * [taylor]: Taking taylor expansion of y in y 8.267 * [backup-simplify]: Simplify 0 into 0 8.267 * [backup-simplify]: Simplify 1 into 1 8.267 * [backup-simplify]: Simplify (* 1 1) into 1 8.267 * [backup-simplify]: Simplify (/ 1 1) into 1 8.267 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 8.268 * [taylor]: Taking taylor expansion of (pow z 2) in y 8.268 * [taylor]: Taking taylor expansion of z in y 8.268 * [backup-simplify]: Simplify z into z 8.268 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.268 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 8.268 * [backup-simplify]: Simplify (+ 1 0) into 1 8.268 * [backup-simplify]: Simplify (sqrt 1) into 1 8.269 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.269 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.269 * [backup-simplify]: Simplify (+ 0 0) into 0 8.270 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 8.270 * [taylor]: Taking taylor expansion of 1 in z 8.270 * [backup-simplify]: Simplify 1 into 1 8.270 * [taylor]: Taking taylor expansion of 0 in z 8.270 * [backup-simplify]: Simplify 0 into 0 8.270 * [backup-simplify]: Simplify 1 into 1 8.270 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.271 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.271 * [backup-simplify]: Simplify (- (/ 1 (pow z 2))) into (- (/ 1 (pow z 2))) 8.271 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow z 2)))) into (- (/ 1 (pow z 2))) 8.272 * [backup-simplify]: Simplify (/ (- (- (/ 1 (pow z 2))) (pow 0 2) (+)) (* 2 1)) into (/ -1/2 (pow z 2)) 8.272 * [taylor]: Taking taylor expansion of (/ -1/2 (pow z 2)) in z 8.272 * [taylor]: Taking taylor expansion of -1/2 in z 8.272 * [backup-simplify]: Simplify -1/2 into -1/2 8.272 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.272 * [taylor]: Taking taylor expansion of z in z 8.272 * [backup-simplify]: Simplify 0 into 0 8.272 * [backup-simplify]: Simplify 1 into 1 8.272 * [backup-simplify]: Simplify (* 1 1) into 1 8.273 * [backup-simplify]: Simplify (/ -1/2 1) into -1/2 8.273 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.273 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)))) into 0 8.273 * [backup-simplify]: Simplify 0 into 0 8.274 * [backup-simplify]: Simplify 0 into 0 8.274 * [backup-simplify]: Simplify 0 into 0 8.274 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.275 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.275 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 8.275 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0 8.275 * [backup-simplify]: Simplify (- 0) into 0 8.275 * [backup-simplify]: Simplify (+ 0 0) into 0 8.276 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ -1/2 (pow z 2)))))) (* 2 1)) into 0 8.276 * [taylor]: Taking taylor expansion of 0 in z 8.276 * [backup-simplify]: Simplify 0 into 0 8.276 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.277 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.277 * [backup-simplify]: Simplify 0 into 0 8.277 * [backup-simplify]: Simplify 0 into 0 8.277 * [backup-simplify]: Simplify 0 into 0 8.277 * [backup-simplify]: Simplify (* 1 (* 1 (/ 1 (/ 1 (- y))))) into (* -1 y) 8.277 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1) 8.277 * [backup-simplify]: Simplify (- (* y y) (* z z)) into (- (pow y 2) (pow z 2)) 8.277 * [approximate]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in (y z) around 0 8.277 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in z 8.277 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.277 * [taylor]: Taking taylor expansion of y in z 8.277 * [backup-simplify]: Simplify y into y 8.277 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.277 * [taylor]: Taking taylor expansion of z in z 8.277 * [backup-simplify]: Simplify 0 into 0 8.277 * [backup-simplify]: Simplify 1 into 1 8.277 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in y 8.277 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.277 * [taylor]: Taking taylor expansion of y in y 8.277 * [backup-simplify]: Simplify 0 into 0 8.278 * [backup-simplify]: Simplify 1 into 1 8.278 * [taylor]: Taking taylor expansion of (pow z 2) in y 8.278 * [taylor]: Taking taylor expansion of z in y 8.278 * [backup-simplify]: Simplify z into z 8.278 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in y 8.278 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.278 * [taylor]: Taking taylor expansion of y in y 8.278 * [backup-simplify]: Simplify 0 into 0 8.278 * [backup-simplify]: Simplify 1 into 1 8.278 * [taylor]: Taking taylor expansion of (pow z 2) in y 8.278 * [taylor]: Taking taylor expansion of z in y 8.278 * [backup-simplify]: Simplify z into z 8.278 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.278 * [backup-simplify]: Simplify (- (pow z 2)) into (- (pow z 2)) 8.278 * [backup-simplify]: Simplify (+ 0 (- (pow z 2))) into (- (pow z 2)) 8.278 * [taylor]: Taking taylor expansion of (- (pow z 2)) in z 8.278 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.278 * [taylor]: Taking taylor expansion of z in z 8.278 * [backup-simplify]: Simplify 0 into 0 8.278 * [backup-simplify]: Simplify 1 into 1 8.278 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 8.278 * [backup-simplify]: Simplify (- 0) into 0 8.279 * [backup-simplify]: Simplify (+ 0 0) into 0 8.279 * [taylor]: Taking taylor expansion of 0 in z 8.279 * [backup-simplify]: Simplify 0 into 0 8.279 * [backup-simplify]: Simplify 0 into 0 8.279 * [backup-simplify]: Simplify (* 1 1) into 1 8.279 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 8.279 * [backup-simplify]: Simplify (- 0) into 0 8.280 * [backup-simplify]: Simplify (+ 1 0) into 1 8.280 * [taylor]: Taking taylor expansion of 1 in z 8.280 * [backup-simplify]: Simplify 1 into 1 8.280 * [backup-simplify]: Simplify 1 into 1 8.280 * [backup-simplify]: Simplify 0 into 0 8.280 * [backup-simplify]: Simplify (* 1 1) into 1 8.280 * [backup-simplify]: Simplify (- 1) into -1 8.280 * [backup-simplify]: Simplify -1 into -1 8.281 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.281 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 8.281 * [backup-simplify]: Simplify (- 0) into 0 8.282 * [backup-simplify]: Simplify (+ 0 0) into 0 8.282 * [taylor]: Taking taylor expansion of 0 in z 8.282 * [backup-simplify]: Simplify 0 into 0 8.282 * [backup-simplify]: Simplify 0 into 0 8.282 * [backup-simplify]: Simplify 0 into 0 8.282 * [backup-simplify]: Simplify 0 into 0 8.282 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.282 * [backup-simplify]: Simplify (- 0) into 0 8.282 * [backup-simplify]: Simplify 0 into 0 8.283 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.284 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 z))))) into 0 8.284 * [backup-simplify]: Simplify (- 0) into 0 8.284 * [backup-simplify]: Simplify (+ 0 0) into 0 8.284 * [taylor]: Taking taylor expansion of 0 in z 8.284 * [backup-simplify]: Simplify 0 into 0 8.284 * [backup-simplify]: Simplify 0 into 0 8.284 * [backup-simplify]: Simplify 0 into 0 8.284 * [backup-simplify]: Simplify (+ (* -1 (pow (* z 1) 2)) (* 1 (pow (* 1 y) 2))) into (- (pow y 2) (pow z 2)) 8.285 * [backup-simplify]: Simplify (- (* (/ 1 y) (/ 1 y)) (* (/ 1 z) (/ 1 z))) into (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) 8.285 * [approximate]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in (y z) around 0 8.285 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in z 8.285 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 8.285 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.285 * [taylor]: Taking taylor expansion of y in z 8.285 * [backup-simplify]: Simplify y into y 8.285 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.285 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 8.285 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 8.285 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.285 * [taylor]: Taking taylor expansion of z in z 8.285 * [backup-simplify]: Simplify 0 into 0 8.285 * [backup-simplify]: Simplify 1 into 1 8.285 * [backup-simplify]: Simplify (* 1 1) into 1 8.285 * [backup-simplify]: Simplify (/ 1 1) into 1 8.285 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y 8.285 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.285 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.285 * [taylor]: Taking taylor expansion of y in y 8.285 * [backup-simplify]: Simplify 0 into 0 8.285 * [backup-simplify]: Simplify 1 into 1 8.286 * [backup-simplify]: Simplify (* 1 1) into 1 8.286 * [backup-simplify]: Simplify (/ 1 1) into 1 8.286 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 8.286 * [taylor]: Taking taylor expansion of (pow z 2) in y 8.286 * [taylor]: Taking taylor expansion of z in y 8.286 * [backup-simplify]: Simplify z into z 8.286 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.286 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 8.286 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y 8.286 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.286 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.286 * [taylor]: Taking taylor expansion of y in y 8.286 * [backup-simplify]: Simplify 0 into 0 8.286 * [backup-simplify]: Simplify 1 into 1 8.286 * [backup-simplify]: Simplify (* 1 1) into 1 8.287 * [backup-simplify]: Simplify (/ 1 1) into 1 8.287 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 8.287 * [taylor]: Taking taylor expansion of (pow z 2) in y 8.287 * [taylor]: Taking taylor expansion of z in y 8.287 * [backup-simplify]: Simplify z into z 8.287 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.287 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 8.287 * [backup-simplify]: Simplify (+ 1 0) into 1 8.287 * [taylor]: Taking taylor expansion of 1 in z 8.287 * [backup-simplify]: Simplify 1 into 1 8.288 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.288 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.288 * [backup-simplify]: Simplify (+ 0 0) into 0 8.288 * [taylor]: Taking taylor expansion of 0 in z 8.288 * [backup-simplify]: Simplify 0 into 0 8.289 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.289 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.289 * [backup-simplify]: Simplify (- (/ 1 (pow z 2))) into (- (/ 1 (pow z 2))) 8.290 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow z 2)))) into (- (/ 1 (pow z 2))) 8.290 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z 8.290 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 8.290 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.290 * [taylor]: Taking taylor expansion of z in z 8.290 * [backup-simplify]: Simplify 0 into 0 8.290 * [backup-simplify]: Simplify 1 into 1 8.290 * [backup-simplify]: Simplify (* 1 1) into 1 8.290 * [backup-simplify]: Simplify (/ 1 1) into 1 8.290 * [backup-simplify]: Simplify (- 1) into -1 8.290 * [backup-simplify]: Simplify -1 into -1 8.290 * [backup-simplify]: Simplify 1 into 1 8.291 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.292 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.292 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 8.292 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0 8.292 * [backup-simplify]: Simplify (- 0) into 0 8.292 * [backup-simplify]: Simplify (+ 0 0) into 0 8.292 * [taylor]: Taking taylor expansion of 0 in z 8.293 * [backup-simplify]: Simplify 0 into 0 8.293 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.293 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.294 * [backup-simplify]: Simplify (- 0) into 0 8.294 * [backup-simplify]: Simplify 0 into 0 8.294 * [backup-simplify]: Simplify 0 into 0 8.294 * [backup-simplify]: Simplify 0 into 0 8.294 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.295 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.295 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 8.295 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 8.296 * [backup-simplify]: Simplify (- 0) into 0 8.296 * [backup-simplify]: Simplify (+ 0 0) into 0 8.296 * [taylor]: Taking taylor expansion of 0 in z 8.296 * [backup-simplify]: Simplify 0 into 0 8.296 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.297 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.297 * [backup-simplify]: Simplify (- 0) into 0 8.297 * [backup-simplify]: Simplify 0 into 0 8.297 * [backup-simplify]: Simplify 0 into 0 8.297 * [backup-simplify]: Simplify 0 into 0 8.298 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 y))) 2)) (* -1 (pow (* (/ 1 (/ 1 z)) 1) 2))) into (- (pow y 2) (pow z 2)) 8.298 * [backup-simplify]: Simplify (- (* (/ 1 (- y)) (/ 1 (- y))) (* (/ 1 (- z)) (/ 1 (- z)))) into (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) 8.298 * [approximate]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in (y z) around 0 8.298 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in z 8.298 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 8.298 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.298 * [taylor]: Taking taylor expansion of y in z 8.298 * [backup-simplify]: Simplify y into y 8.298 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.298 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 8.298 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 8.298 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.298 * [taylor]: Taking taylor expansion of z in z 8.298 * [backup-simplify]: Simplify 0 into 0 8.298 * [backup-simplify]: Simplify 1 into 1 8.298 * [backup-simplify]: Simplify (* 1 1) into 1 8.299 * [backup-simplify]: Simplify (/ 1 1) into 1 8.299 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y 8.299 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.299 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.299 * [taylor]: Taking taylor expansion of y in y 8.299 * [backup-simplify]: Simplify 0 into 0 8.299 * [backup-simplify]: Simplify 1 into 1 8.299 * [backup-simplify]: Simplify (* 1 1) into 1 8.299 * [backup-simplify]: Simplify (/ 1 1) into 1 8.299 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 8.299 * [taylor]: Taking taylor expansion of (pow z 2) in y 8.299 * [taylor]: Taking taylor expansion of z in y 8.299 * [backup-simplify]: Simplify z into z 8.299 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.299 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 8.299 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y 8.299 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.299 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.299 * [taylor]: Taking taylor expansion of y in y 8.299 * [backup-simplify]: Simplify 0 into 0 8.299 * [backup-simplify]: Simplify 1 into 1 8.300 * [backup-simplify]: Simplify (* 1 1) into 1 8.300 * [backup-simplify]: Simplify (/ 1 1) into 1 8.300 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 8.300 * [taylor]: Taking taylor expansion of (pow z 2) in y 8.300 * [taylor]: Taking taylor expansion of z in y 8.300 * [backup-simplify]: Simplify z into z 8.300 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.300 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 8.300 * [backup-simplify]: Simplify (+ 1 0) into 1 8.300 * [taylor]: Taking taylor expansion of 1 in z 8.300 * [backup-simplify]: Simplify 1 into 1 8.301 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.301 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.301 * [backup-simplify]: Simplify (+ 0 0) into 0 8.302 * [taylor]: Taking taylor expansion of 0 in z 8.302 * [backup-simplify]: Simplify 0 into 0 8.302 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.303 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.303 * [backup-simplify]: Simplify (- (/ 1 (pow z 2))) into (- (/ 1 (pow z 2))) 8.303 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow z 2)))) into (- (/ 1 (pow z 2))) 8.303 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z 8.303 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 8.303 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.303 * [taylor]: Taking taylor expansion of z in z 8.303 * [backup-simplify]: Simplify 0 into 0 8.303 * [backup-simplify]: Simplify 1 into 1 8.303 * [backup-simplify]: Simplify (* 1 1) into 1 8.303 * [backup-simplify]: Simplify (/ 1 1) into 1 8.304 * [backup-simplify]: Simplify (- 1) into -1 8.304 * [backup-simplify]: Simplify -1 into -1 8.304 * [backup-simplify]: Simplify 1 into 1 8.304 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.305 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.305 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 8.305 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0 8.305 * [backup-simplify]: Simplify (- 0) into 0 8.306 * [backup-simplify]: Simplify (+ 0 0) into 0 8.306 * [taylor]: Taking taylor expansion of 0 in z 8.306 * [backup-simplify]: Simplify 0 into 0 8.306 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.307 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.307 * [backup-simplify]: Simplify (- 0) into 0 8.307 * [backup-simplify]: Simplify 0 into 0 8.307 * [backup-simplify]: Simplify 0 into 0 8.307 * [backup-simplify]: Simplify 0 into 0 8.308 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.309 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.310 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 8.310 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 8.310 * [backup-simplify]: Simplify (- 0) into 0 8.311 * [backup-simplify]: Simplify (+ 0 0) into 0 8.311 * [taylor]: Taking taylor expansion of 0 in z 8.311 * [backup-simplify]: Simplify 0 into 0 8.312 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.312 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.313 * [backup-simplify]: Simplify (- 0) into 0 8.313 * [backup-simplify]: Simplify 0 into 0 8.313 * [backup-simplify]: Simplify 0 into 0 8.313 * [backup-simplify]: Simplify 0 into 0 8.313 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- y)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- z))) 1) 2))) into (- (pow y 2) (pow z 2)) 8.313 * * * * [progress]: [ 3 / 3 ] generating series at (2) 8.314 * [backup-simplify]: Simplify (* x (sqrt (- (* y y) (* z z)))) into (* x (sqrt (- (pow y 2) (pow z 2)))) 8.314 * [approximate]: Taking taylor expansion of (* x (sqrt (- (pow y 2) (pow z 2)))) in (x y z) around 0 8.314 * [taylor]: Taking taylor expansion of (* x (sqrt (- (pow y 2) (pow z 2)))) in z 8.314 * [taylor]: Taking taylor expansion of x in z 8.314 * [backup-simplify]: Simplify x into x 8.314 * [taylor]: Taking taylor expansion of (sqrt (- (pow y 2) (pow z 2))) in z 8.314 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in z 8.314 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.314 * [taylor]: Taking taylor expansion of y in z 8.314 * [backup-simplify]: Simplify y into y 8.314 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.314 * [taylor]: Taking taylor expansion of z in z 8.314 * [backup-simplify]: Simplify 0 into 0 8.314 * [backup-simplify]: Simplify 1 into 1 8.314 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.314 * [backup-simplify]: Simplify (+ (pow y 2) 0) into (pow y 2) 8.314 * [backup-simplify]: Simplify (sqrt (pow y 2)) into y 8.314 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 8.315 * [backup-simplify]: Simplify (+ 0 0) into 0 8.315 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow y 2)))) into 0 8.315 * [taylor]: Taking taylor expansion of (* x (sqrt (- (pow y 2) (pow z 2)))) in y 8.315 * [taylor]: Taking taylor expansion of x in y 8.315 * [backup-simplify]: Simplify x into x 8.315 * [taylor]: Taking taylor expansion of (sqrt (- (pow y 2) (pow z 2))) in y 8.315 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in y 8.315 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.315 * [taylor]: Taking taylor expansion of y in y 8.315 * [backup-simplify]: Simplify 0 into 0 8.315 * [backup-simplify]: Simplify 1 into 1 8.315 * [taylor]: Taking taylor expansion of (pow z 2) in y 8.315 * [taylor]: Taking taylor expansion of z in y 8.315 * [backup-simplify]: Simplify z into z 8.315 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.315 * [backup-simplify]: Simplify (- (pow z 2)) into (- (pow z 2)) 8.315 * [backup-simplify]: Simplify (+ 0 (- (pow z 2))) into (- (pow z 2)) 8.316 * [backup-simplify]: Simplify (sqrt (- (pow z 2))) into (sqrt (- (pow z 2))) 8.316 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 8.316 * [backup-simplify]: Simplify (- 0) into 0 8.316 * [backup-simplify]: Simplify (+ 0 0) into 0 8.317 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- (pow z 2))))) into 0 8.317 * [taylor]: Taking taylor expansion of (* x (sqrt (- (pow y 2) (pow z 2)))) in x 8.317 * [taylor]: Taking taylor expansion of x in x 8.317 * [backup-simplify]: Simplify 0 into 0 8.317 * [backup-simplify]: Simplify 1 into 1 8.317 * [taylor]: Taking taylor expansion of (sqrt (- (pow y 2) (pow z 2))) in x 8.317 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in x 8.317 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.317 * [taylor]: Taking taylor expansion of y in x 8.317 * [backup-simplify]: Simplify y into y 8.317 * [taylor]: Taking taylor expansion of (pow z 2) in x 8.317 * [taylor]: Taking taylor expansion of z in x 8.317 * [backup-simplify]: Simplify z into z 8.317 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.317 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.317 * [backup-simplify]: Simplify (- (pow z 2)) into (- (pow z 2)) 8.317 * [backup-simplify]: Simplify (+ (pow y 2) (- (pow z 2))) into (- (pow y 2) (pow z 2)) 8.318 * [backup-simplify]: Simplify (sqrt (- (pow y 2) (pow z 2))) into (sqrt (- (pow y 2) (pow z 2))) 8.318 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 8.318 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 8.318 * [backup-simplify]: Simplify (- 0) into 0 8.318 * [backup-simplify]: Simplify (+ 0 0) into 0 8.318 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- (pow y 2) (pow z 2))))) into 0 8.318 * [taylor]: Taking taylor expansion of (* x (sqrt (- (pow y 2) (pow z 2)))) in x 8.318 * [taylor]: Taking taylor expansion of x in x 8.318 * [backup-simplify]: Simplify 0 into 0 8.318 * [backup-simplify]: Simplify 1 into 1 8.318 * [taylor]: Taking taylor expansion of (sqrt (- (pow y 2) (pow z 2))) in x 8.318 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in x 8.319 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.319 * [taylor]: Taking taylor expansion of y in x 8.319 * [backup-simplify]: Simplify y into y 8.319 * [taylor]: Taking taylor expansion of (pow z 2) in x 8.319 * [taylor]: Taking taylor expansion of z in x 8.319 * [backup-simplify]: Simplify z into z 8.319 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.319 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.319 * [backup-simplify]: Simplify (- (pow z 2)) into (- (pow z 2)) 8.319 * [backup-simplify]: Simplify (+ (pow y 2) (- (pow z 2))) into (- (pow y 2) (pow z 2)) 8.319 * [backup-simplify]: Simplify (sqrt (- (pow y 2) (pow z 2))) into (sqrt (- (pow y 2) (pow z 2))) 8.319 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 8.319 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 8.319 * [backup-simplify]: Simplify (- 0) into 0 8.320 * [backup-simplify]: Simplify (+ 0 0) into 0 8.320 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- (pow y 2) (pow z 2))))) into 0 8.320 * [backup-simplify]: Simplify (* 0 (sqrt (- (pow y 2) (pow z 2)))) into 0 8.320 * [taylor]: Taking taylor expansion of 0 in y 8.320 * [backup-simplify]: Simplify 0 into 0 8.320 * [taylor]: Taking taylor expansion of 0 in z 8.320 * [backup-simplify]: Simplify 0 into 0 8.320 * [backup-simplify]: Simplify 0 into 0 8.321 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt (- (pow y 2) (pow z 2))))) into (sqrt (- (pow y 2) (pow z 2))) 8.321 * [taylor]: Taking taylor expansion of (sqrt (- (pow y 2) (pow z 2))) in y 8.321 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in y 8.321 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.321 * [taylor]: Taking taylor expansion of y in y 8.321 * [backup-simplify]: Simplify 0 into 0 8.321 * [backup-simplify]: Simplify 1 into 1 8.321 * [taylor]: Taking taylor expansion of (pow z 2) in y 8.321 * [taylor]: Taking taylor expansion of z in y 8.321 * [backup-simplify]: Simplify z into z 8.321 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.321 * [backup-simplify]: Simplify (- (pow z 2)) into (- (pow z 2)) 8.321 * [backup-simplify]: Simplify (+ 0 (- (pow z 2))) into (- (pow z 2)) 8.321 * [backup-simplify]: Simplify (sqrt (- (pow z 2))) into (sqrt (- (pow z 2))) 8.321 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 8.321 * [backup-simplify]: Simplify (- 0) into 0 8.322 * [backup-simplify]: Simplify (+ 0 0) into 0 8.322 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- (pow z 2))))) into 0 8.322 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2))) in z 8.322 * [taylor]: Taking taylor expansion of (- (pow z 2)) in z 8.322 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.322 * [taylor]: Taking taylor expansion of z in z 8.322 * [backup-simplify]: Simplify 0 into 0 8.322 * [backup-simplify]: Simplify 1 into 1 8.322 * [backup-simplify]: Simplify (* 1 1) into 1 8.322 * [backup-simplify]: Simplify (- 1) into -1 8.323 * [backup-simplify]: Simplify (- 1) into -1 8.323 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 8.323 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.324 * [backup-simplify]: Simplify (- 0) into 0 8.324 * [backup-simplify]: Simplify (- 1) into -1 8.324 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 8.324 * [taylor]: Taking taylor expansion of 0 in z 8.324 * [backup-simplify]: Simplify 0 into 0 8.324 * [backup-simplify]: Simplify 0 into 0 8.324 * [backup-simplify]: Simplify 0 into 0 8.325 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 8.325 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 8.325 * [backup-simplify]: Simplify (- 0) into 0 8.325 * [backup-simplify]: Simplify (+ 0 0) into 0 8.326 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (- (pow y 2) (pow z 2))))) into 0 8.327 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt (- (pow y 2) (pow z 2)))))) into 0 8.327 * [taylor]: Taking taylor expansion of 0 in y 8.327 * [backup-simplify]: Simplify 0 into 0 8.327 * [taylor]: Taking taylor expansion of 0 in z 8.327 * [backup-simplify]: Simplify 0 into 0 8.327 * [backup-simplify]: Simplify 0 into 0 8.327 * [taylor]: Taking taylor expansion of 0 in z 8.327 * [backup-simplify]: Simplify 0 into 0 8.327 * [backup-simplify]: Simplify 0 into 0 8.327 * [taylor]: Taking taylor expansion of 0 in z 8.327 * [backup-simplify]: Simplify 0 into 0 8.327 * [backup-simplify]: Simplify 0 into 0 8.327 * [backup-simplify]: Simplify 0 into 0 8.327 * [backup-simplify]: Simplify (* (/ 1 x) (sqrt (- (* (/ 1 y) (/ 1 y)) (* (/ 1 z) (/ 1 z))))) into (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) 8.327 * [approximate]: Taking taylor expansion of (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) in (x y z) around 0 8.327 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) in z 8.327 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.327 * [taylor]: Taking taylor expansion of x in z 8.327 * [backup-simplify]: Simplify x into x 8.327 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.327 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in z 8.327 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in z 8.327 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 8.327 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.327 * [taylor]: Taking taylor expansion of y in z 8.327 * [backup-simplify]: Simplify y into y 8.327 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.327 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 8.327 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 8.327 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.327 * [taylor]: Taking taylor expansion of z in z 8.328 * [backup-simplify]: Simplify 0 into 0 8.328 * [backup-simplify]: Simplify 1 into 1 8.328 * [backup-simplify]: Simplify (* 1 1) into 1 8.328 * [backup-simplify]: Simplify (/ 1 1) into 1 8.328 * [backup-simplify]: Simplify (- 1) into -1 8.329 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.329 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 8.329 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.330 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.330 * [backup-simplify]: Simplify (- 0) into 0 8.330 * [backup-simplify]: Simplify (+ 0 0) into 0 8.331 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 8.331 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) in y 8.331 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.331 * [taylor]: Taking taylor expansion of x in y 8.331 * [backup-simplify]: Simplify x into x 8.331 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.331 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in y 8.331 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y 8.331 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.331 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.331 * [taylor]: Taking taylor expansion of y in y 8.331 * [backup-simplify]: Simplify 0 into 0 8.331 * [backup-simplify]: Simplify 1 into 1 8.332 * [backup-simplify]: Simplify (* 1 1) into 1 8.332 * [backup-simplify]: Simplify (/ 1 1) into 1 8.332 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 8.332 * [taylor]: Taking taylor expansion of (pow z 2) in y 8.332 * [taylor]: Taking taylor expansion of z in y 8.332 * [backup-simplify]: Simplify z into z 8.332 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.332 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 8.332 * [backup-simplify]: Simplify (+ 1 0) into 1 8.333 * [backup-simplify]: Simplify (sqrt 1) into 1 8.333 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.333 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.334 * [backup-simplify]: Simplify (+ 0 0) into 0 8.334 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 8.334 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) in x 8.334 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.334 * [taylor]: Taking taylor expansion of x in x 8.334 * [backup-simplify]: Simplify 0 into 0 8.334 * [backup-simplify]: Simplify 1 into 1 8.334 * [backup-simplify]: Simplify (/ 1 1) into 1 8.334 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in x 8.334 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in x 8.334 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.334 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.334 * [taylor]: Taking taylor expansion of y in x 8.334 * [backup-simplify]: Simplify y into y 8.335 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.335 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 8.335 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 8.335 * [taylor]: Taking taylor expansion of (pow z 2) in x 8.335 * [taylor]: Taking taylor expansion of z in x 8.335 * [backup-simplify]: Simplify z into z 8.335 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.335 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 8.335 * [backup-simplify]: Simplify (- (/ 1 (pow z 2))) into (- (/ 1 (pow z 2))) 8.335 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) (- (/ 1 (pow z 2)))) into (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) 8.335 * [backup-simplify]: Simplify (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) into (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) 8.335 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 8.336 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 8.336 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 8.336 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0 8.336 * [backup-simplify]: Simplify (- 0) into 0 8.336 * [backup-simplify]: Simplify (+ 0 0) into 0 8.336 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) into 0 8.337 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) in x 8.337 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.337 * [taylor]: Taking taylor expansion of x in x 8.337 * [backup-simplify]: Simplify 0 into 0 8.337 * [backup-simplify]: Simplify 1 into 1 8.337 * [backup-simplify]: Simplify (/ 1 1) into 1 8.337 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in x 8.337 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in x 8.337 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.337 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.337 * [taylor]: Taking taylor expansion of y in x 8.337 * [backup-simplify]: Simplify y into y 8.337 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.337 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 8.337 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 8.337 * [taylor]: Taking taylor expansion of (pow z 2) in x 8.337 * [taylor]: Taking taylor expansion of z in x 8.337 * [backup-simplify]: Simplify z into z 8.337 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.337 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 8.337 * [backup-simplify]: Simplify (- (/ 1 (pow z 2))) into (- (/ 1 (pow z 2))) 8.338 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) (- (/ 1 (pow z 2)))) into (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) 8.338 * [backup-simplify]: Simplify (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) into (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) 8.338 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 8.338 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 8.338 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 8.338 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0 8.338 * [backup-simplify]: Simplify (- 0) into 0 8.339 * [backup-simplify]: Simplify (+ 0 0) into 0 8.339 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) into 0 8.339 * [backup-simplify]: Simplify (* 1 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) into (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) 8.339 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in y 8.339 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y 8.339 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.339 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.339 * [taylor]: Taking taylor expansion of y in y 8.339 * [backup-simplify]: Simplify 0 into 0 8.339 * [backup-simplify]: Simplify 1 into 1 8.340 * [backup-simplify]: Simplify (* 1 1) into 1 8.340 * [backup-simplify]: Simplify (/ 1 1) into 1 8.340 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 8.340 * [taylor]: Taking taylor expansion of (pow z 2) in y 8.340 * [taylor]: Taking taylor expansion of z in y 8.340 * [backup-simplify]: Simplify z into z 8.340 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.340 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 8.340 * [backup-simplify]: Simplify (+ 1 0) into 1 8.341 * [backup-simplify]: Simplify (sqrt 1) into 1 8.341 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.341 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.342 * [backup-simplify]: Simplify (+ 0 0) into 0 8.342 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 8.342 * [taylor]: Taking taylor expansion of 1 in z 8.342 * [backup-simplify]: Simplify 1 into 1 8.343 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.343 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) into 0 8.343 * [taylor]: Taking taylor expansion of 0 in y 8.343 * [backup-simplify]: Simplify 0 into 0 8.343 * [taylor]: Taking taylor expansion of 0 in z 8.343 * [backup-simplify]: Simplify 0 into 0 8.343 * [backup-simplify]: Simplify 1 into 1 8.344 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 8.344 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 8.344 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 8.345 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 8.345 * [backup-simplify]: Simplify (- 0) into 0 8.345 * [backup-simplify]: Simplify (+ 0 0) into 0 8.346 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) into 0 8.346 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.347 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))))) into 0 8.347 * [taylor]: Taking taylor expansion of 0 in y 8.347 * [backup-simplify]: Simplify 0 into 0 8.347 * [taylor]: Taking taylor expansion of 0 in z 8.347 * [backup-simplify]: Simplify 0 into 0 8.348 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.348 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.348 * [backup-simplify]: Simplify (- (/ 1 (pow z 2))) into (- (/ 1 (pow z 2))) 8.348 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow z 2)))) into (- (/ 1 (pow z 2))) 8.349 * [backup-simplify]: Simplify (/ (- (- (/ 1 (pow z 2))) (pow 0 2) (+)) (* 2 1)) into (/ -1/2 (pow z 2)) 8.349 * [taylor]: Taking taylor expansion of (/ -1/2 (pow z 2)) in z 8.349 * [taylor]: Taking taylor expansion of -1/2 in z 8.349 * [backup-simplify]: Simplify -1/2 into -1/2 8.349 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.349 * [taylor]: Taking taylor expansion of z in z 8.349 * [backup-simplify]: Simplify 0 into 0 8.349 * [backup-simplify]: Simplify 1 into 1 8.349 * [backup-simplify]: Simplify (* 1 1) into 1 8.350 * [backup-simplify]: Simplify (/ -1/2 1) into -1/2 8.350 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.351 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)))) into 0 8.351 * [backup-simplify]: Simplify 0 into 0 8.351 * [backup-simplify]: Simplify 0 into 0 8.351 * [backup-simplify]: Simplify 0 into 0 8.351 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 8.352 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 8.352 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 8.352 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 8.353 * [backup-simplify]: Simplify (- 0) into 0 8.353 * [backup-simplify]: Simplify (+ 0 0) into 0 8.355 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) into 0 8.356 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.356 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))))) into 0 8.356 * [taylor]: Taking taylor expansion of 0 in y 8.356 * [backup-simplify]: Simplify 0 into 0 8.357 * [taylor]: Taking taylor expansion of 0 in z 8.357 * [backup-simplify]: Simplify 0 into 0 8.357 * [taylor]: Taking taylor expansion of 0 in z 8.357 * [backup-simplify]: Simplify 0 into 0 8.357 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.358 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.358 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 8.358 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0 8.358 * [backup-simplify]: Simplify (- 0) into 0 8.358 * [backup-simplify]: Simplify (+ 0 0) into 0 8.359 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ -1/2 (pow z 2)))))) (* 2 1)) into 0 8.359 * [taylor]: Taking taylor expansion of 0 in z 8.359 * [backup-simplify]: Simplify 0 into 0 8.359 * [backup-simplify]: Simplify 0 into 0 8.359 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.360 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.360 * [backup-simplify]: Simplify 0 into 0 8.360 * [backup-simplify]: Simplify 0 into 0 8.360 * [backup-simplify]: Simplify (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (* x y) 8.360 * [backup-simplify]: Simplify (* (/ 1 (- x)) (sqrt (- (* (/ 1 (- y)) (/ 1 (- y))) (* (/ 1 (- z)) (/ 1 (- z)))))) into (* -1 (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) 8.360 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) in (x y z) around 0 8.360 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) in z 8.361 * [taylor]: Taking taylor expansion of -1 in z 8.361 * [backup-simplify]: Simplify -1 into -1 8.361 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) in z 8.361 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.361 * [taylor]: Taking taylor expansion of x in z 8.361 * [backup-simplify]: Simplify x into x 8.361 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.361 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in z 8.361 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in z 8.361 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 8.361 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.361 * [taylor]: Taking taylor expansion of y in z 8.361 * [backup-simplify]: Simplify y into y 8.361 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.361 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 8.361 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 8.361 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.361 * [taylor]: Taking taylor expansion of z in z 8.361 * [backup-simplify]: Simplify 0 into 0 8.361 * [backup-simplify]: Simplify 1 into 1 8.361 * [backup-simplify]: Simplify (* 1 1) into 1 8.361 * [backup-simplify]: Simplify (/ 1 1) into 1 8.362 * [backup-simplify]: Simplify (- 1) into -1 8.362 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.362 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 8.362 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.363 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.363 * [backup-simplify]: Simplify (- 0) into 0 8.363 * [backup-simplify]: Simplify (+ 0 0) into 0 8.364 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 8.364 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) in y 8.364 * [taylor]: Taking taylor expansion of -1 in y 8.364 * [backup-simplify]: Simplify -1 into -1 8.364 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) in y 8.364 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.364 * [taylor]: Taking taylor expansion of x in y 8.364 * [backup-simplify]: Simplify x into x 8.364 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.364 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in y 8.364 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y 8.364 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.364 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.364 * [taylor]: Taking taylor expansion of y in y 8.364 * [backup-simplify]: Simplify 0 into 0 8.364 * [backup-simplify]: Simplify 1 into 1 8.364 * [backup-simplify]: Simplify (* 1 1) into 1 8.365 * [backup-simplify]: Simplify (/ 1 1) into 1 8.365 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 8.365 * [taylor]: Taking taylor expansion of (pow z 2) in y 8.365 * [taylor]: Taking taylor expansion of z in y 8.365 * [backup-simplify]: Simplify z into z 8.365 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.365 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 8.365 * [backup-simplify]: Simplify (+ 1 0) into 1 8.365 * [backup-simplify]: Simplify (sqrt 1) into 1 8.366 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.366 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.366 * [backup-simplify]: Simplify (+ 0 0) into 0 8.367 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 8.367 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) in x 8.367 * [taylor]: Taking taylor expansion of -1 in x 8.367 * [backup-simplify]: Simplify -1 into -1 8.367 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) in x 8.367 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.367 * [taylor]: Taking taylor expansion of x in x 8.367 * [backup-simplify]: Simplify 0 into 0 8.367 * [backup-simplify]: Simplify 1 into 1 8.367 * [backup-simplify]: Simplify (/ 1 1) into 1 8.367 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in x 8.367 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in x 8.367 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.367 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.367 * [taylor]: Taking taylor expansion of y in x 8.367 * [backup-simplify]: Simplify y into y 8.367 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.367 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 8.367 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 8.367 * [taylor]: Taking taylor expansion of (pow z 2) in x 8.367 * [taylor]: Taking taylor expansion of z in x 8.367 * [backup-simplify]: Simplify z into z 8.367 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.368 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 8.368 * [backup-simplify]: Simplify (- (/ 1 (pow z 2))) into (- (/ 1 (pow z 2))) 8.368 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) (- (/ 1 (pow z 2)))) into (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) 8.368 * [backup-simplify]: Simplify (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) into (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) 8.368 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 8.368 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 8.368 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 8.368 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0 8.369 * [backup-simplify]: Simplify (- 0) into 0 8.369 * [backup-simplify]: Simplify (+ 0 0) into 0 8.369 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) into 0 8.369 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) in x 8.369 * [taylor]: Taking taylor expansion of -1 in x 8.369 * [backup-simplify]: Simplify -1 into -1 8.369 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) in x 8.369 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.369 * [taylor]: Taking taylor expansion of x in x 8.369 * [backup-simplify]: Simplify 0 into 0 8.369 * [backup-simplify]: Simplify 1 into 1 8.370 * [backup-simplify]: Simplify (/ 1 1) into 1 8.370 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in x 8.370 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in x 8.370 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.370 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.370 * [taylor]: Taking taylor expansion of y in x 8.370 * [backup-simplify]: Simplify y into y 8.370 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.370 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 8.370 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 8.370 * [taylor]: Taking taylor expansion of (pow z 2) in x 8.370 * [taylor]: Taking taylor expansion of z in x 8.370 * [backup-simplify]: Simplify z into z 8.370 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.370 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 8.370 * [backup-simplify]: Simplify (- (/ 1 (pow z 2))) into (- (/ 1 (pow z 2))) 8.370 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) (- (/ 1 (pow z 2)))) into (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) 8.370 * [backup-simplify]: Simplify (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) into (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) 8.371 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 8.371 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 8.371 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 8.371 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0 8.371 * [backup-simplify]: Simplify (- 0) into 0 8.371 * [backup-simplify]: Simplify (+ 0 0) into 0 8.372 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) into 0 8.372 * [backup-simplify]: Simplify (* 1 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) into (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) 8.372 * [backup-simplify]: Simplify (* -1 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) into (* -1 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) 8.372 * [taylor]: Taking taylor expansion of (* -1 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) in y 8.372 * [taylor]: Taking taylor expansion of -1 in y 8.372 * [backup-simplify]: Simplify -1 into -1 8.372 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in y 8.372 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y 8.372 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.372 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.372 * [taylor]: Taking taylor expansion of y in y 8.372 * [backup-simplify]: Simplify 0 into 0 8.372 * [backup-simplify]: Simplify 1 into 1 8.372 * [backup-simplify]: Simplify (* 1 1) into 1 8.373 * [backup-simplify]: Simplify (/ 1 1) into 1 8.373 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 8.373 * [taylor]: Taking taylor expansion of (pow z 2) in y 8.373 * [taylor]: Taking taylor expansion of z in y 8.373 * [backup-simplify]: Simplify z into z 8.373 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.373 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 8.373 * [backup-simplify]: Simplify (+ 1 0) into 1 8.373 * [backup-simplify]: Simplify (sqrt 1) into 1 8.374 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.374 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.374 * [backup-simplify]: Simplify (+ 0 0) into 0 8.375 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 8.375 * [backup-simplify]: Simplify (* -1 1) into -1 8.375 * [taylor]: Taking taylor expansion of -1 in z 8.375 * [backup-simplify]: Simplify -1 into -1 8.376 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.376 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) into 0 8.376 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) into 0 8.377 * [taylor]: Taking taylor expansion of 0 in y 8.377 * [backup-simplify]: Simplify 0 into 0 8.377 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0 8.377 * [taylor]: Taking taylor expansion of 0 in z 8.377 * [backup-simplify]: Simplify 0 into 0 8.377 * [backup-simplify]: Simplify -1 into -1 8.377 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 8.378 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 8.378 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 8.378 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 8.378 * [backup-simplify]: Simplify (- 0) into 0 8.379 * [backup-simplify]: Simplify (+ 0 0) into 0 8.379 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) into 0 8.380 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.380 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))))) into 0 8.381 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))))) into 0 8.381 * [taylor]: Taking taylor expansion of 0 in y 8.381 * [backup-simplify]: Simplify 0 into 0 8.381 * [taylor]: Taking taylor expansion of 0 in z 8.381 * [backup-simplify]: Simplify 0 into 0 8.382 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.382 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.382 * [backup-simplify]: Simplify (- (/ 1 (pow z 2))) into (- (/ 1 (pow z 2))) 8.382 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow z 2)))) into (- (/ 1 (pow z 2))) 8.383 * [backup-simplify]: Simplify (/ (- (- (/ 1 (pow z 2))) (pow 0 2) (+)) (* 2 1)) into (/ -1/2 (pow z 2)) 8.384 * [backup-simplify]: Simplify (+ (* -1 (/ -1/2 (pow z 2))) (+ (* 0 0) (* 0 1))) into (* 1/2 (/ 1 (pow z 2))) 8.384 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow z 2))) in z 8.384 * [taylor]: Taking taylor expansion of 1/2 in z 8.384 * [backup-simplify]: Simplify 1/2 into 1/2 8.384 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 8.384 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.384 * [taylor]: Taking taylor expansion of z in z 8.384 * [backup-simplify]: Simplify 0 into 0 8.384 * [backup-simplify]: Simplify 1 into 1 8.384 * [backup-simplify]: Simplify (* 1 1) into 1 8.384 * [backup-simplify]: Simplify (/ 1 1) into 1 8.385 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.385 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.386 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 8.386 * [backup-simplify]: Simplify 0 into 0 8.386 * [backup-simplify]: Simplify 0 into 0 8.386 * [backup-simplify]: Simplify 0 into 0 8.386 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 8.386 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 8.387 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 8.387 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 8.388 * [backup-simplify]: Simplify (- 0) into 0 8.388 * [backup-simplify]: Simplify (+ 0 0) into 0 8.388 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) into 0 8.389 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.390 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))))) into 0 8.391 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))))) into 0 8.391 * [taylor]: Taking taylor expansion of 0 in y 8.391 * [backup-simplify]: Simplify 0 into 0 8.391 * [taylor]: Taking taylor expansion of 0 in z 8.391 * [backup-simplify]: Simplify 0 into 0 8.391 * [taylor]: Taking taylor expansion of 0 in z 8.391 * [backup-simplify]: Simplify 0 into 0 8.391 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.392 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.392 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 8.392 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0 8.392 * [backup-simplify]: Simplify (- 0) into 0 8.393 * [backup-simplify]: Simplify (+ 0 0) into 0 8.393 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ -1/2 (pow z 2)))))) (* 2 1)) into 0 8.394 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ -1/2 (pow z 2))) (+ (* 0 0) (* 0 1)))) into 0 8.394 * [taylor]: Taking taylor expansion of 0 in z 8.394 * [backup-simplify]: Simplify 0 into 0 8.394 * [backup-simplify]: Simplify 0 into 0 8.395 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.395 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.396 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0 8.396 * [backup-simplify]: Simplify 0 into 0 8.396 * [backup-simplify]: Simplify 0 into 0 8.396 * [backup-simplify]: Simplify (* -1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (* -1 (* x y)) 8.396 * * * [progress]: simplifying candidates 8.397 * [simplify]: Simplifying: (log (sqrt (- (* y y) (* z z)))) (exp (sqrt (- (* y y) (* z z)))) (* (cbrt (sqrt (- (* y y) (* z z)))) (cbrt (sqrt (- (* y y) (* z z))))) (cbrt (sqrt (- (* y y) (* z z)))) (* (* (sqrt (- (* y y) (* z z))) (sqrt (- (* y y) (* z z)))) (sqrt (- (* y y) (* z z)))) (sqrt (* (cbrt (- (* y y) (* z z))) (cbrt (- (* y y) (* z z))))) (sqrt (cbrt (- (* y y) (* z z)))) (sqrt (sqrt (- (* y y) (* z z)))) (sqrt (sqrt (- (* y y) (* z z)))) (sqrt 1) (sqrt (- (* y y) (* z z))) (sqrt (+ y z)) (sqrt (- y z)) (sqrt (- (pow (* y y) 3) (pow (* z z) 3))) (sqrt (+ (* (* y y) (* y y)) (+ (* (* z z) (* z z)) (* (* y y) (* z z))))) (sqrt (- (* (* y y) (* y y)) (* (* z z) (* z z)))) (sqrt (+ (* y y) (* z z))) (/ 1 2) (sqrt (sqrt (- (* y y) (* z z)))) (sqrt (sqrt (- (* y y) (* z z)))) (/ (exp (* y y)) (exp (* z z))) (log (- (* y y) (* z z))) (exp (- (* y y) (* z z))) (* (cbrt (- (* y y) (* z z))) (cbrt (- (* y y) (* z z)))) (cbrt (- (* y y) (* z z))) (* (* (- (* y y) (* z z)) (- (* y y) (* z z))) (- (* y y) (* z z))) (sqrt (- (* y y) (* z z))) (sqrt (- (* y y) (* z z))) (- (pow (* y y) 3) (pow (* z z) 3)) (+ (* (* y y) (* y y)) (+ (* (* z z) (* z z)) (* (* y y) (* z z)))) (- (* z z)) (- (* (* y y) (* y y)) (* (* z z) (* z z))) (+ (* y y) (* z z)) (+ y z) (- y z) (- (* z z)) (* x (sqrt (- (* y y) (* z z)))) (+ (log x) (log (sqrt (- (* y y) (* z z))))) (log (* x (sqrt (- (* y y) (* z z))))) (exp (* x (sqrt (- (* y y) (* z z))))) (* (* (* x x) x) (* (* (sqrt (- (* y y) (* z z))) (sqrt (- (* y y) (* z z)))) (sqrt (- (* y y) (* z z))))) (* (cbrt (* x (sqrt (- (* y y) (* z z))))) (cbrt (* x (sqrt (- (* y y) (* z z)))))) (cbrt (* x (sqrt (- (* y y) (* z z))))) (* (* (* x (sqrt (- (* y y) (* z z)))) (* x (sqrt (- (* y y) (* z z))))) (* x (sqrt (- (* y y) (* z z))))) (sqrt (* x (sqrt (- (* y y) (* z z))))) (sqrt (* x (sqrt (- (* y y) (* z z))))) (* (sqrt x) (sqrt (sqrt (- (* y y) (* z z))))) (* (sqrt x) (sqrt (sqrt (- (* y y) (* z z))))) (* (sqrt x) (sqrt (sqrt (- (* y y) (* z z))))) (* (sqrt x) (sqrt (sqrt (- (* y y) (* z z))))) (* x (* (cbrt (sqrt (- (* y y) (* z z)))) (cbrt (sqrt (- (* y y) (* z z)))))) (* x (sqrt (* (cbrt (- (* y y) (* z z))) (cbrt (- (* y y) (* z z)))))) (* x (sqrt (sqrt (- (* y y) (* z z))))) (* x (sqrt 1)) (* x (sqrt (+ y z))) (* x (sqrt (sqrt (- (* y y) (* z z))))) (* x 1) (* (cbrt x) (sqrt (- (* y y) (* z z)))) (* (sqrt x) (sqrt (- (* y y) (* z z)))) (* x (sqrt (- (* y y) (* z z)))) (* x (sqrt (- (pow (* y y) 3) (pow (* z z) 3)))) (* x (sqrt (- (* (* y y) (* y y)) (* (* z z) (* z z))))) (* (sqrt -1) z) y (* -1 y) (- (pow y 2) (pow z 2)) (- (pow y 2) (pow z 2)) (- (pow y 2) (pow z 2)) 0 (* x y) (* -1 (* x y)) 8.398 * * [simplify]: Extracting # 0 : cost 57 inf + 0 8.398 * * [simplify]: Extracting # 1 : cost 80 inf + 2 8.398 * * [simplify]: Extracting # 2 : cost 60 inf + 1347 8.399 * * [simplify]: Extracting # 3 : cost 26 inf + 7491 8.400 * * [simplify]: Extracting # 4 : cost 5 inf + 13067 8.401 * * [simplify]: Extracting # 5 : cost 0 inf + 15242 8.403 * * [simplify]: iteration 0 : 85 enodes (cost 15908 ) 8.423 * * [simplify]: Extracting # 0 : cost 0 inf + 15242 8.425 * * [simplify]: Extracting # 1 : cost 34 inf + 13902 8.427 * * [simplify]: Extracting # 2 : cost 5 inf + 17734 8.429 * * [simplify]: Extracting # 3 : cost 2 inf + 17637 8.431 * * [simplify]: Extracting # 4 : cost 0 inf + 18141