0.921 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.285 * * * [progress]: [2/2] Setting up program.
0.288 * [progress]: [Phase 2 of 3] Improving.
0.291 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))
0.293 * * [simplify]: iteration  0 :  8  enodes  (cost  13 )
0.297 * * [simplify]: iteration  1 :  16  enodes  (cost  13 )
0.299 * * [simplify]: iteration  2 :  40  enodes  (cost  13 )
0.306 * * [simplify]: iteration  3 :  106  enodes  (cost  13 )
0.323 * * [simplify]: iteration  4 :  305  enodes  (cost  13 )
0.403 * * [simplify]: iteration  5 :  857  enodes  (cost  13 )
0.762 * * [simplify]: iteration  6 :  2453  enodes  (cost  13 )
1.899 * * [simplify]: iteration  done :  5000  enodes  (cost  13 )
1.899 * [simplify]: Simplified to:
   (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))
1.901 * * [progress]: iteration 1 / 4
1.901 * * * [progress]: picking best candidate
1.902 * * * * [pick]: Picked  #<alt (λ (m v) (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))>
1.902 * * * [progress]: localizing error
1.912 * * * [progress]: generating rewritten candidates
1.912 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.972 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
1.983 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
1.995 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
2.019 * * * [progress]: generating series expansions
2.019 * * * * [progress]: [ 1 / 4 ] generating series at (2)
2.024 * [approximate]: Taking taylor expansion of (* (- 1.0 m) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in (m v) around 0
2.025 * [taylor]: Taking taylor expansion of (* (- 1.0 m) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in v
2.025 * [taylor]: Taking taylor expansion of (- 1.0 m) in v
2.025 * [taylor]: Taking taylor expansion of 1.0 in v
2.025 * [taylor]: Taking taylor expansion of m in v
2.025 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in v
2.025 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in v
2.025 * [taylor]: Taking taylor expansion of 1.0 in v
2.025 * [taylor]: Taking taylor expansion of (/ m v) in v
2.025 * [taylor]: Taking taylor expansion of m in v
2.025 * [taylor]: Taking taylor expansion of v in v
2.025 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in v
2.025 * [taylor]: Taking taylor expansion of 1.0 in v
2.026 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v
2.029 * [taylor]: Taking taylor expansion of (pow m 2) in v
2.029 * [taylor]: Taking taylor expansion of m in v
2.029 * [taylor]: Taking taylor expansion of v in v
2.030 * [taylor]: Taking taylor expansion of (* (- 1.0 m) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in m
2.030 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
2.030 * [taylor]: Taking taylor expansion of 1.0 in m
2.030 * [taylor]: Taking taylor expansion of m in m
2.030 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in m
2.030 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in m
2.030 * [taylor]: Taking taylor expansion of 1.0 in m
2.030 * [taylor]: Taking taylor expansion of (/ m v) in m
2.030 * [taylor]: Taking taylor expansion of m in m
2.030 * [taylor]: Taking taylor expansion of v in m
2.030 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in m
2.030 * [taylor]: Taking taylor expansion of 1.0 in m
2.030 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
2.030 * [taylor]: Taking taylor expansion of (pow m 2) in m
2.030 * [taylor]: Taking taylor expansion of m in m
2.030 * [taylor]: Taking taylor expansion of v in m
2.031 * [taylor]: Taking taylor expansion of (* (- 1.0 m) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in m
2.031 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
2.031 * [taylor]: Taking taylor expansion of 1.0 in m
2.031 * [taylor]: Taking taylor expansion of m in m
2.031 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in m
2.031 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in m
2.031 * [taylor]: Taking taylor expansion of 1.0 in m
2.031 * [taylor]: Taking taylor expansion of (/ m v) in m
2.031 * [taylor]: Taking taylor expansion of m in m
2.031 * [taylor]: Taking taylor expansion of v in m
2.031 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in m
2.031 * [taylor]: Taking taylor expansion of 1.0 in m
2.031 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
2.031 * [taylor]: Taking taylor expansion of (pow m 2) in m
2.031 * [taylor]: Taking taylor expansion of m in m
2.031 * [taylor]: Taking taylor expansion of v in m
2.034 * [taylor]: Taking taylor expansion of -1.0 in v
2.036 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 v)) 1.0) in v
2.036 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 v)) in v
2.036 * [taylor]: Taking taylor expansion of 1.0 in v
2.036 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.036 * [taylor]: Taking taylor expansion of v in v
2.036 * [taylor]: Taking taylor expansion of 1.0 in v
2.039 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 v))) in v
2.039 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in v
2.039 * [taylor]: Taking taylor expansion of 2.0 in v
2.039 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.039 * [taylor]: Taking taylor expansion of v in v
2.041 * [approximate]: Taking taylor expansion of (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- 1.0 (/ 1 m))) in (m v) around 0
2.041 * [taylor]: Taking taylor expansion of (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- 1.0 (/ 1 m))) in v
2.041 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in v
2.041 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in v
2.041 * [taylor]: Taking taylor expansion of 1.0 in v
2.041 * [taylor]: Taking taylor expansion of (/ v m) in v
2.041 * [taylor]: Taking taylor expansion of v in v
2.041 * [taylor]: Taking taylor expansion of m in v
2.041 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in v
2.041 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
2.041 * [taylor]: Taking taylor expansion of v in v
2.041 * [taylor]: Taking taylor expansion of (pow m 2) in v
2.041 * [taylor]: Taking taylor expansion of m in v
2.041 * [taylor]: Taking taylor expansion of 1.0 in v
2.041 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in v
2.041 * [taylor]: Taking taylor expansion of 1.0 in v
2.041 * [taylor]: Taking taylor expansion of (/ 1 m) in v
2.041 * [taylor]: Taking taylor expansion of m in v
2.041 * [taylor]: Taking taylor expansion of (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- 1.0 (/ 1 m))) in m
2.041 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in m
2.041 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
2.041 * [taylor]: Taking taylor expansion of 1.0 in m
2.041 * [taylor]: Taking taylor expansion of (/ v m) in m
2.041 * [taylor]: Taking taylor expansion of v in m
2.041 * [taylor]: Taking taylor expansion of m in m
2.041 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in m
2.041 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
2.041 * [taylor]: Taking taylor expansion of v in m
2.041 * [taylor]: Taking taylor expansion of (pow m 2) in m
2.041 * [taylor]: Taking taylor expansion of m in m
2.042 * [taylor]: Taking taylor expansion of 1.0 in m
2.042 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
2.042 * [taylor]: Taking taylor expansion of 1.0 in m
2.042 * [taylor]: Taking taylor expansion of (/ 1 m) in m
2.042 * [taylor]: Taking taylor expansion of m in m
2.042 * [taylor]: Taking taylor expansion of (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- 1.0 (/ 1 m))) in m
2.042 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in m
2.042 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
2.042 * [taylor]: Taking taylor expansion of 1.0 in m
2.042 * [taylor]: Taking taylor expansion of (/ v m) in m
2.042 * [taylor]: Taking taylor expansion of v in m
2.042 * [taylor]: Taking taylor expansion of m in m
2.042 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in m
2.042 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
2.042 * [taylor]: Taking taylor expansion of v in m
2.042 * [taylor]: Taking taylor expansion of (pow m 2) in m
2.042 * [taylor]: Taking taylor expansion of m in m
2.043 * [taylor]: Taking taylor expansion of 1.0 in m
2.043 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
2.043 * [taylor]: Taking taylor expansion of 1.0 in m
2.043 * [taylor]: Taking taylor expansion of (/ 1 m) in m
2.043 * [taylor]: Taking taylor expansion of m in m
2.043 * [taylor]: Taking taylor expansion of v in v
2.046 * [taylor]: Taking taylor expansion of (- (* 2.0 v)) in v
2.046 * [taylor]: Taking taylor expansion of (* 2.0 v) in v
2.046 * [taylor]: Taking taylor expansion of 2.0 in v
2.046 * [taylor]: Taking taylor expansion of v in v
2.051 * [taylor]: Taking taylor expansion of (+ (* 1.0 v) 1.0) in v
2.051 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
2.051 * [taylor]: Taking taylor expansion of 1.0 in v
2.051 * [taylor]: Taking taylor expansion of v in v
2.051 * [taylor]: Taking taylor expansion of 1.0 in v
2.054 * [approximate]: Taking taylor expansion of (* (+ (/ 1 m) 1.0) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) in (m v) around 0
2.054 * [taylor]: Taking taylor expansion of (* (+ (/ 1 m) 1.0) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) in v
2.054 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in v
2.054 * [taylor]: Taking taylor expansion of (/ 1 m) in v
2.054 * [taylor]: Taking taylor expansion of m in v
2.054 * [taylor]: Taking taylor expansion of 1.0 in v
2.054 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in v
2.055 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in v
2.055 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
2.055 * [taylor]: Taking taylor expansion of v in v
2.055 * [taylor]: Taking taylor expansion of (pow m 2) in v
2.055 * [taylor]: Taking taylor expansion of m in v
2.055 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in v
2.055 * [taylor]: Taking taylor expansion of 1.0 in v
2.055 * [taylor]: Taking taylor expansion of (/ v m) in v
2.055 * [taylor]: Taking taylor expansion of v in v
2.055 * [taylor]: Taking taylor expansion of m in v
2.055 * [taylor]: Taking taylor expansion of 1.0 in v
2.055 * [taylor]: Taking taylor expansion of (* (+ (/ 1 m) 1.0) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) in m
2.055 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
2.055 * [taylor]: Taking taylor expansion of (/ 1 m) in m
2.055 * [taylor]: Taking taylor expansion of m in m
2.055 * [taylor]: Taking taylor expansion of 1.0 in m
2.055 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in m
2.055 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in m
2.055 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
2.055 * [taylor]: Taking taylor expansion of v in m
2.055 * [taylor]: Taking taylor expansion of (pow m 2) in m
2.055 * [taylor]: Taking taylor expansion of m in m
2.056 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
2.056 * [taylor]: Taking taylor expansion of 1.0 in m
2.056 * [taylor]: Taking taylor expansion of (/ v m) in m
2.056 * [taylor]: Taking taylor expansion of v in m
2.056 * [taylor]: Taking taylor expansion of m in m
2.056 * [taylor]: Taking taylor expansion of 1.0 in m
2.056 * [taylor]: Taking taylor expansion of (* (+ (/ 1 m) 1.0) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) in m
2.056 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
2.056 * [taylor]: Taking taylor expansion of (/ 1 m) in m
2.056 * [taylor]: Taking taylor expansion of m in m
2.056 * [taylor]: Taking taylor expansion of 1.0 in m
2.056 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in m
2.056 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in m
2.056 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
2.056 * [taylor]: Taking taylor expansion of v in m
2.056 * [taylor]: Taking taylor expansion of (pow m 2) in m
2.056 * [taylor]: Taking taylor expansion of m in m
2.056 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
2.056 * [taylor]: Taking taylor expansion of 1.0 in m
2.056 * [taylor]: Taking taylor expansion of (/ v m) in m
2.056 * [taylor]: Taking taylor expansion of v in m
2.057 * [taylor]: Taking taylor expansion of m in m
2.057 * [taylor]: Taking taylor expansion of 1.0 in m
2.057 * [taylor]: Taking taylor expansion of v in v
2.059 * [taylor]: Taking taylor expansion of (* 2.0 v) in v
2.059 * [taylor]: Taking taylor expansion of 2.0 in v
2.059 * [taylor]: Taking taylor expansion of v in v
2.063 * [taylor]: Taking taylor expansion of (- (* 1.0 v) 1.0) in v
2.064 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
2.064 * [taylor]: Taking taylor expansion of 1.0 in v
2.064 * [taylor]: Taking taylor expansion of v in v
2.064 * [taylor]: Taking taylor expansion of 1.0 in v
2.066 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
2.067 * [approximate]: Taking taylor expansion of (/ (* m (- 1.0 m)) v) in (m v) around 0
2.067 * [taylor]: Taking taylor expansion of (/ (* m (- 1.0 m)) v) in v
2.067 * [taylor]: Taking taylor expansion of (* m (- 1.0 m)) in v
2.067 * [taylor]: Taking taylor expansion of m in v
2.067 * [taylor]: Taking taylor expansion of (- 1.0 m) in v
2.067 * [taylor]: Taking taylor expansion of 1.0 in v
2.067 * [taylor]: Taking taylor expansion of m in v
2.067 * [taylor]: Taking taylor expansion of v in v
2.067 * [taylor]: Taking taylor expansion of (/ (* m (- 1.0 m)) v) in m
2.067 * [taylor]: Taking taylor expansion of (* m (- 1.0 m)) in m
2.067 * [taylor]: Taking taylor expansion of m in m
2.067 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
2.067 * [taylor]: Taking taylor expansion of 1.0 in m
2.067 * [taylor]: Taking taylor expansion of m in m
2.067 * [taylor]: Taking taylor expansion of v in m
2.069 * [taylor]: Taking taylor expansion of (/ (* m (- 1.0 m)) v) in m
2.069 * [taylor]: Taking taylor expansion of (* m (- 1.0 m)) in m
2.069 * [taylor]: Taking taylor expansion of m in m
2.069 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
2.069 * [taylor]: Taking taylor expansion of 1.0 in m
2.069 * [taylor]: Taking taylor expansion of m in m
2.069 * [taylor]: Taking taylor expansion of v in m
2.071 * [taylor]: Taking taylor expansion of (/ 1.0 v) in v
2.071 * [taylor]: Taking taylor expansion of 1.0 in v
2.071 * [taylor]: Taking taylor expansion of v in v
2.073 * [taylor]: Taking taylor expansion of (- (/ 1 v)) in v
2.073 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.073 * [taylor]: Taking taylor expansion of v in v
2.075 * [taylor]: Taking taylor expansion of 0 in v
2.078 * [taylor]: Taking taylor expansion of 0 in v
2.080 * [approximate]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in (m v) around 0
2.080 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in v
2.080 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in v
2.080 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in v
2.080 * [taylor]: Taking taylor expansion of 1.0 in v
2.080 * [taylor]: Taking taylor expansion of (/ 1 m) in v
2.080 * [taylor]: Taking taylor expansion of m in v
2.080 * [taylor]: Taking taylor expansion of v in v
2.080 * [taylor]: Taking taylor expansion of m in v
2.081 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in m
2.081 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in m
2.081 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
2.081 * [taylor]: Taking taylor expansion of 1.0 in m
2.081 * [taylor]: Taking taylor expansion of (/ 1 m) in m
2.081 * [taylor]: Taking taylor expansion of m in m
2.081 * [taylor]: Taking taylor expansion of v in m
2.081 * [taylor]: Taking taylor expansion of m in m
2.082 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in m
2.082 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in m
2.082 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
2.082 * [taylor]: Taking taylor expansion of 1.0 in m
2.082 * [taylor]: Taking taylor expansion of (/ 1 m) in m
2.082 * [taylor]: Taking taylor expansion of m in m
2.082 * [taylor]: Taking taylor expansion of v in m
2.082 * [taylor]: Taking taylor expansion of m in m
2.083 * [taylor]: Taking taylor expansion of (* -1 v) in v
2.083 * [taylor]: Taking taylor expansion of -1 in v
2.083 * [taylor]: Taking taylor expansion of v in v
2.085 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
2.085 * [taylor]: Taking taylor expansion of 1.0 in v
2.085 * [taylor]: Taking taylor expansion of v in v
2.088 * [taylor]: Taking taylor expansion of 0 in v
2.092 * [taylor]: Taking taylor expansion of 0 in v
2.093 * [approximate]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in (m v) around 0
2.093 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in v
2.093 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1.0)) in v
2.093 * [taylor]: Taking taylor expansion of v in v
2.093 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in v
2.093 * [taylor]: Taking taylor expansion of (/ 1 m) in v
2.093 * [taylor]: Taking taylor expansion of m in v
2.093 * [taylor]: Taking taylor expansion of 1.0 in v
2.093 * [taylor]: Taking taylor expansion of m in v
2.093 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in m
2.093 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1.0)) in m
2.093 * [taylor]: Taking taylor expansion of v in m
2.094 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
2.094 * [taylor]: Taking taylor expansion of (/ 1 m) in m
2.094 * [taylor]: Taking taylor expansion of m in m
2.094 * [taylor]: Taking taylor expansion of 1.0 in m
2.094 * [taylor]: Taking taylor expansion of m in m
2.094 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in m
2.094 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1.0)) in m
2.094 * [taylor]: Taking taylor expansion of v in m
2.094 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
2.094 * [taylor]: Taking taylor expansion of (/ 1 m) in m
2.094 * [taylor]: Taking taylor expansion of m in m
2.094 * [taylor]: Taking taylor expansion of 1.0 in m
2.095 * [taylor]: Taking taylor expansion of m in m
2.095 * [taylor]: Taking taylor expansion of v in v
2.096 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
2.096 * [taylor]: Taking taylor expansion of 1.0 in v
2.096 * [taylor]: Taking taylor expansion of v in v
2.099 * [taylor]: Taking taylor expansion of 0 in v
2.102 * [taylor]: Taking taylor expansion of 0 in v
2.102 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
2.102 * [approximate]: Taking taylor expansion of (* m (- 1.0 m)) in (m) around 0
2.102 * [taylor]: Taking taylor expansion of (* m (- 1.0 m)) in m
2.102 * [taylor]: Taking taylor expansion of m in m
2.102 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
2.102 * [taylor]: Taking taylor expansion of 1.0 in m
2.102 * [taylor]: Taking taylor expansion of m in m
2.103 * [taylor]: Taking taylor expansion of (* m (- 1.0 m)) in m
2.103 * [taylor]: Taking taylor expansion of m in m
2.103 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
2.103 * [taylor]: Taking taylor expansion of 1.0 in m
2.103 * [taylor]: Taking taylor expansion of m in m
2.117 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 m)) m) in (m) around 0
2.117 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 m)) m) in m
2.117 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
2.117 * [taylor]: Taking taylor expansion of 1.0 in m
2.117 * [taylor]: Taking taylor expansion of (/ 1 m) in m
2.117 * [taylor]: Taking taylor expansion of m in m
2.118 * [taylor]: Taking taylor expansion of m in m
2.118 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 m)) m) in m
2.118 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
2.118 * [taylor]: Taking taylor expansion of 1.0 in m
2.118 * [taylor]: Taking taylor expansion of (/ 1 m) in m
2.118 * [taylor]: Taking taylor expansion of m in m
2.119 * [taylor]: Taking taylor expansion of m in m
2.131 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1.0) m)) in (m) around 0
2.131 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1.0) m)) in m
2.131 * [taylor]: Taking taylor expansion of -1 in m
2.131 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1.0) m) in m
2.131 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
2.131 * [taylor]: Taking taylor expansion of (/ 1 m) in m
2.131 * [taylor]: Taking taylor expansion of m in m
2.132 * [taylor]: Taking taylor expansion of 1.0 in m
2.132 * [taylor]: Taking taylor expansion of m in m
2.132 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1.0) m)) in m
2.132 * [taylor]: Taking taylor expansion of -1 in m
2.132 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1.0) m) in m
2.132 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
2.132 * [taylor]: Taking taylor expansion of (/ 1 m) in m
2.132 * [taylor]: Taking taylor expansion of m in m
2.133 * [taylor]: Taking taylor expansion of 1.0 in m
2.133 * [taylor]: Taking taylor expansion of m in m
2.149 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
2.149 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in (m v) around 0
2.149 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in v
2.149 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in v
2.149 * [taylor]: Taking taylor expansion of 1.0 in v
2.149 * [taylor]: Taking taylor expansion of (/ m v) in v
2.149 * [taylor]: Taking taylor expansion of m in v
2.149 * [taylor]: Taking taylor expansion of v in v
2.149 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in v
2.150 * [taylor]: Taking taylor expansion of 1.0 in v
2.150 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v
2.150 * [taylor]: Taking taylor expansion of (pow m 2) in v
2.150 * [taylor]: Taking taylor expansion of m in v
2.150 * [taylor]: Taking taylor expansion of v in v
2.150 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in m
2.150 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in m
2.150 * [taylor]: Taking taylor expansion of 1.0 in m
2.150 * [taylor]: Taking taylor expansion of (/ m v) in m
2.150 * [taylor]: Taking taylor expansion of m in m
2.150 * [taylor]: Taking taylor expansion of v in m
2.150 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in m
2.150 * [taylor]: Taking taylor expansion of 1.0 in m
2.150 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
2.150 * [taylor]: Taking taylor expansion of (pow m 2) in m
2.150 * [taylor]: Taking taylor expansion of m in m
2.150 * [taylor]: Taking taylor expansion of v in m
2.150 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in m
2.150 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in m
2.150 * [taylor]: Taking taylor expansion of 1.0 in m
2.150 * [taylor]: Taking taylor expansion of (/ m v) in m
2.150 * [taylor]: Taking taylor expansion of m in m
2.150 * [taylor]: Taking taylor expansion of v in m
2.150 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in m
2.150 * [taylor]: Taking taylor expansion of 1.0 in m
2.150 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
2.150 * [taylor]: Taking taylor expansion of (pow m 2) in m
2.150 * [taylor]: Taking taylor expansion of m in m
2.150 * [taylor]: Taking taylor expansion of v in m
2.152 * [taylor]: Taking taylor expansion of (- 1.0) in v
2.152 * [taylor]: Taking taylor expansion of 1.0 in v
2.152 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 v)) in v
2.152 * [taylor]: Taking taylor expansion of 1.0 in v
2.152 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.152 * [taylor]: Taking taylor expansion of v in v
2.154 * [taylor]: Taking taylor expansion of (- (/ 1 v)) in v
2.154 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.154 * [taylor]: Taking taylor expansion of v in v
2.155 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in (m v) around 0
2.155 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in v
2.155 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in v
2.155 * [taylor]: Taking taylor expansion of 1.0 in v
2.155 * [taylor]: Taking taylor expansion of (/ v m) in v
2.155 * [taylor]: Taking taylor expansion of v in v
2.155 * [taylor]: Taking taylor expansion of m in v
2.155 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in v
2.155 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
2.155 * [taylor]: Taking taylor expansion of v in v
2.155 * [taylor]: Taking taylor expansion of (pow m 2) in v
2.155 * [taylor]: Taking taylor expansion of m in v
2.155 * [taylor]: Taking taylor expansion of 1.0 in v
2.155 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in m
2.155 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
2.155 * [taylor]: Taking taylor expansion of 1.0 in m
2.155 * [taylor]: Taking taylor expansion of (/ v m) in m
2.155 * [taylor]: Taking taylor expansion of v in m
2.155 * [taylor]: Taking taylor expansion of m in m
2.156 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in m
2.156 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
2.156 * [taylor]: Taking taylor expansion of v in m
2.156 * [taylor]: Taking taylor expansion of (pow m 2) in m
2.156 * [taylor]: Taking taylor expansion of m in m
2.156 * [taylor]: Taking taylor expansion of 1.0 in m
2.156 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in m
2.156 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
2.156 * [taylor]: Taking taylor expansion of 1.0 in m
2.156 * [taylor]: Taking taylor expansion of (/ v m) in m
2.156 * [taylor]: Taking taylor expansion of v in m
2.156 * [taylor]: Taking taylor expansion of m in m
2.156 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in m
2.156 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
2.156 * [taylor]: Taking taylor expansion of v in m
2.156 * [taylor]: Taking taylor expansion of (pow m 2) in m
2.156 * [taylor]: Taking taylor expansion of m in m
2.156 * [taylor]: Taking taylor expansion of 1.0 in m
2.157 * [taylor]: Taking taylor expansion of (- v) in v
2.157 * [taylor]: Taking taylor expansion of v in v
2.158 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
2.158 * [taylor]: Taking taylor expansion of 1.0 in v
2.158 * [taylor]: Taking taylor expansion of v in v
2.162 * [taylor]: Taking taylor expansion of (- 1.0) in v
2.162 * [taylor]: Taking taylor expansion of 1.0 in v
2.164 * [approximate]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in (m v) around 0
2.164 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in v
2.164 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in v
2.164 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
2.164 * [taylor]: Taking taylor expansion of v in v
2.164 * [taylor]: Taking taylor expansion of (pow m 2) in v
2.164 * [taylor]: Taking taylor expansion of m in v
2.164 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in v
2.164 * [taylor]: Taking taylor expansion of 1.0 in v
2.164 * [taylor]: Taking taylor expansion of (/ v m) in v
2.164 * [taylor]: Taking taylor expansion of v in v
2.164 * [taylor]: Taking taylor expansion of m in v
2.164 * [taylor]: Taking taylor expansion of 1.0 in v
2.164 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in m
2.164 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in m
2.164 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
2.164 * [taylor]: Taking taylor expansion of v in m
2.164 * [taylor]: Taking taylor expansion of (pow m 2) in m
2.164 * [taylor]: Taking taylor expansion of m in m
2.165 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
2.165 * [taylor]: Taking taylor expansion of 1.0 in m
2.165 * [taylor]: Taking taylor expansion of (/ v m) in m
2.165 * [taylor]: Taking taylor expansion of v in m
2.165 * [taylor]: Taking taylor expansion of m in m
2.165 * [taylor]: Taking taylor expansion of 1.0 in m
2.165 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in m
2.165 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in m
2.165 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
2.165 * [taylor]: Taking taylor expansion of v in m
2.165 * [taylor]: Taking taylor expansion of (pow m 2) in m
2.165 * [taylor]: Taking taylor expansion of m in m
2.165 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
2.165 * [taylor]: Taking taylor expansion of 1.0 in m
2.165 * [taylor]: Taking taylor expansion of (/ v m) in m
2.165 * [taylor]: Taking taylor expansion of v in m
2.165 * [taylor]: Taking taylor expansion of m in m
2.165 * [taylor]: Taking taylor expansion of 1.0 in m
2.165 * [taylor]: Taking taylor expansion of v in v
2.166 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
2.166 * [taylor]: Taking taylor expansion of 1.0 in v
2.166 * [taylor]: Taking taylor expansion of v in v
2.170 * [taylor]: Taking taylor expansion of (- 1.0) in v
2.170 * [taylor]: Taking taylor expansion of 1.0 in v
2.172 * * * [progress]: simplifying candidates
2.175 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
  (log1p (* (- (/ (* 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)) (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) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cbrt m) (* (cbrt m) (cbrt m))))))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (fma (- (cbrt m)) (* (cbrt m) (cbrt m)) (* (cbrt m) (* (cbrt m) (cbrt m)))))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (sqrt m) (sqrt m)))))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (fma (- (sqrt m)) (sqrt m) (* (sqrt m) (sqrt m))))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* m 1))))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (fma (- m) 1 (* m 1)))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (fma (sqrt 1.0) (sqrt 1.0) (- (* (cbrt m) (* (cbrt m) (cbrt m))))))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (fma (- (cbrt m)) (* (cbrt m) (cbrt m)) (* (cbrt m) (* (cbrt m) (cbrt m)))))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (fma (sqrt 1.0) (sqrt 1.0) (- (* (sqrt m) (sqrt m)))))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (fma (- (sqrt m)) (sqrt m) (* (sqrt m) (sqrt m))))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (fma (sqrt 1.0) (sqrt 1.0) (- (* m 1))))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (fma (- m) 1 (* m 1)))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (fma 1 1.0 (- (* (cbrt m) (* (cbrt m) (cbrt m))))))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (fma (- (cbrt m)) (* (cbrt m) (cbrt m)) (* (cbrt m) (* (cbrt m) (cbrt m)))))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (fma 1 1.0 (- (* (sqrt m) (sqrt m)))))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (fma (- (sqrt m)) (sqrt m) (* (sqrt m) (sqrt m))))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (fma 1 1.0 (- (* m 1))))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (fma (- m) 1 (* m 1)))
  (* (- (/ (* 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))
  (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cbrt m) (* (cbrt m) (cbrt m))))) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (fma (- (cbrt m)) (* (cbrt m) (cbrt m)) (* (cbrt m) (* (cbrt m) (cbrt m)))) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (sqrt m) (sqrt m)))) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (fma (- (sqrt m)) (sqrt m) (* (sqrt m) (sqrt m))) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* m 1))) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (fma (- m) 1 (* m 1)) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (fma (sqrt 1.0) (sqrt 1.0) (- (* (cbrt m) (* (cbrt m) (cbrt m))))) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (fma (- (cbrt m)) (* (cbrt m) (cbrt m)) (* (cbrt m) (* (cbrt m) (cbrt m)))) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (fma (sqrt 1.0) (sqrt 1.0) (- (* (sqrt m) (sqrt m)))) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (fma (- (sqrt m)) (sqrt m) (* (sqrt m) (sqrt m))) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (fma (sqrt 1.0) (sqrt 1.0) (- (* m 1))) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (fma (- m) 1 (* m 1)) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (fma 1 1.0 (- (* (cbrt m) (* (cbrt m) (cbrt m))))) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (fma (- (cbrt m)) (* (cbrt m) (cbrt m)) (* (cbrt m) (* (cbrt m) (cbrt m)))) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (fma 1 1.0 (- (* (sqrt m) (sqrt m)))) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (fma (- (sqrt m)) (sqrt m) (* (sqrt m) (sqrt m))) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (fma 1 1.0 (- (* m 1))) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (fma (- m) 1 (* m 1)) (- (/ (* 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) 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))
  (expm1 (/ (* m (- 1.0 m)) v))
  (log1p (/ (* m (- 1.0 m)) v))
  (- (+ (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))
  (expm1 (* m (- 1.0 m)))
  (log1p (* m (- 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 (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cbrt m) (* (cbrt m) (cbrt m))))))
  (* m (fma (- (cbrt m)) (* (cbrt m) (cbrt m)) (* (cbrt m) (* (cbrt m) (cbrt m)))))
  (* m (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (sqrt m) (sqrt m)))))
  (* m (fma (- (sqrt m)) (sqrt m) (* (sqrt m) (sqrt m))))
  (* m (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* m 1))))
  (* m (fma (- m) 1 (* m 1)))
  (* m (fma (sqrt 1.0) (sqrt 1.0) (- (* (cbrt m) (* (cbrt m) (cbrt m))))))
  (* m (fma (- (cbrt m)) (* (cbrt m) (cbrt m)) (* (cbrt m) (* (cbrt m) (cbrt m)))))
  (* m (fma (sqrt 1.0) (sqrt 1.0) (- (* (sqrt m) (sqrt m)))))
  (* m (fma (- (sqrt m)) (sqrt m) (* (sqrt m) (sqrt m))))
  (* m (fma (sqrt 1.0) (sqrt 1.0) (- (* m 1))))
  (* m (fma (- m) 1 (* m 1)))
  (* m (fma 1 1.0 (- (* (cbrt m) (* (cbrt m) (cbrt m))))))
  (* m (fma (- (cbrt m)) (* (cbrt m) (cbrt m)) (* (cbrt m) (* (cbrt m) (cbrt m)))))
  (* m (fma 1 1.0 (- (* (sqrt m) (sqrt m)))))
  (* m (fma (- (sqrt m)) (sqrt m) (* (sqrt m) (sqrt m))))
  (* m (fma 1 1.0 (- (* m 1))))
  (* m (fma (- m) 1 (* m 1)))
  (* m 1.0)
  (* m (- m))
  (* m 1.0)
  (* m (- m))
  (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cbrt m) (* (cbrt m) (cbrt m))))) m)
  (* (fma (- (cbrt m)) (* (cbrt m) (cbrt m)) (* (cbrt m) (* (cbrt m) (cbrt m)))) m)
  (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (sqrt m) (sqrt m)))) m)
  (* (fma (- (sqrt m)) (sqrt m) (* (sqrt m) (sqrt m))) m)
  (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* m 1))) m)
  (* (fma (- m) 1 (* m 1)) m)
  (* (fma (sqrt 1.0) (sqrt 1.0) (- (* (cbrt m) (* (cbrt m) (cbrt m))))) m)
  (* (fma (- (cbrt m)) (* (cbrt m) (cbrt m)) (* (cbrt m) (* (cbrt m) (cbrt m)))) m)
  (* (fma (sqrt 1.0) (sqrt 1.0) (- (* (sqrt m) (sqrt m)))) m)
  (* (fma (- (sqrt m)) (sqrt m) (* (sqrt m) (sqrt m))) m)
  (* (fma (sqrt 1.0) (sqrt 1.0) (- (* m 1))) m)
  (* (fma (- m) 1 (* m 1)) m)
  (* (fma 1 1.0 (- (* (cbrt m) (* (cbrt m) (cbrt m))))) m)
  (* (fma (- (cbrt m)) (* (cbrt m) (cbrt m)) (* (cbrt m) (* (cbrt m) (cbrt m)))) m)
  (* (fma 1 1.0 (- (* (sqrt m) (sqrt m)))) m)
  (* (fma (- (sqrt m)) (sqrt m) (* (sqrt m) (sqrt m))) m)
  (* (fma 1 1.0 (- (* m 1))) m)
  (* (fma (- m) 1 (* m 1)) 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)))
  (fma (* (cbrt (/ (* m (- 1.0 m)) v)) (cbrt (/ (* m (- 1.0 m)) v))) (cbrt (/ (* m (- 1.0 m)) v)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (* (cbrt (/ (* m (- 1.0 m)) v)) (cbrt (/ (* m (- 1.0 m)) v))) (cbrt (/ (* m (- 1.0 m)) v)) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (* (cbrt (/ (* m (- 1.0 m)) v)) (cbrt (/ (* m (- 1.0 m)) v))) (cbrt (/ (* m (- 1.0 m)) v)) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (sqrt (/ (* m (- 1.0 m)) v)) (sqrt (/ (* m (- 1.0 m)) v)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (sqrt (/ (* m (- 1.0 m)) v)) (sqrt (/ (* m (- 1.0 m)) v)) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (sqrt (/ (* m (- 1.0 m)) v)) (sqrt (/ (* m (- 1.0 m)) v)) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (/ m (* (cbrt v) (cbrt v))) (/ (- 1.0 m) (cbrt v)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (/ m (* (cbrt v) (cbrt v))) (/ (- 1.0 m) (cbrt v)) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (/ m (* (cbrt v) (cbrt v))) (/ (- 1.0 m) (cbrt v)) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v)) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v)) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (/ m 1) (/ (- 1.0 m) v) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (/ m 1) (/ (- 1.0 m) v) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (/ m 1) (/ (- 1.0 m) v) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma 1 (/ (* m (- 1.0 m)) v) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma 1 (/ (* m (- 1.0 m)) v) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma 1 (/ (* m (- 1.0 m)) v) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (* m (- 1.0 m)) (/ 1 v) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (* m (- 1.0 m)) (/ 1 v) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (* m (- 1.0 m)) (/ 1 v) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (expm1 (- (/ (* m (- 1.0 m)) v) 1.0))
  (log1p (- (/ (* m (- 1.0 m)) v) 1.0))
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (/ (exp (/ (* m (- 1.0 m)) v)) (exp 1.0))
  (log (- (/ (* m (- 1.0 m)) v) 1.0))
  (exp (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (cbrt (- (/ (* m (- 1.0 m)) v) 1.0)) (cbrt (- (/ (* m (- 1.0 m)) v) 1.0)))
  (cbrt (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (* (- (/ (* m (- 1.0 m)) v) 1.0) (- (/ (* m (- 1.0 m)) v) 1.0)) (- (/ (* m (- 1.0 m)) v) 1.0))
  (sqrt (- (/ (* m (- 1.0 m)) v) 1.0))
  (sqrt (- (/ (* m (- 1.0 m)) v) 1.0))
  (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 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 (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0))
  (+ (/ (* m (- 1.0 m)) v) 1.0)
  (+ (sqrt (/ (* m (- 1.0 m)) v)) (sqrt 1.0))
  (- (sqrt (/ (* m (- 1.0 m)) v)) (sqrt 1.0))
  (- (/ (* m (- 1.0 m)) v) 1.0)
  (- 1.0)
  (- (* 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))
  (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))
  (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))
  (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))
