24.128 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 3.352 * * * [progress]: [2/2] Setting up program. 3.365 * [progress]: [Phase 2 of 3] Improving. 3.366 * [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 (neg (+ (+ (- (- 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))))) 3.370 * * [simplify]: iteration 0 : 148 enodes (cost 63 ) 3.375 * * [simplify]: iteration 1 : 617 enodes (cost 63 ) 3.397 * * [simplify]: iteration 2 : 4244 enodes (cost 62 ) 3.536 * * [simplify]: iteration 3 : 5001 enodes (cost 62 ) 3.537 * [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))) 3.557 * * [progress]: iteration 1 / 4 3.557 * * * [progress]: picking best candidate 3.602 * * * * [pick]: Picked # 3.602 * * * [progress]: localizing error 3.723 * * * [progress]: generating rewritten candidates 3.723 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1) 3.735 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 2 1) 3.747 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2 1) 3.760 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1 2 2 1) 3.775 * * * [progress]: generating series expansions 3.775 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1) 3.775 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 3.775 * [taylor]: Taking taylor expansion of (neg z) in z 3.775 * [taylor]: Taking taylor expansion of z in z 3.776 * [taylor]: Taking taylor expansion of (neg z) in z 3.776 * [taylor]: Taking taylor expansion of z in z 3.776 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 3.776 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.776 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.776 * [taylor]: Taking taylor expansion of z in z 3.776 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.776 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.776 * [taylor]: Taking taylor expansion of z in z 3.777 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.777 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.777 * [taylor]: Taking taylor expansion of z in z 3.777 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.777 * [taylor]: Taking taylor expansion of z in z 3.778 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 2 1) 3.778 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 3.778 * [taylor]: Taking taylor expansion of (neg z) in z 3.778 * [taylor]: Taking taylor expansion of z in z 3.778 * [taylor]: Taking taylor expansion of (neg z) in z 3.778 * [taylor]: Taking taylor expansion of z in z 3.779 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 3.779 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.779 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.779 * [taylor]: Taking taylor expansion of z in z 3.779 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.779 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.779 * [taylor]: Taking taylor expansion of z in z 3.780 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.780 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.780 * [taylor]: Taking taylor expansion of z in z 3.780 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.780 * [taylor]: Taking taylor expansion of z in z 3.781 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2 1) 3.781 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 3.781 * [taylor]: Taking taylor expansion of (neg z) in z 3.781 * [taylor]: Taking taylor expansion of z in z 3.781 * [taylor]: Taking taylor expansion of (neg z) in z 3.781 * [taylor]: Taking taylor expansion of z in z 3.781 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 3.781 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.781 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.781 * [taylor]: Taking taylor expansion of z in z 3.781 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.781 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.781 * [taylor]: Taking taylor expansion of z in z 3.782 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.782 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.782 * [taylor]: Taking taylor expansion of z in z 3.783 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.783 * [taylor]: Taking taylor expansion of z in z 3.783 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1 2 2 1) 3.783 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 3.783 * [taylor]: Taking taylor expansion of (neg z) in z 3.784 * [taylor]: Taking taylor expansion of z in z 3.784 * [taylor]: Taking taylor expansion of (neg z) in z 3.784 * [taylor]: Taking taylor expansion of z in z 3.784 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 3.784 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.784 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.784 * [taylor]: Taking taylor expansion of z in z 3.784 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.784 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.784 * [taylor]: Taking taylor expansion of z in z 3.785 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.785 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.785 * [taylor]: Taking taylor expansion of z in z 3.785 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.785 * [taylor]: Taking taylor expansion of z in z 3.786 * * * [progress]: simplifying candidates 3.788 * [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))) (neg 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) (- (neg z) 1.0) (- (neg z) 1.0) (+ z 1.0) (neg 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))) (neg 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) (- (neg z) 1.0) (- (neg z) 1.0) (+ z 1.0) (neg 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))) (neg 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) (- (neg z) 1.0) (- (neg z) 1.0) (+ z 1.0) (neg 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))) (neg 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) (- (neg z) 1.0) (- (neg z) 1.0) (+ z 1.0) (neg 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) 3.793 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 3.796 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 3.801 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 3.820 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 3.887 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 3.890 * [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) (- (neg z) 1.0) (- (neg 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) (- (neg z) 1.0) (- (neg 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) (- (neg z) 1.0) (- (neg 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) (- (neg z) 1.0) (- (neg 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) 3.891 * * * [progress]: adding candidates to table 4.746 * * [progress]: iteration 2 / 4 4.747 * * * [progress]: picking best candidate 4.762 * * * * [pick]: Picked # 4.763 * * * [progress]: localizing error 4.866 * * * [progress]: generating rewritten candidates 4.866 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 4.881 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 4.894 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 4.908 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 4.925 * * * [progress]: generating series expansions 4.926 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 4.926 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 4.926 * [taylor]: Taking taylor expansion of (neg z) in z 4.926 * [taylor]: Taking taylor expansion of z in z 4.926 * [taylor]: Taking taylor expansion of (neg z) in z 4.926 * [taylor]: Taking taylor expansion of z in z 4.926 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 4.926 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 4.926 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.926 * [taylor]: Taking taylor expansion of z in z 4.926 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 4.927 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.927 * [taylor]: Taking taylor expansion of z in z 4.928 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 4.928 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.928 * [taylor]: Taking taylor expansion of z in z 4.928 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.928 * [taylor]: Taking taylor expansion of z in z 4.928 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 4.929 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 4.929 * [taylor]: Taking taylor expansion of (neg z) in z 4.929 * [taylor]: Taking taylor expansion of z in z 4.929 * [taylor]: Taking taylor expansion of (neg z) in z 4.929 * [taylor]: Taking taylor expansion of z in z 4.929 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 4.929 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 4.929 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.929 * [taylor]: Taking taylor expansion of z in z 4.929 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 4.929 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.929 * [taylor]: Taking taylor expansion of z in z 4.930 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 4.930 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.930 * [taylor]: Taking taylor expansion of z in z 4.930 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.930 * [taylor]: Taking taylor expansion of z in z 4.931 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 4.931 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 4.931 * [taylor]: Taking taylor expansion of (neg z) in z 4.931 * [taylor]: Taking taylor expansion of z in z 4.931 * [taylor]: Taking taylor expansion of (neg z) in z 4.931 * [taylor]: Taking taylor expansion of z in z 4.931 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 4.931 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 4.931 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.931 * [taylor]: Taking taylor expansion of z in z 4.931 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 4.932 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.932 * [taylor]: Taking taylor expansion of z in z 4.932 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 4.932 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.932 * [taylor]: Taking taylor expansion of z in z 4.933 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.933 * [taylor]: Taking taylor expansion of z in z 4.933 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2 1) 4.933 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 4.933 * [taylor]: Taking taylor expansion of (neg z) in z 4.933 * [taylor]: Taking taylor expansion of z in z 4.933 * [taylor]: Taking taylor expansion of (neg z) in z 4.934 * [taylor]: Taking taylor expansion of z in z 4.934 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 4.934 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 4.934 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.934 * [taylor]: Taking taylor expansion of z in z 4.934 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 4.934 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.934 * [taylor]: Taking taylor expansion of z in z 4.935 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 4.935 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.935 * [taylor]: Taking taylor expansion of z in z 4.935 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.935 * [taylor]: Taking taylor expansion of z in z 4.936 * * * [progress]: simplifying candidates 4.938 * [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))) (neg 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) (- (neg z) 1.0) (- (neg z) 1.0) (+ z 1.0) (neg 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))) (neg 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) (- (neg z) 1.0) (- (neg z) 1.0) (+ z 1.0) (neg 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))) (neg 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) (- (neg z) 1.0) (- (neg z) 1.0) (+ z 1.0) (neg 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))) (neg 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) (- (neg z) 1.0) (- (neg z) 1.0) (+ z 1.0) (neg 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.943 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 4.947 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 4.953 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 4.972 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 5.033 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 5.037 * [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) (- (neg z) 1.0) (- (neg 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) (- (neg z) 1.0) (- (neg 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) (- (neg z) 1.0) (- (neg 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) (- (neg z) 1.0) (- (neg 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.038 * * * [progress]: adding candidates to table 5.871 * * [progress]: iteration 3 / 4 5.871 * * * [progress]: picking best candidate 5.892 * * * * [pick]: Picked # 5.893 * * * [progress]: localizing error 6.012 * * * [progress]: generating rewritten candidates 6.012 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2 1) 6.027 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 2 1) 6.042 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 6.057 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 2 2 1) 6.082 * * * [progress]: generating series expansions 6.082 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2 1) 6.082 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 6.082 * [taylor]: Taking taylor expansion of (neg z) in z 6.082 * [taylor]: Taking taylor expansion of z in z 6.082 * [taylor]: Taking taylor expansion of (neg z) in z 6.082 * [taylor]: Taking taylor expansion of z in z 6.083 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 6.083 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 6.083 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.083 * [taylor]: Taking taylor expansion of z in z 6.083 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 6.083 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.083 * [taylor]: Taking taylor expansion of z in z 6.084 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 6.084 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.084 * [taylor]: Taking taylor expansion of z in z 6.084 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.084 * [taylor]: Taking taylor expansion of z in z 6.085 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 2 1) 6.086 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 6.086 * [taylor]: Taking taylor expansion of (neg z) in z 6.086 * [taylor]: Taking taylor expansion of z in z 6.086 * [taylor]: Taking taylor expansion of (neg z) in z 6.086 * [taylor]: Taking taylor expansion of z in z 6.086 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 6.086 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 6.086 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.086 * [taylor]: Taking taylor expansion of z in z 6.086 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 6.086 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.086 * [taylor]: Taking taylor expansion of z in z 6.087 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 6.087 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.087 * [taylor]: Taking taylor expansion of z in z 6.087 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.088 * [taylor]: Taking taylor expansion of z in z 6.088 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 2 2 1) 6.089 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 6.089 * [taylor]: Taking taylor expansion of (neg z) in z 6.089 * [taylor]: Taking taylor expansion of z in z 6.089 * [taylor]: Taking taylor expansion of (neg z) in z 6.089 * [taylor]: Taking taylor expansion of z in z 6.089 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 6.089 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 6.089 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.089 * [taylor]: Taking taylor expansion of z in z 6.089 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 6.089 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.089 * [taylor]: Taking taylor expansion of z in z 6.090 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 6.090 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.090 * [taylor]: Taking taylor expansion of z in z 6.091 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.091 * [taylor]: Taking taylor expansion of z in z 6.092 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 2 2 1) 6.092 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 6.092 * [taylor]: Taking taylor expansion of (neg z) in z 6.092 * [taylor]: Taking taylor expansion of z in z 6.092 * [taylor]: Taking taylor expansion of (neg z) in z 6.092 * [taylor]: Taking taylor expansion of z in z 6.092 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 6.092 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 6.092 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.092 * [taylor]: Taking taylor expansion of z in z 6.092 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 6.092 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.092 * [taylor]: Taking taylor expansion of z in z 6.093 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 6.094 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.094 * [taylor]: Taking taylor expansion of z in z 6.094 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.094 * [taylor]: Taking taylor expansion of z in z 6.095 * * * [progress]: simplifying candidates 6.097 * [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))) (neg 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) (- (neg z) 1.0) (- (neg z) 1.0) (+ z 1.0) (neg 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))) (neg 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) (- (neg z) 1.0) (- (neg z) 1.0) (+ z 1.0) (neg 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))) (neg 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) (- (neg z) 1.0) (- (neg z) 1.0) (+ z 1.0) (neg 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))) (neg 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) (- (neg z) 1.0) (- (neg z) 1.0) (+ z 1.0) (neg 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) 6.103 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 6.106 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 6.112 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 6.130 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 6.199 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 6.203 * [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) (- (neg z) 1.0) (- (neg 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) (- (neg z) 1.0) (- (neg 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) (- (neg z) 1.0) (- (neg 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) (- (neg z) 1.0) (- (neg 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) 6.204 * * * [progress]: adding candidates to table 7.043 * * [progress]: iteration 4 / 4 7.043 * * * [progress]: picking best candidate 7.056 * * * * [pick]: Picked # 7.056 * * * [progress]: localizing error 7.187 * * * [progress]: generating rewritten candidates 7.187 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 1 1) 7.200 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 7.214 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 7.227 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 7.244 * * * [progress]: generating series expansions 7.244 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 1 1) 7.245 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 7.245 * [taylor]: Taking taylor expansion of (neg z) in z 7.245 * [taylor]: Taking taylor expansion of z in z 7.245 * [taylor]: Taking taylor expansion of (neg z) in z 7.245 * [taylor]: Taking taylor expansion of z in z 7.245 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 7.245 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 7.245 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.245 * [taylor]: Taking taylor expansion of z in z 7.245 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 7.245 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.245 * [taylor]: Taking taylor expansion of z in z 7.247 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 7.247 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.247 * [taylor]: Taking taylor expansion of z in z 7.247 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.247 * [taylor]: Taking taylor expansion of z in z 7.248 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 7.248 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 7.248 * [taylor]: Taking taylor expansion of (neg z) in z 7.248 * [taylor]: Taking taylor expansion of z in z 7.248 * [taylor]: Taking taylor expansion of (neg z) in z 7.248 * [taylor]: Taking taylor expansion of z in z 7.248 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 7.248 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 7.248 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.248 * [taylor]: Taking taylor expansion of z in z 7.248 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 7.248 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.248 * [taylor]: Taking taylor expansion of z in z 7.250 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 7.250 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.250 * [taylor]: Taking taylor expansion of z in z 7.250 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.250 * [taylor]: Taking taylor expansion of z in z 7.251 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 7.251 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 7.251 * [taylor]: Taking taylor expansion of (neg z) in z 7.251 * [taylor]: Taking taylor expansion of z in z 7.251 * [taylor]: Taking taylor expansion of (neg z) in z 7.251 * [taylor]: Taking taylor expansion of z in z 7.251 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 7.251 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 7.251 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.251 * [taylor]: Taking taylor expansion of z in z 7.251 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 7.251 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.251 * [taylor]: Taking taylor expansion of z in z 7.252 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 7.253 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.253 * [taylor]: Taking taylor expansion of z in z 7.253 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.253 * [taylor]: Taking taylor expansion of z in z 7.254 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2 1) 7.254 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 7.254 * [taylor]: Taking taylor expansion of (neg z) in z 7.254 * [taylor]: Taking taylor expansion of z in z 7.254 * [taylor]: Taking taylor expansion of (neg z) in z 7.254 * [taylor]: Taking taylor expansion of z in z 7.254 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 7.254 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 7.254 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.254 * [taylor]: Taking taylor expansion of z in z 7.254 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 7.254 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.254 * [taylor]: Taking taylor expansion of z in z 7.256 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 7.256 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.256 * [taylor]: Taking taylor expansion of z in z 7.256 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.256 * [taylor]: Taking taylor expansion of z in z 7.257 * * * [progress]: simplifying candidates 7.259 * [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))) (neg 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) (- (neg z) 1.0) (- (neg z) 1.0) (+ z 1.0) (neg 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))) (neg 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) (- (neg z) 1.0) (- (neg z) 1.0) (+ z 1.0) (neg 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))) (neg 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) (- (neg z) 1.0) (- (neg z) 1.0) (+ z 1.0) (neg 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))) (neg 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) (- (neg z) 1.0) (- (neg z) 1.0) (+ z 1.0) (neg 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) 7.264 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 7.268 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 7.274 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 7.292 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 7.363 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 7.367 * [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) (- (neg z) 1.0) (- (neg 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) (- (neg z) 1.0) (- (neg 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) (- (neg z) 1.0) (- (neg 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) (- (neg z) 1.0) (- (neg 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) 7.368 * * * [progress]: adding candidates to table 8.214 * [progress]: [Phase 3 of 3] Extracting. 8.214 * * [regime]: Finding splitpoints for: (# # #) 8.239 * * * [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 (neg (+ (+ (- (- 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) 8.239 * * * * [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 (neg (+ (+ (- (- 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 (# # #) 8.417 * * * * [regimes]: Trying to branch on z from (# # #) 8.487 * * * [regime]: Found split indices: #