1.027 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.078 * * * [progress]: [2/2] Setting up program.
0.081 * [progress]: [Phase 2 of 3] Improving.
0.083 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))
0.761 * * [simplify]: iteration  0 :  4932  enodes  (cost  19 )
0.762 * * [simplify]: iteration  1 :  4932  enodes  (cost  19 )
0.763 * [simplify]: Simplified to:
   (*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))
0.767 * * [progress]: iteration 1 / 4
0.767 * * * [progress]: picking best candidate
0.769 * * * * [pick]: Picked  #<alt (λ (m v) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m)))>
0.769 * * * [progress]: localizing error
0.779 * * * [progress]: generating rewritten candidates
0.779 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.806 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
0.814 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1)
0.826 * * * [progress]: generating series expansions
0.826 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.833 * [approximate]: Taking taylor expansion of (* (- 1 m) (- (/ m v) (+ 1 (/ (pow m 2) v)))) in (m v) around 0
0.833 * [taylor]: Taking taylor expansion of (* (- 1 m) (- (/ m v) (+ 1 (/ (pow m 2) v)))) in v
0.833 * [taylor]: Taking taylor expansion of (- 1 m) in v
0.833 * [taylor]: Taking taylor expansion of 1 in v
0.834 * [taylor]: Taking taylor expansion of m in v
0.834 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in v
0.834 * [taylor]: Taking taylor expansion of (/ m v) in v
0.834 * [taylor]: Taking taylor expansion of m in v
0.834 * [taylor]: Taking taylor expansion of v in v
0.834 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in v
0.834 * [taylor]: Taking taylor expansion of 1 in v
0.834 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v
0.834 * [taylor]: Taking taylor expansion of (pow m 2) in v
0.834 * [taylor]: Taking taylor expansion of m in v
0.834 * [taylor]: Taking taylor expansion of v in v
0.835 * [taylor]: Taking taylor expansion of (* (- 1 m) (- (/ m v) (+ 1 (/ (pow m 2) v)))) in m
0.835 * [taylor]: Taking taylor expansion of (- 1 m) in m
0.835 * [taylor]: Taking taylor expansion of 1 in m
0.835 * [taylor]: Taking taylor expansion of m in m
0.835 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in m
0.835 * [taylor]: Taking taylor expansion of (/ m v) in m
0.835 * [taylor]: Taking taylor expansion of m in m
0.835 * [taylor]: Taking taylor expansion of v in m
0.835 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in m
0.835 * [taylor]: Taking taylor expansion of 1 in m
0.835 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
0.835 * [taylor]: Taking taylor expansion of (pow m 2) in m
0.835 * [taylor]: Taking taylor expansion of m in m
0.835 * [taylor]: Taking taylor expansion of v in m
0.835 * [taylor]: Taking taylor expansion of (* (- 1 m) (- (/ m v) (+ 1 (/ (pow m 2) v)))) in m
0.835 * [taylor]: Taking taylor expansion of (- 1 m) in m
0.835 * [taylor]: Taking taylor expansion of 1 in m
0.835 * [taylor]: Taking taylor expansion of m in m
0.835 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in m
0.835 * [taylor]: Taking taylor expansion of (/ m v) in m
0.835 * [taylor]: Taking taylor expansion of m in m
0.835 * [taylor]: Taking taylor expansion of v in m
0.835 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in m
0.835 * [taylor]: Taking taylor expansion of 1 in m
0.835 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
0.835 * [taylor]: Taking taylor expansion of (pow m 2) in m
0.835 * [taylor]: Taking taylor expansion of m in m
0.835 * [taylor]: Taking taylor expansion of v in m
0.836 * [taylor]: Taking taylor expansion of -1 in v
0.836 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1) in v
0.836 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.836 * [taylor]: Taking taylor expansion of v in v
0.837 * [taylor]: Taking taylor expansion of 1 in v
0.837 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 v))) in v
0.837 * [taylor]: Taking taylor expansion of (* 2 (/ 1 v)) in v
0.837 * [taylor]: Taking taylor expansion of 2 in v
0.837 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.837 * [taylor]: Taking taylor expansion of v in v
0.838 * [approximate]: Taking taylor expansion of (* (- (/ v m) (+ (/ v (pow m 2)) 1)) (- 1 (/ 1 m))) in (m v) around 0
0.838 * [taylor]: Taking taylor expansion of (* (- (/ v m) (+ (/ v (pow m 2)) 1)) (- 1 (/ 1 m))) in v
0.838 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in v
0.838 * [taylor]: Taking taylor expansion of (/ v m) in v
0.838 * [taylor]: Taking taylor expansion of v in v
0.838 * [taylor]: Taking taylor expansion of m in v
0.838 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in v
0.838 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
0.838 * [taylor]: Taking taylor expansion of v in v
0.838 * [taylor]: Taking taylor expansion of (pow m 2) in v
0.838 * [taylor]: Taking taylor expansion of m in v
0.838 * [taylor]: Taking taylor expansion of 1 in v
0.838 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in v
0.838 * [taylor]: Taking taylor expansion of 1 in v
0.838 * [taylor]: Taking taylor expansion of (/ 1 m) in v
0.838 * [taylor]: Taking taylor expansion of m in v
0.838 * [taylor]: Taking taylor expansion of (* (- (/ v m) (+ (/ v (pow m 2)) 1)) (- 1 (/ 1 m))) in m
0.838 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in m
0.838 * [taylor]: Taking taylor expansion of (/ v m) in m
0.838 * [taylor]: Taking taylor expansion of v in m
0.838 * [taylor]: Taking taylor expansion of m in m
0.838 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in m
0.838 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
0.838 * [taylor]: Taking taylor expansion of v in m
0.838 * [taylor]: Taking taylor expansion of (pow m 2) in m
0.838 * [taylor]: Taking taylor expansion of m in m
0.839 * [taylor]: Taking taylor expansion of 1 in m
0.839 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m
0.839 * [taylor]: Taking taylor expansion of 1 in m
0.839 * [taylor]: Taking taylor expansion of (/ 1 m) in m
0.839 * [taylor]: Taking taylor expansion of m in m
0.839 * [taylor]: Taking taylor expansion of (* (- (/ v m) (+ (/ v (pow m 2)) 1)) (- 1 (/ 1 m))) in m
0.839 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in m
0.839 * [taylor]: Taking taylor expansion of (/ v m) in m
0.839 * [taylor]: Taking taylor expansion of v in m
0.839 * [taylor]: Taking taylor expansion of m in m
0.839 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in m
0.839 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
0.839 * [taylor]: Taking taylor expansion of v in m
0.839 * [taylor]: Taking taylor expansion of (pow m 2) in m
0.839 * [taylor]: Taking taylor expansion of m in m
0.839 * [taylor]: Taking taylor expansion of 1 in m
0.839 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m
0.839 * [taylor]: Taking taylor expansion of 1 in m
0.839 * [taylor]: Taking taylor expansion of (/ 1 m) in m
0.839 * [taylor]: Taking taylor expansion of m in m
0.839 * [taylor]: Taking taylor expansion of v in v
0.839 * [taylor]: Taking taylor expansion of (neg (* 2 v)) in v
0.839 * [taylor]: Taking taylor expansion of (* 2 v) in v
0.839 * [taylor]: Taking taylor expansion of 2 in v
0.839 * [taylor]: Taking taylor expansion of v in v
0.840 * [taylor]: Taking taylor expansion of (+ v 1) in v
0.840 * [taylor]: Taking taylor expansion of v in v
0.840 * [taylor]: Taking taylor expansion of 1 in v
0.841 * [approximate]: Taking taylor expansion of (* (- (+ (/ v (pow m 2)) (/ v m)) 1) (+ (/ 1 m) 1)) in (m v) around 0
0.841 * [taylor]: Taking taylor expansion of (* (- (+ (/ v (pow m 2)) (/ v m)) 1) (+ (/ 1 m) 1)) in v
0.841 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in v
0.841 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in v
0.841 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
0.841 * [taylor]: Taking taylor expansion of v in v
0.841 * [taylor]: Taking taylor expansion of (pow m 2) in v
0.841 * [taylor]: Taking taylor expansion of m in v
0.841 * [taylor]: Taking taylor expansion of (/ v m) in v
0.841 * [taylor]: Taking taylor expansion of v in v
0.841 * [taylor]: Taking taylor expansion of m in v
0.841 * [taylor]: Taking taylor expansion of 1 in v
0.841 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in v
0.841 * [taylor]: Taking taylor expansion of (/ 1 m) in v
0.841 * [taylor]: Taking taylor expansion of m in v
0.841 * [taylor]: Taking taylor expansion of 1 in v
0.841 * [taylor]: Taking taylor expansion of (* (- (+ (/ v (pow m 2)) (/ v m)) 1) (+ (/ 1 m) 1)) in m
0.841 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in m
0.841 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in m
0.841 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
0.841 * [taylor]: Taking taylor expansion of v in m
0.841 * [taylor]: Taking taylor expansion of (pow m 2) in m
0.841 * [taylor]: Taking taylor expansion of m in m
0.841 * [taylor]: Taking taylor expansion of (/ v m) in m
0.841 * [taylor]: Taking taylor expansion of v in m
0.841 * [taylor]: Taking taylor expansion of m in m
0.841 * [taylor]: Taking taylor expansion of 1 in m
0.841 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m
0.841 * [taylor]: Taking taylor expansion of (/ 1 m) in m
0.841 * [taylor]: Taking taylor expansion of m in m
0.841 * [taylor]: Taking taylor expansion of 1 in m
0.841 * [taylor]: Taking taylor expansion of (* (- (+ (/ v (pow m 2)) (/ v m)) 1) (+ (/ 1 m) 1)) in m
0.842 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in m
0.842 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in m
0.842 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
0.842 * [taylor]: Taking taylor expansion of v in m
0.842 * [taylor]: Taking taylor expansion of (pow m 2) in m
0.842 * [taylor]: Taking taylor expansion of m in m
0.842 * [taylor]: Taking taylor expansion of (/ v m) in m
0.842 * [taylor]: Taking taylor expansion of v in m
0.842 * [taylor]: Taking taylor expansion of m in m
0.842 * [taylor]: Taking taylor expansion of 1 in m
0.842 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m
0.842 * [taylor]: Taking taylor expansion of (/ 1 m) in m
0.842 * [taylor]: Taking taylor expansion of m in m
0.842 * [taylor]: Taking taylor expansion of 1 in m
0.842 * [taylor]: Taking taylor expansion of v in v
0.842 * [taylor]: Taking taylor expansion of (* 2 v) in v
0.842 * [taylor]: Taking taylor expansion of 2 in v
0.842 * [taylor]: Taking taylor expansion of v in v
0.842 * [taylor]: Taking taylor expansion of (- v 1) in v
0.842 * [taylor]: Taking taylor expansion of v in v
0.842 * [taylor]: Taking taylor expansion of 1 in v
0.843 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
0.843 * [approximate]: Taking taylor expansion of (/ (* (- 1 m) m) v) in (m v) around 0
0.843 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) m) v) in v
0.843 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in v
0.843 * [taylor]: Taking taylor expansion of (- 1 m) in v
0.843 * [taylor]: Taking taylor expansion of 1 in v
0.843 * [taylor]: Taking taylor expansion of m in v
0.843 * [taylor]: Taking taylor expansion of m in v
0.843 * [taylor]: Taking taylor expansion of v in v
0.843 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) m) v) in m
0.843 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m
0.843 * [taylor]: Taking taylor expansion of (- 1 m) in m
0.843 * [taylor]: Taking taylor expansion of 1 in m
0.843 * [taylor]: Taking taylor expansion of m in m
0.843 * [taylor]: Taking taylor expansion of m in m
0.843 * [taylor]: Taking taylor expansion of v in m
0.843 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) m) v) in m
0.844 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m
0.844 * [taylor]: Taking taylor expansion of (- 1 m) in m
0.844 * [taylor]: Taking taylor expansion of 1 in m
0.844 * [taylor]: Taking taylor expansion of m in m
0.844 * [taylor]: Taking taylor expansion of m in m
0.844 * [taylor]: Taking taylor expansion of v in m
0.844 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.844 * [taylor]: Taking taylor expansion of v in v
0.844 * [taylor]: Taking taylor expansion of (neg (/ 1 v)) in v
0.844 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.844 * [taylor]: Taking taylor expansion of v in v
0.844 * [taylor]: Taking taylor expansion of 0 in v
0.845 * [taylor]: Taking taylor expansion of 0 in v
0.845 * [approximate]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in (m v) around 0
0.845 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in v
0.845 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in v
0.845 * [taylor]: Taking taylor expansion of v in v
0.845 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in v
0.845 * [taylor]: Taking taylor expansion of 1 in v
0.845 * [taylor]: Taking taylor expansion of (/ 1 m) in v
0.845 * [taylor]: Taking taylor expansion of m in v
0.845 * [taylor]: Taking taylor expansion of m in v
0.846 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in m
0.846 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in m
0.846 * [taylor]: Taking taylor expansion of v in m
0.846 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m
0.846 * [taylor]: Taking taylor expansion of 1 in m
0.846 * [taylor]: Taking taylor expansion of (/ 1 m) in m
0.846 * [taylor]: Taking taylor expansion of m in m
0.846 * [taylor]: Taking taylor expansion of m in m
0.846 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in m
0.846 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in m
0.846 * [taylor]: Taking taylor expansion of v in m
0.846 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m
0.846 * [taylor]: Taking taylor expansion of 1 in m
0.846 * [taylor]: Taking taylor expansion of (/ 1 m) in m
0.846 * [taylor]: Taking taylor expansion of m in m
0.846 * [taylor]: Taking taylor expansion of m in m
0.846 * [taylor]: Taking taylor expansion of (* -1 v) in v
0.846 * [taylor]: Taking taylor expansion of -1 in v
0.846 * [taylor]: Taking taylor expansion of v in v
0.846 * [taylor]: Taking taylor expansion of v in v
0.846 * [taylor]: Taking taylor expansion of 0 in v
0.847 * [taylor]: Taking taylor expansion of 0 in v
0.847 * [approximate]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in (m v) around 0
0.847 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in v
0.847 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in v
0.847 * [taylor]: Taking taylor expansion of v in v
0.847 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in v
0.847 * [taylor]: Taking taylor expansion of (/ 1 m) in v
0.847 * [taylor]: Taking taylor expansion of m in v
0.847 * [taylor]: Taking taylor expansion of 1 in v
0.847 * [taylor]: Taking taylor expansion of m in v
0.848 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in m
0.848 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in m
0.848 * [taylor]: Taking taylor expansion of v in m
0.848 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m
0.848 * [taylor]: Taking taylor expansion of (/ 1 m) in m
0.848 * [taylor]: Taking taylor expansion of m in m
0.848 * [taylor]: Taking taylor expansion of 1 in m
0.848 * [taylor]: Taking taylor expansion of m in m
0.848 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in m
0.848 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in m
0.848 * [taylor]: Taking taylor expansion of v in m
0.848 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m
0.848 * [taylor]: Taking taylor expansion of (/ 1 m) in m
0.848 * [taylor]: Taking taylor expansion of m in m
0.848 * [taylor]: Taking taylor expansion of 1 in m
0.848 * [taylor]: Taking taylor expansion of m in m
0.848 * [taylor]: Taking taylor expansion of v in v
0.848 * [taylor]: Taking taylor expansion of v in v
0.848 * [taylor]: Taking taylor expansion of 0 in v
0.848 * [taylor]: Taking taylor expansion of 0 in v
0.849 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1)
0.849 * [approximate]: Taking taylor expansion of (* (- 1 m) m) in (m) around 0
0.849 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m
0.849 * [taylor]: Taking taylor expansion of (- 1 m) in m
0.849 * [taylor]: Taking taylor expansion of 1 in m
0.849 * [taylor]: Taking taylor expansion of m in m
0.849 * [taylor]: Taking taylor expansion of m in m
0.849 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m
0.849 * [taylor]: Taking taylor expansion of (- 1 m) in m
0.849 * [taylor]: Taking taylor expansion of 1 in m
0.849 * [taylor]: Taking taylor expansion of m in m
0.849 * [taylor]: Taking taylor expansion of m in m
0.850 * [approximate]: Taking taylor expansion of (/ (- 1 (/ 1 m)) m) in (m) around 0
0.850 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 m)) m) in m
0.850 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m
0.850 * [taylor]: Taking taylor expansion of 1 in m
0.850 * [taylor]: Taking taylor expansion of (/ 1 m) in m
0.850 * [taylor]: Taking taylor expansion of m in m
0.850 * [taylor]: Taking taylor expansion of m in m
0.850 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 m)) m) in m
0.850 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m
0.850 * [taylor]: Taking taylor expansion of 1 in m
0.850 * [taylor]: Taking taylor expansion of (/ 1 m) in m
0.850 * [taylor]: Taking taylor expansion of m in m
0.850 * [taylor]: Taking taylor expansion of m in m
0.852 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) m)) in (m) around 0
0.852 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) m)) in m
0.852 * [taylor]: Taking taylor expansion of -1 in m
0.852 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1) m) in m
0.852 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m
0.852 * [taylor]: Taking taylor expansion of (/ 1 m) in m
0.852 * [taylor]: Taking taylor expansion of m in m
0.852 * [taylor]: Taking taylor expansion of 1 in m
0.852 * [taylor]: Taking taylor expansion of m in m
0.852 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) m)) in m
0.852 * [taylor]: Taking taylor expansion of -1 in m
0.852 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1) m) in m
0.852 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m
0.852 * [taylor]: Taking taylor expansion of (/ 1 m) in m
0.852 * [taylor]: Taking taylor expansion of m in m
0.852 * [taylor]: Taking taylor expansion of 1 in m
0.852 * [taylor]: Taking taylor expansion of m in m
0.854 * * * [progress]: simplifying candidates
0.855 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))
  (+.f64 (log.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (log.f64 (-.f64 1 m)))
  (log.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m)))
  (exp.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 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 (-.f64 1 m) (-.f64 1 m)) (-.f64 1 m)))
  (*.f64 (cbrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))) (cbrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))))
  (cbrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m)))
  (*.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m)) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m)))
  (sqrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m)))
  (sqrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m)))
  (*.f64 (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) (pow.f64 1 3)) (-.f64 (pow.f64 1 3) (pow.f64 m 3)))
  (*.f64 (+.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (+.f64 (*.f64 1 1) (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 m m) (*.f64 1 m))))
  (*.f64 (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) (pow.f64 1 3)) (-.f64 (*.f64 1 1) (*.f64 m m)))
  (*.f64 (+.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (+.f64 (*.f64 1 1) (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))) (+.f64 1 m))
  (*.f64 (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (*.f64 1 1)) (-.f64 (pow.f64 1 3) (pow.f64 m 3)))
  (*.f64 (+.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 (*.f64 1 1) (+.f64 (*.f64 m m) (*.f64 1 m))))
  (*.f64 (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (*.f64 1 1)) (-.f64 (*.f64 1 1) (*.f64 m m)))
  (*.f64 (+.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 m))
  (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (sqrt.f64 (-.f64 1 m)))
  (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (sqrt.f64 (-.f64 1 m)))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) 1)
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (neg.f64 m))
  (*.f64 1 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))
  (*.f64 (neg.f64 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m))))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 (-.f64 1 m)))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) 1)
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 (sqrt.f64 1) (sqrt.f64 m)))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m)))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) 1)
  (*.f64 (cbrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (-.f64 1 m))
  (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (-.f64 1 m))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))
  (*.f64 (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (sqrt.f64 1)) (-.f64 1 m))
  (*.f64 (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1) (-.f64 1 m))
  (*.f64 (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1) (-.f64 1 m))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 (pow.f64 1 3) (pow.f64 m 3)))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 (*.f64 1 1) (*.f64 m m)))
  (*.f64 (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) (pow.f64 1 3)) (-.f64 1 m))
  (*.f64 (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (*.f64 1 1)) (-.f64 1 m))
  (-.f64 (+.f64 (log.f64 m) (log.f64 (-.f64 1 m))) (log.f64 v))
  (-.f64 (log.f64 (*.f64 m (-.f64 1 m))) (log.f64 v))
  (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
  (exp.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
  (/.f64 (*.f64 (*.f64 (*.f64 m m) m) (*.f64 (*.f64 (-.f64 1 m) (-.f64 1 m)) (-.f64 1 m))) (*.f64 (*.f64 v v) 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 (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)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (/.f64 (*.f64 m (-.f64 1 m)) 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 1 v)
  (/.f64 v (*.f64 m (-.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 v (-.f64 1 m))
  (*.f64 v (+.f64 (*.f64 1 1) (+.f64 (*.f64 m m) (*.f64 1 m))))
  (*.f64 v (+.f64 1 m))
  (*.f64 m (-.f64 1 m))
  (+.f64 (log.f64 m) (log.f64 (-.f64 1 m)))
  (log.f64 (*.f64 m (-.f64 1 m)))
  (exp.f64 (*.f64 m (-.f64 1 m)))
  (*.f64 (*.f64 (*.f64 m m) m) (*.f64 (*.f64 (-.f64 1 m) (-.f64 1 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 (-.f64 1 m)) (*.f64 m (-.f64 1 m))) (*.f64 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 m 1)
  (*.f64 m (neg.f64 m))
  (*.f64 1 m)
  (*.f64 (neg.f64 m) 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 (cbrt.f64 m) (-.f64 1 m))
  (*.f64 (sqrt.f64 m) (-.f64 1 m))
  (*.f64 m (-.f64 1 m))
  (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3)))
  (*.f64 m (-.f64 (*.f64 1 1) (*.f64 m m)))
  (-.f64 (/.f64 m v) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
  (-.f64 (+.f64 m (/.f64 (pow.f64 m 3) v)) (*.f64 2 (/.f64 (pow.f64 m 2) v)))
  (-.f64 (+.f64 m (/.f64 (pow.f64 m 3) v)) (*.f64 2 (/.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 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))
0.946 * * [simplify]: iteration  0 :  4969  enodes  (cost  1548 )
0.946 * * [simplify]: iteration  1 :  4969  enodes  (cost  1548 )
0.954 * [simplify]: Simplified to:
   (*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))
  (log.f64 (*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (log.f64 (*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (exp.f64 (*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (pow.f64 (*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) 3)
  (*.f64 (cbrt.f64 (*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))) (cbrt.f64 (*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))))
  (cbrt.f64 (*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (pow.f64 (*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) 3)
  (sqrt.f64 (*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (sqrt.f64 (*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (*.f64 (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) 1) (-.f64 1 (pow.f64 m 3)))
  (*.f64 (+.f64 1 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (+.f64 1 (/.f64 (*.f64 m (-.f64 1 m)) v)))) (+.f64 1 (+.f64 m (*.f64 m m))))
  (*.f64 (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) 1) (-.f64 1 (*.f64 m m)))
  (*.f64 (+.f64 1 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (+.f64 1 (/.f64 (*.f64 m (-.f64 1 m)) v)))) (+.f64 m 1))
  (*.f64 (-.f64 1 (pow.f64 m 3)) (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) 1))
  (*.f64 (+.f64 1 (/.f64 (*.f64 m (-.f64 1 m)) v)) (+.f64 1 (+.f64 m (*.f64 m m))))
  (*.f64 (-.f64 1 (*.f64 m m)) (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) 1))
  (*.f64 (+.f64 1 (/.f64 (*.f64 m (-.f64 1 m)) v)) (+.f64 m 1))
  (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (sqrt.f64 (-.f64 1 m)))
  (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (sqrt.f64 (-.f64 1 m)))
  (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (neg.f64 m))
  (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (neg.f64 m))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m))))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 (-.f64 1 m)))
  (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m)))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m)))
  (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
  (*.f64 (-.f64 1 m) (cbrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (*.f64 (-.f64 1 m) (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))
  (*.f64 (-.f64 1 m) (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1))
  (*.f64 (-.f64 1 m) (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1))
  (*.f64 (-.f64 1 m) (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1))
  (*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 (pow.f64 m 3)))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 (*.f64 m m)))
  (*.f64 (-.f64 1 m) (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) 1))
  (*.f64 (-.f64 1 m) (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.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))
  (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
  (exp.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)
  (*.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)
  (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
  (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
  (*.f64 m (+.f64 m -1))
  (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 1 v)
  (/.f64 v (*.f64 m (-.f64 1 m)))
  (*.f64 (/.f64 m (*.f64 (cbrt.f64 v) (cbrt.f64 v))) (-.f64 1 m))
  (*.f64 (/.f64 m (sqrt.f64 v)) (-.f64 1 m))
  (*.f64 m (-.f64 1 m))
  (/.f64 v (-.f64 1 m))
  (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))
  (*.f64 v (+.f64 m 1))
  (*.f64 m (-.f64 1 m))
  (log.f64 (*.f64 m (-.f64 1 m)))
  (log.f64 (*.f64 m (-.f64 1 m)))
  (exp.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 (-.f64 1 m)) (sqrt.f64 m))
  (*.f64 (sqrt.f64 (-.f64 1 m)) (sqrt.f64 m))
  m
  (*.f64 m (neg.f64 m))
  m
  (*.f64 m (neg.f64 m))
  (*.f64 m (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m))))
  (*.f64 m (sqrt.f64 (-.f64 1 m)))
  m
  (+.f64 m (pow.f64 m 3/2))
  (+.f64 m (pow.f64 m 3/2))
  m
  (*.f64 (-.f64 1 m) (cbrt.f64 m))
  (*.f64 (-.f64 1 m) (sqrt.f64 m))
  (*.f64 m (-.f64 1 m))
  (+.f64 m (neg.f64 (pow.f64 m 4)))
  (-.f64 m (pow.f64 m 3))
  (-.f64 (/.f64 m v) (+.f64 1 (*.f64 2 (*.f64 m (/.f64 m v)))))
  (-.f64 (+.f64 m (/.f64 (pow.f64 m 3) v)) (*.f64 2 (*.f64 m (/.f64 m v))))
  (-.f64 (+.f64 m (/.f64 (pow.f64 m 3) v)) (*.f64 2 (*.f64 m (/.f64 m v))))
  (/.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))
