6.985 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 2.802 * * * [progress]: [2/2] Setting up program. 2.820 * [progress]: [Phase 2 of 3] Improving. 2.820 * [simplify]: Simplifying: (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- (- 1.0 z) 1.0) 7.0) 0.5) (+ (- (- 1.0 z) 1.0) 0.5))) (exp (- (+ (+ (- (- 1.0 z) 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1.0 z) 1.0) 1.0))) (/ -1259.1392167224028 (+ (- (- 1.0 z) 1.0) 2.0))) (/ 771.3234287776531 (+ (- (- 1.0 z) 1.0) 3.0))) (/ -176.6150291621406 (+ (- (- 1.0 z) 1.0) 4.0))) (/ 12.507343278686905 (+ (- (- 1.0 z) 1.0) 5.0))) (/ -0.13857109526572012 (+ (- (- 1.0 z) 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- (- 1.0 z) 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- (- 1.0 z) 1.0) 8.0))))) 2.820 * * [simplify]: Extracting # 0 : cost 0 2.820 * * [simplify]: Extracting # 1 : cost 0 2.820 * * [simplify]: Extracting # 2 : cost 0 2.820 * * [simplify]: Extracting # 3 : cost 0 2.820 * * [simplify]: Extracting # 4 : cost 0 2.820 * * [simplify]: Extracting # 5 : cost 0 2.820 * * [simplify]: Extracting # 6 : cost 0 2.821 * * [simplify]: Extracting # 7 : cost 0 2.821 * * [simplify]: Extracting # 8 : cost 0 2.821 * * [simplify]: Extracting # 9 : cost 0 2.821 * * [simplify]: Extracting # 10 : cost 0 2.821 * * [simplify]: Extracting # 11 : cost 0 2.821 * * [simplify]: Extracting # 12 : cost 0 2.821 * * [simplify]: Extracting # 13 : cost 0 2.821 * * [simplify]: Extracting # 14 : cost 0 2.821 * * [simplify]: Extracting # 15 : cost 0 2.821 * * [simplify]: Extracting # 16 : cost 0 2.821 * * [simplify]: Extracting # 17 : cost 0 2.821 * * [simplify]: Extracting # 18 : cost 0 2.821 * * [simplify]: iteration 0 : 60 enodes (cost 123 ) 2.835 * * [simplify]: Extracting # 0 : cost 0 2.835 * * [simplify]: Extracting # 1 : cost 0 2.835 * * [simplify]: Extracting # 2 : cost 0 2.835 * * [simplify]: Extracting # 3 : cost 0 2.835 * * [simplify]: Extracting # 4 : cost 0 2.836 * * [simplify]: iteration 1 : 148 enodes (cost 123 ) 2.898 * * [simplify]: Extracting # 0 : cost 0 2.899 * * [simplify]: Extracting # 1 : cost 0 2.901 * * [simplify]: Extracting # 2 : cost 0 2.902 * * [simplify]: Extracting # 3 : cost 0 2.904 * * [simplify]: Extracting # 4 : cost 0 2.905 * * [simplify]: Extracting # 5 : cost 0 2.906 * * [simplify]: iteration 2 : 609 enodes (cost 121 ) 3.475 * * [simplify]: Extracting # 0 : cost 0 3.484 * * [simplify]: Extracting # 1 : cost 0 3.494 * * [simplify]: Extracting # 2 : cost 0 3.504 * * [simplify]: Extracting # 3 : cost 0 3.513 * * [simplify]: Extracting # 4 : cost 0 3.523 * * [simplify]: Extracting # 5 : cost 0 3.532 * * [simplify]: iteration 3 : 3846 enodes (cost 88 ) 5.040 * * [simplify]: Extracting # 0 : cost 0 5.061 * * [simplify]: Extracting # 1 : cost 0 5.069 * * [simplify]: Extracting # 2 : cost 0 5.076 * * [simplify]: Extracting # 3 : cost 0 5.082 * * [simplify]: iteration done: 5001 enodes (cost 88 ) 5.082 * [simplify]: Simplified to: (* (sqrt (* PI 2.0)) (* (/ (pow (+ 0.5 (+ 7.0 (- z))) (+ (- z) 0.5)) (exp (+ 0.5 (+ 7.0 (- z))))) (* (/ PI (sin (* PI z))) (+ (/ -176.6150291621406 (+ 4.0 (- z))) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (+ 2.0 (- z)))) (/ 12.507343278686905 (+ 5.0 (- z)))) (+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (/ 9.984369578019572e-06 (+ 7.0 (- z))))))))) 5.100 * * [progress]: iteration 1 / 4 5.100 * * * [progress]: picking best candidate 5.150 * * * * [pick]: Picked # 5.151 * * * [progress]: localizing error 5.291 * * * [progress]: generating rewritten candidates 5.291 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 5.296 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2) 122.233 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 2 1) 132.411 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 2 1 1 1 2) 132.546 * * * [progress]: generating series expansions 132.546 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 132.546 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2) 132.547 * [backup-simplify]: Simplify (+ (/ -176.6150291621406 (+ 4.0 (- z))) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (+ 2.0 (- z)))) (/ 12.507343278686905 (+ 5.0 (- z)))) (+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (/ 9.984369578019572e-06 (+ 7.0 (- z)))))) into (- (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) (+ (* 1.5056327351493116e-07 (/ 1 (- 8.0 z))) (+ (* 771.3234287776531 (/ 1 (- 3.0 z))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) (+ (* 12.507343278686905 (/ 1 (- 5.0 z))) 0.9999999999998099))))) (+ (* 176.6150291621406 (/ 1 (- 4.0 z))) (+ (* 1259.1392167224028 (/ 1 (- 2.0 z))) (* 0.13857109526572012 (/ 1 (- 6.0 z)))))) 132.547 * [approximate]: Taking taylor expansion of (- (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) (+ (* 1.5056327351493116e-07 (/ 1 (- 8.0 z))) (+ (* 771.3234287776531 (/ 1 (- 3.0 z))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) (+ (* 12.507343278686905 (/ 1 (- 5.0 z))) 0.9999999999998099))))) (+ (* 176.6150291621406 (/ 1 (- 4.0 z))) (+ (* 1259.1392167224028 (/ 1 (- 2.0 z))) (* 0.13857109526572012 (/ 1 (- 6.0 z)))))) in (z) around 0 132.547 * [taylor]: Taking taylor expansion of (- (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) (+ (* 1.5056327351493116e-07 (/ 1 (- 8.0 z))) (+ (* 771.3234287776531 (/ 1 (- 3.0 z))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) (+ (* 12.507343278686905 (/ 1 (- 5.0 z))) 0.9999999999998099))))) (+ (* 176.6150291621406 (/ 1 (- 4.0 z))) (+ (* 1259.1392167224028 (/ 1 (- 2.0 z))) (* 0.13857109526572012 (/ 1 (- 6.0 z)))))) in z 132.547 * [taylor]: Taking taylor expansion of (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) (+ (* 1.5056327351493116e-07 (/ 1 (- 8.0 z))) (+ (* 771.3234287776531 (/ 1 (- 3.0 z))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) (+ (* 12.507343278686905 (/ 1 (- 5.0 z))) 0.9999999999998099))))) in z 132.547 * [taylor]: Taking taylor expansion of (* 676.5203681218851 (/ 1 (- 1.0 z))) in z 132.547 * [taylor]: Taking taylor expansion of 676.5203681218851 in z 132.547 * [backup-simplify]: Simplify 676.5203681218851 into 676.5203681218851 132.547 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 z)) in z 132.547 * [taylor]: Taking taylor expansion of (- 1.0 z) in z 132.547 * [taylor]: Taking taylor expansion of 1.0 in z 132.547 * [backup-simplify]: Simplify 1.0 into 1.0 132.547 * [taylor]: Taking taylor expansion of z in z 132.547 * [backup-simplify]: Simplify 0 into 0 132.547 * [backup-simplify]: Simplify 1 into 1 132.548 * [backup-simplify]: Simplify (- 0) into 0 132.548 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 132.548 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 132.548 * [taylor]: Taking taylor expansion of (+ (* 1.5056327351493116e-07 (/ 1 (- 8.0 z))) (+ (* 771.3234287776531 (/ 1 (- 3.0 z))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) (+ (* 12.507343278686905 (/ 1 (- 5.0 z))) 0.9999999999998099)))) in z 132.548 * [taylor]: Taking taylor expansion of (* 1.5056327351493116e-07 (/ 1 (- 8.0 z))) in z 132.548 * [taylor]: Taking taylor expansion of 1.5056327351493116e-07 in z 132.548 * [backup-simplify]: Simplify 1.5056327351493116e-07 into 1.5056327351493116e-07 132.548 * [taylor]: Taking taylor expansion of (/ 1 (- 8.0 z)) in z 132.548 * [taylor]: Taking taylor expansion of (- 8.0 z) in z 132.548 * [taylor]: Taking taylor expansion of 8.0 in z 132.548 * [backup-simplify]: Simplify 8.0 into 8.0 132.548 * [taylor]: Taking taylor expansion of z in z 132.548 * [backup-simplify]: Simplify 0 into 0 132.548 * [backup-simplify]: Simplify 1 into 1 132.549 * [backup-simplify]: Simplify (- 0) into 0 132.549 * [backup-simplify]: Simplify (+ 8.0 0) into 8.0 132.549 * [backup-simplify]: Simplify (/ 1 8.0) into 0.125 132.549 * [taylor]: Taking taylor expansion of (+ (* 771.3234287776531 (/ 1 (- 3.0 z))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) (+ (* 12.507343278686905 (/ 1 (- 5.0 z))) 0.9999999999998099))) in z 132.549 * [taylor]: Taking taylor expansion of (* 771.3234287776531 (/ 1 (- 3.0 z))) in z 132.549 * [taylor]: Taking taylor expansion of 771.3234287776531 in z 132.549 * [backup-simplify]: Simplify 771.3234287776531 into 771.3234287776531 132.549 * [taylor]: Taking taylor expansion of (/ 1 (- 3.0 z)) in z 132.549 * [taylor]: Taking taylor expansion of (- 3.0 z) in z 132.549 * [taylor]: Taking taylor expansion of 3.0 in z 132.549 * [backup-simplify]: Simplify 3.0 into 3.0 132.549 * [taylor]: Taking taylor expansion of z in z 132.549 * [backup-simplify]: Simplify 0 into 0 132.549 * [backup-simplify]: Simplify 1 into 1 132.550 * [backup-simplify]: Simplify (- 0) into 0 132.550 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0 132.550 * [backup-simplify]: Simplify (/ 1 3.0) into 0.3333333333333333 132.550 * [taylor]: Taking taylor expansion of (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) (+ (* 12.507343278686905 (/ 1 (- 5.0 z))) 0.9999999999998099)) in z 132.550 * [taylor]: Taking taylor expansion of (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) in z 132.550 * [taylor]: Taking taylor expansion of 9.984369578019572e-06 in z 132.550 * [backup-simplify]: Simplify 9.984369578019572e-06 into 9.984369578019572e-06 132.550 * [taylor]: Taking taylor expansion of (/ 1 (- 7.0 z)) in z 132.550 * [taylor]: Taking taylor expansion of (- 7.0 z) in z 132.550 * [taylor]: Taking taylor expansion of 7.0 in z 132.550 * [backup-simplify]: Simplify 7.0 into 7.0 132.550 * [taylor]: Taking taylor expansion of z in z 132.550 * [backup-simplify]: Simplify 0 into 0 132.550 * [backup-simplify]: Simplify 1 into 1 132.551 * [backup-simplify]: Simplify (- 0) into 0 132.551 * [backup-simplify]: Simplify (+ 7.0 0) into 7.0 132.551 * [backup-simplify]: Simplify (/ 1 7.0) into 0.14285714285714285 132.551 * [taylor]: Taking taylor expansion of (+ (* 12.507343278686905 (/ 1 (- 5.0 z))) 0.9999999999998099) in z 132.551 * [taylor]: Taking taylor expansion of (* 12.507343278686905 (/ 1 (- 5.0 z))) in z 132.551 * [taylor]: Taking taylor expansion of 12.507343278686905 in z 132.551 * [backup-simplify]: Simplify 12.507343278686905 into 12.507343278686905 132.551 * [taylor]: Taking taylor expansion of (/ 1 (- 5.0 z)) in z 132.551 * [taylor]: Taking taylor expansion of (- 5.0 z) in z 132.551 * [taylor]: Taking taylor expansion of 5.0 in z 132.551 * [backup-simplify]: Simplify 5.0 into 5.0 132.551 * [taylor]: Taking taylor expansion of z in z 132.551 * [backup-simplify]: Simplify 0 into 0 132.551 * [backup-simplify]: Simplify 1 into 1 132.552 * [backup-simplify]: Simplify (- 0) into 0 132.552 * [backup-simplify]: Simplify (+ 5.0 0) into 5.0 132.552 * [backup-simplify]: Simplify (/ 1 5.0) into 0.2 132.552 * [taylor]: Taking taylor expansion of 0.9999999999998099 in z 132.552 * [backup-simplify]: Simplify 0.9999999999998099 into 0.9999999999998099 132.552 * [taylor]: Taking taylor expansion of (+ (* 176.6150291621406 (/ 1 (- 4.0 z))) (+ (* 1259.1392167224028 (/ 1 (- 2.0 z))) (* 0.13857109526572012 (/ 1 (- 6.0 z))))) in z 132.552 * [taylor]: Taking taylor expansion of (* 176.6150291621406 (/ 1 (- 4.0 z))) in z 132.552 * [taylor]: Taking taylor expansion of 176.6150291621406 in z 132.552 * [backup-simplify]: Simplify 176.6150291621406 into 176.6150291621406 132.552 * [taylor]: Taking taylor expansion of (/ 1 (- 4.0 z)) in z 132.552 * [taylor]: Taking taylor expansion of (- 4.0 z) in z 132.552 * [taylor]: Taking taylor expansion of 4.0 in z 132.552 * [backup-simplify]: Simplify 4.0 into 4.0 132.552 * [taylor]: Taking taylor expansion of z in z 132.552 * [backup-simplify]: Simplify 0 into 0 132.552 * [backup-simplify]: Simplify 1 into 1 132.553 * [backup-simplify]: Simplify (- 0) into 0 132.553 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0 132.553 * [backup-simplify]: Simplify (/ 1 4.0) into 0.25 132.553 * [taylor]: Taking taylor expansion of (+ (* 1259.1392167224028 (/ 1 (- 2.0 z))) (* 0.13857109526572012 (/ 1 (- 6.0 z)))) in z 132.553 * [taylor]: Taking taylor expansion of (* 1259.1392167224028 (/ 1 (- 2.0 z))) in z 132.553 * [taylor]: Taking taylor expansion of 1259.1392167224028 in z 132.553 * [backup-simplify]: Simplify 1259.1392167224028 into 1259.1392167224028 132.553 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 z)) in z 132.553 * [taylor]: Taking taylor expansion of (- 2.0 z) in z 132.553 * [taylor]: Taking taylor expansion of 2.0 in z 132.553 * [backup-simplify]: Simplify 2.0 into 2.0 132.553 * [taylor]: Taking taylor expansion of z in z 132.553 * [backup-simplify]: Simplify 0 into 0 132.553 * [backup-simplify]: Simplify 1 into 1 132.557 * [backup-simplify]: Simplify (- 0) into 0 132.557 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 132.557 * [backup-simplify]: Simplify (/ 1 2.0) into 0.5 132.557 * [taylor]: Taking taylor expansion of (* 0.13857109526572012 (/ 1 (- 6.0 z))) in z 132.557 * [taylor]: Taking taylor expansion of 0.13857109526572012 in z 132.557 * [backup-simplify]: Simplify 0.13857109526572012 into 0.13857109526572012 132.557 * [taylor]: Taking taylor expansion of (/ 1 (- 6.0 z)) in z 132.557 * [taylor]: Taking taylor expansion of (- 6.0 z) in z 132.557 * [taylor]: Taking taylor expansion of 6.0 in z 132.557 * [backup-simplify]: Simplify 6.0 into 6.0 132.557 * [taylor]: Taking taylor expansion of z in z 132.557 * [backup-simplify]: Simplify 0 into 0 132.557 * [backup-simplify]: Simplify 1 into 1 132.558 * [backup-simplify]: Simplify (- 0) into 0 132.558 * [backup-simplify]: Simplify (+ 6.0 0) into 6.0 132.558 * [backup-simplify]: Simplify (/ 1 6.0) into 0.16666666666666666 132.558 * [taylor]: Taking taylor expansion of (- (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) (+ (* 1.5056327351493116e-07 (/ 1 (- 8.0 z))) (+ (* 771.3234287776531 (/ 1 (- 3.0 z))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) (+ (* 12.507343278686905 (/ 1 (- 5.0 z))) 0.9999999999998099))))) (+ (* 176.6150291621406 (/ 1 (- 4.0 z))) (+ (* 1259.1392167224028 (/ 1 (- 2.0 z))) (* 0.13857109526572012 (/ 1 (- 6.0 z)))))) in z 132.558 * [taylor]: Taking taylor expansion of (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) (+ (* 1.5056327351493116e-07 (/ 1 (- 8.0 z))) (+ (* 771.3234287776531 (/ 1 (- 3.0 z))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) (+ (* 12.507343278686905 (/ 1 (- 5.0 z))) 0.9999999999998099))))) in z 132.558 * [taylor]: Taking taylor expansion of (* 676.5203681218851 (/ 1 (- 1.0 z))) in z 132.558 * [taylor]: Taking taylor expansion of 676.5203681218851 in z 132.558 * [backup-simplify]: Simplify 676.5203681218851 into 676.5203681218851 132.558 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 z)) in z 132.558 * [taylor]: Taking taylor expansion of (- 1.0 z) in z 132.558 * [taylor]: Taking taylor expansion of 1.0 in z 132.558 * [backup-simplify]: Simplify 1.0 into 1.0 132.558 * [taylor]: Taking taylor expansion of z in z 132.558 * [backup-simplify]: Simplify 0 into 0 132.558 * [backup-simplify]: Simplify 1 into 1 132.559 * [backup-simplify]: Simplify (- 0) into 0 132.559 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 132.559 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 132.559 * [taylor]: Taking taylor expansion of (+ (* 1.5056327351493116e-07 (/ 1 (- 8.0 z))) (+ (* 771.3234287776531 (/ 1 (- 3.0 z))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) (+ (* 12.507343278686905 (/ 1 (- 5.0 z))) 0.9999999999998099)))) in z 132.559 * [taylor]: Taking taylor expansion of (* 1.5056327351493116e-07 (/ 1 (- 8.0 z))) in z 132.559 * [taylor]: Taking taylor expansion of 1.5056327351493116e-07 in z 132.559 * [backup-simplify]: Simplify 1.5056327351493116e-07 into 1.5056327351493116e-07 132.559 * [taylor]: Taking taylor expansion of (/ 1 (- 8.0 z)) in z 132.559 * [taylor]: Taking taylor expansion of (- 8.0 z) in z 132.559 * [taylor]: Taking taylor expansion of 8.0 in z 132.559 * [backup-simplify]: Simplify 8.0 into 8.0 132.559 * [taylor]: Taking taylor expansion of z in z 132.559 * [backup-simplify]: Simplify 0 into 0 132.559 * [backup-simplify]: Simplify 1 into 1 132.560 * [backup-simplify]: Simplify (- 0) into 0 132.560 * [backup-simplify]: Simplify (+ 8.0 0) into 8.0 132.560 * [backup-simplify]: Simplify (/ 1 8.0) into 0.125 132.560 * [taylor]: Taking taylor expansion of (+ (* 771.3234287776531 (/ 1 (- 3.0 z))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) (+ (* 12.507343278686905 (/ 1 (- 5.0 z))) 0.9999999999998099))) in z 132.560 * [taylor]: Taking taylor expansion of (* 771.3234287776531 (/ 1 (- 3.0 z))) in z 132.560 * [taylor]: Taking taylor expansion of 771.3234287776531 in z 132.560 * [backup-simplify]: Simplify 771.3234287776531 into 771.3234287776531 132.560 * [taylor]: Taking taylor expansion of (/ 1 (- 3.0 z)) in z 132.560 * [taylor]: Taking taylor expansion of (- 3.0 z) in z 132.560 * [taylor]: Taking taylor expansion of 3.0 in z 132.560 * [backup-simplify]: Simplify 3.0 into 3.0 132.560 * [taylor]: Taking taylor expansion of z in z 132.560 * [backup-simplify]: Simplify 0 into 0 132.560 * [backup-simplify]: Simplify 1 into 1 132.560 * [backup-simplify]: Simplify (- 0) into 0 132.561 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0 132.561 * [backup-simplify]: Simplify (/ 1 3.0) into 0.3333333333333333 132.561 * [taylor]: Taking taylor expansion of (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) (+ (* 12.507343278686905 (/ 1 (- 5.0 z))) 0.9999999999998099)) in z 132.561 * [taylor]: Taking taylor expansion of (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) in z 132.561 * [taylor]: Taking taylor expansion of 9.984369578019572e-06 in z 132.561 * [backup-simplify]: Simplify 9.984369578019572e-06 into 9.984369578019572e-06 132.561 * [taylor]: Taking taylor expansion of (/ 1 (- 7.0 z)) in z 132.561 * [taylor]: Taking taylor expansion of (- 7.0 z) in z 132.561 * [taylor]: Taking taylor expansion of 7.0 in z 132.561 * [backup-simplify]: Simplify 7.0 into 7.0 132.561 * [taylor]: Taking taylor expansion of z in z 132.561 * [backup-simplify]: Simplify 0 into 0 132.561 * [backup-simplify]: Simplify 1 into 1 132.561 * [backup-simplify]: Simplify (- 0) into 0 132.562 * [backup-simplify]: Simplify (+ 7.0 0) into 7.0 132.562 * [backup-simplify]: Simplify (/ 1 7.0) into 0.14285714285714285 132.562 * [taylor]: Taking taylor expansion of (+ (* 12.507343278686905 (/ 1 (- 5.0 z))) 0.9999999999998099) in z 132.562 * [taylor]: Taking taylor expansion of (* 12.507343278686905 (/ 1 (- 5.0 z))) in z 132.562 * [taylor]: Taking taylor expansion of 12.507343278686905 in z 132.562 * [backup-simplify]: Simplify 12.507343278686905 into 12.507343278686905 132.562 * [taylor]: Taking taylor expansion of (/ 1 (- 5.0 z)) in z 132.562 * [taylor]: Taking taylor expansion of (- 5.0 z) in z 132.562 * [taylor]: Taking taylor expansion of 5.0 in z 132.562 * [backup-simplify]: Simplify 5.0 into 5.0 132.562 * [taylor]: Taking taylor expansion of z in z 132.562 * [backup-simplify]: Simplify 0 into 0 132.562 * [backup-simplify]: Simplify 1 into 1 132.562 * [backup-simplify]: Simplify (- 0) into 0 132.563 * [backup-simplify]: Simplify (+ 5.0 0) into 5.0 132.563 * [backup-simplify]: Simplify (/ 1 5.0) into 0.2 132.563 * [taylor]: Taking taylor expansion of 0.9999999999998099 in z 132.563 * [backup-simplify]: Simplify 0.9999999999998099 into 0.9999999999998099 132.563 * [taylor]: Taking taylor expansion of (+ (* 176.6150291621406 (/ 1 (- 4.0 z))) (+ (* 1259.1392167224028 (/ 1 (- 2.0 z))) (* 0.13857109526572012 (/ 1 (- 6.0 z))))) in z 132.563 * [taylor]: Taking taylor expansion of (* 176.6150291621406 (/ 1 (- 4.0 z))) in z 132.563 * [taylor]: Taking taylor expansion of 176.6150291621406 in z 132.563 * [backup-simplify]: Simplify 176.6150291621406 into 176.6150291621406 132.563 * [taylor]: Taking taylor expansion of (/ 1 (- 4.0 z)) in z 132.563 * [taylor]: Taking taylor expansion of (- 4.0 z) in z 132.563 * [taylor]: Taking taylor expansion of 4.0 in z 132.563 * [backup-simplify]: Simplify 4.0 into 4.0 132.563 * [taylor]: Taking taylor expansion of z in z 132.563 * [backup-simplify]: Simplify 0 into 0 132.563 * [backup-simplify]: Simplify 1 into 1 132.563 * [backup-simplify]: Simplify (- 0) into 0 132.564 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0 132.564 * [backup-simplify]: Simplify (/ 1 4.0) into 0.25 132.564 * [taylor]: Taking taylor expansion of (+ (* 1259.1392167224028 (/ 1 (- 2.0 z))) (* 0.13857109526572012 (/ 1 (- 6.0 z)))) in z 132.564 * [taylor]: Taking taylor expansion of (* 1259.1392167224028 (/ 1 (- 2.0 z))) in z 132.564 * [taylor]: Taking taylor expansion of 1259.1392167224028 in z 132.564 * [backup-simplify]: Simplify 1259.1392167224028 into 1259.1392167224028 132.564 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 z)) in z 132.564 * [taylor]: Taking taylor expansion of (- 2.0 z) in z 132.564 * [taylor]: Taking taylor expansion of 2.0 in z 132.564 * [backup-simplify]: Simplify 2.0 into 2.0 132.564 * [taylor]: Taking taylor expansion of z in z 132.564 * [backup-simplify]: Simplify 0 into 0 132.564 * [backup-simplify]: Simplify 1 into 1 132.564 * [backup-simplify]: Simplify (- 0) into 0 132.565 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 132.565 * [backup-simplify]: Simplify (/ 1 2.0) into 0.5 132.565 * [taylor]: Taking taylor expansion of (* 0.13857109526572012 (/ 1 (- 6.0 z))) in z 132.565 * [taylor]: Taking taylor expansion of 0.13857109526572012 in z 132.565 * [backup-simplify]: Simplify 0.13857109526572012 into 0.13857109526572012 132.565 * [taylor]: Taking taylor expansion of (/ 1 (- 6.0 z)) in z 132.565 * [taylor]: Taking taylor expansion of (- 6.0 z) in z 132.565 * [taylor]: Taking taylor expansion of 6.0 in z 132.565 * [backup-simplify]: Simplify 6.0 into 6.0 132.565 * [taylor]: Taking taylor expansion of z in z 132.565 * [backup-simplify]: Simplify 0 into 0 132.565 * [backup-simplify]: Simplify 1 into 1 132.565 * [backup-simplify]: Simplify (- 0) into 0 132.565 * [backup-simplify]: Simplify (+ 6.0 0) into 6.0 132.566 * [backup-simplify]: Simplify (/ 1 6.0) into 0.16666666666666666 132.566 * [backup-simplify]: Simplify (* 676.5203681218851 1.0) into 676.5203681218851 132.566 * [backup-simplify]: Simplify (* 1.5056327351493116e-07 0.125) into 1.8820409189366395e-08 132.567 * [backup-simplify]: Simplify (* 771.3234287776531 0.3333333333333333) into 257.107809592551 132.567 * [backup-simplify]: Simplify (* 9.984369578019572e-06 0.14285714285714285) into 1.426338511145653e-06 132.567 * [backup-simplify]: Simplify (* 12.507343278686905 0.2) into 2.5014686557373813 132.567 * [backup-simplify]: Simplify (+ 2.5014686557373813 0.9999999999998099) into 3.5014686557371912 132.568 * [backup-simplify]: Simplify (+ 1.426338511145653e-06 3.5014686557371912) into 3.5014700820757025 132.568 * [backup-simplify]: Simplify (+ 257.107809592551 3.5014700820757025) into 260.6092796746267 132.568 * [backup-simplify]: Simplify (+ 1.8820409189366395e-08 260.6092796746267) into 260.6092796934471 132.569 * [backup-simplify]: Simplify (+ 676.5203681218851 260.6092796934471) into 937.1296478153322 132.569 * [backup-simplify]: Simplify (* 176.6150291621406 0.25) into 44.15375729053515 132.569 * [backup-simplify]: Simplify (* 1259.1392167224028 0.5) into 629.5696083612014 132.569 * [backup-simplify]: Simplify (* 0.13857109526572012 0.16666666666666666) into 0.023095182544286684 132.570 * [backup-simplify]: Simplify (+ 629.5696083612014 0.023095182544286684) into 629.5927035437456 132.570 * [backup-simplify]: Simplify (+ 44.15375729053515 629.5927035437456) into 673.7464608342808 132.570 * [backup-simplify]: Simplify (- 673.7464608342808) into (- 673.7464608342808) 132.571 * [backup-simplify]: Simplify (+ 937.1296478153322 (- 673.7464608342808)) into 263.3831869810514 132.571 * [backup-simplify]: Simplify 263.3831869810514 into 263.3831869810514 132.571 * [backup-simplify]: Simplify (- 1) into -1 132.571 * [backup-simplify]: Simplify (+ 0 -1) into -1 132.572 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ -1 1.0)))) into 1.0 132.573 * [backup-simplify]: Simplify (+ (* 676.5203681218851 1.0) (* 0 1.0)) into 676.5203681218851 132.573 * [backup-simplify]: Simplify (- 1) into -1 132.574 * [backup-simplify]: Simplify (+ 0 -1) into -1 132.575 * [backup-simplify]: Simplify (- (+ (* 0.125 (/ -1 8.0)))) into 0.015625 132.576 * [backup-simplify]: Simplify (+ (* 1.5056327351493116e-07 0.015625) (* 0 0.125)) into 2.3525511486707994e-09 132.576 * [backup-simplify]: Simplify (- 1) into -1 132.576 * [backup-simplify]: Simplify (+ 0 -1) into -1 132.578 * [backup-simplify]: Simplify (- (+ (* 0.3333333333333333 (/ -1 3.0)))) into 0.1111111111111111 132.579 * [backup-simplify]: Simplify (+ (* 771.3234287776531 0.1111111111111111) (* 0 0.3333333333333333)) into 85.702603197517 132.579 * [backup-simplify]: Simplify (- 1) into -1 132.580 * [backup-simplify]: Simplify (+ 0 -1) into -1 132.581 * [backup-simplify]: Simplify (- (+ (* 0.14285714285714285 (/ -1 7.0)))) into 0.02040816326530612 132.582 * [backup-simplify]: Simplify (+ (* 9.984369578019572e-06 0.02040816326530612) (* 0 0.14285714285714285)) into 2.0376264444937899e-07 132.582 * [backup-simplify]: Simplify (- 1) into -1 132.582 * [backup-simplify]: Simplify (+ 0 -1) into -1 132.584 * [backup-simplify]: Simplify (- (+ (* 0.2 (/ -1 5.0)))) into 0.04000000000000001 132.585 * [backup-simplify]: Simplify (+ (* 12.507343278686905 0.04000000000000001) (* 0 0.2)) into 0.5002937311474763 132.585 * [backup-simplify]: Simplify (+ 0.5002937311474763 0) into 0.5002937311474763 132.585 * [backup-simplify]: Simplify (+ 2.0376264444937899e-07 0.5002937311474763) into 0.5002939349101208 132.585 * [backup-simplify]: Simplify (+ 85.702603197517 0.5002939349101208) into 86.20289713242713 132.586 * [backup-simplify]: Simplify (+ 2.3525511486707994e-09 86.20289713242713) into 86.20289713477968 132.586 * [backup-simplify]: Simplify (+ 676.5203681218851 86.20289713477968) into 762.7232652566647 132.586 * [backup-simplify]: Simplify (- 1) into -1 132.586 * [backup-simplify]: Simplify (+ 0 -1) into -1 132.588 * [backup-simplify]: Simplify (- (+ (* 0.25 (/ -1 4.0)))) into 0.0625 132.589 * [backup-simplify]: Simplify (+ (* 176.6150291621406 0.0625) (* 0 0.25)) into 11.038439322633787 132.589 * [backup-simplify]: Simplify (- 1) into -1 132.589 * [backup-simplify]: Simplify (+ 0 -1) into -1 132.591 * [backup-simplify]: Simplify (- (+ (* 0.5 (/ -1 2.0)))) into 0.25 132.591 * [backup-simplify]: Simplify (+ (* 1259.1392167224028 0.25) (* 0 0.5)) into 314.7848041806007 132.592 * [backup-simplify]: Simplify (- 1) into -1 132.592 * [backup-simplify]: Simplify (+ 0 -1) into -1 132.593 * [backup-simplify]: Simplify (- (+ (* 0.16666666666666666 (/ -1 6.0)))) into 0.027777777777777776 132.594 * [backup-simplify]: Simplify (+ (* 0.13857109526572012 0.027777777777777776) (* 0 0.16666666666666666)) into 0.0038491970907144476 132.595 * [backup-simplify]: Simplify (+ 314.7848041806007 0.0038491970907144476) into 314.7886533776914 132.595 * [backup-simplify]: Simplify (+ 11.038439322633787 314.7886533776914) into 325.8270927003252 132.595 * [backup-simplify]: Simplify (- 325.8270927003252) into (- 325.8270927003252) 132.596 * [backup-simplify]: Simplify (+ 762.7232652566647 (- 325.8270927003252)) into 436.89617255633954 132.596 * [backup-simplify]: Simplify 436.89617255633954 into 436.89617255633954 132.596 * [backup-simplify]: Simplify (- 0) into 0 132.596 * [backup-simplify]: Simplify (+ 0 0) into 0 132.598 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* 1.0 (/ -1 1.0)))) into 1.0 132.599 * [backup-simplify]: Simplify (+ (* 676.5203681218851 1.0) (+ (* 0 1.0) (* 0 1.0))) into 676.5203681218851 132.599 * [backup-simplify]: Simplify (- 0) into 0 132.599 * [backup-simplify]: Simplify (+ 0 0) into 0 132.601 * [backup-simplify]: Simplify (- (+ (* 0.125 (/ 0 8.0)) (* 0.015625 (/ -1 8.0)))) into 0.001953125 132.603 * [backup-simplify]: Simplify (+ (* 1.5056327351493116e-07 0.001953125) (+ (* 0 0.015625) (* 0 0.125))) into 2.940688935838499e-10 132.603 * [backup-simplify]: Simplify (- 0) into 0 132.603 * [backup-simplify]: Simplify (+ 0 0) into 0 132.605 * [backup-simplify]: Simplify (- (+ (* 0.3333333333333333 (/ 0 3.0)) (* 0.1111111111111111 (/ -1 3.0)))) into 0.037037037037037035 132.607 * [backup-simplify]: Simplify (+ (* 771.3234287776531 0.037037037037037035) (+ (* 0 0.1111111111111111) (* 0 0.3333333333333333))) into 28.567534399172338 132.607 * [backup-simplify]: Simplify (- 0) into 0 132.607 * [backup-simplify]: Simplify (+ 0 0) into 0 132.609 * [backup-simplify]: Simplify (- (+ (* 0.14285714285714285 (/ 0 7.0)) (* 0.02040816326530612 (/ -1 7.0)))) into 0.0029154518950437313 132.610 * [backup-simplify]: Simplify (+ (* 9.984369578019572e-06 0.0029154518950437313) (+ (* 0 0.02040816326530612) (* 0 0.14285714285714285))) into 2.910894920705414e-08 132.611 * [backup-simplify]: Simplify (- 0) into 0 132.611 * [backup-simplify]: Simplify (+ 0 0) into 0 132.613 * [backup-simplify]: Simplify (- (+ (* 0.2 (/ 0 5.0)) (* 0.04000000000000001 (/ -1 5.0)))) into 0.008000000000000002 132.614 * [backup-simplify]: Simplify (+ (* 12.507343278686905 0.008000000000000002) (+ (* 0 0.04000000000000001) (* 0 0.2))) into 0.10005874622949526 132.615 * [backup-simplify]: Simplify (+ 0.10005874622949526 0) into 0.10005874622949526 132.615 * [backup-simplify]: Simplify (+ 2.910894920705414e-08 0.10005874622949526) into 0.10005877533844447 132.615 * [backup-simplify]: Simplify (+ 28.567534399172338 0.10005877533844447) into 28.66759317451078 132.615 * [backup-simplify]: Simplify (+ 2.940688935838499e-10 28.66759317451078) into 28.66759317480485 132.616 * [backup-simplify]: Simplify (+ 676.5203681218851 28.66759317480485) into 705.18796129669 132.616 * [backup-simplify]: Simplify (- 0) into 0 132.616 * [backup-simplify]: Simplify (+ 0 0) into 0 132.618 * [backup-simplify]: Simplify (- (+ (* 0.25 (/ 0 4.0)) (* 0.0625 (/ -1 4.0)))) into 0.015625 132.620 * [backup-simplify]: Simplify (+ (* 176.6150291621406 0.015625) (+ (* 0 0.0625) (* 0 0.25))) into 2.7596098306584467 132.620 * [backup-simplify]: Simplify (- 0) into 0 132.620 * [backup-simplify]: Simplify (+ 0 0) into 0 132.622 * [backup-simplify]: Simplify (- (+ (* 0.5 (/ 0 2.0)) (* 0.25 (/ -1 2.0)))) into 0.125 132.623 * [backup-simplify]: Simplify (+ (* 1259.1392167224028 0.125) (+ (* 0 0.25) (* 0 0.5))) into 157.39240209030035 132.624 * [backup-simplify]: Simplify (- 0) into 0 132.624 * [backup-simplify]: Simplify (+ 0 0) into 0 132.626 * [backup-simplify]: Simplify (- (+ (* 0.16666666666666666 (/ 0 6.0)) (* 0.027777777777777776 (/ -1 6.0)))) into 0.004629629629629629 132.627 * [backup-simplify]: Simplify (+ (* 0.13857109526572012 0.004629629629629629) (+ (* 0 0.027777777777777776) (* 0 0.16666666666666666))) into 0.0006415328484524079 132.628 * [backup-simplify]: Simplify (+ 157.39240209030035 0.0006415328484524079) into 157.3930436231488 132.628 * [backup-simplify]: Simplify (+ 2.7596098306584467 157.3930436231488) into 160.15265345380723 132.628 * [backup-simplify]: Simplify (- 160.15265345380723) into (- 160.15265345380723) 132.629 * [backup-simplify]: Simplify (+ 705.18796129669 (- 160.15265345380723)) into 545.0353078428827 132.629 * [backup-simplify]: Simplify 545.0353078428827 into 545.0353078428827