14.774 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 1.672 * * * [progress]: [2/2] Setting up program. 1.678 * [progress]: [Phase 2 of 3] Improving. 1.679 * [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.681 * * [simplify]: iteration 0 : 148 enodes (cost 63 ) 1.683 * * [simplify]: iteration 1 : 617 enodes (cost 63 ) 1.695 * * [simplify]: iteration 2 : 4244 enodes (cost 62 ) 1.784 * * [simplify]: iteration 3 : 5001 enodes (cost 62 ) 1.785 * [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.792 * * [progress]: iteration 1 / 4 1.792 * * * [progress]: picking best candidate 1.805 * * * * [pick]: Picked # 1.805 * * * [progress]: localizing error 1.860 * * * [progress]: generating rewritten candidates 1.860 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1) 1.867 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 2 1) 1.874 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2 1) 1.881 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1 2 2 1) 1.889 * * * [progress]: generating series expansions 1.889 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1) 1.889 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 1.889 * [taylor]: Taking taylor expansion of (neg z) in z 1.889 * [taylor]: Taking taylor expansion of z in z 1.889 * [taylor]: Taking taylor expansion of (neg z) in z 1.889 * [taylor]: Taking taylor expansion of z in z 1.890 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 1.890 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 1.890 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.890 * [taylor]: Taking taylor expansion of z in z 1.890 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 1.890 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.890 * [taylor]: Taking taylor expansion of z in z 1.890 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.890 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.890 * [taylor]: Taking taylor expansion of z in z 1.890 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.890 * [taylor]: Taking taylor expansion of z in z 1.891 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 2 1) 1.891 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 1.891 * [taylor]: Taking taylor expansion of (neg z) in z 1.891 * [taylor]: Taking taylor expansion of z in z 1.891 * [taylor]: Taking taylor expansion of (neg z) in z 1.891 * [taylor]: Taking taylor expansion of z in z 1.891 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 1.891 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 1.891 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.891 * [taylor]: Taking taylor expansion of z in z 1.891 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 1.891 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.891 * [taylor]: Taking taylor expansion of z in z 1.892 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.892 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.892 * [taylor]: Taking taylor expansion of z in z 1.892 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.892 * [taylor]: Taking taylor expansion of z in z 1.892 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2 1) 1.892 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 1.892 * [taylor]: Taking taylor expansion of (neg z) in z 1.892 * [taylor]: Taking taylor expansion of z in z 1.892 * [taylor]: Taking taylor expansion of (neg z) in z 1.892 * [taylor]: Taking taylor expansion of z in z 1.892 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 1.892 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 1.892 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.892 * [taylor]: Taking taylor expansion of z in z 1.893 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 1.893 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.893 * [taylor]: Taking taylor expansion of z in z 1.893 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.893 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.893 * [taylor]: Taking taylor expansion of z in z 1.893 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.893 * [taylor]: Taking taylor expansion of z in z 1.894 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1 2 2 1) 1.894 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 1.894 * [taylor]: Taking taylor expansion of (neg z) in z 1.894 * [taylor]: Taking taylor expansion of z in z 1.894 * [taylor]: Taking taylor expansion of (neg z) in z 1.894 * [taylor]: Taking taylor expansion of z in z 1.894 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 1.894 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 1.894 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.894 * [taylor]: Taking taylor expansion of z in z 1.894 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 1.894 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.894 * [taylor]: Taking taylor expansion of z in z 1.895 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.895 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.895 * [taylor]: Taking taylor expansion of z in z 1.895 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.895 * [taylor]: Taking taylor expansion of z in z 1.895 * * * [progress]: simplifying candidates 1.896 * [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.899 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 1.901 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 1.904 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 1.915 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 1.955 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 1.958 * [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.958 * * * [progress]: adding candidates to table 2.429 * * [progress]: iteration 2 / 4 2.429 * * * [progress]: picking best candidate 2.435 * * * * [pick]: Picked # 2.435 * * * [progress]: localizing error 2.489 * * * [progress]: generating rewritten candidates 2.489 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 2.496 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 2.502 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 2.509 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 2.522 * * * [progress]: generating series expansions 2.522 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 2.522 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 2.522 * [taylor]: Taking taylor expansion of (neg z) in z 2.522 * [taylor]: Taking taylor expansion of z in z 2.522 * [taylor]: Taking taylor expansion of (neg z) in z 2.522 * [taylor]: Taking taylor expansion of z in z 2.522 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 2.522 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 2.522 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.522 * [taylor]: Taking taylor expansion of z in z 2.522 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 2.522 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.522 * [taylor]: Taking taylor expansion of z in z 2.523 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.523 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.523 * [taylor]: Taking taylor expansion of z in z 2.523 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.523 * [taylor]: Taking taylor expansion of z in z 2.523 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 2.523 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 2.523 * [taylor]: Taking taylor expansion of (neg z) in z 2.523 * [taylor]: Taking taylor expansion of z in z 2.523 * [taylor]: Taking taylor expansion of (neg z) in z 2.523 * [taylor]: Taking taylor expansion of z in z 2.524 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 2.524 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 2.524 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.524 * [taylor]: Taking taylor expansion of z in z 2.524 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 2.524 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.524 * [taylor]: Taking taylor expansion of z in z 2.524 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.524 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.524 * [taylor]: Taking taylor expansion of z in z 2.524 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.524 * [taylor]: Taking taylor expansion of z in z 2.525 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 2.525 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 2.525 * [taylor]: Taking taylor expansion of (neg z) in z 2.525 * [taylor]: Taking taylor expansion of z in z 2.525 * [taylor]: Taking taylor expansion of (neg z) in z 2.525 * [taylor]: Taking taylor expansion of z in z 2.525 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 2.525 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 2.525 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.525 * [taylor]: Taking taylor expansion of z in z 2.525 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 2.525 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.525 * [taylor]: Taking taylor expansion of z in z 2.526 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.526 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.526 * [taylor]: Taking taylor expansion of z in z 2.526 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.526 * [taylor]: Taking taylor expansion of z in z 2.526 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2 1) 2.526 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 2.526 * [taylor]: Taking taylor expansion of (neg z) in z 2.526 * [taylor]: Taking taylor expansion of z in z 2.526 * [taylor]: Taking taylor expansion of (neg z) in z 2.526 * [taylor]: Taking taylor expansion of z in z 2.526 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 2.526 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 2.526 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.526 * [taylor]: Taking taylor expansion of z in z 2.527 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 2.527 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.527 * [taylor]: Taking taylor expansion of z in z 2.527 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.527 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.527 * [taylor]: Taking taylor expansion of z in z 2.527 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.527 * [taylor]: Taking taylor expansion of z in z 2.528 * * * [progress]: simplifying candidates 2.529 * [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.532 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 2.533 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 2.537 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 2.548 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 2.591 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 2.594 * [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.595 * * * [progress]: adding candidates to table 3.069 * * [progress]: iteration 3 / 4 3.069 * * * [progress]: picking best candidate 3.080 * * * * [pick]: Picked # 3.080 * * * [progress]: localizing error 3.138 * * * [progress]: generating rewritten candidates 3.138 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2 1) 3.145 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 2 1) 3.151 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 3.158 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 2 2 1) 3.166 * * * [progress]: generating series expansions 3.166 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2 1) 3.166 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 3.167 * [taylor]: Taking taylor expansion of (neg z) in z 3.167 * [taylor]: Taking taylor expansion of z in z 3.167 * [taylor]: Taking taylor expansion of (neg z) in z 3.167 * [taylor]: Taking taylor expansion of z in z 3.167 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 3.167 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.167 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.167 * [taylor]: Taking taylor expansion of z in z 3.167 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.167 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.167 * [taylor]: Taking taylor expansion of z in z 3.167 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.167 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.167 * [taylor]: Taking taylor expansion of z in z 3.167 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.168 * [taylor]: Taking taylor expansion of z in z 3.168 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 2 1) 3.168 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 3.168 * [taylor]: Taking taylor expansion of (neg z) in z 3.168 * [taylor]: Taking taylor expansion of z in z 3.168 * [taylor]: Taking taylor expansion of (neg z) in z 3.168 * [taylor]: Taking taylor expansion of z in z 3.168 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 3.168 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.168 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.168 * [taylor]: Taking taylor expansion of z in z 3.168 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.168 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.168 * [taylor]: Taking taylor expansion of z in z 3.169 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.169 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.169 * [taylor]: Taking taylor expansion of z in z 3.169 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.169 * [taylor]: Taking taylor expansion of z in z 3.169 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 2 2 1) 3.169 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 3.169 * [taylor]: Taking taylor expansion of (neg z) in z 3.169 * [taylor]: Taking taylor expansion of z in z 3.169 * [taylor]: Taking taylor expansion of (neg z) in z 3.170 * [taylor]: Taking taylor expansion of z in z 3.170 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 3.170 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.170 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.170 * [taylor]: Taking taylor expansion of z in z 3.170 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.170 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.170 * [taylor]: Taking taylor expansion of z in z 3.170 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.170 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.170 * [taylor]: Taking taylor expansion of z in z 3.170 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.170 * [taylor]: Taking taylor expansion of z in z 3.171 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 2 2 1) 3.171 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 3.171 * [taylor]: Taking taylor expansion of (neg z) in z 3.171 * [taylor]: Taking taylor expansion of z in z 3.171 * [taylor]: Taking taylor expansion of (neg z) in z 3.171 * [taylor]: Taking taylor expansion of z in z 3.171 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 3.171 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.171 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.171 * [taylor]: Taking taylor expansion of z in z 3.171 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.171 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.171 * [taylor]: Taking taylor expansion of z in z 3.172 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.172 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.172 * [taylor]: Taking taylor expansion of z in z 3.172 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.172 * [taylor]: Taking taylor expansion of z in z 3.172 * * * [progress]: simplifying candidates 3.173 * [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.176 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 3.178 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 3.181 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 3.192 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 3.232 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 3.239 * [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.240 * * * [progress]: adding candidates to table 3.701 * * [progress]: iteration 4 / 4 3.701 * * * [progress]: picking best candidate 3.706 * * * * [pick]: Picked # 3.707 * * * [progress]: localizing error 3.764 * * * [progress]: generating rewritten candidates 3.764 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 1 1) 3.771 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 3.777 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 3.784 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 3.792 * * * [progress]: generating series expansions 3.793 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 1 1) 3.793 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 3.793 * [taylor]: Taking taylor expansion of (neg z) in z 3.793 * [taylor]: Taking taylor expansion of z in z 3.793 * [taylor]: Taking taylor expansion of (neg z) in z 3.793 * [taylor]: Taking taylor expansion of z in z 3.793 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 3.793 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.793 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.793 * [taylor]: Taking taylor expansion of z in z 3.793 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.793 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.793 * [taylor]: Taking taylor expansion of z in z 3.794 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.794 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.794 * [taylor]: Taking taylor expansion of z in z 3.794 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.794 * [taylor]: Taking taylor expansion of z in z 3.794 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 3.794 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 3.794 * [taylor]: Taking taylor expansion of (neg z) in z 3.794 * [taylor]: Taking taylor expansion of z in z 3.794 * [taylor]: Taking taylor expansion of (neg z) in z 3.794 * [taylor]: Taking taylor expansion of z in z 3.794 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 3.794 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.794 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.794 * [taylor]: Taking taylor expansion of z in z 3.794 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.795 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.795 * [taylor]: Taking taylor expansion of z in z 3.795 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.795 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.795 * [taylor]: Taking taylor expansion of z in z 3.795 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.795 * [taylor]: Taking taylor expansion of z in z 3.796 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 3.796 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 3.796 * [taylor]: Taking taylor expansion of (neg z) in z 3.796 * [taylor]: Taking taylor expansion of z in z 3.796 * [taylor]: Taking taylor expansion of (neg z) in z 3.796 * [taylor]: Taking taylor expansion of z in z 3.796 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 3.796 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.796 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.796 * [taylor]: Taking taylor expansion of z in z 3.796 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.796 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.796 * [taylor]: Taking taylor expansion of z in z 3.796 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.796 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.797 * [taylor]: Taking taylor expansion of z in z 3.797 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.797 * [taylor]: Taking taylor expansion of z in z 3.797 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2 1) 3.797 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 3.797 * [taylor]: Taking taylor expansion of (neg z) in z 3.797 * [taylor]: Taking taylor expansion of z in z 3.797 * [taylor]: Taking taylor expansion of (neg z) in z 3.797 * [taylor]: Taking taylor expansion of z in z 3.797 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 3.797 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.797 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.797 * [taylor]: Taking taylor expansion of z in z 3.797 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.797 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.797 * [taylor]: Taking taylor expansion of z in z 3.798 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.798 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.798 * [taylor]: Taking taylor expansion of z in z 3.798 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.798 * [taylor]: Taking taylor expansion of z in z 3.798 * * * [progress]: simplifying candidates 3.799 * [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.802 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 3.804 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 3.807 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 3.818 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 3.858 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 3.860 * [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.861 * * * [progress]: adding candidates to table 4.360 * [progress]: [Phase 3 of 3] Extracting. 4.360 * * [regime]: Finding splitpoints for: (# # #) 4.373 * * * [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) 4.373 * * * * [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 (# # #) 4.460 * * * * [regimes]: Trying to branch on z from (# # #) 4.498 * * * [regime]: Found split indices: #