7.643 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 6.450 * * * [progress]: [2/2] Setting up program. 6.460 * [progress]: [Phase 2 of 3] Improving. 6.460 * [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))))) 6.463 * * [simplify]: iteration 0 : 148 enodes (cost 63 ) 6.467 * * [simplify]: iteration 1 : 617 enodes (cost 63 ) 6.482 * * [simplify]: iteration 2 : 4244 enodes (cost 62 ) 6.574 * * [simplify]: iteration 3 : 5001 enodes (cost 62 ) 6.575 * [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))) 6.582 * * [progress]: iteration 1 / 4 6.582 * * * [progress]: picking best candidate 6.594 * * * * [pick]: Picked # 6.594 * * * [progress]: localizing error 6.656 * * * [progress]: generating rewritten candidates 6.656 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1) 6.664 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 2 1) 6.671 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2 1) 6.678 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1 2 2 1) 6.688 * * * [progress]: generating series expansions 6.688 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1) 6.688 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 6.688 * [taylor]: Taking taylor expansion of (neg z) in z 6.688 * [taylor]: Taking taylor expansion of z in z 6.688 * [taylor]: Taking taylor expansion of (neg z) in z 6.688 * [taylor]: Taking taylor expansion of z in z 6.688 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 6.688 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 6.688 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.688 * [taylor]: Taking taylor expansion of z in z 6.688 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 6.688 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.688 * [taylor]: Taking taylor expansion of z in z 6.689 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 6.689 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.689 * [taylor]: Taking taylor expansion of z in z 6.689 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.689 * [taylor]: Taking taylor expansion of z in z 6.689 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 2 1) 6.690 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 6.690 * [taylor]: Taking taylor expansion of (neg z) in z 6.690 * [taylor]: Taking taylor expansion of z in z 6.690 * [taylor]: Taking taylor expansion of (neg z) in z 6.690 * [taylor]: Taking taylor expansion of z in z 6.690 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 6.690 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 6.690 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.690 * [taylor]: Taking taylor expansion of z in z 6.690 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 6.690 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.690 * [taylor]: Taking taylor expansion of z in z 6.690 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 6.690 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.690 * [taylor]: Taking taylor expansion of z in z 6.690 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.690 * [taylor]: Taking taylor expansion of z in z 6.691 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2 1) 6.691 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 6.691 * [taylor]: Taking taylor expansion of (neg z) in z 6.691 * [taylor]: Taking taylor expansion of z in z 6.691 * [taylor]: Taking taylor expansion of (neg z) in z 6.691 * [taylor]: Taking taylor expansion of z in z 6.691 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 6.691 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 6.691 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.691 * [taylor]: Taking taylor expansion of z in z 6.691 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 6.691 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.691 * [taylor]: Taking taylor expansion of z in z 6.692 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 6.692 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.692 * [taylor]: Taking taylor expansion of z in z 6.692 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.692 * [taylor]: Taking taylor expansion of z in z 6.692 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1 2 2 1) 6.692 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 6.693 * [taylor]: Taking taylor expansion of (neg z) in z 6.693 * [taylor]: Taking taylor expansion of z in z 6.693 * [taylor]: Taking taylor expansion of (neg z) in z 6.693 * [taylor]: Taking taylor expansion of z in z 6.693 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 6.693 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 6.693 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.693 * [taylor]: Taking taylor expansion of z in z 6.693 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 6.693 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.693 * [taylor]: Taking taylor expansion of z in z 6.693 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 6.693 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.693 * [taylor]: Taking taylor expansion of z in z 6.693 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.693 * [taylor]: Taking taylor expansion of z in z 6.694 * * * [progress]: simplifying candidates 6.695 * [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) 6.699 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 6.702 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 6.706 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 6.718 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 6.762 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 6.765 * [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) 6.765 * * * [progress]: adding candidates to table 7.298 * * [progress]: iteration 2 / 4 7.298 * * * [progress]: picking best candidate 7.303 * * * * [pick]: Picked # 7.303 * * * [progress]: localizing error 7.357 * * * [progress]: generating rewritten candidates 7.357 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 7.366 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 7.373 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 7.380 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 7.390 * * * [progress]: generating series expansions 7.390 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 7.390 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 7.390 * [taylor]: Taking taylor expansion of (neg z) in z 7.390 * [taylor]: Taking taylor expansion of z in z 7.390 * [taylor]: Taking taylor expansion of (neg z) in z 7.390 * [taylor]: Taking taylor expansion of z in z 7.390 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 7.390 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 7.390 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.390 * [taylor]: Taking taylor expansion of z in z 7.390 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 7.390 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.390 * [taylor]: Taking taylor expansion of z in z 7.391 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 7.391 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.391 * [taylor]: Taking taylor expansion of z in z 7.391 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.391 * [taylor]: Taking taylor expansion of z in z 7.391 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 7.392 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 7.392 * [taylor]: Taking taylor expansion of (neg z) in z 7.392 * [taylor]: Taking taylor expansion of z in z 7.392 * [taylor]: Taking taylor expansion of (neg z) in z 7.392 * [taylor]: Taking taylor expansion of z in z 7.392 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 7.392 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 7.392 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.392 * [taylor]: Taking taylor expansion of z in z 7.392 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 7.392 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.392 * [taylor]: Taking taylor expansion of z in z 7.392 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 7.393 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.393 * [taylor]: Taking taylor expansion of z in z 7.393 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.393 * [taylor]: Taking taylor expansion of z in z 7.393 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 7.393 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 7.393 * [taylor]: Taking taylor expansion of (neg z) in z 7.393 * [taylor]: Taking taylor expansion of z in z 7.393 * [taylor]: Taking taylor expansion of (neg z) in z 7.393 * [taylor]: Taking taylor expansion of z in z 7.393 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 7.393 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 7.393 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.393 * [taylor]: Taking taylor expansion of z in z 7.393 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 7.393 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.394 * [taylor]: Taking taylor expansion of z in z 7.394 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 7.394 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.394 * [taylor]: Taking taylor expansion of z in z 7.394 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.394 * [taylor]: Taking taylor expansion of z in z 7.395 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2 1) 7.395 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 7.395 * [taylor]: Taking taylor expansion of (neg z) in z 7.395 * [taylor]: Taking taylor expansion of z in z 7.395 * [taylor]: Taking taylor expansion of (neg z) in z 7.395 * [taylor]: Taking taylor expansion of z in z 7.395 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 7.395 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 7.395 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.395 * [taylor]: Taking taylor expansion of z in z 7.395 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 7.395 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.395 * [taylor]: Taking taylor expansion of z in z 7.396 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 7.396 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.396 * [taylor]: Taking taylor expansion of z in z 7.396 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.396 * [taylor]: Taking taylor expansion of z in z 7.396 * * * [progress]: simplifying candidates 7.397 * [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) 7.402 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 7.405 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 7.409 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 7.421 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 7.464 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 7.466 * [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) 7.467 * * * [progress]: adding candidates to table 7.957 * * [progress]: iteration 3 / 4 7.957 * * * [progress]: picking best candidate 7.970 * * * * [pick]: Picked # 7.970 * * * [progress]: localizing error 8.029 * * * [progress]: generating rewritten candidates 8.029 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 8.036 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 8.043 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 8.050 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 8.059 * * * [progress]: generating series expansions 8.059 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 8.059 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 8.059 * [taylor]: Taking taylor expansion of (neg z) in z 8.059 * [taylor]: Taking taylor expansion of z in z 8.059 * [taylor]: Taking taylor expansion of (neg z) in z 8.059 * [taylor]: Taking taylor expansion of z in z 8.060 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 8.060 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 8.060 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.060 * [taylor]: Taking taylor expansion of z in z 8.060 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 8.060 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.060 * [taylor]: Taking taylor expansion of z in z 8.060 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 8.060 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.060 * [taylor]: Taking taylor expansion of z in z 8.060 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.060 * [taylor]: Taking taylor expansion of z in z 8.061 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 8.061 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 8.061 * [taylor]: Taking taylor expansion of (neg z) in z 8.061 * [taylor]: Taking taylor expansion of z in z 8.061 * [taylor]: Taking taylor expansion of (neg z) in z 8.061 * [taylor]: Taking taylor expansion of z in z 8.061 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 8.061 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 8.061 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.061 * [taylor]: Taking taylor expansion of z in z 8.061 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 8.061 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.061 * [taylor]: Taking taylor expansion of z in z 8.062 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 8.062 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.062 * [taylor]: Taking taylor expansion of z in z 8.062 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.062 * [taylor]: Taking taylor expansion of z in z 8.062 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 8.062 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 8.062 * [taylor]: Taking taylor expansion of (neg z) in z 8.062 * [taylor]: Taking taylor expansion of z in z 8.062 * [taylor]: Taking taylor expansion of (neg z) in z 8.062 * [taylor]: Taking taylor expansion of z in z 8.063 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 8.063 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 8.063 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.063 * [taylor]: Taking taylor expansion of z in z 8.063 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 8.063 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.063 * [taylor]: Taking taylor expansion of z in z 8.063 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 8.063 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.063 * [taylor]: Taking taylor expansion of z in z 8.063 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.063 * [taylor]: Taking taylor expansion of z in z 8.064 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2 1) 8.064 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 8.064 * [taylor]: Taking taylor expansion of (neg z) in z 8.064 * [taylor]: Taking taylor expansion of z in z 8.064 * [taylor]: Taking taylor expansion of (neg z) in z 8.064 * [taylor]: Taking taylor expansion of z in z 8.064 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 8.064 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 8.064 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.064 * [taylor]: Taking taylor expansion of z in z 8.064 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 8.064 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.064 * [taylor]: Taking taylor expansion of z in z 8.065 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 8.065 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.065 * [taylor]: Taking taylor expansion of z in z 8.065 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.065 * [taylor]: Taking taylor expansion of z in z 8.065 * * * [progress]: simplifying candidates 8.066 * [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)))) (neg (+ 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) (neg (+ 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))) (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) 8.070 * * [simplify]: iteration 0 : 135 enodes (cost 288 ) 8.073 * * [simplify]: iteration 1 : 353 enodes (cost 252 ) 8.081 * * [simplify]: iteration 2 : 1340 enodes (cost 249 ) 8.110 * * [simplify]: iteration 3 : 5001 enodes (cost 249 ) 8.113 * [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)) (neg (+ 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 (neg (+ 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)) (neg 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) (neg (+ 1.0 z)) (neg (+ 1.0 z)) (+ 1.0 z) (neg 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)) (neg 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) (neg (+ 1.0 z)) (neg (+ 1.0 z)) (+ 1.0 z) (neg 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)) (neg 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) (neg (+ 1.0 z)) (neg (+ 1.0 z)) (+ 1.0 z) (neg 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) 8.113 * * * [progress]: adding candidates to table 8.580 * * [progress]: iteration 4 / 4 8.580 * * * [progress]: picking best candidate 8.593 * * * * [pick]: Picked # 8.593 * * * [progress]: localizing error 8.660 * * * [progress]: generating rewritten candidates 8.660 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 2) 8.669 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 8.677 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 8.685 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 8.699 * * * [progress]: generating series expansions 8.699 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 2) 8.700 * [approximate]: Taking taylor expansion of (- (sqrt (- 1.0 z)) (sqrt 1.0)) in (z) around 0 8.700 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 z)) (sqrt 1.0)) in z 8.700 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 z)) in z 8.700 * [taylor]: Taking taylor expansion of (- 1.0 z) in z 8.700 * [taylor]: Taking taylor expansion of 1.0 in z 8.700 * [taylor]: Taking taylor expansion of z in z 8.700 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 8.700 * [taylor]: Taking taylor expansion of 1.0 in z 8.700 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 z)) (sqrt 1.0)) in z 8.700 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 z)) in z 8.700 * [taylor]: Taking taylor expansion of (- 1.0 z) in z 8.700 * [taylor]: Taking taylor expansion of 1.0 in z 8.700 * [taylor]: Taking taylor expansion of z in z 8.700 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 8.700 * [taylor]: Taking taylor expansion of 1.0 in z 8.702 * [approximate]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 z))) (sqrt 1.0)) in (z) around 0 8.702 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 z))) (sqrt 1.0)) in z 8.702 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 z))) in z 8.702 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 8.702 * [taylor]: Taking taylor expansion of 1.0 in z 8.702 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.702 * [taylor]: Taking taylor expansion of z in z 8.702 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 8.702 * [taylor]: Taking taylor expansion of 1.0 in z 8.702 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 z))) (sqrt 1.0)) in z 8.702 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 z))) in z 8.702 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 8.702 * [taylor]: Taking taylor expansion of 1.0 in z 8.702 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.702 * [taylor]: Taking taylor expansion of z in z 8.702 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 8.702 * [taylor]: Taking taylor expansion of 1.0 in z 8.704 * [approximate]: Taking taylor expansion of (- (sqrt (+ (/ 1 z) 1.0)) (sqrt 1.0)) in (z) around 0 8.704 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 z) 1.0)) (sqrt 1.0)) in z 8.704 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) 1.0)) in z 8.704 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 8.704 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.704 * [taylor]: Taking taylor expansion of z in z 8.704 * [taylor]: Taking taylor expansion of 1.0 in z 8.704 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 8.704 * [taylor]: Taking taylor expansion of 1.0 in z 8.704 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 z) 1.0)) (sqrt 1.0)) in z 8.704 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) 1.0)) in z 8.704 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 8.704 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.704 * [taylor]: Taking taylor expansion of z in z 8.704 * [taylor]: Taking taylor expansion of 1.0 in z 8.704 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 8.704 * [taylor]: Taking taylor expansion of 1.0 in z 8.706 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 8.706 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 8.706 * [taylor]: Taking taylor expansion of (neg z) in z 8.706 * [taylor]: Taking taylor expansion of z in z 8.706 * [taylor]: Taking taylor expansion of (neg z) in z 8.706 * [taylor]: Taking taylor expansion of z in z 8.706 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 8.706 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 8.706 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.706 * [taylor]: Taking taylor expansion of z in z 8.706 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 8.706 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.706 * [taylor]: Taking taylor expansion of z in z 8.707 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 8.707 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.707 * [taylor]: Taking taylor expansion of z in z 8.707 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.707 * [taylor]: Taking taylor expansion of z in z 8.707 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 8.707 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 8.707 * [taylor]: Taking taylor expansion of (neg z) in z 8.707 * [taylor]: Taking taylor expansion of z in z 8.707 * [taylor]: Taking taylor expansion of (neg z) in z 8.707 * [taylor]: Taking taylor expansion of z in z 8.708 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 8.708 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 8.708 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.708 * [taylor]: Taking taylor expansion of z in z 8.708 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 8.708 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.708 * [taylor]: Taking taylor expansion of z in z 8.708 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 8.708 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.708 * [taylor]: Taking taylor expansion of z in z 8.708 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.708 * [taylor]: Taking taylor expansion of z in z 8.709 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2 1) 8.709 * [approximate]: Taking taylor expansion of (neg z) in (z) around 0 8.709 * [taylor]: Taking taylor expansion of (neg z) in z 8.709 * [taylor]: Taking taylor expansion of z in z 8.709 * [taylor]: Taking taylor expansion of (neg z) in z 8.709 * [taylor]: Taking taylor expansion of z in z 8.709 * [approximate]: Taking taylor expansion of (neg (/ 1 z)) in (z) around 0 8.709 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 8.709 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.709 * [taylor]: Taking taylor expansion of z in z 8.709 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 8.709 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.709 * [taylor]: Taking taylor expansion of z in z 8.710 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 8.710 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.710 * [taylor]: Taking taylor expansion of z in z 8.710 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.710 * [taylor]: Taking taylor expansion of z in z 8.710 * * * [progress]: simplifying candidates 8.711 * [simplify]: Simplifying using # : (/ (exp (sqrt (- 1.0 z))) (exp (sqrt 1.0))) (log (- (sqrt (- 1.0 z)) (sqrt 1.0))) (exp (- (sqrt (- 1.0 z)) (sqrt 1.0))) (* (cbrt (- (sqrt (- 1.0 z)) (sqrt 1.0))) (cbrt (- (sqrt (- 1.0 z)) (sqrt 1.0)))) (cbrt (- (sqrt (- 1.0 z)) (sqrt 1.0))) (* (* (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0))) (- (sqrt (- 1.0 z)) (sqrt 1.0))) (sqrt (- (sqrt (- 1.0 z)) (sqrt 1.0))) (sqrt (- (sqrt (- 1.0 z)) (sqrt 1.0))) (- (pow (sqrt (- 1.0 z)) 3) (pow (sqrt 1.0) 3)) (+ (* (sqrt (- 1.0 z)) (sqrt (- 1.0 z))) (+ (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt (- 1.0 z)) (sqrt 1.0)))) (neg (sqrt 1.0)) (- (* (sqrt (- 1.0 z)) (sqrt (- 1.0 z))) (* (sqrt 1.0) (sqrt 1.0))) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (+ (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0))) (- (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0))) (+ (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0))) (- (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0))) (+ (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0))) (- (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0))) (+ (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0))) (- (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0))) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (neg (sqrt 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) (neg (+ (* 1/8 (/ (pow z 2) (pow (sqrt 1.0) 3))) (+ (* 1/2 (/ z (sqrt 1.0))) (* 1/16 (/ (pow z 3) (pow (sqrt 1.0) 5)))))) (- (+ (* 1.0 (/ NAN z)) (+ (* 2 (/ (pow NAN 5) (pow z 2))) NAN)) (+ (* 2.0 (/ (pow NAN 3) (pow z 2))) (+ (sqrt 1.0) (/ (pow NAN 3) z)))) (- (+ (/ (pow NAN 3) z) (+ (* 2 (/ (pow NAN 5) (pow z 2))) NAN)) (+ (* 2.0 (/ (pow NAN 3) (pow z 2))) (+ (* 1.0 (/ NAN z)) (sqrt 1.0)))) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 8.716 * * [simplify]: iteration 0 : 226 enodes (cost 418 ) 8.721 * * [simplify]: iteration 1 : 784 enodes (cost 393 ) 8.736 * * [simplify]: iteration 2 : 3156 enodes (cost 372 ) 8.794 * * [simplify]: iteration 3 : 5001 enodes (cost 369 ) 8.797 * [simplify]: Simplified to: (exp (- (sqrt (- 1.0 z)) (sqrt 1.0))) (log (- (sqrt (- 1.0 z)) (sqrt 1.0))) (exp (- (sqrt (- 1.0 z)) (sqrt 1.0))) (* (cbrt (- (sqrt (- 1.0 z)) (sqrt 1.0))) (cbrt (- (sqrt (- 1.0 z)) (sqrt 1.0)))) (cbrt (- (sqrt (- 1.0 z)) (sqrt 1.0))) (pow (- (sqrt (- 1.0 z)) (sqrt 1.0)) 3) (sqrt (- (sqrt (- 1.0 z)) (sqrt 1.0))) (sqrt (- (sqrt (- 1.0 z)) (sqrt 1.0))) (- (pow (sqrt (- 1.0 z)) 3) (pow (sqrt 1.0) 3)) (+ (+ (- 1.0 z) 1.0) (* (sqrt (- 1.0 z)) (sqrt 1.0))) (neg (sqrt 1.0)) (- 0 z) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (+ (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0))) (- (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0))) (+ (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0))) (- (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0))) (+ (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0))) (- (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0))) (+ (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0))) (- (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0))) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (neg (sqrt 1.0)) (/ 1 (exp z)) (/ 1 (exp z)) (log (- (- 1.0 z) 1.0)) (/ 1 (exp z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (pow (- (- 1.0 z) 1.0) 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)) (neg 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) (neg 1.0) (/ 1 (exp z)) (/ 1 (exp z)) (log (- (- 1.0 z) 1.0)) (/ 1 (exp z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (pow (- (- 1.0 z) 1.0) 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)) (neg 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) (neg 1.0) (/ 1 (exp z)) (/ 1 (exp z)) (log (- (- 1.0 z) 1.0)) (/ 1 (exp z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (pow (- (- 1.0 z) 1.0) 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)) (neg 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) (neg 1.0) (- (* -1/8 (/ (pow z 2) (pow (sqrt 1.0) 3))) (+ (* 1/2 (/ z (sqrt 1.0))) (* 1/16 (/ (pow z 3) (pow (sqrt 1.0) 5))))) (- (+ (* 2 (/ (pow NAN 5) (pow z 2))) NAN) (- (+ (sqrt 1.0) (* (+ (/ 2.0 z) 1) (/ (pow NAN 3) z))) (* 1.0 (/ NAN z)))) (- (+ (/ (pow NAN 3) z) (+ (* 2 (/ (pow NAN 5) (pow z 2))) NAN)) (+ (* 2.0 (/ (pow NAN 3) (pow z 2))) (+ (* 1.0 (/ NAN z)) (sqrt 1.0)))) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) 8.797 * * * [progress]: adding candidates to table 9.401 * [progress]: [Phase 3 of 3] Extracting. 9.401 * * [regime]: Finding splitpoints for: (# # #) 9.416 * * * [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) 9.416 * * * * [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 (# # #) 9.513 * * * * [regimes]: Trying to branch on z from (# # #) 9.556 * * * [regime]: Found split indices: #