0.864 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.042 * * * [progress]: [2/2] Setting up program.
0.229 * [progress]: [Phase 2 of 3] Improving.
0.232 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))
0.757 * * [simplify]: iteration  0 :  5045  enodes  (cost  13 )
0.759 * [simplify]: Simplified to:
   (* (- 1.0 m) (- (* m (/ (- 1.0 m) v)) 1.0))
0.765 * * [progress]: iteration 1 / 4
0.765 * * * [progress]: picking best candidate
0.769 * * * * [pick]: Picked  #<alt (λ (m v) (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))>
0.769 * * * [progress]: localizing error
0.778 * * * [progress]: generating rewritten candidates
0.778 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.787 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
0.801 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
0.827 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.839 * * * [progress]: generating series expansions
0.840 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
0.844 * [approximate]: Taking taylor expansion of (/ (* m (- 1.0 m)) v) in (m v) around 0
0.845 * [taylor]: Taking taylor expansion of (/ (* m (- 1.0 m)) v) in v
0.845 * [taylor]: Taking taylor expansion of (* m (- 1.0 m)) in v
0.845 * [taylor]: Taking taylor expansion of m in v
0.845 * [taylor]: Taking taylor expansion of (- 1.0 m) in v
0.845 * [taylor]: Taking taylor expansion of 1.0 in v
0.845 * [taylor]: Taking taylor expansion of m in v
0.845 * [taylor]: Taking taylor expansion of v in v
0.846 * [taylor]: Taking taylor expansion of (/ (* m (- 1.0 m)) v) in m
0.846 * [taylor]: Taking taylor expansion of (* m (- 1.0 m)) in m
0.846 * [taylor]: Taking taylor expansion of m in m
0.846 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
0.846 * [taylor]: Taking taylor expansion of 1.0 in m
0.846 * [taylor]: Taking taylor expansion of m in m
0.846 * [taylor]: Taking taylor expansion of v in m
0.846 * [taylor]: Taking taylor expansion of (/ (* m (- 1.0 m)) v) in m
0.846 * [taylor]: Taking taylor expansion of (* m (- 1.0 m)) in m
0.846 * [taylor]: Taking taylor expansion of m in m
0.846 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
0.846 * [taylor]: Taking taylor expansion of 1.0 in m
0.846 * [taylor]: Taking taylor expansion of m in m
0.846 * [taylor]: Taking taylor expansion of v in m
0.847 * [taylor]: Taking taylor expansion of (/ 1.0 v) in v
0.847 * [taylor]: Taking taylor expansion of 1.0 in v
0.847 * [taylor]: Taking taylor expansion of v in v
0.847 * [taylor]: Taking taylor expansion of (neg (/ 1 v)) in v
0.847 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.847 * [taylor]: Taking taylor expansion of v in v
0.848 * [taylor]: Taking taylor expansion of 0 in v
0.848 * [taylor]: Taking taylor expansion of 0 in v
0.849 * [approximate]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in (m v) around 0
0.850 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in v
0.850 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in v
0.850 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in v
0.850 * [taylor]: Taking taylor expansion of 1.0 in v
0.850 * [taylor]: Taking taylor expansion of (/ 1 m) in v
0.850 * [taylor]: Taking taylor expansion of m in v
0.850 * [taylor]: Taking taylor expansion of v in v
0.850 * [taylor]: Taking taylor expansion of m in v
0.850 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in m
0.850 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in m
0.850 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
0.850 * [taylor]: Taking taylor expansion of 1.0 in m
0.850 * [taylor]: Taking taylor expansion of (/ 1 m) in m
0.850 * [taylor]: Taking taylor expansion of m in m
0.850 * [taylor]: Taking taylor expansion of v in m
0.850 * [taylor]: Taking taylor expansion of m in m
0.850 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in m
0.850 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in m
0.850 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
0.850 * [taylor]: Taking taylor expansion of 1.0 in m
0.850 * [taylor]: Taking taylor expansion of (/ 1 m) in m
0.850 * [taylor]: Taking taylor expansion of m in m
0.850 * [taylor]: Taking taylor expansion of v in m
0.850 * [taylor]: Taking taylor expansion of m in m
0.851 * [taylor]: Taking taylor expansion of (* -1 v) in v
0.851 * [taylor]: Taking taylor expansion of -1 in v
0.851 * [taylor]: Taking taylor expansion of v in v
0.851 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
0.851 * [taylor]: Taking taylor expansion of 1.0 in v
0.851 * [taylor]: Taking taylor expansion of v in v
0.851 * [taylor]: Taking taylor expansion of 0 in v
0.851 * [taylor]: Taking taylor expansion of 0 in v
0.852 * [approximate]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in (m v) around 0
0.852 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in v
0.852 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1.0)) in v
0.852 * [taylor]: Taking taylor expansion of v in v
0.852 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in v
0.852 * [taylor]: Taking taylor expansion of (/ 1 m) in v
0.852 * [taylor]: Taking taylor expansion of m in v
0.852 * [taylor]: Taking taylor expansion of 1.0 in v
0.852 * [taylor]: Taking taylor expansion of m in v
0.852 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in m
0.852 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1.0)) in m
0.852 * [taylor]: Taking taylor expansion of v in m
0.852 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
0.852 * [taylor]: Taking taylor expansion of (/ 1 m) in m
0.852 * [taylor]: Taking taylor expansion of m in m
0.852 * [taylor]: Taking taylor expansion of 1.0 in m
0.852 * [taylor]: Taking taylor expansion of m in m
0.852 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in m
0.852 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1.0)) in m
0.853 * [taylor]: Taking taylor expansion of v in m
0.853 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
0.853 * [taylor]: Taking taylor expansion of (/ 1 m) in m
0.853 * [taylor]: Taking taylor expansion of m in m
0.853 * [taylor]: Taking taylor expansion of 1.0 in m
0.853 * [taylor]: Taking taylor expansion of m in m
0.853 * [taylor]: Taking taylor expansion of v in v
0.853 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
0.853 * [taylor]: Taking taylor expansion of 1.0 in v
0.853 * [taylor]: Taking taylor expansion of v in v
0.853 * [taylor]: Taking taylor expansion of 0 in v
0.853 * [taylor]: Taking taylor expansion of 0 in v
0.854 * * * * [progress]: [ 2 / 4 ] generating series at (2)
0.854 * [approximate]: Taking taylor expansion of (* (- 1.0 m) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in (m v) around 0
0.854 * [taylor]: Taking taylor expansion of (* (- 1.0 m) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in v
0.854 * [taylor]: Taking taylor expansion of (- 1.0 m) in v
0.854 * [taylor]: Taking taylor expansion of 1.0 in v
0.854 * [taylor]: Taking taylor expansion of m in v
0.854 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in v
0.854 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in v
0.854 * [taylor]: Taking taylor expansion of 1.0 in v
0.854 * [taylor]: Taking taylor expansion of (/ m v) in v
0.854 * [taylor]: Taking taylor expansion of m in v
0.854 * [taylor]: Taking taylor expansion of v in v
0.854 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in v
0.854 * [taylor]: Taking taylor expansion of 1.0 in v
0.854 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v
0.854 * [taylor]: Taking taylor expansion of (pow m 2) in v
0.854 * [taylor]: Taking taylor expansion of m in v
0.854 * [taylor]: Taking taylor expansion of v in v
0.854 * [taylor]: Taking taylor expansion of (* (- 1.0 m) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in m
0.854 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
0.854 * [taylor]: Taking taylor expansion of 1.0 in m
0.855 * [taylor]: Taking taylor expansion of m in m
0.855 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in m
0.855 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in m
0.855 * [taylor]: Taking taylor expansion of 1.0 in m
0.855 * [taylor]: Taking taylor expansion of (/ m v) in m
0.855 * [taylor]: Taking taylor expansion of m in m
0.855 * [taylor]: Taking taylor expansion of v in m
0.855 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in m
0.855 * [taylor]: Taking taylor expansion of 1.0 in m
0.855 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
0.855 * [taylor]: Taking taylor expansion of (pow m 2) in m
0.855 * [taylor]: Taking taylor expansion of m in m
0.855 * [taylor]: Taking taylor expansion of v in m
0.855 * [taylor]: Taking taylor expansion of (* (- 1.0 m) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in m
0.855 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
0.855 * [taylor]: Taking taylor expansion of 1.0 in m
0.855 * [taylor]: Taking taylor expansion of m in m
0.855 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in m
0.855 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in m
0.855 * [taylor]: Taking taylor expansion of 1.0 in m
0.855 * [taylor]: Taking taylor expansion of (/ m v) in m
0.855 * [taylor]: Taking taylor expansion of m in m
0.855 * [taylor]: Taking taylor expansion of v in m
0.855 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in m
0.855 * [taylor]: Taking taylor expansion of 1.0 in m
0.855 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
0.855 * [taylor]: Taking taylor expansion of (pow m 2) in m
0.855 * [taylor]: Taking taylor expansion of m in m
0.855 * [taylor]: Taking taylor expansion of v in m
0.855 * [taylor]: Taking taylor expansion of -1.0 in v
0.855 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 v)) 1.0) in v
0.855 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 v)) in v
0.855 * [taylor]: Taking taylor expansion of 1.0 in v
0.855 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.855 * [taylor]: Taking taylor expansion of v in v
0.855 * [taylor]: Taking taylor expansion of 1.0 in v
0.856 * [taylor]: Taking taylor expansion of (neg (* 2.0 (/ 1 v))) in v
0.856 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in v
0.856 * [taylor]: Taking taylor expansion of 2.0 in v
0.856 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.856 * [taylor]: Taking taylor expansion of v in v
0.856 * [approximate]: Taking taylor expansion of (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- 1.0 (/ 1 m))) in (m v) around 0
0.856 * [taylor]: Taking taylor expansion of (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- 1.0 (/ 1 m))) in v
0.856 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in v
0.856 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in v
0.856 * [taylor]: Taking taylor expansion of 1.0 in v
0.856 * [taylor]: Taking taylor expansion of (/ v m) in v
0.856 * [taylor]: Taking taylor expansion of v in v
0.856 * [taylor]: Taking taylor expansion of m in v
0.856 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in v
0.856 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
0.856 * [taylor]: Taking taylor expansion of v in v
0.856 * [taylor]: Taking taylor expansion of (pow m 2) in v
0.856 * [taylor]: Taking taylor expansion of m in v
0.857 * [taylor]: Taking taylor expansion of 1.0 in v
0.857 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in v
0.857 * [taylor]: Taking taylor expansion of 1.0 in v
0.857 * [taylor]: Taking taylor expansion of (/ 1 m) in v
0.857 * [taylor]: Taking taylor expansion of m in v
0.857 * [taylor]: Taking taylor expansion of (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- 1.0 (/ 1 m))) in m
0.857 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in m
0.857 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
0.857 * [taylor]: Taking taylor expansion of 1.0 in m
0.857 * [taylor]: Taking taylor expansion of (/ v m) in m
0.857 * [taylor]: Taking taylor expansion of v in m
0.857 * [taylor]: Taking taylor expansion of m in m
0.857 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in m
0.857 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
0.857 * [taylor]: Taking taylor expansion of v in m
0.857 * [taylor]: Taking taylor expansion of (pow m 2) in m
0.857 * [taylor]: Taking taylor expansion of m in m
0.857 * [taylor]: Taking taylor expansion of 1.0 in m
0.857 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
0.857 * [taylor]: Taking taylor expansion of 1.0 in m
0.857 * [taylor]: Taking taylor expansion of (/ 1 m) in m
0.857 * [taylor]: Taking taylor expansion of m in m
0.857 * [taylor]: Taking taylor expansion of (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- 1.0 (/ 1 m))) in m
0.857 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in m
0.857 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
0.857 * [taylor]: Taking taylor expansion of 1.0 in m
0.857 * [taylor]: Taking taylor expansion of (/ v m) in m
0.857 * [taylor]: Taking taylor expansion of v in m
0.857 * [taylor]: Taking taylor expansion of m in m
0.857 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in m
0.857 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
0.857 * [taylor]: Taking taylor expansion of v in m
0.857 * [taylor]: Taking taylor expansion of (pow m 2) in m
0.857 * [taylor]: Taking taylor expansion of m in m
0.857 * [taylor]: Taking taylor expansion of 1.0 in m
0.857 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
0.857 * [taylor]: Taking taylor expansion of 1.0 in m
0.857 * [taylor]: Taking taylor expansion of (/ 1 m) in m
0.857 * [taylor]: Taking taylor expansion of m in m
0.858 * [taylor]: Taking taylor expansion of v in v
0.858 * [taylor]: Taking taylor expansion of (neg (* 2.0 v)) in v
0.858 * [taylor]: Taking taylor expansion of (* 2.0 v) in v
0.858 * [taylor]: Taking taylor expansion of 2.0 in v
0.858 * [taylor]: Taking taylor expansion of v in v
0.858 * [taylor]: Taking taylor expansion of (+ (* 1.0 v) 1.0) in v
0.858 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
0.858 * [taylor]: Taking taylor expansion of 1.0 in v
0.858 * [taylor]: Taking taylor expansion of v in v
0.858 * [taylor]: Taking taylor expansion of 1.0 in v
0.859 * [approximate]: Taking taylor expansion of (* (+ (/ 1 m) 1.0) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) in (m v) around 0
0.859 * [taylor]: Taking taylor expansion of (* (+ (/ 1 m) 1.0) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) in v
0.859 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in v
0.859 * [taylor]: Taking taylor expansion of (/ 1 m) in v
0.859 * [taylor]: Taking taylor expansion of m in v
0.859 * [taylor]: Taking taylor expansion of 1.0 in v
0.859 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in v
0.859 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in v
0.859 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
0.859 * [taylor]: Taking taylor expansion of v in v
0.859 * [taylor]: Taking taylor expansion of (pow m 2) in v
0.859 * [taylor]: Taking taylor expansion of m in v
0.859 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in v
0.859 * [taylor]: Taking taylor expansion of 1.0 in v
0.860 * [taylor]: Taking taylor expansion of (/ v m) in v
0.860 * [taylor]: Taking taylor expansion of v in v
0.860 * [taylor]: Taking taylor expansion of m in v
0.860 * [taylor]: Taking taylor expansion of 1.0 in v
0.860 * [taylor]: Taking taylor expansion of (* (+ (/ 1 m) 1.0) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) in m
0.860 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
0.860 * [taylor]: Taking taylor expansion of (/ 1 m) in m
0.860 * [taylor]: Taking taylor expansion of m in m
0.860 * [taylor]: Taking taylor expansion of 1.0 in m
0.860 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in m
0.860 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in m
0.860 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
0.860 * [taylor]: Taking taylor expansion of v in m
0.860 * [taylor]: Taking taylor expansion of (pow m 2) in m
0.860 * [taylor]: Taking taylor expansion of m in m
0.860 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
0.860 * [taylor]: Taking taylor expansion of 1.0 in m
0.860 * [taylor]: Taking taylor expansion of (/ v m) in m
0.860 * [taylor]: Taking taylor expansion of v in m
0.860 * [taylor]: Taking taylor expansion of m in m
0.860 * [taylor]: Taking taylor expansion of 1.0 in m
0.860 * [taylor]: Taking taylor expansion of (* (+ (/ 1 m) 1.0) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) in m
0.860 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
0.860 * [taylor]: Taking taylor expansion of (/ 1 m) in m
0.860 * [taylor]: Taking taylor expansion of m in m
0.860 * [taylor]: Taking taylor expansion of 1.0 in m
0.860 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in m
0.860 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in m
0.860 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
0.860 * [taylor]: Taking taylor expansion of v in m
0.860 * [taylor]: Taking taylor expansion of (pow m 2) in m
0.860 * [taylor]: Taking taylor expansion of m in m
0.860 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
0.860 * [taylor]: Taking taylor expansion of 1.0 in m
0.860 * [taylor]: Taking taylor expansion of (/ v m) in m
0.860 * [taylor]: Taking taylor expansion of v in m
0.860 * [taylor]: Taking taylor expansion of m in m
0.860 * [taylor]: Taking taylor expansion of 1.0 in m
0.861 * [taylor]: Taking taylor expansion of v in v
0.861 * [taylor]: Taking taylor expansion of (* 2.0 v) in v
0.861 * [taylor]: Taking taylor expansion of 2.0 in v
0.861 * [taylor]: Taking taylor expansion of v in v
0.861 * [taylor]: Taking taylor expansion of (- (* 1.0 v) 1.0) in v
0.861 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
0.861 * [taylor]: Taking taylor expansion of 1.0 in v
0.861 * [taylor]: Taking taylor expansion of v in v
0.861 * [taylor]: Taking taylor expansion of 1.0 in v
0.862 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
0.862 * [approximate]: Taking taylor expansion of (* m (- 1.0 m)) in (m) around 0
0.862 * [taylor]: Taking taylor expansion of (* m (- 1.0 m)) in m
0.862 * [taylor]: Taking taylor expansion of m in m
0.862 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
0.862 * [taylor]: Taking taylor expansion of 1.0 in m
0.862 * [taylor]: Taking taylor expansion of m in m
0.862 * [taylor]: Taking taylor expansion of (* m (- 1.0 m)) in m
0.862 * [taylor]: Taking taylor expansion of m in m
0.862 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
0.862 * [taylor]: Taking taylor expansion of 1.0 in m
0.862 * [taylor]: Taking taylor expansion of m in m
0.863 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 m)) m) in (m) around 0
0.863 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 m)) m) in m
0.863 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
0.863 * [taylor]: Taking taylor expansion of 1.0 in m
0.863 * [taylor]: Taking taylor expansion of (/ 1 m) in m
0.863 * [taylor]: Taking taylor expansion of m in m
0.863 * [taylor]: Taking taylor expansion of m in m
0.863 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 m)) m) in m
0.863 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
0.863 * [taylor]: Taking taylor expansion of 1.0 in m
0.863 * [taylor]: Taking taylor expansion of (/ 1 m) in m
0.863 * [taylor]: Taking taylor expansion of m in m
0.863 * [taylor]: Taking taylor expansion of m in m
0.864 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1.0) m)) in (m) around 0
0.864 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1.0) m)) in m
0.864 * [taylor]: Taking taylor expansion of -1 in m
0.864 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1.0) m) in m
0.864 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
0.864 * [taylor]: Taking taylor expansion of (/ 1 m) in m
0.864 * [taylor]: Taking taylor expansion of m in m
0.864 * [taylor]: Taking taylor expansion of 1.0 in m
0.864 * [taylor]: Taking taylor expansion of m in m
0.865 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1.0) m)) in m
0.865 * [taylor]: Taking taylor expansion of -1 in m
0.865 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1.0) m) in m
0.865 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
0.865 * [taylor]: Taking taylor expansion of (/ 1 m) in m
0.865 * [taylor]: Taking taylor expansion of m in m
0.865 * [taylor]: Taking taylor expansion of 1.0 in m
0.865 * [taylor]: Taking taylor expansion of m in m
0.866 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
0.866 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in (m v) around 0
0.866 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in v
0.866 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in v
0.866 * [taylor]: Taking taylor expansion of 1.0 in v
0.866 * [taylor]: Taking taylor expansion of (/ m v) in v
0.866 * [taylor]: Taking taylor expansion of m in v
0.866 * [taylor]: Taking taylor expansion of v in v
0.866 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in v
0.866 * [taylor]: Taking taylor expansion of 1.0 in v
0.867 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v
0.867 * [taylor]: Taking taylor expansion of (pow m 2) in v
0.867 * [taylor]: Taking taylor expansion of m in v
0.867 * [taylor]: Taking taylor expansion of v in v
0.867 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in m
0.867 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in m
0.867 * [taylor]: Taking taylor expansion of 1.0 in m
0.867 * [taylor]: Taking taylor expansion of (/ m v) in m
0.867 * [taylor]: Taking taylor expansion of m in m
0.867 * [taylor]: Taking taylor expansion of v in m
0.867 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in m
0.867 * [taylor]: Taking taylor expansion of 1.0 in m
0.867 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
0.867 * [taylor]: Taking taylor expansion of (pow m 2) in m
0.867 * [taylor]: Taking taylor expansion of m in m
0.867 * [taylor]: Taking taylor expansion of v in m
0.867 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in m
0.867 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in m
0.867 * [taylor]: Taking taylor expansion of 1.0 in m
0.867 * [taylor]: Taking taylor expansion of (/ m v) in m
0.867 * [taylor]: Taking taylor expansion of m in m
0.867 * [taylor]: Taking taylor expansion of v in m
0.867 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in m
0.867 * [taylor]: Taking taylor expansion of 1.0 in m
0.867 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
0.867 * [taylor]: Taking taylor expansion of (pow m 2) in m
0.867 * [taylor]: Taking taylor expansion of m in m
0.867 * [taylor]: Taking taylor expansion of v in m
0.867 * [taylor]: Taking taylor expansion of (neg 1.0) in v
0.867 * [taylor]: Taking taylor expansion of 1.0 in v
0.867 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 v)) in v
0.867 * [taylor]: Taking taylor expansion of 1.0 in v
0.867 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.867 * [taylor]: Taking taylor expansion of v in v
0.868 * [taylor]: Taking taylor expansion of (neg (/ 1 v)) in v
0.868 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.868 * [taylor]: Taking taylor expansion of v in v
0.868 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in (m v) around 0
0.868 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in v
0.868 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in v
0.868 * [taylor]: Taking taylor expansion of 1.0 in v
0.868 * [taylor]: Taking taylor expansion of (/ v m) in v
0.868 * [taylor]: Taking taylor expansion of v in v
0.868 * [taylor]: Taking taylor expansion of m in v
0.868 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in v
0.868 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
0.868 * [taylor]: Taking taylor expansion of v in v
0.868 * [taylor]: Taking taylor expansion of (pow m 2) in v
0.868 * [taylor]: Taking taylor expansion of m in v
0.868 * [taylor]: Taking taylor expansion of 1.0 in v
0.868 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in m
0.868 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
0.868 * [taylor]: Taking taylor expansion of 1.0 in m
0.868 * [taylor]: Taking taylor expansion of (/ v m) in m
0.868 * [taylor]: Taking taylor expansion of v in m
0.868 * [taylor]: Taking taylor expansion of m in m
0.868 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in m
0.868 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
0.868 * [taylor]: Taking taylor expansion of v in m
0.868 * [taylor]: Taking taylor expansion of (pow m 2) in m
0.869 * [taylor]: Taking taylor expansion of m in m
0.869 * [taylor]: Taking taylor expansion of 1.0 in m
0.869 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in m
0.869 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
0.869 * [taylor]: Taking taylor expansion of 1.0 in m
0.869 * [taylor]: Taking taylor expansion of (/ v m) in m
0.869 * [taylor]: Taking taylor expansion of v in m
0.869 * [taylor]: Taking taylor expansion of m in m
0.869 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in m
0.869 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
0.869 * [taylor]: Taking taylor expansion of v in m
0.869 * [taylor]: Taking taylor expansion of (pow m 2) in m
0.869 * [taylor]: Taking taylor expansion of m in m
0.869 * [taylor]: Taking taylor expansion of 1.0 in m
0.869 * [taylor]: Taking taylor expansion of (neg v) in v
0.869 * [taylor]: Taking taylor expansion of v in v
0.869 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
0.869 * [taylor]: Taking taylor expansion of 1.0 in v
0.869 * [taylor]: Taking taylor expansion of v in v
0.869 * [taylor]: Taking taylor expansion of (neg 1.0) in v
0.869 * [taylor]: Taking taylor expansion of 1.0 in v
0.870 * [approximate]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in (m v) around 0
0.870 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in v
0.870 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in v
0.870 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
0.870 * [taylor]: Taking taylor expansion of v in v
0.870 * [taylor]: Taking taylor expansion of (pow m 2) in v
0.870 * [taylor]: Taking taylor expansion of m in v
0.870 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in v
0.870 * [taylor]: Taking taylor expansion of 1.0 in v
0.870 * [taylor]: Taking taylor expansion of (/ v m) in v
0.870 * [taylor]: Taking taylor expansion of v in v
0.870 * [taylor]: Taking taylor expansion of m in v
0.870 * [taylor]: Taking taylor expansion of 1.0 in v
0.870 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in m
0.870 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in m
0.870 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
0.870 * [taylor]: Taking taylor expansion of v in m
0.870 * [taylor]: Taking taylor expansion of (pow m 2) in m
0.870 * [taylor]: Taking taylor expansion of m in m
0.870 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
0.870 * [taylor]: Taking taylor expansion of 1.0 in m
0.870 * [taylor]: Taking taylor expansion of (/ v m) in m
0.870 * [taylor]: Taking taylor expansion of v in m
0.870 * [taylor]: Taking taylor expansion of m in m
0.870 * [taylor]: Taking taylor expansion of 1.0 in m
0.870 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in m
0.870 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in m
0.870 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
0.870 * [taylor]: Taking taylor expansion of v in m
0.870 * [taylor]: Taking taylor expansion of (pow m 2) in m
0.870 * [taylor]: Taking taylor expansion of m in m
0.870 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
0.870 * [taylor]: Taking taylor expansion of 1.0 in m
0.871 * [taylor]: Taking taylor expansion of (/ v m) in m
0.871 * [taylor]: Taking taylor expansion of v in m
0.871 * [taylor]: Taking taylor expansion of m in m
0.871 * [taylor]: Taking taylor expansion of 1.0 in m
0.871 * [taylor]: Taking taylor expansion of v in v
0.871 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
0.871 * [taylor]: Taking taylor expansion of 1.0 in v
0.871 * [taylor]: Taking taylor expansion of v in v
0.871 * [taylor]: Taking taylor expansion of (neg 1.0) in v
0.871 * [taylor]: Taking taylor expansion of 1.0 in v
0.871 * * * [progress]: simplifying candidates
0.873 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (+ (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))
  (neg (* m (- 1.0 m)))
  (neg v)
  (/ m (* (cbrt v) (cbrt v)))
  (/ (- 1.0 m) (cbrt v))
  (/ m (sqrt v))
  (/ (- 1.0 m) (sqrt v))
  (/ m 1)
  (/ (- 1.0 m) v)
  (/ 1 v)
  (/ v (* m (- 1.0 m)))
  (/ (* m (- 1.0 m)) (* (cbrt v) (cbrt v)))
  (/ (* m (- 1.0 m)) (sqrt v))
  (/ (* m (- 1.0 m)) 1)
  (/ v (- 1.0 m))
  (* v (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))))
  (* v (+ 1.0 m))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))
  (+ (log (- (/ (* m (- 1.0 m)) v) 1.0)) (log (- 1.0 m)))
  (log (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
  (exp (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
  (* (* (* (- (/ (* m (- 1.0 m)) v) 1.0) (- (/ (* m (- 1.0 m)) v) 1.0)) (- (/ (* m (- 1.0 m)) v) 1.0)) (* (* (- 1.0 m) (- 1.0 m)) (- 1.0 m)))
  (* (cbrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))) (cbrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))))
  (cbrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
  (* (* (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)) (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))) (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
  (sqrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
  (sqrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
  (* (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3)) (- (pow 1.0 3) (pow m 3)))
  (* (+ (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (+ (* 1.0 1.0) (* (/ (* m (- 1.0 m)) v) 1.0))) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))))
  (* (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3)) (- (* 1.0 1.0) (* m m)))
  (* (+ (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (+ (* 1.0 1.0) (* (/ (* m (- 1.0 m)) v) 1.0))) (+ 1.0 m))
  (* (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0)) (- (pow 1.0 3) (pow m 3)))
  (* (+ (/ (* m (- 1.0 m)) v) 1.0) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))))
  (* (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0)) (- (* 1.0 1.0) (* m m)))
  (* (+ (/ (* m (- 1.0 m)) v) 1.0) (+ 1.0 m))
  (* (sqrt (- (/ (* m (- 1.0 m)) v) 1.0)) (sqrt (- 1.0 m)))
  (* (sqrt (- (/ (* m (- 1.0 m)) v) 1.0)) (sqrt (- 1.0 m)))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0)
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (neg m))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0)
  (* (- (/ (* m (- 1.0 m)) v) 1.0) (neg m))
  (* 1.0 (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (neg m) (- (/ (* m (- 1.0 m)) v) 1.0))
  (* 1.0 (- (/ (* m (- 1.0 m)) v) 1.0))
  (* (neg 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))
  (* m (- 1.0 m))
  (+ (log m) (log (- 1.0 m)))
  (log (* m (- 1.0 m)))
  (exp (* m (- 1.0 m)))
  (* (* (* m m) m) (* (* (- 1.0 m) (- 1.0 m)) (- 1.0 m)))
  (* (cbrt (* m (- 1.0 m))) (cbrt (* m (- 1.0 m))))
  (cbrt (* m (- 1.0 m)))
  (* (* (* m (- 1.0 m)) (* m (- 1.0 m))) (* m (- 1.0 m)))
  (sqrt (* m (- 1.0 m)))
  (sqrt (* m (- 1.0 m)))
  (* (sqrt m) (sqrt (- 1.0 m)))
  (* (sqrt m) (sqrt (- 1.0 m)))
  (* m 1.0)
  (* m (neg m))
  (* m 1.0)
  (* m (neg m))
  (* 1.0 m)
  (* (neg m) m)
  (* 1.0 m)
  (* (neg 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)))
  (/ (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)))
  (neg 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)
  (neg 1.0)
  (- (* 1.0 (/ m v)) (/ (pow m 2) v))
  (- (* 1.0 (/ m v)) (/ (pow m 2) v))
  (- (* 1.0 (/ m v)) (/ (pow m 2) v))
  (- (* 1.0 (/ m 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) (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)))
