15.022 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 1.407 * * * [progress]: [2/2] Setting up program. 1.417 * [progress]: [Phase 2 of 3] Improving. 1.418 * [simplify]: Simplifying: (* (/ 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.418 * [simplify]: Sending expressions to egg_math: (* (/ PI (sin (* PI h0))) (* (* (* (sqrt (* PI h1)) (pow (+ (+ (- (- h2 h0) h2) h3) h4) (+ (- (- h2 h0) h2) h4))) (exp (- (+ (+ (- (- h2 h0) h2) h3) h4)))) (+ (+ (+ (+ (+ (+ (+ (+ h5 (/ h6 (+ (- (- h2 h0) h2) h2))) (/ h7 (+ (- (- h2 h0) h2) h1))) (/ h8 (+ (- (- h2 h0) h2) h9))) (/ h10 (+ (- (- h2 h0) h2) h11))) (/ h12 (+ (- (- h2 h0) h2) h13))) (/ h14 (+ (- (- h2 h0) h2) h15))) (/ h16 (+ (- (- h2 h0) h2) h3))) (/ h17 (+ (- (- h2 h0) h2) h18))))) 1.421 * * [simplify]: iteration 0 : 148 enodes (cost 63 ) 1.424 * * [simplify]: iteration 1 : 617 enodes (cost 63 ) 1.440 * * [simplify]: iteration 2 : 4243 enodes (cost 62 ) 1.542 * * [simplify]: iteration 3 : 5001 enodes (cost 62 ) 1.554 * * [progress]: iteration 1 / 4 1.554 * * * [progress]: picking best candidate 1.573 * * * * [pick]: Picked # 1.574 * * * [progress]: localizing error 1.631 * * * [progress]: generating rewritten candidates 1.632 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1) 1.670 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 2 1) 1.702 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2 1) 1.737 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1 2 2 1) 1.773 * * * [progress]: generating series expansions 1.773 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1) 1.774 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 1.774 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1.774 * [taylor]: Taking taylor expansion of (- z) in z 1.774 * [taylor]: Taking taylor expansion of z in z 1.774 * [backup-simplify]: Simplify 0 into 0 1.774 * [backup-simplify]: Simplify 1 into 1 1.774 * [taylor]: Taking taylor expansion of (- z) in z 1.774 * [taylor]: Taking taylor expansion of z in z 1.774 * [backup-simplify]: Simplify 0 into 0 1.774 * [backup-simplify]: Simplify 1 into 1 1.774 * [backup-simplify]: Simplify (- 0) into 0 1.774 * [backup-simplify]: Simplify 0 into 0 1.775 * [backup-simplify]: Simplify (- 1) into -1 1.775 * [backup-simplify]: Simplify -1 into -1 1.775 * [backup-simplify]: Simplify (- 0) into 0 1.775 * [backup-simplify]: Simplify 0 into 0 1.775 * [backup-simplify]: Simplify (- 0) into 0 1.775 * [backup-simplify]: Simplify 0 into 0 1.775 * [backup-simplify]: Simplify (- 0) into 0 1.775 * [backup-simplify]: Simplify 0 into 0 1.776 * [backup-simplify]: Simplify (- 0) into 0 1.776 * [backup-simplify]: Simplify 0 into 0 1.776 * [backup-simplify]: Simplify (- 0) into 0 1.776 * [backup-simplify]: Simplify 0 into 0 1.776 * [backup-simplify]: Simplify (- 0) into 0 1.776 * [backup-simplify]: Simplify 0 into 0 1.776 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 1.776 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 1.776 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1.776 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.776 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.776 * [taylor]: Taking taylor expansion of z in z 1.776 * [backup-simplify]: Simplify 0 into 0 1.776 * [backup-simplify]: Simplify 1 into 1 1.777 * [backup-simplify]: Simplify (/ 1 1) into 1 1.777 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.777 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.777 * [taylor]: Taking taylor expansion of z in z 1.777 * [backup-simplify]: Simplify 0 into 0 1.777 * [backup-simplify]: Simplify 1 into 1 1.777 * [backup-simplify]: Simplify (/ 1 1) into 1 1.777 * [backup-simplify]: Simplify (- 1) into -1 1.777 * [backup-simplify]: Simplify -1 into -1 1.778 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.778 * [backup-simplify]: Simplify (- 0) into 0 1.778 * [backup-simplify]: Simplify 0 into 0 1.778 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.779 * [backup-simplify]: Simplify (- 0) into 0 1.779 * [backup-simplify]: Simplify 0 into 0 1.779 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.779 * [backup-simplify]: Simplify (- 0) into 0 1.779 * [backup-simplify]: Simplify 0 into 0 1.780 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.780 * [backup-simplify]: Simplify (- 0) into 0 1.780 * [backup-simplify]: Simplify 0 into 0 1.781 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.781 * [backup-simplify]: Simplify (- 0) into 0 1.781 * [backup-simplify]: Simplify 0 into 0 1.781 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.782 * [backup-simplify]: Simplify (- 0) into 0 1.782 * [backup-simplify]: Simplify 0 into 0 1.782 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 1.782 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 1.782 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.782 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.782 * [taylor]: Taking taylor expansion of z in z 1.782 * [backup-simplify]: Simplify 0 into 0 1.782 * [backup-simplify]: Simplify 1 into 1 1.782 * [backup-simplify]: Simplify (/ 1 1) into 1 1.782 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.782 * [taylor]: Taking taylor expansion of z in z 1.782 * [backup-simplify]: Simplify 0 into 0 1.782 * [backup-simplify]: Simplify 1 into 1 1.782 * [backup-simplify]: Simplify (/ 1 1) into 1 1.782 * [backup-simplify]: Simplify 1 into 1 1.783 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.783 * [backup-simplify]: Simplify 0 into 0 1.783 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.783 * [backup-simplify]: Simplify 0 into 0 1.784 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.784 * [backup-simplify]: Simplify 0 into 0 1.784 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.784 * [backup-simplify]: Simplify 0 into 0 1.785 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.785 * [backup-simplify]: Simplify 0 into 0 1.785 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.785 * [backup-simplify]: Simplify 0 into 0 1.785 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 1.786 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 2 1) 1.786 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 1.786 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1.786 * [taylor]: Taking taylor expansion of (- z) in z 1.786 * [taylor]: Taking taylor expansion of z in z 1.786 * [backup-simplify]: Simplify 0 into 0 1.786 * [backup-simplify]: Simplify 1 into 1 1.786 * [taylor]: Taking taylor expansion of (- z) in z 1.786 * [taylor]: Taking taylor expansion of z in z 1.786 * [backup-simplify]: Simplify 0 into 0 1.786 * [backup-simplify]: Simplify 1 into 1 1.786 * [backup-simplify]: Simplify (- 0) into 0 1.786 * [backup-simplify]: Simplify 0 into 0 1.786 * [backup-simplify]: Simplify (- 1) into -1 1.786 * [backup-simplify]: Simplify -1 into -1 1.786 * [backup-simplify]: Simplify (- 0) into 0 1.787 * [backup-simplify]: Simplify 0 into 0 1.787 * [backup-simplify]: Simplify (- 0) into 0 1.787 * [backup-simplify]: Simplify 0 into 0 1.787 * [backup-simplify]: Simplify (- 0) into 0 1.787 * [backup-simplify]: Simplify 0 into 0 1.787 * [backup-simplify]: Simplify (- 0) into 0 1.787 * [backup-simplify]: Simplify 0 into 0 1.788 * [backup-simplify]: Simplify (- 0) into 0 1.788 * [backup-simplify]: Simplify 0 into 0 1.788 * [backup-simplify]: Simplify (- 0) into 0 1.788 * [backup-simplify]: Simplify 0 into 0 1.788 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 1.788 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 1.788 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1.788 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.788 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.788 * [taylor]: Taking taylor expansion of z in z 1.788 * [backup-simplify]: Simplify 0 into 0 1.788 * [backup-simplify]: Simplify 1 into 1 1.788 * [backup-simplify]: Simplify (/ 1 1) into 1 1.788 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.788 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.788 * [taylor]: Taking taylor expansion of z in z 1.788 * [backup-simplify]: Simplify 0 into 0 1.788 * [backup-simplify]: Simplify 1 into 1 1.789 * [backup-simplify]: Simplify (/ 1 1) into 1 1.789 * [backup-simplify]: Simplify (- 1) into -1 1.789 * [backup-simplify]: Simplify -1 into -1 1.789 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.790 * [backup-simplify]: Simplify (- 0) into 0 1.790 * [backup-simplify]: Simplify 0 into 0 1.790 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.790 * [backup-simplify]: Simplify (- 0) into 0 1.790 * [backup-simplify]: Simplify 0 into 0 1.791 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.791 * [backup-simplify]: Simplify (- 0) into 0 1.791 * [backup-simplify]: Simplify 0 into 0 1.791 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.792 * [backup-simplify]: Simplify (- 0) into 0 1.792 * [backup-simplify]: Simplify 0 into 0 1.792 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.792 * [backup-simplify]: Simplify (- 0) into 0 1.792 * [backup-simplify]: Simplify 0 into 0 1.793 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.793 * [backup-simplify]: Simplify (- 0) into 0 1.793 * [backup-simplify]: Simplify 0 into 0 1.793 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 1.793 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 1.793 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.793 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.793 * [taylor]: Taking taylor expansion of z in z 1.793 * [backup-simplify]: Simplify 0 into 0 1.793 * [backup-simplify]: Simplify 1 into 1 1.794 * [backup-simplify]: Simplify (/ 1 1) into 1 1.794 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.794 * [taylor]: Taking taylor expansion of z in z 1.794 * [backup-simplify]: Simplify 0 into 0 1.794 * [backup-simplify]: Simplify 1 into 1 1.794 * [backup-simplify]: Simplify (/ 1 1) into 1 1.794 * [backup-simplify]: Simplify 1 into 1 1.794 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.794 * [backup-simplify]: Simplify 0 into 0 1.795 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.795 * [backup-simplify]: Simplify 0 into 0 1.795 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.795 * [backup-simplify]: Simplify 0 into 0 1.796 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.796 * [backup-simplify]: Simplify 0 into 0 1.796 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.796 * [backup-simplify]: Simplify 0 into 0 1.797 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.797 * [backup-simplify]: Simplify 0 into 0 1.797 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 1.797 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2 1) 1.797 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 1.797 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1.797 * [taylor]: Taking taylor expansion of (- z) in z 1.797 * [taylor]: Taking taylor expansion of z in z 1.797 * [backup-simplify]: Simplify 0 into 0 1.797 * [backup-simplify]: Simplify 1 into 1 1.797 * [taylor]: Taking taylor expansion of (- z) in z 1.797 * [taylor]: Taking taylor expansion of z in z 1.797 * [backup-simplify]: Simplify 0 into 0 1.797 * [backup-simplify]: Simplify 1 into 1 1.798 * [backup-simplify]: Simplify (- 0) into 0 1.798 * [backup-simplify]: Simplify 0 into 0 1.798 * [backup-simplify]: Simplify (- 1) into -1 1.798 * [backup-simplify]: Simplify -1 into -1 1.798 * [backup-simplify]: Simplify (- 0) into 0 1.798 * [backup-simplify]: Simplify 0 into 0 1.798 * [backup-simplify]: Simplify (- 0) into 0 1.798 * [backup-simplify]: Simplify 0 into 0 1.798 * [backup-simplify]: Simplify (- 0) into 0 1.798 * [backup-simplify]: Simplify 0 into 0 1.799 * [backup-simplify]: Simplify (- 0) into 0 1.799 * [backup-simplify]: Simplify 0 into 0 1.799 * [backup-simplify]: Simplify (- 0) into 0 1.799 * [backup-simplify]: Simplify 0 into 0 1.799 * [backup-simplify]: Simplify (- 0) into 0 1.799 * [backup-simplify]: Simplify 0 into 0 1.799 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 1.799 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 1.799 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1.799 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.799 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.799 * [taylor]: Taking taylor expansion of z in z 1.799 * [backup-simplify]: Simplify 0 into 0 1.799 * [backup-simplify]: Simplify 1 into 1 1.800 * [backup-simplify]: Simplify (/ 1 1) into 1 1.800 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.800 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.800 * [taylor]: Taking taylor expansion of z in z 1.800 * [backup-simplify]: Simplify 0 into 0 1.800 * [backup-simplify]: Simplify 1 into 1 1.800 * [backup-simplify]: Simplify (/ 1 1) into 1 1.800 * [backup-simplify]: Simplify (- 1) into -1 1.800 * [backup-simplify]: Simplify -1 into -1 1.801 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.801 * [backup-simplify]: Simplify (- 0) into 0 1.801 * [backup-simplify]: Simplify 0 into 0 1.801 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.801 * [backup-simplify]: Simplify (- 0) into 0 1.802 * [backup-simplify]: Simplify 0 into 0 1.802 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.802 * [backup-simplify]: Simplify (- 0) into 0 1.802 * [backup-simplify]: Simplify 0 into 0 1.803 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.803 * [backup-simplify]: Simplify (- 0) into 0 1.803 * [backup-simplify]: Simplify 0 into 0 1.803 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.804 * [backup-simplify]: Simplify (- 0) into 0 1.804 * [backup-simplify]: Simplify 0 into 0 1.804 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.804 * [backup-simplify]: Simplify (- 0) into 0 1.804 * [backup-simplify]: Simplify 0 into 0 1.805 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 1.805 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 1.805 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.805 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.805 * [taylor]: Taking taylor expansion of z in z 1.805 * [backup-simplify]: Simplify 0 into 0 1.805 * [backup-simplify]: Simplify 1 into 1 1.805 * [backup-simplify]: Simplify (/ 1 1) into 1 1.805 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.805 * [taylor]: Taking taylor expansion of z in z 1.805 * [backup-simplify]: Simplify 0 into 0 1.805 * [backup-simplify]: Simplify 1 into 1 1.805 * [backup-simplify]: Simplify (/ 1 1) into 1 1.805 * [backup-simplify]: Simplify 1 into 1 1.806 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.806 * [backup-simplify]: Simplify 0 into 0 1.806 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.806 * [backup-simplify]: Simplify 0 into 0 1.807 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.807 * [backup-simplify]: Simplify 0 into 0 1.807 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.807 * [backup-simplify]: Simplify 0 into 0 1.808 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.808 * [backup-simplify]: Simplify 0 into 0 1.808 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.808 * [backup-simplify]: Simplify 0 into 0 1.809 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 1.809 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1 2 2 1) 1.809 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 1.809 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1.809 * [taylor]: Taking taylor expansion of (- z) in z 1.809 * [taylor]: Taking taylor expansion of z in z 1.809 * [backup-simplify]: Simplify 0 into 0 1.809 * [backup-simplify]: Simplify 1 into 1 1.809 * [taylor]: Taking taylor expansion of (- z) in z 1.809 * [taylor]: Taking taylor expansion of z in z 1.809 * [backup-simplify]: Simplify 0 into 0 1.809 * [backup-simplify]: Simplify 1 into 1 1.809 * [backup-simplify]: Simplify (- 0) into 0 1.809 * [backup-simplify]: Simplify 0 into 0 1.809 * [backup-simplify]: Simplify (- 1) into -1 1.809 * [backup-simplify]: Simplify -1 into -1 1.810 * [backup-simplify]: Simplify (- 0) into 0 1.810 * [backup-simplify]: Simplify 0 into 0 1.810 * [backup-simplify]: Simplify (- 0) into 0 1.810 * [backup-simplify]: Simplify 0 into 0 1.810 * [backup-simplify]: Simplify (- 0) into 0 1.810 * [backup-simplify]: Simplify 0 into 0 1.810 * [backup-simplify]: Simplify (- 0) into 0 1.810 * [backup-simplify]: Simplify 0 into 0 1.811 * [backup-simplify]: Simplify (- 0) into 0 1.811 * [backup-simplify]: Simplify 0 into 0 1.811 * [backup-simplify]: Simplify (- 0) into 0 1.811 * [backup-simplify]: Simplify 0 into 0 1.811 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 1.811 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 1.811 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1.811 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.811 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.811 * [taylor]: Taking taylor expansion of z in z 1.811 * [backup-simplify]: Simplify 0 into 0 1.811 * [backup-simplify]: Simplify 1 into 1 1.811 * [backup-simplify]: Simplify (/ 1 1) into 1 1.811 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.811 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.811 * [taylor]: Taking taylor expansion of z in z 1.811 * [backup-simplify]: Simplify 0 into 0 1.811 * [backup-simplify]: Simplify 1 into 1 1.812 * [backup-simplify]: Simplify (/ 1 1) into 1 1.812 * [backup-simplify]: Simplify (- 1) into -1 1.812 * [backup-simplify]: Simplify -1 into -1 1.812 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.813 * [backup-simplify]: Simplify (- 0) into 0 1.813 * [backup-simplify]: Simplify 0 into 0 1.813 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.814 * [backup-simplify]: Simplify (- 0) into 0 1.814 * [backup-simplify]: Simplify 0 into 0 1.814 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.814 * [backup-simplify]: Simplify (- 0) into 0 1.814 * [backup-simplify]: Simplify 0 into 0 1.815 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.815 * [backup-simplify]: Simplify (- 0) into 0 1.815 * [backup-simplify]: Simplify 0 into 0 1.816 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.816 * [backup-simplify]: Simplify (- 0) into 0 1.816 * [backup-simplify]: Simplify 0 into 0 1.816 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.817 * [backup-simplify]: Simplify (- 0) into 0 1.817 * [backup-simplify]: Simplify 0 into 0 1.817 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 1.817 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 1.817 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1.817 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.817 * [taylor]: Taking taylor expansion of z in z 1.817 * [backup-simplify]: Simplify 0 into 0 1.817 * [backup-simplify]: Simplify 1 into 1 1.817 * [backup-simplify]: Simplify (/ 1 1) into 1 1.817 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.817 * [taylor]: Taking taylor expansion of z in z 1.817 * [backup-simplify]: Simplify 0 into 0 1.817 * [backup-simplify]: Simplify 1 into 1 1.817 * [backup-simplify]: Simplify (/ 1 1) into 1 1.818 * [backup-simplify]: Simplify 1 into 1 1.818 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.818 * [backup-simplify]: Simplify 0 into 0 1.818 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.819 * [backup-simplify]: Simplify 0 into 0 1.819 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.819 * [backup-simplify]: Simplify 0 into 0 1.820 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.820 * [backup-simplify]: Simplify 0 into 0 1.820 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.820 * [backup-simplify]: Simplify 0 into 0 1.821 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.821 * [backup-simplify]: Simplify 0 into 0 1.821 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 1.821 * * * [progress]: simplifying candidates 1.822 * [simplify]: Simplifying: (/ (/ (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) 1.822 * [simplify]: Sending expressions to egg_math: (/ (/ (exp h0) (exp h1)) (exp h0)) (/ (exp (- h0 h1)) (exp h0)) (log (- (- h0 h1) h0)) (exp (- (- h0 h1) h0)) (* (cbrt (- (- h0 h1) h0)) (cbrt (- (- h0 h1) h0))) (cbrt (- (- h0 h1) h0)) (* (* (- (- h0 h1) h0) (- (- h0 h1) h0)) (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (- (pow (- h0 h1) 3) (pow h0 3)) (+ (* (- h0 h1) (- h0 h1)) (+ (* h0 h0) (* (- h0 h1) h0))) (- h0) (- (* (- h0 h1) (- h0 h1)) (* h0 h0)) (+ (- h0 h1) h0) (+ (sqrt (- h0 h1)) (sqrt h0)) (- (sqrt (- h0 h1)) (sqrt h0)) (- (- h0 h1) h0) (- (- h0 h1) h0) (- (- h1) h0) (- (- h1) h0) (+ h1 h0) (- h0) (/ (/ (exp h0) (exp h1)) (exp h0)) (/ (exp (- h0 h1)) (exp h0)) (log (- (- h0 h1) h0)) (exp (- (- h0 h1) h0)) (* (cbrt (- (- h0 h1) h0)) (cbrt (- (- h0 h1) h0))) (cbrt (- (- h0 h1) h0)) (* (* (- (- h0 h1) h0) (- (- h0 h1) h0)) (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (- (pow (- h0 h1) 3) (pow h0 3)) (+ (* (- h0 h1) (- h0 h1)) (+ (* h0 h0) (* (- h0 h1) h0))) (- h0) (- (* (- h0 h1) (- h0 h1)) (* h0 h0)) (+ (- h0 h1) h0) (+ (sqrt (- h0 h1)) (sqrt h0)) (- (sqrt (- h0 h1)) (sqrt h0)) (- (- h0 h1) h0) (- (- h0 h1) h0) (- (- h1) h0) (- (- h1) h0) (+ h1 h0) (- h0) (/ (/ (exp h0) (exp h1)) (exp h0)) (/ (exp (- h0 h1)) (exp h0)) (log (- (- h0 h1) h0)) (exp (- (- h0 h1) h0)) (* (cbrt (- (- h0 h1) h0)) (cbrt (- (- h0 h1) h0))) (cbrt (- (- h0 h1) h0)) (* (* (- (- h0 h1) h0) (- (- h0 h1) h0)) (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (- (pow (- h0 h1) 3) (pow h0 3)) (+ (* (- h0 h1) (- h0 h1)) (+ (* h0 h0) (* (- h0 h1) h0))) (- h0) (- (* (- h0 h1) (- h0 h1)) (* h0 h0)) (+ (- h0 h1) h0) (+ (sqrt (- h0 h1)) (sqrt h0)) (- (sqrt (- h0 h1)) (sqrt h0)) (- (- h0 h1) h0) (- (- h0 h1) h0) (- (- h1) h0) (- (- h1) h0) (+ h1 h0) (- h0) (/ (/ (exp h0) (exp h1)) (exp h0)) (/ (exp (- h0 h1)) (exp h0)) (log (- (- h0 h1) h0)) (exp (- (- h0 h1) h0)) (* (cbrt (- (- h0 h1) h0)) (cbrt (- (- h0 h1) h0))) (cbrt (- (- h0 h1) h0)) (* (* (- (- h0 h1) h0) (- (- h0 h1) h0)) (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (- (pow (- h0 h1) 3) (pow h0 3)) (+ (* (- h0 h1) (- h0 h1)) (+ (* h0 h0) (* (- h0 h1) h0))) (- h0) (- (* (- h0 h1) (- h0 h1)) (* h0 h0)) (+ (- h0 h1) h0) (+ (sqrt (- h0 h1)) (sqrt h0)) (- (sqrt (- h0 h1)) (sqrt h0)) (- (- h0 h1) h0) (- (- h0 h1) h0) (- (- h1) h0) (- (- h1) h0) (+ h1 h0) (- h0) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) 1.826 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 1.828 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 1.832 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 1.845 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 1.892 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 1.894 * * * [progress]: adding candidates to table 2.651 * * [progress]: iteration 2 / 4 2.651 * * * [progress]: picking best candidate 2.661 * * * * [pick]: Picked # 2.661 * * * [progress]: localizing error 2.715 * * * [progress]: generating rewritten candidates 2.715 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 2.748 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 2.782 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 2.815 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 2.851 * * * [progress]: generating series expansions 2.851 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 2.851 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 2.851 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.851 * [taylor]: Taking taylor expansion of (- z) in z 2.851 * [taylor]: Taking taylor expansion of z in z 2.851 * [backup-simplify]: Simplify 0 into 0 2.851 * [backup-simplify]: Simplify 1 into 1 2.851 * [taylor]: Taking taylor expansion of (- z) in z 2.851 * [taylor]: Taking taylor expansion of z in z 2.851 * [backup-simplify]: Simplify 0 into 0 2.851 * [backup-simplify]: Simplify 1 into 1 2.851 * [backup-simplify]: Simplify (- 0) into 0 2.852 * [backup-simplify]: Simplify 0 into 0 2.852 * [backup-simplify]: Simplify (- 1) into -1 2.852 * [backup-simplify]: Simplify -1 into -1 2.852 * [backup-simplify]: Simplify (- 0) into 0 2.852 * [backup-simplify]: Simplify 0 into 0 2.852 * [backup-simplify]: Simplify (- 0) into 0 2.852 * [backup-simplify]: Simplify 0 into 0 2.852 * [backup-simplify]: Simplify (- 0) into 0 2.853 * [backup-simplify]: Simplify 0 into 0 2.853 * [backup-simplify]: Simplify (- 0) into 0 2.853 * [backup-simplify]: Simplify 0 into 0 2.853 * [backup-simplify]: Simplify (- 0) into 0 2.853 * [backup-simplify]: Simplify 0 into 0 2.853 * [backup-simplify]: Simplify (- 0) into 0 2.853 * [backup-simplify]: Simplify 0 into 0 2.853 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 2.853 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 2.853 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.853 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.853 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.853 * [taylor]: Taking taylor expansion of z in z 2.853 * [backup-simplify]: Simplify 0 into 0 2.853 * [backup-simplify]: Simplify 1 into 1 2.854 * [backup-simplify]: Simplify (/ 1 1) into 1 2.854 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.854 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.854 * [taylor]: Taking taylor expansion of z in z 2.854 * [backup-simplify]: Simplify 0 into 0 2.854 * [backup-simplify]: Simplify 1 into 1 2.854 * [backup-simplify]: Simplify (/ 1 1) into 1 2.854 * [backup-simplify]: Simplify (- 1) into -1 2.854 * [backup-simplify]: Simplify -1 into -1 2.855 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.855 * [backup-simplify]: Simplify (- 0) into 0 2.855 * [backup-simplify]: Simplify 0 into 0 2.855 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.856 * [backup-simplify]: Simplify (- 0) into 0 2.856 * [backup-simplify]: Simplify 0 into 0 2.856 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.856 * [backup-simplify]: Simplify (- 0) into 0 2.856 * [backup-simplify]: Simplify 0 into 0 2.857 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.857 * [backup-simplify]: Simplify (- 0) into 0 2.857 * [backup-simplify]: Simplify 0 into 0 2.858 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.858 * [backup-simplify]: Simplify (- 0) into 0 2.858 * [backup-simplify]: Simplify 0 into 0 2.858 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.858 * [backup-simplify]: Simplify (- 0) into 0 2.858 * [backup-simplify]: Simplify 0 into 0 2.859 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 2.859 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 2.859 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.859 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.859 * [taylor]: Taking taylor expansion of z in z 2.859 * [backup-simplify]: Simplify 0 into 0 2.859 * [backup-simplify]: Simplify 1 into 1 2.859 * [backup-simplify]: Simplify (/ 1 1) into 1 2.859 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.859 * [taylor]: Taking taylor expansion of z in z 2.859 * [backup-simplify]: Simplify 0 into 0 2.859 * [backup-simplify]: Simplify 1 into 1 2.859 * [backup-simplify]: Simplify (/ 1 1) into 1 2.859 * [backup-simplify]: Simplify 1 into 1 2.860 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.860 * [backup-simplify]: Simplify 0 into 0 2.860 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.860 * [backup-simplify]: Simplify 0 into 0 2.861 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.861 * [backup-simplify]: Simplify 0 into 0 2.861 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.861 * [backup-simplify]: Simplify 0 into 0 2.862 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.862 * [backup-simplify]: Simplify 0 into 0 2.862 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.862 * [backup-simplify]: Simplify 0 into 0 2.862 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 2.862 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 2.862 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 2.862 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.862 * [taylor]: Taking taylor expansion of (- z) in z 2.862 * [taylor]: Taking taylor expansion of z in z 2.862 * [backup-simplify]: Simplify 0 into 0 2.863 * [backup-simplify]: Simplify 1 into 1 2.863 * [taylor]: Taking taylor expansion of (- z) in z 2.863 * [taylor]: Taking taylor expansion of z in z 2.863 * [backup-simplify]: Simplify 0 into 0 2.863 * [backup-simplify]: Simplify 1 into 1 2.863 * [backup-simplify]: Simplify (- 0) into 0 2.863 * [backup-simplify]: Simplify 0 into 0 2.863 * [backup-simplify]: Simplify (- 1) into -1 2.863 * [backup-simplify]: Simplify -1 into -1 2.863 * [backup-simplify]: Simplify (- 0) into 0 2.863 * [backup-simplify]: Simplify 0 into 0 2.864 * [backup-simplify]: Simplify (- 0) into 0 2.864 * [backup-simplify]: Simplify 0 into 0 2.864 * [backup-simplify]: Simplify (- 0) into 0 2.864 * [backup-simplify]: Simplify 0 into 0 2.864 * [backup-simplify]: Simplify (- 0) into 0 2.864 * [backup-simplify]: Simplify 0 into 0 2.864 * [backup-simplify]: Simplify (- 0) into 0 2.864 * [backup-simplify]: Simplify 0 into 0 2.864 * [backup-simplify]: Simplify (- 0) into 0 2.864 * [backup-simplify]: Simplify 0 into 0 2.865 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 2.865 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 2.865 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.865 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.865 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.865 * [taylor]: Taking taylor expansion of z in z 2.865 * [backup-simplify]: Simplify 0 into 0 2.865 * [backup-simplify]: Simplify 1 into 1 2.865 * [backup-simplify]: Simplify (/ 1 1) into 1 2.865 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.865 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.865 * [taylor]: Taking taylor expansion of z in z 2.865 * [backup-simplify]: Simplify 0 into 0 2.865 * [backup-simplify]: Simplify 1 into 1 2.865 * [backup-simplify]: Simplify (/ 1 1) into 1 2.865 * [backup-simplify]: Simplify (- 1) into -1 2.865 * [backup-simplify]: Simplify -1 into -1 2.866 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.866 * [backup-simplify]: Simplify (- 0) into 0 2.866 * [backup-simplify]: Simplify 0 into 0 2.867 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.867 * [backup-simplify]: Simplify (- 0) into 0 2.867 * [backup-simplify]: Simplify 0 into 0 2.867 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.868 * [backup-simplify]: Simplify (- 0) into 0 2.868 * [backup-simplify]: Simplify 0 into 0 2.868 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.868 * [backup-simplify]: Simplify (- 0) into 0 2.868 * [backup-simplify]: Simplify 0 into 0 2.869 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.869 * [backup-simplify]: Simplify (- 0) into 0 2.869 * [backup-simplify]: Simplify 0 into 0 2.869 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.870 * [backup-simplify]: Simplify (- 0) into 0 2.870 * [backup-simplify]: Simplify 0 into 0 2.870 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 2.870 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 2.870 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.870 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.870 * [taylor]: Taking taylor expansion of z in z 2.870 * [backup-simplify]: Simplify 0 into 0 2.870 * [backup-simplify]: Simplify 1 into 1 2.870 * [backup-simplify]: Simplify (/ 1 1) into 1 2.870 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.870 * [taylor]: Taking taylor expansion of z in z 2.870 * [backup-simplify]: Simplify 0 into 0 2.870 * [backup-simplify]: Simplify 1 into 1 2.870 * [backup-simplify]: Simplify (/ 1 1) into 1 2.871 * [backup-simplify]: Simplify 1 into 1 2.871 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.871 * [backup-simplify]: Simplify 0 into 0 2.871 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.871 * [backup-simplify]: Simplify 0 into 0 2.872 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.872 * [backup-simplify]: Simplify 0 into 0 2.872 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.872 * [backup-simplify]: Simplify 0 into 0 2.873 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.873 * [backup-simplify]: Simplify 0 into 0 2.873 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.873 * [backup-simplify]: Simplify 0 into 0 2.874 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 2.874 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 2.874 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 2.874 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.874 * [taylor]: Taking taylor expansion of (- z) in z 2.874 * [taylor]: Taking taylor expansion of z in z 2.874 * [backup-simplify]: Simplify 0 into 0 2.874 * [backup-simplify]: Simplify 1 into 1 2.874 * [taylor]: Taking taylor expansion of (- z) in z 2.874 * [taylor]: Taking taylor expansion of z in z 2.874 * [backup-simplify]: Simplify 0 into 0 2.874 * [backup-simplify]: Simplify 1 into 1 2.874 * [backup-simplify]: Simplify (- 0) into 0 2.874 * [backup-simplify]: Simplify 0 into 0 2.874 * [backup-simplify]: Simplify (- 1) into -1 2.874 * [backup-simplify]: Simplify -1 into -1 2.875 * [backup-simplify]: Simplify (- 0) into 0 2.875 * [backup-simplify]: Simplify 0 into 0 2.875 * [backup-simplify]: Simplify (- 0) into 0 2.875 * [backup-simplify]: Simplify 0 into 0 2.875 * [backup-simplify]: Simplify (- 0) into 0 2.875 * [backup-simplify]: Simplify 0 into 0 2.875 * [backup-simplify]: Simplify (- 0) into 0 2.875 * [backup-simplify]: Simplify 0 into 0 2.875 * [backup-simplify]: Simplify (- 0) into 0 2.875 * [backup-simplify]: Simplify 0 into 0 2.876 * [backup-simplify]: Simplify (- 0) into 0 2.876 * [backup-simplify]: Simplify 0 into 0 2.876 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 2.876 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 2.876 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.876 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.876 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.876 * [taylor]: Taking taylor expansion of z in z 2.876 * [backup-simplify]: Simplify 0 into 0 2.876 * [backup-simplify]: Simplify 1 into 1 2.876 * [backup-simplify]: Simplify (/ 1 1) into 1 2.876 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.876 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.876 * [taylor]: Taking taylor expansion of z in z 2.876 * [backup-simplify]: Simplify 0 into 0 2.876 * [backup-simplify]: Simplify 1 into 1 2.876 * [backup-simplify]: Simplify (/ 1 1) into 1 2.877 * [backup-simplify]: Simplify (- 1) into -1 2.877 * [backup-simplify]: Simplify -1 into -1 2.877 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.877 * [backup-simplify]: Simplify (- 0) into 0 2.877 * [backup-simplify]: Simplify 0 into 0 2.878 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.878 * [backup-simplify]: Simplify (- 0) into 0 2.878 * [backup-simplify]: Simplify 0 into 0 2.879 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.879 * [backup-simplify]: Simplify (- 0) into 0 2.879 * [backup-simplify]: Simplify 0 into 0 2.879 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.880 * [backup-simplify]: Simplify (- 0) into 0 2.880 * [backup-simplify]: Simplify 0 into 0 2.880 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.880 * [backup-simplify]: Simplify (- 0) into 0 2.880 * [backup-simplify]: Simplify 0 into 0 2.881 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.881 * [backup-simplify]: Simplify (- 0) into 0 2.881 * [backup-simplify]: Simplify 0 into 0 2.881 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 2.881 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 2.881 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.881 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.881 * [taylor]: Taking taylor expansion of z in z 2.881 * [backup-simplify]: Simplify 0 into 0 2.881 * [backup-simplify]: Simplify 1 into 1 2.882 * [backup-simplify]: Simplify (/ 1 1) into 1 2.882 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.882 * [taylor]: Taking taylor expansion of z in z 2.882 * [backup-simplify]: Simplify 0 into 0 2.882 * [backup-simplify]: Simplify 1 into 1 2.882 * [backup-simplify]: Simplify (/ 1 1) into 1 2.882 * [backup-simplify]: Simplify 1 into 1 2.882 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.882 * [backup-simplify]: Simplify 0 into 0 2.883 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.883 * [backup-simplify]: Simplify 0 into 0 2.883 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.883 * [backup-simplify]: Simplify 0 into 0 2.884 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.884 * [backup-simplify]: Simplify 0 into 0 2.884 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.884 * [backup-simplify]: Simplify 0 into 0 2.885 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.885 * [backup-simplify]: Simplify 0 into 0 2.885 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 2.885 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2 1) 2.885 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 2.885 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.885 * [taylor]: Taking taylor expansion of (- z) in z 2.885 * [taylor]: Taking taylor expansion of z in z 2.885 * [backup-simplify]: Simplify 0 into 0 2.885 * [backup-simplify]: Simplify 1 into 1 2.885 * [taylor]: Taking taylor expansion of (- z) in z 2.885 * [taylor]: Taking taylor expansion of z in z 2.885 * [backup-simplify]: Simplify 0 into 0 2.885 * [backup-simplify]: Simplify 1 into 1 2.885 * [backup-simplify]: Simplify (- 0) into 0 2.886 * [backup-simplify]: Simplify 0 into 0 2.886 * [backup-simplify]: Simplify (- 1) into -1 2.886 * [backup-simplify]: Simplify -1 into -1 2.886 * [backup-simplify]: Simplify (- 0) into 0 2.886 * [backup-simplify]: Simplify 0 into 0 2.886 * [backup-simplify]: Simplify (- 0) into 0 2.886 * [backup-simplify]: Simplify 0 into 0 2.886 * [backup-simplify]: Simplify (- 0) into 0 2.886 * [backup-simplify]: Simplify 0 into 0 2.887 * [backup-simplify]: Simplify (- 0) into 0 2.887 * [backup-simplify]: Simplify 0 into 0 2.887 * [backup-simplify]: Simplify (- 0) into 0 2.887 * [backup-simplify]: Simplify 0 into 0 2.887 * [backup-simplify]: Simplify (- 0) into 0 2.887 * [backup-simplify]: Simplify 0 into 0 2.887 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 2.887 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 2.887 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.887 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.887 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.887 * [taylor]: Taking taylor expansion of z in z 2.887 * [backup-simplify]: Simplify 0 into 0 2.887 * [backup-simplify]: Simplify 1 into 1 2.888 * [backup-simplify]: Simplify (/ 1 1) into 1 2.888 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.888 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.888 * [taylor]: Taking taylor expansion of z in z 2.888 * [backup-simplify]: Simplify 0 into 0 2.888 * [backup-simplify]: Simplify 1 into 1 2.888 * [backup-simplify]: Simplify (/ 1 1) into 1 2.888 * [backup-simplify]: Simplify (- 1) into -1 2.888 * [backup-simplify]: Simplify -1 into -1 2.889 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.889 * [backup-simplify]: Simplify (- 0) into 0 2.889 * [backup-simplify]: Simplify 0 into 0 2.889 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.890 * [backup-simplify]: Simplify (- 0) into 0 2.890 * [backup-simplify]: Simplify 0 into 0 2.890 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.890 * [backup-simplify]: Simplify (- 0) into 0 2.890 * [backup-simplify]: Simplify 0 into 0 2.891 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.891 * [backup-simplify]: Simplify (- 0) into 0 2.891 * [backup-simplify]: Simplify 0 into 0 2.892 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.892 * [backup-simplify]: Simplify (- 0) into 0 2.892 * [backup-simplify]: Simplify 0 into 0 2.892 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.892 * [backup-simplify]: Simplify (- 0) into 0 2.892 * [backup-simplify]: Simplify 0 into 0 2.893 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 2.893 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 2.893 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.893 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.893 * [taylor]: Taking taylor expansion of z in z 2.893 * [backup-simplify]: Simplify 0 into 0 2.893 * [backup-simplify]: Simplify 1 into 1 2.893 * [backup-simplify]: Simplify (/ 1 1) into 1 2.893 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.893 * [taylor]: Taking taylor expansion of z in z 2.893 * [backup-simplify]: Simplify 0 into 0 2.893 * [backup-simplify]: Simplify 1 into 1 2.893 * [backup-simplify]: Simplify (/ 1 1) into 1 2.893 * [backup-simplify]: Simplify 1 into 1 2.894 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.894 * [backup-simplify]: Simplify 0 into 0 2.894 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.894 * [backup-simplify]: Simplify 0 into 0 2.895 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.895 * [backup-simplify]: Simplify 0 into 0 2.895 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.895 * [backup-simplify]: Simplify 0 into 0 2.896 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.896 * [backup-simplify]: Simplify 0 into 0 2.896 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.896 * [backup-simplify]: Simplify 0 into 0 2.896 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 2.896 * * * [progress]: simplifying candidates 2.897 * [simplify]: Simplifying: (/ (/ (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.898 * [simplify]: Sending expressions to egg_math: (/ (/ (exp h0) (exp h1)) (exp h0)) (/ (exp (- h0 h1)) (exp h0)) (log (- (- h0 h1) h0)) (exp (- (- h0 h1) h0)) (* (cbrt (- (- h0 h1) h0)) (cbrt (- (- h0 h1) h0))) (cbrt (- (- h0 h1) h0)) (* (* (- (- h0 h1) h0) (- (- h0 h1) h0)) (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (- (pow (- h0 h1) 3) (pow h0 3)) (+ (* (- h0 h1) (- h0 h1)) (+ (* h0 h0) (* (- h0 h1) h0))) (- h0) (- (* (- h0 h1) (- h0 h1)) (* h0 h0)) (+ (- h0 h1) h0) (+ (sqrt (- h0 h1)) (sqrt h0)) (- (sqrt (- h0 h1)) (sqrt h0)) (- (- h0 h1) h0) (- (- h0 h1) h0) (- (- h1) h0) (- (- h1) h0) (+ h1 h0) (- h0) (/ (/ (exp h0) (exp h1)) (exp h0)) (/ (exp (- h0 h1)) (exp h0)) (log (- (- h0 h1) h0)) (exp (- (- h0 h1) h0)) (* (cbrt (- (- h0 h1) h0)) (cbrt (- (- h0 h1) h0))) (cbrt (- (- h0 h1) h0)) (* (* (- (- h0 h1) h0) (- (- h0 h1) h0)) (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (- (pow (- h0 h1) 3) (pow h0 3)) (+ (* (- h0 h1) (- h0 h1)) (+ (* h0 h0) (* (- h0 h1) h0))) (- h0) (- (* (- h0 h1) (- h0 h1)) (* h0 h0)) (+ (- h0 h1) h0) (+ (sqrt (- h0 h1)) (sqrt h0)) (- (sqrt (- h0 h1)) (sqrt h0)) (- (- h0 h1) h0) (- (- h0 h1) h0) (- (- h1) h0) (- (- h1) h0) (+ h1 h0) (- h0) (/ (/ (exp h0) (exp h1)) (exp h0)) (/ (exp (- h0 h1)) (exp h0)) (log (- (- h0 h1) h0)) (exp (- (- h0 h1) h0)) (* (cbrt (- (- h0 h1) h0)) (cbrt (- (- h0 h1) h0))) (cbrt (- (- h0 h1) h0)) (* (* (- (- h0 h1) h0) (- (- h0 h1) h0)) (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (- (pow (- h0 h1) 3) (pow h0 3)) (+ (* (- h0 h1) (- h0 h1)) (+ (* h0 h0) (* (- h0 h1) h0))) (- h0) (- (* (- h0 h1) (- h0 h1)) (* h0 h0)) (+ (- h0 h1) h0) (+ (sqrt (- h0 h1)) (sqrt h0)) (- (sqrt (- h0 h1)) (sqrt h0)) (- (- h0 h1) h0) (- (- h0 h1) h0) (- (- h1) h0) (- (- h1) h0) (+ h1 h0) (- h0) (/ (/ (exp h0) (exp h1)) (exp h0)) (/ (exp (- h0 h1)) (exp h0)) (log (- (- h0 h1) h0)) (exp (- (- h0 h1) h0)) (* (cbrt (- (- h0 h1) h0)) (cbrt (- (- h0 h1) h0))) (cbrt (- (- h0 h1) h0)) (* (* (- (- h0 h1) h0) (- (- h0 h1) h0)) (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (- (pow (- h0 h1) 3) (pow h0 3)) (+ (* (- h0 h1) (- h0 h1)) (+ (* h0 h0) (* (- h0 h1) h0))) (- h0) (- (* (- h0 h1) (- h0 h1)) (* h0 h0)) (+ (- h0 h1) h0) (+ (sqrt (- h0 h1)) (sqrt h0)) (- (sqrt (- h0 h1)) (sqrt h0)) (- (- h0 h1) h0) (- (- h0 h1) h0) (- (- h1) h0) (- (- h1) h0) (+ h1 h0) (- h0) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) 2.904 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 2.906 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 2.910 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 2.922 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 2.968 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 2.970 * * * [progress]: adding candidates to table 3.709 * * [progress]: iteration 3 / 4 3.709 * * * [progress]: picking best candidate 3.733 * * * * [pick]: Picked # 3.733 * * * [progress]: localizing error 3.801 * * * [progress]: generating rewritten candidates 3.801 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2 1) 3.834 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 2 1) 3.870 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 3.905 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 2 2 1) 3.940 * * * [progress]: generating series expansions 3.940 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2 1) 3.940 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 3.940 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 3.940 * [taylor]: Taking taylor expansion of (- z) in z 3.940 * [taylor]: Taking taylor expansion of z in z 3.940 * [backup-simplify]: Simplify 0 into 0 3.940 * [backup-simplify]: Simplify 1 into 1 3.940 * [taylor]: Taking taylor expansion of (- z) in z 3.940 * [taylor]: Taking taylor expansion of z in z 3.940 * [backup-simplify]: Simplify 0 into 0 3.940 * [backup-simplify]: Simplify 1 into 1 3.940 * [backup-simplify]: Simplify (- 0) into 0 3.941 * [backup-simplify]: Simplify 0 into 0 3.941 * [backup-simplify]: Simplify (- 1) into -1 3.941 * [backup-simplify]: Simplify -1 into -1 3.941 * [backup-simplify]: Simplify (- 0) into 0 3.941 * [backup-simplify]: Simplify 0 into 0 3.941 * [backup-simplify]: Simplify (- 0) into 0 3.941 * [backup-simplify]: Simplify 0 into 0 3.941 * [backup-simplify]: Simplify (- 0) into 0 3.942 * [backup-simplify]: Simplify 0 into 0 3.942 * [backup-simplify]: Simplify (- 0) into 0 3.942 * [backup-simplify]: Simplify 0 into 0 3.942 * [backup-simplify]: Simplify (- 0) into 0 3.942 * [backup-simplify]: Simplify 0 into 0 3.942 * [backup-simplify]: Simplify (- 0) into 0 3.942 * [backup-simplify]: Simplify 0 into 0 3.942 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 3.942 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 3.942 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 3.942 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.942 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.942 * [taylor]: Taking taylor expansion of z in z 3.942 * [backup-simplify]: Simplify 0 into 0 3.942 * [backup-simplify]: Simplify 1 into 1 3.943 * [backup-simplify]: Simplify (/ 1 1) into 1 3.943 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.943 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.943 * [taylor]: Taking taylor expansion of z in z 3.943 * [backup-simplify]: Simplify 0 into 0 3.943 * [backup-simplify]: Simplify 1 into 1 3.943 * [backup-simplify]: Simplify (/ 1 1) into 1 3.943 * [backup-simplify]: Simplify (- 1) into -1 3.943 * [backup-simplify]: Simplify -1 into -1 3.944 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.944 * [backup-simplify]: Simplify (- 0) into 0 3.944 * [backup-simplify]: Simplify 0 into 0 3.944 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.945 * [backup-simplify]: Simplify (- 0) into 0 3.945 * [backup-simplify]: Simplify 0 into 0 3.945 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.945 * [backup-simplify]: Simplify (- 0) into 0 3.945 * [backup-simplify]: Simplify 0 into 0 3.946 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.946 * [backup-simplify]: Simplify (- 0) into 0 3.946 * [backup-simplify]: Simplify 0 into 0 3.947 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.947 * [backup-simplify]: Simplify (- 0) into 0 3.947 * [backup-simplify]: Simplify 0 into 0 3.947 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.948 * [backup-simplify]: Simplify (- 0) into 0 3.948 * [backup-simplify]: Simplify 0 into 0 3.948 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 3.948 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 3.948 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.948 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.948 * [taylor]: Taking taylor expansion of z in z 3.948 * [backup-simplify]: Simplify 0 into 0 3.948 * [backup-simplify]: Simplify 1 into 1 3.948 * [backup-simplify]: Simplify (/ 1 1) into 1 3.948 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.948 * [taylor]: Taking taylor expansion of z in z 3.948 * [backup-simplify]: Simplify 0 into 0 3.948 * [backup-simplify]: Simplify 1 into 1 3.948 * [backup-simplify]: Simplify (/ 1 1) into 1 3.948 * [backup-simplify]: Simplify 1 into 1 3.949 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.949 * [backup-simplify]: Simplify 0 into 0 3.949 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.949 * [backup-simplify]: Simplify 0 into 0 3.950 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.950 * [backup-simplify]: Simplify 0 into 0 3.950 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.950 * [backup-simplify]: Simplify 0 into 0 3.951 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.951 * [backup-simplify]: Simplify 0 into 0 3.951 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.951 * [backup-simplify]: Simplify 0 into 0 3.952 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 3.952 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 2 1) 3.952 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 3.952 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 3.952 * [taylor]: Taking taylor expansion of (- z) in z 3.952 * [taylor]: Taking taylor expansion of z in z 3.952 * [backup-simplify]: Simplify 0 into 0 3.952 * [backup-simplify]: Simplify 1 into 1 3.952 * [taylor]: Taking taylor expansion of (- z) in z 3.952 * [taylor]: Taking taylor expansion of z in z 3.952 * [backup-simplify]: Simplify 0 into 0 3.952 * [backup-simplify]: Simplify 1 into 1 3.952 * [backup-simplify]: Simplify (- 0) into 0 3.952 * [backup-simplify]: Simplify 0 into 0 3.952 * [backup-simplify]: Simplify (- 1) into -1 3.952 * [backup-simplify]: Simplify -1 into -1 3.953 * [backup-simplify]: Simplify (- 0) into 0 3.953 * [backup-simplify]: Simplify 0 into 0 3.953 * [backup-simplify]: Simplify (- 0) into 0 3.953 * [backup-simplify]: Simplify 0 into 0 3.953 * [backup-simplify]: Simplify (- 0) into 0 3.953 * [backup-simplify]: Simplify 0 into 0 3.953 * [backup-simplify]: Simplify (- 0) into 0 3.953 * [backup-simplify]: Simplify 0 into 0 3.954 * [backup-simplify]: Simplify (- 0) into 0 3.954 * [backup-simplify]: Simplify 0 into 0 3.954 * [backup-simplify]: Simplify (- 0) into 0 3.954 * [backup-simplify]: Simplify 0 into 0 3.954 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 3.954 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 3.954 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 3.954 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.954 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.954 * [taylor]: Taking taylor expansion of z in z 3.954 * [backup-simplify]: Simplify 0 into 0 3.954 * [backup-simplify]: Simplify 1 into 1 3.954 * [backup-simplify]: Simplify (/ 1 1) into 1 3.954 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.954 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.954 * [taylor]: Taking taylor expansion of z in z 3.954 * [backup-simplify]: Simplify 0 into 0 3.954 * [backup-simplify]: Simplify 1 into 1 3.955 * [backup-simplify]: Simplify (/ 1 1) into 1 3.955 * [backup-simplify]: Simplify (- 1) into -1 3.955 * [backup-simplify]: Simplify -1 into -1 3.955 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.956 * [backup-simplify]: Simplify (- 0) into 0 3.956 * [backup-simplify]: Simplify 0 into 0 3.956 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.956 * [backup-simplify]: Simplify (- 0) into 0 3.956 * [backup-simplify]: Simplify 0 into 0 3.957 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.957 * [backup-simplify]: Simplify (- 0) into 0 3.957 * [backup-simplify]: Simplify 0 into 0 3.958 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.958 * [backup-simplify]: Simplify (- 0) into 0 3.958 * [backup-simplify]: Simplify 0 into 0 3.959 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.959 * [backup-simplify]: Simplify (- 0) into 0 3.959 * [backup-simplify]: Simplify 0 into 0 3.960 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.960 * [backup-simplify]: Simplify (- 0) into 0 3.960 * [backup-simplify]: Simplify 0 into 0 3.960 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 3.960 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 3.960 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.960 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.960 * [taylor]: Taking taylor expansion of z in z 3.960 * [backup-simplify]: Simplify 0 into 0 3.960 * [backup-simplify]: Simplify 1 into 1 3.960 * [backup-simplify]: Simplify (/ 1 1) into 1 3.960 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.960 * [taylor]: Taking taylor expansion of z in z 3.960 * [backup-simplify]: Simplify 0 into 0 3.960 * [backup-simplify]: Simplify 1 into 1 3.961 * [backup-simplify]: Simplify (/ 1 1) into 1 3.961 * [backup-simplify]: Simplify 1 into 1 3.961 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.961 * [backup-simplify]: Simplify 0 into 0 3.962 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.962 * [backup-simplify]: Simplify 0 into 0 3.962 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.962 * [backup-simplify]: Simplify 0 into 0 3.966 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.966 * [backup-simplify]: Simplify 0 into 0 3.966 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.967 * [backup-simplify]: Simplify 0 into 0 3.967 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.967 * [backup-simplify]: Simplify 0 into 0 3.967 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 3.967 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 2 2 1) 3.967 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 3.967 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 3.967 * [taylor]: Taking taylor expansion of (- z) in z 3.967 * [taylor]: Taking taylor expansion of z in z 3.967 * [backup-simplify]: Simplify 0 into 0 3.967 * [backup-simplify]: Simplify 1 into 1 3.967 * [taylor]: Taking taylor expansion of (- z) in z 3.967 * [taylor]: Taking taylor expansion of z in z 3.967 * [backup-simplify]: Simplify 0 into 0 3.967 * [backup-simplify]: Simplify 1 into 1 3.968 * [backup-simplify]: Simplify (- 0) into 0 3.968 * [backup-simplify]: Simplify 0 into 0 3.968 * [backup-simplify]: Simplify (- 1) into -1 3.968 * [backup-simplify]: Simplify -1 into -1 3.968 * [backup-simplify]: Simplify (- 0) into 0 3.968 * [backup-simplify]: Simplify 0 into 0 3.968 * [backup-simplify]: Simplify (- 0) into 0 3.968 * [backup-simplify]: Simplify 0 into 0 3.969 * [backup-simplify]: Simplify (- 0) into 0 3.969 * [backup-simplify]: Simplify 0 into 0 3.969 * [backup-simplify]: Simplify (- 0) into 0 3.969 * [backup-simplify]: Simplify 0 into 0 3.969 * [backup-simplify]: Simplify (- 0) into 0 3.969 * [backup-simplify]: Simplify 0 into 0 3.969 * [backup-simplify]: Simplify (- 0) into 0 3.969 * [backup-simplify]: Simplify 0 into 0 3.969 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 3.969 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 3.970 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 3.970 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.970 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.970 * [taylor]: Taking taylor expansion of z in z 3.970 * [backup-simplify]: Simplify 0 into 0 3.970 * [backup-simplify]: Simplify 1 into 1 3.970 * [backup-simplify]: Simplify (/ 1 1) into 1 3.970 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.970 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.970 * [taylor]: Taking taylor expansion of z in z 3.970 * [backup-simplify]: Simplify 0 into 0 3.970 * [backup-simplify]: Simplify 1 into 1 3.970 * [backup-simplify]: Simplify (/ 1 1) into 1 3.970 * [backup-simplify]: Simplify (- 1) into -1 3.970 * [backup-simplify]: Simplify -1 into -1 3.971 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.971 * [backup-simplify]: Simplify (- 0) into 0 3.971 * [backup-simplify]: Simplify 0 into 0 3.971 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.972 * [backup-simplify]: Simplify (- 0) into 0 3.972 * [backup-simplify]: Simplify 0 into 0 3.972 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.972 * [backup-simplify]: Simplify (- 0) into 0 3.972 * [backup-simplify]: Simplify 0 into 0 3.973 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.973 * [backup-simplify]: Simplify (- 0) into 0 3.973 * [backup-simplify]: Simplify 0 into 0 3.974 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.974 * [backup-simplify]: Simplify (- 0) into 0 3.974 * [backup-simplify]: Simplify 0 into 0 3.974 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.975 * [backup-simplify]: Simplify (- 0) into 0 3.975 * [backup-simplify]: Simplify 0 into 0 3.975 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 3.975 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 3.975 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.975 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.975 * [taylor]: Taking taylor expansion of z in z 3.975 * [backup-simplify]: Simplify 0 into 0 3.975 * [backup-simplify]: Simplify 1 into 1 3.975 * [backup-simplify]: Simplify (/ 1 1) into 1 3.975 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.975 * [taylor]: Taking taylor expansion of z in z 3.975 * [backup-simplify]: Simplify 0 into 0 3.975 * [backup-simplify]: Simplify 1 into 1 3.975 * [backup-simplify]: Simplify (/ 1 1) into 1 3.975 * [backup-simplify]: Simplify 1 into 1 3.976 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.976 * [backup-simplify]: Simplify 0 into 0 3.976 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.976 * [backup-simplify]: Simplify 0 into 0 3.977 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.977 * [backup-simplify]: Simplify 0 into 0 3.977 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.977 * [backup-simplify]: Simplify 0 into 0 3.978 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.978 * [backup-simplify]: Simplify 0 into 0 3.978 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.978 * [backup-simplify]: Simplify 0 into 0 3.978 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 3.979 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 2 2 1) 3.979 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 3.979 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 3.979 * [taylor]: Taking taylor expansion of (- z) in z 3.979 * [taylor]: Taking taylor expansion of z in z 3.979 * [backup-simplify]: Simplify 0 into 0 3.979 * [backup-simplify]: Simplify 1 into 1 3.979 * [taylor]: Taking taylor expansion of (- z) in z 3.979 * [taylor]: Taking taylor expansion of z in z 3.979 * [backup-simplify]: Simplify 0 into 0 3.979 * [backup-simplify]: Simplify 1 into 1 3.979 * [backup-simplify]: Simplify (- 0) into 0 3.979 * [backup-simplify]: Simplify 0 into 0 3.979 * [backup-simplify]: Simplify (- 1) into -1 3.979 * [backup-simplify]: Simplify -1 into -1 3.979 * [backup-simplify]: Simplify (- 0) into 0 3.979 * [backup-simplify]: Simplify 0 into 0 3.980 * [backup-simplify]: Simplify (- 0) into 0 3.980 * [backup-simplify]: Simplify 0 into 0 3.980 * [backup-simplify]: Simplify (- 0) into 0 3.980 * [backup-simplify]: Simplify 0 into 0 3.980 * [backup-simplify]: Simplify (- 0) into 0 3.980 * [backup-simplify]: Simplify 0 into 0 3.980 * [backup-simplify]: Simplify (- 0) into 0 3.980 * [backup-simplify]: Simplify 0 into 0 3.981 * [backup-simplify]: Simplify (- 0) into 0 3.981 * [backup-simplify]: Simplify 0 into 0 3.981 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 3.981 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 3.981 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 3.981 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.981 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.981 * [taylor]: Taking taylor expansion of z in z 3.981 * [backup-simplify]: Simplify 0 into 0 3.981 * [backup-simplify]: Simplify 1 into 1 3.981 * [backup-simplify]: Simplify (/ 1 1) into 1 3.981 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.981 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.981 * [taylor]: Taking taylor expansion of z in z 3.981 * [backup-simplify]: Simplify 0 into 0 3.981 * [backup-simplify]: Simplify 1 into 1 3.981 * [backup-simplify]: Simplify (/ 1 1) into 1 3.982 * [backup-simplify]: Simplify (- 1) into -1 3.982 * [backup-simplify]: Simplify -1 into -1 3.982 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.982 * [backup-simplify]: Simplify (- 0) into 0 3.982 * [backup-simplify]: Simplify 0 into 0 3.983 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.983 * [backup-simplify]: Simplify (- 0) into 0 3.983 * [backup-simplify]: Simplify 0 into 0 3.983 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.984 * [backup-simplify]: Simplify (- 0) into 0 3.984 * [backup-simplify]: Simplify 0 into 0 3.984 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.984 * [backup-simplify]: Simplify (- 0) into 0 3.984 * [backup-simplify]: Simplify 0 into 0 3.985 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.985 * [backup-simplify]: Simplify (- 0) into 0 3.985 * [backup-simplify]: Simplify 0 into 0 3.986 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.986 * [backup-simplify]: Simplify (- 0) into 0 3.986 * [backup-simplify]: Simplify 0 into 0 3.986 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 3.986 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 3.986 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 3.986 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.986 * [taylor]: Taking taylor expansion of z in z 3.986 * [backup-simplify]: Simplify 0 into 0 3.986 * [backup-simplify]: Simplify 1 into 1 3.986 * [backup-simplify]: Simplify (/ 1 1) into 1 3.986 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.986 * [taylor]: Taking taylor expansion of z in z 3.986 * [backup-simplify]: Simplify 0 into 0 3.986 * [backup-simplify]: Simplify 1 into 1 3.987 * [backup-simplify]: Simplify (/ 1 1) into 1 3.987 * [backup-simplify]: Simplify 1 into 1 3.987 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.987 * [backup-simplify]: Simplify 0 into 0 3.988 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.988 * [backup-simplify]: Simplify 0 into 0 3.988 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.988 * [backup-simplify]: Simplify 0 into 0 3.989 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.989 * [backup-simplify]: Simplify 0 into 0 3.989 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.989 * [backup-simplify]: Simplify 0 into 0 3.990 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.990 * [backup-simplify]: Simplify 0 into 0 3.990 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 3.990 * * * [progress]: simplifying candidates 3.991 * [simplify]: Simplifying: (/ (/ (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.991 * [simplify]: Sending expressions to egg_math: (/ (/ (exp h0) (exp h1)) (exp h0)) (/ (exp (- h0 h1)) (exp h0)) (log (- (- h0 h1) h0)) (exp (- (- h0 h1) h0)) (* (cbrt (- (- h0 h1) h0)) (cbrt (- (- h0 h1) h0))) (cbrt (- (- h0 h1) h0)) (* (* (- (- h0 h1) h0) (- (- h0 h1) h0)) (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (- (pow (- h0 h1) 3) (pow h0 3)) (+ (* (- h0 h1) (- h0 h1)) (+ (* h0 h0) (* (- h0 h1) h0))) (- h0) (- (* (- h0 h1) (- h0 h1)) (* h0 h0)) (+ (- h0 h1) h0) (+ (sqrt (- h0 h1)) (sqrt h0)) (- (sqrt (- h0 h1)) (sqrt h0)) (- (- h0 h1) h0) (- (- h0 h1) h0) (- (- h1) h0) (- (- h1) h0) (+ h1 h0) (- h0) (/ (/ (exp h0) (exp h1)) (exp h0)) (/ (exp (- h0 h1)) (exp h0)) (log (- (- h0 h1) h0)) (exp (- (- h0 h1) h0)) (* (cbrt (- (- h0 h1) h0)) (cbrt (- (- h0 h1) h0))) (cbrt (- (- h0 h1) h0)) (* (* (- (- h0 h1) h0) (- (- h0 h1) h0)) (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (- (pow (- h0 h1) 3) (pow h0 3)) (+ (* (- h0 h1) (- h0 h1)) (+ (* h0 h0) (* (- h0 h1) h0))) (- h0) (- (* (- h0 h1) (- h0 h1)) (* h0 h0)) (+ (- h0 h1) h0) (+ (sqrt (- h0 h1)) (sqrt h0)) (- (sqrt (- h0 h1)) (sqrt h0)) (- (- h0 h1) h0) (- (- h0 h1) h0) (- (- h1) h0) (- (- h1) h0) (+ h1 h0) (- h0) (/ (/ (exp h0) (exp h1)) (exp h0)) (/ (exp (- h0 h1)) (exp h0)) (log (- (- h0 h1) h0)) (exp (- (- h0 h1) h0)) (* (cbrt (- (- h0 h1) h0)) (cbrt (- (- h0 h1) h0))) (cbrt (- (- h0 h1) h0)) (* (* (- (- h0 h1) h0) (- (- h0 h1) h0)) (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (- (pow (- h0 h1) 3) (pow h0 3)) (+ (* (- h0 h1) (- h0 h1)) (+ (* h0 h0) (* (- h0 h1) h0))) (- h0) (- (* (- h0 h1) (- h0 h1)) (* h0 h0)) (+ (- h0 h1) h0) (+ (sqrt (- h0 h1)) (sqrt h0)) (- (sqrt (- h0 h1)) (sqrt h0)) (- (- h0 h1) h0) (- (- h0 h1) h0) (- (- h1) h0) (- (- h1) h0) (+ h1 h0) (- h0) (/ (/ (exp h0) (exp h1)) (exp h0)) (/ (exp (- h0 h1)) (exp h0)) (log (- (- h0 h1) h0)) (exp (- (- h0 h1) h0)) (* (cbrt (- (- h0 h1) h0)) (cbrt (- (- h0 h1) h0))) (cbrt (- (- h0 h1) h0)) (* (* (- (- h0 h1) h0) (- (- h0 h1) h0)) (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (- (pow (- h0 h1) 3) (pow h0 3)) (+ (* (- h0 h1) (- h0 h1)) (+ (* h0 h0) (* (- h0 h1) h0))) (- h0) (- (* (- h0 h1) (- h0 h1)) (* h0 h0)) (+ (- h0 h1) h0) (+ (sqrt (- h0 h1)) (sqrt h0)) (- (sqrt (- h0 h1)) (sqrt h0)) (- (- h0 h1) h0) (- (- h0 h1) h0) (- (- h1) h0) (- (- h1) h0) (+ h1 h0) (- h0) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) 3.994 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 3.996 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 4.000 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 4.012 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 4.059 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 4.061 * * * [progress]: adding candidates to table 5.017 * * [progress]: iteration 4 / 4 5.017 * * * [progress]: picking best candidate 5.028 * * * * [pick]: Picked # 5.028 * * * [progress]: localizing error 5.090 * * * [progress]: generating rewritten candidates 5.090 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 1 1) 5.127 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 5.160 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 5.195 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2 1) 5.230 * * * [progress]: generating series expansions 5.230 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 1 1) 5.230 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 5.230 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 5.230 * [taylor]: Taking taylor expansion of (- z) in z 5.230 * [taylor]: Taking taylor expansion of z in z 5.230 * [backup-simplify]: Simplify 0 into 0 5.230 * [backup-simplify]: Simplify 1 into 1 5.230 * [taylor]: Taking taylor expansion of (- z) in z 5.230 * [taylor]: Taking taylor expansion of z in z 5.230 * [backup-simplify]: Simplify 0 into 0 5.230 * [backup-simplify]: Simplify 1 into 1 5.231 * [backup-simplify]: Simplify (- 0) into 0 5.231 * [backup-simplify]: Simplify 0 into 0 5.231 * [backup-simplify]: Simplify (- 1) into -1 5.231 * [backup-simplify]: Simplify -1 into -1 5.231 * [backup-simplify]: Simplify (- 0) into 0 5.231 * [backup-simplify]: Simplify 0 into 0 5.232 * [backup-simplify]: Simplify (- 0) into 0 5.232 * [backup-simplify]: Simplify 0 into 0 5.232 * [backup-simplify]: Simplify (- 0) into 0 5.232 * [backup-simplify]: Simplify 0 into 0 5.232 * [backup-simplify]: Simplify (- 0) into 0 5.232 * [backup-simplify]: Simplify 0 into 0 5.232 * [backup-simplify]: Simplify (- 0) into 0 5.232 * [backup-simplify]: Simplify 0 into 0 5.233 * [backup-simplify]: Simplify (- 0) into 0 5.233 * [backup-simplify]: Simplify 0 into 0 5.233 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 5.233 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 5.233 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 5.233 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.233 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.233 * [taylor]: Taking taylor expansion of z in z 5.233 * [backup-simplify]: Simplify 0 into 0 5.233 * [backup-simplify]: Simplify 1 into 1 5.233 * [backup-simplify]: Simplify (/ 1 1) into 1 5.233 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.233 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.233 * [taylor]: Taking taylor expansion of z in z 5.233 * [backup-simplify]: Simplify 0 into 0 5.233 * [backup-simplify]: Simplify 1 into 1 5.234 * [backup-simplify]: Simplify (/ 1 1) into 1 5.234 * [backup-simplify]: Simplify (- 1) into -1 5.234 * [backup-simplify]: Simplify -1 into -1 5.234 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.234 * [backup-simplify]: Simplify (- 0) into 0 5.234 * [backup-simplify]: Simplify 0 into 0 5.235 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.235 * [backup-simplify]: Simplify (- 0) into 0 5.235 * [backup-simplify]: Simplify 0 into 0 5.236 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.236 * [backup-simplify]: Simplify (- 0) into 0 5.236 * [backup-simplify]: Simplify 0 into 0 5.236 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.237 * [backup-simplify]: Simplify (- 0) into 0 5.237 * [backup-simplify]: Simplify 0 into 0 5.237 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.237 * [backup-simplify]: Simplify (- 0) into 0 5.237 * [backup-simplify]: Simplify 0 into 0 5.238 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.238 * [backup-simplify]: Simplify (- 0) into 0 5.238 * [backup-simplify]: Simplify 0 into 0 5.238 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 5.238 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 5.238 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.238 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.238 * [taylor]: Taking taylor expansion of z in z 5.238 * [backup-simplify]: Simplify 0 into 0 5.238 * [backup-simplify]: Simplify 1 into 1 5.239 * [backup-simplify]: Simplify (/ 1 1) into 1 5.239 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.239 * [taylor]: Taking taylor expansion of z in z 5.239 * [backup-simplify]: Simplify 0 into 0 5.239 * [backup-simplify]: Simplify 1 into 1 5.239 * [backup-simplify]: Simplify (/ 1 1) into 1 5.239 * [backup-simplify]: Simplify 1 into 1 5.240 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.240 * [backup-simplify]: Simplify 0 into 0 5.240 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.240 * [backup-simplify]: Simplify 0 into 0 5.241 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.241 * [backup-simplify]: Simplify 0 into 0 5.241 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.241 * [backup-simplify]: Simplify 0 into 0 5.242 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.242 * [backup-simplify]: Simplify 0 into 0 5.243 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.243 * [backup-simplify]: Simplify 0 into 0 5.243 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 5.243 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 5.243 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 5.243 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 5.243 * [taylor]: Taking taylor expansion of (- z) in z 5.243 * [taylor]: Taking taylor expansion of z in z 5.243 * [backup-simplify]: Simplify 0 into 0 5.243 * [backup-simplify]: Simplify 1 into 1 5.243 * [taylor]: Taking taylor expansion of (- z) in z 5.243 * [taylor]: Taking taylor expansion of z in z 5.243 * [backup-simplify]: Simplify 0 into 0 5.243 * [backup-simplify]: Simplify 1 into 1 5.243 * [backup-simplify]: Simplify (- 0) into 0 5.243 * [backup-simplify]: Simplify 0 into 0 5.244 * [backup-simplify]: Simplify (- 1) into -1 5.244 * [backup-simplify]: Simplify -1 into -1 5.244 * [backup-simplify]: Simplify (- 0) into 0 5.244 * [backup-simplify]: Simplify 0 into 0 5.244 * [backup-simplify]: Simplify (- 0) into 0 5.244 * [backup-simplify]: Simplify 0 into 0 5.244 * [backup-simplify]: Simplify (- 0) into 0 5.244 * [backup-simplify]: Simplify 0 into 0 5.244 * [backup-simplify]: Simplify (- 0) into 0 5.244 * [backup-simplify]: Simplify 0 into 0 5.245 * [backup-simplify]: Simplify (- 0) into 0 5.245 * [backup-simplify]: Simplify 0 into 0 5.248 * [backup-simplify]: Simplify (- 0) into 0 5.248 * [backup-simplify]: Simplify 0 into 0 5.248 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 5.248 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 5.248 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 5.248 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.248 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.248 * [taylor]: Taking taylor expansion of z in z 5.248 * [backup-simplify]: Simplify 0 into 0 5.248 * [backup-simplify]: Simplify 1 into 1 5.248 * [backup-simplify]: Simplify (/ 1 1) into 1 5.248 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.248 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.248 * [taylor]: Taking taylor expansion of z in z 5.248 * [backup-simplify]: Simplify 0 into 0 5.248 * [backup-simplify]: Simplify 1 into 1 5.249 * [backup-simplify]: Simplify (/ 1 1) into 1 5.249 * [backup-simplify]: Simplify (- 1) into -1 5.249 * [backup-simplify]: Simplify -1 into -1 5.249 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.250 * [backup-simplify]: Simplify (- 0) into 0 5.250 * [backup-simplify]: Simplify 0 into 0 5.250 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.250 * [backup-simplify]: Simplify (- 0) into 0 5.250 * [backup-simplify]: Simplify 0 into 0 5.251 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.251 * [backup-simplify]: Simplify (- 0) into 0 5.251 * [backup-simplify]: Simplify 0 into 0 5.251 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.252 * [backup-simplify]: Simplify (- 0) into 0 5.252 * [backup-simplify]: Simplify 0 into 0 5.252 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.252 * [backup-simplify]: Simplify (- 0) into 0 5.252 * [backup-simplify]: Simplify 0 into 0 5.253 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.253 * [backup-simplify]: Simplify (- 0) into 0 5.253 * [backup-simplify]: Simplify 0 into 0 5.253 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 5.253 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 5.253 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.253 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.253 * [taylor]: Taking taylor expansion of z in z 5.253 * [backup-simplify]: Simplify 0 into 0 5.253 * [backup-simplify]: Simplify 1 into 1 5.254 * [backup-simplify]: Simplify (/ 1 1) into 1 5.254 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.254 * [taylor]: Taking taylor expansion of z in z 5.254 * [backup-simplify]: Simplify 0 into 0 5.254 * [backup-simplify]: Simplify 1 into 1 5.254 * [backup-simplify]: Simplify (/ 1 1) into 1 5.254 * [backup-simplify]: Simplify 1 into 1 5.254 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.254 * [backup-simplify]: Simplify 0 into 0 5.255 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.255 * [backup-simplify]: Simplify 0 into 0 5.255 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.255 * [backup-simplify]: Simplify 0 into 0 5.256 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.256 * [backup-simplify]: Simplify 0 into 0 5.256 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.257 * [backup-simplify]: Simplify 0 into 0 5.257 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.257 * [backup-simplify]: Simplify 0 into 0 5.257 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 5.257 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 5.257 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 5.257 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 5.257 * [taylor]: Taking taylor expansion of (- z) in z 5.257 * [taylor]: Taking taylor expansion of z in z 5.257 * [backup-simplify]: Simplify 0 into 0 5.257 * [backup-simplify]: Simplify 1 into 1 5.257 * [taylor]: Taking taylor expansion of (- z) in z 5.257 * [taylor]: Taking taylor expansion of z in z 5.257 * [backup-simplify]: Simplify 0 into 0 5.257 * [backup-simplify]: Simplify 1 into 1 5.258 * [backup-simplify]: Simplify (- 0) into 0 5.258 * [backup-simplify]: Simplify 0 into 0 5.258 * [backup-simplify]: Simplify (- 1) into -1 5.258 * [backup-simplify]: Simplify -1 into -1 5.258 * [backup-simplify]: Simplify (- 0) into 0 5.258 * [backup-simplify]: Simplify 0 into 0 5.258 * [backup-simplify]: Simplify (- 0) into 0 5.258 * [backup-simplify]: Simplify 0 into 0 5.259 * [backup-simplify]: Simplify (- 0) into 0 5.259 * [backup-simplify]: Simplify 0 into 0 5.259 * [backup-simplify]: Simplify (- 0) into 0 5.259 * [backup-simplify]: Simplify 0 into 0 5.259 * [backup-simplify]: Simplify (- 0) into 0 5.259 * [backup-simplify]: Simplify 0 into 0 5.259 * [backup-simplify]: Simplify (- 0) into 0 5.259 * [backup-simplify]: Simplify 0 into 0 5.259 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 5.259 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 5.259 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 5.259 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.259 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.260 * [taylor]: Taking taylor expansion of z in z 5.260 * [backup-simplify]: Simplify 0 into 0 5.260 * [backup-simplify]: Simplify 1 into 1 5.260 * [backup-simplify]: Simplify (/ 1 1) into 1 5.260 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.260 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.260 * [taylor]: Taking taylor expansion of z in z 5.260 * [backup-simplify]: Simplify 0 into 0 5.260 * [backup-simplify]: Simplify 1 into 1 5.260 * [backup-simplify]: Simplify (/ 1 1) into 1 5.260 * [backup-simplify]: Simplify (- 1) into -1 5.260 * [backup-simplify]: Simplify -1 into -1 5.261 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.261 * [backup-simplify]: Simplify (- 0) into 0 5.261 * [backup-simplify]: Simplify 0 into 0 5.261 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.262 * [backup-simplify]: Simplify (- 0) into 0 5.262 * [backup-simplify]: Simplify 0 into 0 5.262 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.262 * [backup-simplify]: Simplify (- 0) into 0 5.262 * [backup-simplify]: Simplify 0 into 0 5.263 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.263 * [backup-simplify]: Simplify (- 0) into 0 5.263 * [backup-simplify]: Simplify 0 into 0 5.264 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.264 * [backup-simplify]: Simplify (- 0) into 0 5.264 * [backup-simplify]: Simplify 0 into 0 5.264 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.265 * [backup-simplify]: Simplify (- 0) into 0 5.265 * [backup-simplify]: Simplify 0 into 0 5.265 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 5.265 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 5.265 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.265 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.265 * [taylor]: Taking taylor expansion of z in z 5.265 * [backup-simplify]: Simplify 0 into 0 5.265 * [backup-simplify]: Simplify 1 into 1 5.265 * [backup-simplify]: Simplify (/ 1 1) into 1 5.265 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.265 * [taylor]: Taking taylor expansion of z in z 5.265 * [backup-simplify]: Simplify 0 into 0 5.265 * [backup-simplify]: Simplify 1 into 1 5.265 * [backup-simplify]: Simplify (/ 1 1) into 1 5.265 * [backup-simplify]: Simplify 1 into 1 5.266 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.266 * [backup-simplify]: Simplify 0 into 0 5.267 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.267 * [backup-simplify]: Simplify 0 into 0 5.267 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.267 * [backup-simplify]: Simplify 0 into 0 5.268 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.268 * [backup-simplify]: Simplify 0 into 0 5.268 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.268 * [backup-simplify]: Simplify 0 into 0 5.269 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.269 * [backup-simplify]: Simplify 0 into 0 5.269 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 5.269 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2 1) 5.269 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z) 5.269 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 5.269 * [taylor]: Taking taylor expansion of (- z) in z 5.269 * [taylor]: Taking taylor expansion of z in z 5.269 * [backup-simplify]: Simplify 0 into 0 5.269 * [backup-simplify]: Simplify 1 into 1 5.269 * [taylor]: Taking taylor expansion of (- z) in z 5.269 * [taylor]: Taking taylor expansion of z in z 5.269 * [backup-simplify]: Simplify 0 into 0 5.269 * [backup-simplify]: Simplify 1 into 1 5.269 * [backup-simplify]: Simplify (- 0) into 0 5.269 * [backup-simplify]: Simplify 0 into 0 5.270 * [backup-simplify]: Simplify (- 1) into -1 5.270 * [backup-simplify]: Simplify -1 into -1 5.270 * [backup-simplify]: Simplify (- 0) into 0 5.270 * [backup-simplify]: Simplify 0 into 0 5.270 * [backup-simplify]: Simplify (- 0) into 0 5.270 * [backup-simplify]: Simplify 0 into 0 5.270 * [backup-simplify]: Simplify (- 0) into 0 5.270 * [backup-simplify]: Simplify 0 into 0 5.271 * [backup-simplify]: Simplify (- 0) into 0 5.271 * [backup-simplify]: Simplify 0 into 0 5.271 * [backup-simplify]: Simplify (- 0) into 0 5.271 * [backup-simplify]: Simplify 0 into 0 5.271 * [backup-simplify]: Simplify (- 0) into 0 5.271 * [backup-simplify]: Simplify 0 into 0 5.271 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 5.271 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z)) 5.271 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 5.271 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.271 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.271 * [taylor]: Taking taylor expansion of z in z 5.271 * [backup-simplify]: Simplify 0 into 0 5.271 * [backup-simplify]: Simplify 1 into 1 5.272 * [backup-simplify]: Simplify (/ 1 1) into 1 5.272 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.272 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.272 * [taylor]: Taking taylor expansion of z in z 5.272 * [backup-simplify]: Simplify 0 into 0 5.272 * [backup-simplify]: Simplify 1 into 1 5.272 * [backup-simplify]: Simplify (/ 1 1) into 1 5.272 * [backup-simplify]: Simplify (- 1) into -1 5.272 * [backup-simplify]: Simplify -1 into -1 5.273 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.273 * [backup-simplify]: Simplify (- 0) into 0 5.273 * [backup-simplify]: Simplify 0 into 0 5.273 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.273 * [backup-simplify]: Simplify (- 0) into 0 5.273 * [backup-simplify]: Simplify 0 into 0 5.274 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.274 * [backup-simplify]: Simplify (- 0) into 0 5.274 * [backup-simplify]: Simplify 0 into 0 5.275 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.275 * [backup-simplify]: Simplify (- 0) into 0 5.275 * [backup-simplify]: Simplify 0 into 0 5.275 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.276 * [backup-simplify]: Simplify (- 0) into 0 5.276 * [backup-simplify]: Simplify 0 into 0 5.276 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.276 * [backup-simplify]: Simplify (- 0) into 0 5.276 * [backup-simplify]: Simplify 0 into 0 5.276 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 5.276 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z) 5.277 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.277 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.277 * [taylor]: Taking taylor expansion of z in z 5.277 * [backup-simplify]: Simplify 0 into 0 5.277 * [backup-simplify]: Simplify 1 into 1 5.277 * [backup-simplify]: Simplify (/ 1 1) into 1 5.277 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.277 * [taylor]: Taking taylor expansion of z in z 5.277 * [backup-simplify]: Simplify 0 into 0 5.277 * [backup-simplify]: Simplify 1 into 1 5.277 * [backup-simplify]: Simplify (/ 1 1) into 1 5.277 * [backup-simplify]: Simplify 1 into 1 5.278 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.278 * [backup-simplify]: Simplify 0 into 0 5.278 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.278 * [backup-simplify]: Simplify 0 into 0 5.279 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.279 * [backup-simplify]: Simplify 0 into 0 5.279 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.279 * [backup-simplify]: Simplify 0 into 0 5.280 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.280 * [backup-simplify]: Simplify 0 into 0 5.280 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.280 * [backup-simplify]: Simplify 0 into 0 5.280 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 5.280 * * * [progress]: simplifying candidates 5.282 * [simplify]: Simplifying: (/ (/ (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.282 * [simplify]: Sending expressions to egg_math: (/ (/ (exp h0) (exp h1)) (exp h0)) (/ (exp (- h0 h1)) (exp h0)) (log (- (- h0 h1) h0)) (exp (- (- h0 h1) h0)) (* (cbrt (- (- h0 h1) h0)) (cbrt (- (- h0 h1) h0))) (cbrt (- (- h0 h1) h0)) (* (* (- (- h0 h1) h0) (- (- h0 h1) h0)) (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (- (pow (- h0 h1) 3) (pow h0 3)) (+ (* (- h0 h1) (- h0 h1)) (+ (* h0 h0) (* (- h0 h1) h0))) (- h0) (- (* (- h0 h1) (- h0 h1)) (* h0 h0)) (+ (- h0 h1) h0) (+ (sqrt (- h0 h1)) (sqrt h0)) (- (sqrt (- h0 h1)) (sqrt h0)) (- (- h0 h1) h0) (- (- h0 h1) h0) (- (- h1) h0) (- (- h1) h0) (+ h1 h0) (- h0) (/ (/ (exp h0) (exp h1)) (exp h0)) (/ (exp (- h0 h1)) (exp h0)) (log (- (- h0 h1) h0)) (exp (- (- h0 h1) h0)) (* (cbrt (- (- h0 h1) h0)) (cbrt (- (- h0 h1) h0))) (cbrt (- (- h0 h1) h0)) (* (* (- (- h0 h1) h0) (- (- h0 h1) h0)) (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (- (pow (- h0 h1) 3) (pow h0 3)) (+ (* (- h0 h1) (- h0 h1)) (+ (* h0 h0) (* (- h0 h1) h0))) (- h0) (- (* (- h0 h1) (- h0 h1)) (* h0 h0)) (+ (- h0 h1) h0) (+ (sqrt (- h0 h1)) (sqrt h0)) (- (sqrt (- h0 h1)) (sqrt h0)) (- (- h0 h1) h0) (- (- h0 h1) h0) (- (- h1) h0) (- (- h1) h0) (+ h1 h0) (- h0) (/ (/ (exp h0) (exp h1)) (exp h0)) (/ (exp (- h0 h1)) (exp h0)) (log (- (- h0 h1) h0)) (exp (- (- h0 h1) h0)) (* (cbrt (- (- h0 h1) h0)) (cbrt (- (- h0 h1) h0))) (cbrt (- (- h0 h1) h0)) (* (* (- (- h0 h1) h0) (- (- h0 h1) h0)) (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (- (pow (- h0 h1) 3) (pow h0 3)) (+ (* (- h0 h1) (- h0 h1)) (+ (* h0 h0) (* (- h0 h1) h0))) (- h0) (- (* (- h0 h1) (- h0 h1)) (* h0 h0)) (+ (- h0 h1) h0) (+ (sqrt (- h0 h1)) (sqrt h0)) (- (sqrt (- h0 h1)) (sqrt h0)) (- (- h0 h1) h0) (- (- h0 h1) h0) (- (- h1) h0) (- (- h1) h0) (+ h1 h0) (- h0) (/ (/ (exp h0) (exp h1)) (exp h0)) (/ (exp (- h0 h1)) (exp h0)) (log (- (- h0 h1) h0)) (exp (- (- h0 h1) h0)) (* (cbrt (- (- h0 h1) h0)) (cbrt (- (- h0 h1) h0))) (cbrt (- (- h0 h1) h0)) (* (* (- (- h0 h1) h0) (- (- h0 h1) h0)) (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (sqrt (- (- h0 h1) h0)) (- (pow (- h0 h1) 3) (pow h0 3)) (+ (* (- h0 h1) (- h0 h1)) (+ (* h0 h0) (* (- h0 h1) h0))) (- h0) (- (* (- h0 h1) (- h0 h1)) (* h0 h0)) (+ (- h0 h1) h0) (+ (sqrt (- h0 h1)) (sqrt h0)) (- (sqrt (- h0 h1)) (sqrt h0)) (- (- h0 h1) h0) (- (- h0 h1) h0) (- (- h1) h0) (- (- h1) h0) (+ h1 h0) (- h0) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) (* -1 h1) 5.285 * * [simplify]: iteration 0 : 74 enodes (cost 304 ) 5.287 * * [simplify]: iteration 1 : 168 enodes (cost 284 ) 5.291 * * [simplify]: iteration 2 : 534 enodes (cost 268 ) 5.303 * * [simplify]: iteration 3 : 2386 enodes (cost 256 ) 5.351 * * [simplify]: iteration 4 : 5001 enodes (cost 252 ) 5.353 * * * [progress]: adding candidates to table 6.405 * [progress]: [Phase 3 of 3] Extracting. 6.405 * * [regime]: Finding splitpoints for: (# # #) 6.422 * * * [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.422 * * * * [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.495 * * * * [regimes]: Trying to branch on z from (# # #) 6.540 * * * [regime]: Found split indices: #