3.627 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 1.646 * * * [progress]: [2/2] Setting up program. 1.656 * [progress]: [Phase 2 of 3] Improving. 1.657 * [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.657 * [simplify]: Sending expressions to egg_math: (* (/ h0 (sin (* h0 h1))) (* (* (* (sqrt (* h0 h2)) (pow (+ (+ (- (- h3 h1) h3) h4) h5) (+ (- (- h3 h1) h3) h5))) (exp (- (+ (+ (- (- h3 h1) h3) h4) h5)))) (+ (+ (+ (+ (+ (+ (+ (+ h6 (/ h7 (+ (- (- h3 h1) h3) h3))) (/ h8 (+ (- (- h3 h1) h3) h2))) (/ h9 (+ (- (- h3 h1) h3) h10))) (/ h11 (+ (- (- h3 h1) h3) h12))) (/ h13 (+ (- (- h3 h1) h3) h14))) (/ h15 (+ (- (- h3 h1) h3) h16))) (/ h17 (+ (- (- h3 h1) h3) h4))) (/ h18 (+ (- (- h3 h1) h3) h19))))) 1.660 * * [simplify]: iteration 0 : 148 enodes (cost 63 ) 1.662 * * [simplify]: iteration 1 : 617 enodes (cost 63 ) 1.675 * * [simplify]: iteration 2 : 4243 enodes (cost 62 ) 1.757 * * [simplify]: iteration 3 : 5001 enodes (cost 62 ) 1.758 * [simplify]: Simplified to: (/ (* (* (/ PI (sin (* PI z))) (* (sqrt (* PI 2.0)) (pow (+ (+ (- (- 1.0 z) 1.0) 7.0) 0.5) (+ (- (- 1.0 z) 1.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1.0 z) 1.0) 1.0))) (/ -1259.1392167224028 (+ (- (- 1.0 z) 1.0) 2.0))) (/ 771.3234287776531 (+ (- (- 1.0 z) 1.0) 3.0))) (/ -176.6150291621406 (+ (- (- 1.0 z) 1.0) 4.0))) (/ 12.507343278686905 (+ (- (- 1.0 z) 1.0) 5.0))) (/ -0.13857109526572012 (+ (- (- 1.0 z) 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- (- 1.0 z) 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- (- 1.0 z) 1.0) 8.0)))) (exp (+ (+ (- (- 1.0 z) 1.0) 7.0) 0.5))) 1.769 * * [progress]: iteration 1 / 4 1.769 * * * [progress]: picking best candidate 1.789 * * * * [pick]: Picked # 1.793 * * * [progress]: localizing error 1.844 * * * [progress]: generating rewritten candidates 1.844 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1) 1.881 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 2 1) 1.914 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2 1) 1.949 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1 2 2 1) 1.986 * * * [progress]: generating series expansions 1.986 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1) 1.986 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1.986 * [taylor]: Taking taylor expansion of (- z) in z 1.986 * [taylor]: Taking taylor expansion of z in z 1.986 * [taylor]: Taking taylor expansion of (- z) in z 1.986 * [taylor]: Taking taylor expansion of z in z 1.989 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1.989 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.989 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.989 * [taylor]: Taking taylor expansion of z in z 1.989 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.989 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.989 * [taylor]: Taking taylor expansion of z in z 1.993 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.993 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.993 * [taylor]: Taking taylor expansion of z in z 1.994 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.994 * [taylor]: Taking taylor expansion of z in z 1.997 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 2 1) 1.997 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1.997 * [taylor]: Taking taylor expansion of (- z) in z 1.997 * [taylor]: Taking taylor expansion of z in z 1.997 * [taylor]: Taking taylor expansion of (- z) in z 1.997 * [taylor]: Taking taylor expansion of z in z 1.999 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1.999 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.999 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.999 * [taylor]: Taking taylor expansion of z in z 1.999 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.999 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.999 * [taylor]: Taking taylor expansion of z in z 2.003 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.003 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.003 * [taylor]: Taking taylor expansion of z in z 2.003 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.004 * [taylor]: Taking taylor expansion of z in z 2.007 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2 1) 2.007 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.007 * [taylor]: Taking taylor expansion of (- z) in z 2.007 * [taylor]: Taking taylor expansion of z in z 2.007 * [taylor]: Taking taylor expansion of (- z) in z 2.007 * [taylor]: Taking taylor expansion of z in z 2.008 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.008 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.008 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.008 * [taylor]: Taking taylor expansion of z in z 2.009 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.009 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.009 * [taylor]: Taking taylor expansion of z in z 2.013 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.013 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.013 * [taylor]: Taking taylor expansion of z in z 2.013 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.013 * [taylor]: Taking taylor expansion of z in z 2.016 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1 2 2 1) 2.017 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.017 * [taylor]: Taking taylor expansion of (- z) in z 2.017 * [taylor]: Taking taylor expansion of z in z 2.017 * [taylor]: Taking taylor expansion of (- z) in z 2.017 * [taylor]: Taking taylor expansion of z in z 2.018 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.018 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.019 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.019 * [taylor]: Taking taylor expansion of z in z 2.019 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.019 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.019 * [taylor]: Taking taylor expansion of z in z 2.023 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.023 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.023 * [taylor]: Taking taylor expansion of z in z 2.023 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.023 * [taylor]: Taking taylor expansion of z in z 2.026 * * * [progress]: simplifying candidates 2.028 * [simplify]: Simplifying using # : (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 2.028 * [simplify]: Sending expressions to egg_math: (/ (/ (exp h0) (exp h1)) (exp h0)) (/ (exp (- h0 h1)) (exp h0)) (log (- (- h0 h1) h0)) (exp (- (- h0 h1) h0)) (* (cbrt (- (- h0 h1) h0)) (cbrt (- (- h0 h1) h0))) (cbrt (- (- h0 h1) h0)) (* (* (- (- h0 h1) h0) (- (- h0 h1) h0)) (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (- (pow (- h0 h1) 3) (pow h0 3)) (+ (* (- h0 h1) (- h0 h1)) (+ (* h0 h0) (* (- h0 h1) h0))) (- h0) (- (* (- h0 h1) (- h0 h1)) (* h0 h0)) (+ (- h0 h1) h0) (+ (sqrt (- h0 h1)) (sqrt h0)) (- (sqrt (- h0 h1)) (sqrt h0)) (- (- h0 h1) h0) (- (- h0 h1) h0) (- (- h1) h0) (- (- h1) h0) (+ h1 h0) (- h0) (/ (/ (exp h0) (exp h1)) (exp h0)) (/ (exp (- h0 h1)) (exp h0)) (log (- (- h0 h1) h0)) (exp (- (- h0 h1) h0)) (* (cbrt (- (- h0 h1) h0)) (cbrt (- (- h0 h1) h0))) (cbrt (- (- h0 h1) h0)) (* (* (- (- h0 h1) h0) (- (- h0 h1) h0)) (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (- (pow (- h0 h1) 3) (pow h0 3)) (+ (* (- h0 h1) (- h0 h1)) (+ (* h0 h0) (* (- h0 h1) h0))) (- h0) (- (* (- h0 h1) (- h0 h1)) (* h0 h0)) (+ (- h0 h1) h0) (+ (sqrt (- h0 h1)) (sqrt h0)) (- (sqrt (- h0 h1)) (sqrt h0)) (- (- h0 h1) h0) (- (- h0 h1) h0) (- (- h1) h0) (- (- h1) h0) (+ h1 h0) (- h0) (/ (/ (exp h0) (exp h1)) (exp h0)) (/ (exp (- h0 h1)) (exp h0)) (log (- (- h0 h1) h0)) (exp (- (- h0 h1) h0)) (* (cbrt (- (- h0 h1) h0)) (cbrt (- (- h0 h1) h0))) (cbrt (- (- h0 h1) h0)) (* (* (- (- h0 h1) h0) (- (- h0 h1) h0)) (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (- (pow (- h0 h1) 3) (pow h0 3)) (+ (* (- h0 h1) (- h0 h1)) (+ (* h0 h0) (* (- h0 h1) h0))) (- h0) (- (* (- h0 h1) (- h0 h1)) (* h0 h0)) (+ (- h0 h1) h0) (+ (sqrt (- h0 h1)) (sqrt h0)) (- (sqrt (- h0 h1)) (sqrt h0)) (- (- h0 h1) h0) (- (- h0 h1) h0) (- (- h1) h0) (- (- h1) h0) (+ h1 h0) (- h0) (/ (/ (exp h0) (exp h1)) (exp h0)) (/ (exp (- h0 h1)) (exp h0)) (log (- (- h0 h1) h0)) (exp (- (- h0 h1) h0)) (* (cbrt (- (- h0 h1) h0)) (cbrt (- (- h0 h1) h0))) (cbrt (- (- h0 h1) h0)) (* (* (- (- h0 h1) h0) (- (- h0 h1) h0)) (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (- (pow (- h0 h1) 3) (pow h0 3)) (+ (* (- h0 h1) (- h0 h1)) (+ (* h0 h0) (* (- h0 h1) h0))) (- h0) (- (* (- h0 h1) (- h0 h1)) (* h0 h0)) (+ (- h0 h1) h0) (+ (sqrt (- h0 h1)) (sqrt h0)) (- (sqrt (- h0 h1)) (sqrt h0)) (- (- h0 h1) h0) (- (- h0 h1) h0) (- (- h1) h0) (- (- h1) h0) (+ h1 h0) (- h0) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) 2.031 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 2.033 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 2.036 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 2.047 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 2.087 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 2.089 * [simplify]: Simplified to: (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 2.090 * * * [progress]: adding candidates to table 2.876 * * [progress]: iteration 2 / 4 2.876 * * * [progress]: picking best candidate 2.886 * * * * [pick]: Picked # 2.886 * * * [progress]: localizing error 2.945 * * * [progress]: generating rewritten candidates 2.945 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 2.980 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 3.017 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 3.052 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 3.089 * * * [progress]: generating series expansions 3.089 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 3.089 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 3.089 * [taylor]: Taking taylor expansion of (- z) in z 3.090 * [taylor]: Taking taylor expansion of z in z 3.090 * [taylor]: Taking taylor expansion of (- z) in z 3.090 * [taylor]: Taking taylor expansion of z in z 3.092 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 3.092 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.092 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.092 * [taylor]: Taking taylor expansion of z in z 3.092 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.092 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.092 * [taylor]: Taking taylor expansion of z in z 3.097 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.097 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.097 * [taylor]: Taking taylor expansion of z in z 3.097 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.097 * [taylor]: Taking taylor expansion of z in z 3.100 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 3.100 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 3.100 * [taylor]: Taking taylor expansion of (- z) in z 3.100 * [taylor]: Taking taylor expansion of z in z 3.100 * [taylor]: Taking taylor expansion of (- z) in z 3.100 * [taylor]: Taking taylor expansion of z in z 3.102 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 3.102 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.102 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.102 * [taylor]: Taking taylor expansion of z in z 3.102 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.102 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.102 * [taylor]: Taking taylor expansion of z in z 3.107 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.107 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.107 * [taylor]: Taking taylor expansion of z in z 3.108 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.108 * [taylor]: Taking taylor expansion of z in z 3.111 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 3.111 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 3.111 * [taylor]: Taking taylor expansion of (- z) in z 3.111 * [taylor]: Taking taylor expansion of z in z 3.111 * [taylor]: Taking taylor expansion of (- z) in z 3.111 * [taylor]: Taking taylor expansion of z in z 3.113 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 3.113 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.113 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.113 * [taylor]: Taking taylor expansion of z in z 3.113 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.113 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.113 * [taylor]: Taking taylor expansion of z in z 3.118 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.118 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.118 * [taylor]: Taking taylor expansion of z in z 3.118 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.118 * [taylor]: Taking taylor expansion of z in z 3.121 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2 1) 3.121 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 3.121 * [taylor]: Taking taylor expansion of (- z) in z 3.121 * [taylor]: Taking taylor expansion of z in z 3.121 * [taylor]: Taking taylor expansion of (- z) in z 3.121 * [taylor]: Taking taylor expansion of z in z 3.127 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 3.127 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.127 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.127 * [taylor]: Taking taylor expansion of z in z 3.127 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.127 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.127 * [taylor]: Taking taylor expansion of z in z 3.132 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.132 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.132 * [taylor]: Taking taylor expansion of z in z 3.132 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.132 * [taylor]: Taking taylor expansion of z in z 3.135 * * * [progress]: simplifying candidates 3.136 * [simplify]: Simplifying using # : (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 3.137 * [simplify]: Sending expressions to egg_math: (/ (/ (exp h0) (exp h1)) (exp h0)) (/ (exp (- h0 h1)) (exp h0)) (log (- (- h0 h1) h0)) (exp (- (- h0 h1) h0)) (* (cbrt (- (- h0 h1) h0)) (cbrt (- (- h0 h1) h0))) (cbrt (- (- h0 h1) h0)) (* (* (- (- h0 h1) h0) (- (- h0 h1) h0)) (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (- (pow (- h0 h1) 3) (pow h0 3)) (+ (* (- h0 h1) (- h0 h1)) (+ (* h0 h0) (* (- h0 h1) h0))) (- h0) (- (* (- h0 h1) (- h0 h1)) (* h0 h0)) (+ (- h0 h1) h0) (+ (sqrt (- h0 h1)) (sqrt h0)) (- (sqrt (- h0 h1)) (sqrt h0)) (- (- h0 h1) h0) (- (- h0 h1) h0) (- (- h1) h0) (- (- h1) h0) (+ h1 h0) (- h0) (/ (/ (exp h0) (exp h1)) (exp h0)) (/ (exp (- h0 h1)) (exp h0)) (log (- (- h0 h1) h0)) (exp (- (- h0 h1) h0)) (* (cbrt (- (- h0 h1) h0)) (cbrt (- (- h0 h1) h0))) (cbrt (- (- h0 h1) h0)) (* (* (- (- h0 h1) h0) (- (- h0 h1) h0)) (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (- (pow (- h0 h1) 3) (pow h0 3)) (+ (* (- h0 h1) (- h0 h1)) (+ (* h0 h0) (* (- h0 h1) h0))) (- h0) (- (* (- h0 h1) (- h0 h1)) (* h0 h0)) (+ (- h0 h1) h0) (+ (sqrt (- h0 h1)) (sqrt h0)) (- (sqrt (- h0 h1)) (sqrt h0)) (- (- h0 h1) h0) (- (- h0 h1) h0) (- (- h1) h0) (- (- h1) h0) (+ h1 h0) (- h0) (/ (/ (exp h0) (exp h1)) (exp h0)) (/ (exp (- h0 h1)) (exp h0)) (log (- (- h0 h1) h0)) (exp (- (- h0 h1) h0)) (* (cbrt (- (- h0 h1) h0)) (cbrt (- (- h0 h1) h0))) (cbrt (- (- h0 h1) h0)) (* (* (- (- h0 h1) h0) (- (- h0 h1) h0)) (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (- (pow (- h0 h1) 3) (pow h0 3)) (+ (* (- h0 h1) (- h0 h1)) (+ (* h0 h0) (* (- h0 h1) h0))) (- h0) (- (* (- h0 h1) (- h0 h1)) (* h0 h0)) (+ (- h0 h1) h0) (+ (sqrt (- h0 h1)) (sqrt h0)) (- (sqrt (- h0 h1)) (sqrt h0)) (- (- h0 h1) h0) (- (- h0 h1) h0) (- (- h1) h0) (- (- h1) h0) (+ h1 h0) (- h0) (/ (/ (exp h0) (exp h1)) (exp h0)) (/ (exp (- h0 h1)) (exp h0)) (log (- (- h0 h1) h0)) (exp (- (- h0 h1) h0)) (* (cbrt (- (- h0 h1) h0)) (cbrt (- (- h0 h1) h0))) (cbrt (- (- h0 h1) h0)) (* (* (- (- h0 h1) h0) (- (- h0 h1) h0)) (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (- (pow (- h0 h1) 3) (pow h0 3)) (+ (* (- h0 h1) (- h0 h1)) (+ (* h0 h0) (* (- h0 h1) h0))) (- h0) (- (* (- h0 h1) (- h0 h1)) (* h0 h0)) (+ (- h0 h1) h0) (+ (sqrt (- h0 h1)) (sqrt h0)) (- (sqrt (- h0 h1)) (sqrt h0)) (- (- h0 h1) h0) (- (- h0 h1) h0) (- (- h1) h0) (- (- h1) h0) (+ h1 h0) (- h0) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) 3.140 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 3.142 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 3.145 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 3.156 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 3.196 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 3.198 * [simplify]: Simplified to: (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 3.198 * * * [progress]: adding candidates to table 3.971 * [progress]: [Phase 3 of 3] Extracting. 3.971 * * [regime]: Finding splitpoints for: (# #) 3.981 * * * [regime-changes]: Trying 2 branch expressions: ((* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- (- 1.0 z) 1.0) 7.0) 0.5) (+ (- (- 1.0 z) 1.0) 0.5))) (exp (- (+ (+ (- (- 1.0 z) 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1.0 z) 1.0) 1.0))) (/ -1259.1392167224028 (+ (- (- 1.0 z) 1.0) 2.0))) (/ 771.3234287776531 (+ (- (- 1.0 z) 1.0) 3.0))) (/ -176.6150291621406 (+ (- (- 1.0 z) 1.0) 4.0))) (/ 12.507343278686905 (+ (- (- 1.0 z) 1.0) 5.0))) (/ -0.13857109526572012 (+ (- (- 1.0 z) 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- (- 1.0 z) 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- (- 1.0 z) 1.0) 8.0))))) z) 3.981 * * * * [regimes]: Trying to branch on (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- (- 1.0 z) 1.0) 7.0) 0.5) (+ (- (- 1.0 z) 1.0) 0.5))) (exp (- (+ (+ (- (- 1.0 z) 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1.0 z) 1.0) 1.0))) (/ -1259.1392167224028 (+ (- (- 1.0 z) 1.0) 2.0))) (/ 771.3234287776531 (+ (- (- 1.0 z) 1.0) 3.0))) (/ -176.6150291621406 (+ (- (- 1.0 z) 1.0) 4.0))) (/ 12.507343278686905 (+ (- (- 1.0 z) 1.0) 5.0))) (/ -0.13857109526572012 (+ (- (- 1.0 z) 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- (- 1.0 z) 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- (- 1.0 z) 1.0) 8.0))))) from (# #) 4.042 * * * * [regimes]: Trying to branch on z from (# #) 4.072 * * * [regime]: Found split indices: #