18.262 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 1.852 * * * [progress]: [2/2] Setting up program. 1.864 * [progress]: [Phase 2 of 3] Improving. 1.864 * [simplify]: Simplifying using # : (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- (- 1.0 z) 1.0) 7.0) 0.5) (+ (- (- 1.0 z) 1.0) 0.5))) (exp (- (+ (+ (- (- 1.0 z) 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1.0 z) 1.0) 1.0))) (/ -1259.1392167224028 (+ (- (- 1.0 z) 1.0) 2.0))) (/ 771.3234287776531 (+ (- (- 1.0 z) 1.0) 3.0))) (/ -176.6150291621406 (+ (- (- 1.0 z) 1.0) 4.0))) (/ 12.507343278686905 (+ (- (- 1.0 z) 1.0) 5.0))) (/ -0.13857109526572012 (+ (- (- 1.0 z) 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- (- 1.0 z) 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- (- 1.0 z) 1.0) 8.0))))) 1.867 * * [simplify]: iteration 0 : 148 enodes (cost 63 ) 1.870 * * [simplify]: iteration 1 : 617 enodes (cost 63 ) 1.884 * * [simplify]: iteration 2 : 4243 enodes (cost 62 ) 1.977 * * [simplify]: iteration 3 : 5001 enodes (cost 62 ) 1.979 * [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.995 * * [progress]: iteration 1 / 4 1.995 * * * [progress]: picking best candidate 2.015 * * * * [pick]: Picked # 2.015 * * * [progress]: localizing error 2.077 * * * [progress]: generating rewritten candidates 2.077 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1) 2.084 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 2 1) 2.091 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2 1) 2.098 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1 2 2 1) 2.107 * * * [progress]: generating series expansions 2.107 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1) 2.107 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.107 * [taylor]: Taking taylor expansion of (- z) in z 2.107 * [taylor]: Taking taylor expansion of z in z 2.107 * [taylor]: Taking taylor expansion of (- z) in z 2.107 * [taylor]: Taking taylor expansion of z in z 2.110 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.110 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.110 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.110 * [taylor]: Taking taylor expansion of z in z 2.110 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.110 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.110 * [taylor]: Taking taylor expansion of z in z 2.115 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.115 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.115 * [taylor]: Taking taylor expansion of z in z 2.115 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.115 * [taylor]: Taking taylor expansion of z in z 2.119 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 2 1) 2.119 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.119 * [taylor]: Taking taylor expansion of (- z) in z 2.119 * [taylor]: Taking taylor expansion of z in z 2.119 * [taylor]: Taking taylor expansion of (- z) in z 2.119 * [taylor]: Taking taylor expansion of z in z 2.121 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.121 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.121 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.121 * [taylor]: Taking taylor expansion of z in z 2.121 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.121 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.121 * [taylor]: Taking taylor expansion of z in z 2.126 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.126 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.126 * [taylor]: Taking taylor expansion of z in z 2.126 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.126 * [taylor]: Taking taylor expansion of z in z 2.130 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2 1) 2.130 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.130 * [taylor]: Taking taylor expansion of (- z) in z 2.130 * [taylor]: Taking taylor expansion of z in z 2.130 * [taylor]: Taking taylor expansion of (- z) in z 2.130 * [taylor]: Taking taylor expansion of z in z 2.132 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.132 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.132 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.132 * [taylor]: Taking taylor expansion of z in z 2.132 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.132 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.132 * [taylor]: Taking taylor expansion of z in z 2.137 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.137 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.137 * [taylor]: Taking taylor expansion of z in z 2.137 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.138 * [taylor]: Taking taylor expansion of z in z 2.143 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1 2 2 1) 2.143 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.143 * [taylor]: Taking taylor expansion of (- z) in z 2.143 * [taylor]: Taking taylor expansion of z in z 2.143 * [taylor]: Taking taylor expansion of (- z) in z 2.143 * [taylor]: Taking taylor expansion of z in z 2.145 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.145 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.145 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.145 * [taylor]: Taking taylor expansion of z in z 2.145 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.145 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.145 * [taylor]: Taking taylor expansion of z in z 2.150 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.150 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.150 * [taylor]: Taking taylor expansion of z in z 2.151 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.151 * [taylor]: Taking taylor expansion of z in z 2.154 * * * [progress]: simplifying candidates 2.155 * [simplify]: Simplifying using # : (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 2.164 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 2.167 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 2.170 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 2.181 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 2.222 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 2.224 * [simplify]: Simplified to: (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 2.225 * * * [progress]: adding candidates to table 2.947 * * [progress]: iteration 2 / 4 2.947 * * * [progress]: picking best candidate 2.962 * * * * [pick]: Picked # 2.963 * * * [progress]: localizing error 3.015 * * * [progress]: generating rewritten candidates 3.016 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 3.022 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 3.029 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 3.036 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 3.047 * * * [progress]: generating series expansions 3.047 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 3.047 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 3.047 * [taylor]: Taking taylor expansion of (- z) in z 3.047 * [taylor]: Taking taylor expansion of z in z 3.047 * [taylor]: Taking taylor expansion of (- z) in z 3.047 * [taylor]: Taking taylor expansion of z in z 3.049 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 3.049 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.049 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.049 * [taylor]: Taking taylor expansion of z in z 3.050 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.050 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.050 * [taylor]: Taking taylor expansion of z in z 3.054 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.055 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.055 * [taylor]: Taking taylor expansion of z in z 3.055 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.055 * [taylor]: Taking taylor expansion of z in z 3.058 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 3.058 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 3.058 * [taylor]: Taking taylor expansion of (- z) in z 3.058 * [taylor]: Taking taylor expansion of z in z 3.058 * [taylor]: Taking taylor expansion of (- z) in z 3.058 * [taylor]: Taking taylor expansion of z in z 3.060 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 3.060 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.060 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.060 * [taylor]: Taking taylor expansion of z in z 3.061 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.061 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.061 * [taylor]: Taking taylor expansion of z in z 3.065 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.065 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.065 * [taylor]: Taking taylor expansion of z in z 3.066 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.066 * [taylor]: Taking taylor expansion of z in z 3.069 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 3.069 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 3.069 * [taylor]: Taking taylor expansion of (- z) in z 3.069 * [taylor]: Taking taylor expansion of z in z 3.069 * [taylor]: Taking taylor expansion of (- z) in z 3.069 * [taylor]: Taking taylor expansion of z in z 3.071 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 3.071 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.071 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.071 * [taylor]: Taking taylor expansion of z in z 3.072 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.072 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.072 * [taylor]: Taking taylor expansion of z in z 3.077 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.077 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.077 * [taylor]: Taking taylor expansion of z in z 3.077 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.077 * [taylor]: Taking taylor expansion of z in z 3.080 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2 1) 3.080 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 3.080 * [taylor]: Taking taylor expansion of (- z) in z 3.080 * [taylor]: Taking taylor expansion of z in z 3.080 * [taylor]: Taking taylor expansion of (- z) in z 3.080 * [taylor]: Taking taylor expansion of z in z 3.082 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 3.082 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.082 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.082 * [taylor]: Taking taylor expansion of z in z 3.083 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.083 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.083 * [taylor]: Taking taylor expansion of z in z 3.087 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.087 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.087 * [taylor]: Taking taylor expansion of z in z 3.088 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.088 * [taylor]: Taking taylor expansion of z in z 3.091 * * * [progress]: simplifying candidates 3.092 * [simplify]: Simplifying using # : (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 3.096 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 3.098 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 3.102 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 3.113 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 3.155 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 3.157 * [simplify]: Simplified to: (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (exp (* -1 z)) (exp (* -1 z)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* -1 (pow z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (* -1 1.0) (* (* -1 z) (+ (- 1.0 z) 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (* -1 z) (* -1 z) (- (- z) 1.0) (- (- z) 1.0) (+ 1.0 z) (* -1 1.0) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 3.158 * * * [progress]: adding candidates to table 4.082 * * [progress]: iteration 3 / 4 4.082 * * * [progress]: picking best candidate 4.094 * * * * [pick]: Picked # 4.094 * * * [progress]: localizing error 4.161 * * * [progress]: generating rewritten candidates 4.161 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 2) 4.170 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 4.176 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 4.183 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 4.192 * * * [progress]: generating series expansions 4.192 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 2) 4.193 * [approximate]: Taking taylor expansion of (- (sqrt (- 1.0 z)) (sqrt 1.0)) in (z) around 0 4.193 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 z)) (sqrt 1.0)) in z 4.193 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 z)) in z 4.193 * [taylor]: Taking taylor expansion of (- 1.0 z) in z 4.193 * [taylor]: Taking taylor expansion of 1.0 in z 4.193 * [taylor]: Taking taylor expansion of z in z 4.195 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 4.195 * [taylor]: Taking taylor expansion of 1.0 in z 4.196 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 z)) (sqrt 1.0)) in z 4.196 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 z)) in z 4.196 * [taylor]: Taking taylor expansion of (- 1.0 z) in z 4.196 * [taylor]: Taking taylor expansion of 1.0 in z 4.196 * [taylor]: Taking taylor expansion of z in z 4.198 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 4.198 * [taylor]: Taking taylor expansion of 1.0 in z 4.235 * [approximate]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 z))) (sqrt 1.0)) in (z) around 0 4.235 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 z))) (sqrt 1.0)) in z 4.235 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 z))) in z 4.235 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 4.235 * [taylor]: Taking taylor expansion of 1.0 in z 4.235 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.235 * [taylor]: Taking taylor expansion of z in z 4.237 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 4.237 * [taylor]: Taking taylor expansion of 1.0 in z 4.238 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 z))) (sqrt 1.0)) in z 4.238 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 z))) in z 4.238 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 4.238 * [taylor]: Taking taylor expansion of 1.0 in z 4.238 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.238 * [taylor]: Taking taylor expansion of z in z 4.239 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 4.239 * [taylor]: Taking taylor expansion of 1.0 in z 4.253 * [approximate]: Taking taylor expansion of (- (sqrt (+ (/ 1 z) 1.0)) (sqrt 1.0)) in (z) around 0 4.253 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 z) 1.0)) (sqrt 1.0)) in z 4.253 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) 1.0)) in z 4.253 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 4.253 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.253 * [taylor]: Taking taylor expansion of z in z 4.253 * [taylor]: Taking taylor expansion of 1.0 in z 4.254 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 4.254 * [taylor]: Taking taylor expansion of 1.0 in z 4.255 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 z) 1.0)) (sqrt 1.0)) in z 4.255 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) 1.0)) in z 4.255 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 4.255 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.255 * [taylor]: Taking taylor expansion of z in z 4.255 * [taylor]: Taking taylor expansion of 1.0 in z 4.256 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 4.257 * [taylor]: Taking taylor expansion of 1.0 in z 4.269 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 4.269 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 4.269 * [taylor]: Taking taylor expansion of (- z) in z 4.269 * [taylor]: Taking taylor expansion of z in z 4.269 * [taylor]: Taking taylor expansion of (- z) in z 4.269 * [taylor]: Taking taylor expansion of z in z 4.271 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 4.271 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.271 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.271 * [taylor]: Taking taylor expansion of z in z 4.272 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.272 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.272 * [taylor]: Taking taylor expansion of z in z 4.276 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 4.276 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.276 * [taylor]: Taking taylor expansion of z in z 4.277 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.277 * [taylor]: Taking taylor expansion of z in z 4.280 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 4.280 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 4.280 * [taylor]: Taking taylor expansion of (- z) in z 4.280 * [taylor]: Taking taylor expansion of z in z 4.280 * [taylor]: Taking taylor expansion of (- z) in z 4.280 * [taylor]: Taking taylor expansion of z in z 4.283 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 4.283 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.283 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.283 * [taylor]: Taking taylor expansion of z in z 4.283 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.283 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.283 * [taylor]: Taking taylor expansion of z in z 4.291 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 4.291 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.291 * [taylor]: Taking taylor expansion of z in z 4.292 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.292 * [taylor]: Taking taylor expansion of z in z 4.295 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2 1) 4.295 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 4.295 * [taylor]: Taking taylor expansion of (- z) in z 4.295 * [taylor]: Taking taylor expansion of z in z 4.295 * [taylor]: Taking taylor expansion of (- z) in z 4.295 * [taylor]: Taking taylor expansion of z in z 4.297 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 4.297 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.297 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.297 * [taylor]: Taking taylor expansion of z in z 4.297 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.297 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.297 * [taylor]: Taking taylor expansion of z in z 4.302 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 4.302 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.302 * [taylor]: Taking taylor expansion of z in z 4.302 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.302 * [taylor]: Taking taylor expansion of z in z 4.306 * * * [progress]: simplifying candidates 4.307 * [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)))) (- (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)) (- (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))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (- (+ (* 1/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)))))) (- (+ (* +nan.0 (/ 1 z)) (- (sqrt 1.0) (+ (* +nan.0 (/ 1 (pow z 2))) (- +nan.0))))) (- (+ (* +nan.0 (/ 1 z)) (- (sqrt 1.0) (+ (* +nan.0 (/ 1 (pow z 2))) (- +nan.0))))) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 4.311 * * [simplify]: iteration 0 : 193 enodes (cost 404 ) 4.315 * * [simplify]: iteration 1 : 614 enodes (cost 376 ) 4.327 * * [simplify]: iteration 2 : 2505 enodes (cost 357 ) 4.371 * * [simplify]: iteration 3 : 5001 enodes (cost 351 ) 4.374 * [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))) (- (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)) (- (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 z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (- 1.0) (* (+ (- 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) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 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 z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (- 1.0) (* (+ (- 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) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 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 z 3)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (+ (- 1.0 z) 1.0)) (* 1.0 1.0)) (- 1.0) (* (+ (- 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) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 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)))))) (- (/ (- +nan.0) z) (+ (- (sqrt 1.0) (* +nan.0 (/ 1 (pow z 2)))) +nan.0)) (- (/ (- +nan.0) z) (+ (- (sqrt 1.0) (* +nan.0 (/ 1 (pow z 2)))) +nan.0)) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) 4.375 * * * [progress]: adding candidates to table 5.185 * * [progress]: iteration 4 / 4 5.185 * * * [progress]: picking best candidate 5.199 * * * * [pick]: Picked # 5.199 * * * [progress]: localizing error 5.271 * * * [progress]: generating rewritten candidates 5.271 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 2 2) 5.283 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 5.291 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 5.298 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 5.308 * * * [progress]: generating series expansions 5.308 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 2 2) 5.309 * [approximate]: Taking taylor expansion of (- (pow (- 1.0 z) 1/4) (sqrt (sqrt 1.0))) in (z) around 0 5.309 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 z) 1/4) (sqrt (sqrt 1.0))) in z 5.309 * [taylor]: Taking taylor expansion of (pow (- 1.0 z) 1/4) in z 5.309 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (- 1.0 z)))) in z 5.309 * [taylor]: Taking taylor expansion of (* 1/4 (log (- 1.0 z))) in z 5.309 * [taylor]: Taking taylor expansion of 1/4 in z 5.309 * [taylor]: Taking taylor expansion of (log (- 1.0 z)) in z 5.309 * [taylor]: Taking taylor expansion of (- 1.0 z) in z 5.309 * [taylor]: Taking taylor expansion of 1.0 in z 5.309 * [taylor]: Taking taylor expansion of z in z 5.311 * [taylor]: Taking taylor expansion of (sqrt (sqrt 1.0)) in z 5.311 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 5.311 * [taylor]: Taking taylor expansion of 1.0 in z 5.313 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 z) 1/4) (sqrt (sqrt 1.0))) in z 5.313 * [taylor]: Taking taylor expansion of (pow (- 1.0 z) 1/4) in z 5.313 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (- 1.0 z)))) in z 5.313 * [taylor]: Taking taylor expansion of (* 1/4 (log (- 1.0 z))) in z 5.313 * [taylor]: Taking taylor expansion of 1/4 in z 5.313 * [taylor]: Taking taylor expansion of (log (- 1.0 z)) in z 5.313 * [taylor]: Taking taylor expansion of (- 1.0 z) in z 5.313 * [taylor]: Taking taylor expansion of 1.0 in z 5.313 * [taylor]: Taking taylor expansion of z in z 5.315 * [taylor]: Taking taylor expansion of (sqrt (sqrt 1.0)) in z 5.315 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 5.315 * [taylor]: Taking taylor expansion of 1.0 in z 5.369 * [approximate]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 z)) 1/4) (sqrt (sqrt 1.0))) in (z) around 0 5.369 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 z)) 1/4) (sqrt (sqrt 1.0))) in z 5.369 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 z)) 1/4) in z 5.369 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (- 1.0 (/ 1 z))))) in z 5.369 * [taylor]: Taking taylor expansion of (* 1/4 (log (- 1.0 (/ 1 z)))) in z 5.369 * [taylor]: Taking taylor expansion of 1/4 in z 5.369 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 z))) in z 5.369 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 5.369 * [taylor]: Taking taylor expansion of 1.0 in z 5.369 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.369 * [taylor]: Taking taylor expansion of z in z 5.371 * [taylor]: Taking taylor expansion of (sqrt (sqrt 1.0)) in z 5.371 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 5.371 * [taylor]: Taking taylor expansion of 1.0 in z 5.373 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 z)) 1/4) (sqrt (sqrt 1.0))) in z 5.373 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 z)) 1/4) in z 5.373 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (- 1.0 (/ 1 z))))) in z 5.373 * [taylor]: Taking taylor expansion of (* 1/4 (log (- 1.0 (/ 1 z)))) in z 5.373 * [taylor]: Taking taylor expansion of 1/4 in z 5.373 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 z))) in z 5.373 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 5.373 * [taylor]: Taking taylor expansion of 1.0 in z 5.373 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.373 * [taylor]: Taking taylor expansion of z in z 5.375 * [taylor]: Taking taylor expansion of (sqrt (sqrt 1.0)) in z 5.375 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 5.375 * [taylor]: Taking taylor expansion of 1.0 in z 5.405 * [approximate]: Taking taylor expansion of (- (pow (+ (/ 1 z) 1.0) 1/4) (sqrt (sqrt 1.0))) in (z) around 0 5.405 * [taylor]: Taking taylor expansion of (- (pow (+ (/ 1 z) 1.0) 1/4) (sqrt (sqrt 1.0))) in z 5.405 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 z) 1.0) 1/4) in z 5.405 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ (/ 1 z) 1.0)))) in z 5.405 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ (/ 1 z) 1.0))) in z 5.405 * [taylor]: Taking taylor expansion of 1/4 in z 5.405 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1.0)) in z 5.405 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 5.405 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.405 * [taylor]: Taking taylor expansion of z in z 5.405 * [taylor]: Taking taylor expansion of 1.0 in z 5.406 * [taylor]: Taking taylor expansion of (sqrt (sqrt 1.0)) in z 5.406 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 5.406 * [taylor]: Taking taylor expansion of 1.0 in z 5.408 * [taylor]: Taking taylor expansion of (- (pow (+ (/ 1 z) 1.0) 1/4) (sqrt (sqrt 1.0))) in z 5.408 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 z) 1.0) 1/4) in z 5.408 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ (/ 1 z) 1.0)))) in z 5.408 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ (/ 1 z) 1.0))) in z 5.408 * [taylor]: Taking taylor expansion of 1/4 in z 5.408 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1.0)) in z 5.408 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 5.408 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.408 * [taylor]: Taking taylor expansion of z in z 5.408 * [taylor]: Taking taylor expansion of 1.0 in z 5.409 * [taylor]: Taking taylor expansion of (sqrt (sqrt 1.0)) in z 5.409 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 5.409 * [taylor]: Taking taylor expansion of 1.0 in z 5.438 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 5.438 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 5.438 * [taylor]: Taking taylor expansion of (- z) in z 5.438 * [taylor]: Taking taylor expansion of z in z 5.438 * [taylor]: Taking taylor expansion of (- z) in z 5.438 * [taylor]: Taking taylor expansion of z in z 5.440 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 5.440 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.440 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.440 * [taylor]: Taking taylor expansion of z in z 5.440 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.440 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.440 * [taylor]: Taking taylor expansion of z in z 5.445 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.445 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.445 * [taylor]: Taking taylor expansion of z in z 5.445 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.445 * [taylor]: Taking taylor expansion of z in z 5.448 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 5.449 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 5.449 * [taylor]: Taking taylor expansion of (- z) in z 5.449 * [taylor]: Taking taylor expansion of z in z 5.449 * [taylor]: Taking taylor expansion of (- z) in z 5.449 * [taylor]: Taking taylor expansion of z in z 5.451 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 5.451 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.451 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.451 * [taylor]: Taking taylor expansion of z in z 5.451 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.451 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.451 * [taylor]: Taking taylor expansion of z in z 5.456 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.456 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.456 * [taylor]: Taking taylor expansion of z in z 5.456 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.456 * [taylor]: Taking taylor expansion of z in z 5.460 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2 1) 5.460 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 5.460 * [taylor]: Taking taylor expansion of (- z) in z 5.460 * [taylor]: Taking taylor expansion of z in z 5.460 * [taylor]: Taking taylor expansion of (- z) in z 5.460 * [taylor]: Taking taylor expansion of z in z 5.462 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 5.462 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.462 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.462 * [taylor]: Taking taylor expansion of z in z 5.462 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.462 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.462 * [taylor]: Taking taylor expansion of z in z 5.467 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.467 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.467 * [taylor]: Taking taylor expansion of z in z 5.467 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.467 * [taylor]: Taking taylor expansion of z in z 5.470 * * * [progress]: simplifying candidates 5.472 * [simplify]: Simplifying using # : (/ (exp (sqrt (sqrt (- 1.0 z)))) (exp (sqrt (sqrt 1.0)))) (log (- (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0)))) (exp (- (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0)))) (* (cbrt (- (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0)))) (cbrt (- (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0))))) (cbrt (- (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 (sqrt (- 1.0 z))) (sqrt (sqrt 1.0)))) (sqrt (- (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0)))) (- (pow (sqrt (sqrt (- 1.0 z))) 3) (pow (sqrt (sqrt 1.0)) 3)) (+ (* (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt (- 1.0 z)))) (+ (* (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0))) (* (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0))))) (- (sqrt (sqrt 1.0))) (- (* (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt (- 1.0 z)))) (* (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)))) (+ (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0))) (+ (sqrt (sqrt (sqrt (- 1.0 z)))) (sqrt (sqrt (sqrt 1.0)))) (- (sqrt (sqrt (sqrt (- 1.0 z)))) (sqrt (sqrt (sqrt 1.0)))) (+ (sqrt (sqrt (sqrt (- 1.0 z)))) (sqrt (sqrt (sqrt 1.0)))) (- (sqrt (sqrt (sqrt (- 1.0 z)))) (sqrt (sqrt (sqrt 1.0)))) (+ (sqrt (sqrt (sqrt (- 1.0 z)))) (sqrt (sqrt (sqrt 1.0)))) (- (sqrt (sqrt (sqrt (- 1.0 z)))) (sqrt (sqrt (sqrt 1.0)))) (+ (sqrt (sqrt (sqrt (- 1.0 z)))) (sqrt (sqrt (sqrt 1.0)))) (- (sqrt (sqrt (sqrt (- 1.0 z)))) (sqrt (sqrt (sqrt 1.0)))) (+ (sqrt (sqrt (sqrt (- 1.0 z)))) (sqrt (sqrt (sqrt 1.0)))) (- (sqrt (sqrt (sqrt (- 1.0 z)))) (sqrt (sqrt (sqrt 1.0)))) (+ (sqrt (sqrt (sqrt (- 1.0 z)))) (sqrt (sqrt (sqrt 1.0)))) (- (sqrt (sqrt (sqrt (- 1.0 z)))) (sqrt (sqrt (sqrt 1.0)))) (+ (sqrt (sqrt (sqrt (- 1.0 z)))) (sqrt (sqrt (sqrt 1.0)))) (- (sqrt (sqrt (sqrt (- 1.0 z)))) (sqrt (sqrt (sqrt 1.0)))) (+ (sqrt (sqrt (sqrt (- 1.0 z)))) (sqrt (sqrt (sqrt 1.0)))) (- (sqrt (sqrt (sqrt (- 1.0 z)))) (sqrt (sqrt (sqrt 1.0)))) (+ (sqrt (sqrt (sqrt (- 1.0 z)))) (sqrt (sqrt (sqrt 1.0)))) (- (sqrt (sqrt (sqrt (- 1.0 z)))) (sqrt (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))) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (/ (/ (exp 1.0) (exp z)) (exp 1.0)) (/ (exp (- 1.0 z)) (exp 1.0)) (log (- (- 1.0 z) 1.0)) (exp (- (- 1.0 z) 1.0)) (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0))) (cbrt (- (- 1.0 z) 1.0)) (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (sqrt (- (- 1.0 z) 1.0)) (- (pow (- 1.0 z) 3) (pow 1.0 3)) (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0))) (- 1.0) (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0)) (+ (- 1.0 z) 1.0) (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (- 1.0) (- (+ (pow 1.0 1/4) (* 0.03125 (* (pow z 2) (pow 1.0 1/4)))) (+ (sqrt (sqrt 1.0)) (+ (* 1/8 (* (pow z 2) (pow (/ 1 (pow 1.0 7)) 1/4))) (* 0.25 (* z (pow 1.0 1/4)))))) (- (exp (* 1/4 (- (log -1) (log (/ 1 z))))) (+ (* 0.09375 (/ (exp (* 1/4 (- (log -1) (log (/ 1 z))))) (pow z 2))) (+ (sqrt (sqrt 1.0)) (* 0.25 (/ (exp (* 1/4 (- (log -1) (log (/ 1 z))))) z))))) (- (pow (/ -1 z) -1/4) (+ (* 0.25 (pow (/ -1 (pow z 3)) 1/4)) (+ (sqrt (sqrt 1.0)) (* 0.09375 (pow (/ -1 (pow z 7)) 1/4))))) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 5.477 * * [simplify]: iteration 0 : 259 enodes (cost 571 ) 5.481 * * [simplify]: iteration 1 : 687 enodes (cost 542 ) 5.494 * * [simplify]: iteration 2 : 2245 enodes (cost 515 ) 5.533 * * [simplify]: iteration 3 : 5001 enodes (cost 512 ) 5.536 * [simplify]: Simplified to: (exp (- (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0)))) (log (- (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0)))) (exp (- (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0)))) (* (cbrt (- (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0)))) (cbrt (- (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0))))) (cbrt (- (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0)))) (pow (- (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0))) 3) (sqrt (- (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0)))) (sqrt (- (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0)))) (- (pow (sqrt (sqrt (- 1.0 z))) 3) (pow (sqrt (sqrt 1.0)) 3)) (+ (+ (sqrt (- 1.0 z)) (sqrt 1.0)) (* (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0)))) (- (sqrt (sqrt 1.0))) (- (sqrt (- 1.0 z)) (sqrt 1.0)) (+ (sqrt (sqrt (- 1.0 z))) (sqrt (sqrt 1.0))) (+ (sqrt (sqrt (sqrt (- 1.0 z)))) (sqrt (sqrt (sqrt 1.0)))) (- (sqrt (sqrt (sqrt (- 1.0 z)))) (sqrt (sqrt (sqrt 1.0)))) (+ (sqrt (sqrt (sqrt (- 1.0 z)))) (sqrt (sqrt (sqrt 1.0)))) (- (sqrt (sqrt (sqrt (- 1.0 z)))) (sqrt (sqrt (sqrt 1.0)))) (+ (sqrt (sqrt (sqrt (- 1.0 z)))) (sqrt (sqrt (sqrt 1.0)))) (- (sqrt (sqrt (sqrt (- 1.0 z)))) (sqrt (sqrt (sqrt 1.0)))) (+ (sqrt (sqrt (sqrt (- 1.0 z)))) (sqrt (sqrt (sqrt 1.0)))) (- (sqrt (sqrt (sqrt (- 1.0 z)))) (sqrt (sqrt (sqrt 1.0)))) (+ (sqrt (sqrt (sqrt (- 1.0 z)))) (sqrt (sqrt (sqrt 1.0)))) (- (sqrt (sqrt (sqrt (- 1.0 z)))) (sqrt (sqrt (sqrt 1.0)))) (+ (sqrt (sqrt (sqrt (- 1.0 z)))) (sqrt (sqrt (sqrt 1.0)))) (- (sqrt (sqrt (sqrt (- 1.0 z)))) (sqrt (sqrt (sqrt 1.0)))) (+ (sqrt (sqrt (sqrt (- 1.0 z)))) (sqrt (sqrt (sqrt 1.0)))) (- (sqrt (sqrt (sqrt (- 1.0 z)))) (sqrt (sqrt (sqrt 1.0)))) (+ (sqrt (sqrt (sqrt (- 1.0 z)))) (sqrt (sqrt (sqrt 1.0)))) (- (sqrt (sqrt (sqrt (- 1.0 z)))) (sqrt (sqrt (sqrt 1.0)))) (+ (sqrt (sqrt (sqrt (- 1.0 z)))) (sqrt (sqrt (sqrt 1.0)))) (- (sqrt (sqrt (sqrt (- 1.0 z)))) (sqrt (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))) (/ 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)) (* -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)) (- 0 z) (- 0 z) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (* -1 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)) (* -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)) (- 0 z) (- 0 z) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (* -1 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)) (* -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)) (- 0 z) (- 0 z) (- (- z) 1.0) (- (- z) 1.0) (+ z 1.0) (* -1 1.0) (- (- (* (+ (* 0.03125 (pow z 2)) 1) (pow 1.0 1/4)) (+ (sqrt (sqrt 1.0)) (* 1/8 (* (pow z 2) (pow (/ 1 (pow 1.0 7)) 1/4))))) (* 0.25 (* z (pow 1.0 1/4)))) (- (- (pow (exp 1/4) (+ (log z) (log -1))) (* (/ (exp (* 1/4 (- (log -1) (log (/ 1 z))))) z) (+ (/ 0.09375 z) 0.25))) (sqrt (sqrt 1.0))) (- (pow (/ -1 z) -1/4) (+ (* 0.25 (pow (/ -1 (pow z 3)) 1/4)) (+ (sqrt (sqrt 1.0)) (* 0.09375 (pow (/ -1 (pow z 7)) 1/4))))) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) (- 0 z) 5.537 * * * [progress]: adding candidates to table 6.498 * [progress]: [Phase 3 of 3] Extracting. 6.498 * * [regime]: Finding splitpoints for: (# # # #) 6.524 * * * [regime-changes]: Trying 2 branch expressions: ((* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- (- 1.0 z) 1.0) 7.0) 0.5) (+ (- (- 1.0 z) 1.0) 0.5))) (exp (- (+ (+ (- (- 1.0 z) 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1.0 z) 1.0) 1.0))) (/ -1259.1392167224028 (+ (- (- 1.0 z) 1.0) 2.0))) (/ 771.3234287776531 (+ (- (- 1.0 z) 1.0) 3.0))) (/ -176.6150291621406 (+ (- (- 1.0 z) 1.0) 4.0))) (/ 12.507343278686905 (+ (- (- 1.0 z) 1.0) 5.0))) (/ -0.13857109526572012 (+ (- (- 1.0 z) 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- (- 1.0 z) 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- (- 1.0 z) 1.0) 8.0))))) z) 6.524 * * * * [regimes]: Trying to branch on (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- (- 1.0 z) 1.0) 7.0) 0.5) (+ (- (- 1.0 z) 1.0) 0.5))) (exp (- (+ (+ (- (- 1.0 z) 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1.0 z) 1.0) 1.0))) (/ -1259.1392167224028 (+ (- (- 1.0 z) 1.0) 2.0))) (/ 771.3234287776531 (+ (- (- 1.0 z) 1.0) 3.0))) (/ -176.6150291621406 (+ (- (- 1.0 z) 1.0) 4.0))) (/ 12.507343278686905 (+ (- (- 1.0 z) 1.0) 5.0))) (/ -0.13857109526572012 (+ (- (- 1.0 z) 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- (- 1.0 z) 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- (- 1.0 z) 1.0) 8.0))))) from (# # # #) 6.615 * * * * [regimes]: Trying to branch on z from (# # # #) 6.683 * * * [regime]: Found split indices: #