1.211 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.108 * * * [progress]: [2/2] Setting up program. 0.126 * [progress]: [Phase 2 of 3] Improving. 0.187 * [simplify]: Simplifying using # : (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m)) 0.977 * * [simplify]: iteration 0 : 4900 enodes (cost 19 ) 0.978 * * [simplify]: iteration 1 : 4900 enodes (cost 19 ) 0.979 * [simplify]: Simplified to: (*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) 0.988 * * [progress]: iteration 1 / 4 0.988 * * * [progress]: picking best candidate 0.994 * * * * [pick]: Picked # 0.994 * * * [progress]: localizing error 1.009 * * * [progress]: generating rewritten candidates 1.009 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 1.034 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 1.041 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1) 1.052 * * * [progress]: generating series expansions 1.052 * * * * [progress]: [ 1 / 3 ] generating series at (2) 1.061 * [approximate]: Taking taylor expansion of (* (- 1 m) (- (/ m v) (+ 1 (/ (pow m 2) v)))) in (m v) around 0 1.062 * [taylor]: Taking taylor expansion of (* (- 1 m) (- (/ m v) (+ 1 (/ (pow m 2) v)))) in v 1.062 * [taylor]: Taking taylor expansion of (- 1 m) in v 1.062 * [taylor]: Taking taylor expansion of 1 in v 1.062 * [taylor]: Taking taylor expansion of m in v 1.063 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in v 1.063 * [taylor]: Taking taylor expansion of (/ m v) in v 1.063 * [taylor]: Taking taylor expansion of m in v 1.063 * [taylor]: Taking taylor expansion of v in v 1.063 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in v 1.063 * [taylor]: Taking taylor expansion of 1 in v 1.063 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v 1.063 * [taylor]: Taking taylor expansion of (pow m 2) in v 1.063 * [taylor]: Taking taylor expansion of m in v 1.063 * [taylor]: Taking taylor expansion of v in v 1.064 * [taylor]: Taking taylor expansion of (* (- 1 m) (- (/ m v) (+ 1 (/ (pow m 2) v)))) in m 1.064 * [taylor]: Taking taylor expansion of (- 1 m) in m 1.064 * [taylor]: Taking taylor expansion of 1 in m 1.064 * [taylor]: Taking taylor expansion of m in m 1.064 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in m 1.064 * [taylor]: Taking taylor expansion of (/ m v) in m 1.064 * [taylor]: Taking taylor expansion of m in m 1.064 * [taylor]: Taking taylor expansion of v in m 1.064 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in m 1.064 * [taylor]: Taking taylor expansion of 1 in m 1.064 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m 1.064 * [taylor]: Taking taylor expansion of (pow m 2) in m 1.064 * [taylor]: Taking taylor expansion of m in m 1.064 * [taylor]: Taking taylor expansion of v in m 1.064 * [taylor]: Taking taylor expansion of (* (- 1 m) (- (/ m v) (+ 1 (/ (pow m 2) v)))) in m 1.064 * [taylor]: Taking taylor expansion of (- 1 m) in m 1.065 * [taylor]: Taking taylor expansion of 1 in m 1.065 * [taylor]: Taking taylor expansion of m in m 1.065 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in m 1.065 * [taylor]: Taking taylor expansion of (/ m v) in m 1.065 * [taylor]: Taking taylor expansion of m in m 1.065 * [taylor]: Taking taylor expansion of v in m 1.065 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in m 1.065 * [taylor]: Taking taylor expansion of 1 in m 1.065 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m 1.065 * [taylor]: Taking taylor expansion of (pow m 2) in m 1.065 * [taylor]: Taking taylor expansion of m in m 1.065 * [taylor]: Taking taylor expansion of v in m 1.066 * [taylor]: Taking taylor expansion of -1 in v 1.067 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1) in v 1.067 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.067 * [taylor]: Taking taylor expansion of v in v 1.067 * [taylor]: Taking taylor expansion of 1 in v 1.069 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 v))) in v 1.069 * [taylor]: Taking taylor expansion of (* 2 (/ 1 v)) in v 1.069 * [taylor]: Taking taylor expansion of 2 in v 1.069 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.069 * [taylor]: Taking taylor expansion of v in v 1.071 * [approximate]: Taking taylor expansion of (* (- (/ v m) (+ (/ v (pow m 2)) 1)) (- 1 (/ 1 m))) in (m v) around 0 1.071 * [taylor]: Taking taylor expansion of (* (- (/ v m) (+ (/ v (pow m 2)) 1)) (- 1 (/ 1 m))) in v 1.071 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in v 1.071 * [taylor]: Taking taylor expansion of (/ v m) in v 1.071 * [taylor]: Taking taylor expansion of v in v 1.071 * [taylor]: Taking taylor expansion of m in v 1.071 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in v 1.072 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v 1.072 * [taylor]: Taking taylor expansion of v in v 1.072 * [taylor]: Taking taylor expansion of (pow m 2) in v 1.072 * [taylor]: Taking taylor expansion of m in v 1.072 * [taylor]: Taking taylor expansion of 1 in v 1.072 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in v 1.072 * [taylor]: Taking taylor expansion of 1 in v 1.072 * [taylor]: Taking taylor expansion of (/ 1 m) in v 1.072 * [taylor]: Taking taylor expansion of m in v 1.072 * [taylor]: Taking taylor expansion of (* (- (/ v m) (+ (/ v (pow m 2)) 1)) (- 1 (/ 1 m))) in m 1.072 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in m 1.072 * [taylor]: Taking taylor expansion of (/ v m) in m 1.072 * [taylor]: Taking taylor expansion of v in m 1.072 * [taylor]: Taking taylor expansion of m in m 1.072 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in m 1.072 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m 1.072 * [taylor]: Taking taylor expansion of v in m 1.072 * [taylor]: Taking taylor expansion of (pow m 2) in m 1.072 * [taylor]: Taking taylor expansion of m in m 1.072 * [taylor]: Taking taylor expansion of 1 in m 1.072 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m 1.072 * [taylor]: Taking taylor expansion of 1 in m 1.072 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.072 * [taylor]: Taking taylor expansion of m in m 1.073 * [taylor]: Taking taylor expansion of (* (- (/ v m) (+ (/ v (pow m 2)) 1)) (- 1 (/ 1 m))) in m 1.073 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in m 1.073 * [taylor]: Taking taylor expansion of (/ v m) in m 1.073 * [taylor]: Taking taylor expansion of v in m 1.073 * [taylor]: Taking taylor expansion of m in m 1.073 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in m 1.073 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m 1.073 * [taylor]: Taking taylor expansion of v in m 1.073 * [taylor]: Taking taylor expansion of (pow m 2) in m 1.073 * [taylor]: Taking taylor expansion of m in m 1.073 * [taylor]: Taking taylor expansion of 1 in m 1.073 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m 1.073 * [taylor]: Taking taylor expansion of 1 in m 1.073 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.073 * [taylor]: Taking taylor expansion of m in m 1.074 * [taylor]: Taking taylor expansion of v in v 1.075 * [taylor]: Taking taylor expansion of (neg (* 2 v)) in v 1.075 * [taylor]: Taking taylor expansion of (* 2 v) in v 1.075 * [taylor]: Taking taylor expansion of 2 in v 1.075 * [taylor]: Taking taylor expansion of v in v 1.077 * [taylor]: Taking taylor expansion of (+ v 1) in v 1.077 * [taylor]: Taking taylor expansion of v in v 1.077 * [taylor]: Taking taylor expansion of 1 in v 1.081 * [approximate]: Taking taylor expansion of (* (- (+ (/ v (pow m 2)) (/ v m)) 1) (+ (/ 1 m) 1)) in (m v) around 0 1.081 * [taylor]: Taking taylor expansion of (* (- (+ (/ v (pow m 2)) (/ v m)) 1) (+ (/ 1 m) 1)) in v 1.081 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in v 1.081 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in v 1.081 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v 1.081 * [taylor]: Taking taylor expansion of v in v 1.081 * [taylor]: Taking taylor expansion of (pow m 2) in v 1.081 * [taylor]: Taking taylor expansion of m in v 1.081 * [taylor]: Taking taylor expansion of (/ v m) in v 1.082 * [taylor]: Taking taylor expansion of v in v 1.082 * [taylor]: Taking taylor expansion of m in v 1.082 * [taylor]: Taking taylor expansion of 1 in v 1.082 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in v 1.082 * [taylor]: Taking taylor expansion of (/ 1 m) in v 1.082 * [taylor]: Taking taylor expansion of m in v 1.082 * [taylor]: Taking taylor expansion of 1 in v 1.082 * [taylor]: Taking taylor expansion of (* (- (+ (/ v (pow m 2)) (/ v m)) 1) (+ (/ 1 m) 1)) in m 1.082 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in m 1.082 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in m 1.082 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m 1.082 * [taylor]: Taking taylor expansion of v in m 1.082 * [taylor]: Taking taylor expansion of (pow m 2) in m 1.082 * [taylor]: Taking taylor expansion of m in m 1.082 * [taylor]: Taking taylor expansion of (/ v m) in m 1.082 * [taylor]: Taking taylor expansion of v in m 1.082 * [taylor]: Taking taylor expansion of m in m 1.082 * [taylor]: Taking taylor expansion of 1 in m 1.082 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m 1.082 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.082 * [taylor]: Taking taylor expansion of m in m 1.082 * [taylor]: Taking taylor expansion of 1 in m 1.082 * [taylor]: Taking taylor expansion of (* (- (+ (/ v (pow m 2)) (/ v m)) 1) (+ (/ 1 m) 1)) in m 1.082 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in m 1.082 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in m 1.082 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m 1.082 * [taylor]: Taking taylor expansion of v in m 1.082 * [taylor]: Taking taylor expansion of (pow m 2) in m 1.082 * [taylor]: Taking taylor expansion of m in m 1.083 * [taylor]: Taking taylor expansion of (/ v m) in m 1.083 * [taylor]: Taking taylor expansion of v in m 1.083 * [taylor]: Taking taylor expansion of m in m 1.083 * [taylor]: Taking taylor expansion of 1 in m 1.083 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m 1.083 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.083 * [taylor]: Taking taylor expansion of m in m 1.083 * [taylor]: Taking taylor expansion of 1 in m 1.083 * [taylor]: Taking taylor expansion of v in v 1.084 * [taylor]: Taking taylor expansion of (* 2 v) in v 1.084 * [taylor]: Taking taylor expansion of 2 in v 1.084 * [taylor]: Taking taylor expansion of v in v 1.088 * [taylor]: Taking taylor expansion of (- v 1) in v 1.088 * [taylor]: Taking taylor expansion of v in v 1.088 * [taylor]: Taking taylor expansion of 1 in v 1.092 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 1.093 * [approximate]: Taking taylor expansion of (/ (* (- 1 m) m) v) in (m v) around 0 1.093 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) m) v) in v 1.093 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in v 1.093 * [taylor]: Taking taylor expansion of (- 1 m) in v 1.093 * [taylor]: Taking taylor expansion of 1 in v 1.093 * [taylor]: Taking taylor expansion of m in v 1.093 * [taylor]: Taking taylor expansion of m in v 1.093 * [taylor]: Taking taylor expansion of v in v 1.094 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) m) v) in m 1.094 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m 1.094 * [taylor]: Taking taylor expansion of (- 1 m) in m 1.094 * [taylor]: Taking taylor expansion of 1 in m 1.094 * [taylor]: Taking taylor expansion of m in m 1.094 * [taylor]: Taking taylor expansion of m in m 1.094 * [taylor]: Taking taylor expansion of v in m 1.095 * [taylor]: Taking taylor expansion of (/ (* (- 1 m) m) v) in m 1.095 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m 1.095 * [taylor]: Taking taylor expansion of (- 1 m) in m 1.095 * [taylor]: Taking taylor expansion of 1 in m 1.095 * [taylor]: Taking taylor expansion of m in m 1.095 * [taylor]: Taking taylor expansion of m in m 1.095 * [taylor]: Taking taylor expansion of v in m 1.097 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.097 * [taylor]: Taking taylor expansion of v in v 1.099 * [taylor]: Taking taylor expansion of (neg (/ 1 v)) in v 1.100 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.100 * [taylor]: Taking taylor expansion of v in v 1.103 * [taylor]: Taking taylor expansion of 0 in v 1.107 * [taylor]: Taking taylor expansion of 0 in v 1.111 * [approximate]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in (m v) around 0 1.111 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in v 1.111 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in v 1.111 * [taylor]: Taking taylor expansion of v in v 1.111 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in v 1.111 * [taylor]: Taking taylor expansion of 1 in v 1.112 * [taylor]: Taking taylor expansion of (/ 1 m) in v 1.112 * [taylor]: Taking taylor expansion of m in v 1.112 * [taylor]: Taking taylor expansion of m in v 1.115 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in m 1.115 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in m 1.115 * [taylor]: Taking taylor expansion of v in m 1.115 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m 1.115 * [taylor]: Taking taylor expansion of 1 in m 1.115 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.115 * [taylor]: Taking taylor expansion of m in m 1.115 * [taylor]: Taking taylor expansion of m in m 1.116 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 m))) m) in m 1.116 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 m))) in m 1.116 * [taylor]: Taking taylor expansion of v in m 1.116 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m 1.116 * [taylor]: Taking taylor expansion of 1 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 m in m 1.117 * [taylor]: Taking taylor expansion of (* -1 v) in v 1.117 * [taylor]: Taking taylor expansion of -1 in v 1.117 * [taylor]: Taking taylor expansion of v in v 1.119 * [taylor]: Taking taylor expansion of v in v 1.122 * [taylor]: Taking taylor expansion of 0 in v 1.131 * [taylor]: Taking taylor expansion of 0 in v 1.133 * [approximate]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in (m v) around 0 1.133 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in v 1.133 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in v 1.133 * [taylor]: Taking taylor expansion of v in v 1.133 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) 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 in v 1.133 * [taylor]: Taking taylor expansion of m in v 1.134 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in m 1.134 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in m 1.134 * [taylor]: Taking taylor expansion of v in m 1.134 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) 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 in m 1.134 * [taylor]: Taking taylor expansion of m in m 1.134 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 m) 1)) m) in m 1.134 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) 1)) in m 1.134 * [taylor]: Taking taylor expansion of v in m 1.134 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) 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 in m 1.134 * [taylor]: Taking taylor expansion of m in m 1.135 * [taylor]: Taking taylor expansion of v in v 1.135 * [taylor]: Taking taylor expansion of v in v 1.136 * [taylor]: Taking taylor expansion of 0 in v 1.138 * [taylor]: Taking taylor expansion of 0 in v 1.139 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1) 1.140 * [approximate]: Taking taylor expansion of (* (- 1 m) m) in (m) around 0 1.140 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m 1.140 * [taylor]: Taking taylor expansion of (- 1 m) in m 1.140 * [taylor]: Taking taylor expansion of 1 in m 1.140 * [taylor]: Taking taylor expansion of m in m 1.140 * [taylor]: Taking taylor expansion of m in m 1.140 * [taylor]: Taking taylor expansion of (* (- 1 m) m) in m 1.140 * [taylor]: Taking taylor expansion of (- 1 m) in m 1.140 * [taylor]: Taking taylor expansion of 1 in m 1.140 * [taylor]: Taking taylor expansion of m in m 1.140 * [taylor]: Taking taylor expansion of m in m 1.147 * [approximate]: Taking taylor expansion of (/ (- 1 (/ 1 m)) m) in (m) around 0 1.147 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 m)) m) in m 1.147 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m 1.147 * [taylor]: Taking taylor expansion of 1 in m 1.147 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.147 * [taylor]: Taking taylor expansion of m in m 1.147 * [taylor]: Taking taylor expansion of m in m 1.147 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 m)) m) in m 1.147 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m 1.147 * [taylor]: Taking taylor expansion of 1 in m 1.147 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.147 * [taylor]: Taking taylor expansion of m in m 1.147 * [taylor]: Taking taylor expansion of m in m 1.159 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) m)) in (m) around 0 1.159 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) m)) in m 1.159 * [taylor]: Taking taylor expansion of -1 in m 1.159 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1) m) in m 1.159 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m 1.159 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.159 * [taylor]: Taking taylor expansion of m in m 1.159 * [taylor]: Taking taylor expansion of 1 in m 1.159 * [taylor]: Taking taylor expansion of m in m 1.159 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 m) 1) m)) in m 1.159 * [taylor]: Taking taylor expansion of -1 in m 1.159 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) 1) m) in m 1.159 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m 1.159 * [taylor]: Taking taylor expansion of (/ 1 m) in m 1.159 * [taylor]: Taking taylor expansion of m in m 1.159 * [taylor]: Taking taylor expansion of 1 in m 1.159 * [taylor]: Taking taylor expansion of m in m 1.183 * * * [progress]: simplifying candidates 1.186 * [simplify]: Simplifying using # : (*.f64 (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (*.f64 1 1)) (-.f64 1 m)) (*.f64 (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) (pow.f64 1 3)) (-.f64 1 m)) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 (*.f64 1 1) (*.f64 m m))) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m)) (*.f64 (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1) (-.f64 1 m)) (*.f64 (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1) (-.f64 1 m)) (*.f64 (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (sqrt.f64 1)) (-.f64 1 m)) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m)) (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (-.f64 1 m)) (*.f64 (cbrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (-.f64 1 m)) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) 1) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 (sqrt.f64 1) (sqrt.f64 m))) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) 1) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 (-.f64 1 m))) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m)))) (*.f64 1 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (*.f64 (neg.f64 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) 1) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (neg.f64 m)) (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (sqrt.f64 (-.f64 1 m))) (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (sqrt.f64 (-.f64 1 m))) (*.f64 (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (*.f64 1 1)) (-.f64 (*.f64 1 1) (*.f64 m m))) (*.f64 (+.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 m)) (*.f64 (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (*.f64 1 1)) (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 (+.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 (*.f64 1 1) (+.f64 (*.f64 m m) (*.f64 1 m)))) (*.f64 (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) (pow.f64 1 3)) (-.f64 (*.f64 1 1) (*.f64 m m))) (*.f64 (+.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (+.f64 (*.f64 1 1) (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))) (+.f64 1 m)) (*.f64 (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) (pow.f64 1 3)) (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 (+.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (+.f64 (*.f64 1 1) (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 m m) (*.f64 1 m)))) (sqrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))) (sqrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))) (*.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m)) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))) (*.f64 (cbrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))) (cbrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m)))) (cbrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))) (*.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (*.f64 (*.f64 (-.f64 1 m) (-.f64 1 m)) (-.f64 1 m))) (exp.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))) (log.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))) (+.f64 (log.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (log.f64 (-.f64 1 m))) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m)) (*.f64 v (+.f64 1 m)) (*.f64 v (+.f64 (*.f64 1 1) (+.f64 (*.f64 m m) (*.f64 1 m)))) (/.f64 v (-.f64 1 m)) (/.f64 (*.f64 m (-.f64 1 m)) 1) (/.f64 (*.f64 m (-.f64 1 m)) (sqrt.f64 v)) (/.f64 (*.f64 m (-.f64 1 m)) (*.f64 (cbrt.f64 v) (cbrt.f64 v))) (/.f64 v (*.f64 m (-.f64 1 m))) (/.f64 1 v) (/.f64 m 1) (/.f64 (-.f64 1 m) v) (/.f64 m (sqrt.f64 v)) (/.f64 (-.f64 1 m) (sqrt.f64 v)) (/.f64 m (*.f64 (cbrt.f64 v) (cbrt.f64 v))) (/.f64 (-.f64 1 m) (cbrt.f64 v)) (neg.f64 (*.f64 m (-.f64 1 m))) (neg.f64 v) (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (*.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (/.f64 (*.f64 m (-.f64 1 m)) v)) (*.f64 (cbrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (cbrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))) (cbrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (/.f64 (*.f64 (*.f64 (*.f64 m (-.f64 1 m)) (*.f64 m (-.f64 1 m))) (*.f64 m (-.f64 1 m))) (*.f64 (*.f64 v v) v)) (/.f64 (*.f64 (*.f64 (*.f64 m m) m) (*.f64 (*.f64 (-.f64 1 m) (-.f64 1 m)) (-.f64 1 m))) (*.f64 (*.f64 v v) v)) (exp.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (-.f64 (log.f64 (*.f64 m (-.f64 1 m))) (log.f64 v)) (-.f64 (+.f64 (log.f64 m) (log.f64 (-.f64 1 m))) (log.f64 v)) (*.f64 m (-.f64 (*.f64 1 1) (*.f64 m m))) (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 m (-.f64 1 m)) (*.f64 (sqrt.f64 m) (-.f64 1 m)) (*.f64 (cbrt.f64 m) (-.f64 1 m)) (*.f64 m 1) (*.f64 m (+.f64 1 (sqrt.f64 m))) (*.f64 m (+.f64 (sqrt.f64 1) (sqrt.f64 m))) (*.f64 m 1) (*.f64 m (sqrt.f64 (-.f64 1 m))) (*.f64 m (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m)))) (*.f64 1 m) (*.f64 (neg.f64 m) m) (*.f64 m 1) (*.f64 m (neg.f64 m)) (*.f64 (sqrt.f64 m) (sqrt.f64 (-.f64 1 m))) (*.f64 (sqrt.f64 m) (sqrt.f64 (-.f64 1 m))) (sqrt.f64 (*.f64 m (-.f64 1 m))) (sqrt.f64 (*.f64 m (-.f64 1 m))) (*.f64 (*.f64 (*.f64 m (-.f64 1 m)) (*.f64 m (-.f64 1 m))) (*.f64 m (-.f64 1 m))) (*.f64 (cbrt.f64 (*.f64 m (-.f64 1 m))) (cbrt.f64 (*.f64 m (-.f64 1 m)))) (cbrt.f64 (*.f64 m (-.f64 1 m))) (*.f64 (*.f64 (*.f64 m m) m) (*.f64 (*.f64 (-.f64 1 m) (-.f64 1 m)) (-.f64 1 m))) (exp.f64 (*.f64 m (-.f64 1 m))) (log.f64 (*.f64 m (-.f64 1 m))) (+.f64 (log.f64 m) (log.f64 (-.f64 1 m))) (*.f64 m (-.f64 1 m)) (-.f64 (/.f64 m v) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v)))) (-.f64 (+.f64 m (/.f64 (pow.f64 m 3) v)) (*.f64 2 (/.f64 (pow.f64 m 2) v))) (-.f64 (+.f64 m (/.f64 (pow.f64 m 3) v)) (*.f64 2 (/.f64 (pow.f64 m 2) v))) (-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v)) (-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v)) (-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v)) (-.f64 m (pow.f64 m 2)) (-.f64 m (pow.f64 m 2)) (-.f64 m (pow.f64 m 2)) 1.341 * * [simplify]: iteration 0 : 5100 enodes (cost 1558 ) 1.356 * [simplify]: Simplified to: (+.f64 (+.f64 m -1) (/.f64 (*.f64 m (*.f64 m (pow.f64 (-.f64 1 m) 3))) (*.f64 v v))) (*.f64 (-.f64 1 m) (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) 1)) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 (*.f64 m m))) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 (pow.f64 m 3))) (*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (*.f64 (-.f64 1 m) (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1)) (*.f64 (-.f64 1 m) (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1)) (*.f64 (-.f64 1 m) (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1)) (*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (*.f64 (-.f64 1 m) (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))) (*.f64 (-.f64 1 m) (cbrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (sqrt.f64 (-.f64 1 m))) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m)))) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (neg.f64 m)) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (neg.f64 m)) (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (sqrt.f64 (-.f64 1 m))) (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (sqrt.f64 (-.f64 1 m))) (*.f64 (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) 1) (-.f64 1 (*.f64 m m))) (*.f64 (+.f64 1 (/.f64 (*.f64 m (-.f64 1 m)) v)) (+.f64 m 1)) (*.f64 (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) 1) (-.f64 1 (pow.f64 m 3))) (*.f64 (+.f64 1 (/.f64 (*.f64 m (-.f64 1 m)) v)) (+.f64 1 (+.f64 m (*.f64 m m)))) (*.f64 (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) 1) (-.f64 1 (*.f64 m m))) (*.f64 (+.f64 m 1) (+.f64 1 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (+.f64 1 (/.f64 (*.f64 m (-.f64 1 m)) v))))) (*.f64 (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) 1) (-.f64 1 (pow.f64 m 3))) (*.f64 (+.f64 1 (+.f64 m (*.f64 m m))) (+.f64 1 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (+.f64 1 (/.f64 (*.f64 m (-.f64 1 m)) v))))) (sqrt.f64 (*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))) (sqrt.f64 (*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))) (pow.f64 (*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) 3) (*.f64 (cbrt.f64 (*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))) (cbrt.f64 (*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))) (cbrt.f64 (*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))) (pow.f64 (*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) 3) (exp.f64 (*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))) (log.f64 (*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))) (log.f64 (*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))) (*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (*.f64 v (+.f64 m 1)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))) (/.f64 v (-.f64 1 m)) (*.f64 m (-.f64 1 m)) (/.f64 (*.f64 m (-.f64 1 m)) (sqrt.f64 v)) (/.f64 (*.f64 m (-.f64 1 m)) (*.f64 (cbrt.f64 v) (cbrt.f64 v))) (/.f64 v (*.f64 m (-.f64 1 m))) (/.f64 1 v) m (/.f64 (-.f64 1 m) v) (/.f64 m (sqrt.f64 v)) (/.f64 (-.f64 1 m) (sqrt.f64 v)) (/.f64 m (*.f64 (cbrt.f64 v) (cbrt.f64 v))) (/.f64 (-.f64 1 m) (cbrt.f64 v)) (*.f64 m (+.f64 m -1)) (neg.f64 v) (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) (*.f64 (cbrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (cbrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))) (cbrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) (exp.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) (+.f64 m (neg.f64 (pow.f64 m 3))) (*.f64 m (-.f64 1 (pow.f64 m 3))) (*.f64 m (-.f64 1 m)) (*.f64 (-.f64 1 m) (sqrt.f64 m)) (*.f64 (-.f64 1 m) (cbrt.f64 m)) m (*.f64 m (+.f64 1 (sqrt.f64 m))) (*.f64 m (+.f64 1 (sqrt.f64 m))) m (*.f64 m (sqrt.f64 (-.f64 1 m))) (*.f64 m (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m)))) m (*.f64 m (neg.f64 m)) m (*.f64 m (neg.f64 m)) (*.f64 (sqrt.f64 m) (sqrt.f64 (-.f64 1 m))) (*.f64 (sqrt.f64 m) (sqrt.f64 (-.f64 1 m))) (sqrt.f64 (*.f64 m (-.f64 1 m))) (sqrt.f64 (*.f64 m (-.f64 1 m))) (pow.f64 (*.f64 m (-.f64 1 m)) 3) (*.f64 (cbrt.f64 (*.f64 m (-.f64 1 m))) (cbrt.f64 (*.f64 m (-.f64 1 m)))) (cbrt.f64 (*.f64 m (-.f64 1 m))) (pow.f64 (*.f64 m (-.f64 1 m)) 3) (exp.f64 (*.f64 m (-.f64 1 m))) (log.f64 (*.f64 m (-.f64 1 m))) (log.f64 (*.f64 m (-.f64 1 m))) (*.f64 m (-.f64 1 m)) (-.f64 (/.f64 m v) (+.f64 1 (*.f64 2 (*.f64 (/.f64 m v) m)))) (-.f64 (+.f64 m (/.f64 (pow.f64 m 3) v)) (*.f64 2 (*.f64 (/.f64 m v) m))) (-.f64 (+.f64 m (/.f64 (pow.f64 m 3) v)) (*.f64 2 (*.f64 (/.f64 m v) m))) (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) (*.f64 m (-.f64 1 m)) (*.f64 m (-.f64 1 m)) (*.f64 m (-.f64 1 m)) 1.357 * * * [progress]: adding candidates to table 1.925 * * [progress]: iteration 2 / 4 1.925 * * * [progress]: picking best candidate 1.979 * * * * [pick]: Picked # 1.979 * * * [progress]: localizing error 1.996 * * * [progress]: generating rewritten candidates 1.996 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 2) 2.003 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 2.020 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 2.030 * * * [progress]: generating series expansions 2.030 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 2) 2.030 * [approximate]: Taking taylor expansion of (/ (pow m 2) v) in (m v) around 0 2.030 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v 2.030 * [taylor]: Taking taylor expansion of (pow m 2) in v 2.030 * [taylor]: Taking taylor expansion of m in v 2.030 * [taylor]: Taking taylor expansion of v in v 2.031 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m 2.031 * [taylor]: Taking taylor expansion of (pow m 2) in m 2.031 * [taylor]: Taking taylor expansion of m in m 2.031 * [taylor]: Taking taylor expansion of v in m 2.031 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m 2.031 * [taylor]: Taking taylor expansion of (pow m 2) in m 2.031 * [taylor]: Taking taylor expansion of m in m 2.031 * [taylor]: Taking taylor expansion of v in m 2.031 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.031 * [taylor]: Taking taylor expansion of v in v 2.032 * [taylor]: Taking taylor expansion of 0 in v 2.033 * [taylor]: Taking taylor expansion of 0 in v 2.034 * [taylor]: Taking taylor expansion of 0 in v 2.036 * [approximate]: Taking taylor expansion of (/ v (pow m 2)) in (m v) around 0 2.036 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v 2.036 * [taylor]: Taking taylor expansion of v in v 2.036 * [taylor]: Taking taylor expansion of (pow m 2) in v 2.036 * [taylor]: Taking taylor expansion of m in v 2.036 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m 2.036 * [taylor]: Taking taylor expansion of v in m 2.036 * [taylor]: Taking taylor expansion of (pow m 2) in m 2.036 * [taylor]: Taking taylor expansion of m in m 2.036 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m 2.036 * [taylor]: Taking taylor expansion of v in m 2.036 * [taylor]: Taking taylor expansion of (pow m 2) in m 2.036 * [taylor]: Taking taylor expansion of m in m 2.036 * [taylor]: Taking taylor expansion of v in v 2.037 * [taylor]: Taking taylor expansion of 0 in v 2.038 * [taylor]: Taking taylor expansion of 0 in v 2.039 * [taylor]: Taking taylor expansion of 0 in v 2.040 * [approximate]: Taking taylor expansion of (* -1 (/ v (pow m 2))) in (m v) around 0 2.040 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow m 2))) in v 2.040 * [taylor]: Taking taylor expansion of -1 in v 2.040 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v 2.040 * [taylor]: Taking taylor expansion of v in v 2.040 * [taylor]: Taking taylor expansion of (pow m 2) in v 2.040 * [taylor]: Taking taylor expansion of m in v 2.040 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow m 2))) in m 2.040 * [taylor]: Taking taylor expansion of -1 in m 2.040 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m 2.040 * [taylor]: Taking taylor expansion of v in m 2.040 * [taylor]: Taking taylor expansion of (pow m 2) in m 2.040 * [taylor]: Taking taylor expansion of m in m 2.041 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow m 2))) in m 2.041 * [taylor]: Taking taylor expansion of -1 in m 2.041 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m 2.041 * [taylor]: Taking taylor expansion of v in m 2.041 * [taylor]: Taking taylor expansion of (pow m 2) in m 2.041 * [taylor]: Taking taylor expansion of m in m 2.041 * [taylor]: Taking taylor expansion of (* -1 v) in v 2.041 * [taylor]: Taking taylor expansion of -1 in v 2.041 * [taylor]: Taking taylor expansion of v in v 2.042 * [taylor]: Taking taylor expansion of 0 in v 2.043 * [taylor]: Taking taylor expansion of 0 in v 2.045 * [taylor]: Taking taylor expansion of 0 in v 2.046 * * * * [progress]: [ 2 / 3 ] generating series at (2) 2.047 * [approximate]: Taking taylor expansion of (* (- 1 m) (- (/ m v) (+ 1 (/ (pow m 2) v)))) in (m v) around 0 2.047 * [taylor]: Taking taylor expansion of (* (- 1 m) (- (/ m v) (+ 1 (/ (pow m 2) v)))) in v 2.047 * [taylor]: Taking taylor expansion of (- 1 m) in v 2.047 * [taylor]: Taking taylor expansion of 1 in v 2.047 * [taylor]: Taking taylor expansion of m in v 2.047 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in v 2.047 * [taylor]: Taking taylor expansion of (/ m v) in v 2.047 * [taylor]: Taking taylor expansion of m in v 2.047 * [taylor]: Taking taylor expansion of v in v 2.047 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in v 2.047 * [taylor]: Taking taylor expansion of 1 in v 2.047 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v 2.047 * [taylor]: Taking taylor expansion of (pow m 2) in v 2.047 * [taylor]: Taking taylor expansion of m in v 2.047 * [taylor]: Taking taylor expansion of v in v 2.047 * [taylor]: Taking taylor expansion of (* (- 1 m) (- (/ m v) (+ 1 (/ (pow m 2) v)))) in m 2.047 * [taylor]: Taking taylor expansion of (- 1 m) in m 2.047 * [taylor]: Taking taylor expansion of 1 in m 2.047 * [taylor]: Taking taylor expansion of m in m 2.047 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in m 2.047 * [taylor]: Taking taylor expansion of (/ m v) in m 2.047 * [taylor]: Taking taylor expansion of m in m 2.047 * [taylor]: Taking taylor expansion of v in m 2.047 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in m 2.047 * [taylor]: Taking taylor expansion of 1 in m 2.047 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m 2.047 * [taylor]: Taking taylor expansion of (pow m 2) in m 2.047 * [taylor]: Taking taylor expansion of m in m 2.047 * [taylor]: Taking taylor expansion of v in m 2.048 * [taylor]: Taking taylor expansion of (* (- 1 m) (- (/ m v) (+ 1 (/ (pow m 2) v)))) in m 2.048 * [taylor]: Taking taylor expansion of (- 1 m) in m 2.048 * [taylor]: Taking taylor expansion of 1 in m 2.048 * [taylor]: Taking taylor expansion of m in m 2.048 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in m 2.048 * [taylor]: Taking taylor expansion of (/ m v) in m 2.048 * [taylor]: Taking taylor expansion of m in m 2.048 * [taylor]: Taking taylor expansion of v in m 2.048 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in m 2.048 * [taylor]: Taking taylor expansion of 1 in m 2.048 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m 2.048 * [taylor]: Taking taylor expansion of (pow m 2) in m 2.048 * [taylor]: Taking taylor expansion of m in m 2.048 * [taylor]: Taking taylor expansion of v in m 2.048 * [taylor]: Taking taylor expansion of -1 in v 2.049 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1) in v 2.049 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.049 * [taylor]: Taking taylor expansion of v in v 2.049 * [taylor]: Taking taylor expansion of 1 in v 2.051 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 v))) in v 2.051 * [taylor]: Taking taylor expansion of (* 2 (/ 1 v)) in v 2.051 * [taylor]: Taking taylor expansion of 2 in v 2.051 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.051 * [taylor]: Taking taylor expansion of v in v 2.053 * [approximate]: Taking taylor expansion of (* (- (/ v m) (+ (/ v (pow m 2)) 1)) (- 1 (/ 1 m))) in (m v) around 0 2.053 * [taylor]: Taking taylor expansion of (* (- (/ v m) (+ (/ v (pow m 2)) 1)) (- 1 (/ 1 m))) in v 2.053 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in v 2.053 * [taylor]: Taking taylor expansion of (/ v m) in v 2.053 * [taylor]: Taking taylor expansion of v in v 2.053 * [taylor]: Taking taylor expansion of m in v 2.053 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in v 2.053 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v 2.053 * [taylor]: Taking taylor expansion of v in v 2.053 * [taylor]: Taking taylor expansion of (pow m 2) in v 2.053 * [taylor]: Taking taylor expansion of m in v 2.054 * [taylor]: Taking taylor expansion of 1 in v 2.054 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in v 2.054 * [taylor]: Taking taylor expansion of 1 in v 2.054 * [taylor]: Taking taylor expansion of (/ 1 m) in v 2.054 * [taylor]: Taking taylor expansion of m in v 2.054 * [taylor]: Taking taylor expansion of (* (- (/ v m) (+ (/ v (pow m 2)) 1)) (- 1 (/ 1 m))) in m 2.054 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in m 2.054 * [taylor]: Taking taylor expansion of (/ v m) in m 2.054 * [taylor]: Taking taylor expansion of v in m 2.054 * [taylor]: Taking taylor expansion of m in m 2.054 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in m 2.054 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m 2.054 * [taylor]: Taking taylor expansion of v in m 2.054 * [taylor]: Taking taylor expansion of (pow m 2) in m 2.054 * [taylor]: Taking taylor expansion of m in m 2.054 * [taylor]: Taking taylor expansion of 1 in m 2.054 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m 2.054 * [taylor]: Taking taylor expansion of 1 in m 2.054 * [taylor]: Taking taylor expansion of (/ 1 m) in m 2.054 * [taylor]: Taking taylor expansion of m in m 2.054 * [taylor]: Taking taylor expansion of (* (- (/ v m) (+ (/ v (pow m 2)) 1)) (- 1 (/ 1 m))) in m 2.054 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in m 2.054 * [taylor]: Taking taylor expansion of (/ v m) in m 2.055 * [taylor]: Taking taylor expansion of v in m 2.055 * [taylor]: Taking taylor expansion of m in m 2.055 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in m 2.055 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m 2.055 * [taylor]: Taking taylor expansion of v in m 2.055 * [taylor]: Taking taylor expansion of (pow m 2) in m 2.055 * [taylor]: Taking taylor expansion of m in m 2.055 * [taylor]: Taking taylor expansion of 1 in m 2.055 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m 2.055 * [taylor]: Taking taylor expansion of 1 in m 2.055 * [taylor]: Taking taylor expansion of (/ 1 m) in m 2.055 * [taylor]: Taking taylor expansion of m in m 2.056 * [taylor]: Taking taylor expansion of v in v 2.057 * [taylor]: Taking taylor expansion of (neg (* 2 v)) in v 2.057 * [taylor]: Taking taylor expansion of (* 2 v) in v 2.057 * [taylor]: Taking taylor expansion of 2 in v 2.057 * [taylor]: Taking taylor expansion of v in v 2.059 * [taylor]: Taking taylor expansion of (+ v 1) in v 2.059 * [taylor]: Taking taylor expansion of v in v 2.059 * [taylor]: Taking taylor expansion of 1 in v 2.063 * [approximate]: Taking taylor expansion of (* (- (+ (/ v (pow m 2)) (/ v m)) 1) (+ (/ 1 m) 1)) in (m v) around 0 2.063 * [taylor]: Taking taylor expansion of (* (- (+ (/ v (pow m 2)) (/ v m)) 1) (+ (/ 1 m) 1)) in v 2.063 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in v 2.063 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in v 2.063 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v 2.063 * [taylor]: Taking taylor expansion of v in v 2.063 * [taylor]: Taking taylor expansion of (pow m 2) in v 2.063 * [taylor]: Taking taylor expansion of m in v 2.063 * [taylor]: Taking taylor expansion of (/ v m) in v 2.063 * [taylor]: Taking taylor expansion of v in v 2.063 * [taylor]: Taking taylor expansion of m in v 2.063 * [taylor]: Taking taylor expansion of 1 in v 2.063 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in v 2.063 * [taylor]: Taking taylor expansion of (/ 1 m) in v 2.063 * [taylor]: Taking taylor expansion of m in v 2.063 * [taylor]: Taking taylor expansion of 1 in v 2.063 * [taylor]: Taking taylor expansion of (* (- (+ (/ v (pow m 2)) (/ v m)) 1) (+ (/ 1 m) 1)) in m 2.064 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in m 2.064 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in m 2.064 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m 2.064 * [taylor]: Taking taylor expansion of v in m 2.064 * [taylor]: Taking taylor expansion of (pow m 2) in m 2.064 * [taylor]: Taking taylor expansion of m in m 2.064 * [taylor]: Taking taylor expansion of (/ v m) in m 2.064 * [taylor]: Taking taylor expansion of v in m 2.064 * [taylor]: Taking taylor expansion of m in m 2.064 * [taylor]: Taking taylor expansion of 1 in m 2.064 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m 2.064 * [taylor]: Taking taylor expansion of (/ 1 m) in m 2.064 * [taylor]: Taking taylor expansion of m in m 2.064 * [taylor]: Taking taylor expansion of 1 in m 2.064 * [taylor]: Taking taylor expansion of (* (- (+ (/ v (pow m 2)) (/ v m)) 1) (+ (/ 1 m) 1)) in m 2.064 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in m 2.064 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in m 2.064 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m 2.064 * [taylor]: Taking taylor expansion of v in m 2.064 * [taylor]: Taking taylor expansion of (pow m 2) in m 2.064 * [taylor]: Taking taylor expansion of m in m 2.064 * [taylor]: Taking taylor expansion of (/ v m) in m 2.064 * [taylor]: Taking taylor expansion of v in m 2.064 * [taylor]: Taking taylor expansion of m in m 2.064 * [taylor]: Taking taylor expansion of 1 in m 2.064 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m 2.064 * [taylor]: Taking taylor expansion of (/ 1 m) in m 2.064 * [taylor]: Taking taylor expansion of m in m 2.065 * [taylor]: Taking taylor expansion of 1 in m 2.065 * [taylor]: Taking taylor expansion of v in v 2.066 * [taylor]: Taking taylor expansion of (* 2 v) in v 2.066 * [taylor]: Taking taylor expansion of 2 in v 2.066 * [taylor]: Taking taylor expansion of v in v 2.068 * [taylor]: Taking taylor expansion of (- v 1) in v 2.068 * [taylor]: Taking taylor expansion of v in v 2.068 * [taylor]: Taking taylor expansion of 1 in v 2.070 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 2.071 * [approximate]: Taking taylor expansion of (- (/ m v) (/ (pow m 2) v)) in (m v) around 0 2.071 * [taylor]: Taking taylor expansion of (- (/ m v) (/ (pow m 2) v)) in v 2.071 * [taylor]: Taking taylor expansion of (/ m v) in v 2.071 * [taylor]: Taking taylor expansion of m in v 2.071 * [taylor]: Taking taylor expansion of v in v 2.071 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v 2.071 * [taylor]: Taking taylor expansion of (pow m 2) in v 2.071 * [taylor]: Taking taylor expansion of m in v 2.071 * [taylor]: Taking taylor expansion of v in v 2.071 * [taylor]: Taking taylor expansion of (- (/ m v) (/ (pow m 2) v)) in m 2.071 * [taylor]: Taking taylor expansion of (/ m v) in m 2.071 * [taylor]: Taking taylor expansion of m in m 2.071 * [taylor]: Taking taylor expansion of v in m 2.071 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m 2.071 * [taylor]: Taking taylor expansion of (pow m 2) in m 2.071 * [taylor]: Taking taylor expansion of m in m 2.071 * [taylor]: Taking taylor expansion of v in m 2.072 * [taylor]: Taking taylor expansion of (- (/ m v) (/ (pow m 2) v)) in m 2.072 * [taylor]: Taking taylor expansion of (/ m v) in m 2.072 * [taylor]: Taking taylor expansion of m in m 2.072 * [taylor]: Taking taylor expansion of v in m 2.072 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m 2.072 * [taylor]: Taking taylor expansion of (pow m 2) in m 2.072 * [taylor]: Taking taylor expansion of m in m 2.072 * [taylor]: Taking taylor expansion of v in m 2.072 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.072 * [taylor]: Taking taylor expansion of v in v 2.073 * [taylor]: Taking taylor expansion of (neg (/ 1 v)) in v 2.073 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.073 * [taylor]: Taking taylor expansion of v in v 2.075 * [taylor]: Taking taylor expansion of 0 in v 2.077 * [taylor]: Taking taylor expansion of 0 in v 2.079 * [approximate]: Taking taylor expansion of (- (/ v m) (/ v (pow m 2))) in (m v) around 0 2.079 * [taylor]: Taking taylor expansion of (- (/ v m) (/ v (pow m 2))) in v 2.079 * [taylor]: Taking taylor expansion of (/ v m) in v 2.079 * [taylor]: Taking taylor expansion of v in v 2.079 * [taylor]: Taking taylor expansion of m in v 2.079 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v 2.079 * [taylor]: Taking taylor expansion of v in v 2.079 * [taylor]: Taking taylor expansion of (pow m 2) in v 2.079 * [taylor]: Taking taylor expansion of m in v 2.079 * [taylor]: Taking taylor expansion of (- (/ v m) (/ v (pow m 2))) in m 2.079 * [taylor]: Taking taylor expansion of (/ v m) in m 2.079 * [taylor]: Taking taylor expansion of v in m 2.079 * [taylor]: Taking taylor expansion of m in m 2.080 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m 2.080 * [taylor]: Taking taylor expansion of v in m 2.080 * [taylor]: Taking taylor expansion of (pow m 2) in m 2.080 * [taylor]: Taking taylor expansion of m in m 2.080 * [taylor]: Taking taylor expansion of (- (/ v m) (/ v (pow m 2))) in m 2.080 * [taylor]: Taking taylor expansion of (/ v m) in m 2.080 * [taylor]: Taking taylor expansion of v in m 2.080 * [taylor]: Taking taylor expansion of m in m 2.080 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m 2.080 * [taylor]: Taking taylor expansion of v in m 2.080 * [taylor]: Taking taylor expansion of (pow m 2) in m 2.080 * [taylor]: Taking taylor expansion of m in m 2.080 * [taylor]: Taking taylor expansion of (neg v) in v 2.080 * [taylor]: Taking taylor expansion of v in v 2.081 * [taylor]: Taking taylor expansion of v in v 2.082 * [taylor]: Taking taylor expansion of 0 in v 2.083 * [taylor]: Taking taylor expansion of 0 in v 2.085 * [approximate]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in (m v) around 0 2.085 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in v 2.085 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v 2.085 * [taylor]: Taking taylor expansion of v in v 2.085 * [taylor]: Taking taylor expansion of (pow m 2) in v 2.085 * [taylor]: Taking taylor expansion of m in v 2.085 * [taylor]: Taking taylor expansion of (/ v m) in v 2.085 * [taylor]: Taking taylor expansion of v in v 2.085 * [taylor]: Taking taylor expansion of m in v 2.086 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in m 2.086 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m 2.086 * [taylor]: Taking taylor expansion of v in m 2.086 * [taylor]: Taking taylor expansion of (pow m 2) in m 2.086 * [taylor]: Taking taylor expansion of m in m 2.086 * [taylor]: Taking taylor expansion of (/ v m) in m 2.086 * [taylor]: Taking taylor expansion of v in m 2.086 * [taylor]: Taking taylor expansion of m in m 2.086 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in m 2.086 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m 2.086 * [taylor]: Taking taylor expansion of v in m 2.086 * [taylor]: Taking taylor expansion of (pow m 2) in m 2.086 * [taylor]: Taking taylor expansion of m in m 2.086 * [taylor]: Taking taylor expansion of (/ v m) in m 2.086 * [taylor]: Taking taylor expansion of v in m 2.086 * [taylor]: Taking taylor expansion of m in m 2.086 * [taylor]: Taking taylor expansion of v in v 2.087 * [taylor]: Taking taylor expansion of v in v 2.088 * [taylor]: Taking taylor expansion of 0 in v 2.089 * [taylor]: Taking taylor expansion of 0 in v 2.090 * * * [progress]: simplifying candidates 2.091 * [simplify]: Simplifying using # : (*.f64 m m) (*.f64 (/.f64 1 v) m) (*.f64 (/.f64 m v) m) (*.f64 (/.f64 m v) m) (*.f64 (/.f64 m (sqrt.f64 v)) m) (*.f64 (/.f64 m (cbrt.f64 v)) m) (*.f64 (/.f64 (sqrt.f64 m) v) m) (*.f64 (/.f64 (sqrt.f64 m) (sqrt.f64 v)) m) (*.f64 (/.f64 (sqrt.f64 m) (cbrt.f64 v)) m) (*.f64 (/.f64 (cbrt.f64 m) v) m) (*.f64 (/.f64 (cbrt.f64 m) (sqrt.f64 v)) m) (*.f64 (/.f64 (cbrt.f64 m) (cbrt.f64 v)) m) (*.f64 (sqrt.f64 (/.f64 m v)) m) (*.f64 (cbrt.f64 (/.f64 m v)) m) (*.f64 (/.f64 m v) 1) (*.f64 (/.f64 m v) (sqrt.f64 m)) (*.f64 (/.f64 m v) (*.f64 (cbrt.f64 m) (cbrt.f64 m))) (*.f64 (/.f64 (sqrt.f64 m) (sqrt.f64 v)) (sqrt.f64 m)) (*.f64 (/.f64 (sqrt.f64 m) (sqrt.f64 v)) (sqrt.f64 m)) (*.f64 (sqrt.f64 (/.f64 m v)) (sqrt.f64 m)) (*.f64 (sqrt.f64 (/.f64 m v)) (sqrt.f64 m)) (sqrt.f64 (*.f64 (/.f64 m v) m)) (sqrt.f64 (*.f64 (/.f64 m v) m)) (*.f64 (*.f64 (*.f64 (/.f64 m v) m) (*.f64 (/.f64 m v) m)) (*.f64 (/.f64 m v) m)) (*.f64 (cbrt.f64 (*.f64 (/.f64 m v) m)) (cbrt.f64 (*.f64 (/.f64 m v) m))) (cbrt.f64 (*.f64 (/.f64 m v) m)) (*.f64 (*.f64 (*.f64 (/.f64 m v) (/.f64 m v)) (/.f64 m v)) (*.f64 (*.f64 m m) m)) (*.f64 (/.f64 (*.f64 (*.f64 m m) m) (*.f64 (*.f64 v v) v)) (*.f64 (*.f64 m m) m)) (exp.f64 (*.f64 (/.f64 m v) m)) (log.f64 (*.f64 (/.f64 m v) m)) (+.f64 (log.f64 (/.f64 m v)) (log.f64 m)) (+.f64 (-.f64 (log.f64 m) (log.f64 v)) (log.f64 m)) (*.f64 (/.f64 m v) m) (*.f64 (-.f64 (*.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m))) (*.f64 1 1)) (-.f64 1 m)) (*.f64 (-.f64 (pow.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 3) (pow.f64 1 3)) (-.f64 1 m)) (*.f64 (-.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 1) (-.f64 (*.f64 1 1) (*.f64 m m))) (*.f64 (-.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 1) (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 (-.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 1) (-.f64 1 m)) (*.f64 (-.f64 (sqrt.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m))) 1) (-.f64 1 m)) (*.f64 (-.f64 (sqrt.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m))) 1) (-.f64 1 m)) (*.f64 (-.f64 (sqrt.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m))) (sqrt.f64 1)) (-.f64 1 m)) (*.f64 (-.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 1) (-.f64 1 m)) (*.f64 (sqrt.f64 (-.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 1)) (-.f64 1 m)) (*.f64 (cbrt.f64 (-.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 1)) (-.f64 1 m)) (*.f64 (-.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 1) 1) (*.f64 (-.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 1) (+.f64 1 (sqrt.f64 m))) (*.f64 (-.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 1) (+.f64 (sqrt.f64 1) (sqrt.f64 m))) (*.f64 (-.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 1) 1) (*.f64 (-.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 1) (sqrt.f64 (-.f64 1 m))) (*.f64 (-.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 1) (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m)))) (*.f64 1 (-.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 1)) (*.f64 (neg.f64 m) (-.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 1)) (*.f64 (-.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 1) 1) (*.f64 (-.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 1) (neg.f64 m)) (*.f64 (sqrt.f64 (-.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 1)) (sqrt.f64 (-.f64 1 m))) (*.f64 (sqrt.f64 (-.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 1)) (sqrt.f64 (-.f64 1 m))) (*.f64 (-.f64 (*.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m))) (*.f64 1 1)) (-.f64 (*.f64 1 1) (*.f64 m m))) (*.f64 (+.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 1) (+.f64 1 m)) (*.f64 (-.f64 (*.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m))) (*.f64 1 1)) (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 (+.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 1) (+.f64 (*.f64 1 1) (+.f64 (*.f64 m m) (*.f64 1 m)))) (*.f64 (-.f64 (pow.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 3) (pow.f64 1 3)) (-.f64 (*.f64 1 1) (*.f64 m m))) (*.f64 (+.f64 (*.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m))) (+.f64 (*.f64 1 1) (*.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 1))) (+.f64 1 m)) (*.f64 (-.f64 (pow.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 3) (pow.f64 1 3)) (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 (+.f64 (*.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m))) (+.f64 (*.f64 1 1) (*.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 1))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 m m) (*.f64 1 m)))) (sqrt.f64 (*.f64 (-.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 1) (-.f64 1 m))) (sqrt.f64 (*.f64 (-.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 1) (-.f64 1 m))) (*.f64 (*.f64 (*.f64 (-.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 1) (-.f64 1 m)) (*.f64 (-.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 1) (-.f64 1 m))) (*.f64 (-.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 1) (-.f64 1 m))) (*.f64 (cbrt.f64 (*.f64 (-.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 1) (-.f64 1 m))) (cbrt.f64 (*.f64 (-.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 1) (-.f64 1 m)))) (cbrt.f64 (*.f64 (-.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 1) (-.f64 1 m))) (*.f64 (*.f64 (*.f64 (-.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 1) (-.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 1)) (-.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 1)) (*.f64 (*.f64 (-.f64 1 m) (-.f64 1 m)) (-.f64 1 m))) (exp.f64 (*.f64 (-.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 1) (-.f64 1 m))) (log.f64 (*.f64 (-.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 1) (-.f64 1 m))) (+.f64 (log.f64 (-.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 1)) (log.f64 (-.f64 1 m))) (*.f64 (-.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) 1) (-.f64 1 m)) (-.f64 (*.f64 (/.f64 m v) (/.f64 m v)) (*.f64 (*.f64 (/.f64 m v) m) (*.f64 (/.f64 m v) m))) (+.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) (neg.f64 (*.f64 (/.f64 m v) m)) (-.f64 (pow.f64 (/.f64 m v) 3) (pow.f64 (*.f64 (/.f64 m v) m) 3)) (+.f64 (*.f64 (/.f64 m v) (/.f64 m v)) (+.f64 (*.f64 (*.f64 (/.f64 m v) m) (*.f64 (/.f64 m v) m)) (*.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)))) (-.f64 (*.f64 m v) (*.f64 v (*.f64 m m))) (*.f64 v v) (-.f64 m (*.f64 m m)) (sqrt.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m))) (sqrt.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m))) (*.f64 (*.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m))) (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m))) (*.f64 (cbrt.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m))) (cbrt.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)))) (cbrt.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m))) (exp.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m))) (log.f64 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m))) (/.f64 (exp.f64 (/.f64 m v)) (exp.f64 (*.f64 (/.f64 m v) m))) (/.f64 (pow.f64 m 2) v) (/.f64 (pow.f64 m 2) v) (/.f64 (pow.f64 m 2) v) (-.f64 (/.f64 m v) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v)))) (-.f64 (+.f64 m (/.f64 (pow.f64 m 3) v)) (*.f64 2 (/.f64 (pow.f64 m 2) v))) (-.f64 (+.f64 m (/.f64 (pow.f64 m 3) v)) (*.f64 2 (/.f64 (pow.f64 m 2) v))) (-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v)) (-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v)) (-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v)) 2.132 * * [simplify]: iteration 0 : 5073 enodes (cost 1543 ) 2.142 * [simplify]: Simplified to: (*.f64 m m) (/.f64 m v) (*.f64 m (/.f64 m v)) (*.f64 m (/.f64 m v)) (*.f64 m (/.f64 m (sqrt.f64 v))) (*.f64 m (/.f64 m (cbrt.f64 v))) (*.f64 m (/.f64 (sqrt.f64 m) v)) (*.f64 m (/.f64 (sqrt.f64 m) (sqrt.f64 v))) (*.f64 m (/.f64 (sqrt.f64 m) (cbrt.f64 v))) (*.f64 m (/.f64 (cbrt.f64 m) v)) (*.f64 m (/.f64 (cbrt.f64 m) (sqrt.f64 v))) (*.f64 m (/.f64 (cbrt.f64 m) (cbrt.f64 v))) (*.f64 m (sqrt.f64 (/.f64 m v))) (*.f64 m (cbrt.f64 (/.f64 m v))) (/.f64 m v) (*.f64 m (/.f64 (sqrt.f64 m) v)) (*.f64 (/.f64 m v) (*.f64 (cbrt.f64 m) (cbrt.f64 m))) (/.f64 m (sqrt.f64 v)) (/.f64 m (sqrt.f64 v)) (*.f64 (sqrt.f64 m) (sqrt.f64 (/.f64 m v))) (*.f64 (sqrt.f64 m) (sqrt.f64 (/.f64 m v))) (sqrt.f64 (*.f64 m (/.f64 m v))) (sqrt.f64 (*.f64 m (/.f64 m v))) (pow.f64 (*.f64 m (/.f64 m v)) 3) (*.f64 (cbrt.f64 (*.f64 m (/.f64 m v))) (cbrt.f64 (*.f64 m (/.f64 m v)))) (cbrt.f64 (*.f64 m (/.f64 m v))) (pow.f64 (*.f64 m (/.f64 m v)) 3) (pow.f64 (*.f64 m (/.f64 m v)) 3) (exp.f64 (*.f64 m (/.f64 m v))) (log.f64 (*.f64 m (/.f64 m v))) (log.f64 (*.f64 m (/.f64 m v))) (log.f64 (*.f64 m (/.f64 m v))) (*.f64 m (/.f64 m v)) (*.f64 (+.f64 (*.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) (*.f64 (/.f64 m v) (-.f64 1 m))) -1) (-.f64 1 m)) (*.f64 (-.f64 1 m) (+.f64 (pow.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) 3) -1)) (*.f64 (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1) (-.f64 1 (*.f64 m m))) (*.f64 (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1) (-.f64 1 (pow.f64 m 3))) (*.f64 (-.f64 1 m) (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1)) (*.f64 (-.f64 1 m) (+.f64 (sqrt.f64 (*.f64 (/.f64 m v) (-.f64 1 m))) -1)) (*.f64 (-.f64 1 m) (+.f64 (sqrt.f64 (*.f64 (/.f64 m v) (-.f64 1 m))) -1)) (*.f64 (-.f64 1 m) (+.f64 (sqrt.f64 (*.f64 (/.f64 m v) (-.f64 1 m))) -1)) (*.f64 (-.f64 1 m) (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1)) (*.f64 (-.f64 1 m) (sqrt.f64 (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1))) (*.f64 (-.f64 1 m) (cbrt.f64 (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1))) (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1) (*.f64 (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1) (+.f64 1 (sqrt.f64 m))) (*.f64 (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1) (+.f64 1 (sqrt.f64 m))) (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1) (*.f64 (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1) (sqrt.f64 (-.f64 1 m))) (*.f64 (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1) (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m)))) (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1) (*.f64 (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1) (neg.f64 m)) (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1) (*.f64 (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1) (neg.f64 m)) (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1)) (sqrt.f64 (-.f64 1 m))) (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1)) (sqrt.f64 (-.f64 1 m))) (*.f64 (+.f64 (*.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) (*.f64 (/.f64 m v) (-.f64 1 m))) -1) (-.f64 1 (*.f64 m m))) (*.f64 (+.f64 1 (*.f64 (/.f64 m v) (-.f64 1 m))) (+.f64 m 1)) (*.f64 (+.f64 (*.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) (*.f64 (/.f64 m v) (-.f64 1 m))) -1) (-.f64 1 (pow.f64 m 3))) (*.f64 (+.f64 1 (*.f64 (/.f64 m v) (-.f64 1 m))) (+.f64 (*.f64 m m) (+.f64 m 1))) (*.f64 (+.f64 (pow.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) 3) -1) (-.f64 1 (*.f64 m m))) (*.f64 (+.f64 m 1) (+.f64 1 (*.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) (+.f64 1 (*.f64 (/.f64 m v) (-.f64 1 m)))))) (*.f64 (+.f64 (pow.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) 3) -1) (-.f64 1 (pow.f64 m 3))) (*.f64 (+.f64 (*.f64 m m) (+.f64 m 1)) (+.f64 1 (*.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) (+.f64 1 (*.f64 (/.f64 m v) (-.f64 1 m)))))) (sqrt.f64 (*.f64 (-.f64 1 m) (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1))) (sqrt.f64 (*.f64 (-.f64 1 m) (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1))) (pow.f64 (*.f64 (-.f64 1 m) (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1)) 3) (*.f64 (cbrt.f64 (*.f64 (-.f64 1 m) (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1))) (cbrt.f64 (*.f64 (-.f64 1 m) (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1)))) (cbrt.f64 (*.f64 (-.f64 1 m) (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1))) (pow.f64 (*.f64 (-.f64 1 m) (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1)) 3) (pow.f64 (exp.f64 (-.f64 1 m)) (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1)) (log.f64 (*.f64 (-.f64 1 m) (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1))) (log.f64 (*.f64 (-.f64 1 m) (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1))) (*.f64 (-.f64 1 m) (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1)) (*.f64 (*.f64 (/.f64 m v) (/.f64 m v)) (-.f64 1 (*.f64 m m))) (*.f64 (/.f64 m v) (+.f64 m 1)) (*.f64 (/.f64 m v) (neg.f64 m)) (*.f64 (pow.f64 (/.f64 m v) 3) (-.f64 1 (pow.f64 m 3))) (*.f64 (*.f64 (/.f64 m v) (/.f64 m v)) (+.f64 (*.f64 m m) (+.f64 m 1))) (*.f64 (*.f64 m v) (-.f64 1 m)) (*.f64 v v) (-.f64 m (*.f64 m m)) (sqrt.f64 (*.f64 (/.f64 m v) (-.f64 1 m))) (sqrt.f64 (*.f64 (/.f64 m v) (-.f64 1 m))) (pow.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) 3) (*.f64 (cbrt.f64 (*.f64 (/.f64 m v) (-.f64 1 m))) (cbrt.f64 (*.f64 (/.f64 m v) (-.f64 1 m)))) (cbrt.f64 (*.f64 (/.f64 m v) (-.f64 1 m))) (exp.f64 (*.f64 (/.f64 m v) (-.f64 1 m))) (log.f64 (*.f64 (/.f64 m v) (-.f64 1 m))) (exp.f64 (*.f64 (/.f64 m v) (-.f64 1 m))) (*.f64 m (/.f64 m v)) (*.f64 m (/.f64 m v)) (*.f64 m (/.f64 m v)) (-.f64 (*.f64 (/.f64 m v) (-.f64 1 (*.f64 m 2))) 1) (+.f64 m (*.f64 (*.f64 m (/.f64 m v)) (-.f64 m 2))) (+.f64 m (*.f64 (*.f64 m (/.f64 m v)) (-.f64 m 2))) (*.f64 (/.f64 m v) (-.f64 1 m)) (*.f64 (/.f64 m v) (-.f64 1 m)) (*.f64 (/.f64 m v) (-.f64 1 m)) 2.142 * * * [progress]: adding candidates to table 2.456 * * [progress]: iteration 3 / 4 2.456 * * * [progress]: picking best candidate 2.482 * * * * [pick]: Picked # 2.482 * * * [progress]: localizing error 2.507 * * * [progress]: generating rewritten candidates 2.507 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 2.543 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 2.554 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1) 2.566 * * * [progress]: generating series expansions 2.566 * * * * [progress]: [ 1 / 3 ] generating series at (2) 2.568 * [approximate]: Taking taylor expansion of (* (- 1 m) (- (/ m v) (+ 1 (/ (pow m 2) v)))) in (m v) around 0 2.568 * [taylor]: Taking taylor expansion of (* (- 1 m) (- (/ m v) (+ 1 (/ (pow m 2) v)))) in v 2.568 * [taylor]: Taking taylor expansion of (- 1 m) in v 2.568 * [taylor]: Taking taylor expansion of 1 in v 2.568 * [taylor]: Taking taylor expansion of m in v 2.568 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in v 2.568 * [taylor]: Taking taylor expansion of (/ m v) in v 2.568 * [taylor]: Taking taylor expansion of m in v 2.569 * [taylor]: Taking taylor expansion of v in v 2.569 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in v 2.569 * [taylor]: Taking taylor expansion of 1 in v 2.569 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in v 2.569 * [taylor]: Taking taylor expansion of (pow m 2) in v 2.569 * [taylor]: Taking taylor expansion of m in v 2.569 * [taylor]: Taking taylor expansion of v in v 2.569 * [taylor]: Taking taylor expansion of (* (- 1 m) (- (/ m v) (+ 1 (/ (pow m 2) v)))) in m 2.570 * [taylor]: Taking taylor expansion of (- 1 m) in m 2.570 * [taylor]: Taking taylor expansion of 1 in m 2.570 * [taylor]: Taking taylor expansion of m in m 2.570 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in m 2.570 * [taylor]: Taking taylor expansion of (/ m v) in m 2.570 * [taylor]: Taking taylor expansion of m in m 2.570 * [taylor]: Taking taylor expansion of v in m 2.570 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in m 2.570 * [taylor]: Taking taylor expansion of 1 in m 2.570 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m 2.570 * [taylor]: Taking taylor expansion of (pow m 2) in m 2.570 * [taylor]: Taking taylor expansion of m in m 2.570 * [taylor]: Taking taylor expansion of v in m 2.570 * [taylor]: Taking taylor expansion of (* (- 1 m) (- (/ m v) (+ 1 (/ (pow m 2) v)))) in m 2.570 * [taylor]: Taking taylor expansion of (- 1 m) in m 2.570 * [taylor]: Taking taylor expansion of 1 in m 2.571 * [taylor]: Taking taylor expansion of m in m 2.571 * [taylor]: Taking taylor expansion of (- (/ m v) (+ 1 (/ (pow m 2) v))) in m 2.571 * [taylor]: Taking taylor expansion of (/ m v) in m 2.571 * [taylor]: Taking taylor expansion of m in m 2.571 * [taylor]: Taking taylor expansion of v in m 2.571 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 2) v)) in m 2.571 * [taylor]: Taking taylor expansion of 1 in m 2.571 * [taylor]: Taking taylor expansion of (/ (pow m 2) v) in m 2.571 * [taylor]: Taking taylor expansion of (pow m 2) in m 2.571 * [taylor]: Taking taylor expansion of m in m 2.571 * [taylor]: Taking taylor expansion of v in m 2.572 * [taylor]: Taking taylor expansion of -1 in v 2.573 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1) in v 2.573 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.573 * [taylor]: Taking taylor expansion of v in v 2.573 * [taylor]: Taking taylor expansion of 1 in v 2.583 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 v))) in v 2.583 * [taylor]: Taking taylor expansion of (* 2 (/ 1 v)) in v 2.583 * [taylor]: Taking taylor expansion of 2 in v 2.583 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.583 * [taylor]: Taking taylor expansion of v in v 2.588 * [approximate]: Taking taylor expansion of (* (- (/ v m) (+ (/ v (pow m 2)) 1)) (- 1 (/ 1 m))) in (m v) around 0 2.588 * [taylor]: Taking taylor expansion of (* (- (/ v m) (+ (/ v (pow m 2)) 1)) (- 1 (/ 1 m))) in v 2.588 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in v 2.588 * [taylor]: Taking taylor expansion of (/ v m) in v 2.588 * [taylor]: Taking taylor expansion of v in v 2.588 * [taylor]: Taking taylor expansion of m in v 2.589 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in v 2.589 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v 2.589 * [taylor]: Taking taylor expansion of v in v 2.589 * [taylor]: Taking taylor expansion of (pow m 2) in v 2.589 * [taylor]: Taking taylor expansion of m in v 2.589 * [taylor]: Taking taylor expansion of 1 in v 2.589 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in v 2.589 * [taylor]: Taking taylor expansion of 1 in v 2.589 * [taylor]: Taking taylor expansion of (/ 1 m) in v 2.589 * [taylor]: Taking taylor expansion of m in v 2.590 * [taylor]: Taking taylor expansion of (* (- (/ v m) (+ (/ v (pow m 2)) 1)) (- 1 (/ 1 m))) in m 2.590 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in m 2.590 * [taylor]: Taking taylor expansion of (/ v m) in m 2.590 * [taylor]: Taking taylor expansion of v in m 2.590 * [taylor]: Taking taylor expansion of m in m 2.590 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in m 2.590 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m 2.590 * [taylor]: Taking taylor expansion of v in m 2.590 * [taylor]: Taking taylor expansion of (pow m 2) in m 2.590 * [taylor]: Taking taylor expansion of m in m 2.590 * [taylor]: Taking taylor expansion of 1 in m 2.590 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m 2.590 * [taylor]: Taking taylor expansion of 1 in m 2.590 * [taylor]: Taking taylor expansion of (/ 1 m) in m 2.590 * [taylor]: Taking taylor expansion of m in m 2.590 * [taylor]: Taking taylor expansion of (* (- (/ v m) (+ (/ v (pow m 2)) 1)) (- 1 (/ 1 m))) in m 2.590 * [taylor]: Taking taylor expansion of (- (/ v m) (+ (/ v (pow m 2)) 1)) in m 2.591 * [taylor]: Taking taylor expansion of (/ v m) in m 2.591 * [taylor]: Taking taylor expansion of v in m 2.591 * [taylor]: Taking taylor expansion of m in m 2.591 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) 1) in m 2.591 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m 2.591 * [taylor]: Taking taylor expansion of v in m 2.591 * [taylor]: Taking taylor expansion of (pow m 2) in m 2.591 * [taylor]: Taking taylor expansion of m in m 2.591 * [taylor]: Taking taylor expansion of 1 in m 2.591 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m 2.591 * [taylor]: Taking taylor expansion of 1 in m 2.591 * [taylor]: Taking taylor expansion of (/ 1 m) in m 2.591 * [taylor]: Taking taylor expansion of m in m 2.592 * [taylor]: Taking taylor expansion of v in v 2.595 * [taylor]: Taking taylor expansion of (neg (* 2 v)) in v 2.595 * [taylor]: Taking taylor expansion of (* 2 v) in v 2.595 * [taylor]: Taking taylor expansion of 2 in v 2.595 * [taylor]: Taking taylor expansion of v in v 2.599 * [taylor]: Taking taylor expansion of (+ v 1) in v 2.599 * [taylor]: Taking taylor expansion of v in v 2.599 * [taylor]: Taking taylor expansion of 1 in v 2.606 * [approximate]: Taking taylor expansion of (* (- (+ (/ v (pow m 2)) (/ v m)) 1) (+ (/ 1 m) 1)) in (m v) around 0 2.606 * [taylor]: Taking taylor expansion of (* (- (+ (/ v (pow m 2)) (/ v m)) 1) (+ (/ 1 m) 1)) in v 2.606 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in v 2.606 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in v 2.606 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in v 2.606 * [taylor]: Taking taylor expansion of v in v 2.606 * [taylor]: Taking taylor expansion of (pow m 2) in v 2.606 * [taylor]: Taking taylor expansion of m in v 2.606 * [taylor]: Taking taylor expansion of (/ v m) in v 2.606 * [taylor]: Taking taylor expansion of v in v 2.606 * [taylor]: Taking taylor expansion of m in v 2.607 * [taylor]: Taking taylor expansion of 1 in v 2.607 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in v 2.607 * [taylor]: Taking taylor expansion of (/ 1 m) in v 2.607 * [taylor]: Taking taylor expansion of m in v 2.607 * [taylor]: Taking taylor expansion of 1 in v 2.607 * [taylor]: Taking taylor expansion of (* (- (+ (/ v (pow m 2)) (/ v m)) 1) (+ (/ 1 m) 1)) in m 2.607 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in m 2.607 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in m 2.607 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m 2.607 * [taylor]: Taking taylor expansion of v in m 2.607 * [taylor]: Taking taylor expansion of (pow m 2) in m 2.607 * [taylor]: Taking taylor expansion of m in m 2.607 * [taylor]: Taking taylor expansion of (/ v m) in m 2.607 * [taylor]: Taking taylor expansion of v in m 2.607 * [taylor]: Taking taylor expansion of m in m 2.608 * [taylor]: Taking taylor expansion of 1 in m 2.608 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m 2.608 * [taylor]: Taking taylor expansion of (/ 1 m) in m 2.608 * [taylor]: Taking taylor expansion of m in m 2.608 * [taylor]: Taking taylor expansion of 1 in m 2.608 * [taylor]: Taking taylor expansion of (* (- (+ (/ v (pow m 2)) (/ v m)) 1) (+ (/ 1 m) 1)) in m 2.608 * [taylor]: Taking taylor expansion of (- (+ (/ v (pow m 2)) (/ v m)) 1) in m 2.608 * [taylor]: Taking taylor expansion of (+ (/ v (pow m 2)) (/ v m)) in m 2.608 * [taylor]: Taking taylor expansion of (/ v (pow m 2)) in m 2.608 * [taylor]: Taking taylor expansion of v in m 2.608 * [taylor]: Taking taylor expansion of (pow m 2) in m 2.608 * [taylor]: Taking taylor expansion of m in m 2.608 * [taylor]: Taking taylor expansion of (/ v m) in m 2.608 * [taylor]: Taking taylor expansion of v in m 2.608 * [taylor]: Taking taylor expansion of m in m 2.609 * [taylor]: Taking taylor expansion of 1 in m 2.609 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m 2.609 * [taylor]: Taking taylor expansion of (/ 1 m) in m 2.609 * [taylor]: Taking taylor expansion of m in m 2.609 * [taylor]: Taking taylor expansion of 1 in m 2.609 * [taylor]: Taking taylor expansion of v in v 2.611 * [taylor]: Taking taylor expansion of (* 2 v) in v 2.611 * [taylor]: Taking taylor expansion of 2 in v 2.612 * [taylor]: Taking taylor expansion of v in v 2.615 * [taylor]: Taking taylor expansion of (- v 1) in v 2.615 * [taylor]: Taking taylor expansion of v in v 2.615 * [taylor]: Taking taylor expansion of 1 in v 2.619 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 2.620 * [approximate]: Taking taylor expansion of (/ (- m (pow m 2)) v) in (m v) around 0 2.620 * [taylor]: Taking taylor expansion of (/ (- m (pow m 2)) v) in v 2.620 * [taylor]: Taking taylor expansion of (- m (pow m 2)) in v 2.620 * [taylor]: Taking taylor expansion of m in v 2.620 * [taylor]: Taking taylor expansion of (pow m 2) in v 2.620 * [taylor]: Taking taylor expansion of m in v 2.620 * [taylor]: Taking taylor expansion of v in v 2.622 * [taylor]: Taking taylor expansion of (/ (- m (pow m 2)) v) in m 2.622 * [taylor]: Taking taylor expansion of (- m (pow m 2)) in m 2.622 * [taylor]: Taking taylor expansion of m in m 2.622 * [taylor]: Taking taylor expansion of (pow m 2) in m 2.622 * [taylor]: Taking taylor expansion of m in m 2.622 * [taylor]: Taking taylor expansion of v in m 2.622 * [taylor]: Taking taylor expansion of (/ (- m (pow m 2)) v) in m 2.622 * [taylor]: Taking taylor expansion of (- m (pow m 2)) in m 2.622 * [taylor]: Taking taylor expansion of m in m 2.622 * [taylor]: Taking taylor expansion of (pow m 2) in m 2.622 * [taylor]: Taking taylor expansion of m in m 2.622 * [taylor]: Taking taylor expansion of v in m 2.623 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.623 * [taylor]: Taking taylor expansion of v in v 2.624 * [taylor]: Taking taylor expansion of (neg (/ 1 v)) in v 2.624 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.624 * [taylor]: Taking taylor expansion of v in v 2.627 * [taylor]: Taking taylor expansion of 0 in v 2.630 * [taylor]: Taking taylor expansion of 0 in v 2.635 * [approximate]: Taking taylor expansion of (* (- (/ 1 m) (/ 1 (pow m 2))) v) in (m v) around 0 2.635 * [taylor]: Taking taylor expansion of (* (- (/ 1 m) (/ 1 (pow m 2))) v) in v 2.635 * [taylor]: Taking taylor expansion of (- (/ 1 m) (/ 1 (pow m 2))) in v 2.635 * [taylor]: Taking taylor expansion of (/ 1 m) in v 2.635 * [taylor]: Taking taylor expansion of m in v 2.635 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in v 2.635 * [taylor]: Taking taylor expansion of (pow m 2) in v 2.635 * [taylor]: Taking taylor expansion of m in v 2.635 * [taylor]: Taking taylor expansion of v in v 2.635 * [taylor]: Taking taylor expansion of (* (- (/ 1 m) (/ 1 (pow m 2))) v) in m 2.636 * [taylor]: Taking taylor expansion of (- (/ 1 m) (/ 1 (pow m 2))) in m 2.636 * [taylor]: Taking taylor expansion of (/ 1 m) in m 2.636 * [taylor]: Taking taylor expansion of m in m 2.636 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m 2.636 * [taylor]: Taking taylor expansion of (pow m 2) in m 2.636 * [taylor]: Taking taylor expansion of m in m 2.636 * [taylor]: Taking taylor expansion of v in m 2.636 * [taylor]: Taking taylor expansion of (* (- (/ 1 m) (/ 1 (pow m 2))) v) in m 2.636 * [taylor]: Taking taylor expansion of (- (/ 1 m) (/ 1 (pow m 2))) in m 2.636 * [taylor]: Taking taylor expansion of (/ 1 m) in m 2.636 * [taylor]: Taking taylor expansion of m in m 2.636 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m 2.636 * [taylor]: Taking taylor expansion of (pow m 2) in m 2.637 * [taylor]: Taking taylor expansion of m in m 2.637 * [taylor]: Taking taylor expansion of v in m 2.637 * [taylor]: Taking taylor expansion of (* -1 v) in v 2.637 * [taylor]: Taking taylor expansion of -1 in v 2.637 * [taylor]: Taking taylor expansion of v in v 2.639 * [taylor]: Taking taylor expansion of v in v 2.642 * [taylor]: Taking taylor expansion of 0 in v 2.645 * [taylor]: Taking taylor expansion of 0 in v 2.650 * [taylor]: Taking taylor expansion of 0 in v 2.654 * [approximate]: Taking taylor expansion of (* v (+ (/ 1 m) (/ 1 (pow m 2)))) in (m v) around 0 2.654 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) (/ 1 (pow m 2)))) in v 2.654 * [taylor]: Taking taylor expansion of v in v 2.654 * [taylor]: Taking taylor expansion of (+ (/ 1 m) (/ 1 (pow m 2))) in v 2.654 * [taylor]: Taking taylor expansion of (/ 1 m) in v 2.654 * [taylor]: Taking taylor expansion of m in v 2.654 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in v 2.654 * [taylor]: Taking taylor expansion of (pow m 2) in v 2.654 * [taylor]: Taking taylor expansion of m in v 2.655 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) (/ 1 (pow m 2)))) in m 2.655 * [taylor]: Taking taylor expansion of v in m 2.655 * [taylor]: Taking taylor expansion of (+ (/ 1 m) (/ 1 (pow m 2))) in m 2.655 * [taylor]: Taking taylor expansion of (/ 1 m) in m 2.655 * [taylor]: Taking taylor expansion of m in m 2.655 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m 2.655 * [taylor]: Taking taylor expansion of (pow m 2) in m 2.655 * [taylor]: Taking taylor expansion of m in m 2.656 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 m) (/ 1 (pow m 2)))) in m 2.656 * [taylor]: Taking taylor expansion of v in m 2.656 * [taylor]: Taking taylor expansion of (+ (/ 1 m) (/ 1 (pow m 2))) in m 2.656 * [taylor]: Taking taylor expansion of (/ 1 m) in m 2.656 * [taylor]: Taking taylor expansion of m in m 2.656 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m 2.656 * [taylor]: Taking taylor expansion of (pow m 2) in m 2.656 * [taylor]: Taking taylor expansion of m in m 2.657 * [taylor]: Taking taylor expansion of v in v 2.658 * [taylor]: Taking taylor expansion of v in v 2.660 * [taylor]: Taking taylor expansion of 0 in v 2.664 * [taylor]: Taking taylor expansion of 0 in v 2.668 * [taylor]: Taking taylor expansion of 0 in v 2.670 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1) 2.671 * [approximate]: Taking taylor expansion of (- m (pow m 2)) in (m) around 0 2.671 * [taylor]: Taking taylor expansion of (- m (pow m 2)) in m 2.671 * [taylor]: Taking taylor expansion of m in m 2.671 * [taylor]: Taking taylor expansion of (pow m 2) in m 2.671 * [taylor]: Taking taylor expansion of m in m 2.671 * [taylor]: Taking taylor expansion of (- m (pow m 2)) in m 2.671 * [taylor]: Taking taylor expansion of m in m 2.671 * [taylor]: Taking taylor expansion of (pow m 2) in m 2.671 * [taylor]: Taking taylor expansion of m in m 2.676 * [approximate]: Taking taylor expansion of (- (/ 1 m) (/ 1 (pow m 2))) in (m) around 0 2.676 * [taylor]: Taking taylor expansion of (- (/ 1 m) (/ 1 (pow m 2))) in m 2.676 * [taylor]: Taking taylor expansion of (/ 1 m) in m 2.676 * [taylor]: Taking taylor expansion of m in m 2.677 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m 2.677 * [taylor]: Taking taylor expansion of (pow m 2) in m 2.677 * [taylor]: Taking taylor expansion of m in m 2.677 * [taylor]: Taking taylor expansion of (- (/ 1 m) (/ 1 (pow m 2))) in m 2.677 * [taylor]: Taking taylor expansion of (/ 1 m) in m 2.677 * [taylor]: Taking taylor expansion of m in m 2.677 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m 2.677 * [taylor]: Taking taylor expansion of (pow m 2) in m 2.677 * [taylor]: Taking taylor expansion of m in m 2.690 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 m) (/ 1 (pow m 2)))) in (m) around 0 2.690 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 m) (/ 1 (pow m 2)))) in m 2.690 * [taylor]: Taking taylor expansion of (+ (/ 1 m) (/ 1 (pow m 2))) in m 2.690 * [taylor]: Taking taylor expansion of (/ 1 m) in m 2.690 * [taylor]: Taking taylor expansion of m in m 2.690 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m 2.690 * [taylor]: Taking taylor expansion of (pow m 2) in m 2.690 * [taylor]: Taking taylor expansion of m in m 2.690 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 m) (/ 1 (pow m 2)))) in m 2.690 * [taylor]: Taking taylor expansion of (+ (/ 1 m) (/ 1 (pow m 2))) in m 2.690 * [taylor]: Taking taylor expansion of (/ 1 m) in m 2.690 * [taylor]: Taking taylor expansion of m in m 2.691 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m 2.691 * [taylor]: Taking taylor expansion of (pow m 2) in m 2.691 * [taylor]: Taking taylor expansion of m in m 2.703 * * * [progress]: simplifying candidates 2.704 * [simplify]: Simplifying using # : (*.f64 (-.f64 (*.f64 (/.f64 (-.f64 m (*.f64 m m)) v) (/.f64 (-.f64 m (*.f64 m m)) v)) (*.f64 1 1)) (-.f64 1 m)) (*.f64 (-.f64 (pow.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 3) (pow.f64 1 3)) (-.f64 1 m)) (*.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) (-.f64 (*.f64 1 1) (*.f64 m m))) (*.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) (-.f64 1 m)) (*.f64 (-.f64 (/.f64 (sqrt.f64 (-.f64 m (*.f64 m m))) (sqrt.f64 v)) 1) (-.f64 1 m)) (*.f64 (-.f64 (sqrt.f64 (/.f64 (-.f64 m (*.f64 m m)) v)) 1) (-.f64 1 m)) (*.f64 (-.f64 (/.f64 (sqrt.f64 (-.f64 m (*.f64 m m))) (sqrt.f64 v)) 1) (-.f64 1 m)) (*.f64 (-.f64 (/.f64 (sqrt.f64 (-.f64 m (*.f64 m m))) (sqrt.f64 v)) (sqrt.f64 1)) (-.f64 1 m)) (*.f64 (-.f64 (sqrt.f64 (/.f64 (-.f64 m (*.f64 m m)) v)) 1) (-.f64 1 m)) (*.f64 (-.f64 (sqrt.f64 (/.f64 (-.f64 m (*.f64 m m)) v)) (sqrt.f64 1)) (-.f64 1 m)) (*.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) (-.f64 1 m)) (*.f64 (sqrt.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1)) (-.f64 1 m)) (*.f64 (cbrt.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1)) (-.f64 1 m)) (*.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) 1) (*.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) (+.f64 1 (sqrt.f64 m))) (*.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) (+.f64 (sqrt.f64 1) (sqrt.f64 m))) (*.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) 1) (*.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) (sqrt.f64 (-.f64 1 m))) (*.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m)))) (*.f64 1 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1)) (*.f64 (neg.f64 m) (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1)) (*.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) 1) (*.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) (neg.f64 m)) (*.f64 (sqrt.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1)) (sqrt.f64 (-.f64 1 m))) (*.f64 (sqrt.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1)) (sqrt.f64 (-.f64 1 m))) (*.f64 (-.f64 (*.f64 (/.f64 (-.f64 m (*.f64 m m)) v) (/.f64 (-.f64 m (*.f64 m m)) v)) (*.f64 1 1)) (-.f64 (*.f64 1 1) (*.f64 m m))) (*.f64 (+.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) (+.f64 1 m)) (*.f64 (-.f64 (*.f64 (/.f64 (-.f64 m (*.f64 m m)) v) (/.f64 (-.f64 m (*.f64 m m)) v)) (*.f64 1 1)) (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 (+.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) (+.f64 (*.f64 1 1) (+.f64 (*.f64 m m) (*.f64 1 m)))) (*.f64 (-.f64 (pow.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 3) (pow.f64 1 3)) (-.f64 (*.f64 1 1) (*.f64 m m))) (*.f64 (+.f64 (*.f64 (/.f64 (-.f64 m (*.f64 m m)) v) (/.f64 (-.f64 m (*.f64 m m)) v)) (+.f64 (*.f64 1 1) (*.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1))) (+.f64 1 m)) (*.f64 (-.f64 (pow.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 3) (pow.f64 1 3)) (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 (+.f64 (*.f64 (/.f64 (-.f64 m (*.f64 m m)) v) (/.f64 (-.f64 m (*.f64 m m)) v)) (+.f64 (*.f64 1 1) (*.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 m m) (*.f64 1 m)))) (sqrt.f64 (*.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) (-.f64 1 m))) (sqrt.f64 (*.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) (-.f64 1 m))) (*.f64 (*.f64 (*.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) (-.f64 1 m)) (*.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) (-.f64 1 m))) (*.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) (-.f64 1 m))) (*.f64 (cbrt.f64 (*.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) (-.f64 1 m))) (cbrt.f64 (*.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) (-.f64 1 m)))) (cbrt.f64 (*.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) (-.f64 1 m))) (*.f64 (*.f64 (*.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1)) (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1)) (*.f64 (*.f64 (-.f64 1 m) (-.f64 1 m)) (-.f64 1 m))) (exp.f64 (*.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) (-.f64 1 m))) (log.f64 (*.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) (-.f64 1 m))) (+.f64 (log.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1)) (log.f64 (-.f64 1 m))) (*.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) (-.f64 1 m)) (*.f64 v (+.f64 m (*.f64 m m))) (*.f64 v (+.f64 (*.f64 m m) (+.f64 (*.f64 (*.f64 m m) (*.f64 m m)) (*.f64 m (*.f64 m m))))) (/.f64 v (-.f64 1 m)) (/.f64 v (-.f64 (sqrt.f64 m) m)) (/.f64 v (-.f64 m (*.f64 m m))) (/.f64 v (sqrt.f64 (-.f64 m (*.f64 m m)))) (/.f64 v (cbrt.f64 (-.f64 m (*.f64 m m)))) (/.f64 (-.f64 m (*.f64 m m)) 1) (/.f64 (-.f64 m (*.f64 m m)) (sqrt.f64 v)) (/.f64 (-.f64 m (*.f64 m m)) (*.f64 (cbrt.f64 v) (cbrt.f64 v))) (/.f64 v (-.f64 m (*.f64 m m))) (/.f64 1 v) (/.f64 m 1) (/.f64 (-.f64 1 m) v) (/.f64 m (sqrt.f64 v)) (/.f64 (-.f64 1 m) (sqrt.f64 v)) (/.f64 m (*.f64 (cbrt.f64 v) (cbrt.f64 v))) (/.f64 (-.f64 1 m) (cbrt.f64 v)) (/.f64 (+.f64 (sqrt.f64 m) m) 1) (/.f64 (-.f64 (sqrt.f64 m) m) v) (/.f64 (+.f64 (sqrt.f64 m) m) (sqrt.f64 v)) (/.f64 (-.f64 (sqrt.f64 m) m) (sqrt.f64 v)) (/.f64 (+.f64 (sqrt.f64 m) m) (*.f64 (cbrt.f64 v) (cbrt.f64 v))) (/.f64 (-.f64 (sqrt.f64 m) m) (cbrt.f64 v)) (/.f64 1 1) (/.f64 (-.f64 m (*.f64 m m)) v) (/.f64 1 (sqrt.f64 v)) (/.f64 (-.f64 m (*.f64 m m)) (sqrt.f64 v)) (/.f64 1 (*.f64 (cbrt.f64 v) (cbrt.f64 v))) (/.f64 (-.f64 m (*.f64 m m)) (cbrt.f64 v)) (/.f64 (sqrt.f64 (-.f64 m (*.f64 m m))) 1) (/.f64 (sqrt.f64 (-.f64 m (*.f64 m m))) v) (/.f64 (sqrt.f64 (-.f64 m (*.f64 m m))) (sqrt.f64 v)) (/.f64 (sqrt.f64 (-.f64 m (*.f64 m m))) (sqrt.f64 v)) (/.f64 (sqrt.f64 (-.f64 m (*.f64 m m))) (*.f64 (cbrt.f64 v) (cbrt.f64 v))) (/.f64 (sqrt.f64 (-.f64 m (*.f64 m m))) (cbrt.f64 v)) (/.f64 (*.f64 (cbrt.f64 (-.f64 m (*.f64 m m))) (cbrt.f64 (-.f64 m (*.f64 m m)))) 1) (/.f64 (cbrt.f64 (-.f64 m (*.f64 m m))) v) (/.f64 (*.f64 (cbrt.f64 (-.f64 m (*.f64 m m))) (cbrt.f64 (-.f64 m (*.f64 m m)))) (sqrt.f64 v)) (/.f64 (cbrt.f64 (-.f64 m (*.f64 m m))) (sqrt.f64 v)) (/.f64 (*.f64 (cbrt.f64 (-.f64 m (*.f64 m m))) (cbrt.f64 (-.f64 m (*.f64 m m)))) (*.f64 (cbrt.f64 v) (cbrt.f64 v))) (/.f64 (cbrt.f64 (-.f64 m (*.f64 m m))) (cbrt.f64 v)) (/.f64 m v) (/.f64 (*.f64 m m) v) (neg.f64 (-.f64 m (*.f64 m m))) (neg.f64 v) (sqrt.f64 (/.f64 (-.f64 m (*.f64 m m)) v)) (sqrt.f64 (/.f64 (-.f64 m (*.f64 m m)) v)) (*.f64 (*.f64 (/.f64 (-.f64 m (*.f64 m m)) v) (/.f64 (-.f64 m (*.f64 m m)) v)) (/.f64 (-.f64 m (*.f64 m m)) v)) (*.f64 (cbrt.f64 (/.f64 (-.f64 m (*.f64 m m)) v)) (cbrt.f64 (/.f64 (-.f64 m (*.f64 m m)) v))) (cbrt.f64 (/.f64 (-.f64 m (*.f64 m m)) v)) (/.f64 (*.f64 (*.f64 (-.f64 m (*.f64 m m)) (-.f64 m (*.f64 m m))) (-.f64 m (*.f64 m m))) (*.f64 (*.f64 v v) v)) (exp.f64 (/.f64 (-.f64 m (*.f64 m m)) v)) (log.f64 (/.f64 (-.f64 m (*.f64 m m)) v)) (-.f64 (log.f64 (-.f64 m (*.f64 m m))) (log.f64 v)) (-.f64 1 m) (+.f64 (sqrt.f64 m) m) (-.f64 (sqrt.f64 m) m) (-.f64 (*.f64 m m) (*.f64 (*.f64 m m) (*.f64 m m))) (+.f64 m (*.f64 m m)) (neg.f64 (*.f64 m m)) (-.f64 (pow.f64 m 3) (pow.f64 (*.f64 m m) 3)) (+.f64 (*.f64 m m) (+.f64 (*.f64 (*.f64 m m) (*.f64 m m)) (*.f64 m (*.f64 m m)))) (sqrt.f64 (-.f64 m (*.f64 m m))) (sqrt.f64 (-.f64 m (*.f64 m m))) (*.f64 (*.f64 (-.f64 m (*.f64 m m)) (-.f64 m (*.f64 m m))) (-.f64 m (*.f64 m m))) (*.f64 (cbrt.f64 (-.f64 m (*.f64 m m))) (cbrt.f64 (-.f64 m (*.f64 m m)))) (cbrt.f64 (-.f64 m (*.f64 m m))) (exp.f64 (-.f64 m (*.f64 m m))) (log.f64 (-.f64 m (*.f64 m m))) (/.f64 (exp.f64 m) (exp.f64 (*.f64 m m))) (-.f64 (/.f64 m v) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v)))) (-.f64 (+.f64 m (/.f64 (pow.f64 m 3) v)) (*.f64 2 (/.f64 (pow.f64 m 2) v))) (-.f64 (+.f64 m (/.f64 (pow.f64 m 3) v)) (*.f64 2 (/.f64 (pow.f64 m 2) v))) (-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v)) (-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v)) (-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v)) (-.f64 m (pow.f64 m 2)) (-.f64 m (pow.f64 m 2)) (-.f64 m (pow.f64 m 2)) 2.768 * * [simplify]: iteration 0 : 5042 enodes (cost 1897 ) 2.777 * [simplify]: Simplified to: (*.f64 (-.f64 (*.f64 (/.f64 (-.f64 m (*.f64 m m)) v) (/.f64 (-.f64 m (*.f64 m m)) v)) 1) (-.f64 1 m)) (*.f64 (-.f64 1 m) (-.f64 (pow.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 3) 1)) (*.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) (-.f64 1 (*.f64 m m))) (*.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) (-.f64 1 (pow.f64 m 3))) (*.f64 (-.f64 1 m) (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1)) (*.f64 (-.f64 1 m) (-.f64 (/.f64 (sqrt.f64 (-.f64 m (*.f64 m m))) (sqrt.f64 v)) 1)) (*.f64 (-.f64 1 m) (-.f64 (sqrt.f64 (/.f64 (-.f64 m (*.f64 m m)) v)) 1)) (*.f64 (-.f64 1 m) (-.f64 (/.f64 (sqrt.f64 (-.f64 m (*.f64 m m))) (sqrt.f64 v)) 1)) (*.f64 (-.f64 1 m) (-.f64 (/.f64 (sqrt.f64 (-.f64 m (*.f64 m m))) (sqrt.f64 v)) 1)) (*.f64 (-.f64 1 m) (-.f64 (sqrt.f64 (/.f64 (-.f64 m (*.f64 m m)) v)) 1)) (*.f64 (-.f64 1 m) (-.f64 (sqrt.f64 (/.f64 (-.f64 m (*.f64 m m)) v)) 1)) (*.f64 (-.f64 1 m) (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1)) (*.f64 (-.f64 1 m) (sqrt.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1))) (*.f64 (-.f64 1 m) (cbrt.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1))) (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) (*.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) (+.f64 1 (sqrt.f64 m))) (*.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) (*.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) (sqrt.f64 (-.f64 1 m))) (*.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m)))) (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) (*.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) (neg.f64 m)) (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) (*.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) (neg.f64 m)) (*.f64 (sqrt.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1)) (sqrt.f64 (-.f64 1 m))) (*.f64 (sqrt.f64 (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1)) (sqrt.f64 (-.f64 1 m))) (*.f64 (-.f64 (*.f64 (/.f64 (-.f64 m (*.f64 m m)) v) (/.f64 (-.f64 m (*.f64 m m)) v)) 1) (-.f64 1 (*.f64 m m))) (*.f64 (+.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) (+.f64 m 1)) (*.f64 (-.f64 (*.f64 (/.f64 (-.f64 m (*.f64 m m)) v) (/.f64 (-.f64 m (*.f64 m m)) v)) 1) (-.f64 1 (pow.f64 m 3))) (*.f64 (+.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1) (+.f64 (*.f64 m m) (+.f64 m 1))) (*.f64 (-.f64 (pow.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 3) 1) (-.f64 1 (*.f64 m m))) (*.f64 (+.f64 m 1) (+.f64 1 (*.f64 (/.f64 (-.f64 m (*.f64 m m)) v) (+.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1)))) (*.f64 (-.f64 (pow.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 3) 1) (-.f64 1 (pow.f64 m 3))) (*.f64 (+.f64 (*.f64 m m) (+.f64 m 1)) (+.f64 1 (*.f64 (/.f64 (-.f64 m (*.f64 m m)) v) (+.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1)))) (sqrt.f64 (*.f64 (-.f64 1 m) (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1))) (sqrt.f64 (*.f64 (-.f64 1 m) (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1))) (pow.f64 (*.f64 (-.f64 1 m) (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1)) 3) (*.f64 (cbrt.f64 (*.f64 (-.f64 1 m) (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1))) (cbrt.f64 (*.f64 (-.f64 1 m) (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1)))) (cbrt.f64 (*.f64 (-.f64 1 m) (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1))) (pow.f64 (*.f64 (-.f64 1 m) (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1)) 3) (exp.f64 (*.f64 (-.f64 1 m) (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1))) (log.f64 (*.f64 (-.f64 1 m) (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1))) (log.f64 (*.f64 (-.f64 1 m) (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1))) (*.f64 (-.f64 1 m) (-.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 1)) (*.f64 v (+.f64 m (*.f64 m m))) (*.f64 v (+.f64 (*.f64 m m) (*.f64 (pow.f64 m 3) (+.f64 m 1)))) (/.f64 v (-.f64 1 m)) (/.f64 v (-.f64 (sqrt.f64 m) m)) (/.f64 v (-.f64 m (*.f64 m m))) (/.f64 v (sqrt.f64 (-.f64 m (*.f64 m m)))) (/.f64 v (cbrt.f64 (-.f64 m (*.f64 m m)))) (-.f64 m (*.f64 m m)) (/.f64 (-.f64 m (*.f64 m m)) (sqrt.f64 v)) (/.f64 (-.f64 m (*.f64 m m)) (*.f64 (cbrt.f64 v) (cbrt.f64 v))) (/.f64 v (-.f64 m (*.f64 m m))) (/.f64 1 v) m (/.f64 (-.f64 1 m) v) (/.f64 m (sqrt.f64 v)) (/.f64 (-.f64 1 m) (sqrt.f64 v)) (/.f64 m (*.f64 (cbrt.f64 v) (cbrt.f64 v))) (/.f64 (-.f64 1 m) (cbrt.f64 v)) (+.f64 m (sqrt.f64 m)) (/.f64 (-.f64 (sqrt.f64 m) m) v) (/.f64 (+.f64 m (sqrt.f64 m)) (sqrt.f64 v)) (/.f64 (-.f64 (sqrt.f64 m) m) (sqrt.f64 v)) (/.f64 (+.f64 m (sqrt.f64 m)) (*.f64 (cbrt.f64 v) (cbrt.f64 v))) (/.f64 (-.f64 (sqrt.f64 m) m) (cbrt.f64 v)) 1 (/.f64 (-.f64 m (*.f64 m m)) v) (/.f64 1 (sqrt.f64 v)) (/.f64 (-.f64 m (*.f64 m m)) (sqrt.f64 v)) (/.f64 1 (*.f64 (cbrt.f64 v) (cbrt.f64 v))) (/.f64 (-.f64 m (*.f64 m m)) (cbrt.f64 v)) (sqrt.f64 (-.f64 m (*.f64 m m))) (/.f64 (sqrt.f64 (-.f64 m (*.f64 m m))) v) (/.f64 (sqrt.f64 (-.f64 m (*.f64 m m))) (sqrt.f64 v)) (/.f64 (sqrt.f64 (-.f64 m (*.f64 m m))) (sqrt.f64 v)) (/.f64 (sqrt.f64 (-.f64 m (*.f64 m m))) (*.f64 (cbrt.f64 v) (cbrt.f64 v))) (/.f64 (sqrt.f64 (-.f64 m (*.f64 m m))) (cbrt.f64 v)) (*.f64 (cbrt.f64 (-.f64 m (*.f64 m m))) (cbrt.f64 (-.f64 m (*.f64 m m)))) (/.f64 (cbrt.f64 (-.f64 m (*.f64 m m))) v) (/.f64 (*.f64 (cbrt.f64 (-.f64 m (*.f64 m m))) (cbrt.f64 (-.f64 m (*.f64 m m)))) (sqrt.f64 v)) (/.f64 (cbrt.f64 (-.f64 m (*.f64 m m))) (sqrt.f64 v)) (/.f64 (*.f64 (cbrt.f64 (-.f64 m (*.f64 m m))) (cbrt.f64 (-.f64 m (*.f64 m m)))) (*.f64 (cbrt.f64 v) (cbrt.f64 v))) (/.f64 (cbrt.f64 (-.f64 m (*.f64 m m))) (cbrt.f64 v)) (/.f64 m v) (*.f64 m (/.f64 m v)) (*.f64 m (+.f64 -1 m)) (neg.f64 v) (sqrt.f64 (/.f64 (-.f64 m (*.f64 m m)) v)) (sqrt.f64 (/.f64 (-.f64 m (*.f64 m m)) v)) (pow.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 3) (*.f64 (cbrt.f64 (/.f64 (-.f64 m (*.f64 m m)) v)) (cbrt.f64 (/.f64 (-.f64 m (*.f64 m m)) v))) (cbrt.f64 (/.f64 (-.f64 m (*.f64 m m)) v)) (pow.f64 (/.f64 (-.f64 m (*.f64 m m)) v) 3) (exp.f64 (/.f64 (-.f64 m (*.f64 m m)) v)) (log.f64 (/.f64 (-.f64 m (*.f64 m m)) v)) (log.f64 (/.f64 (-.f64 m (*.f64 m m)) v)) (-.f64 1 m) (+.f64 m (sqrt.f64 m)) (-.f64 (sqrt.f64 m) m) (-.f64 (*.f64 m m) (pow.f64 m 4)) (+.f64 m (*.f64 m m)) (*.f64 m (neg.f64 m)) (-.f64 (pow.f64 m 3) (pow.f64 m 6)) (+.f64 (*.f64 m m) (*.f64 (pow.f64 m 3) (+.f64 m 1))) (sqrt.f64 (-.f64 m (*.f64 m m))) (sqrt.f64 (-.f64 m (*.f64 m m))) (pow.f64 (-.f64 m (*.f64 m m)) 3) (*.f64 (cbrt.f64 (-.f64 m (*.f64 m m))) (cbrt.f64 (-.f64 m (*.f64 m m)))) (cbrt.f64 (-.f64 m (*.f64 m m))) (exp.f64 (-.f64 m (*.f64 m m))) (log.f64 (-.f64 m (*.f64 m m))) (exp.f64 (-.f64 m (*.f64 m m))) (-.f64 (/.f64 m v) (+.f64 1 (*.f64 (*.f64 m (/.f64 m v)) 2))) (-.f64 (+.f64 m (/.f64 (pow.f64 m 3) v)) (*.f64 (*.f64 m (/.f64 m v)) 2)) (-.f64 (+.f64 m (/.f64 (pow.f64 m 3) v)) (*.f64 (*.f64 m (/.f64 m v)) 2)) (/.f64 (-.f64 m (*.f64 m m)) v) (/.f64 (-.f64 m (*.f64 m m)) v) (/.f64 (-.f64 m (*.f64 m m)) v) (-.f64 m (*.f64 m m)) (-.f64 m (*.f64 m m)) (-.f64 m (*.f64 m m)) 2.777 * * * [progress]: adding candidates to table 3.214 * * [progress]: iteration 4 / 4 3.214 * * * [progress]: picking best candidate 3.252 * * * * [pick]: Picked # 3.253 * * * [progress]: localizing error 3.285 * * * [progress]: generating rewritten candidates 3.285 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 3.306 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 3.366 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 3.381 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 3.431 * * * [progress]: generating series expansions 3.431 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 3.434 * [approximate]: Taking taylor expansion of (/ (* m (- 1 (pow m 3))) (* v (+ m (+ (pow m 2) 1)))) in (m v) around 0 3.434 * [taylor]: Taking taylor expansion of (/ (* m (- 1 (pow m 3))) (* v (+ m (+ (pow m 2) 1)))) in v 3.434 * [taylor]: Taking taylor expansion of (* m (- 1 (pow m 3))) in v 3.434 * [taylor]: Taking taylor expansion of m in v 3.434 * [taylor]: Taking taylor expansion of (- 1 (pow m 3)) in v 3.434 * [taylor]: Taking taylor expansion of 1 in v 3.434 * [taylor]: Taking taylor expansion of (pow m 3) in v 3.434 * [taylor]: Taking taylor expansion of m in v 3.434 * [taylor]: Taking taylor expansion of (* v (+ m (+ (pow m 2) 1))) in v 3.434 * [taylor]: Taking taylor expansion of v in v 3.434 * [taylor]: Taking taylor expansion of (+ m (+ (pow m 2) 1)) in v 3.434 * [taylor]: Taking taylor expansion of m in v 3.434 * [taylor]: Taking taylor expansion of (+ (pow m 2) 1) in v 3.434 * [taylor]: Taking taylor expansion of (pow m 2) in v 3.434 * [taylor]: Taking taylor expansion of m in v 3.434 * [taylor]: Taking taylor expansion of 1 in v 3.440 * [taylor]: Taking taylor expansion of (/ (* m (- 1 (pow m 3))) (* v (+ m (+ (pow m 2) 1)))) in m 3.440 * [taylor]: Taking taylor expansion of (* m (- 1 (pow m 3))) in m 3.440 * [taylor]: Taking taylor expansion of m in m 3.440 * [taylor]: Taking taylor expansion of (- 1 (pow m 3)) in m 3.440 * [taylor]: Taking taylor expansion of 1 in m 3.440 * [taylor]: Taking taylor expansion of (pow m 3) in m 3.440 * [taylor]: Taking taylor expansion of m in m 3.440 * [taylor]: Taking taylor expansion of (* v (+ m (+ (pow m 2) 1))) in m 3.440 * [taylor]: Taking taylor expansion of v in m 3.440 * [taylor]: Taking taylor expansion of (+ m (+ (pow m 2) 1)) in m 3.440 * [taylor]: Taking taylor expansion of m in m 3.440 * [taylor]: Taking taylor expansion of (+ (pow m 2) 1) in m 3.440 * [taylor]: Taking taylor expansion of (pow m 2) in m 3.440 * [taylor]: Taking taylor expansion of m in m 3.440 * [taylor]: Taking taylor expansion of 1 in m 3.441 * [taylor]: Taking taylor expansion of (/ (* m (- 1 (pow m 3))) (* v (+ m (+ (pow m 2) 1)))) in m 3.441 * [taylor]: Taking taylor expansion of (* m (- 1 (pow m 3))) in m 3.441 * [taylor]: Taking taylor expansion of m in m 3.441 * [taylor]: Taking taylor expansion of (- 1 (pow m 3)) in m 3.441 * [taylor]: Taking taylor expansion of 1 in m 3.441 * [taylor]: Taking taylor expansion of (pow m 3) in m 3.441 * [taylor]: Taking taylor expansion of m in m 3.441 * [taylor]: Taking taylor expansion of (* v (+ m (+ (pow m 2) 1))) in m 3.441 * [taylor]: Taking taylor expansion of v in m 3.441 * [taylor]: Taking taylor expansion of (+ m (+ (pow m 2) 1)) in m 3.441 * [taylor]: Taking taylor expansion of m in m 3.441 * [taylor]: Taking taylor expansion of (+ (pow m 2) 1) in m 3.441 * [taylor]: Taking taylor expansion of (pow m 2) in m 3.441 * [taylor]: Taking taylor expansion of m in m 3.441 * [taylor]: Taking taylor expansion of 1 in m 3.442 * [taylor]: Taking taylor expansion of (/ 1 v) in v 3.442 * [taylor]: Taking taylor expansion of v in v 3.444 * [taylor]: Taking taylor expansion of (neg (/ 1 v)) in v 3.444 * [taylor]: Taking taylor expansion of (/ 1 v) in v 3.444 * [taylor]: Taking taylor expansion of v in v 3.448 * [taylor]: Taking taylor expansion of 0 in v 3.454 * [taylor]: Taking taylor expansion of 0 in v 3.459 * [approximate]: Taking taylor expansion of (/ (* v (- 1 (/ 1 (pow m 3)))) (* m (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)))) in (m v) around 0 3.459 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 (pow m 3)))) (* m (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)))) in v 3.459 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 (pow m 3)))) in v 3.459 * [taylor]: Taking taylor expansion of v in v 3.459 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow m 3))) in v 3.459 * [taylor]: Taking taylor expansion of 1 in v 3.459 * [taylor]: Taking taylor expansion of (/ 1 (pow m 3)) in v 3.459 * [taylor]: Taking taylor expansion of (pow m 3) in v 3.459 * [taylor]: Taking taylor expansion of m in v 3.460 * [taylor]: Taking taylor expansion of (* m (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1))) in v 3.460 * [taylor]: Taking taylor expansion of m in v 3.460 * [taylor]: Taking taylor expansion of (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)) in v 3.460 * [taylor]: Taking taylor expansion of (/ 1 m) in v 3.460 * [taylor]: Taking taylor expansion of m in v 3.460 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 2)) 1) in v 3.460 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in v 3.460 * [taylor]: Taking taylor expansion of (pow m 2) in v 3.460 * [taylor]: Taking taylor expansion of m in v 3.461 * [taylor]: Taking taylor expansion of 1 in v 3.468 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 (pow m 3)))) (* m (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)))) in m 3.468 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 (pow m 3)))) in m 3.468 * [taylor]: Taking taylor expansion of v in m 3.468 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow m 3))) in m 3.468 * [taylor]: Taking taylor expansion of 1 in m 3.468 * [taylor]: Taking taylor expansion of (/ 1 (pow m 3)) in m 3.468 * [taylor]: Taking taylor expansion of (pow m 3) in m 3.469 * [taylor]: Taking taylor expansion of m in m 3.469 * [taylor]: Taking taylor expansion of (* m (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1))) in m 3.469 * [taylor]: Taking taylor expansion of m in m 3.469 * [taylor]: Taking taylor expansion of (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)) in m 3.469 * [taylor]: Taking taylor expansion of (/ 1 m) in m 3.469 * [taylor]: Taking taylor expansion of m in m 3.469 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 2)) 1) in m 3.469 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m 3.469 * [taylor]: Taking taylor expansion of (pow m 2) in m 3.469 * [taylor]: Taking taylor expansion of m in m 3.470 * [taylor]: Taking taylor expansion of 1 in m 3.472 * [taylor]: Taking taylor expansion of (/ (* v (- 1 (/ 1 (pow m 3)))) (* m (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)))) in m 3.472 * [taylor]: Taking taylor expansion of (* v (- 1 (/ 1 (pow m 3)))) in m 3.472 * [taylor]: Taking taylor expansion of v in m 3.472 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow m 3))) in m 3.472 * [taylor]: Taking taylor expansion of 1 in m 3.472 * [taylor]: Taking taylor expansion of (/ 1 (pow m 3)) in m 3.472 * [taylor]: Taking taylor expansion of (pow m 3) in m 3.472 * [taylor]: Taking taylor expansion of m in m 3.472 * [taylor]: Taking taylor expansion of (* m (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1))) in m 3.472 * [taylor]: Taking taylor expansion of m in m 3.472 * [taylor]: Taking taylor expansion of (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)) in m 3.472 * [taylor]: Taking taylor expansion of (/ 1 m) in m 3.472 * [taylor]: Taking taylor expansion of m in m 3.473 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 2)) 1) in m 3.473 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m 3.473 * [taylor]: Taking taylor expansion of (pow m 2) in m 3.473 * [taylor]: Taking taylor expansion of m in m 3.473 * [taylor]: Taking taylor expansion of 1 in m 3.475 * [taylor]: Taking taylor expansion of (* -1 v) in v 3.475 * [taylor]: Taking taylor expansion of -1 in v 3.475 * [taylor]: Taking taylor expansion of v in v 3.480 * [taylor]: Taking taylor expansion of v in v 3.486 * [taylor]: Taking taylor expansion of 0 in v 3.495 * [taylor]: Taking taylor expansion of 0 in v 3.499 * [approximate]: Taking taylor expansion of (/ (* v (+ (/ 1 (pow m 3)) 1)) (* m (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)))) in (m v) around 0 3.500 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 (pow m 3)) 1)) (* m (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)))) in v 3.500 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 (pow m 3)) 1)) in v 3.500 * [taylor]: Taking taylor expansion of v in v 3.500 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 3)) 1) in v 3.500 * [taylor]: Taking taylor expansion of (/ 1 (pow m 3)) in v 3.500 * [taylor]: Taking taylor expansion of (pow m 3) in v 3.500 * [taylor]: Taking taylor expansion of m in v 3.500 * [taylor]: Taking taylor expansion of 1 in v 3.500 * [taylor]: Taking taylor expansion of (* m (- (+ (/ 1 (pow m 2)) 1) (/ 1 m))) in v 3.501 * [taylor]: Taking taylor expansion of m in v 3.501 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)) in v 3.501 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 2)) 1) in v 3.501 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in v 3.501 * [taylor]: Taking taylor expansion of (pow m 2) in v 3.501 * [taylor]: Taking taylor expansion of m in v 3.501 * [taylor]: Taking taylor expansion of 1 in v 3.501 * [taylor]: Taking taylor expansion of (/ 1 m) in v 3.501 * [taylor]: Taking taylor expansion of m in v 3.509 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 (pow m 3)) 1)) (* m (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)))) in m 3.509 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 (pow m 3)) 1)) in m 3.509 * [taylor]: Taking taylor expansion of v in m 3.509 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 3)) 1) in m 3.509 * [taylor]: Taking taylor expansion of (/ 1 (pow m 3)) in m 3.509 * [taylor]: Taking taylor expansion of (pow m 3) in m 3.509 * [taylor]: Taking taylor expansion of m in m 3.509 * [taylor]: Taking taylor expansion of 1 in m 3.509 * [taylor]: Taking taylor expansion of (* m (- (+ (/ 1 (pow m 2)) 1) (/ 1 m))) in m 3.509 * [taylor]: Taking taylor expansion of m in m 3.509 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)) in m 3.509 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 2)) 1) in m 3.509 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m 3.509 * [taylor]: Taking taylor expansion of (pow m 2) in m 3.509 * [taylor]: Taking taylor expansion of m in m 3.510 * [taylor]: Taking taylor expansion of 1 in m 3.510 * [taylor]: Taking taylor expansion of (/ 1 m) in m 3.510 * [taylor]: Taking taylor expansion of m in m 3.512 * [taylor]: Taking taylor expansion of (/ (* v (+ (/ 1 (pow m 3)) 1)) (* m (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)))) in m 3.512 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 (pow m 3)) 1)) in m 3.512 * [taylor]: Taking taylor expansion of v in m 3.512 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 3)) 1) in m 3.512 * [taylor]: Taking taylor expansion of (/ 1 (pow m 3)) in m 3.512 * [taylor]: Taking taylor expansion of (pow m 3) in m 3.512 * [taylor]: Taking taylor expansion of m in m 3.512 * [taylor]: Taking taylor expansion of 1 in m 3.512 * [taylor]: Taking taylor expansion of (* m (- (+ (/ 1 (pow m 2)) 1) (/ 1 m))) in m 3.512 * [taylor]: Taking taylor expansion of m in m 3.513 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)) in m 3.513 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 2)) 1) in m 3.513 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m 3.513 * [taylor]: Taking taylor expansion of (pow m 2) in m 3.513 * [taylor]: Taking taylor expansion of m in m 3.513 * [taylor]: Taking taylor expansion of 1 in m 3.513 * [taylor]: Taking taylor expansion of (/ 1 m) in m 3.513 * [taylor]: Taking taylor expansion of m in m 3.515 * [taylor]: Taking taylor expansion of v in v 3.520 * [taylor]: Taking taylor expansion of v in v 3.525 * [taylor]: Taking taylor expansion of 0 in v 3.533 * [taylor]: Taking taylor expansion of 0 in v 3.535 * * * * [progress]: [ 2 / 4 ] generating series at (2) 3.537 * [approximate]: Taking taylor expansion of (* (- (/ m (* (+ m (+ (pow m 2) 1)) v)) (+ 1 (/ (pow m 4) (* (+ m (+ (pow m 2) 1)) v)))) (- 1 m)) in (m v) around 0 3.537 * [taylor]: Taking taylor expansion of (* (- (/ m (* (+ m (+ (pow m 2) 1)) v)) (+ 1 (/ (pow m 4) (* (+ m (+ (pow m 2) 1)) v)))) (- 1 m)) in v 3.537 * [taylor]: Taking taylor expansion of (- (/ m (* (+ m (+ (pow m 2) 1)) v)) (+ 1 (/ (pow m 4) (* (+ m (+ (pow m 2) 1)) v)))) in v 3.538 * [taylor]: Taking taylor expansion of (/ m (* (+ m (+ (pow m 2) 1)) v)) in v 3.538 * [taylor]: Taking taylor expansion of m in v 3.538 * [taylor]: Taking taylor expansion of (* (+ m (+ (pow m 2) 1)) v) in v 3.538 * [taylor]: Taking taylor expansion of (+ m (+ (pow m 2) 1)) in v 3.538 * [taylor]: Taking taylor expansion of m in v 3.538 * [taylor]: Taking taylor expansion of (+ (pow m 2) 1) in v 3.538 * [taylor]: Taking taylor expansion of (pow m 2) in v 3.538 * [taylor]: Taking taylor expansion of m in v 3.538 * [taylor]: Taking taylor expansion of 1 in v 3.538 * [taylor]: Taking taylor expansion of v in v 3.546 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 4) (* (+ m (+ (pow m 2) 1)) v))) in v 3.547 * [taylor]: Taking taylor expansion of 1 in v 3.547 * [taylor]: Taking taylor expansion of (/ (pow m 4) (* (+ m (+ (pow m 2) 1)) v)) in v 3.547 * [taylor]: Taking taylor expansion of (pow m 4) in v 3.547 * [taylor]: Taking taylor expansion of m in v 3.547 * [taylor]: Taking taylor expansion of (* (+ m (+ (pow m 2) 1)) v) in v 3.547 * [taylor]: Taking taylor expansion of (+ m (+ (pow m 2) 1)) in v 3.547 * [taylor]: Taking taylor expansion of m in v 3.547 * [taylor]: Taking taylor expansion of (+ (pow m 2) 1) in v 3.547 * [taylor]: Taking taylor expansion of (pow m 2) in v 3.547 * [taylor]: Taking taylor expansion of m in v 3.547 * [taylor]: Taking taylor expansion of 1 in v 3.547 * [taylor]: Taking taylor expansion of v in v 3.551 * [taylor]: Taking taylor expansion of (- 1 m) in v 3.551 * [taylor]: Taking taylor expansion of 1 in v 3.551 * [taylor]: Taking taylor expansion of m in v 3.551 * [taylor]: Taking taylor expansion of (* (- (/ m (* (+ m (+ (pow m 2) 1)) v)) (+ 1 (/ (pow m 4) (* (+ m (+ (pow m 2) 1)) v)))) (- 1 m)) in m 3.551 * [taylor]: Taking taylor expansion of (- (/ m (* (+ m (+ (pow m 2) 1)) v)) (+ 1 (/ (pow m 4) (* (+ m (+ (pow m 2) 1)) v)))) in m 3.551 * [taylor]: Taking taylor expansion of (/ m (* (+ m (+ (pow m 2) 1)) v)) in m 3.551 * [taylor]: Taking taylor expansion of m in m 3.551 * [taylor]: Taking taylor expansion of (* (+ m (+ (pow m 2) 1)) v) in m 3.551 * [taylor]: Taking taylor expansion of (+ m (+ (pow m 2) 1)) in m 3.551 * [taylor]: Taking taylor expansion of m in m 3.551 * [taylor]: Taking taylor expansion of (+ (pow m 2) 1) in m 3.551 * [taylor]: Taking taylor expansion of (pow m 2) in m 3.551 * [taylor]: Taking taylor expansion of m in m 3.551 * [taylor]: Taking taylor expansion of 1 in m 3.551 * [taylor]: Taking taylor expansion of v in m 3.552 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 4) (* (+ m (+ (pow m 2) 1)) v))) in m 3.552 * [taylor]: Taking taylor expansion of 1 in m 3.552 * [taylor]: Taking taylor expansion of (/ (pow m 4) (* (+ m (+ (pow m 2) 1)) v)) in m 3.552 * [taylor]: Taking taylor expansion of (pow m 4) in m 3.552 * [taylor]: Taking taylor expansion of m in m 3.552 * [taylor]: Taking taylor expansion of (* (+ m (+ (pow m 2) 1)) v) in m 3.552 * [taylor]: Taking taylor expansion of (+ m (+ (pow m 2) 1)) in m 3.552 * [taylor]: Taking taylor expansion of m in m 3.552 * [taylor]: Taking taylor expansion of (+ (pow m 2) 1) in m 3.552 * [taylor]: Taking taylor expansion of (pow m 2) in m 3.552 * [taylor]: Taking taylor expansion of m in m 3.552 * [taylor]: Taking taylor expansion of 1 in m 3.552 * [taylor]: Taking taylor expansion of v in m 3.553 * [taylor]: Taking taylor expansion of (- 1 m) in m 3.553 * [taylor]: Taking taylor expansion of 1 in m 3.553 * [taylor]: Taking taylor expansion of m in m 3.553 * [taylor]: Taking taylor expansion of (* (- (/ m (* (+ m (+ (pow m 2) 1)) v)) (+ 1 (/ (pow m 4) (* (+ m (+ (pow m 2) 1)) v)))) (- 1 m)) in m 3.553 * [taylor]: Taking taylor expansion of (- (/ m (* (+ m (+ (pow m 2) 1)) v)) (+ 1 (/ (pow m 4) (* (+ m (+ (pow m 2) 1)) v)))) in m 3.553 * [taylor]: Taking taylor expansion of (/ m (* (+ m (+ (pow m 2) 1)) v)) in m 3.553 * [taylor]: Taking taylor expansion of m in m 3.553 * [taylor]: Taking taylor expansion of (* (+ m (+ (pow m 2) 1)) v) in m 3.553 * [taylor]: Taking taylor expansion of (+ m (+ (pow m 2) 1)) in m 3.553 * [taylor]: Taking taylor expansion of m in m 3.553 * [taylor]: Taking taylor expansion of (+ (pow m 2) 1) in m 3.553 * [taylor]: Taking taylor expansion of (pow m 2) in m 3.553 * [taylor]: Taking taylor expansion of m in m 3.553 * [taylor]: Taking taylor expansion of 1 in m 3.553 * [taylor]: Taking taylor expansion of v in m 3.554 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow m 4) (* (+ m (+ (pow m 2) 1)) v))) in m 3.554 * [taylor]: Taking taylor expansion of 1 in m 3.554 * [taylor]: Taking taylor expansion of (/ (pow m 4) (* (+ m (+ (pow m 2) 1)) v)) in m 3.554 * [taylor]: Taking taylor expansion of (pow m 4) in m 3.554 * [taylor]: Taking taylor expansion of m in m 3.554 * [taylor]: Taking taylor expansion of (* (+ m (+ (pow m 2) 1)) v) in m 3.554 * [taylor]: Taking taylor expansion of (+ m (+ (pow m 2) 1)) in m 3.554 * [taylor]: Taking taylor expansion of m in m 3.554 * [taylor]: Taking taylor expansion of (+ (pow m 2) 1) in m 3.554 * [taylor]: Taking taylor expansion of (pow m 2) in m 3.554 * [taylor]: Taking taylor expansion of m in m 3.554 * [taylor]: Taking taylor expansion of 1 in m 3.554 * [taylor]: Taking taylor expansion of v in m 3.555 * [taylor]: Taking taylor expansion of (- 1 m) in m 3.555 * [taylor]: Taking taylor expansion of 1 in m 3.555 * [taylor]: Taking taylor expansion of m in m 3.556 * [taylor]: Taking taylor expansion of -1 in v 3.557 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1) in v 3.557 * [taylor]: Taking taylor expansion of (/ 1 v) in v 3.557 * [taylor]: Taking taylor expansion of v in v 3.557 * [taylor]: Taking taylor expansion of 1 in v 3.560 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 v))) in v 3.560 * [taylor]: Taking taylor expansion of (* 2 (/ 1 v)) in v 3.560 * [taylor]: Taking taylor expansion of 2 in v 3.560 * [taylor]: Taking taylor expansion of (/ 1 v) in v 3.561 * [taylor]: Taking taylor expansion of v in v 3.566 * [approximate]: Taking taylor expansion of (* (- (/ v (* m (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)))) (+ 1 (/ v (* (pow m 4) (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)))))) (- 1 (/ 1 m))) in (m v) around 0 3.566 * [taylor]: Taking taylor expansion of (* (- (/ v (* m (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)))) (+ 1 (/ v (* (pow m 4) (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)))))) (- 1 (/ 1 m))) in v 3.566 * [taylor]: Taking taylor expansion of (- (/ v (* m (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)))) (+ 1 (/ v (* (pow m 4) (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)))))) in v 3.566 * [taylor]: Taking taylor expansion of (/ v (* m (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)))) in v 3.566 * [taylor]: Taking taylor expansion of v in v 3.566 * [taylor]: Taking taylor expansion of (* m (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1))) in v 3.566 * [taylor]: Taking taylor expansion of m in v 3.566 * [taylor]: Taking taylor expansion of (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)) in v 3.566 * [taylor]: Taking taylor expansion of (/ 1 m) in v 3.566 * [taylor]: Taking taylor expansion of m in v 3.566 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 2)) 1) in v 3.567 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in v 3.567 * [taylor]: Taking taylor expansion of (pow m 2) in v 3.567 * [taylor]: Taking taylor expansion of m in v 3.567 * [taylor]: Taking taylor expansion of 1 in v 3.570 * [taylor]: Taking taylor expansion of (+ 1 (/ v (* (pow m 4) (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1))))) in v 3.570 * [taylor]: Taking taylor expansion of 1 in v 3.570 * [taylor]: Taking taylor expansion of (/ v (* (pow m 4) (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)))) in v 3.570 * [taylor]: Taking taylor expansion of v in v 3.570 * [taylor]: Taking taylor expansion of (* (pow m 4) (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1))) in v 3.570 * [taylor]: Taking taylor expansion of (pow m 4) in v 3.570 * [taylor]: Taking taylor expansion of m in v 3.570 * [taylor]: Taking taylor expansion of (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)) in v 3.570 * [taylor]: Taking taylor expansion of (/ 1 m) in v 3.570 * [taylor]: Taking taylor expansion of m in v 3.570 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 2)) 1) in v 3.570 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in v 3.570 * [taylor]: Taking taylor expansion of (pow m 2) in v 3.570 * [taylor]: Taking taylor expansion of m in v 3.571 * [taylor]: Taking taylor expansion of 1 in v 3.574 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in v 3.574 * [taylor]: Taking taylor expansion of 1 in v 3.574 * [taylor]: Taking taylor expansion of (/ 1 m) in v 3.574 * [taylor]: Taking taylor expansion of m in v 3.575 * [taylor]: Taking taylor expansion of (* (- (/ v (* m (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)))) (+ 1 (/ v (* (pow m 4) (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)))))) (- 1 (/ 1 m))) in m 3.575 * [taylor]: Taking taylor expansion of (- (/ v (* m (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)))) (+ 1 (/ v (* (pow m 4) (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)))))) in m 3.575 * [taylor]: Taking taylor expansion of (/ v (* m (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)))) in m 3.575 * [taylor]: Taking taylor expansion of v in m 3.575 * [taylor]: Taking taylor expansion of (* m (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1))) in m 3.575 * [taylor]: Taking taylor expansion of m in m 3.575 * [taylor]: Taking taylor expansion of (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)) in m 3.575 * [taylor]: Taking taylor expansion of (/ 1 m) in m 3.575 * [taylor]: Taking taylor expansion of m in m 3.575 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 2)) 1) in m 3.575 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m 3.575 * [taylor]: Taking taylor expansion of (pow m 2) in m 3.575 * [taylor]: Taking taylor expansion of m in m 3.575 * [taylor]: Taking taylor expansion of 1 in m 3.577 * [taylor]: Taking taylor expansion of (+ 1 (/ v (* (pow m 4) (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1))))) in m 3.577 * [taylor]: Taking taylor expansion of 1 in m 3.577 * [taylor]: Taking taylor expansion of (/ v (* (pow m 4) (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)))) in m 3.577 * [taylor]: Taking taylor expansion of v in m 3.577 * [taylor]: Taking taylor expansion of (* (pow m 4) (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1))) in m 3.577 * [taylor]: Taking taylor expansion of (pow m 4) in m 3.577 * [taylor]: Taking taylor expansion of m in m 3.577 * [taylor]: Taking taylor expansion of (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)) in m 3.577 * [taylor]: Taking taylor expansion of (/ 1 m) in m 3.577 * [taylor]: Taking taylor expansion of m in m 3.577 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 2)) 1) in m 3.578 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m 3.578 * [taylor]: Taking taylor expansion of (pow m 2) in m 3.578 * [taylor]: Taking taylor expansion of m in m 3.578 * [taylor]: Taking taylor expansion of 1 in m 3.579 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m 3.579 * [taylor]: Taking taylor expansion of 1 in m 3.579 * [taylor]: Taking taylor expansion of (/ 1 m) in m 3.579 * [taylor]: Taking taylor expansion of m in m 3.579 * [taylor]: Taking taylor expansion of (* (- (/ v (* m (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)))) (+ 1 (/ v (* (pow m 4) (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)))))) (- 1 (/ 1 m))) in m 3.579 * [taylor]: Taking taylor expansion of (- (/ v (* m (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)))) (+ 1 (/ v (* (pow m 4) (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)))))) in m 3.579 * [taylor]: Taking taylor expansion of (/ v (* m (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)))) in m 3.579 * [taylor]: Taking taylor expansion of v in m 3.579 * [taylor]: Taking taylor expansion of (* m (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1))) in m 3.579 * [taylor]: Taking taylor expansion of m in m 3.579 * [taylor]: Taking taylor expansion of (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)) in m 3.579 * [taylor]: Taking taylor expansion of (/ 1 m) in m 3.579 * [taylor]: Taking taylor expansion of m in m 3.579 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 2)) 1) in m 3.579 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m 3.579 * [taylor]: Taking taylor expansion of (pow m 2) in m 3.579 * [taylor]: Taking taylor expansion of m in m 3.580 * [taylor]: Taking taylor expansion of 1 in m 3.581 * [taylor]: Taking taylor expansion of (+ 1 (/ v (* (pow m 4) (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1))))) in m 3.581 * [taylor]: Taking taylor expansion of 1 in m 3.581 * [taylor]: Taking taylor expansion of (/ v (* (pow m 4) (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)))) in m 3.581 * [taylor]: Taking taylor expansion of v in m 3.581 * [taylor]: Taking taylor expansion of (* (pow m 4) (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1))) in m 3.581 * [taylor]: Taking taylor expansion of (pow m 4) in m 3.582 * [taylor]: Taking taylor expansion of m in m 3.582 * [taylor]: Taking taylor expansion of (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)) in m 3.582 * [taylor]: Taking taylor expansion of (/ 1 m) in m 3.582 * [taylor]: Taking taylor expansion of m in m 3.582 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 2)) 1) in m 3.582 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m 3.582 * [taylor]: Taking taylor expansion of (pow m 2) in m 3.582 * [taylor]: Taking taylor expansion of m in m 3.582 * [taylor]: Taking taylor expansion of 1 in m 3.583 * [taylor]: Taking taylor expansion of (- 1 (/ 1 m)) in m 3.583 * [taylor]: Taking taylor expansion of 1 in m 3.583 * [taylor]: Taking taylor expansion of (/ 1 m) in m 3.583 * [taylor]: Taking taylor expansion of m in m 3.584 * [taylor]: Taking taylor expansion of v in v 3.588 * [taylor]: Taking taylor expansion of (neg (* 2 v)) in v 3.588 * [taylor]: Taking taylor expansion of (* 2 v) in v 3.588 * [taylor]: Taking taylor expansion of 2 in v 3.588 * [taylor]: Taking taylor expansion of v in v 3.593 * [taylor]: Taking taylor expansion of (+ v 1) in v 3.593 * [taylor]: Taking taylor expansion of v in v 3.593 * [taylor]: Taking taylor expansion of 1 in v 3.601 * [approximate]: Taking taylor expansion of (* (+ (/ 1 m) 1) (- (+ (/ v (* (pow m 4) (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)))) (/ v (* m (- (+ (/ 1 (pow m 2)) 1) (/ 1 m))))) 1)) in (m v) around 0 3.601 * [taylor]: Taking taylor expansion of (* (+ (/ 1 m) 1) (- (+ (/ v (* (pow m 4) (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)))) (/ v (* m (- (+ (/ 1 (pow m 2)) 1) (/ 1 m))))) 1)) in v 3.601 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in v 3.601 * [taylor]: Taking taylor expansion of (/ 1 m) in v 3.601 * [taylor]: Taking taylor expansion of m in v 3.601 * [taylor]: Taking taylor expansion of 1 in v 3.601 * [taylor]: Taking taylor expansion of (- (+ (/ v (* (pow m 4) (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)))) (/ v (* m (- (+ (/ 1 (pow m 2)) 1) (/ 1 m))))) 1) in v 3.601 * [taylor]: Taking taylor expansion of (+ (/ v (* (pow m 4) (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)))) (/ v (* m (- (+ (/ 1 (pow m 2)) 1) (/ 1 m))))) in v 3.601 * [taylor]: Taking taylor expansion of (/ v (* (pow m 4) (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)))) in v 3.601 * [taylor]: Taking taylor expansion of v in v 3.601 * [taylor]: Taking taylor expansion of (* (pow m 4) (- (+ (/ 1 (pow m 2)) 1) (/ 1 m))) in v 3.601 * [taylor]: Taking taylor expansion of (pow m 4) in v 3.601 * [taylor]: Taking taylor expansion of m in v 3.601 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)) in v 3.601 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 2)) 1) in v 3.601 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in v 3.601 * [taylor]: Taking taylor expansion of (pow m 2) in v 3.601 * [taylor]: Taking taylor expansion of m in v 3.602 * [taylor]: Taking taylor expansion of 1 in v 3.602 * [taylor]: Taking taylor expansion of (/ 1 m) in v 3.602 * [taylor]: Taking taylor expansion of m in v 3.606 * [taylor]: Taking taylor expansion of (/ v (* m (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)))) in v 3.607 * [taylor]: Taking taylor expansion of v in v 3.607 * [taylor]: Taking taylor expansion of (* m (- (+ (/ 1 (pow m 2)) 1) (/ 1 m))) in v 3.607 * [taylor]: Taking taylor expansion of m in v 3.607 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)) in v 3.607 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 2)) 1) in v 3.607 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in v 3.607 * [taylor]: Taking taylor expansion of (pow m 2) in v 3.607 * [taylor]: Taking taylor expansion of m in v 3.607 * [taylor]: Taking taylor expansion of 1 in v 3.607 * [taylor]: Taking taylor expansion of (/ 1 m) in v 3.607 * [taylor]: Taking taylor expansion of m in v 3.610 * [taylor]: Taking taylor expansion of 1 in v 3.610 * [taylor]: Taking taylor expansion of (* (+ (/ 1 m) 1) (- (+ (/ v (* (pow m 4) (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)))) (/ v (* m (- (+ (/ 1 (pow m 2)) 1) (/ 1 m))))) 1)) in m 3.610 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m 3.610 * [taylor]: Taking taylor expansion of (/ 1 m) in m 3.610 * [taylor]: Taking taylor expansion of m in m 3.611 * [taylor]: Taking taylor expansion of 1 in m 3.611 * [taylor]: Taking taylor expansion of (- (+ (/ v (* (pow m 4) (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)))) (/ v (* m (- (+ (/ 1 (pow m 2)) 1) (/ 1 m))))) 1) in m 3.611 * [taylor]: Taking taylor expansion of (+ (/ v (* (pow m 4) (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)))) (/ v (* m (- (+ (/ 1 (pow m 2)) 1) (/ 1 m))))) in m 3.611 * [taylor]: Taking taylor expansion of (/ v (* (pow m 4) (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)))) in m 3.611 * [taylor]: Taking taylor expansion of v in m 3.611 * [taylor]: Taking taylor expansion of (* (pow m 4) (- (+ (/ 1 (pow m 2)) 1) (/ 1 m))) in m 3.611 * [taylor]: Taking taylor expansion of (pow m 4) in m 3.611 * [taylor]: Taking taylor expansion of m in m 3.611 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)) in m 3.611 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 2)) 1) in m 3.611 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m 3.611 * [taylor]: Taking taylor expansion of (pow m 2) in m 3.611 * [taylor]: Taking taylor expansion of m in m 3.611 * [taylor]: Taking taylor expansion of 1 in m 3.611 * [taylor]: Taking taylor expansion of (/ 1 m) in m 3.611 * [taylor]: Taking taylor expansion of m in m 3.612 * [taylor]: Taking taylor expansion of (/ v (* m (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)))) in m 3.612 * [taylor]: Taking taylor expansion of v in m 3.612 * [taylor]: Taking taylor expansion of (* m (- (+ (/ 1 (pow m 2)) 1) (/ 1 m))) in m 3.612 * [taylor]: Taking taylor expansion of m in m 3.612 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)) in m 3.612 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 2)) 1) in m 3.612 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m 3.612 * [taylor]: Taking taylor expansion of (pow m 2) in m 3.612 * [taylor]: Taking taylor expansion of m in m 3.613 * [taylor]: Taking taylor expansion of 1 in m 3.613 * [taylor]: Taking taylor expansion of (/ 1 m) in m 3.613 * [taylor]: Taking taylor expansion of m in m 3.615 * [taylor]: Taking taylor expansion of 1 in m 3.615 * [taylor]: Taking taylor expansion of (* (+ (/ 1 m) 1) (- (+ (/ v (* (pow m 4) (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)))) (/ v (* m (- (+ (/ 1 (pow m 2)) 1) (/ 1 m))))) 1)) in m 3.615 * [taylor]: Taking taylor expansion of (+ (/ 1 m) 1) in m 3.615 * [taylor]: Taking taylor expansion of (/ 1 m) in m 3.615 * [taylor]: Taking taylor expansion of m in m 3.615 * [taylor]: Taking taylor expansion of 1 in m 3.615 * [taylor]: Taking taylor expansion of (- (+ (/ v (* (pow m 4) (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)))) (/ v (* m (- (+ (/ 1 (pow m 2)) 1) (/ 1 m))))) 1) in m 3.615 * [taylor]: Taking taylor expansion of (+ (/ v (* (pow m 4) (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)))) (/ v (* m (- (+ (/ 1 (pow m 2)) 1) (/ 1 m))))) in m 3.615 * [taylor]: Taking taylor expansion of (/ v (* (pow m 4) (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)))) in m 3.615 * [taylor]: Taking taylor expansion of v in m 3.615 * [taylor]: Taking taylor expansion of (* (pow m 4) (- (+ (/ 1 (pow m 2)) 1) (/ 1 m))) in m 3.615 * [taylor]: Taking taylor expansion of (pow m 4) in m 3.615 * [taylor]: Taking taylor expansion of m in m 3.615 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)) in m 3.615 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 2)) 1) in m 3.615 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m 3.615 * [taylor]: Taking taylor expansion of (pow m 2) in m 3.615 * [taylor]: Taking taylor expansion of m in m 3.616 * [taylor]: Taking taylor expansion of 1 in m 3.616 * [taylor]: Taking taylor expansion of (/ 1 m) in m 3.616 * [taylor]: Taking taylor expansion of m in m 3.617 * [taylor]: Taking taylor expansion of (/ v (* m (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)))) in m 3.617 * [taylor]: Taking taylor expansion of v in m 3.617 * [taylor]: Taking taylor expansion of (* m (- (+ (/ 1 (pow m 2)) 1) (/ 1 m))) in m 3.617 * [taylor]: Taking taylor expansion of m in m 3.617 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)) in m 3.617 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 2)) 1) in m 3.617 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m 3.617 * [taylor]: Taking taylor expansion of (pow m 2) in m 3.617 * [taylor]: Taking taylor expansion of m in m 3.617 * [taylor]: Taking taylor expansion of 1 in m 3.617 * [taylor]: Taking taylor expansion of (/ 1 m) in m 3.617 * [taylor]: Taking taylor expansion of m in m 3.619 * [taylor]: Taking taylor expansion of 1 in m 3.620 * [taylor]: Taking taylor expansion of v in v 3.623 * [taylor]: Taking taylor expansion of (* 2 v) in v 3.623 * [taylor]: Taking taylor expansion of 2 in v 3.623 * [taylor]: Taking taylor expansion of v in v 3.628 * [taylor]: Taking taylor expansion of (- v 1) in v 3.628 * [taylor]: Taking taylor expansion of v in v 3.628 * [taylor]: Taking taylor expansion of 1 in v 3.633 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 3.633 * [approximate]: Taking taylor expansion of (* (+ m (+ (pow m 2) 1)) v) in (v m) around 0 3.634 * [taylor]: Taking taylor expansion of (* (+ m (+ (pow m 2) 1)) v) in m 3.634 * [taylor]: Taking taylor expansion of (+ m (+ (pow m 2) 1)) in m 3.634 * [taylor]: Taking taylor expansion of m in m 3.634 * [taylor]: Taking taylor expansion of (+ (pow m 2) 1) in m 3.634 * [taylor]: Taking taylor expansion of (pow m 2) in m 3.634 * [taylor]: Taking taylor expansion of m in m 3.634 * [taylor]: Taking taylor expansion of 1 in m 3.634 * [taylor]: Taking taylor expansion of v in m 3.634 * [taylor]: Taking taylor expansion of (* (+ m (+ (pow m 2) 1)) v) in v 3.634 * [taylor]: Taking taylor expansion of (+ m (+ (pow m 2) 1)) in v 3.634 * [taylor]: Taking taylor expansion of m in v 3.634 * [taylor]: Taking taylor expansion of (+ (pow m 2) 1) in v 3.634 * [taylor]: Taking taylor expansion of (pow m 2) in v 3.634 * [taylor]: Taking taylor expansion of m in v 3.634 * [taylor]: Taking taylor expansion of 1 in v 3.634 * [taylor]: Taking taylor expansion of v in v 3.634 * [taylor]: Taking taylor expansion of (* (+ m (+ (pow m 2) 1)) v) in v 3.634 * [taylor]: Taking taylor expansion of (+ m (+ (pow m 2) 1)) in v 3.634 * [taylor]: Taking taylor expansion of m in v 3.634 * [taylor]: Taking taylor expansion of (+ (pow m 2) 1) in v 3.634 * [taylor]: Taking taylor expansion of (pow m 2) in v 3.634 * [taylor]: Taking taylor expansion of m in v 3.634 * [taylor]: Taking taylor expansion of 1 in v 3.634 * [taylor]: Taking taylor expansion of v in v 3.636 * [taylor]: Taking taylor expansion of 0 in m 3.637 * [taylor]: Taking taylor expansion of (+ m (+ (pow m 2) 1)) in m 3.637 * [taylor]: Taking taylor expansion of m in m 3.637 * [taylor]: Taking taylor expansion of (+ (pow m 2) 1) in m 3.637 * [taylor]: Taking taylor expansion of (pow m 2) in m 3.637 * [taylor]: Taking taylor expansion of m in m 3.637 * [taylor]: Taking taylor expansion of 1 in m 3.639 * [taylor]: Taking taylor expansion of 0 in m 3.641 * [taylor]: Taking taylor expansion of 0 in m 3.644 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)) v) in (v m) around 0 3.645 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)) v) in m 3.645 * [taylor]: Taking taylor expansion of (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)) in m 3.645 * [taylor]: Taking taylor expansion of (/ 1 m) in m 3.645 * [taylor]: Taking taylor expansion of m in m 3.645 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 2)) 1) in m 3.645 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m 3.645 * [taylor]: Taking taylor expansion of (pow m 2) in m 3.645 * [taylor]: Taking taylor expansion of m in m 3.645 * [taylor]: Taking taylor expansion of 1 in m 3.645 * [taylor]: Taking taylor expansion of v in m 3.646 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)) v) in v 3.646 * [taylor]: Taking taylor expansion of (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)) in v 3.646 * [taylor]: Taking taylor expansion of (/ 1 m) in v 3.646 * [taylor]: Taking taylor expansion of m in v 3.646 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 2)) 1) in v 3.646 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in v 3.646 * [taylor]: Taking taylor expansion of (pow m 2) in v 3.646 * [taylor]: Taking taylor expansion of m in v 3.646 * [taylor]: Taking taylor expansion of 1 in v 3.646 * [taylor]: Taking taylor expansion of v in v 3.648 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)) v) in v 3.648 * [taylor]: Taking taylor expansion of (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)) in v 3.648 * [taylor]: Taking taylor expansion of (/ 1 m) in v 3.648 * [taylor]: Taking taylor expansion of m in v 3.648 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 2)) 1) in v 3.649 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in v 3.649 * [taylor]: Taking taylor expansion of (pow m 2) in v 3.649 * [taylor]: Taking taylor expansion of m in v 3.649 * [taylor]: Taking taylor expansion of 1 in v 3.649 * [taylor]: Taking taylor expansion of v in v 3.651 * [taylor]: Taking taylor expansion of (+ (/ 1 m) (+ (/ 1 (pow m 2)) 1)) in m 3.651 * [taylor]: Taking taylor expansion of (/ 1 m) in m 3.651 * [taylor]: Taking taylor expansion of m in m 3.651 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 2)) 1) in m 3.651 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m 3.651 * [taylor]: Taking taylor expansion of (pow m 2) in m 3.651 * [taylor]: Taking taylor expansion of m in m 3.652 * [taylor]: Taking taylor expansion of 1 in m 3.655 * [taylor]: Taking taylor expansion of 0 in m 3.660 * [taylor]: Taking taylor expansion of 0 in m 3.665 * [approximate]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)) v)) in (v m) around 0 3.665 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)) v)) in m 3.665 * [taylor]: Taking taylor expansion of -1 in m 3.665 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)) v) in m 3.665 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)) in m 3.665 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 2)) 1) in m 3.665 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m 3.665 * [taylor]: Taking taylor expansion of (pow m 2) in m 3.665 * [taylor]: Taking taylor expansion of m in m 3.665 * [taylor]: Taking taylor expansion of 1 in m 3.665 * [taylor]: Taking taylor expansion of (/ 1 m) in m 3.665 * [taylor]: Taking taylor expansion of m in m 3.665 * [taylor]: Taking taylor expansion of v in m 3.666 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)) v)) in v 3.666 * [taylor]: Taking taylor expansion of -1 in v 3.666 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)) v) in v 3.666 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)) in v 3.666 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 2)) 1) in v 3.666 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in v 3.666 * [taylor]: Taking taylor expansion of (pow m 2) in v 3.666 * [taylor]: Taking taylor expansion of m in v 3.666 * [taylor]: Taking taylor expansion of 1 in v 3.666 * [taylor]: Taking taylor expansion of (/ 1 m) in v 3.666 * [taylor]: Taking taylor expansion of m in v 3.666 * [taylor]: Taking taylor expansion of v in v 3.669 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)) v)) in v 3.669 * [taylor]: Taking taylor expansion of -1 in v 3.669 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)) v) in v 3.669 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)) in v 3.669 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 2)) 1) in v 3.669 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in v 3.669 * [taylor]: Taking taylor expansion of (pow m 2) in v 3.669 * [taylor]: Taking taylor expansion of m in v 3.669 * [taylor]: Taking taylor expansion of 1 in v 3.669 * [taylor]: Taking taylor expansion of (/ 1 m) in v 3.669 * [taylor]: Taking taylor expansion of m in v 3.669 * [taylor]: Taking taylor expansion of v in v 3.672 * [taylor]: Taking taylor expansion of (* -1 (- (+ (/ 1 (pow m 2)) 1) (/ 1 m))) in m 3.672 * [taylor]: Taking taylor expansion of -1 in m 3.672 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow m 2)) 1) (/ 1 m)) in m 3.672 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 2)) 1) in m 3.672 * [taylor]: Taking taylor expansion of (/ 1 (pow m 2)) in m 3.672 * [taylor]: Taking taylor expansion of (pow m 2) in m 3.672 * [taylor]: Taking taylor expansion of m in m 3.673 * [taylor]: Taking taylor expansion of 1 in m 3.673 * [taylor]: Taking taylor expansion of (/ 1 m) in m 3.673 * [taylor]: Taking taylor expansion of m in m 3.677 * [taylor]: Taking taylor expansion of 0 in m 3.683 * [taylor]: Taking taylor expansion of 0 in m 3.687 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 3.688 * [approximate]: Taking taylor expansion of (* m (- 1 (pow m 3))) in (m) around 0 3.688 * [taylor]: Taking taylor expansion of (* m (- 1 (pow m 3))) in m 3.688 * [taylor]: Taking taylor expansion of m in m 3.688 * [taylor]: Taking taylor expansion of (- 1 (pow m 3)) in m 3.688 * [taylor]: Taking taylor expansion of 1 in m 3.688 * [taylor]: Taking taylor expansion of (pow m 3) in m 3.688 * [taylor]: Taking taylor expansion of m in m 3.688 * [taylor]: Taking taylor expansion of (* m (- 1 (pow m 3))) in m 3.688 * [taylor]: Taking taylor expansion of m in m 3.688 * [taylor]: Taking taylor expansion of (- 1 (pow m 3)) in m 3.688 * [taylor]: Taking taylor expansion of 1 in m 3.688 * [taylor]: Taking taylor expansion of (pow m 3) in m 3.688 * [taylor]: Taking taylor expansion of m in m 3.712 * [approximate]: Taking taylor expansion of (/ (- 1 (/ 1 (pow m 3))) m) in (m) around 0 3.712 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 (pow m 3))) m) in m 3.713 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow m 3))) in m 3.713 * [taylor]: Taking taylor expansion of 1 in m 3.713 * [taylor]: Taking taylor expansion of (/ 1 (pow m 3)) in m 3.713 * [taylor]: Taking taylor expansion of (pow m 3) in m 3.713 * [taylor]: Taking taylor expansion of m in m 3.713 * [taylor]: Taking taylor expansion of m in m 3.713 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 (pow m 3))) m) in m 3.713 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow m 3))) in m 3.713 * [taylor]: Taking taylor expansion of 1 in m 3.713 * [taylor]: Taking taylor expansion of (/ 1 (pow m 3)) in m 3.713 * [taylor]: Taking taylor expansion of (pow m 3) in m 3.713 * [taylor]: Taking taylor expansion of m in m 3.714 * [taylor]: Taking taylor expansion of m in m 3.756 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (pow m 3)) 1) m)) in (m) around 0 3.756 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (pow m 3)) 1) m)) in m 3.756 * [taylor]: Taking taylor expansion of -1 in m 3.756 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow m 3)) 1) m) in m 3.756 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 3)) 1) in m 3.756 * [taylor]: Taking taylor expansion of (/ 1 (pow m 3)) in m 3.756 * [taylor]: Taking taylor expansion of (pow m 3) in m 3.756 * [taylor]: Taking taylor expansion of m in m 3.756 * [taylor]: Taking taylor expansion of 1 in m 3.756 * [taylor]: Taking taylor expansion of m in m 3.757 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (pow m 3)) 1) m)) in m 3.757 * [taylor]: Taking taylor expansion of -1 in m 3.757 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow m 3)) 1) m) in m 3.757 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow m 3)) 1) in m 3.757 * [taylor]: Taking taylor expansion of (/ 1 (pow m 3)) in m 3.757 * [taylor]: Taking taylor expansion of (pow m 3) in m 3.757 * [taylor]: Taking taylor expansion of m in m 3.757 * [taylor]: Taking taylor expansion of 1 in m 3.757 * [taylor]: Taking taylor expansion of m in m 3.784 * * * [progress]: simplifying candidates 3.786 * [simplify]: Simplifying using # : (*.f64 (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))) (+.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))) (+.f64 (*.f64 (pow.f64 1 3) (pow.f64 1 3)) (+.f64 (*.f64 (pow.f64 m 3) (pow.f64 m 3)) (*.f64 (pow.f64 1 3) (pow.f64 m 3))))) (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (-.f64 (*.f64 1 1) (*.f64 (+.f64 m (*.f64 m m)) (+.f64 m (*.f64 m m)))))) (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 (pow.f64 1 3) (pow.f64 (+.f64 m (*.f64 m m)) 3)))) (/.f64 (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))) (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) v) (/.f64 (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))) (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3)))) (/.f64 1 (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) (/.f64 m v) (/.f64 (-.f64 (pow.f64 1 3) (pow.f64 m 3)) (+.f64 1 (+.f64 m (*.f64 m m)))) (neg.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3)))) (neg.f64 (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) (sqrt.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) (sqrt.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) (*.f64 (*.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) (*.f64 (cbrt.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) (cbrt.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))))) (cbrt.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) (/.f64 (*.f64 (*.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3)))) (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3)))) (*.f64 (*.f64 (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) (/.f64 (*.f64 (*.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3)))) (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3)))) (*.f64 (*.f64 (*.f64 v v) v) (*.f64 (*.f64 (+.f64 1 (+.f64 m (*.f64 m m))) (+.f64 1 (+.f64 m (*.f64 m m)))) (+.f64 1 (+.f64 m (*.f64 m m)))))) (/.f64 (*.f64 (*.f64 (*.f64 m m) m) (*.f64 (*.f64 (-.f64 (pow.f64 1 3) (pow.f64 m 3)) (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (-.f64 (pow.f64 1 3) (pow.f64 m 3)))) (*.f64 (*.f64 (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) (/.f64 (*.f64 (*.f64 (*.f64 m m) m) (*.f64 (*.f64 (-.f64 (pow.f64 1 3) (pow.f64 m 3)) (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (-.f64 (pow.f64 1 3) (pow.f64 m 3)))) (*.f64 (*.f64 (*.f64 v v) v) (*.f64 (*.f64 (+.f64 1 (+.f64 m (*.f64 m m))) (+.f64 1 (+.f64 m (*.f64 m m)))) (+.f64 1 (+.f64 m (*.f64 m m)))))) (exp.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) (log.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) (-.f64 (log.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3)))) (log.f64 (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) (-.f64 (log.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3)))) (+.f64 (log.f64 v) (log.f64 (+.f64 1 (+.f64 m (*.f64 m m)))))) (-.f64 (+.f64 (log.f64 m) (log.f64 (-.f64 (pow.f64 1 3) (pow.f64 m 3)))) (log.f64 (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) (-.f64 (+.f64 (log.f64 m) (log.f64 (-.f64 (pow.f64 1 3) (pow.f64 m 3)))) (+.f64 (log.f64 v) (log.f64 (+.f64 1 (+.f64 m (*.f64 m m)))))) (*.f64 (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) (*.f64 1 1)) (-.f64 1 m)) (*.f64 (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 3) (pow.f64 1 3)) (-.f64 1 m)) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 1) (-.f64 (*.f64 1 1) (*.f64 m m))) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 1) (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 1) (-.f64 1 m)) (*.f64 (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) 1) (-.f64 1 m)) (*.f64 (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) 1) (-.f64 1 m)) (*.f64 (-.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) (sqrt.f64 1)) (-.f64 1 m)) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 1) (-.f64 1 m)) (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 1)) (-.f64 1 m)) (*.f64 (cbrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 1)) (-.f64 1 m)) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 1) 1) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 1) (+.f64 1 (sqrt.f64 m))) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 1) (+.f64 (sqrt.f64 1) (sqrt.f64 m))) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 1) 1) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 1) (sqrt.f64 (-.f64 1 m))) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 1) (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m)))) (*.f64 1 (-.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 1)) (*.f64 (neg.f64 m) (-.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 1)) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 1) 1) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 1) (neg.f64 m)) (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 1)) (sqrt.f64 (-.f64 1 m))) (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 1)) (sqrt.f64 (-.f64 1 m))) (*.f64 (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) (*.f64 1 1)) (-.f64 (*.f64 1 1) (*.f64 m m))) (*.f64 (+.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 1) (+.f64 1 m)) (*.f64 (-.f64 (*.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) (*.f64 1 1)) (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 (+.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 1) (+.f64 (*.f64 1 1) (+.f64 (*.f64 m m) (*.f64 1 m)))) (*.f64 (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 3) (pow.f64 1 3)) (-.f64 (*.f64 1 1) (*.f64 m m))) (*.f64 (+.f64 (*.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) (+.f64 (*.f64 1 1) (*.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 1))) (+.f64 1 m)) (*.f64 (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 3) (pow.f64 1 3)) (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 (+.f64 (*.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) (+.f64 (*.f64 1 1) (*.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 1))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 m m) (*.f64 1 m)))) (sqrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 1) (-.f64 1 m))) (sqrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 1) (-.f64 1 m))) (*.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 1) (-.f64 1 m)) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 1) (-.f64 1 m))) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 1) (-.f64 1 m))) (*.f64 (cbrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 1) (-.f64 1 m))) (cbrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 1) (-.f64 1 m)))) (cbrt.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 1) (-.f64 1 m))) (*.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 1) (-.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 1)) (-.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 1)) (*.f64 (*.f64 (-.f64 1 m) (-.f64 1 m)) (-.f64 1 m))) (exp.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 1) (-.f64 1 m))) (log.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 1) (-.f64 1 m))) (+.f64 (log.f64 (-.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 1)) (log.f64 (-.f64 1 m))) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 1) (-.f64 1 m)) (*.f64 v (-.f64 (*.f64 1 1) (*.f64 (+.f64 m (*.f64 m m)) (+.f64 m (*.f64 m m))))) (*.f64 v (+.f64 (pow.f64 1 3) (pow.f64 (+.f64 m (*.f64 m m)) 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))) (*.f64 (sqrt.f64 v) (+.f64 1 (+.f64 m (*.f64 m m)))) (*.f64 (cbrt.f64 v) (+.f64 1 (+.f64 m (*.f64 m m)))) (*.f64 v 1) (*.f64 v 1) (*.f64 v (sqrt.f64 (+.f64 1 (+.f64 m (*.f64 m m))))) (*.f64 v (*.f64 (cbrt.f64 (+.f64 1 (+.f64 m (*.f64 m m)))) (cbrt.f64 (+.f64 1 (+.f64 m (*.f64 m m)))))) (*.f64 1 v) (*.f64 (+.f64 m (*.f64 m m)) v) (*.f64 v 1) (*.f64 v (+.f64 m (*.f64 m m))) (*.f64 (sqrt.f64 v) (sqrt.f64 (+.f64 1 (+.f64 m (*.f64 m m))))) (*.f64 (sqrt.f64 v) (sqrt.f64 (+.f64 1 (+.f64 m (*.f64 m m))))) (sqrt.f64 (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) (sqrt.f64 (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) (*.f64 (*.f64 (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) (*.f64 (cbrt.f64 (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) (cbrt.f64 (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) (cbrt.f64 (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) (*.f64 (*.f64 (*.f64 v v) v) (*.f64 (*.f64 (+.f64 1 (+.f64 m (*.f64 m m))) (+.f64 1 (+.f64 m (*.f64 m m)))) (+.f64 1 (+.f64 m (*.f64 m m))))) (exp.f64 (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) (log.f64 (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) (+.f64 (log.f64 v) (log.f64 (+.f64 1 (+.f64 m (*.f64 m m))))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))) (*.f64 m (-.f64 (*.f64 (pow.f64 1 3) (pow.f64 1 3)) (*.f64 (pow.f64 m 3) (pow.f64 m 3)))) (*.f64 m (-.f64 (pow.f64 (pow.f64 1 3) 3) (pow.f64 (pow.f64 m 3) 3))) (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 (sqrt.f64 m) (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 (cbrt.f64 m) (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 m 1) (*.f64 m 1) (*.f64 m (pow.f64 1 3)) (*.f64 m (pow.f64 1 3)) (*.f64 m (pow.f64 1 3)) (*.f64 m (pow.f64 1 3)) (*.f64 m (+.f64 (pow.f64 1 (/.f64 3 2)) (pow.f64 m (/.f64 3 2)))) (*.f64 m (+.f64 (pow.f64 1 (/.f64 3 2)) (sqrt.f64 (pow.f64 m 3)))) (*.f64 m (+.f64 (pow.f64 1 (/.f64 3 2)) (pow.f64 (sqrt.f64 m) 3))) (*.f64 m (+.f64 (pow.f64 1 (/.f64 3 2)) (pow.f64 (sqrt.f64 m) 3))) (*.f64 m (+.f64 (sqrt.f64 (pow.f64 1 3)) (pow.f64 m (/.f64 3 2)))) (*.f64 m (+.f64 (sqrt.f64 (pow.f64 1 3)) (sqrt.f64 (pow.f64 m 3)))) (*.f64 m (+.f64 (sqrt.f64 (pow.f64 1 3)) (pow.f64 (sqrt.f64 m) 3))) (*.f64 m (+.f64 (sqrt.f64 (pow.f64 1 3)) (pow.f64 (sqrt.f64 m) 3))) (*.f64 m (+.f64 (pow.f64 1 3) (pow.f64 m (/.f64 3 2)))) (*.f64 m (+.f64 (pow.f64 1 3) (sqrt.f64 (pow.f64 m 3)))) (*.f64 m (+.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 m) 3))) (*.f64 m (+.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 m) 3))) (*.f64 m (+.f64 (pow.f64 (sqrt.f64 1) 3) (pow.f64 m (/.f64 3 2)))) (*.f64 m (+.f64 (pow.f64 (sqrt.f64 1) 3) (sqrt.f64 (pow.f64 m 3)))) (*.f64 m (+.f64 (pow.f64 (sqrt.f64 1) 3) (pow.f64 (sqrt.f64 m) 3))) (*.f64 m (+.f64 (pow.f64 (sqrt.f64 1) 3) (pow.f64 (sqrt.f64 m) 3))) (*.f64 m (+.f64 (pow.f64 1 3) (pow.f64 m (/.f64 3 2)))) (*.f64 m (+.f64 (pow.f64 1 3) (sqrt.f64 (pow.f64 m 3)))) (*.f64 m (+.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 m) 3))) (*.f64 m (+.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 m) 3))) (*.f64 m (+.f64 (pow.f64 (sqrt.f64 1) 3) (pow.f64 m (/.f64 3 2)))) (*.f64 m (+.f64 (pow.f64 (sqrt.f64 1) 3) (sqrt.f64 (pow.f64 m 3)))) (*.f64 m (+.f64 (pow.f64 (sqrt.f64 1) 3) (pow.f64 (sqrt.f64 m) 3))) (*.f64 m (+.f64 (pow.f64 (sqrt.f64 1) 3) (pow.f64 (sqrt.f64 m) 3))) (*.f64 m 1) (*.f64 m (+.f64 (*.f64 1 1) (+.f64 (*.f64 m m) (*.f64 1 m)))) (*.f64 m (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 m 3)))) (*.f64 m (*.f64 (cbrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (cbrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 m 3))))) (*.f64 (pow.f64 1 3) m) (*.f64 (neg.f64 (pow.f64 m 3)) m) (*.f64 m (pow.f64 1 3)) (*.f64 m (neg.f64 (pow.f64 m 3))) (*.f64 (sqrt.f64 m) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 m 3)))) (*.f64 (sqrt.f64 m) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 m 3)))) (sqrt.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3)))) (sqrt.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3)))) (*.f64 (*.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3)))) (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3)))) (*.f64 (cbrt.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3)))) (cbrt.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))))) (cbrt.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3)))) (*.f64 (*.f64 (*.f64 m m) m) (*.f64 (*.f64 (-.f64 (pow.f64 1 3) (pow.f64 m 3)) (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (-.f64 (pow.f64 1 3) (pow.f64 m 3)))) (exp.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3)))) (log.f64 (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3)))) (+.f64 (log.f64 m) (log.f64 (-.f64 (pow.f64 1 3) (pow.f64 m 3)))) (*.f64 m (-.f64 (pow.f64 1 3) (pow.f64 m 3))) (-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v)) (-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v)) (-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v)) (-.f64 (/.f64 m v) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v)))) (-.f64 (+.f64 m (/.f64 (pow.f64 m 3) v)) (*.f64 2 (/.f64 (pow.f64 m 2) v))) (-.f64 (+.f64 m (/.f64 (pow.f64 m 3) v)) (*.f64 2 (/.f64 (pow.f64 m 2) v))) (+.f64 v (+.f64 (*.f64 (pow.f64 m 2) v) (*.f64 m v))) (+.f64 (*.f64 (pow.f64 m 2) v) (+.f64 v (*.f64 m v))) (+.f64 (*.f64 (pow.f64 m 2) v) (+.f64 v (*.f64 m v))) (-.f64 m (pow.f64 m 4)) (-.f64 m (pow.f64 m 4)) (-.f64 m (pow.f64 m 4)) 3.857 * * [simplify]: iteration 0 : 5499 enodes (cost 3175 ) 3.871 * [simplify]: Simplified to: (*.f64 (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))) (+.f64 1 (pow.f64 m 3))) (*.f64 (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))) (+.f64 1 (+.f64 (pow.f64 m 3) (pow.f64 m 6)))) (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (-.f64 1 (*.f64 (+.f64 m (*.f64 m m)) (+.f64 m (*.f64 m m)))))) (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (pow.f64 (+.f64 m (*.f64 m m)) 3)))) (/.f64 (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))) (-.f64 1 (pow.f64 m 3))) (/.f64 (-.f64 m (pow.f64 m 4)) v) (/.f64 (+.f64 1 (+.f64 m (*.f64 m m))) (/.f64 (-.f64 m (pow.f64 m 4)) v)) (/.f64 1 (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) (/.f64 m v) (/.f64 (-.f64 1 (pow.f64 m 3)) (+.f64 1 (+.f64 m (*.f64 m m)))) (+.f64 (neg.f64 m) (pow.f64 m 4)) (*.f64 v (-.f64 -1 (+.f64 m (*.f64 m m)))) (sqrt.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) (sqrt.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) (pow.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 3) (*.f64 (cbrt.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) (cbrt.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))))) (cbrt.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) (pow.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 3) (pow.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 3) (pow.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 3) (pow.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 3) (exp.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) (log.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) (log.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) (log.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) (log.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) (log.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) (*.f64 (+.f64 (*.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) -1) (-.f64 1 m)) (*.f64 (-.f64 1 m) (+.f64 (pow.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 3) -1)) (*.f64 (+.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) -1) (-.f64 1 (*.f64 m m))) (*.f64 (-.f64 1 (pow.f64 m 3)) (+.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) -1)) (*.f64 (-.f64 1 m) (+.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) -1)) (*.f64 (-.f64 1 m) (+.f64 (sqrt.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) -1)) (*.f64 (-.f64 1 m) (+.f64 (sqrt.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) -1)) (*.f64 (-.f64 1 m) (+.f64 (sqrt.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) -1)) (*.f64 (-.f64 1 m) (+.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) -1)) (*.f64 (-.f64 1 m) (sqrt.f64 (+.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) -1))) (*.f64 (-.f64 1 m) (cbrt.f64 (+.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) -1))) (+.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) -1) (*.f64 (+.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) -1) (+.f64 1 (sqrt.f64 m))) (*.f64 (+.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) -1) (+.f64 1 (sqrt.f64 m))) (+.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) -1) (*.f64 (+.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) -1) (sqrt.f64 (-.f64 1 m))) (*.f64 (+.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) -1) (*.f64 (cbrt.f64 (-.f64 1 m)) (cbrt.f64 (-.f64 1 m)))) (+.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) -1) (*.f64 (+.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) -1) (neg.f64 m)) (+.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) -1) (*.f64 (+.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) -1) (neg.f64 m)) (*.f64 (sqrt.f64 (+.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) -1)) (sqrt.f64 (-.f64 1 m))) (*.f64 (sqrt.f64 (+.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) -1)) (sqrt.f64 (-.f64 1 m))) (*.f64 (+.f64 (*.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) -1) (-.f64 1 (*.f64 m m))) (*.f64 (+.f64 1 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) (+.f64 1 m)) (*.f64 (-.f64 1 (pow.f64 m 3)) (+.f64 (*.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) -1)) (*.f64 (+.f64 1 (+.f64 m (*.f64 m m))) (+.f64 1 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))))) (*.f64 (+.f64 (pow.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 3) -1) (-.f64 1 (*.f64 m m))) (*.f64 (+.f64 1 m) (+.f64 (*.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) (+.f64 1 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))))) (*.f64 (-.f64 1 (pow.f64 m 3)) (+.f64 (pow.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) 3) -1)) (*.f64 (+.f64 1 (+.f64 m (*.f64 m m))) (+.f64 (*.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) (+.f64 1 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))))) (sqrt.f64 (*.f64 (-.f64 1 m) (+.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) -1))) (sqrt.f64 (*.f64 (-.f64 1 m) (+.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) -1))) (pow.f64 (*.f64 (-.f64 1 m) (+.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) -1)) 3) (*.f64 (cbrt.f64 (*.f64 (-.f64 1 m) (+.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) -1))) (cbrt.f64 (*.f64 (-.f64 1 m) (+.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) -1)))) (cbrt.f64 (*.f64 (-.f64 1 m) (+.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) -1))) (pow.f64 (*.f64 (-.f64 1 m) (+.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) -1)) 3) (pow.f64 (exp.f64 (-.f64 1 m)) (+.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) -1)) (log.f64 (*.f64 (-.f64 1 m) (+.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) -1))) (log.f64 (*.f64 (-.f64 1 m) (+.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) -1))) (*.f64 (-.f64 1 m) (+.f64 (/.f64 (-.f64 m (pow.f64 m 4)) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) -1)) (*.f64 v (-.f64 1 (*.f64 (+.f64 m (*.f64 m m)) (+.f64 m (*.f64 m m))))) (*.f64 v (+.f64 1 (pow.f64 (+.f64 m (*.f64 m m)) 3))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))) (*.f64 (+.f64 1 (+.f64 m (*.f64 m m))) (sqrt.f64 v)) (*.f64 (+.f64 1 (+.f64 m (*.f64 m m))) (cbrt.f64 v)) v v (*.f64 v (sqrt.f64 (+.f64 1 (+.f64 m (*.f64 m m))))) (*.f64 v (*.f64 (cbrt.f64 (+.f64 1 (+.f64 m (*.f64 m m)))) (cbrt.f64 (+.f64 1 (+.f64 m (*.f64 m m)))))) v (*.f64 v (+.f64 m (*.f64 m m))) v (*.f64 v (+.f64 m (*.f64 m m))) (*.f64 (sqrt.f64 v) (sqrt.f64 (+.f64 1 (+.f64 m (*.f64 m m))))) (*.f64 (sqrt.f64 v) (sqrt.f64 (+.f64 1 (+.f64 m (*.f64 m m))))) (sqrt.f64 (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) (sqrt.f64 (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) (pow.f64 (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))) 3) (*.f64 (cbrt.f64 (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) (cbrt.f64 (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))))) (cbrt.f64 (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) (pow.f64 (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))) 3) (exp.f64 (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) (log.f64 (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) (log.f64 (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m))))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))) (*.f64 m (-.f64 1 (pow.f64 m 6))) (*.f64 m (-.f64 1 (pow.f64 (pow.f64 m 3) 3))) (-.f64 m (pow.f64 m 4)) (*.f64 (-.f64 1 (pow.f64 m 3)) (sqrt.f64 m)) (*.f64 (-.f64 1 (pow.f64 m 3)) (cbrt.f64 m)) m m m m m m (+.f64 m (pow.f64 m 5/2)) (*.f64 m (+.f64 1 (sqrt.f64 (pow.f64 m 3)))) (*.f64 m (+.f64 1 (*.f64 m (sqrt.f64 m)))) (*.f64 m (+.f64 1 (*.f64 m (sqrt.f64 m)))) (+.f64 m (pow.f64 m 5/2)) (*.f64 m (+.f64 1 (sqrt.f64 (pow.f64 m 3)))) (*.f64 m (+.f64 1 (*.f64 m (sqrt.f64 m)))) (*.f64 m (+.f64 1 (*.f64 m (sqrt.f64 m)))) (+.f64 m (pow.f64 m 5/2)) (*.f64 m (+.f64 1 (sqrt.f64 (pow.f64 m 3)))) (*.f64 m (+.f64 1 (*.f64 m (sqrt.f64 m)))) (*.f64 m (+.f64 1 (*.f64 m (sqrt.f64 m)))) (+.f64 m (pow.f64 m 5/2)) (*.f64 m (+.f64 1 (sqrt.f64 (pow.f64 m 3)))) (*.f64 m (+.f64 1 (*.f64 m (sqrt.f64 m)))) (*.f64 m (+.f64 1 (*.f64 m (sqrt.f64 m)))) (+.f64 m (pow.f64 m 5/2)) (*.f64 m (+.f64 1 (sqrt.f64 (pow.f64 m 3)))) (*.f64 m (+.f64 1 (*.f64 m (sqrt.f64 m)))) (*.f64 m (+.f64 1 (*.f64 m (sqrt.f64 m)))) (+.f64 m (pow.f64 m 5/2)) (*.f64 m (+.f64 1 (sqrt.f64 (pow.f64 m 3)))) (*.f64 m (+.f64 1 (*.f64 m (sqrt.f64 m)))) (*.f64 m (+.f64 1 (*.f64 m (sqrt.f64 m)))) m (+.f64 (+.f64 m (*.f64 m m)) (pow.f64 m 3)) (*.f64 m (sqrt.f64 (-.f64 1 (pow.f64 m 3)))) (*.f64 m (*.f64 (cbrt.f64 (-.f64 1 (pow.f64 m 3))) (cbrt.f64 (-.f64 1 (pow.f64 m 3))))) m (neg.f64 (pow.f64 m 4)) m (neg.f64 (pow.f64 m 4)) (*.f64 (sqrt.f64 m) (sqrt.f64 (-.f64 1 (pow.f64 m 3)))) (*.f64 (sqrt.f64 m) (sqrt.f64 (-.f64 1 (pow.f64 m 3)))) (sqrt.f64 (-.f64 m (pow.f64 m 4))) (sqrt.f64 (-.f64 m (pow.f64 m 4))) (pow.f64 (-.f64 m (pow.f64 m 4)) 3) (*.f64 (cbrt.f64 (-.f64 m (pow.f64 m 4))) (cbrt.f64 (-.f64 m (pow.f64 m 4)))) (cbrt.f64 (-.f64 m (pow.f64 m 4))) (pow.f64 (-.f64 m (pow.f64 m 4)) 3) (exp.f64 (-.f64 m (pow.f64 m 4))) (log.f64 (-.f64 m (pow.f64 m 4))) (log.f64 (-.f64 m (pow.f64 m 4))) (-.f64 m (pow.f64 m 4)) (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)) (-.f64 (/.f64 m v) (+.f64 1 (*.f64 2 (*.f64 (/.f64 m v) m)))) (-.f64 (+.f64 m (/.f64 (pow.f64 m 3) v)) (*.f64 2 (*.f64 (/.f64 m v) m))) (-.f64 (+.f64 m (/.f64 (pow.f64 m 3) v)) (*.f64 2 (*.f64 (/.f64 m v) m))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))) (*.f64 v (+.f64 1 (+.f64 m (*.f64 m m)))) (-.f64 m (pow.f64 m 4)) (-.f64 m (pow.f64 m 4)) (-.f64 m (pow.f64 m 4)) 3.872 * * * [progress]: adding candidates to table 4.447 * [progress]: [Phase 3 of 3] Extracting. 4.448 * * [regime]: Finding splitpoints for: (# # # #) 4.449 * * * [regime-changes]: Trying 2 branch expressions: (v m) 4.449 * * * * [regimes]: Trying to branch on v from (# # # #) 4.522 * * * * [regimes]: Trying to branch on m from (# # # #) 4.591 * * * [regime]: Found split indices: #