0.917 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.274 * * * [progress]: [2/2] Setting up program.
0.278 * [progress]: [Phase 2 of 3] Improving.
0.281 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))
0.283 * * [simplify]: iteration  0 :  8  enodes  (cost  13 )
0.287 * * [simplify]: iteration  1 :  16  enodes  (cost  13 )
0.289 * * [simplify]: iteration  2 :  40  enodes  (cost  13 )
0.296 * * [simplify]: iteration  3 :  99  enodes  (cost  13 )
0.311 * * [simplify]: iteration  4 :  269  enodes  (cost  13 )
0.381 * * [simplify]: iteration  5 :  661  enodes  (cost  13 )
0.668 * * [simplify]: iteration  6 :  1787  enodes  (cost  13 )
1.494 * * [simplify]: iteration  7 :  3976  enodes  (cost  13 )
3.045 * * [simplify]: iteration  done :  5001  enodes  (cost  13 )
3.045 * [simplify]: Simplified to:
   (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))
3.047 * * [progress]: iteration 1 / 4
3.047 * * * [progress]: picking best candidate
3.048 * * * * [pick]: Picked  #<alt (λ (m v) (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))>
3.049 * * * [progress]: localizing error
3.057 * * * [progress]: generating rewritten candidates
3.058 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
3.106 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
3.112 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1)
3.125 * * * [progress]: generating series expansions
3.126 * * * * [progress]: [ 1 / 3 ] generating series at (2)
3.131 * [approximate]: Taking taylor expansion of (* (- 1.0 m) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in (m v) around 0
3.132 * [taylor]: Taking taylor expansion of (* (- 1.0 m) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in v
3.132 * [taylor]: Taking taylor expansion of (- 1.0 m) in v
3.132 * [taylor]: Taking taylor expansion of 1.0 in v
3.132 * [taylor]: Taking taylor expansion of m in v
3.132 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in v
3.132 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in v
3.132 * [taylor]: Taking taylor expansion of 1.0 in v
3.132 * [taylor]: Taking taylor expansion of (/ m v) in v
3.132 * [taylor]: Taking taylor expansion of m in v
3.132 * [taylor]: Taking taylor expansion of v in v
3.132 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in v
3.132 * [taylor]: Taking taylor expansion of 1.0 in v
3.132 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v
3.132 * [taylor]: Taking taylor expansion of (pow m 2) in v
3.132 * [taylor]: Taking taylor expansion of m in v
3.133 * [taylor]: Taking taylor expansion of v in v
3.133 * [taylor]: Taking taylor expansion of (* (- 1.0 m) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in m
3.133 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
3.133 * [taylor]: Taking taylor expansion of 1.0 in m
3.133 * [taylor]: Taking taylor expansion of m in m
3.133 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in m
3.133 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in m
3.133 * [taylor]: Taking taylor expansion of 1.0 in m
3.133 * [taylor]: Taking taylor expansion of (/ m v) in m
3.133 * [taylor]: Taking taylor expansion of m in m
3.133 * [taylor]: Taking taylor expansion of v in m
3.133 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in m
3.133 * [taylor]: Taking taylor expansion of 1.0 in m
3.133 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
3.133 * [taylor]: Taking taylor expansion of (pow m 2) in m
3.133 * [taylor]: Taking taylor expansion of m in m
3.133 * [taylor]: Taking taylor expansion of v in m
3.134 * [taylor]: Taking taylor expansion of (* (- 1.0 m) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in m
3.134 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
3.134 * [taylor]: Taking taylor expansion of 1.0 in m
3.134 * [taylor]: Taking taylor expansion of m in m
3.134 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in m
3.134 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in m
3.134 * [taylor]: Taking taylor expansion of 1.0 in m
3.134 * [taylor]: Taking taylor expansion of (/ m v) in m
3.134 * [taylor]: Taking taylor expansion of m in m
3.134 * [taylor]: Taking taylor expansion of v in m
3.134 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in m
3.134 * [taylor]: Taking taylor expansion of 1.0 in m
3.134 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
3.134 * [taylor]: Taking taylor expansion of (pow m 2) in m
3.134 * [taylor]: Taking taylor expansion of m in m
3.134 * [taylor]: Taking taylor expansion of v in m
3.137 * [taylor]: Taking taylor expansion of -1.0 in v
3.139 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 v)) 1.0) in v
3.139 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 v)) in v
3.139 * [taylor]: Taking taylor expansion of 1.0 in v
3.139 * [taylor]: Taking taylor expansion of (/ 1 v) in v
3.139 * [taylor]: Taking taylor expansion of v in v
3.139 * [taylor]: Taking taylor expansion of 1.0 in v
3.142 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 v))) in v
3.142 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in v
3.142 * [taylor]: Taking taylor expansion of 2.0 in v
3.142 * [taylor]: Taking taylor expansion of (/ 1 v) in v
3.142 * [taylor]: Taking taylor expansion of v in v
3.144 * [approximate]: Taking taylor expansion of (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- 1.0 (/ 1 m))) in (m v) around 0
3.144 * [taylor]: Taking taylor expansion of (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- 1.0 (/ 1 m))) in v
3.144 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in v
3.144 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in v
3.144 * [taylor]: Taking taylor expansion of 1.0 in v
3.144 * [taylor]: Taking taylor expansion of (/ v m) in v
3.144 * [taylor]: Taking taylor expansion of v in v
3.144 * [taylor]: Taking taylor expansion of m in v
3.144 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in v
3.144 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
3.144 * [taylor]: Taking taylor expansion of v in v
3.144 * [taylor]: Taking taylor expansion of (pow m 2) in v
3.144 * [taylor]: Taking taylor expansion of m in v
3.144 * [taylor]: Taking taylor expansion of 1.0 in v
3.144 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in v
3.144 * [taylor]: Taking taylor expansion of 1.0 in v
3.144 * [taylor]: Taking taylor expansion of (/ 1 m) in v
3.144 * [taylor]: Taking taylor expansion of m in v
3.144 * [taylor]: Taking taylor expansion of (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- 1.0 (/ 1 m))) in m
3.144 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in m
3.144 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
3.144 * [taylor]: Taking taylor expansion of 1.0 in m
3.144 * [taylor]: Taking taylor expansion of (/ v m) in m
3.144 * [taylor]: Taking taylor expansion of v in m
3.144 * [taylor]: Taking taylor expansion of m in m
3.144 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in m
3.144 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
3.144 * [taylor]: Taking taylor expansion of v in m
3.144 * [taylor]: Taking taylor expansion of (pow m 2) in m
3.144 * [taylor]: Taking taylor expansion of m in m
3.145 * [taylor]: Taking taylor expansion of 1.0 in m
3.145 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
3.145 * [taylor]: Taking taylor expansion of 1.0 in m
3.145 * [taylor]: Taking taylor expansion of (/ 1 m) in m
3.145 * [taylor]: Taking taylor expansion of m in m
3.145 * [taylor]: Taking taylor expansion of (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- 1.0 (/ 1 m))) in m
3.145 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in m
3.145 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
3.145 * [taylor]: Taking taylor expansion of 1.0 in m
3.145 * [taylor]: Taking taylor expansion of (/ v m) in m
3.145 * [taylor]: Taking taylor expansion of v in m
3.145 * [taylor]: Taking taylor expansion of m in m
3.145 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in m
3.145 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
3.145 * [taylor]: Taking taylor expansion of v in m
3.145 * [taylor]: Taking taylor expansion of (pow m 2) in m
3.145 * [taylor]: Taking taylor expansion of m in m
3.146 * [taylor]: Taking taylor expansion of 1.0 in m
3.146 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
3.146 * [taylor]: Taking taylor expansion of 1.0 in m
3.146 * [taylor]: Taking taylor expansion of (/ 1 m) in m
3.146 * [taylor]: Taking taylor expansion of m in m
3.146 * [taylor]: Taking taylor expansion of v in v
3.149 * [taylor]: Taking taylor expansion of (- (* 2.0 v)) in v
3.149 * [taylor]: Taking taylor expansion of (* 2.0 v) in v
3.149 * [taylor]: Taking taylor expansion of 2.0 in v
3.149 * [taylor]: Taking taylor expansion of v in v
3.154 * [taylor]: Taking taylor expansion of (+ (* 1.0 v) 1.0) in v
3.154 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
3.154 * [taylor]: Taking taylor expansion of 1.0 in v
3.154 * [taylor]: Taking taylor expansion of v in v
3.154 * [taylor]: Taking taylor expansion of 1.0 in v
3.158 * [approximate]: Taking taylor expansion of (* (+ (/ 1 m) 1.0) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) in (m v) around 0
3.158 * [taylor]: Taking taylor expansion of (* (+ (/ 1 m) 1.0) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) in v
3.158 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in v
3.158 * [taylor]: Taking taylor expansion of (/ 1 m) in v
3.158 * [taylor]: Taking taylor expansion of m in v
3.158 * [taylor]: Taking taylor expansion of 1.0 in v
3.158 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in v
3.158 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in v
3.158 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
3.158 * [taylor]: Taking taylor expansion of v in v
3.158 * [taylor]: Taking taylor expansion of (pow m 2) in v
3.158 * [taylor]: Taking taylor expansion of m in v
3.158 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in v
3.158 * [taylor]: Taking taylor expansion of 1.0 in v
3.158 * [taylor]: Taking taylor expansion of (/ v m) in v
3.158 * [taylor]: Taking taylor expansion of v in v
3.158 * [taylor]: Taking taylor expansion of m in v
3.158 * [taylor]: Taking taylor expansion of 1.0 in v
3.158 * [taylor]: Taking taylor expansion of (* (+ (/ 1 m) 1.0) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) in m
3.158 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
3.158 * [taylor]: Taking taylor expansion of (/ 1 m) in m
3.158 * [taylor]: Taking taylor expansion of m in m
3.159 * [taylor]: Taking taylor expansion of 1.0 in m
3.159 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in m
3.159 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in m
3.159 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
3.159 * [taylor]: Taking taylor expansion of v in m
3.159 * [taylor]: Taking taylor expansion of (pow m 2) in m
3.159 * [taylor]: Taking taylor expansion of m in m
3.159 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
3.159 * [taylor]: Taking taylor expansion of 1.0 in m
3.159 * [taylor]: Taking taylor expansion of (/ v m) in m
3.159 * [taylor]: Taking taylor expansion of v in m
3.159 * [taylor]: Taking taylor expansion of m in m
3.159 * [taylor]: Taking taylor expansion of 1.0 in m
3.159 * [taylor]: Taking taylor expansion of (* (+ (/ 1 m) 1.0) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) in m
3.159 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
3.159 * [taylor]: Taking taylor expansion of (/ 1 m) in m
3.159 * [taylor]: Taking taylor expansion of m in m
3.159 * [taylor]: Taking taylor expansion of 1.0 in m
3.159 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in m
3.160 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in m
3.160 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
3.160 * [taylor]: Taking taylor expansion of v in m
3.160 * [taylor]: Taking taylor expansion of (pow m 2) in m
3.160 * [taylor]: Taking taylor expansion of m in m
3.160 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
3.160 * [taylor]: Taking taylor expansion of 1.0 in m
3.160 * [taylor]: Taking taylor expansion of (/ v m) in m
3.160 * [taylor]: Taking taylor expansion of v in m
3.160 * [taylor]: Taking taylor expansion of m in m
3.160 * [taylor]: Taking taylor expansion of 1.0 in m
3.160 * [taylor]: Taking taylor expansion of v in v
3.162 * [taylor]: Taking taylor expansion of (* 2.0 v) in v
3.162 * [taylor]: Taking taylor expansion of 2.0 in v
3.162 * [taylor]: Taking taylor expansion of v in v
3.167 * [taylor]: Taking taylor expansion of (- (* 1.0 v) 1.0) in v
3.167 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
3.167 * [taylor]: Taking taylor expansion of 1.0 in v
3.167 * [taylor]: Taking taylor expansion of v in v
3.167 * [taylor]: Taking taylor expansion of 1.0 in v
3.170 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
3.170 * [approximate]: Taking taylor expansion of (/ (* m (- 1.0 m)) v) in (m v) around 0
3.170 * [taylor]: Taking taylor expansion of (/ (* m (- 1.0 m)) v) in v
3.170 * [taylor]: Taking taylor expansion of (* m (- 1.0 m)) in v
3.170 * [taylor]: Taking taylor expansion of m in v
3.170 * [taylor]: Taking taylor expansion of (- 1.0 m) in v
3.170 * [taylor]: Taking taylor expansion of 1.0 in v
3.170 * [taylor]: Taking taylor expansion of m in v
3.170 * [taylor]: Taking taylor expansion of v in v
3.170 * [taylor]: Taking taylor expansion of (/ (* m (- 1.0 m)) v) in m
3.170 * [taylor]: Taking taylor expansion of (* m (- 1.0 m)) in m
3.170 * [taylor]: Taking taylor expansion of m in m
3.170 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
3.170 * [taylor]: Taking taylor expansion of 1.0 in m
3.170 * [taylor]: Taking taylor expansion of m in m
3.170 * [taylor]: Taking taylor expansion of v in m
3.173 * [taylor]: Taking taylor expansion of (/ (* m (- 1.0 m)) v) in m
3.173 * [taylor]: Taking taylor expansion of (* m (- 1.0 m)) in m
3.173 * [taylor]: Taking taylor expansion of m in m
3.173 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
3.173 * [taylor]: Taking taylor expansion of 1.0 in m
3.173 * [taylor]: Taking taylor expansion of m in m
3.173 * [taylor]: Taking taylor expansion of v in m
3.175 * [taylor]: Taking taylor expansion of (/ 1.0 v) in v
3.175 * [taylor]: Taking taylor expansion of 1.0 in v
3.175 * [taylor]: Taking taylor expansion of v in v
3.177 * [taylor]: Taking taylor expansion of (- (/ 1 v)) in v
3.177 * [taylor]: Taking taylor expansion of (/ 1 v) in v
3.177 * [taylor]: Taking taylor expansion of v in v
3.179 * [taylor]: Taking taylor expansion of 0 in v
3.182 * [taylor]: Taking taylor expansion of 0 in v
3.188 * [approximate]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in (m v) around 0
3.188 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in v
3.188 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in v
3.188 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in v
3.188 * [taylor]: Taking taylor expansion of 1.0 in v
3.188 * [taylor]: Taking taylor expansion of (/ 1 m) in v
3.188 * [taylor]: Taking taylor expansion of m in v
3.188 * [taylor]: Taking taylor expansion of v in v
3.188 * [taylor]: Taking taylor expansion of m in v
3.189 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in m
3.189 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in m
3.189 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
3.189 * [taylor]: Taking taylor expansion of 1.0 in m
3.189 * [taylor]: Taking taylor expansion of (/ 1 m) in m
3.189 * [taylor]: Taking taylor expansion of m in m
3.189 * [taylor]: Taking taylor expansion of v in m
3.189 * [taylor]: Taking taylor expansion of m in m
3.190 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in m
3.190 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in m
3.190 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
3.190 * [taylor]: Taking taylor expansion of 1.0 in m
3.190 * [taylor]: Taking taylor expansion of (/ 1 m) in m
3.190 * [taylor]: Taking taylor expansion of m in m
3.190 * [taylor]: Taking taylor expansion of v in m
3.190 * [taylor]: Taking taylor expansion of m in m
3.191 * [taylor]: Taking taylor expansion of (* -1 v) in v
3.191 * [taylor]: Taking taylor expansion of -1 in v
3.191 * [taylor]: Taking taylor expansion of v in v
3.193 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
3.193 * [taylor]: Taking taylor expansion of 1.0 in v
3.193 * [taylor]: Taking taylor expansion of v in v
3.196 * [taylor]: Taking taylor expansion of 0 in v
3.201 * [taylor]: Taking taylor expansion of 0 in v
3.201 * [approximate]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in (m v) around 0
3.201 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in v
3.201 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1.0)) in v
3.201 * [taylor]: Taking taylor expansion of v in v
3.201 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in v
3.201 * [taylor]: Taking taylor expansion of (/ 1 m) in v
3.201 * [taylor]: Taking taylor expansion of m in v
3.201 * [taylor]: Taking taylor expansion of 1.0 in v
3.201 * [taylor]: Taking taylor expansion of m in v
3.202 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in m
3.202 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1.0)) in m
3.202 * [taylor]: Taking taylor expansion of v in m
3.202 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
3.202 * [taylor]: Taking taylor expansion of (/ 1 m) in m
3.202 * [taylor]: Taking taylor expansion of m in m
3.203 * [taylor]: Taking taylor expansion of 1.0 in m
3.203 * [taylor]: Taking taylor expansion of m in m
3.203 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in m
3.203 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1.0)) in m
3.203 * [taylor]: Taking taylor expansion of v in m
3.203 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
3.203 * [taylor]: Taking taylor expansion of (/ 1 m) in m
3.203 * [taylor]: Taking taylor expansion of m in m
3.203 * [taylor]: Taking taylor expansion of 1.0 in m
3.203 * [taylor]: Taking taylor expansion of m in m
3.204 * [taylor]: Taking taylor expansion of v in v
3.205 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
3.205 * [taylor]: Taking taylor expansion of 1.0 in v
3.205 * [taylor]: Taking taylor expansion of v in v
3.208 * [taylor]: Taking taylor expansion of 0 in v
3.211 * [taylor]: Taking taylor expansion of 0 in v
3.211 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1)
3.211 * [approximate]: Taking taylor expansion of (* m (- 1.0 m)) in (m) around 0
3.211 * [taylor]: Taking taylor expansion of (* m (- 1.0 m)) in m
3.211 * [taylor]: Taking taylor expansion of m in m
3.211 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
3.211 * [taylor]: Taking taylor expansion of 1.0 in m
3.211 * [taylor]: Taking taylor expansion of m in m
3.211 * [taylor]: Taking taylor expansion of (* m (- 1.0 m)) in m
3.211 * [taylor]: Taking taylor expansion of m in m
3.211 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
3.211 * [taylor]: Taking taylor expansion of 1.0 in m
3.212 * [taylor]: Taking taylor expansion of m in m
3.223 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 m)) m) in (m) around 0
3.223 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 m)) m) in m
3.223 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
3.223 * [taylor]: Taking taylor expansion of 1.0 in m
3.223 * [taylor]: Taking taylor expansion of (/ 1 m) in m
3.224 * [taylor]: Taking taylor expansion of m in m
3.224 * [taylor]: Taking taylor expansion of m in m
3.225 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 m)) m) in m
3.225 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
3.225 * [taylor]: Taking taylor expansion of 1.0 in m
3.225 * [taylor]: Taking taylor expansion of (/ 1 m) in m
3.225 * [taylor]: Taking taylor expansion of m in m
3.225 * [taylor]: Taking taylor expansion of m in m
3.237 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1.0) m)) in (m) around 0
3.238 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1.0) m)) in m
3.238 * [taylor]: Taking taylor expansion of -1 in m
3.238 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1.0) m) in m
3.238 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
3.238 * [taylor]: Taking taylor expansion of (/ 1 m) in m
3.238 * [taylor]: Taking taylor expansion of m in m
3.238 * [taylor]: Taking taylor expansion of 1.0 in m
3.238 * [taylor]: Taking taylor expansion of m in m
3.238 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1.0) m)) in m
3.238 * [taylor]: Taking taylor expansion of -1 in m
3.238 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1.0) m) in m
3.238 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
3.239 * [taylor]: Taking taylor expansion of (/ 1 m) in m
3.239 * [taylor]: Taking taylor expansion of m in m
3.239 * [taylor]: Taking taylor expansion of 1.0 in m
3.239 * [taylor]: Taking taylor expansion of m in m
3.256 * * * [progress]: simplifying candidates
3.258 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))
  (+ (log (- (/ (* m (- 1.0 m)) v) 1.0)) (log (- 1.0 m)))
  (log (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
  (exp (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
  (* (* (* (- (/ (* m (- 1.0 m)) v) 1.0) (- (/ (* m (- 1.0 m)) v) 1.0)) (- (/ (* m (- 1.0 m)) v) 1.0)) (* (* (- 1.0 m) (- 1.0 m)) (- 1.0 m)))
  (* (cbrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))) (cbrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))))
  (cbrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
  (* (* (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)) (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))) (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
  (sqrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
  (sqrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
  (* (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3)) (- (pow 1.0 3) (pow m 3)))
  (* (+ (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (+ (* 1.0 1.0) (* (/ (* m (- 1.0 m)) v) 1.0))) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))))
  (* (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3)) (- (* 1.0 1.0) (* m m)))
  (* (+ (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (+ (* 1.0 1.0) (* (/ (* m (- 1.0 m)) v) 1.0))) (+ 1.0 m))
  (* (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0)) (- (pow 1.0 3) (pow m 3)))
  (* (+ (/ (* m (- 1.0 m)) v) 1.0) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))))
  (* (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0)) (- (* 1.0 1.0) (* m m)))
  (* (+ (/ (* m (- 1.0 m)) v) 1.0) (+ 1.0 m))
  (* (sqrt (- (/ (* m (- 1.0 m)) v) 1.0)) (sqrt (- 1.0 m)))
  (* (sqrt (- (/ (* m (- 1.0 m)) v) 1.0)) (sqrt (- 1.0 m)))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0)
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0)
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m))
  (* 1.0 (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (- m) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* 1.0 (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (- m) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (* (cbrt (- 1.0 m)) (cbrt (- 1.0 m))))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (sqrt (- 1.0 m)))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) 1)
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (+ (sqrt 1.0) (sqrt m)))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) 1)
  (* (cbrt (- (/ (* m (- 1.0 m)) v) 1.0)) (- 1.0 m))
  (* (sqrt (- (/ (* m (- 1.0 m)) v) 1.0)) (- 1.0 m))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))
  (* (- (sqrt (/ (* m (- 1.0 m)) v)) (sqrt 1.0)) (- 1.0 m))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (- (pow 1.0 3) (pow m 3)))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (- (* 1.0 1.0) (* m m)))
  (* (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3)) (- 1.0 m))
  (* (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0)) (- 1.0 m))
  (- (+ (log m) (log (- 1.0 m))) (log v))
  (- (log (* m (- 1.0 m))) (log v))
  (log (/ (* m (- 1.0 m)) v))
  (exp (/ (* m (- 1.0 m)) v))
  (/ (* (* (* m m) m) (* (* (- 1.0 m) (- 1.0 m)) (- 1.0 m))) (* (* v v) v))
  (/ (* (* (* m (- 1.0 m)) (* m (- 1.0 m))) (* m (- 1.0 m))) (* (* v v) v))
  (* (cbrt (/ (* m (- 1.0 m)) v)) (cbrt (/ (* m (- 1.0 m)) v)))
  (cbrt (/ (* m (- 1.0 m)) v))
  (* (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (/ (* m (- 1.0 m)) v))
  (sqrt (/ (* m (- 1.0 m)) v))
  (sqrt (/ (* m (- 1.0 m)) v))
  (- (* m (- 1.0 m)))
  (- v)
  (/ m (* (cbrt v) (cbrt v)))
  (/ (- 1.0 m) (cbrt v))
  (/ m (sqrt v))
  (/ (- 1.0 m) (sqrt v))
  (/ m 1)
  (/ (- 1.0 m) v)
  (/ 1 v)
  (/ v (* m (- 1.0 m)))
  (/ (* m (- 1.0 m)) (* (cbrt v) (cbrt v)))
  (/ (* m (- 1.0 m)) (sqrt v))
  (/ (* m (- 1.0 m)) 1)
  (/ v (- 1.0 m))
  (* v (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))))
  (* v (+ 1.0 m))
  (* m (- 1.0 m))
  (+ (log m) (log (- 1.0 m)))
  (log (* m (- 1.0 m)))
  (exp (* m (- 1.0 m)))
  (* (* (* m m) m) (* (* (- 1.0 m) (- 1.0 m)) (- 1.0 m)))
  (* (cbrt (* m (- 1.0 m))) (cbrt (* m (- 1.0 m))))
  (cbrt (* m (- 1.0 m)))
  (* (* (* m (- 1.0 m)) (* m (- 1.0 m))) (* m (- 1.0 m)))
  (sqrt (* m (- 1.0 m)))
  (sqrt (* m (- 1.0 m)))
  (* (sqrt m) (sqrt (- 1.0 m)))
  (* (sqrt m) (sqrt (- 1.0 m)))
  (* m 1.0)
  (* m (- m))
  (* m 1.0)
  (* m (- m))
  (* 1.0 m)
  (* (- m) m)
  (* 1.0 m)
  (* (- m) m)
  (* m (* (cbrt (- 1.0 m)) (cbrt (- 1.0 m))))
  (* m (sqrt (- 1.0 m)))
  (* m 1)
  (* m (+ (sqrt 1.0) (sqrt m)))
  (* m 1)
  (* (cbrt m) (- 1.0 m))
  (* (sqrt m) (- 1.0 m))
  (* m (- 1.0 m))
  (* m (- (pow 1.0 3) (pow m 3)))
  (* m (- (* 1.0 1.0) (* m m)))
  (- (* 1.0 (/ m v)) (+ 1.0 (* 2.0 (/ (pow m 2) v))))
  (- (+ (* 1.0 m) (/ (pow m 3) v)) (* 2.0 (/ (pow m 2) v)))
  (- (+ (* 1.0 m) (/ (pow m 3) v)) (* 2.0 (/ (pow m 2) v)))
  (- (* 1.0 (/ m v)) (/ (pow m 2) v))
  (- (* 1.0 (/ m v)) (/ (pow m 2) v))
  (- (* 1.0 (/ m v)) (/ (pow m 2) v))
  (- (* 1.0 m) (pow m 2))
  (- (* 1.0 m) (pow m 2))
  (- (* 1.0 m) (pow m 2))
