1.099 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.072 * * * [progress]: [2/2] Setting up program.
0.075 * [progress]: [Phase 2 of 3] Improving.
0.139 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m)
0.788 * * [simplify]: iteration  0 :  4945  enodes  (cost  16 )
0.788 * * [simplify]: iteration  1 :  4945  enodes  (cost  16 )
0.789 * [simplify]: Simplified to:
   (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))
0.793 * * [progress]: iteration 1 / 4
0.793 * * * [progress]: picking best candidate
0.794 * * * * [pick]: Picked  #<alt (λ (m v) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m))>
0.794 * * * [progress]: localizing error
0.803 * * * [progress]: generating rewritten candidates
0.803 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.817 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
0.825 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1)
0.835 * * * [progress]: generating series expansions
0.835 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.845 * [approximate]: Taking taylor expansion of (* m (- (/ m v) (+ 1 (/ (pow m 2) v)))) in (m v) around 0
0.846 * [taylor]: Taking taylor expansion of (* m (- (/ m v) (+ 1 (/ (pow m 2) v)))) in v
0.846 * [taylor]: Taking taylor expansion of m in v
0.846 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in v
0.846 * [taylor]: Taking taylor expansion of (/ m v) in v
0.846 * [taylor]: Taking taylor expansion of m in v
0.846 * [taylor]: Taking taylor expansion of v in v
0.847 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in v
0.847 * [taylor]: Taking taylor expansion of 1 in v
0.847 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v
0.847 * [taylor]: Taking taylor expansion of (pow m 2) in v
0.847 * [taylor]: Taking taylor expansion of m in v
0.847 * [taylor]: Taking taylor expansion of v in v
0.848 * [taylor]: Taking taylor expansion of (* m (- (/ m v) (+ 1 (/ (pow m 2) v)))) in m
0.848 * [taylor]: Taking taylor expansion of m in m
0.848 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in m
0.848 * [taylor]: Taking taylor expansion of (/ m v) in m
0.848 * [taylor]: Taking taylor expansion of m in m
0.848 * [taylor]: Taking taylor expansion of v in m
0.848 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in m
0.848 * [taylor]: Taking taylor expansion of 1 in m
0.848 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
0.848 * [taylor]: Taking taylor expansion of (pow m 2) in m
0.848 * [taylor]: Taking taylor expansion of m in m
0.848 * [taylor]: Taking taylor expansion of v in m
0.848 * [taylor]: Taking taylor expansion of (* m (- (/ m v) (+ 1 (/ (pow m 2) v)))) in m
0.848 * [taylor]: Taking taylor expansion of m in m
0.848 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in m
0.848 * [taylor]: Taking taylor expansion of (/ m v) in m
0.848 * [taylor]: Taking taylor expansion of m in m
0.848 * [taylor]: Taking taylor expansion of v in m
0.848 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in m
0.848 * [taylor]: Taking taylor expansion of 1 in m
0.848 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
0.848 * [taylor]: Taking taylor expansion of (pow m 2) in m
0.848 * [taylor]: Taking taylor expansion of m in m
0.848 * [taylor]: Taking taylor expansion of v in m
0.849 * [taylor]: Taking taylor expansion of 0 in v
0.850 * [taylor]: Taking taylor expansion of -1 in v
0.852 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.852 * [taylor]: Taking taylor expansion of v in v
0.854 * [taylor]: Taking taylor expansion of (neg (/ 1 v)) in v
0.854 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.854 * [taylor]: Taking taylor expansion of v in v
0.857 * [approximate]: Taking taylor expansion of (/ (- (/ v m) (+ (/ v (pow m 2)) 1)) m) in (m v) around 0
0.857 * [taylor]: Taking taylor expansion of (/ (- (/ v m) (+ (/ v (pow m 2)) 1)) m) in v
0.857 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in v
0.857 * [taylor]: Taking taylor expansion of (/ v m) in v
0.857 * [taylor]: Taking taylor expansion of v in v
0.857 * [taylor]: Taking taylor expansion of m in v
0.857 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in v
0.857 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
0.857 * [taylor]: Taking taylor expansion of v in v
0.857 * [taylor]: Taking taylor expansion of (pow m 2) in v
0.857 * [taylor]: Taking taylor expansion of m in v
0.857 * [taylor]: Taking taylor expansion of 1 in v
0.857 * [taylor]: Taking taylor expansion of m in v
0.858 * [taylor]: Taking taylor expansion of (/ (- (/ v m) (+ (/ v (pow m 2)) 1)) m) in m
0.858 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in m
0.858 * [taylor]: Taking taylor expansion of (/ v m) in m
0.858 * [taylor]: Taking taylor expansion of v in m
0.858 * [taylor]: Taking taylor expansion of m in m
0.858 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in m
0.858 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
0.858 * [taylor]: Taking taylor expansion of v in m
0.858 * [taylor]: Taking taylor expansion of (pow m 2) in m
0.858 * [taylor]: Taking taylor expansion of m in m
0.858 * [taylor]: Taking taylor expansion of 1 in m
0.858 * [taylor]: Taking taylor expansion of m in m
0.858 * [taylor]: Taking taylor expansion of (/ (- (/ v m) (+ (/ v (pow m 2)) 1)) m) in m
0.858 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in m
0.858 * [taylor]: Taking taylor expansion of (/ v m) in m
0.858 * [taylor]: Taking taylor expansion of v in m
0.858 * [taylor]: Taking taylor expansion of m in m
0.859 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in m
0.859 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
0.859 * [taylor]: Taking taylor expansion of v in m
0.859 * [taylor]: Taking taylor expansion of (pow m 2) in m
0.859 * [taylor]: Taking taylor expansion of m in m
0.859 * [taylor]: Taking taylor expansion of 1 in m
0.859 * [taylor]: Taking taylor expansion of m in m
0.859 * [taylor]: Taking taylor expansion of (* -1 v) in v
0.859 * [taylor]: Taking taylor expansion of -1 in v
0.859 * [taylor]: Taking taylor expansion of v in v
0.860 * [taylor]: Taking taylor expansion of v in v
0.862 * [taylor]: Taking taylor expansion of -1 in v
0.865 * [approximate]: Taking taylor expansion of (* -1 (/ (- (+ (/ v (pow m 2)) (/ v m)) 1) m)) in (m v) around 0
0.865 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ v (pow m 2)) (/ v m)) 1) m)) in v
0.865 * [taylor]: Taking taylor expansion of -1 in v
0.865 * [taylor]: Taking taylor expansion of (/ (- (+ (/ v (pow m 2)) (/ v m)) 1) m) in v
0.865 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in v
0.865 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in v
0.865 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
0.865 * [taylor]: Taking taylor expansion of v in v
0.865 * [taylor]: Taking taylor expansion of (pow m 2) in v
0.865 * [taylor]: Taking taylor expansion of m in v
0.865 * [taylor]: Taking taylor expansion of (/ v m) in v
0.866 * [taylor]: Taking taylor expansion of v in v
0.866 * [taylor]: Taking taylor expansion of m in v
0.866 * [taylor]: Taking taylor expansion of 1 in v
0.866 * [taylor]: Taking taylor expansion of m in v
0.866 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ v (pow m 2)) (/ v m)) 1) m)) in m
0.866 * [taylor]: Taking taylor expansion of -1 in m
0.866 * [taylor]: Taking taylor expansion of (/ (- (+ (/ v (pow m 2)) (/ v m)) 1) m) in m
0.866 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in m
0.866 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in m
0.866 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
0.866 * [taylor]: Taking taylor expansion of v in m
0.866 * [taylor]: Taking taylor expansion of (pow m 2) in m
0.866 * [taylor]: Taking taylor expansion of m in m
0.866 * [taylor]: Taking taylor expansion of (/ v m) in m
0.866 * [taylor]: Taking taylor expansion of v in m
0.866 * [taylor]: Taking taylor expansion of m in m
0.866 * [taylor]: Taking taylor expansion of 1 in m
0.866 * [taylor]: Taking taylor expansion of m in m
0.867 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ v (pow m 2)) (/ v m)) 1) m)) in m
0.867 * [taylor]: Taking taylor expansion of -1 in m
0.867 * [taylor]: Taking taylor expansion of (/ (- (+ (/ v (pow m 2)) (/ v m)) 1) m) in m
0.867 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in m
0.867 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in m
0.867 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
0.867 * [taylor]: Taking taylor expansion of v in m
0.867 * [taylor]: Taking taylor expansion of (pow m 2) in m
0.867 * [taylor]: Taking taylor expansion of m in m
0.867 * [taylor]: Taking taylor expansion of (/ v m) in m
0.867 * [taylor]: Taking taylor expansion of v in m
0.867 * [taylor]: Taking taylor expansion of m in m
0.867 * [taylor]: Taking taylor expansion of 1 in m
0.867 * [taylor]: Taking taylor expansion of m in m
0.867 * [taylor]: Taking taylor expansion of (* -1 v) in v
0.867 * [taylor]: Taking taylor expansion of -1 in v
0.867 * [taylor]: Taking taylor expansion of v in v
0.868 * [taylor]: Taking taylor expansion of (neg v) in v
0.868 * [taylor]: Taking taylor expansion of v in v
0.871 * [taylor]: Taking taylor expansion of 1 in v
0.872 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
0.873 * [approximate]: Taking taylor expansion of (/ (* (- 1 m) m) v) in (m v) around 0
0.873 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) m) v) in v
0.873 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in v
0.873 * [taylor]: Taking taylor expansion of (- 1 m) in v
0.873 * [taylor]: Taking taylor expansion of 1 in v
0.873 * [taylor]: Taking taylor expansion of m in v
0.873 * [taylor]: Taking taylor expansion of m in v
0.873 * [taylor]: Taking taylor expansion of v in v
0.874 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) m) v) in m
0.874 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m
0.874 * [taylor]: Taking taylor expansion of (- 1 m) in m
0.874 * [taylor]: Taking taylor expansion of 1 in m
0.874 * [taylor]: Taking taylor expansion of m 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 m) m) v) in m
0.874 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m
0.874 * [taylor]: Taking taylor expansion of (- 1 m) in m
0.874 * [taylor]: Taking taylor expansion of 1 in m
0.874 * [taylor]: Taking taylor expansion of m 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 (/ 1 v) in v
0.875 * [taylor]: Taking taylor expansion of v in v
0.876 * [taylor]: Taking taylor expansion of (neg (/ 1 v)) in v
0.876 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.876 * [taylor]: Taking taylor expansion of v in v
0.878 * [taylor]: Taking taylor expansion of 0 in v
0.880 * [taylor]: Taking taylor expansion of 0 in v
0.882 * [approximate]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in (m v) around 0
0.882 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in v
0.882 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in v
0.882 * [taylor]: Taking taylor expansion of v in v
0.882 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in v
0.882 * [taylor]: Taking taylor expansion of 1 in v
0.882 * [taylor]: Taking taylor expansion of (/ 1 m) in v
0.882 * [taylor]: Taking taylor expansion of m in v
0.882 * [taylor]: Taking taylor expansion of m in v
0.884 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in m
0.884 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in m
0.884 * [taylor]: Taking taylor expansion of v in m
0.884 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m
0.884 * [taylor]: Taking taylor expansion of 1 in m
0.884 * [taylor]: Taking taylor expansion of (/ 1 m) in m
0.884 * [taylor]: Taking taylor expansion of m in m
0.884 * [taylor]: Taking taylor expansion of m in m
0.885 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in m
0.885 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in m
0.885 * [taylor]: Taking taylor expansion of v in m
0.885 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m
0.885 * [taylor]: Taking taylor expansion of 1 in m
0.885 * [taylor]: Taking taylor expansion of (/ 1 m) in m
0.885 * [taylor]: Taking taylor expansion of m 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 0 in v
0.890 * [taylor]: Taking taylor expansion of 0 in v
0.892 * [approximate]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in (m v) around 0
0.892 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in v
0.892 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in v
0.892 * [taylor]: Taking taylor expansion of v in v
0.892 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in v
0.892 * [taylor]: Taking taylor expansion of (/ 1 m) 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.893 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in m
0.893 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in m
0.893 * [taylor]: Taking taylor expansion of v in m
0.893 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m
0.893 * [taylor]: Taking taylor expansion of (/ 1 m) 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.894 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in m
0.894 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in m
0.894 * [taylor]: Taking taylor expansion of v in m
0.894 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m
0.894 * [taylor]: Taking taylor expansion of (/ 1 m) in m
0.894 * [taylor]: Taking taylor expansion of m in m
0.894 * [taylor]: Taking taylor expansion of 1 in m
0.894 * [taylor]: Taking taylor expansion of m in m
0.894 * [taylor]: Taking taylor expansion of v in v
0.895 * [taylor]: Taking taylor expansion of v in v
0.896 * [taylor]: Taking taylor expansion of 0 in v
0.898 * [taylor]: Taking taylor expansion of 0 in v
0.899 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1)
0.899 * [approximate]: Taking taylor expansion of (* (- 1 m) m) in (m) around 0
0.899 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m
0.899 * [taylor]: Taking taylor expansion of (- 1 m) in m
0.899 * [taylor]: Taking taylor expansion of 1 in m
0.899 * [taylor]: Taking taylor expansion of m in m
0.899 * [taylor]: Taking taylor expansion of m in m
0.899 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m
0.899 * [taylor]: Taking taylor expansion of (- 1 m) in m
0.899 * [taylor]: Taking taylor expansion of 1 in m
0.899 * [taylor]: Taking taylor expansion of m in m
0.899 * [taylor]: Taking taylor expansion of m in m
0.906 * [approximate]: Taking taylor expansion of (/ (- 1 (/ 1 m)) m) in (m) around 0
0.906 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 m)) m) in m
0.906 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m
0.906 * [taylor]: Taking taylor expansion of 1 in m
0.906 * [taylor]: Taking taylor expansion of (/ 1 m) in m
0.906 * [taylor]: Taking taylor expansion of m in m
0.906 * [taylor]: Taking taylor expansion of m in m
0.906 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 m)) m) in m
0.906 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m
0.906 * [taylor]: Taking taylor expansion of 1 in m
0.906 * [taylor]: Taking taylor expansion of (/ 1 m) in m
0.906 * [taylor]: Taking taylor expansion of m in m
0.907 * [taylor]: Taking taylor expansion of m in m
0.917 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) m)) in (m) around 0
0.918 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) m)) in m
0.918 * [taylor]: Taking taylor expansion of -1 in m
0.918 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1) m) in m
0.918 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m
0.918 * [taylor]: Taking taylor expansion of (/ 1 m) in m
0.918 * [taylor]: Taking taylor expansion of m in m
0.918 * [taylor]: Taking taylor expansion of 1 in m
0.918 * [taylor]: Taking taylor expansion of m in m
0.918 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) m)) in m
0.918 * [taylor]: Taking taylor expansion of -1 in m
0.918 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1) m) in m
0.918 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m
0.918 * [taylor]: Taking taylor expansion of (/ 1 m) in m
0.918 * [taylor]: Taking taylor expansion of m in m
0.918 * [taylor]: Taking taylor expansion of 1 in m
0.918 * [taylor]: Taking taylor expansion of m in m
0.931 * * * [progress]: simplifying candidates
0.932 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.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.003 * * [simplify]: iteration  0 :  5285  enodes  (cost  1058 )
1.009 * [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.010 * * * [progress]: adding candidates to table
1.077 * * [progress]: iteration 2 / 4
1.077 * * * [progress]: picking best candidate
1.089 * * * * [pick]: Picked  #<alt (λ (m v) (*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) m))>
1.089 * * * [progress]: localizing error
1.096 * * * [progress]: generating rewritten candidates
1.096 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
1.110 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
1.121 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 2)
1.131 * * * [progress]: generating series expansions
1.131 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
1.132 * [approximate]: Taking taylor expansion of (/ (* (- 1 m) m) v) in (m v) around 0
1.132 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) m) v) in v
1.132 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in v
1.132 * [taylor]: Taking taylor expansion of (- 1 m) in v
1.132 * [taylor]: Taking taylor expansion of 1 in v
1.132 * [taylor]: Taking taylor expansion of m in v
1.132 * [taylor]: Taking taylor expansion of m in v
1.132 * [taylor]: Taking taylor expansion of v in v
1.133 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) m) v) in m
1.133 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m
1.133 * [taylor]: Taking taylor expansion of (- 1 m) in m
1.133 * [taylor]: Taking taylor expansion of 1 in m
1.133 * [taylor]: Taking taylor expansion of m in m
1.133 * [taylor]: Taking taylor expansion of m in m
1.133 * [taylor]: Taking taylor expansion of v in m
1.133 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) m) v) in m
1.133 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m
1.133 * [taylor]: Taking taylor expansion of (- 1 m) in m
1.133 * [taylor]: Taking taylor expansion of 1 in m
1.133 * [taylor]: Taking taylor expansion of m in m
1.133 * [taylor]: Taking taylor expansion of m in m
1.133 * [taylor]: Taking taylor expansion of v in m
1.134 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.134 * [taylor]: Taking taylor expansion of v in v
1.135 * [taylor]: Taking taylor expansion of (neg (/ 1 v)) in v
1.135 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.135 * [taylor]: Taking taylor expansion of v in v
1.137 * [taylor]: Taking taylor expansion of 0 in v
1.139 * [taylor]: Taking taylor expansion of 0 in v
1.141 * [approximate]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in (m v) around 0
1.141 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in v
1.141 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in v
1.141 * [taylor]: Taking taylor expansion of v in v
1.141 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in v
1.141 * [taylor]: Taking taylor expansion of 1 in v
1.141 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.141 * [taylor]: Taking taylor expansion of m in v
1.141 * [taylor]: Taking taylor expansion of m in v
1.143 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in m
1.143 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in m
1.143 * [taylor]: Taking taylor expansion of v in m
1.143 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m
1.143 * [taylor]: Taking taylor expansion of 1 in m
1.143 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.143 * [taylor]: Taking taylor expansion of m in m
1.143 * [taylor]: Taking taylor expansion of m in m
1.144 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in m
1.144 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in m
1.144 * [taylor]: Taking taylor expansion of v in m
1.144 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m
1.144 * [taylor]: Taking taylor expansion of 1 in m
1.144 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.144 * [taylor]: Taking taylor expansion of m in m
1.144 * [taylor]: Taking taylor expansion of m in m
1.144 * [taylor]: Taking taylor expansion of (* -1 v) in v
1.144 * [taylor]: Taking taylor expansion of -1 in v
1.144 * [taylor]: Taking taylor expansion of v in v
1.145 * [taylor]: Taking taylor expansion of v in v
1.147 * [taylor]: Taking taylor expansion of 0 in v
1.149 * [taylor]: Taking taylor expansion of 0 in v
1.151 * [approximate]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in (m v) around 0
1.151 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in v
1.151 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in v
1.151 * [taylor]: Taking taylor expansion of v in v
1.151 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in v
1.151 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.151 * [taylor]: Taking taylor expansion of m in v
1.151 * [taylor]: Taking taylor expansion of 1 in v
1.151 * [taylor]: Taking taylor expansion of m in v
1.152 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in m
1.152 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in m
1.152 * [taylor]: Taking taylor expansion of v in m
1.152 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m
1.152 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.152 * [taylor]: Taking taylor expansion of m in m
1.152 * [taylor]: Taking taylor expansion of 1 in m
1.152 * [taylor]: Taking taylor expansion of m in m
1.152 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in m
1.152 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in m
1.152 * [taylor]: Taking taylor expansion of v in m
1.152 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m
1.152 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.152 * [taylor]: Taking taylor expansion of m in m
1.153 * [taylor]: Taking taylor expansion of 1 in m
1.153 * [taylor]: Taking taylor expansion of m in m
1.153 * [taylor]: Taking taylor expansion of v in v
1.154 * [taylor]: Taking taylor expansion of v in v
1.155 * [taylor]: Taking taylor expansion of 0 in v
1.156 * [taylor]: Taking taylor expansion of 0 in v
1.158 * * * * [progress]: [ 2 / 3 ] generating series at (2)
1.158 * [approximate]: Taking taylor expansion of (* m (- (/ m v) (+ 1 (/ (pow m 2) v)))) in (m v) around 0
1.158 * [taylor]: Taking taylor expansion of (* m (- (/ m v) (+ 1 (/ (pow m 2) v)))) in v
1.158 * [taylor]: Taking taylor expansion of m in v
1.158 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in v
1.158 * [taylor]: Taking taylor expansion of (/ m v) in v
1.158 * [taylor]: Taking taylor expansion of m in v
1.158 * [taylor]: Taking taylor expansion of v in v
1.159 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in v
1.159 * [taylor]: Taking taylor expansion of 1 in v
1.159 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v
1.159 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.159 * [taylor]: Taking taylor expansion of m in v
1.159 * [taylor]: Taking taylor expansion of v in v
1.159 * [taylor]: Taking taylor expansion of (* m (- (/ m v) (+ 1 (/ (pow m 2) v)))) in m
1.159 * [taylor]: Taking taylor expansion of m in m
1.159 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in m
1.159 * [taylor]: Taking taylor expansion of (/ m v) in m
1.159 * [taylor]: Taking taylor expansion of m in m
1.159 * [taylor]: Taking taylor expansion of v in m
1.159 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in m
1.159 * [taylor]: Taking taylor expansion of 1 in m
1.159 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
1.159 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.159 * [taylor]: Taking taylor expansion of m in m
1.159 * [taylor]: Taking taylor expansion of v in m
1.159 * [taylor]: Taking taylor expansion of (* m (- (/ m v) (+ 1 (/ (pow m 2) v)))) in m
1.159 * [taylor]: Taking taylor expansion of m in m
1.159 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in m
1.159 * [taylor]: Taking taylor expansion of (/ m v) in m
1.159 * [taylor]: Taking taylor expansion of m in m
1.159 * [taylor]: Taking taylor expansion of v in m
1.159 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in m
1.159 * [taylor]: Taking taylor expansion of 1 in m
1.159 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
1.160 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.160 * [taylor]: Taking taylor expansion of m in m
1.160 * [taylor]: Taking taylor expansion of v in m
1.160 * [taylor]: Taking taylor expansion of 0 in v
1.160 * [taylor]: Taking taylor expansion of -1 in v
1.162 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.162 * [taylor]: Taking taylor expansion of v in v
1.164 * [taylor]: Taking taylor expansion of (neg (/ 1 v)) in v
1.164 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.164 * [taylor]: Taking taylor expansion of v in v
1.166 * [approximate]: Taking taylor expansion of (/ (- (/ v m) (+ (/ v (pow m 2)) 1)) m) in (m v) around 0
1.166 * [taylor]: Taking taylor expansion of (/ (- (/ v m) (+ (/ v (pow m 2)) 1)) m) in v
1.166 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in v
1.166 * [taylor]: Taking taylor expansion of (/ v m) in v
1.166 * [taylor]: Taking taylor expansion of v in v
1.166 * [taylor]: Taking taylor expansion of m in v
1.167 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in v
1.167 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
1.167 * [taylor]: Taking taylor expansion of v in v
1.167 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.167 * [taylor]: Taking taylor expansion of m in v
1.167 * [taylor]: Taking taylor expansion of 1 in v
1.167 * [taylor]: Taking taylor expansion of m in v
1.167 * [taylor]: Taking taylor expansion of (/ (- (/ v m) (+ (/ v (pow m 2)) 1)) m) in m
1.167 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in m
1.167 * [taylor]: Taking taylor expansion of (/ v m) in m
1.167 * [taylor]: Taking taylor expansion of v in m
1.167 * [taylor]: Taking taylor expansion of m in m
1.167 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in m
1.167 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.167 * [taylor]: Taking taylor expansion of v in m
1.167 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.167 * [taylor]: Taking taylor expansion of m in m
1.168 * [taylor]: Taking taylor expansion of 1 in m
1.168 * [taylor]: Taking taylor expansion of m in m
1.168 * [taylor]: Taking taylor expansion of (/ (- (/ v m) (+ (/ v (pow m 2)) 1)) m) in m
1.168 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in m
1.168 * [taylor]: Taking taylor expansion of (/ v m) in m
1.168 * [taylor]: Taking taylor expansion of v in m
1.168 * [taylor]: Taking taylor expansion of m in m
1.168 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in m
1.168 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.168 * [taylor]: Taking taylor expansion of v in m
1.168 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.168 * [taylor]: Taking taylor expansion of m in m
1.168 * [taylor]: Taking taylor expansion of 1 in m
1.168 * [taylor]: Taking taylor expansion of m in m
1.169 * [taylor]: Taking taylor expansion of (* -1 v) in v
1.169 * [taylor]: Taking taylor expansion of -1 in v
1.169 * [taylor]: Taking taylor expansion of v in v
1.170 * [taylor]: Taking taylor expansion of v in v
1.172 * [taylor]: Taking taylor expansion of -1 in v
1.175 * [approximate]: Taking taylor expansion of (* -1 (/ (- (+ (/ v (pow m 2)) (/ v m)) 1) m)) in (m v) around 0
1.175 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ v (pow m 2)) (/ v m)) 1) m)) in v
1.175 * [taylor]: Taking taylor expansion of -1 in v
1.175 * [taylor]: Taking taylor expansion of (/ (- (+ (/ v (pow m 2)) (/ v m)) 1) m) in v
1.175 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in v
1.175 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in v
1.175 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
1.175 * [taylor]: Taking taylor expansion of v in v
1.175 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.175 * [taylor]: Taking taylor expansion of m in v
1.175 * [taylor]: Taking taylor expansion of (/ v m) in v
1.175 * [taylor]: Taking taylor expansion of v in v
1.175 * [taylor]: Taking taylor expansion of m in v
1.175 * [taylor]: Taking taylor expansion of 1 in v
1.175 * [taylor]: Taking taylor expansion of m in v
1.175 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ v (pow m 2)) (/ v m)) 1) m)) in m
1.175 * [taylor]: Taking taylor expansion of -1 in m
1.175 * [taylor]: Taking taylor expansion of (/ (- (+ (/ v (pow m 2)) (/ v m)) 1) m) in m
1.175 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in m
1.175 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in m
1.175 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.175 * [taylor]: Taking taylor expansion of v in m
1.175 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.175 * [taylor]: Taking taylor expansion of m in m
1.176 * [taylor]: Taking taylor expansion of (/ v m) in m
1.176 * [taylor]: Taking taylor expansion of v in m
1.176 * [taylor]: Taking taylor expansion of m in m
1.176 * [taylor]: Taking taylor expansion of 1 in m
1.176 * [taylor]: Taking taylor expansion of m in m
1.176 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ v (pow m 2)) (/ v m)) 1) m)) in m
1.176 * [taylor]: Taking taylor expansion of -1 in m
1.176 * [taylor]: Taking taylor expansion of (/ (- (+ (/ v (pow m 2)) (/ v m)) 1) m) in m
1.176 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in m
1.176 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in m
1.176 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.176 * [taylor]: Taking taylor expansion of v in m
1.176 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.176 * [taylor]: Taking taylor expansion of m in m
1.176 * [taylor]: Taking taylor expansion of (/ v m) in m
1.176 * [taylor]: Taking taylor expansion of v in m
1.176 * [taylor]: Taking taylor expansion of m in m
1.176 * [taylor]: Taking taylor expansion of 1 in m
1.176 * [taylor]: Taking taylor expansion of m in m
1.177 * [taylor]: Taking taylor expansion of (* -1 v) in v
1.177 * [taylor]: Taking taylor expansion of -1 in v
1.177 * [taylor]: Taking taylor expansion of v in v
1.178 * [taylor]: Taking taylor expansion of (neg v) in v
1.178 * [taylor]: Taking taylor expansion of v in v
1.180 * [taylor]: Taking taylor expansion of 1 in v
1.182 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 2)
1.182 * [approximate]: Taking taylor expansion of (/ (- 1 m) v) in (m v) around 0
1.182 * [taylor]: Taking taylor expansion of (/ (- 1 m) v) in v
1.182 * [taylor]: Taking taylor expansion of (- 1 m) in v
1.182 * [taylor]: Taking taylor expansion of 1 in v
1.182 * [taylor]: Taking taylor expansion of m in v
1.182 * [taylor]: Taking taylor expansion of v in v
1.183 * [taylor]: Taking taylor expansion of (/ (- 1 m) v) in m
1.183 * [taylor]: Taking taylor expansion of (- 1 m) in m
1.183 * [taylor]: Taking taylor expansion of 1 in m
1.183 * [taylor]: Taking taylor expansion of m in m
1.183 * [taylor]: Taking taylor expansion of v in m
1.183 * [taylor]: Taking taylor expansion of (/ (- 1 m) v) in m
1.183 * [taylor]: Taking taylor expansion of (- 1 m) in m
1.183 * [taylor]: Taking taylor expansion of 1 in m
1.183 * [taylor]: Taking taylor expansion of m in m
1.183 * [taylor]: Taking taylor expansion of v in m
1.183 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.183 * [taylor]: Taking taylor expansion of v in v
1.184 * [taylor]: Taking taylor expansion of (neg (/ 1 v)) in v
1.184 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.184 * [taylor]: Taking taylor expansion of v in v
1.185 * [taylor]: Taking taylor expansion of 0 in v
1.187 * [taylor]: Taking taylor expansion of 0 in v
1.189 * [approximate]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in (m v) around 0
1.189 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in v
1.189 * [taylor]: Taking taylor expansion of v in v
1.189 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in v
1.189 * [taylor]: Taking taylor expansion of 1 in v
1.189 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.189 * [taylor]: Taking taylor expansion of m in v
1.189 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in m
1.189 * [taylor]: Taking taylor expansion of v in m
1.189 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m
1.189 * [taylor]: Taking taylor expansion of 1 in m
1.189 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.189 * [taylor]: Taking taylor expansion of m in m
1.189 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in m
1.189 * [taylor]: Taking taylor expansion of v in m
1.189 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m
1.189 * [taylor]: Taking taylor expansion of 1 in m
1.189 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.189 * [taylor]: Taking taylor expansion of m in m
1.190 * [taylor]: Taking taylor expansion of (* -1 v) in v
1.190 * [taylor]: Taking taylor expansion of -1 in v
1.190 * [taylor]: Taking taylor expansion of v in v
1.190 * [taylor]: Taking taylor expansion of v in v
1.191 * [taylor]: Taking taylor expansion of 0 in v
1.193 * [taylor]: Taking taylor expansion of 0 in v
1.194 * [taylor]: Taking taylor expansion of 0 in v
1.196 * [approximate]: Taking taylor expansion of (* -1 (* v (+ (/ 1 m) 1))) in (m v) around 0
1.196 * [taylor]: Taking taylor expansion of (* -1 (* v (+ (/ 1 m) 1))) in v
1.196 * [taylor]: Taking taylor expansion of -1 in v
1.196 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in v
1.196 * [taylor]: Taking taylor expansion of v in v
1.196 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in v
1.196 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.196 * [taylor]: Taking taylor expansion of m in v
1.196 * [taylor]: Taking taylor expansion of 1 in v
1.196 * [taylor]: Taking taylor expansion of (* -1 (* v (+ (/ 1 m) 1))) in m
1.196 * [taylor]: Taking taylor expansion of -1 in m
1.196 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in m
1.196 * [taylor]: Taking taylor expansion of v in m
1.196 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m
1.196 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.196 * [taylor]: Taking taylor expansion of m in m
1.196 * [taylor]: Taking taylor expansion of 1 in m
1.196 * [taylor]: Taking taylor expansion of (* -1 (* v (+ (/ 1 m) 1))) in m
1.196 * [taylor]: Taking taylor expansion of -1 in m
1.196 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in m
1.196 * [taylor]: Taking taylor expansion of v in m
1.196 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m
1.196 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.196 * [taylor]: Taking taylor expansion of m in m
1.196 * [taylor]: Taking taylor expansion of 1 in m
1.196 * [taylor]: Taking taylor expansion of (* -1 v) in v
1.196 * [taylor]: Taking taylor expansion of -1 in v
1.196 * [taylor]: Taking taylor expansion of v in v
1.197 * [taylor]: Taking taylor expansion of (neg v) in v
1.197 * [taylor]: Taking taylor expansion of v in v
1.198 * [taylor]: Taking taylor expansion of 0 in v
1.200 * [taylor]: Taking taylor expansion of 0 in v
1.202 * [taylor]: Taking taylor expansion of 0 in v
1.203 * * * [progress]: simplifying candidates
1.204 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 m (/.f64 (-.f64 1 m) v))
  (+.f64 (log.f64 m) (-.f64 (log.f64 (-.f64 1 m)) (log.f64 v)))
  (+.f64 (log.f64 m) (log.f64 (/.f64 (-.f64 1 m) v)))
  (exp.f64 (*.f64 m (/.f64 (-.f64 1 m) v)))
  (log.f64 (*.f64 m (/.f64 (-.f64 1 m) v)))
  (*.f64 (*.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) (*.f64 m (/.f64 (-.f64 1 m) v))) (*.f64 m (/.f64 (-.f64 1 m) v)))
  (*.f64 (cbrt.f64 (*.f64 m (/.f64 (-.f64 1 m) v))) (cbrt.f64 (*.f64 m (/.f64 (-.f64 1 m) v))))
  (cbrt.f64 (*.f64 m (/.f64 (-.f64 1 m) v)))
  (*.f64 (*.f64 (*.f64 m m) m) (*.f64 (*.f64 (/.f64 (-.f64 1 m) v) (/.f64 (-.f64 1 m) v)) (/.f64 (-.f64 1 m) v)))
  (*.f64 (*.f64 (*.f64 m m) m) (/.f64 (*.f64 (*.f64 (-.f64 1 m) (-.f64 1 m)) (-.f64 1 m)) (*.f64 (*.f64 v v) v)))
  (sqrt.f64 (*.f64 m (/.f64 (-.f64 1 m) v)))
  (sqrt.f64 (*.f64 m (/.f64 (-.f64 1 m) v)))
  (*.f64 (sqrt.f64 m) (sqrt.f64 (/.f64 (-.f64 1 m) v)))
  (*.f64 (sqrt.f64 m) (sqrt.f64 (/.f64 (-.f64 1 m) v)))
  (*.f64 (sqrt.f64 m) (/.f64 (sqrt.f64 (-.f64 1 m)) (sqrt.f64 v)))
  (*.f64 (sqrt.f64 m) (/.f64 (sqrt.f64 (-.f64 1 m)) (sqrt.f64 v)))
  (*.f64 m (-.f64 1 m))
  (*.f64 (cbrt.f64 m) (/.f64 (-.f64 1 m) v))
  (*.f64 (sqrt.f64 m) (/.f64 (-.f64 1 m) v))
  (*.f64 m (/.f64 (-.f64 1 m) v))
  (*.f64 m (*.f64 (cbrt.f64 (/.f64 (-.f64 1 m) v)) (cbrt.f64 (/.f64 (-.f64 1 m) v))))
  (*.f64 m (sqrt.f64 (/.f64 (-.f64 1 m) v)))
  (*.f64 m (/.f64 (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m))) (*.f64 (cbrt.f64 v) (cbrt.f64 v))))
  (*.f64 m (/.f64 (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m))) (sqrt.f64 v)))
  (*.f64 m (/.f64 (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m))) 1))
  (*.f64 m (/.f64 (sqrt.f64 (-.f64 1 m)) (*.f64 (cbrt.f64 v) (cbrt.f64 v))))
  (*.f64 m (/.f64 (sqrt.f64 (-.f64 1 m)) (sqrt.f64 v)))
  (*.f64 m (/.f64 (sqrt.f64 (-.f64 1 m)) 1))
  (*.f64 m (/.f64 1 (*.f64 (cbrt.f64 v) (cbrt.f64 v))))
  (*.f64 m (/.f64 1 (sqrt.f64 v)))
  (*.f64 m (/.f64 1 1))
  (*.f64 m (/.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 m)) (*.f64 (cbrt.f64 v) (cbrt.f64 v))))
  (*.f64 m (/.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 m)) (sqrt.f64 v)))
  (*.f64 m (/.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 m)) 1))
  (*.f64 m (/.f64 (+.f64 1 (sqrt.f64 m)) (*.f64 (cbrt.f64 v) (cbrt.f64 v))))
  (*.f64 m (/.f64 (+.f64 1 (sqrt.f64 m)) (sqrt.f64 v)))
  (*.f64 m (/.f64 (+.f64 1 (sqrt.f64 m)) 1))
  (*.f64 m (/.f64 1 (*.f64 (cbrt.f64 v) (cbrt.f64 v))))
  (*.f64 m (/.f64 1 (sqrt.f64 v)))
  (*.f64 m (/.f64 1 1))
  (*.f64 m 1)
  (*.f64 m (-.f64 1 m))
  (*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) m)
  (+.f64 (log.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (log.f64 m))
  (exp.f64 (*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) m))
  (log.f64 (*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) m))
  (*.f64 (*.f64 (*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) m) (*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) m)) (*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) m))
  (*.f64 (cbrt.f64 (*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) m)) (cbrt.f64 (*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) m)))
  (cbrt.f64 (*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) m))
  (*.f64 (*.f64 (*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (*.f64 (*.f64 m m) m))
  (sqrt.f64 (*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) m))
  (sqrt.f64 (*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) m))
  (*.f64 (sqrt.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (sqrt.f64 m))
  (*.f64 (sqrt.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (sqrt.f64 m))
  (*.f64 (-.f64 (pow.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 3) (pow.f64 1 3)) m)
  (*.f64 (-.f64 (*.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) (*.f64 m (/.f64 (-.f64 1 m) v))) (*.f64 1 1)) m)
  (*.f64 (cbrt.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) m)
  (*.f64 (sqrt.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) m)
  (*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) m)
  (*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) (*.f64 (cbrt.f64 m) (cbrt.f64 m)))
  (*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) (sqrt.f64 m))
  (*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) 1)
  (-.f64 (log.f64 (-.f64 1 m)) (log.f64 v))
  (exp.f64 (/.f64 (-.f64 1 m) v))
  (log.f64 (/.f64 (-.f64 1 m) v))
  (*.f64 (*.f64 (/.f64 (-.f64 1 m) v) (/.f64 (-.f64 1 m) v)) (/.f64 (-.f64 1 m) v))
  (*.f64 (cbrt.f64 (/.f64 (-.f64 1 m) v)) (cbrt.f64 (/.f64 (-.f64 1 m) v)))
  (cbrt.f64 (/.f64 (-.f64 1 m) v))
  (/.f64 (*.f64 (*.f64 (-.f64 1 m) (-.f64 1 m)) (-.f64 1 m)) (*.f64 (*.f64 v v) v))
  (sqrt.f64 (/.f64 (-.f64 1 m) v))
  (sqrt.f64 (/.f64 (-.f64 1 m) v))
  (neg.f64 (-.f64 1 m))
  (neg.f64 v)
  (/.f64 (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m))) (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 v))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m))) (sqrt.f64 v))
  (/.f64 (cbrt.f64 (-.f64 1 m)) (sqrt.f64 v))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m))) 1)
  (/.f64 (cbrt.f64 (-.f64 1 m)) v)
  (/.f64 (sqrt.f64 (-.f64 1 m)) (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 (sqrt.f64 (-.f64 1 m)) (cbrt.f64 v))
  (/.f64 (sqrt.f64 (-.f64 1 m)) (sqrt.f64 v))
  (/.f64 (sqrt.f64 (-.f64 1 m)) (sqrt.f64 v))
  (/.f64 (sqrt.f64 (-.f64 1 m)) 1)
  (/.f64 (sqrt.f64 (-.f64 1 m)) v)
  (/.f64 1 (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 (-.f64 1 m) (cbrt.f64 v))
  (/.f64 1 (sqrt.f64 v))
  (/.f64 (-.f64 1 m) (sqrt.f64 v))
  (/.f64 1 1)
  (/.f64 (-.f64 1 m) v)
  (/.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 m)) (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 (-.f64 (sqrt.f64 1) (sqrt.f64 m)) (cbrt.f64 v))
  (/.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 m)) (sqrt.f64 v))
  (/.f64 (-.f64 (sqrt.f64 1) (sqrt.f64 m)) (sqrt.f64 v))
  (/.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 m)) 1)
  (/.f64 (-.f64 (sqrt.f64 1) (sqrt.f64 m)) v)
  (/.f64 (+.f64 1 (sqrt.f64 m)) (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 (-.f64 1 (sqrt.f64 m)) (cbrt.f64 v))
  (/.f64 (+.f64 1 (sqrt.f64 m)) (sqrt.f64 v))
  (/.f64 (-.f64 1 (sqrt.f64 m)) (sqrt.f64 v))
  (/.f64 (+.f64 1 (sqrt.f64 m)) 1)
  (/.f64 (-.f64 1 (sqrt.f64 m)) v)
  (/.f64 1 (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 (-.f64 1 m) (cbrt.f64 v))
  (/.f64 1 (sqrt.f64 v))
  (/.f64 (-.f64 1 m) (sqrt.f64 v))
  (/.f64 1 1)
  (/.f64 (-.f64 1 m) v)
  (/.f64 1 v)
  (/.f64 m v)
  (/.f64 v (-.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 (cbrt.f64 (-.f64 1 m)))
  (/.f64 v (sqrt.f64 (-.f64 1 m)))
  (/.f64 v (-.f64 1 m))
  (/.f64 v (-.f64 (sqrt.f64 1) (sqrt.f64 m)))
  (/.f64 v (-.f64 1 (sqrt.f64 m)))
  (/.f64 v (-.f64 1 m))
  (/.f64 (-.f64 1 m) (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 (-.f64 1 m) (sqrt.f64 v))
  (/.f64 (-.f64 1 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 (/.f64 1 v) (/.f64 m v))
  (-.f64 (/.f64 1 v) (/.f64 m v))
  (-.f64 (/.f64 1 v) (/.f64 m v))
1.308 * * [simplify]: iteration  0 :  4994  enodes  (cost  1591 )
1.308 * * [simplify]: iteration  1 :  4994  enodes  (cost  1591 )
1.319 * [simplify]: Simplified to:
   (*.f64 m (/.f64 (-.f64 1 m) v))
  (log.f64 (*.f64 m (/.f64 (-.f64 1 m) v)))
  (log.f64 (*.f64 m (/.f64 (-.f64 1 m) v)))
  (exp.f64 (*.f64 m (/.f64 (-.f64 1 m) v)))
  (log.f64 (*.f64 m (/.f64 (-.f64 1 m) v)))
  (pow.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 3)
  (*.f64 (cbrt.f64 (*.f64 m (/.f64 (-.f64 1 m) v))) (cbrt.f64 (*.f64 m (/.f64 (-.f64 1 m) v))))
  (cbrt.f64 (*.f64 m (/.f64 (-.f64 1 m) v)))
  (pow.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 3)
  (pow.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 3)
  (sqrt.f64 (*.f64 m (/.f64 (-.f64 1 m) v)))
  (sqrt.f64 (*.f64 m (/.f64 (-.f64 1 m) v)))
  (*.f64 (sqrt.f64 m) (sqrt.f64 (/.f64 (-.f64 1 m) v)))
  (*.f64 (sqrt.f64 m) (sqrt.f64 (/.f64 (-.f64 1 m) v)))
  (*.f64 (sqrt.f64 m) (/.f64 (sqrt.f64 (-.f64 1 m)) (sqrt.f64 v)))
  (*.f64 (sqrt.f64 m) (/.f64 (sqrt.f64 (-.f64 1 m)) (sqrt.f64 v)))
  (-.f64 m (*.f64 m m))
  (*.f64 (/.f64 (-.f64 1 m) v) (cbrt.f64 m))
  (*.f64 (/.f64 (-.f64 1 m) v) (sqrt.f64 m))
  (*.f64 m (/.f64 (-.f64 1 m) v))
  (*.f64 m (*.f64 (cbrt.f64 (/.f64 (-.f64 1 m) v)) (cbrt.f64 (/.f64 (-.f64 1 m) v))))
  (*.f64 m (sqrt.f64 (/.f64 (-.f64 1 m) v)))
  (*.f64 m (/.f64 (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m))) (*.f64 (cbrt.f64 v) (cbrt.f64 v))))
  (*.f64 m (/.f64 (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m))) (sqrt.f64 v)))
  (*.f64 m (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m))))
  (*.f64 m (/.f64 (sqrt.f64 (-.f64 1 m)) (*.f64 (cbrt.f64 v) (cbrt.f64 v))))
  (*.f64 m (/.f64 (sqrt.f64 (-.f64 1 m)) (sqrt.f64 v)))
  (*.f64 m (sqrt.f64 (-.f64 1 m)))
  (/.f64 m (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 m (sqrt.f64 v))
  m
  (/.f64 (+.f64 m (pow.f64 m 3/2)) (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 (+.f64 m (pow.f64 m 3/2)) (sqrt.f64 v))
  (+.f64 m (pow.f64 m 3/2))
  (/.f64 (+.f64 m (pow.f64 m 3/2)) (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 (+.f64 m (pow.f64 m 3/2)) (sqrt.f64 v))
  (+.f64 m (pow.f64 m 3/2))
  (/.f64 m (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 m (sqrt.f64 v))
  m
  m
  (-.f64 m (*.f64 m m))
  (*.f64 m (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1))
  (log.f64 (*.f64 m (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (exp.f64 (*.f64 m (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (log.f64 (*.f64 m (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (pow.f64 (*.f64 m (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) 3)
  (*.f64 (cbrt.f64 (*.f64 m (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1))) (cbrt.f64 (*.f64 m (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1))))
  (cbrt.f64 (*.f64 m (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (pow.f64 (*.f64 m (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) 3)
  (sqrt.f64 (*.f64 m (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (sqrt.f64 (*.f64 m (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (*.f64 (sqrt.f64 m) (sqrt.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (*.f64 (sqrt.f64 m) (sqrt.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (*.f64 m (+.f64 (pow.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 3) -1))
  (-.f64 (*.f64 (pow.f64 m 3) (*.f64 (/.f64 (-.f64 1 m) v) (/.f64 (-.f64 1 m) v))) m)
  (*.f64 m (cbrt.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (*.f64 m (sqrt.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (*.f64 m (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1))
  (*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) (*.f64 (cbrt.f64 m) (cbrt.f64 m)))
  (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1))
  (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)
  (log.f64 (/.f64 (-.f64 1 m) v))
  (exp.f64 (/.f64 (-.f64 1 m) v))
  (log.f64 (/.f64 (-.f64 1 m) v))
  (pow.f64 (/.f64 (-.f64 1 m) v) 3)
  (*.f64 (cbrt.f64 (/.f64 (-.f64 1 m) v)) (cbrt.f64 (/.f64 (-.f64 1 m) v)))
  (cbrt.f64 (/.f64 (-.f64 1 m) v))
  (pow.f64 (/.f64 (-.f64 1 m) v) 3)
  (sqrt.f64 (/.f64 (-.f64 1 m) v))
  (sqrt.f64 (/.f64 (-.f64 1 m) v))
  (-.f64 m 1)
  (neg.f64 v)
  (/.f64 (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m))) (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 v))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m))) (sqrt.f64 v))
  (/.f64 (cbrt.f64 (-.f64 1 m)) (sqrt.f64 v))
  (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m)))
  (/.f64 (cbrt.f64 (-.f64 1 m)) v)
  (/.f64 (sqrt.f64 (-.f64 1 m)) (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 (sqrt.f64 (-.f64 1 m)) (cbrt.f64 v))
  (/.f64 (sqrt.f64 (-.f64 1 m)) (sqrt.f64 v))
  (/.f64 (sqrt.f64 (-.f64 1 m)) (sqrt.f64 v))
  (sqrt.f64 (-.f64 1 m))
  (/.f64 (sqrt.f64 (-.f64 1 m)) v)
  (/.f64 1 (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 (-.f64 1 m) (cbrt.f64 v))
  (/.f64 1 (sqrt.f64 v))
  (/.f64 (-.f64 1 m) (sqrt.f64 v))
  1
  (/.f64 (-.f64 1 m) v)
  (/.f64 (+.f64 1 (sqrt.f64 m)) (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 (-.f64 1 (sqrt.f64 m)) (cbrt.f64 v))
  (/.f64 (+.f64 1 (sqrt.f64 m)) (sqrt.f64 v))
  (/.f64 (-.f64 1 (sqrt.f64 m)) (sqrt.f64 v))
  (+.f64 1 (sqrt.f64 m))
  (/.f64 (-.f64 1 (sqrt.f64 m)) v)
  (/.f64 (+.f64 1 (sqrt.f64 m)) (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 (-.f64 1 (sqrt.f64 m)) (cbrt.f64 v))
  (/.f64 (+.f64 1 (sqrt.f64 m)) (sqrt.f64 v))
  (/.f64 (-.f64 1 (sqrt.f64 m)) (sqrt.f64 v))
  (+.f64 1 (sqrt.f64 m))
  (/.f64 (-.f64 1 (sqrt.f64 m)) v)
  (/.f64 1 (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 (-.f64 1 m) (cbrt.f64 v))
  (/.f64 1 (sqrt.f64 v))
  (/.f64 (-.f64 1 m) (sqrt.f64 v))
  1
  (/.f64 (-.f64 1 m) v)
  (/.f64 1 v)
  (/.f64 m v)
  (/.f64 v (-.f64 1 m))
  (/.f64 1 v)
  (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))
  (*.f64 v (+.f64 m 1))
  (/.f64 v (cbrt.f64 (-.f64 1 m)))
  (/.f64 v (sqrt.f64 (-.f64 1 m)))
  (/.f64 v (-.f64 1 m))
  (/.f64 v (-.f64 1 (sqrt.f64 m)))
  (/.f64 v (-.f64 1 (sqrt.f64 m)))
  (/.f64 v (-.f64 1 m))
  (/.f64 (-.f64 1 m) (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 (-.f64 1 m) (sqrt.f64 v))
  (-.f64 1 m)
  (*.f64 m (/.f64 (-.f64 1 m) v))
  (*.f64 m (/.f64 (-.f64 1 m) v))
  (*.f64 m (/.f64 (-.f64 1 m) v))
  (*.f64 m (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1))
  (*.f64 m (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1))
  (*.f64 m (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1))
  (/.f64 (-.f64 1 m) v)
  (/.f64 (-.f64 1 m) v)
  (/.f64 (-.f64 1 m) v)
1.319 * * * [progress]: adding candidates to table
1.393 * * [progress]: iteration 3 / 4
1.393 * * * [progress]: picking best candidate
1.404 * * * * [pick]: Picked  #<alt (λ (m v) (*.f64 (-.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1) m))>
1.404 * * * [progress]: localizing error
1.414 * * * [progress]: generating rewritten candidates
1.414 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1.425 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
1.429 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
1.448 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
1.466 * * * [progress]: generating series expansions
1.466 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1.468 * [approximate]: Taking taylor expansion of (/ (* (- 1 m) m) v) in (m v) around 0
1.468 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) m) v) in v
1.468 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in v
1.468 * [taylor]: Taking taylor expansion of (- 1 m) in v
1.468 * [taylor]: Taking taylor expansion of 1 in v
1.468 * [taylor]: Taking taylor expansion of m in v
1.468 * [taylor]: Taking taylor expansion of m in v
1.468 * [taylor]: Taking taylor expansion of v in v
1.468 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) m) v) in m
1.468 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m
1.468 * [taylor]: Taking taylor expansion of (- 1 m) in m
1.468 * [taylor]: Taking taylor expansion of 1 in m
1.468 * [taylor]: Taking taylor expansion of m in m
1.468 * [taylor]: Taking taylor expansion of m in m
1.468 * [taylor]: Taking taylor expansion of v in m
1.469 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) m) v) in m
1.469 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m
1.469 * [taylor]: Taking taylor expansion of (- 1 m) in m
1.469 * [taylor]: Taking taylor expansion of 1 in m
1.469 * [taylor]: Taking taylor expansion of m in m
1.469 * [taylor]: Taking taylor expansion of m in m
1.469 * [taylor]: Taking taylor expansion of v in m
1.470 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.470 * [taylor]: Taking taylor expansion of v in v
1.471 * [taylor]: Taking taylor expansion of (neg (/ 1 v)) in v
1.471 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.471 * [taylor]: Taking taylor expansion of v in v
1.472 * [taylor]: Taking taylor expansion of 0 in v
1.474 * [taylor]: Taking taylor expansion of 0 in v
1.477 * [approximate]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in (m v) around 0
1.477 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in v
1.477 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in v
1.477 * [taylor]: Taking taylor expansion of v in v
1.477 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in v
1.477 * [taylor]: Taking taylor expansion of 1 in v
1.477 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.477 * [taylor]: Taking taylor expansion of m in v
1.477 * [taylor]: Taking taylor expansion of m in v
1.479 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in m
1.479 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in m
1.479 * [taylor]: Taking taylor expansion of v in m
1.479 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m
1.479 * [taylor]: Taking taylor expansion of 1 in m
1.479 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.479 * [taylor]: Taking taylor expansion of m in m
1.479 * [taylor]: Taking taylor expansion of m in m
1.479 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in m
1.479 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in m
1.479 * [taylor]: Taking taylor expansion of v in m
1.479 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m
1.479 * [taylor]: Taking taylor expansion of 1 in m
1.479 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.479 * [taylor]: Taking taylor expansion of m in m
1.480 * [taylor]: Taking taylor expansion of m in m
1.480 * [taylor]: Taking taylor expansion of (* -1 v) in v
1.480 * [taylor]: Taking taylor expansion of -1 in v
1.480 * [taylor]: Taking taylor expansion of v in v
1.481 * [taylor]: Taking taylor expansion of v in v
1.483 * [taylor]: Taking taylor expansion of 0 in v
1.485 * [taylor]: Taking taylor expansion of 0 in v
1.487 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) (* m (pow (sqrt (/ -1 v)) 2)))) in (m v) around 0
1.487 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) (* m (pow (sqrt (/ -1 v)) 2)))) in v
1.487 * [taylor]: Taking taylor expansion of -1 in v
1.487 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1) (* m (pow (sqrt (/ -1 v)) 2))) in v
1.487 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in v
1.487 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.487 * [taylor]: Taking taylor expansion of m in v
1.487 * [taylor]: Taking taylor expansion of 1 in v
1.487 * [taylor]: Taking taylor expansion of (* m (pow (sqrt (/ -1 v)) 2)) in v
1.487 * [taylor]: Taking taylor expansion of m in v
1.487 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 v)) 2) in v
1.487 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in v
1.487 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.487 * [taylor]: Taking taylor expansion of -1 in v
1.487 * [taylor]: Taking taylor expansion of v in v
1.489 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) (* m (pow (sqrt (/ -1 v)) 2)))) in m
1.489 * [taylor]: Taking taylor expansion of -1 in m
1.489 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1) (* m (pow (sqrt (/ -1 v)) 2))) in m
1.489 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m
1.489 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.489 * [taylor]: Taking taylor expansion of m in m
1.489 * [taylor]: Taking taylor expansion of 1 in m
1.489 * [taylor]: Taking taylor expansion of (* m (pow (sqrt (/ -1 v)) 2)) in m
1.489 * [taylor]: Taking taylor expansion of m in m
1.489 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 v)) 2) in m
1.489 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in m
1.489 * [taylor]: Taking taylor expansion of (/ -1 v) in m
1.489 * [taylor]: Taking taylor expansion of -1 in m
1.489 * [taylor]: Taking taylor expansion of v in m
1.492 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) (* m (pow (sqrt (/ -1 v)) 2)))) in m
1.492 * [taylor]: Taking taylor expansion of -1 in m
1.492 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1) (* m (pow (sqrt (/ -1 v)) 2))) in m
1.492 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m
1.492 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.492 * [taylor]: Taking taylor expansion of m in m
1.492 * [taylor]: Taking taylor expansion of 1 in m
1.492 * [taylor]: Taking taylor expansion of (* m (pow (sqrt (/ -1 v)) 2)) in m
1.492 * [taylor]: Taking taylor expansion of m in m
1.492 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 v)) 2) in m
1.492 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in m
1.492 * [taylor]: Taking taylor expansion of (/ -1 v) in m
1.492 * [taylor]: Taking taylor expansion of -1 in m
1.492 * [taylor]: Taking taylor expansion of v in m
1.496 * [taylor]: Taking taylor expansion of (/ -1 (pow (sqrt (/ -1 v)) 2)) in v
1.496 * [taylor]: Taking taylor expansion of -1 in v
1.496 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 v)) 2) in v
1.496 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in v
1.496 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.496 * [taylor]: Taking taylor expansion of -1 in v
1.496 * [taylor]: Taking taylor expansion of v in v
1.502 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow (sqrt (/ -1 v)) 2))) in v
1.502 * [taylor]: Taking taylor expansion of (/ 1 (pow (sqrt (/ -1 v)) 2)) in v
1.502 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 v)) 2) in v
1.502 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in v
1.502 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.502 * [taylor]: Taking taylor expansion of -1 in v
1.502 * [taylor]: Taking taylor expansion of v in v
1.507 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
1.508 * [approximate]: Taking taylor expansion of (* m (sqrt (/ 1 v))) in (m v) around 0
1.508 * [taylor]: Taking taylor expansion of (* m (sqrt (/ 1 v))) in v
1.508 * [taylor]: Taking taylor expansion of m in v
1.508 * [taylor]: Taking taylor expansion of (sqrt (/ 1 v)) in v
1.508 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.508 * [taylor]: Taking taylor expansion of v in v
1.508 * [taylor]: Taking taylor expansion of (* m (sqrt (/ 1 v))) in m
1.508 * [taylor]: Taking taylor expansion of m in m
1.508 * [taylor]: Taking taylor expansion of (sqrt (/ 1 v)) in m
1.508 * [taylor]: Taking taylor expansion of (/ 1 v) in m
1.508 * [taylor]: Taking taylor expansion of v in m
1.509 * [taylor]: Taking taylor expansion of (* m (sqrt (/ 1 v))) in m
1.509 * [taylor]: Taking taylor expansion of m in m
1.509 * [taylor]: Taking taylor expansion of (sqrt (/ 1 v)) in m
1.509 * [taylor]: Taking taylor expansion of (/ 1 v) in m
1.509 * [taylor]: Taking taylor expansion of v in m
1.510 * [taylor]: Taking taylor expansion of 0 in v
1.511 * [taylor]: Taking taylor expansion of (sqrt (/ 1 v)) in v
1.511 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.511 * [taylor]: Taking taylor expansion of v in v
1.512 * [taylor]: Taking taylor expansion of 0 in v
1.514 * [taylor]: Taking taylor expansion of 0 in v
1.516 * [taylor]: Taking taylor expansion of 0 in v
1.519 * [approximate]: Taking taylor expansion of (* (/ 1 m) (sqrt v)) in (m v) around 0
1.520 * [taylor]: Taking taylor expansion of (* (/ 1 m) (sqrt v)) in v
1.520 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.520 * [taylor]: Taking taylor expansion of m in v
1.520 * [taylor]: Taking taylor expansion of (sqrt v) in v
1.520 * [taylor]: Taking taylor expansion of v in v
1.520 * [taylor]: Taking taylor expansion of (* (/ 1 m) (sqrt v)) in m
1.520 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.520 * [taylor]: Taking taylor expansion of m in m
1.520 * [taylor]: Taking taylor expansion of (sqrt v) in m
1.520 * [taylor]: Taking taylor expansion of v in m
1.520 * [taylor]: Taking taylor expansion of (* (/ 1 m) (sqrt v)) in m
1.520 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.520 * [taylor]: Taking taylor expansion of m in m
1.520 * [taylor]: Taking taylor expansion of (sqrt v) in m
1.520 * [taylor]: Taking taylor expansion of v in m
1.521 * [taylor]: Taking taylor expansion of (sqrt v) in v
1.521 * [taylor]: Taking taylor expansion of v in v
1.522 * [taylor]: Taking taylor expansion of 0 in v
1.523 * [taylor]: Taking taylor expansion of 0 in v
1.525 * [taylor]: Taking taylor expansion of 0 in v
1.528 * [approximate]: Taking taylor expansion of (/ -1 (* m (sqrt (/ -1 v)))) in (m v) around 0
1.528 * [taylor]: Taking taylor expansion of (/ -1 (* m (sqrt (/ -1 v)))) in v
1.528 * [taylor]: Taking taylor expansion of -1 in v
1.528 * [taylor]: Taking taylor expansion of (* m (sqrt (/ -1 v))) in v
1.528 * [taylor]: Taking taylor expansion of m in v
1.528 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in v
1.528 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.528 * [taylor]: Taking taylor expansion of -1 in v
1.528 * [taylor]: Taking taylor expansion of v in v
1.529 * [taylor]: Taking taylor expansion of (/ -1 (* m (sqrt (/ -1 v)))) in m
1.529 * [taylor]: Taking taylor expansion of -1 in m
1.529 * [taylor]: Taking taylor expansion of (* m (sqrt (/ -1 v))) in m
1.529 * [taylor]: Taking taylor expansion of m in m
1.529 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in m
1.529 * [taylor]: Taking taylor expansion of (/ -1 v) in m
1.529 * [taylor]: Taking taylor expansion of -1 in m
1.529 * [taylor]: Taking taylor expansion of v in m
1.530 * [taylor]: Taking taylor expansion of (/ -1 (* m (sqrt (/ -1 v)))) in m
1.530 * [taylor]: Taking taylor expansion of -1 in m
1.530 * [taylor]: Taking taylor expansion of (* m (sqrt (/ -1 v))) in m
1.530 * [taylor]: Taking taylor expansion of m in m
1.530 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in m
1.530 * [taylor]: Taking taylor expansion of (/ -1 v) in m
1.531 * [taylor]: Taking taylor expansion of -1 in m
1.531 * [taylor]: Taking taylor expansion of v in m
1.532 * [taylor]: Taking taylor expansion of (/ -1 (sqrt (/ -1 v))) in v
1.532 * [taylor]: Taking taylor expansion of -1 in v
1.532 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in v
1.532 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.532 * [taylor]: Taking taylor expansion of -1 in v
1.532 * [taylor]: Taking taylor expansion of v in v
1.535 * [taylor]: Taking taylor expansion of 0 in v
1.538 * [taylor]: Taking taylor expansion of 0 in v
1.543 * [taylor]: Taking taylor expansion of 0 in v
1.544 * * * * [progress]: [ 3 / 4 ] generating series at (2)
1.545 * [approximate]: Taking taylor expansion of (* m (- (/ m v) (+ 1 (/ (pow m 2) v)))) in (m v) around 0
1.545 * [taylor]: Taking taylor expansion of (* m (- (/ m v) (+ 1 (/ (pow m 2) v)))) in v
1.545 * [taylor]: Taking taylor expansion of m in v
1.545 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in v
1.545 * [taylor]: Taking taylor expansion of (/ m v) in v
1.545 * [taylor]: Taking taylor expansion of m in v
1.545 * [taylor]: Taking taylor expansion of v in v
1.545 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in v
1.545 * [taylor]: Taking taylor expansion of 1 in v
1.545 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v
1.545 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.545 * [taylor]: Taking taylor expansion of m in v
1.545 * [taylor]: Taking taylor expansion of v in v
1.546 * [taylor]: Taking taylor expansion of (* m (- (/ m v) (+ 1 (/ (pow m 2) v)))) in m
1.546 * [taylor]: Taking taylor expansion of m in m
1.546 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in m
1.546 * [taylor]: Taking taylor expansion of (/ m v) in m
1.546 * [taylor]: Taking taylor expansion of m in m
1.546 * [taylor]: Taking taylor expansion of v in m
1.546 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in m
1.546 * [taylor]: Taking taylor expansion of 1 in m
1.546 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
1.546 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.546 * [taylor]: Taking taylor expansion of m in m
1.546 * [taylor]: Taking taylor expansion of v in m
1.546 * [taylor]: Taking taylor expansion of (* m (- (/ m v) (+ 1 (/ (pow m 2) v)))) in m
1.546 * [taylor]: Taking taylor expansion of m in m
1.546 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in m
1.546 * [taylor]: Taking taylor expansion of (/ m v) in m
1.546 * [taylor]: Taking taylor expansion of m in m
1.546 * [taylor]: Taking taylor expansion of v in m
1.546 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in m
1.546 * [taylor]: Taking taylor expansion of 1 in m
1.546 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
1.546 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.546 * [taylor]: Taking taylor expansion of m in m
1.546 * [taylor]: Taking taylor expansion of v in m
1.547 * [taylor]: Taking taylor expansion of 0 in v
1.547 * [taylor]: Taking taylor expansion of -1 in v
1.549 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.549 * [taylor]: Taking taylor expansion of v in v
1.551 * [taylor]: Taking taylor expansion of (neg (/ 1 v)) in v
1.551 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.551 * [taylor]: Taking taylor expansion of v in v
1.553 * [approximate]: Taking taylor expansion of (/ (- (/ v m) (+ (/ v (pow m 2)) 1)) m) in (m v) around 0
1.553 * [taylor]: Taking taylor expansion of (/ (- (/ v m) (+ (/ v (pow m 2)) 1)) m) in v
1.553 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in v
1.553 * [taylor]: Taking taylor expansion of (/ v m) in v
1.553 * [taylor]: Taking taylor expansion of v in v
1.553 * [taylor]: Taking taylor expansion of m in v
1.553 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in v
1.553 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
1.553 * [taylor]: Taking taylor expansion of v in v
1.553 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.553 * [taylor]: Taking taylor expansion of m in v
1.554 * [taylor]: Taking taylor expansion of 1 in v
1.554 * [taylor]: Taking taylor expansion of m in v
1.554 * [taylor]: Taking taylor expansion of (/ (- (/ v m) (+ (/ v (pow m 2)) 1)) m) in m
1.554 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in m
1.554 * [taylor]: Taking taylor expansion of (/ v m) in m
1.554 * [taylor]: Taking taylor expansion of v in m
1.554 * [taylor]: Taking taylor expansion of m in m
1.554 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in m
1.554 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.554 * [taylor]: Taking taylor expansion of v in m
1.554 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.554 * [taylor]: Taking taylor expansion of m in m
1.554 * [taylor]: Taking taylor expansion of 1 in m
1.554 * [taylor]: Taking taylor expansion of m in m
1.555 * [taylor]: Taking taylor expansion of (/ (- (/ v m) (+ (/ v (pow m 2)) 1)) m) in m
1.555 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in m
1.555 * [taylor]: Taking taylor expansion of (/ v m) in m
1.555 * [taylor]: Taking taylor expansion of v in m
1.555 * [taylor]: Taking taylor expansion of m in m
1.555 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in m
1.555 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.555 * [taylor]: Taking taylor expansion of v in m
1.555 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.555 * [taylor]: Taking taylor expansion of m in m
1.555 * [taylor]: Taking taylor expansion of 1 in m
1.555 * [taylor]: Taking taylor expansion of m in m
1.556 * [taylor]: Taking taylor expansion of (* -1 v) in v
1.556 * [taylor]: Taking taylor expansion of -1 in v
1.556 * [taylor]: Taking taylor expansion of v in v
1.557 * [taylor]: Taking taylor expansion of v in v
1.559 * [taylor]: Taking taylor expansion of -1 in v
1.563 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (* m (pow (sqrt (/ -1 v)) 2))) (+ (/ 1 (* (pow m 2) (pow (sqrt (/ -1 v)) 2))) 1)) m) in (m v) around 0
1.563 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* m (pow (sqrt (/ -1 v)) 2))) (+ (/ 1 (* (pow m 2) (pow (sqrt (/ -1 v)) 2))) 1)) m) in v
1.563 * [taylor]: Taking taylor expansion of (+ (/ 1 (* m (pow (sqrt (/ -1 v)) 2))) (+ (/ 1 (* (pow m 2) (pow (sqrt (/ -1 v)) 2))) 1)) in v
1.563 * [taylor]: Taking taylor expansion of (/ 1 (* m (pow (sqrt (/ -1 v)) 2))) in v
1.563 * [taylor]: Taking taylor expansion of (* m (pow (sqrt (/ -1 v)) 2)) in v
1.563 * [taylor]: Taking taylor expansion of m in v
1.563 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 v)) 2) in v
1.563 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in v
1.563 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.563 * [taylor]: Taking taylor expansion of -1 in v
1.563 * [taylor]: Taking taylor expansion of v in v
1.564 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow m 2) (pow (sqrt (/ -1 v)) 2))) 1) in v
1.564 * [taylor]: Taking taylor expansion of (/ 1 (* (pow m 2) (pow (sqrt (/ -1 v)) 2))) in v
1.564 * [taylor]: Taking taylor expansion of (* (pow m 2) (pow (sqrt (/ -1 v)) 2)) in v
1.564 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.564 * [taylor]: Taking taylor expansion of m in v
1.564 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 v)) 2) in v
1.564 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in v
1.564 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.564 * [taylor]: Taking taylor expansion of -1 in v
1.564 * [taylor]: Taking taylor expansion of v in v
1.565 * [taylor]: Taking taylor expansion of 1 in v
1.565 * [taylor]: Taking taylor expansion of m in v
1.567 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* m (pow (sqrt (/ -1 v)) 2))) (+ (/ 1 (* (pow m 2) (pow (sqrt (/ -1 v)) 2))) 1)) m) in m
1.567 * [taylor]: Taking taylor expansion of (+ (/ 1 (* m (pow (sqrt (/ -1 v)) 2))) (+ (/ 1 (* (pow m 2) (pow (sqrt (/ -1 v)) 2))) 1)) in m
1.567 * [taylor]: Taking taylor expansion of (/ 1 (* m (pow (sqrt (/ -1 v)) 2))) in m
1.567 * [taylor]: Taking taylor expansion of (* m (pow (sqrt (/ -1 v)) 2)) in m
1.567 * [taylor]: Taking taylor expansion of m in m
1.567 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 v)) 2) in m
1.567 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in m
1.567 * [taylor]: Taking taylor expansion of (/ -1 v) in m
1.567 * [taylor]: Taking taylor expansion of -1 in m
1.567 * [taylor]: Taking taylor expansion of v in m
1.570 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow m 2) (pow (sqrt (/ -1 v)) 2))) 1) in m
1.570 * [taylor]: Taking taylor expansion of (/ 1 (* (pow m 2) (pow (sqrt (/ -1 v)) 2))) in m
1.570 * [taylor]: Taking taylor expansion of (* (pow m 2) (pow (sqrt (/ -1 v)) 2)) in m
1.570 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.570 * [taylor]: Taking taylor expansion of m in m
1.570 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 v)) 2) in m
1.570 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in m
1.570 * [taylor]: Taking taylor expansion of (/ -1 v) in m
1.570 * [taylor]: Taking taylor expansion of -1 in m
1.570 * [taylor]: Taking taylor expansion of v in m
1.572 * [taylor]: Taking taylor expansion of 1 in m
1.572 * [taylor]: Taking taylor expansion of m in m
1.574 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* m (pow (sqrt (/ -1 v)) 2))) (+ (/ 1 (* (pow m 2) (pow (sqrt (/ -1 v)) 2))) 1)) m) in m
1.574 * [taylor]: Taking taylor expansion of (+ (/ 1 (* m (pow (sqrt (/ -1 v)) 2))) (+ (/ 1 (* (pow m 2) (pow (sqrt (/ -1 v)) 2))) 1)) in m
1.574 * [taylor]: Taking taylor expansion of (/ 1 (* m (pow (sqrt (/ -1 v)) 2))) in m
1.574 * [taylor]: Taking taylor expansion of (* m (pow (sqrt (/ -1 v)) 2)) in m
1.574 * [taylor]: Taking taylor expansion of m in m
1.574 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 v)) 2) in m
1.574 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in m
1.574 * [taylor]: Taking taylor expansion of (/ -1 v) in m
1.574 * [taylor]: Taking taylor expansion of -1 in m
1.574 * [taylor]: Taking taylor expansion of v in m
1.577 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow m 2) (pow (sqrt (/ -1 v)) 2))) 1) in m
1.577 * [taylor]: Taking taylor expansion of (/ 1 (* (pow m 2) (pow (sqrt (/ -1 v)) 2))) in m
1.577 * [taylor]: Taking taylor expansion of (* (pow m 2) (pow (sqrt (/ -1 v)) 2)) in m
1.577 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.577 * [taylor]: Taking taylor expansion of m in m
1.577 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 v)) 2) in m
1.577 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in m
1.577 * [taylor]: Taking taylor expansion of (/ -1 v) in m
1.577 * [taylor]: Taking taylor expansion of -1 in m
1.577 * [taylor]: Taking taylor expansion of v in m
1.579 * [taylor]: Taking taylor expansion of 1 in m
1.579 * [taylor]: Taking taylor expansion of m in m
1.581 * [taylor]: Taking taylor expansion of (/ 1 (pow (sqrt (/ -1 v)) 2)) in v
1.581 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 v)) 2) in v
1.581 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in v
1.581 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.581 * [taylor]: Taking taylor expansion of -1 in v
1.581 * [taylor]: Taking taylor expansion of v in v
1.585 * [taylor]: Taking taylor expansion of (/ 1 (pow (sqrt (/ -1 v)) 2)) in v
1.585 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 v)) 2) in v
1.585 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in v
1.585 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.585 * [taylor]: Taking taylor expansion of -1 in v
1.585 * [taylor]: Taking taylor expansion of v in v
1.594 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
1.594 * [approximate]: Taking taylor expansion of (* (* (- 1 m) m) (sqrt (/ 1 v))) in (m v) around 0
1.594 * [taylor]: Taking taylor expansion of (* (* (- 1 m) m) (sqrt (/ 1 v))) in v
1.594 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in v
1.594 * [taylor]: Taking taylor expansion of (- 1 m) in v
1.594 * [taylor]: Taking taylor expansion of 1 in v
1.594 * [taylor]: Taking taylor expansion of m in v
1.594 * [taylor]: Taking taylor expansion of m in v
1.594 * [taylor]: Taking taylor expansion of (sqrt (/ 1 v)) in v
1.594 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.594 * [taylor]: Taking taylor expansion of v in v
1.595 * [taylor]: Taking taylor expansion of (* (* (- 1 m) m) (sqrt (/ 1 v))) in m
1.595 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m
1.595 * [taylor]: Taking taylor expansion of (- 1 m) in m
1.595 * [taylor]: Taking taylor expansion of 1 in m
1.595 * [taylor]: Taking taylor expansion of m in m
1.595 * [taylor]: Taking taylor expansion of m in m
1.595 * [taylor]: Taking taylor expansion of (sqrt (/ 1 v)) in m
1.595 * [taylor]: Taking taylor expansion of (/ 1 v) in m
1.595 * [taylor]: Taking taylor expansion of v in m
1.595 * [taylor]: Taking taylor expansion of (* (* (- 1 m) m) (sqrt (/ 1 v))) in m
1.595 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m
1.596 * [taylor]: Taking taylor expansion of (- 1 m) in m
1.596 * [taylor]: Taking taylor expansion of 1 in m
1.596 * [taylor]: Taking taylor expansion of m in m
1.596 * [taylor]: Taking taylor expansion of m in m
1.596 * [taylor]: Taking taylor expansion of (sqrt (/ 1 v)) in m
1.596 * [taylor]: Taking taylor expansion of (/ 1 v) in m
1.596 * [taylor]: Taking taylor expansion of v in m
1.597 * [taylor]: Taking taylor expansion of 0 in v
1.597 * [taylor]: Taking taylor expansion of (sqrt (/ 1 v)) in v
1.597 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.597 * [taylor]: Taking taylor expansion of v in v
1.600 * [taylor]: Taking taylor expansion of (neg (sqrt (/ 1 v))) in v
1.600 * [taylor]: Taking taylor expansion of (sqrt (/ 1 v)) in v
1.600 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.600 * [taylor]: Taking taylor expansion of v in v
1.602 * [taylor]: Taking taylor expansion of 0 in v
1.605 * [approximate]: Taking taylor expansion of (* (/ (- 1 (/ 1 m)) m) (sqrt v)) in (m v) around 0
1.605 * [taylor]: Taking taylor expansion of (* (/ (- 1 (/ 1 m)) m) (sqrt v)) in v
1.605 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 m)) m) in v
1.605 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in v
1.605 * [taylor]: Taking taylor expansion of 1 in v
1.605 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.605 * [taylor]: Taking taylor expansion of m in v
1.605 * [taylor]: Taking taylor expansion of m in v
1.606 * [taylor]: Taking taylor expansion of (sqrt v) in v
1.606 * [taylor]: Taking taylor expansion of v in v
1.606 * [taylor]: Taking taylor expansion of (* (/ (- 1 (/ 1 m)) m) (sqrt v)) in m
1.606 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 m)) m) in m
1.606 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m
1.606 * [taylor]: Taking taylor expansion of 1 in m
1.606 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.606 * [taylor]: Taking taylor expansion of m in m
1.606 * [taylor]: Taking taylor expansion of m in m
1.606 * [taylor]: Taking taylor expansion of (sqrt v) in m
1.606 * [taylor]: Taking taylor expansion of v in m
1.607 * [taylor]: Taking taylor expansion of (* (/ (- 1 (/ 1 m)) m) (sqrt v)) in m
1.607 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 m)) m) in m
1.607 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m
1.607 * [taylor]: Taking taylor expansion of 1 in m
1.607 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.607 * [taylor]: Taking taylor expansion of m in m
1.607 * [taylor]: Taking taylor expansion of m in m
1.607 * [taylor]: Taking taylor expansion of (sqrt v) in m
1.607 * [taylor]: Taking taylor expansion of v in m
1.608 * [taylor]: Taking taylor expansion of (* -1 (sqrt v)) in v
1.608 * [taylor]: Taking taylor expansion of -1 in v
1.608 * [taylor]: Taking taylor expansion of (sqrt v) in v
1.608 * [taylor]: Taking taylor expansion of v in v
1.609 * [taylor]: Taking taylor expansion of (sqrt v) in v
1.609 * [taylor]: Taking taylor expansion of v in v
1.611 * [taylor]: Taking taylor expansion of 0 in v
1.615 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) (* m (sqrt (/ -1 v))))) in (m v) around 0
1.615 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) (* m (sqrt (/ -1 v))))) in v
1.615 * [taylor]: Taking taylor expansion of -1 in v
1.616 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1) (* m (sqrt (/ -1 v)))) in v
1.616 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in v
1.616 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.616 * [taylor]: Taking taylor expansion of m in v
1.616 * [taylor]: Taking taylor expansion of 1 in v
1.616 * [taylor]: Taking taylor expansion of (* m (sqrt (/ -1 v))) in v
1.616 * [taylor]: Taking taylor expansion of m in v
1.616 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in v
1.616 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.616 * [taylor]: Taking taylor expansion of -1 in v
1.616 * [taylor]: Taking taylor expansion of v in v
1.617 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) (* m (sqrt (/ -1 v))))) in m
1.617 * [taylor]: Taking taylor expansion of -1 in m
1.617 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1) (* m (sqrt (/ -1 v)))) in m
1.617 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m
1.617 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.617 * [taylor]: Taking taylor expansion of m in m
1.617 * [taylor]: Taking taylor expansion of 1 in m
1.617 * [taylor]: Taking taylor expansion of (* m (sqrt (/ -1 v))) in m
1.617 * [taylor]: Taking taylor expansion of m in m
1.617 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in m
1.617 * [taylor]: Taking taylor expansion of (/ -1 v) in m
1.617 * [taylor]: Taking taylor expansion of -1 in m
1.617 * [taylor]: Taking taylor expansion of v in m
1.619 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) (* m (sqrt (/ -1 v))))) in m
1.619 * [taylor]: Taking taylor expansion of -1 in m
1.619 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1) (* m (sqrt (/ -1 v)))) in m
1.619 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m
1.619 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.619 * [taylor]: Taking taylor expansion of m in m
1.619 * [taylor]: Taking taylor expansion of 1 in m
1.619 * [taylor]: Taking taylor expansion of (* m (sqrt (/ -1 v))) in m
1.619 * [taylor]: Taking taylor expansion of m in m
1.619 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in m
1.619 * [taylor]: Taking taylor expansion of (/ -1 v) in m
1.619 * [taylor]: Taking taylor expansion of -1 in m
1.619 * [taylor]: Taking taylor expansion of v in m
1.621 * [taylor]: Taking taylor expansion of (/ -1 (sqrt (/ -1 v))) in v
1.621 * [taylor]: Taking taylor expansion of -1 in v
1.621 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in v
1.621 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.621 * [taylor]: Taking taylor expansion of -1 in v
1.621 * [taylor]: Taking taylor expansion of v in v
1.624 * [taylor]: Taking taylor expansion of (neg (/ 1 (sqrt (/ -1 v)))) in v
1.624 * [taylor]: Taking taylor expansion of (/ 1 (sqrt (/ -1 v))) in v
1.624 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in v
1.624 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.624 * [taylor]: Taking taylor expansion of -1 in v
1.624 * [taylor]: Taking taylor expansion of v in v
1.628 * * * [progress]: simplifying candidates
1.630 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (+.f64 (log.f64 (-.f64 1 m)) (-.f64 (log.f64 m) (log.f64 (sqrt.f64 v)))) (log.f64 (sqrt.f64 v)))
  (-.f64 (+.f64 (log.f64 (-.f64 1 m)) (log.f64 (/.f64 m (sqrt.f64 v)))) (log.f64 (sqrt.f64 v)))
  (-.f64 (log.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v)))) (log.f64 (sqrt.f64 v)))
  (exp.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)))
  (log.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)))
  (*.f64 (*.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v))) (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)))
  (*.f64 (cbrt.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v))) (cbrt.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v))))
  (cbrt.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)))
  (/.f64 (*.f64 (*.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v)))) (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v)))) (*.f64 (*.f64 (sqrt.f64 v) (sqrt.f64 v)) (sqrt.f64 v)))
  (/.f64 (*.f64 (*.f64 (*.f64 (-.f64 1 m) (-.f64 1 m)) (-.f64 1 m)) (*.f64 (*.f64 (/.f64 m (sqrt.f64 v)) (/.f64 m (sqrt.f64 v))) (/.f64 m (sqrt.f64 v)))) (*.f64 (*.f64 (sqrt.f64 v) (sqrt.f64 v)) (sqrt.f64 v)))
  (/.f64 (*.f64 (*.f64 (*.f64 (-.f64 1 m) (-.f64 1 m)) (-.f64 1 m)) (/.f64 (*.f64 (*.f64 m m) m) (*.f64 (*.f64 (sqrt.f64 v) (sqrt.f64 v)) (sqrt.f64 v)))) (*.f64 (*.f64 (sqrt.f64 v) (sqrt.f64 v)) (sqrt.f64 v)))
  (sqrt.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)))
  (sqrt.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)))
  (neg.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))))
  (neg.f64 (sqrt.f64 v))
  (/.f64 (-.f64 1 m) (*.f64 (cbrt.f64 (sqrt.f64 v)) (cbrt.f64 (sqrt.f64 v))))
  (/.f64 (/.f64 m (sqrt.f64 v)) (cbrt.f64 (sqrt.f64 v)))
  (/.f64 (-.f64 1 m) (sqrt.f64 (sqrt.f64 v)))
  (/.f64 (/.f64 m (sqrt.f64 v)) (sqrt.f64 (sqrt.f64 v)))
  (/.f64 (-.f64 1 m) (sqrt.f64 (*.f64 (cbrt.f64 v) (cbrt.f64 v))))
  (/.f64 (/.f64 m (sqrt.f64 v)) (sqrt.f64 (cbrt.f64 v)))
  (/.f64 (-.f64 1 m) (sqrt.f64 (sqrt.f64 v)))
  (/.f64 (/.f64 m (sqrt.f64 v)) (sqrt.f64 (sqrt.f64 v)))
  (/.f64 (-.f64 1 m) (sqrt.f64 1))
  (/.f64 (/.f64 m (sqrt.f64 v)) (sqrt.f64 v))
  (/.f64 (-.f64 1 m) 1)
  (/.f64 (/.f64 m (sqrt.f64 v)) (sqrt.f64 v))
  (/.f64 (sqrt.f64 v) (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))))
  (/.f64 1 (sqrt.f64 v))
  (*.f64 (sqrt.f64 v) (*.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 m m) (*.f64 1 m))) (sqrt.f64 v)))
  (*.f64 (sqrt.f64 v) (*.f64 (+.f64 1 m) (sqrt.f64 v)))
  (*.f64 (sqrt.f64 v) (+.f64 (*.f64 1 1) (+.f64 (*.f64 m m) (*.f64 1 m))))
  (*.f64 (sqrt.f64 v) (+.f64 1 m))
  (*.f64 (sqrt.f64 v) (sqrt.f64 v))
  (/.f64 (sqrt.f64 v) (/.f64 m (sqrt.f64 v)))
  (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (*.f64 (cbrt.f64 (sqrt.f64 v)) (cbrt.f64 (sqrt.f64 v))))
  (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 (sqrt.f64 v)))
  (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 (*.f64 (cbrt.f64 v) (cbrt.f64 v))))
  (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 (sqrt.f64 v)))
  (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 1))
  (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) 1)
  (-.f64 (log.f64 m) (log.f64 (sqrt.f64 v)))
  (exp.f64 (/.f64 m (sqrt.f64 v)))
  (log.f64 (/.f64 m (sqrt.f64 v)))
  (*.f64 (*.f64 (/.f64 m (sqrt.f64 v)) (/.f64 m (sqrt.f64 v))) (/.f64 m (sqrt.f64 v)))
  (*.f64 (cbrt.f64 (/.f64 m (sqrt.f64 v))) (cbrt.f64 (/.f64 m (sqrt.f64 v))))
  (cbrt.f64 (/.f64 m (sqrt.f64 v)))
  (/.f64 (*.f64 (*.f64 m m) m) (*.f64 (*.f64 (sqrt.f64 v) (sqrt.f64 v)) (sqrt.f64 v)))
  (sqrt.f64 (/.f64 m (sqrt.f64 v)))
  (sqrt.f64 (/.f64 m (sqrt.f64 v)))
  (neg.f64 m)
  (neg.f64 (sqrt.f64 v))
  (/.f64 (*.f64 (cbrt.f64 m) (cbrt.f64 m)) (*.f64 (cbrt.f64 (sqrt.f64 v)) (cbrt.f64 (sqrt.f64 v))))
  (/.f64 (cbrt.f64 m) (cbrt.f64 (sqrt.f64 v)))
  (/.f64 (*.f64 (cbrt.f64 m) (cbrt.f64 m)) (sqrt.f64 (sqrt.f64 v)))
  (/.f64 (cbrt.f64 m) (sqrt.f64 (sqrt.f64 v)))
  (/.f64 (*.f64 (cbrt.f64 m) (cbrt.f64 m)) (sqrt.f64 (*.f64 (cbrt.f64 v) (cbrt.f64 v))))
  (/.f64 (cbrt.f64 m) (sqrt.f64 (cbrt.f64 v)))
  (/.f64 (*.f64 (cbrt.f64 m) (cbrt.f64 m)) (sqrt.f64 (sqrt.f64 v)))
  (/.f64 (cbrt.f64 m) (sqrt.f64 (sqrt.f64 v)))
  (/.f64 (*.f64 (cbrt.f64 m) (cbrt.f64 m)) (sqrt.f64 1))
  (/.f64 (cbrt.f64 m) (sqrt.f64 v))
  (/.f64 (*.f64 (cbrt.f64 m) (cbrt.f64 m)) 1)
  (/.f64 (cbrt.f64 m) (sqrt.f64 v))
  (/.f64 (sqrt.f64 m) (*.f64 (cbrt.f64 (sqrt.f64 v)) (cbrt.f64 (sqrt.f64 v))))
  (/.f64 (sqrt.f64 m) (cbrt.f64 (sqrt.f64 v)))
  (/.f64 (sqrt.f64 m) (sqrt.f64 (sqrt.f64 v)))
  (/.f64 (sqrt.f64 m) (sqrt.f64 (sqrt.f64 v)))
  (/.f64 (sqrt.f64 m) (sqrt.f64 (*.f64 (cbrt.f64 v) (cbrt.f64 v))))
  (/.f64 (sqrt.f64 m) (sqrt.f64 (cbrt.f64 v)))
  (/.f64 (sqrt.f64 m) (sqrt.f64 (sqrt.f64 v)))
  (/.f64 (sqrt.f64 m) (sqrt.f64 (sqrt.f64 v)))
  (/.f64 (sqrt.f64 m) (sqrt.f64 1))
  (/.f64 (sqrt.f64 m) (sqrt.f64 v))
  (/.f64 (sqrt.f64 m) 1)
  (/.f64 (sqrt.f64 m) (sqrt.f64 v))
  (/.f64 1 (*.f64 (cbrt.f64 (sqrt.f64 v)) (cbrt.f64 (sqrt.f64 v))))
  (/.f64 m (cbrt.f64 (sqrt.f64 v)))
  (/.f64 1 (sqrt.f64 (sqrt.f64 v)))
  (/.f64 m (sqrt.f64 (sqrt.f64 v)))
  (/.f64 1 (sqrt.f64 (*.f64 (cbrt.f64 v) (cbrt.f64 v))))
  (/.f64 m (sqrt.f64 (cbrt.f64 v)))
  (/.f64 1 (sqrt.f64 (sqrt.f64 v)))
  (/.f64 m (sqrt.f64 (sqrt.f64 v)))
  (/.f64 1 (sqrt.f64 1))
  (/.f64 m (sqrt.f64 v))
  (/.f64 1 1)
  (/.f64 m (sqrt.f64 v))
  (/.f64 (sqrt.f64 v) m)
  (/.f64 1 (sqrt.f64 v))
  (/.f64 (sqrt.f64 v) (cbrt.f64 m))
  (/.f64 (sqrt.f64 v) (sqrt.f64 m))
  (/.f64 (sqrt.f64 v) m)
  (/.f64 m (*.f64 (cbrt.f64 (sqrt.f64 v)) (cbrt.f64 (sqrt.f64 v))))
  (/.f64 m (sqrt.f64 (sqrt.f64 v)))
  (/.f64 m (sqrt.f64 (*.f64 (cbrt.f64 v) (cbrt.f64 v))))
  (/.f64 m (sqrt.f64 (sqrt.f64 v)))
  (/.f64 m (sqrt.f64 1))
  (/.f64 m 1)
  (*.f64 (-.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1) m)
  (+.f64 (log.f64 (-.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1)) (log.f64 m))
  (exp.f64 (*.f64 (-.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1) m))
  (log.f64 (*.f64 (-.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1) m))
  (*.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1) m) (*.f64 (-.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1) m)) (*.f64 (-.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1) m))
  (*.f64 (cbrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1) m)) (cbrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1) m)))
  (cbrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1) m))
  (*.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1) (-.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1)) (-.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1)) (*.f64 (*.f64 m m) m))
  (sqrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1) m))
  (sqrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1) m))
  (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1)) (sqrt.f64 m))
  (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1)) (sqrt.f64 m))
  (*.f64 (-.f64 (pow.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 3) (pow.f64 1 3)) m)
  (*.f64 (-.f64 (*.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v))) (*.f64 1 1)) m)
  (*.f64 (cbrt.f64 (-.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1)) m)
  (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1)) m)
  (*.f64 (-.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1) m)
  (*.f64 (-.f64 (sqrt.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v))) 1) m)
  (*.f64 (-.f64 (sqrt.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v))) (sqrt.f64 1)) m)
  (*.f64 (-.f64 (sqrt.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v))) 1) m)
  (*.f64 (-.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1) m)
  (*.f64 (-.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1) (*.f64 (cbrt.f64 m) (cbrt.f64 m)))
  (*.f64 (-.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1) (sqrt.f64 m))
  (*.f64 (-.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1) 1)
  (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v)))
  (+.f64 (log.f64 (-.f64 1 m)) (-.f64 (log.f64 m) (log.f64 (sqrt.f64 v))))
  (+.f64 (log.f64 (-.f64 1 m)) (log.f64 (/.f64 m (sqrt.f64 v))))
  (exp.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))))
  (log.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))))
  (*.f64 (*.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v)))) (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))))
  (*.f64 (cbrt.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v)))) (cbrt.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v)))))
  (cbrt.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))))
  (*.f64 (*.f64 (*.f64 (-.f64 1 m) (-.f64 1 m)) (-.f64 1 m)) (*.f64 (*.f64 (/.f64 m (sqrt.f64 v)) (/.f64 m (sqrt.f64 v))) (/.f64 m (sqrt.f64 v))))
  (*.f64 (*.f64 (*.f64 (-.f64 1 m) (-.f64 1 m)) (-.f64 1 m)) (/.f64 (*.f64 (*.f64 m m) m) (*.f64 (*.f64 (sqrt.f64 v) (sqrt.f64 v)) (sqrt.f64 v))))
  (sqrt.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))))
  (sqrt.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))))
  (*.f64 (-.f64 (pow.f64 1 3) (pow.f64 m 3)) m)
  (*.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 m m) (*.f64 1 m))) (sqrt.f64 v))
  (*.f64 (-.f64 (*.f64 1 1) (*.f64 m m)) m)
  (*.f64 (+.f64 1 m) (sqrt.f64 v))
  (*.f64 (sqrt.f64 (-.f64 1 m)) (sqrt.f64 (/.f64 m (sqrt.f64 v))))
  (*.f64 (sqrt.f64 (-.f64 1 m)) (sqrt.f64 (/.f64 m (sqrt.f64 v))))
  (*.f64 (sqrt.f64 (-.f64 1 m)) (/.f64 (sqrt.f64 m) (sqrt.f64 (sqrt.f64 v))))
  (*.f64 (sqrt.f64 (-.f64 1 m)) (/.f64 (sqrt.f64 m) (sqrt.f64 (sqrt.f64 v))))
  (*.f64 (sqrt.f64 (-.f64 1 m)) (/.f64 (sqrt.f64 m) (sqrt.f64 (sqrt.f64 v))))
  (*.f64 (sqrt.f64 (-.f64 1 m)) (/.f64 (sqrt.f64 m) (sqrt.f64 (sqrt.f64 v))))
  (*.f64 (-.f64 (pow.f64 1 3) (pow.f64 m 3)) (/.f64 m (sqrt.f64 v)))
  (*.f64 (-.f64 (*.f64 1 1) (*.f64 m m)) (/.f64 m (sqrt.f64 v)))
  (*.f64 (-.f64 1 m) m)
  (*.f64 (cbrt.f64 (-.f64 1 m)) (/.f64 m (sqrt.f64 v)))
  (*.f64 (sqrt.f64 (-.f64 1 m)) (/.f64 m (sqrt.f64 v)))
  (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v)))
  (*.f64 (-.f64 (sqrt.f64 1) (sqrt.f64 m)) (/.f64 m (sqrt.f64 v)))
  (*.f64 (-.f64 1 (sqrt.f64 m)) (/.f64 m (sqrt.f64 v)))
  (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v)))
  (*.f64 (-.f64 1 m) (*.f64 (cbrt.f64 (/.f64 m (sqrt.f64 v))) (cbrt.f64 (/.f64 m (sqrt.f64 v)))))
  (*.f64 (-.f64 1 m) (sqrt.f64 (/.f64 m (sqrt.f64 v))))
  (*.f64 (-.f64 1 m) (/.f64 (*.f64 (cbrt.f64 m) (cbrt.f64 m)) (*.f64 (cbrt.f64 (sqrt.f64 v)) (cbrt.f64 (sqrt.f64 v)))))
  (*.f64 (-.f64 1 m) (/.f64 (*.f64 (cbrt.f64 m) (cbrt.f64 m)) (sqrt.f64 (sqrt.f64 v))))
  (*.f64 (-.f64 1 m) (/.f64 (*.f64 (cbrt.f64 m) (cbrt.f64 m)) (sqrt.f64 (*.f64 (cbrt.f64 v) (cbrt.f64 v)))))
  (*.f64 (-.f64 1 m) (/.f64 (*.f64 (cbrt.f64 m) (cbrt.f64 m)) (sqrt.f64 (sqrt.f64 v))))
  (*.f64 (-.f64 1 m) (/.f64 (*.f64 (cbrt.f64 m) (cbrt.f64 m)) (sqrt.f64 1)))
  (*.f64 (-.f64 1 m) (/.f64 (*.f64 (cbrt.f64 m) (cbrt.f64 m)) 1))
  (*.f64 (-.f64 1 m) (/.f64 (sqrt.f64 m) (*.f64 (cbrt.f64 (sqrt.f64 v)) (cbrt.f64 (sqrt.f64 v)))))
  (*.f64 (-.f64 1 m) (/.f64 (sqrt.f64 m) (sqrt.f64 (sqrt.f64 v))))
  (*.f64 (-.f64 1 m) (/.f64 (sqrt.f64 m) (sqrt.f64 (*.f64 (cbrt.f64 v) (cbrt.f64 v)))))
  (*.f64 (-.f64 1 m) (/.f64 (sqrt.f64 m) (sqrt.f64 (sqrt.f64 v))))
  (*.f64 (-.f64 1 m) (/.f64 (sqrt.f64 m) (sqrt.f64 1)))
  (*.f64 (-.f64 1 m) (/.f64 (sqrt.f64 m) 1))
  (*.f64 (-.f64 1 m) (/.f64 1 (*.f64 (cbrt.f64 (sqrt.f64 v)) (cbrt.f64 (sqrt.f64 v)))))
  (*.f64 (-.f64 1 m) (/.f64 1 (sqrt.f64 (sqrt.f64 v))))
  (*.f64 (-.f64 1 m) (/.f64 1 (sqrt.f64 (*.f64 (cbrt.f64 v) (cbrt.f64 v)))))
  (*.f64 (-.f64 1 m) (/.f64 1 (sqrt.f64 (sqrt.f64 v))))
  (*.f64 (-.f64 1 m) (/.f64 1 (sqrt.f64 1)))
  (*.f64 (-.f64 1 m) (/.f64 1 1))
  (*.f64 (-.f64 1 m) 1)
  (*.f64 (-.f64 1 m) m)
  (-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
  (-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
  (-.f64 (/.f64 m (pow.f64 NAN.f64 2)) (+.f64 (*.f64 2 (/.f64 (pow.f64 m 2) v)) (/.f64 (pow.f64 m 2) (pow.f64 NAN.f64 2))))
  (+.f64 (*.f64 m NAN.f64) (+.f64 (*.f64 (pow.f64 NAN.f64 5) (*.f64 m (pow.f64 v 2))) (*.f64 v (*.f64 m (pow.f64 NAN.f64 3)))))
  (+.f64 (/.f64 (*.f64 m NAN.f64) v) (+.f64 (/.f64 (*.f64 m (pow.f64 NAN.f64 3)) (pow.f64 v 2)) (/.f64 (*.f64 m (pow.f64 NAN.f64 5)) (pow.f64 v 3))))
  (+.f64 (/.f64 m NAN.f64) (/.f64 (*.f64 m NAN.f64) 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) (pow.f64 NAN.f64 2)) (+.f64 (/.f64 (pow.f64 m 3) (pow.f64 NAN.f64 2)) (*.f64 2 (/.f64 (pow.f64 m 3) v))))
  (-.f64 (+.f64 (*.f64 (pow.f64 NAN.f64 3) (*.f64 m v)) (*.f64 m NAN.f64)) (*.f64 (pow.f64 m 2) NAN.f64))
  (-.f64 (/.f64 (*.f64 m NAN.f64) v) (+.f64 (/.f64 (*.f64 (pow.f64 m 2) (pow.f64 NAN.f64 3)) (pow.f64 v 2)) (/.f64 (*.f64 (pow.f64 m 2) NAN.f64) v)))
  (-.f64 (/.f64 m NAN.f64) (+.f64 (/.f64 (*.f64 (pow.f64 m 2) NAN.f64) v) (/.f64 (pow.f64 m 2) NAN.f64)))
1.677 * * [simplify]: iteration  0 :  5067  enodes  (cost  2485 )
1.689 * [simplify]: Simplified to:
   (log.f64 (*.f64 (/.f64 m v) (-.f64 1 m)))
  (log.f64 (*.f64 (/.f64 m v) (-.f64 1 m)))
  (log.f64 (*.f64 (/.f64 m v) (-.f64 1 m)))
  (exp.f64 (*.f64 (/.f64 m v) (-.f64 1 m)))
  (log.f64 (*.f64 (/.f64 m v) (-.f64 1 m)))
  (pow.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) 3)
  (*.f64 (cbrt.f64 (*.f64 (/.f64 m v) (-.f64 1 m))) (cbrt.f64 (*.f64 (/.f64 m v) (-.f64 1 m))))
  (cbrt.f64 (*.f64 (/.f64 m v) (-.f64 1 m)))
  (pow.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) 3)
  (pow.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) 3)
  (pow.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) 3)
  (sqrt.f64 (*.f64 (/.f64 m v) (-.f64 1 m)))
  (sqrt.f64 (*.f64 (/.f64 m v) (-.f64 1 m)))
  (*.f64 (/.f64 m (sqrt.f64 v)) (+.f64 m -1))
  (neg.f64 (sqrt.f64 v))
  (/.f64 (-.f64 1 m) (*.f64 (cbrt.f64 (sqrt.f64 v)) (cbrt.f64 (sqrt.f64 v))))
  (/.f64 (/.f64 m (sqrt.f64 v)) (cbrt.f64 (sqrt.f64 v)))
  (/.f64 (-.f64 1 m) (sqrt.f64 (sqrt.f64 v)))
  (/.f64 (/.f64 m (sqrt.f64 v)) (sqrt.f64 (sqrt.f64 v)))
  (/.f64 (-.f64 1 m) (fabs.f64 (cbrt.f64 v)))
  (/.f64 (/.f64 m (sqrt.f64 v)) (sqrt.f64 (cbrt.f64 v)))
  (/.f64 (-.f64 1 m) (sqrt.f64 (sqrt.f64 v)))
  (/.f64 (/.f64 m (sqrt.f64 v)) (sqrt.f64 (sqrt.f64 v)))
  (-.f64 1 m)
  (/.f64 m v)
  (-.f64 1 m)
  (/.f64 m v)
  (/.f64 (/.f64 v m) (-.f64 1 m))
  (/.f64 1 (sqrt.f64 v))
  (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))
  (*.f64 v (+.f64 1 m))
  (*.f64 (sqrt.f64 v) (+.f64 1 (+.f64 m (*.f64 m m))))
  (*.f64 (sqrt.f64 v) (+.f64 1 m))
  v
  (/.f64 v m)
  (*.f64 (/.f64 (-.f64 1 m) (*.f64 (cbrt.f64 (sqrt.f64 v)) (cbrt.f64 (sqrt.f64 v)))) (/.f64 m (sqrt.f64 v)))
  (*.f64 (/.f64 (-.f64 1 m) (sqrt.f64 (sqrt.f64 v))) (/.f64 m (sqrt.f64 v)))
  (*.f64 (/.f64 (-.f64 1 m) (fabs.f64 (cbrt.f64 v))) (/.f64 m (sqrt.f64 v)))
  (*.f64 (/.f64 (-.f64 1 m) (sqrt.f64 (sqrt.f64 v))) (/.f64 m (sqrt.f64 v)))
  (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v)))
  (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v)))
  (log.f64 (/.f64 m (sqrt.f64 v)))
  (exp.f64 (/.f64 m (sqrt.f64 v)))
  (log.f64 (/.f64 m (sqrt.f64 v)))
  (pow.f64 (/.f64 m (sqrt.f64 v)) 3)
  (*.f64 (cbrt.f64 (/.f64 m (sqrt.f64 v))) (cbrt.f64 (/.f64 m (sqrt.f64 v))))
  (cbrt.f64 (/.f64 m (sqrt.f64 v)))
  (pow.f64 (/.f64 m (sqrt.f64 v)) 3)
  (sqrt.f64 (/.f64 m (sqrt.f64 v)))
  (sqrt.f64 (/.f64 m (sqrt.f64 v)))
  (neg.f64 m)
  (neg.f64 (sqrt.f64 v))
  (/.f64 (*.f64 (cbrt.f64 m) (cbrt.f64 m)) (*.f64 (cbrt.f64 (sqrt.f64 v)) (cbrt.f64 (sqrt.f64 v))))
  (/.f64 (cbrt.f64 m) (cbrt.f64 (sqrt.f64 v)))
  (/.f64 (*.f64 (cbrt.f64 m) (cbrt.f64 m)) (sqrt.f64 (sqrt.f64 v)))
  (/.f64 (cbrt.f64 m) (sqrt.f64 (sqrt.f64 v)))
  (/.f64 (*.f64 (cbrt.f64 m) (cbrt.f64 m)) (fabs.f64 (cbrt.f64 v)))
  (/.f64 (cbrt.f64 m) (sqrt.f64 (cbrt.f64 v)))
  (/.f64 (*.f64 (cbrt.f64 m) (cbrt.f64 m)) (sqrt.f64 (sqrt.f64 v)))
  (/.f64 (cbrt.f64 m) (sqrt.f64 (sqrt.f64 v)))
  (*.f64 (cbrt.f64 m) (cbrt.f64 m))
  (/.f64 (cbrt.f64 m) (sqrt.f64 v))
  (*.f64 (cbrt.f64 m) (cbrt.f64 m))
  (/.f64 (cbrt.f64 m) (sqrt.f64 v))
  (/.f64 (sqrt.f64 m) (*.f64 (cbrt.f64 (sqrt.f64 v)) (cbrt.f64 (sqrt.f64 v))))
  (/.f64 (sqrt.f64 m) (cbrt.f64 (sqrt.f64 v)))
  (/.f64 (sqrt.f64 m) (sqrt.f64 (sqrt.f64 v)))
  (/.f64 (sqrt.f64 m) (sqrt.f64 (sqrt.f64 v)))
  (/.f64 (sqrt.f64 m) (fabs.f64 (cbrt.f64 v)))
  (/.f64 (sqrt.f64 m) (sqrt.f64 (cbrt.f64 v)))
  (/.f64 (sqrt.f64 m) (sqrt.f64 (sqrt.f64 v)))
  (/.f64 (sqrt.f64 m) (sqrt.f64 (sqrt.f64 v)))
  (sqrt.f64 m)
  (/.f64 (sqrt.f64 m) (sqrt.f64 v))
  (sqrt.f64 m)
  (/.f64 (sqrt.f64 m) (sqrt.f64 v))
  (/.f64 1 (*.f64 (cbrt.f64 (sqrt.f64 v)) (cbrt.f64 (sqrt.f64 v))))
  (/.f64 m (cbrt.f64 (sqrt.f64 v)))
  (/.f64 1 (sqrt.f64 (sqrt.f64 v)))
  (/.f64 m (sqrt.f64 (sqrt.f64 v)))
  (/.f64 1 (fabs.f64 (cbrt.f64 v)))
  (/.f64 m (sqrt.f64 (cbrt.f64 v)))
  (/.f64 1 (sqrt.f64 (sqrt.f64 v)))
  (/.f64 m (sqrt.f64 (sqrt.f64 v)))
  1
  (/.f64 m (sqrt.f64 v))
  1
  (/.f64 m (sqrt.f64 v))
  (/.f64 (sqrt.f64 v) m)
  (/.f64 1 (sqrt.f64 v))
  (/.f64 (sqrt.f64 v) (cbrt.f64 m))
  (/.f64 (sqrt.f64 v) (sqrt.f64 m))
  (/.f64 (sqrt.f64 v) m)
  (/.f64 m (*.f64 (cbrt.f64 (sqrt.f64 v)) (cbrt.f64 (sqrt.f64 v))))
  (/.f64 m (sqrt.f64 (sqrt.f64 v)))
  (/.f64 m (fabs.f64 (cbrt.f64 v)))
  (/.f64 m (sqrt.f64 (sqrt.f64 v)))
  m
  m
  (*.f64 m (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1))
  (log.f64 (*.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 m (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1)))
  (pow.f64 (*.f64 m (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1)) 3)
  (*.f64 (cbrt.f64 (*.f64 m (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1))) (cbrt.f64 (*.f64 m (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1))))
  (cbrt.f64 (*.f64 m (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1)))
  (pow.f64 (*.f64 m (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1)) 3)
  (sqrt.f64 (*.f64 m (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1)))
  (sqrt.f64 (*.f64 m (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1)))
  (*.f64 (sqrt.f64 m) (sqrt.f64 (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1)))
  (*.f64 (sqrt.f64 m) (sqrt.f64 (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1)))
  (*.f64 m (+.f64 (pow.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) 3) -1))
  (*.f64 m (+.f64 (*.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) (*.f64 (/.f64 m v) (-.f64 1 m))) -1))
  (*.f64 m (cbrt.f64 (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1)))
  (*.f64 m (sqrt.f64 (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1)))
  (*.f64 m (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1))
  (*.f64 m (+.f64 (sqrt.f64 (*.f64 (/.f64 m v) (-.f64 1 m))) -1))
  (*.f64 m (+.f64 (sqrt.f64 (*.f64 (/.f64 m v) (-.f64 1 m))) -1))
  (*.f64 m (+.f64 (sqrt.f64 (*.f64 (/.f64 m v) (-.f64 1 m))) -1))
  (*.f64 m (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1))
  (*.f64 (*.f64 (cbrt.f64 m) (cbrt.f64 m)) (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1))
  (*.f64 (sqrt.f64 m) (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1))
  (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1)
  (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v)))
  (log.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))))
  (log.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))))
  (pow.f64 (exp.f64 (/.f64 m (sqrt.f64 v))) (-.f64 1 m))
  (log.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))))
  (pow.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) 3)
  (*.f64 (cbrt.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v)))) (cbrt.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v)))))
  (cbrt.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))))
  (pow.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) 3)
  (pow.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) 3)
  (sqrt.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))))
  (sqrt.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))))
  (*.f64 m (-.f64 1 (pow.f64 m 3)))
  (*.f64 (sqrt.f64 v) (+.f64 1 (+.f64 m (*.f64 m m))))
  (-.f64 m (pow.f64 m 3))
  (*.f64 (sqrt.f64 v) (+.f64 1 m))
  (*.f64 (sqrt.f64 (/.f64 m (sqrt.f64 v))) (sqrt.f64 (-.f64 1 m)))
  (*.f64 (sqrt.f64 (/.f64 m (sqrt.f64 v))) (sqrt.f64 (-.f64 1 m)))
  (*.f64 (/.f64 (sqrt.f64 m) (sqrt.f64 (sqrt.f64 v))) (sqrt.f64 (-.f64 1 m)))
  (*.f64 (/.f64 (sqrt.f64 m) (sqrt.f64 (sqrt.f64 v))) (sqrt.f64 (-.f64 1 m)))
  (*.f64 (/.f64 (sqrt.f64 m) (sqrt.f64 (sqrt.f64 v))) (sqrt.f64 (-.f64 1 m)))
  (*.f64 (/.f64 (sqrt.f64 m) (sqrt.f64 (sqrt.f64 v))) (sqrt.f64 (-.f64 1 m)))
  (*.f64 (/.f64 m (sqrt.f64 v)) (-.f64 1 (pow.f64 m 3)))
  (/.f64 (-.f64 m (pow.f64 m 3)) (sqrt.f64 v))
  (-.f64 m (*.f64 m m))
  (*.f64 (/.f64 m (sqrt.f64 v)) (cbrt.f64 (-.f64 1 m)))
  (*.f64 (/.f64 m (sqrt.f64 v)) (sqrt.f64 (-.f64 1 m)))
  (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v)))
  (*.f64 (/.f64 m (sqrt.f64 v)) (-.f64 1 (sqrt.f64 m)))
  (*.f64 (/.f64 m (sqrt.f64 v)) (-.f64 1 (sqrt.f64 m)))
  (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v)))
  (*.f64 (-.f64 1 m) (*.f64 (cbrt.f64 (/.f64 m (sqrt.f64 v))) (cbrt.f64 (/.f64 m (sqrt.f64 v)))))
  (*.f64 (-.f64 1 m) (sqrt.f64 (/.f64 m (sqrt.f64 v))))
  (*.f64 (-.f64 1 m) (/.f64 (*.f64 (cbrt.f64 m) (cbrt.f64 m)) (*.f64 (cbrt.f64 (sqrt.f64 v)) (cbrt.f64 (sqrt.f64 v)))))
  (*.f64 (-.f64 1 m) (/.f64 (*.f64 (cbrt.f64 m) (cbrt.f64 m)) (sqrt.f64 (sqrt.f64 v))))
  (*.f64 (-.f64 1 m) (/.f64 (*.f64 (cbrt.f64 m) (cbrt.f64 m)) (fabs.f64 (cbrt.f64 v))))
  (*.f64 (-.f64 1 m) (/.f64 (*.f64 (cbrt.f64 m) (cbrt.f64 m)) (sqrt.f64 (sqrt.f64 v))))
  (*.f64 (-.f64 1 m) (*.f64 (cbrt.f64 m) (cbrt.f64 m)))
  (*.f64 (-.f64 1 m) (*.f64 (cbrt.f64 m) (cbrt.f64 m)))
  (*.f64 (-.f64 1 m) (/.f64 (sqrt.f64 m) (*.f64 (cbrt.f64 (sqrt.f64 v)) (cbrt.f64 (sqrt.f64 v)))))
  (*.f64 (-.f64 1 m) (/.f64 (sqrt.f64 m) (sqrt.f64 (sqrt.f64 v))))
  (*.f64 (-.f64 1 m) (/.f64 (sqrt.f64 m) (fabs.f64 (cbrt.f64 v))))
  (*.f64 (-.f64 1 m) (/.f64 (sqrt.f64 m) (sqrt.f64 (sqrt.f64 v))))
  (*.f64 (-.f64 1 m) (sqrt.f64 m))
  (*.f64 (-.f64 1 m) (sqrt.f64 m))
  (/.f64 (-.f64 1 m) (*.f64 (cbrt.f64 (sqrt.f64 v)) (cbrt.f64 (sqrt.f64 v))))
  (/.f64 (-.f64 1 m) (sqrt.f64 (sqrt.f64 v)))
  (/.f64 (-.f64 1 m) (fabs.f64 (cbrt.f64 v)))
  (/.f64 (-.f64 1 m) (sqrt.f64 (sqrt.f64 v)))
  (-.f64 1 m)
  (-.f64 1 m)
  (-.f64 1 m)
  (-.f64 m (*.f64 m m))
  (*.f64 (/.f64 m v) (-.f64 1 m))
  (*.f64 (/.f64 m v) (-.f64 1 m))
  (+.f64 (*.f64 (/.f64 m NAN.f64) (-.f64 (/.f64 1 NAN.f64) (/.f64 m NAN.f64))) (*.f64 (*.f64 (/.f64 m v) m) -2))
  (+.f64 (*.f64 m NAN.f64) (*.f64 m (+.f64 (*.f64 (pow.f64 NAN.f64 5) (*.f64 v v)) (*.f64 (pow.f64 NAN.f64 3) v))))
  (+.f64 (*.f64 (/.f64 m v) NAN.f64) (*.f64 (/.f64 m (*.f64 v v)) (+.f64 (pow.f64 NAN.f64 3) (/.f64 (pow.f64 NAN.f64 5) v))))
  (+.f64 (*.f64 (/.f64 m v) NAN.f64) (/.f64 m NAN.f64))
  (*.f64 m (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1))
  (*.f64 m (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1))
  (+.f64 (*.f64 (/.f64 m NAN.f64) (-.f64 (/.f64 m NAN.f64) (*.f64 (/.f64 m NAN.f64) m))) (*.f64 (/.f64 (pow.f64 m 3) v) -2))
  (+.f64 (*.f64 v (*.f64 m (pow.f64 NAN.f64 3))) (*.f64 NAN.f64 (-.f64 m (*.f64 m m))))
  (-.f64 (*.f64 (/.f64 m v) NAN.f64) (*.f64 (*.f64 (/.f64 m v) m) (+.f64 (/.f64 (pow.f64 NAN.f64 3) v) NAN.f64)))
  (-.f64 (/.f64 m NAN.f64) (+.f64 (*.f64 (*.f64 (/.f64 m v) NAN.f64) m) (*.f64 (/.f64 m NAN.f64) m)))
