88.578 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.044 * * * [progress]: [2/2] Setting up program. 0.049 * [progress]: [Phase 2 of 3] Improving. 0.049 * [simplify]: Simplifying: (* x (sqrt (- (* y y) (* z z)))) 0.049 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.049 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.049 * * [simplify]: Extracting # 2 : cost 3 inf + 1 0.049 * * [simplify]: Extracting # 3 : cost 5 inf + 1 0.049 * * [simplify]: Extracting # 4 : cost 7 inf + 1 0.049 * * [simplify]: Extracting # 5 : cost 0 inf + 572 0.049 * * [simplify]: iteration 0 : 8 enodes (cost 203 ) 0.051 * * [simplify]: Extracting # 0 : cost 0 inf + 572 0.051 * * [simplify]: Extracting # 1 : cost 3 inf + 572 0.051 * * [simplify]: Extracting # 2 : cost 0 inf + 737 0.051 * * [simplify]: iteration 1 : 15 enodes (cost 203 ) 0.053 * * [simplify]: Extracting # 0 : cost 0 inf + 737 0.054 * * [simplify]: Extracting # 1 : cost 1 inf + 737 0.054 * * [simplify]: Extracting # 2 : cost 0 inf + 778 0.054 * * [simplify]: iteration 2 : 22 enodes (cost 203 ) 0.059 * * [simplify]: Extracting # 0 : cost 0 inf + 778 0.060 * * [simplify]: Extracting # 1 : cost 8 inf + 778 0.060 * * [simplify]: Extracting # 2 : cost 0 inf + 1514 0.061 * * [simplify]: iteration 3 : 39 enodes (cost 203 ) 0.076 * * [simplify]: Extracting # 0 : cost 0 inf + 1514 0.076 * * [simplify]: Extracting # 1 : cost 6 inf + 1514 0.077 * * [simplify]: Extracting # 2 : cost 0 inf + 1926 0.079 * * [simplify]: iteration 4 : 70 enodes (cost 203 ) 0.114 * * [simplify]: Extracting # 0 : cost 0 inf + 1926 0.116 * * [simplify]: Extracting # 1 : cost 17 inf + 1926 0.119 * * [simplify]: Extracting # 2 : cost 0 inf + 5080 0.139 * * [simplify]: iteration 5 : 163 enodes (cost 203 ) 0.220 * * [simplify]: Extracting # 0 : cost 0 inf + 5080 0.223 * * [simplify]: Extracting # 1 : cost 16 inf + 4400 0.226 * * [simplify]: Extracting # 2 : cost 0 inf + 6441 0.230 * * [simplify]: Extracting # 3 : cost 0 inf + 6411 0.235 * * [simplify]: iteration 6 : 289 enodes (cost 203 ) 0.343 * * [simplify]: Extracting # 0 : cost 0 inf + 6411 0.349 * * [simplify]: Extracting # 1 : cost 48 inf + 5811 0.356 * * [simplify]: Extracting # 2 : cost 0 inf + 13691 0.367 * * [simplify]: iteration 7 : 522 enodes (cost 203 ) 1.098 * * [simplify]: Extracting # 0 : cost 0 inf + 13691 1.135 * * [simplify]: Extracting # 1 : cost 178 inf + 10645 1.186 * * [simplify]: Extracting # 2 : cost 0 inf + 42516 1.246 * * [simplify]: Extracting # 3 : cost 0 inf + 42206 1.306 * * [simplify]: Extracting # 4 : cost 0 inf + 42176 1.368 * * [simplify]: iteration 8 : 1408 enodes (cost 203 ) 7.990 * * [simplify]: Extracting # 0 : cost 0 inf + 42176 8.117 * * [simplify]: Extracting # 1 : cost 508 inf + 30139 8.282 * * [simplify]: Extracting # 2 : cost 43 inf + 117225 8.523 * * [simplify]: Extracting # 3 : cost 0 inf + 120720 8.746 * * [simplify]: Extracting # 4 : cost 0 inf + 120222 8.932 * * [simplify]: iteration 9 : 4727 enodes (cost 203 ) 10.351 * * [simplify]: Extracting # 0 : cost 0 inf + 120222 10.592 * * [simplify]: Extracting # 1 : cost 0 inf + 117609 10.869 * * [simplify]: Extracting # 2 : cost 0 inf + 117372 11.089 * * [simplify]: iteration complete: 5000 enodes (cost 203 ) 11.090 * [simplify]: Simplified to: (* x (sqrt (- (* y y) (* z z)))) 11.091 * * [progress]: iteration 1 / 4 11.091 * * * [progress]: picking best candidate 11.099 * * * * [pick]: Picked # 11.099 * * * [progress]: localizing error 11.114 * * * [progress]: generating rewritten candidates 11.114 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 11.123 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1) 11.129 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 11.177 * * * [progress]: generating series expansions 11.177 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 11.177 * [backup-simplify]: Simplify (sqrt (- (* y y) (* z z))) into (sqrt (- (pow y 2) (pow z 2))) 11.177 * [approximate]: Taking taylor expansion of (sqrt (- (pow y 2) (pow z 2))) in (y z) around 0 11.177 * [taylor]: Taking taylor expansion of (sqrt (- (pow y 2) (pow z 2))) in z 11.177 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in z 11.177 * [taylor]: Taking taylor expansion of (pow y 2) in z 11.177 * [taylor]: Taking taylor expansion of y in z 11.177 * [backup-simplify]: Simplify y into y 11.177 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.177 * [taylor]: Taking taylor expansion of z in z 11.177 * [backup-simplify]: Simplify 0 into 0 11.178 * [backup-simplify]: Simplify 1 into 1 11.178 * [backup-simplify]: Simplify (* y y) into (pow y 2) 11.178 * [backup-simplify]: Simplify (+ (pow y 2) 0) into (pow y 2) 11.178 * [backup-simplify]: Simplify (sqrt (pow y 2)) into y 11.178 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 11.179 * [backup-simplify]: Simplify (+ 0 0) into 0 11.179 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow y 2)))) into 0 11.179 * [taylor]: Taking taylor expansion of (sqrt (- (pow y 2) (pow z 2))) in y 11.179 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in y 11.179 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.179 * [taylor]: Taking taylor expansion of y in y 11.179 * [backup-simplify]: Simplify 0 into 0 11.179 * [backup-simplify]: Simplify 1 into 1 11.179 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.179 * [taylor]: Taking taylor expansion of z in y 11.179 * [backup-simplify]: Simplify z into z 11.179 * [backup-simplify]: Simplify (* z z) into (pow z 2) 11.179 * [backup-simplify]: Simplify (- (pow z 2)) into (- (pow z 2)) 11.180 * [backup-simplify]: Simplify (+ 0 (- (pow z 2))) into (- (pow z 2)) 11.180 * [backup-simplify]: Simplify (sqrt (- (pow z 2))) into (sqrt (- (pow z 2))) 11.180 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 11.180 * [backup-simplify]: Simplify (- 0) into 0 11.180 * [backup-simplify]: Simplify (+ 0 0) into 0 11.180 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- (pow z 2))))) into 0 11.180 * [taylor]: Taking taylor expansion of (sqrt (- (pow y 2) (pow z 2))) in y 11.180 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in y 11.180 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.180 * [taylor]: Taking taylor expansion of y in y 11.180 * [backup-simplify]: Simplify 0 into 0 11.180 * [backup-simplify]: Simplify 1 into 1 11.180 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.180 * [taylor]: Taking taylor expansion of z in y 11.180 * [backup-simplify]: Simplify z into z 11.181 * [backup-simplify]: Simplify (* z z) into (pow z 2) 11.181 * [backup-simplify]: Simplify (- (pow z 2)) into (- (pow z 2)) 11.181 * [backup-simplify]: Simplify (+ 0 (- (pow z 2))) into (- (pow z 2)) 11.181 * [backup-simplify]: Simplify (sqrt (- (pow z 2))) into (sqrt (- (pow z 2))) 11.181 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 11.181 * [backup-simplify]: Simplify (- 0) into 0 11.181 * [backup-simplify]: Simplify (+ 0 0) into 0 11.181 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- (pow z 2))))) into 0 11.182 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2))) in z 11.182 * [taylor]: Taking taylor expansion of (- (pow z 2)) in z 11.182 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.182 * [taylor]: Taking taylor expansion of z in z 11.182 * [backup-simplify]: Simplify 0 into 0 11.182 * [backup-simplify]: Simplify 1 into 1 11.182 * [backup-simplify]: Simplify (* 1 1) into 1 11.182 * [backup-simplify]: Simplify (- 1) into -1 11.182 * [backup-simplify]: Simplify (- 1) into -1 11.183 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 11.183 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.183 * [backup-simplify]: Simplify (- 0) into 0 11.184 * [backup-simplify]: Simplify (- 1) into -1 11.184 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 11.184 * [taylor]: Taking taylor expansion of 0 in z 11.184 * [backup-simplify]: Simplify 0 into 0 11.184 * [backup-simplify]: Simplify 0 into 0 11.184 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 11.185 * [backup-simplify]: Simplify (* 1 1) into 1 11.185 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 11.185 * [backup-simplify]: Simplify (- 0) into 0 11.185 * [backup-simplify]: Simplify (+ 1 0) into 1 11.186 * [backup-simplify]: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt (- (pow z 2))))) into (/ 1/2 (sqrt (- (pow z 2)))) 11.186 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (- (pow z 2)))) in z 11.186 * [taylor]: Taking taylor expansion of 1/2 in z 11.186 * [backup-simplify]: Simplify 1/2 into 1/2 11.186 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2))) in z 11.186 * [taylor]: Taking taylor expansion of (- (pow z 2)) in z 11.186 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.186 * [taylor]: Taking taylor expansion of z in z 11.186 * [backup-simplify]: Simplify 0 into 0 11.186 * [backup-simplify]: Simplify 1 into 1 11.186 * [backup-simplify]: Simplify (* 1 1) into 1 11.187 * [backup-simplify]: Simplify (- 1) into -1 11.187 * [backup-simplify]: Simplify (- 1) into -1 11.187 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 11.188 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.188 * [backup-simplify]: Simplify (- 0) into 0 11.188 * [backup-simplify]: Simplify (- 1) into -1 11.188 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 11.189 * [backup-simplify]: Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1)) 11.190 * [backup-simplify]: Simplify (- (/ 0 (sqrt -1)) (+ (* (/ 1/2 (sqrt -1)) (/ 0 (sqrt -1))))) into 0 11.190 * [backup-simplify]: Simplify 0 into 0 11.190 * [backup-simplify]: Simplify 0 into 0 11.190 * [backup-simplify]: Simplify 0 into 0 11.190 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.191 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 11.191 * [backup-simplify]: Simplify (- 0) into 0 11.191 * [backup-simplify]: Simplify (+ 0 0) into 0 11.192 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt (- (pow z 2)))))))) (* 2 (sqrt (- (pow z 2))))) into 0 11.192 * [taylor]: Taking taylor expansion of 0 in z 11.192 * [backup-simplify]: Simplify 0 into 0 11.192 * [backup-simplify]: Simplify 0 into 0 11.192 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.192 * [backup-simplify]: Simplify (- 0) into 0 11.193 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt -1))) into 0 11.194 * [backup-simplify]: Simplify (- (/ 0 (sqrt -1)) (+ (* (/ 1/2 (sqrt -1)) (/ 0 (sqrt -1))) (* 0 (/ 0 (sqrt -1))))) into 0 11.194 * [backup-simplify]: Simplify 0 into 0 11.194 * [backup-simplify]: Simplify 0 into 0 11.194 * [backup-simplify]: Simplify (* (sqrt -1) (* z 1)) into (* (sqrt -1) z) 11.194 * [backup-simplify]: Simplify (sqrt (- (* (/ 1 y) (/ 1 y)) (* (/ 1 z) (/ 1 z)))) into (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) 11.194 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in (y z) around 0 11.194 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in z 11.194 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in z 11.194 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 11.194 * [taylor]: Taking taylor expansion of (pow y 2) in z 11.194 * [taylor]: Taking taylor expansion of y in z 11.194 * [backup-simplify]: Simplify y into y 11.195 * [backup-simplify]: Simplify (* y y) into (pow y 2) 11.195 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 11.195 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 11.195 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.195 * [taylor]: Taking taylor expansion of z in z 11.195 * [backup-simplify]: Simplify 0 into 0 11.195 * [backup-simplify]: Simplify 1 into 1 11.195 * [backup-simplify]: Simplify (* 1 1) into 1 11.195 * [backup-simplify]: Simplify (/ 1 1) into 1 11.195 * [backup-simplify]: Simplify (- 1) into -1 11.196 * [backup-simplify]: Simplify (+ 0 -1) into -1 11.196 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 11.196 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.197 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.197 * [backup-simplify]: Simplify (- 0) into 0 11.197 * [backup-simplify]: Simplify (+ 0 0) into 0 11.198 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 11.198 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in y 11.198 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y 11.198 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.198 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.198 * [taylor]: Taking taylor expansion of y in y 11.198 * [backup-simplify]: Simplify 0 into 0 11.198 * [backup-simplify]: Simplify 1 into 1 11.198 * [backup-simplify]: Simplify (* 1 1) into 1 11.198 * [backup-simplify]: Simplify (/ 1 1) into 1 11.198 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 11.198 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.198 * [taylor]: Taking taylor expansion of z in y 11.198 * [backup-simplify]: Simplify z into z 11.198 * [backup-simplify]: Simplify (* z z) into (pow z 2) 11.198 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 11.199 * [backup-simplify]: Simplify (+ 1 0) into 1 11.199 * [backup-simplify]: Simplify (sqrt 1) into 1 11.199 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.200 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.200 * [backup-simplify]: Simplify (+ 0 0) into 0 11.201 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 11.201 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in y 11.201 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y 11.201 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.201 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.201 * [taylor]: Taking taylor expansion of y in y 11.201 * [backup-simplify]: Simplify 0 into 0 11.201 * [backup-simplify]: Simplify 1 into 1 11.201 * [backup-simplify]: Simplify (* 1 1) into 1 11.201 * [backup-simplify]: Simplify (/ 1 1) into 1 11.201 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 11.201 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.201 * [taylor]: Taking taylor expansion of z in y 11.201 * [backup-simplify]: Simplify z into z 11.201 * [backup-simplify]: Simplify (* z z) into (pow z 2) 11.201 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 11.202 * [backup-simplify]: Simplify (+ 1 0) into 1 11.202 * [backup-simplify]: Simplify (sqrt 1) into 1 11.202 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.203 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.203 * [backup-simplify]: Simplify (+ 0 0) into 0 11.203 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 11.204 * [taylor]: Taking taylor expansion of 1 in z 11.204 * [backup-simplify]: Simplify 1 into 1 11.204 * [taylor]: Taking taylor expansion of 0 in z 11.204 * [backup-simplify]: Simplify 0 into 0 11.204 * [backup-simplify]: Simplify 1 into 1 11.204 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.205 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.205 * [backup-simplify]: Simplify (- (/ 1 (pow z 2))) into (- (/ 1 (pow z 2))) 11.205 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow z 2)))) into (- (/ 1 (pow z 2))) 11.206 * [backup-simplify]: Simplify (/ (- (- (/ 1 (pow z 2))) (pow 0 2) (+)) (* 2 1)) into (/ -1/2 (pow z 2)) 11.206 * [taylor]: Taking taylor expansion of (/ -1/2 (pow z 2)) in z 11.206 * [taylor]: Taking taylor expansion of -1/2 in z 11.206 * [backup-simplify]: Simplify -1/2 into -1/2 11.206 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.206 * [taylor]: Taking taylor expansion of z in z 11.206 * [backup-simplify]: Simplify 0 into 0 11.206 * [backup-simplify]: Simplify 1 into 1 11.206 * [backup-simplify]: Simplify (* 1 1) into 1 11.206 * [backup-simplify]: Simplify (/ -1/2 1) into -1/2 11.207 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.207 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)))) into 0 11.207 * [backup-simplify]: Simplify 0 into 0 11.207 * [backup-simplify]: Simplify 0 into 0 11.207 * [backup-simplify]: Simplify 0 into 0 11.208 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.208 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.209 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 11.209 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0 11.209 * [backup-simplify]: Simplify (- 0) into 0 11.209 * [backup-simplify]: Simplify (+ 0 0) into 0 11.210 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ -1/2 (pow z 2)))))) (* 2 1)) into 0 11.210 * [taylor]: Taking taylor expansion of 0 in z 11.210 * [backup-simplify]: Simplify 0 into 0 11.210 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.211 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.211 * [backup-simplify]: Simplify 0 into 0 11.211 * [backup-simplify]: Simplify 0 into 0 11.211 * [backup-simplify]: Simplify 0 into 0 11.211 * [backup-simplify]: Simplify (* 1 (* 1 (/ 1 (/ 1 y)))) into y 11.211 * [backup-simplify]: Simplify (sqrt (- (* (/ 1 (- y)) (/ 1 (- y))) (* (/ 1 (- z)) (/ 1 (- z))))) into (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) 11.211 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in (y z) around 0 11.211 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in z 11.211 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in z 11.211 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 11.211 * [taylor]: Taking taylor expansion of (pow y 2) in z 11.211 * [taylor]: Taking taylor expansion of y in z 11.211 * [backup-simplify]: Simplify y into y 11.211 * [backup-simplify]: Simplify (* y y) into (pow y 2) 11.211 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 11.211 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 11.212 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.212 * [taylor]: Taking taylor expansion of z in z 11.212 * [backup-simplify]: Simplify 0 into 0 11.212 * [backup-simplify]: Simplify 1 into 1 11.212 * [backup-simplify]: Simplify (* 1 1) into 1 11.212 * [backup-simplify]: Simplify (/ 1 1) into 1 11.213 * [backup-simplify]: Simplify (- 1) into -1 11.213 * [backup-simplify]: Simplify (+ 0 -1) into -1 11.214 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 11.214 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.215 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.215 * [backup-simplify]: Simplify (- 0) into 0 11.216 * [backup-simplify]: Simplify (+ 0 0) into 0 11.216 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 11.216 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in y 11.216 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y 11.216 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.216 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.216 * [taylor]: Taking taylor expansion of y in y 11.216 * [backup-simplify]: Simplify 0 into 0 11.216 * [backup-simplify]: Simplify 1 into 1 11.217 * [backup-simplify]: Simplify (* 1 1) into 1 11.217 * [backup-simplify]: Simplify (/ 1 1) into 1 11.217 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 11.217 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.217 * [taylor]: Taking taylor expansion of z in y 11.217 * [backup-simplify]: Simplify z into z 11.217 * [backup-simplify]: Simplify (* z z) into (pow z 2) 11.218 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 11.218 * [backup-simplify]: Simplify (+ 1 0) into 1 11.218 * [backup-simplify]: Simplify (sqrt 1) into 1 11.219 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.220 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.220 * [backup-simplify]: Simplify (+ 0 0) into 0 11.221 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 11.221 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in y 11.221 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y 11.221 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.221 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.221 * [taylor]: Taking taylor expansion of y in y 11.221 * [backup-simplify]: Simplify 0 into 0 11.221 * [backup-simplify]: Simplify 1 into 1 11.221 * [backup-simplify]: Simplify (* 1 1) into 1 11.222 * [backup-simplify]: Simplify (/ 1 1) into 1 11.222 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 11.222 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.222 * [taylor]: Taking taylor expansion of z in y 11.222 * [backup-simplify]: Simplify z into z 11.222 * [backup-simplify]: Simplify (* z z) into (pow z 2) 11.222 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 11.223 * [backup-simplify]: Simplify (+ 1 0) into 1 11.223 * [backup-simplify]: Simplify (sqrt 1) into 1 11.224 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.224 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.225 * [backup-simplify]: Simplify (+ 0 0) into 0 11.225 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 11.225 * [taylor]: Taking taylor expansion of 1 in z 11.226 * [backup-simplify]: Simplify 1 into 1 11.226 * [taylor]: Taking taylor expansion of 0 in z 11.226 * [backup-simplify]: Simplify 0 into 0 11.226 * [backup-simplify]: Simplify 1 into 1 11.226 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.227 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.228 * [backup-simplify]: Simplify (- (/ 1 (pow z 2))) into (- (/ 1 (pow z 2))) 11.228 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow z 2)))) into (- (/ 1 (pow z 2))) 11.229 * [backup-simplify]: Simplify (/ (- (- (/ 1 (pow z 2))) (pow 0 2) (+)) (* 2 1)) into (/ -1/2 (pow z 2)) 11.229 * [taylor]: Taking taylor expansion of (/ -1/2 (pow z 2)) in z 11.229 * [taylor]: Taking taylor expansion of -1/2 in z 11.229 * [backup-simplify]: Simplify -1/2 into -1/2 11.229 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.229 * [taylor]: Taking taylor expansion of z in z 11.229 * [backup-simplify]: Simplify 0 into 0 11.229 * [backup-simplify]: Simplify 1 into 1 11.230 * [backup-simplify]: Simplify (* 1 1) into 1 11.230 * [backup-simplify]: Simplify (/ -1/2 1) into -1/2 11.231 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.231 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)))) into 0 11.232 * [backup-simplify]: Simplify 0 into 0 11.232 * [backup-simplify]: Simplify 0 into 0 11.232 * [backup-simplify]: Simplify 0 into 0 11.233 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.234 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.234 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 11.234 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0 11.234 * [backup-simplify]: Simplify (- 0) into 0 11.235 * [backup-simplify]: Simplify (+ 0 0) into 0 11.235 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ -1/2 (pow z 2)))))) (* 2 1)) into 0 11.235 * [taylor]: Taking taylor expansion of 0 in z 11.235 * [backup-simplify]: Simplify 0 into 0 11.237 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.238 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.238 * [backup-simplify]: Simplify 0 into 0 11.238 * [backup-simplify]: Simplify 0 into 0 11.238 * [backup-simplify]: Simplify 0 into 0 11.238 * [backup-simplify]: Simplify (* 1 (* 1 (/ 1 (/ 1 (- y))))) into (* -1 y) 11.238 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1) 11.238 * [backup-simplify]: Simplify (- (* y y) (* z z)) into (- (pow y 2) (pow z 2)) 11.238 * [approximate]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in (y z) around 0 11.238 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in z 11.238 * [taylor]: Taking taylor expansion of (pow y 2) in z 11.238 * [taylor]: Taking taylor expansion of y in z 11.238 * [backup-simplify]: Simplify y into y 11.238 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.238 * [taylor]: Taking taylor expansion of z in z 11.238 * [backup-simplify]: Simplify 0 into 0 11.238 * [backup-simplify]: Simplify 1 into 1 11.238 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in y 11.238 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.238 * [taylor]: Taking taylor expansion of y in y 11.238 * [backup-simplify]: Simplify 0 into 0 11.238 * [backup-simplify]: Simplify 1 into 1 11.238 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.238 * [taylor]: Taking taylor expansion of z in y 11.238 * [backup-simplify]: Simplify z into z 11.239 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in y 11.239 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.239 * [taylor]: Taking taylor expansion of y in y 11.239 * [backup-simplify]: Simplify 0 into 0 11.239 * [backup-simplify]: Simplify 1 into 1 11.239 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.239 * [taylor]: Taking taylor expansion of z in y 11.239 * [backup-simplify]: Simplify z into z 11.239 * [backup-simplify]: Simplify (* z z) into (pow z 2) 11.239 * [backup-simplify]: Simplify (- (pow z 2)) into (- (pow z 2)) 11.239 * [backup-simplify]: Simplify (+ 0 (- (pow z 2))) into (- (pow z 2)) 11.239 * [taylor]: Taking taylor expansion of (- (pow z 2)) in z 11.239 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.239 * [taylor]: Taking taylor expansion of z in z 11.239 * [backup-simplify]: Simplify 0 into 0 11.239 * [backup-simplify]: Simplify 1 into 1 11.239 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 11.240 * [backup-simplify]: Simplify (- 0) into 0 11.240 * [backup-simplify]: Simplify (+ 0 0) into 0 11.240 * [taylor]: Taking taylor expansion of 0 in z 11.240 * [backup-simplify]: Simplify 0 into 0 11.240 * [backup-simplify]: Simplify 0 into 0 11.241 * [backup-simplify]: Simplify (* 1 1) into 1 11.241 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 11.242 * [backup-simplify]: Simplify (- 0) into 0 11.242 * [backup-simplify]: Simplify (+ 1 0) into 1 11.242 * [taylor]: Taking taylor expansion of 1 in z 11.242 * [backup-simplify]: Simplify 1 into 1 11.242 * [backup-simplify]: Simplify 1 into 1 11.242 * [backup-simplify]: Simplify 0 into 0 11.243 * [backup-simplify]: Simplify (* 1 1) into 1 11.243 * [backup-simplify]: Simplify (- 1) into -1 11.243 * [backup-simplify]: Simplify -1 into -1 11.244 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.245 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 11.245 * [backup-simplify]: Simplify (- 0) into 0 11.245 * [backup-simplify]: Simplify (+ 0 0) into 0 11.245 * [taylor]: Taking taylor expansion of 0 in z 11.245 * [backup-simplify]: Simplify 0 into 0 11.245 * [backup-simplify]: Simplify 0 into 0 11.245 * [backup-simplify]: Simplify 0 into 0 11.245 * [backup-simplify]: Simplify 0 into 0 11.246 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.247 * [backup-simplify]: Simplify (- 0) into 0 11.247 * [backup-simplify]: Simplify 0 into 0 11.248 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.249 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 z))))) into 0 11.249 * [backup-simplify]: Simplify (- 0) into 0 11.249 * [backup-simplify]: Simplify (+ 0 0) into 0 11.250 * [taylor]: Taking taylor expansion of 0 in z 11.250 * [backup-simplify]: Simplify 0 into 0 11.250 * [backup-simplify]: Simplify 0 into 0 11.250 * [backup-simplify]: Simplify 0 into 0 11.250 * [backup-simplify]: Simplify (+ (* -1 (pow (* z 1) 2)) (* 1 (pow (* 1 y) 2))) into (- (pow y 2) (pow z 2)) 11.250 * [backup-simplify]: Simplify (- (* (/ 1 y) (/ 1 y)) (* (/ 1 z) (/ 1 z))) into (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) 11.250 * [approximate]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in (y z) around 0 11.250 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in z 11.250 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 11.250 * [taylor]: Taking taylor expansion of (pow y 2) in z 11.251 * [taylor]: Taking taylor expansion of y in z 11.251 * [backup-simplify]: Simplify y into y 11.251 * [backup-simplify]: Simplify (* y y) into (pow y 2) 11.251 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 11.251 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 11.251 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.251 * [taylor]: Taking taylor expansion of z in z 11.251 * [backup-simplify]: Simplify 0 into 0 11.251 * [backup-simplify]: Simplify 1 into 1 11.251 * [backup-simplify]: Simplify (* 1 1) into 1 11.252 * [backup-simplify]: Simplify (/ 1 1) into 1 11.252 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y 11.252 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.252 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.252 * [taylor]: Taking taylor expansion of y in y 11.252 * [backup-simplify]: Simplify 0 into 0 11.252 * [backup-simplify]: Simplify 1 into 1 11.252 * [backup-simplify]: Simplify (* 1 1) into 1 11.253 * [backup-simplify]: Simplify (/ 1 1) into 1 11.253 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 11.253 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.253 * [taylor]: Taking taylor expansion of z in y 11.253 * [backup-simplify]: Simplify z into z 11.253 * [backup-simplify]: Simplify (* z z) into (pow z 2) 11.253 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 11.253 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y 11.253 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.253 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.253 * [taylor]: Taking taylor expansion of y in y 11.253 * [backup-simplify]: Simplify 0 into 0 11.253 * [backup-simplify]: Simplify 1 into 1 11.254 * [backup-simplify]: Simplify (* 1 1) into 1 11.254 * [backup-simplify]: Simplify (/ 1 1) into 1 11.254 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 11.254 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.254 * [taylor]: Taking taylor expansion of z in y 11.254 * [backup-simplify]: Simplify z into z 11.254 * [backup-simplify]: Simplify (* z z) into (pow z 2) 11.254 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 11.255 * [backup-simplify]: Simplify (+ 1 0) into 1 11.255 * [taylor]: Taking taylor expansion of 1 in z 11.255 * [backup-simplify]: Simplify 1 into 1 11.256 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.256 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.257 * [backup-simplify]: Simplify (+ 0 0) into 0 11.257 * [taylor]: Taking taylor expansion of 0 in z 11.257 * [backup-simplify]: Simplify 0 into 0 11.258 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.259 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.259 * [backup-simplify]: Simplify (- (/ 1 (pow z 2))) into (- (/ 1 (pow z 2))) 11.259 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow z 2)))) into (- (/ 1 (pow z 2))) 11.259 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z 11.259 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 11.259 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.259 * [taylor]: Taking taylor expansion of z in z 11.259 * [backup-simplify]: Simplify 0 into 0 11.259 * [backup-simplify]: Simplify 1 into 1 11.260 * [backup-simplify]: Simplify (* 1 1) into 1 11.260 * [backup-simplify]: Simplify (/ 1 1) into 1 11.260 * [backup-simplify]: Simplify (- 1) into -1 11.261 * [backup-simplify]: Simplify -1 into -1 11.261 * [backup-simplify]: Simplify 1 into 1 11.262 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.263 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.263 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 11.263 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0 11.264 * [backup-simplify]: Simplify (- 0) into 0 11.264 * [backup-simplify]: Simplify (+ 0 0) into 0 11.264 * [taylor]: Taking taylor expansion of 0 in z 11.264 * [backup-simplify]: Simplify 0 into 0 11.265 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.265 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.266 * [backup-simplify]: Simplify (- 0) into 0 11.266 * [backup-simplify]: Simplify 0 into 0 11.266 * [backup-simplify]: Simplify 0 into 0 11.266 * [backup-simplify]: Simplify 0 into 0 11.267 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.268 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.272 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 11.273 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 11.274 * [backup-simplify]: Simplify (- 0) into 0 11.274 * [backup-simplify]: Simplify (+ 0 0) into 0 11.274 * [taylor]: Taking taylor expansion of 0 in z 11.274 * [backup-simplify]: Simplify 0 into 0 11.275 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.276 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.277 * [backup-simplify]: Simplify (- 0) into 0 11.277 * [backup-simplify]: Simplify 0 into 0 11.277 * [backup-simplify]: Simplify 0 into 0 11.277 * [backup-simplify]: Simplify 0 into 0 11.277 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 y))) 2)) (* -1 (pow (* (/ 1 (/ 1 z)) 1) 2))) into (- (pow y 2) (pow z 2)) 11.278 * [backup-simplify]: Simplify (- (* (/ 1 (- y)) (/ 1 (- y))) (* (/ 1 (- z)) (/ 1 (- z)))) into (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) 11.278 * [approximate]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in (y z) around 0 11.278 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in z 11.278 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 11.278 * [taylor]: Taking taylor expansion of (pow y 2) in z 11.278 * [taylor]: Taking taylor expansion of y in z 11.278 * [backup-simplify]: Simplify y into y 11.278 * [backup-simplify]: Simplify (* y y) into (pow y 2) 11.278 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 11.278 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 11.278 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.278 * [taylor]: Taking taylor expansion of z in z 11.278 * [backup-simplify]: Simplify 0 into 0 11.278 * [backup-simplify]: Simplify 1 into 1 11.279 * [backup-simplify]: Simplify (* 1 1) into 1 11.279 * [backup-simplify]: Simplify (/ 1 1) into 1 11.279 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y 11.279 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.279 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.279 * [taylor]: Taking taylor expansion of y in y 11.279 * [backup-simplify]: Simplify 0 into 0 11.279 * [backup-simplify]: Simplify 1 into 1 11.280 * [backup-simplify]: Simplify (* 1 1) into 1 11.280 * [backup-simplify]: Simplify (/ 1 1) into 1 11.280 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 11.280 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.280 * [taylor]: Taking taylor expansion of z in y 11.280 * [backup-simplify]: Simplify z into z 11.280 * [backup-simplify]: Simplify (* z z) into (pow z 2) 11.280 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 11.280 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y 11.280 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.280 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.280 * [taylor]: Taking taylor expansion of y in y 11.280 * [backup-simplify]: Simplify 0 into 0 11.280 * [backup-simplify]: Simplify 1 into 1 11.281 * [backup-simplify]: Simplify (* 1 1) into 1 11.281 * [backup-simplify]: Simplify (/ 1 1) into 1 11.281 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 11.281 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.281 * [taylor]: Taking taylor expansion of z in y 11.281 * [backup-simplify]: Simplify z into z 11.281 * [backup-simplify]: Simplify (* z z) into (pow z 2) 11.281 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 11.281 * [backup-simplify]: Simplify (+ 1 0) into 1 11.281 * [taylor]: Taking taylor expansion of 1 in z 11.281 * [backup-simplify]: Simplify 1 into 1 11.282 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.282 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.283 * [backup-simplify]: Simplify (+ 0 0) into 0 11.283 * [taylor]: Taking taylor expansion of 0 in z 11.283 * [backup-simplify]: Simplify 0 into 0 11.283 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.284 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.284 * [backup-simplify]: Simplify (- (/ 1 (pow z 2))) into (- (/ 1 (pow z 2))) 11.284 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow z 2)))) into (- (/ 1 (pow z 2))) 11.284 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z 11.284 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 11.284 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.284 * [taylor]: Taking taylor expansion of z in z 11.284 * [backup-simplify]: Simplify 0 into 0 11.284 * [backup-simplify]: Simplify 1 into 1 11.284 * [backup-simplify]: Simplify (* 1 1) into 1 11.285 * [backup-simplify]: Simplify (/ 1 1) into 1 11.285 * [backup-simplify]: Simplify (- 1) into -1 11.285 * [backup-simplify]: Simplify -1 into -1 11.285 * [backup-simplify]: Simplify 1 into 1 11.286 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.286 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.286 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 11.287 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0 11.287 * [backup-simplify]: Simplify (- 0) into 0 11.287 * [backup-simplify]: Simplify (+ 0 0) into 0 11.287 * [taylor]: Taking taylor expansion of 0 in z 11.287 * [backup-simplify]: Simplify 0 into 0 11.288 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.288 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.288 * [backup-simplify]: Simplify (- 0) into 0 11.288 * [backup-simplify]: Simplify 0 into 0 11.288 * [backup-simplify]: Simplify 0 into 0 11.288 * [backup-simplify]: Simplify 0 into 0 11.289 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.290 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.290 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 11.290 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 11.290 * [backup-simplify]: Simplify (- 0) into 0 11.291 * [backup-simplify]: Simplify (+ 0 0) into 0 11.291 * [taylor]: Taking taylor expansion of 0 in z 11.291 * [backup-simplify]: Simplify 0 into 0 11.291 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.292 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.292 * [backup-simplify]: Simplify (- 0) into 0 11.292 * [backup-simplify]: Simplify 0 into 0 11.292 * [backup-simplify]: Simplify 0 into 0 11.292 * [backup-simplify]: Simplify 0 into 0 11.292 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- y)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- z))) 1) 2))) into (- (pow y 2) (pow z 2)) 11.292 * * * * [progress]: [ 3 / 3 ] generating series at (2) 11.293 * [backup-simplify]: Simplify (* x (sqrt (- (* y y) (* z z)))) into (* x (sqrt (- (pow y 2) (pow z 2)))) 11.293 * [approximate]: Taking taylor expansion of (* x (sqrt (- (pow y 2) (pow z 2)))) in (x y z) around 0 11.293 * [taylor]: Taking taylor expansion of (* x (sqrt (- (pow y 2) (pow z 2)))) in z 11.293 * [taylor]: Taking taylor expansion of x in z 11.293 * [backup-simplify]: Simplify x into x 11.293 * [taylor]: Taking taylor expansion of (sqrt (- (pow y 2) (pow z 2))) in z 11.293 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in z 11.293 * [taylor]: Taking taylor expansion of (pow y 2) in z 11.293 * [taylor]: Taking taylor expansion of y in z 11.293 * [backup-simplify]: Simplify y into y 11.293 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.293 * [taylor]: Taking taylor expansion of z in z 11.293 * [backup-simplify]: Simplify 0 into 0 11.293 * [backup-simplify]: Simplify 1 into 1 11.293 * [backup-simplify]: Simplify (* y y) into (pow y 2) 11.293 * [backup-simplify]: Simplify (+ (pow y 2) 0) into (pow y 2) 11.293 * [backup-simplify]: Simplify (sqrt (pow y 2)) into y 11.293 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 11.293 * [backup-simplify]: Simplify (+ 0 0) into 0 11.293 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow y 2)))) into 0 11.293 * [taylor]: Taking taylor expansion of (* x (sqrt (- (pow y 2) (pow z 2)))) in y 11.293 * [taylor]: Taking taylor expansion of x in y 11.293 * [backup-simplify]: Simplify x into x 11.293 * [taylor]: Taking taylor expansion of (sqrt (- (pow y 2) (pow z 2))) in y 11.294 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in y 11.294 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.294 * [taylor]: Taking taylor expansion of y in y 11.294 * [backup-simplify]: Simplify 0 into 0 11.294 * [backup-simplify]: Simplify 1 into 1 11.294 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.294 * [taylor]: Taking taylor expansion of z in y 11.294 * [backup-simplify]: Simplify z into z 11.294 * [backup-simplify]: Simplify (* z z) into (pow z 2) 11.294 * [backup-simplify]: Simplify (- (pow z 2)) into (- (pow z 2)) 11.294 * [backup-simplify]: Simplify (+ 0 (- (pow z 2))) into (- (pow z 2)) 11.294 * [backup-simplify]: Simplify (sqrt (- (pow z 2))) into (sqrt (- (pow z 2))) 11.294 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 11.294 * [backup-simplify]: Simplify (- 0) into 0 11.294 * [backup-simplify]: Simplify (+ 0 0) into 0 11.295 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- (pow z 2))))) into 0 11.295 * [taylor]: Taking taylor expansion of (* x (sqrt (- (pow y 2) (pow z 2)))) in x 11.295 * [taylor]: Taking taylor expansion of x in x 11.295 * [backup-simplify]: Simplify 0 into 0 11.295 * [backup-simplify]: Simplify 1 into 1 11.295 * [taylor]: Taking taylor expansion of (sqrt (- (pow y 2) (pow z 2))) in x 11.295 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in x 11.295 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.295 * [taylor]: Taking taylor expansion of y in x 11.295 * [backup-simplify]: Simplify y into y 11.295 * [taylor]: Taking taylor expansion of (pow z 2) in x 11.295 * [taylor]: Taking taylor expansion of z in x 11.295 * [backup-simplify]: Simplify z into z 11.295 * [backup-simplify]: Simplify (* y y) into (pow y 2) 11.295 * [backup-simplify]: Simplify (* z z) into (pow z 2) 11.295 * [backup-simplify]: Simplify (- (pow z 2)) into (- (pow z 2)) 11.295 * [backup-simplify]: Simplify (+ (pow y 2) (- (pow z 2))) into (- (pow y 2) (pow z 2)) 11.295 * [backup-simplify]: Simplify (sqrt (- (pow y 2) (pow z 2))) into (sqrt (- (pow y 2) (pow z 2))) 11.295 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 11.295 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 11.296 * [backup-simplify]: Simplify (- 0) into 0 11.296 * [backup-simplify]: Simplify (+ 0 0) into 0 11.296 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- (pow y 2) (pow z 2))))) into 0 11.296 * [taylor]: Taking taylor expansion of (* x (sqrt (- (pow y 2) (pow z 2)))) in x 11.296 * [taylor]: Taking taylor expansion of x in x 11.296 * [backup-simplify]: Simplify 0 into 0 11.296 * [backup-simplify]: Simplify 1 into 1 11.296 * [taylor]: Taking taylor expansion of (sqrt (- (pow y 2) (pow z 2))) in x 11.296 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in x 11.296 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.296 * [taylor]: Taking taylor expansion of y in x 11.296 * [backup-simplify]: Simplify y into y 11.296 * [taylor]: Taking taylor expansion of (pow z 2) in x 11.296 * [taylor]: Taking taylor expansion of z in x 11.296 * [backup-simplify]: Simplify z into z 11.296 * [backup-simplify]: Simplify (* y y) into (pow y 2) 11.296 * [backup-simplify]: Simplify (* z z) into (pow z 2) 11.296 * [backup-simplify]: Simplify (- (pow z 2)) into (- (pow z 2)) 11.297 * [backup-simplify]: Simplify (+ (pow y 2) (- (pow z 2))) into (- (pow y 2) (pow z 2)) 11.297 * [backup-simplify]: Simplify (sqrt (- (pow y 2) (pow z 2))) into (sqrt (- (pow y 2) (pow z 2))) 11.297 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 11.297 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 11.297 * [backup-simplify]: Simplify (- 0) into 0 11.297 * [backup-simplify]: Simplify (+ 0 0) into 0 11.298 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- (pow y 2) (pow z 2))))) into 0 11.298 * [backup-simplify]: Simplify (* 0 (sqrt (- (pow y 2) (pow z 2)))) into 0 11.298 * [taylor]: Taking taylor expansion of 0 in y 11.298 * [backup-simplify]: Simplify 0 into 0 11.298 * [taylor]: Taking taylor expansion of 0 in z 11.298 * [backup-simplify]: Simplify 0 into 0 11.298 * [backup-simplify]: Simplify 0 into 0 11.298 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt (- (pow y 2) (pow z 2))))) into (sqrt (- (pow y 2) (pow z 2))) 11.298 * [taylor]: Taking taylor expansion of (sqrt (- (pow y 2) (pow z 2))) in y 11.298 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in y 11.298 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.298 * [taylor]: Taking taylor expansion of y in y 11.298 * [backup-simplify]: Simplify 0 into 0 11.298 * [backup-simplify]: Simplify 1 into 1 11.298 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.298 * [taylor]: Taking taylor expansion of z in y 11.298 * [backup-simplify]: Simplify z into z 11.298 * [backup-simplify]: Simplify (* z z) into (pow z 2) 11.299 * [backup-simplify]: Simplify (- (pow z 2)) into (- (pow z 2)) 11.299 * [backup-simplify]: Simplify (+ 0 (- (pow z 2))) into (- (pow z 2)) 11.299 * [backup-simplify]: Simplify (sqrt (- (pow z 2))) into (sqrt (- (pow z 2))) 11.299 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 11.299 * [backup-simplify]: Simplify (- 0) into 0 11.299 * [backup-simplify]: Simplify (+ 0 0) into 0 11.299 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- (pow z 2))))) into 0 11.299 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2))) in z 11.299 * [taylor]: Taking taylor expansion of (- (pow z 2)) in z 11.300 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.300 * [taylor]: Taking taylor expansion of z in z 11.300 * [backup-simplify]: Simplify 0 into 0 11.300 * [backup-simplify]: Simplify 1 into 1 11.300 * [backup-simplify]: Simplify (* 1 1) into 1 11.300 * [backup-simplify]: Simplify (- 1) into -1 11.300 * [backup-simplify]: Simplify (- 1) into -1 11.301 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 11.301 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.301 * [backup-simplify]: Simplify (- 0) into 0 11.301 * [backup-simplify]: Simplify (- 1) into -1 11.302 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 11.302 * [taylor]: Taking taylor expansion of 0 in z 11.302 * [backup-simplify]: Simplify 0 into 0 11.302 * [backup-simplify]: Simplify 0 into 0 11.302 * [backup-simplify]: Simplify 0 into 0 11.302 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 11.303 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 11.303 * [backup-simplify]: Simplify (- 0) into 0 11.303 * [backup-simplify]: Simplify (+ 0 0) into 0 11.304 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (- (pow y 2) (pow z 2))))) into 0 11.304 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt (- (pow y 2) (pow z 2)))))) into 0 11.304 * [taylor]: Taking taylor expansion of 0 in y 11.304 * [backup-simplify]: Simplify 0 into 0 11.304 * [taylor]: Taking taylor expansion of 0 in z 11.304 * [backup-simplify]: Simplify 0 into 0 11.304 * [backup-simplify]: Simplify 0 into 0 11.304 * [taylor]: Taking taylor expansion of 0 in z 11.304 * [backup-simplify]: Simplify 0 into 0 11.304 * [backup-simplify]: Simplify 0 into 0 11.305 * [taylor]: Taking taylor expansion of 0 in z 11.305 * [backup-simplify]: Simplify 0 into 0 11.305 * [backup-simplify]: Simplify 0 into 0 11.305 * [backup-simplify]: Simplify 0 into 0 11.305 * [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))))) 11.305 * [approximate]: Taking taylor expansion of (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) in (x y z) around 0 11.305 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) in z 11.305 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.305 * [taylor]: Taking taylor expansion of x in z 11.305 * [backup-simplify]: Simplify x into x 11.305 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.305 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in z 11.305 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in z 11.305 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 11.305 * [taylor]: Taking taylor expansion of (pow y 2) in z 11.305 * [taylor]: Taking taylor expansion of y in z 11.305 * [backup-simplify]: Simplify y into y 11.305 * [backup-simplify]: Simplify (* y y) into (pow y 2) 11.305 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 11.305 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 11.305 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.305 * [taylor]: Taking taylor expansion of z in z 11.305 * [backup-simplify]: Simplify 0 into 0 11.305 * [backup-simplify]: Simplify 1 into 1 11.305 * [backup-simplify]: Simplify (* 1 1) into 1 11.306 * [backup-simplify]: Simplify (/ 1 1) into 1 11.306 * [backup-simplify]: Simplify (- 1) into -1 11.306 * [backup-simplify]: Simplify (+ 0 -1) into -1 11.306 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 11.307 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.307 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.308 * [backup-simplify]: Simplify (- 0) into 0 11.308 * [backup-simplify]: Simplify (+ 0 0) into 0 11.308 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 11.308 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) in y 11.308 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.308 * [taylor]: Taking taylor expansion of x in y 11.308 * [backup-simplify]: Simplify x into x 11.308 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.308 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in y 11.308 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y 11.308 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.308 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.308 * [taylor]: Taking taylor expansion of y in y 11.308 * [backup-simplify]: Simplify 0 into 0 11.308 * [backup-simplify]: Simplify 1 into 1 11.309 * [backup-simplify]: Simplify (* 1 1) into 1 11.309 * [backup-simplify]: Simplify (/ 1 1) into 1 11.309 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 11.309 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.309 * [taylor]: Taking taylor expansion of z in y 11.309 * [backup-simplify]: Simplify z into z 11.309 * [backup-simplify]: Simplify (* z z) into (pow z 2) 11.309 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 11.309 * [backup-simplify]: Simplify (+ 1 0) into 1 11.310 * [backup-simplify]: Simplify (sqrt 1) into 1 11.310 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.311 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.311 * [backup-simplify]: Simplify (+ 0 0) into 0 11.311 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 11.311 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) in x 11.311 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.311 * [taylor]: Taking taylor expansion of x in x 11.311 * [backup-simplify]: Simplify 0 into 0 11.311 * [backup-simplify]: Simplify 1 into 1 11.312 * [backup-simplify]: Simplify (/ 1 1) into 1 11.312 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in x 11.312 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in x 11.312 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 11.312 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.312 * [taylor]: Taking taylor expansion of y in x 11.312 * [backup-simplify]: Simplify y into y 11.312 * [backup-simplify]: Simplify (* y y) into (pow y 2) 11.312 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 11.312 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 11.312 * [taylor]: Taking taylor expansion of (pow z 2) in x 11.312 * [taylor]: Taking taylor expansion of z in x 11.312 * [backup-simplify]: Simplify z into z 11.312 * [backup-simplify]: Simplify (* z z) into (pow z 2) 11.312 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 11.312 * [backup-simplify]: Simplify (- (/ 1 (pow z 2))) into (- (/ 1 (pow z 2))) 11.312 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) (- (/ 1 (pow z 2)))) into (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) 11.312 * [backup-simplify]: Simplify (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) into (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) 11.313 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 11.313 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 11.313 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 11.313 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0 11.313 * [backup-simplify]: Simplify (- 0) into 0 11.313 * [backup-simplify]: Simplify (+ 0 0) into 0 11.314 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) into 0 11.314 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) in x 11.314 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.314 * [taylor]: Taking taylor expansion of x in x 11.314 * [backup-simplify]: Simplify 0 into 0 11.314 * [backup-simplify]: Simplify 1 into 1 11.314 * [backup-simplify]: Simplify (/ 1 1) into 1 11.314 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in x 11.314 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in x 11.314 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 11.314 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.314 * [taylor]: Taking taylor expansion of y in x 11.314 * [backup-simplify]: Simplify y into y 11.314 * [backup-simplify]: Simplify (* y y) into (pow y 2) 11.314 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 11.314 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 11.314 * [taylor]: Taking taylor expansion of (pow z 2) in x 11.314 * [taylor]: Taking taylor expansion of z in x 11.314 * [backup-simplify]: Simplify z into z 11.314 * [backup-simplify]: Simplify (* z z) into (pow z 2) 11.314 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 11.315 * [backup-simplify]: Simplify (- (/ 1 (pow z 2))) into (- (/ 1 (pow z 2))) 11.315 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) (- (/ 1 (pow z 2)))) into (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) 11.315 * [backup-simplify]: Simplify (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) into (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) 11.315 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 11.315 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 11.315 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 11.316 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0 11.316 * [backup-simplify]: Simplify (- 0) into 0 11.316 * [backup-simplify]: Simplify (+ 0 0) into 0 11.316 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) into 0 11.316 * [backup-simplify]: Simplify (* 1 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) into (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) 11.316 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in y 11.317 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y 11.317 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.317 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.317 * [taylor]: Taking taylor expansion of y in y 11.317 * [backup-simplify]: Simplify 0 into 0 11.317 * [backup-simplify]: Simplify 1 into 1 11.317 * [backup-simplify]: Simplify (* 1 1) into 1 11.317 * [backup-simplify]: Simplify (/ 1 1) into 1 11.317 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 11.317 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.317 * [taylor]: Taking taylor expansion of z in y 11.317 * [backup-simplify]: Simplify z into z 11.317 * [backup-simplify]: Simplify (* z z) into (pow z 2) 11.317 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 11.318 * [backup-simplify]: Simplify (+ 1 0) into 1 11.318 * [backup-simplify]: Simplify (sqrt 1) into 1 11.318 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.319 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.319 * [backup-simplify]: Simplify (+ 0 0) into 0 11.319 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 11.319 * [taylor]: Taking taylor expansion of 1 in z 11.319 * [backup-simplify]: Simplify 1 into 1 11.320 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.320 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) into 0 11.320 * [taylor]: Taking taylor expansion of 0 in y 11.320 * [backup-simplify]: Simplify 0 into 0 11.320 * [taylor]: Taking taylor expansion of 0 in z 11.320 * [backup-simplify]: Simplify 0 into 0 11.320 * [backup-simplify]: Simplify 1 into 1 11.321 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 11.321 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 11.321 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 11.322 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 11.322 * [backup-simplify]: Simplify (- 0) into 0 11.322 * [backup-simplify]: Simplify (+ 0 0) into 0 11.323 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) into 0 11.323 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.324 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))))) into 0 11.324 * [taylor]: Taking taylor expansion of 0 in y 11.324 * [backup-simplify]: Simplify 0 into 0 11.324 * [taylor]: Taking taylor expansion of 0 in z 11.324 * [backup-simplify]: Simplify 0 into 0 11.324 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.325 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.325 * [backup-simplify]: Simplify (- (/ 1 (pow z 2))) into (- (/ 1 (pow z 2))) 11.325 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow z 2)))) into (- (/ 1 (pow z 2))) 11.326 * [backup-simplify]: Simplify (/ (- (- (/ 1 (pow z 2))) (pow 0 2) (+)) (* 2 1)) into (/ -1/2 (pow z 2)) 11.326 * [taylor]: Taking taylor expansion of (/ -1/2 (pow z 2)) in z 11.326 * [taylor]: Taking taylor expansion of -1/2 in z 11.326 * [backup-simplify]: Simplify -1/2 into -1/2 11.326 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.326 * [taylor]: Taking taylor expansion of z in z 11.326 * [backup-simplify]: Simplify 0 into 0 11.326 * [backup-simplify]: Simplify 1 into 1 11.326 * [backup-simplify]: Simplify (* 1 1) into 1 11.327 * [backup-simplify]: Simplify (/ -1/2 1) into -1/2 11.327 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.328 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)))) into 0 11.328 * [backup-simplify]: Simplify 0 into 0 11.328 * [backup-simplify]: Simplify 0 into 0 11.328 * [backup-simplify]: Simplify 0 into 0 11.328 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 11.329 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 11.329 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 11.329 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 11.330 * [backup-simplify]: Simplify (- 0) into 0 11.330 * [backup-simplify]: Simplify (+ 0 0) into 0 11.331 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) into 0 11.331 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.332 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))))) into 0 11.332 * [taylor]: Taking taylor expansion of 0 in y 11.332 * [backup-simplify]: Simplify 0 into 0 11.332 * [taylor]: Taking taylor expansion of 0 in z 11.332 * [backup-simplify]: Simplify 0 into 0 11.332 * [taylor]: Taking taylor expansion of 0 in z 11.332 * [backup-simplify]: Simplify 0 into 0 11.333 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.333 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.333 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 11.333 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0 11.334 * [backup-simplify]: Simplify (- 0) into 0 11.334 * [backup-simplify]: Simplify (+ 0 0) into 0 11.334 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ -1/2 (pow z 2)))))) (* 2 1)) into 0 11.334 * [taylor]: Taking taylor expansion of 0 in z 11.334 * [backup-simplify]: Simplify 0 into 0 11.334 * [backup-simplify]: Simplify 0 into 0 11.335 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.336 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.336 * [backup-simplify]: Simplify 0 into 0 11.336 * [backup-simplify]: Simplify 0 into 0 11.336 * [backup-simplify]: Simplify (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (* x y) 11.336 * [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)))))) 11.336 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) in (x y z) around 0 11.336 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) in z 11.336 * [taylor]: Taking taylor expansion of -1 in z 11.336 * [backup-simplify]: Simplify -1 into -1 11.336 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) in z 11.336 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.336 * [taylor]: Taking taylor expansion of x in z 11.336 * [backup-simplify]: Simplify x into x 11.336 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.336 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in z 11.336 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in z 11.336 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 11.336 * [taylor]: Taking taylor expansion of (pow y 2) in z 11.336 * [taylor]: Taking taylor expansion of y in z 11.336 * [backup-simplify]: Simplify y into y 11.336 * [backup-simplify]: Simplify (* y y) into (pow y 2) 11.337 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 11.337 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 11.337 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.337 * [taylor]: Taking taylor expansion of z in z 11.337 * [backup-simplify]: Simplify 0 into 0 11.337 * [backup-simplify]: Simplify 1 into 1 11.337 * [backup-simplify]: Simplify (* 1 1) into 1 11.337 * [backup-simplify]: Simplify (/ 1 1) into 1 11.337 * [backup-simplify]: Simplify (- 1) into -1 11.338 * [backup-simplify]: Simplify (+ 0 -1) into -1 11.338 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 11.338 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.339 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.339 * [backup-simplify]: Simplify (- 0) into 0 11.339 * [backup-simplify]: Simplify (+ 0 0) into 0 11.340 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 11.340 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) in y 11.340 * [taylor]: Taking taylor expansion of -1 in y 11.340 * [backup-simplify]: Simplify -1 into -1 11.340 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) in y 11.340 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.340 * [taylor]: Taking taylor expansion of x in y 11.340 * [backup-simplify]: Simplify x into x 11.340 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.340 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in y 11.340 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y 11.340 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.340 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.340 * [taylor]: Taking taylor expansion of y in y 11.340 * [backup-simplify]: Simplify 0 into 0 11.340 * [backup-simplify]: Simplify 1 into 1 11.341 * [backup-simplify]: Simplify (* 1 1) into 1 11.341 * [backup-simplify]: Simplify (/ 1 1) into 1 11.341 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 11.341 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.341 * [taylor]: Taking taylor expansion of z in y 11.341 * [backup-simplify]: Simplify z into z 11.341 * [backup-simplify]: Simplify (* z z) into (pow z 2) 11.341 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 11.342 * [backup-simplify]: Simplify (+ 1 0) into 1 11.342 * [backup-simplify]: Simplify (sqrt 1) into 1 11.343 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.344 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.344 * [backup-simplify]: Simplify (+ 0 0) into 0 11.345 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 11.345 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) in x 11.345 * [taylor]: Taking taylor expansion of -1 in x 11.345 * [backup-simplify]: Simplify -1 into -1 11.345 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) in x 11.345 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.345 * [taylor]: Taking taylor expansion of x in x 11.345 * [backup-simplify]: Simplify 0 into 0 11.345 * [backup-simplify]: Simplify 1 into 1 11.345 * [backup-simplify]: Simplify (/ 1 1) into 1 11.345 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in x 11.345 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in x 11.345 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 11.345 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.345 * [taylor]: Taking taylor expansion of y in x 11.346 * [backup-simplify]: Simplify y into y 11.346 * [backup-simplify]: Simplify (* y y) into (pow y 2) 11.346 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 11.346 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 11.346 * [taylor]: Taking taylor expansion of (pow z 2) in x 11.346 * [taylor]: Taking taylor expansion of z in x 11.346 * [backup-simplify]: Simplify z into z 11.346 * [backup-simplify]: Simplify (* z z) into (pow z 2) 11.346 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 11.346 * [backup-simplify]: Simplify (- (/ 1 (pow z 2))) into (- (/ 1 (pow z 2))) 11.347 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) (- (/ 1 (pow z 2)))) into (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) 11.347 * [backup-simplify]: Simplify (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) into (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) 11.347 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 11.347 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 11.347 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 11.348 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0 11.348 * [backup-simplify]: Simplify (- 0) into 0 11.349 * [backup-simplify]: Simplify (+ 0 0) into 0 11.349 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) into 0 11.349 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) in x 11.349 * [taylor]: Taking taylor expansion of -1 in x 11.349 * [backup-simplify]: Simplify -1 into -1 11.349 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) in x 11.349 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.349 * [taylor]: Taking taylor expansion of x in x 11.349 * [backup-simplify]: Simplify 0 into 0 11.349 * [backup-simplify]: Simplify 1 into 1 11.350 * [backup-simplify]: Simplify (/ 1 1) into 1 11.350 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in x 11.350 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in x 11.350 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 11.350 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.350 * [taylor]: Taking taylor expansion of y in x 11.350 * [backup-simplify]: Simplify y into y 11.350 * [backup-simplify]: Simplify (* y y) into (pow y 2) 11.350 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 11.350 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 11.350 * [taylor]: Taking taylor expansion of (pow z 2) in x 11.350 * [taylor]: Taking taylor expansion of z in x 11.350 * [backup-simplify]: Simplify z into z 11.350 * [backup-simplify]: Simplify (* z z) into (pow z 2) 11.350 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 11.350 * [backup-simplify]: Simplify (- (/ 1 (pow z 2))) into (- (/ 1 (pow z 2))) 11.351 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) (- (/ 1 (pow z 2)))) into (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) 11.351 * [backup-simplify]: Simplify (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) into (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) 11.351 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 11.351 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 11.352 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 11.352 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0 11.352 * [backup-simplify]: Simplify (- 0) into 0 11.353 * [backup-simplify]: Simplify (+ 0 0) into 0 11.353 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) into 0 11.353 * [backup-simplify]: Simplify (* 1 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) into (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) 11.354 * [backup-simplify]: Simplify (* -1 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) into (* -1 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) 11.354 * [taylor]: Taking taylor expansion of (* -1 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) in y 11.354 * [taylor]: Taking taylor expansion of -1 in y 11.354 * [backup-simplify]: Simplify -1 into -1 11.354 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in y 11.354 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y 11.354 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.354 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.354 * [taylor]: Taking taylor expansion of y in y 11.354 * [backup-simplify]: Simplify 0 into 0 11.354 * [backup-simplify]: Simplify 1 into 1 11.354 * [backup-simplify]: Simplify (* 1 1) into 1 11.355 * [backup-simplify]: Simplify (/ 1 1) into 1 11.355 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 11.355 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.355 * [taylor]: Taking taylor expansion of z in y 11.355 * [backup-simplify]: Simplify z into z 11.355 * [backup-simplify]: Simplify (* z z) into (pow z 2) 11.355 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 11.356 * [backup-simplify]: Simplify (+ 1 0) into 1 11.356 * [backup-simplify]: Simplify (sqrt 1) into 1 11.357 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.357 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.358 * [backup-simplify]: Simplify (+ 0 0) into 0 11.359 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 11.359 * [backup-simplify]: Simplify (* -1 1) into -1 11.359 * [taylor]: Taking taylor expansion of -1 in z 11.359 * [backup-simplify]: Simplify -1 into -1 11.360 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.361 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) into 0 11.361 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) into 0 11.362 * [taylor]: Taking taylor expansion of 0 in y 11.362 * [backup-simplify]: Simplify 0 into 0 11.362 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0 11.362 * [taylor]: Taking taylor expansion of 0 in z 11.362 * [backup-simplify]: Simplify 0 into 0 11.363 * [backup-simplify]: Simplify -1 into -1 11.363 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 11.364 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 11.364 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 11.365 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 11.365 * [backup-simplify]: Simplify (- 0) into 0 11.365 * [backup-simplify]: Simplify (+ 0 0) into 0 11.366 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) into 0 11.367 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.369 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))))) into 0 11.370 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))))) into 0 11.370 * [taylor]: Taking taylor expansion of 0 in y 11.370 * [backup-simplify]: Simplify 0 into 0 11.370 * [taylor]: Taking taylor expansion of 0 in z 11.370 * [backup-simplify]: Simplify 0 into 0 11.371 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.372 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.372 * [backup-simplify]: Simplify (- (/ 1 (pow z 2))) into (- (/ 1 (pow z 2))) 11.372 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow z 2)))) into (- (/ 1 (pow z 2))) 11.373 * [backup-simplify]: Simplify (/ (- (- (/ 1 (pow z 2))) (pow 0 2) (+)) (* 2 1)) into (/ -1/2 (pow z 2)) 11.374 * [backup-simplify]: Simplify (+ (* -1 (/ -1/2 (pow z 2))) (+ (* 0 0) (* 0 1))) into (* 1/2 (/ 1 (pow z 2))) 11.374 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow z 2))) in z 11.374 * [taylor]: Taking taylor expansion of 1/2 in z 11.374 * [backup-simplify]: Simplify 1/2 into 1/2 11.374 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 11.374 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.374 * [taylor]: Taking taylor expansion of z in z 11.375 * [backup-simplify]: Simplify 0 into 0 11.375 * [backup-simplify]: Simplify 1 into 1 11.375 * [backup-simplify]: Simplify (* 1 1) into 1 11.375 * [backup-simplify]: Simplify (/ 1 1) into 1 11.376 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.377 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.377 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 11.377 * [backup-simplify]: Simplify 0 into 0 11.377 * [backup-simplify]: Simplify 0 into 0 11.377 * [backup-simplify]: Simplify 0 into 0 11.378 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 11.379 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 11.380 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 11.380 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 11.381 * [backup-simplify]: Simplify (- 0) into 0 11.381 * [backup-simplify]: Simplify (+ 0 0) into 0 11.382 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) into 0 11.383 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.384 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))))) into 0 11.386 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))))) into 0 11.386 * [taylor]: Taking taylor expansion of 0 in y 11.386 * [backup-simplify]: Simplify 0 into 0 11.386 * [taylor]: Taking taylor expansion of 0 in z 11.386 * [backup-simplify]: Simplify 0 into 0 11.386 * [taylor]: Taking taylor expansion of 0 in z 11.386 * [backup-simplify]: Simplify 0 into 0 11.387 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.388 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.388 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 11.389 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0 11.389 * [backup-simplify]: Simplify (- 0) into 0 11.390 * [backup-simplify]: Simplify (+ 0 0) into 0 11.390 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ -1/2 (pow z 2)))))) (* 2 1)) into 0 11.393 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ -1/2 (pow z 2))) (+ (* 0 0) (* 0 1)))) into 0 11.393 * [taylor]: Taking taylor expansion of 0 in z 11.393 * [backup-simplify]: Simplify 0 into 0 11.393 * [backup-simplify]: Simplify 0 into 0 11.394 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.395 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.396 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0 11.396 * [backup-simplify]: Simplify 0 into 0 11.396 * [backup-simplify]: Simplify 0 into 0 11.397 * [backup-simplify]: Simplify (* -1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (* -1 (* x y)) 11.397 * * * [progress]: simplifying candidates 11.398 * [simplify]: Simplifying: (expm1 (sqrt (- (* y y) (* z z)))) (log1p (sqrt (- (* y y) (* z z)))) (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)))) (fma y y (- (* z z))) (fma (- z) z (* z z)) (expm1 (- (* y y) (* z z))) (log1p (- (* y y) (* z z))) (- (* 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)) (expm1 (* x (sqrt (- (* y y) (* z z))))) (log1p (* x (sqrt (- (* y y) (* 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)) 11.400 * * [simplify]: Extracting # 0 : cost 65 inf + 0 11.401 * * [simplify]: Extracting # 1 : cost 89 inf + 2 11.401 * * [simplify]: Extracting # 2 : cost 67 inf + 2101 11.402 * * [simplify]: Extracting # 3 : cost 40 inf + 5577 11.405 * * [simplify]: Extracting # 4 : cost 6 inf + 14681 11.408 * * [simplify]: Extracting # 5 : cost 0 inf + 17010 11.410 * * [simplify]: iteration 0 : 94 enodes (cost 17716 ) 11.454 * * [simplify]: Extracting # 0 : cost 0 inf + 17010 11.459 * * [simplify]: Extracting # 1 : cost 30 inf + 15617 11.463 * * [simplify]: Extracting # 2 : cost 5 inf + 18772 11.468 * * [simplify]: Extracting # 3 : cost 4 inf + 18171 11.473 * * [simplify]: Extracting # 4 : cost 0 inf + 19179