5.311 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.086 * * * [progress]: [2/2] Setting up program. 0.095 * [progress]: [Phase 2 of 3] Improving. 0.095 * [simplify]: Simplifying: (* (cos (- (/ (* K (+ m n)) 2.0) M)) (exp (- (- (pow (- (/ (+ m n) 2.0) M) 2.0)) (- l (fabs (- m n)))))) 0.095 * * [simplify]: Extracting # 0 : cost 0 0.095 * * [simplify]: Extracting # 1 : cost 0 0.096 * * [simplify]: Extracting # 2 : cost 0 0.096 * * [simplify]: Extracting # 3 : cost 0 0.096 * * [simplify]: Extracting # 4 : cost 0 0.096 * * [simplify]: Extracting # 5 : cost 0 0.096 * * [simplify]: Extracting # 6 : cost 0 0.096 * * [simplify]: Extracting # 7 : cost 0 0.096 * * [simplify]: Extracting # 8 : cost 0 0.096 * * [simplify]: Extracting # 9 : cost 0 0.096 * * [simplify]: Extracting # 10 : cost 0 0.096 * * [simplify]: Extracting # 11 : cost 0 0.096 * * [simplify]: Extracting # 12 : cost 0 0.096 * * [simplify]: iteration 0 : 21 enodes (cost 29 ) 0.103 * * [simplify]: Extracting # 0 : cost 0 0.103 * * [simplify]: Extracting # 1 : cost 0 0.103 * * [simplify]: Extracting # 2 : cost 0 0.104 * * [simplify]: Extracting # 3 : cost 0 0.104 * * [simplify]: Extracting # 4 : cost 0 0.104 * * [simplify]: Extracting # 5 : cost 0 0.104 * * [simplify]: Extracting # 6 : cost 0 0.104 * * [simplify]: iteration 1 : 50 enodes (cost 29 ) 0.121 * * [simplify]: Extracting # 0 : cost 0 0.121 * * [simplify]: Extracting # 1 : cost 0 0.122 * * [simplify]: Extracting # 2 : cost 0 0.122 * * [simplify]: Extracting # 3 : cost 0 0.122 * * [simplify]: Extracting # 4 : cost 0 0.122 * * [simplify]: iteration 2 : 93 enodes (cost 29 ) 0.168 * * [simplify]: Extracting # 0 : cost 0 0.168 * * [simplify]: Extracting # 1 : cost 0 0.169 * * [simplify]: Extracting # 2 : cost 0 0.169 * * [simplify]: Extracting # 3 : cost 0 0.169 * * [simplify]: Extracting # 4 : cost 0 0.170 * * [simplify]: Extracting # 5 : cost 0 0.170 * * [simplify]: iteration 3 : 197 enodes (cost 29 ) 0.241 * * [simplify]: Extracting # 0 : cost 0 0.242 * * [simplify]: Extracting # 1 : cost 0 0.243 * * [simplify]: Extracting # 2 : cost 0 0.243 * * [simplify]: Extracting # 3 : cost 0 0.244 * * [simplify]: Extracting # 4 : cost 0 0.245 * * [simplify]: iteration 4 : 465 enodes (cost 28 ) 0.560 * * [simplify]: Extracting # 0 : cost 0 0.563 * * [simplify]: Extracting # 1 : cost 0 0.565 * * [simplify]: Extracting # 2 : cost 0 0.568 * * [simplify]: Extracting # 3 : cost 0 0.570 * * [simplify]: Extracting # 4 : cost 0 0.572 * * [simplify]: Extracting # 5 : cost 0 0.574 * * [simplify]: iteration 5 : 1141 enodes (cost 28 ) 3.254 * * [simplify]: Extracting # 0 : cost 0 3.266 * * [simplify]: Extracting # 1 : cost 0 3.273 * * [simplify]: Extracting # 2 : cost 0 3.281 * * [simplify]: Extracting # 3 : cost 0 3.289 * * [simplify]: Extracting # 4 : cost 0 3.296 * * [simplify]: iteration 6 : 4709 enodes (cost 28 ) 4.889 * * [simplify]: Extracting # 0 : cost 0 4.894 * * [simplify]: Extracting # 1 : cost 0 4.898 * * [simplify]: Extracting # 2 : cost 0 4.903 * * [simplify]: Extracting # 3 : cost 0 4.907 * * [simplify]: Extracting # 4 : cost 0 4.911 * * [simplify]: iteration done: 5000 enodes (cost 28 ) 4.911 * [simplify]: Simplified to: (* (exp (- (- (fabs (- m n)) l) (pow (- (/ (+ m n) 2.0) M) 2.0))) (cos (- (/ (* K (+ m n)) 2.0) M))) 4.918 * * [progress]: iteration 1 / 4 4.918 * * * [progress]: picking best candidate 4.922 * * * * [pick]: Picked # 4.922 * * * [progress]: localizing error 4.967 * * * [progress]: generating rewritten candidates 4.968 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 5.021 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 5.112 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1) 5.136 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 9.152 * * * [progress]: generating series expansions 9.152 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 9.153 * [backup-simplify]: Simplify (cos (- (/ (* K (+ m n)) 2.0) M)) into (cos (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M)) 9.153 * [approximate]: Taking taylor expansion of (cos (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M)) in (K m n M) around 0 9.153 * [taylor]: Taking taylor expansion of (cos (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M)) in M 9.153 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M) in M 9.153 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* K n)) (* 0.5 (* K m))) in M 9.153 * [taylor]: Taking taylor expansion of (* 0.5 (* K n)) in M 9.153 * [taylor]: Taking taylor expansion of 0.5 in M 9.153 * [backup-simplify]: Simplify 0.5 into 0.5 9.153 * [taylor]: Taking taylor expansion of (* K n) in M 9.153 * [taylor]: Taking taylor expansion of K in M 9.153 * [backup-simplify]: Simplify K into K 9.153 * [taylor]: Taking taylor expansion of n in M 9.153 * [backup-simplify]: Simplify n into n 9.153 * [taylor]: Taking taylor expansion of (* 0.5 (* K m)) in M 9.153 * [taylor]: Taking taylor expansion of 0.5 in M 9.153 * [backup-simplify]: Simplify 0.5 into 0.5 9.153 * [taylor]: Taking taylor expansion of (* K m) in M 9.153 * [taylor]: Taking taylor expansion of K in M 9.154 * [backup-simplify]: Simplify K into K 9.154 * [taylor]: Taking taylor expansion of m in M 9.154 * [backup-simplify]: Simplify m into m 9.154 * [taylor]: Taking taylor expansion of M in M 9.154 * [backup-simplify]: Simplify 0 into 0 9.154 * [backup-simplify]: Simplify 1 into 1 9.154 * [backup-simplify]: Simplify (* K n) into (* K n) 9.154 * [backup-simplify]: Simplify (* 0.5 (* K n)) into (* 0.5 (* K n)) 9.154 * [backup-simplify]: Simplify (* K m) into (* K m) 9.154 * [backup-simplify]: Simplify (* 0.5 (* K m)) into (* 0.5 (* K m)) 9.154 * [backup-simplify]: Simplify (+ (* 0.5 (* K n)) (* 0.5 (* K m))) into (+ (* 0.5 (* K n)) (* 0.5 (* K m))) 9.155 * [backup-simplify]: Simplify (- 0) into 0 9.155 * [backup-simplify]: Simplify (+ (+ (* 0.5 (* K n)) (* 0.5 (* K m))) 0) into (+ (* 0.5 (* K n)) (* 0.5 (* K m))) 9.156 * [backup-simplify]: Simplify (cos (+ (* 0.5 (* K n)) (* 0.5 (* K m)))) into (cos (+ (* 0.5 (* K n)) (* 0.5 (* K m)))) 9.156 * [backup-simplify]: Simplify (sin (+ (* 0.5 (* K n)) (* 0.5 (* K m)))) into (sin (+ (* 0.5 (* K n)) (* 0.5 (* K m)))) 9.156 * [taylor]: Taking taylor expansion of (cos (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M)) in n 9.156 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M) in n 9.156 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* K n)) (* 0.5 (* K m))) in n 9.156 * [taylor]: Taking taylor expansion of (* 0.5 (* K n)) in n 9.156 * [taylor]: Taking taylor expansion of 0.5 in n 9.156 * [backup-simplify]: Simplify 0.5 into 0.5 9.156 * [taylor]: Taking taylor expansion of (* K n) in n 9.156 * [taylor]: Taking taylor expansion of K in n 9.156 * [backup-simplify]: Simplify K into K 9.156 * [taylor]: Taking taylor expansion of n in n 9.156 * [backup-simplify]: Simplify 0 into 0 9.156 * [backup-simplify]: Simplify 1 into 1 9.156 * [taylor]: Taking taylor expansion of (* 0.5 (* K m)) in n 9.156 * [taylor]: Taking taylor expansion of 0.5 in n 9.156 * [backup-simplify]: Simplify 0.5 into 0.5 9.156 * [taylor]: Taking taylor expansion of (* K m) in n 9.156 * [taylor]: Taking taylor expansion of K in n 9.156 * [backup-simplify]: Simplify K into K 9.157 * [taylor]: Taking taylor expansion of m in n 9.157 * [backup-simplify]: Simplify m into m 9.157 * [taylor]: Taking taylor expansion of M in n 9.157 * [backup-simplify]: Simplify M into M 9.157 * [backup-simplify]: Simplify (* K 0) into 0 9.157 * [backup-simplify]: Simplify (* 0.5 0) into 0 9.157 * [backup-simplify]: Simplify (* K m) into (* K m) 9.157 * [backup-simplify]: Simplify (* 0.5 (* K m)) into (* 0.5 (* K m)) 9.157 * [backup-simplify]: Simplify (+ 0 (* 0.5 (* K m))) into (* 0.5 (* K m)) 9.158 * [backup-simplify]: Simplify (- M) into (- M) 9.158 * [backup-simplify]: Simplify (+ (* 0.5 (* K m)) (- M)) into (- (* 0.5 (* K m)) M) 9.158 * [backup-simplify]: Simplify (cos (- (* 0.5 (* K m)) M)) into (cos (- (* 0.5 (* K m)) M)) 9.158 * [backup-simplify]: Simplify (sin (- (* 0.5 (* K m)) M)) into (sin (- (* 0.5 (* K m)) M)) 9.158 * [taylor]: Taking taylor expansion of (cos (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M)) in m 9.158 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M) in m 9.158 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* K n)) (* 0.5 (* K m))) in m 9.158 * [taylor]: Taking taylor expansion of (* 0.5 (* K n)) in m 9.158 * [taylor]: Taking taylor expansion of 0.5 in m 9.158 * [backup-simplify]: Simplify 0.5 into 0.5 9.158 * [taylor]: Taking taylor expansion of (* K n) in m 9.158 * [taylor]: Taking taylor expansion of K in m 9.158 * [backup-simplify]: Simplify K into K 9.158 * [taylor]: Taking taylor expansion of n in m 9.158 * [backup-simplify]: Simplify n into n 9.158 * [taylor]: Taking taylor expansion of (* 0.5 (* K m)) in m 9.158 * [taylor]: Taking taylor expansion of 0.5 in m 9.158 * [backup-simplify]: Simplify 0.5 into 0.5 9.158 * [taylor]: Taking taylor expansion of (* K m) in m 9.159 * [taylor]: Taking taylor expansion of K in m 9.159 * [backup-simplify]: Simplify K into K 9.159 * [taylor]: Taking taylor expansion of m in m 9.159 * [backup-simplify]: Simplify 0 into 0 9.159 * [backup-simplify]: Simplify 1 into 1 9.159 * [taylor]: Taking taylor expansion of M in m 9.159 * [backup-simplify]: Simplify M into M 9.159 * [backup-simplify]: Simplify (* K n) into (* K n) 9.159 * [backup-simplify]: Simplify (* 0.5 (* K n)) into (* 0.5 (* K n)) 9.159 * [backup-simplify]: Simplify (* K 0) into 0 9.159 * [backup-simplify]: Simplify (* 0.5 0) into 0 9.160 * [backup-simplify]: Simplify (+ (* 0.5 (* K n)) 0) into (* 0.5 (* K n)) 9.160 * [backup-simplify]: Simplify (- M) into (- M) 9.160 * [backup-simplify]: Simplify (+ (* 0.5 (* K n)) (- M)) into (- (* 0.5 (* K n)) M) 9.160 * [backup-simplify]: Simplify (cos (- (* 0.5 (* K n)) M)) into (cos (- (* 0.5 (* K n)) M)) 9.160 * [backup-simplify]: Simplify (sin (- (* 0.5 (* K n)) M)) into (sin (- (* 0.5 (* K n)) M)) 9.160 * [taylor]: Taking taylor expansion of (cos (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M)) in K 9.160 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M) in K 9.160 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* K n)) (* 0.5 (* K m))) in K 9.160 * [taylor]: Taking taylor expansion of (* 0.5 (* K n)) in K 9.160 * [taylor]: Taking taylor expansion of 0.5 in K 9.160 * [backup-simplify]: Simplify 0.5 into 0.5 9.160 * [taylor]: Taking taylor expansion of (* K n) in K 9.160 * [taylor]: Taking taylor expansion of K in K 9.160 * [backup-simplify]: Simplify 0 into 0 9.160 * [backup-simplify]: Simplify 1 into 1 9.160 * [taylor]: Taking taylor expansion of n in K 9.160 * [backup-simplify]: Simplify n into n 9.160 * [taylor]: Taking taylor expansion of (* 0.5 (* K m)) in K 9.161 * [taylor]: Taking taylor expansion of 0.5 in K 9.161 * [backup-simplify]: Simplify 0.5 into 0.5 9.161 * [taylor]: Taking taylor expansion of (* K m) in K 9.161 * [taylor]: Taking taylor expansion of K in K 9.161 * [backup-simplify]: Simplify 0 into 0 9.161 * [backup-simplify]: Simplify 1 into 1 9.161 * [taylor]: Taking taylor expansion of m in K 9.161 * [backup-simplify]: Simplify m into m 9.161 * [taylor]: Taking taylor expansion of M in K 9.161 * [backup-simplify]: Simplify M into M 9.161 * [backup-simplify]: Simplify (* 0 n) into 0 9.161 * [backup-simplify]: Simplify (* 0.5 0) into 0 9.161 * [backup-simplify]: Simplify (* 0 m) into 0 9.162 * [backup-simplify]: Simplify (* 0.5 0) into 0 9.162 * [backup-simplify]: Simplify (+ 0 0) into 0 9.162 * [backup-simplify]: Simplify (- M) into (- M) 9.163 * [backup-simplify]: Simplify (+ 0 (- M)) into (- M) 9.163 * [backup-simplify]: Simplify (cos (- M)) into (cos (- M)) 9.163 * [backup-simplify]: Simplify (sin (- M)) into (sin (- M)) 9.163 * [taylor]: Taking taylor expansion of (cos (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M)) in K 9.163 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M) in K 9.163 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* K n)) (* 0.5 (* K m))) in K 9.163 * [taylor]: Taking taylor expansion of (* 0.5 (* K n)) in K 9.163 * [taylor]: Taking taylor expansion of 0.5 in K 9.163 * [backup-simplify]: Simplify 0.5 into 0.5 9.163 * [taylor]: Taking taylor expansion of (* K n) in K 9.163 * [taylor]: Taking taylor expansion of K in K 9.163 * [backup-simplify]: Simplify 0 into 0 9.163 * [backup-simplify]: Simplify 1 into 1 9.163 * [taylor]: Taking taylor expansion of n in K 9.163 * [backup-simplify]: Simplify n into n 9.163 * [taylor]: Taking taylor expansion of (* 0.5 (* K m)) in K 9.163 * [taylor]: Taking taylor expansion of 0.5 in K 9.163 * [backup-simplify]: Simplify 0.5 into 0.5 9.163 * [taylor]: Taking taylor expansion of (* K m) in K 9.163 * [taylor]: Taking taylor expansion of K in K 9.163 * [backup-simplify]: Simplify 0 into 0 9.163 * [backup-simplify]: Simplify 1 into 1 9.163 * [taylor]: Taking taylor expansion of m in K 9.163 * [backup-simplify]: Simplify m into m 9.163 * [taylor]: Taking taylor expansion of M in K 9.163 * [backup-simplify]: Simplify M into M 9.163 * [backup-simplify]: Simplify (* 0 n) into 0 9.164 * [backup-simplify]: Simplify (* 0.5 0) into 0 9.164 * [backup-simplify]: Simplify (* 0 m) into 0 9.164 * [backup-simplify]: Simplify (* 0.5 0) into 0 9.165 * [backup-simplify]: Simplify (+ 0 0) into 0 9.165 * [backup-simplify]: Simplify (- M) into (- M) 9.165 * [backup-simplify]: Simplify (+ 0 (- M)) into (- M) 9.165 * [backup-simplify]: Simplify (cos (- M)) into (cos (- M)) 9.165 * [backup-simplify]: Simplify (sin (- M)) into (sin (- M)) 9.166 * [backup-simplify]: Simplify (* (cos (- M)) 1) into (cos (- M)) 9.166 * [backup-simplify]: Simplify (* (sin (- M)) 0) into 0 9.166 * [backup-simplify]: Simplify (- 0) into 0 9.166 * [backup-simplify]: Simplify (+ (cos (- M)) 0) into (cos (- M)) 9.166 * [taylor]: Taking taylor expansion of (cos (- M)) in m 9.166 * [taylor]: Taking taylor expansion of (- M) in m 9.166 * [taylor]: Taking taylor expansion of M in m 9.166 * [backup-simplify]: Simplify M into M 9.167 * [backup-simplify]: Simplify (- M) into (- M) 9.167 * [backup-simplify]: Simplify (- M) into (- M) 9.167 * [backup-simplify]: Simplify (cos (- M)) into (cos (- M)) 9.167 * [backup-simplify]: Simplify (- M) into (- M) 9.167 * [backup-simplify]: Simplify (sin (- M)) into (sin (- M)) 9.167 * [backup-simplify]: Simplify (* (cos (- M)) 1) into (cos (- M)) 9.167 * [backup-simplify]: Simplify (* (sin (- M)) 0) into 0 9.167 * [backup-simplify]: Simplify (- 0) into 0 9.167 * [backup-simplify]: Simplify (+ (cos (- M)) 0) into (cos (- M)) 9.168 * [taylor]: Taking taylor expansion of (cos (- M)) in n 9.168 * [taylor]: Taking taylor expansion of (- M) in n 9.168 * [taylor]: Taking taylor expansion of M in n 9.168 * [backup-simplify]: Simplify M into M 9.168 * [backup-simplify]: Simplify (- M) into (- M) 9.168 * [backup-simplify]: Simplify (- M) into (- M) 9.168 * [backup-simplify]: Simplify (cos (- M)) into (cos (- M)) 9.168 * [backup-simplify]: Simplify (- M) into (- M) 9.168 * [backup-simplify]: Simplify (sin (- M)) into (sin (- M)) 9.168 * [backup-simplify]: Simplify (* (cos (- M)) 1) into (cos (- M)) 9.168 * [backup-simplify]: Simplify (* (sin (- M)) 0) into 0 9.168 * [backup-simplify]: Simplify (- 0) into 0 9.169 * [backup-simplify]: Simplify (+ (cos (- M)) 0) into (cos (- M)) 9.169 * [taylor]: Taking taylor expansion of (cos (- M)) in M 9.169 * [taylor]: Taking taylor expansion of (- M) in M 9.169 * [taylor]: Taking taylor expansion of M in M 9.169 * [backup-simplify]: Simplify 0 into 0 9.169 * [backup-simplify]: Simplify 1 into 1 9.169 * [backup-simplify]: Simplify (- 0) into 0 9.169 * [backup-simplify]: Simplify (- 1) into -1 9.169 * [backup-simplify]: Simplify 1 into 1 9.170 * [backup-simplify]: Simplify (+ 0) into 0 9.170 * [backup-simplify]: Simplify (+ (* (cos (- M)) 0) (* 0 1)) into 0 9.171 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 n)) into n 9.171 * [backup-simplify]: Simplify (+ (* 0.5 n) (* 0 0)) into (* 0.5 n) 9.172 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 m)) into m 9.172 * [backup-simplify]: Simplify (+ (* 0.5 m) (* 0 0)) into (* 0.5 m) 9.172 * [backup-simplify]: Simplify (+ (* 0.5 n) (* 0.5 m)) into (+ (* 0.5 m) (* 0.5 n)) 9.173 * [backup-simplify]: Simplify (- 0) into 0 9.173 * [backup-simplify]: Simplify (+ (+ (* 0.5 m) (* 0.5 n)) 0) into (+ (* 0.5 m) (* 0.5 n)) 9.173 * [backup-simplify]: Simplify (+ (* 1 (/ (pow (+ (* 0.5 m) (* 0.5 n)) 1) 1))) into (+ (* 0.5 m) (* 0.5 n)) 9.174 * [backup-simplify]: Simplify (+ (* (sin (- M)) (+ (* 0.5 m) (* 0.5 n))) (* 0 0)) into (+ (* 0.5 (* m (sin (- M)))) (* 0.5 (* n (sin (- M))))) 9.174 * [backup-simplify]: Simplify (- (+ (* 0.5 (* m (sin (- M)))) (* 0.5 (* n (sin (- M)))))) into (- (+ (* 0.5 (* m (sin (- M)))) (* 0.5 (* n (sin (- M)))))) 9.175 * [backup-simplify]: Simplify (+ 0 (- (+ (* 0.5 (* m (sin (- M)))) (* 0.5 (* n (sin (- M))))))) into (- (+ (* 0.5 (* m (sin (- M)))) (* 0.5 (* n (sin (- M)))))) 9.175 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (* m (sin (- M)))) (* 0.5 (* n (sin (- M)))))) in m 9.175 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* m (sin (- M)))) (* 0.5 (* n (sin (- M))))) in m 9.175 * [taylor]: Taking taylor expansion of (* 0.5 (* m (sin (- M)))) in m 9.175 * [taylor]: Taking taylor expansion of 0.5 in m 9.175 * [backup-simplify]: Simplify 0.5 into 0.5 9.175 * [taylor]: Taking taylor expansion of (* m (sin (- M))) in m 9.175 * [taylor]: Taking taylor expansion of m in m 9.175 * [backup-simplify]: Simplify 0 into 0 9.175 * [backup-simplify]: Simplify 1 into 1 9.175 * [taylor]: Taking taylor expansion of (sin (- M)) in m 9.175 * [taylor]: Taking taylor expansion of (- M) in m 9.175 * [taylor]: Taking taylor expansion of M in m 9.175 * [backup-simplify]: Simplify M into M 9.175 * [backup-simplify]: Simplify (- M) into (- M) 9.175 * [backup-simplify]: Simplify (- M) into (- M) 9.175 * [backup-simplify]: Simplify (sin (- M)) into (sin (- M)) 9.175 * [backup-simplify]: Simplify (- M) into (- M) 9.175 * [backup-simplify]: Simplify (cos (- M)) into (cos (- M)) 9.175 * [taylor]: Taking taylor expansion of (* 0.5 (* n (sin (- M)))) in m 9.175 * [taylor]: Taking taylor expansion of 0.5 in m 9.176 * [backup-simplify]: Simplify 0.5 into 0.5 9.176 * [taylor]: Taking taylor expansion of (* n (sin (- M))) in m 9.176 * [taylor]: Taking taylor expansion of n in m 9.176 * [backup-simplify]: Simplify n into n 9.176 * [taylor]: Taking taylor expansion of (sin (- M)) in m 9.176 * [taylor]: Taking taylor expansion of (- M) in m 9.176 * [taylor]: Taking taylor expansion of M in m 9.176 * [backup-simplify]: Simplify M into M 9.176 * [backup-simplify]: Simplify (- M) into (- M) 9.176 * [backup-simplify]: Simplify (- M) into (- M) 9.176 * [backup-simplify]: Simplify (sin (- M)) into (sin (- M)) 9.176 * [backup-simplify]: Simplify (- M) into (- M) 9.176 * [backup-simplify]: Simplify (cos (- M)) into (cos (- M)) 9.176 * [backup-simplify]: Simplify (* (sin (- M)) 1) into (sin (- M)) 9.176 * [backup-simplify]: Simplify (* (cos (- M)) 0) into 0 9.176 * [backup-simplify]: Simplify (+ (sin (- M)) 0) into (sin (- M)) 9.176 * [backup-simplify]: Simplify (* 0 (sin (- M))) into 0 9.177 * [backup-simplify]: Simplify (* 0.5 0) into 0 9.177 * [backup-simplify]: Simplify (* (sin (- M)) 1) into (sin (- M)) 9.177 * [backup-simplify]: Simplify (* (cos (- M)) 0) into 0 9.177 * [backup-simplify]: Simplify (+ (sin (- M)) 0) into (sin (- M)) 9.177 * [backup-simplify]: Simplify (* n (sin (- M))) into (* n (sin (- M))) 9.177 * [backup-simplify]: Simplify (* 0.5 (* n (sin (- M)))) into (* 0.5 (* n (sin (- M)))) 9.178 * [backup-simplify]: Simplify (+ 0 (* 0.5 (* n (sin (- M))))) into (* 0.5 (* n (sin (- M)))) 9.178 * [backup-simplify]: Simplify (- (* 0.5 (* n (sin (- M))))) into (- (* 0.5 (* n (sin (- M))))) 9.178 * [taylor]: Taking taylor expansion of (- (* 0.5 (* n (sin (- M))))) in n 9.178 * [taylor]: Taking taylor expansion of (* 0.5 (* n (sin (- M)))) in n 9.178 * [taylor]: Taking taylor expansion of 0.5 in n 9.178 * [backup-simplify]: Simplify 0.5 into 0.5 9.178 * [taylor]: Taking taylor expansion of (* n (sin (- M))) in n 9.178 * [taylor]: Taking taylor expansion of n in n 9.178 * [backup-simplify]: Simplify 0 into 0 9.178 * [backup-simplify]: Simplify 1 into 1 9.178 * [taylor]: Taking taylor expansion of (sin (- M)) in n 9.178 * [taylor]: Taking taylor expansion of (- M) in n 9.178 * [taylor]: Taking taylor expansion of M in n 9.178 * [backup-simplify]: Simplify M into M 9.178 * [backup-simplify]: Simplify (- M) into (- M) 9.178 * [backup-simplify]: Simplify (- M) into (- M) 9.178 * [backup-simplify]: Simplify (sin (- M)) into (sin (- M)) 9.178 * [backup-simplify]: Simplify (- M) into (- M) 9.178 * [backup-simplify]: Simplify (cos (- M)) into (cos (- M)) 9.178 * [backup-simplify]: Simplify (* (sin (- M)) 1) into (sin (- M)) 9.179 * [backup-simplify]: Simplify (* (cos (- M)) 0) into 0 9.179 * [backup-simplify]: Simplify (+ (sin (- M)) 0) into (sin (- M)) 9.179 * [backup-simplify]: Simplify (* 0 (sin (- M))) into 0 9.179 * [backup-simplify]: Simplify (* 0.5 0) into 0 9.180 * [backup-simplify]: Simplify (- 0) into 0 9.180 * [taylor]: Taking taylor expansion of 0 in M 9.180 * [backup-simplify]: Simplify 0 into 0 9.180 * [backup-simplify]: Simplify 0 into 0 9.180 * [backup-simplify]: Simplify (+ 0) into 0 9.181 * [backup-simplify]: Simplify (+ (* (cos (- M)) 0) (* 0 1)) into 0 9.181 * [backup-simplify]: Simplify (- 0) into 0 9.182 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 9.183 * [backup-simplify]: Simplify (+ (* (sin (- M)) 0) (* 0 0)) into 0 9.183 * [backup-simplify]: Simplify (- 0) into 0 9.184 * [backup-simplify]: Simplify (+ 0 0) into 0 9.184 * [taylor]: Taking taylor expansion of 0 in n 9.184 * [backup-simplify]: Simplify 0 into 0 9.184 * [taylor]: Taking taylor expansion of 0 in M 9.184 * [backup-simplify]: Simplify 0 into 0 9.184 * [backup-simplify]: Simplify 0 into 0 9.184 * [backup-simplify]: Simplify (+ 0) into 0 9.185 * [backup-simplify]: Simplify (+ (* (cos (- M)) 0) (* 0 1)) into 0 9.185 * [backup-simplify]: Simplify (- 0) into 0 9.186 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 9.186 * [backup-simplify]: Simplify (+ (* (sin (- M)) 0) (* 0 0)) into 0 9.187 * [backup-simplify]: Simplify (- 0) into 0 9.187 * [backup-simplify]: Simplify (+ 0 0) into 0 9.187 * [taylor]: Taking taylor expansion of 0 in M 9.187 * [backup-simplify]: Simplify 0 into 0 9.187 * [backup-simplify]: Simplify 0 into 0 9.188 * [backup-simplify]: Simplify (+ 0) into 0 9.188 * [backup-simplify]: Simplify 0 into 0