1.690 * * * [progress]: adding candidates to table
1.792 * * [progress]: iteration 4 / 4
1.792 * * * [progress]: picking best candidate
1.802 * * * * [pick]: Picked  #<alt (λ (m v) (*.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (sqrt.f64 m)))>
1.803 * * * [progress]: localizing error
1.812 * * * [progress]: generating rewritten candidates
1.812 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.826 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1.841 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
1.852 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2)
1.863 * * * [progress]: generating series expansions
1.863 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.864 * [approximate]: Taking taylor expansion of (* m (- (/ m v) (+ 1 (/ (pow m 2) v)))) in (m v) around 0
1.864 * [taylor]: Taking taylor expansion of (* m (- (/ m v) (+ 1 (/ (pow m 2) v)))) in v
1.864 * [taylor]: Taking taylor expansion of m in v
1.864 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in v
1.864 * [taylor]: Taking taylor expansion of (/ m v) in v
1.864 * [taylor]: Taking taylor expansion of m in v
1.864 * [taylor]: Taking taylor expansion of v in v
1.865 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in v
1.865 * [taylor]: Taking taylor expansion of 1 in v
1.865 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v
1.865 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.865 * [taylor]: Taking taylor expansion of m in v
1.865 * [taylor]: Taking taylor expansion of v in v
1.865 * [taylor]: Taking taylor expansion of (* m (- (/ m v) (+ 1 (/ (pow m 2) v)))) in m
1.865 * [taylor]: Taking taylor expansion of m in m
1.865 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in m
1.865 * [taylor]: Taking taylor expansion of (/ m v) in m
1.865 * [taylor]: Taking taylor expansion of m in m
1.865 * [taylor]: Taking taylor expansion of v in m
1.865 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in m
1.865 * [taylor]: Taking taylor expansion of 1 in m
1.865 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
1.865 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.865 * [taylor]: Taking taylor expansion of m in m
1.865 * [taylor]: Taking taylor expansion of v in m
1.865 * [taylor]: Taking taylor expansion of (* m (- (/ m v) (+ 1 (/ (pow m 2) v)))) in m
1.865 * [taylor]: Taking taylor expansion of m in m
1.865 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in m
1.865 * [taylor]: Taking taylor expansion of (/ m v) in m
1.865 * [taylor]: Taking taylor expansion of m in m
1.865 * [taylor]: Taking taylor expansion of v in m
1.866 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in m
1.866 * [taylor]: Taking taylor expansion of 1 in m
1.866 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
1.866 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.866 * [taylor]: Taking taylor expansion of m in m
1.866 * [taylor]: Taking taylor expansion of v in m
1.866 * [taylor]: Taking taylor expansion of 0 in v
1.867 * [taylor]: Taking taylor expansion of -1 in v
1.868 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.868 * [taylor]: Taking taylor expansion of v in v
1.870 * [taylor]: Taking taylor expansion of (neg (/ 1 v)) in v
1.870 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.870 * [taylor]: Taking taylor expansion of v in v
1.872 * [approximate]: Taking taylor expansion of (/ (- (/ v m) (+ (/ v (pow m 2)) 1)) m) in (m v) around 0
1.872 * [taylor]: Taking taylor expansion of (/ (- (/ v m) (+ (/ v (pow m 2)) 1)) m) in v
1.872 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in v
1.872 * [taylor]: Taking taylor expansion of (/ v m) in v
1.872 * [taylor]: Taking taylor expansion of v in v
1.873 * [taylor]: Taking taylor expansion of m in v
1.873 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in v
1.873 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
1.873 * [taylor]: Taking taylor expansion of v in v
1.873 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.873 * [taylor]: Taking taylor expansion of m in v
1.873 * [taylor]: Taking taylor expansion of 1 in v
1.873 * [taylor]: Taking taylor expansion of m in v
1.873 * [taylor]: Taking taylor expansion of (/ (- (/ v m) (+ (/ v (pow m 2)) 1)) m) in m
1.873 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in m
1.873 * [taylor]: Taking taylor expansion of (/ v m) in m
1.873 * [taylor]: Taking taylor expansion of v in m
1.873 * [taylor]: Taking taylor expansion of m in m
1.873 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in m
1.873 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.873 * [taylor]: Taking taylor expansion of v in m
1.873 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.873 * [taylor]: Taking taylor expansion of m in m
1.874 * [taylor]: Taking taylor expansion of 1 in m
1.874 * [taylor]: Taking taylor expansion of m in m
1.874 * [taylor]: Taking taylor expansion of (/ (- (/ v m) (+ (/ v (pow m 2)) 1)) m) in m
1.874 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in m
1.874 * [taylor]: Taking taylor expansion of (/ v m) in m
1.874 * [taylor]: Taking taylor expansion of v in m
1.874 * [taylor]: Taking taylor expansion of m in m
1.874 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in m
1.874 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.874 * [taylor]: Taking taylor expansion of v in m
1.874 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.874 * [taylor]: Taking taylor expansion of m in m
1.874 * [taylor]: Taking taylor expansion of 1 in m
1.874 * [taylor]: Taking taylor expansion of m in m
1.875 * [taylor]: Taking taylor expansion of (* -1 v) in v
1.875 * [taylor]: Taking taylor expansion of -1 in v
1.875 * [taylor]: Taking taylor expansion of v in v
1.876 * [taylor]: Taking taylor expansion of v in v
1.878 * [taylor]: Taking taylor expansion of -1 in v
1.881 * [approximate]: Taking taylor expansion of (* (pow (sqrt (/ -1 m)) 2) (- (+ (/ v (pow m 2)) (/ v m)) 1)) in (m v) around 0
1.881 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 m)) 2) (- (+ (/ v (pow m 2)) (/ v m)) 1)) in v
1.881 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 m)) 2) in v
1.881 * [taylor]: Taking taylor expansion of (sqrt (/ -1 m)) in v
1.881 * [taylor]: Taking taylor expansion of (/ -1 m) in v
1.881 * [taylor]: Taking taylor expansion of -1 in v
1.881 * [taylor]: Taking taylor expansion of m in v
1.882 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in v
1.882 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in v
1.882 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
1.882 * [taylor]: Taking taylor expansion of v in v
1.882 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.882 * [taylor]: Taking taylor expansion of m in v
1.882 * [taylor]: Taking taylor expansion of (/ v m) in v
1.882 * [taylor]: Taking taylor expansion of v in v
1.882 * [taylor]: Taking taylor expansion of m in v
1.882 * [taylor]: Taking taylor expansion of 1 in v
1.882 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 m)) 2) (- (+ (/ v (pow m 2)) (/ v m)) 1)) in m
1.882 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 m)) 2) in m
1.882 * [taylor]: Taking taylor expansion of (sqrt (/ -1 m)) in m
1.882 * [taylor]: Taking taylor expansion of (/ -1 m) in m
1.882 * [taylor]: Taking taylor expansion of -1 in m
1.882 * [taylor]: Taking taylor expansion of m in m
1.882 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in m
1.882 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in m
1.882 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.883 * [taylor]: Taking taylor expansion of v in m
1.883 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.883 * [taylor]: Taking taylor expansion of m in m
1.883 * [taylor]: Taking taylor expansion of (/ v m) in m
1.883 * [taylor]: Taking taylor expansion of v in m
1.883 * [taylor]: Taking taylor expansion of m in m
1.883 * [taylor]: Taking taylor expansion of 1 in m
1.883 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 m)) 2) (- (+ (/ v (pow m 2)) (/ v m)) 1)) in m
1.883 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 m)) 2) in m
1.883 * [taylor]: Taking taylor expansion of (sqrt (/ -1 m)) in m
1.883 * [taylor]: Taking taylor expansion of (/ -1 m) in m
1.883 * [taylor]: Taking taylor expansion of -1 in m
1.883 * [taylor]: Taking taylor expansion of m in m
1.883 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in m
1.883 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in m
1.883 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.883 * [taylor]: Taking taylor expansion of v in m
1.883 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.883 * [taylor]: Taking taylor expansion of m in m
1.883 * [taylor]: Taking taylor expansion of (/ v m) in m
1.883 * [taylor]: Taking taylor expansion of v in m
1.883 * [taylor]: Taking taylor expansion of m in m
1.883 * [taylor]: Taking taylor expansion of 1 in m
1.884 * [taylor]: Taking taylor expansion of (* v (pow NAN 2)) in v
1.884 * [taylor]: Taking taylor expansion of v in v
1.884 * [taylor]: Taking taylor expansion of (pow NAN 2) in v
1.884 * [taylor]: Taking taylor expansion of NAN in v
1.886 * [taylor]: Taking taylor expansion of (+ (* 2 (* v (pow NAN 4))) (* (pow NAN 2) v)) in v
1.886 * [taylor]: Taking taylor expansion of (* 2 (* v (pow NAN 4))) in v
1.886 * [taylor]: Taking taylor expansion of 2 in v
1.886 * [taylor]: Taking taylor expansion of (* v (pow NAN 4)) in v
1.886 * [taylor]: Taking taylor expansion of v in v
1.886 * [taylor]: Taking taylor expansion of (pow NAN 4) in v
1.886 * [taylor]: Taking taylor expansion of NAN in v
1.886 * [taylor]: Taking taylor expansion of (* (pow NAN 2) v) in v
1.886 * [taylor]: Taking taylor expansion of (pow NAN 2) in v
1.886 * [taylor]: Taking taylor expansion of NAN in v
1.886 * [taylor]: Taking taylor expansion of v in v
1.891 * [taylor]: Taking taylor expansion of (- (+ (* 2 (* v (pow NAN 4))) (* 3 (* v (pow NAN 6)))) (pow NAN 2)) in v
1.891 * [taylor]: Taking taylor expansion of (+ (* 2 (* v (pow NAN 4))) (* 3 (* v (pow NAN 6)))) in v
1.891 * [taylor]: Taking taylor expansion of (* 2 (* v (pow NAN 4))) in v
1.891 * [taylor]: Taking taylor expansion of 2 in v
1.891 * [taylor]: Taking taylor expansion of (* v (pow NAN 4)) in v
1.891 * [taylor]: Taking taylor expansion of v in v
1.891 * [taylor]: Taking taylor expansion of (pow NAN 4) in v
1.891 * [taylor]: Taking taylor expansion of NAN in v
1.891 * [taylor]: Taking taylor expansion of (* 3 (* v (pow NAN 6))) in v
1.891 * [taylor]: Taking taylor expansion of 3 in v
1.891 * [taylor]: Taking taylor expansion of (* v (pow NAN 6)) in v
1.891 * [taylor]: Taking taylor expansion of v in v
1.891 * [taylor]: Taking taylor expansion of (pow NAN 6) in v
1.892 * [taylor]: Taking taylor expansion of NAN in v
1.892 * [taylor]: Taking taylor expansion of (pow NAN 2) in v
1.892 * [taylor]: Taking taylor expansion of NAN in v
1.897 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1.898 * [approximate]: Taking taylor expansion of (* (sqrt m) (- (/ m v) (+ 1 (/ (pow m 2) v)))) in (m v) around 0
1.898 * [taylor]: Taking taylor expansion of (* (sqrt m) (- (/ m v) (+ 1 (/ (pow m 2) v)))) in v
1.898 * [taylor]: Taking taylor expansion of (sqrt m) in v
1.898 * [taylor]: Taking taylor expansion of m in v
1.898 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in v
1.898 * [taylor]: Taking taylor expansion of (/ m v) in v
1.898 * [taylor]: Taking taylor expansion of m in v
1.898 * [taylor]: Taking taylor expansion of v in v
1.898 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in v
1.898 * [taylor]: Taking taylor expansion of 1 in v
1.898 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v
1.898 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.898 * [taylor]: Taking taylor expansion of m in v
1.898 * [taylor]: Taking taylor expansion of v in v
1.899 * [taylor]: Taking taylor expansion of (* (sqrt m) (- (/ m v) (+ 1 (/ (pow m 2) v)))) in m
1.899 * [taylor]: Taking taylor expansion of (sqrt m) in m
1.899 * [taylor]: Taking taylor expansion of m in m
1.899 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in m
1.899 * [taylor]: Taking taylor expansion of (/ m v) in m
1.899 * [taylor]: Taking taylor expansion of m in m
1.899 * [taylor]: Taking taylor expansion of v in m
1.899 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in m
1.899 * [taylor]: Taking taylor expansion of 1 in m
1.899 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
1.899 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.899 * [taylor]: Taking taylor expansion of m in m
1.899 * [taylor]: Taking taylor expansion of v in m
1.899 * [taylor]: Taking taylor expansion of (* (sqrt m) (- (/ m v) (+ 1 (/ (pow m 2) v)))) in m
1.899 * [taylor]: Taking taylor expansion of (sqrt m) in m
1.899 * [taylor]: Taking taylor expansion of m in m
1.900 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in m
1.900 * [taylor]: Taking taylor expansion of (/ m v) in m
1.900 * [taylor]: Taking taylor expansion of m in m
1.900 * [taylor]: Taking taylor expansion of v in m
1.900 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in m
1.900 * [taylor]: Taking taylor expansion of 1 in m
1.900 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
1.900 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.900 * [taylor]: Taking taylor expansion of m in m
1.900 * [taylor]: Taking taylor expansion of v in m
1.900 * [taylor]: Taking taylor expansion of 0 in v
1.901 * [taylor]: Taking taylor expansion of (neg NAN) in v
1.901 * [taylor]: Taking taylor expansion of NAN in v
1.903 * [taylor]: Taking taylor expansion of (- (/ NAN v) (pow NAN 3)) in v
1.903 * [taylor]: Taking taylor expansion of (/ NAN v) in v
1.903 * [taylor]: Taking taylor expansion of NAN in v
1.903 * [taylor]: Taking taylor expansion of v in v
1.903 * [taylor]: Taking taylor expansion of (pow NAN 3) in v
1.903 * [taylor]: Taking taylor expansion of NAN in v
1.905 * [taylor]: Taking taylor expansion of (- (/ (pow NAN 3) v) (+ (pow NAN 5) (/ NAN v))) in v
1.905 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) v) in v
1.905 * [taylor]: Taking taylor expansion of (pow NAN 3) in v
1.905 * [taylor]: Taking taylor expansion of NAN in v
1.905 * [taylor]: Taking taylor expansion of v in v
1.906 * [taylor]: Taking taylor expansion of (+ (pow NAN 5) (/ NAN v)) in v
1.906 * [taylor]: Taking taylor expansion of (pow NAN 5) in v
1.906 * [taylor]: Taking taylor expansion of NAN in v
1.906 * [taylor]: Taking taylor expansion of (/ NAN v) in v
1.906 * [taylor]: Taking taylor expansion of NAN in v
1.906 * [taylor]: Taking taylor expansion of v in v
1.909 * [approximate]: Taking taylor expansion of (* (- (/ v m) (+ (/ v (pow m 2)) 1)) (sqrt (/ 1 m))) in (m v) around 0
1.909 * [taylor]: Taking taylor expansion of (* (- (/ v m) (+ (/ v (pow m 2)) 1)) (sqrt (/ 1 m))) in v
1.909 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in v
1.909 * [taylor]: Taking taylor expansion of (/ v m) in v
1.909 * [taylor]: Taking taylor expansion of v in v
1.909 * [taylor]: Taking taylor expansion of m in v
1.909 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in v
1.909 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
1.909 * [taylor]: Taking taylor expansion of v in v
1.909 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.909 * [taylor]: Taking taylor expansion of m in v
1.910 * [taylor]: Taking taylor expansion of 1 in v
1.910 * [taylor]: Taking taylor expansion of (sqrt (/ 1 m)) in v
1.910 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.910 * [taylor]: Taking taylor expansion of m in v
1.910 * [taylor]: Taking taylor expansion of (* (- (/ v m) (+ (/ v (pow m 2)) 1)) (sqrt (/ 1 m))) in m
1.910 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in m
1.910 * [taylor]: Taking taylor expansion of (/ v m) in m
1.910 * [taylor]: Taking taylor expansion of v in m
1.910 * [taylor]: Taking taylor expansion of m in m
1.910 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in m
1.910 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.910 * [taylor]: Taking taylor expansion of v in m
1.910 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.910 * [taylor]: Taking taylor expansion of m in m
1.911 * [taylor]: Taking taylor expansion of 1 in m
1.911 * [taylor]: Taking taylor expansion of (sqrt (/ 1 m)) in m
1.911 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.911 * [taylor]: Taking taylor expansion of m in m
1.911 * [taylor]: Taking taylor expansion of (* (- (/ v m) (+ (/ v (pow m 2)) 1)) (sqrt (/ 1 m))) in m
1.911 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in m
1.911 * [taylor]: Taking taylor expansion of (/ v m) in m
1.911 * [taylor]: Taking taylor expansion of v in m
1.911 * [taylor]: Taking taylor expansion of m in m
1.911 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in m
1.911 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.911 * [taylor]: Taking taylor expansion of v in m
1.911 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.911 * [taylor]: Taking taylor expansion of m in m
1.911 * [taylor]: Taking taylor expansion of 1 in m
1.911 * [taylor]: Taking taylor expansion of (sqrt (/ 1 m)) in m
1.911 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.911 * [taylor]: Taking taylor expansion of m in m
1.912 * [taylor]: Taking taylor expansion of 0 in v
1.913 * [taylor]: Taking taylor expansion of (neg (* NAN v)) in v
1.913 * [taylor]: Taking taylor expansion of (* NAN v) in v
1.913 * [taylor]: Taking taylor expansion of NAN in v
1.913 * [taylor]: Taking taylor expansion of v in v
1.915 * [taylor]: Taking taylor expansion of (- (* NAN v) (* (pow NAN 3) v)) in v
1.915 * [taylor]: Taking taylor expansion of (* NAN v) in v
1.915 * [taylor]: Taking taylor expansion of NAN in v
1.915 * [taylor]: Taking taylor expansion of v in v
1.915 * [taylor]: Taking taylor expansion of (* (pow NAN 3) v) in v
1.915 * [taylor]: Taking taylor expansion of (pow NAN 3) in v
1.915 * [taylor]: Taking taylor expansion of NAN in v
1.915 * [taylor]: Taking taylor expansion of v in v
1.919 * [taylor]: Taking taylor expansion of (- (* (pow NAN 3) v) (+ NAN (* (pow NAN 5) v))) in v
1.919 * [taylor]: Taking taylor expansion of (* (pow NAN 3) v) in v
1.919 * [taylor]: Taking taylor expansion of (pow NAN 3) in v
1.919 * [taylor]: Taking taylor expansion of NAN in v
1.919 * [taylor]: Taking taylor expansion of v in v
1.919 * [taylor]: Taking taylor expansion of (+ NAN (* (pow NAN 5) v)) in v
1.919 * [taylor]: Taking taylor expansion of NAN in v
1.919 * [taylor]: Taking taylor expansion of (* (pow NAN 5) v) in v
1.919 * [taylor]: Taking taylor expansion of (pow NAN 5) in v
1.919 * [taylor]: Taking taylor expansion of NAN in v
1.919 * [taylor]: Taking taylor expansion of v in v
1.924 * [approximate]: Taking taylor expansion of (* (sqrt (/ -1 m)) (- (+ (/ v (pow m 2)) (/ v m)) 1)) in (m v) around 0
1.924 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 m)) (- (+ (/ v (pow m 2)) (/ v m)) 1)) in v
1.924 * [taylor]: Taking taylor expansion of (sqrt (/ -1 m)) in v
1.924 * [taylor]: Taking taylor expansion of (/ -1 m) in v
1.924 * [taylor]: Taking taylor expansion of -1 in v
1.924 * [taylor]: Taking taylor expansion of m in v
1.925 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in v
1.925 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in v
1.925 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
1.925 * [taylor]: Taking taylor expansion of v in v
1.925 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.925 * [taylor]: Taking taylor expansion of m in v
1.925 * [taylor]: Taking taylor expansion of (/ v m) in v
1.925 * [taylor]: Taking taylor expansion of v in v
1.925 * [taylor]: Taking taylor expansion of m in v
1.925 * [taylor]: Taking taylor expansion of 1 in v
1.925 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 m)) (- (+ (/ v (pow m 2)) (/ v m)) 1)) in m
1.925 * [taylor]: Taking taylor expansion of (sqrt (/ -1 m)) in m
1.925 * [taylor]: Taking taylor expansion of (/ -1 m) in m
1.925 * [taylor]: Taking taylor expansion of -1 in m
1.925 * [taylor]: Taking taylor expansion of m in m
1.926 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in m
1.926 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in m
1.926 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.926 * [taylor]: Taking taylor expansion of v in m
1.926 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.926 * [taylor]: Taking taylor expansion of m in m
1.926 * [taylor]: Taking taylor expansion of (/ v m) in m
1.926 * [taylor]: Taking taylor expansion of v in m
1.926 * [taylor]: Taking taylor expansion of m in m
1.926 * [taylor]: Taking taylor expansion of 1 in m
1.926 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 m)) (- (+ (/ v (pow m 2)) (/ v m)) 1)) in m
1.926 * [taylor]: Taking taylor expansion of (sqrt (/ -1 m)) in m
1.926 * [taylor]: Taking taylor expansion of (/ -1 m) in m
1.926 * [taylor]: Taking taylor expansion of -1 in m
1.926 * [taylor]: Taking taylor expansion of m in m
1.926 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in m
1.926 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in m
1.926 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.926 * [taylor]: Taking taylor expansion of v in m
1.926 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.926 * [taylor]: Taking taylor expansion of m in m
1.926 * [taylor]: Taking taylor expansion of (/ v m) in m
1.927 * [taylor]: Taking taylor expansion of v in m
1.927 * [taylor]: Taking taylor expansion of m in m
1.927 * [taylor]: Taking taylor expansion of 1 in m
1.927 * [taylor]: Taking taylor expansion of 0 in v
1.928 * [taylor]: Taking taylor expansion of (* NAN v) in v
1.928 * [taylor]: Taking taylor expansion of NAN in v
1.928 * [taylor]: Taking taylor expansion of v in v
1.930 * [taylor]: Taking taylor expansion of (+ (* v NAN) (* v (pow NAN 3))) in v
1.930 * [taylor]: Taking taylor expansion of (* v NAN) in v
1.930 * [taylor]: Taking taylor expansion of v in v
1.930 * [taylor]: Taking taylor expansion of NAN in v
1.930 * [taylor]: Taking taylor expansion of (* v (pow NAN 3)) in v
1.930 * [taylor]: Taking taylor expansion of v in v
1.930 * [taylor]: Taking taylor expansion of (pow NAN 3) in v
1.930 * [taylor]: Taking taylor expansion of NAN in v
1.934 * [taylor]: Taking taylor expansion of (- (+ (* (pow NAN 5) v) (* (pow NAN 3) v)) NAN) in v
1.934 * [taylor]: Taking taylor expansion of (+ (* (pow NAN 5) v) (* (pow NAN 3) v)) in v
1.934 * [taylor]: Taking taylor expansion of (* (pow NAN 5) v) in v
1.934 * [taylor]: Taking taylor expansion of (pow NAN 5) in v
1.934 * [taylor]: Taking taylor expansion of NAN in v
1.934 * [taylor]: Taking taylor expansion of v in v
1.934 * [taylor]: Taking taylor expansion of (* (pow NAN 3) v) in v
1.934 * [taylor]: Taking taylor expansion of (pow NAN 3) in v
1.934 * [taylor]: Taking taylor expansion of NAN in v
1.934 * [taylor]: Taking taylor expansion of v in v
1.934 * [taylor]: Taking taylor expansion of NAN in v
1.938 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
1.938 * [approximate]: Taking taylor expansion of (/ (* (- 1 m) m) v) in (m v) around 0
1.938 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) m) v) in v
1.938 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in v
1.938 * [taylor]: Taking taylor expansion of (- 1 m) in v
1.938 * [taylor]: Taking taylor expansion of 1 in v
1.938 * [taylor]: Taking taylor expansion of m in v
1.938 * [taylor]: Taking taylor expansion of m in v
1.938 * [taylor]: Taking taylor expansion of v in v
1.939 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) m) v) in m
1.939 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m
1.939 * [taylor]: Taking taylor expansion of (- 1 m) in m
1.939 * [taylor]: Taking taylor expansion of 1 in m
1.939 * [taylor]: Taking taylor expansion of m in m
1.939 * [taylor]: Taking taylor expansion of m in m
1.939 * [taylor]: Taking taylor expansion of v in m
1.939 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) m) v) in m
1.939 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m
1.939 * [taylor]: Taking taylor expansion of (- 1 m) in m
1.939 * [taylor]: Taking taylor expansion of 1 in m
1.939 * [taylor]: Taking taylor expansion of m in m
1.939 * [taylor]: Taking taylor expansion of m in m
1.939 * [taylor]: Taking taylor expansion of v in m
1.940 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.940 * [taylor]: Taking taylor expansion of v in v
1.941 * [taylor]: Taking taylor expansion of (neg (/ 1 v)) in v
1.941 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.941 * [taylor]: Taking taylor expansion of v in v
1.942 * [taylor]: Taking taylor expansion of 0 in v
1.944 * [taylor]: Taking taylor expansion of 0 in v
1.946 * [approximate]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in (m v) around 0
1.946 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in v
1.946 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in v
1.946 * [taylor]: Taking taylor expansion of v in v
1.946 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in v
1.946 * [taylor]: Taking taylor expansion of 1 in v
1.946 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.946 * [taylor]: Taking taylor expansion of m in v
1.946 * [taylor]: Taking taylor expansion of m in v
1.947 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in m
1.947 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in m
1.947 * [taylor]: Taking taylor expansion of v in m
1.947 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m
1.947 * [taylor]: Taking taylor expansion of 1 in m
1.947 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.947 * [taylor]: Taking taylor expansion of m in m
1.947 * [taylor]: Taking taylor expansion of m in m
1.948 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in m
1.948 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in m
1.948 * [taylor]: Taking taylor expansion of v in m
1.948 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m
1.948 * [taylor]: Taking taylor expansion of 1 in m
1.948 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.948 * [taylor]: Taking taylor expansion of m in m
1.948 * [taylor]: Taking taylor expansion of m in m
1.948 * [taylor]: Taking taylor expansion of (* -1 v) in v
1.948 * [taylor]: Taking taylor expansion of -1 in v
1.948 * [taylor]: Taking taylor expansion of v in v
1.949 * [taylor]: Taking taylor expansion of v in v
1.951 * [taylor]: Taking taylor expansion of 0 in v
1.952 * [taylor]: Taking taylor expansion of 0 in v
1.954 * [approximate]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in (m v) around 0
1.954 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in v
1.954 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in v
1.954 * [taylor]: Taking taylor expansion of v in v
1.954 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in v
1.954 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.954 * [taylor]: Taking taylor expansion of m in v
1.954 * [taylor]: Taking taylor expansion of 1 in v
1.954 * [taylor]: Taking taylor expansion of m in v
1.955 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in m
1.955 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in m
1.955 * [taylor]: Taking taylor expansion of v in m
1.955 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m
1.955 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.955 * [taylor]: Taking taylor expansion of m in m
1.955 * [taylor]: Taking taylor expansion of 1 in m
1.955 * [taylor]: Taking taylor expansion of m in m
1.955 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in m
1.955 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in m
1.955 * [taylor]: Taking taylor expansion of v in m
1.955 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m
1.955 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.955 * [taylor]: Taking taylor expansion of m in m
1.956 * [taylor]: Taking taylor expansion of 1 in m
1.956 * [taylor]: Taking taylor expansion of m in m
1.956 * [taylor]: Taking taylor expansion of v in v
1.957 * [taylor]: Taking taylor expansion of v in v
1.958 * [taylor]: Taking taylor expansion of 0 in v
1.959 * [taylor]: Taking taylor expansion of 0 in v
1.960 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2)
1.960 * [approximate]: Taking taylor expansion of (/ (- 1 m) v) in (m v) around 0
1.960 * [taylor]: Taking taylor expansion of (/ (- 1 m) v) in v
1.960 * [taylor]: Taking taylor expansion of (- 1 m) in v
1.960 * [taylor]: Taking taylor expansion of 1 in v
1.960 * [taylor]: Taking taylor expansion of m in v
1.960 * [taylor]: Taking taylor expansion of v in v
1.961 * [taylor]: Taking taylor expansion of (/ (- 1 m) v) in m
1.961 * [taylor]: Taking taylor expansion of (- 1 m) in m
1.961 * [taylor]: Taking taylor expansion of 1 in m
1.961 * [taylor]: Taking taylor expansion of m in m
1.961 * [taylor]: Taking taylor expansion of v in m
1.961 * [taylor]: Taking taylor expansion of (/ (- 1 m) v) in m
1.961 * [taylor]: Taking taylor expansion of (- 1 m) in m
1.961 * [taylor]: Taking taylor expansion of 1 in m
1.961 * [taylor]: Taking taylor expansion of m in m
1.961 * [taylor]: Taking taylor expansion of v in m
1.961 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.961 * [taylor]: Taking taylor expansion of v in v
1.962 * [taylor]: Taking taylor expansion of (neg (/ 1 v)) in v
1.962 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.962 * [taylor]: Taking taylor expansion of v in v
1.963 * [taylor]: Taking taylor expansion of 0 in v
1.964 * [taylor]: Taking taylor expansion of 0 in v
1.966 * [approximate]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in (m v) around 0
1.966 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in v
1.966 * [taylor]: Taking taylor expansion of v in v
1.966 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in v
1.966 * [taylor]: Taking taylor expansion of 1 in v
1.966 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.966 * [taylor]: Taking taylor expansion of m in v
1.966 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in m
1.966 * [taylor]: Taking taylor expansion of v in m
1.966 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m
1.966 * [taylor]: Taking taylor expansion of 1 in m
1.966 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.966 * [taylor]: Taking taylor expansion of m in m
1.966 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in m
1.966 * [taylor]: Taking taylor expansion of v in m
1.966 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m
1.966 * [taylor]: Taking taylor expansion of 1 in m
1.966 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.966 * [taylor]: Taking taylor expansion of m in m
1.967 * [taylor]: Taking taylor expansion of (* -1 v) in v
1.967 * [taylor]: Taking taylor expansion of -1 in v
1.967 * [taylor]: Taking taylor expansion of v in v
1.967 * [taylor]: Taking taylor expansion of v in v
1.968 * [taylor]: Taking taylor expansion of 0 in v
1.969 * [taylor]: Taking taylor expansion of 0 in v
1.971 * [taylor]: Taking taylor expansion of 0 in v
1.972 * [approximate]: Taking taylor expansion of (* -1 (* v (+ (/ 1 m) 1))) in (m v) around 0
1.972 * [taylor]: Taking taylor expansion of (* -1 (* v (+ (/ 1 m) 1))) in v
1.972 * [taylor]: Taking taylor expansion of -1 in v
1.972 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in v
1.972 * [taylor]: Taking taylor expansion of v in v
1.972 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in v
1.972 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.972 * [taylor]: Taking taylor expansion of m in v
1.972 * [taylor]: Taking taylor expansion of 1 in v
1.972 * [taylor]: Taking taylor expansion of (* -1 (* v (+ (/ 1 m) 1))) in m
1.972 * [taylor]: Taking taylor expansion of -1 in m
1.972 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in m
1.972 * [taylor]: Taking taylor expansion of v in m
1.972 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m
1.972 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.972 * [taylor]: Taking taylor expansion of m in m
1.972 * [taylor]: Taking taylor expansion of 1 in m
1.972 * [taylor]: Taking taylor expansion of (* -1 (* v (+ (/ 1 m) 1))) in m
1.972 * [taylor]: Taking taylor expansion of -1 in m
1.972 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in m
1.972 * [taylor]: Taking taylor expansion of v in m
1.972 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m
1.972 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.972 * [taylor]: Taking taylor expansion of m in m
1.972 * [taylor]: Taking taylor expansion of 1 in m
1.972 * [taylor]: Taking taylor expansion of (* -1 v) in v
1.972 * [taylor]: Taking taylor expansion of -1 in v
1.972 * [taylor]: Taking taylor expansion of v in v
1.973 * [taylor]: Taking taylor expansion of (neg v) in v
1.973 * [taylor]: Taking taylor expansion of v in v
1.974 * [taylor]: Taking taylor expansion of 0 in v
1.976 * [taylor]: Taking taylor expansion of 0 in v
1.977 * [taylor]: Taking taylor expansion of 0 in v
1.979 * * * [progress]: simplifying candidates
1.983 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (sqrt.f64 m))
  (*.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (sqrt.f64 m))
  (+.f64 (+.f64 (log.f64 (sqrt.f64 m)) (log.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1))) (log.f64 (sqrt.f64 m)))
  (+.f64 (log.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1))) (log.f64 (sqrt.f64 m)))
  (exp.f64 (*.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (sqrt.f64 m)))
  (log.f64 (*.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (sqrt.f64 m)))
  (*.f64 (*.f64 (*.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (sqrt.f64 m)) (*.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (sqrt.f64 m))) (*.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (sqrt.f64 m)))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (sqrt.f64 m))) (cbrt.f64 (*.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (sqrt.f64 m))))
  (cbrt.f64 (*.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (sqrt.f64 m)))
  (*.f64 (*.f64 (*.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1))) (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1))) (*.f64 (*.f64 (sqrt.f64 m) (sqrt.f64 m)) (sqrt.f64 m)))
  (*.f64 (*.f64 (*.f64 (*.f64 (sqrt.f64 m) (sqrt.f64 m)) (sqrt.f64 m)) (*.f64 (*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1))) (*.f64 (*.f64 (sqrt.f64 m) (sqrt.f64 m)) (sqrt.f64 m)))
  (sqrt.f64 (*.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (sqrt.f64 m)))
  (sqrt.f64 (*.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (sqrt.f64 m)))
  (*.f64 (*.f64 (sqrt.f64 m) (-.f64 (pow.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 3) (pow.f64 1 3))) (sqrt.f64 m))
  (*.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) (*.f64 m (/.f64 (-.f64 1 m) v))) (*.f64 1 1))) (sqrt.f64 m))
  (*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) (sqrt.f64 m))
  (*.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (*.f64 (cbrt.f64 (sqrt.f64 m)) (cbrt.f64 (sqrt.f64 m))))
  (*.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (sqrt.f64 (sqrt.f64 m)))
  (*.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (sqrt.f64 (*.f64 (cbrt.f64 m) (cbrt.f64 m))))
  (*.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (sqrt.f64 (sqrt.f64 m)))
  (*.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (sqrt.f64 1))
  (*.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) 1)
  (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1))
  (+.f64 (log.f64 (sqrt.f64 m)) (log.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (exp.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (log.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (*.f64 (*.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1))) (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1))) (cbrt.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1))))
  (cbrt.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (*.f64 (*.f64 (*.f64 (sqrt.f64 m) (sqrt.f64 m)) (sqrt.f64 m)) (*.f64 (*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (sqrt.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (sqrt.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (*.f64 (sqrt.f64 (sqrt.f64 m)) (sqrt.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (*.f64 (sqrt.f64 (sqrt.f64 m)) (sqrt.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (*.f64 (sqrt.f64 (sqrt.f64 m)) (sqrt.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (*.f64 (sqrt.f64 (sqrt.f64 m)) (sqrt.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (*.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) (sqrt.f64 m))
  (*.f64 (neg.f64 1) (sqrt.f64 m))
  (*.f64 (sqrt.f64 m) (*.f64 m (/.f64 (-.f64 1 m) v)))
  (*.f64 (sqrt.f64 m) (neg.f64 1))
  (*.f64 (sqrt.f64 m) (-.f64 (pow.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 3) (pow.f64 1 3)))
  (*.f64 (sqrt.f64 m) (-.f64 (*.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) (*.f64 m (/.f64 (-.f64 1 m) v))) (*.f64 1 1)))
  (*.f64 (cbrt.f64 (sqrt.f64 m)) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1))
  (*.f64 (sqrt.f64 (sqrt.f64 m)) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1))
  (*.f64 (sqrt.f64 (cbrt.f64 m)) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1))
  (*.f64 (sqrt.f64 (sqrt.f64 m)) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1))
  (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1))
  (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1))
  (*.f64 (sqrt.f64 m) (*.f64 (cbrt.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (cbrt.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1))))
  (*.f64 (sqrt.f64 m) (sqrt.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (*.f64 (sqrt.f64 m) 1)
  (*.f64 m (/.f64 (-.f64 1 m) v))
  (+.f64 (log.f64 m) (-.f64 (log.f64 (-.f64 1 m)) (log.f64 v)))
  (+.f64 (log.f64 m) (log.f64 (/.f64 (-.f64 1 m) v)))
  (exp.f64 (*.f64 m (/.f64 (-.f64 1 m) v)))
  (log.f64 (*.f64 m (/.f64 (-.f64 1 m) v)))
  (*.f64 (*.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) (*.f64 m (/.f64 (-.f64 1 m) v))) (*.f64 m (/.f64 (-.f64 1 m) v)))
  (*.f64 (cbrt.f64 (*.f64 m (/.f64 (-.f64 1 m) v))) (cbrt.f64 (*.f64 m (/.f64 (-.f64 1 m) v))))
  (cbrt.f64 (*.f64 m (/.f64 (-.f64 1 m) v)))
  (*.f64 (*.f64 (*.f64 m m) m) (*.f64 (*.f64 (/.f64 (-.f64 1 m) v) (/.f64 (-.f64 1 m) v)) (/.f64 (-.f64 1 m) v)))
  (*.f64 (*.f64 (*.f64 m m) m) (/.f64 (*.f64 (*.f64 (-.f64 1 m) (-.f64 1 m)) (-.f64 1 m)) (*.f64 (*.f64 v v) v)))
  (sqrt.f64 (*.f64 m (/.f64 (-.f64 1 m) v)))
  (sqrt.f64 (*.f64 m (/.f64 (-.f64 1 m) v)))
  (*.f64 (sqrt.f64 m) (sqrt.f64 (/.f64 (-.f64 1 m) v)))
  (*.f64 (sqrt.f64 m) (sqrt.f64 (/.f64 (-.f64 1 m) v)))
  (*.f64 (sqrt.f64 m) (/.f64 (sqrt.f64 (-.f64 1 m)) (sqrt.f64 v)))
  (*.f64 (sqrt.f64 m) (/.f64 (sqrt.f64 (-.f64 1 m)) (sqrt.f64 v)))
  (*.f64 m (-.f64 1 m))
  (*.f64 (cbrt.f64 m) (/.f64 (-.f64 1 m) v))
  (*.f64 (sqrt.f64 m) (/.f64 (-.f64 1 m) v))
  (*.f64 m (/.f64 (-.f64 1 m) v))
  (*.f64 m (*.f64 (cbrt.f64 (/.f64 (-.f64 1 m) v)) (cbrt.f64 (/.f64 (-.f64 1 m) v))))
  (*.f64 m (sqrt.f64 (/.f64 (-.f64 1 m) v)))
  (*.f64 m (/.f64 (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m))) (*.f64 (cbrt.f64 v) (cbrt.f64 v))))
  (*.f64 m (/.f64 (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m))) (sqrt.f64 v)))
  (*.f64 m (/.f64 (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m))) 1))
  (*.f64 m (/.f64 (sqrt.f64 (-.f64 1 m)) (*.f64 (cbrt.f64 v) (cbrt.f64 v))))
  (*.f64 m (/.f64 (sqrt.f64 (-.f64 1 m)) (sqrt.f64 v)))
  (*.f64 m (/.f64 (sqrt.f64 (-.f64 1 m)) 1))
  (*.f64 m (/.f64 1 (*.f64 (cbrt.f64 v) (cbrt.f64 v))))
  (*.f64 m (/.f64 1 (sqrt.f64 v)))
  (*.f64 m (/.f64 1 1))
  (*.f64 m (/.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 m)) (*.f64 (cbrt.f64 v) (cbrt.f64 v))))
  (*.f64 m (/.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 m)) (sqrt.f64 v)))
  (*.f64 m (/.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 m)) 1))
  (*.f64 m (/.f64 (+.f64 1 (sqrt.f64 m)) (*.f64 (cbrt.f64 v) (cbrt.f64 v))))
  (*.f64 m (/.f64 (+.f64 1 (sqrt.f64 m)) (sqrt.f64 v)))
  (*.f64 m (/.f64 (+.f64 1 (sqrt.f64 m)) 1))
  (*.f64 m (/.f64 1 (*.f64 (cbrt.f64 v) (cbrt.f64 v))))
  (*.f64 m (/.f64 1 (sqrt.f64 v)))
  (*.f64 m (/.f64 1 1))
  (*.f64 m 1)
  (*.f64 m (-.f64 1 m))
  (-.f64 (log.f64 (-.f64 1 m)) (log.f64 v))
  (exp.f64 (/.f64 (-.f64 1 m) v))
  (log.f64 (/.f64 (-.f64 1 m) v))
  (*.f64 (*.f64 (/.f64 (-.f64 1 m) v) (/.f64 (-.f64 1 m) v)) (/.f64 (-.f64 1 m) v))
  (*.f64 (cbrt.f64 (/.f64 (-.f64 1 m) v)) (cbrt.f64 (/.f64 (-.f64 1 m) v)))
  (cbrt.f64 (/.f64 (-.f64 1 m) v))
  (/.f64 (*.f64 (*.f64 (-.f64 1 m) (-.f64 1 m)) (-.f64 1 m)) (*.f64 (*.f64 v v) v))
  (sqrt.f64 (/.f64 (-.f64 1 m) v))
  (sqrt.f64 (/.f64 (-.f64 1 m) v))
  (neg.f64 (-.f64 1 m))
  (neg.f64 v)
  (/.f64 (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m))) (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 v))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m))) (sqrt.f64 v))
  (/.f64 (cbrt.f64 (-.f64 1 m)) (sqrt.f64 v))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m))) 1)
  (/.f64 (cbrt.f64 (-.f64 1 m)) v)
  (/.f64 (sqrt.f64 (-.f64 1 m)) (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 (sqrt.f64 (-.f64 1 m)) (cbrt.f64 v))
  (/.f64 (sqrt.f64 (-.f64 1 m)) (sqrt.f64 v))
  (/.f64 (sqrt.f64 (-.f64 1 m)) (sqrt.f64 v))
  (/.f64 (sqrt.f64 (-.f64 1 m)) 1)
  (/.f64 (sqrt.f64 (-.f64 1 m)) v)
  (/.f64 1 (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 (-.f64 1 m) (cbrt.f64 v))
  (/.f64 1 (sqrt.f64 v))
  (/.f64 (-.f64 1 m) (sqrt.f64 v))
  (/.f64 1 1)
  (/.f64 (-.f64 1 m) v)
  (/.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 m)) (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 (-.f64 (sqrt.f64 1) (sqrt.f64 m)) (cbrt.f64 v))
  (/.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 m)) (sqrt.f64 v))
  (/.f64 (-.f64 (sqrt.f64 1) (sqrt.f64 m)) (sqrt.f64 v))
  (/.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 m)) 1)
  (/.f64 (-.f64 (sqrt.f64 1) (sqrt.f64 m)) v)
  (/.f64 (+.f64 1 (sqrt.f64 m)) (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 (-.f64 1 (sqrt.f64 m)) (cbrt.f64 v))
  (/.f64 (+.f64 1 (sqrt.f64 m)) (sqrt.f64 v))
  (/.f64 (-.f64 1 (sqrt.f64 m)) (sqrt.f64 v))
  (/.f64 (+.f64 1 (sqrt.f64 m)) 1)
  (/.f64 (-.f64 1 (sqrt.f64 m)) v)
  (/.f64 1 (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 (-.f64 1 m) (cbrt.f64 v))
  (/.f64 1 (sqrt.f64 v))
  (/.f64 (-.f64 1 m) (sqrt.f64 v))
  (/.f64 1 1)
  (/.f64 (-.f64 1 m) v)
  (/.f64 1 v)
  (/.f64 m v)
  (/.f64 v (-.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 (cbrt.f64 (-.f64 1 m)))
  (/.f64 v (sqrt.f64 (-.f64 1 m)))
  (/.f64 v (-.f64 1 m))
  (/.f64 v (-.f64 (sqrt.f64 1) (sqrt.f64 m)))
  (/.f64 v (-.f64 1 (sqrt.f64 m)))
  (/.f64 v (-.f64 1 m))
  (/.f64 (-.f64 1 m) (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 (-.f64 1 m) (sqrt.f64 v))
  (/.f64 (-.f64 1 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 (*.f64 2 (/.f64 (*.f64 m (pow.f64 NAN.f64 4)) v)) (/.f64 (*.f64 m (pow.f64 NAN.f64 2)) v)) (+.f64 (/.f64 (*.f64 (pow.f64 m 2) (pow.f64 NAN.f64 2)) v) (pow.f64 NAN.f64 2)))
  (-.f64 (+.f64 (/.f64 (*.f64 (pow.f64 m 2) NAN.f64) v) (/.f64 (*.f64 (pow.f64 m 3) (pow.f64 NAN.f64 3)) v)) (+.f64 (*.f64 m NAN.f64) (/.f64 (*.f64 (pow.f64 m 3) NAN.f64) v)))
  (-.f64 (/.f64 (*.f64 m NAN.f64) v) (+.f64 NAN.f64 (+.f64 (/.f64 (*.f64 (pow.f64 m 2) NAN.f64) v) (/.f64 (*.f64 m (pow.f64 NAN.f64 3)) v))))
  (-.f64 (+.f64 (/.f64 (*.f64 m NAN.f64) v) (/.f64 (*.f64 m (pow.f64 NAN.f64 3)) v)) (+.f64 NAN.f64 (/.f64 (*.f64 (pow.f64 m 2) NAN.f64) 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 (/.f64 1 v) (/.f64 m v))
  (-.f64 (/.f64 1 v) (/.f64 m v))
  (-.f64 (/.f64 1 v) (/.f64 m v))
2.104 * * [simplify]: iteration  0 :  4966  enodes  (cost  2370 )
2.105 * * [simplify]: iteration  1 :  4966  enodes  (cost  2370 )
2.116 * [simplify]: Simplified to:
   (*.f64 m (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1))
  (*.f64 m (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1))
  (log.f64 (*.f64 m (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (log.f64 (*.f64 m (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (exp.f64 (*.f64 m (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (log.f64 (*.f64 m (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (pow.f64 (*.f64 m (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) 3)
  (*.f64 (cbrt.f64 (*.f64 m (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1))) (cbrt.f64 (*.f64 m (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1))))
  (cbrt.f64 (*.f64 m (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (pow.f64 (*.f64 m (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) 3)
  (pow.f64 (*.f64 m (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) 3)
  (sqrt.f64 (*.f64 m (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (sqrt.f64 (*.f64 m (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (*.f64 m (-.f64 (pow.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 3) 1))
  (+.f64 (neg.f64 m) (*.f64 (pow.f64 m 3) (*.f64 (/.f64 (-.f64 1 m) v) (/.f64 (-.f64 1 m) v))))
  (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1))
  (*.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (*.f64 (cbrt.f64 (sqrt.f64 m)) (cbrt.f64 (sqrt.f64 m))))
  (*.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (sqrt.f64 (sqrt.f64 m)))
  (*.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (fabs.f64 (cbrt.f64 m)))
  (*.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (sqrt.f64 (sqrt.f64 m)))
  (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1))
  (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1))
  (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1))
  (log.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (exp.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (log.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (pow.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) 3)
  (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1))) (cbrt.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1))))
  (cbrt.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (pow.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) 3)
  (sqrt.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (sqrt.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (*.f64 (sqrt.f64 (sqrt.f64 m)) (sqrt.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (*.f64 (sqrt.f64 (sqrt.f64 m)) (sqrt.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (*.f64 (sqrt.f64 (sqrt.f64 m)) (sqrt.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (*.f64 (sqrt.f64 (sqrt.f64 m)) (sqrt.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (*.f64 (/.f64 (-.f64 1 m) v) (pow.f64 m 3/2))
  (neg.f64 (sqrt.f64 m))
  (*.f64 (/.f64 (-.f64 1 m) v) (pow.f64 m 3/2))
  (neg.f64 (sqrt.f64 m))
  (*.f64 (sqrt.f64 m) (-.f64 (pow.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 3) 1))
  (*.f64 (sqrt.f64 m) (-.f64 (*.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) (*.f64 m (/.f64 (-.f64 1 m) v))) 1))
  (*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) (cbrt.f64 (sqrt.f64 m)))
  (*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) (sqrt.f64 (sqrt.f64 m)))
  (*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) (sqrt.f64 (cbrt.f64 m)))
  (*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) (sqrt.f64 (sqrt.f64 m)))
  (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1))
  (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1))
  (*.f64 (sqrt.f64 m) (*.f64 (cbrt.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (cbrt.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1))))
  (*.f64 (sqrt.f64 m) (sqrt.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)))
  (sqrt.f64 m)
  (*.f64 m (/.f64 (-.f64 1 m) v))
  (log.f64 (*.f64 m (/.f64 (-.f64 1 m) v)))
  (log.f64 (*.f64 m (/.f64 (-.f64 1 m) v)))
  (exp.f64 (*.f64 m (/.f64 (-.f64 1 m) v)))
  (log.f64 (*.f64 m (/.f64 (-.f64 1 m) v)))
  (pow.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 3)
  (*.f64 (cbrt.f64 (*.f64 m (/.f64 (-.f64 1 m) v))) (cbrt.f64 (*.f64 m (/.f64 (-.f64 1 m) v))))
  (cbrt.f64 (*.f64 m (/.f64 (-.f64 1 m) v)))
  (pow.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 3)
  (pow.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 3)
  (sqrt.f64 (*.f64 m (/.f64 (-.f64 1 m) v)))
  (sqrt.f64 (*.f64 m (/.f64 (-.f64 1 m) v)))
  (*.f64 (sqrt.f64 m) (sqrt.f64 (/.f64 (-.f64 1 m) v)))
  (*.f64 (sqrt.f64 m) (sqrt.f64 (/.f64 (-.f64 1 m) v)))
  (*.f64 (sqrt.f64 m) (/.f64 (sqrt.f64 (-.f64 1 m)) (sqrt.f64 v)))
  (*.f64 (sqrt.f64 m) (/.f64 (sqrt.f64 (-.f64 1 m)) (sqrt.f64 v)))
  (*.f64 m (-.f64 1 m))
  (*.f64 (/.f64 (-.f64 1 m) v) (cbrt.f64 m))
  (*.f64 (sqrt.f64 m) (/.f64 (-.f64 1 m) v))
  (*.f64 m (/.f64 (-.f64 1 m) v))
  (*.f64 m (*.f64 (cbrt.f64 (/.f64 (-.f64 1 m) v)) (cbrt.f64 (/.f64 (-.f64 1 m) v))))
  (*.f64 m (sqrt.f64 (/.f64 (-.f64 1 m) v)))
  (*.f64 m (/.f64 (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m))) (*.f64 (cbrt.f64 v) (cbrt.f64 v))))
  (*.f64 m (/.f64 (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m))) (sqrt.f64 v)))
  (*.f64 m (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m))))
  (*.f64 m (/.f64 (sqrt.f64 (-.f64 1 m)) (*.f64 (cbrt.f64 v) (cbrt.f64 v))))
  (*.f64 m (/.f64 (sqrt.f64 (-.f64 1 m)) (sqrt.f64 v)))
  (*.f64 m (sqrt.f64 (-.f64 1 m)))
  (/.f64 m (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 m (sqrt.f64 v))
  m
  (/.f64 (+.f64 m (pow.f64 m 3/2)) (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 (+.f64 m (pow.f64 m 3/2)) (sqrt.f64 v))
  (+.f64 m (pow.f64 m 3/2))
  (/.f64 (+.f64 m (pow.f64 m 3/2)) (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 (+.f64 m (pow.f64 m 3/2)) (sqrt.f64 v))
  (+.f64 m (pow.f64 m 3/2))
  (/.f64 m (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 m (sqrt.f64 v))
  m
  m
  (*.f64 m (-.f64 1 m))
  (log.f64 (/.f64 (-.f64 1 m) v))
  (exp.f64 (/.f64 (-.f64 1 m) v))
  (log.f64 (/.f64 (-.f64 1 m) v))
  (pow.f64 (/.f64 (-.f64 1 m) v) 3)
  (*.f64 (cbrt.f64 (/.f64 (-.f64 1 m) v)) (cbrt.f64 (/.f64 (-.f64 1 m) v)))
  (cbrt.f64 (/.f64 (-.f64 1 m) v))
  (pow.f64 (/.f64 (-.f64 1 m) v) 3)
  (sqrt.f64 (/.f64 (-.f64 1 m) v))
  (sqrt.f64 (/.f64 (-.f64 1 m) v))
  (+.f64 m -1)
  (neg.f64 v)
  (/.f64 (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m))) (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 v))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m))) (sqrt.f64 v))
  (/.f64 (cbrt.f64 (-.f64 1 m)) (sqrt.f64 v))
  (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m)))
  (/.f64 (cbrt.f64 (-.f64 1 m)) v)
  (/.f64 (sqrt.f64 (-.f64 1 m)) (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 (sqrt.f64 (-.f64 1 m)) (cbrt.f64 v))
  (/.f64 (sqrt.f64 (-.f64 1 m)) (sqrt.f64 v))
  (/.f64 (sqrt.f64 (-.f64 1 m)) (sqrt.f64 v))
  (sqrt.f64 (-.f64 1 m))
  (/.f64 (sqrt.f64 (-.f64 1 m)) v)
  (/.f64 1 (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 (-.f64 1 m) (cbrt.f64 v))
  (/.f64 1 (sqrt.f64 v))
  (/.f64 (-.f64 1 m) (sqrt.f64 v))
  1
  (/.f64 (-.f64 1 m) v)
  (/.f64 (+.f64 (sqrt.f64 m) 1) (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 (-.f64 1 (sqrt.f64 m)) (cbrt.f64 v))
  (/.f64 (+.f64 (sqrt.f64 m) 1) (sqrt.f64 v))
  (/.f64 (-.f64 1 (sqrt.f64 m)) (sqrt.f64 v))
  (+.f64 (sqrt.f64 m) 1)
  (/.f64 (-.f64 1 (sqrt.f64 m)) v)
  (/.f64 (+.f64 (sqrt.f64 m) 1) (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 (-.f64 1 (sqrt.f64 m)) (cbrt.f64 v))
  (/.f64 (+.f64 (sqrt.f64 m) 1) (sqrt.f64 v))
  (/.f64 (-.f64 1 (sqrt.f64 m)) (sqrt.f64 v))
  (+.f64 (sqrt.f64 m) 1)
  (/.f64 (-.f64 1 (sqrt.f64 m)) v)
  (/.f64 1 (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 (-.f64 1 m) (cbrt.f64 v))
  (/.f64 1 (sqrt.f64 v))
  (/.f64 (-.f64 1 m) (sqrt.f64 v))
  1
  (/.f64 (-.f64 1 m) v)
  (/.f64 1 v)
  (/.f64 m v)
  (/.f64 v (-.f64 1 m))
  (/.f64 1 v)
  (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))
  (*.f64 v (+.f64 m 1))
  (/.f64 v (cbrt.f64 (-.f64 1 m)))
  (/.f64 v (sqrt.f64 (-.f64 1 m)))
  (/.f64 v (-.f64 1 m))
  (/.f64 v (-.f64 1 (sqrt.f64 m)))
  (/.f64 v (-.f64 1 (sqrt.f64 m)))
  (/.f64 v (-.f64 1 m))
  (/.f64 (-.f64 1 m) (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 (-.f64 1 m) (sqrt.f64 v))
  (-.f64 1 m)
  (-.f64 (*.f64 m (/.f64 m v)) (+.f64 m (/.f64 (pow.f64 m 3) v)))
  (-.f64 (*.f64 m (/.f64 m v)) (+.f64 m (/.f64 (pow.f64 m 3) v)))
  (+.f64 (*.f64 2 (*.f64 (/.f64 m v) (pow.f64 NAN.f64 4))) (-.f64 (*.f64 (pow.f64 NAN.f64 2) (*.f64 m (/.f64 (-.f64 1 m) v))) (pow.f64 NAN.f64 2)))
  (+.f64 (*.f64 (*.f64 m (/.f64 m v)) NAN.f64) (-.f64 (*.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (pow.f64 NAN.f64 3) NAN.f64)) (*.f64 m NAN.f64)))
  (-.f64 (*.f64 (/.f64 m v) NAN.f64) (+.f64 (*.f64 (/.f64 m v) (pow.f64 NAN.f64 3)) (*.f64 (+.f64 (*.f64 m (/.f64 m v)) 1) NAN.f64)))
  (-.f64 (*.f64 (/.f64 m v) (+.f64 NAN.f64 (pow.f64 NAN.f64 3))) (*.f64 (+.f64 (*.f64 m (/.f64 m v)) 1) NAN.f64))
  (*.f64 m (/.f64 (-.f64 1 m) v))
  (*.f64 m (/.f64 (-.f64 1 m) v))
  (*.f64 m (/.f64 (-.f64 1 m) v))
  (/.f64 (-.f64 1 m) v)
  (/.f64 (-.f64 1 m) v)
  (/.f64 (-.f64 1 m) v)
2.117 * * * [progress]: adding candidates to table
2.219 * [progress]: [Phase 3 of 3] Extracting.
2.219 * * [regime]: Finding splitpoints for: (#<alt (λ (m v) (*.f64 (*.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)))))> #<alt (λ (m v) (*.f64 (-.f64 (*.f64 (*.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))) 1) m))> #<alt (λ (m v) (*.f64 (*.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (sqrt.f64 (sqrt.f64 m))) (sqrt.f64 (sqrt.f64 m))))> #<alt (λ (m v) (/.f64 (-.f64 (*.f64 (/.f64 (pow.f64 m 3) v) (*.f64 (-.f64 1 m) (/.f64 (-.f64 1 m) v))) m) (+.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))> #<alt (λ (m v) (/.f64 (*.f64 m (+.f64 (*.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) (*.f64 (/.f64 m v) (-.f64 1 m))) -1)) (+.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1)))> #<alt (λ (m v) (*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) m))> #<alt (λ (m v) (*.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (sqrt.f64 m)))> #<alt (λ (m v) (*.f64 (-.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1) m))> #<alt (λ (m v) (-.f64 (*.f64 m (/.f64 m v)) (+.f64 m (/.f64 (pow.f64 m 3) v))))>)
2.221 * * * [regime-changes]: Trying 2 branch expressions: (v m)
2.222 * * * * [regimes]: Trying to branch on v from (#<alt (λ (m v) (*.f64 (*.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)))))> #<alt (λ (m v) (*.f64 (-.f64 (*.f64 (*.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))) 1) m))> #<alt (λ (m v) (*.f64 (*.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (sqrt.f64 (sqrt.f64 m))) (sqrt.f64 (sqrt.f64 m))))> #<alt (λ (m v) (/.f64 (-.f64 (*.f64 (/.f64 (pow.f64 m 3) v) (*.f64 (-.f64 1 m) (/.f64 (-.f64 1 m) v))) m) (+.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))> #<alt (λ (m v) (/.f64 (*.f64 m (+.f64 (*.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) (*.f64 (/.f64 m v) (-.f64 1 m))) -1)) (+.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1)))> #<alt (λ (m v) (*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) m))> #<alt (λ (m v) (*.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (sqrt.f64 m)))> #<alt (λ (m v) (*.f64 (-.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1) m))> #<alt (λ (m v) (-.f64 (*.f64 m (/.f64 m v)) (+.f64 m (/.f64 (pow.f64 m 3) v))))>)
2.244 * * * * [regimes]: Trying to branch on m from (#<alt (λ (m v) (*.f64 (*.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)))))> #<alt (λ (m v) (*.f64 (-.f64 (*.f64 (*.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))) 1) m))> #<alt (λ (m v) (*.f64 (*.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (sqrt.f64 (sqrt.f64 m))) (sqrt.f64 (sqrt.f64 m))))> #<alt (λ (m v) (/.f64 (-.f64 (*.f64 (/.f64 (pow.f64 m 3) v) (*.f64 (-.f64 1 m) (/.f64 (-.f64 1 m) v))) m) (+.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))> #<alt (λ (m v) (/.f64 (*.f64 m (+.f64 (*.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) (*.f64 (/.f64 m v) (-.f64 1 m))) -1)) (+.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1)))> #<alt (λ (m v) (*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) m))> #<alt (λ (m v) (*.f64 (*.f64 (sqrt.f64 m) (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1)) (sqrt.f64 m)))> #<alt (λ (m v) (*.f64 (-.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1) m))> #<alt (λ (m v) (-.f64 (*.f64 m (/.f64 m v)) (+.f64 m (/.f64 (pow.f64 m 3) v))))>)
2.261 * * * [regime]: Found split indices: #<option (#s(si 8 255))>
2.262 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (*.f64 m (/.f64 m v)) (+.f64 m (/.f64 (pow.f64 m 3) v)))
2.265 * * [simplify]: iteration  0 :  45  enodes  (cost  19 )
2.265 * * [simplify]: iteration  1 :  45  enodes  (cost  19 )
2.265 * [simplify]: Simplified to:
   (-.f64 (*.f64 m (/.f64 m v)) (+.f64 m (/.f64 (pow.f64 m 3) v)))
2.990 * [regime-testing]: End program error score: 0.16774690030665926