0.895 * * [simplify]: iteration  0 :  5078  enodes  (cost  1335 )
0.900 * [simplify]: Simplified to:
   (log (* (/ (- 1.0 m) v) m))
  (log (* (/ (- 1.0 m) v) m))
  (log (* (/ (- 1.0 m) v) m))
  (pow (exp (/ m v)) (- 1.0 m))
  (pow (* (/ (- 1.0 m) v) m) 3)
  (pow (* (/ (- 1.0 m) v) m) 3)
  (* (cbrt (* (/ (- 1.0 m) v) m)) (cbrt (* (/ (- 1.0 m) v) m)))
  (cbrt (* (/ (- 1.0 m) v) m))
  (pow (* (/ (- 1.0 m) v) m) 3)
  (sqrt (* (/ (- 1.0 m) v) m))
  (sqrt (* (/ (- 1.0 m) v) m))
  (* m (+ m (neg 1.0)))
  (neg 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 (* (cbrt v) (cbrt v))) (- 1.0 m))
  (* (/ m (sqrt v)) (- 1.0 m))
  (* m (- 1.0 m))
  (/ v (- 1.0 m))
  (* v (+ (* m m) (* 1.0 (+ m 1.0))))
  (* v (+ m 1.0))
  (* (- 1.0 m) (- (* (/ (- 1.0 m) v) m) 1.0))
  (log (* (- 1.0 m) (- (* (/ (- 1.0 m) v) m) 1.0)))
  (log (* (- 1.0 m) (- (* (/ (- 1.0 m) v) m) 1.0)))
  (pow (exp (- (* (/ (- 1.0 m) v) m) 1.0)) (- 1.0 m))
  (pow (* (- 1.0 m) (- (* (/ (- 1.0 m) v) m) 1.0)) 3)
  (* (cbrt (* (- 1.0 m) (- (* (/ (- 1.0 m) v) m) 1.0))) (cbrt (* (- 1.0 m) (- (* (/ (- 1.0 m) v) m) 1.0))))
  (cbrt (* (- 1.0 m) (- (* (/ (- 1.0 m) v) m) 1.0)))
  (pow (* (- 1.0 m) (- (* (/ (- 1.0 m) v) m) 1.0)) 3)
  (sqrt (* (- 1.0 m) (- (* (/ (- 1.0 m) v) m) 1.0)))
  (sqrt (* (- 1.0 m) (- (* (/ (- 1.0 m) v) m) 1.0)))
  (* (- (pow (* (/ (- 1.0 m) v) m) 3) (pow 1.0 3)) (- (pow 1.0 3) (pow m 3)))
  (* (+ (* m m) (* 1.0 (+ m 1.0))) (+ (* 1.0 1.0) (* (* (/ (- 1.0 m) v) m) (+ 1.0 (* (/ (- 1.0 m) v) m)))))
  (* (+ m 1.0) (* (- 1.0 m) (- (pow (* (/ (- 1.0 m) v) m) 3) (pow 1.0 3))))
  (* (+ m 1.0) (+ (* 1.0 1.0) (* (* (/ (- 1.0 m) v) m) (+ 1.0 (* (/ (- 1.0 m) v) m)))))
  (* (- (pow 1.0 3) (pow m 3)) (- (* (* (/ (- 1.0 m) v) m) (* (/ (- 1.0 m) v) m)) (* 1.0 1.0)))
  (* (+ (* m m) (* 1.0 (+ m 1.0))) (+ 1.0 (* (/ (- 1.0 m) v) m)))
  (* (+ m 1.0) (* (- 1.0 m) (- (* (* (/ (- 1.0 m) v) m) (* (/ (- 1.0 m) v) m)) (* 1.0 1.0))))
  (* (+ m 1.0) (+ 1.0 (* (/ (- 1.0 m) v) m)))
  (* (sqrt (- (* (/ (- 1.0 m) v) m) 1.0)) (sqrt (- 1.0 m)))
  (* (sqrt (- (* (/ (- 1.0 m) v) m) 1.0)) (sqrt (- 1.0 m)))
  (* 1.0 (- (* (/ (- 1.0 m) v) m) 1.0))
  (* m (neg (- (* (/ (- 1.0 m) v) m) 1.0)))
  (* 1.0 (- (* (/ (- 1.0 m) v) m) 1.0))
  (* m (neg (- (* (/ (- 1.0 m) v) m) 1.0)))
  (* 1.0 (- (* (/ (- 1.0 m) v) m) 1.0))
  (* m (neg (- (* (/ (- 1.0 m) v) m) 1.0)))
  (* 1.0 (- (* (/ (- 1.0 m) v) m) 1.0))
  (* m (neg (- (* (/ (- 1.0 m) v) m) 1.0)))
  (* (- (* (/ (- 1.0 m) v) m) 1.0) (* (cbrt (- 1.0 m)) (cbrt (- 1.0 m))))
  (* (- (* (/ (- 1.0 m) v) m) 1.0) (sqrt (- 1.0 m)))
  (- (* (/ (- 1.0 m) v) m) 1.0)
  (* (- (* (/ (- 1.0 m) v) m) 1.0) (+ (sqrt 1.0) (sqrt m)))
  (- (* (/ (- 1.0 m) v) m) 1.0)
  (* (- 1.0 m) (cbrt (- (* (/ (- 1.0 m) v) m) 1.0)))
  (* (- 1.0 m) (sqrt (- (* (/ (- 1.0 m) v) m) 1.0)))
  (* (- 1.0 m) (- (* (/ (- 1.0 m) v) m) 1.0))
  (* (- 1.0 m) (- (sqrt (* (/ (- 1.0 m) v) m)) (sqrt 1.0)))
  (* (- 1.0 m) (- (* (/ (- 1.0 m) v) m) 1.0))
  (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3)))
  (* (+ m 1.0) (* (- 1.0 m) (- (* (/ (- 1.0 m) v) m) 1.0)))
  (* (- 1.0 m) (- (pow (* (/ (- 1.0 m) v) m) 3) (pow 1.0 3)))
  (* (- 1.0 m) (- (* (* (/ (- 1.0 m) v) m) (* (/ (- 1.0 m) v) m)) (* 1.0 1.0)))
  (* m (- 1.0 m))
  (log (* m (- 1.0 m)))
  (log (* m (- 1.0 m)))
  (pow (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 (- 1.0 m)) (sqrt m))
  (* (sqrt (- 1.0 m)) (sqrt m))
  (* m 1.0)
  (* m (neg m))
  (* m 1.0)
  (* m (neg m))
  (* m 1.0)
  (* m (neg m))
  (* m 1.0)
  (* m (neg m))
  (* m (* (cbrt (- 1.0 m)) (cbrt (- 1.0 m))))
  (* m (sqrt (- 1.0 m)))
  m
  (* m (+ (sqrt 1.0) (sqrt m)))
  m
  (* (- 1.0 m) (cbrt m))
  (* (- 1.0 m) (sqrt m))
  (* m (- 1.0 m))
  (* m (- (pow 1.0 3) (pow m 3)))
  (* m (- (* 1.0 1.0) (* m m)))
  (exp (- (* (/ (- 1.0 m) v) m) 1.0))
  (log (- (* (/ (- 1.0 m) v) m) 1.0))
  (exp (- (* (/ (- 1.0 m) v) m) 1.0))
  (* (cbrt (- (* (/ (- 1.0 m) v) m) 1.0)) (cbrt (- (* (/ (- 1.0 m) v) m) 1.0)))
  (cbrt (- (* (/ (- 1.0 m) v) m) 1.0))
  (pow (- (* (/ (- 1.0 m) v) m) 1.0) 3)
  (sqrt (- (* (/ (- 1.0 m) v) m) 1.0))
  (sqrt (- (* (/ (- 1.0 m) v) m) 1.0))
  (- (pow (* (/ (- 1.0 m) v) m) 3) (pow 1.0 3))
  (+ (* 1.0 1.0) (* (* (/ (- 1.0 m) v) m) (+ 1.0 (* (/ (- 1.0 m) v) m))))
  (neg 1.0)
  (- (* (* (/ (- 1.0 m) v) m) (* (/ (- 1.0 m) v) m)) (* 1.0 1.0))
  (+ 1.0 (* (/ (- 1.0 m) v) m))
  (+ (sqrt (* (/ (- 1.0 m) v) m)) (sqrt 1.0))
  (- (sqrt (* (/ (- 1.0 m) v) m)) (sqrt 1.0))
  (- (* (/ (- 1.0 m) v) m) 1.0)
  (neg 1.0)
  (* (/ (- 1.0 m) v) m)
  (* (/ (- 1.0 m) v) m)
  (* (/ (- 1.0 m) v) m)
  (- (* 1.0 (/ m v)) (+ 1.0 (* (* (/ m v) m) 2.0)))
  (+ (* m 1.0) (- (/ (pow m 3) v) (* (* (/ m v) m) 2.0)))
  (+ (* m 1.0) (- (/ (pow m 3) v) (* (* (/ m v) m) 2.0)))
  (* m (- 1.0 m))
  (* m (- 1.0 m))
  (* m (- 1.0 m))
  (- (* (/ (- 1.0 m) v) m) 1.0)
  (- (* (/ (- 1.0 m) v) m) 1.0)
  (- (* (/ (- 1.0 m) v) m) 1.0)