3.261 * * [simplify]: iteration  0 :  147  enodes  (cost  1290 )
3.300 * * [simplify]: iteration  1 :  387  enodes  (cost  1245 )
3.384 * * [simplify]: iteration  2 :  1434  enodes  (cost  1143 )
3.766 * * [simplify]: iteration  done :  5000  enodes  (cost  1141 )
3.767 * [simplify]: Simplified to:
   (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))
  (log (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
  (log (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
  (exp (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
  (pow (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)) 3)
  (* (cbrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))) (cbrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))))
  (cbrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
  (pow (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)) 3)
  (sqrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
  (sqrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
  (* (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3)) (- (pow 1.0 3) (pow m 3)))
  (* (+ (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 (+ (/ (* m (- 1.0 m)) v) 1.0))) (+ (* m (+ 1.0 m)) (* 1.0 1.0)))
  (* (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3)) (- (* 1.0 1.0) (* m m)))
  (* (+ (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 (+ (/ (* m (- 1.0 m)) v) 1.0))) (+ 1.0 m))
  (* (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0)) (- (pow 1.0 3) (pow m 3)))
  (* (+ (* m (+ 1.0 m)) (* 1.0 1.0)) (+ (/ (* m (- 1.0 m)) v) 1.0))
  (* (+ (* (/ (pow m 2) v) (/ (pow (- 1.0 m) 3) v)) (* (- 1.0 m) (- (* 1.0 1.0)))) (+ 1.0 m))
  (* (+ (/ (* m (- 1.0 m)) v) 1.0) (+ 1.0 m))
  (* (sqrt (- (/ (* m (- 1.0 m)) v) 1.0)) (sqrt (- 1.0 m)))
  (* (sqrt (- (/ (* m (- 1.0 m)) v) 1.0)) (sqrt (- 1.0 m)))
  (* 1.0 (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (- m) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* 1.0 (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (- m) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* 1.0 (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (- m) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* 1.0 (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (- m) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (* (cbrt (- 1.0 m)) (cbrt (- 1.0 m))))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (sqrt (- 1.0 m)))
  (- (/ (* m (- 1.0 m)) v) 1.0)
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (+ (sqrt 1.0) (sqrt m)))
  (- (/ (* m (- 1.0 m)) v) 1.0)
  (* (cbrt (- (/ (* m (- 1.0 m)) v) 1.0)) (- 1.0 m))
  (* (sqrt (- (/ (* m (- 1.0 m)) v) 1.0)) (- 1.0 m))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))
  (* (- (sqrt (/ (* m (- 1.0 m)) v)) (sqrt 1.0)) (- 1.0 m))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (- (pow 1.0 3) (pow m 3)))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (- (* 1.0 1.0) (* m m)))
  (* (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3)) (- 1.0 m))
  (+ (* (/ (pow m 2) v) (/ (pow (- 1.0 m) 3) v)) (* (- 1.0 m) (- (* 1.0 1.0))))
  (log (/ (* m (- 1.0 m)) v))
  (log (/ (* m (- 1.0 m)) v))
  (log (/ (* m (- 1.0 m)) v))
  (exp (/ (* m (- 1.0 m)) v))
  (pow (/ (* m (- 1.0 m)) v) 3)
  (pow (/ (* m (- 1.0 m)) v) 3)
  (* (cbrt (/ (* m (- 1.0 m)) v)) (cbrt (/ (* m (- 1.0 m)) v)))
  (cbrt (/ (* m (- 1.0 m)) v))
  (pow (/ (* m (- 1.0 m)) v) 3)
  (sqrt (/ (* m (- 1.0 m)) v))
  (sqrt (/ (* m (- 1.0 m)) v))
  (- (* m (- 1.0 m)))
  (- v)
  (/ m (* (cbrt v) (cbrt v)))
  (/ (- 1.0 m) (cbrt v))
  (/ m (sqrt v))
  (/ (- 1.0 m) (sqrt v))
  m
  (/ (- 1.0 m) v)
  (/ 1 v)
  (/ v (* m (- 1.0 m)))
  (/ (* m (- 1.0 m)) (* (cbrt v) (cbrt v)))
  (/ (* m (- 1.0 m)) (sqrt v))
  (* m (- 1.0 m))
  (/ v (- 1.0 m))
  (* (+ (* m (+ 1.0 m)) (* 1.0 1.0)) v)
  (* v (+ 1.0 m))
  (* m (- 1.0 m))
  (log (* m (- 1.0 m)))
  (log (* m (- 1.0 m)))
  (exp (* m (- 1.0 m)))
  (pow (* m (- 1.0 m)) 3)
  (* (cbrt (* m (- 1.0 m))) (cbrt (* m (- 1.0 m))))
  (cbrt (* m (- 1.0 m)))
  (pow (* m (- 1.0 m)) 3)
  (sqrt (* m (- 1.0 m)))
  (sqrt (* m (- 1.0 m)))
  (* (sqrt m) (sqrt (- 1.0 m)))
  (* (sqrt m) (sqrt (- 1.0 m)))
  (* m 1.0)
  (* (- m) m)
  (* m 1.0)
  (* (- m) m)
  (* m 1.0)
  (* (- m) m)
  (* m 1.0)
  (* (- m) m)
  (* m (* (cbrt (- 1.0 m)) (cbrt (- 1.0 m))))
  (* m (sqrt (- 1.0 m)))
  m
  (* m (+ (sqrt 1.0) (sqrt m)))
  m
  (* (cbrt m) (- 1.0 m))
  (* (sqrt m) (- 1.0 m))
  (* m (- 1.0 m))
  (* m (- (pow 1.0 3) (pow m 3)))
  (* m (- (* 1.0 1.0) (* m m)))
  (- (* 1.0 (/ m v)) (+ 1.0 (* 2.0 (/ (pow m 2) v))))
  (- (+ (* 1.0 m) (/ (pow m 3) v)) (* 2.0 (/ (pow m 2) v)))
  (- (+ (* 1.0 m) (/ (pow m 3) v)) (* 2.0 (/ (pow m 2) v)))
  (- (* 1.0 (/ m v)) (/ (pow m 2) v))
  (- (* 1.0 (/ m v)) (/ (pow m 2) v))
  (- (* 1.0 (/ m v)) (/ (pow m 2) v))
  (* m (- 1.0 m))
  (* m (- 1.0 m))
  (* m (- 1.0 m))
3.767 * * * [progress]: adding candidates to table
3.934 * * [progress]: iteration 2 / 4
3.934 * * * [progress]: picking best candidate
3.944 * * * * [pick]: Picked  #<alt (λ (m v) (* (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0) (- 1.0 m)))>
3.944 * * * [progress]: localizing error
3.954 * * * [progress]: generating rewritten candidates
3.954 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
4.030 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
4.039 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1)
4.043 * * * [progress]: generating series expansions
4.043 * * * * [progress]: [ 1 / 3 ] generating series at (2)
4.044 * [approximate]: Taking taylor expansion of (* (- 1.0 m) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in (m v) around 0
4.044 * [taylor]: Taking taylor expansion of (* (- 1.0 m) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in v
4.044 * [taylor]: Taking taylor expansion of (- 1.0 m) in v
4.044 * [taylor]: Taking taylor expansion of 1.0 in v
4.044 * [taylor]: Taking taylor expansion of m in v
4.044 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in v
4.044 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in v
4.044 * [taylor]: Taking taylor expansion of 1.0 in v
4.044 * [taylor]: Taking taylor expansion of (/ m v) in v
4.044 * [taylor]: Taking taylor expansion of m in v
4.044 * [taylor]: Taking taylor expansion of v in v
4.044 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in v
4.044 * [taylor]: Taking taylor expansion of 1.0 in v
4.044 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v
4.044 * [taylor]: Taking taylor expansion of (pow m 2) in v
4.044 * [taylor]: Taking taylor expansion of m in v
4.044 * [taylor]: Taking taylor expansion of v in v
4.044 * [taylor]: Taking taylor expansion of (* (- 1.0 m) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in m
4.044 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
4.044 * [taylor]: Taking taylor expansion of 1.0 in m
4.044 * [taylor]: Taking taylor expansion of m in m
4.044 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in m
4.044 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in m
4.044 * [taylor]: Taking taylor expansion of 1.0 in m
4.044 * [taylor]: Taking taylor expansion of (/ m v) in m
4.044 * [taylor]: Taking taylor expansion of m in m
4.044 * [taylor]: Taking taylor expansion of v in m
4.044 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in m
4.044 * [taylor]: Taking taylor expansion of 1.0 in m
4.044 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
4.044 * [taylor]: Taking taylor expansion of (pow m 2) in m
4.044 * [taylor]: Taking taylor expansion of m in m
4.044 * [taylor]: Taking taylor expansion of v in m
4.045 * [taylor]: Taking taylor expansion of (* (- 1.0 m) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in m
4.045 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
4.045 * [taylor]: Taking taylor expansion of 1.0 in m
4.045 * [taylor]: Taking taylor expansion of m in m
4.045 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in m
4.045 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in m
4.045 * [taylor]: Taking taylor expansion of 1.0 in m
4.045 * [taylor]: Taking taylor expansion of (/ m v) in m
4.045 * [taylor]: Taking taylor expansion of m in m
4.045 * [taylor]: Taking taylor expansion of v in m
4.045 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in m
4.045 * [taylor]: Taking taylor expansion of 1.0 in m
4.045 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
4.045 * [taylor]: Taking taylor expansion of (pow m 2) in m
4.045 * [taylor]: Taking taylor expansion of m in m
4.045 * [taylor]: Taking taylor expansion of v in m
4.050 * [taylor]: Taking taylor expansion of -1.0 in v
4.052 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 v)) 1.0) in v
4.052 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 v)) in v
4.052 * [taylor]: Taking taylor expansion of 1.0 in v
4.052 * [taylor]: Taking taylor expansion of (/ 1 v) in v
4.052 * [taylor]: Taking taylor expansion of v in v
4.052 * [taylor]: Taking taylor expansion of 1.0 in v
4.054 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 v))) in v
4.054 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in v
4.054 * [taylor]: Taking taylor expansion of 2.0 in v
4.054 * [taylor]: Taking taylor expansion of (/ 1 v) in v
4.054 * [taylor]: Taking taylor expansion of v in v
4.056 * [approximate]: Taking taylor expansion of (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- 1.0 (/ 1 m))) in (m v) around 0
4.056 * [taylor]: Taking taylor expansion of (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- 1.0 (/ 1 m))) in v
4.056 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in v
4.056 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in v
4.056 * [taylor]: Taking taylor expansion of 1.0 in v
4.056 * [taylor]: Taking taylor expansion of (/ v m) in v
4.056 * [taylor]: Taking taylor expansion of v in v
4.056 * [taylor]: Taking taylor expansion of m in v
4.056 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in v
4.056 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
4.056 * [taylor]: Taking taylor expansion of v in v
4.056 * [taylor]: Taking taylor expansion of (pow m 2) in v
4.056 * [taylor]: Taking taylor expansion of m in v
4.056 * [taylor]: Taking taylor expansion of 1.0 in v
4.056 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in v
4.056 * [taylor]: Taking taylor expansion of 1.0 in v
4.056 * [taylor]: Taking taylor expansion of (/ 1 m) in v
4.056 * [taylor]: Taking taylor expansion of m in v
4.056 * [taylor]: Taking taylor expansion of (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- 1.0 (/ 1 m))) in m
4.056 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in m
4.056 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
4.056 * [taylor]: Taking taylor expansion of 1.0 in m
4.056 * [taylor]: Taking taylor expansion of (/ v m) in m
4.056 * [taylor]: Taking taylor expansion of v in m
4.056 * [taylor]: Taking taylor expansion of m in m
4.056 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in m
4.056 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
4.056 * [taylor]: Taking taylor expansion of v in m
4.056 * [taylor]: Taking taylor expansion of (pow m 2) in m
4.056 * [taylor]: Taking taylor expansion of m in m
4.057 * [taylor]: Taking taylor expansion of 1.0 in m
4.057 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
4.057 * [taylor]: Taking taylor expansion of 1.0 in m
4.057 * [taylor]: Taking taylor expansion of (/ 1 m) in m
4.057 * [taylor]: Taking taylor expansion of m in m
4.057 * [taylor]: Taking taylor expansion of (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- 1.0 (/ 1 m))) in m
4.057 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in m
4.057 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
4.057 * [taylor]: Taking taylor expansion of 1.0 in m
4.057 * [taylor]: Taking taylor expansion of (/ v m) in m
4.057 * [taylor]: Taking taylor expansion of v in m
4.057 * [taylor]: Taking taylor expansion of m in m
4.057 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in m
4.057 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
4.057 * [taylor]: Taking taylor expansion of v in m
4.057 * [taylor]: Taking taylor expansion of (pow m 2) in m
4.057 * [taylor]: Taking taylor expansion of m in m
4.057 * [taylor]: Taking taylor expansion of 1.0 in m
4.057 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
4.058 * [taylor]: Taking taylor expansion of 1.0 in m
4.058 * [taylor]: Taking taylor expansion of (/ 1 m) in m
4.058 * [taylor]: Taking taylor expansion of m in m
4.058 * [taylor]: Taking taylor expansion of v in v
4.061 * [taylor]: Taking taylor expansion of (- (* 2.0 v)) in v
4.061 * [taylor]: Taking taylor expansion of (* 2.0 v) in v
4.061 * [taylor]: Taking taylor expansion of 2.0 in v
4.061 * [taylor]: Taking taylor expansion of v in v
4.066 * [taylor]: Taking taylor expansion of (+ (* 1.0 v) 1.0) in v
4.066 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
4.066 * [taylor]: Taking taylor expansion of 1.0 in v
4.066 * [taylor]: Taking taylor expansion of v in v
4.066 * [taylor]: Taking taylor expansion of 1.0 in v
4.069 * [approximate]: Taking taylor expansion of (* (+ (/ 1 m) 1.0) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) in (m v) around 0
4.069 * [taylor]: Taking taylor expansion of (* (+ (/ 1 m) 1.0) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) in v
4.069 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in v
4.069 * [taylor]: Taking taylor expansion of (/ 1 m) in v
4.069 * [taylor]: Taking taylor expansion of m in v
4.069 * [taylor]: Taking taylor expansion of 1.0 in v
4.069 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in v
4.069 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in v
4.069 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
4.069 * [taylor]: Taking taylor expansion of v in v
4.069 * [taylor]: Taking taylor expansion of (pow m 2) in v
4.069 * [taylor]: Taking taylor expansion of m in v
4.069 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in v
4.069 * [taylor]: Taking taylor expansion of 1.0 in v
4.069 * [taylor]: Taking taylor expansion of (/ v m) in v
4.069 * [taylor]: Taking taylor expansion of v in v
4.069 * [taylor]: Taking taylor expansion of m in v
4.069 * [taylor]: Taking taylor expansion of 1.0 in v
4.069 * [taylor]: Taking taylor expansion of (* (+ (/ 1 m) 1.0) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) in m
4.069 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
4.069 * [taylor]: Taking taylor expansion of (/ 1 m) in m
4.069 * [taylor]: Taking taylor expansion of m in m
4.070 * [taylor]: Taking taylor expansion of 1.0 in m
4.070 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in m
4.070 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in m
4.070 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
4.070 * [taylor]: Taking taylor expansion of v in m
4.070 * [taylor]: Taking taylor expansion of (pow m 2) in m
4.070 * [taylor]: Taking taylor expansion of m in m
4.070 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
4.070 * [taylor]: Taking taylor expansion of 1.0 in m
4.070 * [taylor]: Taking taylor expansion of (/ v m) in m
4.070 * [taylor]: Taking taylor expansion of v in m
4.070 * [taylor]: Taking taylor expansion of m in m
4.070 * [taylor]: Taking taylor expansion of 1.0 in m
4.070 * [taylor]: Taking taylor expansion of (* (+ (/ 1 m) 1.0) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) in m
4.070 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
4.070 * [taylor]: Taking taylor expansion of (/ 1 m) in m
4.070 * [taylor]: Taking taylor expansion of m in m
4.070 * [taylor]: Taking taylor expansion of 1.0 in m
4.070 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in m
4.070 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in m
4.071 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
4.071 * [taylor]: Taking taylor expansion of v in m
4.071 * [taylor]: Taking taylor expansion of (pow m 2) in m
4.071 * [taylor]: Taking taylor expansion of m in m
4.071 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
4.071 * [taylor]: Taking taylor expansion of 1.0 in m
4.071 * [taylor]: Taking taylor expansion of (/ v m) in m
4.071 * [taylor]: Taking taylor expansion of v in m
4.071 * [taylor]: Taking taylor expansion of m in m
4.071 * [taylor]: Taking taylor expansion of 1.0 in m
4.071 * [taylor]: Taking taylor expansion of v in v
4.073 * [taylor]: Taking taylor expansion of (* 2.0 v) in v
4.073 * [taylor]: Taking taylor expansion of 2.0 in v
4.073 * [taylor]: Taking taylor expansion of v in v
4.078 * [taylor]: Taking taylor expansion of (- (* 1.0 v) 1.0) in v
4.078 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
4.078 * [taylor]: Taking taylor expansion of 1.0 in v
4.078 * [taylor]: Taking taylor expansion of v in v
4.078 * [taylor]: Taking taylor expansion of 1.0 in v
4.081 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
4.081 * [approximate]: Taking taylor expansion of (/ (- (* 1.0 m) (pow m 2)) v) in (m v) around 0
4.081 * [taylor]: Taking taylor expansion of (/ (- (* 1.0 m) (pow m 2)) v) in v
4.081 * [taylor]: Taking taylor expansion of (- (* 1.0 m) (pow m 2)) in v
4.081 * [taylor]: Taking taylor expansion of (* 1.0 m) in v
4.081 * [taylor]: Taking taylor expansion of 1.0 in v
4.081 * [taylor]: Taking taylor expansion of m in v
4.081 * [taylor]: Taking taylor expansion of (pow m 2) in v
4.081 * [taylor]: Taking taylor expansion of m in v
4.081 * [taylor]: Taking taylor expansion of v in v
4.081 * [taylor]: Taking taylor expansion of (/ (- (* 1.0 m) (pow m 2)) v) in m
4.081 * [taylor]: Taking taylor expansion of (- (* 1.0 m) (pow m 2)) in m
4.081 * [taylor]: Taking taylor expansion of (* 1.0 m) in m
4.082 * [taylor]: Taking taylor expansion of 1.0 in m
4.082 * [taylor]: Taking taylor expansion of m in m
4.082 * [taylor]: Taking taylor expansion of (pow m 2) in m
4.082 * [taylor]: Taking taylor expansion of m in m
4.082 * [taylor]: Taking taylor expansion of v in m
4.083 * [taylor]: Taking taylor expansion of (/ (- (* 1.0 m) (pow m 2)) v) in m
4.083 * [taylor]: Taking taylor expansion of (- (* 1.0 m) (pow m 2)) in m
4.083 * [taylor]: Taking taylor expansion of (* 1.0 m) in m
4.083 * [taylor]: Taking taylor expansion of 1.0 in m
4.084 * [taylor]: Taking taylor expansion of m in m
4.084 * [taylor]: Taking taylor expansion of (pow m 2) in m
4.084 * [taylor]: Taking taylor expansion of m in m
4.084 * [taylor]: Taking taylor expansion of v in m
4.085 * [taylor]: Taking taylor expansion of (/ 1.0 v) in v
4.085 * [taylor]: Taking taylor expansion of 1.0 in v
4.085 * [taylor]: Taking taylor expansion of v in v
4.087 * [taylor]: Taking taylor expansion of (- (/ 1 v)) in v
4.087 * [taylor]: Taking taylor expansion of (/ 1 v) in v
4.087 * [taylor]: Taking taylor expansion of v in v
4.089 * [taylor]: Taking taylor expansion of 0 in v
4.092 * [taylor]: Taking taylor expansion of 0 in v
4.094 * [approximate]: Taking taylor expansion of (* v (- (* 1.0 (/ 1 m)) (/ 1 (pow m 2)))) in (m v) around 0
4.094 * [taylor]: Taking taylor expansion of (* v (- (* 1.0 (/ 1 m)) (/ 1 (pow m 2)))) in v
4.094 * [taylor]: Taking taylor expansion of v in v
4.094 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 m)) (/ 1 (pow m 2))) in v
4.094 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 m)) in v
4.094 * [taylor]: Taking taylor expansion of 1.0 in v
4.094 * [taylor]: Taking taylor expansion of (/ 1 m) in v
4.094 * [taylor]: Taking taylor expansion of m in v
4.094 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in v
4.094 * [taylor]: Taking taylor expansion of (pow m 2) in v
4.094 * [taylor]: Taking taylor expansion of m in v
4.094 * [taylor]: Taking taylor expansion of (* v (- (* 1.0 (/ 1 m)) (/ 1 (pow m 2)))) in m
4.094 * [taylor]: Taking taylor expansion of v in m
4.094 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 m)) (/ 1 (pow m 2))) in m
4.094 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 m)) in m
4.094 * [taylor]: Taking taylor expansion of 1.0 in m
4.094 * [taylor]: Taking taylor expansion of (/ 1 m) in m
4.094 * [taylor]: Taking taylor expansion of m in m
4.095 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m
4.095 * [taylor]: Taking taylor expansion of (pow m 2) in m
4.095 * [taylor]: Taking taylor expansion of m in m
4.095 * [taylor]: Taking taylor expansion of (* v (- (* 1.0 (/ 1 m)) (/ 1 (pow m 2)))) in m
4.095 * [taylor]: Taking taylor expansion of v in m
4.095 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 m)) (/ 1 (pow m 2))) in m
4.095 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 m)) in m
4.095 * [taylor]: Taking taylor expansion of 1.0 in m
4.095 * [taylor]: Taking taylor expansion of (/ 1 m) in m
4.095 * [taylor]: Taking taylor expansion of m in m
4.096 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m
4.096 * [taylor]: Taking taylor expansion of (pow m 2) in m
4.096 * [taylor]: Taking taylor expansion of m in m
4.097 * [taylor]: Taking taylor expansion of (* -1 v) in v
4.097 * [taylor]: Taking taylor expansion of -1 in v
4.097 * [taylor]: Taking taylor expansion of v in v
4.099 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
4.099 * [taylor]: Taking taylor expansion of 1.0 in v
4.099 * [taylor]: Taking taylor expansion of v in v
4.102 * [taylor]: Taking taylor expansion of 0 in v
4.106 * [taylor]: Taking taylor expansion of 0 in v
4.111 * [taylor]: Taking taylor expansion of 0 in v
4.111 * [approximate]: Taking taylor expansion of (* v (+ (* 1.0 (/ 1 m)) (/ 1 (pow m 2)))) in (m v) around 0
4.111 * [taylor]: Taking taylor expansion of (* v (+ (* 1.0 (/ 1 m)) (/ 1 (pow m 2)))) in v
4.112 * [taylor]: Taking taylor expansion of v in v
4.112 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 m)) (/ 1 (pow m 2))) in v
4.112 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 m)) in v
4.112 * [taylor]: Taking taylor expansion of 1.0 in v
4.112 * [taylor]: Taking taylor expansion of (/ 1 m) in v
4.112 * [taylor]: Taking taylor expansion of m in v
4.112 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in v
4.112 * [taylor]: Taking taylor expansion of (pow m 2) in v
4.112 * [taylor]: Taking taylor expansion of m in v
4.112 * [taylor]: Taking taylor expansion of (* v (+ (* 1.0 (/ 1 m)) (/ 1 (pow m 2)))) in m
4.112 * [taylor]: Taking taylor expansion of v in m
4.112 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 m)) (/ 1 (pow m 2))) in m
4.112 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 m)) in m
4.112 * [taylor]: Taking taylor expansion of 1.0 in m
4.112 * [taylor]: Taking taylor expansion of (/ 1 m) in m
4.112 * [taylor]: Taking taylor expansion of m in m
4.112 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m
4.112 * [taylor]: Taking taylor expansion of (pow m 2) in m
4.112 * [taylor]: Taking taylor expansion of m in m
4.113 * [taylor]: Taking taylor expansion of (* v (+ (* 1.0 (/ 1 m)) (/ 1 (pow m 2)))) in m
4.113 * [taylor]: Taking taylor expansion of v in m
4.113 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 m)) (/ 1 (pow m 2))) in m
4.113 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 m)) in m
4.113 * [taylor]: Taking taylor expansion of 1.0 in m
4.113 * [taylor]: Taking taylor expansion of (/ 1 m) in m
4.113 * [taylor]: Taking taylor expansion of m in m
4.113 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m
4.113 * [taylor]: Taking taylor expansion of (pow m 2) in m
4.113 * [taylor]: Taking taylor expansion of m in m
4.114 * [taylor]: Taking taylor expansion of v in v
4.115 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
4.116 * [taylor]: Taking taylor expansion of 1.0 in v
4.116 * [taylor]: Taking taylor expansion of v in v
4.118 * [taylor]: Taking taylor expansion of 0 in v
4.122 * [taylor]: Taking taylor expansion of 0 in v
4.126 * [taylor]: Taking taylor expansion of 0 in v
4.126 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1)
4.126 * [approximate]: Taking taylor expansion of (- (* 1.0 m) (pow m 2)) in (m) around 0
4.126 * [taylor]: Taking taylor expansion of (- (* 1.0 m) (pow m 2)) in m
4.126 * [taylor]: Taking taylor expansion of (* 1.0 m) in m
4.126 * [taylor]: Taking taylor expansion of 1.0 in m
4.126 * [taylor]: Taking taylor expansion of m in m
4.126 * [taylor]: Taking taylor expansion of (pow m 2) in m
4.126 * [taylor]: Taking taylor expansion of m in m
4.126 * [taylor]: Taking taylor expansion of (- (* 1.0 m) (pow m 2)) in m
4.126 * [taylor]: Taking taylor expansion of (* 1.0 m) in m
4.126 * [taylor]: Taking taylor expansion of 1.0 in m
4.126 * [taylor]: Taking taylor expansion of m in m
4.126 * [taylor]: Taking taylor expansion of (pow m 2) in m
4.126 * [taylor]: Taking taylor expansion of m in m
4.142 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 m)) (/ 1 (pow m 2))) in (m) around 0
4.142 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 m)) (/ 1 (pow m 2))) in m
4.143 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 m)) in m
4.143 * [taylor]: Taking taylor expansion of 1.0 in m
4.143 * [taylor]: Taking taylor expansion of (/ 1 m) in m
4.143 * [taylor]: Taking taylor expansion of m in m
4.143 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m
4.143 * [taylor]: Taking taylor expansion of (pow m 2) in m
4.143 * [taylor]: Taking taylor expansion of m in m
4.143 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 m)) (/ 1 (pow m 2))) in m
4.143 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 m)) in m
4.143 * [taylor]: Taking taylor expansion of 1.0 in m
4.143 * [taylor]: Taking taylor expansion of (/ 1 m) in m
4.143 * [taylor]: Taking taylor expansion of m in m
4.144 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m
4.144 * [taylor]: Taking taylor expansion of (pow m 2) in m
4.144 * [taylor]: Taking taylor expansion of m in m
4.162 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 m)) (/ 1 (pow m 2)))) in (m) around 0
4.162 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 m)) (/ 1 (pow m 2)))) in m
4.162 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 m)) (/ 1 (pow m 2))) in m
4.162 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 m)) in m
4.162 * [taylor]: Taking taylor expansion of 1.0 in m
4.162 * [taylor]: Taking taylor expansion of (/ 1 m) in m
4.162 * [taylor]: Taking taylor expansion of m in m
4.163 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m
4.163 * [taylor]: Taking taylor expansion of (pow m 2) in m
4.163 * [taylor]: Taking taylor expansion of m in m
4.163 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 m)) (/ 1 (pow m 2)))) in m
4.163 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 m)) (/ 1 (pow m 2))) in m
4.163 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 m)) in m
4.163 * [taylor]: Taking taylor expansion of 1.0 in m
4.163 * [taylor]: Taking taylor expansion of (/ 1 m) in m
4.163 * [taylor]: Taking taylor expansion of m in m
4.164 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m
4.164 * [taylor]: Taking taylor expansion of (pow m 2) in m
4.164 * [taylor]: Taking taylor expansion of m in m
4.183 * * * [progress]: simplifying candidates
4.184 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0) (- 1.0 m))
  (+ (log (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0)) (log (- 1.0 m)))
  (log (* (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0) (- 1.0 m)))
  (exp (* (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0) (- 1.0 m)))
  (* (* (* (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0) (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0)) (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0)) (* (* (- 1.0 m) (- 1.0 m)) (- 1.0 m)))
  (* (cbrt (* (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0) (- 1.0 m))) (cbrt (* (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0) (- 1.0 m))))
  (cbrt (* (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0) (- 1.0 m)))
  (* (* (* (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0) (- 1.0 m)) (* (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0) (- 1.0 m))) (* (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0) (- 1.0 m)))
  (sqrt (* (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0) (- 1.0 m)))
  (sqrt (* (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0) (- 1.0 m)))
  (* (- (pow (/ (+ (* m 1.0) (* (- m) m)) v) 3) (pow 1.0 3)) (- (pow 1.0 3) (pow m 3)))
  (* (+ (* (/ (+ (* m 1.0) (* (- m) m)) v) (/ (+ (* m 1.0) (* (- m) m)) v)) (+ (* 1.0 1.0) (* (/ (+ (* m 1.0) (* (- m) m)) v) 1.0))) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))))
  (* (- (pow (/ (+ (* m 1.0) (* (- m) m)) v) 3) (pow 1.0 3)) (- (* 1.0 1.0) (* m m)))
  (* (+ (* (/ (+ (* m 1.0) (* (- m) m)) v) (/ (+ (* m 1.0) (* (- m) m)) v)) (+ (* 1.0 1.0) (* (/ (+ (* m 1.0) (* (- m) m)) v) 1.0))) (+ 1.0 m))
  (* (- (* (/ (+ (* m 1.0) (* (- m) m)) v) (/ (+ (* m 1.0) (* (- m) m)) v)) (* 1.0 1.0)) (- (pow 1.0 3) (pow m 3)))
  (* (+ (/ (+ (* m 1.0) (* (- m) m)) v) 1.0) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))))
  (* (- (* (/ (+ (* m 1.0) (* (- m) m)) v) (/ (+ (* m 1.0) (* (- m) m)) v)) (* 1.0 1.0)) (- (* 1.0 1.0) (* m m)))
  (* (+ (/ (+ (* m 1.0) (* (- m) m)) v) 1.0) (+ 1.0 m))
  (* (sqrt (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0)) (sqrt (- 1.0 m)))
  (* (sqrt (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0)) (sqrt (- 1.0 m)))
  (* (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0) 1.0)
  (* (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0) (- m))
  (* (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0) 1.0)
  (* (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0) (- m))
  (* 1.0 (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0))
  (* (- m) (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0))
  (* 1.0 (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0))
  (* (- m) (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0))
  (* (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0) (* (cbrt (- 1.0 m)) (cbrt (- 1.0 m))))
  (* (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0) (sqrt (- 1.0 m)))
  (* (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0) 1)
  (* (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0) (+ (sqrt 1.0) (sqrt m)))
  (* (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0) 1)
  (* (cbrt (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0)) (- 1.0 m))
  (* (sqrt (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0)) (- 1.0 m))
  (* (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0) (- 1.0 m))
  (* (- (sqrt (/ (+ (* m 1.0) (* (- m) m)) v)) (sqrt 1.0)) (- 1.0 m))
  (* (- (/ (sqrt (+ (* m 1.0) (* (- m) m))) (sqrt v)) (sqrt 1.0)) (- 1.0 m))
  (* (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0) (- 1.0 m))
  (* (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0) (- (pow 1.0 3) (pow m 3)))
  (* (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0) (- (* 1.0 1.0) (* m m)))
  (* (- (pow (/ (+ (* m 1.0) (* (- m) m)) v) 3) (pow 1.0 3)) (- 1.0 m))
  (* (- (* (/ (+ (* m 1.0) (* (- m) m)) v) (/ (+ (* m 1.0) (* (- m) m)) v)) (* 1.0 1.0)) (- 1.0 m))
  (- (log (+ (* m 1.0) (* (- m) m))) (log v))
  (log (/ (+ (* m 1.0) (* (- m) m)) v))
  (exp (/ (+ (* m 1.0) (* (- m) m)) v))
  (/ (* (* (+ (* m 1.0) (* (- m) m)) (+ (* m 1.0) (* (- m) m))) (+ (* m 1.0) (* (- m) m))) (* (* v v) v))
  (* (cbrt (/ (+ (* m 1.0) (* (- m) m)) v)) (cbrt (/ (+ (* m 1.0) (* (- m) m)) v)))
  (cbrt (/ (+ (* m 1.0) (* (- m) m)) v))
  (* (* (/ (+ (* m 1.0) (* (- m) m)) v) (/ (+ (* m 1.0) (* (- m) m)) v)) (/ (+ (* m 1.0) (* (- m) m)) v))
  (sqrt (/ (+ (* m 1.0) (* (- m) m)) v))
  (sqrt (/ (+ (* m 1.0) (* (- m) m)) v))
  (- (+ (* m 1.0) (* (- m) m)))
  (- v)
  (/ (* m 1.0) v)
  (/ (* m m) v)
  (/ (* m 1.0) v)
  (/ (* m m) v)
  (/ (* (cbrt (+ (* m 1.0) (* (- m) m))) (cbrt (+ (* m 1.0) (* (- m) m)))) (* (cbrt v) (cbrt v)))
  (/ (cbrt (+ (* m 1.0) (* (- m) m))) (cbrt v))
  (/ (* (cbrt (+ (* m 1.0) (* (- m) m))) (cbrt (+ (* m 1.0) (* (- m) m)))) (sqrt v))
  (/ (cbrt (+ (* m 1.0) (* (- m) m))) (sqrt v))
  (/ (* (cbrt (+ (* m 1.0) (* (- m) m))) (cbrt (+ (* m 1.0) (* (- m) m)))) 1)
  (/ (cbrt (+ (* m 1.0) (* (- m) m))) v)
  (/ (sqrt (+ (* m 1.0) (* (- m) m))) (* (cbrt v) (cbrt v)))
  (/ (sqrt (+ (* m 1.0) (* (- m) m))) (cbrt v))
  (/ (sqrt (+ (* m 1.0) (* (- m) m))) (sqrt v))
  (/ (sqrt (+ (* m 1.0) (* (- m) m))) (sqrt v))
  (/ (sqrt (+ (* m 1.0) (* (- m) m))) 1)
  (/ (sqrt (+ (* m 1.0) (* (- m) m))) v)
  (/ 1 (* (cbrt v) (cbrt v)))
  (/ (+ (* m 1.0) (* (- m) m)) (cbrt v))
  (/ 1 (sqrt v))
  (/ (+ (* m 1.0) (* (- m) m)) (sqrt v))
  (/ 1 1)
  (/ (+ (* m 1.0) (* (- m) m)) v)
  (/ 1 v)
  (/ v (+ (* m 1.0) (* (- m) m)))
  (/ (+ (* m 1.0) (* (- m) m)) (* (cbrt v) (cbrt v)))
  (/ (+ (* m 1.0) (* (- m) m)) (sqrt v))
  (/ (+ (* m 1.0) (* (- m) m)) 1)
  (/ v (cbrt (+ (* m 1.0) (* (- m) m))))
  (/ v (sqrt (+ (* m 1.0) (* (- m) m))))
  (/ v (+ (* m 1.0) (* (- m) m)))
  (* v (+ (* (* m 1.0) (* m 1.0)) (- (* (* (- m) m) (* (- m) m)) (* (* m 1.0) (* (- m) m)))))
  (* v (- (* m 1.0) (* (- m) m)))
  (* (exp (* m 1.0)) (exp (* (- m) m)))
  (log (+ (* m 1.0) (* (- m) m)))
  (exp (+ (* m 1.0) (* (- m) m)))
  (* (cbrt (+ (* m 1.0) (* (- m) m))) (cbrt (+ (* m 1.0) (* (- m) m))))
  (cbrt (+ (* m 1.0) (* (- m) m)))
  (* (* (+ (* m 1.0) (* (- m) m)) (+ (* m 1.0) (* (- m) m))) (+ (* m 1.0) (* (- m) m)))
  (sqrt (+ (* m 1.0) (* (- m) m)))
  (sqrt (+ (* m 1.0) (* (- m) m)))
  (+ (pow (* m 1.0) 3) (pow (* (- m) m) 3))
  (+ (* (* m 1.0) (* m 1.0)) (- (* (* (- m) m) (* (- m) m)) (* (* m 1.0) (* (- m) m))))
  (- (* (* m 1.0) (* m 1.0)) (* (* (- m) m) (* (- m) m)))
  (- (* m 1.0) (* (- m) m))
  (- (* 1.0 (/ m v)) (+ 1.0 (* 2.0 (/ (pow m 2) v))))
  (- (+ (* 1.0 m) (/ (pow m 3) v)) (* 2.0 (/ (pow m 2) v)))
  (- (+ (* 1.0 m) (/ (pow m 3) v)) (* 2.0 (/ (pow m 2) v)))
  (- (* 1.0 (/ m v)) (/ (pow m 2) v))
  (- (* 1.0 (/ m v)) (/ (pow m 2) v))
  (- (* 1.0 (/ m v)) (/ (pow m 2) v))
  (- (* 1.0 m) (pow m 2))
  (- (* 1.0 m) (pow m 2))
  (- (* 1.0 m) (pow m 2))
