3.530 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 1.696 * * * [progress]: [2/2] Setting up program. 1.707 * [progress]: [Phase 2 of 3] Improving. 1.708 * [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))))) 1.711 * * [simplify]: iteration 0 : 148 enodes (cost 63 ) 1.714 * * [simplify]: iteration 1 : 617 enodes (cost 63 ) 1.727 * * [simplify]: iteration 2 : 4244 enodes (cost 62 ) 1.817 * * [simplify]: iteration 3 : 5001 enodes (cost 62 ) 1.818 * [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.830 * * [progress]: iteration 1 / 4 1.830 * * * [progress]: picking best candidate 1.853 * * * * [pick]: Picked # 1.854 * * * [progress]: localizing error 1.908 * * * [progress]: generating rewritten candidates 1.908 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1) 1.915 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 2 1) 1.922 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2 1) 1.929 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1 2 2 1) 1.940 * * * [progress]: generating series expansions 1.940 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1) 1.941 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 1.941 * [taylor]: Taking taylor expansion of (neg z) in z 1.941 * [taylor]: Taking taylor expansion of z in z 1.941 * [taylor]: Taking taylor expansion of (neg z) in z 1.941 * [taylor]: Taking taylor expansion of z in z 1.943 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 1.943 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 1.943 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.943 * [taylor]: Taking taylor expansion of z in z 1.944 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 1.944 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.944 * [taylor]: Taking taylor expansion of z in z 1.949 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.949 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.949 * [taylor]: Taking taylor expansion of z in z 1.949 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.949 * [taylor]: Taking taylor expansion of z in z 1.953 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 2 1) 1.953 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 1.953 * [taylor]: Taking taylor expansion of (neg z) in z 1.953 * [taylor]: Taking taylor expansion of z in z 1.953 * [taylor]: Taking taylor expansion of (neg z) in z 1.953 * [taylor]: Taking taylor expansion of z in z 1.955 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 1.955 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 1.955 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.955 * [taylor]: Taking taylor expansion of z in z 1.955 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 1.955 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.955 * [taylor]: Taking taylor expansion of z in z 1.960 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.960 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.960 * [taylor]: Taking taylor expansion of z in z 1.960 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.960 * [taylor]: Taking taylor expansion of z in z 1.964 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2 1) 1.964 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 1.964 * [taylor]: Taking taylor expansion of (neg z) in z 1.964 * [taylor]: Taking taylor expansion of z in z 1.964 * [taylor]: Taking taylor expansion of (neg z) in z 1.964 * [taylor]: Taking taylor expansion of z in z 1.966 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 1.966 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 1.966 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.966 * [taylor]: Taking taylor expansion of z in z 1.966 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 1.966 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.966 * [taylor]: Taking taylor expansion of z in z 1.971 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.971 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.971 * [taylor]: Taking taylor expansion of z in z 1.972 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.972 * [taylor]: Taking taylor expansion of z in z 1.976 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1 2 2 1) 1.976 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 1.976 * [taylor]: Taking taylor expansion of (neg z) in z 1.976 * [taylor]: Taking taylor expansion of z in z 1.976 * [taylor]: Taking taylor expansion of (neg z) in z 1.976 * [taylor]: Taking taylor expansion of z in z 1.978 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 1.978 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 1.978 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.978 * [taylor]: Taking taylor expansion of z in z 1.979 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 1.979 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.979 * [taylor]: Taking taylor expansion of z in z 1.984 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.984 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.984 * [taylor]: Taking taylor expansion of z in z 1.984 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.984 * [taylor]: Taking taylor expansion of z in z 1.987 * * * [progress]: simplifying candidates 1.988 * [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) 1.992 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 1.994 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 1.998 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 2.009 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 2.052 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 2.054 * [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) 2.055 * * * [progress]: adding candidates to table 2.948 * * [progress]: iteration 2 / 4 2.948 * * * [progress]: picking best candidate 2.958 * * * * [pick]: Picked # 2.958 * * * [progress]: localizing error 3.016 * * * [progress]: generating rewritten candidates 3.016 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 3.023 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 3.030 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 3.037 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 3.045 * * * [progress]: generating series expansions 3.045 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 3.045 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 3.045 * [taylor]: Taking taylor expansion of (neg z) in z 3.046 * [taylor]: Taking taylor expansion of z in z 3.046 * [taylor]: Taking taylor expansion of (neg z) in z 3.046 * [taylor]: Taking taylor expansion of z in z 3.048 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 3.048 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.048 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.048 * [taylor]: Taking taylor expansion of z in z 3.048 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.048 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.048 * [taylor]: Taking taylor expansion of z in z 3.053 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.053 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.053 * [taylor]: Taking taylor expansion of z in z 3.054 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.054 * [taylor]: Taking taylor expansion of z in z 3.057 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 3.057 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 3.057 * [taylor]: Taking taylor expansion of (neg z) in z 3.057 * [taylor]: Taking taylor expansion of z in z 3.057 * [taylor]: Taking taylor expansion of (neg z) in z 3.057 * [taylor]: Taking taylor expansion of z in z 3.059 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 3.059 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.059 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.059 * [taylor]: Taking taylor expansion of z in z 3.060 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.060 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.060 * [taylor]: Taking taylor expansion of z in z 3.064 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.064 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.064 * [taylor]: Taking taylor expansion of z in z 3.065 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.065 * [taylor]: Taking taylor expansion of z in z 3.073 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 3.073 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 3.073 * [taylor]: Taking taylor expansion of (neg z) in z 3.073 * [taylor]: Taking taylor expansion of z in z 3.073 * [taylor]: Taking taylor expansion of (neg z) in z 3.073 * [taylor]: Taking taylor expansion of z in z 3.075 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 3.075 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.075 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.075 * [taylor]: Taking taylor expansion of z in z 3.075 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.076 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.076 * [taylor]: Taking taylor expansion of z in z 3.080 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.080 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.080 * [taylor]: Taking taylor expansion of z in z 3.081 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.081 * [taylor]: Taking taylor expansion of z in z 3.084 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2 1) 3.084 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 3.084 * [taylor]: Taking taylor expansion of (neg z) in z 3.084 * [taylor]: Taking taylor expansion of z in z 3.084 * [taylor]: Taking taylor expansion of (neg z) in z 3.084 * [taylor]: Taking taylor expansion of z in z 3.086 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 3.086 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.086 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.086 * [taylor]: Taking taylor expansion of z in z 3.087 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.087 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.087 * [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 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.096 * * * [progress]: simplifying candidates 3.097 * [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) 3.101 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 3.103 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 3.107 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 3.118 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 3.161 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 3.164 * [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) 3.164 * * * [progress]: adding candidates to table 3.860 * * [progress]: iteration 3 / 4 3.860 * * * [progress]: picking best candidate 3.872 * * * * [pick]: Picked # 3.872 * * * [progress]: localizing error 3.938 * * * [progress]: generating rewritten candidates 3.938 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 3.940 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 3.947 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 3.954 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 3.963 * * * [progress]: generating series expansions 3.963 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 3.963 * [approximate]: Taking taylor expansion of (* -1 z) in (z) around 0 3.963 * [taylor]: Taking taylor expansion of (* -1 z) in z 3.963 * [taylor]: Taking taylor expansion of -1 in z 3.963 * [taylor]: Taking taylor expansion of z in z 3.963 * [taylor]: Taking taylor expansion of (* -1 z) in z 3.963 * [taylor]: Taking taylor expansion of -1 in z 3.963 * [taylor]: Taking taylor expansion of z in z 3.969 * [approximate]: Taking taylor expansion of (/ -1 z) in (z) around 0 3.969 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.969 * [taylor]: Taking taylor expansion of -1 in z 3.969 * [taylor]: Taking taylor expansion of z in z 3.969 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.970 * [taylor]: Taking taylor expansion of -1 in z 3.970 * [taylor]: Taking taylor expansion of z in z 3.973 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.973 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.974 * [taylor]: Taking taylor expansion of z in z 3.974 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.974 * [taylor]: Taking taylor expansion of z in z 3.977 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 3.978 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 3.978 * [taylor]: Taking taylor expansion of (neg z) in z 3.978 * [taylor]: Taking taylor expansion of z in z 3.978 * [taylor]: Taking taylor expansion of (neg z) in z 3.978 * [taylor]: Taking taylor expansion of z in z 3.980 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 3.980 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.980 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.980 * [taylor]: Taking taylor expansion of z in z 3.980 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.980 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.980 * [taylor]: Taking taylor expansion of z in z 3.985 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.985 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.985 * [taylor]: Taking taylor expansion of z in z 3.985 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.985 * [taylor]: Taking taylor expansion of z in z 3.989 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 3.989 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 3.989 * [taylor]: Taking taylor expansion of (neg z) in z 3.989 * [taylor]: Taking taylor expansion of z in z 3.989 * [taylor]: Taking taylor expansion of (neg z) in z 3.989 * [taylor]: Taking taylor expansion of z in z 3.991 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 3.991 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.991 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.991 * [taylor]: Taking taylor expansion of z in z 3.991 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.991 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.991 * [taylor]: Taking taylor expansion of z in z 3.996 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.997 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.997 * [taylor]: Taking taylor expansion of z in z 3.997 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.997 * [taylor]: Taking taylor expansion of z in z 4.006 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2 1) 4.006 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 4.006 * [taylor]: Taking taylor expansion of (neg z) in z 4.006 * [taylor]: Taking taylor expansion of z in z 4.006 * [taylor]: Taking taylor expansion of (neg z) in z 4.006 * [taylor]: Taking taylor expansion of z in z 4.008 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 4.008 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 4.009 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.009 * [taylor]: Taking taylor expansion of z in z 4.009 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 4.009 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.009 * [taylor]: Taking taylor expansion of z in z 4.014 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 4.014 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.014 * [taylor]: Taking taylor expansion of z in z 4.014 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.014 * [taylor]: Taking taylor expansion of z in z 4.018 * * * [progress]: simplifying candidates 4.019 * [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) 4.023 * * [simplify]: iteration 0 : 99 enodes (cost 291 ) 4.025 * * [simplify]: iteration 1 : 248 enodes (cost 263 ) 4.030 * * [simplify]: iteration 2 : 750 enodes (cost 234 ) 4.047 * * [simplify]: iteration 3 : 3887 enodes (cost 234 ) 4.133 * * [simplify]: iteration 4 : 5003 enodes (cost 234 ) 4.135 * [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) 4.136 * * * [progress]: adding candidates to table 4.958 * * [progress]: iteration 4 / 4 4.958 * * * [progress]: picking best candidate 4.970 * * * * [pick]: Picked # 4.971 * * * [progress]: localizing error 5.038 * * * [progress]: generating rewritten candidates 5.038 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 2) 5.041 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1 1) 5.044 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 1) 5.050 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 2 1) 5.058 * * * [progress]: generating series expansions 5.059 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 2) 5.059 * [approximate]: Taking taylor expansion of (log (sqrt (exp (* -1 z)))) in (z) around 0 5.059 * [taylor]: Taking taylor expansion of (log (sqrt (exp (* -1 z)))) in z 5.059 * [taylor]: Taking taylor expansion of (sqrt (exp (* -1 z))) in z 5.059 * [taylor]: Taking taylor expansion of (exp (* -1 z)) in z 5.059 * [taylor]: Taking taylor expansion of (* -1 z) in z 5.059 * [taylor]: Taking taylor expansion of -1 in z 5.059 * [taylor]: Taking taylor expansion of z in z 5.062 * [taylor]: Taking taylor expansion of (log (sqrt (exp (* -1 z)))) in z 5.062 * [taylor]: Taking taylor expansion of (sqrt (exp (* -1 z))) in z 5.062 * [taylor]: Taking taylor expansion of (exp (* -1 z)) in z 5.062 * [taylor]: Taking taylor expansion of (* -1 z) in z 5.062 * [taylor]: Taking taylor expansion of -1 in z 5.062 * [taylor]: Taking taylor expansion of z in z 5.165 * [approximate]: Taking taylor expansion of (log (sqrt (exp (/ -1 z)))) in (z) around 0 5.165 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 z)))) in z 5.165 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 z))) in z 5.165 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z 5.165 * [taylor]: Taking taylor expansion of (/ -1 z) in z 5.165 * [taylor]: Taking taylor expansion of -1 in z 5.165 * [taylor]: Taking taylor expansion of z in z 5.167 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 z)))) in z 5.167 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 z))) in z 5.167 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z 5.167 * [taylor]: Taking taylor expansion of (/ -1 z) in z 5.167 * [taylor]: Taking taylor expansion of -1 in z 5.167 * [taylor]: Taking taylor expansion of z in z 5.189 * [approximate]: Taking taylor expansion of (log (sqrt (exp (/ 1 z)))) in (z) around 0 5.189 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 z)))) in z 5.189 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 z))) in z 5.189 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z 5.189 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.189 * [taylor]: Taking taylor expansion of z in z 5.189 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 z)))) in z 5.189 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 z))) in z 5.189 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z 5.189 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.189 * [taylor]: Taking taylor expansion of z in z 5.210 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1 1) 5.210 * [approximate]: Taking taylor expansion of (log (sqrt (exp (* -1 z)))) in (z) around 0 5.210 * [taylor]: Taking taylor expansion of (log (sqrt (exp (* -1 z)))) in z 5.210 * [taylor]: Taking taylor expansion of (sqrt (exp (* -1 z))) in z 5.210 * [taylor]: Taking taylor expansion of (exp (* -1 z)) in z 5.210 * [taylor]: Taking taylor expansion of (* -1 z) in z 5.210 * [taylor]: Taking taylor expansion of -1 in z 5.210 * [taylor]: Taking taylor expansion of z in z 5.212 * [taylor]: Taking taylor expansion of (log (sqrt (exp (* -1 z)))) in z 5.213 * [taylor]: Taking taylor expansion of (sqrt (exp (* -1 z))) in z 5.213 * [taylor]: Taking taylor expansion of (exp (* -1 z)) in z 5.213 * [taylor]: Taking taylor expansion of (* -1 z) in z 5.213 * [taylor]: Taking taylor expansion of -1 in z 5.213 * [taylor]: Taking taylor expansion of z in z 5.315 * [approximate]: Taking taylor expansion of (log (sqrt (exp (/ -1 z)))) in (z) around 0 5.315 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 z)))) in z 5.315 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 z))) in z 5.315 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z 5.315 * [taylor]: Taking taylor expansion of (/ -1 z) in z 5.315 * [taylor]: Taking taylor expansion of -1 in z 5.315 * [taylor]: Taking taylor expansion of z in z 5.315 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 z)))) in z 5.315 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 z))) in z 5.315 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z 5.316 * [taylor]: Taking taylor expansion of (/ -1 z) in z 5.316 * [taylor]: Taking taylor expansion of -1 in z 5.316 * [taylor]: Taking taylor expansion of z in z 5.338 * [approximate]: Taking taylor expansion of (log (sqrt (exp (/ 1 z)))) in (z) around 0 5.338 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 z)))) in z 5.338 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 z))) in z 5.338 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z 5.338 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.338 * [taylor]: Taking taylor expansion of z in z 5.338 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 z)))) in z 5.338 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 z))) in z 5.338 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z 5.338 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.338 * [taylor]: Taking taylor expansion of z in z 5.359 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 1) 5.359 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 5.359 * [taylor]: Taking taylor expansion of (neg z) in z 5.359 * [taylor]: Taking taylor expansion of z in z 5.360 * [taylor]: Taking taylor expansion of (neg z) in z 5.360 * [taylor]: Taking taylor expansion of z in z 5.361 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 5.362 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 5.362 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.362 * [taylor]: Taking taylor expansion of z in z 5.362 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 5.362 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.362 * [taylor]: Taking taylor expansion of z in z 5.367 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.367 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.367 * [taylor]: Taking taylor expansion of z in z 5.367 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.367 * [taylor]: Taking taylor expansion of z in z 5.371 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 2 1) 5.371 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 5.371 * [taylor]: Taking taylor expansion of (neg z) in z 5.371 * [taylor]: Taking taylor expansion of z in z 5.371 * [taylor]: Taking taylor expansion of (neg z) in z 5.371 * [taylor]: Taking taylor expansion of z in z 5.373 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 5.373 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 5.373 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.373 * [taylor]: Taking taylor expansion of z in z 5.373 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 5.373 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.373 * [taylor]: Taking taylor expansion of z in z 5.378 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.378 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.378 * [taylor]: Taking taylor expansion of z in z 5.378 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.378 * [taylor]: Taking taylor expansion of z in z 5.382 * * * [progress]: simplifying candidates 5.383 * [simplify]: Simplifying using # : (log (* (cbrt (sqrt (exp (* -1 z)))) (cbrt (sqrt (exp (* -1 z)))))) (log (cbrt (sqrt (exp (* -1 z))))) (log (sqrt (* (cbrt (exp (* -1 z))) (cbrt (exp (* -1 z)))))) (log (sqrt (cbrt (exp (* -1 z))))) (log (sqrt (sqrt (exp (* -1 z))))) (log (sqrt (sqrt (exp (* -1 z))))) (log (sqrt 1)) (log (sqrt (exp (* -1 z)))) (log (sqrt (sqrt (exp (* -1 z))))) (log (sqrt (sqrt (exp (* -1 z))))) (log 1) (log (sqrt (exp (* -1 z)))) (log (sqrt 1)) (log (sqrt (exp z))) (log (exp (* -1 z))) (log (sqrt (exp (* -1 z)))) (log (exp -1)) (log (exp (* -1 z))) (log (exp -1)) (log (log (sqrt (exp (* -1 z))))) (exp (log (sqrt (exp (* -1 z))))) (* (cbrt (log (sqrt (exp (* -1 z))))) (cbrt (log (sqrt (exp (* -1 z)))))) (cbrt (log (sqrt (exp (* -1 z))))) (* (* (log (sqrt (exp (* -1 z)))) (log (sqrt (exp (* -1 z))))) (log (sqrt (exp (* -1 z))))) (sqrt (log (sqrt (exp (* -1 z))))) (sqrt (log (sqrt (exp (* -1 z))))) (log (* (cbrt (sqrt (exp (* -1 z)))) (cbrt (sqrt (exp (* -1 z)))))) (log (cbrt (sqrt (exp (* -1 z))))) (log (sqrt (* (cbrt (exp (* -1 z))) (cbrt (exp (* -1 z)))))) (log (sqrt (cbrt (exp (* -1 z))))) (log (sqrt (sqrt (exp (* -1 z))))) (log (sqrt (sqrt (exp (* -1 z))))) (log (sqrt 1)) (log (sqrt (exp (* -1 z)))) (log (sqrt (sqrt (exp (* -1 z))))) (log (sqrt (sqrt (exp (* -1 z))))) (log 1) (log (sqrt (exp (* -1 z)))) (log (sqrt 1)) (log (sqrt (exp z))) (log (exp (* -1 z))) (log (sqrt (exp (* -1 z)))) (log (exp -1)) (log (exp (* -1 z))) (log (exp -1)) (log (log (sqrt (exp (* -1 z))))) (exp (log (sqrt (exp (* -1 z))))) (* (cbrt (log (sqrt (exp (* -1 z))))) (cbrt (log (sqrt (exp (* -1 z)))))) (cbrt (log (sqrt (exp (* -1 z))))) (* (* (log (sqrt (exp (* -1 z)))) (log (sqrt (exp (* -1 z))))) (log (sqrt (exp (* -1 z))))) (sqrt (log (sqrt (exp (* -1 z))))) (sqrt (log (sqrt (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) (* -1/2 z) (log (sqrt (exp (* -1 z)))) (log (sqrt (exp (* -1 z)))) (* -1/2 z) (log (sqrt (exp (* -1 z)))) (log (sqrt (exp (* -1 z)))) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 5.387 * * [simplify]: iteration 0 : 114 enodes (cost 408 ) 5.389 * * [simplify]: iteration 1 : 219 enodes (cost 370 ) 5.393 * * [simplify]: iteration 2 : 610 enodes (cost 358 ) 5.404 * * [simplify]: iteration 3 : 2666 enodes (cost 356 ) 5.450 * * [simplify]: iteration 4 : 5001 enodes (cost 346 ) 5.458 * [simplify]: Simplified to: (* 2 (log (cbrt (sqrt (exp (* -1 z)))))) (log (cbrt (sqrt (exp (* -1 z))))) (log (sqrt (* (cbrt (exp (* -1 z))) (cbrt (exp (* -1 z)))))) (log (sqrt (cbrt (exp (* -1 z))))) (log (sqrt (sqrt (exp (* -1 z))))) (log (sqrt (sqrt (exp (* -1 z))))) 0 (log (sqrt (exp (* -1 z)))) (log (sqrt (sqrt (exp (* -1 z))))) (log (sqrt (sqrt (exp (* -1 z))))) 0 (log (sqrt (exp (* -1 z)))) 0 (log (sqrt (exp z))) (* -1 z) (log (sqrt (exp (* -1 z)))) -1 (* -1 z) -1 (log (log (sqrt (exp (* -1 z))))) (sqrt (exp (* -1 z))) (* (cbrt (log (sqrt (exp (* -1 z))))) (cbrt (log (sqrt (exp (* -1 z)))))) (cbrt (log (sqrt (exp (* -1 z))))) (pow (log (sqrt (exp (* -1 z)))) 3) (sqrt (log (sqrt (exp (* -1 z))))) (sqrt (log (sqrt (exp (* -1 z))))) (* 2 (log (cbrt (sqrt (exp (* -1 z)))))) (log (cbrt (sqrt (exp (* -1 z))))) (log (sqrt (* (cbrt (exp (* -1 z))) (cbrt (exp (* -1 z)))))) (log (sqrt (cbrt (exp (* -1 z))))) (log (sqrt (sqrt (exp (* -1 z))))) (log (sqrt (sqrt (exp (* -1 z))))) 0 (log (sqrt (exp (* -1 z)))) (log (sqrt (sqrt (exp (* -1 z))))) (log (sqrt (sqrt (exp (* -1 z))))) 0 (log (sqrt (exp (* -1 z)))) 0 (log (sqrt (exp z))) (* -1 z) (log (sqrt (exp (* -1 z)))) -1 (* -1 z) -1 (log (log (sqrt (exp (* -1 z))))) (sqrt (exp (* -1 z))) (* (cbrt (log (sqrt (exp (* -1 z))))) (cbrt (log (sqrt (exp (* -1 z)))))) (cbrt (log (sqrt (exp (* -1 z))))) (pow (log (sqrt (exp (* -1 z)))) 3) (sqrt (log (sqrt (exp (* -1 z))))) (sqrt (log (sqrt (exp (* -1 z))))) (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)) (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)) (* -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)) (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)) (* -1 z) (* -1 z) (- (neg z) 1.0) (- (neg z) 1.0) (+ 1.0 z) (* -1 1.0) (* -1/2 z) (log (sqrt (exp (* -1 z)))) (log (sqrt (exp (* -1 z)))) (* -1/2 z) (log (sqrt (exp (* -1 z)))) (log (sqrt (exp (* -1 z)))) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 5.459 * * * [progress]: adding candidates to table 6.336 * [progress]: [Phase 3 of 3] Extracting. 6.336 * * [regime]: Finding splitpoints for: (# # #) 6.352 * * * [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) 6.352 * * * * [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 (# # #) 6.433 * * * * [regimes]: Trying to branch on z from (# # #) 6.481 * * * [regime]: Found split indices: #