25.721 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 1.472 * * * [progress]: [2/2] Setting up program. 1.485 * [progress]: [Phase 2 of 3] Improving. 1.485 * [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.488 * * [simplify]: iteration 0 : 148 enodes (cost 63 ) 1.491 * * [simplify]: iteration 1 : 617 enodes (cost 63 ) 1.504 * * [simplify]: iteration 2 : 4244 enodes (cost 62 ) 1.589 * * [simplify]: iteration 3 : 5001 enodes (cost 62 ) 1.590 * [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.603 * * [progress]: iteration 1 / 4 1.603 * * * [progress]: picking best candidate 1.629 * * * * [pick]: Picked # 1.629 * * * [progress]: localizing error 1.685 * * * [progress]: generating rewritten candidates 1.685 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1) 1.692 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 2 1) 1.699 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2 1) 1.705 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1 2 2 1) 1.714 * * * [progress]: generating series expansions 1.714 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1) 1.714 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 1.714 * [taylor]: Taking taylor expansion of (neg z) in z 1.714 * [taylor]: Taking taylor expansion of z in z 1.714 * [taylor]: Taking taylor expansion of (neg z) in z 1.714 * [taylor]: Taking taylor expansion of z in z 1.717 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 1.717 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 1.717 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.717 * [taylor]: Taking taylor expansion of z in z 1.717 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 1.717 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.717 * [taylor]: Taking taylor expansion of z in z 1.723 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.723 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.723 * [taylor]: Taking taylor expansion of z in z 1.724 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.724 * [taylor]: Taking taylor expansion of z in z 1.728 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 2 1) 1.728 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 1.728 * [taylor]: Taking taylor expansion of (neg z) in z 1.728 * [taylor]: Taking taylor expansion of z in z 1.728 * [taylor]: Taking taylor expansion of (neg z) in z 1.728 * [taylor]: Taking taylor expansion of z in z 1.731 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 1.731 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 1.731 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.731 * [taylor]: Taking taylor expansion of z in z 1.731 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 1.731 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.731 * [taylor]: Taking taylor expansion of z in z 1.737 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.737 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.737 * [taylor]: Taking taylor expansion of z in z 1.738 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.738 * [taylor]: Taking taylor expansion of z in z 1.742 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2 1) 1.742 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 1.742 * [taylor]: Taking taylor expansion of (neg z) in z 1.742 * [taylor]: Taking taylor expansion of z in z 1.742 * [taylor]: Taking taylor expansion of (neg z) in z 1.742 * [taylor]: Taking taylor expansion of z in z 1.745 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 1.745 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 1.745 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.745 * [taylor]: Taking taylor expansion of z in z 1.745 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 1.745 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.745 * [taylor]: Taking taylor expansion of z in z 1.751 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.751 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.751 * [taylor]: Taking taylor expansion of z in z 1.752 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.752 * [taylor]: Taking taylor expansion of z in z 1.756 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1 2 2 1) 1.756 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 1.756 * [taylor]: Taking taylor expansion of (neg z) in z 1.756 * [taylor]: Taking taylor expansion of z in z 1.756 * [taylor]: Taking taylor expansion of (neg z) in z 1.756 * [taylor]: Taking taylor expansion of z in z 1.761 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 1.761 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 1.761 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.761 * [taylor]: Taking taylor expansion of z in z 1.762 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 1.762 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.762 * [taylor]: Taking taylor expansion of z in z 1.768 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.768 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.768 * [taylor]: Taking taylor expansion of z in z 1.768 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.768 * [taylor]: Taking taylor expansion of z in z 1.772 * * * [progress]: simplifying candidates 1.773 * [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.776 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 1.778 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 1.781 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 1.792 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 1.831 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 1.834 * [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) 1.834 * * * [progress]: adding candidates to table 2.645 * * [progress]: iteration 2 / 4 2.645 * * * [progress]: picking best candidate 2.673 * * * * [pick]: Picked # 2.673 * * * [progress]: localizing error 2.734 * * * [progress]: generating rewritten candidates 2.734 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1) 2.741 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 2 1) 2.748 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2 1) 2.755 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1 2 2 1 2 1) 2.764 * * * [progress]: generating series expansions 2.764 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1) 2.764 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 2.764 * [taylor]: Taking taylor expansion of (neg z) in z 2.764 * [taylor]: Taking taylor expansion of z in z 2.764 * [taylor]: Taking taylor expansion of (neg z) in z 2.764 * [taylor]: Taking taylor expansion of z in z 2.767 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 2.767 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 2.767 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.767 * [taylor]: Taking taylor expansion of z in z 2.768 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 2.768 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.768 * [taylor]: Taking taylor expansion of z in z 2.774 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.774 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.774 * [taylor]: Taking taylor expansion of z in z 2.775 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.775 * [taylor]: Taking taylor expansion of z in z 2.779 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 2 1) 2.779 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 2.779 * [taylor]: Taking taylor expansion of (neg z) in z 2.779 * [taylor]: Taking taylor expansion of z in z 2.779 * [taylor]: Taking taylor expansion of (neg z) in z 2.779 * [taylor]: Taking taylor expansion of z in z 2.782 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 2.782 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 2.782 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.782 * [taylor]: Taking taylor expansion of z in z 2.782 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 2.782 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.782 * [taylor]: Taking taylor expansion of z in z 2.788 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.788 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.788 * [taylor]: Taking taylor expansion of z in z 2.789 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.789 * [taylor]: Taking taylor expansion of z in z 2.793 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2 1) 2.793 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 2.793 * [taylor]: Taking taylor expansion of (neg z) in z 2.793 * [taylor]: Taking taylor expansion of z in z 2.793 * [taylor]: Taking taylor expansion of (neg z) in z 2.793 * [taylor]: Taking taylor expansion of z in z 2.796 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 2.796 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 2.796 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.796 * [taylor]: Taking taylor expansion of z in z 2.796 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 2.796 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.796 * [taylor]: Taking taylor expansion of z in z 2.805 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.805 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.805 * [taylor]: Taking taylor expansion of z in z 2.805 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.805 * [taylor]: Taking taylor expansion of z in z 2.809 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1 2 2 1 2 1) 2.809 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 2.809 * [taylor]: Taking taylor expansion of (neg z) in z 2.809 * [taylor]: Taking taylor expansion of z in z 2.810 * [taylor]: Taking taylor expansion of (neg z) in z 2.810 * [taylor]: Taking taylor expansion of z in z 2.812 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 2.812 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 2.812 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.812 * [taylor]: Taking taylor expansion of z in z 2.813 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 2.813 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.813 * [taylor]: Taking taylor expansion of z in z 2.819 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.819 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.819 * [taylor]: Taking taylor expansion of z in z 2.819 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.819 * [taylor]: Taking taylor expansion of z in z 2.823 * * * [progress]: simplifying candidates 2.824 * [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) 2.828 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 2.829 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 2.833 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 2.843 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 2.883 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 2.885 * [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.886 * * * [progress]: adding candidates to table 3.772 * * [progress]: iteration 3 / 4 3.772 * * * [progress]: picking best candidate 3.784 * * * * [pick]: Picked # 3.784 * * * [progress]: localizing error 3.844 * * * [progress]: generating rewritten candidates 3.844 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 3.851 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 3.857 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 3.864 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 3.872 * * * [progress]: generating series expansions 3.872 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 3.872 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 3.872 * [taylor]: Taking taylor expansion of (neg z) in z 3.872 * [taylor]: Taking taylor expansion of z in z 3.872 * [taylor]: Taking taylor expansion of (neg z) in z 3.872 * [taylor]: Taking taylor expansion of z in z 3.876 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 3.876 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.876 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.876 * [taylor]: Taking taylor expansion of z in z 3.876 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.876 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.876 * [taylor]: Taking taylor expansion of z in z 3.882 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.882 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.882 * [taylor]: Taking taylor expansion of z in z 3.883 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.883 * [taylor]: Taking taylor expansion of z in z 3.887 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 3.887 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 3.887 * [taylor]: Taking taylor expansion of (neg z) in z 3.887 * [taylor]: Taking taylor expansion of z in z 3.887 * [taylor]: Taking taylor expansion of (neg z) in z 3.887 * [taylor]: Taking taylor expansion of z in z 3.890 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 3.890 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.890 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.890 * [taylor]: Taking taylor expansion of z in z 3.891 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.891 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.891 * [taylor]: Taking taylor expansion of z in z 3.897 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.897 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.897 * [taylor]: Taking taylor expansion of z in z 3.898 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.898 * [taylor]: Taking taylor expansion of z in z 3.905 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 3.905 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 3.905 * [taylor]: Taking taylor expansion of (neg z) in z 3.905 * [taylor]: Taking taylor expansion of z in z 3.905 * [taylor]: Taking taylor expansion of (neg z) in z 3.905 * [taylor]: Taking taylor expansion of z in z 3.908 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 3.908 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.908 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.908 * [taylor]: Taking taylor expansion of z in z 3.908 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.908 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.908 * [taylor]: Taking taylor expansion of z in z 3.914 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.915 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.915 * [taylor]: Taking taylor expansion of z in z 3.915 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.915 * [taylor]: Taking taylor expansion of z in z 3.919 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2 1) 3.919 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 3.919 * [taylor]: Taking taylor expansion of (neg z) in z 3.919 * [taylor]: Taking taylor expansion of z in z 3.919 * [taylor]: Taking taylor expansion of (neg z) in z 3.919 * [taylor]: Taking taylor expansion of z in z 3.922 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 3.922 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.922 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.922 * [taylor]: Taking taylor expansion of z in z 3.922 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.922 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.922 * [taylor]: Taking taylor expansion of z in z 3.928 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.928 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.928 * [taylor]: Taking taylor expansion of z in z 3.929 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.929 * [taylor]: Taking taylor expansion of z in z 3.933 * * * [progress]: simplifying candidates 3.934 * [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.937 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 3.940 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 3.943 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 3.954 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 3.995 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 3.997 * [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.998 * * * [progress]: adding candidates to table 4.617 * * [progress]: iteration 4 / 4 4.617 * * * [progress]: picking best candidate 4.631 * * * * [pick]: Picked # 4.632 * * * [progress]: localizing error 4.698 * * * [progress]: generating rewritten candidates 4.698 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 4.700 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 4.707 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 4.713 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 4.722 * * * [progress]: generating series expansions 4.722 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 4.722 * [approximate]: Taking taylor expansion of (* -1 z) in (z) around 0 4.722 * [taylor]: Taking taylor expansion of (* -1 z) in z 4.722 * [taylor]: Taking taylor expansion of -1 in z 4.722 * [taylor]: Taking taylor expansion of z in z 4.722 * [taylor]: Taking taylor expansion of (* -1 z) in z 4.722 * [taylor]: Taking taylor expansion of -1 in z 4.722 * [taylor]: Taking taylor expansion of z in z 4.729 * [approximate]: Taking taylor expansion of (/ -1 z) in (z) around 0 4.729 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.729 * [taylor]: Taking taylor expansion of -1 in z 4.729 * [taylor]: Taking taylor expansion of z in z 4.729 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.729 * [taylor]: Taking taylor expansion of -1 in z 4.729 * [taylor]: Taking taylor expansion of z in z 4.734 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 4.734 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.734 * [taylor]: Taking taylor expansion of z in z 4.735 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.735 * [taylor]: Taking taylor expansion of z in z 4.739 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 4.739 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 4.739 * [taylor]: Taking taylor expansion of (neg z) in z 4.739 * [taylor]: Taking taylor expansion of z in z 4.739 * [taylor]: Taking taylor expansion of (neg z) in z 4.739 * [taylor]: Taking taylor expansion of z in z 4.741 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 4.742 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 4.742 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.742 * [taylor]: Taking taylor expansion of z in z 4.742 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 4.742 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.742 * [taylor]: Taking taylor expansion of z in z 4.748 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 4.748 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.748 * [taylor]: Taking taylor expansion of z in z 4.749 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.749 * [taylor]: Taking taylor expansion of z in z 4.962 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 4.962 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 4.962 * [taylor]: Taking taylor expansion of (neg z) in z 4.962 * [taylor]: Taking taylor expansion of z in z 4.962 * [taylor]: Taking taylor expansion of (neg z) in z 4.962 * [taylor]: Taking taylor expansion of z in z 4.965 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 4.965 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 4.965 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.965 * [taylor]: Taking taylor expansion of z in z 4.965 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 4.965 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.965 * [taylor]: Taking taylor expansion of z in z 4.972 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 4.972 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.972 * [taylor]: Taking taylor expansion of z in z 4.972 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.972 * [taylor]: Taking taylor expansion of z in z 4.976 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2 1) 4.976 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 4.976 * [taylor]: Taking taylor expansion of (neg z) in z 4.976 * [taylor]: Taking taylor expansion of z in z 4.976 * [taylor]: Taking taylor expansion of (neg z) in z 4.976 * [taylor]: Taking taylor expansion of z in z 4.979 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 4.979 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 4.979 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.979 * [taylor]: Taking taylor expansion of z in z 4.979 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 4.979 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.979 * [taylor]: Taking taylor expansion of z in z 4.986 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 4.986 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.986 * [taylor]: Taking taylor expansion of z in z 4.986 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.987 * [taylor]: Taking taylor expansion of z in z 4.991 * * * [progress]: simplifying candidates 4.992 * [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.995 * * [simplify]: iteration 0 : 99 enodes (cost 291 ) 4.997 * * [simplify]: iteration 1 : 248 enodes (cost 263 ) 5.001 * * [simplify]: iteration 2 : 750 enodes (cost 234 ) 5.018 * * [simplify]: iteration 3 : 3887 enodes (cost 234 ) 5.098 * * [simplify]: iteration 4 : 5003 enodes (cost 234 ) 5.101 * [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) 5.101 * * * [progress]: adding candidates to table 5.761 * [progress]: [Phase 3 of 3] Extracting. 5.761 * * [regime]: Finding splitpoints for: (# # # #) 5.780 * * * [regime-changes]: Trying 1 branch expressions: (z) 5.780 * * * * [regimes]: Trying to branch on z from (# # # #) 5.856 * * * [regime]: Found split indices: #