0.901 * * * [progress]: adding candidates to table
1.029 * * [progress]: iteration 2 / 4
1.029 * * * [progress]: picking best candidate
1.041 * * * * [pick]: Picked  #<alt (λ (m v) (* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) (- 1.0 m)))>
1.041 * * * [progress]: localizing error
1.050 * * * [progress]: generating rewritten candidates
1.050 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1.074 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
1.078 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
1.085 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1.113 * * * [progress]: generating series expansions
1.113 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1.113 * [approximate]: Taking taylor expansion of (/ (* m (- 1.0 m)) v) in (m v) around 0
1.113 * [taylor]: Taking taylor expansion of (/ (* m (- 1.0 m)) v) in v
1.113 * [taylor]: Taking taylor expansion of (* m (- 1.0 m)) in v
1.113 * [taylor]: Taking taylor expansion of m in v
1.113 * [taylor]: Taking taylor expansion of (- 1.0 m) in v
1.113 * [taylor]: Taking taylor expansion of 1.0 in v
1.114 * [taylor]: Taking taylor expansion of m in v
1.114 * [taylor]: Taking taylor expansion of v in v
1.114 * [taylor]: Taking taylor expansion of (/ (* m (- 1.0 m)) v) in m
1.114 * [taylor]: Taking taylor expansion of (* m (- 1.0 m)) in m
1.114 * [taylor]: Taking taylor expansion of m in m
1.114 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
1.114 * [taylor]: Taking taylor expansion of 1.0 in m
1.114 * [taylor]: Taking taylor expansion of m in m
1.114 * [taylor]: Taking taylor expansion of v in m
1.114 * [taylor]: Taking taylor expansion of (/ (* m (- 1.0 m)) v) in m
1.114 * [taylor]: Taking taylor expansion of (* m (- 1.0 m)) in m
1.114 * [taylor]: Taking taylor expansion of m in m
1.114 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
1.114 * [taylor]: Taking taylor expansion of 1.0 in m
1.114 * [taylor]: Taking taylor expansion of m in m
1.114 * [taylor]: Taking taylor expansion of v in m
1.114 * [taylor]: Taking taylor expansion of (/ 1.0 v) in v
1.114 * [taylor]: Taking taylor expansion of 1.0 in v
1.114 * [taylor]: Taking taylor expansion of v in v
1.114 * [taylor]: Taking taylor expansion of (neg (/ 1 v)) in v
1.114 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.114 * [taylor]: Taking taylor expansion of v in v
1.115 * [taylor]: Taking taylor expansion of 0 in v
1.115 * [taylor]: Taking taylor expansion of 0 in v
1.115 * [approximate]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in (m v) around 0
1.115 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in v
1.115 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in v
1.115 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in v
1.115 * [taylor]: Taking taylor expansion of 1.0 in v
1.115 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.115 * [taylor]: Taking taylor expansion of m in v
1.115 * [taylor]: Taking taylor expansion of v in v
1.115 * [taylor]: Taking taylor expansion of m in v
1.116 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in m
1.116 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in m
1.116 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
1.116 * [taylor]: Taking taylor expansion of 1.0 in m
1.116 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.116 * [taylor]: Taking taylor expansion of m in m
1.116 * [taylor]: Taking taylor expansion of v in m
1.116 * [taylor]: Taking taylor expansion of m in m
1.116 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in m
1.116 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in m
1.116 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
1.116 * [taylor]: Taking taylor expansion of 1.0 in m
1.116 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.116 * [taylor]: Taking taylor expansion of m in m
1.116 * [taylor]: Taking taylor expansion of v in m
1.116 * [taylor]: Taking taylor expansion of m in m
1.116 * [taylor]: Taking taylor expansion of (* -1 v) in v
1.116 * [taylor]: Taking taylor expansion of -1 in v
1.116 * [taylor]: Taking taylor expansion of v in v
1.116 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
1.116 * [taylor]: Taking taylor expansion of 1.0 in v
1.116 * [taylor]: Taking taylor expansion of v in v
1.117 * [taylor]: Taking taylor expansion of 0 in v
1.117 * [taylor]: Taking taylor expansion of 0 in v
1.117 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1.0) (* m (pow (sqrt (/ -1 v)) 2)))) in (m v) around 0
1.117 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1.0) (* m (pow (sqrt (/ -1 v)) 2)))) in v
1.117 * [taylor]: Taking taylor expansion of -1 in v
1.117 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1.0) (* m (pow (sqrt (/ -1 v)) 2))) in v
1.117 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in v
1.117 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.117 * [taylor]: Taking taylor expansion of m in v
1.117 * [taylor]: Taking taylor expansion of 1.0 in v
1.117 * [taylor]: Taking taylor expansion of (* m (pow (sqrt (/ -1 v)) 2)) in v
1.117 * [taylor]: Taking taylor expansion of m in v
1.118 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 v)) 2) in v
1.118 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in v
1.118 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.118 * [taylor]: Taking taylor expansion of -1 in v
1.118 * [taylor]: Taking taylor expansion of v in v
1.118 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1.0) (* m (pow (sqrt (/ -1 v)) 2)))) in m
1.118 * [taylor]: Taking taylor expansion of -1 in m
1.118 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1.0) (* m (pow (sqrt (/ -1 v)) 2))) in m
1.118 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
1.118 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.118 * [taylor]: Taking taylor expansion of m in m
1.118 * [taylor]: Taking taylor expansion of 1.0 in m
1.118 * [taylor]: Taking taylor expansion of (* m (pow (sqrt (/ -1 v)) 2)) in m
1.118 * [taylor]: Taking taylor expansion of m in m
1.118 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 v)) 2) in m
1.118 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in m
1.118 * [taylor]: Taking taylor expansion of (/ -1 v) in m
1.118 * [taylor]: Taking taylor expansion of -1 in m
1.118 * [taylor]: Taking taylor expansion of v in m
1.119 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1.0) (* m (pow (sqrt (/ -1 v)) 2)))) in m
1.119 * [taylor]: Taking taylor expansion of -1 in m
1.119 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1.0) (* m (pow (sqrt (/ -1 v)) 2))) in m
1.119 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
1.119 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.119 * [taylor]: Taking taylor expansion of m in m
1.119 * [taylor]: Taking taylor expansion of 1.0 in m
1.119 * [taylor]: Taking taylor expansion of (* m (pow (sqrt (/ -1 v)) 2)) in m
1.119 * [taylor]: Taking taylor expansion of m in m
1.119 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 v)) 2) in m
1.119 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in m
1.119 * [taylor]: Taking taylor expansion of (/ -1 v) in m
1.119 * [taylor]: Taking taylor expansion of -1 in m
1.119 * [taylor]: Taking taylor expansion of v in m
1.120 * [taylor]: Taking taylor expansion of (/ -1 (pow (sqrt (/ -1 v)) 2)) in v
1.120 * [taylor]: Taking taylor expansion of -1 in v
1.120 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 v)) 2) in v
1.120 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in v
1.120 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.120 * [taylor]: Taking taylor expansion of -1 in v
1.120 * [taylor]: Taking taylor expansion of v in v
1.121 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 (pow (sqrt (/ -1 v)) 2)))) in v
1.121 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow (sqrt (/ -1 v)) 2))) in v
1.121 * [taylor]: Taking taylor expansion of 1.0 in v
1.121 * [taylor]: Taking taylor expansion of (/ 1 (pow (sqrt (/ -1 v)) 2)) in v
1.121 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 v)) 2) in v
1.121 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in v
1.121 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.121 * [taylor]: Taking taylor expansion of -1 in v
1.121 * [taylor]: Taking taylor expansion of v in v
1.122 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
1.122 * [approximate]: Taking taylor expansion of (* m (sqrt (/ 1 v))) in (m v) around 0
1.122 * [taylor]: Taking taylor expansion of (* m (sqrt (/ 1 v))) in v
1.122 * [taylor]: Taking taylor expansion of m in v
1.122 * [taylor]: Taking taylor expansion of (sqrt (/ 1 v)) in v
1.122 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.122 * [taylor]: Taking taylor expansion of v in v
1.122 * [taylor]: Taking taylor expansion of (* m (sqrt (/ 1 v))) in m
1.122 * [taylor]: Taking taylor expansion of m in m
1.122 * [taylor]: Taking taylor expansion of (sqrt (/ 1 v)) in m
1.122 * [taylor]: Taking taylor expansion of (/ 1 v) in m
1.122 * [taylor]: Taking taylor expansion of v in m
1.123 * [taylor]: Taking taylor expansion of (* m (sqrt (/ 1 v))) in m
1.123 * [taylor]: Taking taylor expansion of m in m
1.123 * [taylor]: Taking taylor expansion of (sqrt (/ 1 v)) in m
1.123 * [taylor]: Taking taylor expansion of (/ 1 v) in m
1.123 * [taylor]: Taking taylor expansion of v in m
1.123 * [taylor]: Taking taylor expansion of 0 in v
1.123 * [taylor]: Taking taylor expansion of (sqrt (/ 1 v)) in v
1.123 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.123 * [taylor]: Taking taylor expansion of v in v
1.123 * [taylor]: Taking taylor expansion of 0 in v
1.123 * [taylor]: Taking taylor expansion of 0 in v
1.124 * [taylor]: Taking taylor expansion of 0 in v
1.124 * [approximate]: Taking taylor expansion of (* (/ 1 m) (sqrt v)) in (m v) around 0
1.124 * [taylor]: Taking taylor expansion of (* (/ 1 m) (sqrt v)) in v
1.125 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.125 * [taylor]: Taking taylor expansion of m in v
1.125 * [taylor]: Taking taylor expansion of (sqrt v) in v
1.125 * [taylor]: Taking taylor expansion of v in v
1.125 * [taylor]: Taking taylor expansion of (* (/ 1 m) (sqrt v)) in m
1.125 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.125 * [taylor]: Taking taylor expansion of m in m
1.125 * [taylor]: Taking taylor expansion of (sqrt v) in m
1.125 * [taylor]: Taking taylor expansion of v in m
1.125 * [taylor]: Taking taylor expansion of (* (/ 1 m) (sqrt v)) in m
1.125 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.125 * [taylor]: Taking taylor expansion of m in m
1.125 * [taylor]: Taking taylor expansion of (sqrt v) in m
1.125 * [taylor]: Taking taylor expansion of v in m
1.125 * [taylor]: Taking taylor expansion of (sqrt v) in v
1.125 * [taylor]: Taking taylor expansion of v in v
1.125 * [taylor]: Taking taylor expansion of 0 in v
1.125 * [taylor]: Taking taylor expansion of 0 in v
1.126 * [taylor]: Taking taylor expansion of 0 in v
1.126 * [approximate]: Taking taylor expansion of (/ -1 (* m (sqrt (/ -1 v)))) in (m v) around 0
1.127 * [taylor]: Taking taylor expansion of (/ -1 (* m (sqrt (/ -1 v)))) in v
1.127 * [taylor]: Taking taylor expansion of -1 in v
1.127 * [taylor]: Taking taylor expansion of (* m (sqrt (/ -1 v))) in v
1.127 * [taylor]: Taking taylor expansion of m in v
1.127 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in v
1.127 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.127 * [taylor]: Taking taylor expansion of -1 in v
1.127 * [taylor]: Taking taylor expansion of v in v
1.127 * [taylor]: Taking taylor expansion of (/ -1 (* m (sqrt (/ -1 v)))) in m
1.127 * [taylor]: Taking taylor expansion of -1 in m
1.127 * [taylor]: Taking taylor expansion of (* m (sqrt (/ -1 v))) in m
1.127 * [taylor]: Taking taylor expansion of m in m
1.127 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in m
1.127 * [taylor]: Taking taylor expansion of (/ -1 v) in m
1.127 * [taylor]: Taking taylor expansion of -1 in m
1.127 * [taylor]: Taking taylor expansion of v in m
1.127 * [taylor]: Taking taylor expansion of (/ -1 (* m (sqrt (/ -1 v)))) in m
1.127 * [taylor]: Taking taylor expansion of -1 in m
1.127 * [taylor]: Taking taylor expansion of (* m (sqrt (/ -1 v))) in m
1.127 * [taylor]: Taking taylor expansion of m in m
1.127 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in m
1.127 * [taylor]: Taking taylor expansion of (/ -1 v) in m
1.127 * [taylor]: Taking taylor expansion of -1 in m
1.127 * [taylor]: Taking taylor expansion of v in m
1.127 * [taylor]: Taking taylor expansion of (/ -1 (sqrt (/ -1 v))) in v
1.127 * [taylor]: Taking taylor expansion of -1 in v
1.127 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in v
1.127 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.127 * [taylor]: Taking taylor expansion of -1 in v
1.128 * [taylor]: Taking taylor expansion of v in v
1.128 * [taylor]: Taking taylor expansion of 0 in v
1.128 * [taylor]: Taking taylor expansion of 0 in v
1.129 * [taylor]: Taking taylor expansion of 0 in v
1.129 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
1.129 * [approximate]: Taking taylor expansion of (* (- 1.0 m) (sqrt (/ 1 v))) in (m v) around 0
1.129 * [taylor]: Taking taylor expansion of (* (- 1.0 m) (sqrt (/ 1 v))) in v
1.129 * [taylor]: Taking taylor expansion of (- 1.0 m) in v
1.130 * [taylor]: Taking taylor expansion of 1.0 in v
1.130 * [taylor]: Taking taylor expansion of m in v
1.130 * [taylor]: Taking taylor expansion of (sqrt (/ 1 v)) in v
1.130 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.130 * [taylor]: Taking taylor expansion of v in v
1.130 * [taylor]: Taking taylor expansion of (* (- 1.0 m) (sqrt (/ 1 v))) in m
1.130 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
1.130 * [taylor]: Taking taylor expansion of 1.0 in m
1.130 * [taylor]: Taking taylor expansion of m in m
1.130 * [taylor]: Taking taylor expansion of (sqrt (/ 1 v)) in m
1.130 * [taylor]: Taking taylor expansion of (/ 1 v) in m
1.130 * [taylor]: Taking taylor expansion of v in m
1.130 * [taylor]: Taking taylor expansion of (* (- 1.0 m) (sqrt (/ 1 v))) in m
1.130 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
1.130 * [taylor]: Taking taylor expansion of 1.0 in m
1.130 * [taylor]: Taking taylor expansion of m in m
1.130 * [taylor]: Taking taylor expansion of (sqrt (/ 1 v)) in m
1.130 * [taylor]: Taking taylor expansion of (/ 1 v) in m
1.130 * [taylor]: Taking taylor expansion of v in m
1.130 * [taylor]: Taking taylor expansion of (* 1.0 (sqrt (/ 1 v))) in v
1.130 * [taylor]: Taking taylor expansion of 1.0 in v
1.130 * [taylor]: Taking taylor expansion of (sqrt (/ 1 v)) in v
1.130 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.130 * [taylor]: Taking taylor expansion of v in v
1.130 * [taylor]: Taking taylor expansion of (neg (sqrt (/ 1 v))) in v
1.130 * [taylor]: Taking taylor expansion of (sqrt (/ 1 v)) in v
1.130 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.130 * [taylor]: Taking taylor expansion of v in v
1.131 * [taylor]: Taking taylor expansion of 0 in v
1.131 * [approximate]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) (sqrt v)) in (m v) around 0
1.131 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) (sqrt v)) in v
1.131 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in v
1.131 * [taylor]: Taking taylor expansion of 1.0 in v
1.131 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.131 * [taylor]: Taking taylor expansion of m in v
1.131 * [taylor]: Taking taylor expansion of (sqrt v) in v
1.131 * [taylor]: Taking taylor expansion of v in v
1.131 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) (sqrt v)) in m
1.131 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
1.131 * [taylor]: Taking taylor expansion of 1.0 in m
1.131 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.131 * [taylor]: Taking taylor expansion of m in m
1.132 * [taylor]: Taking taylor expansion of (sqrt v) in m
1.132 * [taylor]: Taking taylor expansion of v in m
1.132 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) (sqrt v)) in m
1.132 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
1.132 * [taylor]: Taking taylor expansion of 1.0 in m
1.132 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.132 * [taylor]: Taking taylor expansion of m in m
1.132 * [taylor]: Taking taylor expansion of (sqrt v) in m
1.132 * [taylor]: Taking taylor expansion of v in m
1.132 * [taylor]: Taking taylor expansion of (* -1 (sqrt v)) in v
1.132 * [taylor]: Taking taylor expansion of -1 in v
1.132 * [taylor]: Taking taylor expansion of (sqrt v) in v
1.132 * [taylor]: Taking taylor expansion of v in v
1.132 * [taylor]: Taking taylor expansion of (* 1.0 (sqrt v)) in v
1.132 * [taylor]: Taking taylor expansion of 1.0 in v
1.132 * [taylor]: Taking taylor expansion of (sqrt v) in v
1.132 * [taylor]: Taking taylor expansion of v in v
1.132 * [taylor]: Taking taylor expansion of 0 in v
1.133 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 m) 1.0) (sqrt (/ -1 v))) in (m v) around 0
1.133 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1.0) (sqrt (/ -1 v))) in v
1.133 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in v
1.133 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.133 * [taylor]: Taking taylor expansion of m in v
1.133 * [taylor]: Taking taylor expansion of 1.0 in v
1.133 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in v
1.133 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.133 * [taylor]: Taking taylor expansion of -1 in v
1.133 * [taylor]: Taking taylor expansion of v in v
1.133 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1.0) (sqrt (/ -1 v))) in m
1.133 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
1.133 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.133 * [taylor]: Taking taylor expansion of m in m
1.133 * [taylor]: Taking taylor expansion of 1.0 in m
1.133 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in m
1.133 * [taylor]: Taking taylor expansion of (/ -1 v) in m
1.133 * [taylor]: Taking taylor expansion of -1 in m
1.133 * [taylor]: Taking taylor expansion of v in m
1.134 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1.0) (sqrt (/ -1 v))) in m
1.134 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
1.134 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.134 * [taylor]: Taking taylor expansion of m in m
1.134 * [taylor]: Taking taylor expansion of 1.0 in m
1.134 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in m
1.134 * [taylor]: Taking taylor expansion of (/ -1 v) in m
1.134 * [taylor]: Taking taylor expansion of -1 in m
1.134 * [taylor]: Taking taylor expansion of v in m
1.134 * [taylor]: Taking taylor expansion of (/ 1 (sqrt (/ -1 v))) in v
1.134 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in v
1.134 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.134 * [taylor]: Taking taylor expansion of -1 in v
1.134 * [taylor]: Taking taylor expansion of v in v
1.134 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sqrt (/ -1 v)))) in v
1.134 * [taylor]: Taking taylor expansion of 1.0 in v
1.134 * [taylor]: Taking taylor expansion of (/ 1 (sqrt (/ -1 v))) in v
1.134 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in v
1.134 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.134 * [taylor]: Taking taylor expansion of -1 in v
1.134 * [taylor]: Taking taylor expansion of v in v
1.135 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1.135 * [approximate]: Taking taylor expansion of (* (- 1.0 m) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in (m v) around 0
1.135 * [taylor]: Taking taylor expansion of (* (- 1.0 m) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in v
1.135 * [taylor]: Taking taylor expansion of (- 1.0 m) in v
1.135 * [taylor]: Taking taylor expansion of 1.0 in v
1.135 * [taylor]: Taking taylor expansion of m in v
1.135 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in v
1.135 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in v
1.135 * [taylor]: Taking taylor expansion of 1.0 in v
1.135 * [taylor]: Taking taylor expansion of (/ m v) in v
1.135 * [taylor]: Taking taylor expansion of m in v
1.135 * [taylor]: Taking taylor expansion of v in v
1.135 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in v
1.135 * [taylor]: Taking taylor expansion of 1.0 in v
1.135 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v
1.135 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.135 * [taylor]: Taking taylor expansion of m in v
1.135 * [taylor]: Taking taylor expansion of v in v
1.135 * [taylor]: Taking taylor expansion of (* (- 1.0 m) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in m
1.135 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
1.135 * [taylor]: Taking taylor expansion of 1.0 in m
1.135 * [taylor]: Taking taylor expansion of m in m
1.136 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in m
1.136 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in m
1.136 * [taylor]: Taking taylor expansion of 1.0 in m
1.136 * [taylor]: Taking taylor expansion of (/ m v) in m
1.136 * [taylor]: Taking taylor expansion of m in m
1.136 * [taylor]: Taking taylor expansion of v in m
1.136 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in m
1.136 * [taylor]: Taking taylor expansion of 1.0 in m
1.136 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
1.136 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.136 * [taylor]: Taking taylor expansion of m in m
1.136 * [taylor]: Taking taylor expansion of v in m
1.136 * [taylor]: Taking taylor expansion of (* (- 1.0 m) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in m
1.136 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
1.136 * [taylor]: Taking taylor expansion of 1.0 in m
1.136 * [taylor]: Taking taylor expansion of m in m
1.136 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in m
1.136 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in m
1.136 * [taylor]: Taking taylor expansion of 1.0 in m
1.136 * [taylor]: Taking taylor expansion of (/ m v) in m
1.136 * [taylor]: Taking taylor expansion of m in m
1.136 * [taylor]: Taking taylor expansion of v in m
1.136 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in m
1.136 * [taylor]: Taking taylor expansion of 1.0 in m
1.136 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
1.136 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.136 * [taylor]: Taking taylor expansion of m in m
1.136 * [taylor]: Taking taylor expansion of v in m
1.136 * [taylor]: Taking taylor expansion of -1.0 in v
1.136 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 v)) 1.0) in v
1.136 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 v)) in v
1.136 * [taylor]: Taking taylor expansion of 1.0 in v
1.136 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.136 * [taylor]: Taking taylor expansion of v in v
1.136 * [taylor]: Taking taylor expansion of 1.0 in v
1.137 * [taylor]: Taking taylor expansion of (neg (* 2.0 (/ 1 v))) in v
1.137 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in v
1.137 * [taylor]: Taking taylor expansion of 2.0 in v
1.137 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.137 * [taylor]: Taking taylor expansion of v in v
1.137 * [approximate]: Taking taylor expansion of (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- 1.0 (/ 1 m))) in (m v) around 0
1.137 * [taylor]: Taking taylor expansion of (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- 1.0 (/ 1 m))) in v
1.137 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in v
1.137 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in v
1.137 * [taylor]: Taking taylor expansion of 1.0 in v
1.137 * [taylor]: Taking taylor expansion of (/ v m) in v
1.137 * [taylor]: Taking taylor expansion of v in v
1.137 * [taylor]: Taking taylor expansion of m in v
1.137 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in v
1.137 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
1.137 * [taylor]: Taking taylor expansion of v in v
1.137 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.137 * [taylor]: Taking taylor expansion of m in v
1.138 * [taylor]: Taking taylor expansion of 1.0 in v
1.138 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in v
1.138 * [taylor]: Taking taylor expansion of 1.0 in v
1.138 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.138 * [taylor]: Taking taylor expansion of m in v
1.138 * [taylor]: Taking taylor expansion of (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- 1.0 (/ 1 m))) in m
1.138 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in m
1.138 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
1.138 * [taylor]: Taking taylor expansion of 1.0 in m
1.138 * [taylor]: Taking taylor expansion of (/ v m) in m
1.138 * [taylor]: Taking taylor expansion of v in m
1.138 * [taylor]: Taking taylor expansion of m in m
1.138 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in m
1.138 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.138 * [taylor]: Taking taylor expansion of v in m
1.138 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.138 * [taylor]: Taking taylor expansion of m in m
1.138 * [taylor]: Taking taylor expansion of 1.0 in m
1.138 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
1.138 * [taylor]: Taking taylor expansion of 1.0 in m
1.138 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.138 * [taylor]: Taking taylor expansion of m in m
1.138 * [taylor]: Taking taylor expansion of (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- 1.0 (/ 1 m))) in m
1.138 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in m
1.138 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
1.138 * [taylor]: Taking taylor expansion of 1.0 in m
1.138 * [taylor]: Taking taylor expansion of (/ v m) in m
1.138 * [taylor]: Taking taylor expansion of v in m
1.138 * [taylor]: Taking taylor expansion of m in m
1.138 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in m
1.138 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.138 * [taylor]: Taking taylor expansion of v in m
1.138 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.138 * [taylor]: Taking taylor expansion of m in m
1.138 * [taylor]: Taking taylor expansion of 1.0 in m
1.138 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
1.138 * [taylor]: Taking taylor expansion of 1.0 in m
1.138 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.138 * [taylor]: Taking taylor expansion of m in m
1.138 * [taylor]: Taking taylor expansion of v in v
1.139 * [taylor]: Taking taylor expansion of (neg (* 2.0 v)) in v
1.139 * [taylor]: Taking taylor expansion of (* 2.0 v) in v
1.139 * [taylor]: Taking taylor expansion of 2.0 in v
1.139 * [taylor]: Taking taylor expansion of v in v
1.139 * [taylor]: Taking taylor expansion of (+ (* 1.0 v) 1.0) in v
1.139 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
1.139 * [taylor]: Taking taylor expansion of 1.0 in v
1.139 * [taylor]: Taking taylor expansion of v in v
1.139 * [taylor]: Taking taylor expansion of 1.0 in v
1.140 * [approximate]: Taking taylor expansion of (* -1 (* (+ (* 1.0 (/ 1 (* m (pow (sqrt (/ -1 v)) 2)))) (+ (/ 1 (* (pow m 2) (pow (sqrt (/ -1 v)) 2))) 1.0)) (+ (/ 1 m) 1.0))) in (m v) around 0
1.140 * [taylor]: Taking taylor expansion of (* -1 (* (+ (* 1.0 (/ 1 (* m (pow (sqrt (/ -1 v)) 2)))) (+ (/ 1 (* (pow m 2) (pow (sqrt (/ -1 v)) 2))) 1.0)) (+ (/ 1 m) 1.0))) in v
1.140 * [taylor]: Taking taylor expansion of -1 in v
1.140 * [taylor]: Taking taylor expansion of (* (+ (* 1.0 (/ 1 (* m (pow (sqrt (/ -1 v)) 2)))) (+ (/ 1 (* (pow m 2) (pow (sqrt (/ -1 v)) 2))) 1.0)) (+ (/ 1 m) 1.0)) in v
1.140 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* m (pow (sqrt (/ -1 v)) 2)))) (+ (/ 1 (* (pow m 2) (pow (sqrt (/ -1 v)) 2))) 1.0)) in v
1.140 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* m (pow (sqrt (/ -1 v)) 2)))) in v
1.140 * [taylor]: Taking taylor expansion of 1.0 in v
1.140 * [taylor]: Taking taylor expansion of (/ 1 (* m (pow (sqrt (/ -1 v)) 2))) in v
1.140 * [taylor]: Taking taylor expansion of (* m (pow (sqrt (/ -1 v)) 2)) in v
1.140 * [taylor]: Taking taylor expansion of m in v
1.140 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 v)) 2) in v
1.140 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in v
1.140 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.140 * [taylor]: Taking taylor expansion of -1 in v
1.140 * [taylor]: Taking taylor expansion of v in v
1.140 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow m 2) (pow (sqrt (/ -1 v)) 2))) 1.0) in v
1.140 * [taylor]: Taking taylor expansion of (/ 1 (* (pow m 2) (pow (sqrt (/ -1 v)) 2))) in v
1.140 * [taylor]: Taking taylor expansion of (* (pow m 2) (pow (sqrt (/ -1 v)) 2)) in v
1.140 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.140 * [taylor]: Taking taylor expansion of m in v
1.140 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 v)) 2) in v
1.140 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in v
1.140 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.140 * [taylor]: Taking taylor expansion of -1 in v
1.140 * [taylor]: Taking taylor expansion of v in v
1.141 * [taylor]: Taking taylor expansion of 1.0 in v
1.141 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in v
1.141 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.141 * [taylor]: Taking taylor expansion of m in v
1.141 * [taylor]: Taking taylor expansion of 1.0 in v
1.141 * [taylor]: Taking taylor expansion of (* -1 (* (+ (* 1.0 (/ 1 (* m (pow (sqrt (/ -1 v)) 2)))) (+ (/ 1 (* (pow m 2) (pow (sqrt (/ -1 v)) 2))) 1.0)) (+ (/ 1 m) 1.0))) in m
1.141 * [taylor]: Taking taylor expansion of -1 in m
1.141 * [taylor]: Taking taylor expansion of (* (+ (* 1.0 (/ 1 (* m (pow (sqrt (/ -1 v)) 2)))) (+ (/ 1 (* (pow m 2) (pow (sqrt (/ -1 v)) 2))) 1.0)) (+ (/ 1 m) 1.0)) in m
1.141 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* m (pow (sqrt (/ -1 v)) 2)))) (+ (/ 1 (* (pow m 2) (pow (sqrt (/ -1 v)) 2))) 1.0)) in m
1.141 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* m (pow (sqrt (/ -1 v)) 2)))) in m
1.141 * [taylor]: Taking taylor expansion of 1.0 in m
1.141 * [taylor]: Taking taylor expansion of (/ 1 (* m (pow (sqrt (/ -1 v)) 2))) in m
1.141 * [taylor]: Taking taylor expansion of (* m (pow (sqrt (/ -1 v)) 2)) in m
1.141 * [taylor]: Taking taylor expansion of m in m
1.141 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 v)) 2) in m
1.141 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in m
1.141 * [taylor]: Taking taylor expansion of (/ -1 v) in m
1.141 * [taylor]: Taking taylor expansion of -1 in m
1.141 * [taylor]: Taking taylor expansion of v in m
1.141 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow m 2) (pow (sqrt (/ -1 v)) 2))) 1.0) in m
1.141 * [taylor]: Taking taylor expansion of (/ 1 (* (pow m 2) (pow (sqrt (/ -1 v)) 2))) in m
1.141 * [taylor]: Taking taylor expansion of (* (pow m 2) (pow (sqrt (/ -1 v)) 2)) in m
1.141 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.141 * [taylor]: Taking taylor expansion of m in m
1.141 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 v)) 2) in m
1.141 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in m
1.141 * [taylor]: Taking taylor expansion of (/ -1 v) in m
1.141 * [taylor]: Taking taylor expansion of -1 in m
1.141 * [taylor]: Taking taylor expansion of v in m
1.142 * [taylor]: Taking taylor expansion of 1.0 in m
1.142 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
1.142 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.142 * [taylor]: Taking taylor expansion of m in m
1.142 * [taylor]: Taking taylor expansion of 1.0 in m
1.142 * [taylor]: Taking taylor expansion of (* -1 (* (+ (* 1.0 (/ 1 (* m (pow (sqrt (/ -1 v)) 2)))) (+ (/ 1 (* (pow m 2) (pow (sqrt (/ -1 v)) 2))) 1.0)) (+ (/ 1 m) 1.0))) in m
1.142 * [taylor]: Taking taylor expansion of -1 in m
1.142 * [taylor]: Taking taylor expansion of (* (+ (* 1.0 (/ 1 (* m (pow (sqrt (/ -1 v)) 2)))) (+ (/ 1 (* (pow m 2) (pow (sqrt (/ -1 v)) 2))) 1.0)) (+ (/ 1 m) 1.0)) in m
1.142 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* m (pow (sqrt (/ -1 v)) 2)))) (+ (/ 1 (* (pow m 2) (pow (sqrt (/ -1 v)) 2))) 1.0)) in m
1.142 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* m (pow (sqrt (/ -1 v)) 2)))) in m
1.142 * [taylor]: Taking taylor expansion of 1.0 in m
1.142 * [taylor]: Taking taylor expansion of (/ 1 (* m (pow (sqrt (/ -1 v)) 2))) in m
1.142 * [taylor]: Taking taylor expansion of (* m (pow (sqrt (/ -1 v)) 2)) in m
1.142 * [taylor]: Taking taylor expansion of m in m
1.142 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 v)) 2) in m
1.142 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in m
1.142 * [taylor]: Taking taylor expansion of (/ -1 v) in m
1.142 * [taylor]: Taking taylor expansion of -1 in m
1.142 * [taylor]: Taking taylor expansion of v in m
1.143 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow m 2) (pow (sqrt (/ -1 v)) 2))) 1.0) in m
1.143 * [taylor]: Taking taylor expansion of (/ 1 (* (pow m 2) (pow (sqrt (/ -1 v)) 2))) in m
1.143 * [taylor]: Taking taylor expansion of (* (pow m 2) (pow (sqrt (/ -1 v)) 2)) in m
1.143 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.143 * [taylor]: Taking taylor expansion of m in m
1.143 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 v)) 2) in m
1.143 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in m
1.143 * [taylor]: Taking taylor expansion of (/ -1 v) in m
1.143 * [taylor]: Taking taylor expansion of -1 in m
1.143 * [taylor]: Taking taylor expansion of v in m
1.143 * [taylor]: Taking taylor expansion of 1.0 in m
1.143 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
1.143 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.143 * [taylor]: Taking taylor expansion of m in m
1.143 * [taylor]: Taking taylor expansion of 1.0 in m
1.143 * [taylor]: Taking taylor expansion of (/ -1 (pow (sqrt (/ -1 v)) 2)) in v
1.143 * [taylor]: Taking taylor expansion of -1 in v
1.144 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 v)) 2) in v
1.144 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in v
1.144 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.144 * [taylor]: Taking taylor expansion of -1 in v
1.144 * [taylor]: Taking taylor expansion of v in v
1.145 * [taylor]: Taking taylor expansion of (neg (* 2.0 (/ 1 (pow (sqrt (/ -1 v)) 2)))) in v
1.145 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow (sqrt (/ -1 v)) 2))) in v
1.145 * [taylor]: Taking taylor expansion of 2.0 in v
1.145 * [taylor]: Taking taylor expansion of (/ 1 (pow (sqrt (/ -1 v)) 2)) in v
1.145 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 v)) 2) in v
1.145 * [taylor]: Taking taylor expansion of (sqrt (/ -1 v)) in v
1.145 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.145 * [taylor]: Taking taylor expansion of -1 in v
1.145 * [taylor]: Taking taylor expansion of v in v
1.146 * * * [progress]: simplifying candidates
1.149 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v)))
  (+ (- (log m) (log (sqrt v))) (- (log (- 1.0 m)) (log (sqrt v))))
  (+ (- (log m) (log (sqrt v))) (log (/ (- 1.0 m) (sqrt v))))
  (+ (log (/ m (sqrt v))) (- (log (- 1.0 m)) (log (sqrt v))))
  (+ (log (/ m (sqrt v))) (log (/ (- 1.0 m) (sqrt v))))
  (log (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))))
  (exp (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))))
  (* (/ (* (* m m) m) (* (* (sqrt v) (sqrt v)) (sqrt v))) (/ (* (* (- 1.0 m) (- 1.0 m)) (- 1.0 m)) (* (* (sqrt v) (sqrt v)) (sqrt v))))
  (* (/ (* (* m m) m) (* (* (sqrt v) (sqrt v)) (sqrt v))) (* (* (/ (- 1.0 m) (sqrt v)) (/ (- 1.0 m) (sqrt v))) (/ (- 1.0 m) (sqrt v))))
  (* (* (* (/ m (sqrt v)) (/ m (sqrt v))) (/ m (sqrt v))) (/ (* (* (- 1.0 m) (- 1.0 m)) (- 1.0 m)) (* (* (sqrt v) (sqrt v)) (sqrt v))))
  (* (* (* (/ m (sqrt v)) (/ m (sqrt v))) (/ m (sqrt v))) (* (* (/ (- 1.0 m) (sqrt v)) (/ (- 1.0 m) (sqrt v))) (/ (- 1.0 m) (sqrt v))))
  (* (cbrt (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v)))) (cbrt (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v)))))
  (cbrt (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))))
  (* (* (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v)))) (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))))
  (sqrt (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))))
  (sqrt (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))))
  (* m (- 1.0 m))
  (* (sqrt v) (sqrt v))
  (* (sqrt (/ m (sqrt v))) (sqrt (/ (- 1.0 m) (sqrt v))))
  (* (sqrt (/ m (sqrt v))) (sqrt (/ (- 1.0 m) (sqrt v))))
  (* (sqrt (/ m (sqrt v))) (/ (sqrt (- 1.0 m)) (sqrt (sqrt v))))
  (* (sqrt (/ m (sqrt v))) (/ (sqrt (- 1.0 m)) (sqrt (sqrt v))))
  (* (sqrt (/ m (sqrt v))) (/ (sqrt (- 1.0 m)) (sqrt (sqrt v))))
  (* (sqrt (/ m (sqrt v))) (/ (sqrt (- 1.0 m)) (sqrt (sqrt v))))
  (* (/ (sqrt m) (sqrt (sqrt v))) (sqrt (/ (- 1.0 m) (sqrt v))))
  (* (/ (sqrt m) (sqrt (sqrt v))) (sqrt (/ (- 1.0 m) (sqrt v))))
  (* (/ (sqrt m) (sqrt (sqrt v))) (/ (sqrt (- 1.0 m)) (sqrt (sqrt v))))
  (* (/ (sqrt m) (sqrt (sqrt v))) (/ (sqrt (- 1.0 m)) (sqrt (sqrt v))))
  (* (/ (sqrt m) (sqrt (sqrt v))) (/ (sqrt (- 1.0 m)) (sqrt (sqrt v))))
  (* (/ (sqrt m) (sqrt (sqrt v))) (/ (sqrt (- 1.0 m)) (sqrt (sqrt v))))
  (* (/ (sqrt m) (sqrt (sqrt v))) (sqrt (/ (- 1.0 m) (sqrt v))))
  (* (/ (sqrt m) (sqrt (sqrt v))) (sqrt (/ (- 1.0 m) (sqrt v))))
  (* (/ (sqrt m) (sqrt (sqrt v))) (/ (sqrt (- 1.0 m)) (sqrt (sqrt v))))
  (* (/ (sqrt m) (sqrt (sqrt v))) (/ (sqrt (- 1.0 m)) (sqrt (sqrt v))))
  (* (/ (sqrt m) (sqrt (sqrt v))) (/ (sqrt (- 1.0 m)) (sqrt (sqrt v))))
  (* (/ (sqrt m) (sqrt (sqrt v))) (/ (sqrt (- 1.0 m)) (sqrt (sqrt v))))
  (* (/ m (sqrt v)) (* (cbrt (/ (- 1.0 m) (sqrt v))) (cbrt (/ (- 1.0 m) (sqrt v)))))
  (* (/ m (sqrt v)) (sqrt (/ (- 1.0 m) (sqrt v))))
  (* (/ m (sqrt v)) (/ (* (cbrt (- 1.0 m)) (cbrt (- 1.0 m))) (* (cbrt (sqrt v)) (cbrt (sqrt v)))))
  (* (/ m (sqrt v)) (/ (* (cbrt (- 1.0 m)) (cbrt (- 1.0 m))) (sqrt (* (cbrt v) (cbrt v)))))
  (* (/ m (sqrt v)) (/ (* (cbrt (- 1.0 m)) (cbrt (- 1.0 m))) (sqrt (sqrt v))))
  (* (/ m (sqrt v)) (/ (* (cbrt (- 1.0 m)) (cbrt (- 1.0 m))) (sqrt 1)))
  (* (/ m (sqrt v)) (/ (* (cbrt (- 1.0 m)) (cbrt (- 1.0 m))) (sqrt (sqrt v))))
  (* (/ m (sqrt v)) (/ (* (cbrt (- 1.0 m)) (cbrt (- 1.0 m))) 1))
  (* (/ m (sqrt v)) (/ (sqrt (- 1.0 m)) (* (cbrt (sqrt v)) (cbrt (sqrt v)))))
  (* (/ m (sqrt v)) (/ (sqrt (- 1.0 m)) (sqrt (* (cbrt v) (cbrt v)))))
  (* (/ m (sqrt v)) (/ (sqrt (- 1.0 m)) (sqrt (sqrt v))))
  (* (/ m (sqrt v)) (/ (sqrt (- 1.0 m)) (sqrt 1)))
  (* (/ m (sqrt v)) (/ (sqrt (- 1.0 m)) (sqrt (sqrt v))))
  (* (/ m (sqrt v)) (/ (sqrt (- 1.0 m)) 1))
  (* (/ m (sqrt v)) (/ 1 (* (cbrt (sqrt v)) (cbrt (sqrt v)))))
  (* (/ m (sqrt v)) (/ 1 (sqrt (* (cbrt v) (cbrt v)))))
  (* (/ m (sqrt v)) (/ 1 (sqrt (sqrt v))))
  (* (/ m (sqrt v)) (/ 1 (sqrt 1)))
  (* (/ m (sqrt v)) (/ 1 (sqrt (sqrt v))))
  (* (/ m (sqrt v)) (/ 1 1))
  (* (/ m (sqrt v)) (/ (+ (sqrt 1.0) (sqrt m)) (* (cbrt (sqrt v)) (cbrt (sqrt v)))))
  (* (/ m (sqrt v)) (/ (+ (sqrt 1.0) (sqrt m)) (sqrt (* (cbrt v) (cbrt v)))))
  (* (/ m (sqrt v)) (/ (+ (sqrt 1.0) (sqrt m)) (sqrt (sqrt v))))
  (* (/ m (sqrt v)) (/ (+ (sqrt 1.0) (sqrt m)) (sqrt 1)))
  (* (/ m (sqrt v)) (/ (+ (sqrt 1.0) (sqrt m)) (sqrt (sqrt v))))
  (* (/ m (sqrt v)) (/ (+ (sqrt 1.0) (sqrt m)) 1))
  (* (/ m (sqrt v)) (/ 1 (* (cbrt (sqrt v)) (cbrt (sqrt v)))))
  (* (/ m (sqrt v)) (/ 1 (sqrt (* (cbrt v) (cbrt v)))))
  (* (/ m (sqrt v)) (/ 1 (sqrt (sqrt v))))
  (* (/ m (sqrt v)) (/ 1 (sqrt 1)))
  (* (/ m (sqrt v)) (/ 1 (sqrt (sqrt v))))
  (* (/ m (sqrt v)) (/ 1 1))
  (* (/ m (sqrt v)) 1)
  (* (/ m (sqrt v)) (- 1.0 m))
  (* (cbrt (/ m (sqrt v))) (/ (- 1.0 m) (sqrt v)))
  (* (sqrt (/ m (sqrt v))) (/ (- 1.0 m) (sqrt v)))
  (* (/ (cbrt m) (cbrt (sqrt v))) (/ (- 1.0 m) (sqrt v)))
  (* (/ (cbrt m) (sqrt (cbrt v))) (/ (- 1.0 m) (sqrt v)))
  (* (/ (cbrt m) (sqrt (sqrt v))) (/ (- 1.0 m) (sqrt v)))
  (* (/ (cbrt m) (sqrt v)) (/ (- 1.0 m) (sqrt v)))
  (* (/ (cbrt m) (sqrt (sqrt v))) (/ (- 1.0 m) (sqrt v)))
  (* (/ (cbrt m) (sqrt v)) (/ (- 1.0 m) (sqrt v)))
  (* (/ (sqrt m) (cbrt (sqrt v))) (/ (- 1.0 m) (sqrt v)))
  (* (/ (sqrt m) (sqrt (cbrt v))) (/ (- 1.0 m) (sqrt v)))
  (* (/ (sqrt m) (sqrt (sqrt v))) (/ (- 1.0 m) (sqrt v)))
  (* (/ (sqrt m) (sqrt v)) (/ (- 1.0 m) (sqrt v)))
  (* (/ (sqrt m) (sqrt (sqrt v))) (/ (- 1.0 m) (sqrt v)))
  (* (/ (sqrt m) (sqrt v)) (/ (- 1.0 m) (sqrt v)))
  (* (/ m (cbrt (sqrt v))) (/ (- 1.0 m) (sqrt v)))
  (* (/ m (sqrt (cbrt v))) (/ (- 1.0 m) (sqrt v)))
  (* (/ m (sqrt (sqrt v))) (/ (- 1.0 m) (sqrt v)))
  (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v)))
  (* (/ m (sqrt (sqrt v))) (/ (- 1.0 m) (sqrt v)))
  (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v)))
  (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v)))
  (* (/ 1 (sqrt v)) (/ (- 1.0 m) (sqrt v)))
  (* (/ m (sqrt v)) (- 1.0 m))
  (* m (/ (- 1.0 m) (sqrt v)))
  (- (log m) (log (sqrt v)))
  (log (/ m (sqrt v)))
  (exp (/ m (sqrt v)))
  (/ (* (* m m) m) (* (* (sqrt v) (sqrt v)) (sqrt v)))
  (* (cbrt (/ m (sqrt v))) (cbrt (/ m (sqrt v))))
  (cbrt (/ m (sqrt v)))
  (* (* (/ m (sqrt v)) (/ m (sqrt v))) (/ m (sqrt v)))
  (sqrt (/ m (sqrt v)))
  (sqrt (/ m (sqrt v)))
  (neg m)
  (neg (sqrt v))
  (/ (* (cbrt m) (cbrt m)) (* (cbrt (sqrt v)) (cbrt (sqrt v))))
  (/ (cbrt m) (cbrt (sqrt v)))
  (/ (* (cbrt m) (cbrt m)) (sqrt (* (cbrt v) (cbrt v))))
  (/ (cbrt m) (sqrt (cbrt v)))
  (/ (* (cbrt m) (cbrt m)) (sqrt (sqrt v)))
  (/ (cbrt m) (sqrt (sqrt v)))
  (/ (* (cbrt m) (cbrt m)) (sqrt 1))
  (/ (cbrt m) (sqrt v))
  (/ (* (cbrt m) (cbrt m)) (sqrt (sqrt v)))
  (/ (cbrt m) (sqrt (sqrt v)))
  (/ (* (cbrt m) (cbrt m)) 1)
  (/ (cbrt m) (sqrt v))
  (/ (sqrt m) (* (cbrt (sqrt v)) (cbrt (sqrt v))))
  (/ (sqrt m) (cbrt (sqrt v)))
  (/ (sqrt m) (sqrt (* (cbrt v) (cbrt v))))
  (/ (sqrt m) (sqrt (cbrt v)))
  (/ (sqrt m) (sqrt (sqrt v)))
  (/ (sqrt m) (sqrt (sqrt v)))
  (/ (sqrt m) (sqrt 1))
  (/ (sqrt m) (sqrt v))
  (/ (sqrt m) (sqrt (sqrt v)))
  (/ (sqrt m) (sqrt (sqrt v)))
  (/ (sqrt m) 1)
  (/ (sqrt m) (sqrt v))
  (/ 1 (* (cbrt (sqrt v)) (cbrt (sqrt v))))
  (/ m (cbrt (sqrt v)))
  (/ 1 (sqrt (* (cbrt v) (cbrt v))))
  (/ m (sqrt (cbrt v)))
  (/ 1 (sqrt (sqrt v)))
  (/ m (sqrt (sqrt v)))
  (/ 1 (sqrt 1))
  (/ m (sqrt v))
  (/ 1 (sqrt (sqrt v)))
  (/ m (sqrt (sqrt v)))
  (/ 1 1)
  (/ m (sqrt v))
  (/ 1 (sqrt v))
  (/ (sqrt v) m)
  (/ m (* (cbrt (sqrt v)) (cbrt (sqrt v))))
  (/ m (sqrt (* (cbrt v) (cbrt v))))
  (/ m (sqrt (sqrt v)))
  (/ m (sqrt 1))
  (/ m (sqrt (sqrt v)))
  (/ m 1)
  (/ (sqrt v) (cbrt m))
  (/ (sqrt v) (sqrt m))
  (/ (sqrt v) m)
  (- (log (- 1.0 m)) (log (sqrt v)))
  (log (/ (- 1.0 m) (sqrt v)))
  (exp (/ (- 1.0 m) (sqrt v)))
  (/ (* (* (- 1.0 m) (- 1.0 m)) (- 1.0 m)) (* (* (sqrt v) (sqrt v)) (sqrt v)))
  (* (cbrt (/ (- 1.0 m) (sqrt v))) (cbrt (/ (- 1.0 m) (sqrt v))))
  (cbrt (/ (- 1.0 m) (sqrt v)))
  (* (* (/ (- 1.0 m) (sqrt v)) (/ (- 1.0 m) (sqrt v))) (/ (- 1.0 m) (sqrt v)))
  (sqrt (/ (- 1.0 m) (sqrt v)))
  (sqrt (/ (- 1.0 m) (sqrt v)))
  (neg (- 1.0 m))
  (neg (sqrt v))
  (/ 1.0 (sqrt v))
  (/ m (sqrt v))
  (/ (* (cbrt (- 1.0 m)) (cbrt (- 1.0 m))) (* (cbrt (sqrt v)) (cbrt (sqrt v))))
  (/ (cbrt (- 1.0 m)) (cbrt (sqrt v)))
  (/ (* (cbrt (- 1.0 m)) (cbrt (- 1.0 m))) (sqrt (* (cbrt v) (cbrt v))))
  (/ (cbrt (- 1.0 m)) (sqrt (cbrt v)))
  (/ (* (cbrt (- 1.0 m)) (cbrt (- 1.0 m))) (sqrt (sqrt v)))
  (/ (cbrt (- 1.0 m)) (sqrt (sqrt v)))
  (/ (* (cbrt (- 1.0 m)) (cbrt (- 1.0 m))) (sqrt 1))
  (/ (cbrt (- 1.0 m)) (sqrt v))
  (/ (* (cbrt (- 1.0 m)) (cbrt (- 1.0 m))) (sqrt (sqrt v)))
  (/ (cbrt (- 1.0 m)) (sqrt (sqrt v)))
  (/ (* (cbrt (- 1.0 m)) (cbrt (- 1.0 m))) 1)
  (/ (cbrt (- 1.0 m)) (sqrt v))
  (/ (sqrt (- 1.0 m)) (* (cbrt (sqrt v)) (cbrt (sqrt v))))
  (/ (sqrt (- 1.0 m)) (cbrt (sqrt v)))
  (/ (sqrt (- 1.0 m)) (sqrt (* (cbrt v) (cbrt v))))
  (/ (sqrt (- 1.0 m)) (sqrt (cbrt v)))
  (/ (sqrt (- 1.0 m)) (sqrt (sqrt v)))
  (/ (sqrt (- 1.0 m)) (sqrt (sqrt v)))
  (/ (sqrt (- 1.0 m)) (sqrt 1))
  (/ (sqrt (- 1.0 m)) (sqrt v))
  (/ (sqrt (- 1.0 m)) (sqrt (sqrt v)))
  (/ (sqrt (- 1.0 m)) (sqrt (sqrt v)))
  (/ (sqrt (- 1.0 m)) 1)
  (/ (sqrt (- 1.0 m)) (sqrt v))
  (/ 1 (* (cbrt (sqrt v)) (cbrt (sqrt v))))
  (/ (- 1.0 m) (cbrt (sqrt v)))
  (/ 1 (sqrt (* (cbrt v) (cbrt v))))
  (/ (- 1.0 m) (sqrt (cbrt v)))
  (/ 1 (sqrt (sqrt v)))
  (/ (- 1.0 m) (sqrt (sqrt v)))
  (/ 1 (sqrt 1))
  (/ (- 1.0 m) (sqrt v))
  (/ 1 (sqrt (sqrt v)))
  (/ (- 1.0 m) (sqrt (sqrt v)))
  (/ 1 1)
  (/ (- 1.0 m) (sqrt v))
  (/ (+ (sqrt 1.0) (sqrt m)) (* (cbrt (sqrt v)) (cbrt (sqrt v))))
  (/ (- (sqrt 1.0) (sqrt m)) (cbrt (sqrt v)))
  (/ (+ (sqrt 1.0) (sqrt m)) (sqrt (* (cbrt v) (cbrt v))))
  (/ (- (sqrt 1.0) (sqrt m)) (sqrt (cbrt v)))
  (/ (+ (sqrt 1.0) (sqrt m)) (sqrt (sqrt v)))
  (/ (- (sqrt 1.0) (sqrt m)) (sqrt (sqrt v)))
  (/ (+ (sqrt 1.0) (sqrt m)) (sqrt 1))
  (/ (- (sqrt 1.0) (sqrt m)) (sqrt v))
  (/ (+ (sqrt 1.0) (sqrt m)) (sqrt (sqrt v)))
  (/ (- (sqrt 1.0) (sqrt m)) (sqrt (sqrt v)))
  (/ (+ (sqrt 1.0) (sqrt m)) 1)
  (/ (- (sqrt 1.0) (sqrt m)) (sqrt v))
  (/ 1 (* (cbrt (sqrt v)) (cbrt (sqrt v))))
  (/ (- 1.0 m) (cbrt (sqrt v)))
  (/ 1 (sqrt (* (cbrt v) (cbrt v))))
  (/ (- 1.0 m) (sqrt (cbrt v)))
  (/ 1 (sqrt (sqrt v)))
  (/ (- 1.0 m) (sqrt (sqrt v)))
  (/ 1 (sqrt 1))
  (/ (- 1.0 m) (sqrt v))
  (/ 1 (sqrt (sqrt v)))
  (/ (- 1.0 m) (sqrt (sqrt v)))
  (/ 1 1)
  (/ (- 1.0 m) (sqrt v))
  (/ 1 (sqrt v))
  (/ (sqrt v) (- 1.0 m))
  (/ (- 1.0 m) (* (cbrt (sqrt v)) (cbrt (sqrt v))))
  (/ (- 1.0 m) (sqrt (* (cbrt v) (cbrt v))))
  (/ (- 1.0 m) (sqrt (sqrt v)))
  (/ (- 1.0 m) (sqrt 1))
  (/ (- 1.0 m) (sqrt (sqrt v)))
  (/ (- 1.0 m) 1)
  (/ (sqrt v) (cbrt (- 1.0 m)))
  (/ (sqrt v) (sqrt (- 1.0 m)))
  (/ (sqrt v) (- 1.0 m))
  (/ (sqrt v) (- (sqrt 1.0) (sqrt m)))
  (/ (sqrt v) (- 1.0 m))
  (* (sqrt v) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))))
  (* (sqrt v) (+ 1.0 m))
  (* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) (- 1.0 m))
  (+ (log (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0)) (log (- 1.0 m)))
  (log (* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) (- 1.0 m)))
  (exp (* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) (- 1.0 m)))
  (* (* (* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0)) (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0)) (* (* (- 1.0 m) (- 1.0 m)) (- 1.0 m)))
  (* (cbrt (* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) (- 1.0 m))) (cbrt (* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) (- 1.0 m))))
  (cbrt (* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) (- 1.0 m)))
  (* (* (* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) (- 1.0 m)) (* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) (- 1.0 m))) (* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) (- 1.0 m)))
  (sqrt (* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) (- 1.0 m)))
  (sqrt (* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) (- 1.0 m)))
  (* (- (pow (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 3) (pow 1.0 3)) (- (pow 1.0 3) (pow m 3)))
  (* (+ (* (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v)))) (+ (* 1.0 1.0) (* (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0))) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))))
  (* (- (pow (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 3) (pow 1.0 3)) (- (* 1.0 1.0) (* m m)))
  (* (+ (* (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v)))) (+ (* 1.0 1.0) (* (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0))) (+ 1.0 m))
  (* (- (* (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v)))) (* 1.0 1.0)) (- (pow 1.0 3) (pow m 3)))
  (* (+ (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))))
  (* (- (* (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v)))) (* 1.0 1.0)) (- (* 1.0 1.0) (* m m)))
  (* (+ (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) (+ 1.0 m))
  (* (sqrt (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0)) (sqrt (- 1.0 m)))
  (* (sqrt (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0)) (sqrt (- 1.0 m)))
  (* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) 1.0)
  (* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) (neg m))
  (* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) 1.0)
  (* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) (neg m))
  (* 1.0 (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0))
  (* (neg m) (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0))
  (* 1.0 (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0))
  (* (neg m) (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0))
  (* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) (* (cbrt (- 1.0 m)) (cbrt (- 1.0 m))))
  (* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) (sqrt (- 1.0 m)))
  (* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) 1)
  (* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) (+ (sqrt 1.0) (sqrt m)))
  (* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) 1)
  (* (cbrt (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0)) (- 1.0 m))
  (* (sqrt (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0)) (- 1.0 m))
  (* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) (- 1.0 m))
  (* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) (- (pow 1.0 3) (pow m 3)))
  (* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) (- (* 1.0 1.0) (* m m)))
  (* (- (pow (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 3) (pow 1.0 3)) (- 1.0 m))
  (* (- (* (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v)))) (* 1.0 1.0)) (- 1.0 m))
  (- (* 1.0 (/ m v)) (/ (pow m 2) v))
  (- (* 1.0 (/ m v)) (/ (pow m 2) v))
  (- (* 1.0 (/ m (pow NAN 2))) (+ (* 2 (/ (pow m 2) v)) (/ (pow m 2) (pow NAN 2))))
  (+ (* m NAN) (+ (* (pow NAN 5) (* m (pow v 2))) (* v (* m (pow NAN 3)))))
  (+ (/ (* m NAN) v) (+ (/ (* m (pow NAN 3)) (pow v 2)) (/ (* m (pow NAN 5)) (pow v 3))))
  (+ (/ m NAN) (/ (* m NAN) v))
  (- (+ (* 1.0 NAN) (* 1.0 (* v (pow NAN 3)))) (* m NAN))
  (- (* 1.0 (/ NAN v)) (+ (/ (* m NAN) v) (/ (* m (pow NAN 3)) (pow v 2))))
  (- (* 1.0 (/ 1 NAN)) (+ (/ m NAN) (/ (* m NAN) 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)))
  (- (+ (/ (pow m 3) (pow NAN 2)) (* 2 (/ (pow m 3) v))) (* 2.0 (/ (pow m 2) (pow NAN 2))))