2.183 * * [simplify]: iteration  0 :  265  enodes  (cost  3570 )
2.261 * * [simplify]: iteration  1 :  567  enodes  (cost  2895 )
2.507 * * [simplify]: iteration  2 :  2316  enodes  (cost  2448 )
3.153 * * [simplify]: iteration  done :  5000  enodes  (cost  2448 )
3.154 * [simplify]: Simplified to:
   (expm1 (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
  (log1p (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
  (* (- 1.0 m) (- (/ m (/ v (- 1.0 m))) 1.0))
  (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 (* (- 1.0 m) (- (/ m (/ v (- 1.0 m))) 1.0)) 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 (* (- 1.0 m) (- (/ m (/ v (- 1.0 m))) 1.0)) 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)))
  (* (fma (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v) (* 1.0 (+ (/ (* m (- 1.0 m)) v) 1.0))) (fma 1.0 1.0 (* m (+ 1.0 m))))
  (* (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3)) (- (* 1.0 1.0) (* m m)))
  (* (fma (/ (* 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)))
  (* (fma 1.0 1.0 (* m (+ 1.0 m))) (+ (/ (* m (- 1.0 m)) v) 1.0))
  (* (- (* (/ (* 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)))
  (* (- 1.0 m) (- (/ m (/ v (- 1.0 m))) 1.0))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (* m 0))
  (* (- 1.0 m) (- (/ m (/ v (- 1.0 m))) 1.0))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (* m 0))
  (* (- 1.0 m) (- (/ m (/ v (- 1.0 m))) 1.0))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (* m 0))
  (* (- 1.0 m) (- (/ m (/ v (- 1.0 m))) 1.0))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (* m 0))
  (* (- 1.0 m) (- (/ m (/ v (- 1.0 m))) 1.0))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (* m 0))
  (* (- 1.0 m) (- (/ m (/ v (- 1.0 m))) 1.0))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (* m 0))
  (* (- 1.0 m) (- (/ m (/ v (- 1.0 m))) 1.0))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (* m 0))
  (* (- 1.0 m) (- (/ m (/ v (- 1.0 m))) 1.0))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (* m 0))
  (* (- 1.0 m) (- (/ m (/ v (- 1.0 m))) 1.0))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (* m 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))
  (* (- 1.0 m) (- (/ m (/ v (- 1.0 m))) 1.0))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (* m 0))
  (* (- 1.0 m) (- (/ m (/ v (- 1.0 m))) 1.0))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (* m 0))
  (* (- 1.0 m) (- (/ m (/ v (- 1.0 m))) 1.0))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (* m 0))
  (* (- 1.0 m) (- (/ m (/ v (- 1.0 m))) 1.0))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (* m 0))
  (* (- 1.0 m) (- (/ m (/ v (- 1.0 m))) 1.0))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (* m 0))
  (* (- 1.0 m) (- (/ m (/ v (- 1.0 m))) 1.0))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (* m 0))
  (* (- 1.0 m) (- (/ m (/ v (- 1.0 m))) 1.0))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (* m 0))
  (* (- 1.0 m) (- (/ m (/ v (- 1.0 m))) 1.0))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (* m 0))
  (* (- 1.0 m) (- (/ m (/ v (- 1.0 m))) 1.0))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (* m 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) (* (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))
  (* (- 1.0 m) (- (/ m (/ v (- 1.0 m))) 1.0))
  (* (- (sqrt (/ (* m (- 1.0 m)) v)) (sqrt 1.0)) (- 1.0 m))
  (* (- 1.0 m) (- (/ m (/ v (- 1.0 m))) 1.0))
  (* (- (/ (* 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))
  (expm1 (/ (* m (- 1.0 m)) v))
  (log1p (/ (* m (- 1.0 m)) v))
  (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 (/ v (- 1.0 m))) 3)
  (pow (/ m (/ v (- 1.0 m))) 3)
  (* (cbrt (/ (* m (- 1.0 m)) v)) (cbrt (/ (* m (- 1.0 m)) v)))
  (cbrt (/ (* m (- 1.0 m)) v))
  (pow (/ m (/ v (- 1.0 m))) 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))
  (* (fma 1.0 1.0 (* m (+ 1.0 m))) v)
  (* v (+ 1.0 m))
  (expm1 (* m (- 1.0 m)))
  (log1p (* m (- 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 0) m)
  (* m (- 1.0 m))
  (* (* m 0) m)
  (* m (- 1.0 m))
  (* (* m 0) m)
  (* m (- 1.0 m))
  (* (* m 0) m)
  (* m (- 1.0 m))
  (* (* m 0) m)
  (* m (- 1.0 m))
  (* (* m 0) m)
  (* m (- 1.0 m))
  (* (* m 0) m)
  (* m (- 1.0 m))
  (* (* m 0) m)
  (* m (- 1.0 m))
  (* (* m 0) m)
  (* 1.0 m)
  (* (- m) m)
  (* 1.0 m)
  (* (- m) m)
  (* m (- 1.0 m))
  (* (* m 0) m)
  (* m (- 1.0 m))
  (* (* m 0) m)
  (* m (- 1.0 m))
  (* (* m 0) m)
  (* m (- 1.0 m))
  (* (* m 0) m)
  (* m (- 1.0 m))
  (* (* m 0) m)
  (* m (- 1.0 m))
  (* (* m 0) m)
  (* m (- 1.0 m))
  (* (* m 0) m)
  (* m (- 1.0 m))
  (* (* m 0) m)
  (* m (- 1.0 m))
  (* (* m 0) 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))
  (* m (- 1.0 m))
  (* m (- (pow 1.0 3) (pow m 3)))
  (* m (- (* 1.0 1.0) (* m m)))
  (fma (* (cbrt (/ (* m (- 1.0 m)) v)) (cbrt (/ (* m (- 1.0 m)) v))) (cbrt (/ (* m (- 1.0 m)) v)) (- 1.0))
  (* 1.0 0)
  (fma (* (cbrt (/ (* m (- 1.0 m)) v)) (cbrt (/ (* m (- 1.0 m)) v))) (cbrt (/ (* m (- 1.0 m)) v)) (- 1.0))
  (* 1.0 0)
  (fma (* (cbrt (/ (* m (- 1.0 m)) v)) (cbrt (/ (* m (- 1.0 m)) v))) (cbrt (/ (* m (- 1.0 m)) v)) (- 1.0))
  (* 1.0 0)
  (- (/ (* m (- 1.0 m)) v) 1.0)
  (* 1.0 0)
  (- (/ (* m (- 1.0 m)) v) 1.0)
  (* 1.0 0)
  (- (/ (* m (- 1.0 m)) v) 1.0)
  (* 1.0 0)
  (fma (/ m (* (cbrt v) (cbrt v))) (/ (- 1.0 m) (cbrt v)) (- 1.0))
  (* 1.0 0)
  (fma (/ m (* (cbrt v) (cbrt v))) (/ (- 1.0 m) (cbrt v)) (- 1.0))
  (* 1.0 0)
  (fma (/ m (* (cbrt v) (cbrt v))) (/ (- 1.0 m) (cbrt v)) (- 1.0))
  (* 1.0 0)
  (fma (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v)) (- 1.0))
  (* 1.0 0)
  (fma (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v)) (- 1.0))
  (* 1.0 0)
  (fma (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v)) (- 1.0))
  (* 1.0 0)
  (- (/ (* m (- 1.0 m)) v) 1.0)
  (* 1.0 0)
  (- (/ (* m (- 1.0 m)) v) 1.0)
  (* 1.0 0)
  (- (/ (* m (- 1.0 m)) v) 1.0)
  (* 1.0 0)
  (- (/ (* m (- 1.0 m)) v) 1.0)
  (* 1.0 0)
  (- (/ (* m (- 1.0 m)) v) 1.0)
  (* 1.0 0)
  (- (/ (* m (- 1.0 m)) v) 1.0)
  (* 1.0 0)
  (- (/ (* m (- 1.0 m)) v) 1.0)
  (* 1.0 0)
  (- (/ (* m (- 1.0 m)) v) 1.0)
  (* 1.0 0)
  (- (/ (* m (- 1.0 m)) v) 1.0)
  (* 1.0 0)
  (expm1 (- (/ (* m (- 1.0 m)) v) 1.0))
  (log1p (- (/ (* m (- 1.0 m)) v) 1.0))
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (exp (- (/ (* m (- 1.0 m)) v) 1.0))
  (log (- (/ (* m (- 1.0 m)) v) 1.0))
  (exp (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (cbrt (- (/ (* m (- 1.0 m)) v) 1.0)) (cbrt (- (/ (* m (- 1.0 m)) v) 1.0)))
  (cbrt (- (/ (* m (- 1.0 m)) v) 1.0))
  (pow (- (/ (* m (- 1.0 m)) v) 1.0) 3)
  (sqrt (- (/ (* m (- 1.0 m)) v) 1.0))
  (sqrt (- (/ (* m (- 1.0 m)) v) 1.0))
  (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3))
  (fma (/ (* 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)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0))
  (+ (/ (* m (- 1.0 m)) v) 1.0)
  (+ (sqrt (/ (* m (- 1.0 m)) v)) (sqrt 1.0))
  (- (sqrt (/ (* m (- 1.0 m)) v)) (sqrt 1.0))
  (- (/ (* m (- 1.0 m)) v) 1.0)
  (- 1.0)
  (- (* 1.0 (/ m v)) (fma 2.0 (/ (pow m 2) v) 1.0))
  (- (fma 1.0 m (/ (pow m 3) v)) (* 2.0 (/ (pow m 2) v)))
  (- (fma 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))
  (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))
  (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))
  (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))
