10.909 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 1.499 * * * [progress]: [2/2] Setting up program. 1.509 * [progress]: [Phase 2 of 3] Improving. 1.509 * [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.512 * * [simplify]: iteration 0 : 148 enodes (cost 63 ) 1.515 * * [simplify]: iteration 1 : 617 enodes (cost 63 ) 1.528 * * [simplify]: iteration 2 : 4243 enodes (cost 62 ) 1.609 * * [simplify]: iteration 3 : 5001 enodes (cost 62 ) 1.610 * [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.621 * * [progress]: iteration 1 / 4 1.621 * * * [progress]: picking best candidate 1.640 * * * * [pick]: Picked # 1.640 * * * [progress]: localizing error 1.697 * * * [progress]: generating rewritten candidates 1.697 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1) 1.715 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 2 1) 1.737 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2 1) 1.754 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1 2 2 1) 1.773 * * * [progress]: generating series expansions 1.773 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1) 1.773 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1.774 * [taylor]: Taking taylor expansion of (- z) in z 1.774 * [taylor]: Taking taylor expansion of z in z 1.774 * [taylor]: Taking taylor expansion of (- z) in z 1.774 * [taylor]: Taking taylor expansion of z in z 1.776 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1.776 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.776 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.776 * [taylor]: Taking taylor expansion of z in z 1.776 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.776 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.776 * [taylor]: Taking taylor expansion of z in z 1.781 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.781 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.781 * [taylor]: Taking taylor expansion of z in z 1.781 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.782 * [taylor]: Taking taylor expansion of z in z 1.785 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 2 1) 1.785 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1.785 * [taylor]: Taking taylor expansion of (- z) in z 1.785 * [taylor]: Taking taylor expansion of z in z 1.785 * [taylor]: Taking taylor expansion of (- z) in z 1.785 * [taylor]: Taking taylor expansion of z in z 1.787 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1.787 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.787 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.787 * [taylor]: Taking taylor expansion of z in z 1.787 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.787 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.787 * [taylor]: Taking taylor expansion of z in z 1.792 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.792 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.792 * [taylor]: Taking taylor expansion of z in z 1.792 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.792 * [taylor]: Taking taylor expansion of z in z 1.796 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2 1) 1.796 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1.796 * [taylor]: Taking taylor expansion of (- z) in z 1.796 * [taylor]: Taking taylor expansion of z in z 1.796 * [taylor]: Taking taylor expansion of (- z) in z 1.796 * [taylor]: Taking taylor expansion of z in z 1.798 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1.798 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.798 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.798 * [taylor]: Taking taylor expansion of z in z 1.798 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.798 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.798 * [taylor]: Taking taylor expansion of z in z 1.803 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.803 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.803 * [taylor]: Taking taylor expansion of z in z 1.803 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.803 * [taylor]: Taking taylor expansion of z in z 1.806 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1 2 2 1) 1.807 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1.807 * [taylor]: Taking taylor expansion of (- z) in z 1.807 * [taylor]: Taking taylor expansion of z in z 1.807 * [taylor]: Taking taylor expansion of (- z) in z 1.807 * [taylor]: Taking taylor expansion of z in z 1.812 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1.812 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.812 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.812 * [taylor]: Taking taylor expansion of z in z 1.812 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.812 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.812 * [taylor]: Taking taylor expansion of z in z 1.817 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.817 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.817 * [taylor]: Taking taylor expansion of z in z 1.817 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.817 * [taylor]: Taking taylor expansion of z in z 1.821 * * * [progress]: simplifying candidates 1.822 * [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.825 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 1.827 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 1.830 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 1.841 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 1.879 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 1.881 * [simplify]: Simplified to: (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 1.882 * * * [progress]: adding candidates to table 2.650 * * [progress]: iteration 2 / 4 2.650 * * * [progress]: picking best candidate 2.660 * * * * [pick]: Picked # 2.661 * * * [progress]: localizing error 2.713 * * * [progress]: generating rewritten candidates 2.713 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 2.734 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 2.751 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 2.769 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 2.788 * * * [progress]: generating series expansions 2.788 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 2.788 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.788 * [taylor]: Taking taylor expansion of (- z) in z 2.788 * [taylor]: Taking taylor expansion of z in z 2.788 * [taylor]: Taking taylor expansion of (- z) in z 2.788 * [taylor]: Taking taylor expansion of z in z 2.791 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.791 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.791 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.791 * [taylor]: Taking taylor expansion of z in z 2.791 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.791 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.791 * [taylor]: Taking taylor expansion of z in z 2.796 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.796 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.796 * [taylor]: Taking taylor expansion of z in z 2.799 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.799 * [taylor]: Taking taylor expansion of z in z 2.803 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 2.803 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.803 * [taylor]: Taking taylor expansion of (- z) in z 2.803 * [taylor]: Taking taylor expansion of z in z 2.803 * [taylor]: Taking taylor expansion of (- z) in z 2.803 * [taylor]: Taking taylor expansion of z in z 2.805 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.805 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.805 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.805 * [taylor]: Taking taylor expansion of z in z 2.805 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.805 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.805 * [taylor]: Taking taylor expansion of z in z 2.810 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.810 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.810 * [taylor]: Taking taylor expansion of z in z 2.811 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.811 * [taylor]: Taking taylor expansion of z in z 2.814 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 2.814 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.814 * [taylor]: Taking taylor expansion of (- z) in z 2.814 * [taylor]: Taking taylor expansion of z in z 2.814 * [taylor]: Taking taylor expansion of (- z) in z 2.814 * [taylor]: Taking taylor expansion of z in z 2.816 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.816 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.816 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.816 * [taylor]: Taking taylor expansion of z in z 2.817 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.817 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.817 * [taylor]: Taking taylor expansion of z in z 2.821 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.822 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.822 * [taylor]: Taking taylor expansion of z in z 2.822 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.822 * [taylor]: Taking taylor expansion of z in z 2.825 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2 1) 2.826 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.826 * [taylor]: Taking taylor expansion of (- z) in z 2.826 * [taylor]: Taking taylor expansion of z in z 2.826 * [taylor]: Taking taylor expansion of (- z) in z 2.826 * [taylor]: Taking taylor expansion of z in z 2.828 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.828 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.828 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.828 * [taylor]: Taking taylor expansion of z in z 2.828 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.828 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.828 * [taylor]: Taking taylor expansion of z in z 2.833 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.833 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.833 * [taylor]: Taking taylor expansion of z in z 2.833 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.833 * [taylor]: Taking taylor expansion of z in z 2.836 * * * [progress]: simplifying candidates 2.838 * [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.841 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 2.843 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 2.846 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 2.856 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 2.897 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 2.899 * [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.899 * * * [progress]: adding candidates to table 3.657 * * [progress]: iteration 3 / 4 3.657 * * * [progress]: picking best candidate 3.685 * * * * [pick]: Picked # 3.685 * * * [progress]: localizing error 3.747 * * * [progress]: generating rewritten candidates 3.747 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 2 1) 3.765 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1 1 2 1) 3.783 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 1 1 1) 3.800 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 1) 3.822 * * * [progress]: generating series expansions 3.822 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 2 1) 3.823 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 3.823 * [taylor]: Taking taylor expansion of (- z) in z 3.823 * [taylor]: Taking taylor expansion of z in z 3.823 * [taylor]: Taking taylor expansion of (- z) in z 3.823 * [taylor]: Taking taylor expansion of z in z 3.825 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 3.826 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.826 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.826 * [taylor]: Taking taylor expansion of z in z 3.826 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.826 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.826 * [taylor]: Taking taylor expansion of z in z 3.831 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.831 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.831 * [taylor]: Taking taylor expansion of z in z 3.831 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.831 * [taylor]: Taking taylor expansion of z in z 3.835 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1 1 2 1) 3.835 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 3.835 * [taylor]: Taking taylor expansion of (- z) in z 3.835 * [taylor]: Taking taylor expansion of z in z 3.835 * [taylor]: Taking taylor expansion of (- z) in z 3.835 * [taylor]: Taking taylor expansion of z in z 3.837 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 3.837 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.837 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.837 * [taylor]: Taking taylor expansion of z in z 3.837 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.837 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.837 * [taylor]: Taking taylor expansion of z in z 3.842 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.842 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.842 * [taylor]: Taking taylor expansion of z in z 3.842 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.842 * [taylor]: Taking taylor expansion of z in z 3.846 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 1 1 1) 3.846 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 3.846 * [taylor]: Taking taylor expansion of (- z) in z 3.846 * [taylor]: Taking taylor expansion of z in z 3.846 * [taylor]: Taking taylor expansion of (- z) in z 3.846 * [taylor]: Taking taylor expansion of z in z 3.848 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 3.848 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.848 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.848 * [taylor]: Taking taylor expansion of z in z 3.848 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.848 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.848 * [taylor]: Taking taylor expansion of z in z 3.853 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.853 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.853 * [taylor]: Taking taylor expansion of z in z 3.854 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.854 * [taylor]: Taking taylor expansion of z in z 3.857 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 1) 3.857 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 3.857 * [taylor]: Taking taylor expansion of (- z) in z 3.857 * [taylor]: Taking taylor expansion of z in z 3.857 * [taylor]: Taking taylor expansion of (- z) in z 3.857 * [taylor]: Taking taylor expansion of z in z 3.859 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 3.859 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.859 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.859 * [taylor]: Taking taylor expansion of z in z 3.860 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.860 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.860 * [taylor]: Taking taylor expansion of z in z 3.865 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.865 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.865 * [taylor]: Taking taylor expansion of z in z 3.865 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.865 * [taylor]: Taking taylor expansion of z in z 3.869 * * * [progress]: simplifying candidates 3.870 * [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.873 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 3.875 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 3.879 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 3.890 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 3.932 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 3.934 * [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.934 * * * [progress]: adding candidates to table 4.822 * * [progress]: iteration 4 / 4 4.822 * * * [progress]: picking best candidate 4.833 * * * * [pick]: Picked # 4.833 * * * [progress]: localizing error 4.895 * * * [progress]: generating rewritten candidates 4.895 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 2 1) 4.912 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1 1 1) 4.935 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 1) 4.953 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 2 1) 4.973 * * * [progress]: generating series expansions 4.973 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 2 1) 4.973 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 4.973 * [taylor]: Taking taylor expansion of (- z) in z 4.973 * [taylor]: Taking taylor expansion of z in z 4.973 * [taylor]: Taking taylor expansion of (- z) in z 4.973 * [taylor]: Taking taylor expansion of z in z 4.975 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 4.975 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.975 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.975 * [taylor]: Taking taylor expansion of z in z 4.976 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.976 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.976 * [taylor]: Taking taylor expansion of z in z 4.981 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 4.981 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.981 * [taylor]: Taking taylor expansion of z in z 4.981 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.981 * [taylor]: Taking taylor expansion of z in z 4.984 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1 1 1) 4.985 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 4.985 * [taylor]: Taking taylor expansion of (- z) in z 4.985 * [taylor]: Taking taylor expansion of z in z 4.985 * [taylor]: Taking taylor expansion of (- z) in z 4.985 * [taylor]: Taking taylor expansion of z in z 4.987 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 4.987 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.987 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.987 * [taylor]: Taking taylor expansion of z in z 4.987 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.987 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.987 * [taylor]: Taking taylor expansion of z in z 4.992 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 4.992 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.992 * [taylor]: Taking taylor expansion of z in z 4.992 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.992 * [taylor]: Taking taylor expansion of z in z 4.996 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 1) 4.996 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 4.996 * [taylor]: Taking taylor expansion of (- z) in z 4.996 * [taylor]: Taking taylor expansion of z in z 4.996 * [taylor]: Taking taylor expansion of (- z) in z 4.996 * [taylor]: Taking taylor expansion of z in z 4.998 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 4.998 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.998 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.998 * [taylor]: Taking taylor expansion of z in z 4.998 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.998 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.998 * [taylor]: Taking taylor expansion of z in z 5.007 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.007 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.007 * [taylor]: Taking taylor expansion of z in z 5.007 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.007 * [taylor]: Taking taylor expansion of z in z 5.011 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 2 1) 5.011 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 5.011 * [taylor]: Taking taylor expansion of (- z) in z 5.011 * [taylor]: Taking taylor expansion of z in z 5.011 * [taylor]: Taking taylor expansion of (- z) in z 5.011 * [taylor]: Taking taylor expansion of z in z 5.013 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 5.013 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.013 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.013 * [taylor]: Taking taylor expansion of z in z 5.013 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.013 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.013 * [taylor]: Taking taylor expansion of z in z 5.018 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.019 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.019 * [taylor]: Taking taylor expansion of z in z 5.019 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.019 * [taylor]: Taking taylor expansion of z in z 5.023 * * * [progress]: simplifying candidates 5.024 * [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.027 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 5.029 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 5.033 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 5.044 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 5.085 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 5.087 * [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.088 * * * [progress]: adding candidates to table 6.141 * [progress]: [Phase 3 of 3] Extracting. 6.141 * * [regime]: Finding splitpoints for: (# # #) 6.159 * * * [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.160 * * * * [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.231 * * * * [regimes]: Trying to branch on z from (# # #) 6.274 * * * [regime]: Found split indices: #