4.188 * * [simplify]: iteration  0 :  157  enodes  (cost  1720 )
4.218 * * [simplify]: iteration  1 :  405  enodes  (cost  1562 )
4.341 * * [simplify]: iteration  2 :  1492  enodes  (cost  1245 )
4.720 * * [simplify]: iteration  done :  5000  enodes  (cost  1224 )
4.720 * [simplify]: Simplified to:
   (* (- 1.0 m) (- (/ (* m (- 1.0 m)) v) 1.0))
  (log (* (- 1.0 m) (- (/ (* m (- 1.0 m)) v) 1.0)))
  (log (* (- 1.0 m) (- (/ (* m (- 1.0 m)) v) 1.0)))
  (exp (* (- 1.0 m) (- (/ (* m (- 1.0 m)) v) 1.0)))
  (pow (* (- 1.0 m) (- (/ (* m (- 1.0 m)) v) 1.0)) 3)
  (* (cbrt (* (- 1.0 m) (- (/ (* m (- 1.0 m)) v) 1.0))) (cbrt (* (- 1.0 m) (- (/ (* m (- 1.0 m)) v) 1.0))))
  (cbrt (* (- 1.0 m) (- (/ (* m (- 1.0 m)) v) 1.0)))
  (pow (* (- 1.0 m) (- (/ (* m (- 1.0 m)) v) 1.0)) 3)
  (sqrt (* (- 1.0 m) (- (/ (* m (- 1.0 m)) v) 1.0)))
  (sqrt (* (- 1.0 m) (- (/ (* m (- 1.0 m)) v) 1.0)))
  (* (- (pow 1.0 3) (pow m 3)) (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3)))
  (* (+ (* (/ (* m (- 1.0 m)) v) (+ 1.0 (/ (* m (- 1.0 m)) v))) (* 1.0 1.0)) (+ (* m (+ 1.0 m)) (* 1.0 1.0)))
  (* (- (* 1.0 1.0) (* m m)) (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3)))
  (* (+ (* (/ (* m (- 1.0 m)) v) (+ 1.0 (/ (* m (- 1.0 m)) v))) (* 1.0 1.0)) (+ 1.0 m))
  (* (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0)) (- (pow 1.0 3) (pow m 3)))
  (* (+ (* m (+ 1.0 m)) (* 1.0 1.0)) (+ 1.0 (/ (* m (- 1.0 m)) v)))
  (* (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0)) (- (* 1.0 1.0) (* m m)))
  (* (+ 1.0 (/ (* m (- 1.0 m)) v)) (+ 1.0 m))
  (* (sqrt (- 1.0 m)) (sqrt (- (/ (* m (- 1.0 m)) v) 1.0)))
  (* (sqrt (- 1.0 m)) (sqrt (- (/ (* m (- 1.0 m)) v) 1.0)))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0)
  (* (- (- (/ (* m (- 1.0 m)) v) 1.0)) m)
  (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0)
  (* (- (- (/ (* m (- 1.0 m)) v) 1.0)) m)
  (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0)
  (* (- (- (/ (* m (- 1.0 m)) v) 1.0)) m)
  (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0)
  (* (- (- (/ (* m (- 1.0 m)) v) 1.0)) m)
  (* (* (cbrt (- 1.0 m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (cbrt (- 1.0 m)))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (sqrt (- 1.0 m)))
  (- (/ (* m (- 1.0 m)) v) 1.0)
  (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0))
  (- (/ (* m (- 1.0 m)) v) 1.0)
  (* (- 1.0 m) (cbrt (- (/ (* m (- 1.0 m)) v) 1.0)))
  (* (sqrt (- (/ (* m (- 1.0 m)) v) 1.0)) (- 1.0 m))
  (* (- 1.0 m) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (- 1.0 m) (- (sqrt (/ (* m (- 1.0 m)) v)) (sqrt 1.0)))
  (* (- (/ (sqrt (* m (- 1.0 m))) (sqrt v)) (sqrt 1.0)) (- 1.0 m))
  (* (- 1.0 m) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (- (pow 1.0 3) (pow m 3)))
  (* (+ 1.0 m) (* (- 1.0 m) (- (/ (* m (- 1.0 m)) v) 1.0)))
  (* (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3)) (- 1.0 m))
  (* (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0)) (- 1.0 m))
  (log (/ (* m (- 1.0 m)) v))
  (log (/ (* m (- 1.0 m)) v))
  (exp (/ (* m (- 1.0 m)) v))
  (pow (/ (* m (- 1.0 m)) v) 3)
  (* (cbrt (/ (* m (- 1.0 m)) v)) (cbrt (/ (* m (- 1.0 m)) v)))
  (cbrt (/ (* m (- 1.0 m)) v))
  (pow (/ (* m (- 1.0 m)) v) 3)
  (sqrt (/ (* m (- 1.0 m)) v))
  (sqrt (/ (* m (- 1.0 m)) v))
  (* (- m) (- 1.0 m))
  (- v)
  (/ (* m 1.0) v)
  (/ (pow m 2) v)
  (/ (* m 1.0) v)
  (/ (pow m 2) v)
  (/ (* (cbrt (* m (- 1.0 m))) (cbrt (* m (- 1.0 m)))) (* (cbrt v) (cbrt v)))
  (/ (cbrt (* m (- 1.0 m))) (cbrt v))
  (/ (* (cbrt (* m (- 1.0 m))) (cbrt (* m (- 1.0 m)))) (sqrt v))
  (/ (cbrt (* m (- 1.0 m))) (sqrt v))
  (* (cbrt (* m (- 1.0 m))) (cbrt (* m (- 1.0 m))))
  (/ (cbrt (* m (- 1.0 m))) v)
  (/ (sqrt (* m (- 1.0 m))) (* (cbrt v) (cbrt v)))
  (/ (sqrt (* m (- 1.0 m))) (cbrt v))
  (/ (sqrt (* m (- 1.0 m))) (sqrt v))
  (/ (sqrt (* m (- 1.0 m))) (sqrt v))
  (sqrt (* m (- 1.0 m)))
  (/ (sqrt (* m (- 1.0 m))) v)
  (/ 1 (* (cbrt v) (cbrt v)))
  (/ (* m (- 1.0 m)) (cbrt v))
  (/ 1 (sqrt v))
  (/ (* m (- 1.0 m)) (sqrt v))
  1
  (/ (* m (- 1.0 m)) v)
  (/ 1 v)
  (/ v (* m (- 1.0 m)))
  (/ (/ (* m (- 1.0 m)) (cbrt v)) (cbrt v))
  (/ (* m (- 1.0 m)) (sqrt v))
  (* m (- 1.0 m))
  (/ v (cbrt (* m (- 1.0 m))))
  (/ v (sqrt (* m (- 1.0 m))))
  (/ v (* m (- 1.0 m)))
  (* (+ (* (* m m) (* (+ 1.0 m) 1.0)) (* (pow m 3) m)) v)
  (* v (* m (+ 1.0 m)))
  (exp (* m (- 1.0 m)))
  (log (* m (- 1.0 m)))
  (exp (* m (- 1.0 m)))
  (* (cbrt (* m (- 1.0 m))) (cbrt (* m (- 1.0 m))))
  (cbrt (* m (- 1.0 m)))
  (pow (* m (- 1.0 m)) 3)
  (sqrt (* m (- 1.0 m)))
  (sqrt (* m (- 1.0 m)))
  (* (pow m 3) (- (pow 1.0 3) (pow m 3)))
  (+ (* (* m m) (* (+ 1.0 m) 1.0)) (* (pow m 3) m))
  (* (* m (+ 1.0 m)) (* m (- 1.0 m)))
  (* m (+ 1.0 m))
  (- (* 1.0 (/ m v)) (+ 1.0 (* 2.0 (/ (pow m 2) v))))
  (- (+ (* 1.0 m) (/ (pow m 3) v)) (* 2.0 (/ (pow m 2) v)))
  (- (+ (* 1.0 m) (/ (pow m 3) v)) (* 2.0 (/ (pow m 2) v)))
  (/ (* m (- 1.0 m)) v)
  (/ (* m (- 1.0 m)) v)
  (/ (* m (- 1.0 m)) v)
  (* m (- 1.0 m))
  (* m (- 1.0 m))
  (* m (- 1.0 m))
