1.052 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 2.417 * * * [progress]: [2/2] Setting up program. 2.430 * [progress]: [Phase 2 of 3] Improving. 2.430 * [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.430 * * [simplify]: Extracting # 0 : cost 0 2.431 * * [simplify]: Extracting # 1 : cost 0 2.431 * * [simplify]: Extracting # 2 : cost 0 2.431 * * [simplify]: Extracting # 3 : cost 0 2.431 * * [simplify]: Extracting # 4 : cost 0 2.431 * * [simplify]: Extracting # 5 : cost 0 2.431 * * [simplify]: Extracting # 6 : cost 0 2.431 * * [simplify]: Extracting # 7 : cost 0 2.431 * * [simplify]: Extracting # 8 : cost 0 2.431 * * [simplify]: Extracting # 9 : cost 0 2.431 * * [simplify]: Extracting # 10 : cost 0 2.431 * * [simplify]: Extracting # 11 : cost 0 2.431 * * [simplify]: Extracting # 12 : cost 0 2.431 * * [simplify]: Extracting # 13 : cost 0 2.431 * * [simplify]: Extracting # 14 : cost 0 2.431 * * [simplify]: Extracting # 15 : cost 0 2.431 * * [simplify]: Extracting # 16 : cost 0 2.431 * * [simplify]: Extracting # 17 : cost 0 2.432 * * [simplify]: Extracting # 18 : cost 0 2.432 * * [simplify]: iteration 0 : 60 enodes (cost 123 ) 2.481 * * [simplify]: Extracting # 0 : cost 0 2.481 * * [simplify]: Extracting # 1 : cost 0 2.481 * * [simplify]: Extracting # 2 : cost 0 2.481 * * [simplify]: Extracting # 3 : cost 0 2.481 * * [simplify]: Extracting # 4 : cost 0 2.482 * * [simplify]: iteration 1 : 148 enodes (cost 123 ) 2.531 * * [simplify]: Extracting # 0 : cost 0 2.531 * * [simplify]: Extracting # 1 : cost 0 2.532 * * [simplify]: Extracting # 2 : cost 0 2.533 * * [simplify]: Extracting # 3 : cost 0 2.534 * * [simplify]: Extracting # 4 : cost 0 2.535 * * [simplify]: Extracting # 5 : cost 0 2.536 * * [simplify]: iteration 2 : 609 enodes (cost 121 ) 3.226 * * [simplify]: Extracting # 0 : cost 0 3.235 * * [simplify]: Extracting # 1 : cost 0 3.250 * * [simplify]: Extracting # 2 : cost 0 3.255 * * [simplify]: Extracting # 3 : cost 0 3.260 * * [simplify]: Extracting # 4 : cost 0 3.264 * * [simplify]: Extracting # 5 : cost 0 3.269 * * [simplify]: iteration 3 : 3846 enodes (cost 88 ) 5.025 * * [simplify]: Extracting # 0 : cost 0 5.038 * * [simplify]: Extracting # 1 : cost 0 5.051 * * [simplify]: Extracting # 2 : cost 0 5.074 * * [simplify]: Extracting # 3 : cost 0 5.086 * * [simplify]: iteration done: 5001 enodes (cost 88 ) 5.087 * [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.114 * * [progress]: iteration 1 / 4 5.114 * * * [progress]: picking best candidate 5.161 * * * * [pick]: Picked # 5.161 * * * [progress]: localizing error 5.292 * * * [progress]: generating rewritten candidates 5.292 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 5.299 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 224.751 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 2 1 1 1) 225.143 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2) 320.102 * * * [progress]: generating series expansions 320.102 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 320.102 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 320.108 * [backup-simplify]: Simplify (* (/ (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)))))))) 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)))))) (* PI (pow (- 7.5 z) (- 0.5 z)))) (* (exp (- 7.5 z)) (sin (* z PI)))) 320.109 * [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)))))) (* PI (pow (- 7.5 z) (- 0.5 z)))) (* (exp (- 7.5 z)) (sin (* z PI)))) in (z) around 0 320.109 * [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)))))) (* PI (pow (- 7.5 z) (- 0.5 z)))) (* (exp (- 7.5 z)) (sin (* z PI)))) in z 320.109 * [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)))))) (* PI (pow (- 7.5 z) (- 0.5 z)))) in z 320.109 * [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 320.109 * [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 320.109 * [taylor]: Taking taylor expansion of (* 676.5203681218851 (/ 1 (- 1.0 z))) in z 320.109 * [taylor]: Taking taylor expansion of 676.5203681218851 in z 320.109 * [backup-simplify]: Simplify 676.5203681218851 into 676.5203681218851 320.109 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 z)) in z 320.109 * [taylor]: Taking taylor expansion of (- 1.0 z) in z 320.109 * [taylor]: Taking taylor expansion of 1.0 in z 320.109 * [backup-simplify]: Simplify 1.0 into 1.0 320.109 * [taylor]: Taking taylor expansion of z in z 320.109 * [backup-simplify]: Simplify 0 into 0 320.109 * [backup-simplify]: Simplify 1 into 1 320.110 * [backup-simplify]: Simplify (- 0) into 0 320.110 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 320.110 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 320.110 * [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 320.110 * [taylor]: Taking taylor expansion of (* 1.5056327351493116e-07 (/ 1 (- 8.0 z))) in z 320.110 * [taylor]: Taking taylor expansion of 1.5056327351493116e-07 in z 320.110 * [backup-simplify]: Simplify 1.5056327351493116e-07 into 1.5056327351493116e-07 320.110 * [taylor]: Taking taylor expansion of (/ 1 (- 8.0 z)) in z 320.110 * [taylor]: Taking taylor expansion of (- 8.0 z) in z 320.110 * [taylor]: Taking taylor expansion of 8.0 in z 320.110 * [backup-simplify]: Simplify 8.0 into 8.0 320.110 * [taylor]: Taking taylor expansion of z in z 320.110 * [backup-simplify]: Simplify 0 into 0 320.110 * [backup-simplify]: Simplify 1 into 1 320.110 * [backup-simplify]: Simplify (- 0) into 0 320.111 * [backup-simplify]: Simplify (+ 8.0 0) into 8.0 320.111 * [backup-simplify]: Simplify (/ 1 8.0) into 0.125 320.111 * [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 320.111 * [taylor]: Taking taylor expansion of (* 771.3234287776531 (/ 1 (- 3.0 z))) in z 320.111 * [taylor]: Taking taylor expansion of 771.3234287776531 in z 320.111 * [backup-simplify]: Simplify 771.3234287776531 into 771.3234287776531 320.111 * [taylor]: Taking taylor expansion of (/ 1 (- 3.0 z)) in z 320.111 * [taylor]: Taking taylor expansion of (- 3.0 z) in z 320.111 * [taylor]: Taking taylor expansion of 3.0 in z 320.111 * [backup-simplify]: Simplify 3.0 into 3.0 320.111 * [taylor]: Taking taylor expansion of z in z 320.111 * [backup-simplify]: Simplify 0 into 0 320.111 * [backup-simplify]: Simplify 1 into 1 320.111 * [backup-simplify]: Simplify (- 0) into 0 320.112 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0 320.112 * [backup-simplify]: Simplify (/ 1 3.0) into 0.3333333333333333 320.112 * [taylor]: Taking taylor expansion of (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) (+ (* 12.507343278686905 (/ 1 (- 5.0 z))) 0.9999999999998099)) in z 320.112 * [taylor]: Taking taylor expansion of (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) in z 320.112 * [taylor]: Taking taylor expansion of 9.984369578019572e-06 in z 320.112 * [backup-simplify]: Simplify 9.984369578019572e-06 into 9.984369578019572e-06 320.112 * [taylor]: Taking taylor expansion of (/ 1 (- 7.0 z)) in z 320.112 * [taylor]: Taking taylor expansion of (- 7.0 z) in z 320.112 * [taylor]: Taking taylor expansion of 7.0 in z 320.112 * [backup-simplify]: Simplify 7.0 into 7.0 320.112 * [taylor]: Taking taylor expansion of z in z 320.112 * [backup-simplify]: Simplify 0 into 0 320.112 * [backup-simplify]: Simplify 1 into 1 320.112 * [backup-simplify]: Simplify (- 0) into 0 320.113 * [backup-simplify]: Simplify (+ 7.0 0) into 7.0 320.113 * [backup-simplify]: Simplify (/ 1 7.0) into 0.14285714285714285 320.113 * [taylor]: Taking taylor expansion of (+ (* 12.507343278686905 (/ 1 (- 5.0 z))) 0.9999999999998099) in z 320.113 * [taylor]: Taking taylor expansion of (* 12.507343278686905 (/ 1 (- 5.0 z))) in z 320.113 * [taylor]: Taking taylor expansion of 12.507343278686905 in z 320.113 * [backup-simplify]: Simplify 12.507343278686905 into 12.507343278686905 320.113 * [taylor]: Taking taylor expansion of (/ 1 (- 5.0 z)) in z 320.113 * [taylor]: Taking taylor expansion of (- 5.0 z) in z 320.113 * [taylor]: Taking taylor expansion of 5.0 in z 320.113 * [backup-simplify]: Simplify 5.0 into 5.0 320.113 * [taylor]: Taking taylor expansion of z in z 320.113 * [backup-simplify]: Simplify 0 into 0 320.113 * [backup-simplify]: Simplify 1 into 1 320.113 * [backup-simplify]: Simplify (- 0) into 0 320.114 * [backup-simplify]: Simplify (+ 5.0 0) into 5.0 320.114 * [backup-simplify]: Simplify (/ 1 5.0) into 0.2 320.114 * [taylor]: Taking taylor expansion of 0.9999999999998099 in z 320.114 * [backup-simplify]: Simplify 0.9999999999998099 into 0.9999999999998099 320.114 * [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 320.114 * [taylor]: Taking taylor expansion of (* 176.6150291621406 (/ 1 (- 4.0 z))) in z 320.114 * [taylor]: Taking taylor expansion of 176.6150291621406 in z 320.114 * [backup-simplify]: Simplify 176.6150291621406 into 176.6150291621406 320.114 * [taylor]: Taking taylor expansion of (/ 1 (- 4.0 z)) in z 320.114 * [taylor]: Taking taylor expansion of (- 4.0 z) in z 320.114 * [taylor]: Taking taylor expansion of 4.0 in z 320.114 * [backup-simplify]: Simplify 4.0 into 4.0 320.114 * [taylor]: Taking taylor expansion of z in z 320.114 * [backup-simplify]: Simplify 0 into 0 320.114 * [backup-simplify]: Simplify 1 into 1 320.114 * [backup-simplify]: Simplify (- 0) into 0 320.115 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0 320.115 * [backup-simplify]: Simplify (/ 1 4.0) into 0.25 320.115 * [taylor]: Taking taylor expansion of (+ (* 1259.1392167224028 (/ 1 (- 2.0 z))) (* 0.13857109526572012 (/ 1 (- 6.0 z)))) in z 320.115 * [taylor]: Taking taylor expansion of (* 1259.1392167224028 (/ 1 (- 2.0 z))) in z 320.115 * [taylor]: Taking taylor expansion of 1259.1392167224028 in z 320.115 * [backup-simplify]: Simplify 1259.1392167224028 into 1259.1392167224028 320.115 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 z)) in z 320.115 * [taylor]: Taking taylor expansion of (- 2.0 z) in z 320.115 * [taylor]: Taking taylor expansion of 2.0 in z 320.115 * [backup-simplify]: Simplify 2.0 into 2.0 320.115 * [taylor]: Taking taylor expansion of z in z 320.115 * [backup-simplify]: Simplify 0 into 0 320.115 * [backup-simplify]: Simplify 1 into 1 320.115 * [backup-simplify]: Simplify (- 0) into 0 320.116 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 320.116 * [backup-simplify]: Simplify (/ 1 2.0) into 0.5 320.116 * [taylor]: Taking taylor expansion of (* 0.13857109526572012 (/ 1 (- 6.0 z))) in z 320.116 * [taylor]: Taking taylor expansion of 0.13857109526572012 in z 320.116 * [backup-simplify]: Simplify 0.13857109526572012 into 0.13857109526572012 320.116 * [taylor]: Taking taylor expansion of (/ 1 (- 6.0 z)) in z 320.116 * [taylor]: Taking taylor expansion of (- 6.0 z) in z 320.116 * [taylor]: Taking taylor expansion of 6.0 in z 320.116 * [backup-simplify]: Simplify 6.0 into 6.0 320.116 * [taylor]: Taking taylor expansion of z in z 320.116 * [backup-simplify]: Simplify 0 into 0 320.116 * [backup-simplify]: Simplify 1 into 1 320.116 * [backup-simplify]: Simplify (- 0) into 0 320.116 * [backup-simplify]: Simplify (+ 6.0 0) into 6.0 320.117 * [backup-simplify]: Simplify (/ 1 6.0) into 0.16666666666666666 320.117 * [taylor]: Taking taylor expansion of (* PI (pow (- 7.5 z) (- 0.5 z))) in z 320.117 * [taylor]: Taking taylor expansion of PI in z 320.117 * [backup-simplify]: Simplify PI into PI 320.117 * [taylor]: Taking taylor expansion of (pow (- 7.5 z) (- 0.5 z)) in z 320.117 * [taylor]: Taking taylor expansion of (exp (* (- 0.5 z) (log (- 7.5 z)))) in z 320.117 * [taylor]: Taking taylor expansion of (* (- 0.5 z) (log (- 7.5 z))) in z 320.117 * [taylor]: Taking taylor expansion of (- 0.5 z) in z 320.117 * [taylor]: Taking taylor expansion of 0.5 in z 320.117 * [backup-simplify]: Simplify 0.5 into 0.5 320.117 * [taylor]: Taking taylor expansion of z in z 320.117 * [backup-simplify]: Simplify 0 into 0 320.117 * [backup-simplify]: Simplify 1 into 1 320.117 * [taylor]: Taking taylor expansion of (log (- 7.5 z)) in z 320.117 * [taylor]: Taking taylor expansion of (- 7.5 z) in z 320.117 * [taylor]: Taking taylor expansion of 7.5 in z 320.117 * [backup-simplify]: Simplify 7.5 into 7.5 320.117 * [taylor]: Taking taylor expansion of z in z 320.117 * [backup-simplify]: Simplify 0 into 0 320.117 * [backup-simplify]: Simplify 1 into 1 320.117 * [backup-simplify]: Simplify (- 0) into 0 320.118 * [backup-simplify]: Simplify (+ 7.5 0) into 7.5 320.118 * [backup-simplify]: Simplify (log 7.5) into (log 7.5) 320.118 * [backup-simplify]: Simplify (- 0) into 0 320.118 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5 320.119 * [backup-simplify]: Simplify (* 0.5 (log 7.5)) into (* 0.5 (log 7.5)) 320.120 * [backup-simplify]: Simplify (exp (* 0.5 (log 7.5))) into (pow 7.5 0.5) 320.120 * [taylor]: Taking taylor expansion of (* (exp (- 7.5 z)) (sin (* z PI))) in z 320.120 * [taylor]: Taking taylor expansion of (exp (- 7.5 z)) in z 320.120 * [taylor]: Taking taylor expansion of (- 7.5 z) in z 320.120 * [taylor]: Taking taylor expansion of 7.5 in z 320.120 * [backup-simplify]: Simplify 7.5 into 7.5 320.120 * [taylor]: Taking taylor expansion of z in z 320.120 * [backup-simplify]: Simplify 0 into 0 320.120 * [backup-simplify]: Simplify 1 into 1 320.120 * [backup-simplify]: Simplify (- 0) into 0 320.120 * [backup-simplify]: Simplify (+ 7.5 0) into 7.5 320.120 * [backup-simplify]: Simplify (exp 7.5) into (exp 7.5) 320.121 * [taylor]: Taking taylor expansion of (sin (* z PI)) in z 320.121 * [taylor]: Taking taylor expansion of (* z PI) in z 320.121 * [taylor]: Taking taylor expansion of z in z 320.121 * [backup-simplify]: Simplify 0 into 0 320.121 * [backup-simplify]: Simplify 1 into 1 320.121 * [taylor]: Taking taylor expansion of PI in z 320.121 * [backup-simplify]: Simplify PI into PI 320.121 * [backup-simplify]: Simplify (* 0 PI) into 0 320.122 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 PI)) into PI 320.122 * [backup-simplify]: Simplify (* 676.5203681218851 1.0) into 676.5203681218851 320.122 * [backup-simplify]: Simplify (* 1.5056327351493116e-07 0.125) into 1.8820409189366395e-08 320.122 * [backup-simplify]: Simplify (* 771.3234287776531 0.3333333333333333) into 257.107809592551 320.123 * [backup-simplify]: Simplify (* 9.984369578019572e-06 0.14285714285714285) into 1.426338511145653e-06 320.123 * [backup-simplify]: Simplify (* 12.507343278686905 0.2) into 2.5014686557373813 320.123 * [backup-simplify]: Simplify (+ 2.5014686557373813 0.9999999999998099) into 3.5014686557371912 320.124 * [backup-simplify]: Simplify (+ 1.426338511145653e-06 3.5014686557371912) into 3.5014700820757025 320.124 * [backup-simplify]: Simplify (+ 257.107809592551 3.5014700820757025) into 260.6092796746267 320.124 * [backup-simplify]: Simplify (+ 1.8820409189366395e-08 260.6092796746267) into 260.6092796934471 320.124 * [backup-simplify]: Simplify (+ 676.5203681218851 260.6092796934471) into 937.1296478153322 320.125 * [backup-simplify]: Simplify (* 176.6150291621406 0.25) into 44.15375729053515 320.125 * [backup-simplify]: Simplify (* 1259.1392167224028 0.5) into 629.5696083612014 320.125 * [backup-simplify]: Simplify (* 0.13857109526572012 0.16666666666666666) into 0.023095182544286684 320.125 * [backup-simplify]: Simplify (+ 629.5696083612014 0.023095182544286684) into 629.5927035437456 320.126 * [backup-simplify]: Simplify (+ 44.15375729053515 629.5927035437456) into 673.7464608342808 320.126 * [backup-simplify]: Simplify (- 673.7464608342808) into (- 673.7464608342808) 320.126 * [backup-simplify]: Simplify (+ 937.1296478153322 (- 673.7464608342808)) into 263.3831869810514 320.127 * [backup-simplify]: Simplify (* PI (pow 7.5 0.5)) into (* (pow (pow 7.5 1.0) 0.5) PI) 320.129 * [backup-simplify]: Simplify (* 263.3831869810514 (* (pow (pow 7.5 1.0) 0.5) PI)) into (* 263.3831869810514 (* (pow (pow 7.5 1.0) 0.5) PI)) 320.129 * [backup-simplify]: Simplify (* (exp 7.5) 0) into 0 320.131 * [backup-simplify]: Simplify (+ (* 1 (/ (pow PI 1) 1))) into PI 320.131 * [backup-simplify]: Simplify (- 1) into -1 320.131 * [backup-simplify]: Simplify (+ 0 -1) into -1 320.132 * [backup-simplify]: Simplify (* (exp 7.5) (+ (* (/ (pow -1 1) 1)))) into (* -1 (exp 7.5)) 320.134 * [backup-simplify]: Simplify (+ (* (exp 7.5) PI) (* (* -1 (exp 7.5)) 0)) into (* (exp 7.5) PI) 320.137 * [backup-simplify]: Simplify (/ (* 263.3831869810514 (* (pow (pow 7.5 1.0) 0.5) PI)) (* (exp 7.5) PI)) into (* 263.3831869810514 (* (/ 1 (exp 7.5)) (pow (pow 7.5 1.0) 0.5))) 320.137 * [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)))))) (* PI (pow (- 7.5 z) (- 0.5 z)))) (* (exp (- 7.5 z)) (sin (* z PI)))) in z 320.137 * [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)))))) (* PI (pow (- 7.5 z) (- 0.5 z)))) in z 320.137 * [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 320.137 * [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 320.137 * [taylor]: Taking taylor expansion of (* 676.5203681218851 (/ 1 (- 1.0 z))) in z 320.137 * [taylor]: Taking taylor expansion of 676.5203681218851 in z 320.137 * [backup-simplify]: Simplify 676.5203681218851 into 676.5203681218851 320.137 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 z)) in z 320.137 * [taylor]: Taking taylor expansion of (- 1.0 z) in z 320.137 * [taylor]: Taking taylor expansion of 1.0 in z 320.137 * [backup-simplify]: Simplify 1.0 into 1.0 320.137 * [taylor]: Taking taylor expansion of z in z 320.137 * [backup-simplify]: Simplify 0 into 0 320.137 * [backup-simplify]: Simplify 1 into 1 320.137 * [backup-simplify]: Simplify (- 0) into 0 320.138 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 320.138 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 320.138 * [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 320.138 * [taylor]: Taking taylor expansion of (* 1.5056327351493116e-07 (/ 1 (- 8.0 z))) in z 320.138 * [taylor]: Taking taylor expansion of 1.5056327351493116e-07 in z 320.138 * [backup-simplify]: Simplify 1.5056327351493116e-07 into 1.5056327351493116e-07 320.138 * [taylor]: Taking taylor expansion of (/ 1 (- 8.0 z)) in z 320.138 * [taylor]: Taking taylor expansion of (- 8.0 z) in z 320.138 * [taylor]: Taking taylor expansion of 8.0 in z 320.138 * [backup-simplify]: Simplify 8.0 into 8.0 320.138 * [taylor]: Taking taylor expansion of z in z 320.138 * [backup-simplify]: Simplify 0 into 0 320.138 * [backup-simplify]: Simplify 1 into 1 320.138 * [backup-simplify]: Simplify (- 0) into 0 320.139 * [backup-simplify]: Simplify (+ 8.0 0) into 8.0 320.139 * [backup-simplify]: Simplify (/ 1 8.0) into 0.125 320.139 * [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 320.139 * [taylor]: Taking taylor expansion of (* 771.3234287776531 (/ 1 (- 3.0 z))) in z 320.139 * [taylor]: Taking taylor expansion of 771.3234287776531 in z 320.139 * [backup-simplify]: Simplify 771.3234287776531 into 771.3234287776531 320.139 * [taylor]: Taking taylor expansion of (/ 1 (- 3.0 z)) in z 320.139 * [taylor]: Taking taylor expansion of (- 3.0 z) in z 320.139 * [taylor]: Taking taylor expansion of 3.0 in z 320.139 * [backup-simplify]: Simplify 3.0 into 3.0 320.139 * [taylor]: Taking taylor expansion of z in z 320.139 * [backup-simplify]: Simplify 0 into 0 320.139 * [backup-simplify]: Simplify 1 into 1 320.139 * [backup-simplify]: Simplify (- 0) into 0 320.140 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0 320.140 * [backup-simplify]: Simplify (/ 1 3.0) into 0.3333333333333333 320.140 * [taylor]: Taking taylor expansion of (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) (+ (* 12.507343278686905 (/ 1 (- 5.0 z))) 0.9999999999998099)) in z 320.140 * [taylor]: Taking taylor expansion of (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) in z 320.140 * [taylor]: Taking taylor expansion of 9.984369578019572e-06 in z 320.140 * [backup-simplify]: Simplify 9.984369578019572e-06 into 9.984369578019572e-06 320.140 * [taylor]: Taking taylor expansion of (/ 1 (- 7.0 z)) in z 320.140 * [taylor]: Taking taylor expansion of (- 7.0 z) in z 320.140 * [taylor]: Taking taylor expansion of 7.0 in z 320.140 * [backup-simplify]: Simplify 7.0 into 7.0 320.140 * [taylor]: Taking taylor expansion of z in z 320.140 * [backup-simplify]: Simplify 0 into 0 320.140 * [backup-simplify]: Simplify 1 into 1 320.140 * [backup-simplify]: Simplify (- 0) into 0 320.141 * [backup-simplify]: Simplify (+ 7.0 0) into 7.0 320.141 * [backup-simplify]: Simplify (/ 1 7.0) into 0.14285714285714285 320.141 * [taylor]: Taking taylor expansion of (+ (* 12.507343278686905 (/ 1 (- 5.0 z))) 0.9999999999998099) in z 320.141 * [taylor]: Taking taylor expansion of (* 12.507343278686905 (/ 1 (- 5.0 z))) in z 320.141 * [taylor]: Taking taylor expansion of 12.507343278686905 in z 320.141 * [backup-simplify]: Simplify 12.507343278686905 into 12.507343278686905 320.141 * [taylor]: Taking taylor expansion of (/ 1 (- 5.0 z)) in z 320.141 * [taylor]: Taking taylor expansion of (- 5.0 z) in z 320.141 * [taylor]: Taking taylor expansion of 5.0 in z 320.141 * [backup-simplify]: Simplify 5.0 into 5.0 320.141 * [taylor]: Taking taylor expansion of z in z 320.141 * [backup-simplify]: Simplify 0 into 0 320.141 * [backup-simplify]: Simplify 1 into 1 320.141 * [backup-simplify]: Simplify (- 0) into 0 320.142 * [backup-simplify]: Simplify (+ 5.0 0) into 5.0 320.142 * [backup-simplify]: Simplify (/ 1 5.0) into 0.2 320.142 * [taylor]: Taking taylor expansion of 0.9999999999998099 in z 320.142 * [backup-simplify]: Simplify 0.9999999999998099 into 0.9999999999998099 320.142 * [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 320.142 * [taylor]: Taking taylor expansion of (* 176.6150291621406 (/ 1 (- 4.0 z))) in z 320.142 * [taylor]: Taking taylor expansion of 176.6150291621406 in z 320.142 * [backup-simplify]: Simplify 176.6150291621406 into 176.6150291621406 320.142 * [taylor]: Taking taylor expansion of (/ 1 (- 4.0 z)) in z 320.142 * [taylor]: Taking taylor expansion of (- 4.0 z) in z 320.142 * [taylor]: Taking taylor expansion of 4.0 in z 320.142 * [backup-simplify]: Simplify 4.0 into 4.0 320.142 * [taylor]: Taking taylor expansion of z in z 320.142 * [backup-simplify]: Simplify 0 into 0 320.142 * [backup-simplify]: Simplify 1 into 1 320.142 * [backup-simplify]: Simplify (- 0) into 0 320.143 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0 320.143 * [backup-simplify]: Simplify (/ 1 4.0) into 0.25 320.143 * [taylor]: Taking taylor expansion of (+ (* 1259.1392167224028 (/ 1 (- 2.0 z))) (* 0.13857109526572012 (/ 1 (- 6.0 z)))) in z 320.143 * [taylor]: Taking taylor expansion of (* 1259.1392167224028 (/ 1 (- 2.0 z))) in z 320.143 * [taylor]: Taking taylor expansion of 1259.1392167224028 in z 320.143 * [backup-simplify]: Simplify 1259.1392167224028 into 1259.1392167224028 320.143 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 z)) in z 320.143 * [taylor]: Taking taylor expansion of (- 2.0 z) in z 320.143 * [taylor]: Taking taylor expansion of 2.0 in z 320.143 * [backup-simplify]: Simplify 2.0 into 2.0 320.143 * [taylor]: Taking taylor expansion of z in z 320.143 * [backup-simplify]: Simplify 0 into 0 320.143 * [backup-simplify]: Simplify 1 into 1 320.143 * [backup-simplify]: Simplify (- 0) into 0 320.143 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 320.144 * [backup-simplify]: Simplify (/ 1 2.0) into 0.5 320.144 * [taylor]: Taking taylor expansion of (* 0.13857109526572012 (/ 1 (- 6.0 z))) in z 320.144 * [taylor]: Taking taylor expansion of 0.13857109526572012 in z 320.144 * [backup-simplify]: Simplify 0.13857109526572012 into 0.13857109526572012 320.144 * [taylor]: Taking taylor expansion of (/ 1 (- 6.0 z)) in z 320.144 * [taylor]: Taking taylor expansion of (- 6.0 z) in z 320.144 * [taylor]: Taking taylor expansion of 6.0 in z 320.144 * [backup-simplify]: Simplify 6.0 into 6.0 320.144 * [taylor]: Taking taylor expansion of z in z 320.144 * [backup-simplify]: Simplify 0 into 0 320.144 * [backup-simplify]: Simplify 1 into 1 320.144 * [backup-simplify]: Simplify (- 0) into 0 320.144 * [backup-simplify]: Simplify (+ 6.0 0) into 6.0 320.145 * [backup-simplify]: Simplify (/ 1 6.0) into 0.16666666666666666 320.145 * [taylor]: Taking taylor expansion of (* PI (pow (- 7.5 z) (- 0.5 z))) in z 320.145 * [taylor]: Taking taylor expansion of PI in z 320.145 * [backup-simplify]: Simplify PI into PI 320.145 * [taylor]: Taking taylor expansion of (pow (- 7.5 z) (- 0.5 z)) in z 320.145 * [taylor]: Taking taylor expansion of (exp (* (- 0.5 z) (log (- 7.5 z)))) in z 320.145 * [taylor]: Taking taylor expansion of (* (- 0.5 z) (log (- 7.5 z))) in z 320.145 * [taylor]: Taking taylor expansion of (- 0.5 z) in z 320.145 * [taylor]: Taking taylor expansion of 0.5 in z 320.145 * [backup-simplify]: Simplify 0.5 into 0.5 320.145 * [taylor]: Taking taylor expansion of z in z 320.145 * [backup-simplify]: Simplify 0 into 0 320.145 * [backup-simplify]: Simplify 1 into 1 320.145 * [taylor]: Taking taylor expansion of (log (- 7.5 z)) in z 320.145 * [taylor]: Taking taylor expansion of (- 7.5 z) in z 320.145 * [taylor]: Taking taylor expansion of 7.5 in z 320.145 * [backup-simplify]: Simplify 7.5 into 7.5 320.145 * [taylor]: Taking taylor expansion of z in z 320.145 * [backup-simplify]: Simplify 0 into 0 320.145 * [backup-simplify]: Simplify 1 into 1 320.145 * [backup-simplify]: Simplify (- 0) into 0 320.145 * [backup-simplify]: Simplify (+ 7.5 0) into 7.5 320.146 * [backup-simplify]: Simplify (log 7.5) into (log 7.5) 320.146 * [backup-simplify]: Simplify (- 0) into 0 320.146 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5 320.147 * [backup-simplify]: Simplify (* 0.5 (log 7.5)) into (* 0.5 (log 7.5)) 320.148 * [backup-simplify]: Simplify (exp (* 0.5 (log 7.5))) into (pow 7.5 0.5) 320.148 * [taylor]: Taking taylor expansion of (* (exp (- 7.5 z)) (sin (* z PI))) in z 320.148 * [taylor]: Taking taylor expansion of (exp (- 7.5 z)) in z 320.148 * [taylor]: Taking taylor expansion of (- 7.5 z) in z 320.148 * [taylor]: Taking taylor expansion of 7.5 in z 320.148 * [backup-simplify]: Simplify 7.5 into 7.5 320.148 * [taylor]: Taking taylor expansion of z in z 320.148 * [backup-simplify]: Simplify 0 into 0 320.148 * [backup-simplify]: Simplify 1 into 1 320.148 * [backup-simplify]: Simplify (- 0) into 0 320.148 * [backup-simplify]: Simplify (+ 7.5 0) into 7.5 320.148 * [backup-simplify]: Simplify (exp 7.5) into (exp 7.5) 320.148 * [taylor]: Taking taylor expansion of (sin (* z PI)) in z 320.148 * [taylor]: Taking taylor expansion of (* z PI) in z 320.148 * [taylor]: Taking taylor expansion of z in z 320.148 * [backup-simplify]: Simplify 0 into 0 320.148 * [backup-simplify]: Simplify 1 into 1 320.148 * [taylor]: Taking taylor expansion of PI in z 320.148 * [backup-simplify]: Simplify PI into PI 320.149 * [backup-simplify]: Simplify (* 0 PI) into 0 320.150 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 PI)) into PI 320.150 * [backup-simplify]: Simplify (* 676.5203681218851 1.0) into 676.5203681218851 320.150 * [backup-simplify]: Simplify (* 1.5056327351493116e-07 0.125) into 1.8820409189366395e-08 320.150 * [backup-simplify]: Simplify (* 771.3234287776531 0.3333333333333333) into 257.107809592551 320.151 * [backup-simplify]: Simplify (* 9.984369578019572e-06 0.14285714285714285) into 1.426338511145653e-06 320.151 * [backup-simplify]: Simplify (* 12.507343278686905 0.2) into 2.5014686557373813 320.151 * [backup-simplify]: Simplify (+ 2.5014686557373813 0.9999999999998099) into 3.5014686557371912 320.151 * [backup-simplify]: Simplify (+ 1.426338511145653e-06 3.5014686557371912) into 3.5014700820757025 320.152 * [backup-simplify]: Simplify (+ 257.107809592551 3.5014700820757025) into 260.6092796746267 320.152 * [backup-simplify]: Simplify (+ 1.8820409189366395e-08 260.6092796746267) into 260.6092796934471 320.152 * [backup-simplify]: Simplify (+ 676.5203681218851 260.6092796934471) into 937.1296478153322 320.152 * [backup-simplify]: Simplify (* 176.6150291621406 0.25) into 44.15375729053515 320.153 * [backup-simplify]: Simplify (* 1259.1392167224028 0.5) into 629.5696083612014 320.153 * [backup-simplify]: Simplify (* 0.13857109526572012 0.16666666666666666) into 0.023095182544286684 320.153 * [backup-simplify]: Simplify (+ 629.5696083612014 0.023095182544286684) into 629.5927035437456 320.153 * [backup-simplify]: Simplify (+ 44.15375729053515 629.5927035437456) into 673.7464608342808 320.154 * [backup-simplify]: Simplify (- 673.7464608342808) into (- 673.7464608342808) 320.154 * [backup-simplify]: Simplify (+ 937.1296478153322 (- 673.7464608342808)) into 263.3831869810514 320.155 * [backup-simplify]: Simplify (* PI (pow 7.5 0.5)) into (* (pow (pow 7.5 1.0) 0.5) PI) 320.156 * [backup-simplify]: Simplify (* 263.3831869810514 (* (pow (pow 7.5 1.0) 0.5) PI)) into (* 263.3831869810514 (* (pow (pow 7.5 1.0) 0.5) PI)) 320.157 * [backup-simplify]: Simplify (* (exp 7.5) 0) into 0 320.158 * [backup-simplify]: Simplify (+ (* 1 (/ (pow PI 1) 1))) into PI 320.158 * [backup-simplify]: Simplify (- 1) into -1 320.159 * [backup-simplify]: Simplify (+ 0 -1) into -1 320.160 * [backup-simplify]: Simplify (* (exp 7.5) (+ (* (/ (pow -1 1) 1)))) into (* -1 (exp 7.5)) 320.161 * [backup-simplify]: Simplify (+ (* (exp 7.5) PI) (* (* -1 (exp 7.5)) 0)) into (* (exp 7.5) PI) 320.164 * [backup-simplify]: Simplify (/ (* 263.3831869810514 (* (pow (pow 7.5 1.0) 0.5) PI)) (* (exp 7.5) PI)) into (* 263.3831869810514 (* (/ 1 (exp 7.5)) (pow (pow 7.5 1.0) 0.5))) 320.167 * [backup-simplify]: Simplify (* 263.3831869810514 (* (/ 1 (exp 7.5)) (pow (pow 7.5 1.0) 0.5))) into (* 263.3831869810514 (* (/ 1 (exp 7.5)) (pow (pow 7.5 1.0) 0.5))) 320.167 * [backup-simplify]: Simplify (- 1) into -1 320.167 * [backup-simplify]: Simplify (+ 0 -1) into -1 320.170 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 7.5 1)))) 1) into -0.13333333333333333 320.170 * [backup-simplify]: Simplify (- 1) into -1 320.171 * [backup-simplify]: Simplify (+ 0 -1) into -1 320.172 * [backup-simplify]: Simplify (+ (* 0.5 -0.13333333333333333) (* -1 (log 7.5))) into (- (+ (log 7.5) 0.06666666666666667)) 320.177 * [backup-simplify]: Simplify (* (exp (* 0.5 (log 7.5))) (+ (* (/ (pow (- (+ (log 7.5) 0.06666666666666667)) 1) 1)))) into (* -1 (* (+ (log 7.5) 0.06666666666666667) (pow (pow 7.5 1.0) 0.5))) 320.182 * [backup-simplify]: Simplify (+ (* PI (* -1 (* (+ (log 7.5) 0.06666666666666667) (pow (pow 7.5 1.0) 0.5)))) (* 0 (pow 7.5 0.5))) into (- (+ (* 0.06666666666666667 (* (pow (pow 7.5 1.0) 0.5) PI)) (* (* (log 7.5) PI) (pow (pow 7.5 1.0) 0.5)))) 320.182 * [backup-simplify]: Simplify (- 1) into -1 320.182 * [backup-simplify]: Simplify (+ 0 -1) into -1 320.183 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ -1 1.0)))) into 1.0 320.184 * [backup-simplify]: Simplify (+ (* 676.5203681218851 1.0) (* 0 1.0)) into 676.5203681218851 320.185 * [backup-simplify]: Simplify (- 1) into -1 320.185 * [backup-simplify]: Simplify (+ 0 -1) into -1 320.186 * [backup-simplify]: Simplify (- (+ (* 0.125 (/ -1 8.0)))) into 0.015625 320.187 * [backup-simplify]: Simplify (+ (* 1.5056327351493116e-07 0.015625) (* 0 0.125)) into 2.3525511486707994e-09 320.187 * [backup-simplify]: Simplify (- 1) into -1 320.188 * [backup-simplify]: Simplify (+ 0 -1) into -1 320.192 * [backup-simplify]: Simplify (- (+ (* 0.3333333333333333 (/ -1 3.0)))) into 0.1111111111111111 320.192 * [backup-simplify]: Simplify (+ (* 771.3234287776531 0.1111111111111111) (* 0 0.3333333333333333)) into 85.702603197517 320.193 * [backup-simplify]: Simplify (- 1) into -1 320.193 * [backup-simplify]: Simplify (+ 0 -1) into -1 320.194 * [backup-simplify]: Simplify (- (+ (* 0.14285714285714285 (/ -1 7.0)))) into 0.02040816326530612 320.195 * [backup-simplify]: Simplify (+ (* 9.984369578019572e-06 0.02040816326530612) (* 0 0.14285714285714285)) into 2.0376264444937899e-07 320.195 * [backup-simplify]: Simplify (- 1) into -1 320.196 * [backup-simplify]: Simplify (+ 0 -1) into -1 320.197 * [backup-simplify]: Simplify (- (+ (* 0.2 (/ -1 5.0)))) into 0.04000000000000001 320.198 * [backup-simplify]: Simplify (+ (* 12.507343278686905 0.04000000000000001) (* 0 0.2)) into 0.5002937311474763 320.198 * [backup-simplify]: Simplify (+ 0.5002937311474763 0) into 0.5002937311474763 320.198 * [backup-simplify]: Simplify (+ 2.0376264444937899e-07 0.5002937311474763) into 0.5002939349101208 320.198 * [backup-simplify]: Simplify (+ 85.702603197517 0.5002939349101208) into 86.20289713242713 320.199 * [backup-simplify]: Simplify (+ 2.3525511486707994e-09 86.20289713242713) into 86.20289713477968 320.199 * [backup-simplify]: Simplify (+ 676.5203681218851 86.20289713477968) into 762.7232652566647 320.199 * [backup-simplify]: Simplify (- 1) into -1 320.199 * [backup-simplify]: Simplify (+ 0 -1) into -1 320.201 * [backup-simplify]: Simplify (- (+ (* 0.25 (/ -1 4.0)))) into 0.0625 320.202 * [backup-simplify]: Simplify (+ (* 176.6150291621406 0.0625) (* 0 0.25)) into 11.038439322633787 320.202 * [backup-simplify]: Simplify (- 1) into -1 320.202 * [backup-simplify]: Simplify (+ 0 -1) into -1 320.203 * [backup-simplify]: Simplify (- (+ (* 0.5 (/ -1 2.0)))) into 0.25 320.204 * [backup-simplify]: Simplify (+ (* 1259.1392167224028 0.25) (* 0 0.5)) into 314.7848041806007 320.204 * [backup-simplify]: Simplify (- 1) into -1 320.205 * [backup-simplify]: Simplify (+ 0 -1) into -1 320.206 * [backup-simplify]: Simplify (- (+ (* 0.16666666666666666 (/ -1 6.0)))) into 0.027777777777777776 320.207 * [backup-simplify]: Simplify (+ (* 0.13857109526572012 0.027777777777777776) (* 0 0.16666666666666666)) into 0.0038491970907144476 320.207 * [backup-simplify]: Simplify (+ 314.7848041806007 0.0038491970907144476) into 314.7886533776914 320.207 * [backup-simplify]: Simplify (+ 11.038439322633787 314.7886533776914) into 325.8270927003252 320.208 * [backup-simplify]: Simplify (- 325.8270927003252) into (- 325.8270927003252) 320.208 * [backup-simplify]: Simplify (+ 762.7232652566647 (- 325.8270927003252)) into 436.89617255633954 320.218 * [backup-simplify]: Simplify (+ (* 263.3831869810514 (- (+ (* 0.06666666666666667 (* (pow (pow 7.5 1.0) 0.5) PI)) (* (* (log 7.5) PI) (pow (pow 7.5 1.0) 0.5))))) (* 436.89617255633954 (* (pow (pow 7.5 1.0) 0.5) PI))) into (- (* 419.33729342426943 (* (pow (pow 7.5 1.0) 0.5) PI)) (* 263.3831869810514 (* (* (log 7.5) PI) (pow (pow 7.5 1.0) 0.5)))) 320.218 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 PI))) into 0 320.219 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 320.219 * [backup-simplify]: Simplify (- 0) into 0 320.219 * [backup-simplify]: Simplify (+ 0 0) into 0 320.221 * [backup-simplify]: Simplify (* (exp 7.5) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (exp 7.5)) 320.224 * [backup-simplify]: Simplify (+ (* (exp 7.5) 0) (+ (* (* -1 (exp 7.5)) PI) (* (* 1/2 (exp 7.5)) 0))) into (- (* (exp 7.5) PI)) 320.241 * [backup-simplify]: Simplify (- (/ (- (* 419.33729342426943 (* (pow (pow 7.5 1.0) 0.5) PI)) (* 263.3831869810514 (* (* (log 7.5) PI) (pow (pow 7.5 1.0) 0.5)))) (* (exp 7.5) PI)) (+ (* (* 263.3831869810514 (* (/ 1 (exp 7.5)) (pow (pow 7.5 1.0) 0.5))) (/ (- (* (exp 7.5) PI)) (* (exp 7.5) PI))))) into (- (* 682.7204804053208 (* (/ 1 (exp 7.5)) (pow (pow 7.5 1.0) 0.5))) (* 263.3831869810514 (* (/ (log 7.5) (exp 7.5)) (pow (pow 7.5 1.0) 0.5)))) 320.247 * [backup-simplify]: Simplify (- (* 682.7204804053208 (* (/ 1 (exp 7.5)) (pow (pow 7.5 1.0) 0.5))) (* 263.3831869810514 (* (/ (log 7.5) (exp 7.5)) (pow (pow 7.5 1.0) 0.5)))) into (- (* 682.7204804053208 (* (/ 1 (exp 7.5)) (pow (pow 7.5 1.0) 0.5))) (* 263.3831869810514 (* (/ (log 7.5) (exp 7.5)) (pow (pow 7.5 1.0) 0.5)))) 320.247 * [backup-simplify]: Simplify (- 0) into 0 320.248 * [backup-simplify]: Simplify (+ 0 0) into 0 320.253 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 7.5 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 7.5 1)))) 2) into (/ -1/2 (pow 7.5 2)) 320.253 * [backup-simplify]: Simplify (- 0) into 0 320.253 * [backup-simplify]: Simplify (+ 0 0) into 0 320.256 * [backup-simplify]: Simplify (+ (* 0.5 (/ -1/2 (pow 7.5 2))) (+ (* -1 -0.13333333333333333) (* 0 (log 7.5)))) into (- 0.13333333333333333 (* 0.25 (/ 1 (pow 7.5 2)))) 320.270 * [backup-simplify]: Simplify (* (exp (* 0.5 (log 7.5))) (+ (* (/ (pow (- (+ (log 7.5) 0.06666666666666667)) 2) 2)) (* (/ (pow (- 0.13333333333333333 (* 0.25 (/ 1 (pow 7.5 2)))) 1) 1)))) into (* (- (+ (* 0.06666666666666667 (log 7.5)) (+ (* 1/2 (pow (log 7.5) 2)) 0.13555555555555554)) (* 0.25 (/ 1 (pow 7.5 2)))) (pow (pow 7.5 1.0) 0.5)) 320.284 * [backup-simplify]: Simplify (+ (* PI (* (- (+ (* 0.06666666666666667 (log 7.5)) (+ (* 1/2 (pow (log 7.5) 2)) 0.13555555555555554)) (* 0.25 (/ 1 (pow 7.5 2)))) (pow (pow 7.5 1.0) 0.5))) (+ (* 0 (* -1 (* (+ (log 7.5) 0.06666666666666667) (pow (pow 7.5 1.0) 0.5)))) (* 0 (pow 7.5 0.5)))) into (- (+ (* 1/2 (* (* (pow (log 7.5) 2) PI) (pow (pow 7.5 1.0) 0.5))) (+ (* 0.06666666666666667 (* (* (log 7.5) PI) (pow (pow 7.5 1.0) 0.5))) (* 0.13555555555555554 (* (pow (pow 7.5 1.0) 0.5) PI)))) (* 0.25 (* (pow (/ 1 (pow 7.5 3.0)) 0.5) PI))) 320.284 * [backup-simplify]: Simplify (- 0) into 0 320.284 * [backup-simplify]: Simplify (+ 0 0) into 0 320.286 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* 1.0 (/ -1 1.0)))) into 1.0 320.287 * [backup-simplify]: Simplify (+ (* 676.5203681218851 1.0) (+ (* 0 1.0) (* 0 1.0))) into 676.5203681218851 320.287 * [backup-simplify]: Simplify (- 0) into 0 320.288 * [backup-simplify]: Simplify (+ 0 0) into 0 320.290 * [backup-simplify]: Simplify (- (+ (* 0.125 (/ 0 8.0)) (* 0.015625 (/ -1 8.0)))) into 0.001953125 320.291 * [backup-simplify]: Simplify (+ (* 1.5056327351493116e-07 0.001953125) (+ (* 0 0.015625) (* 0 0.125))) into 2.940688935838499e-10 320.291 * [backup-simplify]: Simplify (- 0) into 0 320.291 * [backup-simplify]: Simplify (+ 0 0) into 0 320.293 * [backup-simplify]: Simplify (- (+ (* 0.3333333333333333 (/ 0 3.0)) (* 0.1111111111111111 (/ -1 3.0)))) into 0.037037037037037035 320.295 * [backup-simplify]: Simplify (+ (* 771.3234287776531 0.037037037037037035) (+ (* 0 0.1111111111111111) (* 0 0.3333333333333333))) into 28.567534399172338 320.295 * [backup-simplify]: Simplify (- 0) into 0 320.295 * [backup-simplify]: Simplify (+ 0 0) into 0 320.297 * [backup-simplify]: Simplify (- (+ (* 0.14285714285714285 (/ 0 7.0)) (* 0.02040816326530612 (/ -1 7.0)))) into 0.0029154518950437313 320.298 * [backup-simplify]: Simplify (+ (* 9.984369578019572e-06 0.0029154518950437313) (+ (* 0 0.02040816326530612) (* 0 0.14285714285714285))) into 2.910894920705414e-08 320.299 * [backup-simplify]: Simplify (- 0) into 0 320.299 * [backup-simplify]: Simplify (+ 0 0) into 0 320.301 * [backup-simplify]: Simplify (- (+ (* 0.2 (/ 0 5.0)) (* 0.04000000000000001 (/ -1 5.0)))) into 0.008000000000000002 320.302 * [backup-simplify]: Simplify (+ (* 12.507343278686905 0.008000000000000002) (+ (* 0 0.04000000000000001) (* 0 0.2))) into 0.10005874622949526 320.302 * [backup-simplify]: Simplify (+ 0.10005874622949526 0) into 0.10005874622949526 320.303 * [backup-simplify]: Simplify (+ 2.910894920705414e-08 0.10005874622949526) into 0.10005877533844447 320.303 * [backup-simplify]: Simplify (+ 28.567534399172338 0.10005877533844447) into 28.66759317451078 320.303 * [backup-simplify]: Simplify (+ 2.940688935838499e-10 28.66759317451078) into 28.66759317480485 320.303 * [backup-simplify]: Simplify (+ 676.5203681218851 28.66759317480485) into 705.18796129669 320.304 * [backup-simplify]: Simplify (- 0) into 0 320.304 * [backup-simplify]: Simplify (+ 0 0) into 0 320.306 * [backup-simplify]: Simplify (- (+ (* 0.25 (/ 0 4.0)) (* 0.0625 (/ -1 4.0)))) into 0.015625 320.307 * [backup-simplify]: Simplify (+ (* 176.6150291621406 0.015625) (+ (* 0 0.0625) (* 0 0.25))) into 2.7596098306584467 320.307 * [backup-simplify]: Simplify (- 0) into 0 320.307 * [backup-simplify]: Simplify (+ 0 0) into 0 320.310 * [backup-simplify]: Simplify (- (+ (* 0.5 (/ 0 2.0)) (* 0.25 (/ -1 2.0)))) into 0.125 320.311 * [backup-simplify]: Simplify (+ (* 1259.1392167224028 0.125) (+ (* 0 0.25) (* 0 0.5))) into 157.39240209030035 320.311 * [backup-simplify]: Simplify (- 0) into 0 320.311 * [backup-simplify]: Simplify (+ 0 0) into 0 320.313 * [backup-simplify]: Simplify (- (+ (* 0.16666666666666666 (/ 0 6.0)) (* 0.027777777777777776 (/ -1 6.0)))) into 0.004629629629629629 320.314 * [backup-simplify]: Simplify (+ (* 0.13857109526572012 0.004629629629629629) (+ (* 0 0.027777777777777776) (* 0 0.16666666666666666))) into 0.0006415328484524079 320.315 * [backup-simplify]: Simplify (+ 157.39240209030035 0.0006415328484524079) into 157.3930436231488 320.315 * [backup-simplify]: Simplify (+ 2.7596098306584467 157.3930436231488) into 160.15265345380723 320.315 * [backup-simplify]: Simplify (- 160.15265345380723) into (- 160.15265345380723) 320.316 * [backup-simplify]: Simplify (+ 705.18796129669 (- 160.15265345380723)) into 545.0353078428827 320.352 * [backup-simplify]: Simplify (+ (* 263.3831869810514 (- (+ (* 1/2 (* (* (pow (log 7.5) 2) PI) (pow (pow 7.5 1.0) 0.5))) (+ (* 0.06666666666666667 (* (* (log 7.5) PI) (pow (pow 7.5 1.0) 0.5))) (* 0.13555555555555554 (* (pow (pow 7.5 1.0) 0.5) PI)))) (* 0.25 (* (pow (/ 1 (pow 7.5 3.0)) 0.5) PI)))) (+ (* 436.89617255633954 (- (+ (* 0.06666666666666667 (* (pow (pow 7.5 1.0) 0.5) PI)) (* (* (log 7.5) PI) (pow (pow 7.5 1.0) 0.5))))) (* 545.0353078428827 (* (pow (pow 7.5 1.0) 0.5) PI)))) into (- (+ (* 131.6915934905257 (* (* (pow (log 7.5) 2) PI) (pow (pow 7.5 1.0) 0.5))) (* 551.6119505743359 (* (pow (pow 7.5 1.0) 0.5) PI))) (+ (* 65.84579674526285 (* (pow (/ 1 (pow 7.5 3.0)) 0.5) PI)) (* 419.33729342426943 (* (* (log 7.5) PI) (pow (pow 7.5 1.0) 0.5))))) 320.353 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 PI)))) into 0 320.355 * [backup-simplify]: Simplify (+ (* -1 (/ (pow PI 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into (- (* 1/6 (pow PI 3))) 320.355 * [backup-simplify]: Simplify (- 0) into 0 320.356 * [backup-simplify]: Simplify (+ 0 0) into 0 320.358 * [backup-simplify]: Simplify (* (exp 7.5) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into (* -1/6 (exp 7.5)) 320.365 * [backup-simplify]: Simplify (+ (* (exp 7.5) (- (* 1/6 (pow PI 3)))) (+ (* (* -1 (exp 7.5)) 0) (+ (* (* 1/2 (exp 7.5)) PI) (* (* -1/6 (exp 7.5)) 0)))) into (- (* 1/2 (* (exp 7.5) PI)) (* 1/6 (* (exp 7.5) (pow PI 3)))) 320.418 * [backup-simplify]: Simplify (- (/ (- (+ (* 131.6915934905257 (* (* (pow (log 7.5) 2) PI) (pow (pow 7.5 1.0) 0.5))) (* 551.6119505743359 (* (pow (pow 7.5 1.0) 0.5) PI))) (+ (* 65.84579674526285 (* (pow (/ 1 (pow 7.5 3.0)) 0.5) PI)) (* 419.33729342426943 (* (* (log 7.5) PI) (pow (pow 7.5 1.0) 0.5))))) (* (exp 7.5) PI)) (+ (* (* 263.3831869810514 (* (/ 1 (exp 7.5)) (pow (pow 7.5 1.0) 0.5))) (/ (- (* 1/2 (* (exp 7.5) PI)) (* 1/6 (* (exp 7.5) (pow PI 3)))) (* (exp 7.5) PI))) (* (- (* 682.7204804053208 (* (/ 1 (exp 7.5)) (pow (pow 7.5 1.0) 0.5))) (* 263.3831869810514 (* (/ (log 7.5) (exp 7.5)) (pow (pow 7.5 1.0) 0.5)))) (/ (- (* (exp 7.5) PI)) (* (exp 7.5) PI))))) into (- (+ (* 131.6915934905257 (* (/ (pow (log 7.5) 2) (exp 7.5)) (pow (pow 7.5 1.0) 0.5))) (+ (* 43.89719783017523 (* (/ (pow PI 2) (exp 7.5)) (pow (pow 7.5 1.0) 0.5))) (* 1102.640837489131 (* (/ 1 (exp 7.5)) (pow (pow 7.5 1.0) 0.5))))) (+ (* 682.7204804053208 (* (/ (log 7.5) (exp 7.5)) (pow (pow 7.5 1.0) 0.5))) (* 65.84579674526285 (* (/ 1 (exp 7.5)) (pow (/ 1 (pow 7.5 3.0)) 0.5))))) 320.446 * [backup-simplify]: Simplify (- (+ (* 131.6915934905257 (* (/ (pow (log 7.5) 2) (exp 7.5)) (pow (pow 7.5 1.0) 0.5))) (+ (* 43.89719783017523 (* (/ (pow PI 2) (exp 7.5)) (pow (pow 7.5 1.0) 0.5))) (* 1102.640837489131 (* (/ 1 (exp 7.5)) (pow (pow 7.5 1.0) 0.5))))) (+ (* 682.7204804053208 (* (/ (log 7.5) (exp 7.5)) (pow (pow 7.5 1.0) 0.5))) (* 65.84579674526285 (* (/ 1 (exp 7.5)) (pow (/ 1 (pow 7.5 3.0)) 0.5))))) into (- (+ (* 43.89719783017523 (* (/ (pow PI 2) (exp 7.5)) (pow (pow 7.5 1.0) 0.5))) (+ (* 131.6915934905257 (* (/ (pow (log 7.5) 2) (exp 7.5)) (pow (pow 7.5 1.0) 0.5))) (* 1102.640837489131 (* (/ 1 (exp 7.5)) (pow (pow 7.5 1.0) 0.5))))) (+ (* 682.7204804053208 (* (/ (log 7.5) (exp 7.5)) (pow (pow 7.5 1.0) 0.5))) (* 65.84579674526285 (* (/ 1 (exp 7.5)) (pow (/ 1 (pow 7.5 3.0)) 0.5))))) 320.480 * [backup-simplify]: Simplify (+ (* (- (+ (* 43.89719783017523 (* (/ (pow PI 2) (exp 7.5)) (pow (pow 7.5 1.0) 0.5))) (+ (* 131.6915934905257 (* (/ (pow (log 7.5) 2) (exp 7.5)) (pow (pow 7.5 1.0) 0.5))) (* 1102.640837489131 (* (/ 1 (exp 7.5)) (pow (pow 7.5 1.0) 0.5))))) (+ (* 682.7204804053208 (* (/ (log 7.5) (exp 7.5)) (pow (pow 7.5 1.0) 0.5))) (* 65.84579674526285 (* (/ 1 (exp 7.5)) (pow (/ 1 (pow 7.5 3.0)) 0.5))))) z) (+ (- (* 682.7204804053208 (* (/ 1 (exp 7.5)) (pow (pow 7.5 1.0) 0.5))) (* 263.3831869810514 (* (/ (log 7.5) (exp 7.5)) (pow (pow 7.5 1.0) 0.5)))) (* (* 263.3831869810514 (* (/ 1 (exp 7.5)) (pow (pow 7.5 1.0) 0.5))) (/ 1 z)))) into (- (+ (* 131.6915934905257 (* (/ (* (pow (log 7.5) 2) z) (exp 7.5)) (pow (pow 7.5 1.0) 0.5))) (+ (* 1102.640837489131 (* (/ z (exp 7.5)) (pow (pow 7.5 1.0) 0.5))) (+ (* 682.7204804053208 (* (/ 1 (exp 7.5)) (pow (pow 7.5 1.0) 0.5))) (+ (* 263.3831869810514 (* (/ 1 (* (exp 7.5) z)) (pow (pow 7.5 1.0) 0.5))) (* 43.89719783017523 (* (/ (* z (pow PI 2)) (exp 7.5)) (pow (pow 7.5 1.0) 0.5))))))) (+ (* 682.7204804053208 (* (/ (* (log 7.5) z) (exp 7.5)) (pow (pow 7.5 1.0) 0.5))) (+ (* 263.3831869810514 (* (/ (log 7.5) (exp 7.5)) (pow (pow 7.5 1.0) 0.5))) (* 65.84579674526285 (* (/ z (exp 7.5)) (pow (/ 1 (pow 7.5 3.0)) 0.5)))))) 320.481 * [backup-simplify]: Simplify (* (/ (pow (+ 0.5 (+ 7.0 (- (/ 1 z)))) (+ (- (/ 1 z)) 0.5)) (exp (+ 0.5 (+ 7.0 (- (/ 1 z)))))) (* (/ PI (sin (* PI (/ 1 z)))) (+ (/ -176.6150291621406 (+ 4.0 (- (/ 1 z)))) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- (/ 1 z)))) (+ (/ 771.3234287776531 (+ (- (/ 1 z)) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 (/ 1 z)))))) (/ -1259.1392167224028 (+ 2.0 (- (/ 1 z))))) (/ 12.507343278686905 (+ 5.0 (- (/ 1 z))))) (+ (/ 1.5056327351493116e-07 (+ 8.0 (- (/ 1 z)))) (/ 9.984369578019572e-06 (+ 7.0 (- (/ 1 z))))))))) into (/ (* PI (* (pow (- 7.5 (/ 1 z)) (- 0.5 (/ 1 z))) (- (+ (* 771.3234287776531 (/ 1 (- 3.0 (/ 1 z)))) (+ (* 12.507343278686905 (/ 1 (- 5.0 (/ 1 z)))) (+ (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) (+ (* 1.5056327351493116e-07 (/ 1 (- 8.0 (/ 1 z)))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 (/ 1 z)))) 0.9999999999998099))))) (+ (* 176.6150291621406 (/ 1 (- 4.0 (/ 1 z)))) (+ (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z)))) (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z))))))))) (* (sin (/ PI z)) (exp (- 7.5 (/ 1 z))))) 320.482 * [approximate]: Taking taylor expansion of (/ (* PI (* (pow (- 7.5 (/ 1 z)) (- 0.5 (/ 1 z))) (- (+ (* 771.3234287776531 (/ 1 (- 3.0 (/ 1 z)))) (+ (* 12.507343278686905 (/ 1 (- 5.0 (/ 1 z)))) (+ (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) (+ (* 1.5056327351493116e-07 (/ 1 (- 8.0 (/ 1 z)))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 (/ 1 z)))) 0.9999999999998099))))) (+ (* 176.6150291621406 (/ 1 (- 4.0 (/ 1 z)))) (+ (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z)))) (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z))))))))) (* (sin (/ PI z)) (exp (- 7.5 (/ 1 z))))) in (z) around 0 320.482 * [taylor]: Taking taylor expansion of (/ (* PI (* (pow (- 7.5 (/ 1 z)) (- 0.5 (/ 1 z))) (- (+ (* 771.3234287776531 (/ 1 (- 3.0 (/ 1 z)))) (+ (* 12.507343278686905 (/ 1 (- 5.0 (/ 1 z)))) (+ (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) (+ (* 1.5056327351493116e-07 (/ 1 (- 8.0 (/ 1 z)))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 (/ 1 z)))) 0.9999999999998099))))) (+ (* 176.6150291621406 (/ 1 (- 4.0 (/ 1 z)))) (+ (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z)))) (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z))))))))) (* (sin (/ PI z)) (exp (- 7.5 (/ 1 z))))) in z 320.482 * [taylor]: Taking taylor expansion of (* PI (* (pow (- 7.5 (/ 1 z)) (- 0.5 (/ 1 z))) (- (+ (* 771.3234287776531 (/ 1 (- 3.0 (/ 1 z)))) (+ (* 12.507343278686905 (/ 1 (- 5.0 (/ 1 z)))) (+ (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) (+ (* 1.5056327351493116e-07 (/ 1 (- 8.0 (/ 1 z)))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 (/ 1 z)))) 0.9999999999998099))))) (+ (* 176.6150291621406 (/ 1 (- 4.0 (/ 1 z)))) (+ (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z)))) (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z))))))))) in z 320.482 * [taylor]: Taking taylor expansion of PI in z 320.482 * [backup-simplify]: Simplify PI into PI 320.482 * [taylor]: Taking taylor expansion of (* (pow (- 7.5 (/ 1 z)) (- 0.5 (/ 1 z))) (- (+ (* 771.3234287776531 (/ 1 (- 3.0 (/ 1 z)))) (+ (* 12.507343278686905 (/ 1 (- 5.0 (/ 1 z)))) (+ (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) (+ (* 1.5056327351493116e-07 (/ 1 (- 8.0 (/ 1 z)))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 (/ 1 z)))) 0.9999999999998099))))) (+ (* 176.6150291621406 (/ 1 (- 4.0 (/ 1 z)))) (+ (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z)))) (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z)))))))) in z 320.482 * [taylor]: Taking taylor expansion of (pow (- 7.5 (/ 1 z)) (- 0.5 (/ 1 z))) in z 320.482 * [taylor]: Taking taylor expansion of (exp (* (- 0.5 (/ 1 z)) (log (- 7.5 (/ 1 z))))) in z 320.482 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 z)) (log (- 7.5 (/ 1 z)))) in z 320.482 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 z)) in z 320.482 * [taylor]: Taking taylor expansion of 0.5 in z 320.482 * [backup-simplify]: Simplify 0.5 into 0.5 320.482 * [taylor]: Taking taylor expansion of (/ 1 z) in z 320.482 * [taylor]: Taking taylor expansion of z in z 320.482 * [backup-simplify]: Simplify 0 into 0 320.482 * [backup-simplify]: Simplify 1 into 1 320.482 * [backup-simplify]: Simplify (/ 1 1) into 1 320.482 * [taylor]: Taking taylor expansion of (log (- 7.5 (/ 1 z))) in z 320.482 * [taylor]: Taking taylor expansion of (- 7.5 (/ 1 z)) in z 320.482 * [taylor]: Taking taylor expansion of 7.5 in z 320.482 * [backup-simplify]: Simplify 7.5 into 7.5 320.483 * [taylor]: Taking taylor expansion of (/ 1 z) in z 320.483 * [taylor]: Taking taylor expansion of z in z 320.483 * [backup-simplify]: Simplify 0 into 0 320.483 * [backup-simplify]: Simplify 1 into 1 320.483 * [backup-simplify]: Simplify (/ 1 1) into 1 320.483 * [backup-simplify]: Simplify (- 1) into -1 320.483 * [backup-simplify]: Simplify (+ 0 -1) into -1 320.483 * [backup-simplify]: Simplify (log -1) into (log -1) 320.484 * [backup-simplify]: Simplify (- 1) into -1 320.484 * [backup-simplify]: Simplify (+ 0 -1) into -1 320.484 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) (log -1)) into (- (log -1) (log z)) 320.485 * [backup-simplify]: Simplify (* -1 (- (log -1) (log z))) into (* -1 (- (log -1) (log z))) 320.485 * [backup-simplify]: Simplify (exp (* (- 0.5 (/ 1 z)) (log (- 7.5 (/ 1 z))))) into (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z)))) 320.485 * [taylor]: Taking taylor expansion of (- (+ (* 771.3234287776531 (/ 1 (- 3.0 (/ 1 z)))) (+ (* 12.507343278686905 (/ 1 (- 5.0 (/ 1 z)))) (+ (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) (+ (* 1.5056327351493116e-07 (/ 1 (- 8.0 (/ 1 z)))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 (/ 1 z)))) 0.9999999999998099))))) (+ (* 176.6150291621406 (/ 1 (- 4.0 (/ 1 z)))) (+ (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z)))) (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z))))))) in z 320.485 * [taylor]: Taking taylor expansion of (+ (* 771.3234287776531 (/ 1 (- 3.0 (/ 1 z)))) (+ (* 12.507343278686905 (/ 1 (- 5.0 (/ 1 z)))) (+ (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) (+ (* 1.5056327351493116e-07 (/ 1 (- 8.0 (/ 1 z)))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 (/ 1 z)))) 0.9999999999998099))))) in z 320.485 * [taylor]: Taking taylor expansion of (* 771.3234287776531 (/ 1 (- 3.0 (/ 1 z)))) in z 320.485 * [taylor]: Taking taylor expansion of 771.3234287776531 in z 320.485 * [backup-simplify]: Simplify 771.3234287776531 into 771.3234287776531 320.485 * [taylor]: Taking taylor expansion of (/ 1 (- 3.0 (/ 1 z))) in z 320.485 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 z)) in z 320.485 * [taylor]: Taking taylor expansion of 3.0 in z 320.485 * [backup-simplify]: Simplify 3.0 into 3.0 320.485 * [taylor]: Taking taylor expansion of (/ 1 z) in z 320.485 * [taylor]: Taking taylor expansion of z in z 320.485 * [backup-simplify]: Simplify 0 into 0 320.485 * [backup-simplify]: Simplify 1 into 1 320.485 * [backup-simplify]: Simplify (/ 1 1) into 1 320.486 * [backup-simplify]: Simplify (- 1) into -1 320.486 * [backup-simplify]: Simplify (+ 0 -1) into -1 320.486 * [backup-simplify]: Simplify (/ 1 -1) into -1 320.486 * [taylor]: Taking taylor expansion of (+ (* 12.507343278686905 (/ 1 (- 5.0 (/ 1 z)))) (+ (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) (+ (* 1.5056327351493116e-07 (/ 1 (- 8.0 (/ 1 z)))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 (/ 1 z)))) 0.9999999999998099)))) in z 320.486 * [taylor]: Taking taylor expansion of (* 12.507343278686905 (/ 1 (- 5.0 (/ 1 z)))) in z 320.486 * [taylor]: Taking taylor expansion of 12.507343278686905 in z 320.486 * [backup-simplify]: Simplify 12.507343278686905 into 12.507343278686905 320.486 * [taylor]: Taking taylor expansion of (/ 1 (- 5.0 (/ 1 z))) in z 320.486 * [taylor]: Taking taylor expansion of (- 5.0 (/ 1 z)) in z 320.486 * [taylor]: Taking taylor expansion of 5.0 in z 320.486 * [backup-simplify]: Simplify 5.0 into 5.0 320.486 * [taylor]: Taking taylor expansion of (/ 1 z) in z 320.486 * [taylor]: Taking taylor expansion of z in z 320.486 * [backup-simplify]: Simplify 0 into 0 320.486 * [backup-simplify]: Simplify 1 into 1 320.487 * [backup-simplify]: Simplify (/ 1 1) into 1 320.487 * [backup-simplify]: Simplify (- 1) into -1 320.487 * [backup-simplify]: Simplify (+ 0 -1) into -1 320.487 * [backup-simplify]: Simplify (/ 1 -1) into -1 320.487 * [taylor]: Taking taylor expansion of (+ (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) (+ (* 1.5056327351493116e-07 (/ 1 (- 8.0 (/ 1 z)))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 (/ 1 z)))) 0.9999999999998099))) in z 320.487 * [taylor]: Taking taylor expansion of (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) in z 320.487 * [taylor]: Taking taylor expansion of 676.5203681218851 in z 320.487 * [backup-simplify]: Simplify 676.5203681218851 into 676.5203681218851 320.487 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (/ 1 z))) in z 320.487 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 320.487 * [taylor]: Taking taylor expansion of 1.0 in z 320.487 * [backup-simplify]: Simplify 1.0 into 1.0 320.488 * [taylor]: Taking taylor expansion of (/ 1 z) in z 320.488 * [taylor]: Taking taylor expansion of z in z 320.488 * [backup-simplify]: Simplify 0 into 0 320.488 * [backup-simplify]: Simplify 1 into 1 320.488 * [backup-simplify]: Simplify (/ 1 1) into 1 320.488 * [backup-simplify]: Simplify (- 1) into -1 320.488 * [backup-simplify]: Simplify (+ 0 -1) into -1 320.488 * [backup-simplify]: Simplify (/ 1 -1) into -1 320.488 * [taylor]: Taking taylor expansion of (+ (* 1.5056327351493116e-07 (/ 1 (- 8.0 (/ 1 z)))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 (/ 1 z)))) 0.9999999999998099)) in z 320.489 * [taylor]: Taking taylor expansion of (* 1.5056327351493116e-07 (/ 1 (- 8.0 (/ 1 z)))) in z 320.489 * [taylor]: Taking taylor expansion of 1.5056327351493116e-07 in z 320.489 * [backup-simplify]: Simplify 1.5056327351493116e-07 into 1.5056327351493116e-07 320.489 * [taylor]: Taking taylor expansion of (/ 1 (- 8.0 (/ 1 z))) in z 320.489 * [taylor]: Taking taylor expansion of (- 8.0 (/ 1 z)) in z 320.489 * [taylor]: Taking taylor expansion of 8.0 in z 320.489 * [backup-simplify]: Simplify 8.0 into 8.0 320.489 * [taylor]: Taking taylor expansion of (/ 1 z) in z 320.489 * [taylor]: Taking taylor expansion of z in z 320.489 * [backup-simplify]: Simplify 0 into 0 320.489 * [backup-simplify]: Simplify 1 into 1 320.489 * [backup-simplify]: Simplify (/ 1 1) into 1 320.489 * [backup-simplify]: Simplify (- 1) into -1 320.489 * [backup-simplify]: Simplify (+ 0 -1) into -1 320.490 * [backup-simplify]: Simplify (/ 1 -1) into -1 320.490 * [taylor]: Taking taylor expansion of (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 (/ 1 z)))) 0.9999999999998099) in z 320.490 * [taylor]: Taking taylor expansion of (* 9.984369578019572e-06 (/ 1 (- 7.0 (/ 1 z)))) in z 320.490 * [taylor]: Taking taylor expansion of 9.984369578019572e-06 in z 320.490 * [backup-simplify]: Simplify 9.984369578019572e-06 into 9.984369578019572e-06 320.490 * [taylor]: Taking taylor expansion of (/ 1 (- 7.0 (/ 1 z))) in z 320.490 * [taylor]: Taking taylor expansion of (- 7.0 (/ 1 z)) in z 320.490 * [taylor]: Taking taylor expansion of 7.0 in z 320.490 * [backup-simplify]: Simplify 7.0 into 7.0 320.490 * [taylor]: Taking taylor expansion of (/ 1 z) in z 320.490 * [taylor]: Taking taylor expansion of z in z 320.490 * [backup-simplify]: Simplify 0 into 0 320.490 * [backup-simplify]: Simplify 1 into 1 320.490 * [backup-simplify]: Simplify (/ 1 1) into 1 320.490 * [backup-simplify]: Simplify (- 1) into -1 320.491 * [backup-simplify]: Simplify (+ 0 -1) into -1 320.491 * [backup-simplify]: Simplify (/ 1 -1) into -1 320.491 * [taylor]: Taking taylor expansion of 0.9999999999998099 in z 320.491 * [backup-simplify]: Simplify 0.9999999999998099 into 0.9999999999998099 320.491 * [taylor]: Taking taylor expansion of (+ (* 176.6150291621406 (/ 1 (- 4.0 (/ 1 z)))) (+ (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z)))) (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z)))))) in z 320.491 * [taylor]: Taking taylor expansion of (* 176.6150291621406 (/ 1 (- 4.0 (/ 1 z)))) in z 320.491 * [taylor]: Taking taylor expansion of 176.6150291621406 in z 320.491 * [backup-simplify]: Simplify 176.6150291621406 into 176.6150291621406 320.491 * [taylor]: Taking taylor expansion of (/ 1 (- 4.0 (/ 1 z))) in z 320.491 * [taylor]: Taking taylor expansion of (- 4.0 (/ 1 z)) in z 320.491 * [taylor]: Taking taylor expansion of 4.0 in z 320.491 * [backup-simplify]: Simplify 4.0 into 4.0 320.491 * [taylor]: Taking taylor expansion of (/ 1 z) in z 320.491 * [taylor]: Taking taylor expansion of z in z 320.491 * [backup-simplify]: Simplify 0 into 0 320.491 * [backup-simplify]: Simplify 1 into 1 320.491 * [backup-simplify]: Simplify (/ 1 1) into 1 320.491 * [backup-simplify]: Simplify (- 1) into -1 320.492 * [backup-simplify]: Simplify (+ 0 -1) into -1 320.492 * [backup-simplify]: Simplify (/ 1 -1) into -1 320.492 * [taylor]: Taking taylor expansion of (+ (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z)))) (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z))))) in z 320.492 * [taylor]: Taking taylor expansion of (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z)))) in z 320.492 * [taylor]: Taking taylor expansion of 1259.1392167224028 in z 320.492 * [backup-simplify]: Simplify 1259.1392167224028 into 1259.1392167224028 320.492 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (/ 1 z))) in z 320.492 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 z)) in z 320.492 * [taylor]: Taking taylor expansion of 2.0 in z 320.492 * [backup-simplify]: Simplify 2.0 into 2.0 320.492 * [taylor]: Taking taylor expansion of (/ 1 z) in z 320.492 * [taylor]: Taking taylor expansion of z in z 320.492 * [backup-simplify]: Simplify 0 into 0 320.492 * [backup-simplify]: Simplify 1 into 1 320.492 * [backup-simplify]: Simplify (/ 1 1) into 1 320.493 * [backup-simplify]: Simplify (- 1) into -1 320.493 * [backup-simplify]: Simplify (+ 0 -1) into -1 320.493 * [backup-simplify]: Simplify (/ 1 -1) into -1 320.493 * [taylor]: Taking taylor expansion of (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z)))) in z 320.493 * [taylor]: Taking taylor expansion of 0.13857109526572012 in z 320.493 * [backup-simplify]: Simplify 0.13857109526572012 into 0.13857109526572012 320.493 * [taylor]: Taking taylor expansion of (/ 1 (- 6.0 (/ 1 z))) in z 320.493 * [taylor]: Taking taylor expansion of (- 6.0 (/ 1 z)) in z 320.493 * [taylor]: Taking taylor expansion of 6.0 in z 320.493 * [backup-simplify]: Simplify 6.0 into 6.0 320.493 * [taylor]: Taking taylor expansion of (/ 1 z) in z 320.493 * [taylor]: Taking taylor expansion of z in z 320.493 * [backup-simplify]: Simplify 0 into 0 320.493 * [backup-simplify]: Simplify 1 into 1 320.494 * [backup-simplify]: Simplify (/ 1 1) into 1 320.494 * [backup-simplify]: Simplify (- 1) into -1 320.494 * [backup-simplify]: Simplify (+ 0 -1) into -1 320.494 * [backup-simplify]: Simplify (/ 1 -1) into -1 320.494 * [taylor]: Taking taylor expansion of (* (sin (/ PI z)) (exp (- 7.5 (/ 1 z)))) in z 320.494 * [taylor]: Taking taylor expansion of (sin (/ PI z)) in z 320.494 * [taylor]: Taking taylor expansion of (/ PI z) in z 320.494 * [taylor]: Taking taylor expansion of PI in z 320.494 * [backup-simplify]: Simplify PI into PI 320.494 * [taylor]: Taking taylor expansion of z in z 320.494 * [backup-simplify]: Simplify 0 into 0 320.494 * [backup-simplify]: Simplify 1 into 1 320.495 * [backup-simplify]: Simplify (/ PI 1) into PI 320.495 * [backup-simplify]: Simplify (sin (/ PI z)) into (sin (/ PI z)) 320.495 * [taylor]: Taking taylor expansion of (exp (- 7.5 (/ 1 z))) in z 320.495 * [taylor]: Taking taylor expansion of (- 7.5 (/ 1 z)) in z 320.495 * [taylor]: Taking taylor expansion of 7.5 in z 320.495 * [backup-simplify]: Simplify 7.5 into 7.5 320.495 * [taylor]: Taking taylor expansion of (/ 1 z) in z 320.495 * [taylor]: Taking taylor expansion of z in z 320.495 * [backup-simplify]: Simplify 0 into 0 320.495 * [backup-simplify]: Simplify 1 into 1 320.495 * [backup-simplify]: Simplify (/ 1 1) into 1 320.495 * [backup-simplify]: Simplify (- 1) into -1 320.496 * [backup-simplify]: Simplify (+ 0 -1) into -1 320.496 * [backup-simplify]: Simplify (exp (- 7.5 (/ 1 z))) into (exp (- 7.5 (/ 1 z))) 320.496 * [backup-simplify]: Simplify (+ 0 0.9999999999998099) into 0.9999999999998099 320.496 * [backup-simplify]: Simplify (+ 0 0.9999999999998099) into 0.9999999999998099 320.497 * [backup-simplify]: Simplify (+ 0 0.9999999999998099) into 0.9999999999998099 320.497 * [backup-simplify]: Simplify (+ 0 0.9999999999998099) into 0.9999999999998099 320.497 * [backup-simplify]: Simplify (+ 0 0.9999999999998099) into 0.9999999999998099 320.497 * [backup-simplify]: Simplify (+ 0.9999999999998099 0) into 0.9999999999998099 320.497 * [backup-simplify]: Simplify (* (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z)))) 0.9999999999998099) into (* 0.9999999999998099 (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z))))) 320.498 * [backup-simplify]: Simplify (* PI (* 0.9999999999998099 (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z)))))) into (* 0.9999999999998099 (* (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z)))) PI)) 320.498 * [backup-simplify]: Simplify (* (sin (/ PI z)) (exp (- 7.5 (/ 1 z)))) into (* (sin (/ PI z)) (exp (- 7.5 (/ 1 z)))) 320.498 * [backup-simplify]: Simplify (/ (* 0.9999999999998099 (* (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z)))) PI)) (* (sin (/ PI z)) (exp (- 7.5 (/ 1 z))))) into (* 0.9999999999998099 (/ (* (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z)))) PI) (* (sin (/ PI z)) (exp (- 7.5 (/ 1 z)))))) 320.498 * [taylor]: Taking taylor expansion of (/ (* PI (* (pow (- 7.5 (/ 1 z)) (- 0.5 (/ 1 z))) (- (+ (* 771.3234287776531 (/ 1 (- 3.0 (/ 1 z)))) (+ (* 12.507343278686905 (/ 1 (- 5.0 (/ 1 z)))) (+ (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) (+ (* 1.5056327351493116e-07 (/ 1 (- 8.0 (/ 1 z)))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 (/ 1 z)))) 0.9999999999998099))))) (+ (* 176.6150291621406 (/ 1 (- 4.0 (/ 1 z)))) (+ (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z)))) (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z))))))))) (* (sin (/ PI z)) (exp (- 7.5 (/ 1 z))))) in z 320.498 * [taylor]: Taking taylor expansion of (* PI (* (pow (- 7.5 (/ 1 z)) (- 0.5 (/ 1 z))) (- (+ (* 771.3234287776531 (/ 1 (- 3.0 (/ 1 z)))) (+ (* 12.507343278686905 (/ 1 (- 5.0 (/ 1 z)))) (+ (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) (+ (* 1.5056327351493116e-07 (/ 1 (- 8.0 (/ 1 z)))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 (/ 1 z)))) 0.9999999999998099))))) (+ (* 176.6150291621406 (/ 1 (- 4.0 (/ 1 z)))) (+ (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z)))) (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z))))))))) in z 320.498 * [taylor]: Taking taylor expansion of PI in z 320.498 * [backup-simplify]: Simplify PI into PI 320.498 * [taylor]: Taking taylor expansion of (* (pow (- 7.5 (/ 1 z)) (- 0.5 (/ 1 z))) (- (+ (* 771.3234287776531 (/ 1 (- 3.0 (/ 1 z)))) (+ (* 12.507343278686905 (/ 1 (- 5.0 (/ 1 z)))) (+ (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) (+ (* 1.5056327351493116e-07 (/ 1 (- 8.0 (/ 1 z)))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 (/ 1 z)))) 0.9999999999998099))))) (+ (* 176.6150291621406 (/ 1 (- 4.0 (/ 1 z)))) (+ (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z)))) (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z)))))))) in z 320.498 * [taylor]: Taking taylor expansion of (pow (- 7.5 (/ 1 z)) (- 0.5 (/ 1 z))) in z 320.498 * [taylor]: Taking taylor expansion of (exp (* (- 0.5 (/ 1 z)) (log (- 7.5 (/ 1 z))))) in z 320.498 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 z)) (log (- 7.5 (/ 1 z)))) in z 320.498 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 z)) in z 320.498 * [taylor]: Taking taylor expansion of 0.5 in z 320.498 * [backup-simplify]: Simplify 0.5 into 0.5 320.498 * [taylor]: Taking taylor expansion of (/ 1 z) in z 320.498 * [taylor]: Taking taylor expansion of z in z 320.498 * [backup-simplify]: Simplify 0 into 0 320.498 * [backup-simplify]: Simplify 1 into 1 320.499 * [backup-simplify]: Simplify (/ 1 1) into 1 320.499 * [taylor]: Taking taylor expansion of (log (- 7.5 (/ 1 z))) in z 320.499 * [taylor]: Taking taylor expansion of (- 7.5 (/ 1 z)) in z 320.499 * [taylor]: Taking taylor expansion of 7.5 in z 320.499 * [backup-simplify]: Simplify 7.5 into 7.5 320.499 * [taylor]: Taking taylor expansion of (/ 1 z) in z 320.499 * [taylor]: Taking taylor expansion of z in z 320.499 * [backup-simplify]: Simplify 0 into 0 320.499 * [backup-simplify]: Simplify 1 into 1 320.499 * [backup-simplify]: Simplify (/ 1 1) into 1 320.499 * [backup-simplify]: Simplify (- 1) into -1 320.499 * [backup-simplify]: Simplify (+ 0 -1) into -1 320.500 * [backup-simplify]: Simplify (log -1) into (log -1) 320.500 * [backup-simplify]: Simplify (- 1) into -1 320.500 * [backup-simplify]: Simplify (+ 0 -1) into -1 320.501 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) (log -1)) into (- (log -1) (log z)) 320.501 * [backup-simplify]: Simplify (* -1 (- (log -1) (log z))) into (* -1 (- (log -1) (log z))) 320.501 * [backup-simplify]: Simplify (exp (* (- 0.5 (/ 1 z)) (log (- 7.5 (/ 1 z))))) into (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z)))) 320.501 * [taylor]: Taking taylor expansion of (- (+ (* 771.3234287776531 (/ 1 (- 3.0 (/ 1 z)))) (+ (* 12.507343278686905 (/ 1 (- 5.0 (/ 1 z)))) (+ (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) (+ (* 1.5056327351493116e-07 (/ 1 (- 8.0 (/ 1 z)))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 (/ 1 z)))) 0.9999999999998099))))) (+ (* 176.6150291621406 (/ 1 (- 4.0 (/ 1 z)))) (+ (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z)))) (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z))))))) in z 320.501 * [taylor]: Taking taylor expansion of (+ (* 771.3234287776531 (/ 1 (- 3.0 (/ 1 z)))) (+ (* 12.507343278686905 (/ 1 (- 5.0 (/ 1 z)))) (+ (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) (+ (* 1.5056327351493116e-07 (/ 1 (- 8.0 (/ 1 z)))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 (/ 1 z)))) 0.9999999999998099))))) in z 320.501 * [taylor]: Taking taylor expansion of (* 771.3234287776531 (/ 1 (- 3.0 (/ 1 z)))) in z 320.501 * [taylor]: Taking taylor expansion of 771.3234287776531 in z 320.501 * [backup-simplify]: Simplify 771.3234287776531 into 771.3234287776531 320.501 * [taylor]: Taking taylor expansion of (/ 1 (- 3.0 (/ 1 z))) in z 320.501 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 z)) in z 320.501 * [taylor]: Taking taylor expansion of 3.0 in z 320.501 * [backup-simplify]: Simplify 3.0 into 3.0 320.501 * [taylor]: Taking taylor expansion of (/ 1 z) in z 320.501 * [taylor]: Taking taylor expansion of z in z 320.501 * [backup-simplify]: Simplify 0 into 0 320.501 * [backup-simplify]: Simplify 1 into 1 320.502 * [backup-simplify]: Simplify (/ 1 1) into 1 320.502 * [backup-simplify]: Simplify (- 1) into -1 320.507 * [backup-simplify]: Simplify (+ 0 -1) into -1 320.507 * [backup-simplify]: Simplify (/ 1 -1) into -1 320.507 * [taylor]: Taking taylor expansion of (+ (* 12.507343278686905 (/ 1 (- 5.0 (/ 1 z)))) (+ (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) (+ (* 1.5056327351493116e-07 (/ 1 (- 8.0 (/ 1 z)))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 (/ 1 z)))) 0.9999999999998099)))) in z 320.507 * [taylor]: Taking taylor expansion of (* 12.507343278686905 (/ 1 (- 5.0 (/ 1 z)))) in z 320.508 * [taylor]: Taking taylor expansion of 12.507343278686905 in z 320.508 * [backup-simplify]: Simplify 12.507343278686905 into 12.507343278686905 320.508 * [taylor]: Taking taylor expansion of (/ 1 (- 5.0 (/ 1 z))) in z 320.508 * [taylor]: Taking taylor expansion of (- 5.0 (/ 1 z)) in z 320.508 * [taylor]: Taking taylor expansion of 5.0 in z 320.508 * [backup-simplify]: Simplify 5.0 into 5.0 320.508 * [taylor]: Taking taylor expansion of (/ 1 z) in z 320.508 * [taylor]: Taking taylor expansion of z in z 320.508 * [backup-simplify]: Simplify 0 into 0 320.508 * [backup-simplify]: Simplify 1 into 1 320.508 * [backup-simplify]: Simplify (/ 1 1) into 1 320.508 * [backup-simplify]: Simplify (- 1) into -1 320.508 * [backup-simplify]: Simplify (+ 0 -1) into -1 320.509 * [backup-simplify]: Simplify (/ 1 -1) into -1 320.509 * [taylor]: Taking taylor expansion of (+ (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) (+ (* 1.5056327351493116e-07 (/ 1 (- 8.0 (/ 1 z)))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 (/ 1 z)))) 0.9999999999998099))) in z 320.509 * [taylor]: Taking taylor expansion of (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) in z 320.509 * [taylor]: Taking taylor expansion of 676.5203681218851 in z 320.509 * [backup-simplify]: Simplify 676.5203681218851 into 676.5203681218851 320.509 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (/ 1 z))) in z 320.509 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 320.509 * [taylor]: Taking taylor expansion of 1.0 in z 320.509 * [backup-simplify]: Simplify 1.0 into 1.0 320.509 * [taylor]: Taking taylor expansion of (/ 1 z) in z 320.509 * [taylor]: Taking taylor expansion of z in z 320.509 * [backup-simplify]: Simplify 0 into 0 320.509 * [backup-simplify]: Simplify 1 into 1 320.509 * [backup-simplify]: Simplify (/ 1 1) into 1 320.509 * [backup-simplify]: Simplify (- 1) into -1 320.509 * [backup-simplify]: Simplify (+ 0 -1) into -1 320.510 * [backup-simplify]: Simplify (/ 1 -1) into -1 320.510 * [taylor]: Taking taylor expansion of (+ (* 1.5056327351493116e-07 (/ 1 (- 8.0 (/ 1 z)))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 (/ 1 z)))) 0.9999999999998099)) in z 320.510 * [taylor]: Taking taylor expansion of (* 1.5056327351493116e-07 (/ 1 (- 8.0 (/ 1 z)))) in z 320.510 * [taylor]: Taking taylor expansion of 1.5056327351493116e-07 in z 320.510 * [backup-simplify]: Simplify 1.5056327351493116e-07 into 1.5056327351493116e-07 320.510 * [taylor]: Taking taylor expansion of (/ 1 (- 8.0 (/ 1 z))) in z 320.510 * [taylor]: Taking taylor expansion of (- 8.0 (/ 1 z)) in z 320.510 * [taylor]: Taking taylor expansion of 8.0 in z 320.510 * [backup-simplify]: Simplify 8.0 into 8.0 320.510 * [taylor]: Taking taylor expansion of (/ 1 z) in z 320.510 * [taylor]: Taking taylor expansion of z in z 320.510 * [backup-simplify]: Simplify 0 into 0 320.510 * [backup-simplify]: Simplify 1 into 1 320.510 * [backup-simplify]: Simplify (/ 1 1) into 1 320.510 * [backup-simplify]: Simplify (- 1) into -1 320.511 * [backup-simplify]: Simplify (+ 0 -1) into -1 320.511 * [backup-simplify]: Simplify (/ 1 -1) into -1 320.511 * [taylor]: Taking taylor expansion of (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 (/ 1 z)))) 0.9999999999998099) in z 320.511 * [taylor]: Taking taylor expansion of (* 9.984369578019572e-06 (/ 1 (- 7.0 (/ 1 z)))) in z 320.511 * [taylor]: Taking taylor expansion of 9.984369578019572e-06 in z 320.511 * [backup-simplify]: Simplify 9.984369578019572e-06 into 9.984369578019572e-06 320.511 * [taylor]: Taking taylor expansion of (/ 1 (- 7.0 (/ 1 z))) in z 320.511 * [taylor]: Taking taylor expansion of (- 7.0 (/ 1 z)) in z 320.511 * [taylor]: Taking taylor expansion of 7.0 in z 320.511 * [backup-simplify]: Simplify 7.0 into 7.0 320.511 * [taylor]: Taking taylor expansion of (/ 1 z) in z 320.511 * [taylor]: Taking taylor expansion of z in z 320.511 * [backup-simplify]: Simplify 0 into 0 320.511 * [backup-simplify]: Simplify 1 into 1 320.511 * [backup-simplify]: Simplify (/ 1 1) into 1 320.512 * [backup-simplify]: Simplify (- 1) into -1 320.512 * [backup-simplify]: Simplify (+ 0 -1) into -1 320.512 * [backup-simplify]: Simplify (/ 1 -1) into -1 320.512 * [taylor]: Taking taylor expansion of 0.9999999999998099 in z 320.512 * [backup-simplify]: Simplify 0.9999999999998099 into 0.9999999999998099 320.512 * [taylor]: Taking taylor expansion of (+ (* 176.6150291621406 (/ 1 (- 4.0 (/ 1 z)))) (+ (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z)))) (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z)))))) in z 320.512 * [taylor]: Taking taylor expansion of (* 176.6150291621406 (/ 1 (- 4.0 (/ 1 z)))) in z 320.512 * [taylor]: Taking taylor expansion of 176.6150291621406 in z 320.512 * [backup-simplify]: Simplify 176.6150291621406 into 176.6150291621406 320.512 * [taylor]: Taking taylor expansion of (/ 1 (- 4.0 (/ 1 z))) in z 320.512 * [taylor]: Taking taylor expansion of (- 4.0 (/ 1 z)) in z 320.512 * [taylor]: Taking taylor expansion of 4.0 in z 320.512 * [backup-simplify]: Simplify 4.0 into 4.0 320.512 * [taylor]: Taking taylor expansion of (/ 1 z) in z 320.512 * [taylor]: Taking taylor expansion of z in z 320.512 * [backup-simplify]: Simplify 0 into 0 320.512 * [backup-simplify]: Simplify 1 into 1 320.513 * [backup-simplify]: Simplify (/ 1 1) into 1 320.513 * [backup-simplify]: Simplify (- 1) into -1 320.513 * [backup-simplify]: Simplify (+ 0 -1) into -1 320.513 * [backup-simplify]: Simplify (/ 1 -1) into -1 320.513 * [taylor]: Taking taylor expansion of (+ (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z)))) (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z))))) in z 320.513 * [taylor]: Taking taylor expansion of (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z)))) in z 320.513 * [taylor]: Taking taylor expansion of 1259.1392167224028 in z 320.513 * [backup-simplify]: Simplify 1259.1392167224028 into 1259.1392167224028 320.513 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (/ 1 z))) in z 320.513 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 z)) in z 320.513 * [taylor]: Taking taylor expansion of 2.0 in z 320.513 * [backup-simplify]: Simplify 2.0 into 2.0 320.513 * [taylor]: Taking taylor expansion of (/ 1 z) in z 320.513 * [taylor]: Taking taylor expansion of z in z 320.513 * [backup-simplify]: Simplify 0 into 0 320.513 * [backup-simplify]: Simplify 1 into 1 320.514 * [backup-simplify]: Simplify (/ 1 1) into 1 320.514 * [backup-simplify]: Simplify (- 1) into -1 320.514 * [backup-simplify]: Simplify (+ 0 -1) into -1 320.514 * [backup-simplify]: Simplify (/ 1 -1) into -1 320.514 * [taylor]: Taking taylor expansion of (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z)))) in z 320.514 * [taylor]: Taking taylor expansion of 0.13857109526572012 in z 320.514 * [backup-simplify]: Simplify 0.13857109526572012 into 0.13857109526572012 320.514 * [taylor]: Taking taylor expansion of (/ 1 (- 6.0 (/ 1 z))) in z 320.514 * [taylor]: Taking taylor expansion of (- 6.0 (/ 1 z)) in z 320.514 * [taylor]: Taking taylor expansion of 6.0 in z 320.515 * [backup-simplify]: Simplify 6.0 into 6.0 320.515 * [taylor]: Taking taylor expansion of (/ 1 z) in z 320.515 * [taylor]: Taking taylor expansion of z in z 320.515 * [backup-simplify]: Simplify 0 into 0 320.515 * [backup-simplify]: Simplify 1 into 1 320.515 * [backup-simplify]: Simplify (/ 1 1) into 1 320.515 * [backup-simplify]: Simplify (- 1) into -1 320.515 * [backup-simplify]: Simplify (+ 0 -1) into -1 320.515 * [backup-simplify]: Simplify (/ 1 -1) into -1 320.516 * [taylor]: Taking taylor expansion of (* (sin (/ PI z)) (exp (- 7.5 (/ 1 z)))) in z 320.516 * [taylor]: Taking taylor expansion of (sin (/ PI z)) in z 320.516 * [taylor]: Taking taylor expansion of (/ PI z) in z 320.516 * [taylor]: Taking taylor expansion of PI in z 320.516 * [backup-simplify]: Simplify PI into PI 320.516 * [taylor]: Taking taylor expansion of z in z 320.516 * [backup-simplify]: Simplify 0 into 0 320.516 * [backup-simplify]: Simplify 1 into 1 320.516 * [backup-simplify]: Simplify (/ PI 1) into PI 320.516 * [backup-simplify]: Simplify (sin (/ PI z)) into (sin (/ PI z)) 320.516 * [taylor]: Taking taylor expansion of (exp (- 7.5 (/ 1 z))) in z 320.516 * [taylor]: Taking taylor expansion of (- 7.5 (/ 1 z)) in z 320.516 * [taylor]: Taking taylor expansion of 7.5 in z 320.516 * [backup-simplify]: Simplify 7.5 into 7.5 320.516 * [taylor]: Taking taylor expansion of (/ 1 z) in z 320.516 * [taylor]: Taking taylor expansion of z in z 320.516 * [backup-simplify]: Simplify 0 into 0 320.516 * [backup-simplify]: Simplify 1 into 1 320.516 * [backup-simplify]: Simplify (/ 1 1) into 1 320.517 * [backup-simplify]: Simplify (- 1) into -1 320.517 * [backup-simplify]: Simplify (+ 0 -1) into -1 320.517 * [backup-simplify]: Simplify (exp (- 7.5 (/ 1 z))) into (exp (- 7.5 (/ 1 z))) 320.517 * [backup-simplify]: Simplify (+ 0 0.9999999999998099) into 0.9999999999998099 320.517 * [backup-simplify]: Simplify (+ 0 0.9999999999998099) into 0.9999999999998099 320.518 * [backup-simplify]: Simplify (+ 0 0.9999999999998099) into 0.9999999999998099 320.518 * [backup-simplify]: Simplify (+ 0 0.9999999999998099) into 0.9999999999998099 320.518 * [backup-simplify]: Simplify (+ 0 0.9999999999998099) into 0.9999999999998099 320.518 * [backup-simplify]: Simplify (+ 0.9999999999998099 0) into 0.9999999999998099 320.519 * [backup-simplify]: Simplify (* (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z)))) 0.9999999999998099) into (* 0.9999999999998099 (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z))))) 320.519 * [backup-simplify]: Simplify (* PI (* 0.9999999999998099 (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z)))))) into (* 0.9999999999998099 (* (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z)))) PI)) 320.519 * [backup-simplify]: Simplify (* (sin (/ PI z)) (exp (- 7.5 (/ 1 z)))) into (* (sin (/ PI z)) (exp (- 7.5 (/ 1 z)))) 320.519 * [backup-simplify]: Simplify (/ (* 0.9999999999998099 (* (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z)))) PI)) (* (sin (/ PI z)) (exp (- 7.5 (/ 1 z))))) into (* 0.9999999999998099 (/ (* (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z)))) PI) (* (sin (/ PI z)) (exp (- 7.5 (/ 1 z)))))) 320.519 * [backup-simplify]: Simplify (* 0.9999999999998099 (/ (* (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z)))) PI) (* (sin (/ PI z)) (exp (- 7.5 (/ 1 z)))))) into (* 0.9999999999998099 (/ (* (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z)))) PI) (* (sin (/ PI z)) (exp (- 7.5 (/ 1 z)))))) 320.520 * [backup-simplify]: Simplify (* 771.3234287776531 -1) into -771.3234287776531 320.520 * [backup-simplify]: Simplify (* 12.507343278686905 -1) into -12.507343278686905 320.520 * [backup-simplify]: Simplify (* 676.5203681218851 -1) into -676.5203681218851 320.521 * [backup-simplify]: Simplify (* 1.5056327351493116e-07 -1) into -1.5056327351493116e-07 320.521 * [backup-simplify]: Simplify (* 9.984369578019572e-06 -1) into -9.984369578019572e-06 320.521 * [backup-simplify]: Simplify (+ -9.984369578019572e-06 0) into (- 9.984369578019572e-06) 320.522 * [backup-simplify]: Simplify (+ -1.5056327351493116e-07 (- 9.984369578019572e-06)) into (- 1.0134932851534503e-05) 320.522 * [backup-simplify]: Simplify (+ -676.5203681218851 (- 1.0134932851534503e-05)) into (- 676.5203782568179) 320.523 * [backup-simplify]: Simplify (+ -12.507343278686905 (- 676.5203782568179)) into (- 689.0277215355048) 320.523 * [backup-simplify]: Simplify (+ -771.3234287776531 (- 689.0277215355048)) into (- 1460.351150313158) 320.523 * [backup-simplify]: Simplify (* 176.6150291621406 -1) into -176.6150291621406 320.524 * [backup-simplify]: Simplify (* 1259.1392167224028 -1) into -1259.1392167224028 320.524 * [backup-simplify]: Simplify (* 0.13857109526572012 -1) into -0.13857109526572012 320.524 * [backup-simplify]: Simplify (+ -1259.1392167224028 -0.13857109526572012) into (- 1259.2777878176685) 320.525 * [backup-simplify]: Simplify (+ -176.6150291621406 (- 1259.2777878176685)) into (- 1435.8928169798091) 320.525 * [backup-simplify]: Simplify (- (- 1435.8928169798091)) into 1435.8928169798091 320.526 * [backup-simplify]: Simplify (+ (- 1460.351150313158) 1435.8928169798091) into (- 24.458333333348946) 320.526 * [backup-simplify]: Simplify (+ (* (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z)))) (- 24.458333333348946)) (* 0 0.9999999999998099)) into (- (* 24.458333333348946 (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z)))))) 320.526 * [backup-simplify]: Simplify (+ (* PI (- (* 24.458333333348946 (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z))))))) (* 0 (* 0.9999999999998099 (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z))))))) into (- (* 24.458333333348946 (* (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z)))) PI))) 320.527 * [backup-simplify]: Simplify (+ (* (sin (/ PI z)) 0) (* 0 (exp (- 7.5 (/ 1 z))))) into 0 320.527 * [backup-simplify]: Simplify (- (/ (- (* 24.458333333348946 (* (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z)))) PI))) (* (sin (/ PI z)) (exp (- 7.5 (/ 1 z))))) (+ (* (* 0.9999999999998099 (/ (* (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z)))) PI) (* (sin (/ PI z)) (exp (- 7.5 (/ 1 z)))))) (/ 0 (* (sin (/ PI z)) (exp (- 7.5 (/ 1 z)))))))) into (- (* 24.458333333348946 (/ (* (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z)))) PI) (* (sin (/ PI z)) (exp (- 7.5 (/ 1 z))))))) 320.528 * [backup-simplify]: Simplify (- (* 24.458333333348946 (/ (* (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z)))) PI) (* (sin (/ PI z)) (exp (- 7.5 (/ 1 z))))))) into (- (* 24.458333333348946 (/ (* (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z)))) PI) (* (sin (/ PI z)) (exp (- 7.5 (/ 1 z))))))) 320.528 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 320.528 * [backup-simplify]: Simplify (- 0) into 0 320.529 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0 320.530 * [backup-simplify]: Simplify (- (+ (* -1 (/ 3.0 -1)))) into (- 3.0) 320.531 * [backup-simplify]: Simplify (+ (* 771.3234287776531 (- 3.0)) (* 0 -1)) into (- 2313.9702863329594) 320.531 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 320.531 * [backup-simplify]: Simplify (- 0) into 0 320.532 * [backup-simplify]: Simplify (+ 5.0 0) into 5.0 320.533 * [backup-simplify]: Simplify (- (+ (* -1 (/ 5.0 -1)))) into (- 5.0) 320.534 * [backup-simplify]: Simplify (+ (* 12.507343278686905 (- 5.0)) (* 0 -1)) into (- 62.536716393434524) 320.535 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 320.535 * [backup-simplify]: Simplify (- 0) into 0 320.535 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 320.536 * [backup-simplify]: Simplify (- (+ (* -1 (/ 1.0 -1)))) into (- 1.0) 320.538 * [backup-simplify]: Simplify (+ (* 676.5203681218851 (- 1.0)) (* 0 -1)) into (- 676.5203681218851) 320.538 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 320.538 * [backup-simplify]: Simplify (- 0) into 0 320.538 * [backup-simplify]: Simplify (+ 8.0 0) into 8.0 320.540 * [backup-simplify]: Simplify (- (+ (* -1 (/ 8.0 -1)))) into (- 8.0) 320.541 * [backup-simplify]: Simplify (+ (* 1.5056327351493116e-07 (- 8.0)) (* 0 -1)) into (- 1.2045061881194493e-06) 320.541 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 320.542 * [backup-simplify]: Simplify (- 0) into 0 320.542 * [backup-simplify]: Simplify (+ 7.0 0) into 7.0 320.543 * [backup-simplify]: Simplify (- (+ (* -1 (/ 7.0 -1)))) into (- 7.0) 320.544 * [backup-simplify]: Simplify (+ (* 9.984369578019572e-06 (- 7.0)) (* 0 -1)) into (- 6.9890587046137e-05) 320.545 * [backup-simplify]: Simplify (+ (- 6.9890587046137e-05) 0) into (- 6.9890587046137e-05) 320.545 * [backup-simplify]: Simplify (+ (- 1.2045061881194493e-06) (- 6.9890587046137e-05)) into (- 7.109509323425645e-05) 320.546 * [backup-simplify]: Simplify (+ (- 676.5203681218851) (- 7.109509323425645e-05)) into (- 676.5204392169784) 320.547 * [backup-simplify]: Simplify (+ (- 62.536716393434524) (- 676.5204392169784)) into (- 739.0571556104129) 320.548 * [backup-simplify]: Simplify (+ (- 2313.9702863329594) (- 739.0571556104129)) into (- 3053.027441943372) 320.548 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 320.548 * [backup-simplify]: Simplify (- 0) into 0 320.548 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0 320.550 * [backup-simplify]: Simplify (- (+ (* -1 (/ 4.0 -1)))) into (- 4.0) 320.551 * [backup-simplify]: Simplify (+ (* 176.6150291621406 (- 4.0)) (* 0 -1)) into (- 706.4601166485623) 320.551 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 320.551 * [backup-simplify]: Simplify (- 0) into 0 320.552 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 320.553 * [backup-simplify]: Simplify (- (+ (* -1 (/ 2.0 -1)))) into (- 2.0) 320.554 * [backup-simplify]: Simplify (+ (* 1259.1392167224028 (- 2.0)) (* 0 -1)) into (- 2518.2784334448056) 320.554 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 320.555 * [backup-simplify]: Simplify (- 0) into 0 320.555 * [backup-simplify]: Simplify (+ 6.0 0) into 6.0 320.556 * [backup-simplify]: Simplify (- (+ (* -1 (/ 6.0 -1)))) into (- 6.0) 320.557 * [backup-simplify]: Simplify (+ (* 0.13857109526572012 (- 6.0)) (* 0 -1)) into (- 0.8314265715943208) 320.558 * [backup-simplify]: Simplify (+ (- 2518.2784334448056) (- 0.8314265715943208)) into (- 2519.1098600164) 320.559 * [backup-simplify]: Simplify (+ (- 706.4601166485623) (- 2519.1098600164)) into (- 3225.5699766649623) 320.559 * [backup-simplify]: Simplify (- (- 3225.5699766649623)) into 3225.5699766649623 320.560 * [backup-simplify]: Simplify (+ (- 3053.027441943372) 3225.5699766649623) into 172.54253472159007 320.560 * [backup-simplify]: Simplify (+ (* (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z)))) 172.54253472159007) (+ (* 0 (- 24.458333333348946)) (* 0 0.9999999999998099))) into (* 172.54253472159007 (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z))))) 320.561 * [backup-simplify]: Simplify (+ (* PI (* 172.54253472159007 (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z)))))) (+ (* 0 (- (* 24.458333333348946 (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z))))))) (* 0 (* 0.9999999999998099 (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z)))))))) into (* 172.54253472159007 (* (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z)))) PI)) 320.561 * [backup-simplify]: Simplify (+ (* (sin (/ PI z)) 0) (+ (* 0 0) (* 0 (exp (- 7.5 (/ 1 z)))))) into 0 320.562 * [backup-simplify]: Simplify (- (/ (* 172.54253472159007 (* (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z)))) PI)) (* (sin (/ PI z)) (exp (- 7.5 (/ 1 z))))) (+ (* (* 0.9999999999998099 (/ (* (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z)))) PI) (* (sin (/ PI z)) (exp (- 7.5 (/ 1 z)))))) (/ 0 (* (sin (/ PI z)) (exp (- 7.5 (/ 1 z)))))) (* (- (* 24.458333333348946 (/ (* (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z)))) PI) (* (sin (/ PI z)) (exp (- 7.5 (/ 1 z))))))) (/ 0 (* (sin (/ PI z)) (exp (- 7.5 (/ 1 z)))))))) into (* 172.54253472159007 (/ (* (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z)))) PI) (* (sin (/ PI z)) (exp (- 7.5 (/ 1 z)))))) 320.563 * [backup-simplify]: Simplify (* 172.54253472159007 (/ (* (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z)))) PI) (* (sin (/ PI z)) (exp (- 7.5 (/ 1 z)))))) into (* 172.54253472159007 (/ (* (exp (* (log (- 7.5 (/ 1 z))) (- 0.5 (/ 1 z)))) PI) (* (sin (/ PI z)) (exp (- 7.5 (/ 1 z))))))