37.644 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 2.846 * * * [progress]: [2/2] Setting up program. 2.864 * [progress]: [Phase 2 of 3] Improving. 2.865 * [simplify]: Simplifying: (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- (- 1.0 z) 1.0) 7.0) 0.5) (+ (- (- 1.0 z) 1.0) 0.5))) (exp (- (+ (+ (- (- 1.0 z) 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1.0 z) 1.0) 1.0))) (/ -1259.1392167224028 (+ (- (- 1.0 z) 1.0) 2.0))) (/ 771.3234287776531 (+ (- (- 1.0 z) 1.0) 3.0))) (/ -176.6150291621406 (+ (- (- 1.0 z) 1.0) 4.0))) (/ 12.507343278686905 (+ (- (- 1.0 z) 1.0) 5.0))) (/ -0.13857109526572012 (+ (- (- 1.0 z) 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- (- 1.0 z) 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- (- 1.0 z) 1.0) 8.0))))) 2.865 * [simplify]: Sending expressions to egg_math: (* (/ h11 (sin (* h11 h0))) (* (* (* (sqrt (* h11 2.0)) (pow (+ (+ (- (- 1.0 h0) 1.0) 7.0) h10) (+ (- (- 1.0 h0) 1.0) h10))) (exp (- (+ (+ (- (- 1.0 h0) 1.0) 7.0) h10)))) (+ (+ (+ (+ (+ (+ (+ (+ h9 (/ h8 (+ (- (- 1.0 h0) 1.0) 1.0))) (/ h7 (+ (- (- 1.0 h0) 1.0) 2.0))) (/ h6 (+ (- (- 1.0 h0) 1.0) 3.0))) (/ h5 (+ (- (- 1.0 h0) 1.0) 4.0))) (/ h4 (+ (- (- 1.0 h0) 1.0) 5.0))) (/ h3 (+ (- (- 1.0 h0) 1.0) 6.0))) (/ h2 (+ (- (- 1.0 h0) 1.0) 7.0))) (/ h1 (+ (- (- 1.0 h0) 1.0) 8.0))))) 5.001 * * [progress]: iteration 1 / 4 5.001 * * * [progress]: picking best candidate 5.055 * * * * [pick]: Picked # 5.056 * * * [progress]: localizing error 5.186 * * * [progress]: generating rewritten candidates 5.186 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1) 5.237 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 2 1) 5.295 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2 1) 5.336 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1 2 2 1) 5.377 * * * [progress]: generating series expansions 5.377 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1) 5.378 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 5.378 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 5.378 * [taylor]: Taking taylor expansion of (- z) in z 5.378 * [taylor]: Taking taylor expansion of z in z 5.378 * [backup-simplify]: Simplify 0 into 0 5.378 * [backup-simplify]: Simplify 1 into 1 5.378 * [taylor]: Taking taylor expansion of (- z) in z 5.378 * [taylor]: Taking taylor expansion of z in z 5.378 * [backup-simplify]: Simplify 0 into 0 5.378 * [backup-simplify]: Simplify 1 into 1 5.378 * [backup-simplify]: Simplify (- 0) into 0 5.379 * [backup-simplify]: Simplify 0 into 0 5.379 * [backup-simplify]: Simplify (- 1) into -1 5.379 * [backup-simplify]: Simplify -1 into -1 5.379 * [backup-simplify]: Simplify (- 0) into 0 5.379 * [backup-simplify]: Simplify 0 into 0 5.380 * [backup-simplify]: Simplify (- 0) into 0 5.380 * [backup-simplify]: Simplify 0 into 0 5.380 * [backup-simplify]: Simplify (- 0) into 0 5.380 * [backup-simplify]: Simplify 0 into 0 5.381 * [backup-simplify]: Simplify (- 0) into 0 5.381 * [backup-simplify]: Simplify 0 into 0 5.381 * [backup-simplify]: Simplify (- 0) into 0 5.381 * [backup-simplify]: Simplify 0 into 0 5.381 * [backup-simplify]: Simplify (- 0) into 0 5.381 * [backup-simplify]: Simplify 0 into 0 5.381 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 5.382 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 5.382 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 5.382 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.382 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.382 * [taylor]: Taking taylor expansion of z in z 5.382 * [backup-simplify]: Simplify 0 into 0 5.382 * [backup-simplify]: Simplify 1 into 1 5.382 * [backup-simplify]: Simplify (/ 1 1) into 1 5.382 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.382 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.382 * [taylor]: Taking taylor expansion of z in z 5.382 * [backup-simplify]: Simplify 0 into 0 5.382 * [backup-simplify]: Simplify 1 into 1 5.383 * [backup-simplify]: Simplify (/ 1 1) into 1 5.383 * [backup-simplify]: Simplify (- 1) into -1 5.383 * [backup-simplify]: Simplify -1 into -1 5.384 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.384 * [backup-simplify]: Simplify (- 0) into 0 5.384 * [backup-simplify]: Simplify 0 into 0 5.385 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.385 * [backup-simplify]: Simplify (- 0) into 0 5.386 * [backup-simplify]: Simplify 0 into 0 5.386 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.387 * [backup-simplify]: Simplify (- 0) into 0 5.387 * [backup-simplify]: Simplify 0 into 0 5.388 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.388 * [backup-simplify]: Simplify (- 0) into 0 5.388 * [backup-simplify]: Simplify 0 into 0 5.389 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.389 * [backup-simplify]: Simplify (- 0) into 0 5.389 * [backup-simplify]: Simplify 0 into 0 5.390 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.391 * [backup-simplify]: Simplify (- 0) into 0 5.391 * [backup-simplify]: Simplify 0 into 0 5.391 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 5.391 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 5.391 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.391 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.391 * [taylor]: Taking taylor expansion of z in z 5.391 * [backup-simplify]: Simplify 0 into 0 5.391 * [backup-simplify]: Simplify 1 into 1 5.392 * [backup-simplify]: Simplify (/ 1 1) into 1 5.392 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.392 * [taylor]: Taking taylor expansion of z in z 5.392 * [backup-simplify]: Simplify 0 into 0 5.392 * [backup-simplify]: Simplify 1 into 1 5.392 * [backup-simplify]: Simplify (/ 1 1) into 1 5.392 * [backup-simplify]: Simplify 1 into 1 5.393 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.393 * [backup-simplify]: Simplify 0 into 0 5.394 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.394 * [backup-simplify]: Simplify 0 into 0 5.395 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.395 * [backup-simplify]: Simplify 0 into 0 5.396 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.396 * [backup-simplify]: Simplify 0 into 0 5.397 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.397 * [backup-simplify]: Simplify 0 into 0 5.398 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.398 * [backup-simplify]: Simplify 0 into 0 5.398 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 5.398 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 2 1) 5.398 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 5.398 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 5.398 * [taylor]: Taking taylor expansion of (- z) in z 5.398 * [taylor]: Taking taylor expansion of z in z 5.398 * [backup-simplify]: Simplify 0 into 0 5.398 * [backup-simplify]: Simplify 1 into 1 5.398 * [taylor]: Taking taylor expansion of (- z) in z 5.398 * [taylor]: Taking taylor expansion of z in z 5.398 * [backup-simplify]: Simplify 0 into 0 5.398 * [backup-simplify]: Simplify 1 into 1 5.399 * [backup-simplify]: Simplify (- 0) into 0 5.399 * [backup-simplify]: Simplify 0 into 0 5.399 * [backup-simplify]: Simplify (- 1) into -1 5.399 * [backup-simplify]: Simplify -1 into -1 5.400 * [backup-simplify]: Simplify (- 0) into 0 5.400 * [backup-simplify]: Simplify 0 into 0 5.400 * [backup-simplify]: Simplify (- 0) into 0 5.400 * [backup-simplify]: Simplify 0 into 0 5.401 * [backup-simplify]: Simplify (- 0) into 0 5.401 * [backup-simplify]: Simplify 0 into 0 5.401 * [backup-simplify]: Simplify (- 0) into 0 5.401 * [backup-simplify]: Simplify 0 into 0 5.402 * [backup-simplify]: Simplify (- 0) into 0 5.402 * [backup-simplify]: Simplify 0 into 0 5.402 * [backup-simplify]: Simplify (- 0) into 0 5.402 * [backup-simplify]: Simplify 0 into 0 5.402 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 5.402 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 5.402 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 5.402 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.402 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.402 * [taylor]: Taking taylor expansion of z in z 5.402 * [backup-simplify]: Simplify 0 into 0 5.403 * [backup-simplify]: Simplify 1 into 1 5.403 * [backup-simplify]: Simplify (/ 1 1) into 1 5.403 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.403 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.403 * [taylor]: Taking taylor expansion of z in z 5.403 * [backup-simplify]: Simplify 0 into 0 5.403 * [backup-simplify]: Simplify 1 into 1 5.403 * [backup-simplify]: Simplify (/ 1 1) into 1 5.404 * [backup-simplify]: Simplify (- 1) into -1 5.404 * [backup-simplify]: Simplify -1 into -1 5.405 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.405 * [backup-simplify]: Simplify (- 0) into 0 5.405 * [backup-simplify]: Simplify 0 into 0 5.406 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.407 * [backup-simplify]: Simplify (- 0) into 0 5.407 * [backup-simplify]: Simplify 0 into 0 5.408 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.408 * [backup-simplify]: Simplify (- 0) into 0 5.408 * [backup-simplify]: Simplify 0 into 0 5.409 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.409 * [backup-simplify]: Simplify (- 0) into 0 5.409 * [backup-simplify]: Simplify 0 into 0 5.410 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.410 * [backup-simplify]: Simplify (- 0) into 0 5.410 * [backup-simplify]: Simplify 0 into 0 5.410 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.411 * [backup-simplify]: Simplify (- 0) into 0 5.411 * [backup-simplify]: Simplify 0 into 0 5.411 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 5.411 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 5.411 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.411 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.411 * [taylor]: Taking taylor expansion of z in z 5.411 * [backup-simplify]: Simplify 0 into 0 5.411 * [backup-simplify]: Simplify 1 into 1 5.411 * [backup-simplify]: Simplify (/ 1 1) into 1 5.411 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.411 * [taylor]: Taking taylor expansion of z in z 5.411 * [backup-simplify]: Simplify 0 into 0 5.411 * [backup-simplify]: Simplify 1 into 1 5.412 * [backup-simplify]: Simplify (/ 1 1) into 1 5.412 * [backup-simplify]: Simplify 1 into 1 5.412 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.412 * [backup-simplify]: Simplify 0 into 0 5.413 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.413 * [backup-simplify]: Simplify 0 into 0 5.413 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.413 * [backup-simplify]: Simplify 0 into 0 5.414 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.414 * [backup-simplify]: Simplify 0 into 0 5.415 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.415 * [backup-simplify]: Simplify 0 into 0 5.415 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.416 * [backup-simplify]: Simplify 0 into 0 5.416 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 5.416 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2 1) 5.416 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 5.416 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 5.416 * [taylor]: Taking taylor expansion of (- z) in z 5.416 * [taylor]: Taking taylor expansion of z in z 5.416 * [backup-simplify]: Simplify 0 into 0 5.416 * [backup-simplify]: Simplify 1 into 1 5.416 * [taylor]: Taking taylor expansion of (- z) in z 5.416 * [taylor]: Taking taylor expansion of z in z 5.416 * [backup-simplify]: Simplify 0 into 0 5.416 * [backup-simplify]: Simplify 1 into 1 5.416 * [backup-simplify]: Simplify (- 0) into 0 5.416 * [backup-simplify]: Simplify 0 into 0 5.416 * [backup-simplify]: Simplify (- 1) into -1 5.417 * [backup-simplify]: Simplify -1 into -1 5.417 * [backup-simplify]: Simplify (- 0) into 0 5.417 * [backup-simplify]: Simplify 0 into 0 5.417 * [backup-simplify]: Simplify (- 0) into 0 5.417 * [backup-simplify]: Simplify 0 into 0 5.417 * [backup-simplify]: Simplify (- 0) into 0 5.417 * [backup-simplify]: Simplify 0 into 0 5.418 * [backup-simplify]: Simplify (- 0) into 0 5.418 * [backup-simplify]: Simplify 0 into 0 5.418 * [backup-simplify]: Simplify (- 0) into 0 5.418 * [backup-simplify]: Simplify 0 into 0 5.419 * [backup-simplify]: Simplify (- 0) into 0 5.419 * [backup-simplify]: Simplify 0 into 0 5.419 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 5.419 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 5.419 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 5.419 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.419 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.419 * [taylor]: Taking taylor expansion of z in z 5.419 * [backup-simplify]: Simplify 0 into 0 5.419 * [backup-simplify]: Simplify 1 into 1 5.420 * [backup-simplify]: Simplify (/ 1 1) into 1 5.420 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.420 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.420 * [taylor]: Taking taylor expansion of z in z 5.420 * [backup-simplify]: Simplify 0 into 0 5.420 * [backup-simplify]: Simplify 1 into 1 5.420 * [backup-simplify]: Simplify (/ 1 1) into 1 5.421 * [backup-simplify]: Simplify (- 1) into -1 5.421 * [backup-simplify]: Simplify -1 into -1 5.421 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.422 * [backup-simplify]: Simplify (- 0) into 0 5.422 * [backup-simplify]: Simplify 0 into 0 5.423 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.423 * [backup-simplify]: Simplify (- 0) into 0 5.423 * [backup-simplify]: Simplify 0 into 0 5.424 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.424 * [backup-simplify]: Simplify (- 0) into 0 5.424 * [backup-simplify]: Simplify 0 into 0 5.425 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.425 * [backup-simplify]: Simplify (- 0) into 0 5.425 * [backup-simplify]: Simplify 0 into 0 5.426 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.427 * [backup-simplify]: Simplify (- 0) into 0 5.427 * [backup-simplify]: Simplify 0 into 0 5.428 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.428 * [backup-simplify]: Simplify (- 0) into 0 5.428 * [backup-simplify]: Simplify 0 into 0 5.428 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 5.428 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 5.428 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.429 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.429 * [taylor]: Taking taylor expansion of z in z 5.429 * [backup-simplify]: Simplify 0 into 0 5.429 * [backup-simplify]: Simplify 1 into 1 5.429 * [backup-simplify]: Simplify (/ 1 1) into 1 5.429 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.429 * [taylor]: Taking taylor expansion of z in z 5.429 * [backup-simplify]: Simplify 0 into 0 5.429 * [backup-simplify]: Simplify 1 into 1 5.429 * [backup-simplify]: Simplify (/ 1 1) into 1 5.429 * [backup-simplify]: Simplify 1 into 1 5.432 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.432 * [backup-simplify]: Simplify 0 into 0 5.433 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.433 * [backup-simplify]: Simplify 0 into 0 5.434 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.434 * [backup-simplify]: Simplify 0 into 0 5.434 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.434 * [backup-simplify]: Simplify 0 into 0 5.435 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.435 * [backup-simplify]: Simplify 0 into 0 5.436 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.436 * [backup-simplify]: Simplify 0 into 0 5.436 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 5.436 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1 2 2 1) 5.436 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 5.436 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 5.436 * [taylor]: Taking taylor expansion of (- z) in z 5.436 * [taylor]: Taking taylor expansion of z in z 5.436 * [backup-simplify]: Simplify 0 into 0 5.436 * [backup-simplify]: Simplify 1 into 1 5.436 * [taylor]: Taking taylor expansion of (- z) in z 5.436 * [taylor]: Taking taylor expansion of z in z 5.436 * [backup-simplify]: Simplify 0 into 0 5.436 * [backup-simplify]: Simplify 1 into 1 5.436 * [backup-simplify]: Simplify (- 0) into 0 5.436 * [backup-simplify]: Simplify 0 into 0 5.437 * [backup-simplify]: Simplify (- 1) into -1 5.437 * [backup-simplify]: Simplify -1 into -1 5.437 * [backup-simplify]: Simplify (- 0) into 0 5.437 * [backup-simplify]: Simplify 0 into 0 5.437 * [backup-simplify]: Simplify (- 0) into 0 5.437 * [backup-simplify]: Simplify 0 into 0 5.437 * [backup-simplify]: Simplify (- 0) into 0 5.437 * [backup-simplify]: Simplify 0 into 0 5.438 * [backup-simplify]: Simplify (- 0) into 0 5.438 * [backup-simplify]: Simplify 0 into 0 5.438 * [backup-simplify]: Simplify (- 0) into 0 5.438 * [backup-simplify]: Simplify 0 into 0 5.438 * [backup-simplify]: Simplify (- 0) into 0 5.438 * [backup-simplify]: Simplify 0 into 0 5.438 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 5.438 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 5.438 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 5.438 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.438 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.438 * [taylor]: Taking taylor expansion of z in z 5.439 * [backup-simplify]: Simplify 0 into 0 5.439 * [backup-simplify]: Simplify 1 into 1 5.439 * [backup-simplify]: Simplify (/ 1 1) into 1 5.439 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.439 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.439 * [taylor]: Taking taylor expansion of z in z 5.439 * [backup-simplify]: Simplify 0 into 0 5.439 * [backup-simplify]: Simplify 1 into 1 5.439 * [backup-simplify]: Simplify (/ 1 1) into 1 5.439 * [backup-simplify]: Simplify (- 1) into -1 5.439 * [backup-simplify]: Simplify -1 into -1 5.440 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.440 * [backup-simplify]: Simplify (- 0) into 0 5.440 * [backup-simplify]: Simplify 0 into 0 5.441 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.441 * [backup-simplify]: Simplify (- 0) into 0 5.441 * [backup-simplify]: Simplify 0 into 0 5.442 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.442 * [backup-simplify]: Simplify (- 0) into 0 5.442 * [backup-simplify]: Simplify 0 into 0 5.442 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.443 * [backup-simplify]: Simplify (- 0) into 0 5.443 * [backup-simplify]: Simplify 0 into 0 5.443 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.443 * [backup-simplify]: Simplify (- 0) into 0 5.443 * [backup-simplify]: Simplify 0 into 0 5.444 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.444 * [backup-simplify]: Simplify (- 0) into 0 5.444 * [backup-simplify]: Simplify 0 into 0 5.444 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 5.445 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 5.445 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.445 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.445 * [taylor]: Taking taylor expansion of z in z 5.445 * [backup-simplify]: Simplify 0 into 0 5.445 * [backup-simplify]: Simplify 1 into 1 5.445 * [backup-simplify]: Simplify (/ 1 1) into 1 5.445 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.445 * [taylor]: Taking taylor expansion of z in z 5.445 * [backup-simplify]: Simplify 0 into 0 5.445 * [backup-simplify]: Simplify 1 into 1 5.445 * [backup-simplify]: Simplify (/ 1 1) into 1 5.445 * [backup-simplify]: Simplify 1 into 1 5.446 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.446 * [backup-simplify]: Simplify 0 into 0 5.447 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.447 * [backup-simplify]: Simplify 0 into 0 5.447 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.447 * [backup-simplify]: Simplify 0 into 0 5.448 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.448 * [backup-simplify]: Simplify 0 into 0 5.448 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.448 * [backup-simplify]: Simplify 0 into 0 5.449 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.449 * [backup-simplify]: Simplify 0 into 0 5.449 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 5.449 * * * [progress]: simplifying candidates 5.450 * [simplify]: Simplifying: (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 5.451 * [simplify]: Sending expressions to egg_math: (/ (/ (exp 1.0) (exp h0)) (exp 1.0)) (/ (exp (- 1.0 h0)) (exp 1.0)) (log (- (- 1.0 h0) 1.0)) (exp (- (- 1.0 h0) 1.0)) (* (cbrt (- (- 1.0 h0) 1.0)) (cbrt (- (- 1.0 h0) 1.0))) (cbrt (- (- 1.0 h0) 1.0)) (* (* (- (- 1.0 h0) 1.0) (- (- 1.0 h0) 1.0)) (- (- 1.0 h0) 1.0)) (sqrt (- (- 1.0 h0) 1.0)) (sqrt (- (- 1.0 h0) 1.0)) (- (pow (- 1.0 h0) 3) (pow 1.0 3)) (+ (* (- 1.0 h0) (- 1.0 h0)) (+ (* 1.0 1.0) (* (- 1.0 h0) 1.0))) (- 1.0) (- (* (- 1.0 h0) (- 1.0 h0)) (* 1.0 1.0)) (+ (- 1.0 h0) 1.0) (+ (sqrt (- 1.0 h0)) (sqrt 1.0)) (- (sqrt (- 1.0 h0)) (sqrt 1.0)) (- (- 1.0 h0) 1.0) (- (- 1.0 h0) 1.0) (- (- h0) 1.0) (- (- h0) 1.0) (+ h0 1.0) (- 1.0) (/ (/ (exp 1.0) (exp h0)) (exp 1.0)) (/ (exp (- 1.0 h0)) (exp 1.0)) (log (- (- 1.0 h0) 1.0)) (exp (- (- 1.0 h0) 1.0)) (* (cbrt (- (- 1.0 h0) 1.0)) (cbrt (- (- 1.0 h0) 1.0))) (cbrt (- (- 1.0 h0) 1.0)) (* (* (- (- 1.0 h0) 1.0) (- (- 1.0 h0) 1.0)) (- (- 1.0 h0) 1.0)) (sqrt (- (- 1.0 h0) 1.0)) (sqrt (- (- 1.0 h0) 1.0)) (- (pow (- 1.0 h0) 3) (pow 1.0 3)) (+ (* (- 1.0 h0) (- 1.0 h0)) (+ (* 1.0 1.0) (* (- 1.0 h0) 1.0))) (- 1.0) (- (* (- 1.0 h0) (- 1.0 h0)) (* 1.0 1.0)) (+ (- 1.0 h0) 1.0) (+ (sqrt (- 1.0 h0)) (sqrt 1.0)) (- (sqrt (- 1.0 h0)) (sqrt 1.0)) (- (- 1.0 h0) 1.0) (- (- 1.0 h0) 1.0) (- (- h0) 1.0) (- (- h0) 1.0) (+ h0 1.0) (- 1.0) (/ (/ (exp 1.0) (exp h0)) (exp 1.0)) (/ (exp (- 1.0 h0)) (exp 1.0)) (log (- (- 1.0 h0) 1.0)) (exp (- (- 1.0 h0) 1.0)) (* (cbrt (- (- 1.0 h0) 1.0)) (cbrt (- (- 1.0 h0) 1.0))) (cbrt (- (- 1.0 h0) 1.0)) (* (* (- (- 1.0 h0) 1.0) (- (- 1.0 h0) 1.0)) (- (- 1.0 h0) 1.0)) (sqrt (- (- 1.0 h0) 1.0)) (sqrt (- (- 1.0 h0) 1.0)) (- (pow (- 1.0 h0) 3) (pow 1.0 3)) (+ (* (- 1.0 h0) (- 1.0 h0)) (+ (* 1.0 1.0) (* (- 1.0 h0) 1.0))) (- 1.0) (- (* (- 1.0 h0) (- 1.0 h0)) (* 1.0 1.0)) (+ (- 1.0 h0) 1.0) (+ (sqrt (- 1.0 h0)) (sqrt 1.0)) (- (sqrt (- 1.0 h0)) (sqrt 1.0)) (- (- 1.0 h0) 1.0) (- (- 1.0 h0) 1.0) (- (- h0) 1.0) (- (- h0) 1.0) (+ h0 1.0) (- 1.0) (/ (/ (exp 1.0) (exp h0)) (exp 1.0)) (/ (exp (- 1.0 h0)) (exp 1.0)) (log (- (- 1.0 h0) 1.0)) (exp (- (- 1.0 h0) 1.0)) (* (cbrt (- (- 1.0 h0) 1.0)) (cbrt (- (- 1.0 h0) 1.0))) (cbrt (- (- 1.0 h0) 1.0)) (* (* (- (- 1.0 h0) 1.0) (- (- 1.0 h0) 1.0)) (- (- 1.0 h0) 1.0)) (sqrt (- (- 1.0 h0) 1.0)) (sqrt (- (- 1.0 h0) 1.0)) (- (pow (- 1.0 h0) 3) (pow 1.0 3)) (+ (* (- 1.0 h0) (- 1.0 h0)) (+ (* 1.0 1.0) (* (- 1.0 h0) 1.0))) (- 1.0) (- (* (- 1.0 h0) (- 1.0 h0)) (* 1.0 1.0)) (+ (- 1.0 h0) 1.0) (+ (sqrt (- 1.0 h0)) (sqrt 1.0)) (- (sqrt (- 1.0 h0)) (sqrt 1.0)) (- (- 1.0 h0) 1.0) (- (- 1.0 h0) 1.0) (- (- h0) 1.0) (- (- h0) 1.0) (+ h0 1.0) (- 1.0) (* -1 h0) (* -1 h0) (* -1 h0) (* -1 h0) (* -1 h0) (* -1 h0) (* -1 h0) (* -1 h0) (* -1 h0) (* -1 h0) (* -1 h0) (* -1 h0) 6.519 * * * [progress]: adding candidates to table 7.846 * * [progress]: iteration 2 / 4 7.846 * * * [progress]: picking best candidate 7.869 * * * * [pick]: Picked # 7.869 * * * [progress]: localizing error 8.011 * * * [progress]: generating rewritten candidates 8.011 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 8.077 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 8.125 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 8.190 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 8.242 * * * [progress]: generating series expansions 8.242 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 8.243 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 8.243 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 8.243 * [taylor]: Taking taylor expansion of (- z) in z 8.243 * [taylor]: Taking taylor expansion of z in z 8.243 * [backup-simplify]: Simplify 0 into 0 8.243 * [backup-simplify]: Simplify 1 into 1 8.243 * [taylor]: Taking taylor expansion of (- z) in z 8.243 * [taylor]: Taking taylor expansion of z in z 8.243 * [backup-simplify]: Simplify 0 into 0 8.243 * [backup-simplify]: Simplify 1 into 1 8.243 * [backup-simplify]: Simplify (- 0) into 0 8.243 * [backup-simplify]: Simplify 0 into 0 8.244 * [backup-simplify]: Simplify (- 1) into -1 8.244 * [backup-simplify]: Simplify -1 into -1 8.244 * [backup-simplify]: Simplify (- 0) into 0 8.244 * [backup-simplify]: Simplify 0 into 0 8.244 * [backup-simplify]: Simplify (- 0) into 0 8.244 * [backup-simplify]: Simplify 0 into 0 8.244 * [backup-simplify]: Simplify (- 0) into 0 8.244 * [backup-simplify]: Simplify 0 into 0 8.245 * [backup-simplify]: Simplify (- 0) into 0 8.245 * [backup-simplify]: Simplify 0 into 0 8.245 * [backup-simplify]: Simplify (- 0) into 0 8.245 * [backup-simplify]: Simplify 0 into 0 8.245 * [backup-simplify]: Simplify (- 0) into 0 8.245 * [backup-simplify]: Simplify 0 into 0 8.245 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 8.245 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 8.245 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 8.245 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 8.246 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.246 * [taylor]: Taking taylor expansion of z in z 8.246 * [backup-simplify]: Simplify 0 into 0 8.246 * [backup-simplify]: Simplify 1 into 1 8.246 * [backup-simplify]: Simplify (/ 1 1) into 1 8.246 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 8.246 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.246 * [taylor]: Taking taylor expansion of z in z 8.246 * [backup-simplify]: Simplify 0 into 0 8.246 * [backup-simplify]: Simplify 1 into 1 8.246 * [backup-simplify]: Simplify (/ 1 1) into 1 8.246 * [backup-simplify]: Simplify (- 1) into -1 8.246 * [backup-simplify]: Simplify -1 into -1 8.247 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.247 * [backup-simplify]: Simplify (- 0) into 0 8.247 * [backup-simplify]: Simplify 0 into 0 8.248 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.248 * [backup-simplify]: Simplify (- 0) into 0 8.248 * [backup-simplify]: Simplify 0 into 0 8.248 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.249 * [backup-simplify]: Simplify (- 0) into 0 8.249 * [backup-simplify]: Simplify 0 into 0 8.249 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.249 * [backup-simplify]: Simplify (- 0) into 0 8.249 * [backup-simplify]: Simplify 0 into 0 8.250 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.250 * [backup-simplify]: Simplify (- 0) into 0 8.250 * [backup-simplify]: Simplify 0 into 0 8.251 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.251 * [backup-simplify]: Simplify (- 0) into 0 8.251 * [backup-simplify]: Simplify 0 into 0 8.251 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 8.251 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 8.251 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 8.251 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.251 * [taylor]: Taking taylor expansion of z in z 8.251 * [backup-simplify]: Simplify 0 into 0 8.251 * [backup-simplify]: Simplify 1 into 1 8.252 * [backup-simplify]: Simplify (/ 1 1) into 1 8.252 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.252 * [taylor]: Taking taylor expansion of z in z 8.252 * [backup-simplify]: Simplify 0 into 0 8.252 * [backup-simplify]: Simplify 1 into 1 8.252 * [backup-simplify]: Simplify (/ 1 1) into 1 8.252 * [backup-simplify]: Simplify 1 into 1 8.252 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.252 * [backup-simplify]: Simplify 0 into 0 8.253 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.253 * [backup-simplify]: Simplify 0 into 0 8.254 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.254 * [backup-simplify]: Simplify 0 into 0 8.254 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.254 * [backup-simplify]: Simplify 0 into 0 8.255 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.255 * [backup-simplify]: Simplify 0 into 0 8.255 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.255 * [backup-simplify]: Simplify 0 into 0 8.255 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 8.255 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 8.255 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 8.255 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 8.256 * [taylor]: Taking taylor expansion of (- z) in z 8.256 * [taylor]: Taking taylor expansion of z in z 8.256 * [backup-simplify]: Simplify 0 into 0 8.256 * [backup-simplify]: Simplify 1 into 1 8.256 * [taylor]: Taking taylor expansion of (- z) in z 8.256 * [taylor]: Taking taylor expansion of z in z 8.256 * [backup-simplify]: Simplify 0 into 0 8.256 * [backup-simplify]: Simplify 1 into 1 8.256 * [backup-simplify]: Simplify (- 0) into 0 8.256 * [backup-simplify]: Simplify 0 into 0 8.256 * [backup-simplify]: Simplify (- 1) into -1 8.256 * [backup-simplify]: Simplify -1 into -1 8.256 * [backup-simplify]: Simplify (- 0) into 0 8.257 * [backup-simplify]: Simplify 0 into 0 8.257 * [backup-simplify]: Simplify (- 0) into 0 8.257 * [backup-simplify]: Simplify 0 into 0 8.257 * [backup-simplify]: Simplify (- 0) into 0 8.257 * [backup-simplify]: Simplify 0 into 0 8.258 * [backup-simplify]: Simplify (- 0) into 0 8.258 * [backup-simplify]: Simplify 0 into 0 8.258 * [backup-simplify]: Simplify (- 0) into 0 8.258 * [backup-simplify]: Simplify 0 into 0 8.259 * [backup-simplify]: Simplify (- 0) into 0 8.259 * [backup-simplify]: Simplify 0 into 0 8.259 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 8.259 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 8.259 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 8.259 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 8.259 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.259 * [taylor]: Taking taylor expansion of z in z 8.259 * [backup-simplify]: Simplify 0 into 0 8.259 * [backup-simplify]: Simplify 1 into 1 8.259 * [backup-simplify]: Simplify (/ 1 1) into 1 8.259 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 8.259 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.260 * [taylor]: Taking taylor expansion of z in z 8.260 * [backup-simplify]: Simplify 0 into 0 8.260 * [backup-simplify]: Simplify 1 into 1 8.260 * [backup-simplify]: Simplify (/ 1 1) into 1 8.260 * [backup-simplify]: Simplify (- 1) into -1 8.260 * [backup-simplify]: Simplify -1 into -1 8.261 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.262 * [backup-simplify]: Simplify (- 0) into 0 8.262 * [backup-simplify]: Simplify 0 into 0 8.262 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.263 * [backup-simplify]: Simplify (- 0) into 0 8.263 * [backup-simplify]: Simplify 0 into 0 8.264 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.264 * [backup-simplify]: Simplify (- 0) into 0 8.264 * [backup-simplify]: Simplify 0 into 0 8.265 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.266 * [backup-simplify]: Simplify (- 0) into 0 8.266 * [backup-simplify]: Simplify 0 into 0 8.267 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.267 * [backup-simplify]: Simplify (- 0) into 0 8.267 * [backup-simplify]: Simplify 0 into 0 8.268 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.268 * [backup-simplify]: Simplify (- 0) into 0 8.268 * [backup-simplify]: Simplify 0 into 0 8.268 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 8.269 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 8.269 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 8.269 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.269 * [taylor]: Taking taylor expansion of z in z 8.269 * [backup-simplify]: Simplify 0 into 0 8.269 * [backup-simplify]: Simplify 1 into 1 8.269 * [backup-simplify]: Simplify (/ 1 1) into 1 8.269 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.269 * [taylor]: Taking taylor expansion of z in z 8.269 * [backup-simplify]: Simplify 0 into 0 8.269 * [backup-simplify]: Simplify 1 into 1 8.270 * [backup-simplify]: Simplify (/ 1 1) into 1 8.270 * [backup-simplify]: Simplify 1 into 1 8.271 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.271 * [backup-simplify]: Simplify 0 into 0 8.272 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.272 * [backup-simplify]: Simplify 0 into 0 8.272 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.272 * [backup-simplify]: Simplify 0 into 0 8.273 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.273 * [backup-simplify]: Simplify 0 into 0 8.275 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.275 * [backup-simplify]: Simplify 0 into 0 8.276 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.276 * [backup-simplify]: Simplify 0 into 0 8.276 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 8.276 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 8.276 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 8.276 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 8.276 * [taylor]: Taking taylor expansion of (- z) in z 8.276 * [taylor]: Taking taylor expansion of z in z 8.276 * [backup-simplify]: Simplify 0 into 0 8.276 * [backup-simplify]: Simplify 1 into 1 8.276 * [taylor]: Taking taylor expansion of (- z) in z 8.276 * [taylor]: Taking taylor expansion of z in z 8.276 * [backup-simplify]: Simplify 0 into 0 8.276 * [backup-simplify]: Simplify 1 into 1 8.277 * [backup-simplify]: Simplify (- 0) into 0 8.277 * [backup-simplify]: Simplify 0 into 0 8.277 * [backup-simplify]: Simplify (- 1) into -1 8.278 * [backup-simplify]: Simplify -1 into -1 8.278 * [backup-simplify]: Simplify (- 0) into 0 8.278 * [backup-simplify]: Simplify 0 into 0 8.278 * [backup-simplify]: Simplify (- 0) into 0 8.278 * [backup-simplify]: Simplify 0 into 0 8.279 * [backup-simplify]: Simplify (- 0) into 0 8.279 * [backup-simplify]: Simplify 0 into 0 8.279 * [backup-simplify]: Simplify (- 0) into 0 8.279 * [backup-simplify]: Simplify 0 into 0 8.280 * [backup-simplify]: Simplify (- 0) into 0 8.280 * [backup-simplify]: Simplify 0 into 0 8.280 * [backup-simplify]: Simplify (- 0) into 0 8.280 * [backup-simplify]: Simplify 0 into 0 8.280 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 8.280 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 8.280 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 8.280 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 8.280 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.280 * [taylor]: Taking taylor expansion of z in z 8.280 * [backup-simplify]: Simplify 0 into 0 8.280 * [backup-simplify]: Simplify 1 into 1 8.281 * [backup-simplify]: Simplify (/ 1 1) into 1 8.281 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 8.281 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.281 * [taylor]: Taking taylor expansion of z in z 8.281 * [backup-simplify]: Simplify 0 into 0 8.281 * [backup-simplify]: Simplify 1 into 1 8.281 * [backup-simplify]: Simplify (/ 1 1) into 1 8.282 * [backup-simplify]: Simplify (- 1) into -1 8.282 * [backup-simplify]: Simplify -1 into -1 8.283 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.283 * [backup-simplify]: Simplify (- 0) into 0 8.283 * [backup-simplify]: Simplify 0 into 0 8.284 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.284 * [backup-simplify]: Simplify (- 0) into 0 8.284 * [backup-simplify]: Simplify 0 into 0 8.285 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.286 * [backup-simplify]: Simplify (- 0) into 0 8.286 * [backup-simplify]: Simplify 0 into 0 8.286 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.287 * [backup-simplify]: Simplify (- 0) into 0 8.287 * [backup-simplify]: Simplify 0 into 0 8.288 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.288 * [backup-simplify]: Simplify (- 0) into 0 8.288 * [backup-simplify]: Simplify 0 into 0 8.289 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.289 * [backup-simplify]: Simplify (- 0) into 0 8.290 * [backup-simplify]: Simplify 0 into 0 8.290 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 8.290 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 8.290 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 8.290 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.290 * [taylor]: Taking taylor expansion of z in z 8.290 * [backup-simplify]: Simplify 0 into 0 8.290 * [backup-simplify]: Simplify 1 into 1 8.290 * [backup-simplify]: Simplify (/ 1 1) into 1 8.290 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.290 * [taylor]: Taking taylor expansion of z in z 8.290 * [backup-simplify]: Simplify 0 into 0 8.291 * [backup-simplify]: Simplify 1 into 1 8.291 * [backup-simplify]: Simplify (/ 1 1) into 1 8.291 * [backup-simplify]: Simplify 1 into 1 8.292 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.292 * [backup-simplify]: Simplify 0 into 0 8.293 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.293 * [backup-simplify]: Simplify 0 into 0 8.294 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.294 * [backup-simplify]: Simplify 0 into 0 8.295 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.295 * [backup-simplify]: Simplify 0 into 0 8.296 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.296 * [backup-simplify]: Simplify 0 into 0 8.296 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.297 * [backup-simplify]: Simplify 0 into 0 8.297 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 8.297 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2 1) 8.297 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 8.297 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 8.297 * [taylor]: Taking taylor expansion of (- z) in z 8.297 * [taylor]: Taking taylor expansion of z in z 8.297 * [backup-simplify]: Simplify 0 into 0 8.297 * [backup-simplify]: Simplify 1 into 1 8.297 * [taylor]: Taking taylor expansion of (- z) in z 8.297 * [taylor]: Taking taylor expansion of z in z 8.297 * [backup-simplify]: Simplify 0 into 0 8.297 * [backup-simplify]: Simplify 1 into 1 8.298 * [backup-simplify]: Simplify (- 0) into 0 8.298 * [backup-simplify]: Simplify 0 into 0 8.298 * [backup-simplify]: Simplify (- 1) into -1 8.298 * [backup-simplify]: Simplify -1 into -1 8.298 * [backup-simplify]: Simplify (- 0) into 0 8.298 * [backup-simplify]: Simplify 0 into 0 8.299 * [backup-simplify]: Simplify (- 0) into 0 8.299 * [backup-simplify]: Simplify 0 into 0 8.299 * [backup-simplify]: Simplify (- 0) into 0 8.299 * [backup-simplify]: Simplify 0 into 0 8.300 * [backup-simplify]: Simplify (- 0) into 0 8.300 * [backup-simplify]: Simplify 0 into 0 8.300 * [backup-simplify]: Simplify (- 0) into 0 8.300 * [backup-simplify]: Simplify 0 into 0 8.300 * [backup-simplify]: Simplify (- 0) into 0 8.301 * [backup-simplify]: Simplify 0 into 0 8.301 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 8.301 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 8.301 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 8.301 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 8.301 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.301 * [taylor]: Taking taylor expansion of z in z 8.301 * [backup-simplify]: Simplify 0 into 0 8.301 * [backup-simplify]: Simplify 1 into 1 8.301 * [backup-simplify]: Simplify (/ 1 1) into 1 8.301 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 8.301 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.301 * [taylor]: Taking taylor expansion of z in z 8.301 * [backup-simplify]: Simplify 0 into 0 8.301 * [backup-simplify]: Simplify 1 into 1 8.302 * [backup-simplify]: Simplify (/ 1 1) into 1 8.302 * [backup-simplify]: Simplify (- 1) into -1 8.302 * [backup-simplify]: Simplify -1 into -1 8.303 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.303 * [backup-simplify]: Simplify (- 0) into 0 8.303 * [backup-simplify]: Simplify 0 into 0 8.304 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.305 * [backup-simplify]: Simplify (- 0) into 0 8.305 * [backup-simplify]: Simplify 0 into 0 8.306 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.306 * [backup-simplify]: Simplify (- 0) into 0 8.306 * [backup-simplify]: Simplify 0 into 0 8.307 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.307 * [backup-simplify]: Simplify (- 0) into 0 8.307 * [backup-simplify]: Simplify 0 into 0 8.308 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.309 * [backup-simplify]: Simplify (- 0) into 0 8.309 * [backup-simplify]: Simplify 0 into 0 8.310 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.310 * [backup-simplify]: Simplify (- 0) into 0 8.310 * [backup-simplify]: Simplify 0 into 0 8.310 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 8.310 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 8.311 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 8.311 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.311 * [taylor]: Taking taylor expansion of z in z 8.311 * [backup-simplify]: Simplify 0 into 0 8.311 * [backup-simplify]: Simplify 1 into 1 8.311 * [backup-simplify]: Simplify (/ 1 1) into 1 8.311 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.311 * [taylor]: Taking taylor expansion of z in z 8.311 * [backup-simplify]: Simplify 0 into 0 8.311 * [backup-simplify]: Simplify 1 into 1 8.312 * [backup-simplify]: Simplify (/ 1 1) into 1 8.312 * [backup-simplify]: Simplify 1 into 1 8.312 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.312 * [backup-simplify]: Simplify 0 into 0 8.313 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.313 * [backup-simplify]: Simplify 0 into 0 8.315 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.315 * [backup-simplify]: Simplify 0 into 0 8.316 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.316 * [backup-simplify]: Simplify 0 into 0 8.317 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.317 * [backup-simplify]: Simplify 0 into 0 8.318 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.318 * [backup-simplify]: Simplify 0 into 0 8.318 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 8.318 * * * [progress]: simplifying candidates 8.320 * [simplify]: Simplifying: (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 8.321 * [simplify]: Sending expressions to egg_math: (/ (/ (exp 1.0) (exp h0)) (exp 1.0)) (/ (exp (- 1.0 h0)) (exp 1.0)) (log (- (- 1.0 h0) 1.0)) (exp (- (- 1.0 h0) 1.0)) (* (cbrt (- (- 1.0 h0) 1.0)) (cbrt (- (- 1.0 h0) 1.0))) (cbrt (- (- 1.0 h0) 1.0)) (* (* (- (- 1.0 h0) 1.0) (- (- 1.0 h0) 1.0)) (- (- 1.0 h0) 1.0)) (sqrt (- (- 1.0 h0) 1.0)) (sqrt (- (- 1.0 h0) 1.0)) (- (pow (- 1.0 h0) 3) (pow 1.0 3)) (+ (* (- 1.0 h0) (- 1.0 h0)) (+ (* 1.0 1.0) (* (- 1.0 h0) 1.0))) (- 1.0) (- (* (- 1.0 h0) (- 1.0 h0)) (* 1.0 1.0)) (+ (- 1.0 h0) 1.0) (+ (sqrt (- 1.0 h0)) (sqrt 1.0)) (- (sqrt (- 1.0 h0)) (sqrt 1.0)) (- (- 1.0 h0) 1.0) (- (- 1.0 h0) 1.0) (- (- h0) 1.0) (- (- h0) 1.0) (+ h0 1.0) (- 1.0) (/ (/ (exp 1.0) (exp h0)) (exp 1.0)) (/ (exp (- 1.0 h0)) (exp 1.0)) (log (- (- 1.0 h0) 1.0)) (exp (- (- 1.0 h0) 1.0)) (* (cbrt (- (- 1.0 h0) 1.0)) (cbrt (- (- 1.0 h0) 1.0))) (cbrt (- (- 1.0 h0) 1.0)) (* (* (- (- 1.0 h0) 1.0) (- (- 1.0 h0) 1.0)) (- (- 1.0 h0) 1.0)) (sqrt (- (- 1.0 h0) 1.0)) (sqrt (- (- 1.0 h0) 1.0)) (- (pow (- 1.0 h0) 3) (pow 1.0 3)) (+ (* (- 1.0 h0) (- 1.0 h0)) (+ (* 1.0 1.0) (* (- 1.0 h0) 1.0))) (- 1.0) (- (* (- 1.0 h0) (- 1.0 h0)) (* 1.0 1.0)) (+ (- 1.0 h0) 1.0) (+ (sqrt (- 1.0 h0)) (sqrt 1.0)) (- (sqrt (- 1.0 h0)) (sqrt 1.0)) (- (- 1.0 h0) 1.0) (- (- 1.0 h0) 1.0) (- (- h0) 1.0) (- (- h0) 1.0) (+ h0 1.0) (- 1.0) (/ (/ (exp 1.0) (exp h0)) (exp 1.0)) (/ (exp (- 1.0 h0)) (exp 1.0)) (log (- (- 1.0 h0) 1.0)) (exp (- (- 1.0 h0) 1.0)) (* (cbrt (- (- 1.0 h0) 1.0)) (cbrt (- (- 1.0 h0) 1.0))) (cbrt (- (- 1.0 h0) 1.0)) (* (* (- (- 1.0 h0) 1.0) (- (- 1.0 h0) 1.0)) (- (- 1.0 h0) 1.0)) (sqrt (- (- 1.0 h0) 1.0)) (sqrt (- (- 1.0 h0) 1.0)) (- (pow (- 1.0 h0) 3) (pow 1.0 3)) (+ (* (- 1.0 h0) (- 1.0 h0)) (+ (* 1.0 1.0) (* (- 1.0 h0) 1.0))) (- 1.0) (- (* (- 1.0 h0) (- 1.0 h0)) (* 1.0 1.0)) (+ (- 1.0 h0) 1.0) (+ (sqrt (- 1.0 h0)) (sqrt 1.0)) (- (sqrt (- 1.0 h0)) (sqrt 1.0)) (- (- 1.0 h0) 1.0) (- (- 1.0 h0) 1.0) (- (- h0) 1.0) (- (- h0) 1.0) (+ h0 1.0) (- 1.0) (/ (/ (exp 1.0) (exp h0)) (exp 1.0)) (/ (exp (- 1.0 h0)) (exp 1.0)) (log (- (- 1.0 h0) 1.0)) (exp (- (- 1.0 h0) 1.0)) (* (cbrt (- (- 1.0 h0) 1.0)) (cbrt (- (- 1.0 h0) 1.0))) (cbrt (- (- 1.0 h0) 1.0)) (* (* (- (- 1.0 h0) 1.0) (- (- 1.0 h0) 1.0)) (- (- 1.0 h0) 1.0)) (sqrt (- (- 1.0 h0) 1.0)) (sqrt (- (- 1.0 h0) 1.0)) (- (pow (- 1.0 h0) 3) (pow 1.0 3)) (+ (* (- 1.0 h0) (- 1.0 h0)) (+ (* 1.0 1.0) (* (- 1.0 h0) 1.0))) (- 1.0) (- (* (- 1.0 h0) (- 1.0 h0)) (* 1.0 1.0)) (+ (- 1.0 h0) 1.0) (+ (sqrt (- 1.0 h0)) (sqrt 1.0)) (- (sqrt (- 1.0 h0)) (sqrt 1.0)) (- (- 1.0 h0) 1.0) (- (- 1.0 h0) 1.0) (- (- h0) 1.0) (- (- h0) 1.0) (+ h0 1.0) (- 1.0) (* -1 h0) (* -1 h0) (* -1 h0) (* -1 h0) (* -1 h0) (* -1 h0) (* -1 h0) (* -1 h0) (* -1 h0) (* -1 h0) (* -1 h0) (* -1 h0) 9.333 * * * [progress]: adding candidates to table 10.558 * * [progress]: iteration 3 / 4 10.558 * * * [progress]: picking best candidate 10.585 * * * * [pick]: Picked # 10.585 * * * [progress]: localizing error 10.736 * * * [progress]: generating rewritten candidates 10.736 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 2) 10.801 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 10.850 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 10.909 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 10.950 * * * [progress]: generating series expansions 10.951 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 2) 10.951 * [backup-simplify]: Simplify (- (sqrt (- 1.0 z)) (sqrt 1.0)) into (- (sqrt (- 1.0 z)) (sqrt 1.0)) 10.952 * [approximate]: Taking taylor expansion of (- (sqrt (- 1.0 z)) (sqrt 1.0)) in (z) around 0 10.952 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 z)) (sqrt 1.0)) in z 10.952 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 z)) in z 10.952 * [taylor]: Taking taylor expansion of (- 1.0 z) in z 10.952 * [taylor]: Taking taylor expansion of 1.0 in z 10.952 * [backup-simplify]: Simplify 1.0 into 1.0 10.952 * [taylor]: Taking taylor expansion of z in z 10.952 * [backup-simplify]: Simplify 0 into 0 10.952 * [backup-simplify]: Simplify 1 into 1 10.952 * [backup-simplify]: Simplify (- 0) into 0 10.953 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 10.953 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 10.954 * [backup-simplify]: Simplify (- 1) into -1 10.954 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.956 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1.0))) into (/ -1/2 (sqrt 1.0)) 10.956 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 10.956 * [taylor]: Taking taylor expansion of 1.0 in z 10.956 * [backup-simplify]: Simplify 1.0 into 1.0 10.957 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 10.957 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0 10.957 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 z)) (sqrt 1.0)) in z 10.957 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 z)) in z 10.957 * [taylor]: Taking taylor expansion of (- 1.0 z) in z 10.957 * [taylor]: Taking taylor expansion of 1.0 in z 10.957 * [backup-simplify]: Simplify 1.0 into 1.0 10.958 * [taylor]: Taking taylor expansion of z in z 10.958 * [backup-simplify]: Simplify 0 into 0 10.958 * [backup-simplify]: Simplify 1 into 1 10.958 * [backup-simplify]: Simplify (- 0) into 0 10.958 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 10.959 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 10.959 * [backup-simplify]: Simplify (- 1) into -1 10.960 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.961 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1.0))) into (/ -1/2 (sqrt 1.0)) 10.961 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 10.961 * [taylor]: Taking taylor expansion of 1.0 in z 10.961 * [backup-simplify]: Simplify 1.0 into 1.0 10.962 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 10.963 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0 10.964 * [backup-simplify]: Simplify (- (sqrt 1.0)) into (- (sqrt 1.0)) 10.965 * [backup-simplify]: Simplify (+ (sqrt 1.0) (- (sqrt 1.0))) into 0 10.965 * [backup-simplify]: Simplify 0 into 0 10.966 * [backup-simplify]: Simplify (- 0) into 0 10.968 * [backup-simplify]: Simplify (+ (/ -1/2 (sqrt 1.0)) 0) into (- (* 1/2 (/ 1 (sqrt 1.0)))) 10.970 * [backup-simplify]: Simplify (- (* 1/2 (/ 1 (sqrt 1.0)))) into (- (* 1/2 (/ 1 (sqrt 1.0)))) 10.971 * [backup-simplify]: Simplify (- 0) into 0 10.971 * [backup-simplify]: Simplify (+ 0 0) into 0 10.977 * [backup-simplify]: Simplify (/ (- 0 (pow (/ -1/2 (sqrt 1.0)) 2) (+)) (* 2 (sqrt 1.0))) into (/ -1/8 (pow (sqrt 1.0) 3)) 10.978 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 1.0))) into 0 10.979 * [backup-simplify]: Simplify (- 0) into 0 10.982 * [backup-simplify]: Simplify (+ (/ -1/8 (pow (sqrt 1.0) 3)) 0) into (- (* 1/8 (/ 1 (pow (sqrt 1.0) 3)))) 10.986 * [backup-simplify]: Simplify (- (* 1/8 (/ 1 (pow (sqrt 1.0) 3)))) into (- (* 1/8 (/ 1 (pow (sqrt 1.0) 3)))) 10.986 * [backup-simplify]: Simplify (- 0) into 0 10.987 * [backup-simplify]: Simplify (+ 0 0) into 0 11.004 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (/ -1/2 (sqrt 1.0)) (/ -1/8 (pow (sqrt 1.0) 3)))))) (* 2 (sqrt 1.0))) into (/ -1/16 (pow (sqrt 1.0) 5)) 11.005 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 1.0))) into 0 11.006 * [backup-simplify]: Simplify (- 0) into 0 11.009 * [backup-simplify]: Simplify (+ (/ -1/16 (pow (sqrt 1.0) 5)) 0) into (- (* 1/16 (/ 1 (pow (sqrt 1.0) 5)))) 11.012 * [backup-simplify]: Simplify (- (* 1/16 (/ 1 (pow (sqrt 1.0) 5)))) into (- (* 1/16 (/ 1 (pow (sqrt 1.0) 5)))) 11.024 * [backup-simplify]: Simplify (+ (* (- (* 1/16 (/ 1 (pow (sqrt 1.0) 5)))) (pow z 3)) (+ (* (- (* 1/8 (/ 1 (pow (sqrt 1.0) 3)))) (pow z 2)) (* (- (* 1/2 (/ 1 (sqrt 1.0)))) z))) into (- (+ (* 1/8 (/ (pow z 2) (pow (sqrt 1.0) 3))) (+ (* 1/2 (/ z (sqrt 1.0))) (* 1/16 (/ (pow z 3) (pow (sqrt 1.0) 5)))))) 11.024 * [backup-simplify]: Simplify (- (sqrt (- 1.0 (/ 1 z))) (sqrt 1.0)) into (- (sqrt (- 1.0 (/ 1 z))) (sqrt 1.0)) 11.024 * [approximate]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 z))) (sqrt 1.0)) in (z) around 0 11.024 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 z))) (sqrt 1.0)) in z 11.024 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 z))) in z 11.024 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 11.024 * [taylor]: Taking taylor expansion of 1.0 in z 11.025 * [backup-simplify]: Simplify 1.0 into 1.0 11.025 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.025 * [taylor]: Taking taylor expansion of z in z 11.025 * [backup-simplify]: Simplify 0 into 0 11.025 * [backup-simplify]: Simplify 1 into 1 11.025 * [backup-simplify]: Simplify (/ 1 1) into 1 11.025 * [backup-simplify]: Simplify (- 1) into -1 11.026 * [backup-simplify]: Simplify (+ 0 -1) into -1 11.026 * [backup-simplify]: Simplify (sqrt 0) into 0 11.028 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 11.028 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 11.028 * [taylor]: Taking taylor expansion of 1.0 in z 11.028 * [backup-simplify]: Simplify 1.0 into 1.0 11.028 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 11.029 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0 11.029 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 z))) (sqrt 1.0)) in z 11.029 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 z))) in z 11.029 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 11.029 * [taylor]: Taking taylor expansion of 1.0 in z 11.029 * [backup-simplify]: Simplify 1.0 into 1.0 11.029 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.029 * [taylor]: Taking taylor expansion of z in z 11.029 * [backup-simplify]: Simplify 0 into 0 11.029 * [backup-simplify]: Simplify 1 into 1 11.030 * [backup-simplify]: Simplify (/ 1 1) into 1 11.030 * [backup-simplify]: Simplify (- 1) into -1 11.031 * [backup-simplify]: Simplify (+ 0 -1) into -1 11.031 * [backup-simplify]: Simplify (sqrt 0) into 0 11.032 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 11.032 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 11.032 * [taylor]: Taking taylor expansion of 1.0 in z 11.032 * [backup-simplify]: Simplify 1.0 into 1.0 11.033 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 11.034 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0 11.034 * [backup-simplify]: Simplify (+ 0 0) into 0 11.034 * [backup-simplify]: Simplify 0 into 0 11.035 * [backup-simplify]: Simplify (- (sqrt 1.0)) into (- (sqrt 1.0)) 11.036 * [backup-simplify]: Simplify (+ +nan.0 (- (sqrt 1.0))) into (- (+ (sqrt 1.0) (- +nan.0))) 11.039 * [backup-simplify]: Simplify (- (+ (sqrt 1.0) (- +nan.0))) into (- (+ (sqrt 1.0) (- +nan.0))) 11.039 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.040 * [backup-simplify]: Simplify (- 0) into 0 11.040 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 11.043 * [backup-simplify]: Simplify (/ (- 1.0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 11.044 * [backup-simplify]: Simplify (- 0) into 0 11.044 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 11.045 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.046 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.046 * [backup-simplify]: Simplify (- 0) into 0 11.046 * [backup-simplify]: Simplify (+ 0 0) into 0 11.051 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 11.052 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 1.0))) into 0 11.052 * [backup-simplify]: Simplify (- 0) into 0 11.053 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 11.053 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.057 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (/ 1 z) 2)) (+ (* (- +nan.0) (/ 1 z)) (- (+ (sqrt 1.0) (- +nan.0))))) into (- (+ (* +nan.0 (/ 1 z)) (- (sqrt 1.0) (+ (* +nan.0 (/ 1 (pow z 2))) (- +nan.0))))) 11.058 * [backup-simplify]: Simplify (- (sqrt (- 1.0 (/ 1 (- z)))) (sqrt 1.0)) into (- (sqrt (+ (/ 1 z) 1.0)) (sqrt 1.0)) 11.058 * [approximate]: Taking taylor expansion of (- (sqrt (+ (/ 1 z) 1.0)) (sqrt 1.0)) in (z) around 0 11.058 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 z) 1.0)) (sqrt 1.0)) in z 11.058 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) 1.0)) in z 11.058 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 11.058 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.058 * [taylor]: Taking taylor expansion of z in z 11.058 * [backup-simplify]: Simplify 0 into 0 11.058 * [backup-simplify]: Simplify 1 into 1 11.058 * [backup-simplify]: Simplify (/ 1 1) into 1 11.058 * [taylor]: Taking taylor expansion of 1.0 in z 11.058 * [backup-simplify]: Simplify 1.0 into 1.0 11.059 * [backup-simplify]: Simplify (+ 1 0) into 1 11.059 * [backup-simplify]: Simplify (sqrt 0) into 0 11.061 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 11.061 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 11.061 * [taylor]: Taking taylor expansion of 1.0 in z 11.061 * [backup-simplify]: Simplify 1.0 into 1.0 11.061 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 11.062 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0 11.062 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 z) 1.0)) (sqrt 1.0)) in z 11.062 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) 1.0)) in z 11.062 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 11.062 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.062 * [taylor]: Taking taylor expansion of z in z 11.062 * [backup-simplify]: Simplify 0 into 0 11.062 * [backup-simplify]: Simplify 1 into 1 11.062 * [backup-simplify]: Simplify (/ 1 1) into 1 11.062 * [taylor]: Taking taylor expansion of 1.0 in z 11.062 * [backup-simplify]: Simplify 1.0 into 1.0 11.063 * [backup-simplify]: Simplify (+ 1 0) into 1 11.064 * [backup-simplify]: Simplify (sqrt 0) into 0 11.065 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 11.065 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 11.065 * [taylor]: Taking taylor expansion of 1.0 in z 11.065 * [backup-simplify]: Simplify 1.0 into 1.0 11.065 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 11.066 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0 11.067 * [backup-simplify]: Simplify (+ 0 0) into 0 11.067 * [backup-simplify]: Simplify 0 into 0 11.067 * [backup-simplify]: Simplify (- (sqrt 1.0)) into (- (sqrt 1.0)) 11.069 * [backup-simplify]: Simplify (+ +nan.0 (- (sqrt 1.0))) into (- (+ (sqrt 1.0) (- +nan.0))) 11.071 * [backup-simplify]: Simplify (- (+ (sqrt 1.0) (- +nan.0))) into (- (+ (sqrt 1.0) (- +nan.0))) 11.072 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.072 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 11.076 * [backup-simplify]: Simplify (/ (- 1.0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 11.076 * [backup-simplify]: Simplify (- 0) into 0 11.077 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 11.077 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.078 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.079 * [backup-simplify]: Simplify (+ 0 0) into 0 11.083 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 11.084 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 1.0))) into 0 11.084 * [backup-simplify]: Simplify (- 0) into 0 11.085 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 11.085 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.089 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (/ 1 (- z)) 2)) (+ (* (- +nan.0) (/ 1 (- z))) (- (+ (sqrt 1.0) (- +nan.0))))) into (- (+ (* +nan.0 (/ 1 z)) (- (sqrt 1.0) (+ (* +nan.0 (/ 1 (pow z 2))) (- +nan.0))))) 11.089 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 11.089 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 11.089 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 11.089 * [taylor]: Taking taylor expansion of (- z) in z 11.089 * [taylor]: Taking taylor expansion of z in z 11.089 * [backup-simplify]: Simplify 0 into 0 11.089 * [backup-simplify]: Simplify 1 into 1 11.089 * [taylor]: Taking taylor expansion of (- z) in z 11.089 * [taylor]: Taking taylor expansion of z in z 11.089 * [backup-simplify]: Simplify 0 into 0 11.089 * [backup-simplify]: Simplify 1 into 1 11.090 * [backup-simplify]: Simplify (- 0) into 0 11.090 * [backup-simplify]: Simplify 0 into 0 11.090 * [backup-simplify]: Simplify (- 1) into -1 11.090 * [backup-simplify]: Simplify -1 into -1 11.090 * [backup-simplify]: Simplify (- 0) into 0 11.090 * [backup-simplify]: Simplify 0 into 0 11.091 * [backup-simplify]: Simplify (- 0) into 0 11.091 * [backup-simplify]: Simplify 0 into 0 11.091 * [backup-simplify]: Simplify (- 0) into 0 11.091 * [backup-simplify]: Simplify 0 into 0 11.091 * [backup-simplify]: Simplify (- 0) into 0 11.091 * [backup-simplify]: Simplify 0 into 0 11.091 * [backup-simplify]: Simplify (- 0) into 0 11.092 * [backup-simplify]: Simplify 0 into 0 11.092 * [backup-simplify]: Simplify (- 0) into 0 11.092 * [backup-simplify]: Simplify 0 into 0 11.092 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 11.092 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 11.092 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 11.092 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 11.092 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.092 * [taylor]: Taking taylor expansion of z in z 11.092 * [backup-simplify]: Simplify 0 into 0 11.092 * [backup-simplify]: Simplify 1 into 1 11.092 * [backup-simplify]: Simplify (/ 1 1) into 1 11.092 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 11.092 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.092 * [taylor]: Taking taylor expansion of z in z 11.092 * [backup-simplify]: Simplify 0 into 0 11.092 * [backup-simplify]: Simplify 1 into 1 11.093 * [backup-simplify]: Simplify (/ 1 1) into 1 11.093 * [backup-simplify]: Simplify (- 1) into -1 11.093 * [backup-simplify]: Simplify -1 into -1 11.093 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.094 * [backup-simplify]: Simplify (- 0) into 0 11.094 * [backup-simplify]: Simplify 0 into 0 11.094 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.094 * [backup-simplify]: Simplify (- 0) into 0 11.095 * [backup-simplify]: Simplify 0 into 0 11.095 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.095 * [backup-simplify]: Simplify (- 0) into 0 11.095 * [backup-simplify]: Simplify 0 into 0 11.096 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.096 * [backup-simplify]: Simplify (- 0) into 0 11.096 * [backup-simplify]: Simplify 0 into 0 11.097 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.097 * [backup-simplify]: Simplify (- 0) into 0 11.097 * [backup-simplify]: Simplify 0 into 0 11.097 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.098 * [backup-simplify]: Simplify (- 0) into 0 11.098 * [backup-simplify]: Simplify 0 into 0 11.098 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 11.098 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 11.098 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 11.098 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.098 * [taylor]: Taking taylor expansion of z in z 11.098 * [backup-simplify]: Simplify 0 into 0 11.098 * [backup-simplify]: Simplify 1 into 1 11.098 * [backup-simplify]: Simplify (/ 1 1) into 1 11.098 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.098 * [taylor]: Taking taylor expansion of z in z 11.098 * [backup-simplify]: Simplify 0 into 0 11.098 * [backup-simplify]: Simplify 1 into 1 11.099 * [backup-simplify]: Simplify (/ 1 1) into 1 11.099 * [backup-simplify]: Simplify 1 into 1 11.099 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.099 * [backup-simplify]: Simplify 0 into 0 11.100 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.100 * [backup-simplify]: Simplify 0 into 0 11.100 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.100 * [backup-simplify]: Simplify 0 into 0 11.101 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.101 * [backup-simplify]: Simplify 0 into 0 11.101 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.101 * [backup-simplify]: Simplify 0 into 0 11.102 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.102 * [backup-simplify]: Simplify 0 into 0 11.102 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 11.102 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 11.102 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 11.102 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 11.102 * [taylor]: Taking taylor expansion of (- z) in z 11.102 * [taylor]: Taking taylor expansion of z in z 11.102 * [backup-simplify]: Simplify 0 into 0 11.102 * [backup-simplify]: Simplify 1 into 1 11.102 * [taylor]: Taking taylor expansion of (- z) in z 11.102 * [taylor]: Taking taylor expansion of z in z 11.102 * [backup-simplify]: Simplify 0 into 0 11.102 * [backup-simplify]: Simplify 1 into 1 11.103 * [backup-simplify]: Simplify (- 0) into 0 11.103 * [backup-simplify]: Simplify 0 into 0 11.103 * [backup-simplify]: Simplify (- 1) into -1 11.103 * [backup-simplify]: Simplify -1 into -1 11.103 * [backup-simplify]: Simplify (- 0) into 0 11.103 * [backup-simplify]: Simplify 0 into 0 11.103 * [backup-simplify]: Simplify (- 0) into 0 11.103 * [backup-simplify]: Simplify 0 into 0 11.104 * [backup-simplify]: Simplify (- 0) into 0 11.104 * [backup-simplify]: Simplify 0 into 0 11.104 * [backup-simplify]: Simplify (- 0) into 0 11.104 * [backup-simplify]: Simplify 0 into 0 11.104 * [backup-simplify]: Simplify (- 0) into 0 11.104 * [backup-simplify]: Simplify 0 into 0 11.105 * [backup-simplify]: Simplify (- 0) into 0 11.105 * [backup-simplify]: Simplify 0 into 0 11.105 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 11.105 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 11.105 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 11.105 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 11.105 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.105 * [taylor]: Taking taylor expansion of z in z 11.105 * [backup-simplify]: Simplify 0 into 0 11.105 * [backup-simplify]: Simplify 1 into 1 11.105 * [backup-simplify]: Simplify (/ 1 1) into 1 11.105 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 11.105 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.105 * [taylor]: Taking taylor expansion of z in z 11.105 * [backup-simplify]: Simplify 0 into 0 11.105 * [backup-simplify]: Simplify 1 into 1 11.105 * [backup-simplify]: Simplify (/ 1 1) into 1 11.106 * [backup-simplify]: Simplify (- 1) into -1 11.106 * [backup-simplify]: Simplify -1 into -1 11.106 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.106 * [backup-simplify]: Simplify (- 0) into 0 11.106 * [backup-simplify]: Simplify 0 into 0 11.107 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.107 * [backup-simplify]: Simplify (- 0) into 0 11.107 * [backup-simplify]: Simplify 0 into 0 11.108 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.108 * [backup-simplify]: Simplify (- 0) into 0 11.108 * [backup-simplify]: Simplify 0 into 0 11.109 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.109 * [backup-simplify]: Simplify (- 0) into 0 11.109 * [backup-simplify]: Simplify 0 into 0 11.109 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.110 * [backup-simplify]: Simplify (- 0) into 0 11.110 * [backup-simplify]: Simplify 0 into 0 11.110 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.110 * [backup-simplify]: Simplify (- 0) into 0 11.111 * [backup-simplify]: Simplify 0 into 0 11.111 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 11.111 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 11.111 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 11.111 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.111 * [taylor]: Taking taylor expansion of z in z 11.111 * [backup-simplify]: Simplify 0 into 0 11.111 * [backup-simplify]: Simplify 1 into 1 11.111 * [backup-simplify]: Simplify (/ 1 1) into 1 11.111 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.111 * [taylor]: Taking taylor expansion of z in z 11.111 * [backup-simplify]: Simplify 0 into 0 11.111 * [backup-simplify]: Simplify 1 into 1 11.111 * [backup-simplify]: Simplify (/ 1 1) into 1 11.111 * [backup-simplify]: Simplify 1 into 1 11.112 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.112 * [backup-simplify]: Simplify 0 into 0 11.113 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.113 * [backup-simplify]: Simplify 0 into 0 11.114 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.114 * [backup-simplify]: Simplify 0 into 0 11.115 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.115 * [backup-simplify]: Simplify 0 into 0 11.116 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.116 * [backup-simplify]: Simplify 0 into 0 11.117 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.117 * [backup-simplify]: Simplify 0 into 0 11.117 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 11.117 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2 1) 11.117 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 11.117 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 11.117 * [taylor]: Taking taylor expansion of (- z) in z 11.117 * [taylor]: Taking taylor expansion of z in z 11.117 * [backup-simplify]: Simplify 0 into 0 11.117 * [backup-simplify]: Simplify 1 into 1 11.117 * [taylor]: Taking taylor expansion of (- z) in z 11.117 * [taylor]: Taking taylor expansion of z in z 11.117 * [backup-simplify]: Simplify 0 into 0 11.117 * [backup-simplify]: Simplify 1 into 1 11.118 * [backup-simplify]: Simplify (- 0) into 0 11.118 * [backup-simplify]: Simplify 0 into 0 11.118 * [backup-simplify]: Simplify (- 1) into -1 11.118 * [backup-simplify]: Simplify -1 into -1 11.119 * [backup-simplify]: Simplify (- 0) into 0 11.119 * [backup-simplify]: Simplify 0 into 0 11.119 * [backup-simplify]: Simplify (- 0) into 0 11.119 * [backup-simplify]: Simplify 0 into 0 11.119 * [backup-simplify]: Simplify (- 0) into 0 11.120 * [backup-simplify]: Simplify 0 into 0 11.120 * [backup-simplify]: Simplify (- 0) into 0 11.120 * [backup-simplify]: Simplify 0 into 0 11.120 * [backup-simplify]: Simplify (- 0) into 0 11.120 * [backup-simplify]: Simplify 0 into 0 11.121 * [backup-simplify]: Simplify (- 0) into 0 11.121 * [backup-simplify]: Simplify 0 into 0 11.121 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 11.121 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 11.121 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 11.121 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 11.121 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.121 * [taylor]: Taking taylor expansion of z in z 11.121 * [backup-simplify]: Simplify 0 into 0 11.121 * [backup-simplify]: Simplify 1 into 1 11.122 * [backup-simplify]: Simplify (/ 1 1) into 1 11.122 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 11.122 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.122 * [taylor]: Taking taylor expansion of z in z 11.122 * [backup-simplify]: Simplify 0 into 0 11.122 * [backup-simplify]: Simplify 1 into 1 11.122 * [backup-simplify]: Simplify (/ 1 1) into 1 11.123 * [backup-simplify]: Simplify (- 1) into -1 11.123 * [backup-simplify]: Simplify -1 into -1 11.123 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.124 * [backup-simplify]: Simplify (- 0) into 0 11.124 * [backup-simplify]: Simplify 0 into 0 11.125 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.125 * [backup-simplify]: Simplify (- 0) into 0 11.125 * [backup-simplify]: Simplify 0 into 0 11.126 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.126 * [backup-simplify]: Simplify (- 0) into 0 11.126 * [backup-simplify]: Simplify 0 into 0 11.127 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.128 * [backup-simplify]: Simplify (- 0) into 0 11.128 * [backup-simplify]: Simplify 0 into 0 11.129 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.129 * [backup-simplify]: Simplify (- 0) into 0 11.129 * [backup-simplify]: Simplify 0 into 0 11.130 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.131 * [backup-simplify]: Simplify (- 0) into 0 11.131 * [backup-simplify]: Simplify 0 into 0 11.131 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 11.131 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 11.131 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 11.131 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.131 * [taylor]: Taking taylor expansion of z in z 11.131 * [backup-simplify]: Simplify 0 into 0 11.131 * [backup-simplify]: Simplify 1 into 1 11.131 * [backup-simplify]: Simplify (/ 1 1) into 1 11.131 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.132 * [taylor]: Taking taylor expansion of z in z 11.132 * [backup-simplify]: Simplify 0 into 0 11.132 * [backup-simplify]: Simplify 1 into 1 11.132 * [backup-simplify]: Simplify (/ 1 1) into 1 11.132 * [backup-simplify]: Simplify 1 into 1 11.133 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.133 * [backup-simplify]: Simplify 0 into 0 11.139 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.139 * [backup-simplify]: Simplify 0 into 0 11.141 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.141 * [backup-simplify]: Simplify 0 into 0 11.142 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.142 * [backup-simplify]: Simplify 0 into 0 11.143 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.143 * [backup-simplify]: Simplify 0 into 0 11.144 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.144 * [backup-simplify]: Simplify 0 into 0 11.144 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 11.144 * * * [progress]: simplifying candidates 11.147 * [simplify]: Simplifying: (/ (exp (sqrt (- 1.0 z))) (exp (sqrt 1.0))) (log (- (sqrt (- 1.0 z)) (sqrt 1.0))) (exp (- (sqrt (- 1.0 z)) (sqrt 1.0))) (* (cbrt (- (sqrt (- 1.0 z)) (sqrt 1.0))) (cbrt (- (sqrt (- 1.0 z)) (sqrt 1.0)))) (cbrt (- (sqrt (- 1.0 z)) (sqrt 1.0))) (* (* (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0))) (- (sqrt (- 1.0 z)) (sqrt 1.0))) (sqrt (- (sqrt (- 1.0 z)) (sqrt 1.0))) (sqrt (- (sqrt (- 1.0 z)) (sqrt 1.0))) (- (pow (sqrt (- 1.0 z)) 3) (pow (sqrt 1.0) 3)) (+ (* (sqrt (- 1.0 z)) (sqrt (- 1.0 z))) (+ (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt (- 1.0 z)) (sqrt 1.0)))) (- (sqrt 1.0)) (- (* (sqrt (- 1.0 z)) (sqrt (- 1.0 z))) (* (sqrt 1.0) (sqrt 1.0))) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (+ (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0))) (- (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0))) (+ (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0))) (- (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0))) (+ (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0))) (- (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0))) (+ (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0))) (- (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0))) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt 1.0)) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (- (+ (* 1/8 (/ (pow z 2) (pow (sqrt 1.0) 3))) (+ (* 1/2 (/ z (sqrt 1.0))) (* 1/16 (/ (pow z 3) (pow (sqrt 1.0) 5)))))) (- (+ (* +nan.0 (/ 1 z)) (- (sqrt 1.0) (+ (* +nan.0 (/ 1 (pow z 2))) (- +nan.0))))) (- (+ (* +nan.0 (/ 1 z)) (- (sqrt 1.0) (+ (* +nan.0 (/ 1 (pow z 2))) (- +nan.0))))) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 11.147 * [simplify]: Sending expressions to egg_math: (/ (exp (sqrt (- 1.0 h0))) (exp (sqrt 1.0))) (log (- (sqrt (- 1.0 h0)) (sqrt 1.0))) (exp (- (sqrt (- 1.0 h0)) (sqrt 1.0))) (* (cbrt (- (sqrt (- 1.0 h0)) (sqrt 1.0))) (cbrt (- (sqrt (- 1.0 h0)) (sqrt 1.0)))) (cbrt (- (sqrt (- 1.0 h0)) (sqrt 1.0))) (* (* (- (sqrt (- 1.0 h0)) (sqrt 1.0)) (- (sqrt (- 1.0 h0)) (sqrt 1.0))) (- (sqrt (- 1.0 h0)) (sqrt 1.0))) (sqrt (- (sqrt (- 1.0 h0)) (sqrt 1.0))) (sqrt (- (sqrt (- 1.0 h0)) (sqrt 1.0))) (- (pow (sqrt (- 1.0 h0)) 3) (pow (sqrt 1.0) 3)) (+ (* (sqrt (- 1.0 h0)) (sqrt (- 1.0 h0))) (+ (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt (- 1.0 h0)) (sqrt 1.0)))) (- (sqrt 1.0)) (- (* (sqrt (- 1.0 h0)) (sqrt (- 1.0 h0))) (* (sqrt 1.0) (sqrt 1.0))) (+ (sqrt (- 1.0 h0)) (sqrt 1.0)) (+ (sqrt (sqrt (- 1.0 h0))) (sqrt (sqrt 1.0))) (- (sqrt (sqrt (- 1.0 h0))) (sqrt (sqrt 1.0))) (+ (sqrt (sqrt (- 1.0 h0))) (sqrt (sqrt 1.0))) (- (sqrt (sqrt (- 1.0 h0))) (sqrt (sqrt 1.0))) (+ (sqrt (sqrt (- 1.0 h0))) (sqrt (sqrt 1.0))) (- (sqrt (sqrt (- 1.0 h0))) (sqrt (sqrt 1.0))) (+ (sqrt (sqrt (- 1.0 h0))) (sqrt (sqrt 1.0))) (- (sqrt (sqrt (- 1.0 h0))) (sqrt (sqrt 1.0))) (- (sqrt (- 1.0 h0)) (sqrt 1.0)) (- (sqrt (- 1.0 h0)) (sqrt 1.0)) (- (sqrt (- 1.0 h0)) (sqrt 1.0)) (- (sqrt 1.0)) (/ (/ (exp 1.0) (exp h0)) (exp 1.0)) (/ (exp (- 1.0 h0)) (exp 1.0)) (log (- (- 1.0 h0) 1.0)) (exp (- (- 1.0 h0) 1.0)) (* (cbrt (- (- 1.0 h0) 1.0)) (cbrt (- (- 1.0 h0) 1.0))) (cbrt (- (- 1.0 h0) 1.0)) (* (* (- (- 1.0 h0) 1.0) (- (- 1.0 h0) 1.0)) (- (- 1.0 h0) 1.0)) (sqrt (- (- 1.0 h0) 1.0)) (sqrt (- (- 1.0 h0) 1.0)) (- (pow (- 1.0 h0) 3) (pow 1.0 3)) (+ (* (- 1.0 h0) (- 1.0 h0)) (+ (* 1.0 1.0) (* (- 1.0 h0) 1.0))) (- 1.0) (- (* (- 1.0 h0) (- 1.0 h0)) (* 1.0 1.0)) (+ (- 1.0 h0) 1.0) (+ (sqrt (- 1.0 h0)) (sqrt 1.0)) (- (sqrt (- 1.0 h0)) (sqrt 1.0)) (- (- 1.0 h0) 1.0) (- (- 1.0 h0) 1.0) (- (- h0) 1.0) (- (- h0) 1.0) (+ h0 1.0) (- 1.0) (/ (/ (exp 1.0) (exp h0)) (exp 1.0)) (/ (exp (- 1.0 h0)) (exp 1.0)) (log (- (- 1.0 h0) 1.0)) (exp (- (- 1.0 h0) 1.0)) (* (cbrt (- (- 1.0 h0) 1.0)) (cbrt (- (- 1.0 h0) 1.0))) (cbrt (- (- 1.0 h0) 1.0)) (* (* (- (- 1.0 h0) 1.0) (- (- 1.0 h0) 1.0)) (- (- 1.0 h0) 1.0)) (sqrt (- (- 1.0 h0) 1.0)) (sqrt (- (- 1.0 h0) 1.0)) (- (pow (- 1.0 h0) 3) (pow 1.0 3)) (+ (* (- 1.0 h0) (- 1.0 h0)) (+ (* 1.0 1.0) (* (- 1.0 h0) 1.0))) (- 1.0) (- (* (- 1.0 h0) (- 1.0 h0)) (* 1.0 1.0)) (+ (- 1.0 h0) 1.0) (+ (sqrt (- 1.0 h0)) (sqrt 1.0)) (- (sqrt (- 1.0 h0)) (sqrt 1.0)) (- (- 1.0 h0) 1.0) (- (- 1.0 h0) 1.0) (- (- h0) 1.0) (- (- h0) 1.0) (+ h0 1.0) (- 1.0) (/ (/ (exp 1.0) (exp h0)) (exp 1.0)) (/ (exp (- 1.0 h0)) (exp 1.0)) (log (- (- 1.0 h0) 1.0)) (exp (- (- 1.0 h0) 1.0)) (* (cbrt (- (- 1.0 h0) 1.0)) (cbrt (- (- 1.0 h0) 1.0))) (cbrt (- (- 1.0 h0) 1.0)) (* (* (- (- 1.0 h0) 1.0) (- (- 1.0 h0) 1.0)) (- (- 1.0 h0) 1.0)) (sqrt (- (- 1.0 h0) 1.0)) (sqrt (- (- 1.0 h0) 1.0)) (- (pow (- 1.0 h0) 3) (pow 1.0 3)) (+ (* (- 1.0 h0) (- 1.0 h0)) (+ (* 1.0 1.0) (* (- 1.0 h0) 1.0))) (- 1.0) (- (* (- 1.0 h0) (- 1.0 h0)) (* 1.0 1.0)) (+ (- 1.0 h0) 1.0) (+ (sqrt (- 1.0 h0)) (sqrt 1.0)) (- (sqrt (- 1.0 h0)) (sqrt 1.0)) (- (- 1.0 h0) 1.0) (- (- 1.0 h0) 1.0) (- (- h0) 1.0) (- (- h0) 1.0) (+ h0 1.0) (- 1.0) (- (+ (* h3 (/ (pow h0 2) (pow (sqrt 1.0) 3))) (+ (* h2 (/ h0 (sqrt 1.0))) (* h1 (/ (pow h0 3) (pow (sqrt 1.0) 5)))))) (- (+ (* h4 (/ 1 h0)) (- (sqrt 1.0) (+ (* h4 (/ 1 (pow h0 2))) (- h4))))) (- (+ (* h4 (/ 1 h0)) (- (sqrt 1.0) (+ (* h4 (/ 1 (pow h0 2))) (- h4))))) (* -1 h0) (* -1 h0) (* -1 h0) (* -1 h0) (* -1 h0) (* -1 h0) (* -1 h0) (* -1 h0) (* -1 h0) 12.440 * * * [progress]: adding candidates to table 13.810 * * [progress]: iteration 4 / 4 13.810 * * * [progress]: picking best candidate 13.829 * * * * [pick]: Picked # 13.830 * * * [progress]: localizing error 14.024 * * * [progress]: generating rewritten candidates 14.024 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2 1) 14.090 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 2 1) 14.150 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 14.197 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 2 2 1) 14.253 * * * [progress]: generating series expansions 14.253 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2 1) 14.253 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 14.253 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 14.253 * [taylor]: Taking taylor expansion of (- z) in z 14.253 * [taylor]: Taking taylor expansion of z in z 14.253 * [backup-simplify]: Simplify 0 into 0 14.253 * [backup-simplify]: Simplify 1 into 1 14.253 * [taylor]: Taking taylor expansion of (- z) in z 14.253 * [taylor]: Taking taylor expansion of z in z 14.253 * [backup-simplify]: Simplify 0 into 0 14.253 * [backup-simplify]: Simplify 1 into 1 14.254 * [backup-simplify]: Simplify (- 0) into 0 14.254 * [backup-simplify]: Simplify 0 into 0 14.254 * [backup-simplify]: Simplify (- 1) into -1 14.254 * [backup-simplify]: Simplify -1 into -1 14.254 * [backup-simplify]: Simplify (- 0) into 0 14.254 * [backup-simplify]: Simplify 0 into 0 14.255 * [backup-simplify]: Simplify (- 0) into 0 14.255 * [backup-simplify]: Simplify 0 into 0 14.255 * [backup-simplify]: Simplify (- 0) into 0 14.255 * [backup-simplify]: Simplify 0 into 0 14.255 * [backup-simplify]: Simplify (- 0) into 0 14.255 * [backup-simplify]: Simplify 0 into 0 14.255 * [backup-simplify]: Simplify (- 0) into 0 14.255 * [backup-simplify]: Simplify 0 into 0 14.256 * [backup-simplify]: Simplify (- 0) into 0 14.256 * [backup-simplify]: Simplify 0 into 0 14.256 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 14.256 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 14.256 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 14.256 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 14.256 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.256 * [taylor]: Taking taylor expansion of z in z 14.256 * [backup-simplify]: Simplify 0 into 0 14.256 * [backup-simplify]: Simplify 1 into 1 14.256 * [backup-simplify]: Simplify (/ 1 1) into 1 14.256 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 14.256 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.256 * [taylor]: Taking taylor expansion of z in z 14.256 * [backup-simplify]: Simplify 0 into 0 14.256 * [backup-simplify]: Simplify 1 into 1 14.257 * [backup-simplify]: Simplify (/ 1 1) into 1 14.257 * [backup-simplify]: Simplify (- 1) into -1 14.257 * [backup-simplify]: Simplify -1 into -1 14.258 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.258 * [backup-simplify]: Simplify (- 0) into 0 14.258 * [backup-simplify]: Simplify 0 into 0 14.259 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.260 * [backup-simplify]: Simplify (- 0) into 0 14.260 * [backup-simplify]: Simplify 0 into 0 14.261 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.261 * [backup-simplify]: Simplify (- 0) into 0 14.261 * [backup-simplify]: Simplify 0 into 0 14.262 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.262 * [backup-simplify]: Simplify (- 0) into 0 14.262 * [backup-simplify]: Simplify 0 into 0 14.263 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.264 * [backup-simplify]: Simplify (- 0) into 0 14.264 * [backup-simplify]: Simplify 0 into 0 14.265 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.265 * [backup-simplify]: Simplify (- 0) into 0 14.265 * [backup-simplify]: Simplify 0 into 0 14.265 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 14.266 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 14.266 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 14.266 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.266 * [taylor]: Taking taylor expansion of z in z 14.266 * [backup-simplify]: Simplify 0 into 0 14.266 * [backup-simplify]: Simplify 1 into 1 14.266 * [backup-simplify]: Simplify (/ 1 1) into 1 14.266 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.266 * [taylor]: Taking taylor expansion of z in z 14.266 * [backup-simplify]: Simplify 0 into 0 14.266 * [backup-simplify]: Simplify 1 into 1 14.267 * [backup-simplify]: Simplify (/ 1 1) into 1 14.267 * [backup-simplify]: Simplify 1 into 1 14.268 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.268 * [backup-simplify]: Simplify 0 into 0 14.269 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.269 * [backup-simplify]: Simplify 0 into 0 14.270 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.270 * [backup-simplify]: Simplify 0 into 0 14.271 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.271 * [backup-simplify]: Simplify 0 into 0 14.272 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.272 * [backup-simplify]: Simplify 0 into 0 14.273 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.273 * [backup-simplify]: Simplify 0 into 0 14.273 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 14.273 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 2 1) 14.273 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 14.273 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 14.273 * [taylor]: Taking taylor expansion of (- z) in z 14.273 * [taylor]: Taking taylor expansion of z in z 14.273 * [backup-simplify]: Simplify 0 into 0 14.273 * [backup-simplify]: Simplify 1 into 1 14.273 * [taylor]: Taking taylor expansion of (- z) in z 14.273 * [taylor]: Taking taylor expansion of z in z 14.273 * [backup-simplify]: Simplify 0 into 0 14.273 * [backup-simplify]: Simplify 1 into 1 14.274 * [backup-simplify]: Simplify (- 0) into 0 14.274 * [backup-simplify]: Simplify 0 into 0 14.274 * [backup-simplify]: Simplify (- 1) into -1 14.274 * [backup-simplify]: Simplify -1 into -1 14.275 * [backup-simplify]: Simplify (- 0) into 0 14.275 * [backup-simplify]: Simplify 0 into 0 14.275 * [backup-simplify]: Simplify (- 0) into 0 14.275 * [backup-simplify]: Simplify 0 into 0 14.276 * [backup-simplify]: Simplify (- 0) into 0 14.276 * [backup-simplify]: Simplify 0 into 0 14.276 * [backup-simplify]: Simplify (- 0) into 0 14.276 * [backup-simplify]: Simplify 0 into 0 14.276 * [backup-simplify]: Simplify (- 0) into 0 14.276 * [backup-simplify]: Simplify 0 into 0 14.277 * [backup-simplify]: Simplify (- 0) into 0 14.277 * [backup-simplify]: Simplify 0 into 0 14.277 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 14.277 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 14.277 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 14.277 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 14.277 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.277 * [taylor]: Taking taylor expansion of z in z 14.277 * [backup-simplify]: Simplify 0 into 0 14.277 * [backup-simplify]: Simplify 1 into 1 14.278 * [backup-simplify]: Simplify (/ 1 1) into 1 14.278 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 14.278 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.278 * [taylor]: Taking taylor expansion of z in z 14.278 * [backup-simplify]: Simplify 0 into 0 14.278 * [backup-simplify]: Simplify 1 into 1 14.278 * [backup-simplify]: Simplify (/ 1 1) into 1 14.279 * [backup-simplify]: Simplify (- 1) into -1 14.279 * [backup-simplify]: Simplify -1 into -1 14.279 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.280 * [backup-simplify]: Simplify (- 0) into 0 14.280 * [backup-simplify]: Simplify 0 into 0 14.281 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.281 * [backup-simplify]: Simplify (- 0) into 0 14.281 * [backup-simplify]: Simplify 0 into 0 14.282 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.283 * [backup-simplify]: Simplify (- 0) into 0 14.283 * [backup-simplify]: Simplify 0 into 0 14.284 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.284 * [backup-simplify]: Simplify (- 0) into 0 14.284 * [backup-simplify]: Simplify 0 into 0 14.285 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.286 * [backup-simplify]: Simplify (- 0) into 0 14.286 * [backup-simplify]: Simplify 0 into 0 14.287 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.287 * [backup-simplify]: Simplify (- 0) into 0 14.287 * [backup-simplify]: Simplify 0 into 0 14.287 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 14.287 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 14.287 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 14.287 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.287 * [taylor]: Taking taylor expansion of z in z 14.288 * [backup-simplify]: Simplify 0 into 0 14.288 * [backup-simplify]: Simplify 1 into 1 14.288 * [backup-simplify]: Simplify (/ 1 1) into 1 14.288 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.288 * [taylor]: Taking taylor expansion of z in z 14.288 * [backup-simplify]: Simplify 0 into 0 14.288 * [backup-simplify]: Simplify 1 into 1 14.288 * [backup-simplify]: Simplify (/ 1 1) into 1 14.289 * [backup-simplify]: Simplify 1 into 1 14.289 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.289 * [backup-simplify]: Simplify 0 into 0 14.290 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.290 * [backup-simplify]: Simplify 0 into 0 14.291 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.291 * [backup-simplify]: Simplify 0 into 0 14.292 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.292 * [backup-simplify]: Simplify 0 into 0 14.293 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.293 * [backup-simplify]: Simplify 0 into 0 14.294 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.294 * [backup-simplify]: Simplify 0 into 0 14.295 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 14.295 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 2 2 1) 14.295 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 14.295 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 14.295 * [taylor]: Taking taylor expansion of (- z) in z 14.295 * [taylor]: Taking taylor expansion of z in z 14.295 * [backup-simplify]: Simplify 0 into 0 14.295 * [backup-simplify]: Simplify 1 into 1 14.295 * [taylor]: Taking taylor expansion of (- z) in z 14.295 * [taylor]: Taking taylor expansion of z in z 14.295 * [backup-simplify]: Simplify 0 into 0 14.295 * [backup-simplify]: Simplify 1 into 1 14.295 * [backup-simplify]: Simplify (- 0) into 0 14.296 * [backup-simplify]: Simplify 0 into 0 14.296 * [backup-simplify]: Simplify (- 1) into -1 14.296 * [backup-simplify]: Simplify -1 into -1 14.296 * [backup-simplify]: Simplify (- 0) into 0 14.296 * [backup-simplify]: Simplify 0 into 0 14.297 * [backup-simplify]: Simplify (- 0) into 0 14.297 * [backup-simplify]: Simplify 0 into 0 14.297 * [backup-simplify]: Simplify (- 0) into 0 14.297 * [backup-simplify]: Simplify 0 into 0 14.298 * [backup-simplify]: Simplify (- 0) into 0 14.298 * [backup-simplify]: Simplify 0 into 0 14.298 * [backup-simplify]: Simplify (- 0) into 0 14.298 * [backup-simplify]: Simplify 0 into 0 14.299 * [backup-simplify]: Simplify (- 0) into 0 14.299 * [backup-simplify]: Simplify 0 into 0 14.299 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 14.299 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 14.299 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 14.299 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 14.299 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.299 * [taylor]: Taking taylor expansion of z in z 14.299 * [backup-simplify]: Simplify 0 into 0 14.299 * [backup-simplify]: Simplify 1 into 1 14.300 * [backup-simplify]: Simplify (/ 1 1) into 1 14.300 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 14.300 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.300 * [taylor]: Taking taylor expansion of z in z 14.300 * [backup-simplify]: Simplify 0 into 0 14.300 * [backup-simplify]: Simplify 1 into 1 14.300 * [backup-simplify]: Simplify (/ 1 1) into 1 14.301 * [backup-simplify]: Simplify (- 1) into -1 14.301 * [backup-simplify]: Simplify -1 into -1 14.301 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.302 * [backup-simplify]: Simplify (- 0) into 0 14.302 * [backup-simplify]: Simplify 0 into 0 14.303 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.303 * [backup-simplify]: Simplify (- 0) into 0 14.303 * [backup-simplify]: Simplify 0 into 0 14.304 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.304 * [backup-simplify]: Simplify (- 0) into 0 14.304 * [backup-simplify]: Simplify 0 into 0 14.305 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.306 * [backup-simplify]: Simplify (- 0) into 0 14.306 * [backup-simplify]: Simplify 0 into 0 14.307 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.307 * [backup-simplify]: Simplify (- 0) into 0 14.307 * [backup-simplify]: Simplify 0 into 0 14.308 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.309 * [backup-simplify]: Simplify (- 0) into 0 14.309 * [backup-simplify]: Simplify 0 into 0 14.309 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 14.309 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 14.309 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 14.309 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.309 * [taylor]: Taking taylor expansion of z in z 14.309 * [backup-simplify]: Simplify 0 into 0 14.309 * [backup-simplify]: Simplify 1 into 1 14.310 * [backup-simplify]: Simplify (/ 1 1) into 1 14.310 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.310 * [taylor]: Taking taylor expansion of z in z 14.310 * [backup-simplify]: Simplify 0 into 0 14.310 * [backup-simplify]: Simplify 1 into 1 14.310 * [backup-simplify]: Simplify (/ 1 1) into 1 14.310 * [backup-simplify]: Simplify 1 into 1 14.311 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.311 * [backup-simplify]: Simplify 0 into 0 14.312 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.312 * [backup-simplify]: Simplify 0 into 0 14.313 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.313 * [backup-simplify]: Simplify 0 into 0 14.314 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.314 * [backup-simplify]: Simplify 0 into 0 14.315 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.315 * [backup-simplify]: Simplify 0 into 0 14.316 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.316 * [backup-simplify]: Simplify 0 into 0 14.316 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 14.316 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 2 2 1) 14.317 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 14.317 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 14.317 * [taylor]: Taking taylor expansion of (- z) in z 14.317 * [taylor]: Taking taylor expansion of z in z 14.317 * [backup-simplify]: Simplify 0 into 0 14.317 * [backup-simplify]: Simplify 1 into 1 14.317 * [taylor]: Taking taylor expansion of (- z) in z 14.317 * [taylor]: Taking taylor expansion of z in z 14.317 * [backup-simplify]: Simplify 0 into 0 14.317 * [backup-simplify]: Simplify 1 into 1 14.317 * [backup-simplify]: Simplify (- 0) into 0 14.317 * [backup-simplify]: Simplify 0 into 0 14.318 * [backup-simplify]: Simplify (- 1) into -1 14.318 * [backup-simplify]: Simplify -1 into -1 14.318 * [backup-simplify]: Simplify (- 0) into 0 14.318 * [backup-simplify]: Simplify 0 into 0 14.319 * [backup-simplify]: Simplify (- 0) into 0 14.319 * [backup-simplify]: Simplify 0 into 0 14.319 * [backup-simplify]: Simplify (- 0) into 0 14.319 * [backup-simplify]: Simplify 0 into 0 14.319 * [backup-simplify]: Simplify (- 0) into 0 14.319 * [backup-simplify]: Simplify 0 into 0 14.320 * [backup-simplify]: Simplify (- 0) into 0 14.320 * [backup-simplify]: Simplify 0 into 0 14.320 * [backup-simplify]: Simplify (- 0) into 0 14.320 * [backup-simplify]: Simplify 0 into 0 14.320 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 14.320 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 14.321 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 14.321 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 14.321 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.321 * [taylor]: Taking taylor expansion of z in z 14.321 * [backup-simplify]: Simplify 0 into 0 14.321 * [backup-simplify]: Simplify 1 into 1 14.321 * [backup-simplify]: Simplify (/ 1 1) into 1 14.321 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 14.321 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.321 * [taylor]: Taking taylor expansion of z in z 14.321 * [backup-simplify]: Simplify 0 into 0 14.321 * [backup-simplify]: Simplify 1 into 1 14.322 * [backup-simplify]: Simplify (/ 1 1) into 1 14.322 * [backup-simplify]: Simplify (- 1) into -1 14.322 * [backup-simplify]: Simplify -1 into -1 14.323 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.323 * [backup-simplify]: Simplify (- 0) into 0 14.323 * [backup-simplify]: Simplify 0 into 0 14.324 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.325 * [backup-simplify]: Simplify (- 0) into 0 14.325 * [backup-simplify]: Simplify 0 into 0 14.326 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.326 * [backup-simplify]: Simplify (- 0) into 0 14.326 * [backup-simplify]: Simplify 0 into 0 14.327 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.327 * [backup-simplify]: Simplify (- 0) into 0 14.328 * [backup-simplify]: Simplify 0 into 0 14.329 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.329 * [backup-simplify]: Simplify (- 0) into 0 14.329 * [backup-simplify]: Simplify 0 into 0 14.330 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.330 * [backup-simplify]: Simplify (- 0) into 0 14.330 * [backup-simplify]: Simplify 0 into 0 14.330 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 14.331 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 14.331 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 14.331 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.331 * [taylor]: Taking taylor expansion of z in z 14.331 * [backup-simplify]: Simplify 0 into 0 14.331 * [backup-simplify]: Simplify 1 into 1 14.331 * [backup-simplify]: Simplify (/ 1 1) into 1 14.331 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.331 * [taylor]: Taking taylor expansion of z in z 14.331 * [backup-simplify]: Simplify 0 into 0 14.331 * [backup-simplify]: Simplify 1 into 1 14.332 * [backup-simplify]: Simplify (/ 1 1) into 1 14.332 * [backup-simplify]: Simplify 1 into 1 14.333 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.333 * [backup-simplify]: Simplify 0 into 0 14.334 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.334 * [backup-simplify]: Simplify 0 into 0 14.335 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.335 * [backup-simplify]: Simplify 0 into 0 14.336 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.336 * [backup-simplify]: Simplify 0 into 0 14.337 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.337 * [backup-simplify]: Simplify 0 into 0 14.338 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.338 * [backup-simplify]: Simplify 0 into 0 14.338 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 14.338 * * * [progress]: simplifying candidates 14.340 * [simplify]: Simplifying: (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 14.341 * [simplify]: Sending expressions to egg_math: (/ (/ (exp 1.0) (exp h0)) (exp 1.0)) (/ (exp (- 1.0 h0)) (exp 1.0)) (log (- (- 1.0 h0) 1.0)) (exp (- (- 1.0 h0) 1.0)) (* (cbrt (- (- 1.0 h0) 1.0)) (cbrt (- (- 1.0 h0) 1.0))) (cbrt (- (- 1.0 h0) 1.0)) (* (* (- (- 1.0 h0) 1.0) (- (- 1.0 h0) 1.0)) (- (- 1.0 h0) 1.0)) (sqrt (- (- 1.0 h0) 1.0)) (sqrt (- (- 1.0 h0) 1.0)) (- (pow (- 1.0 h0) 3) (pow 1.0 3)) (+ (* (- 1.0 h0) (- 1.0 h0)) (+ (* 1.0 1.0) (* (- 1.0 h0) 1.0))) (- 1.0) (- (* (- 1.0 h0) (- 1.0 h0)) (* 1.0 1.0)) (+ (- 1.0 h0) 1.0) (+ (sqrt (- 1.0 h0)) (sqrt 1.0)) (- (sqrt (- 1.0 h0)) (sqrt 1.0)) (- (- 1.0 h0) 1.0) (- (- 1.0 h0) 1.0) (- (- h0) 1.0) (- (- h0) 1.0) (+ h0 1.0) (- 1.0) (/ (/ (exp 1.0) (exp h0)) (exp 1.0)) (/ (exp (- 1.0 h0)) (exp 1.0)) (log (- (- 1.0 h0) 1.0)) (exp (- (- 1.0 h0) 1.0)) (* (cbrt (- (- 1.0 h0) 1.0)) (cbrt (- (- 1.0 h0) 1.0))) (cbrt (- (- 1.0 h0) 1.0)) (* (* (- (- 1.0 h0) 1.0) (- (- 1.0 h0) 1.0)) (- (- 1.0 h0) 1.0)) (sqrt (- (- 1.0 h0) 1.0)) (sqrt (- (- 1.0 h0) 1.0)) (- (pow (- 1.0 h0) 3) (pow 1.0 3)) (+ (* (- 1.0 h0) (- 1.0 h0)) (+ (* 1.0 1.0) (* (- 1.0 h0) 1.0))) (- 1.0) (- (* (- 1.0 h0) (- 1.0 h0)) (* 1.0 1.0)) (+ (- 1.0 h0) 1.0) (+ (sqrt (- 1.0 h0)) (sqrt 1.0)) (- (sqrt (- 1.0 h0)) (sqrt 1.0)) (- (- 1.0 h0) 1.0) (- (- 1.0 h0) 1.0) (- (- h0) 1.0) (- (- h0) 1.0) (+ h0 1.0) (- 1.0) (/ (/ (exp 1.0) (exp h0)) (exp 1.0)) (/ (exp (- 1.0 h0)) (exp 1.0)) (log (- (- 1.0 h0) 1.0)) (exp (- (- 1.0 h0) 1.0)) (* (cbrt (- (- 1.0 h0) 1.0)) (cbrt (- (- 1.0 h0) 1.0))) (cbrt (- (- 1.0 h0) 1.0)) (* (* (- (- 1.0 h0) 1.0) (- (- 1.0 h0) 1.0)) (- (- 1.0 h0) 1.0)) (sqrt (- (- 1.0 h0) 1.0)) (sqrt (- (- 1.0 h0) 1.0)) (- (pow (- 1.0 h0) 3) (pow 1.0 3)) (+ (* (- 1.0 h0) (- 1.0 h0)) (+ (* 1.0 1.0) (* (- 1.0 h0) 1.0))) (- 1.0) (- (* (- 1.0 h0) (- 1.0 h0)) (* 1.0 1.0)) (+ (- 1.0 h0) 1.0) (+ (sqrt (- 1.0 h0)) (sqrt 1.0)) (- (sqrt (- 1.0 h0)) (sqrt 1.0)) (- (- 1.0 h0) 1.0) (- (- 1.0 h0) 1.0) (- (- h0) 1.0) (- (- h0) 1.0) (+ h0 1.0) (- 1.0) (/ (/ (exp 1.0) (exp h0)) (exp 1.0)) (/ (exp (- 1.0 h0)) (exp 1.0)) (log (- (- 1.0 h0) 1.0)) (exp (- (- 1.0 h0) 1.0)) (* (cbrt (- (- 1.0 h0) 1.0)) (cbrt (- (- 1.0 h0) 1.0))) (cbrt (- (- 1.0 h0) 1.0)) (* (* (- (- 1.0 h0) 1.0) (- (- 1.0 h0) 1.0)) (- (- 1.0 h0) 1.0)) (sqrt (- (- 1.0 h0) 1.0)) (sqrt (- (- 1.0 h0) 1.0)) (- (pow (- 1.0 h0) 3) (pow 1.0 3)) (+ (* (- 1.0 h0) (- 1.0 h0)) (+ (* 1.0 1.0) (* (- 1.0 h0) 1.0))) (- 1.0) (- (* (- 1.0 h0) (- 1.0 h0)) (* 1.0 1.0)) (+ (- 1.0 h0) 1.0) (+ (sqrt (- 1.0 h0)) (sqrt 1.0)) (- (sqrt (- 1.0 h0)) (sqrt 1.0)) (- (- 1.0 h0) 1.0) (- (- 1.0 h0) 1.0) (- (- h0) 1.0) (- (- h0) 1.0) (+ h0 1.0) (- 1.0) (* -1 h0) (* -1 h0) (* -1 h0) (* -1 h0) (* -1 h0) (* -1 h0) (* -1 h0) (* -1 h0) (* -1 h0) (* -1 h0) (* -1 h0) (* -1 h0) 15.411 * * * [progress]: adding candidates to table 17.145 * [progress]: [Phase 3 of 3] Extracting. 17.145 * * [regime]: Finding splitpoints for: (# #) 17.161 * * * [regime-changes]: Trying 2 branch expressions: ((* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- (- 1.0 z) 1.0) 7.0) 0.5) (+ (- (- 1.0 z) 1.0) 0.5))) (exp (- (+ (+ (- (- 1.0 z) 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1.0 z) 1.0) 1.0))) (/ -1259.1392167224028 (+ (- (- 1.0 z) 1.0) 2.0))) (/ 771.3234287776531 (+ (- (- 1.0 z) 1.0) 3.0))) (/ -176.6150291621406 (+ (- (- 1.0 z) 1.0) 4.0))) (/ 12.507343278686905 (+ (- (- 1.0 z) 1.0) 5.0))) (/ -0.13857109526572012 (+ (- (- 1.0 z) 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- (- 1.0 z) 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- (- 1.0 z) 1.0) 8.0))))) z) 17.161 * * * * [regimes]: Trying to branch on (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- (- 1.0 z) 1.0) 7.0) 0.5) (+ (- (- 1.0 z) 1.0) 0.5))) (exp (- (+ (+ (- (- 1.0 z) 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1.0 z) 1.0) 1.0))) (/ -1259.1392167224028 (+ (- (- 1.0 z) 1.0) 2.0))) (/ 771.3234287776531 (+ (- (- 1.0 z) 1.0) 3.0))) (/ -176.6150291621406 (+ (- (- 1.0 z) 1.0) 4.0))) (/ 12.507343278686905 (+ (- (- 1.0 z) 1.0) 5.0))) (/ -0.13857109526572012 (+ (- (- 1.0 z) 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- (- 1.0 z) 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- (- 1.0 z) 1.0) 8.0))))) from (# #) 17.254 * * * * [regimes]: Trying to branch on z from (# #) 17.293 * * * [regime]: Found split indices: #