4.721 * * * [progress]: adding candidates to table
4.903 * * [progress]: iteration 3 / 4
4.903 * * * [progress]: picking best candidate
4.911 * * * * [pick]: Picked  #<alt (λ (m v) (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- 1.0 m)))>
4.911 * * * [progress]: localizing error
4.922 * * * [progress]: generating rewritten candidates
4.922 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 2)
4.926 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
5.387 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
5.409 * * * [progress]: generating series expansions
5.409 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 2)
5.409 * [approximate]: Taking taylor expansion of (/ (pow m 2) v) in (m v) around 0
5.409 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v
5.409 * [taylor]: Taking taylor expansion of (pow m 2) in v
5.409 * [taylor]: Taking taylor expansion of m in v
5.409 * [taylor]: Taking taylor expansion of v in v
5.409 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
5.409 * [taylor]: Taking taylor expansion of (pow m 2) in m
5.409 * [taylor]: Taking taylor expansion of m in m
5.409 * [taylor]: Taking taylor expansion of v in m
5.410 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
5.410 * [taylor]: Taking taylor expansion of (pow m 2) in m
5.410 * [taylor]: Taking taylor expansion of m in m
5.410 * [taylor]: Taking taylor expansion of v in m
5.410 * [taylor]: Taking taylor expansion of (/ 1 v) in v
5.410 * [taylor]: Taking taylor expansion of v in v
5.411 * [taylor]: Taking taylor expansion of 0 in v
5.412 * [taylor]: Taking taylor expansion of 0 in v
5.413 * [taylor]: Taking taylor expansion of 0 in v
5.414 * [approximate]: Taking taylor expansion of (/ v (pow m 2)) in (m v) around 0
5.414 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
5.414 * [taylor]: Taking taylor expansion of v in v
5.414 * [taylor]: Taking taylor expansion of (pow m 2) in v
5.414 * [taylor]: Taking taylor expansion of m in v
5.414 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
5.414 * [taylor]: Taking taylor expansion of v in m
5.414 * [taylor]: Taking taylor expansion of (pow m 2) in m
5.414 * [taylor]: Taking taylor expansion of m in m
5.415 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
5.415 * [taylor]: Taking taylor expansion of v in m
5.415 * [taylor]: Taking taylor expansion of (pow m 2) in m
5.415 * [taylor]: Taking taylor expansion of m in m
5.415 * [taylor]: Taking taylor expansion of v in v
5.416 * [taylor]: Taking taylor expansion of 0 in v
5.417 * [taylor]: Taking taylor expansion of 0 in v
5.419 * [taylor]: Taking taylor expansion of 0 in v
5.419 * [approximate]: Taking taylor expansion of (* -1 (/ v (pow m 2))) in (m v) around 0
5.419 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow m 2))) in v
5.419 * [taylor]: Taking taylor expansion of -1 in v
5.419 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
5.419 * [taylor]: Taking taylor expansion of v in v
5.419 * [taylor]: Taking taylor expansion of (pow m 2) in v
5.419 * [taylor]: Taking taylor expansion of m in v
5.420 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow m 2))) in m
5.420 * [taylor]: Taking taylor expansion of -1 in m
5.420 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
5.420 * [taylor]: Taking taylor expansion of v in m
5.420 * [taylor]: Taking taylor expansion of (pow m 2) in m
5.420 * [taylor]: Taking taylor expansion of m in m
5.420 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow m 2))) in m
5.420 * [taylor]: Taking taylor expansion of -1 in m
5.420 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
5.420 * [taylor]: Taking taylor expansion of v in m
5.420 * [taylor]: Taking taylor expansion of (pow m 2) in m
5.420 * [taylor]: Taking taylor expansion of m in m
5.420 * [taylor]: Taking taylor expansion of (* -1 v) in v
5.420 * [taylor]: Taking taylor expansion of -1 in v
5.420 * [taylor]: Taking taylor expansion of v in v
5.422 * [taylor]: Taking taylor expansion of 0 in v
5.425 * [taylor]: Taking taylor expansion of 0 in v
5.428 * [taylor]: Taking taylor expansion of 0 in v
5.428 * * * * [progress]: [ 2 / 3 ] generating series at (2)
5.428 * [approximate]: Taking taylor expansion of (* (- 1.0 m) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in (m v) around 0
5.428 * [taylor]: Taking taylor expansion of (* (- 1.0 m) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in v
5.428 * [taylor]: Taking taylor expansion of (- 1.0 m) in v
5.429 * [taylor]: Taking taylor expansion of 1.0 in v
5.429 * [taylor]: Taking taylor expansion of m in v
5.429 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in v
5.429 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in v
5.429 * [taylor]: Taking taylor expansion of 1.0 in v
5.429 * [taylor]: Taking taylor expansion of (/ m v) in v
5.429 * [taylor]: Taking taylor expansion of m in v
5.429 * [taylor]: Taking taylor expansion of v in v
5.429 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in v
5.429 * [taylor]: Taking taylor expansion of 1.0 in v
5.429 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v
5.429 * [taylor]: Taking taylor expansion of (pow m 2) in v
5.429 * [taylor]: Taking taylor expansion of m in v
5.429 * [taylor]: Taking taylor expansion of v in v
5.429 * [taylor]: Taking taylor expansion of (* (- 1.0 m) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in m
5.429 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
5.429 * [taylor]: Taking taylor expansion of 1.0 in m
5.429 * [taylor]: Taking taylor expansion of m in m
5.429 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in m
5.429 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in m
5.429 * [taylor]: Taking taylor expansion of 1.0 in m
5.429 * [taylor]: Taking taylor expansion of (/ m v) in m
5.429 * [taylor]: Taking taylor expansion of m in m
5.429 * [taylor]: Taking taylor expansion of v in m
5.429 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in m
5.429 * [taylor]: Taking taylor expansion of 1.0 in m
5.429 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
5.429 * [taylor]: Taking taylor expansion of (pow m 2) in m
5.429 * [taylor]: Taking taylor expansion of m in m
5.429 * [taylor]: Taking taylor expansion of v in m
5.429 * [taylor]: Taking taylor expansion of (* (- 1.0 m) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in m
5.430 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
5.430 * [taylor]: Taking taylor expansion of 1.0 in m
5.430 * [taylor]: Taking taylor expansion of m in m
5.430 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in m
5.430 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in m
5.430 * [taylor]: Taking taylor expansion of 1.0 in m
5.430 * [taylor]: Taking taylor expansion of (/ m v) in m
5.430 * [taylor]: Taking taylor expansion of m in m
5.430 * [taylor]: Taking taylor expansion of v in m
5.430 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in m
5.430 * [taylor]: Taking taylor expansion of 1.0 in m
5.430 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
5.430 * [taylor]: Taking taylor expansion of (pow m 2) in m
5.430 * [taylor]: Taking taylor expansion of m in m
5.430 * [taylor]: Taking taylor expansion of v in m
5.432 * [taylor]: Taking taylor expansion of -1.0 in v
5.434 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 v)) 1.0) in v
5.434 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 v)) in v
5.434 * [taylor]: Taking taylor expansion of 1.0 in v
5.434 * [taylor]: Taking taylor expansion of (/ 1 v) in v
5.434 * [taylor]: Taking taylor expansion of v in v
5.434 * [taylor]: Taking taylor expansion of 1.0 in v
5.438 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 v))) in v
5.438 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in v
5.438 * [taylor]: Taking taylor expansion of 2.0 in v
5.439 * [taylor]: Taking taylor expansion of (/ 1 v) in v
5.439 * [taylor]: Taking taylor expansion of v in v
5.440 * [approximate]: Taking taylor expansion of (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- 1.0 (/ 1 m))) in (m v) around 0
5.440 * [taylor]: Taking taylor expansion of (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- 1.0 (/ 1 m))) in v
5.440 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in v
5.440 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in v
5.440 * [taylor]: Taking taylor expansion of 1.0 in v
5.440 * [taylor]: Taking taylor expansion of (/ v m) in v
5.440 * [taylor]: Taking taylor expansion of v in v
5.440 * [taylor]: Taking taylor expansion of m in v
5.441 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in v
5.441 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
5.441 * [taylor]: Taking taylor expansion of v in v
5.441 * [taylor]: Taking taylor expansion of (pow m 2) in v
5.441 * [taylor]: Taking taylor expansion of m in v
5.441 * [taylor]: Taking taylor expansion of 1.0 in v
5.441 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in v
5.441 * [taylor]: Taking taylor expansion of 1.0 in v
5.441 * [taylor]: Taking taylor expansion of (/ 1 m) in v
5.441 * [taylor]: Taking taylor expansion of m in v
5.441 * [taylor]: Taking taylor expansion of (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- 1.0 (/ 1 m))) in m
5.441 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in m
5.441 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
5.441 * [taylor]: Taking taylor expansion of 1.0 in m
5.441 * [taylor]: Taking taylor expansion of (/ v m) in m
5.441 * [taylor]: Taking taylor expansion of v in m
5.441 * [taylor]: Taking taylor expansion of m in m
5.441 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in m
5.441 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
5.441 * [taylor]: Taking taylor expansion of v in m
5.441 * [taylor]: Taking taylor expansion of (pow m 2) in m
5.441 * [taylor]: Taking taylor expansion of m in m
5.441 * [taylor]: Taking taylor expansion of 1.0 in m
5.441 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
5.441 * [taylor]: Taking taylor expansion of 1.0 in m
5.441 * [taylor]: Taking taylor expansion of (/ 1 m) in m
5.441 * [taylor]: Taking taylor expansion of m in m
5.442 * [taylor]: Taking taylor expansion of (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- 1.0 (/ 1 m))) in m
5.442 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in m
5.442 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
5.442 * [taylor]: Taking taylor expansion of 1.0 in m
5.442 * [taylor]: Taking taylor expansion of (/ v m) in m
5.442 * [taylor]: Taking taylor expansion of v in m
5.442 * [taylor]: Taking taylor expansion of m in m
5.442 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in m
5.442 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
5.442 * [taylor]: Taking taylor expansion of v in m
5.442 * [taylor]: Taking taylor expansion of (pow m 2) in m
5.442 * [taylor]: Taking taylor expansion of m in m
5.442 * [taylor]: Taking taylor expansion of 1.0 in m
5.442 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
5.442 * [taylor]: Taking taylor expansion of 1.0 in m
5.442 * [taylor]: Taking taylor expansion of (/ 1 m) in m
5.442 * [taylor]: Taking taylor expansion of m in m
5.443 * [taylor]: Taking taylor expansion of v in v
5.445 * [taylor]: Taking taylor expansion of (- (* 2.0 v)) in v
5.445 * [taylor]: Taking taylor expansion of (* 2.0 v) in v
5.446 * [taylor]: Taking taylor expansion of 2.0 in v
5.446 * [taylor]: Taking taylor expansion of v in v
5.451 * [taylor]: Taking taylor expansion of (+ (* 1.0 v) 1.0) in v
5.451 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
5.451 * [taylor]: Taking taylor expansion of 1.0 in v
5.451 * [taylor]: Taking taylor expansion of v in v
5.451 * [taylor]: Taking taylor expansion of 1.0 in v
5.454 * [approximate]: Taking taylor expansion of (* (+ (/ 1 m) 1.0) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) in (m v) around 0
5.454 * [taylor]: Taking taylor expansion of (* (+ (/ 1 m) 1.0) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) in v
5.454 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in v
5.454 * [taylor]: Taking taylor expansion of (/ 1 m) in v
5.454 * [taylor]: Taking taylor expansion of m in v
5.454 * [taylor]: Taking taylor expansion of 1.0 in v
5.454 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in v
5.454 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in v
5.454 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
5.454 * [taylor]: Taking taylor expansion of v in v
5.454 * [taylor]: Taking taylor expansion of (pow m 2) in v
5.454 * [taylor]: Taking taylor expansion of m in v
5.454 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in v
5.454 * [taylor]: Taking taylor expansion of 1.0 in v
5.454 * [taylor]: Taking taylor expansion of (/ v m) in v
5.454 * [taylor]: Taking taylor expansion of v in v
5.454 * [taylor]: Taking taylor expansion of m in v
5.454 * [taylor]: Taking taylor expansion of 1.0 in v
5.454 * [taylor]: Taking taylor expansion of (* (+ (/ 1 m) 1.0) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) in m
5.454 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
5.454 * [taylor]: Taking taylor expansion of (/ 1 m) in m
5.454 * [taylor]: Taking taylor expansion of m in m
5.455 * [taylor]: Taking taylor expansion of 1.0 in m
5.455 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in m
5.455 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in m
5.455 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
5.455 * [taylor]: Taking taylor expansion of v in m
5.455 * [taylor]: Taking taylor expansion of (pow m 2) in m
5.455 * [taylor]: Taking taylor expansion of m in m
5.455 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
5.455 * [taylor]: Taking taylor expansion of 1.0 in m
5.455 * [taylor]: Taking taylor expansion of (/ v m) in m
5.455 * [taylor]: Taking taylor expansion of v in m
5.455 * [taylor]: Taking taylor expansion of m in m
5.455 * [taylor]: Taking taylor expansion of 1.0 in m
5.455 * [taylor]: Taking taylor expansion of (* (+ (/ 1 m) 1.0) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) in m
5.455 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
5.455 * [taylor]: Taking taylor expansion of (/ 1 m) in m
5.455 * [taylor]: Taking taylor expansion of m in m
5.455 * [taylor]: Taking taylor expansion of 1.0 in m
5.455 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in m
5.456 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in m
5.456 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
5.456 * [taylor]: Taking taylor expansion of v in m
5.456 * [taylor]: Taking taylor expansion of (pow m 2) in m
5.456 * [taylor]: Taking taylor expansion of m in m
5.456 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
5.456 * [taylor]: Taking taylor expansion of 1.0 in m
5.456 * [taylor]: Taking taylor expansion of (/ v m) in m
5.456 * [taylor]: Taking taylor expansion of v in m
5.456 * [taylor]: Taking taylor expansion of m in m
5.456 * [taylor]: Taking taylor expansion of 1.0 in m
5.456 * [taylor]: Taking taylor expansion of v in v
5.458 * [taylor]: Taking taylor expansion of (* 2.0 v) in v
5.458 * [taylor]: Taking taylor expansion of 2.0 in v
5.458 * [taylor]: Taking taylor expansion of v in v
5.463 * [taylor]: Taking taylor expansion of (- (* 1.0 v) 1.0) in v
5.463 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
5.463 * [taylor]: Taking taylor expansion of 1.0 in v
5.463 * [taylor]: Taking taylor expansion of v in v
5.463 * [taylor]: Taking taylor expansion of 1.0 in v
5.466 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
5.466 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ m v)) (/ (pow m 2) v)) in (m v) around 0
5.466 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (/ (pow m 2) v)) in v
5.466 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in v
5.466 * [taylor]: Taking taylor expansion of 1.0 in v
5.466 * [taylor]: Taking taylor expansion of (/ m v) in v
5.466 * [taylor]: Taking taylor expansion of m in v
5.466 * [taylor]: Taking taylor expansion of v in v
5.466 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v
5.466 * [taylor]: Taking taylor expansion of (pow m 2) in v
5.466 * [taylor]: Taking taylor expansion of m in v
5.466 * [taylor]: Taking taylor expansion of v in v
5.466 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (/ (pow m 2) v)) in m
5.466 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in m
5.466 * [taylor]: Taking taylor expansion of 1.0 in m
5.466 * [taylor]: Taking taylor expansion of (/ m v) in m
5.466 * [taylor]: Taking taylor expansion of m in m
5.466 * [taylor]: Taking taylor expansion of v in m
5.466 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
5.466 * [taylor]: Taking taylor expansion of (pow m 2) in m
5.466 * [taylor]: Taking taylor expansion of m in m
5.466 * [taylor]: Taking taylor expansion of v in m
5.467 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (/ (pow m 2) v)) in m
5.467 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in m
5.467 * [taylor]: Taking taylor expansion of 1.0 in m
5.467 * [taylor]: Taking taylor expansion of (/ m v) in m
5.467 * [taylor]: Taking taylor expansion of m in m
5.467 * [taylor]: Taking taylor expansion of v in m
5.467 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
5.467 * [taylor]: Taking taylor expansion of (pow m 2) in m
5.467 * [taylor]: Taking taylor expansion of m in m
5.467 * [taylor]: Taking taylor expansion of v in m
5.467 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 v)) in v
5.467 * [taylor]: Taking taylor expansion of 1.0 in v
5.467 * [taylor]: Taking taylor expansion of (/ 1 v) in v
5.467 * [taylor]: Taking taylor expansion of v in v
5.468 * [taylor]: Taking taylor expansion of (- (/ 1 v)) in v
5.468 * [taylor]: Taking taylor expansion of (/ 1 v) in v
5.468 * [taylor]: Taking taylor expansion of v in v
5.471 * [taylor]: Taking taylor expansion of 0 in v
5.475 * [taylor]: Taking taylor expansion of 0 in v
5.477 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ v m)) (/ v (pow m 2))) in (m v) around 0
5.477 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (/ v (pow m 2))) in v
5.477 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in v
5.477 * [taylor]: Taking taylor expansion of 1.0 in v
5.477 * [taylor]: Taking taylor expansion of (/ v m) in v
5.477 * [taylor]: Taking taylor expansion of v in v
5.477 * [taylor]: Taking taylor expansion of m in v
5.477 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
5.477 * [taylor]: Taking taylor expansion of v in v
5.477 * [taylor]: Taking taylor expansion of (pow m 2) in v
5.477 * [taylor]: Taking taylor expansion of m in v
5.477 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (/ v (pow m 2))) in m
5.477 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
5.477 * [taylor]: Taking taylor expansion of 1.0 in m
5.477 * [taylor]: Taking taylor expansion of (/ v m) in m
5.477 * [taylor]: Taking taylor expansion of v in m
5.477 * [taylor]: Taking taylor expansion of m in m
5.477 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
5.478 * [taylor]: Taking taylor expansion of v in m
5.478 * [taylor]: Taking taylor expansion of (pow m 2) in m
5.478 * [taylor]: Taking taylor expansion of m in m
5.478 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (/ v (pow m 2))) in m
5.478 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
5.478 * [taylor]: Taking taylor expansion of 1.0 in m
5.478 * [taylor]: Taking taylor expansion of (/ v m) in m
5.478 * [taylor]: Taking taylor expansion of v in m
5.478 * [taylor]: Taking taylor expansion of m in m
5.478 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
5.478 * [taylor]: Taking taylor expansion of v in m
5.478 * [taylor]: Taking taylor expansion of (pow m 2) in m
5.478 * [taylor]: Taking taylor expansion of m in m
5.478 * [taylor]: Taking taylor expansion of (- v) in v
5.478 * [taylor]: Taking taylor expansion of v in v
5.480 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
5.480 * [taylor]: Taking taylor expansion of 1.0 in v
5.480 * [taylor]: Taking taylor expansion of v in v
5.483 * [taylor]: Taking taylor expansion of 0 in v
5.488 * [taylor]: Taking taylor expansion of 0 in v
5.489 * [approximate]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in (m v) around 0
5.489 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in v
5.489 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
5.489 * [taylor]: Taking taylor expansion of v in v
5.489 * [taylor]: Taking taylor expansion of (pow m 2) in v
5.489 * [taylor]: Taking taylor expansion of m in v
5.489 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in v
5.489 * [taylor]: Taking taylor expansion of 1.0 in v
5.489 * [taylor]: Taking taylor expansion of (/ v m) in v
5.489 * [taylor]: Taking taylor expansion of v in v
5.489 * [taylor]: Taking taylor expansion of m in v
5.489 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in m
5.489 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
5.489 * [taylor]: Taking taylor expansion of v in m
5.489 * [taylor]: Taking taylor expansion of (pow m 2) in m
5.489 * [taylor]: Taking taylor expansion of m in m
5.489 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
5.489 * [taylor]: Taking taylor expansion of 1.0 in m
5.489 * [taylor]: Taking taylor expansion of (/ v m) in m
5.490 * [taylor]: Taking taylor expansion of v in m
5.490 * [taylor]: Taking taylor expansion of m in m
5.490 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in m
5.490 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
5.490 * [taylor]: Taking taylor expansion of v in m
5.490 * [taylor]: Taking taylor expansion of (pow m 2) in m
5.490 * [taylor]: Taking taylor expansion of m in m
5.490 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
5.490 * [taylor]: Taking taylor expansion of 1.0 in m
5.490 * [taylor]: Taking taylor expansion of (/ v m) in m
5.490 * [taylor]: Taking taylor expansion of v in m
5.490 * [taylor]: Taking taylor expansion of m in m
5.490 * [taylor]: Taking taylor expansion of v in v
5.491 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
5.491 * [taylor]: Taking taylor expansion of 1.0 in v
5.491 * [taylor]: Taking taylor expansion of v in v
5.494 * [taylor]: Taking taylor expansion of 0 in v
5.498 * [taylor]: Taking taylor expansion of 0 in v
5.498 * * * [progress]: simplifying candidates
5.501 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (* (log m) 2) (log v))
  (- (* (log m) 2) (log v))
  (- (log (pow m 2)) (log v))
  (log (/ (pow m 2) v))
  (exp (/ (pow m 2) v))
  (/ (* (* (pow m 2) (pow m 2)) (pow m 2)) (* (* v v) v))
  (* (cbrt (/ (pow m 2) v)) (cbrt (/ (pow m 2) v)))
  (cbrt (/ (pow m 2) v))
  (* (* (/ (pow m 2) v) (/ (pow m 2) v)) (/ (pow m 2) v))
  (sqrt (/ (pow m 2) v))
  (sqrt (/ (pow m 2) v))
  (- (pow m 2))
  (- v)
  (/ (pow (* (cbrt m) (cbrt m)) 2) (* (cbrt v) (cbrt v)))
  (/ (pow (cbrt m) 2) (cbrt v))
  (/ (pow (* (cbrt m) (cbrt m)) 2) (sqrt v))
  (/ (pow (cbrt m) 2) (sqrt v))
  (/ (pow (* (cbrt m) (cbrt m)) 2) 1)
  (/ (pow (cbrt m) 2) v)
  (/ (pow (sqrt m) 2) (* (cbrt v) (cbrt v)))
  (/ (pow (sqrt m) 2) (cbrt v))
  (/ (pow (sqrt m) 2) (sqrt v))
  (/ (pow (sqrt m) 2) (sqrt v))
  (/ (pow (sqrt m) 2) 1)
  (/ (pow (sqrt m) 2) v)
  (/ (pow 1 2) (* (cbrt v) (cbrt v)))
  (/ (pow m 2) (cbrt v))
  (/ (pow 1 2) (sqrt v))
  (/ (pow m 2) (sqrt v))
  (/ (pow 1 2) 1)
  (/ (pow m 2) v)
  (/ m (* (cbrt v) (cbrt v)))
  (/ m (cbrt v))
  (/ m (sqrt v))
  (/ m (sqrt v))
  (/ m 1)
  (/ m v)
  (/ (* (cbrt (pow m 2)) (cbrt (pow m 2))) (* (cbrt v) (cbrt v)))
  (/ (cbrt (pow m 2)) (cbrt v))
  (/ (* (cbrt (pow m 2)) (cbrt (pow m 2))) (sqrt v))
  (/ (cbrt (pow m 2)) (sqrt v))
  (/ (* (cbrt (pow m 2)) (cbrt (pow m 2))) 1)
  (/ (cbrt (pow m 2)) v)
  (/ (sqrt (pow m 2)) (* (cbrt v) (cbrt v)))
  (/ (sqrt (pow m 2)) (cbrt v))
  (/ (sqrt (pow m 2)) (sqrt v))
  (/ (sqrt (pow m 2)) (sqrt v))
  (/ (sqrt (pow m 2)) 1)
  (/ (sqrt (pow m 2)) v)
  (/ 1 (* (cbrt v) (cbrt v)))
  (/ (pow m 2) (cbrt v))
  (/ 1 (sqrt v))
  (/ (pow m 2) (sqrt v))
  (/ 1 1)
  (/ (pow m 2) v)
  (/ (pow m (/ 2 2)) (* (cbrt v) (cbrt v)))
  (/ (pow m (/ 2 2)) (cbrt v))
  (/ (pow m (/ 2 2)) (sqrt v))
  (/ (pow m (/ 2 2)) (sqrt v))
  (/ (pow m (/ 2 2)) 1)
  (/ (pow m (/ 2 2)) v)
  (/ 1 v)
  (/ v (pow m 2))
  (/ (pow m 2) (* (cbrt v) (cbrt v)))
  (/ (pow m 2) (sqrt v))
  (/ (pow m 2) 1)
  (/ v (pow (cbrt m) 2))
  (/ v (pow (sqrt m) 2))
  (/ v (pow m 2))
  (/ v m)
  (/ v (cbrt (pow m 2)))
  (/ v (sqrt (pow m 2)))
  (/ v (pow m 2))
  (/ v (pow m (/ 2 2)))
  (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- 1.0 m))
  (+ (log (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0)) (log (- 1.0 m)))
  (log (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- 1.0 m)))
  (exp (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- 1.0 m)))
  (* (* (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0)) (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0)) (* (* (- 1.0 m) (- 1.0 m)) (- 1.0 m)))
  (* (cbrt (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- 1.0 m))) (cbrt (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- 1.0 m))))
  (cbrt (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- 1.0 m)))
  (* (* (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- 1.0 m)) (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- 1.0 m))) (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- 1.0 m)))
  (sqrt (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- 1.0 m)))
  (sqrt (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- 1.0 m)))
  (* (- (pow (- (/ (* m 1.0) v) (/ (pow m 2) v)) 3) (pow 1.0 3)) (- (pow 1.0 3) (pow m 3)))
  (* (+ (* (- (/ (* m 1.0) v) (/ (pow m 2) v)) (- (/ (* m 1.0) v) (/ (pow m 2) v))) (+ (* 1.0 1.0) (* (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0))) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))))
  (* (- (pow (- (/ (* m 1.0) v) (/ (pow m 2) v)) 3) (pow 1.0 3)) (- (* 1.0 1.0) (* m m)))
  (* (+ (* (- (/ (* m 1.0) v) (/ (pow m 2) v)) (- (/ (* m 1.0) v) (/ (pow m 2) v))) (+ (* 1.0 1.0) (* (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0))) (+ 1.0 m))
  (* (- (* (- (/ (* m 1.0) v) (/ (pow m 2) v)) (- (/ (* m 1.0) v) (/ (pow m 2) v))) (* 1.0 1.0)) (- (pow 1.0 3) (pow m 3)))
  (* (+ (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))))
  (* (- (* (- (/ (* m 1.0) v) (/ (pow m 2) v)) (- (/ (* m 1.0) v) (/ (pow m 2) v))) (* 1.0 1.0)) (- (* 1.0 1.0) (* m m)))
  (* (+ (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (+ 1.0 m))
  (* (sqrt (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0)) (sqrt (- 1.0 m)))
  (* (sqrt (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0)) (sqrt (- 1.0 m)))
  (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) 1.0)
  (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- m))
  (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) 1.0)
  (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- m))
  (* 1.0 (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0))
  (* (- m) (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0))
  (* 1.0 (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0))
  (* (- m) (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0))
  (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (* (cbrt (- 1.0 m)) (cbrt (- 1.0 m))))
  (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (sqrt (- 1.0 m)))
  (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) 1)
  (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (+ (sqrt 1.0) (sqrt m)))
  (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) 1)
  (* (cbrt (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0)) (- 1.0 m))
  (* (sqrt (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0)) (- 1.0 m))
  (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- 1.0 m))
  (* (- (sqrt (- (/ (* m 1.0) v) (/ (pow m 2) v))) (sqrt 1.0)) (- 1.0 m))
  (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- 1.0 m))
  (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- 1.0 m))
  (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- (pow 1.0 3) (pow m 3)))
  (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- (* 1.0 1.0) (* m m)))
  (* (- (pow (- (/ (* m 1.0) v) (/ (pow m 2) v)) 3) (pow 1.0 3)) (- 1.0 m))
  (* (- (* (- (/ (* m 1.0) v) (/ (pow m 2) v)) (- (/ (* m 1.0) v) (/ (pow m 2) v))) (* 1.0 1.0)) (- 1.0 m))
  (/ (exp (/ (* m 1.0) v)) (exp (/ (pow m 2) v)))
  (log (- (/ (* m 1.0) v) (/ (pow m 2) v)))
  (exp (- (/ (* m 1.0) v) (/ (pow m 2) v)))
  (* (cbrt (- (/ (* m 1.0) v) (/ (pow m 2) v))) (cbrt (- (/ (* m 1.0) v) (/ (pow m 2) v))))
  (cbrt (- (/ (* m 1.0) v) (/ (pow m 2) v)))
  (* (* (- (/ (* m 1.0) v) (/ (pow m 2) v)) (- (/ (* m 1.0) v) (/ (pow m 2) v))) (- (/ (* m 1.0) v) (/ (pow m 2) v)))
  (sqrt (- (/ (* m 1.0) v) (/ (pow m 2) v)))
  (sqrt (- (/ (* m 1.0) v) (/ (pow m 2) v)))
  (- (* m 1.0) (pow m 2))
  (- (* (* m 1.0) v) (* v (pow m 2)))
  (* v v)
  (- (pow (/ (* m 1.0) v) 3) (pow (/ (pow m 2) v) 3))
  (+ (* (/ (* m 1.0) v) (/ (* m 1.0) v)) (+ (* (/ (pow m 2) v) (/ (pow m 2) v)) (* (/ (* m 1.0) v) (/ (pow m 2) v))))
  (- (/ (pow m 2) v))
  (- (* (/ (* m 1.0) v) (/ (* m 1.0) v)) (* (/ (pow m 2) v) (/ (pow m 2) v)))
  (+ (/ (* m 1.0) v) (/ (pow m 2) v))
  (+ (sqrt (/ (* m 1.0) v)) (sqrt (/ (pow m 2) v)))
  (- (sqrt (/ (* m 1.0) v)) (sqrt (/ (pow m 2) v)))
  (+ (sqrt (/ (* m 1.0) v)) (/ (pow (sqrt m) 2) (sqrt v)))
  (- (sqrt (/ (* m 1.0) v)) (/ (pow (sqrt m) 2) (sqrt v)))
  (+ (sqrt (/ (* m 1.0) v)) (/ m (sqrt v)))
  (- (sqrt (/ (* m 1.0) v)) (/ m (sqrt v)))
  (+ (sqrt (/ (* m 1.0) v)) (/ (sqrt (pow m 2)) (sqrt v)))
  (- (sqrt (/ (* m 1.0) v)) (/ (sqrt (pow m 2)) (sqrt v)))
  (+ (sqrt (/ (* m 1.0) v)) (/ (pow m (/ 2 2)) (sqrt v)))
  (- (sqrt (/ (* m 1.0) v)) (/ (pow m (/ 2 2)) (sqrt v)))
  (- (/ 1.0 (cbrt v)) (/ m (cbrt v)))
  (- (/ 1.0 (sqrt v)) (/ m (sqrt v)))
  (- (/ 1.0 v) (/ m v))
  (- (/ (* m 1.0) v) (/ (pow m 2) v))
  (- (* m 1.0) (pow m 2))
  (- (/ (pow m 2) v))
  (/ (pow m 2) v)
  (/ (pow m 2) v)
  (/ (pow m 2) v)
  (- (* 1.0 (/ m v)) (+ 1.0 (* 2.0 (/ (pow m 2) v))))
  (- (+ (* 1.0 m) (/ (pow m 3) v)) (* 2.0 (/ (pow m 2) v)))
  (- (+ (* 1.0 m) (/ (pow m 3) v)) (* 2.0 (/ (pow m 2) v)))
  (- (* 1.0 (/ m v)) (/ (pow m 2) v))
  (- (* 1.0 (/ m v)) (/ (pow m 2) v))
  (- (* 1.0 (/ m v)) (/ (pow m 2) v))
