11.121 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 1.675 * * * [progress]: [2/2] Setting up program. 1.687 * [progress]: [Phase 2 of 3] Improving. 1.687 * [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.690 * * [simplify]: iteration 0 : 148 enodes (cost 63 ) 1.693 * * [simplify]: iteration 1 : 617 enodes (cost 63 ) 1.706 * * [simplify]: iteration 2 : 4243 enodes (cost 62 ) 1.789 * * [simplify]: iteration 3 : 5001 enodes (cost 62 ) 1.790 * [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.804 * * [progress]: iteration 1 / 4 1.804 * * * [progress]: picking best candidate 1.824 * * * * [pick]: Picked # 1.824 * * * [progress]: localizing error 1.885 * * * [progress]: generating rewritten candidates 1.885 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1) 1.892 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 2 1) 1.899 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2 1) 1.907 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1 2 2 1) 1.915 * * * [progress]: generating series expansions 1.916 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1) 1.916 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1.916 * [taylor]: Taking taylor expansion of (- z) in z 1.916 * [taylor]: Taking taylor expansion of z in z 1.916 * [taylor]: Taking taylor expansion of (- z) in z 1.916 * [taylor]: Taking taylor expansion of z in z 1.918 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1.918 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.918 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.918 * [taylor]: Taking taylor expansion of z in z 1.918 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.918 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.918 * [taylor]: Taking taylor expansion of z in z 1.923 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.923 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.923 * [taylor]: Taking taylor expansion of z in z 1.923 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.923 * [taylor]: Taking taylor expansion of z in z 1.927 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 2 1) 1.927 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1.927 * [taylor]: Taking taylor expansion of (- z) in z 1.927 * [taylor]: Taking taylor expansion of z in z 1.927 * [taylor]: Taking taylor expansion of (- z) in z 1.927 * [taylor]: Taking taylor expansion of z in z 1.929 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1.929 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.929 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.929 * [taylor]: Taking taylor expansion of z in z 1.929 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.929 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.929 * [taylor]: Taking taylor expansion of z in z 1.934 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.934 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.934 * [taylor]: Taking taylor expansion of z in z 1.934 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.934 * [taylor]: Taking taylor expansion of z in z 1.938 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2 1) 1.938 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1.938 * [taylor]: Taking taylor expansion of (- z) in z 1.938 * [taylor]: Taking taylor expansion of z in z 1.938 * [taylor]: Taking taylor expansion of (- z) in z 1.938 * [taylor]: Taking taylor expansion of z in z 1.940 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1.940 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.940 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.940 * [taylor]: Taking taylor expansion of z in z 1.940 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.940 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.940 * [taylor]: Taking taylor expansion of z in z 1.945 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.945 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.945 * [taylor]: Taking taylor expansion of z in z 1.945 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.945 * [taylor]: Taking taylor expansion of z in z 1.948 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1 2 2 1) 1.949 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1.949 * [taylor]: Taking taylor expansion of (- z) in z 1.949 * [taylor]: Taking taylor expansion of z in z 1.949 * [taylor]: Taking taylor expansion of (- z) in z 1.949 * [taylor]: Taking taylor expansion of z in z 1.951 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1.951 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.951 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.951 * [taylor]: Taking taylor expansion of z in z 1.951 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.951 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.951 * [taylor]: Taking taylor expansion of z in z 1.955 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.956 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.956 * [taylor]: Taking taylor expansion of z in z 1.956 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.956 * [taylor]: Taking taylor expansion of z in z 1.959 * * * [progress]: simplifying candidates 1.963 * [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.967 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 1.969 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 1.972 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 1.983 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 2.024 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 2.026 * [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.027 * * * [progress]: adding candidates to table 2.746 * * [progress]: iteration 2 / 4 2.746 * * * [progress]: picking best candidate 2.756 * * * * [pick]: Picked # 2.756 * * * [progress]: localizing error 2.814 * * * [progress]: generating rewritten candidates 2.814 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 2.821 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 2.828 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 2.836 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 2.845 * * * [progress]: generating series expansions 2.845 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 2.845 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.845 * [taylor]: Taking taylor expansion of (- z) in z 2.845 * [taylor]: Taking taylor expansion of z in z 2.845 * [taylor]: Taking taylor expansion of (- z) in z 2.845 * [taylor]: Taking taylor expansion of z in z 2.848 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.848 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.848 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.848 * [taylor]: Taking taylor expansion of z in z 2.848 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.848 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.848 * [taylor]: Taking taylor expansion of z in z 2.854 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.854 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.854 * [taylor]: Taking taylor expansion of z in z 2.854 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.854 * [taylor]: Taking taylor expansion of z in z 2.857 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 2.858 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.858 * [taylor]: Taking taylor expansion of (- z) in z 2.858 * [taylor]: Taking taylor expansion of z in z 2.858 * [taylor]: Taking taylor expansion of (- z) in z 2.858 * [taylor]: Taking taylor expansion of z in z 2.860 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.860 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.860 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.860 * [taylor]: Taking taylor expansion of z in z 2.860 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.860 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.860 * [taylor]: Taking taylor expansion of z in z 2.865 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.865 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.865 * [taylor]: Taking taylor expansion of z in z 2.866 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.866 * [taylor]: Taking taylor expansion of z in z 2.869 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 2.869 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.869 * [taylor]: Taking taylor expansion of (- z) in z 2.869 * [taylor]: Taking taylor expansion of z in z 2.869 * [taylor]: Taking taylor expansion of (- z) in z 2.869 * [taylor]: Taking taylor expansion of z in z 2.871 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.871 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.871 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.871 * [taylor]: Taking taylor expansion of z in z 2.871 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.871 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.872 * [taylor]: Taking taylor expansion of z in z 2.876 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.877 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.877 * [taylor]: Taking taylor expansion of z in z 2.877 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.877 * [taylor]: Taking taylor expansion of z in z 2.880 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2 1) 2.880 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.880 * [taylor]: Taking taylor expansion of (- z) in z 2.880 * [taylor]: Taking taylor expansion of z in z 2.880 * [taylor]: Taking taylor expansion of (- z) in z 2.880 * [taylor]: Taking taylor expansion of z in z 2.882 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.882 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.882 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.882 * [taylor]: Taking taylor expansion of z in z 2.883 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.883 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.883 * [taylor]: Taking taylor expansion of z in z 2.888 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.888 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.888 * [taylor]: Taking taylor expansion of z in z 2.888 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.888 * [taylor]: Taking taylor expansion of z in z 2.891 * * * [progress]: simplifying candidates 2.892 * [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.896 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 2.899 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 2.903 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 2.914 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 2.954 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 2.957 * [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.957 * * * [progress]: adding candidates to table 3.718 * * [progress]: iteration 3 / 4 3.718 * * * [progress]: picking best candidate 3.742 * * * * [pick]: Picked # 3.742 * * * [progress]: localizing error 3.806 * * * [progress]: generating rewritten candidates 3.806 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 3.810 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 3.817 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 3.824 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 3.832 * * * [progress]: generating series expansions 3.832 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 3.833 * [approximate]: Taking taylor expansion of (* (cbrt -1) z) in (z) around 0 3.833 * [taylor]: Taking taylor expansion of (* (cbrt -1) z) in z 3.833 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.833 * [taylor]: Taking taylor expansion of -1 in z 3.834 * [taylor]: Taking taylor expansion of z in z 3.834 * [taylor]: Taking taylor expansion of (* (cbrt -1) z) in z 3.834 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.834 * [taylor]: Taking taylor expansion of -1 in z 3.835 * [taylor]: Taking taylor expansion of z in z 3.846 * [approximate]: Taking taylor expansion of (/ (cbrt -1) z) in (z) around 0 3.846 * [taylor]: Taking taylor expansion of (/ (cbrt -1) z) in z 3.846 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.846 * [taylor]: Taking taylor expansion of -1 in z 3.847 * [taylor]: Taking taylor expansion of z in z 3.848 * [taylor]: Taking taylor expansion of (/ (cbrt -1) z) in z 3.848 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.848 * [taylor]: Taking taylor expansion of -1 in z 3.848 * [taylor]: Taking taylor expansion of z in z 3.857 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.857 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.857 * [taylor]: Taking taylor expansion of z in z 3.857 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.857 * [taylor]: Taking taylor expansion of z in z 3.860 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 3.861 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 3.861 * [taylor]: Taking taylor expansion of (- z) in z 3.861 * [taylor]: Taking taylor expansion of z in z 3.861 * [taylor]: Taking taylor expansion of (- z) in z 3.861 * [taylor]: Taking taylor expansion of z in z 3.863 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 3.863 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.863 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.863 * [taylor]: Taking taylor expansion of z in z 3.863 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.863 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.863 * [taylor]: Taking taylor expansion of z in z 3.868 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.868 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.868 * [taylor]: Taking taylor expansion of z in z 3.868 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.868 * [taylor]: Taking taylor expansion of z in z 3.871 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 3.871 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 3.871 * [taylor]: Taking taylor expansion of (- z) in z 3.871 * [taylor]: Taking taylor expansion of z in z 3.871 * [taylor]: Taking taylor expansion of (- z) in z 3.876 * [taylor]: Taking taylor expansion of z in z 3.878 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 3.878 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.878 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.878 * [taylor]: Taking taylor expansion of z in z 3.879 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.879 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.879 * [taylor]: Taking taylor expansion of z in z 3.884 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.884 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.884 * [taylor]: Taking taylor expansion of z in z 3.884 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.884 * [taylor]: Taking taylor expansion of z in z 3.887 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2 1) 3.887 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 3.887 * [taylor]: Taking taylor expansion of (- z) in z 3.887 * [taylor]: Taking taylor expansion of z in z 3.887 * [taylor]: Taking taylor expansion of (- z) in z 3.887 * [taylor]: Taking taylor expansion of z in z 3.889 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 3.889 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.889 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.889 * [taylor]: Taking taylor expansion of z in z 3.889 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.889 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.889 * [taylor]: Taking taylor expansion of z in z 3.894 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.894 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.894 * [taylor]: Taking taylor expansion of z in z 3.894 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.894 * [taylor]: Taking taylor expansion of z in z 3.898 * * * [progress]: simplifying candidates 3.899 * [simplify]: Simplifying using # : (log (cbrt (* -1 (pow z 3)))) (exp (cbrt (* -1 (pow z 3)))) (cbrt -1) (cbrt (pow z 3)) (* (cbrt (cbrt (* -1 (pow z 3)))) (cbrt (cbrt (* -1 (pow z 3))))) (cbrt (cbrt (* -1 (pow z 3)))) (* (* (cbrt (* -1 (pow z 3))) (cbrt (* -1 (pow z 3)))) (cbrt (* -1 (pow z 3)))) (sqrt (cbrt (* -1 (pow z 3)))) (sqrt (cbrt (* -1 (pow z 3)))) (/ (/ (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) (* (cbrt -1) z) (* (cbrt -1) z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 3.902 * * [simplify]: iteration 0 : 96 enodes (cost 274 ) 3.904 * * [simplify]: iteration 1 : 239 enodes (cost 252 ) 3.908 * * [simplify]: iteration 2 : 642 enodes (cost 238 ) 3.920 * * [simplify]: iteration 3 : 2566 enodes (cost 226 ) 3.960 * * [simplify]: iteration 4 : 5001 enodes (cost 218 ) 3.962 * [simplify]: Simplified to: (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (cbrt -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)) (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) (+ z 1.0) (* -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) (+ z 1.0) (* -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) (+ z 1.0) (* -1 1.0) (* (cbrt -1) z) (* (cbrt -1) z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 3.962 * * * [progress]: adding candidates to table 4.674 * * [progress]: iteration 4 / 4 4.675 * * * [progress]: picking best candidate 4.686 * * * * [pick]: Picked # 4.687 * * * [progress]: localizing error 4.750 * * * [progress]: generating rewritten candidates 4.750 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 4.752 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 4.759 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 4.766 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 4.775 * * * [progress]: generating series expansions 4.775 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 4.775 * [approximate]: Taking taylor expansion of (* -1 z) in (z) around 0 4.775 * [taylor]: Taking taylor expansion of (* -1 z) in z 4.775 * [taylor]: Taking taylor expansion of -1 in z 4.775 * [taylor]: Taking taylor expansion of z in z 4.775 * [taylor]: Taking taylor expansion of (* -1 z) in z 4.775 * [taylor]: Taking taylor expansion of -1 in z 4.775 * [taylor]: Taking taylor expansion of z in z 4.781 * [approximate]: Taking taylor expansion of (/ -1 z) in (z) around 0 4.781 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.781 * [taylor]: Taking taylor expansion of -1 in z 4.781 * [taylor]: Taking taylor expansion of z in z 4.781 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.781 * [taylor]: Taking taylor expansion of -1 in z 4.781 * [taylor]: Taking taylor expansion of z in z 4.785 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 4.785 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.785 * [taylor]: Taking taylor expansion of z in z 4.785 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.786 * [taylor]: Taking taylor expansion of z in z 4.789 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 4.789 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 4.789 * [taylor]: Taking taylor expansion of (- z) in z 4.789 * [taylor]: Taking taylor expansion of z in z 4.789 * [taylor]: Taking taylor expansion of (- z) in z 4.789 * [taylor]: Taking taylor expansion of z in z 4.791 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 4.791 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.791 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.791 * [taylor]: Taking taylor expansion of z in z 4.791 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.791 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.791 * [taylor]: Taking taylor expansion of z in z 4.796 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 4.796 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.796 * [taylor]: Taking taylor expansion of z in z 4.796 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.796 * [taylor]: Taking taylor expansion of z in z 4.805 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 4.805 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 4.805 * [taylor]: Taking taylor expansion of (- z) in z 4.805 * [taylor]: Taking taylor expansion of z in z 4.805 * [taylor]: Taking taylor expansion of (- z) in z 4.805 * [taylor]: Taking taylor expansion of z in z 4.807 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 4.807 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.807 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.807 * [taylor]: Taking taylor expansion of z in z 4.808 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.808 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.808 * [taylor]: Taking taylor expansion of z in z 4.812 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 4.812 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.812 * [taylor]: Taking taylor expansion of z in z 4.813 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.813 * [taylor]: Taking taylor expansion of z in z 4.816 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2 1) 4.816 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 4.816 * [taylor]: Taking taylor expansion of (- z) in z 4.816 * [taylor]: Taking taylor expansion of z in z 4.816 * [taylor]: Taking taylor expansion of (- z) in z 4.816 * [taylor]: Taking taylor expansion of z in z 4.818 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 4.818 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.818 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.818 * [taylor]: Taking taylor expansion of z in z 4.818 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.818 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.818 * [taylor]: Taking taylor expansion of z in z 4.823 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 4.823 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.823 * [taylor]: Taking taylor expansion of z in z 4.823 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.823 * [taylor]: Taking taylor expansion of z in z 4.826 * * * [progress]: simplifying candidates 4.828 * [simplify]: Simplifying using # : (log (* (cbrt (exp (* -1 z))) (cbrt (exp (* -1 z))))) (log (cbrt (exp (* -1 z)))) (log (sqrt (exp (* -1 z)))) (log (sqrt (exp (* -1 z)))) (log 1) (log (exp (* -1 z))) (log 1) (log (exp z)) (log (exp z)) (log (exp -1)) (log (exp (* -1 z))) (log (exp -1)) (log (log (exp (* -1 z)))) (exp (log (exp (* -1 z)))) (* (cbrt (log (exp (* -1 z)))) (cbrt (log (exp (* -1 z))))) (cbrt (log (exp (* -1 z)))) (* (* (log (exp (* -1 z))) (log (exp (* -1 z)))) (log (exp (* -1 z)))) (sqrt (log (exp (* -1 z)))) (sqrt (log (exp (* -1 z)))) (/ (/ (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.831 * * [simplify]: iteration 0 : 99 enodes (cost 291 ) 4.833 * * [simplify]: iteration 1 : 248 enodes (cost 263 ) 4.838 * * [simplify]: iteration 2 : 750 enodes (cost 234 ) 4.854 * * [simplify]: iteration 3 : 3887 enodes (cost 234 ) 4.935 * * [simplify]: iteration 4 : 5002 enodes (cost 234 ) 4.937 * [simplify]: Simplified to: (* 2 (log (cbrt (exp (* -1 z))))) (log (cbrt (exp (* -1 z)))) (log (sqrt (exp (* -1 z)))) (log (sqrt (exp (* -1 z)))) 0 (- 0 z) 0 z z -1 (- 0 z) -1 (+ (log -1) (log z)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (pow (* -1 z) 3) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (exp (* -1 z)) (exp (* -1 z)) (+ (log -1) (log z)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (pow (* -1 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.0 z) 1.0) (* -1 z)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- 0 z) (- 0 z) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (+ (log -1) (log z)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (pow (* -1 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.0 z) 1.0) (* -1 z)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- 0 z) (- 0 z) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (+ (log -1) (log z)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (pow (* -1 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.0 z) 1.0) (* -1 z)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- 0 z) (- 0 z) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (* -1 1.0) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) 4.938 * * * [progress]: adding candidates to table 5.728 * [progress]: [Phase 3 of 3] Extracting. 5.728 * * [regime]: Finding splitpoints for: (# # #) 5.746 * * * [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) 5.746 * * * * [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 (# # #) 5.821 * * * * [regimes]: Trying to branch on z from (# # #) 5.871 * * * [regime]: Found split indices: #