91.612 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 7.535 * * * [progress]: [2/2] Setting up program. 7.574 * [progress]: [Phase 2 of 3] Improving. 7.574 * [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))))) 7.575 * * [simplify]: iteration 0: 60 enodes 7.607 * * [simplify]: iteration 1: 148 enodes 7.956 * * [simplify]: iteration 2: 602 enodes 9.495 * * [simplify]: iteration 3: 3547 enodes 12.345 * * [simplify]: iteration complete: 5001 enodes 12.345 * * [simplify]: Extracting #0: cost 1 inf + 0 12.345 * * [simplify]: Extracting #1: cost 87 inf + 0 12.347 * * [simplify]: Extracting #2: cost 582 inf + 1 12.355 * * [simplify]: Extracting #3: cost 1324 inf + 2 12.368 * * [simplify]: Extracting #4: cost 1611 inf + 2260 12.398 * * [simplify]: Extracting #5: cost 1403 inf + 29360 12.485 * * [simplify]: Extracting #6: cost 1038 inf + 121860 12.638 * * [simplify]: Extracting #7: cost 488 inf + 467120 12.987 * * [simplify]: Extracting #8: cost 46 inf + 925703 13.440 * * [simplify]: Extracting #9: cost 0 inf + 976275 13.872 * * [simplify]: Extracting #10: cost 0 inf + 976235 14.332 * [simplify]: Simplified to: (* (+ (+ (/ 1.5056327351493116e-07 (+ (- z) 8.0)) (/ 9.984369578019572e-06 (+ (- z) 7.0))) (+ (/ -176.6150291621406 (+ 4.0 (- z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))))) (* (/ (sqrt (* 2.0 PI)) (exp (+ (+ 7.0 0.5) (- z)))) (* (pow (+ (+ 7.0 0.5) (- z)) (+ (- z) 0.5)) (/ PI (sin (* z PI)))))) 14.361 * * [progress]: iteration 1 / 4 14.362 * * * [progress]: picking best candidate 14.417 * * * * [pick]: Picked # 14.418 * * * [progress]: localizing error 14.729 * * * [progress]: generating rewritten candidates 14.729 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 14.736 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2) 19.623 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 19.827 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 2) 20.026 * * * [progress]: generating series expansions 20.026 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 20.027 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2) 20.028 * [backup-simplify]: Simplify (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))) into (- (+ (* 771.3234287776531 (/ 1 (- 3.0 z))) (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) (+ (* 12.507343278686905 (/ 1 (- 5.0 z))) 0.9999999999998099))) (+ (* 0.13857109526572012 (/ 1 (- 6.0 z))) (* 1259.1392167224028 (/ 1 (- 2.0 z))))) 20.028 * [approximate]: Taking taylor expansion of (- (+ (* 771.3234287776531 (/ 1 (- 3.0 z))) (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) (+ (* 12.507343278686905 (/ 1 (- 5.0 z))) 0.9999999999998099))) (+ (* 0.13857109526572012 (/ 1 (- 6.0 z))) (* 1259.1392167224028 (/ 1 (- 2.0 z))))) in (z) around 0 20.028 * [taylor]: Taking taylor expansion of (- (+ (* 771.3234287776531 (/ 1 (- 3.0 z))) (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) (+ (* 12.507343278686905 (/ 1 (- 5.0 z))) 0.9999999999998099))) (+ (* 0.13857109526572012 (/ 1 (- 6.0 z))) (* 1259.1392167224028 (/ 1 (- 2.0 z))))) in z 20.028 * [taylor]: Taking taylor expansion of (+ (* 771.3234287776531 (/ 1 (- 3.0 z))) (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) (+ (* 12.507343278686905 (/ 1 (- 5.0 z))) 0.9999999999998099))) in z 20.028 * [taylor]: Taking taylor expansion of (* 771.3234287776531 (/ 1 (- 3.0 z))) in z 20.028 * [taylor]: Taking taylor expansion of 771.3234287776531 in z 20.028 * [backup-simplify]: Simplify 771.3234287776531 into 771.3234287776531 20.028 * [taylor]: Taking taylor expansion of (/ 1 (- 3.0 z)) in z 20.028 * [taylor]: Taking taylor expansion of (- 3.0 z) in z 20.028 * [taylor]: Taking taylor expansion of 3.0 in z 20.028 * [backup-simplify]: Simplify 3.0 into 3.0 20.029 * [taylor]: Taking taylor expansion of z in z 20.029 * [backup-simplify]: Simplify 0 into 0 20.029 * [backup-simplify]: Simplify 1 into 1 20.029 * [backup-simplify]: Simplify (- 0) into 0 20.030 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0 20.030 * [backup-simplify]: Simplify (/ 1 3.0) into 0.3333333333333333 20.030 * [taylor]: Taking taylor expansion of (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) (+ (* 12.507343278686905 (/ 1 (- 5.0 z))) 0.9999999999998099)) in z 20.030 * [taylor]: Taking taylor expansion of (* 676.5203681218851 (/ 1 (- 1.0 z))) in z 20.030 * [taylor]: Taking taylor expansion of 676.5203681218851 in z 20.030 * [backup-simplify]: Simplify 676.5203681218851 into 676.5203681218851 20.030 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 z)) in z 20.030 * [taylor]: Taking taylor expansion of (- 1.0 z) in z 20.030 * [taylor]: Taking taylor expansion of 1.0 in z 20.030 * [backup-simplify]: Simplify 1.0 into 1.0 20.030 * [taylor]: Taking taylor expansion of z in z 20.030 * [backup-simplify]: Simplify 0 into 0 20.030 * [backup-simplify]: Simplify 1 into 1 20.031 * [backup-simplify]: Simplify (- 0) into 0 20.031 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 20.032 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 20.032 * [taylor]: Taking taylor expansion of (+ (* 12.507343278686905 (/ 1 (- 5.0 z))) 0.9999999999998099) in z 20.032 * [taylor]: Taking taylor expansion of (* 12.507343278686905 (/ 1 (- 5.0 z))) in z 20.032 * [taylor]: Taking taylor expansion of 12.507343278686905 in z 20.032 * [backup-simplify]: Simplify 12.507343278686905 into 12.507343278686905 20.032 * [taylor]: Taking taylor expansion of (/ 1 (- 5.0 z)) in z 20.032 * [taylor]: Taking taylor expansion of (- 5.0 z) in z 20.032 * [taylor]: Taking taylor expansion of 5.0 in z 20.032 * [backup-simplify]: Simplify 5.0 into 5.0 20.032 * [taylor]: Taking taylor expansion of z in z 20.032 * [backup-simplify]: Simplify 0 into 0 20.032 * [backup-simplify]: Simplify 1 into 1 20.032 * [backup-simplify]: Simplify (- 0) into 0 20.033 * [backup-simplify]: Simplify (+ 5.0 0) into 5.0 20.033 * [backup-simplify]: Simplify (/ 1 5.0) into 0.2 20.033 * [taylor]: Taking taylor expansion of 0.9999999999998099 in z 20.033 * [backup-simplify]: Simplify 0.9999999999998099 into 0.9999999999998099 20.033 * [taylor]: Taking taylor expansion of (+ (* 0.13857109526572012 (/ 1 (- 6.0 z))) (* 1259.1392167224028 (/ 1 (- 2.0 z)))) in z 20.033 * [taylor]: Taking taylor expansion of (* 0.13857109526572012 (/ 1 (- 6.0 z))) in z 20.033 * [taylor]: Taking taylor expansion of 0.13857109526572012 in z 20.033 * [backup-simplify]: Simplify 0.13857109526572012 into 0.13857109526572012 20.033 * [taylor]: Taking taylor expansion of (/ 1 (- 6.0 z)) in z 20.033 * [taylor]: Taking taylor expansion of (- 6.0 z) in z 20.033 * [taylor]: Taking taylor expansion of 6.0 in z 20.034 * [backup-simplify]: Simplify 6.0 into 6.0 20.034 * [taylor]: Taking taylor expansion of z in z 20.034 * [backup-simplify]: Simplify 0 into 0 20.034 * [backup-simplify]: Simplify 1 into 1 20.034 * [backup-simplify]: Simplify (- 0) into 0 20.034 * [backup-simplify]: Simplify (+ 6.0 0) into 6.0 20.035 * [backup-simplify]: Simplify (/ 1 6.0) into 0.16666666666666666 20.035 * [taylor]: Taking taylor expansion of (* 1259.1392167224028 (/ 1 (- 2.0 z))) in z 20.035 * [taylor]: Taking taylor expansion of 1259.1392167224028 in z 20.035 * [backup-simplify]: Simplify 1259.1392167224028 into 1259.1392167224028 20.035 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 z)) in z 20.035 * [taylor]: Taking taylor expansion of (- 2.0 z) in z 20.035 * [taylor]: Taking taylor expansion of 2.0 in z 20.035 * [backup-simplify]: Simplify 2.0 into 2.0 20.035 * [taylor]: Taking taylor expansion of z in z 20.035 * [backup-simplify]: Simplify 0 into 0 20.035 * [backup-simplify]: Simplify 1 into 1 20.036 * [backup-simplify]: Simplify (- 0) into 0 20.036 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 20.036 * [backup-simplify]: Simplify (/ 1 2.0) into 0.5 20.036 * [taylor]: Taking taylor expansion of (- (+ (* 771.3234287776531 (/ 1 (- 3.0 z))) (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) (+ (* 12.507343278686905 (/ 1 (- 5.0 z))) 0.9999999999998099))) (+ (* 0.13857109526572012 (/ 1 (- 6.0 z))) (* 1259.1392167224028 (/ 1 (- 2.0 z))))) in z 20.036 * [taylor]: Taking taylor expansion of (+ (* 771.3234287776531 (/ 1 (- 3.0 z))) (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) (+ (* 12.507343278686905 (/ 1 (- 5.0 z))) 0.9999999999998099))) in z 20.037 * [taylor]: Taking taylor expansion of (* 771.3234287776531 (/ 1 (- 3.0 z))) in z 20.037 * [taylor]: Taking taylor expansion of 771.3234287776531 in z 20.037 * [backup-simplify]: Simplify 771.3234287776531 into 771.3234287776531 20.037 * [taylor]: Taking taylor expansion of (/ 1 (- 3.0 z)) in z 20.037 * [taylor]: Taking taylor expansion of (- 3.0 z) in z 20.037 * [taylor]: Taking taylor expansion of 3.0 in z 20.037 * [backup-simplify]: Simplify 3.0 into 3.0 20.037 * [taylor]: Taking taylor expansion of z in z 20.037 * [backup-simplify]: Simplify 0 into 0 20.037 * [backup-simplify]: Simplify 1 into 1 20.037 * [backup-simplify]: Simplify (- 0) into 0 20.038 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0 20.043 * [backup-simplify]: Simplify (/ 1 3.0) into 0.3333333333333333 20.043 * [taylor]: Taking taylor expansion of (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) (+ (* 12.507343278686905 (/ 1 (- 5.0 z))) 0.9999999999998099)) in z 20.043 * [taylor]: Taking taylor expansion of (* 676.5203681218851 (/ 1 (- 1.0 z))) in z 20.043 * [taylor]: Taking taylor expansion of 676.5203681218851 in z 20.043 * [backup-simplify]: Simplify 676.5203681218851 into 676.5203681218851 20.043 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 z)) in z 20.043 * [taylor]: Taking taylor expansion of (- 1.0 z) in z 20.043 * [taylor]: Taking taylor expansion of 1.0 in z 20.044 * [backup-simplify]: Simplify 1.0 into 1.0 20.044 * [taylor]: Taking taylor expansion of z in z 20.044 * [backup-simplify]: Simplify 0 into 0 20.044 * [backup-simplify]: Simplify 1 into 1 20.044 * [backup-simplify]: Simplify (- 0) into 0 20.044 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 20.045 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 20.045 * [taylor]: Taking taylor expansion of (+ (* 12.507343278686905 (/ 1 (- 5.0 z))) 0.9999999999998099) in z 20.045 * [taylor]: Taking taylor expansion of (* 12.507343278686905 (/ 1 (- 5.0 z))) in z 20.045 * [taylor]: Taking taylor expansion of 12.507343278686905 in z 20.045 * [backup-simplify]: Simplify 12.507343278686905 into 12.507343278686905 20.045 * [taylor]: Taking taylor expansion of (/ 1 (- 5.0 z)) in z 20.045 * [taylor]: Taking taylor expansion of (- 5.0 z) in z 20.045 * [taylor]: Taking taylor expansion of 5.0 in z 20.045 * [backup-simplify]: Simplify 5.0 into 5.0 20.045 * [taylor]: Taking taylor expansion of z in z 20.045 * [backup-simplify]: Simplify 0 into 0 20.045 * [backup-simplify]: Simplify 1 into 1 20.046 * [backup-simplify]: Simplify (- 0) into 0 20.046 * [backup-simplify]: Simplify (+ 5.0 0) into 5.0 20.047 * [backup-simplify]: Simplify (/ 1 5.0) into 0.2 20.047 * [taylor]: Taking taylor expansion of 0.9999999999998099 in z 20.047 * [backup-simplify]: Simplify 0.9999999999998099 into 0.9999999999998099 20.047 * [taylor]: Taking taylor expansion of (+ (* 0.13857109526572012 (/ 1 (- 6.0 z))) (* 1259.1392167224028 (/ 1 (- 2.0 z)))) in z 20.047 * [taylor]: Taking taylor expansion of (* 0.13857109526572012 (/ 1 (- 6.0 z))) in z 20.047 * [taylor]: Taking taylor expansion of 0.13857109526572012 in z 20.047 * [backup-simplify]: Simplify 0.13857109526572012 into 0.13857109526572012 20.047 * [taylor]: Taking taylor expansion of (/ 1 (- 6.0 z)) in z 20.047 * [taylor]: Taking taylor expansion of (- 6.0 z) in z 20.047 * [taylor]: Taking taylor expansion of 6.0 in z 20.047 * [backup-simplify]: Simplify 6.0 into 6.0 20.047 * [taylor]: Taking taylor expansion of z in z 20.047 * [backup-simplify]: Simplify 0 into 0 20.047 * [backup-simplify]: Simplify 1 into 1 20.047 * [backup-simplify]: Simplify (- 0) into 0 20.048 * [backup-simplify]: Simplify (+ 6.0 0) into 6.0 20.048 * [backup-simplify]: Simplify (/ 1 6.0) into 0.16666666666666666 20.048 * [taylor]: Taking taylor expansion of (* 1259.1392167224028 (/ 1 (- 2.0 z))) in z 20.048 * [taylor]: Taking taylor expansion of 1259.1392167224028 in z 20.048 * [backup-simplify]: Simplify 1259.1392167224028 into 1259.1392167224028 20.048 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 z)) in z 20.048 * [taylor]: Taking taylor expansion of (- 2.0 z) in z 20.049 * [taylor]: Taking taylor expansion of 2.0 in z 20.049 * [backup-simplify]: Simplify 2.0 into 2.0 20.049 * [taylor]: Taking taylor expansion of z in z 20.049 * [backup-simplify]: Simplify 0 into 0 20.049 * [backup-simplify]: Simplify 1 into 1 20.049 * [backup-simplify]: Simplify (- 0) into 0 20.049 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 20.050 * [backup-simplify]: Simplify (/ 1 2.0) into 0.5 20.050 * [backup-simplify]: Simplify (* 771.3234287776531 0.3333333333333333) into 257.107809592551 20.051 * [backup-simplify]: Simplify (* 676.5203681218851 1.0) into 676.5203681218851 20.051 * [backup-simplify]: Simplify (* 12.507343278686905 0.2) into 2.5014686557373813 20.052 * [backup-simplify]: Simplify (+ 2.5014686557373813 0.9999999999998099) into 3.5014686557371912 20.052 * [backup-simplify]: Simplify (+ 676.5203681218851 3.5014686557371912) into 680.0218367776223 20.053 * [backup-simplify]: Simplify (+ 257.107809592551 680.0218367776223) into 937.1296463701733 20.053 * [backup-simplify]: Simplify (* 0.13857109526572012 0.16666666666666666) into 0.023095182544286684 20.054 * [backup-simplify]: Simplify (* 1259.1392167224028 0.5) into 629.5696083612014 20.054 * [backup-simplify]: Simplify (+ 0.023095182544286684 629.5696083612014) into 629.5927035437456 20.054 * [backup-simplify]: Simplify (- 629.5927035437456) into (- 629.5927035437456) 20.055 * [backup-simplify]: Simplify (+ 937.1296463701733 (- 629.5927035437456)) into 307.53694282642766 20.055 * [backup-simplify]: Simplify 307.53694282642766 into 307.53694282642766 20.056 * [backup-simplify]: Simplify (- 1) into -1 20.056 * [backup-simplify]: Simplify (+ 0 -1) into -1 20.059 * [backup-simplify]: Simplify (- (+ (* 0.3333333333333333 (/ -1 3.0)))) into 0.1111111111111111 20.061 * [backup-simplify]: Simplify (+ (* 771.3234287776531 0.1111111111111111) (* 0 0.3333333333333333)) into 85.702603197517 20.061 * [backup-simplify]: Simplify (- 1) into -1 20.062 * [backup-simplify]: Simplify (+ 0 -1) into -1 20.064 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ -1 1.0)))) into 1.0 20.065 * [backup-simplify]: Simplify (+ (* 676.5203681218851 1.0) (* 0 1.0)) into 676.5203681218851 20.066 * [backup-simplify]: Simplify (- 1) into -1 20.066 * [backup-simplify]: Simplify (+ 0 -1) into -1 20.068 * [backup-simplify]: Simplify (- (+ (* 0.2 (/ -1 5.0)))) into 0.04000000000000001 20.070 * [backup-simplify]: Simplify (+ (* 12.507343278686905 0.04000000000000001) (* 0 0.2)) into 0.5002937311474763 20.070 * [backup-simplify]: Simplify (+ 0.5002937311474763 0) into 0.5002937311474763 20.071 * [backup-simplify]: Simplify (+ 676.5203681218851 0.5002937311474763) into 677.0206618530326 20.071 * [backup-simplify]: Simplify (+ 85.702603197517 677.0206618530326) into 762.7232650505496 20.072 * [backup-simplify]: Simplify (- 1) into -1 20.072 * [backup-simplify]: Simplify (+ 0 -1) into -1 20.075 * [backup-simplify]: Simplify (- (+ (* 0.16666666666666666 (/ -1 6.0)))) into 0.027777777777777776 20.077 * [backup-simplify]: Simplify (+ (* 0.13857109526572012 0.027777777777777776) (* 0 0.16666666666666666)) into 0.0038491970907144476 20.077 * [backup-simplify]: Simplify (- 1) into -1 20.078 * [backup-simplify]: Simplify (+ 0 -1) into -1 20.080 * [backup-simplify]: Simplify (- (+ (* 0.5 (/ -1 2.0)))) into 0.25 20.082 * [backup-simplify]: Simplify (+ (* 1259.1392167224028 0.25) (* 0 0.5)) into 314.7848041806007 20.082 * [backup-simplify]: Simplify (+ 0.0038491970907144476 314.7848041806007) into 314.7886533776914 20.082 * [backup-simplify]: Simplify (- 314.7886533776914) into (- 314.7886533776914) 20.083 * [backup-simplify]: Simplify (+ 762.7232650505496 (- 314.7886533776914)) into 447.9346116728582 20.083 * [backup-simplify]: Simplify 447.9346116728582 into 447.9346116728582 20.084 * [backup-simplify]: Simplify (- 0) into 0 20.084 * [backup-simplify]: Simplify (+ 0 0) into 0 20.088 * [backup-simplify]: Simplify (- (+ (* 0.3333333333333333 (/ 0 3.0)) (* 0.1111111111111111 (/ -1 3.0)))) into 0.037037037037037035 20.090 * [backup-simplify]: Simplify (+ (* 771.3234287776531 0.037037037037037035) (+ (* 0 0.1111111111111111) (* 0 0.3333333333333333))) into 28.567534399172338 20.091 * [backup-simplify]: Simplify (- 0) into 0 20.091 * [backup-simplify]: Simplify (+ 0 0) into 0 20.094 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* 1.0 (/ -1 1.0)))) into 1.0 20.096 * [backup-simplify]: Simplify (+ (* 676.5203681218851 1.0) (+ (* 0 1.0) (* 0 1.0))) into 676.5203681218851 20.097 * [backup-simplify]: Simplify (- 0) into 0 20.097 * [backup-simplify]: Simplify (+ 0 0) into 0 20.101 * [backup-simplify]: Simplify (- (+ (* 0.2 (/ 0 5.0)) (* 0.04000000000000001 (/ -1 5.0)))) into 0.008000000000000002 20.103 * [backup-simplify]: Simplify (+ (* 12.507343278686905 0.008000000000000002) (+ (* 0 0.04000000000000001) (* 0 0.2))) into 0.10005874622949526 20.104 * [backup-simplify]: Simplify (+ 0.10005874622949526 0) into 0.10005874622949526 20.104 * [backup-simplify]: Simplify (+ 676.5203681218851 0.10005874622949526) into 676.6204268681146 20.105 * [backup-simplify]: Simplify (+ 28.567534399172338 676.6204268681146) into 705.1879612672869 20.105 * [backup-simplify]: Simplify (- 0) into 0 20.105 * [backup-simplify]: Simplify (+ 0 0) into 0 20.109 * [backup-simplify]: Simplify (- (+ (* 0.16666666666666666 (/ 0 6.0)) (* 0.027777777777777776 (/ -1 6.0)))) into 0.004629629629629629 20.112 * [backup-simplify]: Simplify (+ (* 0.13857109526572012 0.004629629629629629) (+ (* 0 0.027777777777777776) (* 0 0.16666666666666666))) into 0.0006415328484524079 20.112 * [backup-simplify]: Simplify (- 0) into 0 20.112 * [backup-simplify]: Simplify (+ 0 0) into 0 20.116 * [backup-simplify]: Simplify (- (+ (* 0.5 (/ 0 2.0)) (* 0.25 (/ -1 2.0)))) into 0.125 20.118 * [backup-simplify]: Simplify (+ (* 1259.1392167224028 0.125) (+ (* 0 0.25) (* 0 0.5))) into 157.39240209030035 20.119 * [backup-simplify]: Simplify (+ 0.0006415328484524079 157.39240209030035) into 157.3930436231488 20.119 * [backup-simplify]: Simplify (- 157.3930436231488) into (- 157.3930436231488) 20.120 * [backup-simplify]: Simplify (+ 705.1879612672869 (- 157.3930436231488)) into 547.7949176441382 20.120 * [backup-simplify]: Simplify 547.7949176441382 into 547.7949176441382 20.121 * [backup-simplify]: Simplify (+ (* 547.7949176441382 (pow z 2)) (+ (* 447.9346116728582 z) 307.53694282642766)) into (+ (* 447.9346116728582 z) (+ (* 547.7949176441382 (pow z 2)) 307.53694282642766)) 20.122 * [backup-simplify]: Simplify (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 (/ 1 z)))) (+ (+ (/ -1259.1392167224028 (+ (- (/ 1 z)) 2.0)) (/ 771.3234287776531 (+ 3.0 (- (/ 1 z))))) (+ (/ 12.507343278686905 (+ 5.0 (- (/ 1 z)))) (/ -0.13857109526572012 (+ 6.0 (- (/ 1 z))))))) into (- (+ (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) (+ (* 771.3234287776531 (/ 1 (- 3.0 (/ 1 z)))) (+ (* 12.507343278686905 (/ 1 (- 5.0 (/ 1 z)))) 0.9999999999998099))) (+ (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z)))) (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z)))))) 20.122 * [approximate]: Taking taylor expansion of (- (+ (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) (+ (* 771.3234287776531 (/ 1 (- 3.0 (/ 1 z)))) (+ (* 12.507343278686905 (/ 1 (- 5.0 (/ 1 z)))) 0.9999999999998099))) (+ (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z)))) (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z)))))) in (z) around 0 20.122 * [taylor]: Taking taylor expansion of (- (+ (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) (+ (* 771.3234287776531 (/ 1 (- 3.0 (/ 1 z)))) (+ (* 12.507343278686905 (/ 1 (- 5.0 (/ 1 z)))) 0.9999999999998099))) (+ (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z)))) (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z)))))) in z 20.122 * [taylor]: Taking taylor expansion of (+ (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) (+ (* 771.3234287776531 (/ 1 (- 3.0 (/ 1 z)))) (+ (* 12.507343278686905 (/ 1 (- 5.0 (/ 1 z)))) 0.9999999999998099))) in z 20.122 * [taylor]: Taking taylor expansion of (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) in z 20.122 * [taylor]: Taking taylor expansion of 676.5203681218851 in z 20.122 * [backup-simplify]: Simplify 676.5203681218851 into 676.5203681218851 20.122 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (/ 1 z))) in z 20.122 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 20.122 * [taylor]: Taking taylor expansion of 1.0 in z 20.122 * [backup-simplify]: Simplify 1.0 into 1.0 20.122 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.122 * [taylor]: Taking taylor expansion of z in z 20.122 * [backup-simplify]: Simplify 0 into 0 20.122 * [backup-simplify]: Simplify 1 into 1 20.123 * [backup-simplify]: Simplify (/ 1 1) into 1 20.123 * [backup-simplify]: Simplify (- 1) into -1 20.124 * [backup-simplify]: Simplify (+ 0 -1) into -1 20.124 * [backup-simplify]: Simplify (/ 1 -1) into -1 20.124 * [taylor]: Taking taylor expansion of (+ (* 771.3234287776531 (/ 1 (- 3.0 (/ 1 z)))) (+ (* 12.507343278686905 (/ 1 (- 5.0 (/ 1 z)))) 0.9999999999998099)) in z 20.124 * [taylor]: Taking taylor expansion of (* 771.3234287776531 (/ 1 (- 3.0 (/ 1 z)))) in z 20.124 * [taylor]: Taking taylor expansion of 771.3234287776531 in z 20.124 * [backup-simplify]: Simplify 771.3234287776531 into 771.3234287776531 20.124 * [taylor]: Taking taylor expansion of (/ 1 (- 3.0 (/ 1 z))) in z 20.124 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 z)) in z 20.124 * [taylor]: Taking taylor expansion of 3.0 in z 20.124 * [backup-simplify]: Simplify 3.0 into 3.0 20.124 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.124 * [taylor]: Taking taylor expansion of z in z 20.125 * [backup-simplify]: Simplify 0 into 0 20.125 * [backup-simplify]: Simplify 1 into 1 20.125 * [backup-simplify]: Simplify (/ 1 1) into 1 20.125 * [backup-simplify]: Simplify (- 1) into -1 20.126 * [backup-simplify]: Simplify (+ 0 -1) into -1 20.126 * [backup-simplify]: Simplify (/ 1 -1) into -1 20.126 * [taylor]: Taking taylor expansion of (+ (* 12.507343278686905 (/ 1 (- 5.0 (/ 1 z)))) 0.9999999999998099) in z 20.126 * [taylor]: Taking taylor expansion of (* 12.507343278686905 (/ 1 (- 5.0 (/ 1 z)))) in z 20.126 * [taylor]: Taking taylor expansion of 12.507343278686905 in z 20.126 * [backup-simplify]: Simplify 12.507343278686905 into 12.507343278686905 20.126 * [taylor]: Taking taylor expansion of (/ 1 (- 5.0 (/ 1 z))) in z 20.126 * [taylor]: Taking taylor expansion of (- 5.0 (/ 1 z)) in z 20.126 * [taylor]: Taking taylor expansion of 5.0 in z 20.126 * [backup-simplify]: Simplify 5.0 into 5.0 20.126 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.126 * [taylor]: Taking taylor expansion of z in z 20.126 * [backup-simplify]: Simplify 0 into 0 20.126 * [backup-simplify]: Simplify 1 into 1 20.127 * [backup-simplify]: Simplify (/ 1 1) into 1 20.127 * [backup-simplify]: Simplify (- 1) into -1 20.128 * [backup-simplify]: Simplify (+ 0 -1) into -1 20.128 * [backup-simplify]: Simplify (/ 1 -1) into -1 20.128 * [taylor]: Taking taylor expansion of 0.9999999999998099 in z 20.128 * [backup-simplify]: Simplify 0.9999999999998099 into 0.9999999999998099 20.128 * [taylor]: Taking taylor expansion of (+ (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z)))) (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z))))) in z 20.128 * [taylor]: Taking taylor expansion of (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z)))) in z 20.128 * [taylor]: Taking taylor expansion of 1259.1392167224028 in z 20.128 * [backup-simplify]: Simplify 1259.1392167224028 into 1259.1392167224028 20.128 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (/ 1 z))) in z 20.129 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 z)) in z 20.129 * [taylor]: Taking taylor expansion of 2.0 in z 20.129 * [backup-simplify]: Simplify 2.0 into 2.0 20.129 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.129 * [taylor]: Taking taylor expansion of z in z 20.129 * [backup-simplify]: Simplify 0 into 0 20.129 * [backup-simplify]: Simplify 1 into 1 20.129 * [backup-simplify]: Simplify (/ 1 1) into 1 20.129 * [backup-simplify]: Simplify (- 1) into -1 20.130 * [backup-simplify]: Simplify (+ 0 -1) into -1 20.130 * [backup-simplify]: Simplify (/ 1 -1) into -1 20.130 * [taylor]: Taking taylor expansion of (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z)))) in z 20.130 * [taylor]: Taking taylor expansion of 0.13857109526572012 in z 20.130 * [backup-simplify]: Simplify 0.13857109526572012 into 0.13857109526572012 20.130 * [taylor]: Taking taylor expansion of (/ 1 (- 6.0 (/ 1 z))) in z 20.130 * [taylor]: Taking taylor expansion of (- 6.0 (/ 1 z)) in z 20.130 * [taylor]: Taking taylor expansion of 6.0 in z 20.130 * [backup-simplify]: Simplify 6.0 into 6.0 20.130 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.131 * [taylor]: Taking taylor expansion of z in z 20.131 * [backup-simplify]: Simplify 0 into 0 20.131 * [backup-simplify]: Simplify 1 into 1 20.131 * [backup-simplify]: Simplify (/ 1 1) into 1 20.131 * [backup-simplify]: Simplify (- 1) into -1 20.132 * [backup-simplify]: Simplify (+ 0 -1) into -1 20.132 * [backup-simplify]: Simplify (/ 1 -1) into -1 20.132 * [taylor]: Taking taylor expansion of (- (+ (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) (+ (* 771.3234287776531 (/ 1 (- 3.0 (/ 1 z)))) (+ (* 12.507343278686905 (/ 1 (- 5.0 (/ 1 z)))) 0.9999999999998099))) (+ (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z)))) (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z)))))) in z 20.132 * [taylor]: Taking taylor expansion of (+ (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) (+ (* 771.3234287776531 (/ 1 (- 3.0 (/ 1 z)))) (+ (* 12.507343278686905 (/ 1 (- 5.0 (/ 1 z)))) 0.9999999999998099))) in z 20.132 * [taylor]: Taking taylor expansion of (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) in z 20.132 * [taylor]: Taking taylor expansion of 676.5203681218851 in z 20.132 * [backup-simplify]: Simplify 676.5203681218851 into 676.5203681218851 20.132 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (/ 1 z))) in z 20.132 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 20.132 * [taylor]: Taking taylor expansion of 1.0 in z 20.132 * [backup-simplify]: Simplify 1.0 into 1.0 20.133 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.133 * [taylor]: Taking taylor expansion of z in z 20.133 * [backup-simplify]: Simplify 0 into 0 20.133 * [backup-simplify]: Simplify 1 into 1 20.133 * [backup-simplify]: Simplify (/ 1 1) into 1 20.133 * [backup-simplify]: Simplify (- 1) into -1 20.134 * [backup-simplify]: Simplify (+ 0 -1) into -1 20.134 * [backup-simplify]: Simplify (/ 1 -1) into -1 20.134 * [taylor]: Taking taylor expansion of (+ (* 771.3234287776531 (/ 1 (- 3.0 (/ 1 z)))) (+ (* 12.507343278686905 (/ 1 (- 5.0 (/ 1 z)))) 0.9999999999998099)) in z 20.134 * [taylor]: Taking taylor expansion of (* 771.3234287776531 (/ 1 (- 3.0 (/ 1 z)))) in z 20.134 * [taylor]: Taking taylor expansion of 771.3234287776531 in z 20.134 * [backup-simplify]: Simplify 771.3234287776531 into 771.3234287776531 20.134 * [taylor]: Taking taylor expansion of (/ 1 (- 3.0 (/ 1 z))) in z 20.134 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 z)) in z 20.134 * [taylor]: Taking taylor expansion of 3.0 in z 20.134 * [backup-simplify]: Simplify 3.0 into 3.0 20.134 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.134 * [taylor]: Taking taylor expansion of z in z 20.134 * [backup-simplify]: Simplify 0 into 0 20.134 * [backup-simplify]: Simplify 1 into 1 20.135 * [backup-simplify]: Simplify (/ 1 1) into 1 20.135 * [backup-simplify]: Simplify (- 1) into -1 20.136 * [backup-simplify]: Simplify (+ 0 -1) into -1 20.136 * [backup-simplify]: Simplify (/ 1 -1) into -1 20.136 * [taylor]: Taking taylor expansion of (+ (* 12.507343278686905 (/ 1 (- 5.0 (/ 1 z)))) 0.9999999999998099) in z 20.136 * [taylor]: Taking taylor expansion of (* 12.507343278686905 (/ 1 (- 5.0 (/ 1 z)))) in z 20.136 * [taylor]: Taking taylor expansion of 12.507343278686905 in z 20.136 * [backup-simplify]: Simplify 12.507343278686905 into 12.507343278686905 20.136 * [taylor]: Taking taylor expansion of (/ 1 (- 5.0 (/ 1 z))) in z 20.136 * [taylor]: Taking taylor expansion of (- 5.0 (/ 1 z)) in z 20.136 * [taylor]: Taking taylor expansion of 5.0 in z 20.136 * [backup-simplify]: Simplify 5.0 into 5.0 20.136 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.136 * [taylor]: Taking taylor expansion of z in z 20.137 * [backup-simplify]: Simplify 0 into 0 20.137 * [backup-simplify]: Simplify 1 into 1 20.137 * [backup-simplify]: Simplify (/ 1 1) into 1 20.137 * [backup-simplify]: Simplify (- 1) into -1 20.138 * [backup-simplify]: Simplify (+ 0 -1) into -1 20.138 * [backup-simplify]: Simplify (/ 1 -1) into -1 20.138 * [taylor]: Taking taylor expansion of 0.9999999999998099 in z 20.138 * [backup-simplify]: Simplify 0.9999999999998099 into 0.9999999999998099 20.138 * [taylor]: Taking taylor expansion of (+ (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z)))) (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z))))) in z 20.138 * [taylor]: Taking taylor expansion of (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z)))) in z 20.138 * [taylor]: Taking taylor expansion of 1259.1392167224028 in z 20.138 * [backup-simplify]: Simplify 1259.1392167224028 into 1259.1392167224028 20.138 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (/ 1 z))) in z 20.138 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 z)) in z 20.138 * [taylor]: Taking taylor expansion of 2.0 in z 20.138 * [backup-simplify]: Simplify 2.0 into 2.0 20.139 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.139 * [taylor]: Taking taylor expansion of z in z 20.139 * [backup-simplify]: Simplify 0 into 0 20.139 * [backup-simplify]: Simplify 1 into 1 20.139 * [backup-simplify]: Simplify (/ 1 1) into 1 20.139 * [backup-simplify]: Simplify (- 1) into -1 20.140 * [backup-simplify]: Simplify (+ 0 -1) into -1 20.140 * [backup-simplify]: Simplify (/ 1 -1) into -1 20.140 * [taylor]: Taking taylor expansion of (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z)))) in z 20.140 * [taylor]: Taking taylor expansion of 0.13857109526572012 in z 20.140 * [backup-simplify]: Simplify 0.13857109526572012 into 0.13857109526572012 20.140 * [taylor]: Taking taylor expansion of (/ 1 (- 6.0 (/ 1 z))) in z 20.140 * [taylor]: Taking taylor expansion of (- 6.0 (/ 1 z)) in z 20.140 * [taylor]: Taking taylor expansion of 6.0 in z 20.141 * [backup-simplify]: Simplify 6.0 into 6.0 20.141 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.141 * [taylor]: Taking taylor expansion of z in z 20.141 * [backup-simplify]: Simplify 0 into 0 20.141 * [backup-simplify]: Simplify 1 into 1 20.141 * [backup-simplify]: Simplify (/ 1 1) into 1 20.141 * [backup-simplify]: Simplify (- 1) into -1 20.142 * [backup-simplify]: Simplify (+ 0 -1) into -1 20.142 * [backup-simplify]: Simplify (/ 1 -1) into -1 20.143 * [backup-simplify]: Simplify (+ 0 0.9999999999998099) into 0.9999999999998099 20.143 * [backup-simplify]: Simplify (+ 0 0.9999999999998099) into 0.9999999999998099 20.144 * [backup-simplify]: Simplify (+ 0 0.9999999999998099) into 0.9999999999998099 20.144 * [backup-simplify]: Simplify (+ 0.9999999999998099 0) into 0.9999999999998099 20.144 * [backup-simplify]: Simplify 0.9999999999998099 into 0.9999999999998099 20.144 * [backup-simplify]: Simplify (* 676.5203681218851 -1) into -676.5203681218851 20.145 * [backup-simplify]: Simplify (* 771.3234287776531 -1) into -771.3234287776531 20.145 * [backup-simplify]: Simplify (* 12.507343278686905 -1) into -12.507343278686905 20.146 * [backup-simplify]: Simplify (+ -12.507343278686905 0) into (- 12.507343278686905) 20.147 * [backup-simplify]: Simplify (+ -771.3234287776531 (- 12.507343278686905)) into (- 783.83077205634) 20.148 * [backup-simplify]: Simplify (+ -676.5203681218851 (- 783.83077205634)) into (- 1460.3511401782253) 20.148 * [backup-simplify]: Simplify (* 1259.1392167224028 -1) into -1259.1392167224028 20.148 * [backup-simplify]: Simplify (* 0.13857109526572012 -1) into -0.13857109526572012 20.149 * [backup-simplify]: Simplify (+ -1259.1392167224028 -0.13857109526572012) into (- 1259.2777878176685) 20.150 * [backup-simplify]: Simplify (- (- 1259.2777878176685)) into 1259.2777878176685 20.151 * [backup-simplify]: Simplify (+ (- 1460.3511401782253) 1259.2777878176685) into (- 201.07335236055678) 20.151 * [backup-simplify]: Simplify (- 201.07335236055678) into (- 201.07335236055678) 20.152 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 20.153 * [backup-simplify]: Simplify (- 0) into 0 20.153 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 20.155 * [backup-simplify]: Simplify (- (+ (* -1 (/ 1.0 -1)))) into (- 1.0) 20.157 * [backup-simplify]: Simplify (+ (* 676.5203681218851 (- 1.0)) (* 0 -1)) into (- 676.5203681218851) 20.158 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 20.158 * [backup-simplify]: Simplify (- 0) into 0 20.159 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0 20.161 * [backup-simplify]: Simplify (- (+ (* -1 (/ 3.0 -1)))) into (- 3.0) 20.163 * [backup-simplify]: Simplify (+ (* 771.3234287776531 (- 3.0)) (* 0 -1)) into (- 2313.9702863329594) 20.164 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 20.164 * [backup-simplify]: Simplify (- 0) into 0 20.165 * [backup-simplify]: Simplify (+ 5.0 0) into 5.0 20.167 * [backup-simplify]: Simplify (- (+ (* -1 (/ 5.0 -1)))) into (- 5.0) 20.169 * [backup-simplify]: Simplify (+ (* 12.507343278686905 (- 5.0)) (* 0 -1)) into (- 62.536716393434524) 20.170 * [backup-simplify]: Simplify (+ (- 62.536716393434524) 0) into (- 62.536716393434524) 20.171 * [backup-simplify]: Simplify (+ (- 2313.9702863329594) (- 62.536716393434524)) into (- 2376.507002726394) 20.173 * [backup-simplify]: Simplify (+ (- 676.5203681218851) (- 2376.507002726394)) into (- 3053.027370848279) 20.173 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 20.174 * [backup-simplify]: Simplify (- 0) into 0 20.174 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 20.176 * [backup-simplify]: Simplify (- (+ (* -1 (/ 2.0 -1)))) into (- 2.0) 20.178 * [backup-simplify]: Simplify (+ (* 1259.1392167224028 (- 2.0)) (* 0 -1)) into (- 2518.2784334448056) 20.179 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 20.179 * [backup-simplify]: Simplify (- 0) into 0 20.180 * [backup-simplify]: Simplify (+ 6.0 0) into 6.0 20.182 * [backup-simplify]: Simplify (- (+ (* -1 (/ 6.0 -1)))) into (- 6.0) 20.188 * [backup-simplify]: Simplify (+ (* 0.13857109526572012 (- 6.0)) (* 0 -1)) into (- 0.8314265715943208) 20.190 * [backup-simplify]: Simplify (+ (- 2518.2784334448056) (- 0.8314265715943208)) into (- 2519.1098600164) 20.190 * [backup-simplify]: Simplify (- (- 2519.1098600164)) into 2519.1098600164 20.191 * [backup-simplify]: Simplify (+ (- 3053.027370848279) 2519.1098600164) into (- 533.9175108318791) 20.191 * [backup-simplify]: Simplify (- 533.9175108318791) into (- 533.9175108318791) 20.193 * [backup-simplify]: Simplify (+ (* (- 533.9175108318791) (pow (/ 1 z) 2)) (+ (* (- 201.07335236055678) (/ 1 z)) 0.9999999999998099)) into (- 0.9999999999998099 (+ (* 201.07335236055678 (/ 1 z)) (* 533.9175108318791 (/ 1 (pow z 2))))) 20.194 * [backup-simplify]: Simplify (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 (/ 1 (- z))))) (+ (+ (/ -1259.1392167224028 (+ (- (/ 1 (- z))) 2.0)) (/ 771.3234287776531 (+ 3.0 (- (/ 1 (- z)))))) (+ (/ 12.507343278686905 (+ 5.0 (- (/ 1 (- z))))) (/ -0.13857109526572012 (+ 6.0 (- (/ 1 (- z)))))))) into (- (+ (* 12.507343278686905 (/ 1 (+ (/ 1 z) 5.0))) (+ (* 676.5203681218851 (/ 1 (+ (/ 1 z) 1.0))) (+ (* 771.3234287776531 (/ 1 (+ (/ 1 z) 3.0))) 0.9999999999998099))) (+ (* 0.13857109526572012 (/ 1 (+ (/ 1 z) 6.0))) (* 1259.1392167224028 (/ 1 (+ (/ 1 z) 2.0))))) 20.194 * [approximate]: Taking taylor expansion of (- (+ (* 12.507343278686905 (/ 1 (+ (/ 1 z) 5.0))) (+ (* 676.5203681218851 (/ 1 (+ (/ 1 z) 1.0))) (+ (* 771.3234287776531 (/ 1 (+ (/ 1 z) 3.0))) 0.9999999999998099))) (+ (* 0.13857109526572012 (/ 1 (+ (/ 1 z) 6.0))) (* 1259.1392167224028 (/ 1 (+ (/ 1 z) 2.0))))) in (z) around 0 20.194 * [taylor]: Taking taylor expansion of (- (+ (* 12.507343278686905 (/ 1 (+ (/ 1 z) 5.0))) (+ (* 676.5203681218851 (/ 1 (+ (/ 1 z) 1.0))) (+ (* 771.3234287776531 (/ 1 (+ (/ 1 z) 3.0))) 0.9999999999998099))) (+ (* 0.13857109526572012 (/ 1 (+ (/ 1 z) 6.0))) (* 1259.1392167224028 (/ 1 (+ (/ 1 z) 2.0))))) in z 20.194 * [taylor]: Taking taylor expansion of (+ (* 12.507343278686905 (/ 1 (+ (/ 1 z) 5.0))) (+ (* 676.5203681218851 (/ 1 (+ (/ 1 z) 1.0))) (+ (* 771.3234287776531 (/ 1 (+ (/ 1 z) 3.0))) 0.9999999999998099))) in z 20.194 * [taylor]: Taking taylor expansion of (* 12.507343278686905 (/ 1 (+ (/ 1 z) 5.0))) in z 20.194 * [taylor]: Taking taylor expansion of 12.507343278686905 in z 20.194 * [backup-simplify]: Simplify 12.507343278686905 into 12.507343278686905 20.194 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 5.0)) in z 20.194 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 5.0) in z 20.194 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.194 * [taylor]: Taking taylor expansion of z in z 20.194 * [backup-simplify]: Simplify 0 into 0 20.194 * [backup-simplify]: Simplify 1 into 1 20.195 * [backup-simplify]: Simplify (/ 1 1) into 1 20.195 * [taylor]: Taking taylor expansion of 5.0 in z 20.195 * [backup-simplify]: Simplify 5.0 into 5.0 20.195 * [backup-simplify]: Simplify (+ 1 0) into 1 20.196 * [backup-simplify]: Simplify (/ 1 1) into 1 20.196 * [taylor]: Taking taylor expansion of (+ (* 676.5203681218851 (/ 1 (+ (/ 1 z) 1.0))) (+ (* 771.3234287776531 (/ 1 (+ (/ 1 z) 3.0))) 0.9999999999998099)) in z 20.196 * [taylor]: Taking taylor expansion of (* 676.5203681218851 (/ 1 (+ (/ 1 z) 1.0))) in z 20.196 * [taylor]: Taking taylor expansion of 676.5203681218851 in z 20.196 * [backup-simplify]: Simplify 676.5203681218851 into 676.5203681218851 20.196 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 1.0)) in z 20.196 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 20.196 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.196 * [taylor]: Taking taylor expansion of z in z 20.196 * [backup-simplify]: Simplify 0 into 0 20.196 * [backup-simplify]: Simplify 1 into 1 20.196 * [backup-simplify]: Simplify (/ 1 1) into 1 20.197 * [taylor]: Taking taylor expansion of 1.0 in z 20.197 * [backup-simplify]: Simplify 1.0 into 1.0 20.197 * [backup-simplify]: Simplify (+ 1 0) into 1 20.197 * [backup-simplify]: Simplify (/ 1 1) into 1 20.197 * [taylor]: Taking taylor expansion of (+ (* 771.3234287776531 (/ 1 (+ (/ 1 z) 3.0))) 0.9999999999998099) in z 20.197 * [taylor]: Taking taylor expansion of (* 771.3234287776531 (/ 1 (+ (/ 1 z) 3.0))) in z 20.197 * [taylor]: Taking taylor expansion of 771.3234287776531 in z 20.197 * [backup-simplify]: Simplify 771.3234287776531 into 771.3234287776531 20.198 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 3.0)) in z 20.198 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 3.0) in z 20.198 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.198 * [taylor]: Taking taylor expansion of z in z 20.198 * [backup-simplify]: Simplify 0 into 0 20.198 * [backup-simplify]: Simplify 1 into 1 20.198 * [backup-simplify]: Simplify (/ 1 1) into 1 20.198 * [taylor]: Taking taylor expansion of 3.0 in z 20.198 * [backup-simplify]: Simplify 3.0 into 3.0 20.198 * [backup-simplify]: Simplify (+ 1 0) into 1 20.199 * [backup-simplify]: Simplify (/ 1 1) into 1 20.199 * [taylor]: Taking taylor expansion of 0.9999999999998099 in z 20.199 * [backup-simplify]: Simplify 0.9999999999998099 into 0.9999999999998099 20.199 * [taylor]: Taking taylor expansion of (+ (* 0.13857109526572012 (/ 1 (+ (/ 1 z) 6.0))) (* 1259.1392167224028 (/ 1 (+ (/ 1 z) 2.0)))) in z 20.199 * [taylor]: Taking taylor expansion of (* 0.13857109526572012 (/ 1 (+ (/ 1 z) 6.0))) in z 20.199 * [taylor]: Taking taylor expansion of 0.13857109526572012 in z 20.199 * [backup-simplify]: Simplify 0.13857109526572012 into 0.13857109526572012 20.199 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 6.0)) in z 20.199 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.0) in z 20.199 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.199 * [taylor]: Taking taylor expansion of z in z 20.199 * [backup-simplify]: Simplify 0 into 0 20.199 * [backup-simplify]: Simplify 1 into 1 20.200 * [backup-simplify]: Simplify (/ 1 1) into 1 20.200 * [taylor]: Taking taylor expansion of 6.0 in z 20.200 * [backup-simplify]: Simplify 6.0 into 6.0 20.200 * [backup-simplify]: Simplify (+ 1 0) into 1 20.200 * [backup-simplify]: Simplify (/ 1 1) into 1 20.200 * [taylor]: Taking taylor expansion of (* 1259.1392167224028 (/ 1 (+ (/ 1 z) 2.0))) in z 20.200 * [taylor]: Taking taylor expansion of 1259.1392167224028 in z 20.201 * [backup-simplify]: Simplify 1259.1392167224028 into 1259.1392167224028 20.201 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 2.0)) in z 20.201 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 2.0) in z 20.201 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.201 * [taylor]: Taking taylor expansion of z in z 20.201 * [backup-simplify]: Simplify 0 into 0 20.201 * [backup-simplify]: Simplify 1 into 1 20.201 * [backup-simplify]: Simplify (/ 1 1) into 1 20.201 * [taylor]: Taking taylor expansion of 2.0 in z 20.201 * [backup-simplify]: Simplify 2.0 into 2.0 20.202 * [backup-simplify]: Simplify (+ 1 0) into 1 20.202 * [backup-simplify]: Simplify (/ 1 1) into 1 20.202 * [taylor]: Taking taylor expansion of (- (+ (* 12.507343278686905 (/ 1 (+ (/ 1 z) 5.0))) (+ (* 676.5203681218851 (/ 1 (+ (/ 1 z) 1.0))) (+ (* 771.3234287776531 (/ 1 (+ (/ 1 z) 3.0))) 0.9999999999998099))) (+ (* 0.13857109526572012 (/ 1 (+ (/ 1 z) 6.0))) (* 1259.1392167224028 (/ 1 (+ (/ 1 z) 2.0))))) in z 20.202 * [taylor]: Taking taylor expansion of (+ (* 12.507343278686905 (/ 1 (+ (/ 1 z) 5.0))) (+ (* 676.5203681218851 (/ 1 (+ (/ 1 z) 1.0))) (+ (* 771.3234287776531 (/ 1 (+ (/ 1 z) 3.0))) 0.9999999999998099))) in z 20.202 * [taylor]: Taking taylor expansion of (* 12.507343278686905 (/ 1 (+ (/ 1 z) 5.0))) in z 20.202 * [taylor]: Taking taylor expansion of 12.507343278686905 in z 20.202 * [backup-simplify]: Simplify 12.507343278686905 into 12.507343278686905 20.202 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 5.0)) in z 20.202 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 5.0) in z 20.202 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.202 * [taylor]: Taking taylor expansion of z in z 20.202 * [backup-simplify]: Simplify 0 into 0 20.202 * [backup-simplify]: Simplify 1 into 1 20.203 * [backup-simplify]: Simplify (/ 1 1) into 1 20.203 * [taylor]: Taking taylor expansion of 5.0 in z 20.203 * [backup-simplify]: Simplify 5.0 into 5.0 20.203 * [backup-simplify]: Simplify (+ 1 0) into 1 20.204 * [backup-simplify]: Simplify (/ 1 1) into 1 20.204 * [taylor]: Taking taylor expansion of (+ (* 676.5203681218851 (/ 1 (+ (/ 1 z) 1.0))) (+ (* 771.3234287776531 (/ 1 (+ (/ 1 z) 3.0))) 0.9999999999998099)) in z 20.204 * [taylor]: Taking taylor expansion of (* 676.5203681218851 (/ 1 (+ (/ 1 z) 1.0))) in z 20.204 * [taylor]: Taking taylor expansion of 676.5203681218851 in z 20.204 * [backup-simplify]: Simplify 676.5203681218851 into 676.5203681218851 20.204 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 1.0)) in z 20.204 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 20.204 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.204 * [taylor]: Taking taylor expansion of z in z 20.204 * [backup-simplify]: Simplify 0 into 0 20.204 * [backup-simplify]: Simplify 1 into 1 20.204 * [backup-simplify]: Simplify (/ 1 1) into 1 20.204 * [taylor]: Taking taylor expansion of 1.0 in z 20.204 * [backup-simplify]: Simplify 1.0 into 1.0 20.205 * [backup-simplify]: Simplify (+ 1 0) into 1 20.205 * [backup-simplify]: Simplify (/ 1 1) into 1 20.205 * [taylor]: Taking taylor expansion of (+ (* 771.3234287776531 (/ 1 (+ (/ 1 z) 3.0))) 0.9999999999998099) in z 20.205 * [taylor]: Taking taylor expansion of (* 771.3234287776531 (/ 1 (+ (/ 1 z) 3.0))) in z 20.205 * [taylor]: Taking taylor expansion of 771.3234287776531 in z 20.205 * [backup-simplify]: Simplify 771.3234287776531 into 771.3234287776531 20.205 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 3.0)) in z 20.205 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 3.0) in z 20.205 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.205 * [taylor]: Taking taylor expansion of z in z 20.206 * [backup-simplify]: Simplify 0 into 0 20.206 * [backup-simplify]: Simplify 1 into 1 20.206 * [backup-simplify]: Simplify (/ 1 1) into 1 20.206 * [taylor]: Taking taylor expansion of 3.0 in z 20.206 * [backup-simplify]: Simplify 3.0 into 3.0 20.206 * [backup-simplify]: Simplify (+ 1 0) into 1 20.207 * [backup-simplify]: Simplify (/ 1 1) into 1 20.207 * [taylor]: Taking taylor expansion of 0.9999999999998099 in z 20.207 * [backup-simplify]: Simplify 0.9999999999998099 into 0.9999999999998099 20.207 * [taylor]: Taking taylor expansion of (+ (* 0.13857109526572012 (/ 1 (+ (/ 1 z) 6.0))) (* 1259.1392167224028 (/ 1 (+ (/ 1 z) 2.0)))) in z 20.207 * [taylor]: Taking taylor expansion of (* 0.13857109526572012 (/ 1 (+ (/ 1 z) 6.0))) in z 20.207 * [taylor]: Taking taylor expansion of 0.13857109526572012 in z 20.207 * [backup-simplify]: Simplify 0.13857109526572012 into 0.13857109526572012 20.207 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 6.0)) in z 20.207 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.0) in z 20.207 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.207 * [taylor]: Taking taylor expansion of z in z 20.207 * [backup-simplify]: Simplify 0 into 0 20.207 * [backup-simplify]: Simplify 1 into 1 20.208 * [backup-simplify]: Simplify (/ 1 1) into 1 20.208 * [taylor]: Taking taylor expansion of 6.0 in z 20.208 * [backup-simplify]: Simplify 6.0 into 6.0 20.208 * [backup-simplify]: Simplify (+ 1 0) into 1 20.208 * [backup-simplify]: Simplify (/ 1 1) into 1 20.209 * [taylor]: Taking taylor expansion of (* 1259.1392167224028 (/ 1 (+ (/ 1 z) 2.0))) in z 20.209 * [taylor]: Taking taylor expansion of 1259.1392167224028 in z 20.209 * [backup-simplify]: Simplify 1259.1392167224028 into 1259.1392167224028 20.209 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 2.0)) in z 20.209 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 2.0) in z 20.209 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.209 * [taylor]: Taking taylor expansion of z in z 20.209 * [backup-simplify]: Simplify 0 into 0 20.209 * [backup-simplify]: Simplify 1 into 1 20.209 * [backup-simplify]: Simplify (/ 1 1) into 1 20.209 * [taylor]: Taking taylor expansion of 2.0 in z 20.209 * [backup-simplify]: Simplify 2.0 into 2.0 20.210 * [backup-simplify]: Simplify (+ 1 0) into 1 20.210 * [backup-simplify]: Simplify (/ 1 1) into 1 20.210 * [backup-simplify]: Simplify (+ 0 0.9999999999998099) into 0.9999999999998099 20.211 * [backup-simplify]: Simplify (+ 0 0.9999999999998099) into 0.9999999999998099 20.211 * [backup-simplify]: Simplify (+ 0 0.9999999999998099) into 0.9999999999998099 20.212 * [backup-simplify]: Simplify (+ 0.9999999999998099 0) into 0.9999999999998099 20.212 * [backup-simplify]: Simplify 0.9999999999998099 into 0.9999999999998099 20.212 * [backup-simplify]: Simplify (* 12.507343278686905 1) into 12.507343278686905 20.213 * [backup-simplify]: Simplify (* 676.5203681218851 1) into 676.5203681218851 20.213 * [backup-simplify]: Simplify (* 771.3234287776531 1) into 771.3234287776531 20.213 * [backup-simplify]: Simplify (+ 771.3234287776531 0) into 771.3234287776531 20.214 * [backup-simplify]: Simplify (+ 676.5203681218851 771.3234287776531) into 1447.8437968995381 20.214 * [backup-simplify]: Simplify (+ 12.507343278686905 1447.8437968995381) into 1460.351140178225 20.215 * [backup-simplify]: Simplify (* 0.13857109526572012 1) into 0.13857109526572012 20.215 * [backup-simplify]: Simplify (* 1259.1392167224028 1) into 1259.1392167224028 20.216 * [backup-simplify]: Simplify (+ 0.13857109526572012 1259.1392167224028) into 1259.2777878176685 20.216 * [backup-simplify]: Simplify (- 1259.2777878176685) into (- 1259.2777878176685) 20.217 * [backup-simplify]: Simplify (+ 1460.351140178225 (- 1259.2777878176685)) into 201.07335236055656 20.217 * [backup-simplify]: Simplify 201.07335236055656 into 201.07335236055656 20.218 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 20.218 * [backup-simplify]: Simplify (+ 0 5.0) into 5.0 20.220 * [backup-simplify]: Simplify (- (+ (* 1 (/ 5.0 1)))) into (- 5.0) 20.223 * [backup-simplify]: Simplify (+ (* 12.507343278686905 (- 5.0)) (* 0 1)) into (- 62.536716393434524) 20.223 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 20.224 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 20.226 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1.0 1)))) into (- 1.0) 20.228 * [backup-simplify]: Simplify (+ (* 676.5203681218851 (- 1.0)) (* 0 1)) into (- 676.5203681218851) 20.229 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 20.229 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0 20.231 * [backup-simplify]: Simplify (- (+ (* 1 (/ 3.0 1)))) into (- 3.0) 20.233 * [backup-simplify]: Simplify (+ (* 771.3234287776531 (- 3.0)) (* 0 1)) into (- 2313.9702863329594) 20.234 * [backup-simplify]: Simplify (+ (- 2313.9702863329594) 0) into (- 2313.9702863329594) 20.236 * [backup-simplify]: Simplify (+ (- 676.5203681218851) (- 2313.9702863329594)) into (- 2990.4906544548444) 20.237 * [backup-simplify]: Simplify (+ (- 62.536716393434524) (- 2990.4906544548444)) into (- 3053.027370848279) 20.238 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 20.238 * [backup-simplify]: Simplify (+ 0 6.0) into 6.0 20.240 * [backup-simplify]: Simplify (- (+ (* 1 (/ 6.0 1)))) into (- 6.0) 20.242 * [backup-simplify]: Simplify (+ (* 0.13857109526572012 (- 6.0)) (* 0 1)) into (- 0.8314265715943208) 20.243 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 20.244 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 20.246 * [backup-simplify]: Simplify (- (+ (* 1 (/ 2.0 1)))) into (- 2.0) 20.248 * [backup-simplify]: Simplify (+ (* 1259.1392167224028 (- 2.0)) (* 0 1)) into (- 2518.2784334448056) 20.250 * [backup-simplify]: Simplify (+ (- 0.8314265715943208) (- 2518.2784334448056)) into (- 2519.1098600164) 20.250 * [backup-simplify]: Simplify (- (- 2519.1098600164)) into 2519.1098600164 20.251 * [backup-simplify]: Simplify (+ (- 3053.027370848279) 2519.1098600164) into (- 533.9175108318791) 20.252 * [backup-simplify]: Simplify (- 533.9175108318791) into (- 533.9175108318791) 20.252 * [backup-simplify]: Simplify (+ (* (- 533.9175108318791) (pow (/ 1 (- z)) 2)) (+ (* 201.07335236055656 (/ 1 (- z))) 0.9999999999998099)) into (- 0.9999999999998099 (+ (* 201.07335236055656 (/ 1 z)) (* 533.9175108318791 (/ 1 (pow z 2))))) 20.252 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 20.254 * [backup-simplify]: Simplify (/ (sqrt (* 2.0 PI)) (exp (+ (+ 7.0 0.5) (- z)))) into (* (/ (sqrt 2.0) (exp (- 7.5 z))) (sqrt PI)) 20.254 * [approximate]: Taking taylor expansion of (* (/ (sqrt 2.0) (exp (- 7.5 z))) (sqrt PI)) in (z) around 0 20.254 * [taylor]: Taking taylor expansion of (* (/ (sqrt 2.0) (exp (- 7.5 z))) (sqrt PI)) in z 20.254 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) (exp (- 7.5 z))) in z 20.254 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z 20.254 * [taylor]: Taking taylor expansion of 2.0 in z 20.254 * [backup-simplify]: Simplify 2.0 into 2.0 20.255 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0) 20.255 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0 20.255 * [taylor]: Taking taylor expansion of (exp (- 7.5 z)) in z 20.255 * [taylor]: Taking taylor expansion of (- 7.5 z) in z 20.255 * [taylor]: Taking taylor expansion of 7.5 in z 20.256 * [backup-simplify]: Simplify 7.5 into 7.5 20.256 * [taylor]: Taking taylor expansion of z in z 20.256 * [backup-simplify]: Simplify 0 into 0 20.256 * [backup-simplify]: Simplify 1 into 1 20.256 * [backup-simplify]: Simplify (- 0) into 0 20.256 * [backup-simplify]: Simplify (+ 7.5 0) into 7.5 20.257 * [backup-simplify]: Simplify (exp 7.5) into (exp 7.5) 20.258 * [backup-simplify]: Simplify (/ (sqrt 2.0) (exp 7.5)) into (/ (sqrt 2.0) (exp 7.5)) 20.258 * [taylor]: Taking taylor expansion of (sqrt PI) in z 20.258 * [taylor]: Taking taylor expansion of PI in z 20.258 * [backup-simplify]: Simplify PI into PI 20.259 * [backup-simplify]: Simplify (sqrt PI) into (sqrt PI) 20.259 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt PI))) into 0 20.259 * [taylor]: Taking taylor expansion of (* (/ (sqrt 2.0) (exp (- 7.5 z))) (sqrt PI)) in z 20.259 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) (exp (- 7.5 z))) in z 20.259 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z 20.260 * [taylor]: Taking taylor expansion of 2.0 in z 20.260 * [backup-simplify]: Simplify 2.0 into 2.0 20.260 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0) 20.261 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0 20.261 * [taylor]: Taking taylor expansion of (exp (- 7.5 z)) in z 20.261 * [taylor]: Taking taylor expansion of (- 7.5 z) in z 20.261 * [taylor]: Taking taylor expansion of 7.5 in z 20.261 * [backup-simplify]: Simplify 7.5 into 7.5 20.261 * [taylor]: Taking taylor expansion of z in z 20.261 * [backup-simplify]: Simplify 0 into 0 20.261 * [backup-simplify]: Simplify 1 into 1 20.261 * [backup-simplify]: Simplify (- 0) into 0 20.262 * [backup-simplify]: Simplify (+ 7.5 0) into 7.5 20.262 * [backup-simplify]: Simplify (exp 7.5) into (exp 7.5) 20.263 * [backup-simplify]: Simplify (/ (sqrt 2.0) (exp 7.5)) into (/ (sqrt 2.0) (exp 7.5)) 20.263 * [taylor]: Taking taylor expansion of (sqrt PI) in z 20.263 * [taylor]: Taking taylor expansion of PI in z 20.263 * [backup-simplify]: Simplify PI into PI 20.264 * [backup-simplify]: Simplify (sqrt PI) into (sqrt PI) 20.265 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt PI))) into 0 20.267 * [backup-simplify]: Simplify (* (/ (sqrt 2.0) (exp 7.5)) (sqrt PI)) into (* (/ (sqrt 2.0) (exp 7.5)) (sqrt PI)) 20.270 * [backup-simplify]: Simplify (* (/ (sqrt 2.0) (exp 7.5)) (sqrt PI)) into (* (/ (sqrt 2.0) (exp 7.5)) (sqrt PI)) 20.270 * [backup-simplify]: Simplify (- 1) into -1 20.271 * [backup-simplify]: Simplify (+ 0 -1) into -1 20.273 * [backup-simplify]: Simplify (* (exp 7.5) (+ (* (/ (pow -1 1) 1)))) into (* -1 (exp 7.5)) 20.280 * [backup-simplify]: Simplify (- (/ 0 (exp 7.5)) (+ (* (/ (sqrt 2.0) (exp 7.5)) (/ (* -1 (exp 7.5)) (exp 7.5))))) into (/ (sqrt 2.0) (exp 7.5)) 20.285 * [backup-simplify]: Simplify (+ (* (/ (sqrt 2.0) (exp 7.5)) 0) (* (/ (sqrt 2.0) (exp 7.5)) (sqrt PI))) into (* (/ (sqrt 2.0) (exp 7.5)) (sqrt PI)) 20.288 * [backup-simplify]: Simplify (* (/ (sqrt 2.0) (exp 7.5)) (sqrt PI)) into (* (/ (sqrt 2.0) (exp 7.5)) (sqrt PI)) 20.289 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt PI))) into 0 20.290 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2.0))) into 0 20.291 * [backup-simplify]: Simplify (- 0) into 0 20.291 * [backup-simplify]: Simplify (+ 0 0) into 0 20.294 * [backup-simplify]: Simplify (* (exp 7.5) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (exp 7.5)) 20.308 * [backup-simplify]: Simplify (- (/ 0 (exp 7.5)) (+ (* (/ (sqrt 2.0) (exp 7.5)) (/ (* 1/2 (exp 7.5)) (exp 7.5))) (* (/ (sqrt 2.0) (exp 7.5)) (/ (* -1 (exp 7.5)) (exp 7.5))))) into (* 1/2 (/ (sqrt 2.0) (exp 7.5))) 20.317 * [backup-simplify]: Simplify (+ (* (/ (sqrt 2.0) (exp 7.5)) 0) (+ (* (/ (sqrt 2.0) (exp 7.5)) 0) (* (* 1/2 (/ (sqrt 2.0) (exp 7.5))) (sqrt PI)))) into (* 1/2 (* (/ (sqrt 2.0) (exp 7.5)) (sqrt PI))) 20.321 * [backup-simplify]: Simplify (* 1/2 (* (/ (sqrt 2.0) (exp 7.5)) (sqrt PI))) into (* 1/2 (* (/ (sqrt 2.0) (exp 7.5)) (sqrt PI))) 20.335 * [backup-simplify]: Simplify (+ (* (* 1/2 (* (/ (sqrt 2.0) (exp 7.5)) (sqrt PI))) (pow z 2)) (+ (* (* (/ (sqrt 2.0) (exp 7.5)) (sqrt PI)) z) (* (/ (sqrt 2.0) (exp 7.5)) (sqrt PI)))) into (+ (* (/ (sqrt 2.0) (exp 7.5)) (sqrt PI)) (+ (* (/ (* (sqrt 2.0) z) (exp 7.5)) (sqrt PI)) (* 1/2 (* (/ (* (sqrt 2.0) (pow z 2)) (exp 7.5)) (sqrt PI))))) 20.337 * [backup-simplify]: Simplify (/ (sqrt (* 2.0 PI)) (exp (+ (+ 7.0 0.5) (- (/ 1 z))))) into (* (/ (sqrt 2.0) (exp (- 7.5 (/ 1 z)))) (sqrt PI)) 20.337 * [approximate]: Taking taylor expansion of (* (/ (sqrt 2.0) (exp (- 7.5 (/ 1 z)))) (sqrt PI)) in (z) around 0 20.337 * [taylor]: Taking taylor expansion of (* (/ (sqrt 2.0) (exp (- 7.5 (/ 1 z)))) (sqrt PI)) in z 20.337 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) (exp (- 7.5 (/ 1 z)))) in z 20.337 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z 20.337 * [taylor]: Taking taylor expansion of 2.0 in z 20.337 * [backup-simplify]: Simplify 2.0 into 2.0 20.337 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0) 20.338 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0 20.338 * [taylor]: Taking taylor expansion of (exp (- 7.5 (/ 1 z))) in z 20.338 * [taylor]: Taking taylor expansion of (- 7.5 (/ 1 z)) in z 20.338 * [taylor]: Taking taylor expansion of 7.5 in z 20.338 * [backup-simplify]: Simplify 7.5 into 7.5 20.338 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.338 * [taylor]: Taking taylor expansion of z in z 20.338 * [backup-simplify]: Simplify 0 into 0 20.338 * [backup-simplify]: Simplify 1 into 1 20.339 * [backup-simplify]: Simplify (/ 1 1) into 1 20.339 * [backup-simplify]: Simplify (- 1) into -1 20.339 * [backup-simplify]: Simplify (+ 0 -1) into -1 20.340 * [backup-simplify]: Simplify (exp (- 7.5 (/ 1 z))) into (exp (- 7.5 (/ 1 z))) 20.340 * [backup-simplify]: Simplify (/ (sqrt 2.0) (exp (- 7.5 (/ 1 z)))) into (/ (sqrt 2.0) (exp (- 7.5 (/ 1 z)))) 20.340 * [taylor]: Taking taylor expansion of (sqrt PI) in z 20.340 * [taylor]: Taking taylor expansion of PI in z 20.340 * [backup-simplify]: Simplify PI into PI 20.341 * [backup-simplify]: Simplify (sqrt PI) into (sqrt PI) 20.342 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt PI))) into 0 20.342 * [taylor]: Taking taylor expansion of (* (/ (sqrt 2.0) (exp (- 7.5 (/ 1 z)))) (sqrt PI)) in z 20.342 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) (exp (- 7.5 (/ 1 z)))) in z 20.342 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z 20.342 * [taylor]: Taking taylor expansion of 2.0 in z 20.342 * [backup-simplify]: Simplify 2.0 into 2.0 20.342 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0) 20.343 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0 20.343 * [taylor]: Taking taylor expansion of (exp (- 7.5 (/ 1 z))) in z 20.343 * [taylor]: Taking taylor expansion of (- 7.5 (/ 1 z)) in z 20.343 * [taylor]: Taking taylor expansion of 7.5 in z 20.343 * [backup-simplify]: Simplify 7.5 into 7.5 20.343 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.343 * [taylor]: Taking taylor expansion of z in z 20.343 * [backup-simplify]: Simplify 0 into 0 20.343 * [backup-simplify]: Simplify 1 into 1 20.343 * [backup-simplify]: Simplify (/ 1 1) into 1 20.344 * [backup-simplify]: Simplify (- 1) into -1 20.344 * [backup-simplify]: Simplify (+ 0 -1) into -1 20.344 * [backup-simplify]: Simplify (exp (- 7.5 (/ 1 z))) into (exp (- 7.5 (/ 1 z))) 20.345 * [backup-simplify]: Simplify (/ (sqrt 2.0) (exp (- 7.5 (/ 1 z)))) into (/ (sqrt 2.0) (exp (- 7.5 (/ 1 z)))) 20.345 * [taylor]: Taking taylor expansion of (sqrt PI) in z 20.345 * [taylor]: Taking taylor expansion of PI in z 20.345 * [backup-simplify]: Simplify PI into PI 20.346 * [backup-simplify]: Simplify (sqrt PI) into (sqrt PI) 20.346 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt PI))) into 0 20.347 * [backup-simplify]: Simplify (* (/ (sqrt 2.0) (exp (- 7.5 (/ 1 z)))) (sqrt PI)) into (* (/ (sqrt 2.0) (exp (- 7.5 (/ 1 z)))) (sqrt PI)) 20.348 * [backup-simplify]: Simplify (* (/ (sqrt 2.0) (exp (- 7.5 (/ 1 z)))) (sqrt PI)) into (* (/ (sqrt 2.0) (exp (- 7.5 (/ 1 z)))) (sqrt PI)) 20.349 * [backup-simplify]: Simplify (- (/ 0 (exp (- 7.5 (/ 1 z)))) (+ (* (/ (sqrt 2.0) (exp (- 7.5 (/ 1 z)))) (/ 0 (exp (- 7.5 (/ 1 z))))))) into 0 20.350 * [backup-simplify]: Simplify (+ (* (/ (sqrt 2.0) (exp (- 7.5 (/ 1 z)))) 0) (* 0 (sqrt PI))) into 0 20.350 * [backup-simplify]: Simplify 0 into 0 20.352 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt PI))) into 0 20.353 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2.0))) into 0 20.354 * [backup-simplify]: Simplify (- (/ 0 (exp (- 7.5 (/ 1 z)))) (+ (* (/ (sqrt 2.0) (exp (- 7.5 (/ 1 z)))) (/ 0 (exp (- 7.5 (/ 1 z))))) (* 0 (/ 0 (exp (- 7.5 (/ 1 z))))))) into 0 20.355 * [backup-simplify]: Simplify (+ (* (/ (sqrt 2.0) (exp (- 7.5 (/ 1 z)))) 0) (+ (* 0 0) (* 0 (sqrt PI)))) into 0 20.355 * [backup-simplify]: Simplify 0 into 0 20.356 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt PI))) into 0 20.358 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0 20.359 * [backup-simplify]: Simplify (- (/ 0 (exp (- 7.5 (/ 1 z)))) (+ (* (/ (sqrt 2.0) (exp (- 7.5 (/ 1 z)))) (/ 0 (exp (- 7.5 (/ 1 z))))) (* 0 (/ 0 (exp (- 7.5 (/ 1 z))))) (* 0 (/ 0 (exp (- 7.5 (/ 1 z))))))) into 0 20.360 * [backup-simplify]: Simplify (+ (* (/ (sqrt 2.0) (exp (- 7.5 (/ 1 z)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt PI))))) into 0 20.360 * [backup-simplify]: Simplify 0 into 0 20.362 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt PI))) into 0 20.363 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0 20.364 * [backup-simplify]: Simplify (- (/ 0 (exp (- 7.5 (/ 1 z)))) (+ (* (/ (sqrt 2.0) (exp (- 7.5 (/ 1 z)))) (/ 0 (exp (- 7.5 (/ 1 z))))) (* 0 (/ 0 (exp (- 7.5 (/ 1 z))))) (* 0 (/ 0 (exp (- 7.5 (/ 1 z))))) (* 0 (/ 0 (exp (- 7.5 (/ 1 z))))))) into 0 20.366 * [backup-simplify]: Simplify (+ (* (/ (sqrt 2.0) (exp (- 7.5 (/ 1 z)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt PI)))))) into 0 20.366 * [backup-simplify]: Simplify 0 into 0 20.367 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt PI))) into 0 20.369 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0 20.370 * [backup-simplify]: Simplify (- (/ 0 (exp (- 7.5 (/ 1 z)))) (+ (* (/ (sqrt 2.0) (exp (- 7.5 (/ 1 z)))) (/ 0 (exp (- 7.5 (/ 1 z))))) (* 0 (/ 0 (exp (- 7.5 (/ 1 z))))) (* 0 (/ 0 (exp (- 7.5 (/ 1 z))))) (* 0 (/ 0 (exp (- 7.5 (/ 1 z))))) (* 0 (/ 0 (exp (- 7.5 (/ 1 z))))))) into 0 20.372 * [backup-simplify]: Simplify (+ (* (/ (sqrt 2.0) (exp (- 7.5 (/ 1 z)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt PI))))))) into 0 20.372 * [backup-simplify]: Simplify 0 into 0 20.373 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt PI))) into 0 20.375 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0 20.376 * [backup-simplify]: Simplify (- (/ 0 (exp (- 7.5 (/ 1 z)))) (+ (* (/ (sqrt 2.0) (exp (- 7.5 (/ 1 z)))) (/ 0 (exp (- 7.5 (/ 1 z))))) (* 0 (/ 0 (exp (- 7.5 (/ 1 z))))) (* 0 (/ 0 (exp (- 7.5 (/ 1 z))))) (* 0 (/ 0 (exp (- 7.5 (/ 1 z))))) (* 0 (/ 0 (exp (- 7.5 (/ 1 z))))) (* 0 (/ 0 (exp (- 7.5 (/ 1 z))))))) into 0 20.378 * [backup-simplify]: Simplify (+ (* (/ (sqrt 2.0) (exp (- 7.5 (/ 1 z)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt PI)))))))) into 0 20.378 * [backup-simplify]: Simplify 0 into 0 20.379 * [backup-simplify]: Simplify (* (/ (sqrt 2.0) (exp (- 7.5 (/ 1 (/ 1 z))))) (sqrt PI)) into (* (/ (sqrt 2.0) (exp (- 7.5 z))) (sqrt PI)) 20.381 * [backup-simplify]: Simplify (/ (sqrt (* 2.0 PI)) (exp (+ (+ 7.0 0.5) (- (/ 1 (- z)))))) into (* (/ (sqrt 2.0) (exp (+ (/ 1 z) 7.5))) (sqrt PI)) 20.381 * [approximate]: Taking taylor expansion of (* (/ (sqrt 2.0) (exp (+ (/ 1 z) 7.5))) (sqrt PI)) in (z) around 0 20.381 * [taylor]: Taking taylor expansion of (* (/ (sqrt 2.0) (exp (+ (/ 1 z) 7.5))) (sqrt PI)) in z 20.381 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) (exp (+ (/ 1 z) 7.5))) in z 20.381 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z 20.381 * [taylor]: Taking taylor expansion of 2.0 in z 20.381 * [backup-simplify]: Simplify 2.0 into 2.0 20.381 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0) 20.382 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0 20.382 * [taylor]: Taking taylor expansion of (exp (+ (/ 1 z) 7.5)) in z 20.382 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 7.5) in z 20.382 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.382 * [taylor]: Taking taylor expansion of z in z 20.382 * [backup-simplify]: Simplify 0 into 0 20.382 * [backup-simplify]: Simplify 1 into 1 20.383 * [backup-simplify]: Simplify (/ 1 1) into 1 20.383 * [taylor]: Taking taylor expansion of 7.5 in z 20.383 * [backup-simplify]: Simplify 7.5 into 7.5 20.383 * [backup-simplify]: Simplify (+ 1 0) into 1 20.383 * [backup-simplify]: Simplify (exp (+ (/ 1 z) 7.5)) into (exp (+ (/ 1 z) 7.5)) 20.384 * [backup-simplify]: Simplify (/ (sqrt 2.0) (exp (+ (/ 1 z) 7.5))) into (/ (sqrt 2.0) (exp (+ (/ 1 z) 7.5))) 20.384 * [taylor]: Taking taylor expansion of (sqrt PI) in z 20.384 * [taylor]: Taking taylor expansion of PI in z 20.384 * [backup-simplify]: Simplify PI into PI 20.384 * [backup-simplify]: Simplify (sqrt PI) into (sqrt PI) 20.385 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt PI))) into 0 20.385 * [taylor]: Taking taylor expansion of (* (/ (sqrt 2.0) (exp (+ (/ 1 z) 7.5))) (sqrt PI)) in z 20.385 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) (exp (+ (/ 1 z) 7.5))) in z 20.385 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z 20.385 * [taylor]: Taking taylor expansion of 2.0 in z 20.385 * [backup-simplify]: Simplify 2.0 into 2.0 20.386 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0) 20.386 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0 20.386 * [taylor]: Taking taylor expansion of (exp (+ (/ 1 z) 7.5)) in z 20.386 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 7.5) in z 20.386 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.386 * [taylor]: Taking taylor expansion of z in z 20.387 * [backup-simplify]: Simplify 0 into 0 20.387 * [backup-simplify]: Simplify 1 into 1 20.387 * [backup-simplify]: Simplify (/ 1 1) into 1 20.387 * [taylor]: Taking taylor expansion of 7.5 in z 20.387 * [backup-simplify]: Simplify 7.5 into 7.5 20.387 * [backup-simplify]: Simplify (+ 1 0) into 1 20.388 * [backup-simplify]: Simplify (exp (+ (/ 1 z) 7.5)) into (exp (+ (/ 1 z) 7.5)) 20.388 * [backup-simplify]: Simplify (/ (sqrt 2.0) (exp (+ (/ 1 z) 7.5))) into (/ (sqrt 2.0) (exp (+ (/ 1 z) 7.5))) 20.388 * [taylor]: Taking taylor expansion of (sqrt PI) in z 20.388 * [taylor]: Taking taylor expansion of PI in z 20.388 * [backup-simplify]: Simplify PI into PI 20.389 * [backup-simplify]: Simplify (sqrt PI) into (sqrt PI) 20.389 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt PI))) into 0 20.390 * [backup-simplify]: Simplify (* (/ (sqrt 2.0) (exp (+ (/ 1 z) 7.5))) (sqrt PI)) into (* (/ (sqrt 2.0) (exp (+ (/ 1 z) 7.5))) (sqrt PI)) 20.391 * [backup-simplify]: Simplify (* (/ (sqrt 2.0) (exp (+ (/ 1 z) 7.5))) (sqrt PI)) into (* (/ (sqrt 2.0) (exp (+ (/ 1 z) 7.5))) (sqrt PI)) 20.392 * [backup-simplify]: Simplify (- (/ 0 (exp (+ (/ 1 z) 7.5))) (+ (* (/ (sqrt 2.0) (exp (+ (/ 1 z) 7.5))) (/ 0 (exp (+ (/ 1 z) 7.5)))))) into 0 20.393 * [backup-simplify]: Simplify (+ (* (/ (sqrt 2.0) (exp (+ (/ 1 z) 7.5))) 0) (* 0 (sqrt PI))) into 0 20.393 * [backup-simplify]: Simplify 0 into 0 20.394 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt PI))) into 0 20.395 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2.0))) into 0 20.396 * [backup-simplify]: Simplify (- (/ 0 (exp (+ (/ 1 z) 7.5))) (+ (* (/ (sqrt 2.0) (exp (+ (/ 1 z) 7.5))) (/ 0 (exp (+ (/ 1 z) 7.5)))) (* 0 (/ 0 (exp (+ (/ 1 z) 7.5)))))) into 0 20.398 * [backup-simplify]: Simplify (+ (* (/ (sqrt 2.0) (exp (+ (/ 1 z) 7.5))) 0) (+ (* 0 0) (* 0 (sqrt PI)))) into 0 20.398 * [backup-simplify]: Simplify 0 into 0 20.399 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt PI))) into 0 20.400 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0 20.401 * [backup-simplify]: Simplify (- (/ 0 (exp (+ (/ 1 z) 7.5))) (+ (* (/ (sqrt 2.0) (exp (+ (/ 1 z) 7.5))) (/ 0 (exp (+ (/ 1 z) 7.5)))) (* 0 (/ 0 (exp (+ (/ 1 z) 7.5)))) (* 0 (/ 0 (exp (+ (/ 1 z) 7.5)))))) into 0 20.403 * [backup-simplify]: Simplify (+ (* (/ (sqrt 2.0) (exp (+ (/ 1 z) 7.5))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt PI))))) into 0 20.403 * [backup-simplify]: Simplify 0 into 0 20.404 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt PI))) into 0 20.406 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0 20.407 * [backup-simplify]: Simplify (- (/ 0 (exp (+ (/ 1 z) 7.5))) (+ (* (/ (sqrt 2.0) (exp (+ (/ 1 z) 7.5))) (/ 0 (exp (+ (/ 1 z) 7.5)))) (* 0 (/ 0 (exp (+ (/ 1 z) 7.5)))) (* 0 (/ 0 (exp (+ (/ 1 z) 7.5)))) (* 0 (/ 0 (exp (+ (/ 1 z) 7.5)))))) into 0 20.409 * [backup-simplify]: Simplify (+ (* (/ (sqrt 2.0) (exp (+ (/ 1 z) 7.5))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt PI)))))) into 0 20.409 * [backup-simplify]: Simplify 0 into 0 20.410 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt PI))) into 0 20.411 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0 20.413 * [backup-simplify]: Simplify (- (/ 0 (exp (+ (/ 1 z) 7.5))) (+ (* (/ (sqrt 2.0) (exp (+ (/ 1 z) 7.5))) (/ 0 (exp (+ (/ 1 z) 7.5)))) (* 0 (/ 0 (exp (+ (/ 1 z) 7.5)))) (* 0 (/ 0 (exp (+ (/ 1 z) 7.5)))) (* 0 (/ 0 (exp (+ (/ 1 z) 7.5)))) (* 0 (/ 0 (exp (+ (/ 1 z) 7.5)))))) into 0 20.415 * [backup-simplify]: Simplify (+ (* (/ (sqrt 2.0) (exp (+ (/ 1 z) 7.5))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt PI))))))) into 0 20.415 * [backup-simplify]: Simplify 0 into 0 20.416 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt PI))) into 0 20.418 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0 20.419 * [backup-simplify]: Simplify (- (/ 0 (exp (+ (/ 1 z) 7.5))) (+ (* (/ (sqrt 2.0) (exp (+ (/ 1 z) 7.5))) (/ 0 (exp (+ (/ 1 z) 7.5)))) (* 0 (/ 0 (exp (+ (/ 1 z) 7.5)))) (* 0 (/ 0 (exp (+ (/ 1 z) 7.5)))) (* 0 (/ 0 (exp (+ (/ 1 z) 7.5)))) (* 0 (/ 0 (exp (+ (/ 1 z) 7.5)))) (* 0 (/ 0 (exp (+ (/ 1 z) 7.5)))))) into 0 20.421 * [backup-simplify]: Simplify (+ (* (/ (sqrt 2.0) (exp (+ (/ 1 z) 7.5))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt PI)))))))) into 0 20.421 * [backup-simplify]: Simplify 0 into 0 20.422 * [backup-simplify]: Simplify (* (/ (sqrt 2.0) (exp (+ (/ 1 (/ 1 (- z))) 7.5))) (sqrt PI)) into (* (/ (sqrt 2.0) (exp (- 7.5 z))) (sqrt PI)) 20.422 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 2) 20.423 * [backup-simplify]: Simplify (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) into (- (* 12.507343278686905 (/ 1 (- 5.0 z))) (* 0.13857109526572012 (/ 1 (- 6.0 z)))) 20.423 * [approximate]: Taking taylor expansion of (- (* 12.507343278686905 (/ 1 (- 5.0 z))) (* 0.13857109526572012 (/ 1 (- 6.0 z)))) in (z) around 0 20.423 * [taylor]: Taking taylor expansion of (- (* 12.507343278686905 (/ 1 (- 5.0 z))) (* 0.13857109526572012 (/ 1 (- 6.0 z)))) in z 20.423 * [taylor]: Taking taylor expansion of (* 12.507343278686905 (/ 1 (- 5.0 z))) in z 20.423 * [taylor]: Taking taylor expansion of 12.507343278686905 in z 20.423 * [backup-simplify]: Simplify 12.507343278686905 into 12.507343278686905 20.423 * [taylor]: Taking taylor expansion of (/ 1 (- 5.0 z)) in z 20.423 * [taylor]: Taking taylor expansion of (- 5.0 z) in z 20.423 * [taylor]: Taking taylor expansion of 5.0 in z 20.423 * [backup-simplify]: Simplify 5.0 into 5.0 20.423 * [taylor]: Taking taylor expansion of z in z 20.423 * [backup-simplify]: Simplify 0 into 0 20.423 * [backup-simplify]: Simplify 1 into 1 20.424 * [backup-simplify]: Simplify (- 0) into 0 20.424 * [backup-simplify]: Simplify (+ 5.0 0) into 5.0 20.425 * [backup-simplify]: Simplify (/ 1 5.0) into 0.2 20.425 * [taylor]: Taking taylor expansion of (* 0.13857109526572012 (/ 1 (- 6.0 z))) in z 20.425 * [taylor]: Taking taylor expansion of 0.13857109526572012 in z 20.425 * [backup-simplify]: Simplify 0.13857109526572012 into 0.13857109526572012 20.425 * [taylor]: Taking taylor expansion of (/ 1 (- 6.0 z)) in z 20.425 * [taylor]: Taking taylor expansion of (- 6.0 z) in z 20.425 * [taylor]: Taking taylor expansion of 6.0 in z 20.425 * [backup-simplify]: Simplify 6.0 into 6.0 20.425 * [taylor]: Taking taylor expansion of z in z 20.425 * [backup-simplify]: Simplify 0 into 0 20.425 * [backup-simplify]: Simplify 1 into 1 20.425 * [backup-simplify]: Simplify (- 0) into 0 20.426 * [backup-simplify]: Simplify (+ 6.0 0) into 6.0 20.426 * [backup-simplify]: Simplify (/ 1 6.0) into 0.16666666666666666 20.426 * [taylor]: Taking taylor expansion of (- (* 12.507343278686905 (/ 1 (- 5.0 z))) (* 0.13857109526572012 (/ 1 (- 6.0 z)))) in z 20.426 * [taylor]: Taking taylor expansion of (* 12.507343278686905 (/ 1 (- 5.0 z))) in z 20.426 * [taylor]: Taking taylor expansion of 12.507343278686905 in z 20.426 * [backup-simplify]: Simplify 12.507343278686905 into 12.507343278686905 20.426 * [taylor]: Taking taylor expansion of (/ 1 (- 5.0 z)) in z 20.426 * [taylor]: Taking taylor expansion of (- 5.0 z) in z 20.426 * [taylor]: Taking taylor expansion of 5.0 in z 20.426 * [backup-simplify]: Simplify 5.0 into 5.0 20.426 * [taylor]: Taking taylor expansion of z in z 20.426 * [backup-simplify]: Simplify 0 into 0 20.426 * [backup-simplify]: Simplify 1 into 1 20.427 * [backup-simplify]: Simplify (- 0) into 0 20.427 * [backup-simplify]: Simplify (+ 5.0 0) into 5.0 20.428 * [backup-simplify]: Simplify (/ 1 5.0) into 0.2 20.428 * [taylor]: Taking taylor expansion of (* 0.13857109526572012 (/ 1 (- 6.0 z))) in z 20.428 * [taylor]: Taking taylor expansion of 0.13857109526572012 in z 20.428 * [backup-simplify]: Simplify 0.13857109526572012 into 0.13857109526572012 20.428 * [taylor]: Taking taylor expansion of (/ 1 (- 6.0 z)) in z 20.428 * [taylor]: Taking taylor expansion of (- 6.0 z) in z 20.428 * [taylor]: Taking taylor expansion of 6.0 in z 20.428 * [backup-simplify]: Simplify 6.0 into 6.0 20.428 * [taylor]: Taking taylor expansion of z in z 20.428 * [backup-simplify]: Simplify 0 into 0 20.428 * [backup-simplify]: Simplify 1 into 1 20.429 * [backup-simplify]: Simplify (- 0) into 0 20.429 * [backup-simplify]: Simplify (+ 6.0 0) into 6.0 20.430 * [backup-simplify]: Simplify (/ 1 6.0) into 0.16666666666666666 20.430 * [backup-simplify]: Simplify (* 12.507343278686905 0.2) into 2.5014686557373813 20.430 * [backup-simplify]: Simplify (* 0.13857109526572012 0.16666666666666666) into 0.023095182544286684 20.431 * [backup-simplify]: Simplify (- 0.023095182544286684) into (- 0.023095182544286684) 20.432 * [backup-simplify]: Simplify (+ 2.5014686557373813 (- 0.023095182544286684)) into 2.4783734731930944 20.432 * [backup-simplify]: Simplify 2.4783734731930944 into 2.4783734731930944 20.432 * [backup-simplify]: Simplify (- 1) into -1 20.432 * [backup-simplify]: Simplify (+ 0 -1) into -1 20.435 * [backup-simplify]: Simplify (- (+ (* 0.2 (/ -1 5.0)))) into 0.04000000000000001 20.436 * [backup-simplify]: Simplify (+ (* 12.507343278686905 0.04000000000000001) (* 0 0.2)) into 0.5002937311474763 20.437 * [backup-simplify]: Simplify (- 1) into -1 20.437 * [backup-simplify]: Simplify (+ 0 -1) into -1 20.440 * [backup-simplify]: Simplify (- (+ (* 0.16666666666666666 (/ -1 6.0)))) into 0.027777777777777776 20.441 * [backup-simplify]: Simplify (+ (* 0.13857109526572012 0.027777777777777776) (* 0 0.16666666666666666)) into 0.0038491970907144476 20.442 * [backup-simplify]: Simplify (- 0.0038491970907144476) into (- 0.0038491970907144476) 20.442 * [backup-simplify]: Simplify (+ 0.5002937311474763 (- 0.0038491970907144476)) into 0.49644453405676187 20.442 * [backup-simplify]: Simplify 0.49644453405676187 into 0.49644453405676187 20.443 * [backup-simplify]: Simplify (- 0) into 0 20.443 * [backup-simplify]: Simplify (+ 0 0) into 0 20.447 * [backup-simplify]: Simplify (- (+ (* 0.2 (/ 0 5.0)) (* 0.04000000000000001 (/ -1 5.0)))) into 0.008000000000000002 20.449 * [backup-simplify]: Simplify (+ (* 12.507343278686905 0.008000000000000002) (+ (* 0 0.04000000000000001) (* 0 0.2))) into 0.10005874622949526 20.450 * [backup-simplify]: Simplify (- 0) into 0 20.450 * [backup-simplify]: Simplify (+ 0 0) into 0 20.454 * [backup-simplify]: Simplify (- (+ (* 0.16666666666666666 (/ 0 6.0)) (* 0.027777777777777776 (/ -1 6.0)))) into 0.004629629629629629 20.456 * [backup-simplify]: Simplify (+ (* 0.13857109526572012 0.004629629629629629) (+ (* 0 0.027777777777777776) (* 0 0.16666666666666666))) into 0.0006415328484524079 20.457 * [backup-simplify]: Simplify (- 0.0006415328484524079) into (- 0.0006415328484524079) 20.457 * [backup-simplify]: Simplify (+ 0.10005874622949526 (- 0.0006415328484524079)) into 0.09941721338104285 20.457 * [backup-simplify]: Simplify 0.09941721338104285 into 0.09941721338104285 20.458 * [backup-simplify]: Simplify (+ (* 0.09941721338104285 (pow z 2)) (+ (* 0.49644453405676187 z) 2.4783734731930944)) into (+ (* 0.49644453405676187 z) (+ (* 0.09941721338104285 (pow z 2)) 2.4783734731930944)) 20.458 * [backup-simplify]: Simplify (+ (/ 12.507343278686905 (+ 5.0 (- (/ 1 z)))) (/ -0.13857109526572012 (+ 6.0 (- (/ 1 z))))) into (- (* 12.507343278686905 (/ 1 (- 5.0 (/ 1 z)))) (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z))))) 20.458 * [approximate]: Taking taylor expansion of (- (* 12.507343278686905 (/ 1 (- 5.0 (/ 1 z)))) (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z))))) in (z) around 0 20.458 * [taylor]: Taking taylor expansion of (- (* 12.507343278686905 (/ 1 (- 5.0 (/ 1 z)))) (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z))))) in z 20.458 * [taylor]: Taking taylor expansion of (* 12.507343278686905 (/ 1 (- 5.0 (/ 1 z)))) in z 20.458 * [taylor]: Taking taylor expansion of 12.507343278686905 in z 20.458 * [backup-simplify]: Simplify 12.507343278686905 into 12.507343278686905 20.458 * [taylor]: Taking taylor expansion of (/ 1 (- 5.0 (/ 1 z))) in z 20.458 * [taylor]: Taking taylor expansion of (- 5.0 (/ 1 z)) in z 20.459 * [taylor]: Taking taylor expansion of 5.0 in z 20.459 * [backup-simplify]: Simplify 5.0 into 5.0 20.459 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.459 * [taylor]: Taking taylor expansion of z in z 20.459 * [backup-simplify]: Simplify 0 into 0 20.459 * [backup-simplify]: Simplify 1 into 1 20.459 * [backup-simplify]: Simplify (/ 1 1) into 1 20.459 * [backup-simplify]: Simplify (- 1) into -1 20.460 * [backup-simplify]: Simplify (+ 0 -1) into -1 20.460 * [backup-simplify]: Simplify (/ 1 -1) into -1 20.460 * [taylor]: Taking taylor expansion of (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z)))) in z 20.460 * [taylor]: Taking taylor expansion of 0.13857109526572012 in z 20.460 * [backup-simplify]: Simplify 0.13857109526572012 into 0.13857109526572012 20.460 * [taylor]: Taking taylor expansion of (/ 1 (- 6.0 (/ 1 z))) in z 20.460 * [taylor]: Taking taylor expansion of (- 6.0 (/ 1 z)) in z 20.461 * [taylor]: Taking taylor expansion of 6.0 in z 20.461 * [backup-simplify]: Simplify 6.0 into 6.0 20.461 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.461 * [taylor]: Taking taylor expansion of z in z 20.461 * [backup-simplify]: Simplify 0 into 0 20.461 * [backup-simplify]: Simplify 1 into 1 20.461 * [backup-simplify]: Simplify (/ 1 1) into 1 20.461 * [backup-simplify]: Simplify (- 1) into -1 20.462 * [backup-simplify]: Simplify (+ 0 -1) into -1 20.462 * [backup-simplify]: Simplify (/ 1 -1) into -1 20.462 * [taylor]: Taking taylor expansion of (- (* 12.507343278686905 (/ 1 (- 5.0 (/ 1 z)))) (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z))))) in z 20.462 * [taylor]: Taking taylor expansion of (* 12.507343278686905 (/ 1 (- 5.0 (/ 1 z)))) in z 20.462 * [taylor]: Taking taylor expansion of 12.507343278686905 in z 20.462 * [backup-simplify]: Simplify 12.507343278686905 into 12.507343278686905 20.462 * [taylor]: Taking taylor expansion of (/ 1 (- 5.0 (/ 1 z))) in z 20.462 * [taylor]: Taking taylor expansion of (- 5.0 (/ 1 z)) in z 20.462 * [taylor]: Taking taylor expansion of 5.0 in z 20.463 * [backup-simplify]: Simplify 5.0 into 5.0 20.463 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.463 * [taylor]: Taking taylor expansion of z in z 20.463 * [backup-simplify]: Simplify 0 into 0 20.463 * [backup-simplify]: Simplify 1 into 1 20.463 * [backup-simplify]: Simplify (/ 1 1) into 1 20.463 * [backup-simplify]: Simplify (- 1) into -1 20.464 * [backup-simplify]: Simplify (+ 0 -1) into -1 20.464 * [backup-simplify]: Simplify (/ 1 -1) into -1 20.464 * [taylor]: Taking taylor expansion of (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z)))) in z 20.464 * [taylor]: Taking taylor expansion of 0.13857109526572012 in z 20.464 * [backup-simplify]: Simplify 0.13857109526572012 into 0.13857109526572012 20.464 * [taylor]: Taking taylor expansion of (/ 1 (- 6.0 (/ 1 z))) in z 20.464 * [taylor]: Taking taylor expansion of (- 6.0 (/ 1 z)) in z 20.464 * [taylor]: Taking taylor expansion of 6.0 in z 20.464 * [backup-simplify]: Simplify 6.0 into 6.0 20.464 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.464 * [taylor]: Taking taylor expansion of z in z 20.465 * [backup-simplify]: Simplify 0 into 0 20.465 * [backup-simplify]: Simplify 1 into 1 20.465 * [backup-simplify]: Simplify (/ 1 1) into 1 20.465 * [backup-simplify]: Simplify (- 1) into -1 20.466 * [backup-simplify]: Simplify (+ 0 -1) into -1 20.466 * [backup-simplify]: Simplify (/ 1 -1) into -1 20.466 * [backup-simplify]: Simplify (* 12.507343278686905 -1) into -12.507343278686905 20.467 * [backup-simplify]: Simplify (* 0.13857109526572012 -1) into -0.13857109526572012 20.467 * [backup-simplify]: Simplify (- -0.13857109526572012) into 0.13857109526572012 20.468 * [backup-simplify]: Simplify (+ -12.507343278686905 0.13857109526572012) into (- 12.368772183421186) 20.468 * [backup-simplify]: Simplify (- 12.368772183421186) into (- 12.368772183421186) 20.469 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 20.469 * [backup-simplify]: Simplify (- 0) into 0 20.470 * [backup-simplify]: Simplify (+ 5.0 0) into 5.0 20.472 * [backup-simplify]: Simplify (- (+ (* -1 (/ 5.0 -1)))) into (- 5.0) 20.479 * [backup-simplify]: Simplify (+ (* 12.507343278686905 (- 5.0)) (* 0 -1)) into (- 62.536716393434524) 20.480 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 20.480 * [backup-simplify]: Simplify (- 0) into 0 20.481 * [backup-simplify]: Simplify (+ 6.0 0) into 6.0 20.483 * [backup-simplify]: Simplify (- (+ (* -1 (/ 6.0 -1)))) into (- 6.0) 20.485 * [backup-simplify]: Simplify (+ (* 0.13857109526572012 (- 6.0)) (* 0 -1)) into (- 0.8314265715943208) 20.486 * [backup-simplify]: Simplify (- (- 0.8314265715943208)) into 0.8314265715943208 20.487 * [backup-simplify]: Simplify (+ (- 62.536716393434524) 0.8314265715943208) into (- 61.7052898218402) 20.487 * [backup-simplify]: Simplify (- 61.7052898218402) into (- 61.7052898218402) 20.488 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.489 * [backup-simplify]: Simplify (- 0) into 0 20.489 * [backup-simplify]: Simplify (+ 0 0) into 0 20.493 * [backup-simplify]: Simplify (- (+ (* -1 (/ 0 -1)) (* (- 5.0) (/ 5.0 -1)))) into (- 25.0) 20.497 * [backup-simplify]: Simplify (+ (* 12.507343278686905 (- 25.0)) (+ (* 0 (- 5.0)) (* 0 -1))) into (- 312.68358196717264) 20.498 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.498 * [backup-simplify]: Simplify (- 0) into 0 20.498 * [backup-simplify]: Simplify (+ 0 0) into 0 20.503 * [backup-simplify]: Simplify (- (+ (* -1 (/ 0 -1)) (* (- 6.0) (/ 6.0 -1)))) into (- 36.0) 20.506 * [backup-simplify]: Simplify (+ (* 0.13857109526572012 (- 36.0)) (+ (* 0 (- 6.0)) (* 0 -1))) into (- 4.988559429565925) 20.507 * [backup-simplify]: Simplify (- (- 4.988559429565925)) into 4.988559429565925 20.508 * [backup-simplify]: Simplify (+ (- 312.68358196717264) 4.988559429565925) into (- 307.69502253760675) 20.508 * [backup-simplify]: Simplify (- 307.69502253760675) into (- 307.69502253760675) 20.510 * [backup-simplify]: Simplify (+ (* (- 307.69502253760675) (pow (/ 1 z) 3)) (+ (* (- 61.7052898218402) (pow (/ 1 z) 2)) (* (- 12.368772183421186) (/ 1 z)))) into (- (+ (* 307.69502253760675 (/ 1 (pow z 3))) (+ (* 12.368772183421186 (/ 1 z)) (* 61.7052898218402 (/ 1 (pow z 2)))))) 20.511 * [backup-simplify]: Simplify (+ (/ 12.507343278686905 (+ 5.0 (- (/ 1 (- z))))) (/ -0.13857109526572012 (+ 6.0 (- (/ 1 (- z)))))) into (- (* 12.507343278686905 (/ 1 (+ (/ 1 z) 5.0))) (* 0.13857109526572012 (/ 1 (+ (/ 1 z) 6.0)))) 20.511 * [approximate]: Taking taylor expansion of (- (* 12.507343278686905 (/ 1 (+ (/ 1 z) 5.0))) (* 0.13857109526572012 (/ 1 (+ (/ 1 z) 6.0)))) in (z) around 0 20.511 * [taylor]: Taking taylor expansion of (- (* 12.507343278686905 (/ 1 (+ (/ 1 z) 5.0))) (* 0.13857109526572012 (/ 1 (+ (/ 1 z) 6.0)))) in z 20.511 * [taylor]: Taking taylor expansion of (* 12.507343278686905 (/ 1 (+ (/ 1 z) 5.0))) in z 20.511 * [taylor]: Taking taylor expansion of 12.507343278686905 in z 20.511 * [backup-simplify]: Simplify 12.507343278686905 into 12.507343278686905 20.511 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 5.0)) in z 20.511 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 5.0) in z 20.511 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.511 * [taylor]: Taking taylor expansion of z in z 20.511 * [backup-simplify]: Simplify 0 into 0 20.511 * [backup-simplify]: Simplify 1 into 1 20.512 * [backup-simplify]: Simplify (/ 1 1) into 1 20.512 * [taylor]: Taking taylor expansion of 5.0 in z 20.512 * [backup-simplify]: Simplify 5.0 into 5.0 20.512 * [backup-simplify]: Simplify (+ 1 0) into 1 20.513 * [backup-simplify]: Simplify (/ 1 1) into 1 20.513 * [taylor]: Taking taylor expansion of (* 0.13857109526572012 (/ 1 (+ (/ 1 z) 6.0))) in z 20.513 * [taylor]: Taking taylor expansion of 0.13857109526572012 in z 20.513 * [backup-simplify]: Simplify 0.13857109526572012 into 0.13857109526572012 20.513 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 6.0)) in z 20.513 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.0) in z 20.513 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.513 * [taylor]: Taking taylor expansion of z in z 20.513 * [backup-simplify]: Simplify 0 into 0 20.513 * [backup-simplify]: Simplify 1 into 1 20.513 * [backup-simplify]: Simplify (/ 1 1) into 1 20.513 * [taylor]: Taking taylor expansion of 6.0 in z 20.513 * [backup-simplify]: Simplify 6.0 into 6.0 20.514 * [backup-simplify]: Simplify (+ 1 0) into 1 20.514 * [backup-simplify]: Simplify (/ 1 1) into 1 20.514 * [taylor]: Taking taylor expansion of (- (* 12.507343278686905 (/ 1 (+ (/ 1 z) 5.0))) (* 0.13857109526572012 (/ 1 (+ (/ 1 z) 6.0)))) in z 20.514 * [taylor]: Taking taylor expansion of (* 12.507343278686905 (/ 1 (+ (/ 1 z) 5.0))) in z 20.514 * [taylor]: Taking taylor expansion of 12.507343278686905 in z 20.514 * [backup-simplify]: Simplify 12.507343278686905 into 12.507343278686905 20.514 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 5.0)) in z 20.514 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 5.0) in z 20.514 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.514 * [taylor]: Taking taylor expansion of z in z 20.514 * [backup-simplify]: Simplify 0 into 0 20.514 * [backup-simplify]: Simplify 1 into 1 20.515 * [backup-simplify]: Simplify (/ 1 1) into 1 20.515 * [taylor]: Taking taylor expansion of 5.0 in z 20.515 * [backup-simplify]: Simplify 5.0 into 5.0 20.515 * [backup-simplify]: Simplify (+ 1 0) into 1 20.516 * [backup-simplify]: Simplify (/ 1 1) into 1 20.516 * [taylor]: Taking taylor expansion of (* 0.13857109526572012 (/ 1 (+ (/ 1 z) 6.0))) in z 20.516 * [taylor]: Taking taylor expansion of 0.13857109526572012 in z 20.516 * [backup-simplify]: Simplify 0.13857109526572012 into 0.13857109526572012 20.516 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 6.0)) in z 20.516 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.0) in z 20.516 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.516 * [taylor]: Taking taylor expansion of z in z 20.516 * [backup-simplify]: Simplify 0 into 0 20.516 * [backup-simplify]: Simplify 1 into 1 20.516 * [backup-simplify]: Simplify (/ 1 1) into 1 20.516 * [taylor]: Taking taylor expansion of 6.0 in z 20.517 * [backup-simplify]: Simplify 6.0 into 6.0 20.517 * [backup-simplify]: Simplify (+ 1 0) into 1 20.517 * [backup-simplify]: Simplify (/ 1 1) into 1 20.518 * [backup-simplify]: Simplify (* 12.507343278686905 1) into 12.507343278686905 20.518 * [backup-simplify]: Simplify (* 0.13857109526572012 1) into 0.13857109526572012 20.519 * [backup-simplify]: Simplify (- 0.13857109526572012) into (- 0.13857109526572012) 20.520 * [backup-simplify]: Simplify (+ 12.507343278686905 (- 0.13857109526572012)) into 12.368772183421186 20.520 * [backup-simplify]: Simplify 12.368772183421186 into 12.368772183421186 20.521 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 20.521 * [backup-simplify]: Simplify (+ 0 5.0) into 5.0 20.523 * [backup-simplify]: Simplify (- (+ (* 1 (/ 5.0 1)))) into (- 5.0) 20.525 * [backup-simplify]: Simplify (+ (* 12.507343278686905 (- 5.0)) (* 0 1)) into (- 62.536716393434524) 20.526 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 20.527 * [backup-simplify]: Simplify (+ 0 6.0) into 6.0 20.529 * [backup-simplify]: Simplify (- (+ (* 1 (/ 6.0 1)))) into (- 6.0) 20.531 * [backup-simplify]: Simplify (+ (* 0.13857109526572012 (- 6.0)) (* 0 1)) into (- 0.8314265715943208) 20.532 * [backup-simplify]: Simplify (- (- 0.8314265715943208)) into 0.8314265715943208 20.533 * [backup-simplify]: Simplify (+ (- 62.536716393434524) 0.8314265715943208) into (- 61.7052898218402) 20.534 * [backup-simplify]: Simplify (- 61.7052898218402) into (- 61.7052898218402) 20.534 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.535 * [backup-simplify]: Simplify (+ 0 0) into 0 20.540 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* (- 5.0) (/ 5.0 1)))) into 25.0 20.543 * [backup-simplify]: Simplify (+ (* 12.507343278686905 25.0) (+ (* 0 (- 5.0)) (* 0 1))) into 312.68358196717264 20.544 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.544 * [backup-simplify]: Simplify (+ 0 0) into 0 20.549 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* (- 6.0) (/ 6.0 1)))) into 36.0 20.552 * [backup-simplify]: Simplify (+ (* 0.13857109526572012 36.0) (+ (* 0 (- 6.0)) (* 0 1))) into 4.988559429565925 20.552 * [backup-simplify]: Simplify (- 4.988559429565925) into (- 4.988559429565925) 20.553 * [backup-simplify]: Simplify (+ 312.68358196717264 (- 4.988559429565925)) into 307.69502253760675 20.553 * [backup-simplify]: Simplify 307.69502253760675 into 307.69502253760675 20.554 * [backup-simplify]: Simplify (+ (* 307.69502253760675 (pow (/ 1 (- z)) 3)) (+ (* (- 61.7052898218402) (pow (/ 1 (- z)) 2)) (* 12.368772183421186 (/ 1 (- z))))) into (- (+ (* 307.69502253760675 (/ 1 (pow z 3))) (+ (* 12.368772183421186 (/ 1 z)) (* 61.7052898218402 (/ 1 (pow z 2)))))) 20.554 * * * [progress]: simplifying candidates 20.565 * [simplify]: Simplifying: (log (sqrt (* 2.0 PI))) (exp (sqrt (* 2.0 PI))) (* (cbrt (sqrt (* 2.0 PI))) (cbrt (sqrt (* 2.0 PI)))) (cbrt (sqrt (* 2.0 PI))) (* (* (sqrt (* 2.0 PI)) (sqrt (* 2.0 PI))) (sqrt (* 2.0 PI))) (sqrt 2.0) (sqrt PI) (/ 1 2) (/ 1 2) (sqrt (sqrt (* 2.0 PI))) (sqrt (sqrt (* 2.0 PI))) (* (* (exp 0.9999999999998099) (exp (/ 676.5203681218851 (- 1.0 z)))) (* (* (exp (/ -1259.1392167224028 (+ (- z) 2.0))) (exp (/ 771.3234287776531 (+ 3.0 (- z))))) (* (exp (/ 12.507343278686905 (+ 5.0 (- z)))) (exp (/ -0.13857109526572012 (+ 6.0 (- z))))))) (* (* (exp 0.9999999999998099) (exp (/ 676.5203681218851 (- 1.0 z)))) (* (* (exp (/ -1259.1392167224028 (+ (- z) 2.0))) (exp (/ 771.3234287776531 (+ 3.0 (- z))))) (exp (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))))) (* (* (exp 0.9999999999998099) (exp (/ 676.5203681218851 (- 1.0 z)))) (* (exp (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z))))) (* (exp (/ 12.507343278686905 (+ 5.0 (- z)))) (exp (/ -0.13857109526572012 (+ 6.0 (- z))))))) (* (* (exp 0.9999999999998099) (exp (/ 676.5203681218851 (- 1.0 z)))) (* (exp (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z))))) (exp (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))))) (* (* (exp 0.9999999999998099) (exp (/ 676.5203681218851 (- 1.0 z)))) (exp (+ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))))) (* (exp (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (* (* (exp (/ -1259.1392167224028 (+ (- z) 2.0))) (exp (/ 771.3234287776531 (+ 3.0 (- z))))) (* (exp (/ 12.507343278686905 (+ 5.0 (- z)))) (exp (/ -0.13857109526572012 (+ 6.0 (- z))))))) (* (exp (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (* (* (exp (/ -1259.1392167224028 (+ (- z) 2.0))) (exp (/ 771.3234287776531 (+ 3.0 (- z))))) (exp (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))))) (* (exp (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (* (exp (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z))))) (* (exp (/ 12.507343278686905 (+ 5.0 (- z)))) (exp (/ -0.13857109526572012 (+ 6.0 (- z))))))) (* (exp (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (* (exp (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z))))) (exp (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))))) (* (exp (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (exp (+ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))))) (log (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))))) (exp (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))))) (* (cbrt (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))))) (cbrt (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))))) (cbrt (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))))) (* (* (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))))) (sqrt (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))))) (sqrt (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))))) (+ (* (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1.0 z)) 3)) (* (* (+ (- z) 2.0) (+ 3.0 (- z))) (* (+ 5.0 (- z)) (+ 6.0 (- z))))) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (+ (* (+ (* -1259.1392167224028 (+ 3.0 (- z))) (* (+ (- z) 2.0) 771.3234287776531)) (* (+ 5.0 (- z)) (+ 6.0 (- z)))) (* (* (+ (- z) 2.0) (+ 3.0 (- z))) (+ (* 12.507343278686905 (+ 6.0 (- z))) (* (+ 5.0 (- z)) -0.13857109526572012)))))) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (* (* (+ (- z) 2.0) (+ 3.0 (- z))) (* (+ 5.0 (- z)) (+ 6.0 (- z))))) (+ (* (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1.0 z)) 3)) (* (* (+ (- z) 2.0) (+ 3.0 (- z))) (+ (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ 12.507343278686905 (+ 5.0 (- z)))) (- (* (/ -0.13857109526572012 (+ 6.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))))) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (+ (* (+ (* -1259.1392167224028 (+ 3.0 (- z))) (* (+ (- z) 2.0) 771.3234287776531)) (+ (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ 12.507343278686905 (+ 5.0 (- z)))) (- (* (/ -0.13857109526572012 (+ 6.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))))) (* (* (+ (- z) 2.0) (+ 3.0 (- z))) (+ (pow (/ 12.507343278686905 (+ 5.0 (- z))) 3) (pow (/ -0.13857109526572012 (+ 6.0 (- z))) 3)))))) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (* (* (+ (- z) 2.0) (+ 3.0 (- z))) (+ (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ 12.507343278686905 (+ 5.0 (- z)))) (- (* (/ -0.13857109526572012 (+ 6.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))))) (+ (* (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1.0 z)) 3)) (* (* (+ (- z) 2.0) (+ 3.0 (- z))) (- (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (+ (* (+ (* -1259.1392167224028 (+ 3.0 (- z))) (* (+ (- z) 2.0) 771.3234287776531)) (- (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))) (* (* (+ (- z) 2.0) (+ 3.0 (- z))) (- (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ 12.507343278686905 (+ 5.0 (- z)))) (* (/ -0.13857109526572012 (+ 6.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))))))) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (* (* (+ (- z) 2.0) (+ 3.0 (- z))) (- (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))) (+ (* (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1.0 z)) 3)) (* (+ (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ -1259.1392167224028 (+ (- z) 2.0))) (- (* (/ 771.3234287776531 (+ 3.0 (- z))) (/ 771.3234287776531 (+ 3.0 (- z)))) (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))))) (* (+ 5.0 (- z)) (+ 6.0 (- z))))) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (+ (* (+ (pow (/ -1259.1392167224028 (+ (- z) 2.0)) 3) (pow (/ 771.3234287776531 (+ 3.0 (- z))) 3)) (* (+ 5.0 (- z)) (+ 6.0 (- z)))) (* (+ (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ -1259.1392167224028 (+ (- z) 2.0))) (- (* (/ 771.3234287776531 (+ 3.0 (- z))) (/ 771.3234287776531 (+ 3.0 (- z)))) (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))))) (+ (* 12.507343278686905 (+ 6.0 (- z))) (* (+ 5.0 (- z)) -0.13857109526572012)))))) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (* (+ (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ -1259.1392167224028 (+ (- z) 2.0))) (- (* (/ 771.3234287776531 (+ 3.0 (- z))) (/ 771.3234287776531 (+ 3.0 (- z)))) (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))))) (* (+ 5.0 (- z)) (+ 6.0 (- z))))) (+ (* (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1.0 z)) 3)) (* (+ (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ -1259.1392167224028 (+ (- z) 2.0))) (- (* (/ 771.3234287776531 (+ 3.0 (- z))) (/ 771.3234287776531 (+ 3.0 (- z)))) (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))))) (+ (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ 12.507343278686905 (+ 5.0 (- z)))) (- (* (/ -0.13857109526572012 (+ 6.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))))) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (+ (* (+ (pow (/ -1259.1392167224028 (+ (- z) 2.0)) 3) (pow (/ 771.3234287776531 (+ 3.0 (- z))) 3)) (+ (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ 12.507343278686905 (+ 5.0 (- z)))) (- (* (/ -0.13857109526572012 (+ 6.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))))) (* (+ (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ -1259.1392167224028 (+ (- z) 2.0))) (- (* (/ 771.3234287776531 (+ 3.0 (- z))) (/ 771.3234287776531 (+ 3.0 (- z)))) (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))))) (+ (pow (/ 12.507343278686905 (+ 5.0 (- z))) 3) (pow (/ -0.13857109526572012 (+ 6.0 (- z))) 3)))))) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (* (+ (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ -1259.1392167224028 (+ (- z) 2.0))) (- (* (/ 771.3234287776531 (+ 3.0 (- z))) (/ 771.3234287776531 (+ 3.0 (- z)))) (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))))) (+ (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ 12.507343278686905 (+ 5.0 (- z)))) (- (* (/ -0.13857109526572012 (+ 6.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))))) (+ (* (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1.0 z)) 3)) (* (+ (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ -1259.1392167224028 (+ (- z) 2.0))) (- (* (/ 771.3234287776531 (+ 3.0 (- z))) (/ 771.3234287776531 (+ 3.0 (- z)))) (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))))) (- (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (+ (* (+ (pow (/ -1259.1392167224028 (+ (- z) 2.0)) 3) (pow (/ 771.3234287776531 (+ 3.0 (- z))) 3)) (- (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))) (* (+ (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ -1259.1392167224028 (+ (- z) 2.0))) (- (* (/ 771.3234287776531 (+ 3.0 (- z))) (/ 771.3234287776531 (+ 3.0 (- z)))) (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))))) (- (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ 12.507343278686905 (+ 5.0 (- z)))) (* (/ -0.13857109526572012 (+ 6.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))))))) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (* (+ (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ -1259.1392167224028 (+ (- z) 2.0))) (- (* (/ 771.3234287776531 (+ 3.0 (- z))) (/ 771.3234287776531 (+ 3.0 (- z)))) (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))))) (- (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))) (+ (* (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1.0 z)) 3)) (* (- (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (* (+ 5.0 (- z)) (+ 6.0 (- z))))) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (+ (* (- (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ -1259.1392167224028 (+ (- z) 2.0))) (* (/ 771.3234287776531 (+ 3.0 (- z))) (/ 771.3234287776531 (+ 3.0 (- z))))) (* (+ 5.0 (- z)) (+ 6.0 (- z)))) (* (- (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (* 12.507343278686905 (+ 6.0 (- z))) (* (+ 5.0 (- z)) -0.13857109526572012)))))) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (* (- (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (* (+ 5.0 (- z)) (+ 6.0 (- z))))) (+ (* (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1.0 z)) 3)) (* (- (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ 12.507343278686905 (+ 5.0 (- z)))) (- (* (/ -0.13857109526572012 (+ 6.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))))) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (+ (* (- (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ -1259.1392167224028 (+ (- z) 2.0))) (* (/ 771.3234287776531 (+ 3.0 (- z))) (/ 771.3234287776531 (+ 3.0 (- z))))) (+ (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ 12.507343278686905 (+ 5.0 (- z)))) (- (* (/ -0.13857109526572012 (+ 6.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))))) (* (- (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (pow (/ 12.507343278686905 (+ 5.0 (- z))) 3) (pow (/ -0.13857109526572012 (+ 6.0 (- z))) 3)))))) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (* (- (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ 12.507343278686905 (+ 5.0 (- z)))) (- (* (/ -0.13857109526572012 (+ 6.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))))) (+ (* (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1.0 z)) 3)) (* (- (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (- (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (+ (* (- (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ -1259.1392167224028 (+ (- z) 2.0))) (* (/ 771.3234287776531 (+ 3.0 (- z))) (/ 771.3234287776531 (+ 3.0 (- z))))) (- (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))) (* (- (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (- (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ 12.507343278686905 (+ 5.0 (- z)))) (* (/ -0.13857109526572012 (+ 6.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))))))) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (* (- (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (- (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))) (+ (* (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1.0 z)) 3)) (+ (* (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z))))) (- (* (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))) (* (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))))) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (+ (pow (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) 3) (pow (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) 3)))) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (+ (* (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z))))) (- (* (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))) (* (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))))) (+ (* (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1.0 z)) 3)) (- (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (- (* (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z))))) (* (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))))) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (- (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))) (+ (* (- (* 0.9999999999998099 0.9999999999998099) (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z)))) (* (* (+ (- z) 2.0) (+ 3.0 (- z))) (* (+ 5.0 (- z)) (+ 6.0 (- z))))) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (* (+ (* -1259.1392167224028 (+ 3.0 (- z))) (* (+ (- z) 2.0) 771.3234287776531)) (* (+ 5.0 (- z)) (+ 6.0 (- z)))) (* (* (+ (- z) 2.0) (+ 3.0 (- z))) (+ (* 12.507343278686905 (+ 6.0 (- z))) (* (+ 5.0 (- z)) -0.13857109526572012)))))) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (* (* (+ (- z) 2.0) (+ 3.0 (- z))) (* (+ 5.0 (- z)) (+ 6.0 (- z))))) (+ (* (- (* 0.9999999999998099 0.9999999999998099) (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z)))) (* (* (+ (- z) 2.0) (+ 3.0 (- z))) (+ (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ 12.507343278686905 (+ 5.0 (- z)))) (- (* (/ -0.13857109526572012 (+ 6.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))))) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (* (+ (* -1259.1392167224028 (+ 3.0 (- z))) (* (+ (- z) 2.0) 771.3234287776531)) (+ (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ 12.507343278686905 (+ 5.0 (- z)))) (- (* (/ -0.13857109526572012 (+ 6.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))))) (* (* (+ (- z) 2.0) (+ 3.0 (- z))) (+ (pow (/ 12.507343278686905 (+ 5.0 (- z))) 3) (pow (/ -0.13857109526572012 (+ 6.0 (- z))) 3)))))) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (* (* (+ (- z) 2.0) (+ 3.0 (- z))) (+ (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ 12.507343278686905 (+ 5.0 (- z)))) (- (* (/ -0.13857109526572012 (+ 6.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))))) (+ (* (- (* 0.9999999999998099 0.9999999999998099) (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z)))) (* (* (+ (- z) 2.0) (+ 3.0 (- z))) (- (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (* (+ (* -1259.1392167224028 (+ 3.0 (- z))) (* (+ (- z) 2.0) 771.3234287776531)) (- (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))) (* (* (+ (- z) 2.0) (+ 3.0 (- z))) (- (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ 12.507343278686905 (+ 5.0 (- z)))) (* (/ -0.13857109526572012 (+ 6.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))))))) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (* (* (+ (- z) 2.0) (+ 3.0 (- z))) (- (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))) (+ (* (- (* 0.9999999999998099 0.9999999999998099) (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z)))) (* (+ (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ -1259.1392167224028 (+ (- z) 2.0))) (- (* (/ 771.3234287776531 (+ 3.0 (- z))) (/ 771.3234287776531 (+ 3.0 (- z)))) (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))))) (* (+ 5.0 (- z)) (+ 6.0 (- z))))) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (* (+ (pow (/ -1259.1392167224028 (+ (- z) 2.0)) 3) (pow (/ 771.3234287776531 (+ 3.0 (- z))) 3)) (* (+ 5.0 (- z)) (+ 6.0 (- z)))) (* (+ (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ -1259.1392167224028 (+ (- z) 2.0))) (- (* (/ 771.3234287776531 (+ 3.0 (- z))) (/ 771.3234287776531 (+ 3.0 (- z)))) (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))))) (+ (* 12.507343278686905 (+ 6.0 (- z))) (* (+ 5.0 (- z)) -0.13857109526572012)))))) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (* (+ (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ -1259.1392167224028 (+ (- z) 2.0))) (- (* (/ 771.3234287776531 (+ 3.0 (- z))) (/ 771.3234287776531 (+ 3.0 (- z)))) (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))))) (* (+ 5.0 (- z)) (+ 6.0 (- z))))) (+ (* (- (* 0.9999999999998099 0.9999999999998099) (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z)))) (* (+ (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ -1259.1392167224028 (+ (- z) 2.0))) (- (* (/ 771.3234287776531 (+ 3.0 (- z))) (/ 771.3234287776531 (+ 3.0 (- z)))) (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))))) (+ (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ 12.507343278686905 (+ 5.0 (- z)))) (- (* (/ -0.13857109526572012 (+ 6.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))))) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (* (+ (pow (/ -1259.1392167224028 (+ (- z) 2.0)) 3) (pow (/ 771.3234287776531 (+ 3.0 (- z))) 3)) (+ (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ 12.507343278686905 (+ 5.0 (- z)))) (- (* (/ -0.13857109526572012 (+ 6.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))))) (* (+ (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ -1259.1392167224028 (+ (- z) 2.0))) (- (* (/ 771.3234287776531 (+ 3.0 (- z))) (/ 771.3234287776531 (+ 3.0 (- z)))) (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))))) (+ (pow (/ 12.507343278686905 (+ 5.0 (- z))) 3) (pow (/ -0.13857109526572012 (+ 6.0 (- z))) 3)))))) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (* (+ (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ -1259.1392167224028 (+ (- z) 2.0))) (- (* (/ 771.3234287776531 (+ 3.0 (- z))) (/ 771.3234287776531 (+ 3.0 (- z)))) (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))))) (+ (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ 12.507343278686905 (+ 5.0 (- z)))) (- (* (/ -0.13857109526572012 (+ 6.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))))) (+ (* (- (* 0.9999999999998099 0.9999999999998099) (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z)))) (* (+ (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ -1259.1392167224028 (+ (- z) 2.0))) (- (* (/ 771.3234287776531 (+ 3.0 (- z))) (/ 771.3234287776531 (+ 3.0 (- z)))) (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))))) (- (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (* (+ (pow (/ -1259.1392167224028 (+ (- z) 2.0)) 3) (pow (/ 771.3234287776531 (+ 3.0 (- z))) 3)) (- (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))) (* (+ (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ -1259.1392167224028 (+ (- z) 2.0))) (- (* (/ 771.3234287776531 (+ 3.0 (- z))) (/ 771.3234287776531 (+ 3.0 (- z)))) (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))))) (- (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ 12.507343278686905 (+ 5.0 (- z)))) (* (/ -0.13857109526572012 (+ 6.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))))))) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (* (+ (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ -1259.1392167224028 (+ (- z) 2.0))) (- (* (/ 771.3234287776531 (+ 3.0 (- z))) (/ 771.3234287776531 (+ 3.0 (- z)))) (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))))) (- (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))) (+ (* (- (* 0.9999999999998099 0.9999999999998099) (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z)))) (* (- (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (* (+ 5.0 (- z)) (+ 6.0 (- z))))) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (* (- (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ -1259.1392167224028 (+ (- z) 2.0))) (* (/ 771.3234287776531 (+ 3.0 (- z))) (/ 771.3234287776531 (+ 3.0 (- z))))) (* (+ 5.0 (- z)) (+ 6.0 (- z)))) (* (- (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (* 12.507343278686905 (+ 6.0 (- z))) (* (+ 5.0 (- z)) -0.13857109526572012)))))) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (* (- (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (* (+ 5.0 (- z)) (+ 6.0 (- z))))) (+ (* (- (* 0.9999999999998099 0.9999999999998099) (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z)))) (* (- (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ 12.507343278686905 (+ 5.0 (- z)))) (- (* (/ -0.13857109526572012 (+ 6.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))))) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (* (- (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ -1259.1392167224028 (+ (- z) 2.0))) (* (/ 771.3234287776531 (+ 3.0 (- z))) (/ 771.3234287776531 (+ 3.0 (- z))))) (+ (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ 12.507343278686905 (+ 5.0 (- z)))) (- (* (/ -0.13857109526572012 (+ 6.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))))) (* (- (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (pow (/ 12.507343278686905 (+ 5.0 (- z))) 3) (pow (/ -0.13857109526572012 (+ 6.0 (- z))) 3)))))) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (* (- (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ 12.507343278686905 (+ 5.0 (- z)))) (- (* (/ -0.13857109526572012 (+ 6.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))))) (+ (* (- (* 0.9999999999998099 0.9999999999998099) (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z)))) (* (- (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (- (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (* (- (* (/ -1259.1392167224028 (+ (- z) 2.0)) (/ -1259.1392167224028 (+ (- z) 2.0))) (* (/ 771.3234287776531 (+ 3.0 (- z))) (/ 771.3234287776531 (+ 3.0 (- z))))) (- (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))) (* (- (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (- (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ 12.507343278686905 (+ 5.0 (- z)))) (* (/ -0.13857109526572012 (+ 6.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))))))) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (* (- (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (- (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))) (+ (* (- (* 0.9999999999998099 0.9999999999998099) (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z)))) (+ (* (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z))))) (- (* (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))) (* (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))))) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (pow (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) 3) (pow (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) 3)))) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (* (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z))))) (- (* (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))) (* (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))))) (+ (* (- (* 0.9999999999998099 0.9999999999998099) (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z)))) (- (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (- (* (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z))))) (* (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))))) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (- (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))) (+ (pow (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) 3) (pow (+ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))) 3)) (+ (* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (- (* (+ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))) (+ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))) (* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))))) (- (* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (* (+ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))) (+ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))))) (- (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z))))) (+ (/ 676.5203681218851 (- 1.0 z)) (+ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))) (- (log (sqrt (* 2.0 PI))) (+ (+ 7.0 0.5) (- z))) (log (/ (sqrt (* 2.0 PI)) (exp (+ (+ 7.0 0.5) (- z))))) (exp (/ (sqrt (* 2.0 PI)) (exp (+ (+ 7.0 0.5) (- z))))) (/ (* (* (sqrt (* 2.0 PI)) (sqrt (* 2.0 PI))) (sqrt (* 2.0 PI))) (* (* (exp (+ (+ 7.0 0.5) (- z))) (exp (+ (+ 7.0 0.5) (- z)))) (exp (+ (+ 7.0 0.5) (- z))))) (* (cbrt (/ (sqrt (* 2.0 PI)) (exp (+ (+ 7.0 0.5) (- z))))) (cbrt (/ (sqrt (* 2.0 PI)) (exp (+ (+ 7.0 0.5) (- z)))))) (cbrt (/ (sqrt (* 2.0 PI)) (exp (+ (+ 7.0 0.5) (- z))))) (* (* (/ (sqrt (* 2.0 PI)) (exp (+ (+ 7.0 0.5) (- z)))) (/ (sqrt (* 2.0 PI)) (exp (+ (+ 7.0 0.5) (- z))))) (/ (sqrt (* 2.0 PI)) (exp (+ (+ 7.0 0.5) (- z))))) (sqrt (/ (sqrt (* 2.0 PI)) (exp (+ (+ 7.0 0.5) (- z))))) (sqrt (/ (sqrt (* 2.0 PI)) (exp (+ (+ 7.0 0.5) (- z))))) (- (sqrt (* 2.0 PI))) (- (exp (+ (+ 7.0 0.5) (- z)))) (/ (* (cbrt (sqrt (* 2.0 PI))) (cbrt (sqrt (* 2.0 PI)))) (exp (+ 7.0 0.5))) (/ (cbrt (sqrt (* 2.0 PI))) (exp (- z))) (/ (* (cbrt (sqrt (* 2.0 PI))) (cbrt (sqrt (* 2.0 PI)))) (* (cbrt (exp (+ (+ 7.0 0.5) (- z)))) (cbrt (exp (+ (+ 7.0 0.5) (- z)))))) (/ (cbrt (sqrt (* 2.0 PI))) (cbrt (exp (+ (+ 7.0 0.5) (- z))))) (/ (* (cbrt (sqrt (* 2.0 PI))) (cbrt (sqrt (* 2.0 PI)))) (sqrt (exp (+ (+ 7.0 0.5) (- z))))) (/ (cbrt (sqrt (* 2.0 PI))) (sqrt (exp (+ (+ 7.0 0.5) (- z))))) (/ (* (cbrt (sqrt (* 2.0 PI))) (cbrt (sqrt (* 2.0 PI)))) 1) (/ (cbrt (sqrt (* 2.0 PI))) (exp (+ (+ 7.0 0.5) (- z)))) (/ (sqrt 2.0) (exp (+ 7.0 0.5))) (/ (sqrt PI) (exp (- z))) (/ (sqrt 2.0) (* (cbrt (exp (+ (+ 7.0 0.5) (- z)))) (cbrt (exp (+ (+ 7.0 0.5) (- z)))))) (/ (sqrt PI) (cbrt (exp (+ (+ 7.0 0.5) (- z))))) (/ (sqrt 2.0) (sqrt (exp (+ (+ 7.0 0.5) (- z))))) (/ (sqrt PI) (sqrt (exp (+ (+ 7.0 0.5) (- z))))) (/ (sqrt 2.0) 1) (/ (sqrt PI) (exp (+ (+ 7.0 0.5) (- z)))) (/ (sqrt (sqrt (* 2.0 PI))) (exp (+ 7.0 0.5))) (/ (sqrt (sqrt (* 2.0 PI))) (exp (- z))) (/ (sqrt (sqrt (* 2.0 PI))) (* (cbrt (exp (+ (+ 7.0 0.5) (- z)))) (cbrt (exp (+ (+ 7.0 0.5) (- z)))))) (/ (sqrt (sqrt (* 2.0 PI))) (cbrt (exp (+ (+ 7.0 0.5) (- z))))) (/ (sqrt (sqrt (* 2.0 PI))) (sqrt (exp (+ (+ 7.0 0.5) (- z))))) (/ (sqrt (sqrt (* 2.0 PI))) (sqrt (exp (+ (+ 7.0 0.5) (- z))))) (/ (sqrt (sqrt (* 2.0 PI))) 1) (/ (sqrt (sqrt (* 2.0 PI))) (exp (+ (+ 7.0 0.5) (- z)))) (/ 1 (exp (+ 7.0 0.5))) (/ (sqrt (* 2.0 PI)) (exp (- z))) (/ 1 (* (cbrt (exp (+ (+ 7.0 0.5) (- z)))) (cbrt (exp (+ (+ 7.0 0.5) (- z)))))) (/ (sqrt (* 2.0 PI)) (cbrt (exp (+ (+ 7.0 0.5) (- z))))) (/ 1 (sqrt (exp (+ (+ 7.0 0.5) (- z))))) (/ (sqrt (* 2.0 PI)) (sqrt (exp (+ (+ 7.0 0.5) (- z))))) (/ 1 1) (/ (sqrt (* 2.0 PI)) (exp (+ (+ 7.0 0.5) (- z)))) (/ 1 (exp (+ (+ 7.0 0.5) (- z)))) (/ (exp (+ (+ 7.0 0.5) (- z))) (sqrt (* 2.0 PI))) (/ (sqrt (* 2.0 PI)) (exp (+ 7.0 0.5))) (/ (sqrt (* 2.0 PI)) (* (cbrt (exp (+ (+ 7.0 0.5) (- z)))) (cbrt (exp (+ (+ 7.0 0.5) (- z)))))) (/ (sqrt (* 2.0 PI)) (sqrt (exp (+ (+ 7.0 0.5) (- z))))) (/ (sqrt (* 2.0 PI)) 1) (/ (exp (+ (+ 7.0 0.5) (- z))) (cbrt (sqrt (* 2.0 PI)))) (/ (exp (+ (+ 7.0 0.5) (- z))) (sqrt PI)) (/ (exp (+ (+ 7.0 0.5) (- z))) (sqrt (sqrt (* 2.0 PI)))) (/ (exp (+ (+ 7.0 0.5) (- z))) (sqrt (* 2.0 PI))) (/ (sqrt (* 2.0 PI)) (exp (+ 7.0 0.5))) (/ (sqrt (* 2.0 PI)) (exp (+ (+ 7.0 0.5) 0))) (/ (sqrt (* 2.0 PI)) (exp (+ 7.0 0.5))) (* (exp (/ 12.507343278686905 (+ 5.0 (- z)))) (exp (/ -0.13857109526572012 (+ 6.0 (- z))))) (log (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))) (exp (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))) (* (cbrt (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))) (cbrt (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))) (cbrt (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))) (* (* (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))) (sqrt (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))) (sqrt (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))) (+ (* 12.507343278686905 (+ 6.0 (- z))) (* (+ 5.0 (- z)) -0.13857109526572012)) (* (+ 5.0 (- z)) (+ 6.0 (- z))) (+ (pow (/ 12.507343278686905 (+ 5.0 (- z))) 3) (pow (/ -0.13857109526572012 (+ 6.0 (- z))) 3)) (+ (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ 12.507343278686905 (+ 5.0 (- z)))) (- (* (/ -0.13857109526572012 (+ 6.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))) (- (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ 12.507343278686905 (+ 5.0 (- z)))) (* (/ -0.13857109526572012 (+ 6.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))) (- (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (* (+ (+ (/ 1.5056327351493116e-07 (+ (- z) 8.0)) (/ 9.984369578019572e-06 (+ (- z) 7.0))) (+ (/ -176.6150291621406 (+ 4.0 (- z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))))) (* (/ (sqrt (* 2.0 PI)) (exp (+ (+ 7.0 0.5) (- z)))) (* (pow (+ (+ 7.0 0.5) (- z)) (+ (- z) 0.5)) (/ PI (sin (* z PI)))))) (+ (* 447.9346116728582 z) (+ (* 547.7949176441382 (pow z 2)) 307.53694282642766)) (- 0.9999999999998099 (+ (* 201.07335236055678 (/ 1 z)) (* 533.9175108318791 (/ 1 (pow z 2))))) (- 0.9999999999998099 (+ (* 201.07335236055656 (/ 1 z)) (* 533.9175108318791 (/ 1 (pow z 2))))) (+ (* (/ (sqrt 2.0) (exp 7.5)) (sqrt PI)) (+ (* (/ (* (sqrt 2.0) z) (exp 7.5)) (sqrt PI)) (* 1/2 (* (/ (* (sqrt 2.0) (pow z 2)) (exp 7.5)) (sqrt PI))))) (* (/ (sqrt 2.0) (exp (- 7.5 z))) (sqrt PI)) (* (/ (sqrt 2.0) (exp (- 7.5 z))) (sqrt PI)) (+ (* 0.49644453405676187 z) (+ (* 0.09941721338104285 (pow z 2)) 2.4783734731930944)) (- (+ (* 307.69502253760675 (/ 1 (pow z 3))) (+ (* 12.368772183421186 (/ 1 z)) (* 61.7052898218402 (/ 1 (pow z 2)))))) (- (+ (* 307.69502253760675 (/ 1 (pow z 3))) (+ (* 12.368772183421186 (/ 1 z)) (* 61.7052898218402 (/ 1 (pow z 2)))))) 20.585 * * [simplify]: iteration 0: 411 enodes 20.871 * * [simplify]: iteration 1: 1288 enodes 21.641 * * [simplify]: iteration complete: 5001 enodes 21.642 * * [simplify]: Extracting #0: cost 131 inf + 0 21.644 * * [simplify]: Extracting #1: cost 789 inf + 2 21.653 * * [simplify]: Extracting #2: cost 1926 inf + 233 21.668 * * [simplify]: Extracting #3: cost 2406 inf + 4504 21.697 * * [simplify]: Extracting #4: cost 2485 inf + 25529 21.754 * * [simplify]: Extracting #5: cost 2059 inf + 157595 21.957 * * [simplify]: Extracting #6: cost 1107 inf + 674048 22.406 * * [simplify]: Extracting #7: cost 213 inf + 1285430 22.972 * * [simplify]: Extracting #8: cost 11 inf + 1448448 23.551 * * [simplify]: Extracting #9: cost 4 inf + 1451509 24.135 * * [simplify]: Extracting #10: cost 0 inf + 1454991 24.733 * [simplify]: Simplified to: (log (sqrt (* PI 2.0))) (exp (sqrt (* PI 2.0))) (* (cbrt (sqrt (* PI 2.0))) (cbrt (sqrt (* PI 2.0)))) (cbrt (sqrt (* PI 2.0))) (* (* PI 2.0) (sqrt (* PI 2.0))) (sqrt 2.0) (sqrt PI) 1/2 1/2 (sqrt (sqrt (* PI 2.0))) (sqrt (sqrt (* PI 2.0))) (exp (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))))) (exp (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))))) (exp (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))))) (exp (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))))) (exp (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))))) (exp (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))))) (exp (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))))) (exp (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))))) (exp (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))))) (exp (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))))) (log (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))))) (exp (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))))) (* (cbrt (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))))) (cbrt (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))))))) (cbrt (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))))) (* (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))))) (* (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))))))) (sqrt (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))))) (sqrt (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))))) (+ (* (+ (* (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099) (* (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (/ 676.5203681218851 (- 1.0 z)))) (* (+ 2.0 (- z)) (* (- 3.0 z) (* (- 6.0 z) (- 5.0 z))))) (* (+ (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099)) (+ (* (+ (* 12.507343278686905 (- 6.0 z)) (* -0.13857109526572012 (- 5.0 z))) (* (+ 2.0 (- z)) (- 3.0 z))) (* (* (- 6.0 z) (- 5.0 z)) (+ (* -1259.1392167224028 (- 3.0 z)) (* (+ 2.0 (- z)) 771.3234287776531)))))) (* (* (+ 2.0 (- z)) (* (- 3.0 z) (* (- 6.0 z) (- 5.0 z)))) (+ (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099))) (+ (* (+ (* (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099) (* (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (/ 676.5203681218851 (- 1.0 z)))) (* (+ (* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z))) (* (/ -0.13857109526572012 (- 6.0 z)) (- (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))))) (* (+ 2.0 (- z)) (- 3.0 z)))) (* (+ (* (* (+ 2.0 (- z)) (- 3.0 z)) (+ (* (* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z))) (/ 12.507343278686905 (- 5.0 z))) (* (/ -0.13857109526572012 (- 6.0 z)) (* (/ -0.13857109526572012 (- 6.0 z)) (/ -0.13857109526572012 (- 6.0 z)))))) (* (+ (* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z))) (* (/ -0.13857109526572012 (- 6.0 z)) (- (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))))) (+ (* -1259.1392167224028 (- 3.0 z)) (* (+ 2.0 (- z)) 771.3234287776531)))) (+ (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099)))) (* (* (+ (* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z))) (* (/ -0.13857109526572012 (- 6.0 z)) (- (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))))) (* (+ 2.0 (- z)) (- 3.0 z))) (+ (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099))) (+ (* (* (- (/ 12.507343278686905 (- 5.0 z)) (/ -0.13857109526572012 (- 6.0 z))) (* (+ 2.0 (- z)) (- 3.0 z))) (+ (* (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099) (* (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (/ 676.5203681218851 (- 1.0 z))))) (* (+ (* (+ 2.0 (- z)) (* (- 3.0 z) (- (* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z))) (* (/ -0.13857109526572012 (- 6.0 z)) (/ -0.13857109526572012 (- 6.0 z)))))) (* (+ (* -1259.1392167224028 (- 3.0 z)) (* (+ 2.0 (- z)) 771.3234287776531)) (- (/ 12.507343278686905 (- 5.0 z)) (/ -0.13857109526572012 (- 6.0 z))))) (+ (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099)))) (* (+ (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099)) (* (- (/ 12.507343278686905 (- 5.0 z)) (/ -0.13857109526572012 (- 6.0 z))) (* (+ 2.0 (- z)) (- 3.0 z)))) (+ (* (+ (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099)) (+ (* (+ (* (/ 771.3234287776531 (- 3.0 z)) (- (/ 771.3234287776531 (- 3.0 z)) (/ -1259.1392167224028 (+ 2.0 (- z))))) (* (/ -1259.1392167224028 (+ 2.0 (- z))) (/ -1259.1392167224028 (+ 2.0 (- z))))) (+ (* 12.507343278686905 (- 6.0 z)) (* -0.13857109526572012 (- 5.0 z)))) (* (* (- 6.0 z) (- 5.0 z)) (+ (* (* (/ 771.3234287776531 (- 3.0 z)) (/ 771.3234287776531 (- 3.0 z))) (/ 771.3234287776531 (- 3.0 z))) (* (/ -1259.1392167224028 (+ 2.0 (- z))) (* (/ -1259.1392167224028 (+ 2.0 (- z))) (/ -1259.1392167224028 (+ 2.0 (- z))))))))) (* (* (+ (* (/ 771.3234287776531 (- 3.0 z)) (- (/ 771.3234287776531 (- 3.0 z)) (/ -1259.1392167224028 (+ 2.0 (- z))))) (* (/ -1259.1392167224028 (+ 2.0 (- z))) (/ -1259.1392167224028 (+ 2.0 (- z))))) (* (- 6.0 z) (- 5.0 z))) (+ (* (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099) (* (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (/ 676.5203681218851 (- 1.0 z)))))) (* (* (+ (* (/ 771.3234287776531 (- 3.0 z)) (- (/ 771.3234287776531 (- 3.0 z)) (/ -1259.1392167224028 (+ 2.0 (- z))))) (* (/ -1259.1392167224028 (+ 2.0 (- z))) (/ -1259.1392167224028 (+ 2.0 (- z))))) (* (- 6.0 z) (- 5.0 z))) (+ (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099))) (+ (* (+ (* (+ (* (/ 771.3234287776531 (- 3.0 z)) (- (/ 771.3234287776531 (- 3.0 z)) (/ -1259.1392167224028 (+ 2.0 (- z))))) (* (/ -1259.1392167224028 (+ 2.0 (- z))) (/ -1259.1392167224028 (+ 2.0 (- z))))) (+ (* (* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z))) (/ 12.507343278686905 (- 5.0 z))) (* (/ -0.13857109526572012 (- 6.0 z)) (* (/ -0.13857109526572012 (- 6.0 z)) (/ -0.13857109526572012 (- 6.0 z)))))) (* (+ (* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z))) (* (/ -0.13857109526572012 (- 6.0 z)) (- (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))))) (+ (* (* (/ 771.3234287776531 (- 3.0 z)) (/ 771.3234287776531 (- 3.0 z))) (/ 771.3234287776531 (- 3.0 z))) (* (/ -1259.1392167224028 (+ 2.0 (- z))) (* (/ -1259.1392167224028 (+ 2.0 (- z))) (/ -1259.1392167224028 (+ 2.0 (- z)))))))) (+ (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099))) (* (* (+ (* (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099) (* (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (/ 676.5203681218851 (- 1.0 z)))) (+ (* (/ 771.3234287776531 (- 3.0 z)) (- (/ 771.3234287776531 (- 3.0 z)) (/ -1259.1392167224028 (+ 2.0 (- z))))) (* (/ -1259.1392167224028 (+ 2.0 (- z))) (/ -1259.1392167224028 (+ 2.0 (- z)))))) (+ (* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z))) (* (/ -0.13857109526572012 (- 6.0 z)) (- (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))))))) (* (+ (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099)) (* (+ (* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z))) (* (/ -0.13857109526572012 (- 6.0 z)) (- (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))))) (+ (* (/ 771.3234287776531 (- 3.0 z)) (- (/ 771.3234287776531 (- 3.0 z)) (/ -1259.1392167224028 (+ 2.0 (- z))))) (* (/ -1259.1392167224028 (+ 2.0 (- z))) (/ -1259.1392167224028 (+ 2.0 (- z))))))) (+ (* (+ (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099)) (+ (* (+ (* (/ 771.3234287776531 (- 3.0 z)) (- (/ 771.3234287776531 (- 3.0 z)) (/ -1259.1392167224028 (+ 2.0 (- z))))) (* (/ -1259.1392167224028 (+ 2.0 (- z))) (/ -1259.1392167224028 (+ 2.0 (- z))))) (- (* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z))) (* (/ -0.13857109526572012 (- 6.0 z)) (/ -0.13857109526572012 (- 6.0 z))))) (* (- (/ 12.507343278686905 (- 5.0 z)) (/ -0.13857109526572012 (- 6.0 z))) (+ (* (* (/ 771.3234287776531 (- 3.0 z)) (/ 771.3234287776531 (- 3.0 z))) (/ 771.3234287776531 (- 3.0 z))) (* (/ -1259.1392167224028 (+ 2.0 (- z))) (* (/ -1259.1392167224028 (+ 2.0 (- z))) (/ -1259.1392167224028 (+ 2.0 (- z))))))))) (* (+ (* (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099) (* (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (/ 676.5203681218851 (- 1.0 z)))) (* (+ (* (/ 771.3234287776531 (- 3.0 z)) (- (/ 771.3234287776531 (- 3.0 z)) (/ -1259.1392167224028 (+ 2.0 (- z))))) (* (/ -1259.1392167224028 (+ 2.0 (- z))) (/ -1259.1392167224028 (+ 2.0 (- z))))) (- (/ 12.507343278686905 (- 5.0 z)) (/ -0.13857109526572012 (- 6.0 z)))))) (* (* (+ (* (/ 771.3234287776531 (- 3.0 z)) (- (/ 771.3234287776531 (- 3.0 z)) (/ -1259.1392167224028 (+ 2.0 (- z))))) (* (/ -1259.1392167224028 (+ 2.0 (- z))) (/ -1259.1392167224028 (+ 2.0 (- z))))) (- (/ 12.507343278686905 (- 5.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (+ (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099))) (+ (* (+ (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099)) (+ (* (* (- 6.0 z) (- 5.0 z)) (* (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))) (- (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))))) (* (- (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))) (+ (* 12.507343278686905 (- 6.0 z)) (* -0.13857109526572012 (- 5.0 z)))))) (* (* (* (- 6.0 z) (- 5.0 z)) (- (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))) (+ (* (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099) (* (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (/ 676.5203681218851 (- 1.0 z)))))) (* (* (* (- 6.0 z) (- 5.0 z)) (- (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))) (+ (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099))) (+ (* (* (- (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))) (+ (* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z))) (* (/ -0.13857109526572012 (- 6.0 z)) (- (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z)))))) (+ (* (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099) (* (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (/ 676.5203681218851 (- 1.0 z))))) (* (+ (* (- (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))) (+ (* (* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z))) (/ 12.507343278686905 (- 5.0 z))) (* (/ -0.13857109526572012 (- 6.0 z)) (* (/ -0.13857109526572012 (- 6.0 z)) (/ -0.13857109526572012 (- 6.0 z)))))) (* (+ (* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z))) (* (/ -0.13857109526572012 (- 6.0 z)) (- (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))))) (* (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))) (- (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))))) (+ (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099)))) (* (+ (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099)) (* (- (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))) (+ (* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z))) (* (/ -0.13857109526572012 (- 6.0 z)) (- (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))))))) (+ (* (+ (* (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099) (* (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (/ 676.5203681218851 (- 1.0 z)))) (* (- (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))) (- (/ 12.507343278686905 (- 5.0 z)) (/ -0.13857109526572012 (- 6.0 z))))) (* (+ (* (- (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))) (- (* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z))) (* (/ -0.13857109526572012 (- 6.0 z)) (/ -0.13857109526572012 (- 6.0 z))))) (* (* (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))) (- (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))) (- (/ 12.507343278686905 (- 5.0 z)) (/ -0.13857109526572012 (- 6.0 z))))) (+ (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099)))) (* (* (- (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))) (- (/ 12.507343278686905 (- 5.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (+ (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099))) (+ (* (+ (* (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))) (* (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (- (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))))) (+ (* (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099) (* (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (/ 676.5203681218851 (- 1.0 z))))) (* (+ (* (* (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))) (* (* (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z)))) (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))))) (+ (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099)))) (* (+ (* (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))) (* (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (- (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))))) (+ (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099))) (+ (* (+ (* (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099) (* (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (/ 676.5203681218851 (- 1.0 z)))) (- (- (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))) (/ 12.507343278686905 (- 5.0 z))) (/ -0.13857109526572012 (- 6.0 z)))) (* (+ (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099)) (- (* (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))) (* (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))))))) (* (- (- (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))) (/ 12.507343278686905 (- 5.0 z))) (/ -0.13857109526572012 (- 6.0 z))) (+ (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099))) (+ (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (* (+ (* 12.507343278686905 (- 6.0 z)) (* -0.13857109526572012 (- 5.0 z))) (* (+ 2.0 (- z)) (- 3.0 z))) (* (* (- 6.0 z) (- 5.0 z)) (+ (* -1259.1392167224028 (- 3.0 z)) (* (+ 2.0 (- z)) 771.3234287776531))))) (* (* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (* (+ 2.0 (- z)) (* (- 3.0 z) (* (- 6.0 z) (- 5.0 z)))))) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (* (+ 2.0 (- z)) (* (- 3.0 z) (* (- 6.0 z) (- 5.0 z))))) (+ (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (* (* (+ 2.0 (- z)) (- 3.0 z)) (+ (* (* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z))) (/ 12.507343278686905 (- 5.0 z))) (* (/ -0.13857109526572012 (- 6.0 z)) (* (/ -0.13857109526572012 (- 6.0 z)) (/ -0.13857109526572012 (- 6.0 z)))))) (* (+ (* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z))) (* (/ -0.13857109526572012 (- 6.0 z)) (- (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))))) (+ (* -1259.1392167224028 (- 3.0 z)) (* (+ 2.0 (- z)) 771.3234287776531))))) (* (* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (* (+ (* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z))) (* (/ -0.13857109526572012 (- 6.0 z)) (- (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))))) (* (+ 2.0 (- z)) (- 3.0 z))))) (* (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (* (+ 2.0 (- z)) (- 3.0 z))) (+ (* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z))) (* (/ -0.13857109526572012 (- 6.0 z)) (- (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z)))))) (+ (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (* (+ 2.0 (- z)) (* (- 3.0 z) (- (* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z))) (* (/ -0.13857109526572012 (- 6.0 z)) (/ -0.13857109526572012 (- 6.0 z)))))) (* (+ (* -1259.1392167224028 (- 3.0 z)) (* (+ 2.0 (- z)) 771.3234287776531)) (- (/ 12.507343278686905 (- 5.0 z)) (/ -0.13857109526572012 (- 6.0 z)))))) (* (* (* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (* (+ 2.0 (- z)) (- 3.0 z))) (- (/ 12.507343278686905 (- 5.0 z)) (/ -0.13857109526572012 (- 6.0 z))))) (* (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (* (+ 2.0 (- z)) (- 3.0 z))) (- (/ 12.507343278686905 (- 5.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (+ (* (+ (* (+ (* (/ 771.3234287776531 (- 3.0 z)) (- (/ 771.3234287776531 (- 3.0 z)) (/ -1259.1392167224028 (+ 2.0 (- z))))) (* (/ -1259.1392167224028 (+ 2.0 (- z))) (/ -1259.1392167224028 (+ 2.0 (- z))))) (+ (* 12.507343278686905 (- 6.0 z)) (* -0.13857109526572012 (- 5.0 z)))) (* (* (- 6.0 z) (- 5.0 z)) (+ (* (* (/ 771.3234287776531 (- 3.0 z)) (/ 771.3234287776531 (- 3.0 z))) (/ 771.3234287776531 (- 3.0 z))) (* (/ -1259.1392167224028 (+ 2.0 (- z))) (* (/ -1259.1392167224028 (+ 2.0 (- z))) (/ -1259.1392167224028 (+ 2.0 (- z)))))))) (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (* (* (* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (+ (* (/ 771.3234287776531 (- 3.0 z)) (- (/ 771.3234287776531 (- 3.0 z)) (/ -1259.1392167224028 (+ 2.0 (- z))))) (* (/ -1259.1392167224028 (+ 2.0 (- z))) (/ -1259.1392167224028 (+ 2.0 (- z)))))) (* (- 6.0 z) (- 5.0 z)))) (* (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (* (/ 771.3234287776531 (- 3.0 z)) (- (/ 771.3234287776531 (- 3.0 z)) (/ -1259.1392167224028 (+ 2.0 (- z))))) (* (/ -1259.1392167224028 (+ 2.0 (- z))) (/ -1259.1392167224028 (+ 2.0 (- z)))))) (* (- 6.0 z) (- 5.0 z))) (+ (* (+ (* (+ (* (/ 771.3234287776531 (- 3.0 z)) (- (/ 771.3234287776531 (- 3.0 z)) (/ -1259.1392167224028 (+ 2.0 (- z))))) (* (/ -1259.1392167224028 (+ 2.0 (- z))) (/ -1259.1392167224028 (+ 2.0 (- z))))) (+ (* (* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z))) (/ 12.507343278686905 (- 5.0 z))) (* (/ -0.13857109526572012 (- 6.0 z)) (* (/ -0.13857109526572012 (- 6.0 z)) (/ -0.13857109526572012 (- 6.0 z)))))) (* (+ (* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z))) (* (/ -0.13857109526572012 (- 6.0 z)) (- (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))))) (+ (* (* (/ 771.3234287776531 (- 3.0 z)) (/ 771.3234287776531 (- 3.0 z))) (/ 771.3234287776531 (- 3.0 z))) (* (/ -1259.1392167224028 (+ 2.0 (- z))) (* (/ -1259.1392167224028 (+ 2.0 (- z))) (/ -1259.1392167224028 (+ 2.0 (- z)))))))) (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (* (* (+ (* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z))) (* (/ -0.13857109526572012 (- 6.0 z)) (- (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))))) (+ (* (/ 771.3234287776531 (- 3.0 z)) (- (/ 771.3234287776531 (- 3.0 z)) (/ -1259.1392167224028 (+ 2.0 (- z))))) (* (/ -1259.1392167224028 (+ 2.0 (- z))) (/ -1259.1392167224028 (+ 2.0 (- z)))))) (* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))))) (* (* (+ (* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z))) (* (/ -0.13857109526572012 (- 6.0 z)) (- (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))))) (+ (* (/ 771.3234287776531 (- 3.0 z)) (- (/ 771.3234287776531 (- 3.0 z)) (/ -1259.1392167224028 (+ 2.0 (- z))))) (* (/ -1259.1392167224028 (+ 2.0 (- z))) (/ -1259.1392167224028 (+ 2.0 (- z)))))) (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (+ (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (* (+ (* (/ 771.3234287776531 (- 3.0 z)) (- (/ 771.3234287776531 (- 3.0 z)) (/ -1259.1392167224028 (+ 2.0 (- z))))) (* (/ -1259.1392167224028 (+ 2.0 (- z))) (/ -1259.1392167224028 (+ 2.0 (- z))))) (- (* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z))) (* (/ -0.13857109526572012 (- 6.0 z)) (/ -0.13857109526572012 (- 6.0 z))))) (* (- (/ 12.507343278686905 (- 5.0 z)) (/ -0.13857109526572012 (- 6.0 z))) (+ (* (* (/ 771.3234287776531 (- 3.0 z)) (/ 771.3234287776531 (- 3.0 z))) (/ 771.3234287776531 (- 3.0 z))) (* (/ -1259.1392167224028 (+ 2.0 (- z))) (* (/ -1259.1392167224028 (+ 2.0 (- z))) (/ -1259.1392167224028 (+ 2.0 (- z))))))))) (* (* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (* (+ (* (/ 771.3234287776531 (- 3.0 z)) (- (/ 771.3234287776531 (- 3.0 z)) (/ -1259.1392167224028 (+ 2.0 (- z))))) (* (/ -1259.1392167224028 (+ 2.0 (- z))) (/ -1259.1392167224028 (+ 2.0 (- z))))) (- (/ 12.507343278686905 (- 5.0 z)) (/ -0.13857109526572012 (- 6.0 z)))))) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (* (+ (* (/ 771.3234287776531 (- 3.0 z)) (- (/ 771.3234287776531 (- 3.0 z)) (/ -1259.1392167224028 (+ 2.0 (- z))))) (* (/ -1259.1392167224028 (+ 2.0 (- z))) (/ -1259.1392167224028 (+ 2.0 (- z))))) (- (/ 12.507343278686905 (- 5.0 z)) (/ -0.13857109526572012 (- 6.0 z))))) (+ (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (* (* (- 6.0 z) (- 5.0 z)) (* (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))) (- (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))))) (* (- (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))) (+ (* 12.507343278686905 (- 6.0 z)) (* -0.13857109526572012 (- 5.0 z)))))) (* (* (* (- 6.0 z) (- 5.0 z)) (- (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))) (* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))))) (* (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (- (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))) (* (- 6.0 z) (- 5.0 z))) (+ (* (* (- (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))) (+ (* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z))) (* (/ -0.13857109526572012 (- 6.0 z)) (- (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z)))))) (* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (* (+ (* (- (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))) (+ (* (* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z))) (/ 12.507343278686905 (- 5.0 z))) (* (/ -0.13857109526572012 (- 6.0 z)) (* (/ -0.13857109526572012 (- 6.0 z)) (/ -0.13857109526572012 (- 6.0 z)))))) (* (+ (* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z))) (* (/ -0.13857109526572012 (- 6.0 z)) (- (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))))) (* (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))) (- (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))))) (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (* (* (- (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))) (+ (* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z))) (* (/ -0.13857109526572012 (- 6.0 z)) (- (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z)))))) (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (+ (* (* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (* (- (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))) (- (/ 12.507343278686905 (- 5.0 z)) (/ -0.13857109526572012 (- 6.0 z))))) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (* (- (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))) (- (* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z))) (* (/ -0.13857109526572012 (- 6.0 z)) (/ -0.13857109526572012 (- 6.0 z))))) (* (* (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))) (- (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))) (- (/ 12.507343278686905 (- 5.0 z)) (/ -0.13857109526572012 (- 6.0 z))))))) (* (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (- (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))) (- (/ 12.507343278686905 (- 5.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (+ (* (+ (* (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))) (* (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (- (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))))) (* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (* (* (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))) (* (* (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z)))) (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))))))) (* (+ (* (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))) (* (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (- (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))))) (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (+ (* (- (* (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))) (* (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))))) (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (* (- (- (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))) (/ 12.507343278686905 (- 5.0 z))) (/ -0.13857109526572012 (- 6.0 z))) (* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))))) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (- (- (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))) (/ 12.507343278686905 (- 5.0 z))) (/ -0.13857109526572012 (- 6.0 z)))) (+ (* (* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (* (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))) (* (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))))))) (+ (* (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))) (- (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (- (* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (* (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))))) (- (- (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))) (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z)))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z))))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))) (+ (+ (+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))) (/ 12.507343278686905 (- 5.0 z))) (/ -0.13857109526572012 (- 6.0 z))) (- (log (sqrt (* PI 2.0))) (- (+ 0.5 7.0) z)) (- (log (sqrt (* PI 2.0))) (- (+ 0.5 7.0) z)) (exp (/ (sqrt (* PI 2.0)) (exp (- (+ 0.5 7.0) z)))) (/ (* (* PI 2.0) (sqrt (* PI 2.0))) (* (exp (- (+ 0.5 7.0) z)) (* (exp (- (+ 0.5 7.0) z)) (exp (- (+ 0.5 7.0) z))))) (* (cbrt (/ (sqrt (* PI 2.0)) (exp (- (+ 0.5 7.0) z)))) (cbrt (/ (sqrt (* PI 2.0)) (exp (- (+ 0.5 7.0) z))))) (cbrt (/ (sqrt (* PI 2.0)) (exp (- (+ 0.5 7.0) z)))) (/ (* (* PI 2.0) (sqrt (* PI 2.0))) (* (exp (- (+ 0.5 7.0) z)) (* (exp (- (+ 0.5 7.0) z)) (exp (- (+ 0.5 7.0) z))))) (sqrt (/ (sqrt (* PI 2.0)) (exp (- (+ 0.5 7.0) z)))) (sqrt (/ (sqrt (* PI 2.0)) (exp (- (+ 0.5 7.0) z)))) (- (sqrt (* PI 2.0))) (- (exp (- (+ 0.5 7.0) z))) (/ (cbrt (sqrt (* PI 2.0))) (/ (exp (+ 0.5 7.0)) (cbrt (sqrt (* PI 2.0))))) (/ (cbrt (sqrt (* PI 2.0))) (exp (- z))) (* (/ (cbrt (sqrt (* PI 2.0))) (cbrt (exp (- (+ 0.5 7.0) z)))) (/ (cbrt (sqrt (* PI 2.0))) (cbrt (exp (- (+ 0.5 7.0) z))))) (/ (cbrt (sqrt (* PI 2.0))) (cbrt (exp (- (+ 0.5 7.0) z)))) (/ (* (cbrt (sqrt (* PI 2.0))) (cbrt (sqrt (* PI 2.0)))) (sqrt (exp (- (+ 0.5 7.0) z)))) (/ (cbrt (sqrt (* PI 2.0))) (sqrt (exp (- (+ 0.5 7.0) z)))) (* (cbrt (sqrt (* PI 2.0))) (cbrt (sqrt (* PI 2.0)))) (/ (cbrt (sqrt (* PI 2.0))) (exp (- (+ 0.5 7.0) z))) (/ (sqrt 2.0) (exp (+ 0.5 7.0))) (/ (sqrt PI) (exp (- z))) (/ (sqrt 2.0) (* (cbrt (exp (- (+ 0.5 7.0) z))) (cbrt (exp (- (+ 0.5 7.0) z))))) (/ (sqrt PI) (cbrt (exp (- (+ 0.5 7.0) z)))) (/ (sqrt 2.0) (sqrt (exp (- (+ 0.5 7.0) z)))) (/ (sqrt PI) (sqrt (exp (- (+ 0.5 7.0) z)))) (sqrt 2.0) (/ (sqrt PI) (exp (- (+ 0.5 7.0) z))) (/ (sqrt (sqrt (* PI 2.0))) (exp (+ 0.5 7.0))) (/ (sqrt (sqrt (* PI 2.0))) (exp (- z))) (/ (/ (sqrt (sqrt (* PI 2.0))) (cbrt (exp (- (+ 0.5 7.0) z)))) (cbrt (exp (- (+ 0.5 7.0) z)))) (/ (sqrt (sqrt (* PI 2.0))) (cbrt (exp (- (+ 0.5 7.0) z)))) (/ (sqrt (sqrt (* PI 2.0))) (sqrt (exp (- (+ 0.5 7.0) z)))) (/ (sqrt (sqrt (* PI 2.0))) (sqrt (exp (- (+ 0.5 7.0) z)))) (sqrt (sqrt (* PI 2.0))) (/ (sqrt (sqrt (* PI 2.0))) (exp (- (+ 0.5 7.0) z))) (exp (- (+ 0.5 7.0))) (/ (sqrt (* PI 2.0)) (exp (- z))) (/ (/ 1 (cbrt (exp (- (+ 0.5 7.0) z)))) (cbrt (exp (- (+ 0.5 7.0) z)))) (/ (sqrt (* PI 2.0)) (cbrt (exp (- (+ 0.5 7.0) z)))) (/ 1 (sqrt (exp (- (+ 0.5 7.0) z)))) (/ (sqrt (* PI 2.0)) (sqrt (exp (- (+ 0.5 7.0) z)))) 1 (/ (sqrt (* PI 2.0)) (exp (- (+ 0.5 7.0) z))) (exp (- (- (+ 0.5 7.0) z))) (/ (exp (- (+ 0.5 7.0) z)) (sqrt (* PI 2.0))) (/ (sqrt (* PI 2.0)) (exp (+ 0.5 7.0))) (/ (sqrt (* PI 2.0)) (* (cbrt (exp (- (+ 0.5 7.0) z))) (cbrt (exp (- (+ 0.5 7.0) z))))) (/ (sqrt (* PI 2.0)) (sqrt (exp (- (+ 0.5 7.0) z)))) (sqrt (* PI 2.0)) (/ (exp (- (+ 0.5 7.0) z)) (cbrt (sqrt (* PI 2.0)))) (/ (exp (- (+ 0.5 7.0) z)) (sqrt PI)) (/ (exp (- (+ 0.5 7.0) z)) (sqrt (sqrt (* PI 2.0)))) (/ (exp (- (+ 0.5 7.0) z)) (sqrt (* PI 2.0))) (/ (sqrt (* PI 2.0)) (exp (+ 0.5 7.0))) (/ (sqrt (* PI 2.0)) (exp (+ 0.5 7.0))) (/ (sqrt (* PI 2.0)) (exp (+ 0.5 7.0))) (exp (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z)))) (log (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z)))) (exp (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z)))) (* (cbrt (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z)))) (cbrt (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))))) (cbrt (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z)))) (* (* (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z)))) (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z)))) (sqrt (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z)))) (sqrt (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z)))) (+ (* 12.507343278686905 (- 6.0 z)) (* -0.13857109526572012 (- 5.0 z))) (* (- 6.0 z) (- 5.0 z)) (+ (* (* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z))) (/ 12.507343278686905 (- 5.0 z))) (* (/ -0.13857109526572012 (- 6.0 z)) (* (/ -0.13857109526572012 (- 6.0 z)) (/ -0.13857109526572012 (- 6.0 z))))) (+ (* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z))) (* (/ -0.13857109526572012 (- 6.0 z)) (- (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))))) (- (* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z))) (* (/ -0.13857109526572012 (- 6.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (- (/ 12.507343278686905 (- 5.0 z)) (/ -0.13857109526572012 (- 6.0 z))) (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 12.507343278686905 (- 5.0 z))) (* (* (+ (+ (+ 0.9999999999998099 (+ (+ (+ (+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ -1259.1392167224028 (+ 2.0 (- z))) (/ 771.3234287776531 (- 3.0 z)))) (/ 12.507343278686905 (- 5.0 z))) (/ -0.13857109526572012 (- 6.0 z))) (/ -176.6150291621406 (- 4.0 z)))) (/ 1.5056327351493116e-07 (+ (- z) 8.0))) (/ 9.984369578019572e-06 (+ 7.0 (- z)))) (/ (sqrt (* PI 2.0)) (exp (- (+ 0.5 7.0) z)))) (/ (* (pow (- (+ 0.5 7.0) z) (+ (- z) 0.5)) PI) (sin (* PI z)))) (+ (+ (* z 447.9346116728582) 307.53694282642766) (* 547.7949176441382 (* z z))) (- (- 0.9999999999998099 (/ 201.07335236055678 z)) (/ 533.9175108318791 (* z z))) (- (- 0.9999999999998099 (/ 201.07335236055656 z)) (/ 533.9175108318791 (* z z))) (+ (* (sqrt PI) (+ (/ (* (sqrt 2.0) z) (exp 7.5)) (* 1/2 (/ (* (* z z) (sqrt 2.0)) (exp 7.5))))) (/ (* (sqrt 2.0) (sqrt PI)) (exp 7.5))) (* (/ (sqrt 2.0) (exp (- 7.5 z))) (sqrt PI)) (* (/ (sqrt 2.0) (exp (- 7.5 z))) (sqrt PI)) (+ (* z 0.49644453405676187) (+ 2.4783734731930944 (* (* z z) 0.09941721338104285))) (- (+ (+ (/ 307.69502253760675 (* z (* z z))) (/ 12.368772183421186 z)) (/ 61.7052898218402 (* z z)))) (- (+ (+ (/ 307.69502253760675 (* z (* z z))) (/ 12.368772183421186 z)) (/ 61.7052898218402 (* z z)))) 24.845 * * * [progress]: adding candidates to table 28.060 * * [progress]: iteration 2 / 4 28.060 * * * [progress]: picking best candidate 28.335 * * * * [pick]: Picked # 28.335 * * * [progress]: localizing error 28.966 * * * [progress]: generating rewritten candidates 28.966 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 28.973 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 1) 79.681 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2) 81.365 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)