5.506 * * [simplify]: iteration  0 :  213  enodes  (cost  2019 )
5.548 * * [simplify]: iteration  1 :  470  enodes  (cost  1915 )
5.735 * * [simplify]: iteration  2 :  1631  enodes  (cost  1760 )
6.102 * * [simplify]: iteration  done :  5001  enodes  (cost  1736 )
6.103 * [simplify]: Simplified to:
   (log (/ (pow m 2) v))
  (log (/ (pow m 2) v))
  (log (/ (pow m 2) v))
  (log (/ (pow m 2) v))
  (exp (/ (pow m 2) v))
  (pow (/ (pow m 2) v) 3)
  (* (cbrt (/ (pow m 2) v)) (cbrt (/ (pow m 2) v)))
  (cbrt (/ (pow m 2) v))
  (pow (/ (pow m 2) v) 3)
  (sqrt (/ (pow m 2) v))
  (sqrt (/ (pow m 2) v))
  (- (pow m 2))
  (- v)
  (/ (pow (cbrt m) 4) (* (cbrt v) (cbrt v)))
  (/ (pow (cbrt m) 2) (cbrt v))
  (/ (pow (cbrt m) 4) (sqrt v))
  (/ (pow (cbrt m) 2) (sqrt v))
  (pow (cbrt m) 4)
  (/ (pow (cbrt m) 2) v)
  (/ m (* (cbrt v) (cbrt v)))
  (/ m (cbrt v))
  (/ m (sqrt v))
  (/ m (sqrt v))
  m
  (/ m v)
  (/ 1 (* (cbrt v) (cbrt v)))
  (/ (pow m 2) (cbrt v))
  (/ 1 (sqrt v))
  (/ (pow m 2) (sqrt v))
  1
  (/ (pow m 2) v)
  (/ m (* (cbrt v) (cbrt v)))
  (/ m (cbrt v))
  (/ m (sqrt v))
  (/ m (sqrt v))
  m
  (/ m v)
  (/ (* (cbrt (pow m 2)) (cbrt (pow m 2))) (* (cbrt v) (cbrt v)))
  (/ (cbrt (pow m 2)) (cbrt v))
  (/ (* (cbrt (pow m 2)) (cbrt (pow m 2))) (sqrt v))
  (/ (cbrt (pow m 2)) (sqrt v))
  (* (cbrt (pow m 2)) (cbrt (pow m 2)))
  (/ (cbrt (pow m 2)) v)
  (/ (fabs m) (* (cbrt v) (cbrt v)))
  (/ (fabs m) (cbrt v))
  (/ (fabs m) (sqrt v))
  (/ (fabs m) (sqrt v))
  (fabs m)
  (/ (fabs m) v)
  (/ 1 (* (cbrt v) (cbrt v)))
  (/ (pow m 2) (cbrt v))
  (/ 1 (sqrt v))
  (/ (pow m 2) (sqrt v))
  1
  (/ (pow m 2) v)
  (/ m (* (cbrt v) (cbrt v)))
  (/ m (cbrt v))
  (/ m (sqrt v))
  (/ m (sqrt v))
  m
  (/ m v)
  (/ 1 v)
  (/ v (pow m 2))
  (/ (pow m 2) (* (cbrt v) (cbrt v)))
  (/ (pow m 2) (sqrt v))
  (* m m)
  (/ v (pow (cbrt m) 2))
  (/ v m)
  (/ v (pow m 2))
  (/ v m)
  (/ v (cbrt (pow m 2)))
  (/ v (fabs m))
  (/ v (pow m 2))
  (/ v m)
  (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- 1.0 m))
  (log (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- 1.0 m)))
  (log (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- 1.0 m)))
  (exp (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- 1.0 m)))
  (pow (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- 1.0 m)) 3)
  (* (cbrt (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- 1.0 m))) (cbrt (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- 1.0 m))))
  (cbrt (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- 1.0 m)))
  (pow (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- 1.0 m)) 3)
  (sqrt (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- 1.0 m)))
  (sqrt (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- 1.0 m)))
  (* (- (pow (- (/ (* m 1.0) v) (/ (pow m 2) v)) 3) (pow 1.0 3)) (- (pow 1.0 3) (pow m 3)))
  (* (+ (* (+ (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- (/ (* m 1.0) v) (/ (pow m 2) v))) (* 1.0 1.0)) (+ (* m (+ 1.0 m)) (* 1.0 1.0)))
  (* (- (pow (- (/ (* m 1.0) v) (/ (pow m 2) v)) 3) (pow 1.0 3)) (- (* 1.0 1.0) (* m m)))
  (* (+ 1.0 m) (+ (* (+ (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- (/ (* m 1.0) v) (/ (pow m 2) v))) (* 1.0 1.0)))
  (* (- (* (- (/ (* m 1.0) v) (/ (pow m 2) v)) (- (/ (* m 1.0) v) (/ (pow m 2) v))) (* 1.0 1.0)) (- (pow 1.0 3) (pow m 3)))
  (* (+ (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (+ (* m (+ 1.0 m)) (* 1.0 1.0)))
  (* (- (* (- (/ (* m 1.0) v) (/ (pow m 2) v)) (- (/ (* m 1.0) v) (/ (pow m 2) v))) (* 1.0 1.0)) (- (* 1.0 1.0) (* m m)))
  (* (+ (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (+ 1.0 m))
  (* (sqrt (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0)) (sqrt (- 1.0 m)))
  (* (sqrt (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0)) (sqrt (- 1.0 m)))
  (* 1.0 (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0))
  (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- m))
  (* 1.0 (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0))
  (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- m))
  (* 1.0 (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0))
  (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- m))
  (* 1.0 (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0))
  (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- m))
  (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (* (cbrt (- 1.0 m)) (cbrt (- 1.0 m))))
  (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (sqrt (- 1.0 m)))
  (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0)
  (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (+ (sqrt 1.0) (sqrt m)))
  (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0)
  (* (cbrt (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0)) (- 1.0 m))
  (* (sqrt (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0)) (- 1.0 m))
  (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- 1.0 m))
  (* (- (sqrt (- (/ (* m 1.0) v) (/ (pow m 2) v))) (sqrt 1.0)) (- 1.0 m))
  (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- 1.0 m))
  (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- 1.0 m))
  (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- (pow 1.0 3) (pow m 3)))
  (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- (* 1.0 1.0) (* m m)))
  (* (- (pow (- (/ (* m 1.0) v) (/ (pow m 2) v)) 3) (pow 1.0 3)) (- 1.0 m))
  (* (- (* (- (/ (* m 1.0) v) (/ (pow m 2) v)) (- (/ (* m 1.0) v) (/ (pow m 2) v))) (* 1.0 1.0)) (- 1.0 m))
  (exp (- (/ (* m 1.0) v) (/ (pow m 2) v)))
  (log (- (/ (* m 1.0) v) (/ (pow m 2) v)))
  (exp (- (/ (* m 1.0) v) (/ (pow m 2) v)))
  (* (cbrt (- (/ (* m 1.0) v) (/ (pow m 2) v))) (cbrt (- (/ (* m 1.0) v) (/ (pow m 2) v))))
  (cbrt (- (/ (* m 1.0) v) (/ (pow m 2) v)))
  (pow (- (/ (* m 1.0) v) (/ (pow m 2) v)) 3)
  (sqrt (- (/ (* m 1.0) v) (/ (pow m 2) v)))
  (sqrt (- (/ (* m 1.0) v) (/ (pow m 2) v)))
  (* m (- 1.0 m))
  (* v (* m (- 1.0 m)))
  (* v v)
  (- (pow (/ (* m 1.0) v) 3) (pow (/ (pow m 2) v) 3))
  (+ (/ (pow m 4) (* v v)) (* (+ (/ (* m 1.0) v) (/ (pow m 2) v)) (/ (* m 1.0) v)))
  (- (/ (pow m 2) v))
  (- (* (/ (* m 1.0) v) (/ (* m 1.0) v)) (/ (pow m 4) (* v v)))
  (+ (/ (* m 1.0) v) (/ (pow m 2) v))
  (+ (sqrt (/ (* m 1.0) v)) (sqrt (/ (pow m 2) v)))
  (- (sqrt (/ (* m 1.0) v)) (sqrt (/ (pow m 2) v)))
  (+ (sqrt (/ (* m 1.0) v)) (/ m (sqrt v)))
  (- (sqrt (/ (* m 1.0) v)) (/ m (sqrt v)))
  (+ (sqrt (/ (* m 1.0) v)) (/ m (sqrt v)))
  (- (sqrt (/ (* m 1.0) v)) (/ m (sqrt v)))
  (+ (/ (fabs m) (sqrt v)) (sqrt (/ (* m 1.0) v)))
  (- (sqrt (/ (* m 1.0) v)) (/ (fabs m) (sqrt v)))
  (+ (sqrt (/ (* m 1.0) v)) (/ m (sqrt v)))
  (- (sqrt (/ (* m 1.0) v)) (/ m (sqrt v)))
  (- (/ 1.0 (cbrt v)) (/ m (cbrt v)))
  (- (/ 1.0 (sqrt v)) (/ m (sqrt v)))
  (- (/ 1.0 v) (/ m v))
  (- (/ (* m 1.0) v) (/ (pow m 2) v))
  (* m (- 1.0 m))
  (- (/ (pow m 2) v))
  (/ (pow m 2) v)
  (/ (pow m 2) v)
  (/ (pow m 2) v)
  (- (* 1.0 (/ m v)) (+ 1.0 (* 2.0 (/ (pow m 2) v))))
  (- (+ (* 1.0 m) (/ (pow m 3) v)) (* 2.0 (/ (pow m 2) v)))
  (- (+ (* 1.0 m) (/ (pow m 3) v)) (* 2.0 (/ (pow m 2) v)))
  (- (/ (* m 1.0) v) (/ (pow m 2) v))
  (- (/ (* m 1.0) v) (/ (pow m 2) v))
  (- (/ (* m 1.0) v) (/ (pow m 2) v))
