13.449 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 1.658 * * * [progress]: [2/2] Setting up program. 1.670 * [progress]: [Phase 2 of 3] Improving. 1.671 * [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.677 * * [simplify]: iteration 0 : 148 enodes (cost 63 ) 1.679 * * [simplify]: iteration 1 : 617 enodes (cost 63 ) 1.692 * * [simplify]: iteration 2 : 4243 enodes (cost 62 ) 1.775 * * [simplify]: iteration 3 : 5001 enodes (cost 62 ) 1.775 * [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.786 * * [progress]: iteration 1 / 4 1.787 * * * [progress]: picking best candidate 1.808 * * * * [pick]: Picked # 1.808 * * * [progress]: localizing error 1.865 * * * [progress]: generating rewritten candidates 1.865 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1) 1.872 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 2 1) 1.879 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2 1) 1.886 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1 2 2 1) 1.895 * * * [progress]: generating series expansions 1.895 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1) 1.895 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1.895 * [taylor]: Taking taylor expansion of (- z) in z 1.895 * [taylor]: Taking taylor expansion of z in z 1.895 * [taylor]: Taking taylor expansion of (- z) in z 1.895 * [taylor]: Taking taylor expansion of z in z 1.897 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1.897 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.897 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.897 * [taylor]: Taking taylor expansion of z in z 1.898 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.898 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.898 * [taylor]: Taking taylor expansion of z in z 1.903 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.903 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.903 * [taylor]: Taking taylor expansion of z in z 1.903 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.903 * [taylor]: Taking taylor expansion of z in z 1.907 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 2 1) 1.907 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1.907 * [taylor]: Taking taylor expansion of (- z) in z 1.907 * [taylor]: Taking taylor expansion of z in z 1.907 * [taylor]: Taking taylor expansion of (- z) in z 1.907 * [taylor]: Taking taylor expansion of z in z 1.909 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1.909 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.909 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.909 * [taylor]: Taking taylor expansion of z in z 1.909 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.909 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.909 * [taylor]: Taking taylor expansion of z in z 1.914 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.914 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.915 * [taylor]: Taking taylor expansion of z in z 1.915 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.915 * [taylor]: Taking taylor expansion of z in z 1.918 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2 1) 1.918 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1.918 * [taylor]: Taking taylor expansion of (- z) in z 1.918 * [taylor]: Taking taylor expansion of z in z 1.918 * [taylor]: Taking taylor expansion of (- z) in z 1.918 * [taylor]: Taking taylor expansion of z in z 1.920 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1.920 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.920 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.920 * [taylor]: Taking taylor expansion of z in z 1.921 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.921 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.921 * [taylor]: Taking taylor expansion of z in z 1.926 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.926 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.926 * [taylor]: Taking taylor expansion of z in z 1.926 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.926 * [taylor]: Taking taylor expansion of z in z 1.930 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1 2 2 1) 1.930 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1.930 * [taylor]: Taking taylor expansion of (- z) in z 1.930 * [taylor]: Taking taylor expansion of z in z 1.930 * [taylor]: Taking taylor expansion of (- z) in z 1.930 * [taylor]: Taking taylor expansion of z in z 1.936 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1.936 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.936 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.936 * [taylor]: Taking taylor expansion of z in z 1.936 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.936 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.936 * [taylor]: Taking taylor expansion of z in z 1.941 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.941 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.941 * [taylor]: Taking taylor expansion of z in z 1.942 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.942 * [taylor]: Taking taylor expansion of z in z 1.945 * * * [progress]: simplifying candidates 1.946 * [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.950 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 1.952 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 1.955 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 1.966 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 2.006 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 2.008 * [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.008 * * * [progress]: adding candidates to table 2.893 * * [progress]: iteration 2 / 4 2.893 * * * [progress]: picking best candidate 2.906 * * * * [pick]: Picked # 2.906 * * * [progress]: localizing error 2.956 * * * [progress]: generating rewritten candidates 2.956 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 2.964 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 2.970 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 2.977 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 2.987 * * * [progress]: generating series expansions 2.987 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 2.988 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.988 * [taylor]: Taking taylor expansion of (- z) in z 2.988 * [taylor]: Taking taylor expansion of z in z 2.988 * [taylor]: Taking taylor expansion of (- z) in z 2.988 * [taylor]: Taking taylor expansion of z in z 2.990 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.990 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.990 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.990 * [taylor]: Taking taylor expansion of z in z 2.990 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.990 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.990 * [taylor]: Taking taylor expansion of z in z 2.995 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.995 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.995 * [taylor]: Taking taylor expansion of z in z 2.996 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.996 * [taylor]: Taking taylor expansion of z in z 2.999 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 2.999 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.999 * [taylor]: Taking taylor expansion of (- z) in z 2.999 * [taylor]: Taking taylor expansion of z in z 2.999 * [taylor]: Taking taylor expansion of (- z) in z 2.999 * [taylor]: Taking taylor expansion of z in z 3.001 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 3.001 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.001 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.001 * [taylor]: Taking taylor expansion of z in z 3.001 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.002 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.002 * [taylor]: Taking taylor expansion of z in z 3.007 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.007 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.007 * [taylor]: Taking taylor expansion of z in z 3.007 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.007 * [taylor]: Taking taylor expansion of z in z 3.010 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 3.010 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 3.010 * [taylor]: Taking taylor expansion of (- z) in z 3.010 * [taylor]: Taking taylor expansion of z in z 3.010 * [taylor]: Taking taylor expansion of (- z) in z 3.010 * [taylor]: Taking taylor expansion of z in z 3.013 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 3.013 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.013 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.013 * [taylor]: Taking taylor expansion of z in z 3.013 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.013 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.013 * [taylor]: Taking taylor expansion of z in z 3.018 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.018 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.018 * [taylor]: Taking taylor expansion of z in z 3.018 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.018 * [taylor]: Taking taylor expansion of z in z 3.022 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2 1) 3.022 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 3.022 * [taylor]: Taking taylor expansion of (- z) in z 3.022 * [taylor]: Taking taylor expansion of z in z 3.022 * [taylor]: Taking taylor expansion of (- z) in z 3.022 * [taylor]: Taking taylor expansion of z in z 3.024 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 3.024 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.024 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.024 * [taylor]: Taking taylor expansion of z in z 3.024 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.024 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.024 * [taylor]: Taking taylor expansion of z in z 3.029 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.029 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.029 * [taylor]: Taking taylor expansion of z in z 3.029 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.029 * [taylor]: Taking taylor expansion of z in z 3.033 * * * [progress]: simplifying candidates 3.034 * [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) 3.037 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 3.039 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 3.043 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 3.053 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 3.093 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 3.095 * [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) 3.095 * * * [progress]: adding candidates to table 3.843 * * [progress]: iteration 3 / 4 3.843 * * * [progress]: picking best candidate 3.857 * * * * [pick]: Picked # 3.857 * * * [progress]: localizing error 3.924 * * * [progress]: generating rewritten candidates 3.924 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2 1) 3.931 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 2 1) 3.938 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 3.944 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 2 2 1) 3.953 * * * [progress]: generating series expansions 3.953 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2 1) 3.953 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 3.953 * [taylor]: Taking taylor expansion of (- z) in z 3.953 * [taylor]: Taking taylor expansion of z in z 3.953 * [taylor]: Taking taylor expansion of (- z) in z 3.953 * [taylor]: Taking taylor expansion of z in z 3.956 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 3.956 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.956 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.956 * [taylor]: Taking taylor expansion of z in z 3.956 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.956 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.956 * [taylor]: Taking taylor expansion of z in z 3.961 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.961 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.961 * [taylor]: Taking taylor expansion of z in z 3.961 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.961 * [taylor]: Taking taylor expansion of z in z 3.965 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 2 1) 3.965 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 3.965 * [taylor]: Taking taylor expansion of (- z) in z 3.965 * [taylor]: Taking taylor expansion of z in z 3.965 * [taylor]: Taking taylor expansion of (- z) in z 3.965 * [taylor]: Taking taylor expansion of z in z 3.967 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 3.967 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.967 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.967 * [taylor]: Taking taylor expansion of z in z 3.967 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.967 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.967 * [taylor]: Taking taylor expansion of z in z 3.972 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.972 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.972 * [taylor]: Taking taylor expansion of z in z 3.973 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.973 * [taylor]: Taking taylor expansion of z in z 3.976 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 2 2 1) 3.976 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 3.976 * [taylor]: Taking taylor expansion of (- z) in z 3.976 * [taylor]: Taking taylor expansion of z in z 3.976 * [taylor]: Taking taylor expansion of (- z) in z 3.976 * [taylor]: Taking taylor expansion of z in z 3.978 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 3.978 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.978 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.978 * [taylor]: Taking taylor expansion of z in z 3.979 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.979 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.979 * [taylor]: Taking taylor expansion of z in z 3.983 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.984 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.984 * [taylor]: Taking taylor expansion of z in z 3.984 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.984 * [taylor]: Taking taylor expansion of z in z 3.987 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 2 2 1) 3.987 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 3.987 * [taylor]: Taking taylor expansion of (- z) in z 3.987 * [taylor]: Taking taylor expansion of z in z 3.987 * [taylor]: Taking taylor expansion of (- z) in z 3.987 * [taylor]: Taking taylor expansion of z in z 3.989 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 3.989 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.989 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.989 * [taylor]: Taking taylor expansion of z in z 3.990 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.990 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.990 * [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 z in z 3.999 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.999 * [taylor]: Taking taylor expansion of z in z 4.002 * * * [progress]: simplifying candidates 4.003 * [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.007 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 4.009 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 4.012 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 4.022 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 4.061 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 4.063 * [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.064 * * * [progress]: adding candidates to table 5.036 * * [progress]: iteration 4 / 4 5.036 * * * [progress]: picking best candidate 5.051 * * * * [pick]: Picked # 5.051 * * * [progress]: localizing error 5.119 * * * [progress]: generating rewritten candidates 5.119 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2 1) 5.126 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 2 1) 5.132 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 5.145 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 2 2 1 2 1) 5.153 * * * [progress]: generating series expansions 5.154 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2 1) 5.154 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 5.154 * [taylor]: Taking taylor expansion of (- z) in z 5.154 * [taylor]: Taking taylor expansion of z in z 5.154 * [taylor]: Taking taylor expansion of (- z) in z 5.154 * [taylor]: Taking taylor expansion of z in z 5.156 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 5.156 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.156 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.156 * [taylor]: Taking taylor expansion of z in z 5.156 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.156 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.156 * [taylor]: Taking taylor expansion of z in z 5.162 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.162 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.162 * [taylor]: Taking taylor expansion of z in z 5.162 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.162 * [taylor]: Taking taylor expansion of z in z 5.165 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 2 1) 5.165 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 5.165 * [taylor]: Taking taylor expansion of (- z) in z 5.165 * [taylor]: Taking taylor expansion of z in z 5.165 * [taylor]: Taking taylor expansion of (- z) in z 5.165 * [taylor]: Taking taylor expansion of z in z 5.167 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 5.167 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.167 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.167 * [taylor]: Taking taylor expansion of z in z 5.168 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.168 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.168 * [taylor]: Taking taylor expansion of z in z 5.173 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.173 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.173 * [taylor]: Taking taylor expansion of z in z 5.173 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.173 * [taylor]: Taking taylor expansion of z in z 5.176 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 2 2 1) 5.176 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 5.176 * [taylor]: Taking taylor expansion of (- z) in z 5.176 * [taylor]: Taking taylor expansion of z in z 5.176 * [taylor]: Taking taylor expansion of (- z) in z 5.176 * [taylor]: Taking taylor expansion of z in z 5.178 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 5.179 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.179 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.179 * [taylor]: Taking taylor expansion of z in z 5.179 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.179 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.179 * [taylor]: Taking taylor expansion of z in z 5.184 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.184 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.184 * [taylor]: Taking taylor expansion of z in z 5.184 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.184 * [taylor]: Taking taylor expansion of z in z 5.187 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 2 2 1 2 1) 5.188 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 5.188 * [taylor]: Taking taylor expansion of (- z) in z 5.188 * [taylor]: Taking taylor expansion of z in z 5.188 * [taylor]: Taking taylor expansion of (- z) in z 5.188 * [taylor]: Taking taylor expansion of z in z 5.190 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 5.190 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.190 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.190 * [taylor]: Taking taylor expansion of z in z 5.190 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.190 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.190 * [taylor]: Taking taylor expansion of z in z 5.195 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.195 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.195 * [taylor]: Taking taylor expansion of z in z 5.195 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.195 * [taylor]: Taking taylor expansion of z in z 5.199 * * * [progress]: simplifying candidates 5.200 * [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.203 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 5.205 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 5.209 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 5.219 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 5.258 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 5.261 * [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.261 * * * [progress]: adding candidates to table 6.321 * [progress]: [Phase 3 of 3] Extracting. 6.321 * * [regime]: Finding splitpoints for: (# # #) 6.339 * * * [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.339 * * * * [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.419 * * * * [regimes]: Trying to branch on z from (# # #) 6.467 * * * [regime]: Found split indices: #