1.181 * * [simplify]: iteration  0 :  5491  enodes  (cost  2846 )
1.190 * [simplify]: Simplified to:
   (/ (* m (- 1.0 m)) v)
  (log (/ (* m (- 1.0 m)) v))
  (log (/ (* 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)
  (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
  (* (sqrt (/ m (sqrt v))) (sqrt (/ (- 1.0 m) (sqrt v))))
  (* (sqrt (/ m (sqrt v))) (sqrt (/ (- 1.0 m) (sqrt v))))
  (* (sqrt (/ m (sqrt v))) (/ (sqrt (- 1.0 m)) (sqrt (sqrt v))))
  (* (sqrt (/ m (sqrt v))) (/ (sqrt (- 1.0 m)) (sqrt (sqrt v))))
  (* (sqrt (/ m (sqrt v))) (/ (sqrt (- 1.0 m)) (sqrt (sqrt v))))
  (* (sqrt (/ m (sqrt v))) (/ (sqrt (- 1.0 m)) (sqrt (sqrt v))))
  (* (sqrt (/ (- 1.0 m) (sqrt v))) (/ (sqrt m) (sqrt (sqrt v))))
  (* (sqrt (/ (- 1.0 m) (sqrt v))) (/ (sqrt m) (sqrt (sqrt v))))
  (* (/ (sqrt (- 1.0 m)) (sqrt (sqrt v))) (/ (sqrt m) (sqrt (sqrt v))))
  (* (/ (sqrt (- 1.0 m)) (sqrt (sqrt v))) (/ (sqrt m) (sqrt (sqrt v))))
  (* (/ (sqrt (- 1.0 m)) (sqrt (sqrt v))) (/ (sqrt m) (sqrt (sqrt v))))
  (* (/ (sqrt (- 1.0 m)) (sqrt (sqrt v))) (/ (sqrt m) (sqrt (sqrt v))))
  (* (sqrt (/ (- 1.0 m) (sqrt v))) (/ (sqrt m) (sqrt (sqrt v))))
  (* (sqrt (/ (- 1.0 m) (sqrt v))) (/ (sqrt m) (sqrt (sqrt v))))
  (* (/ (sqrt (- 1.0 m)) (sqrt (sqrt v))) (/ (sqrt m) (sqrt (sqrt v))))
  (* (/ (sqrt (- 1.0 m)) (sqrt (sqrt v))) (/ (sqrt m) (sqrt (sqrt v))))
  (* (/ (sqrt (- 1.0 m)) (sqrt (sqrt v))) (/ (sqrt m) (sqrt (sqrt v))))
  (* (/ (sqrt (- 1.0 m)) (sqrt (sqrt v))) (/ (sqrt m) (sqrt (sqrt v))))
  (* (/ m (sqrt v)) (* (cbrt (/ (- 1.0 m) (sqrt v))) (cbrt (/ (- 1.0 m) (sqrt v)))))
  (* (/ m (sqrt v)) (sqrt (/ (- 1.0 m) (sqrt v))))
  (* (/ m (sqrt v)) (* (/ (cbrt (- 1.0 m)) (cbrt (sqrt v))) (/ (cbrt (- 1.0 m)) (cbrt (sqrt v)))))
  (* (/ m (sqrt v)) (* (/ (cbrt (- 1.0 m)) (fabs (cbrt v))) (cbrt (- 1.0 m))))
  (* (/ m (sqrt v)) (* (/ (cbrt (- 1.0 m)) (sqrt (sqrt v))) (cbrt (- 1.0 m))))
  (* m (/ (* (cbrt (- 1.0 m)) (cbrt (- 1.0 m))) (sqrt v)))
  (* (/ m (sqrt v)) (* (/ (cbrt (- 1.0 m)) (sqrt (sqrt v))) (cbrt (- 1.0 m))))
  (* m (/ (* (cbrt (- 1.0 m)) (cbrt (- 1.0 m))) (sqrt v)))
  (* (/ m (sqrt v)) (/ (sqrt (- 1.0 m)) (* (cbrt (sqrt v)) (cbrt (sqrt v)))))
  (* (/ m (sqrt v)) (/ (sqrt (- 1.0 m)) (fabs (cbrt v))))
  (* (/ m (sqrt v)) (/ (sqrt (- 1.0 m)) (sqrt (sqrt v))))
  (* m (/ (sqrt (- 1.0 m)) (sqrt v)))
  (* (/ m (sqrt v)) (/ (sqrt (- 1.0 m)) (sqrt (sqrt v))))
  (* m (/ (sqrt (- 1.0 m)) (sqrt v)))
  (/ m (* (* (cbrt (sqrt v)) (cbrt (sqrt v))) (sqrt v)))
  (/ m (* (fabs (cbrt v)) (sqrt v)))
  (/ m (* (sqrt (sqrt v)) (sqrt v)))
  (/ m (sqrt v))
  (/ m (* (sqrt (sqrt v)) (sqrt v)))
  (/ m (sqrt v))
  (* (/ m (sqrt v)) (/ (+ (sqrt m) (sqrt 1.0)) (* (cbrt (sqrt v)) (cbrt (sqrt v)))))
  (* (/ m (sqrt v)) (/ (+ (sqrt m) (sqrt 1.0)) (fabs (cbrt v))))
  (* (/ m (sqrt v)) (/ (+ (sqrt m) (sqrt 1.0)) (sqrt (sqrt v))))
  (* m (/ (+ (sqrt m) (sqrt 1.0)) (sqrt v)))
  (* (/ m (sqrt v)) (/ (+ (sqrt m) (sqrt 1.0)) (sqrt (sqrt v))))
  (* m (/ (+ (sqrt m) (sqrt 1.0)) (sqrt v)))
  (/ m (* (* (cbrt (sqrt v)) (cbrt (sqrt v))) (sqrt v)))
  (/ m (* (fabs (cbrt v)) (sqrt v)))
  (/ m (* (sqrt (sqrt v)) (sqrt v)))
  (/ m (sqrt v))
  (/ m (* (sqrt (sqrt v)) (sqrt v)))
  (/ m (sqrt v))
  (/ m (sqrt v))
  (* m (/ (- 1.0 m) (sqrt v)))
  (* (/ (- 1.0 m) (sqrt v)) (cbrt (/ m (sqrt v))))
  (* (/ (- 1.0 m) (sqrt v)) (sqrt (/ m (sqrt v))))
  (* (/ (- 1.0 m) (sqrt v)) (/ (cbrt m) (cbrt (sqrt v))))
  (* (/ (- 1.0 m) (sqrt v)) (/ (cbrt m) (sqrt (cbrt v))))
  (* (/ (- 1.0 m) (sqrt v)) (/ (cbrt m) (sqrt (sqrt v))))
  (* (/ (- 1.0 m) (sqrt v)) (/ (cbrt m) (sqrt v)))
  (* (/ (- 1.0 m) (sqrt v)) (/ (cbrt m) (sqrt (sqrt v))))
  (* (/ (- 1.0 m) (sqrt v)) (/ (cbrt m) (sqrt v)))
  (* (/ (- 1.0 m) (sqrt v)) (/ (sqrt m) (cbrt (sqrt v))))
  (* (/ (- 1.0 m) (sqrt v)) (/ (sqrt m) (sqrt (cbrt v))))
  (* (/ (- 1.0 m) (sqrt v)) (/ (sqrt m) (sqrt (sqrt v))))
  (* (/ (- 1.0 m) (sqrt v)) (/ (sqrt m) (sqrt v)))
  (* (/ (- 1.0 m) (sqrt v)) (/ (sqrt m) (sqrt (sqrt v))))
  (* (/ (- 1.0 m) (sqrt v)) (/ (sqrt m) (sqrt v)))
  (* (/ (- 1.0 m) (sqrt v)) (/ m (cbrt (sqrt v))))
  (* (/ (- 1.0 m) (sqrt v)) (/ m (sqrt (cbrt v))))
  (* (/ (- 1.0 m) (sqrt v)) (/ m (sqrt (sqrt v))))
  (/ (* m (- 1.0 m)) v)
  (* (/ (- 1.0 m) (sqrt v)) (/ m (sqrt (sqrt v))))
  (/ (* m (- 1.0 m)) v)
  (/ (* m (- 1.0 m)) v)
  (/ (/ (- 1.0 m) (sqrt v)) (sqrt v))
  (* m (/ (- 1.0 m) (sqrt v)))
  (* m (/ (- 1.0 m) (sqrt v)))
  (log (/ m (sqrt v)))
  (log (/ m (sqrt v)))
  (exp (/ m (sqrt v)))
  (pow (/ m (sqrt v)) 3)
  (* (cbrt (/ m (sqrt v))) (cbrt (/ m (sqrt v))))
  (cbrt (/ m (sqrt v)))
  (pow (/ m (sqrt v)) 3)
  (sqrt (/ m (sqrt v)))
  (sqrt (/ m (sqrt v)))
  (neg m)
  (neg (sqrt v))
  (* (/ (cbrt m) (cbrt (sqrt v))) (/ (cbrt m) (cbrt (sqrt v))))
  (/ (cbrt m) (cbrt (sqrt v)))
  (* (/ (cbrt m) (fabs (cbrt v))) (cbrt m))
  (/ (cbrt m) (sqrt (cbrt v)))
  (* (/ (cbrt m) (sqrt (sqrt v))) (cbrt m))
  (/ (cbrt m) (sqrt (sqrt v)))
  (* (cbrt m) (cbrt m))
  (/ (cbrt m) (sqrt v))
  (* (/ (cbrt m) (sqrt (sqrt v))) (cbrt m))
  (/ (cbrt m) (sqrt (sqrt v)))
  (* (cbrt m) (cbrt m))
  (/ (cbrt m) (sqrt v))
  (/ (sqrt m) (* (cbrt (sqrt v)) (cbrt (sqrt v))))
  (/ (sqrt m) (cbrt (sqrt v)))
  (/ (sqrt m) (fabs (cbrt v)))
  (/ (sqrt m) (sqrt (cbrt v)))
  (/ (sqrt m) (sqrt (sqrt v)))
  (/ (sqrt m) (sqrt (sqrt v)))
  (sqrt m)
  (/ (sqrt m) (sqrt v))
  (/ (sqrt m) (sqrt (sqrt v)))
  (/ (sqrt m) (sqrt (sqrt v)))
  (sqrt m)
  (/ (sqrt m) (sqrt v))
  (/ 1 (* (cbrt (sqrt v)) (cbrt (sqrt v))))
  (/ m (cbrt (sqrt v)))
  (/ 1 (fabs (cbrt v)))
  (/ m (sqrt (cbrt v)))
  (/ 1 (sqrt (sqrt v)))
  (/ m (sqrt (sqrt v)))
  1
  (/ m (sqrt v))
  (/ 1 (sqrt (sqrt v)))
  (/ m (sqrt (sqrt v)))
  1
  (/ m (sqrt v))
  (/ 1 (sqrt v))
  (/ (sqrt v) m)
  (/ m (* (cbrt (sqrt v)) (cbrt (sqrt v))))
  (/ m (fabs (cbrt v)))
  (/ m (sqrt (sqrt v)))
  m
  (/ m (sqrt (sqrt v)))
  m
  (/ (sqrt v) (cbrt m))
  (/ (sqrt v) (sqrt m))
  (/ (sqrt v) m)
  (log (/ (- 1.0 m) (sqrt v)))
  (log (/ (- 1.0 m) (sqrt v)))
  (exp (/ (- 1.0 m) (sqrt v)))
  (pow (/ (- 1.0 m) (sqrt v)) 3)
  (* (cbrt (/ (- 1.0 m) (sqrt v))) (cbrt (/ (- 1.0 m) (sqrt v))))
  (cbrt (/ (- 1.0 m) (sqrt v)))
  (pow (/ (- 1.0 m) (sqrt v)) 3)
  (sqrt (/ (- 1.0 m) (sqrt v)))
  (sqrt (/ (- 1.0 m) (sqrt v)))
  (+ m (neg 1.0))
  (neg (sqrt v))
  (/ 1.0 (sqrt v))
  (/ m (sqrt v))
  (* (/ (cbrt (- 1.0 m)) (cbrt (sqrt v))) (/ (cbrt (- 1.0 m)) (cbrt (sqrt v))))
  (/ (cbrt (- 1.0 m)) (cbrt (sqrt v)))
  (* (/ (cbrt (- 1.0 m)) (fabs (cbrt v))) (cbrt (- 1.0 m)))
  (/ (cbrt (- 1.0 m)) (sqrt (cbrt v)))
  (* (/ (cbrt (- 1.0 m)) (sqrt (sqrt v))) (cbrt (- 1.0 m)))
  (/ (cbrt (- 1.0 m)) (sqrt (sqrt v)))
  (* (cbrt (- 1.0 m)) (cbrt (- 1.0 m)))
  (/ (cbrt (- 1.0 m)) (sqrt v))
  (* (/ (cbrt (- 1.0 m)) (sqrt (sqrt v))) (cbrt (- 1.0 m)))
  (/ (cbrt (- 1.0 m)) (sqrt (sqrt v)))
  (* (cbrt (- 1.0 m)) (cbrt (- 1.0 m)))
  (/ (cbrt (- 1.0 m)) (sqrt v))
  (/ (sqrt (- 1.0 m)) (* (cbrt (sqrt v)) (cbrt (sqrt v))))
  (/ (sqrt (- 1.0 m)) (cbrt (sqrt v)))
  (/ (sqrt (- 1.0 m)) (fabs (cbrt v)))
  (/ (sqrt (- 1.0 m)) (sqrt (cbrt v)))
  (/ (sqrt (- 1.0 m)) (sqrt (sqrt v)))
  (/ (sqrt (- 1.0 m)) (sqrt (sqrt v)))
  (sqrt (- 1.0 m))
  (/ (sqrt (- 1.0 m)) (sqrt v))
  (/ (sqrt (- 1.0 m)) (sqrt (sqrt v)))
  (/ (sqrt (- 1.0 m)) (sqrt (sqrt v)))
  (sqrt (- 1.0 m))
  (/ (sqrt (- 1.0 m)) (sqrt v))
  (/ 1 (* (cbrt (sqrt v)) (cbrt (sqrt v))))
  (/ (- 1.0 m) (cbrt (sqrt v)))
  (/ 1 (fabs (cbrt v)))
  (/ (- 1.0 m) (sqrt (cbrt v)))
  (/ 1 (sqrt (sqrt v)))
  (/ (- 1.0 m) (sqrt (sqrt v)))
  1
  (/ (- 1.0 m) (sqrt v))
  (/ 1 (sqrt (sqrt v)))
  (/ (- 1.0 m) (sqrt (sqrt v)))
  1
  (/ (- 1.0 m) (sqrt v))
  (/ (+ (sqrt m) (sqrt 1.0)) (* (cbrt (sqrt v)) (cbrt (sqrt v))))
  (/ (- (sqrt 1.0) (sqrt m)) (cbrt (sqrt v)))
  (/ (+ (sqrt m) (sqrt 1.0)) (fabs (cbrt v)))
  (/ (- (sqrt 1.0) (sqrt m)) (sqrt (cbrt v)))
  (/ (+ (sqrt m) (sqrt 1.0)) (sqrt (sqrt v)))
  (/ (- (sqrt 1.0) (sqrt m)) (sqrt (sqrt v)))
  (+ (sqrt m) (sqrt 1.0))
  (/ (- (sqrt 1.0) (sqrt m)) (sqrt v))
  (/ (+ (sqrt m) (sqrt 1.0)) (sqrt (sqrt v)))
  (/ (- (sqrt 1.0) (sqrt m)) (sqrt (sqrt v)))
  (+ (sqrt m) (sqrt 1.0))
  (/ (- (sqrt 1.0) (sqrt m)) (sqrt v))
  (/ 1 (* (cbrt (sqrt v)) (cbrt (sqrt v))))
  (/ (- 1.0 m) (cbrt (sqrt v)))
  (/ 1 (fabs (cbrt v)))
  (/ (- 1.0 m) (sqrt (cbrt v)))
  (/ 1 (sqrt (sqrt v)))
  (/ (- 1.0 m) (sqrt (sqrt v)))
  1
  (/ (- 1.0 m) (sqrt v))
  (/ 1 (sqrt (sqrt v)))
  (/ (- 1.0 m) (sqrt (sqrt v)))
  1
  (/ (- 1.0 m) (sqrt v))
  (/ 1 (sqrt v))
  (/ (sqrt v) (- 1.0 m))
  (/ (- 1.0 m) (* (cbrt (sqrt v)) (cbrt (sqrt v))))
  (/ (- 1.0 m) (fabs (cbrt v)))
  (/ (- 1.0 m) (sqrt (sqrt v)))
  (- 1.0 m)
  (/ (- 1.0 m) (sqrt (sqrt v)))
  (- 1.0 m)
  (/ (sqrt v) (cbrt (- 1.0 m)))
  (/ (sqrt v) (sqrt (- 1.0 m)))
  (/ (sqrt v) (- 1.0 m))
  (/ (sqrt v) (- (sqrt 1.0) (sqrt m)))
  (/ (sqrt v) (- 1.0 m))
  (* (sqrt v) (+ (* m m) (* 1.0 (+ m 1.0))))
  (* (sqrt v) (+ m 1.0))
  (* (- 1.0 m) (- (/ (* m (- 1.0 m)) v) 1.0))
  (log (* (- 1.0 m) (- (/ (* m (- 1.0 m)) v) 1.0)))
  (log (* (- 1.0 m) (- (/ (* m (- 1.0 m)) v) 1.0)))
  (pow (exp (- (/ (* m (- 1.0 m)) v) 1.0)) (- 1.0 m))
  (pow (* (- 1.0 m) (- (/ (* m (- 1.0 m)) v) 1.0)) 3)
  (* (cbrt (* (- 1.0 m) (- (/ (* m (- 1.0 m)) v) 1.0))) (cbrt (* (- 1.0 m) (- (/ (* m (- 1.0 m)) v) 1.0))))
  (cbrt (* (- 1.0 m) (- (/ (* m (- 1.0 m)) v) 1.0)))
  (pow (* (- 1.0 m) (- (/ (* m (- 1.0 m)) v) 1.0)) 3)
  (sqrt (* (- 1.0 m) (- (/ (* m (- 1.0 m)) v) 1.0)))
  (sqrt (* (- 1.0 m) (- (/ (* m (- 1.0 m)) v) 1.0)))
  (* (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3)) (- (pow 1.0 3) (pow m 3)))
  (* (+ (* m m) (* 1.0 (+ m 1.0))) (+ (* 1.0 1.0) (* (/ (* m (- 1.0 m)) v) (+ 1.0 (/ (* m (- 1.0 m)) v)))))
  (* (+ m 1.0) (* (- 1.0 m) (- (pow (/ (* m (- 1.0 m)) v) 3) (pow 1.0 3))))
  (* (+ m 1.0) (+ (* 1.0 1.0) (* (/ (* m (- 1.0 m)) v) (+ 1.0 (/ (* m (- 1.0 m)) v)))))
  (* (- (pow 1.0 3) (pow m 3)) (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0)))
  (* (+ (* m m) (* 1.0 (+ m 1.0))) (+ 1.0 (/ (* m (- 1.0 m)) v)))
  (* (+ m 1.0) (* (- 1.0 m) (- (* (/ (* m (- 1.0 m)) v) (/ (* m (- 1.0 m)) v)) (* 1.0 1.0))))
  (* (+ m 1.0) (+ 1.0 (/ (* m (- 1.0 m)) v)))
  (* (sqrt (- 1.0 m)) (sqrt (- (/ (* m (- 1.0 m)) v) 1.0)))
  (* (sqrt (- 1.0 m)) (sqrt (- (/ (* m (- 1.0 m)) v) 1.0)))
  (* 1.0 (- (/ (* m (- 1.0 m)) v) 1.0))
  (* m (neg (- (/ (* m (- 1.0 m)) v) 1.0)))
  (* 1.0 (- (/ (* m (- 1.0 m)) v) 1.0))
  (* m (neg (- (/ (* m (- 1.0 m)) v) 1.0)))
  (* 1.0 (- (/ (* m (- 1.0 m)) v) 1.0))
  (* m (neg (- (/ (* m (- 1.0 m)) v) 1.0)))
  (* 1.0 (- (/ (* m (- 1.0 m)) v) 1.0))
  (* m (neg (- (/ (* 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 m) (sqrt 1.0)) (- (/ (* m (- 1.0 m)) v) 1.0))
  (- (/ (* m (- 1.0 m)) v) 1.0)
  (* (- 1.0 m) (cbrt (- (/ (* m (- 1.0 m)) v) 1.0)))
  (* (- 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) (- (pow 1.0 3) (pow m 3)))
  (* (+ m 1.0) (* (- 1.0 m) (- (/ (* m (- 1.0 m)) v) 1.0)))
  (* (- 1.0 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)))
  (/ (* m (- 1.0 m)) v)
  (/ (* m (- 1.0 m)) v)
  (- (* 1.0 (/ m (* NAN NAN))) (+ (* (/ m (/ v m)) 2) (* (/ m NAN) (/ m NAN))))
  (+ (* m NAN) (+ (* m (* (pow NAN 5) (* v v))) (* m (* v (pow NAN 3)))))
  (+ (* (/ m v) NAN) (+ (* (/ m v) (/ (pow NAN 3) v)) (* (/ m (pow v 3)) (pow NAN 5))))
  (+ (* (/ m v) NAN) (/ m NAN))
  (- (* 1.0 (+ NAN (* v (pow NAN 3)))) (* m NAN))
  (- (* 1.0 (/ NAN v)) (+ (* (/ m v) NAN) (* (/ m v) (/ (pow NAN 3) v))))
  (- (/ 1.0 NAN) (+ (* (/ m v) NAN) (/ m NAN)))
  (- (* 1.0 (/ m v)) (+ 1.0 (* (/ m (/ v m)) 2.0)))
  (+ (* m 1.0) (- (/ (pow m 3) v) (* (/ m (/ v m)) 2.0)))
  (+ (/ (pow m 3) (* NAN NAN)) (- (* 2 (/ (pow m 3) v)) (* (* (/ m NAN) (/ m NAN)) 2.0)))
1.192 * * * [progress]: adding candidates to table
1.406 * * [progress]: iteration 3 / 4
1.406 * * * [progress]: picking best candidate
1.415 * * * * [pick]: Picked  #<alt (λ (m v) (/ (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3))) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m)))))>
1.415 * * * [progress]: localizing error
1.434 * * * [progress]: generating rewritten candidates
1.434 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.459 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
1.467 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1.491 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
1.503 * * * [progress]: generating series expansions
1.503 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.503 * [approximate]: Taking taylor expansion of (/ (* (- 1.0 (pow m 3)) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) (+ (* 1.0 m) (+ (pow m 2) 1.0))) in (m v) around 0
1.503 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (pow m 3)) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) (+ (* 1.0 m) (+ (pow m 2) 1.0))) in v
1.503 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow m 3)) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in v
1.503 * [taylor]: Taking taylor expansion of (- 1.0 (pow m 3)) in v
1.503 * [taylor]: Taking taylor expansion of 1.0 in v
1.503 * [taylor]: Taking taylor expansion of (pow m 3) in v
1.503 * [taylor]: Taking taylor expansion of m in v
1.503 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in v
1.503 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in v
1.503 * [taylor]: Taking taylor expansion of 1.0 in v
1.503 * [taylor]: Taking taylor expansion of (/ m v) in v
1.503 * [taylor]: Taking taylor expansion of m in v
1.503 * [taylor]: Taking taylor expansion of v in v
1.504 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in v
1.504 * [taylor]: Taking taylor expansion of 1.0 in v
1.504 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v
1.504 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.504 * [taylor]: Taking taylor expansion of m in v
1.504 * [taylor]: Taking taylor expansion of v in v
1.504 * [taylor]: Taking taylor expansion of (+ (* 1.0 m) (+ (pow m 2) 1.0)) in v
1.504 * [taylor]: Taking taylor expansion of (* 1.0 m) in v
1.504 * [taylor]: Taking taylor expansion of 1.0 in v
1.504 * [taylor]: Taking taylor expansion of m in v
1.504 * [taylor]: Taking taylor expansion of (+ (pow m 2) 1.0) in v
1.504 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.504 * [taylor]: Taking taylor expansion of m in v
1.504 * [taylor]: Taking taylor expansion of 1.0 in v
1.505 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (pow m 3)) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) (+ (* 1.0 m) (+ (pow m 2) 1.0))) in m
1.505 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow m 3)) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in m
1.505 * [taylor]: Taking taylor expansion of (- 1.0 (pow m 3)) in m
1.505 * [taylor]: Taking taylor expansion of 1.0 in m
1.505 * [taylor]: Taking taylor expansion of (pow m 3) in m
1.505 * [taylor]: Taking taylor expansion of m in m
1.505 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in m
1.505 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in m
1.505 * [taylor]: Taking taylor expansion of 1.0 in m
1.505 * [taylor]: Taking taylor expansion of (/ m v) in m
1.505 * [taylor]: Taking taylor expansion of m in m
1.505 * [taylor]: Taking taylor expansion of v in m
1.505 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in m
1.505 * [taylor]: Taking taylor expansion of 1.0 in m
1.505 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
1.505 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.505 * [taylor]: Taking taylor expansion of m in m
1.505 * [taylor]: Taking taylor expansion of v in m
1.505 * [taylor]: Taking taylor expansion of (+ (* 1.0 m) (+ (pow m 2) 1.0)) in m
1.505 * [taylor]: Taking taylor expansion of (* 1.0 m) in m
1.505 * [taylor]: Taking taylor expansion of 1.0 in m
1.505 * [taylor]: Taking taylor expansion of m in m
1.505 * [taylor]: Taking taylor expansion of (+ (pow m 2) 1.0) in m
1.505 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.505 * [taylor]: Taking taylor expansion of m in m
1.505 * [taylor]: Taking taylor expansion of 1.0 in m
1.506 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (pow m 3)) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) (+ (* 1.0 m) (+ (pow m 2) 1.0))) in m
1.506 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow m 3)) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in m
1.506 * [taylor]: Taking taylor expansion of (- 1.0 (pow m 3)) in m
1.506 * [taylor]: Taking taylor expansion of 1.0 in m
1.506 * [taylor]: Taking taylor expansion of (pow m 3) in m
1.506 * [taylor]: Taking taylor expansion of m in m
1.506 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in m
1.506 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in m
1.506 * [taylor]: Taking taylor expansion of 1.0 in m
1.506 * [taylor]: Taking taylor expansion of (/ m v) in m
1.506 * [taylor]: Taking taylor expansion of m in m
1.506 * [taylor]: Taking taylor expansion of v in m
1.506 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in m
1.506 * [taylor]: Taking taylor expansion of 1.0 in m
1.506 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
1.506 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.506 * [taylor]: Taking taylor expansion of m in m
1.506 * [taylor]: Taking taylor expansion of v in m
1.506 * [taylor]: Taking taylor expansion of (+ (* 1.0 m) (+ (pow m 2) 1.0)) in m
1.506 * [taylor]: Taking taylor expansion of (* 1.0 m) in m
1.506 * [taylor]: Taking taylor expansion of 1.0 in m
1.506 * [taylor]: Taking taylor expansion of m in m
1.506 * [taylor]: Taking taylor expansion of (+ (pow m 2) 1.0) in m
1.506 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.506 * [taylor]: Taking taylor expansion of m in m
1.506 * [taylor]: Taking taylor expansion of 1.0 in m
1.506 * [taylor]: Taking taylor expansion of -1.0 in v
1.506 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 v)) 1.0) in v
1.506 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 v)) in v
1.506 * [taylor]: Taking taylor expansion of 1.0 in v
1.507 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.507 * [taylor]: Taking taylor expansion of v in v
1.507 * [taylor]: Taking taylor expansion of 1.0 in v
1.507 * [taylor]: Taking taylor expansion of (neg (* 2.0 (/ 1 v))) in v
1.507 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in v
1.507 * [taylor]: Taking taylor expansion of 2.0 in v
1.507 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.507 * [taylor]: Taking taylor expansion of v in v
1.508 * [approximate]: Taking taylor expansion of (/ (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- 1.0 (/ 1 (pow m 3)))) (+ (* 1.0 (/ 1 m)) (+ (/ 1 (pow m 2)) 1.0))) in (m v) around 0
1.508 * [taylor]: Taking taylor expansion of (/ (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- 1.0 (/ 1 (pow m 3)))) (+ (* 1.0 (/ 1 m)) (+ (/ 1 (pow m 2)) 1.0))) in v
1.508 * [taylor]: Taking taylor expansion of (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- 1.0 (/ 1 (pow m 3)))) in v
1.508 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in v
1.508 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in v
1.508 * [taylor]: Taking taylor expansion of 1.0 in v
1.508 * [taylor]: Taking taylor expansion of (/ v m) in v
1.508 * [taylor]: Taking taylor expansion of v in v
1.508 * [taylor]: Taking taylor expansion of m in v
1.508 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in v
1.508 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
1.508 * [taylor]: Taking taylor expansion of v in v
1.508 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.508 * [taylor]: Taking taylor expansion of m in v
1.508 * [taylor]: Taking taylor expansion of 1.0 in v
1.508 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow m 3))) in v
1.508 * [taylor]: Taking taylor expansion of 1.0 in v
1.508 * [taylor]: Taking taylor expansion of (/ 1 (pow m 3)) in v
1.508 * [taylor]: Taking taylor expansion of (pow m 3) in v
1.508 * [taylor]: Taking taylor expansion of m in v
1.508 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 m)) (+ (/ 1 (pow m 2)) 1.0)) in v
1.508 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 m)) in v
1.508 * [taylor]: Taking taylor expansion of 1.0 in v
1.508 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.508 * [taylor]: Taking taylor expansion of m in v
1.508 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 2)) 1.0) in v
1.508 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in v
1.508 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.508 * [taylor]: Taking taylor expansion of m in v
1.509 * [taylor]: Taking taylor expansion of 1.0 in v
1.509 * [taylor]: Taking taylor expansion of (/ (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- 1.0 (/ 1 (pow m 3)))) (+ (* 1.0 (/ 1 m)) (+ (/ 1 (pow m 2)) 1.0))) in m
1.509 * [taylor]: Taking taylor expansion of (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- 1.0 (/ 1 (pow m 3)))) in m
1.509 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in m
1.509 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
1.509 * [taylor]: Taking taylor expansion of 1.0 in m
1.509 * [taylor]: Taking taylor expansion of (/ v m) in m
1.509 * [taylor]: Taking taylor expansion of v in m
1.509 * [taylor]: Taking taylor expansion of m in m
1.509 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in m
1.509 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.509 * [taylor]: Taking taylor expansion of v in m
1.509 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.509 * [taylor]: Taking taylor expansion of m in m
1.509 * [taylor]: Taking taylor expansion of 1.0 in m
1.509 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow m 3))) in m
1.509 * [taylor]: Taking taylor expansion of 1.0 in m
1.509 * [taylor]: Taking taylor expansion of (/ 1 (pow m 3)) in m
1.509 * [taylor]: Taking taylor expansion of (pow m 3) in m
1.509 * [taylor]: Taking taylor expansion of m in m
1.509 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 m)) (+ (/ 1 (pow m 2)) 1.0)) in m
1.510 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 m)) in m
1.510 * [taylor]: Taking taylor expansion of 1.0 in m
1.510 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.510 * [taylor]: Taking taylor expansion of m in m
1.510 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 2)) 1.0) in m
1.510 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m
1.510 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.510 * [taylor]: Taking taylor expansion of m in m
1.510 * [taylor]: Taking taylor expansion of 1.0 in m
1.510 * [taylor]: Taking taylor expansion of (/ (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- 1.0 (/ 1 (pow m 3)))) (+ (* 1.0 (/ 1 m)) (+ (/ 1 (pow m 2)) 1.0))) in m
1.510 * [taylor]: Taking taylor expansion of (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- 1.0 (/ 1 (pow m 3)))) in m
1.510 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in m
1.510 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
1.510 * [taylor]: Taking taylor expansion of 1.0 in m
1.510 * [taylor]: Taking taylor expansion of (/ v m) in m
1.510 * [taylor]: Taking taylor expansion of v in m
1.510 * [taylor]: Taking taylor expansion of m in m
1.510 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in m
1.510 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.510 * [taylor]: Taking taylor expansion of v in m
1.510 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.510 * [taylor]: Taking taylor expansion of m in m
1.510 * [taylor]: Taking taylor expansion of 1.0 in m
1.510 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow m 3))) in m
1.510 * [taylor]: Taking taylor expansion of 1.0 in m
1.510 * [taylor]: Taking taylor expansion of (/ 1 (pow m 3)) in m
1.510 * [taylor]: Taking taylor expansion of (pow m 3) in m
1.510 * [taylor]: Taking taylor expansion of m in m
1.510 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 m)) (+ (/ 1 (pow m 2)) 1.0)) in m
1.510 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 m)) in m
1.510 * [taylor]: Taking taylor expansion of 1.0 in m
1.510 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.510 * [taylor]: Taking taylor expansion of m in m
1.510 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 2)) 1.0) in m
1.510 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m
1.510 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.510 * [taylor]: Taking taylor expansion of m in m
1.510 * [taylor]: Taking taylor expansion of 1.0 in m
1.511 * [taylor]: Taking taylor expansion of v in v
1.511 * [taylor]: Taking taylor expansion of (neg (* 2.0 v)) in v
1.511 * [taylor]: Taking taylor expansion of (* 2.0 v) in v
1.511 * [taylor]: Taking taylor expansion of 2.0 in v
1.511 * [taylor]: Taking taylor expansion of v in v
1.512 * [taylor]: Taking taylor expansion of (+ (* 1.0 v) 1.0) in v
1.512 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
1.512 * [taylor]: Taking taylor expansion of 1.0 in v
1.512 * [taylor]: Taking taylor expansion of v in v
1.512 * [taylor]: Taking taylor expansion of 1.0 in v
1.512 * [approximate]: Taking taylor expansion of (/ (* (+ (/ 1 (pow m 3)) 1.0) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) (- (+ (/ 1 (pow m 2)) 1.0) (* 1.0 (/ 1 m)))) in (m v) around 0
1.512 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 (pow m 3)) 1.0) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) (- (+ (/ 1 (pow m 2)) 1.0) (* 1.0 (/ 1 m)))) in v
1.512 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow m 3)) 1.0) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) in v
1.512 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 3)) 1.0) in v
1.513 * [taylor]: Taking taylor expansion of (/ 1 (pow m 3)) in v
1.513 * [taylor]: Taking taylor expansion of (pow m 3) in v
1.513 * [taylor]: Taking taylor expansion of m in v
1.513 * [taylor]: Taking taylor expansion of 1.0 in v
1.513 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in v
1.513 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in v
1.513 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
1.513 * [taylor]: Taking taylor expansion of v in v
1.513 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.513 * [taylor]: Taking taylor expansion of m in v
1.513 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in v
1.513 * [taylor]: Taking taylor expansion of 1.0 in v
1.513 * [taylor]: Taking taylor expansion of (/ v m) in v
1.513 * [taylor]: Taking taylor expansion of v in v
1.513 * [taylor]: Taking taylor expansion of m in v
1.513 * [taylor]: Taking taylor expansion of 1.0 in v
1.513 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow m 2)) 1.0) (* 1.0 (/ 1 m))) in v
1.513 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 2)) 1.0) in v
1.513 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in v
1.513 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.513 * [taylor]: Taking taylor expansion of m in v
1.513 * [taylor]: Taking taylor expansion of 1.0 in v
1.513 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 m)) in v
1.513 * [taylor]: Taking taylor expansion of 1.0 in v
1.513 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.513 * [taylor]: Taking taylor expansion of m in v
1.514 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 (pow m 3)) 1.0) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) (- (+ (/ 1 (pow m 2)) 1.0) (* 1.0 (/ 1 m)))) in m
1.514 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow m 3)) 1.0) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) in m
1.514 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 3)) 1.0) in m
1.514 * [taylor]: Taking taylor expansion of (/ 1 (pow m 3)) in m
1.514 * [taylor]: Taking taylor expansion of (pow m 3) in m
1.514 * [taylor]: Taking taylor expansion of m in m
1.514 * [taylor]: Taking taylor expansion of 1.0 in m
1.514 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in m
1.514 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in m
1.514 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.514 * [taylor]: Taking taylor expansion of v in m
1.514 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.514 * [taylor]: Taking taylor expansion of m in m
1.514 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
1.514 * [taylor]: Taking taylor expansion of 1.0 in m
1.514 * [taylor]: Taking taylor expansion of (/ v m) in m
1.514 * [taylor]: Taking taylor expansion of v in m
1.514 * [taylor]: Taking taylor expansion of m in m
1.514 * [taylor]: Taking taylor expansion of 1.0 in m
1.514 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow m 2)) 1.0) (* 1.0 (/ 1 m))) in m
1.514 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 2)) 1.0) in m
1.514 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m
1.514 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.514 * [taylor]: Taking taylor expansion of m in m
1.514 * [taylor]: Taking taylor expansion of 1.0 in m
1.514 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 m)) in m
1.514 * [taylor]: Taking taylor expansion of 1.0 in m
1.514 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.514 * [taylor]: Taking taylor expansion of m in m
1.515 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 (pow m 3)) 1.0) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) (- (+ (/ 1 (pow m 2)) 1.0) (* 1.0 (/ 1 m)))) in m
1.515 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow m 3)) 1.0) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) in m
1.515 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 3)) 1.0) in m
1.515 * [taylor]: Taking taylor expansion of (/ 1 (pow m 3)) in m
1.515 * [taylor]: Taking taylor expansion of (pow m 3) in m
1.515 * [taylor]: Taking taylor expansion of m in m
1.515 * [taylor]: Taking taylor expansion of 1.0 in m
1.515 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in m
1.515 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in m
1.515 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.515 * [taylor]: Taking taylor expansion of v in m
1.515 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.515 * [taylor]: Taking taylor expansion of m in m
1.515 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
1.515 * [taylor]: Taking taylor expansion of 1.0 in m
1.515 * [taylor]: Taking taylor expansion of (/ v m) in m
1.515 * [taylor]: Taking taylor expansion of v in m
1.515 * [taylor]: Taking taylor expansion of m in m
1.515 * [taylor]: Taking taylor expansion of 1.0 in m
1.515 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow m 2)) 1.0) (* 1.0 (/ 1 m))) in m
1.515 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 2)) 1.0) in m
1.515 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m
1.515 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.515 * [taylor]: Taking taylor expansion of m in m
1.515 * [taylor]: Taking taylor expansion of 1.0 in m
1.515 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 m)) in m
1.515 * [taylor]: Taking taylor expansion of 1.0 in m
1.515 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.515 * [taylor]: Taking taylor expansion of m in m
1.515 * [taylor]: Taking taylor expansion of v in v
1.516 * [taylor]: Taking taylor expansion of (* 2.0 v) in v
1.516 * [taylor]: Taking taylor expansion of 2.0 in v
1.516 * [taylor]: Taking taylor expansion of v in v
1.516 * [taylor]: Taking taylor expansion of (- (* 1.0 v) 1.0) in v
1.516 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
1.516 * [taylor]: Taking taylor expansion of 1.0 in v
1.516 * [taylor]: Taking taylor expansion of v in v
1.516 * [taylor]: Taking taylor expansion of 1.0 in v
1.517 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
1.517 * [approximate]: Taking taylor expansion of (/ (* (- 1.0 m) m) v) in (m v) around 0
1.517 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 m) m) v) in v
1.517 * [taylor]: Taking taylor expansion of (* (- 1.0 m) m) in v
1.517 * [taylor]: Taking taylor expansion of (- 1.0 m) in v
1.517 * [taylor]: Taking taylor expansion of 1.0 in v
1.517 * [taylor]: Taking taylor expansion of m in v
1.517 * [taylor]: Taking taylor expansion of m in v
1.517 * [taylor]: Taking taylor expansion of v in v
1.517 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 m) m) v) in m
1.517 * [taylor]: Taking taylor expansion of (* (- 1.0 m) m) in m
1.517 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
1.517 * [taylor]: Taking taylor expansion of 1.0 in m
1.517 * [taylor]: Taking taylor expansion of m in m
1.517 * [taylor]: Taking taylor expansion of m in m
1.517 * [taylor]: Taking taylor expansion of v in m
1.517 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 m) m) v) in m
1.517 * [taylor]: Taking taylor expansion of (* (- 1.0 m) m) in m
1.517 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
1.517 * [taylor]: Taking taylor expansion of 1.0 in m
1.517 * [taylor]: Taking taylor expansion of m in m
1.517 * [taylor]: Taking taylor expansion of m in m
1.517 * [taylor]: Taking taylor expansion of v in m
1.517 * [taylor]: Taking taylor expansion of (/ 1.0 v) in v
1.517 * [taylor]: Taking taylor expansion of 1.0 in v
1.517 * [taylor]: Taking taylor expansion of v in v
1.518 * [taylor]: Taking taylor expansion of (neg (/ 1 v)) in v
1.518 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.518 * [taylor]: Taking taylor expansion of v in v
1.518 * [taylor]: Taking taylor expansion of 0 in v
1.518 * [taylor]: Taking taylor expansion of 0 in v
1.518 * [approximate]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in (m v) around 0
1.518 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in v
1.518 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in v
1.519 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in v
1.519 * [taylor]: Taking taylor expansion of 1.0 in v
1.519 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.519 * [taylor]: Taking taylor expansion of m in v
1.519 * [taylor]: Taking taylor expansion of v in v
1.519 * [taylor]: Taking taylor expansion of m in v
1.519 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in m
1.519 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in m
1.519 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
1.519 * [taylor]: Taking taylor expansion of 1.0 in m
1.519 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.519 * [taylor]: Taking taylor expansion of m in m
1.519 * [taylor]: Taking taylor expansion of v in m
1.519 * [taylor]: Taking taylor expansion of m in m
1.519 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in m
1.519 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in m
1.519 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
1.519 * [taylor]: Taking taylor expansion of 1.0 in m
1.519 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.519 * [taylor]: Taking taylor expansion of m in m
1.519 * [taylor]: Taking taylor expansion of v in m
1.519 * [taylor]: Taking taylor expansion of m in m
1.519 * [taylor]: Taking taylor expansion of (* -1 v) in v
1.519 * [taylor]: Taking taylor expansion of -1 in v
1.519 * [taylor]: Taking taylor expansion of v in v
1.519 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
1.520 * [taylor]: Taking taylor expansion of 1.0 in v
1.520 * [taylor]: Taking taylor expansion of v in v
1.520 * [taylor]: Taking taylor expansion of 0 in v
1.520 * [taylor]: Taking taylor expansion of 0 in v
1.520 * [approximate]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in (m v) around 0
1.520 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in v
1.520 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1.0)) in v
1.520 * [taylor]: Taking taylor expansion of v in v
1.520 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in v
1.520 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.520 * [taylor]: Taking taylor expansion of m in v
1.520 * [taylor]: Taking taylor expansion of 1.0 in v
1.520 * [taylor]: Taking taylor expansion of m in v
1.521 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in m
1.521 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1.0)) in m
1.521 * [taylor]: Taking taylor expansion of v in m
1.521 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
1.521 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.521 * [taylor]: Taking taylor expansion of m in m
1.521 * [taylor]: Taking taylor expansion of 1.0 in m
1.521 * [taylor]: Taking taylor expansion of m in m
1.521 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in m
1.521 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1.0)) in m
1.521 * [taylor]: Taking taylor expansion of v in m
1.521 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
1.521 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.521 * [taylor]: Taking taylor expansion of m in m
1.521 * [taylor]: Taking taylor expansion of 1.0 in m
1.521 * [taylor]: Taking taylor expansion of m in m
1.521 * [taylor]: Taking taylor expansion of v in v
1.521 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
1.521 * [taylor]: Taking taylor expansion of 1.0 in v
1.521 * [taylor]: Taking taylor expansion of v in v
1.521 * [taylor]: Taking taylor expansion of 0 in v
1.522 * [taylor]: Taking taylor expansion of 0 in v
1.522 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1.522 * [approximate]: Taking taylor expansion of (* (- 1.0 (pow m 3)) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in (m v) around 0
1.522 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow m 3)) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in v
1.522 * [taylor]: Taking taylor expansion of (- 1.0 (pow m 3)) in v
1.522 * [taylor]: Taking taylor expansion of 1.0 in v
1.522 * [taylor]: Taking taylor expansion of (pow m 3) in v
1.522 * [taylor]: Taking taylor expansion of m in v
1.522 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in v
1.522 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in v
1.522 * [taylor]: Taking taylor expansion of 1.0 in v
1.522 * [taylor]: Taking taylor expansion of (/ m v) in v
1.522 * [taylor]: Taking taylor expansion of m in v
1.522 * [taylor]: Taking taylor expansion of v in v
1.522 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in v
1.522 * [taylor]: Taking taylor expansion of 1.0 in v
1.522 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v
1.522 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.523 * [taylor]: Taking taylor expansion of m in v
1.523 * [taylor]: Taking taylor expansion of v in v
1.523 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow m 3)) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in m
1.523 * [taylor]: Taking taylor expansion of (- 1.0 (pow m 3)) in m
1.523 * [taylor]: Taking taylor expansion of 1.0 in m
1.523 * [taylor]: Taking taylor expansion of (pow m 3) in m
1.523 * [taylor]: Taking taylor expansion of m in m
1.523 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in m
1.523 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in m
1.523 * [taylor]: Taking taylor expansion of 1.0 in m
1.523 * [taylor]: Taking taylor expansion of (/ m v) in m
1.523 * [taylor]: Taking taylor expansion of m in m
1.523 * [taylor]: Taking taylor expansion of v in m
1.523 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in m
1.523 * [taylor]: Taking taylor expansion of 1.0 in m
1.523 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
1.523 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.523 * [taylor]: Taking taylor expansion of m in m
1.523 * [taylor]: Taking taylor expansion of v in m
1.523 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow m 3)) (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v)))) in m
1.523 * [taylor]: Taking taylor expansion of (- 1.0 (pow m 3)) in m
1.523 * [taylor]: Taking taylor expansion of 1.0 in m
1.523 * [taylor]: Taking taylor expansion of (pow m 3) in m
1.523 * [taylor]: Taking taylor expansion of m in m
1.523 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ m v)) (+ 1.0 (/ (pow m 2) v))) in m
1.523 * [taylor]: Taking taylor expansion of (* 1.0 (/ m v)) in m
1.523 * [taylor]: Taking taylor expansion of 1.0 in m
1.523 * [taylor]: Taking taylor expansion of (/ m v) in m
1.523 * [taylor]: Taking taylor expansion of m in m
1.523 * [taylor]: Taking taylor expansion of v in m
1.523 * [taylor]: Taking taylor expansion of (+ 1.0 (/ (pow m 2) v)) in m
1.523 * [taylor]: Taking taylor expansion of 1.0 in m
1.523 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m
1.523 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.523 * [taylor]: Taking taylor expansion of m in m
1.523 * [taylor]: Taking taylor expansion of v in m
1.523 * [taylor]: Taking taylor expansion of -1.0 in v
1.524 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 v)) in v
1.524 * [taylor]: Taking taylor expansion of 1.0 in v
1.524 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.524 * [taylor]: Taking taylor expansion of v in v
1.524 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 v))) in v
1.524 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 v)) in v
1.524 * [taylor]: Taking taylor expansion of 1.0 in v
1.524 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.524 * [taylor]: Taking taylor expansion of v in v
1.524 * [approximate]: Taking taylor expansion of (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- 1.0 (/ 1 (pow m 3)))) in (m v) around 0
1.524 * [taylor]: Taking taylor expansion of (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- 1.0 (/ 1 (pow m 3)))) in v
1.524 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in v
1.524 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in v
1.525 * [taylor]: Taking taylor expansion of 1.0 in v
1.525 * [taylor]: Taking taylor expansion of (/ v m) in v
1.525 * [taylor]: Taking taylor expansion of v in v
1.525 * [taylor]: Taking taylor expansion of m in v
1.525 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in v
1.525 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
1.525 * [taylor]: Taking taylor expansion of v in v
1.525 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.525 * [taylor]: Taking taylor expansion of m in v
1.525 * [taylor]: Taking taylor expansion of 1.0 in v
1.525 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow m 3))) in v
1.525 * [taylor]: Taking taylor expansion of 1.0 in v
1.525 * [taylor]: Taking taylor expansion of (/ 1 (pow m 3)) in v
1.525 * [taylor]: Taking taylor expansion of (pow m 3) in v
1.525 * [taylor]: Taking taylor expansion of m in v
1.525 * [taylor]: Taking taylor expansion of (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- 1.0 (/ 1 (pow m 3)))) in m
1.525 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in m
1.525 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
1.525 * [taylor]: Taking taylor expansion of 1.0 in m
1.525 * [taylor]: Taking taylor expansion of (/ v m) in m
1.525 * [taylor]: Taking taylor expansion of v in m
1.525 * [taylor]: Taking taylor expansion of m in m
1.525 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in m
1.525 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.525 * [taylor]: Taking taylor expansion of v in m
1.525 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.525 * [taylor]: Taking taylor expansion of m in m
1.525 * [taylor]: Taking taylor expansion of 1.0 in m
1.525 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow m 3))) in m
1.525 * [taylor]: Taking taylor expansion of 1.0 in m
1.525 * [taylor]: Taking taylor expansion of (/ 1 (pow m 3)) in m
1.525 * [taylor]: Taking taylor expansion of (pow m 3) in m
1.525 * [taylor]: Taking taylor expansion of m in m
1.525 * [taylor]: Taking taylor expansion of (* (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) (- 1.0 (/ 1 (pow m 3)))) in m
1.525 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ v m)) (+ (/ v (pow m 2)) 1.0)) in m
1.525 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
1.525 * [taylor]: Taking taylor expansion of 1.0 in m
1.525 * [taylor]: Taking taylor expansion of (/ v m) in m
1.525 * [taylor]: Taking taylor expansion of v in m
1.525 * [taylor]: Taking taylor expansion of m in m
1.526 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1.0) in m
1.526 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.526 * [taylor]: Taking taylor expansion of v in m
1.526 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.526 * [taylor]: Taking taylor expansion of m in m
1.526 * [taylor]: Taking taylor expansion of 1.0 in m
1.526 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow m 3))) in m
1.526 * [taylor]: Taking taylor expansion of 1.0 in m
1.526 * [taylor]: Taking taylor expansion of (/ 1 (pow m 3)) in m
1.526 * [taylor]: Taking taylor expansion of (pow m 3) in m
1.526 * [taylor]: Taking taylor expansion of m in m
1.526 * [taylor]: Taking taylor expansion of v in v
1.526 * [taylor]: Taking taylor expansion of (neg (* 1.0 v)) in v
1.526 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
1.526 * [taylor]: Taking taylor expansion of 1.0 in v
1.526 * [taylor]: Taking taylor expansion of v in v
1.526 * [taylor]: Taking taylor expansion of 1.0 in v
1.527 * [approximate]: Taking taylor expansion of (* (+ (/ 1 (pow m 3)) 1.0) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) in (m v) around 0
1.527 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow m 3)) 1.0) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) in v
1.527 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 3)) 1.0) in v
1.527 * [taylor]: Taking taylor expansion of (/ 1 (pow m 3)) in v
1.527 * [taylor]: Taking taylor expansion of (pow m 3) in v
1.527 * [taylor]: Taking taylor expansion of m in v
1.527 * [taylor]: Taking taylor expansion of 1.0 in v
1.527 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in v
1.527 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in v
1.527 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v
1.527 * [taylor]: Taking taylor expansion of v in v
1.527 * [taylor]: Taking taylor expansion of (pow m 2) in v
1.527 * [taylor]: Taking taylor expansion of m in v
1.528 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in v
1.528 * [taylor]: Taking taylor expansion of 1.0 in v
1.528 * [taylor]: Taking taylor expansion of (/ v m) in v
1.528 * [taylor]: Taking taylor expansion of v in v
1.528 * [taylor]: Taking taylor expansion of m in v
1.528 * [taylor]: Taking taylor expansion of 1.0 in v
1.528 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow m 3)) 1.0) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) in m
1.528 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 3)) 1.0) in m
1.528 * [taylor]: Taking taylor expansion of (/ 1 (pow m 3)) in m
1.528 * [taylor]: Taking taylor expansion of (pow m 3) in m
1.528 * [taylor]: Taking taylor expansion of m in m
1.528 * [taylor]: Taking taylor expansion of 1.0 in m
1.528 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in m
1.528 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in m
1.528 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.528 * [taylor]: Taking taylor expansion of v in m
1.528 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.528 * [taylor]: Taking taylor expansion of m in m
1.528 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
1.528 * [taylor]: Taking taylor expansion of 1.0 in m
1.528 * [taylor]: Taking taylor expansion of (/ v m) in m
1.528 * [taylor]: Taking taylor expansion of v in m
1.528 * [taylor]: Taking taylor expansion of m in m
1.528 * [taylor]: Taking taylor expansion of 1.0 in m
1.528 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow m 3)) 1.0) (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0)) in m
1.528 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 3)) 1.0) in m
1.528 * [taylor]: Taking taylor expansion of (/ 1 (pow m 3)) in m
1.528 * [taylor]: Taking taylor expansion of (pow m 3) in m
1.528 * [taylor]: Taking taylor expansion of m in m
1.528 * [taylor]: Taking taylor expansion of 1.0 in m
1.528 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (* 1.0 (/ v m))) 1.0) in m
1.528 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (* 1.0 (/ v m))) in m
1.528 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m
1.528 * [taylor]: Taking taylor expansion of v in m
1.528 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.528 * [taylor]: Taking taylor expansion of m in m
1.528 * [taylor]: Taking taylor expansion of (* 1.0 (/ v m)) in m
1.528 * [taylor]: Taking taylor expansion of 1.0 in m
1.528 * [taylor]: Taking taylor expansion of (/ v m) in m
1.528 * [taylor]: Taking taylor expansion of v in m
1.528 * [taylor]: Taking taylor expansion of m in m
1.528 * [taylor]: Taking taylor expansion of 1.0 in m
1.529 * [taylor]: Taking taylor expansion of v in v
1.529 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
1.529 * [taylor]: Taking taylor expansion of 1.0 in v
1.529 * [taylor]: Taking taylor expansion of v in v
1.529 * [taylor]: Taking taylor expansion of (neg 1.0) in v
1.529 * [taylor]: Taking taylor expansion of 1.0 in v
1.530 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
1.530 * [approximate]: Taking taylor expansion of (+ (* 1.0 m) (pow m 2)) in (m) around 0
1.530 * [taylor]: Taking taylor expansion of (+ (* 1.0 m) (pow m 2)) in m
1.530 * [taylor]: Taking taylor expansion of (* 1.0 m) in m
1.530 * [taylor]: Taking taylor expansion of 1.0 in m
1.530 * [taylor]: Taking taylor expansion of m in m
1.530 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.530 * [taylor]: Taking taylor expansion of m in m
1.530 * [taylor]: Taking taylor expansion of (+ (* 1.0 m) (pow m 2)) in m
1.530 * [taylor]: Taking taylor expansion of (* 1.0 m) in m
1.530 * [taylor]: Taking taylor expansion of 1.0 in m
1.530 * [taylor]: Taking taylor expansion of m in m
1.530 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.530 * [taylor]: Taking taylor expansion of m in m
1.531 * [approximate]: Taking taylor expansion of (+ (* 1.0 (/ 1 m)) (/ 1 (pow m 2))) in (m) around 0
1.531 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 m)) (/ 1 (pow m 2))) in m
1.531 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 m)) in m
1.531 * [taylor]: Taking taylor expansion of 1.0 in m
1.531 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.531 * [taylor]: Taking taylor expansion of m in m
1.531 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m
1.531 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.531 * [taylor]: Taking taylor expansion of m in m
1.531 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 m)) (/ 1 (pow m 2))) in m
1.531 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 m)) in m
1.531 * [taylor]: Taking taylor expansion of 1.0 in m
1.531 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.531 * [taylor]: Taking taylor expansion of m in m
1.531 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m
1.531 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.531 * [taylor]: Taking taylor expansion of m in m
1.533 * [approximate]: Taking taylor expansion of (- (/ 1 (pow m 2)) (* 1.0 (/ 1 m))) in (m) around 0
1.533 * [taylor]: Taking taylor expansion of (- (/ 1 (pow m 2)) (* 1.0 (/ 1 m))) in m
1.533 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m
1.533 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.533 * [taylor]: Taking taylor expansion of m in m
1.533 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 m)) in m
1.533 * [taylor]: Taking taylor expansion of 1.0 in m
1.533 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.533 * [taylor]: Taking taylor expansion of m in m
1.533 * [taylor]: Taking taylor expansion of (- (/ 1 (pow m 2)) (* 1.0 (/ 1 m))) in m
1.533 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m
1.533 * [taylor]: Taking taylor expansion of (pow m 2) in m
1.533 * [taylor]: Taking taylor expansion of m in m
1.533 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 m)) in m
1.533 * [taylor]: Taking taylor expansion of 1.0 in m
1.533 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.533 * [taylor]: Taking taylor expansion of m in m
1.535 * * * [progress]: simplifying candidates
1.537 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (+ (log (- (* (/ (- 1.0 m) v) m) 1.0)) (log (- (pow 1.0 3) (pow m 3)))) (log (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m)))))
  (- (log (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3)))) (log (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m)))))
  (log (/ (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3))) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m)))))
  (exp (/ (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3))) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m)))))
  (/ (* (* (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (* (/ (- 1.0 m) v) m) 1.0)) (- (* (/ (- 1.0 m) v) m) 1.0)) (* (* (- (pow 1.0 3) (pow m 3)) (- (pow 1.0 3) (pow m 3))) (- (pow 1.0 3) (pow m 3)))) (* (* (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m)))) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m)))))
  (/ (* (* (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3))) (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3)))) (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3)))) (* (* (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m)))) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m)))))
  (* (cbrt (/ (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3))) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))))) (cbrt (/ (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3))) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))))))
  (cbrt (/ (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3))) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m)))))
  (* (* (/ (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3))) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m)))) (/ (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3))) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))))) (/ (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3))) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m)))))
  (sqrt (/ (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3))) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m)))))
  (sqrt (/ (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3))) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m)))))
  (neg (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3))))
  (neg (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))))
  (/ (- (* (/ (- 1.0 m) v) m) 1.0) (* (cbrt (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m)))) (cbrt (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))))))
  (/ (- (pow 1.0 3) (pow m 3)) (cbrt (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m)))))
  (/ (- (* (/ (- 1.0 m) v) m) 1.0) (sqrt (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m)))))
  (/ (- (pow 1.0 3) (pow m 3)) (sqrt (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m)))))
  (/ (- (* (/ (- 1.0 m) v) m) 1.0) 1)
  (/ (- (pow 1.0 3) (pow m 3)) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))))
  (/ 1 (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))))
  (/ (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))) (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3))))
  (/ (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3))) (* (cbrt (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m)))) (cbrt (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))))))
  (/ (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3))) (sqrt (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m)))))
  (/ (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3))) 1)
  (/ (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))) (- (pow 1.0 3) (pow m 3)))
  (/ (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3))) (+ (pow (* 1.0 1.0) 3) (pow (+ (* m m) (* 1.0 m)) 3)))
  (/ (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3))) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (+ (* m m) (* 1.0 m)) (+ (* m m) (* 1.0 m)))))
  (* (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))) (* (+ (* (* (/ (- 1.0 m) v) m) (* (/ (- 1.0 m) v) m)) (+ (* 1.0 1.0) (* (* (/ (- 1.0 m) v) m) 1.0))) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow m 3) (pow m 3)) (* (pow 1.0 3) (pow m 3))))))
  (* (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))) (* (+ (* (* (/ (- 1.0 m) v) m) (* (/ (- 1.0 m) v) m)) (+ (* 1.0 1.0) (* (* (/ (- 1.0 m) v) m) 1.0))) (+ (pow 1.0 3) (pow m 3))))
  (* (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))) (* (+ (* (/ (- 1.0 m) v) m) 1.0) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow m 3) (pow m 3)) (* (pow 1.0 3) (pow m 3))))))
  (* (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))) (* (+ (* (/ (- 1.0 m) v) m) 1.0) (+ (pow 1.0 3) (pow m 3))))
  (* (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow m 3) (pow m 3)) (* (pow 1.0 3) (pow m 3)))))
  (* (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))) (+ (pow 1.0 3) (pow m 3)))
  (* (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))) (+ (* (* (/ (- 1.0 m) v) m) (* (/ (- 1.0 m) v) m)) (+ (* 1.0 1.0) (* (* (/ (- 1.0 m) v) m) 1.0))))
  (* (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))) (+ (* (/ (- 1.0 m) v) m) 1.0))
  (* (/ (- 1.0 m) v) m)
  (+ (- (log (- 1.0 m)) (log v)) (log m))
  (+ (log (/ (- 1.0 m) v)) (log m))
  (log (* (/ (- 1.0 m) v) m))
  (exp (* (/ (- 1.0 m) v) m))
  (* (/ (* (* (- 1.0 m) (- 1.0 m)) (- 1.0 m)) (* (* v v) v)) (* (* m m) m))
  (* (* (* (/ (- 1.0 m) v) (/ (- 1.0 m) v)) (/ (- 1.0 m) v)) (* (* m m) m))
  (* (cbrt (* (/ (- 1.0 m) v) m)) (cbrt (* (/ (- 1.0 m) v) m)))
  (cbrt (* (/ (- 1.0 m) v) m))
  (* (* (* (/ (- 1.0 m) v) m) (* (/ (- 1.0 m) v) m)) (* (/ (- 1.0 m) v) m))
  (sqrt (* (/ (- 1.0 m) v) m))
  (sqrt (* (/ (- 1.0 m) v) m))
  (* (sqrt (/ (- 1.0 m) v)) (sqrt m))
  (* (sqrt (/ (- 1.0 m) v)) (sqrt m))
  (* (/ (sqrt (- 1.0 m)) (sqrt v)) (sqrt m))
  (* (/ (sqrt (- 1.0 m)) (sqrt v)) (sqrt m))
  (* (/ (- 1.0 m) v) (* (cbrt m) (cbrt m)))
  (* (/ (- 1.0 m) v) (sqrt m))
  (* (/ (- 1.0 m) v) 1)
  (* (cbrt (/ (- 1.0 m) v)) m)
  (* (sqrt (/ (- 1.0 m) v)) m)
  (* (/ (cbrt (- 1.0 m)) (cbrt v)) m)
  (* (/ (cbrt (- 1.0 m)) (sqrt v)) m)
  (* (/ (cbrt (- 1.0 m)) v) m)
  (* (/ (sqrt (- 1.0 m)) (cbrt v)) m)
  (* (/ (sqrt (- 1.0 m)) (sqrt v)) m)
  (* (/ (sqrt (- 1.0 m)) v) m)
  (* (/ (- 1.0 m) (cbrt v)) m)
  (* (/ (- 1.0 m) (sqrt v)) m)
  (* (/ (- 1.0 m) v) m)
  (* (/ (- (sqrt 1.0) (sqrt m)) (cbrt v)) m)
  (* (/ (- (sqrt 1.0) (sqrt m)) (sqrt v)) m)
  (* (/ (- (sqrt 1.0) (sqrt m)) v) m)
  (* (/ (- 1.0 m) (cbrt v)) m)
  (* (/ (- 1.0 m) (sqrt v)) m)
  (* (/ (- 1.0 m) v) m)
  (* (/ (- 1.0 m) v) m)
  (* (/ 1 v) m)
  (* (- 1.0 m) m)
  (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3)))
  (+ (log (- (* (/ (- 1.0 m) v) m) 1.0)) (log (- (pow 1.0 3) (pow m 3))))
  (log (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3))))
  (exp (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3))))
  (* (* (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (* (/ (- 1.0 m) v) m) 1.0)) (- (* (/ (- 1.0 m) v) m) 1.0)) (* (* (- (pow 1.0 3) (pow m 3)) (- (pow 1.0 3) (pow m 3))) (- (pow 1.0 3) (pow m 3))))
  (* (cbrt (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3)))) (cbrt (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3)))))
  (cbrt (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3))))
  (* (* (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3))) (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3)))) (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3))))
  (sqrt (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3))))
  (sqrt (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3))))
  (* (- (pow (* (/ (- 1.0 m) v) m) 3) (pow 1.0 3)) (- (pow (pow 1.0 3) 3) (pow (pow m 3) 3)))
  (* (+ (* (* (/ (- 1.0 m) v) m) (* (/ (- 1.0 m) v) m)) (+ (* 1.0 1.0) (* (* (/ (- 1.0 m) v) m) 1.0))) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow m 3) (pow m 3)) (* (pow 1.0 3) (pow m 3)))))
  (* (- (pow (* (/ (- 1.0 m) v) m) 3) (pow 1.0 3)) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow m 3) (pow m 3))))
  (* (+ (* (* (/ (- 1.0 m) v) m) (* (/ (- 1.0 m) v) m)) (+ (* 1.0 1.0) (* (* (/ (- 1.0 m) v) m) 1.0))) (+ (pow 1.0 3) (pow m 3)))
  (* (- (* (* (/ (- 1.0 m) v) m) (* (/ (- 1.0 m) v) m)) (* 1.0 1.0)) (- (pow (pow 1.0 3) 3) (pow (pow m 3) 3)))
  (* (+ (* (/ (- 1.0 m) v) m) 1.0) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow m 3) (pow m 3)) (* (pow 1.0 3) (pow m 3)))))
  (* (- (* (* (/ (- 1.0 m) v) m) (* (/ (- 1.0 m) v) m)) (* 1.0 1.0)) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow m 3) (pow m 3))))
  (* (+ (* (/ (- 1.0 m) v) m) 1.0) (+ (pow 1.0 3) (pow m 3)))
  (* (sqrt (- (* (/ (- 1.0 m) v) m) 1.0)) (sqrt (- (pow 1.0 3) (pow m 3))))
  (* (sqrt (- (* (/ (- 1.0 m) v) m) 1.0)) (sqrt (- (pow 1.0 3) (pow m 3))))
  (* (- (* (/ (- 1.0 m) v) m) 1.0) (pow 1.0 3))
  (* (- (* (/ (- 1.0 m) v) m) 1.0) (neg (pow m 3)))
  (* (- (* (/ (- 1.0 m) v) m) 1.0) (pow 1.0 3))
  (* (- (* (/ (- 1.0 m) v) m) 1.0) (neg (pow m 3)))
  (* (pow 1.0 3) (- (* (/ (- 1.0 m) v) m) 1.0))
  (* (neg (pow m 3)) (- (* (/ (- 1.0 m) v) m) 1.0))
  (* (pow 1.0 3) (- (* (/ (- 1.0 m) v) m) 1.0))
  (* (neg (pow m 3)) (- (* (/ (- 1.0 m) v) m) 1.0))
  (* (- (* (/ (- 1.0 m) v) m) 1.0) (* (cbrt (- (pow 1.0 3) (pow m 3))) (cbrt (- (pow 1.0 3) (pow m 3)))))
  (* (- (* (/ (- 1.0 m) v) m) 1.0) (sqrt (- (pow 1.0 3) (pow m 3))))
  (* (- (* (/ (- 1.0 m) v) m) 1.0) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))))
  (* (- (* (/ (- 1.0 m) v) m) 1.0) 1)
  (* (- (* (/ (- 1.0 m) v) m) 1.0) (+ (pow (sqrt 1.0) 3) (pow (sqrt m) 3)))
  (* (- (* (/ (- 1.0 m) v) m) 1.0) (+ (pow (sqrt 1.0) 3) (pow (sqrt m) 3)))
  (* (- (* (/ (- 1.0 m) v) m) 1.0) (+ (pow (sqrt 1.0) 3) (sqrt (pow m 3))))
  (* (- (* (/ (- 1.0 m) v) m) 1.0) (+ (pow (sqrt 1.0) 3) (pow m (/ 3 2))))
  (* (- (* (/ (- 1.0 m) v) m) 1.0) (+ (pow (sqrt 1.0) 3) (pow (sqrt m) 3)))
  (* (- (* (/ (- 1.0 m) v) m) 1.0) (+ (pow (sqrt 1.0) 3) (pow (sqrt m) 3)))
  (* (- (* (/ (- 1.0 m) v) m) 1.0) (+ (pow (sqrt 1.0) 3) (sqrt (pow m 3))))
  (* (- (* (/ (- 1.0 m) v) m) 1.0) (+ (pow (sqrt 1.0) 3) (pow m (/ 3 2))))
  (* (- (* (/ (- 1.0 m) v) m) 1.0) (+ (sqrt (pow 1.0 3)) (pow (sqrt m) 3)))
  (* (- (* (/ (- 1.0 m) v) m) 1.0) (+ (sqrt (pow 1.0 3)) (pow (sqrt m) 3)))
  (* (- (* (/ (- 1.0 m) v) m) 1.0) (+ (sqrt (pow 1.0 3)) (sqrt (pow m 3))))
  (* (- (* (/ (- 1.0 m) v) m) 1.0) (+ (sqrt (pow 1.0 3)) (pow m (/ 3 2))))
  (* (- (* (/ (- 1.0 m) v) m) 1.0) (+ (pow 1.0 (/ 3 2)) (pow (sqrt m) 3)))
  (* (- (* (/ (- 1.0 m) v) m) 1.0) (+ (pow 1.0 (/ 3 2)) (pow (sqrt m) 3)))
  (* (- (* (/ (- 1.0 m) v) m) 1.0) (+ (pow 1.0 (/ 3 2)) (sqrt (pow m 3))))
  (* (- (* (/ (- 1.0 m) v) m) 1.0) (+ (pow 1.0 (/ 3 2)) (pow m (/ 3 2))))
  (* (- (* (/ (- 1.0 m) v) m) 1.0) (pow 1 3))
  (* (- (* (/ (- 1.0 m) v) m) 1.0) (pow 1 3))
  (* (- (* (/ (- 1.0 m) v) m) 1.0) (pow 1 3))
  (* (- (* (/ (- 1.0 m) v) m) 1.0) (pow 1 3))
  (* (- (* (/ (- 1.0 m) v) m) 1.0) 1)
  (* (cbrt (- (* (/ (- 1.0 m) v) m) 1.0)) (- (pow 1.0 3) (pow m 3)))
  (* (sqrt (- (* (/ (- 1.0 m) v) m) 1.0)) (- (pow 1.0 3) (pow m 3)))
  (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3)))
  (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow (pow 1.0 3) 3) (pow (pow m 3) 3)))
  (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow m 3) (pow m 3))))
  (* (- (pow (* (/ (- 1.0 m) v) m) 3) (pow 1.0 3)) (- (pow 1.0 3) (pow m 3)))
  (* (- (* (* (/ (- 1.0 m) v) m) (* (/ (- 1.0 m) v) m)) (* 1.0 1.0)) (- (pow 1.0 3) (pow m 3)))
  (* (exp (* m m)) (exp (* 1.0 m)))
  (log (+ (* m m) (* 1.0 m)))
  (exp (+ (* m m) (* 1.0 m)))
  (* (cbrt (+ (* m m) (* 1.0 m))) (cbrt (+ (* m m) (* 1.0 m))))
  (cbrt (+ (* m m) (* 1.0 m)))
  (* (* (+ (* m m) (* 1.0 m)) (+ (* m m) (* 1.0 m))) (+ (* m m) (* 1.0 m)))
  (sqrt (+ (* m m) (* 1.0 m)))
  (sqrt (+ (* m m) (* 1.0 m)))
  (+ (pow (* m m) 3) (pow (* 1.0 m) 3))
  (+ (* (* m m) (* m m)) (- (* (* 1.0 m) (* 1.0 m)) (* (* m m) (* 1.0 m))))
  (- (* (* m m) (* m m)) (* (* 1.0 m) (* 1.0 m)))
  (- (* m m) (* 1.0 m))
  (+ m 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 v)) (+ 1.0 (* 1.0 (/ (pow m 2) v))))
  (- (+ (/ (pow m 5) v) (* 1.0 (pow m 3))) (* 1.0 (/ (pow m 4) v)))
  (- (+ (/ (pow m 5) v) (* 1.0 (pow m 3))) (* 1.0 (/ (pow m 4) v)))
  (+ (* 1.0 m) (pow m 2))
  (+ (* 1.0 m) (pow m 2))
  (+ (* 1.0 m) (pow m 2))