6.104 * * * [progress]: adding candidates to table
6.352 * * [progress]: iteration 4 / 4
6.352 * * * [progress]: picking best candidate
6.363 * * * * [pick]: Picked  #<alt (λ (m v) (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (- (sqrt 1.0) (sqrt m))))>
6.363 * * * [progress]: localizing error
6.375 * * * [progress]: generating rewritten candidates
6.375 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
6.423 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
6.493 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
6.499 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1)
6.516 * * * [progress]: generating series expansions
6.516 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
6.517 * [approximate]: Taking taylor expansion of (* (+ (sqrt m) (sqrt 1.0)) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in (m v) around 0
6.517 * [taylor]: Taking taylor expansion of (* (+ (sqrt m) (sqrt 1.0)) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in v
6.517 * [taylor]: Taking taylor expansion of (+ (sqrt m) (sqrt 1.0)) in v
6.517 * [taylor]: Taking taylor expansion of (sqrt m) in v
6.517 * [taylor]: Taking taylor expansion of m in v
6.517 * [taylor]: Taking taylor expansion of (sqrt 1.0) in v
6.517 * [taylor]: Taking taylor expansion of 1.0 in v
6.518 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in v
6.518 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in v
6.518 * [taylor]: Taking taylor expansion of 1.0 in v
6.518 * [taylor]: Taking taylor expansion of (/ m v) in v
6.518 * [taylor]: Taking taylor expansion of m in v
6.518 * [taylor]: Taking taylor expansion of v in v
6.518 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in v
6.518 * [taylor]: Taking taylor expansion of 1.0 in v
6.518 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v
6.518 * [taylor]: Taking taylor expansion of (pow m 2) in v
6.518 * [taylor]: Taking taylor expansion of m in v
6.518 * [taylor]: Taking taylor expansion of v in v
6.518 * [taylor]: Taking taylor expansion of (* (+ (sqrt m) (sqrt 1.0)) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in m
6.518 * [taylor]: Taking taylor expansion of (+ (sqrt m) (sqrt 1.0)) in m
6.518 * [taylor]: Taking taylor expansion of (sqrt m) in m
6.518 * [taylor]: Taking taylor expansion of m in m
6.519 * [taylor]: Taking taylor expansion of (sqrt 1.0) in m
6.519 * [taylor]: Taking taylor expansion of 1.0 in m
6.520 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in m
6.520 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in m
6.520 * [taylor]: Taking taylor expansion of 1.0 in m
6.520 * [taylor]: Taking taylor expansion of (/ m v) in m
6.520 * [taylor]: Taking taylor expansion of m in m
6.520 * [taylor]: Taking taylor expansion of v in m
6.520 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in m
6.520 * [taylor]: Taking taylor expansion of 1.0 in m
6.520 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
6.520 * [taylor]: Taking taylor expansion of (pow m 2) in m
6.520 * [taylor]: Taking taylor expansion of m in m
6.520 * [taylor]: Taking taylor expansion of v in m
6.521 * [taylor]: Taking taylor expansion of (* (+ (sqrt m) (sqrt 1.0)) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in m
6.521 * [taylor]: Taking taylor expansion of (+ (sqrt m) (sqrt 1.0)) in m
6.521 * [taylor]: Taking taylor expansion of (sqrt m) in m
6.521 * [taylor]: Taking taylor expansion of m in m
6.522 * [taylor]: Taking taylor expansion of (sqrt 1.0) in m
6.522 * [taylor]: Taking taylor expansion of 1.0 in m
6.522 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in m
6.522 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in m
6.522 * [taylor]: Taking taylor expansion of 1.0 in m
6.522 * [taylor]: Taking taylor expansion of (/ m v) in m
6.522 * [taylor]: Taking taylor expansion of m in m
6.522 * [taylor]: Taking taylor expansion of v in m
6.522 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in m
6.522 * [taylor]: Taking taylor expansion of 1.0 in m
6.522 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
6.523 * [taylor]: Taking taylor expansion of (pow m 2) in m
6.523 * [taylor]: Taking taylor expansion of m in m
6.523 * [taylor]: Taking taylor expansion of v in m
6.525 * [taylor]: Taking taylor expansion of (* -1.0 (sqrt 1.0)) in v
6.525 * [taylor]: Taking taylor expansion of -1.0 in v
6.525 * [taylor]: Taking taylor expansion of (sqrt 1.0) in v
6.525 * [taylor]: Taking taylor expansion of 1.0 in v
6.528 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ (sqrt 1.0) v)) +nan.0) in v
6.528 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sqrt 1.0) v)) in v
6.528 * [taylor]: Taking taylor expansion of 1.0 in v
6.528 * [taylor]: Taking taylor expansion of (/ (sqrt 1.0) v) in v
6.528 * [taylor]: Taking taylor expansion of (sqrt 1.0) in v
6.528 * [taylor]: Taking taylor expansion of 1.0 in v
6.529 * [taylor]: Taking taylor expansion of v in v
6.529 * [taylor]: Taking taylor expansion of +nan.0 in v
6.537 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 v)) (- (/ (sqrt 1.0) v) +nan.0))) in v
6.538 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 v)) (- (/ (sqrt 1.0) v) +nan.0)) in v
6.538 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 v)) in v
6.538 * [taylor]: Taking taylor expansion of +nan.0 in v
6.538 * [taylor]: Taking taylor expansion of (/ 1 v) in v
6.538 * [taylor]: Taking taylor expansion of v in v
6.538 * [taylor]: Taking taylor expansion of (- (/ (sqrt 1.0) v) +nan.0) in v
6.538 * [taylor]: Taking taylor expansion of (/ (sqrt 1.0) v) in v
6.538 * [taylor]: Taking taylor expansion of (sqrt 1.0) in v
6.538 * [taylor]: Taking taylor expansion of 1.0 in v
6.539 * [taylor]: Taking taylor expansion of v in v
6.539 * [taylor]: Taking taylor expansion of +nan.0 in v
6.546 * [approximate]: Taking taylor expansion of (* (+ (sqrt (/ 1 m)) (sqrt 1.0)) (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0))) in (m v) around 0
6.546 * [taylor]: Taking taylor expansion of (* (+ (sqrt (/ 1 m)) (sqrt 1.0)) (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0))) in v
6.546 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 m)) (sqrt 1.0)) in v
6.546 * [taylor]: Taking taylor expansion of (sqrt (/ 1 m)) in v
6.546 * [taylor]: Taking taylor expansion of (/ 1 m) in v
6.546 * [taylor]: Taking taylor expansion of m in v
6.546 * [taylor]: Taking taylor expansion of (sqrt 1.0) in v
6.546 * [taylor]: Taking taylor expansion of 1.0 in v
6.547 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in v
6.547 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in v
6.547 * [taylor]: Taking taylor expansion of 1.0 in v
6.547 * [taylor]: Taking taylor expansion of (/ v m) in v
6.547 * [taylor]: Taking taylor expansion of v in v
6.547 * [taylor]: Taking taylor expansion of m in v
6.547 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in v
6.547 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
6.547 * [taylor]: Taking taylor expansion of v in v
6.547 * [taylor]: Taking taylor expansion of (pow m 2) in v
6.547 * [taylor]: Taking taylor expansion of m in v
6.547 * [taylor]: Taking taylor expansion of 1.0 in v
6.547 * [taylor]: Taking taylor expansion of (* (+ (sqrt (/ 1 m)) (sqrt 1.0)) (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0))) in m
6.547 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 m)) (sqrt 1.0)) in m
6.547 * [taylor]: Taking taylor expansion of (sqrt (/ 1 m)) in m
6.547 * [taylor]: Taking taylor expansion of (/ 1 m) in m
6.547 * [taylor]: Taking taylor expansion of m in m
6.549 * [taylor]: Taking taylor expansion of (sqrt 1.0) in m
6.549 * [taylor]: Taking taylor expansion of 1.0 in m
6.549 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in m
6.549 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
6.549 * [taylor]: Taking taylor expansion of 1.0 in m
6.549 * [taylor]: Taking taylor expansion of (/ v m) in m
6.549 * [taylor]: Taking taylor expansion of v in m
6.549 * [taylor]: Taking taylor expansion of m in m
6.549 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in m
6.549 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
6.549 * [taylor]: Taking taylor expansion of v in m
6.549 * [taylor]: Taking taylor expansion of (pow m 2) in m
6.549 * [taylor]: Taking taylor expansion of m in m
6.550 * [taylor]: Taking taylor expansion of 1.0 in m
6.550 * [taylor]: Taking taylor expansion of (* (+ (sqrt (/ 1 m)) (sqrt 1.0)) (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0))) in m
6.550 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 m)) (sqrt 1.0)) in m
6.550 * [taylor]: Taking taylor expansion of (sqrt (/ 1 m)) in m
6.550 * [taylor]: Taking taylor expansion of (/ 1 m) in m
6.550 * [taylor]: Taking taylor expansion of m in m
6.551 * [taylor]: Taking taylor expansion of (sqrt 1.0) in m
6.551 * [taylor]: Taking taylor expansion of 1.0 in m
6.552 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in m
6.552 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
6.552 * [taylor]: Taking taylor expansion of 1.0 in m
6.552 * [taylor]: Taking taylor expansion of (/ v m) in m
6.552 * [taylor]: Taking taylor expansion of v in m
6.552 * [taylor]: Taking taylor expansion of m in m
6.552 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in m
6.552 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
6.552 * [taylor]: Taking taylor expansion of v in m
6.552 * [taylor]: Taking taylor expansion of (pow m 2) in m
6.552 * [taylor]: Taking taylor expansion of m in m
6.552 * [taylor]: Taking taylor expansion of 1.0 in m
6.553 * [taylor]: Taking taylor expansion of 0 in v
6.555 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 v) (* v (sqrt 1.0)))) in v
6.555 * [taylor]: Taking taylor expansion of (+ (* +nan.0 v) (* v (sqrt 1.0))) in v
6.555 * [taylor]: Taking taylor expansion of (* +nan.0 v) in v
6.555 * [taylor]: Taking taylor expansion of +nan.0 in v
6.555 * [taylor]: Taking taylor expansion of v in v
6.555 * [taylor]: Taking taylor expansion of (* v (sqrt 1.0)) in v
6.555 * [taylor]: Taking taylor expansion of v in v
6.555 * [taylor]: Taking taylor expansion of (sqrt 1.0) in v
6.555 * [taylor]: Taking taylor expansion of 1.0 in v
6.564 * [taylor]: Taking taylor expansion of (- (* 1.0 (* v (sqrt 1.0))) (* +nan.0 v)) in v
6.564 * [taylor]: Taking taylor expansion of (* 1.0 (* v (sqrt 1.0))) in v
6.564 * [taylor]: Taking taylor expansion of 1.0 in v
6.564 * [taylor]: Taking taylor expansion of (* v (sqrt 1.0)) in v
6.564 * [taylor]: Taking taylor expansion of v in v
6.564 * [taylor]: Taking taylor expansion of (sqrt 1.0) in v
6.564 * [taylor]: Taking taylor expansion of 1.0 in v
6.565 * [taylor]: Taking taylor expansion of (* +nan.0 v) in v
6.565 * [taylor]: Taking taylor expansion of +nan.0 in v
6.565 * [taylor]: Taking taylor expansion of v in v
6.580 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 v) (- (* 1.0 (sqrt 1.0)) +nan.0))) in v
6.580 * [taylor]: Taking taylor expansion of (+ (* +nan.0 v) (- (* 1.0 (sqrt 1.0)) +nan.0)) in v
6.580 * [taylor]: Taking taylor expansion of (* +nan.0 v) in v
6.580 * [taylor]: Taking taylor expansion of +nan.0 in v
6.580 * [taylor]: Taking taylor expansion of v in v
6.580 * [taylor]: Taking taylor expansion of (- (* 1.0 (sqrt 1.0)) +nan.0) in v
6.580 * [taylor]: Taking taylor expansion of (* 1.0 (sqrt 1.0)) in v
6.580 * [taylor]: Taking taylor expansion of 1.0 in v
6.580 * [taylor]: Taking taylor expansion of (sqrt 1.0) in v
6.580 * [taylor]: Taking taylor expansion of 1.0 in v
6.581 * [taylor]: Taking taylor expansion of +nan.0 in v
6.602 * [approximate]: Taking taylor expansion of (* (+ (sqrt (/ -1 m)) (sqrt 1.0)) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) in (m v) around 0
6.602 * [taylor]: Taking taylor expansion of (* (+ (sqrt (/ -1 m)) (sqrt 1.0)) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) in v
6.602 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 m)) (sqrt 1.0)) in v
6.602 * [taylor]: Taking taylor expansion of (sqrt (/ -1 m)) in v
6.602 * [taylor]: Taking taylor expansion of (/ -1 m) in v
6.602 * [taylor]: Taking taylor expansion of -1 in v
6.602 * [taylor]: Taking taylor expansion of m in v
6.602 * [taylor]: Taking taylor expansion of (sqrt 1.0) in v
6.602 * [taylor]: Taking taylor expansion of 1.0 in v
6.603 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in v
6.603 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in v
6.603 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
6.603 * [taylor]: Taking taylor expansion of v in v
6.603 * [taylor]: Taking taylor expansion of (pow m 2) in v
6.603 * [taylor]: Taking taylor expansion of m in v
6.603 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in v
6.603 * [taylor]: Taking taylor expansion of 1.0 in v
6.603 * [taylor]: Taking taylor expansion of (/ v m) in v
6.603 * [taylor]: Taking taylor expansion of v in v
6.603 * [taylor]: Taking taylor expansion of m in v
6.603 * [taylor]: Taking taylor expansion of 1.0 in v
6.603 * [taylor]: Taking taylor expansion of (* (+ (sqrt (/ -1 m)) (sqrt 1.0)) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) in m
6.603 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 m)) (sqrt 1.0)) in m
6.604 * [taylor]: Taking taylor expansion of (sqrt (/ -1 m)) in m
6.604 * [taylor]: Taking taylor expansion of (/ -1 m) in m
6.604 * [taylor]: Taking taylor expansion of -1 in m
6.604 * [taylor]: Taking taylor expansion of m in m
6.605 * [taylor]: Taking taylor expansion of (sqrt 1.0) in m
6.605 * [taylor]: Taking taylor expansion of 1.0 in m
6.606 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in m
6.606 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in m
6.606 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
6.606 * [taylor]: Taking taylor expansion of v in m
6.606 * [taylor]: Taking taylor expansion of (pow m 2) in m
6.606 * [taylor]: Taking taylor expansion of m in m
6.606 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
6.606 * [taylor]: Taking taylor expansion of 1.0 in m
6.606 * [taylor]: Taking taylor expansion of (/ v m) in m
6.606 * [taylor]: Taking taylor expansion of v in m
6.606 * [taylor]: Taking taylor expansion of m in m
6.606 * [taylor]: Taking taylor expansion of 1.0 in m
6.606 * [taylor]: Taking taylor expansion of (* (+ (sqrt (/ -1 m)) (sqrt 1.0)) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) in m
6.606 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 m)) (sqrt 1.0)) in m
6.606 * [taylor]: Taking taylor expansion of (sqrt (/ -1 m)) in m
6.606 * [taylor]: Taking taylor expansion of (/ -1 m) in m
6.606 * [taylor]: Taking taylor expansion of -1 in m
6.606 * [taylor]: Taking taylor expansion of m in m
6.608 * [taylor]: Taking taylor expansion of (sqrt 1.0) in m
6.608 * [taylor]: Taking taylor expansion of 1.0 in m
6.608 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in m
6.608 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in m
6.608 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
6.608 * [taylor]: Taking taylor expansion of v in m
6.608 * [taylor]: Taking taylor expansion of (pow m 2) in m
6.608 * [taylor]: Taking taylor expansion of m in m
6.609 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
6.609 * [taylor]: Taking taylor expansion of 1.0 in m
6.609 * [taylor]: Taking taylor expansion of (/ v m) in m
6.609 * [taylor]: Taking taylor expansion of v in m
6.609 * [taylor]: Taking taylor expansion of m in m
6.609 * [taylor]: Taking taylor expansion of 1.0 in m
6.609 * [taylor]: Taking taylor expansion of 0 in v
6.611 * [taylor]: Taking taylor expansion of (- (* v (sqrt 1.0)) (* +nan.0 v)) in v
6.611 * [taylor]: Taking taylor expansion of (* v (sqrt 1.0)) in v
6.611 * [taylor]: Taking taylor expansion of v in v
6.611 * [taylor]: Taking taylor expansion of (sqrt 1.0) in v
6.611 * [taylor]: Taking taylor expansion of 1.0 in v
6.612 * [taylor]: Taking taylor expansion of (* +nan.0 v) in v
6.612 * [taylor]: Taking taylor expansion of +nan.0 in v
6.612 * [taylor]: Taking taylor expansion of v in v
6.620 * [taylor]: Taking taylor expansion of (- (* 1.0 (* v (sqrt 1.0))) (* +nan.0 v)) in v
6.620 * [taylor]: Taking taylor expansion of (* 1.0 (* v (sqrt 1.0))) in v
6.620 * [taylor]: Taking taylor expansion of 1.0 in v
6.620 * [taylor]: Taking taylor expansion of (* v (sqrt 1.0)) in v
6.620 * [taylor]: Taking taylor expansion of v in v
6.620 * [taylor]: Taking taylor expansion of (sqrt 1.0) in v
6.620 * [taylor]: Taking taylor expansion of 1.0 in v
6.621 * [taylor]: Taking taylor expansion of (* +nan.0 v) in v
6.621 * [taylor]: Taking taylor expansion of +nan.0 in v
6.621 * [taylor]: Taking taylor expansion of v in v
6.635 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 v) (- (* 1.0 (sqrt 1.0)) +nan.0))) in v
6.635 * [taylor]: Taking taylor expansion of (+ (* +nan.0 v) (- (* 1.0 (sqrt 1.0)) +nan.0)) in v
6.635 * [taylor]: Taking taylor expansion of (* +nan.0 v) in v
6.635 * [taylor]: Taking taylor expansion of +nan.0 in v
6.635 * [taylor]: Taking taylor expansion of v in v
6.635 * [taylor]: Taking taylor expansion of (- (* 1.0 (sqrt 1.0)) +nan.0) in v
6.635 * [taylor]: Taking taylor expansion of (* 1.0 (sqrt 1.0)) in v
6.635 * [taylor]: Taking taylor expansion of 1.0 in v
6.635 * [taylor]: Taking taylor expansion of (sqrt 1.0) in v
6.635 * [taylor]: Taking taylor expansion of 1.0 in v
6.636 * [taylor]: Taking taylor expansion of +nan.0 in v
6.652 * * * * [progress]: [ 2 / 4 ] generating series at (2)
6.653 * [approximate]: Taking taylor expansion of (* (- (sqrt 1.0) (sqrt m)) (* (+ (sqrt m) (sqrt 1.0)) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))))) in (m v) around 0
6.653 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (sqrt m)) (* (+ (sqrt m) (sqrt 1.0)) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))))) in v
6.653 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (sqrt m)) in v
6.653 * [taylor]: Taking taylor expansion of (sqrt 1.0) in v
6.653 * [taylor]: Taking taylor expansion of 1.0 in v
6.654 * [taylor]: Taking taylor expansion of (sqrt m) in v
6.654 * [taylor]: Taking taylor expansion of m in v
6.654 * [taylor]: Taking taylor expansion of (* (+ (sqrt m) (sqrt 1.0)) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in v
6.654 * [taylor]: Taking taylor expansion of (+ (sqrt m) (sqrt 1.0)) in v
6.654 * [taylor]: Taking taylor expansion of (sqrt m) in v
6.654 * [taylor]: Taking taylor expansion of m in v
6.654 * [taylor]: Taking taylor expansion of (sqrt 1.0) in v
6.654 * [taylor]: Taking taylor expansion of 1.0 in v
6.655 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in v
6.655 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in v
6.655 * [taylor]: Taking taylor expansion of 1.0 in v
6.655 * [taylor]: Taking taylor expansion of (/ m v) in v
6.655 * [taylor]: Taking taylor expansion of m in v
6.655 * [taylor]: Taking taylor expansion of v in v
6.655 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in v
6.655 * [taylor]: Taking taylor expansion of 1.0 in v
6.655 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v
6.655 * [taylor]: Taking taylor expansion of (pow m 2) in v
6.655 * [taylor]: Taking taylor expansion of m in v
6.655 * [taylor]: Taking taylor expansion of v in v
6.655 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (sqrt m)) (* (+ (sqrt m) (sqrt 1.0)) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))))) in m
6.655 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (sqrt m)) in m
6.655 * [taylor]: Taking taylor expansion of (sqrt 1.0) in m
6.655 * [taylor]: Taking taylor expansion of 1.0 in m
6.656 * [taylor]: Taking taylor expansion of (sqrt m) in m
6.656 * [taylor]: Taking taylor expansion of m in m
6.657 * [taylor]: Taking taylor expansion of (* (+ (sqrt m) (sqrt 1.0)) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in m
6.657 * [taylor]: Taking taylor expansion of (+ (sqrt m) (sqrt 1.0)) in m
6.657 * [taylor]: Taking taylor expansion of (sqrt m) in m
6.657 * [taylor]: Taking taylor expansion of m in m
6.658 * [taylor]: Taking taylor expansion of (sqrt 1.0) in m
6.658 * [taylor]: Taking taylor expansion of 1.0 in m
6.659 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in m
6.659 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in m
6.659 * [taylor]: Taking taylor expansion of 1.0 in m
6.659 * [taylor]: Taking taylor expansion of (/ m v) in m
6.659 * [taylor]: Taking taylor expansion of m in m
6.659 * [taylor]: Taking taylor expansion of v in m
6.659 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in m
6.659 * [taylor]: Taking taylor expansion of 1.0 in m
6.659 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
6.659 * [taylor]: Taking taylor expansion of (pow m 2) in m
6.659 * [taylor]: Taking taylor expansion of m in m
6.659 * [taylor]: Taking taylor expansion of v in m
6.659 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (sqrt m)) (* (+ (sqrt m) (sqrt 1.0)) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))))) in m
6.659 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (sqrt m)) in m
6.659 * [taylor]: Taking taylor expansion of (sqrt 1.0) in m
6.659 * [taylor]: Taking taylor expansion of 1.0 in m
6.660 * [taylor]: Taking taylor expansion of (sqrt m) in m
6.660 * [taylor]: Taking taylor expansion of m in m
6.661 * [taylor]: Taking taylor expansion of (* (+ (sqrt m) (sqrt 1.0)) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in m
6.661 * [taylor]: Taking taylor expansion of (+ (sqrt m) (sqrt 1.0)) in m
6.661 * [taylor]: Taking taylor expansion of (sqrt m) in m
6.661 * [taylor]: Taking taylor expansion of m in m
6.662 * [taylor]: Taking taylor expansion of (sqrt 1.0) in m
6.662 * [taylor]: Taking taylor expansion of 1.0 in m
6.663 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in m
6.663 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in m
6.663 * [taylor]: Taking taylor expansion of 1.0 in m
6.663 * [taylor]: Taking taylor expansion of (/ m v) in m
6.663 * [taylor]: Taking taylor expansion of m in m
6.663 * [taylor]: Taking taylor expansion of v in m
6.663 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in m
6.663 * [taylor]: Taking taylor expansion of 1.0 in m
6.663 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
6.663 * [taylor]: Taking taylor expansion of (pow m 2) in m
6.663 * [taylor]: Taking taylor expansion of m in m
6.663 * [taylor]: Taking taylor expansion of v in m
6.668 * [taylor]: Taking taylor expansion of (* -1.0 (pow (sqrt 1.0) 2)) in v
6.668 * [taylor]: Taking taylor expansion of -1.0 in v
6.668 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in v
6.668 * [taylor]: Taking taylor expansion of (sqrt 1.0) in v
6.668 * [taylor]: Taking taylor expansion of 1.0 in v
6.676 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ (pow (sqrt 1.0) 2) v)) (* +nan.0 (sqrt 1.0))) in v
6.676 * [taylor]: Taking taylor expansion of (* 1.0 (/ (pow (sqrt 1.0) 2) v)) in v
6.676 * [taylor]: Taking taylor expansion of 1.0 in v
6.676 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 1.0) 2) v) in v
6.676 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in v
6.676 * [taylor]: Taking taylor expansion of (sqrt 1.0) in v
6.676 * [taylor]: Taking taylor expansion of 1.0 in v
6.677 * [taylor]: Taking taylor expansion of v in v
6.678 * [taylor]: Taking taylor expansion of (* +nan.0 (sqrt 1.0)) in v
6.678 * [taylor]: Taking taylor expansion of +nan.0 in v
6.678 * [taylor]: Taking taylor expansion of (sqrt 1.0) in v
6.678 * [taylor]: Taking taylor expansion of 1.0 in v
6.696 * [taylor]: Taking taylor expansion of (- (+ (/ (pow (sqrt 1.0) 2) v) (- (+ (* +nan.0 (/ (sqrt 1.0) v)) (- (+ (* +nan.0 (sqrt 1.0)) (- +nan.0))))))) in v
6.696 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 1.0) 2) v) (- (+ (* +nan.0 (/ (sqrt 1.0) v)) (- (+ (* +nan.0 (sqrt 1.0)) (- +nan.0)))))) in v
6.696 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 1.0) 2) v) in v
6.696 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in v
6.696 * [taylor]: Taking taylor expansion of (sqrt 1.0) in v
6.696 * [taylor]: Taking taylor expansion of 1.0 in v
6.697 * [taylor]: Taking taylor expansion of v in v
6.699 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ (sqrt 1.0) v)) (- (+ (* +nan.0 (sqrt 1.0)) (- +nan.0))))) in v
6.699 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ (sqrt 1.0) v)) (- (+ (* +nan.0 (sqrt 1.0)) (- +nan.0)))) in v
6.699 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sqrt 1.0) v)) in v
6.699 * [taylor]: Taking taylor expansion of +nan.0 in v
6.699 * [taylor]: Taking taylor expansion of (/ (sqrt 1.0) v) in v
6.699 * [taylor]: Taking taylor expansion of (sqrt 1.0) in v
6.699 * [taylor]: Taking taylor expansion of 1.0 in v
6.699 * [taylor]: Taking taylor expansion of v in v
6.700 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (sqrt 1.0)) (- +nan.0))) in v
6.700 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (sqrt 1.0)) (- +nan.0)) in v
6.700 * [taylor]: Taking taylor expansion of (* +nan.0 (sqrt 1.0)) in v
6.700 * [taylor]: Taking taylor expansion of +nan.0 in v
6.700 * [taylor]: Taking taylor expansion of (sqrt 1.0) in v
6.700 * [taylor]: Taking taylor expansion of 1.0 in v
6.701 * [taylor]: Taking taylor expansion of (- +nan.0) in v
6.701 * [taylor]: Taking taylor expansion of +nan.0 in v
6.716 * [approximate]: Taking taylor expansion of (* (+ (sqrt (/ 1 m)) (sqrt 1.0)) (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- (sqrt 1.0) (sqrt (/ 1 m))))) in (m v) around 0
6.716 * [taylor]: Taking taylor expansion of (* (+ (sqrt (/ 1 m)) (sqrt 1.0)) (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- (sqrt 1.0) (sqrt (/ 1 m))))) in v
6.716 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 m)) (sqrt 1.0)) in v
6.716 * [taylor]: Taking taylor expansion of (sqrt (/ 1 m)) in v
6.716 * [taylor]: Taking taylor expansion of (/ 1 m) in v
6.716 * [taylor]: Taking taylor expansion of m in v
6.716 * [taylor]: Taking taylor expansion of (sqrt 1.0) in v
6.716 * [taylor]: Taking taylor expansion of 1.0 in v
6.717 * [taylor]: Taking taylor expansion of (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- (sqrt 1.0) (sqrt (/ 1 m)))) in v
6.717 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in v
6.717 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in v
6.717 * [taylor]: Taking taylor expansion of 1.0 in v
6.717 * [taylor]: Taking taylor expansion of (/ v m) in v
6.717 * [taylor]: Taking taylor expansion of v in v
6.717 * [taylor]: Taking taylor expansion of m in v
6.717 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in v
6.717 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
6.717 * [taylor]: Taking taylor expansion of v in v
6.717 * [taylor]: Taking taylor expansion of (pow m 2) in v
6.717 * [taylor]: Taking taylor expansion of m in v
6.717 * [taylor]: Taking taylor expansion of 1.0 in v
6.717 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (sqrt (/ 1 m))) in v
6.717 * [taylor]: Taking taylor expansion of (sqrt 1.0) in v
6.717 * [taylor]: Taking taylor expansion of 1.0 in v
6.718 * [taylor]: Taking taylor expansion of (sqrt (/ 1 m)) in v
6.718 * [taylor]: Taking taylor expansion of (/ 1 m) in v
6.718 * [taylor]: Taking taylor expansion of m in v
6.718 * [taylor]: Taking taylor expansion of (* (+ (sqrt (/ 1 m)) (sqrt 1.0)) (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- (sqrt 1.0) (sqrt (/ 1 m))))) in m
6.718 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 m)) (sqrt 1.0)) in m
6.718 * [taylor]: Taking taylor expansion of (sqrt (/ 1 m)) in m
6.718 * [taylor]: Taking taylor expansion of (/ 1 m) in m
6.718 * [taylor]: Taking taylor expansion of m in m
6.719 * [taylor]: Taking taylor expansion of (sqrt 1.0) in m
6.719 * [taylor]: Taking taylor expansion of 1.0 in m
6.720 * [taylor]: Taking taylor expansion of (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- (sqrt 1.0) (sqrt (/ 1 m)))) in m
6.720 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in m
6.720 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
6.720 * [taylor]: Taking taylor expansion of 1.0 in m
6.720 * [taylor]: Taking taylor expansion of (/ v m) in m
6.720 * [taylor]: Taking taylor expansion of v in m
6.720 * [taylor]: Taking taylor expansion of m in m
6.720 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in m
6.720 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
6.720 * [taylor]: Taking taylor expansion of v in m
6.720 * [taylor]: Taking taylor expansion of (pow m 2) in m
6.720 * [taylor]: Taking taylor expansion of m in m
6.720 * [taylor]: Taking taylor expansion of 1.0 in m
6.721 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (sqrt (/ 1 m))) in m
6.721 * [taylor]: Taking taylor expansion of (sqrt 1.0) in m
6.721 * [taylor]: Taking taylor expansion of 1.0 in m
6.721 * [taylor]: Taking taylor expansion of (sqrt (/ 1 m)) in m
6.721 * [taylor]: Taking taylor expansion of (/ 1 m) in m
6.721 * [taylor]: Taking taylor expansion of m in m
6.722 * [taylor]: Taking taylor expansion of (* (+ (sqrt (/ 1 m)) (sqrt 1.0)) (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- (sqrt 1.0) (sqrt (/ 1 m))))) in m
6.723 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 m)) (sqrt 1.0)) in m
6.723 * [taylor]: Taking taylor expansion of (sqrt (/ 1 m)) in m
6.723 * [taylor]: Taking taylor expansion of (/ 1 m) in m
6.723 * [taylor]: Taking taylor expansion of m in m
6.724 * [taylor]: Taking taylor expansion of (sqrt 1.0) in m
6.724 * [taylor]: Taking taylor expansion of 1.0 in m
6.724 * [taylor]: Taking taylor expansion of (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- (sqrt 1.0) (sqrt (/ 1 m)))) in m
6.724 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in m
6.725 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
6.725 * [taylor]: Taking taylor expansion of 1.0 in m
6.725 * [taylor]: Taking taylor expansion of (/ v m) in m
6.725 * [taylor]: Taking taylor expansion of v in m
6.725 * [taylor]: Taking taylor expansion of m in m
6.725 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in m
6.725 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
6.725 * [taylor]: Taking taylor expansion of v in m
6.725 * [taylor]: Taking taylor expansion of (pow m 2) in m
6.725 * [taylor]: Taking taylor expansion of m in m
6.725 * [taylor]: Taking taylor expansion of 1.0 in m
6.725 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (sqrt (/ 1 m))) in m
6.725 * [taylor]: Taking taylor expansion of (sqrt 1.0) in m
6.725 * [taylor]: Taking taylor expansion of 1.0 in m
6.726 * [taylor]: Taking taylor expansion of (sqrt (/ 1 m)) in m
6.726 * [taylor]: Taking taylor expansion of (/ 1 m) in m
6.726 * [taylor]: Taking taylor expansion of m in m
6.728 * [taylor]: Taking taylor expansion of 0 in v
6.732 * [taylor]: Taking taylor expansion of 0 in v
6.744 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (* v (sqrt 1.0))) (- (* v (pow (sqrt 1.0) 2)) (* +nan.0 v)))) in v
6.744 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (* v (sqrt 1.0))) (- (* v (pow (sqrt 1.0) 2)) (* +nan.0 v))) in v
6.744 * [taylor]: Taking taylor expansion of (* +nan.0 (* v (sqrt 1.0))) in v
6.744 * [taylor]: Taking taylor expansion of +nan.0 in v
6.744 * [taylor]: Taking taylor expansion of (* v (sqrt 1.0)) in v
6.744 * [taylor]: Taking taylor expansion of v in v
6.744 * [taylor]: Taking taylor expansion of (sqrt 1.0) in v
6.744 * [taylor]: Taking taylor expansion of 1.0 in v
6.745 * [taylor]: Taking taylor expansion of (- (* v (pow (sqrt 1.0) 2)) (* +nan.0 v)) in v
6.745 * [taylor]: Taking taylor expansion of (* v (pow (sqrt 1.0) 2)) in v
6.745 * [taylor]: Taking taylor expansion of v in v
6.745 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in v
6.745 * [taylor]: Taking taylor expansion of (sqrt 1.0) in v
6.745 * [taylor]: Taking taylor expansion of 1.0 in v
6.746 * [taylor]: Taking taylor expansion of (* +nan.0 v) in v
6.746 * [taylor]: Taking taylor expansion of +nan.0 in v
6.746 * [taylor]: Taking taylor expansion of v in v
6.750 * [approximate]: Taking taylor expansion of (* (- (sqrt 1.0) (sqrt (/ -1 m))) (* (+ (sqrt (/ -1 m)) (sqrt 1.0)) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0))) in (m v) around 0
6.750 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (sqrt (/ -1 m))) (* (+ (sqrt (/ -1 m)) (sqrt 1.0)) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0))) in v
6.750 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (sqrt (/ -1 m))) in v
6.750 * [taylor]: Taking taylor expansion of (sqrt 1.0) in v
6.750 * [taylor]: Taking taylor expansion of 1.0 in v
6.750 * [taylor]: Taking taylor expansion of (sqrt (/ -1 m)) in v
6.750 * [taylor]: Taking taylor expansion of (/ -1 m) in v
6.750 * [taylor]: Taking taylor expansion of -1 in v
6.751 * [taylor]: Taking taylor expansion of m in v
6.751 * [taylor]: Taking taylor expansion of (* (+ (sqrt (/ -1 m)) (sqrt 1.0)) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) in v
6.751 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 m)) (sqrt 1.0)) in v
6.751 * [taylor]: Taking taylor expansion of (sqrt (/ -1 m)) in v
6.751 * [taylor]: Taking taylor expansion of (/ -1 m) in v
6.751 * [taylor]: Taking taylor expansion of -1 in v
6.751 * [taylor]: Taking taylor expansion of m in v
6.751 * [taylor]: Taking taylor expansion of (sqrt 1.0) in v
6.751 * [taylor]: Taking taylor expansion of 1.0 in v
6.752 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in v
6.752 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in v
6.752 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
6.752 * [taylor]: Taking taylor expansion of v in v
6.752 * [taylor]: Taking taylor expansion of (pow m 2) in v
6.752 * [taylor]: Taking taylor expansion of m in v
6.752 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in v
6.752 * [taylor]: Taking taylor expansion of 1.0 in v
6.752 * [taylor]: Taking taylor expansion of (/ v m) in v
6.752 * [taylor]: Taking taylor expansion of v in v
6.752 * [taylor]: Taking taylor expansion of m in v
6.752 * [taylor]: Taking taylor expansion of 1.0 in v
6.752 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (sqrt (/ -1 m))) (* (+ (sqrt (/ -1 m)) (sqrt 1.0)) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0))) in m
6.752 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (sqrt (/ -1 m))) in m
6.752 * [taylor]: Taking taylor expansion of (sqrt 1.0) in m
6.752 * [taylor]: Taking taylor expansion of 1.0 in m
6.753 * [taylor]: Taking taylor expansion of (sqrt (/ -1 m)) in m
6.753 * [taylor]: Taking taylor expansion of (/ -1 m) in m
6.753 * [taylor]: Taking taylor expansion of -1 in m
6.753 * [taylor]: Taking taylor expansion of m in m
6.754 * [taylor]: Taking taylor expansion of (* (+ (sqrt (/ -1 m)) (sqrt 1.0)) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) in m
6.754 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 m)) (sqrt 1.0)) in m
6.754 * [taylor]: Taking taylor expansion of (sqrt (/ -1 m)) in m
6.754 * [taylor]: Taking taylor expansion of (/ -1 m) in m
6.754 * [taylor]: Taking taylor expansion of -1 in m
6.754 * [taylor]: Taking taylor expansion of m in m
6.755 * [taylor]: Taking taylor expansion of (sqrt 1.0) in m
6.755 * [taylor]: Taking taylor expansion of 1.0 in m
6.756 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in m
6.756 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in m
6.756 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
6.756 * [taylor]: Taking taylor expansion of v in m
6.756 * [taylor]: Taking taylor expansion of (pow m 2) in m
6.756 * [taylor]: Taking taylor expansion of m in m
6.757 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
6.757 * [taylor]: Taking taylor expansion of 1.0 in m
6.757 * [taylor]: Taking taylor expansion of (/ v m) in m
6.757 * [taylor]: Taking taylor expansion of v in m
6.757 * [taylor]: Taking taylor expansion of m in m
6.757 * [taylor]: Taking taylor expansion of 1.0 in m
6.757 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (sqrt (/ -1 m))) (* (+ (sqrt (/ -1 m)) (sqrt 1.0)) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0))) in m
6.757 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (sqrt (/ -1 m))) in m
6.757 * [taylor]: Taking taylor expansion of (sqrt 1.0) in m
6.757 * [taylor]: Taking taylor expansion of 1.0 in m
6.760 * [taylor]: Taking taylor expansion of (sqrt (/ -1 m)) in m
6.760 * [taylor]: Taking taylor expansion of (/ -1 m) in m
6.760 * [taylor]: Taking taylor expansion of -1 in m
6.760 * [taylor]: Taking taylor expansion of m in m
6.762 * [taylor]: Taking taylor expansion of (* (+ (sqrt (/ -1 m)) (sqrt 1.0)) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) in m
6.762 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 m)) (sqrt 1.0)) in m
6.762 * [taylor]: Taking taylor expansion of (sqrt (/ -1 m)) in m
6.762 * [taylor]: Taking taylor expansion of (/ -1 m) in m
6.762 * [taylor]: Taking taylor expansion of -1 in m
6.762 * [taylor]: Taking taylor expansion of m in m
6.763 * [taylor]: Taking taylor expansion of (sqrt 1.0) in m
6.763 * [taylor]: Taking taylor expansion of 1.0 in m
6.764 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in m
6.764 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in m
6.764 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
6.764 * [taylor]: Taking taylor expansion of v in m
6.764 * [taylor]: Taking taylor expansion of (pow m 2) in m
6.764 * [taylor]: Taking taylor expansion of m in m
6.764 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
6.764 * [taylor]: Taking taylor expansion of 1.0 in m
6.764 * [taylor]: Taking taylor expansion of (/ v m) in m
6.764 * [taylor]: Taking taylor expansion of v in m
6.764 * [taylor]: Taking taylor expansion of m in m
6.764 * [taylor]: Taking taylor expansion of 1.0 in m
6.765 * [taylor]: Taking taylor expansion of 0 in v
6.769 * [taylor]: Taking taylor expansion of 0 in v
6.780 * [taylor]: Taking taylor expansion of (- (* v (pow (sqrt 1.0) 2)) (+ (* +nan.0 (* v (sqrt 1.0))) (- (* +nan.0 v)))) in v
6.781 * [taylor]: Taking taylor expansion of (* v (pow (sqrt 1.0) 2)) in v
6.781 * [taylor]: Taking taylor expansion of v in v
6.781 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in v
6.781 * [taylor]: Taking taylor expansion of (sqrt 1.0) in v
6.781 * [taylor]: Taking taylor expansion of 1.0 in v
6.781 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (* v (sqrt 1.0))) (- (* +nan.0 v))) in v
6.781 * [taylor]: Taking taylor expansion of (* +nan.0 (* v (sqrt 1.0))) in v
6.781 * [taylor]: Taking taylor expansion of +nan.0 in v
6.781 * [taylor]: Taking taylor expansion of (* v (sqrt 1.0)) in v
6.781 * [taylor]: Taking taylor expansion of v in v
6.781 * [taylor]: Taking taylor expansion of (sqrt 1.0) in v
6.781 * [taylor]: Taking taylor expansion of 1.0 in v
6.783 * [taylor]: Taking taylor expansion of (- (* +nan.0 v)) in v
6.783 * [taylor]: Taking taylor expansion of (* +nan.0 v) in v
6.783 * [taylor]: Taking taylor expansion of +nan.0 in v
6.783 * [taylor]: Taking taylor expansion of v in v
6.786 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
6.786 * [approximate]: Taking taylor expansion of (/ (* m (- 1.0 m)) v) in (m v) around 0
6.786 * [taylor]: Taking taylor expansion of (/ (* m (- 1.0 m)) v) in v
6.786 * [taylor]: Taking taylor expansion of (* m (- 1.0 m)) in v
6.786 * [taylor]: Taking taylor expansion of m in v
6.786 * [taylor]: Taking taylor expansion of (- 1.0 m) in v
6.786 * [taylor]: Taking taylor expansion of 1.0 in v
6.786 * [taylor]: Taking taylor expansion of m in v
6.786 * [taylor]: Taking taylor expansion of v in v
6.786 * [taylor]: Taking taylor expansion of (/ (* m (- 1.0 m)) v) in m
6.786 * [taylor]: Taking taylor expansion of (* m (- 1.0 m)) in m
6.786 * [taylor]: Taking taylor expansion of m in m
6.786 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
6.786 * [taylor]: Taking taylor expansion of 1.0 in m
6.786 * [taylor]: Taking taylor expansion of m in m
6.786 * [taylor]: Taking taylor expansion of v in m
6.788 * [taylor]: Taking taylor expansion of (/ (* m (- 1.0 m)) v) in m
6.788 * [taylor]: Taking taylor expansion of (* m (- 1.0 m)) in m
6.788 * [taylor]: Taking taylor expansion of m in m
6.788 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
6.788 * [taylor]: Taking taylor expansion of 1.0 in m
6.788 * [taylor]: Taking taylor expansion of m in m
6.788 * [taylor]: Taking taylor expansion of v in m
6.790 * [taylor]: Taking taylor expansion of (/ 1.0 v) in v
6.791 * [taylor]: Taking taylor expansion of 1.0 in v
6.791 * [taylor]: Taking taylor expansion of v in v
6.792 * [taylor]: Taking taylor expansion of (- (/ 1 v)) in v
6.792 * [taylor]: Taking taylor expansion of (/ 1 v) in v
6.792 * [taylor]: Taking taylor expansion of v in v
6.794 * [taylor]: Taking taylor expansion of 0 in v
6.797 * [taylor]: Taking taylor expansion of 0 in v
6.799 * [approximate]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in (m v) around 0
6.799 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in v
6.799 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in v
6.799 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in v
6.799 * [taylor]: Taking taylor expansion of 1.0 in v
6.799 * [taylor]: Taking taylor expansion of (/ 1 m) in v
6.799 * [taylor]: Taking taylor expansion of m in v
6.799 * [taylor]: Taking taylor expansion of v in v
6.799 * [taylor]: Taking taylor expansion of m in v
6.800 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in m
6.800 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in m
6.800 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
6.800 * [taylor]: Taking taylor expansion of 1.0 in m
6.800 * [taylor]: Taking taylor expansion of (/ 1 m) in m
6.800 * [taylor]: Taking taylor expansion of m in m
6.801 * [taylor]: Taking taylor expansion of v in m
6.801 * [taylor]: Taking taylor expansion of m in m
6.801 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in m
6.801 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in m
6.801 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
6.801 * [taylor]: Taking taylor expansion of 1.0 in m
6.801 * [taylor]: Taking taylor expansion of (/ 1 m) in m
6.801 * [taylor]: Taking taylor expansion of m in m
6.802 * [taylor]: Taking taylor expansion of v in m
6.802 * [taylor]: Taking taylor expansion of m in m
6.802 * [taylor]: Taking taylor expansion of (* -1 v) in v
6.802 * [taylor]: Taking taylor expansion of -1 in v
6.802 * [taylor]: Taking taylor expansion of v in v
6.804 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
6.804 * [taylor]: Taking taylor expansion of 1.0 in v
6.804 * [taylor]: Taking taylor expansion of v in v
6.808 * [taylor]: Taking taylor expansion of 0 in v
6.812 * [taylor]: Taking taylor expansion of 0 in v
6.812 * [approximate]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in (m v) around 0
6.812 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in v
6.812 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1.0)) in v
6.812 * [taylor]: Taking taylor expansion of v in v
6.812 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in v
6.812 * [taylor]: Taking taylor expansion of (/ 1 m) in v
6.812 * [taylor]: Taking taylor expansion of m in v
6.812 * [taylor]: Taking taylor expansion of 1.0 in v
6.812 * [taylor]: Taking taylor expansion of m in v
6.813 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in m
6.813 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1.0)) in m
6.813 * [taylor]: Taking taylor expansion of v in m
6.813 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
6.813 * [taylor]: Taking taylor expansion of (/ 1 m) in m
6.813 * [taylor]: Taking taylor expansion of m in m
6.814 * [taylor]: Taking taylor expansion of 1.0 in m
6.814 * [taylor]: Taking taylor expansion of m in m
6.814 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in m
6.814 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1.0)) in m
6.814 * [taylor]: Taking taylor expansion of v in m
6.814 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
6.814 * [taylor]: Taking taylor expansion of (/ 1 m) in m
6.814 * [taylor]: Taking taylor expansion of m in m
6.814 * [taylor]: Taking taylor expansion of 1.0 in m
6.814 * [taylor]: Taking taylor expansion of m in m
6.815 * [taylor]: Taking taylor expansion of v in v
6.816 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
6.816 * [taylor]: Taking taylor expansion of 1.0 in v
6.816 * [taylor]: Taking taylor expansion of v in v
6.819 * [taylor]: Taking taylor expansion of 0 in v
6.822 * [taylor]: Taking taylor expansion of 0 in v
6.822 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1)
6.822 * [approximate]: Taking taylor expansion of (* m (- 1.0 m)) in (m) around 0
6.822 * [taylor]: Taking taylor expansion of (* m (- 1.0 m)) in m
6.822 * [taylor]: Taking taylor expansion of m in m
6.822 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
6.822 * [taylor]: Taking taylor expansion of 1.0 in m
6.822 * [taylor]: Taking taylor expansion of m in m
6.822 * [taylor]: Taking taylor expansion of (* m (- 1.0 m)) in m
6.822 * [taylor]: Taking taylor expansion of m in m
6.822 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
6.822 * [taylor]: Taking taylor expansion of 1.0 in m
6.822 * [taylor]: Taking taylor expansion of m in m
6.834 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 m)) m) in (m) around 0
6.834 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 m)) m) in m
6.834 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
6.834 * [taylor]: Taking taylor expansion of 1.0 in m
6.834 * [taylor]: Taking taylor expansion of (/ 1 m) in m
6.834 * [taylor]: Taking taylor expansion of m in m
6.834 * [taylor]: Taking taylor expansion of m in m
6.835 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 m)) m) in m
6.835 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
6.835 * [taylor]: Taking taylor expansion of 1.0 in m
6.835 * [taylor]: Taking taylor expansion of (/ 1 m) in m
6.835 * [taylor]: Taking taylor expansion of m in m
6.835 * [taylor]: Taking taylor expansion of m in m
6.851 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1.0) m)) in (m) around 0
6.851 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1.0) m)) in m
6.851 * [taylor]: Taking taylor expansion of -1 in m
6.851 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1.0) m) in m
6.851 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
6.851 * [taylor]: Taking taylor expansion of (/ 1 m) in m
6.851 * [taylor]: Taking taylor expansion of m in m
6.852 * [taylor]: Taking taylor expansion of 1.0 in m
6.852 * [taylor]: Taking taylor expansion of m in m
6.852 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1.0) m)) in m
6.852 * [taylor]: Taking taylor expansion of -1 in m
6.852 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1.0) m) in m
6.852 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
6.852 * [taylor]: Taking taylor expansion of (/ 1 m) in m
6.852 * [taylor]: Taking taylor expansion of m in m
6.853 * [taylor]: Taking taylor expansion of 1.0 in m
6.853 * [taylor]: Taking taylor expansion of m in m
6.869 * * * [progress]: simplifying candidates
6.872 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0))
  (+ (log (+ (sqrt 1.0) (sqrt m))) (log (- (/ (* m (- 1.0 m)) v) 1.0)))
  (log (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)))
  (exp (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)))
  (* (* (* (+ (sqrt 1.0) (sqrt m)) (+ (sqrt 1.0) (sqrt m))) (+ (sqrt 1.0) (sqrt m))) (* (* (- (/ (* m (- 1.0 m)) v) 1.0) (- (/ (* m (- 1.0 m)) v) 1.0)) (- (/ (* m (- 1.0 m)) v) 1.0)))
  (* (cbrt (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0))) (cbrt (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0))))
  (cbrt (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)))
  (* (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0))) (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)))
  (sqrt (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)))
  (sqrt (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)))
  (* (+ (pow (sqrt 1.0) 3) (pow (sqrt m) 3)) (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3)))
  (* (+ (* (sqrt 1.0) (sqrt 1.0)) (- (* (sqrt m) (sqrt m)) (* (sqrt 1.0) (sqrt m)))) (+ (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (+ (* 1.0 1.0) (* (/ (* m (- 1.0 m)) v) 1.0))))
  (* (+ (pow (sqrt 1.0) 3) (pow (sqrt m) 3)) (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0)))
  (* (+ (* (sqrt 1.0) (sqrt 1.0)) (- (* (sqrt m) (sqrt m)) (* (sqrt 1.0) (sqrt m)))) (+ (/ (* m (- 1.0 m)) v) 1.0))
  (* (- (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt m) (sqrt m))) (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3)))
  (* (- (sqrt 1.0) (sqrt m)) (+ (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (+ (* 1.0 1.0) (* (/ (* m (- 1.0 m)) v) 1.0))))
  (* (- (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt m) (sqrt m))) (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0)))
  (* (- (sqrt 1.0) (sqrt m)) (+ (/ (* m (- 1.0 m)) v) 1.0))
  (* (sqrt (+ (sqrt 1.0) (sqrt m))) (sqrt (- (/ (* m (- 1.0 m)) v) 1.0)))
  (* (sqrt (+ (sqrt 1.0) (sqrt m))) (sqrt (- (/ (* m (- 1.0 m)) v) 1.0)))
  (* (+ (sqrt 1.0) (sqrt m)) (/ (* m (- 1.0 m)) v))
  (* (+ (sqrt 1.0) (sqrt m)) (- 1.0))
  (* (+ (sqrt 1.0) (sqrt m)) (/ (* m (- 1.0 m)) v))
  (* (+ (sqrt 1.0) (sqrt m)) (- 1.0))
  (* (/ (* m (- 1.0 m)) v) (+ (sqrt 1.0) (sqrt m)))
  (* (- 1.0) (+ (sqrt 1.0) (sqrt m)))
  (* (/ (* m (- 1.0 m)) v) (+ (sqrt 1.0) (sqrt m)))
  (* (- 1.0) (+ (sqrt 1.0) (sqrt m)))
  (* (+ (sqrt 1.0) (sqrt m)) (* (cbrt (- (/ (* m (- 1.0 m)) v) 1.0)) (cbrt (- (/ (* m (- 1.0 m)) v) 1.0))))
  (* (+ (sqrt 1.0) (sqrt m)) (sqrt (- (/ (* m (- 1.0 m)) v) 1.0)))
  (* (+ (sqrt 1.0) (sqrt m)) 1)
  (* (+ (sqrt 1.0) (sqrt m)) (+ (sqrt (/ (* m (- 1.0 m)) v)) (sqrt 1.0)))
  (* (+ (sqrt 1.0) (sqrt m)) 1)
  (* (cbrt (+ (sqrt 1.0) (sqrt m))) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (sqrt (+ (sqrt 1.0) (sqrt m))) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (+ (sqrt 1.0) (sqrt m)) (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3)))
  (* (+ (sqrt 1.0) (sqrt m)) (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0)))
  (* (+ (pow (sqrt 1.0) 3) (pow (sqrt m) 3)) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (- (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt m) (sqrt m))) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (- (sqrt 1.0) (sqrt m)))
  (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (- (sqrt 1.0) (sqrt m)))
  (+ (+ (log (+ (sqrt 1.0) (sqrt m))) (log (- (/ (* m (- 1.0 m)) v) 1.0))) (log (- (sqrt 1.0) (sqrt m))))
  (+ (log (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0))) (log (- (sqrt 1.0) (sqrt m))))
  (log (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (- (sqrt 1.0) (sqrt m))))
  (exp (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (- (sqrt 1.0) (sqrt m))))
  (* (* (* (* (+ (sqrt 1.0) (sqrt m)) (+ (sqrt 1.0) (sqrt m))) (+ (sqrt 1.0) (sqrt m))) (* (* (- (/ (* m (- 1.0 m)) v) 1.0) (- (/ (* m (- 1.0 m)) v) 1.0)) (- (/ (* m (- 1.0 m)) v) 1.0))) (* (* (- (sqrt 1.0) (sqrt m)) (- (sqrt 1.0) (sqrt m))) (- (sqrt 1.0) (sqrt m))))
  (* (* (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0))) (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0))) (* (* (- (sqrt 1.0) (sqrt m)) (- (sqrt 1.0) (sqrt m))) (- (sqrt 1.0) (sqrt m))))
  (* (cbrt (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (- (sqrt 1.0) (sqrt m)))) (cbrt (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (- (sqrt 1.0) (sqrt m)))))
  (cbrt (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (- (sqrt 1.0) (sqrt m))))
  (* (* (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (- (sqrt 1.0) (sqrt m))) (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (- (sqrt 1.0) (sqrt m)))) (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (- (sqrt 1.0) (sqrt m))))
  (sqrt (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (- (sqrt 1.0) (sqrt m))))
  (sqrt (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (- (sqrt 1.0) (sqrt m))))
  (* (* (+ (pow (sqrt 1.0) 3) (pow (sqrt m) 3)) (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3))) (- (pow (sqrt 1.0) 3) (pow (sqrt m) 3)))
  (* (* (+ (* (sqrt 1.0) (sqrt 1.0)) (- (* (sqrt m) (sqrt m)) (* (sqrt 1.0) (sqrt m)))) (+ (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (+ (* 1.0 1.0) (* (/ (* m (- 1.0 m)) v) 1.0)))) (+ (* (sqrt 1.0) (sqrt 1.0)) (+ (* (sqrt m) (sqrt m)) (* (sqrt 1.0) (sqrt m)))))
  (* (* (+ (pow (sqrt 1.0) 3) (pow (sqrt m) 3)) (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3))) (- (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt m) (sqrt m))))
  (* (* (+ (* (sqrt 1.0) (sqrt 1.0)) (- (* (sqrt m) (sqrt m)) (* (sqrt 1.0) (sqrt m)))) (+ (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (+ (* 1.0 1.0) (* (/ (* m (- 1.0 m)) v) 1.0)))) (+ (sqrt 1.0) (sqrt m)))
  (* (* (+ (pow (sqrt 1.0) 3) (pow (sqrt m) 3)) (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0))) (- (pow (sqrt 1.0) 3) (pow (sqrt m) 3)))
  (* (* (+ (* (sqrt 1.0) (sqrt 1.0)) (- (* (sqrt m) (sqrt m)) (* (sqrt 1.0) (sqrt m)))) (+ (/ (* m (- 1.0 m)) v) 1.0)) (+ (* (sqrt 1.0) (sqrt 1.0)) (+ (* (sqrt m) (sqrt m)) (* (sqrt 1.0) (sqrt m)))))
  (* (* (+ (pow (sqrt 1.0) 3) (pow (sqrt m) 3)) (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0))) (- (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt m) (sqrt m))))
  (* (* (+ (* (sqrt 1.0) (sqrt 1.0)) (- (* (sqrt m) (sqrt m)) (* (sqrt 1.0) (sqrt m)))) (+ (/ (* m (- 1.0 m)) v) 1.0)) (+ (sqrt 1.0) (sqrt m)))
  (* (* (- (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt m) (sqrt m))) (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3))) (- (pow (sqrt 1.0) 3) (pow (sqrt m) 3)))
  (* (* (- (sqrt 1.0) (sqrt m)) (+ (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (+ (* 1.0 1.0) (* (/ (* m (- 1.0 m)) v) 1.0)))) (+ (* (sqrt 1.0) (sqrt 1.0)) (+ (* (sqrt m) (sqrt m)) (* (sqrt 1.0) (sqrt m)))))
  (* (* (- (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt m) (sqrt m))) (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3))) (- (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt m) (sqrt m))))
  (* (* (- (sqrt 1.0) (sqrt m)) (+ (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (+ (* 1.0 1.0) (* (/ (* m (- 1.0 m)) v) 1.0)))) (+ (sqrt 1.0) (sqrt m)))
  (* (* (- (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt m) (sqrt m))) (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0))) (- (pow (sqrt 1.0) 3) (pow (sqrt m) 3)))
  (* (* (- (sqrt 1.0) (sqrt m)) (+ (/ (* m (- 1.0 m)) v) 1.0)) (+ (* (sqrt 1.0) (sqrt 1.0)) (+ (* (sqrt m) (sqrt m)) (* (sqrt 1.0) (sqrt m)))))
  (* (* (- (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt m) (sqrt m))) (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0))) (- (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt m) (sqrt m))))
  (* (* (- (sqrt 1.0) (sqrt m)) (+ (/ (* m (- 1.0 m)) v) 1.0)) (+ (sqrt 1.0) (sqrt m)))
  (* (* (+ (sqrt 1.0) (sqrt m)) (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3))) (- (pow (sqrt 1.0) 3) (pow (sqrt m) 3)))
  (* (+ (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (+ (* 1.0 1.0) (* (/ (* m (- 1.0 m)) v) 1.0))) (+ (* (sqrt 1.0) (sqrt 1.0)) (+ (* (sqrt m) (sqrt m)) (* (sqrt 1.0) (sqrt m)))))
  (* (* (+ (sqrt 1.0) (sqrt m)) (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3))) (- (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt m) (sqrt m))))
  (* (+ (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (+ (* 1.0 1.0) (* (/ (* m (- 1.0 m)) v) 1.0))) (+ (sqrt 1.0) (sqrt m)))
  (* (* (+ (sqrt 1.0) (sqrt m)) (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0))) (- (pow (sqrt 1.0) 3) (pow (sqrt m) 3)))
  (* (+ (/ (* m (- 1.0 m)) v) 1.0) (+ (* (sqrt 1.0) (sqrt 1.0)) (+ (* (sqrt m) (sqrt m)) (* (sqrt 1.0) (sqrt m)))))
  (* (* (+ (sqrt 1.0) (sqrt m)) (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0))) (- (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt m) (sqrt m))))
  (* (+ (/ (* m (- 1.0 m)) v) 1.0) (+ (sqrt 1.0) (sqrt m)))
  (* (* (+ (pow (sqrt 1.0) 3) (pow (sqrt m) 3)) (- (/ (* m (- 1.0 m)) v) 1.0)) (- (pow (sqrt 1.0) 3) (pow (sqrt m) 3)))
  (* (+ (* (sqrt 1.0) (sqrt 1.0)) (- (* (sqrt m) (sqrt m)) (* (sqrt 1.0) (sqrt m)))) (+ (* (sqrt 1.0) (sqrt 1.0)) (+ (* (sqrt m) (sqrt m)) (* (sqrt 1.0) (sqrt m)))))
  (* (* (+ (pow (sqrt 1.0) 3) (pow (sqrt m) 3)) (- (/ (* m (- 1.0 m)) v) 1.0)) (- (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt m) (sqrt m))))
  (* (+ (* (sqrt 1.0) (sqrt 1.0)) (- (* (sqrt m) (sqrt m)) (* (sqrt 1.0) (sqrt m)))) (+ (sqrt 1.0) (sqrt m)))
  (* (* (- (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt m) (sqrt m))) (- (/ (* m (- 1.0 m)) v) 1.0)) (- (pow (sqrt 1.0) 3) (pow (sqrt m) 3)))
  (* (- (sqrt 1.0) (sqrt m)) (+ (* (sqrt 1.0) (sqrt 1.0)) (+ (* (sqrt m) (sqrt m)) (* (sqrt 1.0) (sqrt m)))))
  (* (* (- (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt m) (sqrt m))) (- (/ (* m (- 1.0 m)) v) 1.0)) (- (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt m) (sqrt m))))
  (* (- (sqrt 1.0) (sqrt m)) (+ (sqrt 1.0) (sqrt m)))
  (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (sqrt 1.0))
  (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (- (sqrt m)))
  (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (sqrt 1.0))
  (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (- (sqrt m)))
  (* (sqrt 1.0) (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)))
  (* (- (sqrt m)) (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)))
  (* (sqrt 1.0) (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)))
  (* (- (sqrt m)) (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)))
  (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (* (cbrt (- (sqrt 1.0) (sqrt m))) (cbrt (- (sqrt 1.0) (sqrt m)))))
  (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (sqrt (- (sqrt 1.0) (sqrt m))))
  (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) 1)
  (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (+ (sqrt (sqrt 1.0)) (sqrt (sqrt m))))
  (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (+ (sqrt (sqrt 1.0)) (sqrt (sqrt m))))
  (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (+ (sqrt (sqrt 1.0)) (sqrt (sqrt m))))
  (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (+ (sqrt (sqrt 1.0)) (sqrt (sqrt m))))
  (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (sqrt 1))
  (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) 1)
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (- (sqrt 1.0) (sqrt m)))
  (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (- (pow (sqrt 1.0) 3) (pow (sqrt m) 3)))
  (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (- (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt m) (sqrt m))))
  (* (* (+ (pow (sqrt 1.0) 3) (pow (sqrt m) 3)) (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3))) (- (sqrt 1.0) (sqrt m)))
  (* (* (+ (pow (sqrt 1.0) 3) (pow (sqrt m) 3)) (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0))) (- (sqrt 1.0) (sqrt m)))
  (* (* (- (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt m) (sqrt m))) (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3))) (- (sqrt 1.0) (sqrt m)))
  (* (* (- (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt m) (sqrt m))) (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0))) (- (sqrt 1.0) (sqrt m)))
  (* (* (+ (sqrt 1.0) (sqrt m)) (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3))) (- (sqrt 1.0) (sqrt m)))
  (* (* (+ (sqrt 1.0) (sqrt m)) (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0))) (- (sqrt 1.0) (sqrt m)))
  (* (* (+ (pow (sqrt 1.0) 3) (pow (sqrt m) 3)) (- (/ (* m (- 1.0 m)) v) 1.0)) (- (sqrt 1.0) (sqrt m)))
  (* (* (- (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt m) (sqrt m))) (- (/ (* m (- 1.0 m)) v) 1.0)) (- (sqrt 1.0) (sqrt m)))
  (- (+ (log m) (log (- 1.0 m))) (log v))
  (- (log (* m (- 1.0 m))) (log v))
  (log (/ (* m (- 1.0 m)) v))
  (exp (/ (* m (- 1.0 m)) v))
  (/ (* (* (* m m) m) (* (* (- 1.0 m) (- 1.0 m)) (- 1.0 m))) (* (* v v) v))
  (/ (* (* (* m (- 1.0 m)) (* m (- 1.0 m))) (* m (- 1.0 m))) (* (* v v) v))
  (* (cbrt (/ (* m (- 1.0 m)) v)) (cbrt (/ (* m (- 1.0 m)) v)))
  (cbrt (/ (* m (- 1.0 m)) v))
  (* (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (/ (* m (- 1.0 m)) v))
  (sqrt (/ (* m (- 1.0 m)) v))
  (sqrt (/ (* m (- 1.0 m)) v))
  (- (* m (- 1.0 m)))
  (- v)
  (/ m (* (cbrt v) (cbrt v)))
  (/ (- 1.0 m) (cbrt v))
  (/ m (sqrt v))
  (/ (- 1.0 m) (sqrt v))
  (/ m 1)
  (/ (- 1.0 m) v)
  (/ 1 v)
  (/ v (* m (- 1.0 m)))
  (/ (* m (- 1.0 m)) (* (cbrt v) (cbrt v)))
  (/ (* m (- 1.0 m)) (sqrt v))
  (/ (* m (- 1.0 m)) 1)
  (/ v (- 1.0 m))
  (* v (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))))
  (* v (+ 1.0 m))
  (* m (- 1.0 m))
  (+ (log m) (log (- 1.0 m)))
  (log (* m (- 1.0 m)))
  (exp (* m (- 1.0 m)))
  (* (* (* m m) m) (* (* (- 1.0 m) (- 1.0 m)) (- 1.0 m)))
  (* (cbrt (* m (- 1.0 m))) (cbrt (* m (- 1.0 m))))
  (cbrt (* m (- 1.0 m)))
  (* (* (* m (- 1.0 m)) (* m (- 1.0 m))) (* m (- 1.0 m)))
  (sqrt (* m (- 1.0 m)))
  (sqrt (* m (- 1.0 m)))
  (* (sqrt m) (sqrt (- 1.0 m)))
  (* (sqrt m) (sqrt (- 1.0 m)))
  (* m 1.0)
  (* m (- m))
  (* m 1.0)
  (* m (- m))
  (* 1.0 m)
  (* (- m) m)
  (* 1.0 m)
  (* (- m) m)
  (* m (* (cbrt (- 1.0 m)) (cbrt (- 1.0 m))))
  (* m (sqrt (- 1.0 m)))
  (* m 1)
  (* m (+ (sqrt 1.0) (sqrt m)))
  (* m 1)
  (* (cbrt m) (- 1.0 m))
  (* (sqrt m) (- 1.0 m))
  (* m (- 1.0 m))
  (* m (- (pow 1.0 3) (pow m 3)))
  (* m (- (* 1.0 1.0) (* m m)))
  (- (* 1.0 (/ (* m (sqrt 1.0)) v)) (+ (* 1.0 (sqrt 1.0)) (- (/ (* (pow m 2) (sqrt 1.0)) v) (* +nan.0 (/ (pow m 2) v)))))
  (- (* 1.0 (/ (* m (sqrt 1.0)) v)) (+ (* +nan.0 (/ (pow m 2) v)) (- (+ (* 1.0 (sqrt 1.0)) (/ (* (pow m 2) (sqrt 1.0)) v)) (+ +nan.0 (- (* +nan.0 (/ m v)))))))
  (- (* 1.0 (/ (* m (sqrt 1.0)) v)) (+ (* +nan.0 (/ (pow m 2) v)) (- (+ (* 1.0 (sqrt 1.0)) (/ (* (pow m 2) (sqrt 1.0)) v)) (+ +nan.0 (- (* +nan.0 (/ m v)))))))
  (- (* 1.0 (/ (* m (pow (sqrt 1.0) 2)) v)) (+ (/ (* (pow m 2) (pow (sqrt 1.0) 2)) v) (- (* 1.0 (pow (sqrt 1.0) 2)) (* +nan.0 (/ (* (pow m 2) (sqrt 1.0)) v)))))
  0
  0
  (- (* 1.0 (/ m v)) (/ (pow m 2) v))
  (- (* 1.0 (/ m v)) (/ (pow m 2) v))
  (- (* 1.0 (/ m v)) (/ (pow m 2) v))
  (- (* 1.0 m) (pow m 2))
  (- (* 1.0 m) (pow m 2))
  (- (* 1.0 m) (pow m 2))