3.156 * * * [progress]: adding candidates to table
3.412 * * [progress]: iteration 2 / 4
3.412 * * * [progress]: picking best candidate
3.421 * * * * [pick]: Picked  #<alt (λ (m v) (+ (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0) (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m))))>
3.421 * * * [progress]: localizing error
3.431 * * * [progress]: generating rewritten candidates
3.431 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
3.481 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1)
3.491 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
3.501 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
3.529 * * * [progress]: generating series expansions
3.529 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
3.529 * [approximate]: Taking taylor expansion of (* -1 (* m (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))))) in (m v) around 0
3.529 * [taylor]: Taking taylor expansion of (* -1 (* m (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))))) in v
3.529 * [taylor]: Taking taylor expansion of -1 in v
3.529 * [taylor]: Taking taylor expansion of (* m (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in v
3.529 * [taylor]: Taking taylor expansion of m in v
3.529 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in v
3.529 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in v
3.529 * [taylor]: Taking taylor expansion of 1.0 in v
3.529 * [taylor]: Taking taylor expansion of (/ m v) in v
3.529 * [taylor]: Taking taylor expansion of m in v
3.529 * [taylor]: Taking taylor expansion of v in v
3.529 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in v
3.529 * [taylor]: Taking taylor expansion of 1.0 in v
3.529 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v
3.529 * [taylor]: Taking taylor expansion of (pow m 2) in v
3.529 * [taylor]: Taking taylor expansion of m in v
3.529 * [taylor]: Taking taylor expansion of v in v
3.529 * [taylor]: Taking taylor expansion of (* -1 (* m (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))))) in m
3.529 * [taylor]: Taking taylor expansion of -1 in m
3.530 * [taylor]: Taking taylor expansion of (* m (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in m
3.530 * [taylor]: Taking taylor expansion of m in m
3.530 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in m
3.530 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in m
3.530 * [taylor]: Taking taylor expansion of 1.0 in m
3.530 * [taylor]: Taking taylor expansion of (/ m v) in m
3.530 * [taylor]: Taking taylor expansion of m in m
3.530 * [taylor]: Taking taylor expansion of v in m
3.530 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in m
3.530 * [taylor]: Taking taylor expansion of 1.0 in m
3.530 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
3.530 * [taylor]: Taking taylor expansion of (pow m 2) in m
3.530 * [taylor]: Taking taylor expansion of m in m
3.530 * [taylor]: Taking taylor expansion of v in m
3.530 * [taylor]: Taking taylor expansion of (* -1 (* m (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))))) in m
3.530 * [taylor]: Taking taylor expansion of -1 in m
3.530 * [taylor]: Taking taylor expansion of (* m (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in m
3.531 * [taylor]: Taking taylor expansion of m in m
3.531 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in m
3.531 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in m
3.531 * [taylor]: Taking taylor expansion of 1.0 in m
3.531 * [taylor]: Taking taylor expansion of (/ m v) in m
3.531 * [taylor]: Taking taylor expansion of m in m
3.531 * [taylor]: Taking taylor expansion of v in m
3.531 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in m
3.531 * [taylor]: Taking taylor expansion of 1.0 in m
3.531 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
3.531 * [taylor]: Taking taylor expansion of (pow m 2) in m
3.531 * [taylor]: Taking taylor expansion of m in m
3.531 * [taylor]: Taking taylor expansion of v in m
3.533 * [taylor]: Taking taylor expansion of 0 in v
3.535 * [taylor]: Taking taylor expansion of 1.0 in v
3.536 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 v))) in v
3.536 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 v)) in v
3.536 * [taylor]: Taking taylor expansion of 1.0 in v
3.537 * [taylor]: Taking taylor expansion of (/ 1 v) in v
3.537 * [taylor]: Taking taylor expansion of v in v
3.540 * [taylor]: Taking taylor expansion of (/ 1 v) in v
3.540 * [taylor]: Taking taylor expansion of v in v
3.541 * [approximate]: Taking taylor expansion of (* -1 (/ (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) m)) in (m v) around 0
3.542 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) m)) in v
3.542 * [taylor]: Taking taylor expansion of -1 in v
3.542 * [taylor]: Taking taylor expansion of (/ (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) m) in v
3.542 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in v
3.542 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in v
3.542 * [taylor]: Taking taylor expansion of 1.0 in v
3.542 * [taylor]: Taking taylor expansion of (/ v m) in v
3.542 * [taylor]: Taking taylor expansion of v in v
3.542 * [taylor]: Taking taylor expansion of m in v
3.542 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in v
3.542 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
3.542 * [taylor]: Taking taylor expansion of v in v
3.542 * [taylor]: Taking taylor expansion of (pow m 2) in v
3.542 * [taylor]: Taking taylor expansion of m in v
3.542 * [taylor]: Taking taylor expansion of 1.0 in v
3.542 * [taylor]: Taking taylor expansion of m in v
3.543 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) m)) in m
3.543 * [taylor]: Taking taylor expansion of -1 in m
3.543 * [taylor]: Taking taylor expansion of (/ (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) m) in m
3.543 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in m
3.543 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
3.543 * [taylor]: Taking taylor expansion of 1.0 in m
3.543 * [taylor]: Taking taylor expansion of (/ v m) in m
3.543 * [taylor]: Taking taylor expansion of v in m
3.543 * [taylor]: Taking taylor expansion of m in m
3.543 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in m
3.543 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
3.543 * [taylor]: Taking taylor expansion of v in m
3.543 * [taylor]: Taking taylor expansion of (pow m 2) in m
3.543 * [taylor]: Taking taylor expansion of m in m
3.544 * [taylor]: Taking taylor expansion of 1.0 in m
3.544 * [taylor]: Taking taylor expansion of m in m
3.544 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) m)) in m
3.544 * [taylor]: Taking taylor expansion of -1 in m
3.544 * [taylor]: Taking taylor expansion of (/ (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) m) in m
3.544 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in m
3.544 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
3.544 * [taylor]: Taking taylor expansion of 1.0 in m
3.544 * [taylor]: Taking taylor expansion of (/ v m) in m
3.544 * [taylor]: Taking taylor expansion of v in m
3.544 * [taylor]: Taking taylor expansion of m in m
3.544 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in m
3.544 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
3.544 * [taylor]: Taking taylor expansion of v in m
3.544 * [taylor]: Taking taylor expansion of (pow m 2) in m
3.544 * [taylor]: Taking taylor expansion of m in m
3.544 * [taylor]: Taking taylor expansion of 1.0 in m
3.544 * [taylor]: Taking taylor expansion of m in m
3.545 * [taylor]: Taking taylor expansion of v in v
3.546 * [taylor]: Taking taylor expansion of (- (* 1.0 v)) in v
3.546 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
3.546 * [taylor]: Taking taylor expansion of 1.0 in v
3.546 * [taylor]: Taking taylor expansion of v in v
3.552 * [taylor]: Taking taylor expansion of 1.0 in v
3.554 * [approximate]: Taking taylor expansion of (/ (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) m) in (m v) around 0
3.554 * [taylor]: Taking taylor expansion of (/ (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) m) in v
3.554 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in v
3.554 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in v
3.554 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
3.554 * [taylor]: Taking taylor expansion of v in v
3.554 * [taylor]: Taking taylor expansion of (pow m 2) in v
3.554 * [taylor]: Taking taylor expansion of m in v
3.554 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in v
3.554 * [taylor]: Taking taylor expansion of 1.0 in v
3.554 * [taylor]: Taking taylor expansion of (/ v m) in v
3.554 * [taylor]: Taking taylor expansion of v in v
3.554 * [taylor]: Taking taylor expansion of m in v
3.554 * [taylor]: Taking taylor expansion of 1.0 in v
3.554 * [taylor]: Taking taylor expansion of m in v
3.555 * [taylor]: Taking taylor expansion of (/ (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) m) in m
3.555 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in m
3.555 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in m
3.555 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
3.555 * [taylor]: Taking taylor expansion of v in m
3.555 * [taylor]: Taking taylor expansion of (pow m 2) in m
3.555 * [taylor]: Taking taylor expansion of m in m
3.556 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
3.556 * [taylor]: Taking taylor expansion of 1.0 in m
3.556 * [taylor]: Taking taylor expansion of (/ v m) in m
3.556 * [taylor]: Taking taylor expansion of v in m
3.556 * [taylor]: Taking taylor expansion of m in m
3.556 * [taylor]: Taking taylor expansion of 1.0 in m
3.556 * [taylor]: Taking taylor expansion of m in m
3.556 * [taylor]: Taking taylor expansion of (/ (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) m) in m
3.556 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in m
3.556 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in m
3.556 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
3.556 * [taylor]: Taking taylor expansion of v in m
3.556 * [taylor]: Taking taylor expansion of (pow m 2) in m
3.556 * [taylor]: Taking taylor expansion of m in m
3.556 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
3.556 * [taylor]: Taking taylor expansion of 1.0 in m
3.556 * [taylor]: Taking taylor expansion of (/ v m) in m
3.556 * [taylor]: Taking taylor expansion of v in m
3.556 * [taylor]: Taking taylor expansion of m in m
3.556 * [taylor]: Taking taylor expansion of 1.0 in m
3.556 * [taylor]: Taking taylor expansion of m in m
3.556 * [taylor]: Taking taylor expansion of v in v
3.558 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
3.558 * [taylor]: Taking taylor expansion of 1.0 in v
3.558 * [taylor]: Taking taylor expansion of v in v
3.562 * [taylor]: Taking taylor expansion of (- 1.0) in v
3.562 * [taylor]: Taking taylor expansion of 1.0 in v
3.564 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1)
3.564 * [approximate]: Taking taylor expansion of (/ (* m (- 1.0 m)) v) in (m v) around 0
3.564 * [taylor]: Taking taylor expansion of (/ (* m (- 1.0 m)) v) in v
3.564 * [taylor]: Taking taylor expansion of (* m (- 1.0 m)) in v
3.564 * [taylor]: Taking taylor expansion of m in v
3.564 * [taylor]: Taking taylor expansion of (- 1.0 m) in v
3.564 * [taylor]: Taking taylor expansion of 1.0 in v
3.564 * [taylor]: Taking taylor expansion of m in v
3.564 * [taylor]: Taking taylor expansion of v in v
3.565 * [taylor]: Taking taylor expansion of (/ (* m (- 1.0 m)) v) in m
3.565 * [taylor]: Taking taylor expansion of (* m (- 1.0 m)) in m
3.565 * [taylor]: Taking taylor expansion of m in m
3.565 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
3.565 * [taylor]: Taking taylor expansion of 1.0 in m
3.565 * [taylor]: Taking taylor expansion of m in m
3.565 * [taylor]: Taking taylor expansion of v in m
3.567 * [taylor]: Taking taylor expansion of (/ (* m (- 1.0 m)) v) in m
3.567 * [taylor]: Taking taylor expansion of (* m (- 1.0 m)) in m
3.567 * [taylor]: Taking taylor expansion of m in m
3.567 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
3.567 * [taylor]: Taking taylor expansion of 1.0 in m
3.567 * [taylor]: Taking taylor expansion of m in m
3.567 * [taylor]: Taking taylor expansion of v in m
3.569 * [taylor]: Taking taylor expansion of (/ 1.0 v) in v
3.569 * [taylor]: Taking taylor expansion of 1.0 in v
3.569 * [taylor]: Taking taylor expansion of v in v
3.571 * [taylor]: Taking taylor expansion of (- (/ 1 v)) in v
3.571 * [taylor]: Taking taylor expansion of (/ 1 v) in v
3.571 * [taylor]: Taking taylor expansion of v in v
3.573 * [taylor]: Taking taylor expansion of 0 in v
3.576 * [taylor]: Taking taylor expansion of 0 in v
3.577 * [approximate]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in (m v) around 0
3.577 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in v
3.577 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in v
3.577 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in v
3.577 * [taylor]: Taking taylor expansion of 1.0 in v
3.577 * [taylor]: Taking taylor expansion of (/ 1 m) in v
3.577 * [taylor]: Taking taylor expansion of m in v
3.577 * [taylor]: Taking taylor expansion of v in v
3.577 * [taylor]: Taking taylor expansion of m in v
3.578 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in m
3.578 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in m
3.578 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
3.578 * [taylor]: Taking taylor expansion of 1.0 in m
3.578 * [taylor]: Taking taylor expansion of (/ 1 m) in m
3.578 * [taylor]: Taking taylor expansion of m in m
3.579 * [taylor]: Taking taylor expansion of v in m
3.579 * [taylor]: Taking taylor expansion of m in m
3.579 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in m
3.579 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in m
3.579 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
3.579 * [taylor]: Taking taylor expansion of 1.0 in m
3.579 * [taylor]: Taking taylor expansion of (/ 1 m) in m
3.579 * [taylor]: Taking taylor expansion of m in m
3.580 * [taylor]: Taking taylor expansion of v in m
3.580 * [taylor]: Taking taylor expansion of m in m
3.580 * [taylor]: Taking taylor expansion of (* -1 v) in v
3.580 * [taylor]: Taking taylor expansion of -1 in v
3.580 * [taylor]: Taking taylor expansion of v in v
3.582 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
3.582 * [taylor]: Taking taylor expansion of 1.0 in v
3.582 * [taylor]: Taking taylor expansion of v in v
3.586 * [taylor]: Taking taylor expansion of 0 in v
3.590 * [taylor]: Taking taylor expansion of 0 in v
3.591 * [approximate]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in (m v) around 0
3.591 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in v
3.591 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1.0)) in v
3.591 * [taylor]: Taking taylor expansion of v in v
3.591 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in v
3.591 * [taylor]: Taking taylor expansion of (/ 1 m) in v
3.591 * [taylor]: Taking taylor expansion of m in v
3.591 * [taylor]: Taking taylor expansion of 1.0 in v
3.591 * [taylor]: Taking taylor expansion of m in v
3.591 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in m
3.591 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1.0)) in m
3.591 * [taylor]: Taking taylor expansion of v in m
3.591 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
3.591 * [taylor]: Taking taylor expansion of (/ 1 m) in m
3.592 * [taylor]: Taking taylor expansion of m in m
3.592 * [taylor]: Taking taylor expansion of 1.0 in m
3.592 * [taylor]: Taking taylor expansion of m in m
3.592 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in m
3.592 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1.0)) in m
3.592 * [taylor]: Taking taylor expansion of v in m
3.592 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
3.592 * [taylor]: Taking taylor expansion of (/ 1 m) in m
3.592 * [taylor]: Taking taylor expansion of m in m
3.593 * [taylor]: Taking taylor expansion of 1.0 in m
3.593 * [taylor]: Taking taylor expansion of m in m
3.593 * [taylor]: Taking taylor expansion of v in v
3.594 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
3.594 * [taylor]: Taking taylor expansion of 1.0 in v
3.594 * [taylor]: Taking taylor expansion of v in v
3.597 * [taylor]: Taking taylor expansion of 0 in v
3.600 * [taylor]: Taking taylor expansion of 0 in v
3.600 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
3.601 * [approximate]: Taking taylor expansion of (/ (* m (- 1.0 m)) v) in (m v) around 0
3.601 * [taylor]: Taking taylor expansion of (/ (* m (- 1.0 m)) v) in v
3.601 * [taylor]: Taking taylor expansion of (* m (- 1.0 m)) in v
3.601 * [taylor]: Taking taylor expansion of m in v
3.601 * [taylor]: Taking taylor expansion of (- 1.0 m) in v
3.601 * [taylor]: Taking taylor expansion of 1.0 in v
3.601 * [taylor]: Taking taylor expansion of m in v
3.601 * [taylor]: Taking taylor expansion of v in v
3.601 * [taylor]: Taking taylor expansion of (/ (* m (- 1.0 m)) v) in m
3.601 * [taylor]: Taking taylor expansion of (* m (- 1.0 m)) in m
3.601 * [taylor]: Taking taylor expansion of m in m
3.601 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
3.601 * [taylor]: Taking taylor expansion of 1.0 in m
3.601 * [taylor]: Taking taylor expansion of m in m
3.601 * [taylor]: Taking taylor expansion of v in m
3.603 * [taylor]: Taking taylor expansion of (/ (* m (- 1.0 m)) v) in m
3.603 * [taylor]: Taking taylor expansion of (* m (- 1.0 m)) in m
3.603 * [taylor]: Taking taylor expansion of m in m
3.603 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
3.603 * [taylor]: Taking taylor expansion of 1.0 in m
3.603 * [taylor]: Taking taylor expansion of m in m
3.603 * [taylor]: Taking taylor expansion of v in m
3.605 * [taylor]: Taking taylor expansion of (/ 1.0 v) in v
3.605 * [taylor]: Taking taylor expansion of 1.0 in v
3.605 * [taylor]: Taking taylor expansion of v in v
3.607 * [taylor]: Taking taylor expansion of (- (/ 1 v)) in v
3.607 * [taylor]: Taking taylor expansion of (/ 1 v) in v
3.607 * [taylor]: Taking taylor expansion of v in v
3.609 * [taylor]: Taking taylor expansion of 0 in v
3.615 * [taylor]: Taking taylor expansion of 0 in v
3.617 * [approximate]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in (m v) around 0
3.617 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in v
3.617 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in v
3.617 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in v
3.617 * [taylor]: Taking taylor expansion of 1.0 in v
3.617 * [taylor]: Taking taylor expansion of (/ 1 m) in v
3.617 * [taylor]: Taking taylor expansion of m in v
3.617 * [taylor]: Taking taylor expansion of v in v
3.617 * [taylor]: Taking taylor expansion of m in v
3.618 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in m
3.618 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in m
3.618 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
3.618 * [taylor]: Taking taylor expansion of 1.0 in m
3.618 * [taylor]: Taking taylor expansion of (/ 1 m) in m
3.618 * [taylor]: Taking taylor expansion of m in m
3.619 * [taylor]: Taking taylor expansion of v in m
3.619 * [taylor]: Taking taylor expansion of m in m
3.619 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in m
3.619 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in m
3.619 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
3.619 * [taylor]: Taking taylor expansion of 1.0 in m
3.619 * [taylor]: Taking taylor expansion of (/ 1 m) in m
3.619 * [taylor]: Taking taylor expansion of m in m
3.620 * [taylor]: Taking taylor expansion of v in m
3.620 * [taylor]: Taking taylor expansion of m in m
3.620 * [taylor]: Taking taylor expansion of (* -1 v) in v
3.620 * [taylor]: Taking taylor expansion of -1 in v
3.620 * [taylor]: Taking taylor expansion of v in v
3.622 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
3.623 * [taylor]: Taking taylor expansion of 1.0 in v
3.623 * [taylor]: Taking taylor expansion of v in v
3.626 * [taylor]: Taking taylor expansion of 0 in v
3.630 * [taylor]: Taking taylor expansion of 0 in v
3.630 * [approximate]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in (m v) around 0
3.630 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in v
3.630 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1.0)) in v
3.630 * [taylor]: Taking taylor expansion of v in v
3.631 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in v
3.631 * [taylor]: Taking taylor expansion of (/ 1 m) in v
3.631 * [taylor]: Taking taylor expansion of m in v
3.631 * [taylor]: Taking taylor expansion of 1.0 in v
3.631 * [taylor]: Taking taylor expansion of m in v
3.631 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in m
3.631 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1.0)) in m
3.632 * [taylor]: Taking taylor expansion of v in m
3.632 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
3.632 * [taylor]: Taking taylor expansion of (/ 1 m) in m
3.632 * [taylor]: Taking taylor expansion of m in m
3.632 * [taylor]: Taking taylor expansion of 1.0 in m
3.632 * [taylor]: Taking taylor expansion of m in m
3.632 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in m
3.632 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1.0)) in m
3.632 * [taylor]: Taking taylor expansion of v in m
3.632 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
3.632 * [taylor]: Taking taylor expansion of (/ 1 m) in m
3.632 * [taylor]: Taking taylor expansion of m in m
3.632 * [taylor]: Taking taylor expansion of 1.0 in m
3.633 * [taylor]: Taking taylor expansion of m in m
3.633 * [taylor]: Taking taylor expansion of v in v
3.634 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
3.634 * [taylor]: Taking taylor expansion of 1.0 in v
3.634 * [taylor]: Taking taylor expansion of v in v
3.637 * [taylor]: Taking taylor expansion of 0 in v
3.640 * [taylor]: Taking taylor expansion of 0 in v
3.640 * * * * [progress]: [ 4 / 4 ] generating series at (2)
3.641 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 m) (+ (/ (pow m 3) v) (* 1.0 (/ m v)))) (+ 1.0 (* 2.0 (/ (pow m 2) v)))) in (m v) around 0
3.641 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 m) (+ (/ (pow m 3) v) (* 1.0 (/ m v)))) (+ 1.0 (* 2.0 (/ (pow m 2) v)))) in v
3.641 * [taylor]: Taking taylor expansion of (+ (* 1.0 m) (+ (/ (pow m 3) v) (* 1.0 (/ m v)))) in v
3.641 * [taylor]: Taking taylor expansion of (* 1.0 m) in v
3.641 * [taylor]: Taking taylor expansion of 1.0 in v
3.641 * [taylor]: Taking taylor expansion of m in v
3.641 * [taylor]: Taking taylor expansion of (+ (/ (pow m 3) v) (* 1.0 (/ m v))) in v
3.641 * [taylor]: Taking taylor expansion of (/ (pow m 3) v) in v
3.641 * [taylor]: Taking taylor expansion of (pow m 3) in v
3.641 * [taylor]: Taking taylor expansion of m in v
3.641 * [taylor]: Taking taylor expansion of v in v
3.641 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in v
3.641 * [taylor]: Taking taylor expansion of 1.0 in v
3.641 * [taylor]: Taking taylor expansion of (/ m v) in v
3.641 * [taylor]: Taking taylor expansion of m in v
3.641 * [taylor]: Taking taylor expansion of v in v
3.642 * [taylor]: Taking taylor expansion of (+ 1.0 (* 2.0 (/ (pow m 2) v))) in v
3.642 * [taylor]: Taking taylor expansion of 1.0 in v
3.642 * [taylor]: Taking taylor expansion of (* 2.0 (/ (pow m 2) v)) in v
3.642 * [taylor]: Taking taylor expansion of 2.0 in v
3.642 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v
3.642 * [taylor]: Taking taylor expansion of (pow m 2) in v
3.642 * [taylor]: Taking taylor expansion of m in v
3.642 * [taylor]: Taking taylor expansion of v in v
3.642 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 m) (+ (/ (pow m 3) v) (* 1.0 (/ m v)))) (+ 1.0 (* 2.0 (/ (pow m 2) v)))) in m
3.642 * [taylor]: Taking taylor expansion of (+ (* 1.0 m) (+ (/ (pow m 3) v) (* 1.0 (/ m v)))) in m
3.642 * [taylor]: Taking taylor expansion of (* 1.0 m) in m
3.642 * [taylor]: Taking taylor expansion of 1.0 in m
3.642 * [taylor]: Taking taylor expansion of m in m
3.642 * [taylor]: Taking taylor expansion of (+ (/ (pow m 3) v) (* 1.0 (/ m v))) in m
3.642 * [taylor]: Taking taylor expansion of (/ (pow m 3) v) in m
3.642 * [taylor]: Taking taylor expansion of (pow m 3) in m
3.642 * [taylor]: Taking taylor expansion of m in m
3.642 * [taylor]: Taking taylor expansion of v in m
3.643 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in m
3.643 * [taylor]: Taking taylor expansion of 1.0 in m
3.643 * [taylor]: Taking taylor expansion of (/ m v) in m
3.643 * [taylor]: Taking taylor expansion of m in m
3.643 * [taylor]: Taking taylor expansion of v in m
3.643 * [taylor]: Taking taylor expansion of (+ 1.0 (* 2.0 (/ (pow m 2) v))) in m
3.643 * [taylor]: Taking taylor expansion of 1.0 in m
3.643 * [taylor]: Taking taylor expansion of (* 2.0 (/ (pow m 2) v)) in m
3.643 * [taylor]: Taking taylor expansion of 2.0 in m
3.643 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
3.643 * [taylor]: Taking taylor expansion of (pow m 2) in m
3.643 * [taylor]: Taking taylor expansion of m in m
3.643 * [taylor]: Taking taylor expansion of v in m
3.643 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 m) (+ (/ (pow m 3) v) (* 1.0 (/ m v)))) (+ 1.0 (* 2.0 (/ (pow m 2) v)))) in m
3.643 * [taylor]: Taking taylor expansion of (+ (* 1.0 m) (+ (/ (pow m 3) v) (* 1.0 (/ m v)))) in m
3.643 * [taylor]: Taking taylor expansion of (* 1.0 m) in m
3.643 * [taylor]: Taking taylor expansion of 1.0 in m
3.643 * [taylor]: Taking taylor expansion of m in m
3.643 * [taylor]: Taking taylor expansion of (+ (/ (pow m 3) v) (* 1.0 (/ m v))) in m
3.643 * [taylor]: Taking taylor expansion of (/ (pow m 3) v) in m
3.643 * [taylor]: Taking taylor expansion of (pow m 3) in m
3.643 * [taylor]: Taking taylor expansion of m in m
3.643 * [taylor]: Taking taylor expansion of v in m
3.644 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in m
3.644 * [taylor]: Taking taylor expansion of 1.0 in m
3.644 * [taylor]: Taking taylor expansion of (/ m v) in m
3.644 * [taylor]: Taking taylor expansion of m in m
3.644 * [taylor]: Taking taylor expansion of v in m
3.644 * [taylor]: Taking taylor expansion of (+ 1.0 (* 2.0 (/ (pow m 2) v))) in m
3.644 * [taylor]: Taking taylor expansion of 1.0 in m
3.644 * [taylor]: Taking taylor expansion of (* 2.0 (/ (pow m 2) v)) in m
3.644 * [taylor]: Taking taylor expansion of 2.0 in m
3.644 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
3.644 * [taylor]: Taking taylor expansion of (pow m 2) in m
3.644 * [taylor]: Taking taylor expansion of m in m
3.644 * [taylor]: Taking taylor expansion of v in m
3.646 * [taylor]: Taking taylor expansion of (- 1.0) in v
3.646 * [taylor]: Taking taylor expansion of 1.0 in v
3.648 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 v)) 1.0) in v
3.648 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 v)) in v
3.648 * [taylor]: Taking taylor expansion of 1.0 in v
3.648 * [taylor]: Taking taylor expansion of (/ 1 v) in v
3.648 * [taylor]: Taking taylor expansion of v in v
3.648 * [taylor]: Taking taylor expansion of 1.0 in v
3.650 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 v))) in v
3.650 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in v
3.650 * [taylor]: Taking taylor expansion of 2.0 in v
3.650 * [taylor]: Taking taylor expansion of (/ 1 v) in v
3.651 * [taylor]: Taking taylor expansion of v in v
3.653 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 m)) (+ (* 1.0 (/ v m)) (/ v (pow m 3)))) (+ (* 2.0 (/ v (pow m 2))) 1.0)) in (m v) around 0
3.653 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 m)) (+ (* 1.0 (/ v m)) (/ v (pow m 3)))) (+ (* 2.0 (/ v (pow m 2))) 1.0)) in v
3.653 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 m)) (+ (* 1.0 (/ v m)) (/ v (pow m 3)))) in v
3.653 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 m)) in v
3.653 * [taylor]: Taking taylor expansion of 1.0 in v
3.653 * [taylor]: Taking taylor expansion of (/ 1 m) in v
3.653 * [taylor]: Taking taylor expansion of m in v
3.653 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ v m)) (/ v (pow m 3))) in v
3.653 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in v
3.653 * [taylor]: Taking taylor expansion of 1.0 in v
3.653 * [taylor]: Taking taylor expansion of (/ v m) in v
3.653 * [taylor]: Taking taylor expansion of v in v
3.653 * [taylor]: Taking taylor expansion of m in v
3.653 * [taylor]: Taking taylor expansion of (/ v (pow m 3)) in v
3.653 * [taylor]: Taking taylor expansion of v in v
3.653 * [taylor]: Taking taylor expansion of (pow m 3) in v
3.653 * [taylor]: Taking taylor expansion of m in v
3.653 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ v (pow m 2))) 1.0) in v
3.653 * [taylor]: Taking taylor expansion of (* 2.0 (/ v (pow m 2))) in v
3.653 * [taylor]: Taking taylor expansion of 2.0 in v
3.653 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
3.653 * [taylor]: Taking taylor expansion of v in v
3.653 * [taylor]: Taking taylor expansion of (pow m 2) in v
3.653 * [taylor]: Taking taylor expansion of m in v
3.653 * [taylor]: Taking taylor expansion of 1.0 in v
3.653 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 m)) (+ (* 1.0 (/ v m)) (/ v (pow m 3)))) (+ (* 2.0 (/ v (pow m 2))) 1.0)) in m
3.653 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 m)) (+ (* 1.0 (/ v m)) (/ v (pow m 3)))) in m
3.653 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 m)) in m
3.653 * [taylor]: Taking taylor expansion of 1.0 in m
3.653 * [taylor]: Taking taylor expansion of (/ 1 m) in m
3.654 * [taylor]: Taking taylor expansion of m in m
3.654 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ v m)) (/ v (pow m 3))) in m
3.654 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
3.654 * [taylor]: Taking taylor expansion of 1.0 in m
3.654 * [taylor]: Taking taylor expansion of (/ v m) in m
3.654 * [taylor]: Taking taylor expansion of v in m
3.654 * [taylor]: Taking taylor expansion of m in m
3.654 * [taylor]: Taking taylor expansion of (/ v (pow m 3)) in m
3.654 * [taylor]: Taking taylor expansion of v in m
3.654 * [taylor]: Taking taylor expansion of (pow m 3) in m
3.654 * [taylor]: Taking taylor expansion of m in m
3.654 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ v (pow m 2))) 1.0) in m
3.655 * [taylor]: Taking taylor expansion of (* 2.0 (/ v (pow m 2))) in m
3.655 * [taylor]: Taking taylor expansion of 2.0 in m
3.655 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
3.655 * [taylor]: Taking taylor expansion of v in m
3.655 * [taylor]: Taking taylor expansion of (pow m 2) in m
3.655 * [taylor]: Taking taylor expansion of m in m
3.655 * [taylor]: Taking taylor expansion of 1.0 in m
3.655 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 m)) (+ (* 1.0 (/ v m)) (/ v (pow m 3)))) (+ (* 2.0 (/ v (pow m 2))) 1.0)) in m
3.655 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 m)) (+ (* 1.0 (/ v m)) (/ v (pow m 3)))) in m
3.655 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 m)) in m
3.655 * [taylor]: Taking taylor expansion of 1.0 in m
3.655 * [taylor]: Taking taylor expansion of (/ 1 m) in m
3.655 * [taylor]: Taking taylor expansion of m in m
3.655 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ v m)) (/ v (pow m 3))) in m
3.655 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
3.655 * [taylor]: Taking taylor expansion of 1.0 in m
3.655 * [taylor]: Taking taylor expansion of (/ v m) in m
3.655 * [taylor]: Taking taylor expansion of v in m
3.655 * [taylor]: Taking taylor expansion of m in m
3.655 * [taylor]: Taking taylor expansion of (/ v (pow m 3)) in m
3.655 * [taylor]: Taking taylor expansion of v in m
3.655 * [taylor]: Taking taylor expansion of (pow m 3) in m
3.655 * [taylor]: Taking taylor expansion of m in m
3.656 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ v (pow m 2))) 1.0) in m
3.656 * [taylor]: Taking taylor expansion of (* 2.0 (/ v (pow m 2))) in m
3.656 * [taylor]: Taking taylor expansion of 2.0 in m
3.656 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
3.656 * [taylor]: Taking taylor expansion of v in m
3.656 * [taylor]: Taking taylor expansion of (pow m 2) in m
3.656 * [taylor]: Taking taylor expansion of m in m
3.656 * [taylor]: Taking taylor expansion of 1.0 in m
3.656 * [taylor]: Taking taylor expansion of v in v
3.658 * [taylor]: Taking taylor expansion of (- (* 2.0 v)) in v
3.658 * [taylor]: Taking taylor expansion of (* 2.0 v) in v
3.658 * [taylor]: Taking taylor expansion of 2.0 in v
3.658 * [taylor]: Taking taylor expansion of v in v
3.663 * [taylor]: Taking taylor expansion of (+ (* 1.0 v) 1.0) in v
3.663 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
3.663 * [taylor]: Taking taylor expansion of 1.0 in v
3.663 * [taylor]: Taking taylor expansion of v in v
3.663 * [taylor]: Taking taylor expansion of 1.0 in v
3.666 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (/ v (pow m 2))) (+ (* 1.0 (/ v m)) (/ v (pow m 3)))) (+ (* 1.0 (/ 1 m)) 1.0)) in (m v) around 0
3.666 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ v (pow m 2))) (+ (* 1.0 (/ v m)) (/ v (pow m 3)))) (+ (* 1.0 (/ 1 m)) 1.0)) in v
3.666 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ v (pow m 2))) (+ (* 1.0 (/ v m)) (/ v (pow m 3)))) in v
3.666 * [taylor]: Taking taylor expansion of (* 2.0 (/ v (pow m 2))) in v
3.666 * [taylor]: Taking taylor expansion of 2.0 in v
3.666 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
3.666 * [taylor]: Taking taylor expansion of v in v
3.666 * [taylor]: Taking taylor expansion of (pow m 2) in v
3.666 * [taylor]: Taking taylor expansion of m in v
3.666 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ v m)) (/ v (pow m 3))) in v
3.666 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in v
3.666 * [taylor]: Taking taylor expansion of 1.0 in v
3.666 * [taylor]: Taking taylor expansion of (/ v m) in v
3.666 * [taylor]: Taking taylor expansion of v in v
3.666 * [taylor]: Taking taylor expansion of m in v
3.666 * [taylor]: Taking taylor expansion of (/ v (pow m 3)) in v
3.666 * [taylor]: Taking taylor expansion of v in v
3.666 * [taylor]: Taking taylor expansion of (pow m 3) in v
3.666 * [taylor]: Taking taylor expansion of m in v
3.666 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 m)) 1.0) in v
3.666 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 m)) in v
3.666 * [taylor]: Taking taylor expansion of 1.0 in v
3.666 * [taylor]: Taking taylor expansion of (/ 1 m) in v
3.666 * [taylor]: Taking taylor expansion of m in v
3.666 * [taylor]: Taking taylor expansion of 1.0 in v
3.666 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ v (pow m 2))) (+ (* 1.0 (/ v m)) (/ v (pow m 3)))) (+ (* 1.0 (/ 1 m)) 1.0)) in m
3.666 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ v (pow m 2))) (+ (* 1.0 (/ v m)) (/ v (pow m 3)))) in m
3.667 * [taylor]: Taking taylor expansion of (* 2.0 (/ v (pow m 2))) in m
3.667 * [taylor]: Taking taylor expansion of 2.0 in m
3.667 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
3.667 * [taylor]: Taking taylor expansion of v in m
3.667 * [taylor]: Taking taylor expansion of (pow m 2) in m
3.667 * [taylor]: Taking taylor expansion of m in m
3.667 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ v m)) (/ v (pow m 3))) in m
3.667 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
3.667 * [taylor]: Taking taylor expansion of 1.0 in m
3.667 * [taylor]: Taking taylor expansion of (/ v m) in m
3.667 * [taylor]: Taking taylor expansion of v in m
3.667 * [taylor]: Taking taylor expansion of m in m
3.667 * [taylor]: Taking taylor expansion of (/ v (pow m 3)) in m
3.667 * [taylor]: Taking taylor expansion of v in m
3.667 * [taylor]: Taking taylor expansion of (pow m 3) in m
3.667 * [taylor]: Taking taylor expansion of m in m
3.668 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 m)) 1.0) in m
3.668 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 m)) in m
3.668 * [taylor]: Taking taylor expansion of 1.0 in m
3.668 * [taylor]: Taking taylor expansion of (/ 1 m) in m
3.668 * [taylor]: Taking taylor expansion of m in m
3.668 * [taylor]: Taking taylor expansion of 1.0 in m
3.668 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ v (pow m 2))) (+ (* 1.0 (/ v m)) (/ v (pow m 3)))) (+ (* 1.0 (/ 1 m)) 1.0)) in m
3.668 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ v (pow m 2))) (+ (* 1.0 (/ v m)) (/ v (pow m 3)))) in m
3.668 * [taylor]: Taking taylor expansion of (* 2.0 (/ v (pow m 2))) in m
3.668 * [taylor]: Taking taylor expansion of 2.0 in m
3.668 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
3.668 * [taylor]: Taking taylor expansion of v in m
3.668 * [taylor]: Taking taylor expansion of (pow m 2) in m
3.668 * [taylor]: Taking taylor expansion of m in m
3.668 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ v m)) (/ v (pow m 3))) in m
3.668 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
3.668 * [taylor]: Taking taylor expansion of 1.0 in m
3.668 * [taylor]: Taking taylor expansion of (/ v m) in m
3.668 * [taylor]: Taking taylor expansion of v in m
3.668 * [taylor]: Taking taylor expansion of m in m
3.668 * [taylor]: Taking taylor expansion of (/ v (pow m 3)) in m
3.668 * [taylor]: Taking taylor expansion of v in m
3.669 * [taylor]: Taking taylor expansion of (pow m 3) in m
3.669 * [taylor]: Taking taylor expansion of m in m
3.669 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 m)) 1.0) in m
3.669 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 m)) in m
3.669 * [taylor]: Taking taylor expansion of 1.0 in m
3.669 * [taylor]: Taking taylor expansion of (/ 1 m) in m
3.669 * [taylor]: Taking taylor expansion of m in m
3.669 * [taylor]: Taking taylor expansion of 1.0 in m
3.669 * [taylor]: Taking taylor expansion of v in v
3.671 * [taylor]: Taking taylor expansion of (* 2.0 v) in v
3.671 * [taylor]: Taking taylor expansion of 2.0 in v
3.671 * [taylor]: Taking taylor expansion of v in v
3.675 * [taylor]: Taking taylor expansion of (- (* 1.0 v) 1.0) in v
3.675 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
3.676 * [taylor]: Taking taylor expansion of 1.0 in v
3.676 * [taylor]: Taking taylor expansion of v in v
3.676 * [taylor]: Taking taylor expansion of 1.0 in v
3.678 * * * [progress]: simplifying candidates
3.680 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m)))
  (log1p (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m)))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m))
  (+ (log (- (/ (* m (- 1.0 m)) v) 1.0)) (log (- m)))
  (log (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m)))
  (exp (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m)))
  (* (* (* (- (/ (* m (- 1.0 m)) v) 1.0) (- (/ (* m (- 1.0 m)) v) 1.0)) (- (/ (* m (- 1.0 m)) v) 1.0)) (* (* (- m) (- m)) (- m)))
  (* (cbrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m))) (cbrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m))))
  (cbrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m)))
  (* (* (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m)) (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m))) (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m)))
  (sqrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m)))
  (sqrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m)))
  (* (sqrt (- (/ (* m (- 1.0 m)) v) 1.0)) (sqrt (- m)))
  (* (sqrt (- (/ (* m (- 1.0 m)) v) 1.0)) (sqrt (- m)))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) m)
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (* (cbrt (- m)) (cbrt (- m))))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (sqrt (- m)))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) 1)
  (* (- (/ (* m (- 1.0 m)) v) 1.0) -1)
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (- (* (cbrt m) (cbrt m))))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (- (sqrt m)))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (* (cbrt m) (cbrt m)))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (sqrt m))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) 1)
  (* (cbrt (- (/ (* m (- 1.0 m)) v) 1.0)) (- m))
  (* (sqrt (- (/ (* m (- 1.0 m)) v) 1.0)) (- m))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m))
  (* (- (sqrt (/ (* m (- 1.0 m)) v)) (sqrt 1.0)) (- m))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m))
  (* (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3)) (- m))
  (* (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0)) (- m))
  (expm1 (/ (* m (- 1.0 m)) v))
  (log1p (/ (* m (- 1.0 m)) v))
  (- (+ (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))
  (expm1 (/ (* m (- 1.0 m)) v))
  (log1p (/ (* m (- 1.0 m)) v))
  (- (+ (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))
  (expm1 (+ (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0) (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m))))
  (log1p (+ (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0) (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m))))
  (* (exp (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0)) (exp (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m))))
  (log (+ (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0) (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m))))
  (exp (+ (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0) (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m))))
  (* (cbrt (+ (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0) (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m)))) (cbrt (+ (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0) (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m)))))
  (cbrt (+ (* (- (/ (* 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))))
  (sqrt (+ (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0) (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m))))
  (sqrt (+ (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0) (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m))))
  (+ (* (* (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3)) 1.0) (+ (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (+ (* 1.0 1.0) (* (/ (* m (- 1.0 m)) v) 1.0)))) (* (+ (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (+ (* 1.0 1.0) (* (/ (* m (- 1.0 m)) v) 1.0))) (* (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3)) (- m))))
  (* (+ (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (+ (* 1.0 1.0) (* (/ (* m (- 1.0 m)) v) 1.0))) (+ (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (+ (* 1.0 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)) v) 1.0)) (* (+ (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (+ (* 1.0 1.0) (* (/ (* m (- 1.0 m)) v) 1.0))) (* (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0)) (- m))))
  (* (+ (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (+ (* 1.0 1.0) (* (/ (* m (- 1.0 m)) v) 1.0))) (+ (/ (* m (- 1.0 m)) v) 1.0))
  (+ (* (* (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0)) 1.0) (+ (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (+ (* 1.0 1.0) (* (/ (* 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)) (- m))))
  (* (+ (/ (* m (- 1.0 m)) v) 1.0) (+ (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (+ (* 1.0 1.0) (* (/ (* m (- 1.0 m)) v) 1.0))))
  (+ (* (* (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0)) 1.0) (+ (/ (* m (- 1.0 m)) v) 1.0)) (* (+ (/ (* m (- 1.0 m)) v) 1.0) (* (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0)) (- m))))
  (* (+ (/ (* m (- 1.0 m)) v) 1.0) (+ (/ (* m (- 1.0 m)) v) 1.0))
  (+ (pow (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0) 3) (pow (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m)) 3))
  (+ (* (* (- (/ (* m (- 1.0 m)) v) 1.0) 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) (- 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) 1.0)) (* (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m)) (* (- (/ (* 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) (/ (pow m 3) v)) (* 1.0 (/ (pow m 2) v)))
  (- (+ (* 1.0 m) (/ (pow m 3) v)) (* 1.0 (/ (pow m 2) v)))
  (- (+ (* 1.0 m) (/ (pow m 3) v)) (* 1.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 v)) (/ (pow m 2) v))
  (- (* 1.0 (/ m v)) (/ (pow m 2) v))
  (- (* 1.0 (/ m 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)))
3.685 * * [simplify]: iteration  0 :  174  enodes  (cost  2149 )
3.725 * * [simplify]: iteration  1 :  526  enodes  (cost  1838 )
3.859 * * [simplify]: iteration  2 :  2130  enodes  (cost  1650 )
4.358 * * [simplify]: iteration  done :  5000  enodes  (cost  1647 )
4.359 * [simplify]: Simplified to:
   (expm1 (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m)))
  (log1p (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m)))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m))
  (log (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m)))
  (log (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m)))
  (exp (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m)))
  (pow (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m)) 3)
  (* (cbrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m))) (cbrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m))))
  (cbrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m)))
  (pow (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m)) 3)
  (sqrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m)))
  (sqrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m)))
  (* (sqrt (- (/ (* m (- 1.0 m)) v) 1.0)) (sqrt (- m)))
  (* (sqrt (- (/ (* m (- 1.0 m)) v) 1.0)) (sqrt (- m)))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) m)
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (* (cbrt (- m)) (cbrt (- m))))
  (* (- (/ (* m (- 1.0 m)) v) 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 m) (cbrt m))))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (- (sqrt m)))
  (- (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (* (cbrt m) (cbrt m)))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (sqrt m))
  (- (/ (* m (- 1.0 m)) v) 1.0)
  (* (cbrt (- (/ (* m (- 1.0 m)) v) 1.0)) (- m))
  (* (sqrt (- (/ (* m (- 1.0 m)) v) 1.0)) (- m))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m))
  (* (- (sqrt (/ (* m (- 1.0 m)) v)) (sqrt 1.0)) (- m))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m))
  (* (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3)) (- m))
  (* (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0)) (- m))
  (expm1 (/ (* m (- 1.0 m)) v))
  (log1p (/ (* m (- 1.0 m)) v))
  (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))
  (* (fma 1.0 1.0 (* m (+ 1.0 m))) v)
  (* v (+ 1.0 m))
  (expm1 (/ (* m (- 1.0 m)) v))
  (log1p (/ (* m (- 1.0 m)) v))
  (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))
  (* (fma 1.0 1.0 (* m (+ 1.0 m))) v)
  (* v (+ 1.0 m))
  (expm1 (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
  (log1p (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
  (exp (* (- (/ (* 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)))
  (* (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)))
  (* (+ (* (+ (/ (* m (- 1.0 m)) v) 1.0) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0)) (- (* (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3)) 1.0) (* (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3)) m)))
  (* (+ (* (+ (/ (* m (- 1.0 m)) v) 1.0) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0)) (+ (* (+ (/ (* m (- 1.0 m)) v) 1.0) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0)))
  (fma (+ (* (+ (/ (* m (- 1.0 m)) v) 1.0) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0)) (* (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0)) (- m)) (* (* (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3)) 1.0) (+ (/ (* 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)) v) 1.0))
  (fma (* (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3)) (- m)) (+ (/ (* m (- 1.0 m)) v) 1.0) (* (* (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0)) 1.0) (+ (* (+ (/ (* m (- 1.0 m)) v) 1.0) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0))))
  (* (+ (* (+ (/ (* m (- 1.0 m)) v) 1.0) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0)) (+ (/ (* m (- 1.0 m)) v) 1.0))
  (* (+ (/ (* 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)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0)) m)))
  (* (+ (/ (* m (- 1.0 m)) v) 1.0) (+ (/ (* m (- 1.0 m)) v) 1.0))
  (* (pow (- (/ (* m (- 1.0 m)) v) 1.0) 3) (- (pow 1.0 3) (pow m 3)))
  (fma (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m)) (* (- (/ (* m (- 1.0 m)) v) 1.0) (- (- m) 1.0)) (* (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0) (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0)))
  (* (* (- (/ (* m (- 1.0 m)) v) 1.0) (- (/ (* m (- 1.0 m)) v) 1.0)) (- (* 1.0 1.0) (* m m)))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 (- m)))
  (- 1.0 m)
  (- (fma 1.0 m (/ (pow m 3) v)) (* 1.0 (/ (pow m 2) v)))
  (- (fma 1.0 m (/ (pow m 3) v)) (* 1.0 (/ (pow m 2) v)))
  (- (fma 1.0 m (/ (pow m 3) v)) (* 1.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 v)) (/ (pow m 2) v))
  (- (* 1.0 (/ m v)) (/ (pow m 2) v))
  (- (* 1.0 (/ m v)) (/ (pow m 2) v))
  (- (* 1.0 (/ m v)) (fma (/ (pow m 2) v) 2.0 1.0))
  (- (fma 1.0 m (/ (pow m 3) v)) (* 2.0 (/ (pow m 2) v)))
  (- (fma 1.0 m (/ (pow m 3) v)) (* 2.0 (/ (pow m 2) v)))