1.597 * * [simplify]: iteration  0 :  5027  enodes  (cost  2603 )
1.605 * [simplify]: Simplified to:
   (log (* (/ (- (pow 1.0 3) (pow m 3)) (+ (* 1.0 1.0) (* m (+ 1.0 m)))) (- (* m (/ (- 1.0 m) v)) 1.0)))
  (log (* (/ (- (pow 1.0 3) (pow m 3)) (+ (* 1.0 1.0) (* m (+ 1.0 m)))) (- (* m (/ (- 1.0 m) v)) 1.0)))
  (log (* (/ (- (pow 1.0 3) (pow m 3)) (+ (* 1.0 1.0) (* m (+ 1.0 m)))) (- (* m (/ (- 1.0 m) v)) 1.0)))
  (pow (exp (/ (- (* m (/ (- 1.0 m) v)) 1.0) (+ (* 1.0 1.0) (* m (+ 1.0 m))))) (- (pow 1.0 3) (pow m 3)))
  (pow (* (/ (- (pow 1.0 3) (pow m 3)) (+ (* 1.0 1.0) (* m (+ 1.0 m)))) (- (* m (/ (- 1.0 m) v)) 1.0)) 3)
  (pow (* (/ (- (pow 1.0 3) (pow m 3)) (+ (* 1.0 1.0) (* m (+ 1.0 m)))) (- (* m (/ (- 1.0 m) v)) 1.0)) 3)
  (* (cbrt (* (/ (- (pow 1.0 3) (pow m 3)) (+ (* 1.0 1.0) (* m (+ 1.0 m)))) (- (* m (/ (- 1.0 m) v)) 1.0))) (cbrt (* (/ (- (pow 1.0 3) (pow m 3)) (+ (* 1.0 1.0) (* m (+ 1.0 m)))) (- (* m (/ (- 1.0 m) v)) 1.0))))
  (cbrt (* (/ (- (pow 1.0 3) (pow m 3)) (+ (* 1.0 1.0) (* m (+ 1.0 m)))) (- (* m (/ (- 1.0 m) v)) 1.0)))
  (pow (* (/ (- (pow 1.0 3) (pow m 3)) (+ (* 1.0 1.0) (* m (+ 1.0 m)))) (- (* m (/ (- 1.0 m) v)) 1.0)) 3)
  (sqrt (* (/ (- (pow 1.0 3) (pow m 3)) (+ (* 1.0 1.0) (* m (+ 1.0 m)))) (- (* m (/ (- 1.0 m) v)) 1.0)))
  (sqrt (* (/ (- (pow 1.0 3) (pow m 3)) (+ (* 1.0 1.0) (* m (+ 1.0 m)))) (- (* m (/ (- 1.0 m) v)) 1.0)))
  (* (- (* m (/ (- 1.0 m) v)) 1.0) (+ (neg (pow 1.0 3)) (pow m 3)))
  (- (* 1.0 (neg 1.0)) (* m (+ 1.0 m)))
  (/ (- (* m (/ (- 1.0 m) v)) 1.0) (* (cbrt (+ (* 1.0 1.0) (* m (+ 1.0 m)))) (cbrt (+ (* 1.0 1.0) (* m (+ 1.0 m))))))
  (/ (- (pow 1.0 3) (pow m 3)) (cbrt (+ (* 1.0 1.0) (* m (+ 1.0 m)))))
  (/ (- (* m (/ (- 1.0 m) v)) 1.0) (sqrt (+ (* 1.0 1.0) (* m (+ 1.0 m)))))
  (/ (- (pow 1.0 3) (pow m 3)) (sqrt (+ (* 1.0 1.0) (* m (+ 1.0 m)))))
  (- (* m (/ (- 1.0 m) v)) 1.0)
  (/ (- (pow 1.0 3) (pow m 3)) (+ (* 1.0 1.0) (* m (+ 1.0 m))))
  (/ 1 (+ (* 1.0 1.0) (* m (+ 1.0 m))))
  (/ (+ (* 1.0 1.0) (* m (+ 1.0 m))) (* (- (* m (/ (- 1.0 m) v)) 1.0) (- (pow 1.0 3) (pow m 3))))
  (* (/ (- (* m (/ (- 1.0 m) v)) 1.0) (* (cbrt (+ (* 1.0 1.0) (* m (+ 1.0 m)))) (cbrt (+ (* 1.0 1.0) (* m (+ 1.0 m)))))) (- (pow 1.0 3) (pow m 3)))
  (* (/ (- (* m (/ (- 1.0 m) v)) 1.0) (sqrt (+ (* 1.0 1.0) (* m (+ 1.0 m))))) (- (pow 1.0 3) (pow m 3)))
  (* (- (* m (/ (- 1.0 m) v)) 1.0) (- (pow 1.0 3) (pow m 3)))
  (/ (+ (* 1.0 1.0) (* m (+ 1.0 m))) (- (pow 1.0 3) (pow m 3)))
  (* (/ (- (* m (/ (- 1.0 m) v)) 1.0) (+ (pow 1.0 6) (pow (* m (+ 1.0 m)) 3))) (- (pow 1.0 3) (pow m 3)))
  (* (/ (- (* m (/ (- 1.0 m) v)) 1.0) (- (pow 1.0 4) (* m (* (+ 1.0 m) (* m (+ 1.0 m)))))) (- (pow 1.0 3) (pow m 3)))
  (* (+ (* 1.0 1.0) (* m (+ 1.0 m))) (* (+ (* m (* m (* (/ (- 1.0 m) v) (/ (- 1.0 m) v)))) (* 1.0 (+ 1.0 (* m (/ (- 1.0 m) v))))) (+ (pow 1.0 6) (+ (pow m 6) (pow (* 1.0 m) 3)))))
  (* (+ (* 1.0 1.0) (* m (+ 1.0 m))) (* (+ (* m (* m (* (/ (- 1.0 m) v) (/ (- 1.0 m) v)))) (* 1.0 (+ 1.0 (* m (/ (- 1.0 m) v))))) (+ (pow 1.0 3) (pow m 3))))
  (* (+ (* 1.0 1.0) (* m (+ 1.0 m))) (* (+ (pow 1.0 6) (+ (pow m 6) (pow (* 1.0 m) 3))) (+ 1.0 (* m (/ (- 1.0 m) v)))))
  (* (+ (* 1.0 1.0) (* m (+ 1.0 m))) (* (+ (pow 1.0 3) (pow m 3)) (+ 1.0 (* m (/ (- 1.0 m) v)))))
  (* (+ (* 1.0 1.0) (* m (+ 1.0 m))) (+ (pow 1.0 6) (+ (pow m 6) (pow (* 1.0 m) 3))))
  (* (+ (* 1.0 1.0) (* m (+ 1.0 m))) (+ (pow 1.0 3) (pow m 3)))
  (* (+ (* 1.0 1.0) (* m (+ 1.0 m))) (+ (* m (* m (* (/ (- 1.0 m) v) (/ (- 1.0 m) v)))) (* 1.0 (+ 1.0 (* m (/ (- 1.0 m) v))))))
  (* (+ (* 1.0 1.0) (* m (+ 1.0 m))) (+ 1.0 (* m (/ (- 1.0 m) v))))
  (* m (/ (- 1.0 m) v))
  (log (* m (/ (- 1.0 m) v)))
  (log (* m (/ (- 1.0 m) v)))
  (log (* m (/ (- 1.0 m) v)))
  (pow (exp (/ (- 1.0 m) v)) m)
  (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)))
  (* (sqrt (/ (- 1.0 m) v)) (sqrt m))
  (* (sqrt (/ (- 1.0 m) v)) (sqrt m))
  (* (sqrt m) (/ (sqrt (- 1.0 m)) (sqrt v)))
  (* (sqrt m) (/ (sqrt (- 1.0 m)) (sqrt v)))
  (* (/ (- 1.0 m) v) (* (cbrt m) (cbrt m)))
  (* (/ (- 1.0 m) v) (sqrt m))
  (/ (- 1.0 m) v)
  (* m (cbrt (/ (- 1.0 m) v)))
  (* m (sqrt (/ (- 1.0 m) v)))
  (* m (/ (cbrt (- 1.0 m)) (cbrt v)))
  (* m (/ (cbrt (- 1.0 m)) (sqrt v)))
  (* m (/ (cbrt (- 1.0 m)) v))
  (* m (/ (sqrt (- 1.0 m)) (cbrt v)))
  (* m (/ (sqrt (- 1.0 m)) (sqrt v)))
  (* m (/ (sqrt (- 1.0 m)) v))
  (* m (/ (- 1.0 m) (cbrt v)))
  (* m (/ (- 1.0 m) (sqrt v)))
  (* m (/ (- 1.0 m) v))
  (* m (/ (- (sqrt 1.0) (sqrt m)) (cbrt v)))
  (* m (/ (- (sqrt 1.0) (sqrt m)) (sqrt v)))
  (* m (/ (- (sqrt 1.0) (sqrt m)) v))
  (* m (/ (- 1.0 m) (cbrt v)))
  (* m (/ (- 1.0 m) (sqrt v)))
  (* m (/ (- 1.0 m) v))
  (* m (/ (- 1.0 m) v))
  (/ m v)
  (* m (- 1.0 m))
  (* (- (* m (/ (- 1.0 m) v)) 1.0) (- (pow 1.0 3) (pow m 3)))
  (log (* (- (* m (/ (- 1.0 m) v)) 1.0) (- (pow 1.0 3) (pow m 3))))
  (log (* (- (* m (/ (- 1.0 m) v)) 1.0) (- (pow 1.0 3) (pow m 3))))
  (pow (exp (- (* m (/ (- 1.0 m) v)) 1.0)) (- (pow 1.0 3) (pow m 3)))
  (pow (* (- (* m (/ (- 1.0 m) v)) 1.0) (- (pow 1.0 3) (pow m 3))) 3)
  (* (cbrt (* (- (* m (/ (- 1.0 m) v)) 1.0) (- (pow 1.0 3) (pow m 3)))) (cbrt (* (- (* m (/ (- 1.0 m) v)) 1.0) (- (pow 1.0 3) (pow m 3)))))
  (cbrt (* (- (* m (/ (- 1.0 m) v)) 1.0) (- (pow 1.0 3) (pow m 3))))
  (pow (* (- (* m (/ (- 1.0 m) v)) 1.0) (- (pow 1.0 3) (pow m 3))) 3)
  (sqrt (* (- (* m (/ (- 1.0 m) v)) 1.0) (- (pow 1.0 3) (pow m 3))))
  (sqrt (* (- (* m (/ (- 1.0 m) v)) 1.0) (- (pow 1.0 3) (pow m 3))))
  (* (- (pow (* m (/ (- 1.0 m) v)) 3) (pow 1.0 3)) (- (pow (pow 1.0 3) 3) (pow (pow m 3) 3)))
  (* (+ (* m (* m (* (/ (- 1.0 m) v) (/ (- 1.0 m) v)))) (* 1.0 (+ 1.0 (* m (/ (- 1.0 m) v))))) (+ (pow 1.0 6) (+ (pow m 6) (pow (* 1.0 m) 3))))
  (* (- (pow (* m (/ (- 1.0 m) v)) 3) (pow 1.0 3)) (- (pow 1.0 6) (pow m 6)))
  (* (+ (* m (* m (* (/ (- 1.0 m) v) (/ (- 1.0 m) v)))) (* 1.0 (+ 1.0 (* m (/ (- 1.0 m) v))))) (+ (pow 1.0 3) (pow m 3)))
  (* (+ 1.0 (* m (/ (- 1.0 m) v))) (* (- (* m (/ (- 1.0 m) v)) 1.0) (- (pow (pow 1.0 3) 3) (pow (pow m 3) 3))))
  (* (+ (pow 1.0 6) (+ (pow m 6) (pow (* 1.0 m) 3))) (+ 1.0 (* m (/ (- 1.0 m) v))))
  (* (+ 1.0 (* m (/ (- 1.0 m) v))) (* (- (* m (/ (- 1.0 m) v)) 1.0) (- (pow 1.0 6) (pow m 6))))
  (* (+ (pow 1.0 3) (pow m 3)) (+ 1.0 (* m (/ (- 1.0 m) v))))
  (* (sqrt (- (* m (/ (- 1.0 m) v)) 1.0)) (sqrt (- (pow 1.0 3) (pow m 3))))
  (* (sqrt (- (* m (/ (- 1.0 m) v)) 1.0)) (sqrt (- (pow 1.0 3) (pow m 3))))
  (* (- (* m (/ (- 1.0 m) v)) 1.0) (pow 1.0 3))
  (* (- (* m (/ (- 1.0 m) v)) 1.0) (neg (pow m 3)))
  (* (- (* m (/ (- 1.0 m) v)) 1.0) (pow 1.0 3))
  (* (- (* m (/ (- 1.0 m) v)) 1.0) (neg (pow m 3)))
  (* (- (* m (/ (- 1.0 m) v)) 1.0) (pow 1.0 3))
  (* (- (* m (/ (- 1.0 m) v)) 1.0) (neg (pow m 3)))
  (* (- (* m (/ (- 1.0 m) v)) 1.0) (pow 1.0 3))
  (* (- (* m (/ (- 1.0 m) v)) 1.0) (neg (pow m 3)))
  (* (- (* m (/ (- 1.0 m) v)) 1.0) (* (cbrt (- (pow 1.0 3) (pow m 3))) (cbrt (- (pow 1.0 3) (pow m 3)))))
  (* (- (* m (/ (- 1.0 m) v)) 1.0) (sqrt (- (pow 1.0 3) (pow m 3))))
  (* (- (* m (/ (- 1.0 m) v)) 1.0) (+ (* 1.0 1.0) (* m (+ 1.0 m))))
  (- (* m (/ (- 1.0 m) v)) 1.0)
  (* (- (* m (/ (- 1.0 m) v)) 1.0) (+ (* 1.0 (sqrt 1.0)) (pow m 3/2)))
  (* (- (* m (/ (- 1.0 m) v)) 1.0) (+ (* 1.0 (sqrt 1.0)) (pow m 3/2)))
  (* (- (* m (/ (- 1.0 m) v)) 1.0) (+ (* 1.0 (sqrt 1.0)) (sqrt (pow m 3))))
  (* (- (* m (/ (- 1.0 m) v)) 1.0) (+ (* 1.0 (sqrt 1.0)) (pow m 3/2)))
  (* (- (* m (/ (- 1.0 m) v)) 1.0) (+ (* 1.0 (sqrt 1.0)) (pow m 3/2)))
  (* (- (* m (/ (- 1.0 m) v)) 1.0) (+ (* 1.0 (sqrt 1.0)) (pow m 3/2)))
  (* (- (* m (/ (- 1.0 m) v)) 1.0) (+ (* 1.0 (sqrt 1.0)) (sqrt (pow m 3))))
  (* (- (* m (/ (- 1.0 m) v)) 1.0) (+ (* 1.0 (sqrt 1.0)) (pow m 3/2)))
  (* (- (* m (/ (- 1.0 m) v)) 1.0) (+ (pow m 3/2) (sqrt (pow 1.0 3))))
  (* (- (* m (/ (- 1.0 m) v)) 1.0) (+ (pow m 3/2) (sqrt (pow 1.0 3))))
  (* (- (* m (/ (- 1.0 m) v)) 1.0) (+ (sqrt (pow m 3)) (sqrt (pow 1.0 3))))
  (* (- (* m (/ (- 1.0 m) v)) 1.0) (+ (pow m 3/2) (sqrt (pow 1.0 3))))
  (* (- (* m (/ (- 1.0 m) v)) 1.0) (+ (pow m 3/2) (pow 1.0 3/2)))
  (* (- (* m (/ (- 1.0 m) v)) 1.0) (+ (pow m 3/2) (pow 1.0 3/2)))
  (* (- (* m (/ (- 1.0 m) v)) 1.0) (+ (sqrt (pow m 3)) (pow 1.0 3/2)))
  (* (- (* m (/ (- 1.0 m) v)) 1.0) (+ (pow m 3/2) (pow 1.0 3/2)))
  (- (* 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)
  (- (* m (/ (- 1.0 m) v)) 1.0)
  (* (- (pow 1.0 3) (pow m 3)) (cbrt (- (* m (/ (- 1.0 m) v)) 1.0)))
  (* (- (pow 1.0 3) (pow m 3)) (sqrt (- (* m (/ (- 1.0 m) v)) 1.0)))
  (* (- (* m (/ (- 1.0 m) v)) 1.0) (- (pow 1.0 3) (pow m 3)))
  (* (- (* m (/ (- 1.0 m) v)) 1.0) (- (pow (pow 1.0 3) 3) (pow (pow m 3) 3)))
  (* (- (* m (/ (- 1.0 m) v)) 1.0) (- (pow 1.0 6) (pow m 6)))
  (* (- (pow 1.0 3) (pow m 3)) (- (pow (* m (/ (- 1.0 m) v)) 3) (pow 1.0 3)))
  (* (- (pow 1.0 3) (pow m 3)) (- (* m (* m (* (/ (- 1.0 m) v) (/ (- 1.0 m) v)))) (* 1.0 1.0)))
  (pow (exp m) (+ 1.0 m))
  (log (* m (+ 1.0 m)))
  (pow (exp m) (+ 1.0 m))
  (* (cbrt (* m (+ 1.0 m))) (cbrt (* m (+ 1.0 m))))
  (cbrt (* m (+ 1.0 m)))
  (pow (* m (+ 1.0 m)) 3)
  (sqrt (* m (+ 1.0 m)))
  (sqrt (* m (+ 1.0 m)))
  (+ (pow m 6) (pow (* 1.0 m) 3))
  (+ (pow m 4) (* 1.0 (* m (* m (- 1.0 m)))))
  (- (pow m 4) (* 1.0 (* 1.0 (* m m))))
  (* m (- m 1.0))
  (+ 1.0 m)
  (- (* 1.0 (/ m v)) (+ 1.0 (* 2.0 (/ m (/ v m)))))
  (+ (* 1.0 m) (- (/ (pow m 3) v) (* 2.0 (/ m (/ v m)))))
  (+ (* 1.0 m) (- (/ (pow m 3) v) (* 2.0 (/ m (/ v m)))))
  (* m (/ (- 1.0 m) v))
  (* m (/ (- 1.0 m) v))
  (* m (/ (- 1.0 m) v))
  (- (* 1.0 (/ m v)) (+ 1.0 (* 1.0 (/ m (/ v m)))))
  (+ (/ (pow m 5) v) (* 1.0 (- (pow m 3) (/ (pow m 4) v))))
  (+ (/ (pow m 5) v) (* 1.0 (- (pow m 3) (/ (pow m 4) v))))
  (* m (+ 1.0 m))
  (* m (+ 1.0 m))
  (* m (+ 1.0 m))
1.605 * * * [progress]: adding candidates to table
1.900 * * [progress]: iteration 4 / 4
1.900 * * * [progress]: picking best candidate
1.906 * * * * [pick]: Picked  #<alt (λ (m v) (* (- (* (sqrt (* (/ (- 1.0 m) v) m)) (sqrt (* (/ (- 1.0 m) v) m))) 1.0) (- 1.0 m)))>
1.906 * * * [progress]: localizing error
1.915 * * * [progress]: generating rewritten candidates
1.915 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1.933 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1)
1.942 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
1.950 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
1.961 * * * [progress]: generating series expansions
1.962 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1.962 * [approximate]: Taking taylor expansion of (/ (* (- 1.0 m) m) v) in (m v) around 0
1.962 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 m) m) v) in v
1.962 * [taylor]: Taking taylor expansion of (* (- 1.0 m) m) in v
1.962 * [taylor]: Taking taylor expansion of (- 1.0 m) in v
1.962 * [taylor]: Taking taylor expansion of 1.0 in v
1.962 * [taylor]: Taking taylor expansion of m in v
1.962 * [taylor]: Taking taylor expansion of m in v
1.962 * [taylor]: Taking taylor expansion of v in v
1.962 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 m) m) v) in m
1.962 * [taylor]: Taking taylor expansion of (* (- 1.0 m) m) in m
1.962 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
1.962 * [taylor]: Taking taylor expansion of 1.0 in m
1.962 * [taylor]: Taking taylor expansion of m in m
1.962 * [taylor]: Taking taylor expansion of m in m
1.962 * [taylor]: Taking taylor expansion of v in m
1.962 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 m) m) v) in m
1.962 * [taylor]: Taking taylor expansion of (* (- 1.0 m) m) in m
1.962 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
1.962 * [taylor]: Taking taylor expansion of 1.0 in m
1.962 * [taylor]: Taking taylor expansion of m in m
1.962 * [taylor]: Taking taylor expansion of m in m
1.962 * [taylor]: Taking taylor expansion of v in m
1.962 * [taylor]: Taking taylor expansion of (/ 1.0 v) in v
1.962 * [taylor]: Taking taylor expansion of 1.0 in v
1.962 * [taylor]: Taking taylor expansion of v in v
1.963 * [taylor]: Taking taylor expansion of (neg (/ 1 v)) in v
1.963 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.963 * [taylor]: Taking taylor expansion of v in v
1.963 * [taylor]: Taking taylor expansion of 0 in v
1.963 * [taylor]: Taking taylor expansion of 0 in v
1.964 * [approximate]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in (m v) around 0
1.964 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in v
1.964 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in v
1.964 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in v
1.964 * [taylor]: Taking taylor expansion of 1.0 in v
1.964 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.964 * [taylor]: Taking taylor expansion of m in v
1.964 * [taylor]: Taking taylor expansion of v in v
1.964 * [taylor]: Taking taylor expansion of m in v
1.964 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in m
1.964 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in m
1.964 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
1.964 * [taylor]: Taking taylor expansion of 1.0 in m
1.964 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.964 * [taylor]: Taking taylor expansion of m in m
1.964 * [taylor]: Taking taylor expansion of v in m
1.964 * [taylor]: Taking taylor expansion of m in m
1.964 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in m
1.964 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in m
1.964 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
1.964 * [taylor]: Taking taylor expansion of 1.0 in m
1.964 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.964 * [taylor]: Taking taylor expansion of m in m
1.964 * [taylor]: Taking taylor expansion of v in m
1.964 * [taylor]: Taking taylor expansion of m in m
1.964 * [taylor]: Taking taylor expansion of (* -1 v) in v
1.965 * [taylor]: Taking taylor expansion of -1 in v
1.965 * [taylor]: Taking taylor expansion of v in v
1.965 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
1.965 * [taylor]: Taking taylor expansion of 1.0 in v
1.965 * [taylor]: Taking taylor expansion of v in v
1.965 * [taylor]: Taking taylor expansion of 0 in v
1.965 * [taylor]: Taking taylor expansion of 0 in v
1.966 * [approximate]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in (m v) around 0
1.966 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in v
1.966 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1.0)) in v
1.966 * [taylor]: Taking taylor expansion of v in v
1.966 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in v
1.966 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.966 * [taylor]: Taking taylor expansion of m in v
1.966 * [taylor]: Taking taylor expansion of 1.0 in v
1.966 * [taylor]: Taking taylor expansion of m in v
1.966 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in m
1.966 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1.0)) in m
1.966 * [taylor]: Taking taylor expansion of v in m
1.966 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
1.966 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.966 * [taylor]: Taking taylor expansion of m in m
1.966 * [taylor]: Taking taylor expansion of 1.0 in m
1.966 * [taylor]: Taking taylor expansion of m in m
1.966 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in m
1.966 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1.0)) in m
1.966 * [taylor]: Taking taylor expansion of v in m
1.966 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
1.966 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.966 * [taylor]: Taking taylor expansion of m in m
1.966 * [taylor]: Taking taylor expansion of 1.0 in m
1.966 * [taylor]: Taking taylor expansion of m in m
1.966 * [taylor]: Taking taylor expansion of v in v
1.967 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
1.967 * [taylor]: Taking taylor expansion of 1.0 in v
1.967 * [taylor]: Taking taylor expansion of v in v
1.967 * [taylor]: Taking taylor expansion of 0 in v
1.967 * [taylor]: Taking taylor expansion of 0 in v
1.967 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1)
1.967 * [approximate]: Taking taylor expansion of (/ (* (- 1.0 m) m) v) in (m v) around 0
1.967 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 m) m) v) in v
1.967 * [taylor]: Taking taylor expansion of (* (- 1.0 m) m) in v
1.967 * [taylor]: Taking taylor expansion of (- 1.0 m) in v
1.967 * [taylor]: Taking taylor expansion of 1.0 in v
1.967 * [taylor]: Taking taylor expansion of m in v
1.967 * [taylor]: Taking taylor expansion of m in v
1.968 * [taylor]: Taking taylor expansion of v in v
1.968 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 m) m) v) in m
1.968 * [taylor]: Taking taylor expansion of (* (- 1.0 m) m) in m
1.968 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
1.968 * [taylor]: Taking taylor expansion of 1.0 in m
1.968 * [taylor]: Taking taylor expansion of m in m
1.968 * [taylor]: Taking taylor expansion of m in m
1.968 * [taylor]: Taking taylor expansion of v in m
1.968 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 m) m) v) in m
1.968 * [taylor]: Taking taylor expansion of (* (- 1.0 m) m) in m
1.968 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
1.968 * [taylor]: Taking taylor expansion of 1.0 in m
1.968 * [taylor]: Taking taylor expansion of m in m
1.968 * [taylor]: Taking taylor expansion of m in m
1.968 * [taylor]: Taking taylor expansion of v in m
1.968 * [taylor]: Taking taylor expansion of (/ 1.0 v) in v
1.968 * [taylor]: Taking taylor expansion of 1.0 in v
1.968 * [taylor]: Taking taylor expansion of v in v
1.968 * [taylor]: Taking taylor expansion of (neg (/ 1 v)) in v
1.968 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.968 * [taylor]: Taking taylor expansion of v in v
1.968 * [taylor]: Taking taylor expansion of 0 in v
1.969 * [taylor]: Taking taylor expansion of 0 in v
1.969 * [approximate]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in (m v) around 0
1.969 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in v
1.969 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in v
1.969 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in v
1.969 * [taylor]: Taking taylor expansion of 1.0 in v
1.969 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.969 * [taylor]: Taking taylor expansion of m in v
1.969 * [taylor]: Taking taylor expansion of v in v
1.969 * [taylor]: Taking taylor expansion of m in v
1.969 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in m
1.969 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in m
1.969 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
1.970 * [taylor]: Taking taylor expansion of 1.0 in m
1.970 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.970 * [taylor]: Taking taylor expansion of m in m
1.970 * [taylor]: Taking taylor expansion of v in m
1.970 * [taylor]: Taking taylor expansion of m in m
1.970 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in m
1.970 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in m
1.970 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
1.970 * [taylor]: Taking taylor expansion of 1.0 in m
1.970 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.970 * [taylor]: Taking taylor expansion of m in m
1.970 * [taylor]: Taking taylor expansion of v in m
1.970 * [taylor]: Taking taylor expansion of m in m
1.970 * [taylor]: Taking taylor expansion of (* -1 v) in v
1.970 * [taylor]: Taking taylor expansion of -1 in v
1.970 * [taylor]: Taking taylor expansion of v in v
1.970 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
1.970 * [taylor]: Taking taylor expansion of 1.0 in v
1.970 * [taylor]: Taking taylor expansion of v in v
1.970 * [taylor]: Taking taylor expansion of 0 in v
1.971 * [taylor]: Taking taylor expansion of 0 in v
1.971 * [approximate]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in (m v) around 0
1.971 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in v
1.971 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1.0)) in v
1.971 * [taylor]: Taking taylor expansion of v in v
1.971 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in v
1.971 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.971 * [taylor]: Taking taylor expansion of m in v
1.971 * [taylor]: Taking taylor expansion of 1.0 in v
1.971 * [taylor]: Taking taylor expansion of m in v
1.971 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in m
1.971 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1.0)) in m
1.971 * [taylor]: Taking taylor expansion of v in m
1.971 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
1.971 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.971 * [taylor]: Taking taylor expansion of m in m
1.971 * [taylor]: Taking taylor expansion of 1.0 in m
1.972 * [taylor]: Taking taylor expansion of m in m
1.972 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in m
1.972 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1.0)) in m
1.972 * [taylor]: Taking taylor expansion of v in m
1.972 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
1.972 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.972 * [taylor]: Taking taylor expansion of m in m
1.972 * [taylor]: Taking taylor expansion of 1.0 in m
1.972 * [taylor]: Taking taylor expansion of m in m
1.972 * [taylor]: Taking taylor expansion of v in v
1.972 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
1.972 * [taylor]: Taking taylor expansion of 1.0 in v
1.972 * [taylor]: Taking taylor expansion of v in v
1.972 * [taylor]: Taking taylor expansion of 0 in v
1.972 * [taylor]: Taking taylor expansion of 0 in v
1.973 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
1.973 * [approximate]: Taking taylor expansion of (/ (* (- 1.0 m) m) v) in (m v) around 0
1.973 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 m) m) v) in v
1.973 * [taylor]: Taking taylor expansion of (* (- 1.0 m) m) in v
1.973 * [taylor]: Taking taylor expansion of (- 1.0 m) in v
1.973 * [taylor]: Taking taylor expansion of 1.0 in v
1.973 * [taylor]: Taking taylor expansion of m in v
1.973 * [taylor]: Taking taylor expansion of m in v
1.973 * [taylor]: Taking taylor expansion of v in v
1.973 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 m) m) v) in m
1.973 * [taylor]: Taking taylor expansion of (* (- 1.0 m) m) in m
1.973 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
1.973 * [taylor]: Taking taylor expansion of 1.0 in m
1.973 * [taylor]: Taking taylor expansion of m in m
1.973 * [taylor]: Taking taylor expansion of m in m
1.973 * [taylor]: Taking taylor expansion of v in m
1.973 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 m) m) v) in m
1.973 * [taylor]: Taking taylor expansion of (* (- 1.0 m) m) in m
1.973 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
1.973 * [taylor]: Taking taylor expansion of 1.0 in m
1.973 * [taylor]: Taking taylor expansion of m in m
1.973 * [taylor]: Taking taylor expansion of m in m
1.973 * [taylor]: Taking taylor expansion of v in m
1.973 * [taylor]: Taking taylor expansion of (/ 1.0 v) in v
1.973 * [taylor]: Taking taylor expansion of 1.0 in v
1.973 * [taylor]: Taking taylor expansion of v in v
1.974 * [taylor]: Taking taylor expansion of (neg (/ 1 v)) in v
1.974 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.974 * [taylor]: Taking taylor expansion of v in v
1.974 * [taylor]: Taking taylor expansion of 0 in v
1.974 * [taylor]: Taking taylor expansion of 0 in v
1.974 * [approximate]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in (m v) around 0
1.974 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in v
1.974 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in v
1.974 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in v
1.975 * [taylor]: Taking taylor expansion of 1.0 in v
1.975 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.975 * [taylor]: Taking taylor expansion of m in v
1.975 * [taylor]: Taking taylor expansion of v in v
1.975 * [taylor]: Taking taylor expansion of m in v
1.975 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in m
1.975 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in m
1.975 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
1.975 * [taylor]: Taking taylor expansion of 1.0 in m
1.975 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.975 * [taylor]: Taking taylor expansion of m in m
1.975 * [taylor]: Taking taylor expansion of v in m
1.975 * [taylor]: Taking taylor expansion of m in m
1.975 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in m
1.975 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in m
1.975 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
1.975 * [taylor]: Taking taylor expansion of 1.0 in m
1.975 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.975 * [taylor]: Taking taylor expansion of m in m
1.975 * [taylor]: Taking taylor expansion of v in m
1.975 * [taylor]: Taking taylor expansion of m in m
1.975 * [taylor]: Taking taylor expansion of (* -1 v) in v
1.975 * [taylor]: Taking taylor expansion of -1 in v
1.975 * [taylor]: Taking taylor expansion of v in v
1.975 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
1.975 * [taylor]: Taking taylor expansion of 1.0 in v
1.976 * [taylor]: Taking taylor expansion of v in v
1.976 * [taylor]: Taking taylor expansion of 0 in v
1.976 * [taylor]: Taking taylor expansion of 0 in v
1.976 * [approximate]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in (m v) around 0
1.976 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in v
1.976 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1.0)) in v
1.976 * [taylor]: Taking taylor expansion of v in v
1.976 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in v
1.976 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.976 * [taylor]: Taking taylor expansion of m in v
1.976 * [taylor]: Taking taylor expansion of 1.0 in v
1.976 * [taylor]: Taking taylor expansion of m in v
1.977 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in m
1.977 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1.0)) in m
1.977 * [taylor]: Taking taylor expansion of v in m
1.977 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
1.977 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.977 * [taylor]: Taking taylor expansion of m in m
1.977 * [taylor]: Taking taylor expansion of 1.0 in m
1.977 * [taylor]: Taking taylor expansion of m in m
1.977 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in m
1.977 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1.0)) in m
1.977 * [taylor]: Taking taylor expansion of v in m
1.977 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
1.977 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.977 * [taylor]: Taking taylor expansion of m in m
1.977 * [taylor]: Taking taylor expansion of 1.0 in m
1.977 * [taylor]: Taking taylor expansion of m in m
1.977 * [taylor]: Taking taylor expansion of v in v
1.977 * [taylor]: Taking taylor expansion of (* 1.0 v) in v
1.977 * [taylor]: Taking taylor expansion of 1.0 in v
1.977 * [taylor]: Taking taylor expansion of v in v
1.977 * [taylor]: Taking taylor expansion of 0 in v
1.978 * [taylor]: Taking taylor expansion of 0 in v
1.978 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
1.978 * [approximate]: Taking taylor expansion of (sqrt (/ (* (- 1.0 m) m) v)) in (m v) around 0
1.978 * [taylor]: Taking taylor expansion of (sqrt (/ (* (- 1.0 m) m) v)) in v
1.978 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 m) m) v) in v
1.978 * [taylor]: Taking taylor expansion of (* (- 1.0 m) m) in v
1.978 * [taylor]: Taking taylor expansion of (- 1.0 m) in v
1.978 * [taylor]: Taking taylor expansion of 1.0 in v
1.978 * [taylor]: Taking taylor expansion of m in v
1.978 * [taylor]: Taking taylor expansion of m in v
1.978 * [taylor]: Taking taylor expansion of v in v
1.978 * [taylor]: Taking taylor expansion of (sqrt (/ (* (- 1.0 m) m) v)) in m
1.978 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 m) m) v) in m
1.978 * [taylor]: Taking taylor expansion of (* (- 1.0 m) m) in m
1.978 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
1.978 * [taylor]: Taking taylor expansion of 1.0 in m
1.978 * [taylor]: Taking taylor expansion of m in m
1.978 * [taylor]: Taking taylor expansion of m in m
1.978 * [taylor]: Taking taylor expansion of v in m
1.979 * [taylor]: Taking taylor expansion of (sqrt (/ (* (- 1.0 m) m) v)) in m
1.979 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 m) m) v) in m
1.979 * [taylor]: Taking taylor expansion of (* (- 1.0 m) m) in m
1.979 * [taylor]: Taking taylor expansion of (- 1.0 m) in m
1.979 * [taylor]: Taking taylor expansion of 1.0 in m
1.979 * [taylor]: Taking taylor expansion of m in m
1.979 * [taylor]: Taking taylor expansion of m in m
1.979 * [taylor]: Taking taylor expansion of v in m
1.979 * [taylor]: Taking taylor expansion of 0 in v
1.979 * [taylor]: Taking taylor expansion of (/ NAN v) in v
1.979 * [taylor]: Taking taylor expansion of NAN in v
1.979 * [taylor]: Taking taylor expansion of v in v
1.979 * [taylor]: Taking taylor expansion of (* NAN (+ (/ 1 v) (/ (pow NAN 2) (pow v 2)))) in v
1.979 * [taylor]: Taking taylor expansion of NAN in v
1.979 * [taylor]: Taking taylor expansion of (+ (/ 1 v) (/ (pow NAN 2) (pow v 2))) in v
1.979 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.979 * [taylor]: Taking taylor expansion of v in v
1.979 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow v 2)) in v
1.979 * [taylor]: Taking taylor expansion of (pow NAN 2) in v
1.979 * [taylor]: Taking taylor expansion of NAN in v
1.979 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.979 * [taylor]: Taking taylor expansion of v in v
1.980 * [taylor]: Taking taylor expansion of (* NAN (+ (* 2 (/ (pow NAN 2) (pow v 2))) (* 2 (/ (pow NAN 4) (pow v 3))))) in v
1.980 * [taylor]: Taking taylor expansion of NAN in v
1.980 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) (pow v 2))) (* 2 (/ (pow NAN 4) (pow v 3)))) in v
1.980 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) (pow v 2))) in v
1.980 * [taylor]: Taking taylor expansion of 2 in v
1.980 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow v 2)) in v
1.980 * [taylor]: Taking taylor expansion of (pow NAN 2) in v
1.980 * [taylor]: Taking taylor expansion of NAN in v
1.980 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.980 * [taylor]: Taking taylor expansion of v in v
1.981 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 4) (pow v 3))) in v
1.981 * [taylor]: Taking taylor expansion of 2 in v
1.981 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (pow v 3)) in v
1.981 * [taylor]: Taking taylor expansion of (pow NAN 4) in v
1.981 * [taylor]: Taking taylor expansion of NAN in v
1.981 * [taylor]: Taking taylor expansion of (pow v 3) in v
1.981 * [taylor]: Taking taylor expansion of v in v
1.982 * [approximate]: Taking taylor expansion of (sqrt (/ (* (- 1.0 (/ 1 m)) v) m)) in (m v) around 0
1.982 * [taylor]: Taking taylor expansion of (sqrt (/ (* (- 1.0 (/ 1 m)) v) m)) in v
1.982 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in v
1.982 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in v
1.982 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in v
1.982 * [taylor]: Taking taylor expansion of 1.0 in v
1.982 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.983 * [taylor]: Taking taylor expansion of m in v
1.983 * [taylor]: Taking taylor expansion of v in v
1.983 * [taylor]: Taking taylor expansion of m in v
1.983 * [taylor]: Taking taylor expansion of (sqrt (/ (* (- 1.0 (/ 1 m)) v) m)) in m
1.983 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in m
1.983 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in m
1.983 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
1.983 * [taylor]: Taking taylor expansion of 1.0 in m
1.983 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.983 * [taylor]: Taking taylor expansion of m in m
1.983 * [taylor]: Taking taylor expansion of v in m
1.983 * [taylor]: Taking taylor expansion of m in m
1.983 * [taylor]: Taking taylor expansion of (sqrt (/ (* (- 1.0 (/ 1 m)) v) m)) in m
1.983 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 m)) v) m) in m
1.983 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 m)) v) in m
1.983 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 m)) in m
1.983 * [taylor]: Taking taylor expansion of 1.0 in m
1.983 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.983 * [taylor]: Taking taylor expansion of m in m
1.983 * [taylor]: Taking taylor expansion of v in m
1.983 * [taylor]: Taking taylor expansion of m in m
1.984 * [taylor]: Taking taylor expansion of (sqrt (* -1 v)) in v
1.984 * [taylor]: Taking taylor expansion of (* -1 v) in v
1.984 * [taylor]: Taking taylor expansion of -1 in v
1.984 * [taylor]: Taking taylor expansion of v in v
1.984 * [taylor]: Taking taylor expansion of (* 0.5 (/ v (sqrt (* -1 v)))) in v
1.984 * [taylor]: Taking taylor expansion of 0.5 in v
1.984 * [taylor]: Taking taylor expansion of (/ v (sqrt (* -1 v))) in v
1.984 * [taylor]: Taking taylor expansion of v in v
1.984 * [taylor]: Taking taylor expansion of (sqrt (* -1 v)) in v
1.984 * [taylor]: Taking taylor expansion of (* -1 v) in v
1.984 * [taylor]: Taking taylor expansion of -1 in v
1.984 * [taylor]: Taking taylor expansion of v in v
1.984 * [taylor]: Taking taylor expansion of (* -0.125 (/ (pow v 2) (pow (sqrt (* -1 v)) 3))) in v
1.984 * [taylor]: Taking taylor expansion of -0.125 in v
1.984 * [taylor]: Taking taylor expansion of (/ (pow v 2) (pow (sqrt (* -1 v)) 3)) in v
1.984 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.984 * [taylor]: Taking taylor expansion of v in v
1.984 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 v)) 3) in v
1.984 * [taylor]: Taking taylor expansion of (sqrt (* -1 v)) in v
1.984 * [taylor]: Taking taylor expansion of (* -1 v) in v
1.984 * [taylor]: Taking taylor expansion of -1 in v
1.985 * [taylor]: Taking taylor expansion of v in v
1.986 * [approximate]: Taking taylor expansion of (sqrt (/ (* v (+ (/ 1 m) 1.0)) m)) in (m v) around 0
1.986 * [taylor]: Taking taylor expansion of (sqrt (/ (* v (+ (/ 1 m) 1.0)) m)) in v
1.986 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in v
1.986 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1.0)) in v
1.986 * [taylor]: Taking taylor expansion of v in v
1.986 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in v
1.986 * [taylor]: Taking taylor expansion of (/ 1 m) in v
1.986 * [taylor]: Taking taylor expansion of m in v
1.986 * [taylor]: Taking taylor expansion of 1.0 in v
1.986 * [taylor]: Taking taylor expansion of m in v
1.986 * [taylor]: Taking taylor expansion of (sqrt (/ (* v (+ (/ 1 m) 1.0)) m)) in m
1.986 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in m
1.986 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1.0)) in m
1.986 * [taylor]: Taking taylor expansion of v in m
1.986 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
1.986 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.986 * [taylor]: Taking taylor expansion of m in m
1.986 * [taylor]: Taking taylor expansion of 1.0 in m
1.986 * [taylor]: Taking taylor expansion of m in m
1.986 * [taylor]: Taking taylor expansion of (sqrt (/ (* v (+ (/ 1 m) 1.0)) m)) in m
1.986 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1.0)) m) in m
1.986 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1.0)) in m
1.986 * [taylor]: Taking taylor expansion of v in m
1.987 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1.0) in m
1.987 * [taylor]: Taking taylor expansion of (/ 1 m) in m
1.987 * [taylor]: Taking taylor expansion of m in m
1.987 * [taylor]: Taking taylor expansion of 1.0 in m
1.987 * [taylor]: Taking taylor expansion of m in m
1.987 * [taylor]: Taking taylor expansion of (sqrt v) in v
1.987 * [taylor]: Taking taylor expansion of v in v
1.987 * [taylor]: Taking taylor expansion of (* 0.5 (sqrt v)) in v
1.987 * [taylor]: Taking taylor expansion of 0.5 in v
1.987 * [taylor]: Taking taylor expansion of (sqrt v) in v
1.987 * [taylor]: Taking taylor expansion of v in v
1.987 * [taylor]: Taking taylor expansion of (* -0.125 (sqrt v)) in v
1.987 * [taylor]: Taking taylor expansion of -0.125 in v
1.987 * [taylor]: Taking taylor expansion of (sqrt v) in v
1.987 * [taylor]: Taking taylor expansion of v in v
1.988 * * * [progress]: simplifying candidates
1.990 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) (/ 1 2))
  (* (* (/ (- 1.0 m) v) m) (* (/ (- 1.0 m) v) m))
  (* (sqrt (* (/ (- 1.0 m) v) m)) (sqrt (* (/ (- 1.0 m) v) m)))
  (* (* (/ (- 1.0 m) v) m) (* (/ (- 1.0 m) v) m))
  (* (* (/ (- 1.0 m) v) m) (* (/ (- 1.0 m) v) m))
  (* (* (/ (- 1.0 m) v) m) (* (/ (- 1.0 m) v) m))
  (* (* (/ (- 1.0 m) v) m) (* (/ (- 1.0 m) v) m))
  (+ 1 1)
  (+ (log (sqrt (* (/ (- 1.0 m) v) m))) (log (sqrt (* (/ (- 1.0 m) v) m))))
  (log (* (sqrt (* (/ (- 1.0 m) v) m)) (sqrt (* (/ (- 1.0 m) v) m))))
  (exp (* (sqrt (* (/ (- 1.0 m) v) m)) (sqrt (* (/ (- 1.0 m) v) m))))
  (* (* (* (sqrt (* (/ (- 1.0 m) v) m)) (sqrt (* (/ (- 1.0 m) v) m))) (sqrt (* (/ (- 1.0 m) v) m))) (* (* (sqrt (* (/ (- 1.0 m) v) m)) (sqrt (* (/ (- 1.0 m) v) m))) (sqrt (* (/ (- 1.0 m) v) m))))
  (* (cbrt (* (sqrt (* (/ (- 1.0 m) v) m)) (sqrt (* (/ (- 1.0 m) v) m)))) (cbrt (* (sqrt (* (/ (- 1.0 m) v) m)) (sqrt (* (/ (- 1.0 m) v) m)))))
  (cbrt (* (sqrt (* (/ (- 1.0 m) v) m)) (sqrt (* (/ (- 1.0 m) v) m))))
  (* (* (* (sqrt (* (/ (- 1.0 m) v) m)) (sqrt (* (/ (- 1.0 m) v) m))) (* (sqrt (* (/ (- 1.0 m) v) m)) (sqrt (* (/ (- 1.0 m) v) m)))) (* (sqrt (* (/ (- 1.0 m) v) m)) (sqrt (* (/ (- 1.0 m) v) m))))
  (* (* (/ (- 1.0 m) v) m) (* (/ (- 1.0 m) v) m))
  (sqrt (* (sqrt (* (/ (- 1.0 m) v) m)) (sqrt (* (/ (- 1.0 m) v) m))))
  (sqrt (* (sqrt (* (/ (- 1.0 m) v) m)) (sqrt (* (/ (- 1.0 m) v) m))))
  (* (sqrt (* (- 1.0 m) m)) (sqrt (* (- 1.0 m) m)))
  (* (sqrt v) (sqrt v))
  (* (* (cbrt (sqrt (* (/ (- 1.0 m) v) m))) (cbrt (sqrt (* (/ (- 1.0 m) v) m)))) (* (cbrt (sqrt (* (/ (- 1.0 m) v) m))) (cbrt (sqrt (* (/ (- 1.0 m) v) m)))))
  (* (cbrt (sqrt (* (/ (- 1.0 m) v) m))) (cbrt (sqrt (* (/ (- 1.0 m) v) m))))
  (* (sqrt (/ (- 1.0 m) v)) (sqrt (/ (- 1.0 m) v)))
  (* (sqrt m) (sqrt m))
  (* (sqrt (sqrt (* (/ (- 1.0 m) v) m))) (sqrt (sqrt (* (/ (- 1.0 m) v) m))))
  (* (sqrt (sqrt (* (/ (- 1.0 m) v) m))) (sqrt (sqrt (* (/ (- 1.0 m) v) m))))
  (* 1 1)
  (* (sqrt (* (/ (- 1.0 m) v) m)) (sqrt (* (/ (- 1.0 m) v) m)))
  (* (sqrt (sqrt (* (/ (- 1.0 m) v) m))) (sqrt (sqrt (* (/ (- 1.0 m) v) m))))
  (* (sqrt (sqrt (* (/ (- 1.0 m) v) m))) (sqrt (sqrt (* (/ (- 1.0 m) v) m))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* (sqrt (* (/ (- 1.0 m) v) m)) (* (cbrt (sqrt (* (/ (- 1.0 m) v) m))) (cbrt (sqrt (* (/ (- 1.0 m) v) m)))))
  (* (sqrt (* (/ (- 1.0 m) v) m)) (sqrt (/ (- 1.0 m) v)))
  (* (sqrt (* (/ (- 1.0 m) v) m)) (sqrt (sqrt (* (/ (- 1.0 m) v) m))))
  (* (sqrt (* (/ (- 1.0 m) v) m)) 1)
  (* (cbrt (sqrt (* (/ (- 1.0 m) v) m))) (sqrt (* (/ (- 1.0 m) v) m)))
  (* (sqrt m) (sqrt (* (/ (- 1.0 m) v) m)))
  (* (sqrt (sqrt (* (/ (- 1.0 m) v) m))) (sqrt (* (/ (- 1.0 m) v) m)))
  (* (sqrt (* (/ (- 1.0 m) v) m)) (sqrt (* (/ (- 1.0 m) v) m)))
  (* (sqrt (* (/ (- 1.0 m) v) m)) (sqrt (* (- 1.0 m) m)))
  (* (sqrt (* (- 1.0 m) m)) (sqrt (* (/ (- 1.0 m) v) m)))
  (* (/ (- 1.0 m) v) m)
  (+ (- (log (- 1.0 m)) (log v)) (log m))
  (+ (log (/ (- 1.0 m) v)) (log m))
  (log (* (/ (- 1.0 m) v) m))
  (exp (* (/ (- 1.0 m) v) m))
  (* (/ (* (* (- 1.0 m) (- 1.0 m)) (- 1.0 m)) (* (* v v) v)) (* (* m m) m))
  (* (* (* (/ (- 1.0 m) v) (/ (- 1.0 m) v)) (/ (- 1.0 m) v)) (* (* m m) m))
  (* (cbrt (* (/ (- 1.0 m) v) m)) (cbrt (* (/ (- 1.0 m) v) m)))
  (cbrt (* (/ (- 1.0 m) v) m))
  (* (* (* (/ (- 1.0 m) v) m) (* (/ (- 1.0 m) v) m)) (* (/ (- 1.0 m) v) m))
  (sqrt (* (/ (- 1.0 m) v) m))
  (sqrt (* (/ (- 1.0 m) v) m))
  (* (sqrt (/ (- 1.0 m) v)) (sqrt m))
  (* (sqrt (/ (- 1.0 m) v)) (sqrt m))
  (* (/ (sqrt (- 1.0 m)) (sqrt v)) (sqrt m))
  (* (/ (sqrt (- 1.0 m)) (sqrt v)) (sqrt m))
  (* (/ (- 1.0 m) v) (* (cbrt m) (cbrt m)))
  (* (/ (- 1.0 m) v) (sqrt m))
  (* (/ (- 1.0 m) v) 1)
  (* (cbrt (/ (- 1.0 m) v)) m)
  (* (sqrt (/ (- 1.0 m) v)) m)
  (* (/ (cbrt (- 1.0 m)) (cbrt v)) m)
  (* (/ (cbrt (- 1.0 m)) (sqrt v)) m)
  (* (/ (cbrt (- 1.0 m)) v) m)
  (* (/ (sqrt (- 1.0 m)) (cbrt v)) m)
  (* (/ (sqrt (- 1.0 m)) (sqrt v)) m)
  (* (/ (sqrt (- 1.0 m)) v) m)
  (* (/ (- 1.0 m) (cbrt v)) m)
  (* (/ (- 1.0 m) (sqrt v)) m)
  (* (/ (- 1.0 m) v) m)
  (* (/ (- (sqrt 1.0) (sqrt m)) (cbrt v)) m)
  (* (/ (- (sqrt 1.0) (sqrt m)) (sqrt v)) m)
  (* (/ (- (sqrt 1.0) (sqrt m)) v) m)
  (* (/ (- 1.0 m) (cbrt v)) m)
  (* (/ (- 1.0 m) (sqrt v)) m)
  (* (/ (- 1.0 m) v) m)
  (* (/ (- 1.0 m) v) m)
  (* (/ 1 v) m)
  (* (- 1.0 m) m)
  (* (/ (- 1.0 m) v) m)
  (+ (- (log (- 1.0 m)) (log v)) (log m))
  (+ (log (/ (- 1.0 m) v)) (log m))
  (log (* (/ (- 1.0 m) v) m))
  (exp (* (/ (- 1.0 m) v) m))
  (* (/ (* (* (- 1.0 m) (- 1.0 m)) (- 1.0 m)) (* (* v v) v)) (* (* m m) m))
  (* (* (* (/ (- 1.0 m) v) (/ (- 1.0 m) v)) (/ (- 1.0 m) v)) (* (* m m) m))
  (* (cbrt (* (/ (- 1.0 m) v) m)) (cbrt (* (/ (- 1.0 m) v) m)))
  (cbrt (* (/ (- 1.0 m) v) m))
  (* (* (* (/ (- 1.0 m) v) m) (* (/ (- 1.0 m) v) m)) (* (/ (- 1.0 m) v) m))
  (sqrt (* (/ (- 1.0 m) v) m))
  (sqrt (* (/ (- 1.0 m) v) m))
  (* (sqrt (/ (- 1.0 m) v)) (sqrt m))
  (* (sqrt (/ (- 1.0 m) v)) (sqrt m))
  (* (/ (sqrt (- 1.0 m)) (sqrt v)) (sqrt m))
  (* (/ (sqrt (- 1.0 m)) (sqrt v)) (sqrt m))
  (* (/ (- 1.0 m) v) (* (cbrt m) (cbrt m)))
  (* (/ (- 1.0 m) v) (sqrt m))
  (* (/ (- 1.0 m) v) 1)
  (* (cbrt (/ (- 1.0 m) v)) m)
  (* (sqrt (/ (- 1.0 m) v)) m)
  (* (/ (cbrt (- 1.0 m)) (cbrt v)) m)
  (* (/ (cbrt (- 1.0 m)) (sqrt v)) m)
  (* (/ (cbrt (- 1.0 m)) v) m)
  (* (/ (sqrt (- 1.0 m)) (cbrt v)) m)
  (* (/ (sqrt (- 1.0 m)) (sqrt v)) m)
  (* (/ (sqrt (- 1.0 m)) v) m)
  (* (/ (- 1.0 m) (cbrt v)) m)
  (* (/ (- 1.0 m) (sqrt v)) m)
  (* (/ (- 1.0 m) v) m)
  (* (/ (- (sqrt 1.0) (sqrt m)) (cbrt v)) m)
  (* (/ (- (sqrt 1.0) (sqrt m)) (sqrt v)) m)
  (* (/ (- (sqrt 1.0) (sqrt m)) v) m)
  (* (/ (- 1.0 m) (cbrt v)) m)
  (* (/ (- 1.0 m) (sqrt v)) m)
  (* (/ (- 1.0 m) v) m)
  (* (/ (- 1.0 m) v) m)
  (* (/ 1 v) m)
  (* (- 1.0 m) m)
  (log (sqrt (* (/ (- 1.0 m) v) m)))
  (exp (sqrt (* (/ (- 1.0 m) v) m)))
  (* (cbrt (sqrt (* (/ (- 1.0 m) v) m))) (cbrt (sqrt (* (/ (- 1.0 m) v) m))))
  (cbrt (sqrt (* (/ (- 1.0 m) v) m)))
  (* (* (sqrt (* (/ (- 1.0 m) v) m)) (sqrt (* (/ (- 1.0 m) v) m))) (sqrt (* (/ (- 1.0 m) v) m)))
  (sqrt (/ (- 1.0 m) v))
  (sqrt m)
  (sqrt (* (- 1.0 m) m))
  (sqrt v)
  (/ 1 2)
  (/ 1 2)
  (sqrt (sqrt (* (/ (- 1.0 m) v) m)))
  (sqrt (sqrt (* (/ (- 1.0 m) v) m)))
  (- (* 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)) (/ (pow m 2) v))
  (- (* 1.0 (/ m v)) (/ (pow m 2) v))
  (- (* 1.0 (/ m v)) (/ (pow m 2) v))
  (+ (/ (* m NAN) v) (/ (* (pow m 2) NAN) v))
  (+ (/ (* m NAN) v) (+ (* 0.375 (/ 1 (* m NAN))) (* 0.5 (/ 1 NAN))))
  (- (/ (* m NAN) v) (+ (/ (* m (pow NAN 3)) (pow v 2)) (* 0.5 (/ NAN v))))
