10.676 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 1.302 * * * [progress]: [2/2] Setting up program. 1.312 * [progress]: [Phase 2 of 3] Improving. 1.313 * [simplify]: Simplifying using # : (* (/ 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))))) 1.315 * * [simplify]: iteration 0 : 148 enodes (cost 63 ) 1.318 * * [simplify]: iteration 1 : 619 enodes (cost 63 ) 1.331 * * [simplify]: iteration 2 : 4284 enodes (cost 62 ) 1.413 * * [simplify]: iteration 3 : 5001 enodes (cost 62 ) 1.414 * [simplify]: Simplified to: (/ (* (* (/ 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)))) (+ (+ (+ (+ (+ (+ (+ (+ 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)))) (exp (+ (+ (- (- 1.0 z) 1.0) 7.0) 0.5))) 1.427 * * [progress]: iteration 1 / 4 1.427 * * * [progress]: picking best candidate 1.447 * * * * [pick]: Picked # 1.447 * * * [progress]: localizing error 1.503 * * * [progress]: generating rewritten candidates 1.503 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1) 1.507 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 2 1) 1.510 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2 1) 1.514 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1 2 2 1) 1.519 * * * [progress]: generating series expansions 1.519 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1) 1.519 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1.519 * [taylor]: Taking taylor expansion of (- z) in z 1.519 * [taylor]: Taking taylor expansion of z in z 1.519 * [taylor]: Taking taylor expansion of (- z) in z 1.519 * [taylor]: Taking taylor expansion of z in z 1.521 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1.521 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.521 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.521 * [taylor]: Taking taylor expansion of z in z 1.522 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.522 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.522 * [taylor]: Taking taylor expansion of z in z 1.526 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.526 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.527 * [taylor]: Taking taylor expansion of z in z 1.527 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.527 * [taylor]: Taking taylor expansion of z in z 1.530 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 2 1) 1.530 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1.530 * [taylor]: Taking taylor expansion of (- z) in z 1.530 * [taylor]: Taking taylor expansion of z in z 1.530 * [taylor]: Taking taylor expansion of (- z) in z 1.530 * [taylor]: Taking taylor expansion of z in z 1.532 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1.532 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.532 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.532 * [taylor]: Taking taylor expansion of z in z 1.532 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.532 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.532 * [taylor]: Taking taylor expansion of z in z 1.537 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.537 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.537 * [taylor]: Taking taylor expansion of z in z 1.538 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.538 * [taylor]: Taking taylor expansion of z in z 1.541 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2 1) 1.541 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1.541 * [taylor]: Taking taylor expansion of (- z) in z 1.541 * [taylor]: Taking taylor expansion of z in z 1.541 * [taylor]: Taking taylor expansion of (- z) in z 1.541 * [taylor]: Taking taylor expansion of z in z 1.543 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1.543 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.543 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.543 * [taylor]: Taking taylor expansion of z in z 1.543 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.543 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.543 * [taylor]: Taking taylor expansion of z in z 1.548 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.548 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.548 * [taylor]: Taking taylor expansion of z in z 1.548 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.549 * [taylor]: Taking taylor expansion of z in z 1.552 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1 2 2 1) 1.552 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1.552 * [taylor]: Taking taylor expansion of (- z) in z 1.552 * [taylor]: Taking taylor expansion of z in z 1.552 * [taylor]: Taking taylor expansion of (- z) in z 1.552 * [taylor]: Taking taylor expansion of z in z 1.554 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1.554 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.554 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.554 * [taylor]: Taking taylor expansion of z in z 1.554 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.554 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.554 * [taylor]: Taking taylor expansion of z in z 1.559 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.559 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.559 * [taylor]: Taking taylor expansion of z in z 1.559 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.559 * [taylor]: Taking taylor expansion of z in z 1.563 * * * [progress]: simplifying candidates 1.563 * [simplify]: Simplifying using # : (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 1.566 * * [simplify]: iteration 0 : 50 enodes (cost 108 ) 1.568 * * [simplify]: iteration 1 : 119 enodes (cost 108 ) 1.571 * * [simplify]: iteration 2 : 380 enodes (cost 108 ) 1.578 * * [simplify]: iteration 3 : 1399 enodes (cost 104 ) 1.605 * * [simplify]: iteration 4 : 5001 enodes (cost 100 ) 1.606 * [simplify]: Simplified to: (- (pow (- 1.0 z) 3) (pow 1.0 3)) (fma (- 1.0 z) (+ (- 1.0 z) 1.0) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (* -1 1.0) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (fma (- 1.0 z) (+ (- 1.0 z) 1.0) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (* -1 1.0) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (fma (- 1.0 z) (+ (- 1.0 z) 1.0) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (* -1 1.0) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (fma (- 1.0 z) (+ (- 1.0 z) 1.0) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (* -1 1.0) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 1.606 * * * [progress]: adding candidates to table 1.900 * * [progress]: iteration 2 / 4 1.900 * * * [progress]: picking best candidate 1.910 * * * * [pick]: Picked # 1.910 * * * [progress]: localizing error 1.958 * * * [progress]: generating rewritten candidates 1.958 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 1.962 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 1.966 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 1.970 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 1.976 * * * [progress]: generating series expansions 1.976 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 1.977 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1.977 * [taylor]: Taking taylor expansion of (- z) in z 1.977 * [taylor]: Taking taylor expansion of z in z 1.977 * [taylor]: Taking taylor expansion of (- z) in z 1.977 * [taylor]: Taking taylor expansion of z in z 1.979 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1.979 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.979 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.979 * [taylor]: Taking taylor expansion of z in z 1.979 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.979 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.979 * [taylor]: Taking taylor expansion of z in z 1.984 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.984 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.984 * [taylor]: Taking taylor expansion of z in z 1.984 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.984 * [taylor]: Taking taylor expansion of z in z 1.987 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 1.988 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1.988 * [taylor]: Taking taylor expansion of (- z) in z 1.988 * [taylor]: Taking taylor expansion of z in z 1.988 * [taylor]: Taking taylor expansion of (- z) in z 1.988 * [taylor]: Taking taylor expansion of z in z 1.990 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1.990 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.990 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.990 * [taylor]: Taking taylor expansion of z in z 1.990 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.990 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.990 * [taylor]: Taking taylor expansion of z in z 1.995 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.995 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.995 * [taylor]: Taking taylor expansion of z in z 1.995 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.995 * [taylor]: Taking taylor expansion of z in z 1.998 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 1.998 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1.998 * [taylor]: Taking taylor expansion of (- z) in z 1.998 * [taylor]: Taking taylor expansion of z in z 1.998 * [taylor]: Taking taylor expansion of (- z) in z 1.998 * [taylor]: Taking taylor expansion of z in z 2.000 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.000 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.000 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.000 * [taylor]: Taking taylor expansion of z in z 2.001 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.001 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.001 * [taylor]: Taking taylor expansion of z in z 2.005 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.005 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.005 * [taylor]: Taking taylor expansion of z in z 2.006 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.006 * [taylor]: Taking taylor expansion of z in z 2.009 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2 1) 2.009 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.009 * [taylor]: Taking taylor expansion of (- z) in z 2.009 * [taylor]: Taking taylor expansion of z in z 2.009 * [taylor]: Taking taylor expansion of (- z) in z 2.009 * [taylor]: Taking taylor expansion of z in z 2.011 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.011 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.011 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.011 * [taylor]: Taking taylor expansion of z in z 2.011 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.011 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.011 * [taylor]: Taking taylor expansion of z in z 2.016 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.016 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.016 * [taylor]: Taking taylor expansion of z in z 2.016 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.016 * [taylor]: Taking taylor expansion of z in z 2.020 * * * [progress]: simplifying candidates 2.021 * [simplify]: Simplifying using # : (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 2.023 * * [simplify]: iteration 0 : 50 enodes (cost 108 ) 2.025 * * [simplify]: iteration 1 : 119 enodes (cost 108 ) 2.028 * * [simplify]: iteration 2 : 380 enodes (cost 108 ) 2.035 * * [simplify]: iteration 3 : 1399 enodes (cost 104 ) 2.061 * * [simplify]: iteration 4 : 5001 enodes (cost 100 ) 2.062 * [simplify]: Simplified to: (- (pow (- 1.0 z) 3) (pow 1.0 3)) (fma (- 1.0 z) (+ (- 1.0 z) 1.0) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (* -1 1.0) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (fma (- 1.0 z) (+ (- 1.0 z) 1.0) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (* -1 1.0) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (fma (- 1.0 z) (+ (- 1.0 z) 1.0) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (* -1 1.0) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (fma (- 1.0 z) (+ (- 1.0 z) 1.0) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (* -1 1.0) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 2.062 * * * [progress]: adding candidates to table 2.348 * * [progress]: iteration 3 / 4 2.348 * * * [progress]: picking best candidate 2.359 * * * * [pick]: Picked # 2.359 * * * [progress]: localizing error 2.416 * * * [progress]: generating rewritten candidates 2.416 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 2.420 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 2.424 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 2.427 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 2.432 * * * [progress]: generating series expansions 2.432 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 2.432 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.432 * [taylor]: Taking taylor expansion of (- z) in z 2.432 * [taylor]: Taking taylor expansion of z in z 2.432 * [taylor]: Taking taylor expansion of (- z) in z 2.432 * [taylor]: Taking taylor expansion of z in z 2.434 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.435 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.435 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.435 * [taylor]: Taking taylor expansion of z in z 2.435 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.435 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.435 * [taylor]: Taking taylor expansion of z in z 2.440 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.440 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.440 * [taylor]: Taking taylor expansion of z in z 2.440 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.440 * [taylor]: Taking taylor expansion of z in z 2.443 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 2.443 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.443 * [taylor]: Taking taylor expansion of (- z) in z 2.443 * [taylor]: Taking taylor expansion of z in z 2.443 * [taylor]: Taking taylor expansion of (- z) in z 2.443 * [taylor]: Taking taylor expansion of z in z 2.445 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.445 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.445 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.445 * [taylor]: Taking taylor expansion of z in z 2.446 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.446 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.446 * [taylor]: Taking taylor expansion of z in z 2.451 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.451 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.451 * [taylor]: Taking taylor expansion of z in z 2.451 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.451 * [taylor]: Taking taylor expansion of z in z 2.454 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 2.454 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.454 * [taylor]: Taking taylor expansion of (- z) in z 2.454 * [taylor]: Taking taylor expansion of z in z 2.454 * [taylor]: Taking taylor expansion of (- z) in z 2.454 * [taylor]: Taking taylor expansion of z in z 2.461 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.461 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.461 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.461 * [taylor]: Taking taylor expansion of z in z 2.462 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.462 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.462 * [taylor]: Taking taylor expansion of z in z 2.467 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.467 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.467 * [taylor]: Taking taylor expansion of z in z 2.467 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.467 * [taylor]: Taking taylor expansion of z in z 2.470 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2 1) 2.470 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.470 * [taylor]: Taking taylor expansion of (- z) in z 2.470 * [taylor]: Taking taylor expansion of z in z 2.470 * [taylor]: Taking taylor expansion of (- z) in z 2.470 * [taylor]: Taking taylor expansion of z in z 2.472 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.472 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.472 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.472 * [taylor]: Taking taylor expansion of z in z 2.473 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.473 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.473 * [taylor]: Taking taylor expansion of z in z 2.478 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.478 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.478 * [taylor]: Taking taylor expansion of z in z 2.478 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.478 * [taylor]: Taking taylor expansion of z in z 2.481 * * * [progress]: simplifying candidates 2.482 * [simplify]: Simplifying using # : (+ (pow 1.0 3) (pow (- (- z) 1.0) 3)) (+ (* 1.0 1.0) (- (* (- (- z) 1.0) (- (- z) 1.0)) (* 1.0 (- (- z) 1.0)))) (- (* 1.0 1.0) (* (- (- z) 1.0) (- (- z) 1.0))) (- 1.0 (- (- z) 1.0)) (+ 1.0 (- z)) (+ 1.0 (- z)) (+ 1.0 (- z)) (+ 1.0 0) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 2.485 * * [simplify]: iteration 0 : 86 enodes (cost 110 ) 2.487 * * [simplify]: iteration 1 : 364 enodes (cost 109 ) 2.495 * * [simplify]: iteration 2 : 2051 enodes (cost 103 ) 2.526 * * [simplify]: iteration 3 : 5002 enodes (cost 96 ) 2.527 * [simplify]: Simplified to: (+ (pow 1.0 3) (pow (- (- z) 1.0) 3)) (fma 1.0 (+ (+ 1.0 1.0) z) (* (+ z 1.0) (+ z 1.0))) (- (* z (fma 2 1.0 z))) (fma 2 1.0 z) (- 1.0 z) (- 1.0 z) (- 1.0 z) 1.0 (- (pow (- 1.0 z) 3) (pow 1.0 3)) (fma (- 1.0 z) (+ (- 1.0 z) 1.0) (* 1.0 1.0)) (- 1.0) (* (+ (- 1.0 z) 1.0) (* -1 z)) (+ (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (fma (- 1.0 z) (+ (- 1.0 z) 1.0) (* 1.0 1.0)) (- 1.0) (* (+ (- 1.0 z) 1.0) (* -1 z)) (+ (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (fma (- 1.0 z) (+ (- 1.0 z) 1.0) (* 1.0 1.0)) (- 1.0) (* (+ (- 1.0 z) 1.0) (* -1 z)) (+ (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) 2.528 * * * [progress]: adding candidates to table 2.853 * [progress]: [Phase 3 of 3] Extracting. 2.853 * * [regime]: Finding splitpoints for: (# #) 2.865 * * * [regime-changes]: Trying 2 branch expressions: ((* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- (- 1.0 z) 1.0) 7.0) 0.5) (+ (- (- 1.0 z) 1.0) 0.5))) (exp (- (+ (+ (- (- 1.0 z) 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1.0 z) 1.0) 1.0))) (/ -1259.1392167224028 (+ (- (- 1.0 z) 1.0) 2.0))) (/ 771.3234287776531 (+ (- (- 1.0 z) 1.0) 3.0))) (/ -176.6150291621406 (+ (- (- 1.0 z) 1.0) 4.0))) (/ 12.507343278686905 (+ (- (- 1.0 z) 1.0) 5.0))) (/ -0.13857109526572012 (+ (- (- 1.0 z) 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- (- 1.0 z) 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- (- 1.0 z) 1.0) 8.0))))) z) 2.865 * * * * [regimes]: Trying to branch on (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- (- 1.0 z) 1.0) 7.0) 0.5) (+ (- (- 1.0 z) 1.0) 0.5))) (exp (- (+ (+ (- (- 1.0 z) 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1.0 z) 1.0) 1.0))) (/ -1259.1392167224028 (+ (- (- 1.0 z) 1.0) 2.0))) (/ 771.3234287776531 (+ (- (- 1.0 z) 1.0) 3.0))) (/ -176.6150291621406 (+ (- (- 1.0 z) 1.0) 4.0))) (/ 12.507343278686905 (+ (- (- 1.0 z) 1.0) 5.0))) (/ -0.13857109526572012 (+ (- (- 1.0 z) 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- (- 1.0 z) 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- (- 1.0 z) 1.0) 8.0))))) from (# #) 2.926 * * * * [regimes]: Trying to branch on z from (# #) 2.955 * * * [regime]: Found split indices: #