5.738 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.084 * * * [progress]: [2/2] Setting up program. 0.089 * [progress]: [Phase 2 of 3] Improving. 0.089 * [simplify]: Simplifying: (* (cos (- (/ (* K (+ m n)) 2.0) M)) (exp (- (- (pow (- (/ (+ m n) 2.0) M) 2.0)) (- l (fabs (- m n)))))) 0.089 * * [simplify]: Extracting # 0 : cost 0 0.089 * * [simplify]: Extracting # 1 : cost 0 0.090 * * [simplify]: Extracting # 2 : cost 0 0.090 * * [simplify]: Extracting # 3 : cost 0 0.090 * * [simplify]: Extracting # 4 : cost 0 0.090 * * [simplify]: Extracting # 5 : cost 0 0.090 * * [simplify]: Extracting # 6 : cost 0 0.090 * * [simplify]: Extracting # 7 : cost 0 0.090 * * [simplify]: Extracting # 8 : cost 0 0.090 * * [simplify]: Extracting # 9 : cost 0 0.090 * * [simplify]: Extracting # 10 : cost 0 0.090 * * [simplify]: Extracting # 11 : cost 0 0.090 * * [simplify]: Extracting # 12 : cost 0 0.090 * * [simplify]: iteration 0 : 21 enodes (cost 29 ) 0.093 * * [simplify]: Extracting # 0 : cost 0 0.093 * * [simplify]: Extracting # 1 : cost 0 0.093 * * [simplify]: Extracting # 2 : cost 0 0.094 * * [simplify]: Extracting # 3 : cost 0 0.094 * * [simplify]: Extracting # 4 : cost 0 0.094 * * [simplify]: Extracting # 5 : cost 0 0.094 * * [simplify]: Extracting # 6 : cost 0 0.094 * * [simplify]: iteration 1 : 50 enodes (cost 29 ) 0.102 * * [simplify]: Extracting # 0 : cost 0 0.102 * * [simplify]: Extracting # 1 : cost 0 0.102 * * [simplify]: Extracting # 2 : cost 0 0.102 * * [simplify]: Extracting # 3 : cost 0 0.102 * * [simplify]: iteration 2 : 95 enodes (cost 29 ) 0.154 * * [simplify]: Extracting # 0 : cost 0 0.154 * * [simplify]: Extracting # 1 : cost 0 0.154 * * [simplify]: Extracting # 2 : cost 0 0.154 * * [simplify]: Extracting # 3 : cost 0 0.155 * * [simplify]: iteration 3 : 207 enodes (cost 29 ) 0.230 * * [simplify]: Extracting # 0 : cost 0 0.231 * * [simplify]: Extracting # 1 : cost 0 0.232 * * [simplify]: Extracting # 2 : cost 0 0.233 * * [simplify]: Extracting # 3 : cost 0 0.234 * * [simplify]: Extracting # 4 : cost 0 0.234 * * [simplify]: iteration 4 : 499 enodes (cost 28 ) 0.592 * * [simplify]: Extracting # 0 : cost 0 0.595 * * [simplify]: Extracting # 1 : cost 0 0.598 * * [simplify]: Extracting # 2 : cost 0 0.600 * * [simplify]: Extracting # 3 : cost 0 0.602 * * [simplify]: Extracting # 4 : cost 0 0.604 * * [simplify]: Extracting # 5 : cost 0 0.607 * * [simplify]: iteration 5 : 1209 enodes (cost 28 ) 3.421 * * [simplify]: Extracting # 0 : cost 0 3.432 * * [simplify]: Extracting # 1 : cost 0 3.440 * * [simplify]: Extracting # 2 : cost 0 3.448 * * [simplify]: Extracting # 3 : cost 0 3.456 * * [simplify]: Extracting # 4 : cost 0 3.464 * * [simplify]: Extracting # 5 : cost 0 3.472 * * [simplify]: iteration 6 : 4807 enodes (cost 28 ) 5.111 * * [simplify]: Extracting # 0 : cost 0 5.129 * * [simplify]: iteration done: 5000 enodes (cost 28 ) 5.130 * [simplify]: Simplified to: (/ (cos (- (/ (* K (+ m n)) 2.0) M)) (exp (+ (pow (- (/ (+ m n) 2.0) M) 2.0) (- l (fabs (- m n)))))) 5.141 * * [progress]: iteration 1 / 4 5.141 * * * [progress]: picking best candidate 5.148 * * * * [pick]: Picked # 5.148 * * * [progress]: localizing error 5.176 * * * [progress]: generating rewritten candidates 5.176 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 5.228 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1) 5.289 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 5.904 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1) 5.945 * * * [progress]: generating series expansions 5.945 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 5.946 * [backup-simplify]: Simplify (cos (- (/ (* K (+ m n)) 2.0) M)) into (cos (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M)) 5.946 * [approximate]: Taking taylor expansion of (cos (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M)) in (K m n M) around 0 5.947 * [taylor]: Taking taylor expansion of (cos (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M)) in M 5.947 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M) in M 5.947 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* K n)) (* 0.5 (* K m))) in M 5.947 * [taylor]: Taking taylor expansion of (* 0.5 (* K n)) in M 5.947 * [taylor]: Taking taylor expansion of 0.5 in M 5.947 * [backup-simplify]: Simplify 0.5 into 0.5 5.947 * [taylor]: Taking taylor expansion of (* K n) in M 5.947 * [taylor]: Taking taylor expansion of K in M 5.947 * [backup-simplify]: Simplify K into K 5.947 * [taylor]: Taking taylor expansion of n in M 5.947 * [backup-simplify]: Simplify n into n 5.947 * [taylor]: Taking taylor expansion of (* 0.5 (* K m)) in M 5.947 * [taylor]: Taking taylor expansion of 0.5 in M 5.947 * [backup-simplify]: Simplify 0.5 into 0.5 5.947 * [taylor]: Taking taylor expansion of (* K m) in M 5.947 * [taylor]: Taking taylor expansion of K in M 5.947 * [backup-simplify]: Simplify K into K 5.947 * [taylor]: Taking taylor expansion of m in M 5.947 * [backup-simplify]: Simplify m into m 5.947 * [taylor]: Taking taylor expansion of M in M 5.947 * [backup-simplify]: Simplify 0 into 0 5.947 * [backup-simplify]: Simplify 1 into 1 5.947 * [backup-simplify]: Simplify (* K n) into (* K n) 5.947 * [backup-simplify]: Simplify (* 0.5 (* K n)) into (* 0.5 (* K n)) 5.948 * [backup-simplify]: Simplify (* K m) into (* K m) 5.948 * [backup-simplify]: Simplify (* 0.5 (* K m)) into (* 0.5 (* K m)) 5.948 * [backup-simplify]: Simplify (+ (* 0.5 (* K n)) (* 0.5 (* K m))) into (+ (* 0.5 (* K n)) (* 0.5 (* K m))) 5.948 * [backup-simplify]: Simplify (- 0) into 0 5.948 * [backup-simplify]: Simplify (+ (+ (* 0.5 (* K n)) (* 0.5 (* K m))) 0) into (+ (* 0.5 (* K n)) (* 0.5 (* K m))) 5.949 * [backup-simplify]: Simplify (cos (+ (* 0.5 (* K n)) (* 0.5 (* K m)))) into (cos (+ (* 0.5 (* K n)) (* 0.5 (* K m)))) 5.949 * [backup-simplify]: Simplify (sin (+ (* 0.5 (* K n)) (* 0.5 (* K m)))) into (sin (+ (* 0.5 (* K n)) (* 0.5 (* K m)))) 5.949 * [taylor]: Taking taylor expansion of (cos (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M)) in n 5.949 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M) in n 5.949 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* K n)) (* 0.5 (* K m))) in n 5.949 * [taylor]: Taking taylor expansion of (* 0.5 (* K n)) in n 5.949 * [taylor]: Taking taylor expansion of 0.5 in n 5.949 * [backup-simplify]: Simplify 0.5 into 0.5 5.949 * [taylor]: Taking taylor expansion of (* K n) in n 5.949 * [taylor]: Taking taylor expansion of K in n 5.949 * [backup-simplify]: Simplify K into K 5.949 * [taylor]: Taking taylor expansion of n in n 5.949 * [backup-simplify]: Simplify 0 into 0 5.949 * [backup-simplify]: Simplify 1 into 1 5.949 * [taylor]: Taking taylor expansion of (* 0.5 (* K m)) in n 5.949 * [taylor]: Taking taylor expansion of 0.5 in n 5.949 * [backup-simplify]: Simplify 0.5 into 0.5 5.949 * [taylor]: Taking taylor expansion of (* K m) in n 5.949 * [taylor]: Taking taylor expansion of K in n 5.949 * [backup-simplify]: Simplify K into K 5.949 * [taylor]: Taking taylor expansion of m in n 5.949 * [backup-simplify]: Simplify m into m 5.949 * [taylor]: Taking taylor expansion of M in n 5.949 * [backup-simplify]: Simplify M into M 5.949 * [backup-simplify]: Simplify (* K 0) into 0 5.950 * [backup-simplify]: Simplify (* 0.5 0) into 0 5.950 * [backup-simplify]: Simplify (* K m) into (* K m) 5.950 * [backup-simplify]: Simplify (* 0.5 (* K m)) into (* 0.5 (* K m)) 5.950 * [backup-simplify]: Simplify (+ 0 (* 0.5 (* K m))) into (* 0.5 (* K m)) 5.950 * [backup-simplify]: Simplify (- M) into (- M) 5.950 * [backup-simplify]: Simplify (+ (* 0.5 (* K m)) (- M)) into (- (* 0.5 (* K m)) M) 5.950 * [backup-simplify]: Simplify (cos (- (* 0.5 (* K m)) M)) into (cos (- (* 0.5 (* K m)) M)) 5.950 * [backup-simplify]: Simplify (sin (- (* 0.5 (* K m)) M)) into (sin (- (* 0.5 (* K m)) M)) 5.950 * [taylor]: Taking taylor expansion of (cos (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M)) in m 5.950 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M) in m 5.950 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* K n)) (* 0.5 (* K m))) in m 5.950 * [taylor]: Taking taylor expansion of (* 0.5 (* K n)) in m 5.950 * [taylor]: Taking taylor expansion of 0.5 in m 5.950 * [backup-simplify]: Simplify 0.5 into 0.5 5.950 * [taylor]: Taking taylor expansion of (* K n) in m 5.950 * [taylor]: Taking taylor expansion of K in m 5.950 * [backup-simplify]: Simplify K into K 5.950 * [taylor]: Taking taylor expansion of n in m 5.950 * [backup-simplify]: Simplify n into n 5.950 * [taylor]: Taking taylor expansion of (* 0.5 (* K m)) in m 5.950 * [taylor]: Taking taylor expansion of 0.5 in m 5.950 * [backup-simplify]: Simplify 0.5 into 0.5 5.950 * [taylor]: Taking taylor expansion of (* K m) in m 5.950 * [taylor]: Taking taylor expansion of K in m 5.950 * [backup-simplify]: Simplify K into K 5.950 * [taylor]: Taking taylor expansion of m in m 5.950 * [backup-simplify]: Simplify 0 into 0 5.950 * [backup-simplify]: Simplify 1 into 1 5.951 * [taylor]: Taking taylor expansion of M in m 5.951 * [backup-simplify]: Simplify M into M 5.951 * [backup-simplify]: Simplify (* K n) into (* K n) 5.951 * [backup-simplify]: Simplify (* 0.5 (* K n)) into (* 0.5 (* K n)) 5.951 * [backup-simplify]: Simplify (* K 0) into 0 5.951 * [backup-simplify]: Simplify (* 0.5 0) into 0 5.951 * [backup-simplify]: Simplify (+ (* 0.5 (* K n)) 0) into (* 0.5 (* K n)) 5.951 * [backup-simplify]: Simplify (- M) into (- M) 5.951 * [backup-simplify]: Simplify (+ (* 0.5 (* K n)) (- M)) into (- (* 0.5 (* K n)) M) 5.951 * [backup-simplify]: Simplify (cos (- (* 0.5 (* K n)) M)) into (cos (- (* 0.5 (* K n)) M)) 5.951 * [backup-simplify]: Simplify (sin (- (* 0.5 (* K n)) M)) into (sin (- (* 0.5 (* K n)) M)) 5.951 * [taylor]: Taking taylor expansion of (cos (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M)) in K 5.951 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M) in K 5.951 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* K n)) (* 0.5 (* K m))) in K 5.951 * [taylor]: Taking taylor expansion of (* 0.5 (* K n)) in K 5.951 * [taylor]: Taking taylor expansion of 0.5 in K 5.951 * [backup-simplify]: Simplify 0.5 into 0.5 5.951 * [taylor]: Taking taylor expansion of (* K n) in K 5.951 * [taylor]: Taking taylor expansion of K in K 5.951 * [backup-simplify]: Simplify 0 into 0 5.951 * [backup-simplify]: Simplify 1 into 1 5.952 * [taylor]: Taking taylor expansion of n in K 5.952 * [backup-simplify]: Simplify n into n 5.952 * [taylor]: Taking taylor expansion of (* 0.5 (* K m)) in K 5.952 * [taylor]: Taking taylor expansion of 0.5 in K 5.952 * [backup-simplify]: Simplify 0.5 into 0.5 5.952 * [taylor]: Taking taylor expansion of (* K m) in K 5.952 * [taylor]: Taking taylor expansion of K in K 5.952 * [backup-simplify]: Simplify 0 into 0 5.952 * [backup-simplify]: Simplify 1 into 1 5.952 * [taylor]: Taking taylor expansion of m in K 5.952 * [backup-simplify]: Simplify m into m 5.952 * [taylor]: Taking taylor expansion of M in K 5.952 * [backup-simplify]: Simplify M into M 5.952 * [backup-simplify]: Simplify (* 0 n) into 0 5.952 * [backup-simplify]: Simplify (* 0.5 0) into 0 5.952 * [backup-simplify]: Simplify (* 0 m) into 0 5.952 * [backup-simplify]: Simplify (* 0.5 0) into 0 5.953 * [backup-simplify]: Simplify (+ 0 0) into 0 5.953 * [backup-simplify]: Simplify (- M) into (- M) 5.953 * [backup-simplify]: Simplify (+ 0 (- M)) into (- M) 5.953 * [backup-simplify]: Simplify (cos (- M)) into (cos (- M)) 5.953 * [backup-simplify]: Simplify (sin (- M)) into (sin (- M)) 5.953 * [taylor]: Taking taylor expansion of (cos (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M)) in K 5.953 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M) in K 5.953 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* K n)) (* 0.5 (* K m))) in K 5.953 * [taylor]: Taking taylor expansion of (* 0.5 (* K n)) in K 5.953 * [taylor]: Taking taylor expansion of 0.5 in K 5.953 * [backup-simplify]: Simplify 0.5 into 0.5 5.953 * [taylor]: Taking taylor expansion of (* K n) in K 5.953 * [taylor]: Taking taylor expansion of K in K 5.953 * [backup-simplify]: Simplify 0 into 0 5.953 * [backup-simplify]: Simplify 1 into 1 5.953 * [taylor]: Taking taylor expansion of n in K 5.953 * [backup-simplify]: Simplify n into n 5.953 * [taylor]: Taking taylor expansion of (* 0.5 (* K m)) in K 5.953 * [taylor]: Taking taylor expansion of 0.5 in K 5.953 * [backup-simplify]: Simplify 0.5 into 0.5 5.953 * [taylor]: Taking taylor expansion of (* K m) in K 5.953 * [taylor]: Taking taylor expansion of K in K 5.953 * [backup-simplify]: Simplify 0 into 0 5.953 * [backup-simplify]: Simplify 1 into 1 5.953 * [taylor]: Taking taylor expansion of m in K 5.953 * [backup-simplify]: Simplify m into m 5.953 * [taylor]: Taking taylor expansion of M in K 5.953 * [backup-simplify]: Simplify M into M 5.953 * [backup-simplify]: Simplify (* 0 n) into 0 5.953 * [backup-simplify]: Simplify (* 0.5 0) into 0 5.953 * [backup-simplify]: Simplify (* 0 m) into 0 5.954 * [backup-simplify]: Simplify (* 0.5 0) into 0 5.954 * [backup-simplify]: Simplify (+ 0 0) into 0 5.954 * [backup-simplify]: Simplify (- M) into (- M) 5.954 * [backup-simplify]: Simplify (+ 0 (- M)) into (- M) 5.954 * [backup-simplify]: Simplify (cos (- M)) into (cos (- M)) 5.954 * [backup-simplify]: Simplify (sin (- M)) into (sin (- M)) 5.955 * [backup-simplify]: Simplify (* (cos (- M)) 1) into (cos (- M)) 5.955 * [backup-simplify]: Simplify (* (sin (- M)) 0) into 0 5.956 * [backup-simplify]: Simplify (- 0) into 0 5.956 * [backup-simplify]: Simplify (+ (cos (- M)) 0) into (cos (- M)) 5.956 * [taylor]: Taking taylor expansion of (cos (- M)) in m 5.956 * [taylor]: Taking taylor expansion of (- M) in m 5.956 * [taylor]: Taking taylor expansion of M in m 5.956 * [backup-simplify]: Simplify M into M 5.956 * [backup-simplify]: Simplify (- M) into (- M) 5.956 * [backup-simplify]: Simplify (- M) into (- M) 5.956 * [backup-simplify]: Simplify (cos (- M)) into (cos (- M)) 5.956 * [backup-simplify]: Simplify (- M) into (- M) 5.956 * [backup-simplify]: Simplify (sin (- M)) into (sin (- M)) 5.956 * [backup-simplify]: Simplify (* (cos (- M)) 1) into (cos (- M)) 5.956 * [backup-simplify]: Simplify (* (sin (- M)) 0) into 0 5.956 * [backup-simplify]: Simplify (- 0) into 0 5.956 * [backup-simplify]: Simplify (+ (cos (- M)) 0) into (cos (- M)) 5.956 * [taylor]: Taking taylor expansion of (cos (- M)) in n 5.956 * [taylor]: Taking taylor expansion of (- M) in n 5.956 * [taylor]: Taking taylor expansion of M in n 5.957 * [backup-simplify]: Simplify M into M 5.957 * [backup-simplify]: Simplify (- M) into (- M) 5.957 * [backup-simplify]: Simplify (- M) into (- M) 5.957 * [backup-simplify]: Simplify (cos (- M)) into (cos (- M)) 5.957 * [backup-simplify]: Simplify (- M) into (- M) 5.957 * [backup-simplify]: Simplify (sin (- M)) into (sin (- M)) 5.957 * [backup-simplify]: Simplify (* (cos (- M)) 1) into (cos (- M)) 5.957 * [backup-simplify]: Simplify (* (sin (- M)) 0) into 0 5.957 * [backup-simplify]: Simplify (- 0) into 0 5.957 * [backup-simplify]: Simplify (+ (cos (- M)) 0) into (cos (- M)) 5.957 * [taylor]: Taking taylor expansion of (cos (- M)) in M 5.957 * [taylor]: Taking taylor expansion of (- M) in M 5.957 * [taylor]: Taking taylor expansion of M in M 5.957 * [backup-simplify]: Simplify 0 into 0 5.957 * [backup-simplify]: Simplify 1 into 1 5.958 * [backup-simplify]: Simplify (- 0) into 0 5.958 * [backup-simplify]: Simplify (- 1) into -1 5.958 * [backup-simplify]: Simplify 1 into 1 5.959 * [backup-simplify]: Simplify (+ 0) into 0 5.959 * [backup-simplify]: Simplify (+ (* (cos (- M)) 0) (* 0 1)) into 0 5.960 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 n)) into n 5.960 * [backup-simplify]: Simplify (+ (* 0.5 n) (* 0 0)) into (* 0.5 n) 5.960 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 m)) into m 5.961 * [backup-simplify]: Simplify (+ (* 0.5 m) (* 0 0)) into (* 0.5 m) 5.961 * [backup-simplify]: Simplify (+ (* 0.5 n) (* 0.5 m)) into (+ (* 0.5 m) (* 0.5 n)) 5.961 * [backup-simplify]: Simplify (- 0) into 0 5.962 * [backup-simplify]: Simplify (+ (+ (* 0.5 m) (* 0.5 n)) 0) into (+ (* 0.5 m) (* 0.5 n)) 5.962 * [backup-simplify]: Simplify (+ (* 1 (/ (pow (+ (* 0.5 m) (* 0.5 n)) 1) 1))) into (+ (* 0.5 m) (* 0.5 n)) 5.963 * [backup-simplify]: Simplify (+ (* (sin (- M)) (+ (* 0.5 m) (* 0.5 n))) (* 0 0)) into (+ (* 0.5 (* m (sin (- M)))) (* 0.5 (* n (sin (- M))))) 5.963 * [backup-simplify]: Simplify (- (+ (* 0.5 (* m (sin (- M)))) (* 0.5 (* n (sin (- M)))))) into (- (+ (* 0.5 (* m (sin (- M)))) (* 0.5 (* n (sin (- M)))))) 5.963 * [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)))))) 5.963 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (* m (sin (- M)))) (* 0.5 (* n (sin (- M)))))) in m 5.963 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* m (sin (- M)))) (* 0.5 (* n (sin (- M))))) in m 5.963 * [taylor]: Taking taylor expansion of (* 0.5 (* m (sin (- M)))) in m 5.963 * [taylor]: Taking taylor expansion of 0.5 in m 5.963 * [backup-simplify]: Simplify 0.5 into 0.5 5.963 * [taylor]: Taking taylor expansion of (* m (sin (- M))) in m 5.963 * [taylor]: Taking taylor expansion of m in m 5.964 * [backup-simplify]: Simplify 0 into 0 5.964 * [backup-simplify]: Simplify 1 into 1 5.964 * [taylor]: Taking taylor expansion of (sin (- M)) in m 5.964 * [taylor]: Taking taylor expansion of (- M) in m 5.964 * [taylor]: Taking taylor expansion of M in m 5.964 * [backup-simplify]: Simplify M into M 5.964 * [backup-simplify]: Simplify (- M) into (- M) 5.964 * [backup-simplify]: Simplify (- M) into (- M) 5.964 * [backup-simplify]: Simplify (sin (- M)) into (sin (- M)) 5.964 * [backup-simplify]: Simplify (- M) into (- M) 5.964 * [backup-simplify]: Simplify (cos (- M)) into (cos (- M)) 5.964 * [taylor]: Taking taylor expansion of (* 0.5 (* n (sin (- M)))) in m 5.964 * [taylor]: Taking taylor expansion of 0.5 in m 5.964 * [backup-simplify]: Simplify 0.5 into 0.5 5.964 * [taylor]: Taking taylor expansion of (* n (sin (- M))) in m 5.964 * [taylor]: Taking taylor expansion of n in m 5.964 * [backup-simplify]: Simplify n into n 5.964 * [taylor]: Taking taylor expansion of (sin (- M)) in m 5.964 * [taylor]: Taking taylor expansion of (- M) in m 5.964 * [taylor]: Taking taylor expansion of M in m 5.964 * [backup-simplify]: Simplify M into M 5.964 * [backup-simplify]: Simplify (- M) into (- M) 5.964 * [backup-simplify]: Simplify (- M) into (- M) 5.964 * [backup-simplify]: Simplify (sin (- M)) into (sin (- M)) 5.964 * [backup-simplify]: Simplify (- M) into (- M) 5.964 * [backup-simplify]: Simplify (cos (- M)) into (cos (- M)) 5.965 * [backup-simplify]: Simplify (* (sin (- M)) 1) into (sin (- M)) 5.965 * [backup-simplify]: Simplify (* (cos (- M)) 0) into 0 5.965 * [backup-simplify]: Simplify (+ (sin (- M)) 0) into (sin (- M)) 5.965 * [backup-simplify]: Simplify (* 0 (sin (- M))) into 0 5.966 * [backup-simplify]: Simplify (* 0.5 0) into 0 5.966 * [backup-simplify]: Simplify (* (sin (- M)) 1) into (sin (- M)) 5.966 * [backup-simplify]: Simplify (* (cos (- M)) 0) into 0 5.966 * [backup-simplify]: Simplify (+ (sin (- M)) 0) into (sin (- M)) 5.966 * [backup-simplify]: Simplify (* n (sin (- M))) into (* n (sin (- M))) 5.966 * [backup-simplify]: Simplify (* 0.5 (* n (sin (- M)))) into (* 0.5 (* n (sin (- M)))) 5.967 * [backup-simplify]: Simplify (+ 0 (* 0.5 (* n (sin (- M))))) into (* 0.5 (* n (sin (- M)))) 5.967 * [backup-simplify]: Simplify (- (* 0.5 (* n (sin (- M))))) into (- (* 0.5 (* n (sin (- M))))) 5.967 * [taylor]: Taking taylor expansion of (- (* 0.5 (* n (sin (- M))))) in n 5.967 * [taylor]: Taking taylor expansion of (* 0.5 (* n (sin (- M)))) in n 5.967 * [taylor]: Taking taylor expansion of 0.5 in n 5.967 * [backup-simplify]: Simplify 0.5 into 0.5 5.967 * [taylor]: Taking taylor expansion of (* n (sin (- M))) in n 5.967 * [taylor]: Taking taylor expansion of n in n 5.967 * [backup-simplify]: Simplify 0 into 0 5.967 * [backup-simplify]: Simplify 1 into 1 5.967 * [taylor]: Taking taylor expansion of (sin (- M)) in n 5.967 * [taylor]: Taking taylor expansion of (- M) in n 5.967 * [taylor]: Taking taylor expansion of M in n 5.967 * [backup-simplify]: Simplify M into M 5.967 * [backup-simplify]: Simplify (- M) into (- M) 5.967 * [backup-simplify]: Simplify (- M) into (- M) 5.967 * [backup-simplify]: Simplify (sin (- M)) into (sin (- M)) 5.967 * [backup-simplify]: Simplify (- M) into (- M) 5.967 * [backup-simplify]: Simplify (cos (- M)) into (cos (- M)) 5.967 * [backup-simplify]: Simplify (* (sin (- M)) 1) into (sin (- M)) 5.968 * [backup-simplify]: Simplify (* (cos (- M)) 0) into 0 5.968 * [backup-simplify]: Simplify (+ (sin (- M)) 0) into (sin (- M)) 5.968 * [backup-simplify]: Simplify (* 0 (sin (- M))) into 0 5.968 * [backup-simplify]: Simplify (* 0.5 0) into 0 5.969 * [backup-simplify]: Simplify (- 0) into 0 5.969 * [taylor]: Taking taylor expansion of 0 in M 5.969 * [backup-simplify]: Simplify 0 into 0 5.969 * [backup-simplify]: Simplify 0 into 0 5.969 * [backup-simplify]: Simplify (+ 0) into 0 5.970 * [backup-simplify]: Simplify (+ (* (cos (- M)) 0) (* 0 1)) into 0 5.970 * [backup-simplify]: Simplify (- 0) into 0 5.971 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 5.971 * [backup-simplify]: Simplify (+ (* (sin (- M)) 0) (* 0 0)) into 0 5.972 * [backup-simplify]: Simplify (- 0) into 0 5.972 * [backup-simplify]: Simplify (+ 0 0) into 0 5.972 * [taylor]: Taking taylor expansion of 0 in n 5.972 * [backup-simplify]: Simplify 0 into 0 5.972 * [taylor]: Taking taylor expansion of 0 in M 5.972 * [backup-simplify]: Simplify 0 into 0 5.972 * [backup-simplify]: Simplify 0 into 0 5.972 * [backup-simplify]: Simplify (+ 0) into 0 5.973 * [backup-simplify]: Simplify (+ (* (cos (- M)) 0) (* 0 1)) into 0 5.973 * [backup-simplify]: Simplify (- 0) into 0 5.974 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 5.974 * [backup-simplify]: Simplify (+ (* (sin (- M)) 0) (* 0 0)) into 0 5.975 * [backup-simplify]: Simplify (- 0) into 0 5.975 * [backup-simplify]: Simplify (+ 0 0) into 0 5.975 * [taylor]: Taking taylor expansion of 0 in M 5.975 * [backup-simplify]: Simplify 0 into 0 5.975 * [backup-simplify]: Simplify 0 into 0 5.976 * [backup-simplify]: Simplify (+ 0) into 0 5.976 * [backup-simplify]: Simplify 0 into 0