1.101 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.073 * * * [progress]: [2/2] Setting up program. 0.076 * [progress]: [Phase 2 of 3] Improving. 0.137 * [simplify]: Simplifying using # : (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m) 0.813 * * [simplify]: iteration 0 : 4945 enodes (cost 16 ) 0.814 * * [simplify]: iteration 1 : 4945 enodes (cost 16 ) 0.815 * [simplify]: Simplified to: (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) 0.818 * * [progress]: iteration 1 / 4 0.818 * * * [progress]: picking best candidate 0.819 * * * * [pick]: Picked # 0.820 * * * [progress]: localizing error 0.829 * * * [progress]: generating rewritten candidates 0.829 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 0.843 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 0.851 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1) 0.861 * * * [progress]: generating series expansions 0.861 * * * * [progress]: [ 1 / 3 ] generating series at (2) 0.871 * [approximate]: Taking taylor expansion of (* m (- (/ m v) (+ 1 (/ (pow m 2) v)))) in (m v) around 0 0.872 * [taylor]: Taking taylor expansion of (* m (- (/ m v) (+ 1 (/ (pow m 2) v)))) in v 0.872 * [taylor]: Taking taylor expansion of m in v 0.872 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in v 0.872 * [taylor]: Taking taylor expansion of (/ m v) in v 0.872 * [taylor]: Taking taylor expansion of m in v 0.872 * [taylor]: Taking taylor expansion of v in v 0.872 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in v 0.872 * [taylor]: Taking taylor expansion of 1 in v 0.872 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v 0.872 * [taylor]: Taking taylor expansion of (pow m 2) in v 0.872 * [taylor]: Taking taylor expansion of m in v 0.872 * [taylor]: Taking taylor expansion of v in v 0.873 * [taylor]: Taking taylor expansion of (* m (- (/ m v) (+ 1 (/ (pow m 2) v)))) in m 0.873 * [taylor]: Taking taylor expansion of m in m 0.873 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in m 0.873 * [taylor]: Taking taylor expansion of (/ m v) in m 0.873 * [taylor]: Taking taylor expansion of m in m 0.873 * [taylor]: Taking taylor expansion of v in m 0.874 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in m 0.874 * [taylor]: Taking taylor expansion of 1 in m 0.874 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m 0.874 * [taylor]: Taking taylor expansion of (pow m 2) in m 0.874 * [taylor]: Taking taylor expansion of m in m 0.874 * [taylor]: Taking taylor expansion of v in m 0.874 * [taylor]: Taking taylor expansion of (* m (- (/ m v) (+ 1 (/ (pow m 2) v)))) in m 0.874 * [taylor]: Taking taylor expansion of m in m 0.874 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in m 0.874 * [taylor]: Taking taylor expansion of (/ m v) in m 0.874 * [taylor]: Taking taylor expansion of m in m 0.874 * [taylor]: Taking taylor expansion of v in m 0.874 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in m 0.874 * [taylor]: Taking taylor expansion of 1 in m 0.874 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m 0.874 * [taylor]: Taking taylor expansion of (pow m 2) in m 0.874 * [taylor]: Taking taylor expansion of m in m 0.874 * [taylor]: Taking taylor expansion of v in m 0.875 * [taylor]: Taking taylor expansion of 0 in v 0.876 * [taylor]: Taking taylor expansion of -1 in v 0.877 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.877 * [taylor]: Taking taylor expansion of v in v 0.880 * [taylor]: Taking taylor expansion of (neg (/ 1 v)) in v 0.880 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.880 * [taylor]: Taking taylor expansion of v in v 0.883 * [approximate]: Taking taylor expansion of (/ (- (/ v m) (+ (/ v (pow m 2)) 1)) m) in (m v) around 0 0.883 * [taylor]: Taking taylor expansion of (/ (- (/ v m) (+ (/ v (pow m 2)) 1)) m) in v 0.883 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in v 0.883 * [taylor]: Taking taylor expansion of (/ v m) in v 0.883 * [taylor]: Taking taylor expansion of v in v 0.883 * [taylor]: Taking taylor expansion of m in v 0.883 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in v 0.883 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v 0.883 * [taylor]: Taking taylor expansion of v in v 0.883 * [taylor]: Taking taylor expansion of (pow m 2) in v 0.883 * [taylor]: Taking taylor expansion of m in v 0.883 * [taylor]: Taking taylor expansion of 1 in v 0.883 * [taylor]: Taking taylor expansion of m in v 0.883 * [taylor]: Taking taylor expansion of (/ (- (/ v m) (+ (/ v (pow m 2)) 1)) m) in m 0.883 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in m 0.883 * [taylor]: Taking taylor expansion of (/ v m) in m 0.883 * [taylor]: Taking taylor expansion of v in m 0.883 * [taylor]: Taking taylor expansion of m in m 0.884 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in m 0.884 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m 0.884 * [taylor]: Taking taylor expansion of v in m 0.884 * [taylor]: Taking taylor expansion of (pow m 2) in m 0.884 * [taylor]: Taking taylor expansion of m in m 0.884 * [taylor]: Taking taylor expansion of 1 in m 0.884 * [taylor]: Taking taylor expansion of m in m 0.884 * [taylor]: Taking taylor expansion of (/ (- (/ v m) (+ (/ v (pow m 2)) 1)) m) in m 0.884 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in m 0.884 * [taylor]: Taking taylor expansion of (/ v m) in m 0.884 * [taylor]: Taking taylor expansion of v in m 0.884 * [taylor]: Taking taylor expansion of m in m 0.884 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in m 0.884 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m 0.885 * [taylor]: Taking taylor expansion of v in m 0.885 * [taylor]: Taking taylor expansion of (pow m 2) in m 0.885 * [taylor]: Taking taylor expansion of m in m 0.885 * [taylor]: Taking taylor expansion of 1 in m 0.885 * [taylor]: Taking taylor expansion of m in m 0.885 * [taylor]: Taking taylor expansion of (* -1 v) in v 0.885 * [taylor]: Taking taylor expansion of -1 in v 0.885 * [taylor]: Taking taylor expansion of v in v 0.886 * [taylor]: Taking taylor expansion of v in v 0.888 * [taylor]: Taking taylor expansion of -1 in v 0.891 * [approximate]: Taking taylor expansion of (* -1 (/ (- (+ (/ v (pow m 2)) (/ v m)) 1) m)) in (m v) around 0 0.891 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ v (pow m 2)) (/ v m)) 1) m)) in v 0.891 * [taylor]: Taking taylor expansion of -1 in v 0.891 * [taylor]: Taking taylor expansion of (/ (- (+ (/ v (pow m 2)) (/ v m)) 1) m) in v 0.891 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in v 0.891 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in v 0.891 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v 0.891 * [taylor]: Taking taylor expansion of v in v 0.891 * [taylor]: Taking taylor expansion of (pow m 2) in v 0.891 * [taylor]: Taking taylor expansion of m in v 0.891 * [taylor]: Taking taylor expansion of (/ v m) in v 0.892 * [taylor]: Taking taylor expansion of v in v 0.892 * [taylor]: Taking taylor expansion of m in v 0.892 * [taylor]: Taking taylor expansion of 1 in v 0.892 * [taylor]: Taking taylor expansion of m in v 0.892 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ v (pow m 2)) (/ v m)) 1) m)) in m 0.892 * [taylor]: Taking taylor expansion of -1 in m 0.892 * [taylor]: Taking taylor expansion of (/ (- (+ (/ v (pow m 2)) (/ v m)) 1) m) in m 0.892 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in m 0.892 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in m 0.892 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m 0.892 * [taylor]: Taking taylor expansion of v in m 0.892 * [taylor]: Taking taylor expansion of (pow m 2) in m 0.892 * [taylor]: Taking taylor expansion of m in m 0.892 * [taylor]: Taking taylor expansion of (/ v m) in m 0.892 * [taylor]: Taking taylor expansion of v in m 0.892 * [taylor]: Taking taylor expansion of m in m 0.892 * [taylor]: Taking taylor expansion of 1 in m 0.892 * [taylor]: Taking taylor expansion of m in m 0.893 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ v (pow m 2)) (/ v m)) 1) m)) in m 0.893 * [taylor]: Taking taylor expansion of -1 in m 0.893 * [taylor]: Taking taylor expansion of (/ (- (+ (/ v (pow m 2)) (/ v m)) 1) m) in m 0.893 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in m 0.893 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in m 0.893 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m 0.893 * [taylor]: Taking taylor expansion of v in m 0.893 * [taylor]: Taking taylor expansion of (pow m 2) in m 0.893 * [taylor]: Taking taylor expansion of m in m 0.893 * [taylor]: Taking taylor expansion of (/ v m) in m 0.893 * [taylor]: Taking taylor expansion of v in m 0.893 * [taylor]: Taking taylor expansion of m in m 0.893 * [taylor]: Taking taylor expansion of 1 in m 0.893 * [taylor]: Taking taylor expansion of m in m 0.893 * [taylor]: Taking taylor expansion of (* -1 v) in v 0.893 * [taylor]: Taking taylor expansion of -1 in v 0.893 * [taylor]: Taking taylor expansion of v in v 0.894 * [taylor]: Taking taylor expansion of (neg v) in v 0.894 * [taylor]: Taking taylor expansion of v in v 0.897 * [taylor]: Taking taylor expansion of 1 in v 0.899 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 0.899 * [approximate]: Taking taylor expansion of (/ (* (- 1 m) m) v) in (m v) around 0 0.899 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) m) v) in v 0.899 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in v 0.899 * [taylor]: Taking taylor expansion of (- 1 m) in v 0.899 * [taylor]: Taking taylor expansion of 1 in v 0.899 * [taylor]: Taking taylor expansion of m in v 0.899 * [taylor]: Taking taylor expansion of m in v 0.899 * [taylor]: Taking taylor expansion of v in v 0.900 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) m) v) in m 0.900 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m 0.900 * [taylor]: Taking taylor expansion of (- 1 m) in m 0.900 * [taylor]: Taking taylor expansion of 1 in m 0.900 * [taylor]: Taking taylor expansion of m in m 0.900 * [taylor]: Taking taylor expansion of m in m 0.900 * [taylor]: Taking taylor expansion of v in m 0.900 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) m) v) in m 0.900 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m 0.900 * [taylor]: Taking taylor expansion of (- 1 m) in m 0.900 * [taylor]: Taking taylor expansion of 1 in m 0.900 * [taylor]: Taking taylor expansion of m in m 0.900 * [taylor]: Taking taylor expansion of m in m 0.900 * [taylor]: Taking taylor expansion of v in m 0.901 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.901 * [taylor]: Taking taylor expansion of v in v 0.902 * [taylor]: Taking taylor expansion of (neg (/ 1 v)) in v 0.902 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.902 * [taylor]: Taking taylor expansion of v in v 0.904 * [taylor]: Taking taylor expansion of 0 in v 0.907 * [taylor]: Taking taylor expansion of 0 in v 0.909 * [approximate]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in (m v) around 0 0.909 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in v 0.909 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in v 0.909 * [taylor]: Taking taylor expansion of v in v 0.909 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in v 0.909 * [taylor]: Taking taylor expansion of 1 in v 0.909 * [taylor]: Taking taylor expansion of (/ 1 m) in v 0.909 * [taylor]: Taking taylor expansion of m in v 0.909 * [taylor]: Taking taylor expansion of m in v 0.911 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in m 0.911 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in m 0.911 * [taylor]: Taking taylor expansion of v in m 0.911 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m 0.911 * [taylor]: Taking taylor expansion of 1 in m 0.911 * [taylor]: Taking taylor expansion of (/ 1 m) in m 0.911 * [taylor]: Taking taylor expansion of m in m 0.911 * [taylor]: Taking taylor expansion of m in m 0.911 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in m 0.911 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in m 0.911 * [taylor]: Taking taylor expansion of v in m 0.911 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m 0.912 * [taylor]: Taking taylor expansion of 1 in m 0.912 * [taylor]: Taking taylor expansion of (/ 1 m) in m 0.912 * [taylor]: Taking taylor expansion of m in m 0.912 * [taylor]: Taking taylor expansion of m in m 0.912 * [taylor]: Taking taylor expansion of (* -1 v) in v 0.912 * [taylor]: Taking taylor expansion of -1 in v 0.912 * [taylor]: Taking taylor expansion of v in v 0.913 * [taylor]: Taking taylor expansion of v in v 0.915 * [taylor]: Taking taylor expansion of 0 in v 0.917 * [taylor]: Taking taylor expansion of 0 in v 0.919 * [approximate]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in (m v) around 0 0.919 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in v 0.919 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in v 0.919 * [taylor]: Taking taylor expansion of v in v 0.919 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in v 0.919 * [taylor]: Taking taylor expansion of (/ 1 m) in v 0.919 * [taylor]: Taking taylor expansion of m in v 0.919 * [taylor]: Taking taylor expansion of 1 in v 0.919 * [taylor]: Taking taylor expansion of m in v 0.920 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in m 0.920 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in m 0.920 * [taylor]: Taking taylor expansion of v in m 0.920 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m 0.920 * [taylor]: Taking taylor expansion of (/ 1 m) in m 0.920 * [taylor]: Taking taylor expansion of m in m 0.920 * [taylor]: Taking taylor expansion of 1 in m 0.920 * [taylor]: Taking taylor expansion of m in m 0.920 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in m 0.920 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in m 0.920 * [taylor]: Taking taylor expansion of v in m 0.920 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m 0.920 * [taylor]: Taking taylor expansion of (/ 1 m) in m 0.920 * [taylor]: Taking taylor expansion of m in m 0.921 * [taylor]: Taking taylor expansion of 1 in m 0.921 * [taylor]: Taking taylor expansion of m in m 0.921 * [taylor]: Taking taylor expansion of v in v 0.922 * [taylor]: Taking taylor expansion of v in v 0.923 * [taylor]: Taking taylor expansion of 0 in v 0.924 * [taylor]: Taking taylor expansion of 0 in v 0.926 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1) 0.926 * [approximate]: Taking taylor expansion of (* (- 1 m) m) in (m) around 0 0.926 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m 0.926 * [taylor]: Taking taylor expansion of (- 1 m) in m 0.926 * [taylor]: Taking taylor expansion of 1 in m 0.926 * [taylor]: Taking taylor expansion of m in m 0.926 * [taylor]: Taking taylor expansion of m in m 0.926 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m 0.926 * [taylor]: Taking taylor expansion of (- 1 m) in m 0.926 * [taylor]: Taking taylor expansion of 1 in m 0.926 * [taylor]: Taking taylor expansion of m in m 0.926 * [taylor]: Taking taylor expansion of m in m 0.931 * [approximate]: Taking taylor expansion of (/ (- 1 (/ 1 m)) m) in (m) around 0 0.932 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 m)) m) in m 0.932 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m 0.932 * [taylor]: Taking taylor expansion of 1 in m 0.932 * [taylor]: Taking taylor expansion of (/ 1 m) in m 0.932 * [taylor]: Taking taylor expansion of m in m 0.932 * [taylor]: Taking taylor expansion of m in m 0.932 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 m)) m) in m 0.932 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m 0.932 * [taylor]: Taking taylor expansion of 1 in m 0.932 * [taylor]: Taking taylor expansion of (/ 1 m) in m 0.932 * [taylor]: Taking taylor expansion of m in m 0.932 * [taylor]: Taking taylor expansion of m in m 0.941 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) m)) in (m) around 0 0.941 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) m)) in m 0.941 * [taylor]: Taking taylor expansion of -1 in m 0.941 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1) m) in m 0.941 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m 0.941 * [taylor]: Taking taylor expansion of (/ 1 m) in m 0.941 * [taylor]: Taking taylor expansion of m in m 0.941 * [taylor]: Taking taylor expansion of 1 in m 0.941 * [taylor]: Taking taylor expansion of m in m 0.941 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) m)) in m 0.941 * [taylor]: Taking taylor expansion of -1 in m 0.941 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1) m) in m 0.942 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m 0.942 * [taylor]: Taking taylor expansion of (/ 1 m) in m 0.942 * [taylor]: Taking taylor expansion of m in m 0.942 * [taylor]: Taking taylor expansion of 1 in m 0.942 * [taylor]: Taking taylor expansion of m in m 0.953 * * * [progress]: simplifying candidates 0.954 * [simplify]: Simplifying using # : (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m) (+.f64 (log.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (log.f64 m)) (exp.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m)) (log.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m)) (*.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m)) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m)) (*.f64 (cbrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m)) (cbrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m))) (cbrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m)) (*.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (*.f64 (*.f64 m m) m)) (sqrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m)) (sqrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m)) (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (sqrt.f64 m)) (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (sqrt.f64 m)) (*.f64 (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) (pow.f64 1 3)) m) (*.f64 (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (*.f64 1 1)) m) (*.f64 (cbrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) m) (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) m) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m) (*.f64 (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1) m) (*.f64 (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (sqrt.f64 1)) m) (*.f64 (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1) m) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (*.f64 (cbrt.f64 m) (cbrt.f64 m))) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m)) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) 1) (-.f64 (+.f64 (log.f64 m) (log.f64 (-.f64 1 m))) (log.f64 v)) (-.f64 (log.f64 (*.f64 m (-.f64 1 m))) (log.f64 v)) (exp.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (*.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (/.f64 (*.f64 m (-.f64 1 m)) v)) (*.f64 (cbrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (cbrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))) (cbrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (/.f64 (*.f64 (*.f64 (*.f64 m (-.f64 1 m)) (*.f64 m (-.f64 1 m))) (*.f64 m (-.f64 1 m))) (*.f64 (*.f64 v v) v)) (/.f64 (*.f64 (*.f64 (*.f64 m m) m) (*.f64 (*.f64 (-.f64 1 m) (-.f64 1 m)) (-.f64 1 m))) (*.f64 (*.f64 v v) v)) (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (neg.f64 (*.f64 m (-.f64 1 m))) (neg.f64 v) (/.f64 m (*.f64 (cbrt.f64 v) (cbrt.f64 v))) (/.f64 (-.f64 1 m) (cbrt.f64 v)) (/.f64 m (sqrt.f64 v)) (/.f64 (-.f64 1 m) (sqrt.f64 v)) (/.f64 m 1) (/.f64 (-.f64 1 m) v) (/.f64 v (*.f64 m (-.f64 1 m))) (/.f64 1 v) (*.f64 v (+.f64 (*.f64 1 1) (+.f64 (*.f64 m m) (*.f64 1 m)))) (*.f64 v (+.f64 1 m)) (/.f64 v (-.f64 1 m)) (/.f64 (*.f64 m (-.f64 1 m)) (*.f64 (cbrt.f64 v) (cbrt.f64 v))) (/.f64 (*.f64 m (-.f64 1 m)) (sqrt.f64 v)) (/.f64 (*.f64 m (-.f64 1 m)) 1) (*.f64 m (-.f64 1 m)) (+.f64 (log.f64 m) (log.f64 (-.f64 1 m))) (exp.f64 (*.f64 m (-.f64 1 m))) (log.f64 (*.f64 m (-.f64 1 m))) (*.f64 (*.f64 (*.f64 m (-.f64 1 m)) (*.f64 m (-.f64 1 m))) (*.f64 m (-.f64 1 m))) (*.f64 (cbrt.f64 (*.f64 m (-.f64 1 m))) (cbrt.f64 (*.f64 m (-.f64 1 m)))) (cbrt.f64 (*.f64 m (-.f64 1 m))) (*.f64 (*.f64 (*.f64 m m) m) (*.f64 (*.f64 (-.f64 1 m) (-.f64 1 m)) (-.f64 1 m))) (sqrt.f64 (*.f64 m (-.f64 1 m))) (sqrt.f64 (*.f64 m (-.f64 1 m))) (*.f64 (sqrt.f64 m) (sqrt.f64 (-.f64 1 m))) (*.f64 (sqrt.f64 m) (sqrt.f64 (-.f64 1 m))) (*.f64 1 m) (*.f64 (neg.f64 m) m) (*.f64 m 1) (*.f64 m (neg.f64 m)) (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 m (-.f64 (*.f64 1 1) (*.f64 m m))) (*.f64 (cbrt.f64 m) (-.f64 1 m)) (*.f64 (sqrt.f64 m) (-.f64 1 m)) (*.f64 m (-.f64 1 m)) (*.f64 m (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m)))) (*.f64 m (sqrt.f64 (-.f64 1 m))) (*.f64 m 1) (*.f64 m (+.f64 (sqrt.f64 1) (sqrt.f64 m))) (*.f64 m (+.f64 1 (sqrt.f64 m))) (*.f64 m 1) (-.f64 (/.f64 (pow.f64 m 2) v) (+.f64 m (/.f64 (pow.f64 m 3) v))) (-.f64 (/.f64 (pow.f64 m 2) v) (+.f64 m (/.f64 (pow.f64 m 3) v))) (-.f64 (/.f64 (pow.f64 m 2) v) (+.f64 m (/.f64 (pow.f64 m 3) v))) (-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v)) (-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v)) (-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v)) (-.f64 m (pow.f64 m 2)) (-.f64 m (pow.f64 m 2)) (-.f64 m (pow.f64 m 2)) 1.022 * * [simplify]: iteration 0 : 5285 enodes (cost 1058 ) 1.028 * [simplify]: Simplified to: (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (log.f64 (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))) (exp.f64 (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))) (log.f64 (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))) (pow.f64 (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) 3) (*.f64 (cbrt.f64 (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))) (cbrt.f64 (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))) (cbrt.f64 (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))) (pow.f64 (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) 3) (sqrt.f64 (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))) (sqrt.f64 (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))) (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (sqrt.f64 m)) (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (sqrt.f64 m)) (*.f64 m (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) 1)) (-.f64 (*.f64 (/.f64 (pow.f64 m 3) v) (*.f64 (-.f64 1 m) (/.f64 (-.f64 1 m) v))) m) (*.f64 m (cbrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))) (*.f64 m (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))) (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (*.f64 m (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1)) (*.f64 m (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1)) (*.f64 m (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1)) (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (*.f64 (cbrt.f64 m) (cbrt.f64 m))) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m)) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (exp.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) (*.f64 (cbrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (cbrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))) (cbrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (-.f64 (*.f64 m m) m) (neg.f64 v) (/.f64 m (*.f64 (cbrt.f64 v) (cbrt.f64 v))) (/.f64 (-.f64 1 m) (cbrt.f64 v)) (/.f64 m (sqrt.f64 v)) (/.f64 (-.f64 1 m) (sqrt.f64 v)) m (/.f64 (-.f64 1 m) v) (/.f64 v (*.f64 m (-.f64 1 m))) (/.f64 1 v) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))) (*.f64 v (+.f64 m 1)) (/.f64 v (-.f64 1 m)) (*.f64 (-.f64 1 m) (/.f64 m (*.f64 (cbrt.f64 v) (cbrt.f64 v)))) (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (*.f64 m (-.f64 1 m)) (*.f64 m (-.f64 1 m)) (log.f64 (*.f64 m (-.f64 1 m))) (exp.f64 (*.f64 m (-.f64 1 m))) (log.f64 (*.f64 m (-.f64 1 m))) (pow.f64 (*.f64 m (-.f64 1 m)) 3) (*.f64 (cbrt.f64 (*.f64 m (-.f64 1 m))) (cbrt.f64 (*.f64 m (-.f64 1 m)))) (cbrt.f64 (*.f64 m (-.f64 1 m))) (pow.f64 (*.f64 m (-.f64 1 m)) 3) (sqrt.f64 (*.f64 m (-.f64 1 m))) (sqrt.f64 (*.f64 m (-.f64 1 m))) (*.f64 (sqrt.f64 m) (sqrt.f64 (-.f64 1 m))) (*.f64 (sqrt.f64 m) (sqrt.f64 (-.f64 1 m))) m (*.f64 m (neg.f64 m)) m (*.f64 m (neg.f64 m)) (+.f64 m (neg.f64 (pow.f64 m 4))) (-.f64 m (pow.f64 m 3)) (*.f64 (-.f64 1 m) (cbrt.f64 m)) (*.f64 (-.f64 1 m) (sqrt.f64 m)) (*.f64 m (-.f64 1 m)) (*.f64 m (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m)))) (*.f64 m (sqrt.f64 (-.f64 1 m))) m (+.f64 m (pow.f64 m 3/2)) (+.f64 m (pow.f64 m 3/2)) m (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v) (*.f64 m (-.f64 1 m)) (*.f64 m (-.f64 1 m)) (*.f64 m (-.f64 1 m)) 1.029 * * * [progress]: adding candidates to table 1.095 * * [progress]: iteration 2 / 4 1.095 * * * [progress]: picking best candidate 1.104 * * * * [pick]: Picked # 1.104 * * * [progress]: localizing error 1.111 * * * [progress]: generating rewritten candidates 1.112 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1.121 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 1.147 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 1.154 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2) 1.166 * * * [progress]: generating series expansions 1.166 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1.167 * [approximate]: Taking taylor expansion of (/ (* (- 1 m) m) v) in (v m) around 0 1.167 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) m) v) in m 1.167 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m 1.167 * [taylor]: Taking taylor expansion of (- 1 m) in m 1.167 * [taylor]: Taking taylor expansion of 1 in m 1.167 * [taylor]: Taking taylor expansion of m in m 1.167 * [taylor]: Taking taylor expansion of m in m 1.167 * [taylor]: Taking taylor expansion of v in m 1.168 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) m) v) in v 1.168 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in v 1.168 * [taylor]: Taking taylor expansion of (- 1 m) in v 1.168 * [taylor]: Taking taylor expansion of 1 in v 1.168 * [taylor]: Taking taylor expansion of m in v 1.168 * [taylor]: Taking taylor expansion of m in v 1.168 * [taylor]: Taking taylor expansion of v in v 1.169 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) m) v) in v 1.169 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in v 1.169 * [taylor]: Taking taylor expansion of (- 1 m) in v 1.169 * [taylor]: Taking taylor expansion of 1 in v 1.169 * [taylor]: Taking taylor expansion of m in v 1.169 * [taylor]: Taking taylor expansion of m in v 1.169 * [taylor]: Taking taylor expansion of v in v 1.169 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m 1.169 * [taylor]: Taking taylor expansion of (- 1 m) in m 1.169 * [taylor]: Taking taylor expansion of 1 in m 1.169 * [taylor]: Taking taylor expansion of m in m 1.169 * [taylor]: Taking taylor expansion of m in m 1.171 * [taylor]: Taking taylor expansion of 0 in m 1.172 * [taylor]: Taking taylor expansion of 0 in m 1.174 * [taylor]: Taking taylor expansion of 0 in m 1.176 * [approximate]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in (v m) around 0 1.176 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in m 1.176 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in m 1.176 * [taylor]: Taking taylor expansion of v in m 1.176 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m 1.176 * [taylor]: Taking taylor expansion of 1 in m 1.176 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.176 * [taylor]: Taking taylor expansion of m in m 1.176 * [taylor]: Taking taylor expansion of m in m 1.176 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in v 1.176 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in v 1.176 * [taylor]: Taking taylor expansion of v in v 1.176 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in v 1.177 * [taylor]: Taking taylor expansion of 1 in v 1.177 * [taylor]: Taking taylor expansion of (/ 1 m) in v 1.177 * [taylor]: Taking taylor expansion of m in v 1.177 * [taylor]: Taking taylor expansion of m in v 1.178 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in v 1.178 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in v 1.178 * [taylor]: Taking taylor expansion of v in v 1.178 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in v 1.178 * [taylor]: Taking taylor expansion of 1 in v 1.178 * [taylor]: Taking taylor expansion of (/ 1 m) in v 1.178 * [taylor]: Taking taylor expansion of m in v 1.178 * [taylor]: Taking taylor expansion of m in v 1.180 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 m)) m) in m 1.180 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m 1.180 * [taylor]: Taking taylor expansion of 1 in m 1.180 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.180 * [taylor]: Taking taylor expansion of m in m 1.180 * [taylor]: Taking taylor expansion of m in m 1.182 * [taylor]: Taking taylor expansion of 0 in m 1.184 * [taylor]: Taking taylor expansion of 0 in m 1.188 * [taylor]: Taking taylor expansion of 0 in m 1.191 * [taylor]: Taking taylor expansion of 0 in m 1.195 * [approximate]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in (v m) around 0 1.195 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in m 1.195 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in m 1.195 * [taylor]: Taking taylor expansion of v in m 1.195 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m 1.195 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.195 * [taylor]: Taking taylor expansion of m in m 1.195 * [taylor]: Taking taylor expansion of 1 in m 1.195 * [taylor]: Taking taylor expansion of m in m 1.195 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in v 1.195 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in v 1.195 * [taylor]: Taking taylor expansion of v in v 1.195 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in v 1.195 * [taylor]: Taking taylor expansion of (/ 1 m) in v 1.195 * [taylor]: Taking taylor expansion of m in v 1.195 * [taylor]: Taking taylor expansion of 1 in v 1.196 * [taylor]: Taking taylor expansion of m in v 1.197 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in v 1.197 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in v 1.197 * [taylor]: Taking taylor expansion of v in v 1.197 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in v 1.197 * [taylor]: Taking taylor expansion of (/ 1 m) in v 1.197 * [taylor]: Taking taylor expansion of m in v 1.197 * [taylor]: Taking taylor expansion of 1 in v 1.197 * [taylor]: Taking taylor expansion of m in v 1.198 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1) m) in m 1.198 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m 1.198 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.198 * [taylor]: Taking taylor expansion of m in m 1.198 * [taylor]: Taking taylor expansion of 1 in m 1.198 * [taylor]: Taking taylor expansion of m in m 1.200 * [taylor]: Taking taylor expansion of 0 in m 1.202 * [taylor]: Taking taylor expansion of 0 in m 1.205 * [taylor]: Taking taylor expansion of 0 in m 1.208 * [taylor]: Taking taylor expansion of 0 in m 1.211 * * * * [progress]: [ 2 / 4 ] generating series at (2) 1.212 * [approximate]: Taking taylor expansion of (* m (- (/ m v) (+ 1 (/ (pow m 2) v)))) in (v m) around 0 1.212 * [taylor]: Taking taylor expansion of (* m (- (/ m v) (+ 1 (/ (pow m 2) v)))) in m 1.212 * [taylor]: Taking taylor expansion of m in m 1.212 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in m 1.212 * [taylor]: Taking taylor expansion of (/ m v) in m 1.212 * [taylor]: Taking taylor expansion of m in m 1.212 * [taylor]: Taking taylor expansion of v in m 1.212 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in m 1.212 * [taylor]: Taking taylor expansion of 1 in m 1.212 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m 1.212 * [taylor]: Taking taylor expansion of (pow m 2) in m 1.212 * [taylor]: Taking taylor expansion of m in m 1.212 * [taylor]: Taking taylor expansion of v in m 1.212 * [taylor]: Taking taylor expansion of (* m (- (/ m v) (+ 1 (/ (pow m 2) v)))) in v 1.212 * [taylor]: Taking taylor expansion of m in v 1.212 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in v 1.212 * [taylor]: Taking taylor expansion of (/ m v) in v 1.212 * [taylor]: Taking taylor expansion of m in v 1.212 * [taylor]: Taking taylor expansion of v in v 1.212 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in v 1.212 * [taylor]: Taking taylor expansion of 1 in v 1.212 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v 1.212 * [taylor]: Taking taylor expansion of (pow m 2) in v 1.212 * [taylor]: Taking taylor expansion of m in v 1.212 * [taylor]: Taking taylor expansion of v in v 1.213 * [taylor]: Taking taylor expansion of (* m (- (/ m v) (+ 1 (/ (pow m 2) v)))) in v 1.213 * [taylor]: Taking taylor expansion of m in v 1.213 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in v 1.213 * [taylor]: Taking taylor expansion of (/ m v) in v 1.213 * [taylor]: Taking taylor expansion of m in v 1.213 * [taylor]: Taking taylor expansion of v in v 1.213 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in v 1.213 * [taylor]: Taking taylor expansion of 1 in v 1.213 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v 1.213 * [taylor]: Taking taylor expansion of (pow m 2) in v 1.213 * [taylor]: Taking taylor expansion of m in v 1.213 * [taylor]: Taking taylor expansion of v in v 1.214 * [taylor]: Taking taylor expansion of (* m (- m (pow m 2))) in m 1.214 * [taylor]: Taking taylor expansion of m in m 1.214 * [taylor]: Taking taylor expansion of (- m (pow m 2)) in m 1.214 * [taylor]: Taking taylor expansion of m in m 1.214 * [taylor]: Taking taylor expansion of (pow m 2) in m 1.214 * [taylor]: Taking taylor expansion of m in m 1.216 * [taylor]: Taking taylor expansion of (neg m) in m 1.216 * [taylor]: Taking taylor expansion of m in m 1.218 * [taylor]: Taking taylor expansion of 0 in m 1.221 * [taylor]: Taking taylor expansion of 0 in m 1.224 * [approximate]: Taking taylor expansion of (/ (- (/ v m) (+ (/ v (pow m 2)) 1)) m) in (v m) around 0 1.224 * [taylor]: Taking taylor expansion of (/ (- (/ v m) (+ (/ v (pow m 2)) 1)) m) in m 1.224 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in m 1.224 * [taylor]: Taking taylor expansion of (/ v m) in m 1.224 * [taylor]: Taking taylor expansion of v in m 1.224 * [taylor]: Taking taylor expansion of m in m 1.224 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in m 1.224 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m 1.224 * [taylor]: Taking taylor expansion of v in m 1.224 * [taylor]: Taking taylor expansion of (pow m 2) in m 1.224 * [taylor]: Taking taylor expansion of m in m 1.224 * [taylor]: Taking taylor expansion of 1 in m 1.224 * [taylor]: Taking taylor expansion of m in m 1.225 * [taylor]: Taking taylor expansion of (/ (- (/ v m) (+ (/ v (pow m 2)) 1)) m) in v 1.225 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in v 1.225 * [taylor]: Taking taylor expansion of (/ v m) in v 1.225 * [taylor]: Taking taylor expansion of v in v 1.225 * [taylor]: Taking taylor expansion of m in v 1.225 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in v 1.225 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v 1.225 * [taylor]: Taking taylor expansion of v in v 1.225 * [taylor]: Taking taylor expansion of (pow m 2) in v 1.225 * [taylor]: Taking taylor expansion of m in v 1.225 * [taylor]: Taking taylor expansion of 1 in v 1.225 * [taylor]: Taking taylor expansion of m in v 1.225 * [taylor]: Taking taylor expansion of (/ (- (/ v m) (+ (/ v (pow m 2)) 1)) m) in v 1.226 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in v 1.226 * [taylor]: Taking taylor expansion of (/ v m) in v 1.226 * [taylor]: Taking taylor expansion of v in v 1.226 * [taylor]: Taking taylor expansion of m in v 1.226 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in v 1.226 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v 1.226 * [taylor]: Taking taylor expansion of v in v 1.226 * [taylor]: Taking taylor expansion of (pow m 2) in v 1.226 * [taylor]: Taking taylor expansion of m in v 1.226 * [taylor]: Taking taylor expansion of 1 in v 1.226 * [taylor]: Taking taylor expansion of m in v 1.226 * [taylor]: Taking taylor expansion of (/ -1 m) in m 1.226 * [taylor]: Taking taylor expansion of -1 in m 1.226 * [taylor]: Taking taylor expansion of m in m 1.228 * [taylor]: Taking taylor expansion of (- (/ 1 (pow m 2)) (/ 1 (pow m 3))) in m 1.228 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m 1.228 * [taylor]: Taking taylor expansion of (pow m 2) in m 1.228 * [taylor]: Taking taylor expansion of m in m 1.228 * [taylor]: Taking taylor expansion of (/ 1 (pow m 3)) in m 1.228 * [taylor]: Taking taylor expansion of (pow m 3) in m 1.228 * [taylor]: Taking taylor expansion of m in m 1.231 * [taylor]: Taking taylor expansion of 0 in m 1.235 * [approximate]: Taking taylor expansion of (* -1 (/ (- (+ (/ v (pow m 2)) (/ v m)) 1) m)) in (v m) around 0 1.235 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ v (pow m 2)) (/ v m)) 1) m)) in m 1.235 * [taylor]: Taking taylor expansion of -1 in m 1.235 * [taylor]: Taking taylor expansion of (/ (- (+ (/ v (pow m 2)) (/ v m)) 1) m) in m 1.235 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in m 1.235 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in m 1.235 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m 1.235 * [taylor]: Taking taylor expansion of v in m 1.235 * [taylor]: Taking taylor expansion of (pow m 2) in m 1.235 * [taylor]: Taking taylor expansion of m in m 1.235 * [taylor]: Taking taylor expansion of (/ v m) in m 1.235 * [taylor]: Taking taylor expansion of v in m 1.235 * [taylor]: Taking taylor expansion of m in m 1.235 * [taylor]: Taking taylor expansion of 1 in m 1.235 * [taylor]: Taking taylor expansion of m in m 1.235 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ v (pow m 2)) (/ v m)) 1) m)) in v 1.235 * [taylor]: Taking taylor expansion of -1 in v 1.235 * [taylor]: Taking taylor expansion of (/ (- (+ (/ v (pow m 2)) (/ v m)) 1) m) in v 1.235 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in v 1.235 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in v 1.235 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v 1.236 * [taylor]: Taking taylor expansion of v in v 1.236 * [taylor]: Taking taylor expansion of (pow m 2) in v 1.236 * [taylor]: Taking taylor expansion of m in v 1.236 * [taylor]: Taking taylor expansion of (/ v m) in v 1.236 * [taylor]: Taking taylor expansion of v in v 1.236 * [taylor]: Taking taylor expansion of m in v 1.236 * [taylor]: Taking taylor expansion of 1 in v 1.236 * [taylor]: Taking taylor expansion of m in v 1.236 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ v (pow m 2)) (/ v m)) 1) m)) in v 1.236 * [taylor]: Taking taylor expansion of -1 in v 1.236 * [taylor]: Taking taylor expansion of (/ (- (+ (/ v (pow m 2)) (/ v m)) 1) m) in v 1.236 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in v 1.236 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in v 1.236 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v 1.236 * [taylor]: Taking taylor expansion of v in v 1.236 * [taylor]: Taking taylor expansion of (pow m 2) in v 1.236 * [taylor]: Taking taylor expansion of m in v 1.237 * [taylor]: Taking taylor expansion of (/ v m) in v 1.237 * [taylor]: Taking taylor expansion of v in v 1.237 * [taylor]: Taking taylor expansion of m in v 1.237 * [taylor]: Taking taylor expansion of 1 in v 1.237 * [taylor]: Taking taylor expansion of m in v 1.237 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.237 * [taylor]: Taking taylor expansion of m in m 1.239 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (pow m 2)) (/ 1 (pow m 3)))) in m 1.240 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 2)) (/ 1 (pow m 3))) in m 1.240 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m 1.240 * [taylor]: Taking taylor expansion of (pow m 2) in m 1.240 * [taylor]: Taking taylor expansion of m in m 1.240 * [taylor]: Taking taylor expansion of (/ 1 (pow m 3)) in m 1.240 * [taylor]: Taking taylor expansion of (pow m 3) in m 1.240 * [taylor]: Taking taylor expansion of m in m 1.243 * [taylor]: Taking taylor expansion of 0 in m 1.246 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 1.246 * [approximate]: Taking taylor expansion of (/ v (* (- 1 m) m)) in (v m) around 0 1.246 * [taylor]: Taking taylor expansion of (/ v (* (- 1 m) m)) in m 1.246 * [taylor]: Taking taylor expansion of v in m 1.246 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m 1.246 * [taylor]: Taking taylor expansion of (- 1 m) in m 1.246 * [taylor]: Taking taylor expansion of 1 in m 1.246 * [taylor]: Taking taylor expansion of m in m 1.246 * [taylor]: Taking taylor expansion of m in m 1.247 * [taylor]: Taking taylor expansion of (/ v (* (- 1 m) m)) in v 1.247 * [taylor]: Taking taylor expansion of v in v 1.247 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in v 1.247 * [taylor]: Taking taylor expansion of (- 1 m) in v 1.247 * [taylor]: Taking taylor expansion of 1 in v 1.247 * [taylor]: Taking taylor expansion of m in v 1.247 * [taylor]: Taking taylor expansion of m in v 1.247 * [taylor]: Taking taylor expansion of (/ v (* (- 1 m) m)) in v 1.247 * [taylor]: Taking taylor expansion of v in v 1.247 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in v 1.247 * [taylor]: Taking taylor expansion of (- 1 m) in v 1.247 * [taylor]: Taking taylor expansion of 1 in v 1.247 * [taylor]: Taking taylor expansion of m in v 1.247 * [taylor]: Taking taylor expansion of m in v 1.248 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1 m) m)) in m 1.248 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m 1.248 * [taylor]: Taking taylor expansion of (- 1 m) in m 1.248 * [taylor]: Taking taylor expansion of 1 in m 1.248 * [taylor]: Taking taylor expansion of m in m 1.248 * [taylor]: Taking taylor expansion of m in m 1.250 * [taylor]: Taking taylor expansion of 0 in m 1.252 * [taylor]: Taking taylor expansion of 0 in m 1.253 * [approximate]: Taking taylor expansion of (/ m (* v (- 1 (/ 1 m)))) in (v m) around 0 1.254 * [taylor]: Taking taylor expansion of (/ m (* v (- 1 (/ 1 m)))) in m 1.254 * [taylor]: Taking taylor expansion of m in m 1.254 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in m 1.254 * [taylor]: Taking taylor expansion of v in m 1.254 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m 1.254 * [taylor]: Taking taylor expansion of 1 in m 1.254 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.254 * [taylor]: Taking taylor expansion of m in m 1.254 * [taylor]: Taking taylor expansion of (/ m (* v (- 1 (/ 1 m)))) in v 1.254 * [taylor]: Taking taylor expansion of m in v 1.254 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in v 1.254 * [taylor]: Taking taylor expansion of v in v 1.254 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in v 1.254 * [taylor]: Taking taylor expansion of 1 in v 1.254 * [taylor]: Taking taylor expansion of (/ 1 m) in v 1.254 * [taylor]: Taking taylor expansion of m in v 1.256 * [taylor]: Taking taylor expansion of (/ m (* v (- 1 (/ 1 m)))) in v 1.256 * [taylor]: Taking taylor expansion of m in v 1.256 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in v 1.256 * [taylor]: Taking taylor expansion of v in v 1.256 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in v 1.256 * [taylor]: Taking taylor expansion of 1 in v 1.256 * [taylor]: Taking taylor expansion of (/ 1 m) in v 1.256 * [taylor]: Taking taylor expansion of m in v 1.257 * [taylor]: Taking taylor expansion of (/ m (- 1 (/ 1 m))) in m 1.257 * [taylor]: Taking taylor expansion of m in m 1.257 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m 1.257 * [taylor]: Taking taylor expansion of 1 in m 1.257 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.257 * [taylor]: Taking taylor expansion of m in m 1.259 * [taylor]: Taking taylor expansion of 0 in m 1.262 * [taylor]: Taking taylor expansion of 0 in m 1.265 * [approximate]: Taking taylor expansion of (/ m (* v (+ (/ 1 m) 1))) in (v m) around 0 1.265 * [taylor]: Taking taylor expansion of (/ m (* v (+ (/ 1 m) 1))) in m 1.265 * [taylor]: Taking taylor expansion of m in m 1.265 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in m 1.265 * [taylor]: Taking taylor expansion of v in m 1.265 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m 1.265 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.265 * [taylor]: Taking taylor expansion of m in m 1.265 * [taylor]: Taking taylor expansion of 1 in m 1.265 * [taylor]: Taking taylor expansion of (/ m (* v (+ (/ 1 m) 1))) in v 1.265 * [taylor]: Taking taylor expansion of m in v 1.265 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in v 1.265 * [taylor]: Taking taylor expansion of v in v 1.265 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in v 1.265 * [taylor]: Taking taylor expansion of (/ 1 m) in v 1.265 * [taylor]: Taking taylor expansion of m in v 1.265 * [taylor]: Taking taylor expansion of 1 in v 1.266 * [taylor]: Taking taylor expansion of (/ m (* v (+ (/ 1 m) 1))) in v 1.266 * [taylor]: Taking taylor expansion of m in v 1.266 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in v 1.266 * [taylor]: Taking taylor expansion of v in v 1.266 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in v 1.266 * [taylor]: Taking taylor expansion of (/ 1 m) in v 1.266 * [taylor]: Taking taylor expansion of m in v 1.266 * [taylor]: Taking taylor expansion of 1 in v 1.267 * [taylor]: Taking taylor expansion of (/ m (+ (/ 1 m) 1)) in m 1.267 * [taylor]: Taking taylor expansion of m in m 1.267 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m 1.267 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.267 * [taylor]: Taking taylor expansion of m in m 1.268 * [taylor]: Taking taylor expansion of 1 in m 1.272 * [taylor]: Taking taylor expansion of 0 in m 1.275 * [taylor]: Taking taylor expansion of 0 in m 1.278 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2) 1.278 * [approximate]: Taking taylor expansion of (* (- 1 m) m) in (m) around 0 1.278 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m 1.278 * [taylor]: Taking taylor expansion of (- 1 m) in m 1.278 * [taylor]: Taking taylor expansion of 1 in m 1.278 * [taylor]: Taking taylor expansion of m in m 1.278 * [taylor]: Taking taylor expansion of m in m 1.278 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m 1.278 * [taylor]: Taking taylor expansion of (- 1 m) in m 1.278 * [taylor]: Taking taylor expansion of 1 in m 1.278 * [taylor]: Taking taylor expansion of m in m 1.278 * [taylor]: Taking taylor expansion of m in m 1.284 * [approximate]: Taking taylor expansion of (/ (- 1 (/ 1 m)) m) in (m) around 0 1.284 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 m)) m) in m 1.284 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m 1.284 * [taylor]: Taking taylor expansion of 1 in m 1.284 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.284 * [taylor]: Taking taylor expansion of m in m 1.284 * [taylor]: Taking taylor expansion of m in m 1.284 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 m)) m) in m 1.284 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m 1.284 * [taylor]: Taking taylor expansion of 1 in m 1.284 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.284 * [taylor]: Taking taylor expansion of m in m 1.284 * [taylor]: Taking taylor expansion of m in m 1.294 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) m)) in (m) around 0 1.294 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) m)) in m 1.294 * [taylor]: Taking taylor expansion of -1 in m 1.294 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1) m) in m 1.294 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m 1.294 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.294 * [taylor]: Taking taylor expansion of m in m 1.294 * [taylor]: Taking taylor expansion of 1 in m 1.294 * [taylor]: Taking taylor expansion of m in m 1.295 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) m)) in m 1.295 * [taylor]: Taking taylor expansion of -1 in m 1.295 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1) m) in m 1.295 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m 1.295 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.295 * [taylor]: Taking taylor expansion of m in m 1.295 * [taylor]: Taking taylor expansion of 1 in m 1.295 * [taylor]: Taking taylor expansion of m in m 1.309 * * * [progress]: simplifying candidates 1.310 * [simplify]: Simplifying using # : (neg.f64 1) (-.f64 0 (-.f64 (log.f64 v) (+.f64 (log.f64 m) (log.f64 (-.f64 1 m))))) (-.f64 0 (-.f64 (log.f64 v) (log.f64 (*.f64 m (-.f64 1 m))))) (-.f64 0 (log.f64 (/.f64 v (*.f64 m (-.f64 1 m))))) (-.f64 (log.f64 1) (-.f64 (log.f64 v) (+.f64 (log.f64 m) (log.f64 (-.f64 1 m))))) (-.f64 (log.f64 1) (-.f64 (log.f64 v) (log.f64 (*.f64 m (-.f64 1 m))))) (-.f64 (log.f64 1) (log.f64 (/.f64 v (*.f64 m (-.f64 1 m))))) (neg.f64 (-.f64 (log.f64 v) (+.f64 (log.f64 m) (log.f64 (-.f64 1 m))))) (neg.f64 (-.f64 (log.f64 v) (log.f64 (*.f64 m (-.f64 1 m))))) (neg.f64 (log.f64 (/.f64 v (*.f64 m (-.f64 1 m))))) (exp.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m))))) (log.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m))))) (*.f64 (*.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m)))) (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m))))) (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m))))) (*.f64 (cbrt.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m))))) (cbrt.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m)))))) (cbrt.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m))))) (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (/.f64 v (*.f64 m (-.f64 1 m))) (/.f64 v (*.f64 m (-.f64 1 m)))) (/.f64 v (*.f64 m (-.f64 1 m))))) (/.f64 (*.f64 (*.f64 1 1) 1) (/.f64 (*.f64 (*.f64 v v) v) (*.f64 (*.f64 (*.f64 m (-.f64 1 m)) (*.f64 m (-.f64 1 m))) (*.f64 m (-.f64 1 m))))) (/.f64 (*.f64 (*.f64 1 1) 1) (/.f64 (*.f64 (*.f64 v v) v) (*.f64 (*.f64 (*.f64 m m) m) (*.f64 (*.f64 (-.f64 1 m) (-.f64 1 m)) (-.f64 1 m))))) (sqrt.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m))))) (sqrt.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m))))) (neg.f64 1) (neg.f64 (/.f64 v (*.f64 m (-.f64 1 m)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (/.f64 v (*.f64 m (-.f64 1 m)))) (cbrt.f64 (/.f64 v (*.f64 m (-.f64 1 m)))))) (/.f64 (cbrt.f64 1) (cbrt.f64 (/.f64 v (*.f64 m (-.f64 1 m))))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (/.f64 v (*.f64 m (-.f64 1 m))))) (/.f64 (cbrt.f64 1) (sqrt.f64 (/.f64 v (*.f64 m (-.f64 1 m))))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 v) (cbrt.f64 v)) m)) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 v) (-.f64 1 m))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 v) m)) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 v) (-.f64 1 m))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 1 m)) (/.f64 (cbrt.f64 1) (/.f64 v (-.f64 1 m))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) 1) (/.f64 (cbrt.f64 1) (/.f64 v (*.f64 m (-.f64 1 m)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) v) (/.f64 (cbrt.f64 1) (/.f64 1 (*.f64 m (-.f64 1 m)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 v (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))))) (/.f64 (cbrt.f64 1) (+.f64 (*.f64 1 1) (+.f64 (*.f64 m m) (*.f64 1 m)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 v (*.f64 m (-.f64 (*.f64 1 1) (*.f64 m m))))) (/.f64 (cbrt.f64 1) (+.f64 1 m)) (/.f64 (sqrt.f64 1) (*.f64 (cbrt.f64 (/.f64 v (*.f64 m (-.f64 1 m)))) (cbrt.f64 (/.f64 v (*.f64 m (-.f64 1 m)))))) (/.f64 (sqrt.f64 1) (cbrt.f64 (/.f64 v (*.f64 m (-.f64 1 m))))) (/.f64 (sqrt.f64 1) (sqrt.f64 (/.f64 v (*.f64 m (-.f64 1 m))))) (/.f64 (sqrt.f64 1) (sqrt.f64 (/.f64 v (*.f64 m (-.f64 1 m))))) (/.f64 (sqrt.f64 1) (/.f64 (*.f64 (cbrt.f64 v) (cbrt.f64 v)) m)) (/.f64 (sqrt.f64 1) (/.f64 (cbrt.f64 v) (-.f64 1 m))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 v) m)) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 v) (-.f64 1 m))) (/.f64 (sqrt.f64 1) (/.f64 1 m)) (/.f64 (sqrt.f64 1) (/.f64 v (-.f64 1 m))) (/.f64 (sqrt.f64 1) 1) (/.f64 (sqrt.f64 1) (/.f64 v (*.f64 m (-.f64 1 m)))) (/.f64 (sqrt.f64 1) v) (/.f64 (sqrt.f64 1) (/.f64 1 (*.f64 m (-.f64 1 m)))) (/.f64 (sqrt.f64 1) (/.f64 v (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))))) (/.f64 (sqrt.f64 1) (+.f64 (*.f64 1 1) (+.f64 (*.f64 m m) (*.f64 1 m)))) (/.f64 (sqrt.f64 1) (/.f64 v (*.f64 m (-.f64 (*.f64 1 1) (*.f64 m m))))) (/.f64 (sqrt.f64 1) (+.f64 1 m)) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 v (*.f64 m (-.f64 1 m)))) (cbrt.f64 (/.f64 v (*.f64 m (-.f64 1 m)))))) (/.f64 1 (cbrt.f64 (/.f64 v (*.f64 m (-.f64 1 m))))) (/.f64 1 (sqrt.f64 (/.f64 v (*.f64 m (-.f64 1 m))))) (/.f64 1 (sqrt.f64 (/.f64 v (*.f64 m (-.f64 1 m))))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 v) (cbrt.f64 v)) m)) (/.f64 1 (/.f64 (cbrt.f64 v) (-.f64 1 m))) (/.f64 1 (/.f64 (sqrt.f64 v) m)) (/.f64 1 (/.f64 (sqrt.f64 v) (-.f64 1 m))) (/.f64 1 (/.f64 1 m)) (/.f64 1 (/.f64 v (-.f64 1 m))) (/.f64 1 1) (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m)))) (/.f64 1 v) (/.f64 1 (/.f64 1 (*.f64 m (-.f64 1 m)))) (/.f64 1 (/.f64 v (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))))) (/.f64 1 (+.f64 (*.f64 1 1) (+.f64 (*.f64 m m) (*.f64 1 m)))) (/.f64 1 (/.f64 v (*.f64 m (-.f64 (*.f64 1 1) (*.f64 m m))))) (/.f64 1 (+.f64 1 m)) (/.f64 (/.f64 v (*.f64 m (-.f64 1 m))) 1) (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m)))) (/.f64 1 v) (/.f64 (/.f64 v (*.f64 m (-.f64 1 m))) (cbrt.f64 1)) (/.f64 (/.f64 v (*.f64 m (-.f64 1 m))) (sqrt.f64 1)) (/.f64 (/.f64 v (*.f64 m (-.f64 1 m))) 1) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 v (*.f64 m (-.f64 1 m)))) (cbrt.f64 (/.f64 v (*.f64 m (-.f64 1 m)))))) (/.f64 1 (sqrt.f64 (/.f64 v (*.f64 m (-.f64 1 m))))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 v) (cbrt.f64 v)) m)) (/.f64 1 (/.f64 (sqrt.f64 v) m)) (/.f64 1 (/.f64 1 m)) (/.f64 1 1) (/.f64 1 v) (/.f64 1 (/.f64 v (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))))) (/.f64 1 (/.f64 v (*.f64 m (-.f64 (*.f64 1 1) (*.f64 m m))))) (*.f64 (-.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m)))) 1) m) (+.f64 (log.f64 (-.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m)))) 1)) (log.f64 m)) (exp.f64 (*.f64 (-.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m)))) 1) m)) (log.f64 (*.f64 (-.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m)))) 1) m)) (*.f64 (*.f64 (*.f64 (-.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m)))) 1) m) (*.f64 (-.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m)))) 1) m)) (*.f64 (-.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m)))) 1) m)) (*.f64 (cbrt.f64 (*.f64 (-.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m)))) 1) m)) (cbrt.f64 (*.f64 (-.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m)))) 1) m))) (cbrt.f64 (*.f64 (-.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m)))) 1) m)) (*.f64 (*.f64 (*.f64 (-.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m)))) 1) (-.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m)))) 1)) (-.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m)))) 1)) (*.f64 (*.f64 m m) m)) (sqrt.f64 (*.f64 (-.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m)))) 1) m)) (sqrt.f64 (*.f64 (-.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m)))) 1) m)) (*.f64 (sqrt.f64 (-.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m)))) 1)) (sqrt.f64 m)) (*.f64 (sqrt.f64 (-.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m)))) 1)) (sqrt.f64 m)) (*.f64 (-.f64 (pow.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m)))) 3) (pow.f64 1 3)) m) (*.f64 (-.f64 (*.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m)))) (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m))))) (*.f64 1 1)) m) (*.f64 (cbrt.f64 (-.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m)))) 1)) m) (*.f64 (sqrt.f64 (-.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m)))) 1)) m) (*.f64 (-.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m)))) 1) m) (*.f64 (-.f64 (sqrt.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m))))) 1) m) (*.f64 (-.f64 (/.f64 (sqrt.f64 1) (sqrt.f64 (/.f64 v (*.f64 m (-.f64 1 m))))) 1) m) (*.f64 (-.f64 (/.f64 1 (sqrt.f64 (/.f64 v (*.f64 m (-.f64 1 m))))) 1) m) (*.f64 (-.f64 (sqrt.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m))))) (sqrt.f64 1)) m) (*.f64 (-.f64 (sqrt.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m))))) 1) m) (*.f64 (-.f64 (/.f64 (sqrt.f64 1) (sqrt.f64 (/.f64 v (*.f64 m (-.f64 1 m))))) (sqrt.f64 1)) m) (*.f64 (-.f64 (/.f64 (sqrt.f64 1) (sqrt.f64 (/.f64 v (*.f64 m (-.f64 1 m))))) 1) m) (*.f64 (-.f64 (/.f64 1 (sqrt.f64 (/.f64 v (*.f64 m (-.f64 1 m))))) (sqrt.f64 1)) m) (*.f64 (-.f64 (/.f64 1 (sqrt.f64 (/.f64 v (*.f64 m (-.f64 1 m))))) 1) m) (*.f64 (-.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m)))) 1) m) (*.f64 (-.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m)))) 1) m) (*.f64 (-.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m)))) 1) (*.f64 (cbrt.f64 m) (cbrt.f64 m))) (*.f64 (-.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m)))) 1) (sqrt.f64 m)) (*.f64 (-.f64 (/.f64 1 (/.f64 v (*.f64 m (-.f64 1 m)))) 1) 1) (-.f64 (log.f64 v) (+.f64 (log.f64 m) (log.f64 (-.f64 1 m)))) (-.f64 (log.f64 v) (log.f64 (*.f64 m (-.f64 1 m)))) (exp.f64 (/.f64 v (*.f64 m (-.f64 1 m)))) (log.f64 (/.f64 v (*.f64 m (-.f64 1 m)))) (*.f64 (*.f64 (/.f64 v (*.f64 m (-.f64 1 m))) (/.f64 v (*.f64 m (-.f64 1 m)))) (/.f64 v (*.f64 m (-.f64 1 m)))) (*.f64 (cbrt.f64 (/.f64 v (*.f64 m (-.f64 1 m)))) (cbrt.f64 (/.f64 v (*.f64 m (-.f64 1 m))))) (cbrt.f64 (/.f64 v (*.f64 m (-.f64 1 m)))) (/.f64 (*.f64 (*.f64 v v) v) (*.f64 (*.f64 (*.f64 m (-.f64 1 m)) (*.f64 m (-.f64 1 m))) (*.f64 m (-.f64 1 m)))) (/.f64 (*.f64 (*.f64 v v) v) (*.f64 (*.f64 (*.f64 m m) m) (*.f64 (*.f64 (-.f64 1 m) (-.f64 1 m)) (-.f64 1 m)))) (sqrt.f64 (/.f64 v (*.f64 m (-.f64 1 m)))) (sqrt.f64 (/.f64 v (*.f64 m (-.f64 1 m)))) (neg.f64 v) (neg.f64 (*.f64 m (-.f64 1 m))) (/.f64 (*.f64 (cbrt.f64 v) (cbrt.f64 v)) m) (/.f64 (cbrt.f64 v) (-.f64 1 m)) (/.f64 (sqrt.f64 v) m) (/.f64 (sqrt.f64 v) (-.f64 1 m)) (/.f64 1 m) (/.f64 v (-.f64 1 m)) (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 1 (*.f64 m (-.f64 1 m))) (/.f64 v (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3)))) (/.f64 v (*.f64 m (-.f64 (*.f64 1 1) (*.f64 m m)))) (/.f64 (*.f64 m (-.f64 1 m)) (cbrt.f64 v)) (/.f64 (*.f64 m (-.f64 1 m)) (sqrt.f64 v)) (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 v m) (*.f64 m (-.f64 1 m)) (+.f64 (log.f64 m) (log.f64 (-.f64 1 m))) (exp.f64 (*.f64 m (-.f64 1 m))) (log.f64 (*.f64 m (-.f64 1 m))) (*.f64 (*.f64 (*.f64 m (-.f64 1 m)) (*.f64 m (-.f64 1 m))) (*.f64 m (-.f64 1 m))) (*.f64 (cbrt.f64 (*.f64 m (-.f64 1 m))) (cbrt.f64 (*.f64 m (-.f64 1 m)))) (cbrt.f64 (*.f64 m (-.f64 1 m))) (*.f64 (*.f64 (*.f64 m m) m) (*.f64 (*.f64 (-.f64 1 m) (-.f64 1 m)) (-.f64 1 m))) (sqrt.f64 (*.f64 m (-.f64 1 m))) (sqrt.f64 (*.f64 m (-.f64 1 m))) (*.f64 (sqrt.f64 m) (sqrt.f64 (-.f64 1 m))) (*.f64 (sqrt.f64 m) (sqrt.f64 (-.f64 1 m))) (*.f64 1 m) (*.f64 (neg.f64 m) m) (*.f64 m 1) (*.f64 m (neg.f64 m)) (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 m (-.f64 (*.f64 1 1) (*.f64 m m))) (*.f64 (cbrt.f64 m) (-.f64 1 m)) (*.f64 (sqrt.f64 m) (-.f64 1 m)) (*.f64 m (-.f64 1 m)) (*.f64 m (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m)))) (*.f64 m (sqrt.f64 (-.f64 1 m))) (*.f64 m 1) (*.f64 m (+.f64 (sqrt.f64 1) (sqrt.f64 m))) (*.f64 m (+.f64 1 (sqrt.f64 m))) (*.f64 m 1) (-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v)) (-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v)) (-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v)) (-.f64 (/.f64 (pow.f64 m 2) v) (+.f64 m (/.f64 (pow.f64 m 3) v))) (-.f64 (/.f64 (pow.f64 m 2) v) (+.f64 m (/.f64 (pow.f64 m 3) v))) (-.f64 (/.f64 (pow.f64 m 2) v) (+.f64 m (/.f64 (pow.f64 m 3) v))) (+.f64 v (+.f64 (*.f64 m v) (/.f64 v m))) (neg.f64 (+.f64 (/.f64 v (pow.f64 m 2)) (+.f64 (/.f64 v (pow.f64 m 3)) (/.f64 v (pow.f64 m 4))))) (neg.f64 (+.f64 (/.f64 v (pow.f64 m 2)) (+.f64 (/.f64 v (pow.f64 m 3)) (/.f64 v (pow.f64 m 4))))) (-.f64 m (pow.f64 m 2)) (-.f64 m (pow.f64 m 2)) (-.f64 m (pow.f64 m 2)) 1.401 * * [simplify]: iteration 0 : 5515 enodes (cost 2326 ) 1.413 * [simplify]: Simplified to: -1 (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (exp.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) (*.f64 (cbrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (cbrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))) (cbrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) -1 (neg.f64 (/.f64 v (*.f64 m (-.f64 1 m)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (/.f64 v (*.f64 m (-.f64 1 m)))) (cbrt.f64 (/.f64 v (*.f64 m (-.f64 1 m)))))) (/.f64 (cbrt.f64 1) (cbrt.f64 (/.f64 v (*.f64 m (-.f64 1 m))))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (/.f64 v (*.f64 m (-.f64 1 m))))) (/.f64 (cbrt.f64 1) (sqrt.f64 (/.f64 v (*.f64 m (-.f64 1 m))))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 v) (cbrt.f64 v)) m)) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 v) (-.f64 1 m))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 v) m)) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 v) (-.f64 1 m))) (*.f64 m (*.f64 (cbrt.f64 1) (cbrt.f64 1))) (/.f64 (cbrt.f64 1) (/.f64 v (-.f64 1 m))) (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (/.f64 (cbrt.f64 1) (/.f64 v (-.f64 1 m))) m) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) v) (*.f64 (*.f64 m (-.f64 1 m)) (cbrt.f64 1)) (*.f64 (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) v) (-.f64 m (pow.f64 m 4))) (/.f64 (cbrt.f64 1) (+.f64 1 (+.f64 m (*.f64 m m)))) (*.f64 (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) v) (-.f64 m (pow.f64 m 3))) (/.f64 (cbrt.f64 1) (+.f64 1 m)) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 v (*.f64 m (-.f64 1 m)))) (cbrt.f64 (/.f64 v (*.f64 m (-.f64 1 m)))))) (/.f64 1 (cbrt.f64 (/.f64 v (*.f64 m (-.f64 1 m))))) (/.f64 1 (sqrt.f64 (/.f64 v (*.f64 m (-.f64 1 m))))) (/.f64 1 (sqrt.f64 (/.f64 v (*.f64 m (-.f64 1 m))))) (/.f64 m (*.f64 (cbrt.f64 v) (cbrt.f64 v))) (/.f64 (-.f64 1 m) (cbrt.f64 v)) (/.f64 m (sqrt.f64 v)) (/.f64 (-.f64 1 m) (sqrt.f64 v)) m (/.f64 (-.f64 1 m) v) 1 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 1 v) (*.f64 m (-.f64 1 m)) (/.f64 (-.f64 m (pow.f64 m 4)) v) (/.f64 1 (+.f64 1 (+.f64 m (*.f64 m m)))) (/.f64 (-.f64 m (pow.f64 m 3)) v) (/.f64 1 (+.f64 1 m)) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 v (*.f64 m (-.f64 1 m)))) (cbrt.f64 (/.f64 v (*.f64 m (-.f64 1 m)))))) (/.f64 1 (cbrt.f64 (/.f64 v (*.f64 m (-.f64 1 m))))) (/.f64 1 (sqrt.f64 (/.f64 v (*.f64 m (-.f64 1 m))))) (/.f64 1 (sqrt.f64 (/.f64 v (*.f64 m (-.f64 1 m))))) (/.f64 m (*.f64 (cbrt.f64 v) (cbrt.f64 v))) (/.f64 (-.f64 1 m) (cbrt.f64 v)) (/.f64 m (sqrt.f64 v)) (/.f64 (-.f64 1 m) (sqrt.f64 v)) m (/.f64 (-.f64 1 m) v) 1 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 1 v) (*.f64 m (-.f64 1 m)) (/.f64 (-.f64 m (pow.f64 m 4)) v) (/.f64 1 (+.f64 1 (+.f64 m (*.f64 m m)))) (/.f64 (-.f64 m (pow.f64 m 3)) v) (/.f64 1 (+.f64 1 m)) (/.f64 v (*.f64 m (-.f64 1 m))) (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 1 v) (/.f64 v (*.f64 (*.f64 m (-.f64 1 m)) (cbrt.f64 1))) (/.f64 v (*.f64 m (-.f64 1 m))) (/.f64 v (*.f64 m (-.f64 1 m))) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 v (*.f64 m (-.f64 1 m)))) (cbrt.f64 (/.f64 v (*.f64 m (-.f64 1 m)))))) (/.f64 1 (sqrt.f64 (/.f64 v (*.f64 m (-.f64 1 m))))) (/.f64 m (*.f64 (cbrt.f64 v) (cbrt.f64 v))) (/.f64 m (sqrt.f64 v)) m 1 (/.f64 1 v) (/.f64 (-.f64 m (pow.f64 m 4)) v) (/.f64 (-.f64 m (pow.f64 m 3)) v) (*.f64 m (+.f64 -1 (/.f64 (*.f64 m (-.f64 1 m)) v))) (log.f64 (*.f64 m (+.f64 -1 (/.f64 (*.f64 m (-.f64 1 m)) v)))) (exp.f64 (*.f64 m (+.f64 -1 (/.f64 (*.f64 m (-.f64 1 m)) v)))) (log.f64 (*.f64 m (+.f64 -1 (/.f64 (*.f64 m (-.f64 1 m)) v)))) (pow.f64 (*.f64 m (+.f64 -1 (/.f64 (*.f64 m (-.f64 1 m)) v))) 3) (*.f64 (cbrt.f64 (*.f64 m (+.f64 -1 (/.f64 (*.f64 m (-.f64 1 m)) v)))) (cbrt.f64 (*.f64 m (+.f64 -1 (/.f64 (*.f64 m (-.f64 1 m)) v))))) (cbrt.f64 (*.f64 m (+.f64 -1 (/.f64 (*.f64 m (-.f64 1 m)) v)))) (pow.f64 (*.f64 m (+.f64 -1 (/.f64 (*.f64 m (-.f64 1 m)) v))) 3) (sqrt.f64 (*.f64 m (+.f64 -1 (/.f64 (*.f64 m (-.f64 1 m)) v)))) (sqrt.f64 (*.f64 m (+.f64 -1 (/.f64 (*.f64 m (-.f64 1 m)) v)))) (*.f64 (sqrt.f64 (+.f64 -1 (/.f64 (*.f64 m (-.f64 1 m)) v))) (sqrt.f64 m)) (*.f64 (sqrt.f64 (+.f64 -1 (/.f64 (*.f64 m (-.f64 1 m)) v))) (sqrt.f64 m)) (*.f64 m (+.f64 -1 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3))) (*.f64 m (+.f64 -1 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)))) (*.f64 m (cbrt.f64 (+.f64 -1 (/.f64 (*.f64 m (-.f64 1 m)) v)))) (*.f64 m (sqrt.f64 (+.f64 -1 (/.f64 (*.f64 m (-.f64 1 m)) v)))) (*.f64 m (+.f64 -1 (/.f64 (*.f64 m (-.f64 1 m)) v))) (*.f64 m (+.f64 -1 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)))) (*.f64 m (+.f64 -1 (/.f64 1 (sqrt.f64 (/.f64 v (*.f64 m (-.f64 1 m))))))) (*.f64 m (+.f64 -1 (/.f64 1 (sqrt.f64 (/.f64 v (*.f64 m (-.f64 1 m))))))) (*.f64 m (+.f64 -1 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)))) (*.f64 m (+.f64 -1 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)))) (*.f64 m (+.f64 -1 (/.f64 1 (sqrt.f64 (/.f64 v (*.f64 m (-.f64 1 m))))))) (*.f64 m (+.f64 -1 (/.f64 1 (sqrt.f64 (/.f64 v (*.f64 m (-.f64 1 m))))))) (*.f64 m (+.f64 -1 (/.f64 1 (sqrt.f64 (/.f64 v (*.f64 m (-.f64 1 m))))))) (*.f64 m (+.f64 -1 (/.f64 1 (sqrt.f64 (/.f64 v (*.f64 m (-.f64 1 m))))))) (*.f64 m (+.f64 -1 (/.f64 (*.f64 m (-.f64 1 m)) v))) (*.f64 m (+.f64 -1 (/.f64 (*.f64 m (-.f64 1 m)) v))) (*.f64 (+.f64 -1 (/.f64 (*.f64 m (-.f64 1 m)) v)) (*.f64 (cbrt.f64 m) (cbrt.f64 m))) (*.f64 (+.f64 -1 (/.f64 (*.f64 m (-.f64 1 m)) v)) (sqrt.f64 m)) (+.f64 -1 (/.f64 (*.f64 m (-.f64 1 m)) v)) (log.f64 (/.f64 v (*.f64 m (-.f64 1 m)))) (log.f64 (/.f64 v (*.f64 m (-.f64 1 m)))) (exp.f64 (/.f64 v (*.f64 m (-.f64 1 m)))) (log.f64 (/.f64 v (*.f64 m (-.f64 1 m)))) (pow.f64 (/.f64 v (*.f64 m (-.f64 1 m))) 3) (*.f64 (cbrt.f64 (/.f64 v (*.f64 m (-.f64 1 m)))) (cbrt.f64 (/.f64 v (*.f64 m (-.f64 1 m))))) (cbrt.f64 (/.f64 v (*.f64 m (-.f64 1 m)))) (pow.f64 (/.f64 v (*.f64 m (-.f64 1 m))) 3) (pow.f64 (/.f64 v (*.f64 m (-.f64 1 m))) 3) (sqrt.f64 (/.f64 v (*.f64 m (-.f64 1 m)))) (sqrt.f64 (/.f64 v (*.f64 m (-.f64 1 m)))) (neg.f64 v) (-.f64 (*.f64 m m) m) (/.f64 (*.f64 (cbrt.f64 v) (cbrt.f64 v)) m) (/.f64 (cbrt.f64 v) (-.f64 1 m)) (/.f64 (sqrt.f64 v) m) (/.f64 (sqrt.f64 v) (-.f64 1 m)) (/.f64 1 m) (/.f64 v (-.f64 1 m)) (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 1 (*.f64 m (-.f64 1 m))) (/.f64 v (-.f64 m (pow.f64 m 4))) (/.f64 v (-.f64 m (pow.f64 m 3))) (*.f64 (/.f64 (-.f64 1 m) (cbrt.f64 v)) m) (*.f64 (/.f64 m (sqrt.f64 v)) (-.f64 1 m)) (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 v m) (*.f64 m (-.f64 1 m)) (log.f64 (*.f64 m (-.f64 1 m))) (exp.f64 (*.f64 m (-.f64 1 m))) (log.f64 (*.f64 m (-.f64 1 m))) (pow.f64 (*.f64 m (-.f64 1 m)) 3) (*.f64 (cbrt.f64 (*.f64 m (-.f64 1 m))) (cbrt.f64 (*.f64 m (-.f64 1 m)))) (cbrt.f64 (*.f64 m (-.f64 1 m))) (pow.f64 (*.f64 m (-.f64 1 m)) 3) (sqrt.f64 (*.f64 m (-.f64 1 m))) (sqrt.f64 (*.f64 m (-.f64 1 m))) (*.f64 (sqrt.f64 m) (sqrt.f64 (-.f64 1 m))) (*.f64 (sqrt.f64 m) (sqrt.f64 (-.f64 1 m))) m (*.f64 m (neg.f64 m)) m (*.f64 m (neg.f64 m)) (-.f64 m (pow.f64 m 4)) (-.f64 m (pow.f64 m 3)) (*.f64 (-.f64 1 m) (cbrt.f64 m)) (*.f64 (-.f64 1 m) (sqrt.f64 m)) (*.f64 m (-.f64 1 m)) (*.f64 m (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m)))) (*.f64 m (sqrt.f64 (-.f64 1 m))) m (+.f64 m (pow.f64 m 3/2)) (+.f64 m (pow.f64 m 3/2)) m (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) m) (+.f64 v (+.f64 (/.f64 v m) (*.f64 v m))) (-.f64 (/.f64 (neg.f64 v) (*.f64 m m)) (+.f64 (/.f64 v (pow.f64 m 3)) (/.f64 v (pow.f64 m 4)))) (-.f64 (/.f64 (neg.f64 v) (*.f64 m m)) (+.f64 (/.f64 v (pow.f64 m 3)) (/.f64 v (pow.f64 m 4)))) (*.f64 m (-.f64 1 m)) (*.f64 m (-.f64 1 m)) (*.f64 m (-.f64 1 m)) 1.414 * * * [progress]: adding candidates to table 1.514 * * [progress]: iteration 3 / 4 1.514 * * * [progress]: picking best candidate 1.520 * * * * [pick]: Picked # 1.520 * * * [progress]: localizing error 1.526 * * * [progress]: generating rewritten candidates 1.526 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 1.536 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 1.543 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 1.562 * * * [progress]: generating series expansions 1.562 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 1.562 * [approximate]: Taking taylor expansion of (/ (* (- 1 m) (pow m 2)) v) in (m v) around 0 1.562 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) (pow m 2)) v) in v 1.562 * [taylor]: Taking taylor expansion of (* (- 1 m) (pow m 2)) in v 1.562 * [taylor]: Taking taylor expansion of (- 1 m) in v 1.562 * [taylor]: Taking taylor expansion of 1 in v 1.562 * [taylor]: Taking taylor expansion of m in v 1.562 * [taylor]: Taking taylor expansion of (pow m 2) in v 1.562 * [taylor]: Taking taylor expansion of m in v 1.563 * [taylor]: Taking taylor expansion of v in v 1.563 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) (pow m 2)) v) in m 1.563 * [taylor]: Taking taylor expansion of (* (- 1 m) (pow m 2)) in m 1.563 * [taylor]: Taking taylor expansion of (- 1 m) in m 1.563 * [taylor]: Taking taylor expansion of 1 in m 1.564 * [taylor]: Taking taylor expansion of m in m 1.564 * [taylor]: Taking taylor expansion of (pow m 2) in m 1.564 * [taylor]: Taking taylor expansion of m in m 1.564 * [taylor]: Taking taylor expansion of v in m 1.564 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) (pow m 2)) v) in m 1.564 * [taylor]: Taking taylor expansion of (* (- 1 m) (pow m 2)) in m 1.564 * [taylor]: Taking taylor expansion of (- 1 m) in m 1.564 * [taylor]: Taking taylor expansion of 1 in m 1.564 * [taylor]: Taking taylor expansion of m in m 1.564 * [taylor]: Taking taylor expansion of (pow m 2) in m 1.564 * [taylor]: Taking taylor expansion of m in m 1.564 * [taylor]: Taking taylor expansion of v in m 1.564 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.564 * [taylor]: Taking taylor expansion of v in v 1.565 * [taylor]: Taking taylor expansion of (neg (/ 1 v)) in v 1.565 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.565 * [taylor]: Taking taylor expansion of v in v 1.567 * [taylor]: Taking taylor expansion of 0 in v 1.570 * [taylor]: Taking taylor expansion of 0 in v 1.572 * [approximate]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) (pow m 2)) in (m v) around 0 1.572 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) (pow m 2)) in v 1.572 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in v 1.572 * [taylor]: Taking taylor expansion of v in v 1.572 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in v 1.572 * [taylor]: Taking taylor expansion of 1 in v 1.572 * [taylor]: Taking taylor expansion of (/ 1 m) in v 1.572 * [taylor]: Taking taylor expansion of m in v 1.572 * [taylor]: Taking taylor expansion of (pow m 2) in v 1.573 * [taylor]: Taking taylor expansion of m in v 1.574 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) (pow m 2)) in m 1.574 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in m 1.574 * [taylor]: Taking taylor expansion of v in m 1.574 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m 1.574 * [taylor]: Taking taylor expansion of 1 in m 1.574 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.574 * [taylor]: Taking taylor expansion of m in m 1.574 * [taylor]: Taking taylor expansion of (pow m 2) in m 1.574 * [taylor]: Taking taylor expansion of m in m 1.575 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) (pow m 2)) in m 1.575 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in m 1.575 * [taylor]: Taking taylor expansion of v in m 1.575 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m 1.575 * [taylor]: Taking taylor expansion of 1 in m 1.575 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.575 * [taylor]: Taking taylor expansion of m in m 1.575 * [taylor]: Taking taylor expansion of (pow m 2) in m 1.575 * [taylor]: Taking taylor expansion of m in m 1.576 * [taylor]: Taking taylor expansion of (* -1 v) in v 1.576 * [taylor]: Taking taylor expansion of -1 in v 1.576 * [taylor]: Taking taylor expansion of v in v 1.577 * [taylor]: Taking taylor expansion of v in v 1.579 * [taylor]: Taking taylor expansion of 0 in v 1.581 * [taylor]: Taking taylor expansion of 0 in v 1.583 * [approximate]: Taking taylor expansion of (* -1 (/ (* v (+ (/ 1 m) 1)) (pow m 2))) in (m v) around 0 1.584 * [taylor]: Taking taylor expansion of (* -1 (/ (* v (+ (/ 1 m) 1)) (pow m 2))) in v 1.584 * [taylor]: Taking taylor expansion of -1 in v 1.584 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) (pow m 2)) in v 1.584 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in v 1.584 * [taylor]: Taking taylor expansion of v in v 1.584 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in v 1.584 * [taylor]: Taking taylor expansion of (/ 1 m) in v 1.584 * [taylor]: Taking taylor expansion of m in v 1.584 * [taylor]: Taking taylor expansion of 1 in v 1.584 * [taylor]: Taking taylor expansion of (pow m 2) in v 1.584 * [taylor]: Taking taylor expansion of m in v 1.585 * [taylor]: Taking taylor expansion of (* -1 (/ (* v (+ (/ 1 m) 1)) (pow m 2))) in m 1.585 * [taylor]: Taking taylor expansion of -1 in m 1.585 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) (pow m 2)) in m 1.585 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in m 1.585 * [taylor]: Taking taylor expansion of v in m 1.585 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m 1.585 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.585 * [taylor]: Taking taylor expansion of m in m 1.585 * [taylor]: Taking taylor expansion of 1 in m 1.585 * [taylor]: Taking taylor expansion of (pow m 2) in m 1.585 * [taylor]: Taking taylor expansion of m in m 1.586 * [taylor]: Taking taylor expansion of (* -1 (/ (* v (+ (/ 1 m) 1)) (pow m 2))) in m 1.586 * [taylor]: Taking taylor expansion of -1 in m 1.586 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) (pow m 2)) in m 1.586 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in m 1.586 * [taylor]: Taking taylor expansion of v in m 1.586 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m 1.586 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.586 * [taylor]: Taking taylor expansion of m in m 1.586 * [taylor]: Taking taylor expansion of 1 in m 1.586 * [taylor]: Taking taylor expansion of (pow m 2) in m 1.586 * [taylor]: Taking taylor expansion of m in m 1.586 * [taylor]: Taking taylor expansion of (* -1 v) in v 1.586 * [taylor]: Taking taylor expansion of -1 in v 1.586 * [taylor]: Taking taylor expansion of v in v 1.588 * [taylor]: Taking taylor expansion of (neg v) in v 1.588 * [taylor]: Taking taylor expansion of v in v 1.590 * [taylor]: Taking taylor expansion of 0 in v 1.593 * [taylor]: Taking taylor expansion of 0 in v 1.594 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 1.594 * [approximate]: Taking taylor expansion of (* (- 1 m) m) in (m) around 0 1.594 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m 1.594 * [taylor]: Taking taylor expansion of (- 1 m) in m 1.594 * [taylor]: Taking taylor expansion of 1 in m 1.594 * [taylor]: Taking taylor expansion of m in m 1.594 * [taylor]: Taking taylor expansion of m in m 1.594 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m 1.594 * [taylor]: Taking taylor expansion of (- 1 m) in m 1.594 * [taylor]: Taking taylor expansion of 1 in m 1.594 * [taylor]: Taking taylor expansion of m in m 1.594 * [taylor]: Taking taylor expansion of m in m 1.601 * [approximate]: Taking taylor expansion of (/ (- 1 (/ 1 m)) m) in (m) around 0 1.601 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 m)) m) in m 1.601 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m 1.601 * [taylor]: Taking taylor expansion of 1 in m 1.601 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.601 * [taylor]: Taking taylor expansion of m in m 1.601 * [taylor]: Taking taylor expansion of m in m 1.602 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 m)) m) in m 1.602 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m 1.602 * [taylor]: Taking taylor expansion of 1 in m 1.602 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.602 * [taylor]: Taking taylor expansion of m in m 1.602 * [taylor]: Taking taylor expansion of m in m 1.614 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) m)) in (m) around 0 1.614 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) m)) in m 1.614 * [taylor]: Taking taylor expansion of -1 in m 1.614 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1) m) in m 1.614 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m 1.614 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.614 * [taylor]: Taking taylor expansion of m in m 1.614 * [taylor]: Taking taylor expansion of 1 in m 1.614 * [taylor]: Taking taylor expansion of m in m 1.614 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) m)) in m 1.614 * [taylor]: Taking taylor expansion of -1 in m 1.614 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1) m) in m 1.614 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m 1.614 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.614 * [taylor]: Taking taylor expansion of m in m 1.614 * [taylor]: Taking taylor expansion of 1 in m 1.614 * [taylor]: Taking taylor expansion of m in m 1.628 * * * * [progress]: [ 3 / 3 ] generating series at (2) 1.629 * [approximate]: Taking taylor expansion of (- (/ (pow m 2) v) (+ m (/ (pow m 3) v))) in (m v) around 0 1.629 * [taylor]: Taking taylor expansion of (- (/ (pow m 2) v) (+ m (/ (pow m 3) v))) in v 1.629 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v 1.629 * [taylor]: Taking taylor expansion of (pow m 2) in v 1.629 * [taylor]: Taking taylor expansion of m in v 1.629 * [taylor]: Taking taylor expansion of v in v 1.629 * [taylor]: Taking taylor expansion of (+ m (/ (pow m 3) v)) in v 1.629 * [taylor]: Taking taylor expansion of m in v 1.629 * [taylor]: Taking taylor expansion of (/ (pow m 3) v) in v 1.629 * [taylor]: Taking taylor expansion of (pow m 3) in v 1.629 * [taylor]: Taking taylor expansion of m in v 1.629 * [taylor]: Taking taylor expansion of v in v 1.630 * [taylor]: Taking taylor expansion of (- (/ (pow m 2) v) (+ m (/ (pow m 3) v))) in m 1.630 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m 1.630 * [taylor]: Taking taylor expansion of (pow m 2) in m 1.630 * [taylor]: Taking taylor expansion of m in m 1.630 * [taylor]: Taking taylor expansion of v in m 1.630 * [taylor]: Taking taylor expansion of (+ m (/ (pow m 3) v)) in m 1.630 * [taylor]: Taking taylor expansion of m in m 1.630 * [taylor]: Taking taylor expansion of (/ (pow m 3) v) in m 1.630 * [taylor]: Taking taylor expansion of (pow m 3) in m 1.630 * [taylor]: Taking taylor expansion of m in m 1.630 * [taylor]: Taking taylor expansion of v in m 1.631 * [taylor]: Taking taylor expansion of (- (/ (pow m 2) v) (+ m (/ (pow m 3) v))) in m 1.631 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m 1.631 * [taylor]: Taking taylor expansion of (pow m 2) in m 1.631 * [taylor]: Taking taylor expansion of m in m 1.631 * [taylor]: Taking taylor expansion of v in m 1.631 * [taylor]: Taking taylor expansion of (+ m (/ (pow m 3) v)) in m 1.631 * [taylor]: Taking taylor expansion of m in m 1.631 * [taylor]: Taking taylor expansion of (/ (pow m 3) v) in m 1.631 * [taylor]: Taking taylor expansion of (pow m 3) in m 1.631 * [taylor]: Taking taylor expansion of m in m 1.631 * [taylor]: Taking taylor expansion of v in m 1.632 * [taylor]: Taking taylor expansion of 0 in v 1.632 * [taylor]: Taking taylor expansion of -1 in v 1.632 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.632 * [taylor]: Taking taylor expansion of v in v 1.633 * [taylor]: Taking taylor expansion of (neg (/ 1 v)) in v 1.633 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.633 * [taylor]: Taking taylor expansion of v in v 1.636 * [approximate]: Taking taylor expansion of (- (/ v (pow m 2)) (+ (/ v (pow m 3)) (/ 1 m))) in (m v) around 0 1.636 * [taylor]: Taking taylor expansion of (- (/ v (pow m 2)) (+ (/ v (pow m 3)) (/ 1 m))) in v 1.636 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v 1.636 * [taylor]: Taking taylor expansion of v in v 1.636 * [taylor]: Taking taylor expansion of (pow m 2) in v 1.636 * [taylor]: Taking taylor expansion of m in v 1.636 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 3)) (/ 1 m)) in v 1.636 * [taylor]: Taking taylor expansion of (/ v (pow m 3)) in v 1.636 * [taylor]: Taking taylor expansion of v in v 1.636 * [taylor]: Taking taylor expansion of (pow m 3) in v 1.636 * [taylor]: Taking taylor expansion of m in v 1.637 * [taylor]: Taking taylor expansion of (/ 1 m) in v 1.637 * [taylor]: Taking taylor expansion of m in v 1.637 * [taylor]: Taking taylor expansion of (- (/ v (pow m 2)) (+ (/ v (pow m 3)) (/ 1 m))) in m 1.637 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m 1.637 * [taylor]: Taking taylor expansion of v in m 1.637 * [taylor]: Taking taylor expansion of (pow m 2) in m 1.637 * [taylor]: Taking taylor expansion of m in m 1.637 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 3)) (/ 1 m)) in m 1.637 * [taylor]: Taking taylor expansion of (/ v (pow m 3)) in m 1.637 * [taylor]: Taking taylor expansion of v in m 1.637 * [taylor]: Taking taylor expansion of (pow m 3) in m 1.637 * [taylor]: Taking taylor expansion of m in m 1.637 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.637 * [taylor]: Taking taylor expansion of m in m 1.637 * [taylor]: Taking taylor expansion of (- (/ v (pow m 2)) (+ (/ v (pow m 3)) (/ 1 m))) in m 1.637 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m 1.637 * [taylor]: Taking taylor expansion of v in m 1.637 * [taylor]: Taking taylor expansion of (pow m 2) in m 1.637 * [taylor]: Taking taylor expansion of m in m 1.638 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 3)) (/ 1 m)) in m 1.638 * [taylor]: Taking taylor expansion of (/ v (pow m 3)) in m 1.638 * [taylor]: Taking taylor expansion of v in m 1.638 * [taylor]: Taking taylor expansion of (pow m 3) in m 1.638 * [taylor]: Taking taylor expansion of m in m 1.638 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.638 * [taylor]: Taking taylor expansion of m in m 1.638 * [taylor]: Taking taylor expansion of (neg v) in v 1.638 * [taylor]: Taking taylor expansion of v in v 1.639 * [taylor]: Taking taylor expansion of v in v 1.641 * [taylor]: Taking taylor expansion of -1 in v 1.644 * [approximate]: Taking taylor expansion of (- (/ 1 m) (+ (/ v (pow m 2)) (/ v (pow m 3)))) in (m v) around 0 1.644 * [taylor]: Taking taylor expansion of (- (/ 1 m) (+ (/ v (pow m 2)) (/ v (pow m 3)))) in v 1.644 * [taylor]: Taking taylor expansion of (/ 1 m) in v 1.644 * [taylor]: Taking taylor expansion of m in v 1.644 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v (pow m 3))) in v 1.644 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v 1.644 * [taylor]: Taking taylor expansion of v in v 1.644 * [taylor]: Taking taylor expansion of (pow m 2) in v 1.644 * [taylor]: Taking taylor expansion of m in v 1.644 * [taylor]: Taking taylor expansion of (/ v (pow m 3)) in v 1.644 * [taylor]: Taking taylor expansion of v in v 1.644 * [taylor]: Taking taylor expansion of (pow m 3) in v 1.644 * [taylor]: Taking taylor expansion of m in v 1.645 * [taylor]: Taking taylor expansion of (- (/ 1 m) (+ (/ v (pow m 2)) (/ v (pow m 3)))) in m 1.645 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.645 * [taylor]: Taking taylor expansion of m in m 1.645 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v (pow m 3))) in m 1.645 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m 1.645 * [taylor]: Taking taylor expansion of v in m 1.645 * [taylor]: Taking taylor expansion of (pow m 2) in m 1.645 * [taylor]: Taking taylor expansion of m in m 1.645 * [taylor]: Taking taylor expansion of (/ v (pow m 3)) in m 1.645 * [taylor]: Taking taylor expansion of v in m 1.645 * [taylor]: Taking taylor expansion of (pow m 3) in m 1.645 * [taylor]: Taking taylor expansion of m in m 1.645 * [taylor]: Taking taylor expansion of (- (/ 1 m) (+ (/ v (pow m 2)) (/ v (pow m 3)))) in m 1.645 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.645 * [taylor]: Taking taylor expansion of m in m 1.646 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v (pow m 3))) in m 1.646 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m 1.646 * [taylor]: Taking taylor expansion of v in m 1.646 * [taylor]: Taking taylor expansion of (pow m 2) in m 1.646 * [taylor]: Taking taylor expansion of m in m 1.646 * [taylor]: Taking taylor expansion of (/ v (pow m 3)) in m 1.646 * [taylor]: Taking taylor expansion of v in m 1.646 * [taylor]: Taking taylor expansion of (pow m 3) in m 1.646 * [taylor]: Taking taylor expansion of m in m 1.646 * [taylor]: Taking taylor expansion of (neg v) in v 1.646 * [taylor]: Taking taylor expansion of v in v 1.647 * [taylor]: Taking taylor expansion of (neg v) in v 1.647 * [taylor]: Taking taylor expansion of v in v 1.649 * [taylor]: Taking taylor expansion of 1 in v 1.651 * * * [progress]: simplifying candidates 1.652 * [simplify]: Simplifying using # : (-.f64 (+.f64 (log.f64 m) (log.f64 (-.f64 1 m))) (-.f64 (log.f64 v) (log.f64 m))) (-.f64 (+.f64 (log.f64 m) (log.f64 (-.f64 1 m))) (log.f64 (/.f64 v m))) (-.f64 (log.f64 (*.f64 m (-.f64 1 m))) (-.f64 (log.f64 v) (log.f64 m))) (-.f64 (log.f64 (*.f64 m (-.f64 1 m))) (log.f64 (/.f64 v m))) (exp.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m))) (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m))) (*.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m))) (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m))) (*.f64 (cbrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m))) (cbrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)))) (cbrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m))) (/.f64 (*.f64 (*.f64 (*.f64 m (-.f64 1 m)) (*.f64 m (-.f64 1 m))) (*.f64 m (-.f64 1 m))) (*.f64 (*.f64 (/.f64 v m) (/.f64 v m)) (/.f64 v m))) (/.f64 (*.f64 (*.f64 (*.f64 m (-.f64 1 m)) (*.f64 m (-.f64 1 m))) (*.f64 m (-.f64 1 m))) (/.f64 (*.f64 (*.f64 v v) v) (*.f64 (*.f64 m m) m))) (/.f64 (*.f64 (*.f64 (*.f64 m m) m) (*.f64 (*.f64 (-.f64 1 m) (-.f64 1 m)) (-.f64 1 m))) (*.f64 (*.f64 (/.f64 v m) (/.f64 v m)) (/.f64 v m))) (/.f64 (*.f64 (*.f64 (*.f64 m m) m) (*.f64 (*.f64 (-.f64 1 m) (-.f64 1 m)) (-.f64 1 m))) (/.f64 (*.f64 (*.f64 v v) v) (*.f64 (*.f64 m m) m))) (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m))) (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m))) (neg.f64 (*.f64 m (-.f64 1 m))) (neg.f64 (/.f64 v m)) (/.f64 m (*.f64 (cbrt.f64 (/.f64 v m)) (cbrt.f64 (/.f64 v m)))) (/.f64 (-.f64 1 m) (cbrt.f64 (/.f64 v m))) (/.f64 m (sqrt.f64 (/.f64 v m))) (/.f64 (-.f64 1 m) (sqrt.f64 (/.f64 v m))) (/.f64 m (/.f64 (*.f64 (cbrt.f64 v) (cbrt.f64 v)) (*.f64 (cbrt.f64 m) (cbrt.f64 m)))) (/.f64 (-.f64 1 m) (/.f64 (cbrt.f64 v) (cbrt.f64 m))) (/.f64 m (/.f64 (*.f64 (cbrt.f64 v) (cbrt.f64 v)) (sqrt.f64 m))) (/.f64 (-.f64 1 m) (/.f64 (cbrt.f64 v) (sqrt.f64 m))) (/.f64 m (/.f64 (*.f64 (cbrt.f64 v) (cbrt.f64 v)) 1)) (/.f64 (-.f64 1 m) (/.f64 (cbrt.f64 v) m)) (/.f64 m (/.f64 (sqrt.f64 v) (*.f64 (cbrt.f64 m) (cbrt.f64 m)))) (/.f64 (-.f64 1 m) (/.f64 (sqrt.f64 v) (cbrt.f64 m))) (/.f64 m (/.f64 (sqrt.f64 v) (sqrt.f64 m))) (/.f64 (-.f64 1 m) (/.f64 (sqrt.f64 v) (sqrt.f64 m))) (/.f64 m (/.f64 (sqrt.f64 v) 1)) (/.f64 (-.f64 1 m) (/.f64 (sqrt.f64 v) m)) (/.f64 m (/.f64 1 (*.f64 (cbrt.f64 m) (cbrt.f64 m)))) (/.f64 (-.f64 1 m) (/.f64 v (cbrt.f64 m))) (/.f64 m (/.f64 1 (sqrt.f64 m))) (/.f64 (-.f64 1 m) (/.f64 v (sqrt.f64 m))) (/.f64 m (/.f64 1 1)) (/.f64 (-.f64 1 m) (/.f64 v m)) (/.f64 m 1) (/.f64 (-.f64 1 m) (/.f64 v m)) (/.f64 m v) (/.f64 (-.f64 1 m) (/.f64 1 m)) (/.f64 (/.f64 v m) (*.f64 m (-.f64 1 m))) (/.f64 1 (/.f64 v m)) (*.f64 (/.f64 v m) (+.f64 (*.f64 1 1) (+.f64 (*.f64 m m) (*.f64 1 m)))) (*.f64 (/.f64 v m) (+.f64 1 m)) (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (/.f64 v m) (-.f64 1 m)) (/.f64 (*.f64 m (-.f64 1 m)) (*.f64 (cbrt.f64 (/.f64 v m)) (cbrt.f64 (/.f64 v m)))) (/.f64 (*.f64 m (-.f64 1 m)) (sqrt.f64 (/.f64 v m))) (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 (*.f64 (cbrt.f64 v) (cbrt.f64 v)) (*.f64 (cbrt.f64 m) (cbrt.f64 m)))) (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 (*.f64 (cbrt.f64 v) (cbrt.f64 v)) (sqrt.f64 m))) (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 (*.f64 (cbrt.f64 v) (cbrt.f64 v)) 1)) (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 (sqrt.f64 v) (*.f64 (cbrt.f64 m) (cbrt.f64 m)))) (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 (sqrt.f64 v) (sqrt.f64 m))) (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 (sqrt.f64 v) 1)) (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 1 (*.f64 (cbrt.f64 m) (cbrt.f64 m)))) (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 1 (sqrt.f64 m))) (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 1 1)) (/.f64 (*.f64 m (-.f64 1 m)) 1) (/.f64 (*.f64 m (-.f64 1 m)) v) (*.f64 m (-.f64 1 m)) (+.f64 (log.f64 m) (log.f64 (-.f64 1 m))) (exp.f64 (*.f64 m (-.f64 1 m))) (log.f64 (*.f64 m (-.f64 1 m))) (*.f64 (*.f64 (*.f64 m (-.f64 1 m)) (*.f64 m (-.f64 1 m))) (*.f64 m (-.f64 1 m))) (*.f64 (cbrt.f64 (*.f64 m (-.f64 1 m))) (cbrt.f64 (*.f64 m (-.f64 1 m)))) (cbrt.f64 (*.f64 m (-.f64 1 m))) (*.f64 (*.f64 (*.f64 m m) m) (*.f64 (*.f64 (-.f64 1 m) (-.f64 1 m)) (-.f64 1 m))) (sqrt.f64 (*.f64 m (-.f64 1 m))) (sqrt.f64 (*.f64 m (-.f64 1 m))) (*.f64 (sqrt.f64 m) (sqrt.f64 (-.f64 1 m))) (*.f64 (sqrt.f64 m) (sqrt.f64 (-.f64 1 m))) (*.f64 1 m) (*.f64 (neg.f64 m) m) (*.f64 m 1) (*.f64 m (neg.f64 m)) (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 m (-.f64 (*.f64 1 1) (*.f64 m m))) (*.f64 (cbrt.f64 m) (-.f64 1 m)) (*.f64 (sqrt.f64 m) (-.f64 1 m)) (*.f64 m (-.f64 1 m)) (*.f64 m (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m)))) (*.f64 m (sqrt.f64 (-.f64 1 m))) (*.f64 m 1) (*.f64 m (+.f64 (sqrt.f64 1) (sqrt.f64 m))) (*.f64 m (+.f64 1 (sqrt.f64 m))) (*.f64 m 1) (/.f64 (exp.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m))) (exp.f64 m)) (exp.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) m)) (log.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) m)) (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) m)) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) m)) (*.f64 (cbrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) m)) (cbrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) m))) (cbrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) m)) (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) m)) (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) m)) (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) 3) (pow.f64 m 3)) (+.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m))) (+.f64 (*.f64 m m) (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) m))) (neg.f64 m) (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m))) (*.f64 m m)) (+.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) m) (+.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m))) (sqrt.f64 m)) (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m))) (sqrt.f64 m)) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) m) (-.f64 (/.f64 (pow.f64 m 2) v) (/.f64 (pow.f64 m 3) v)) (-.f64 (/.f64 (pow.f64 m 2) v) (/.f64 (pow.f64 m 3) v)) (-.f64 (/.f64 (pow.f64 m 2) v) (/.f64 (pow.f64 m 3) v)) (-.f64 m (pow.f64 m 2)) (-.f64 m (pow.f64 m 2)) (-.f64 m (pow.f64 m 2)) (-.f64 (/.f64 (pow.f64 m 2) v) (+.f64 m (/.f64 (pow.f64 m 3) v))) (-.f64 (/.f64 (pow.f64 m 2) v) (+.f64 m (/.f64 (pow.f64 m 3) v))) (-.f64 (/.f64 (pow.f64 m 2) v) (+.f64 m (/.f64 (pow.f64 m 3) v))) 1.716 * * [simplify]: iteration 0 : 5233 enodes (cost 1469 ) 1.723 * [simplify]: Simplified to: (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m))) (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m))) (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m))) (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m))) (exp.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m))) (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m))) (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) 3) (*.f64 (cbrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m))) (cbrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)))) (cbrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m))) (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) 3) (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) 3) (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) 3) (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) 3) (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m))) (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m))) (-.f64 (*.f64 m m) m) (neg.f64 (/.f64 v m)) (/.f64 m (*.f64 (cbrt.f64 (/.f64 v m)) (cbrt.f64 (/.f64 v m)))) (/.f64 (-.f64 1 m) (cbrt.f64 (/.f64 v m))) (/.f64 m (sqrt.f64 (/.f64 v m))) (/.f64 (-.f64 1 m) (sqrt.f64 (/.f64 v m))) (/.f64 m (/.f64 (*.f64 (cbrt.f64 v) (cbrt.f64 v)) (*.f64 (cbrt.f64 m) (cbrt.f64 m)))) (/.f64 (-.f64 1 m) (/.f64 (cbrt.f64 v) (cbrt.f64 m))) (/.f64 (pow.f64 m 3/2) (*.f64 (cbrt.f64 v) (cbrt.f64 v))) (/.f64 (-.f64 1 m) (/.f64 (cbrt.f64 v) (sqrt.f64 m))) (/.f64 m (*.f64 (cbrt.f64 v) (cbrt.f64 v))) (/.f64 (-.f64 1 m) (/.f64 (cbrt.f64 v) m)) (/.f64 m (/.f64 (sqrt.f64 v) (*.f64 (cbrt.f64 m) (cbrt.f64 m)))) (/.f64 (-.f64 1 m) (/.f64 (sqrt.f64 v) (cbrt.f64 m))) (/.f64 (pow.f64 m 3/2) (sqrt.f64 v)) (/.f64 (-.f64 1 m) (/.f64 (sqrt.f64 v) (sqrt.f64 m))) (/.f64 m (sqrt.f64 v)) (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (*.f64 m (*.f64 (cbrt.f64 m) (cbrt.f64 m))) (/.f64 (-.f64 1 m) (/.f64 v (cbrt.f64 m))) (pow.f64 m 3/2) (/.f64 (-.f64 1 m) (/.f64 v (sqrt.f64 m))) m (/.f64 (-.f64 1 m) (/.f64 v m)) m (/.f64 (-.f64 1 m) (/.f64 v m)) (/.f64 m v) (*.f64 m (-.f64 1 m)) (/.f64 (/.f64 v m) (*.f64 m (-.f64 1 m))) (/.f64 m v) (*.f64 (/.f64 v m) (+.f64 1 (+.f64 m (*.f64 m m)))) (*.f64 (/.f64 v m) (+.f64 m 1)) (/.f64 (-.f64 1 m) (/.f64 v m)) (/.f64 v (*.f64 m (-.f64 1 m))) (*.f64 (-.f64 1 m) (/.f64 m (*.f64 (cbrt.f64 (/.f64 v m)) (cbrt.f64 (/.f64 v m))))) (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 (/.f64 v m)))) (*.f64 (-.f64 1 m) (/.f64 m (/.f64 (*.f64 (cbrt.f64 v) (cbrt.f64 v)) (*.f64 (cbrt.f64 m) (cbrt.f64 m))))) (/.f64 (pow.f64 m 3/2) (/.f64 (cbrt.f64 v) (/.f64 (-.f64 1 m) (cbrt.f64 v)))) (*.f64 (-.f64 1 m) (/.f64 m (*.f64 (cbrt.f64 v) (cbrt.f64 v)))) (*.f64 (-.f64 1 m) (/.f64 m (/.f64 (sqrt.f64 v) (*.f64 (cbrt.f64 m) (cbrt.f64 m))))) (/.f64 (pow.f64 m 3/2) (/.f64 (sqrt.f64 v) (-.f64 1 m))) (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (*.f64 (-.f64 1 m) (*.f64 m (*.f64 (cbrt.f64 m) (cbrt.f64 m)))) (*.f64 (-.f64 1 m) (pow.f64 m 3/2)) (*.f64 m (-.f64 1 m)) (*.f64 m (-.f64 1 m)) (/.f64 (-.f64 1 m) (/.f64 v m)) (*.f64 m (-.f64 1 m)) (log.f64 (*.f64 m (-.f64 1 m))) (exp.f64 (*.f64 m (-.f64 1 m))) (log.f64 (*.f64 m (-.f64 1 m))) (pow.f64 (*.f64 m (-.f64 1 m)) 3) (*.f64 (cbrt.f64 (*.f64 m (-.f64 1 m))) (cbrt.f64 (*.f64 m (-.f64 1 m)))) (cbrt.f64 (*.f64 m (-.f64 1 m))) (pow.f64 (*.f64 m (-.f64 1 m)) 3) (sqrt.f64 (*.f64 m (-.f64 1 m))) (sqrt.f64 (*.f64 m (-.f64 1 m))) (*.f64 (sqrt.f64 m) (sqrt.f64 (-.f64 1 m))) (*.f64 (sqrt.f64 m) (sqrt.f64 (-.f64 1 m))) m (*.f64 m (neg.f64 m)) m (*.f64 m (neg.f64 m)) (+.f64 m (neg.f64 (pow.f64 m 4))) (-.f64 m (pow.f64 m 3)) (*.f64 (-.f64 1 m) (cbrt.f64 m)) (*.f64 (-.f64 1 m) (sqrt.f64 m)) (*.f64 m (-.f64 1 m)) (*.f64 m (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m)))) (*.f64 m (sqrt.f64 (-.f64 1 m))) m (+.f64 m (pow.f64 m 3/2)) (+.f64 m (pow.f64 m 3/2)) m (pow.f64 (exp.f64 m) (-.f64 (/.f64 (-.f64 1 m) (/.f64 v m)) 1)) (pow.f64 (exp.f64 m) (-.f64 (/.f64 (-.f64 1 m) (/.f64 v m)) 1)) (log.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) m)) (pow.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) m) 3) (*.f64 (cbrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) m)) (cbrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) m))) (cbrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) m)) (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) m)) (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) m)) (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) 3) (pow.f64 m 3)) (+.f64 (*.f64 m m) (*.f64 (/.f64 (pow.f64 m 3) (/.f64 v (-.f64 1 m))) (+.f64 1 (/.f64 (-.f64 1 m) (/.f64 v m))))) (neg.f64 m) (*.f64 m (-.f64 (/.f64 (/.f64 (pow.f64 m 3) (/.f64 v (-.f64 1 m))) (/.f64 v (-.f64 1 m))) m)) (+.f64 m (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m))) (+.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m))) (sqrt.f64 m)) (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m))) (sqrt.f64 m)) (-.f64 (/.f64 (-.f64 1 m) (/.f64 v m)) 1) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) m) (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) (*.f64 m (-.f64 1 m)) (*.f64 m (-.f64 1 m)) (*.f64 m (-.f64 1 m)) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) (/.f64 v m)) m) 1.724 * * * [progress]: adding candidates to table 1.782 * * [progress]: iteration 4 / 4 1.782 * * * [progress]: picking best candidate 1.788 * * * * [pick]: Picked # 1.788 * * * [progress]: localizing error 1.795 * * * [progress]: generating rewritten candidates 1.795 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 1.806 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2) 1.813 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 1.828 * * * [progress]: generating series expansions 1.828 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 1.829 * [approximate]: Taking taylor expansion of (/ (* (- 1 m) (pow m 2)) v) in (m v) around 0 1.829 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) (pow m 2)) v) in v 1.829 * [taylor]: Taking taylor expansion of (* (- 1 m) (pow m 2)) in v 1.829 * [taylor]: Taking taylor expansion of (- 1 m) in v 1.829 * [taylor]: Taking taylor expansion of 1 in v 1.829 * [taylor]: Taking taylor expansion of m in v 1.829 * [taylor]: Taking taylor expansion of (pow m 2) in v 1.829 * [taylor]: Taking taylor expansion of m in v 1.829 * [taylor]: Taking taylor expansion of v in v 1.830 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) (pow m 2)) v) in m 1.830 * [taylor]: Taking taylor expansion of (* (- 1 m) (pow m 2)) in m 1.830 * [taylor]: Taking taylor expansion of (- 1 m) in m 1.830 * [taylor]: Taking taylor expansion of 1 in m 1.830 * [taylor]: Taking taylor expansion of m in m 1.830 * [taylor]: Taking taylor expansion of (pow m 2) in m 1.830 * [taylor]: Taking taylor expansion of m in m 1.830 * [taylor]: Taking taylor expansion of v in m 1.830 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) (pow m 2)) v) in m 1.830 * [taylor]: Taking taylor expansion of (* (- 1 m) (pow m 2)) in m 1.830 * [taylor]: Taking taylor expansion of (- 1 m) in m 1.830 * [taylor]: Taking taylor expansion of 1 in m 1.830 * [taylor]: Taking taylor expansion of m in m 1.830 * [taylor]: Taking taylor expansion of (pow m 2) in m 1.830 * [taylor]: Taking taylor expansion of m in m 1.830 * [taylor]: Taking taylor expansion of v in m 1.831 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.831 * [taylor]: Taking taylor expansion of v in v 1.832 * [taylor]: Taking taylor expansion of (neg (/ 1 v)) in v 1.832 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.832 * [taylor]: Taking taylor expansion of v in v 1.834 * [taylor]: Taking taylor expansion of 0 in v 1.836 * [taylor]: Taking taylor expansion of 0 in v 1.839 * [approximate]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) (pow m 2)) in (m v) around 0 1.839 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) (pow m 2)) in v 1.839 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in v 1.839 * [taylor]: Taking taylor expansion of v in v 1.839 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in v 1.839 * [taylor]: Taking taylor expansion of 1 in v 1.839 * [taylor]: Taking taylor expansion of (/ 1 m) in v 1.839 * [taylor]: Taking taylor expansion of m in v 1.839 * [taylor]: Taking taylor expansion of (pow m 2) in v 1.839 * [taylor]: Taking taylor expansion of m in v 1.841 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) (pow m 2)) in m 1.841 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in m 1.841 * [taylor]: Taking taylor expansion of v in m 1.841 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m 1.841 * [taylor]: Taking taylor expansion of 1 in m 1.841 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.841 * [taylor]: Taking taylor expansion of m in m 1.841 * [taylor]: Taking taylor expansion of (pow m 2) in m 1.841 * [taylor]: Taking taylor expansion of m in m 1.841 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) (pow m 2)) in m 1.841 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in m 1.841 * [taylor]: Taking taylor expansion of v in m 1.841 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m 1.841 * [taylor]: Taking taylor expansion of 1 in m 1.841 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.841 * [taylor]: Taking taylor expansion of m in m 1.841 * [taylor]: Taking taylor expansion of (pow m 2) in m 1.841 * [taylor]: Taking taylor expansion of m in m 1.842 * [taylor]: Taking taylor expansion of (* -1 v) in v 1.842 * [taylor]: Taking taylor expansion of -1 in v 1.842 * [taylor]: Taking taylor expansion of v in v 1.843 * [taylor]: Taking taylor expansion of v in v 1.845 * [taylor]: Taking taylor expansion of 0 in v 1.847 * [taylor]: Taking taylor expansion of 0 in v 1.850 * [approximate]: Taking taylor expansion of (* -1 (/ (* v (+ (/ 1 m) 1)) (pow m 2))) in (m v) around 0 1.850 * [taylor]: Taking taylor expansion of (* -1 (/ (* v (+ (/ 1 m) 1)) (pow m 2))) in v 1.850 * [taylor]: Taking taylor expansion of -1 in v 1.850 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) (pow m 2)) in v 1.850 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in v 1.850 * [taylor]: Taking taylor expansion of v in v 1.850 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in v 1.850 * [taylor]: Taking taylor expansion of (/ 1 m) in v 1.850 * [taylor]: Taking taylor expansion of m in v 1.850 * [taylor]: Taking taylor expansion of 1 in v 1.850 * [taylor]: Taking taylor expansion of (pow m 2) in v 1.850 * [taylor]: Taking taylor expansion of m in v 1.851 * [taylor]: Taking taylor expansion of (* -1 (/ (* v (+ (/ 1 m) 1)) (pow m 2))) in m 1.851 * [taylor]: Taking taylor expansion of -1 in m 1.851 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) (pow m 2)) in m 1.851 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in m 1.851 * [taylor]: Taking taylor expansion of v in m 1.851 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m 1.851 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.851 * [taylor]: Taking taylor expansion of m in m 1.851 * [taylor]: Taking taylor expansion of 1 in m 1.851 * [taylor]: Taking taylor expansion of (pow m 2) in m 1.851 * [taylor]: Taking taylor expansion of m in m 1.852 * [taylor]: Taking taylor expansion of (* -1 (/ (* v (+ (/ 1 m) 1)) (pow m 2))) in m 1.852 * [taylor]: Taking taylor expansion of -1 in m 1.852 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) (pow m 2)) in m 1.852 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in m 1.852 * [taylor]: Taking taylor expansion of v in m 1.852 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m 1.852 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.852 * [taylor]: Taking taylor expansion of m in m 1.852 * [taylor]: Taking taylor expansion of 1 in m 1.852 * [taylor]: Taking taylor expansion of (pow m 2) in m 1.852 * [taylor]: Taking taylor expansion of m in m 1.852 * [taylor]: Taking taylor expansion of (* -1 v) in v 1.852 * [taylor]: Taking taylor expansion of -1 in v 1.852 * [taylor]: Taking taylor expansion of v in v 1.854 * [taylor]: Taking taylor expansion of (neg v) in v 1.854 * [taylor]: Taking taylor expansion of v in v 1.856 * [taylor]: Taking taylor expansion of 0 in v 1.859 * [taylor]: Taking taylor expansion of 0 in v 1.860 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2) 1.860 * [approximate]: Taking taylor expansion of (* (- 1 m) m) in (m) around 0 1.861 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m 1.861 * [taylor]: Taking taylor expansion of (- 1 m) in m 1.861 * [taylor]: Taking taylor expansion of 1 in m 1.861 * [taylor]: Taking taylor expansion of m in m 1.861 * [taylor]: Taking taylor expansion of m in m 1.861 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m 1.861 * [taylor]: Taking taylor expansion of (- 1 m) in m 1.861 * [taylor]: Taking taylor expansion of 1 in m 1.861 * [taylor]: Taking taylor expansion of m in m 1.861 * [taylor]: Taking taylor expansion of m in m 1.867 * [approximate]: Taking taylor expansion of (/ (- 1 (/ 1 m)) m) in (m) around 0 1.867 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 m)) m) in m 1.867 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m 1.867 * [taylor]: Taking taylor expansion of 1 in m 1.867 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.867 * [taylor]: Taking taylor expansion of m in m 1.868 * [taylor]: Taking taylor expansion of m in m 1.868 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 m)) m) in m 1.868 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m 1.868 * [taylor]: Taking taylor expansion of 1 in m 1.868 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.868 * [taylor]: Taking taylor expansion of m in m 1.868 * [taylor]: Taking taylor expansion of m in m 1.877 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) m)) in (m) around 0 1.877 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) m)) in m 1.877 * [taylor]: Taking taylor expansion of -1 in m 1.877 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1) m) in m 1.877 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m 1.877 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.877 * [taylor]: Taking taylor expansion of m in m 1.877 * [taylor]: Taking taylor expansion of 1 in m 1.877 * [taylor]: Taking taylor expansion of m in m 1.877 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) m)) in m 1.877 * [taylor]: Taking taylor expansion of -1 in m 1.877 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1) m) in m 1.877 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m 1.877 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.877 * [taylor]: Taking taylor expansion of m in m 1.877 * [taylor]: Taking taylor expansion of 1 in m 1.877 * [taylor]: Taking taylor expansion of m in m 1.889 * * * * [progress]: [ 3 / 3 ] generating series at (2) 1.889 * [approximate]: Taking taylor expansion of (- (/ (pow m 2) v) (+ m (/ (pow m 3) v))) in (m v) around 0 1.889 * [taylor]: Taking taylor expansion of (- (/ (pow m 2) v) (+ m (/ (pow m 3) v))) in v 1.889 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v 1.889 * [taylor]: Taking taylor expansion of (pow m 2) in v 1.889 * [taylor]: Taking taylor expansion of m in v 1.889 * [taylor]: Taking taylor expansion of v in v 1.890 * [taylor]: Taking taylor expansion of (+ m (/ (pow m 3) v)) in v 1.890 * [taylor]: Taking taylor expansion of m in v 1.890 * [taylor]: Taking taylor expansion of (/ (pow m 3) v) in v 1.890 * [taylor]: Taking taylor expansion of (pow m 3) in v 1.890 * [taylor]: Taking taylor expansion of m in v 1.890 * [taylor]: Taking taylor expansion of v in v 1.890 * [taylor]: Taking taylor expansion of (- (/ (pow m 2) v) (+ m (/ (pow m 3) v))) in m 1.890 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m 1.890 * [taylor]: Taking taylor expansion of (pow m 2) in m 1.890 * [taylor]: Taking taylor expansion of m in m 1.890 * [taylor]: Taking taylor expansion of v in m 1.890 * [taylor]: Taking taylor expansion of (+ m (/ (pow m 3) v)) in m 1.890 * [taylor]: Taking taylor expansion of m in m 1.890 * [taylor]: Taking taylor expansion of (/ (pow m 3) v) in m 1.890 * [taylor]: Taking taylor expansion of (pow m 3) in m 1.890 * [taylor]: Taking taylor expansion of m in m 1.890 * [taylor]: Taking taylor expansion of v in m 1.891 * [taylor]: Taking taylor expansion of (- (/ (pow m 2) v) (+ m (/ (pow m 3) v))) in m 1.891 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m 1.891 * [taylor]: Taking taylor expansion of (pow m 2) in m 1.891 * [taylor]: Taking taylor expansion of m in m 1.891 * [taylor]: Taking taylor expansion of v in m 1.891 * [taylor]: Taking taylor expansion of (+ m (/ (pow m 3) v)) in m 1.891 * [taylor]: Taking taylor expansion of m in m 1.891 * [taylor]: Taking taylor expansion of (/ (pow m 3) v) in m 1.891 * [taylor]: Taking taylor expansion of (pow m 3) in m 1.891 * [taylor]: Taking taylor expansion of m in m 1.891 * [taylor]: Taking taylor expansion of v in m 1.891 * [taylor]: Taking taylor expansion of 0 in v 1.891 * [taylor]: Taking taylor expansion of -1 in v 1.892 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.892 * [taylor]: Taking taylor expansion of v in v 1.893 * [taylor]: Taking taylor expansion of (neg (/ 1 v)) in v 1.893 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.893 * [taylor]: Taking taylor expansion of v in v 1.895 * [approximate]: Taking taylor expansion of (- (/ v (pow m 2)) (+ (/ v (pow m 3)) (/ 1 m))) in (m v) around 0 1.895 * [taylor]: Taking taylor expansion of (- (/ v (pow m 2)) (+ (/ v (pow m 3)) (/ 1 m))) in v 1.895 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v 1.895 * [taylor]: Taking taylor expansion of v in v 1.895 * [taylor]: Taking taylor expansion of (pow m 2) in v 1.895 * [taylor]: Taking taylor expansion of m in v 1.895 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 3)) (/ 1 m)) in v 1.895 * [taylor]: Taking taylor expansion of (/ v (pow m 3)) in v 1.895 * [taylor]: Taking taylor expansion of v in v 1.895 * [taylor]: Taking taylor expansion of (pow m 3) in v 1.895 * [taylor]: Taking taylor expansion of m in v 1.895 * [taylor]: Taking taylor expansion of (/ 1 m) in v 1.896 * [taylor]: Taking taylor expansion of m in v 1.896 * [taylor]: Taking taylor expansion of (- (/ v (pow m 2)) (+ (/ v (pow m 3)) (/ 1 m))) in m 1.896 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m 1.896 * [taylor]: Taking taylor expansion of v in m 1.896 * [taylor]: Taking taylor expansion of (pow m 2) in m 1.896 * [taylor]: Taking taylor expansion of m in m 1.896 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 3)) (/ 1 m)) in m 1.896 * [taylor]: Taking taylor expansion of (/ v (pow m 3)) in m 1.896 * [taylor]: Taking taylor expansion of v in m 1.896 * [taylor]: Taking taylor expansion of (pow m 3) in m 1.896 * [taylor]: Taking taylor expansion of m in m 1.896 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.896 * [taylor]: Taking taylor expansion of m in m 1.896 * [taylor]: Taking taylor expansion of (- (/ v (pow m 2)) (+ (/ v (pow m 3)) (/ 1 m))) in m 1.896 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m 1.896 * [taylor]: Taking taylor expansion of v in m 1.896 * [taylor]: Taking taylor expansion of (pow m 2) in m 1.896 * [taylor]: Taking taylor expansion of m in m 1.896 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 3)) (/ 1 m)) in m 1.896 * [taylor]: Taking taylor expansion of (/ v (pow m 3)) in m 1.896 * [taylor]: Taking taylor expansion of v in m 1.896 * [taylor]: Taking taylor expansion of (pow m 3) in m 1.896 * [taylor]: Taking taylor expansion of m in m 1.897 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.897 * [taylor]: Taking taylor expansion of m in m 1.897 * [taylor]: Taking taylor expansion of (neg v) in v 1.897 * [taylor]: Taking taylor expansion of v in v 1.898 * [taylor]: Taking taylor expansion of v in v 1.899 * [taylor]: Taking taylor expansion of -1 in v 1.902 * [approximate]: Taking taylor expansion of (- (/ 1 m) (+ (/ v (pow m 2)) (/ v (pow m 3)))) in (m v) around 0 1.902 * [taylor]: Taking taylor expansion of (- (/ 1 m) (+ (/ v (pow m 2)) (/ v (pow m 3)))) in v 1.902 * [taylor]: Taking taylor expansion of (/ 1 m) in v 1.902 * [taylor]: Taking taylor expansion of m in v 1.902 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v (pow m 3))) in v 1.902 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v 1.902 * [taylor]: Taking taylor expansion of v in v 1.902 * [taylor]: Taking taylor expansion of (pow m 2) in v 1.902 * [taylor]: Taking taylor expansion of m in v 1.902 * [taylor]: Taking taylor expansion of (/ v (pow m 3)) in v 1.902 * [taylor]: Taking taylor expansion of v in v 1.902 * [taylor]: Taking taylor expansion of (pow m 3) in v 1.902 * [taylor]: Taking taylor expansion of m in v 1.903 * [taylor]: Taking taylor expansion of (- (/ 1 m) (+ (/ v (pow m 2)) (/ v (pow m 3)))) in m 1.903 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.903 * [taylor]: Taking taylor expansion of m in m 1.903 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v (pow m 3))) in m 1.903 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m 1.903 * [taylor]: Taking taylor expansion of v in m 1.903 * [taylor]: Taking taylor expansion of (pow m 2) in m 1.903 * [taylor]: Taking taylor expansion of m in m 1.903 * [taylor]: Taking taylor expansion of (/ v (pow m 3)) in m 1.903 * [taylor]: Taking taylor expansion of v in m 1.903 * [taylor]: Taking taylor expansion of (pow m 3) in m 1.903 * [taylor]: Taking taylor expansion of m in m 1.903 * [taylor]: Taking taylor expansion of (- (/ 1 m) (+ (/ v (pow m 2)) (/ v (pow m 3)))) in m 1.903 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.903 * [taylor]: Taking taylor expansion of m in m 1.903 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v (pow m 3))) in m 1.903 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m 1.903 * [taylor]: Taking taylor expansion of v in m 1.903 * [taylor]: Taking taylor expansion of (pow m 2) in m 1.903 * [taylor]: Taking taylor expansion of m in m 1.903 * [taylor]: Taking taylor expansion of (/ v (pow m 3)) in m 1.903 * [taylor]: Taking taylor expansion of v in m 1.903 * [taylor]: Taking taylor expansion of (pow m 3) in m 1.903 * [taylor]: Taking taylor expansion of m in m 1.904 * [taylor]: Taking taylor expansion of (neg v) in v 1.904 * [taylor]: Taking taylor expansion of v in v 1.905 * [taylor]: Taking taylor expansion of (neg v) in v 1.905 * [taylor]: Taking taylor expansion of v in v 1.906 * [taylor]: Taking taylor expansion of 1 in v 1.908 * * * [progress]: simplifying candidates 1.909 * [simplify]: Simplifying using # : (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) (+.f64 (-.f64 (log.f64 m) (log.f64 v)) (+.f64 (log.f64 m) (log.f64 (-.f64 1 m)))) (+.f64 (-.f64 (log.f64 m) (log.f64 v)) (log.f64 (*.f64 m (-.f64 1 m)))) (+.f64 (log.f64 (/.f64 m v)) (+.f64 (log.f64 m) (log.f64 (-.f64 1 m)))) (+.f64 (log.f64 (/.f64 m v)) (log.f64 (*.f64 m (-.f64 1 m)))) (exp.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m)))) (log.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m)))) (*.f64 (*.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m)))) (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m)))) (*.f64 (cbrt.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m)))) (cbrt.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))))) (cbrt.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m)))) (*.f64 (*.f64 (*.f64 (/.f64 m v) (/.f64 m v)) (/.f64 m v)) (*.f64 (*.f64 (*.f64 m (-.f64 1 m)) (*.f64 m (-.f64 1 m))) (*.f64 m (-.f64 1 m)))) (*.f64 (*.f64 (*.f64 (/.f64 m v) (/.f64 m v)) (/.f64 m v)) (*.f64 (*.f64 (*.f64 m m) m) (*.f64 (*.f64 (-.f64 1 m) (-.f64 1 m)) (-.f64 1 m)))) (*.f64 (/.f64 (*.f64 (*.f64 m m) m) (*.f64 (*.f64 v v) v)) (*.f64 (*.f64 (*.f64 m (-.f64 1 m)) (*.f64 m (-.f64 1 m))) (*.f64 m (-.f64 1 m)))) (*.f64 (/.f64 (*.f64 (*.f64 m m) m) (*.f64 (*.f64 v v) v)) (*.f64 (*.f64 (*.f64 m m) m) (*.f64 (*.f64 (-.f64 1 m) (-.f64 1 m)) (-.f64 1 m)))) (sqrt.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m)))) (sqrt.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m)))) (*.f64 m (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3)))) (*.f64 v (+.f64 (*.f64 1 1) (+.f64 (*.f64 m m) (*.f64 1 m)))) (*.f64 m (*.f64 m (-.f64 (*.f64 1 1) (*.f64 m m)))) (*.f64 v (+.f64 1 m)) (*.f64 (*.f64 1 m) (/.f64 m v)) (*.f64 (*.f64 (neg.f64 m) m) (/.f64 m v)) (*.f64 (*.f64 m 1) (/.f64 m v)) (*.f64 (*.f64 m (neg.f64 m)) (/.f64 m v)) (*.f64 (/.f64 m v) (*.f64 1 m)) (*.f64 (/.f64 m v) (*.f64 (neg.f64 m) m)) (*.f64 (/.f64 m v) (*.f64 m 1)) (*.f64 (/.f64 m v) (*.f64 m (neg.f64 m))) (*.f64 m (*.f64 m (-.f64 1 m))) (*.f64 (/.f64 m v) (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3)))) (*.f64 (/.f64 m v) (*.f64 m (-.f64 (*.f64 1 1) (*.f64 m m)))) (*.f64 (cbrt.f64 (/.f64 m v)) (*.f64 m (-.f64 1 m))) (*.f64 (sqrt.f64 (/.f64 m v)) (*.f64 m (-.f64 1 m))) (*.f64 (/.f64 (cbrt.f64 m) (cbrt.f64 v)) (*.f64 m (-.f64 1 m))) (*.f64 (/.f64 (cbrt.f64 m) (sqrt.f64 v)) (*.f64 m (-.f64 1 m))) (*.f64 (/.f64 (cbrt.f64 m) v) (*.f64 m (-.f64 1 m))) (*.f64 (/.f64 (sqrt.f64 m) (cbrt.f64 v)) (*.f64 m (-.f64 1 m))) (*.f64 (/.f64 (sqrt.f64 m) (sqrt.f64 v)) (*.f64 m (-.f64 1 m))) (*.f64 (/.f64 (sqrt.f64 m) v) (*.f64 m (-.f64 1 m))) (*.f64 (/.f64 m (cbrt.f64 v)) (*.f64 m (-.f64 1 m))) (*.f64 (/.f64 m (sqrt.f64 v)) (*.f64 m (-.f64 1 m))) (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) (*.f64 (/.f64 1 v) (*.f64 m (-.f64 1 m))) (*.f64 (/.f64 m v) m) (*.f64 m (-.f64 1 m)) (+.f64 (log.f64 m) (log.f64 (-.f64 1 m))) (exp.f64 (*.f64 m (-.f64 1 m))) (log.f64 (*.f64 m (-.f64 1 m))) (*.f64 (*.f64 (*.f64 m (-.f64 1 m)) (*.f64 m (-.f64 1 m))) (*.f64 m (-.f64 1 m))) (*.f64 (cbrt.f64 (*.f64 m (-.f64 1 m))) (cbrt.f64 (*.f64 m (-.f64 1 m)))) (cbrt.f64 (*.f64 m (-.f64 1 m))) (*.f64 (*.f64 (*.f64 m m) m) (*.f64 (*.f64 (-.f64 1 m) (-.f64 1 m)) (-.f64 1 m))) (sqrt.f64 (*.f64 m (-.f64 1 m))) (sqrt.f64 (*.f64 m (-.f64 1 m))) (*.f64 (sqrt.f64 m) (sqrt.f64 (-.f64 1 m))) (*.f64 (sqrt.f64 m) (sqrt.f64 (-.f64 1 m))) (*.f64 1 m) (*.f64 (neg.f64 m) m) (*.f64 m 1) (*.f64 m (neg.f64 m)) (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 m (-.f64 (*.f64 1 1) (*.f64 m m))) (*.f64 (cbrt.f64 m) (-.f64 1 m)) (*.f64 (sqrt.f64 m) (-.f64 1 m)) (*.f64 m (-.f64 1 m)) (*.f64 m (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m)))) (*.f64 m (sqrt.f64 (-.f64 1 m))) (*.f64 m 1) (*.f64 m (+.f64 (sqrt.f64 1) (sqrt.f64 m))) (*.f64 m (+.f64 1 (sqrt.f64 m))) (*.f64 m 1) (/.f64 (exp.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m)))) (exp.f64 m)) (exp.f64 (-.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) m)) (log.f64 (-.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) m)) (*.f64 (*.f64 (-.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) m) (-.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) m)) (-.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) m)) (*.f64 (cbrt.f64 (-.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) m)) (cbrt.f64 (-.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) m))) (cbrt.f64 (-.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) m)) (sqrt.f64 (-.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) m)) (sqrt.f64 (-.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) m)) (-.f64 (pow.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) 3) (pow.f64 m 3)) (+.f64 (*.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m)))) (+.f64 (*.f64 m m) (*.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) m))) (neg.f64 m) (-.f64 (*.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m)))) (*.f64 m m)) (+.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) m) (-.f64 (*.f64 (*.f64 (neg.f64 m) m) (/.f64 m v)) m) (-.f64 (*.f64 (*.f64 m (neg.f64 m)) (/.f64 m v)) m) (-.f64 (*.f64 (/.f64 m v) (*.f64 (neg.f64 m) m)) m) (-.f64 (*.f64 (/.f64 m v) (*.f64 m (neg.f64 m))) m) (-.f64 (/.f64 (pow.f64 m 2) v) (/.f64 (pow.f64 m 3) v)) (-.f64 (/.f64 (pow.f64 m 2) v) (/.f64 (pow.f64 m 3) v)) (-.f64 (/.f64 (pow.f64 m 2) v) (/.f64 (pow.f64 m 3) v)) (-.f64 m (pow.f64 m 2)) (-.f64 m (pow.f64 m 2)) (-.f64 m (pow.f64 m 2)) (-.f64 (/.f64 (pow.f64 m 2) v) (+.f64 m (/.f64 (pow.f64 m 3) v))) (-.f64 (/.f64 (pow.f64 m 2) v) (+.f64 m (/.f64 (pow.f64 m 3) v))) (-.f64 (/.f64 (pow.f64 m 2) v) (+.f64 m (/.f64 (pow.f64 m 3) v))) 1.975 * * [simplify]: iteration 0 : 5009 enodes (cost 1259 ) 1.981 * [simplify]: Simplified to: (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) (log.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m)))) (log.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m)))) (log.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m)))) (log.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m)))) (exp.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m)))) (log.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m)))) (pow.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) 3) (*.f64 (cbrt.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m)))) (cbrt.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))))) (cbrt.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m)))) (pow.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) 3) (pow.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) 3) (pow.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) 3) (pow.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) 3) (sqrt.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m)))) (sqrt.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m)))) (*.f64 m (+.f64 m (neg.f64 (pow.f64 m 4)))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))) (*.f64 m (-.f64 m (pow.f64 m 3))) (*.f64 v (+.f64 m 1)) (*.f64 m (/.f64 m v)) (/.f64 (neg.f64 (pow.f64 m 3)) v) (*.f64 m (/.f64 m v)) (/.f64 (neg.f64 (pow.f64 m 3)) v) (*.f64 m (/.f64 m v)) (/.f64 (neg.f64 (pow.f64 m 3)) v) (*.f64 m (/.f64 m v)) (/.f64 (neg.f64 (pow.f64 m 3)) v) (*.f64 m (*.f64 m (-.f64 1 m))) (*.f64 (/.f64 m v) (+.f64 m (neg.f64 (pow.f64 m 4)))) (*.f64 (/.f64 m v) (-.f64 m (pow.f64 m 3))) (*.f64 (*.f64 m (-.f64 1 m)) (cbrt.f64 (/.f64 m v))) (*.f64 (*.f64 m (-.f64 1 m)) (sqrt.f64 (/.f64 m v))) (*.f64 (*.f64 m (-.f64 1 m)) (/.f64 (cbrt.f64 m) (cbrt.f64 v))) (*.f64 (*.f64 m (-.f64 1 m)) (/.f64 (cbrt.f64 m) (sqrt.f64 v))) (*.f64 (*.f64 m (-.f64 1 m)) (/.f64 (cbrt.f64 m) v)) (*.f64 (-.f64 1 m) (/.f64 (pow.f64 m 3/2) (cbrt.f64 v))) (*.f64 (-.f64 1 m) (/.f64 (pow.f64 m 3/2) (sqrt.f64 v))) (*.f64 (-.f64 1 m) (/.f64 (pow.f64 m 3/2) v)) (*.f64 (*.f64 m (-.f64 1 m)) (/.f64 m (cbrt.f64 v))) (*.f64 (*.f64 m (-.f64 1 m)) (/.f64 m (sqrt.f64 v))) (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) (*.f64 (/.f64 m v) (-.f64 1 m)) (*.f64 m (/.f64 m v)) (*.f64 m (-.f64 1 m)) (log.f64 (*.f64 m (-.f64 1 m))) (exp.f64 (*.f64 m (-.f64 1 m))) (log.f64 (*.f64 m (-.f64 1 m))) (pow.f64 (*.f64 m (-.f64 1 m)) 3) (*.f64 (cbrt.f64 (*.f64 m (-.f64 1 m))) (cbrt.f64 (*.f64 m (-.f64 1 m)))) (cbrt.f64 (*.f64 m (-.f64 1 m))) (pow.f64 (*.f64 m (-.f64 1 m)) 3) (sqrt.f64 (*.f64 m (-.f64 1 m))) (sqrt.f64 (*.f64 m (-.f64 1 m))) (*.f64 (sqrt.f64 m) (sqrt.f64 (-.f64 1 m))) (*.f64 (sqrt.f64 m) (sqrt.f64 (-.f64 1 m))) m (*.f64 m (neg.f64 m)) m (*.f64 m (neg.f64 m)) (+.f64 m (neg.f64 (pow.f64 m 4))) (-.f64 m (pow.f64 m 3)) (*.f64 (-.f64 1 m) (cbrt.f64 m)) (*.f64 (-.f64 1 m) (sqrt.f64 m)) (*.f64 m (-.f64 1 m)) (*.f64 m (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m)))) (*.f64 m (sqrt.f64 (-.f64 1 m))) m (+.f64 m (pow.f64 m 3/2)) (+.f64 m (pow.f64 m 3/2)) m (pow.f64 (exp.f64 m) (-.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) 1)) (pow.f64 (exp.f64 m) (-.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) 1)) (log.f64 (-.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) m)) (pow.f64 (-.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) m) 3) (*.f64 (cbrt.f64 (-.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) m)) (cbrt.f64 (-.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) m))) (cbrt.f64 (-.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) m)) (sqrt.f64 (-.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) m)) (sqrt.f64 (-.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) m)) (-.f64 (pow.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) 3) (pow.f64 m 3)) (+.f64 (*.f64 m m) (*.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) (+.f64 m (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m)))))) (neg.f64 m) (*.f64 m (-.f64 (*.f64 (*.f64 (/.f64 (pow.f64 m 3) v) (/.f64 (-.f64 1 m) v)) (-.f64 1 m)) m)) (+.f64 m (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m)))) (-.f64 (neg.f64 m) (/.f64 (pow.f64 m 3) v)) (-.f64 (neg.f64 m) (/.f64 (pow.f64 m 3) v)) (-.f64 (neg.f64 m) (/.f64 (pow.f64 m 3) v)) (-.f64 (neg.f64 m) (/.f64 (pow.f64 m 3) v)) (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) (*.f64 m (-.f64 1 m)) (*.f64 m (-.f64 1 m)) (*.f64 m (-.f64 1 m)) (-.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) m) (-.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) m) (-.f64 (*.f64 (/.f64 m v) (*.f64 m (-.f64 1 m))) m) 1.982 * * * [progress]: adding candidates to table 2.032 * [progress]: [Phase 3 of 3] Extracting. 2.033 * * [regime]: Finding splitpoints for: (# # # # # #) 2.034 * * * [regime-changes]: Trying 3 branch expressions: ((*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m) v m) 2.034 * * * * [regimes]: Trying to branch on (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m) from (# # # # # #) 2.050 * * * * [regimes]: Trying to branch on v from (# # # # # #) 2.063 * * * * [regimes]: Trying to branch on m from (# # # # # #) 2.075 * * * [regime]: Found split indices: #