20.614 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 3.383 * * * [progress]: [2/2] Setting up program. 3.392 * [progress]: [Phase 2 of 3] Improving. 3.393 * [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))))) 3.396 * * [simplify]: iteration 0 : 148 enodes (cost 63 ) 3.399 * * [simplify]: iteration 1 : 617 enodes (cost 63 ) 3.412 * * [simplify]: iteration 2 : 4244 enodes (cost 62 ) 3.506 * * [simplify]: iteration 3 : 5001 enodes (cost 62 ) 3.507 * [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))) 3.515 * * [progress]: iteration 1 / 4 3.515 * * * [progress]: picking best candidate 3.526 * * * * [pick]: Picked # 3.527 * * * [progress]: localizing error 3.591 * * * [progress]: generating rewritten candidates 3.591 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1) 3.599 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 2 1) 3.606 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2 1) 3.613 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1 2 2 1) 3.622 * * * [progress]: generating series expansions 3.622 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1) 3.622 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 3.622 * [taylor]: Taking taylor expansion of (neg z) in z 3.622 * [taylor]: Taking taylor expansion of z in z 3.622 * [taylor]: Taking taylor expansion of (neg z) in z 3.622 * [taylor]: Taking taylor expansion of z in z 3.623 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 3.623 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.623 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.623 * [taylor]: Taking taylor expansion of z in z 3.623 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.623 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.623 * [taylor]: Taking taylor expansion of z in z 3.623 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.623 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.623 * [taylor]: Taking taylor expansion of z in z 3.623 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.623 * [taylor]: Taking taylor expansion of z in z 3.624 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 2 1) 3.624 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 3.624 * [taylor]: Taking taylor expansion of (neg z) in z 3.624 * [taylor]: Taking taylor expansion of z in z 3.624 * [taylor]: Taking taylor expansion of (neg z) in z 3.624 * [taylor]: Taking taylor expansion of z in z 3.624 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 3.624 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.625 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.625 * [taylor]: Taking taylor expansion of z in z 3.625 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.625 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.625 * [taylor]: Taking taylor expansion of z in z 3.625 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.625 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.625 * [taylor]: Taking taylor expansion of z in z 3.625 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.625 * [taylor]: Taking taylor expansion of z in z 3.626 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2 1) 3.626 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 3.626 * [taylor]: Taking taylor expansion of (neg z) in z 3.626 * [taylor]: Taking taylor expansion of z in z 3.626 * [taylor]: Taking taylor expansion of (neg z) in z 3.626 * [taylor]: Taking taylor expansion of z in z 3.626 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 3.626 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.626 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.626 * [taylor]: Taking taylor expansion of z in z 3.626 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.626 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.626 * [taylor]: Taking taylor expansion of z in z 3.627 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.627 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.627 * [taylor]: Taking taylor expansion of z in z 3.627 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.627 * [taylor]: Taking taylor expansion of z in z 3.627 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1 2 2 1) 3.627 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 3.627 * [taylor]: Taking taylor expansion of (neg z) in z 3.627 * [taylor]: Taking taylor expansion of z in z 3.627 * [taylor]: Taking taylor expansion of (neg z) in z 3.627 * [taylor]: Taking taylor expansion of z in z 3.628 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 3.628 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.628 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.628 * [taylor]: Taking taylor expansion of z in z 3.628 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.628 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.628 * [taylor]: Taking taylor expansion of z in z 3.628 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.628 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.628 * [taylor]: Taking taylor expansion of z in z 3.628 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.628 * [taylor]: Taking taylor expansion of z in z 3.629 * * * [progress]: simplifying candidates 3.630 * [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.633 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 3.636 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 3.639 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 3.651 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 3.692 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 3.694 * [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.695 * * * [progress]: adding candidates to table 4.267 * * [progress]: iteration 2 / 4 4.267 * * * [progress]: picking best candidate 4.273 * * * * [pick]: Picked # 4.273 * * * [progress]: localizing error 4.327 * * * [progress]: generating rewritten candidates 4.327 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 4.336 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 4.343 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 4.350 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 4.359 * * * [progress]: generating series expansions 4.359 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 4.359 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 4.359 * [taylor]: Taking taylor expansion of (neg z) in z 4.359 * [taylor]: Taking taylor expansion of z in z 4.359 * [taylor]: Taking taylor expansion of (neg z) in z 4.359 * [taylor]: Taking taylor expansion of z in z 4.359 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 4.359 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 4.359 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.359 * [taylor]: Taking taylor expansion of z in z 4.359 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 4.359 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.359 * [taylor]: Taking taylor expansion of z in z 4.360 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 4.360 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.360 * [taylor]: Taking taylor expansion of z in z 4.360 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.360 * [taylor]: Taking taylor expansion of z in z 4.361 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 4.361 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 4.361 * [taylor]: Taking taylor expansion of (neg z) in z 4.361 * [taylor]: Taking taylor expansion of z in z 4.361 * [taylor]: Taking taylor expansion of (neg z) in z 4.361 * [taylor]: Taking taylor expansion of z in z 4.361 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 4.361 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 4.361 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.361 * [taylor]: Taking taylor expansion of z in z 4.361 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 4.361 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.361 * [taylor]: Taking taylor expansion of z in z 4.362 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 4.362 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.362 * [taylor]: Taking taylor expansion of z in z 4.362 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.362 * [taylor]: Taking taylor expansion of z in z 4.362 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 4.362 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 4.362 * [taylor]: Taking taylor expansion of (neg z) in z 4.362 * [taylor]: Taking taylor expansion of z in z 4.362 * [taylor]: Taking taylor expansion of (neg z) in z 4.362 * [taylor]: Taking taylor expansion of z in z 4.362 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 4.362 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 4.363 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.363 * [taylor]: Taking taylor expansion of z in z 4.363 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 4.363 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.363 * [taylor]: Taking taylor expansion of z in z 4.363 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 4.363 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.363 * [taylor]: Taking taylor expansion of z in z 4.363 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.363 * [taylor]: Taking taylor expansion of z in z 4.364 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2 1) 4.364 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 4.364 * [taylor]: Taking taylor expansion of (neg z) in z 4.364 * [taylor]: Taking taylor expansion of z in z 4.364 * [taylor]: Taking taylor expansion of (neg z) in z 4.364 * [taylor]: Taking taylor expansion of z in z 4.364 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 4.364 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 4.364 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.364 * [taylor]: Taking taylor expansion of z in z 4.364 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 4.364 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.364 * [taylor]: Taking taylor expansion of z in z 4.365 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 4.365 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.365 * [taylor]: Taking taylor expansion of z in z 4.365 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.365 * [taylor]: Taking taylor expansion of z in z 4.365 * * * [progress]: simplifying candidates 4.366 * [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) 4.370 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 4.372 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 4.376 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 4.387 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 4.428 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 4.431 * [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) 4.431 * * * [progress]: adding candidates to table 4.910 * * [progress]: iteration 3 / 4 4.910 * * * [progress]: picking best candidate 4.924 * * * * [pick]: Picked # 4.924 * * * [progress]: localizing error 4.986 * * * [progress]: generating rewritten candidates 4.986 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 2 1) 4.993 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1 1 2 1) 5.000 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 1 1 1) 5.007 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 1) 5.015 * * * [progress]: generating series expansions 5.015 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 2 1) 5.015 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 5.015 * [taylor]: Taking taylor expansion of (neg z) in z 5.015 * [taylor]: Taking taylor expansion of z in z 5.015 * [taylor]: Taking taylor expansion of (neg z) in z 5.015 * [taylor]: Taking taylor expansion of z in z 5.015 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 5.015 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 5.015 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.015 * [taylor]: Taking taylor expansion of z in z 5.015 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 5.015 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.015 * [taylor]: Taking taylor expansion of z in z 5.016 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.016 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.016 * [taylor]: Taking taylor expansion of z in z 5.016 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.016 * [taylor]: Taking taylor expansion of z in z 5.017 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1 1 2 1) 5.017 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 5.017 * [taylor]: Taking taylor expansion of (neg z) in z 5.017 * [taylor]: Taking taylor expansion of z in z 5.017 * [taylor]: Taking taylor expansion of (neg z) in z 5.017 * [taylor]: Taking taylor expansion of z in z 5.017 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 5.017 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 5.017 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.017 * [taylor]: Taking taylor expansion of z in z 5.017 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 5.017 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.017 * [taylor]: Taking taylor expansion of z in z 5.017 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.018 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.018 * [taylor]: Taking taylor expansion of z in z 5.018 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.018 * [taylor]: Taking taylor expansion of z in z 5.018 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 1 1 1) 5.018 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 5.018 * [taylor]: Taking taylor expansion of (neg z) in z 5.018 * [taylor]: Taking taylor expansion of z in z 5.018 * [taylor]: Taking taylor expansion of (neg z) in z 5.018 * [taylor]: Taking taylor expansion of z in z 5.018 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 5.018 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 5.018 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.018 * [taylor]: Taking taylor expansion of z in z 5.018 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 5.018 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.018 * [taylor]: Taking taylor expansion of z in z 5.019 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.019 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.019 * [taylor]: Taking taylor expansion of z in z 5.019 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.019 * [taylor]: Taking taylor expansion of z in z 5.020 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 1) 5.020 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 5.020 * [taylor]: Taking taylor expansion of (neg z) in z 5.020 * [taylor]: Taking taylor expansion of z in z 5.020 * [taylor]: Taking taylor expansion of (neg z) in z 5.020 * [taylor]: Taking taylor expansion of z in z 5.020 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 5.020 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 5.020 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.020 * [taylor]: Taking taylor expansion of z in z 5.020 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 5.020 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.020 * [taylor]: Taking taylor expansion of z in z 5.020 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.021 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.021 * [taylor]: Taking taylor expansion of z in z 5.021 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.021 * [taylor]: Taking taylor expansion of z in z 5.021 * * * [progress]: simplifying candidates 5.022 * [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) 5.025 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 5.027 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 5.031 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 5.042 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 5.083 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 5.086 * [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) 5.086 * * * [progress]: adding candidates to table 5.667 * * [progress]: iteration 4 / 4 5.667 * * * [progress]: picking best candidate 5.672 * * * * [pick]: Picked # 5.672 * * * [progress]: localizing error 5.733 * * * [progress]: generating rewritten candidates 5.733 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2 1) 5.740 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 2 1) 5.747 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 5.753 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 2 2 1) 5.762 * * * [progress]: generating series expansions 5.762 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2 1) 5.762 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 5.762 * [taylor]: Taking taylor expansion of (neg z) in z 5.762 * [taylor]: Taking taylor expansion of z in z 5.762 * [taylor]: Taking taylor expansion of (neg z) in z 5.762 * [taylor]: Taking taylor expansion of z in z 5.762 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 5.763 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 5.763 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.763 * [taylor]: Taking taylor expansion of z in z 5.763 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 5.763 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.763 * [taylor]: Taking taylor expansion of z in z 5.763 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.763 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.763 * [taylor]: Taking taylor expansion of z in z 5.763 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.763 * [taylor]: Taking taylor expansion of z in z 5.764 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 2 1) 5.764 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 5.764 * [taylor]: Taking taylor expansion of (neg z) in z 5.764 * [taylor]: Taking taylor expansion of z in z 5.764 * [taylor]: Taking taylor expansion of (neg z) in z 5.764 * [taylor]: Taking taylor expansion of z in z 5.764 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 5.764 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 5.764 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.764 * [taylor]: Taking taylor expansion of z in z 5.764 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 5.764 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.764 * [taylor]: Taking taylor expansion of z in z 5.765 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.765 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.765 * [taylor]: Taking taylor expansion of z in z 5.765 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.765 * [taylor]: Taking taylor expansion of z in z 5.765 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 2 2 1) 5.765 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 5.765 * [taylor]: Taking taylor expansion of (neg z) in z 5.765 * [taylor]: Taking taylor expansion of z in z 5.765 * [taylor]: Taking taylor expansion of (neg z) in z 5.765 * [taylor]: Taking taylor expansion of z in z 5.766 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 5.766 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 5.766 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.766 * [taylor]: Taking taylor expansion of z in z 5.766 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 5.766 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.766 * [taylor]: Taking taylor expansion of z in z 5.766 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.766 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.766 * [taylor]: Taking taylor expansion of z in z 5.766 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.766 * [taylor]: Taking taylor expansion of z in z 5.767 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 2 2 1) 5.767 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 5.767 * [taylor]: Taking taylor expansion of (neg z) in z 5.767 * [taylor]: Taking taylor expansion of z in z 5.767 * [taylor]: Taking taylor expansion of (neg z) in z 5.767 * [taylor]: Taking taylor expansion of z in z 5.767 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 5.767 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 5.767 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.767 * [taylor]: Taking taylor expansion of z in z 5.767 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 5.767 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.767 * [taylor]: Taking taylor expansion of z in z 5.768 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.768 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.768 * [taylor]: Taking taylor expansion of z in z 5.768 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.768 * [taylor]: Taking taylor expansion of z in z 5.773 * * * [progress]: simplifying candidates 5.774 * [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) 5.778 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 5.780 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 5.783 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 5.794 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 5.836 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 5.838 * [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) 5.839 * * * [progress]: adding candidates to table 6.328 * [progress]: [Phase 3 of 3] Extracting. 6.329 * * [regime]: Finding splitpoints for: (# # #) 6.342 * * * [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.342 * * * * [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.431 * * * * [regimes]: Trying to branch on z from (# # #) 6.470 * * * [regime]: Found split indices: #