5.031 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.027 * * * [progress]: [2/2] Setting up program. 0.029 * [progress]: [Phase 2 of 3] Improving. 0.029 * [simplify]: Simplifying using # : (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))) 0.030 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 0.031 * * [simplify]: iteration 1 : 25 enodes (cost 12 ) 0.035 * * [simplify]: iteration 2 : 65 enodes (cost 12 ) 0.043 * * [simplify]: iteration 3 : 125 enodes (cost 12 ) 0.060 * * [simplify]: iteration 4 : 197 enodes (cost 12 ) 0.087 * * [simplify]: iteration 5 : 250 enodes (cost 12 ) 0.120 * * [simplify]: iteration 6 : 300 enodes (cost 12 ) 0.156 * * [simplify]: iteration 7 : 335 enodes (cost 12 ) 0.197 * * [simplify]: iteration 8 : 379 enodes (cost 12 ) 0.245 * * [simplify]: iteration 9 : 447 enodes (cost 12 ) 0.319 * * [simplify]: iteration 10 : 604 enodes (cost 12 ) 0.581 * * [simplify]: iteration 11 : 1605 enodes (cost 12 ) 1.689 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 1.689 * [simplify]: Simplified to: (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))) 1.689 * * [progress]: iteration 1 / 4 1.690 * * * [progress]: picking best candidate 1.691 * * * * [pick]: Picked # 1.691 * * * [progress]: localizing error 1.698 * * * [progress]: generating rewritten candidates 1.698 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1.708 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 1.727 * * * [progress]: generating series expansions 1.727 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1.727 * [approximate]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in (t1 v u) around 0 1.727 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u 1.727 * [taylor]: Taking taylor expansion of -1 in u 1.727 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in u 1.727 * [taylor]: Taking taylor expansion of (* t1 v) in u 1.727 * [taylor]: Taking taylor expansion of t1 in u 1.727 * [taylor]: Taking taylor expansion of v in u 1.727 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u 1.727 * [taylor]: Taking taylor expansion of (+ t1 u) in u 1.727 * [taylor]: Taking taylor expansion of t1 in u 1.727 * [taylor]: Taking taylor expansion of u in u 1.728 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v 1.728 * [taylor]: Taking taylor expansion of -1 in v 1.728 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in v 1.728 * [taylor]: Taking taylor expansion of (* t1 v) in v 1.728 * [taylor]: Taking taylor expansion of t1 in v 1.728 * [taylor]: Taking taylor expansion of v in v 1.728 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v 1.728 * [taylor]: Taking taylor expansion of (+ t1 u) in v 1.728 * [taylor]: Taking taylor expansion of t1 in v 1.728 * [taylor]: Taking taylor expansion of u in v 1.728 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1 1.728 * [taylor]: Taking taylor expansion of -1 in t1 1.728 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1 1.729 * [taylor]: Taking taylor expansion of (* t1 v) in t1 1.729 * [taylor]: Taking taylor expansion of t1 in t1 1.729 * [taylor]: Taking taylor expansion of v in t1 1.729 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 1.729 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 1.729 * [taylor]: Taking taylor expansion of t1 in t1 1.729 * [taylor]: Taking taylor expansion of u in t1 1.729 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1 1.729 * [taylor]: Taking taylor expansion of -1 in t1 1.729 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1 1.729 * [taylor]: Taking taylor expansion of (* t1 v) in t1 1.729 * [taylor]: Taking taylor expansion of t1 in t1 1.729 * [taylor]: Taking taylor expansion of v in t1 1.729 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 1.729 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 1.729 * [taylor]: Taking taylor expansion of t1 in t1 1.729 * [taylor]: Taking taylor expansion of u in t1 1.730 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow u 2))) in v 1.730 * [taylor]: Taking taylor expansion of -1 in v 1.730 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in v 1.730 * [taylor]: Taking taylor expansion of v in v 1.730 * [taylor]: Taking taylor expansion of (pow u 2) in v 1.730 * [taylor]: Taking taylor expansion of u in v 1.730 * [taylor]: Taking taylor expansion of (/ -1 (pow u 2)) in u 1.730 * [taylor]: Taking taylor expansion of -1 in u 1.730 * [taylor]: Taking taylor expansion of (pow u 2) in u 1.730 * [taylor]: Taking taylor expansion of u in u 1.734 * [taylor]: Taking taylor expansion of (* 2 (/ v (pow u 3))) in v 1.734 * [taylor]: Taking taylor expansion of 2 in v 1.734 * [taylor]: Taking taylor expansion of (/ v (pow u 3)) in v 1.734 * [taylor]: Taking taylor expansion of v in v 1.734 * [taylor]: Taking taylor expansion of (pow u 3) in v 1.734 * [taylor]: Taking taylor expansion of u in v 1.735 * [taylor]: Taking taylor expansion of (/ 2 (pow u 3)) in u 1.735 * [taylor]: Taking taylor expansion of 2 in u 1.735 * [taylor]: Taking taylor expansion of (pow u 3) in u 1.735 * [taylor]: Taking taylor expansion of u in u 1.740 * [taylor]: Taking taylor expansion of 0 in u 1.744 * [taylor]: Taking taylor expansion of (- (* 3 (/ v (pow u 4)))) in v 1.744 * [taylor]: Taking taylor expansion of (* 3 (/ v (pow u 4))) in v 1.744 * [taylor]: Taking taylor expansion of 3 in v 1.744 * [taylor]: Taking taylor expansion of (/ v (pow u 4)) in v 1.744 * [taylor]: Taking taylor expansion of v in v 1.744 * [taylor]: Taking taylor expansion of (pow u 4) in v 1.744 * [taylor]: Taking taylor expansion of u in v 1.744 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow u 4)))) in u 1.744 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow u 4))) in u 1.744 * [taylor]: Taking taylor expansion of 3 in u 1.744 * [taylor]: Taking taylor expansion of (/ 1 (pow u 4)) in u 1.744 * [taylor]: Taking taylor expansion of (pow u 4) in u 1.744 * [taylor]: Taking taylor expansion of u in u 1.753 * [taylor]: Taking taylor expansion of 0 in u 1.753 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 v u) around 0 1.754 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u 1.754 * [taylor]: Taking taylor expansion of -1 in u 1.754 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u 1.754 * [taylor]: Taking taylor expansion of t1 in u 1.754 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u 1.754 * [taylor]: Taking taylor expansion of v in u 1.754 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 1.754 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 1.754 * [taylor]: Taking taylor expansion of (/ 1 u) in u 1.754 * [taylor]: Taking taylor expansion of u in u 1.754 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 1.754 * [taylor]: Taking taylor expansion of t1 in u 1.755 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 1.755 * [taylor]: Taking taylor expansion of -1 in v 1.755 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 1.755 * [taylor]: Taking taylor expansion of t1 in v 1.755 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 1.755 * [taylor]: Taking taylor expansion of v in v 1.755 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 1.755 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 1.755 * [taylor]: Taking taylor expansion of (/ 1 u) in v 1.755 * [taylor]: Taking taylor expansion of u in v 1.755 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 1.755 * [taylor]: Taking taylor expansion of t1 in v 1.757 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 1.757 * [taylor]: Taking taylor expansion of -1 in t1 1.757 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 1.757 * [taylor]: Taking taylor expansion of t1 in t1 1.757 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 1.757 * [taylor]: Taking taylor expansion of v in t1 1.757 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 1.757 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 1.757 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 1.757 * [taylor]: Taking taylor expansion of u in t1 1.757 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 1.757 * [taylor]: Taking taylor expansion of t1 in t1 1.759 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 1.759 * [taylor]: Taking taylor expansion of -1 in t1 1.759 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 1.759 * [taylor]: Taking taylor expansion of t1 in t1 1.759 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 1.759 * [taylor]: Taking taylor expansion of v in t1 1.759 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 1.759 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 1.759 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 1.759 * [taylor]: Taking taylor expansion of u in t1 1.759 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 1.759 * [taylor]: Taking taylor expansion of t1 in t1 1.761 * [taylor]: Taking taylor expansion of (/ -1 v) in v 1.761 * [taylor]: Taking taylor expansion of -1 in v 1.761 * [taylor]: Taking taylor expansion of v in v 1.761 * [taylor]: Taking taylor expansion of -1 in u 1.764 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in v 1.764 * [taylor]: Taking taylor expansion of 2 in v 1.764 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v 1.764 * [taylor]: Taking taylor expansion of (* v u) in v 1.764 * [taylor]: Taking taylor expansion of v in v 1.764 * [taylor]: Taking taylor expansion of u in v 1.764 * [taylor]: Taking taylor expansion of (/ 2 u) in u 1.764 * [taylor]: Taking taylor expansion of 2 in u 1.764 * [taylor]: Taking taylor expansion of u in u 1.766 * [taylor]: Taking taylor expansion of 0 in u 1.769 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* v (pow u 2))))) in v 1.769 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in v 1.769 * [taylor]: Taking taylor expansion of 3 in v 1.769 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v 1.769 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v 1.769 * [taylor]: Taking taylor expansion of v in v 1.769 * [taylor]: Taking taylor expansion of (pow u 2) in v 1.769 * [taylor]: Taking taylor expansion of u in v 1.770 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow u 2)))) in u 1.770 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow u 2))) in u 1.770 * [taylor]: Taking taylor expansion of 3 in u 1.770 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 1.770 * [taylor]: Taking taylor expansion of (pow u 2) in u 1.770 * [taylor]: Taking taylor expansion of u in u 1.780 * [taylor]: Taking taylor expansion of 0 in u 1.781 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 v u) around 0 1.781 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u 1.781 * [taylor]: Taking taylor expansion of -1 in u 1.781 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u 1.781 * [taylor]: Taking taylor expansion of t1 in u 1.781 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u 1.781 * [taylor]: Taking taylor expansion of v in u 1.781 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 1.781 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 1.781 * [taylor]: Taking taylor expansion of (/ 1 u) in u 1.781 * [taylor]: Taking taylor expansion of u in u 1.781 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 1.781 * [taylor]: Taking taylor expansion of t1 in u 1.782 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 1.782 * [taylor]: Taking taylor expansion of -1 in v 1.782 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 1.782 * [taylor]: Taking taylor expansion of t1 in v 1.782 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 1.782 * [taylor]: Taking taylor expansion of v in v 1.782 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 1.782 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 1.782 * [taylor]: Taking taylor expansion of (/ 1 u) in v 1.782 * [taylor]: Taking taylor expansion of u in v 1.782 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 1.782 * [taylor]: Taking taylor expansion of t1 in v 1.784 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 1.784 * [taylor]: Taking taylor expansion of -1 in t1 1.784 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 1.784 * [taylor]: Taking taylor expansion of t1 in t1 1.784 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 1.784 * [taylor]: Taking taylor expansion of v in t1 1.784 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 1.784 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 1.784 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 1.784 * [taylor]: Taking taylor expansion of u in t1 1.784 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 1.784 * [taylor]: Taking taylor expansion of t1 in t1 1.786 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 1.786 * [taylor]: Taking taylor expansion of -1 in t1 1.786 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 1.786 * [taylor]: Taking taylor expansion of t1 in t1 1.786 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 1.786 * [taylor]: Taking taylor expansion of v in t1 1.786 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 1.786 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 1.786 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 1.786 * [taylor]: Taking taylor expansion of u in t1 1.786 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 1.786 * [taylor]: Taking taylor expansion of t1 in t1 1.788 * [taylor]: Taking taylor expansion of (/ -1 v) in v 1.788 * [taylor]: Taking taylor expansion of -1 in v 1.788 * [taylor]: Taking taylor expansion of v in v 1.789 * [taylor]: Taking taylor expansion of -1 in u 1.791 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in v 1.791 * [taylor]: Taking taylor expansion of 2 in v 1.791 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v 1.791 * [taylor]: Taking taylor expansion of (* v u) in v 1.791 * [taylor]: Taking taylor expansion of v in v 1.791 * [taylor]: Taking taylor expansion of u in v 1.791 * [taylor]: Taking taylor expansion of (/ 2 u) in u 1.791 * [taylor]: Taking taylor expansion of 2 in u 1.791 * [taylor]: Taking taylor expansion of u in u 1.794 * [taylor]: Taking taylor expansion of 0 in u 1.796 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* v (pow u 2))))) in v 1.796 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in v 1.796 * [taylor]: Taking taylor expansion of 3 in v 1.796 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v 1.796 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v 1.796 * [taylor]: Taking taylor expansion of v in v 1.796 * [taylor]: Taking taylor expansion of (pow u 2) in v 1.796 * [taylor]: Taking taylor expansion of u in v 1.797 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow u 2)))) in u 1.797 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow u 2))) in u 1.797 * [taylor]: Taking taylor expansion of 3 in u 1.797 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 1.797 * [taylor]: Taking taylor expansion of (pow u 2) in u 1.797 * [taylor]: Taking taylor expansion of u in u 1.804 * [taylor]: Taking taylor expansion of 0 in u 1.804 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 1.804 * [approximate]: Taking taylor expansion of (pow (+ t1 u) 2) in (t1 u) around 0 1.804 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u 1.804 * [taylor]: Taking taylor expansion of (+ t1 u) in u 1.804 * [taylor]: Taking taylor expansion of t1 in u 1.804 * [taylor]: Taking taylor expansion of u in u 1.804 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 1.804 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 1.804 * [taylor]: Taking taylor expansion of t1 in t1 1.804 * [taylor]: Taking taylor expansion of u in t1 1.804 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 1.804 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 1.804 * [taylor]: Taking taylor expansion of t1 in t1 1.804 * [taylor]: Taking taylor expansion of u in t1 1.804 * [taylor]: Taking taylor expansion of (pow u 2) in u 1.804 * [taylor]: Taking taylor expansion of u in u 1.805 * [taylor]: Taking taylor expansion of (* 2 u) in u 1.805 * [taylor]: Taking taylor expansion of 2 in u 1.805 * [taylor]: Taking taylor expansion of u in u 1.805 * [taylor]: Taking taylor expansion of 1 in u 1.807 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in (t1 u) around 0 1.807 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 1.807 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 1.807 * [taylor]: Taking taylor expansion of (/ 1 u) in u 1.807 * [taylor]: Taking taylor expansion of u in u 1.807 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 1.807 * [taylor]: Taking taylor expansion of t1 in u 1.807 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 1.807 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 1.807 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 1.807 * [taylor]: Taking taylor expansion of u in t1 1.807 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 1.807 * [taylor]: Taking taylor expansion of t1 in t1 1.808 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 1.808 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 1.808 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 1.808 * [taylor]: Taking taylor expansion of u in t1 1.808 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 1.808 * [taylor]: Taking taylor expansion of t1 in t1 1.809 * [taylor]: Taking taylor expansion of 1 in u 1.809 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in u 1.809 * [taylor]: Taking taylor expansion of 2 in u 1.809 * [taylor]: Taking taylor expansion of (/ 1 u) in u 1.810 * [taylor]: Taking taylor expansion of u in u 1.811 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 1.811 * [taylor]: Taking taylor expansion of (pow u 2) in u 1.811 * [taylor]: Taking taylor expansion of u in u 1.813 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in (t1 u) around 0 1.813 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 1.813 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 1.813 * [taylor]: Taking taylor expansion of (/ 1 u) in u 1.813 * [taylor]: Taking taylor expansion of u in u 1.813 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 1.813 * [taylor]: Taking taylor expansion of t1 in u 1.813 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 1.813 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 1.813 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 1.813 * [taylor]: Taking taylor expansion of u in t1 1.813 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 1.813 * [taylor]: Taking taylor expansion of t1 in t1 1.814 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 1.814 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 1.814 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 1.814 * [taylor]: Taking taylor expansion of u in t1 1.814 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 1.814 * [taylor]: Taking taylor expansion of t1 in t1 1.815 * [taylor]: Taking taylor expansion of 1 in u 1.815 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in u 1.815 * [taylor]: Taking taylor expansion of 2 in u 1.816 * [taylor]: Taking taylor expansion of (/ 1 u) in u 1.816 * [taylor]: Taking taylor expansion of u in u 1.817 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 1.817 * [taylor]: Taking taylor expansion of (pow u 2) in u 1.817 * [taylor]: Taking taylor expansion of u in u 1.818 * * * [progress]: simplifying candidates 1.820 * [simplify]: Simplifying using # : (expm1 (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))) (log1p (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))) (- (+ (log (- t1)) (log v)) (+ (log (+ t1 u)) (log (+ t1 u)))) (- (+ (log (- t1)) (log v)) (log (* (+ t1 u) (+ t1 u)))) (- (log (* (- t1) v)) (+ (log (+ t1 u)) (log (+ t1 u)))) (- (log (* (- t1) v)) (log (* (+ t1 u) (+ t1 u)))) (log (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))) (exp (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))) (/ (* (* (* (- t1) (- t1)) (- t1)) (* (* v v) v)) (* (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))) (/ (* (* (* (- t1) (- t1)) (- t1)) (* (* v v) v)) (* (* (* (+ t1 u) (+ t1 u)) (* (+ t1 u) (+ t1 u))) (* (+ t1 u) (+ t1 u)))) (/ (* (* (* (- t1) v) (* (- t1) v)) (* (- t1) v)) (* (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))) (/ (* (* (* (- t1) v) (* (- t1) v)) (* (- t1) v)) (* (* (* (+ t1 u) (+ t1 u)) (* (+ t1 u) (+ t1 u))) (* (+ t1 u) (+ t1 u)))) (* (cbrt (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))) (cbrt (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))))) (cbrt (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))) (* (* (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))) (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))) (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))) (sqrt (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))) (sqrt (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))) (- (* (- t1) v)) (- (* (+ t1 u) (+ t1 u))) (/ (- t1) (+ t1 u)) (/ v (+ t1 u)) (/ 1 (* (+ t1 u) (+ t1 u))) (/ (* (+ t1 u) (+ t1 u)) (* (- t1) v)) (/ (* t1 v) (* (+ t1 u) (+ t1 u))) (/ (* (- t1) v) (+ t1 u)) (/ (* (+ t1 u) (+ t1 u)) v) (/ (* (- t1) v) (* (+ (pow t1 3) (pow u 3)) (+ (pow t1 3) (pow u 3)))) (/ (* (- t1) v) (* (+ (pow t1 3) (pow u 3)) (- (* t1 t1) (* u u)))) (/ (* (- t1) v) (* (- (* t1 t1) (* u u)) (+ (pow t1 3) (pow u 3)))) (/ (* (- t1) v) (* (- (* t1 t1) (* u u)) (- (* t1 t1) (* u u)))) (/ (* (- t1) v) (* (+ t1 u) (+ (pow t1 3) (pow u 3)))) (/ (* (- t1) v) (* (+ t1 u) (- (* t1 t1) (* u u)))) (/ (* (- t1) v) (* (+ (pow t1 3) (pow u 3)) (+ t1 u))) (/ (* (- t1) v) (* (- (* t1 t1) (* u u)) (+ t1 u))) (expm1 (* (+ t1 u) (+ t1 u))) (log1p (* (+ t1 u) (+ t1 u))) (+ 1 1) (* (+ t1 u) (+ t1 u)) (+ 1 1) (+ (log (+ t1 u)) (log (+ t1 u))) (log (* (+ t1 u) (+ t1 u))) (exp (* (+ t1 u) (+ t1 u))) (* (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))) (* (cbrt (* (+ t1 u) (+ t1 u))) (cbrt (* (+ t1 u) (+ t1 u)))) (cbrt (* (+ t1 u) (+ t1 u))) (* (* (* (+ t1 u) (+ t1 u)) (* (+ t1 u) (+ t1 u))) (* (+ t1 u) (+ t1 u))) (sqrt (* (+ t1 u) (+ t1 u))) (sqrt (* (+ t1 u) (+ t1 u))) (* (+ (pow t1 3) (pow u 3)) (+ (pow t1 3) (pow u 3))) (* (+ (* t1 t1) (- (* u u) (* t1 u))) (+ (* t1 t1) (- (* u u) (* t1 u)))) (* (+ (pow t1 3) (pow u 3)) (- (* t1 t1) (* u u))) (* (+ (* t1 t1) (- (* u u) (* t1 u))) (- t1 u)) (* (- (* t1 t1) (* u u)) (+ (pow t1 3) (pow u 3))) (* (- t1 u) (+ (* t1 t1) (- (* u u) (* t1 u)))) (* (- (* t1 t1) (* u u)) (- (* t1 t1) (* u u))) (* (- t1 u) (- t1 u)) (* (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (* (sqrt (+ t1 u)) (sqrt (+ t1 u))) (* (sqrt (+ t1 u)) (sqrt (+ t1 u))) (* 1 1) (* (+ t1 u) (+ t1 u)) (* 1 1) (* (+ t1 u) (+ t1 u)) (* 1 1) (* (+ t1 u) (+ t1 u)) (* 1 1) (* (+ t1 u) (+ t1 u)) (* (sqrt (+ t1 u)) (sqrt (+ t1 u))) (* (sqrt (+ t1 u)) (sqrt (+ t1 u))) (* 2 1) (* (+ t1 u) t1) (* (+ t1 u) u) (* t1 (+ t1 u)) (* u (+ t1 u)) (* (+ t1 u) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (* (+ t1 u) (sqrt (+ t1 u))) (* (+ t1 u) 1) (* (+ t1 u) 1) (* (cbrt (+ t1 u)) (+ t1 u)) (* (sqrt (+ t1 u)) (+ t1 u)) (* (+ t1 u) (+ t1 u)) (* (+ t1 u) (+ t1 u)) (* (+ t1 u) (+ (pow t1 3) (pow u 3))) (* (+ t1 u) (- (* t1 t1) (* u u))) (* (+ (pow t1 3) (pow u 3)) (+ t1 u)) (* (- (* t1 t1) (* u u)) (+ t1 u)) 0 0 0 (+ (* 2 (* t1 u)) (+ (pow t1 2) (pow u 2))) (+ (pow t1 2) (+ (* 2 (* t1 u)) (pow u 2))) (+ (pow t1 2) (+ (* 2 (* t1 u)) (pow u 2))) 1.823 * * [simplify]: iteration 0 : 117 enodes (cost 1120 ) 1.852 * * [simplify]: iteration 1 : 378 enodes (cost 1025 ) 1.972 * * [simplify]: iteration 2 : 1812 enodes (cost 869 ) 2.415 * * [simplify]: iteration done : 5000 enodes (cost 869 ) 2.415 * [simplify]: Simplified to: (expm1 (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))) (log1p (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))) (- (log (* (- t1) v)) (* 2 (log (+ t1 u)))) (- (log (* (- t1) v)) (* 2 (log (+ t1 u)))) (- (log (* (- t1) v)) (* 2 (log (+ t1 u)))) (- (log (* (- t1) v)) (* 2 (log (+ t1 u)))) (- (log (* (- t1) v)) (* 2 (log (+ t1 u)))) (exp (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))) (pow (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))) 3) (pow (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))) 3) (pow (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))) 3) (pow (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))) 3) (* (cbrt (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))) (cbrt (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))))) (cbrt (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))) (pow (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))) 3) (sqrt (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))) (sqrt (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))) (* t1 v) (- (* (+ t1 u) (+ t1 u))) (/ (- t1) (+ t1 u)) (/ v (+ t1 u)) (/ 1 (* (+ t1 u) (+ t1 u))) (/ (* (+ t1 u) (+ t1 u)) (* (- t1) v)) (/ (* t1 v) (* (+ t1 u) (+ t1 u))) (* (- t1) (/ v (+ t1 u))) (* (+ u t1) (/ (+ u t1) v)) (/ (* (- t1) v) (* (+ (pow t1 3) (pow u 3)) (+ (pow t1 3) (pow u 3)))) (/ (* (- t1) v) (* (+ (pow t1 3) (pow u 3)) (- (* t1 t1) (* u u)))) (/ (* (- t1) v) (* (+ (pow t1 3) (pow u 3)) (- (* t1 t1) (* u u)))) (/ (* (- t1) v) (* (- (* t1 t1) (* u u)) (- (* t1 t1) (* u u)))) (/ (* (- t1) v) (* (+ (pow t1 3) (pow u 3)) (+ t1 u))) (/ (* (- t1) v) (* (- (* t1 t1) (* u u)) (+ t1 u))) (/ (* (- t1) v) (* (+ (pow t1 3) (pow u 3)) (+ t1 u))) (/ (* (- t1) v) (* (- (* t1 t1) (* u u)) (+ t1 u))) (expm1 (* (+ t1 u) (+ t1 u))) (log1p (* (+ t1 u) (+ t1 u))) 2 (* (+ t1 u) (+ t1 u)) 2 (* 2 (log (+ t1 u))) (* 2 (log (+ t1 u))) (exp (* (+ t1 u) (+ t1 u))) (pow (* (+ t1 u) (+ t1 u)) 3) (* (cbrt (* (+ t1 u) (+ t1 u))) (cbrt (* (+ t1 u) (+ t1 u)))) (cbrt (* (+ t1 u) (+ t1 u))) (pow (* (+ t1 u) (+ t1 u)) 3) (fabs (+ u t1)) (fabs (+ u t1)) (* (+ (pow t1 3) (pow u 3)) (+ (pow t1 3) (pow u 3))) (* (fma t1 t1 (* u (- u t1))) (fma t1 t1 (* u (- u t1)))) (* (+ (pow t1 3) (pow u 3)) (- (* t1 t1) (* u u))) (* (fma t1 t1 (* u (- u t1))) (- t1 u)) (* (+ (pow t1 3) (pow u 3)) (- (* t1 t1) (* u u))) (* (fma t1 t1 (* u (- u t1))) (- t1 u)) (* (- (* t1 t1) (* u u)) (- (* t1 t1) (* u u))) (* (- t1 u) (- t1 u)) (* (cbrt (+ t1 u)) (pow (cbrt (+ t1 u)) 3)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (+ u t1) (+ u t1) 1 (* (+ t1 u) (+ t1 u)) 1 (* (+ t1 u) (+ t1 u)) 1 (* (+ t1 u) (+ t1 u)) 1 (* (+ t1 u) (+ t1 u)) (+ u t1) (+ u t1) 2 (* t1 (+ t1 u)) (* u (+ t1 u)) (* t1 (+ t1 u)) (* u (+ t1 u)) (* (+ t1 u) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (pow (sqrt (+ t1 u)) 3) (+ u t1) (+ u t1) (* (cbrt (+ t1 u)) (+ t1 u)) (pow (sqrt (+ t1 u)) 3) (* (+ t1 u) (+ t1 u)) (* (+ t1 u) (+ t1 u)) (* (+ (pow t1 3) (pow u 3)) (+ t1 u)) (* (- (* t1 t1) (* u u)) (+ t1 u)) (* (+ (pow t1 3) (pow u 3)) (+ t1 u)) (* (- (* t1 t1) (* u u)) (+ t1 u)) 0 0 0 (fma t1 t1 (* u (+ (* 2 t1) u))) (fma t1 t1 (* u (+ (* 2 t1) u))) (fma t1 t1 (* u (+ (* 2 t1) u))) 2.416 * * * [progress]: adding candidates to table 2.547 * * [progress]: iteration 2 / 4 2.547 * * * [progress]: picking best candidate 2.552 * * * * [pick]: Picked # 2.553 * * * [progress]: localizing error 2.559 * * * [progress]: generating rewritten candidates 2.560 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 2.578 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 2.592 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2) 2.601 * * * [progress]: generating series expansions 2.601 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 2.601 * [approximate]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in (t1 v u) around 0 2.601 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in u 2.601 * [taylor]: Taking taylor expansion of -1 in u 2.601 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in u 2.601 * [taylor]: Taking taylor expansion of (* t1 v) in u 2.601 * [taylor]: Taking taylor expansion of t1 in u 2.601 * [taylor]: Taking taylor expansion of v in u 2.601 * [taylor]: Taking taylor expansion of (+ t1 u) in u 2.602 * [taylor]: Taking taylor expansion of t1 in u 2.602 * [taylor]: Taking taylor expansion of u in u 2.602 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in v 2.602 * [taylor]: Taking taylor expansion of -1 in v 2.602 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in v 2.602 * [taylor]: Taking taylor expansion of (* t1 v) in v 2.602 * [taylor]: Taking taylor expansion of t1 in v 2.602 * [taylor]: Taking taylor expansion of v in v 2.602 * [taylor]: Taking taylor expansion of (+ t1 u) in v 2.602 * [taylor]: Taking taylor expansion of t1 in v 2.602 * [taylor]: Taking taylor expansion of u in v 2.602 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in t1 2.602 * [taylor]: Taking taylor expansion of -1 in t1 2.603 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in t1 2.603 * [taylor]: Taking taylor expansion of (* t1 v) in t1 2.603 * [taylor]: Taking taylor expansion of t1 in t1 2.603 * [taylor]: Taking taylor expansion of v in t1 2.603 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 2.603 * [taylor]: Taking taylor expansion of t1 in t1 2.603 * [taylor]: Taking taylor expansion of u in t1 2.603 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in t1 2.603 * [taylor]: Taking taylor expansion of -1 in t1 2.603 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in t1 2.603 * [taylor]: Taking taylor expansion of (* t1 v) in t1 2.603 * [taylor]: Taking taylor expansion of t1 in t1 2.603 * [taylor]: Taking taylor expansion of v in t1 2.603 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 2.603 * [taylor]: Taking taylor expansion of t1 in t1 2.603 * [taylor]: Taking taylor expansion of u in t1 2.604 * [taylor]: Taking taylor expansion of (* -1 (/ v u)) in v 2.604 * [taylor]: Taking taylor expansion of -1 in v 2.604 * [taylor]: Taking taylor expansion of (/ v u) in v 2.604 * [taylor]: Taking taylor expansion of v in v 2.604 * [taylor]: Taking taylor expansion of u in v 2.604 * [taylor]: Taking taylor expansion of (/ -1 u) in u 2.604 * [taylor]: Taking taylor expansion of -1 in u 2.604 * [taylor]: Taking taylor expansion of u in u 2.606 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in v 2.606 * [taylor]: Taking taylor expansion of v in v 2.606 * [taylor]: Taking taylor expansion of (pow u 2) in v 2.606 * [taylor]: Taking taylor expansion of u in v 2.606 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 2.606 * [taylor]: Taking taylor expansion of (pow u 2) in u 2.606 * [taylor]: Taking taylor expansion of u in u 2.609 * [taylor]: Taking taylor expansion of 0 in u 2.611 * [taylor]: Taking taylor expansion of (- (/ v (pow u 3))) in v 2.611 * [taylor]: Taking taylor expansion of (/ v (pow u 3)) in v 2.611 * [taylor]: Taking taylor expansion of v in v 2.611 * [taylor]: Taking taylor expansion of (pow u 3) in v 2.611 * [taylor]: Taking taylor expansion of u in v 2.611 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 3))) in u 2.611 * [taylor]: Taking taylor expansion of (/ 1 (pow u 3)) in u 2.611 * [taylor]: Taking taylor expansion of (pow u 3) in u 2.611 * [taylor]: Taking taylor expansion of u in u 2.617 * [taylor]: Taking taylor expansion of 0 in u 2.617 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in (t1 v u) around 0 2.617 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in u 2.617 * [taylor]: Taking taylor expansion of -1 in u 2.617 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in u 2.617 * [taylor]: Taking taylor expansion of t1 in u 2.617 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u 2.617 * [taylor]: Taking taylor expansion of v in u 2.617 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 2.617 * [taylor]: Taking taylor expansion of (/ 1 u) in u 2.617 * [taylor]: Taking taylor expansion of u in u 2.618 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 2.618 * [taylor]: Taking taylor expansion of t1 in u 2.618 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in v 2.618 * [taylor]: Taking taylor expansion of -1 in v 2.618 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 2.618 * [taylor]: Taking taylor expansion of t1 in v 2.618 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 2.618 * [taylor]: Taking taylor expansion of v in v 2.618 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 2.618 * [taylor]: Taking taylor expansion of (/ 1 u) in v 2.618 * [taylor]: Taking taylor expansion of u in v 2.618 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 2.618 * [taylor]: Taking taylor expansion of t1 in v 2.619 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1 2.619 * [taylor]: Taking taylor expansion of -1 in t1 2.619 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 2.619 * [taylor]: Taking taylor expansion of t1 in t1 2.619 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 2.619 * [taylor]: Taking taylor expansion of v in t1 2.619 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 2.619 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 2.619 * [taylor]: Taking taylor expansion of u in t1 2.620 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 2.620 * [taylor]: Taking taylor expansion of t1 in t1 2.621 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1 2.621 * [taylor]: Taking taylor expansion of -1 in t1 2.621 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 2.621 * [taylor]: Taking taylor expansion of t1 in t1 2.621 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 2.621 * [taylor]: Taking taylor expansion of v in t1 2.621 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 2.621 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 2.621 * [taylor]: Taking taylor expansion of u in t1 2.621 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 2.621 * [taylor]: Taking taylor expansion of t1 in t1 2.623 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.623 * [taylor]: Taking taylor expansion of -1 in v 2.623 * [taylor]: Taking taylor expansion of v in v 2.623 * [taylor]: Taking taylor expansion of -1 in u 2.625 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v 2.625 * [taylor]: Taking taylor expansion of (* v u) in v 2.625 * [taylor]: Taking taylor expansion of v in v 2.625 * [taylor]: Taking taylor expansion of u in v 2.625 * [taylor]: Taking taylor expansion of (/ 1 u) in u 2.625 * [taylor]: Taking taylor expansion of u in u 2.627 * [taylor]: Taking taylor expansion of 0 in u 2.629 * [taylor]: Taking taylor expansion of (- (/ 1 (* v (pow u 2)))) in v 2.629 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v 2.629 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v 2.629 * [taylor]: Taking taylor expansion of v in v 2.629 * [taylor]: Taking taylor expansion of (pow u 2) in v 2.629 * [taylor]: Taking taylor expansion of u in v 2.630 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 2))) in u 2.630 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 2.630 * [taylor]: Taking taylor expansion of (pow u 2) in u 2.630 * [taylor]: Taking taylor expansion of u in u 2.634 * [taylor]: Taking taylor expansion of 0 in u 2.634 * [approximate]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in (t1 v u) around 0 2.634 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in u 2.634 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in u 2.634 * [taylor]: Taking taylor expansion of t1 in u 2.634 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u 2.634 * [taylor]: Taking taylor expansion of v in u 2.634 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 2.634 * [taylor]: Taking taylor expansion of (/ 1 u) in u 2.634 * [taylor]: Taking taylor expansion of u in u 2.635 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 2.635 * [taylor]: Taking taylor expansion of t1 in u 2.635 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in v 2.635 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 2.635 * [taylor]: Taking taylor expansion of t1 in v 2.635 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 2.635 * [taylor]: Taking taylor expansion of v in v 2.635 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 2.635 * [taylor]: Taking taylor expansion of (/ 1 u) in v 2.635 * [taylor]: Taking taylor expansion of u in v 2.635 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 2.635 * [taylor]: Taking taylor expansion of t1 in v 2.636 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1 2.636 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 2.636 * [taylor]: Taking taylor expansion of t1 in t1 2.637 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 2.637 * [taylor]: Taking taylor expansion of v in t1 2.637 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 2.637 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 2.637 * [taylor]: Taking taylor expansion of u in t1 2.637 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 2.637 * [taylor]: Taking taylor expansion of t1 in t1 2.638 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1 2.638 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 2.638 * [taylor]: Taking taylor expansion of t1 in t1 2.638 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 2.638 * [taylor]: Taking taylor expansion of v in t1 2.638 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 2.638 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 2.638 * [taylor]: Taking taylor expansion of u in t1 2.638 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 2.638 * [taylor]: Taking taylor expansion of t1 in t1 2.640 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.640 * [taylor]: Taking taylor expansion of v in v 2.640 * [taylor]: Taking taylor expansion of 1 in u 2.641 * [taylor]: Taking taylor expansion of (- (/ 1 (* v u))) in v 2.642 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v 2.642 * [taylor]: Taking taylor expansion of (* v u) in v 2.642 * [taylor]: Taking taylor expansion of v in v 2.642 * [taylor]: Taking taylor expansion of u in v 2.642 * [taylor]: Taking taylor expansion of (- (/ 1 u)) in u 2.642 * [taylor]: Taking taylor expansion of (/ 1 u) in u 2.642 * [taylor]: Taking taylor expansion of u in u 2.644 * [taylor]: Taking taylor expansion of 0 in u 2.646 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v 2.646 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v 2.646 * [taylor]: Taking taylor expansion of v in v 2.646 * [taylor]: Taking taylor expansion of (pow u 2) in v 2.646 * [taylor]: Taking taylor expansion of u in v 2.647 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 2.647 * [taylor]: Taking taylor expansion of (pow u 2) in u 2.647 * [taylor]: Taking taylor expansion of u in u 2.651 * [taylor]: Taking taylor expansion of 0 in u 2.651 * * * * [progress]: [ 2 / 3 ] generating series at (2) 2.651 * [approximate]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in (t1 v u) around 0 2.651 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u 2.651 * [taylor]: Taking taylor expansion of -1 in u 2.651 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in u 2.651 * [taylor]: Taking taylor expansion of (* t1 v) in u 2.651 * [taylor]: Taking taylor expansion of t1 in u 2.651 * [taylor]: Taking taylor expansion of v in u 2.651 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u 2.651 * [taylor]: Taking taylor expansion of (+ t1 u) in u 2.651 * [taylor]: Taking taylor expansion of t1 in u 2.651 * [taylor]: Taking taylor expansion of u in u 2.651 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v 2.652 * [taylor]: Taking taylor expansion of -1 in v 2.652 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in v 2.652 * [taylor]: Taking taylor expansion of (* t1 v) in v 2.652 * [taylor]: Taking taylor expansion of t1 in v 2.652 * [taylor]: Taking taylor expansion of v in v 2.652 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v 2.652 * [taylor]: Taking taylor expansion of (+ t1 u) in v 2.652 * [taylor]: Taking taylor expansion of t1 in v 2.652 * [taylor]: Taking taylor expansion of u in v 2.652 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1 2.652 * [taylor]: Taking taylor expansion of -1 in t1 2.652 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1 2.652 * [taylor]: Taking taylor expansion of (* t1 v) in t1 2.652 * [taylor]: Taking taylor expansion of t1 in t1 2.652 * [taylor]: Taking taylor expansion of v in t1 2.652 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 2.652 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 2.652 * [taylor]: Taking taylor expansion of t1 in t1 2.652 * [taylor]: Taking taylor expansion of u in t1 2.653 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1 2.653 * [taylor]: Taking taylor expansion of -1 in t1 2.653 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1 2.653 * [taylor]: Taking taylor expansion of (* t1 v) in t1 2.653 * [taylor]: Taking taylor expansion of t1 in t1 2.653 * [taylor]: Taking taylor expansion of v in t1 2.653 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 2.653 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 2.653 * [taylor]: Taking taylor expansion of t1 in t1 2.653 * [taylor]: Taking taylor expansion of u in t1 2.653 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow u 2))) in v 2.653 * [taylor]: Taking taylor expansion of -1 in v 2.653 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in v 2.653 * [taylor]: Taking taylor expansion of v in v 2.653 * [taylor]: Taking taylor expansion of (pow u 2) in v 2.654 * [taylor]: Taking taylor expansion of u in v 2.654 * [taylor]: Taking taylor expansion of (/ -1 (pow u 2)) in u 2.654 * [taylor]: Taking taylor expansion of -1 in u 2.654 * [taylor]: Taking taylor expansion of (pow u 2) in u 2.654 * [taylor]: Taking taylor expansion of u in u 2.657 * [taylor]: Taking taylor expansion of (* 2 (/ v (pow u 3))) in v 2.657 * [taylor]: Taking taylor expansion of 2 in v 2.658 * [taylor]: Taking taylor expansion of (/ v (pow u 3)) in v 2.658 * [taylor]: Taking taylor expansion of v in v 2.658 * [taylor]: Taking taylor expansion of (pow u 3) in v 2.658 * [taylor]: Taking taylor expansion of u in v 2.658 * [taylor]: Taking taylor expansion of (/ 2 (pow u 3)) in u 2.658 * [taylor]: Taking taylor expansion of 2 in u 2.658 * [taylor]: Taking taylor expansion of (pow u 3) in u 2.658 * [taylor]: Taking taylor expansion of u in u 2.664 * [taylor]: Taking taylor expansion of 0 in u 2.667 * [taylor]: Taking taylor expansion of (- (* 3 (/ v (pow u 4)))) in v 2.667 * [taylor]: Taking taylor expansion of (* 3 (/ v (pow u 4))) in v 2.667 * [taylor]: Taking taylor expansion of 3 in v 2.667 * [taylor]: Taking taylor expansion of (/ v (pow u 4)) in v 2.667 * [taylor]: Taking taylor expansion of v in v 2.667 * [taylor]: Taking taylor expansion of (pow u 4) in v 2.667 * [taylor]: Taking taylor expansion of u in v 2.668 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow u 4)))) in u 2.668 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow u 4))) in u 2.668 * [taylor]: Taking taylor expansion of 3 in u 2.668 * [taylor]: Taking taylor expansion of (/ 1 (pow u 4)) in u 2.668 * [taylor]: Taking taylor expansion of (pow u 4) in u 2.668 * [taylor]: Taking taylor expansion of u in u 2.681 * [taylor]: Taking taylor expansion of 0 in u 2.682 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 v u) around 0 2.682 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u 2.682 * [taylor]: Taking taylor expansion of -1 in u 2.682 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u 2.682 * [taylor]: Taking taylor expansion of t1 in u 2.682 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u 2.682 * [taylor]: Taking taylor expansion of v in u 2.682 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 2.682 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 2.682 * [taylor]: Taking taylor expansion of (/ 1 u) in u 2.682 * [taylor]: Taking taylor expansion of u in u 2.682 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 2.682 * [taylor]: Taking taylor expansion of t1 in u 2.683 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 2.683 * [taylor]: Taking taylor expansion of -1 in v 2.683 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 2.683 * [taylor]: Taking taylor expansion of t1 in v 2.683 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 2.683 * [taylor]: Taking taylor expansion of v in v 2.683 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 2.683 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 2.683 * [taylor]: Taking taylor expansion of (/ 1 u) in v 2.683 * [taylor]: Taking taylor expansion of u in v 2.683 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 2.683 * [taylor]: Taking taylor expansion of t1 in v 2.685 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 2.685 * [taylor]: Taking taylor expansion of -1 in t1 2.685 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 2.685 * [taylor]: Taking taylor expansion of t1 in t1 2.685 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 2.685 * [taylor]: Taking taylor expansion of v in t1 2.685 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 2.685 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 2.685 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 2.685 * [taylor]: Taking taylor expansion of u in t1 2.685 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 2.685 * [taylor]: Taking taylor expansion of t1 in t1 2.687 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 2.687 * [taylor]: Taking taylor expansion of -1 in t1 2.687 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 2.687 * [taylor]: Taking taylor expansion of t1 in t1 2.687 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 2.687 * [taylor]: Taking taylor expansion of v in t1 2.687 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 2.687 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 2.687 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 2.687 * [taylor]: Taking taylor expansion of u in t1 2.687 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 2.687 * [taylor]: Taking taylor expansion of t1 in t1 2.689 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.689 * [taylor]: Taking taylor expansion of -1 in v 2.689 * [taylor]: Taking taylor expansion of v in v 2.689 * [taylor]: Taking taylor expansion of -1 in u 2.691 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in v 2.691 * [taylor]: Taking taylor expansion of 2 in v 2.691 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v 2.691 * [taylor]: Taking taylor expansion of (* v u) in v 2.691 * [taylor]: Taking taylor expansion of v in v 2.692 * [taylor]: Taking taylor expansion of u in v 2.692 * [taylor]: Taking taylor expansion of (/ 2 u) in u 2.692 * [taylor]: Taking taylor expansion of 2 in u 2.692 * [taylor]: Taking taylor expansion of u in u 2.694 * [taylor]: Taking taylor expansion of 0 in u 2.697 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* v (pow u 2))))) in v 2.697 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in v 2.697 * [taylor]: Taking taylor expansion of 3 in v 2.697 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v 2.697 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v 2.697 * [taylor]: Taking taylor expansion of v in v 2.697 * [taylor]: Taking taylor expansion of (pow u 2) in v 2.697 * [taylor]: Taking taylor expansion of u in v 2.698 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow u 2)))) in u 2.698 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow u 2))) in u 2.698 * [taylor]: Taking taylor expansion of 3 in u 2.698 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 2.698 * [taylor]: Taking taylor expansion of (pow u 2) in u 2.698 * [taylor]: Taking taylor expansion of u in u 2.704 * [taylor]: Taking taylor expansion of 0 in u 2.705 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 v u) around 0 2.705 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u 2.705 * [taylor]: Taking taylor expansion of -1 in u 2.705 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u 2.705 * [taylor]: Taking taylor expansion of t1 in u 2.705 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u 2.705 * [taylor]: Taking taylor expansion of v in u 2.705 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 2.705 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 2.705 * [taylor]: Taking taylor expansion of (/ 1 u) in u 2.705 * [taylor]: Taking taylor expansion of u in u 2.705 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 2.705 * [taylor]: Taking taylor expansion of t1 in u 2.706 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 2.706 * [taylor]: Taking taylor expansion of -1 in v 2.706 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 2.706 * [taylor]: Taking taylor expansion of t1 in v 2.706 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 2.706 * [taylor]: Taking taylor expansion of v in v 2.706 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 2.706 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 2.706 * [taylor]: Taking taylor expansion of (/ 1 u) in v 2.706 * [taylor]: Taking taylor expansion of u in v 2.706 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 2.706 * [taylor]: Taking taylor expansion of t1 in v 2.708 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 2.708 * [taylor]: Taking taylor expansion of -1 in t1 2.708 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 2.708 * [taylor]: Taking taylor expansion of t1 in t1 2.708 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 2.708 * [taylor]: Taking taylor expansion of v in t1 2.708 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 2.708 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 2.708 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 2.708 * [taylor]: Taking taylor expansion of u in t1 2.708 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 2.708 * [taylor]: Taking taylor expansion of t1 in t1 2.710 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 2.710 * [taylor]: Taking taylor expansion of -1 in t1 2.710 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 2.710 * [taylor]: Taking taylor expansion of t1 in t1 2.710 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 2.710 * [taylor]: Taking taylor expansion of v in t1 2.710 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 2.710 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 2.710 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 2.710 * [taylor]: Taking taylor expansion of u in t1 2.710 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 2.710 * [taylor]: Taking taylor expansion of t1 in t1 2.712 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.712 * [taylor]: Taking taylor expansion of -1 in v 2.712 * [taylor]: Taking taylor expansion of v in v 2.712 * [taylor]: Taking taylor expansion of -1 in u 2.714 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in v 2.714 * [taylor]: Taking taylor expansion of 2 in v 2.714 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v 2.715 * [taylor]: Taking taylor expansion of (* v u) in v 2.715 * [taylor]: Taking taylor expansion of v in v 2.715 * [taylor]: Taking taylor expansion of u in v 2.715 * [taylor]: Taking taylor expansion of (/ 2 u) in u 2.715 * [taylor]: Taking taylor expansion of 2 in u 2.715 * [taylor]: Taking taylor expansion of u in u 2.717 * [taylor]: Taking taylor expansion of 0 in u 2.720 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* v (pow u 2))))) in v 2.720 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in v 2.720 * [taylor]: Taking taylor expansion of 3 in v 2.720 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v 2.720 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v 2.720 * [taylor]: Taking taylor expansion of v in v 2.720 * [taylor]: Taking taylor expansion of (pow u 2) in v 2.720 * [taylor]: Taking taylor expansion of u in v 2.721 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow u 2)))) in u 2.721 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow u 2))) in u 2.721 * [taylor]: Taking taylor expansion of 3 in u 2.721 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 2.721 * [taylor]: Taking taylor expansion of (pow u 2) in u 2.721 * [taylor]: Taking taylor expansion of u in u 2.727 * [taylor]: Taking taylor expansion of 0 in u 2.728 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2) 2.728 * [approximate]: Taking taylor expansion of (/ v (+ t1 u)) in (v t1 u) around 0 2.728 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in u 2.728 * [taylor]: Taking taylor expansion of v in u 2.728 * [taylor]: Taking taylor expansion of (+ t1 u) in u 2.728 * [taylor]: Taking taylor expansion of t1 in u 2.728 * [taylor]: Taking taylor expansion of u in u 2.728 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in t1 2.728 * [taylor]: Taking taylor expansion of v in t1 2.728 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 2.728 * [taylor]: Taking taylor expansion of t1 in t1 2.728 * [taylor]: Taking taylor expansion of u in t1 2.728 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in v 2.728 * [taylor]: Taking taylor expansion of v in v 2.728 * [taylor]: Taking taylor expansion of (+ t1 u) in v 2.728 * [taylor]: Taking taylor expansion of t1 in v 2.728 * [taylor]: Taking taylor expansion of u in v 2.728 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in v 2.728 * [taylor]: Taking taylor expansion of v in v 2.728 * [taylor]: Taking taylor expansion of (+ t1 u) in v 2.728 * [taylor]: Taking taylor expansion of t1 in v 2.728 * [taylor]: Taking taylor expansion of u in v 2.728 * [taylor]: Taking taylor expansion of (/ 1 (+ t1 u)) in t1 2.729 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 2.729 * [taylor]: Taking taylor expansion of t1 in t1 2.729 * [taylor]: Taking taylor expansion of u in t1 2.729 * [taylor]: Taking taylor expansion of (/ 1 u) in u 2.729 * [taylor]: Taking taylor expansion of u in u 2.730 * [taylor]: Taking taylor expansion of 0 in t1 2.730 * [taylor]: Taking taylor expansion of 0 in u 2.730 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 2))) in u 2.730 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 2.730 * [taylor]: Taking taylor expansion of (pow u 2) in u 2.730 * [taylor]: Taking taylor expansion of u in u 2.734 * [taylor]: Taking taylor expansion of 0 in t1 2.734 * [taylor]: Taking taylor expansion of 0 in u 2.734 * [taylor]: Taking taylor expansion of 0 in u 2.734 * [approximate]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in (v t1 u) around 0 2.734 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u 2.734 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u 2.734 * [taylor]: Taking taylor expansion of v in u 2.734 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 2.734 * [taylor]: Taking taylor expansion of (/ 1 u) in u 2.734 * [taylor]: Taking taylor expansion of u in u 2.734 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 2.734 * [taylor]: Taking taylor expansion of t1 in u 2.735 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 2.735 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 2.735 * [taylor]: Taking taylor expansion of v in t1 2.735 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 2.735 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 2.735 * [taylor]: Taking taylor expansion of u in t1 2.735 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 2.735 * [taylor]: Taking taylor expansion of t1 in t1 2.735 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 2.735 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 2.735 * [taylor]: Taking taylor expansion of v in v 2.735 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 2.735 * [taylor]: Taking taylor expansion of (/ 1 u) in v 2.735 * [taylor]: Taking taylor expansion of u in v 2.735 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 2.735 * [taylor]: Taking taylor expansion of t1 in v 2.736 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 2.736 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 2.736 * [taylor]: Taking taylor expansion of v in v 2.736 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 2.736 * [taylor]: Taking taylor expansion of (/ 1 u) in v 2.736 * [taylor]: Taking taylor expansion of u in v 2.736 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 2.736 * [taylor]: Taking taylor expansion of t1 in v 2.737 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in t1 2.737 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 2.737 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 2.737 * [taylor]: Taking taylor expansion of u in t1 2.737 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 2.737 * [taylor]: Taking taylor expansion of t1 in t1 2.738 * [taylor]: Taking taylor expansion of 1 in u 2.739 * [taylor]: Taking taylor expansion of 0 in t1 2.739 * [taylor]: Taking taylor expansion of 0 in u 2.740 * [taylor]: Taking taylor expansion of (- (/ 1 u)) in u 2.740 * [taylor]: Taking taylor expansion of (/ 1 u) in u 2.740 * [taylor]: Taking taylor expansion of u in u 2.743 * [taylor]: Taking taylor expansion of 0 in t1 2.743 * [taylor]: Taking taylor expansion of 0 in u 2.743 * [taylor]: Taking taylor expansion of 0 in u 2.743 * [approximate]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in (v t1 u) around 0 2.743 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u 2.743 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u 2.743 * [taylor]: Taking taylor expansion of v in u 2.743 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 2.743 * [taylor]: Taking taylor expansion of (/ 1 u) in u 2.743 * [taylor]: Taking taylor expansion of u in u 2.743 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 2.743 * [taylor]: Taking taylor expansion of t1 in u 2.744 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 2.744 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 2.744 * [taylor]: Taking taylor expansion of v in t1 2.744 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 2.744 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 2.744 * [taylor]: Taking taylor expansion of u in t1 2.744 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 2.744 * [taylor]: Taking taylor expansion of t1 in t1 2.745 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 2.745 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 2.745 * [taylor]: Taking taylor expansion of v in v 2.745 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 2.745 * [taylor]: Taking taylor expansion of (/ 1 u) in v 2.745 * [taylor]: Taking taylor expansion of u in v 2.745 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 2.745 * [taylor]: Taking taylor expansion of t1 in v 2.745 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 2.746 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 2.746 * [taylor]: Taking taylor expansion of v in v 2.746 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 2.746 * [taylor]: Taking taylor expansion of (/ 1 u) in v 2.746 * [taylor]: Taking taylor expansion of u in v 2.746 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 2.746 * [taylor]: Taking taylor expansion of t1 in v 2.747 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in t1 2.747 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 2.747 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 2.747 * [taylor]: Taking taylor expansion of u in t1 2.747 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 2.747 * [taylor]: Taking taylor expansion of t1 in t1 2.747 * [taylor]: Taking taylor expansion of 1 in u 2.749 * [taylor]: Taking taylor expansion of 0 in t1 2.749 * [taylor]: Taking taylor expansion of 0 in u 2.749 * [taylor]: Taking taylor expansion of (- (/ 1 u)) in u 2.749 * [taylor]: Taking taylor expansion of (/ 1 u) in u 2.749 * [taylor]: Taking taylor expansion of u in u 2.752 * [taylor]: Taking taylor expansion of 0 in t1 2.752 * [taylor]: Taking taylor expansion of 0 in u 2.752 * [taylor]: Taking taylor expansion of 0 in u 2.752 * * * [progress]: simplifying candidates 2.754 * [simplify]: Simplifying using # : (expm1 (* (- t1) (/ v (+ t1 u)))) (log1p (* (- t1) (/ v (+ t1 u)))) (* (- t1) (/ v (+ t1 u))) (+ (log (- t1)) (- (log v) (log (+ t1 u)))) (+ (log (- t1)) (log (/ v (+ t1 u)))) (log (* (- t1) (/ v (+ t1 u)))) (exp (* (- t1) (/ v (+ t1 u)))) (* (* (* (- t1) (- t1)) (- t1)) (/ (* (* v v) v) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))) (* (* (* (- t1) (- t1)) (- t1)) (* (* (/ v (+ t1 u)) (/ v (+ t1 u))) (/ v (+ t1 u)))) (* (cbrt (* (- t1) (/ v (+ t1 u)))) (cbrt (* (- t1) (/ v (+ t1 u))))) (cbrt (* (- t1) (/ v (+ t1 u)))) (* (* (* (- t1) (/ v (+ t1 u))) (* (- t1) (/ v (+ t1 u)))) (* (- t1) (/ v (+ t1 u)))) (sqrt (* (- t1) (/ v (+ t1 u)))) (sqrt (* (- t1) (/ v (+ t1 u)))) (* (sqrt (- t1)) (sqrt (/ v (+ t1 u)))) (* (sqrt (- t1)) (sqrt (/ v (+ t1 u)))) (* (sqrt (- t1)) (/ (sqrt v) (sqrt (+ t1 u)))) (* (sqrt (- t1)) (/ (sqrt v) (sqrt (+ t1 u)))) (* t1 (/ v (+ t1 u))) (* (- t1) (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u))))) (* (- t1) (sqrt (/ v (+ t1 u)))) (* (- t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (* (- t1) (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u)))) (* (- t1) (/ (* (cbrt v) (cbrt v)) 1)) (* (- t1) (/ (* (cbrt v) (cbrt v)) 1)) (* (- t1) (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (* (- t1) (/ (sqrt v) (sqrt (+ t1 u)))) (* (- t1) (/ (sqrt v) 1)) (* (- t1) (/ (sqrt v) 1)) (* (- t1) (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (* (- t1) (/ 1 (sqrt (+ t1 u)))) (* (- t1) (/ 1 1)) (* (- t1) (/ 1 1)) (* (- t1) 1) (* (- t1) v) (* (- t1) (/ v (+ (pow t1 3) (pow u 3)))) (* (- t1) (/ v (- (* t1 t1) (* u u)))) (* (cbrt (- t1)) (/ v (+ t1 u))) (* (sqrt (- t1)) (/ v (+ t1 u))) (* (- t1) (/ v (+ t1 u))) (* t1 (/ v (+ t1 u))) (* (cbrt t1) (/ v (+ t1 u))) (* (sqrt t1) (/ v (+ t1 u))) (* t1 (/ v (+ t1 u))) (* (- (cbrt t1)) (/ v (+ t1 u))) (* (- (sqrt t1)) (/ v (+ t1 u))) (* (- t1) (/ v (+ t1 u))) (* (- t1) v) (expm1 (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (log1p (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (- (+ (log (- t1)) (- (log v) (log (+ t1 u)))) (log (+ t1 u))) (- (+ (log (- t1)) (log (/ v (+ t1 u)))) (log (+ t1 u))) (- (log (* (- t1) (/ v (+ t1 u)))) (log (+ t1 u))) (log (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (exp (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (/ (* (* (* (- t1) (- t1)) (- t1)) (/ (* (* v v) v) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))) (/ (* (* (* (- t1) (- t1)) (- t1)) (* (* (/ v (+ t1 u)) (/ v (+ t1 u))) (/ v (+ t1 u)))) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))) (/ (* (* (* (- t1) (/ v (+ t1 u))) (* (- t1) (/ v (+ t1 u)))) (* (- t1) (/ v (+ t1 u)))) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))) (* (cbrt (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (cbrt (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)))) (cbrt (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (* (* (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)) (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (sqrt (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (sqrt (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (- (* (- t1) (/ v (+ t1 u)))) (- (+ t1 u)) (/ (- t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (/ v (+ t1 u)) (cbrt (+ t1 u))) (/ (- t1) (sqrt (+ t1 u))) (/ (/ v (+ t1 u)) (sqrt (+ t1 u))) (/ (- t1) 1) (/ (/ v (+ t1 u)) (+ t1 u)) (/ (- t1) 1) (/ (/ v (+ t1 u)) (+ t1 u)) (/ 1 (+ t1 u)) (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))) (/ (* t1 (/ v (+ t1 u))) (+ t1 u)) (/ (* (- t1) (/ v (+ t1 u))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (* (- t1) (/ v (+ t1 u))) (sqrt (+ t1 u))) (/ (* (- t1) (/ v (+ t1 u))) 1) (/ (* (- t1) (/ v (+ t1 u))) 1) (/ (+ t1 u) (/ v (+ t1 u))) (/ (* (- t1) (/ v (+ t1 u))) (+ (pow t1 3) (pow u 3))) (/ (* (- t1) (/ v (+ t1 u))) (- (* t1 t1) (* u u))) (* (+ t1 u) (+ t1 u)) (expm1 (/ v (+ t1 u))) (log1p (/ v (+ t1 u))) (- (log v) (log (+ t1 u))) (log (/ v (+ t1 u))) (exp (/ v (+ t1 u))) (/ (* (* v v) v) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))) (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u)))) (cbrt (/ v (+ t1 u))) (* (* (/ v (+ t1 u)) (/ v (+ t1 u))) (/ v (+ t1 u))) (sqrt (/ v (+ t1 u))) (sqrt (/ v (+ t1 u))) (- v) (- (+ t1 u)) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (cbrt v) (cbrt (+ t1 u))) (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u))) (/ (cbrt v) (sqrt (+ t1 u))) (/ (* (cbrt v) (cbrt v)) 1) (/ (cbrt v) (+ t1 u)) (/ (* (cbrt v) (cbrt v)) 1) (/ (cbrt v) (+ t1 u)) (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (sqrt v) (cbrt (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))) (/ (sqrt v) 1) (/ (sqrt v) (+ t1 u)) (/ (sqrt v) 1) (/ (sqrt v) (+ t1 u)) (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ v (cbrt (+ t1 u))) (/ 1 (sqrt (+ t1 u))) (/ v (sqrt (+ t1 u))) (/ 1 1) (/ v (+ t1 u)) (/ 1 1) (/ v (+ t1 u)) (/ 1 (+ t1 u)) (/ (+ t1 u) v) (/ v (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ v (sqrt (+ t1 u))) (/ v 1) (/ v 1) (/ (+ t1 u) (cbrt v)) (/ (+ t1 u) (sqrt v)) (/ (+ t1 u) v) (/ v (+ (pow t1 3) (pow u 3))) (/ v (- (* t1 t1) (* u u))) 0 0 0 0 0 0 0 0 0 2.762 * * [simplify]: iteration 0 : 142 enodes (cost 1368 ) 2.795 * * [simplify]: iteration 1 : 392 enodes (cost 1292 ) 2.925 * * [simplify]: iteration 2 : 1692 enodes (cost 1146 ) 3.345 * * [simplify]: iteration done : 5001 enodes (cost 1146 ) 3.345 * [simplify]: Simplified to: (expm1 (* (- t1) (/ v (+ t1 u)))) (log1p (* (- t1) (/ v (+ t1 u)))) (* (- t1) (/ v (+ t1 u))) (log (* (- t1) (/ v (+ t1 u)))) (log (* (- t1) (/ v (+ t1 u)))) (log (* (- t1) (/ v (+ t1 u)))) (exp (* (- t1) (/ v (+ t1 u)))) (pow (* (- t1) (/ v (+ t1 u))) 3) (pow (* (- t1) (/ v (+ t1 u))) 3) (* (cbrt (* (- t1) (/ v (+ t1 u)))) (cbrt (* (- t1) (/ v (+ t1 u))))) (cbrt (* (- t1) (/ v (+ t1 u)))) (pow (* (- t1) (/ v (+ t1 u))) 3) (sqrt (* (- t1) (/ v (+ t1 u)))) (sqrt (* (- t1) (/ v (+ t1 u)))) (* (sqrt (- t1)) (sqrt (/ v (+ t1 u)))) (* (sqrt (- t1)) (sqrt (/ v (+ t1 u)))) (* (sqrt (- t1)) (/ (sqrt v) (sqrt (+ t1 u)))) (* (sqrt (- t1)) (/ (sqrt v) (sqrt (+ t1 u)))) (* t1 (/ v (+ t1 u))) (* (- t1) (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u))))) (* (- t1) (sqrt (/ v (+ t1 u)))) (* (- t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (* (- t1) (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u)))) (* (- t1) (* (cbrt v) (cbrt v))) (* (- t1) (* (cbrt v) (cbrt v))) (* (- t1) (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (* (- t1) (/ (sqrt v) (sqrt (+ t1 u)))) (* (sqrt v) (- t1)) (* (sqrt v) (- t1)) (/ (- t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (- t1) (sqrt (+ t1 u))) (- t1) (- t1) (- t1) (* (- t1) v) (* (- t1) (/ v (+ (pow t1 3) (pow u 3)))) (* (- t1) (/ v (- (* t1 t1) (* u u)))) (* (cbrt (- t1)) (/ v (+ t1 u))) (* (sqrt (- t1)) (/ v (+ t1 u))) (* (- t1) (/ v (+ t1 u))) (* t1 (/ v (+ t1 u))) (* (cbrt t1) (/ v (+ t1 u))) (* (sqrt t1) (/ v (+ t1 u))) (* t1 (/ v (+ t1 u))) (* (- (cbrt t1)) (/ v (+ t1 u))) (* (- (sqrt t1)) (/ v (+ t1 u))) (* (- t1) (/ v (+ t1 u))) (* (- t1) v) (expm1 (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (log1p (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (log (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (log (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (log (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (log (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (exp (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (pow (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)) 3) (pow (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)) 3) (pow (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)) 3) (* (cbrt (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (cbrt (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)))) (cbrt (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (pow (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)) 3) (sqrt (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (sqrt (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (* t1 (/ v (+ t1 u))) (- (+ t1 u)) (/ (- t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (/ v (+ t1 u)) (cbrt (+ t1 u))) (/ (- t1) (sqrt (+ t1 u))) (/ (/ v (+ t1 u)) (sqrt (+ t1 u))) (- t1) (/ (/ v (+ t1 u)) (+ t1 u)) (- t1) (/ (/ v (+ t1 u)) (+ t1 u)) (/ 1 (+ t1 u)) (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))) (/ (* t1 (/ v (+ t1 u))) (+ t1 u)) (/ (* (- t1) (/ v (+ t1 u))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (* (- t1) (/ v (+ t1 u))) (sqrt (+ t1 u))) (* (- t1) (/ v (+ t1 u))) (* (- t1) (/ v (+ t1 u))) (* (/ (+ t1 u) v) (+ t1 u)) (/ (* (- t1) (/ v (+ t1 u))) (+ (pow t1 3) (pow u 3))) (/ (* (- t1) (/ v (+ t1 u))) (- (* t1 t1) (* u u))) (* (+ t1 u) (+ t1 u)) (expm1 (/ v (+ t1 u))) (log1p (/ v (+ t1 u))) (log (/ v (+ t1 u))) (log (/ v (+ t1 u))) (exp (/ v (+ t1 u))) (pow (/ v (+ t1 u)) 3) (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u)))) (cbrt (/ v (+ t1 u))) (pow (/ v (+ t1 u)) 3) (sqrt (/ v (+ t1 u))) (sqrt (/ v (+ t1 u))) (- v) (- (+ t1 u)) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (cbrt v) (cbrt (+ t1 u))) (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u))) (/ (cbrt v) (sqrt (+ t1 u))) (* (cbrt v) (cbrt v)) (/ (cbrt v) (+ t1 u)) (* (cbrt v) (cbrt v)) (/ (cbrt v) (+ t1 u)) (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (sqrt v) (cbrt (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))) (sqrt v) (/ (sqrt v) (+ t1 u)) (sqrt v) (/ (sqrt v) (+ t1 u)) (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ v (cbrt (+ t1 u))) (/ 1 (sqrt (+ t1 u))) (/ v (sqrt (+ t1 u))) 1 (/ v (+ t1 u)) 1 (/ v (+ t1 u)) (/ 1 (+ t1 u)) (/ (+ t1 u) v) (/ v (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ v (sqrt (+ t1 u))) v v (/ (+ t1 u) (cbrt v)) (/ (+ t1 u) (sqrt v)) (/ (+ t1 u) v) (/ v (+ (pow t1 3) (pow u 3))) (/ v (- (* t1 t1) (* u u))) 0 0 0 0 0 0 0 0 0 3.346 * * * [progress]: adding candidates to table 3.575 * * [progress]: iteration 3 / 4 3.575 * * * [progress]: picking best candidate 3.585 * * * * [pick]: Picked # 3.585 * * * [progress]: localizing error 3.598 * * * [progress]: generating rewritten candidates 3.598 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 3.617 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 3.648 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 3.654 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 3.666 * * * [progress]: generating series expansions 3.666 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 3.666 * [approximate]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in (t1 v u) around 0 3.666 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in u 3.666 * [taylor]: Taking taylor expansion of -1 in u 3.666 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in u 3.666 * [taylor]: Taking taylor expansion of (* t1 v) in u 3.666 * [taylor]: Taking taylor expansion of t1 in u 3.666 * [taylor]: Taking taylor expansion of v in u 3.666 * [taylor]: Taking taylor expansion of (+ t1 u) in u 3.666 * [taylor]: Taking taylor expansion of t1 in u 3.666 * [taylor]: Taking taylor expansion of u in u 3.666 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in v 3.666 * [taylor]: Taking taylor expansion of -1 in v 3.666 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in v 3.666 * [taylor]: Taking taylor expansion of (* t1 v) in v 3.666 * [taylor]: Taking taylor expansion of t1 in v 3.666 * [taylor]: Taking taylor expansion of v in v 3.666 * [taylor]: Taking taylor expansion of (+ t1 u) in v 3.666 * [taylor]: Taking taylor expansion of t1 in v 3.666 * [taylor]: Taking taylor expansion of u in v 3.667 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in t1 3.667 * [taylor]: Taking taylor expansion of -1 in t1 3.667 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in t1 3.667 * [taylor]: Taking taylor expansion of (* t1 v) in t1 3.667 * [taylor]: Taking taylor expansion of t1 in t1 3.667 * [taylor]: Taking taylor expansion of v in t1 3.667 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 3.667 * [taylor]: Taking taylor expansion of t1 in t1 3.667 * [taylor]: Taking taylor expansion of u in t1 3.667 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in t1 3.667 * [taylor]: Taking taylor expansion of -1 in t1 3.667 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in t1 3.668 * [taylor]: Taking taylor expansion of (* t1 v) in t1 3.668 * [taylor]: Taking taylor expansion of t1 in t1 3.668 * [taylor]: Taking taylor expansion of v in t1 3.668 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 3.668 * [taylor]: Taking taylor expansion of t1 in t1 3.668 * [taylor]: Taking taylor expansion of u in t1 3.668 * [taylor]: Taking taylor expansion of (* -1 (/ v u)) in v 3.668 * [taylor]: Taking taylor expansion of -1 in v 3.668 * [taylor]: Taking taylor expansion of (/ v u) in v 3.668 * [taylor]: Taking taylor expansion of v in v 3.668 * [taylor]: Taking taylor expansion of u in v 3.668 * [taylor]: Taking taylor expansion of (/ -1 u) in u 3.668 * [taylor]: Taking taylor expansion of -1 in u 3.668 * [taylor]: Taking taylor expansion of u in u 3.670 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in v 3.670 * [taylor]: Taking taylor expansion of v in v 3.670 * [taylor]: Taking taylor expansion of (pow u 2) in v 3.670 * [taylor]: Taking taylor expansion of u in v 3.670 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 3.670 * [taylor]: Taking taylor expansion of (pow u 2) in u 3.670 * [taylor]: Taking taylor expansion of u in u 3.677 * [taylor]: Taking taylor expansion of 0 in u 3.679 * [taylor]: Taking taylor expansion of (- (/ v (pow u 3))) in v 3.679 * [taylor]: Taking taylor expansion of (/ v (pow u 3)) in v 3.679 * [taylor]: Taking taylor expansion of v in v 3.679 * [taylor]: Taking taylor expansion of (pow u 3) in v 3.679 * [taylor]: Taking taylor expansion of u in v 3.679 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 3))) in u 3.679 * [taylor]: Taking taylor expansion of (/ 1 (pow u 3)) in u 3.679 * [taylor]: Taking taylor expansion of (pow u 3) in u 3.679 * [taylor]: Taking taylor expansion of u in u 3.685 * [taylor]: Taking taylor expansion of 0 in u 3.685 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in (t1 v u) around 0 3.685 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in u 3.685 * [taylor]: Taking taylor expansion of -1 in u 3.685 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in u 3.685 * [taylor]: Taking taylor expansion of t1 in u 3.685 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u 3.685 * [taylor]: Taking taylor expansion of v in u 3.685 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 3.685 * [taylor]: Taking taylor expansion of (/ 1 u) in u 3.685 * [taylor]: Taking taylor expansion of u in u 3.686 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 3.686 * [taylor]: Taking taylor expansion of t1 in u 3.686 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in v 3.686 * [taylor]: Taking taylor expansion of -1 in v 3.686 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 3.686 * [taylor]: Taking taylor expansion of t1 in v 3.686 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 3.686 * [taylor]: Taking taylor expansion of v in v 3.686 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 3.686 * [taylor]: Taking taylor expansion of (/ 1 u) in v 3.686 * [taylor]: Taking taylor expansion of u in v 3.686 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 3.686 * [taylor]: Taking taylor expansion of t1 in v 3.687 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1 3.688 * [taylor]: Taking taylor expansion of -1 in t1 3.688 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 3.688 * [taylor]: Taking taylor expansion of t1 in t1 3.688 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 3.688 * [taylor]: Taking taylor expansion of v in t1 3.688 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 3.688 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 3.688 * [taylor]: Taking taylor expansion of u in t1 3.688 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 3.688 * [taylor]: Taking taylor expansion of t1 in t1 3.689 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1 3.689 * [taylor]: Taking taylor expansion of -1 in t1 3.689 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 3.689 * [taylor]: Taking taylor expansion of t1 in t1 3.689 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 3.689 * [taylor]: Taking taylor expansion of v in t1 3.689 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 3.689 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 3.689 * [taylor]: Taking taylor expansion of u in t1 3.689 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 3.689 * [taylor]: Taking taylor expansion of t1 in t1 3.691 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.691 * [taylor]: Taking taylor expansion of -1 in v 3.691 * [taylor]: Taking taylor expansion of v in v 3.691 * [taylor]: Taking taylor expansion of -1 in u 3.693 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v 3.693 * [taylor]: Taking taylor expansion of (* v u) in v 3.693 * [taylor]: Taking taylor expansion of v in v 3.693 * [taylor]: Taking taylor expansion of u in v 3.693 * [taylor]: Taking taylor expansion of (/ 1 u) in u 3.693 * [taylor]: Taking taylor expansion of u in u 3.695 * [taylor]: Taking taylor expansion of 0 in u 3.697 * [taylor]: Taking taylor expansion of (- (/ 1 (* v (pow u 2)))) in v 3.697 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v 3.697 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v 3.697 * [taylor]: Taking taylor expansion of v in v 3.697 * [taylor]: Taking taylor expansion of (pow u 2) in v 3.697 * [taylor]: Taking taylor expansion of u in v 3.698 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 2))) in u 3.698 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 3.698 * [taylor]: Taking taylor expansion of (pow u 2) in u 3.698 * [taylor]: Taking taylor expansion of u in u 3.702 * [taylor]: Taking taylor expansion of 0 in u 3.702 * [approximate]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in (t1 v u) around 0 3.702 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in u 3.702 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in u 3.702 * [taylor]: Taking taylor expansion of t1 in u 3.702 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u 3.702 * [taylor]: Taking taylor expansion of v in u 3.702 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 3.702 * [taylor]: Taking taylor expansion of (/ 1 u) in u 3.702 * [taylor]: Taking taylor expansion of u in u 3.703 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 3.703 * [taylor]: Taking taylor expansion of t1 in u 3.703 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in v 3.703 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 3.703 * [taylor]: Taking taylor expansion of t1 in v 3.703 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 3.703 * [taylor]: Taking taylor expansion of v in v 3.703 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 3.703 * [taylor]: Taking taylor expansion of (/ 1 u) in v 3.703 * [taylor]: Taking taylor expansion of u in v 3.703 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 3.703 * [taylor]: Taking taylor expansion of t1 in v 3.705 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1 3.705 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 3.705 * [taylor]: Taking taylor expansion of t1 in t1 3.705 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 3.705 * [taylor]: Taking taylor expansion of v in t1 3.705 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 3.705 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 3.705 * [taylor]: Taking taylor expansion of u in t1 3.705 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 3.705 * [taylor]: Taking taylor expansion of t1 in t1 3.706 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1 3.706 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 3.706 * [taylor]: Taking taylor expansion of t1 in t1 3.706 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 3.706 * [taylor]: Taking taylor expansion of v in t1 3.706 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 3.706 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 3.706 * [taylor]: Taking taylor expansion of u in t1 3.706 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 3.706 * [taylor]: Taking taylor expansion of t1 in t1 3.708 * [taylor]: Taking taylor expansion of (/ 1 v) in v 3.708 * [taylor]: Taking taylor expansion of v in v 3.708 * [taylor]: Taking taylor expansion of 1 in u 3.710 * [taylor]: Taking taylor expansion of (- (/ 1 (* v u))) in v 3.710 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v 3.710 * [taylor]: Taking taylor expansion of (* v u) in v 3.710 * [taylor]: Taking taylor expansion of v in v 3.710 * [taylor]: Taking taylor expansion of u in v 3.710 * [taylor]: Taking taylor expansion of (- (/ 1 u)) in u 3.710 * [taylor]: Taking taylor expansion of (/ 1 u) in u 3.710 * [taylor]: Taking taylor expansion of u in u 3.712 * [taylor]: Taking taylor expansion of 0 in u 3.714 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v 3.714 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v 3.714 * [taylor]: Taking taylor expansion of v in v 3.714 * [taylor]: Taking taylor expansion of (pow u 2) in v 3.714 * [taylor]: Taking taylor expansion of u in v 3.715 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 3.715 * [taylor]: Taking taylor expansion of (pow u 2) in u 3.715 * [taylor]: Taking taylor expansion of u in u 3.719 * [taylor]: Taking taylor expansion of 0 in u 3.719 * * * * [progress]: [ 2 / 4 ] generating series at (2) 3.719 * [approximate]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in (t1 v u) around 0 3.719 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u 3.719 * [taylor]: Taking taylor expansion of -1 in u 3.719 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in u 3.719 * [taylor]: Taking taylor expansion of (* t1 v) in u 3.719 * [taylor]: Taking taylor expansion of t1 in u 3.719 * [taylor]: Taking taylor expansion of v in u 3.719 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u 3.719 * [taylor]: Taking taylor expansion of (+ t1 u) in u 3.719 * [taylor]: Taking taylor expansion of t1 in u 3.719 * [taylor]: Taking taylor expansion of u in u 3.720 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v 3.720 * [taylor]: Taking taylor expansion of -1 in v 3.720 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in v 3.720 * [taylor]: Taking taylor expansion of (* t1 v) in v 3.720 * [taylor]: Taking taylor expansion of t1 in v 3.720 * [taylor]: Taking taylor expansion of v in v 3.720 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v 3.720 * [taylor]: Taking taylor expansion of (+ t1 u) in v 3.720 * [taylor]: Taking taylor expansion of t1 in v 3.720 * [taylor]: Taking taylor expansion of u in v 3.720 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1 3.720 * [taylor]: Taking taylor expansion of -1 in t1 3.720 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1 3.720 * [taylor]: Taking taylor expansion of (* t1 v) in t1 3.720 * [taylor]: Taking taylor expansion of t1 in t1 3.720 * [taylor]: Taking taylor expansion of v in t1 3.720 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 3.720 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 3.720 * [taylor]: Taking taylor expansion of t1 in t1 3.720 * [taylor]: Taking taylor expansion of u in t1 3.721 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1 3.721 * [taylor]: Taking taylor expansion of -1 in t1 3.721 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1 3.721 * [taylor]: Taking taylor expansion of (* t1 v) in t1 3.721 * [taylor]: Taking taylor expansion of t1 in t1 3.721 * [taylor]: Taking taylor expansion of v in t1 3.721 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 3.721 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 3.721 * [taylor]: Taking taylor expansion of t1 in t1 3.721 * [taylor]: Taking taylor expansion of u in t1 3.722 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow u 2))) in v 3.722 * [taylor]: Taking taylor expansion of -1 in v 3.722 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in v 3.722 * [taylor]: Taking taylor expansion of v in v 3.722 * [taylor]: Taking taylor expansion of (pow u 2) in v 3.722 * [taylor]: Taking taylor expansion of u in v 3.722 * [taylor]: Taking taylor expansion of (/ -1 (pow u 2)) in u 3.722 * [taylor]: Taking taylor expansion of -1 in u 3.722 * [taylor]: Taking taylor expansion of (pow u 2) in u 3.722 * [taylor]: Taking taylor expansion of u in u 3.726 * [taylor]: Taking taylor expansion of (* 2 (/ v (pow u 3))) in v 3.726 * [taylor]: Taking taylor expansion of 2 in v 3.726 * [taylor]: Taking taylor expansion of (/ v (pow u 3)) in v 3.726 * [taylor]: Taking taylor expansion of v in v 3.726 * [taylor]: Taking taylor expansion of (pow u 3) in v 3.726 * [taylor]: Taking taylor expansion of u in v 3.726 * [taylor]: Taking taylor expansion of (/ 2 (pow u 3)) in u 3.726 * [taylor]: Taking taylor expansion of 2 in u 3.726 * [taylor]: Taking taylor expansion of (pow u 3) in u 3.726 * [taylor]: Taking taylor expansion of u in u 3.732 * [taylor]: Taking taylor expansion of 0 in u 3.735 * [taylor]: Taking taylor expansion of (- (* 3 (/ v (pow u 4)))) in v 3.735 * [taylor]: Taking taylor expansion of (* 3 (/ v (pow u 4))) in v 3.735 * [taylor]: Taking taylor expansion of 3 in v 3.735 * [taylor]: Taking taylor expansion of (/ v (pow u 4)) in v 3.735 * [taylor]: Taking taylor expansion of v in v 3.735 * [taylor]: Taking taylor expansion of (pow u 4) in v 3.735 * [taylor]: Taking taylor expansion of u in v 3.735 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow u 4)))) in u 3.736 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow u 4))) in u 3.736 * [taylor]: Taking taylor expansion of 3 in u 3.736 * [taylor]: Taking taylor expansion of (/ 1 (pow u 4)) in u 3.736 * [taylor]: Taking taylor expansion of (pow u 4) in u 3.736 * [taylor]: Taking taylor expansion of u in u 3.744 * [taylor]: Taking taylor expansion of 0 in u 3.744 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 v u) around 0 3.744 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u 3.744 * [taylor]: Taking taylor expansion of -1 in u 3.744 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u 3.744 * [taylor]: Taking taylor expansion of t1 in u 3.744 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u 3.744 * [taylor]: Taking taylor expansion of v in u 3.744 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 3.745 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 3.745 * [taylor]: Taking taylor expansion of (/ 1 u) in u 3.745 * [taylor]: Taking taylor expansion of u in u 3.745 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 3.745 * [taylor]: Taking taylor expansion of t1 in u 3.745 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 3.745 * [taylor]: Taking taylor expansion of -1 in v 3.746 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 3.746 * [taylor]: Taking taylor expansion of t1 in v 3.746 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 3.746 * [taylor]: Taking taylor expansion of v in v 3.746 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 3.746 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 3.746 * [taylor]: Taking taylor expansion of (/ 1 u) in v 3.746 * [taylor]: Taking taylor expansion of u in v 3.746 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 3.746 * [taylor]: Taking taylor expansion of t1 in v 3.748 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 3.748 * [taylor]: Taking taylor expansion of -1 in t1 3.748 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 3.748 * [taylor]: Taking taylor expansion of t1 in t1 3.748 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 3.748 * [taylor]: Taking taylor expansion of v in t1 3.748 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 3.748 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 3.748 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 3.748 * [taylor]: Taking taylor expansion of u in t1 3.748 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 3.748 * [taylor]: Taking taylor expansion of t1 in t1 3.750 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 3.750 * [taylor]: Taking taylor expansion of -1 in t1 3.750 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 3.750 * [taylor]: Taking taylor expansion of t1 in t1 3.750 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 3.750 * [taylor]: Taking taylor expansion of v in t1 3.750 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 3.750 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 3.750 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 3.750 * [taylor]: Taking taylor expansion of u in t1 3.750 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 3.750 * [taylor]: Taking taylor expansion of t1 in t1 3.752 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.752 * [taylor]: Taking taylor expansion of -1 in v 3.752 * [taylor]: Taking taylor expansion of v in v 3.752 * [taylor]: Taking taylor expansion of -1 in u 3.754 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in v 3.754 * [taylor]: Taking taylor expansion of 2 in v 3.754 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v 3.754 * [taylor]: Taking taylor expansion of (* v u) in v 3.754 * [taylor]: Taking taylor expansion of v in v 3.754 * [taylor]: Taking taylor expansion of u in v 3.755 * [taylor]: Taking taylor expansion of (/ 2 u) in u 3.755 * [taylor]: Taking taylor expansion of 2 in u 3.755 * [taylor]: Taking taylor expansion of u in u 3.757 * [taylor]: Taking taylor expansion of 0 in u 3.764 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* v (pow u 2))))) in v 3.764 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in v 3.764 * [taylor]: Taking taylor expansion of 3 in v 3.764 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v 3.764 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v 3.764 * [taylor]: Taking taylor expansion of v in v 3.764 * [taylor]: Taking taylor expansion of (pow u 2) in v 3.764 * [taylor]: Taking taylor expansion of u in v 3.765 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow u 2)))) in u 3.765 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow u 2))) in u 3.765 * [taylor]: Taking taylor expansion of 3 in u 3.765 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 3.765 * [taylor]: Taking taylor expansion of (pow u 2) in u 3.765 * [taylor]: Taking taylor expansion of u in u 3.772 * [taylor]: Taking taylor expansion of 0 in u 3.772 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 v u) around 0 3.772 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u 3.772 * [taylor]: Taking taylor expansion of -1 in u 3.772 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u 3.772 * [taylor]: Taking taylor expansion of t1 in u 3.772 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u 3.772 * [taylor]: Taking taylor expansion of v in u 3.772 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 3.772 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 3.772 * [taylor]: Taking taylor expansion of (/ 1 u) in u 3.772 * [taylor]: Taking taylor expansion of u in u 3.773 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 3.773 * [taylor]: Taking taylor expansion of t1 in u 3.773 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 3.773 * [taylor]: Taking taylor expansion of -1 in v 3.773 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 3.773 * [taylor]: Taking taylor expansion of t1 in v 3.773 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 3.773 * [taylor]: Taking taylor expansion of v in v 3.773 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 3.773 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 3.773 * [taylor]: Taking taylor expansion of (/ 1 u) in v 3.773 * [taylor]: Taking taylor expansion of u in v 3.774 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 3.774 * [taylor]: Taking taylor expansion of t1 in v 3.776 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 3.776 * [taylor]: Taking taylor expansion of -1 in t1 3.776 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 3.776 * [taylor]: Taking taylor expansion of t1 in t1 3.776 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 3.776 * [taylor]: Taking taylor expansion of v in t1 3.776 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 3.776 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 3.776 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 3.776 * [taylor]: Taking taylor expansion of u in t1 3.776 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 3.776 * [taylor]: Taking taylor expansion of t1 in t1 3.777 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 3.777 * [taylor]: Taking taylor expansion of -1 in t1 3.778 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 3.778 * [taylor]: Taking taylor expansion of t1 in t1 3.778 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 3.778 * [taylor]: Taking taylor expansion of v in t1 3.778 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 3.778 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 3.778 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 3.778 * [taylor]: Taking taylor expansion of u in t1 3.778 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 3.778 * [taylor]: Taking taylor expansion of t1 in t1 3.779 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.779 * [taylor]: Taking taylor expansion of -1 in v 3.779 * [taylor]: Taking taylor expansion of v in v 3.780 * [taylor]: Taking taylor expansion of -1 in u 3.782 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in v 3.782 * [taylor]: Taking taylor expansion of 2 in v 3.782 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v 3.782 * [taylor]: Taking taylor expansion of (* v u) in v 3.782 * [taylor]: Taking taylor expansion of v in v 3.782 * [taylor]: Taking taylor expansion of u in v 3.782 * [taylor]: Taking taylor expansion of (/ 2 u) in u 3.782 * [taylor]: Taking taylor expansion of 2 in u 3.782 * [taylor]: Taking taylor expansion of u in u 3.785 * [taylor]: Taking taylor expansion of 0 in u 3.788 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* v (pow u 2))))) in v 3.788 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in v 3.788 * [taylor]: Taking taylor expansion of 3 in v 3.788 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v 3.788 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v 3.788 * [taylor]: Taking taylor expansion of v in v 3.788 * [taylor]: Taking taylor expansion of (pow u 2) in v 3.788 * [taylor]: Taking taylor expansion of u in v 3.789 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow u 2)))) in u 3.789 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow u 2))) in u 3.789 * [taylor]: Taking taylor expansion of 3 in u 3.789 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 3.789 * [taylor]: Taking taylor expansion of (pow u 2) in u 3.789 * [taylor]: Taking taylor expansion of u in u 3.795 * [taylor]: Taking taylor expansion of 0 in u 3.795 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 3.795 * [approximate]: Taking taylor expansion of (/ v (+ t1 u)) in (v t1 u) around 0 3.795 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in u 3.795 * [taylor]: Taking taylor expansion of v in u 3.795 * [taylor]: Taking taylor expansion of (+ t1 u) in u 3.795 * [taylor]: Taking taylor expansion of t1 in u 3.795 * [taylor]: Taking taylor expansion of u in u 3.795 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in t1 3.795 * [taylor]: Taking taylor expansion of v in t1 3.795 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 3.795 * [taylor]: Taking taylor expansion of t1 in t1 3.795 * [taylor]: Taking taylor expansion of u in t1 3.795 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in v 3.795 * [taylor]: Taking taylor expansion of v in v 3.796 * [taylor]: Taking taylor expansion of (+ t1 u) in v 3.796 * [taylor]: Taking taylor expansion of t1 in v 3.796 * [taylor]: Taking taylor expansion of u in v 3.796 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in v 3.796 * [taylor]: Taking taylor expansion of v in v 3.796 * [taylor]: Taking taylor expansion of (+ t1 u) in v 3.796 * [taylor]: Taking taylor expansion of t1 in v 3.796 * [taylor]: Taking taylor expansion of u in v 3.796 * [taylor]: Taking taylor expansion of (/ 1 (+ t1 u)) in t1 3.796 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 3.796 * [taylor]: Taking taylor expansion of t1 in t1 3.796 * [taylor]: Taking taylor expansion of u in t1 3.796 * [taylor]: Taking taylor expansion of (/ 1 u) in u 3.796 * [taylor]: Taking taylor expansion of u in u 3.797 * [taylor]: Taking taylor expansion of 0 in t1 3.797 * [taylor]: Taking taylor expansion of 0 in u 3.797 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 2))) in u 3.797 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 3.797 * [taylor]: Taking taylor expansion of (pow u 2) in u 3.797 * [taylor]: Taking taylor expansion of u in u 3.801 * [taylor]: Taking taylor expansion of 0 in t1 3.801 * [taylor]: Taking taylor expansion of 0 in u 3.801 * [taylor]: Taking taylor expansion of 0 in u 3.801 * [approximate]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in (v t1 u) around 0 3.801 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u 3.801 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u 3.801 * [taylor]: Taking taylor expansion of v in u 3.801 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 3.801 * [taylor]: Taking taylor expansion of (/ 1 u) in u 3.801 * [taylor]: Taking taylor expansion of u in u 3.802 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 3.802 * [taylor]: Taking taylor expansion of t1 in u 3.802 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 3.802 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 3.802 * [taylor]: Taking taylor expansion of v in t1 3.802 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 3.802 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 3.802 * [taylor]: Taking taylor expansion of u in t1 3.802 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 3.802 * [taylor]: Taking taylor expansion of t1 in t1 3.803 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 3.803 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 3.803 * [taylor]: Taking taylor expansion of v in v 3.803 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 3.803 * [taylor]: Taking taylor expansion of (/ 1 u) in v 3.803 * [taylor]: Taking taylor expansion of u in v 3.803 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 3.803 * [taylor]: Taking taylor expansion of t1 in v 3.804 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 3.804 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 3.804 * [taylor]: Taking taylor expansion of v in v 3.804 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 3.804 * [taylor]: Taking taylor expansion of (/ 1 u) in v 3.804 * [taylor]: Taking taylor expansion of u in v 3.804 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 3.804 * [taylor]: Taking taylor expansion of t1 in v 3.805 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in t1 3.805 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 3.805 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 3.805 * [taylor]: Taking taylor expansion of u in t1 3.805 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 3.805 * [taylor]: Taking taylor expansion of t1 in t1 3.806 * [taylor]: Taking taylor expansion of 1 in u 3.807 * [taylor]: Taking taylor expansion of 0 in t1 3.807 * [taylor]: Taking taylor expansion of 0 in u 3.807 * [taylor]: Taking taylor expansion of (- (/ 1 u)) in u 3.808 * [taylor]: Taking taylor expansion of (/ 1 u) in u 3.808 * [taylor]: Taking taylor expansion of u in u 3.810 * [taylor]: Taking taylor expansion of 0 in t1 3.810 * [taylor]: Taking taylor expansion of 0 in u 3.810 * [taylor]: Taking taylor expansion of 0 in u 3.811 * [approximate]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in (v t1 u) around 0 3.811 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u 3.811 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u 3.811 * [taylor]: Taking taylor expansion of v in u 3.811 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 3.811 * [taylor]: Taking taylor expansion of (/ 1 u) in u 3.811 * [taylor]: Taking taylor expansion of u in u 3.811 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 3.811 * [taylor]: Taking taylor expansion of t1 in u 3.811 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 3.811 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 3.811 * [taylor]: Taking taylor expansion of v in t1 3.811 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 3.811 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 3.811 * [taylor]: Taking taylor expansion of u in t1 3.811 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 3.812 * [taylor]: Taking taylor expansion of t1 in t1 3.812 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 3.812 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 3.812 * [taylor]: Taking taylor expansion of v in v 3.812 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 3.812 * [taylor]: Taking taylor expansion of (/ 1 u) in v 3.812 * [taylor]: Taking taylor expansion of u in v 3.812 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 3.812 * [taylor]: Taking taylor expansion of t1 in v 3.813 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 3.813 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 3.813 * [taylor]: Taking taylor expansion of v in v 3.813 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 3.813 * [taylor]: Taking taylor expansion of (/ 1 u) in v 3.813 * [taylor]: Taking taylor expansion of u in v 3.813 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 3.813 * [taylor]: Taking taylor expansion of t1 in v 3.814 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in t1 3.814 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 3.814 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 3.814 * [taylor]: Taking taylor expansion of u in t1 3.814 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 3.814 * [taylor]: Taking taylor expansion of t1 in t1 3.815 * [taylor]: Taking taylor expansion of 1 in u 3.816 * [taylor]: Taking taylor expansion of 0 in t1 3.816 * [taylor]: Taking taylor expansion of 0 in u 3.817 * [taylor]: Taking taylor expansion of (- (/ 1 u)) in u 3.817 * [taylor]: Taking taylor expansion of (/ 1 u) in u 3.817 * [taylor]: Taking taylor expansion of u in u 3.820 * [taylor]: Taking taylor expansion of 0 in t1 3.820 * [taylor]: Taking taylor expansion of 0 in u 3.820 * [taylor]: Taking taylor expansion of 0 in u 3.820 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 3.820 * [approximate]: Taking taylor expansion of (/ 1 (+ t1 u)) in (t1 u) around 0 3.820 * [taylor]: Taking taylor expansion of (/ 1 (+ t1 u)) in u 3.820 * [taylor]: Taking taylor expansion of (+ t1 u) in u 3.820 * [taylor]: Taking taylor expansion of t1 in u 3.820 * [taylor]: Taking taylor expansion of u in u 3.820 * [taylor]: Taking taylor expansion of (/ 1 (+ t1 u)) in t1 3.820 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 3.820 * [taylor]: Taking taylor expansion of t1 in t1 3.820 * [taylor]: Taking taylor expansion of u in t1 3.820 * [taylor]: Taking taylor expansion of (/ 1 (+ t1 u)) in t1 3.820 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 3.820 * [taylor]: Taking taylor expansion of t1 in t1 3.820 * [taylor]: Taking taylor expansion of u in t1 3.820 * [taylor]: Taking taylor expansion of (/ 1 u) in u 3.820 * [taylor]: Taking taylor expansion of u in u 3.821 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 2))) in u 3.821 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 3.821 * [taylor]: Taking taylor expansion of (pow u 2) in u 3.821 * [taylor]: Taking taylor expansion of u in u 3.825 * [taylor]: Taking taylor expansion of (/ 1 (pow u 3)) in u 3.825 * [taylor]: Taking taylor expansion of (pow u 3) in u 3.825 * [taylor]: Taking taylor expansion of u in u 3.832 * [approximate]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in (t1 u) around 0 3.832 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in u 3.832 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 3.832 * [taylor]: Taking taylor expansion of (/ 1 u) in u 3.832 * [taylor]: Taking taylor expansion of u in u 3.832 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 3.832 * [taylor]: Taking taylor expansion of t1 in u 3.833 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in t1 3.833 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 3.833 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 3.833 * [taylor]: Taking taylor expansion of u in t1 3.833 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 3.833 * [taylor]: Taking taylor expansion of t1 in t1 3.834 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in t1 3.834 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 3.834 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 3.834 * [taylor]: Taking taylor expansion of u in t1 3.834 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 3.834 * [taylor]: Taking taylor expansion of t1 in t1 3.835 * [taylor]: Taking taylor expansion of 1 in u 3.835 * [taylor]: Taking taylor expansion of (- (/ 1 u)) in u 3.835 * [taylor]: Taking taylor expansion of (/ 1 u) in u 3.835 * [taylor]: Taking taylor expansion of u in u 3.838 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 3.838 * [taylor]: Taking taylor expansion of (pow u 2) in u 3.838 * [taylor]: Taking taylor expansion of u in u 3.842 * [approximate]: Taking taylor expansion of (/ -1 (+ (/ 1 u) (/ 1 t1))) in (t1 u) around 0 3.842 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 u) (/ 1 t1))) in u 3.842 * [taylor]: Taking taylor expansion of -1 in u 3.842 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 3.842 * [taylor]: Taking taylor expansion of (/ 1 u) in u 3.842 * [taylor]: Taking taylor expansion of u in u 3.843 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 3.843 * [taylor]: Taking taylor expansion of t1 in u 3.843 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 u) (/ 1 t1))) in t1 3.843 * [taylor]: Taking taylor expansion of -1 in t1 3.843 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 3.843 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 3.843 * [taylor]: Taking taylor expansion of u in t1 3.843 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 3.843 * [taylor]: Taking taylor expansion of t1 in t1 3.844 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 u) (/ 1 t1))) in t1 3.844 * [taylor]: Taking taylor expansion of -1 in t1 3.844 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 3.844 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 3.844 * [taylor]: Taking taylor expansion of u in t1 3.844 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 3.844 * [taylor]: Taking taylor expansion of t1 in t1 3.845 * [taylor]: Taking taylor expansion of -1 in u 3.846 * [taylor]: Taking taylor expansion of (/ 1 u) in u 3.846 * [taylor]: Taking taylor expansion of u in u 3.849 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 2))) in u 3.849 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 3.849 * [taylor]: Taking taylor expansion of (pow u 2) in u 3.849 * [taylor]: Taking taylor expansion of u in u 3.858 * * * [progress]: simplifying candidates 3.860 * [simplify]: Simplifying using # : (expm1 (* (- t1) (/ v (+ t1 u)))) (log1p (* (- t1) (/ v (+ t1 u)))) (* (- t1) (/ v (+ t1 u))) (+ (log (- t1)) (- (log v) (log (+ t1 u)))) (+ (log (- t1)) (log (/ v (+ t1 u)))) (log (* (- t1) (/ v (+ t1 u)))) (exp (* (- t1) (/ v (+ t1 u)))) (* (* (* (- t1) (- t1)) (- t1)) (/ (* (* v v) v) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))) (* (* (* (- t1) (- t1)) (- t1)) (* (* (/ v (+ t1 u)) (/ v (+ t1 u))) (/ v (+ t1 u)))) (* (cbrt (* (- t1) (/ v (+ t1 u)))) (cbrt (* (- t1) (/ v (+ t1 u))))) (cbrt (* (- t1) (/ v (+ t1 u)))) (* (* (* (- t1) (/ v (+ t1 u))) (* (- t1) (/ v (+ t1 u)))) (* (- t1) (/ v (+ t1 u)))) (sqrt (* (- t1) (/ v (+ t1 u)))) (sqrt (* (- t1) (/ v (+ t1 u)))) (* (sqrt (- t1)) (sqrt (/ v (+ t1 u)))) (* (sqrt (- t1)) (sqrt (/ v (+ t1 u)))) (* (sqrt (- t1)) (/ (sqrt v) (sqrt (+ t1 u)))) (* (sqrt (- t1)) (/ (sqrt v) (sqrt (+ t1 u)))) (* t1 (/ v (+ t1 u))) (* (- t1) (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u))))) (* (- t1) (sqrt (/ v (+ t1 u)))) (* (- t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (* (- t1) (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u)))) (* (- t1) (/ (* (cbrt v) (cbrt v)) 1)) (* (- t1) (/ (* (cbrt v) (cbrt v)) 1)) (* (- t1) (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (* (- t1) (/ (sqrt v) (sqrt (+ t1 u)))) (* (- t1) (/ (sqrt v) 1)) (* (- t1) (/ (sqrt v) 1)) (* (- t1) (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (* (- t1) (/ 1 (sqrt (+ t1 u)))) (* (- t1) (/ 1 1)) (* (- t1) (/ 1 1)) (* (- t1) 1) (* (- t1) v) (* (- t1) (/ v (+ (pow t1 3) (pow u 3)))) (* (- t1) (/ v (- (* t1 t1) (* u u)))) (* (cbrt (- t1)) (/ v (+ t1 u))) (* (sqrt (- t1)) (/ v (+ t1 u))) (* (- t1) (/ v (+ t1 u))) (* t1 (/ v (+ t1 u))) (* (cbrt t1) (/ v (+ t1 u))) (* (sqrt t1) (/ v (+ t1 u))) (* t1 (/ v (+ t1 u))) (* (- (cbrt t1)) (/ v (+ t1 u))) (* (- (sqrt t1)) (/ v (+ t1 u))) (* (- t1) (/ v (+ t1 u))) (* (- t1) v) (expm1 (* (* (- t1) (/ v (+ t1 u))) (/ 1 (+ t1 u)))) (log1p (* (* (- t1) (/ v (+ t1 u))) (/ 1 (+ t1 u)))) (* (* (- t1) (/ v (+ t1 u))) (/ 1 (+ t1 u))) (* (* (- t1) (/ v (+ t1 u))) (/ 1 (+ t1 u))) (+ (+ (log (- t1)) (- (log v) (log (+ t1 u)))) (- (log (+ t1 u)))) (+ (+ (log (- t1)) (- (log v) (log (+ t1 u)))) (- 0 (log (+ t1 u)))) (+ (+ (log (- t1)) (- (log v) (log (+ t1 u)))) (- (log 1) (log (+ t1 u)))) (+ (+ (log (- t1)) (- (log v) (log (+ t1 u)))) (log (/ 1 (+ t1 u)))) (+ (+ (log (- t1)) (log (/ v (+ t1 u)))) (- (log (+ t1 u)))) (+ (+ (log (- t1)) (log (/ v (+ t1 u)))) (- 0 (log (+ t1 u)))) (+ (+ (log (- t1)) (log (/ v (+ t1 u)))) (- (log 1) (log (+ t1 u)))) (+ (+ (log (- t1)) (log (/ v (+ t1 u)))) (log (/ 1 (+ t1 u)))) (+ (log (* (- t1) (/ v (+ t1 u)))) (- (log (+ t1 u)))) (+ (log (* (- t1) (/ v (+ t1 u)))) (- 0 (log (+ t1 u)))) (+ (log (* (- t1) (/ v (+ t1 u)))) (- (log 1) (log (+ t1 u)))) (+ (log (* (- t1) (/ v (+ t1 u)))) (log (/ 1 (+ t1 u)))) (log (* (* (- t1) (/ v (+ t1 u))) (/ 1 (+ t1 u)))) (exp (* (* (- t1) (/ v (+ t1 u))) (/ 1 (+ t1 u)))) (* (* (* (* (- t1) (- t1)) (- t1)) (/ (* (* v v) v) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))) (/ (* (* 1 1) 1) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))) (* (* (* (* (- t1) (- t1)) (- t1)) (/ (* (* v v) v) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))) (* (* (/ 1 (+ t1 u)) (/ 1 (+ t1 u))) (/ 1 (+ t1 u)))) (* (* (* (* (- t1) (- t1)) (- t1)) (* (* (/ v (+ t1 u)) (/ v (+ t1 u))) (/ v (+ t1 u)))) (/ (* (* 1 1) 1) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))) (* (* (* (* (- t1) (- t1)) (- t1)) (* (* (/ v (+ t1 u)) (/ v (+ t1 u))) (/ v (+ t1 u)))) (* (* (/ 1 (+ t1 u)) (/ 1 (+ t1 u))) (/ 1 (+ t1 u)))) (* (* (* (* (- t1) (/ v (+ t1 u))) (* (- t1) (/ v (+ t1 u)))) (* (- t1) (/ v (+ t1 u)))) (/ (* (* 1 1) 1) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))) (* (* (* (* (- t1) (/ v (+ t1 u))) (* (- t1) (/ v (+ t1 u)))) (* (- t1) (/ v (+ t1 u)))) (* (* (/ 1 (+ t1 u)) (/ 1 (+ t1 u))) (/ 1 (+ t1 u)))) (* (cbrt (* (* (- t1) (/ v (+ t1 u))) (/ 1 (+ t1 u)))) (cbrt (* (* (- t1) (/ v (+ t1 u))) (/ 1 (+ t1 u))))) (cbrt (* (* (- t1) (/ v (+ t1 u))) (/ 1 (+ t1 u)))) (* (* (* (* (- t1) (/ v (+ t1 u))) (/ 1 (+ t1 u))) (* (* (- t1) (/ v (+ t1 u))) (/ 1 (+ t1 u)))) (* (* (- t1) (/ v (+ t1 u))) (/ 1 (+ t1 u)))) (sqrt (* (* (- t1) (/ v (+ t1 u))) (/ 1 (+ t1 u)))) (sqrt (* (* (- t1) (/ v (+ t1 u))) (/ 1 (+ t1 u)))) (* (* (- t1) v) 1) (* (+ t1 u) (+ t1 u)) (* (* t1 (/ v (+ t1 u))) (/ 1 (+ t1 u))) (* (* (- t1) (/ v (+ t1 u))) (* (cbrt (/ 1 (+ t1 u))) (cbrt (/ 1 (+ t1 u))))) (* (* (- t1) (/ v (+ t1 u))) (sqrt (/ 1 (+ t1 u)))) (* (* (- t1) (/ v (+ t1 u))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (* (* (- t1) (/ v (+ t1 u))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ t1 u)))) (* (* (- t1) (/ v (+ t1 u))) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (* (- t1) (/ v (+ t1 u))) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (* (- t1) (/ v (+ t1 u))) (/ (sqrt 1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (* (* (- t1) (/ v (+ t1 u))) (/ (sqrt 1) (sqrt (+ t1 u)))) (* (* (- t1) (/ v (+ t1 u))) (/ (sqrt 1) 1)) (* (* (- t1) (/ v (+ t1 u))) (/ (sqrt 1) 1)) (* (* (- t1) (/ v (+ t1 u))) (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (* (* (- t1) (/ v (+ t1 u))) (/ 1 (sqrt (+ t1 u)))) (* (* (- t1) (/ v (+ t1 u))) (/ 1 1)) (* (* (- t1) (/ v (+ t1 u))) (/ 1 1)) (* (* (- t1) (/ v (+ t1 u))) 1) (* (* (- t1) (/ v (+ t1 u))) 1) (* (* (- t1) (/ v (+ t1 u))) (/ 1 (+ (pow t1 3) (pow u 3)))) (* (* (- t1) (/ v (+ t1 u))) (/ 1 (- (* t1 t1) (* u u)))) (* (/ v (+ t1 u)) (/ 1 (+ t1 u))) (* (* (- t1) (/ v (+ t1 u))) 1) (* (* (- t1) v) (/ 1 (+ t1 u))) (expm1 (/ v (+ t1 u))) (log1p (/ v (+ t1 u))) (- (log v) (log (+ t1 u))) (log (/ v (+ t1 u))) (exp (/ v (+ t1 u))) (/ (* (* v v) v) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))) (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u)))) (cbrt (/ v (+ t1 u))) (* (* (/ v (+ t1 u)) (/ v (+ t1 u))) (/ v (+ t1 u))) (sqrt (/ v (+ t1 u))) (sqrt (/ v (+ t1 u))) (- v) (- (+ t1 u)) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (cbrt v) (cbrt (+ t1 u))) (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u))) (/ (cbrt v) (sqrt (+ t1 u))) (/ (* (cbrt v) (cbrt v)) 1) (/ (cbrt v) (+ t1 u)) (/ (* (cbrt v) (cbrt v)) 1) (/ (cbrt v) (+ t1 u)) (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (sqrt v) (cbrt (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))) (/ (sqrt v) 1) (/ (sqrt v) (+ t1 u)) (/ (sqrt v) 1) (/ (sqrt v) (+ t1 u)) (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ v (cbrt (+ t1 u))) (/ 1 (sqrt (+ t1 u))) (/ v (sqrt (+ t1 u))) (/ 1 1) (/ v (+ t1 u)) (/ 1 1) (/ v (+ t1 u)) (/ 1 (+ t1 u)) (/ (+ t1 u) v) (/ v (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ v (sqrt (+ t1 u))) (/ v 1) (/ v 1) (/ (+ t1 u) (cbrt v)) (/ (+ t1 u) (sqrt v)) (/ (+ t1 u) v) (/ v (+ (pow t1 3) (pow u 3))) (/ v (- (* t1 t1) (* u u))) (expm1 (/ 1 (+ t1 u))) (log1p (/ 1 (+ t1 u))) (- 1) (- (log (+ t1 u))) (- 0 (log (+ t1 u))) (- (log 1) (log (+ t1 u))) (log (/ 1 (+ t1 u))) (exp (/ 1 (+ t1 u))) (/ (* (* 1 1) 1) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))) (* (cbrt (/ 1 (+ t1 u))) (cbrt (/ 1 (+ t1 u)))) (cbrt (/ 1 (+ t1 u))) (* (* (/ 1 (+ t1 u)) (/ 1 (+ t1 u))) (/ 1 (+ t1 u))) (sqrt (/ 1 (+ t1 u))) (sqrt (/ 1 (+ t1 u))) (- 1) (- (+ t1 u)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (cbrt 1) (cbrt (+ t1 u))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ t1 u))) (/ (cbrt 1) (sqrt (+ t1 u))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (+ t1 u)) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (+ t1 u)) (/ (sqrt 1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (sqrt 1) (cbrt (+ t1 u))) (/ (sqrt 1) (sqrt (+ t1 u))) (/ (sqrt 1) (sqrt (+ t1 u))) (/ (sqrt 1) 1) (/ (sqrt 1) (+ t1 u)) (/ (sqrt 1) 1) (/ (sqrt 1) (+ t1 u)) (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ 1 (cbrt (+ t1 u))) (/ 1 (sqrt (+ t1 u))) (/ 1 (sqrt (+ t1 u))) (/ 1 1) (/ 1 (+ t1 u)) (/ 1 1) (/ 1 (+ t1 u)) (/ 1 (+ t1 u)) (/ (+ t1 u) 1) (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ 1 (sqrt (+ t1 u))) (/ 1 1) (/ 1 1) (/ (+ t1 u) (cbrt 1)) (/ (+ t1 u) (sqrt 1)) (/ (+ t1 u) 1) (/ 1 (+ (pow t1 3) (pow u 3))) (/ 1 (- (* t1 t1) (* u u))) 0 0 0 0 0 0 0 0 0 0 0 0 3.866 * * [simplify]: iteration 0 : 194 enodes (cost 2220 ) 3.920 * * [simplify]: iteration 1 : 556 enodes (cost 1926 ) 4.082 * * [simplify]: iteration 2 : 2058 enodes (cost 1676 ) 4.801 * * [simplify]: iteration done : 5000 enodes (cost 1676 ) 4.802 * [simplify]: Simplified to: (expm1 (* (- t1) (/ v (+ t1 u)))) (log1p (* (- t1) (/ v (+ t1 u)))) (- (* t1 (/ v (+ t1 u)))) (log (- (* t1 (/ v (+ t1 u))))) (log (- (* t1 (/ v (+ t1 u))))) (log (- (* t1 (/ v (+ t1 u))))) (exp (* (- t1) (/ v (+ t1 u)))) (pow (- (* t1 (/ v (+ t1 u)))) 3) (pow (- (* t1 (/ v (+ t1 u)))) 3) (* (cbrt (* (- t1) (/ v (+ t1 u)))) (cbrt (* (- t1) (/ v (+ t1 u))))) (cbrt (* (- t1) (/ v (+ t1 u)))) (pow (- (* t1 (/ v (+ t1 u)))) 3) (sqrt (* (- t1) (/ v (+ t1 u)))) (sqrt (* (- t1) (/ v (+ t1 u)))) (* (sqrt (- t1)) (sqrt (/ v (+ t1 u)))) (* (sqrt (- t1)) (sqrt (/ v (+ t1 u)))) (* (sqrt (- t1)) (/ (sqrt v) (sqrt (+ t1 u)))) (* (sqrt (- t1)) (/ (sqrt v) (sqrt (+ t1 u)))) (/ t1 (/ (+ t1 u) v)) (* (- t1) (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u))))) (* (- t1) (sqrt (/ v (+ t1 u)))) (* (- t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (* (- t1) (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u)))) (* (- t1) (* (cbrt v) (cbrt v))) (* (- t1) (* (cbrt v) (cbrt v))) (* (- t1) (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (* (- t1) (/ (sqrt v) (sqrt (+ t1 u)))) (* (sqrt v) (- t1)) (* (sqrt v) (- t1)) (/ (- t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (- t1) (sqrt (+ t1 u))) (- t1) (- t1) (- t1) (* (- t1) v) (- (* t1 (/ v (+ (pow t1 3) (pow u 3))))) (* (- t1) (/ (/ v (+ u t1)) (- t1 u))) (* (cbrt (- t1)) (/ v (+ t1 u))) (* (sqrt (- t1)) (/ v (+ t1 u))) (- (* t1 (/ v (+ t1 u)))) (/ t1 (/ (+ t1 u) v)) (* (cbrt t1) (/ v (+ t1 u))) (* (sqrt t1) (/ v (+ t1 u))) (/ t1 (/ (+ t1 u) v)) (* (- (cbrt t1)) (/ v (+ t1 u))) (* (- (sqrt t1)) (/ v (+ t1 u))) (- (* t1 (/ v (+ t1 u)))) (* (- t1) v) (expm1 (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (log1p (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1)) (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1)) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (exp (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (pow (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1)) 3) (pow (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1)) 3) (pow (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1)) 3) (pow (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1)) 3) (pow (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1)) 3) (pow (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1)) 3) (* (cbrt (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (cbrt (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1)))) (cbrt (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (pow (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1)) 3) (sqrt (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (sqrt (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (* (- t1) v) (* (+ t1 u) (+ t1 u)) (/ (* t1 (/ v (+ t1 u))) (+ u t1)) (* (* (- t1) (/ v (+ t1 u))) (* (cbrt (/ 1 (+ t1 u))) (cbrt (/ 1 (+ t1 u))))) (* (* (- t1) (/ v (+ t1 u))) (sqrt (/ 1 (+ t1 u)))) (/ (* (- t1) (/ v (+ t1 u))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (- (* t1 (/ v (+ t1 u)))) (sqrt (+ t1 u))) (- (* t1 (/ v (+ t1 u)))) (- (* t1 (/ v (+ t1 u)))) (/ (* (- t1) (/ v (+ t1 u))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (- (* t1 (/ v (+ t1 u)))) (sqrt (+ t1 u))) (- (* t1 (/ v (+ t1 u)))) (- (* t1 (/ v (+ t1 u)))) (/ (* (- t1) (/ v (+ t1 u))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (- (* t1 (/ v (+ t1 u)))) (sqrt (+ t1 u))) (- (* t1 (/ v (+ t1 u)))) (- (* t1 (/ v (+ t1 u)))) (- (* t1 (/ v (+ t1 u)))) (- (* t1 (/ v (+ t1 u)))) (/ (- (* t1 (/ v (+ t1 u)))) (+ (pow t1 3) (pow u 3))) (/ (- (* t1 (/ v (+ t1 u)))) (- (* t1 t1) (* u u))) (/ v (* (+ t1 u) (+ t1 u))) (- (* t1 (/ v (+ t1 u)))) (- (* t1 (/ v (+ t1 u)))) (expm1 (/ v (+ t1 u))) (log1p (/ v (+ t1 u))) (log (/ v (+ t1 u))) (log (/ v (+ t1 u))) (exp (/ v (+ t1 u))) (pow (/ v (+ u t1)) 3) (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u)))) (cbrt (/ v (+ t1 u))) (pow (/ v (+ u t1)) 3) (sqrt (/ v (+ t1 u))) (sqrt (/ v (+ t1 u))) (- v) (- (+ t1 u)) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (cbrt v) (cbrt (+ t1 u))) (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u))) (/ (cbrt v) (sqrt (+ t1 u))) (* (cbrt v) (cbrt v)) (/ (cbrt v) (+ t1 u)) (* (cbrt v) (cbrt v)) (/ (cbrt v) (+ t1 u)) (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (sqrt v) (cbrt (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))) (sqrt v) (/ (sqrt v) (+ t1 u)) (sqrt v) (/ (sqrt v) (+ t1 u)) (/ (/ 1 (cbrt (+ t1 u))) (cbrt (+ t1 u))) (/ v (cbrt (+ t1 u))) (/ 1 (sqrt (+ t1 u))) (/ v (sqrt (+ t1 u))) 1 (/ v (+ u t1)) 1 (/ v (+ u t1)) (/ 1 (+ u t1)) (/ (+ t1 u) v) (/ v (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ v (sqrt (+ t1 u))) v v (/ (+ t1 u) (cbrt v)) (/ (+ t1 u) (sqrt v)) (/ (+ t1 u) v) (/ v (+ (pow t1 3) (pow u 3))) (/ (/ v (+ u t1)) (- t1 u)) (expm1 (/ 1 (+ t1 u))) (log1p (/ 1 (+ t1 u))) -1 (- (log (+ t1 u))) (- (log (+ t1 u))) (- (log (+ t1 u))) (- (log (+ t1 u))) (exp (/ 1 (+ t1 u))) (/ 1 (pow (+ u t1) 3)) (* (cbrt (/ 1 (+ t1 u))) (cbrt (/ 1 (+ t1 u)))) (cbrt (/ 1 (+ t1 u))) (/ 1 (pow (+ u t1) 3)) (sqrt (/ 1 (+ t1 u))) (sqrt (/ 1 (+ t1 u))) -1 (- (+ t1 u)) (/ (/ 1 (cbrt (+ t1 u))) (cbrt (+ t1 u))) (/ 1 (cbrt (+ t1 u))) (/ 1 (sqrt (+ t1 u))) (/ 1 (sqrt (+ t1 u))) 1 (/ 1 (+ u t1)) 1 (/ 1 (+ u t1)) (/ (/ 1 (cbrt (+ t1 u))) (cbrt (+ t1 u))) (/ 1 (cbrt (+ t1 u))) (/ 1 (sqrt (+ t1 u))) (/ 1 (sqrt (+ t1 u))) 1 (/ 1 (+ u t1)) 1 (/ 1 (+ u t1)) (/ (/ 1 (cbrt (+ t1 u))) (cbrt (+ t1 u))) (/ 1 (cbrt (+ t1 u))) (/ 1 (sqrt (+ t1 u))) (/ 1 (sqrt (+ t1 u))) 1 (/ 1 (+ u t1)) 1 (/ 1 (+ u t1)) (/ 1 (+ u t1)) (+ u t1) (/ (/ 1 (cbrt (+ t1 u))) (cbrt (+ t1 u))) (/ 1 (sqrt (+ t1 u))) 1 1 (+ u t1) (+ u t1) (+ u t1) (/ 1 (+ (pow t1 3) (pow u 3))) (/ (/ 1 (+ u t1)) (- t1 u)) 0 0 0 0 0 0 0 0 0 0 0 0 4.804 * * * [progress]: adding candidates to table 5.125 * * [progress]: iteration 4 / 4 5.125 * * * [progress]: picking best candidate 5.133 * * * * [pick]: Picked # 5.133 * * * [progress]: localizing error 5.142 * * * [progress]: generating rewritten candidates 5.142 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 5.163 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 5.176 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 5.194 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2) 5.206 * * * [progress]: generating series expansions 5.206 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 5.207 * [approximate]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in (t1 v u) around 0 5.207 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in u 5.207 * [taylor]: Taking taylor expansion of -1 in u 5.207 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in u 5.207 * [taylor]: Taking taylor expansion of (* t1 v) in u 5.207 * [taylor]: Taking taylor expansion of t1 in u 5.207 * [taylor]: Taking taylor expansion of v in u 5.207 * [taylor]: Taking taylor expansion of (+ t1 u) in u 5.207 * [taylor]: Taking taylor expansion of t1 in u 5.207 * [taylor]: Taking taylor expansion of u in u 5.207 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in v 5.207 * [taylor]: Taking taylor expansion of -1 in v 5.207 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in v 5.207 * [taylor]: Taking taylor expansion of (* t1 v) in v 5.207 * [taylor]: Taking taylor expansion of t1 in v 5.207 * [taylor]: Taking taylor expansion of v in v 5.207 * [taylor]: Taking taylor expansion of (+ t1 u) in v 5.207 * [taylor]: Taking taylor expansion of t1 in v 5.207 * [taylor]: Taking taylor expansion of u in v 5.208 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in t1 5.208 * [taylor]: Taking taylor expansion of -1 in t1 5.208 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in t1 5.208 * [taylor]: Taking taylor expansion of (* t1 v) in t1 5.208 * [taylor]: Taking taylor expansion of t1 in t1 5.208 * [taylor]: Taking taylor expansion of v in t1 5.208 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 5.208 * [taylor]: Taking taylor expansion of t1 in t1 5.208 * [taylor]: Taking taylor expansion of u in t1 5.208 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in t1 5.208 * [taylor]: Taking taylor expansion of -1 in t1 5.208 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in t1 5.208 * [taylor]: Taking taylor expansion of (* t1 v) in t1 5.208 * [taylor]: Taking taylor expansion of t1 in t1 5.208 * [taylor]: Taking taylor expansion of v in t1 5.208 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 5.208 * [taylor]: Taking taylor expansion of t1 in t1 5.208 * [taylor]: Taking taylor expansion of u in t1 5.209 * [taylor]: Taking taylor expansion of (* -1 (/ v u)) in v 5.209 * [taylor]: Taking taylor expansion of -1 in v 5.209 * [taylor]: Taking taylor expansion of (/ v u) in v 5.209 * [taylor]: Taking taylor expansion of v in v 5.209 * [taylor]: Taking taylor expansion of u in v 5.209 * [taylor]: Taking taylor expansion of (/ -1 u) in u 5.209 * [taylor]: Taking taylor expansion of -1 in u 5.209 * [taylor]: Taking taylor expansion of u in u 5.211 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in v 5.211 * [taylor]: Taking taylor expansion of v in v 5.211 * [taylor]: Taking taylor expansion of (pow u 2) in v 5.211 * [taylor]: Taking taylor expansion of u in v 5.211 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 5.211 * [taylor]: Taking taylor expansion of (pow u 2) in u 5.211 * [taylor]: Taking taylor expansion of u in u 5.214 * [taylor]: Taking taylor expansion of 0 in u 5.216 * [taylor]: Taking taylor expansion of (- (/ v (pow u 3))) in v 5.216 * [taylor]: Taking taylor expansion of (/ v (pow u 3)) in v 5.216 * [taylor]: Taking taylor expansion of v in v 5.216 * [taylor]: Taking taylor expansion of (pow u 3) in v 5.216 * [taylor]: Taking taylor expansion of u in v 5.216 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 3))) in u 5.216 * [taylor]: Taking taylor expansion of (/ 1 (pow u 3)) in u 5.216 * [taylor]: Taking taylor expansion of (pow u 3) in u 5.216 * [taylor]: Taking taylor expansion of u in u 5.222 * [taylor]: Taking taylor expansion of 0 in u 5.222 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in (t1 v u) around 0 5.222 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in u 5.222 * [taylor]: Taking taylor expansion of -1 in u 5.222 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in u 5.222 * [taylor]: Taking taylor expansion of t1 in u 5.222 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u 5.222 * [taylor]: Taking taylor expansion of v in u 5.222 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 5.222 * [taylor]: Taking taylor expansion of (/ 1 u) in u 5.222 * [taylor]: Taking taylor expansion of u in u 5.222 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 5.223 * [taylor]: Taking taylor expansion of t1 in u 5.223 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in v 5.223 * [taylor]: Taking taylor expansion of -1 in v 5.223 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 5.223 * [taylor]: Taking taylor expansion of t1 in v 5.223 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 5.223 * [taylor]: Taking taylor expansion of v in v 5.223 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 5.223 * [taylor]: Taking taylor expansion of (/ 1 u) in v 5.223 * [taylor]: Taking taylor expansion of u in v 5.223 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 5.223 * [taylor]: Taking taylor expansion of t1 in v 5.224 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1 5.224 * [taylor]: Taking taylor expansion of -1 in t1 5.224 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 5.224 * [taylor]: Taking taylor expansion of t1 in t1 5.224 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 5.224 * [taylor]: Taking taylor expansion of v in t1 5.224 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 5.224 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 5.224 * [taylor]: Taking taylor expansion of u in t1 5.225 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 5.225 * [taylor]: Taking taylor expansion of t1 in t1 5.226 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1 5.226 * [taylor]: Taking taylor expansion of -1 in t1 5.226 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 5.226 * [taylor]: Taking taylor expansion of t1 in t1 5.226 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 5.226 * [taylor]: Taking taylor expansion of v in t1 5.226 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 5.226 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 5.226 * [taylor]: Taking taylor expansion of u in t1 5.226 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 5.226 * [taylor]: Taking taylor expansion of t1 in t1 5.228 * [taylor]: Taking taylor expansion of (/ -1 v) in v 5.228 * [taylor]: Taking taylor expansion of -1 in v 5.228 * [taylor]: Taking taylor expansion of v in v 5.228 * [taylor]: Taking taylor expansion of -1 in u 5.230 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v 5.230 * [taylor]: Taking taylor expansion of (* v u) in v 5.230 * [taylor]: Taking taylor expansion of v in v 5.230 * [taylor]: Taking taylor expansion of u in v 5.230 * [taylor]: Taking taylor expansion of (/ 1 u) in u 5.230 * [taylor]: Taking taylor expansion of u in u 5.232 * [taylor]: Taking taylor expansion of 0 in u 5.234 * [taylor]: Taking taylor expansion of (- (/ 1 (* v (pow u 2)))) in v 5.234 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v 5.234 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v 5.234 * [taylor]: Taking taylor expansion of v in v 5.234 * [taylor]: Taking taylor expansion of (pow u 2) in v 5.234 * [taylor]: Taking taylor expansion of u in v 5.235 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 2))) in u 5.235 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 5.235 * [taylor]: Taking taylor expansion of (pow u 2) in u 5.235 * [taylor]: Taking taylor expansion of u in u 5.239 * [taylor]: Taking taylor expansion of 0 in u 5.239 * [approximate]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in (t1 v u) around 0 5.239 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in u 5.239 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in u 5.239 * [taylor]: Taking taylor expansion of t1 in u 5.239 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u 5.239 * [taylor]: Taking taylor expansion of v in u 5.239 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 5.239 * [taylor]: Taking taylor expansion of (/ 1 u) in u 5.239 * [taylor]: Taking taylor expansion of u in u 5.240 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 5.240 * [taylor]: Taking taylor expansion of t1 in u 5.240 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in v 5.240 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 5.240 * [taylor]: Taking taylor expansion of t1 in v 5.240 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 5.240 * [taylor]: Taking taylor expansion of v in v 5.240 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 5.240 * [taylor]: Taking taylor expansion of (/ 1 u) in v 5.240 * [taylor]: Taking taylor expansion of u in v 5.240 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 5.240 * [taylor]: Taking taylor expansion of t1 in v 5.241 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1 5.241 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 5.241 * [taylor]: Taking taylor expansion of t1 in t1 5.242 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 5.242 * [taylor]: Taking taylor expansion of v in t1 5.242 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 5.242 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 5.242 * [taylor]: Taking taylor expansion of u in t1 5.242 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 5.242 * [taylor]: Taking taylor expansion of t1 in t1 5.246 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1 5.246 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 5.246 * [taylor]: Taking taylor expansion of t1 in t1 5.246 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 5.246 * [taylor]: Taking taylor expansion of v in t1 5.246 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 5.246 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 5.246 * [taylor]: Taking taylor expansion of u in t1 5.247 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 5.247 * [taylor]: Taking taylor expansion of t1 in t1 5.248 * [taylor]: Taking taylor expansion of (/ 1 v) in v 5.248 * [taylor]: Taking taylor expansion of v in v 5.248 * [taylor]: Taking taylor expansion of 1 in u 5.250 * [taylor]: Taking taylor expansion of (- (/ 1 (* v u))) in v 5.250 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v 5.250 * [taylor]: Taking taylor expansion of (* v u) in v 5.250 * [taylor]: Taking taylor expansion of v in v 5.250 * [taylor]: Taking taylor expansion of u in v 5.250 * [taylor]: Taking taylor expansion of (- (/ 1 u)) in u 5.250 * [taylor]: Taking taylor expansion of (/ 1 u) in u 5.250 * [taylor]: Taking taylor expansion of u in u 5.252 * [taylor]: Taking taylor expansion of 0 in u 5.254 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v 5.254 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v 5.254 * [taylor]: Taking taylor expansion of v in v 5.254 * [taylor]: Taking taylor expansion of (pow u 2) in v 5.254 * [taylor]: Taking taylor expansion of u in v 5.255 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 5.255 * [taylor]: Taking taylor expansion of (pow u 2) in u 5.255 * [taylor]: Taking taylor expansion of u in u 5.259 * [taylor]: Taking taylor expansion of 0 in u 5.260 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 5.260 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (+ t1 u) 2) (* t1 v))) in (t1 u v) around 0 5.260 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (+ t1 u) 2) (* t1 v))) in v 5.260 * [taylor]: Taking taylor expansion of -1 in v 5.260 * [taylor]: Taking taylor expansion of (/ (pow (+ t1 u) 2) (* t1 v)) in v 5.260 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v 5.260 * [taylor]: Taking taylor expansion of (+ t1 u) in v 5.260 * [taylor]: Taking taylor expansion of t1 in v 5.260 * [taylor]: Taking taylor expansion of u in v 5.260 * [taylor]: Taking taylor expansion of (* t1 v) in v 5.260 * [taylor]: Taking taylor expansion of t1 in v 5.260 * [taylor]: Taking taylor expansion of v in v 5.260 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (+ t1 u) 2) (* t1 v))) in u 5.260 * [taylor]: Taking taylor expansion of -1 in u 5.260 * [taylor]: Taking taylor expansion of (/ (pow (+ t1 u) 2) (* t1 v)) in u 5.260 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u 5.261 * [taylor]: Taking taylor expansion of (+ t1 u) in u 5.261 * [taylor]: Taking taylor expansion of t1 in u 5.261 * [taylor]: Taking taylor expansion of u in u 5.261 * [taylor]: Taking taylor expansion of (* t1 v) in u 5.261 * [taylor]: Taking taylor expansion of t1 in u 5.261 * [taylor]: Taking taylor expansion of v in u 5.261 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (+ t1 u) 2) (* t1 v))) in t1 5.261 * [taylor]: Taking taylor expansion of -1 in t1 5.261 * [taylor]: Taking taylor expansion of (/ (pow (+ t1 u) 2) (* t1 v)) in t1 5.261 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 5.261 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 5.261 * [taylor]: Taking taylor expansion of t1 in t1 5.261 * [taylor]: Taking taylor expansion of u in t1 5.261 * [taylor]: Taking taylor expansion of (* t1 v) in t1 5.261 * [taylor]: Taking taylor expansion of t1 in t1 5.261 * [taylor]: Taking taylor expansion of v in t1 5.261 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (+ t1 u) 2) (* t1 v))) in t1 5.261 * [taylor]: Taking taylor expansion of -1 in t1 5.261 * [taylor]: Taking taylor expansion of (/ (pow (+ t1 u) 2) (* t1 v)) in t1 5.261 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 5.261 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 5.261 * [taylor]: Taking taylor expansion of t1 in t1 5.261 * [taylor]: Taking taylor expansion of u in t1 5.261 * [taylor]: Taking taylor expansion of (* t1 v) in t1 5.262 * [taylor]: Taking taylor expansion of t1 in t1 5.262 * [taylor]: Taking taylor expansion of v in t1 5.262 * [taylor]: Taking taylor expansion of (* -1 (/ (pow u 2) v)) in u 5.262 * [taylor]: Taking taylor expansion of -1 in u 5.262 * [taylor]: Taking taylor expansion of (/ (pow u 2) v) in u 5.262 * [taylor]: Taking taylor expansion of (pow u 2) in u 5.262 * [taylor]: Taking taylor expansion of u in u 5.262 * [taylor]: Taking taylor expansion of v in u 5.264 * [taylor]: Taking taylor expansion of (- (* 2 (/ u v))) in u 5.264 * [taylor]: Taking taylor expansion of (* 2 (/ u v)) in u 5.264 * [taylor]: Taking taylor expansion of 2 in u 5.264 * [taylor]: Taking taylor expansion of (/ u v) in u 5.264 * [taylor]: Taking taylor expansion of u in u 5.264 * [taylor]: Taking taylor expansion of v in u 5.265 * [taylor]: Taking taylor expansion of (- (/ 1 v)) in u 5.265 * [taylor]: Taking taylor expansion of (/ 1 v) in u 5.265 * [taylor]: Taking taylor expansion of v in u 5.266 * [taylor]: Taking taylor expansion of (- (/ 1 v)) in v 5.266 * [taylor]: Taking taylor expansion of (/ 1 v) in v 5.266 * [taylor]: Taking taylor expansion of v in v 5.266 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 v))) in v 5.266 * [taylor]: Taking taylor expansion of (* 2 (/ 1 v)) in v 5.266 * [taylor]: Taking taylor expansion of 2 in v 5.266 * [taylor]: Taking taylor expansion of (/ 1 v) in v 5.266 * [taylor]: Taking taylor expansion of v in v 5.267 * [taylor]: Taking taylor expansion of (/ -1 v) in v 5.267 * [taylor]: Taking taylor expansion of -1 in v 5.267 * [taylor]: Taking taylor expansion of v in v 5.268 * [approximate]: Taking taylor expansion of (* -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 u v) around 0 5.268 * [taylor]: Taking taylor expansion of (* -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 5.268 * [taylor]: Taking taylor expansion of -1 in v 5.268 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 5.268 * [taylor]: Taking taylor expansion of t1 in v 5.268 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 5.268 * [taylor]: Taking taylor expansion of v in v 5.268 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 5.268 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 5.268 * [taylor]: Taking taylor expansion of (/ 1 u) in v 5.268 * [taylor]: Taking taylor expansion of u in v 5.268 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 5.268 * [taylor]: Taking taylor expansion of t1 in v 5.268 * [taylor]: Taking taylor expansion of (* -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u 5.268 * [taylor]: Taking taylor expansion of -1 in u 5.268 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u 5.268 * [taylor]: Taking taylor expansion of t1 in u 5.268 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u 5.268 * [taylor]: Taking taylor expansion of v in u 5.268 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 5.268 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 5.268 * [taylor]: Taking taylor expansion of (/ 1 u) in u 5.268 * [taylor]: Taking taylor expansion of u in u 5.269 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 5.269 * [taylor]: Taking taylor expansion of t1 in u 5.269 * [taylor]: Taking taylor expansion of (* -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 5.269 * [taylor]: Taking taylor expansion of -1 in t1 5.269 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 5.269 * [taylor]: Taking taylor expansion of t1 in t1 5.269 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 5.269 * [taylor]: Taking taylor expansion of v in t1 5.269 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 5.269 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 5.269 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 5.269 * [taylor]: Taking taylor expansion of u in t1 5.269 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 5.269 * [taylor]: Taking taylor expansion of t1 in t1 5.270 * [taylor]: Taking taylor expansion of (* -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 5.270 * [taylor]: Taking taylor expansion of -1 in t1 5.270 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 5.270 * [taylor]: Taking taylor expansion of t1 in t1 5.270 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 5.270 * [taylor]: Taking taylor expansion of v in t1 5.270 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 5.270 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 5.270 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 5.270 * [taylor]: Taking taylor expansion of u in t1 5.270 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 5.270 * [taylor]: Taking taylor expansion of t1 in t1 5.271 * [taylor]: Taking taylor expansion of 0 in u 5.272 * [taylor]: Taking taylor expansion of (- v) in u 5.272 * [taylor]: Taking taylor expansion of v in u 5.275 * [taylor]: Taking taylor expansion of (- (* 2 (/ v u))) in u 5.275 * [taylor]: Taking taylor expansion of (* 2 (/ v u)) in u 5.275 * [taylor]: Taking taylor expansion of 2 in u 5.275 * [taylor]: Taking taylor expansion of (/ v u) in u 5.275 * [taylor]: Taking taylor expansion of v in u 5.275 * [taylor]: Taking taylor expansion of u in u 5.275 * [taylor]: Taking taylor expansion of 0 in v 5.278 * [taylor]: Taking taylor expansion of (- (/ v (pow u 2))) in u 5.278 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in u 5.278 * [taylor]: Taking taylor expansion of v in u 5.278 * [taylor]: Taking taylor expansion of (pow u 2) in u 5.278 * [taylor]: Taking taylor expansion of u in u 5.278 * [taylor]: Taking taylor expansion of (- v) in v 5.278 * [taylor]: Taking taylor expansion of v in v 5.279 * [taylor]: Taking taylor expansion of (- (* 2 v)) in v 5.279 * [taylor]: Taking taylor expansion of (* 2 v) in v 5.279 * [taylor]: Taking taylor expansion of 2 in v 5.279 * [taylor]: Taking taylor expansion of v in v 5.279 * [taylor]: Taking taylor expansion of (- v) in v 5.279 * [taylor]: Taking taylor expansion of v in v 5.280 * [taylor]: Taking taylor expansion of 0 in v 5.280 * [approximate]: Taking taylor expansion of (* -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 u v) around 0 5.280 * [taylor]: Taking taylor expansion of (* -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 5.280 * [taylor]: Taking taylor expansion of -1 in v 5.280 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 5.280 * [taylor]: Taking taylor expansion of t1 in v 5.280 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 5.280 * [taylor]: Taking taylor expansion of v in v 5.280 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 5.280 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 5.280 * [taylor]: Taking taylor expansion of (/ 1 u) in v 5.280 * [taylor]: Taking taylor expansion of u in v 5.280 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 5.280 * [taylor]: Taking taylor expansion of t1 in v 5.280 * [taylor]: Taking taylor expansion of (* -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u 5.280 * [taylor]: Taking taylor expansion of -1 in u 5.280 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u 5.280 * [taylor]: Taking taylor expansion of t1 in u 5.280 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u 5.280 * [taylor]: Taking taylor expansion of v in u 5.280 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 5.280 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 5.280 * [taylor]: Taking taylor expansion of (/ 1 u) in u 5.280 * [taylor]: Taking taylor expansion of u in u 5.281 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 5.281 * [taylor]: Taking taylor expansion of t1 in u 5.281 * [taylor]: Taking taylor expansion of (* -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 5.281 * [taylor]: Taking taylor expansion of -1 in t1 5.281 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 5.281 * [taylor]: Taking taylor expansion of t1 in t1 5.281 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 5.281 * [taylor]: Taking taylor expansion of v in t1 5.281 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 5.281 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 5.281 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 5.281 * [taylor]: Taking taylor expansion of u in t1 5.281 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 5.281 * [taylor]: Taking taylor expansion of t1 in t1 5.282 * [taylor]: Taking taylor expansion of (* -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 5.282 * [taylor]: Taking taylor expansion of -1 in t1 5.282 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 5.282 * [taylor]: Taking taylor expansion of t1 in t1 5.282 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 5.282 * [taylor]: Taking taylor expansion of v in t1 5.282 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 5.282 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 5.282 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 5.282 * [taylor]: Taking taylor expansion of u in t1 5.282 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 5.282 * [taylor]: Taking taylor expansion of t1 in t1 5.283 * [taylor]: Taking taylor expansion of 0 in u 5.285 * [taylor]: Taking taylor expansion of (- v) in u 5.285 * [taylor]: Taking taylor expansion of v in u 5.287 * [taylor]: Taking taylor expansion of (- (* 2 (/ v u))) in u 5.287 * [taylor]: Taking taylor expansion of (* 2 (/ v u)) in u 5.287 * [taylor]: Taking taylor expansion of 2 in u 5.287 * [taylor]: Taking taylor expansion of (/ v u) in u 5.287 * [taylor]: Taking taylor expansion of v in u 5.287 * [taylor]: Taking taylor expansion of u in u 5.287 * [taylor]: Taking taylor expansion of 0 in v 5.290 * [taylor]: Taking taylor expansion of (- (/ v (pow u 2))) in u 5.290 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in u 5.290 * [taylor]: Taking taylor expansion of v in u 5.290 * [taylor]: Taking taylor expansion of (pow u 2) in u 5.290 * [taylor]: Taking taylor expansion of u in u 5.290 * [taylor]: Taking taylor expansion of (- v) in v 5.290 * [taylor]: Taking taylor expansion of v in v 5.291 * [taylor]: Taking taylor expansion of (- (* 2 v)) in v 5.291 * [taylor]: Taking taylor expansion of (* 2 v) in v 5.291 * [taylor]: Taking taylor expansion of 2 in v 5.291 * [taylor]: Taking taylor expansion of v in v 5.291 * [taylor]: Taking taylor expansion of (- v) in v 5.291 * [taylor]: Taking taylor expansion of v in v 5.292 * [taylor]: Taking taylor expansion of 0 in v 5.292 * * * * [progress]: [ 3 / 4 ] generating series at (2) 5.292 * [approximate]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in (t1 u v) around 0 5.292 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v 5.292 * [taylor]: Taking taylor expansion of -1 in v 5.292 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in v 5.292 * [taylor]: Taking taylor expansion of (* t1 v) in v 5.292 * [taylor]: Taking taylor expansion of t1 in v 5.292 * [taylor]: Taking taylor expansion of v in v 5.292 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v 5.292 * [taylor]: Taking taylor expansion of (+ t1 u) in v 5.292 * [taylor]: Taking taylor expansion of t1 in v 5.292 * [taylor]: Taking taylor expansion of u in v 5.293 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u 5.293 * [taylor]: Taking taylor expansion of -1 in u 5.293 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in u 5.293 * [taylor]: Taking taylor expansion of (* t1 v) in u 5.293 * [taylor]: Taking taylor expansion of t1 in u 5.293 * [taylor]: Taking taylor expansion of v in u 5.293 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u 5.293 * [taylor]: Taking taylor expansion of (+ t1 u) in u 5.293 * [taylor]: Taking taylor expansion of t1 in u 5.293 * [taylor]: Taking taylor expansion of u in u 5.293 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1 5.293 * [taylor]: Taking taylor expansion of -1 in t1 5.293 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1 5.293 * [taylor]: Taking taylor expansion of (* t1 v) in t1 5.293 * [taylor]: Taking taylor expansion of t1 in t1 5.293 * [taylor]: Taking taylor expansion of v in t1 5.293 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 5.293 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 5.293 * [taylor]: Taking taylor expansion of t1 in t1 5.293 * [taylor]: Taking taylor expansion of u in t1 5.293 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1 5.293 * [taylor]: Taking taylor expansion of -1 in t1 5.294 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1 5.294 * [taylor]: Taking taylor expansion of (* t1 v) in t1 5.294 * [taylor]: Taking taylor expansion of t1 in t1 5.294 * [taylor]: Taking taylor expansion of v in t1 5.294 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 5.294 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 5.294 * [taylor]: Taking taylor expansion of t1 in t1 5.294 * [taylor]: Taking taylor expansion of u in t1 5.294 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow u 2))) in u 5.294 * [taylor]: Taking taylor expansion of -1 in u 5.294 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in u 5.294 * [taylor]: Taking taylor expansion of v in u 5.294 * [taylor]: Taking taylor expansion of (pow u 2) in u 5.294 * [taylor]: Taking taylor expansion of u in u 5.297 * [taylor]: Taking taylor expansion of 0 in v 5.299 * [taylor]: Taking taylor expansion of (* 2 (/ v (pow u 3))) in u 5.299 * [taylor]: Taking taylor expansion of 2 in u 5.299 * [taylor]: Taking taylor expansion of (/ v (pow u 3)) in u 5.299 * [taylor]: Taking taylor expansion of v in u 5.299 * [taylor]: Taking taylor expansion of (pow u 3) in u 5.299 * [taylor]: Taking taylor expansion of u in u 5.306 * [taylor]: Taking taylor expansion of 0 in v 5.308 * [taylor]: Taking taylor expansion of 0 in v 5.310 * [taylor]: Taking taylor expansion of (- (* 3 (/ v (pow u 4)))) in u 5.310 * [taylor]: Taking taylor expansion of (* 3 (/ v (pow u 4))) in u 5.310 * [taylor]: Taking taylor expansion of 3 in u 5.310 * [taylor]: Taking taylor expansion of (/ v (pow u 4)) in u 5.310 * [taylor]: Taking taylor expansion of v in u 5.310 * [taylor]: Taking taylor expansion of (pow u 4) in u 5.310 * [taylor]: Taking taylor expansion of u in u 5.320 * [taylor]: Taking taylor expansion of 0 in v 5.324 * [taylor]: Taking taylor expansion of 0 in v 5.324 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 u v) around 0 5.324 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 5.324 * [taylor]: Taking taylor expansion of -1 in v 5.324 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 5.324 * [taylor]: Taking taylor expansion of t1 in v 5.324 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 5.324 * [taylor]: Taking taylor expansion of v in v 5.324 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 5.324 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 5.324 * [taylor]: Taking taylor expansion of (/ 1 u) in v 5.324 * [taylor]: Taking taylor expansion of u in v 5.324 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 5.324 * [taylor]: Taking taylor expansion of t1 in v 5.326 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u 5.326 * [taylor]: Taking taylor expansion of -1 in u 5.326 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u 5.326 * [taylor]: Taking taylor expansion of t1 in u 5.326 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u 5.326 * [taylor]: Taking taylor expansion of v in u 5.326 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 5.326 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 5.326 * [taylor]: Taking taylor expansion of (/ 1 u) in u 5.326 * [taylor]: Taking taylor expansion of u in u 5.327 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 5.327 * [taylor]: Taking taylor expansion of t1 in u 5.327 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 5.327 * [taylor]: Taking taylor expansion of -1 in t1 5.327 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 5.327 * [taylor]: Taking taylor expansion of t1 in t1 5.327 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 5.327 * [taylor]: Taking taylor expansion of v in t1 5.327 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 5.327 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 5.327 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 5.327 * [taylor]: Taking taylor expansion of u in t1 5.327 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 5.327 * [taylor]: Taking taylor expansion of t1 in t1 5.329 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 5.329 * [taylor]: Taking taylor expansion of -1 in t1 5.329 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 5.329 * [taylor]: Taking taylor expansion of t1 in t1 5.329 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 5.329 * [taylor]: Taking taylor expansion of v in t1 5.329 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 5.329 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 5.329 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 5.329 * [taylor]: Taking taylor expansion of u in t1 5.329 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 5.329 * [taylor]: Taking taylor expansion of t1 in t1 5.331 * [taylor]: Taking taylor expansion of (/ -1 v) in u 5.331 * [taylor]: Taking taylor expansion of -1 in u 5.331 * [taylor]: Taking taylor expansion of v in u 5.331 * [taylor]: Taking taylor expansion of 0 in v 5.336 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in u 5.336 * [taylor]: Taking taylor expansion of 2 in u 5.336 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in u 5.336 * [taylor]: Taking taylor expansion of (* v u) in u 5.336 * [taylor]: Taking taylor expansion of v in u 5.336 * [taylor]: Taking taylor expansion of u in u 5.338 * [taylor]: Taking taylor expansion of 0 in v 5.339 * [taylor]: Taking taylor expansion of 0 in v 5.341 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* v (pow u 2))))) in u 5.341 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in u 5.341 * [taylor]: Taking taylor expansion of 3 in u 5.341 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in u 5.341 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in u 5.341 * [taylor]: Taking taylor expansion of v in u 5.341 * [taylor]: Taking taylor expansion of (pow u 2) in u 5.341 * [taylor]: Taking taylor expansion of u in u 5.347 * [taylor]: Taking taylor expansion of 0 in v 5.348 * [taylor]: Taking taylor expansion of 0 in v 5.349 * [taylor]: Taking taylor expansion of 0 in v 5.352 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* v (pow u 3)))) in u 5.352 * [taylor]: Taking taylor expansion of 4 in u 5.352 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 3))) in u 5.352 * [taylor]: Taking taylor expansion of (* v (pow u 3)) in u 5.352 * [taylor]: Taking taylor expansion of v in u 5.352 * [taylor]: Taking taylor expansion of (pow u 3) in u 5.352 * [taylor]: Taking taylor expansion of u in u 5.362 * [taylor]: Taking taylor expansion of 0 in v 5.366 * [taylor]: Taking taylor expansion of 0 in v 5.368 * [taylor]: Taking taylor expansion of 0 in v 5.368 * [taylor]: Taking taylor expansion of 0 in v 5.368 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 u v) around 0 5.368 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 5.368 * [taylor]: Taking taylor expansion of -1 in v 5.368 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 5.368 * [taylor]: Taking taylor expansion of t1 in v 5.368 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 5.368 * [taylor]: Taking taylor expansion of v in v 5.368 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 5.368 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 5.368 * [taylor]: Taking taylor expansion of (/ 1 u) in v 5.368 * [taylor]: Taking taylor expansion of u in v 5.368 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 5.368 * [taylor]: Taking taylor expansion of t1 in v 5.370 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u 5.370 * [taylor]: Taking taylor expansion of -1 in u 5.370 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u 5.370 * [taylor]: Taking taylor expansion of t1 in u 5.370 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u 5.370 * [taylor]: Taking taylor expansion of v in u 5.370 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 5.370 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 5.371 * [taylor]: Taking taylor expansion of (/ 1 u) in u 5.371 * [taylor]: Taking taylor expansion of u in u 5.371 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 5.371 * [taylor]: Taking taylor expansion of t1 in u 5.371 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 5.371 * [taylor]: Taking taylor expansion of -1 in t1 5.371 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 5.371 * [taylor]: Taking taylor expansion of t1 in t1 5.371 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 5.372 * [taylor]: Taking taylor expansion of v in t1 5.372 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 5.372 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 5.372 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 5.372 * [taylor]: Taking taylor expansion of u in t1 5.372 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 5.372 * [taylor]: Taking taylor expansion of t1 in t1 5.373 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 5.373 * [taylor]: Taking taylor expansion of -1 in t1 5.373 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 5.373 * [taylor]: Taking taylor expansion of t1 in t1 5.373 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 5.373 * [taylor]: Taking taylor expansion of v in t1 5.373 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 5.373 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 5.373 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 5.373 * [taylor]: Taking taylor expansion of u in t1 5.374 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 5.374 * [taylor]: Taking taylor expansion of t1 in t1 5.375 * [taylor]: Taking taylor expansion of (/ -1 v) in u 5.375 * [taylor]: Taking taylor expansion of -1 in u 5.375 * [taylor]: Taking taylor expansion of v in u 5.376 * [taylor]: Taking taylor expansion of 0 in v 5.378 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in u 5.378 * [taylor]: Taking taylor expansion of 2 in u 5.378 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in u 5.378 * [taylor]: Taking taylor expansion of (* v u) in u 5.378 * [taylor]: Taking taylor expansion of v in u 5.378 * [taylor]: Taking taylor expansion of u in u 5.380 * [taylor]: Taking taylor expansion of 0 in v 5.381 * [taylor]: Taking taylor expansion of 0 in v 5.383 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* v (pow u 2))))) in u 5.383 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in u 5.383 * [taylor]: Taking taylor expansion of 3 in u 5.383 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in u 5.383 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in u 5.383 * [taylor]: Taking taylor expansion of v in u 5.383 * [taylor]: Taking taylor expansion of (pow u 2) in u 5.383 * [taylor]: Taking taylor expansion of u in u 5.389 * [taylor]: Taking taylor expansion of 0 in v 5.390 * [taylor]: Taking taylor expansion of 0 in v 5.391 * [taylor]: Taking taylor expansion of 0 in v 5.394 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* v (pow u 3)))) in u 5.394 * [taylor]: Taking taylor expansion of 4 in u 5.394 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 3))) in u 5.394 * [taylor]: Taking taylor expansion of (* v (pow u 3)) in u 5.394 * [taylor]: Taking taylor expansion of v in u 5.394 * [taylor]: Taking taylor expansion of (pow u 3) in u 5.394 * [taylor]: Taking taylor expansion of u in u 5.404 * [taylor]: Taking taylor expansion of 0 in v 5.407 * [taylor]: Taking taylor expansion of 0 in v 5.409 * [taylor]: Taking taylor expansion of 0 in v 5.409 * [taylor]: Taking taylor expansion of 0 in v 5.409 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2) 5.410 * [approximate]: Taking taylor expansion of (/ v (+ t1 u)) in (v t1 u) around 0 5.410 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in u 5.410 * [taylor]: Taking taylor expansion of v in u 5.410 * [taylor]: Taking taylor expansion of (+ t1 u) in u 5.410 * [taylor]: Taking taylor expansion of t1 in u 5.410 * [taylor]: Taking taylor expansion of u in u 5.410 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in t1 5.410 * [taylor]: Taking taylor expansion of v in t1 5.410 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 5.410 * [taylor]: Taking taylor expansion of t1 in t1 5.410 * [taylor]: Taking taylor expansion of u in t1 5.410 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in v 5.410 * [taylor]: Taking taylor expansion of v in v 5.410 * [taylor]: Taking taylor expansion of (+ t1 u) in v 5.410 * [taylor]: Taking taylor expansion of t1 in v 5.410 * [taylor]: Taking taylor expansion of u in v 5.410 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in v 5.410 * [taylor]: Taking taylor expansion of v in v 5.410 * [taylor]: Taking taylor expansion of (+ t1 u) in v 5.410 * [taylor]: Taking taylor expansion of t1 in v 5.410 * [taylor]: Taking taylor expansion of u in v 5.410 * [taylor]: Taking taylor expansion of (/ 1 (+ t1 u)) in t1 5.410 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 5.410 * [taylor]: Taking taylor expansion of t1 in t1 5.410 * [taylor]: Taking taylor expansion of u in t1 5.410 * [taylor]: Taking taylor expansion of (/ 1 u) in u 5.410 * [taylor]: Taking taylor expansion of u in u 5.411 * [taylor]: Taking taylor expansion of 0 in t1 5.411 * [taylor]: Taking taylor expansion of 0 in u 5.412 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 2))) in u 5.412 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 5.412 * [taylor]: Taking taylor expansion of (pow u 2) in u 5.412 * [taylor]: Taking taylor expansion of u in u 5.415 * [taylor]: Taking taylor expansion of 0 in t1 5.415 * [taylor]: Taking taylor expansion of 0 in u 5.415 * [taylor]: Taking taylor expansion of 0 in u 5.415 * [approximate]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in (v t1 u) around 0 5.415 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u 5.415 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u 5.415 * [taylor]: Taking taylor expansion of v in u 5.415 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 5.415 * [taylor]: Taking taylor expansion of (/ 1 u) in u 5.415 * [taylor]: Taking taylor expansion of u in u 5.416 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 5.416 * [taylor]: Taking taylor expansion of t1 in u 5.416 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 5.416 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 5.416 * [taylor]: Taking taylor expansion of v in t1 5.416 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 5.416 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 5.416 * [taylor]: Taking taylor expansion of u in t1 5.416 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 5.416 * [taylor]: Taking taylor expansion of t1 in t1 5.419 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 5.419 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 5.419 * [taylor]: Taking taylor expansion of v in v 5.419 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 5.419 * [taylor]: Taking taylor expansion of (/ 1 u) in v 5.419 * [taylor]: Taking taylor expansion of u in v 5.419 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 5.419 * [taylor]: Taking taylor expansion of t1 in v 5.420 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 5.420 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 5.420 * [taylor]: Taking taylor expansion of v in v 5.420 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 5.420 * [taylor]: Taking taylor expansion of (/ 1 u) in v 5.420 * [taylor]: Taking taylor expansion of u in v 5.420 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 5.420 * [taylor]: Taking taylor expansion of t1 in v 5.421 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in t1 5.421 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 5.421 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 5.421 * [taylor]: Taking taylor expansion of u in t1 5.421 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 5.421 * [taylor]: Taking taylor expansion of t1 in t1 5.422 * [taylor]: Taking taylor expansion of 1 in u 5.423 * [taylor]: Taking taylor expansion of 0 in t1 5.423 * [taylor]: Taking taylor expansion of 0 in u 5.424 * [taylor]: Taking taylor expansion of (- (/ 1 u)) in u 5.424 * [taylor]: Taking taylor expansion of (/ 1 u) in u 5.424 * [taylor]: Taking taylor expansion of u in u 5.426 * [taylor]: Taking taylor expansion of 0 in t1 5.426 * [taylor]: Taking taylor expansion of 0 in u 5.427 * [taylor]: Taking taylor expansion of 0 in u 5.427 * [approximate]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in (v t1 u) around 0 5.427 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u 5.427 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u 5.427 * [taylor]: Taking taylor expansion of v in u 5.427 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 5.427 * [taylor]: Taking taylor expansion of (/ 1 u) in u 5.427 * [taylor]: Taking taylor expansion of u in u 5.427 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 5.427 * [taylor]: Taking taylor expansion of t1 in u 5.427 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 5.427 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 5.427 * [taylor]: Taking taylor expansion of v in t1 5.428 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 5.428 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 5.428 * [taylor]: Taking taylor expansion of u in t1 5.428 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 5.428 * [taylor]: Taking taylor expansion of t1 in t1 5.428 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 5.428 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 5.428 * [taylor]: Taking taylor expansion of v in v 5.428 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 5.428 * [taylor]: Taking taylor expansion of (/ 1 u) in v 5.428 * [taylor]: Taking taylor expansion of u in v 5.428 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 5.428 * [taylor]: Taking taylor expansion of t1 in v 5.429 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 5.429 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 5.429 * [taylor]: Taking taylor expansion of v in v 5.429 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 5.429 * [taylor]: Taking taylor expansion of (/ 1 u) in v 5.429 * [taylor]: Taking taylor expansion of u in v 5.429 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 5.429 * [taylor]: Taking taylor expansion of t1 in v 5.430 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in t1 5.430 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 5.430 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 5.430 * [taylor]: Taking taylor expansion of u in t1 5.430 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 5.430 * [taylor]: Taking taylor expansion of t1 in t1 5.431 * [taylor]: Taking taylor expansion of 1 in u 5.432 * [taylor]: Taking taylor expansion of 0 in t1 5.432 * [taylor]: Taking taylor expansion of 0 in u 5.433 * [taylor]: Taking taylor expansion of (- (/ 1 u)) in u 5.433 * [taylor]: Taking taylor expansion of (/ 1 u) in u 5.433 * [taylor]: Taking taylor expansion of u in u 5.436 * [taylor]: Taking taylor expansion of 0 in t1 5.436 * [taylor]: Taking taylor expansion of 0 in u 5.436 * [taylor]: Taking taylor expansion of 0 in u 5.436 * * * [progress]: simplifying candidates 5.438 * [simplify]: Simplifying using # : (expm1 (* (- t1) (/ v (+ t1 u)))) (log1p (* (- t1) (/ v (+ t1 u)))) (* (- t1) (/ v (+ t1 u))) (+ (log (- t1)) (- (log v) (log (+ t1 u)))) (+ (log (- t1)) (log (/ v (+ t1 u)))) (log (* (- t1) (/ v (+ t1 u)))) (exp (* (- t1) (/ v (+ t1 u)))) (* (* (* (- t1) (- t1)) (- t1)) (/ (* (* v v) v) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))) (* (* (* (- t1) (- t1)) (- t1)) (* (* (/ v (+ t1 u)) (/ v (+ t1 u))) (/ v (+ t1 u)))) (* (cbrt (* (- t1) (/ v (+ t1 u)))) (cbrt (* (- t1) (/ v (+ t1 u))))) (cbrt (* (- t1) (/ v (+ t1 u)))) (* (* (* (- t1) (/ v (+ t1 u))) (* (- t1) (/ v (+ t1 u)))) (* (- t1) (/ v (+ t1 u)))) (sqrt (* (- t1) (/ v (+ t1 u)))) (sqrt (* (- t1) (/ v (+ t1 u)))) (* (sqrt (- t1)) (sqrt (/ v (+ t1 u)))) (* (sqrt (- t1)) (sqrt (/ v (+ t1 u)))) (* (sqrt (- t1)) (/ (sqrt v) (sqrt (+ t1 u)))) (* (sqrt (- t1)) (/ (sqrt v) (sqrt (+ t1 u)))) (* t1 (/ v (+ t1 u))) (* (- t1) (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u))))) (* (- t1) (sqrt (/ v (+ t1 u)))) (* (- t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (* (- t1) (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u)))) (* (- t1) (/ (* (cbrt v) (cbrt v)) 1)) (* (- t1) (/ (* (cbrt v) (cbrt v)) 1)) (* (- t1) (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (* (- t1) (/ (sqrt v) (sqrt (+ t1 u)))) (* (- t1) (/ (sqrt v) 1)) (* (- t1) (/ (sqrt v) 1)) (* (- t1) (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (* (- t1) (/ 1 (sqrt (+ t1 u)))) (* (- t1) (/ 1 1)) (* (- t1) (/ 1 1)) (* (- t1) 1) (* (- t1) v) (* (- t1) (/ v (+ (pow t1 3) (pow u 3)))) (* (- t1) (/ v (- (* t1 t1) (* u u)))) (* (cbrt (- t1)) (/ v (+ t1 u))) (* (sqrt (- t1)) (/ v (+ t1 u))) (* (- t1) (/ v (+ t1 u))) (* t1 (/ v (+ t1 u))) (* (cbrt t1) (/ v (+ t1 u))) (* (sqrt t1) (/ v (+ t1 u))) (* t1 (/ v (+ t1 u))) (* (- (cbrt t1)) (/ v (+ t1 u))) (* (- (sqrt t1)) (/ v (+ t1 u))) (* (- t1) (/ v (+ t1 u))) (* (- t1) v) (expm1 (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (log1p (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (- (log (+ t1 u)) (+ (log (- t1)) (- (log v) (log (+ t1 u))))) (- (log (+ t1 u)) (+ (log (- t1)) (log (/ v (+ t1 u))))) (- (log (+ t1 u)) (log (* (- t1) (/ v (+ t1 u))))) (log (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (exp (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (/ (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (* (* (- t1) (- t1)) (- t1)) (/ (* (* v v) v) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))))) (/ (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (* (* (- t1) (- t1)) (- t1)) (* (* (/ v (+ t1 u)) (/ v (+ t1 u))) (/ v (+ t1 u))))) (/ (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (* (* (- t1) (/ v (+ t1 u))) (* (- t1) (/ v (+ t1 u)))) (* (- t1) (/ v (+ t1 u))))) (* (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (* (* (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))) (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (sqrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (sqrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (- (+ t1 u)) (- (* (- t1) (/ v (+ t1 u)))) (/ (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (- t1)) (/ (cbrt (+ t1 u)) (/ v (+ t1 u))) (/ (sqrt (+ t1 u)) (- t1)) (/ (sqrt (+ t1 u)) (/ v (+ t1 u))) (/ 1 (- t1)) (/ (+ t1 u) (/ v (+ t1 u))) (/ 1 (- t1)) (/ (+ t1 u) (/ v (+ t1 u))) (/ 1 (* (- t1) (/ v (+ t1 u)))) (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)) (/ (+ t1 u) (- t1)) (/ (* (- t1) (/ v (+ t1 u))) (cbrt (+ t1 u))) (/ (* (- t1) (/ v (+ t1 u))) (sqrt (+ t1 u))) (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)) (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)) (/ (+ t1 u) (* (- t1) v)) (* (* (- t1) (/ v (+ t1 u))) (+ (* t1 t1) (- (* u u) (* t1 u)))) (* (* (- t1) (/ v (+ t1 u))) (- t1 u)) (expm1 (/ 1 (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (log1p (/ 1 (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (- 1) (- (- (log (+ t1 u)) (+ (log (- t1)) (- (log v) (log (+ t1 u)))))) (- (- (log (+ t1 u)) (+ (log (- t1)) (log (/ v (+ t1 u)))))) (- (- (log (+ t1 u)) (log (* (- t1) (/ v (+ t1 u)))))) (- (log (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (- 0 (- (log (+ t1 u)) (+ (log (- t1)) (- (log v) (log (+ t1 u)))))) (- 0 (- (log (+ t1 u)) (+ (log (- t1)) (log (/ v (+ t1 u)))))) (- 0 (- (log (+ t1 u)) (log (* (- t1) (/ v (+ t1 u)))))) (- 0 (log (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (- (log 1) (- (log (+ t1 u)) (+ (log (- t1)) (- (log v) (log (+ t1 u)))))) (- (log 1) (- (log (+ t1 u)) (+ (log (- t1)) (log (/ v (+ t1 u)))))) (- (log 1) (- (log (+ t1 u)) (log (* (- t1) (/ v (+ t1 u)))))) (- (log 1) (log (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (log (/ 1 (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (exp (/ 1 (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ (* (* 1 1) 1) (/ (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (* (* (- t1) (- t1)) (- t1)) (/ (* (* v v) v) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))))) (/ (* (* 1 1) 1) (/ (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (* (* (- t1) (- t1)) (- t1)) (* (* (/ v (+ t1 u)) (/ v (+ t1 u))) (/ v (+ t1 u)))))) (/ (* (* 1 1) 1) (/ (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (* (* (- t1) (/ v (+ t1 u))) (* (- t1) (/ v (+ t1 u)))) (* (- t1) (/ v (+ t1 u)))))) (/ (* (* 1 1) 1) (* (* (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))) (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (* (cbrt (/ 1 (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (cbrt (/ 1 (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))))) (cbrt (/ 1 (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (* (* (/ 1 (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (/ 1 (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ 1 (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (sqrt (/ 1 (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (sqrt (/ 1 (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (- 1) (- (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))))) (/ (cbrt 1) (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ (cbrt 1) (sqrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (- t1))) (/ (cbrt 1) (/ (cbrt (+ t1 u)) (/ v (+ t1 u)))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (+ t1 u)) (- t1))) (/ (cbrt 1) (/ (sqrt (+ t1 u)) (/ v (+ t1 u)))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (- t1))) (/ (cbrt 1) (/ (+ t1 u) (/ v (+ t1 u)))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (- t1))) (/ (cbrt 1) (/ (+ t1 u) (/ v (+ t1 u)))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (/ (* (cbrt 1) (cbrt 1)) (+ t1 u)) (/ (cbrt 1) (/ 1 (* (- t1) (/ v (+ t1 u))))) (/ (* (cbrt 1) (cbrt 1)) (/ (+ t1 u) (* (- t1) v))) (/ (cbrt 1) (+ t1 u)) (/ (sqrt 1) (* (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))))) (/ (sqrt 1) (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ (sqrt 1) (sqrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ (sqrt 1) (sqrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ (sqrt 1) (/ (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (- t1))) (/ (sqrt 1) (/ (cbrt (+ t1 u)) (/ v (+ t1 u)))) (/ (sqrt 1) (/ (sqrt (+ t1 u)) (- t1))) (/ (sqrt 1) (/ (sqrt (+ t1 u)) (/ v (+ t1 u)))) (/ (sqrt 1) (/ 1 (- t1))) (/ (sqrt 1) (/ (+ t1 u) (/ v (+ t1 u)))) (/ (sqrt 1) (/ 1 (- t1))) (/ (sqrt 1) (/ (+ t1 u) (/ v (+ t1 u)))) (/ (sqrt 1) 1) (/ (sqrt 1) (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (/ (sqrt 1) (+ t1 u)) (/ (sqrt 1) (/ 1 (* (- t1) (/ v (+ t1 u))))) (/ (sqrt 1) (/ (+ t1 u) (* (- t1) v))) (/ (sqrt 1) (+ t1 u)) (/ 1 (* (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))))) (/ 1 (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ 1 (sqrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ 1 (sqrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ 1 (/ (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (- t1))) (/ 1 (/ (cbrt (+ t1 u)) (/ v (+ t1 u)))) (/ 1 (/ (sqrt (+ t1 u)) (- t1))) (/ 1 (/ (sqrt (+ t1 u)) (/ v (+ t1 u)))) (/ 1 (/ 1 (- t1))) (/ 1 (/ (+ t1 u) (/ v (+ t1 u)))) (/ 1 (/ 1 (- t1))) (/ 1 (/ (+ t1 u) (/ v (+ t1 u)))) (/ 1 1) (/ 1 (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (/ 1 (+ t1 u)) (/ 1 (/ 1 (* (- t1) (/ v (+ t1 u))))) (/ 1 (/ (+ t1 u) (* (- t1) v))) (/ 1 (+ t1 u)) (/ 1 (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (/ (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))) 1) (/ 1 (* (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))))) (/ 1 (sqrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ 1 (/ (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (- t1))) (/ 1 (/ (sqrt (+ t1 u)) (- t1))) (/ 1 (/ 1 (- t1))) (/ 1 (/ 1 (- t1))) (/ 1 1) (/ 1 (+ t1 u)) (/ 1 (/ (+ t1 u) (* (- t1) v))) (/ (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))) (cbrt 1)) (/ (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))) (sqrt 1)) (/ (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))) 1) (/ 1 (+ t1 u)) (expm1 (/ v (+ t1 u))) (log1p (/ v (+ t1 u))) (- (log v) (log (+ t1 u))) (log (/ v (+ t1 u))) (exp (/ v (+ t1 u))) (/ (* (* v v) v) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))) (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u)))) (cbrt (/ v (+ t1 u))) (* (* (/ v (+ t1 u)) (/ v (+ t1 u))) (/ v (+ t1 u))) (sqrt (/ v (+ t1 u))) (sqrt (/ v (+ t1 u))) (- v) (- (+ t1 u)) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (cbrt v) (cbrt (+ t1 u))) (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u))) (/ (cbrt v) (sqrt (+ t1 u))) (/ (* (cbrt v) (cbrt v)) 1) (/ (cbrt v) (+ t1 u)) (/ (* (cbrt v) (cbrt v)) 1) (/ (cbrt v) (+ t1 u)) (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (sqrt v) (cbrt (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))) (/ (sqrt v) 1) (/ (sqrt v) (+ t1 u)) (/ (sqrt v) 1) (/ (sqrt v) (+ t1 u)) (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ v (cbrt (+ t1 u))) (/ 1 (sqrt (+ t1 u))) (/ v (sqrt (+ t1 u))) (/ 1 1) (/ v (+ t1 u)) (/ 1 1) (/ v (+ t1 u)) (/ 1 (+ t1 u)) (/ (+ t1 u) v) (/ v (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ v (sqrt (+ t1 u))) (/ v 1) (/ v 1) (/ (+ t1 u) (cbrt v)) (/ (+ t1 u) (sqrt v)) (/ (+ t1 u) v) (/ v (+ (pow t1 3) (pow u 3))) (/ v (- (* t1 t1) (* u u))) 0 0 0 (- (+ (/ (pow u 2) (* t1 v)) (+ (* 2 (/ u v)) (/ t1 v)))) 0 0 0 0 0 0 0 0 5.445 * * [simplify]: iteration 0 : 234 enodes (cost 2799 ) 5.507 * * [simplify]: iteration 1 : 604 enodes (cost 2527 ) 5.728 * * [simplify]: iteration 2 : 2409 enodes (cost 2212 ) 6.387 * * [simplify]: iteration done : 5000 enodes (cost 2210 ) 6.388 * [simplify]: Simplified to: (expm1 (* (- t1) (/ v (+ t1 u)))) (log1p (* (- t1) (/ v (+ t1 u)))) (/ v (/ (+ t1 u) (- t1))) (log (/ v (/ (+ t1 u) (- t1)))) (log (/ v (/ (+ t1 u) (- t1)))) (log (/ v (/ (+ t1 u) (- t1)))) (exp (* (- t1) (/ v (+ t1 u)))) (pow (/ v (/ (+ t1 u) (- t1))) 3) (pow (/ v (/ (+ t1 u) (- t1))) 3) (* (cbrt (* (- t1) (/ v (+ t1 u)))) (cbrt (* (- t1) (/ v (+ t1 u))))) (cbrt (* (- t1) (/ v (+ t1 u)))) (pow (/ v (/ (+ t1 u) (- t1))) 3) (sqrt (* (- t1) (/ v (+ t1 u)))) (sqrt (* (- t1) (/ v (+ t1 u)))) (* (sqrt (- t1)) (sqrt (/ v (+ t1 u)))) (* (sqrt (- t1)) (sqrt (/ v (+ t1 u)))) (* (sqrt (- t1)) (/ (sqrt v) (sqrt (+ t1 u)))) (* (sqrt (- t1)) (/ (sqrt v) (sqrt (+ t1 u)))) (* t1 (/ v (+ t1 u))) (* (- t1) (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u))))) (* (- t1) (sqrt (/ v (+ t1 u)))) (* (- t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (* (- t1) (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u)))) (* (- t1) (* (cbrt v) (cbrt v))) (* (- t1) (* (cbrt v) (cbrt v))) (* (- t1) (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (* (- t1) (/ (sqrt v) (sqrt (+ t1 u)))) (* (sqrt v) (- t1)) (* (sqrt v) (- t1)) (/ (- t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (- t1) (sqrt (+ t1 u))) (- t1) (- t1) (- t1) (* (- t1) v) (* (- t1) (/ v (+ (pow t1 3) (pow u 3)))) (* (- t1) (/ v (- (* t1 t1) (* u u)))) (* (cbrt (- t1)) (/ v (+ t1 u))) (* (sqrt (- t1)) (/ v (+ t1 u))) (/ v (/ (+ t1 u) (- t1))) (* t1 (/ v (+ t1 u))) (* (cbrt t1) (/ v (+ t1 u))) (* (sqrt t1) (/ v (+ t1 u))) (* t1 (/ v (+ t1 u))) (* (- (cbrt t1)) (/ v (+ t1 u))) (* (- (sqrt t1)) (/ v (+ t1 u))) (/ v (/ (+ t1 u) (- t1))) (* (- t1) v) (expm1 (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (log1p (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (log (/ (/ (+ t1 u) (- t1)) (/ v (+ t1 u)))) (log (/ (/ (+ t1 u) (- t1)) (/ v (+ t1 u)))) (log (/ (/ (+ t1 u) (- t1)) (/ v (+ t1 u)))) (log (/ (/ (+ t1 u) (- t1)) (/ v (+ t1 u)))) (exp (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (pow (/ (/ (+ t1 u) (- t1)) (/ v (+ t1 u))) 3) (pow (/ (/ (+ t1 u) (- t1)) (/ v (+ t1 u))) 3) (pow (/ (/ (+ t1 u) (- t1)) (/ v (+ t1 u))) 3) (* (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (pow (/ (/ (+ t1 u) (- t1)) (/ v (+ t1 u))) 3) (sqrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (sqrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (- (+ t1 u)) (* t1 (/ v (+ t1 u))) (/ (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (- t1)) (/ (cbrt (+ t1 u)) (/ v (+ t1 u))) (/ (sqrt (+ t1 u)) (- t1)) (/ (* (sqrt (+ t1 u)) (+ t1 u)) v) (/ 1 (- t1)) (* (/ (+ t1 u) v) (+ t1 u)) (/ 1 (- t1)) (* (/ (+ t1 u) v) (+ t1 u)) (/ (/ (+ t1 u) v) (- t1)) (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)) (/ (+ t1 u) (- t1)) (/ (* (- t1) (/ v (+ t1 u))) (cbrt (+ t1 u))) (/ (* (- t1) (/ v (+ t1 u))) (sqrt (+ t1 u))) (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)) (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)) (/ (/ (+ t1 u) v) (- t1)) (* (fma t1 t1 (* u (- u t1))) (- (* t1 (/ v (+ t1 u))))) (* (* (- t1) (/ v (+ t1 u))) (- t1 u)) (expm1 (/ (- (* t1 (/ v (+ t1 u)))) (+ t1 u))) (log1p (/ (- (* t1 (/ v (+ t1 u)))) (+ t1 u))) -1 (log (/ (- (* t1 (/ v (+ t1 u)))) (+ t1 u))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ t1 u))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ t1 u))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ t1 u))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ t1 u))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ t1 u))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ t1 u))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ t1 u))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ t1 u))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ t1 u))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ t1 u))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ t1 u))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ t1 u))) (exp (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (pow (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)) 3) (pow (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)) 3) (pow (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)) 3) (pow (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)) 3) (* (cbrt (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (cbrt (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)))) (cbrt (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (pow (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)) 3) (sqrt (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (sqrt (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) -1 (- (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (/ (/ 1 (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ 1 (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ 1 (sqrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ 1 (sqrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ (- t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ 1 (/ (cbrt (+ t1 u)) (/ v (+ t1 u)))) (/ (- t1) (sqrt (+ t1 u))) (* (/ 1 (sqrt (+ t1 u))) (/ v (+ t1 u))) (- t1) (/ 1 (/ (+ t1 u) (/ v (+ t1 u)))) (- t1) (/ 1 (/ (+ t1 u) (/ v (+ t1 u)))) 1 (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)) (/ 1 (+ t1 u)) (/ v (/ (+ t1 u) (- t1))) (/ v (/ (+ t1 u) (- t1))) (/ 1 (+ t1 u)) (/ (/ 1 (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ 1 (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ 1 (sqrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ 1 (sqrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ (- t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ 1 (/ (cbrt (+ t1 u)) (/ v (+ t1 u)))) (/ (- t1) (sqrt (+ t1 u))) (* (/ 1 (sqrt (+ t1 u))) (/ v (+ t1 u))) (- t1) (/ 1 (/ (+ t1 u) (/ v (+ t1 u)))) (- t1) (/ 1 (/ (+ t1 u) (/ v (+ t1 u)))) 1 (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)) (/ 1 (+ t1 u)) (/ v (/ (+ t1 u) (- t1))) (/ v (/ (+ t1 u) (- t1))) (/ 1 (+ t1 u)) (/ (/ 1 (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ 1 (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ 1 (sqrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ 1 (sqrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ (- t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ 1 (/ (cbrt (+ t1 u)) (/ v (+ t1 u)))) (/ (- t1) (sqrt (+ t1 u))) (* (/ 1 (sqrt (+ t1 u))) (/ v (+ t1 u))) (- t1) (/ 1 (/ (+ t1 u) (/ v (+ t1 u)))) (- t1) (/ 1 (/ (+ t1 u) (/ v (+ t1 u)))) 1 (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)) (/ 1 (+ t1 u)) (/ v (/ (+ t1 u) (- t1))) (/ v (/ (+ t1 u) (- t1))) (/ 1 (+ t1 u)) (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)) (* (/ (+ t1 u) (- t1)) (/ (+ t1 u) v)) (/ (/ 1 (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ 1 (sqrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ (- t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (- t1) (sqrt (+ t1 u))) (- t1) (- t1) 1 (/ 1 (+ t1 u)) (/ v (/ (+ t1 u) (- t1))) (* (/ (+ t1 u) (- t1)) (/ (+ t1 u) v)) (* (/ (+ t1 u) (- t1)) (/ (+ t1 u) v)) (* (/ (+ t1 u) (- t1)) (/ (+ t1 u) v)) (/ 1 (+ t1 u)) (expm1 (/ v (+ t1 u))) (log1p (/ v (+ t1 u))) (log (/ v (+ t1 u))) (log (/ v (+ t1 u))) (exp (/ v (+ t1 u))) (pow (/ v (+ t1 u)) 3) (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u)))) (cbrt (/ v (+ t1 u))) (pow (/ v (+ t1 u)) 3) (sqrt (/ v (+ t1 u))) (sqrt (/ v (+ t1 u))) (- v) (- (+ t1 u)) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (cbrt v) (cbrt (+ t1 u))) (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u))) (/ (cbrt v) (sqrt (+ t1 u))) (* (cbrt v) (cbrt v)) (/ (cbrt v) (+ t1 u)) (* (cbrt v) (cbrt v)) (/ (cbrt v) (+ t1 u)) (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (sqrt v) (cbrt (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))) (sqrt v) (/ (sqrt v) (+ t1 u)) (sqrt v) (/ (sqrt v) (+ t1 u)) (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ v (cbrt (+ t1 u))) (/ 1 (sqrt (+ t1 u))) (/ v (sqrt (+ t1 u))) 1 (/ v (+ t1 u)) 1 (/ v (+ t1 u)) (/ 1 (+ t1 u)) (/ (+ t1 u) v) (/ v (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ v (sqrt (+ t1 u))) v v (/ (+ t1 u) (cbrt v)) (/ (+ t1 u) (sqrt v)) (/ (+ t1 u) v) (/ v (+ (pow t1 3) (pow u 3))) (/ v (- (* t1 t1) (* u u))) 0 0 0 (- (+ (/ (pow u 2) (* t1 v)) (fma 2 (/ u v) (/ t1 v)))) 0 0 0 0 0 0 0 0 6.390 * * * [progress]: adding candidates to table 6.703 * [progress]: [Phase 3 of 3] Extracting. 6.704 * * [regime]: Finding splitpoints for: (# # # # # #) 6.705 * * * [regime-changes]: Trying 3 branch expressions: (t1 v u) 6.706 * * * * [regimes]: Trying to branch on t1 from (# # # # # #) 6.731 * * * * [regimes]: Trying to branch on v from (# # # # # #) 6.752 * * * * [regimes]: Trying to branch on u from (# # # # # #) 6.776 * * * [regime]: Found split indices: #