0.955 * * * [progress]: adding candidates to table
1.048 * * [progress]: iteration 2 / 4
1.048 * * * [progress]: picking best candidate
1.059 * * * * [pick]: Picked  #<alt (λ (m v) (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m))))>
1.059 * * * [progress]: localizing error
1.070 * * * [progress]: generating rewritten candidates
1.070 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.086 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1.110 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
1.118 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
1.131 * * * [progress]: generating series expansions
1.131 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.131 * [approximate]: Taking taylor expansion of (* (- (/ m v) (+ 1 (/ (pow m 2) v))) (+ (sqrt m) 1)) in (m v) around 0
1.131 * [taylor]: Taking taylor expansion of (* (- (/ m v) (+ 1 (/ (pow m 2) v))) (+ (sqrt m) 1)) in v
1.131 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in v
1.131 * [taylor]: Taking taylor expansion of (/ m v) in v
1.131 * [taylor]: Taking taylor expansion of m in v
1.131 * [taylor]: Taking taylor expansion of v in v
1.131 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in v
1.131 * [taylor]: Taking taylor expansion of 1 in v
1.131 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v
1.131 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.131 * [taylor]: Taking taylor expansion of m in v
1.131 * [taylor]: Taking taylor expansion of v in v
1.132 * [taylor]: Taking taylor expansion of (+ (sqrt m) 1) in v
1.132 * [taylor]: Taking taylor expansion of (sqrt m) in v
1.132 * [taylor]: Taking taylor expansion of m in v
1.132 * [taylor]: Taking taylor expansion of 1 in v
1.132 * [taylor]: Taking taylor expansion of (* (- (/ m v) (+ 1 (/ (pow m 2) v))) (+ (sqrt m) 1)) in m
1.132 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in m
1.132 * [taylor]: Taking taylor expansion of (/ m v) in m
1.132 * [taylor]: Taking taylor expansion of m in m
1.132 * [taylor]: Taking taylor expansion of v in m
1.132 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in m
1.132 * [taylor]: Taking taylor expansion of 1 in m
1.132 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
1.132 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.132 * [taylor]: Taking taylor expansion of m in m
1.132 * [taylor]: Taking taylor expansion of v in m
1.132 * [taylor]: Taking taylor expansion of (+ (sqrt m) 1) in m
1.132 * [taylor]: Taking taylor expansion of (sqrt m) in m
1.132 * [taylor]: Taking taylor expansion of m in m
1.133 * [taylor]: Taking taylor expansion of 1 in m
1.133 * [taylor]: Taking taylor expansion of (* (- (/ m v) (+ 1 (/ (pow m 2) v))) (+ (sqrt m) 1)) in m
1.133 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in m
1.133 * [taylor]: Taking taylor expansion of (/ m v) 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 (/ (pow m 2) v)) in m
1.133 * [taylor]: Taking taylor expansion of 1 in m
1.133 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
1.133 * [taylor]: Taking taylor expansion of (pow m 2) 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 (+ (sqrt m) 1) in m
1.133 * [taylor]: Taking taylor expansion of (sqrt m) in m
1.133 * [taylor]: Taking taylor expansion of m in m
1.133 * [taylor]: Taking taylor expansion of 1 in m
1.133 * [taylor]: Taking taylor expansion of -1 in v
1.133 * [taylor]: Taking taylor expansion of (- (/ 1 v) NAN) in v
1.133 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.133 * [taylor]: Taking taylor expansion of v in v
1.133 * [taylor]: Taking taylor expansion of NAN in v
1.134 * [taylor]: Taking taylor expansion of (- (/ NAN v) (+ (/ 1 v) (pow NAN 3))) in v
1.134 * [taylor]: Taking taylor expansion of (/ NAN v) in v
1.134 * [taylor]: Taking taylor expansion of NAN in v
1.134 * [taylor]: Taking taylor expansion of v in v
1.134 * [taylor]: Taking taylor expansion of (+ (/ 1 v) (pow NAN 3)) in v
1.134 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.134 * [taylor]: Taking taylor expansion of v in v
1.134 * [taylor]: Taking taylor expansion of (pow NAN 3) in v
1.134 * [taylor]: Taking taylor expansion of NAN in v
1.135 * [approximate]: Taking taylor expansion of (* (- (/ v m) (+ (/ v (pow m 2)) 1)) (+ (sqrt (/ 1 m)) 1)) in (m v) around 0
1.135 * [taylor]: Taking taylor expansion of (* (- (/ v m) (+ (/ v (pow m 2)) 1)) (+ (sqrt (/ 1 m)) 1)) in v
1.135 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in v
1.135 * [taylor]: Taking taylor expansion of (/ v m) in v
1.135 * [taylor]: Taking taylor expansion of v in v
1.135 * [taylor]: Taking taylor expansion of m in v
1.135 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in v
1.135 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
1.135 * [taylor]: Taking taylor expansion of v in v
1.135 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.135 * [taylor]: Taking taylor expansion of m in v
1.135 * [taylor]: Taking taylor expansion of 1 in v
1.135 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 m)) 1) in v
1.135 * [taylor]: Taking taylor expansion of (sqrt (/ 1 m)) in v
1.135 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.135 * [taylor]: Taking taylor expansion of m in v
1.136 * [taylor]: Taking taylor expansion of 1 in v
1.136 * [taylor]: Taking taylor expansion of (* (- (/ v m) (+ (/ v (pow m 2)) 1)) (+ (sqrt (/ 1 m)) 1)) in m
1.136 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in m
1.136 * [taylor]: Taking taylor expansion of (/ v m) in m
1.136 * [taylor]: Taking taylor expansion of v in m
1.136 * [taylor]: Taking taylor expansion of m in m
1.136 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in m
1.136 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.136 * [taylor]: Taking taylor expansion of v in m
1.136 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.136 * [taylor]: Taking taylor expansion of m in m
1.136 * [taylor]: Taking taylor expansion of 1 in m
1.136 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 m)) 1) in m
1.136 * [taylor]: Taking taylor expansion of (sqrt (/ 1 m)) in m
1.136 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.136 * [taylor]: Taking taylor expansion of m in m
1.136 * [taylor]: Taking taylor expansion of 1 in m
1.136 * [taylor]: Taking taylor expansion of (* (- (/ v m) (+ (/ v (pow m 2)) 1)) (+ (sqrt (/ 1 m)) 1)) in m
1.136 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in m
1.136 * [taylor]: Taking taylor expansion of (/ v m) in m
1.136 * [taylor]: Taking taylor expansion of v in m
1.136 * [taylor]: Taking taylor expansion of m in m
1.136 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in m
1.136 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.136 * [taylor]: Taking taylor expansion of v in m
1.136 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.136 * [taylor]: Taking taylor expansion of m in m
1.136 * [taylor]: Taking taylor expansion of 1 in m
1.136 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 m)) 1) in m
1.136 * [taylor]: Taking taylor expansion of (sqrt (/ 1 m)) in m
1.136 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.136 * [taylor]: Taking taylor expansion of m in m
1.136 * [taylor]: Taking taylor expansion of 1 in m
1.136 * [taylor]: Taking taylor expansion of 0 in v
1.137 * [taylor]: Taking taylor expansion of (neg (+ (* NAN v) v)) in v
1.137 * [taylor]: Taking taylor expansion of (+ (* NAN v) v) in v
1.137 * [taylor]: Taking taylor expansion of (* NAN v) in v
1.137 * [taylor]: Taking taylor expansion of NAN in v
1.137 * [taylor]: Taking taylor expansion of v in v
1.137 * [taylor]: Taking taylor expansion of v in v
1.137 * [taylor]: Taking taylor expansion of (- (+ (* NAN v) v) (* (pow NAN 3) v)) in v
1.137 * [taylor]: Taking taylor expansion of (+ (* NAN v) v) in v
1.137 * [taylor]: Taking taylor expansion of (* NAN v) in v
1.137 * [taylor]: Taking taylor expansion of NAN in v
1.137 * [taylor]: Taking taylor expansion of v in v
1.137 * [taylor]: Taking taylor expansion of v in v
1.137 * [taylor]: Taking taylor expansion of (* (pow NAN 3) v) in v
1.137 * [taylor]: Taking taylor expansion of (pow NAN 3) in v
1.137 * [taylor]: Taking taylor expansion of NAN in v
1.138 * [taylor]: Taking taylor expansion of v in v
1.139 * [taylor]: Taking taylor expansion of (- (* (pow NAN 3) v) (+ NAN (+ (* (pow NAN 5) v) 1))) in v
1.139 * [taylor]: Taking taylor expansion of (* (pow NAN 3) v) in v
1.139 * [taylor]: Taking taylor expansion of (pow NAN 3) in v
1.139 * [taylor]: Taking taylor expansion of NAN in v
1.139 * [taylor]: Taking taylor expansion of v in v
1.139 * [taylor]: Taking taylor expansion of (+ NAN (+ (* (pow NAN 5) v) 1)) in v
1.139 * [taylor]: Taking taylor expansion of NAN in v
1.139 * [taylor]: Taking taylor expansion of (+ (* (pow NAN 5) v) 1) in v
1.139 * [taylor]: Taking taylor expansion of (* (pow NAN 5) v) in v
1.139 * [taylor]: Taking taylor expansion of (pow NAN 5) in v
1.139 * [taylor]: Taking taylor expansion of NAN in v
1.139 * [taylor]: Taking taylor expansion of v in v
1.139 * [taylor]: Taking taylor expansion of 1 in v
1.141 * [approximate]: Taking taylor expansion of (* (+ (sqrt (/ -1 m)) 1) (- (+ (/ v (pow m 2)) (/ v m)) 1)) in (m v) around 0
1.141 * [taylor]: Taking taylor expansion of (* (+ (sqrt (/ -1 m)) 1) (- (+ (/ v (pow m 2)) (/ v m)) 1)) in v
1.141 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 m)) 1) in v
1.141 * [taylor]: Taking taylor expansion of (sqrt (/ -1 m)) in v
1.141 * [taylor]: Taking taylor expansion of (/ -1 m) in v
1.141 * [taylor]: Taking taylor expansion of -1 in v
1.141 * [taylor]: Taking taylor expansion of m in v
1.141 * [taylor]: Taking taylor expansion of 1 in v
1.141 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in v
1.141 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in v
1.141 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
1.141 * [taylor]: Taking taylor expansion of v in v
1.141 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.141 * [taylor]: Taking taylor expansion of m in v
1.141 * [taylor]: Taking taylor expansion of (/ v m) in v
1.141 * [taylor]: Taking taylor expansion of v in v
1.141 * [taylor]: Taking taylor expansion of m in v
1.141 * [taylor]: Taking taylor expansion of 1 in v
1.141 * [taylor]: Taking taylor expansion of (* (+ (sqrt (/ -1 m)) 1) (- (+ (/ v (pow m 2)) (/ v m)) 1)) in m
1.141 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 m)) 1) in m
1.142 * [taylor]: Taking taylor expansion of (sqrt (/ -1 m)) in m
1.142 * [taylor]: Taking taylor expansion of (/ -1 m) in m
1.142 * [taylor]: Taking taylor expansion of -1 in m
1.142 * [taylor]: Taking taylor expansion of m in m
1.142 * [taylor]: Taking taylor expansion of 1 in m
1.142 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in m
1.142 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in m
1.142 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.142 * [taylor]: Taking taylor expansion of v in m
1.142 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.142 * [taylor]: Taking taylor expansion of m in m
1.142 * [taylor]: Taking taylor expansion of (/ v m) in m
1.142 * [taylor]: Taking taylor expansion of v in m
1.142 * [taylor]: Taking taylor expansion of m in m
1.142 * [taylor]: Taking taylor expansion of 1 in m
1.142 * [taylor]: Taking taylor expansion of (* (+ (sqrt (/ -1 m)) 1) (- (+ (/ v (pow m 2)) (/ v m)) 1)) in m
1.142 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 m)) 1) in m
1.142 * [taylor]: Taking taylor expansion of (sqrt (/ -1 m)) in m
1.142 * [taylor]: Taking taylor expansion of (/ -1 m) in m
1.142 * [taylor]: Taking taylor expansion of -1 in m
1.142 * [taylor]: Taking taylor expansion of m in m
1.142 * [taylor]: Taking taylor expansion of 1 in m
1.142 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in m
1.142 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in m
1.142 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.142 * [taylor]: Taking taylor expansion of v in m
1.142 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.142 * [taylor]: Taking taylor expansion of m in m
1.142 * [taylor]: Taking taylor expansion of (/ v m) in m
1.142 * [taylor]: Taking taylor expansion of v in m
1.142 * [taylor]: Taking taylor expansion of m in m
1.142 * [taylor]: Taking taylor expansion of 1 in m
1.142 * [taylor]: Taking taylor expansion of 0 in v
1.143 * [taylor]: Taking taylor expansion of (+ (* NAN v) v) in v
1.143 * [taylor]: Taking taylor expansion of (* NAN v) in v
1.143 * [taylor]: Taking taylor expansion of NAN in v
1.143 * [taylor]: Taking taylor expansion of v in v
1.143 * [taylor]: Taking taylor expansion of v in v
1.143 * [taylor]: Taking taylor expansion of (+ (* v NAN) (+ v (* v (pow NAN 3)))) in v
1.143 * [taylor]: Taking taylor expansion of (* v NAN) in v
1.143 * [taylor]: Taking taylor expansion of v in v
1.143 * [taylor]: Taking taylor expansion of NAN in v
1.143 * [taylor]: Taking taylor expansion of (+ v (* v (pow NAN 3))) in v
1.143 * [taylor]: Taking taylor expansion of v in v
1.143 * [taylor]: Taking taylor expansion of (* v (pow NAN 3)) in v
1.143 * [taylor]: Taking taylor expansion of v in v
1.143 * [taylor]: Taking taylor expansion of (pow NAN 3) in v
1.143 * [taylor]: Taking taylor expansion of NAN in v
1.144 * [taylor]: Taking taylor expansion of (- (+ (* (pow NAN 5) v) (* (pow NAN 3) v)) (+ NAN 1)) in v
1.144 * [taylor]: Taking taylor expansion of (+ (* (pow NAN 5) v) (* (pow NAN 3) v)) in v
1.144 * [taylor]: Taking taylor expansion of (* (pow NAN 5) v) in v
1.144 * [taylor]: Taking taylor expansion of (pow NAN 5) in v
1.144 * [taylor]: Taking taylor expansion of NAN in v
1.144 * [taylor]: Taking taylor expansion of v in v
1.144 * [taylor]: Taking taylor expansion of (* (pow NAN 3) v) in v
1.145 * [taylor]: Taking taylor expansion of (pow NAN 3) in v
1.145 * [taylor]: Taking taylor expansion of NAN in v
1.145 * [taylor]: Taking taylor expansion of v in v
1.145 * [taylor]: Taking taylor expansion of (+ NAN 1) in v
1.145 * [taylor]: Taking taylor expansion of NAN in v
1.145 * [taylor]: Taking taylor expansion of 1 in v
1.146 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1.146 * [approximate]: Taking taylor expansion of (* (- (/ m v) (+ 1 (/ (pow m 2) v))) (* (+ (sqrt m) 1) (- 1 (sqrt m)))) in (m v) around 0
1.146 * [taylor]: Taking taylor expansion of (* (- (/ m v) (+ 1 (/ (pow m 2) v))) (* (+ (sqrt m) 1) (- 1 (sqrt m)))) in v
1.146 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in v
1.146 * [taylor]: Taking taylor expansion of (/ m v) in v
1.146 * [taylor]: Taking taylor expansion of m in v
1.146 * [taylor]: Taking taylor expansion of v in v
1.146 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in v
1.146 * [taylor]: Taking taylor expansion of 1 in v
1.146 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v
1.146 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.146 * [taylor]: Taking taylor expansion of m in v
1.146 * [taylor]: Taking taylor expansion of v in v
1.147 * [taylor]: Taking taylor expansion of (* (+ (sqrt m) 1) (- 1 (sqrt m))) in v
1.147 * [taylor]: Taking taylor expansion of (+ (sqrt m) 1) in v
1.147 * [taylor]: Taking taylor expansion of (sqrt m) in v
1.147 * [taylor]: Taking taylor expansion of m in v
1.147 * [taylor]: Taking taylor expansion of 1 in v
1.147 * [taylor]: Taking taylor expansion of (- 1 (sqrt m)) in v
1.147 * [taylor]: Taking taylor expansion of 1 in v
1.147 * [taylor]: Taking taylor expansion of (sqrt m) in v
1.147 * [taylor]: Taking taylor expansion of m in v
1.147 * [taylor]: Taking taylor expansion of (* (- (/ m v) (+ 1 (/ (pow m 2) v))) (* (+ (sqrt m) 1) (- 1 (sqrt m)))) in m
1.147 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in m
1.147 * [taylor]: Taking taylor expansion of (/ m v) in m
1.147 * [taylor]: Taking taylor expansion of m in m
1.147 * [taylor]: Taking taylor expansion of v in m
1.147 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in m
1.147 * [taylor]: Taking taylor expansion of 1 in m
1.147 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
1.147 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.147 * [taylor]: Taking taylor expansion of m in m
1.147 * [taylor]: Taking taylor expansion of v in m
1.147 * [taylor]: Taking taylor expansion of (* (+ (sqrt m) 1) (- 1 (sqrt m))) in m
1.147 * [taylor]: Taking taylor expansion of (+ (sqrt m) 1) in m
1.147 * [taylor]: Taking taylor expansion of (sqrt m) in m
1.147 * [taylor]: Taking taylor expansion of m in m
1.148 * [taylor]: Taking taylor expansion of 1 in m
1.148 * [taylor]: Taking taylor expansion of (- 1 (sqrt m)) in m
1.148 * [taylor]: Taking taylor expansion of 1 in m
1.148 * [taylor]: Taking taylor expansion of (sqrt m) in m
1.148 * [taylor]: Taking taylor expansion of m in m
1.148 * [taylor]: Taking taylor expansion of (* (- (/ m v) (+ 1 (/ (pow m 2) v))) (* (+ (sqrt m) 1) (- 1 (sqrt m)))) in m
1.148 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in m
1.148 * [taylor]: Taking taylor expansion of (/ m v) in m
1.148 * [taylor]: Taking taylor expansion of m in m
1.148 * [taylor]: Taking taylor expansion of v in m
1.148 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in m
1.148 * [taylor]: Taking taylor expansion of 1 in m
1.148 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
1.148 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.148 * [taylor]: Taking taylor expansion of m in m
1.148 * [taylor]: Taking taylor expansion of v in m
1.148 * [taylor]: Taking taylor expansion of (* (+ (sqrt m) 1) (- 1 (sqrt m))) in m
1.148 * [taylor]: Taking taylor expansion of (+ (sqrt m) 1) in m
1.148 * [taylor]: Taking taylor expansion of (sqrt m) in m
1.148 * [taylor]: Taking taylor expansion of m in m
1.148 * [taylor]: Taking taylor expansion of 1 in m
1.148 * [taylor]: Taking taylor expansion of (- 1 (sqrt m)) in m
1.148 * [taylor]: Taking taylor expansion of 1 in m
1.148 * [taylor]: Taking taylor expansion of (sqrt m) in m
1.148 * [taylor]: Taking taylor expansion of m in m
1.148 * [taylor]: Taking taylor expansion of -1 in v
1.149 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.149 * [taylor]: Taking taylor expansion of v in v
1.149 * [taylor]: Taking taylor expansion of (- (pow NAN 2) (/ 1 v)) in v
1.149 * [taylor]: Taking taylor expansion of (pow NAN 2) in v
1.150 * [taylor]: Taking taylor expansion of NAN in v
1.150 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.150 * [taylor]: Taking taylor expansion of v in v
1.150 * [approximate]: Taking taylor expansion of (* (- (/ v m) (+ (/ v (pow m 2)) 1)) (* (+ (sqrt (/ 1 m)) 1) (- 1 (sqrt (/ 1 m))))) in (m v) around 0
1.150 * [taylor]: Taking taylor expansion of (* (- (/ v m) (+ (/ v (pow m 2)) 1)) (* (+ (sqrt (/ 1 m)) 1) (- 1 (sqrt (/ 1 m))))) in v
1.150 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in v
1.150 * [taylor]: Taking taylor expansion of (/ v m) in v
1.150 * [taylor]: Taking taylor expansion of v in v
1.150 * [taylor]: Taking taylor expansion of m in v
1.150 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in v
1.150 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
1.150 * [taylor]: Taking taylor expansion of v in v
1.150 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.150 * [taylor]: Taking taylor expansion of m in v
1.150 * [taylor]: Taking taylor expansion of 1 in v
1.150 * [taylor]: Taking taylor expansion of (* (+ (sqrt (/ 1 m)) 1) (- 1 (sqrt (/ 1 m)))) in v
1.150 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 m)) 1) in v
1.150 * [taylor]: Taking taylor expansion of (sqrt (/ 1 m)) in v
1.150 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.150 * [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 (- 1 (sqrt (/ 1 m))) in v
1.151 * [taylor]: Taking taylor expansion of 1 in v
1.151 * [taylor]: Taking taylor expansion of (sqrt (/ 1 m)) 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 (* (- (/ v m) (+ (/ v (pow m 2)) 1)) (* (+ (sqrt (/ 1 m)) 1) (- 1 (sqrt (/ 1 m))))) in m
1.151 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in m
1.151 * [taylor]: Taking taylor expansion of (/ v m) in m
1.151 * [taylor]: Taking taylor expansion of v in m
1.151 * [taylor]: Taking taylor expansion of m in m
1.151 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in m
1.151 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.151 * [taylor]: Taking taylor expansion of v in m
1.151 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.151 * [taylor]: Taking taylor expansion of m in m
1.151 * [taylor]: Taking taylor expansion of 1 in m
1.151 * [taylor]: Taking taylor expansion of (* (+ (sqrt (/ 1 m)) 1) (- 1 (sqrt (/ 1 m)))) in m
1.151 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 m)) 1) in m
1.151 * [taylor]: Taking taylor expansion of (sqrt (/ 1 m)) in m
1.151 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.151 * [taylor]: Taking taylor expansion of m in m
1.151 * [taylor]: Taking taylor expansion of 1 in m
1.151 * [taylor]: Taking taylor expansion of (- 1 (sqrt (/ 1 m))) in m
1.151 * [taylor]: Taking taylor expansion of 1 in m
1.151 * [taylor]: Taking taylor expansion of (sqrt (/ 1 m)) in m
1.151 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.151 * [taylor]: Taking taylor expansion of m in m
1.151 * [taylor]: Taking taylor expansion of (* (- (/ v m) (+ (/ v (pow m 2)) 1)) (* (+ (sqrt (/ 1 m)) 1) (- 1 (sqrt (/ 1 m))))) in m
1.151 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in m
1.152 * [taylor]: Taking taylor expansion of (/ v m) in m
1.152 * [taylor]: Taking taylor expansion of v in m
1.152 * [taylor]: Taking taylor expansion of m in m
1.152 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in m
1.152 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.152 * [taylor]: Taking taylor expansion of v in m
1.152 * [taylor]: Taking taylor expansion of (pow m 2) 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 (* (+ (sqrt (/ 1 m)) 1) (- 1 (sqrt (/ 1 m)))) in m
1.152 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 m)) 1) in m
1.152 * [taylor]: Taking taylor expansion of (sqrt (/ 1 m)) 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 (- 1 (sqrt (/ 1 m))) in m
1.152 * [taylor]: Taking taylor expansion of 1 in m
1.152 * [taylor]: Taking taylor expansion of (sqrt (/ 1 m)) 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 0 in v
1.152 * [taylor]: Taking taylor expansion of 0 in v
1.153 * [taylor]: Taking taylor expansion of (- (* v (pow NAN 2)) v) in v
1.153 * [taylor]: Taking taylor expansion of (* v (pow NAN 2)) in v
1.153 * [taylor]: Taking taylor expansion of v in v
1.153 * [taylor]: Taking taylor expansion of (pow NAN 2) in v
1.153 * [taylor]: Taking taylor expansion of NAN in v
1.153 * [taylor]: Taking taylor expansion of v in v
1.154 * [approximate]: Taking taylor expansion of (* (- 1 (sqrt (/ -1 m))) (* (+ (sqrt (/ -1 m)) 1) (- (+ (/ v (pow m 2)) (/ v m)) 1))) in (m v) around 0
1.154 * [taylor]: Taking taylor expansion of (* (- 1 (sqrt (/ -1 m))) (* (+ (sqrt (/ -1 m)) 1) (- (+ (/ v (pow m 2)) (/ v m)) 1))) in v
1.154 * [taylor]: Taking taylor expansion of (- 1 (sqrt (/ -1 m))) in v
1.154 * [taylor]: Taking taylor expansion of 1 in v
1.154 * [taylor]: Taking taylor expansion of (sqrt (/ -1 m)) in v
1.154 * [taylor]: Taking taylor expansion of (/ -1 m) in v
1.154 * [taylor]: Taking taylor expansion of -1 in v
1.154 * [taylor]: Taking taylor expansion of m in v
1.154 * [taylor]: Taking taylor expansion of (* (+ (sqrt (/ -1 m)) 1) (- (+ (/ v (pow m 2)) (/ v m)) 1)) in v
1.154 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 m)) 1) in v
1.154 * [taylor]: Taking taylor expansion of (sqrt (/ -1 m)) in v
1.154 * [taylor]: Taking taylor expansion of (/ -1 m) in v
1.154 * [taylor]: Taking taylor expansion of -1 in v
1.154 * [taylor]: Taking taylor expansion of m in v
1.154 * [taylor]: Taking taylor expansion of 1 in v
1.154 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in v
1.154 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in v
1.154 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
1.154 * [taylor]: Taking taylor expansion of v in v
1.154 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.155 * [taylor]: Taking taylor expansion of m in v
1.155 * [taylor]: Taking taylor expansion of (/ v m) in v
1.155 * [taylor]: Taking taylor expansion of v in v
1.155 * [taylor]: Taking taylor expansion of m in v
1.155 * [taylor]: Taking taylor expansion of 1 in v
1.155 * [taylor]: Taking taylor expansion of (* (- 1 (sqrt (/ -1 m))) (* (+ (sqrt (/ -1 m)) 1) (- (+ (/ v (pow m 2)) (/ v m)) 1))) in m
1.155 * [taylor]: Taking taylor expansion of (- 1 (sqrt (/ -1 m))) in m
1.155 * [taylor]: Taking taylor expansion of 1 in m
1.155 * [taylor]: Taking taylor expansion of (sqrt (/ -1 m)) in m
1.155 * [taylor]: Taking taylor expansion of (/ -1 m) in m
1.155 * [taylor]: Taking taylor expansion of -1 in m
1.155 * [taylor]: Taking taylor expansion of m in m
1.155 * [taylor]: Taking taylor expansion of (* (+ (sqrt (/ -1 m)) 1) (- (+ (/ v (pow m 2)) (/ v m)) 1)) in m
1.155 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 m)) 1) in m
1.155 * [taylor]: Taking taylor expansion of (sqrt (/ -1 m)) in m
1.155 * [taylor]: Taking taylor expansion of (/ -1 m) in m
1.155 * [taylor]: Taking taylor expansion of -1 in m
1.155 * [taylor]: Taking taylor expansion of m in m
1.155 * [taylor]: Taking taylor expansion of 1 in m
1.155 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in m
1.155 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in m
1.155 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.155 * [taylor]: Taking taylor expansion of v in m
1.155 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.155 * [taylor]: Taking taylor expansion of m in m
1.155 * [taylor]: Taking taylor expansion of (/ v m) in m
1.155 * [taylor]: Taking taylor expansion of v in m
1.155 * [taylor]: Taking taylor expansion of m in m
1.155 * [taylor]: Taking taylor expansion of 1 in m
1.155 * [taylor]: Taking taylor expansion of (* (- 1 (sqrt (/ -1 m))) (* (+ (sqrt (/ -1 m)) 1) (- (+ (/ v (pow m 2)) (/ v m)) 1))) in m
1.155 * [taylor]: Taking taylor expansion of (- 1 (sqrt (/ -1 m))) in m
1.155 * [taylor]: Taking taylor expansion of 1 in m
1.155 * [taylor]: Taking taylor expansion of (sqrt (/ -1 m)) in m
1.155 * [taylor]: Taking taylor expansion of (/ -1 m) in m
1.155 * [taylor]: Taking taylor expansion of -1 in m
1.155 * [taylor]: Taking taylor expansion of m in m
1.156 * [taylor]: Taking taylor expansion of (* (+ (sqrt (/ -1 m)) 1) (- (+ (/ v (pow m 2)) (/ v m)) 1)) in m
1.156 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 m)) 1) in m
1.156 * [taylor]: Taking taylor expansion of (sqrt (/ -1 m)) in m
1.156 * [taylor]: Taking taylor expansion of (/ -1 m) in m
1.156 * [taylor]: Taking taylor expansion of -1 in m
1.156 * [taylor]: Taking taylor expansion of m in m
1.156 * [taylor]: Taking taylor expansion of 1 in m
1.156 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in m
1.156 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in m
1.156 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.156 * [taylor]: Taking taylor expansion of v in m
1.156 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.156 * [taylor]: Taking taylor expansion of m in m
1.156 * [taylor]: Taking taylor expansion of (/ v m) in m
1.156 * [taylor]: Taking taylor expansion of v in m
1.156 * [taylor]: Taking taylor expansion of m in m
1.156 * [taylor]: Taking taylor expansion of 1 in m
1.156 * [taylor]: Taking taylor expansion of 0 in v
1.156 * [taylor]: Taking taylor expansion of 0 in v
1.157 * [taylor]: Taking taylor expansion of (- (+ (* v NAN) v) (+ (* NAN v) (* (pow NAN 2) v))) in v
1.158 * [taylor]: Taking taylor expansion of (+ (* v NAN) v) in v
1.158 * [taylor]: Taking taylor expansion of (* v NAN) in v
1.158 * [taylor]: Taking taylor expansion of v in v
1.158 * [taylor]: Taking taylor expansion of NAN in v
1.158 * [taylor]: Taking taylor expansion of v in v
1.158 * [taylor]: Taking taylor expansion of (+ (* NAN v) (* (pow NAN 2) v)) in v
1.158 * [taylor]: Taking taylor expansion of (* NAN v) in v
1.158 * [taylor]: Taking taylor expansion of NAN in v
1.158 * [taylor]: Taking taylor expansion of v in v
1.158 * [taylor]: Taking taylor expansion of (* (pow NAN 2) v) in v
1.158 * [taylor]: Taking taylor expansion of (pow NAN 2) in v
1.158 * [taylor]: Taking taylor expansion of NAN in v
1.158 * [taylor]: Taking taylor expansion of v in v
1.158 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
1.158 * [approximate]: Taking taylor expansion of (/ (* (- 1 m) m) v) in (m v) around 0
1.158 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) m) v) in v
1.158 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in v
1.158 * [taylor]: Taking taylor expansion of (- 1 m) in v
1.158 * [taylor]: Taking taylor expansion of 1 in v
1.158 * [taylor]: Taking taylor expansion of m in v
1.158 * [taylor]: Taking taylor expansion of m in v
1.158 * [taylor]: Taking taylor expansion of v in v
1.158 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) m) v) in m
1.158 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m
1.158 * [taylor]: Taking taylor expansion of (- 1 m) in m
1.158 * [taylor]: Taking taylor expansion of 1 in m
1.158 * [taylor]: Taking taylor expansion of m in m
1.158 * [taylor]: Taking taylor expansion of m in m
1.158 * [taylor]: Taking taylor expansion of v in m
1.158 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) m) v) in m
1.159 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m
1.159 * [taylor]: Taking taylor expansion of (- 1 m) in m
1.159 * [taylor]: Taking taylor expansion of 1 in m
1.159 * [taylor]: Taking taylor expansion of m 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 v) in v
1.159 * [taylor]: Taking taylor expansion of v in v
1.159 * [taylor]: Taking taylor expansion of (neg (/ 1 v)) in v
1.159 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.159 * [taylor]: Taking taylor expansion of v in v
1.159 * [taylor]: Taking taylor expansion of 0 in v
1.159 * [taylor]: Taking taylor expansion of 0 in v
1.160 * [approximate]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in (m v) around 0
1.160 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in v
1.160 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in v
1.160 * [taylor]: Taking taylor expansion of v in v
1.160 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in v
1.160 * [taylor]: Taking taylor expansion of 1 in v
1.160 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.160 * [taylor]: Taking taylor expansion of m in v
1.160 * [taylor]: Taking taylor expansion of m in v
1.160 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in m
1.160 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in m
1.160 * [taylor]: Taking taylor expansion of v in m
1.160 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m
1.160 * [taylor]: Taking taylor expansion of 1 in m
1.160 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.160 * [taylor]: Taking taylor expansion of m in m
1.161 * [taylor]: Taking taylor expansion of m in m
1.161 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in m
1.161 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in m
1.161 * [taylor]: Taking taylor expansion of v in m
1.161 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m
1.161 * [taylor]: Taking taylor expansion of 1 in m
1.161 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.161 * [taylor]: Taking taylor expansion of m in m
1.161 * [taylor]: Taking taylor expansion of m in m
1.161 * [taylor]: Taking taylor expansion of (* -1 v) in v
1.161 * [taylor]: Taking taylor expansion of -1 in v
1.161 * [taylor]: Taking taylor expansion of v in v
1.161 * [taylor]: Taking taylor expansion of v in v
1.161 * [taylor]: Taking taylor expansion of 0 in v
1.162 * [taylor]: Taking taylor expansion of 0 in v
1.162 * [approximate]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in (m v) around 0
1.162 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in v
1.162 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in v
1.162 * [taylor]: Taking taylor expansion of v in v
1.162 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in v
1.162 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.162 * [taylor]: Taking taylor expansion of m in v
1.162 * [taylor]: Taking taylor expansion of 1 in v
1.162 * [taylor]: Taking taylor expansion of m in v
1.162 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in m
1.162 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in m
1.162 * [taylor]: Taking taylor expansion of v in m
1.162 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m
1.162 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.162 * [taylor]: Taking taylor expansion of m in m
1.162 * [taylor]: Taking taylor expansion of 1 in m
1.162 * [taylor]: Taking taylor expansion of m in m
1.163 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in m
1.163 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in m
1.163 * [taylor]: Taking taylor expansion of v in m
1.163 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m
1.163 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.163 * [taylor]: Taking taylor expansion of m in m
1.163 * [taylor]: Taking taylor expansion of 1 in m
1.163 * [taylor]: Taking taylor expansion of m in m
1.163 * [taylor]: Taking taylor expansion of v in v
1.163 * [taylor]: Taking taylor expansion of v in v
1.163 * [taylor]: Taking taylor expansion of 0 in v
1.163 * [taylor]: Taking taylor expansion of 0 in v
1.164 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
1.164 * [approximate]: Taking taylor expansion of (* (- 1 m) m) in (m) around 0
1.164 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m
1.164 * [taylor]: Taking taylor expansion of (- 1 m) in m
1.164 * [taylor]: Taking taylor expansion of 1 in m
1.164 * [taylor]: Taking taylor expansion of m in m
1.164 * [taylor]: Taking taylor expansion of m in m
1.164 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m
1.164 * [taylor]: Taking taylor expansion of (- 1 m) in m
1.164 * [taylor]: Taking taylor expansion of 1 in m
1.164 * [taylor]: Taking taylor expansion of m in m
1.164 * [taylor]: Taking taylor expansion of m in m
1.165 * [approximate]: Taking taylor expansion of (/ (- 1 (/ 1 m)) m) in (m) around 0
1.165 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 m)) m) in m
1.165 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m
1.165 * [taylor]: Taking taylor expansion of 1 in m
1.165 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.165 * [taylor]: Taking taylor expansion of m in m
1.165 * [taylor]: Taking taylor expansion of m in m
1.165 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 m)) m) in m
1.165 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m
1.165 * [taylor]: Taking taylor expansion of 1 in m
1.165 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.165 * [taylor]: Taking taylor expansion of m in m
1.165 * [taylor]: Taking taylor expansion of m in m
1.166 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) m)) in (m) around 0
1.167 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) m)) in m
1.167 * [taylor]: Taking taylor expansion of -1 in m
1.167 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1) m) in m
1.167 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m
1.167 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.167 * [taylor]: Taking taylor expansion of m in m
1.167 * [taylor]: Taking taylor expansion of 1 in m
1.167 * [taylor]: Taking taylor expansion of m in m
1.167 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) m)) in m
1.167 * [taylor]: Taking taylor expansion of -1 in m
1.167 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1) m) in m
1.167 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m
1.167 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.167 * [taylor]: Taking taylor expansion of m in m
1.167 * [taylor]: Taking taylor expansion of 1 in m
1.167 * [taylor]: Taking taylor expansion of m in m
1.169 * * * [progress]: simplifying candidates
1.171 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m)))
  (+.f64 (log.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (log.f64 (+.f64 1 (sqrt.f64 m))))
  (log.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))))
  (exp.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 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 (+.f64 1 (sqrt.f64 m)) (+.f64 1 (sqrt.f64 m))) (+.f64 1 (sqrt.f64 m))))
  (*.f64 (cbrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m)))) (cbrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m)))))
  (cbrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))))
  (*.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m)))) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))))
  (sqrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))))
  (sqrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))))
  (*.f64 (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) (pow.f64 1 3)) (+.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 m) 3)))
  (*.f64 (+.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (+.f64 (*.f64 1 1) (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))) (+.f64 (*.f64 1 1) (-.f64 (*.f64 (sqrt.f64 m) (sqrt.f64 m)) (*.f64 1 (sqrt.f64 m)))))
  (*.f64 (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) (pow.f64 1 3)) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 m) (sqrt.f64 m))))
  (*.f64 (+.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (+.f64 (*.f64 1 1) (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))) (-.f64 1 (sqrt.f64 m)))
  (*.f64 (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (*.f64 1 1)) (+.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 m) 3)))
  (*.f64 (+.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 (*.f64 1 1) (-.f64 (*.f64 (sqrt.f64 m) (sqrt.f64 m)) (*.f64 1 (sqrt.f64 m)))))
  (*.f64 (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (*.f64 1 1)) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 m) (sqrt.f64 m))))
  (*.f64 (+.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 (sqrt.f64 m)))
  (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (sqrt.f64 (+.f64 1 (sqrt.f64 m))))
  (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (sqrt.f64 (+.f64 1 (sqrt.f64 m))))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) 1)
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m))
  (*.f64 1 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))
  (*.f64 (sqrt.f64 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (*.f64 (cbrt.f64 (+.f64 1 (sqrt.f64 m))) (cbrt.f64 (+.f64 1 (sqrt.f64 m)))))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 (+.f64 1 (sqrt.f64 m))))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) 1)
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 1))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) 1)
  (*.f64 (cbrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (+.f64 1 (sqrt.f64 m)))
  (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (+.f64 1 (sqrt.f64 m)))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m)))
  (*.f64 (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (sqrt.f64 1)) (+.f64 1 (sqrt.f64 m)))
  (*.f64 (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1) (+.f64 1 (sqrt.f64 m)))
  (*.f64 (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1) (+.f64 1 (sqrt.f64 m)))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m)))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 m) 3)))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 m) (sqrt.f64 m))))
  (*.f64 (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) (pow.f64 1 3)) (+.f64 1 (sqrt.f64 m)))
  (*.f64 (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (*.f64 1 1)) (+.f64 1 (sqrt.f64 m)))
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m)))
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m)))
  (+.f64 (+.f64 (log.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (log.f64 (+.f64 1 (sqrt.f64 m)))) (log.f64 (-.f64 1 (sqrt.f64 m))))
  (+.f64 (log.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m)))) (log.f64 (-.f64 1 (sqrt.f64 m))))
  (log.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m))))
  (exp.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m))))
  (*.f64 (*.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 (+.f64 1 (sqrt.f64 m)) (+.f64 1 (sqrt.f64 m))) (+.f64 1 (sqrt.f64 m)))) (*.f64 (*.f64 (-.f64 1 (sqrt.f64 m)) (-.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m))))
  (*.f64 (*.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m)))) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m)))) (*.f64 (*.f64 (-.f64 1 (sqrt.f64 m)) (-.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m))))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m)))) (cbrt.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m)))))
  (cbrt.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m))))
  (*.f64 (*.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m))) (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m)))) (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m))))
  (sqrt.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m))))
  (sqrt.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m))))
  (*.f64 (*.f64 (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) (pow.f64 1 3)) (+.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 m) 3))) (-.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 m) 3)))
  (*.f64 (*.f64 (+.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (+.f64 (*.f64 1 1) (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))) (+.f64 (*.f64 1 1) (-.f64 (*.f64 (sqrt.f64 m) (sqrt.f64 m)) (*.f64 1 (sqrt.f64 m))))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (sqrt.f64 m) (sqrt.f64 m)) (*.f64 1 (sqrt.f64 m)))))
  (*.f64 (*.f64 (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) (pow.f64 1 3)) (+.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 m) 3))) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 m) (sqrt.f64 m))))
  (*.f64 (*.f64 (+.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (+.f64 (*.f64 1 1) (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))) (+.f64 (*.f64 1 1) (-.f64 (*.f64 (sqrt.f64 m) (sqrt.f64 m)) (*.f64 1 (sqrt.f64 m))))) (+.f64 1 (sqrt.f64 m)))
  (*.f64 (*.f64 (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) (pow.f64 1 3)) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 m) (sqrt.f64 m)))) (-.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 m) 3)))
  (*.f64 (*.f64 (+.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (+.f64 (*.f64 1 1) (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))) (-.f64 1 (sqrt.f64 m))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (sqrt.f64 m) (sqrt.f64 m)) (*.f64 1 (sqrt.f64 m)))))
  (*.f64 (*.f64 (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) (pow.f64 1 3)) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 m) (sqrt.f64 m)))) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 m) (sqrt.f64 m))))
  (*.f64 (*.f64 (+.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (+.f64 (*.f64 1 1) (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))) (-.f64 1 (sqrt.f64 m))) (+.f64 1 (sqrt.f64 m)))
  (*.f64 (*.f64 (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (*.f64 1 1)) (+.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 m) 3))) (-.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 m) 3)))
  (*.f64 (*.f64 (+.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 (*.f64 1 1) (-.f64 (*.f64 (sqrt.f64 m) (sqrt.f64 m)) (*.f64 1 (sqrt.f64 m))))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (sqrt.f64 m) (sqrt.f64 m)) (*.f64 1 (sqrt.f64 m)))))
  (*.f64 (*.f64 (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (*.f64 1 1)) (+.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 m) 3))) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 m) (sqrt.f64 m))))
  (*.f64 (*.f64 (+.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 (*.f64 1 1) (-.f64 (*.f64 (sqrt.f64 m) (sqrt.f64 m)) (*.f64 1 (sqrt.f64 m))))) (+.f64 1 (sqrt.f64 m)))
  (*.f64 (*.f64 (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (*.f64 1 1)) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 m) (sqrt.f64 m)))) (-.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 m) 3)))
  (*.f64 (*.f64 (+.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 (sqrt.f64 m))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (sqrt.f64 m) (sqrt.f64 m)) (*.f64 1 (sqrt.f64 m)))))
  (*.f64 (*.f64 (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (*.f64 1 1)) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 m) (sqrt.f64 m)))) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 m) (sqrt.f64 m))))
  (*.f64 (*.f64 (+.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 (sqrt.f64 m))) (+.f64 1 (sqrt.f64 m)))
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 m) 3))) (-.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 m) 3)))
  (*.f64 (+.f64 (*.f64 1 1) (-.f64 (*.f64 (sqrt.f64 m) (sqrt.f64 m)) (*.f64 1 (sqrt.f64 m)))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (sqrt.f64 m) (sqrt.f64 m)) (*.f64 1 (sqrt.f64 m)))))
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 m) 3))) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 m) (sqrt.f64 m))))
  (*.f64 (+.f64 (*.f64 1 1) (-.f64 (*.f64 (sqrt.f64 m) (sqrt.f64 m)) (*.f64 1 (sqrt.f64 m)))) (+.f64 1 (sqrt.f64 m)))
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 m) (sqrt.f64 m)))) (-.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 m) 3)))
  (*.f64 (-.f64 1 (sqrt.f64 m)) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (sqrt.f64 m) (sqrt.f64 m)) (*.f64 1 (sqrt.f64 m)))))
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 m) (sqrt.f64 m)))) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 m) (sqrt.f64 m))))
  (*.f64 (-.f64 1 (sqrt.f64 m)) (+.f64 1 (sqrt.f64 m)))
  (*.f64 (*.f64 (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) (pow.f64 1 3)) (+.f64 1 (sqrt.f64 m))) (-.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 m) 3)))
  (*.f64 (+.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (+.f64 (*.f64 1 1) (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (sqrt.f64 m) (sqrt.f64 m)) (*.f64 1 (sqrt.f64 m)))))
  (*.f64 (*.f64 (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) (pow.f64 1 3)) (+.f64 1 (sqrt.f64 m))) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 m) (sqrt.f64 m))))
  (*.f64 (+.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (+.f64 (*.f64 1 1) (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))) (+.f64 1 (sqrt.f64 m)))
  (*.f64 (*.f64 (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (*.f64 1 1)) (+.f64 1 (sqrt.f64 m))) (-.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 m) 3)))
  (*.f64 (+.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (sqrt.f64 m) (sqrt.f64 m)) (*.f64 1 (sqrt.f64 m)))))
  (*.f64 (*.f64 (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (*.f64 1 1)) (+.f64 1 (sqrt.f64 m))) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 m) (sqrt.f64 m))))
  (*.f64 (+.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m)))
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) 1)
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (neg.f64 (sqrt.f64 m)))
  (*.f64 1 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))))
  (*.f64 (neg.f64 (sqrt.f64 m)) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))))
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (*.f64 (cbrt.f64 (-.f64 1 (sqrt.f64 m))) (cbrt.f64 (-.f64 1 (sqrt.f64 m)))))
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (sqrt.f64 (-.f64 1 (sqrt.f64 m))))
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) 1)
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (+.f64 (sqrt.f64 1) (sqrt.f64 (sqrt.f64 m))))
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (+.f64 (sqrt.f64 1) (sqrt.f64 (sqrt.f64 m))))
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (+.f64 1 (sqrt.f64 (sqrt.f64 m))))
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (+.f64 1 (sqrt.f64 (sqrt.f64 m))))
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (sqrt.f64 1))
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) 1)
  (*.f64 (+.f64 1 (sqrt.f64 m)) (-.f64 1 (sqrt.f64 m)))
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 m) 3)))
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 m) (sqrt.f64 m))))
  (*.f64 (*.f64 (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) (pow.f64 1 3)) (+.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 m) 3))) (-.f64 1 (sqrt.f64 m)))
  (*.f64 (*.f64 (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) (pow.f64 1 3)) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 m) (sqrt.f64 m)))) (-.f64 1 (sqrt.f64 m)))
  (*.f64 (*.f64 (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (*.f64 1 1)) (+.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 m) 3))) (-.f64 1 (sqrt.f64 m)))
  (*.f64 (*.f64 (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (*.f64 1 1)) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 m) (sqrt.f64 m)))) (-.f64 1 (sqrt.f64 m)))
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 m) 3))) (-.f64 1 (sqrt.f64 m)))
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 m) (sqrt.f64 m)))) (-.f64 1 (sqrt.f64 m)))
  (*.f64 (*.f64 (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) (pow.f64 1 3)) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m)))
  (*.f64 (*.f64 (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (*.f64 1 1)) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m)))
  (-.f64 (+.f64 (log.f64 m) (log.f64 (-.f64 1 m))) (log.f64 v))
  (-.f64 (log.f64 (*.f64 m (-.f64 1 m))) (log.f64 v))
  (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
  (exp.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
  (/.f64 (*.f64 (*.f64 (*.f64 m m) m) (*.f64 (*.f64 (-.f64 1 m) (-.f64 1 m)) (-.f64 1 m))) (*.f64 (*.f64 v v) 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 (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)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (/.f64 (*.f64 m (-.f64 1 m)) 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 1 v)
  (/.f64 v (*.f64 m (-.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 v (-.f64 1 m))
  (*.f64 v (+.f64 (*.f64 1 1) (+.f64 (*.f64 m m) (*.f64 1 m))))
  (*.f64 v (+.f64 1 m))
  (*.f64 m (-.f64 1 m))
  (+.f64 (log.f64 m) (log.f64 (-.f64 1 m)))
  (log.f64 (*.f64 m (-.f64 1 m)))
  (exp.f64 (*.f64 m (-.f64 1 m)))
  (*.f64 (*.f64 (*.f64 m m) m) (*.f64 (*.f64 (-.f64 1 m) (-.f64 1 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 (-.f64 1 m)) (*.f64 m (-.f64 1 m))) (*.f64 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 m 1)
  (*.f64 m (neg.f64 m))
  (*.f64 1 m)
  (*.f64 (neg.f64 m) 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 (cbrt.f64 m) (-.f64 1 m))
  (*.f64 (sqrt.f64 m) (-.f64 1 m))
  (*.f64 m (-.f64 1 m))
  (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3)))
  (*.f64 m (-.f64 (*.f64 1 1) (*.f64 m m)))
  (-.f64 (+.f64 (/.f64 (*.f64 (pow.f64 m 2) NAN.f64) v) (/.f64 m v)) (+.f64 1 (/.f64 (pow.f64 m 2) v)))
  (-.f64 (+.f64 (/.f64 (*.f64 m NAN.f64) v) (/.f64 m v)) (+.f64 1 (+.f64 NAN.f64 (+.f64 (/.f64 (*.f64 m (pow.f64 NAN.f64 3)) v) (+.f64 (/.f64 (*.f64 (pow.f64 m 2) NAN.f64) v) (/.f64 (pow.f64 m 2) v))))))
  (-.f64 (+.f64 (/.f64 (*.f64 m (pow.f64 NAN.f64 3)) v) (+.f64 (/.f64 (*.f64 m NAN.f64) v) (/.f64 m v))) (+.f64 1 (+.f64 NAN.f64 (+.f64 (/.f64 (*.f64 (pow.f64 m 2) NAN.f64) v) (/.f64 (pow.f64 m 2) v)))))
  (-.f64 (/.f64 m v) (+.f64 1 (/.f64 (pow.f64 m 2) v)))
  0
  0
  (-.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.255 * * [simplify]: iteration  0 :  4984  enodes  (cost  3815 )
1.255 * * [simplify]: iteration  1 :  4984  enodes  (cost  3815 )
1.272 * [simplify]: Simplified to:
   (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m)))
  (log.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))))
  (log.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))))
  (exp.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))))
  (pow.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) 3)
  (*.f64 (cbrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m)))) (cbrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m)))))
  (cbrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))))
  (pow.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) 3)
  (sqrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))))
  (sqrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))))
  (*.f64 (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) 1) (+.f64 1 (pow.f64 m 3/2)))
  (*.f64 (+.f64 1 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (+.f64 1 (/.f64 (*.f64 m (-.f64 1 m)) v)))) (+.f64 1 (-.f64 m (sqrt.f64 m))))
  (*.f64 (-.f64 1 m) (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) 1))
  (*.f64 (+.f64 1 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (+.f64 1 (/.f64 (*.f64 m (-.f64 1 m)) v)))) (-.f64 1 (sqrt.f64 m)))
  (*.f64 (+.f64 1 (pow.f64 m 3/2)) (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) 1))
  (*.f64 (+.f64 1 (/.f64 (*.f64 m (-.f64 1 m)) v)) (+.f64 1 (-.f64 m (sqrt.f64 m))))
  (*.f64 (-.f64 1 m) (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) 1))
  (*.f64 (+.f64 1 (/.f64 (*.f64 m (-.f64 1 m)) v)) (-.f64 1 (sqrt.f64 m)))
  (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (sqrt.f64 (+.f64 1 (sqrt.f64 m))))
  (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (sqrt.f64 (+.f64 1 (sqrt.f64 m))))
  (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m))
  (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (*.f64 (cbrt.f64 (+.f64 1 (sqrt.f64 m))) (cbrt.f64 (+.f64 1 (sqrt.f64 m)))))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 (+.f64 1 (sqrt.f64 m))))
  (-.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 1 (sqrt.f64 m)) (cbrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (*.f64 (+.f64 1 (sqrt.f64 m)) (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m)))
  (*.f64 (+.f64 1 (sqrt.f64 m)) (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1))
  (*.f64 (+.f64 1 (sqrt.f64 m)) (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1))
  (*.f64 (+.f64 1 (sqrt.f64 m)) (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m)))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (pow.f64 m 3/2)))
  (*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))
  (*.f64 (+.f64 1 (sqrt.f64 m)) (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) 1))
  (*.f64 (+.f64 1 (sqrt.f64 m)) (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) 1))
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m)))
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m)))
  (log.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m))))
  (log.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m))))
  (log.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m))))
  (pow.f64 (exp.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m)))) (-.f64 1 (sqrt.f64 m)))
  (pow.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m))) 3)
  (pow.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m))) 3)
  (*.f64 (cbrt.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m)))) (cbrt.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m)))))
  (cbrt.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m))))
  (pow.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m))) 3)
  (sqrt.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m))))
  (sqrt.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m))))
  (*.f64 (*.f64 (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) 1) (+.f64 1 (pow.f64 m 3/2))) (-.f64 1 (pow.f64 m 3/2)))
  (*.f64 (+.f64 1 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (+.f64 1 (/.f64 (*.f64 m (-.f64 1 m)) v)))) (*.f64 (+.f64 1 (-.f64 m (sqrt.f64 m))) (+.f64 m (+.f64 1 (sqrt.f64 m)))))
  (*.f64 (-.f64 1 m) (*.f64 (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) 1) (+.f64 1 (pow.f64 m 3/2))))
  (*.f64 (+.f64 1 (sqrt.f64 m)) (*.f64 (+.f64 1 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (+.f64 1 (/.f64 (*.f64 m (-.f64 1 m)) v)))) (+.f64 1 (-.f64 m (sqrt.f64 m)))))
  (*.f64 (*.f64 (-.f64 1 m) (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) 1)) (-.f64 1 (pow.f64 m 3/2)))
  (*.f64 (+.f64 1 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (+.f64 1 (/.f64 (*.f64 m (-.f64 1 m)) v)))) (*.f64 (-.f64 1 (sqrt.f64 m)) (+.f64 m (+.f64 1 (sqrt.f64 m)))))
  (*.f64 (-.f64 1 m) (*.f64 (-.f64 1 m) (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) 1)))
  (*.f64 (+.f64 1 (sqrt.f64 m)) (*.f64 (+.f64 1 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (+.f64 1 (/.f64 (*.f64 m (-.f64 1 m)) v)))) (-.f64 1 (sqrt.f64 m))))
  (*.f64 (*.f64 (+.f64 1 (pow.f64 m 3/2)) (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) 1)) (-.f64 1 (pow.f64 m 3/2)))
  (*.f64 (*.f64 (+.f64 1 (/.f64 (*.f64 m (-.f64 1 m)) v)) (+.f64 1 (-.f64 m (sqrt.f64 m)))) (+.f64 m (+.f64 1 (sqrt.f64 m))))
  (*.f64 (-.f64 1 m) (*.f64 (+.f64 1 (pow.f64 m 3/2)) (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) 1)))
  (*.f64 (+.f64 1 (sqrt.f64 m)) (*.f64 (+.f64 1 (/.f64 (*.f64 m (-.f64 1 m)) v)) (+.f64 1 (-.f64 m (sqrt.f64 m)))))
  (*.f64 (*.f64 (-.f64 1 m) (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) 1)) (-.f64 1 (pow.f64 m 3/2)))
  (*.f64 (*.f64 (+.f64 1 (/.f64 (*.f64 m (-.f64 1 m)) v)) (-.f64 1 (sqrt.f64 m))) (+.f64 m (+.f64 1 (sqrt.f64 m))))
  (*.f64 (-.f64 1 m) (*.f64 (-.f64 1 m) (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) 1)))
  (*.f64 (+.f64 1 (sqrt.f64 m)) (*.f64 (+.f64 1 (/.f64 (*.f64 m (-.f64 1 m)) v)) (-.f64 1 (sqrt.f64 m))))
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (pow.f64 m 3/2))) (-.f64 1 (pow.f64 m 3/2)))
  (*.f64 (+.f64 1 (-.f64 m (sqrt.f64 m))) (+.f64 m (+.f64 1 (sqrt.f64 m))))
  (*.f64 (-.f64 1 m) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (pow.f64 m 3/2))))
  (*.f64 (+.f64 1 (sqrt.f64 m)) (+.f64 1 (-.f64 m (sqrt.f64 m))))
  (*.f64 (*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (-.f64 1 (pow.f64 m 3/2)))
  (*.f64 (-.f64 1 (sqrt.f64 m)) (+.f64 m (+.f64 1 (sqrt.f64 m))))
  (*.f64 (-.f64 1 m) (*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (-.f64 (+.f64 1 (sqrt.f64 m)) (+.f64 m (sqrt.f64 m)))
  (*.f64 (*.f64 (+.f64 1 (sqrt.f64 m)) (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) 1)) (-.f64 1 (pow.f64 m 3/2)))
  (*.f64 (+.f64 1 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (+.f64 1 (/.f64 (*.f64 m (-.f64 1 m)) v)))) (+.f64 m (+.f64 1 (sqrt.f64 m))))
  (*.f64 (-.f64 1 m) (*.f64 (+.f64 1 (sqrt.f64 m)) (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) 1)))
  (*.f64 (+.f64 1 (sqrt.f64 m)) (+.f64 1 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (+.f64 1 (/.f64 (*.f64 m (-.f64 1 m)) v)))))
  (*.f64 (*.f64 (+.f64 1 (sqrt.f64 m)) (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) 1)) (-.f64 1 (pow.f64 m 3/2)))
  (*.f64 (+.f64 1 (/.f64 (*.f64 m (-.f64 1 m)) v)) (+.f64 m (+.f64 1 (sqrt.f64 m))))
  (*.f64 (-.f64 1 m) (*.f64 (+.f64 1 (sqrt.f64 m)) (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) 1)))
  (*.f64 (+.f64 1 (sqrt.f64 m)) (+.f64 1 (/.f64 (*.f64 m (-.f64 1 m)) v)))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m)))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (neg.f64 (+.f64 m (sqrt.f64 m))))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m)))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (neg.f64 (+.f64 m (sqrt.f64 m))))
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (*.f64 (cbrt.f64 (-.f64 1 (sqrt.f64 m))) (cbrt.f64 (-.f64 1 (sqrt.f64 m)))))
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (sqrt.f64 (-.f64 1 (sqrt.f64 m))))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m)))
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (+.f64 1 (sqrt.f64 (sqrt.f64 m))))
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (+.f64 1 (sqrt.f64 (sqrt.f64 m))))
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (+.f64 1 (sqrt.f64 (sqrt.f64 m))))
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (+.f64 1 (sqrt.f64 (sqrt.f64 m))))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m)))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m)))
  (-.f64 (+.f64 1 (sqrt.f64 m)) (+.f64 m (sqrt.f64 m)))
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (pow.f64 m 3/2)))
  (*.f64 (-.f64 1 m) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))))
  (*.f64 (+.f64 1 (pow.f64 m 3/2)) (*.f64 (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) 1) (-.f64 1 (sqrt.f64 m))))
  (*.f64 (*.f64 (-.f64 1 m) (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) 1)) (-.f64 1 (sqrt.f64 m)))
  (*.f64 (+.f64 1 (pow.f64 m 3/2)) (*.f64 (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) 1) (-.f64 1 (sqrt.f64 m))))
  (*.f64 (-.f64 1 (sqrt.f64 m)) (*.f64 (-.f64 1 m) (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) 1)))
  (*.f64 (+.f64 1 (pow.f64 m 3/2)) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 (sqrt.f64 m))))
  (*.f64 (-.f64 1 (sqrt.f64 m)) (*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (*.f64 (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) 1) (-.f64 (+.f64 1 (sqrt.f64 m)) (+.f64 m (sqrt.f64 m))))
  (*.f64 (-.f64 1 (sqrt.f64 m)) (*.f64 (+.f64 1 (sqrt.f64 m)) (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.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))
  (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
  (exp.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)
  (*.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)
  (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
  (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
  (*.f64 m (+.f64 m -1))
  (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 1 v)
  (/.f64 v (*.f64 m (-.f64 1 m)))
  (*.f64 (/.f64 m (*.f64 (cbrt.f64 v) (cbrt.f64 v))) (-.f64 1 m))
  (*.f64 (/.f64 m (sqrt.f64 v)) (-.f64 1 m))
  (*.f64 m (-.f64 1 m))
  (/.f64 v (-.f64 1 m))
  (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))
  (*.f64 v (+.f64 m 1))
  (*.f64 m (-.f64 1 m))
  (log.f64 (*.f64 m (-.f64 1 m)))
  (log.f64 (*.f64 m (-.f64 1 m)))
  (exp.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 (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m))))
  (*.f64 m (sqrt.f64 (-.f64 1 m)))
  m
  (+.f64 m (pow.f64 m 3/2))
  (+.f64 m (pow.f64 m 3/2))
  m
  (*.f64 (-.f64 1 m) (cbrt.f64 m))
  (*.f64 (-.f64 1 m) (sqrt.f64 m))
  (*.f64 m (-.f64 1 m))
  (+.f64 m (neg.f64 (pow.f64 m 4)))
  (-.f64 m (pow.f64 m 3))
  (+.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (/.f64 (*.f64 (*.f64 m m) (NAN.f64)) v))
  (-.f64 (+.f64 (/.f64 m v) (*.f64 (/.f64 m v) (NAN.f64))) (+.f64 1 (+.f64 (*.f64 (+.f64 1 (/.f64 (*.f64 m m) v)) (NAN.f64)) (+.f64 (/.f64 (*.f64 m m) v) (*.f64 (/.f64 m v) (pow.f64 (NAN.f64) 3))))))
  (+.f64 (+.f64 (/.f64 m v) (*.f64 (/.f64 m v) (+.f64 (NAN.f64) (pow.f64 (NAN.f64) 3)))) (-.f64 -1 (+.f64 (/.f64 (*.f64 m m) v) (*.f64 (+.f64 1 (/.f64 (*.f64 m m) v)) (NAN.f64)))))
  (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
  0
  0
  (/.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.273 * * * [progress]: adding candidates to table