5.177 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 1.676 * * * [progress]: [2/2] Setting up program. 1.688 * [progress]: [Phase 2 of 3] Improving. 1.688 * [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.691 * * [simplify]: iteration 0 : 148 enodes (cost 63 ) 1.694 * * [simplify]: iteration 1 : 617 enodes (cost 63 ) 1.708 * * [simplify]: iteration 2 : 4243 enodes (cost 62 ) 1.793 * * [simplify]: iteration 3 : 5001 enodes (cost 62 ) 1.794 * [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.809 * * [progress]: iteration 1 / 4 1.809 * * * [progress]: picking best candidate 1.830 * * * * [pick]: Picked # 1.830 * * * [progress]: localizing error 1.891 * * * [progress]: generating rewritten candidates 1.891 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1) 1.909 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 2 1) 1.926 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2 1) 1.944 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1 2 2 1) 1.965 * * * [progress]: generating series expansions 1.965 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1) 1.965 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1.965 * [taylor]: Taking taylor expansion of (- z) in z 1.965 * [taylor]: Taking taylor expansion of z in z 1.965 * [taylor]: Taking taylor expansion of (- z) in z 1.965 * [taylor]: Taking taylor expansion of z in z 1.968 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1.968 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.968 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.968 * [taylor]: Taking taylor expansion of z in z 1.968 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.968 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.968 * [taylor]: Taking taylor expansion of z in z 1.973 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.973 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.973 * [taylor]: Taking taylor expansion of z in z 1.973 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.973 * [taylor]: Taking taylor expansion of z in z 1.977 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 2 1) 1.977 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1.977 * [taylor]: Taking taylor expansion of (- z) in z 1.977 * [taylor]: Taking taylor expansion of z in z 1.977 * [taylor]: Taking taylor expansion of (- z) in z 1.977 * [taylor]: Taking taylor expansion of z in z 1.979 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1.979 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.979 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.979 * [taylor]: Taking taylor expansion of z in z 1.979 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.979 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.979 * [taylor]: Taking taylor expansion of z in z 1.984 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.984 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.984 * [taylor]: Taking taylor expansion of z in z 1.984 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.984 * [taylor]: Taking taylor expansion of z in z 1.988 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2 1) 1.988 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1.988 * [taylor]: Taking taylor expansion of (- z) in z 1.988 * [taylor]: Taking taylor expansion of z in z 1.988 * [taylor]: Taking taylor expansion of (- z) in z 1.988 * [taylor]: Taking taylor expansion of z in z 1.990 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1.990 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.990 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.990 * [taylor]: Taking taylor expansion of z in z 1.990 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.990 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.990 * [taylor]: Taking taylor expansion of z in z 1.995 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.995 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.995 * [taylor]: Taking taylor expansion of z in z 1.996 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.996 * [taylor]: Taking taylor expansion of z in z 1.999 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1 2 2 1) 1.999 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1.999 * [taylor]: Taking taylor expansion of (- z) in z 1.999 * [taylor]: Taking taylor expansion of z in z 1.999 * [taylor]: Taking taylor expansion of (- z) in z 1.999 * [taylor]: Taking taylor expansion of z in z 2.001 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.001 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.001 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.001 * [taylor]: Taking taylor expansion of z in z 2.001 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.001 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.001 * [taylor]: Taking taylor expansion of z in z 2.006 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.006 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.006 * [taylor]: Taking taylor expansion of z in z 2.006 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.006 * [taylor]: Taking taylor expansion of z in z 2.010 * * * [progress]: simplifying candidates 2.011 * [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.015 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 2.017 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 2.020 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 2.031 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 2.072 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 2.074 * [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.075 * * * [progress]: adding candidates to table 2.832 * * [progress]: iteration 2 / 4 2.832 * * * [progress]: picking best candidate 2.853 * * * * [pick]: Picked # 2.853 * * * [progress]: localizing error 2.922 * * * [progress]: generating rewritten candidates 2.922 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1 1 2 2 1) 2.924 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 2 1) 2.942 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 2 1) 2.959 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 2 1) 2.982 * * * [progress]: generating series expansions 2.982 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1 1 2 2 1) 2.982 * [approximate]: Taking taylor expansion of (* (cbrt -1) z) in (z) around 0 2.982 * [taylor]: Taking taylor expansion of (* (cbrt -1) z) in z 2.982 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.982 * [taylor]: Taking taylor expansion of -1 in z 2.984 * [taylor]: Taking taylor expansion of z in z 2.984 * [taylor]: Taking taylor expansion of (* (cbrt -1) z) in z 2.984 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.984 * [taylor]: Taking taylor expansion of -1 in z 2.984 * [taylor]: Taking taylor expansion of z in z 2.996 * [approximate]: Taking taylor expansion of (/ (cbrt -1) z) in (z) around 0 2.996 * [taylor]: Taking taylor expansion of (/ (cbrt -1) z) in z 2.996 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.996 * [taylor]: Taking taylor expansion of -1 in z 2.997 * [taylor]: Taking taylor expansion of z in z 2.998 * [taylor]: Taking taylor expansion of (/ (cbrt -1) z) in z 2.998 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.998 * [taylor]: Taking taylor expansion of -1 in z 2.999 * [taylor]: Taking taylor expansion of z in z 3.008 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.008 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.008 * [taylor]: Taking taylor expansion of z in z 3.008 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.008 * [taylor]: Taking taylor expansion of z in z 3.011 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 2 1) 3.011 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 3.011 * [taylor]: Taking taylor expansion of (- z) in z 3.011 * [taylor]: Taking taylor expansion of z in z 3.011 * [taylor]: Taking taylor expansion of (- z) in z 3.011 * [taylor]: Taking taylor expansion of z in z 3.013 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 3.013 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.013 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.013 * [taylor]: Taking taylor expansion of z in z 3.014 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.014 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.014 * [taylor]: Taking taylor expansion of z in z 3.019 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.019 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.019 * [taylor]: Taking taylor expansion of z in z 3.019 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.019 * [taylor]: Taking taylor expansion of z in z 3.022 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 2 1) 3.022 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 3.022 * [taylor]: Taking taylor expansion of (- z) in z 3.022 * [taylor]: Taking taylor expansion of z in z 3.022 * [taylor]: Taking taylor expansion of (- z) in z 3.022 * [taylor]: Taking taylor expansion of z in z 3.024 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 3.024 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.024 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.024 * [taylor]: Taking taylor expansion of z in z 3.025 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.025 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.025 * [taylor]: Taking taylor expansion of z in z 3.030 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.030 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.030 * [taylor]: Taking taylor expansion of z in z 3.030 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.030 * [taylor]: Taking taylor expansion of z in z 3.033 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 2 1) 3.033 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 3.034 * [taylor]: Taking taylor expansion of (- z) in z 3.034 * [taylor]: Taking taylor expansion of z in z 3.034 * [taylor]: Taking taylor expansion of (- z) in z 3.034 * [taylor]: Taking taylor expansion of z in z 3.036 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 3.036 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.036 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.036 * [taylor]: Taking taylor expansion of z in z 3.036 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.036 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.036 * [taylor]: Taking taylor expansion of z in z 3.041 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.041 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.041 * [taylor]: Taking taylor expansion of z in z 3.041 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.041 * [taylor]: Taking taylor expansion of z in z 3.044 * * * [progress]: simplifying candidates 3.045 * [simplify]: Simplifying using # : (log (cbrt (* -1 (pow z 3)))) (exp (cbrt (* -1 (pow z 3)))) (cbrt -1) (cbrt (pow z 3)) (* (cbrt (cbrt (* -1 (pow z 3)))) (cbrt (cbrt (* -1 (pow z 3))))) (cbrt (cbrt (* -1 (pow z 3)))) (* (* (cbrt (* -1 (pow z 3))) (cbrt (* -1 (pow z 3)))) (cbrt (* -1 (pow z 3)))) (sqrt (cbrt (* -1 (pow z 3)))) (sqrt (cbrt (* -1 (pow z 3)))) (/ (/ (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) (* (cbrt -1) z) (* (cbrt -1) z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 3.054 * * [simplify]: iteration 0 : 96 enodes (cost 274 ) 3.057 * * [simplify]: iteration 1 : 239 enodes (cost 252 ) 3.061 * * [simplify]: iteration 2 : 642 enodes (cost 238 ) 3.072 * * [simplify]: iteration 3 : 2566 enodes (cost 226 ) 3.115 * * [simplify]: iteration 4 : 5001 enodes (cost 218 ) 3.116 * [simplify]: Simplified to: (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (cbrt -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)) (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) (+ z 1.0) (* -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) (+ z 1.0) (* -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) (+ z 1.0) (* -1 1.0) (* (cbrt -1) z) (* (cbrt -1) z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 3.117 * * * [progress]: adding candidates to table 3.870 * * [progress]: iteration 3 / 4 3.870 * * * [progress]: picking best candidate 3.892 * * * * [pick]: Picked # 3.892 * * * [progress]: localizing error 4.142 * * * [progress]: generating rewritten candidates 4.142 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1 2 2 1) 4.144 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1 1 2 2 1) 4.146 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 2 1) 4.164 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2 2 1) 4.187 * * * [progress]: generating series expansions 4.187 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1 2 2 1) 4.187 * [approximate]: Taking taylor expansion of (* (cbrt -1) z) in (z) around 0 4.187 * [taylor]: Taking taylor expansion of (* (cbrt -1) z) in z 4.187 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.187 * [taylor]: Taking taylor expansion of -1 in z 4.188 * [taylor]: Taking taylor expansion of z in z 4.188 * [taylor]: Taking taylor expansion of (* (cbrt -1) z) in z 4.188 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.188 * [taylor]: Taking taylor expansion of -1 in z 4.189 * [taylor]: Taking taylor expansion of z in z 4.201 * [approximate]: Taking taylor expansion of (/ (cbrt -1) z) in (z) around 0 4.201 * [taylor]: Taking taylor expansion of (/ (cbrt -1) z) in z 4.201 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.201 * [taylor]: Taking taylor expansion of -1 in z 4.202 * [taylor]: Taking taylor expansion of z in z 4.202 * [taylor]: Taking taylor expansion of (/ (cbrt -1) z) in z 4.202 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.202 * [taylor]: Taking taylor expansion of -1 in z 4.203 * [taylor]: Taking taylor expansion of z in z 4.212 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 4.212 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.212 * [taylor]: Taking taylor expansion of z in z 4.212 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.212 * [taylor]: Taking taylor expansion of z in z 4.216 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1 1 2 2 1) 4.216 * [approximate]: Taking taylor expansion of (* (cbrt -1) z) in (z) around 0 4.216 * [taylor]: Taking taylor expansion of (* (cbrt -1) z) in z 4.216 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.216 * [taylor]: Taking taylor expansion of -1 in z 4.217 * [taylor]: Taking taylor expansion of z in z 4.217 * [taylor]: Taking taylor expansion of (* (cbrt -1) z) in z 4.217 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.217 * [taylor]: Taking taylor expansion of -1 in z 4.217 * [taylor]: Taking taylor expansion of z in z 4.229 * [approximate]: Taking taylor expansion of (/ (cbrt -1) z) in (z) around 0 4.229 * [taylor]: Taking taylor expansion of (/ (cbrt -1) z) in z 4.229 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.229 * [taylor]: Taking taylor expansion of -1 in z 4.230 * [taylor]: Taking taylor expansion of z in z 4.230 * [taylor]: Taking taylor expansion of (/ (cbrt -1) z) in z 4.230 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.230 * [taylor]: Taking taylor expansion of -1 in z 4.231 * [taylor]: Taking taylor expansion of z in z 4.240 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 4.240 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.240 * [taylor]: Taking taylor expansion of z in z 4.240 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.240 * [taylor]: Taking taylor expansion of z in z 4.243 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 2 1) 4.243 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 4.243 * [taylor]: Taking taylor expansion of (- z) in z 4.243 * [taylor]: Taking taylor expansion of z in z 4.243 * [taylor]: Taking taylor expansion of (- z) in z 4.243 * [taylor]: Taking taylor expansion of z in z 4.245 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 4.245 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.245 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.246 * [taylor]: Taking taylor expansion of z in z 4.246 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.246 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.246 * [taylor]: Taking taylor expansion of z in z 4.251 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 4.251 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.251 * [taylor]: Taking taylor expansion of z in z 4.251 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.251 * [taylor]: Taking taylor expansion of z in z 4.254 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2 2 1) 4.254 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 4.254 * [taylor]: Taking taylor expansion of (- z) in z 4.254 * [taylor]: Taking taylor expansion of z in z 4.254 * [taylor]: Taking taylor expansion of (- z) in z 4.254 * [taylor]: Taking taylor expansion of z in z 4.256 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 4.256 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.256 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.256 * [taylor]: Taking taylor expansion of z in z 4.257 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.257 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.257 * [taylor]: Taking taylor expansion of z in z 4.265 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 4.265 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.265 * [taylor]: Taking taylor expansion of z in z 4.265 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.265 * [taylor]: Taking taylor expansion of z in z 4.268 * * * [progress]: simplifying candidates 4.269 * [simplify]: Simplifying using # : (log (cbrt (* -1 (pow z 3)))) (exp (cbrt (* -1 (pow z 3)))) (cbrt -1) (cbrt (pow z 3)) (* (cbrt (cbrt (* -1 (pow z 3)))) (cbrt (cbrt (* -1 (pow z 3))))) (cbrt (cbrt (* -1 (pow z 3)))) (* (* (cbrt (* -1 (pow z 3))) (cbrt (* -1 (pow z 3)))) (cbrt (* -1 (pow z 3)))) (sqrt (cbrt (* -1 (pow z 3)))) (sqrt (cbrt (* -1 (pow z 3)))) (log (cbrt (* -1 (pow z 3)))) (exp (cbrt (* -1 (pow z 3)))) (cbrt -1) (cbrt (pow z 3)) (* (cbrt (cbrt (* -1 (pow z 3)))) (cbrt (cbrt (* -1 (pow z 3))))) (cbrt (cbrt (* -1 (pow z 3)))) (* (* (cbrt (* -1 (pow z 3))) (cbrt (* -1 (pow z 3)))) (cbrt (* -1 (pow z 3)))) (sqrt (cbrt (* -1 (pow z 3)))) (sqrt (cbrt (* -1 (pow z 3)))) (/ (/ (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) (* (cbrt -1) z) (* (cbrt -1) z) (* -1 z) (* (cbrt -1) z) (* (cbrt -1) z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 4.272 * * [simplify]: iteration 0 : 96 enodes (cost 244 ) 4.274 * * [simplify]: iteration 1 : 239 enodes (cost 220 ) 4.278 * * [simplify]: iteration 2 : 642 enodes (cost 208 ) 4.289 * * [simplify]: iteration 3 : 2566 enodes (cost 200 ) 4.331 * * [simplify]: iteration 4 : 5001 enodes (cost 184 ) 4.332 * [simplify]: Simplified to: (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (cbrt -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)) (log (- (- 1.0 z) 1.0)) (exp (* -1 z)) (cbrt -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)) (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) (+ z 1.0) (* -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) (+ z 1.0) (* -1 1.0) (* (cbrt -1) z) (* (cbrt -1) z) (* -1 z) (* (cbrt -1) z) (* (cbrt -1) z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 4.332 * * * [progress]: adding candidates to table 4.981 * * [progress]: iteration 4 / 4 4.981 * * * [progress]: picking best candidate 4.990 * * * * [pick]: Picked # 4.990 * * * [progress]: localizing error 5.053 * * * [progress]: generating rewritten candidates 5.053 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 5.070 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 5.088 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 5.105 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 5.126 * * * [progress]: generating series expansions 5.126 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 5.126 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 5.126 * [taylor]: Taking taylor expansion of (- z) in z 5.126 * [taylor]: Taking taylor expansion of z in z 5.126 * [taylor]: Taking taylor expansion of (- z) in z 5.126 * [taylor]: Taking taylor expansion of z in z 5.129 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 5.129 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.129 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.129 * [taylor]: Taking taylor expansion of z in z 5.129 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.129 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.129 * [taylor]: Taking taylor expansion of z in z 5.134 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.134 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.134 * [taylor]: Taking taylor expansion of z in z 5.134 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.134 * [taylor]: Taking taylor expansion of z in z 5.138 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 5.138 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 5.138 * [taylor]: Taking taylor expansion of (- z) in z 5.138 * [taylor]: Taking taylor expansion of z in z 5.138 * [taylor]: Taking taylor expansion of (- z) in z 5.138 * [taylor]: Taking taylor expansion of z in z 5.140 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 5.140 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.140 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.140 * [taylor]: Taking taylor expansion of z in z 5.140 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.140 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.140 * [taylor]: Taking taylor expansion of z in z 5.145 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.145 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.145 * [taylor]: Taking taylor expansion of z in z 5.145 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.145 * [taylor]: Taking taylor expansion of z in z 5.149 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 5.149 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 5.149 * [taylor]: Taking taylor expansion of (- z) in z 5.149 * [taylor]: Taking taylor expansion of z in z 5.149 * [taylor]: Taking taylor expansion of (- z) in z 5.149 * [taylor]: Taking taylor expansion of z in z 5.151 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 5.151 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.151 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.151 * [taylor]: Taking taylor expansion of z in z 5.151 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.151 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.151 * [taylor]: Taking taylor expansion of z in z 5.156 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.156 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.156 * [taylor]: Taking taylor expansion of z in z 5.157 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.157 * [taylor]: Taking taylor expansion of z in z 5.160 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2 1) 5.160 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 5.160 * [taylor]: Taking taylor expansion of (- z) in z 5.160 * [taylor]: Taking taylor expansion of z in z 5.160 * [taylor]: Taking taylor expansion of (- z) in z 5.160 * [taylor]: Taking taylor expansion of z in z 5.162 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 5.162 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.162 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.162 * [taylor]: Taking taylor expansion of z in z 5.162 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.163 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.163 * [taylor]: Taking taylor expansion of z in z 5.167 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.167 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.167 * [taylor]: Taking taylor expansion of z in z 5.168 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.168 * [taylor]: Taking taylor expansion of z in z 5.171 * * * [progress]: simplifying candidates 5.172 * [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) 5.176 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 5.178 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 5.182 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 5.193 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 5.234 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 5.236 * [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) 5.237 * * * [progress]: adding candidates to table 5.953 * [progress]: [Phase 3 of 3] Extracting. 5.953 * * [regime]: Finding splitpoints for: (# #) 5.965 * * * [regime-changes]: Trying 1 branch expressions: (z) 5.966 * * * * [regimes]: Trying to branch on z from (# #) 5.995 * * * [regime]: Found split indices: #