4.360 * * * [progress]: adding candidates to table
4.612 * * [progress]: iteration 3 / 4
4.612 * * * [progress]: picking best candidate
4.621 * * * * [pick]: Picked  #<alt (λ (m v) (+ (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0) (- (fma 1.0 m (/ (pow m 3) v)) (* 1.0 (/ (pow m 2) v)))))>
4.621 * * * [progress]: localizing error
4.643 * * * [progress]: generating rewritten candidates
4.643 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2)
4.647 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 3)
4.652 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
4.662 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
4.671 * * * [progress]: generating series expansions
4.671 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2)
4.671 * [approximate]: Taking taylor expansion of (/ (pow m 2) v) in (m v) around 0
4.671 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v
4.671 * [taylor]: Taking taylor expansion of (pow m 2) in v
4.671 * [taylor]: Taking taylor expansion of m in v
4.671 * [taylor]: Taking taylor expansion of v in v
4.671 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
4.671 * [taylor]: Taking taylor expansion of (pow m 2) in m
4.671 * [taylor]: Taking taylor expansion of m in m
4.671 * [taylor]: Taking taylor expansion of v in m
4.672 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
4.672 * [taylor]: Taking taylor expansion of (pow m 2) in m
4.672 * [taylor]: Taking taylor expansion of m in m
4.672 * [taylor]: Taking taylor expansion of v in m
4.672 * [taylor]: Taking taylor expansion of (/ 1 v) in v
4.672 * [taylor]: Taking taylor expansion of v in v
4.673 * [taylor]: Taking taylor expansion of 0 in v
4.674 * [taylor]: Taking taylor expansion of 0 in v
4.675 * [taylor]: Taking taylor expansion of 0 in v
4.676 * [approximate]: Taking taylor expansion of (/ v (pow m 2)) in (m v) around 0
4.676 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
4.676 * [taylor]: Taking taylor expansion of v in v
4.676 * [taylor]: Taking taylor expansion of (pow m 2) in v
4.676 * [taylor]: Taking taylor expansion of m in v
4.676 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
4.676 * [taylor]: Taking taylor expansion of v in m
4.676 * [taylor]: Taking taylor expansion of (pow m 2) in m
4.676 * [taylor]: Taking taylor expansion of m in m
4.676 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
4.676 * [taylor]: Taking taylor expansion of v in m
4.676 * [taylor]: Taking taylor expansion of (pow m 2) in m
4.676 * [taylor]: Taking taylor expansion of m in m
4.677 * [taylor]: Taking taylor expansion of v in v
4.677 * [taylor]: Taking taylor expansion of 0 in v
4.679 * [taylor]: Taking taylor expansion of 0 in v
4.681 * [taylor]: Taking taylor expansion of 0 in v
4.681 * [approximate]: Taking taylor expansion of (* -1 (/ v (pow m 2))) in (m v) around 0
4.681 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow m 2))) in v
4.681 * [taylor]: Taking taylor expansion of -1 in v
4.681 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
4.681 * [taylor]: Taking taylor expansion of v in v
4.681 * [taylor]: Taking taylor expansion of (pow m 2) in v
4.681 * [taylor]: Taking taylor expansion of m in v
4.681 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow m 2))) in m
4.681 * [taylor]: Taking taylor expansion of -1 in m
4.681 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
4.681 * [taylor]: Taking taylor expansion of v in m
4.681 * [taylor]: Taking taylor expansion of (pow m 2) in m
4.681 * [taylor]: Taking taylor expansion of m in m
4.682 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow m 2))) in m
4.682 * [taylor]: Taking taylor expansion of -1 in m
4.682 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
4.682 * [taylor]: Taking taylor expansion of v in m
4.682 * [taylor]: Taking taylor expansion of (pow m 2) in m
4.682 * [taylor]: Taking taylor expansion of m in m
4.682 * [taylor]: Taking taylor expansion of (* -1 v) in v
4.682 * [taylor]: Taking taylor expansion of -1 in v
4.682 * [taylor]: Taking taylor expansion of v in v
4.684 * [taylor]: Taking taylor expansion of 0 in v
4.686 * [taylor]: Taking taylor expansion of 0 in v
4.689 * [taylor]: Taking taylor expansion of 0 in v
4.689 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 3)
4.689 * [approximate]: Taking taylor expansion of (/ (pow m 3) v) in (m v) around 0
4.689 * [taylor]: Taking taylor expansion of (/ (pow m 3) v) in v
4.689 * [taylor]: Taking taylor expansion of (pow m 3) in v
4.689 * [taylor]: Taking taylor expansion of m in v
4.689 * [taylor]: Taking taylor expansion of v in v
4.689 * [taylor]: Taking taylor expansion of (/ (pow m 3) v) in m
4.689 * [taylor]: Taking taylor expansion of (pow m 3) in m
4.689 * [taylor]: Taking taylor expansion of m in m
4.689 * [taylor]: Taking taylor expansion of v in m
4.690 * [taylor]: Taking taylor expansion of (/ (pow m 3) v) in m
4.690 * [taylor]: Taking taylor expansion of (pow m 3) in m
4.690 * [taylor]: Taking taylor expansion of m in m
4.690 * [taylor]: Taking taylor expansion of v in m
4.690 * [taylor]: Taking taylor expansion of (/ 1 v) in v
4.691 * [taylor]: Taking taylor expansion of v in v
4.692 * [taylor]: Taking taylor expansion of 0 in v
4.693 * [taylor]: Taking taylor expansion of 0 in v
4.695 * [taylor]: Taking taylor expansion of 0 in v
4.695 * [approximate]: Taking taylor expansion of (/ v (pow m 3)) in (m v) around 0
4.696 * [taylor]: Taking taylor expansion of (/ v (pow m 3)) in v
4.696 * [taylor]: Taking taylor expansion of v in v
4.696 * [taylor]: Taking taylor expansion of (pow m 3) in v
4.696 * [taylor]: Taking taylor expansion of m in v
4.696 * [taylor]: Taking taylor expansion of (/ v (pow m 3)) in m
4.696 * [taylor]: Taking taylor expansion of v in m
4.696 * [taylor]: Taking taylor expansion of (pow m 3) in m
4.696 * [taylor]: Taking taylor expansion of m in m
4.696 * [taylor]: Taking taylor expansion of (/ v (pow m 3)) in m
4.696 * [taylor]: Taking taylor expansion of v in m
4.696 * [taylor]: Taking taylor expansion of (pow m 3) in m
4.696 * [taylor]: Taking taylor expansion of m in m
4.697 * [taylor]: Taking taylor expansion of v in v
4.698 * [taylor]: Taking taylor expansion of 0 in v
4.700 * [taylor]: Taking taylor expansion of 0 in v
4.702 * [taylor]: Taking taylor expansion of 0 in v
4.703 * [approximate]: Taking taylor expansion of (/ v (pow m 3)) in (m v) around 0
4.703 * [taylor]: Taking taylor expansion of (/ v (pow m 3)) in v
4.703 * [taylor]: Taking taylor expansion of v in v
4.703 * [taylor]: Taking taylor expansion of (pow m 3) in v
4.703 * [taylor]: Taking taylor expansion of m in v
4.703 * [taylor]: Taking taylor expansion of (/ v (pow m 3)) in m
4.703 * [taylor]: Taking taylor expansion of v in m
4.703 * [taylor]: Taking taylor expansion of (pow m 3) in m
4.703 * [taylor]: Taking taylor expansion of m in m
4.703 * [taylor]: Taking taylor expansion of (/ v (pow m 3)) in m
4.703 * [taylor]: Taking taylor expansion of v in m
4.703 * [taylor]: Taking taylor expansion of (pow m 3) in m
4.703 * [taylor]: Taking taylor expansion of m in m
4.704 * [taylor]: Taking taylor expansion of v in v
4.705 * [taylor]: Taking taylor expansion of 0 in v
4.707 * [taylor]: Taking taylor expansion of 0 in v
4.709 * [taylor]: Taking taylor expansion of 0 in v
4.709 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
4.709 * [approximate]: Taking taylor expansion of (/ (* m (- 1.0 m)) v) in (m v) around 0
4.709 * [taylor]: Taking taylor expansion of (/ (* m (- 1.0 m)) v) in v
4.709 * [taylor]: Taking taylor expansion of (* m (- 1.0 m)) in v
4.710 * [taylor]: Taking taylor expansion of m in v
4.710 * [taylor]: Taking taylor expansion of (- 1.0 m) in v
4.710 * [taylor]: Taking taylor expansion of 1.0 in v
4.710 * [taylor]: Taking taylor expansion of m in v
4.710 * [taylor]: Taking taylor expansion of v in v
4.710 * [taylor]: Taking taylor expansion of (/ (* m (- 1.0 m)) v) in m
4.710 * [taylor]: Taking taylor expansion of (* m (- 1.0 m)) in m
4.710 * [taylor]: Taking taylor expansion of m in m
4.710 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
4.710 * [taylor]: Taking taylor expansion of 1.0 in m
4.710 * [taylor]: Taking taylor expansion of m in m
4.710 * [taylor]: Taking taylor expansion of v in m
4.712 * [taylor]: Taking taylor expansion of (/ (* m (- 1.0 m)) v) in m
4.712 * [taylor]: Taking taylor expansion of (* m (- 1.0 m)) in m
4.712 * [taylor]: Taking taylor expansion of m in m
4.712 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
4.712 * [taylor]: Taking taylor expansion of 1.0 in m
4.712 * [taylor]: Taking taylor expansion of m in m
4.712 * [taylor]: Taking taylor expansion of v in m
4.714 * [taylor]: Taking taylor expansion of (/ 1.0 v) in v
4.714 * [taylor]: Taking taylor expansion of 1.0 in v
4.714 * [taylor]: Taking taylor expansion of v in v
4.716 * [taylor]: Taking taylor expansion of (- (/ 1 v)) in v
4.716 * [taylor]: Taking taylor expansion of (/ 1 v) in v
4.716 * [taylor]: Taking taylor expansion of v in v
4.718 * [taylor]: Taking taylor expansion of 0 in v
4.726 * [taylor]: Taking taylor expansion of 0 in v
4.728 * [approximate]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in (m v) around 0
4.728 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in v
4.728 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in v
4.728 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in v
4.728 * [taylor]: Taking taylor expansion of 1.0 in v
4.728 * [taylor]: Taking taylor expansion of (/ 1 m) in v
4.728 * [taylor]: Taking taylor expansion of m in v
4.728 * [taylor]: Taking taylor expansion of v in v
4.728 * [taylor]: Taking taylor expansion of m in v
4.729 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in m
4.729 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in m
4.729 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
4.729 * [taylor]: Taking taylor expansion of 1.0 in m
4.729 * [taylor]: Taking taylor expansion of (/ 1 m) in m
4.729 * [taylor]: Taking taylor expansion of m in m
4.729 * [taylor]: Taking taylor expansion of v in m
4.729 * [taylor]: Taking taylor expansion of m in m
4.730 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in m
4.730 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in m
4.730 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
4.730 * [taylor]: Taking taylor expansion of 1.0 in m
4.730 * [taylor]: Taking taylor expansion of (/ 1 m) in m
4.730 * [taylor]: Taking taylor expansion of m in m
4.730 * [taylor]: Taking taylor expansion of v in m
4.730 * [taylor]: Taking taylor expansion of m in m
4.731 * [taylor]: Taking taylor expansion of (* -1 v) in v
4.731 * [taylor]: Taking taylor expansion of -1 in v
4.731 * [taylor]: Taking taylor expansion of v in v
4.733 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
4.733 * [taylor]: Taking taylor expansion of 1.0 in v
4.733 * [taylor]: Taking taylor expansion of v in v
4.736 * [taylor]: Taking taylor expansion of 0 in v
4.740 * [taylor]: Taking taylor expansion of 0 in v
4.741 * [approximate]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in (m v) around 0
4.741 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in v
4.741 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1.0)) in v
4.741 * [taylor]: Taking taylor expansion of v in v
4.741 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in v
4.741 * [taylor]: Taking taylor expansion of (/ 1 m) in v
4.741 * [taylor]: Taking taylor expansion of m in v
4.741 * [taylor]: Taking taylor expansion of 1.0 in v
4.741 * [taylor]: Taking taylor expansion of m in v
4.742 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in m
4.742 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1.0)) in m
4.742 * [taylor]: Taking taylor expansion of v in m
4.742 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
4.742 * [taylor]: Taking taylor expansion of (/ 1 m) in m
4.742 * [taylor]: Taking taylor expansion of m in m
4.742 * [taylor]: Taking taylor expansion of 1.0 in m
4.742 * [taylor]: Taking taylor expansion of m in m
4.742 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in m
4.742 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1.0)) in m
4.742 * [taylor]: Taking taylor expansion of v in m
4.742 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
4.742 * [taylor]: Taking taylor expansion of (/ 1 m) in m
4.742 * [taylor]: Taking taylor expansion of m in m
4.743 * [taylor]: Taking taylor expansion of 1.0 in m
4.743 * [taylor]: Taking taylor expansion of m in m
4.743 * [taylor]: Taking taylor expansion of v in v
4.744 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
4.744 * [taylor]: Taking taylor expansion of 1.0 in v
4.744 * [taylor]: Taking taylor expansion of v in v
4.747 * [taylor]: Taking taylor expansion of 0 in v
4.750 * [taylor]: Taking taylor expansion of 0 in v
4.750 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
4.751 * [approximate]: Taking taylor expansion of (- (fma 1.0 m (/ (pow m 3) v)) (* 1.0 (/ (pow m 2) v))) in (m v) around 0
4.751 * [taylor]: Taking taylor expansion of (- (fma 1.0 m (/ (pow m 3) v)) (* 1.0 (/ (pow m 2) v))) in v
4.751 * [taylor]: Taking taylor expansion of (fma 1.0 m (/ (pow m 3) v)) in v
4.752 * [taylor]: Rewrote expression to (+ (* 1.0 m) (/ (pow m 3) v))
4.752 * [taylor]: Taking taylor expansion of (* 1.0 m) in v
4.752 * [taylor]: Taking taylor expansion of 1.0 in v
4.752 * [taylor]: Taking taylor expansion of m in v
4.752 * [taylor]: Taking taylor expansion of (/ (pow m 3) v) in v
4.752 * [taylor]: Taking taylor expansion of (pow m 3) in v
4.752 * [taylor]: Taking taylor expansion of m in v
4.752 * [taylor]: Taking taylor expansion of v in v
4.753 * [taylor]: Taking taylor expansion of (* 1.0 (/ (pow m 2) v)) in v
4.753 * [taylor]: Taking taylor expansion of 1.0 in v
4.753 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v
4.753 * [taylor]: Taking taylor expansion of (pow m 2) in v
4.753 * [taylor]: Taking taylor expansion of m in v
4.753 * [taylor]: Taking taylor expansion of v in v
4.753 * [taylor]: Taking taylor expansion of (- (fma 1.0 m (/ (pow m 3) v)) (* 1.0 (/ (pow m 2) v))) in m
4.753 * [taylor]: Taking taylor expansion of (fma 1.0 m (/ (pow m 3) v)) in m
4.753 * [taylor]: Rewrote expression to (+ (* 1.0 m) (/ (pow m 3) v))
4.753 * [taylor]: Taking taylor expansion of (* 1.0 m) in m
4.753 * [taylor]: Taking taylor expansion of 1.0 in m
4.753 * [taylor]: Taking taylor expansion of m in m
4.753 * [taylor]: Taking taylor expansion of (/ (pow m 3) v) in m
4.753 * [taylor]: Taking taylor expansion of (pow m 3) in m
4.753 * [taylor]: Taking taylor expansion of m in m
4.753 * [taylor]: Taking taylor expansion of v in m
4.754 * [taylor]: Taking taylor expansion of (* 1.0 (/ (pow m 2) v)) in m
4.754 * [taylor]: Taking taylor expansion of 1.0 in m
4.754 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
4.754 * [taylor]: Taking taylor expansion of (pow m 2) in m
4.754 * [taylor]: Taking taylor expansion of m in m
4.754 * [taylor]: Taking taylor expansion of v in m
4.754 * [taylor]: Taking taylor expansion of (- (fma 1.0 m (/ (pow m 3) v)) (* 1.0 (/ (pow m 2) v))) in m
4.754 * [taylor]: Taking taylor expansion of (fma 1.0 m (/ (pow m 3) v)) in m
4.754 * [taylor]: Rewrote expression to (+ (* 1.0 m) (/ (pow m 3) v))
4.754 * [taylor]: Taking taylor expansion of (* 1.0 m) in m
4.754 * [taylor]: Taking taylor expansion of 1.0 in m
4.754 * [taylor]: Taking taylor expansion of m in m
4.754 * [taylor]: Taking taylor expansion of (/ (pow m 3) v) in m
4.754 * [taylor]: Taking taylor expansion of (pow m 3) in m
4.754 * [taylor]: Taking taylor expansion of m in m
4.754 * [taylor]: Taking taylor expansion of v in m
4.755 * [taylor]: Taking taylor expansion of (* 1.0 (/ (pow m 2) v)) in m
4.755 * [taylor]: Taking taylor expansion of 1.0 in m
4.755 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
4.755 * [taylor]: Taking taylor expansion of (pow m 2) in m
4.755 * [taylor]: Taking taylor expansion of m in m
4.755 * [taylor]: Taking taylor expansion of v in m
4.756 * [taylor]: Taking taylor expansion of 0 in v
4.757 * [taylor]: Taking taylor expansion of 1.0 in v
4.758 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 v))) in v
4.758 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 v)) in v
4.758 * [taylor]: Taking taylor expansion of 1.0 in v
4.758 * [taylor]: Taking taylor expansion of (/ 1 v) in v
4.758 * [taylor]: Taking taylor expansion of v in v
4.761 * [taylor]: Taking taylor expansion of (/ 1 v) in v
4.761 * [taylor]: Taking taylor expansion of v in v
4.762 * [approximate]: Taking taylor expansion of (- (fma 1.0 (/ 1 m) (/ v (pow m 3))) (* 1.0 (/ v (pow m 2)))) in (m v) around 0
4.762 * [taylor]: Taking taylor expansion of (- (fma 1.0 (/ 1 m) (/ v (pow m 3))) (* 1.0 (/ v (pow m 2)))) in v
4.762 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 m) (/ v (pow m 3))) in v
4.762 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 m)) (/ v (pow m 3)))
4.762 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 m)) in v
4.762 * [taylor]: Taking taylor expansion of 1.0 in v
4.762 * [taylor]: Taking taylor expansion of (/ 1 m) in v
4.762 * [taylor]: Taking taylor expansion of m in v
4.762 * [taylor]: Taking taylor expansion of (/ v (pow m 3)) in v
4.762 * [taylor]: Taking taylor expansion of v in v
4.762 * [taylor]: Taking taylor expansion of (pow m 3) in v
4.762 * [taylor]: Taking taylor expansion of m in v
4.762 * [taylor]: Taking taylor expansion of (* 1.0 (/ v (pow m 2))) in v
4.762 * [taylor]: Taking taylor expansion of 1.0 in v
4.762 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
4.762 * [taylor]: Taking taylor expansion of v in v
4.762 * [taylor]: Taking taylor expansion of (pow m 2) in v
4.763 * [taylor]: Taking taylor expansion of m in v
4.763 * [taylor]: Taking taylor expansion of (- (fma 1.0 (/ 1 m) (/ v (pow m 3))) (* 1.0 (/ v (pow m 2)))) in m
4.763 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 m) (/ v (pow m 3))) in m
4.763 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 m)) (/ v (pow m 3)))
4.763 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 m)) in m
4.763 * [taylor]: Taking taylor expansion of 1.0 in m
4.763 * [taylor]: Taking taylor expansion of (/ 1 m) in m
4.763 * [taylor]: Taking taylor expansion of m in m
4.763 * [taylor]: Taking taylor expansion of (/ v (pow m 3)) in m
4.763 * [taylor]: Taking taylor expansion of v in m
4.763 * [taylor]: Taking taylor expansion of (pow m 3) in m
4.763 * [taylor]: Taking taylor expansion of m in m
4.764 * [taylor]: Taking taylor expansion of (* 1.0 (/ v (pow m 2))) in m
4.764 * [taylor]: Taking taylor expansion of 1.0 in m
4.764 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
4.764 * [taylor]: Taking taylor expansion of v in m
4.764 * [taylor]: Taking taylor expansion of (pow m 2) in m
4.764 * [taylor]: Taking taylor expansion of m in m
4.764 * [taylor]: Taking taylor expansion of (- (fma 1.0 (/ 1 m) (/ v (pow m 3))) (* 1.0 (/ v (pow m 2)))) in m
4.764 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 m) (/ v (pow m 3))) in m
4.764 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 m)) (/ v (pow m 3)))
4.764 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 m)) in m
4.764 * [taylor]: Taking taylor expansion of 1.0 in m
4.764 * [taylor]: Taking taylor expansion of (/ 1 m) in m
4.764 * [taylor]: Taking taylor expansion of m in m
4.764 * [taylor]: Taking taylor expansion of (/ v (pow m 3)) in m
4.764 * [taylor]: Taking taylor expansion of v in m
4.765 * [taylor]: Taking taylor expansion of (pow m 3) in m
4.765 * [taylor]: Taking taylor expansion of m in m
4.765 * [taylor]: Taking taylor expansion of (* 1.0 (/ v (pow m 2))) in m
4.765 * [taylor]: Taking taylor expansion of 1.0 in m
4.765 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
4.765 * [taylor]: Taking taylor expansion of v in m
4.765 * [taylor]: Taking taylor expansion of (pow m 2) in m
4.765 * [taylor]: Taking taylor expansion of m in m
4.765 * [taylor]: Taking taylor expansion of v in v
4.767 * [taylor]: Taking taylor expansion of (- (* 1.0 v)) in v
4.767 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
4.767 * [taylor]: Taking taylor expansion of 1.0 in v
4.767 * [taylor]: Taking taylor expansion of v in v
4.771 * [taylor]: Taking taylor expansion of 1.0 in v
4.774 * [approximate]: Taking taylor expansion of (+ (* 1.0 (/ v (pow m 2))) (fma 1.0 (/ -1 m) (/ v (pow m 3)))) in (m v) around 0
4.774 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ v (pow m 2))) (fma 1.0 (/ -1 m) (/ v (pow m 3)))) in v
4.774 * [taylor]: Taking taylor expansion of (* 1.0 (/ v (pow m 2))) in v
4.774 * [taylor]: Taking taylor expansion of 1.0 in v
4.774 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
4.774 * [taylor]: Taking taylor expansion of v in v
4.774 * [taylor]: Taking taylor expansion of (pow m 2) in v
4.774 * [taylor]: Taking taylor expansion of m in v
4.774 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 m) (/ v (pow m 3))) in v
4.774 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 m)) (/ v (pow m 3)))
4.774 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 m)) in v
4.774 * [taylor]: Taking taylor expansion of 1.0 in v
4.774 * [taylor]: Taking taylor expansion of (/ -1 m) in v
4.774 * [taylor]: Taking taylor expansion of -1 in v
4.774 * [taylor]: Taking taylor expansion of m in v
4.774 * [taylor]: Taking taylor expansion of (/ v (pow m 3)) in v
4.774 * [taylor]: Taking taylor expansion of v in v
4.774 * [taylor]: Taking taylor expansion of (pow m 3) in v
4.774 * [taylor]: Taking taylor expansion of m in v
4.775 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ v (pow m 2))) (fma 1.0 (/ -1 m) (/ v (pow m 3)))) in m
4.775 * [taylor]: Taking taylor expansion of (* 1.0 (/ v (pow m 2))) in m
4.775 * [taylor]: Taking taylor expansion of 1.0 in m
4.775 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
4.775 * [taylor]: Taking taylor expansion of v in m
4.775 * [taylor]: Taking taylor expansion of (pow m 2) in m
4.775 * [taylor]: Taking taylor expansion of m in m
4.775 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 m) (/ v (pow m 3))) in m
4.775 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 m)) (/ v (pow m 3)))
4.775 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 m)) in m
4.775 * [taylor]: Taking taylor expansion of 1.0 in m
4.775 * [taylor]: Taking taylor expansion of (/ -1 m) in m
4.775 * [taylor]: Taking taylor expansion of -1 in m
4.775 * [taylor]: Taking taylor expansion of m in m
4.775 * [taylor]: Taking taylor expansion of (/ v (pow m 3)) in m
4.775 * [taylor]: Taking taylor expansion of v in m
4.775 * [taylor]: Taking taylor expansion of (pow m 3) in m
4.775 * [taylor]: Taking taylor expansion of m in m
4.776 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ v (pow m 2))) (fma 1.0 (/ -1 m) (/ v (pow m 3)))) in m
4.776 * [taylor]: Taking taylor expansion of (* 1.0 (/ v (pow m 2))) in m
4.776 * [taylor]: Taking taylor expansion of 1.0 in m
4.776 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
4.776 * [taylor]: Taking taylor expansion of v in m
4.776 * [taylor]: Taking taylor expansion of (pow m 2) in m
4.776 * [taylor]: Taking taylor expansion of m in m
4.777 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 m) (/ v (pow m 3))) in m
4.777 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 m)) (/ v (pow m 3)))
4.777 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 m)) in m
4.777 * [taylor]: Taking taylor expansion of 1.0 in m
4.777 * [taylor]: Taking taylor expansion of (/ -1 m) in m
4.777 * [taylor]: Taking taylor expansion of -1 in m
4.777 * [taylor]: Taking taylor expansion of m in m
4.777 * [taylor]: Taking taylor expansion of (/ v (pow m 3)) in m
4.777 * [taylor]: Taking taylor expansion of v in m
4.777 * [taylor]: Taking taylor expansion of (pow m 3) in m
4.777 * [taylor]: Taking taylor expansion of m in m
4.778 * [taylor]: Taking taylor expansion of v in v
4.779 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
4.780 * [taylor]: Taking taylor expansion of 1.0 in v
4.780 * [taylor]: Taking taylor expansion of v in v
4.784 * [taylor]: Taking taylor expansion of (- 1.0) in v
4.784 * [taylor]: Taking taylor expansion of 1.0 in v
4.786 * * * [progress]: simplifying candidates
4.788 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (/ (pow m 2) v))
  (log1p (/ (pow m 2) v))
  (- (* (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)))
  (expm1 (/ (pow m 3) v))
  (log1p (/ (pow m 3) v))
  (- (* (log m) 3) (log v))
  (- (* (log m) 3) (log v))
  (- (log (pow m 3)) (log v))
  (log (/ (pow m 3) v))
  (exp (/ (pow m 3) v))
  (/ (* (* (pow m 3) (pow m 3)) (pow m 3)) (* (* v v) v))
  (* (cbrt (/ (pow m 3) v)) (cbrt (/ (pow m 3) v)))
  (cbrt (/ (pow m 3) v))
  (* (* (/ (pow m 3) v) (/ (pow m 3) v)) (/ (pow m 3) v))
  (sqrt (/ (pow m 3) v))
  (sqrt (/ (pow m 3) v))
  (- (pow m 3))
  (- v)
  (/ (pow (* (cbrt m) (cbrt m)) 3) (* (cbrt v) (cbrt v)))
  (/ (pow (cbrt m) 3) (cbrt v))
  (/ (pow (* (cbrt m) (cbrt m)) 3) (sqrt v))
  (/ (pow (cbrt m) 3) (sqrt v))
  (/ (pow (* (cbrt m) (cbrt m)) 3) 1)
  (/ (pow (cbrt m) 3) v)
  (/ (pow (sqrt m) 3) (* (cbrt v) (cbrt v)))
  (/ (pow (sqrt m) 3) (cbrt v))
  (/ (pow (sqrt m) 3) (sqrt v))
  (/ (pow (sqrt m) 3) (sqrt v))
  (/ (pow (sqrt m) 3) 1)
  (/ (pow (sqrt m) 3) v)
  (/ (pow 1 3) (* (cbrt v) (cbrt v)))
  (/ (pow m 3) (cbrt v))
  (/ (pow 1 3) (sqrt v))
  (/ (pow m 3) (sqrt v))
  (/ (pow 1 3) 1)
  (/ (pow m 3) v)
  (/ (* m m) (* (cbrt v) (cbrt v)))
  (/ m (cbrt v))
  (/ (* m m) (sqrt v))
  (/ m (sqrt v))
  (/ (* m m) 1)
  (/ m v)
  (/ (* (cbrt (pow m 3)) (cbrt (pow m 3))) (* (cbrt v) (cbrt v)))
  (/ (cbrt (pow m 3)) (cbrt v))
  (/ (* (cbrt (pow m 3)) (cbrt (pow m 3))) (sqrt v))
  (/ (cbrt (pow m 3)) (sqrt v))
  (/ (* (cbrt (pow m 3)) (cbrt (pow m 3))) 1)
  (/ (cbrt (pow m 3)) v)
  (/ (pow (* (cbrt m) (cbrt m)) 3) (* (cbrt v) (cbrt v)))
  (/ (pow (cbrt m) 3) (cbrt v))
  (/ (pow (* (cbrt m) (cbrt m)) 3) (sqrt v))
  (/ (pow (cbrt m) 3) (sqrt v))
  (/ (pow (* (cbrt m) (cbrt m)) 3) 1)
  (/ (pow (cbrt m) 3) v)
  (/ (pow (sqrt m) 3) (* (cbrt v) (cbrt v)))
  (/ (pow (sqrt m) 3) (cbrt v))
  (/ (pow (sqrt m) 3) (sqrt v))
  (/ (pow (sqrt m) 3) (sqrt v))
  (/ (pow (sqrt m) 3) 1)
  (/ (pow (sqrt m) 3) v)
  (/ (pow 1 3) (* (cbrt v) (cbrt v)))
  (/ (pow m 3) (cbrt v))
  (/ (pow 1 3) (sqrt v))
  (/ (pow m 3) (sqrt v))
  (/ (pow 1 3) 1)
  (/ (pow m 3) v)
  (/ m (* (cbrt v) (cbrt v)))
  (/ (* m m) (cbrt v))
  (/ m (sqrt v))
  (/ (* m m) (sqrt v))
  (/ m 1)
  (/ (* m m) v)
  (/ (sqrt (pow m 3)) (* (cbrt v) (cbrt v)))
  (/ (sqrt (pow m 3)) (cbrt v))
  (/ (sqrt (pow m 3)) (sqrt v))
  (/ (sqrt (pow m 3)) (sqrt v))
  (/ (sqrt (pow m 3)) 1)
  (/ (sqrt (pow m 3)) v)
  (/ 1 (* (cbrt v) (cbrt v)))
  (/ (pow m 3) (cbrt v))
  (/ 1 (sqrt v))
  (/ (pow m 3) (sqrt v))
  (/ 1 1)
  (/ (pow m 3) v)
  (/ (pow m (/ 3 2)) (* (cbrt v) (cbrt v)))
  (/ (pow m (/ 3 2)) (cbrt v))
  (/ (pow m (/ 3 2)) (sqrt v))
  (/ (pow m (/ 3 2)) (sqrt v))
  (/ (pow m (/ 3 2)) 1)
  (/ (pow m (/ 3 2)) v)
  (/ 1 v)
  (/ v (pow m 3))
  (/ (pow m 3) (* (cbrt v) (cbrt v)))
  (/ (pow m 3) (sqrt v))
  (/ (pow m 3) 1)
  (/ v (pow (cbrt m) 3))
  (/ v (pow (sqrt m) 3))
  (/ v (pow m 3))
  (/ v m)
  (/ v (cbrt (pow m 3)))
  (/ v (pow (cbrt m) 3))
  (/ v (pow (sqrt m) 3))
  (/ v (pow m 3))
  (/ v (* m m))
  (/ v (sqrt (pow m 3)))
  (/ v (pow m 3))
  (/ v (pow m (/ 3 2)))
  (expm1 (/ (* m (- 1.0 m)) v))
  (log1p (/ (* m (- 1.0 m)) v))
  (- (+ (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))
  (fma (* (cbrt (fma 1.0 m (/ (pow m 3) v))) (cbrt (fma 1.0 m (/ (pow m 3) v)))) (cbrt (fma 1.0 m (/ (pow m 3) v))) (- (* (/ (pow m 2) v) 1.0)))
  (fma (- (/ (pow m 2) v)) 1.0 (* (/ (pow m 2) v) 1.0))
  (fma (sqrt (fma 1.0 m (/ (pow m 3) v))) (sqrt (fma 1.0 m (/ (pow m 3) v))) (- (* (/ (pow m 2) v) 1.0)))
  (fma (- (/ (pow m 2) v)) 1.0 (* (/ (pow m 2) v) 1.0))
  (fma 1 (fma 1.0 m (/ (pow m 3) v)) (- (* (/ (pow m 2) v) 1.0)))
  (fma (- (/ (pow m 2) v)) 1.0 (* (/ (pow m 2) v) 1.0))
  (expm1 (- (fma 1.0 m (/ (pow m 3) v)) (* 1.0 (/ (pow m 2) v))))
  (log1p (- (fma 1.0 m (/ (pow m 3) v)) (* 1.0 (/ (pow m 2) v))))
  (- (* 1.0 (/ (pow m 2) v)))
  (- (* 1.0 (/ (pow m 2) v)))
  (- (* 1.0 (/ (pow m 2) v)))
  (/ (exp (fma 1.0 m (/ (pow m 3) v))) (exp (* 1.0 (/ (pow m 2) v))))
  (log (- (fma 1.0 m (/ (pow m 3) v)) (* 1.0 (/ (pow m 2) v))))
  (exp (- (fma 1.0 m (/ (pow m 3) v)) (* 1.0 (/ (pow m 2) v))))
  (* (cbrt (- (fma 1.0 m (/ (pow m 3) v)) (* 1.0 (/ (pow m 2) v)))) (cbrt (- (fma 1.0 m (/ (pow m 3) v)) (* 1.0 (/ (pow m 2) v)))))
  (cbrt (- (fma 1.0 m (/ (pow m 3) v)) (* 1.0 (/ (pow m 2) v))))
  (* (* (- (fma 1.0 m (/ (pow m 3) v)) (* 1.0 (/ (pow m 2) v))) (- (fma 1.0 m (/ (pow m 3) v)) (* 1.0 (/ (pow m 2) v)))) (- (fma 1.0 m (/ (pow m 3) v)) (* 1.0 (/ (pow m 2) v))))
  (sqrt (- (fma 1.0 m (/ (pow m 3) v)) (* 1.0 (/ (pow m 2) v))))
  (sqrt (- (fma 1.0 m (/ (pow m 3) v)) (* 1.0 (/ (pow m 2) v))))
  (- (pow (fma 1.0 m (/ (pow m 3) v)) 3) (pow (* 1.0 (/ (pow m 2) v)) 3))
  (+ (* (fma 1.0 m (/ (pow m 3) v)) (fma 1.0 m (/ (pow m 3) v))) (+ (* (* 1.0 (/ (pow m 2) v)) (* 1.0 (/ (pow m 2) v))) (* (fma 1.0 m (/ (pow m 3) v)) (* 1.0 (/ (pow m 2) v)))))
  (- (* 1.0 (/ (pow m 2) v)))
  (- (* (fma 1.0 m (/ (pow m 3) v)) (fma 1.0 m (/ (pow m 3) v))) (* (* 1.0 (/ (pow m 2) v)) (* 1.0 (/ (pow m 2) v))))
  (+ (fma 1.0 m (/ (pow m 3) v)) (* 1.0 (/ (pow m 2) v)))
  (- (/ (pow m 3) v) (* 1.0 (/ (pow m 2) v)))
  (- (* 1.0 (/ (pow m 2) v)))
  (/ (pow m 2) v)
  (/ (pow m 2) v)
  (/ (pow m 2) v)
  (/ (pow m 3) v)
  (/ (pow m 3) v)
  (/ (pow m 3) 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 3) v)) (* 1.0 (/ (pow m 2) v)))
  (- (+ (* 1.0 m) (/ (pow m 3) v)) (* 1.0 (/ (pow m 2) v)))
  (- (+ (* 1.0 m) (/ (pow m 3) v)) (* 1.0 (/ (pow m 2) v)))