6.881 * * [simplify]: iteration  0 :  264  enodes  (cost  3675 )
6.968 * * [simplify]: iteration  1 :  836  enodes  (cost  3297 )
7.202 * * [simplify]: iteration  2 :  3581  enodes  (cost  2904 )
7.925 * * [simplify]: iteration  done :  5000  enodes  (cost  2904 )
7.926 * [simplify]: Simplified to:
   (* (- (/ (* m (- 1.0 m)) v) 1.0) (+ (sqrt 1.0) (sqrt m)))
  (log (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)))
  (log (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)))
  (exp (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)))
  (pow (* (- (/ (* m (- 1.0 m)) v) 1.0) (+ (sqrt 1.0) (sqrt m))) 3)
  (* (cbrt (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0))) (cbrt (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0))))
  (cbrt (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)))
  (pow (* (- (/ (* m (- 1.0 m)) v) 1.0) (+ (sqrt 1.0) (sqrt m))) 3)
  (sqrt (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)))
  (sqrt (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)))
  (* (+ (pow (sqrt 1.0) 3) (pow (sqrt m) 3)) (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3)))
  (* (+ (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 (+ (/ (* m (- 1.0 m)) v) 1.0))) (- (+ 1.0 m) (* (sqrt 1.0) (sqrt m))))
  (* (+ (pow (sqrt 1.0) 3) (pow (sqrt m) 3)) (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0)))
  (* (+ (/ (* m (- 1.0 m)) v) 1.0) (- (+ 1.0 m) (* (sqrt 1.0) (sqrt m))))
  (* (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3)) (- 1.0 m))
  (* (+ (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 (+ (/ (* m (- 1.0 m)) v) 1.0))) (- (sqrt 1.0) (sqrt m)))
  (* (- 1.0 m) (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0)))
  (* (- (sqrt 1.0) (sqrt m)) (+ (/ (* m (- 1.0 m)) v) 1.0))
  (* (sqrt (+ (sqrt 1.0) (sqrt m))) (sqrt (- (/ (* m (- 1.0 m)) v) 1.0)))
  (* (sqrt (+ (sqrt 1.0) (sqrt m))) (sqrt (- (/ (* m (- 1.0 m)) v) 1.0)))
  (* (/ (* m (- 1.0 m)) v) (+ (sqrt 1.0) (sqrt m)))
  (* (- 1.0) (+ (sqrt 1.0) (sqrt m)))
  (* (/ (* m (- 1.0 m)) v) (+ (sqrt 1.0) (sqrt m)))
  (* (- 1.0) (+ (sqrt 1.0) (sqrt m)))
  (* (/ (* m (- 1.0 m)) v) (+ (sqrt 1.0) (sqrt m)))
  (* (- 1.0) (+ (sqrt 1.0) (sqrt m)))
  (* (/ (* m (- 1.0 m)) v) (+ (sqrt 1.0) (sqrt m)))
  (* (- 1.0) (+ (sqrt 1.0) (sqrt m)))
  (* (+ (sqrt 1.0) (sqrt m)) (* (cbrt (- (/ (* m (- 1.0 m)) v) 1.0)) (cbrt (- (/ (* m (- 1.0 m)) v) 1.0))))
  (* (+ (sqrt 1.0) (sqrt m)) (sqrt (- (/ (* m (- 1.0 m)) v) 1.0)))
  (+ (sqrt 1.0) (sqrt m))
  (* (+ (sqrt 1.0) (sqrt m)) (+ (sqrt (/ (* m (- 1.0 m)) v)) (sqrt 1.0)))
  (+ (sqrt 1.0) (sqrt m))
  (* (cbrt (+ (sqrt 1.0) (sqrt m))) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (sqrt (+ (sqrt 1.0) (sqrt m))) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (+ (sqrt 1.0) (sqrt m)))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (+ (sqrt 1.0) (sqrt m)))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (+ (sqrt 1.0) (sqrt m)))
  (* (+ (sqrt 1.0) (sqrt m)) (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3)))
  (* (+ (sqrt 1.0) (sqrt m)) (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0)))
  (* (+ (pow (sqrt 1.0) 3) (pow (sqrt m) 3)) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))
  (log (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
  (log (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
  (log (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
  (exp (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
  (pow (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)) 3)
  (pow (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)) 3)
  (* (cbrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))) (cbrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))))
  (cbrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
  (pow (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)) 3)
  (sqrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
  (sqrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
  (* (* (+ (pow (sqrt 1.0) 3) (pow (sqrt m) 3)) (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3))) (- (pow (sqrt 1.0) 3) (pow (sqrt m) 3)))
  (* (- (+ 1.0 m) (* (sqrt 1.0) (sqrt m))) (* (+ (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 (+ (/ (* m (- 1.0 m)) v) 1.0))) (+ 1.0 (+ (* (sqrt 1.0) (sqrt m)) m))))
  (* (* (+ (pow (sqrt 1.0) 3) (pow (sqrt m) 3)) (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3))) (- 1.0 m))
  (* (+ (sqrt 1.0) (sqrt m)) (* (+ (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 (+ (/ (* m (- 1.0 m)) v) 1.0))) (- (+ 1.0 m) (* (sqrt 1.0) (sqrt m)))))
  (* (* (+ (pow (sqrt 1.0) 3) (pow (sqrt m) 3)) (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0))) (- (pow (sqrt 1.0) 3) (pow (sqrt m) 3)))
  (* (+ 1.0 (+ (* (sqrt 1.0) (sqrt m)) m)) (* (+ (/ (* m (- 1.0 m)) v) 1.0) (- (+ 1.0 m) (* (sqrt 1.0) (sqrt m)))))
  (* (- 1.0 m) (* (+ (pow (sqrt 1.0) 3) (pow (sqrt m) 3)) (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0))))
  (* (- (+ 1.0 m) (* (sqrt 1.0) (sqrt m))) (* (+ (/ (* m (- 1.0 m)) v) 1.0) (+ (sqrt 1.0) (sqrt m))))
  (* (- (pow (sqrt 1.0) 3) (pow (sqrt m) 3)) (* (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3)) (- 1.0 m)))
  (* (+ (* 1.0 (- (sqrt 1.0) (sqrt m))) (* (sqrt m) (- 1.0 m))) (+ (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 (+ (/ (* m (- 1.0 m)) v) 1.0))))
  (* (* (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3)) (- 1.0 m)) (- 1.0 m))
  (* (+ (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 (+ (/ (* m (- 1.0 m)) v) 1.0))) (- 1.0 m))
  (* (* (- 1.0 m) (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0))) (- (pow (sqrt 1.0) 3) (pow (sqrt m) 3)))
  (* (+ (* 1.0 (- (sqrt 1.0) (sqrt m))) (* (sqrt m) (- 1.0 m))) (+ (/ (* m (- 1.0 m)) v) 1.0))
  (* (- 1.0 m) (* (- 1.0 m) (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0))))
  (* (+ (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))
  (* (* (+ (sqrt 1.0) (sqrt m)) (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3))) (- (pow (sqrt 1.0) 3) (pow (sqrt m) 3)))
  (* (+ (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 (+ (/ (* m (- 1.0 m)) v) 1.0))) (+ 1.0 (+ (* (sqrt 1.0) (sqrt m)) m)))
  (* (* (+ (sqrt 1.0) (sqrt m)) (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3))) (- 1.0 m))
  (* (+ (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 (+ (/ (* m (- 1.0 m)) v) 1.0))) (+ (sqrt 1.0) (sqrt m)))
  (* (* (+ (sqrt 1.0) (sqrt m)) (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0))) (- (pow (sqrt 1.0) 3) (pow (sqrt m) 3)))
  (* (+ (/ (* m (- 1.0 m)) v) 1.0) (+ 1.0 (+ (* (sqrt 1.0) (sqrt m)) m)))
  (* (- 1.0 m) (* (+ (sqrt 1.0) (sqrt m)) (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0))))
  (* (+ (/ (* m (- 1.0 m)) v) 1.0) (+ (sqrt 1.0) (sqrt m)))
  (* (* (+ (pow (sqrt 1.0) 3) (pow (sqrt m) 3)) (- (/ (* m (- 1.0 m)) v) 1.0)) (- (pow (sqrt 1.0) 3) (pow (sqrt m) 3)))
  (* (+ 1.0 (+ (* (sqrt 1.0) (sqrt m)) m)) (- (+ 1.0 m) (* (sqrt 1.0) (sqrt m))))
  (* (* (+ (pow (sqrt 1.0) 3) (pow (sqrt m) 3)) (- (/ (* m (- 1.0 m)) v) 1.0)) (- 1.0 m))
  (* (- (+ 1.0 m) (* (sqrt 1.0) (sqrt m))) (+ (sqrt 1.0) (sqrt m)))
  (* (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)) (- (pow (sqrt 1.0) 3) (pow (sqrt m) 3)))
  (+ (* 1.0 (- (sqrt 1.0) (sqrt m))) (* (sqrt m) (- 1.0 m)))
  (* (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)) (- 1.0 m))
  (- 1.0 m)
  (* (+ 1.0 (* (sqrt 1.0) (sqrt m))) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (- (+ (* (sqrt 1.0) (sqrt m)) m)) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (+ 1.0 (* (sqrt 1.0) (sqrt m))) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (- (+ (* (sqrt 1.0) (sqrt m)) m)) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (+ 1.0 (* (sqrt 1.0) (sqrt m))) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (- (+ (* (sqrt 1.0) (sqrt m)) m)) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (+ 1.0 (* (sqrt 1.0) (sqrt m))) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (- (+ (* (sqrt 1.0) (sqrt m)) m)) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (* (cbrt (- (sqrt 1.0) (sqrt m))) (cbrt (- (sqrt 1.0) (sqrt m)))))
  (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (sqrt (- (sqrt 1.0) (sqrt m))))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (+ (sqrt 1.0) (sqrt m)))
  (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (+ (sqrt (sqrt 1.0)) (sqrt (sqrt m))))
  (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (+ (sqrt (sqrt 1.0)) (sqrt (sqrt m))))
  (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (+ (sqrt (sqrt 1.0)) (sqrt (sqrt m))))
  (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (+ (sqrt (sqrt 1.0)) (sqrt (sqrt m))))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (+ (sqrt 1.0) (sqrt m)))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (+ (sqrt 1.0) (sqrt m)))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (- (sqrt 1.0) (sqrt m)))
  (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (- (pow (sqrt 1.0) 3) (pow (sqrt m) 3)))
  (* (+ (sqrt 1.0) (sqrt m)) (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
  (* (* (+ (pow (sqrt 1.0) 3) (pow (sqrt m) 3)) (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3))) (- (sqrt 1.0) (sqrt m)))
  (* (* (+ (pow (sqrt 1.0) 3) (pow (sqrt m) 3)) (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0))) (- (sqrt 1.0) (sqrt m)))
  (* (- (sqrt 1.0) (sqrt m)) (* (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3)) (- 1.0 m)))
  (* (* (- 1.0 m) (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0))) (- (sqrt 1.0) (sqrt m)))
  (* (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3)) (- 1.0 m))
  (* (- 1.0 m) (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0)))
  (* (* (+ (pow (sqrt 1.0) 3) (pow (sqrt m) 3)) (- (/ (* m (- 1.0 m)) v) 1.0)) (- (sqrt 1.0) (sqrt m)))
  (* (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)) (- (sqrt 1.0) (sqrt m)))
  (log (/ (* m (- 1.0 m)) v))
  (log (/ (* m (- 1.0 m)) v))
  (log (/ (* m (- 1.0 m)) v))
  (exp (/ (* m (- 1.0 m)) v))
  (pow (/ (* m (- 1.0 m)) v) 3)
  (pow (/ (* m (- 1.0 m)) v) 3)
  (* (cbrt (/ (* m (- 1.0 m)) v)) (cbrt (/ (* m (- 1.0 m)) v)))
  (cbrt (/ (* m (- 1.0 m)) v))
  (pow (/ (* m (- 1.0 m)) v) 3)
  (sqrt (/ (* m (- 1.0 m)) v))
  (sqrt (/ (* m (- 1.0 m)) v))
  (- (* m (- 1.0 m)))
  (- v)
  (/ m (* (cbrt v) (cbrt v)))
  (/ (- 1.0 m) (cbrt v))
  (/ m (sqrt v))
  (/ (- 1.0 m) (sqrt v))
  m
  (/ (- 1.0 m) v)
  (/ 1 v)
  (/ v (* m (- 1.0 m)))
  (/ (* m (- 1.0 m)) (* (cbrt v) (cbrt v)))
  (/ (* m (- 1.0 m)) (sqrt v))
  (* (- 1.0 m) m)
  (/ v (- 1.0 m))
  (* v (+ (* 1.0 1.0) (* m (+ 1.0 m))))
  (* v (+ 1.0 m))
  (* (- 1.0 m) m)
  (log (* m (- 1.0 m)))
  (log (* m (- 1.0 m)))
  (exp (* m (- 1.0 m)))
  (pow (* (- 1.0 m) m) 3)
  (* (cbrt (* m (- 1.0 m))) (cbrt (* m (- 1.0 m))))
  (cbrt (* m (- 1.0 m)))
  (pow (* (- 1.0 m) m) 3)
  (sqrt (* m (- 1.0 m)))
  (sqrt (* m (- 1.0 m)))
  (* (sqrt m) (sqrt (- 1.0 m)))
  (* (sqrt m) (sqrt (- 1.0 m)))
  (* 1.0 m)
  (* m (- m))
  (* 1.0 m)
  (* m (- m))
  (* 1.0 m)
  (* m (- m))
  (* 1.0 m)
  (* m (- m))
  (* m (* (cbrt (- 1.0 m)) (cbrt (- 1.0 m))))
  (* m (sqrt (- 1.0 m)))
  m
  (* m (+ (sqrt 1.0) (sqrt m)))
  m
  (* (cbrt m) (- 1.0 m))
  (* (sqrt m) (- 1.0 m))
  (* (- 1.0 m) m)
  (* m (- (pow 1.0 3) (pow m 3)))
  (* m (- (* 1.0 1.0) (* m m)))
  (- (* 1.0 (- (/ (* m (sqrt 1.0)) v) (sqrt 1.0))) (- (/ (* (pow m 2) (sqrt 1.0)) v) (* +nan.0 (/ (pow m 2) v))))
  (- (- (* 1.0 (/ (* m (sqrt 1.0)) v)) (* +nan.0 (/ (pow m 2) v))) (- (+ (* 1.0 (sqrt 1.0)) (/ (* (pow m 2) (sqrt 1.0)) v)) (- +nan.0 (* +nan.0 (/ m v)))))
  (- (- (* 1.0 (/ (* m (sqrt 1.0)) v)) (* +nan.0 (/ (pow m 2) v))) (- (+ (* 1.0 (sqrt 1.0)) (/ (* (pow m 2) (sqrt 1.0)) v)) (- +nan.0 (* +nan.0 (/ m v)))))
  (- (- (* 1.0 (* 1.0 (/ m v))) (/ (* m m) (/ v 1.0))) (- (* 1.0 1.0) (* +nan.0 (/ (* (pow m 2) (sqrt 1.0)) v))))
  0
  0
  (- (* 1.0 (/ m v)) (/ (pow m 2) v))
  (- (* 1.0 (/ m v)) (/ (pow m 2) v))
  (- (* 1.0 (/ m v)) (/ (pow m 2) v))
  (* (- 1.0 m) m)
  (* (- 1.0 m) m)
  (* (- 1.0 m) m)
