14.486 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.694 * * * [progress]: [2/2] Setting up program. 0.698 * [progress]: [Phase 2 of 3] Improving. 0.698 * [simplify]: Simplifying using # : (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) 0.750 * * [simplify]: iteration 0 : 1063 enodes (cost 9 ) 0.750 * * [simplify]: iteration 1 : 1063 enodes (cost 9 ) 0.751 * [simplify]: Simplified to: (* d1 (+ d2 (- d4 (+ d1 d3)))) 0.756 * * [progress]: iteration 1 / 4 0.756 * * * [progress]: picking best candidate 0.763 * * * * [pick]: Picked # 0.763 * * * [progress]: localizing error 0.773 * * * [progress]: generating rewritten candidates 0.773 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.783 * * * [progress]: generating series expansions 0.784 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.784 * [approximate]: Taking taylor expansion of (* d1 (- (+ d4 d2) (+ d3 d1))) in (d1 d2 d4 d3) around 0 0.784 * [taylor]: Taking taylor expansion of (* d1 (- (+ d4 d2) (+ d3 d1))) in d3 0.784 * [taylor]: Taking taylor expansion of d1 in d3 0.784 * [taylor]: Taking taylor expansion of (- (+ d4 d2) (+ d3 d1)) in d3 0.784 * [taylor]: Taking taylor expansion of (+ d4 d2) in d3 0.784 * [taylor]: Taking taylor expansion of d4 in d3 0.784 * [taylor]: Taking taylor expansion of d2 in d3 0.784 * [taylor]: Taking taylor expansion of (+ d3 d1) in d3 0.784 * [taylor]: Taking taylor expansion of d3 in d3 0.784 * [taylor]: Taking taylor expansion of d1 in d3 0.784 * [taylor]: Taking taylor expansion of (* d1 (- (+ d4 d2) (+ d3 d1))) in d4 0.784 * [taylor]: Taking taylor expansion of d1 in d4 0.784 * [taylor]: Taking taylor expansion of (- (+ d4 d2) (+ d3 d1)) in d4 0.784 * [taylor]: Taking taylor expansion of (+ d4 d2) in d4 0.784 * [taylor]: Taking taylor expansion of d4 in d4 0.784 * [taylor]: Taking taylor expansion of d2 in d4 0.784 * [taylor]: Taking taylor expansion of (+ d3 d1) in d4 0.784 * [taylor]: Taking taylor expansion of d3 in d4 0.784 * [taylor]: Taking taylor expansion of d1 in d4 0.784 * [taylor]: Taking taylor expansion of (* d1 (- (+ d4 d2) (+ d3 d1))) in d2 0.784 * [taylor]: Taking taylor expansion of d1 in d2 0.784 * [taylor]: Taking taylor expansion of (- (+ d4 d2) (+ d3 d1)) in d2 0.784 * [taylor]: Taking taylor expansion of (+ d4 d2) in d2 0.784 * [taylor]: Taking taylor expansion of d4 in d2 0.784 * [taylor]: Taking taylor expansion of d2 in d2 0.784 * [taylor]: Taking taylor expansion of (+ d3 d1) in d2 0.784 * [taylor]: Taking taylor expansion of d3 in d2 0.784 * [taylor]: Taking taylor expansion of d1 in d2 0.784 * [taylor]: Taking taylor expansion of (* d1 (- (+ d4 d2) (+ d3 d1))) in d1 0.784 * [taylor]: Taking taylor expansion of d1 in d1 0.784 * [taylor]: Taking taylor expansion of (- (+ d4 d2) (+ d3 d1)) in d1 0.784 * [taylor]: Taking taylor expansion of (+ d4 d2) in d1 0.784 * [taylor]: Taking taylor expansion of d4 in d1 0.784 * [taylor]: Taking taylor expansion of d2 in d1 0.784 * [taylor]: Taking taylor expansion of (+ d3 d1) in d1 0.784 * [taylor]: Taking taylor expansion of d3 in d1 0.784 * [taylor]: Taking taylor expansion of d1 in d1 0.784 * [taylor]: Taking taylor expansion of (* d1 (- (+ d4 d2) (+ d3 d1))) in d1 0.784 * [taylor]: Taking taylor expansion of d1 in d1 0.784 * [taylor]: Taking taylor expansion of (- (+ d4 d2) (+ d3 d1)) in d1 0.784 * [taylor]: Taking taylor expansion of (+ d4 d2) in d1 0.784 * [taylor]: Taking taylor expansion of d4 in d1 0.784 * [taylor]: Taking taylor expansion of d2 in d1 0.784 * [taylor]: Taking taylor expansion of (+ d3 d1) in d1 0.784 * [taylor]: Taking taylor expansion of d3 in d1 0.784 * [taylor]: Taking taylor expansion of d1 in d1 0.785 * [taylor]: Taking taylor expansion of 0 in d2 0.785 * [taylor]: Taking taylor expansion of 0 in d4 0.785 * [taylor]: Taking taylor expansion of 0 in d3 0.785 * [taylor]: Taking taylor expansion of (- (+ d4 d2) d3) in d2 0.785 * [taylor]: Taking taylor expansion of (+ d4 d2) in d2 0.785 * [taylor]: Taking taylor expansion of d4 in d2 0.785 * [taylor]: Taking taylor expansion of d2 in d2 0.785 * [taylor]: Taking taylor expansion of d3 in d2 0.785 * [taylor]: Taking taylor expansion of (- d4 d3) in d4 0.785 * [taylor]: Taking taylor expansion of d4 in d4 0.785 * [taylor]: Taking taylor expansion of d3 in d4 0.785 * [taylor]: Taking taylor expansion of (neg d3) in d3 0.785 * [taylor]: Taking taylor expansion of d3 in d3 0.785 * [taylor]: Taking taylor expansion of 0 in d4 0.785 * [taylor]: Taking taylor expansion of 0 in d3 0.785 * [taylor]: Taking taylor expansion of 0 in d3 0.785 * [taylor]: Taking taylor expansion of (neg 1) in d2 0.785 * [taylor]: Taking taylor expansion of 1 in d2 0.785 * [taylor]: Taking taylor expansion of (neg 1) in d4 0.785 * [taylor]: Taking taylor expansion of 1 in d4 0.785 * [taylor]: Taking taylor expansion of (neg 1) in d3 0.785 * [taylor]: Taking taylor expansion of 1 in d3 0.785 * [taylor]: Taking taylor expansion of 1 in d4 0.785 * [taylor]: Taking taylor expansion of 1 in d3 0.785 * [taylor]: Taking taylor expansion of 0 in d4 0.785 * [taylor]: Taking taylor expansion of 0 in d3 0.785 * [taylor]: Taking taylor expansion of 1 in d3 0.786 * [approximate]: Taking taylor expansion of (/ (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) d1) in (d1 d2 d4 d3) around 0 0.786 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) d1) in d3 0.786 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) in d3 0.786 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d3 0.786 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 0.786 * [taylor]: Taking taylor expansion of d2 in d3 0.786 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 0.786 * [taylor]: Taking taylor expansion of d4 in d3 0.786 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d3 0.786 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 0.786 * [taylor]: Taking taylor expansion of d1 in d3 0.786 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 0.786 * [taylor]: Taking taylor expansion of d3 in d3 0.786 * [taylor]: Taking taylor expansion of d1 in d3 0.786 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) d1) in d4 0.786 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) in d4 0.786 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d4 0.786 * [taylor]: Taking taylor expansion of (/ 1 d2) in d4 0.786 * [taylor]: Taking taylor expansion of d2 in d4 0.786 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 0.786 * [taylor]: Taking taylor expansion of d4 in d4 0.786 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d4 0.786 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4 0.786 * [taylor]: Taking taylor expansion of d1 in d4 0.786 * [taylor]: Taking taylor expansion of (/ 1 d3) in d4 0.786 * [taylor]: Taking taylor expansion of d3 in d4 0.786 * [taylor]: Taking taylor expansion of d1 in d4 0.786 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) d1) in d2 0.786 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) in d2 0.786 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 0.786 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.786 * [taylor]: Taking taylor expansion of d2 in d2 0.787 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 0.787 * [taylor]: Taking taylor expansion of d4 in d2 0.787 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d2 0.787 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 0.787 * [taylor]: Taking taylor expansion of d1 in d2 0.787 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 0.787 * [taylor]: Taking taylor expansion of d3 in d2 0.787 * [taylor]: Taking taylor expansion of d1 in d2 0.787 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) d1) in d1 0.787 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) in d1 0.787 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d1 0.787 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 0.787 * [taylor]: Taking taylor expansion of d2 in d1 0.787 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 0.787 * [taylor]: Taking taylor expansion of d4 in d1 0.787 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d1 0.787 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 0.787 * [taylor]: Taking taylor expansion of d1 in d1 0.787 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 0.787 * [taylor]: Taking taylor expansion of d3 in d1 0.787 * [taylor]: Taking taylor expansion of d1 in d1 0.787 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) d1) in d1 0.787 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) in d1 0.787 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d1 0.787 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 0.787 * [taylor]: Taking taylor expansion of d2 in d1 0.787 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 0.787 * [taylor]: Taking taylor expansion of d4 in d1 0.787 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d1 0.787 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 0.787 * [taylor]: Taking taylor expansion of d1 in d1 0.787 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 0.787 * [taylor]: Taking taylor expansion of d3 in d1 0.787 * [taylor]: Taking taylor expansion of d1 in d1 0.787 * [taylor]: Taking taylor expansion of -1 in d2 0.788 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2 0.788 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 0.788 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.788 * [taylor]: Taking taylor expansion of d2 in d2 0.788 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 0.788 * [taylor]: Taking taylor expansion of d4 in d2 0.788 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 0.788 * [taylor]: Taking taylor expansion of d3 in d2 0.788 * [taylor]: Taking taylor expansion of 1 in d4 0.788 * [taylor]: Taking taylor expansion of -1 in d4 0.788 * [taylor]: Taking taylor expansion of 0 in d2 0.788 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d4 0.788 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 0.788 * [taylor]: Taking taylor expansion of d4 in d4 0.788 * [taylor]: Taking taylor expansion of (/ 1 d3) in d4 0.788 * [taylor]: Taking taylor expansion of d3 in d4 0.788 * [taylor]: Taking taylor expansion of 1 in d3 0.788 * [taylor]: Taking taylor expansion of 0 in d4 0.788 * [taylor]: Taking taylor expansion of 1 in d3 0.788 * [taylor]: Taking taylor expansion of -1 in d3 0.789 * [taylor]: Taking taylor expansion of 0 in d2 0.789 * [taylor]: Taking taylor expansion of 0 in d4 0.789 * [taylor]: Taking taylor expansion of 0 in d4 0.789 * [taylor]: Taking taylor expansion of 0 in d4 0.789 * [taylor]: Taking taylor expansion of (neg (/ 1 d3)) in d3 0.789 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 0.789 * [taylor]: Taking taylor expansion of d3 in d3 0.789 * [taylor]: Taking taylor expansion of 0 in d3 0.789 * [taylor]: Taking taylor expansion of 0 in d3 0.789 * [taylor]: Taking taylor expansion of 0 in d3 0.790 * [approximate]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1)) in (d1 d2 d4 d3) around 0 0.790 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1)) in d3 0.790 * [taylor]: Taking taylor expansion of -1 in d3 0.790 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1) in d3 0.790 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) in d3 0.790 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d3 0.790 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 0.790 * [taylor]: Taking taylor expansion of d1 in d3 0.790 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 0.790 * [taylor]: Taking taylor expansion of d3 in d3 0.790 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d3 0.790 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 0.790 * [taylor]: Taking taylor expansion of d2 in d3 0.790 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 0.790 * [taylor]: Taking taylor expansion of d4 in d3 0.790 * [taylor]: Taking taylor expansion of d1 in d3 0.790 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1)) in d4 0.790 * [taylor]: Taking taylor expansion of -1 in d4 0.790 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1) in d4 0.790 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) in d4 0.790 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d4 0.790 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4 0.790 * [taylor]: Taking taylor expansion of d1 in d4 0.790 * [taylor]: Taking taylor expansion of (/ 1 d3) in d4 0.790 * [taylor]: Taking taylor expansion of d3 in d4 0.790 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d4 0.790 * [taylor]: Taking taylor expansion of (/ 1 d2) in d4 0.790 * [taylor]: Taking taylor expansion of d2 in d4 0.790 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 0.790 * [taylor]: Taking taylor expansion of d4 in d4 0.790 * [taylor]: Taking taylor expansion of d1 in d4 0.790 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1)) in d2 0.791 * [taylor]: Taking taylor expansion of -1 in d2 0.791 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1) in d2 0.791 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) in d2 0.791 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d2 0.791 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 0.791 * [taylor]: Taking taylor expansion of d1 in d2 0.791 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 0.791 * [taylor]: Taking taylor expansion of d3 in d2 0.791 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 0.791 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.791 * [taylor]: Taking taylor expansion of d2 in d2 0.791 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 0.791 * [taylor]: Taking taylor expansion of d4 in d2 0.791 * [taylor]: Taking taylor expansion of d1 in d2 0.791 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1)) in d1 0.791 * [taylor]: Taking taylor expansion of -1 in d1 0.791 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1) in d1 0.791 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) in d1 0.791 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d1 0.791 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 0.791 * [taylor]: Taking taylor expansion of d1 in d1 0.791 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 0.791 * [taylor]: Taking taylor expansion of d3 in d1 0.791 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d1 0.791 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 0.791 * [taylor]: Taking taylor expansion of d2 in d1 0.791 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 0.791 * [taylor]: Taking taylor expansion of d4 in d1 0.791 * [taylor]: Taking taylor expansion of d1 in d1 0.791 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1)) in d1 0.791 * [taylor]: Taking taylor expansion of -1 in d1 0.791 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1) in d1 0.791 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) in d1 0.791 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d1 0.791 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 0.791 * [taylor]: Taking taylor expansion of d1 in d1 0.791 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 0.791 * [taylor]: Taking taylor expansion of d3 in d1 0.791 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d1 0.791 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 0.791 * [taylor]: Taking taylor expansion of d2 in d1 0.791 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 0.791 * [taylor]: Taking taylor expansion of d4 in d1 0.791 * [taylor]: Taking taylor expansion of d1 in d1 0.792 * [taylor]: Taking taylor expansion of -1 in d2 0.792 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2 0.792 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 0.792 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.792 * [taylor]: Taking taylor expansion of d2 in d2 0.792 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 0.792 * [taylor]: Taking taylor expansion of d4 in d2 0.792 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 0.792 * [taylor]: Taking taylor expansion of d3 in d2 0.792 * [taylor]: Taking taylor expansion of 1 in d4 0.792 * [taylor]: Taking taylor expansion of -1 in d4 0.793 * [taylor]: Taking taylor expansion of 0 in d2 0.793 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d4 0.793 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 0.793 * [taylor]: Taking taylor expansion of d4 in d4 0.793 * [taylor]: Taking taylor expansion of (/ 1 d3) in d4 0.793 * [taylor]: Taking taylor expansion of d3 in d4 0.793 * [taylor]: Taking taylor expansion of 1 in d3 0.793 * [taylor]: Taking taylor expansion of 0 in d4 0.793 * [taylor]: Taking taylor expansion of 1 in d3 0.793 * [taylor]: Taking taylor expansion of -1 in d3 0.793 * [taylor]: Taking taylor expansion of 0 in d2 0.793 * [taylor]: Taking taylor expansion of 0 in d4 0.794 * [taylor]: Taking taylor expansion of 0 in d4 0.794 * [taylor]: Taking taylor expansion of 0 in d4 0.794 * [taylor]: Taking taylor expansion of (neg (/ 1 d3)) in d3 0.794 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 0.794 * [taylor]: Taking taylor expansion of d3 in d3 0.794 * [taylor]: Taking taylor expansion of 0 in d3 0.794 * [taylor]: Taking taylor expansion of 0 in d3 0.794 * [taylor]: Taking taylor expansion of 0 in d3 0.794 * * * [progress]: simplifying candidates 0.795 * [simplify]: Simplifying using # : (* d1 (+ d2 (- d4 (+ d1 d3)))) (+ (log d1) (log (+ d2 (- d4 (+ d1 d3))))) (log (* d1 (+ d2 (- d4 (+ d1 d3))))) (exp (* d1 (+ d2 (- d4 (+ d1 d3))))) (* (* (* d1 d1) d1) (* (* (+ d2 (- d4 (+ d1 d3))) (+ d2 (- d4 (+ d1 d3)))) (+ d2 (- d4 (+ d1 d3))))) (* (cbrt (* d1 (+ d2 (- d4 (+ d1 d3))))) (cbrt (* d1 (+ d2 (- d4 (+ d1 d3)))))) (cbrt (* d1 (+ d2 (- d4 (+ d1 d3))))) (* (* (* d1 (+ d2 (- d4 (+ d1 d3)))) (* d1 (+ d2 (- d4 (+ d1 d3))))) (* d1 (+ d2 (- d4 (+ d1 d3))))) (sqrt (* d1 (+ d2 (- d4 (+ d1 d3))))) (sqrt (* d1 (+ d2 (- d4 (+ d1 d3))))) (* (sqrt d1) (sqrt (+ d2 (- d4 (+ d1 d3))))) (* (sqrt d1) (sqrt (+ d2 (- d4 (+ d1 d3))))) (* d1 d2) (* d1 (- d4 (+ d1 d3))) (* d2 d1) (* (- d4 (+ d1 d3)) d1) (* d1 (* (cbrt (+ d2 (- d4 (+ d1 d3)))) (cbrt (+ d2 (- d4 (+ d1 d3)))))) (* d1 (sqrt (+ d2 (- d4 (+ d1 d3))))) (* d1 1) (* d1 1) (* d1 1) (* d1 1) (* (cbrt d1) (+ d2 (- d4 (+ d1 d3)))) (* (sqrt d1) (+ d2 (- d4 (+ d1 d3)))) (* d1 (+ d2 (- d4 (+ d1 d3)))) (* d1 (+ (pow d2 3) (pow (- d4 (+ d1 d3)) 3))) (* d1 (- (* d2 d2) (* (- d4 (+ d1 d3)) (- d4 (+ d1 d3))))) (- (+ (* d1 d4) (* d1 d2)) (pow d1 2)) (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) 0.831 * * [simplify]: iteration 0 : 5046 enodes (cost 267 ) 0.833 * [simplify]: Simplified to: (* d1 (+ d2 (- d4 (+ d1 d3)))) (log (* d1 (+ d2 (- d4 (+ d1 d3))))) (log (* d1 (+ d2 (- d4 (+ d1 d3))))) (pow (exp d1) (+ d2 (- d4 (+ d1 d3)))) (pow (* d1 (+ d2 (- d4 (+ d1 d3)))) 3) (* (cbrt (* d1 (+ d2 (- d4 (+ d1 d3))))) (cbrt (* d1 (+ d2 (- d4 (+ d1 d3)))))) (cbrt (* d1 (+ d2 (- d4 (+ d1 d3))))) (pow (* d1 (+ d2 (- d4 (+ d1 d3)))) 3) (sqrt (* d1 (+ d2 (- d4 (+ d1 d3))))) (sqrt (* d1 (+ d2 (- d4 (+ d1 d3))))) (* (sqrt d1) (sqrt (+ d2 (- d4 (+ d1 d3))))) (* (sqrt d1) (sqrt (+ d2 (- d4 (+ d1 d3))))) (* d1 d2) (* d1 (- d4 (+ d1 d3))) (* d1 d2) (* d1 (- d4 (+ d1 d3))) (* d1 (* (cbrt (+ d2 (- d4 (+ d1 d3)))) (cbrt (+ d2 (- d4 (+ d1 d3)))))) (* d1 (sqrt (+ d2 (- d4 (+ d1 d3))))) d1 d1 d1 d1 (* (+ d2 (- d4 (+ d1 d3))) (cbrt d1)) (* (+ d2 (- d4 (+ d1 d3))) (sqrt d1)) (* d1 (+ d2 (- d4 (+ d1 d3)))) (* d1 (+ (pow d2 3) (pow (- d4 (+ d1 d3)) 3))) (* d1 (+ (* d2 d2) (* (- d4 (+ d1 d3)) (- (+ d1 d3) d4)))) (* d1 (+ d2 (- d4 d1))) (* d1 (+ d2 (- d4 d3))) (* d1 (+ d2 (- d4 d3))) 0.833 * * * [progress]: adding candidates to table 0.862 * * [progress]: iteration 2 / 4 0.862 * * * [progress]: picking best candidate 0.872 * * * * [pick]: Picked # 0.872 * * * [progress]: localizing error 0.881 * * * [progress]: generating rewritten candidates 0.881 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 0.885 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.891 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.900 * * * [progress]: generating series expansions 0.900 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 0.900 * [approximate]: Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in (d1 d2 d3) around 0 0.900 * [taylor]: Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in d3 0.900 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 0.900 * [taylor]: Taking taylor expansion of d1 in d3 0.900 * [taylor]: Taking taylor expansion of d2 in d3 0.900 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 0.900 * [taylor]: Taking taylor expansion of d1 in d3 0.900 * [taylor]: Taking taylor expansion of d3 in d3 0.900 * [taylor]: Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in d2 0.900 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 0.900 * [taylor]: Taking taylor expansion of d1 in d2 0.900 * [taylor]: Taking taylor expansion of d2 in d2 0.900 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 0.900 * [taylor]: Taking taylor expansion of d1 in d2 0.900 * [taylor]: Taking taylor expansion of d3 in d2 0.900 * [taylor]: Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in d1 0.900 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 0.900 * [taylor]: Taking taylor expansion of d1 in d1 0.900 * [taylor]: Taking taylor expansion of d2 in d1 0.900 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 0.900 * [taylor]: Taking taylor expansion of d1 in d1 0.900 * [taylor]: Taking taylor expansion of d3 in d1 0.900 * [taylor]: Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in d1 0.900 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 0.900 * [taylor]: Taking taylor expansion of d1 in d1 0.900 * [taylor]: Taking taylor expansion of d2 in d1 0.900 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 0.900 * [taylor]: Taking taylor expansion of d1 in d1 0.900 * [taylor]: Taking taylor expansion of d3 in d1 0.900 * [taylor]: Taking taylor expansion of 0 in d2 0.900 * [taylor]: Taking taylor expansion of 0 in d3 0.901 * [taylor]: Taking taylor expansion of (- d2 d3) in d2 0.901 * [taylor]: Taking taylor expansion of d2 in d2 0.901 * [taylor]: Taking taylor expansion of d3 in d2 0.901 * [taylor]: Taking taylor expansion of (neg d3) in d3 0.901 * [taylor]: Taking taylor expansion of d3 in d3 0.901 * [taylor]: Taking taylor expansion of 0 in d3 0.901 * [taylor]: Taking taylor expansion of 0 in d2 0.901 * [taylor]: Taking taylor expansion of 0 in d3 0.901 * [taylor]: Taking taylor expansion of 1 in d3 0.901 * [taylor]: Taking taylor expansion of 0 in d3 0.901 * [taylor]: Taking taylor expansion of 0 in d2 0.901 * [taylor]: Taking taylor expansion of 0 in d3 0.901 * [taylor]: Taking taylor expansion of 0 in d3 0.901 * [taylor]: Taking taylor expansion of 0 in d3 0.901 * [taylor]: Taking taylor expansion of 0 in d3 0.901 * [approximate]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in (d1 d2 d3) around 0 0.901 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in d3 0.901 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3 0.901 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 0.901 * [taylor]: Taking taylor expansion of d1 in d3 0.901 * [taylor]: Taking taylor expansion of d2 in d3 0.902 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3 0.902 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 0.902 * [taylor]: Taking taylor expansion of d1 in d3 0.902 * [taylor]: Taking taylor expansion of d3 in d3 0.902 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in d2 0.902 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2 0.902 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 0.902 * [taylor]: Taking taylor expansion of d1 in d2 0.902 * [taylor]: Taking taylor expansion of d2 in d2 0.902 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2 0.902 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 0.902 * [taylor]: Taking taylor expansion of d1 in d2 0.902 * [taylor]: Taking taylor expansion of d3 in d2 0.902 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in d1 0.902 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 0.902 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 0.902 * [taylor]: Taking taylor expansion of d1 in d1 0.902 * [taylor]: Taking taylor expansion of d2 in d1 0.902 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 0.902 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 0.902 * [taylor]: Taking taylor expansion of d1 in d1 0.902 * [taylor]: Taking taylor expansion of d3 in d1 0.902 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in d1 0.902 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 0.902 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 0.902 * [taylor]: Taking taylor expansion of d1 in d1 0.902 * [taylor]: Taking taylor expansion of d2 in d1 0.902 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 0.902 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 0.902 * [taylor]: Taking taylor expansion of d1 in d1 0.902 * [taylor]: Taking taylor expansion of d3 in d1 0.902 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d2 0.902 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.902 * [taylor]: Taking taylor expansion of d2 in d2 0.902 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 0.902 * [taylor]: Taking taylor expansion of d3 in d2 0.903 * [taylor]: Taking taylor expansion of 1 in d3 0.903 * [taylor]: Taking taylor expansion of 0 in d2 0.903 * [taylor]: Taking taylor expansion of (neg (/ 1 d3)) in d3 0.903 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 0.903 * [taylor]: Taking taylor expansion of d3 in d3 0.903 * [taylor]: Taking taylor expansion of 0 in d2 0.903 * [taylor]: Taking taylor expansion of 0 in d3 0.903 * [taylor]: Taking taylor expansion of 0 in d3 0.903 * [taylor]: Taking taylor expansion of 0 in d2 0.903 * [taylor]: Taking taylor expansion of 0 in d3 0.904 * [taylor]: Taking taylor expansion of 0 in d3 0.904 * [taylor]: Taking taylor expansion of 0 in d3 0.904 * [approximate]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in (d1 d2 d3) around 0 0.904 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in d3 0.904 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3 0.904 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 0.904 * [taylor]: Taking taylor expansion of d1 in d3 0.904 * [taylor]: Taking taylor expansion of d2 in d3 0.904 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3 0.904 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 0.904 * [taylor]: Taking taylor expansion of d1 in d3 0.904 * [taylor]: Taking taylor expansion of d3 in d3 0.904 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in d2 0.904 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2 0.904 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 0.904 * [taylor]: Taking taylor expansion of d1 in d2 0.904 * [taylor]: Taking taylor expansion of d2 in d2 0.904 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2 0.904 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 0.904 * [taylor]: Taking taylor expansion of d1 in d2 0.904 * [taylor]: Taking taylor expansion of d3 in d2 0.904 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in d1 0.904 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 0.904 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 0.905 * [taylor]: Taking taylor expansion of d1 in d1 0.905 * [taylor]: Taking taylor expansion of d2 in d1 0.905 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 0.905 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 0.905 * [taylor]: Taking taylor expansion of d1 in d1 0.905 * [taylor]: Taking taylor expansion of d3 in d1 0.905 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in d1 0.905 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 0.905 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 0.905 * [taylor]: Taking taylor expansion of d1 in d1 0.905 * [taylor]: Taking taylor expansion of d2 in d1 0.905 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 0.905 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 0.905 * [taylor]: Taking taylor expansion of d1 in d1 0.905 * [taylor]: Taking taylor expansion of d3 in d1 0.905 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d2 0.905 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.905 * [taylor]: Taking taylor expansion of d2 in d2 0.905 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 0.905 * [taylor]: Taking taylor expansion of d3 in d2 0.905 * [taylor]: Taking taylor expansion of 1 in d3 0.905 * [taylor]: Taking taylor expansion of 0 in d2 0.905 * [taylor]: Taking taylor expansion of (neg (/ 1 d3)) in d3 0.905 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 0.905 * [taylor]: Taking taylor expansion of d3 in d3 0.906 * [taylor]: Taking taylor expansion of 0 in d2 0.906 * [taylor]: Taking taylor expansion of 0 in d3 0.906 * [taylor]: Taking taylor expansion of 0 in d3 0.906 * [taylor]: Taking taylor expansion of 0 in d2 0.906 * [taylor]: Taking taylor expansion of 0 in d3 0.906 * [taylor]: Taking taylor expansion of 0 in d3 0.906 * [taylor]: Taking taylor expansion of 0 in d3 0.907 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.907 * [approximate]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) in (d1 d2 d3 d4) around 0 0.907 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) in d4 0.907 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d4 0.907 * [taylor]: Taking taylor expansion of (* d1 d4) in d4 0.907 * [taylor]: Taking taylor expansion of d1 in d4 0.907 * [taylor]: Taking taylor expansion of d4 in d4 0.907 * [taylor]: Taking taylor expansion of (* d1 d2) in d4 0.907 * [taylor]: Taking taylor expansion of d1 in d4 0.907 * [taylor]: Taking taylor expansion of d2 in d4 0.907 * [taylor]: Taking taylor expansion of (* d1 d3) in d4 0.907 * [taylor]: Taking taylor expansion of d1 in d4 0.907 * [taylor]: Taking taylor expansion of d3 in d4 0.907 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) in d3 0.907 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d3 0.907 * [taylor]: Taking taylor expansion of (* d1 d4) in d3 0.907 * [taylor]: Taking taylor expansion of d1 in d3 0.907 * [taylor]: Taking taylor expansion of d4 in d3 0.907 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 0.907 * [taylor]: Taking taylor expansion of d1 in d3 0.907 * [taylor]: Taking taylor expansion of d2 in d3 0.907 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 0.907 * [taylor]: Taking taylor expansion of d1 in d3 0.907 * [taylor]: Taking taylor expansion of d3 in d3 0.907 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) in d2 0.907 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d2 0.907 * [taylor]: Taking taylor expansion of (* d1 d4) in d2 0.907 * [taylor]: Taking taylor expansion of d1 in d2 0.907 * [taylor]: Taking taylor expansion of d4 in d2 0.907 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 0.907 * [taylor]: Taking taylor expansion of d1 in d2 0.907 * [taylor]: Taking taylor expansion of d2 in d2 0.907 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 0.907 * [taylor]: Taking taylor expansion of d1 in d2 0.907 * [taylor]: Taking taylor expansion of d3 in d2 0.907 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) in d1 0.907 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d1 0.907 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 0.907 * [taylor]: Taking taylor expansion of d1 in d1 0.907 * [taylor]: Taking taylor expansion of d4 in d1 0.907 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 0.907 * [taylor]: Taking taylor expansion of d1 in d1 0.907 * [taylor]: Taking taylor expansion of d2 in d1 0.907 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 0.907 * [taylor]: Taking taylor expansion of d1 in d1 0.907 * [taylor]: Taking taylor expansion of d3 in d1 0.907 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) in d1 0.907 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d1 0.907 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 0.907 * [taylor]: Taking taylor expansion of d1 in d1 0.907 * [taylor]: Taking taylor expansion of d4 in d1 0.907 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 0.907 * [taylor]: Taking taylor expansion of d1 in d1 0.907 * [taylor]: Taking taylor expansion of d2 in d1 0.907 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 0.907 * [taylor]: Taking taylor expansion of d1 in d1 0.908 * [taylor]: Taking taylor expansion of d3 in d1 0.908 * [taylor]: Taking taylor expansion of 0 in d2 0.908 * [taylor]: Taking taylor expansion of 0 in d3 0.908 * [taylor]: Taking taylor expansion of 0 in d4 0.908 * [taylor]: Taking taylor expansion of (- (+ d2 d4) d3) in d2 0.908 * [taylor]: Taking taylor expansion of (+ d2 d4) in d2 0.908 * [taylor]: Taking taylor expansion of d2 in d2 0.908 * [taylor]: Taking taylor expansion of d4 in d2 0.908 * [taylor]: Taking taylor expansion of d3 in d2 0.908 * [taylor]: Taking taylor expansion of (- d4 d3) in d3 0.908 * [taylor]: Taking taylor expansion of d4 in d3 0.908 * [taylor]: Taking taylor expansion of d3 in d3 0.908 * [taylor]: Taking taylor expansion of d4 in d4 0.908 * [taylor]: Taking taylor expansion of 0 in d3 0.908 * [taylor]: Taking taylor expansion of 0 in d4 0.908 * [taylor]: Taking taylor expansion of 0 in d4 0.908 * [taylor]: Taking taylor expansion of 0 in d2 0.908 * [taylor]: Taking taylor expansion of 0 in d3 0.908 * [taylor]: Taking taylor expansion of 0 in d4 0.908 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in (d1 d2 d3 d4) around 0 0.908 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d4 0.908 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d4 0.909 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d4 0.909 * [taylor]: Taking taylor expansion of (* d1 d4) in d4 0.909 * [taylor]: Taking taylor expansion of d1 in d4 0.909 * [taylor]: Taking taylor expansion of d4 in d4 0.909 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d4 0.909 * [taylor]: Taking taylor expansion of (* d1 d2) in d4 0.909 * [taylor]: Taking taylor expansion of d1 in d4 0.909 * [taylor]: Taking taylor expansion of d2 in d4 0.909 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d4 0.909 * [taylor]: Taking taylor expansion of (* d1 d3) in d4 0.909 * [taylor]: Taking taylor expansion of d1 in d4 0.909 * [taylor]: Taking taylor expansion of d3 in d4 0.909 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d3 0.909 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d3 0.909 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d3 0.909 * [taylor]: Taking taylor expansion of (* d1 d4) in d3 0.909 * [taylor]: Taking taylor expansion of d1 in d3 0.909 * [taylor]: Taking taylor expansion of d4 in d3 0.909 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3 0.909 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 0.909 * [taylor]: Taking taylor expansion of d1 in d3 0.909 * [taylor]: Taking taylor expansion of d2 in d3 0.909 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3 0.909 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 0.909 * [taylor]: Taking taylor expansion of d1 in d3 0.909 * [taylor]: Taking taylor expansion of d3 in d3 0.909 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d2 0.909 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d2 0.909 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d2 0.909 * [taylor]: Taking taylor expansion of (* d1 d4) in d2 0.909 * [taylor]: Taking taylor expansion of d1 in d2 0.909 * [taylor]: Taking taylor expansion of d4 in d2 0.909 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2 0.909 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 0.909 * [taylor]: Taking taylor expansion of d1 in d2 0.909 * [taylor]: Taking taylor expansion of d2 in d2 0.909 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2 0.909 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 0.909 * [taylor]: Taking taylor expansion of d1 in d2 0.909 * [taylor]: Taking taylor expansion of d3 in d2 0.909 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d1 0.909 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d1 0.910 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 0.910 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 0.910 * [taylor]: Taking taylor expansion of d1 in d1 0.910 * [taylor]: Taking taylor expansion of d4 in d1 0.910 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 0.910 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 0.910 * [taylor]: Taking taylor expansion of d1 in d1 0.910 * [taylor]: Taking taylor expansion of d2 in d1 0.910 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 0.910 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 0.910 * [taylor]: Taking taylor expansion of d1 in d1 0.910 * [taylor]: Taking taylor expansion of d3 in d1 0.910 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d1 0.910 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d1 0.910 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 0.910 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 0.910 * [taylor]: Taking taylor expansion of d1 in d1 0.910 * [taylor]: Taking taylor expansion of d4 in d1 0.910 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 0.910 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 0.910 * [taylor]: Taking taylor expansion of d1 in d1 0.910 * [taylor]: Taking taylor expansion of d2 in d1 0.910 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 0.910 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 0.910 * [taylor]: Taking taylor expansion of d1 in d1 0.910 * [taylor]: Taking taylor expansion of d3 in d1 0.910 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2 0.910 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 0.910 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.910 * [taylor]: Taking taylor expansion of d2 in d2 0.910 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 0.910 * [taylor]: Taking taylor expansion of d4 in d2 0.910 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 0.910 * [taylor]: Taking taylor expansion of d3 in d2 0.910 * [taylor]: Taking taylor expansion of 1 in d3 0.911 * [taylor]: Taking taylor expansion of 0 in d2 0.911 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3 0.911 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 0.911 * [taylor]: Taking taylor expansion of d4 in d3 0.911 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 0.911 * [taylor]: Taking taylor expansion of d3 in d3 0.911 * [taylor]: Taking taylor expansion of (neg 1) in d4 0.911 * [taylor]: Taking taylor expansion of 1 in d4 0.911 * [taylor]: Taking taylor expansion of 1 in d4 0.911 * [taylor]: Taking taylor expansion of 0 in d2 0.911 * [taylor]: Taking taylor expansion of 0 in d3 0.911 * [taylor]: Taking taylor expansion of 0 in d3 0.912 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 0.912 * [taylor]: Taking taylor expansion of d4 in d4 0.912 * [taylor]: Taking taylor expansion of 0 in d4 0.912 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in (d1 d2 d3 d4) around 0 0.912 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d4 0.912 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d4 0.912 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d4 0.912 * [taylor]: Taking taylor expansion of (* d1 d4) in d4 0.912 * [taylor]: Taking taylor expansion of d1 in d4 0.912 * [taylor]: Taking taylor expansion of d4 in d4 0.912 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d4 0.912 * [taylor]: Taking taylor expansion of (* d1 d2) in d4 0.912 * [taylor]: Taking taylor expansion of d1 in d4 0.912 * [taylor]: Taking taylor expansion of d2 in d4 0.912 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d4 0.912 * [taylor]: Taking taylor expansion of (* d1 d3) in d4 0.912 * [taylor]: Taking taylor expansion of d1 in d4 0.912 * [taylor]: Taking taylor expansion of d3 in d4 0.912 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d3 0.912 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d3 0.912 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d3 0.913 * [taylor]: Taking taylor expansion of (* d1 d4) in d3 0.913 * [taylor]: Taking taylor expansion of d1 in d3 0.913 * [taylor]: Taking taylor expansion of d4 in d3 0.913 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3 0.913 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 0.913 * [taylor]: Taking taylor expansion of d1 in d3 0.913 * [taylor]: Taking taylor expansion of d2 in d3 0.913 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3 0.913 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 0.913 * [taylor]: Taking taylor expansion of d1 in d3 0.913 * [taylor]: Taking taylor expansion of d3 in d3 0.913 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d2 0.913 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d2 0.913 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d2 0.913 * [taylor]: Taking taylor expansion of (* d1 d4) in d2 0.913 * [taylor]: Taking taylor expansion of d1 in d2 0.913 * [taylor]: Taking taylor expansion of d4 in d2 0.913 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2 0.913 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 0.913 * [taylor]: Taking taylor expansion of d1 in d2 0.913 * [taylor]: Taking taylor expansion of d2 in d2 0.913 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2 0.913 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 0.913 * [taylor]: Taking taylor expansion of d1 in d2 0.913 * [taylor]: Taking taylor expansion of d3 in d2 0.913 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d1 0.913 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d1 0.913 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 0.913 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 0.913 * [taylor]: Taking taylor expansion of d1 in d1 0.913 * [taylor]: Taking taylor expansion of d4 in d1 0.913 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 0.913 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 0.913 * [taylor]: Taking taylor expansion of d1 in d1 0.913 * [taylor]: Taking taylor expansion of d2 in d1 0.913 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 0.913 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 0.913 * [taylor]: Taking taylor expansion of d1 in d1 0.913 * [taylor]: Taking taylor expansion of d3 in d1 0.913 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d1 0.913 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d1 0.914 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 0.914 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 0.914 * [taylor]: Taking taylor expansion of d1 in d1 0.914 * [taylor]: Taking taylor expansion of d4 in d1 0.914 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 0.914 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 0.914 * [taylor]: Taking taylor expansion of d1 in d1 0.914 * [taylor]: Taking taylor expansion of d2 in d1 0.914 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 0.914 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 0.914 * [taylor]: Taking taylor expansion of d1 in d1 0.914 * [taylor]: Taking taylor expansion of d3 in d1 0.914 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2 0.914 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 0.914 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.914 * [taylor]: Taking taylor expansion of d2 in d2 0.914 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 0.914 * [taylor]: Taking taylor expansion of d4 in d2 0.914 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 0.914 * [taylor]: Taking taylor expansion of d3 in d2 0.914 * [taylor]: Taking taylor expansion of 1 in d3 0.914 * [taylor]: Taking taylor expansion of 0 in d2 0.914 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3 0.914 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 0.915 * [taylor]: Taking taylor expansion of d4 in d3 0.915 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 0.915 * [taylor]: Taking taylor expansion of d3 in d3 0.915 * [taylor]: Taking taylor expansion of (neg 1) in d4 0.915 * [taylor]: Taking taylor expansion of 1 in d4 0.915 * [taylor]: Taking taylor expansion of 1 in d4 0.915 * [taylor]: Taking taylor expansion of 0 in d2 0.915 * [taylor]: Taking taylor expansion of 0 in d3 0.915 * [taylor]: Taking taylor expansion of 0 in d3 0.915 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 0.915 * [taylor]: Taking taylor expansion of d4 in d4 0.915 * [taylor]: Taking taylor expansion of 0 in d4 0.916 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.916 * [approximate]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (+ (pow d1 2) (* d1 d3))) in (d1 d2 d3 d4) around 0 0.916 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (+ (pow d1 2) (* d1 d3))) in d4 0.916 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d4 0.916 * [taylor]: Taking taylor expansion of (* d1 d4) in d4 0.916 * [taylor]: Taking taylor expansion of d1 in d4 0.916 * [taylor]: Taking taylor expansion of d4 in d4 0.916 * [taylor]: Taking taylor expansion of (* d1 d2) in d4 0.916 * [taylor]: Taking taylor expansion of d1 in d4 0.916 * [taylor]: Taking taylor expansion of d2 in d4 0.916 * [taylor]: Taking taylor expansion of (+ (pow d1 2) (* d1 d3)) in d4 0.916 * [taylor]: Taking taylor expansion of (pow d1 2) in d4 0.916 * [taylor]: Taking taylor expansion of d1 in d4 0.916 * [taylor]: Taking taylor expansion of (* d1 d3) in d4 0.916 * [taylor]: Taking taylor expansion of d1 in d4 0.916 * [taylor]: Taking taylor expansion of d3 in d4 0.916 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (+ (pow d1 2) (* d1 d3))) in d3 0.916 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d3 0.916 * [taylor]: Taking taylor expansion of (* d1 d4) in d3 0.916 * [taylor]: Taking taylor expansion of d1 in d3 0.916 * [taylor]: Taking taylor expansion of d4 in d3 0.916 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 0.916 * [taylor]: Taking taylor expansion of d1 in d3 0.916 * [taylor]: Taking taylor expansion of d2 in d3 0.916 * [taylor]: Taking taylor expansion of (+ (pow d1 2) (* d1 d3)) in d3 0.916 * [taylor]: Taking taylor expansion of (pow d1 2) in d3 0.916 * [taylor]: Taking taylor expansion of d1 in d3 0.916 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 0.916 * [taylor]: Taking taylor expansion of d1 in d3 0.916 * [taylor]: Taking taylor expansion of d3 in d3 0.916 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (+ (pow d1 2) (* d1 d3))) in d2 0.916 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d2 0.916 * [taylor]: Taking taylor expansion of (* d1 d4) in d2 0.916 * [taylor]: Taking taylor expansion of d1 in d2 0.916 * [taylor]: Taking taylor expansion of d4 in d2 0.916 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 0.916 * [taylor]: Taking taylor expansion of d1 in d2 0.916 * [taylor]: Taking taylor expansion of d2 in d2 0.916 * [taylor]: Taking taylor expansion of (+ (pow d1 2) (* d1 d3)) in d2 0.916 * [taylor]: Taking taylor expansion of (pow d1 2) in d2 0.916 * [taylor]: Taking taylor expansion of d1 in d2 0.916 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 0.916 * [taylor]: Taking taylor expansion of d1 in d2 0.916 * [taylor]: Taking taylor expansion of d3 in d2 0.916 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (+ (pow d1 2) (* d1 d3))) in d1 0.916 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d1 0.916 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 0.916 * [taylor]: Taking taylor expansion of d1 in d1 0.916 * [taylor]: Taking taylor expansion of d4 in d1 0.917 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 0.917 * [taylor]: Taking taylor expansion of d1 in d1 0.917 * [taylor]: Taking taylor expansion of d2 in d1 0.917 * [taylor]: Taking taylor expansion of (+ (pow d1 2) (* d1 d3)) in d1 0.917 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 0.917 * [taylor]: Taking taylor expansion of d1 in d1 0.917 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 0.917 * [taylor]: Taking taylor expansion of d1 in d1 0.917 * [taylor]: Taking taylor expansion of d3 in d1 0.917 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (+ (pow d1 2) (* d1 d3))) in d1 0.917 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d1 0.917 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 0.917 * [taylor]: Taking taylor expansion of d1 in d1 0.917 * [taylor]: Taking taylor expansion of d4 in d1 0.917 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 0.917 * [taylor]: Taking taylor expansion of d1 in d1 0.917 * [taylor]: Taking taylor expansion of d2 in d1 0.917 * [taylor]: Taking taylor expansion of (+ (pow d1 2) (* d1 d3)) in d1 0.917 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 0.917 * [taylor]: Taking taylor expansion of d1 in d1 0.917 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 0.917 * [taylor]: Taking taylor expansion of d1 in d1 0.917 * [taylor]: Taking taylor expansion of d3 in d1 0.917 * [taylor]: Taking taylor expansion of 0 in d2 0.917 * [taylor]: Taking taylor expansion of 0 in d3 0.917 * [taylor]: Taking taylor expansion of 0 in d4 0.917 * [taylor]: Taking taylor expansion of (- (+ d2 d4) d3) in d2 0.917 * [taylor]: Taking taylor expansion of (+ d2 d4) in d2 0.917 * [taylor]: Taking taylor expansion of d2 in d2 0.917 * [taylor]: Taking taylor expansion of d4 in d2 0.917 * [taylor]: Taking taylor expansion of d3 in d2 0.917 * [taylor]: Taking taylor expansion of (- d4 d3) in d3 0.917 * [taylor]: Taking taylor expansion of d4 in d3 0.917 * [taylor]: Taking taylor expansion of d3 in d3 0.917 * [taylor]: Taking taylor expansion of d4 in d4 0.917 * [taylor]: Taking taylor expansion of 0 in d3 0.917 * [taylor]: Taking taylor expansion of 0 in d4 0.917 * [taylor]: Taking taylor expansion of 0 in d4 0.918 * [taylor]: Taking taylor expansion of (neg 1) in d2 0.918 * [taylor]: Taking taylor expansion of 1 in d2 0.918 * [taylor]: Taking taylor expansion of (neg 1) in d3 0.918 * [taylor]: Taking taylor expansion of 1 in d3 0.918 * [taylor]: Taking taylor expansion of (neg 1) in d4 0.918 * [taylor]: Taking taylor expansion of 1 in d4 0.918 * [taylor]: Taking taylor expansion of 1 in d3 0.918 * [taylor]: Taking taylor expansion of 1 in d4 0.918 * [taylor]: Taking taylor expansion of 0 in d3 0.918 * [taylor]: Taking taylor expansion of 0 in d4 0.918 * [taylor]: Taking taylor expansion of (neg 1) in d4 0.918 * [taylor]: Taking taylor expansion of 1 in d4 0.918 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in (d1 d2 d3 d4) around 0 0.918 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d4 0.918 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d4 0.918 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d4 0.918 * [taylor]: Taking taylor expansion of (* d1 d2) in d4 0.918 * [taylor]: Taking taylor expansion of d1 in d4 0.918 * [taylor]: Taking taylor expansion of d2 in d4 0.918 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d4 0.918 * [taylor]: Taking taylor expansion of (* d1 d4) in d4 0.918 * [taylor]: Taking taylor expansion of d1 in d4 0.919 * [taylor]: Taking taylor expansion of d4 in d4 0.919 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d4 0.919 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d4 0.919 * [taylor]: Taking taylor expansion of (pow d1 2) in d4 0.919 * [taylor]: Taking taylor expansion of d1 in d4 0.919 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d4 0.919 * [taylor]: Taking taylor expansion of (* d1 d3) in d4 0.919 * [taylor]: Taking taylor expansion of d1 in d4 0.919 * [taylor]: Taking taylor expansion of d3 in d4 0.919 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d3 0.919 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d3 0.919 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3 0.919 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 0.919 * [taylor]: Taking taylor expansion of d1 in d3 0.919 * [taylor]: Taking taylor expansion of d2 in d3 0.919 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d3 0.919 * [taylor]: Taking taylor expansion of (* d1 d4) in d3 0.919 * [taylor]: Taking taylor expansion of d1 in d3 0.919 * [taylor]: Taking taylor expansion of d4 in d3 0.919 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d3 0.919 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d3 0.919 * [taylor]: Taking taylor expansion of (pow d1 2) in d3 0.919 * [taylor]: Taking taylor expansion of d1 in d3 0.919 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3 0.919 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 0.919 * [taylor]: Taking taylor expansion of d1 in d3 0.919 * [taylor]: Taking taylor expansion of d3 in d3 0.919 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d2 0.919 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d2 0.919 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2 0.919 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 0.919 * [taylor]: Taking taylor expansion of d1 in d2 0.919 * [taylor]: Taking taylor expansion of d2 in d2 0.919 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d2 0.919 * [taylor]: Taking taylor expansion of (* d1 d4) in d2 0.919 * [taylor]: Taking taylor expansion of d1 in d2 0.919 * [taylor]: Taking taylor expansion of d4 in d2 0.919 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d2 0.920 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d2 0.920 * [taylor]: Taking taylor expansion of (pow d1 2) in d2 0.920 * [taylor]: Taking taylor expansion of d1 in d2 0.920 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2 0.920 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 0.920 * [taylor]: Taking taylor expansion of d1 in d2 0.920 * [taylor]: Taking taylor expansion of d3 in d2 0.920 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d1 0.920 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d1 0.920 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 0.920 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 0.920 * [taylor]: Taking taylor expansion of d1 in d1 0.920 * [taylor]: Taking taylor expansion of d2 in d1 0.920 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 0.920 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 0.920 * [taylor]: Taking taylor expansion of d1 in d1 0.920 * [taylor]: Taking taylor expansion of d4 in d1 0.920 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d1 0.920 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1 0.920 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 0.920 * [taylor]: Taking taylor expansion of d1 in d1 0.920 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 0.920 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 0.920 * [taylor]: Taking taylor expansion of d1 in d1 0.920 * [taylor]: Taking taylor expansion of d3 in d1 0.920 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d1 0.920 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d1 0.920 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 0.920 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 0.920 * [taylor]: Taking taylor expansion of d1 in d1 0.920 * [taylor]: Taking taylor expansion of d2 in d1 0.920 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 0.920 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 0.920 * [taylor]: Taking taylor expansion of d1 in d1 0.920 * [taylor]: Taking taylor expansion of d4 in d1 0.920 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d1 0.920 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1 0.920 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 0.920 * [taylor]: Taking taylor expansion of d1 in d1 0.920 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 0.921 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 0.921 * [taylor]: Taking taylor expansion of d1 in d1 0.921 * [taylor]: Taking taylor expansion of d3 in d1 0.921 * [taylor]: Taking taylor expansion of (neg 1) in d2 0.921 * [taylor]: Taking taylor expansion of 1 in d2 0.921 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2 0.921 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 0.921 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.921 * [taylor]: Taking taylor expansion of d2 in d2 0.921 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 0.921 * [taylor]: Taking taylor expansion of d4 in d2 0.921 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 0.921 * [taylor]: Taking taylor expansion of d3 in d2 0.921 * [taylor]: Taking taylor expansion of 1 in d3 0.921 * [taylor]: Taking taylor expansion of (neg 1) in d3 0.921 * [taylor]: Taking taylor expansion of 1 in d3 0.921 * [taylor]: Taking taylor expansion of 0 in d2 0.922 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3 0.922 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 0.922 * [taylor]: Taking taylor expansion of d4 in d3 0.922 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 0.922 * [taylor]: Taking taylor expansion of d3 in d3 0.922 * [taylor]: Taking taylor expansion of (neg 1) in d4 0.922 * [taylor]: Taking taylor expansion of 1 in d4 0.922 * [taylor]: Taking taylor expansion of 0 in d3 0.922 * [taylor]: Taking taylor expansion of 1 in d4 0.922 * [taylor]: Taking taylor expansion of (neg 1) in d4 0.922 * [taylor]: Taking taylor expansion of 1 in d4 0.922 * [taylor]: Taking taylor expansion of 0 in d2 0.922 * [taylor]: Taking taylor expansion of 0 in d3 0.922 * [taylor]: Taking taylor expansion of 0 in d3 0.922 * [taylor]: Taking taylor expansion of 0 in d3 0.922 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 0.922 * [taylor]: Taking taylor expansion of d4 in d4 0.923 * [taylor]: Taking taylor expansion of 0 in d4 0.923 * [taylor]: Taking taylor expansion of 0 in d4 0.923 * [taylor]: Taking taylor expansion of 0 in d4 0.923 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in (d1 d2 d3 d4) around 0 0.923 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d4 0.923 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d4 0.923 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d4 0.923 * [taylor]: Taking taylor expansion of (* d1 d2) in d4 0.923 * [taylor]: Taking taylor expansion of d1 in d4 0.923 * [taylor]: Taking taylor expansion of d2 in d4 0.923 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d4 0.923 * [taylor]: Taking taylor expansion of (* d1 d4) in d4 0.923 * [taylor]: Taking taylor expansion of d1 in d4 0.923 * [taylor]: Taking taylor expansion of d4 in d4 0.923 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d4 0.923 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d4 0.923 * [taylor]: Taking taylor expansion of (pow d1 2) in d4 0.923 * [taylor]: Taking taylor expansion of d1 in d4 0.924 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d4 0.924 * [taylor]: Taking taylor expansion of (* d1 d3) in d4 0.924 * [taylor]: Taking taylor expansion of d1 in d4 0.924 * [taylor]: Taking taylor expansion of d3 in d4 0.924 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d3 0.924 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d3 0.924 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3 0.924 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 0.924 * [taylor]: Taking taylor expansion of d1 in d3 0.924 * [taylor]: Taking taylor expansion of d2 in d3 0.924 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d3 0.924 * [taylor]: Taking taylor expansion of (* d1 d4) in d3 0.924 * [taylor]: Taking taylor expansion of d1 in d3 0.924 * [taylor]: Taking taylor expansion of d4 in d3 0.924 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d3 0.924 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d3 0.924 * [taylor]: Taking taylor expansion of (pow d1 2) in d3 0.924 * [taylor]: Taking taylor expansion of d1 in d3 0.924 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3 0.924 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 0.924 * [taylor]: Taking taylor expansion of d1 in d3 0.924 * [taylor]: Taking taylor expansion of d3 in d3 0.924 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d2 0.924 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d2 0.924 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2 0.924 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 0.924 * [taylor]: Taking taylor expansion of d1 in d2 0.924 * [taylor]: Taking taylor expansion of d2 in d2 0.924 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d2 0.924 * [taylor]: Taking taylor expansion of (* d1 d4) in d2 0.924 * [taylor]: Taking taylor expansion of d1 in d2 0.924 * [taylor]: Taking taylor expansion of d4 in d2 0.924 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d2 0.924 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d2 0.924 * [taylor]: Taking taylor expansion of (pow d1 2) in d2 0.924 * [taylor]: Taking taylor expansion of d1 in d2 0.924 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2 0.925 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 0.925 * [taylor]: Taking taylor expansion of d1 in d2 0.925 * [taylor]: Taking taylor expansion of d3 in d2 0.925 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d1 0.925 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d1 0.925 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 0.925 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 0.925 * [taylor]: Taking taylor expansion of d1 in d1 0.925 * [taylor]: Taking taylor expansion of d2 in d1 0.925 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 0.925 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 0.925 * [taylor]: Taking taylor expansion of d1 in d1 0.925 * [taylor]: Taking taylor expansion of d4 in d1 0.925 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d1 0.925 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1 0.925 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 0.925 * [taylor]: Taking taylor expansion of d1 in d1 0.925 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 0.925 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 0.925 * [taylor]: Taking taylor expansion of d1 in d1 0.925 * [taylor]: Taking taylor expansion of d3 in d1 0.925 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d1 0.925 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d1 0.925 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 0.925 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 0.925 * [taylor]: Taking taylor expansion of d1 in d1 0.925 * [taylor]: Taking taylor expansion of d2 in d1 0.925 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 0.925 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 0.925 * [taylor]: Taking taylor expansion of d1 in d1 0.925 * [taylor]: Taking taylor expansion of d4 in d1 0.925 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d1 0.925 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1 0.925 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 0.925 * [taylor]: Taking taylor expansion of d1 in d1 0.925 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 0.925 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 0.925 * [taylor]: Taking taylor expansion of d1 in d1 0.925 * [taylor]: Taking taylor expansion of d3 in d1 0.925 * [taylor]: Taking taylor expansion of (neg 1) in d2 0.926 * [taylor]: Taking taylor expansion of 1 in d2 0.926 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2 0.926 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 0.926 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.926 * [taylor]: Taking taylor expansion of d2 in d2 0.926 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 0.926 * [taylor]: Taking taylor expansion of d4 in d2 0.926 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 0.926 * [taylor]: Taking taylor expansion of d3 in d2 0.926 * [taylor]: Taking taylor expansion of 1 in d3 0.926 * [taylor]: Taking taylor expansion of (neg 1) in d3 0.926 * [taylor]: Taking taylor expansion of 1 in d3 0.926 * [taylor]: Taking taylor expansion of 0 in d2 0.926 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3 0.926 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 0.926 * [taylor]: Taking taylor expansion of d4 in d3 0.926 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 0.926 * [taylor]: Taking taylor expansion of d3 in d3 0.926 * [taylor]: Taking taylor expansion of (neg 1) in d4 0.927 * [taylor]: Taking taylor expansion of 1 in d4 0.927 * [taylor]: Taking taylor expansion of 0 in d3 0.927 * [taylor]: Taking taylor expansion of 1 in d4 0.927 * [taylor]: Taking taylor expansion of (neg 1) in d4 0.927 * [taylor]: Taking taylor expansion of 1 in d4 0.927 * [taylor]: Taking taylor expansion of 0 in d2 0.927 * [taylor]: Taking taylor expansion of 0 in d3 0.927 * [taylor]: Taking taylor expansion of 0 in d3 0.927 * [taylor]: Taking taylor expansion of 0 in d3 0.927 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 0.927 * [taylor]: Taking taylor expansion of d4 in d4 0.927 * [taylor]: Taking taylor expansion of 0 in d4 0.927 * [taylor]: Taking taylor expansion of 0 in d4 0.927 * [taylor]: Taking taylor expansion of 0 in d4 0.928 * * * [progress]: simplifying candidates 0.928 * [simplify]: Simplifying using # : (/ (exp (* d1 d2)) (exp (* d1 d3))) (log (- (* d1 d2) (* d1 d3))) (exp (- (* d1 d2) (* d1 d3))) (* (cbrt (- (* d1 d2) (* d1 d3))) (cbrt (- (* d1 d2) (* d1 d3)))) (cbrt (- (* d1 d2) (* d1 d3))) (* (* (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3))) (- (* d1 d2) (* d1 d3))) (sqrt (- (* d1 d2) (* d1 d3))) (sqrt (- (* d1 d2) (* d1 d3))) (- (pow (* d1 d2) 3) (pow (* d1 d3) 3)) (+ (* (* d1 d2) (* d1 d2)) (+ (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3)))) (neg (* d1 d3)) (- (* (* d1 d2) (* d1 d2)) (* (* d1 d3) (* d1 d3))) (+ (* d1 d2) (* d1 d3)) (- d2 d3) (* (/ (exp (* d1 d2)) (exp (* d1 d3))) (exp (* d4 d1))) (* (exp (- (* d1 d2) (* d1 d3))) (exp (* d4 d1))) (log (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (exp (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (* (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))) (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (* (* (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (+ (pow (- (* d1 d2) (* d1 d3)) 3) (pow (* d4 d1) 3)) (+ (* (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3))) (- (* (* d4 d1) (* d4 d1)) (* (- (* d1 d2) (* d1 d3)) (* d4 d1)))) (- (* (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3))) (* (* d4 d1) (* d4 d1))) (- (- (* d1 d2) (* d1 d3)) (* d4 d1)) (+ (neg (* d1 d3)) (* d4 d1)) (- (* d1 d3) (* d4 d1)) (/ (* (/ (exp (* d1 d2)) (exp (* d1 d3))) (exp (* d4 d1))) (exp (* d1 d1))) (/ (* (exp (- (* d1 d2) (* d1 d3))) (exp (* d4 d1))) (exp (* d1 d1))) (/ (exp (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (exp (* d1 d1))) (log (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))) (exp (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))) (* (cbrt (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))) (cbrt (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))) (cbrt (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))) (* (* (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))) (sqrt (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))) (sqrt (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))) (- (pow (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) 3) (pow (* d1 d1) 3)) (+ (* (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (+ (* (* d1 d1) (* d1 d1)) (* (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))) (neg (* d1 d1)) (- (* (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (* (* d1 d1) (* d1 d1))) (+ (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (+ (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) d1) (- (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) d1) (- (* d4 d1) (* d1 d1)) (+ (- (* d1 d3) (* d4 d1)) (* d1 d1)) (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3)) 0 (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) (- (* d1 d2) (+ (pow d1 2) (* d1 d3))) (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) 0.974 * * [simplify]: iteration 0 : 4929 enodes (cost 514 ) 0.975 * * [simplify]: iteration 1 : 4929 enodes (cost 514 ) 0.977 * [simplify]: Simplified to: (pow (exp d1) (- d2 d3)) (log (* d1 (- d2 d3))) (pow (exp d1) (- d2 d3)) (* (cbrt (* d1 (- d2 d3))) (cbrt (* d1 (- d2 d3)))) (cbrt (* d1 (- d2 d3))) (pow (* d1 (- d2 d3)) 3) (sqrt (* d1 (- d2 d3))) (sqrt (* d1 (- d2 d3))) (- (pow (* d1 d2) 3) (pow (* d1 d3) 3)) (* d1 (+ (* d1 (* d2 d2)) (* d3 (* d1 (+ d2 d3))))) (* d1 (neg d3)) (* d1 (* d1 (- (* d2 d2) (* d3 d3)))) (* d1 (+ d2 d3)) (- d2 d3) (pow (exp d1) (+ d2 (- d4 d3))) (pow (exp d1) (+ d2 (- d4 d3))) (log (* d1 (+ d2 (- d4 d3)))) (pow (exp d1) (+ d2 (- d4 d3))) (* (cbrt (* d1 (+ d2 (- d4 d3)))) (cbrt (* d1 (+ d2 (- d4 d3))))) (cbrt (* d1 (+ d2 (- d4 d3)))) (pow (* d1 (+ d2 (- d4 d3))) 3) (sqrt (* d1 (+ d2 (- d4 d3)))) (sqrt (* d1 (+ d2 (- d4 d3)))) (+ (pow (* d1 (- d2 d3)) 3) (pow (* d1 d4) 3)) (+ (* d1 (* d1 (* d4 d4))) (* (* d1 (- d2 d3)) (* d1 (- d2 (+ d3 d4))))) (* (* d1 (+ d2 (- d4 d3))) (* d1 (- d2 (+ d3 d4)))) (* d1 (- d2 (+ d3 d4))) (* d1 (- d4 d3)) (* d1 (- d3 d4)) (pow (exp d1) (+ (- d2 d3) (- d4 d1))) (pow (exp d1) (+ (- d2 d3) (- d4 d1))) (pow (exp d1) (+ (- d2 d3) (- d4 d1))) (log (* d1 (+ (- d2 d3) (- d4 d1)))) (pow (exp d1) (+ (- d2 d3) (- d4 d1))) (* (cbrt (* d1 (+ (- d2 d3) (- d4 d1)))) (cbrt (* d1 (+ (- d2 d3) (- d4 d1))))) (cbrt (* d1 (+ (- d2 d3) (- d4 d1)))) (pow (* d1 (+ (- d2 d3) (- d4 d1))) 3) (sqrt (* d1 (+ (- d2 d3) (- d4 d1)))) (sqrt (* d1 (+ (- d2 d3) (- d4 d1)))) (- (pow (* d1 (+ d2 (- d4 d3))) 3) (pow d1 6)) (+ (pow d1 4) (* (* d1 (+ d2 (- d4 d3))) (* d1 (+ (- d2 d3) (+ d1 d4))))) (* d1 (neg d1)) (- (* (* d1 (+ d2 (- d4 d3))) (* d1 (+ d2 (- d4 d3)))) (pow d1 4)) (* d1 (+ (- d2 d3) (+ d1 d4))) (+ d1 (sqrt (* d1 (+ d2 (- d4 d3))))) (- (sqrt (* d1 (+ d2 (- d4 d3)))) d1) (* d1 (- d4 d1)) (* d1 (+ (- d3 d4) d1)) (* d1 (- d2 d3)) (* d1 (- d2 d3)) (* d1 (- d2 d3)) 0 (* d1 (+ d2 (- d4 d3))) (* d1 (+ d2 (- d4 d3))) (* d1 (- (- d2 d1) d3)) (* d1 (+ d2 (- d4 d3))) (* d1 (+ d2 (- d4 d3))) 0.977 * * * [progress]: adding candidates to table 1.037 * * [progress]: iteration 3 / 4 1.037 * * * [progress]: picking best candidate 1.041 * * * * [pick]: Picked # 1.041 * * * [progress]: localizing error 1.053 * * * [progress]: generating rewritten candidates 1.053 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 1.054 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 1.055 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 1.056 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.063 * * * [progress]: generating series expansions 1.063 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 1.063 * [approximate]: Taking taylor expansion of (pow d1 1/3) in (d1) around 0 1.063 * [taylor]: Taking taylor expansion of (pow d1 1/3) in d1 1.063 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d1))) in d1 1.063 * [taylor]: Taking taylor expansion of (* 1/3 (log d1)) in d1 1.063 * [taylor]: Taking taylor expansion of 1/3 in d1 1.063 * [taylor]: Taking taylor expansion of (log d1) in d1 1.063 * [taylor]: Taking taylor expansion of d1 in d1 1.063 * [taylor]: Taking taylor expansion of (pow d1 1/3) in d1 1.063 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d1))) in d1 1.063 * [taylor]: Taking taylor expansion of (* 1/3 (log d1)) in d1 1.063 * [taylor]: Taking taylor expansion of 1/3 in d1 1.063 * [taylor]: Taking taylor expansion of (log d1) in d1 1.063 * [taylor]: Taking taylor expansion of d1 in d1 1.069 * [approximate]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in (d1) around 0 1.069 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1 1.069 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1 1.069 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1 1.069 * [taylor]: Taking taylor expansion of 1/3 in d1 1.069 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1 1.069 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.069 * [taylor]: Taking taylor expansion of d1 in d1 1.069 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1 1.069 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1 1.069 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1 1.070 * [taylor]: Taking taylor expansion of 1/3 in d1 1.070 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1 1.070 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.070 * [taylor]: Taking taylor expansion of d1 in d1 1.075 * [approximate]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in (d1) around 0 1.076 * [taylor]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in d1 1.076 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1 1.076 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1 1.076 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1 1.076 * [taylor]: Taking taylor expansion of 1/3 in d1 1.076 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1 1.076 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.076 * [taylor]: Taking taylor expansion of d1 in d1 1.076 * [taylor]: Taking taylor expansion of (cbrt -1) in d1 1.076 * [taylor]: Taking taylor expansion of -1 in d1 1.076 * [taylor]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in d1 1.076 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1 1.076 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1 1.076 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1 1.076 * [taylor]: Taking taylor expansion of 1/3 in d1 1.076 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1 1.076 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.076 * [taylor]: Taking taylor expansion of d1 in d1 1.076 * [taylor]: Taking taylor expansion of (cbrt -1) in d1 1.076 * [taylor]: Taking taylor expansion of -1 in d1 1.083 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 1.084 * [approximate]: Taking taylor expansion of (pow d1 1/3) in (d1) around 0 1.084 * [taylor]: Taking taylor expansion of (pow d1 1/3) in d1 1.084 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d1))) in d1 1.084 * [taylor]: Taking taylor expansion of (* 1/3 (log d1)) in d1 1.084 * [taylor]: Taking taylor expansion of 1/3 in d1 1.084 * [taylor]: Taking taylor expansion of (log d1) in d1 1.084 * [taylor]: Taking taylor expansion of d1 in d1 1.084 * [taylor]: Taking taylor expansion of (pow d1 1/3) in d1 1.084 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d1))) in d1 1.084 * [taylor]: Taking taylor expansion of (* 1/3 (log d1)) in d1 1.084 * [taylor]: Taking taylor expansion of 1/3 in d1 1.084 * [taylor]: Taking taylor expansion of (log d1) in d1 1.084 * [taylor]: Taking taylor expansion of d1 in d1 1.090 * [approximate]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in (d1) around 0 1.090 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1 1.090 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1 1.090 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1 1.090 * [taylor]: Taking taylor expansion of 1/3 in d1 1.090 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1 1.090 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.090 * [taylor]: Taking taylor expansion of d1 in d1 1.090 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1 1.090 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1 1.090 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1 1.090 * [taylor]: Taking taylor expansion of 1/3 in d1 1.090 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1 1.090 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.090 * [taylor]: Taking taylor expansion of d1 in d1 1.096 * [approximate]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in (d1) around 0 1.097 * [taylor]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in d1 1.097 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1 1.097 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1 1.097 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1 1.097 * [taylor]: Taking taylor expansion of 1/3 in d1 1.097 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1 1.097 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.097 * [taylor]: Taking taylor expansion of d1 in d1 1.097 * [taylor]: Taking taylor expansion of (cbrt -1) in d1 1.097 * [taylor]: Taking taylor expansion of -1 in d1 1.097 * [taylor]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in d1 1.097 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1 1.097 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1 1.097 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1 1.097 * [taylor]: Taking taylor expansion of 1/3 in d1 1.097 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1 1.097 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.097 * [taylor]: Taking taylor expansion of d1 in d1 1.097 * [taylor]: Taking taylor expansion of (cbrt -1) in d1 1.097 * [taylor]: Taking taylor expansion of -1 in d1 1.105 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 1.105 * [approximate]: Taking taylor expansion of (pow d1 1/3) in (d1) around 0 1.105 * [taylor]: Taking taylor expansion of (pow d1 1/3) in d1 1.105 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d1))) in d1 1.105 * [taylor]: Taking taylor expansion of (* 1/3 (log d1)) in d1 1.105 * [taylor]: Taking taylor expansion of 1/3 in d1 1.105 * [taylor]: Taking taylor expansion of (log d1) in d1 1.105 * [taylor]: Taking taylor expansion of d1 in d1 1.105 * [taylor]: Taking taylor expansion of (pow d1 1/3) in d1 1.105 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d1))) in d1 1.105 * [taylor]: Taking taylor expansion of (* 1/3 (log d1)) in d1 1.105 * [taylor]: Taking taylor expansion of 1/3 in d1 1.105 * [taylor]: Taking taylor expansion of (log d1) in d1 1.105 * [taylor]: Taking taylor expansion of d1 in d1 1.111 * [approximate]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in (d1) around 0 1.111 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1 1.111 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1 1.111 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1 1.111 * [taylor]: Taking taylor expansion of 1/3 in d1 1.111 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1 1.111 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.111 * [taylor]: Taking taylor expansion of d1 in d1 1.111 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1 1.111 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1 1.111 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1 1.111 * [taylor]: Taking taylor expansion of 1/3 in d1 1.111 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1 1.111 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.111 * [taylor]: Taking taylor expansion of d1 in d1 1.117 * [approximate]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in (d1) around 0 1.117 * [taylor]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in d1 1.117 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1 1.117 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1 1.117 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1 1.117 * [taylor]: Taking taylor expansion of 1/3 in d1 1.117 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1 1.117 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.117 * [taylor]: Taking taylor expansion of d1 in d1 1.117 * [taylor]: Taking taylor expansion of (cbrt -1) in d1 1.117 * [taylor]: Taking taylor expansion of -1 in d1 1.117 * [taylor]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in d1 1.117 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1 1.117 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1 1.117 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1 1.118 * [taylor]: Taking taylor expansion of 1/3 in d1 1.118 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1 1.118 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.118 * [taylor]: Taking taylor expansion of d1 in d1 1.118 * [taylor]: Taking taylor expansion of (cbrt -1) in d1 1.118 * [taylor]: Taking taylor expansion of -1 in d1 1.125 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.125 * [approximate]: Taking taylor expansion of (pow (pow d1 2) 1/3) in (d1) around 0 1.125 * [taylor]: Taking taylor expansion of (pow (pow d1 2) 1/3) in d1 1.125 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow d1 2)))) in d1 1.125 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow d1 2))) in d1 1.125 * [taylor]: Taking taylor expansion of 1/3 in d1 1.125 * [taylor]: Taking taylor expansion of (log (pow d1 2)) in d1 1.125 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 1.125 * [taylor]: Taking taylor expansion of d1 in d1 1.125 * [taylor]: Taking taylor expansion of (pow (pow d1 2) 1/3) in d1 1.125 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow d1 2)))) in d1 1.125 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow d1 2))) in d1 1.125 * [taylor]: Taking taylor expansion of 1/3 in d1 1.125 * [taylor]: Taking taylor expansion of (log (pow d1 2)) in d1 1.126 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 1.126 * [taylor]: Taking taylor expansion of d1 in d1 1.131 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow d1 2)) 1/3) in (d1) around 0 1.132 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d1 2)) 1/3) in d1 1.132 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d1 2))))) in d1 1.132 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d1 2)))) in d1 1.132 * [taylor]: Taking taylor expansion of 1/3 in d1 1.132 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d1 2))) in d1 1.132 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1 1.132 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 1.132 * [taylor]: Taking taylor expansion of d1 in d1 1.132 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d1 2)) 1/3) in d1 1.134 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d1 2))))) in d1 1.134 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d1 2)))) in d1 1.134 * [taylor]: Taking taylor expansion of 1/3 in d1 1.134 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d1 2))) in d1 1.134 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1 1.134 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 1.134 * [taylor]: Taking taylor expansion of d1 in d1 1.141 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow d1 2)) 1/3) (pow (cbrt -1) 2)) in (d1) around 0 1.141 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow d1 2)) 1/3) (pow (cbrt -1) 2)) in d1 1.141 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d1 2)) 1/3) in d1 1.141 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d1 2))))) in d1 1.141 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d1 2)))) in d1 1.141 * [taylor]: Taking taylor expansion of 1/3 in d1 1.141 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d1 2))) in d1 1.141 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1 1.141 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 1.141 * [taylor]: Taking taylor expansion of d1 in d1 1.141 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in d1 1.141 * [taylor]: Taking taylor expansion of (cbrt -1) in d1 1.141 * [taylor]: Taking taylor expansion of -1 in d1 1.141 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow d1 2)) 1/3) (pow (cbrt -1) 2)) in d1 1.141 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d1 2)) 1/3) in d1 1.141 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d1 2))))) in d1 1.141 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d1 2)))) in d1 1.141 * [taylor]: Taking taylor expansion of 1/3 in d1 1.141 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d1 2))) in d1 1.141 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1 1.141 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 1.141 * [taylor]: Taking taylor expansion of d1 in d1 1.141 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in d1 1.141 * [taylor]: Taking taylor expansion of (cbrt -1) in d1 1.141 * [taylor]: Taking taylor expansion of -1 in d1 1.150 * * * [progress]: simplifying candidates 1.151 * [simplify]: Simplifying using # : (log (cbrt d1)) (exp (cbrt d1)) (cbrt (* (cbrt d1) (cbrt d1))) (cbrt (cbrt d1)) (cbrt (sqrt d1)) (cbrt (sqrt d1)) (cbrt 1) (cbrt d1) (* (cbrt (cbrt d1)) (cbrt (cbrt d1))) (cbrt (cbrt d1)) (* (* (cbrt d1) (cbrt d1)) (cbrt d1)) (sqrt (cbrt d1)) (sqrt (cbrt d1)) (log (cbrt d1)) (exp (cbrt d1)) (cbrt (* (cbrt d1) (cbrt d1))) (cbrt (cbrt d1)) (cbrt (sqrt d1)) (cbrt (sqrt d1)) (cbrt 1) (cbrt d1) (* (cbrt (cbrt d1)) (cbrt (cbrt d1))) (cbrt (cbrt d1)) (* (* (cbrt d1) (cbrt d1)) (cbrt d1)) (sqrt (cbrt d1)) (sqrt (cbrt d1)) (log (cbrt d1)) (exp (cbrt d1)) (cbrt (* (cbrt d1) (cbrt d1))) (cbrt (cbrt d1)) (cbrt (sqrt d1)) (cbrt (sqrt d1)) (cbrt 1) (cbrt d1) (* (cbrt (cbrt d1)) (cbrt (cbrt d1))) (cbrt (cbrt d1)) (* (* (cbrt d1) (cbrt d1)) (cbrt d1)) (sqrt (cbrt d1)) (sqrt (cbrt d1)) (+ 1/3 1/3) (+ 1 1) (* d1 d1) (* (cbrt d1) (cbrt d1)) (+ 1 1) (+ (log (cbrt d1)) (log (cbrt d1))) (log (* (cbrt d1) (cbrt d1))) (exp (* (cbrt d1) (cbrt d1))) (* d1 d1) (* (cbrt (* (cbrt d1) (cbrt d1))) (cbrt (* (cbrt d1) (cbrt d1)))) (cbrt (* (cbrt d1) (cbrt d1))) (* (* (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (cbrt d1))) (* (cbrt d1) (cbrt d1))) (sqrt (* (cbrt d1) (cbrt d1))) (sqrt (* (cbrt d1) (cbrt d1))) (* (cbrt (* (cbrt d1) (cbrt d1))) (cbrt (* (cbrt d1) (cbrt d1)))) (* (cbrt (cbrt d1)) (cbrt (cbrt d1))) (* (cbrt (sqrt d1)) (cbrt (sqrt d1))) (* (cbrt (sqrt d1)) (cbrt (sqrt d1))) (* (cbrt 1) (cbrt 1)) (* (cbrt d1) (cbrt d1)) (* (* (cbrt (cbrt d1)) (cbrt (cbrt d1))) (* (cbrt (cbrt d1)) (cbrt (cbrt d1)))) (* (cbrt (cbrt d1)) (cbrt (cbrt d1))) (* (sqrt (cbrt d1)) (sqrt (cbrt d1))) (* (sqrt (cbrt d1)) (sqrt (cbrt d1))) (* 1 1) (* (cbrt d1) (cbrt d1)) (* (cbrt (sqrt d1)) (cbrt (sqrt d1))) (* (cbrt (sqrt d1)) (cbrt (sqrt d1))) (* (cbrt (sqrt d1)) (sqrt (cbrt d1))) (* (cbrt (sqrt d1)) (sqrt (cbrt d1))) (* (sqrt (cbrt d1)) (cbrt (sqrt d1))) (* (sqrt (cbrt d1)) (cbrt (sqrt d1))) (* (sqrt (cbrt d1)) (sqrt (cbrt d1))) (* (sqrt (cbrt d1)) (sqrt (cbrt d1))) (* 2 1/3) (* 2 1) (* (cbrt d1) (cbrt (* (cbrt d1) (cbrt d1)))) (* (cbrt d1) (cbrt (sqrt d1))) (* (cbrt d1) (cbrt 1)) (* (cbrt d1) (* (cbrt (cbrt d1)) (cbrt (cbrt d1)))) (* (cbrt d1) (sqrt (cbrt d1))) (* (cbrt d1) 1) (* (cbrt (cbrt d1)) (cbrt d1)) (* (cbrt (sqrt d1)) (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt (cbrt d1)) (cbrt d1)) (* (sqrt (cbrt d1)) (cbrt d1)) (* (cbrt d1) (cbrt d1)) (exp (* 1/3 (+ (log 1) (log d1)))) (exp (* 1/3 (- (log 1) (log (/ 1 d1))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 d1)))))) (exp (* 1/3 (+ (log 1) (log d1)))) (exp (* 1/3 (- (log 1) (log (/ 1 d1))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 d1)))))) (exp (* 1/3 (+ (log 1) (log d1)))) (exp (* 1/3 (- (log 1) (log (/ 1 d1))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 d1)))))) (exp (* 1/3 (+ (log 1) (* 2 (log d1))))) (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 d1)))))) (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 d1))))))) 1.199 * * [simplify]: iteration 0 : 5501 enodes (cost 356 ) 1.201 * [simplify]: Simplified to: (log (cbrt d1)) (exp (cbrt d1)) (cbrt (pow d1 2/3)) (cbrt (cbrt d1)) (cbrt (sqrt d1)) (cbrt (sqrt d1)) 1 (cbrt d1) (pow (cbrt (cbrt d1)) 2) (cbrt (cbrt d1)) d1 (sqrt (cbrt d1)) (sqrt (cbrt d1)) (log (cbrt d1)) (exp (cbrt d1)) (cbrt (pow d1 2/3)) (cbrt (cbrt d1)) (cbrt (sqrt d1)) (cbrt (sqrt d1)) 1 (cbrt d1) (pow (cbrt (cbrt d1)) 2) (cbrt (cbrt d1)) d1 (sqrt (cbrt d1)) (sqrt (cbrt d1)) (log (cbrt d1)) (exp (cbrt d1)) (cbrt (pow d1 2/3)) (cbrt (cbrt d1)) (cbrt (sqrt d1)) (cbrt (sqrt d1)) 1 (cbrt d1) (pow (cbrt (cbrt d1)) 2) (cbrt (cbrt d1)) d1 (sqrt (cbrt d1)) (sqrt (cbrt d1)) 2/3 2 (* d1 d1) (pow d1 2/3) 2 (* 2/3 (log d1)) (* 2/3 (log d1)) (exp (pow d1 2/3)) (* d1 d1) (* (cbrt (pow d1 2/3)) (cbrt (pow d1 2/3))) (cbrt (pow d1 2/3)) (* d1 d1) (fabs (cbrt d1)) (fabs (cbrt d1)) (* (cbrt (pow d1 2/3)) (cbrt (pow d1 2/3))) (pow (cbrt (cbrt d1)) 2) (* (cbrt (sqrt d1)) (cbrt (sqrt d1))) (* (cbrt (sqrt d1)) (cbrt (sqrt d1))) 1 (pow d1 2/3) (pow (cbrt (cbrt d1)) 4) (pow (cbrt (cbrt d1)) 2) (cbrt d1) (cbrt d1) 1 (pow d1 2/3) (* (cbrt (sqrt d1)) (cbrt (sqrt d1))) (* (cbrt (sqrt d1)) (cbrt (sqrt d1))) (* (cbrt (sqrt d1)) (sqrt (cbrt d1))) (* (cbrt (sqrt d1)) (sqrt (cbrt d1))) (* (cbrt (sqrt d1)) (sqrt (cbrt d1))) (* (cbrt (sqrt d1)) (sqrt (cbrt d1))) (cbrt d1) (cbrt d1) 2/3 2 (* (cbrt d1) (cbrt (pow d1 2/3))) (* (cbrt d1) (cbrt (sqrt d1))) (cbrt d1) (pow (cbrt (cbrt d1)) 5) (pow (sqrt (cbrt d1)) 3) (cbrt d1) (pow (cbrt (cbrt d1)) 4) (* (cbrt d1) (cbrt (sqrt d1))) (pow d1 2/3) (pow (cbrt (cbrt d1)) 4) (pow (sqrt (cbrt d1)) 3) (pow d1 2/3) (cbrt d1) (cbrt d1) (* (cbrt -1) (cbrt (* d1 -1))) (cbrt d1) (cbrt d1) (* (cbrt -1) (cbrt (* d1 -1))) (cbrt d1) (cbrt d1) (* (cbrt -1) (cbrt (* d1 -1))) (pow d1 2/3) (pow d1 2/3) (* (pow d1 2/3) (pow (cbrt -1) 2)) 1.201 * * * [progress]: adding candidates to table 1.282 * * [progress]: iteration 4 / 4 1.282 * * * [progress]: picking best candidate 1.286 * * * * [pick]: Picked # 1.287 * * * [progress]: localizing error 1.303 * * * [progress]: generating rewritten candidates 1.303 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 1.305 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1) 1.306 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1) 1.308 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1) 1.310 * * * [progress]: generating series expansions 1.310 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 1.310 * [approximate]: Taking taylor expansion of (pow d1 1/9) in (d1) around 0 1.310 * [taylor]: Taking taylor expansion of (pow d1 1/9) in d1 1.310 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log d1))) in d1 1.310 * [taylor]: Taking taylor expansion of (* 1/9 (log d1)) in d1 1.310 * [taylor]: Taking taylor expansion of 1/9 in d1 1.310 * [taylor]: Taking taylor expansion of (log d1) in d1 1.310 * [taylor]: Taking taylor expansion of d1 in d1 1.310 * [taylor]: Taking taylor expansion of (pow d1 1/9) in d1 1.310 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log d1))) in d1 1.310 * [taylor]: Taking taylor expansion of (* 1/9 (log d1)) in d1 1.310 * [taylor]: Taking taylor expansion of 1/9 in d1 1.310 * [taylor]: Taking taylor expansion of (log d1) in d1 1.310 * [taylor]: Taking taylor expansion of d1 in d1 1.316 * [approximate]: Taking taylor expansion of (pow (/ 1 d1) 1/9) in (d1) around 0 1.316 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/9) in d1 1.316 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 d1)))) in d1 1.316 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 d1))) in d1 1.316 * [taylor]: Taking taylor expansion of 1/9 in d1 1.316 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1 1.316 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.316 * [taylor]: Taking taylor expansion of d1 in d1 1.316 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/9) in d1 1.316 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 d1)))) in d1 1.316 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 d1))) in d1 1.316 * [taylor]: Taking taylor expansion of 1/9 in d1 1.316 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1 1.316 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.316 * [taylor]: Taking taylor expansion of d1 in d1 1.322 * [approximate]: Taking taylor expansion of (* (pow (/ 1 d1) 1/9) (pow (cbrt -1) 1/3)) in (d1) around 0 1.322 * [taylor]: Taking taylor expansion of (* (pow (/ 1 d1) 1/9) (pow (cbrt -1) 1/3)) in d1 1.322 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/9) in d1 1.322 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 d1)))) in d1 1.322 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 d1))) in d1 1.322 * [taylor]: Taking taylor expansion of 1/9 in d1 1.322 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1 1.322 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.322 * [taylor]: Taking taylor expansion of d1 in d1 1.323 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in d1 1.323 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in d1 1.323 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in d1 1.323 * [taylor]: Taking taylor expansion of 1/3 in d1 1.323 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in d1 1.323 * [taylor]: Taking taylor expansion of (cbrt -1) in d1 1.323 * [taylor]: Taking taylor expansion of -1 in d1 1.323 * [taylor]: Taking taylor expansion of (* (pow (/ 1 d1) 1/9) (pow (cbrt -1) 1/3)) in d1 1.323 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/9) in d1 1.323 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 d1)))) in d1 1.323 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 d1))) in d1 1.323 * [taylor]: Taking taylor expansion of 1/9 in d1 1.323 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1 1.323 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.323 * [taylor]: Taking taylor expansion of d1 in d1 1.323 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in d1 1.323 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in d1 1.323 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in d1 1.323 * [taylor]: Taking taylor expansion of 1/3 in d1 1.323 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in d1 1.323 * [taylor]: Taking taylor expansion of (cbrt -1) in d1 1.323 * [taylor]: Taking taylor expansion of -1 in d1 1.338 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1) 1.339 * [approximate]: Taking taylor expansion of (pow d1 1/9) in (d1) around 0 1.339 * [taylor]: Taking taylor expansion of (pow d1 1/9) in d1 1.339 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log d1))) in d1 1.339 * [taylor]: Taking taylor expansion of (* 1/9 (log d1)) in d1 1.339 * [taylor]: Taking taylor expansion of 1/9 in d1 1.339 * [taylor]: Taking taylor expansion of (log d1) in d1 1.339 * [taylor]: Taking taylor expansion of d1 in d1 1.339 * [taylor]: Taking taylor expansion of (pow d1 1/9) in d1 1.339 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log d1))) in d1 1.339 * [taylor]: Taking taylor expansion of (* 1/9 (log d1)) in d1 1.339 * [taylor]: Taking taylor expansion of 1/9 in d1 1.339 * [taylor]: Taking taylor expansion of (log d1) in d1 1.339 * [taylor]: Taking taylor expansion of d1 in d1 1.344 * [approximate]: Taking taylor expansion of (pow (/ 1 d1) 1/9) in (d1) around 0 1.344 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/9) in d1 1.344 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 d1)))) in d1 1.344 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 d1))) in d1 1.344 * [taylor]: Taking taylor expansion of 1/9 in d1 1.344 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1 1.345 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.345 * [taylor]: Taking taylor expansion of d1 in d1 1.345 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/9) in d1 1.345 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 d1)))) in d1 1.345 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 d1))) in d1 1.345 * [taylor]: Taking taylor expansion of 1/9 in d1 1.345 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1 1.345 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.345 * [taylor]: Taking taylor expansion of d1 in d1 1.351 * [approximate]: Taking taylor expansion of (* (pow (/ 1 d1) 1/9) (pow (cbrt -1) 1/3)) in (d1) around 0 1.351 * [taylor]: Taking taylor expansion of (* (pow (/ 1 d1) 1/9) (pow (cbrt -1) 1/3)) in d1 1.351 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/9) in d1 1.351 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 d1)))) in d1 1.351 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 d1))) in d1 1.351 * [taylor]: Taking taylor expansion of 1/9 in d1 1.351 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1 1.351 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.351 * [taylor]: Taking taylor expansion of d1 in d1 1.351 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in d1 1.351 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in d1 1.351 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in d1 1.351 * [taylor]: Taking taylor expansion of 1/3 in d1 1.351 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in d1 1.351 * [taylor]: Taking taylor expansion of (cbrt -1) in d1 1.351 * [taylor]: Taking taylor expansion of -1 in d1 1.351 * [taylor]: Taking taylor expansion of (* (pow (/ 1 d1) 1/9) (pow (cbrt -1) 1/3)) in d1 1.351 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/9) in d1 1.351 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 d1)))) in d1 1.351 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 d1))) in d1 1.351 * [taylor]: Taking taylor expansion of 1/9 in d1 1.352 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1 1.352 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.352 * [taylor]: Taking taylor expansion of d1 in d1 1.352 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in d1 1.352 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in d1 1.352 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in d1 1.352 * [taylor]: Taking taylor expansion of 1/3 in d1 1.352 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in d1 1.352 * [taylor]: Taking taylor expansion of (cbrt -1) in d1 1.352 * [taylor]: Taking taylor expansion of -1 in d1 1.366 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1) 1.367 * [approximate]: Taking taylor expansion of (pow d1 1/3) in (d1) around 0 1.367 * [taylor]: Taking taylor expansion of (pow d1 1/3) in d1 1.367 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d1))) in d1 1.367 * [taylor]: Taking taylor expansion of (* 1/3 (log d1)) in d1 1.367 * [taylor]: Taking taylor expansion of 1/3 in d1 1.367 * [taylor]: Taking taylor expansion of (log d1) in d1 1.367 * [taylor]: Taking taylor expansion of d1 in d1 1.367 * [taylor]: Taking taylor expansion of (pow d1 1/3) in d1 1.367 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d1))) in d1 1.367 * [taylor]: Taking taylor expansion of (* 1/3 (log d1)) in d1 1.367 * [taylor]: Taking taylor expansion of 1/3 in d1 1.367 * [taylor]: Taking taylor expansion of (log d1) in d1 1.367 * [taylor]: Taking taylor expansion of d1 in d1 1.373 * [approximate]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in (d1) around 0 1.373 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1 1.373 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1 1.373 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1 1.373 * [taylor]: Taking taylor expansion of 1/3 in d1 1.373 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1 1.373 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.373 * [taylor]: Taking taylor expansion of d1 in d1 1.373 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1 1.373 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1 1.373 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1 1.373 * [taylor]: Taking taylor expansion of 1/3 in d1 1.373 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1 1.373 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.373 * [taylor]: Taking taylor expansion of d1 in d1 1.379 * [approximate]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in (d1) around 0 1.379 * [taylor]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in d1 1.379 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1 1.379 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1 1.379 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1 1.379 * [taylor]: Taking taylor expansion of 1/3 in d1 1.379 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1 1.379 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.379 * [taylor]: Taking taylor expansion of d1 in d1 1.379 * [taylor]: Taking taylor expansion of (cbrt -1) in d1 1.379 * [taylor]: Taking taylor expansion of -1 in d1 1.379 * [taylor]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in d1 1.380 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1 1.380 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1 1.380 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1 1.380 * [taylor]: Taking taylor expansion of 1/3 in d1 1.380 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1 1.380 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.380 * [taylor]: Taking taylor expansion of d1 in d1 1.380 * [taylor]: Taking taylor expansion of (cbrt -1) in d1 1.380 * [taylor]: Taking taylor expansion of -1 in d1 1.389 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1) 1.389 * [approximate]: Taking taylor expansion of (pow d1 1/3) in (d1) around 0 1.389 * [taylor]: Taking taylor expansion of (pow d1 1/3) in d1 1.389 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d1))) in d1 1.389 * [taylor]: Taking taylor expansion of (* 1/3 (log d1)) in d1 1.389 * [taylor]: Taking taylor expansion of 1/3 in d1 1.389 * [taylor]: Taking taylor expansion of (log d1) in d1 1.389 * [taylor]: Taking taylor expansion of d1 in d1 1.389 * [taylor]: Taking taylor expansion of (pow d1 1/3) in d1 1.389 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d1))) in d1 1.389 * [taylor]: Taking taylor expansion of (* 1/3 (log d1)) in d1 1.389 * [taylor]: Taking taylor expansion of 1/3 in d1 1.389 * [taylor]: Taking taylor expansion of (log d1) in d1 1.389 * [taylor]: Taking taylor expansion of d1 in d1 1.395 * [approximate]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in (d1) around 0 1.395 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1 1.395 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1 1.395 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1 1.395 * [taylor]: Taking taylor expansion of 1/3 in d1 1.395 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1 1.395 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.395 * [taylor]: Taking taylor expansion of d1 in d1 1.395 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1 1.395 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1 1.395 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1 1.395 * [taylor]: Taking taylor expansion of 1/3 in d1 1.395 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1 1.395 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.395 * [taylor]: Taking taylor expansion of d1 in d1 1.401 * [approximate]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in (d1) around 0 1.401 * [taylor]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in d1 1.401 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1 1.401 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1 1.401 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1 1.401 * [taylor]: Taking taylor expansion of 1/3 in d1 1.401 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1 1.401 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.401 * [taylor]: Taking taylor expansion of d1 in d1 1.401 * [taylor]: Taking taylor expansion of (cbrt -1) in d1 1.401 * [taylor]: Taking taylor expansion of -1 in d1 1.402 * [taylor]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in d1 1.402 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1 1.402 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1 1.402 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1 1.402 * [taylor]: Taking taylor expansion of 1/3 in d1 1.402 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1 1.402 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.402 * [taylor]: Taking taylor expansion of d1 in d1 1.402 * [taylor]: Taking taylor expansion of (cbrt -1) in d1 1.402 * [taylor]: Taking taylor expansion of -1 in d1 1.409 * * * [progress]: simplifying candidates 1.410 * [simplify]: Simplifying using # : (log (cbrt (cbrt d1))) (exp (cbrt (cbrt d1))) (cbrt (cbrt (* (cbrt d1) (cbrt d1)))) (cbrt (cbrt (cbrt d1))) (cbrt (cbrt (sqrt d1))) (cbrt (cbrt (sqrt d1))) (cbrt (cbrt 1)) (cbrt (cbrt d1)) (cbrt (* (cbrt (cbrt d1)) (cbrt (cbrt d1)))) (cbrt (cbrt (cbrt d1))) (cbrt (sqrt (cbrt d1))) (cbrt (sqrt (cbrt d1))) (cbrt 1) (cbrt (cbrt d1)) (* (cbrt (cbrt (cbrt d1))) (cbrt (cbrt (cbrt d1)))) (cbrt (cbrt (cbrt d1))) (* (* (cbrt (cbrt d1)) (cbrt (cbrt d1))) (cbrt (cbrt d1))) (sqrt (cbrt (cbrt d1))) (sqrt (cbrt (cbrt d1))) (log (cbrt (cbrt d1))) (exp (cbrt (cbrt d1))) (cbrt (cbrt (* (cbrt d1) (cbrt d1)))) (cbrt (cbrt (cbrt d1))) (cbrt (cbrt (sqrt d1))) (cbrt (cbrt (sqrt d1))) (cbrt (cbrt 1)) (cbrt (cbrt d1)) (cbrt (* (cbrt (cbrt d1)) (cbrt (cbrt d1)))) (cbrt (cbrt (cbrt d1))) (cbrt (sqrt (cbrt d1))) (cbrt (sqrt (cbrt d1))) (cbrt 1) (cbrt (cbrt d1)) (* (cbrt (cbrt (cbrt d1))) (cbrt (cbrt (cbrt d1)))) (cbrt (cbrt (cbrt d1))) (* (* (cbrt (cbrt d1)) (cbrt (cbrt d1))) (cbrt (cbrt d1))) (sqrt (cbrt (cbrt d1))) (sqrt (cbrt (cbrt d1))) (log (cbrt d1)) (exp (cbrt d1)) (cbrt (* (cbrt d1) (cbrt d1))) (cbrt (cbrt d1)) (cbrt (sqrt d1)) (cbrt (sqrt d1)) (cbrt 1) (cbrt d1) (* (cbrt (cbrt d1)) (cbrt (cbrt d1))) (cbrt (cbrt d1)) (* (* (cbrt d1) (cbrt d1)) (cbrt d1)) (sqrt (cbrt d1)) (sqrt (cbrt d1)) (log (cbrt d1)) (exp (cbrt d1)) (cbrt (* (cbrt d1) (cbrt d1))) (cbrt (cbrt d1)) (cbrt (sqrt d1)) (cbrt (sqrt d1)) (cbrt 1) (cbrt d1) (* (cbrt (cbrt d1)) (cbrt (cbrt d1))) (cbrt (cbrt d1)) (* (* (cbrt d1) (cbrt d1)) (cbrt d1)) (sqrt (cbrt d1)) (sqrt (cbrt d1)) (exp (* 1/9 (+ (log 1) (log d1)))) (exp (* 1/9 (- (log 1) (log (/ 1 d1))))) (* (pow (cbrt -1) 1/3) (exp (* 1/9 (- (log 1) (log (/ -1 d1)))))) (exp (* 1/9 (+ (log 1) (log d1)))) (exp (* 1/9 (- (log 1) (log (/ 1 d1))))) (* (pow (cbrt -1) 1/3) (exp (* 1/9 (- (log 1) (log (/ -1 d1)))))) (exp (* 1/3 (+ (log 1) (log d1)))) (exp (* 1/3 (- (log 1) (log (/ 1 d1))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 d1)))))) (exp (* 1/3 (+ (log 1) (log d1)))) (exp (* 1/3 (- (log 1) (log (/ 1 d1))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 d1)))))) 1.452 * * [simplify]: iteration 0 : 5550 enodes (cost 282 ) 1.455 * [simplify]: Simplified to: (log (cbrt (cbrt d1))) (exp (cbrt (cbrt d1))) (cbrt (cbrt (pow d1 2/3))) (cbrt (cbrt (cbrt d1))) (cbrt (cbrt (sqrt d1))) (cbrt (cbrt (sqrt d1))) 1 (cbrt (cbrt d1)) (cbrt (* (cbrt (cbrt d1)) (cbrt (cbrt d1)))) (cbrt (cbrt (cbrt d1))) (cbrt (sqrt (cbrt d1))) (cbrt (sqrt (cbrt d1))) 1 (cbrt (cbrt d1)) (* (cbrt (cbrt (cbrt d1))) (cbrt (cbrt (cbrt d1)))) (cbrt (cbrt (cbrt d1))) (cbrt d1) (sqrt (cbrt (cbrt d1))) (sqrt (cbrt (cbrt d1))) (log (cbrt (cbrt d1))) (exp (cbrt (cbrt d1))) (cbrt (cbrt (pow d1 2/3))) (cbrt (cbrt (cbrt d1))) (cbrt (cbrt (sqrt d1))) (cbrt (cbrt (sqrt d1))) 1 (cbrt (cbrt d1)) (cbrt (* (cbrt (cbrt d1)) (cbrt (cbrt d1)))) (cbrt (cbrt (cbrt d1))) (cbrt (sqrt (cbrt d1))) (cbrt (sqrt (cbrt d1))) 1 (cbrt (cbrt d1)) (* (cbrt (cbrt (cbrt d1))) (cbrt (cbrt (cbrt d1)))) (cbrt (cbrt (cbrt d1))) (cbrt d1) (sqrt (cbrt (cbrt d1))) (sqrt (cbrt (cbrt d1))) (log (cbrt d1)) (exp (cbrt d1)) (cbrt (pow d1 2/3)) (cbrt (cbrt d1)) (cbrt (sqrt d1)) (cbrt (sqrt d1)) 1 (cbrt d1) (* (cbrt (cbrt d1)) (cbrt (cbrt d1))) (cbrt (cbrt d1)) d1 (sqrt (cbrt d1)) (sqrt (cbrt d1)) (log (cbrt d1)) (exp (cbrt d1)) (cbrt (pow d1 2/3)) (cbrt (cbrt d1)) (cbrt (sqrt d1)) (cbrt (sqrt d1)) 1 (cbrt d1) (* (cbrt (cbrt d1)) (cbrt (cbrt d1))) (cbrt (cbrt d1)) d1 (sqrt (cbrt d1)) (sqrt (cbrt d1)) (pow d1 1/9) (pow d1 1/9) (* (cbrt (cbrt -1)) (pow (/ -1 d1) -1/9)) (pow d1 1/9) (pow d1 1/9) (* (cbrt (cbrt -1)) (pow (/ -1 d1) -1/9)) (cbrt d1) (cbrt d1) (* (cbrt -1) (cbrt (* d1 -1))) (cbrt d1) (cbrt d1) (* (cbrt -1) (cbrt (* d1 -1))) 1.455 * * * [progress]: adding candidates to table 1.535 * [progress]: [Phase 3 of 3] Extracting. 1.535 * * [regime]: Finding splitpoints for: (# # # #) 1.536 * * * [regime-changes]: Trying 5 branch expressions: ((- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) d4 d3 d2 d1) 1.536 * * * * [regimes]: Trying to branch on (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) from (# # # #) 1.597 * * * * [regimes]: Trying to branch on d4 from (# # # #) 1.655 * * * * [regimes]: Trying to branch on d3 from (# # # #) 1.712 * * * * [regimes]: Trying to branch on d2 from (# # # #) 1.771 * * * * [regimes]: Trying to branch on d1 from (# # # #) 1.829 * * * [regime]: Found split indices: #