12.956 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.024 * * * [progress]: [2/2] Setting up program. 0.026 * [progress]: [Phase 2 of 3] Improving. 0.026 * [simplify]: Simplifying using # : (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) 0.027 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 0.029 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 0.033 * * [simplify]: iteration 2 : 80 enodes (cost 10 ) 0.045 * * [simplify]: iteration 3 : 227 enodes (cost 9 ) 0.092 * * [simplify]: iteration 4 : 498 enodes (cost 9 ) 0.271 * * [simplify]: iteration 5 : 871 enodes (cost 9 ) 0.468 * * [simplify]: iteration 6 : 1187 enodes (cost 9 ) 0.860 * * [simplify]: iteration 7 : 1649 enodes (cost 9 ) 1.519 * * [simplify]: iteration 8 : 2019 enodes (cost 9 ) 2.092 * * [simplify]: iteration 9 : 2027 enodes (cost 9 ) 2.655 * * [simplify]: iteration done : 2027 enodes (cost 9 ) 2.655 * [simplify]: Simplified to: (* d1 (+ (- d2 d3) (- d4 d1))) 2.658 * * [progress]: iteration 1 / 4 2.658 * * * [progress]: picking best candidate 2.661 * * * * [pick]: Picked # 2.661 * * * [progress]: localizing error 2.667 * * * [progress]: generating rewritten candidates 2.667 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 2.728 * * * [progress]: generating series expansions 2.728 * * * * [progress]: [ 1 / 1 ] generating series at (2) 2.728 * [approximate]: Taking taylor expansion of (* d1 (- (+ d4 d2) (+ d3 d1))) in (d1 d2 d3 d4) around 0 2.728 * [taylor]: Taking taylor expansion of (* d1 (- (+ d4 d2) (+ d3 d1))) in d4 2.728 * [taylor]: Taking taylor expansion of d1 in d4 2.728 * [taylor]: Taking taylor expansion of (- (+ d4 d2) (+ d3 d1)) in d4 2.728 * [taylor]: Taking taylor expansion of (+ d4 d2) in d4 2.728 * [taylor]: Taking taylor expansion of d4 in d4 2.728 * [taylor]: Taking taylor expansion of d2 in d4 2.728 * [taylor]: Taking taylor expansion of (+ d3 d1) in d4 2.728 * [taylor]: Taking taylor expansion of d3 in d4 2.728 * [taylor]: Taking taylor expansion of d1 in d4 2.728 * [taylor]: Taking taylor expansion of (* d1 (- (+ d4 d2) (+ d3 d1))) in d3 2.728 * [taylor]: Taking taylor expansion of d1 in d3 2.728 * [taylor]: Taking taylor expansion of (- (+ d4 d2) (+ d3 d1)) in d3 2.728 * [taylor]: Taking taylor expansion of (+ d4 d2) in d3 2.728 * [taylor]: Taking taylor expansion of d4 in d3 2.728 * [taylor]: Taking taylor expansion of d2 in d3 2.728 * [taylor]: Taking taylor expansion of (+ d3 d1) in d3 2.728 * [taylor]: Taking taylor expansion of d3 in d3 2.728 * [taylor]: Taking taylor expansion of d1 in d3 2.728 * [taylor]: Taking taylor expansion of (* d1 (- (+ d4 d2) (+ d3 d1))) in d2 2.728 * [taylor]: Taking taylor expansion of d1 in d2 2.728 * [taylor]: Taking taylor expansion of (- (+ d4 d2) (+ d3 d1)) in d2 2.728 * [taylor]: Taking taylor expansion of (+ d4 d2) in d2 2.728 * [taylor]: Taking taylor expansion of d4 in d2 2.728 * [taylor]: Taking taylor expansion of d2 in d2 2.728 * [taylor]: Taking taylor expansion of (+ d3 d1) in d2 2.728 * [taylor]: Taking taylor expansion of d3 in d2 2.728 * [taylor]: Taking taylor expansion of d1 in d2 2.728 * [taylor]: Taking taylor expansion of (* d1 (- (+ d4 d2) (+ d3 d1))) in d1 2.728 * [taylor]: Taking taylor expansion of d1 in d1 2.728 * [taylor]: Taking taylor expansion of (- (+ d4 d2) (+ d3 d1)) in d1 2.728 * [taylor]: Taking taylor expansion of (+ d4 d2) in d1 2.728 * [taylor]: Taking taylor expansion of d4 in d1 2.728 * [taylor]: Taking taylor expansion of d2 in d1 2.728 * [taylor]: Taking taylor expansion of (+ d3 d1) in d1 2.728 * [taylor]: Taking taylor expansion of d3 in d1 2.728 * [taylor]: Taking taylor expansion of d1 in d1 2.728 * [taylor]: Taking taylor expansion of (* d1 (- (+ d4 d2) (+ d3 d1))) in d1 2.728 * [taylor]: Taking taylor expansion of d1 in d1 2.728 * [taylor]: Taking taylor expansion of (- (+ d4 d2) (+ d3 d1)) in d1 2.729 * [taylor]: Taking taylor expansion of (+ d4 d2) in d1 2.729 * [taylor]: Taking taylor expansion of d4 in d1 2.729 * [taylor]: Taking taylor expansion of d2 in d1 2.729 * [taylor]: Taking taylor expansion of (+ d3 d1) in d1 2.729 * [taylor]: Taking taylor expansion of d3 in d1 2.729 * [taylor]: Taking taylor expansion of d1 in d1 2.729 * [taylor]: Taking taylor expansion of 0 in d2 2.729 * [taylor]: Taking taylor expansion of 0 in d3 2.729 * [taylor]: Taking taylor expansion of 0 in d4 2.730 * [taylor]: Taking taylor expansion of (- (+ d4 d2) d3) in d2 2.730 * [taylor]: Taking taylor expansion of (+ d4 d2) in d2 2.730 * [taylor]: Taking taylor expansion of d4 in d2 2.730 * [taylor]: Taking taylor expansion of d2 in d2 2.730 * [taylor]: Taking taylor expansion of d3 in d2 2.730 * [taylor]: Taking taylor expansion of (- d4 d3) in d3 2.731 * [taylor]: Taking taylor expansion of d4 in d3 2.731 * [taylor]: Taking taylor expansion of d3 in d3 2.731 * [taylor]: Taking taylor expansion of d4 in d4 2.731 * [taylor]: Taking taylor expansion of 0 in d3 2.731 * [taylor]: Taking taylor expansion of 0 in d4 2.731 * [taylor]: Taking taylor expansion of 0 in d4 2.732 * [taylor]: Taking taylor expansion of (- 1) in d2 2.732 * [taylor]: Taking taylor expansion of 1 in d2 2.733 * [taylor]: Taking taylor expansion of -1 in d3 2.733 * [taylor]: Taking taylor expansion of -1 in d4 2.734 * [taylor]: Taking taylor expansion of 1 in d3 2.734 * [taylor]: Taking taylor expansion of 1 in d4 2.734 * [taylor]: Taking taylor expansion of 0 in d3 2.734 * [taylor]: Taking taylor expansion of 0 in d4 2.734 * [taylor]: Taking taylor expansion of -1 in d4 2.735 * [approximate]: Taking taylor expansion of (/ (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) d1) in (d1 d2 d3 d4) around 0 2.735 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) d1) in d4 2.735 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) in d4 2.735 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d4 2.735 * [taylor]: Taking taylor expansion of (/ 1 d2) in d4 2.735 * [taylor]: Taking taylor expansion of d2 in d4 2.735 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 2.735 * [taylor]: Taking taylor expansion of d4 in d4 2.735 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d4 2.735 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4 2.735 * [taylor]: Taking taylor expansion of d1 in d4 2.735 * [taylor]: Taking taylor expansion of (/ 1 d3) in d4 2.735 * [taylor]: Taking taylor expansion of d3 in d4 2.735 * [taylor]: Taking taylor expansion of d1 in d4 2.736 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) d1) in d3 2.736 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) in d3 2.736 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d3 2.736 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 2.736 * [taylor]: Taking taylor expansion of d2 in d3 2.736 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 2.736 * [taylor]: Taking taylor expansion of d4 in d3 2.736 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d3 2.736 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 2.736 * [taylor]: Taking taylor expansion of d1 in d3 2.736 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 2.736 * [taylor]: Taking taylor expansion of d3 in d3 2.736 * [taylor]: Taking taylor expansion of d1 in d3 2.737 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) d1) in d2 2.737 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) in d2 2.737 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 2.737 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.737 * [taylor]: Taking taylor expansion of d2 in d2 2.737 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 2.737 * [taylor]: Taking taylor expansion of d4 in d2 2.738 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d2 2.738 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 2.738 * [taylor]: Taking taylor expansion of d1 in d2 2.738 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 2.738 * [taylor]: Taking taylor expansion of d3 in d2 2.738 * [taylor]: Taking taylor expansion of d1 in d2 2.738 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) d1) in d1 2.738 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) in d1 2.738 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d1 2.738 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 2.738 * [taylor]: Taking taylor expansion of d2 in d1 2.738 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 2.738 * [taylor]: Taking taylor expansion of d4 in d1 2.738 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d1 2.738 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 2.738 * [taylor]: Taking taylor expansion of d1 in d1 2.739 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 2.739 * [taylor]: Taking taylor expansion of d3 in d1 2.739 * [taylor]: Taking taylor expansion of d1 in d1 2.740 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) d1) in d1 2.740 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (+ (/ 1 d1) (/ 1 d3))) in d1 2.740 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d1 2.740 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 2.740 * [taylor]: Taking taylor expansion of d2 in d1 2.740 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 2.740 * [taylor]: Taking taylor expansion of d4 in d1 2.740 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d1 2.740 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 2.740 * [taylor]: Taking taylor expansion of d1 in d1 2.740 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 2.740 * [taylor]: Taking taylor expansion of d3 in d1 2.740 * [taylor]: Taking taylor expansion of d1 in d1 2.741 * [taylor]: Taking taylor expansion of -1 in d2 2.742 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2 2.742 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 2.742 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.742 * [taylor]: Taking taylor expansion of d2 in d2 2.743 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 2.743 * [taylor]: Taking taylor expansion of d4 in d2 2.743 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 2.743 * [taylor]: Taking taylor expansion of d3 in d2 2.743 * [taylor]: Taking taylor expansion of 1 in d3 2.743 * [taylor]: Taking taylor expansion of -1 in d3 2.746 * [taylor]: Taking taylor expansion of 0 in d2 2.746 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3 2.746 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 2.746 * [taylor]: Taking taylor expansion of d4 in d3 2.746 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 2.746 * [taylor]: Taking taylor expansion of d3 in d3 2.747 * [taylor]: Taking taylor expansion of -1 in d4 2.747 * [taylor]: Taking taylor expansion of 0 in d3 2.747 * [taylor]: Taking taylor expansion of 1 in d4 2.747 * [taylor]: Taking taylor expansion of -1 in d4 2.750 * [taylor]: Taking taylor expansion of 0 in d2 2.750 * [taylor]: Taking taylor expansion of 0 in d3 2.751 * [taylor]: Taking taylor expansion of 0 in d3 2.751 * [taylor]: Taking taylor expansion of 0 in d3 2.752 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 2.752 * [taylor]: Taking taylor expansion of d4 in d4 2.752 * [taylor]: Taking taylor expansion of 0 in d4 2.752 * [taylor]: Taking taylor expansion of 0 in d4 2.752 * [taylor]: Taking taylor expansion of 0 in d4 2.753 * [approximate]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1)) in (d1 d2 d3 d4) around 0 2.753 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1)) in d4 2.753 * [taylor]: Taking taylor expansion of -1 in d4 2.753 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1) in d4 2.753 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) in d4 2.753 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d4 2.753 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4 2.753 * [taylor]: Taking taylor expansion of d1 in d4 2.753 * [taylor]: Taking taylor expansion of (/ 1 d3) in d4 2.753 * [taylor]: Taking taylor expansion of d3 in d4 2.753 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d4 2.753 * [taylor]: Taking taylor expansion of (/ 1 d2) in d4 2.753 * [taylor]: Taking taylor expansion of d2 in d4 2.753 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 2.753 * [taylor]: Taking taylor expansion of d4 in d4 2.753 * [taylor]: Taking taylor expansion of d1 in d4 2.754 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1)) in d3 2.754 * [taylor]: Taking taylor expansion of -1 in d3 2.754 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1) in d3 2.754 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) in d3 2.754 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d3 2.754 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 2.754 * [taylor]: Taking taylor expansion of d1 in d3 2.754 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 2.754 * [taylor]: Taking taylor expansion of d3 in d3 2.755 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d3 2.755 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 2.755 * [taylor]: Taking taylor expansion of d2 in d3 2.755 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 2.755 * [taylor]: Taking taylor expansion of d4 in d3 2.755 * [taylor]: Taking taylor expansion of d1 in d3 2.755 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1)) in d2 2.755 * [taylor]: Taking taylor expansion of -1 in d2 2.755 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1) in d2 2.755 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) in d2 2.755 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d2 2.755 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 2.755 * [taylor]: Taking taylor expansion of d1 in d2 2.755 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 2.755 * [taylor]: Taking taylor expansion of d3 in d2 2.755 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 2.755 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.755 * [taylor]: Taking taylor expansion of d2 in d2 2.756 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 2.756 * [taylor]: Taking taylor expansion of d4 in d2 2.756 * [taylor]: Taking taylor expansion of d1 in d2 2.756 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1)) in d1 2.756 * [taylor]: Taking taylor expansion of -1 in d1 2.757 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1) in d1 2.757 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) in d1 2.757 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d1 2.757 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 2.757 * [taylor]: Taking taylor expansion of d1 in d1 2.757 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 2.757 * [taylor]: Taking taylor expansion of d3 in d1 2.757 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d1 2.757 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 2.757 * [taylor]: Taking taylor expansion of d2 in d1 2.757 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 2.757 * [taylor]: Taking taylor expansion of d4 in d1 2.757 * [taylor]: Taking taylor expansion of d1 in d1 2.758 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1)) in d1 2.758 * [taylor]: Taking taylor expansion of -1 in d1 2.758 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) d1) in d1 2.758 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d1) (/ 1 d3)) (+ (/ 1 d2) (/ 1 d4))) in d1 2.758 * [taylor]: Taking taylor expansion of (+ (/ 1 d1) (/ 1 d3)) in d1 2.758 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 2.758 * [taylor]: Taking taylor expansion of d1 in d1 2.758 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 2.758 * [taylor]: Taking taylor expansion of d3 in d1 2.758 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d1 2.758 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 2.758 * [taylor]: Taking taylor expansion of d2 in d1 2.758 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 2.758 * [taylor]: Taking taylor expansion of d4 in d1 2.758 * [taylor]: Taking taylor expansion of d1 in d1 2.759 * [taylor]: Taking taylor expansion of -1 in d2 2.761 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2 2.761 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 2.761 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.761 * [taylor]: Taking taylor expansion of d2 in d2 2.761 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 2.761 * [taylor]: Taking taylor expansion of d4 in d2 2.761 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 2.761 * [taylor]: Taking taylor expansion of d3 in d2 2.762 * [taylor]: Taking taylor expansion of 1 in d3 2.762 * [taylor]: Taking taylor expansion of -1 in d3 2.765 * [taylor]: Taking taylor expansion of 0 in d2 2.765 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3 2.765 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 2.765 * [taylor]: Taking taylor expansion of d4 in d3 2.765 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 2.765 * [taylor]: Taking taylor expansion of d3 in d3 2.766 * [taylor]: Taking taylor expansion of -1 in d4 2.766 * [taylor]: Taking taylor expansion of 0 in d3 2.766 * [taylor]: Taking taylor expansion of 1 in d4 2.766 * [taylor]: Taking taylor expansion of -1 in d4 2.770 * [taylor]: Taking taylor expansion of 0 in d2 2.770 * [taylor]: Taking taylor expansion of 0 in d3 2.771 * [taylor]: Taking taylor expansion of 0 in d3 2.771 * [taylor]: Taking taylor expansion of 0 in d3 2.772 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 2.772 * [taylor]: Taking taylor expansion of d4 in d4 2.772 * [taylor]: Taking taylor expansion of 0 in d4 2.772 * [taylor]: Taking taylor expansion of 0 in d4 2.772 * [taylor]: Taking taylor expansion of 0 in d4 2.773 * * * [progress]: simplifying candidates 2.773 * [simplify]: Simplifying using # : (expm1 (* d1 (+ (- d2 d3) (- d4 d1)))) (log1p (* d1 (+ (- d2 d3) (- d4 d1)))) (* d1 (+ (- d2 d3) (- d4 d1))) (+ (log d1) (log (+ (- d2 d3) (- d4 d1)))) (log (* d1 (+ (- d2 d3) (- d4 d1)))) (exp (* d1 (+ (- d2 d3) (- d4 d1)))) (* (* (* d1 d1) d1) (* (* (+ (- d2 d3) (- d4 d1)) (+ (- d2 d3) (- d4 d1))) (+ (- d2 d3) (- d4 d1)))) (* (cbrt (* d1 (+ (- d2 d3) (- d4 d1)))) (cbrt (* d1 (+ (- d2 d3) (- d4 d1))))) (cbrt (* d1 (+ (- d2 d3) (- d4 d1)))) (* (* (* d1 (+ (- d2 d3) (- d4 d1))) (* d1 (+ (- d2 d3) (- d4 d1)))) (* d1 (+ (- d2 d3) (- d4 d1)))) (sqrt (* d1 (+ (- d2 d3) (- d4 d1)))) (sqrt (* d1 (+ (- d2 d3) (- d4 d1)))) (* (sqrt d1) (sqrt (+ (- d2 d3) (- d4 d1)))) (* (sqrt d1) (sqrt (+ (- d2 d3) (- d4 d1)))) (* d1 (- d2 d3)) (* d1 (- d4 d1)) (* (- d2 d3) d1) (* (- d4 d1) d1) (* d1 (* (cbrt (+ (- d2 d3) (- d4 d1))) (cbrt (+ (- d2 d3) (- d4 d1))))) (* d1 (sqrt (+ (- d2 d3) (- d4 d1)))) (* d1 1) (* d1 1) (* d1 1) (* d1 1) (* d1 1) (* (cbrt d1) (+ (- d2 d3) (- d4 d1))) (* (sqrt d1) (+ (- d2 d3) (- d4 d1))) (* d1 (+ (- d2 d3) (- d4 d1))) (* d1 (+ (* (- (pow d2 3) (pow d3 3)) (+ (* d4 d4) (+ (* d1 d1) (* d4 d1)))) (* (+ (* d2 d2) (+ (* d3 d3) (* d2 d3))) (- (pow d4 3) (pow d1 3))))) (* d1 (+ (* (- (pow d2 3) (pow d3 3)) (+ d4 d1)) (* (+ (* d2 d2) (+ (* d3 d3) (* d2 d3))) (- (* d4 d4) (* d1 d1))))) (* d1 (+ (* (- (* d2 d2) (* d3 d3)) (+ (* d4 d4) (+ (* d1 d1) (* d4 d1)))) (* (+ d2 d3) (- (pow d4 3) (pow d1 3))))) (* d1 (+ (* (- (* d2 d2) (* d3 d3)) (+ d4 d1)) (* (+ d2 d3) (- (* d4 d4) (* d1 d1))))) (* d1 (+ (pow (- d2 d3) 3) (pow (- d4 d1) 3))) (* d1 (- (* (- d2 d3) (- d2 d3)) (* (- d4 d1) (- d4 d1)))) (- (* d1 d2) (+ (pow d1 2) (* d1 d3))) (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) 2.776 * * [simplify]: iteration 0 : 94 enodes (cost 479 ) 2.800 * * [simplify]: iteration 1 : 311 enodes (cost 446 ) 2.871 * * [simplify]: iteration 2 : 1297 enodes (cost 406 ) 3.287 * * [simplify]: iteration done : 5000 enodes (cost 395 ) 3.288 * [simplify]: Simplified to: (expm1 (* d1 (+ (- d2 d3) (- d4 d1)))) (log1p (* d1 (+ (- d2 d3) (- d4 d1)))) (* d1 (+ (- d2 d3) (- d4 d1))) (log (* d1 (+ (- d2 d3) (- d4 d1)))) (log (* d1 (+ (- d2 d3) (- d4 d1)))) (exp (* d1 (+ (- d2 d3) (- d4 d1)))) (pow (* d1 (+ (- d2 d3) (- d4 d1))) 3) (* (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)))) (* (sqrt d1) (sqrt (+ (- d2 d3) (- d4 d1)))) (* (sqrt d1) (sqrt (+ (- d2 d3) (- d4 d1)))) (* d1 (- d2 d3)) (* d1 (- d4 d1)) (* d1 (- d2 d3)) (* d1 (- d4 d1)) (* d1 (* (cbrt (+ (- d2 d3) (- d4 d1))) (cbrt (+ (- d2 d3) (- d4 d1))))) (* d1 (sqrt (+ (- d2 d3) (- d4 d1)))) d1 d1 d1 d1 d1 (* (cbrt d1) (+ (- d2 d3) (- d4 d1))) (* (sqrt d1) (+ (- d2 d3) (- d4 d1))) (* d1 (+ (- d2 d3) (- d4 d1))) (* (fma (- (pow d2 3) (pow d3 3)) (fma d4 d4 (* d1 (+ d4 d1))) (* (- (pow d4 3) (pow d1 3)) (fma d2 d2 (* d3 (+ d2 d3))))) d1) (* (* (+ d4 d1) (+ (* (- d4 d1) (fma d2 d2 (* d3 (+ d2 d3)))) (- (pow d2 3) (pow d3 3)))) d1) (* d1 (* (+ d2 d3) (+ (* (- d2 d3) (fma d4 d4 (* d1 (+ d4 d1)))) (- (pow d4 3) (pow d1 3))))) (* (* (+ d4 d1) (+ (* (- d4 d1) (+ d2 d3)) (- (* d2 d2) (* d3 d3)))) d1) (* d1 (+ (pow (- d2 d3) 3) (pow (- d4 d1) 3))) (* d1 (- (* (- d2 d3) (- d2 d3)) (* (- d4 d1) (- d4 d1)))) (* d1 (- (- d2 d3) d1)) (* d1 (- (+ d4 d2) d3)) (* d1 (- (+ d4 d2) d3)) 3.288 * * * [progress]: adding candidates to table 3.356 * * [progress]: iteration 2 / 4 3.356 * * * [progress]: picking best candidate 3.365 * * * * [pick]: Picked # 3.365 * * * [progress]: localizing error 3.373 * * * [progress]: generating rewritten candidates 3.373 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 3.385 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 3.397 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 3.415 * * * [progress]: generating series expansions 3.415 * * * * [progress]: [ 1 / 3 ] generating series at (2) 3.415 * [approximate]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (+ (pow d1 2) (* d1 d3))) in (d1 d2 d3 d4) around 0 3.415 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (+ (pow d1 2) (* d1 d3))) in d4 3.415 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d4 3.415 * [taylor]: Taking taylor expansion of (* d1 d4) in d4 3.415 * [taylor]: Taking taylor expansion of d1 in d4 3.415 * [taylor]: Taking taylor expansion of d4 in d4 3.415 * [taylor]: Taking taylor expansion of (* d1 d2) in d4 3.415 * [taylor]: Taking taylor expansion of d1 in d4 3.415 * [taylor]: Taking taylor expansion of d2 in d4 3.415 * [taylor]: Taking taylor expansion of (+ (pow d1 2) (* d1 d3)) in d4 3.415 * [taylor]: Taking taylor expansion of (pow d1 2) in d4 3.415 * [taylor]: Taking taylor expansion of d1 in d4 3.415 * [taylor]: Taking taylor expansion of (* d1 d3) in d4 3.415 * [taylor]: Taking taylor expansion of d1 in d4 3.415 * [taylor]: Taking taylor expansion of d3 in d4 3.416 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (+ (pow d1 2) (* d1 d3))) in d3 3.416 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d3 3.416 * [taylor]: Taking taylor expansion of (* d1 d4) in d3 3.416 * [taylor]: Taking taylor expansion of d1 in d3 3.416 * [taylor]: Taking taylor expansion of d4 in d3 3.416 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 3.416 * [taylor]: Taking taylor expansion of d1 in d3 3.416 * [taylor]: Taking taylor expansion of d2 in d3 3.416 * [taylor]: Taking taylor expansion of (+ (pow d1 2) (* d1 d3)) in d3 3.416 * [taylor]: Taking taylor expansion of (pow d1 2) in d3 3.416 * [taylor]: Taking taylor expansion of d1 in d3 3.416 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 3.416 * [taylor]: Taking taylor expansion of d1 in d3 3.416 * [taylor]: Taking taylor expansion of d3 in d3 3.416 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (+ (pow d1 2) (* d1 d3))) in d2 3.416 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d2 3.416 * [taylor]: Taking taylor expansion of (* d1 d4) in d2 3.416 * [taylor]: Taking taylor expansion of d1 in d2 3.416 * [taylor]: Taking taylor expansion of d4 in d2 3.416 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 3.416 * [taylor]: Taking taylor expansion of d1 in d2 3.416 * [taylor]: Taking taylor expansion of d2 in d2 3.416 * [taylor]: Taking taylor expansion of (+ (pow d1 2) (* d1 d3)) in d2 3.416 * [taylor]: Taking taylor expansion of (pow d1 2) in d2 3.416 * [taylor]: Taking taylor expansion of d1 in d2 3.416 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 3.416 * [taylor]: Taking taylor expansion of d1 in d2 3.416 * [taylor]: Taking taylor expansion of d3 in d2 3.416 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (+ (pow d1 2) (* d1 d3))) in d1 3.416 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d1 3.416 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 3.416 * [taylor]: Taking taylor expansion of d1 in d1 3.416 * [taylor]: Taking taylor expansion of d4 in d1 3.416 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 3.416 * [taylor]: Taking taylor expansion of d1 in d1 3.416 * [taylor]: Taking taylor expansion of d2 in d1 3.416 * [taylor]: Taking taylor expansion of (+ (pow d1 2) (* d1 d3)) in d1 3.416 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 3.416 * [taylor]: Taking taylor expansion of d1 in d1 3.416 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 3.416 * [taylor]: Taking taylor expansion of d1 in d1 3.416 * [taylor]: Taking taylor expansion of d3 in d1 3.416 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (+ (pow d1 2) (* d1 d3))) in d1 3.416 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d1 3.416 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 3.416 * [taylor]: Taking taylor expansion of d1 in d1 3.416 * [taylor]: Taking taylor expansion of d4 in d1 3.416 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 3.416 * [taylor]: Taking taylor expansion of d1 in d1 3.416 * [taylor]: Taking taylor expansion of d2 in d1 3.416 * [taylor]: Taking taylor expansion of (+ (pow d1 2) (* d1 d3)) in d1 3.416 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 3.416 * [taylor]: Taking taylor expansion of d1 in d1 3.416 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 3.416 * [taylor]: Taking taylor expansion of d1 in d1 3.416 * [taylor]: Taking taylor expansion of d3 in d1 3.418 * [taylor]: Taking taylor expansion of 0 in d2 3.418 * [taylor]: Taking taylor expansion of 0 in d3 3.418 * [taylor]: Taking taylor expansion of 0 in d4 3.418 * [taylor]: Taking taylor expansion of (- (+ d2 d4) d3) in d2 3.419 * [taylor]: Taking taylor expansion of (+ d2 d4) in d2 3.419 * [taylor]: Taking taylor expansion of d2 in d2 3.419 * [taylor]: Taking taylor expansion of d4 in d2 3.419 * [taylor]: Taking taylor expansion of d3 in d2 3.419 * [taylor]: Taking taylor expansion of (- d4 d3) in d3 3.419 * [taylor]: Taking taylor expansion of d4 in d3 3.419 * [taylor]: Taking taylor expansion of d3 in d3 3.419 * [taylor]: Taking taylor expansion of d4 in d4 3.419 * [taylor]: Taking taylor expansion of 0 in d3 3.419 * [taylor]: Taking taylor expansion of 0 in d4 3.419 * [taylor]: Taking taylor expansion of 0 in d4 3.422 * [taylor]: Taking taylor expansion of -1 in d2 3.422 * [taylor]: Taking taylor expansion of -1 in d3 3.422 * [taylor]: Taking taylor expansion of -1 in d4 3.422 * [taylor]: Taking taylor expansion of 1 in d3 3.422 * [taylor]: Taking taylor expansion of 1 in d4 3.422 * [taylor]: Taking taylor expansion of 0 in d3 3.422 * [taylor]: Taking taylor expansion of 0 in d4 3.423 * [taylor]: Taking taylor expansion of -1 in d4 3.423 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in (d1 d2 d3 d4) around 0 3.423 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d4 3.424 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d4 3.424 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d4 3.424 * [taylor]: Taking taylor expansion of (* d1 d4) in d4 3.424 * [taylor]: Taking taylor expansion of d1 in d4 3.424 * [taylor]: Taking taylor expansion of d4 in d4 3.424 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d4 3.424 * [taylor]: Taking taylor expansion of (* d1 d2) in d4 3.424 * [taylor]: Taking taylor expansion of d1 in d4 3.424 * [taylor]: Taking taylor expansion of d2 in d4 3.424 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d4 3.424 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d4 3.424 * [taylor]: Taking taylor expansion of (pow d1 2) in d4 3.424 * [taylor]: Taking taylor expansion of d1 in d4 3.424 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d4 3.424 * [taylor]: Taking taylor expansion of (* d1 d3) in d4 3.424 * [taylor]: Taking taylor expansion of d1 in d4 3.424 * [taylor]: Taking taylor expansion of d3 in d4 3.424 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d3 3.424 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d3 3.424 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d3 3.424 * [taylor]: Taking taylor expansion of (* d1 d4) in d3 3.424 * [taylor]: Taking taylor expansion of d1 in d3 3.424 * [taylor]: Taking taylor expansion of d4 in d3 3.424 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3 3.424 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 3.424 * [taylor]: Taking taylor expansion of d1 in d3 3.424 * [taylor]: Taking taylor expansion of d2 in d3 3.425 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d3 3.425 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d3 3.425 * [taylor]: Taking taylor expansion of (pow d1 2) in d3 3.425 * [taylor]: Taking taylor expansion of d1 in d3 3.425 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3 3.425 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 3.425 * [taylor]: Taking taylor expansion of d1 in d3 3.425 * [taylor]: Taking taylor expansion of d3 in d3 3.425 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d2 3.425 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d2 3.425 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d2 3.425 * [taylor]: Taking taylor expansion of (* d1 d4) in d2 3.425 * [taylor]: Taking taylor expansion of d1 in d2 3.425 * [taylor]: Taking taylor expansion of d4 in d2 3.425 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2 3.425 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 3.425 * [taylor]: Taking taylor expansion of d1 in d2 3.425 * [taylor]: Taking taylor expansion of d2 in d2 3.425 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d2 3.426 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d2 3.426 * [taylor]: Taking taylor expansion of (pow d1 2) in d2 3.426 * [taylor]: Taking taylor expansion of d1 in d2 3.426 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2 3.426 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 3.426 * [taylor]: Taking taylor expansion of d1 in d2 3.426 * [taylor]: Taking taylor expansion of d3 in d2 3.426 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d1 3.426 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d1 3.426 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 3.426 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 3.426 * [taylor]: Taking taylor expansion of d1 in d1 3.426 * [taylor]: Taking taylor expansion of d4 in d1 3.426 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 3.426 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 3.426 * [taylor]: Taking taylor expansion of d1 in d1 3.426 * [taylor]: Taking taylor expansion of d2 in d1 3.427 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d1 3.427 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1 3.427 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 3.427 * [taylor]: Taking taylor expansion of d1 in d1 3.427 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 3.427 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 3.427 * [taylor]: Taking taylor expansion of d1 in d1 3.427 * [taylor]: Taking taylor expansion of d3 in d1 3.427 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d1 3.427 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d1 3.427 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 3.427 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 3.427 * [taylor]: Taking taylor expansion of d1 in d1 3.427 * [taylor]: Taking taylor expansion of d4 in d1 3.428 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 3.428 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 3.428 * [taylor]: Taking taylor expansion of d1 in d1 3.428 * [taylor]: Taking taylor expansion of d2 in d1 3.428 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d1 3.428 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1 3.428 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 3.428 * [taylor]: Taking taylor expansion of d1 in d1 3.429 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 3.429 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 3.429 * [taylor]: Taking taylor expansion of d1 in d1 3.429 * [taylor]: Taking taylor expansion of d3 in d1 3.430 * [taylor]: Taking taylor expansion of -1 in d2 3.431 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2 3.431 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 3.431 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 3.431 * [taylor]: Taking taylor expansion of d2 in d2 3.431 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 3.431 * [taylor]: Taking taylor expansion of d4 in d2 3.431 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 3.431 * [taylor]: Taking taylor expansion of d3 in d2 3.432 * [taylor]: Taking taylor expansion of 1 in d3 3.432 * [taylor]: Taking taylor expansion of -1 in d3 3.439 * [taylor]: Taking taylor expansion of 0 in d2 3.440 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3 3.440 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 3.440 * [taylor]: Taking taylor expansion of d4 in d3 3.440 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 3.440 * [taylor]: Taking taylor expansion of d3 in d3 3.440 * [taylor]: Taking taylor expansion of -1 in d4 3.440 * [taylor]: Taking taylor expansion of 0 in d3 3.440 * [taylor]: Taking taylor expansion of 1 in d4 3.440 * [taylor]: Taking taylor expansion of -1 in d4 3.445 * [taylor]: Taking taylor expansion of 0 in d2 3.445 * [taylor]: Taking taylor expansion of 0 in d3 3.446 * [taylor]: Taking taylor expansion of 0 in d3 3.446 * [taylor]: Taking taylor expansion of 0 in d3 3.447 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 3.447 * [taylor]: Taking taylor expansion of d4 in d4 3.447 * [taylor]: Taking taylor expansion of 0 in d4 3.447 * [taylor]: Taking taylor expansion of 0 in d4 3.447 * [taylor]: Taking taylor expansion of 0 in d4 3.448 * [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 3.448 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d4 3.448 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d4 3.448 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d4 3.448 * [taylor]: Taking taylor expansion of (* d1 d2) in d4 3.448 * [taylor]: Taking taylor expansion of d1 in d4 3.448 * [taylor]: Taking taylor expansion of d2 in d4 3.448 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d4 3.448 * [taylor]: Taking taylor expansion of (* d1 d4) in d4 3.448 * [taylor]: Taking taylor expansion of d1 in d4 3.448 * [taylor]: Taking taylor expansion of d4 in d4 3.448 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d4 3.448 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d4 3.448 * [taylor]: Taking taylor expansion of (pow d1 2) in d4 3.448 * [taylor]: Taking taylor expansion of d1 in d4 3.448 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d4 3.448 * [taylor]: Taking taylor expansion of (* d1 d3) in d4 3.448 * [taylor]: Taking taylor expansion of d1 in d4 3.448 * [taylor]: Taking taylor expansion of d3 in d4 3.448 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d3 3.448 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d3 3.449 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3 3.449 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 3.449 * [taylor]: Taking taylor expansion of d1 in d3 3.449 * [taylor]: Taking taylor expansion of d2 in d3 3.449 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d3 3.449 * [taylor]: Taking taylor expansion of (* d1 d4) in d3 3.449 * [taylor]: Taking taylor expansion of d1 in d3 3.449 * [taylor]: Taking taylor expansion of d4 in d3 3.449 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d3 3.449 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d3 3.449 * [taylor]: Taking taylor expansion of (pow d1 2) in d3 3.449 * [taylor]: Taking taylor expansion of d1 in d3 3.449 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3 3.449 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 3.449 * [taylor]: Taking taylor expansion of d1 in d3 3.449 * [taylor]: Taking taylor expansion of d3 in d3 3.449 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d2 3.449 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d2 3.449 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2 3.449 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 3.449 * [taylor]: Taking taylor expansion of d1 in d2 3.449 * [taylor]: Taking taylor expansion of d2 in d2 3.450 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d2 3.450 * [taylor]: Taking taylor expansion of (* d1 d4) in d2 3.450 * [taylor]: Taking taylor expansion of d1 in d2 3.450 * [taylor]: Taking taylor expansion of d4 in d2 3.450 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d2 3.450 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d2 3.450 * [taylor]: Taking taylor expansion of (pow d1 2) in d2 3.450 * [taylor]: Taking taylor expansion of d1 in d2 3.450 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2 3.450 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 3.450 * [taylor]: Taking taylor expansion of d1 in d2 3.450 * [taylor]: Taking taylor expansion of d3 in d2 3.450 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d1 3.450 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d1 3.450 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 3.450 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 3.450 * [taylor]: Taking taylor expansion of d1 in d1 3.450 * [taylor]: Taking taylor expansion of d2 in d1 3.450 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 3.450 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 3.450 * [taylor]: Taking taylor expansion of d1 in d1 3.450 * [taylor]: Taking taylor expansion of d4 in d1 3.451 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d1 3.451 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1 3.451 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 3.451 * [taylor]: Taking taylor expansion of d1 in d1 3.451 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 3.451 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 3.451 * [taylor]: Taking taylor expansion of d1 in d1 3.451 * [taylor]: Taking taylor expansion of d3 in d1 3.452 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d1 3.452 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d1 3.452 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 3.452 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 3.452 * [taylor]: Taking taylor expansion of d1 in d1 3.452 * [taylor]: Taking taylor expansion of d2 in d1 3.452 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 3.452 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 3.452 * [taylor]: Taking taylor expansion of d1 in d1 3.452 * [taylor]: Taking taylor expansion of d4 in d1 3.452 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d1 3.452 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1 3.452 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 3.452 * [taylor]: Taking taylor expansion of d1 in d1 3.453 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 3.453 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 3.453 * [taylor]: Taking taylor expansion of d1 in d1 3.453 * [taylor]: Taking taylor expansion of d3 in d1 3.454 * [taylor]: Taking taylor expansion of -1 in d2 3.455 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2 3.455 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 3.455 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 3.455 * [taylor]: Taking taylor expansion of d2 in d2 3.455 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 3.455 * [taylor]: Taking taylor expansion of d4 in d2 3.455 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 3.455 * [taylor]: Taking taylor expansion of d3 in d2 3.456 * [taylor]: Taking taylor expansion of 1 in d3 3.456 * [taylor]: Taking taylor expansion of -1 in d3 3.459 * [taylor]: Taking taylor expansion of 0 in d2 3.460 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3 3.460 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 3.460 * [taylor]: Taking taylor expansion of d4 in d3 3.460 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 3.460 * [taylor]: Taking taylor expansion of d3 in d3 3.461 * [taylor]: Taking taylor expansion of -1 in d4 3.461 * [taylor]: Taking taylor expansion of 0 in d3 3.461 * [taylor]: Taking taylor expansion of 1 in d4 3.461 * [taylor]: Taking taylor expansion of -1 in d4 3.465 * [taylor]: Taking taylor expansion of 0 in d2 3.465 * [taylor]: Taking taylor expansion of 0 in d3 3.466 * [taylor]: Taking taylor expansion of 0 in d3 3.466 * [taylor]: Taking taylor expansion of 0 in d3 3.467 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 3.467 * [taylor]: Taking taylor expansion of d4 in d4 3.467 * [taylor]: Taking taylor expansion of 0 in d4 3.467 * [taylor]: Taking taylor expansion of 0 in d4 3.467 * [taylor]: Taking taylor expansion of 0 in d4 3.468 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 3.468 * [approximate]: Taking taylor expansion of (* d1 (- d4 d1)) in (d1 d4) around 0 3.468 * [taylor]: Taking taylor expansion of (* d1 (- d4 d1)) in d4 3.468 * [taylor]: Taking taylor expansion of d1 in d4 3.468 * [taylor]: Taking taylor expansion of (- d4 d1) in d4 3.468 * [taylor]: Taking taylor expansion of d4 in d4 3.468 * [taylor]: Taking taylor expansion of d1 in d4 3.468 * [taylor]: Taking taylor expansion of (* d1 (- d4 d1)) in d1 3.468 * [taylor]: Taking taylor expansion of d1 in d1 3.468 * [taylor]: Taking taylor expansion of (- d4 d1) in d1 3.468 * [taylor]: Taking taylor expansion of d4 in d1 3.468 * [taylor]: Taking taylor expansion of d1 in d1 3.468 * [taylor]: Taking taylor expansion of (* d1 (- d4 d1)) in d1 3.468 * [taylor]: Taking taylor expansion of d1 in d1 3.468 * [taylor]: Taking taylor expansion of (- d4 d1) in d1 3.468 * [taylor]: Taking taylor expansion of d4 in d1 3.468 * [taylor]: Taking taylor expansion of d1 in d1 3.468 * [taylor]: Taking taylor expansion of 0 in d4 3.469 * [taylor]: Taking taylor expansion of d4 in d4 3.470 * [taylor]: Taking taylor expansion of (- 1) in d4 3.470 * [taylor]: Taking taylor expansion of 1 in d4 3.472 * [taylor]: Taking taylor expansion of 0 in d4 3.473 * [taylor]: Taking taylor expansion of 0 in d4 3.474 * [approximate]: Taking taylor expansion of (/ (- (/ 1 d4) (/ 1 d1)) d1) in (d1 d4) around 0 3.474 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d4) (/ 1 d1)) d1) in d4 3.474 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d1)) in d4 3.474 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 3.474 * [taylor]: Taking taylor expansion of d4 in d4 3.474 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4 3.474 * [taylor]: Taking taylor expansion of d1 in d4 3.474 * [taylor]: Taking taylor expansion of d1 in d4 3.474 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d4) (/ 1 d1)) d1) in d1 3.474 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d1)) in d1 3.474 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 3.474 * [taylor]: Taking taylor expansion of d4 in d1 3.474 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 3.474 * [taylor]: Taking taylor expansion of d1 in d1 3.475 * [taylor]: Taking taylor expansion of d1 in d1 3.475 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d4) (/ 1 d1)) d1) in d1 3.475 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d1)) in d1 3.475 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 3.475 * [taylor]: Taking taylor expansion of d4 in d1 3.475 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 3.475 * [taylor]: Taking taylor expansion of d1 in d1 3.476 * [taylor]: Taking taylor expansion of d1 in d1 3.477 * [taylor]: Taking taylor expansion of -1 in d4 3.478 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 3.478 * [taylor]: Taking taylor expansion of d4 in d4 3.480 * [taylor]: Taking taylor expansion of 0 in d4 3.482 * [taylor]: Taking taylor expansion of 0 in d4 3.485 * [taylor]: Taking taylor expansion of 0 in d4 3.486 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1)) in (d1 d4) around 0 3.486 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1)) in d4 3.486 * [taylor]: Taking taylor expansion of -1 in d4 3.486 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d1) (/ 1 d4)) d1) in d4 3.486 * [taylor]: Taking taylor expansion of (- (/ 1 d1) (/ 1 d4)) in d4 3.486 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4 3.486 * [taylor]: Taking taylor expansion of d1 in d4 3.486 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 3.486 * [taylor]: Taking taylor expansion of d4 in d4 3.486 * [taylor]: Taking taylor expansion of d1 in d4 3.487 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1)) in d1 3.487 * [taylor]: Taking taylor expansion of -1 in d1 3.487 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d1) (/ 1 d4)) d1) in d1 3.487 * [taylor]: Taking taylor expansion of (- (/ 1 d1) (/ 1 d4)) in d1 3.487 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 3.487 * [taylor]: Taking taylor expansion of d1 in d1 3.487 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 3.487 * [taylor]: Taking taylor expansion of d4 in d1 3.487 * [taylor]: Taking taylor expansion of d1 in d1 3.488 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1)) in d1 3.488 * [taylor]: Taking taylor expansion of -1 in d1 3.488 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d1) (/ 1 d4)) d1) in d1 3.488 * [taylor]: Taking taylor expansion of (- (/ 1 d1) (/ 1 d4)) in d1 3.488 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 3.488 * [taylor]: Taking taylor expansion of d1 in d1 3.488 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 3.488 * [taylor]: Taking taylor expansion of d4 in d1 3.488 * [taylor]: Taking taylor expansion of d1 in d1 3.489 * [taylor]: Taking taylor expansion of -1 in d4 3.490 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 3.490 * [taylor]: Taking taylor expansion of d4 in d4 3.493 * [taylor]: Taking taylor expansion of 0 in d4 3.496 * [taylor]: Taking taylor expansion of 0 in d4 3.500 * [taylor]: Taking taylor expansion of 0 in d4 3.500 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 3.500 * [approximate]: Taking taylor expansion of (* d1 (- d2 d3)) in (d1 d2 d3) around 0 3.500 * [taylor]: Taking taylor expansion of (* d1 (- d2 d3)) in d3 3.500 * [taylor]: Taking taylor expansion of d1 in d3 3.501 * [taylor]: Taking taylor expansion of (- d2 d3) in d3 3.501 * [taylor]: Taking taylor expansion of d2 in d3 3.501 * [taylor]: Taking taylor expansion of d3 in d3 3.501 * [taylor]: Taking taylor expansion of (* d1 (- d2 d3)) in d2 3.501 * [taylor]: Taking taylor expansion of d1 in d2 3.501 * [taylor]: Taking taylor expansion of (- d2 d3) in d2 3.501 * [taylor]: Taking taylor expansion of d2 in d2 3.501 * [taylor]: Taking taylor expansion of d3 in d2 3.501 * [taylor]: Taking taylor expansion of (* d1 (- d2 d3)) in d1 3.501 * [taylor]: Taking taylor expansion of d1 in d1 3.501 * [taylor]: Taking taylor expansion of (- d2 d3) in d1 3.501 * [taylor]: Taking taylor expansion of d2 in d1 3.501 * [taylor]: Taking taylor expansion of d3 in d1 3.501 * [taylor]: Taking taylor expansion of (* d1 (- d2 d3)) in d1 3.501 * [taylor]: Taking taylor expansion of d1 in d1 3.501 * [taylor]: Taking taylor expansion of (- d2 d3) in d1 3.501 * [taylor]: Taking taylor expansion of d2 in d1 3.501 * [taylor]: Taking taylor expansion of d3 in d1 3.501 * [taylor]: Taking taylor expansion of 0 in d2 3.501 * [taylor]: Taking taylor expansion of 0 in d3 3.502 * [taylor]: Taking taylor expansion of (- d2 d3) in d2 3.502 * [taylor]: Taking taylor expansion of d2 in d2 3.502 * [taylor]: Taking taylor expansion of d3 in d2 3.502 * [taylor]: Taking taylor expansion of (- d3) in d3 3.502 * [taylor]: Taking taylor expansion of d3 in d3 3.502 * [taylor]: Taking taylor expansion of 0 in d3 3.503 * [taylor]: Taking taylor expansion of 0 in d2 3.503 * [taylor]: Taking taylor expansion of 0 in d3 3.503 * [taylor]: Taking taylor expansion of 1 in d3 3.503 * [taylor]: Taking taylor expansion of 0 in d3 3.505 * [taylor]: Taking taylor expansion of 0 in d2 3.505 * [taylor]: Taking taylor expansion of 0 in d3 3.505 * [taylor]: Taking taylor expansion of 0 in d3 3.505 * [taylor]: Taking taylor expansion of 0 in d3 3.505 * [taylor]: Taking taylor expansion of 0 in d3 3.506 * [approximate]: Taking taylor expansion of (/ (- (/ 1 d2) (/ 1 d3)) d1) in (d1 d2 d3) around 0 3.506 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d2) (/ 1 d3)) d1) in d3 3.506 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d3 3.506 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 3.506 * [taylor]: Taking taylor expansion of d2 in d3 3.506 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 3.506 * [taylor]: Taking taylor expansion of d3 in d3 3.506 * [taylor]: Taking taylor expansion of d1 in d3 3.507 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d2) (/ 1 d3)) d1) in d2 3.507 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d2 3.507 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 3.507 * [taylor]: Taking taylor expansion of d2 in d2 3.507 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 3.507 * [taylor]: Taking taylor expansion of d3 in d2 3.507 * [taylor]: Taking taylor expansion of d1 in d2 3.507 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d2) (/ 1 d3)) d1) in d1 3.507 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d1 3.507 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 3.507 * [taylor]: Taking taylor expansion of d2 in d1 3.507 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 3.507 * [taylor]: Taking taylor expansion of d3 in d1 3.507 * [taylor]: Taking taylor expansion of d1 in d1 3.508 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d2) (/ 1 d3)) d1) in d1 3.508 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d1 3.508 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 3.508 * [taylor]: Taking taylor expansion of d2 in d1 3.508 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 3.508 * [taylor]: Taking taylor expansion of d3 in d1 3.508 * [taylor]: Taking taylor expansion of d1 in d1 3.508 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d2 3.508 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 3.508 * [taylor]: Taking taylor expansion of d2 in d2 3.508 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 3.508 * [taylor]: Taking taylor expansion of d3 in d2 3.508 * [taylor]: Taking taylor expansion of 1 in d3 3.510 * [taylor]: Taking taylor expansion of 0 in d2 3.510 * [taylor]: Taking taylor expansion of (- (/ 1 d3)) in d3 3.510 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 3.510 * [taylor]: Taking taylor expansion of d3 in d3 3.512 * [taylor]: Taking taylor expansion of 0 in d2 3.512 * [taylor]: Taking taylor expansion of 0 in d3 3.513 * [taylor]: Taking taylor expansion of 0 in d3 3.515 * [taylor]: Taking taylor expansion of 0 in d2 3.516 * [taylor]: Taking taylor expansion of 0 in d3 3.516 * [taylor]: Taking taylor expansion of 0 in d3 3.519 * [taylor]: Taking taylor expansion of 0 in d3 3.520 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 d3) (/ 1 d2)) d1)) in (d1 d2 d3) around 0 3.520 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 d3) (/ 1 d2)) d1)) in d3 3.520 * [taylor]: Taking taylor expansion of -1 in d3 3.520 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d3) (/ 1 d2)) d1) in d3 3.520 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d3 3.521 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 3.521 * [taylor]: Taking taylor expansion of d3 in d3 3.521 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 3.521 * [taylor]: Taking taylor expansion of d2 in d3 3.521 * [taylor]: Taking taylor expansion of d1 in d3 3.521 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 d3) (/ 1 d2)) d1)) in d2 3.521 * [taylor]: Taking taylor expansion of -1 in d2 3.521 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d3) (/ 1 d2)) d1) in d2 3.521 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d2 3.521 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 3.521 * [taylor]: Taking taylor expansion of d3 in d2 3.521 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 3.521 * [taylor]: Taking taylor expansion of d2 in d2 3.522 * [taylor]: Taking taylor expansion of d1 in d2 3.522 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 d3) (/ 1 d2)) d1)) in d1 3.522 * [taylor]: Taking taylor expansion of -1 in d1 3.522 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d3) (/ 1 d2)) d1) in d1 3.522 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d1 3.522 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 3.522 * [taylor]: Taking taylor expansion of d3 in d1 3.522 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 3.522 * [taylor]: Taking taylor expansion of d2 in d1 3.522 * [taylor]: Taking taylor expansion of d1 in d1 3.522 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 d3) (/ 1 d2)) d1)) in d1 3.522 * [taylor]: Taking taylor expansion of -1 in d1 3.522 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d3) (/ 1 d2)) d1) in d1 3.522 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d1 3.522 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 3.522 * [taylor]: Taking taylor expansion of d3 in d1 3.522 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 3.522 * [taylor]: Taking taylor expansion of d2 in d1 3.522 * [taylor]: Taking taylor expansion of d1 in d1 3.523 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 d3) (/ 1 d2))) in d2 3.523 * [taylor]: Taking taylor expansion of -1 in d2 3.523 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d2 3.523 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 3.523 * [taylor]: Taking taylor expansion of d3 in d2 3.523 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 3.523 * [taylor]: Taking taylor expansion of d2 in d2 3.524 * [taylor]: Taking taylor expansion of 1 in d3 3.525 * [taylor]: Taking taylor expansion of 0 in d2 3.526 * [taylor]: Taking taylor expansion of (- (/ 1 d3)) in d3 3.526 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 3.526 * [taylor]: Taking taylor expansion of d3 in d3 3.529 * [taylor]: Taking taylor expansion of 0 in d2 3.529 * [taylor]: Taking taylor expansion of 0 in d3 3.530 * [taylor]: Taking taylor expansion of 0 in d3 3.533 * [taylor]: Taking taylor expansion of 0 in d2 3.533 * [taylor]: Taking taylor expansion of 0 in d3 3.533 * [taylor]: Taking taylor expansion of 0 in d3 3.535 * [taylor]: Taking taylor expansion of 0 in d3 3.536 * * * [progress]: simplifying candidates 3.538 * [simplify]: Simplifying using # : (expm1 (+ (* d1 (- d2 d3)) (* d1 (- d4 d1)))) (log1p (+ (* d1 (- d2 d3)) (* d1 (- d4 d1)))) (* (exp (* d1 (- d2 d3))) (exp (* d1 (- d4 d1)))) (log (+ (* d1 (- d2 d3)) (* d1 (- d4 d1)))) (exp (+ (* d1 (- d2 d3)) (* d1 (- d4 d1)))) (* (cbrt (+ (* d1 (- d2 d3)) (* d1 (- d4 d1)))) (cbrt (+ (* d1 (- d2 d3)) (* d1 (- d4 d1))))) (cbrt (+ (* d1 (- d2 d3)) (* d1 (- d4 d1)))) (* (* (+ (* d1 (- d2 d3)) (* d1 (- d4 d1))) (+ (* d1 (- d2 d3)) (* d1 (- d4 d1)))) (+ (* d1 (- d2 d3)) (* d1 (- d4 d1)))) (sqrt (+ (* d1 (- d2 d3)) (* d1 (- d4 d1)))) (sqrt (+ (* d1 (- d2 d3)) (* d1 (- d4 d1)))) (+ (* (* d1 (- (pow d2 3) (pow d3 3))) (+ (* d4 d4) (+ (* d1 d1) (* d4 d1)))) (* (+ (* d2 d2) (+ (* d3 d3) (* d2 d3))) (* d1 (- (pow d4 3) (pow d1 3))))) (* (+ (* d2 d2) (+ (* d3 d3) (* d2 d3))) (+ (* d4 d4) (+ (* d1 d1) (* d4 d1)))) (+ (* (* d1 (- (pow d2 3) (pow d3 3))) (+ d4 d1)) (* (+ (* d2 d2) (+ (* d3 d3) (* d2 d3))) (* d1 (- (* d4 d4) (* d1 d1))))) (* (+ (* d2 d2) (+ (* d3 d3) (* d2 d3))) (+ d4 d1)) (+ (* (* d1 (- (* d2 d2) (* d3 d3))) (+ (* d4 d4) (+ (* d1 d1) (* d4 d1)))) (* (+ d2 d3) (* d1 (- (pow d4 3) (pow d1 3))))) (* (+ d2 d3) (+ (* d4 d4) (+ (* d1 d1) (* d4 d1)))) (+ (* (* d1 (- (* d2 d2) (* d3 d3))) (+ d4 d1)) (* (+ d2 d3) (* d1 (- (* d4 d4) (* d1 d1))))) (* (+ d2 d3) (+ d4 d1)) (+ (pow (* d1 (- d2 d3)) 3) (pow (* d1 (- d4 d1)) 3)) (+ (* (* d1 (- d2 d3)) (* d1 (- d2 d3))) (- (* (* d1 (- d4 d1)) (* d1 (- d4 d1))) (* (* d1 (- d2 d3)) (* d1 (- d4 d1))))) (- (* (* d1 (- d2 d3)) (* d1 (- d2 d3))) (* (* d1 (- d4 d1)) (* d1 (- d4 d1)))) (- (* d1 (- d2 d3)) (* d1 (- d4 d1))) (+ (- d2 d3) (- d4 d1)) (+ (* d1 (- d2 d3)) (* d1 (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))))) (+ (* d1 (- d2 d3)) (* d1 (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* (sqrt d1) (sqrt d1)))))) (+ (* d1 (- d2 d3)) (* d1 (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* d1 1))))) (+ (* d1 (- d2 d3)) (* d1 (fma (sqrt d4) (sqrt d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))))) (+ (* d1 (- d2 d3)) (* d1 (fma (sqrt d4) (sqrt d4) (- (* (sqrt d1) (sqrt d1)))))) (+ (* d1 (- d2 d3)) (* d1 (fma (sqrt d4) (sqrt d4) (- (* d1 1))))) (+ (* d1 (- d2 d3)) (* d1 (fma 1 d4 (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))))) (+ (* d1 (- d2 d3)) (* d1 (fma 1 d4 (- (* (sqrt d1) (sqrt d1)))))) (+ (* d1 (- d2 d3)) (* d1 (fma 1 d4 (- (* d1 1))))) (+ (* d1 (- d2 d3)) (* d1 d4)) (+ (* d1 (- d2 d3)) (* d1 d4)) (+ (* d1 (- d2 d3)) (* (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) d1)) (+ (* d1 (- d2 d3)) (* (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* (sqrt d1) (sqrt d1)))) d1)) (+ (* d1 (- d2 d3)) (* (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* d1 1))) d1)) (+ (* d1 (- d2 d3)) (* (fma (sqrt d4) (sqrt d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) d1)) (+ (* d1 (- d2 d3)) (* (fma (sqrt d4) (sqrt d4) (- (* (sqrt d1) (sqrt d1)))) d1)) (+ (* d1 (- d2 d3)) (* (fma (sqrt d4) (sqrt d4) (- (* d1 1))) d1)) (+ (* d1 (- d2 d3)) (* (fma 1 d4 (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) d1)) (+ (* d1 (- d2 d3)) (* (fma 1 d4 (- (* (sqrt d1) (sqrt d1)))) d1)) (+ (* d1 (- d2 d3)) (* (fma 1 d4 (- (* d1 1))) d1)) (+ (* d1 (- d2 d3)) (* d4 d1)) (+ (* d1 (- d2 d3)) (* d4 d1)) (+ (* d1 (fma (- (cbrt d3)) (* (cbrt d3) (cbrt d3)) (* (cbrt d3) (* (cbrt d3) (cbrt d3))))) (* d1 (- d4 d1))) (+ (* d1 (fma (- (sqrt d3)) (sqrt d3) (* (sqrt d3) (sqrt d3)))) (* d1 (- d4 d1))) (+ (* d1 (fma (- d3) 1 (* d3 1))) (* d1 (- d4 d1))) (+ (* d1 (fma (- (cbrt d3)) (* (cbrt d3) (cbrt d3)) (* (cbrt d3) (* (cbrt d3) (cbrt d3))))) (* d1 (- d4 d1))) (+ (* d1 (fma (- (sqrt d3)) (sqrt d3) (* (sqrt d3) (sqrt d3)))) (* d1 (- d4 d1))) (+ (* d1 (fma (- d3) 1 (* d3 1))) (* d1 (- d4 d1))) (+ (* d1 (fma (- (cbrt d3)) (* (cbrt d3) (cbrt d3)) (* (cbrt d3) (* (cbrt d3) (cbrt d3))))) (* d1 (- d4 d1))) (+ (* d1 (fma (- (sqrt d3)) (sqrt d3) (* (sqrt d3) (sqrt d3)))) (* d1 (- d4 d1))) (+ (* d1 (fma (- d3) 1 (* d3 1))) (* d1 (- d4 d1))) (+ (* d1 (- d3)) (* d1 (- d4 d1))) (+ (* d1 (- d3)) (* d1 (- d4 d1))) (+ (* (fma (- (cbrt d3)) (* (cbrt d3) (cbrt d3)) (* (cbrt d3) (* (cbrt d3) (cbrt d3)))) d1) (* d1 (- d4 d1))) (+ (* (fma (- (sqrt d3)) (sqrt d3) (* (sqrt d3) (sqrt d3))) d1) (* d1 (- d4 d1))) (+ (* (fma (- d3) 1 (* d3 1)) d1) (* d1 (- d4 d1))) (+ (* (fma (- (cbrt d3)) (* (cbrt d3) (cbrt d3)) (* (cbrt d3) (* (cbrt d3) (cbrt d3)))) d1) (* d1 (- d4 d1))) (+ (* (fma (- (sqrt d3)) (sqrt d3) (* (sqrt d3) (sqrt d3))) d1) (* d1 (- d4 d1))) (+ (* (fma (- d3) 1 (* d3 1)) d1) (* d1 (- d4 d1))) (+ (* (fma (- (cbrt d3)) (* (cbrt d3) (cbrt d3)) (* (cbrt d3) (* (cbrt d3) (cbrt d3)))) d1) (* d1 (- d4 d1))) (+ (* (fma (- (sqrt d3)) (sqrt d3) (* (sqrt d3) (sqrt d3))) d1) (* d1 (- d4 d1))) (+ (* (fma (- d3) 1 (* d3 1)) d1) (* d1 (- d4 d1))) (+ (* (- d3) d1) (* d1 (- d4 d1))) (+ (* (- d3) d1) (* d1 (- d4 d1))) (expm1 (* d1 (- d4 d1))) (log1p (* d1 (- d4 d1))) (* d1 (- d4 d1)) (+ (log d1) (log (- d4 d1))) (log (* d1 (- d4 d1))) (exp (* d1 (- d4 d1))) (* (* (* d1 d1) d1) (* (* (- d4 d1) (- d4 d1)) (- d4 d1))) (* (cbrt (* d1 (- d4 d1))) (cbrt (* d1 (- d4 d1)))) (cbrt (* d1 (- d4 d1))) (* (* (* d1 (- d4 d1)) (* d1 (- d4 d1))) (* d1 (- d4 d1))) (sqrt (* d1 (- d4 d1))) (sqrt (* d1 (- d4 d1))) (* (sqrt d1) (sqrt (- d4 d1))) (* (sqrt d1) (sqrt (- d4 d1))) (* d1 (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1)))))) (* d1 (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) (* d1 (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* (sqrt d1) (sqrt d1))))) (* d1 (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1)))) (* d1 (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* d1 1)))) (* d1 (fma (- d1) 1 (* d1 1))) (* d1 (fma (sqrt d4) (sqrt d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1)))))) (* d1 (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) (* d1 (fma (sqrt d4) (sqrt d4) (- (* (sqrt d1) (sqrt d1))))) (* d1 (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1)))) (* d1 (fma (sqrt d4) (sqrt d4) (- (* d1 1)))) (* d1 (fma (- d1) 1 (* d1 1))) (* d1 (fma 1 d4 (- (* (cbrt d1) (* (cbrt d1) (cbrt d1)))))) (* d1 (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) (* d1 (fma 1 d4 (- (* (sqrt d1) (sqrt d1))))) (* d1 (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1)))) (* d1 (fma 1 d4 (- (* d1 1)))) (* d1 (fma (- d1) 1 (* d1 1))) (* d1 d4) (* d1 (- d1)) (* d1 d4) (* d1 (- d1)) (* (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) d1) (* (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1)))) d1) (* (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* (sqrt d1) (sqrt d1)))) d1) (* (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1))) d1) (* (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* d1 1))) d1) (* (fma (- d1) 1 (* d1 1)) d1) (* (fma (sqrt d4) (sqrt d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) d1) (* (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1)))) d1) (* (fma (sqrt d4) (sqrt d4) (- (* (sqrt d1) (sqrt d1)))) d1) (* (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1))) d1) (* (fma (sqrt d4) (sqrt d4) (- (* d1 1))) d1) (* (fma (- d1) 1 (* d1 1)) d1) (* (fma 1 d4 (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) d1) (* (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1)))) d1) (* (fma 1 d4 (- (* (sqrt d1) (sqrt d1)))) d1) (* (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1))) d1) (* (fma 1 d4 (- (* d1 1))) d1) (* (fma (- d1) 1 (* d1 1)) d1) (* d4 d1) (* (- d1) d1) (* d4 d1) (* (- d1) d1) (* d1 (* (cbrt (- d4 d1)) (cbrt (- d4 d1)))) (* d1 (sqrt (- d4 d1))) (* d1 1) (* d1 (+ (sqrt d4) (sqrt d1))) (* d1 1) (* (cbrt d1) (- d4 d1)) (* (sqrt d1) (- d4 d1)) (* d1 (- d4 d1)) (* d1 (- (pow d4 3) (pow d1 3))) (* d1 (- (* d4 d4) (* d1 d1))) (expm1 (* d1 (- d2 d3))) (log1p (* d1 (- d2 d3))) (* d1 (- d2 d3)) (+ (log d1) (log (- d2 d3))) (log (* d1 (- d2 d3))) (exp (* d1 (- d2 d3))) (* (* (* d1 d1) d1) (* (* (- d2 d3) (- d2 d3)) (- d2 d3))) (* (cbrt (* d1 (- d2 d3))) (cbrt (* d1 (- d2 d3)))) (cbrt (* d1 (- d2 d3))) (* (* (* d1 (- d2 d3)) (* d1 (- d2 d3))) (* d1 (- d2 d3))) (sqrt (* d1 (- d2 d3))) (sqrt (* d1 (- d2 d3))) (* (sqrt d1) (sqrt (- d2 d3))) (* (sqrt d1) (sqrt (- d2 d3))) (* d1 (fma (* (cbrt d2) (cbrt d2)) (cbrt d2) (- (* (cbrt d3) (* (cbrt d3) (cbrt d3)))))) (* d1 (fma (- (cbrt d3)) (* (cbrt d3) (cbrt d3)) (* (cbrt d3) (* (cbrt d3) (cbrt d3))))) (* d1 (fma (* (cbrt d2) (cbrt d2)) (cbrt d2) (- (* (sqrt d3) (sqrt d3))))) (* d1 (fma (- (sqrt d3)) (sqrt d3) (* (sqrt d3) (sqrt d3)))) (* d1 (fma (* (cbrt d2) (cbrt d2)) (cbrt d2) (- (* d3 1)))) (* d1 (fma (- d3) 1 (* d3 1))) (* d1 (fma (sqrt d2) (sqrt d2) (- (* (cbrt d3) (* (cbrt d3) (cbrt d3)))))) (* d1 (fma (- (cbrt d3)) (* (cbrt d3) (cbrt d3)) (* (cbrt d3) (* (cbrt d3) (cbrt d3))))) (* d1 (fma (sqrt d2) (sqrt d2) (- (* (sqrt d3) (sqrt d3))))) (* d1 (fma (- (sqrt d3)) (sqrt d3) (* (sqrt d3) (sqrt d3)))) (* d1 (fma (sqrt d2) (sqrt d2) (- (* d3 1)))) (* d1 (fma (- d3) 1 (* d3 1))) (* d1 (fma 1 d2 (- (* (cbrt d3) (* (cbrt d3) (cbrt d3)))))) (* d1 (fma (- (cbrt d3)) (* (cbrt d3) (cbrt d3)) (* (cbrt d3) (* (cbrt d3) (cbrt d3))))) (* d1 (fma 1 d2 (- (* (sqrt d3) (sqrt d3))))) (* d1 (fma (- (sqrt d3)) (sqrt d3) (* (sqrt d3) (sqrt d3)))) (* d1 (fma 1 d2 (- (* d3 1)))) (* d1 (fma (- d3) 1 (* d3 1))) (* d1 d2) (* d1 (- d3)) (* d1 d2) (* d1 (- d3)) (* (fma (* (cbrt d2) (cbrt d2)) (cbrt d2) (- (* (cbrt d3) (* (cbrt d3) (cbrt d3))))) d1) (* (fma (- (cbrt d3)) (* (cbrt d3) (cbrt d3)) (* (cbrt d3) (* (cbrt d3) (cbrt d3)))) d1) (* (fma (* (cbrt d2) (cbrt d2)) (cbrt d2) (- (* (sqrt d3) (sqrt d3)))) d1) (* (fma (- (sqrt d3)) (sqrt d3) (* (sqrt d3) (sqrt d3))) d1) (* (fma (* (cbrt d2) (cbrt d2)) (cbrt d2) (- (* d3 1))) d1) (* (fma (- d3) 1 (* d3 1)) d1) (* (fma (sqrt d2) (sqrt d2) (- (* (cbrt d3) (* (cbrt d3) (cbrt d3))))) d1) (* (fma (- (cbrt d3)) (* (cbrt d3) (cbrt d3)) (* (cbrt d3) (* (cbrt d3) (cbrt d3)))) d1) (* (fma (sqrt d2) (sqrt d2) (- (* (sqrt d3) (sqrt d3)))) d1) (* (fma (- (sqrt d3)) (sqrt d3) (* (sqrt d3) (sqrt d3))) d1) (* (fma (sqrt d2) (sqrt d2) (- (* d3 1))) d1) (* (fma (- d3) 1 (* d3 1)) d1) (* (fma 1 d2 (- (* (cbrt d3) (* (cbrt d3) (cbrt d3))))) d1) (* (fma (- (cbrt d3)) (* (cbrt d3) (cbrt d3)) (* (cbrt d3) (* (cbrt d3) (cbrt d3)))) d1) (* (fma 1 d2 (- (* (sqrt d3) (sqrt d3)))) d1) (* (fma (- (sqrt d3)) (sqrt d3) (* (sqrt d3) (sqrt d3))) d1) (* (fma 1 d2 (- (* d3 1))) d1) (* (fma (- d3) 1 (* d3 1)) d1) (* d2 d1) (* (- d3) d1) (* d2 d1) (* (- d3) d1) (* d1 (* (cbrt (- d2 d3)) (cbrt (- d2 d3)))) (* d1 (sqrt (- d2 d3))) (* d1 1) (* d1 (+ (sqrt d2) (sqrt d3))) (* d1 1) (* (cbrt d1) (- d2 d3)) (* (sqrt d1) (- d2 d3)) (* d1 (- d2 d3)) (* d1 (- (pow d2 3) (pow d3 3))) (* d1 (- (* d2 d2) (* d3 d3))) (- (* d1 d2) (+ (pow d1 2) (* d1 d3))) (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) (- (* d1 d4) (pow d1 2)) (- (* d1 d4) (pow d1 2)) (- (* d1 d4) (pow d1 2)) (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3)) 3.546 * * [simplify]: iteration 0 : 266 enodes (cost 2707 ) 3.619 * * [simplify]: iteration 1 : 638 enodes (cost 2017 ) 4.116 * * [simplify]: iteration 2 : 2628 enodes (cost 1649 ) 4.753 * * [simplify]: iteration done : 5000 enodes (cost 1645 ) 4.754 * [simplify]: Simplified to: (expm1 (* d1 (+ (- d2 d3) (- d4 d1)))) (log1p (* d1 (+ (- d2 d3) (- d4 d1)))) (exp (* d1 (+ (- d2 d3) (- d4 d1)))) (log (* d1 (+ (- d2 d3) (- d4 d1)))) (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)))) (fma (* d1 (- (pow d2 3) (pow d3 3))) (fma d4 d4 (* d1 (+ d4 d1))) (* (fma d2 d2 (* d3 (+ d2 d3))) (* d1 (- (pow d4 3) (pow d1 3))))) (* (fma d2 d2 (* d3 (+ d2 d3))) (fma d4 d4 (* d1 (+ d4 d1)))) (fma (* d1 (- (pow d2 3) (pow d3 3))) (+ d4 d1) (* (* d1 (- (* d4 d4) (* d1 d1))) (fma d2 d2 (* d3 (+ d2 d3))))) (* (fma d2 d2 (* d3 (+ d2 d3))) (+ d4 d1)) (fma (* d1 (- (* d2 d2) (* d3 d3))) (fma d4 d4 (* d1 (+ d4 d1))) (* (+ d2 d3) (* d1 (- (pow d4 3) (pow d1 3))))) (* (fma d4 d4 (* d1 (+ d4 d1))) (+ d2 d3)) (fma (* d1 (- (* d2 d2) (* d3 d3))) (+ d4 d1) (* (+ d2 d3) (* d1 (- (* d4 d4) (* d1 d1))))) (* (+ d2 d3) (+ d4 d1)) (+ (pow (* d1 (- d2 d3)) 3) (pow (* d1 (- d4 d1)) 3)) (fma (* d1 (- d4 d1)) (* d1 (- (- d4 d1) (- d2 d3))) (* (* d1 (- d2 d3)) (* d1 (- d2 d3)))) (* (* d1 (+ (- d2 d3) (- d4 d1))) (* d1 (- (- d2 d3) (- d4 d1)))) (* d1 (- (- d2 d3) (- d4 d1))) (+ (- d2 d3) (- d4 d1)) (* (+ (- d2 d3) (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- d1))) d1) (* (+ (- d2 d3) (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- d1))) d1) (* (+ (- d2 d3) (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- d1))) d1) (* d1 (+ (- d2 d3) (- d4 d1))) (* d1 (+ (- d2 d3) (- d4 d1))) (* d1 (+ (- d2 d3) (- d4 d1))) (* d1 (+ (- d2 d3) (- d4 d1))) (* d1 (+ (- d2 d3) (- d4 d1))) (* d1 (+ (- d2 d3) (- d4 d1))) (* d1 (+ (- d2 d3) d4)) (* d1 (+ (- d2 d3) d4)) (* (+ (- d2 d3) (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- d1))) d1) (* (+ (- d2 d3) (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- d1))) d1) (* (+ (- d2 d3) (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- d1))) d1) (* d1 (+ (- d2 d3) (- d4 d1))) (* d1 (+ (- d2 d3) (- d4 d1))) (* d1 (+ (- d2 d3) (- d4 d1))) (* d1 (+ (- d2 d3) (- d4 d1))) (* d1 (+ (- d2 d3) (- d4 d1))) (* d1 (+ (- d2 d3) (- d4 d1))) (* d1 (+ (- d2 d3) d4)) (* d1 (+ (- d2 d3) d4)) (* (+ (* d3 0) (- d4 d1)) d1) (* (+ (* d3 0) (- d4 d1)) d1) (* (+ (* d3 0) (- d4 d1)) d1) (* (+ (* d3 0) (- d4 d1)) d1) (* (+ (* d3 0) (- d4 d1)) d1) (* (+ (* d3 0) (- d4 d1)) d1) (* (+ (* d3 0) (- d4 d1)) d1) (* (+ (* d3 0) (- d4 d1)) d1) (* (+ (* d3 0) (- d4 d1)) d1) (* (- (- d4 d1) d3) d1) (* (- (- d4 d1) d3) d1) (* (+ (* d3 0) (- d4 d1)) d1) (* (+ (* d3 0) (- d4 d1)) d1) (* (+ (* d3 0) (- d4 d1)) d1) (* (+ (* d3 0) (- d4 d1)) d1) (* (+ (* d3 0) (- d4 d1)) d1) (* (+ (* d3 0) (- d4 d1)) d1) (* (+ (* d3 0) (- d4 d1)) d1) (* (+ (* d3 0) (- d4 d1)) d1) (* (+ (* d3 0) (- d4 d1)) d1) (* (- (- d4 d1) d3) d1) (* (- (- d4 d1) d3) d1) (expm1 (* d1 (- d4 d1))) (log1p (* d1 (- d4 d1))) (* d1 (- d4 d1)) (log (* d1 (- d4 d1))) (log (* d1 (- d4 d1))) (exp (* d1 (- d4 d1))) (pow (* d1 (- d4 d1)) 3) (* (cbrt (* d1 (- d4 d1))) (cbrt (* d1 (- d4 d1)))) (cbrt (* d1 (- d4 d1))) (pow (* d1 (- d4 d1)) 3) (sqrt (* d1 (- d4 d1))) (sqrt (* d1 (- d4 d1))) (* (sqrt d1) (sqrt (- d4 d1))) (* (sqrt d1) (sqrt (- d4 d1))) (* d1 (- (* (* (cbrt d4) (cbrt d4)) (cbrt d4)) d1)) (* (* d1 0) d1) (* d1 (- (* (* (cbrt d4) (cbrt d4)) (cbrt d4)) d1)) (* (* d1 0) d1) (* d1 (- (* (* (cbrt d4) (cbrt d4)) (cbrt d4)) d1)) (* (* d1 0) d1) (* d1 (- d4 d1)) (* (* d1 0) d1) (* d1 (- d4 d1)) (* (* d1 0) d1) (* d1 (- d4 d1)) (* (* d1 0) d1) (* d1 (- d4 d1)) (* (* d1 0) d1) (* d1 (- d4 d1)) (* (* d1 0) d1) (* d1 (- d4 d1)) (* (* d1 0) d1) (* d4 d1) (* d1 (- d1)) (* d4 d1) (* d1 (- d1)) (* d1 (- (* (* (cbrt d4) (cbrt d4)) (cbrt d4)) d1)) (* (* d1 0) d1) (* d1 (- (* (* (cbrt d4) (cbrt d4)) (cbrt d4)) d1)) (* (* d1 0) d1) (* d1 (- (* (* (cbrt d4) (cbrt d4)) (cbrt d4)) d1)) (* (* d1 0) d1) (* d1 (- d4 d1)) (* (* d1 0) d1) (* d1 (- d4 d1)) (* (* d1 0) d1) (* d1 (- d4 d1)) (* (* d1 0) d1) (* d1 (- d4 d1)) (* (* d1 0) d1) (* d1 (- d4 d1)) (* (* d1 0) d1) (* d1 (- d4 d1)) (* (* d1 0) d1) (* d4 d1) (* d1 (- d1)) (* d4 d1) (* d1 (- d1)) (* d1 (* (cbrt (- d4 d1)) (cbrt (- d4 d1)))) (* d1 (sqrt (- d4 d1))) d1 (* d1 (+ (sqrt d4) (sqrt d1))) d1 (* (cbrt d1) (- d4 d1)) (* (sqrt d1) (- d4 d1)) (* d1 (- d4 d1)) (* d1 (- (pow d4 3) (pow d1 3))) (* d1 (- (* d4 d4) (* d1 d1))) (expm1 (* d1 (- d2 d3))) (log1p (* d1 (- d2 d3))) (* d1 (- d2 d3)) (log (* d1 (- d2 d3))) (log (* d1 (- d2 d3))) (exp (* d1 (- d2 d3))) (pow (* d1 (- d2 d3)) 3) (* (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))) (* (sqrt d1) (sqrt (- d2 d3))) (* (sqrt d1) (sqrt (- d2 d3))) (* d1 (fma (* (cbrt d2) (cbrt d2)) (cbrt d2) (- d3))) (* d1 (* d3 0)) (* d1 (fma (* (cbrt d2) (cbrt d2)) (cbrt d2) (- d3))) (* d1 (* d3 0)) (* d1 (fma (* (cbrt d2) (cbrt d2)) (cbrt d2) (- d3))) (* d1 (* d3 0)) (* d1 (- d2 d3)) (* d1 (* d3 0)) (* d1 (- d2 d3)) (* d1 (* d3 0)) (* d1 (- d2 d3)) (* d1 (* d3 0)) (* d1 (- d2 d3)) (* d1 (* d3 0)) (* d1 (- d2 d3)) (* d1 (* d3 0)) (* d1 (- d2 d3)) (* d1 (* d3 0)) (* d1 d2) (* (- d3) d1) (* d1 d2) (* (- d3) d1) (* d1 (fma (* (cbrt d2) (cbrt d2)) (cbrt d2) (- d3))) (* d1 (* d3 0)) (* d1 (fma (* (cbrt d2) (cbrt d2)) (cbrt d2) (- d3))) (* d1 (* d3 0)) (* d1 (fma (* (cbrt d2) (cbrt d2)) (cbrt d2) (- d3))) (* d1 (* d3 0)) (* d1 (- d2 d3)) (* d1 (* d3 0)) (* d1 (- d2 d3)) (* d1 (* d3 0)) (* d1 (- d2 d3)) (* d1 (* d3 0)) (* d1 (- d2 d3)) (* d1 (* d3 0)) (* d1 (- d2 d3)) (* d1 (* d3 0)) (* d1 (- d2 d3)) (* d1 (* d3 0)) (* d1 d2) (* (- d3) d1) (* d1 d2) (* (- d3) d1) (* d1 (* (cbrt (- d2 d3)) (cbrt (- d2 d3)))) (* d1 (sqrt (- d2 d3))) d1 (* d1 (+ (sqrt d2) (sqrt d3))) d1 (* (cbrt d1) (- d2 d3)) (* (sqrt d1) (- d2 d3)) (* d1 (- d2 d3)) (* d1 (- (pow d2 3) (pow d3 3))) (* d1 (- (* d2 d2) (* d3 d3))) (- (* d1 (- d2 d3)) (* d1 d1)) (* d1 (+ (- d2 d3) d4)) (* d1 (+ (- d2 d3) d4)) (* d1 (- d4 d1)) (* d1 (- d4 d1)) (* d1 (- d4 d1)) (* d1 (- d2 d3)) (* d1 (- d2 d3)) (* d1 (- d2 d3)) 4.755 * * * [progress]: adding candidates to table 5.039 * * [progress]: iteration 3 / 4 5.039 * * * [progress]: picking best candidate 5.043 * * * * [pick]: Picked # 5.043 * * * [progress]: localizing error 5.050 * * * [progress]: generating rewritten candidates 5.050 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 5.051 * * * * [progress]: [ 2 / 2 ] rewriting at (2 3) 5.064 * * * [progress]: generating series expansions 5.064 * * * * [progress]: [ 1 / 2 ] generating series at (2) 5.064 * [approximate]: Taking taylor expansion of (fma d1 (- d2 d3) (* d1 (- d4 d1))) in (d1 d2 d3 d4) around 0 5.064 * [taylor]: Taking taylor expansion of (fma d1 (- d2 d3) (* d1 (- d4 d1))) in d4 5.064 * [taylor]: Rewrote expression to (+ (* d1 (- d2 d3)) (* d1 (- d4 d1))) 5.064 * [taylor]: Taking taylor expansion of (* d1 (- d2 d3)) in d4 5.064 * [taylor]: Taking taylor expansion of d1 in d4 5.065 * [taylor]: Taking taylor expansion of (- d2 d3) in d4 5.065 * [taylor]: Taking taylor expansion of d2 in d4 5.065 * [taylor]: Taking taylor expansion of d3 in d4 5.065 * [taylor]: Taking taylor expansion of (* d1 (- d4 d1)) in d4 5.065 * [taylor]: Taking taylor expansion of d1 in d4 5.065 * [taylor]: Taking taylor expansion of (- d4 d1) in d4 5.065 * [taylor]: Taking taylor expansion of d4 in d4 5.065 * [taylor]: Taking taylor expansion of d1 in d4 5.065 * [taylor]: Taking taylor expansion of (fma d1 (- d2 d3) (* d1 (- d4 d1))) in d3 5.065 * [taylor]: Rewrote expression to (+ (* d1 (- d2 d3)) (* d1 (- d4 d1))) 5.065 * [taylor]: Taking taylor expansion of (* d1 (- d2 d3)) in d3 5.065 * [taylor]: Taking taylor expansion of d1 in d3 5.065 * [taylor]: Taking taylor expansion of (- d2 d3) in d3 5.065 * [taylor]: Taking taylor expansion of d2 in d3 5.065 * [taylor]: Taking taylor expansion of d3 in d3 5.065 * [taylor]: Taking taylor expansion of (* d1 (- d4 d1)) in d3 5.065 * [taylor]: Taking taylor expansion of d1 in d3 5.065 * [taylor]: Taking taylor expansion of (- d4 d1) in d3 5.065 * [taylor]: Taking taylor expansion of d4 in d3 5.065 * [taylor]: Taking taylor expansion of d1 in d3 5.065 * [taylor]: Taking taylor expansion of (fma d1 (- d2 d3) (* d1 (- d4 d1))) in d2 5.065 * [taylor]: Rewrote expression to (+ (* d1 (- d2 d3)) (* d1 (- d4 d1))) 5.065 * [taylor]: Taking taylor expansion of (* d1 (- d2 d3)) in d2 5.065 * [taylor]: Taking taylor expansion of d1 in d2 5.065 * [taylor]: Taking taylor expansion of (- d2 d3) in d2 5.065 * [taylor]: Taking taylor expansion of d2 in d2 5.065 * [taylor]: Taking taylor expansion of d3 in d2 5.065 * [taylor]: Taking taylor expansion of (* d1 (- d4 d1)) in d2 5.065 * [taylor]: Taking taylor expansion of d1 in d2 5.065 * [taylor]: Taking taylor expansion of (- d4 d1) in d2 5.065 * [taylor]: Taking taylor expansion of d4 in d2 5.065 * [taylor]: Taking taylor expansion of d1 in d2 5.065 * [taylor]: Taking taylor expansion of (fma d1 (- d2 d3) (* d1 (- d4 d1))) in d1 5.065 * [taylor]: Rewrote expression to (+ (* d1 (- d2 d3)) (* d1 (- d4 d1))) 5.065 * [taylor]: Taking taylor expansion of (* d1 (- d2 d3)) in d1 5.065 * [taylor]: Taking taylor expansion of d1 in d1 5.065 * [taylor]: Taking taylor expansion of (- d2 d3) in d1 5.065 * [taylor]: Taking taylor expansion of d2 in d1 5.065 * [taylor]: Taking taylor expansion of d3 in d1 5.065 * [taylor]: Taking taylor expansion of (* d1 (- d4 d1)) in d1 5.065 * [taylor]: Taking taylor expansion of d1 in d1 5.065 * [taylor]: Taking taylor expansion of (- d4 d1) in d1 5.065 * [taylor]: Taking taylor expansion of d4 in d1 5.065 * [taylor]: Taking taylor expansion of d1 in d1 5.065 * [taylor]: Taking taylor expansion of (fma d1 (- d2 d3) (* d1 (- d4 d1))) in d1 5.065 * [taylor]: Rewrote expression to (+ (* d1 (- d2 d3)) (* d1 (- d4 d1))) 5.065 * [taylor]: Taking taylor expansion of (* d1 (- d2 d3)) in d1 5.065 * [taylor]: Taking taylor expansion of d1 in d1 5.066 * [taylor]: Taking taylor expansion of (- d2 d3) in d1 5.066 * [taylor]: Taking taylor expansion of d2 in d1 5.066 * [taylor]: Taking taylor expansion of d3 in d1 5.066 * [taylor]: Taking taylor expansion of (* d1 (- d4 d1)) in d1 5.066 * [taylor]: Taking taylor expansion of d1 in d1 5.066 * [taylor]: Taking taylor expansion of (- d4 d1) in d1 5.066 * [taylor]: Taking taylor expansion of d4 in d1 5.066 * [taylor]: Taking taylor expansion of d1 in d1 5.066 * [taylor]: Taking taylor expansion of 0 in d2 5.066 * [taylor]: Taking taylor expansion of 0 in d3 5.067 * [taylor]: Taking taylor expansion of 0 in d4 5.068 * [taylor]: Taking taylor expansion of (- (+ d4 d2) d3) in d2 5.068 * [taylor]: Taking taylor expansion of (+ d4 d2) in d2 5.068 * [taylor]: Taking taylor expansion of d4 in d2 5.068 * [taylor]: Taking taylor expansion of d2 in d2 5.068 * [taylor]: Taking taylor expansion of d3 in d2 5.068 * [taylor]: Taking taylor expansion of (- d4 d3) in d3 5.068 * [taylor]: Taking taylor expansion of d4 in d3 5.068 * [taylor]: Taking taylor expansion of d3 in d3 5.069 * [taylor]: Taking taylor expansion of d4 in d4 5.069 * [taylor]: Taking taylor expansion of 0 in d3 5.069 * [taylor]: Taking taylor expansion of 0 in d4 5.069 * [taylor]: Taking taylor expansion of 0 in d4 5.071 * [taylor]: Taking taylor expansion of -1 in d2 5.071 * [taylor]: Taking taylor expansion of -1 in d3 5.071 * [taylor]: Taking taylor expansion of -1 in d4 5.072 * [taylor]: Taking taylor expansion of 1 in d3 5.072 * [taylor]: Taking taylor expansion of 1 in d4 5.072 * [taylor]: Taking taylor expansion of 0 in d3 5.072 * [taylor]: Taking taylor expansion of 0 in d4 5.072 * [taylor]: Taking taylor expansion of -1 in d4 5.073 * [approximate]: Taking taylor expansion of (fma (/ 1 d1) (- (/ 1 d2) (/ 1 d3)) (/ (- (/ 1 d4) (/ 1 d1)) d1)) in (d1 d2 d3 d4) around 0 5.073 * [taylor]: Taking taylor expansion of (fma (/ 1 d1) (- (/ 1 d2) (/ 1 d3)) (/ (- (/ 1 d4) (/ 1 d1)) d1)) in d4 5.073 * [taylor]: Rewrote expression to (+ (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) (/ (- (/ 1 d4) (/ 1 d1)) d1)) 5.073 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) in d4 5.073 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4 5.073 * [taylor]: Taking taylor expansion of d1 in d4 5.073 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d4 5.073 * [taylor]: Taking taylor expansion of (/ 1 d2) in d4 5.073 * [taylor]: Taking taylor expansion of d2 in d4 5.073 * [taylor]: Taking taylor expansion of (/ 1 d3) in d4 5.073 * [taylor]: Taking taylor expansion of d3 in d4 5.073 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d4) (/ 1 d1)) d1) in d4 5.073 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d1)) in d4 5.073 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 5.073 * [taylor]: Taking taylor expansion of d4 in d4 5.073 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4 5.073 * [taylor]: Taking taylor expansion of d1 in d4 5.073 * [taylor]: Taking taylor expansion of d1 in d4 5.074 * [taylor]: Taking taylor expansion of (fma (/ 1 d1) (- (/ 1 d2) (/ 1 d3)) (/ (- (/ 1 d4) (/ 1 d1)) d1)) in d3 5.074 * [taylor]: Rewrote expression to (+ (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) (/ (- (/ 1 d4) (/ 1 d1)) d1)) 5.074 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) in d3 5.074 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 5.074 * [taylor]: Taking taylor expansion of d1 in d3 5.074 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d3 5.074 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 5.074 * [taylor]: Taking taylor expansion of d2 in d3 5.074 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 5.074 * [taylor]: Taking taylor expansion of d3 in d3 5.074 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d4) (/ 1 d1)) d1) in d3 5.074 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d1)) in d3 5.074 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 5.074 * [taylor]: Taking taylor expansion of d4 in d3 5.074 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 5.074 * [taylor]: Taking taylor expansion of d1 in d3 5.074 * [taylor]: Taking taylor expansion of d1 in d3 5.074 * [taylor]: Taking taylor expansion of (fma (/ 1 d1) (- (/ 1 d2) (/ 1 d3)) (/ (- (/ 1 d4) (/ 1 d1)) d1)) in d2 5.075 * [taylor]: Rewrote expression to (+ (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) (/ (- (/ 1 d4) (/ 1 d1)) d1)) 5.075 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) in d2 5.075 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 5.075 * [taylor]: Taking taylor expansion of d1 in d2 5.075 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d2 5.075 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 5.075 * [taylor]: Taking taylor expansion of d2 in d2 5.075 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 5.075 * [taylor]: Taking taylor expansion of d3 in d2 5.075 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d4) (/ 1 d1)) d1) in d2 5.075 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d1)) in d2 5.075 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 5.075 * [taylor]: Taking taylor expansion of d4 in d2 5.075 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 5.075 * [taylor]: Taking taylor expansion of d1 in d2 5.075 * [taylor]: Taking taylor expansion of d1 in d2 5.075 * [taylor]: Taking taylor expansion of (fma (/ 1 d1) (- (/ 1 d2) (/ 1 d3)) (/ (- (/ 1 d4) (/ 1 d1)) d1)) in d1 5.075 * [taylor]: Rewrote expression to (+ (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) (/ (- (/ 1 d4) (/ 1 d1)) d1)) 5.075 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) in d1 5.075 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 5.075 * [taylor]: Taking taylor expansion of d1 in d1 5.076 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d1 5.076 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 5.076 * [taylor]: Taking taylor expansion of d2 in d1 5.076 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 5.076 * [taylor]: Taking taylor expansion of d3 in d1 5.076 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d4) (/ 1 d1)) d1) in d1 5.076 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d1)) in d1 5.076 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 5.076 * [taylor]: Taking taylor expansion of d4 in d1 5.076 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 5.076 * [taylor]: Taking taylor expansion of d1 in d1 5.076 * [taylor]: Taking taylor expansion of d1 in d1 5.080 * [taylor]: Taking taylor expansion of (fma (/ 1 d1) (- (/ 1 d2) (/ 1 d3)) (/ (- (/ 1 d4) (/ 1 d1)) d1)) in d1 5.080 * [taylor]: Rewrote expression to (+ (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) (/ (- (/ 1 d4) (/ 1 d1)) d1)) 5.080 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) in d1 5.080 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 5.080 * [taylor]: Taking taylor expansion of d1 in d1 5.080 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d1 5.080 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 5.080 * [taylor]: Taking taylor expansion of d2 in d1 5.080 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 5.080 * [taylor]: Taking taylor expansion of d3 in d1 5.080 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d4) (/ 1 d1)) d1) in d1 5.080 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d1)) in d1 5.080 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 5.080 * [taylor]: Taking taylor expansion of d4 in d1 5.080 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 5.080 * [taylor]: Taking taylor expansion of d1 in d1 5.081 * [taylor]: Taking taylor expansion of d1 in d1 5.082 * [taylor]: Taking taylor expansion of -1 in d2 5.083 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2 5.083 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 5.083 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 5.083 * [taylor]: Taking taylor expansion of d2 in d2 5.083 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 5.083 * [taylor]: Taking taylor expansion of d4 in d2 5.083 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 5.083 * [taylor]: Taking taylor expansion of d3 in d2 5.084 * [taylor]: Taking taylor expansion of 1 in d3 5.084 * [taylor]: Taking taylor expansion of -1 in d3 5.087 * [taylor]: Taking taylor expansion of 0 in d2 5.088 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3 5.088 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 5.088 * [taylor]: Taking taylor expansion of d4 in d3 5.088 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 5.088 * [taylor]: Taking taylor expansion of d3 in d3 5.088 * [taylor]: Taking taylor expansion of -1 in d4 5.088 * [taylor]: Taking taylor expansion of 0 in d3 5.088 * [taylor]: Taking taylor expansion of 1 in d4 5.088 * [taylor]: Taking taylor expansion of -1 in d4 5.092 * [taylor]: Taking taylor expansion of 0 in d2 5.092 * [taylor]: Taking taylor expansion of 0 in d3 5.094 * [taylor]: Taking taylor expansion of 0 in d3 5.094 * [taylor]: Taking taylor expansion of 0 in d3 5.094 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 5.094 * [taylor]: Taking taylor expansion of d4 in d4 5.095 * [taylor]: Taking taylor expansion of 0 in d4 5.095 * [taylor]: Taking taylor expansion of 0 in d4 5.095 * [taylor]: Taking taylor expansion of 0 in d4 5.095 * [approximate]: Taking taylor expansion of (fma (/ -1 d1) (- (/ 1 d3) (/ 1 d2)) (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1))) in (d1 d2 d3 d4) around 0 5.095 * [taylor]: Taking taylor expansion of (fma (/ -1 d1) (- (/ 1 d3) (/ 1 d2)) (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1))) in d4 5.095 * [taylor]: Rewrote expression to (+ (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1))) 5.096 * [taylor]: Taking taylor expansion of (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) in d4 5.096 * [taylor]: Taking taylor expansion of (/ -1 d1) in d4 5.096 * [taylor]: Taking taylor expansion of -1 in d4 5.096 * [taylor]: Taking taylor expansion of d1 in d4 5.096 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d4 5.096 * [taylor]: Taking taylor expansion of (/ 1 d3) in d4 5.096 * [taylor]: Taking taylor expansion of d3 in d4 5.096 * [taylor]: Taking taylor expansion of (/ 1 d2) in d4 5.096 * [taylor]: Taking taylor expansion of d2 in d4 5.096 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1)) in d4 5.096 * [taylor]: Taking taylor expansion of -1 in d4 5.096 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d1) (/ 1 d4)) d1) in d4 5.096 * [taylor]: Taking taylor expansion of (- (/ 1 d1) (/ 1 d4)) in d4 5.096 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4 5.096 * [taylor]: Taking taylor expansion of d1 in d4 5.096 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 5.096 * [taylor]: Taking taylor expansion of d4 in d4 5.096 * [taylor]: Taking taylor expansion of d1 in d4 5.097 * [taylor]: Taking taylor expansion of (fma (/ -1 d1) (- (/ 1 d3) (/ 1 d2)) (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1))) in d3 5.097 * [taylor]: Rewrote expression to (+ (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1))) 5.097 * [taylor]: Taking taylor expansion of (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) in d3 5.097 * [taylor]: Taking taylor expansion of (/ -1 d1) in d3 5.097 * [taylor]: Taking taylor expansion of -1 in d3 5.097 * [taylor]: Taking taylor expansion of d1 in d3 5.097 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d3 5.097 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 5.097 * [taylor]: Taking taylor expansion of d3 in d3 5.097 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 5.097 * [taylor]: Taking taylor expansion of d2 in d3 5.097 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1)) in d3 5.097 * [taylor]: Taking taylor expansion of -1 in d3 5.097 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d1) (/ 1 d4)) d1) in d3 5.097 * [taylor]: Taking taylor expansion of (- (/ 1 d1) (/ 1 d4)) in d3 5.097 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 5.097 * [taylor]: Taking taylor expansion of d1 in d3 5.097 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 5.097 * [taylor]: Taking taylor expansion of d4 in d3 5.097 * [taylor]: Taking taylor expansion of d1 in d3 5.098 * [taylor]: Taking taylor expansion of (fma (/ -1 d1) (- (/ 1 d3) (/ 1 d2)) (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1))) in d2 5.098 * [taylor]: Rewrote expression to (+ (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1))) 5.098 * [taylor]: Taking taylor expansion of (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) in d2 5.098 * [taylor]: Taking taylor expansion of (/ -1 d1) in d2 5.098 * [taylor]: Taking taylor expansion of -1 in d2 5.098 * [taylor]: Taking taylor expansion of d1 in d2 5.098 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d2 5.098 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 5.098 * [taylor]: Taking taylor expansion of d3 in d2 5.098 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 5.098 * [taylor]: Taking taylor expansion of d2 in d2 5.098 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1)) in d2 5.098 * [taylor]: Taking taylor expansion of -1 in d2 5.098 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d1) (/ 1 d4)) d1) in d2 5.098 * [taylor]: Taking taylor expansion of (- (/ 1 d1) (/ 1 d4)) in d2 5.098 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 5.098 * [taylor]: Taking taylor expansion of d1 in d2 5.098 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 5.098 * [taylor]: Taking taylor expansion of d4 in d2 5.098 * [taylor]: Taking taylor expansion of d1 in d2 5.098 * [taylor]: Taking taylor expansion of (fma (/ -1 d1) (- (/ 1 d3) (/ 1 d2)) (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1))) in d1 5.098 * [taylor]: Rewrote expression to (+ (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1))) 5.099 * [taylor]: Taking taylor expansion of (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) in d1 5.099 * [taylor]: Taking taylor expansion of (/ -1 d1) in d1 5.099 * [taylor]: Taking taylor expansion of -1 in d1 5.099 * [taylor]: Taking taylor expansion of d1 in d1 5.099 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d1 5.099 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 5.099 * [taylor]: Taking taylor expansion of d3 in d1 5.099 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 5.099 * [taylor]: Taking taylor expansion of d2 in d1 5.099 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1)) in d1 5.099 * [taylor]: Taking taylor expansion of -1 in d1 5.099 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d1) (/ 1 d4)) d1) in d1 5.099 * [taylor]: Taking taylor expansion of (- (/ 1 d1) (/ 1 d4)) in d1 5.099 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 5.099 * [taylor]: Taking taylor expansion of d1 in d1 5.099 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 5.099 * [taylor]: Taking taylor expansion of d4 in d1 5.099 * [taylor]: Taking taylor expansion of d1 in d1 5.100 * [taylor]: Taking taylor expansion of (fma (/ -1 d1) (- (/ 1 d3) (/ 1 d2)) (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1))) in d1 5.100 * [taylor]: Rewrote expression to (+ (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1))) 5.100 * [taylor]: Taking taylor expansion of (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) in d1 5.100 * [taylor]: Taking taylor expansion of (/ -1 d1) in d1 5.100 * [taylor]: Taking taylor expansion of -1 in d1 5.100 * [taylor]: Taking taylor expansion of d1 in d1 5.100 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d1 5.100 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 5.100 * [taylor]: Taking taylor expansion of d3 in d1 5.100 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 5.100 * [taylor]: Taking taylor expansion of d2 in d1 5.100 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1)) in d1 5.100 * [taylor]: Taking taylor expansion of -1 in d1 5.100 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d1) (/ 1 d4)) d1) in d1 5.100 * [taylor]: Taking taylor expansion of (- (/ 1 d1) (/ 1 d4)) in d1 5.100 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 5.100 * [taylor]: Taking taylor expansion of d1 in d1 5.101 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 5.101 * [taylor]: Taking taylor expansion of d4 in d1 5.101 * [taylor]: Taking taylor expansion of d1 in d1 5.102 * [taylor]: Taking taylor expansion of -1 in d2 5.103 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2 5.103 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 5.103 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 5.103 * [taylor]: Taking taylor expansion of d2 in d2 5.104 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 5.104 * [taylor]: Taking taylor expansion of d4 in d2 5.104 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 5.104 * [taylor]: Taking taylor expansion of d3 in d2 5.104 * [taylor]: Taking taylor expansion of 1 in d3 5.104 * [taylor]: Taking taylor expansion of -1 in d3 5.108 * [taylor]: Taking taylor expansion of 0 in d2 5.109 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3 5.109 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 5.109 * [taylor]: Taking taylor expansion of d4 in d3 5.109 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 5.109 * [taylor]: Taking taylor expansion of d3 in d3 5.109 * [taylor]: Taking taylor expansion of -1 in d4 5.109 * [taylor]: Taking taylor expansion of 0 in d3 5.109 * [taylor]: Taking taylor expansion of 1 in d4 5.109 * [taylor]: Taking taylor expansion of -1 in d4 5.114 * [taylor]: Taking taylor expansion of 0 in d2 5.114 * [taylor]: Taking taylor expansion of 0 in d3 5.115 * [taylor]: Taking taylor expansion of 0 in d3 5.115 * [taylor]: Taking taylor expansion of 0 in d3 5.116 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 5.116 * [taylor]: Taking taylor expansion of d4 in d4 5.116 * [taylor]: Taking taylor expansion of 0 in d4 5.116 * [taylor]: Taking taylor expansion of 0 in d4 5.116 * [taylor]: Taking taylor expansion of 0 in d4 5.117 * * * * [progress]: [ 2 / 2 ] generating series at (2 3) 5.117 * [approximate]: Taking taylor expansion of (* d1 (- d4 d1)) in (d1 d4) around 0 5.117 * [taylor]: Taking taylor expansion of (* d1 (- d4 d1)) in d4 5.117 * [taylor]: Taking taylor expansion of d1 in d4 5.117 * [taylor]: Taking taylor expansion of (- d4 d1) in d4 5.117 * [taylor]: Taking taylor expansion of d4 in d4 5.117 * [taylor]: Taking taylor expansion of d1 in d4 5.117 * [taylor]: Taking taylor expansion of (* d1 (- d4 d1)) in d1 5.117 * [taylor]: Taking taylor expansion of d1 in d1 5.117 * [taylor]: Taking taylor expansion of (- d4 d1) in d1 5.117 * [taylor]: Taking taylor expansion of d4 in d1 5.117 * [taylor]: Taking taylor expansion of d1 in d1 5.117 * [taylor]: Taking taylor expansion of (* d1 (- d4 d1)) in d1 5.117 * [taylor]: Taking taylor expansion of d1 in d1 5.117 * [taylor]: Taking taylor expansion of (- d4 d1) in d1 5.117 * [taylor]: Taking taylor expansion of d4 in d1 5.117 * [taylor]: Taking taylor expansion of d1 in d1 5.118 * [taylor]: Taking taylor expansion of 0 in d4 5.119 * [taylor]: Taking taylor expansion of d4 in d4 5.119 * [taylor]: Taking taylor expansion of (- 1) in d4 5.119 * [taylor]: Taking taylor expansion of 1 in d4 5.121 * [taylor]: Taking taylor expansion of 0 in d4 5.122 * [taylor]: Taking taylor expansion of 0 in d4 5.123 * [approximate]: Taking taylor expansion of (/ (- (/ 1 d4) (/ 1 d1)) d1) in (d1 d4) around 0 5.123 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d4) (/ 1 d1)) d1) in d4 5.123 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d1)) in d4 5.123 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 5.123 * [taylor]: Taking taylor expansion of d4 in d4 5.123 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4 5.123 * [taylor]: Taking taylor expansion of d1 in d4 5.123 * [taylor]: Taking taylor expansion of d1 in d4 5.123 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d4) (/ 1 d1)) d1) in d1 5.123 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d1)) in d1 5.123 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 5.124 * [taylor]: Taking taylor expansion of d4 in d1 5.124 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 5.124 * [taylor]: Taking taylor expansion of d1 in d1 5.124 * [taylor]: Taking taylor expansion of d1 in d1 5.124 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d4) (/ 1 d1)) d1) in d1 5.125 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d1)) in d1 5.125 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 5.125 * [taylor]: Taking taylor expansion of d4 in d1 5.125 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 5.125 * [taylor]: Taking taylor expansion of d1 in d1 5.125 * [taylor]: Taking taylor expansion of d1 in d1 5.126 * [taylor]: Taking taylor expansion of -1 in d4 5.127 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 5.127 * [taylor]: Taking taylor expansion of d4 in d4 5.129 * [taylor]: Taking taylor expansion of 0 in d4 5.131 * [taylor]: Taking taylor expansion of 0 in d4 5.134 * [taylor]: Taking taylor expansion of 0 in d4 5.135 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1)) in (d1 d4) around 0 5.135 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1)) in d4 5.135 * [taylor]: Taking taylor expansion of -1 in d4 5.135 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d1) (/ 1 d4)) d1) in d4 5.135 * [taylor]: Taking taylor expansion of (- (/ 1 d1) (/ 1 d4)) in d4 5.135 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4 5.135 * [taylor]: Taking taylor expansion of d1 in d4 5.135 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 5.135 * [taylor]: Taking taylor expansion of d4 in d4 5.135 * [taylor]: Taking taylor expansion of d1 in d4 5.136 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1)) in d1 5.136 * [taylor]: Taking taylor expansion of -1 in d1 5.136 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d1) (/ 1 d4)) d1) in d1 5.136 * [taylor]: Taking taylor expansion of (- (/ 1 d1) (/ 1 d4)) in d1 5.136 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 5.136 * [taylor]: Taking taylor expansion of d1 in d1 5.136 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 5.136 * [taylor]: Taking taylor expansion of d4 in d1 5.136 * [taylor]: Taking taylor expansion of d1 in d1 5.136 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 d1) (/ 1 d4)) d1)) in d1 5.137 * [taylor]: Taking taylor expansion of -1 in d1 5.137 * [taylor]: Taking taylor expansion of (/ (- (/ 1 d1) (/ 1 d4)) d1) in d1 5.137 * [taylor]: Taking taylor expansion of (- (/ 1 d1) (/ 1 d4)) in d1 5.137 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 5.137 * [taylor]: Taking taylor expansion of d1 in d1 5.137 * [taylor]: Taking taylor expansion of (/ 1 d4) in d1 5.137 * [taylor]: Taking taylor expansion of d4 in d1 5.137 * [taylor]: Taking taylor expansion of d1 in d1 5.138 * [taylor]: Taking taylor expansion of -1 in d4 5.139 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 5.139 * [taylor]: Taking taylor expansion of d4 in d4 5.141 * [taylor]: Taking taylor expansion of 0 in d4 5.145 * [taylor]: Taking taylor expansion of 0 in d4 5.149 * [taylor]: Taking taylor expansion of 0 in d4 5.149 * * * [progress]: simplifying candidates 5.150 * [simplify]: Simplifying using # : (expm1 (fma d1 (- d2 d3) (* d1 (- d4 d1)))) (log1p (fma d1 (- d2 d3) (* d1 (- d4 d1)))) (* d1 (- d2 d3)) (log (fma d1 (- d2 d3) (* d1 (- d4 d1)))) (exp (fma d1 (- d2 d3) (* d1 (- d4 d1)))) (* (cbrt (fma d1 (- d2 d3) (* d1 (- d4 d1)))) (cbrt (fma d1 (- d2 d3) (* d1 (- d4 d1))))) (cbrt (fma d1 (- d2 d3) (* d1 (- d4 d1)))) (* (* (fma d1 (- d2 d3) (* d1 (- d4 d1))) (fma d1 (- d2 d3) (* d1 (- d4 d1)))) (fma d1 (- d2 d3) (* d1 (- d4 d1)))) (sqrt (fma d1 (- d2 d3) (* d1 (- d4 d1)))) (sqrt (fma d1 (- d2 d3) (* d1 (- d4 d1)))) (expm1 (* d1 (- d4 d1))) (log1p (* d1 (- d4 d1))) (* d1 (- d4 d1)) (+ (log d1) (log (- d4 d1))) (log (* d1 (- d4 d1))) (exp (* d1 (- d4 d1))) (* (* (* d1 d1) d1) (* (* (- d4 d1) (- d4 d1)) (- d4 d1))) (* (cbrt (* d1 (- d4 d1))) (cbrt (* d1 (- d4 d1)))) (cbrt (* d1 (- d4 d1))) (* (* (* d1 (- d4 d1)) (* d1 (- d4 d1))) (* d1 (- d4 d1))) (sqrt (* d1 (- d4 d1))) (sqrt (* d1 (- d4 d1))) (* (sqrt d1) (sqrt (- d4 d1))) (* (sqrt d1) (sqrt (- d4 d1))) (* d1 (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1)))))) (* d1 (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) (* d1 (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* (sqrt d1) (sqrt d1))))) (* d1 (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1)))) (* d1 (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* d1 1)))) (* d1 (fma (- d1) 1 (* d1 1))) (* d1 (fma (sqrt d4) (sqrt d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1)))))) (* d1 (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) (* d1 (fma (sqrt d4) (sqrt d4) (- (* (sqrt d1) (sqrt d1))))) (* d1 (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1)))) (* d1 (fma (sqrt d4) (sqrt d4) (- (* d1 1)))) (* d1 (fma (- d1) 1 (* d1 1))) (* d1 (fma 1 d4 (- (* (cbrt d1) (* (cbrt d1) (cbrt d1)))))) (* d1 (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) (* d1 (fma 1 d4 (- (* (sqrt d1) (sqrt d1))))) (* d1 (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1)))) (* d1 (fma 1 d4 (- (* d1 1)))) (* d1 (fma (- d1) 1 (* d1 1))) (* d1 d4) (* d1 (- d1)) (* d1 d4) (* d1 (- d1)) (* (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) d1) (* (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1)))) d1) (* (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* (sqrt d1) (sqrt d1)))) d1) (* (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1))) d1) (* (fma (* (cbrt d4) (cbrt d4)) (cbrt d4) (- (* d1 1))) d1) (* (fma (- d1) 1 (* d1 1)) d1) (* (fma (sqrt d4) (sqrt d4) (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) d1) (* (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1)))) d1) (* (fma (sqrt d4) (sqrt d4) (- (* (sqrt d1) (sqrt d1)))) d1) (* (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1))) d1) (* (fma (sqrt d4) (sqrt d4) (- (* d1 1))) d1) (* (fma (- d1) 1 (* d1 1)) d1) (* (fma 1 d4 (- (* (cbrt d1) (* (cbrt d1) (cbrt d1))))) d1) (* (fma (- (cbrt d1)) (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (cbrt d1) (cbrt d1)))) d1) (* (fma 1 d4 (- (* (sqrt d1) (sqrt d1)))) d1) (* (fma (- (sqrt d1)) (sqrt d1) (* (sqrt d1) (sqrt d1))) d1) (* (fma 1 d4 (- (* d1 1))) d1) (* (fma (- d1) 1 (* d1 1)) d1) (* d4 d1) (* (- d1) d1) (* d4 d1) (* (- d1) d1) (* d1 (* (cbrt (- d4 d1)) (cbrt (- d4 d1)))) (* d1 (sqrt (- d4 d1))) (* d1 1) (* d1 (+ (sqrt d4) (sqrt d1))) (* d1 1) (* (cbrt d1) (- d4 d1)) (* (sqrt d1) (- d4 d1)) (* d1 (- d4 d1)) (* d1 (- (pow d4 3) (pow d1 3))) (* d1 (- (* d4 d4) (* d1 d1))) (- (* d1 d2) (+ (pow d1 2) (* d1 d3))) (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) (- (* d1 d4) (pow d1 2)) (- (* d1 d4) (pow d1 2)) (- (* d1 d4) (pow d1 2)) 5.153 * * [simplify]: iteration 0 : 118 enodes (cost 891 ) 5.178 * * [simplify]: iteration 1 : 222 enodes (cost 718 ) 5.276 * * [simplify]: iteration 2 : 809 enodes (cost 550 ) 6.140 * * [simplify]: iteration 3 : 4712 enodes (cost 524 ) 8.331 * * [simplify]: iteration done : 5000 enodes (cost 524 ) 8.332 * [simplify]: Simplified to: (expm1 (* d1 (+ (- d2 d3) (- d4 d1)))) (log1p (* d1 (+ (- d2 d3) (- d4 d1)))) (* d1 (- d2 d3)) (log (* d1 (+ (- d2 d3) (- d4 d1)))) (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)))) (expm1 (* d1 (- d4 d1))) (log1p (* d1 (- d4 d1))) (* (- d4 d1) d1) (log (* d1 (- d4 d1))) (log (* d1 (- d4 d1))) (exp (* d1 (- d4 d1))) (pow (* d1 (- d4 d1)) 3) (* (cbrt (* d1 (- d4 d1))) (cbrt (* d1 (- d4 d1)))) (cbrt (* d1 (- d4 d1))) (pow (* d1 (- d4 d1)) 3) (sqrt (* d1 (- d4 d1))) (sqrt (* d1 (- d4 d1))) (* (sqrt d1) (sqrt (- d4 d1))) (* (sqrt d1) (sqrt (- d4 d1))) (* (- (pow (cbrt d4) 3) d1) d1) (* d1 (* d1 0)) (* (- (pow (cbrt d4) 3) d1) d1) (* d1 (* d1 0)) (* (- (pow (cbrt d4) 3) d1) d1) (* d1 (* d1 0)) (* (- d4 d1) d1) (* d1 (* d1 0)) (* (- d4 d1) d1) (* d1 (* d1 0)) (* (- d4 d1) d1) (* d1 (* d1 0)) (* (- d4 d1) d1) (* d1 (* d1 0)) (* (- d4 d1) d1) (* d1 (* d1 0)) (* (- d4 d1) d1) (* d1 (* d1 0)) (* d4 d1) (* d1 (- d1)) (* d4 d1) (* d1 (- d1)) (* (- (pow (cbrt d4) 3) d1) d1) (* d1 (* d1 0)) (* (- (pow (cbrt d4) 3) d1) d1) (* d1 (* d1 0)) (* (- (pow (cbrt d4) 3) d1) d1) (* d1 (* d1 0)) (* (- d4 d1) d1) (* d1 (* d1 0)) (* (- d4 d1) d1) (* d1 (* d1 0)) (* (- d4 d1) d1) (* d1 (* d1 0)) (* (- d4 d1) d1) (* d1 (* d1 0)) (* (- d4 d1) d1) (* d1 (* d1 0)) (* (- d4 d1) d1) (* d1 (* d1 0)) (* d4 d1) (* d1 (- d1)) (* d4 d1) (* d1 (- d1)) (* d1 (* (cbrt (- d4 d1)) (cbrt (- d4 d1)))) (* d1 (sqrt (- d4 d1))) d1 (* d1 (+ (sqrt d4) (sqrt d1))) d1 (* (cbrt d1) (- d4 d1)) (* (sqrt d1) (- d4 d1)) (* (- d4 d1) d1) (* d1 (- (pow d4 3) (pow d1 3))) (* d1 (- (* d4 d4) (* d1 d1))) (* d1 (- d2 (+ d1 d3))) (* d1 (- (+ d4 d2) d3)) (* d1 (- (+ d4 d2) d3)) (* (- d4 d1) d1) (* (- d4 d1) d1) (* (- d4 d1) d1) 8.332 * * * [progress]: adding candidates to table 8.430 * * [progress]: iteration 4 / 4 8.430 * * * [progress]: picking best candidate 8.433 * * * * [pick]: Picked # 8.433 * * * [progress]: localizing error 8.447 * * * [progress]: generating rewritten candidates 8.447 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1 2) 8.448 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 1 2) 8.448 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1 1 1) 8.449 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1 1) 8.456 * * * [progress]: generating series expansions 8.456 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1 2) 8.456 * [approximate]: Taking taylor expansion of (pow d4 1/3) in (d4) around 0 8.456 * [taylor]: Taking taylor expansion of (pow d4 1/3) in d4 8.456 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d4))) in d4 8.456 * [taylor]: Taking taylor expansion of (* 1/3 (log d4)) in d4 8.456 * [taylor]: Taking taylor expansion of 1/3 in d4 8.456 * [taylor]: Taking taylor expansion of (log d4) in d4 8.456 * [taylor]: Taking taylor expansion of d4 in d4 8.457 * [taylor]: Taking taylor expansion of (pow d4 1/3) in d4 8.457 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d4))) in d4 8.457 * [taylor]: Taking taylor expansion of (* 1/3 (log d4)) in d4 8.457 * [taylor]: Taking taylor expansion of 1/3 in d4 8.457 * [taylor]: Taking taylor expansion of (log d4) in d4 8.457 * [taylor]: Taking taylor expansion of d4 in d4 8.507 * [approximate]: Taking taylor expansion of (pow (/ 1 d4) 1/3) in (d4) around 0 8.507 * [taylor]: Taking taylor expansion of (pow (/ 1 d4) 1/3) in d4 8.507 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d4)))) in d4 8.507 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d4))) in d4 8.507 * [taylor]: Taking taylor expansion of 1/3 in d4 8.507 * [taylor]: Taking taylor expansion of (log (/ 1 d4)) in d4 8.507 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 8.507 * [taylor]: Taking taylor expansion of d4 in d4 8.508 * [taylor]: Taking taylor expansion of (pow (/ 1 d4) 1/3) in d4 8.508 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d4)))) in d4 8.508 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d4))) in d4 8.508 * [taylor]: Taking taylor expansion of 1/3 in d4 8.508 * [taylor]: Taking taylor expansion of (log (/ 1 d4)) in d4 8.508 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 8.508 * [taylor]: Taking taylor expansion of d4 in d4 8.561 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 d4) 1/3)) in (d4) around 0 8.561 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 d4) 1/3)) in d4 8.561 * [taylor]: Taking taylor expansion of (cbrt -1) in d4 8.561 * [taylor]: Taking taylor expansion of -1 in d4 8.562 * [taylor]: Taking taylor expansion of (pow (/ 1 d4) 1/3) in d4 8.562 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d4)))) in d4 8.562 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d4))) in d4 8.562 * [taylor]: Taking taylor expansion of 1/3 in d4 8.562 * [taylor]: Taking taylor expansion of (log (/ 1 d4)) in d4 8.562 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 8.562 * [taylor]: Taking taylor expansion of d4 in d4 8.563 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 d4) 1/3)) in d4 8.563 * [taylor]: Taking taylor expansion of (cbrt -1) in d4 8.563 * [taylor]: Taking taylor expansion of -1 in d4 8.564 * [taylor]: Taking taylor expansion of (pow (/ 1 d4) 1/3) in d4 8.564 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d4)))) in d4 8.564 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d4))) in d4 8.564 * [taylor]: Taking taylor expansion of 1/3 in d4 8.564 * [taylor]: Taking taylor expansion of (log (/ 1 d4)) in d4 8.564 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 8.564 * [taylor]: Taking taylor expansion of d4 in d4 8.624 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 1 2) 8.624 * [approximate]: Taking taylor expansion of (pow d4 1/3) in (d4) around 0 8.624 * [taylor]: Taking taylor expansion of (pow d4 1/3) in d4 8.624 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d4))) in d4 8.624 * [taylor]: Taking taylor expansion of (* 1/3 (log d4)) in d4 8.624 * [taylor]: Taking taylor expansion of 1/3 in d4 8.624 * [taylor]: Taking taylor expansion of (log d4) in d4 8.624 * [taylor]: Taking taylor expansion of d4 in d4 8.625 * [taylor]: Taking taylor expansion of (pow d4 1/3) in d4 8.625 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d4))) in d4 8.625 * [taylor]: Taking taylor expansion of (* 1/3 (log d4)) in d4 8.625 * [taylor]: Taking taylor expansion of 1/3 in d4 8.625 * [taylor]: Taking taylor expansion of (log d4) in d4 8.625 * [taylor]: Taking taylor expansion of d4 in d4 8.674 * [approximate]: Taking taylor expansion of (pow (/ 1 d4) 1/3) in (d4) around 0 8.674 * [taylor]: Taking taylor expansion of (pow (/ 1 d4) 1/3) in d4 8.674 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d4)))) in d4 8.674 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d4))) in d4 8.674 * [taylor]: Taking taylor expansion of 1/3 in d4 8.674 * [taylor]: Taking taylor expansion of (log (/ 1 d4)) in d4 8.674 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 8.675 * [taylor]: Taking taylor expansion of d4 in d4 8.675 * [taylor]: Taking taylor expansion of (pow (/ 1 d4) 1/3) in d4 8.675 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d4)))) in d4 8.675 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d4))) in d4 8.675 * [taylor]: Taking taylor expansion of 1/3 in d4 8.675 * [taylor]: Taking taylor expansion of (log (/ 1 d4)) in d4 8.675 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 8.675 * [taylor]: Taking taylor expansion of d4 in d4 8.729 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 d4) 1/3)) in (d4) around 0 8.729 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 d4) 1/3)) in d4 8.729 * [taylor]: Taking taylor expansion of (cbrt -1) in d4 8.729 * [taylor]: Taking taylor expansion of -1 in d4 8.730 * [taylor]: Taking taylor expansion of (pow (/ 1 d4) 1/3) in d4 8.730 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d4)))) in d4 8.730 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d4))) in d4 8.730 * [taylor]: Taking taylor expansion of 1/3 in d4 8.730 * [taylor]: Taking taylor expansion of (log (/ 1 d4)) in d4 8.730 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 8.730 * [taylor]: Taking taylor expansion of d4 in d4 8.731 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 d4) 1/3)) in d4 8.731 * [taylor]: Taking taylor expansion of (cbrt -1) in d4 8.731 * [taylor]: Taking taylor expansion of -1 in d4 8.731 * [taylor]: Taking taylor expansion of (pow (/ 1 d4) 1/3) in d4 8.731 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d4)))) in d4 8.731 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d4))) in d4 8.731 * [taylor]: Taking taylor expansion of 1/3 in d4 8.731 * [taylor]: Taking taylor expansion of (log (/ 1 d4)) in d4 8.731 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 8.731 * [taylor]: Taking taylor expansion of d4 in d4 8.795 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1 1 1) 8.795 * [approximate]: Taking taylor expansion of (pow d4 1/3) in (d4) around 0 8.795 * [taylor]: Taking taylor expansion of (pow d4 1/3) in d4 8.795 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d4))) in d4 8.795 * [taylor]: Taking taylor expansion of (* 1/3 (log d4)) in d4 8.796 * [taylor]: Taking taylor expansion of 1/3 in d4 8.796 * [taylor]: Taking taylor expansion of (log d4) in d4 8.796 * [taylor]: Taking taylor expansion of d4 in d4 8.796 * [taylor]: Taking taylor expansion of (pow d4 1/3) in d4 8.796 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d4))) in d4 8.796 * [taylor]: Taking taylor expansion of (* 1/3 (log d4)) in d4 8.796 * [taylor]: Taking taylor expansion of 1/3 in d4 8.796 * [taylor]: Taking taylor expansion of (log d4) in d4 8.796 * [taylor]: Taking taylor expansion of d4 in d4 8.846 * [approximate]: Taking taylor expansion of (pow (/ 1 d4) 1/3) in (d4) around 0 8.846 * [taylor]: Taking taylor expansion of (pow (/ 1 d4) 1/3) in d4 8.846 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d4)))) in d4 8.846 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d4))) in d4 8.846 * [taylor]: Taking taylor expansion of 1/3 in d4 8.846 * [taylor]: Taking taylor expansion of (log (/ 1 d4)) in d4 8.847 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 8.847 * [taylor]: Taking taylor expansion of d4 in d4 8.847 * [taylor]: Taking taylor expansion of (pow (/ 1 d4) 1/3) in d4 8.847 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d4)))) in d4 8.847 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d4))) in d4 8.847 * [taylor]: Taking taylor expansion of 1/3 in d4 8.847 * [taylor]: Taking taylor expansion of (log (/ 1 d4)) in d4 8.847 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 8.847 * [taylor]: Taking taylor expansion of d4 in d4 8.897 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 d4) 1/3)) in (d4) around 0 8.897 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 d4) 1/3)) in d4 8.897 * [taylor]: Taking taylor expansion of (cbrt -1) in d4 8.897 * [taylor]: Taking taylor expansion of -1 in d4 8.898 * [taylor]: Taking taylor expansion of (pow (/ 1 d4) 1/3) in d4 8.898 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d4)))) in d4 8.898 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d4))) in d4 8.898 * [taylor]: Taking taylor expansion of 1/3 in d4 8.898 * [taylor]: Taking taylor expansion of (log (/ 1 d4)) in d4 8.898 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 8.898 * [taylor]: Taking taylor expansion of d4 in d4 8.899 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 d4) 1/3)) in d4 8.899 * [taylor]: Taking taylor expansion of (cbrt -1) in d4 8.899 * [taylor]: Taking taylor expansion of -1 in d4 8.900 * [taylor]: Taking taylor expansion of (pow (/ 1 d4) 1/3) in d4 8.900 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d4)))) in d4 8.900 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d4))) in d4 8.900 * [taylor]: Taking taylor expansion of 1/3 in d4 8.900 * [taylor]: Taking taylor expansion of (log (/ 1 d4)) in d4 8.900 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 8.900 * [taylor]: Taking taylor expansion of d4 in d4 8.965 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1 1) 8.965 * [approximate]: Taking taylor expansion of (pow (pow d4 2) 1/3) in (d4) around 0 8.965 * [taylor]: Taking taylor expansion of (pow (pow d4 2) 1/3) in d4 8.965 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow d4 2)))) in d4 8.965 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow d4 2))) in d4 8.965 * [taylor]: Taking taylor expansion of 1/3 in d4 8.965 * [taylor]: Taking taylor expansion of (log (pow d4 2)) in d4 8.965 * [taylor]: Taking taylor expansion of (pow d4 2) in d4 8.965 * [taylor]: Taking taylor expansion of d4 in d4 8.966 * [taylor]: Taking taylor expansion of (pow (pow d4 2) 1/3) in d4 8.966 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow d4 2)))) in d4 8.966 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow d4 2))) in d4 8.966 * [taylor]: Taking taylor expansion of 1/3 in d4 8.966 * [taylor]: Taking taylor expansion of (log (pow d4 2)) in d4 8.966 * [taylor]: Taking taylor expansion of (pow d4 2) in d4 8.966 * [taylor]: Taking taylor expansion of d4 in d4 9.020 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow d4 2)) 1/3) in (d4) around 0 9.020 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d4 2)) 1/3) in d4 9.020 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d4 2))))) in d4 9.020 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d4 2)))) in d4 9.020 * [taylor]: Taking taylor expansion of 1/3 in d4 9.020 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d4 2))) in d4 9.020 * [taylor]: Taking taylor expansion of (/ 1 (pow d4 2)) in d4 9.020 * [taylor]: Taking taylor expansion of (pow d4 2) in d4 9.020 * [taylor]: Taking taylor expansion of d4 in d4 9.021 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d4 2)) 1/3) in d4 9.021 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d4 2))))) in d4 9.021 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d4 2)))) in d4 9.021 * [taylor]: Taking taylor expansion of 1/3 in d4 9.021 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d4 2))) in d4 9.022 * [taylor]: Taking taylor expansion of (/ 1 (pow d4 2)) in d4 9.022 * [taylor]: Taking taylor expansion of (pow d4 2) in d4 9.022 * [taylor]: Taking taylor expansion of d4 in d4 9.079 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow d4 2)) 1/3)) in (d4) around 0 9.079 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow d4 2)) 1/3)) in d4 9.079 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in d4 9.079 * [taylor]: Taking taylor expansion of (cbrt -1) in d4 9.079 * [taylor]: Taking taylor expansion of -1 in d4 9.079 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d4 2)) 1/3) in d4 9.079 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d4 2))))) in d4 9.079 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d4 2)))) in d4 9.079 * [taylor]: Taking taylor expansion of 1/3 in d4 9.079 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d4 2))) in d4 9.080 * [taylor]: Taking taylor expansion of (/ 1 (pow d4 2)) in d4 9.080 * [taylor]: Taking taylor expansion of (pow d4 2) in d4 9.080 * [taylor]: Taking taylor expansion of d4 in d4 9.081 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow d4 2)) 1/3)) in d4 9.081 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in d4 9.081 * [taylor]: Taking taylor expansion of (cbrt -1) in d4 9.081 * [taylor]: Taking taylor expansion of -1 in d4 9.081 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d4 2)) 1/3) in d4 9.081 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d4 2))))) in d4 9.081 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d4 2)))) in d4 9.081 * [taylor]: Taking taylor expansion of 1/3 in d4 9.081 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d4 2))) in d4 9.081 * [taylor]: Taking taylor expansion of (/ 1 (pow d4 2)) in d4 9.081 * [taylor]: Taking taylor expansion of (pow d4 2) in d4 9.081 * [taylor]: Taking taylor expansion of d4 in d4 9.156 * * * [progress]: simplifying candidates 9.157 * [simplify]: Simplifying using # : (expm1 (cbrt d4)) (log1p (cbrt d4)) (log (cbrt d4)) (exp (cbrt d4)) (cbrt (* (cbrt d4) (cbrt d4))) (cbrt (cbrt d4)) (cbrt (sqrt d4)) (cbrt (sqrt d4)) (cbrt 1) (cbrt d4) (* (cbrt (cbrt d4)) (cbrt (cbrt d4))) (cbrt (cbrt d4)) (* (* (cbrt d4) (cbrt d4)) (cbrt d4)) (sqrt (cbrt d4)) (sqrt (cbrt d4)) (expm1 (cbrt d4)) (log1p (cbrt d4)) (log (cbrt d4)) (exp (cbrt d4)) (cbrt (* (cbrt d4) (cbrt d4))) (cbrt (cbrt d4)) (cbrt (sqrt d4)) (cbrt (sqrt d4)) (cbrt 1) (cbrt d4) (* (cbrt (cbrt d4)) (cbrt (cbrt d4))) (cbrt (cbrt d4)) (* (* (cbrt d4) (cbrt d4)) (cbrt d4)) (sqrt (cbrt d4)) (sqrt (cbrt d4)) (expm1 (cbrt d4)) (log1p (cbrt d4)) (log (cbrt d4)) (exp (cbrt d4)) (cbrt (* (cbrt d4) (cbrt d4))) (cbrt (cbrt d4)) (cbrt (sqrt d4)) (cbrt (sqrt d4)) (cbrt 1) (cbrt d4) (* (cbrt (cbrt d4)) (cbrt (cbrt d4))) (cbrt (cbrt d4)) (* (* (cbrt d4) (cbrt d4)) (cbrt d4)) (sqrt (cbrt d4)) (sqrt (cbrt d4)) (expm1 (* (cbrt d4) (cbrt d4))) (log1p (* (cbrt d4) (cbrt d4))) (+ 1/3 1/3) (+ 1 1) (* d4 d4) (* (cbrt d4) (cbrt d4)) (+ 1 1) (+ (log (cbrt d4)) (log (cbrt d4))) (log (* (cbrt d4) (cbrt d4))) (exp (* (cbrt d4) (cbrt d4))) (* d4 d4) (* (cbrt (* (cbrt d4) (cbrt d4))) (cbrt (* (cbrt d4) (cbrt d4)))) (cbrt (* (cbrt d4) (cbrt d4))) (* (* (* (cbrt d4) (cbrt d4)) (* (cbrt d4) (cbrt d4))) (* (cbrt d4) (cbrt d4))) (sqrt (* (cbrt d4) (cbrt d4))) (sqrt (* (cbrt d4) (cbrt d4))) (* (cbrt (* (cbrt d4) (cbrt d4))) (cbrt (* (cbrt d4) (cbrt d4)))) (* (cbrt (cbrt d4)) (cbrt (cbrt d4))) (* (cbrt (sqrt d4)) (cbrt (sqrt d4))) (* (cbrt (sqrt d4)) (cbrt (sqrt d4))) (* (cbrt 1) (cbrt 1)) (* (cbrt d4) (cbrt d4)) (* (* (cbrt (cbrt d4)) (cbrt (cbrt d4))) (* (cbrt (cbrt d4)) (cbrt (cbrt d4)))) (* (cbrt (cbrt d4)) (cbrt (cbrt d4))) (* (sqrt (cbrt d4)) (sqrt (cbrt d4))) (* (sqrt (cbrt d4)) (sqrt (cbrt d4))) (* 1 1) (* (cbrt d4) (cbrt d4)) (* (cbrt (sqrt d4)) (cbrt (sqrt d4))) (* (cbrt (sqrt d4)) (cbrt (sqrt d4))) (* (cbrt (sqrt d4)) (sqrt (cbrt d4))) (* (cbrt (sqrt d4)) (sqrt (cbrt d4))) (* (sqrt (cbrt d4)) (cbrt (sqrt d4))) (* (sqrt (cbrt d4)) (cbrt (sqrt d4))) (* (sqrt (cbrt d4)) (sqrt (cbrt d4))) (* (sqrt (cbrt d4)) (sqrt (cbrt d4))) (* 2 1/3) (* 2 1) (* (cbrt d4) (cbrt (* (cbrt d4) (cbrt d4)))) (* (cbrt d4) (cbrt (sqrt d4))) (* (cbrt d4) (cbrt 1)) (* (cbrt d4) (* (cbrt (cbrt d4)) (cbrt (cbrt d4)))) (* (cbrt d4) (sqrt (cbrt d4))) (* (cbrt d4) 1) (* (cbrt (cbrt d4)) (cbrt d4)) (* (cbrt (sqrt d4)) (cbrt d4)) (* (cbrt d4) (cbrt d4)) (* (cbrt (cbrt d4)) (cbrt d4)) (* (sqrt (cbrt d4)) (cbrt d4)) (* (cbrt d4) (cbrt d4)) (pow d4 1/3) (pow (/ 1 d4) -1/3) (* (pow (* -1 d4) 1/3) (cbrt -1)) (pow d4 1/3) (pow (/ 1 d4) -1/3) (* (pow (* -1 d4) 1/3) (cbrt -1)) (pow d4 1/3) (pow (/ 1 d4) -1/3) (* (pow (* -1 d4) 1/3) (cbrt -1)) (pow d4 2/3) (pow (/ 1 d4) -2/3) (* (pow (cbrt -1) 2) (pow (pow d4 2) 1/3)) 9.159 * * [simplify]: iteration 0 : 65 enodes (cost 554 ) 9.175 * * [simplify]: iteration 1 : 119 enodes (cost 443 ) 9.213 * * [simplify]: iteration 2 : 383 enodes (cost 423 ) 9.482 * * [simplify]: iteration 3 : 1868 enodes (cost 405 ) 10.514 * * [simplify]: iteration done : 5000 enodes (cost 405 ) 10.515 * [simplify]: Simplified to: (expm1 (cbrt d4)) (log1p (cbrt d4)) (log (cbrt d4)) (exp (cbrt d4)) (cbrt (pow d4 2/3)) (cbrt (cbrt d4)) (cbrt (sqrt d4)) (cbrt (sqrt d4)) 1 (cbrt d4) (* (cbrt (cbrt d4)) (cbrt (cbrt d4))) (cbrt (cbrt d4)) d4 (sqrt (cbrt d4)) (sqrt (cbrt d4)) (expm1 (cbrt d4)) (log1p (cbrt d4)) (log (cbrt d4)) (exp (cbrt d4)) (cbrt (pow d4 2/3)) (cbrt (cbrt d4)) (cbrt (sqrt d4)) (cbrt (sqrt d4)) 1 (cbrt d4) (* (cbrt (cbrt d4)) (cbrt (cbrt d4))) (cbrt (cbrt d4)) d4 (sqrt (cbrt d4)) (sqrt (cbrt d4)) (expm1 (cbrt d4)) (log1p (cbrt d4)) (log (cbrt d4)) (exp (cbrt d4)) (cbrt (pow d4 2/3)) (cbrt (cbrt d4)) (cbrt (sqrt d4)) (cbrt (sqrt d4)) 1 (cbrt d4) (* (cbrt (cbrt d4)) (cbrt (cbrt d4))) (cbrt (cbrt d4)) d4 (sqrt (cbrt d4)) (sqrt (cbrt d4)) (expm1 (pow d4 2/3)) (log1p (pow d4 2/3)) 2/3 2 (* d4 d4) (pow d4 2/3) 2 (log (pow d4 2/3)) (log (pow d4 2/3)) (exp (pow d4 2/3)) (* d4 d4) (* (cbrt (pow d4 2/3)) (cbrt (pow d4 2/3))) (cbrt (pow d4 2/3)) (* d4 d4) (fabs (cbrt d4)) (fabs (cbrt d4)) (* (cbrt (pow d4 2/3)) (cbrt (pow d4 2/3))) (* (cbrt (cbrt d4)) (cbrt (cbrt d4))) (* (cbrt (sqrt d4)) (cbrt (sqrt d4))) (* (cbrt (sqrt d4)) (cbrt (sqrt d4))) 1 (pow d4 2/3) (pow (cbrt (cbrt d4)) 4) (* (cbrt (cbrt d4)) (cbrt (cbrt d4))) (cbrt d4) (cbrt d4) 1 (pow d4 2/3) (* (cbrt (sqrt d4)) (cbrt (sqrt d4))) (* (cbrt (sqrt d4)) (cbrt (sqrt d4))) (* (cbrt (sqrt d4)) (sqrt (cbrt d4))) (* (cbrt (sqrt d4)) (sqrt (cbrt d4))) (* (cbrt (sqrt d4)) (sqrt (cbrt d4))) (* (cbrt (sqrt d4)) (sqrt (cbrt d4))) (cbrt d4) (cbrt d4) 2/3 2 (* (cbrt (pow d4 2/3)) (cbrt d4)) (* (cbrt d4) (cbrt (sqrt d4))) (cbrt d4) (* (pow (cbrt (cbrt d4)) 4) (cbrt (cbrt d4))) (pow (sqrt (cbrt d4)) 3) (cbrt d4) (pow (cbrt (cbrt d4)) 4) (* (cbrt d4) (cbrt (sqrt d4))) (pow d4 2/3) (pow (cbrt (cbrt d4)) 4) (pow (sqrt (cbrt d4)) 3) (pow d4 2/3) (cbrt d4) (pow (/ 1 d4) -1/3) (* (cbrt -1) (cbrt (- d4))) (cbrt d4) (pow (/ 1 d4) -1/3) (* (cbrt -1) (cbrt (- d4))) (cbrt d4) (pow (/ 1 d4) -1/3) (* (cbrt -1) (cbrt (- d4))) (pow d4 2/3) (pow (/ 1 d4) -2/3) (* (cbrt (* d4 d4)) (pow (cbrt -1) 2)) 10.515 * * * [progress]: adding candidates to table 10.783 * [progress]: [Phase 3 of 3] Extracting. 10.783 * * [regime]: Finding splitpoints for: (# #) 10.784 * * * [regime-changes]: Trying 4 branch expressions: (d4 d3 d2 d1) 10.784 * * * * [regimes]: Trying to branch on d4 from (# #) 10.797 * * * * [regimes]: Trying to branch on d3 from (# #) 10.814 * * * * [regimes]: Trying to branch on d2 from (# #) 10.828 * * * * [regimes]: Trying to branch on d1 from (# #) 10.843 * * * [regime]: Found split indices: #