2.035 * * [simplify]: iteration  0 :  5007  enodes  (cost  1200 )
2.040 * [simplify]: Simplified to:
   1
  1
  1
  2
  1
  1
  1
  1
  1
  1
  (pow (sqrt (* m (/ (- 1.0 m) v))) 4)
  (* m (/ (- 1.0 m) v))
  (pow (sqrt (* m (/ (- 1.0 m) v))) 4)
  (pow (sqrt (* m (/ (- 1.0 m) v))) 4)
  (pow (sqrt (* m (/ (- 1.0 m) v))) 4)
  (pow (sqrt (* m (/ (- 1.0 m) v))) 4)
  2
  (log (* m (/ (- 1.0 m) v)))
  (log (* m (/ (- 1.0 m) v)))
  (pow (exp (/ (- 1.0 m) v)) m)
  (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)
  (pow (sqrt (* m (/ (- 1.0 m) v))) 4)
  (sqrt (* m (/ (- 1.0 m) v)))
  (sqrt (* m (/ (- 1.0 m) v)))
  (* m (- 1.0 m))
  v
  (pow (cbrt (sqrt (* m (/ (- 1.0 m) v)))) 4)
  (pow (cbrt (sqrt (* m (/ (- 1.0 m) v)))) 2)
  (/ (- 1.0 m) v)
  m
  (sqrt (* m (/ (- 1.0 m) v)))
  (sqrt (* m (/ (- 1.0 m) v)))
  1
  (* m (/ (- 1.0 m) v))
  (sqrt (* m (/ (- 1.0 m) v)))
  (sqrt (* m (/ (- 1.0 m) v)))
  1
  2
  1
  1
  1
  1
  (pow (cbrt (sqrt (* m (/ (- 1.0 m) v)))) 5)
  (* (sqrt (* m (/ (- 1.0 m) v))) (sqrt (/ (- 1.0 m) v)))
  (pow (sqrt (sqrt (* m (/ (- 1.0 m) v)))) 3)
  (sqrt (* m (/ (- 1.0 m) v)))
  (pow (cbrt (sqrt (* m (/ (- 1.0 m) v)))) 4)
  (* (sqrt (* m (/ (- 1.0 m) v))) (sqrt m))
  (pow (sqrt (sqrt (* m (/ (- 1.0 m) v)))) 3)
  (* m (/ (- 1.0 m) v))
  (* (sqrt (* m (/ (- 1.0 m) v))) (sqrt (* m (- 1.0 m))))
  (* (sqrt (* m (/ (- 1.0 m) v))) (sqrt (* m (- 1.0 m))))
  (* m (/ (- 1.0 m) v))
  (log (* m (/ (- 1.0 m) v)))
  (log (* m (/ (- 1.0 m) v)))
  (log (* m (/ (- 1.0 m) v)))
  (pow (exp (/ (- 1.0 m) v)) m)
  (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)))
  (* (sqrt (/ (- 1.0 m) v)) (sqrt m))
  (* (sqrt (/ (- 1.0 m) v)) (sqrt m))
  (* (sqrt m) (/ (sqrt (- 1.0 m)) (sqrt v)))
  (* (sqrt m) (/ (sqrt (- 1.0 m)) (sqrt v)))
  (* (/ (- 1.0 m) v) (* (cbrt m) (cbrt m)))
  (* (/ (- 1.0 m) v) (sqrt m))
  (/ (- 1.0 m) v)
  (* m (cbrt (/ (- 1.0 m) v)))
  (* m (sqrt (/ (- 1.0 m) v)))
  (* m (/ (cbrt (- 1.0 m)) (cbrt v)))
  (* m (/ (cbrt (- 1.0 m)) (sqrt v)))
  (* m (/ (cbrt (- 1.0 m)) v))
  (* m (/ (sqrt (- 1.0 m)) (cbrt v)))
  (* m (/ (sqrt (- 1.0 m)) (sqrt v)))
  (* m (/ (sqrt (- 1.0 m)) v))
  (* m (/ (- 1.0 m) (cbrt v)))
  (* m (/ (- 1.0 m) (sqrt v)))
  (* m (/ (- 1.0 m) v))
  (* m (/ (- (sqrt 1.0) (sqrt m)) (cbrt v)))
  (* m (/ (- (sqrt 1.0) (sqrt m)) (sqrt v)))
  (* m (/ (- (sqrt 1.0) (sqrt m)) v))
  (* m (/ (- 1.0 m) (cbrt v)))
  (* m (/ (- 1.0 m) (sqrt v)))
  (* m (/ (- 1.0 m) v))
  (* m (/ (- 1.0 m) v))
  (/ m v)
  (* m (- 1.0 m))
  (* m (/ (- 1.0 m) v))
  (log (* m (/ (- 1.0 m) v)))
  (log (* m (/ (- 1.0 m) v)))
  (log (* m (/ (- 1.0 m) v)))
  (pow (exp (/ (- 1.0 m) v)) m)
  (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)))
  (* (sqrt (/ (- 1.0 m) v)) (sqrt m))
  (* (sqrt (/ (- 1.0 m) v)) (sqrt m))
  (* (sqrt m) (/ (sqrt (- 1.0 m)) (sqrt v)))
  (* (sqrt m) (/ (sqrt (- 1.0 m)) (sqrt v)))
  (* (/ (- 1.0 m) v) (* (cbrt m) (cbrt m)))
  (* (/ (- 1.0 m) v) (sqrt m))
  (/ (- 1.0 m) v)
  (* m (cbrt (/ (- 1.0 m) v)))
  (* m (sqrt (/ (- 1.0 m) v)))
  (* m (/ (cbrt (- 1.0 m)) (cbrt v)))
  (* m (/ (cbrt (- 1.0 m)) (sqrt v)))
  (* m (/ (cbrt (- 1.0 m)) v))
  (* m (/ (sqrt (- 1.0 m)) (cbrt v)))
  (* m (/ (sqrt (- 1.0 m)) (sqrt v)))
  (* m (/ (sqrt (- 1.0 m)) v))
  (* m (/ (- 1.0 m) (cbrt v)))
  (* m (/ (- 1.0 m) (sqrt v)))
  (* m (/ (- 1.0 m) v))
  (* m (/ (- (sqrt 1.0) (sqrt m)) (cbrt v)))
  (* m (/ (- (sqrt 1.0) (sqrt m)) (sqrt v)))
  (* m (/ (- (sqrt 1.0) (sqrt m)) v))
  (* m (/ (- 1.0 m) (cbrt v)))
  (* m (/ (- 1.0 m) (sqrt v)))
  (* m (/ (- 1.0 m) v))
  (* m (/ (- 1.0 m) v))
  (/ m v)
  (* m (- 1.0 m))
  (log (sqrt (* m (/ (- 1.0 m) v))))
  (exp (sqrt (* m (/ (- 1.0 m) v))))
  (pow (cbrt (sqrt (* m (/ (- 1.0 m) v)))) 2)
  (cbrt (sqrt (* m (/ (- 1.0 m) v))))
  (pow (sqrt (* m (/ (- 1.0 m) v))) 3)
  (sqrt (/ (- 1.0 m) v))
  (sqrt m)
  (sqrt (* m (- 1.0 m)))
  (sqrt v)
  1/2
  1/2
  (sqrt (sqrt (* m (/ (- 1.0 m) v))))
  (sqrt (sqrt (* m (/ (- 1.0 m) v))))
  (* m (/ (- 1.0 m) v))
  (* m (/ (- 1.0 m) v))
  (* m (/ (- 1.0 m) v))
  (* m (/ (- 1.0 m) v))
  (* m (/ (- 1.0 m) v))
  (* m (/ (- 1.0 m) v))
  (* m (/ (- 1.0 m) v))
  (* m (/ (- 1.0 m) v))
  (* m (/ (- 1.0 m) v))
  (* NAN (+ (/ m v) (* (/ m v) m)))
  (+ (* (/ m v) NAN) (+ (/ 0.375 (* m NAN)) (/ 0.5 NAN)))
  (- (* (/ m v) (- NAN (/ (pow NAN 3) v))) (* 0.5 (/ NAN v)))
