1.324 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.089 * * * [progress]: [2/2] Setting up program.
0.105 * [progress]: [Phase 2 of 3] Improving.
0.204 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m)
1.034 * * [simplify]: iteration  0 :  5046  enodes  (cost  16 )
1.035 * [simplify]: Simplified to:
   (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))
1.045 * * [progress]: iteration 1 / 4
1.045 * * * [progress]: picking best candidate
1.052 * * * * [pick]: Picked  #<alt (λ (m v) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m))>
1.052 * * * [progress]: localizing error
1.065 * * * [progress]: generating rewritten candidates
1.065 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
1.079 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
1.087 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1)
1.097 * * * [progress]: generating series expansions
1.097 * * * * [progress]: [ 1 / 3 ] generating series at (2)
1.106 * [approximate]: Taking taylor expansion of (* m (- (/ m v) (+ 1 (/ (pow m 2) v)))) in (m v) around 0
1.107 * [taylor]: Taking taylor expansion of (* m (- (/ m v) (+ 1 (/ (pow m 2) v)))) in v
1.107 * [taylor]: Taking taylor expansion of m in v
1.107 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in v
1.107 * [taylor]: Taking taylor expansion of (/ m v) in v
1.107 * [taylor]: Taking taylor expansion of m in v
1.107 * [taylor]: Taking taylor expansion of v in v
1.108 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in v
1.108 * [taylor]: Taking taylor expansion of 1 in v
1.108 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v
1.108 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.108 * [taylor]: Taking taylor expansion of m in v
1.108 * [taylor]: Taking taylor expansion of v in v
1.109 * [taylor]: Taking taylor expansion of (* m (- (/ m v) (+ 1 (/ (pow m 2) v)))) in m
1.109 * [taylor]: Taking taylor expansion of m in m
1.109 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in m
1.109 * [taylor]: Taking taylor expansion of (/ m v) in m
1.109 * [taylor]: Taking taylor expansion of m in m
1.109 * [taylor]: Taking taylor expansion of v in m
1.109 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in m
1.109 * [taylor]: Taking taylor expansion of 1 in m
1.109 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
1.109 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.109 * [taylor]: Taking taylor expansion of m in m
1.109 * [taylor]: Taking taylor expansion of v in m
1.109 * [taylor]: Taking taylor expansion of (* m (- (/ m v) (+ 1 (/ (pow m 2) v)))) in m
1.109 * [taylor]: Taking taylor expansion of m in m
1.109 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in m
1.109 * [taylor]: Taking taylor expansion of (/ m v) in m
1.109 * [taylor]: Taking taylor expansion of m in m
1.109 * [taylor]: Taking taylor expansion of v in m
1.109 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in m
1.109 * [taylor]: Taking taylor expansion of 1 in m
1.109 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
1.110 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.110 * [taylor]: Taking taylor expansion of m in m
1.110 * [taylor]: Taking taylor expansion of v in m
1.111 * [taylor]: Taking taylor expansion of 0 in v
1.111 * [taylor]: Taking taylor expansion of -1 in v
1.113 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.113 * [taylor]: Taking taylor expansion of v in v
1.115 * [taylor]: Taking taylor expansion of (neg (/ 1 v)) in v
1.115 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.115 * [taylor]: Taking taylor expansion of v in v
1.118 * [approximate]: Taking taylor expansion of (/ (- (/ v m) (+ (/ v (pow m 2)) 1)) m) in (m v) around 0
1.118 * [taylor]: Taking taylor expansion of (/ (- (/ v m) (+ (/ v (pow m 2)) 1)) m) in v
1.118 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in v
1.118 * [taylor]: Taking taylor expansion of (/ v m) in v
1.118 * [taylor]: Taking taylor expansion of v in v
1.118 * [taylor]: Taking taylor expansion of m in v
1.118 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in v
1.118 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
1.118 * [taylor]: Taking taylor expansion of v in v
1.118 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.118 * [taylor]: Taking taylor expansion of m in v
1.118 * [taylor]: Taking taylor expansion of 1 in v
1.118 * [taylor]: Taking taylor expansion of m in v
1.119 * [taylor]: Taking taylor expansion of (/ (- (/ v m) (+ (/ v (pow m 2)) 1)) m) in m
1.119 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in m
1.119 * [taylor]: Taking taylor expansion of (/ v m) in m
1.119 * [taylor]: Taking taylor expansion of v in m
1.119 * [taylor]: Taking taylor expansion of m in m
1.119 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in m
1.119 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.119 * [taylor]: Taking taylor expansion of v in m
1.119 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.119 * [taylor]: Taking taylor expansion of m in m
1.119 * [taylor]: Taking taylor expansion of 1 in m
1.119 * [taylor]: Taking taylor expansion of m in m
1.119 * [taylor]: Taking taylor expansion of (/ (- (/ v m) (+ (/ v (pow m 2)) 1)) m) in m
1.119 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in m
1.119 * [taylor]: Taking taylor expansion of (/ v m) in m
1.119 * [taylor]: Taking taylor expansion of v in m
1.120 * [taylor]: Taking taylor expansion of m in m
1.120 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in m
1.120 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.120 * [taylor]: Taking taylor expansion of v in m
1.120 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.120 * [taylor]: Taking taylor expansion of m in m
1.120 * [taylor]: Taking taylor expansion of 1 in m
1.120 * [taylor]: Taking taylor expansion of m in m
1.120 * [taylor]: Taking taylor expansion of (* -1 v) in v
1.120 * [taylor]: Taking taylor expansion of -1 in v
1.120 * [taylor]: Taking taylor expansion of v in v
1.121 * [taylor]: Taking taylor expansion of v in v
1.124 * [taylor]: Taking taylor expansion of -1 in v
1.126 * [approximate]: Taking taylor expansion of (* -1 (/ (- (+ (/ v (pow m 2)) (/ v m)) 1) m)) in (m v) around 0
1.126 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ v (pow m 2)) (/ v m)) 1) m)) in v
1.126 * [taylor]: Taking taylor expansion of -1 in v
1.126 * [taylor]: Taking taylor expansion of (/ (- (+ (/ v (pow m 2)) (/ v m)) 1) m) in v
1.126 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in v
1.127 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in v
1.127 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
1.127 * [taylor]: Taking taylor expansion of v in v
1.127 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.127 * [taylor]: Taking taylor expansion of m in v
1.127 * [taylor]: Taking taylor expansion of (/ v m) in v
1.127 * [taylor]: Taking taylor expansion of v in v
1.127 * [taylor]: Taking taylor expansion of m in v
1.127 * [taylor]: Taking taylor expansion of 1 in v
1.127 * [taylor]: Taking taylor expansion of m in v
1.127 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ v (pow m 2)) (/ v m)) 1) m)) in m
1.127 * [taylor]: Taking taylor expansion of -1 in m
1.127 * [taylor]: Taking taylor expansion of (/ (- (+ (/ v (pow m 2)) (/ v m)) 1) m) in m
1.127 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in m
1.127 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in m
1.127 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.127 * [taylor]: Taking taylor expansion of v in m
1.127 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.127 * [taylor]: Taking taylor expansion of m in m
1.127 * [taylor]: Taking taylor expansion of (/ v m) in m
1.128 * [taylor]: Taking taylor expansion of v in m
1.128 * [taylor]: Taking taylor expansion of m in m
1.128 * [taylor]: Taking taylor expansion of 1 in m
1.128 * [taylor]: Taking taylor expansion of m in m
1.128 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ v (pow m 2)) (/ v m)) 1) m)) in m
1.128 * [taylor]: Taking taylor expansion of -1 in m
1.128 * [taylor]: Taking taylor expansion of (/ (- (+ (/ v (pow m 2)) (/ v m)) 1) m) in m
1.128 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in m
1.128 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in m
1.128 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.128 * [taylor]: Taking taylor expansion of v in m
1.128 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.128 * [taylor]: Taking taylor expansion of m in m
1.128 * [taylor]: Taking taylor expansion of (/ v m) in m
1.128 * [taylor]: Taking taylor expansion of v in m
1.128 * [taylor]: Taking taylor expansion of m in m
1.128 * [taylor]: Taking taylor expansion of 1 in m
1.128 * [taylor]: Taking taylor expansion of m in m
1.129 * [taylor]: Taking taylor expansion of (* -1 v) in v
1.129 * [taylor]: Taking taylor expansion of -1 in v
1.129 * [taylor]: Taking taylor expansion of v in v
1.130 * [taylor]: Taking taylor expansion of (neg v) in v
1.130 * [taylor]: Taking taylor expansion of v in v
1.132 * [taylor]: Taking taylor expansion of 1 in v
1.134 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
1.134 * [approximate]: Taking taylor expansion of (/ (* (- 1 m) m) v) in (m v) around 0
1.134 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) m) v) in v
1.134 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in v
1.134 * [taylor]: Taking taylor expansion of (- 1 m) in v
1.134 * [taylor]: Taking taylor expansion of 1 in v
1.134 * [taylor]: Taking taylor expansion of m in v
1.134 * [taylor]: Taking taylor expansion of m in v
1.134 * [taylor]: Taking taylor expansion of v in v
1.135 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) m) v) in m
1.135 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m
1.135 * [taylor]: Taking taylor expansion of (- 1 m) in m
1.135 * [taylor]: Taking taylor expansion of 1 in m
1.135 * [taylor]: Taking taylor expansion of m in m
1.135 * [taylor]: Taking taylor expansion of m in m
1.135 * [taylor]: Taking taylor expansion of v in m
1.136 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) m) v) in m
1.136 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m
1.136 * [taylor]: Taking taylor expansion of (- 1 m) in m
1.136 * [taylor]: Taking taylor expansion of 1 in m
1.136 * [taylor]: Taking taylor expansion of m in m
1.136 * [taylor]: Taking taylor expansion of m in m
1.136 * [taylor]: Taking taylor expansion of v in m
1.136 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.136 * [taylor]: Taking taylor expansion of v in v
1.137 * [taylor]: Taking taylor expansion of (neg (/ 1 v)) in v
1.137 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.137 * [taylor]: Taking taylor expansion of v in v
1.139 * [taylor]: Taking taylor expansion of 0 in v
1.140 * [taylor]: Taking taylor expansion of 0 in v
1.142 * [approximate]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in (m v) around 0
1.142 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in v
1.142 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in v
1.142 * [taylor]: Taking taylor expansion of v in v
1.142 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in v
1.142 * [taylor]: Taking taylor expansion of 1 in v
1.142 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.142 * [taylor]: Taking taylor expansion of m in v
1.143 * [taylor]: Taking taylor expansion of m in v
1.144 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in m
1.144 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in m
1.144 * [taylor]: Taking taylor expansion of v in m
1.144 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m
1.144 * [taylor]: Taking taylor expansion of 1 in m
1.144 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.144 * [taylor]: Taking taylor expansion of m in m
1.144 * [taylor]: Taking taylor expansion of m in m
1.144 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in m
1.144 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in m
1.144 * [taylor]: Taking taylor expansion of v in m
1.144 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m
1.144 * [taylor]: Taking taylor expansion of 1 in m
1.144 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.144 * [taylor]: Taking taylor expansion of m in m
1.145 * [taylor]: Taking taylor expansion of m in m
1.145 * [taylor]: Taking taylor expansion of (* -1 v) in v
1.145 * [taylor]: Taking taylor expansion of -1 in v
1.145 * [taylor]: Taking taylor expansion of v in v
1.146 * [taylor]: Taking taylor expansion of v in v
1.147 * [taylor]: Taking taylor expansion of 0 in v
1.149 * [taylor]: Taking taylor expansion of 0 in v
1.157 * [approximate]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in (m v) around 0
1.157 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in v
1.157 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in v
1.157 * [taylor]: Taking taylor expansion of v in v
1.157 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in v
1.157 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.157 * [taylor]: Taking taylor expansion of m in v
1.157 * [taylor]: Taking taylor expansion of 1 in v
1.157 * [taylor]: Taking taylor expansion of m in v
1.158 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in m
1.158 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in m
1.158 * [taylor]: Taking taylor expansion of v in m
1.158 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m
1.158 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.158 * [taylor]: Taking taylor expansion of m in m
1.158 * [taylor]: Taking taylor expansion of 1 in m
1.158 * [taylor]: Taking taylor expansion of m in m
1.159 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in m
1.159 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in m
1.159 * [taylor]: Taking taylor expansion of v in m
1.159 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m
1.159 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.159 * [taylor]: Taking taylor expansion of 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 v in v
1.160 * [taylor]: Taking taylor expansion of v in v
1.161 * [taylor]: Taking taylor expansion of 0 in v
1.163 * [taylor]: Taking taylor expansion of 0 in v
1.164 * * * * [progress]: [ 3 / 3 ] generating series at (2 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.165 * [taylor]: Taking taylor expansion of (- 1 m) in m
1.165 * [taylor]: Taking taylor expansion of 1 in m
1.165 * [taylor]: Taking taylor expansion of m in m
1.165 * [taylor]: Taking taylor expansion of m in m
1.171 * [approximate]: Taking taylor expansion of (/ (- 1 (/ 1 m)) m) in (m) around 0
1.171 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 m)) m) in m
1.171 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m
1.171 * [taylor]: Taking taylor expansion of 1 in m
1.171 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.171 * [taylor]: Taking taylor expansion of m in m
1.171 * [taylor]: Taking taylor expansion of m in m
1.171 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 m)) m) in m
1.171 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m
1.171 * [taylor]: Taking taylor expansion of 1 in m
1.171 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.171 * [taylor]: Taking taylor expansion of m in m
1.171 * [taylor]: Taking taylor expansion of m in m
1.181 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) m)) in (m) around 0
1.181 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) m)) in m
1.181 * [taylor]: Taking taylor expansion of -1 in m
1.181 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1) m) in m
1.181 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m
1.181 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.181 * [taylor]: Taking taylor expansion of m in m
1.181 * [taylor]: Taking taylor expansion of 1 in m
1.181 * [taylor]: Taking taylor expansion of m in m
1.181 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) m)) in m
1.182 * [taylor]: Taking taylor expansion of -1 in m
1.182 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1) m) in m
1.182 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m
1.182 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.182 * [taylor]: Taking taylor expansion of m in m
1.182 * [taylor]: Taking taylor expansion of 1 in m
1.182 * [taylor]: Taking taylor expansion of m in m
1.193 * * * [progress]: simplifying candidates
1.195 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (*.f64 1 1)) m)
  (*.f64 (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) (pow.f64 1 3)) m)
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m)
  (*.f64 (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1) m)
  (*.f64 (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1) m)
  (*.f64 (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (sqrt.f64 1)) m)
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m)
  (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) m)
  (*.f64 (cbrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) 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 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (*.f64 (cbrt.f64 m) (cbrt.f64 m)))
  (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (sqrt.f64 m))
  (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (sqrt.f64 m))
  (sqrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m))
  (sqrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m))
  (*.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m)) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m))
  (*.f64 (cbrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m)) (cbrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m)))
  (cbrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m))
  (*.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (*.f64 (*.f64 m m) m))
  (exp.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m))
  (log.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m))
  (+.f64 (log.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (log.f64 m))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m)
  (*.f64 v (+.f64 1 m))
  (*.f64 v (+.f64 (*.f64 1 1) (+.f64 (*.f64 m m) (*.f64 1 m))))
  (/.f64 v (-.f64 1 m))
  (/.f64 (*.f64 m (-.f64 1 m)) 1)
  (/.f64 (*.f64 m (-.f64 1 m)) (sqrt.f64 v))
  (/.f64 (*.f64 m (-.f64 1 m)) (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 v (*.f64 m (-.f64 1 m)))
  (/.f64 1 v)
  (/.f64 m 1)
  (/.f64 (-.f64 1 m) v)
  (/.f64 m (sqrt.f64 v))
  (/.f64 (-.f64 1 m) (sqrt.f64 v))
  (/.f64 m (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 (-.f64 1 m) (cbrt.f64 v))
  (neg.f64 (*.f64 m (-.f64 1 m)))
  (neg.f64 v)
  (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
  (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
  (*.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (/.f64 (*.f64 m (-.f64 1 m)) v))
  (*.f64 (cbrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (cbrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)))
  (cbrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
  (/.f64 (*.f64 (*.f64 (*.f64 m (-.f64 1 m)) (*.f64 m (-.f64 1 m))) (*.f64 m (-.f64 1 m))) (*.f64 (*.f64 v v) v))
  (/.f64 (*.f64 (*.f64 (*.f64 m m) m) (*.f64 (*.f64 (-.f64 1 m) (-.f64 1 m)) (-.f64 1 m))) (*.f64 (*.f64 v v) v))
  (exp.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
  (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
  (-.f64 (log.f64 (*.f64 m (-.f64 1 m))) (log.f64 v))
  (-.f64 (+.f64 (log.f64 m) (log.f64 (-.f64 1 m))) (log.f64 v))
  (*.f64 m (-.f64 (*.f64 1 1) (*.f64 m m)))
  (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3)))
  (*.f64 m (-.f64 1 m))
  (*.f64 (sqrt.f64 m) (-.f64 1 m))
  (*.f64 (cbrt.f64 m) (-.f64 1 m))
  (*.f64 m 1)
  (*.f64 m (+.f64 1 (sqrt.f64 m)))
  (*.f64 m (+.f64 (sqrt.f64 1) (sqrt.f64 m)))
  (*.f64 m 1)
  (*.f64 m (sqrt.f64 (-.f64 1 m)))
  (*.f64 m (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m))))
  (*.f64 1 m)
  (*.f64 (neg.f64 m) m)
  (*.f64 m 1)
  (*.f64 m (neg.f64 m))
  (*.f64 (sqrt.f64 m) (sqrt.f64 (-.f64 1 m)))
  (*.f64 (sqrt.f64 m) (sqrt.f64 (-.f64 1 m)))
  (sqrt.f64 (*.f64 m (-.f64 1 m)))
  (sqrt.f64 (*.f64 m (-.f64 1 m)))
  (*.f64 (*.f64 (*.f64 m (-.f64 1 m)) (*.f64 m (-.f64 1 m))) (*.f64 m (-.f64 1 m)))
  (*.f64 (cbrt.f64 (*.f64 m (-.f64 1 m))) (cbrt.f64 (*.f64 m (-.f64 1 m))))
  (cbrt.f64 (*.f64 m (-.f64 1 m)))
  (*.f64 (*.f64 (*.f64 m m) m) (*.f64 (*.f64 (-.f64 1 m) (-.f64 1 m)) (-.f64 1 m)))
  (exp.f64 (*.f64 m (-.f64 1 m)))
  (log.f64 (*.f64 m (-.f64 1 m)))
  (+.f64 (log.f64 m) (log.f64 (-.f64 1 m)))
  (*.f64 m (-.f64 1 m))
  (-.f64 (/.f64 (pow.f64 m 2) v) (+.f64 m (/.f64 (pow.f64 m 3) v)))
  (-.f64 (/.f64 (pow.f64 m 2) v) (+.f64 m (/.f64 (pow.f64 m 3) v)))
  (-.f64 (/.f64 (pow.f64 m 2) v) (+.f64 m (/.f64 (pow.f64 m 3) v)))
  (-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
  (-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
  (-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
  (-.f64 m (pow.f64 m 2))
  (-.f64 m (pow.f64 m 2))
  (-.f64 m (pow.f64 m 2))
1.252 * * [simplify]: iteration  0 :  4984  enodes  (cost  1072 )
1.253 * * [simplify]: iteration  1 :  4984  enodes  (cost  1072 )
1.259 * [simplify]: Simplified to:
   (-.f64 (/.f64 (pow.f64 m 3) (*.f64 (/.f64 v (-.f64 1 m)) (/.f64 v (-.f64 1 m)))) m)
  (*.f64 m (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) 1))
  (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))
  (*.f64 m (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1))
  (*.f64 m (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1))
  (*.f64 m (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1))
  (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))
  (*.f64 m (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (*.f64 m (cbrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (-.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 m) (cbrt.f64 m)))
  (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (sqrt.f64 m))
  (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (sqrt.f64 m))
  (sqrt.f64 (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (sqrt.f64 (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (pow.f64 (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) 3)
  (*.f64 (cbrt.f64 (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))) (cbrt.f64 (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))))
  (cbrt.f64 (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (pow.f64 (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) 3)
  (exp.f64 (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (log.f64 (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (log.f64 (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))
  (*.f64 v (+.f64 m 1))
  (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))
  (/.f64 v (-.f64 1 m))
  (*.f64 m (-.f64 1 m))
  (/.f64 (*.f64 m (-.f64 1 m)) (sqrt.f64 v))
  (/.f64 (*.f64 m (-.f64 1 m)) (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 v (*.f64 m (-.f64 1 m)))
  (/.f64 1 v)
  m
  (/.f64 (-.f64 1 m) v)
  (/.f64 m (sqrt.f64 v))
  (/.f64 (-.f64 1 m) (sqrt.f64 v))
  (/.f64 m (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 (-.f64 1 m) (cbrt.f64 v))
  (*.f64 m (-.f64 m 1))
  (neg.f64 v)
  (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
  (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
  (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3)
  (*.f64 (cbrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (cbrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)))
  (cbrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
  (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3)
  (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3)
  (exp.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
  (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
  (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
  (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
  (-.f64 m (pow.f64 m 3))
  (*.f64 m (-.f64 1 (pow.f64 m 3)))
  (*.f64 m (-.f64 1 m))
  (*.f64 (-.f64 1 m) (sqrt.f64 m))
  (*.f64 (-.f64 1 m) (cbrt.f64 m))
  m
  (*.f64 m (+.f64 1 (sqrt.f64 m)))
  (*.f64 m (+.f64 1 (sqrt.f64 m)))
  m
  (*.f64 m (sqrt.f64 (-.f64 1 m)))
  (*.f64 m (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m))))
  m
  (*.f64 m (neg.f64 m))
  m
  (*.f64 m (neg.f64 m))
  (*.f64 (sqrt.f64 m) (sqrt.f64 (-.f64 1 m)))
  (*.f64 (sqrt.f64 m) (sqrt.f64 (-.f64 1 m)))
  (sqrt.f64 (*.f64 m (-.f64 1 m)))
  (sqrt.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)
  (exp.f64 (*.f64 m (-.f64 1 m)))
  (log.f64 (*.f64 m (-.f64 1 m)))
  (log.f64 (*.f64 m (-.f64 1 m)))
  (*.f64 m (-.f64 1 m))
  (-.f64 (/.f64 (*.f64 m m) v) (+.f64 m (/.f64 (pow.f64 m 3) v)))
  (-.f64 (/.f64 (*.f64 m m) v) (+.f64 m (/.f64 (pow.f64 m 3) v)))
  (-.f64 (/.f64 (*.f64 m m) v) (+.f64 m (/.f64 (pow.f64 m 3) 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))
1.259 * * * [progress]: adding candidates to table
1.613 * * [progress]: iteration 2 / 4
1.613 * * * [progress]: picking best candidate
1.649 * * * * [pick]: Picked  #<alt (λ (m v) (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m)) (sqrt.f64 m)))>
1.649 * * * [progress]: localizing error
1.664 * * * [progress]: generating rewritten candidates
1.664 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.689 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1.712 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
1.719 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
1.729 * * * [progress]: generating series expansions
1.729 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.730 * [approximate]: Taking taylor expansion of (* m (- (/ m v) (+ 1 (/ (pow m 2) v)))) in (m v) around 0
1.730 * [taylor]: Taking taylor expansion of (* m (- (/ m v) (+ 1 (/ (pow m 2) v)))) in v
1.730 * [taylor]: Taking taylor expansion of m in v
1.730 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in v
1.730 * [taylor]: Taking taylor expansion of (/ m v) in v
1.731 * [taylor]: Taking taylor expansion of m in v
1.731 * [taylor]: Taking taylor expansion of v in v
1.731 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in v
1.731 * [taylor]: Taking taylor expansion of 1 in v
1.731 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v
1.731 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.731 * [taylor]: Taking taylor expansion of m in v
1.731 * [taylor]: Taking taylor expansion of v in v
1.731 * [taylor]: Taking taylor expansion of (* m (- (/ m v) (+ 1 (/ (pow m 2) v)))) in m
1.731 * [taylor]: Taking taylor expansion of m in m
1.731 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in m
1.731 * [taylor]: Taking taylor expansion of (/ m v) in m
1.731 * [taylor]: Taking taylor expansion of m in m
1.731 * [taylor]: Taking taylor expansion of v in m
1.731 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in m
1.731 * [taylor]: Taking taylor expansion of 1 in m
1.731 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
1.731 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.731 * [taylor]: Taking taylor expansion of m in m
1.731 * [taylor]: Taking taylor expansion of v in m
1.731 * [taylor]: Taking taylor expansion of (* m (- (/ m v) (+ 1 (/ (pow m 2) v)))) in m
1.731 * [taylor]: Taking taylor expansion of m in m
1.731 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in m
1.731 * [taylor]: Taking taylor expansion of (/ m v) in m
1.731 * [taylor]: Taking taylor expansion of m in m
1.732 * [taylor]: Taking taylor expansion of v in m
1.732 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in m
1.732 * [taylor]: Taking taylor expansion of 1 in m
1.732 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
1.732 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.732 * [taylor]: Taking taylor expansion of m in m
1.732 * [taylor]: Taking taylor expansion of v in m
1.732 * [taylor]: Taking taylor expansion of 0 in v
1.733 * [taylor]: Taking taylor expansion of -1 in v
1.735 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.735 * [taylor]: Taking taylor expansion of v in v
1.738 * [taylor]: Taking taylor expansion of (neg (/ 1 v)) in v
1.739 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.739 * [taylor]: Taking taylor expansion of v in v
1.742 * [approximate]: Taking taylor expansion of (/ (- (/ v m) (+ (/ v (pow m 2)) 1)) m) in (m v) around 0
1.743 * [taylor]: Taking taylor expansion of (/ (- (/ v m) (+ (/ v (pow m 2)) 1)) m) in v
1.743 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in v
1.743 * [taylor]: Taking taylor expansion of (/ v m) in v
1.743 * [taylor]: Taking taylor expansion of v in v
1.743 * [taylor]: Taking taylor expansion of m in v
1.743 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in v
1.743 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
1.743 * [taylor]: Taking taylor expansion of v in v
1.743 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.743 * [taylor]: Taking taylor expansion of m in v
1.743 * [taylor]: Taking taylor expansion of 1 in v
1.743 * [taylor]: Taking taylor expansion of m in v
1.744 * [taylor]: Taking taylor expansion of (/ (- (/ v m) (+ (/ v (pow m 2)) 1)) m) in m
1.744 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in m
1.744 * [taylor]: Taking taylor expansion of (/ v m) in m
1.744 * [taylor]: Taking taylor expansion of v in m
1.744 * [taylor]: Taking taylor expansion of m in m
1.744 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in m
1.744 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.744 * [taylor]: Taking taylor expansion of v in m
1.744 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.744 * [taylor]: Taking taylor expansion of m in m
1.744 * [taylor]: Taking taylor expansion of 1 in m
1.745 * [taylor]: Taking taylor expansion of m in m
1.745 * [taylor]: Taking taylor expansion of (/ (- (/ v m) (+ (/ v (pow m 2)) 1)) m) in m
1.745 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in m
1.745 * [taylor]: Taking taylor expansion of (/ v m) in m
1.745 * [taylor]: Taking taylor expansion of v in m
1.745 * [taylor]: Taking taylor expansion of m in m
1.746 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in m
1.746 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.746 * [taylor]: Taking taylor expansion of v in m
1.746 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.746 * [taylor]: Taking taylor expansion of m in m
1.746 * [taylor]: Taking taylor expansion of 1 in m
1.746 * [taylor]: Taking taylor expansion of m in m
1.747 * [taylor]: Taking taylor expansion of (* -1 v) in v
1.747 * [taylor]: Taking taylor expansion of -1 in v
1.747 * [taylor]: Taking taylor expansion of v in v
1.749 * [taylor]: Taking taylor expansion of v in v
1.752 * [taylor]: Taking taylor expansion of -1 in v
1.758 * [approximate]: Taking taylor expansion of (* (pow (sqrt (/ -1 m)) 2) (- (+ (/ v (pow m 2)) (/ v m)) 1)) in (m v) around 0
1.758 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 m)) 2) (- (+ (/ v (pow m 2)) (/ v m)) 1)) in v
1.758 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 m)) 2) in v
1.758 * [taylor]: Taking taylor expansion of (sqrt (/ -1 m)) in v
1.758 * [taylor]: Taking taylor expansion of (/ -1 m) in v
1.758 * [taylor]: Taking taylor expansion of -1 in v
1.758 * [taylor]: Taking taylor expansion of m in v
1.760 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in v
1.760 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in v
1.760 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
1.760 * [taylor]: Taking taylor expansion of v in v
1.760 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.760 * [taylor]: Taking taylor expansion of m in v
1.760 * [taylor]: Taking taylor expansion of (/ v m) in v
1.760 * [taylor]: Taking taylor expansion of v in v
1.760 * [taylor]: Taking taylor expansion of m in v
1.761 * [taylor]: Taking taylor expansion of 1 in v
1.761 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 m)) 2) (- (+ (/ v (pow m 2)) (/ v m)) 1)) in m
1.761 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 m)) 2) in m
1.761 * [taylor]: Taking taylor expansion of (sqrt (/ -1 m)) in m
1.761 * [taylor]: Taking taylor expansion of (/ -1 m) in m
1.761 * [taylor]: Taking taylor expansion of -1 in m
1.761 * [taylor]: Taking taylor expansion of m in m
1.761 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in m
1.762 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in m
1.762 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.762 * [taylor]: Taking taylor expansion of v in m
1.762 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.762 * [taylor]: Taking taylor expansion of m in m
1.762 * [taylor]: Taking taylor expansion of (/ v m) in m
1.762 * [taylor]: Taking taylor expansion of v in m
1.762 * [taylor]: Taking taylor expansion of m in m
1.762 * [taylor]: Taking taylor expansion of 1 in m
1.762 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 m)) 2) (- (+ (/ v (pow m 2)) (/ v m)) 1)) in m
1.762 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 m)) 2) in m
1.762 * [taylor]: Taking taylor expansion of (sqrt (/ -1 m)) in m
1.762 * [taylor]: Taking taylor expansion of (/ -1 m) in m
1.762 * [taylor]: Taking taylor expansion of -1 in m
1.762 * [taylor]: Taking taylor expansion of m in m
1.763 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in m
1.763 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in m
1.763 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.763 * [taylor]: Taking taylor expansion of v in m
1.763 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.763 * [taylor]: Taking taylor expansion of m in m
1.763 * [taylor]: Taking taylor expansion of (/ v m) in m
1.763 * [taylor]: Taking taylor expansion of v in m
1.763 * [taylor]: Taking taylor expansion of m in m
1.764 * [taylor]: Taking taylor expansion of 1 in m
1.764 * [taylor]: Taking taylor expansion of (* v (pow NAN 2)) in v
1.764 * [taylor]: Taking taylor expansion of v in v
1.764 * [taylor]: Taking taylor expansion of (pow NAN 2) in v
1.764 * [taylor]: Taking taylor expansion of NAN in v
1.770 * [taylor]: Taking taylor expansion of (+ (* 2 (* v (pow NAN 4))) (* (pow NAN 2) v)) in v
1.770 * [taylor]: Taking taylor expansion of (* 2 (* v (pow NAN 4))) in v
1.770 * [taylor]: Taking taylor expansion of 2 in v
1.770 * [taylor]: Taking taylor expansion of (* v (pow NAN 4)) in v
1.770 * [taylor]: Taking taylor expansion of v in v
1.770 * [taylor]: Taking taylor expansion of (pow NAN 4) in v
1.770 * [taylor]: Taking taylor expansion of NAN in v
1.770 * [taylor]: Taking taylor expansion of (* (pow NAN 2) v) in v
1.770 * [taylor]: Taking taylor expansion of (pow NAN 2) in v
1.770 * [taylor]: Taking taylor expansion of NAN in v
1.770 * [taylor]: Taking taylor expansion of v in v
1.780 * [taylor]: Taking taylor expansion of (- (+ (* 2 (* v (pow NAN 4))) (* 3 (* v (pow NAN 6)))) (pow NAN 2)) in v
1.780 * [taylor]: Taking taylor expansion of (+ (* 2 (* v (pow NAN 4))) (* 3 (* v (pow NAN 6)))) in v
1.780 * [taylor]: Taking taylor expansion of (* 2 (* v (pow NAN 4))) in v
1.780 * [taylor]: Taking taylor expansion of 2 in v
1.780 * [taylor]: Taking taylor expansion of (* v (pow NAN 4)) in v
1.780 * [taylor]: Taking taylor expansion of v in v
1.780 * [taylor]: Taking taylor expansion of (pow NAN 4) in v
1.780 * [taylor]: Taking taylor expansion of NAN in v
1.780 * [taylor]: Taking taylor expansion of (* 3 (* v (pow NAN 6))) in v
1.780 * [taylor]: Taking taylor expansion of 3 in v
1.780 * [taylor]: Taking taylor expansion of (* v (pow NAN 6)) in v
1.780 * [taylor]: Taking taylor expansion of v in v
1.780 * [taylor]: Taking taylor expansion of (pow NAN 6) in v
1.781 * [taylor]: Taking taylor expansion of NAN in v
1.781 * [taylor]: Taking taylor expansion of (pow NAN 2) in v
1.781 * [taylor]: Taking taylor expansion of NAN in v
1.793 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1.794 * [approximate]: Taking taylor expansion of (* (sqrt m) (- (/ m v) (+ 1 (/ (pow m 2) v)))) in (m v) around 0
1.795 * [taylor]: Taking taylor expansion of (* (sqrt m) (- (/ m v) (+ 1 (/ (pow m 2) v)))) in v
1.795 * [taylor]: Taking taylor expansion of (sqrt m) in v
1.795 * [taylor]: Taking taylor expansion of m in v
1.796 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in v
1.796 * [taylor]: Taking taylor expansion of (/ m v) in v
1.796 * [taylor]: Taking taylor expansion of m in v
1.796 * [taylor]: Taking taylor expansion of v in v
1.796 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in v
1.796 * [taylor]: Taking taylor expansion of 1 in v
1.796 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v
1.796 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.796 * [taylor]: Taking taylor expansion of m in v
1.796 * [taylor]: Taking taylor expansion of v in v
1.796 * [taylor]: Taking taylor expansion of (* (sqrt m) (- (/ m v) (+ 1 (/ (pow m 2) v)))) in m
1.796 * [taylor]: Taking taylor expansion of (sqrt m) in m
1.796 * [taylor]: Taking taylor expansion of m in m
1.797 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in m
1.797 * [taylor]: Taking taylor expansion of (/ m v) in m
1.797 * [taylor]: Taking taylor expansion of m in m
1.797 * [taylor]: Taking taylor expansion of v in m
1.797 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in m
1.797 * [taylor]: Taking taylor expansion of 1 in m
1.797 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
1.797 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.797 * [taylor]: Taking taylor expansion of m in m
1.797 * [taylor]: Taking taylor expansion of v in m
1.798 * [taylor]: Taking taylor expansion of (* (sqrt m) (- (/ m v) (+ 1 (/ (pow m 2) v)))) in m
1.798 * [taylor]: Taking taylor expansion of (sqrt m) in m
1.798 * [taylor]: Taking taylor expansion of m in m
1.798 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in m
1.798 * [taylor]: Taking taylor expansion of (/ m v) in m
1.798 * [taylor]: Taking taylor expansion of m in m
1.798 * [taylor]: Taking taylor expansion of v in m
1.798 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in m
1.799 * [taylor]: Taking taylor expansion of 1 in m
1.799 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
1.799 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.799 * [taylor]: Taking taylor expansion of m in m
1.799 * [taylor]: Taking taylor expansion of v in m
1.799 * [taylor]: Taking taylor expansion of 0 in v
1.800 * [taylor]: Taking taylor expansion of (neg NAN) in v
1.800 * [taylor]: Taking taylor expansion of NAN in v
1.804 * [taylor]: Taking taylor expansion of (- (/ NAN v) (pow NAN 3)) in v
1.804 * [taylor]: Taking taylor expansion of (/ NAN v) in v
1.804 * [taylor]: Taking taylor expansion of NAN in v
1.804 * [taylor]: Taking taylor expansion of v in v
1.804 * [taylor]: Taking taylor expansion of (pow NAN 3) in v
1.804 * [taylor]: Taking taylor expansion of NAN in v
1.810 * [taylor]: Taking taylor expansion of (- (/ (pow NAN 3) v) (+ (pow NAN 5) (/ NAN v))) in v
1.810 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) v) in v
1.810 * [taylor]: Taking taylor expansion of (pow NAN 3) in v
1.810 * [taylor]: Taking taylor expansion of NAN in v
1.810 * [taylor]: Taking taylor expansion of v in v
1.811 * [taylor]: Taking taylor expansion of (+ (pow NAN 5) (/ NAN v)) in v
1.811 * [taylor]: Taking taylor expansion of (pow NAN 5) in v
1.811 * [taylor]: Taking taylor expansion of NAN in v
1.811 * [taylor]: Taking taylor expansion of (/ NAN v) in v
1.811 * [taylor]: Taking taylor expansion of NAN in v
1.811 * [taylor]: Taking taylor expansion of v in v
1.818 * [approximate]: Taking taylor expansion of (* (- (/ v m) (+ (/ v (pow m 2)) 1)) (sqrt (/ 1 m))) in (m v) around 0
1.818 * [taylor]: Taking taylor expansion of (* (- (/ v m) (+ (/ v (pow m 2)) 1)) (sqrt (/ 1 m))) in v
1.818 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in v
1.818 * [taylor]: Taking taylor expansion of (/ v m) in v
1.818 * [taylor]: Taking taylor expansion of v in v
1.818 * [taylor]: Taking taylor expansion of m in v
1.818 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in v
1.818 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
1.818 * [taylor]: Taking taylor expansion of v in v
1.818 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.818 * [taylor]: Taking taylor expansion of m in v
1.819 * [taylor]: Taking taylor expansion of 1 in v
1.819 * [taylor]: Taking taylor expansion of (sqrt (/ 1 m)) in v
1.819 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.819 * [taylor]: Taking taylor expansion of m in v
1.820 * [taylor]: Taking taylor expansion of (* (- (/ v m) (+ (/ v (pow m 2)) 1)) (sqrt (/ 1 m))) in m
1.820 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in m
1.820 * [taylor]: Taking taylor expansion of (/ v m) in m
1.820 * [taylor]: Taking taylor expansion of v in m
1.820 * [taylor]: Taking taylor expansion of m in m
1.820 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in m
1.820 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.820 * [taylor]: Taking taylor expansion of v in m
1.821 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.821 * [taylor]: Taking taylor expansion of m in m
1.821 * [taylor]: Taking taylor expansion of 1 in m
1.821 * [taylor]: Taking taylor expansion of (sqrt (/ 1 m)) in m
1.821 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.821 * [taylor]: Taking taylor expansion of m in m
1.821 * [taylor]: Taking taylor expansion of (* (- (/ v m) (+ (/ v (pow m 2)) 1)) (sqrt (/ 1 m))) in m
1.822 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in m
1.822 * [taylor]: Taking taylor expansion of (/ v m) in m
1.822 * [taylor]: Taking taylor expansion of v in m
1.822 * [taylor]: Taking taylor expansion of m in m
1.822 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in m
1.822 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.822 * [taylor]: Taking taylor expansion of v in m
1.822 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.822 * [taylor]: Taking taylor expansion of m in m
1.822 * [taylor]: Taking taylor expansion of 1 in m
1.822 * [taylor]: Taking taylor expansion of (sqrt (/ 1 m)) in m
1.822 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.822 * [taylor]: Taking taylor expansion of m in m
1.824 * [taylor]: Taking taylor expansion of 0 in v
1.825 * [taylor]: Taking taylor expansion of (neg (* NAN v)) in v
1.825 * [taylor]: Taking taylor expansion of (* NAN v) in v
1.825 * [taylor]: Taking taylor expansion of NAN in v
1.826 * [taylor]: Taking taylor expansion of v in v
1.830 * [taylor]: Taking taylor expansion of (- (* NAN v) (* (pow NAN 3) v)) in v
1.830 * [taylor]: Taking taylor expansion of (* NAN v) in v
1.830 * [taylor]: Taking taylor expansion of NAN in v
1.830 * [taylor]: Taking taylor expansion of v in v
1.830 * [taylor]: Taking taylor expansion of (* (pow NAN 3) v) in v
1.830 * [taylor]: Taking taylor expansion of (pow NAN 3) in v
1.830 * [taylor]: Taking taylor expansion of NAN in v
1.830 * [taylor]: Taking taylor expansion of v in v
1.839 * [taylor]: Taking taylor expansion of (- (* (pow NAN 3) v) (+ NAN (* (pow NAN 5) v))) in v
1.839 * [taylor]: Taking taylor expansion of (* (pow NAN 3) v) in v
1.839 * [taylor]: Taking taylor expansion of (pow NAN 3) in v
1.839 * [taylor]: Taking taylor expansion of NAN in v
1.839 * [taylor]: Taking taylor expansion of v in v
1.839 * [taylor]: Taking taylor expansion of (+ NAN (* (pow NAN 5) v)) in v
1.839 * [taylor]: Taking taylor expansion of NAN in v
1.839 * [taylor]: Taking taylor expansion of (* (pow NAN 5) v) in v
1.839 * [taylor]: Taking taylor expansion of (pow NAN 5) in v
1.839 * [taylor]: Taking taylor expansion of NAN in v
1.839 * [taylor]: Taking taylor expansion of v in v
1.846 * [approximate]: Taking taylor expansion of (* (sqrt (/ -1 m)) (- (+ (/ v (pow m 2)) (/ v m)) 1)) in (m v) around 0
1.846 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 m)) (- (+ (/ v (pow m 2)) (/ v m)) 1)) in v
1.846 * [taylor]: Taking taylor expansion of (sqrt (/ -1 m)) in v
1.846 * [taylor]: Taking taylor expansion of (/ -1 m) in v
1.846 * [taylor]: Taking taylor expansion of -1 in v
1.846 * [taylor]: Taking taylor expansion of m in v
1.847 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in v
1.847 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in v
1.847 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
1.848 * [taylor]: Taking taylor expansion of v in v
1.848 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.848 * [taylor]: Taking taylor expansion of m in v
1.848 * [taylor]: Taking taylor expansion of (/ v m) in v
1.848 * [taylor]: Taking taylor expansion of v in v
1.848 * [taylor]: Taking taylor expansion of m in v
1.848 * [taylor]: Taking taylor expansion of 1 in v
1.848 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 m)) (- (+ (/ v (pow m 2)) (/ v m)) 1)) in m
1.848 * [taylor]: Taking taylor expansion of (sqrt (/ -1 m)) in m
1.848 * [taylor]: Taking taylor expansion of (/ -1 m) in m
1.848 * [taylor]: Taking taylor expansion of -1 in m
1.848 * [taylor]: Taking taylor expansion of m in m
1.848 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in m
1.848 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in m
1.848 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.848 * [taylor]: Taking taylor expansion of v in m
1.848 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.848 * [taylor]: Taking taylor expansion of m in m
1.849 * [taylor]: Taking taylor expansion of (/ v m) in m
1.849 * [taylor]: Taking taylor expansion of v in m
1.849 * [taylor]: Taking taylor expansion of m in m
1.849 * [taylor]: Taking taylor expansion of 1 in m
1.849 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 m)) (- (+ (/ v (pow m 2)) (/ v m)) 1)) in m
1.849 * [taylor]: Taking taylor expansion of (sqrt (/ -1 m)) in m
1.849 * [taylor]: Taking taylor expansion of (/ -1 m) in m
1.849 * [taylor]: Taking taylor expansion of -1 in m
1.849 * [taylor]: Taking taylor expansion of m in m
1.849 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in m
1.849 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in m
1.849 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.849 * [taylor]: Taking taylor expansion of v in m
1.849 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.849 * [taylor]: Taking taylor expansion of m in m
1.849 * [taylor]: Taking taylor expansion of (/ v m) in m
1.849 * [taylor]: Taking taylor expansion of v in m
1.849 * [taylor]: Taking taylor expansion of m in m
1.850 * [taylor]: Taking taylor expansion of 1 in m
1.850 * [taylor]: Taking taylor expansion of 0 in v
1.851 * [taylor]: Taking taylor expansion of (* NAN v) in v
1.851 * [taylor]: Taking taylor expansion of NAN in v
1.851 * [taylor]: Taking taylor expansion of v in v
1.853 * [taylor]: Taking taylor expansion of (+ (* v NAN) (* v (pow NAN 3))) in v
1.853 * [taylor]: Taking taylor expansion of (* v NAN) in v
1.853 * [taylor]: Taking taylor expansion of v in v
1.853 * [taylor]: Taking taylor expansion of NAN in v
1.853 * [taylor]: Taking taylor expansion of (* v (pow NAN 3)) in v
1.853 * [taylor]: Taking taylor expansion of v in v
1.853 * [taylor]: Taking taylor expansion of (pow NAN 3) in v
1.853 * [taylor]: Taking taylor expansion of NAN in v
1.857 * [taylor]: Taking taylor expansion of (- (+ (* (pow NAN 5) v) (* (pow NAN 3) v)) NAN) in v
1.857 * [taylor]: Taking taylor expansion of (+ (* (pow NAN 5) v) (* (pow NAN 3) v)) in v
1.858 * [taylor]: Taking taylor expansion of (* (pow NAN 5) v) in v
1.858 * [taylor]: Taking taylor expansion of (pow NAN 5) in v
1.858 * [taylor]: Taking taylor expansion of NAN in v
1.858 * [taylor]: Taking taylor expansion of v in v
1.858 * [taylor]: Taking taylor expansion of (* (pow NAN 3) v) in v
1.858 * [taylor]: Taking taylor expansion of (pow NAN 3) in v
1.858 * [taylor]: Taking taylor expansion of NAN in v
1.858 * [taylor]: Taking taylor expansion of v in v
1.858 * [taylor]: Taking taylor expansion of NAN in v
1.862 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
1.863 * [approximate]: Taking taylor expansion of (/ (* (- 1 m) m) v) in (m v) around 0
1.863 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) m) v) in v
1.863 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in v
1.863 * [taylor]: Taking taylor expansion of (- 1 m) in v
1.863 * [taylor]: Taking taylor expansion of 1 in v
1.863 * [taylor]: Taking taylor expansion of m in v
1.863 * [taylor]: Taking taylor expansion of m in v
1.863 * [taylor]: Taking taylor expansion of v in v
1.864 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) m) v) in m
1.864 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m
1.864 * [taylor]: Taking taylor expansion of (- 1 m) in m
1.864 * [taylor]: Taking taylor expansion of 1 in m
1.864 * [taylor]: Taking taylor expansion of m in m
1.864 * [taylor]: Taking taylor expansion of m in m
1.864 * [taylor]: Taking taylor expansion of v in m
1.864 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) m) v) in m
1.864 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m
1.864 * [taylor]: Taking taylor expansion of (- 1 m) in m
1.864 * [taylor]: Taking taylor expansion of 1 in m
1.864 * [taylor]: Taking taylor expansion of m in m
1.864 * [taylor]: Taking taylor expansion of m in m
1.864 * [taylor]: Taking taylor expansion of v in m
1.865 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.865 * [taylor]: Taking taylor expansion of v in v
1.866 * [taylor]: Taking taylor expansion of (neg (/ 1 v)) in v
1.866 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.866 * [taylor]: Taking taylor expansion of v in v
1.868 * [taylor]: Taking taylor expansion of 0 in v
1.870 * [taylor]: Taking taylor expansion of 0 in v
1.872 * [approximate]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in (m v) around 0
1.872 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in v
1.872 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in v
1.872 * [taylor]: Taking taylor expansion of v in v
1.872 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in v
1.872 * [taylor]: Taking taylor expansion of 1 in v
1.872 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.872 * [taylor]: Taking taylor expansion of m in v
1.872 * [taylor]: Taking taylor expansion of m in v
1.874 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in m
1.874 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in m
1.874 * [taylor]: Taking taylor expansion of v in m
1.874 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m
1.874 * [taylor]: Taking taylor expansion of 1 in m
1.874 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.874 * [taylor]: Taking taylor expansion of m in m
1.874 * [taylor]: Taking taylor expansion of m in m
1.875 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in m
1.875 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in m
1.875 * [taylor]: Taking taylor expansion of v in m
1.875 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m
1.875 * [taylor]: Taking taylor expansion of 1 in m
1.875 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.875 * [taylor]: Taking taylor expansion of m in m
1.875 * [taylor]: Taking taylor expansion of m in m
1.875 * [taylor]: Taking taylor expansion of (* -1 v) in v
1.875 * [taylor]: Taking taylor expansion of -1 in v
1.875 * [taylor]: Taking taylor expansion of v in v
1.876 * [taylor]: Taking taylor expansion of v in v
1.878 * [taylor]: Taking taylor expansion of 0 in v
1.880 * [taylor]: Taking taylor expansion of 0 in v
1.882 * [approximate]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in (m v) around 0
1.882 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in v
1.882 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in v
1.882 * [taylor]: Taking taylor expansion of v in v
1.882 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in v
1.882 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.882 * [taylor]: Taking taylor expansion of m in v
1.882 * [taylor]: Taking taylor expansion of 1 in v
1.882 * [taylor]: Taking taylor expansion of m in v
1.883 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in m
1.883 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in m
1.883 * [taylor]: Taking taylor expansion of v in m
1.883 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m
1.883 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.883 * [taylor]: Taking taylor expansion of m in m
1.883 * [taylor]: Taking taylor expansion of 1 in m
1.883 * [taylor]: Taking taylor expansion of m in m
1.884 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in m
1.884 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in m
1.884 * [taylor]: Taking taylor expansion of v in m
1.884 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m
1.884 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.884 * [taylor]: Taking taylor expansion of m in m
1.884 * [taylor]: Taking taylor expansion of 1 in m
1.884 * [taylor]: Taking taylor expansion of m in m
1.884 * [taylor]: Taking taylor expansion of v in v
1.885 * [taylor]: Taking taylor expansion of v in v
1.886 * [taylor]: Taking taylor expansion of 0 in v
1.888 * [taylor]: Taking taylor expansion of 0 in v
1.889 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
1.889 * [approximate]: Taking taylor expansion of (* (- 1 m) m) in (m) around 0
1.889 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m
1.889 * [taylor]: Taking taylor expansion of (- 1 m) in m
1.889 * [taylor]: Taking taylor expansion of 1 in m
1.889 * [taylor]: Taking taylor expansion of m in m
1.889 * [taylor]: Taking taylor expansion of m in m
1.889 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m
1.889 * [taylor]: Taking taylor expansion of (- 1 m) in m
1.889 * [taylor]: Taking taylor expansion of 1 in m
1.889 * [taylor]: Taking taylor expansion of m in m
1.889 * [taylor]: Taking taylor expansion of m in m
1.896 * [approximate]: Taking taylor expansion of (/ (- 1 (/ 1 m)) m) in (m) around 0
1.896 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 m)) m) in m
1.897 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m
1.897 * [taylor]: Taking taylor expansion of 1 in m
1.897 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.897 * [taylor]: Taking taylor expansion of m in m
1.897 * [taylor]: Taking taylor expansion of m in m
1.897 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 m)) m) in m
1.897 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m
1.897 * [taylor]: Taking taylor expansion of 1 in m
1.897 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.897 * [taylor]: Taking taylor expansion of m in m
1.897 * [taylor]: Taking taylor expansion of m in m
1.908 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) m)) in (m) around 0
1.908 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) m)) in m
1.908 * [taylor]: Taking taylor expansion of -1 in m
1.908 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1) m) in m
1.908 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m
1.908 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.908 * [taylor]: Taking taylor expansion of m in m
1.908 * [taylor]: Taking taylor expansion of 1 in m
1.908 * [taylor]: Taking taylor expansion of m in m
1.908 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) m)) in m
1.909 * [taylor]: Taking taylor expansion of -1 in m
1.909 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1) m) in m
1.909 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m
1.909 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.909 * [taylor]: Taking taylor expansion of m in m
1.909 * [taylor]: Taking taylor expansion of 1 in m
1.909 * [taylor]: Taking taylor expansion of m in m
1.933 * * * [progress]: simplifying candidates
1.935 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (*.f64 (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (*.f64 1 1)) (sqrt.f64 m)) (sqrt.f64 m))
  (*.f64 (*.f64 (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) (pow.f64 1 3)) (sqrt.f64 m)) (sqrt.f64 m))
  (*.f64 (sqrt.f64 m) (sqrt.f64 m))
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m)) 1)
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m)) (sqrt.f64 (sqrt.f64 m)))
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m)) (sqrt.f64 1))
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m)) (sqrt.f64 (sqrt.f64 m)))
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m)) (sqrt.f64 (*.f64 (cbrt.f64 m) (cbrt.f64 m))))
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m)) (*.f64 (cbrt.f64 (sqrt.f64 m)) (cbrt.f64 (sqrt.f64 m))))
  (sqrt.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m)) (sqrt.f64 m)))
  (sqrt.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m)) (sqrt.f64 m)))
  (*.f64 (*.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m)) (sqrt.f64 m)) (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m)) (sqrt.f64 m))) (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m)) (sqrt.f64 m)))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m)) (sqrt.f64 m))) (cbrt.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m)) (sqrt.f64 m))))
  (cbrt.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m)) (sqrt.f64 m)))
  (*.f64 (*.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m)) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m))) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m))) (*.f64 (*.f64 (sqrt.f64 m) (sqrt.f64 m)) (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 (sqrt.f64 m) (sqrt.f64 m)) (sqrt.f64 m))) (*.f64 (*.f64 (sqrt.f64 m) (sqrt.f64 m)) (sqrt.f64 m)))
  (exp.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m)) (sqrt.f64 m)))
  (log.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m)) (sqrt.f64 m)))
  (+.f64 (log.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m))) (log.f64 (sqrt.f64 m)))
  (+.f64 (+.f64 (log.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (log.f64 (sqrt.f64 m))) (log.f64 (sqrt.f64 m)))
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m)) (sqrt.f64 m))
  (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m)) (sqrt.f64 m))
  (*.f64 (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (*.f64 1 1)) (sqrt.f64 m))
  (*.f64 (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) (pow.f64 1 3)) (sqrt.f64 m))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m))
  (*.f64 (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1) (sqrt.f64 m))
  (*.f64 (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1) (sqrt.f64 m))
  (*.f64 (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (sqrt.f64 1)) (sqrt.f64 m))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m))
  (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (sqrt.f64 m))
  (*.f64 (cbrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (sqrt.f64 m))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) 1)
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 (sqrt.f64 m)))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 1))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 (sqrt.f64 m)))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 (*.f64 (cbrt.f64 m) (cbrt.f64 m))))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (*.f64 (cbrt.f64 (sqrt.f64 m)) (cbrt.f64 (sqrt.f64 m))))
  (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (sqrt.f64 (sqrt.f64 m)))
  (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (sqrt.f64 (sqrt.f64 m)))
  (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (sqrt.f64 (sqrt.f64 m)))
  (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (sqrt.f64 (sqrt.f64 m)))
  (sqrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m)))
  (sqrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m)))
  (*.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m)) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m))) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m)))
  (*.f64 (cbrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m))) (cbrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m))))
  (cbrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 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 (sqrt.f64 m) (sqrt.f64 m)) (sqrt.f64 m)))
  (exp.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m)))
  (log.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m)))
  (+.f64 (log.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (log.f64 (sqrt.f64 m)))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 m))
  (*.f64 v (+.f64 1 m))
  (*.f64 v (+.f64 (*.f64 1 1) (+.f64 (*.f64 m m) (*.f64 1 m))))
  (/.f64 v (-.f64 1 m))
  (/.f64 (*.f64 m (-.f64 1 m)) 1)
  (/.f64 (*.f64 m (-.f64 1 m)) (sqrt.f64 v))
  (/.f64 (*.f64 m (-.f64 1 m)) (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 v (*.f64 m (-.f64 1 m)))
  (/.f64 1 v)
  (/.f64 m 1)
  (/.f64 (-.f64 1 m) v)
  (/.f64 m (sqrt.f64 v))
  (/.f64 (-.f64 1 m) (sqrt.f64 v))
  (/.f64 m (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 (-.f64 1 m) (cbrt.f64 v))
  (neg.f64 (*.f64 m (-.f64 1 m)))
  (neg.f64 v)
  (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
  (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
  (*.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (/.f64 (*.f64 m (-.f64 1 m)) v))
  (*.f64 (cbrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (cbrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)))
  (cbrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
  (/.f64 (*.f64 (*.f64 (*.f64 m (-.f64 1 m)) (*.f64 m (-.f64 1 m))) (*.f64 m (-.f64 1 m))) (*.f64 (*.f64 v v) v))
  (/.f64 (*.f64 (*.f64 (*.f64 m m) m) (*.f64 (*.f64 (-.f64 1 m) (-.f64 1 m)) (-.f64 1 m))) (*.f64 (*.f64 v v) v))
  (exp.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
  (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
  (-.f64 (log.f64 (*.f64 m (-.f64 1 m))) (log.f64 v))
  (-.f64 (+.f64 (log.f64 m) (log.f64 (-.f64 1 m))) (log.f64 v))
  (*.f64 m (-.f64 (*.f64 1 1) (*.f64 m m)))
  (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3)))
  (*.f64 m (-.f64 1 m))
  (*.f64 (sqrt.f64 m) (-.f64 1 m))
  (*.f64 (cbrt.f64 m) (-.f64 1 m))
  (*.f64 m 1)
  (*.f64 m (+.f64 1 (sqrt.f64 m)))
  (*.f64 m (+.f64 (sqrt.f64 1) (sqrt.f64 m)))
  (*.f64 m 1)
  (*.f64 m (sqrt.f64 (-.f64 1 m)))
  (*.f64 m (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m))))
  (*.f64 1 m)
  (*.f64 (neg.f64 m) m)
  (*.f64 m 1)
  (*.f64 m (neg.f64 m))
  (*.f64 (sqrt.f64 m) (sqrt.f64 (-.f64 1 m)))
  (*.f64 (sqrt.f64 m) (sqrt.f64 (-.f64 1 m)))
  (sqrt.f64 (*.f64 m (-.f64 1 m)))
  (sqrt.f64 (*.f64 m (-.f64 1 m)))
  (*.f64 (*.f64 (*.f64 m (-.f64 1 m)) (*.f64 m (-.f64 1 m))) (*.f64 m (-.f64 1 m)))
  (*.f64 (cbrt.f64 (*.f64 m (-.f64 1 m))) (cbrt.f64 (*.f64 m (-.f64 1 m))))
  (cbrt.f64 (*.f64 m (-.f64 1 m)))
  (*.f64 (*.f64 (*.f64 m m) m) (*.f64 (*.f64 (-.f64 1 m) (-.f64 1 m)) (-.f64 1 m)))
  (exp.f64 (*.f64 m (-.f64 1 m)))
  (log.f64 (*.f64 m (-.f64 1 m)))
  (+.f64 (log.f64 m) (log.f64 (-.f64 1 m)))
  (*.f64 m (-.f64 1 m))
  (-.f64 (/.f64 (pow.f64 m 2) v) (+.f64 m (/.f64 (pow.f64 m 3) v)))
  (-.f64 (/.f64 (pow.f64 m 2) v) (+.f64 m (/.f64 (pow.f64 m 3) v)))
  (-.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 m (pow.f64 NAN.f64 4)) v)) (/.f64 (*.f64 m (pow.f64 NAN.f64 2)) v)) (+.f64 (/.f64 (*.f64 (pow.f64 m 2) (pow.f64 NAN.f64 2)) v) (pow.f64 NAN.f64 2)))
  (-.f64 (+.f64 (/.f64 (*.f64 (pow.f64 m 2) NAN.f64) v) (/.f64 (*.f64 (pow.f64 m 3) (pow.f64 NAN.f64 3)) v)) (+.f64 (*.f64 m NAN.f64) (/.f64 (*.f64 (pow.f64 m 3) NAN.f64) v)))
  (-.f64 (/.f64 (*.f64 m NAN.f64) v) (+.f64 NAN.f64 (+.f64 (/.f64 (*.f64 (pow.f64 m 2) NAN.f64) v) (/.f64 (*.f64 m (pow.f64 NAN.f64 3)) v))))
  (-.f64 (+.f64 (/.f64 (*.f64 m NAN.f64) v) (/.f64 (*.f64 m (pow.f64 NAN.f64 3)) v)) (+.f64 NAN.f64 (/.f64 (*.f64 (pow.f64 m 2) NAN.f64) v)))
  (-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
  (-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
  (-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
  (-.f64 m (pow.f64 m 2))
  (-.f64 m (pow.f64 m 2))
  (-.f64 m (pow.f64 m 2))
2.053 * * [simplify]: iteration  0 :  5261  enodes  (cost  1802 )
2.070 * [simplify]: Simplified to:
   (+.f64 (neg.f64 m) (/.f64 (pow.f64 m 3) (/.f64 (*.f64 v v) (*.f64 (-.f64 1 m) (-.f64 1 m)))))
  (*.f64 m (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) 1))
  m
  (*.f64 (sqrt.f64 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))
  (*.f64 (*.f64 (sqrt.f64 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (sqrt.f64 (sqrt.f64 m)))
  (*.f64 (sqrt.f64 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))
  (*.f64 (*.f64 (sqrt.f64 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (sqrt.f64 (sqrt.f64 m)))
  (*.f64 (*.f64 (sqrt.f64 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (fabs.f64 (cbrt.f64 m)))
  (*.f64 (*.f64 (sqrt.f64 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (*.f64 (cbrt.f64 (sqrt.f64 m)) (cbrt.f64 (sqrt.f64 m))))
  (sqrt.f64 (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (sqrt.f64 (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (pow.f64 (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) 3)
  (*.f64 (cbrt.f64 (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))) (cbrt.f64 (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))))
  (cbrt.f64 (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (pow.f64 (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) 3)
  (pow.f64 (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) 3)
  (exp.f64 (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (log.f64 (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (log.f64 (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (log.f64 (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))
  (*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))
  (*.f64 (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) 1) (sqrt.f64 m))
  (*.f64 (sqrt.f64 m) (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) 1))
  (*.f64 (sqrt.f64 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))
  (*.f64 (sqrt.f64 m) (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1))
  (*.f64 (sqrt.f64 m) (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1))
  (*.f64 (sqrt.f64 m) (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1))
  (*.f64 (sqrt.f64 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))
  (*.f64 (sqrt.f64 m) (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (*.f64 (sqrt.f64 m) (cbrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 (sqrt.f64 m)))
  (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 (sqrt.f64 m)))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (fabs.f64 (cbrt.f64 m)))
  (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (*.f64 (cbrt.f64 (sqrt.f64 m)) (cbrt.f64 (sqrt.f64 m))))
  (*.f64 (sqrt.f64 (sqrt.f64 m)) (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (*.f64 (sqrt.f64 (sqrt.f64 m)) (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (*.f64 (sqrt.f64 (sqrt.f64 m)) (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (*.f64 (sqrt.f64 (sqrt.f64 m)) (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (sqrt.f64 (*.f64 (sqrt.f64 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (sqrt.f64 (*.f64 (sqrt.f64 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (pow.f64 (*.f64 (sqrt.f64 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) 3)
  (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))) (cbrt.f64 (*.f64 (sqrt.f64 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))))
  (cbrt.f64 (*.f64 (sqrt.f64 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (pow.f64 (*.f64 (sqrt.f64 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) 3)
  (exp.f64 (*.f64 (sqrt.f64 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (log.f64 (*.f64 (sqrt.f64 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (log.f64 (*.f64 (sqrt.f64 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
  (*.f64 (sqrt.f64 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))
  (*.f64 v (+.f64 m 1))
  (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))
  (/.f64 v (-.f64 1 m))
  (*.f64 m (-.f64 1 m))
  (/.f64 (*.f64 m (-.f64 1 m)) (sqrt.f64 v))
  (/.f64 (*.f64 m (-.f64 1 m)) (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 v (*.f64 m (-.f64 1 m)))
  (/.f64 1 v)
  m
  (/.f64 (-.f64 1 m) v)
  (/.f64 m (sqrt.f64 v))
  (/.f64 (-.f64 1 m) (sqrt.f64 v))
  (/.f64 m (*.f64 (cbrt.f64 v) (cbrt.f64 v)))
  (/.f64 (-.f64 1 m) (cbrt.f64 v))
  (*.f64 m (+.f64 m -1))
  (neg.f64 v)
  (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
  (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
  (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3)
  (*.f64 (cbrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (cbrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)))
  (cbrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
  (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3)
  (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3)
  (exp.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
  (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
  (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
  (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
  (+.f64 m (neg.f64 (pow.f64 m 3)))
  (*.f64 m (-.f64 1 (pow.f64 m 3)))
  (*.f64 m (-.f64 1 m))
  (*.f64 (-.f64 1 m) (sqrt.f64 m))
  (*.f64 (-.f64 1 m) (cbrt.f64 m))
  m
  (+.f64 m (*.f64 m (sqrt.f64 m)))
  (+.f64 m (*.f64 m (sqrt.f64 m)))
  m
  (*.f64 m (sqrt.f64 (-.f64 1 m)))
  (*.f64 m (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m))))
  m
  (*.f64 m (neg.f64 m))
  m
  (*.f64 m (neg.f64 m))
  (*.f64 (sqrt.f64 m) (sqrt.f64 (-.f64 1 m)))
  (*.f64 (sqrt.f64 m) (sqrt.f64 (-.f64 1 m)))
  (sqrt.f64 (*.f64 m (-.f64 1 m)))
  (sqrt.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)
  (exp.f64 (*.f64 m (-.f64 1 m)))
  (log.f64 (*.f64 m (-.f64 1 m)))
  (log.f64 (*.f64 m (-.f64 1 m)))
  (*.f64 m (-.f64 1 m))
  (-.f64 (/.f64 (*.f64 m m) v) (+.f64 m (/.f64 (pow.f64 m 3) v)))
  (-.f64 (/.f64 (*.f64 m m) v) (+.f64 m (/.f64 (pow.f64 m 3) v)))
  (+.f64 (*.f64 (pow.f64 (NAN.f64) 2) (-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v))) (-.f64 (*.f64 2 (/.f64 (*.f64 m (pow.f64 (NAN.f64) 4)) v)) (pow.f64 (NAN.f64) 2)))
  (+.f64 (*.f64 (NAN.f64) (-.f64 (/.f64 (*.f64 m m) v) m)) (*.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (pow.f64 (NAN.f64) 3) (NAN.f64))))
  (-.f64 (/.f64 (*.f64 m (NAN.f64)) v) (+.f64 (/.f64 (*.f64 m (pow.f64 (NAN.f64) 3)) v) (*.f64 (+.f64 1 (/.f64 (*.f64 m m) v)) (NAN.f64))))
  (-.f64 (*.f64 (/.f64 m v) (+.f64 (NAN.f64) (pow.f64 (NAN.f64) 3))) (*.f64 (+.f64 1 (/.f64 (*.f64 m m) v)) (NAN.f64)))
  (-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v))
  (-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v))
  (-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v))
  (*.f64 m (-.f64 1 m))
  (*.f64 m (-.f64 1 m))
  (*.f64 m (-.f64 1 m))
2.071 * * * [progress]: adding candidates to table