7.927 * * * [progress]: adding candidates to table
8.300 * [progress]: [Phase 3 of 3] Extracting.
8.300 * * [regime]: Finding splitpoints for: (#<alt (λ (m v) (- (+ (* 1.0 m) (/ (pow m 3) v)) (* 2.0 (/ (pow m 2) v))))> #<alt (λ (m v) (* (- (/ 1 (/ v (* m (- 1.0 m)))) 1.0) (- 1.0 m)))> #<alt (λ (m v) (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (- (sqrt 1.0) (sqrt m))))> #<alt (λ (m v) (* (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0) (- 1.0 m)))> #<alt (λ (m v) (/ (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- (pow 1.0 3) (pow m 3))) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m)))))>)
8.303 * * * [regime-changes]: Trying 2 branch expressions: (v m)
8.303 * * * * [regimes]: Trying to branch on v from (#<alt (λ (m v) (- (+ (* 1.0 m) (/ (pow m 3) v)) (* 2.0 (/ (pow m 2) v))))> #<alt (λ (m v) (* (- (/ 1 (/ v (* m (- 1.0 m)))) 1.0) (- 1.0 m)))> #<alt (λ (m v) (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (- (sqrt 1.0) (sqrt m))))> #<alt (λ (m v) (* (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0) (- 1.0 m)))> #<alt (λ (m v) (/ (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- (pow 1.0 3) (pow m 3))) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m)))))>)
8.327 * * * * [regimes]: Trying to branch on m from (#<alt (λ (m v) (- (+ (* 1.0 m) (/ (pow m 3) v)) (* 2.0 (/ (pow m 2) v))))> #<alt (λ (m v) (* (- (/ 1 (/ v (* m (- 1.0 m)))) 1.0) (- 1.0 m)))> #<alt (λ (m v) (* (* (+ (sqrt 1.0) (sqrt m)) (- (/ (* m (- 1.0 m)) v) 1.0)) (- (sqrt 1.0) (sqrt m))))> #<alt (λ (m v) (* (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0) (- 1.0 m)))> #<alt (λ (m v) (/ (* (- (- (/ (* m 1.0) v) (/ (pow m 2) v)) 1.0) (- (pow 1.0 3) (pow m 3))) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m)))))>)
8.347 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
8.347 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0) (- 1.0 m))
8.347 * * [simplify]: iteration  0 :  11  enodes  (cost  16 )
8.348 * * [simplify]: iteration  1 :  17  enodes  (cost  16 )
8.348 * * [simplify]: iteration  done :  17  enodes  (cost  16 )
8.348 * [simplify]: Simplified to:
   (* (- (/ (+ (* m 1.0) (* (- m) m)) v) 1.0) (- 1.0 m))
9.221 * [regime-testing]: Baseline error score: 0.07722205900917901
9.222 * [regime-testing]: Oracle error score: 0.015169377422538394
9.223 * [regime-testing]: End program error score: 0.07722205900917901