7.774 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 1.316 * * * [progress]: [2/2] Setting up program. 1.327 * [progress]: [Phase 2 of 3] Improving. 1.327 * [simplify]: Simplifying using # : (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- (- 1.0 z) 1.0) 7.0) 0.5) (+ (- (- 1.0 z) 1.0) 0.5))) (exp (- (+ (+ (- (- 1.0 z) 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1.0 z) 1.0) 1.0))) (/ -1259.1392167224028 (+ (- (- 1.0 z) 1.0) 2.0))) (/ 771.3234287776531 (+ (- (- 1.0 z) 1.0) 3.0))) (/ -176.6150291621406 (+ (- (- 1.0 z) 1.0) 4.0))) (/ 12.507343278686905 (+ (- (- 1.0 z) 1.0) 5.0))) (/ -0.13857109526572012 (+ (- (- 1.0 z) 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- (- 1.0 z) 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- (- 1.0 z) 1.0) 8.0))))) 1.334 * * [simplify]: iteration 0 : 148 enodes (cost 63 ) 1.336 * * [simplify]: iteration 1 : 617 enodes (cost 63 ) 1.349 * * [simplify]: iteration 2 : 4243 enodes (cost 62 ) 1.433 * * [simplify]: iteration 3 : 5001 enodes (cost 62 ) 1.434 * [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.444 * * [progress]: iteration 1 / 4 1.444 * * * [progress]: picking best candidate 1.464 * * * * [pick]: Picked # 1.464 * * * [progress]: localizing error 1.523 * * * [progress]: generating rewritten candidates 1.523 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1) 1.530 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 2 1) 1.537 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2 1) 1.544 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1 2 2 1) 1.553 * * * [progress]: generating series expansions 1.553 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1) 1.553 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1.553 * [taylor]: Taking taylor expansion of (- z) in z 1.553 * [taylor]: Taking taylor expansion of z in z 1.553 * [taylor]: Taking taylor expansion of (- z) in z 1.553 * [taylor]: Taking taylor expansion of z in z 1.555 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1.555 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.555 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.555 * [taylor]: Taking taylor expansion of z in z 1.556 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.556 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.556 * [taylor]: Taking taylor expansion of z in z 1.560 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.560 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.560 * [taylor]: Taking taylor expansion of z in z 1.561 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.561 * [taylor]: Taking taylor expansion of z in z 1.564 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 2 1) 1.564 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1.564 * [taylor]: Taking taylor expansion of (- z) in z 1.564 * [taylor]: Taking taylor expansion of z in z 1.564 * [taylor]: Taking taylor expansion of (- z) in z 1.564 * [taylor]: Taking taylor expansion of z in z 1.566 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1.566 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.566 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.566 * [taylor]: Taking taylor expansion of z in z 1.566 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.566 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.566 * [taylor]: Taking taylor expansion of z in z 1.571 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.571 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.571 * [taylor]: Taking taylor expansion of z in z 1.571 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.571 * [taylor]: Taking taylor expansion of z in z 1.575 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2 1) 1.575 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1.575 * [taylor]: Taking taylor expansion of (- z) in z 1.575 * [taylor]: Taking taylor expansion of z in z 1.575 * [taylor]: Taking taylor expansion of (- z) in z 1.575 * [taylor]: Taking taylor expansion of z in z 1.577 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1.577 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.577 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.577 * [taylor]: Taking taylor expansion of z in z 1.577 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.577 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.577 * [taylor]: Taking taylor expansion of z in z 1.582 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.582 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.582 * [taylor]: Taking taylor expansion of z in z 1.582 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.582 * [taylor]: Taking taylor expansion of z in z 1.586 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1 2 2 1) 1.586 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1.586 * [taylor]: Taking taylor expansion of (- z) in z 1.586 * [taylor]: Taking taylor expansion of z in z 1.586 * [taylor]: Taking taylor expansion of (- z) in z 1.586 * [taylor]: Taking taylor expansion of z in z 1.592 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1.592 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.592 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.592 * [taylor]: Taking taylor expansion of z in z 1.593 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.593 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.593 * [taylor]: Taking taylor expansion of z in z 1.598 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.598 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.598 * [taylor]: Taking taylor expansion of z in z 1.598 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.598 * [taylor]: Taking taylor expansion of z in z 1.601 * * * [progress]: simplifying candidates 1.602 * [simplify]: Simplifying using # : (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 1.606 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 1.608 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 1.612 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 1.623 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 1.665 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 1.668 * [simplify]: Simplified to: (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 1.668 * * * [progress]: adding candidates to table 2.471 * * [progress]: iteration 2 / 4 2.471 * * * [progress]: picking best candidate 2.481 * * * * [pick]: Picked # 2.481 * * * [progress]: localizing error 2.537 * * * [progress]: generating rewritten candidates 2.537 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 2.544 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 2.551 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 2.558 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 2.567 * * * [progress]: generating series expansions 2.567 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 2.567 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.567 * [taylor]: Taking taylor expansion of (- z) in z 2.567 * [taylor]: Taking taylor expansion of z in z 2.567 * [taylor]: Taking taylor expansion of (- z) in z 2.567 * [taylor]: Taking taylor expansion of z in z 2.575 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.575 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.575 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.575 * [taylor]: Taking taylor expansion of z in z 2.576 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.576 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.576 * [taylor]: Taking taylor expansion of z in z 2.580 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.580 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.580 * [taylor]: Taking taylor expansion of z in z 2.581 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.581 * [taylor]: Taking taylor expansion of z in z 2.584 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 2.584 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.584 * [taylor]: Taking taylor expansion of (- z) in z 2.584 * [taylor]: Taking taylor expansion of z in z 2.584 * [taylor]: Taking taylor expansion of (- z) in z 2.584 * [taylor]: Taking taylor expansion of z in z 2.586 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.586 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.586 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.586 * [taylor]: Taking taylor expansion of z in z 2.586 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.586 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.586 * [taylor]: Taking taylor expansion of z in z 2.591 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.591 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.591 * [taylor]: Taking taylor expansion of z in z 2.591 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.591 * [taylor]: Taking taylor expansion of z in z 2.595 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 2.595 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.595 * [taylor]: Taking taylor expansion of (- z) in z 2.595 * [taylor]: Taking taylor expansion of z in z 2.595 * [taylor]: Taking taylor expansion of (- z) in z 2.595 * [taylor]: Taking taylor expansion of z in z 2.597 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.597 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.597 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.597 * [taylor]: Taking taylor expansion of z in z 2.597 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.597 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.597 * [taylor]: Taking taylor expansion of z in z 2.602 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.602 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.602 * [taylor]: Taking taylor expansion of z in z 2.602 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.602 * [taylor]: Taking taylor expansion of z in z 2.606 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2 1) 2.606 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.606 * [taylor]: Taking taylor expansion of (- z) in z 2.606 * [taylor]: Taking taylor expansion of z in z 2.606 * [taylor]: Taking taylor expansion of (- z) in z 2.606 * [taylor]: Taking taylor expansion of z in z 2.608 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.608 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.608 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.608 * [taylor]: Taking taylor expansion of z in z 2.608 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.608 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.608 * [taylor]: Taking taylor expansion of z in z 2.613 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.613 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.613 * [taylor]: Taking taylor expansion of z in z 2.613 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.613 * [taylor]: Taking taylor expansion of z in z 2.616 * * * [progress]: simplifying candidates 2.618 * [simplify]: Simplifying using # : (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 2.621 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 2.623 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 2.627 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 2.639 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 2.680 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 2.683 * [simplify]: Simplified to: (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 2.684 * * * [progress]: adding candidates to table 3.446 * * [progress]: iteration 3 / 4 3.446 * * * [progress]: picking best candidate 3.473 * * * * [pick]: Picked # 3.473 * * * [progress]: localizing error 3.529 * * * [progress]: generating rewritten candidates 3.529 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 3.535 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 3.545 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 3.552 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 3.562 * * * [progress]: generating series expansions 3.562 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 3.562 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 3.562 * [taylor]: Taking taylor expansion of (- z) in z 3.562 * [taylor]: Taking taylor expansion of z in z 3.562 * [taylor]: Taking taylor expansion of (- z) in z 3.562 * [taylor]: Taking taylor expansion of z in z 3.564 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 3.564 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.564 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.564 * [taylor]: Taking taylor expansion of z in z 3.564 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.564 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.564 * [taylor]: Taking taylor expansion of z in z 3.569 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.569 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.569 * [taylor]: Taking taylor expansion of z in z 3.570 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.570 * [taylor]: Taking taylor expansion of z in z 3.573 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 3.573 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 3.573 * [taylor]: Taking taylor expansion of (- z) in z 3.573 * [taylor]: Taking taylor expansion of z in z 3.573 * [taylor]: Taking taylor expansion of (- z) in z 3.573 * [taylor]: Taking taylor expansion of z in z 3.575 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 3.575 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.575 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.575 * [taylor]: Taking taylor expansion of z in z 3.575 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.575 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.575 * [taylor]: Taking taylor expansion of z in z 3.580 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.580 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.580 * [taylor]: Taking taylor expansion of z in z 3.581 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.581 * [taylor]: Taking taylor expansion of z in z 3.584 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 3.584 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 3.584 * [taylor]: Taking taylor expansion of (- z) in z 3.584 * [taylor]: Taking taylor expansion of z in z 3.584 * [taylor]: Taking taylor expansion of (- z) in z 3.584 * [taylor]: Taking taylor expansion of z in z 3.586 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 3.586 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.586 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.586 * [taylor]: Taking taylor expansion of z in z 3.586 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.586 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.586 * [taylor]: Taking taylor expansion of z in z 3.591 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.591 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.591 * [taylor]: Taking taylor expansion of z in z 3.591 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.591 * [taylor]: Taking taylor expansion of z in z 3.595 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2 1) 3.595 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 3.595 * [taylor]: Taking taylor expansion of (- z) in z 3.595 * [taylor]: Taking taylor expansion of z in z 3.595 * [taylor]: Taking taylor expansion of (- z) in z 3.595 * [taylor]: Taking taylor expansion of z in z 3.597 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 3.597 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.597 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.597 * [taylor]: Taking taylor expansion of z in z 3.597 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.597 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.597 * [taylor]: Taking taylor expansion of z in z 3.602 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.602 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.602 * [taylor]: Taking taylor expansion of z in z 3.602 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.602 * [taylor]: Taking taylor expansion of z in z 3.606 * * * [progress]: simplifying candidates 3.607 * [simplify]: Simplifying using # : (/ (exp 1.0) (* (exp 1.0) (exp z))) (/ (exp 1.0) (exp (+ 1.0 z))) (log (- 1.0 (+ 1.0 z))) (exp (- 1.0 (+ 1.0 z))) (* (cbrt (- 1.0 (+ 1.0 z))) (cbrt (- 1.0 (+ 1.0 z)))) (cbrt (- 1.0 (+ 1.0 z))) (* (* (- 1.0 (+ 1.0 z)) (- 1.0 (+ 1.0 z))) (- 1.0 (+ 1.0 z))) (sqrt (- 1.0 (+ 1.0 z))) (sqrt (- 1.0 (+ 1.0 z))) (- (pow 1.0 3) (pow (+ 1.0 z) 3)) (+ (* 1.0 1.0) (+ (* (+ 1.0 z) (+ 1.0 z)) (* 1.0 (+ 1.0 z)))) (- (+ 1.0 z)) (- (* 1.0 1.0) (* (+ 1.0 z) (+ 1.0 z))) (+ 1.0 (+ 1.0 z)) (+ (sqrt 1.0) (sqrt (+ 1.0 z))) (- (sqrt 1.0) (sqrt (+ 1.0 z))) (- 1.0 (+ 1.0 z)) (- 1.0 (+ 1.0 z)) (- 1.0 1.0) (- (+ 1.0 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))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 3.611 * * [simplify]: iteration 0 : 135 enodes (cost 288 ) 3.614 * * [simplify]: iteration 1 : 353 enodes (cost 252 ) 3.620 * * [simplify]: iteration 2 : 1340 enodes (cost 249 ) 3.651 * * [simplify]: iteration 3 : 5001 enodes (cost 249 ) 3.654 * [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)) (pow (- 0 z) 3) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow 1.0 3) (pow (+ 1.0 z) 3)) (+ (* (+ 1.0 z) (+ (+ 1.0 z) 1.0)) (* 1.0 1.0)) (- (+ 1.0 z)) (* (+ 1.0 (+ 1.0 z)) (- 0 z)) (+ 1.0 (+ 1.0 z)) (+ (sqrt 1.0) (sqrt (+ 1.0 z))) (- (sqrt 1.0) (sqrt (+ 1.0 z))) (- 0 z) (- 0 z) 0 (- (+ 1.0 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 (- 0 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.0) (* (- 0 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)) (- 0 z) (- 0 z) (- (+ 1.0 z)) (- (+ 1.0 z)) (+ 1.0 z) (- 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 (- 0 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.0) (* (- 0 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)) (- 0 z) (- 0 z) (- (+ 1.0 z)) (- (+ 1.0 z)) (+ 1.0 z) (- 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 (- 0 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.0) (* (- 0 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)) (- 0 z) (- 0 z) (- (+ 1.0 z)) (- (+ 1.0 z)) (+ 1.0 z) (- 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) 3.654 * * * [progress]: adding candidates to table 4.433 * * [progress]: iteration 4 / 4 4.433 * * * [progress]: picking best candidate 4.444 * * * * [pick]: Picked # 4.444 * * * [progress]: localizing error 4.507 * * * [progress]: generating rewritten candidates 4.507 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 1 1) 4.514 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 4.521 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 4.529 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 4.538 * * * [progress]: generating series expansions 4.538 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 1 1) 4.538 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 4.538 * [taylor]: Taking taylor expansion of (- z) in z 4.538 * [taylor]: Taking taylor expansion of z in z 4.538 * [taylor]: Taking taylor expansion of (- z) in z 4.538 * [taylor]: Taking taylor expansion of z in z 4.540 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 4.540 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.540 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.540 * [taylor]: Taking taylor expansion of z in z 4.541 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.541 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.541 * [taylor]: Taking taylor expansion of z in z 4.545 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 4.545 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.545 * [taylor]: Taking taylor expansion of z in z 4.546 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.546 * [taylor]: Taking taylor expansion of z in z 4.549 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 4.549 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 4.549 * [taylor]: Taking taylor expansion of (- z) in z 4.549 * [taylor]: Taking taylor expansion of z in z 4.549 * [taylor]: Taking taylor expansion of (- z) in z 4.549 * [taylor]: Taking taylor expansion of z in z 4.551 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 4.551 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.551 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.551 * [taylor]: Taking taylor expansion of z in z 4.551 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.551 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.551 * [taylor]: Taking taylor expansion of z in z 4.556 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 4.556 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.556 * [taylor]: Taking taylor expansion of z in z 4.556 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.557 * [taylor]: Taking taylor expansion of z in z 4.560 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 4.560 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 4.560 * [taylor]: Taking taylor expansion of (- z) in z 4.560 * [taylor]: Taking taylor expansion of z in z 4.560 * [taylor]: Taking taylor expansion of (- z) in z 4.560 * [taylor]: Taking taylor expansion of z in z 4.562 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 4.562 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.562 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.562 * [taylor]: Taking taylor expansion of z in z 4.562 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.562 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.562 * [taylor]: Taking taylor expansion of z in z 4.567 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 4.567 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.567 * [taylor]: Taking taylor expansion of z in z 4.568 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.568 * [taylor]: Taking taylor expansion of z in z 4.571 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2 1) 4.571 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 4.571 * [taylor]: Taking taylor expansion of (- z) in z 4.571 * [taylor]: Taking taylor expansion of z in z 4.571 * [taylor]: Taking taylor expansion of (- z) in z 4.571 * [taylor]: Taking taylor expansion of z in z 4.573 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 4.573 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.573 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.573 * [taylor]: Taking taylor expansion of z in z 4.573 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.573 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.573 * [taylor]: Taking taylor expansion of z in z 4.578 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 4.578 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.578 * [taylor]: Taking taylor expansion of z in z 4.579 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.579 * [taylor]: Taking taylor expansion of z in z 4.587 * * * [progress]: simplifying candidates 4.588 * [simplify]: Simplifying using # : (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 4.592 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 4.594 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 4.598 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 4.609 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 4.650 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 4.653 * [simplify]: Simplified to: (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 4.653 * * * [progress]: adding candidates to table 5.494 * [progress]: [Phase 3 of 3] Extracting. 5.494 * * [regime]: Finding splitpoints for: (# # #) 5.508 * * * [regime-changes]: Trying 2 branch expressions: ((* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- (- 1.0 z) 1.0) 7.0) 0.5) (+ (- (- 1.0 z) 1.0) 0.5))) (exp (- (+ (+ (- (- 1.0 z) 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1.0 z) 1.0) 1.0))) (/ -1259.1392167224028 (+ (- (- 1.0 z) 1.0) 2.0))) (/ 771.3234287776531 (+ (- (- 1.0 z) 1.0) 3.0))) (/ -176.6150291621406 (+ (- (- 1.0 z) 1.0) 4.0))) (/ 12.507343278686905 (+ (- (- 1.0 z) 1.0) 5.0))) (/ -0.13857109526572012 (+ (- (- 1.0 z) 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- (- 1.0 z) 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- (- 1.0 z) 1.0) 8.0))))) z) 5.508 * * * * [regimes]: Trying to branch on (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- (- 1.0 z) 1.0) 7.0) 0.5) (+ (- (- 1.0 z) 1.0) 0.5))) (exp (- (+ (+ (- (- 1.0 z) 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1.0 z) 1.0) 1.0))) (/ -1259.1392167224028 (+ (- (- 1.0 z) 1.0) 2.0))) (/ 771.3234287776531 (+ (- (- 1.0 z) 1.0) 3.0))) (/ -176.6150291621406 (+ (- (- 1.0 z) 1.0) 4.0))) (/ 12.507343278686905 (+ (- (- 1.0 z) 1.0) 5.0))) (/ -0.13857109526572012 (+ (- (- 1.0 z) 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- (- 1.0 z) 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- (- 1.0 z) 1.0) 8.0))))) from (# # #) 5.768 * * * * [regimes]: Trying to branch on z from (# # #) 5.810 * * * [regime]: Found split indices: #