4.795 * * [simplify]: iteration  0 :  252  enodes  (cost  2137 )
4.859 * * [simplify]: iteration  1 :  531  enodes  (cost  1927 )
5.061 * * [simplify]: iteration  2 :  2377  enodes  (cost  1733 )
5.690 * * [simplify]: iteration  done :  5000  enodes  (cost  1733 )
5.691 * [simplify]: Simplified to:
   (expm1 (/ (pow m 2) v))
  (log1p (/ (pow m 2) v))
  (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)
  (/ (* m (cbrt m)) (* (cbrt v) (cbrt v)))
  (/ (cbrt (pow m 2)) (cbrt v))
  (/ (* m (cbrt m)) (sqrt v))
  (/ (cbrt (pow m 2)) (sqrt v))
  (* m (cbrt m))
  (/ (cbrt (pow 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)))
  (* m (/ m (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)
  (/ (* m (cbrt m)) (* (cbrt v) (cbrt v)))
  (/ (cbrt (pow m 2)) (cbrt v))
  (/ (* m (cbrt m)) (sqrt v))
  (/ (cbrt (pow m 2)) (sqrt v))
  (* m (cbrt m))
  (/ (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)))
  (* m (/ m (cbrt v)))
  (/ 1 (sqrt v))
  (/ (pow m 2) (sqrt v))
  1
  (/ (pow m 2) v)
  (/ (pow m 1) (* (cbrt v) (cbrt v)))
  (/ (pow m 1) (cbrt v))
  (/ (pow m 1) (sqrt v))
  (/ (pow m 1) (sqrt v))
  (pow m 1)
  (/ (pow m 1) v)
  (/ 1 v)
  (/ v (pow m 2))
  (/ (/ (pow m 2) (cbrt v)) (cbrt v))
  (/ (pow m 2) (sqrt v))
  (* m m)
  (/ v (cbrt (pow m 2)))
  (/ v m)
  (/ v (pow m 2))
  (/ v m)
  (/ v (cbrt (pow m 2)))
  (/ v (fabs m))
  (/ v (pow m 2))
  (/ v (pow m 1))
  (expm1 (/ (pow m 3) v))
  (log1p (/ (pow m 3) v))
  (log (/ (pow m 3) v))
  (log (/ (pow m 3) v))
  (log (/ (pow m 3) v))
  (log (/ (pow m 3) v))
  (exp (/ (pow m 3) v))
  (pow (/ (pow m 3) v) 3)
  (* (cbrt (/ (pow m 3) v)) (cbrt (/ (pow m 3) v)))
  (cbrt (/ (pow m 3) v))
  (pow (/ (pow m 3) v) 3)
  (sqrt (/ (pow m 3) v))
  (sqrt (/ (pow m 3) v))
  (- (pow m 3))
  (- v)
  (/ (/ (pow m 2) (cbrt v)) (cbrt v))
  (/ m (cbrt v))
  (/ (pow m 2) (sqrt v))
  (/ m (sqrt v))
  (* m m)
  (/ m v)
  (/ (pow (sqrt m) 3) (* (cbrt v) (cbrt v)))
  (/ (pow (sqrt m) 3) (cbrt v))
  (/ (pow (sqrt m) 3) (sqrt v))
  (/ (pow (sqrt m) 3) (sqrt v))
  (pow (sqrt m) 3)
  (/ (pow (sqrt m) 3) v)
  (/ 1 (* (cbrt v) (cbrt v)))
  (/ (pow m 3) (cbrt v))
  (/ 1 (sqrt v))
  (/ (pow m 3) (sqrt v))
  1
  (/ (pow m 3) v)
  (/ (/ (pow m 2) (cbrt v)) (cbrt v))
  (/ m (cbrt v))
  (/ (pow m 2) (sqrt v))
  (/ m (sqrt v))
  (* m m)
  (/ m v)
  (/ (/ (pow m 2) (cbrt v)) (cbrt v))
  (/ m (cbrt v))
  (/ (pow m 2) (sqrt v))
  (/ m (sqrt v))
  (* m m)
  (/ m v)
  (/ (/ (pow m 2) (cbrt v)) (cbrt v))
  (/ m (cbrt v))
  (/ (pow m 2) (sqrt v))
  (/ m (sqrt v))
  (* m m)
  (/ m v)
  (/ (pow (sqrt m) 3) (* (cbrt v) (cbrt v)))
  (/ (pow (sqrt m) 3) (cbrt v))
  (/ (pow (sqrt m) 3) (sqrt v))
  (/ (pow (sqrt m) 3) (sqrt v))
  (pow (sqrt m) 3)
  (/ (pow (sqrt m) 3) v)
  (/ 1 (* (cbrt v) (cbrt v)))
  (/ (pow m 3) (cbrt v))
  (/ 1 (sqrt v))
  (/ (pow m 3) (sqrt v))
  1
  (/ (pow m 3) v)
  (/ (/ m (cbrt v)) (cbrt v))
  (* m (/ m (cbrt v)))
  (/ m (sqrt v))
  (/ (pow m 2) (sqrt v))
  m
  (/ (pow m 2) v)
  (/ (sqrt (pow m 3)) (* (cbrt v) (cbrt v)))
  (/ (sqrt (pow m 3)) (cbrt v))
  (/ (sqrt (pow m 3)) (sqrt v))
  (/ (sqrt (pow m 3)) (sqrt v))
  (sqrt (pow m 3))
  (/ (sqrt (pow m 3)) v)
  (/ 1 (* (cbrt v) (cbrt v)))
  (/ (pow m 3) (cbrt v))
  (/ 1 (sqrt v))
  (/ (pow m 3) (sqrt v))
  1
  (/ (pow m 3) v)
  (/ (pow m 3/2) (* (cbrt v) (cbrt v)))
  (/ (pow m 3/2) (cbrt v))
  (/ (pow m 3/2) (sqrt v))
  (/ (pow m 3/2) (sqrt v))
  (pow m 3/2)
  (/ (pow m 3/2) v)
  (/ 1 v)
  (/ v (pow m 3))
  (/ (pow m 3) (* (cbrt v) (cbrt v)))
  (/ (pow m 3) (sqrt v))
  (pow m 3)
  (/ v m)
  (/ v (pow (sqrt m) 3))
  (/ v (pow m 3))
  (/ v m)
  (/ v m)
  (/ v m)
  (/ v (pow (sqrt m) 3))
  (/ v (pow m 3))
  (/ v (pow m 2))
  (/ v (sqrt (pow m 3)))
  (/ v (pow m 3))
  (/ v (pow m 3/2))
  (expm1 (/ (* m (- 1.0 m)) v))
  (log1p (/ (* m (- 1.0 m)) v))
  (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))
  (* (fma 1.0 1.0 (* m (+ 1.0 m))) v)
  (* v (+ 1.0 m))
  (fma (* (cbrt (fma 1.0 m (/ (pow m 3) v))) (cbrt (fma 1.0 m (/ (pow m 3) v)))) (cbrt (fma 1.0 m (/ (pow m 3) v))) (- (* (/ (pow m 2) v) 1.0)))
  (* (/ (pow m 2) v) (+ (- 1.0) 1.0))
  (fma m 1.0 (- (/ (pow m 3) v) (* 1.0 (/ (pow m 2) v))))
  (* (/ (pow m 2) v) (+ (- 1.0) 1.0))
  (fma m 1.0 (- (/ (pow m 3) v) (* 1.0 (/ (pow m 2) v))))
  (* (/ (pow m 2) v) (+ (- 1.0) 1.0))
  (expm1 (- (fma 1.0 m (/ (pow m 3) v)) (* 1.0 (/ (pow m 2) v))))
  (log1p (- (fma 1.0 m (/ (pow m 3) v)) (* 1.0 (/ (pow m 2) v))))
  (- (* (/ (pow m 2) v) 1.0))
  (- (* (/ (pow m 2) v) 1.0))
  (- (* (/ (pow m 2) v) 1.0))
  (exp (- (fma 1.0 m (/ (pow m 3) v)) (* 1.0 (/ (pow m 2) v))))
  (log (- (fma 1.0 m (/ (pow m 3) v)) (* 1.0 (/ (pow m 2) v))))
  (exp (- (fma 1.0 m (/ (pow m 3) v)) (* 1.0 (/ (pow m 2) v))))
  (* (cbrt (- (fma 1.0 m (/ (pow m 3) v)) (* 1.0 (/ (pow m 2) v)))) (cbrt (- (fma 1.0 m (/ (pow m 3) v)) (* 1.0 (/ (pow m 2) v)))))
  (cbrt (- (fma 1.0 m (/ (pow m 3) v)) (* 1.0 (/ (pow m 2) v))))
  (pow (fma m 1.0 (- (/ (pow m 3) v) (* 1.0 (/ (pow m 2) v)))) 3)
  (sqrt (- (fma 1.0 m (/ (pow m 3) v)) (* 1.0 (/ (pow m 2) v))))
  (sqrt (- (fma 1.0 m (/ (pow m 3) v)) (* 1.0 (/ (pow m 2) v))))
  (- (pow (fma 1.0 m (/ (pow m 3) v)) 3) (pow (* 1.0 (/ (pow m 2) v)) 3))
  (fma (* (/ (pow m 2) v) 1.0) (fma (/ (pow m 2) v) 1.0 (fma 1.0 m (/ (pow m 3) v))) (* (fma 1.0 m (/ (pow m 3) v)) (fma 1.0 m (/ (pow m 3) v))))
  (- (* (/ (pow m 2) v) 1.0))
  (fma (fma 1.0 m (/ (pow m 3) v)) (fma 1.0 m (/ (pow m 3) v)) (* (- (* 1.0 1.0)) (/ (pow m 4) (* v v))))
  (fma (/ (pow m 2) v) 1.0 (fma 1.0 m (/ (pow m 3) v)))
  (- (/ (pow m 3) v) (* 1.0 (/ (pow m 2) v)))
  (- (* (/ (pow m 2) v) 1.0))
  (/ (pow m 2) v)
  (/ (pow m 2) v)
  (/ (pow m 2) v)
  (/ (pow m 3) v)
  (/ (pow m 3) v)
  (/ (pow m 3) 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))
  (fma m 1.0 (- (/ (pow m 3) v) (* 1.0 (/ (pow m 2) v))))
  (fma m 1.0 (- (/ (pow m 3) v) (* 1.0 (/ (pow m 2) v))))
  (fma m 1.0 (- (/ (pow m 3) v) (* 1.0 (/ (pow m 2) v))))
