5.119 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.048 * * * [progress]: [2/2] Setting up program. 0.056 * [progress]: [Phase 2 of 3] Improving. 0.056 * [simplify]: Simplifying: (* (/ 1.0 2.0) (+ x (* y (sqrt z)))) 0.056 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.056 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.056 * * [simplify]: Extracting # 2 : cost 7 inf + 0 0.056 * * [simplify]: Extracting # 3 : cost 6 inf + 3 0.056 * * [simplify]: Extracting # 4 : cost 5 inf + 46 0.056 * * [simplify]: Extracting # 5 : cost 0 inf + 498 0.057 * * [simplify]: iteration 0 : 10 enodes (cost 205 ) 0.060 * * [simplify]: Extracting # 0 : cost 0 inf + 498 0.060 * * [simplify]: Extracting # 1 : cost 5 inf + 498 0.073 * * [simplify]: Extracting # 2 : cost 0 inf + 1156 0.074 * * [simplify]: iteration 1 : 21 enodes (cost 205 ) 0.081 * * [simplify]: Extracting # 0 : cost 0 inf + 1156 0.082 * * [simplify]: Extracting # 1 : cost 9 inf + 1081 0.082 * * [simplify]: Extracting # 2 : cost 0 inf + 1962 0.084 * * [simplify]: iteration 2 : 51 enodes (cost 180 ) 0.100 * * [simplify]: Extracting # 0 : cost 0 inf + 1962 0.101 * * [simplify]: Extracting # 1 : cost 7 inf + 1962 0.102 * * [simplify]: Extracting # 2 : cost 0 inf + 2417 0.103 * * [simplify]: iteration 3 : 80 enodes (cost 180 ) 0.120 * * [simplify]: Extracting # 0 : cost 0 inf + 2417 0.121 * * [simplify]: Extracting # 1 : cost 4 inf + 2417 0.122 * * [simplify]: Extracting # 2 : cost 0 inf + 2706 0.123 * * [simplify]: iteration 4 : 101 enodes (cost 180 ) 0.138 * * [simplify]: Extracting # 0 : cost 0 inf + 2706 0.139 * * [simplify]: Extracting # 1 : cost 9 inf + 2706 0.140 * * [simplify]: Extracting # 2 : cost 0 inf + 3789 0.142 * * [simplify]: iteration 5 : 126 enodes (cost 180 ) 0.161 * * [simplify]: Extracting # 0 : cost 0 inf + 3789 0.163 * * [simplify]: Extracting # 1 : cost 3 inf + 3789 0.164 * * [simplify]: Extracting # 2 : cost 0 inf + 4118 0.165 * * [simplify]: iteration 6 : 140 enodes (cost 180 ) 0.188 * * [simplify]: Extracting # 0 : cost 0 inf + 4118 0.190 * * [simplify]: Extracting # 1 : cost 2 inf + 4068 0.191 * * [simplify]: Extracting # 2 : cost 0 inf + 4274 0.193 * * [simplify]: iteration 7 : 167 enodes (cost 180 ) 0.218 * * [simplify]: Extracting # 0 : cost 0 inf + 4274 0.220 * * [simplify]: iteration 8 : 173 enodes (cost 180 ) 0.236 * * [simplify]: Extracting # 0 : cost 0 inf + 4274 0.238 * * [simplify]: iteration complete: 173 enodes (cost 180 ) 0.238 * [simplify]: Simplified to: (/ (* 1.0 (fma y (sqrt z) x)) 2.0) 0.244 * * [progress]: iteration 1 / 4 0.244 * * * [progress]: picking best candidate 0.248 * * * * [pick]: Picked # 0.248 * * * [progress]: localizing error 0.260 * * * [progress]: generating rewritten candidates 0.260 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2) 0.267 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.278 * * * [progress]: generating series expansions 0.278 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2) 0.278 * [backup-simplify]: Simplify (* y (sqrt z)) into (* (sqrt z) y) 0.278 * [approximate]: Taking taylor expansion of (* (sqrt z) y) in (y z) around 0 0.278 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in z 0.278 * [taylor]: Taking taylor expansion of (sqrt z) in z 0.278 * [taylor]: Taking taylor expansion of z in z 0.278 * [backup-simplify]: Simplify 0 into 0 0.278 * [backup-simplify]: Simplify 1 into 1 0.278 * [backup-simplify]: Simplify (sqrt 0) into 0 0.280 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 0.280 * [taylor]: Taking taylor expansion of y in z 0.280 * [backup-simplify]: Simplify y into y 0.280 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 0.280 * [taylor]: Taking taylor expansion of (sqrt z) in y 0.280 * [taylor]: Taking taylor expansion of z in y 0.280 * [backup-simplify]: Simplify z into z 0.280 * [backup-simplify]: Simplify (sqrt z) into (sqrt z) 0.280 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt z))) into 0 0.280 * [taylor]: Taking taylor expansion of y in y 0.280 * [backup-simplify]: Simplify 0 into 0 0.280 * [backup-simplify]: Simplify 1 into 1 0.280 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 0.280 * [taylor]: Taking taylor expansion of (sqrt z) in y 0.280 * [taylor]: Taking taylor expansion of z in y 0.280 * [backup-simplify]: Simplify z into z 0.280 * [backup-simplify]: Simplify (sqrt z) into (sqrt z) 0.280 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt z))) into 0 0.280 * [taylor]: Taking taylor expansion of y in y 0.280 * [backup-simplify]: Simplify 0 into 0 0.280 * [backup-simplify]: Simplify 1 into 1 0.281 * [backup-simplify]: Simplify (* (sqrt z) 0) into 0 0.281 * [taylor]: Taking taylor expansion of 0 in z 0.281 * [backup-simplify]: Simplify 0 into 0 0.281 * [backup-simplify]: Simplify 0 into 0 0.281 * [backup-simplify]: Simplify (+ (* (sqrt z) 1) (* 0 0)) into (sqrt z) 0.281 * [taylor]: Taking taylor expansion of (sqrt z) in z 0.281 * [taylor]: Taking taylor expansion of z in z 0.281 * [backup-simplify]: Simplify 0 into 0 0.281 * [backup-simplify]: Simplify 1 into 1 0.281 * [backup-simplify]: Simplify (sqrt 0) into 0 0.283 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 0.283 * [backup-simplify]: Simplify 0 into 0 0.283 * [backup-simplify]: Simplify 0 into 0 0.283 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt z))) into 0 0.284 * [backup-simplify]: Simplify (+ (* (sqrt z) 0) (+ (* 0 1) (* 0 0))) into 0 0.284 * [taylor]: Taking taylor expansion of 0 in z 0.284 * [backup-simplify]: Simplify 0 into 0 0.284 * [backup-simplify]: Simplify 0 into 0 0.284 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.284 * [backup-simplify]: Simplify 0 into 0 0.285 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt z))) into 0 0.285 * [backup-simplify]: Simplify (+ (* (sqrt z) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.285 * [taylor]: Taking taylor expansion of 0 in z 0.285 * [backup-simplify]: Simplify 0 into 0 0.285 * [backup-simplify]: Simplify 0 into 0 0.286 * [backup-simplify]: Simplify 0 into 0 0.288 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 0.288 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.288 * [backup-simplify]: Simplify 0 into 0 0.289 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt z))) into 0 0.290 * [backup-simplify]: Simplify (+ (* (sqrt z) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 0.290 * [taylor]: Taking taylor expansion of 0 in z 0.290 * [backup-simplify]: Simplify 0 into 0 0.290 * [backup-simplify]: Simplify 0 into 0 0.290 * [backup-simplify]: Simplify 0 into 0 0.290 * [backup-simplify]: Simplify 0 into 0 0.293 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 0.293 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.294 * [backup-simplify]: Simplify (+ (* +nan.0 (* (pow z 3) y)) (+ (* +nan.0 (* (pow z 2) y)) (* +nan.0 (* z y)))) into (- (+ (* +nan.0 (* (pow z 3) y)) (- (+ (* +nan.0 (* z y)) (- (* +nan.0 (* (pow z 2) y))))))) 0.294 * [backup-simplify]: Simplify (* (/ 1 y) (sqrt (/ 1 z))) into (* (sqrt (/ 1 z)) (/ 1 y)) 0.294 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in (y z) around 0 0.294 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in z 0.294 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 0.294 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.294 * [taylor]: Taking taylor expansion of z in z 0.294 * [backup-simplify]: Simplify 0 into 0 0.294 * [backup-simplify]: Simplify 1 into 1 0.295 * [backup-simplify]: Simplify (/ 1 1) into 1 0.295 * [backup-simplify]: Simplify (sqrt 0) into 0 0.296 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 0.296 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.296 * [taylor]: Taking taylor expansion of y in z 0.296 * [backup-simplify]: Simplify y into y 0.296 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.296 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 0.296 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 0.296 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.296 * [taylor]: Taking taylor expansion of z in y 0.296 * [backup-simplify]: Simplify z into z 0.296 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.296 * [backup-simplify]: Simplify (sqrt (/ 1 z)) into (sqrt (/ 1 z)) 0.296 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 0.297 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 z)))) into 0 0.297 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.297 * [taylor]: Taking taylor expansion of y in y 0.297 * [backup-simplify]: Simplify 0 into 0 0.297 * [backup-simplify]: Simplify 1 into 1 0.297 * [backup-simplify]: Simplify (/ 1 1) into 1 0.297 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 0.297 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 0.297 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.297 * [taylor]: Taking taylor expansion of z in y 0.297 * [backup-simplify]: Simplify z into z 0.297 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.297 * [backup-simplify]: Simplify (sqrt (/ 1 z)) into (sqrt (/ 1 z)) 0.297 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 0.297 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 z)))) into 0 0.298 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.298 * [taylor]: Taking taylor expansion of y in y 0.298 * [backup-simplify]: Simplify 0 into 0 0.298 * [backup-simplify]: Simplify 1 into 1 0.298 * [backup-simplify]: Simplify (/ 1 1) into 1 0.298 * [backup-simplify]: Simplify (* (sqrt (/ 1 z)) 1) into (sqrt (/ 1 z)) 0.298 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 0.298 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.298 * [taylor]: Taking taylor expansion of z in z 0.298 * [backup-simplify]: Simplify 0 into 0 0.298 * [backup-simplify]: Simplify 1 into 1 0.298 * [backup-simplify]: Simplify (/ 1 1) into 1 0.299 * [backup-simplify]: Simplify (sqrt 0) into 0 0.300 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 0.300 * [backup-simplify]: Simplify 0 into 0 0.301 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.301 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 z)) 0) (* 0 1)) into 0 0.301 * [taylor]: Taking taylor expansion of 0 in z 0.301 * [backup-simplify]: Simplify 0 into 0 0.301 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.302 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.302 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.303 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 z)))) into 0 0.303 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 z)) 0) (+ (* 0 0) (* 0 1))) into 0 0.303 * [taylor]: Taking taylor expansion of 0 in z 0.303 * [backup-simplify]: Simplify 0 into 0 0.303 * [backup-simplify]: Simplify 0 into 0 0.304 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.306 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 0.306 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.307 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.307 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.308 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 z)))) into 0 0.309 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 z)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.309 * [taylor]: Taking taylor expansion of 0 in z 0.309 * [backup-simplify]: Simplify 0 into 0 0.309 * [backup-simplify]: Simplify 0 into 0 0.309 * [backup-simplify]: Simplify 0 into 0 0.310 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.313 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 0.313 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.314 * [backup-simplify]: Simplify (+ (* +nan.0 (* (pow (/ 1 z) 2) (/ 1 (/ 1 y)))) (+ (* +nan.0 (* (/ 1 z) (/ 1 (/ 1 y)))) (* +nan.0 (* 1 (/ 1 (/ 1 y)))))) into (- (+ (* +nan.0 (/ y (pow z 2))) (- (+ (* +nan.0 y) (- (* +nan.0 (/ y z))))))) 0.314 * [backup-simplify]: Simplify (* (/ 1 (- y)) (sqrt (/ 1 (- z)))) into (* -1 (/ (sqrt (/ -1 z)) y)) 0.314 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in (y z) around 0 0.314 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in z 0.314 * [taylor]: Taking taylor expansion of -1 in z 0.314 * [backup-simplify]: Simplify -1 into -1 0.314 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in z 0.314 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.314 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.314 * [taylor]: Taking taylor expansion of -1 in z 0.314 * [backup-simplify]: Simplify -1 into -1 0.314 * [taylor]: Taking taylor expansion of z in z 0.314 * [backup-simplify]: Simplify 0 into 0 0.314 * [backup-simplify]: Simplify 1 into 1 0.314 * [backup-simplify]: Simplify (/ -1 1) into -1 0.315 * [backup-simplify]: Simplify (sqrt 0) into 0 0.316 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 0.316 * [taylor]: Taking taylor expansion of y in z 0.316 * [backup-simplify]: Simplify y into y 0.316 * [backup-simplify]: Simplify (/ +nan.0 y) into (/ +nan.0 y) 0.316 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in y 0.316 * [taylor]: Taking taylor expansion of -1 in y 0.316 * [backup-simplify]: Simplify -1 into -1 0.316 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y 0.316 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.316 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.316 * [taylor]: Taking taylor expansion of -1 in y 0.316 * [backup-simplify]: Simplify -1 into -1 0.316 * [taylor]: Taking taylor expansion of z in y 0.316 * [backup-simplify]: Simplify z into z 0.316 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 0.316 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z)) 0.316 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 0.317 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0 0.317 * [taylor]: Taking taylor expansion of y in y 0.317 * [backup-simplify]: Simplify 0 into 0 0.317 * [backup-simplify]: Simplify 1 into 1 0.317 * [backup-simplify]: Simplify (/ (sqrt (/ -1 z)) 1) into (sqrt (/ -1 z)) 0.317 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in y 0.317 * [taylor]: Taking taylor expansion of -1 in y 0.317 * [backup-simplify]: Simplify -1 into -1 0.317 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y 0.317 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.317 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.317 * [taylor]: Taking taylor expansion of -1 in y 0.317 * [backup-simplify]: Simplify -1 into -1 0.317 * [taylor]: Taking taylor expansion of z in y 0.317 * [backup-simplify]: Simplify z into z 0.317 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 0.317 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z)) 0.317 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 0.317 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0 0.317 * [taylor]: Taking taylor expansion of y in y 0.317 * [backup-simplify]: Simplify 0 into 0 0.317 * [backup-simplify]: Simplify 1 into 1 0.317 * [backup-simplify]: Simplify (/ (sqrt (/ -1 z)) 1) into (sqrt (/ -1 z)) 0.318 * [backup-simplify]: Simplify (* -1 (sqrt (/ -1 z))) into (* -1 (sqrt (/ -1 z))) 0.318 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 z))) in z 0.318 * [taylor]: Taking taylor expansion of -1 in z 0.318 * [backup-simplify]: Simplify -1 into -1 0.318 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.318 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.318 * [taylor]: Taking taylor expansion of -1 in z 0.318 * [backup-simplify]: Simplify -1 into -1 0.318 * [taylor]: Taking taylor expansion of z in z 0.318 * [backup-simplify]: Simplify 0 into 0 0.318 * [backup-simplify]: Simplify 1 into 1 0.318 * [backup-simplify]: Simplify (/ -1 1) into -1 0.318 * [backup-simplify]: Simplify (sqrt 0) into 0 0.320 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 0.321 * [backup-simplify]: Simplify (+ (* -1 +nan.0) (* 0 0)) into (- +nan.0) 0.321 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 0.322 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt (/ -1 z)) (/ 0 1)))) into 0 0.322 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (sqrt (/ -1 z)))) into 0 0.322 * [taylor]: Taking taylor expansion of 0 in z 0.322 * [backup-simplify]: Simplify 0 into 0 0.322 * [backup-simplify]: Simplify 0 into 0 0.323 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.326 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 0.327 * [backup-simplify]: Simplify (+ (* -1 +nan.0) (+ (* 0 +nan.0) (* 0 0))) into (- +nan.0) 0.328 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 0.328 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.328 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ -1 z)))) into 0 0.330 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt (/ -1 z)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.330 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (sqrt (/ -1 z))))) into 0 0.330 * [taylor]: Taking taylor expansion of 0 in z 0.330 * [backup-simplify]: Simplify 0 into 0 0.330 * [backup-simplify]: Simplify 0 into 0 0.330 * [backup-simplify]: Simplify 0 into 0 0.331 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.335 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 0.337 * [backup-simplify]: Simplify (+ (* -1 +nan.0) (+ (* 0 +nan.0) (+ (* 0 +nan.0) (* 0 0)))) into (- +nan.0) 0.337 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 0.339 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (pow (/ 1 (- z)) 2) (/ 1 (/ 1 (- y))))) (+ (* (- +nan.0) (* (/ 1 (- z)) (/ 1 (/ 1 (- y))))) (* (- +nan.0) (* 1 (/ 1 (/ 1 (- y))))))) into (- (+ (* +nan.0 (/ y (pow z 2))) (- (+ (* +nan.0 y) (- (* +nan.0 (/ y z))))))) 0.339 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.339 * [backup-simplify]: Simplify (+ x (* y (sqrt z))) into (+ (* (sqrt z) y) x) 0.339 * [approximate]: Taking taylor expansion of (+ (* (sqrt z) y) x) in (x y z) around 0 0.339 * [taylor]: Taking taylor expansion of (+ (* (sqrt z) y) x) in z 0.339 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in z 0.339 * [taylor]: Taking taylor expansion of (sqrt z) in z 0.339 * [taylor]: Taking taylor expansion of z in z 0.339 * [backup-simplify]: Simplify 0 into 0 0.339 * [backup-simplify]: Simplify 1 into 1 0.339 * [backup-simplify]: Simplify (sqrt 0) into 0 0.341 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 0.341 * [taylor]: Taking taylor expansion of y in z 0.341 * [backup-simplify]: Simplify y into y 0.341 * [taylor]: Taking taylor expansion of x in z 0.341 * [backup-simplify]: Simplify x into x 0.341 * [taylor]: Taking taylor expansion of (+ (* (sqrt z) y) x) in y 0.341 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 0.341 * [taylor]: Taking taylor expansion of (sqrt z) in y 0.341 * [taylor]: Taking taylor expansion of z in y 0.341 * [backup-simplify]: Simplify z into z 0.341 * [backup-simplify]: Simplify (sqrt z) into (sqrt z) 0.341 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt z))) into 0 0.341 * [taylor]: Taking taylor expansion of y in y 0.341 * [backup-simplify]: Simplify 0 into 0 0.341 * [backup-simplify]: Simplify 1 into 1 0.341 * [taylor]: Taking taylor expansion of x in y 0.341 * [backup-simplify]: Simplify x into x 0.341 * [taylor]: Taking taylor expansion of (+ (* (sqrt z) y) x) in x 0.341 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in x 0.341 * [taylor]: Taking taylor expansion of (sqrt z) in x 0.341 * [taylor]: Taking taylor expansion of z in x 0.341 * [backup-simplify]: Simplify z into z 0.341 * [backup-simplify]: Simplify (sqrt z) into (sqrt z) 0.341 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt z))) into 0 0.341 * [taylor]: Taking taylor expansion of y in x 0.341 * [backup-simplify]: Simplify y into y 0.341 * [taylor]: Taking taylor expansion of x in x 0.341 * [backup-simplify]: Simplify 0 into 0 0.341 * [backup-simplify]: Simplify 1 into 1 0.341 * [taylor]: Taking taylor expansion of (+ (* (sqrt z) y) x) in x 0.342 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in x 0.342 * [taylor]: Taking taylor expansion of (sqrt z) in x 0.342 * [taylor]: Taking taylor expansion of z in x 0.342 * [backup-simplify]: Simplify z into z 0.342 * [backup-simplify]: Simplify (sqrt z) into (sqrt z) 0.342 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt z))) into 0 0.342 * [taylor]: Taking taylor expansion of y in x 0.342 * [backup-simplify]: Simplify y into y 0.342 * [taylor]: Taking taylor expansion of x in x 0.342 * [backup-simplify]: Simplify 0 into 0 0.342 * [backup-simplify]: Simplify 1 into 1 0.342 * [backup-simplify]: Simplify (* (sqrt z) y) into (* (sqrt z) y) 0.342 * [backup-simplify]: Simplify (+ (* (sqrt z) y) 0) into (* (sqrt z) y) 0.342 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 0.342 * [taylor]: Taking taylor expansion of (sqrt z) in y 0.342 * [taylor]: Taking taylor expansion of z in y 0.342 * [backup-simplify]: Simplify z into z 0.342 * [backup-simplify]: Simplify (sqrt z) into (sqrt z) 0.342 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt z))) into 0 0.342 * [taylor]: Taking taylor expansion of y in y 0.342 * [backup-simplify]: Simplify 0 into 0 0.342 * [backup-simplify]: Simplify 1 into 1 0.342 * [backup-simplify]: Simplify (* (sqrt z) 0) into 0 0.343 * [taylor]: Taking taylor expansion of 0 in z 0.343 * [backup-simplify]: Simplify 0 into 0 0.343 * [backup-simplify]: Simplify 0 into 0 0.343 * [backup-simplify]: Simplify (+ (* (sqrt z) 0) (* 0 y)) into 0 0.343 * [backup-simplify]: Simplify (+ 0 1) into 1 0.343 * [taylor]: Taking taylor expansion of 1 in y 0.343 * [backup-simplify]: Simplify 1 into 1 0.343 * [taylor]: Taking taylor expansion of 1 in z 0.343 * [backup-simplify]: Simplify 1 into 1 0.343 * [backup-simplify]: Simplify 1 into 1 0.344 * [backup-simplify]: Simplify (+ (* (sqrt z) 1) (* 0 0)) into (sqrt z) 0.344 * [taylor]: Taking taylor expansion of (sqrt z) in z 0.344 * [taylor]: Taking taylor expansion of z in z 0.344 * [backup-simplify]: Simplify 0 into 0 0.344 * [backup-simplify]: Simplify 1 into 1 0.344 * [backup-simplify]: Simplify (sqrt 0) into 0 0.345 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 0.345 * [backup-simplify]: Simplify 0 into 0 0.345 * [backup-simplify]: Simplify 0 into 0 0.350 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt z))) into 0 0.351 * [backup-simplify]: Simplify (+ (* (sqrt z) 0) (+ (* 0 0) (* 0 y))) into 0 0.351 * [backup-simplify]: Simplify (+ 0 0) into 0 0.351 * [taylor]: Taking taylor expansion of 0 in y 0.351 * [backup-simplify]: Simplify 0 into 0 0.351 * [taylor]: Taking taylor expansion of 0 in z 0.351 * [backup-simplify]: Simplify 0 into 0 0.351 * [backup-simplify]: Simplify 0 into 0 0.351 * [taylor]: Taking taylor expansion of 0 in z 0.351 * [backup-simplify]: Simplify 0 into 0 0.351 * [backup-simplify]: Simplify 0 into 0 0.352 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt z))) into 0 0.352 * [backup-simplify]: Simplify (+ (* (sqrt z) 0) (+ (* 0 1) (* 0 0))) into 0 0.352 * [taylor]: Taking taylor expansion of 0 in z 0.352 * [backup-simplify]: Simplify 0 into 0 0.352 * [backup-simplify]: Simplify 0 into 0 0.352 * [backup-simplify]: Simplify 0 into 0 0.353 * [backup-simplify]: Simplify (* 1 (* 1 (* 1 x))) into x 0.353 * [backup-simplify]: Simplify (+ (/ 1 x) (* (/ 1 y) (sqrt (/ 1 z)))) into (+ (/ 1 x) (* (sqrt (/ 1 z)) (/ 1 y))) 0.353 * [approximate]: Taking taylor expansion of (+ (/ 1 x) (* (sqrt (/ 1 z)) (/ 1 y))) in (x y z) around 0 0.353 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* (sqrt (/ 1 z)) (/ 1 y))) in z 0.353 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.353 * [taylor]: Taking taylor expansion of x in z 0.353 * [backup-simplify]: Simplify x into x 0.353 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.353 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in z 0.353 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 0.353 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.353 * [taylor]: Taking taylor expansion of z in z 0.353 * [backup-simplify]: Simplify 0 into 0 0.353 * [backup-simplify]: Simplify 1 into 1 0.353 * [backup-simplify]: Simplify (/ 1 1) into 1 0.354 * [backup-simplify]: Simplify (sqrt 0) into 0 0.355 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 0.355 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.355 * [taylor]: Taking taylor expansion of y in z 0.355 * [backup-simplify]: Simplify y into y 0.355 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.355 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* (sqrt (/ 1 z)) (/ 1 y))) in y 0.355 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.356 * [taylor]: Taking taylor expansion of x in y 0.356 * [backup-simplify]: Simplify x into x 0.356 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.356 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 0.356 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 0.356 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.356 * [taylor]: Taking taylor expansion of z in y 0.356 * [backup-simplify]: Simplify z into z 0.356 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.356 * [backup-simplify]: Simplify (sqrt (/ 1 z)) into (sqrt (/ 1 z)) 0.356 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 0.356 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 z)))) into 0 0.356 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.356 * [taylor]: Taking taylor expansion of y in y 0.356 * [backup-simplify]: Simplify 0 into 0 0.356 * [backup-simplify]: Simplify 1 into 1 0.356 * [backup-simplify]: Simplify (/ 1 1) into 1 0.356 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* (sqrt (/ 1 z)) (/ 1 y))) in x 0.357 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.357 * [taylor]: Taking taylor expansion of x in x 0.357 * [backup-simplify]: Simplify 0 into 0 0.357 * [backup-simplify]: Simplify 1 into 1 0.357 * [backup-simplify]: Simplify (/ 1 1) into 1 0.357 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in x 0.357 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x 0.357 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.357 * [taylor]: Taking taylor expansion of z in x 0.357 * [backup-simplify]: Simplify z into z 0.357 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.357 * [backup-simplify]: Simplify (sqrt (/ 1 z)) into (sqrt (/ 1 z)) 0.357 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 0.357 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 z)))) into 0 0.357 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.357 * [taylor]: Taking taylor expansion of y in x 0.357 * [backup-simplify]: Simplify y into y 0.357 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.358 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* (sqrt (/ 1 z)) (/ 1 y))) in x 0.358 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.358 * [taylor]: Taking taylor expansion of x in x 0.358 * [backup-simplify]: Simplify 0 into 0 0.358 * [backup-simplify]: Simplify 1 into 1 0.358 * [backup-simplify]: Simplify (/ 1 1) into 1 0.358 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in x 0.358 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x 0.358 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.358 * [taylor]: Taking taylor expansion of z in x 0.358 * [backup-simplify]: Simplify z into z 0.358 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.358 * [backup-simplify]: Simplify (sqrt (/ 1 z)) into (sqrt (/ 1 z)) 0.358 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 0.358 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 z)))) into 0 0.358 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.359 * [taylor]: Taking taylor expansion of y in x 0.359 * [backup-simplify]: Simplify y into y 0.359 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.359 * [backup-simplify]: Simplify (+ 1 0) into 1 0.359 * [taylor]: Taking taylor expansion of 1 in y 0.359 * [backup-simplify]: Simplify 1 into 1 0.360 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.360 * [backup-simplify]: Simplify (* (sqrt (/ 1 z)) (/ 1 y)) into (* (sqrt (/ 1 z)) (/ 1 y)) 0.360 * [backup-simplify]: Simplify (+ 0 (* (sqrt (/ 1 z)) (/ 1 y))) into (* (sqrt (/ 1 z)) (/ 1 y)) 0.360 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 0.360 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 0.360 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.360 * [taylor]: Taking taylor expansion of z in y 0.360 * [backup-simplify]: Simplify z into z 0.360 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.360 * [backup-simplify]: Simplify (sqrt (/ 1 z)) into (sqrt (/ 1 z)) 0.360 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 0.360 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 z)))) into 0 0.360 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.361 * [taylor]: Taking taylor expansion of y in y 0.361 * [backup-simplify]: Simplify 0 into 0 0.361 * [backup-simplify]: Simplify 1 into 1 0.361 * [backup-simplify]: Simplify (/ 1 1) into 1 0.361 * [backup-simplify]: Simplify (* (sqrt (/ 1 z)) 1) into (sqrt (/ 1 z)) 0.361 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 0.361 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.361 * [taylor]: Taking taylor expansion of z in z 0.361 * [backup-simplify]: Simplify 0 into 0 0.361 * [backup-simplify]: Simplify 1 into 1 0.361 * [backup-simplify]: Simplify (/ 1 1) into 1 0.362 * [backup-simplify]: Simplify (sqrt 0) into 0 0.363 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 0.363 * [backup-simplify]: Simplify 0 into 0 0.363 * [taylor]: Taking taylor expansion of 1 in z 0.363 * [backup-simplify]: Simplify 1 into 1 0.364 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.364 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.364 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 z)) 0) (* 0 (/ 1 y))) into 0 0.364 * [backup-simplify]: Simplify (+ 0 0) into 0 0.364 * [taylor]: Taking taylor expansion of 0 in y 0.364 * [backup-simplify]: Simplify 0 into 0 0.365 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.365 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 z)) 0) (* 0 1)) into 0 0.365 * [taylor]: Taking taylor expansion of 0 in z 0.365 * [backup-simplify]: Simplify 0 into 0 0.365 * [taylor]: Taking taylor expansion of 0 in z 0.365 * [backup-simplify]: Simplify 0 into 0 0.366 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.366 * [backup-simplify]: Simplify 1 into 1 0.366 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.367 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.367 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.367 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 z)))) into 0 0.368 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 z)) 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 0.368 * [backup-simplify]: Simplify (+ 0 0) into 0 0.368 * [taylor]: Taking taylor expansion of 0 in y 0.368 * [backup-simplify]: Simplify 0 into 0 0.368 * [taylor]: Taking taylor expansion of 0 in z 0.368 * [backup-simplify]: Simplify 0 into 0 0.369 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.369 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.370 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 z)))) into 0 0.370 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 z)) 0) (+ (* 0 0) (* 0 1))) into 0 0.370 * [taylor]: Taking taylor expansion of 0 in z 0.370 * [backup-simplify]: Simplify 0 into 0 0.370 * [taylor]: Taking taylor expansion of 0 in z 0.371 * [backup-simplify]: Simplify 0 into 0 0.371 * [backup-simplify]: Simplify 0 into 0 0.371 * [backup-simplify]: Simplify 0 into 0 0.371 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.374 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 0.374 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.374 * [backup-simplify]: Simplify (+ (* +nan.0 (* (/ 1 z) (* (/ 1 (/ 1 y)) 1))) (+ (* 1 (* 1 (* 1 (/ 1 (/ 1 x))))) (* +nan.0 (* 1 (* (/ 1 (/ 1 y)) 1))))) into (- x (+ (* +nan.0 (/ y z)) (- (* +nan.0 y)))) 0.374 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (* (/ 1 (- y)) (sqrt (/ 1 (- z))))) into (- (+ (/ (sqrt (/ -1 z)) y) (/ 1 x))) 0.374 * [approximate]: Taking taylor expansion of (- (+ (/ (sqrt (/ -1 z)) y) (/ 1 x))) in (x y z) around 0 0.374 * [taylor]: Taking taylor expansion of (- (+ (/ (sqrt (/ -1 z)) y) (/ 1 x))) in z 0.374 * [taylor]: Taking taylor expansion of (+ (/ (sqrt (/ -1 z)) y) (/ 1 x)) in z 0.374 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in z 0.374 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.375 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.375 * [taylor]: Taking taylor expansion of -1 in z 0.375 * [backup-simplify]: Simplify -1 into -1 0.375 * [taylor]: Taking taylor expansion of z in z 0.375 * [backup-simplify]: Simplify 0 into 0 0.375 * [backup-simplify]: Simplify 1 into 1 0.375 * [backup-simplify]: Simplify (/ -1 1) into -1 0.375 * [backup-simplify]: Simplify (sqrt 0) into 0 0.376 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 0.376 * [taylor]: Taking taylor expansion of y in z 0.376 * [backup-simplify]: Simplify y into y 0.376 * [backup-simplify]: Simplify (/ +nan.0 y) into (/ +nan.0 y) 0.376 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.377 * [taylor]: Taking taylor expansion of x in z 0.377 * [backup-simplify]: Simplify x into x 0.377 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.377 * [taylor]: Taking taylor expansion of (- (+ (/ (sqrt (/ -1 z)) y) (/ 1 x))) in y 0.377 * [taylor]: Taking taylor expansion of (+ (/ (sqrt (/ -1 z)) y) (/ 1 x)) in y 0.377 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y 0.377 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.377 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.377 * [taylor]: Taking taylor expansion of -1 in y 0.377 * [backup-simplify]: Simplify -1 into -1 0.377 * [taylor]: Taking taylor expansion of z in y 0.377 * [backup-simplify]: Simplify z into z 0.377 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 0.377 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z)) 0.377 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 0.377 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0 0.377 * [taylor]: Taking taylor expansion of y in y 0.377 * [backup-simplify]: Simplify 0 into 0 0.377 * [backup-simplify]: Simplify 1 into 1 0.377 * [backup-simplify]: Simplify (/ (sqrt (/ -1 z)) 1) into (sqrt (/ -1 z)) 0.377 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.377 * [taylor]: Taking taylor expansion of x in y 0.377 * [backup-simplify]: Simplify x into x 0.377 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.377 * [taylor]: Taking taylor expansion of (- (+ (/ (sqrt (/ -1 z)) y) (/ 1 x))) in x 0.377 * [taylor]: Taking taylor expansion of (+ (/ (sqrt (/ -1 z)) y) (/ 1 x)) in x 0.378 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in x 0.378 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 0.378 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.378 * [taylor]: Taking taylor expansion of -1 in x 0.378 * [backup-simplify]: Simplify -1 into -1 0.378 * [taylor]: Taking taylor expansion of z in x 0.378 * [backup-simplify]: Simplify z into z 0.378 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 0.378 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z)) 0.378 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 0.378 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0 0.378 * [taylor]: Taking taylor expansion of y in x 0.378 * [backup-simplify]: Simplify y into y 0.378 * [backup-simplify]: Simplify (/ (sqrt (/ -1 z)) y) into (/ (sqrt (/ -1 z)) y) 0.378 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.378 * [taylor]: Taking taylor expansion of x in x 0.378 * [backup-simplify]: Simplify 0 into 0 0.378 * [backup-simplify]: Simplify 1 into 1 0.379 * [backup-simplify]: Simplify (/ 1 1) into 1 0.379 * [taylor]: Taking taylor expansion of (- (+ (/ (sqrt (/ -1 z)) y) (/ 1 x))) in x 0.379 * [taylor]: Taking taylor expansion of (+ (/ (sqrt (/ -1 z)) y) (/ 1 x)) in x 0.379 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in x 0.379 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 0.379 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.379 * [taylor]: Taking taylor expansion of -1 in x 0.379 * [backup-simplify]: Simplify -1 into -1 0.379 * [taylor]: Taking taylor expansion of z in x 0.379 * [backup-simplify]: Simplify z into z 0.379 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 0.379 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z)) 0.379 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 0.379 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0 0.379 * [taylor]: Taking taylor expansion of y in x 0.379 * [backup-simplify]: Simplify y into y 0.379 * [backup-simplify]: Simplify (/ (sqrt (/ -1 z)) y) into (/ (sqrt (/ -1 z)) y) 0.379 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.379 * [taylor]: Taking taylor expansion of x in x 0.379 * [backup-simplify]: Simplify 0 into 0 0.379 * [backup-simplify]: Simplify 1 into 1 0.380 * [backup-simplify]: Simplify (/ 1 1) into 1 0.380 * [backup-simplify]: Simplify (+ 0 1) into 1 0.380 * [backup-simplify]: Simplify (- 1) into -1 0.381 * [taylor]: Taking taylor expansion of -1 in y 0.381 * [backup-simplify]: Simplify -1 into -1 0.381 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.381 * [backup-simplify]: Simplify (+ (/ (sqrt (/ -1 z)) y) 0) into (/ (sqrt (/ -1 z)) y) 0.381 * [backup-simplify]: Simplify (- (/ (sqrt (/ -1 z)) y)) into (- (/ (sqrt (/ -1 z)) y)) 0.381 * [taylor]: Taking taylor expansion of (- (/ (sqrt (/ -1 z)) y)) in y 0.381 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y 0.382 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.382 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.382 * [taylor]: Taking taylor expansion of -1 in y 0.382 * [backup-simplify]: Simplify -1 into -1 0.382 * [taylor]: Taking taylor expansion of z in y 0.382 * [backup-simplify]: Simplify z into z 0.382 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 0.382 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z)) 0.382 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 0.382 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0 0.382 * [taylor]: Taking taylor expansion of y in y 0.382 * [backup-simplify]: Simplify 0 into 0 0.382 * [backup-simplify]: Simplify 1 into 1 0.382 * [backup-simplify]: Simplify (/ (sqrt (/ -1 z)) 1) into (sqrt (/ -1 z)) 0.382 * [backup-simplify]: Simplify (- (sqrt (/ -1 z))) into (- (sqrt (/ -1 z))) 0.382 * [taylor]: Taking taylor expansion of (- (sqrt (/ -1 z))) in z 0.382 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.382 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.382 * [taylor]: Taking taylor expansion of -1 in z 0.382 * [backup-simplify]: Simplify -1 into -1 0.382 * [taylor]: Taking taylor expansion of z in z 0.382 * [backup-simplify]: Simplify 0 into 0 0.382 * [backup-simplify]: Simplify 1 into 1 0.383 * [backup-simplify]: Simplify (/ -1 1) into -1 0.383 * [backup-simplify]: Simplify (sqrt 0) into 0 0.384 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 0.385 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 0.385 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 0.385 * [taylor]: Taking taylor expansion of -1 in z 0.385 * [backup-simplify]: Simplify -1 into -1 0.385 * [backup-simplify]: Simplify -1 into -1 0.385 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt (/ -1 z)) y) (/ 0 y)))) into 0 0.386 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.387 * [backup-simplify]: Simplify (+ 0 0) into 0 0.387 * [backup-simplify]: Simplify (- 0) into 0 0.387 * [taylor]: Taking taylor expansion of 0 in y 0.387 * [backup-simplify]: Simplify 0 into 0 0.388 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt (/ -1 z)) (/ 0 1)))) into 0 0.388 * [backup-simplify]: Simplify (- 0) into 0 0.388 * [taylor]: Taking taylor expansion of 0 in z 0.388 * [backup-simplify]: Simplify 0 into 0 0.388 * [backup-simplify]: Simplify 0 into 0 0.388 * [taylor]: Taking taylor expansion of 0 in z 0.388 * [backup-simplify]: Simplify 0 into 0 0.388 * [backup-simplify]: Simplify 0 into 0 0.389 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.392 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 0.392 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 0.392 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 0.394 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (- z)) (* (/ 1 (/ 1 (- y))) 1))) (+ (* -1 (* 1 (* 1 (/ 1 (/ 1 (- x)))))) (* (- +nan.0) (* 1 (* (/ 1 (/ 1 (- y))) 1))))) into (- x (+ (* +nan.0 (/ y z)) (- (* +nan.0 y)))) 0.394 * * * [progress]: simplifying candidates 0.395 * [simplify]: Simplifying: (expm1 (* y (sqrt z))) (log1p (* y (sqrt z))) (* y (sqrt z)) (+ (log y) (log (sqrt z))) (log (* y (sqrt z))) (exp (* y (sqrt z))) (* (* (* y y) y) (* (* (sqrt z) (sqrt z)) (sqrt z))) (* (cbrt (* y (sqrt z))) (cbrt (* y (sqrt z)))) (cbrt (* y (sqrt z))) (* (* (* y (sqrt z)) (* y (sqrt z))) (* y (sqrt z))) (sqrt (* y (sqrt z))) (sqrt (* y (sqrt z))) (* (sqrt y) (sqrt (sqrt z))) (* (sqrt y) (sqrt (sqrt z))) (* (sqrt y) (sqrt (sqrt z))) (* (sqrt y) (sqrt (sqrt z))) (* y (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (* y (sqrt (* (cbrt z) (cbrt z)))) (* y (sqrt (sqrt z))) (* y (sqrt 1)) (* y (sqrt (sqrt z))) (* y 1) (* (cbrt y) (sqrt z)) (* (sqrt y) (sqrt z)) (* y (sqrt z)) (expm1 (+ x (* y (sqrt z)))) (log1p (+ x (* y (sqrt z)))) (* (exp x) (exp (* y (sqrt z)))) (log (+ x (* y (sqrt z)))) (exp (+ x (* y (sqrt z)))) (* (cbrt (+ x (* y (sqrt z)))) (cbrt (+ x (* y (sqrt z))))) (cbrt (+ x (* y (sqrt z)))) (* (* (+ x (* y (sqrt z))) (+ x (* y (sqrt z)))) (+ x (* y (sqrt z)))) (sqrt (+ x (* y (sqrt z)))) (sqrt (+ x (* y (sqrt z)))) (+ (pow x 3) (pow (* y (sqrt z)) 3)) (+ (* x x) (- (* (* y (sqrt z)) (* y (sqrt z))) (* x (* y (sqrt z))))) (- (* x x) (* (* y (sqrt z)) (* y (sqrt z)))) (- x (* y (sqrt z))) (- (+ (* +nan.0 (* (pow z 3) y)) (- (+ (* +nan.0 (* z y)) (- (* +nan.0 (* (pow z 2) y))))))) (- (+ (* +nan.0 (/ y (pow z 2))) (- (+ (* +nan.0 y) (- (* +nan.0 (/ y z))))))) (- (+ (* +nan.0 (/ y (pow z 2))) (- (+ (* +nan.0 y) (- (* +nan.0 (/ y z))))))) x (- x (+ (* +nan.0 (/ y z)) (- (* +nan.0 y)))) (- x (+ (* +nan.0 (/ y z)) (- (* +nan.0 y)))) 0.396 * * [simplify]: Extracting # 0 : cost 36 inf + 0 0.396 * * [simplify]: Extracting # 1 : cost 59 inf + 1 0.396 * * [simplify]: Extracting # 2 : cost 68 inf + 115 0.396 * * [simplify]: Extracting # 3 : cost 66 inf + 597 0.397 * * [simplify]: Extracting # 4 : cost 48 inf + 3616 0.398 * * [simplify]: Extracting # 5 : cost 27 inf + 7977 0.400 * * [simplify]: Extracting # 6 : cost 11 inf + 11102 0.401 * * [simplify]: Extracting # 7 : cost 1 inf + 15733 0.404 * * [simplify]: Extracting # 8 : cost 0 inf + 16347 0.405 * * [simplify]: iteration 0 : 90 enodes (cost 9495 ) 0.447 * * [simplify]: Extracting # 0 : cost 0 inf + 16347 0.450 * * [simplify]: Extracting # 1 : cost 49 inf + 14776 0.454 * * [simplify]: Extracting # 2 : cost 5 inf + 20025 0.459 * * [simplify]: Extracting # 3 : cost 4 inf + 18418 0.463 * * [simplify]: Extracting # 4 : cost 0 inf + 19056 0.468 * * [simplify]: iteration 1 : 240 enodes (cost 7783 ) 0.580 * * [simplify]: Extracting # 0 : cost 0 inf + 19056 0.585 * * [simplify]: Extracting # 1 : cost 145 inf + 17468 0.593 * * [simplify]: Extracting # 2 : cost 6 inf + 33646 0.603 * * [simplify]: Extracting # 3 : cost 2 inf + 33994 0.620 * * [simplify]: Extracting # 4 : cost 0 inf + 34449 0.632 * * [simplify]: iteration 2 : 720 enodes (cost 7258 ) 0.998 * * [simplify]: Extracting # 0 : cost 0 inf + 34449 1.014 * * [simplify]: Extracting # 1 : cost 460 inf + 33045 1.043 * * [simplify]: Extracting # 2 : cost 13 inf + 99614 1.078 * * [simplify]: Extracting # 3 : cost 0 inf + 101650 1.116 * * [simplify]: Extracting # 4 : cost 0 inf + 101519 1.167 * * [simplify]: iteration 3 : 2360 enodes (cost 7023 ) 3.609 * * [simplify]: Extracting # 0 : cost 0 inf + 101519 3.697 * * [simplify]: Extracting # 1 : cost 330 inf + 96215 3.813 * * [simplify]: Extracting # 2 : cost 78 inf + 135623 3.955 * * [simplify]: Extracting # 3 : cost 19 inf + 143014 4.103 * * [simplify]: Extracting # 4 : cost 0 inf + 148174 4.203 * * [simplify]: iteration complete: 5000 enodes (cost 7023 ) 4.203 * [simplify]: Simplified to: (expm1 (* y (sqrt z))) (log1p (* y (sqrt z))) (* y (sqrt z)) (log (* y (sqrt z))) (log (* y (sqrt z))) (exp (* y (sqrt z))) (* (* y (sqrt z)) (* (* y (sqrt z)) (* y (sqrt z)))) (* (cbrt (* y (sqrt z))) (cbrt (* y (sqrt z)))) (cbrt (* y (sqrt z))) (* (* y (sqrt z)) (* (* y (sqrt z)) (* y (sqrt z)))) (sqrt (* y (sqrt z))) (sqrt (* y (sqrt z))) (* (sqrt y) (sqrt (sqrt z))) (* (sqrt y) (sqrt (sqrt z))) (* (sqrt y) (sqrt (sqrt z))) (* (sqrt y) (sqrt (sqrt z))) (* y (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (* (fabs (cbrt z)) y) (* y (sqrt (sqrt z))) y (* y (sqrt (sqrt z))) y (* (cbrt y) (sqrt z)) (* (sqrt y) (sqrt z)) (* y (sqrt z)) (expm1 (fma (sqrt z) y x)) (log1p (fma (sqrt z) y x)) (exp (fma (sqrt z) y x)) (log (fma (sqrt z) y x)) (exp (fma (sqrt z) y x)) (* (cbrt (fma (sqrt z) y x)) (cbrt (fma (sqrt z) y x))) (cbrt (fma (sqrt z) y x)) (* (* (fma (sqrt z) y x) (fma (sqrt z) y x)) (fma (sqrt z) y x)) (sqrt (fma (sqrt z) y x)) (sqrt (fma (sqrt z) y x)) (fma x (* x x) (* (* y (sqrt z)) (* (* y (sqrt z)) (* y (sqrt z))))) (fma x x (* (* y (sqrt z)) (- (* y (sqrt z)) x))) (- (* x x) (* (* y y) z)) (- x (* y (sqrt z))) (fma (* (* z (* z z)) y) (- +nan.0) (* +nan.0 (* y (- z (* z z))))) (- (fma (/ +nan.0 z) (/ y z) (* +nan.0 (- (/ y z) y)))) (- (fma (/ +nan.0 z) (/ y z) (* +nan.0 (- (/ y z) y)))) x (fma +nan.0 (- y (/ y z)) x) (fma +nan.0 (- y (/ y z)) x) 4.205 * * * [progress]: adding candidates to table 4.374 * * [progress]: iteration 2 / 4 4.374 * * * [progress]: picking best candidate 4.403 * * * * [pick]: Picked # 4.404 * * * [progress]: localizing error 4.439 * * * [progress]: generating rewritten candidates 4.439 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 4.467 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1) 4.486 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2) 4.490 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2) 4.498 * * * [progress]: generating series expansions 4.498 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 4.498 * [backup-simplify]: Simplify (* (* y (sqrt (sqrt z))) (sqrt (sqrt z))) into (* (sqrt z) y) 4.498 * [approximate]: Taking taylor expansion of (* (sqrt z) y) in (y z) around 0 4.498 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in z 4.498 * [taylor]: Taking taylor expansion of (sqrt z) in z 4.498 * [taylor]: Taking taylor expansion of z in z 4.498 * [backup-simplify]: Simplify 0 into 0 4.498 * [backup-simplify]: Simplify 1 into 1 4.504 * [backup-simplify]: Simplify (sqrt 0) into 0 4.506 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 4.506 * [taylor]: Taking taylor expansion of y in z 4.506 * [backup-simplify]: Simplify y into y 4.506 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 4.506 * [taylor]: Taking taylor expansion of (sqrt z) in y 4.506 * [taylor]: Taking taylor expansion of z in y 4.506 * [backup-simplify]: Simplify z into z 4.506 * [backup-simplify]: Simplify (sqrt z) into (sqrt z) 4.506 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt z))) into 0 4.506 * [taylor]: Taking taylor expansion of y in y 4.506 * [backup-simplify]: Simplify 0 into 0 4.506 * [backup-simplify]: Simplify 1 into 1 4.506 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 4.506 * [taylor]: Taking taylor expansion of (sqrt z) in y 4.506 * [taylor]: Taking taylor expansion of z in y 4.506 * [backup-simplify]: Simplify z into z 4.506 * [backup-simplify]: Simplify (sqrt z) into (sqrt z) 4.507 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt z))) into 0 4.507 * [taylor]: Taking taylor expansion of y in y 4.507 * [backup-simplify]: Simplify 0 into 0 4.507 * [backup-simplify]: Simplify 1 into 1 4.507 * [backup-simplify]: Simplify (* (sqrt z) 0) into 0 4.507 * [taylor]: Taking taylor expansion of 0 in z 4.507 * [backup-simplify]: Simplify 0 into 0 4.507 * [backup-simplify]: Simplify 0 into 0 4.507 * [backup-simplify]: Simplify (+ (* (sqrt z) 1) (* 0 0)) into (sqrt z) 4.507 * [taylor]: Taking taylor expansion of (sqrt z) in z 4.507 * [taylor]: Taking taylor expansion of z in z 4.507 * [backup-simplify]: Simplify 0 into 0 4.507 * [backup-simplify]: Simplify 1 into 1 4.508 * [backup-simplify]: Simplify (sqrt 0) into 0 4.509 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 4.509 * [backup-simplify]: Simplify 0 into 0 4.509 * [backup-simplify]: Simplify 0 into 0 4.510 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt z))) into 0 4.511 * [backup-simplify]: Simplify (+ (* (sqrt z) 0) (+ (* 0 1) (* 0 0))) into 0 4.511 * [taylor]: Taking taylor expansion of 0 in z 4.511 * [backup-simplify]: Simplify 0 into 0 4.511 * [backup-simplify]: Simplify 0 into 0 4.511 * [backup-simplify]: Simplify +nan.0 into +nan.0 4.511 * [backup-simplify]: Simplify 0 into 0 4.512 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt z))) into 0 4.512 * [backup-simplify]: Simplify (+ (* (sqrt z) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.512 * [taylor]: Taking taylor expansion of 0 in z 4.512 * [backup-simplify]: Simplify 0 into 0 4.512 * [backup-simplify]: Simplify 0 into 0 4.512 * [backup-simplify]: Simplify 0 into 0 4.515 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 4.515 * [backup-simplify]: Simplify +nan.0 into +nan.0 4.515 * [backup-simplify]: Simplify 0 into 0 4.516 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt z))) into 0 4.517 * [backup-simplify]: Simplify (+ (* (sqrt z) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 4.517 * [taylor]: Taking taylor expansion of 0 in z 4.517 * [backup-simplify]: Simplify 0 into 0 4.517 * [backup-simplify]: Simplify 0 into 0 4.517 * [backup-simplify]: Simplify 0 into 0 4.517 * [backup-simplify]: Simplify 0 into 0 4.521 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 4.521 * [backup-simplify]: Simplify +nan.0 into +nan.0 4.521 * [backup-simplify]: Simplify (+ (* +nan.0 (* (pow z 3) y)) (+ (* +nan.0 (* (pow z 2) y)) (* +nan.0 (* z y)))) into (- (+ (* +nan.0 (* (pow z 3) y)) (- (+ (* +nan.0 (* z y)) (- (* +nan.0 (* (pow z 2) y))))))) 4.522 * [backup-simplify]: Simplify (* (* (/ 1 y) (sqrt (sqrt (/ 1 z)))) (sqrt (sqrt (/ 1 z)))) into (* (sqrt (/ 1 z)) (/ 1 y)) 4.522 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in (y z) around 0 4.522 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in z 4.522 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 4.522 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.522 * [taylor]: Taking taylor expansion of z in z 4.522 * [backup-simplify]: Simplify 0 into 0 4.522 * [backup-simplify]: Simplify 1 into 1 4.522 * [backup-simplify]: Simplify (/ 1 1) into 1 4.522 * [backup-simplify]: Simplify (sqrt 0) into 0 4.523 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 4.523 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.523 * [taylor]: Taking taylor expansion of y in z 4.523 * [backup-simplify]: Simplify y into y 4.523 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.523 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 4.523 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 4.523 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.523 * [taylor]: Taking taylor expansion of z in y 4.523 * [backup-simplify]: Simplify z into z 4.523 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.523 * [backup-simplify]: Simplify (sqrt (/ 1 z)) into (sqrt (/ 1 z)) 4.523 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 4.523 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 z)))) into 0 4.523 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.523 * [taylor]: Taking taylor expansion of y in y 4.524 * [backup-simplify]: Simplify 0 into 0 4.524 * [backup-simplify]: Simplify 1 into 1 4.524 * [backup-simplify]: Simplify (/ 1 1) into 1 4.524 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 4.524 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 4.524 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.524 * [taylor]: Taking taylor expansion of z in y 4.524 * [backup-simplify]: Simplify z into z 4.524 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.524 * [backup-simplify]: Simplify (sqrt (/ 1 z)) into (sqrt (/ 1 z)) 4.524 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 4.524 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 z)))) into 0 4.524 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.524 * [taylor]: Taking taylor expansion of y in y 4.524 * [backup-simplify]: Simplify 0 into 0 4.524 * [backup-simplify]: Simplify 1 into 1 4.524 * [backup-simplify]: Simplify (/ 1 1) into 1 4.524 * [backup-simplify]: Simplify (* (sqrt (/ 1 z)) 1) into (sqrt (/ 1 z)) 4.525 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 4.525 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.525 * [taylor]: Taking taylor expansion of z in z 4.525 * [backup-simplify]: Simplify 0 into 0 4.525 * [backup-simplify]: Simplify 1 into 1 4.525 * [backup-simplify]: Simplify (/ 1 1) into 1 4.525 * [backup-simplify]: Simplify (sqrt 0) into 0 4.526 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 4.526 * [backup-simplify]: Simplify 0 into 0 4.527 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.527 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 z)) 0) (* 0 1)) into 0 4.527 * [taylor]: Taking taylor expansion of 0 in z 4.527 * [backup-simplify]: Simplify 0 into 0 4.527 * [backup-simplify]: Simplify +nan.0 into +nan.0 4.528 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.528 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 4.528 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 z)))) into 0 4.529 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 z)) 0) (+ (* 0 0) (* 0 1))) into 0 4.529 * [taylor]: Taking taylor expansion of 0 in z 4.529 * [backup-simplify]: Simplify 0 into 0 4.529 * [backup-simplify]: Simplify 0 into 0 4.530 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.531 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 4.531 * [backup-simplify]: Simplify +nan.0 into +nan.0 4.532 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.532 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 4.533 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 z)))) into 0 4.533 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 z)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.533 * [taylor]: Taking taylor expansion of 0 in z 4.533 * [backup-simplify]: Simplify 0 into 0 4.533 * [backup-simplify]: Simplify 0 into 0 4.533 * [backup-simplify]: Simplify 0 into 0 4.534 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.536 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 4.536 * [backup-simplify]: Simplify +nan.0 into +nan.0 4.536 * [backup-simplify]: Simplify (+ (* +nan.0 (* (pow (/ 1 z) 2) (/ 1 (/ 1 y)))) (+ (* +nan.0 (* (/ 1 z) (/ 1 (/ 1 y)))) (* +nan.0 (* 1 (/ 1 (/ 1 y)))))) into (- (+ (* +nan.0 (/ y (pow z 2))) (- (+ (* +nan.0 y) (- (* +nan.0 (/ y z))))))) 4.537 * [backup-simplify]: Simplify (* (* (/ 1 (- y)) (sqrt (sqrt (/ 1 (- z))))) (sqrt (sqrt (/ 1 (- z))))) into (* -1 (/ (sqrt (/ -1 z)) y)) 4.537 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in (y z) around 0 4.537 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in z 4.537 * [taylor]: Taking taylor expansion of -1 in z 4.537 * [backup-simplify]: Simplify -1 into -1 4.537 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in z 4.537 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 4.537 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.537 * [taylor]: Taking taylor expansion of -1 in z 4.537 * [backup-simplify]: Simplify -1 into -1 4.537 * [taylor]: Taking taylor expansion of z in z 4.537 * [backup-simplify]: Simplify 0 into 0 4.537 * [backup-simplify]: Simplify 1 into 1 4.537 * [backup-simplify]: Simplify (/ -1 1) into -1 4.537 * [backup-simplify]: Simplify (sqrt 0) into 0 4.538 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 4.538 * [taylor]: Taking taylor expansion of y in z 4.538 * [backup-simplify]: Simplify y into y 4.538 * [backup-simplify]: Simplify (/ +nan.0 y) into (/ +nan.0 y) 4.538 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in y 4.538 * [taylor]: Taking taylor expansion of -1 in y 4.538 * [backup-simplify]: Simplify -1 into -1 4.538 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y 4.538 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 4.538 * [taylor]: Taking taylor expansion of (/ -1 z) in y 4.538 * [taylor]: Taking taylor expansion of -1 in y 4.538 * [backup-simplify]: Simplify -1 into -1 4.538 * [taylor]: Taking taylor expansion of z in y 4.538 * [backup-simplify]: Simplify z into z 4.538 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 4.538 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z)) 4.538 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 4.538 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0 4.538 * [taylor]: Taking taylor expansion of y in y 4.538 * [backup-simplify]: Simplify 0 into 0 4.539 * [backup-simplify]: Simplify 1 into 1 4.539 * [backup-simplify]: Simplify (/ (sqrt (/ -1 z)) 1) into (sqrt (/ -1 z)) 4.539 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in y 4.539 * [taylor]: Taking taylor expansion of -1 in y 4.539 * [backup-simplify]: Simplify -1 into -1 4.539 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y 4.539 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 4.539 * [taylor]: Taking taylor expansion of (/ -1 z) in y 4.539 * [taylor]: Taking taylor expansion of -1 in y 4.539 * [backup-simplify]: Simplify -1 into -1 4.539 * [taylor]: Taking taylor expansion of z in y 4.539 * [backup-simplify]: Simplify z into z 4.539 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 4.539 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z)) 4.539 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 4.539 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0 4.539 * [taylor]: Taking taylor expansion of y in y 4.539 * [backup-simplify]: Simplify 0 into 0 4.539 * [backup-simplify]: Simplify 1 into 1 4.539 * [backup-simplify]: Simplify (/ (sqrt (/ -1 z)) 1) into (sqrt (/ -1 z)) 4.539 * [backup-simplify]: Simplify (* -1 (sqrt (/ -1 z))) into (* -1 (sqrt (/ -1 z))) 4.539 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 z))) in z 4.539 * [taylor]: Taking taylor expansion of -1 in z 4.539 * [backup-simplify]: Simplify -1 into -1 4.539 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 4.539 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.539 * [taylor]: Taking taylor expansion of -1 in z 4.539 * [backup-simplify]: Simplify -1 into -1 4.539 * [taylor]: Taking taylor expansion of z in z 4.539 * [backup-simplify]: Simplify 0 into 0 4.539 * [backup-simplify]: Simplify 1 into 1 4.540 * [backup-simplify]: Simplify (/ -1 1) into -1 4.540 * [backup-simplify]: Simplify (sqrt 0) into 0 4.541 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 4.542 * [backup-simplify]: Simplify (+ (* -1 +nan.0) (* 0 0)) into (- +nan.0) 4.542 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 4.543 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt (/ -1 z)) (/ 0 1)))) into 0 4.543 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (sqrt (/ -1 z)))) into 0 4.543 * [taylor]: Taking taylor expansion of 0 in z 4.543 * [backup-simplify]: Simplify 0 into 0 4.543 * [backup-simplify]: Simplify 0 into 0 4.543 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 4.545 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 4.546 * [backup-simplify]: Simplify (+ (* -1 +nan.0) (+ (* 0 +nan.0) (* 0 0))) into (- +nan.0) 4.547 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 4.547 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 4.547 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ -1 z)))) into 0 4.548 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt (/ -1 z)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.548 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (sqrt (/ -1 z))))) into 0 4.548 * [taylor]: Taking taylor expansion of 0 in z 4.549 * [backup-simplify]: Simplify 0 into 0 4.549 * [backup-simplify]: Simplify 0 into 0 4.549 * [backup-simplify]: Simplify 0 into 0 4.549 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.551 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 4.553 * [backup-simplify]: Simplify (+ (* -1 +nan.0) (+ (* 0 +nan.0) (+ (* 0 +nan.0) (* 0 0)))) into (- +nan.0) 4.553 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 4.554 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (pow (/ 1 (- z)) 2) (/ 1 (/ 1 (- y))))) (+ (* (- +nan.0) (* (/ 1 (- z)) (/ 1 (/ 1 (- y))))) (* (- +nan.0) (* 1 (/ 1 (/ 1 (- y))))))) into (- (+ (* +nan.0 (/ y (pow z 2))) (- (+ (* +nan.0 y) (- (* +nan.0 (/ y z))))))) 4.554 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1) 4.555 * [backup-simplify]: Simplify (* y (sqrt (sqrt z))) into (* (pow z 1/4) y) 4.555 * [approximate]: Taking taylor expansion of (* (pow z 1/4) y) in (y z) around 0 4.555 * [taylor]: Taking taylor expansion of (* (pow z 1/4) y) in z 4.555 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 4.555 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 4.555 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 4.555 * [taylor]: Taking taylor expansion of 1/4 in z 4.555 * [backup-simplify]: Simplify 1/4 into 1/4 4.555 * [taylor]: Taking taylor expansion of (log z) in z 4.555 * [taylor]: Taking taylor expansion of z in z 4.555 * [backup-simplify]: Simplify 0 into 0 4.555 * [backup-simplify]: Simplify 1 into 1 4.555 * [backup-simplify]: Simplify (log 1) into 0 4.555 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 4.556 * [backup-simplify]: Simplify (* 1/4 (log z)) into (* 1/4 (log z)) 4.556 * [backup-simplify]: Simplify (exp (* 1/4 (log z))) into (pow z 1/4) 4.556 * [taylor]: Taking taylor expansion of y in z 4.556 * [backup-simplify]: Simplify y into y 4.556 * [taylor]: Taking taylor expansion of (* (pow z 1/4) y) in y 4.556 * [taylor]: Taking taylor expansion of (pow z 1/4) in y 4.556 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in y 4.556 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in y 4.556 * [taylor]: Taking taylor expansion of 1/4 in y 4.556 * [backup-simplify]: Simplify 1/4 into 1/4 4.556 * [taylor]: Taking taylor expansion of (log z) in y 4.556 * [taylor]: Taking taylor expansion of z in y 4.556 * [backup-simplify]: Simplify z into z 4.556 * [backup-simplify]: Simplify (log z) into (log z) 4.556 * [backup-simplify]: Simplify (* 1/4 (log z)) into (* 1/4 (log z)) 4.556 * [backup-simplify]: Simplify (exp (* 1/4 (log z))) into (pow z 1/4) 4.556 * [taylor]: Taking taylor expansion of y in y 4.556 * [backup-simplify]: Simplify 0 into 0 4.556 * [backup-simplify]: Simplify 1 into 1 4.556 * [taylor]: Taking taylor expansion of (* (pow z 1/4) y) in y 4.556 * [taylor]: Taking taylor expansion of (pow z 1/4) in y 4.556 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in y 4.556 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in y 4.556 * [taylor]: Taking taylor expansion of 1/4 in y 4.556 * [backup-simplify]: Simplify 1/4 into 1/4 4.556 * [taylor]: Taking taylor expansion of (log z) in y 4.556 * [taylor]: Taking taylor expansion of z in y 4.556 * [backup-simplify]: Simplify z into z 4.556 * [backup-simplify]: Simplify (log z) into (log z) 4.556 * [backup-simplify]: Simplify (* 1/4 (log z)) into (* 1/4 (log z)) 4.557 * [backup-simplify]: Simplify (exp (* 1/4 (log z))) into (pow z 1/4) 4.557 * [taylor]: Taking taylor expansion of y in y 4.557 * [backup-simplify]: Simplify 0 into 0 4.557 * [backup-simplify]: Simplify 1 into 1 4.557 * [backup-simplify]: Simplify (* (pow z 1/4) 0) into 0 4.557 * [taylor]: Taking taylor expansion of 0 in z 4.557 * [backup-simplify]: Simplify 0 into 0 4.557 * [backup-simplify]: Simplify 0 into 0 4.558 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow z 1)))) 1) into 0 4.558 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log z))) into 0 4.559 * [backup-simplify]: Simplify (* (exp (* 1/4 (log z))) (+ (* (/ (pow 0 1) 1)))) into 0 4.559 * [backup-simplify]: Simplify (+ (* (pow z 1/4) 1) (* 0 0)) into (pow z 1/4) 4.559 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 4.559 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 4.559 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 4.559 * [taylor]: Taking taylor expansion of 1/4 in z 4.559 * [backup-simplify]: Simplify 1/4 into 1/4 4.559 * [taylor]: Taking taylor expansion of (log z) in z 4.559 * [taylor]: Taking taylor expansion of z in z 4.559 * [backup-simplify]: Simplify 0 into 0 4.559 * [backup-simplify]: Simplify 1 into 1 4.560 * [backup-simplify]: Simplify (log 1) into 0 4.560 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 4.560 * [backup-simplify]: Simplify (* 1/4 (log z)) into (* 1/4 (log z)) 4.560 * [backup-simplify]: Simplify (exp (* 1/4 (log z))) into (pow z 1/4) 4.560 * [backup-simplify]: Simplify (pow z 1/4) into (pow z 1/4) 4.561 * [backup-simplify]: Simplify 0 into 0 4.562 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow z 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow z 1)))) 2) into 0 4.563 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log z)))) into 0 4.564 * [backup-simplify]: Simplify (* (exp (* 1/4 (log z))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.565 * [backup-simplify]: Simplify (+ (* (pow z 1/4) 0) (+ (* 0 1) (* 0 0))) into 0 4.565 * [taylor]: Taking taylor expansion of 0 in z 4.565 * [backup-simplify]: Simplify 0 into 0 4.565 * [backup-simplify]: Simplify 0 into 0 4.566 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 4.567 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 4.567 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log z))) into 0 4.568 * [backup-simplify]: Simplify (* (exp (* 1/4 (log z))) (+ (* (/ (pow 0 1) 1)))) into 0 4.568 * [backup-simplify]: Simplify 0 into 0 4.568 * [backup-simplify]: Simplify 0 into 0 4.571 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow z 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow z 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow z 1)))) 6) into 0 4.572 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log z))))) into 0 4.574 * [backup-simplify]: Simplify (* (exp (* 1/4 (log z))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.575 * [backup-simplify]: Simplify (+ (* (pow z 1/4) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.575 * [taylor]: Taking taylor expansion of 0 in z 4.575 * [backup-simplify]: Simplify 0 into 0 4.575 * [backup-simplify]: Simplify 0 into 0 4.575 * [backup-simplify]: Simplify 0 into 0 4.575 * [backup-simplify]: Simplify (* (pow z 1/4) (* 1 y)) into (* (pow z 1/4) y) 4.575 * [backup-simplify]: Simplify (* (/ 1 y) (sqrt (sqrt (/ 1 z)))) into (* (pow (/ 1 z) 1/4) (/ 1 y)) 4.575 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (/ 1 y)) in (y z) around 0 4.576 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (/ 1 y)) in z 4.576 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 4.576 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 4.576 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 4.576 * [taylor]: Taking taylor expansion of 1/4 in z 4.576 * [backup-simplify]: Simplify 1/4 into 1/4 4.576 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.576 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.576 * [taylor]: Taking taylor expansion of z in z 4.576 * [backup-simplify]: Simplify 0 into 0 4.576 * [backup-simplify]: Simplify 1 into 1 4.576 * [backup-simplify]: Simplify (/ 1 1) into 1 4.577 * [backup-simplify]: Simplify (log 1) into 0 4.577 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 4.577 * [backup-simplify]: Simplify (* 1/4 (- (log z))) into (* -1/4 (log z)) 4.577 * [backup-simplify]: Simplify (exp (* -1/4 (log z))) into (pow z -1/4) 4.577 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.577 * [taylor]: Taking taylor expansion of y in z 4.577 * [backup-simplify]: Simplify y into y 4.577 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.577 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (/ 1 y)) in y 4.577 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in y 4.577 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in y 4.577 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in y 4.577 * [taylor]: Taking taylor expansion of 1/4 in y 4.577 * [backup-simplify]: Simplify 1/4 into 1/4 4.577 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 4.578 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.578 * [taylor]: Taking taylor expansion of z in y 4.578 * [backup-simplify]: Simplify z into z 4.578 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.578 * [backup-simplify]: Simplify (log (/ 1 z)) into (log (/ 1 z)) 4.578 * [backup-simplify]: Simplify (* 1/4 (log (/ 1 z))) into (* 1/4 (log (/ 1 z))) 4.578 * [backup-simplify]: Simplify (exp (* 1/4 (log (/ 1 z)))) into (pow (/ 1 z) 1/4) 4.578 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.578 * [taylor]: Taking taylor expansion of y in y 4.578 * [backup-simplify]: Simplify 0 into 0 4.578 * [backup-simplify]: Simplify 1 into 1 4.578 * [backup-simplify]: Simplify (/ 1 1) into 1 4.578 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (/ 1 y)) in y 4.578 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in y 4.578 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in y 4.579 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in y 4.579 * [taylor]: Taking taylor expansion of 1/4 in y 4.579 * [backup-simplify]: Simplify 1/4 into 1/4 4.579 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 4.579 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.579 * [taylor]: Taking taylor expansion of z in y 4.579 * [backup-simplify]: Simplify z into z 4.579 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.579 * [backup-simplify]: Simplify (log (/ 1 z)) into (log (/ 1 z)) 4.579 * [backup-simplify]: Simplify (* 1/4 (log (/ 1 z))) into (* 1/4 (log (/ 1 z))) 4.579 * [backup-simplify]: Simplify (exp (* 1/4 (log (/ 1 z)))) into (pow (/ 1 z) 1/4) 4.579 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.579 * [taylor]: Taking taylor expansion of y in y 4.579 * [backup-simplify]: Simplify 0 into 0 4.579 * [backup-simplify]: Simplify 1 into 1 4.579 * [backup-simplify]: Simplify (/ 1 1) into 1 4.580 * [backup-simplify]: Simplify (* (pow (/ 1 z) 1/4) 1) into (pow (/ 1 z) 1/4) 4.580 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 4.580 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 4.580 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 4.580 * [taylor]: Taking taylor expansion of 1/4 in z 4.580 * [backup-simplify]: Simplify 1/4 into 1/4 4.580 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.580 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.580 * [taylor]: Taking taylor expansion of z in z 4.580 * [backup-simplify]: Simplify 0 into 0 4.580 * [backup-simplify]: Simplify 1 into 1 4.580 * [backup-simplify]: Simplify (/ 1 1) into 1 4.581 * [backup-simplify]: Simplify (log 1) into 0 4.581 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 4.581 * [backup-simplify]: Simplify (* 1/4 (- (log z))) into (* -1/4 (log z)) 4.582 * [backup-simplify]: Simplify (exp (* -1/4 (log z))) into (pow z -1/4) 4.582 * [backup-simplify]: Simplify (pow z -1/4) into (pow z -1/4) 4.582 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.583 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 4.583 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ 1 z) 1)))) 1) into 0 4.584 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (/ 1 z)))) into 0 4.585 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (/ 1 z)))) (+ (* (/ (pow 0 1) 1)))) into 0 4.585 * [backup-simplify]: Simplify (+ (* (pow (/ 1 z) 1/4) 0) (* 0 1)) into 0 4.585 * [taylor]: Taking taylor expansion of 0 in z 4.585 * [backup-simplify]: Simplify 0 into 0 4.585 * [backup-simplify]: Simplify 0 into 0 4.586 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.588 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 4.588 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 4.588 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (- (log z)))) into 0 4.590 * [backup-simplify]: Simplify (* (exp (* -1/4 (log z))) (+ (* (/ (pow 0 1) 1)))) into 0 4.590 * [backup-simplify]: Simplify 0 into 0 4.591 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.591 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 4.593 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (/ 1 z) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (/ 1 z) 1)))) 2) into 0 4.594 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (/ 1 z))))) into 0 4.595 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (/ 1 z)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.596 * [backup-simplify]: Simplify (+ (* (pow (/ 1 z) 1/4) 0) (+ (* 0 0) (* 0 1))) into 0 4.596 * [taylor]: Taking taylor expansion of 0 in z 4.596 * [backup-simplify]: Simplify 0 into 0 4.596 * [backup-simplify]: Simplify 0 into 0 4.596 * [backup-simplify]: Simplify 0 into 0 4.597 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.599 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 4.599 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 4.600 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (- (log z))))) into 0 4.601 * [backup-simplify]: Simplify (* (exp (* -1/4 (log z))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.601 * [backup-simplify]: Simplify 0 into 0 4.601 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.601 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 4.603 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (/ 1 z) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (/ 1 z) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (/ 1 z) 1)))) 6) into 0 4.604 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (/ 1 z)))))) into 0 4.605 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (/ 1 z)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.605 * [backup-simplify]: Simplify (+ (* (pow (/ 1 z) 1/4) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.605 * [taylor]: Taking taylor expansion of 0 in z 4.605 * [backup-simplify]: Simplify 0 into 0 4.605 * [backup-simplify]: Simplify 0 into 0 4.606 * [backup-simplify]: Simplify (* (pow (/ 1 z) -1/4) (* 1 (/ 1 (/ 1 y)))) into (* (pow z 1/4) y) 4.606 * [backup-simplify]: Simplify (* (/ 1 (- y)) (sqrt (sqrt (/ 1 (- z))))) into (* -1 (* (sqrt (sqrt (/ -1 z))) (/ 1 y))) 4.606 * [approximate]: Taking taylor expansion of (* -1 (* (sqrt (sqrt (/ -1 z))) (/ 1 y))) in (y z) around 0 4.606 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (sqrt (/ -1 z))) (/ 1 y))) in z 4.606 * [taylor]: Taking taylor expansion of -1 in z 4.606 * [backup-simplify]: Simplify -1 into -1 4.606 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt (/ -1 z))) (/ 1 y)) in z 4.606 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 4.606 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 4.606 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.606 * [taylor]: Taking taylor expansion of -1 in z 4.606 * [backup-simplify]: Simplify -1 into -1 4.606 * [taylor]: Taking taylor expansion of z in z 4.606 * [backup-simplify]: Simplify 0 into 0 4.606 * [backup-simplify]: Simplify 1 into 1 4.606 * [backup-simplify]: Simplify (/ -1 1) into -1 4.606 * [backup-simplify]: Simplify (sqrt 0) into 0 4.607 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 4.608 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0) 4.608 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 4.610 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 4.611 * [backup-simplify]: Simplify (/ +nan.0 (* 2 (sqrt +nan.0))) into (/ +nan.0 (sqrt +nan.0)) 4.611 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.611 * [taylor]: Taking taylor expansion of y in z 4.611 * [backup-simplify]: Simplify y into y 4.611 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.611 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (sqrt (/ -1 z))) (/ 1 y))) in y 4.611 * [taylor]: Taking taylor expansion of -1 in y 4.611 * [backup-simplify]: Simplify -1 into -1 4.611 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt (/ -1 z))) (/ 1 y)) in y 4.611 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in y 4.611 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 4.611 * [taylor]: Taking taylor expansion of (/ -1 z) in y 4.611 * [taylor]: Taking taylor expansion of -1 in y 4.611 * [backup-simplify]: Simplify -1 into -1 4.611 * [taylor]: Taking taylor expansion of z in y 4.611 * [backup-simplify]: Simplify z into z 4.611 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 4.611 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z)) 4.611 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 4.611 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0 4.611 * [backup-simplify]: Simplify (sqrt (sqrt (/ -1 z))) into (sqrt (sqrt (/ -1 z))) 4.611 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (sqrt (/ -1 z))))) into 0 4.611 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.611 * [taylor]: Taking taylor expansion of y in y 4.611 * [backup-simplify]: Simplify 0 into 0 4.611 * [backup-simplify]: Simplify 1 into 1 4.612 * [backup-simplify]: Simplify (/ 1 1) into 1 4.612 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (sqrt (/ -1 z))) (/ 1 y))) in y 4.612 * [taylor]: Taking taylor expansion of -1 in y 4.612 * [backup-simplify]: Simplify -1 into -1 4.612 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt (/ -1 z))) (/ 1 y)) in y 4.612 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in y 4.612 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 4.612 * [taylor]: Taking taylor expansion of (/ -1 z) in y 4.612 * [taylor]: Taking taylor expansion of -1 in y 4.612 * [backup-simplify]: Simplify -1 into -1 4.612 * [taylor]: Taking taylor expansion of z in y 4.612 * [backup-simplify]: Simplify z into z 4.612 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 4.612 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z)) 4.612 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 4.612 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0 4.612 * [backup-simplify]: Simplify (sqrt (sqrt (/ -1 z))) into (sqrt (sqrt (/ -1 z))) 4.612 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (sqrt (/ -1 z))))) into 0 4.612 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.612 * [taylor]: Taking taylor expansion of y in y 4.612 * [backup-simplify]: Simplify 0 into 0 4.612 * [backup-simplify]: Simplify 1 into 1 4.612 * [backup-simplify]: Simplify (/ 1 1) into 1 4.613 * [backup-simplify]: Simplify (* (sqrt (sqrt (/ -1 z))) 1) into (sqrt (sqrt (/ -1 z))) 4.613 * [backup-simplify]: Simplify (* -1 (sqrt (sqrt (/ -1 z)))) into (* -1 (sqrt (sqrt (/ -1 z)))) 4.613 * [taylor]: Taking taylor expansion of (* -1 (sqrt (sqrt (/ -1 z)))) in z 4.613 * [taylor]: Taking taylor expansion of -1 in z 4.613 * [backup-simplify]: Simplify -1 into -1 4.613 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 4.613 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 4.613 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.613 * [taylor]: Taking taylor expansion of -1 in z 4.613 * [backup-simplify]: Simplify -1 into -1 4.613 * [taylor]: Taking taylor expansion of z in z 4.613 * [backup-simplify]: Simplify 0 into 0 4.613 * [backup-simplify]: Simplify 1 into 1 4.613 * [backup-simplify]: Simplify (/ -1 1) into -1 4.613 * [backup-simplify]: Simplify (sqrt 0) into 0 4.614 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 4.614 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0) 4.619 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 4.621 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 4.622 * [backup-simplify]: Simplify (/ +nan.0 (* 2 (sqrt +nan.0))) into (/ +nan.0 (sqrt +nan.0)) 4.623 * [backup-simplify]: Simplify (* -1 (sqrt +nan.0)) into (* -1 (sqrt +nan.0)) 4.623 * [backup-simplify]: Simplify (* -1 (sqrt +nan.0)) into (* -1 (sqrt +nan.0)) 4.624 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.624 * [backup-simplify]: Simplify (+ (* (sqrt (sqrt (/ -1 z))) 0) (* 0 1)) into 0 4.624 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (sqrt (sqrt (/ -1 z))))) into 0 4.624 * [taylor]: Taking taylor expansion of 0 in z 4.624 * [backup-simplify]: Simplify 0 into 0 4.624 * [backup-simplify]: Simplify 0 into 0 4.626 * [backup-simplify]: Simplify (+ (* -1 (/ +nan.0 (sqrt +nan.0))) (* 0 (sqrt +nan.0))) into (- (* +nan.0 (/ 1 (sqrt +nan.0)))) 4.627 * [backup-simplify]: Simplify (- (* +nan.0 (/ 1 (sqrt +nan.0)))) into (- (* +nan.0 (/ 1 (sqrt +nan.0)))) 4.628 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.628 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 4.629 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ -1 z)))) into 0 4.629 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (sqrt (/ -1 z))))) into 0 4.630 * [backup-simplify]: Simplify (+ (* (sqrt (sqrt (/ -1 z))) 0) (+ (* 0 0) (* 0 1))) into 0 4.630 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (sqrt (sqrt (/ -1 z)))))) into 0 4.630 * [taylor]: Taking taylor expansion of 0 in z 4.630 * [backup-simplify]: Simplify 0 into 0 4.630 * [backup-simplify]: Simplify 0 into 0 4.630 * [backup-simplify]: Simplify 0 into 0 4.631 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.633 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 4.636 * [backup-simplify]: Simplify (/ (- +nan.0 (pow (/ +nan.0 (sqrt +nan.0)) 2) (+)) (* 2 (sqrt +nan.0))) into (* -1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0))) 4.644 * [backup-simplify]: Simplify (+ (* -1 (* -1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0)))) (+ (* 0 (/ +nan.0 (sqrt +nan.0))) (* 0 (sqrt +nan.0)))) into (- (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 3))) (- (* +nan.0 (/ 1 (sqrt +nan.0)))))) 4.648 * [backup-simplify]: Simplify (- (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 3))) (- (* +nan.0 (/ 1 (sqrt +nan.0)))))) into (- (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 3))) (- (* +nan.0 (/ 1 (sqrt +nan.0)))))) 4.658 * [backup-simplify]: Simplify (+ (* (- (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 3))) (- (* +nan.0 (/ 1 (sqrt +nan.0)))))) (* (pow (/ 1 (- z)) 2) (/ 1 (/ 1 (- y))))) (+ (* (- (* +nan.0 (/ 1 (sqrt +nan.0)))) (* (/ 1 (- z)) (/ 1 (/ 1 (- y))))) (* (* -1 (sqrt +nan.0)) (* 1 (/ 1 (/ 1 (- y))))))) into (- (* y (sqrt +nan.0)) (+ (* +nan.0 (/ y (* (pow z 2) (pow (sqrt +nan.0) 3)))) (- (+ (* +nan.0 (/ y (* (pow z 2) (sqrt +nan.0)))) (- (* +nan.0 (/ y (* z (sqrt +nan.0))))))))) 4.658 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2) 4.658 * [backup-simplify]: Simplify (sqrt (sqrt z)) into (pow z 1/4) 4.658 * [approximate]: Taking taylor expansion of (pow z 1/4) in (z) around 0 4.658 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 4.658 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 4.658 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 4.658 * [taylor]: Taking taylor expansion of 1/4 in z 4.658 * [backup-simplify]: Simplify 1/4 into 1/4 4.658 * [taylor]: Taking taylor expansion of (log z) in z 4.658 * [taylor]: Taking taylor expansion of z in z 4.658 * [backup-simplify]: Simplify 0 into 0 4.658 * [backup-simplify]: Simplify 1 into 1 4.659 * [backup-simplify]: Simplify (log 1) into 0 4.659 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 4.659 * [backup-simplify]: Simplify (* 1/4 (log z)) into (* 1/4 (log z)) 4.659 * [backup-simplify]: Simplify (exp (* 1/4 (log z))) into (pow z 1/4) 4.659 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 4.659 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 4.659 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 4.659 * [taylor]: Taking taylor expansion of 1/4 in z 4.659 * [backup-simplify]: Simplify 1/4 into 1/4 4.660 * [taylor]: Taking taylor expansion of (log z) in z 4.660 * [taylor]: Taking taylor expansion of z in z 4.660 * [backup-simplify]: Simplify 0 into 0 4.660 * [backup-simplify]: Simplify 1 into 1 4.660 * [backup-simplify]: Simplify (log 1) into 0 4.660 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 4.661 * [backup-simplify]: Simplify (* 1/4 (log z)) into (* 1/4 (log z)) 4.661 * [backup-simplify]: Simplify (exp (* 1/4 (log z))) into (pow z 1/4) 4.661 * [backup-simplify]: Simplify (pow z 1/4) into (pow z 1/4) 4.662 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 4.663 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 4.663 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log z))) into 0 4.664 * [backup-simplify]: Simplify (* (exp (* 1/4 (log z))) (+ (* (/ (pow 0 1) 1)))) into 0 4.664 * [backup-simplify]: Simplify 0 into 0 4.667 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 4.668 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 4.668 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log z)))) into 0 4.670 * [backup-simplify]: Simplify (* (exp (* 1/4 (log z))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.670 * [backup-simplify]: Simplify 0 into 0 4.674 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 4.675 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 4.676 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log z))))) into 0 4.677 * [backup-simplify]: Simplify (* (exp (* 1/4 (log z))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.677 * [backup-simplify]: Simplify 0 into 0 4.682 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0 4.683 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 4.684 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log z)))))) into 0 4.685 * [backup-simplify]: Simplify (* (exp (* 1/4 (log z))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.685 * [backup-simplify]: Simplify 0 into 0 4.695 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 4.695 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 4.696 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log z))))))) into 0 4.698 * [backup-simplify]: Simplify (* (exp (* 1/4 (log z))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.698 * [backup-simplify]: Simplify 0 into 0 4.726 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0 4.726 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 4.729 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log z)))))))) into 0 4.734 * [backup-simplify]: Simplify (* (exp (* 1/4 (log z))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.735 * [backup-simplify]: Simplify 0 into 0 4.735 * [backup-simplify]: Simplify (pow z 1/4) into (pow z 1/4) 4.735 * [backup-simplify]: Simplify (sqrt (sqrt (/ 1 z))) into (pow (/ 1 z) 1/4) 4.735 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/4) in (z) around 0 4.735 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 4.735 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 4.735 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 4.735 * [taylor]: Taking taylor expansion of 1/4 in z 4.735 * [backup-simplify]: Simplify 1/4 into 1/4 4.735 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.735 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.735 * [taylor]: Taking taylor expansion of z in z 4.735 * [backup-simplify]: Simplify 0 into 0 4.735 * [backup-simplify]: Simplify 1 into 1 4.736 * [backup-simplify]: Simplify (/ 1 1) into 1 4.736 * [backup-simplify]: Simplify (log 1) into 0 4.736 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 4.736 * [backup-simplify]: Simplify (* 1/4 (- (log z))) into (* -1/4 (log z)) 4.737 * [backup-simplify]: Simplify (exp (* -1/4 (log z))) into (pow z -1/4) 4.737 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 4.737 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 4.737 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 4.737 * [taylor]: Taking taylor expansion of 1/4 in z 4.737 * [backup-simplify]: Simplify 1/4 into 1/4 4.737 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.737 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.737 * [taylor]: Taking taylor expansion of z in z 4.737 * [backup-simplify]: Simplify 0 into 0 4.737 * [backup-simplify]: Simplify 1 into 1 4.737 * [backup-simplify]: Simplify (/ 1 1) into 1 4.737 * [backup-simplify]: Simplify (log 1) into 0 4.738 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 4.738 * [backup-simplify]: Simplify (* 1/4 (- (log z))) into (* -1/4 (log z)) 4.738 * [backup-simplify]: Simplify (exp (* -1/4 (log z))) into (pow z -1/4) 4.738 * [backup-simplify]: Simplify (pow z -1/4) into (pow z -1/4) 4.739 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.741 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 4.741 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 4.742 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (- (log z)))) into 0 4.743 * [backup-simplify]: Simplify (* (exp (* -1/4 (log z))) (+ (* (/ (pow 0 1) 1)))) into 0 4.743 * [backup-simplify]: Simplify 0 into 0 4.744 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.746 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 4.747 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 4.748 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (- (log z))))) into 0 4.749 * [backup-simplify]: Simplify (* (exp (* -1/4 (log z))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.749 * [backup-simplify]: Simplify 0 into 0 4.750 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.756 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 4.756 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 4.758 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log z)))))) into 0 4.759 * [backup-simplify]: Simplify (* (exp (* -1/4 (log z))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.759 * [backup-simplify]: Simplify 0 into 0 4.760 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.771 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0 4.772 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 4.774 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log z))))))) into 0 4.776 * [backup-simplify]: Simplify (* (exp (* -1/4 (log z))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.776 * [backup-simplify]: Simplify 0 into 0 4.777 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.794 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 4.795 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 4.796 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log z)))))))) into 0 4.798 * [backup-simplify]: Simplify (* (exp (* -1/4 (log z))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.798 * [backup-simplify]: Simplify 0 into 0 4.799 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.815 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0 4.816 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 4.817 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log z))))))))) into 0 4.820 * [backup-simplify]: Simplify (* (exp (* -1/4 (log z))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.820 * [backup-simplify]: Simplify 0 into 0 4.820 * [backup-simplify]: Simplify (pow (/ 1 z) -1/4) into (pow (/ 1 z) -1/4) 4.820 * [backup-simplify]: Simplify (sqrt (sqrt (/ 1 (- z)))) into (sqrt (sqrt (/ -1 z))) 4.820 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in (z) around 0 4.820 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 4.820 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 4.820 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.820 * [taylor]: Taking taylor expansion of -1 in z 4.820 * [backup-simplify]: Simplify -1 into -1 4.820 * [taylor]: Taking taylor expansion of z in z 4.820 * [backup-simplify]: Simplify 0 into 0 4.821 * [backup-simplify]: Simplify 1 into 1 4.821 * [backup-simplify]: Simplify (/ -1 1) into -1 4.821 * [backup-simplify]: Simplify (sqrt 0) into 0 4.822 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 4.822 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0) 4.823 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 4.825 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 4.826 * [backup-simplify]: Simplify (/ +nan.0 (* 2 (sqrt +nan.0))) into (/ +nan.0 (sqrt +nan.0)) 4.826 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 4.826 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 4.826 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.826 * [taylor]: Taking taylor expansion of -1 in z 4.826 * [backup-simplify]: Simplify -1 into -1 4.826 * [taylor]: Taking taylor expansion of z in z 4.826 * [backup-simplify]: Simplify 0 into 0 4.826 * [backup-simplify]: Simplify 1 into 1 4.826 * [backup-simplify]: Simplify (/ -1 1) into -1 4.827 * [backup-simplify]: Simplify (sqrt 0) into 0 4.828 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 4.828 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0) 4.829 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 4.832 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 4.833 * [backup-simplify]: Simplify (/ +nan.0 (* 2 (sqrt +nan.0))) into (/ +nan.0 (sqrt +nan.0)) 4.834 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0) 4.835 * [backup-simplify]: Simplify (/ +nan.0 (sqrt +nan.0)) into (/ +nan.0 (sqrt +nan.0)) 4.836 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.846 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 4.852 * [backup-simplify]: Simplify (/ (- +nan.0 (pow (/ +nan.0 (sqrt +nan.0)) 2) (+)) (* 2 (sqrt +nan.0))) into (* -1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0))) 4.859 * [backup-simplify]: Simplify (* -1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0))) into (* 1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0))) 4.865 * [backup-simplify]: Simplify (+ (* (* 1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0))) (pow (/ 1 (- z)) 2)) (+ (* (/ +nan.0 (sqrt +nan.0)) (/ 1 (- z))) (sqrt +nan.0))) into (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (pow z 2) (sqrt +nan.0)))) (- (+ (* +nan.0 (/ 1 (* z (sqrt +nan.0)))) (- (* +nan.0 (/ 1 (* (pow z 2) (pow (sqrt +nan.0) 3))))))))) 4.865 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2) 4.865 * [backup-simplify]: Simplify (sqrt (sqrt z)) into (pow z 1/4) 4.865 * [approximate]: Taking taylor expansion of (pow z 1/4) in (z) around 0 4.865 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 4.865 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 4.865 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 4.865 * [taylor]: Taking taylor expansion of 1/4 in z 4.865 * [backup-simplify]: Simplify 1/4 into 1/4 4.865 * [taylor]: Taking taylor expansion of (log z) in z 4.865 * [taylor]: Taking taylor expansion of z in z 4.865 * [backup-simplify]: Simplify 0 into 0 4.865 * [backup-simplify]: Simplify 1 into 1 4.866 * [backup-simplify]: Simplify (log 1) into 0 4.866 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 4.866 * [backup-simplify]: Simplify (* 1/4 (log z)) into (* 1/4 (log z)) 4.866 * [backup-simplify]: Simplify (exp (* 1/4 (log z))) into (pow z 1/4) 4.866 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 4.866 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 4.866 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 4.866 * [taylor]: Taking taylor expansion of 1/4 in z 4.866 * [backup-simplify]: Simplify 1/4 into 1/4 4.866 * [taylor]: Taking taylor expansion of (log z) in z 4.866 * [taylor]: Taking taylor expansion of z in z 4.866 * [backup-simplify]: Simplify 0 into 0 4.866 * [backup-simplify]: Simplify 1 into 1 4.866 * [backup-simplify]: Simplify (log 1) into 0 4.867 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 4.867 * [backup-simplify]: Simplify (* 1/4 (log z)) into (* 1/4 (log z)) 4.867 * [backup-simplify]: Simplify (exp (* 1/4 (log z))) into (pow z 1/4) 4.867 * [backup-simplify]: Simplify (pow z 1/4) into (pow z 1/4) 4.868 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 4.868 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 4.868 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log z))) into 0 4.869 * [backup-simplify]: Simplify (* (exp (* 1/4 (log z))) (+ (* (/ (pow 0 1) 1)))) into 0 4.869 * [backup-simplify]: Simplify 0 into 0 4.870 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 4.871 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 4.871 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log z)))) into 0 4.872 * [backup-simplify]: Simplify (* (exp (* 1/4 (log z))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.872 * [backup-simplify]: Simplify 0 into 0 4.875 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 4.875 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 4.876 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log z))))) into 0 4.876 * [backup-simplify]: Simplify (* (exp (* 1/4 (log z))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.877 * [backup-simplify]: Simplify 0 into 0 4.882 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0 4.883 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 4.884 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log z)))))) into 0 4.885 * [backup-simplify]: Simplify (* (exp (* 1/4 (log z))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.885 * [backup-simplify]: Simplify 0 into 0 4.894 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 4.894 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 4.896 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log z))))))) into 0 4.898 * [backup-simplify]: Simplify (* (exp (* 1/4 (log z))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.898 * [backup-simplify]: Simplify 0 into 0 4.930 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0 4.931 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 4.933 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log z)))))))) into 0 4.938 * [backup-simplify]: Simplify (* (exp (* 1/4 (log z))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.938 * [backup-simplify]: Simplify 0 into 0 4.938 * [backup-simplify]: Simplify (pow z 1/4) into (pow z 1/4) 4.939 * [backup-simplify]: Simplify (sqrt (sqrt (/ 1 z))) into (pow (/ 1 z) 1/4) 4.939 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/4) in (z) around 0 4.939 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 4.939 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 4.939 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 4.939 * [taylor]: Taking taylor expansion of 1/4 in z 4.939 * [backup-simplify]: Simplify 1/4 into 1/4 4.939 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.939 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.939 * [taylor]: Taking taylor expansion of z in z 4.939 * [backup-simplify]: Simplify 0 into 0 4.939 * [backup-simplify]: Simplify 1 into 1 4.939 * [backup-simplify]: Simplify (/ 1 1) into 1 4.939 * [backup-simplify]: Simplify (log 1) into 0 4.940 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 4.940 * [backup-simplify]: Simplify (* 1/4 (- (log z))) into (* -1/4 (log z)) 4.940 * [backup-simplify]: Simplify (exp (* -1/4 (log z))) into (pow z -1/4) 4.940 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 4.940 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 4.940 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 4.940 * [taylor]: Taking taylor expansion of 1/4 in z 4.940 * [backup-simplify]: Simplify 1/4 into 1/4 4.940 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.940 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.940 * [taylor]: Taking taylor expansion of z in z 4.940 * [backup-simplify]: Simplify 0 into 0 4.940 * [backup-simplify]: Simplify 1 into 1 4.941 * [backup-simplify]: Simplify (/ 1 1) into 1 4.941 * [backup-simplify]: Simplify (log 1) into 0 4.941 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 4.942 * [backup-simplify]: Simplify (* 1/4 (- (log z))) into (* -1/4 (log z)) 4.942 * [backup-simplify]: Simplify (exp (* -1/4 (log z))) into (pow z -1/4) 4.942 * [backup-simplify]: Simplify (pow z -1/4) into (pow z -1/4) 4.943 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.944 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 4.944 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 4.945 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (- (log z)))) into 0 4.945 * [backup-simplify]: Simplify (* (exp (* -1/4 (log z))) (+ (* (/ (pow 0 1) 1)))) into 0 4.945 * [backup-simplify]: Simplify 0 into 0 4.946 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.949 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 4.949 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 4.950 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (- (log z))))) into 0 4.951 * [backup-simplify]: Simplify (* (exp (* -1/4 (log z))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.951 * [backup-simplify]: Simplify 0 into 0 4.952 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.962 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 4.963 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 4.964 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log z)))))) into 0 4.966 * [backup-simplify]: Simplify (* (exp (* -1/4 (log z))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.966 * [backup-simplify]: Simplify 0 into 0 4.967 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.977 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0 4.977 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 4.979 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log z))))))) into 0 4.980 * [backup-simplify]: Simplify (* (exp (* -1/4 (log z))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.980 * [backup-simplify]: Simplify 0 into 0 4.981 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.991 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 4.991 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 4.993 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log z)))))))) into 0 4.995 * [backup-simplify]: Simplify (* (exp (* -1/4 (log z))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.995 * [backup-simplify]: Simplify 0 into 0 4.996 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.013 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0 5.014 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 5.015 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log z))))))))) into 0 5.018 * [backup-simplify]: Simplify (* (exp (* -1/4 (log z))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.018 * [backup-simplify]: Simplify 0 into 0 5.019 * [backup-simplify]: Simplify (pow (/ 1 z) -1/4) into (pow (/ 1 z) -1/4) 5.019 * [backup-simplify]: Simplify (sqrt (sqrt (/ 1 (- z)))) into (sqrt (sqrt (/ -1 z))) 5.019 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in (z) around 0 5.019 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 5.019 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 5.019 * [taylor]: Taking taylor expansion of (/ -1 z) in z 5.019 * [taylor]: Taking taylor expansion of -1 in z 5.019 * [backup-simplify]: Simplify -1 into -1 5.019 * [taylor]: Taking taylor expansion of z in z 5.019 * [backup-simplify]: Simplify 0 into 0 5.019 * [backup-simplify]: Simplify 1 into 1 5.019 * [backup-simplify]: Simplify (/ -1 1) into -1 5.019 * [backup-simplify]: Simplify (sqrt 0) into 0 5.020 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 5.020 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0) 5.021 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 5.023 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 5.024 * [backup-simplify]: Simplify (/ +nan.0 (* 2 (sqrt +nan.0))) into (/ +nan.0 (sqrt +nan.0)) 5.024 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 5.024 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 5.024 * [taylor]: Taking taylor expansion of (/ -1 z) in z 5.024 * [taylor]: Taking taylor expansion of -1 in z 5.024 * [backup-simplify]: Simplify -1 into -1 5.024 * [taylor]: Taking taylor expansion of z in z 5.024 * [backup-simplify]: Simplify 0 into 0 5.024 * [backup-simplify]: Simplify 1 into 1 5.024 * [backup-simplify]: Simplify (/ -1 1) into -1 5.025 * [backup-simplify]: Simplify (sqrt 0) into 0 5.025 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 5.026 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0) 5.026 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 5.028 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 5.029 * [backup-simplify]: Simplify (/ +nan.0 (* 2 (sqrt +nan.0))) into (/ +nan.0 (sqrt +nan.0)) 5.029 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0) 5.030 * [backup-simplify]: Simplify (/ +nan.0 (sqrt +nan.0)) into (/ +nan.0 (sqrt +nan.0)) 5.030 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.032 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 5.035 * [backup-simplify]: Simplify (/ (- +nan.0 (pow (/ +nan.0 (sqrt +nan.0)) 2) (+)) (* 2 (sqrt +nan.0))) into (* -1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0))) 5.039 * [backup-simplify]: Simplify (* -1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0))) into (* 1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0))) 5.046 * [backup-simplify]: Simplify (+ (* (* 1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0))) (pow (/ 1 (- z)) 2)) (+ (* (/ +nan.0 (sqrt +nan.0)) (/ 1 (- z))) (sqrt +nan.0))) into (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (pow z 2) (sqrt +nan.0)))) (- (+ (* +nan.0 (/ 1 (* z (sqrt +nan.0)))) (- (* +nan.0 (/ 1 (* (pow z 2) (pow (sqrt +nan.0) 3))))))))) 5.046 * * * [progress]: simplifying candidates 5.049 * [simplify]: Simplifying: (expm1 (* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))) (log1p (* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt z))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt z))) (+ (+ (log y) (log (sqrt (sqrt z)))) (log (sqrt (sqrt z)))) (+ (log (* y (sqrt (sqrt z)))) (log (sqrt (sqrt z)))) (log (* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))) (exp (* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* (* (* y y) y) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* (* (* y (sqrt (sqrt z))) (* y (sqrt (sqrt z)))) (* y (sqrt (sqrt z)))) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (cbrt (* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))) (cbrt (* (* y (sqrt (sqrt z))) (sqrt (sqrt z))))) (cbrt (* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* (* (* y (sqrt (sqrt z))) (sqrt (sqrt z))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))) (sqrt (* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))) (sqrt (* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* y (sqrt (sqrt z))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))))) (* (* y (sqrt (sqrt z))) (sqrt (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt (* (cbrt z) (cbrt z))))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt 1))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (* (* y (sqrt (sqrt z))) (sqrt 1)) (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (* (* y (sqrt (sqrt z))) 1) (* (sqrt (sqrt z)) (sqrt (sqrt z))) (expm1 (* y (sqrt (sqrt z)))) (log1p (* y (sqrt (sqrt z)))) (* y (sqrt (sqrt z))) (+ (log y) (log (sqrt (sqrt z)))) (log (* y (sqrt (sqrt z)))) (exp (* y (sqrt (sqrt z)))) (* (* (* y y) y) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (cbrt (* y (sqrt (sqrt z)))) (cbrt (* y (sqrt (sqrt z))))) (cbrt (* y (sqrt (sqrt z)))) (* (* (* y (sqrt (sqrt z))) (* y (sqrt (sqrt z)))) (* y (sqrt (sqrt z)))) (sqrt (* y (sqrt (sqrt z)))) (sqrt (* y (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* y (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))))) (* y (sqrt (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* y (sqrt (sqrt (* (cbrt z) (cbrt z))))) (* y (sqrt (sqrt (sqrt z)))) (* y (sqrt (sqrt 1))) (* y (sqrt (sqrt (sqrt z)))) (* y (sqrt 1)) (* y (sqrt (sqrt (sqrt z)))) (* y 1) (* (cbrt y) (sqrt (sqrt z))) (* (sqrt y) (sqrt (sqrt z))) (* y (sqrt (sqrt z))) (expm1 (sqrt (sqrt z))) (log1p (sqrt (sqrt z))) (log (sqrt (sqrt z))) (exp (sqrt (sqrt z))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (cbrt (sqrt (sqrt z))) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (sqrt (cbrt (sqrt z))) (sqrt (sqrt (* (cbrt z) (cbrt z)))) (sqrt (sqrt (cbrt z))) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) (sqrt (sqrt 1)) (sqrt (sqrt z)) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) (sqrt 1) (sqrt (sqrt z)) (/ 1/2 2) (/ 1 2) (/ (/ 1 2) 2) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) (expm1 (sqrt (sqrt z))) (log1p (sqrt (sqrt z))) (log (sqrt (sqrt z))) (exp (sqrt (sqrt z))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (cbrt (sqrt (sqrt z))) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (sqrt (cbrt (sqrt z))) (sqrt (sqrt (* (cbrt z) (cbrt z)))) (sqrt (sqrt (cbrt z))) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) (sqrt (sqrt 1)) (sqrt (sqrt z)) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) (sqrt 1) (sqrt (sqrt z)) (/ 1/2 2) (/ 1 2) (/ (/ 1 2) 2) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) (- (+ (* +nan.0 (* (pow z 3) y)) (- (+ (* +nan.0 (* z y)) (- (* +nan.0 (* (pow z 2) y))))))) (- (+ (* +nan.0 (/ y (pow z 2))) (- (+ (* +nan.0 y) (- (* +nan.0 (/ y z))))))) (- (+ (* +nan.0 (/ y (pow z 2))) (- (+ (* +nan.0 y) (- (* +nan.0 (/ y z))))))) (* (pow z 1/4) y) (* (pow z 1/4) y) (- (* y (sqrt +nan.0)) (+ (* +nan.0 (/ y (* (pow z 2) (pow (sqrt +nan.0) 3)))) (- (+ (* +nan.0 (/ y (* (pow z 2) (sqrt +nan.0)))) (- (* +nan.0 (/ y (* z (sqrt +nan.0))))))))) (pow z 1/4) (pow (/ 1 z) -1/4) (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (pow z 2) (sqrt +nan.0)))) (- (+ (* +nan.0 (/ 1 (* z (sqrt +nan.0)))) (- (* +nan.0 (/ 1 (* (pow z 2) (pow (sqrt +nan.0) 3))))))))) (pow z 1/4) (pow (/ 1 z) -1/4) (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (pow z 2) (sqrt +nan.0)))) (- (+ (* +nan.0 (/ 1 (* z (sqrt +nan.0)))) (- (* +nan.0 (/ 1 (* (pow z 2) (pow (sqrt +nan.0) 3))))))))) 5.051 * * [simplify]: Extracting # 0 : cost 67 inf + 0 5.051 * * [simplify]: Extracting # 1 : cost 92 inf + 0 5.052 * * [simplify]: Extracting # 2 : cost 93 inf + 203 5.053 * * [simplify]: Extracting # 3 : cost 69 inf + 4375 5.055 * * [simplify]: Extracting # 4 : cost 46 inf + 11307 5.057 * * [simplify]: Extracting # 5 : cost 42 inf + 14483 5.060 * * [simplify]: Extracting # 6 : cost 41 inf + 15809 5.067 * * [simplify]: Extracting # 7 : cost 28 inf + 18989 5.069 * * [simplify]: Extracting # 8 : cost 15 inf + 25866 5.071 * * [simplify]: Extracting # 9 : cost 10 inf + 27263 5.073 * * [simplify]: Extracting # 10 : cost 5 inf + 29973 5.076 * * [simplify]: Extracting # 11 : cost 3 inf + 31412 5.078 * * [simplify]: Extracting # 12 : cost 2 inf + 32026 5.080 * * [simplify]: Extracting # 13 : cost 1 inf + 33011 5.083 * * [simplify]: Extracting # 14 : cost 0 inf + 34076 5.085 * * [simplify]: iteration 0 : 138 enodes (cost 24310 ) 5.142 * * [simplify]: Extracting # 0 : cost 0 inf + 34076 5.146 * * [simplify]: Extracting # 1 : cost 66 inf + 30785 5.152 * * [simplify]: Extracting # 2 : cost 7 inf + 40111 5.164 * * [simplify]: Extracting # 3 : cost 3 inf + 35926 5.179 * * [simplify]: Extracting # 4 : cost 0 inf + 35213 5.191 * * [simplify]: Extracting # 5 : cost 0 inf + 34489 5.202 * * [simplify]: iteration 1 : 368 enodes (cost 19338 ) 5.463 * * [simplify]: Extracting # 0 : cost 0 inf + 34489 5.478 * * [simplify]: Extracting # 1 : cost 320 inf + 32588 5.506 * * [simplify]: Extracting # 2 : cost 24 inf + 72205 5.539 * * [simplify]: Extracting # 3 : cost 3 inf + 74759 5.569 * * [simplify]: Extracting # 4 : cost 0 inf + 75737