14.366 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 1.487 * * * [progress]: [2/2] Setting up program. 1.497 * [progress]: [Phase 2 of 3] Improving. 1.498 * [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.499 * * [simplify]: iteration 0 : 60 enodes (cost 123 ) 1.507 * * [simplify]: iteration 1 : 148 enodes (cost 123 ) 1.534 * * [simplify]: iteration 2 : 592 enodes (cost 121 ) 1.762 * * [simplify]: iteration 3 : 3593 enodes (cost 88 ) 2.564 * * [simplify]: iteration done : 5001 enodes (cost 78 ) 2.564 * [simplify]: Simplified to: (/ (* (pow (+ 0.5 (- 7.0 z)) (- 0.5 z)) (* PI (sqrt (* PI 2.0)))) (* (/ (sin (* PI z)) (+ (+ (+ (/ 771.3234287776531 (- 3.0 z)) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (/ -176.6150291621406 (- 4.0 z))) (+ (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (/ 12.507343278686905 (- 5.0 z))))) (exp (+ 0.5 (- 7.0 z))))) 2.576 * * [progress]: iteration 1 / 4 2.576 * * * [progress]: picking best candidate 2.596 * * * * [pick]: Picked # 2.596 * * * [progress]: localizing error 2.649 * * * [progress]: generating rewritten candidates 2.649 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1 1 2) 2.748 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 2.756 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2) 2.758 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 2 1 2) 2.802 * * * [progress]: generating series expansions 2.802 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1 1 2) 2.802 * [approximate]: Taking taylor expansion of (- (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) 0.9999999999998099) (* 1259.1392167224028 (/ 1 (- 2.0 z)))) in (z) around 0 2.802 * [taylor]: Taking taylor expansion of (- (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) 0.9999999999998099) (* 1259.1392167224028 (/ 1 (- 2.0 z)))) in z 2.802 * [taylor]: Taking taylor expansion of (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) 0.9999999999998099) in z 2.802 * [taylor]: Taking taylor expansion of (* 676.5203681218851 (/ 1 (- 1.0 z))) in z 2.802 * [taylor]: Taking taylor expansion of 676.5203681218851 in z 2.802 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 z)) in z 2.802 * [taylor]: Taking taylor expansion of (- 1.0 z) in z 2.802 * [taylor]: Taking taylor expansion of 1.0 in z 2.802 * [taylor]: Taking taylor expansion of z in z 2.803 * [taylor]: Taking taylor expansion of 0.9999999999998099 in z 2.803 * [taylor]: Taking taylor expansion of (* 1259.1392167224028 (/ 1 (- 2.0 z))) in z 2.804 * [taylor]: Taking taylor expansion of 1259.1392167224028 in z 2.804 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 z)) in z 2.804 * [taylor]: Taking taylor expansion of (- 2.0 z) in z 2.804 * [taylor]: Taking taylor expansion of 2.0 in z 2.804 * [taylor]: Taking taylor expansion of z in z 2.804 * [taylor]: Taking taylor expansion of (- (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) 0.9999999999998099) (* 1259.1392167224028 (/ 1 (- 2.0 z)))) in z 2.804 * [taylor]: Taking taylor expansion of (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) 0.9999999999998099) in z 2.804 * [taylor]: Taking taylor expansion of (* 676.5203681218851 (/ 1 (- 1.0 z))) in z 2.804 * [taylor]: Taking taylor expansion of 676.5203681218851 in z 2.805 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 z)) in z 2.805 * [taylor]: Taking taylor expansion of (- 1.0 z) in z 2.805 * [taylor]: Taking taylor expansion of 1.0 in z 2.805 * [taylor]: Taking taylor expansion of z in z 2.805 * [taylor]: Taking taylor expansion of 0.9999999999998099 in z 2.805 * [taylor]: Taking taylor expansion of (* 1259.1392167224028 (/ 1 (- 2.0 z))) in z 2.805 * [taylor]: Taking taylor expansion of 1259.1392167224028 in z 2.805 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 z)) in z 2.805 * [taylor]: Taking taylor expansion of (- 2.0 z) in z 2.805 * [taylor]: Taking taylor expansion of 2.0 in z 2.805 * [taylor]: Taking taylor expansion of z in z 2.826 * [approximate]: Taking taylor expansion of (- (+ (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) 0.9999999999998099) (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z))))) in (z) around 0 2.826 * [taylor]: Taking taylor expansion of (- (+ (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) 0.9999999999998099) (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z))))) in z 2.826 * [taylor]: Taking taylor expansion of (+ (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) 0.9999999999998099) in z 2.826 * [taylor]: Taking taylor expansion of (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) in z 2.826 * [taylor]: Taking taylor expansion of 676.5203681218851 in z 2.826 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (/ 1 z))) in z 2.826 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 2.826 * [taylor]: Taking taylor expansion of 1.0 in z 2.826 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.826 * [taylor]: Taking taylor expansion of z in z 2.827 * [taylor]: Taking taylor expansion of 0.9999999999998099 in z 2.827 * [taylor]: Taking taylor expansion of (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z)))) in z 2.827 * [taylor]: Taking taylor expansion of 1259.1392167224028 in z 2.827 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (/ 1 z))) in z 2.827 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 z)) in z 2.827 * [taylor]: Taking taylor expansion of 2.0 in z 2.827 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.827 * [taylor]: Taking taylor expansion of z in z 2.828 * [taylor]: Taking taylor expansion of (- (+ (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) 0.9999999999998099) (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z))))) in z 2.828 * [taylor]: Taking taylor expansion of (+ (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) 0.9999999999998099) in z 2.828 * [taylor]: Taking taylor expansion of (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) in z 2.828 * [taylor]: Taking taylor expansion of 676.5203681218851 in z 2.828 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (/ 1 z))) in z 2.828 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 2.828 * [taylor]: Taking taylor expansion of 1.0 in z 2.828 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.828 * [taylor]: Taking taylor expansion of z in z 2.830 * [taylor]: Taking taylor expansion of 0.9999999999998099 in z 2.830 * [taylor]: Taking taylor expansion of (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z)))) in z 2.830 * [taylor]: Taking taylor expansion of 1259.1392167224028 in z 2.830 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (/ 1 z))) in z 2.830 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 z)) in z 2.830 * [taylor]: Taking taylor expansion of 2.0 in z 2.830 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.830 * [taylor]: Taking taylor expansion of z in z 2.842 * [approximate]: Taking taylor expansion of (- (+ (* 676.5203681218851 (/ 1 (+ (/ 1 z) 1.0))) 0.9999999999998099) (* 1259.1392167224028 (/ 1 (+ (/ 1 z) 2.0)))) in (z) around 0 2.842 * [taylor]: Taking taylor expansion of (- (+ (* 676.5203681218851 (/ 1 (+ (/ 1 z) 1.0))) 0.9999999999998099) (* 1259.1392167224028 (/ 1 (+ (/ 1 z) 2.0)))) in z 2.842 * [taylor]: Taking taylor expansion of (+ (* 676.5203681218851 (/ 1 (+ (/ 1 z) 1.0))) 0.9999999999998099) in z 2.842 * [taylor]: Taking taylor expansion of (* 676.5203681218851 (/ 1 (+ (/ 1 z) 1.0))) in z 2.842 * [taylor]: Taking taylor expansion of 676.5203681218851 in z 2.842 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 1.0)) in z 2.842 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 2.842 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.842 * [taylor]: Taking taylor expansion of z in z 2.843 * [taylor]: Taking taylor expansion of 1.0 in z 2.843 * [taylor]: Taking taylor expansion of 0.9999999999998099 in z 2.843 * [taylor]: Taking taylor expansion of (* 1259.1392167224028 (/ 1 (+ (/ 1 z) 2.0))) in z 2.843 * [taylor]: Taking taylor expansion of 1259.1392167224028 in z 2.843 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 2.0)) in z 2.843 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 2.0) in z 2.843 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.843 * [taylor]: Taking taylor expansion of z in z 2.844 * [taylor]: Taking taylor expansion of 2.0 in z 2.844 * [taylor]: Taking taylor expansion of (- (+ (* 676.5203681218851 (/ 1 (+ (/ 1 z) 1.0))) 0.9999999999998099) (* 1259.1392167224028 (/ 1 (+ (/ 1 z) 2.0)))) in z 2.844 * [taylor]: Taking taylor expansion of (+ (* 676.5203681218851 (/ 1 (+ (/ 1 z) 1.0))) 0.9999999999998099) in z 2.844 * [taylor]: Taking taylor expansion of (* 676.5203681218851 (/ 1 (+ (/ 1 z) 1.0))) in z 2.844 * [taylor]: Taking taylor expansion of 676.5203681218851 in z 2.844 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 1.0)) in z 2.844 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 2.844 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.844 * [taylor]: Taking taylor expansion of z in z 2.844 * [taylor]: Taking taylor expansion of 1.0 in z 2.845 * [taylor]: Taking taylor expansion of 0.9999999999998099 in z 2.845 * [taylor]: Taking taylor expansion of (* 1259.1392167224028 (/ 1 (+ (/ 1 z) 2.0))) in z 2.845 * [taylor]: Taking taylor expansion of 1259.1392167224028 in z 2.845 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 2.0)) in z 2.845 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 2.0) in z 2.845 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.845 * [taylor]: Taking taylor expansion of z in z 2.845 * [taylor]: Taking taylor expansion of 2.0 in z 2.857 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 2.857 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2) 2.857 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 2 1 2) 2.857 * [approximate]: Taking taylor expansion of (- (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) (* 0.13857109526572012 (/ 1 (- 6.0 z)))) in (z) around 0 2.857 * [taylor]: Taking taylor expansion of (- (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) (* 0.13857109526572012 (/ 1 (- 6.0 z)))) in z 2.857 * [taylor]: Taking taylor expansion of (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) in z 2.857 * [taylor]: Taking taylor expansion of 9.984369578019572e-06 in z 2.857 * [taylor]: Taking taylor expansion of (/ 1 (- 7.0 z)) in z 2.857 * [taylor]: Taking taylor expansion of (- 7.0 z) in z 2.857 * [taylor]: Taking taylor expansion of 7.0 in z 2.857 * [taylor]: Taking taylor expansion of z in z 2.858 * [taylor]: Taking taylor expansion of (* 0.13857109526572012 (/ 1 (- 6.0 z))) in z 2.858 * [taylor]: Taking taylor expansion of 0.13857109526572012 in z 2.858 * [taylor]: Taking taylor expansion of (/ 1 (- 6.0 z)) in z 2.858 * [taylor]: Taking taylor expansion of (- 6.0 z) in z 2.858 * [taylor]: Taking taylor expansion of 6.0 in z 2.858 * [taylor]: Taking taylor expansion of z in z 2.859 * [taylor]: Taking taylor expansion of (- (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) (* 0.13857109526572012 (/ 1 (- 6.0 z)))) in z 2.859 * [taylor]: Taking taylor expansion of (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) in z 2.859 * [taylor]: Taking taylor expansion of 9.984369578019572e-06 in z 2.859 * [taylor]: Taking taylor expansion of (/ 1 (- 7.0 z)) in z 2.859 * [taylor]: Taking taylor expansion of (- 7.0 z) in z 2.859 * [taylor]: Taking taylor expansion of 7.0 in z 2.859 * [taylor]: Taking taylor expansion of z in z 2.860 * [taylor]: Taking taylor expansion of (* 0.13857109526572012 (/ 1 (- 6.0 z))) in z 2.860 * [taylor]: Taking taylor expansion of 0.13857109526572012 in z 2.860 * [taylor]: Taking taylor expansion of (/ 1 (- 6.0 z)) in z 2.860 * [taylor]: Taking taylor expansion of (- 6.0 z) in z 2.860 * [taylor]: Taking taylor expansion of 6.0 in z 2.860 * [taylor]: Taking taylor expansion of z in z 2.878 * [approximate]: Taking taylor expansion of (- (* 9.984369578019572e-06 (/ 1 (- 7.0 (/ 1 z)))) (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z))))) in (z) around 0 2.879 * [taylor]: Taking taylor expansion of (- (* 9.984369578019572e-06 (/ 1 (- 7.0 (/ 1 z)))) (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z))))) in z 2.879 * [taylor]: Taking taylor expansion of (* 9.984369578019572e-06 (/ 1 (- 7.0 (/ 1 z)))) in z 2.879 * [taylor]: Taking taylor expansion of 9.984369578019572e-06 in z 2.879 * [taylor]: Taking taylor expansion of (/ 1 (- 7.0 (/ 1 z))) in z 2.879 * [taylor]: Taking taylor expansion of (- 7.0 (/ 1 z)) in z 2.879 * [taylor]: Taking taylor expansion of 7.0 in z 2.879 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.879 * [taylor]: Taking taylor expansion of z in z 2.880 * [taylor]: Taking taylor expansion of (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z)))) in z 2.880 * [taylor]: Taking taylor expansion of 0.13857109526572012 in z 2.880 * [taylor]: Taking taylor expansion of (/ 1 (- 6.0 (/ 1 z))) in z 2.880 * [taylor]: Taking taylor expansion of (- 6.0 (/ 1 z)) in z 2.880 * [taylor]: Taking taylor expansion of 6.0 in z 2.880 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.880 * [taylor]: Taking taylor expansion of z in z 2.881 * [taylor]: Taking taylor expansion of (- (* 9.984369578019572e-06 (/ 1 (- 7.0 (/ 1 z)))) (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z))))) in z 2.881 * [taylor]: Taking taylor expansion of (* 9.984369578019572e-06 (/ 1 (- 7.0 (/ 1 z)))) in z 2.881 * [taylor]: Taking taylor expansion of 9.984369578019572e-06 in z 2.881 * [taylor]: Taking taylor expansion of (/ 1 (- 7.0 (/ 1 z))) in z 2.881 * [taylor]: Taking taylor expansion of (- 7.0 (/ 1 z)) in z 2.881 * [taylor]: Taking taylor expansion of 7.0 in z 2.881 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.881 * [taylor]: Taking taylor expansion of z in z 2.882 * [taylor]: Taking taylor expansion of (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z)))) in z 2.882 * [taylor]: Taking taylor expansion of 0.13857109526572012 in z 2.882 * [taylor]: Taking taylor expansion of (/ 1 (- 6.0 (/ 1 z))) in z 2.882 * [taylor]: Taking taylor expansion of (- 6.0 (/ 1 z)) in z 2.882 * [taylor]: Taking taylor expansion of 6.0 in z 2.882 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.882 * [taylor]: Taking taylor expansion of z in z 2.909 * [approximate]: Taking taylor expansion of (- (* 9.984369578019572e-06 (/ 1 (+ (/ 1 z) 7.0))) (* 0.13857109526572012 (/ 1 (+ (/ 1 z) 6.0)))) in (z) around 0 2.909 * [taylor]: Taking taylor expansion of (- (* 9.984369578019572e-06 (/ 1 (+ (/ 1 z) 7.0))) (* 0.13857109526572012 (/ 1 (+ (/ 1 z) 6.0)))) in z 2.909 * [taylor]: Taking taylor expansion of (* 9.984369578019572e-06 (/ 1 (+ (/ 1 z) 7.0))) in z 2.909 * [taylor]: Taking taylor expansion of 9.984369578019572e-06 in z 2.909 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 7.0)) in z 2.909 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 7.0) in z 2.909 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.909 * [taylor]: Taking taylor expansion of z in z 2.909 * [taylor]: Taking taylor expansion of 7.0 in z 2.910 * [taylor]: Taking taylor expansion of (* 0.13857109526572012 (/ 1 (+ (/ 1 z) 6.0))) in z 2.910 * [taylor]: Taking taylor expansion of 0.13857109526572012 in z 2.910 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 6.0)) in z 2.910 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.0) in z 2.910 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.910 * [taylor]: Taking taylor expansion of z in z 2.910 * [taylor]: Taking taylor expansion of 6.0 in z 2.911 * [taylor]: Taking taylor expansion of (- (* 9.984369578019572e-06 (/ 1 (+ (/ 1 z) 7.0))) (* 0.13857109526572012 (/ 1 (+ (/ 1 z) 6.0)))) in z 2.911 * [taylor]: Taking taylor expansion of (* 9.984369578019572e-06 (/ 1 (+ (/ 1 z) 7.0))) in z 2.911 * [taylor]: Taking taylor expansion of 9.984369578019572e-06 in z 2.911 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 7.0)) in z 2.911 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 7.0) in z 2.911 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.911 * [taylor]: Taking taylor expansion of z in z 2.911 * [taylor]: Taking taylor expansion of 7.0 in z 2.912 * [taylor]: Taking taylor expansion of (* 0.13857109526572012 (/ 1 (+ (/ 1 z) 6.0))) in z 2.912 * [taylor]: Taking taylor expansion of 0.13857109526572012 in z 2.912 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 6.0)) in z 2.912 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.0) in z 2.912 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.912 * [taylor]: Taking taylor expansion of z in z 2.912 * [taylor]: Taking taylor expansion of 6.0 in z 2.933 * * * [progress]: simplifying candidates 2.934 * [simplify]: Simplifying using # : (* (* (exp 0.9999999999998099) (exp (/ 676.5203681218851 (- 1.0 z)))) (exp (/ -1259.1392167224028 (- 2.0 z)))) (* (exp (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (exp (/ -1259.1392167224028 (- 2.0 z)))) (log (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (exp (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (* (cbrt (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (cbrt (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z))))) (cbrt (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (* (* (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (sqrt (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (sqrt (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (+ (* (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1.0 z)) 3)) (- 2.0 z)) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) -1259.1392167224028)) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (- 2.0 z)) (+ (* (- (* 0.9999999999998099 0.9999999999998099) (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z)))) (- 2.0 z)) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) -1259.1392167224028)) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (- 2.0 z)) (+ (pow (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) 3) (pow (/ -1259.1392167224028 (- 2.0 z)) 3)) (+ (* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (- (* (/ -1259.1392167224028 (- 2.0 z)) (/ -1259.1392167224028 (- 2.0 z))) (* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z))))) (- (* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (* (/ -1259.1392167224028 (- 2.0 z)) (/ -1259.1392167224028 (- 2.0 z)))) (- (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z))) (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))) (* PI (sqrt (* PI 2.0))) (+ (log PI) (log (sqrt (* PI 2.0)))) (log (* PI (sqrt (* PI 2.0)))) (exp (* PI (sqrt (* PI 2.0)))) (* (* (* PI PI) PI) (* (* (sqrt (* PI 2.0)) (sqrt (* PI 2.0))) (sqrt (* PI 2.0)))) (* (cbrt (* PI (sqrt (* PI 2.0)))) (cbrt (* PI (sqrt (* PI 2.0))))) (cbrt (* PI (sqrt (* PI 2.0)))) (* (* (* PI (sqrt (* PI 2.0))) (* PI (sqrt (* PI 2.0)))) (* PI (sqrt (* PI 2.0)))) (sqrt (* PI (sqrt (* PI 2.0)))) (sqrt (* PI (sqrt (* PI 2.0)))) (* (sqrt PI) (sqrt (sqrt (* PI 2.0)))) (* (sqrt PI) (sqrt (sqrt (* PI 2.0)))) (* PI (* (cbrt (sqrt (* PI 2.0))) (cbrt (sqrt (* PI 2.0))))) (* PI (sqrt PI)) (* PI (sqrt (sqrt (* PI 2.0)))) (* PI 1) (* (cbrt PI) (sqrt (* PI 2.0))) (* (sqrt PI) (sqrt (* PI 2.0))) (* PI (sqrt (* PI 2.0))) (log (sqrt (* PI 2.0))) (exp (sqrt (* PI 2.0))) (* (cbrt (sqrt (* PI 2.0))) (cbrt (sqrt (* PI 2.0)))) (cbrt (sqrt (* PI 2.0))) (* (* (sqrt (* PI 2.0)) (sqrt (* PI 2.0))) (sqrt (* PI 2.0))) (sqrt PI) (sqrt 2.0) (/ 1 2) (/ 1 2) (sqrt (sqrt (* PI 2.0))) (sqrt (sqrt (* PI 2.0))) (* (exp (/ 9.984369578019572e-06 (- 7.0 z))) (exp (/ -0.13857109526572012 (- 6.0 z)))) (log (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (exp (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (* (cbrt (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (cbrt (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z))))) (cbrt (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (* (* (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z))) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (sqrt (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (sqrt (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (+ (* 9.984369578019572e-06 (- 6.0 z)) (* (- 7.0 z) -0.13857109526572012)) (* (- 7.0 z) (- 6.0 z)) (+ (pow (/ 9.984369578019572e-06 (- 7.0 z)) 3) (pow (/ -0.13857109526572012 (- 6.0 z)) 3)) (+ (* (/ 9.984369578019572e-06 (- 7.0 z)) (/ 9.984369578019572e-06 (- 7.0 z))) (- (* (/ -0.13857109526572012 (- 6.0 z)) (/ -0.13857109526572012 (- 6.0 z))) (* (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z))))) (- (* (/ 9.984369578019572e-06 (- 7.0 z)) (/ 9.984369578019572e-06 (- 7.0 z))) (* (/ -0.13857109526572012 (- 6.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (- (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z))) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z))) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z))) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z))) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z))) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z))) (+ (* 361.7355639412844 z) (+ (* 519.1279660315847 (pow z 2)) 47.95075976068347)) (+ (* 582.6188486005177 (/ 1 z)) (+ (* 1841.7580653229206 (/ 1 (pow z 2))) 0.9999999999998099)) (+ (* 582.6188486005177 (/ 1 z)) (+ (* 1841.7580653229206 (/ 1 (pow z 2))) 0.9999999999998099)) (/ (* (pow (+ 0.5 (- 7.0 z)) (- 0.5 z)) (* PI (sqrt (* PI 2.0)))) (* (/ (sin (* PI z)) (+ (+ (+ (/ 771.3234287776531 (- 3.0 z)) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (/ -176.6150291621406 (- 4.0 z))) (+ (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (/ 12.507343278686905 (- 5.0 z))))) (exp (+ 0.5 (- 7.0 z))))) (/ (* (pow (+ 0.5 (- 7.0 z)) (- 0.5 z)) (* PI (sqrt (* PI 2.0)))) (* (/ (sin (* PI z)) (+ (+ (+ (/ 771.3234287776531 (- 3.0 z)) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (/ -176.6150291621406 (- 4.0 z))) (+ (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (/ 12.507343278686905 (- 5.0 z))))) (exp (+ 0.5 (- 7.0 z))))) (- (+ (* 0.0038489933280699985 z) (+ (* 0.0006415037395032008 (pow z 2)) 0.02309375620577554))) (+ (* 4.988070195456602 (/ 1 (pow z 3))) (+ (* 0.1385611108961421 (/ 1 z)) (* 0.8313566810072747 (/ 1 (pow z 2))))) (+ (* 4.988070195456602 (/ 1 (pow z 3))) (+ (* 0.1385611108961421 (/ 1 z)) (* 0.8313566810072747 (/ 1 (pow z 2))))) 2.939 * * [simplify]: iteration 0 : 191 enodes (cost 1182 ) 2.971 * * [simplify]: iteration 1 : 480 enodes (cost 1129 ) 3.053 * * [simplify]: iteration 2 : 1433 enodes (cost 1047 ) 3.356 * * [simplify]: iteration done : 5002 enodes (cost 1033 ) 3.357 * [simplify]: Simplified to: (exp (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (exp (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (log (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (exp (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (* (cbrt (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (cbrt (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z))))) (cbrt (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (pow (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z))) 3) (sqrt (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (sqrt (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (+ (* (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1.0 z)) 3)) (- 2.0 z)) (* (+ (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099)) -1259.1392167224028)) (* (- 2.0 z) (+ (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099))) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (* (- 2.0 z) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) -1259.1392167224028)) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (- 2.0 z)) (+ (pow (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) 3) (pow (/ -1259.1392167224028 (- 2.0 z)) 3)) (+ (* (/ -1259.1392167224028 (- 2.0 z)) (/ -1259.1392167224028 (- 2.0 z))) (* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (- (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z))))) (- (* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (* (/ -1259.1392167224028 (- 2.0 z)) (/ -1259.1392167224028 (- 2.0 z)))) (- (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z))) (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))) (* PI (sqrt (* PI 2.0))) (log (* PI (sqrt (* PI 2.0)))) (log (* PI (sqrt (* PI 2.0)))) (exp (* PI (sqrt (* PI 2.0)))) (pow (* PI (sqrt (* PI 2.0))) 3) (* (cbrt (* PI (sqrt (* PI 2.0)))) (cbrt (* PI (sqrt (* PI 2.0))))) (cbrt (* PI (sqrt (* PI 2.0)))) (pow (* PI (sqrt (* PI 2.0))) 3) (sqrt (* PI (sqrt (* PI 2.0)))) (sqrt (* PI (sqrt (* PI 2.0)))) (* (sqrt PI) (sqrt (sqrt (* PI 2.0)))) (* (sqrt PI) (sqrt (sqrt (* PI 2.0)))) (* PI (* (cbrt (sqrt (* PI 2.0))) (cbrt (sqrt (* PI 2.0))))) (* PI (sqrt PI)) (* PI (sqrt (sqrt (* PI 2.0)))) PI (* (cbrt PI) (sqrt (* PI 2.0))) (* (sqrt PI) (sqrt (* PI 2.0))) (* PI (sqrt (* PI 2.0))) (log (sqrt (* PI 2.0))) (exp (sqrt (* PI 2.0))) (* (cbrt (sqrt (* PI 2.0))) (cbrt (sqrt (* PI 2.0)))) (cbrt (sqrt (* PI 2.0))) (pow (sqrt (* PI 2.0)) 3) (sqrt PI) (sqrt 2.0) 1/2 1/2 (sqrt (sqrt (* PI 2.0))) (sqrt (sqrt (* PI 2.0))) (exp (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (log (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (exp (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (* (cbrt (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (cbrt (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z))))) (cbrt (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (pow (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z))) 3) (sqrt (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (sqrt (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (+ (* 9.984369578019572e-06 (- 6.0 z)) (* (- 7.0 z) -0.13857109526572012)) (* (- 7.0 z) (- 6.0 z)) (+ (pow (/ 9.984369578019572e-06 (- 7.0 z)) 3) (pow (/ -0.13857109526572012 (- 6.0 z)) 3)) (+ (* (/ -0.13857109526572012 (- 6.0 z)) (- (/ -0.13857109526572012 (- 6.0 z)) (/ 9.984369578019572e-06 (- 7.0 z)))) (* (/ 9.984369578019572e-06 (- 7.0 z)) (/ 9.984369578019572e-06 (- 7.0 z)))) (- (* (/ 9.984369578019572e-06 (- 7.0 z)) (/ 9.984369578019572e-06 (- 7.0 z))) (* (/ -0.13857109526572012 (- 6.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (- (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z))) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z))) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z))) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z))) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z))) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z))) (+ (* z (+ 361.7355639412844 (* 519.1279660315847 z))) 47.95075976068347) (+ (+ (/ 1841.7580653229206 (pow z 2)) (/ 582.6188486005177 z)) 0.9999999999998099) (+ (+ (/ 1841.7580653229206 (pow z 2)) (/ 582.6188486005177 z)) 0.9999999999998099) (/ (* (pow (+ 0.5 (- 7.0 z)) (- 0.5 z)) (* PI (sqrt (* PI 2.0)))) (* (/ (sin (* PI z)) (+ (+ (+ (/ 771.3234287776531 (- 3.0 z)) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (/ -176.6150291621406 (- 4.0 z))) (+ (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (/ 12.507343278686905 (- 5.0 z))))) (exp (+ 0.5 (- 7.0 z))))) (/ (* (pow (+ 0.5 (- 7.0 z)) (- 0.5 z)) (* PI (sqrt (* PI 2.0)))) (* (/ (sin (* PI z)) (+ (+ (+ (/ 771.3234287776531 (- 3.0 z)) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (/ -176.6150291621406 (- 4.0 z))) (+ (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (/ 12.507343278686905 (- 5.0 z))))) (exp (+ 0.5 (- 7.0 z))))) (- (- (* z (+ (* 0.0006415037395032008 z) 0.0038489933280699985))) 0.02309375620577554) (+ (+ (/ 4.988070195456602 (pow z 3)) (/ 0.8313566810072747 (pow z 2))) (/ 0.1385611108961421 z)) (+ (+ (/ 4.988070195456602 (pow z 3)) (/ 0.8313566810072747 (pow z 2))) (/ 0.1385611108961421 z)) 3.358 * * * [progress]: adding candidates to table 3.947 * * [progress]: iteration 2 / 4 3.947 * * * [progress]: picking best candidate 4.020 * * * * [pick]: Picked # 4.020 * * * [progress]: localizing error 4.079 * * * [progress]: generating rewritten candidates 4.079 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1 1 2) 4.176 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 1) 4.183 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 1) 4.190 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1) 4.198 * * * [progress]: generating series expansions 4.198 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1 1 2) 4.198 * [approximate]: Taking taylor expansion of (- (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) 0.9999999999998099) (* 1259.1392167224028 (/ 1 (- 2.0 z)))) in (z) around 0 4.198 * [taylor]: Taking taylor expansion of (- (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) 0.9999999999998099) (* 1259.1392167224028 (/ 1 (- 2.0 z)))) in z 4.198 * [taylor]: Taking taylor expansion of (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) 0.9999999999998099) in z 4.198 * [taylor]: Taking taylor expansion of (* 676.5203681218851 (/ 1 (- 1.0 z))) in z 4.198 * [taylor]: Taking taylor expansion of 676.5203681218851 in z 4.198 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 z)) in z 4.198 * [taylor]: Taking taylor expansion of (- 1.0 z) in z 4.198 * [taylor]: Taking taylor expansion of 1.0 in z 4.198 * [taylor]: Taking taylor expansion of z in z 4.200 * [taylor]: Taking taylor expansion of 0.9999999999998099 in z 4.200 * [taylor]: Taking taylor expansion of (* 1259.1392167224028 (/ 1 (- 2.0 z))) in z 4.200 * [taylor]: Taking taylor expansion of 1259.1392167224028 in z 4.200 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 z)) in z 4.200 * [taylor]: Taking taylor expansion of (- 2.0 z) in z 4.200 * [taylor]: Taking taylor expansion of 2.0 in z 4.200 * [taylor]: Taking taylor expansion of z in z 4.200 * [taylor]: Taking taylor expansion of (- (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) 0.9999999999998099) (* 1259.1392167224028 (/ 1 (- 2.0 z)))) in z 4.200 * [taylor]: Taking taylor expansion of (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) 0.9999999999998099) in z 4.201 * [taylor]: Taking taylor expansion of (* 676.5203681218851 (/ 1 (- 1.0 z))) in z 4.201 * [taylor]: Taking taylor expansion of 676.5203681218851 in z 4.201 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 z)) in z 4.201 * [taylor]: Taking taylor expansion of (- 1.0 z) in z 4.201 * [taylor]: Taking taylor expansion of 1.0 in z 4.201 * [taylor]: Taking taylor expansion of z in z 4.201 * [taylor]: Taking taylor expansion of 0.9999999999998099 in z 4.201 * [taylor]: Taking taylor expansion of (* 1259.1392167224028 (/ 1 (- 2.0 z))) in z 4.201 * [taylor]: Taking taylor expansion of 1259.1392167224028 in z 4.201 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 z)) in z 4.202 * [taylor]: Taking taylor expansion of (- 2.0 z) in z 4.202 * [taylor]: Taking taylor expansion of 2.0 in z 4.202 * [taylor]: Taking taylor expansion of z in z 4.222 * [approximate]: Taking taylor expansion of (- (+ (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) 0.9999999999998099) (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z))))) in (z) around 0 4.222 * [taylor]: Taking taylor expansion of (- (+ (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) 0.9999999999998099) (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z))))) in z 4.222 * [taylor]: Taking taylor expansion of (+ (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) 0.9999999999998099) in z 4.222 * [taylor]: Taking taylor expansion of (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) in z 4.222 * [taylor]: Taking taylor expansion of 676.5203681218851 in z 4.222 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (/ 1 z))) in z 4.222 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 4.222 * [taylor]: Taking taylor expansion of 1.0 in z 4.222 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.222 * [taylor]: Taking taylor expansion of z in z 4.223 * [taylor]: Taking taylor expansion of 0.9999999999998099 in z 4.223 * [taylor]: Taking taylor expansion of (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z)))) in z 4.223 * [taylor]: Taking taylor expansion of 1259.1392167224028 in z 4.223 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (/ 1 z))) in z 4.223 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 z)) in z 4.223 * [taylor]: Taking taylor expansion of 2.0 in z 4.223 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.223 * [taylor]: Taking taylor expansion of z in z 4.224 * [taylor]: Taking taylor expansion of (- (+ (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) 0.9999999999998099) (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z))))) in z 4.224 * [taylor]: Taking taylor expansion of (+ (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) 0.9999999999998099) in z 4.224 * [taylor]: Taking taylor expansion of (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) in z 4.224 * [taylor]: Taking taylor expansion of 676.5203681218851 in z 4.225 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (/ 1 z))) in z 4.225 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 4.225 * [taylor]: Taking taylor expansion of 1.0 in z 4.225 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.225 * [taylor]: Taking taylor expansion of z in z 4.226 * [taylor]: Taking taylor expansion of 0.9999999999998099 in z 4.226 * [taylor]: Taking taylor expansion of (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z)))) in z 4.226 * [taylor]: Taking taylor expansion of 1259.1392167224028 in z 4.226 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (/ 1 z))) in z 4.226 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 z)) in z 4.226 * [taylor]: Taking taylor expansion of 2.0 in z 4.226 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.226 * [taylor]: Taking taylor expansion of z in z 4.237 * [approximate]: Taking taylor expansion of (- (+ (* 676.5203681218851 (/ 1 (+ (/ 1 z) 1.0))) 0.9999999999998099) (* 1259.1392167224028 (/ 1 (+ (/ 1 z) 2.0)))) in (z) around 0 4.238 * [taylor]: Taking taylor expansion of (- (+ (* 676.5203681218851 (/ 1 (+ (/ 1 z) 1.0))) 0.9999999999998099) (* 1259.1392167224028 (/ 1 (+ (/ 1 z) 2.0)))) in z 4.238 * [taylor]: Taking taylor expansion of (+ (* 676.5203681218851 (/ 1 (+ (/ 1 z) 1.0))) 0.9999999999998099) in z 4.238 * [taylor]: Taking taylor expansion of (* 676.5203681218851 (/ 1 (+ (/ 1 z) 1.0))) in z 4.238 * [taylor]: Taking taylor expansion of 676.5203681218851 in z 4.238 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 1.0)) in z 4.238 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 4.238 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.238 * [taylor]: Taking taylor expansion of z in z 4.238 * [taylor]: Taking taylor expansion of 1.0 in z 4.239 * [taylor]: Taking taylor expansion of 0.9999999999998099 in z 4.239 * [taylor]: Taking taylor expansion of (* 1259.1392167224028 (/ 1 (+ (/ 1 z) 2.0))) in z 4.239 * [taylor]: Taking taylor expansion of 1259.1392167224028 in z 4.239 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 2.0)) in z 4.239 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 2.0) in z 4.239 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.239 * [taylor]: Taking taylor expansion of z in z 4.239 * [taylor]: Taking taylor expansion of 2.0 in z 4.239 * [taylor]: Taking taylor expansion of (- (+ (* 676.5203681218851 (/ 1 (+ (/ 1 z) 1.0))) 0.9999999999998099) (* 1259.1392167224028 (/ 1 (+ (/ 1 z) 2.0)))) in z 4.239 * [taylor]: Taking taylor expansion of (+ (* 676.5203681218851 (/ 1 (+ (/ 1 z) 1.0))) 0.9999999999998099) in z 4.239 * [taylor]: Taking taylor expansion of (* 676.5203681218851 (/ 1 (+ (/ 1 z) 1.0))) in z 4.240 * [taylor]: Taking taylor expansion of 676.5203681218851 in z 4.240 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 1.0)) in z 4.240 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 4.240 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.240 * [taylor]: Taking taylor expansion of z in z 4.240 * [taylor]: Taking taylor expansion of 1.0 in z 4.240 * [taylor]: Taking taylor expansion of 0.9999999999998099 in z 4.240 * [taylor]: Taking taylor expansion of (* 1259.1392167224028 (/ 1 (+ (/ 1 z) 2.0))) in z 4.240 * [taylor]: Taking taylor expansion of 1259.1392167224028 in z 4.240 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 2.0)) in z 4.240 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 2.0) in z 4.240 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.241 * [taylor]: Taking taylor expansion of z in z 4.241 * [taylor]: Taking taylor expansion of 2.0 in z 4.252 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 1) 4.252 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 1) 4.252 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1) 4.252 * * * [progress]: simplifying candidates 4.254 * [simplify]: Simplifying using # : (* (* (exp 0.9999999999998099) (exp (/ 676.5203681218851 (- 1.0 z)))) (exp (/ -1259.1392167224028 (- 2.0 z)))) (* (exp (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (exp (/ -1259.1392167224028 (- 2.0 z)))) (log (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (exp (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (* (cbrt (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (cbrt (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z))))) (cbrt (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (* (* (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (sqrt (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (sqrt (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (+ (* (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1.0 z)) 3)) (- 2.0 z)) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) -1259.1392167224028)) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (- 2.0 z)) (+ (* (- (* 0.9999999999998099 0.9999999999998099) (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z)))) (- 2.0 z)) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) -1259.1392167224028)) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (- 2.0 z)) (+ (pow (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) 3) (pow (/ -1259.1392167224028 (- 2.0 z)) 3)) (+ (* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (- (* (/ -1259.1392167224028 (- 2.0 z)) (/ -1259.1392167224028 (- 2.0 z))) (* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z))))) (- (* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (* (/ -1259.1392167224028 (- 2.0 z)) (/ -1259.1392167224028 (- 2.0 z)))) (- (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z))) (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))) (* PI (sqrt (* PI 2.0))) (+ (log PI) (log (sqrt (* PI 2.0)))) (log (* PI (sqrt (* PI 2.0)))) (exp (* PI (sqrt (* PI 2.0)))) (* (* (* PI PI) PI) (* (* (sqrt (* PI 2.0)) (sqrt (* PI 2.0))) (sqrt (* PI 2.0)))) (* (cbrt (* PI (sqrt (* PI 2.0)))) (cbrt (* PI (sqrt (* PI 2.0))))) (cbrt (* PI (sqrt (* PI 2.0)))) (* (* (* PI (sqrt (* PI 2.0))) (* PI (sqrt (* PI 2.0)))) (* PI (sqrt (* PI 2.0)))) (sqrt (* PI (sqrt (* PI 2.0)))) (sqrt (* PI (sqrt (* PI 2.0)))) (* (sqrt PI) (sqrt (sqrt (* PI 2.0)))) (* (sqrt PI) (sqrt (sqrt (* PI 2.0)))) (* PI (* (cbrt (sqrt (* PI 2.0))) (cbrt (sqrt (* PI 2.0))))) (* PI (sqrt PI)) (* PI (sqrt (sqrt (* PI 2.0)))) (* PI 1) (* (cbrt PI) (sqrt (* PI 2.0))) (* (sqrt PI) (sqrt (* PI 2.0))) (* PI (sqrt (* PI 2.0))) (* PI (sqrt (* PI 2.0))) (+ (log PI) (log (sqrt (* PI 2.0)))) (log (* PI (sqrt (* PI 2.0)))) (exp (* PI (sqrt (* PI 2.0)))) (* (* (* PI PI) PI) (* (* (sqrt (* PI 2.0)) (sqrt (* PI 2.0))) (sqrt (* PI 2.0)))) (* (cbrt (* PI (sqrt (* PI 2.0)))) (cbrt (* PI (sqrt (* PI 2.0))))) (cbrt (* PI (sqrt (* PI 2.0)))) (* (* (* PI (sqrt (* PI 2.0))) (* PI (sqrt (* PI 2.0)))) (* PI (sqrt (* PI 2.0)))) (sqrt (* PI (sqrt (* PI 2.0)))) (sqrt (* PI (sqrt (* PI 2.0)))) (* (sqrt PI) (sqrt (sqrt (* PI 2.0)))) (* (sqrt PI) (sqrt (sqrt (* PI 2.0)))) (* PI (* (cbrt (sqrt (* PI 2.0))) (cbrt (sqrt (* PI 2.0))))) (* PI (sqrt PI)) (* PI (sqrt (sqrt (* PI 2.0)))) (* PI 1) (* (cbrt PI) (sqrt (* PI 2.0))) (* (sqrt PI) (sqrt (* PI 2.0))) (* PI (sqrt (* PI 2.0))) (* PI (sqrt (* PI 2.0))) (+ (log PI) (log (sqrt (* PI 2.0)))) (log (* PI (sqrt (* PI 2.0)))) (exp (* PI (sqrt (* PI 2.0)))) (* (* (* PI PI) PI) (* (* (sqrt (* PI 2.0)) (sqrt (* PI 2.0))) (sqrt (* PI 2.0)))) (* (cbrt (* PI (sqrt (* PI 2.0)))) (cbrt (* PI (sqrt (* PI 2.0))))) (cbrt (* PI (sqrt (* PI 2.0)))) (* (* (* PI (sqrt (* PI 2.0))) (* PI (sqrt (* PI 2.0)))) (* PI (sqrt (* PI 2.0)))) (sqrt (* PI (sqrt (* PI 2.0)))) (sqrt (* PI (sqrt (* PI 2.0)))) (* (sqrt PI) (sqrt (sqrt (* PI 2.0)))) (* (sqrt PI) (sqrt (sqrt (* PI 2.0)))) (* PI (* (cbrt (sqrt (* PI 2.0))) (cbrt (sqrt (* PI 2.0))))) (* PI (sqrt PI)) (* PI (sqrt (sqrt (* PI 2.0)))) (* PI 1) (* (cbrt PI) (sqrt (* PI 2.0))) (* (sqrt PI) (sqrt (* PI 2.0))) (* PI (sqrt (* PI 2.0))) (+ (* 361.7355639412844 z) (+ (* 519.1279660315847 (pow z 2)) 47.95075976068347)) (+ (* 582.6188486005177 (/ 1 z)) (+ (* 1841.7580653229206 (/ 1 (pow z 2))) 0.9999999999998099)) (+ (* 582.6188486005177 (/ 1 z)) (+ (* 1841.7580653229206 (/ 1 (pow z 2))) 0.9999999999998099)) (* (cbrt (* PI (sqrt (* PI 2.0)))) (cbrt (* PI (sqrt (* PI 2.0))))) (cbrt (* PI (sqrt (* PI 2.0)))) (* (cbrt (* PI (sqrt (* PI 2.0)))) (cbrt (* PI (sqrt (* PI 2.0))))) (cbrt (* PI (sqrt (* PI 2.0)))) (* (cbrt (* PI (sqrt (* PI 2.0)))) (cbrt (* PI (sqrt (* PI 2.0))))) (cbrt (* PI (sqrt (* PI 2.0)))) 4.257 * * [simplify]: iteration 0 : 105 enodes (cost 1022 ) 4.272 * * [simplify]: iteration 1 : 261 enodes (cost 956 ) 4.322 * * [simplify]: iteration 2 : 770 enodes (cost 886 ) 4.731 * * [simplify]: iteration 3 : 2608 enodes (cost 874 ) 5.304 * * [simplify]: iteration done : 5001 enodes (cost 874 ) 5.305 * [simplify]: Simplified to: (exp (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (exp (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (log (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (exp (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (* (cbrt (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (cbrt (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z))))) (cbrt (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (pow (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z))) 3) (sqrt (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (sqrt (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (+ (* (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1.0 z)) 3)) (- 2.0 z)) (* (+ (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099)) -1259.1392167224028)) (* (- 2.0 z) (+ (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099))) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ -1259.1392167224028 (* (- 2.0 z) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))))) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (- 2.0 z)) (+ (pow (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) 3) (pow (/ -1259.1392167224028 (- 2.0 z)) 3)) (- (* (/ -1259.1392167224028 (- 2.0 z)) (/ -1259.1392167224028 (- 2.0 z))) (* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (- (/ -1259.1392167224028 (- 2.0 z)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))))) (- (* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (* (/ -1259.1392167224028 (- 2.0 z)) (/ -1259.1392167224028 (- 2.0 z)))) (- (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z))) (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))) (* PI (sqrt (* PI 2.0))) (log (* PI (sqrt (* PI 2.0)))) (log (* PI (sqrt (* PI 2.0)))) (exp (* PI (sqrt (* PI 2.0)))) (pow (* PI (sqrt (* PI 2.0))) 3) (* (cbrt (* PI (sqrt (* PI 2.0)))) (cbrt (* PI (sqrt (* PI 2.0))))) (cbrt (* PI (sqrt (* PI 2.0)))) (pow (* PI (sqrt (* PI 2.0))) 3) (sqrt (* PI (sqrt (* PI 2.0)))) (sqrt (* PI (sqrt (* PI 2.0)))) (* (sqrt PI) (sqrt (sqrt (* PI 2.0)))) (* (sqrt PI) (sqrt (sqrt (* PI 2.0)))) (* PI (* (cbrt (sqrt (* PI 2.0))) (cbrt (sqrt (* PI 2.0))))) (* PI (sqrt PI)) (* PI (sqrt (sqrt (* PI 2.0)))) PI (* (cbrt PI) (sqrt (* PI 2.0))) (* (sqrt PI) (sqrt (* PI 2.0))) (* PI (sqrt (* PI 2.0))) (* PI (sqrt (* PI 2.0))) (log (* PI (sqrt (* PI 2.0)))) (log (* PI (sqrt (* PI 2.0)))) (exp (* PI (sqrt (* PI 2.0)))) (pow (* PI (sqrt (* PI 2.0))) 3) (* (cbrt (* PI (sqrt (* PI 2.0)))) (cbrt (* PI (sqrt (* PI 2.0))))) (cbrt (* PI (sqrt (* PI 2.0)))) (pow (* PI (sqrt (* PI 2.0))) 3) (sqrt (* PI (sqrt (* PI 2.0)))) (sqrt (* PI (sqrt (* PI 2.0)))) (* (sqrt PI) (sqrt (sqrt (* PI 2.0)))) (* (sqrt PI) (sqrt (sqrt (* PI 2.0)))) (* PI (* (cbrt (sqrt (* PI 2.0))) (cbrt (sqrt (* PI 2.0))))) (* PI (sqrt PI)) (* PI (sqrt (sqrt (* PI 2.0)))) PI (* (cbrt PI) (sqrt (* PI 2.0))) (* (sqrt PI) (sqrt (* PI 2.0))) (* PI (sqrt (* PI 2.0))) (* PI (sqrt (* PI 2.0))) (log (* PI (sqrt (* PI 2.0)))) (log (* PI (sqrt (* PI 2.0)))) (exp (* PI (sqrt (* PI 2.0)))) (pow (* PI (sqrt (* PI 2.0))) 3) (* (cbrt (* PI (sqrt (* PI 2.0)))) (cbrt (* PI (sqrt (* PI 2.0))))) (cbrt (* PI (sqrt (* PI 2.0)))) (pow (* PI (sqrt (* PI 2.0))) 3) (sqrt (* PI (sqrt (* PI 2.0)))) (sqrt (* PI (sqrt (* PI 2.0)))) (* (sqrt PI) (sqrt (sqrt (* PI 2.0)))) (* (sqrt PI) (sqrt (sqrt (* PI 2.0)))) (* PI (* (cbrt (sqrt (* PI 2.0))) (cbrt (sqrt (* PI 2.0))))) (* PI (sqrt PI)) (* PI (sqrt (sqrt (* PI 2.0)))) PI (* (cbrt PI) (sqrt (* PI 2.0))) (* (sqrt PI) (sqrt (* PI 2.0))) (* PI (sqrt (* PI 2.0))) (+ 47.95075976068347 (* z (+ (* 519.1279660315847 z) 361.7355639412844))) (+ (+ 0.9999999999998099 (/ 1841.7580653229206 (pow z 2))) (/ 582.6188486005177 z)) (+ (+ 0.9999999999998099 (/ 1841.7580653229206 (pow z 2))) (/ 582.6188486005177 z)) (* (cbrt (* PI (sqrt (* PI 2.0)))) (cbrt (* PI (sqrt (* PI 2.0))))) (cbrt (* PI (sqrt (* PI 2.0)))) (* (cbrt (* PI (sqrt (* PI 2.0)))) (cbrt (* PI (sqrt (* PI 2.0))))) (cbrt (* PI (sqrt (* PI 2.0)))) (* (cbrt (* PI (sqrt (* PI 2.0)))) (cbrt (* PI (sqrt (* PI 2.0))))) (cbrt (* PI (sqrt (* PI 2.0)))) 5.305 * * * [progress]: adding candidates to table 5.998 * * [progress]: iteration 3 / 4 5.998 * * * [progress]: picking best candidate 6.071 * * * * [pick]: Picked # 6.072 * * * [progress]: localizing error 6.120 * * * [progress]: generating rewritten candidates 6.120 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 6.127 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2) 6.129 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2 1 2) 6.173 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1 1) 6.535 * * * [progress]: generating series expansions 6.535 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 6.535 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2) 6.535 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2 1 2) 6.535 * [approximate]: Taking taylor expansion of (- (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) (* 0.13857109526572012 (/ 1 (- 6.0 z)))) in (z) around 0 6.535 * [taylor]: Taking taylor expansion of (- (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) (* 0.13857109526572012 (/ 1 (- 6.0 z)))) in z 6.535 * [taylor]: Taking taylor expansion of (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) in z 6.535 * [taylor]: Taking taylor expansion of 9.984369578019572e-06 in z 6.535 * [taylor]: Taking taylor expansion of (/ 1 (- 7.0 z)) in z 6.535 * [taylor]: Taking taylor expansion of (- 7.0 z) in z 6.535 * [taylor]: Taking taylor expansion of 7.0 in z 6.535 * [taylor]: Taking taylor expansion of z in z 6.536 * [taylor]: Taking taylor expansion of (* 0.13857109526572012 (/ 1 (- 6.0 z))) in z 6.536 * [taylor]: Taking taylor expansion of 0.13857109526572012 in z 6.536 * [taylor]: Taking taylor expansion of (/ 1 (- 6.0 z)) in z 6.536 * [taylor]: Taking taylor expansion of (- 6.0 z) in z 6.536 * [taylor]: Taking taylor expansion of 6.0 in z 6.536 * [taylor]: Taking taylor expansion of z in z 6.537 * [taylor]: Taking taylor expansion of (- (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) (* 0.13857109526572012 (/ 1 (- 6.0 z)))) in z 6.537 * [taylor]: Taking taylor expansion of (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) in z 6.537 * [taylor]: Taking taylor expansion of 9.984369578019572e-06 in z 6.537 * [taylor]: Taking taylor expansion of (/ 1 (- 7.0 z)) in z 6.537 * [taylor]: Taking taylor expansion of (- 7.0 z) in z 6.537 * [taylor]: Taking taylor expansion of 7.0 in z 6.537 * [taylor]: Taking taylor expansion of z in z 6.538 * [taylor]: Taking taylor expansion of (* 0.13857109526572012 (/ 1 (- 6.0 z))) in z 6.538 * [taylor]: Taking taylor expansion of 0.13857109526572012 in z 6.538 * [taylor]: Taking taylor expansion of (/ 1 (- 6.0 z)) in z 6.538 * [taylor]: Taking taylor expansion of (- 6.0 z) in z 6.538 * [taylor]: Taking taylor expansion of 6.0 in z 6.538 * [taylor]: Taking taylor expansion of z in z 6.557 * [approximate]: Taking taylor expansion of (- (* 9.984369578019572e-06 (/ 1 (- 7.0 (/ 1 z)))) (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z))))) in (z) around 0 6.557 * [taylor]: Taking taylor expansion of (- (* 9.984369578019572e-06 (/ 1 (- 7.0 (/ 1 z)))) (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z))))) in z 6.557 * [taylor]: Taking taylor expansion of (* 9.984369578019572e-06 (/ 1 (- 7.0 (/ 1 z)))) in z 6.557 * [taylor]: Taking taylor expansion of 9.984369578019572e-06 in z 6.557 * [taylor]: Taking taylor expansion of (/ 1 (- 7.0 (/ 1 z))) in z 6.557 * [taylor]: Taking taylor expansion of (- 7.0 (/ 1 z)) in z 6.557 * [taylor]: Taking taylor expansion of 7.0 in z 6.557 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.557 * [taylor]: Taking taylor expansion of z in z 6.558 * [taylor]: Taking taylor expansion of (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z)))) in z 6.558 * [taylor]: Taking taylor expansion of 0.13857109526572012 in z 6.558 * [taylor]: Taking taylor expansion of (/ 1 (- 6.0 (/ 1 z))) in z 6.558 * [taylor]: Taking taylor expansion of (- 6.0 (/ 1 z)) in z 6.558 * [taylor]: Taking taylor expansion of 6.0 in z 6.558 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.558 * [taylor]: Taking taylor expansion of z in z 6.559 * [taylor]: Taking taylor expansion of (- (* 9.984369578019572e-06 (/ 1 (- 7.0 (/ 1 z)))) (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z))))) in z 6.559 * [taylor]: Taking taylor expansion of (* 9.984369578019572e-06 (/ 1 (- 7.0 (/ 1 z)))) in z 6.559 * [taylor]: Taking taylor expansion of 9.984369578019572e-06 in z 6.560 * [taylor]: Taking taylor expansion of (/ 1 (- 7.0 (/ 1 z))) in z 6.560 * [taylor]: Taking taylor expansion of (- 7.0 (/ 1 z)) in z 6.560 * [taylor]: Taking taylor expansion of 7.0 in z 6.560 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.560 * [taylor]: Taking taylor expansion of z in z 6.561 * [taylor]: Taking taylor expansion of (* 0.13857109526572012 (/ 1 (- 6.0 (/ 1 z)))) in z 6.561 * [taylor]: Taking taylor expansion of 0.13857109526572012 in z 6.561 * [taylor]: Taking taylor expansion of (/ 1 (- 6.0 (/ 1 z))) in z 6.561 * [taylor]: Taking taylor expansion of (- 6.0 (/ 1 z)) in z 6.561 * [taylor]: Taking taylor expansion of 6.0 in z 6.561 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.561 * [taylor]: Taking taylor expansion of z in z 6.585 * [approximate]: Taking taylor expansion of (- (* 9.984369578019572e-06 (/ 1 (+ (/ 1 z) 7.0))) (* 0.13857109526572012 (/ 1 (+ (/ 1 z) 6.0)))) in (z) around 0 6.586 * [taylor]: Taking taylor expansion of (- (* 9.984369578019572e-06 (/ 1 (+ (/ 1 z) 7.0))) (* 0.13857109526572012 (/ 1 (+ (/ 1 z) 6.0)))) in z 6.586 * [taylor]: Taking taylor expansion of (* 9.984369578019572e-06 (/ 1 (+ (/ 1 z) 7.0))) in z 6.586 * [taylor]: Taking taylor expansion of 9.984369578019572e-06 in z 6.586 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 7.0)) in z 6.586 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 7.0) in z 6.586 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.586 * [taylor]: Taking taylor expansion of z in z 6.586 * [taylor]: Taking taylor expansion of 7.0 in z 6.586 * [taylor]: Taking taylor expansion of (* 0.13857109526572012 (/ 1 (+ (/ 1 z) 6.0))) in z 6.586 * [taylor]: Taking taylor expansion of 0.13857109526572012 in z 6.587 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 6.0)) in z 6.587 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.0) in z 6.587 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.587 * [taylor]: Taking taylor expansion of z in z 6.587 * [taylor]: Taking taylor expansion of 6.0 in z 6.587 * [taylor]: Taking taylor expansion of (- (* 9.984369578019572e-06 (/ 1 (+ (/ 1 z) 7.0))) (* 0.13857109526572012 (/ 1 (+ (/ 1 z) 6.0)))) in z 6.587 * [taylor]: Taking taylor expansion of (* 9.984369578019572e-06 (/ 1 (+ (/ 1 z) 7.0))) in z 6.587 * [taylor]: Taking taylor expansion of 9.984369578019572e-06 in z 6.587 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 7.0)) in z 6.587 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 7.0) in z 6.587 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.587 * [taylor]: Taking taylor expansion of z in z 6.588 * [taylor]: Taking taylor expansion of 7.0 in z 6.588 * [taylor]: Taking taylor expansion of (* 0.13857109526572012 (/ 1 (+ (/ 1 z) 6.0))) in z 6.588 * [taylor]: Taking taylor expansion of 0.13857109526572012 in z 6.588 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 6.0)) in z 6.588 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.0) in z 6.588 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.588 * [taylor]: Taking taylor expansion of z in z 6.589 * [taylor]: Taking taylor expansion of 6.0 in z 6.609 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1 1) 6.609 * [approximate]: Taking taylor expansion of (- (+ (* 771.3234287776531 (/ 1 (- 3.0 z))) (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) 0.9999999999998099)) (* 1259.1392167224028 (/ 1 (- 2.0 z)))) in (z) around 0 6.609 * [taylor]: Taking taylor expansion of (- (+ (* 771.3234287776531 (/ 1 (- 3.0 z))) (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) 0.9999999999998099)) (* 1259.1392167224028 (/ 1 (- 2.0 z)))) in z 6.609 * [taylor]: Taking taylor expansion of (+ (* 771.3234287776531 (/ 1 (- 3.0 z))) (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) 0.9999999999998099)) in z 6.609 * [taylor]: Taking taylor expansion of (* 771.3234287776531 (/ 1 (- 3.0 z))) in z 6.609 * [taylor]: Taking taylor expansion of 771.3234287776531 in z 6.609 * [taylor]: Taking taylor expansion of (/ 1 (- 3.0 z)) in z 6.609 * [taylor]: Taking taylor expansion of (- 3.0 z) in z 6.609 * [taylor]: Taking taylor expansion of 3.0 in z 6.609 * [taylor]: Taking taylor expansion of z in z 6.610 * [taylor]: Taking taylor expansion of (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) 0.9999999999998099) in z 6.610 * [taylor]: Taking taylor expansion of (* 676.5203681218851 (/ 1 (- 1.0 z))) in z 6.610 * [taylor]: Taking taylor expansion of 676.5203681218851 in z 6.610 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 z)) in z 6.610 * [taylor]: Taking taylor expansion of (- 1.0 z) in z 6.610 * [taylor]: Taking taylor expansion of 1.0 in z 6.610 * [taylor]: Taking taylor expansion of z in z 6.611 * [taylor]: Taking taylor expansion of 0.9999999999998099 in z 6.611 * [taylor]: Taking taylor expansion of (* 1259.1392167224028 (/ 1 (- 2.0 z))) in z 6.611 * [taylor]: Taking taylor expansion of 1259.1392167224028 in z 6.611 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 z)) in z 6.611 * [taylor]: Taking taylor expansion of (- 2.0 z) in z 6.611 * [taylor]: Taking taylor expansion of 2.0 in z 6.611 * [taylor]: Taking taylor expansion of z in z 6.612 * [taylor]: Taking taylor expansion of (- (+ (* 771.3234287776531 (/ 1 (- 3.0 z))) (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) 0.9999999999998099)) (* 1259.1392167224028 (/ 1 (- 2.0 z)))) in z 6.612 * [taylor]: Taking taylor expansion of (+ (* 771.3234287776531 (/ 1 (- 3.0 z))) (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) 0.9999999999998099)) in z 6.612 * [taylor]: Taking taylor expansion of (* 771.3234287776531 (/ 1 (- 3.0 z))) in z 6.612 * [taylor]: Taking taylor expansion of 771.3234287776531 in z 6.612 * [taylor]: Taking taylor expansion of (/ 1 (- 3.0 z)) in z 6.612 * [taylor]: Taking taylor expansion of (- 3.0 z) in z 6.612 * [taylor]: Taking taylor expansion of 3.0 in z 6.612 * [taylor]: Taking taylor expansion of z in z 6.613 * [taylor]: Taking taylor expansion of (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) 0.9999999999998099) in z 6.613 * [taylor]: Taking taylor expansion of (* 676.5203681218851 (/ 1 (- 1.0 z))) in z 6.613 * [taylor]: Taking taylor expansion of 676.5203681218851 in z 6.613 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 z)) in z 6.613 * [taylor]: Taking taylor expansion of (- 1.0 z) in z 6.613 * [taylor]: Taking taylor expansion of 1.0 in z 6.613 * [taylor]: Taking taylor expansion of z in z 6.614 * [taylor]: Taking taylor expansion of 0.9999999999998099 in z 6.614 * [taylor]: Taking taylor expansion of (* 1259.1392167224028 (/ 1 (- 2.0 z))) in z 6.614 * [taylor]: Taking taylor expansion of 1259.1392167224028 in z 6.614 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 z)) in z 6.614 * [taylor]: Taking taylor expansion of (- 2.0 z) in z 6.614 * [taylor]: Taking taylor expansion of 2.0 in z 6.614 * [taylor]: Taking taylor expansion of z in z 6.640 * [approximate]: Taking taylor expansion of (- (+ (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) (+ (* 771.3234287776531 (/ 1 (- 3.0 (/ 1 z)))) 0.9999999999998099)) (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z))))) in (z) around 0 6.640 * [taylor]: Taking taylor expansion of (- (+ (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) (+ (* 771.3234287776531 (/ 1 (- 3.0 (/ 1 z)))) 0.9999999999998099)) (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z))))) in z 6.640 * [taylor]: Taking taylor expansion of (+ (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) (+ (* 771.3234287776531 (/ 1 (- 3.0 (/ 1 z)))) 0.9999999999998099)) in z 6.640 * [taylor]: Taking taylor expansion of (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) in z 6.640 * [taylor]: Taking taylor expansion of 676.5203681218851 in z 6.640 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (/ 1 z))) in z 6.640 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 6.640 * [taylor]: Taking taylor expansion of 1.0 in z 6.640 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.640 * [taylor]: Taking taylor expansion of z in z 6.641 * [taylor]: Taking taylor expansion of (+ (* 771.3234287776531 (/ 1 (- 3.0 (/ 1 z)))) 0.9999999999998099) in z 6.641 * [taylor]: Taking taylor expansion of (* 771.3234287776531 (/ 1 (- 3.0 (/ 1 z)))) in z 6.641 * [taylor]: Taking taylor expansion of 771.3234287776531 in z 6.641 * [taylor]: Taking taylor expansion of (/ 1 (- 3.0 (/ 1 z))) in z 6.641 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 z)) in z 6.641 * [taylor]: Taking taylor expansion of 3.0 in z 6.641 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.641 * [taylor]: Taking taylor expansion of z in z 6.642 * [taylor]: Taking taylor expansion of 0.9999999999998099 in z 6.642 * [taylor]: Taking taylor expansion of (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z)))) in z 6.642 * [taylor]: Taking taylor expansion of 1259.1392167224028 in z 6.642 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (/ 1 z))) in z 6.642 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 z)) in z 6.642 * [taylor]: Taking taylor expansion of 2.0 in z 6.642 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.642 * [taylor]: Taking taylor expansion of z in z 6.643 * [taylor]: Taking taylor expansion of (- (+ (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) (+ (* 771.3234287776531 (/ 1 (- 3.0 (/ 1 z)))) 0.9999999999998099)) (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z))))) in z 6.643 * [taylor]: Taking taylor expansion of (+ (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) (+ (* 771.3234287776531 (/ 1 (- 3.0 (/ 1 z)))) 0.9999999999998099)) in z 6.643 * [taylor]: Taking taylor expansion of (* 676.5203681218851 (/ 1 (- 1.0 (/ 1 z)))) in z 6.643 * [taylor]: Taking taylor expansion of 676.5203681218851 in z 6.644 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (/ 1 z))) in z 6.644 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 6.644 * [taylor]: Taking taylor expansion of 1.0 in z 6.644 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.644 * [taylor]: Taking taylor expansion of z in z 6.645 * [taylor]: Taking taylor expansion of (+ (* 771.3234287776531 (/ 1 (- 3.0 (/ 1 z)))) 0.9999999999998099) in z 6.645 * [taylor]: Taking taylor expansion of (* 771.3234287776531 (/ 1 (- 3.0 (/ 1 z)))) in z 6.645 * [taylor]: Taking taylor expansion of 771.3234287776531 in z 6.645 * [taylor]: Taking taylor expansion of (/ 1 (- 3.0 (/ 1 z))) in z 6.645 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 z)) in z 6.645 * [taylor]: Taking taylor expansion of 3.0 in z 6.645 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.645 * [taylor]: Taking taylor expansion of z in z 6.646 * [taylor]: Taking taylor expansion of 0.9999999999998099 in z 6.646 * [taylor]: Taking taylor expansion of (* 1259.1392167224028 (/ 1 (- 2.0 (/ 1 z)))) in z 6.646 * [taylor]: Taking taylor expansion of 1259.1392167224028 in z 6.646 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 (/ 1 z))) in z 6.646 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 z)) in z 6.646 * [taylor]: Taking taylor expansion of 2.0 in z 6.646 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.646 * [taylor]: Taking taylor expansion of z in z 6.666 * [approximate]: Taking taylor expansion of (- (+ (* 676.5203681218851 (/ 1 (+ (/ 1 z) 1.0))) (+ (* 771.3234287776531 (/ 1 (+ (/ 1 z) 3.0))) 0.9999999999998099)) (* 1259.1392167224028 (/ 1 (+ (/ 1 z) 2.0)))) in (z) around 0 6.666 * [taylor]: Taking taylor expansion of (- (+ (* 676.5203681218851 (/ 1 (+ (/ 1 z) 1.0))) (+ (* 771.3234287776531 (/ 1 (+ (/ 1 z) 3.0))) 0.9999999999998099)) (* 1259.1392167224028 (/ 1 (+ (/ 1 z) 2.0)))) in z 6.666 * [taylor]: Taking taylor expansion of (+ (* 676.5203681218851 (/ 1 (+ (/ 1 z) 1.0))) (+ (* 771.3234287776531 (/ 1 (+ (/ 1 z) 3.0))) 0.9999999999998099)) in z 6.666 * [taylor]: Taking taylor expansion of (* 676.5203681218851 (/ 1 (+ (/ 1 z) 1.0))) in z 6.666 * [taylor]: Taking taylor expansion of 676.5203681218851 in z 6.666 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 1.0)) in z 6.666 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 6.667 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.667 * [taylor]: Taking taylor expansion of z in z 6.667 * [taylor]: Taking taylor expansion of 1.0 in z 6.667 * [taylor]: Taking taylor expansion of (+ (* 771.3234287776531 (/ 1 (+ (/ 1 z) 3.0))) 0.9999999999998099) in z 6.667 * [taylor]: Taking taylor expansion of (* 771.3234287776531 (/ 1 (+ (/ 1 z) 3.0))) in z 6.667 * [taylor]: Taking taylor expansion of 771.3234287776531 in z 6.667 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 3.0)) in z 6.667 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 3.0) in z 6.667 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.667 * [taylor]: Taking taylor expansion of z in z 6.668 * [taylor]: Taking taylor expansion of 3.0 in z 6.668 * [taylor]: Taking taylor expansion of 0.9999999999998099 in z 6.668 * [taylor]: Taking taylor expansion of (* 1259.1392167224028 (/ 1 (+ (/ 1 z) 2.0))) in z 6.668 * [taylor]: Taking taylor expansion of 1259.1392167224028 in z 6.668 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 2.0)) in z 6.668 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 2.0) in z 6.668 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.668 * [taylor]: Taking taylor expansion of z in z 6.669 * [taylor]: Taking taylor expansion of 2.0 in z 6.669 * [taylor]: Taking taylor expansion of (- (+ (* 676.5203681218851 (/ 1 (+ (/ 1 z) 1.0))) (+ (* 771.3234287776531 (/ 1 (+ (/ 1 z) 3.0))) 0.9999999999998099)) (* 1259.1392167224028 (/ 1 (+ (/ 1 z) 2.0)))) in z 6.669 * [taylor]: Taking taylor expansion of (+ (* 676.5203681218851 (/ 1 (+ (/ 1 z) 1.0))) (+ (* 771.3234287776531 (/ 1 (+ (/ 1 z) 3.0))) 0.9999999999998099)) in z 6.669 * [taylor]: Taking taylor expansion of (* 676.5203681218851 (/ 1 (+ (/ 1 z) 1.0))) in z 6.669 * [taylor]: Taking taylor expansion of 676.5203681218851 in z 6.669 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 1.0)) in z 6.669 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 6.669 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.669 * [taylor]: Taking taylor expansion of z in z 6.670 * [taylor]: Taking taylor expansion of 1.0 in z 6.670 * [taylor]: Taking taylor expansion of (+ (* 771.3234287776531 (/ 1 (+ (/ 1 z) 3.0))) 0.9999999999998099) in z 6.670 * [taylor]: Taking taylor expansion of (* 771.3234287776531 (/ 1 (+ (/ 1 z) 3.0))) in z 6.670 * [taylor]: Taking taylor expansion of 771.3234287776531 in z 6.670 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 3.0)) in z 6.670 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 3.0) in z 6.670 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.670 * [taylor]: Taking taylor expansion of z in z 6.671 * [taylor]: Taking taylor expansion of 3.0 in z 6.671 * [taylor]: Taking taylor expansion of 0.9999999999998099 in z 6.671 * [taylor]: Taking taylor expansion of (* 1259.1392167224028 (/ 1 (+ (/ 1 z) 2.0))) in z 6.671 * [taylor]: Taking taylor expansion of 1259.1392167224028 in z 6.671 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 2.0)) in z 6.671 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 2.0) in z 6.671 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.671 * [taylor]: Taking taylor expansion of z in z 6.671 * [taylor]: Taking taylor expansion of 2.0 in z 6.688 * * * [progress]: simplifying candidates 6.690 * [simplify]: Simplifying using # : (* PI (sqrt (* PI 2.0))) (+ (log PI) (log (sqrt (* PI 2.0)))) (log (* PI (sqrt (* PI 2.0)))) (exp (* PI (sqrt (* PI 2.0)))) (* (* (* PI PI) PI) (* (* (sqrt (* PI 2.0)) (sqrt (* PI 2.0))) (sqrt (* PI 2.0)))) (* (cbrt (* PI (sqrt (* PI 2.0)))) (cbrt (* PI (sqrt (* PI 2.0))))) (cbrt (* PI (sqrt (* PI 2.0)))) (* (* (* PI (sqrt (* PI 2.0))) (* PI (sqrt (* PI 2.0)))) (* PI (sqrt (* PI 2.0)))) (sqrt (* PI (sqrt (* PI 2.0)))) (sqrt (* PI (sqrt (* PI 2.0)))) (* (sqrt PI) (sqrt (sqrt (* PI 2.0)))) (* (sqrt PI) (sqrt (sqrt (* PI 2.0)))) (* PI (* (cbrt (sqrt (* PI 2.0))) (cbrt (sqrt (* PI 2.0))))) (* PI (sqrt PI)) (* PI (sqrt (sqrt (* PI 2.0)))) (* PI 1) (* (cbrt PI) (sqrt (* PI 2.0))) (* (sqrt PI) (sqrt (* PI 2.0))) (* PI (sqrt (* PI 2.0))) (log (sqrt (* PI 2.0))) (exp (sqrt (* PI 2.0))) (* (cbrt (sqrt (* PI 2.0))) (cbrt (sqrt (* PI 2.0)))) (cbrt (sqrt (* PI 2.0))) (* (* (sqrt (* PI 2.0)) (sqrt (* PI 2.0))) (sqrt (* PI 2.0))) (sqrt PI) (sqrt 2.0) (/ 1 2) (/ 1 2) (sqrt (sqrt (* PI 2.0))) (sqrt (sqrt (* PI 2.0))) (* (exp (/ 9.984369578019572e-06 (- 7.0 z))) (exp (/ -0.13857109526572012 (- 6.0 z)))) (log (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (exp (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (* (cbrt (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (cbrt (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z))))) (cbrt (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (* (* (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z))) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (sqrt (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (sqrt (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (+ (* 9.984369578019572e-06 (- 6.0 z)) (* (- 7.0 z) -0.13857109526572012)) (* (- 7.0 z) (- 6.0 z)) (+ (pow (/ 9.984369578019572e-06 (- 7.0 z)) 3) (pow (/ -0.13857109526572012 (- 6.0 z)) 3)) (+ (* (/ 9.984369578019572e-06 (- 7.0 z)) (/ 9.984369578019572e-06 (- 7.0 z))) (- (* (/ -0.13857109526572012 (- 6.0 z)) (/ -0.13857109526572012 (- 6.0 z))) (* (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z))))) (- (* (/ 9.984369578019572e-06 (- 7.0 z)) (/ 9.984369578019572e-06 (- 7.0 z))) (* (/ -0.13857109526572012 (- 6.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (- (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z))) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z))) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z))) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z))) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z))) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z))) (* (exp (/ 771.3234287776531 (- 3.0 z))) (* (exp 0.9999999999998099) (* (exp (/ 676.5203681218851 (- 1.0 z))) (exp (/ -1259.1392167224028 (- 2.0 z)))))) (* (exp (/ 771.3234287776531 (- 3.0 z))) (* (exp 0.9999999999998099) (exp (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z)))))) (* (exp (/ 771.3234287776531 (- 3.0 z))) (exp (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z)))))) (log (+ (/ 771.3234287776531 (- 3.0 z)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z)))))) (exp (+ (/ 771.3234287776531 (- 3.0 z)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z)))))) (* (cbrt (+ (/ 771.3234287776531 (- 3.0 z)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z)))))) (cbrt (+ (/ 771.3234287776531 (- 3.0 z)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))))))) (cbrt (+ (/ 771.3234287776531 (- 3.0 z)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z)))))) (* (* (+ (/ 771.3234287776531 (- 3.0 z)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))))) (+ (/ 771.3234287776531 (- 3.0 z)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z)))))) (+ (/ 771.3234287776531 (- 3.0 z)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z)))))) (sqrt (+ (/ 771.3234287776531 (- 3.0 z)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z)))))) (sqrt (+ (/ 771.3234287776531 (- 3.0 z)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z)))))) (+ (* 771.3234287776531 (+ (* 0.9999999999998099 0.9999999999998099) (- (* (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))) (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z)))) (* 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))))))) (* (- 3.0 z) (+ (pow 0.9999999999998099 3) (pow (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))) 3)))) (* (- 3.0 z) (+ (* 0.9999999999998099 0.9999999999998099) (- (* (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))) (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z)))) (* 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))))))) (+ (* 771.3234287776531 (- 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))))) (* (- 3.0 z) (- (* 0.9999999999998099 0.9999999999998099) (* (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))) (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))))))) (* (- 3.0 z) (- 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))))) (+ (pow (/ 771.3234287776531 (- 3.0 z)) 3) (pow (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z)))) 3)) (+ (* (/ 771.3234287776531 (- 3.0 z)) (/ 771.3234287776531 (- 3.0 z))) (- (* (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z)))) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))))) (* (/ 771.3234287776531 (- 3.0 z)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))))))) (- (* (/ 771.3234287776531 (- 3.0 z)) (/ 771.3234287776531 (- 3.0 z))) (* (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z)))) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z)))))) (- (/ 771.3234287776531 (- 3.0 z)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))))) (+ (/ 771.3234287776531 (- 3.0 z)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))))) (+ (/ 771.3234287776531 (- 3.0 z)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))))) (+ (/ 771.3234287776531 (- 3.0 z)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))))) (+ (/ 771.3234287776531 (- 3.0 z)) 0.9999999999998099) (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))) (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))) (- (+ (* 0.0038489933280699985 z) (+ (* 0.0006415037395032008 (pow z 2)) 0.02309375620577554))) (+ (* 4.988070195456602 (/ 1 (pow z 3))) (+ (* 0.1385611108961421 (/ 1 z)) (* 0.8313566810072747 (/ 1 (pow z 2))))) (+ (* 4.988070195456602 (/ 1 (pow z 3))) (+ (* 0.1385611108961421 (/ 1 z)) (* 0.8313566810072747 (/ 1 (pow z 2))))) (+ (* 447.43816713880136 z) (+ (* 547.6955004307571 (pow z 2)) 305.0585693532345)) (- 0.9999999999998099 (+ (* 188.7045801771353 (/ 1 z)) (* 472.2122210100388 (/ 1 (pow z 2))))) (- 0.9999999999998099 (+ (* 188.7045801771353 (/ 1 z)) (* 472.2122210100388 (/ 1 (pow z 2))))) 6.694 * * [simplify]: iteration 0 : 169 enodes (cost 1278 ) 6.723 * * [simplify]: iteration 1 : 453 enodes (cost 1202 ) 6.804 * * [simplify]: iteration 2 : 1386 enodes (cost 1108 ) 7.139 * * [simplify]: iteration done : 5000 enodes (cost 1090 ) 7.140 * [simplify]: Simplified to: (* PI (sqrt (* PI 2.0))) (log (* PI (sqrt (* PI 2.0)))) (log (* PI (sqrt (* PI 2.0)))) (exp (* PI (sqrt (* PI 2.0)))) (pow (* PI (sqrt (* PI 2.0))) 3) (* (cbrt (* PI (sqrt (* PI 2.0)))) (cbrt (* PI (sqrt (* PI 2.0))))) (cbrt (* PI (sqrt (* PI 2.0)))) (pow (* PI (sqrt (* PI 2.0))) 3) (sqrt (* PI (sqrt (* PI 2.0)))) (sqrt (* PI (sqrt (* PI 2.0)))) (* (sqrt PI) (sqrt (sqrt (* PI 2.0)))) (* (sqrt PI) (sqrt (sqrt (* PI 2.0)))) (* PI (* (cbrt (sqrt (* PI 2.0))) (cbrt (sqrt (* PI 2.0))))) (* PI (sqrt PI)) (* PI (sqrt (sqrt (* PI 2.0)))) PI (* (cbrt PI) (sqrt (* PI 2.0))) (* (sqrt PI) (sqrt (* PI 2.0))) (* PI (sqrt (* PI 2.0))) (log (sqrt (* PI 2.0))) (exp (sqrt (* PI 2.0))) (* (cbrt (sqrt (* PI 2.0))) (cbrt (sqrt (* PI 2.0)))) (cbrt (sqrt (* PI 2.0))) (pow (sqrt (* PI 2.0)) 3) (sqrt PI) (sqrt 2.0) 1/2 1/2 (sqrt (sqrt (* PI 2.0))) (sqrt (sqrt (* PI 2.0))) (exp (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (log (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (exp (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (* (cbrt (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (cbrt (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z))))) (cbrt (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (pow (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z))) 3) (sqrt (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (sqrt (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (+ (* 9.984369578019572e-06 (- 6.0 z)) (* (- 7.0 z) -0.13857109526572012)) (* (- 7.0 z) (- 6.0 z)) (+ (pow (/ 9.984369578019572e-06 (- 7.0 z)) 3) (pow (/ -0.13857109526572012 (- 6.0 z)) 3)) (+ (* (/ -0.13857109526572012 (- 6.0 z)) (- (/ -0.13857109526572012 (- 6.0 z)) (/ 9.984369578019572e-06 (- 7.0 z)))) (* (/ 9.984369578019572e-06 (- 7.0 z)) (/ 9.984369578019572e-06 (- 7.0 z)))) (- (* (/ 9.984369578019572e-06 (- 7.0 z)) (/ 9.984369578019572e-06 (- 7.0 z))) (* (/ -0.13857109526572012 (- 6.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (- (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z))) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z))) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z))) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z))) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z))) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -0.13857109526572012 (- 6.0 z))) (exp (+ (/ 771.3234287776531 (- 3.0 z)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z)))))) (exp (+ (/ 771.3234287776531 (- 3.0 z)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z)))))) (exp (+ (/ 771.3234287776531 (- 3.0 z)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z)))))) (log (+ (/ 771.3234287776531 (- 3.0 z)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z)))))) (exp (+ (/ 771.3234287776531 (- 3.0 z)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z)))))) (* (cbrt (+ (/ 771.3234287776531 (- 3.0 z)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z)))))) (cbrt (+ (/ 771.3234287776531 (- 3.0 z)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))))))) (cbrt (+ (/ 771.3234287776531 (- 3.0 z)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z)))))) (pow (+ (/ 771.3234287776531 (- 3.0 z)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))))) 3) (sqrt (+ (/ 771.3234287776531 (- 3.0 z)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z)))))) (sqrt (+ (/ 771.3234287776531 (- 3.0 z)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z)))))) (+ (* (- 3.0 z) (+ (pow 0.9999999999998099 3) (pow (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))) 3))) (* (+ (* (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))) (- (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099)) 771.3234287776531)) (* (+ (* (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))) (- (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099)) (- 3.0 z)) (* (- 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z)))) (+ (* (- 3.0 z) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))))) 771.3234287776531)) (* (- 3.0 z) (- 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))))) (+ (pow (/ 771.3234287776531 (- 3.0 z)) 3) (pow (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z)))) 3)) (+ (* (/ 771.3234287776531 (- 3.0 z)) (/ 771.3234287776531 (- 3.0 z))) (* (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z)))) (- (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z)))) (/ 771.3234287776531 (- 3.0 z))))) (- (* (/ 771.3234287776531 (- 3.0 z)) (/ 771.3234287776531 (- 3.0 z))) (* (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z)))) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z)))))) (- (/ 771.3234287776531 (- 3.0 z)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))))) (+ (/ 771.3234287776531 (- 3.0 z)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))))) (+ (/ 771.3234287776531 (- 3.0 z)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))))) (+ (/ 771.3234287776531 (- 3.0 z)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))))) (+ (/ 771.3234287776531 (- 3.0 z)) 0.9999999999998099) (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))) (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))) (- (+ 0.02309375620577554 (* z (+ 0.0038489933280699985 (* 0.0006415037395032008 z))))) (+ (/ 4.988070195456602 (pow z 3)) (+ (/ 0.1385611108961421 z) (/ 0.8313566810072747 (pow z 2)))) (+ (/ 4.988070195456602 (pow z 3)) (+ (/ 0.1385611108961421 z) (/ 0.8313566810072747 (pow z 2)))) (+ (* z (+ (* 547.6955004307571 z) 447.43816713880136)) 305.0585693532345) (- (- 0.9999999999998099 (/ 472.2122210100388 (pow z 2))) (/ 188.7045801771353 z)) (- (- 0.9999999999998099 (/ 472.2122210100388 (pow z 2))) (/ 188.7045801771353 z)) 7.141 * * * [progress]: adding candidates to table 7.686 * * [progress]: iteration 4 / 4 7.686 * * * [progress]: picking best candidate 7.760 * * * * [pick]: Picked # 7.760 * * * [progress]: localizing error 7.815 * * * [progress]: generating rewritten candidates 7.816 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 7.838 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 1) 7.838 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1) 7.839 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2) 7.850 * * * [progress]: generating series expansions 7.850 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 7.850 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 1) 7.850 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1) 7.850 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2) 7.850 * * * [progress]: simplifying candidates 7.851 * [simplify]: Simplifying using # : (* PI (* PI (* PI 2.0))) (* (sqrt PI) (* (sqrt PI) (sqrt (* PI 2.0)))) (* (sqrt PI) (* (sqrt PI) (sqrt (* PI 2.0)))) (* PI (* PI (* PI 2.0))) (* PI (* PI (* PI 2.0))) (+ (log (sqrt PI)) (+ (log (sqrt PI)) (log (sqrt (* PI 2.0))))) (+ (log (sqrt PI)) (log (* (sqrt PI) (sqrt (* PI 2.0))))) (log (* (sqrt PI) (* (sqrt PI) (sqrt (* PI 2.0))))) (exp (* (sqrt PI) (* (sqrt PI) (sqrt (* PI 2.0))))) (* (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (* (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (* (* (sqrt (* PI 2.0)) (sqrt (* PI 2.0))) (sqrt (* PI 2.0))))) (* (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (* (* (* (sqrt PI) (sqrt (* PI 2.0))) (* (sqrt PI) (sqrt (* PI 2.0)))) (* (sqrt PI) (sqrt (* PI 2.0))))) (* (cbrt (* (sqrt PI) (* (sqrt PI) (sqrt (* PI 2.0))))) (cbrt (* (sqrt PI) (* (sqrt PI) (sqrt (* PI 2.0)))))) (cbrt (* (sqrt PI) (* (sqrt PI) (sqrt (* PI 2.0))))) (* (* (* (sqrt PI) (* (sqrt PI) (sqrt (* PI 2.0)))) (* (sqrt PI) (* (sqrt PI) (sqrt (* PI 2.0))))) (* (sqrt PI) (* (sqrt PI) (sqrt (* PI 2.0))))) (* PI (* PI (* PI 2.0))) (sqrt (* (sqrt PI) (* (sqrt PI) (sqrt (* PI 2.0))))) (sqrt (* (sqrt PI) (* (sqrt PI) (sqrt (* PI 2.0))))) (* (sqrt PI) (sqrt PI)) (* (cbrt (sqrt PI)) (* (sqrt PI) (sqrt (* PI 2.0)))) (* (sqrt (cbrt PI)) (* (sqrt PI) (sqrt (* PI 2.0)))) (* (sqrt (sqrt PI)) (* (sqrt PI) (sqrt (* PI 2.0)))) (* (sqrt PI) (* (sqrt PI) (sqrt (* PI 2.0)))) (* (sqrt (sqrt PI)) (* (sqrt PI) (sqrt (* PI 2.0)))) (* (sqrt PI) (* (sqrt PI) (sqrt (* PI 2.0)))) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (* PI (* PI 2.0)) (* (sqrt PI) (sqrt (* PI 2.0))) (* PI (* PI 2.0)) (* PI (* PI 2.0)) (+ (log (sqrt PI)) (log (sqrt (* PI 2.0)))) (log (* (sqrt PI) (sqrt (* PI 2.0)))) (exp (* (sqrt PI) (sqrt (* PI 2.0)))) (* (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (* (* (sqrt (* PI 2.0)) (sqrt (* PI 2.0))) (sqrt (* PI 2.0)))) (* (cbrt (* (sqrt PI) (sqrt (* PI 2.0)))) (cbrt (* (sqrt PI) (sqrt (* PI 2.0))))) (cbrt (* (sqrt PI) (sqrt (* PI 2.0)))) (* (* (* (sqrt PI) (sqrt (* PI 2.0))) (* (sqrt PI) (sqrt (* PI 2.0)))) (* (sqrt PI) (sqrt (* PI 2.0)))) (* PI (* PI 2.0)) (sqrt (* (sqrt PI) (sqrt (* PI 2.0)))) (sqrt (* (sqrt PI) (sqrt (* PI 2.0)))) (* (sqrt (sqrt PI)) (sqrt (sqrt (* PI 2.0)))) (* (sqrt (sqrt PI)) (sqrt (sqrt (* PI 2.0)))) (* (sqrt (sqrt PI)) (sqrt (sqrt (* PI 2.0)))) (* (sqrt (sqrt PI)) (sqrt (sqrt (* PI 2.0)))) (* (sqrt PI) (* (cbrt (sqrt (* PI 2.0))) (cbrt (sqrt (* PI 2.0))))) (* (sqrt PI) (sqrt PI)) (* (sqrt PI) (sqrt (sqrt (* PI 2.0)))) (* (sqrt PI) 1) (* (cbrt (sqrt PI)) (sqrt (* PI 2.0))) (* (sqrt (cbrt PI)) (sqrt (* PI 2.0))) (* (sqrt (sqrt PI)) (sqrt (* PI 2.0))) (* (sqrt PI) (sqrt (* PI 2.0))) (* (sqrt (sqrt PI)) (sqrt (* PI 2.0))) (* (sqrt PI) (sqrt (* PI 2.0))) (* (sqrt PI) (sqrt (* PI 2.0))) (* (sqrt PI) (sqrt (* PI 2.0))) (* (sqrt PI) (sqrt (* PI 2.0))) (* (sqrt PI) (sqrt (* PI 2.0))) 7.853 * * [simplify]: iteration 0 : 60 enodes (cost 700 ) 7.863 * * [simplify]: iteration 1 : 130 enodes (cost 548 ) 7.894 * * [simplify]: iteration 2 : 402 enodes (cost 514 ) 8.081 * * [simplify]: iteration 3 : 1074 enodes (cost 510 ) 8.488 * * [simplify]: iteration 4 : 1659 enodes (cost 506 ) 9.390 * * [simplify]: iteration 5 : 4227 enodes (cost 506 ) 11.550 * * [simplify]: iteration done : 5000 enodes (cost 506 ) 11.550 * [simplify]: Simplified to: (* (pow PI 3) 2.0) (* PI (sqrt (* PI 2.0))) (* PI (sqrt (* PI 2.0))) (* (pow PI 3) 2.0) (* (pow PI 3) 2.0) (log (* PI (sqrt (* PI 2.0)))) (log (* PI (sqrt (* PI 2.0)))) (log (* PI (sqrt (* PI 2.0)))) (exp (* PI (sqrt (* PI 2.0)))) (pow (* PI (sqrt (* PI 2.0))) 3) (pow (* PI (sqrt (* PI 2.0))) 3) (* (cbrt (* PI (sqrt (* PI 2.0)))) (cbrt (* PI (sqrt (* PI 2.0))))) (cbrt (* PI (sqrt (* PI 2.0)))) (pow (* PI (sqrt (* PI 2.0))) 3) (* (pow PI 3) 2.0) (sqrt (* PI (sqrt (* PI 2.0)))) (sqrt (* PI (sqrt (* PI 2.0)))) PI (* (cbrt (sqrt PI)) (* (sqrt PI) (sqrt (* PI 2.0)))) (* (sqrt (cbrt PI)) (* (sqrt PI) (sqrt (* PI 2.0)))) (* (sqrt (sqrt PI)) (* (sqrt PI) (sqrt (* PI 2.0)))) (* PI (sqrt (* PI 2.0))) (* (sqrt (sqrt PI)) (* (sqrt PI) (sqrt (* PI 2.0)))) (* PI (sqrt (* PI 2.0))) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* PI (sqrt PI)) (fabs (cbrt PI)) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) 1 (sqrt PI) 1/2 (sqrt (sqrt PI)) (sqrt (sqrt PI)) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* PI (sqrt PI)) (fabs (cbrt PI)) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) 1 (sqrt PI) 1/2 (sqrt (sqrt PI)) (sqrt (sqrt PI)) (* (* PI PI) 2.0) (* (sqrt (* 2.0 PI)) (sqrt PI)) (* (* PI PI) 2.0) (* (* PI PI) 2.0) (log (* (sqrt PI) (sqrt (* PI 2.0)))) (log (* (sqrt PI) (sqrt (* PI 2.0)))) (exp (* (sqrt PI) (sqrt (* PI 2.0)))) (pow (* (sqrt PI) (sqrt (* PI 2.0))) 3) (* (cbrt (* (sqrt PI) (sqrt (* PI 2.0)))) (cbrt (* (sqrt PI) (sqrt (* PI 2.0))))) (cbrt (* (sqrt PI) (sqrt (* PI 2.0)))) (pow (* (sqrt PI) (sqrt (* PI 2.0))) 3) (* (* PI PI) 2.0) (sqrt (* (sqrt PI) (sqrt (* PI 2.0)))) (sqrt (* (sqrt PI) (sqrt (* PI 2.0)))) (* (sqrt (sqrt PI)) (sqrt (sqrt (* PI 2.0)))) (* (sqrt (sqrt PI)) (sqrt (sqrt (* PI 2.0)))) (* (sqrt (sqrt PI)) (sqrt (sqrt (* PI 2.0)))) (* (sqrt (sqrt PI)) (sqrt (sqrt (* PI 2.0)))) (* (sqrt PI) (* (cbrt (sqrt (* PI 2.0))) (cbrt (sqrt (* PI 2.0))))) PI (* (sqrt PI) (sqrt (sqrt (* PI 2.0)))) (sqrt PI) (* (sqrt (* PI 2.0)) (cbrt (sqrt PI))) (* (sqrt (cbrt PI)) (sqrt (* PI 2.0))) (* (sqrt (* PI 2.0)) (sqrt (sqrt PI))) (* (sqrt (* 2.0 PI)) (sqrt PI)) (* (sqrt (* PI 2.0)) (sqrt (sqrt PI))) (* (sqrt (* 2.0 PI)) (sqrt PI)) (* (sqrt (* 2.0 PI)) (sqrt PI)) (* (sqrt (* 2.0 PI)) (sqrt PI)) (* (sqrt (* 2.0 PI)) (sqrt PI)) (* (sqrt (* 2.0 PI)) (sqrt PI)) 11.551 * * * [progress]: adding candidates to table 12.236 * [progress]: [Phase 3 of 3] Extracting. 12.236 * * [regime]: Finding splitpoints for: (# # # # # # # #) 12.259 * * * [regime-changes]: Trying 1 branch expressions: (z) 12.259 * * * * [regimes]: Trying to branch on z from (# # # # # # # #) 12.354 * * * [regime]: Found split indices: #