2.040 * * * [progress]: adding candidates to table
2.238 * [progress]: [Phase 3 of 3] Extracting.
2.238 * * [regime]: Finding splitpoints for: (#<alt (λ (m v) (* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) (- 1.0 m)))> #<alt (λ (m v) (* (sqrt (- (/ (* m (- 1.0 m)) v) 1.0)) (* (- 1.0 m) (sqrt (- (* (/ (- 1.0 m) v) m) 1.0)))))> #<alt (λ (m v) (/ (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3))) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m)))))> #<alt (λ (m v) (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))> #<alt (λ (m v) (* (- (* (sqrt (* (/ (- 1.0 m) v) m)) (sqrt (* (/ (- 1.0 m) v) m))) 1.0) (- 1.0 m)))>)
2.240 * * * [regime-changes]: Trying 3 branch expressions: ((* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)) v m)
2.240 * * * * [regimes]: Trying to branch on (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)) from (#<alt (λ (m v) (* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) (- 1.0 m)))> #<alt (λ (m v) (* (sqrt (- (/ (* m (- 1.0 m)) v) 1.0)) (* (- 1.0 m) (sqrt (- (* (/ (- 1.0 m) v) m) 1.0)))))> #<alt (λ (m v) (/ (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3))) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m)))))> #<alt (λ (m v) (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))> #<alt (λ (m v) (* (- (* (sqrt (* (/ (- 1.0 m) v) m)) (sqrt (* (/ (- 1.0 m) v) m))) 1.0) (- 1.0 m)))>)
2.285 * * * * [regimes]: Trying to branch on v from (#<alt (λ (m v) (* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) (- 1.0 m)))> #<alt (λ (m v) (* (sqrt (- (/ (* m (- 1.0 m)) v) 1.0)) (* (- 1.0 m) (sqrt (- (* (/ (- 1.0 m) v) m) 1.0)))))> #<alt (λ (m v) (/ (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3))) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m)))))> #<alt (λ (m v) (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))> #<alt (λ (m v) (* (- (* (sqrt (* (/ (- 1.0 m) v) m)) (sqrt (* (/ (- 1.0 m) v) m))) 1.0) (- 1.0 m)))>)
2.328 * * * * [regimes]: Trying to branch on m from (#<alt (λ (m v) (* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) (- 1.0 m)))> #<alt (λ (m v) (* (sqrt (- (/ (* m (- 1.0 m)) v) 1.0)) (* (- 1.0 m) (sqrt (- (* (/ (- 1.0 m) v) m) 1.0)))))> #<alt (λ (m v) (/ (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (pow 1.0 3) (pow m 3))) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m)))))> #<alt (λ (m v) (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))> #<alt (λ (m v) (* (- (* (sqrt (* (/ (- 1.0 m) v) m)) (sqrt (* (/ (- 1.0 m) v) m))) 1.0) (- 1.0 m)))>)
2.370 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
2.371 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))
2.371 * * [simplify]: iteration  0 :  10  enodes  (cost  13 )
2.372 * * [simplify]: iteration  1 :  10  enodes  (cost  13 )
2.372 * [simplify]: Simplified to:
   (* (- 1.0 m) (- (/ (* m (- 1.0 m)) v) 1.0))
3.912 * [regime-testing]: End program error score: 0.07385399971289872