28.142 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 2.243 * * * [progress]: [2/2] Setting up program. 2.260 * [progress]: [Phase 2 of 3] Improving. 2.261 * [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))))) 4.269 * * [progress]: iteration 1 / 4 4.269 * * * [progress]: picking best candidate 4.301 * * * * [pick]: Picked # 4.301 * * * [progress]: localizing error 4.436 * * * [progress]: generating rewritten candidates 4.436 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1) 4.866 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 2 1) 4.913 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2 1) 4.957 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1 2 2 1) 5.009 * * * [progress]: generating series expansions 5.009 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1) 5.010 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 5.010 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 5.010 * [taylor]: Taking taylor expansion of (- z) in z 5.010 * [taylor]: Taking taylor expansion of z in z 5.010 * [backup-simplify]: Simplify 0 into 0 5.010 * [backup-simplify]: Simplify 1 into 1 5.010 * [taylor]: Taking taylor expansion of (- z) in z 5.010 * [taylor]: Taking taylor expansion of z in z 5.010 * [backup-simplify]: Simplify 0 into 0 5.010 * [backup-simplify]: Simplify 1 into 1 5.010 * [backup-simplify]: Simplify (- 0) into 0 5.011 * [backup-simplify]: Simplify 0 into 0 5.011 * [backup-simplify]: Simplify (- 1) into -1 5.011 * [backup-simplify]: Simplify -1 into -1 5.011 * [backup-simplify]: Simplify (- 0) into 0 5.011 * [backup-simplify]: Simplify 0 into 0 5.011 * [backup-simplify]: Simplify (- 0) into 0 5.012 * [backup-simplify]: Simplify 0 into 0 5.012 * [backup-simplify]: Simplify (- 0) into 0 5.012 * [backup-simplify]: Simplify 0 into 0 5.012 * [backup-simplify]: Simplify (- 0) into 0 5.012 * [backup-simplify]: Simplify 0 into 0 5.012 * [backup-simplify]: Simplify (- 0) into 0 5.012 * [backup-simplify]: Simplify 0 into 0 5.013 * [backup-simplify]: Simplify (- 0) into 0 5.013 * [backup-simplify]: Simplify 0 into 0 5.013 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 5.013 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 5.013 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 5.013 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.013 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.013 * [taylor]: Taking taylor expansion of z in z 5.013 * [backup-simplify]: Simplify 0 into 0 5.013 * [backup-simplify]: Simplify 1 into 1 5.013 * [backup-simplify]: Simplify (/ 1 1) into 1 5.013 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.013 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.013 * [taylor]: Taking taylor expansion of z in z 5.013 * [backup-simplify]: Simplify 0 into 0 5.013 * [backup-simplify]: Simplify 1 into 1 5.014 * [backup-simplify]: Simplify (/ 1 1) into 1 5.014 * [backup-simplify]: Simplify (- 1) into -1 5.014 * [backup-simplify]: Simplify -1 into -1 5.014 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.015 * [backup-simplify]: Simplify (- 0) into 0 5.015 * [backup-simplify]: Simplify 0 into 0 5.015 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.015 * [backup-simplify]: Simplify (- 0) into 0 5.015 * [backup-simplify]: Simplify 0 into 0 5.016 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.016 * [backup-simplify]: Simplify (- 0) into 0 5.016 * [backup-simplify]: Simplify 0 into 0 5.017 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.017 * [backup-simplify]: Simplify (- 0) into 0 5.017 * [backup-simplify]: Simplify 0 into 0 5.017 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.018 * [backup-simplify]: Simplify (- 0) into 0 5.018 * [backup-simplify]: Simplify 0 into 0 5.018 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.018 * [backup-simplify]: Simplify (- 0) into 0 5.018 * [backup-simplify]: Simplify 0 into 0 5.018 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 5.019 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 5.019 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.019 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.019 * [taylor]: Taking taylor expansion of z in z 5.019 * [backup-simplify]: Simplify 0 into 0 5.019 * [backup-simplify]: Simplify 1 into 1 5.019 * [backup-simplify]: Simplify (/ 1 1) into 1 5.019 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.019 * [taylor]: Taking taylor expansion of z in z 5.019 * [backup-simplify]: Simplify 0 into 0 5.019 * [backup-simplify]: Simplify 1 into 1 5.019 * [backup-simplify]: Simplify (/ 1 1) into 1 5.019 * [backup-simplify]: Simplify 1 into 1 5.020 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.020 * [backup-simplify]: Simplify 0 into 0 5.020 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.020 * [backup-simplify]: Simplify 0 into 0 5.021 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.021 * [backup-simplify]: Simplify 0 into 0 5.021 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.021 * [backup-simplify]: Simplify 0 into 0 5.022 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.022 * [backup-simplify]: Simplify 0 into 0 5.022 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.022 * [backup-simplify]: Simplify 0 into 0 5.023 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 5.023 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 2 1) 5.023 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 5.023 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 5.023 * [taylor]: Taking taylor expansion of (- z) in z 5.023 * [taylor]: Taking taylor expansion of z in z 5.023 * [backup-simplify]: Simplify 0 into 0 5.023 * [backup-simplify]: Simplify 1 into 1 5.023 * [taylor]: Taking taylor expansion of (- z) in z 5.023 * [taylor]: Taking taylor expansion of z in z 5.023 * [backup-simplify]: Simplify 0 into 0 5.023 * [backup-simplify]: Simplify 1 into 1 5.023 * [backup-simplify]: Simplify (- 0) into 0 5.023 * [backup-simplify]: Simplify 0 into 0 5.023 * [backup-simplify]: Simplify (- 1) into -1 5.023 * [backup-simplify]: Simplify -1 into -1 5.024 * [backup-simplify]: Simplify (- 0) into 0 5.024 * [backup-simplify]: Simplify 0 into 0 5.024 * [backup-simplify]: Simplify (- 0) into 0 5.024 * [backup-simplify]: Simplify 0 into 0 5.024 * [backup-simplify]: Simplify (- 0) into 0 5.024 * [backup-simplify]: Simplify 0 into 0 5.024 * [backup-simplify]: Simplify (- 0) into 0 5.024 * [backup-simplify]: Simplify 0 into 0 5.025 * [backup-simplify]: Simplify (- 0) into 0 5.025 * [backup-simplify]: Simplify 0 into 0 5.025 * [backup-simplify]: Simplify (- 0) into 0 5.025 * [backup-simplify]: Simplify 0 into 0 5.025 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 5.025 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 5.025 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 5.025 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.025 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.025 * [taylor]: Taking taylor expansion of z in z 5.025 * [backup-simplify]: Simplify 0 into 0 5.025 * [backup-simplify]: Simplify 1 into 1 5.025 * [backup-simplify]: Simplify (/ 1 1) into 1 5.025 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.026 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.026 * [taylor]: Taking taylor expansion of z in z 5.026 * [backup-simplify]: Simplify 0 into 0 5.026 * [backup-simplify]: Simplify 1 into 1 5.026 * [backup-simplify]: Simplify (/ 1 1) into 1 5.026 * [backup-simplify]: Simplify (- 1) into -1 5.026 * [backup-simplify]: Simplify -1 into -1 5.027 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.027 * [backup-simplify]: Simplify (- 0) into 0 5.027 * [backup-simplify]: Simplify 0 into 0 5.027 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.027 * [backup-simplify]: Simplify (- 0) into 0 5.028 * [backup-simplify]: Simplify 0 into 0 5.028 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.029 * [backup-simplify]: Simplify (- 0) into 0 5.029 * [backup-simplify]: Simplify 0 into 0 5.029 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.030 * [backup-simplify]: Simplify (- 0) into 0 5.030 * [backup-simplify]: Simplify 0 into 0 5.030 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.030 * [backup-simplify]: Simplify (- 0) into 0 5.031 * [backup-simplify]: Simplify 0 into 0 5.031 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.031 * [backup-simplify]: Simplify (- 0) into 0 5.031 * [backup-simplify]: Simplify 0 into 0 5.031 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 5.032 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 5.032 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.032 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.032 * [taylor]: Taking taylor expansion of z in z 5.032 * [backup-simplify]: Simplify 0 into 0 5.032 * [backup-simplify]: Simplify 1 into 1 5.032 * [backup-simplify]: Simplify (/ 1 1) into 1 5.032 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.032 * [taylor]: Taking taylor expansion of z in z 5.032 * [backup-simplify]: Simplify 0 into 0 5.032 * [backup-simplify]: Simplify 1 into 1 5.033 * [backup-simplify]: Simplify (/ 1 1) into 1 5.033 * [backup-simplify]: Simplify 1 into 1 5.033 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.033 * [backup-simplify]: Simplify 0 into 0 5.034 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.034 * [backup-simplify]: Simplify 0 into 0 5.034 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.034 * [backup-simplify]: Simplify 0 into 0 5.035 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.035 * [backup-simplify]: Simplify 0 into 0 5.035 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.036 * [backup-simplify]: Simplify 0 into 0 5.036 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.036 * [backup-simplify]: Simplify 0 into 0 5.036 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 5.036 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2 1) 5.037 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 5.037 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 5.037 * [taylor]: Taking taylor expansion of (- z) in z 5.037 * [taylor]: Taking taylor expansion of z in z 5.037 * [backup-simplify]: Simplify 0 into 0 5.037 * [backup-simplify]: Simplify 1 into 1 5.037 * [taylor]: Taking taylor expansion of (- z) in z 5.037 * [taylor]: Taking taylor expansion of z in z 5.037 * [backup-simplify]: Simplify 0 into 0 5.037 * [backup-simplify]: Simplify 1 into 1 5.037 * [backup-simplify]: Simplify (- 0) into 0 5.037 * [backup-simplify]: Simplify 0 into 0 5.038 * [backup-simplify]: Simplify (- 1) into -1 5.038 * [backup-simplify]: Simplify -1 into -1 5.038 * [backup-simplify]: Simplify (- 0) into 0 5.038 * [backup-simplify]: Simplify 0 into 0 5.038 * [backup-simplify]: Simplify (- 0) into 0 5.038 * [backup-simplify]: Simplify 0 into 0 5.039 * [backup-simplify]: Simplify (- 0) into 0 5.039 * [backup-simplify]: Simplify 0 into 0 5.039 * [backup-simplify]: Simplify (- 0) into 0 5.039 * [backup-simplify]: Simplify 0 into 0 5.040 * [backup-simplify]: Simplify (- 0) into 0 5.040 * [backup-simplify]: Simplify 0 into 0 5.040 * [backup-simplify]: Simplify (- 0) into 0 5.040 * [backup-simplify]: Simplify 0 into 0 5.040 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 5.040 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 5.040 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 5.040 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.040 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.040 * [taylor]: Taking taylor expansion of z in z 5.040 * [backup-simplify]: Simplify 0 into 0 5.040 * [backup-simplify]: Simplify 1 into 1 5.041 * [backup-simplify]: Simplify (/ 1 1) into 1 5.041 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.041 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.041 * [taylor]: Taking taylor expansion of z in z 5.041 * [backup-simplify]: Simplify 0 into 0 5.041 * [backup-simplify]: Simplify 1 into 1 5.041 * [backup-simplify]: Simplify (/ 1 1) into 1 5.042 * [backup-simplify]: Simplify (- 1) into -1 5.042 * [backup-simplify]: Simplify -1 into -1 5.043 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.043 * [backup-simplify]: Simplify (- 0) into 0 5.043 * [backup-simplify]: Simplify 0 into 0 5.044 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.044 * [backup-simplify]: Simplify (- 0) into 0 5.044 * [backup-simplify]: Simplify 0 into 0 5.045 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.046 * [backup-simplify]: Simplify (- 0) into 0 5.046 * [backup-simplify]: Simplify 0 into 0 5.047 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.047 * [backup-simplify]: Simplify (- 0) into 0 5.047 * [backup-simplify]: Simplify 0 into 0 5.048 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.048 * [backup-simplify]: Simplify (- 0) into 0 5.048 * [backup-simplify]: Simplify 0 into 0 5.049 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.050 * [backup-simplify]: Simplify (- 0) into 0 5.050 * [backup-simplify]: Simplify 0 into 0 5.050 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 5.050 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 5.050 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.050 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.050 * [taylor]: Taking taylor expansion of z in z 5.050 * [backup-simplify]: Simplify 0 into 0 5.050 * [backup-simplify]: Simplify 1 into 1 5.051 * [backup-simplify]: Simplify (/ 1 1) into 1 5.051 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.051 * [taylor]: Taking taylor expansion of z in z 5.051 * [backup-simplify]: Simplify 0 into 0 5.051 * [backup-simplify]: Simplify 1 into 1 5.051 * [backup-simplify]: Simplify (/ 1 1) into 1 5.051 * [backup-simplify]: Simplify 1 into 1 5.052 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.052 * [backup-simplify]: Simplify 0 into 0 5.053 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.053 * [backup-simplify]: Simplify 0 into 0 5.054 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.054 * [backup-simplify]: Simplify 0 into 0 5.055 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.055 * [backup-simplify]: Simplify 0 into 0 5.056 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.056 * [backup-simplify]: Simplify 0 into 0 5.057 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.057 * [backup-simplify]: Simplify 0 into 0 5.057 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 5.057 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1 2 2 1) 5.057 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 5.057 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 5.057 * [taylor]: Taking taylor expansion of (- z) in z 5.057 * [taylor]: Taking taylor expansion of z in z 5.057 * [backup-simplify]: Simplify 0 into 0 5.057 * [backup-simplify]: Simplify 1 into 1 5.058 * [taylor]: Taking taylor expansion of (- z) in z 5.058 * [taylor]: Taking taylor expansion of z in z 5.058 * [backup-simplify]: Simplify 0 into 0 5.058 * [backup-simplify]: Simplify 1 into 1 5.058 * [backup-simplify]: Simplify (- 0) into 0 5.058 * [backup-simplify]: Simplify 0 into 0 5.058 * [backup-simplify]: Simplify (- 1) into -1 5.058 * [backup-simplify]: Simplify -1 into -1 5.059 * [backup-simplify]: Simplify (- 0) into 0 5.059 * [backup-simplify]: Simplify 0 into 0 5.059 * [backup-simplify]: Simplify (- 0) into 0 5.059 * [backup-simplify]: Simplify 0 into 0 5.060 * [backup-simplify]: Simplify (- 0) into 0 5.060 * [backup-simplify]: Simplify 0 into 0 5.060 * [backup-simplify]: Simplify (- 0) into 0 5.060 * [backup-simplify]: Simplify 0 into 0 5.060 * [backup-simplify]: Simplify (- 0) into 0 5.060 * [backup-simplify]: Simplify 0 into 0 5.061 * [backup-simplify]: Simplify (- 0) into 0 5.061 * [backup-simplify]: Simplify 0 into 0 5.061 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 5.061 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 5.061 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 5.061 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.061 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.061 * [taylor]: Taking taylor expansion of z in z 5.061 * [backup-simplify]: Simplify 0 into 0 5.061 * [backup-simplify]: Simplify 1 into 1 5.062 * [backup-simplify]: Simplify (/ 1 1) into 1 5.062 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.062 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.062 * [taylor]: Taking taylor expansion of z in z 5.062 * [backup-simplify]: Simplify 0 into 0 5.062 * [backup-simplify]: Simplify 1 into 1 5.062 * [backup-simplify]: Simplify (/ 1 1) into 1 5.063 * [backup-simplify]: Simplify (- 1) into -1 5.063 * [backup-simplify]: Simplify -1 into -1 5.063 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.064 * [backup-simplify]: Simplify (- 0) into 0 5.064 * [backup-simplify]: Simplify 0 into 0 5.065 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.065 * [backup-simplify]: Simplify (- 0) into 0 5.065 * [backup-simplify]: Simplify 0 into 0 5.066 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.066 * [backup-simplify]: Simplify (- 0) into 0 5.066 * [backup-simplify]: Simplify 0 into 0 5.067 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.068 * [backup-simplify]: Simplify (- 0) into 0 5.068 * [backup-simplify]: Simplify 0 into 0 5.069 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.069 * [backup-simplify]: Simplify (- 0) into 0 5.069 * [backup-simplify]: Simplify 0 into 0 5.070 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.070 * [backup-simplify]: Simplify (- 0) into 0 5.070 * [backup-simplify]: Simplify 0 into 0 5.070 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 5.071 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 5.071 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.071 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.071 * [taylor]: Taking taylor expansion of z in z 5.071 * [backup-simplify]: Simplify 0 into 0 5.071 * [backup-simplify]: Simplify 1 into 1 5.071 * [backup-simplify]: Simplify (/ 1 1) into 1 5.071 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.071 * [taylor]: Taking taylor expansion of z in z 5.071 * [backup-simplify]: Simplify 0 into 0 5.071 * [backup-simplify]: Simplify 1 into 1 5.072 * [backup-simplify]: Simplify (/ 1 1) into 1 5.072 * [backup-simplify]: Simplify 1 into 1 5.072 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.072 * [backup-simplify]: Simplify 0 into 0 5.073 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.073 * [backup-simplify]: Simplify 0 into 0 5.074 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.074 * [backup-simplify]: Simplify 0 into 0 5.075 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.075 * [backup-simplify]: Simplify 0 into 0 5.076 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.076 * [backup-simplify]: Simplify 0 into 0 5.077 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.077 * [backup-simplify]: Simplify 0 into 0 5.077 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 5.077 * * * [progress]: simplifying candidates 5.080 * [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) 6.122 * * * [progress]: adding candidates to table 7.459 * * [progress]: iteration 2 / 4 7.459 * * * [progress]: picking best candidate 7.478 * * * * [pick]: Picked # 7.478 * * * [progress]: localizing error 7.604 * * * [progress]: generating rewritten candidates 7.604 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 7.672 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 7.716 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 7.780 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 7.828 * * * [progress]: generating series expansions 7.828 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 7.828 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 7.828 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 7.828 * [taylor]: Taking taylor expansion of (- z) in z 7.828 * [taylor]: Taking taylor expansion of z in z 7.828 * [backup-simplify]: Simplify 0 into 0 7.828 * [backup-simplify]: Simplify 1 into 1 7.828 * [taylor]: Taking taylor expansion of (- z) in z 7.828 * [taylor]: Taking taylor expansion of z in z 7.828 * [backup-simplify]: Simplify 0 into 0 7.828 * [backup-simplify]: Simplify 1 into 1 7.829 * [backup-simplify]: Simplify (- 0) into 0 7.829 * [backup-simplify]: Simplify 0 into 0 7.829 * [backup-simplify]: Simplify (- 1) into -1 7.829 * [backup-simplify]: Simplify -1 into -1 7.829 * [backup-simplify]: Simplify (- 0) into 0 7.830 * [backup-simplify]: Simplify 0 into 0 7.830 * [backup-simplify]: Simplify (- 0) into 0 7.830 * [backup-simplify]: Simplify 0 into 0 7.830 * [backup-simplify]: Simplify (- 0) into 0 7.830 * [backup-simplify]: Simplify 0 into 0 7.830 * [backup-simplify]: Simplify (- 0) into 0 7.830 * [backup-simplify]: Simplify 0 into 0 7.831 * [backup-simplify]: Simplify (- 0) into 0 7.831 * [backup-simplify]: Simplify 0 into 0 7.831 * [backup-simplify]: Simplify (- 0) into 0 7.831 * [backup-simplify]: Simplify 0 into 0 7.831 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 7.831 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 7.831 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 7.831 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 7.831 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.831 * [taylor]: Taking taylor expansion of z in z 7.831 * [backup-simplify]: Simplify 0 into 0 7.831 * [backup-simplify]: Simplify 1 into 1 7.831 * [backup-simplify]: Simplify (/ 1 1) into 1 7.831 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 7.831 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.831 * [taylor]: Taking taylor expansion of z in z 7.831 * [backup-simplify]: Simplify 0 into 0 7.831 * [backup-simplify]: Simplify 1 into 1 7.832 * [backup-simplify]: Simplify (/ 1 1) into 1 7.832 * [backup-simplify]: Simplify (- 1) into -1 7.832 * [backup-simplify]: Simplify -1 into -1 7.832 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.833 * [backup-simplify]: Simplify (- 0) into 0 7.833 * [backup-simplify]: Simplify 0 into 0 7.833 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.833 * [backup-simplify]: Simplify (- 0) into 0 7.833 * [backup-simplify]: Simplify 0 into 0 7.834 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.834 * [backup-simplify]: Simplify (- 0) into 0 7.834 * [backup-simplify]: Simplify 0 into 0 7.835 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.835 * [backup-simplify]: Simplify (- 0) into 0 7.835 * [backup-simplify]: Simplify 0 into 0 7.835 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.836 * [backup-simplify]: Simplify (- 0) into 0 7.836 * [backup-simplify]: Simplify 0 into 0 7.839 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.839 * [backup-simplify]: Simplify (- 0) into 0 7.839 * [backup-simplify]: Simplify 0 into 0 7.839 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 7.839 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 7.839 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 7.839 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.839 * [taylor]: Taking taylor expansion of z in z 7.840 * [backup-simplify]: Simplify 0 into 0 7.840 * [backup-simplify]: Simplify 1 into 1 7.840 * [backup-simplify]: Simplify (/ 1 1) into 1 7.840 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.840 * [taylor]: Taking taylor expansion of z in z 7.840 * [backup-simplify]: Simplify 0 into 0 7.840 * [backup-simplify]: Simplify 1 into 1 7.840 * [backup-simplify]: Simplify (/ 1 1) into 1 7.840 * [backup-simplify]: Simplify 1 into 1 7.841 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.841 * [backup-simplify]: Simplify 0 into 0 7.841 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.841 * [backup-simplify]: Simplify 0 into 0 7.842 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.842 * [backup-simplify]: Simplify 0 into 0 7.842 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.842 * [backup-simplify]: Simplify 0 into 0 7.843 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.843 * [backup-simplify]: Simplify 0 into 0 7.843 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.843 * [backup-simplify]: Simplify 0 into 0 7.843 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 7.843 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 7.843 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 7.843 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 7.844 * [taylor]: Taking taylor expansion of (- z) in z 7.844 * [taylor]: Taking taylor expansion of z in z 7.844 * [backup-simplify]: Simplify 0 into 0 7.844 * [backup-simplify]: Simplify 1 into 1 7.844 * [taylor]: Taking taylor expansion of (- z) in z 7.844 * [taylor]: Taking taylor expansion of z in z 7.844 * [backup-simplify]: Simplify 0 into 0 7.844 * [backup-simplify]: Simplify 1 into 1 7.844 * [backup-simplify]: Simplify (- 0) into 0 7.844 * [backup-simplify]: Simplify 0 into 0 7.844 * [backup-simplify]: Simplify (- 1) into -1 7.844 * [backup-simplify]: Simplify -1 into -1 7.844 * [backup-simplify]: Simplify (- 0) into 0 7.844 * [backup-simplify]: Simplify 0 into 0 7.845 * [backup-simplify]: Simplify (- 0) into 0 7.845 * [backup-simplify]: Simplify 0 into 0 7.845 * [backup-simplify]: Simplify (- 0) into 0 7.845 * [backup-simplify]: Simplify 0 into 0 7.845 * [backup-simplify]: Simplify (- 0) into 0 7.845 * [backup-simplify]: Simplify 0 into 0 7.845 * [backup-simplify]: Simplify (- 0) into 0 7.845 * [backup-simplify]: Simplify 0 into 0 7.846 * [backup-simplify]: Simplify (- 0) into 0 7.846 * [backup-simplify]: Simplify 0 into 0 7.846 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 7.846 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 7.846 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 7.846 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 7.846 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.846 * [taylor]: Taking taylor expansion of z in z 7.846 * [backup-simplify]: Simplify 0 into 0 7.846 * [backup-simplify]: Simplify 1 into 1 7.846 * [backup-simplify]: Simplify (/ 1 1) into 1 7.846 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 7.846 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.846 * [taylor]: Taking taylor expansion of z in z 7.846 * [backup-simplify]: Simplify 0 into 0 7.846 * [backup-simplify]: Simplify 1 into 1 7.846 * [backup-simplify]: Simplify (/ 1 1) into 1 7.847 * [backup-simplify]: Simplify (- 1) into -1 7.847 * [backup-simplify]: Simplify -1 into -1 7.847 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.847 * [backup-simplify]: Simplify (- 0) into 0 7.847 * [backup-simplify]: Simplify 0 into 0 7.848 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.848 * [backup-simplify]: Simplify (- 0) into 0 7.848 * [backup-simplify]: Simplify 0 into 0 7.849 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.849 * [backup-simplify]: Simplify (- 0) into 0 7.849 * [backup-simplify]: Simplify 0 into 0 7.850 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.850 * [backup-simplify]: Simplify (- 0) into 0 7.850 * [backup-simplify]: Simplify 0 into 0 7.850 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.851 * [backup-simplify]: Simplify (- 0) into 0 7.851 * [backup-simplify]: Simplify 0 into 0 7.851 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.851 * [backup-simplify]: Simplify (- 0) into 0 7.851 * [backup-simplify]: Simplify 0 into 0 7.851 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 7.851 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 7.851 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 7.851 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.852 * [taylor]: Taking taylor expansion of z in z 7.852 * [backup-simplify]: Simplify 0 into 0 7.852 * [backup-simplify]: Simplify 1 into 1 7.852 * [backup-simplify]: Simplify (/ 1 1) into 1 7.852 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.852 * [taylor]: Taking taylor expansion of z in z 7.852 * [backup-simplify]: Simplify 0 into 0 7.852 * [backup-simplify]: Simplify 1 into 1 7.852 * [backup-simplify]: Simplify (/ 1 1) into 1 7.852 * [backup-simplify]: Simplify 1 into 1 7.853 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.853 * [backup-simplify]: Simplify 0 into 0 7.853 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.853 * [backup-simplify]: Simplify 0 into 0 7.854 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.854 * [backup-simplify]: Simplify 0 into 0 7.854 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.854 * [backup-simplify]: Simplify 0 into 0 7.855 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.855 * [backup-simplify]: Simplify 0 into 0 7.855 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.855 * [backup-simplify]: Simplify 0 into 0 7.855 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 7.855 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 7.855 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 7.855 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 7.855 * [taylor]: Taking taylor expansion of (- z) in z 7.855 * [taylor]: Taking taylor expansion of z in z 7.856 * [backup-simplify]: Simplify 0 into 0 7.856 * [backup-simplify]: Simplify 1 into 1 7.856 * [taylor]: Taking taylor expansion of (- z) in z 7.856 * [taylor]: Taking taylor expansion of z in z 7.856 * [backup-simplify]: Simplify 0 into 0 7.856 * [backup-simplify]: Simplify 1 into 1 7.856 * [backup-simplify]: Simplify (- 0) into 0 7.856 * [backup-simplify]: Simplify 0 into 0 7.856 * [backup-simplify]: Simplify (- 1) into -1 7.856 * [backup-simplify]: Simplify -1 into -1 7.856 * [backup-simplify]: Simplify (- 0) into 0 7.856 * [backup-simplify]: Simplify 0 into 0 7.857 * [backup-simplify]: Simplify (- 0) into 0 7.857 * [backup-simplify]: Simplify 0 into 0 7.857 * [backup-simplify]: Simplify (- 0) into 0 7.857 * [backup-simplify]: Simplify 0 into 0 7.857 * [backup-simplify]: Simplify (- 0) into 0 7.857 * [backup-simplify]: Simplify 0 into 0 7.857 * [backup-simplify]: Simplify (- 0) into 0 7.857 * [backup-simplify]: Simplify 0 into 0 7.858 * [backup-simplify]: Simplify (- 0) into 0 7.858 * [backup-simplify]: Simplify 0 into 0 7.858 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 7.858 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 7.858 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 7.858 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 7.858 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.858 * [taylor]: Taking taylor expansion of z in z 7.858 * [backup-simplify]: Simplify 0 into 0 7.858 * [backup-simplify]: Simplify 1 into 1 7.858 * [backup-simplify]: Simplify (/ 1 1) into 1 7.858 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 7.858 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.858 * [taylor]: Taking taylor expansion of z in z 7.858 * [backup-simplify]: Simplify 0 into 0 7.858 * [backup-simplify]: Simplify 1 into 1 7.858 * [backup-simplify]: Simplify (/ 1 1) into 1 7.859 * [backup-simplify]: Simplify (- 1) into -1 7.859 * [backup-simplify]: Simplify -1 into -1 7.859 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.859 * [backup-simplify]: Simplify (- 0) into 0 7.859 * [backup-simplify]: Simplify 0 into 0 7.860 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.860 * [backup-simplify]: Simplify (- 0) into 0 7.860 * [backup-simplify]: Simplify 0 into 0 7.860 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.861 * [backup-simplify]: Simplify (- 0) into 0 7.861 * [backup-simplify]: Simplify 0 into 0 7.861 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.861 * [backup-simplify]: Simplify (- 0) into 0 7.861 * [backup-simplify]: Simplify 0 into 0 7.862 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.862 * [backup-simplify]: Simplify (- 0) into 0 7.862 * [backup-simplify]: Simplify 0 into 0 7.863 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.863 * [backup-simplify]: Simplify (- 0) into 0 7.863 * [backup-simplify]: Simplify 0 into 0 7.863 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 7.863 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 7.863 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 7.863 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.863 * [taylor]: Taking taylor expansion of z in z 7.863 * [backup-simplify]: Simplify 0 into 0 7.863 * [backup-simplify]: Simplify 1 into 1 7.863 * [backup-simplify]: Simplify (/ 1 1) into 1 7.863 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.864 * [taylor]: Taking taylor expansion of z in z 7.864 * [backup-simplify]: Simplify 0 into 0 7.864 * [backup-simplify]: Simplify 1 into 1 7.864 * [backup-simplify]: Simplify (/ 1 1) into 1 7.864 * [backup-simplify]: Simplify 1 into 1 7.864 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.864 * [backup-simplify]: Simplify 0 into 0 7.865 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.865 * [backup-simplify]: Simplify 0 into 0 7.866 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.866 * [backup-simplify]: Simplify 0 into 0 7.867 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.867 * [backup-simplify]: Simplify 0 into 0 7.868 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.868 * [backup-simplify]: Simplify 0 into 0 7.869 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.869 * [backup-simplify]: Simplify 0 into 0 7.869 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 7.869 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2 1) 7.870 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 7.870 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 7.870 * [taylor]: Taking taylor expansion of (- z) in z 7.870 * [taylor]: Taking taylor expansion of z in z 7.870 * [backup-simplify]: Simplify 0 into 0 7.870 * [backup-simplify]: Simplify 1 into 1 7.870 * [taylor]: Taking taylor expansion of (- z) in z 7.870 * [taylor]: Taking taylor expansion of z in z 7.870 * [backup-simplify]: Simplify 0 into 0 7.870 * [backup-simplify]: Simplify 1 into 1 7.870 * [backup-simplify]: Simplify (- 0) into 0 7.870 * [backup-simplify]: Simplify 0 into 0 7.871 * [backup-simplify]: Simplify (- 1) into -1 7.871 * [backup-simplify]: Simplify -1 into -1 7.871 * [backup-simplify]: Simplify (- 0) into 0 7.871 * [backup-simplify]: Simplify 0 into 0 7.871 * [backup-simplify]: Simplify (- 0) into 0 7.871 * [backup-simplify]: Simplify 0 into 0 7.872 * [backup-simplify]: Simplify (- 0) into 0 7.872 * [backup-simplify]: Simplify 0 into 0 7.872 * [backup-simplify]: Simplify (- 0) into 0 7.872 * [backup-simplify]: Simplify 0 into 0 7.873 * [backup-simplify]: Simplify (- 0) into 0 7.873 * [backup-simplify]: Simplify 0 into 0 7.873 * [backup-simplify]: Simplify (- 0) into 0 7.873 * [backup-simplify]: Simplify 0 into 0 7.873 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 7.873 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 7.873 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 7.873 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 7.873 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.873 * [taylor]: Taking taylor expansion of z in z 7.873 * [backup-simplify]: Simplify 0 into 0 7.873 * [backup-simplify]: Simplify 1 into 1 7.874 * [backup-simplify]: Simplify (/ 1 1) into 1 7.874 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 7.874 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.874 * [taylor]: Taking taylor expansion of z in z 7.874 * [backup-simplify]: Simplify 0 into 0 7.874 * [backup-simplify]: Simplify 1 into 1 7.874 * [backup-simplify]: Simplify (/ 1 1) into 1 7.875 * [backup-simplify]: Simplify (- 1) into -1 7.875 * [backup-simplify]: Simplify -1 into -1 7.875 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.876 * [backup-simplify]: Simplify (- 0) into 0 7.876 * [backup-simplify]: Simplify 0 into 0 7.877 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.877 * [backup-simplify]: Simplify (- 0) into 0 7.877 * [backup-simplify]: Simplify 0 into 0 7.878 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.878 * [backup-simplify]: Simplify (- 0) into 0 7.878 * [backup-simplify]: Simplify 0 into 0 7.879 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.880 * [backup-simplify]: Simplify (- 0) into 0 7.880 * [backup-simplify]: Simplify 0 into 0 7.881 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.881 * [backup-simplify]: Simplify (- 0) into 0 7.881 * [backup-simplify]: Simplify 0 into 0 7.882 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.882 * [backup-simplify]: Simplify (- 0) into 0 7.882 * [backup-simplify]: Simplify 0 into 0 7.883 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 7.883 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 7.883 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 7.883 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.883 * [taylor]: Taking taylor expansion of z in z 7.883 * [backup-simplify]: Simplify 0 into 0 7.883 * [backup-simplify]: Simplify 1 into 1 7.883 * [backup-simplify]: Simplify (/ 1 1) into 1 7.883 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.883 * [taylor]: Taking taylor expansion of z in z 7.883 * [backup-simplify]: Simplify 0 into 0 7.883 * [backup-simplify]: Simplify 1 into 1 7.884 * [backup-simplify]: Simplify (/ 1 1) into 1 7.884 * [backup-simplify]: Simplify 1 into 1 7.885 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.885 * [backup-simplify]: Simplify 0 into 0 7.886 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.886 * [backup-simplify]: Simplify 0 into 0 7.887 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.887 * [backup-simplify]: Simplify 0 into 0 7.888 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.888 * [backup-simplify]: Simplify 0 into 0 7.888 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.889 * [backup-simplify]: Simplify 0 into 0 7.889 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.890 * [backup-simplify]: Simplify 0 into 0 7.890 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 7.890 * * * [progress]: simplifying candidates 7.892 * [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.919 * * * [progress]: adding candidates to table 10.186 * * [progress]: iteration 3 / 4 10.186 * * * [progress]: picking best candidate 10.232 * * * * [pick]: Picked # 10.232 * * * [progress]: localizing error 10.331 * * * [progress]: generating rewritten candidates 10.331 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 10.346 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 10.417 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 10.488 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 10.566 * * * [progress]: generating series expansions 10.566 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 10.566 * [backup-simplify]: Simplify (- 1.0 (+ 1.0 z)) into (- z) 10.566 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 10.566 * [taylor]: Taking taylor expansion of (- z) in z 10.566 * [taylor]: Taking taylor expansion of z in z 10.566 * [backup-simplify]: Simplify 0 into 0 10.566 * [backup-simplify]: Simplify 1 into 1 10.566 * [taylor]: Taking taylor expansion of (- z) in z 10.567 * [taylor]: Taking taylor expansion of z in z 10.567 * [backup-simplify]: Simplify 0 into 0 10.567 * [backup-simplify]: Simplify 1 into 1 10.567 * [backup-simplify]: Simplify (- 0) into 0 10.567 * [backup-simplify]: Simplify 0 into 0 10.568 * [backup-simplify]: Simplify (- 1) into -1 10.568 * [backup-simplify]: Simplify -1 into -1 10.568 * [backup-simplify]: Simplify (- 0) into 0 10.568 * [backup-simplify]: Simplify 0 into 0 10.569 * [backup-simplify]: Simplify (- 0) into 0 10.569 * [backup-simplify]: Simplify 0 into 0 10.569 * [backup-simplify]: Simplify (- 0) into 0 10.569 * [backup-simplify]: Simplify 0 into 0 10.569 * [backup-simplify]: Simplify (- 0) into 0 10.569 * [backup-simplify]: Simplify 0 into 0 10.570 * [backup-simplify]: Simplify (- 0) into 0 10.570 * [backup-simplify]: Simplify 0 into 0 10.570 * [backup-simplify]: Simplify (- 0) into 0 10.570 * [backup-simplify]: Simplify 0 into 0 10.570 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 10.570 * [backup-simplify]: Simplify (- 1.0 (+ 1.0 (/ 1 z))) into (- (/ 1 z)) 10.570 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 10.570 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 10.570 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.571 * [taylor]: Taking taylor expansion of z in z 10.571 * [backup-simplify]: Simplify 0 into 0 10.571 * [backup-simplify]: Simplify 1 into 1 10.571 * [backup-simplify]: Simplify (/ 1 1) into 1 10.571 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 10.571 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.571 * [taylor]: Taking taylor expansion of z in z 10.571 * [backup-simplify]: Simplify 0 into 0 10.571 * [backup-simplify]: Simplify 1 into 1 10.571 * [backup-simplify]: Simplify (/ 1 1) into 1 10.572 * [backup-simplify]: Simplify (- 1) into -1 10.572 * [backup-simplify]: Simplify -1 into -1 10.573 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.573 * [backup-simplify]: Simplify (- 0) into 0 10.573 * [backup-simplify]: Simplify 0 into 0 10.574 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.574 * [backup-simplify]: Simplify (- 0) into 0 10.574 * [backup-simplify]: Simplify 0 into 0 10.575 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.575 * [backup-simplify]: Simplify (- 0) into 0 10.575 * [backup-simplify]: Simplify 0 into 0 10.576 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.576 * [backup-simplify]: Simplify (- 0) into 0 10.576 * [backup-simplify]: Simplify 0 into 0 10.577 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.577 * [backup-simplify]: Simplify (- 0) into 0 10.577 * [backup-simplify]: Simplify 0 into 0 10.578 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.578 * [backup-simplify]: Simplify (- 0) into 0 10.578 * [backup-simplify]: Simplify 0 into 0 10.578 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 10.578 * [backup-simplify]: Simplify (- 1.0 (+ 1.0 (/ 1 (- z)))) into (/ 1 z) 10.578 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 10.578 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.578 * [taylor]: Taking taylor expansion of z in z 10.578 * [backup-simplify]: Simplify 0 into 0 10.578 * [backup-simplify]: Simplify 1 into 1 10.579 * [backup-simplify]: Simplify (/ 1 1) into 1 10.579 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.579 * [taylor]: Taking taylor expansion of z in z 10.579 * [backup-simplify]: Simplify 0 into 0 10.579 * [backup-simplify]: Simplify 1 into 1 10.579 * [backup-simplify]: Simplify (/ 1 1) into 1 10.579 * [backup-simplify]: Simplify 1 into 1 10.579 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.579 * [backup-simplify]: Simplify 0 into 0 10.580 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.580 * [backup-simplify]: Simplify 0 into 0 10.580 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.580 * [backup-simplify]: Simplify 0 into 0 10.581 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.581 * [backup-simplify]: Simplify 0 into 0 10.581 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.582 * [backup-simplify]: Simplify 0 into 0 10.582 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.582 * [backup-simplify]: Simplify 0 into 0 10.582 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 10.582 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 10.582 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 10.582 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 10.582 * [taylor]: Taking taylor expansion of (- z) in z 10.582 * [taylor]: Taking taylor expansion of z in z 10.582 * [backup-simplify]: Simplify 0 into 0 10.582 * [backup-simplify]: Simplify 1 into 1 10.582 * [taylor]: Taking taylor expansion of (- z) in z 10.582 * [taylor]: Taking taylor expansion of z in z 10.582 * [backup-simplify]: Simplify 0 into 0 10.582 * [backup-simplify]: Simplify 1 into 1 10.583 * [backup-simplify]: Simplify (- 0) into 0 10.583 * [backup-simplify]: Simplify 0 into 0 10.583 * [backup-simplify]: Simplify (- 1) into -1 10.583 * [backup-simplify]: Simplify -1 into -1 10.583 * [backup-simplify]: Simplify (- 0) into 0 10.583 * [backup-simplify]: Simplify 0 into 0 10.583 * [backup-simplify]: Simplify (- 0) into 0 10.583 * [backup-simplify]: Simplify 0 into 0 10.584 * [backup-simplify]: Simplify (- 0) into 0 10.584 * [backup-simplify]: Simplify 0 into 0 10.584 * [backup-simplify]: Simplify (- 0) into 0 10.584 * [backup-simplify]: Simplify 0 into 0 10.584 * [backup-simplify]: Simplify (- 0) into 0 10.584 * [backup-simplify]: Simplify 0 into 0 10.584 * [backup-simplify]: Simplify (- 0) into 0 10.584 * [backup-simplify]: Simplify 0 into 0 10.584 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 10.585 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 10.585 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 10.585 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 10.585 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.585 * [taylor]: Taking taylor expansion of z in z 10.585 * [backup-simplify]: Simplify 0 into 0 10.585 * [backup-simplify]: Simplify 1 into 1 10.585 * [backup-simplify]: Simplify (/ 1 1) into 1 10.585 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 10.585 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.585 * [taylor]: Taking taylor expansion of z in z 10.585 * [backup-simplify]: Simplify 0 into 0 10.585 * [backup-simplify]: Simplify 1 into 1 10.585 * [backup-simplify]: Simplify (/ 1 1) into 1 10.585 * [backup-simplify]: Simplify (- 1) into -1 10.586 * [backup-simplify]: Simplify -1 into -1 10.586 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.586 * [backup-simplify]: Simplify (- 0) into 0 10.586 * [backup-simplify]: Simplify 0 into 0 10.587 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.587 * [backup-simplify]: Simplify (- 0) into 0 10.587 * [backup-simplify]: Simplify 0 into 0 10.587 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.588 * [backup-simplify]: Simplify (- 0) into 0 10.588 * [backup-simplify]: Simplify 0 into 0 10.588 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.588 * [backup-simplify]: Simplify (- 0) into 0 10.589 * [backup-simplify]: Simplify 0 into 0 10.589 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.589 * [backup-simplify]: Simplify (- 0) into 0 10.589 * [backup-simplify]: Simplify 0 into 0 10.590 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.590 * [backup-simplify]: Simplify (- 0) into 0 10.590 * [backup-simplify]: Simplify 0 into 0 10.590 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 10.590 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 10.590 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 10.590 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.590 * [taylor]: Taking taylor expansion of z in z 10.590 * [backup-simplify]: Simplify 0 into 0 10.590 * [backup-simplify]: Simplify 1 into 1 10.591 * [backup-simplify]: Simplify (/ 1 1) into 1 10.591 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.591 * [taylor]: Taking taylor expansion of z in z 10.591 * [backup-simplify]: Simplify 0 into 0 10.591 * [backup-simplify]: Simplify 1 into 1 10.591 * [backup-simplify]: Simplify (/ 1 1) into 1 10.591 * [backup-simplify]: Simplify 1 into 1 10.591 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.591 * [backup-simplify]: Simplify 0 into 0 10.592 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.592 * [backup-simplify]: Simplify 0 into 0 10.592 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.592 * [backup-simplify]: Simplify 0 into 0 10.593 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.593 * [backup-simplify]: Simplify 0 into 0 10.593 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.594 * [backup-simplify]: Simplify 0 into 0 10.594 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.594 * [backup-simplify]: Simplify 0 into 0 10.594 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 10.594 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 10.594 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 10.594 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 10.594 * [taylor]: Taking taylor expansion of (- z) in z 10.594 * [taylor]: Taking taylor expansion of z in z 10.594 * [backup-simplify]: Simplify 0 into 0 10.594 * [backup-simplify]: Simplify 1 into 1 10.594 * [taylor]: Taking taylor expansion of (- z) in z 10.594 * [taylor]: Taking taylor expansion of z in z 10.594 * [backup-simplify]: Simplify 0 into 0 10.594 * [backup-simplify]: Simplify 1 into 1 10.595 * [backup-simplify]: Simplify (- 0) into 0 10.595 * [backup-simplify]: Simplify 0 into 0 10.595 * [backup-simplify]: Simplify (- 1) into -1 10.595 * [backup-simplify]: Simplify -1 into -1 10.595 * [backup-simplify]: Simplify (- 0) into 0 10.595 * [backup-simplify]: Simplify 0 into 0 10.595 * [backup-simplify]: Simplify (- 0) into 0 10.595 * [backup-simplify]: Simplify 0 into 0 10.596 * [backup-simplify]: Simplify (- 0) into 0 10.596 * [backup-simplify]: Simplify 0 into 0 10.596 * [backup-simplify]: Simplify (- 0) into 0 10.596 * [backup-simplify]: Simplify 0 into 0 10.596 * [backup-simplify]: Simplify (- 0) into 0 10.596 * [backup-simplify]: Simplify 0 into 0 10.596 * [backup-simplify]: Simplify (- 0) into 0 10.596 * [backup-simplify]: Simplify 0 into 0 10.597 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 10.597 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 10.597 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 10.597 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 10.597 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.597 * [taylor]: Taking taylor expansion of z in z 10.597 * [backup-simplify]: Simplify 0 into 0 10.597 * [backup-simplify]: Simplify 1 into 1 10.597 * [backup-simplify]: Simplify (/ 1 1) into 1 10.597 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 10.597 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.597 * [taylor]: Taking taylor expansion of z in z 10.597 * [backup-simplify]: Simplify 0 into 0 10.597 * [backup-simplify]: Simplify 1 into 1 10.597 * [backup-simplify]: Simplify (/ 1 1) into 1 10.598 * [backup-simplify]: Simplify (- 1) into -1 10.598 * [backup-simplify]: Simplify -1 into -1 10.598 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.598 * [backup-simplify]: Simplify (- 0) into 0 10.598 * [backup-simplify]: Simplify 0 into 0 10.599 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.599 * [backup-simplify]: Simplify (- 0) into 0 10.599 * [backup-simplify]: Simplify 0 into 0 10.599 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.600 * [backup-simplify]: Simplify (- 0) into 0 10.600 * [backup-simplify]: Simplify 0 into 0 10.600 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.600 * [backup-simplify]: Simplify (- 0) into 0 10.600 * [backup-simplify]: Simplify 0 into 0 10.601 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.601 * [backup-simplify]: Simplify (- 0) into 0 10.601 * [backup-simplify]: Simplify 0 into 0 10.602 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.602 * [backup-simplify]: Simplify (- 0) into 0 10.602 * [backup-simplify]: Simplify 0 into 0 10.602 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 10.602 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 10.602 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 10.602 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.602 * [taylor]: Taking taylor expansion of z in z 10.602 * [backup-simplify]: Simplify 0 into 0 10.602 * [backup-simplify]: Simplify 1 into 1 10.603 * [backup-simplify]: Simplify (/ 1 1) into 1 10.603 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.603 * [taylor]: Taking taylor expansion of z in z 10.603 * [backup-simplify]: Simplify 0 into 0 10.603 * [backup-simplify]: Simplify 1 into 1 10.603 * [backup-simplify]: Simplify (/ 1 1) into 1 10.603 * [backup-simplify]: Simplify 1 into 1 10.603 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.603 * [backup-simplify]: Simplify 0 into 0 10.604 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.604 * [backup-simplify]: Simplify 0 into 0 10.605 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.605 * [backup-simplify]: Simplify 0 into 0 10.605 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.605 * [backup-simplify]: Simplify 0 into 0 10.606 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.606 * [backup-simplify]: Simplify 0 into 0 10.606 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.606 * [backup-simplify]: Simplify 0 into 0 10.606 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 10.606 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2 1) 10.606 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 10.606 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 10.606 * [taylor]: Taking taylor expansion of (- z) in z 10.606 * [taylor]: Taking taylor expansion of z in z 10.606 * [backup-simplify]: Simplify 0 into 0 10.606 * [backup-simplify]: Simplify 1 into 1 10.606 * [taylor]: Taking taylor expansion of (- z) in z 10.606 * [taylor]: Taking taylor expansion of z in z 10.606 * [backup-simplify]: Simplify 0 into 0 10.607 * [backup-simplify]: Simplify 1 into 1 10.607 * [backup-simplify]: Simplify (- 0) into 0 10.607 * [backup-simplify]: Simplify 0 into 0 10.607 * [backup-simplify]: Simplify (- 1) into -1 10.607 * [backup-simplify]: Simplify -1 into -1 10.607 * [backup-simplify]: Simplify (- 0) into 0 10.607 * [backup-simplify]: Simplify 0 into 0 10.608 * [backup-simplify]: Simplify (- 0) into 0 10.608 * [backup-simplify]: Simplify 0 into 0 10.608 * [backup-simplify]: Simplify (- 0) into 0 10.608 * [backup-simplify]: Simplify 0 into 0 10.608 * [backup-simplify]: Simplify (- 0) into 0 10.608 * [backup-simplify]: Simplify 0 into 0 10.608 * [backup-simplify]: Simplify (- 0) into 0 10.608 * [backup-simplify]: Simplify 0 into 0 10.609 * [backup-simplify]: Simplify (- 0) into 0 10.609 * [backup-simplify]: Simplify 0 into 0 10.609 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 10.609 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 10.609 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 10.609 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 10.609 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.609 * [taylor]: Taking taylor expansion of z in z 10.609 * [backup-simplify]: Simplify 0 into 0 10.609 * [backup-simplify]: Simplify 1 into 1 10.609 * [backup-simplify]: Simplify (/ 1 1) into 1 10.609 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 10.609 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.609 * [taylor]: Taking taylor expansion of z in z 10.609 * [backup-simplify]: Simplify 0 into 0 10.609 * [backup-simplify]: Simplify 1 into 1 10.609 * [backup-simplify]: Simplify (/ 1 1) into 1 10.610 * [backup-simplify]: Simplify (- 1) into -1 10.610 * [backup-simplify]: Simplify -1 into -1 10.610 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.610 * [backup-simplify]: Simplify (- 0) into 0 10.610 * [backup-simplify]: Simplify 0 into 0 10.611 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.611 * [backup-simplify]: Simplify (- 0) into 0 10.611 * [backup-simplify]: Simplify 0 into 0 10.612 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.612 * [backup-simplify]: Simplify (- 0) into 0 10.612 * [backup-simplify]: Simplify 0 into 0 10.612 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.613 * [backup-simplify]: Simplify (- 0) into 0 10.613 * [backup-simplify]: Simplify 0 into 0 10.614 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.614 * [backup-simplify]: Simplify (- 0) into 0 10.614 * [backup-simplify]: Simplify 0 into 0 10.615 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.615 * [backup-simplify]: Simplify (- 0) into 0 10.615 * [backup-simplify]: Simplify 0 into 0 10.616 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 10.616 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 10.616 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 10.616 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.616 * [taylor]: Taking taylor expansion of z in z 10.616 * [backup-simplify]: Simplify 0 into 0 10.616 * [backup-simplify]: Simplify 1 into 1 10.616 * [backup-simplify]: Simplify (/ 1 1) into 1 10.616 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.616 * [taylor]: Taking taylor expansion of z in z 10.616 * [backup-simplify]: Simplify 0 into 0 10.616 * [backup-simplify]: Simplify 1 into 1 10.617 * [backup-simplify]: Simplify (/ 1 1) into 1 10.617 * [backup-simplify]: Simplify 1 into 1 10.617 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.618 * [backup-simplify]: Simplify 0 into 0 10.618 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.618 * [backup-simplify]: Simplify 0 into 0 10.619 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.619 * [backup-simplify]: Simplify 0 into 0 10.620 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.620 * [backup-simplify]: Simplify 0 into 0 10.621 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.621 * [backup-simplify]: Simplify 0 into 0 10.622 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.622 * [backup-simplify]: Simplify 0 into 0 10.622 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 10.622 * * * [progress]: simplifying candidates 10.624 * [simplify]: Simplifying: (/ (exp 1.0) (* (exp 1.0) (exp z))) (/ (exp 1.0) (exp (+ 1.0 z))) (log (- 1.0 (+ 1.0 z))) (exp (- 1.0 (+ 1.0 z))) (* (cbrt (- 1.0 (+ 1.0 z))) (cbrt (- 1.0 (+ 1.0 z)))) (cbrt (- 1.0 (+ 1.0 z))) (* (* (- 1.0 (+ 1.0 z)) (- 1.0 (+ 1.0 z))) (- 1.0 (+ 1.0 z))) (sqrt (- 1.0 (+ 1.0 z))) (sqrt (- 1.0 (+ 1.0 z))) (- (pow 1.0 3) (pow (+ 1.0 z) 3)) (+ (* 1.0 1.0) (+ (* (+ 1.0 z) (+ 1.0 z)) (* 1.0 (+ 1.0 z)))) (- (+ 1.0 z)) (- (* 1.0 1.0) (* (+ 1.0 z) (+ 1.0 z))) (+ 1.0 (+ 1.0 z)) (+ (sqrt 1.0) (sqrt (+ 1.0 z))) (- (sqrt 1.0) (sqrt (+ 1.0 z))) (- 1.0 (+ 1.0 z)) (- 1.0 (+ 1.0 z)) (- 1.0 1.0) (- (+ 1.0 z)) (/ (/ (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) 11.307 * * * [progress]: adding candidates to table 12.582 * * [progress]: iteration 4 / 4 12.582 * * * [progress]: picking best candidate 12.611 * * * * [pick]: Picked # 12.612 * * * [progress]: localizing error 12.735 * * * [progress]: generating rewritten candidates 12.735 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2 1) 12.786 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 2 1) 12.843 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 12.884 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 2 2 1) 12.933 * * * [progress]: generating series expansions 12.933 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2 1) 12.933 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 12.934 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 12.934 * [taylor]: Taking taylor expansion of (- z) in z 12.934 * [taylor]: Taking taylor expansion of z in z 12.934 * [backup-simplify]: Simplify 0 into 0 12.934 * [backup-simplify]: Simplify 1 into 1 12.934 * [taylor]: Taking taylor expansion of (- z) in z 12.934 * [taylor]: Taking taylor expansion of z in z 12.934 * [backup-simplify]: Simplify 0 into 0 12.934 * [backup-simplify]: Simplify 1 into 1 12.935 * [backup-simplify]: Simplify (- 0) into 0 12.935 * [backup-simplify]: Simplify 0 into 0 12.935 * [backup-simplify]: Simplify (- 1) into -1 12.935 * [backup-simplify]: Simplify -1 into -1 12.935 * [backup-simplify]: Simplify (- 0) into 0 12.935 * [backup-simplify]: Simplify 0 into 0 12.936 * [backup-simplify]: Simplify (- 0) into 0 12.936 * [backup-simplify]: Simplify 0 into 0 12.936 * [backup-simplify]: Simplify (- 0) into 0 12.936 * [backup-simplify]: Simplify 0 into 0 12.937 * [backup-simplify]: Simplify (- 0) into 0 12.937 * [backup-simplify]: Simplify 0 into 0 12.937 * [backup-simplify]: Simplify (- 0) into 0 12.937 * [backup-simplify]: Simplify 0 into 0 12.937 * [backup-simplify]: Simplify (- 0) into 0 12.937 * [backup-simplify]: Simplify 0 into 0 12.937 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 12.938 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 12.938 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 12.938 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 12.938 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.938 * [taylor]: Taking taylor expansion of z in z 12.938 * [backup-simplify]: Simplify 0 into 0 12.938 * [backup-simplify]: Simplify 1 into 1 12.938 * [backup-simplify]: Simplify (/ 1 1) into 1 12.938 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 12.938 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.938 * [taylor]: Taking taylor expansion of z in z 12.938 * [backup-simplify]: Simplify 0 into 0 12.938 * [backup-simplify]: Simplify 1 into 1 12.939 * [backup-simplify]: Simplify (/ 1 1) into 1 12.939 * [backup-simplify]: Simplify (- 1) into -1 12.939 * [backup-simplify]: Simplify -1 into -1 12.940 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.940 * [backup-simplify]: Simplify (- 0) into 0 12.940 * [backup-simplify]: Simplify 0 into 0 12.941 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.942 * [backup-simplify]: Simplify (- 0) into 0 12.942 * [backup-simplify]: Simplify 0 into 0 12.942 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.943 * [backup-simplify]: Simplify (- 0) into 0 12.943 * [backup-simplify]: Simplify 0 into 0 12.944 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.944 * [backup-simplify]: Simplify (- 0) into 0 12.944 * [backup-simplify]: Simplify 0 into 0 12.945 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.945 * [backup-simplify]: Simplify (- 0) into 0 12.945 * [backup-simplify]: Simplify 0 into 0 12.945 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.946 * [backup-simplify]: Simplify (- 0) into 0 12.946 * [backup-simplify]: Simplify 0 into 0 12.946 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 12.946 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 12.946 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 12.946 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.946 * [taylor]: Taking taylor expansion of z in z 12.946 * [backup-simplify]: Simplify 0 into 0 12.946 * [backup-simplify]: Simplify 1 into 1 12.946 * [backup-simplify]: Simplify (/ 1 1) into 1 12.946 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.946 * [taylor]: Taking taylor expansion of z in z 12.946 * [backup-simplify]: Simplify 0 into 0 12.946 * [backup-simplify]: Simplify 1 into 1 12.946 * [backup-simplify]: Simplify (/ 1 1) into 1 12.946 * [backup-simplify]: Simplify 1 into 1 12.947 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.947 * [backup-simplify]: Simplify 0 into 0 12.948 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.948 * [backup-simplify]: Simplify 0 into 0 12.948 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.948 * [backup-simplify]: Simplify 0 into 0 12.949 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.949 * [backup-simplify]: Simplify 0 into 0 12.950 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.950 * [backup-simplify]: Simplify 0 into 0 12.950 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.950 * [backup-simplify]: Simplify 0 into 0 12.950 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 12.950 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 2 1) 12.950 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 12.950 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 12.950 * [taylor]: Taking taylor expansion of (- z) in z 12.950 * [taylor]: Taking taylor expansion of z in z 12.950 * [backup-simplify]: Simplify 0 into 0 12.950 * [backup-simplify]: Simplify 1 into 1 12.950 * [taylor]: Taking taylor expansion of (- z) in z 12.950 * [taylor]: Taking taylor expansion of z in z 12.950 * [backup-simplify]: Simplify 0 into 0 12.950 * [backup-simplify]: Simplify 1 into 1 12.951 * [backup-simplify]: Simplify (- 0) into 0 12.951 * [backup-simplify]: Simplify 0 into 0 12.951 * [backup-simplify]: Simplify (- 1) into -1 12.951 * [backup-simplify]: Simplify -1 into -1 12.951 * [backup-simplify]: Simplify (- 0) into 0 12.951 * [backup-simplify]: Simplify 0 into 0 12.951 * [backup-simplify]: Simplify (- 0) into 0 12.951 * [backup-simplify]: Simplify 0 into 0 12.952 * [backup-simplify]: Simplify (- 0) into 0 12.952 * [backup-simplify]: Simplify 0 into 0 12.952 * [backup-simplify]: Simplify (- 0) into 0 12.952 * [backup-simplify]: Simplify 0 into 0 12.952 * [backup-simplify]: Simplify (- 0) into 0 12.952 * [backup-simplify]: Simplify 0 into 0 12.953 * [backup-simplify]: Simplify (- 0) into 0 12.953 * [backup-simplify]: Simplify 0 into 0 12.953 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 12.953 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 12.953 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 12.953 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 12.953 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.953 * [taylor]: Taking taylor expansion of z in z 12.953 * [backup-simplify]: Simplify 0 into 0 12.953 * [backup-simplify]: Simplify 1 into 1 12.953 * [backup-simplify]: Simplify (/ 1 1) into 1 12.953 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 12.953 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.953 * [taylor]: Taking taylor expansion of z in z 12.953 * [backup-simplify]: Simplify 0 into 0 12.953 * [backup-simplify]: Simplify 1 into 1 12.954 * [backup-simplify]: Simplify (/ 1 1) into 1 12.954 * [backup-simplify]: Simplify (- 1) into -1 12.954 * [backup-simplify]: Simplify -1 into -1 12.954 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.954 * [backup-simplify]: Simplify (- 0) into 0 12.954 * [backup-simplify]: Simplify 0 into 0 12.955 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.955 * [backup-simplify]: Simplify (- 0) into 0 12.955 * [backup-simplify]: Simplify 0 into 0 12.956 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.956 * [backup-simplify]: Simplify (- 0) into 0 12.956 * [backup-simplify]: Simplify 0 into 0 12.956 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.957 * [backup-simplify]: Simplify (- 0) into 0 12.957 * [backup-simplify]: Simplify 0 into 0 12.957 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.957 * [backup-simplify]: Simplify (- 0) into 0 12.957 * [backup-simplify]: Simplify 0 into 0 12.958 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.958 * [backup-simplify]: Simplify (- 0) into 0 12.958 * [backup-simplify]: Simplify 0 into 0 12.958 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 12.958 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 12.958 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 12.958 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.958 * [taylor]: Taking taylor expansion of z in z 12.958 * [backup-simplify]: Simplify 0 into 0 12.958 * [backup-simplify]: Simplify 1 into 1 12.959 * [backup-simplify]: Simplify (/ 1 1) into 1 12.959 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.959 * [taylor]: Taking taylor expansion of z in z 12.959 * [backup-simplify]: Simplify 0 into 0 12.959 * [backup-simplify]: Simplify 1 into 1 12.959 * [backup-simplify]: Simplify (/ 1 1) into 1 12.959 * [backup-simplify]: Simplify 1 into 1 12.959 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.960 * [backup-simplify]: Simplify 0 into 0 12.960 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.960 * [backup-simplify]: Simplify 0 into 0 12.961 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.961 * [backup-simplify]: Simplify 0 into 0 12.961 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.961 * [backup-simplify]: Simplify 0 into 0 12.962 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.962 * [backup-simplify]: Simplify 0 into 0 12.962 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.962 * [backup-simplify]: Simplify 0 into 0 12.962 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 12.962 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 2 2 1) 12.962 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 12.962 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 12.962 * [taylor]: Taking taylor expansion of (- z) in z 12.962 * [taylor]: Taking taylor expansion of z in z 12.962 * [backup-simplify]: Simplify 0 into 0 12.962 * [backup-simplify]: Simplify 1 into 1 12.962 * [taylor]: Taking taylor expansion of (- z) in z 12.962 * [taylor]: Taking taylor expansion of z in z 12.962 * [backup-simplify]: Simplify 0 into 0 12.962 * [backup-simplify]: Simplify 1 into 1 12.963 * [backup-simplify]: Simplify (- 0) into 0 12.963 * [backup-simplify]: Simplify 0 into 0 12.963 * [backup-simplify]: Simplify (- 1) into -1 12.963 * [backup-simplify]: Simplify -1 into -1 12.963 * [backup-simplify]: Simplify (- 0) into 0 12.963 * [backup-simplify]: Simplify 0 into 0 12.963 * [backup-simplify]: Simplify (- 0) into 0 12.963 * [backup-simplify]: Simplify 0 into 0 12.964 * [backup-simplify]: Simplify (- 0) into 0 12.964 * [backup-simplify]: Simplify 0 into 0 12.964 * [backup-simplify]: Simplify (- 0) into 0 12.964 * [backup-simplify]: Simplify 0 into 0 12.964 * [backup-simplify]: Simplify (- 0) into 0 12.964 * [backup-simplify]: Simplify 0 into 0 12.964 * [backup-simplify]: Simplify (- 0) into 0 12.964 * [backup-simplify]: Simplify 0 into 0 12.965 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 12.965 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 12.965 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 12.965 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 12.965 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.965 * [taylor]: Taking taylor expansion of z in z 12.965 * [backup-simplify]: Simplify 0 into 0 12.965 * [backup-simplify]: Simplify 1 into 1 12.965 * [backup-simplify]: Simplify (/ 1 1) into 1 12.965 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 12.965 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.965 * [taylor]: Taking taylor expansion of z in z 12.965 * [backup-simplify]: Simplify 0 into 0 12.965 * [backup-simplify]: Simplify 1 into 1 12.965 * [backup-simplify]: Simplify (/ 1 1) into 1 12.965 * [backup-simplify]: Simplify (- 1) into -1 12.966 * [backup-simplify]: Simplify -1 into -1 12.966 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.966 * [backup-simplify]: Simplify (- 0) into 0 12.966 * [backup-simplify]: Simplify 0 into 0 12.967 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.967 * [backup-simplify]: Simplify (- 0) into 0 12.967 * [backup-simplify]: Simplify 0 into 0 12.967 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.968 * [backup-simplify]: Simplify (- 0) into 0 12.968 * [backup-simplify]: Simplify 0 into 0 12.968 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.968 * [backup-simplify]: Simplify (- 0) into 0 12.968 * [backup-simplify]: Simplify 0 into 0 12.969 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.969 * [backup-simplify]: Simplify (- 0) into 0 12.969 * [backup-simplify]: Simplify 0 into 0 12.970 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.970 * [backup-simplify]: Simplify (- 0) into 0 12.970 * [backup-simplify]: Simplify 0 into 0 12.970 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 12.970 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 12.970 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 12.970 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.970 * [taylor]: Taking taylor expansion of z in z 12.970 * [backup-simplify]: Simplify 0 into 0 12.970 * [backup-simplify]: Simplify 1 into 1 12.970 * [backup-simplify]: Simplify (/ 1 1) into 1 12.970 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.970 * [taylor]: Taking taylor expansion of z in z 12.970 * [backup-simplify]: Simplify 0 into 0 12.970 * [backup-simplify]: Simplify 1 into 1 12.971 * [backup-simplify]: Simplify (/ 1 1) into 1 12.971 * [backup-simplify]: Simplify 1 into 1 12.971 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.971 * [backup-simplify]: Simplify 0 into 0 12.972 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.972 * [backup-simplify]: Simplify 0 into 0 12.972 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.972 * [backup-simplify]: Simplify 0 into 0 12.973 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.973 * [backup-simplify]: Simplify 0 into 0 12.973 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.973 * [backup-simplify]: Simplify 0 into 0 12.974 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.974 * [backup-simplify]: Simplify 0 into 0 12.974 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 12.974 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 2 2 1) 12.974 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 12.974 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 12.974 * [taylor]: Taking taylor expansion of (- z) in z 12.974 * [taylor]: Taking taylor expansion of z in z 12.974 * [backup-simplify]: Simplify 0 into 0 12.974 * [backup-simplify]: Simplify 1 into 1 12.974 * [taylor]: Taking taylor expansion of (- z) in z 12.974 * [taylor]: Taking taylor expansion of z in z 12.974 * [backup-simplify]: Simplify 0 into 0 12.974 * [backup-simplify]: Simplify 1 into 1 12.974 * [backup-simplify]: Simplify (- 0) into 0 12.975 * [backup-simplify]: Simplify 0 into 0 12.975 * [backup-simplify]: Simplify (- 1) into -1 12.975 * [backup-simplify]: Simplify -1 into -1 12.975 * [backup-simplify]: Simplify (- 0) into 0 12.975 * [backup-simplify]: Simplify 0 into 0 12.975 * [backup-simplify]: Simplify (- 0) into 0 12.975 * [backup-simplify]: Simplify 0 into 0 12.975 * [backup-simplify]: Simplify (- 0) into 0 12.976 * [backup-simplify]: Simplify 0 into 0 12.976 * [backup-simplify]: Simplify (- 0) into 0 12.976 * [backup-simplify]: Simplify 0 into 0 12.976 * [backup-simplify]: Simplify (- 0) into 0 12.976 * [backup-simplify]: Simplify 0 into 0 12.976 * [backup-simplify]: Simplify (- 0) into 0 12.976 * [backup-simplify]: Simplify 0 into 0 12.976 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 12.977 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 12.977 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 12.977 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 12.977 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.977 * [taylor]: Taking taylor expansion of z in z 12.977 * [backup-simplify]: Simplify 0 into 0 12.977 * [backup-simplify]: Simplify 1 into 1 12.977 * [backup-simplify]: Simplify (/ 1 1) into 1 12.977 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 12.977 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.977 * [taylor]: Taking taylor expansion of z in z 12.977 * [backup-simplify]: Simplify 0 into 0 12.977 * [backup-simplify]: Simplify 1 into 1 12.978 * [backup-simplify]: Simplify (/ 1 1) into 1 12.978 * [backup-simplify]: Simplify (- 1) into -1 12.978 * [backup-simplify]: Simplify -1 into -1 12.979 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.979 * [backup-simplify]: Simplify (- 0) into 0 12.979 * [backup-simplify]: Simplify 0 into 0 12.980 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.980 * [backup-simplify]: Simplify (- 0) into 0 12.980 * [backup-simplify]: Simplify 0 into 0 12.981 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.981 * [backup-simplify]: Simplify (- 0) into 0 12.981 * [backup-simplify]: Simplify 0 into 0 12.982 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.982 * [backup-simplify]: Simplify (- 0) into 0 12.982 * [backup-simplify]: Simplify 0 into 0 12.983 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.983 * [backup-simplify]: Simplify (- 0) into 0 12.983 * [backup-simplify]: Simplify 0 into 0 12.983 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.984 * [backup-simplify]: Simplify (- 0) into 0 12.984 * [backup-simplify]: Simplify 0 into 0 12.984 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 12.984 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 12.984 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 12.984 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.984 * [taylor]: Taking taylor expansion of z in z 12.984 * [backup-simplify]: Simplify 0 into 0 12.984 * [backup-simplify]: Simplify 1 into 1 12.984 * [backup-simplify]: Simplify (/ 1 1) into 1 12.984 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.984 * [taylor]: Taking taylor expansion of z in z 12.984 * [backup-simplify]: Simplify 0 into 0 12.984 * [backup-simplify]: Simplify 1 into 1 12.985 * [backup-simplify]: Simplify (/ 1 1) into 1 12.985 * [backup-simplify]: Simplify 1 into 1 12.985 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.985 * [backup-simplify]: Simplify 0 into 0 12.986 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.986 * [backup-simplify]: Simplify 0 into 0 12.986 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.986 * [backup-simplify]: Simplify 0 into 0 12.987 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.987 * [backup-simplify]: Simplify 0 into 0 12.987 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.987 * [backup-simplify]: Simplify 0 into 0 12.988 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.988 * [backup-simplify]: Simplify 0 into 0 12.988 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 12.988 * * * [progress]: simplifying candidates 12.989 * [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) 13.909 * * * [progress]: adding candidates to table 15.719 * [progress]: [Phase 3 of 3] Extracting. 15.719 * * [regime]: Finding splitpoints for: (# # #) 15.734 * * * [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) 15.734 * * * * [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 (# # #) 15.861 * * * * [regimes]: Trying to branch on z from (# # #) 15.917 * * * [regime]: Found split indices: #