16.129 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 8.613 * * * [progress]: [2/2] Setting up program. 8.620 * [progress]: [Phase 2 of 3] Improving. 8.620 * [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 (neg (+ (+ (- (- 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))))) 8.622 * * [simplify]: iteration 0 : 148 enodes (cost 63 ) 8.625 * * [simplify]: iteration 1 : 617 enodes (cost 63 ) 8.638 * * [simplify]: iteration 2 : 4244 enodes (cost 62 ) 8.724 * * [simplify]: iteration 3 : 5001 enodes (cost 62 ) 8.725 * [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))) 8.732 * * [progress]: iteration 1 / 4 8.732 * * * [progress]: picking best candidate 8.743 * * * * [pick]: Picked # 8.743 * * * [progress]: localizing error 8.798 * * * [progress]: generating rewritten candidates 8.798 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1) 8.805 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 2 1) 9.025 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2 1) 9.032 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1 2 2 1) 9.041 * * * [progress]: generating series expansions 9.041 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1) 9.041 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 9.041 * [taylor]: Taking taylor expansion of (neg z) in z 9.041 * [taylor]: Taking taylor expansion of z in z 9.041 * [taylor]: Taking taylor expansion of (neg z) in z 9.041 * [taylor]: Taking taylor expansion of z in z 9.042 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 9.042 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 9.042 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.042 * [taylor]: Taking taylor expansion of z in z 9.042 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 9.042 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.042 * [taylor]: Taking taylor expansion of z in z 9.042 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 9.042 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.042 * [taylor]: Taking taylor expansion of z in z 9.042 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.042 * [taylor]: Taking taylor expansion of z in z 9.043 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 2 1) 9.043 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 9.043 * [taylor]: Taking taylor expansion of (neg z) in z 9.043 * [taylor]: Taking taylor expansion of z in z 9.043 * [taylor]: Taking taylor expansion of (neg z) in z 9.043 * [taylor]: Taking taylor expansion of z in z 9.043 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 9.043 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 9.043 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.043 * [taylor]: Taking taylor expansion of z in z 9.043 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 9.043 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.043 * [taylor]: Taking taylor expansion of z in z 9.044 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 9.044 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.044 * [taylor]: Taking taylor expansion of z in z 9.044 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.044 * [taylor]: Taking taylor expansion of z in z 9.044 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2 1) 9.044 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 9.044 * [taylor]: Taking taylor expansion of (neg z) in z 9.044 * [taylor]: Taking taylor expansion of z in z 9.044 * [taylor]: Taking taylor expansion of (neg z) in z 9.044 * [taylor]: Taking taylor expansion of z in z 9.045 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 9.045 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 9.045 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.045 * [taylor]: Taking taylor expansion of z in z 9.045 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 9.045 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.045 * [taylor]: Taking taylor expansion of z in z 9.045 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 9.045 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.045 * [taylor]: Taking taylor expansion of z in z 9.045 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.045 * [taylor]: Taking taylor expansion of z in z 9.046 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1 2 2 1) 9.046 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 9.046 * [taylor]: Taking taylor expansion of (neg z) in z 9.046 * [taylor]: Taking taylor expansion of z in z 9.046 * [taylor]: Taking taylor expansion of (neg z) in z 9.046 * [taylor]: Taking taylor expansion of z in z 9.046 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 9.046 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 9.046 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.046 * [taylor]: Taking taylor expansion of z in z 9.046 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 9.046 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.046 * [taylor]: Taking taylor expansion of z in z 9.047 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 9.047 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.047 * [taylor]: Taking taylor expansion of z in z 9.047 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.047 * [taylor]: Taking taylor expansion of z in z 9.047 * * * [progress]: simplifying candidates 9.048 * [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))) (neg 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) (- (neg z) 1.0) (- (neg z) 1.0) (+ z 1.0) (neg 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))) (neg 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) (- (neg z) 1.0) (- (neg z) 1.0) (+ z 1.0) (neg 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))) (neg 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) (- (neg z) 1.0) (- (neg z) 1.0) (+ z 1.0) (neg 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))) (neg 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) (- (neg z) 1.0) (- (neg z) 1.0) (+ z 1.0) (neg 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) 9.051 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 9.053 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 9.057 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 9.067 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 9.107 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 9.109 * [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) (- (neg z) 1.0) (- (neg 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) (- (neg z) 1.0) (- (neg 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) (- (neg z) 1.0) (- (neg 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) (- (neg z) 1.0) (- (neg 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) 9.110 * * * [progress]: adding candidates to table 9.584 * * [progress]: iteration 2 / 4 9.585 * * * [progress]: picking best candidate 9.590 * * * * [pick]: Picked # 9.590 * * * [progress]: localizing error 9.645 * * * [progress]: generating rewritten candidates 9.645 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 9.652 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 9.659 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 9.666 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 9.674 * * * [progress]: generating series expansions 9.674 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 9.674 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 9.674 * [taylor]: Taking taylor expansion of (neg z) in z 9.674 * [taylor]: Taking taylor expansion of z in z 9.674 * [taylor]: Taking taylor expansion of (neg z) in z 9.675 * [taylor]: Taking taylor expansion of z in z 9.675 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 9.675 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 9.675 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.675 * [taylor]: Taking taylor expansion of z in z 9.675 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 9.675 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.675 * [taylor]: Taking taylor expansion of z in z 9.675 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 9.675 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.675 * [taylor]: Taking taylor expansion of z in z 9.675 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.676 * [taylor]: Taking taylor expansion of z in z 9.676 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 9.676 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 9.676 * [taylor]: Taking taylor expansion of (neg z) in z 9.676 * [taylor]: Taking taylor expansion of z in z 9.676 * [taylor]: Taking taylor expansion of (neg z) in z 9.676 * [taylor]: Taking taylor expansion of z in z 9.676 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 9.676 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 9.676 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.676 * [taylor]: Taking taylor expansion of z in z 9.676 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 9.676 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.676 * [taylor]: Taking taylor expansion of z in z 9.677 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 9.677 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.677 * [taylor]: Taking taylor expansion of z in z 9.677 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.677 * [taylor]: Taking taylor expansion of z in z 9.677 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 9.677 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 9.677 * [taylor]: Taking taylor expansion of (neg z) in z 9.678 * [taylor]: Taking taylor expansion of z in z 9.678 * [taylor]: Taking taylor expansion of (neg z) in z 9.678 * [taylor]: Taking taylor expansion of z in z 9.678 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 9.678 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 9.678 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.678 * [taylor]: Taking taylor expansion of z in z 9.678 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 9.678 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.678 * [taylor]: Taking taylor expansion of z in z 9.678 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 9.678 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.678 * [taylor]: Taking taylor expansion of z in z 9.678 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.678 * [taylor]: Taking taylor expansion of z in z 9.679 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2 1) 9.679 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 9.679 * [taylor]: Taking taylor expansion of (neg z) in z 9.679 * [taylor]: Taking taylor expansion of z in z 9.679 * [taylor]: Taking taylor expansion of (neg z) in z 9.679 * [taylor]: Taking taylor expansion of z in z 9.679 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 9.679 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 9.679 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.679 * [taylor]: Taking taylor expansion of z in z 9.679 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 9.679 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.679 * [taylor]: Taking taylor expansion of z in z 9.680 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 9.680 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.680 * [taylor]: Taking taylor expansion of z in z 9.680 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.680 * [taylor]: Taking taylor expansion of z in z 9.680 * * * [progress]: simplifying candidates 9.681 * [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))) (neg 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) (- (neg z) 1.0) (- (neg z) 1.0) (+ z 1.0) (neg 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))) (neg 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) (- (neg z) 1.0) (- (neg z) 1.0) (+ z 1.0) (neg 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))) (neg 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) (- (neg z) 1.0) (- (neg z) 1.0) (+ z 1.0) (neg 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))) (neg 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) (- (neg z) 1.0) (- (neg z) 1.0) (+ z 1.0) (neg 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) 9.685 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 9.690 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 9.694 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 9.704 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 9.745 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 9.748 * [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) (- (neg z) 1.0) (- (neg 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) (- (neg z) 1.0) (- (neg 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) (- (neg z) 1.0) (- (neg 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) (- (neg z) 1.0) (- (neg 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) 9.748 * * * [progress]: adding candidates to table 10.223 * * [progress]: iteration 3 / 4 10.223 * * * [progress]: picking best candidate 10.229 * * * * [pick]: Picked # 10.229 * * * [progress]: localizing error 10.292 * * * [progress]: generating rewritten candidates 10.292 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 10.294 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 10.301 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 10.308 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 10.316 * * * [progress]: generating series expansions 10.316 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 10.316 * [approximate]: Taking taylor expansion of (* -1 z) in (z) around 0 10.316 * [taylor]: Taking taylor expansion of (* -1 z) in z 10.316 * [taylor]: Taking taylor expansion of -1 in z 10.316 * [taylor]: Taking taylor expansion of z in z 10.317 * [taylor]: Taking taylor expansion of (* -1 z) in z 10.317 * [taylor]: Taking taylor expansion of -1 in z 10.317 * [taylor]: Taking taylor expansion of z in z 10.317 * [approximate]: Taking taylor expansion of (/ -1 z) in (z) around 0 10.317 * [taylor]: Taking taylor expansion of (/ -1 z) in z 10.317 * [taylor]: Taking taylor expansion of -1 in z 10.317 * [taylor]: Taking taylor expansion of z in z 10.317 * [taylor]: Taking taylor expansion of (/ -1 z) in z 10.317 * [taylor]: Taking taylor expansion of -1 in z 10.317 * [taylor]: Taking taylor expansion of z in z 10.318 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 10.318 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.318 * [taylor]: Taking taylor expansion of z in z 10.318 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.318 * [taylor]: Taking taylor expansion of z in z 10.318 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 10.318 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 10.318 * [taylor]: Taking taylor expansion of (neg z) in z 10.318 * [taylor]: Taking taylor expansion of z in z 10.318 * [taylor]: Taking taylor expansion of (neg z) in z 10.318 * [taylor]: Taking taylor expansion of z in z 10.319 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 10.319 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 10.319 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.319 * [taylor]: Taking taylor expansion of z in z 10.319 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 10.319 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.319 * [taylor]: Taking taylor expansion of z in z 10.319 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 10.319 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.319 * [taylor]: Taking taylor expansion of z in z 10.319 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.319 * [taylor]: Taking taylor expansion of z in z 10.320 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 10.320 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 10.320 * [taylor]: Taking taylor expansion of (neg z) in z 10.320 * [taylor]: Taking taylor expansion of z in z 10.320 * [taylor]: Taking taylor expansion of (neg z) in z 10.320 * [taylor]: Taking taylor expansion of z in z 10.320 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 10.320 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 10.320 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.320 * [taylor]: Taking taylor expansion of z in z 10.320 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 10.320 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.320 * [taylor]: Taking taylor expansion of z in z 10.321 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 10.321 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.321 * [taylor]: Taking taylor expansion of z in z 10.321 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.321 * [taylor]: Taking taylor expansion of z in z 10.321 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2 1) 10.321 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 10.321 * [taylor]: Taking taylor expansion of (neg z) in z 10.321 * [taylor]: Taking taylor expansion of z in z 10.321 * [taylor]: Taking taylor expansion of (neg z) in z 10.321 * [taylor]: Taking taylor expansion of z in z 10.322 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 10.322 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 10.322 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.322 * [taylor]: Taking taylor expansion of z in z 10.322 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 10.322 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.322 * [taylor]: Taking taylor expansion of z in z 10.322 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 10.322 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.322 * [taylor]: Taking taylor expansion of z in z 10.322 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.322 * [taylor]: Taking taylor expansion of z in z 10.323 * * * [progress]: simplifying candidates 10.324 * [simplify]: Simplifying using # : (log (* (cbrt (exp (* -1 z))) (cbrt (exp (* -1 z))))) (log (cbrt (exp (* -1 z)))) (log (sqrt (exp (* -1 z)))) (log (sqrt (exp (* -1 z)))) (log 1) (log (exp (* -1 z))) (log 1) (log (exp z)) (log (exp z)) (log (exp -1)) (log (exp (* -1 z))) (log (exp -1)) (log (log (exp (* -1 z)))) (exp (log (exp (* -1 z)))) (* (cbrt (log (exp (* -1 z)))) (cbrt (log (exp (* -1 z))))) (cbrt (log (exp (* -1 z)))) (* (* (log (exp (* -1 z))) (log (exp (* -1 z)))) (log (exp (* -1 z)))) (sqrt (log (exp (* -1 z)))) (sqrt (log (exp (* -1 z)))) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (neg 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) (- (neg z) 1.0) (- (neg z) 1.0) (+ z 1.0) (neg 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))) (neg 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) (- (neg z) 1.0) (- (neg z) 1.0) (+ z 1.0) (neg 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))) (neg 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) (- (neg z) 1.0) (- (neg z) 1.0) (+ z 1.0) (neg 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) 10.327 * * [simplify]: iteration 0 : 99 enodes (cost 291 ) 10.329 * * [simplify]: iteration 1 : 248 enodes (cost 263 ) 10.333 * * [simplify]: iteration 2 : 750 enodes (cost 234 ) 10.350 * * [simplify]: iteration 3 : 3887 enodes (cost 234 ) 10.429 * * [simplify]: iteration 4 : 5003 enodes (cost 234 ) 10.432 * [simplify]: Simplified to: (* 2 (log (cbrt (exp (* -1 z))))) (log (cbrt (exp (* -1 z)))) (log (sqrt (exp (* -1 z)))) (log (sqrt (exp (* -1 z)))) 0 (- 0 z) 0 z z -1 (- 0 z) -1 (+ (log -1) (log z)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (pow (* -1 z) 3) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (exp (* -1 z)) (exp (* -1 z)) (+ (log -1) (log z)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (pow (* -1 z) 3) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (+ (- 1.0 z) 1.0) (* -1 z)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- 0 z) (- 0 z) (- (neg z) 1.0) (- (neg z) 1.0) (+ z 1.0) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (+ (log -1) (log z)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (pow (* -1 z) 3) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (+ (- 1.0 z) 1.0) (* -1 z)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- 0 z) (- 0 z) (- (neg z) 1.0) (- (neg z) 1.0) (+ z 1.0) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (+ (log -1) (log z)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (pow (* -1 z) 3) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (+ (- 1.0 z) 1.0) (* -1 z)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- 0 z) (- 0 z) (- (neg z) 1.0) (- (neg z) 1.0) (+ z 1.0) (* -1 1.0) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) 10.432 * * * [progress]: adding candidates to table 10.910 * [progress]: [Phase 3 of 3] Extracting. 10.910 * * [regime]: Finding splitpoints for: (# #) 10.920 * * * [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 (neg (+ (+ (- (- 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) 10.920 * * * * [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 (neg (+ (+ (- (- 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 (# #) 11.003 * * * * [regimes]: Trying to branch on z from (# #) 11.034 * * * [regime]: Found split indices: #