0.554 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.088 * * * [progress]: [2/2] Setting up program. 0.097 * [progress]: [Phase 2 of 3] Improving. 0.097 * [simplify]: Simplifying: (* (cos (- (/ (* K (+ m n)) 2.0) M)) (exp (- (- (pow (- (/ (+ m n) 2.0) M) 2.0)) (- l (fabs (- m n)))))) 0.098 * * [simplify]: Extracting # 0 : cost 0 0.098 * * [simplify]: Extracting # 1 : cost 0 0.098 * * [simplify]: Extracting # 2 : cost 0 0.098 * * [simplify]: Extracting # 3 : cost 0 0.098 * * [simplify]: Extracting # 4 : cost 0 0.098 * * [simplify]: Extracting # 5 : cost 0 0.098 * * [simplify]: Extracting # 6 : cost 0 0.098 * * [simplify]: Extracting # 7 : cost 0 0.098 * * [simplify]: Extracting # 8 : cost 0 0.098 * * [simplify]: Extracting # 9 : cost 0 0.098 * * [simplify]: Extracting # 10 : cost 0 0.098 * * [simplify]: Extracting # 11 : cost 0 0.099 * * [simplify]: Extracting # 12 : cost 0 0.099 * * [simplify]: iteration 0 : 21 enodes (cost 29 ) 0.106 * * [simplify]: Extracting # 0 : cost 0 0.106 * * [simplify]: Extracting # 1 : cost 0 0.106 * * [simplify]: Extracting # 2 : cost 0 0.106 * * [simplify]: Extracting # 3 : cost 0 0.106 * * [simplify]: Extracting # 4 : cost 0 0.106 * * [simplify]: Extracting # 5 : cost 0 0.107 * * [simplify]: Extracting # 6 : cost 0 0.107 * * [simplify]: iteration 1 : 50 enodes (cost 29 ) 0.125 * * [simplify]: Extracting # 0 : cost 0 0.125 * * [simplify]: Extracting # 1 : cost 0 0.125 * * [simplify]: Extracting # 2 : cost 0 0.125 * * [simplify]: Extracting # 3 : cost 0 0.126 * * [simplify]: iteration 2 : 95 enodes (cost 29 ) 0.155 * * [simplify]: Extracting # 0 : cost 0 0.155 * * [simplify]: Extracting # 1 : cost 0 0.155 * * [simplify]: Extracting # 2 : cost 0 0.156 * * [simplify]: Extracting # 3 : cost 0 0.156 * * [simplify]: iteration 3 : 207 enodes (cost 29 ) 0.253 * * [simplify]: Extracting # 0 : cost 0 0.254 * * [simplify]: Extracting # 1 : cost 0 0.254 * * [simplify]: Extracting # 2 : cost 0 0.255 * * [simplify]: Extracting # 3 : cost 0 0.255 * * [simplify]: Extracting # 4 : cost 0 0.256 * * [simplify]: iteration 4 : 499 enodes (cost 28 ) 0.561 * * [simplify]: Extracting # 0 : cost 0 0.565 * * [simplify]: Extracting # 1 : cost 0 0.572 * * [simplify]: Extracting # 2 : cost 0 0.574 * * [simplify]: Extracting # 3 : cost 0 0.575 * * [simplify]: Extracting # 4 : cost 0 0.576 * * [simplify]: Extracting # 5 : cost 0 0.577 * * [simplify]: iteration 5 : 1209 enodes (cost 28 ) 3.525 * * [simplify]: Extracting # 0 : cost 0 3.531 * * [simplify]: Extracting # 1 : cost 0 3.536 * * [simplify]: Extracting # 2 : cost 0 3.544 * * [simplify]: Extracting # 3 : cost 0 3.549 * * [simplify]: Extracting # 4 : cost 0 3.554 * * [simplify]: Extracting # 5 : cost 0 3.558 * * [simplify]: iteration 6 : 4807 enodes (cost 28 ) 5.223 * * [simplify]: Extracting # 0 : cost 0 5.232 * * [simplify]: iteration done: 5000 enodes (cost 28 ) 5.233 * [simplify]: Simplified to: (/ (cos (- (/ (* K (+ m n)) 2.0) M)) (exp (+ (pow (- (/ (+ m n) 2.0) M) 2.0) (- l (fabs (- m n)))))) 5.244 * * [progress]: iteration 1 / 4 5.244 * * * [progress]: picking best candidate 5.249 * * * * [pick]: Picked # 5.249 * * * [progress]: localizing error 5.299 * * * [progress]: generating rewritten candidates 5.299 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 5.350 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1) 5.435 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1) 5.459 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 6.020 * * * [progress]: generating series expansions 6.020 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 6.022 * [backup-simplify]: Simplify (cos (- (/ (* K (+ m n)) 2.0) M)) into (cos (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M)) 6.022 * [approximate]: Taking taylor expansion of (cos (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M)) in (K m n M) around 0 6.023 * [taylor]: Taking taylor expansion of (cos (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M)) in M 6.023 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M) in M 6.023 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* K n)) (* 0.5 (* K m))) in M 6.023 * [taylor]: Taking taylor expansion of (* 0.5 (* K n)) in M 6.023 * [taylor]: Taking taylor expansion of 0.5 in M 6.023 * [backup-simplify]: Simplify 0.5 into 0.5 6.023 * [taylor]: Taking taylor expansion of (* K n) in M 6.023 * [taylor]: Taking taylor expansion of K in M 6.023 * [backup-simplify]: Simplify K into K 6.023 * [taylor]: Taking taylor expansion of n in M 6.023 * [backup-simplify]: Simplify n into n 6.023 * [taylor]: Taking taylor expansion of (* 0.5 (* K m)) in M 6.023 * [taylor]: Taking taylor expansion of 0.5 in M 6.023 * [backup-simplify]: Simplify 0.5 into 0.5 6.023 * [taylor]: Taking taylor expansion of (* K m) in M 6.023 * [taylor]: Taking taylor expansion of K in M 6.023 * [backup-simplify]: Simplify K into K 6.023 * [taylor]: Taking taylor expansion of m in M 6.023 * [backup-simplify]: Simplify m into m 6.023 * [taylor]: Taking taylor expansion of M in M 6.023 * [backup-simplify]: Simplify 0 into 0 6.023 * [backup-simplify]: Simplify 1 into 1 6.024 * [backup-simplify]: Simplify (* K n) into (* K n) 6.024 * [backup-simplify]: Simplify (* 0.5 (* K n)) into (* 0.5 (* K n)) 6.024 * [backup-simplify]: Simplify (* K m) into (* K m) 6.024 * [backup-simplify]: Simplify (* 0.5 (* K m)) into (* 0.5 (* K m)) 6.024 * [backup-simplify]: Simplify (+ (* 0.5 (* K n)) (* 0.5 (* K m))) into (+ (* 0.5 (* K n)) (* 0.5 (* K m))) 6.024 * [backup-simplify]: Simplify (- 0) into 0 6.025 * [backup-simplify]: Simplify (+ (+ (* 0.5 (* K n)) (* 0.5 (* K m))) 0) into (+ (* 0.5 (* K n)) (* 0.5 (* K m))) 6.025 * [backup-simplify]: Simplify (cos (+ (* 0.5 (* K n)) (* 0.5 (* K m)))) into (cos (+ (* 0.5 (* K n)) (* 0.5 (* K m)))) 6.025 * [backup-simplify]: Simplify (sin (+ (* 0.5 (* K n)) (* 0.5 (* K m)))) into (sin (+ (* 0.5 (* K n)) (* 0.5 (* K m)))) 6.025 * [taylor]: Taking taylor expansion of (cos (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M)) in n 6.025 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M) in n 6.025 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* K n)) (* 0.5 (* K m))) in n 6.025 * [taylor]: Taking taylor expansion of (* 0.5 (* K n)) in n 6.025 * [taylor]: Taking taylor expansion of 0.5 in n 6.025 * [backup-simplify]: Simplify 0.5 into 0.5 6.025 * [taylor]: Taking taylor expansion of (* K n) in n 6.025 * [taylor]: Taking taylor expansion of K in n 6.025 * [backup-simplify]: Simplify K into K 6.025 * [taylor]: Taking taylor expansion of n in n 6.025 * [backup-simplify]: Simplify 0 into 0 6.025 * [backup-simplify]: Simplify 1 into 1 6.025 * [taylor]: Taking taylor expansion of (* 0.5 (* K m)) in n 6.025 * [taylor]: Taking taylor expansion of 0.5 in n 6.025 * [backup-simplify]: Simplify 0.5 into 0.5 6.025 * [taylor]: Taking taylor expansion of (* K m) in n 6.025 * [taylor]: Taking taylor expansion of K in n 6.025 * [backup-simplify]: Simplify K into K 6.025 * [taylor]: Taking taylor expansion of m in n 6.025 * [backup-simplify]: Simplify m into m 6.025 * [taylor]: Taking taylor expansion of M in n 6.025 * [backup-simplify]: Simplify M into M 6.025 * [backup-simplify]: Simplify (* K 0) into 0 6.026 * [backup-simplify]: Simplify (* 0.5 0) into 0 6.026 * [backup-simplify]: Simplify (* K m) into (* K m) 6.026 * [backup-simplify]: Simplify (* 0.5 (* K m)) into (* 0.5 (* K m)) 6.026 * [backup-simplify]: Simplify (+ 0 (* 0.5 (* K m))) into (* 0.5 (* K m)) 6.026 * [backup-simplify]: Simplify (- M) into (- M) 6.026 * [backup-simplify]: Simplify (+ (* 0.5 (* K m)) (- M)) into (- (* 0.5 (* K m)) M) 6.026 * [backup-simplify]: Simplify (cos (- (* 0.5 (* K m)) M)) into (cos (- (* 0.5 (* K m)) M)) 6.026 * [backup-simplify]: Simplify (sin (- (* 0.5 (* K m)) M)) into (sin (- (* 0.5 (* K m)) M)) 6.026 * [taylor]: Taking taylor expansion of (cos (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M)) in m 6.026 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M) in m 6.026 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* K n)) (* 0.5 (* K m))) in m 6.026 * [taylor]: Taking taylor expansion of (* 0.5 (* K n)) in m 6.026 * [taylor]: Taking taylor expansion of 0.5 in m 6.027 * [backup-simplify]: Simplify 0.5 into 0.5 6.027 * [taylor]: Taking taylor expansion of (* K n) in m 6.027 * [taylor]: Taking taylor expansion of K in m 6.027 * [backup-simplify]: Simplify K into K 6.027 * [taylor]: Taking taylor expansion of n in m 6.027 * [backup-simplify]: Simplify n into n 6.027 * [taylor]: Taking taylor expansion of (* 0.5 (* K m)) in m 6.027 * [taylor]: Taking taylor expansion of 0.5 in m 6.027 * [backup-simplify]: Simplify 0.5 into 0.5 6.027 * [taylor]: Taking taylor expansion of (* K m) in m 6.027 * [taylor]: Taking taylor expansion of K in m 6.027 * [backup-simplify]: Simplify K into K 6.027 * [taylor]: Taking taylor expansion of m in m 6.027 * [backup-simplify]: Simplify 0 into 0 6.027 * [backup-simplify]: Simplify 1 into 1 6.027 * [taylor]: Taking taylor expansion of M in m 6.027 * [backup-simplify]: Simplify M into M 6.027 * [backup-simplify]: Simplify (* K n) into (* K n) 6.027 * [backup-simplify]: Simplify (* 0.5 (* K n)) into (* 0.5 (* K n)) 6.027 * [backup-simplify]: Simplify (* K 0) into 0 6.027 * [backup-simplify]: Simplify (* 0.5 0) into 0 6.027 * [backup-simplify]: Simplify (+ (* 0.5 (* K n)) 0) into (* 0.5 (* K n)) 6.027 * [backup-simplify]: Simplify (- M) into (- M) 6.027 * [backup-simplify]: Simplify (+ (* 0.5 (* K n)) (- M)) into (- (* 0.5 (* K n)) M) 6.027 * [backup-simplify]: Simplify (cos (- (* 0.5 (* K n)) M)) into (cos (- (* 0.5 (* K n)) M)) 6.028 * [backup-simplify]: Simplify (sin (- (* 0.5 (* K n)) M)) into (sin (- (* 0.5 (* K n)) M)) 6.028 * [taylor]: Taking taylor expansion of (cos (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M)) in K 6.028 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M) in K 6.028 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* K n)) (* 0.5 (* K m))) in K 6.028 * [taylor]: Taking taylor expansion of (* 0.5 (* K n)) in K 6.028 * [taylor]: Taking taylor expansion of 0.5 in K 6.028 * [backup-simplify]: Simplify 0.5 into 0.5 6.028 * [taylor]: Taking taylor expansion of (* K n) in K 6.028 * [taylor]: Taking taylor expansion of K in K 6.028 * [backup-simplify]: Simplify 0 into 0 6.028 * [backup-simplify]: Simplify 1 into 1 6.028 * [taylor]: Taking taylor expansion of n in K 6.028 * [backup-simplify]: Simplify n into n 6.028 * [taylor]: Taking taylor expansion of (* 0.5 (* K m)) in K 6.028 * [taylor]: Taking taylor expansion of 0.5 in K 6.028 * [backup-simplify]: Simplify 0.5 into 0.5 6.028 * [taylor]: Taking taylor expansion of (* K m) in K 6.028 * [taylor]: Taking taylor expansion of K in K 6.028 * [backup-simplify]: Simplify 0 into 0 6.028 * [backup-simplify]: Simplify 1 into 1 6.028 * [taylor]: Taking taylor expansion of m in K 6.028 * [backup-simplify]: Simplify m into m 6.028 * [taylor]: Taking taylor expansion of M in K 6.028 * [backup-simplify]: Simplify M into M 6.028 * [backup-simplify]: Simplify (* 0 n) into 0 6.028 * [backup-simplify]: Simplify (* 0.5 0) into 0 6.028 * [backup-simplify]: Simplify (* 0 m) into 0 6.029 * [backup-simplify]: Simplify (* 0.5 0) into 0 6.029 * [backup-simplify]: Simplify (+ 0 0) into 0 6.029 * [backup-simplify]: Simplify (- M) into (- M) 6.029 * [backup-simplify]: Simplify (+ 0 (- M)) into (- M) 6.029 * [backup-simplify]: Simplify (cos (- M)) into (cos (- M)) 6.029 * [backup-simplify]: Simplify (sin (- M)) into (sin (- M)) 6.029 * [taylor]: Taking taylor expansion of (cos (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M)) in K 6.029 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M) in K 6.029 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* K n)) (* 0.5 (* K m))) in K 6.029 * [taylor]: Taking taylor expansion of (* 0.5 (* K n)) in K 6.029 * [taylor]: Taking taylor expansion of 0.5 in K 6.029 * [backup-simplify]: Simplify 0.5 into 0.5 6.029 * [taylor]: Taking taylor expansion of (* K n) in K 6.029 * [taylor]: Taking taylor expansion of K in K 6.029 * [backup-simplify]: Simplify 0 into 0 6.029 * [backup-simplify]: Simplify 1 into 1 6.029 * [taylor]: Taking taylor expansion of n in K 6.029 * [backup-simplify]: Simplify n into n 6.029 * [taylor]: Taking taylor expansion of (* 0.5 (* K m)) in K 6.029 * [taylor]: Taking taylor expansion of 0.5 in K 6.029 * [backup-simplify]: Simplify 0.5 into 0.5 6.029 * [taylor]: Taking taylor expansion of (* K m) in K 6.029 * [taylor]: Taking taylor expansion of K in K 6.029 * [backup-simplify]: Simplify 0 into 0 6.029 * [backup-simplify]: Simplify 1 into 1 6.029 * [taylor]: Taking taylor expansion of m in K 6.029 * [backup-simplify]: Simplify m into m 6.029 * [taylor]: Taking taylor expansion of M in K 6.029 * [backup-simplify]: Simplify M into M 6.029 * [backup-simplify]: Simplify (* 0 n) into 0 6.030 * [backup-simplify]: Simplify (* 0.5 0) into 0 6.030 * [backup-simplify]: Simplify (* 0 m) into 0 6.030 * [backup-simplify]: Simplify (* 0.5 0) into 0 6.030 * [backup-simplify]: Simplify (+ 0 0) into 0 6.030 * [backup-simplify]: Simplify (- M) into (- M) 6.030 * [backup-simplify]: Simplify (+ 0 (- M)) into (- M) 6.030 * [backup-simplify]: Simplify (cos (- M)) into (cos (- M)) 6.031 * [backup-simplify]: Simplify (sin (- M)) into (sin (- M)) 6.031 * [backup-simplify]: Simplify (* (cos (- M)) 1) into (cos (- M)) 6.031 * [backup-simplify]: Simplify (* (sin (- M)) 0) into 0 6.032 * [backup-simplify]: Simplify (- 0) into 0 6.032 * [backup-simplify]: Simplify (+ (cos (- M)) 0) into (cos (- M)) 6.032 * [taylor]: Taking taylor expansion of (cos (- M)) in m 6.032 * [taylor]: Taking taylor expansion of (- M) in m 6.032 * [taylor]: Taking taylor expansion of M in m 6.032 * [backup-simplify]: Simplify M into M 6.032 * [backup-simplify]: Simplify (- M) into (- M) 6.032 * [backup-simplify]: Simplify (- M) into (- M) 6.032 * [backup-simplify]: Simplify (cos (- M)) into (cos (- M)) 6.032 * [backup-simplify]: Simplify (- M) into (- M) 6.032 * [backup-simplify]: Simplify (sin (- M)) into (sin (- M)) 6.032 * [backup-simplify]: Simplify (* (cos (- M)) 1) into (cos (- M)) 6.032 * [backup-simplify]: Simplify (* (sin (- M)) 0) into 0 6.032 * [backup-simplify]: Simplify (- 0) into 0 6.032 * [backup-simplify]: Simplify (+ (cos (- M)) 0) into (cos (- M)) 6.032 * [taylor]: Taking taylor expansion of (cos (- M)) in n 6.032 * [taylor]: Taking taylor expansion of (- M) in n 6.032 * [taylor]: Taking taylor expansion of M in n 6.032 * [backup-simplify]: Simplify M into M 6.032 * [backup-simplify]: Simplify (- M) into (- M) 6.032 * [backup-simplify]: Simplify (- M) into (- M) 6.032 * [backup-simplify]: Simplify (cos (- M)) into (cos (- M)) 6.032 * [backup-simplify]: Simplify (- M) into (- M) 6.032 * [backup-simplify]: Simplify (sin (- M)) into (sin (- M)) 6.033 * [backup-simplify]: Simplify (* (cos (- M)) 1) into (cos (- M)) 6.033 * [backup-simplify]: Simplify (* (sin (- M)) 0) into 0 6.033 * [backup-simplify]: Simplify (- 0) into 0 6.033 * [backup-simplify]: Simplify (+ (cos (- M)) 0) into (cos (- M)) 6.033 * [taylor]: Taking taylor expansion of (cos (- M)) in M 6.033 * [taylor]: Taking taylor expansion of (- M) in M 6.033 * [taylor]: Taking taylor expansion of M in M 6.033 * [backup-simplify]: Simplify 0 into 0 6.033 * [backup-simplify]: Simplify 1 into 1 6.033 * [backup-simplify]: Simplify (- 0) into 0 6.033 * [backup-simplify]: Simplify (- 1) into -1 6.033 * [backup-simplify]: Simplify 1 into 1 6.034 * [backup-simplify]: Simplify (+ 0) into 0 6.035 * [backup-simplify]: Simplify (+ (* (cos (- M)) 0) (* 0 1)) into 0 6.035 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 n)) into n 6.036 * [backup-simplify]: Simplify (+ (* 0.5 n) (* 0 0)) into (* 0.5 n) 6.036 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 m)) into m 6.036 * [backup-simplify]: Simplify (+ (* 0.5 m) (* 0 0)) into (* 0.5 m) 6.036 * [backup-simplify]: Simplify (+ (* 0.5 n) (* 0.5 m)) into (+ (* 0.5 m) (* 0.5 n)) 6.036 * [backup-simplify]: Simplify (- 0) into 0 6.037 * [backup-simplify]: Simplify (+ (+ (* 0.5 m) (* 0.5 n)) 0) into (+ (* 0.5 m) (* 0.5 n)) 6.037 * [backup-simplify]: Simplify (+ (* 1 (/ (pow (+ (* 0.5 m) (* 0.5 n)) 1) 1))) into (+ (* 0.5 m) (* 0.5 n)) 6.037 * [backup-simplify]: Simplify (+ (* (sin (- M)) (+ (* 0.5 m) (* 0.5 n))) (* 0 0)) into (+ (* 0.5 (* m (sin (- M)))) (* 0.5 (* n (sin (- M))))) 6.037 * [backup-simplify]: Simplify (- (+ (* 0.5 (* m (sin (- M)))) (* 0.5 (* n (sin (- M)))))) into (- (+ (* 0.5 (* m (sin (- M)))) (* 0.5 (* n (sin (- M)))))) 6.038 * [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)))))) 6.038 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (* m (sin (- M)))) (* 0.5 (* n (sin (- M)))))) in m 6.038 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* m (sin (- M)))) (* 0.5 (* n (sin (- M))))) in m 6.038 * [taylor]: Taking taylor expansion of (* 0.5 (* m (sin (- M)))) in m 6.038 * [taylor]: Taking taylor expansion of 0.5 in m 6.038 * [backup-simplify]: Simplify 0.5 into 0.5 6.038 * [taylor]: Taking taylor expansion of (* m (sin (- M))) in m 6.038 * [taylor]: Taking taylor expansion of m in m 6.038 * [backup-simplify]: Simplify 0 into 0 6.038 * [backup-simplify]: Simplify 1 into 1 6.038 * [taylor]: Taking taylor expansion of (sin (- M)) in m 6.038 * [taylor]: Taking taylor expansion of (- M) in m 6.038 * [taylor]: Taking taylor expansion of M in m 6.038 * [backup-simplify]: Simplify M into M 6.038 * [backup-simplify]: Simplify (- M) into (- M) 6.038 * [backup-simplify]: Simplify (- M) into (- M) 6.038 * [backup-simplify]: Simplify (sin (- M)) into (sin (- M)) 6.038 * [backup-simplify]: Simplify (- M) into (- M) 6.038 * [backup-simplify]: Simplify (cos (- M)) into (cos (- M)) 6.038 * [taylor]: Taking taylor expansion of (* 0.5 (* n (sin (- M)))) in m 6.038 * [taylor]: Taking taylor expansion of 0.5 in m 6.038 * [backup-simplify]: Simplify 0.5 into 0.5 6.038 * [taylor]: Taking taylor expansion of (* n (sin (- M))) in m 6.038 * [taylor]: Taking taylor expansion of n in m 6.038 * [backup-simplify]: Simplify n into n 6.038 * [taylor]: Taking taylor expansion of (sin (- M)) in m 6.038 * [taylor]: Taking taylor expansion of (- M) in m 6.038 * [taylor]: Taking taylor expansion of M in m 6.038 * [backup-simplify]: Simplify M into M 6.038 * [backup-simplify]: Simplify (- M) into (- M) 6.038 * [backup-simplify]: Simplify (- M) into (- M) 6.038 * [backup-simplify]: Simplify (sin (- M)) into (sin (- M)) 6.038 * [backup-simplify]: Simplify (- M) into (- M) 6.038 * [backup-simplify]: Simplify (cos (- M)) into (cos (- M)) 6.039 * [backup-simplify]: Simplify (* (sin (- M)) 1) into (sin (- M)) 6.039 * [backup-simplify]: Simplify (* (cos (- M)) 0) into 0 6.039 * [backup-simplify]: Simplify (+ (sin (- M)) 0) into (sin (- M)) 6.039 * [backup-simplify]: Simplify (* 0 (sin (- M))) into 0 6.039 * [backup-simplify]: Simplify (* 0.5 0) into 0 6.039 * [backup-simplify]: Simplify (* (sin (- M)) 1) into (sin (- M)) 6.039 * [backup-simplify]: Simplify (* (cos (- M)) 0) into 0 6.039 * [backup-simplify]: Simplify (+ (sin (- M)) 0) into (sin (- M)) 6.039 * [backup-simplify]: Simplify (* n (sin (- M))) into (* n (sin (- M))) 6.039 * [backup-simplify]: Simplify (* 0.5 (* n (sin (- M)))) into (* 0.5 (* n (sin (- M)))) 6.039 * [backup-simplify]: Simplify (+ 0 (* 0.5 (* n (sin (- M))))) into (* 0.5 (* n (sin (- M)))) 6.040 * [backup-simplify]: Simplify (- (* 0.5 (* n (sin (- M))))) into (- (* 0.5 (* n (sin (- M))))) 6.040 * [taylor]: Taking taylor expansion of (- (* 0.5 (* n (sin (- M))))) in n 6.040 * [taylor]: Taking taylor expansion of (* 0.5 (* n (sin (- M)))) in n 6.040 * [taylor]: Taking taylor expansion of 0.5 in n 6.040 * [backup-simplify]: Simplify 0.5 into 0.5 6.040 * [taylor]: Taking taylor expansion of (* n (sin (- M))) in n 6.040 * [taylor]: Taking taylor expansion of n in n 6.040 * [backup-simplify]: Simplify 0 into 0 6.040 * [backup-simplify]: Simplify 1 into 1 6.040 * [taylor]: Taking taylor expansion of (sin (- M)) in n 6.040 * [taylor]: Taking taylor expansion of (- M) in n 6.040 * [taylor]: Taking taylor expansion of M in n 6.040 * [backup-simplify]: Simplify M into M 6.040 * [backup-simplify]: Simplify (- M) into (- M) 6.040 * [backup-simplify]: Simplify (- M) into (- M) 6.040 * [backup-simplify]: Simplify (sin (- M)) into (sin (- M)) 6.040 * [backup-simplify]: Simplify (- M) into (- M) 6.040 * [backup-simplify]: Simplify (cos (- M)) into (cos (- M)) 6.040 * [backup-simplify]: Simplify (* (sin (- M)) 1) into (sin (- M)) 6.040 * [backup-simplify]: Simplify (* (cos (- M)) 0) into 0 6.040 * [backup-simplify]: Simplify (+ (sin (- M)) 0) into (sin (- M)) 6.040 * [backup-simplify]: Simplify (* 0 (sin (- M))) into 0 6.040 * [backup-simplify]: Simplify (* 0.5 0) into 0 6.041 * [backup-simplify]: Simplify (- 0) into 0 6.041 * [taylor]: Taking taylor expansion of 0 in M 6.041 * [backup-simplify]: Simplify 0 into 0 6.041 * [backup-simplify]: Simplify 0 into 0 6.041 * [backup-simplify]: Simplify (+ 0) into 0 6.041 * [backup-simplify]: Simplify (+ (* (cos (- M)) 0) (* 0 1)) into 0 6.042 * [backup-simplify]: Simplify (- 0) into 0 6.042 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 6.042 * [backup-simplify]: Simplify (+ (* (sin (- M)) 0) (* 0 0)) into 0 6.043 * [backup-simplify]: Simplify (- 0) into 0 6.043 * [backup-simplify]: Simplify (+ 0 0) into 0 6.043 * [taylor]: Taking taylor expansion of 0 in n 6.043 * [backup-simplify]: Simplify 0 into 0 6.043 * [taylor]: Taking taylor expansion of 0 in M 6.043 * [backup-simplify]: Simplify 0 into 0 6.043 * [backup-simplify]: Simplify 0 into 0 6.043 * [backup-simplify]: Simplify (+ 0) into 0 6.044 * [backup-simplify]: Simplify (+ (* (cos (- M)) 0) (* 0 1)) into 0 6.044 * [backup-simplify]: Simplify (- 0) into 0 6.044 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 6.045 * [backup-simplify]: Simplify (+ (* (sin (- M)) 0) (* 0 0)) into 0 6.045 * [backup-simplify]: Simplify (- 0) into 0 6.045 * [backup-simplify]: Simplify (+ 0 0) into 0 6.045 * [taylor]: Taking taylor expansion of 0 in M 6.045 * [backup-simplify]: Simplify 0 into 0 6.045 * [backup-simplify]: Simplify 0 into 0 6.045 * [backup-simplify]: Simplify (+ 0) into 0 6.045 * [backup-simplify]: Simplify 0 into 0