5.692 * * * [progress]: adding candidates to table
6.182 * * [progress]: iteration 4 / 4
6.182 * * * [progress]: picking best candidate
6.190 * * * * [pick]: Picked  #<alt (λ (m v) (+ (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0) (- (fma 1.0 m (/ (pow m 3) v)) (* 1.0 (* (sqrt (/ (pow m 2) v)) (sqrt (/ (pow m 2) v)))))))>
6.190 * * * [progress]: localizing error
6.210 * * * [progress]: generating rewritten candidates
6.210 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1)
6.217 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 1)
6.222 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 2)
6.227 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1)
6.240 * * * [progress]: generating series expansions
6.240 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1)
6.240 * [approximate]: Taking taylor expansion of (/ (pow m 2) v) in (m v) around 0
6.240 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v
6.240 * [taylor]: Taking taylor expansion of (pow m 2) in v
6.240 * [taylor]: Taking taylor expansion of m in v
6.240 * [taylor]: Taking taylor expansion of v in v
6.240 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
6.240 * [taylor]: Taking taylor expansion of (pow m 2) in m
6.240 * [taylor]: Taking taylor expansion of m in m
6.240 * [taylor]: Taking taylor expansion of v in m
6.241 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
6.241 * [taylor]: Taking taylor expansion of (pow m 2) in m
6.241 * [taylor]: Taking taylor expansion of m in m
6.241 * [taylor]: Taking taylor expansion of v in m
6.241 * [taylor]: Taking taylor expansion of (/ 1 v) in v
6.241 * [taylor]: Taking taylor expansion of v in v
6.242 * [taylor]: Taking taylor expansion of 0 in v
6.243 * [taylor]: Taking taylor expansion of 0 in v
6.244 * [taylor]: Taking taylor expansion of 0 in v
6.245 * [approximate]: Taking taylor expansion of (/ v (pow m 2)) in (m v) around 0
6.245 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
6.245 * [taylor]: Taking taylor expansion of v in v
6.245 * [taylor]: Taking taylor expansion of (pow m 2) in v
6.245 * [taylor]: Taking taylor expansion of m in v
6.245 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
6.245 * [taylor]: Taking taylor expansion of v in m
6.245 * [taylor]: Taking taylor expansion of (pow m 2) in m
6.245 * [taylor]: Taking taylor expansion of m in m
6.245 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
6.245 * [taylor]: Taking taylor expansion of v in m
6.245 * [taylor]: Taking taylor expansion of (pow m 2) in m
6.245 * [taylor]: Taking taylor expansion of m in m
6.246 * [taylor]: Taking taylor expansion of v in v
6.247 * [taylor]: Taking taylor expansion of 0 in v
6.248 * [taylor]: Taking taylor expansion of 0 in v
6.250 * [taylor]: Taking taylor expansion of 0 in v
6.250 * [approximate]: Taking taylor expansion of (* -1 (/ v (pow m 2))) in (m v) around 0
6.250 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow m 2))) in v
6.250 * [taylor]: Taking taylor expansion of -1 in v
6.250 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
6.250 * [taylor]: Taking taylor expansion of v in v
6.250 * [taylor]: Taking taylor expansion of (pow m 2) in v
6.250 * [taylor]: Taking taylor expansion of m in v
6.250 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow m 2))) in m
6.250 * [taylor]: Taking taylor expansion of -1 in m
6.250 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
6.250 * [taylor]: Taking taylor expansion of v in m
6.250 * [taylor]: Taking taylor expansion of (pow m 2) in m
6.250 * [taylor]: Taking taylor expansion of m in m
6.251 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow m 2))) in m
6.251 * [taylor]: Taking taylor expansion of -1 in m
6.251 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
6.251 * [taylor]: Taking taylor expansion of v in m
6.251 * [taylor]: Taking taylor expansion of (pow m 2) in m
6.251 * [taylor]: Taking taylor expansion of m in m
6.251 * [taylor]: Taking taylor expansion of (* -1 v) in v
6.251 * [taylor]: Taking taylor expansion of -1 in v
6.251 * [taylor]: Taking taylor expansion of v in v
6.253 * [taylor]: Taking taylor expansion of 0 in v
6.255 * [taylor]: Taking taylor expansion of 0 in v
6.258 * [taylor]: Taking taylor expansion of 0 in v
6.258 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 1)
6.258 * [approximate]: Taking taylor expansion of (/ (pow m 2) v) in (m v) around 0
6.259 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v
6.259 * [taylor]: Taking taylor expansion of (pow m 2) in v
6.259 * [taylor]: Taking taylor expansion of m in v
6.259 * [taylor]: Taking taylor expansion of v in v
6.259 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
6.259 * [taylor]: Taking taylor expansion of (pow m 2) in m
6.259 * [taylor]: Taking taylor expansion of m in m
6.259 * [taylor]: Taking taylor expansion of v in m
6.259 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
6.259 * [taylor]: Taking taylor expansion of (pow m 2) in m
6.259 * [taylor]: Taking taylor expansion of m in m
6.259 * [taylor]: Taking taylor expansion of v in m
6.259 * [taylor]: Taking taylor expansion of (/ 1 v) in v
6.259 * [taylor]: Taking taylor expansion of v in v
6.260 * [taylor]: Taking taylor expansion of 0 in v
6.261 * [taylor]: Taking taylor expansion of 0 in v
6.262 * [taylor]: Taking taylor expansion of 0 in v
6.263 * [approximate]: Taking taylor expansion of (/ v (pow m 2)) in (m v) around 0
6.263 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
6.263 * [taylor]: Taking taylor expansion of v in v
6.263 * [taylor]: Taking taylor expansion of (pow m 2) in v
6.263 * [taylor]: Taking taylor expansion of m in v
6.263 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
6.263 * [taylor]: Taking taylor expansion of v in m
6.263 * [taylor]: Taking taylor expansion of (pow m 2) in m
6.263 * [taylor]: Taking taylor expansion of m in m
6.264 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
6.264 * [taylor]: Taking taylor expansion of v in m
6.264 * [taylor]: Taking taylor expansion of (pow m 2) in m
6.264 * [taylor]: Taking taylor expansion of m in m
6.264 * [taylor]: Taking taylor expansion of v in v
6.265 * [taylor]: Taking taylor expansion of 0 in v
6.266 * [taylor]: Taking taylor expansion of 0 in v
6.268 * [taylor]: Taking taylor expansion of 0 in v
6.268 * [approximate]: Taking taylor expansion of (* -1 (/ v (pow m 2))) in (m v) around 0
6.268 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow m 2))) in v
6.268 * [taylor]: Taking taylor expansion of -1 in v
6.269 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
6.269 * [taylor]: Taking taylor expansion of v in v
6.269 * [taylor]: Taking taylor expansion of (pow m 2) in v
6.269 * [taylor]: Taking taylor expansion of m in v
6.269 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow m 2))) in m
6.269 * [taylor]: Taking taylor expansion of -1 in m
6.269 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
6.269 * [taylor]: Taking taylor expansion of v in m
6.269 * [taylor]: Taking taylor expansion of (pow m 2) in m
6.269 * [taylor]: Taking taylor expansion of m in m
6.269 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow m 2))) in m
6.269 * [taylor]: Taking taylor expansion of -1 in m
6.269 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
6.269 * [taylor]: Taking taylor expansion of v in m
6.269 * [taylor]: Taking taylor expansion of (pow m 2) in m
6.269 * [taylor]: Taking taylor expansion of m in m
6.269 * [taylor]: Taking taylor expansion of (* -1 v) in v
6.269 * [taylor]: Taking taylor expansion of -1 in v
6.270 * [taylor]: Taking taylor expansion of v in v
6.271 * [taylor]: Taking taylor expansion of 0 in v
6.273 * [taylor]: Taking taylor expansion of 0 in v
6.276 * [taylor]: Taking taylor expansion of 0 in v
6.277 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 2)
6.277 * [approximate]: Taking taylor expansion of (* m (sqrt (/ 1 v))) in (m v) around 0
6.277 * [taylor]: Taking taylor expansion of (* m (sqrt (/ 1 v))) in v
6.277 * [taylor]: Taking taylor expansion of m in v
6.277 * [taylor]: Taking taylor expansion of (sqrt (/ 1 v)) in v
6.277 * [taylor]: Taking taylor expansion of (/ 1 v) in v
6.277 * [taylor]: Taking taylor expansion of v in v
6.279 * [taylor]: Taking taylor expansion of (* m (sqrt (/ 1 v))) in m
6.279 * [taylor]: Taking taylor expansion of m in m
6.279 * [taylor]: Taking taylor expansion of (sqrt (/ 1 v)) in m
6.279 * [taylor]: Taking taylor expansion of (/ 1 v) in m
6.279 * [taylor]: Taking taylor expansion of v in m
6.279 * [taylor]: Taking taylor expansion of (* m (sqrt (/ 1 v))) in m
6.279 * [taylor]: Taking taylor expansion of m in m
6.279 * [taylor]: Taking taylor expansion of (sqrt (/ 1 v)) in m
6.279 * [taylor]: Taking taylor expansion of (/ 1 v) in m
6.279 * [taylor]: Taking taylor expansion of v in m
6.279 * [taylor]: Taking taylor expansion of 0 in v
6.280 * [taylor]: Taking taylor expansion of (sqrt (/ 1 v)) in v
6.280 * [taylor]: Taking taylor expansion of (/ 1 v) in v
6.280 * [taylor]: Taking taylor expansion of v in v
6.282 * [taylor]: Taking taylor expansion of 0 in v
6.283 * [taylor]: Taking taylor expansion of 0 in v
6.288 * [taylor]: Taking taylor expansion of 0 in v
6.291 * [approximate]: Taking taylor expansion of (* (/ 1 m) (sqrt v)) in (m v) around 0
6.291 * [taylor]: Taking taylor expansion of (* (/ 1 m) (sqrt v)) in v
6.291 * [taylor]: Taking taylor expansion of (/ 1 m) in v
6.291 * [taylor]: Taking taylor expansion of m in v
6.291 * [taylor]: Taking taylor expansion of (sqrt v) in v
6.291 * [taylor]: Taking taylor expansion of v in v
6.292 * [taylor]: Taking taylor expansion of (* (/ 1 m) (sqrt v)) in m
6.292 * [taylor]: Taking taylor expansion of (/ 1 m) in m
6.292 * [taylor]: Taking taylor expansion of m in m
6.292 * [taylor]: Taking taylor expansion of (sqrt v) in m
6.292 * [taylor]: Taking taylor expansion of v in m
6.292 * [taylor]: Taking taylor expansion of (* (/ 1 m) (sqrt v)) in m
6.292 * [taylor]: Taking taylor expansion of (/ 1 m) in m
6.292 * [taylor]: Taking taylor expansion of m in m
6.293 * [taylor]: Taking taylor expansion of (sqrt v) in m
6.293 * [taylor]: Taking taylor expansion of v in m
6.293 * [taylor]: Taking taylor expansion of (sqrt v) in v
6.293 * [taylor]: Taking taylor expansion of v in v
6.300 * [taylor]: Taking taylor expansion of 0 in v
6.301 * [taylor]: Taking taylor expansion of 0 in v
6.305 * [taylor]: Taking taylor expansion of 0 in v
6.308 * [approximate]: Taking taylor expansion of (sqrt (* -1 (/ v (pow m 2)))) in (m v) around 0
6.308 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ v (pow m 2)))) in v
6.308 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow m 2))) in v
6.308 * [taylor]: Taking taylor expansion of -1 in v
6.308 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
6.308 * [taylor]: Taking taylor expansion of v in v
6.308 * [taylor]: Taking taylor expansion of (pow m 2) in v
6.308 * [taylor]: Taking taylor expansion of m in v
6.309 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ v (pow m 2)))) in m
6.309 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow m 2))) in m
6.309 * [taylor]: Taking taylor expansion of -1 in m
6.309 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
6.309 * [taylor]: Taking taylor expansion of v in m
6.309 * [taylor]: Taking taylor expansion of (pow m 2) in m
6.309 * [taylor]: Taking taylor expansion of m in m
6.310 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ v (pow m 2)))) in m
6.310 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow m 2))) in m
6.310 * [taylor]: Taking taylor expansion of -1 in m
6.310 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
6.311 * [taylor]: Taking taylor expansion of v in m
6.311 * [taylor]: Taking taylor expansion of (pow m 2) in m
6.311 * [taylor]: Taking taylor expansion of m in m
6.312 * [taylor]: Taking taylor expansion of (sqrt (* -1 v)) in v
6.312 * [taylor]: Taking taylor expansion of (* -1 v) in v
6.312 * [taylor]: Taking taylor expansion of -1 in v
6.312 * [taylor]: Taking taylor expansion of v in v
6.314 * [taylor]: Taking taylor expansion of 0 in v
6.316 * [taylor]: Taking taylor expansion of 0 in v
6.321 * [taylor]: Taking taylor expansion of 0 in v
6.325 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1)
6.325 * [approximate]: Taking taylor expansion of (* m (sqrt (/ 1 v))) in (m v) around 0
6.325 * [taylor]: Taking taylor expansion of (* m (sqrt (/ 1 v))) in v
6.325 * [taylor]: Taking taylor expansion of m in v
6.325 * [taylor]: Taking taylor expansion of (sqrt (/ 1 v)) in v
6.325 * [taylor]: Taking taylor expansion of (/ 1 v) in v
6.325 * [taylor]: Taking taylor expansion of v in v
6.326 * [taylor]: Taking taylor expansion of (* m (sqrt (/ 1 v))) in m
6.326 * [taylor]: Taking taylor expansion of m in m
6.326 * [taylor]: Taking taylor expansion of (sqrt (/ 1 v)) in m
6.326 * [taylor]: Taking taylor expansion of (/ 1 v) in m
6.326 * [taylor]: Taking taylor expansion of v in m
6.327 * [taylor]: Taking taylor expansion of (* m (sqrt (/ 1 v))) in m
6.327 * [taylor]: Taking taylor expansion of m in m
6.327 * [taylor]: Taking taylor expansion of (sqrt (/ 1 v)) in m
6.327 * [taylor]: Taking taylor expansion of (/ 1 v) in m
6.327 * [taylor]: Taking taylor expansion of v in m
6.327 * [taylor]: Taking taylor expansion of 0 in v
6.327 * [taylor]: Taking taylor expansion of (sqrt (/ 1 v)) in v
6.327 * [taylor]: Taking taylor expansion of (/ 1 v) in v
6.327 * [taylor]: Taking taylor expansion of v in v
6.330 * [taylor]: Taking taylor expansion of 0 in v
6.331 * [taylor]: Taking taylor expansion of 0 in v
6.335 * [taylor]: Taking taylor expansion of 0 in v
6.338 * [approximate]: Taking taylor expansion of (* (/ 1 m) (sqrt v)) in (m v) around 0
6.338 * [taylor]: Taking taylor expansion of (* (/ 1 m) (sqrt v)) in v
6.338 * [taylor]: Taking taylor expansion of (/ 1 m) in v
6.338 * [taylor]: Taking taylor expansion of m in v
6.338 * [taylor]: Taking taylor expansion of (sqrt v) in v
6.338 * [taylor]: Taking taylor expansion of v in v
6.339 * [taylor]: Taking taylor expansion of (* (/ 1 m) (sqrt v)) in m
6.339 * [taylor]: Taking taylor expansion of (/ 1 m) in m
6.339 * [taylor]: Taking taylor expansion of m in m
6.340 * [taylor]: Taking taylor expansion of (sqrt v) in m
6.340 * [taylor]: Taking taylor expansion of v in m
6.340 * [taylor]: Taking taylor expansion of (* (/ 1 m) (sqrt v)) in m
6.340 * [taylor]: Taking taylor expansion of (/ 1 m) in m
6.340 * [taylor]: Taking taylor expansion of m in m
6.340 * [taylor]: Taking taylor expansion of (sqrt v) in m
6.340 * [taylor]: Taking taylor expansion of v in m
6.340 * [taylor]: Taking taylor expansion of (sqrt v) in v
6.340 * [taylor]: Taking taylor expansion of v in v
6.342 * [taylor]: Taking taylor expansion of 0 in v
6.343 * [taylor]: Taking taylor expansion of 0 in v
6.347 * [taylor]: Taking taylor expansion of 0 in v
6.350 * [approximate]: Taking taylor expansion of (sqrt (* -1 (/ v (pow m 2)))) in (m v) around 0
6.350 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ v (pow m 2)))) in v
6.350 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow m 2))) in v
6.350 * [taylor]: Taking taylor expansion of -1 in v
6.350 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
6.350 * [taylor]: Taking taylor expansion of v in v
6.350 * [taylor]: Taking taylor expansion of (pow m 2) in v
6.350 * [taylor]: Taking taylor expansion of m in v
6.351 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ v (pow m 2)))) in m
6.351 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow m 2))) in m
6.351 * [taylor]: Taking taylor expansion of -1 in m
6.351 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
6.351 * [taylor]: Taking taylor expansion of v in m
6.351 * [taylor]: Taking taylor expansion of (pow m 2) in m
6.351 * [taylor]: Taking taylor expansion of m in m
6.352 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ v (pow m 2)))) in m
6.352 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow m 2))) in m
6.352 * [taylor]: Taking taylor expansion of -1 in m
6.352 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
6.352 * [taylor]: Taking taylor expansion of v in m
6.352 * [taylor]: Taking taylor expansion of (pow m 2) in m
6.352 * [taylor]: Taking taylor expansion of m in m
6.354 * [taylor]: Taking taylor expansion of (sqrt (* -1 v)) in v
6.354 * [taylor]: Taking taylor expansion of (* -1 v) in v
6.354 * [taylor]: Taking taylor expansion of -1 in v
6.354 * [taylor]: Taking taylor expansion of v in v
6.356 * [taylor]: Taking taylor expansion of 0 in v
6.358 * [taylor]: Taking taylor expansion of 0 in v
6.363 * [taylor]: Taking taylor expansion of 0 in v
6.366 * * * [progress]: simplifying candidates
6.370 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (/ (pow m 2) v))
  (log1p (/ (pow m 2) v))
  (- (* (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)))
  (expm1 (/ (pow m 2) v))
  (log1p (/ (pow m 2) v))
  (- (* (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)))
  (expm1 (sqrt (/ (pow m 2) v)))
  (log1p (sqrt (/ (pow m 2) v)))
  (log (sqrt (/ (pow m 2) v)))
  (exp (sqrt (/ (pow m 2) v)))
  (* (cbrt (sqrt (/ (pow m 2) v))) (cbrt (sqrt (/ (pow m 2) v))))
  (cbrt (sqrt (/ (pow m 2) v)))
  (* (* (sqrt (/ (pow m 2) v)) (sqrt (/ (pow m 2) v))) (sqrt (/ (pow m 2) v)))
  (sqrt (* (cbrt (/ (pow m 2) v)) (cbrt (/ (pow m 2) v))))
  (sqrt (cbrt (/ (pow m 2) v)))
  (sqrt (sqrt (/ (pow m 2) v)))
  (sqrt (sqrt (/ (pow m 2) v)))
  (sqrt (/ (pow (* (cbrt m) (cbrt m)) 2) (* (cbrt v) (cbrt v))))
  (sqrt (/ (pow (cbrt m) 2) (cbrt v)))
  (sqrt (/ (pow (* (cbrt m) (cbrt m)) 2) (sqrt v)))
  (sqrt (/ (pow (cbrt m) 2) (sqrt v)))
  (sqrt (/ (pow (* (cbrt m) (cbrt m)) 2) 1))
  (sqrt (/ (pow (cbrt m) 2) v))
  (sqrt (/ (pow (sqrt m) 2) (* (cbrt v) (cbrt v))))
  (sqrt (/ (pow (sqrt m) 2) (cbrt v)))
  (sqrt (/ (pow (sqrt m) 2) (sqrt v)))
  (sqrt (/ (pow (sqrt m) 2) (sqrt v)))
  (sqrt (/ (pow (sqrt m) 2) 1))
  (sqrt (/ (pow (sqrt m) 2) v))
  (sqrt (/ (pow 1 2) (* (cbrt v) (cbrt v))))
  (sqrt (/ (pow m 2) (cbrt v)))
  (sqrt (/ (pow 1 2) (sqrt v)))
  (sqrt (/ (pow m 2) (sqrt v)))
  (sqrt (/ (pow 1 2) 1))
  (sqrt (/ (pow m 2) v))
  (sqrt (/ m (* (cbrt v) (cbrt v))))
  (sqrt (/ m (cbrt v)))
  (sqrt (/ m (sqrt v)))
  (sqrt (/ m (sqrt v)))
  (sqrt (/ m 1))
  (sqrt (/ m v))
  (sqrt (/ (* (cbrt (pow m 2)) (cbrt (pow m 2))) (* (cbrt v) (cbrt v))))
  (sqrt (/ (cbrt (pow m 2)) (cbrt v)))
  (sqrt (/ (* (cbrt (pow m 2)) (cbrt (pow m 2))) (sqrt v)))
  (sqrt (/ (cbrt (pow m 2)) (sqrt v)))
  (sqrt (/ (* (cbrt (pow m 2)) (cbrt (pow m 2))) 1))
  (sqrt (/ (cbrt (pow m 2)) v))
  (sqrt (/ (sqrt (pow m 2)) (* (cbrt v) (cbrt v))))
  (sqrt (/ (sqrt (pow m 2)) (cbrt v)))
  (sqrt (/ (sqrt (pow m 2)) (sqrt v)))
  (sqrt (/ (sqrt (pow m 2)) (sqrt v)))
  (sqrt (/ (sqrt (pow m 2)) 1))
  (sqrt (/ (sqrt (pow m 2)) v))
  (sqrt (/ 1 (* (cbrt v) (cbrt v))))
  (sqrt (/ (pow m 2) (cbrt v)))
  (sqrt (/ 1 (sqrt v)))
  (sqrt (/ (pow m 2) (sqrt v)))
  (sqrt (/ 1 1))
  (sqrt (/ (pow m 2) v))
  (sqrt (/ (pow m (/ 2 2)) (* (cbrt v) (cbrt v))))
  (sqrt (/ (pow m (/ 2 2)) (cbrt v)))
  (sqrt (/ (pow m (/ 2 2)) (sqrt v)))
  (sqrt (/ (pow m (/ 2 2)) (sqrt v)))
  (sqrt (/ (pow m (/ 2 2)) 1))
  (sqrt (/ (pow m (/ 2 2)) v))
  (sqrt 1)
  (sqrt (/ (pow m 2) v))
  (sqrt (pow m 2))
  (sqrt (/ 1 v))
  (sqrt (pow m 2))
  (sqrt v)
  (/ 1 2)
  (sqrt (sqrt (/ (pow m 2) v)))
  (sqrt (sqrt (/ (pow m 2) v)))
  (expm1 (sqrt (/ (pow m 2) v)))
  (log1p (sqrt (/ (pow m 2) v)))
  (log (sqrt (/ (pow m 2) v)))
  (exp (sqrt (/ (pow m 2) v)))
  (* (cbrt (sqrt (/ (pow m 2) v))) (cbrt (sqrt (/ (pow m 2) v))))
  (cbrt (sqrt (/ (pow m 2) v)))
  (* (* (sqrt (/ (pow m 2) v)) (sqrt (/ (pow m 2) v))) (sqrt (/ (pow m 2) v)))
  (sqrt (* (cbrt (/ (pow m 2) v)) (cbrt (/ (pow m 2) v))))
  (sqrt (cbrt (/ (pow m 2) v)))
  (sqrt (sqrt (/ (pow m 2) v)))
  (sqrt (sqrt (/ (pow m 2) v)))
  (sqrt (/ (pow (* (cbrt m) (cbrt m)) 2) (* (cbrt v) (cbrt v))))
  (sqrt (/ (pow (cbrt m) 2) (cbrt v)))
  (sqrt (/ (pow (* (cbrt m) (cbrt m)) 2) (sqrt v)))
  (sqrt (/ (pow (cbrt m) 2) (sqrt v)))
  (sqrt (/ (pow (* (cbrt m) (cbrt m)) 2) 1))
  (sqrt (/ (pow (cbrt m) 2) v))
  (sqrt (/ (pow (sqrt m) 2) (* (cbrt v) (cbrt v))))
  (sqrt (/ (pow (sqrt m) 2) (cbrt v)))
  (sqrt (/ (pow (sqrt m) 2) (sqrt v)))
  (sqrt (/ (pow (sqrt m) 2) (sqrt v)))
  (sqrt (/ (pow (sqrt m) 2) 1))
  (sqrt (/ (pow (sqrt m) 2) v))
  (sqrt (/ (pow 1 2) (* (cbrt v) (cbrt v))))
  (sqrt (/ (pow m 2) (cbrt v)))
  (sqrt (/ (pow 1 2) (sqrt v)))
  (sqrt (/ (pow m 2) (sqrt v)))
  (sqrt (/ (pow 1 2) 1))
  (sqrt (/ (pow m 2) v))
  (sqrt (/ m (* (cbrt v) (cbrt v))))
  (sqrt (/ m (cbrt v)))
  (sqrt (/ m (sqrt v)))
  (sqrt (/ m (sqrt v)))
  (sqrt (/ m 1))
  (sqrt (/ m v))
  (sqrt (/ (* (cbrt (pow m 2)) (cbrt (pow m 2))) (* (cbrt v) (cbrt v))))
  (sqrt (/ (cbrt (pow m 2)) (cbrt v)))
  (sqrt (/ (* (cbrt (pow m 2)) (cbrt (pow m 2))) (sqrt v)))
  (sqrt (/ (cbrt (pow m 2)) (sqrt v)))
  (sqrt (/ (* (cbrt (pow m 2)) (cbrt (pow m 2))) 1))
  (sqrt (/ (cbrt (pow m 2)) v))
  (sqrt (/ (sqrt (pow m 2)) (* (cbrt v) (cbrt v))))
  (sqrt (/ (sqrt (pow m 2)) (cbrt v)))
  (sqrt (/ (sqrt (pow m 2)) (sqrt v)))
  (sqrt (/ (sqrt (pow m 2)) (sqrt v)))
  (sqrt (/ (sqrt (pow m 2)) 1))
  (sqrt (/ (sqrt (pow m 2)) v))
  (sqrt (/ 1 (* (cbrt v) (cbrt v))))
  (sqrt (/ (pow m 2) (cbrt v)))
  (sqrt (/ 1 (sqrt v)))
  (sqrt (/ (pow m 2) (sqrt v)))
  (sqrt (/ 1 1))
  (sqrt (/ (pow m 2) v))
  (sqrt (/ (pow m (/ 2 2)) (* (cbrt v) (cbrt v))))
  (sqrt (/ (pow m (/ 2 2)) (cbrt v)))
  (sqrt (/ (pow m (/ 2 2)) (sqrt v)))
  (sqrt (/ (pow m (/ 2 2)) (sqrt v)))
  (sqrt (/ (pow m (/ 2 2)) 1))
  (sqrt (/ (pow m (/ 2 2)) v))
  (sqrt 1)
  (sqrt (/ (pow m 2) v))
  (sqrt (pow m 2))
  (sqrt (/ 1 v))
  (sqrt (pow m 2))
  (sqrt v)
  (/ 1 2)
  (sqrt (sqrt (/ (pow m 2) v)))
  (sqrt (sqrt (/ (pow m 2) v)))
  (/ (pow m 2) v)
  (/ (pow m 2) v)
  (/ (pow m 2) v)
  (/ (pow m 2) v)
  (/ (pow m 2) v)
  (/ (pow m 2) v)
  (- (+ (* +nan.0 m) (- (+ (* +nan.0 (* m v)) (- (* +nan.0 (* m (pow v 2))))))))
  (- (+ (* +nan.0 (/ m (pow v 2))) (- (+ (* +nan.0 (/ m (pow v 3))) (- (* +nan.0 (/ m v)))))))
  (- (+ (* +nan.0 (/ m (pow v 2))) (- (+ (* +nan.0 (/ m (pow v 3))) (- (* +nan.0 (/ m v)))))))
  (- (+ (* +nan.0 m) (- (+ (* +nan.0 (* m v)) (- (* +nan.0 (* m (pow v 2))))))))
  (- (+ (* +nan.0 (/ m (pow v 2))) (- (+ (* +nan.0 (/ m (pow v 3))) (- (* +nan.0 (/ m v)))))))
  (- (+ (* +nan.0 (/ m (pow v 2))) (- (+ (* +nan.0 (/ m (pow v 3))) (- (* +nan.0 (/ m v)))))))
