0.640 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.095 * * * [progress]: [2/2] Setting up program. 0.100 * [progress]: [Phase 2 of 3] Improving. 0.100 * [simplify]: Simplifying: (* (cos (- (/ (* K (+ m n)) 2.0) M)) (exp (- (- (pow (- (/ (+ m n) 2.0) M) 2.0)) (- l (fabs (- m n)))))) 0.100 * * [simplify]: Extracting # 0 : cost 0 0.100 * * [simplify]: Extracting # 1 : cost 0 0.100 * * [simplify]: Extracting # 2 : cost 0 0.100 * * [simplify]: Extracting # 3 : cost 0 0.100 * * [simplify]: Extracting # 4 : cost 0 0.100 * * [simplify]: Extracting # 5 : cost 0 0.100 * * [simplify]: Extracting # 6 : cost 0 0.100 * * [simplify]: Extracting # 7 : cost 0 0.100 * * [simplify]: Extracting # 8 : cost 0 0.100 * * [simplify]: Extracting # 9 : cost 0 0.100 * * [simplify]: Extracting # 10 : cost 0 0.100 * * [simplify]: Extracting # 11 : cost 0 0.100 * * [simplify]: Extracting # 12 : cost 0 0.100 * * [simplify]: iteration 0 : 21 enodes (cost 29 ) 0.105 * * [simplify]: Extracting # 0 : cost 0 0.105 * * [simplify]: Extracting # 1 : cost 0 0.105 * * [simplify]: Extracting # 2 : cost 0 0.105 * * [simplify]: Extracting # 3 : cost 0 0.105 * * [simplify]: Extracting # 4 : cost 0 0.105 * * [simplify]: Extracting # 5 : cost 0 0.105 * * [simplify]: Extracting # 6 : cost 0 0.105 * * [simplify]: iteration 1 : 50 enodes (cost 29 ) 0.113 * * [simplify]: Extracting # 0 : cost 0 0.113 * * [simplify]: Extracting # 1 : cost 0 0.113 * * [simplify]: Extracting # 2 : cost 0 0.114 * * [simplify]: Extracting # 3 : cost 0 0.114 * * [simplify]: Extracting # 4 : cost 0 0.114 * * [simplify]: iteration 2 : 93 enodes (cost 29 ) 0.133 * * [simplify]: Extracting # 0 : cost 0 0.134 * * [simplify]: Extracting # 1 : cost 0 0.134 * * [simplify]: Extracting # 2 : cost 0 0.134 * * [simplify]: Extracting # 3 : cost 0 0.134 * * [simplify]: Extracting # 4 : cost 0 0.135 * * [simplify]: Extracting # 5 : cost 0 0.135 * * [simplify]: iteration 3 : 197 enodes (cost 29 ) 0.230 * * [simplify]: Extracting # 0 : cost 0 0.231 * * [simplify]: Extracting # 1 : cost 0 0.231 * * [simplify]: Extracting # 2 : cost 0 0.232 * * [simplify]: Extracting # 3 : cost 0 0.233 * * [simplify]: Extracting # 4 : cost 0 0.234 * * [simplify]: iteration 4 : 465 enodes (cost 28 ) 0.457 * * [simplify]: Extracting # 0 : cost 0 0.459 * * [simplify]: Extracting # 1 : cost 0 0.460 * * [simplify]: Extracting # 2 : cost 0 0.461 * * [simplify]: Extracting # 3 : cost 0 0.462 * * [simplify]: Extracting # 4 : cost 0 0.464 * * [simplify]: Extracting # 5 : cost 0 0.465 * * [simplify]: iteration 5 : 1141 enodes (cost 28 ) 3.202 * * [simplify]: Extracting # 0 : cost 0 3.213 * * [simplify]: Extracting # 1 : cost 0 3.222 * * [simplify]: Extracting # 2 : cost 0 3.230 * * [simplify]: Extracting # 3 : cost 0 3.237 * * [simplify]: Extracting # 4 : cost 0 3.242 * * [simplify]: iteration 6 : 4709 enodes (cost 28 ) 4.940 * * [simplify]: Extracting # 0 : cost 0 4.944 * * [simplify]: Extracting # 1 : cost 0 4.949 * * [simplify]: Extracting # 2 : cost 0 4.957 * * [simplify]: Extracting # 3 : cost 0 4.963 * * [simplify]: Extracting # 4 : cost 0 4.967 * * [simplify]: iteration done: 5000 enodes (cost 28 ) 4.968 * [simplify]: Simplified to: (* (exp (- (- (fabs (- m n)) l) (pow (- (/ (+ m n) 2.0) M) 2.0))) (cos (- (/ (* K (+ m n)) 2.0) M))) 4.973 * * [progress]: iteration 1 / 4 4.973 * * * [progress]: picking best candidate 4.977 * * * * [pick]: Picked # 4.977 * * * [progress]: localizing error 5.019 * * * [progress]: generating rewritten candidates 5.019 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 5.058 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 5.128 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 5.402 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1) 5.445 * * * [progress]: generating series expansions 5.445 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 5.446 * [backup-simplify]: Simplify (cos (- (/ (* K (+ m n)) 2.0) M)) into (cos (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M)) 5.446 * [approximate]: Taking taylor expansion of (cos (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M)) in (K m n M) around 0 5.446 * [taylor]: Taking taylor expansion of (cos (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M)) in M 5.447 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M) in M 5.447 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* K n)) (* 0.5 (* K m))) in M 5.447 * [taylor]: Taking taylor expansion of (* 0.5 (* K n)) in M 5.447 * [taylor]: Taking taylor expansion of 0.5 in M 5.447 * [backup-simplify]: Simplify 0.5 into 0.5 5.447 * [taylor]: Taking taylor expansion of (* K n) in M 5.447 * [taylor]: Taking taylor expansion of K in M 5.447 * [backup-simplify]: Simplify K into K 5.447 * [taylor]: Taking taylor expansion of n in M 5.447 * [backup-simplify]: Simplify n into n 5.447 * [taylor]: Taking taylor expansion of (* 0.5 (* K m)) in M 5.447 * [taylor]: Taking taylor expansion of 0.5 in M 5.447 * [backup-simplify]: Simplify 0.5 into 0.5 5.447 * [taylor]: Taking taylor expansion of (* K m) in M 5.447 * [taylor]: Taking taylor expansion of K in M 5.447 * [backup-simplify]: Simplify K into K 5.447 * [taylor]: Taking taylor expansion of m in M 5.447 * [backup-simplify]: Simplify m into m 5.447 * [taylor]: Taking taylor expansion of M in M 5.447 * [backup-simplify]: Simplify 0 into 0 5.447 * [backup-simplify]: Simplify 1 into 1 5.448 * [backup-simplify]: Simplify (* K n) into (* K n) 5.448 * [backup-simplify]: Simplify (* 0.5 (* K n)) into (* 0.5 (* K n)) 5.448 * [backup-simplify]: Simplify (* K m) into (* K m) 5.448 * [backup-simplify]: Simplify (* 0.5 (* K m)) into (* 0.5 (* K m)) 5.448 * [backup-simplify]: Simplify (+ (* 0.5 (* K n)) (* 0.5 (* K m))) into (+ (* 0.5 (* K n)) (* 0.5 (* K m))) 5.449 * [backup-simplify]: Simplify (- 0) into 0 5.449 * [backup-simplify]: Simplify (+ (+ (* 0.5 (* K n)) (* 0.5 (* K m))) 0) into (+ (* 0.5 (* K n)) (* 0.5 (* K m))) 5.449 * [backup-simplify]: Simplify (cos (+ (* 0.5 (* K n)) (* 0.5 (* K m)))) into (cos (+ (* 0.5 (* K n)) (* 0.5 (* K m)))) 5.450 * [backup-simplify]: Simplify (sin (+ (* 0.5 (* K n)) (* 0.5 (* K m)))) into (sin (+ (* 0.5 (* K n)) (* 0.5 (* K m)))) 5.450 * [taylor]: Taking taylor expansion of (cos (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M)) in n 5.450 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M) in n 5.450 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* K n)) (* 0.5 (* K m))) in n 5.450 * [taylor]: Taking taylor expansion of (* 0.5 (* K n)) in n 5.450 * [taylor]: Taking taylor expansion of 0.5 in n 5.450 * [backup-simplify]: Simplify 0.5 into 0.5 5.450 * [taylor]: Taking taylor expansion of (* K n) in n 5.450 * [taylor]: Taking taylor expansion of K in n 5.450 * [backup-simplify]: Simplify K into K 5.450 * [taylor]: Taking taylor expansion of n in n 5.450 * [backup-simplify]: Simplify 0 into 0 5.450 * [backup-simplify]: Simplify 1 into 1 5.450 * [taylor]: Taking taylor expansion of (* 0.5 (* K m)) in n 5.450 * [taylor]: Taking taylor expansion of 0.5 in n 5.450 * [backup-simplify]: Simplify 0.5 into 0.5 5.450 * [taylor]: Taking taylor expansion of (* K m) in n 5.450 * [taylor]: Taking taylor expansion of K in n 5.450 * [backup-simplify]: Simplify K into K 5.450 * [taylor]: Taking taylor expansion of m in n 5.450 * [backup-simplify]: Simplify m into m 5.450 * [taylor]: Taking taylor expansion of M in n 5.450 * [backup-simplify]: Simplify M into M 5.450 * [backup-simplify]: Simplify (* K 0) into 0 5.451 * [backup-simplify]: Simplify (* 0.5 0) into 0 5.451 * [backup-simplify]: Simplify (* K m) into (* K m) 5.451 * [backup-simplify]: Simplify (* 0.5 (* K m)) into (* 0.5 (* K m)) 5.451 * [backup-simplify]: Simplify (+ 0 (* 0.5 (* K m))) into (* 0.5 (* K m)) 5.451 * [backup-simplify]: Simplify (- M) into (- M) 5.451 * [backup-simplify]: Simplify (+ (* 0.5 (* K m)) (- M)) into (- (* 0.5 (* K m)) M) 5.452 * [backup-simplify]: Simplify (cos (- (* 0.5 (* K m)) M)) into (cos (- (* 0.5 (* K m)) M)) 5.452 * [backup-simplify]: Simplify (sin (- (* 0.5 (* K m)) M)) into (sin (- (* 0.5 (* K m)) M)) 5.452 * [taylor]: Taking taylor expansion of (cos (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M)) in m 5.452 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M) in m 5.452 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* K n)) (* 0.5 (* K m))) in m 5.452 * [taylor]: Taking taylor expansion of (* 0.5 (* K n)) in m 5.452 * [taylor]: Taking taylor expansion of 0.5 in m 5.452 * [backup-simplify]: Simplify 0.5 into 0.5 5.452 * [taylor]: Taking taylor expansion of (* K n) in m 5.452 * [taylor]: Taking taylor expansion of K in m 5.452 * [backup-simplify]: Simplify K into K 5.452 * [taylor]: Taking taylor expansion of n in m 5.452 * [backup-simplify]: Simplify n into n 5.452 * [taylor]: Taking taylor expansion of (* 0.5 (* K m)) in m 5.452 * [taylor]: Taking taylor expansion of 0.5 in m 5.452 * [backup-simplify]: Simplify 0.5 into 0.5 5.452 * [taylor]: Taking taylor expansion of (* K m) in m 5.452 * [taylor]: Taking taylor expansion of K in m 5.452 * [backup-simplify]: Simplify K into K 5.452 * [taylor]: Taking taylor expansion of m in m 5.452 * [backup-simplify]: Simplify 0 into 0 5.452 * [backup-simplify]: Simplify 1 into 1 5.452 * [taylor]: Taking taylor expansion of M in m 5.452 * [backup-simplify]: Simplify M into M 5.452 * [backup-simplify]: Simplify (* K n) into (* K n) 5.453 * [backup-simplify]: Simplify (* 0.5 (* K n)) into (* 0.5 (* K n)) 5.453 * [backup-simplify]: Simplify (* K 0) into 0 5.453 * [backup-simplify]: Simplify (* 0.5 0) into 0 5.453 * [backup-simplify]: Simplify (+ (* 0.5 (* K n)) 0) into (* 0.5 (* K n)) 5.453 * [backup-simplify]: Simplify (- M) into (- M) 5.453 * [backup-simplify]: Simplify (+ (* 0.5 (* K n)) (- M)) into (- (* 0.5 (* K n)) M) 5.454 * [backup-simplify]: Simplify (cos (- (* 0.5 (* K n)) M)) into (cos (- (* 0.5 (* K n)) M)) 5.454 * [backup-simplify]: Simplify (sin (- (* 0.5 (* K n)) M)) into (sin (- (* 0.5 (* K n)) M)) 5.454 * [taylor]: Taking taylor expansion of (cos (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M)) in K 5.454 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M) in K 5.454 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* K n)) (* 0.5 (* K m))) in K 5.454 * [taylor]: Taking taylor expansion of (* 0.5 (* K n)) in K 5.454 * [taylor]: Taking taylor expansion of 0.5 in K 5.454 * [backup-simplify]: Simplify 0.5 into 0.5 5.454 * [taylor]: Taking taylor expansion of (* K n) in K 5.454 * [taylor]: Taking taylor expansion of K in K 5.454 * [backup-simplify]: Simplify 0 into 0 5.454 * [backup-simplify]: Simplify 1 into 1 5.454 * [taylor]: Taking taylor expansion of n in K 5.454 * [backup-simplify]: Simplify n into n 5.454 * [taylor]: Taking taylor expansion of (* 0.5 (* K m)) in K 5.454 * [taylor]: Taking taylor expansion of 0.5 in K 5.454 * [backup-simplify]: Simplify 0.5 into 0.5 5.454 * [taylor]: Taking taylor expansion of (* K m) in K 5.454 * [taylor]: Taking taylor expansion of K in K 5.454 * [backup-simplify]: Simplify 0 into 0 5.454 * [backup-simplify]: Simplify 1 into 1 5.454 * [taylor]: Taking taylor expansion of m in K 5.454 * [backup-simplify]: Simplify m into m 5.454 * [taylor]: Taking taylor expansion of M in K 5.454 * [backup-simplify]: Simplify M into M 5.455 * [backup-simplify]: Simplify (* 0 n) into 0 5.455 * [backup-simplify]: Simplify (* 0.5 0) into 0 5.455 * [backup-simplify]: Simplify (* 0 m) into 0 5.456 * [backup-simplify]: Simplify (* 0.5 0) into 0 5.456 * [backup-simplify]: Simplify (+ 0 0) into 0 5.456 * [backup-simplify]: Simplify (- M) into (- M) 5.456 * [backup-simplify]: Simplify (+ 0 (- M)) into (- M) 5.456 * [backup-simplify]: Simplify (cos (- M)) into (cos (- M)) 5.456 * [backup-simplify]: Simplify (sin (- M)) into (sin (- M)) 5.456 * [taylor]: Taking taylor expansion of (cos (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M)) in K 5.456 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (* K n)) (* 0.5 (* K m))) M) in K 5.456 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* K n)) (* 0.5 (* K m))) in K 5.456 * [taylor]: Taking taylor expansion of (* 0.5 (* K n)) in K 5.456 * [taylor]: Taking taylor expansion of 0.5 in K 5.456 * [backup-simplify]: Simplify 0.5 into 0.5 5.456 * [taylor]: Taking taylor expansion of (* K n) in K 5.456 * [taylor]: Taking taylor expansion of K in K 5.457 * [backup-simplify]: Simplify 0 into 0 5.457 * [backup-simplify]: Simplify 1 into 1 5.457 * [taylor]: Taking taylor expansion of n in K 5.457 * [backup-simplify]: Simplify n into n 5.457 * [taylor]: Taking taylor expansion of (* 0.5 (* K m)) in K 5.457 * [taylor]: Taking taylor expansion of 0.5 in K 5.457 * [backup-simplify]: Simplify 0.5 into 0.5 5.457 * [taylor]: Taking taylor expansion of (* K m) in K 5.457 * [taylor]: Taking taylor expansion of K in K 5.457 * [backup-simplify]: Simplify 0 into 0 5.457 * [backup-simplify]: Simplify 1 into 1 5.457 * [taylor]: Taking taylor expansion of m in K 5.457 * [backup-simplify]: Simplify m into m 5.457 * [taylor]: Taking taylor expansion of M in K 5.457 * [backup-simplify]: Simplify M into M 5.457 * [backup-simplify]: Simplify (* 0 n) into 0 5.457 * [backup-simplify]: Simplify (* 0.5 0) into 0 5.457 * [backup-simplify]: Simplify (* 0 m) into 0 5.458 * [backup-simplify]: Simplify (* 0.5 0) into 0 5.458 * [backup-simplify]: Simplify (+ 0 0) into 0 5.458 * [backup-simplify]: Simplify (- M) into (- M) 5.458 * [backup-simplify]: Simplify (+ 0 (- M)) into (- M) 5.458 * [backup-simplify]: Simplify (cos (- M)) into (cos (- M)) 5.459 * [backup-simplify]: Simplify (sin (- M)) into (sin (- M)) 5.459 * [backup-simplify]: Simplify (* (cos (- M)) 1) into (cos (- M)) 5.459 * [backup-simplify]: Simplify (* (sin (- M)) 0) into 0 5.460 * [backup-simplify]: Simplify (- 0) into 0 5.460 * [backup-simplify]: Simplify (+ (cos (- M)) 0) into (cos (- M)) 5.460 * [taylor]: Taking taylor expansion of (cos (- M)) in m 5.460 * [taylor]: Taking taylor expansion of (- M) in m 5.460 * [taylor]: Taking taylor expansion of M in m 5.460 * [backup-simplify]: Simplify M into M 5.460 * [backup-simplify]: Simplify (- M) into (- M) 5.460 * [backup-simplify]: Simplify (- M) into (- M) 5.460 * [backup-simplify]: Simplify (cos (- M)) into (cos (- M)) 5.460 * [backup-simplify]: Simplify (- M) into (- M) 5.460 * [backup-simplify]: Simplify (sin (- M)) into (sin (- M)) 5.460 * [backup-simplify]: Simplify (* (cos (- M)) 1) into (cos (- M)) 5.460 * [backup-simplify]: Simplify (* (sin (- M)) 0) into 0 5.461 * [backup-simplify]: Simplify (- 0) into 0 5.461 * [backup-simplify]: Simplify (+ (cos (- M)) 0) into (cos (- M)) 5.461 * [taylor]: Taking taylor expansion of (cos (- M)) in n 5.461 * [taylor]: Taking taylor expansion of (- M) in n 5.461 * [taylor]: Taking taylor expansion of M in n 5.461 * [backup-simplify]: Simplify M into M 5.461 * [backup-simplify]: Simplify (- M) into (- M) 5.461 * [backup-simplify]: Simplify (- M) into (- M) 5.461 * [backup-simplify]: Simplify (cos (- M)) into (cos (- M)) 5.461 * [backup-simplify]: Simplify (- M) into (- M) 5.461 * [backup-simplify]: Simplify (sin (- M)) into (sin (- M)) 5.461 * [backup-simplify]: Simplify (* (cos (- M)) 1) into (cos (- M)) 5.461 * [backup-simplify]: Simplify (* (sin (- M)) 0) into 0 5.462 * [backup-simplify]: Simplify (- 0) into 0 5.462 * [backup-simplify]: Simplify (+ (cos (- M)) 0) into (cos (- M)) 5.462 * [taylor]: Taking taylor expansion of (cos (- M)) in M 5.462 * [taylor]: Taking taylor expansion of (- M) in M 5.462 * [taylor]: Taking taylor expansion of M in M 5.462 * [backup-simplify]: Simplify 0 into 0 5.462 * [backup-simplify]: Simplify 1 into 1 5.462 * [backup-simplify]: Simplify (- 0) into 0 5.463 * [backup-simplify]: Simplify (- 1) into -1 5.463 * [backup-simplify]: Simplify 1 into 1 5.463 * [backup-simplify]: Simplify (+ 0) into 0 5.464 * [backup-simplify]: Simplify (+ (* (cos (- M)) 0) (* 0 1)) into 0 5.464 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 n)) into n 5.465 * [backup-simplify]: Simplify (+ (* 0.5 n) (* 0 0)) into (* 0.5 n) 5.465 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 m)) into m 5.466 * [backup-simplify]: Simplify (+ (* 0.5 m) (* 0 0)) into (* 0.5 m) 5.466 * [backup-simplify]: Simplify (+ (* 0.5 n) (* 0.5 m)) into (+ (* 0.5 m) (* 0.5 n)) 5.466 * [backup-simplify]: Simplify (- 0) into 0 5.466 * [backup-simplify]: Simplify (+ (+ (* 0.5 m) (* 0.5 n)) 0) into (+ (* 0.5 m) (* 0.5 n)) 5.467 * [backup-simplify]: Simplify (+ (* 1 (/ (pow (+ (* 0.5 m) (* 0.5 n)) 1) 1))) into (+ (* 0.5 m) (* 0.5 n)) 5.467 * [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.468 * [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.468 * [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.468 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (* m (sin (- M)))) (* 0.5 (* n (sin (- M)))))) in m 5.468 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* m (sin (- M)))) (* 0.5 (* n (sin (- M))))) in m 5.468 * [taylor]: Taking taylor expansion of (* 0.5 (* m (sin (- M)))) in m 5.468 * [taylor]: Taking taylor expansion of 0.5 in m 5.468 * [backup-simplify]: Simplify 0.5 into 0.5 5.468 * [taylor]: Taking taylor expansion of (* m (sin (- M))) in m 5.468 * [taylor]: Taking taylor expansion of m in m 5.468 * [backup-simplify]: Simplify 0 into 0 5.468 * [backup-simplify]: Simplify 1 into 1 5.468 * [taylor]: Taking taylor expansion of (sin (- M)) in m 5.468 * [taylor]: Taking taylor expansion of (- M) in m 5.468 * [taylor]: Taking taylor expansion of M in m 5.468 * [backup-simplify]: Simplify M into M 5.468 * [backup-simplify]: Simplify (- M) into (- M) 5.469 * [backup-simplify]: Simplify (- M) into (- M) 5.469 * [backup-simplify]: Simplify (sin (- M)) into (sin (- M)) 5.469 * [backup-simplify]: Simplify (- M) into (- M) 5.469 * [backup-simplify]: Simplify (cos (- M)) into (cos (- M)) 5.469 * [taylor]: Taking taylor expansion of (* 0.5 (* n (sin (- M)))) in m 5.469 * [taylor]: Taking taylor expansion of 0.5 in m 5.469 * [backup-simplify]: Simplify 0.5 into 0.5 5.469 * [taylor]: Taking taylor expansion of (* n (sin (- M))) in m 5.469 * [taylor]: Taking taylor expansion of n in m 5.469 * [backup-simplify]: Simplify n into n 5.469 * [taylor]: Taking taylor expansion of (sin (- M)) in m 5.469 * [taylor]: Taking taylor expansion of (- M) in m 5.469 * [taylor]: Taking taylor expansion of M in m 5.469 * [backup-simplify]: Simplify M into M 5.469 * [backup-simplify]: Simplify (- M) into (- M) 5.469 * [backup-simplify]: Simplify (- M) into (- M) 5.469 * [backup-simplify]: Simplify (sin (- M)) into (sin (- M)) 5.469 * [backup-simplify]: Simplify (- M) into (- M) 5.469 * [backup-simplify]: Simplify (cos (- M)) into (cos (- M)) 5.470 * [backup-simplify]: Simplify (* (sin (- M)) 1) into (sin (- M)) 5.470 * [backup-simplify]: Simplify (* (cos (- M)) 0) into 0 5.470 * [backup-simplify]: Simplify (+ (sin (- M)) 0) into (sin (- M)) 5.470 * [backup-simplify]: Simplify (* 0 (sin (- M))) into 0 5.471 * [backup-simplify]: Simplify (* 0.5 0) into 0 5.471 * [backup-simplify]: Simplify (* (sin (- M)) 1) into (sin (- M)) 5.471 * [backup-simplify]: Simplify (* (cos (- M)) 0) into 0 5.471 * [backup-simplify]: Simplify (+ (sin (- M)) 0) into (sin (- M)) 5.471 * [backup-simplify]: Simplify (* n (sin (- M))) into (* n (sin (- M))) 5.471 * [backup-simplify]: Simplify (* 0.5 (* n (sin (- M)))) into (* 0.5 (* n (sin (- M)))) 5.471 * [backup-simplify]: Simplify (+ 0 (* 0.5 (* n (sin (- M))))) into (* 0.5 (* n (sin (- M)))) 5.471 * [backup-simplify]: Simplify (- (* 0.5 (* n (sin (- M))))) into (- (* 0.5 (* n (sin (- M))))) 5.471 * [taylor]: Taking taylor expansion of (- (* 0.5 (* n (sin (- M))))) in n 5.471 * [taylor]: Taking taylor expansion of (* 0.5 (* n (sin (- M)))) in n 5.472 * [taylor]: Taking taylor expansion of 0.5 in n 5.472 * [backup-simplify]: Simplify 0.5 into 0.5 5.472 * [taylor]: Taking taylor expansion of (* n (sin (- M))) in n 5.472 * [taylor]: Taking taylor expansion of n in n 5.472 * [backup-simplify]: Simplify 0 into 0 5.472 * [backup-simplify]: Simplify 1 into 1 5.472 * [taylor]: Taking taylor expansion of (sin (- M)) in n 5.472 * [taylor]: Taking taylor expansion of (- M) in n 5.472 * [taylor]: Taking taylor expansion of M in n 5.472 * [backup-simplify]: Simplify M into M 5.472 * [backup-simplify]: Simplify (- M) into (- M) 5.472 * [backup-simplify]: Simplify (- M) into (- M) 5.472 * [backup-simplify]: Simplify (sin (- M)) into (sin (- M)) 5.472 * [backup-simplify]: Simplify (- M) into (- M) 5.472 * [backup-simplify]: Simplify (cos (- M)) into (cos (- M)) 5.472 * [backup-simplify]: Simplify (* (sin (- M)) 1) into (sin (- M)) 5.472 * [backup-simplify]: Simplify (* (cos (- M)) 0) into 0 5.472 * [backup-simplify]: Simplify (+ (sin (- M)) 0) into (sin (- M)) 5.472 * [backup-simplify]: Simplify (* 0 (sin (- M))) into 0 5.473 * [backup-simplify]: Simplify (* 0.5 0) into 0 5.473 * [backup-simplify]: Simplify (- 0) into 0 5.473 * [taylor]: Taking taylor expansion of 0 in M 5.473 * [backup-simplify]: Simplify 0 into 0 5.473 * [backup-simplify]: Simplify 0 into 0 5.474 * [backup-simplify]: Simplify (+ 0) into 0 5.474 * [backup-simplify]: Simplify (+ (* (cos (- M)) 0) (* 0 1)) into 0 5.475 * [backup-simplify]: Simplify (- 0) into 0 5.476 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 5.476 * [backup-simplify]: Simplify (+ (* (sin (- M)) 0) (* 0 0)) into 0 5.476 * [backup-simplify]: Simplify (- 0) into 0 5.477 * [backup-simplify]: Simplify (+ 0 0) into 0 5.477 * [taylor]: Taking taylor expansion of 0 in n 5.477 * [backup-simplify]: Simplify 0 into 0 5.477 * [taylor]: Taking taylor expansion of 0 in M 5.477 * [backup-simplify]: Simplify 0 into 0 5.477 * [backup-simplify]: Simplify 0 into 0 5.477 * [backup-simplify]: Simplify (+ 0) into 0 5.478 * [backup-simplify]: Simplify (+ (* (cos (- M)) 0) (* 0 1)) into 0 5.478 * [backup-simplify]: Simplify (- 0) into 0 5.479 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 5.480 * [backup-simplify]: Simplify (+ (* (sin (- M)) 0) (* 0 0)) into 0 5.480 * [backup-simplify]: Simplify (- 0) into 0 5.480 * [backup-simplify]: Simplify (+ 0 0) into 0 5.480 * [taylor]: Taking taylor expansion of 0 in M 5.480 * [backup-simplify]: Simplify 0 into 0 5.480 * [backup-simplify]: Simplify 0 into 0 5.481 * [backup-simplify]: Simplify (+ 0) into 0 5.481 * [backup-simplify]: Simplify 0 into 0