13.734 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 1.454 * * * [progress]: [2/2] Setting up program. 1.464 * [progress]: [Phase 2 of 3] Improving. 1.465 * [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.467 * * [simplify]: iteration 0 : 148 enodes (cost 63 ) 1.470 * * [simplify]: iteration 1 : 617 enodes (cost 63 ) 1.482 * * [simplify]: iteration 2 : 4243 enodes (cost 62 ) 1.567 * * [simplify]: iteration 3 : 5001 enodes (cost 62 ) 1.568 * [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.579 * * [progress]: iteration 1 / 4 1.579 * * * [progress]: picking best candidate 1.603 * * * * [pick]: Picked # 1.603 * * * [progress]: localizing error 1.655 * * * [progress]: generating rewritten candidates 1.655 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1) 1.676 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 2 1) 1.693 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2 1) 1.710 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1 2 2 1) 1.729 * * * [progress]: generating series expansions 1.729 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1) 1.729 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1.729 * [taylor]: Taking taylor expansion of (- z) in z 1.729 * [taylor]: Taking taylor expansion of z in z 1.729 * [taylor]: Taking taylor expansion of (- z) in z 1.730 * [taylor]: Taking taylor expansion of z in z 1.732 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1.732 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.732 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.732 * [taylor]: Taking taylor expansion of z in z 1.732 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.732 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.732 * [taylor]: Taking taylor expansion of z in z 1.737 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.737 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.737 * [taylor]: Taking taylor expansion of z in z 1.738 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.738 * [taylor]: Taking taylor expansion of z in z 1.741 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 2 1) 1.741 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1.741 * [taylor]: Taking taylor expansion of (- z) in z 1.741 * [taylor]: Taking taylor expansion of z in z 1.741 * [taylor]: Taking taylor expansion of (- z) in z 1.741 * [taylor]: Taking taylor expansion of z in z 1.743 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1.743 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.743 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.743 * [taylor]: Taking taylor expansion of z in z 1.743 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.743 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.743 * [taylor]: Taking taylor expansion of z in z 1.752 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.752 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.752 * [taylor]: Taking taylor expansion of z in z 1.752 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.752 * [taylor]: Taking taylor expansion of z in z 1.755 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2 1) 1.755 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1.755 * [taylor]: Taking taylor expansion of (- z) in z 1.755 * [taylor]: Taking taylor expansion of z in z 1.755 * [taylor]: Taking taylor expansion of (- z) in z 1.755 * [taylor]: Taking taylor expansion of z in z 1.757 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1.757 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.757 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.757 * [taylor]: Taking taylor expansion of z in z 1.758 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.758 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.758 * [taylor]: Taking taylor expansion of z in z 1.762 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.762 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.762 * [taylor]: Taking taylor expansion of z in z 1.763 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.763 * [taylor]: Taking taylor expansion of z in z 1.766 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1 2 2 1) 1.766 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1.766 * [taylor]: Taking taylor expansion of (- z) in z 1.766 * [taylor]: Taking taylor expansion of z in z 1.766 * [taylor]: Taking taylor expansion of (- z) in z 1.766 * [taylor]: Taking taylor expansion of z in z 1.768 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1.768 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.768 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.768 * [taylor]: Taking taylor expansion of z in z 1.769 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.769 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.769 * [taylor]: Taking taylor expansion of z in z 1.773 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.774 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.774 * [taylor]: Taking taylor expansion of z in z 1.774 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.774 * [taylor]: Taking taylor expansion of z in z 1.777 * * * [progress]: simplifying candidates 1.778 * [simplify]: Simplifying using # : (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 1.782 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 1.784 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 1.787 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 1.798 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 1.838 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 1.840 * [simplify]: Simplified to: (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -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.841 * * * [progress]: adding candidates to table 2.607 * * [progress]: iteration 2 / 4 2.607 * * * [progress]: picking best candidate 2.621 * * * * [pick]: Picked # 2.622 * * * [progress]: localizing error 2.675 * * * [progress]: generating rewritten candidates 2.675 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 2.695 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 2.712 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 2.730 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 2.748 * * * [progress]: generating series expansions 2.749 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 2.749 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.749 * [taylor]: Taking taylor expansion of (- z) in z 2.749 * [taylor]: Taking taylor expansion of z in z 2.749 * [taylor]: Taking taylor expansion of (- z) in z 2.749 * [taylor]: Taking taylor expansion of z in z 2.751 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.751 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.751 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.751 * [taylor]: Taking taylor expansion of z in z 2.751 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.752 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.752 * [taylor]: Taking taylor expansion of z in z 2.756 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.757 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.757 * [taylor]: Taking taylor expansion of z in z 2.757 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.757 * [taylor]: Taking taylor expansion of z in z 2.760 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 2.761 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.761 * [taylor]: Taking taylor expansion of (- z) in z 2.761 * [taylor]: Taking taylor expansion of z in z 2.761 * [taylor]: Taking taylor expansion of (- z) in z 2.761 * [taylor]: Taking taylor expansion of z in z 2.763 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.763 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.763 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.763 * [taylor]: Taking taylor expansion of z in z 2.763 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.763 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.763 * [taylor]: Taking taylor expansion of z in z 2.772 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.772 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.772 * [taylor]: Taking taylor expansion of z in z 2.773 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.773 * [taylor]: Taking taylor expansion of z in z 2.776 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 2.777 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.777 * [taylor]: Taking taylor expansion of (- z) in z 2.777 * [taylor]: Taking taylor expansion of z in z 2.777 * [taylor]: Taking taylor expansion of (- z) in z 2.777 * [taylor]: Taking taylor expansion of z in z 2.779 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.779 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.779 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.779 * [taylor]: Taking taylor expansion of z in z 2.779 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.779 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.779 * [taylor]: Taking taylor expansion of z in z 2.784 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.784 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.784 * [taylor]: Taking taylor expansion of z in z 2.784 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.784 * [taylor]: Taking taylor expansion of z in z 2.788 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2 1) 2.788 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.788 * [taylor]: Taking taylor expansion of (- z) in z 2.788 * [taylor]: Taking taylor expansion of z in z 2.788 * [taylor]: Taking taylor expansion of (- z) in z 2.788 * [taylor]: Taking taylor expansion of z in z 2.790 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.790 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.790 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.790 * [taylor]: Taking taylor expansion of z in z 2.790 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.790 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.790 * [taylor]: Taking taylor expansion of z in z 2.795 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.796 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.796 * [taylor]: Taking taylor expansion of z in z 2.796 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.796 * [taylor]: Taking taylor expansion of z in z 2.799 * * * [progress]: simplifying candidates 2.800 * [simplify]: Simplifying using # : (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 2.804 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 2.806 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 2.809 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 2.820 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 2.861 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 2.863 * [simplify]: Simplified to: (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -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.864 * * * [progress]: adding candidates to table 3.635 * * [progress]: iteration 3 / 4 3.635 * * * [progress]: picking best candidate 3.850 * * * * [pick]: Picked # 3.851 * * * [progress]: localizing error 3.910 * * * [progress]: generating rewritten candidates 3.910 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2 1) 3.930 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 2 1) 3.947 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 3.965 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 2 2 1) 3.984 * * * [progress]: generating series expansions 3.984 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2 1) 3.984 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 3.984 * [taylor]: Taking taylor expansion of (- z) in z 3.984 * [taylor]: Taking taylor expansion of z in z 3.984 * [taylor]: Taking taylor expansion of (- z) in z 3.984 * [taylor]: Taking taylor expansion of z in z 3.986 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 3.987 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.987 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.987 * [taylor]: Taking taylor expansion of z in z 3.987 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.987 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.987 * [taylor]: Taking taylor expansion of z in z 3.992 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.992 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.992 * [taylor]: Taking taylor expansion of z in z 3.992 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.992 * [taylor]: Taking taylor expansion of z in z 3.995 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 2 1) 3.995 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 3.995 * [taylor]: Taking taylor expansion of (- z) in z 3.996 * [taylor]: Taking taylor expansion of z in z 3.996 * [taylor]: Taking taylor expansion of (- z) in z 3.996 * [taylor]: Taking taylor expansion of z in z 3.998 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 3.998 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.998 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.998 * [taylor]: Taking taylor expansion of z in z 3.998 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.998 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.998 * [taylor]: Taking taylor expansion of z in z 4.005 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 4.006 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.006 * [taylor]: Taking taylor expansion of z in z 4.006 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.006 * [taylor]: Taking taylor expansion of z in z 4.009 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 2 2 1) 4.009 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 4.009 * [taylor]: Taking taylor expansion of (- z) in z 4.009 * [taylor]: Taking taylor expansion of z in z 4.009 * [taylor]: Taking taylor expansion of (- z) in z 4.009 * [taylor]: Taking taylor expansion of z in z 4.011 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 4.011 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.011 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.011 * [taylor]: Taking taylor expansion of z in z 4.012 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.012 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.012 * [taylor]: Taking taylor expansion of z in z 4.016 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 4.016 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.016 * [taylor]: Taking taylor expansion of z in z 4.017 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.017 * [taylor]: Taking taylor expansion of z in z 4.020 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 2 2 1) 4.020 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 4.020 * [taylor]: Taking taylor expansion of (- z) in z 4.020 * [taylor]: Taking taylor expansion of z in z 4.020 * [taylor]: Taking taylor expansion of (- z) in z 4.020 * [taylor]: Taking taylor expansion of z in z 4.022 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 4.022 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.022 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.022 * [taylor]: Taking taylor expansion of z in z 4.023 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.023 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.023 * [taylor]: Taking taylor expansion of z in z 4.027 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 4.028 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.028 * [taylor]: Taking taylor expansion of z in z 4.028 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.028 * [taylor]: Taking taylor expansion of z in z 4.031 * * * [progress]: simplifying candidates 4.032 * [simplify]: Simplifying using # : (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 4.036 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 4.037 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 4.041 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 4.052 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 4.092 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 4.094 * [simplify]: Simplified to: (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -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) 4.094 * * * [progress]: adding candidates to table 4.941 * * [progress]: iteration 4 / 4 4.941 * * * [progress]: picking best candidate 4.953 * * * * [pick]: Picked # 4.953 * * * [progress]: localizing error 5.017 * * * [progress]: generating rewritten candidates 5.017 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 1 1) 5.035 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 5.052 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 5.072 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 5.091 * * * [progress]: generating series expansions 5.091 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 1 1) 5.092 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 5.092 * [taylor]: Taking taylor expansion of (- z) in z 5.092 * [taylor]: Taking taylor expansion of z in z 5.092 * [taylor]: Taking taylor expansion of (- z) in z 5.092 * [taylor]: Taking taylor expansion of z in z 5.094 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 5.094 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.094 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.094 * [taylor]: Taking taylor expansion of z in z 5.095 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.095 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.095 * [taylor]: Taking taylor expansion of z in z 5.099 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.099 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.099 * [taylor]: Taking taylor expansion of z in z 5.100 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.100 * [taylor]: Taking taylor expansion of z in z 5.103 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 5.103 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 5.103 * [taylor]: Taking taylor expansion of (- z) in z 5.103 * [taylor]: Taking taylor expansion of z in z 5.103 * [taylor]: Taking taylor expansion of (- z) in z 5.103 * [taylor]: Taking taylor expansion of z in z 5.105 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 5.105 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.105 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.105 * [taylor]: Taking taylor expansion of z in z 5.106 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.106 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.106 * [taylor]: Taking taylor expansion of z in z 5.110 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.110 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.110 * [taylor]: Taking taylor expansion of z in z 5.111 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.111 * [taylor]: Taking taylor expansion of z in z 5.114 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 5.114 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 5.114 * [taylor]: Taking taylor expansion of (- z) in z 5.114 * [taylor]: Taking taylor expansion of z in z 5.114 * [taylor]: Taking taylor expansion of (- z) in z 5.114 * [taylor]: Taking taylor expansion of z in z 5.116 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 5.116 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.116 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.116 * [taylor]: Taking taylor expansion of z in z 5.116 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.116 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.116 * [taylor]: Taking taylor expansion of z in z 5.121 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.121 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.121 * [taylor]: Taking taylor expansion of z in z 5.121 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.122 * [taylor]: Taking taylor expansion of z in z 5.125 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2 1) 5.125 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 5.125 * [taylor]: Taking taylor expansion of (- z) in z 5.125 * [taylor]: Taking taylor expansion of z in z 5.125 * [taylor]: Taking taylor expansion of (- z) in z 5.125 * [taylor]: Taking taylor expansion of z in z 5.127 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 5.127 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.127 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.127 * [taylor]: Taking taylor expansion of z in z 5.127 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.127 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.127 * [taylor]: Taking taylor expansion of z in z 5.132 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.132 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.132 * [taylor]: Taking taylor expansion of z in z 5.133 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.133 * [taylor]: Taking taylor expansion of z in z 5.136 * * * [progress]: simplifying candidates 5.137 * [simplify]: Simplifying using # : (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 5.141 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 5.143 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 5.146 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 5.157 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 5.197 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 5.199 * [simplify]: Simplified to: (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -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) 5.199 * * * [progress]: adding candidates to table 6.034 * [progress]: [Phase 3 of 3] Extracting. 6.034 * * [regime]: Finding splitpoints for: (# # #) 6.051 * * * [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) 6.051 * * * * [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 (# # #) 6.125 * * * * [regimes]: Trying to branch on z from (# # #) 6.171 * * * [regime]: Found split indices: #