6.376 * * [simplify]: iteration  0 :  171  enodes  (cost  2278 )
6.407 * * [simplify]: iteration  1 :  285  enodes  (cost  2052 )
6.505 * * [simplify]: iteration  2 :  890  enodes  (cost  1760 )
7.158 * * [simplify]: iteration  3 :  4516  enodes  (cost  1718 )
8.929 * * [simplify]: iteration  done :  5000  enodes  (cost  1718 )
8.936 * [simplify]: Simplified to:
   (expm1 (/ (pow m 2) v))
  (log1p (/ (pow m 2) v))
  (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)))
  (* m (/ m (cbrt v)))
  (/ 1 (sqrt v))
  (/ (pow m 2) (sqrt v))
  1
  (* m (/ m 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)))
  (* m (/ m (cbrt v)))
  (/ 1 (sqrt v))
  (/ (pow m 2) (sqrt v))
  1
  (* m (/ m 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)
  (expm1 (/ (pow m 2) v))
  (log1p (/ (pow m 2) v))
  (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)))
  (* m (/ m (cbrt v)))
  (/ 1 (sqrt v))
  (/ (pow m 2) (sqrt v))
  1
  (* m (/ m 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)))
  (* m (/ m (cbrt v)))
  (/ 1 (sqrt v))
  (/ (pow m 2) (sqrt v))
  1
  (* m (/ m 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)
  (expm1 (sqrt (/ (pow m 2) v)))
  (log1p (sqrt (/ (pow m 2) v)))
  (log (sqrt (/ (pow m 2) v)))
  (exp (sqrt (/ (pow m 2) v)))
  (* (cbrt (sqrt (/ (pow m 2) v))) (cbrt (sqrt (/ (pow m 2) v))))
  (cbrt (sqrt (/ (pow m 2) v)))
  (pow (sqrt (/ (pow m 2) v)) 3)
  (fabs (cbrt (/ (pow m 2) v)))
  (sqrt (cbrt (/ (pow m 2) v)))
  (sqrt (sqrt (/ (pow m 2) v)))
  (sqrt (sqrt (/ (pow m 2) v)))
  (fabs (/ (pow (cbrt m) 2) (cbrt v)))
  (sqrt (/ (pow (cbrt m) 2) (cbrt v)))
  (sqrt (/ (pow (cbrt m) 4) (sqrt v)))
  (sqrt (/ (pow (cbrt m) 2) (sqrt v)))
  (sqrt (pow (cbrt m) 4))
  (sqrt (/ (pow (cbrt m) 2) v))
  (fabs (/ (sqrt m) (cbrt v)))
  (sqrt (/ m (cbrt v)))
  (sqrt (/ m (sqrt v)))
  (sqrt (/ m (sqrt v)))
  (sqrt m)
  (sqrt (/ m v))
  (fabs (/ 1 (cbrt v)))
  (sqrt (/ (pow m 2) (cbrt v)))
  (sqrt (/ 1 (sqrt v)))
  (sqrt (/ (pow m 2) (sqrt v)))
  1
  (sqrt (/ (pow m 2) v))
  (fabs (/ (sqrt m) (cbrt v)))
  (sqrt (/ m (cbrt v)))
  (sqrt (/ m (sqrt v)))
  (sqrt (/ m (sqrt v)))
  (sqrt m)
  (sqrt (/ m v))
  (fabs (/ (cbrt (pow m 2)) (cbrt v)))
  (sqrt (/ (cbrt (pow m 2)) (cbrt v)))
  (sqrt (/ (* (cbrt (pow m 2)) (cbrt (pow m 2))) (sqrt v)))
  (sqrt (/ (cbrt (pow m 2)) (sqrt v)))
  (fabs (cbrt (pow m 2)))
  (sqrt (/ (cbrt (pow m 2)) v))
  (sqrt (/ (fabs m) (* (cbrt v) (cbrt v))))
  (sqrt (/ (fabs m) (cbrt v)))
  (sqrt (/ (fabs m) (sqrt v)))
  (sqrt (/ (fabs m) (sqrt v)))
  (sqrt (fabs m))
  (sqrt (/ (fabs m) v))
  (fabs (/ 1 (cbrt v)))
  (sqrt (/ (pow m 2) (cbrt v)))
  (sqrt (/ 1 (sqrt v)))
  (sqrt (/ (pow m 2) (sqrt v)))
  1
  (sqrt (/ (pow m 2) v))
  (fabs (/ (sqrt m) (cbrt v)))
  (sqrt (/ m (cbrt v)))
  (sqrt (/ m (sqrt v)))
  (sqrt (/ m (sqrt v)))
  (sqrt m)
  (sqrt (/ m v))
  1
  (sqrt (/ (pow m 2) v))
  (fabs m)
  (sqrt (/ 1 v))
  (fabs m)
  (sqrt v)
  1/2
  (sqrt (sqrt (/ (pow m 2) v)))
  (sqrt (sqrt (/ (pow m 2) v)))
  (expm1 (sqrt (/ (pow m 2) v)))
  (log1p (sqrt (/ (pow m 2) v)))
  (log (sqrt (/ (pow m 2) v)))
  (exp (sqrt (/ (pow m 2) v)))
  (* (cbrt (sqrt (/ (pow m 2) v))) (cbrt (sqrt (/ (pow m 2) v))))
  (cbrt (sqrt (/ (pow m 2) v)))
  (pow (sqrt (/ (pow m 2) v)) 3)
  (fabs (cbrt (/ (pow m 2) v)))
  (sqrt (cbrt (/ (pow m 2) v)))
  (sqrt (sqrt (/ (pow m 2) v)))
  (sqrt (sqrt (/ (pow m 2) v)))
  (fabs (/ (pow (cbrt m) 2) (cbrt v)))
  (sqrt (/ (pow (cbrt m) 2) (cbrt v)))
  (sqrt (/ (pow (cbrt m) 4) (sqrt v)))
  (sqrt (/ (pow (cbrt m) 2) (sqrt v)))
  (sqrt (pow (cbrt m) 4))
  (sqrt (/ (pow (cbrt m) 2) v))
  (fabs (/ (sqrt m) (cbrt v)))
  (sqrt (/ m (cbrt v)))
  (sqrt (/ m (sqrt v)))
  (sqrt (/ m (sqrt v)))
  (sqrt m)
  (sqrt (/ m v))
  (fabs (/ 1 (cbrt v)))
  (sqrt (/ (pow m 2) (cbrt v)))
  (sqrt (/ 1 (sqrt v)))
  (sqrt (/ (pow m 2) (sqrt v)))
  1
  (sqrt (/ (pow m 2) v))
  (fabs (/ (sqrt m) (cbrt v)))
  (sqrt (/ m (cbrt v)))
  (sqrt (/ m (sqrt v)))
  (sqrt (/ m (sqrt v)))
  (sqrt m)
  (sqrt (/ m v))
  (fabs (/ (cbrt (pow m 2)) (cbrt v)))
  (sqrt (/ (cbrt (pow m 2)) (cbrt v)))
  (sqrt (/ (* (cbrt (pow m 2)) (cbrt (pow m 2))) (sqrt v)))
  (sqrt (/ (cbrt (pow m 2)) (sqrt v)))
  (fabs (cbrt (pow m 2)))
  (sqrt (/ (cbrt (pow m 2)) v))
  (sqrt (/ (fabs m) (* (cbrt v) (cbrt v))))
  (sqrt (/ (fabs m) (cbrt v)))
  (sqrt (/ (fabs m) (sqrt v)))
  (sqrt (/ (fabs m) (sqrt v)))
  (sqrt (fabs m))
  (sqrt (/ (fabs m) v))
  (fabs (/ 1 (cbrt v)))
  (sqrt (/ (pow m 2) (cbrt v)))
  (sqrt (/ 1 (sqrt v)))
  (sqrt (/ (pow m 2) (sqrt v)))
  1
  (sqrt (/ (pow m 2) v))
  (fabs (/ (sqrt m) (cbrt v)))
  (sqrt (/ m (cbrt v)))
  (sqrt (/ m (sqrt v)))
  (sqrt (/ m (sqrt v)))
  (sqrt m)
  (sqrt (/ m v))
  1
  (sqrt (/ (pow m 2) v))
  (fabs m)
  (sqrt (/ 1 v))
  (fabs m)
  (sqrt v)
  1/2
  (sqrt (sqrt (/ (pow m 2) v)))
  (sqrt (sqrt (/ (pow m 2) v)))
  (* m (/ m v))
  (* m (/ m v))
  (* m (/ m v))
  (* m (/ m v))
  (* m (/ m v))
  (* m (/ m v))
  (* +nan.0 (+ (* m (- v (* v v))) (- m)))
  (+ (/ +nan.0 (/ (pow v 3) m)) (- (* (/ m v) (+ +nan.0 (/ +nan.0 v)))))
  (+ (/ +nan.0 (/ (pow v 3) m)) (- (* (/ m v) (+ +nan.0 (/ +nan.0 v)))))
  (* +nan.0 (+ (* m (- v (* v v))) (- m)))
  (+ (/ +nan.0 (/ (pow v 3) m)) (- (* (/ m v) (+ +nan.0 (/ +nan.0 v)))))
  (+ (/ +nan.0 (/ (pow v 3) m)) (- (* (/ m v) (+ +nan.0 (/ +nan.0 v)))))
8.937 * * * [progress]: adding candidates to table
9.687 * [progress]: [Phase 3 of 3] Extracting.
9.688 * * [regime]: Finding splitpoints for: (#<alt (λ (m v) (+ (* (- (/ (* m (- (pow 1.0 3) (pow m 3))) (* (fma 1.0 1.0 (* m (+ 1.0 m))) v)) 1.0) 1.0) (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m))))> #<alt (λ (m v) (* (* (- (/ (* m (- 1.0 m)) v) 1.0) (+ (sqrt 1.0) (sqrt m))) (- (sqrt 1.0) (sqrt m))))> #<alt (λ (m v) (+ (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0) (- (fma 1.0 m (/ (pow m 3) v)) (* 1.0 (* (sqrt (/ (pow m 2) v)) (sqrt (/ (pow m 2) v)))))))>)
9.692 * * * [regime-changes]: Trying 2 branch expressions: (v m)
9.693 * * * * [regimes]: Trying to branch on v from (#<alt (λ (m v) (+ (* (- (/ (* m (- (pow 1.0 3) (pow m 3))) (* (fma 1.0 1.0 (* m (+ 1.0 m))) v)) 1.0) 1.0) (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m))))> #<alt (λ (m v) (* (* (- (/ (* m (- 1.0 m)) v) 1.0) (+ (sqrt 1.0) (sqrt m))) (- (sqrt 1.0) (sqrt m))))> #<alt (λ (m v) (+ (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0) (- (fma 1.0 m (/ (pow m 3) v)) (* 1.0 (* (sqrt (/ (pow m 2) v)) (sqrt (/ (pow m 2) v)))))))>)
9.712 * * * * [regimes]: Trying to branch on m from (#<alt (λ (m v) (+ (* (- (/ (* m (- (pow 1.0 3) (pow m 3))) (* (fma 1.0 1.0 (* m (+ 1.0 m))) v)) 1.0) 1.0) (* (- (/ (* m (- 1.0 m)) v) 1.0) (- m))))> #<alt (λ (m v) (* (* (- (/ (* m (- 1.0 m)) v) 1.0) (+ (sqrt 1.0) (sqrt m))) (- (sqrt 1.0) (sqrt m))))> #<alt (λ (m v) (+ (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0) (- (fma 1.0 m (/ (pow m 3) v)) (* 1.0 (* (sqrt (/ (pow m 2) v)) (sqrt (/ (pow m 2) v)))))))>)
9.730 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
9.730 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0) (- (fma 1.0 m (/ (pow m 3) v)) (* 1.0 (* (sqrt (/ (pow m 2) v)) (sqrt (/ (pow m 2) v))))))
9.731 * * [simplify]: iteration  0 :  20  enodes  (cost  36 )
9.731 * * [simplify]: iteration  1 :  24  enodes  (cost  36 )
9.732 * * [simplify]: iteration  done :  24  enodes  (cost  36 )
9.732 * [simplify]: Simplified to:
   (+ (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0) (- (fma 1.0 m (/ (pow m 3) v)) (* 1.0 (* (sqrt (/ (pow m 2) v)) (sqrt (/ (pow m 2) v))))))
10.656 * [regime-testing]: Baseline error score: 0.0712119070233472
10.656 * [regime-testing]: Oracle error score: 0.024074092848278602
10.657 * [regime-testing]: End program error score: 0.0712119070233472