1.242 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 32.372 * * * [progress]: [2/2] Setting up program. 32.379 * [progress]: [Phase 2 of 3] Improving. 32.379 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 32.379 * [simplify]: Simplifying: (+ lambda1 (atan2 (* (* (sin theta) (sin delta)) (cos phi1)) (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))) 32.379 * * [simplify]: iteration 1: (22 enodes) 32.383 * * [simplify]: iteration 2: (35 enodes) 32.388 * * [simplify]: iteration 3: (54 enodes) 32.396 * * [simplify]: iteration 4: (55 enodes) 32.402 * * [simplify]: Extracting #0: cost 1 inf + 0 32.403 * * [simplify]: Extracting #1: cost 3 inf + 0 32.403 * * [simplify]: Extracting #2: cost 4 inf + 1 32.403 * * [simplify]: Extracting #3: cost 13 inf + 1 32.403 * * [simplify]: Extracting #4: cost 20 inf + 1 32.403 * * [simplify]: Extracting #5: cost 14 inf + 288 32.403 * * [simplify]: Extracting #6: cost 10 inf + 896 32.403 * * [simplify]: Extracting #7: cost 11 inf + 1159 32.403 * * [simplify]: Extracting #8: cost 13 inf + 1321 32.404 * * [simplify]: Extracting #9: cost 12 inf + 1382 32.404 * * [simplify]: Extracting #10: cost 7 inf + 3000 32.404 * * [simplify]: Extracting #11: cost 5 inf + 4296 32.405 * * [simplify]: Extracting #12: cost 3 inf + 5672 32.406 * * [simplify]: Extracting #13: cost 1 inf + 7368 32.407 * * [simplify]: Extracting #14: cost 0 inf + 8397 32.435 * [simplify]: Simplified to: (+ (atan2 (* (sin delta) (* (cos phi1) (sin theta))) (- (cos delta) (* (sin phi1) (sin (asin (+ (* (cos delta) (sin phi1)) (* (cos theta) (* (cos phi1) (sin delta))))))))) lambda1) 32.452 * * [progress]: iteration 1 / 4 32.452 * * * [progress]: picking best candidate 32.466 * * * * [pick]: Picked # 32.466 * * * [progress]: localizing error 32.587 * * * [progress]: generating rewritten candidates 32.587 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 32.609 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 2 1) 32.611 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 32.623 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 2 1 1 1) 32.633 * * * [progress]: generating series expansions 32.634 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 32.634 * [backup-simplify]: Simplify (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) into (- (cos delta) (+ (* (pow (sin phi1) 2) (cos delta)) (* (sin phi1) (* (cos phi1) (* (sin delta) (cos theta)))))) 32.634 * [approximate]: Taking taylor expansion of (- (cos delta) (+ (* (pow (sin phi1) 2) (cos delta)) (* (sin phi1) (* (cos phi1) (* (sin delta) (cos theta)))))) in (delta phi1 theta) around 0 32.634 * [taylor]: Taking taylor expansion of (- (cos delta) (+ (* (pow (sin phi1) 2) (cos delta)) (* (sin phi1) (* (cos phi1) (* (sin delta) (cos theta)))))) in theta 32.634 * [taylor]: Taking taylor expansion of (cos delta) in theta 32.634 * [taylor]: Taking taylor expansion of delta in theta 32.634 * [backup-simplify]: Simplify delta into delta 32.634 * [backup-simplify]: Simplify (cos delta) into (cos delta) 32.634 * [backup-simplify]: Simplify (sin delta) into (sin delta) 32.634 * [taylor]: Taking taylor expansion of (+ (* (pow (sin phi1) 2) (cos delta)) (* (sin phi1) (* (cos phi1) (* (sin delta) (cos theta))))) in theta 32.634 * [taylor]: Taking taylor expansion of (* (pow (sin phi1) 2) (cos delta)) in theta 32.634 * [taylor]: Taking taylor expansion of (pow (sin phi1) 2) in theta 32.634 * [taylor]: Taking taylor expansion of (sin phi1) in theta 32.634 * [taylor]: Taking taylor expansion of phi1 in theta 32.635 * [backup-simplify]: Simplify phi1 into phi1 32.635 * [backup-simplify]: Simplify (sin phi1) into (sin phi1) 32.635 * [backup-simplify]: Simplify (cos phi1) into (cos phi1) 32.635 * [backup-simplify]: Simplify (* (sin phi1) 1) into (sin phi1) 32.635 * [backup-simplify]: Simplify (* (cos phi1) 0) into 0 32.635 * [backup-simplify]: Simplify (+ (sin phi1) 0) into (sin phi1) 32.635 * [taylor]: Taking taylor expansion of (cos delta) in theta 32.635 * [taylor]: Taking taylor expansion of delta in theta 32.635 * [backup-simplify]: Simplify delta into delta 32.635 * [backup-simplify]: Simplify (cos delta) into (cos delta) 32.635 * [backup-simplify]: Simplify (sin delta) into (sin delta) 32.635 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi1) (* (sin delta) (cos theta)))) in theta 32.635 * [taylor]: Taking taylor expansion of (sin phi1) in theta 32.635 * [taylor]: Taking taylor expansion of phi1 in theta 32.635 * [backup-simplify]: Simplify phi1 into phi1 32.635 * [backup-simplify]: Simplify (sin phi1) into (sin phi1) 32.635 * [backup-simplify]: Simplify (cos phi1) into (cos phi1) 32.635 * [taylor]: Taking taylor expansion of (* (cos phi1) (* (sin delta) (cos theta))) in theta 32.635 * [taylor]: Taking taylor expansion of (cos phi1) in theta 32.635 * [taylor]: Taking taylor expansion of phi1 in theta 32.635 * [backup-simplify]: Simplify phi1 into phi1 32.635 * [backup-simplify]: Simplify (cos phi1) into (cos phi1) 32.635 * [backup-simplify]: Simplify (sin phi1) into (sin phi1) 32.635 * [taylor]: Taking taylor expansion of (* (sin delta) (cos theta)) in theta 32.635 * [taylor]: Taking taylor expansion of (sin delta) in theta 32.635 * [taylor]: Taking taylor expansion of delta in theta 32.635 * [backup-simplify]: Simplify delta into delta 32.635 * [backup-simplify]: Simplify (sin delta) into (sin delta) 32.635 * [backup-simplify]: Simplify (cos delta) into (cos delta) 32.635 * [taylor]: Taking taylor expansion of (cos theta) in theta 32.635 * [taylor]: Taking taylor expansion of theta in theta 32.635 * [backup-simplify]: Simplify 0 into 0 32.636 * [backup-simplify]: Simplify 1 into 1 32.636 * [taylor]: Taking taylor expansion of (- (cos delta) (+ (* (pow (sin phi1) 2) (cos delta)) (* (sin phi1) (* (cos phi1) (* (sin delta) (cos theta)))))) in phi1 32.636 * [taylor]: Taking taylor expansion of (cos delta) in phi1 32.636 * [taylor]: Taking taylor expansion of delta in phi1 32.636 * [backup-simplify]: Simplify delta into delta 32.636 * [backup-simplify]: Simplify (cos delta) into (cos delta) 32.636 * [backup-simplify]: Simplify (sin delta) into (sin delta) 32.636 * [taylor]: Taking taylor expansion of (+ (* (pow (sin phi1) 2) (cos delta)) (* (sin phi1) (* (cos phi1) (* (sin delta) (cos theta))))) in phi1 32.636 * [taylor]: Taking taylor expansion of (* (pow (sin phi1) 2) (cos delta)) in phi1 32.636 * [taylor]: Taking taylor expansion of (pow (sin phi1) 2) in phi1 32.636 * [taylor]: Taking taylor expansion of (sin phi1) in phi1 32.636 * [taylor]: Taking taylor expansion of phi1 in phi1 32.636 * [backup-simplify]: Simplify 0 into 0 32.636 * [backup-simplify]: Simplify 1 into 1 32.637 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 32.637 * [taylor]: Taking taylor expansion of (cos delta) in phi1 32.637 * [taylor]: Taking taylor expansion of delta in phi1 32.637 * [backup-simplify]: Simplify delta into delta 32.637 * [backup-simplify]: Simplify (cos delta) into (cos delta) 32.637 * [backup-simplify]: Simplify (sin delta) into (sin delta) 32.637 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi1) (* (sin delta) (cos theta)))) in phi1 32.637 * [taylor]: Taking taylor expansion of (sin phi1) in phi1 32.637 * [taylor]: Taking taylor expansion of phi1 in phi1 32.637 * [backup-simplify]: Simplify 0 into 0 32.637 * [backup-simplify]: Simplify 1 into 1 32.637 * [taylor]: Taking taylor expansion of (* (cos phi1) (* (sin delta) (cos theta))) in phi1 32.637 * [taylor]: Taking taylor expansion of (cos phi1) in phi1 32.637 * [taylor]: Taking taylor expansion of phi1 in phi1 32.637 * [backup-simplify]: Simplify 0 into 0 32.637 * [backup-simplify]: Simplify 1 into 1 32.637 * [taylor]: Taking taylor expansion of (* (sin delta) (cos theta)) in phi1 32.637 * [taylor]: Taking taylor expansion of (sin delta) in phi1 32.637 * [taylor]: Taking taylor expansion of delta in phi1 32.637 * [backup-simplify]: Simplify delta into delta 32.637 * [backup-simplify]: Simplify (sin delta) into (sin delta) 32.637 * [backup-simplify]: Simplify (cos delta) into (cos delta) 32.637 * [taylor]: Taking taylor expansion of (cos theta) in phi1 32.637 * [taylor]: Taking taylor expansion of theta in phi1 32.638 * [backup-simplify]: Simplify theta into theta 32.638 * [backup-simplify]: Simplify (cos theta) into (cos theta) 32.638 * [backup-simplify]: Simplify (sin theta) into (sin theta) 32.638 * [taylor]: Taking taylor expansion of (- (cos delta) (+ (* (pow (sin phi1) 2) (cos delta)) (* (sin phi1) (* (cos phi1) (* (sin delta) (cos theta)))))) in delta 32.638 * [taylor]: Taking taylor expansion of (cos delta) in delta 32.638 * [taylor]: Taking taylor expansion of delta in delta 32.638 * [backup-simplify]: Simplify 0 into 0 32.638 * [backup-simplify]: Simplify 1 into 1 32.638 * [taylor]: Taking taylor expansion of (+ (* (pow (sin phi1) 2) (cos delta)) (* (sin phi1) (* (cos phi1) (* (sin delta) (cos theta))))) in delta 32.638 * [taylor]: Taking taylor expansion of (* (pow (sin phi1) 2) (cos delta)) in delta 32.638 * [taylor]: Taking taylor expansion of (pow (sin phi1) 2) in delta 32.638 * [taylor]: Taking taylor expansion of (sin phi1) in delta 32.638 * [taylor]: Taking taylor expansion of phi1 in delta 32.638 * [backup-simplify]: Simplify phi1 into phi1 32.638 * [backup-simplify]: Simplify (sin phi1) into (sin phi1) 32.638 * [backup-simplify]: Simplify (cos phi1) into (cos phi1) 32.638 * [backup-simplify]: Simplify (* (sin phi1) 1) into (sin phi1) 32.638 * [backup-simplify]: Simplify (* (cos phi1) 0) into 0 32.638 * [backup-simplify]: Simplify (+ (sin phi1) 0) into (sin phi1) 32.638 * [taylor]: Taking taylor expansion of (cos delta) in delta 32.638 * [taylor]: Taking taylor expansion of delta in delta 32.638 * [backup-simplify]: Simplify 0 into 0 32.638 * [backup-simplify]: Simplify 1 into 1 32.638 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi1) (* (sin delta) (cos theta)))) in delta 32.638 * [taylor]: Taking taylor expansion of (sin phi1) in delta 32.638 * [taylor]: Taking taylor expansion of phi1 in delta 32.638 * [backup-simplify]: Simplify phi1 into phi1 32.638 * [backup-simplify]: Simplify (sin phi1) into (sin phi1) 32.638 * [backup-simplify]: Simplify (cos phi1) into (cos phi1) 32.638 * [taylor]: Taking taylor expansion of (* (cos phi1) (* (sin delta) (cos theta))) in delta 32.638 * [taylor]: Taking taylor expansion of (cos phi1) in delta 32.638 * [taylor]: Taking taylor expansion of phi1 in delta 32.638 * [backup-simplify]: Simplify phi1 into phi1 32.638 * [backup-simplify]: Simplify (cos phi1) into (cos phi1) 32.638 * [backup-simplify]: Simplify (sin phi1) into (sin phi1) 32.638 * [taylor]: Taking taylor expansion of (* (sin delta) (cos theta)) in delta 32.638 * [taylor]: Taking taylor expansion of (sin delta) in delta 32.638 * [taylor]: Taking taylor expansion of delta in delta 32.638 * [backup-simplify]: Simplify 0 into 0 32.638 * [backup-simplify]: Simplify 1 into 1 32.638 * [taylor]: Taking taylor expansion of (cos theta) in delta 32.638 * [taylor]: Taking taylor expansion of theta in delta 32.638 * [backup-simplify]: Simplify theta into theta 32.638 * [backup-simplify]: Simplify (cos theta) into (cos theta) 32.638 * [backup-simplify]: Simplify (sin theta) into (sin theta) 32.638 * [taylor]: Taking taylor expansion of (- (cos delta) (+ (* (pow (sin phi1) 2) (cos delta)) (* (sin phi1) (* (cos phi1) (* (sin delta) (cos theta)))))) in delta 32.638 * [taylor]: Taking taylor expansion of (cos delta) in delta 32.638 * [taylor]: Taking taylor expansion of delta in delta 32.638 * [backup-simplify]: Simplify 0 into 0 32.639 * [backup-simplify]: Simplify 1 into 1 32.639 * [taylor]: Taking taylor expansion of (+ (* (pow (sin phi1) 2) (cos delta)) (* (sin phi1) (* (cos phi1) (* (sin delta) (cos theta))))) in delta 32.639 * [taylor]: Taking taylor expansion of (* (pow (sin phi1) 2) (cos delta)) in delta 32.639 * [taylor]: Taking taylor expansion of (pow (sin phi1) 2) in delta 32.639 * [taylor]: Taking taylor expansion of (sin phi1) in delta 32.639 * [taylor]: Taking taylor expansion of phi1 in delta 32.639 * [backup-simplify]: Simplify phi1 into phi1 32.639 * [backup-simplify]: Simplify (sin phi1) into (sin phi1) 32.639 * [backup-simplify]: Simplify (cos phi1) into (cos phi1) 32.639 * [backup-simplify]: Simplify (* (sin phi1) 1) into (sin phi1) 32.639 * [backup-simplify]: Simplify (* (cos phi1) 0) into 0 32.639 * [backup-simplify]: Simplify (+ (sin phi1) 0) into (sin phi1) 32.639 * [taylor]: Taking taylor expansion of (cos delta) in delta 32.639 * [taylor]: Taking taylor expansion of delta in delta 32.639 * [backup-simplify]: Simplify 0 into 0 32.639 * [backup-simplify]: Simplify 1 into 1 32.639 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi1) (* (sin delta) (cos theta)))) in delta 32.639 * [taylor]: Taking taylor expansion of (sin phi1) in delta 32.639 * [taylor]: Taking taylor expansion of phi1 in delta 32.639 * [backup-simplify]: Simplify phi1 into phi1 32.639 * [backup-simplify]: Simplify (sin phi1) into (sin phi1) 32.639 * [backup-simplify]: Simplify (cos phi1) into (cos phi1) 32.639 * [taylor]: Taking taylor expansion of (* (cos phi1) (* (sin delta) (cos theta))) in delta 32.639 * [taylor]: Taking taylor expansion of (cos phi1) in delta 32.639 * [taylor]: Taking taylor expansion of phi1 in delta 32.639 * [backup-simplify]: Simplify phi1 into phi1 32.639 * [backup-simplify]: Simplify (cos phi1) into (cos phi1) 32.639 * [backup-simplify]: Simplify (sin phi1) into (sin phi1) 32.639 * [taylor]: Taking taylor expansion of (* (sin delta) (cos theta)) in delta 32.639 * [taylor]: Taking taylor expansion of (sin delta) in delta 32.639 * [taylor]: Taking taylor expansion of delta in delta 32.639 * [backup-simplify]: Simplify 0 into 0 32.639 * [backup-simplify]: Simplify 1 into 1 32.639 * [taylor]: Taking taylor expansion of (cos theta) in delta 32.639 * [taylor]: Taking taylor expansion of theta in delta 32.639 * [backup-simplify]: Simplify theta into theta 32.639 * [backup-simplify]: Simplify (cos theta) into (cos theta) 32.639 * [backup-simplify]: Simplify (sin theta) into (sin theta) 32.639 * [backup-simplify]: Simplify (* (sin phi1) (sin phi1)) into (pow (sin phi1) 2) 32.639 * [backup-simplify]: Simplify (* (pow (sin phi1) 2) 1) into (pow (sin phi1) 2) 32.640 * [backup-simplify]: Simplify (* (sin phi1) 1) into (sin phi1) 32.640 * [backup-simplify]: Simplify (* (cos phi1) 0) into 0 32.640 * [backup-simplify]: Simplify (+ (sin phi1) 0) into (sin phi1) 32.640 * [backup-simplify]: Simplify (* (cos phi1) 1) into (cos phi1) 32.640 * [backup-simplify]: Simplify (* (sin phi1) 0) into 0 32.640 * [backup-simplify]: Simplify (- 0) into 0 32.640 * [backup-simplify]: Simplify (+ (cos phi1) 0) into (cos phi1) 32.640 * [backup-simplify]: Simplify (* (cos theta) 1) into (cos theta) 32.640 * [backup-simplify]: Simplify (* (sin theta) 0) into 0 32.641 * [backup-simplify]: Simplify (- 0) into 0 32.641 * [backup-simplify]: Simplify (+ (cos theta) 0) into (cos theta) 32.641 * [backup-simplify]: Simplify (* 0 (cos theta)) into 0 32.641 * [backup-simplify]: Simplify (* (cos phi1) 0) into 0 32.641 * [backup-simplify]: Simplify (* (sin phi1) 0) into 0 32.641 * [backup-simplify]: Simplify (+ (pow (sin phi1) 2) 0) into (pow (sin phi1) 2) 32.641 * [backup-simplify]: Simplify (- (pow (sin phi1) 2)) into (- (pow (sin phi1) 2)) 32.641 * [backup-simplify]: Simplify (+ 1 (- (pow (sin phi1) 2))) into (- 1 (pow (sin phi1) 2)) 32.641 * [taylor]: Taking taylor expansion of (- 1 (pow (sin phi1) 2)) in phi1 32.641 * [taylor]: Taking taylor expansion of 1 in phi1 32.641 * [backup-simplify]: Simplify 1 into 1 32.641 * [taylor]: Taking taylor expansion of (pow (sin phi1) 2) in phi1 32.641 * [taylor]: Taking taylor expansion of (sin phi1) in phi1 32.641 * [taylor]: Taking taylor expansion of phi1 in phi1 32.641 * [backup-simplify]: Simplify 0 into 0 32.641 * [backup-simplify]: Simplify 1 into 1 32.642 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 32.642 * [backup-simplify]: Simplify (+ 1 0) into 1 32.642 * [taylor]: Taking taylor expansion of 1 in theta 32.642 * [backup-simplify]: Simplify 1 into 1 32.642 * [backup-simplify]: Simplify 1 into 1 32.643 * [backup-simplify]: Simplify (+ 0) into 0 32.643 * [backup-simplify]: Simplify (+ 0) into 0 32.643 * [backup-simplify]: Simplify (+ 0) into 0 32.643 * [backup-simplify]: Simplify (+ (* (sin phi1) 0) (* 0 1)) into 0 32.644 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.644 * [backup-simplify]: Simplify (+ (* (cos phi1) 0) (* 0 0)) into 0 32.645 * [backup-simplify]: Simplify (+ 0 0) into 0 32.645 * [backup-simplify]: Simplify (+ (* (sin phi1) 0) (* 0 (sin phi1))) into 0 32.645 * [backup-simplify]: Simplify (+ (* (pow (sin phi1) 2) 0) (* 0 1)) into 0 32.645 * [backup-simplify]: Simplify (+ 0) into 0 32.645 * [backup-simplify]: Simplify (+ (* (cos theta) 0) (* 0 1)) into 0 32.646 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.646 * [backup-simplify]: Simplify (+ (* (sin theta) 0) (* 0 0)) into 0 32.647 * [backup-simplify]: Simplify (- 0) into 0 32.647 * [backup-simplify]: Simplify (+ 0 0) into 0 32.647 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 32.648 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (cos theta))) into (cos theta) 32.648 * [backup-simplify]: Simplify (+ 0) into 0 32.648 * [backup-simplify]: Simplify (+ (* (cos phi1) 0) (* 0 1)) into 0 32.649 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.649 * [backup-simplify]: Simplify (+ (* (sin phi1) 0) (* 0 0)) into 0 32.649 * [backup-simplify]: Simplify (- 0) into 0 32.649 * [backup-simplify]: Simplify (+ 0 0) into 0 32.650 * [backup-simplify]: Simplify (+ (* (cos phi1) (cos theta)) (* 0 0)) into (* (cos phi1) (cos theta)) 32.650 * [backup-simplify]: Simplify (+ 0) into 0 32.650 * [backup-simplify]: Simplify (+ (* (sin phi1) 0) (* 0 1)) into 0 32.651 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.651 * [backup-simplify]: Simplify (+ (* (cos phi1) 0) (* 0 0)) into 0 32.651 * [backup-simplify]: Simplify (+ 0 0) into 0 32.652 * [backup-simplify]: Simplify (+ (* (sin phi1) (* (cos phi1) (cos theta))) (* 0 0)) into (* (sin phi1) (* (cos phi1) (cos theta))) 32.652 * [backup-simplify]: Simplify (+ 0 (* (sin phi1) (* (cos phi1) (cos theta)))) into (* (sin phi1) (* (cos phi1) (cos theta))) 32.652 * [backup-simplify]: Simplify (- (* (sin phi1) (* (cos phi1) (cos theta)))) into (- (* (sin phi1) (* (cos phi1) (cos theta)))) 32.652 * [backup-simplify]: Simplify (+ 0 (- (* (sin phi1) (* (cos phi1) (cos theta))))) into (- (* (sin phi1) (* (cos phi1) (cos theta)))) 32.652 * [taylor]: Taking taylor expansion of (- (* (sin phi1) (* (cos phi1) (cos theta)))) in phi1 32.652 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi1) (cos theta))) in phi1 32.652 * [taylor]: Taking taylor expansion of (sin phi1) in phi1 32.652 * [taylor]: Taking taylor expansion of phi1 in phi1 32.652 * [backup-simplify]: Simplify 0 into 0 32.652 * [backup-simplify]: Simplify 1 into 1 32.652 * [taylor]: Taking taylor expansion of (* (cos phi1) (cos theta)) in phi1 32.652 * [taylor]: Taking taylor expansion of (cos phi1) in phi1 32.652 * [taylor]: Taking taylor expansion of phi1 in phi1 32.652 * [backup-simplify]: Simplify 0 into 0 32.652 * [backup-simplify]: Simplify 1 into 1 32.652 * [taylor]: Taking taylor expansion of (cos theta) in phi1 32.652 * [taylor]: Taking taylor expansion of theta in phi1 32.652 * [backup-simplify]: Simplify theta into theta 32.652 * [backup-simplify]: Simplify (cos theta) into (cos theta) 32.652 * [backup-simplify]: Simplify (sin theta) into (sin theta) 32.652 * [backup-simplify]: Simplify (* (cos theta) 1) into (cos theta) 32.652 * [backup-simplify]: Simplify (* (sin theta) 0) into 0 32.653 * [backup-simplify]: Simplify (- 0) into 0 32.653 * [backup-simplify]: Simplify (+ (cos theta) 0) into (cos theta) 32.653 * [backup-simplify]: Simplify (* 1 (cos theta)) into (cos theta) 32.653 * [backup-simplify]: Simplify (* 0 (cos theta)) into 0 32.653 * [backup-simplify]: Simplify (- 0) into 0 32.653 * [taylor]: Taking taylor expansion of 0 in theta 32.653 * [backup-simplify]: Simplify 0 into 0 32.653 * [backup-simplify]: Simplify 0 into 0 32.653 * [backup-simplify]: Simplify (+ 0 0) into 0 32.653 * [taylor]: Taking taylor expansion of 0 in theta 32.653 * [backup-simplify]: Simplify 0 into 0 32.653 * [backup-simplify]: Simplify 0 into 0 32.653 * [backup-simplify]: Simplify 0 into 0 32.654 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 32.655 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 32.655 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 32.656 * [backup-simplify]: Simplify (+ (* (sin phi1) 0) (+ (* 0 0) (* 0 1))) into 0 32.656 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 32.657 * [backup-simplify]: Simplify (+ (* (cos phi1) 0) (+ (* 0 0) (* 0 0))) into 0 32.657 * [backup-simplify]: Simplify (+ 0 0) into 0 32.657 * [backup-simplify]: Simplify (+ (* (sin phi1) 0) (+ (* 0 0) (* 0 (sin phi1)))) into 0 32.658 * [backup-simplify]: Simplify (+ (* (pow (sin phi1) 2) -1/2) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (pow (sin phi1) 2))) 32.658 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 32.659 * [backup-simplify]: Simplify (+ (* (cos theta) 0) (+ (* 0 0) (* 0 1))) into 0 32.659 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 32.660 * [backup-simplify]: Simplify (+ (* (sin theta) 0) (+ (* 0 0) (* 0 0))) into 0 32.660 * [backup-simplify]: Simplify (- 0) into 0 32.660 * [backup-simplify]: Simplify (+ 0 0) into 0 32.661 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 32.661 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (cos theta)))) into 0 32.662 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 32.662 * [backup-simplify]: Simplify (+ (* (cos phi1) 0) (+ (* 0 0) (* 0 1))) into 0 32.663 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 32.663 * [backup-simplify]: Simplify (+ (* (sin phi1) 0) (+ (* 0 0) (* 0 0))) into 0 32.663 * [backup-simplify]: Simplify (- 0) into 0 32.663 * [backup-simplify]: Simplify (+ 0 0) into 0 32.664 * [backup-simplify]: Simplify (+ (* (cos phi1) 0) (+ (* 0 (cos theta)) (* 0 0))) into 0 32.664 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 32.665 * [backup-simplify]: Simplify (+ (* (sin phi1) 0) (+ (* 0 0) (* 0 1))) into 0 32.665 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 32.666 * [backup-simplify]: Simplify (+ (* (cos phi1) 0) (+ (* 0 0) (* 0 0))) into 0 32.666 * [backup-simplify]: Simplify (+ 0 0) into 0 32.666 * [backup-simplify]: Simplify (+ (* (sin phi1) 0) (+ (* 0 (* (cos phi1) (cos theta))) (* 0 0))) into 0 32.666 * [backup-simplify]: Simplify (+ (- (* 1/2 (pow (sin phi1) 2))) 0) into (- (* 1/2 (pow (sin phi1) 2))) 32.666 * [backup-simplify]: Simplify (- (- (* 1/2 (pow (sin phi1) 2)))) into (* 1/2 (pow (sin phi1) 2)) 32.666 * [backup-simplify]: Simplify (+ -1/2 (* 1/2 (pow (sin phi1) 2))) into (- (* 1/2 (pow (sin phi1) 2)) 1/2) 32.666 * [taylor]: Taking taylor expansion of (- (* 1/2 (pow (sin phi1) 2)) 1/2) in phi1 32.666 * [taylor]: Taking taylor expansion of (* 1/2 (pow (sin phi1) 2)) in phi1 32.666 * [taylor]: Taking taylor expansion of 1/2 in phi1 32.667 * [backup-simplify]: Simplify 1/2 into 1/2 32.667 * [taylor]: Taking taylor expansion of (pow (sin phi1) 2) in phi1 32.667 * [taylor]: Taking taylor expansion of (sin phi1) in phi1 32.667 * [taylor]: Taking taylor expansion of phi1 in phi1 32.667 * [backup-simplify]: Simplify 0 into 0 32.667 * [backup-simplify]: Simplify 1 into 1 32.667 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 32.667 * [taylor]: Taking taylor expansion of 1/2 in phi1 32.667 * [backup-simplify]: Simplify 1/2 into 1/2 32.668 * [backup-simplify]: Simplify (- 1/2) into -1/2 32.668 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2 32.668 * [taylor]: Taking taylor expansion of -1/2 in theta 32.668 * [backup-simplify]: Simplify -1/2 into -1/2 32.668 * [backup-simplify]: Simplify -1/2 into -1/2 32.669 * [backup-simplify]: Simplify (+ 0) into 0 32.669 * [backup-simplify]: Simplify (+ (* (cos theta) 0) (* 0 1)) into 0 32.670 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.670 * [backup-simplify]: Simplify (+ (* (sin theta) 0) (* 0 0)) into 0 32.671 * [backup-simplify]: Simplify (- 0) into 0 32.671 * [backup-simplify]: Simplify (+ 0 0) into 0 32.672 * [backup-simplify]: Simplify (+ 0) into 0 32.672 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (cos theta))) into 0 32.673 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 32.673 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (cos theta))) into (cos theta) 32.673 * [backup-simplify]: Simplify (- (cos theta)) into (- (cos theta)) 32.673 * [taylor]: Taking taylor expansion of (- (cos theta)) in theta 32.673 * [taylor]: Taking taylor expansion of (cos theta) in theta 32.673 * [taylor]: Taking taylor expansion of theta in theta 32.673 * [backup-simplify]: Simplify 0 into 0 32.673 * [backup-simplify]: Simplify 1 into 1 32.674 * [backup-simplify]: Simplify (- 1) into -1 32.674 * [backup-simplify]: Simplify -1 into -1 32.674 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* phi1 delta))) (+ (* -1/2 (pow (* 1 (* 1 delta)) 2)) 1)) into (- 1 (+ (* phi1 delta) (* 1/2 (pow delta 2)))) 32.675 * [backup-simplify]: Simplify (- (cos (/ 1 delta)) (* (sin (/ 1 phi1)) (sin (asin (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (* (cos (/ 1 phi1)) (sin (/ 1 delta))) (cos (/ 1 theta)))))))) into (- (cos (/ 1 delta)) (+ (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (sin (/ 1 phi1)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))))) 32.675 * [approximate]: Taking taylor expansion of (- (cos (/ 1 delta)) (+ (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (sin (/ 1 phi1)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))))) in (delta phi1 theta) around 0 32.675 * [taylor]: Taking taylor expansion of (- (cos (/ 1 delta)) (+ (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (sin (/ 1 phi1)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))))) in theta 32.675 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in theta 32.675 * [taylor]: Taking taylor expansion of (/ 1 delta) in theta 32.675 * [taylor]: Taking taylor expansion of delta in theta 32.675 * [backup-simplify]: Simplify delta into delta 32.675 * [backup-simplify]: Simplify (/ 1 delta) into (/ 1 delta) 32.675 * [backup-simplify]: Simplify (cos (/ 1 delta)) into (cos (/ 1 delta)) 32.675 * [backup-simplify]: Simplify (sin (/ 1 delta)) into (sin (/ 1 delta)) 32.675 * [taylor]: Taking taylor expansion of (+ (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (sin (/ 1 phi1)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) in theta 32.675 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta))) in theta 32.675 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 phi1)) 2) in theta 32.675 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in theta 32.675 * [taylor]: Taking taylor expansion of (/ 1 phi1) in theta 32.675 * [taylor]: Taking taylor expansion of phi1 in theta 32.675 * [backup-simplify]: Simplify phi1 into phi1 32.676 * [backup-simplify]: Simplify (/ 1 phi1) into (/ 1 phi1) 32.676 * [backup-simplify]: Simplify (sin (/ 1 phi1)) into (sin (/ 1 phi1)) 32.676 * [backup-simplify]: Simplify (cos (/ 1 phi1)) into (cos (/ 1 phi1)) 32.676 * [backup-simplify]: Simplify (* (sin (/ 1 phi1)) 1) into (sin (/ 1 phi1)) 32.676 * [backup-simplify]: Simplify (* (cos (/ 1 phi1)) 0) into 0 32.676 * [backup-simplify]: Simplify (+ (sin (/ 1 phi1)) 0) into (sin (/ 1 phi1)) 32.676 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in theta 32.676 * [taylor]: Taking taylor expansion of (/ 1 delta) in theta 32.676 * [taylor]: Taking taylor expansion of delta in theta 32.676 * [backup-simplify]: Simplify delta into delta 32.676 * [backup-simplify]: Simplify (/ 1 delta) into (/ 1 delta) 32.676 * [backup-simplify]: Simplify (cos (/ 1 delta)) into (cos (/ 1 delta)) 32.676 * [backup-simplify]: Simplify (sin (/ 1 delta)) into (sin (/ 1 delta)) 32.676 * [taylor]: Taking taylor expansion of (* (sin (/ 1 delta)) (* (sin (/ 1 phi1)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) in theta 32.676 * [taylor]: Taking taylor expansion of (sin (/ 1 delta)) in theta 32.676 * [taylor]: Taking taylor expansion of (/ 1 delta) in theta 32.676 * [taylor]: Taking taylor expansion of delta in theta 32.676 * [backup-simplify]: Simplify delta into delta 32.676 * [backup-simplify]: Simplify (/ 1 delta) into (/ 1 delta) 32.677 * [backup-simplify]: Simplify (sin (/ 1 delta)) into (sin (/ 1 delta)) 32.677 * [backup-simplify]: Simplify (cos (/ 1 delta)) into (cos (/ 1 delta)) 32.677 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))) in theta 32.677 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in theta 32.677 * [taylor]: Taking taylor expansion of (/ 1 phi1) in theta 32.677 * [taylor]: Taking taylor expansion of phi1 in theta 32.677 * [backup-simplify]: Simplify phi1 into phi1 32.677 * [backup-simplify]: Simplify (/ 1 phi1) into (/ 1 phi1) 32.677 * [backup-simplify]: Simplify (sin (/ 1 phi1)) into (sin (/ 1 phi1)) 32.677 * [backup-simplify]: Simplify (cos (/ 1 phi1)) into (cos (/ 1 phi1)) 32.677 * [taylor]: Taking taylor expansion of (* (cos (/ 1 theta)) (cos (/ 1 phi1))) in theta 32.677 * [taylor]: Taking taylor expansion of (cos (/ 1 theta)) in theta 32.677 * [taylor]: Taking taylor expansion of (/ 1 theta) in theta 32.677 * [taylor]: Taking taylor expansion of theta in theta 32.677 * [backup-simplify]: Simplify 0 into 0 32.677 * [backup-simplify]: Simplify 1 into 1 32.678 * [backup-simplify]: Simplify (/ 1 1) into 1 32.678 * [backup-simplify]: Simplify (cos (/ 1 theta)) into (cos (/ 1 theta)) 32.678 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in theta 32.678 * [taylor]: Taking taylor expansion of (/ 1 phi1) in theta 32.678 * [taylor]: Taking taylor expansion of phi1 in theta 32.678 * [backup-simplify]: Simplify phi1 into phi1 32.678 * [backup-simplify]: Simplify (/ 1 phi1) into (/ 1 phi1) 32.678 * [backup-simplify]: Simplify (cos (/ 1 phi1)) into (cos (/ 1 phi1)) 32.678 * [backup-simplify]: Simplify (sin (/ 1 phi1)) into (sin (/ 1 phi1)) 32.678 * [taylor]: Taking taylor expansion of (- (cos (/ 1 delta)) (+ (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (sin (/ 1 phi1)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))))) in phi1 32.678 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in phi1 32.678 * [taylor]: Taking taylor expansion of (/ 1 delta) in phi1 32.678 * [taylor]: Taking taylor expansion of delta in phi1 32.678 * [backup-simplify]: Simplify delta into delta 32.678 * [backup-simplify]: Simplify (/ 1 delta) into (/ 1 delta) 32.678 * [backup-simplify]: Simplify (cos (/ 1 delta)) into (cos (/ 1 delta)) 32.678 * [backup-simplify]: Simplify (sin (/ 1 delta)) into (sin (/ 1 delta)) 32.678 * [taylor]: Taking taylor expansion of (+ (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (sin (/ 1 phi1)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) in phi1 32.678 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta))) in phi1 32.678 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 phi1)) 2) in phi1 32.679 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1 32.679 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 32.679 * [taylor]: Taking taylor expansion of phi1 in phi1 32.679 * [backup-simplify]: Simplify 0 into 0 32.679 * [backup-simplify]: Simplify 1 into 1 32.679 * [backup-simplify]: Simplify (/ 1 1) into 1 32.679 * [backup-simplify]: Simplify (sin (/ 1 phi1)) into (sin (/ 1 phi1)) 32.679 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in phi1 32.679 * [taylor]: Taking taylor expansion of (/ 1 delta) in phi1 32.679 * [taylor]: Taking taylor expansion of delta in phi1 32.679 * [backup-simplify]: Simplify delta into delta 32.679 * [backup-simplify]: Simplify (/ 1 delta) into (/ 1 delta) 32.679 * [backup-simplify]: Simplify (cos (/ 1 delta)) into (cos (/ 1 delta)) 32.680 * [backup-simplify]: Simplify (sin (/ 1 delta)) into (sin (/ 1 delta)) 32.680 * [taylor]: Taking taylor expansion of (* (sin (/ 1 delta)) (* (sin (/ 1 phi1)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) in phi1 32.680 * [taylor]: Taking taylor expansion of (sin (/ 1 delta)) in phi1 32.680 * [taylor]: Taking taylor expansion of (/ 1 delta) in phi1 32.680 * [taylor]: Taking taylor expansion of delta in phi1 32.680 * [backup-simplify]: Simplify delta into delta 32.680 * [backup-simplify]: Simplify (/ 1 delta) into (/ 1 delta) 32.680 * [backup-simplify]: Simplify (sin (/ 1 delta)) into (sin (/ 1 delta)) 32.680 * [backup-simplify]: Simplify (cos (/ 1 delta)) into (cos (/ 1 delta)) 32.680 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))) in phi1 32.680 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1 32.680 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 32.680 * [taylor]: Taking taylor expansion of phi1 in phi1 32.680 * [backup-simplify]: Simplify 0 into 0 32.680 * [backup-simplify]: Simplify 1 into 1 32.680 * [backup-simplify]: Simplify (/ 1 1) into 1 32.681 * [backup-simplify]: Simplify (sin (/ 1 phi1)) into (sin (/ 1 phi1)) 32.681 * [taylor]: Taking taylor expansion of (* (cos (/ 1 theta)) (cos (/ 1 phi1))) in phi1 32.681 * [taylor]: Taking taylor expansion of (cos (/ 1 theta)) in phi1 32.681 * [taylor]: Taking taylor expansion of (/ 1 theta) in phi1 32.681 * [taylor]: Taking taylor expansion of theta in phi1 32.681 * [backup-simplify]: Simplify theta into theta 32.681 * [backup-simplify]: Simplify (/ 1 theta) into (/ 1 theta) 32.681 * [backup-simplify]: Simplify (cos (/ 1 theta)) into (cos (/ 1 theta)) 32.681 * [backup-simplify]: Simplify (sin (/ 1 theta)) into (sin (/ 1 theta)) 32.681 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in phi1 32.681 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 32.681 * [taylor]: Taking taylor expansion of phi1 in phi1 32.681 * [backup-simplify]: Simplify 0 into 0 32.681 * [backup-simplify]: Simplify 1 into 1 32.681 * [backup-simplify]: Simplify (/ 1 1) into 1 32.681 * [backup-simplify]: Simplify (cos (/ 1 phi1)) into (cos (/ 1 phi1)) 32.682 * [taylor]: Taking taylor expansion of (- (cos (/ 1 delta)) (+ (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (sin (/ 1 phi1)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))))) in delta 32.682 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in delta 32.682 * [taylor]: Taking taylor expansion of (/ 1 delta) in delta 32.682 * [taylor]: Taking taylor expansion of delta in delta 32.682 * [backup-simplify]: Simplify 0 into 0 32.682 * [backup-simplify]: Simplify 1 into 1 32.682 * [backup-simplify]: Simplify (/ 1 1) into 1 32.682 * [backup-simplify]: Simplify (cos (/ 1 delta)) into (cos (/ 1 delta)) 32.682 * [taylor]: Taking taylor expansion of (+ (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (sin (/ 1 phi1)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) in delta 32.682 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta))) in delta 32.682 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 phi1)) 2) in delta 32.682 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in delta 32.682 * [taylor]: Taking taylor expansion of (/ 1 phi1) in delta 32.682 * [taylor]: Taking taylor expansion of phi1 in delta 32.682 * [backup-simplify]: Simplify phi1 into phi1 32.682 * [backup-simplify]: Simplify (/ 1 phi1) into (/ 1 phi1) 32.682 * [backup-simplify]: Simplify (sin (/ 1 phi1)) into (sin (/ 1 phi1)) 32.683 * [backup-simplify]: Simplify (cos (/ 1 phi1)) into (cos (/ 1 phi1)) 32.683 * [backup-simplify]: Simplify (* (sin (/ 1 phi1)) 1) into (sin (/ 1 phi1)) 32.683 * [backup-simplify]: Simplify (* (cos (/ 1 phi1)) 0) into 0 32.683 * [backup-simplify]: Simplify (+ (sin (/ 1 phi1)) 0) into (sin (/ 1 phi1)) 32.683 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in delta 32.683 * [taylor]: Taking taylor expansion of (/ 1 delta) in delta 32.683 * [taylor]: Taking taylor expansion of delta in delta 32.683 * [backup-simplify]: Simplify 0 into 0 32.683 * [backup-simplify]: Simplify 1 into 1 32.683 * [backup-simplify]: Simplify (/ 1 1) into 1 32.683 * [backup-simplify]: Simplify (cos (/ 1 delta)) into (cos (/ 1 delta)) 32.683 * [taylor]: Taking taylor expansion of (* (sin (/ 1 delta)) (* (sin (/ 1 phi1)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) in delta 32.683 * [taylor]: Taking taylor expansion of (sin (/ 1 delta)) in delta 32.684 * [taylor]: Taking taylor expansion of (/ 1 delta) in delta 32.684 * [taylor]: Taking taylor expansion of delta in delta 32.684 * [backup-simplify]: Simplify 0 into 0 32.684 * [backup-simplify]: Simplify 1 into 1 32.684 * [backup-simplify]: Simplify (/ 1 1) into 1 32.684 * [backup-simplify]: Simplify (sin (/ 1 delta)) into (sin (/ 1 delta)) 32.684 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))) in delta 32.684 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in delta 32.684 * [taylor]: Taking taylor expansion of (/ 1 phi1) in delta 32.684 * [taylor]: Taking taylor expansion of phi1 in delta 32.684 * [backup-simplify]: Simplify phi1 into phi1 32.684 * [backup-simplify]: Simplify (/ 1 phi1) into (/ 1 phi1) 32.684 * [backup-simplify]: Simplify (sin (/ 1 phi1)) into (sin (/ 1 phi1)) 32.684 * [backup-simplify]: Simplify (cos (/ 1 phi1)) into (cos (/ 1 phi1)) 32.684 * [taylor]: Taking taylor expansion of (* (cos (/ 1 theta)) (cos (/ 1 phi1))) in delta 32.684 * [taylor]: Taking taylor expansion of (cos (/ 1 theta)) in delta 32.684 * [taylor]: Taking taylor expansion of (/ 1 theta) in delta 32.684 * [taylor]: Taking taylor expansion of theta in delta 32.684 * [backup-simplify]: Simplify theta into theta 32.685 * [backup-simplify]: Simplify (/ 1 theta) into (/ 1 theta) 32.685 * [backup-simplify]: Simplify (cos (/ 1 theta)) into (cos (/ 1 theta)) 32.685 * [backup-simplify]: Simplify (sin (/ 1 theta)) into (sin (/ 1 theta)) 32.685 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in delta 32.685 * [taylor]: Taking taylor expansion of (/ 1 phi1) in delta 32.685 * [taylor]: Taking taylor expansion of phi1 in delta 32.685 * [backup-simplify]: Simplify phi1 into phi1 32.685 * [backup-simplify]: Simplify (/ 1 phi1) into (/ 1 phi1) 32.685 * [backup-simplify]: Simplify (cos (/ 1 phi1)) into (cos (/ 1 phi1)) 32.685 * [backup-simplify]: Simplify (sin (/ 1 phi1)) into (sin (/ 1 phi1)) 32.685 * [taylor]: Taking taylor expansion of (- (cos (/ 1 delta)) (+ (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (sin (/ 1 phi1)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))))) in delta 32.685 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in delta 32.685 * [taylor]: Taking taylor expansion of (/ 1 delta) in delta 32.685 * [taylor]: Taking taylor expansion of delta in delta 32.685 * [backup-simplify]: Simplify 0 into 0 32.685 * [backup-simplify]: Simplify 1 into 1 32.686 * [backup-simplify]: Simplify (/ 1 1) into 1 32.686 * [backup-simplify]: Simplify (cos (/ 1 delta)) into (cos (/ 1 delta)) 32.686 * [taylor]: Taking taylor expansion of (+ (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (sin (/ 1 phi1)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) in delta 32.686 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta))) in delta 32.686 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 phi1)) 2) in delta 32.686 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in delta 32.686 * [taylor]: Taking taylor expansion of (/ 1 phi1) in delta 32.686 * [taylor]: Taking taylor expansion of phi1 in delta 32.686 * [backup-simplify]: Simplify phi1 into phi1 32.686 * [backup-simplify]: Simplify (/ 1 phi1) into (/ 1 phi1) 32.686 * [backup-simplify]: Simplify (sin (/ 1 phi1)) into (sin (/ 1 phi1)) 32.686 * [backup-simplify]: Simplify (cos (/ 1 phi1)) into (cos (/ 1 phi1)) 32.686 * [backup-simplify]: Simplify (* (sin (/ 1 phi1)) 1) into (sin (/ 1 phi1)) 32.686 * [backup-simplify]: Simplify (* (cos (/ 1 phi1)) 0) into 0 32.686 * [backup-simplify]: Simplify (+ (sin (/ 1 phi1)) 0) into (sin (/ 1 phi1)) 32.686 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in delta 32.686 * [taylor]: Taking taylor expansion of (/ 1 delta) in delta 32.686 * [taylor]: Taking taylor expansion of delta in delta 32.687 * [backup-simplify]: Simplify 0 into 0 32.687 * [backup-simplify]: Simplify 1 into 1 32.687 * [backup-simplify]: Simplify (/ 1 1) into 1 32.687 * [backup-simplify]: Simplify (cos (/ 1 delta)) into (cos (/ 1 delta)) 32.687 * [taylor]: Taking taylor expansion of (* (sin (/ 1 delta)) (* (sin (/ 1 phi1)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) in delta 32.687 * [taylor]: Taking taylor expansion of (sin (/ 1 delta)) in delta 32.687 * [taylor]: Taking taylor expansion of (/ 1 delta) in delta 32.687 * [taylor]: Taking taylor expansion of delta in delta 32.687 * [backup-simplify]: Simplify 0 into 0 32.687 * [backup-simplify]: Simplify 1 into 1 32.688 * [backup-simplify]: Simplify (/ 1 1) into 1 32.688 * [backup-simplify]: Simplify (sin (/ 1 delta)) into (sin (/ 1 delta)) 32.688 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))) in delta 32.688 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in delta 32.688 * [taylor]: Taking taylor expansion of (/ 1 phi1) in delta 32.688 * [taylor]: Taking taylor expansion of phi1 in delta 32.688 * [backup-simplify]: Simplify phi1 into phi1 32.688 * [backup-simplify]: Simplify (/ 1 phi1) into (/ 1 phi1) 32.688 * [backup-simplify]: Simplify (sin (/ 1 phi1)) into (sin (/ 1 phi1)) 32.688 * [backup-simplify]: Simplify (cos (/ 1 phi1)) into (cos (/ 1 phi1)) 32.688 * [taylor]: Taking taylor expansion of (* (cos (/ 1 theta)) (cos (/ 1 phi1))) in delta 32.688 * [taylor]: Taking taylor expansion of (cos (/ 1 theta)) in delta 32.688 * [taylor]: Taking taylor expansion of (/ 1 theta) in delta 32.688 * [taylor]: Taking taylor expansion of theta in delta 32.688 * [backup-simplify]: Simplify theta into theta 32.688 * [backup-simplify]: Simplify (/ 1 theta) into (/ 1 theta) 32.688 * [backup-simplify]: Simplify (cos (/ 1 theta)) into (cos (/ 1 theta)) 32.688 * [backup-simplify]: Simplify (sin (/ 1 theta)) into (sin (/ 1 theta)) 32.688 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in delta 32.688 * [taylor]: Taking taylor expansion of (/ 1 phi1) in delta 32.688 * [taylor]: Taking taylor expansion of phi1 in delta 32.689 * [backup-simplify]: Simplify phi1 into phi1 32.689 * [backup-simplify]: Simplify (/ 1 phi1) into (/ 1 phi1) 32.689 * [backup-simplify]: Simplify (cos (/ 1 phi1)) into (cos (/ 1 phi1)) 32.689 * [backup-simplify]: Simplify (sin (/ 1 phi1)) into (sin (/ 1 phi1)) 32.690 * [backup-simplify]: Simplify (* (sin (/ 1 phi1)) (sin (/ 1 phi1))) into (pow (sin (/ 1 phi1)) 2) 32.690 * [backup-simplify]: Simplify (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta))) into (* (cos (/ 1 delta)) (pow (sin (/ 1 phi1)) 2)) 32.690 * [backup-simplify]: Simplify (* (sin (/ 1 phi1)) 1) into (sin (/ 1 phi1)) 32.690 * [backup-simplify]: Simplify (* (cos (/ 1 phi1)) 0) into 0 32.690 * [backup-simplify]: Simplify (+ (sin (/ 1 phi1)) 0) into (sin (/ 1 phi1)) 32.690 * [backup-simplify]: Simplify (* (cos (/ 1 theta)) 1) into (cos (/ 1 theta)) 32.690 * [backup-simplify]: Simplify (* (sin (/ 1 theta)) 0) into 0 32.691 * [backup-simplify]: Simplify (- 0) into 0 32.691 * [backup-simplify]: Simplify (+ (cos (/ 1 theta)) 0) into (cos (/ 1 theta)) 32.691 * [backup-simplify]: Simplify (* (cos (/ 1 phi1)) 1) into (cos (/ 1 phi1)) 32.691 * [backup-simplify]: Simplify (* (sin (/ 1 phi1)) 0) into 0 32.692 * [backup-simplify]: Simplify (- 0) into 0 32.692 * [backup-simplify]: Simplify (+ (cos (/ 1 phi1)) 0) into (cos (/ 1 phi1)) 32.692 * [backup-simplify]: Simplify (* (cos (/ 1 theta)) (cos (/ 1 phi1))) into (* (cos (/ 1 theta)) (cos (/ 1 phi1))) 32.692 * [backup-simplify]: Simplify (* (sin (/ 1 phi1)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))) into (* (cos (/ 1 phi1)) (* (cos (/ 1 theta)) (sin (/ 1 phi1)))) 32.692 * [backup-simplify]: Simplify (* (sin (/ 1 delta)) (* (cos (/ 1 phi1)) (* (cos (/ 1 theta)) (sin (/ 1 phi1))))) into (* (sin (/ 1 phi1)) (* (cos (/ 1 phi1)) (* (cos (/ 1 theta)) (sin (/ 1 delta))))) 32.693 * [backup-simplify]: Simplify (+ (* (cos (/ 1 delta)) (pow (sin (/ 1 phi1)) 2)) (* (sin (/ 1 phi1)) (* (cos (/ 1 phi1)) (* (cos (/ 1 theta)) (sin (/ 1 delta)))))) into (+ (* (sin (/ 1 phi1)) (* (cos (/ 1 phi1)) (* (cos (/ 1 theta)) (sin (/ 1 delta))))) (* (cos (/ 1 delta)) (pow (sin (/ 1 phi1)) 2))) 32.693 * [backup-simplify]: Simplify (- (+ (* (sin (/ 1 phi1)) (* (cos (/ 1 phi1)) (* (cos (/ 1 theta)) (sin (/ 1 delta))))) (* (cos (/ 1 delta)) (pow (sin (/ 1 phi1)) 2)))) into (- (+ (* (sin (/ 1 delta)) (* (cos (/ 1 phi1)) (* (cos (/ 1 theta)) (sin (/ 1 phi1))))) (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta))))) 32.694 * [backup-simplify]: Simplify (+ (cos (/ 1 delta)) (- (+ (* (sin (/ 1 delta)) (* (cos (/ 1 phi1)) (* (cos (/ 1 theta)) (sin (/ 1 phi1))))) (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta)))))) into (- (cos (/ 1 delta)) (+ (* (sin (/ 1 delta)) (* (cos (/ 1 phi1)) (* (cos (/ 1 theta)) (sin (/ 1 phi1))))) (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta))))) 32.694 * [taylor]: Taking taylor expansion of (- (cos (/ 1 delta)) (+ (* (sin (/ 1 delta)) (* (cos (/ 1 phi1)) (* (cos (/ 1 theta)) (sin (/ 1 phi1))))) (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta))))) in phi1 32.694 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in phi1 32.694 * [taylor]: Taking taylor expansion of (/ 1 delta) in phi1 32.694 * [taylor]: Taking taylor expansion of delta in phi1 32.694 * [backup-simplify]: Simplify delta into delta 32.694 * [backup-simplify]: Simplify (/ 1 delta) into (/ 1 delta) 32.694 * [backup-simplify]: Simplify (cos (/ 1 delta)) into (cos (/ 1 delta)) 32.694 * [backup-simplify]: Simplify (sin (/ 1 delta)) into (sin (/ 1 delta)) 32.694 * [taylor]: Taking taylor expansion of (+ (* (sin (/ 1 delta)) (* (cos (/ 1 phi1)) (* (cos (/ 1 theta)) (sin (/ 1 phi1))))) (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta)))) in phi1 32.695 * [taylor]: Taking taylor expansion of (* (sin (/ 1 delta)) (* (cos (/ 1 phi1)) (* (cos (/ 1 theta)) (sin (/ 1 phi1))))) in phi1 32.695 * [taylor]: Taking taylor expansion of (sin (/ 1 delta)) in phi1 32.695 * [taylor]: Taking taylor expansion of (/ 1 delta) in phi1 32.695 * [taylor]: Taking taylor expansion of delta in phi1 32.695 * [backup-simplify]: Simplify delta into delta 32.695 * [backup-simplify]: Simplify (/ 1 delta) into (/ 1 delta) 32.695 * [backup-simplify]: Simplify (sin (/ 1 delta)) into (sin (/ 1 delta)) 32.695 * [backup-simplify]: Simplify (cos (/ 1 delta)) into (cos (/ 1 delta)) 32.695 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi1)) (* (cos (/ 1 theta)) (sin (/ 1 phi1)))) in phi1 32.695 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in phi1 32.695 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 32.695 * [taylor]: Taking taylor expansion of phi1 in phi1 32.695 * [backup-simplify]: Simplify 0 into 0 32.695 * [backup-simplify]: Simplify 1 into 1 32.696 * [backup-simplify]: Simplify (/ 1 1) into 1 32.696 * [backup-simplify]: Simplify (cos (/ 1 phi1)) into (cos (/ 1 phi1)) 32.696 * [taylor]: Taking taylor expansion of (* (cos (/ 1 theta)) (sin (/ 1 phi1))) in phi1 32.696 * [taylor]: Taking taylor expansion of (cos (/ 1 theta)) in phi1 32.696 * [taylor]: Taking taylor expansion of (/ 1 theta) in phi1 32.696 * [taylor]: Taking taylor expansion of theta in phi1 32.696 * [backup-simplify]: Simplify theta into theta 32.696 * [backup-simplify]: Simplify (/ 1 theta) into (/ 1 theta) 32.696 * [backup-simplify]: Simplify (cos (/ 1 theta)) into (cos (/ 1 theta)) 32.696 * [backup-simplify]: Simplify (sin (/ 1 theta)) into (sin (/ 1 theta)) 32.696 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1 32.696 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 32.696 * [taylor]: Taking taylor expansion of phi1 in phi1 32.696 * [backup-simplify]: Simplify 0 into 0 32.696 * [backup-simplify]: Simplify 1 into 1 32.697 * [backup-simplify]: Simplify (/ 1 1) into 1 32.697 * [backup-simplify]: Simplify (sin (/ 1 phi1)) into (sin (/ 1 phi1)) 32.697 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta))) in phi1 32.697 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 phi1)) 2) in phi1 32.697 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1 32.697 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 32.697 * [taylor]: Taking taylor expansion of phi1 in phi1 32.697 * [backup-simplify]: Simplify 0 into 0 32.697 * [backup-simplify]: Simplify 1 into 1 32.701 * [backup-simplify]: Simplify (/ 1 1) into 1 32.701 * [backup-simplify]: Simplify (sin (/ 1 phi1)) into (sin (/ 1 phi1)) 32.701 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in phi1 32.701 * [taylor]: Taking taylor expansion of (/ 1 delta) in phi1 32.701 * [taylor]: Taking taylor expansion of delta in phi1 32.701 * [backup-simplify]: Simplify delta into delta 32.701 * [backup-simplify]: Simplify (/ 1 delta) into (/ 1 delta) 32.701 * [backup-simplify]: Simplify (cos (/ 1 delta)) into (cos (/ 1 delta)) 32.701 * [backup-simplify]: Simplify (sin (/ 1 delta)) into (sin (/ 1 delta)) 32.701 * [backup-simplify]: Simplify (* (cos (/ 1 delta)) 1) into (cos (/ 1 delta)) 32.701 * [backup-simplify]: Simplify (* (sin (/ 1 delta)) 0) into 0 32.702 * [backup-simplify]: Simplify (- 0) into 0 32.702 * [backup-simplify]: Simplify (+ (cos (/ 1 delta)) 0) into (cos (/ 1 delta)) 32.702 * [backup-simplify]: Simplify (* (sin (/ 1 delta)) 1) into (sin (/ 1 delta)) 32.702 * [backup-simplify]: Simplify (* (cos (/ 1 delta)) 0) into 0 32.702 * [backup-simplify]: Simplify (+ (sin (/ 1 delta)) 0) into (sin (/ 1 delta)) 32.703 * [backup-simplify]: Simplify (* (cos (/ 1 theta)) 1) into (cos (/ 1 theta)) 32.703 * [backup-simplify]: Simplify (* (sin (/ 1 theta)) 0) into 0 32.703 * [backup-simplify]: Simplify (- 0) into 0 32.703 * [backup-simplify]: Simplify (+ (cos (/ 1 theta)) 0) into (cos (/ 1 theta)) 32.703 * [backup-simplify]: Simplify (* (cos (/ 1 theta)) (sin (/ 1 phi1))) into (* (cos (/ 1 theta)) (sin (/ 1 phi1))) 32.703 * [backup-simplify]: Simplify (* (cos (/ 1 phi1)) (* (cos (/ 1 theta)) (sin (/ 1 phi1)))) into (* (sin (/ 1 phi1)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))) 32.704 * [backup-simplify]: Simplify (* (sin (/ 1 delta)) (* (sin (/ 1 phi1)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) into (* (cos (/ 1 phi1)) (* (sin (/ 1 phi1)) (* (cos (/ 1 theta)) (sin (/ 1 delta))))) 32.704 * [backup-simplify]: Simplify (* (sin (/ 1 phi1)) (sin (/ 1 phi1))) into (pow (sin (/ 1 phi1)) 2) 32.704 * [backup-simplify]: Simplify (* (cos (/ 1 delta)) 1) into (cos (/ 1 delta)) 32.704 * [backup-simplify]: Simplify (* (sin (/ 1 delta)) 0) into 0 32.704 * [backup-simplify]: Simplify (- 0) into 0 32.705 * [backup-simplify]: Simplify (+ (cos (/ 1 delta)) 0) into (cos (/ 1 delta)) 32.705 * [backup-simplify]: Simplify (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta))) into (* (cos (/ 1 delta)) (pow (sin (/ 1 phi1)) 2)) 32.705 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi1)) (* (sin (/ 1 phi1)) (* (cos (/ 1 theta)) (sin (/ 1 delta))))) (* (cos (/ 1 delta)) (pow (sin (/ 1 phi1)) 2))) into (+ (* (cos (/ 1 delta)) (pow (sin (/ 1 phi1)) 2)) (* (cos (/ 1 phi1)) (* (sin (/ 1 phi1)) (* (cos (/ 1 theta)) (sin (/ 1 delta)))))) 32.706 * [backup-simplify]: Simplify (- (+ (* (cos (/ 1 delta)) (pow (sin (/ 1 phi1)) 2)) (* (cos (/ 1 phi1)) (* (sin (/ 1 phi1)) (* (cos (/ 1 theta)) (sin (/ 1 delta))))))) into (- (+ (* (sin (/ 1 delta)) (* (sin (/ 1 phi1)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta))))) 32.707 * [backup-simplify]: Simplify (+ (cos (/ 1 delta)) (- (+ (* (sin (/ 1 delta)) (* (sin (/ 1 phi1)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta)))))) into (- (cos (/ 1 delta)) (+ (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (sin (/ 1 phi1)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))))) 32.707 * [taylor]: Taking taylor expansion of (- (cos (/ 1 delta)) (+ (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (sin (/ 1 phi1)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))))) in theta 32.707 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in theta 32.707 * [taylor]: Taking taylor expansion of (/ 1 delta) in theta 32.707 * [taylor]: Taking taylor expansion of delta in theta 32.707 * [backup-simplify]: Simplify delta into delta 32.707 * [backup-simplify]: Simplify (/ 1 delta) into (/ 1 delta) 32.707 * [backup-simplify]: Simplify (cos (/ 1 delta)) into (cos (/ 1 delta)) 32.707 * [backup-simplify]: Simplify (sin (/ 1 delta)) into (sin (/ 1 delta)) 32.708 * [taylor]: Taking taylor expansion of (+ (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (sin (/ 1 phi1)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) in theta 32.708 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta))) in theta 32.708 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 phi1)) 2) in theta 32.708 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in theta 32.708 * [taylor]: Taking taylor expansion of (/ 1 phi1) in theta 32.708 * [taylor]: Taking taylor expansion of phi1 in theta 32.708 * [backup-simplify]: Simplify phi1 into phi1 32.708 * [backup-simplify]: Simplify (/ 1 phi1) into (/ 1 phi1) 32.708 * [backup-simplify]: Simplify (sin (/ 1 phi1)) into (sin (/ 1 phi1)) 32.708 * [backup-simplify]: Simplify (cos (/ 1 phi1)) into (cos (/ 1 phi1)) 32.708 * [backup-simplify]: Simplify (* (sin (/ 1 phi1)) 1) into (sin (/ 1 phi1)) 32.708 * [backup-simplify]: Simplify (* (cos (/ 1 phi1)) 0) into 0 32.708 * [backup-simplify]: Simplify (+ (sin (/ 1 phi1)) 0) into (sin (/ 1 phi1)) 32.708 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in theta 32.708 * [taylor]: Taking taylor expansion of (/ 1 delta) in theta 32.708 * [taylor]: Taking taylor expansion of delta in theta 32.708 * [backup-simplify]: Simplify delta into delta 32.708 * [backup-simplify]: Simplify (/ 1 delta) into (/ 1 delta) 32.708 * [backup-simplify]: Simplify (cos (/ 1 delta)) into (cos (/ 1 delta)) 32.708 * [backup-simplify]: Simplify (sin (/ 1 delta)) into (sin (/ 1 delta)) 32.709 * [taylor]: Taking taylor expansion of (* (sin (/ 1 delta)) (* (sin (/ 1 phi1)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) in theta 32.709 * [taylor]: Taking taylor expansion of (sin (/ 1 delta)) in theta 32.709 * [taylor]: Taking taylor expansion of (/ 1 delta) in theta 32.709 * [taylor]: Taking taylor expansion of delta in theta 32.709 * [backup-simplify]: Simplify delta into delta 32.709 * [backup-simplify]: Simplify (/ 1 delta) into (/ 1 delta) 32.709 * [backup-simplify]: Simplify (sin (/ 1 delta)) into (sin (/ 1 delta)) 32.709 * [backup-simplify]: Simplify (cos (/ 1 delta)) into (cos (/ 1 delta)) 32.709 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))) in theta 32.709 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in theta 32.709 * [taylor]: Taking taylor expansion of (/ 1 phi1) in theta 32.709 * [taylor]: Taking taylor expansion of phi1 in theta 32.709 * [backup-simplify]: Simplify phi1 into phi1 32.709 * [backup-simplify]: Simplify (/ 1 phi1) into (/ 1 phi1) 32.709 * [backup-simplify]: Simplify (sin (/ 1 phi1)) into (sin (/ 1 phi1)) 32.709 * [backup-simplify]: Simplify (cos (/ 1 phi1)) into (cos (/ 1 phi1)) 32.709 * [taylor]: Taking taylor expansion of (* (cos (/ 1 theta)) (cos (/ 1 phi1))) in theta 32.709 * [taylor]: Taking taylor expansion of (cos (/ 1 theta)) in theta 32.709 * [taylor]: Taking taylor expansion of (/ 1 theta) in theta 32.709 * [taylor]: Taking taylor expansion of theta in theta 32.709 * [backup-simplify]: Simplify 0 into 0 32.709 * [backup-simplify]: Simplify 1 into 1 32.710 * [backup-simplify]: Simplify (/ 1 1) into 1 32.710 * [backup-simplify]: Simplify (cos (/ 1 theta)) into (cos (/ 1 theta)) 32.710 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in theta 32.710 * [taylor]: Taking taylor expansion of (/ 1 phi1) in theta 32.710 * [taylor]: Taking taylor expansion of phi1 in theta 32.710 * [backup-simplify]: Simplify phi1 into phi1 32.710 * [backup-simplify]: Simplify (/ 1 phi1) into (/ 1 phi1) 32.710 * [backup-simplify]: Simplify (cos (/ 1 phi1)) into (cos (/ 1 phi1)) 32.710 * [backup-simplify]: Simplify (sin (/ 1 phi1)) into (sin (/ 1 phi1)) 32.710 * [backup-simplify]: Simplify (* (cos (/ 1 delta)) 1) into (cos (/ 1 delta)) 32.710 * [backup-simplify]: Simplify (* (sin (/ 1 delta)) 0) into 0 32.711 * [backup-simplify]: Simplify (- 0) into 0 32.711 * [backup-simplify]: Simplify (+ (cos (/ 1 delta)) 0) into (cos (/ 1 delta)) 32.711 * [backup-simplify]: Simplify (* (sin (/ 1 phi1)) (sin (/ 1 phi1))) into (pow (sin (/ 1 phi1)) 2) 32.711 * [backup-simplify]: Simplify (* (cos (/ 1 delta)) 1) into (cos (/ 1 delta)) 32.711 * [backup-simplify]: Simplify (* (sin (/ 1 delta)) 0) into 0 32.712 * [backup-simplify]: Simplify (- 0) into 0 32.712 * [backup-simplify]: Simplify (+ (cos (/ 1 delta)) 0) into (cos (/ 1 delta)) 32.712 * [backup-simplify]: Simplify (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta))) into (* (cos (/ 1 delta)) (pow (sin (/ 1 phi1)) 2)) 32.712 * [backup-simplify]: Simplify (* (sin (/ 1 delta)) 1) into (sin (/ 1 delta)) 32.712 * [backup-simplify]: Simplify (* (cos (/ 1 delta)) 0) into 0 32.712 * [backup-simplify]: Simplify (+ (sin (/ 1 delta)) 0) into (sin (/ 1 delta)) 32.712 * [backup-simplify]: Simplify (* (sin (/ 1 phi1)) 1) into (sin (/ 1 phi1)) 32.713 * [backup-simplify]: Simplify (* (cos (/ 1 phi1)) 0) into 0 32.713 * [backup-simplify]: Simplify (+ (sin (/ 1 phi1)) 0) into (sin (/ 1 phi1)) 32.713 * [backup-simplify]: Simplify (* (cos (/ 1 phi1)) 1) into (cos (/ 1 phi1)) 32.713 * [backup-simplify]: Simplify (* (sin (/ 1 phi1)) 0) into 0 32.713 * [backup-simplify]: Simplify (- 0) into 0 32.713 * [backup-simplify]: Simplify (+ (cos (/ 1 phi1)) 0) into (cos (/ 1 phi1)) 32.713 * [backup-simplify]: Simplify (* (cos (/ 1 theta)) (cos (/ 1 phi1))) into (* (cos (/ 1 theta)) (cos (/ 1 phi1))) 32.714 * [backup-simplify]: Simplify (* (sin (/ 1 phi1)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))) into (* (cos (/ 1 phi1)) (* (cos (/ 1 theta)) (sin (/ 1 phi1)))) 32.714 * [backup-simplify]: Simplify (* (sin (/ 1 delta)) (* (cos (/ 1 phi1)) (* (cos (/ 1 theta)) (sin (/ 1 phi1))))) into (* (sin (/ 1 phi1)) (* (cos (/ 1 phi1)) (* (cos (/ 1 theta)) (sin (/ 1 delta))))) 32.714 * [backup-simplify]: Simplify (+ (* (cos (/ 1 delta)) (pow (sin (/ 1 phi1)) 2)) (* (sin (/ 1 phi1)) (* (cos (/ 1 phi1)) (* (cos (/ 1 theta)) (sin (/ 1 delta)))))) into (+ (* (sin (/ 1 phi1)) (* (cos (/ 1 phi1)) (* (cos (/ 1 theta)) (sin (/ 1 delta))))) (* (cos (/ 1 delta)) (pow (sin (/ 1 phi1)) 2))) 32.715 * [backup-simplify]: Simplify (- (+ (* (sin (/ 1 phi1)) (* (cos (/ 1 phi1)) (* (cos (/ 1 theta)) (sin (/ 1 delta))))) (* (cos (/ 1 delta)) (pow (sin (/ 1 phi1)) 2)))) into (- (+ (* (sin (/ 1 delta)) (* (cos (/ 1 phi1)) (* (cos (/ 1 theta)) (sin (/ 1 phi1))))) (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta))))) 32.716 * [backup-simplify]: Simplify (+ (cos (/ 1 delta)) (- (+ (* (sin (/ 1 delta)) (* (cos (/ 1 phi1)) (* (cos (/ 1 theta)) (sin (/ 1 phi1))))) (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta)))))) into (- (cos (/ 1 delta)) (+ (* (sin (/ 1 delta)) (* (cos (/ 1 phi1)) (* (cos (/ 1 theta)) (sin (/ 1 phi1))))) (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta))))) 32.716 * [backup-simplify]: Simplify (- (cos (/ 1 delta)) (+ (* (sin (/ 1 delta)) (* (cos (/ 1 phi1)) (* (cos (/ 1 theta)) (sin (/ 1 phi1))))) (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta))))) into (- (cos (/ 1 delta)) (+ (* (sin (/ 1 phi1)) (* (cos (/ 1 phi1)) (* (cos (/ 1 theta)) (sin (/ 1 delta))))) (* (cos (/ 1 delta)) (pow (sin (/ 1 phi1)) 2)))) 32.717 * [backup-simplify]: Simplify (+ 0) into 0 32.718 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi1)) 0) (* 0 1)) into 0 32.718 * [backup-simplify]: Simplify (- (+ (* (/ 1 phi1) (/ 0 phi1)))) into 0 32.719 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.719 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi1)) 0) (* 0 0)) into 0 32.719 * [backup-simplify]: Simplify (+ 0 0) into 0 32.720 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi1)) 0) (* 0 (sin (/ 1 phi1)))) into 0 32.720 * [backup-simplify]: Simplify (+ (* (pow (sin (/ 1 phi1)) 2) 0) (* 0 (cos (/ 1 delta)))) into 0 32.720 * [backup-simplify]: Simplify (+ 0) into 0 32.721 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi1)) 0) (* 0 1)) into 0 32.721 * [backup-simplify]: Simplify (- (+ (* (/ 1 phi1) (/ 0 phi1)))) into 0 32.722 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.722 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi1)) 0) (* 0 0)) into 0 32.723 * [backup-simplify]: Simplify (- 0) into 0 32.723 * [backup-simplify]: Simplify (+ 0 0) into 0 32.723 * [backup-simplify]: Simplify (+ 0) into 0 32.724 * [backup-simplify]: Simplify (+ (* (cos (/ 1 theta)) 0) (* 0 1)) into 0 32.724 * [backup-simplify]: Simplify (- (+ (* (/ 1 theta) (/ 0 theta)))) into 0 32.725 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.725 * [backup-simplify]: Simplify (+ (* (sin (/ 1 theta)) 0) (* 0 0)) into 0 32.726 * [backup-simplify]: Simplify (- 0) into 0 32.726 * [backup-simplify]: Simplify (+ 0 0) into 0 32.726 * [backup-simplify]: Simplify (+ (* (cos (/ 1 theta)) 0) (* 0 (cos (/ 1 phi1)))) into 0 32.727 * [backup-simplify]: Simplify (+ 0) into 0 32.727 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi1)) 0) (* 0 1)) into 0 32.727 * [backup-simplify]: Simplify (- (+ (* (/ 1 phi1) (/ 0 phi1)))) into 0 32.728 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.729 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi1)) 0) (* 0 0)) into 0 32.729 * [backup-simplify]: Simplify (+ 0 0) into 0 32.729 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi1)) 0) (* 0 (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) into 0 32.730 * [backup-simplify]: Simplify (+ (* (sin (/ 1 delta)) 0) (* 0 (* (cos (/ 1 phi1)) (* (cos (/ 1 theta)) (sin (/ 1 phi1)))))) into 0 32.730 * [backup-simplify]: Simplify (+ 0 0) into 0 32.731 * [backup-simplify]: Simplify (- 0) into 0 32.731 * [backup-simplify]: Simplify (+ 0 0) into 0 32.731 * [taylor]: Taking taylor expansion of 0 in phi1 32.731 * [backup-simplify]: Simplify 0 into 0 32.731 * [taylor]: Taking taylor expansion of 0 in theta 32.731 * [backup-simplify]: Simplify 0 into 0 32.731 * [backup-simplify]: Simplify 0 into 0 32.731 * [backup-simplify]: Simplify (+ 0) into 0 32.732 * [backup-simplify]: Simplify (+ (* (cos (/ 1 delta)) 0) (* 0 1)) into 0 32.732 * [backup-simplify]: Simplify (- (+ (* (/ 1 delta) (/ 0 delta)))) into 0 32.733 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.733 * [backup-simplify]: Simplify (+ (* (sin (/ 1 delta)) 0) (* 0 0)) into 0 32.734 * [backup-simplify]: Simplify (- 0) into 0 32.734 * [backup-simplify]: Simplify (+ 0 0) into 0 32.735 * [backup-simplify]: Simplify (+ 0) into 0 32.735 * [backup-simplify]: Simplify (+ (* (cos (/ 1 theta)) 0) (* 0 1)) into 0 32.735 * [backup-simplify]: Simplify (- (+ (* (/ 1 theta) (/ 0 theta)))) into 0 32.736 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.736 * [backup-simplify]: Simplify (+ (* (sin (/ 1 theta)) 0) (* 0 0)) into 0 32.737 * [backup-simplify]: Simplify (- 0) into 0 32.737 * [backup-simplify]: Simplify (+ 0 0) into 0 32.737 * [backup-simplify]: Simplify (+ (* (cos (/ 1 theta)) 0) (* 0 (sin (/ 1 phi1)))) into 0 32.737 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi1)) 0) (* 0 (* (cos (/ 1 theta)) (sin (/ 1 phi1))))) into 0 32.738 * [backup-simplify]: Simplify (+ 0) into 0 32.738 * [backup-simplify]: Simplify (+ (* (sin (/ 1 delta)) 0) (* 0 1)) into 0 32.738 * [backup-simplify]: Simplify (- (+ (* (/ 1 delta) (/ 0 delta)))) into 0 32.739 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.740 * [backup-simplify]: Simplify (+ (* (cos (/ 1 delta)) 0) (* 0 0)) into 0 32.740 * [backup-simplify]: Simplify (+ 0 0) into 0 32.740 * [backup-simplify]: Simplify (+ (* (sin (/ 1 delta)) 0) (* 0 (* (sin (/ 1 phi1)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) into 0 32.741 * [backup-simplify]: Simplify (+ 0) into 0 32.741 * [backup-simplify]: Simplify (+ (* (cos (/ 1 delta)) 0) (* 0 1)) into 0 32.742 * [backup-simplify]: Simplify (- (+ (* (/ 1 delta) (/ 0 delta)))) into 0 32.742 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.743 * [backup-simplify]: Simplify (+ (* (sin (/ 1 delta)) 0) (* 0 0)) into 0 32.743 * [backup-simplify]: Simplify (- 0) into 0 32.744 * [backup-simplify]: Simplify (+ 0 0) into 0 32.744 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi1)) 0) (* 0 (sin (/ 1 phi1)))) into 0 32.744 * [backup-simplify]: Simplify (+ (* (pow (sin (/ 1 phi1)) 2) 0) (* 0 (cos (/ 1 delta)))) into 0 32.745 * [backup-simplify]: Simplify (+ 0 0) into 0 32.745 * [backup-simplify]: Simplify (- 0) into 0 32.745 * [backup-simplify]: Simplify (+ 0 0) into 0 32.745 * [taylor]: Taking taylor expansion of 0 in theta 32.745 * [backup-simplify]: Simplify 0 into 0 32.745 * [backup-simplify]: Simplify 0 into 0 32.746 * [backup-simplify]: Simplify (+ 0) into 0 32.747 * [backup-simplify]: Simplify (+ (* (cos (/ 1 delta)) 0) (* 0 1)) into 0 32.747 * [backup-simplify]: Simplify (- (+ (* (/ 1 delta) (/ 0 delta)))) into 0 32.747 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.748 * [backup-simplify]: Simplify (+ (* (sin (/ 1 delta)) 0) (* 0 0)) into 0 32.748 * [backup-simplify]: Simplify (- 0) into 0 32.749 * [backup-simplify]: Simplify (+ 0 0) into 0 32.749 * [backup-simplify]: Simplify (+ 0) into 0 32.749 * [backup-simplify]: Simplify (+ (* (cos (/ 1 delta)) 0) (* 0 1)) into 0 32.750 * [backup-simplify]: Simplify (- (+ (* (/ 1 delta) (/ 0 delta)))) into 0 32.750 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.751 * [backup-simplify]: Simplify (+ (* (sin (/ 1 delta)) 0) (* 0 0)) into 0 32.751 * [backup-simplify]: Simplify (- 0) into 0 32.752 * [backup-simplify]: Simplify (+ 0 0) into 0 32.752 * [backup-simplify]: Simplify (+ 0) into 0 32.752 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi1)) 0) (* 0 1)) into 0 32.753 * [backup-simplify]: Simplify (- (+ (* (/ 1 phi1) (/ 0 phi1)))) into 0 32.753 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.754 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi1)) 0) (* 0 0)) into 0 32.754 * [backup-simplify]: Simplify (+ 0 0) into 0 32.754 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi1)) 0) (* 0 (sin (/ 1 phi1)))) into 0 32.754 * [backup-simplify]: Simplify (+ (* (pow (sin (/ 1 phi1)) 2) 0) (* 0 (cos (/ 1 delta)))) into 0 32.755 * [backup-simplify]: Simplify (+ 0) into 0 32.755 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi1)) 0) (* 0 1)) into 0 32.755 * [backup-simplify]: Simplify (- (+ (* (/ 1 phi1) (/ 0 phi1)))) into 0 32.756 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.757 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi1)) 0) (* 0 0)) into 0 32.757 * [backup-simplify]: Simplify (- 0) into 0 32.757 * [backup-simplify]: Simplify (+ 0 0) into 0 32.757 * [backup-simplify]: Simplify (+ (* (cos (/ 1 theta)) 0) (* 0 (cos (/ 1 phi1)))) into 0 32.758 * [backup-simplify]: Simplify (+ 0) into 0 32.758 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi1)) 0) (* 0 1)) into 0 32.758 * [backup-simplify]: Simplify (- (+ (* (/ 1 phi1) (/ 0 phi1)))) into 0 32.759 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.759 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi1)) 0) (* 0 0)) into 0 32.759 * [backup-simplify]: Simplify (+ 0 0) into 0 32.760 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi1)) 0) (* 0 (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) into 0 32.760 * [backup-simplify]: Simplify (+ 0) into 0 32.760 * [backup-simplify]: Simplify (+ (* (sin (/ 1 delta)) 0) (* 0 1)) into 0 32.760 * [backup-simplify]: Simplify (- (+ (* (/ 1 delta) (/ 0 delta)))) into 0 32.761 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.761 * [backup-simplify]: Simplify (+ (* (cos (/ 1 delta)) 0) (* 0 0)) into 0 32.761 * [backup-simplify]: Simplify (+ 0 0) into 0 32.761 * [backup-simplify]: Simplify (+ (* (sin (/ 1 delta)) 0) (* 0 (* (cos (/ 1 phi1)) (* (cos (/ 1 theta)) (sin (/ 1 phi1)))))) into 0 32.762 * [backup-simplify]: Simplify (+ 0 0) into 0 32.762 * [backup-simplify]: Simplify (- 0) into 0 32.762 * [backup-simplify]: Simplify (+ 0 0) into 0 32.762 * [backup-simplify]: Simplify 0 into 0 32.763 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 32.763 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi1)) 0) (+ (* 0 0) (* 0 1))) into 0 32.763 * [backup-simplify]: Simplify (- (+ (* (/ 1 phi1) (/ 0 phi1)) (* 0 (/ 0 phi1)))) into 0 32.764 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 32.764 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi1)) 0) (+ (* 0 0) (* 0 0))) into 0 32.764 * [backup-simplify]: Simplify (+ 0 0) into 0 32.765 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi1)) 0) (+ (* 0 0) (* 0 (sin (/ 1 phi1))))) into 0 32.765 * [backup-simplify]: Simplify (+ (* (pow (sin (/ 1 phi1)) 2) 0) (+ (* 0 0) (* 0 (cos (/ 1 delta))))) into 0 32.765 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 32.766 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi1)) 0) (+ (* 0 0) (* 0 1))) into 0 32.766 * [backup-simplify]: Simplify (- (+ (* (/ 1 phi1) (/ 0 phi1)) (* 0 (/ 0 phi1)))) into 0 32.767 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 32.767 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi1)) 0) (+ (* 0 0) (* 0 0))) into 0 32.767 * [backup-simplify]: Simplify (- 0) into 0 32.768 * [backup-simplify]: Simplify (+ 0 0) into 0 32.768 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 32.768 * [backup-simplify]: Simplify (+ (* (cos (/ 1 theta)) 0) (+ (* 0 0) (* 0 1))) into 0 32.769 * [backup-simplify]: Simplify (- (+ (* (/ 1 theta) (/ 0 theta)) (* 0 (/ 0 theta)))) into 0 32.769 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 32.769 * [backup-simplify]: Simplify (+ (* (sin (/ 1 theta)) 0) (+ (* 0 0) (* 0 0))) into 0 32.770 * [backup-simplify]: Simplify (- 0) into 0 32.770 * [backup-simplify]: Simplify (+ 0 0) into 0 32.770 * [backup-simplify]: Simplify (+ (* (cos (/ 1 theta)) 0) (+ (* 0 0) (* 0 (cos (/ 1 phi1))))) into 0 32.771 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 32.771 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi1)) 0) (+ (* 0 0) (* 0 1))) into 0 32.771 * [backup-simplify]: Simplify (- (+ (* (/ 1 phi1) (/ 0 phi1)) (* 0 (/ 0 phi1)))) into 0 32.772 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 32.772 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi1)) 0) (+ (* 0 0) (* 0 0))) into 0 32.772 * [backup-simplify]: Simplify (+ 0 0) into 0 32.773 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi1)) 0) (+ (* 0 0) (* 0 (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) into 0 32.773 * [backup-simplify]: Simplify (+ (* (sin (/ 1 delta)) 0) (+ (* 0 0) (* 0 (* (cos (/ 1 phi1)) (* (cos (/ 1 theta)) (sin (/ 1 phi1))))))) into 0 32.773 * [backup-simplify]: Simplify (+ 0 0) into 0 32.774 * [backup-simplify]: Simplify (- 0) into 0 32.774 * [backup-simplify]: Simplify (+ 0 0) into 0 32.774 * [taylor]: Taking taylor expansion of 0 in phi1 32.774 * [backup-simplify]: Simplify 0 into 0 32.774 * [taylor]: Taking taylor expansion of 0 in theta 32.774 * [backup-simplify]: Simplify 0 into 0 32.774 * [backup-simplify]: Simplify 0 into 0 32.774 * [taylor]: Taking taylor expansion of 0 in theta 32.774 * [backup-simplify]: Simplify 0 into 0 32.774 * [backup-simplify]: Simplify 0 into 0 32.775 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 32.775 * [backup-simplify]: Simplify (+ (* (cos (/ 1 delta)) 0) (+ (* 0 0) (* 0 1))) into 0 32.775 * [backup-simplify]: Simplify (- (+ (* (/ 1 delta) (/ 0 delta)) (* 0 (/ 0 delta)))) into 0 32.776 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 32.776 * [backup-simplify]: Simplify (+ (* (sin (/ 1 delta)) 0) (+ (* 0 0) (* 0 0))) into 0 32.776 * [backup-simplify]: Simplify (- 0) into 0 32.776 * [backup-simplify]: Simplify (+ 0 0) into 0 32.777 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 32.777 * [backup-simplify]: Simplify (+ (* (cos (/ 1 theta)) 0) (+ (* 0 0) (* 0 1))) into 0 32.777 * [backup-simplify]: Simplify (- (+ (* (/ 1 theta) (/ 0 theta)) (* 0 (/ 0 theta)))) into 0 32.778 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 32.778 * [backup-simplify]: Simplify (+ (* (sin (/ 1 theta)) 0) (+ (* 0 0) (* 0 0))) into 0 32.778 * [backup-simplify]: Simplify (- 0) into 0 32.779 * [backup-simplify]: Simplify (+ 0 0) into 0 32.779 * [backup-simplify]: Simplify (+ (* (cos (/ 1 theta)) 0) (+ (* 0 0) (* 0 (sin (/ 1 phi1))))) into 0 32.779 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi1)) 0) (+ (* 0 0) (* 0 (* (cos (/ 1 theta)) (sin (/ 1 phi1)))))) into 0 32.780 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 32.780 * [backup-simplify]: Simplify (+ (* (sin (/ 1 delta)) 0) (+ (* 0 0) (* 0 1))) into 0 32.780 * [backup-simplify]: Simplify (- (+ (* (/ 1 delta) (/ 0 delta)) (* 0 (/ 0 delta)))) into 0 32.781 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 32.781 * [backup-simplify]: Simplify (+ (* (cos (/ 1 delta)) 0) (+ (* 0 0) (* 0 0))) into 0 32.782 * [backup-simplify]: Simplify (+ 0 0) into 0 32.782 * [backup-simplify]: Simplify (+ (* (sin (/ 1 delta)) 0) (+ (* 0 0) (* 0 (* (sin (/ 1 phi1)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))))) into 0 32.782 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 32.783 * [backup-simplify]: Simplify (+ (* (cos (/ 1 delta)) 0) (+ (* 0 0) (* 0 1))) into 0 32.783 * [backup-simplify]: Simplify (- (+ (* (/ 1 delta) (/ 0 delta)) (* 0 (/ 0 delta)))) into 0 32.783 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 32.784 * [backup-simplify]: Simplify (+ (* (sin (/ 1 delta)) 0) (+ (* 0 0) (* 0 0))) into 0 32.784 * [backup-simplify]: Simplify (- 0) into 0 32.784 * [backup-simplify]: Simplify (+ 0 0) into 0 32.785 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi1)) 0) (+ (* 0 0) (* 0 (sin (/ 1 phi1))))) into 0 32.785 * [backup-simplify]: Simplify (+ (* (pow (sin (/ 1 phi1)) 2) 0) (+ (* 0 0) (* 0 (cos (/ 1 delta))))) into 0 32.785 * [backup-simplify]: Simplify (+ 0 0) into 0 32.785 * [backup-simplify]: Simplify (- 0) into 0 32.786 * [backup-simplify]: Simplify (+ 0 0) into 0 32.786 * [taylor]: Taking taylor expansion of 0 in theta 32.786 * [backup-simplify]: Simplify 0 into 0 32.786 * [backup-simplify]: Simplify 0 into 0 32.786 * [backup-simplify]: Simplify (- (cos (/ 1 (/ 1 delta))) (+ (* (sin (/ 1 (/ 1 phi1))) (* (cos (/ 1 (/ 1 phi1))) (* (cos (/ 1 (/ 1 theta))) (sin (/ 1 (/ 1 delta)))))) (* (cos (/ 1 (/ 1 delta))) (pow (sin (/ 1 (/ 1 phi1))) 2)))) into (- (cos delta) (+ (* (pow (sin phi1) 2) (cos delta)) (* (sin phi1) (* (cos phi1) (* (cos theta) (sin delta)))))) 32.787 * [backup-simplify]: Simplify (- (cos (/ 1 (- delta))) (* (sin (/ 1 (- phi1))) (sin (asin (+ (* (sin (/ 1 (- phi1))) (cos (/ 1 (- delta)))) (* (* (cos (/ 1 (- phi1))) (sin (/ 1 (- delta)))) (cos (/ 1 (- theta))))))))) into (- (cos (/ -1 delta)) (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1))))))) 32.787 * [approximate]: Taking taylor expansion of (- (cos (/ -1 delta)) (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1))))))) in (delta phi1 theta) around 0 32.787 * [taylor]: Taking taylor expansion of (- (cos (/ -1 delta)) (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1))))))) in theta 32.787 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in theta 32.787 * [taylor]: Taking taylor expansion of (/ -1 delta) in theta 32.787 * [taylor]: Taking taylor expansion of -1 in theta 32.787 * [backup-simplify]: Simplify -1 into -1 32.787 * [taylor]: Taking taylor expansion of delta in theta 32.787 * [backup-simplify]: Simplify delta into delta 32.787 * [backup-simplify]: Simplify (/ -1 delta) into (/ -1 delta) 32.787 * [backup-simplify]: Simplify (cos (/ -1 delta)) into (cos (/ -1 delta)) 32.787 * [backup-simplify]: Simplify (sin (/ -1 delta)) into (sin (/ -1 delta)) 32.787 * [taylor]: Taking taylor expansion of (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1)))))) in theta 32.787 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) in theta 32.787 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 phi1)) 2) in theta 32.787 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in theta 32.787 * [taylor]: Taking taylor expansion of (/ -1 phi1) in theta 32.787 * [taylor]: Taking taylor expansion of -1 in theta 32.787 * [backup-simplify]: Simplify -1 into -1 32.787 * [taylor]: Taking taylor expansion of phi1 in theta 32.787 * [backup-simplify]: Simplify phi1 into phi1 32.787 * [backup-simplify]: Simplify (/ -1 phi1) into (/ -1 phi1) 32.788 * [backup-simplify]: Simplify (sin (/ -1 phi1)) into (sin (/ -1 phi1)) 32.788 * [backup-simplify]: Simplify (cos (/ -1 phi1)) into (cos (/ -1 phi1)) 32.788 * [backup-simplify]: Simplify (* (sin (/ -1 phi1)) 1) into (sin (/ -1 phi1)) 32.788 * [backup-simplify]: Simplify (* (cos (/ -1 phi1)) 0) into 0 32.788 * [backup-simplify]: Simplify (+ (sin (/ -1 phi1)) 0) into (sin (/ -1 phi1)) 32.788 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in theta 32.788 * [taylor]: Taking taylor expansion of (/ -1 delta) in theta 32.788 * [taylor]: Taking taylor expansion of -1 in theta 32.788 * [backup-simplify]: Simplify -1 into -1 32.788 * [taylor]: Taking taylor expansion of delta in theta 32.788 * [backup-simplify]: Simplify delta into delta 32.788 * [backup-simplify]: Simplify (/ -1 delta) into (/ -1 delta) 32.788 * [backup-simplify]: Simplify (cos (/ -1 delta)) into (cos (/ -1 delta)) 32.788 * [backup-simplify]: Simplify (sin (/ -1 delta)) into (sin (/ -1 delta)) 32.788 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1))))) in theta 32.788 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in theta 32.788 * [taylor]: Taking taylor expansion of (/ -1 phi1) in theta 32.788 * [taylor]: Taking taylor expansion of -1 in theta 32.788 * [backup-simplify]: Simplify -1 into -1 32.788 * [taylor]: Taking taylor expansion of phi1 in theta 32.788 * [backup-simplify]: Simplify phi1 into phi1 32.788 * [backup-simplify]: Simplify (/ -1 phi1) into (/ -1 phi1) 32.788 * [backup-simplify]: Simplify (sin (/ -1 phi1)) into (sin (/ -1 phi1)) 32.789 * [backup-simplify]: Simplify (cos (/ -1 phi1)) into (cos (/ -1 phi1)) 32.789 * [taylor]: Taking taylor expansion of (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1)))) in theta 32.789 * [taylor]: Taking taylor expansion of (sin (/ -1 delta)) in theta 32.789 * [taylor]: Taking taylor expansion of (/ -1 delta) in theta 32.789 * [taylor]: Taking taylor expansion of -1 in theta 32.789 * [backup-simplify]: Simplify -1 into -1 32.789 * [taylor]: Taking taylor expansion of delta in theta 32.789 * [backup-simplify]: Simplify delta into delta 32.789 * [backup-simplify]: Simplify (/ -1 delta) into (/ -1 delta) 32.789 * [backup-simplify]: Simplify (sin (/ -1 delta)) into (sin (/ -1 delta)) 32.789 * [backup-simplify]: Simplify (cos (/ -1 delta)) into (cos (/ -1 delta)) 32.789 * [taylor]: Taking taylor expansion of (* (cos (/ -1 theta)) (cos (/ -1 phi1))) in theta 32.789 * [taylor]: Taking taylor expansion of (cos (/ -1 theta)) in theta 32.789 * [taylor]: Taking taylor expansion of (/ -1 theta) in theta 32.789 * [taylor]: Taking taylor expansion of -1 in theta 32.789 * [backup-simplify]: Simplify -1 into -1 32.789 * [taylor]: Taking taylor expansion of theta in theta 32.789 * [backup-simplify]: Simplify 0 into 0 32.789 * [backup-simplify]: Simplify 1 into 1 32.790 * [backup-simplify]: Simplify (/ -1 1) into -1 32.790 * [backup-simplify]: Simplify (cos (/ -1 theta)) into (cos (/ -1 theta)) 32.790 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in theta 32.790 * [taylor]: Taking taylor expansion of (/ -1 phi1) in theta 32.790 * [taylor]: Taking taylor expansion of -1 in theta 32.790 * [backup-simplify]: Simplify -1 into -1 32.790 * [taylor]: Taking taylor expansion of phi1 in theta 32.790 * [backup-simplify]: Simplify phi1 into phi1 32.790 * [backup-simplify]: Simplify (/ -1 phi1) into (/ -1 phi1) 32.790 * [backup-simplify]: Simplify (cos (/ -1 phi1)) into (cos (/ -1 phi1)) 32.790 * [backup-simplify]: Simplify (sin (/ -1 phi1)) into (sin (/ -1 phi1)) 32.790 * [taylor]: Taking taylor expansion of (- (cos (/ -1 delta)) (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1))))))) in phi1 32.790 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in phi1 32.790 * [taylor]: Taking taylor expansion of (/ -1 delta) in phi1 32.790 * [taylor]: Taking taylor expansion of -1 in phi1 32.790 * [backup-simplify]: Simplify -1 into -1 32.790 * [taylor]: Taking taylor expansion of delta in phi1 32.790 * [backup-simplify]: Simplify delta into delta 32.790 * [backup-simplify]: Simplify (/ -1 delta) into (/ -1 delta) 32.790 * [backup-simplify]: Simplify (cos (/ -1 delta)) into (cos (/ -1 delta)) 32.790 * [backup-simplify]: Simplify (sin (/ -1 delta)) into (sin (/ -1 delta)) 32.791 * [taylor]: Taking taylor expansion of (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1)))))) in phi1 32.791 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) in phi1 32.791 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 phi1)) 2) in phi1 32.791 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1 32.791 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 32.791 * [taylor]: Taking taylor expansion of -1 in phi1 32.791 * [backup-simplify]: Simplify -1 into -1 32.791 * [taylor]: Taking taylor expansion of phi1 in phi1 32.791 * [backup-simplify]: Simplify 0 into 0 32.791 * [backup-simplify]: Simplify 1 into 1 32.791 * [backup-simplify]: Simplify (/ -1 1) into -1 32.791 * [backup-simplify]: Simplify (sin (/ -1 phi1)) into (sin (/ -1 phi1)) 32.791 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in phi1 32.791 * [taylor]: Taking taylor expansion of (/ -1 delta) in phi1 32.791 * [taylor]: Taking taylor expansion of -1 in phi1 32.791 * [backup-simplify]: Simplify -1 into -1 32.791 * [taylor]: Taking taylor expansion of delta in phi1 32.791 * [backup-simplify]: Simplify delta into delta 32.791 * [backup-simplify]: Simplify (/ -1 delta) into (/ -1 delta) 32.792 * [backup-simplify]: Simplify (cos (/ -1 delta)) into (cos (/ -1 delta)) 32.792 * [backup-simplify]: Simplify (sin (/ -1 delta)) into (sin (/ -1 delta)) 32.792 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1))))) in phi1 32.792 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1 32.792 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 32.792 * [taylor]: Taking taylor expansion of -1 in phi1 32.792 * [backup-simplify]: Simplify -1 into -1 32.792 * [taylor]: Taking taylor expansion of phi1 in phi1 32.792 * [backup-simplify]: Simplify 0 into 0 32.792 * [backup-simplify]: Simplify 1 into 1 32.792 * [backup-simplify]: Simplify (/ -1 1) into -1 32.792 * [backup-simplify]: Simplify (sin (/ -1 phi1)) into (sin (/ -1 phi1)) 32.792 * [taylor]: Taking taylor expansion of (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1)))) in phi1 32.792 * [taylor]: Taking taylor expansion of (sin (/ -1 delta)) in phi1 32.792 * [taylor]: Taking taylor expansion of (/ -1 delta) in phi1 32.792 * [taylor]: Taking taylor expansion of -1 in phi1 32.792 * [backup-simplify]: Simplify -1 into -1 32.792 * [taylor]: Taking taylor expansion of delta in phi1 32.792 * [backup-simplify]: Simplify delta into delta 32.793 * [backup-simplify]: Simplify (/ -1 delta) into (/ -1 delta) 32.793 * [backup-simplify]: Simplify (sin (/ -1 delta)) into (sin (/ -1 delta)) 32.793 * [backup-simplify]: Simplify (cos (/ -1 delta)) into (cos (/ -1 delta)) 32.793 * [taylor]: Taking taylor expansion of (* (cos (/ -1 theta)) (cos (/ -1 phi1))) in phi1 32.793 * [taylor]: Taking taylor expansion of (cos (/ -1 theta)) in phi1 32.793 * [taylor]: Taking taylor expansion of (/ -1 theta) in phi1 32.793 * [taylor]: Taking taylor expansion of -1 in phi1 32.793 * [backup-simplify]: Simplify -1 into -1 32.793 * [taylor]: Taking taylor expansion of theta in phi1 32.793 * [backup-simplify]: Simplify theta into theta 32.793 * [backup-simplify]: Simplify (/ -1 theta) into (/ -1 theta) 32.793 * [backup-simplify]: Simplify (cos (/ -1 theta)) into (cos (/ -1 theta)) 32.793 * [backup-simplify]: Simplify (sin (/ -1 theta)) into (sin (/ -1 theta)) 32.793 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in phi1 32.793 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 32.793 * [taylor]: Taking taylor expansion of -1 in phi1 32.793 * [backup-simplify]: Simplify -1 into -1 32.793 * [taylor]: Taking taylor expansion of phi1 in phi1 32.793 * [backup-simplify]: Simplify 0 into 0 32.793 * [backup-simplify]: Simplify 1 into 1 32.794 * [backup-simplify]: Simplify (/ -1 1) into -1 32.794 * [backup-simplify]: Simplify (cos (/ -1 phi1)) into (cos (/ -1 phi1)) 32.794 * [taylor]: Taking taylor expansion of (- (cos (/ -1 delta)) (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1))))))) in delta 32.794 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in delta 32.794 * [taylor]: Taking taylor expansion of (/ -1 delta) in delta 32.794 * [taylor]: Taking taylor expansion of -1 in delta 32.794 * [backup-simplify]: Simplify -1 into -1 32.794 * [taylor]: Taking taylor expansion of delta in delta 32.794 * [backup-simplify]: Simplify 0 into 0 32.794 * [backup-simplify]: Simplify 1 into 1 32.794 * [backup-simplify]: Simplify (/ -1 1) into -1 32.794 * [backup-simplify]: Simplify (cos (/ -1 delta)) into (cos (/ -1 delta)) 32.794 * [taylor]: Taking taylor expansion of (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1)))))) in delta 32.794 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) in delta 32.794 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 phi1)) 2) in delta 32.795 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in delta 32.795 * [taylor]: Taking taylor expansion of (/ -1 phi1) in delta 32.795 * [taylor]: Taking taylor expansion of -1 in delta 32.795 * [backup-simplify]: Simplify -1 into -1 32.795 * [taylor]: Taking taylor expansion of phi1 in delta 32.795 * [backup-simplify]: Simplify phi1 into phi1 32.795 * [backup-simplify]: Simplify (/ -1 phi1) into (/ -1 phi1) 32.795 * [backup-simplify]: Simplify (sin (/ -1 phi1)) into (sin (/ -1 phi1)) 32.795 * [backup-simplify]: Simplify (cos (/ -1 phi1)) into (cos (/ -1 phi1)) 32.795 * [backup-simplify]: Simplify (* (sin (/ -1 phi1)) 1) into (sin (/ -1 phi1)) 32.795 * [backup-simplify]: Simplify (* (cos (/ -1 phi1)) 0) into 0 32.795 * [backup-simplify]: Simplify (+ (sin (/ -1 phi1)) 0) into (sin (/ -1 phi1)) 32.795 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in delta 32.795 * [taylor]: Taking taylor expansion of (/ -1 delta) in delta 32.795 * [taylor]: Taking taylor expansion of -1 in delta 32.795 * [backup-simplify]: Simplify -1 into -1 32.795 * [taylor]: Taking taylor expansion of delta in delta 32.795 * [backup-simplify]: Simplify 0 into 0 32.795 * [backup-simplify]: Simplify 1 into 1 32.796 * [backup-simplify]: Simplify (/ -1 1) into -1 32.796 * [backup-simplify]: Simplify (cos (/ -1 delta)) into (cos (/ -1 delta)) 32.796 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1))))) in delta 32.796 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in delta 32.796 * [taylor]: Taking taylor expansion of (/ -1 phi1) in delta 32.796 * [taylor]: Taking taylor expansion of -1 in delta 32.796 * [backup-simplify]: Simplify -1 into -1 32.796 * [taylor]: Taking taylor expansion of phi1 in delta 32.796 * [backup-simplify]: Simplify phi1 into phi1 32.796 * [backup-simplify]: Simplify (/ -1 phi1) into (/ -1 phi1) 32.796 * [backup-simplify]: Simplify (sin (/ -1 phi1)) into (sin (/ -1 phi1)) 32.796 * [backup-simplify]: Simplify (cos (/ -1 phi1)) into (cos (/ -1 phi1)) 32.796 * [taylor]: Taking taylor expansion of (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1)))) in delta 32.796 * [taylor]: Taking taylor expansion of (sin (/ -1 delta)) in delta 32.796 * [taylor]: Taking taylor expansion of (/ -1 delta) in delta 32.796 * [taylor]: Taking taylor expansion of -1 in delta 32.796 * [backup-simplify]: Simplify -1 into -1 32.796 * [taylor]: Taking taylor expansion of delta in delta 32.796 * [backup-simplify]: Simplify 0 into 0 32.796 * [backup-simplify]: Simplify 1 into 1 32.797 * [backup-simplify]: Simplify (/ -1 1) into -1 32.797 * [backup-simplify]: Simplify (sin (/ -1 delta)) into (sin (/ -1 delta)) 32.797 * [taylor]: Taking taylor expansion of (* (cos (/ -1 theta)) (cos (/ -1 phi1))) in delta 32.797 * [taylor]: Taking taylor expansion of (cos (/ -1 theta)) in delta 32.797 * [taylor]: Taking taylor expansion of (/ -1 theta) in delta 32.797 * [taylor]: Taking taylor expansion of -1 in delta 32.797 * [backup-simplify]: Simplify -1 into -1 32.797 * [taylor]: Taking taylor expansion of theta in delta 32.797 * [backup-simplify]: Simplify theta into theta 32.797 * [backup-simplify]: Simplify (/ -1 theta) into (/ -1 theta) 32.797 * [backup-simplify]: Simplify (cos (/ -1 theta)) into (cos (/ -1 theta)) 32.797 * [backup-simplify]: Simplify (sin (/ -1 theta)) into (sin (/ -1 theta)) 32.797 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in delta 32.797 * [taylor]: Taking taylor expansion of (/ -1 phi1) in delta 32.797 * [taylor]: Taking taylor expansion of -1 in delta 32.798 * [backup-simplify]: Simplify -1 into -1 32.798 * [taylor]: Taking taylor expansion of phi1 in delta 32.798 * [backup-simplify]: Simplify phi1 into phi1 32.798 * [backup-simplify]: Simplify (/ -1 phi1) into (/ -1 phi1) 32.798 * [backup-simplify]: Simplify (cos (/ -1 phi1)) into (cos (/ -1 phi1)) 32.798 * [backup-simplify]: Simplify (sin (/ -1 phi1)) into (sin (/ -1 phi1)) 32.798 * [taylor]: Taking taylor expansion of (- (cos (/ -1 delta)) (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1))))))) in delta 32.798 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in delta 32.798 * [taylor]: Taking taylor expansion of (/ -1 delta) in delta 32.798 * [taylor]: Taking taylor expansion of -1 in delta 32.798 * [backup-simplify]: Simplify -1 into -1 32.798 * [taylor]: Taking taylor expansion of delta in delta 32.798 * [backup-simplify]: Simplify 0 into 0 32.798 * [backup-simplify]: Simplify 1 into 1 32.798 * [backup-simplify]: Simplify (/ -1 1) into -1 32.798 * [backup-simplify]: Simplify (cos (/ -1 delta)) into (cos (/ -1 delta)) 32.799 * [taylor]: Taking taylor expansion of (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1)))))) in delta 32.799 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) in delta 32.799 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 phi1)) 2) in delta 32.799 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in delta 32.799 * [taylor]: Taking taylor expansion of (/ -1 phi1) in delta 32.799 * [taylor]: Taking taylor expansion of -1 in delta 32.799 * [backup-simplify]: Simplify -1 into -1 32.799 * [taylor]: Taking taylor expansion of phi1 in delta 32.799 * [backup-simplify]: Simplify phi1 into phi1 32.799 * [backup-simplify]: Simplify (/ -1 phi1) into (/ -1 phi1) 32.799 * [backup-simplify]: Simplify (sin (/ -1 phi1)) into (sin (/ -1 phi1)) 32.799 * [backup-simplify]: Simplify (cos (/ -1 phi1)) into (cos (/ -1 phi1)) 32.799 * [backup-simplify]: Simplify (* (sin (/ -1 phi1)) 1) into (sin (/ -1 phi1)) 32.799 * [backup-simplify]: Simplify (* (cos (/ -1 phi1)) 0) into 0 32.799 * [backup-simplify]: Simplify (+ (sin (/ -1 phi1)) 0) into (sin (/ -1 phi1)) 32.799 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in delta 32.799 * [taylor]: Taking taylor expansion of (/ -1 delta) in delta 32.799 * [taylor]: Taking taylor expansion of -1 in delta 32.799 * [backup-simplify]: Simplify -1 into -1 32.799 * [taylor]: Taking taylor expansion of delta in delta 32.799 * [backup-simplify]: Simplify 0 into 0 32.799 * [backup-simplify]: Simplify 1 into 1 32.800 * [backup-simplify]: Simplify (/ -1 1) into -1 32.800 * [backup-simplify]: Simplify (cos (/ -1 delta)) into (cos (/ -1 delta)) 32.800 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1))))) in delta 32.800 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in delta 32.800 * [taylor]: Taking taylor expansion of (/ -1 phi1) in delta 32.800 * [taylor]: Taking taylor expansion of -1 in delta 32.800 * [backup-simplify]: Simplify -1 into -1 32.800 * [taylor]: Taking taylor expansion of phi1 in delta 32.800 * [backup-simplify]: Simplify phi1 into phi1 32.800 * [backup-simplify]: Simplify (/ -1 phi1) into (/ -1 phi1) 32.800 * [backup-simplify]: Simplify (sin (/ -1 phi1)) into (sin (/ -1 phi1)) 32.800 * [backup-simplify]: Simplify (cos (/ -1 phi1)) into (cos (/ -1 phi1)) 32.800 * [taylor]: Taking taylor expansion of (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1)))) in delta 32.800 * [taylor]: Taking taylor expansion of (sin (/ -1 delta)) in delta 32.800 * [taylor]: Taking taylor expansion of (/ -1 delta) in delta 32.800 * [taylor]: Taking taylor expansion of -1 in delta 32.800 * [backup-simplify]: Simplify -1 into -1 32.800 * [taylor]: Taking taylor expansion of delta in delta 32.800 * [backup-simplify]: Simplify 0 into 0 32.800 * [backup-simplify]: Simplify 1 into 1 32.801 * [backup-simplify]: Simplify (/ -1 1) into -1 32.801 * [backup-simplify]: Simplify (sin (/ -1 delta)) into (sin (/ -1 delta)) 32.801 * [taylor]: Taking taylor expansion of (* (cos (/ -1 theta)) (cos (/ -1 phi1))) in delta 32.801 * [taylor]: Taking taylor expansion of (cos (/ -1 theta)) in delta 32.801 * [taylor]: Taking taylor expansion of (/ -1 theta) in delta 32.801 * [taylor]: Taking taylor expansion of -1 in delta 32.801 * [backup-simplify]: Simplify -1 into -1 32.801 * [taylor]: Taking taylor expansion of theta in delta 32.801 * [backup-simplify]: Simplify theta into theta 32.801 * [backup-simplify]: Simplify (/ -1 theta) into (/ -1 theta) 32.801 * [backup-simplify]: Simplify (cos (/ -1 theta)) into (cos (/ -1 theta)) 32.801 * [backup-simplify]: Simplify (sin (/ -1 theta)) into (sin (/ -1 theta)) 32.801 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in delta 32.801 * [taylor]: Taking taylor expansion of (/ -1 phi1) in delta 32.801 * [taylor]: Taking taylor expansion of -1 in delta 32.801 * [backup-simplify]: Simplify -1 into -1 32.801 * [taylor]: Taking taylor expansion of phi1 in delta 32.801 * [backup-simplify]: Simplify phi1 into phi1 32.801 * [backup-simplify]: Simplify (/ -1 phi1) into (/ -1 phi1) 32.802 * [backup-simplify]: Simplify (cos (/ -1 phi1)) into (cos (/ -1 phi1)) 32.802 * [backup-simplify]: Simplify (sin (/ -1 phi1)) into (sin (/ -1 phi1)) 32.802 * [backup-simplify]: Simplify (* (sin (/ -1 phi1)) (sin (/ -1 phi1))) into (pow (sin (/ -1 phi1)) 2) 32.802 * [backup-simplify]: Simplify (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) into (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) 32.802 * [backup-simplify]: Simplify (* (sin (/ -1 phi1)) 1) into (sin (/ -1 phi1)) 32.802 * [backup-simplify]: Simplify (* (cos (/ -1 phi1)) 0) into 0 32.802 * [backup-simplify]: Simplify (+ (sin (/ -1 phi1)) 0) into (sin (/ -1 phi1)) 32.802 * [backup-simplify]: Simplify (* (cos (/ -1 theta)) 1) into (cos (/ -1 theta)) 32.802 * [backup-simplify]: Simplify (* (sin (/ -1 theta)) 0) into 0 32.803 * [backup-simplify]: Simplify (- 0) into 0 32.803 * [backup-simplify]: Simplify (+ (cos (/ -1 theta)) 0) into (cos (/ -1 theta)) 32.803 * [backup-simplify]: Simplify (* (cos (/ -1 phi1)) 1) into (cos (/ -1 phi1)) 32.803 * [backup-simplify]: Simplify (* (sin (/ -1 phi1)) 0) into 0 32.804 * [backup-simplify]: Simplify (- 0) into 0 32.804 * [backup-simplify]: Simplify (+ (cos (/ -1 phi1)) 0) into (cos (/ -1 phi1)) 32.804 * [backup-simplify]: Simplify (* (cos (/ -1 theta)) (cos (/ -1 phi1))) into (* (cos (/ -1 phi1)) (cos (/ -1 theta))) 32.804 * [backup-simplify]: Simplify (* (sin (/ -1 delta)) (* (cos (/ -1 phi1)) (cos (/ -1 theta)))) into (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))) 32.804 * [backup-simplify]: Simplify (* (sin (/ -1 phi1)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) into (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1))))) 32.805 * [backup-simplify]: Simplify (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1)))))) into (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1)))))) 32.805 * [backup-simplify]: Simplify (- (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1))))))) into (- (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1))))))) 32.806 * [backup-simplify]: Simplify (+ (cos (/ -1 delta)) (- (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1)))))))) into (- (cos (/ -1 delta)) (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1))))))) 32.806 * [taylor]: Taking taylor expansion of (- (cos (/ -1 delta)) (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1))))))) in phi1 32.806 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in phi1 32.806 * [taylor]: Taking taylor expansion of (/ -1 delta) in phi1 32.806 * [taylor]: Taking taylor expansion of -1 in phi1 32.806 * [backup-simplify]: Simplify -1 into -1 32.806 * [taylor]: Taking taylor expansion of delta in phi1 32.806 * [backup-simplify]: Simplify delta into delta 32.806 * [backup-simplify]: Simplify (/ -1 delta) into (/ -1 delta) 32.807 * [backup-simplify]: Simplify (cos (/ -1 delta)) into (cos (/ -1 delta)) 32.807 * [backup-simplify]: Simplify (sin (/ -1 delta)) into (sin (/ -1 delta)) 32.807 * [taylor]: Taking taylor expansion of (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1)))))) in phi1 32.807 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) in phi1 32.807 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 phi1)) 2) in phi1 32.807 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1 32.807 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 32.807 * [taylor]: Taking taylor expansion of -1 in phi1 32.807 * [backup-simplify]: Simplify -1 into -1 32.807 * [taylor]: Taking taylor expansion of phi1 in phi1 32.807 * [backup-simplify]: Simplify 0 into 0 32.807 * [backup-simplify]: Simplify 1 into 1 32.807 * [backup-simplify]: Simplify (/ -1 1) into -1 32.807 * [backup-simplify]: Simplify (sin (/ -1 phi1)) into (sin (/ -1 phi1)) 32.808 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in phi1 32.808 * [taylor]: Taking taylor expansion of (/ -1 delta) in phi1 32.808 * [taylor]: Taking taylor expansion of -1 in phi1 32.808 * [backup-simplify]: Simplify -1 into -1 32.808 * [taylor]: Taking taylor expansion of delta in phi1 32.808 * [backup-simplify]: Simplify delta into delta 32.808 * [backup-simplify]: Simplify (/ -1 delta) into (/ -1 delta) 32.808 * [backup-simplify]: Simplify (cos (/ -1 delta)) into (cos (/ -1 delta)) 32.808 * [backup-simplify]: Simplify (sin (/ -1 delta)) into (sin (/ -1 delta)) 32.808 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1))))) in phi1 32.808 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1 32.808 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 32.808 * [taylor]: Taking taylor expansion of -1 in phi1 32.808 * [backup-simplify]: Simplify -1 into -1 32.808 * [taylor]: Taking taylor expansion of phi1 in phi1 32.808 * [backup-simplify]: Simplify 0 into 0 32.808 * [backup-simplify]: Simplify 1 into 1 32.808 * [backup-simplify]: Simplify (/ -1 1) into -1 32.809 * [backup-simplify]: Simplify (sin (/ -1 phi1)) into (sin (/ -1 phi1)) 32.809 * [taylor]: Taking taylor expansion of (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1)))) in phi1 32.809 * [taylor]: Taking taylor expansion of (sin (/ -1 delta)) in phi1 32.809 * [taylor]: Taking taylor expansion of (/ -1 delta) in phi1 32.809 * [taylor]: Taking taylor expansion of -1 in phi1 32.809 * [backup-simplify]: Simplify -1 into -1 32.809 * [taylor]: Taking taylor expansion of delta in phi1 32.809 * [backup-simplify]: Simplify delta into delta 32.809 * [backup-simplify]: Simplify (/ -1 delta) into (/ -1 delta) 32.809 * [backup-simplify]: Simplify (sin (/ -1 delta)) into (sin (/ -1 delta)) 32.809 * [backup-simplify]: Simplify (cos (/ -1 delta)) into (cos (/ -1 delta)) 32.809 * [taylor]: Taking taylor expansion of (* (cos (/ -1 theta)) (cos (/ -1 phi1))) in phi1 32.809 * [taylor]: Taking taylor expansion of (cos (/ -1 theta)) in phi1 32.809 * [taylor]: Taking taylor expansion of (/ -1 theta) in phi1 32.809 * [taylor]: Taking taylor expansion of -1 in phi1 32.809 * [backup-simplify]: Simplify -1 into -1 32.809 * [taylor]: Taking taylor expansion of theta in phi1 32.809 * [backup-simplify]: Simplify theta into theta 32.809 * [backup-simplify]: Simplify (/ -1 theta) into (/ -1 theta) 32.809 * [backup-simplify]: Simplify (cos (/ -1 theta)) into (cos (/ -1 theta)) 32.809 * [backup-simplify]: Simplify (sin (/ -1 theta)) into (sin (/ -1 theta)) 32.809 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in phi1 32.809 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 32.809 * [taylor]: Taking taylor expansion of -1 in phi1 32.809 * [backup-simplify]: Simplify -1 into -1 32.809 * [taylor]: Taking taylor expansion of phi1 in phi1 32.809 * [backup-simplify]: Simplify 0 into 0 32.809 * [backup-simplify]: Simplify 1 into 1 32.810 * [backup-simplify]: Simplify (/ -1 1) into -1 32.810 * [backup-simplify]: Simplify (cos (/ -1 phi1)) into (cos (/ -1 phi1)) 32.810 * [backup-simplify]: Simplify (* (cos (/ -1 delta)) 1) into (cos (/ -1 delta)) 32.810 * [backup-simplify]: Simplify (* (sin (/ -1 delta)) 0) into 0 32.811 * [backup-simplify]: Simplify (- 0) into 0 32.811 * [backup-simplify]: Simplify (+ (cos (/ -1 delta)) 0) into (cos (/ -1 delta)) 32.811 * [backup-simplify]: Simplify (* (sin (/ -1 phi1)) (sin (/ -1 phi1))) into (pow (sin (/ -1 phi1)) 2) 32.811 * [backup-simplify]: Simplify (* (cos (/ -1 delta)) 1) into (cos (/ -1 delta)) 32.811 * [backup-simplify]: Simplify (* (sin (/ -1 delta)) 0) into 0 32.811 * [backup-simplify]: Simplify (- 0) into 0 32.811 * [backup-simplify]: Simplify (+ (cos (/ -1 delta)) 0) into (cos (/ -1 delta)) 32.812 * [backup-simplify]: Simplify (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) into (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) 32.812 * [backup-simplify]: Simplify (* (sin (/ -1 delta)) 1) into (sin (/ -1 delta)) 32.812 * [backup-simplify]: Simplify (* (cos (/ -1 delta)) 0) into 0 32.812 * [backup-simplify]: Simplify (+ (sin (/ -1 delta)) 0) into (sin (/ -1 delta)) 32.812 * [backup-simplify]: Simplify (* (cos (/ -1 theta)) 1) into (cos (/ -1 theta)) 32.812 * [backup-simplify]: Simplify (* (sin (/ -1 theta)) 0) into 0 32.812 * [backup-simplify]: Simplify (- 0) into 0 32.812 * [backup-simplify]: Simplify (+ (cos (/ -1 theta)) 0) into (cos (/ -1 theta)) 32.813 * [backup-simplify]: Simplify (* (cos (/ -1 theta)) (cos (/ -1 phi1))) into (* (cos (/ -1 phi1)) (cos (/ -1 theta))) 32.813 * [backup-simplify]: Simplify (* (sin (/ -1 delta)) (* (cos (/ -1 phi1)) (cos (/ -1 theta)))) into (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))) 32.813 * [backup-simplify]: Simplify (* (sin (/ -1 phi1)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) into (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1))))) 32.813 * [backup-simplify]: Simplify (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1)))))) into (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1)))))) 32.814 * [backup-simplify]: Simplify (- (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1))))))) into (- (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1))))))) 32.815 * [backup-simplify]: Simplify (+ (cos (/ -1 delta)) (- (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1)))))))) into (- (cos (/ -1 delta)) (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1))))))) 32.815 * [taylor]: Taking taylor expansion of (- (cos (/ -1 delta)) (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1))))))) in theta 32.815 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in theta 32.815 * [taylor]: Taking taylor expansion of (/ -1 delta) in theta 32.815 * [taylor]: Taking taylor expansion of -1 in theta 32.815 * [backup-simplify]: Simplify -1 into -1 32.815 * [taylor]: Taking taylor expansion of delta in theta 32.815 * [backup-simplify]: Simplify delta into delta 32.815 * [backup-simplify]: Simplify (/ -1 delta) into (/ -1 delta) 32.815 * [backup-simplify]: Simplify (cos (/ -1 delta)) into (cos (/ -1 delta)) 32.815 * [backup-simplify]: Simplify (sin (/ -1 delta)) into (sin (/ -1 delta)) 32.815 * [taylor]: Taking taylor expansion of (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1)))))) in theta 32.815 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) in theta 32.815 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 phi1)) 2) in theta 32.815 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in theta 32.815 * [taylor]: Taking taylor expansion of (/ -1 phi1) in theta 32.815 * [taylor]: Taking taylor expansion of -1 in theta 32.815 * [backup-simplify]: Simplify -1 into -1 32.815 * [taylor]: Taking taylor expansion of phi1 in theta 32.815 * [backup-simplify]: Simplify phi1 into phi1 32.815 * [backup-simplify]: Simplify (/ -1 phi1) into (/ -1 phi1) 32.815 * [backup-simplify]: Simplify (sin (/ -1 phi1)) into (sin (/ -1 phi1)) 32.815 * [backup-simplify]: Simplify (cos (/ -1 phi1)) into (cos (/ -1 phi1)) 32.816 * [backup-simplify]: Simplify (* (sin (/ -1 phi1)) 1) into (sin (/ -1 phi1)) 32.816 * [backup-simplify]: Simplify (* (cos (/ -1 phi1)) 0) into 0 32.816 * [backup-simplify]: Simplify (+ (sin (/ -1 phi1)) 0) into (sin (/ -1 phi1)) 32.816 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in theta 32.816 * [taylor]: Taking taylor expansion of (/ -1 delta) in theta 32.816 * [taylor]: Taking taylor expansion of -1 in theta 32.816 * [backup-simplify]: Simplify -1 into -1 32.816 * [taylor]: Taking taylor expansion of delta in theta 32.816 * [backup-simplify]: Simplify delta into delta 32.816 * [backup-simplify]: Simplify (/ -1 delta) into (/ -1 delta) 32.816 * [backup-simplify]: Simplify (cos (/ -1 delta)) into (cos (/ -1 delta)) 32.816 * [backup-simplify]: Simplify (sin (/ -1 delta)) into (sin (/ -1 delta)) 32.816 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1))))) in theta 32.816 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in theta 32.816 * [taylor]: Taking taylor expansion of (/ -1 phi1) in theta 32.816 * [taylor]: Taking taylor expansion of -1 in theta 32.816 * [backup-simplify]: Simplify -1 into -1 32.816 * [taylor]: Taking taylor expansion of phi1 in theta 32.816 * [backup-simplify]: Simplify phi1 into phi1 32.817 * [backup-simplify]: Simplify (/ -1 phi1) into (/ -1 phi1) 32.817 * [backup-simplify]: Simplify (sin (/ -1 phi1)) into (sin (/ -1 phi1)) 32.817 * [backup-simplify]: Simplify (cos (/ -1 phi1)) into (cos (/ -1 phi1)) 32.817 * [taylor]: Taking taylor expansion of (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1)))) in theta 32.817 * [taylor]: Taking taylor expansion of (sin (/ -1 delta)) in theta 32.817 * [taylor]: Taking taylor expansion of (/ -1 delta) in theta 32.817 * [taylor]: Taking taylor expansion of -1 in theta 32.817 * [backup-simplify]: Simplify -1 into -1 32.817 * [taylor]: Taking taylor expansion of delta in theta 32.817 * [backup-simplify]: Simplify delta into delta 32.817 * [backup-simplify]: Simplify (/ -1 delta) into (/ -1 delta) 32.817 * [backup-simplify]: Simplify (sin (/ -1 delta)) into (sin (/ -1 delta)) 32.817 * [backup-simplify]: Simplify (cos (/ -1 delta)) into (cos (/ -1 delta)) 32.817 * [taylor]: Taking taylor expansion of (* (cos (/ -1 theta)) (cos (/ -1 phi1))) in theta 32.817 * [taylor]: Taking taylor expansion of (cos (/ -1 theta)) in theta 32.817 * [taylor]: Taking taylor expansion of (/ -1 theta) in theta 32.817 * [taylor]: Taking taylor expansion of -1 in theta 32.817 * [backup-simplify]: Simplify -1 into -1 32.817 * [taylor]: Taking taylor expansion of theta in theta 32.817 * [backup-simplify]: Simplify 0 into 0 32.817 * [backup-simplify]: Simplify 1 into 1 32.818 * [backup-simplify]: Simplify (/ -1 1) into -1 32.818 * [backup-simplify]: Simplify (cos (/ -1 theta)) into (cos (/ -1 theta)) 32.818 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in theta 32.818 * [taylor]: Taking taylor expansion of (/ -1 phi1) in theta 32.818 * [taylor]: Taking taylor expansion of -1 in theta 32.818 * [backup-simplify]: Simplify -1 into -1 32.818 * [taylor]: Taking taylor expansion of phi1 in theta 32.818 * [backup-simplify]: Simplify phi1 into phi1 32.818 * [backup-simplify]: Simplify (/ -1 phi1) into (/ -1 phi1) 32.818 * [backup-simplify]: Simplify (cos (/ -1 phi1)) into (cos (/ -1 phi1)) 32.818 * [backup-simplify]: Simplify (sin (/ -1 phi1)) into (sin (/ -1 phi1)) 32.818 * [backup-simplify]: Simplify (* (cos (/ -1 delta)) 1) into (cos (/ -1 delta)) 32.818 * [backup-simplify]: Simplify (* (sin (/ -1 delta)) 0) into 0 32.819 * [backup-simplify]: Simplify (- 0) into 0 32.819 * [backup-simplify]: Simplify (+ (cos (/ -1 delta)) 0) into (cos (/ -1 delta)) 32.819 * [backup-simplify]: Simplify (* (sin (/ -1 phi1)) (sin (/ -1 phi1))) into (pow (sin (/ -1 phi1)) 2) 32.819 * [backup-simplify]: Simplify (* (cos (/ -1 delta)) 1) into (cos (/ -1 delta)) 32.819 * [backup-simplify]: Simplify (* (sin (/ -1 delta)) 0) into 0 32.820 * [backup-simplify]: Simplify (- 0) into 0 32.820 * [backup-simplify]: Simplify (+ (cos (/ -1 delta)) 0) into (cos (/ -1 delta)) 32.820 * [backup-simplify]: Simplify (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) into (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) 32.820 * [backup-simplify]: Simplify (* (sin (/ -1 phi1)) 1) into (sin (/ -1 phi1)) 32.820 * [backup-simplify]: Simplify (* (cos (/ -1 phi1)) 0) into 0 32.820 * [backup-simplify]: Simplify (+ (sin (/ -1 phi1)) 0) into (sin (/ -1 phi1)) 32.820 * [backup-simplify]: Simplify (* (sin (/ -1 delta)) 1) into (sin (/ -1 delta)) 32.820 * [backup-simplify]: Simplify (* (cos (/ -1 delta)) 0) into 0 32.821 * [backup-simplify]: Simplify (+ (sin (/ -1 delta)) 0) into (sin (/ -1 delta)) 32.821 * [backup-simplify]: Simplify (* (cos (/ -1 phi1)) 1) into (cos (/ -1 phi1)) 32.821 * [backup-simplify]: Simplify (* (sin (/ -1 phi1)) 0) into 0 32.821 * [backup-simplify]: Simplify (- 0) into 0 32.821 * [backup-simplify]: Simplify (+ (cos (/ -1 phi1)) 0) into (cos (/ -1 phi1)) 32.821 * [backup-simplify]: Simplify (* (cos (/ -1 theta)) (cos (/ -1 phi1))) into (* (cos (/ -1 phi1)) (cos (/ -1 theta))) 32.821 * [backup-simplify]: Simplify (* (sin (/ -1 delta)) (* (cos (/ -1 phi1)) (cos (/ -1 theta)))) into (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))) 32.822 * [backup-simplify]: Simplify (* (sin (/ -1 phi1)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) into (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1))))) 32.822 * [backup-simplify]: Simplify (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1)))))) into (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1)))))) 32.823 * [backup-simplify]: Simplify (- (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1))))))) into (- (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1))))))) 32.824 * [backup-simplify]: Simplify (+ (cos (/ -1 delta)) (- (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1)))))))) into (- (cos (/ -1 delta)) (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1))))))) 32.824 * [backup-simplify]: Simplify (- (cos (/ -1 delta)) (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1))))))) into (- (cos (/ -1 delta)) (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (sin (/ -1 delta)) (* (cos (/ -1 theta)) (cos (/ -1 phi1))))))) 32.825 * [backup-simplify]: Simplify (+ 0) into 0 32.826 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi1)) 0) (* 0 1)) into 0 32.826 * [backup-simplify]: Simplify (- (/ 0 phi1) (+ (* (/ -1 phi1) (/ 0 phi1)))) into 0 32.827 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.827 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi1)) 0) (* 0 0)) into 0 32.827 * [backup-simplify]: Simplify (+ 0 0) into 0 32.828 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi1)) 0) (* 0 (sin (/ -1 phi1)))) into 0 32.828 * [backup-simplify]: Simplify (+ (* (pow (sin (/ -1 phi1)) 2) 0) (* 0 (cos (/ -1 delta)))) into 0 32.828 * [backup-simplify]: Simplify (+ 0) into 0 32.829 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi1)) 0) (* 0 1)) into 0 32.829 * [backup-simplify]: Simplify (- (/ 0 phi1) (+ (* (/ -1 phi1) (/ 0 phi1)))) into 0 32.830 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.831 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi1)) 0) (* 0 0)) into 0 32.831 * [backup-simplify]: Simplify (- 0) into 0 32.831 * [backup-simplify]: Simplify (+ 0 0) into 0 32.832 * [backup-simplify]: Simplify (+ 0) into 0 32.832 * [backup-simplify]: Simplify (+ (* (cos (/ -1 theta)) 0) (* 0 1)) into 0 32.832 * [backup-simplify]: Simplify (- (/ 0 theta) (+ (* (/ -1 theta) (/ 0 theta)))) into 0 32.833 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.834 * [backup-simplify]: Simplify (+ (* (sin (/ -1 theta)) 0) (* 0 0)) into 0 32.834 * [backup-simplify]: Simplify (- 0) into 0 32.834 * [backup-simplify]: Simplify (+ 0 0) into 0 32.835 * [backup-simplify]: Simplify (+ (* (cos (/ -1 theta)) 0) (* 0 (cos (/ -1 phi1)))) into 0 32.835 * [backup-simplify]: Simplify (+ (* (sin (/ -1 delta)) 0) (* 0 (* (cos (/ -1 phi1)) (cos (/ -1 theta))))) into 0 32.838 * [backup-simplify]: Simplify (+ 0) into 0 32.838 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi1)) 0) (* 0 1)) into 0 32.839 * [backup-simplify]: Simplify (- (/ 0 phi1) (+ (* (/ -1 phi1) (/ 0 phi1)))) into 0 32.839 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.840 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi1)) 0) (* 0 0)) into 0 32.840 * [backup-simplify]: Simplify (+ 0 0) into 0 32.841 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi1)) 0) (* 0 (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) into 0 32.841 * [backup-simplify]: Simplify (+ 0 0) into 0 32.841 * [backup-simplify]: Simplify (- 0) into 0 32.842 * [backup-simplify]: Simplify (+ 0 0) into 0 32.842 * [taylor]: Taking taylor expansion of 0 in phi1 32.842 * [backup-simplify]: Simplify 0 into 0 32.842 * [taylor]: Taking taylor expansion of 0 in theta 32.842 * [backup-simplify]: Simplify 0 into 0 32.842 * [backup-simplify]: Simplify 0 into 0 32.842 * [backup-simplify]: Simplify (+ 0) into 0 32.843 * [backup-simplify]: Simplify (+ (* (cos (/ -1 delta)) 0) (* 0 1)) into 0 32.843 * [backup-simplify]: Simplify (- (/ 0 delta) (+ (* (/ -1 delta) (/ 0 delta)))) into 0 32.844 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.844 * [backup-simplify]: Simplify (+ (* (sin (/ -1 delta)) 0) (* 0 0)) into 0 32.845 * [backup-simplify]: Simplify (- 0) into 0 32.845 * [backup-simplify]: Simplify (+ 0 0) into 0 32.845 * [backup-simplify]: Simplify (+ 0) into 0 32.846 * [backup-simplify]: Simplify (+ (* (cos (/ -1 delta)) 0) (* 0 1)) into 0 32.846 * [backup-simplify]: Simplify (- (/ 0 delta) (+ (* (/ -1 delta) (/ 0 delta)))) into 0 32.847 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.847 * [backup-simplify]: Simplify (+ (* (sin (/ -1 delta)) 0) (* 0 0)) into 0 32.848 * [backup-simplify]: Simplify (- 0) into 0 32.848 * [backup-simplify]: Simplify (+ 0 0) into 0 32.848 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi1)) 0) (* 0 (sin (/ -1 phi1)))) into 0 32.848 * [backup-simplify]: Simplify (+ (* (pow (sin (/ -1 phi1)) 2) 0) (* 0 (cos (/ -1 delta)))) into 0 32.849 * [backup-simplify]: Simplify (+ 0) into 0 32.849 * [backup-simplify]: Simplify (+ (* (cos (/ -1 theta)) 0) (* 0 1)) into 0 32.849 * [backup-simplify]: Simplify (- (/ 0 theta) (+ (* (/ -1 theta) (/ 0 theta)))) into 0 32.850 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.851 * [backup-simplify]: Simplify (+ (* (sin (/ -1 theta)) 0) (* 0 0)) into 0 32.851 * [backup-simplify]: Simplify (- 0) into 0 32.851 * [backup-simplify]: Simplify (+ 0 0) into 0 32.851 * [backup-simplify]: Simplify (+ (* (cos (/ -1 theta)) 0) (* 0 (cos (/ -1 phi1)))) into 0 32.852 * [backup-simplify]: Simplify (+ 0) into 0 32.852 * [backup-simplify]: Simplify (+ (* (sin (/ -1 delta)) 0) (* 0 1)) into 0 32.852 * [backup-simplify]: Simplify (- (/ 0 delta) (+ (* (/ -1 delta) (/ 0 delta)))) into 0 32.853 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.854 * [backup-simplify]: Simplify (+ (* (cos (/ -1 delta)) 0) (* 0 0)) into 0 32.854 * [backup-simplify]: Simplify (+ 0 0) into 0 32.854 * [backup-simplify]: Simplify (+ (* (sin (/ -1 delta)) 0) (* 0 (* (cos (/ -1 phi1)) (cos (/ -1 theta))))) into 0 32.854 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi1)) 0) (* 0 (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) into 0 32.855 * [backup-simplify]: Simplify (+ 0 0) into 0 32.855 * [backup-simplify]: Simplify (- 0) into 0 32.855 * [backup-simplify]: Simplify (+ 0 0) into 0 32.855 * [taylor]: Taking taylor expansion of 0 in theta 32.855 * [backup-simplify]: Simplify 0 into 0 32.856 * [backup-simplify]: Simplify 0 into 0 32.856 * [backup-simplify]: Simplify (+ 0) into 0 32.856 * [backup-simplify]: Simplify (+ (* (cos (/ -1 delta)) 0) (* 0 1)) into 0 32.857 * [backup-simplify]: Simplify (- (/ 0 delta) (+ (* (/ -1 delta) (/ 0 delta)))) into 0 32.857 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.858 * [backup-simplify]: Simplify (+ (* (sin (/ -1 delta)) 0) (* 0 0)) into 0 32.858 * [backup-simplify]: Simplify (- 0) into 0 32.858 * [backup-simplify]: Simplify (+ 0 0) into 0 32.859 * [backup-simplify]: Simplify (+ 0) into 0 32.859 * [backup-simplify]: Simplify (+ (* (cos (/ -1 delta)) 0) (* 0 1)) into 0 32.859 * [backup-simplify]: Simplify (- (/ 0 delta) (+ (* (/ -1 delta) (/ 0 delta)))) into 0 32.860 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.861 * [backup-simplify]: Simplify (+ (* (sin (/ -1 delta)) 0) (* 0 0)) into 0 32.861 * [backup-simplify]: Simplify (- 0) into 0 32.861 * [backup-simplify]: Simplify (+ 0 0) into 0 32.862 * [backup-simplify]: Simplify (+ 0) into 0 32.862 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi1)) 0) (* 0 1)) into 0 32.862 * [backup-simplify]: Simplify (- (/ 0 phi1) (+ (* (/ -1 phi1) (/ 0 phi1)))) into 0 32.863 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.863 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi1)) 0) (* 0 0)) into 0 32.864 * [backup-simplify]: Simplify (+ 0 0) into 0 32.864 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi1)) 0) (* 0 (sin (/ -1 phi1)))) into 0 32.864 * [backup-simplify]: Simplify (+ (* (pow (sin (/ -1 phi1)) 2) 0) (* 0 (cos (/ -1 delta)))) into 0 32.865 * [backup-simplify]: Simplify (+ 0) into 0 32.865 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi1)) 0) (* 0 1)) into 0 32.865 * [backup-simplify]: Simplify (- (/ 0 phi1) (+ (* (/ -1 phi1) (/ 0 phi1)))) into 0 32.866 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.867 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi1)) 0) (* 0 0)) into 0 32.867 * [backup-simplify]: Simplify (- 0) into 0 32.867 * [backup-simplify]: Simplify (+ 0 0) into 0 32.868 * [backup-simplify]: Simplify (+ (* (cos (/ -1 theta)) 0) (* 0 (cos (/ -1 phi1)))) into 0 32.868 * [backup-simplify]: Simplify (+ 0) into 0 32.868 * [backup-simplify]: Simplify (+ (* (sin (/ -1 delta)) 0) (* 0 1)) into 0 32.869 * [backup-simplify]: Simplify (- (/ 0 delta) (+ (* (/ -1 delta) (/ 0 delta)))) into 0 32.869 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.870 * [backup-simplify]: Simplify (+ (* (cos (/ -1 delta)) 0) (* 0 0)) into 0 32.870 * [backup-simplify]: Simplify (+ 0 0) into 0 32.870 * [backup-simplify]: Simplify (+ (* (sin (/ -1 delta)) 0) (* 0 (* (cos (/ -1 phi1)) (cos (/ -1 theta))))) into 0 32.871 * [backup-simplify]: Simplify (+ 0) into 0 32.871 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi1)) 0) (* 0 1)) into 0 32.871 * [backup-simplify]: Simplify (- (/ 0 phi1) (+ (* (/ -1 phi1) (/ 0 phi1)))) into 0 32.872 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.872 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi1)) 0) (* 0 0)) into 0 32.873 * [backup-simplify]: Simplify (+ 0 0) into 0 32.873 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi1)) 0) (* 0 (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) into 0 32.874 * [backup-simplify]: Simplify (+ 0 0) into 0 32.874 * [backup-simplify]: Simplify (- 0) into 0 32.874 * [backup-simplify]: Simplify (+ 0 0) into 0 32.874 * [backup-simplify]: Simplify 0 into 0 32.875 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 32.876 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi1)) 0) (+ (* 0 0) (* 0 1))) into 0 32.876 * [backup-simplify]: Simplify (- (/ 0 phi1) (+ (* (/ -1 phi1) (/ 0 phi1)) (* 0 (/ 0 phi1)))) into 0 32.877 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 32.877 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi1)) 0) (+ (* 0 0) (* 0 0))) into 0 32.878 * [backup-simplify]: Simplify (+ 0 0) into 0 32.878 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi1)) 0) (+ (* 0 0) (* 0 (sin (/ -1 phi1))))) into 0 32.879 * [backup-simplify]: Simplify (+ (* (pow (sin (/ -1 phi1)) 2) 0) (+ (* 0 0) (* 0 (cos (/ -1 delta))))) into 0 32.880 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 32.880 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi1)) 0) (+ (* 0 0) (* 0 1))) into 0 32.880 * [backup-simplify]: Simplify (- (/ 0 phi1) (+ (* (/ -1 phi1) (/ 0 phi1)) (* 0 (/ 0 phi1)))) into 0 32.881 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 32.882 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi1)) 0) (+ (* 0 0) (* 0 0))) into 0 32.882 * [backup-simplify]: Simplify (- 0) into 0 32.883 * [backup-simplify]: Simplify (+ 0 0) into 0 32.883 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 32.884 * [backup-simplify]: Simplify (+ (* (cos (/ -1 theta)) 0) (+ (* 0 0) (* 0 1))) into 0 32.884 * [backup-simplify]: Simplify (- (/ 0 theta) (+ (* (/ -1 theta) (/ 0 theta)) (* 0 (/ 0 theta)))) into 0 32.885 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 32.886 * [backup-simplify]: Simplify (+ (* (sin (/ -1 theta)) 0) (+ (* 0 0) (* 0 0))) into 0 32.886 * [backup-simplify]: Simplify (- 0) into 0 32.886 * [backup-simplify]: Simplify (+ 0 0) into 0 32.887 * [backup-simplify]: Simplify (+ (* (cos (/ -1 theta)) 0) (+ (* 0 0) (* 0 (cos (/ -1 phi1))))) into 0 32.888 * [backup-simplify]: Simplify (+ (* (sin (/ -1 delta)) 0) (+ (* 0 0) (* 0 (* (cos (/ -1 phi1)) (cos (/ -1 theta)))))) into 0 32.888 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 32.889 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi1)) 0) (+ (* 0 0) (* 0 1))) into 0 32.890 * [backup-simplify]: Simplify (- (/ 0 phi1) (+ (* (/ -1 phi1) (/ 0 phi1)) (* 0 (/ 0 phi1)))) into 0 32.891 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 32.891 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi1)) 0) (+ (* 0 0) (* 0 0))) into 0 32.892 * [backup-simplify]: Simplify (+ 0 0) into 0 32.892 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi1)) 0) (+ (* 0 0) (* 0 (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))))) into 0 32.892 * [backup-simplify]: Simplify (+ 0 0) into 0 32.893 * [backup-simplify]: Simplify (- 0) into 0 32.893 * [backup-simplify]: Simplify (+ 0 0) into 0 32.893 * [taylor]: Taking taylor expansion of 0 in phi1 32.893 * [backup-simplify]: Simplify 0 into 0 32.893 * [taylor]: Taking taylor expansion of 0 in theta 32.893 * [backup-simplify]: Simplify 0 into 0 32.893 * [backup-simplify]: Simplify 0 into 0 32.893 * [taylor]: Taking taylor expansion of 0 in theta 32.893 * [backup-simplify]: Simplify 0 into 0 32.893 * [backup-simplify]: Simplify 0 into 0 32.894 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 32.895 * [backup-simplify]: Simplify (+ (* (cos (/ -1 delta)) 0) (+ (* 0 0) (* 0 1))) into 0 32.895 * [backup-simplify]: Simplify (- (/ 0 delta) (+ (* (/ -1 delta) (/ 0 delta)) (* 0 (/ 0 delta)))) into 0 32.896 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 32.896 * [backup-simplify]: Simplify (+ (* (sin (/ -1 delta)) 0) (+ (* 0 0) (* 0 0))) into 0 32.897 * [backup-simplify]: Simplify (- 0) into 0 32.897 * [backup-simplify]: Simplify (+ 0 0) into 0 32.898 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 32.899 * [backup-simplify]: Simplify (+ (* (cos (/ -1 delta)) 0) (+ (* 0 0) (* 0 1))) into 0 32.899 * [backup-simplify]: Simplify (- (/ 0 delta) (+ (* (/ -1 delta) (/ 0 delta)) (* 0 (/ 0 delta)))) into 0 32.900 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 32.900 * [backup-simplify]: Simplify (+ (* (sin (/ -1 delta)) 0) (+ (* 0 0) (* 0 0))) into 0 32.901 * [backup-simplify]: Simplify (- 0) into 0 32.901 * [backup-simplify]: Simplify (+ 0 0) into 0 32.901 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi1)) 0) (+ (* 0 0) (* 0 (sin (/ -1 phi1))))) into 0 32.902 * [backup-simplify]: Simplify (+ (* (pow (sin (/ -1 phi1)) 2) 0) (+ (* 0 0) (* 0 (cos (/ -1 delta))))) into 0 32.903 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 32.904 * [backup-simplify]: Simplify (+ (* (cos (/ -1 theta)) 0) (+ (* 0 0) (* 0 1))) into 0 32.904 * [backup-simplify]: Simplify (- (/ 0 theta) (+ (* (/ -1 theta) (/ 0 theta)) (* 0 (/ 0 theta)))) into 0 32.904 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 32.905 * [backup-simplify]: Simplify (+ (* (sin (/ -1 theta)) 0) (+ (* 0 0) (* 0 0))) into 0 32.905 * [backup-simplify]: Simplify (- 0) into 0 32.906 * [backup-simplify]: Simplify (+ 0 0) into 0 32.906 * [backup-simplify]: Simplify (+ (* (cos (/ -1 theta)) 0) (+ (* 0 0) (* 0 (cos (/ -1 phi1))))) into 0 32.907 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 32.908 * [backup-simplify]: Simplify (+ (* (sin (/ -1 delta)) 0) (+ (* 0 0) (* 0 1))) into 0 32.908 * [backup-simplify]: Simplify (- (/ 0 delta) (+ (* (/ -1 delta) (/ 0 delta)) (* 0 (/ 0 delta)))) into 0 32.909 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 32.909 * [backup-simplify]: Simplify (+ (* (cos (/ -1 delta)) 0) (+ (* 0 0) (* 0 0))) into 0 32.909 * [backup-simplify]: Simplify (+ 0 0) into 0 32.910 * [backup-simplify]: Simplify (+ (* (sin (/ -1 delta)) 0) (+ (* 0 0) (* 0 (* (cos (/ -1 phi1)) (cos (/ -1 theta)))))) into 0 32.911 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi1)) 0) (+ (* 0 0) (* 0 (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))))) into 0 32.911 * [backup-simplify]: Simplify (+ 0 0) into 0 32.911 * [backup-simplify]: Simplify (- 0) into 0 32.912 * [backup-simplify]: Simplify (+ 0 0) into 0 32.912 * [taylor]: Taking taylor expansion of 0 in theta 32.912 * [backup-simplify]: Simplify 0 into 0 32.912 * [backup-simplify]: Simplify 0 into 0 32.913 * [backup-simplify]: Simplify (- (cos (/ -1 (/ 1 (- delta)))) (+ (* (pow (sin (/ -1 (/ 1 (- phi1)))) 2) (cos (/ -1 (/ 1 (- delta))))) (* (sin (/ -1 (/ 1 (- phi1)))) (* (sin (/ -1 (/ 1 (- delta)))) (* (cos (/ -1 (/ 1 (- theta)))) (cos (/ -1 (/ 1 (- phi1))))))))) into (- (cos delta) (+ (* (pow (sin phi1) 2) (cos delta)) (* (sin phi1) (* (sin delta) (* (cos theta) (cos phi1)))))) 32.913 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 2 1) 32.913 * [backup-simplify]: Simplify (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))) into (asin (+ (* (sin phi1) (cos delta)) (* (cos phi1) (* (sin delta) (cos theta))))) 32.913 * [approximate]: Taking taylor expansion of (asin (+ (* (sin phi1) (cos delta)) (* (cos phi1) (* (sin delta) (cos theta))))) in (phi1 delta theta) around 0 32.913 * [taylor]: Taking taylor expansion of (asin (+ (* (sin phi1) (cos delta)) (* (cos phi1) (* (sin delta) (cos theta))))) in theta 32.914 * [backup-simplify]: Simplify (asin (+ (* (sin phi1) (cos delta)) (* (cos phi1) (* (sin delta) (cos theta))))) into (asin (+ (* (sin phi1) (cos delta)) (* (cos phi1) (* (sin delta) (cos theta))))) 32.915 * [taylor]: Taking taylor expansion of (asin (+ (* (sin phi1) (cos delta)) (* (cos phi1) (* (sin delta) (cos theta))))) in delta 32.915 * [backup-simplify]: Simplify (asin (+ (* (sin phi1) (cos delta)) (* (cos phi1) (* (sin delta) (cos theta))))) into (asin (+ (* (sin phi1) (cos delta)) (* (cos phi1) (* (sin delta) (cos theta))))) 32.915 * [taylor]: Taking taylor expansion of (asin (+ (* (sin phi1) (cos delta)) (* (cos phi1) (* (sin delta) (cos theta))))) in phi1 32.915 * [backup-simplify]: Simplify (asin (+ (* (sin phi1) (cos delta)) (* (cos phi1) (* (sin delta) (cos theta))))) into (asin (+ (* (sin phi1) (cos delta)) (* (cos phi1) (* (sin delta) (cos theta))))) 32.915 * [taylor]: Taking taylor expansion of (asin (+ (* (sin phi1) (cos delta)) (* (cos phi1) (* (sin delta) (cos theta))))) in phi1 32.915 * [backup-simplify]: Simplify (asin (+ (* (sin phi1) (cos delta)) (* (cos phi1) (* (sin delta) (cos theta))))) into (asin (+ (* (sin phi1) (cos delta)) (* (cos phi1) (* (sin delta) (cos theta))))) 32.915 * [taylor]: Taking taylor expansion of (asin (+ (* (sin phi1) (cos delta)) (* (cos phi1) (* (sin delta) (cos theta))))) in delta 32.916 * [backup-simplify]: Simplify (asin (+ (* (sin phi1) (cos delta)) (* (cos phi1) (* (sin delta) (cos theta))))) into (asin (+ (* (sin phi1) (cos delta)) (* (cos phi1) (* (sin delta) (cos theta))))) 32.916 * [taylor]: Taking taylor expansion of (asin (+ (* (sin phi1) (cos delta)) (* (cos phi1) (* (sin delta) (cos theta))))) in theta 32.916 * [backup-simplify]: Simplify (asin (+ (* (sin phi1) (cos delta)) (* (cos phi1) (* (sin delta) (cos theta))))) into (asin (+ (* (sin phi1) (cos delta)) (* (cos phi1) (* (sin delta) (cos theta))))) 32.916 * [backup-simplify]: Simplify (asin (+ (* (sin phi1) (cos delta)) (* (cos phi1) (* (sin delta) (cos theta))))) into (asin (+ (* (sin phi1) (cos delta)) (* (cos phi1) (* (sin delta) (cos theta))))) 32.916 * [taylor]: Taking taylor expansion of 0 in delta 32.916 * [backup-simplify]: Simplify 0 into 0 32.916 * [taylor]: Taking taylor expansion of 0 in theta 32.916 * [backup-simplify]: Simplify 0 into 0 32.916 * [backup-simplify]: Simplify 0 into 0 32.916 * [taylor]: Taking taylor expansion of 0 in theta 32.916 * [backup-simplify]: Simplify 0 into 0 32.916 * [backup-simplify]: Simplify 0 into 0 32.917 * [backup-simplify]: Simplify 0 into 0 32.917 * [taylor]: Taking taylor expansion of 0 in delta 32.917 * [backup-simplify]: Simplify 0 into 0 32.917 * [taylor]: Taking taylor expansion of 0 in theta 32.917 * [backup-simplify]: Simplify 0 into 0 32.917 * [backup-simplify]: Simplify 0 into 0 32.917 * [taylor]: Taking taylor expansion of 0 in theta 32.917 * [backup-simplify]: Simplify 0 into 0 32.917 * [backup-simplify]: Simplify 0 into 0 32.917 * [taylor]: Taking taylor expansion of 0 in theta 32.917 * [backup-simplify]: Simplify 0 into 0 32.917 * [backup-simplify]: Simplify 0 into 0 32.917 * [backup-simplify]: Simplify (asin (+ (* (sin phi1) (cos delta)) (* (cos phi1) (* (sin delta) (cos theta))))) into (asin (+ (* (sin phi1) (cos delta)) (* (cos phi1) (* (sin delta) (cos theta))))) 32.917 * [backup-simplify]: Simplify (asin (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (* (cos (/ 1 phi1)) (sin (/ 1 delta))) (cos (/ 1 theta))))) into (asin (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) 32.917 * [approximate]: Taking taylor expansion of (asin (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) in (phi1 delta theta) around 0 32.918 * [taylor]: Taking taylor expansion of (asin (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) in theta 32.918 * [backup-simplify]: Simplify (asin (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) into (asin (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) 32.918 * [taylor]: Taking taylor expansion of (asin (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) in delta 32.918 * [backup-simplify]: Simplify (asin (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) into (asin (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) 32.918 * [taylor]: Taking taylor expansion of (asin (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) in phi1 32.919 * [backup-simplify]: Simplify (asin (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) into (asin (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) 32.919 * [taylor]: Taking taylor expansion of (asin (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) in phi1 32.919 * [backup-simplify]: Simplify (asin (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) into (asin (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) 32.919 * [taylor]: Taking taylor expansion of (asin (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) in delta 32.919 * [backup-simplify]: Simplify (asin (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) into (asin (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) 32.919 * [taylor]: Taking taylor expansion of (asin (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) in theta 32.920 * [backup-simplify]: Simplify (asin (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) into (asin (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) 32.920 * [backup-simplify]: Simplify (asin (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) into (asin (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) 32.920 * [taylor]: Taking taylor expansion of 0 in delta 32.920 * [backup-simplify]: Simplify 0 into 0 32.920 * [taylor]: Taking taylor expansion of 0 in theta 32.920 * [backup-simplify]: Simplify 0 into 0 32.920 * [backup-simplify]: Simplify 0 into 0 32.920 * [taylor]: Taking taylor expansion of 0 in theta 32.920 * [backup-simplify]: Simplify 0 into 0 32.920 * [backup-simplify]: Simplify 0 into 0 32.921 * [backup-simplify]: Simplify 0 into 0 32.921 * [taylor]: Taking taylor expansion of 0 in delta 32.921 * [backup-simplify]: Simplify 0 into 0 32.921 * [taylor]: Taking taylor expansion of 0 in theta 32.921 * [backup-simplify]: Simplify 0 into 0 32.921 * [backup-simplify]: Simplify 0 into 0 32.921 * [taylor]: Taking taylor expansion of 0 in theta 32.921 * [backup-simplify]: Simplify 0 into 0 32.921 * [backup-simplify]: Simplify 0 into 0 32.921 * [taylor]: Taking taylor expansion of 0 in theta 32.921 * [backup-simplify]: Simplify 0 into 0 32.921 * [backup-simplify]: Simplify 0 into 0 32.921 * [backup-simplify]: Simplify (asin (+ (* (sin (/ 1 (/ 1 phi1))) (cos (/ 1 (/ 1 delta)))) (* (sin (/ 1 (/ 1 delta))) (* (cos (/ 1 (/ 1 theta))) (cos (/ 1 (/ 1 phi1))))))) into (asin (+ (* (sin phi1) (cos delta)) (* (sin delta) (* (cos theta) (cos phi1))))) 32.922 * [backup-simplify]: Simplify (asin (+ (* (sin (/ 1 (- phi1))) (cos (/ 1 (- delta)))) (* (* (cos (/ 1 (- phi1))) (sin (/ 1 (- delta)))) (cos (/ 1 (- theta)))))) into (asin (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) 32.922 * [approximate]: Taking taylor expansion of (asin (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) in (phi1 delta theta) around 0 32.922 * [taylor]: Taking taylor expansion of (asin (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) in theta 32.922 * [backup-simplify]: Simplify (asin (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) into (asin (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) 32.922 * [taylor]: Taking taylor expansion of (asin (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) in delta 32.922 * [backup-simplify]: Simplify (asin (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) into (asin (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) 32.923 * [taylor]: Taking taylor expansion of (asin (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) in phi1 32.923 * [backup-simplify]: Simplify (asin (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) into (asin (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) 32.923 * [taylor]: Taking taylor expansion of (asin (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) in phi1 32.923 * [backup-simplify]: Simplify (asin (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) into (asin (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) 32.923 * [taylor]: Taking taylor expansion of (asin (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) in delta 32.924 * [backup-simplify]: Simplify (asin (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) into (asin (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) 32.924 * [taylor]: Taking taylor expansion of (asin (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) in theta 32.924 * [backup-simplify]: Simplify (asin (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) into (asin (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) 32.924 * [backup-simplify]: Simplify (asin (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) into (asin (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) 32.925 * [taylor]: Taking taylor expansion of 0 in delta 32.925 * [backup-simplify]: Simplify 0 into 0 32.925 * [taylor]: Taking taylor expansion of 0 in theta 32.925 * [backup-simplify]: Simplify 0 into 0 32.925 * [backup-simplify]: Simplify 0 into 0 32.925 * [taylor]: Taking taylor expansion of 0 in theta 32.925 * [backup-simplify]: Simplify 0 into 0 32.925 * [backup-simplify]: Simplify 0 into 0 32.925 * [backup-simplify]: Simplify 0 into 0 32.925 * [taylor]: Taking taylor expansion of 0 in delta 32.925 * [backup-simplify]: Simplify 0 into 0 32.925 * [taylor]: Taking taylor expansion of 0 in theta 32.925 * [backup-simplify]: Simplify 0 into 0 32.925 * [backup-simplify]: Simplify 0 into 0 32.925 * [taylor]: Taking taylor expansion of 0 in theta 32.925 * [backup-simplify]: Simplify 0 into 0 32.925 * [backup-simplify]: Simplify 0 into 0 32.925 * [taylor]: Taking taylor expansion of 0 in theta 32.925 * [backup-simplify]: Simplify 0 into 0 32.925 * [backup-simplify]: Simplify 0 into 0 32.926 * [backup-simplify]: Simplify (asin (+ (* (sin (/ -1 (/ 1 (- phi1)))) (cos (/ -1 (/ 1 (- delta))))) (* (cos (/ -1 (/ 1 (- phi1)))) (* (cos (/ -1 (/ 1 (- theta)))) (sin (/ -1 (/ 1 (- delta)))))))) into (asin (+ (* (sin phi1) (cos delta)) (* (cos phi1) (* (cos theta) (sin delta))))) 32.926 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 32.926 * [backup-simplify]: Simplify (* (sin theta) (sin delta)) into (* (sin theta) (sin delta)) 32.926 * [approximate]: Taking taylor expansion of (* (sin theta) (sin delta)) in (theta delta) around 0 32.926 * [taylor]: Taking taylor expansion of (* (sin theta) (sin delta)) in delta 32.926 * [taylor]: Taking taylor expansion of (sin theta) in delta 32.926 * [taylor]: Taking taylor expansion of theta in delta 32.926 * [backup-simplify]: Simplify theta into theta 32.926 * [backup-simplify]: Simplify (sin theta) into (sin theta) 32.926 * [backup-simplify]: Simplify (cos theta) into (cos theta) 32.926 * [taylor]: Taking taylor expansion of (sin delta) in delta 32.926 * [taylor]: Taking taylor expansion of delta in delta 32.926 * [backup-simplify]: Simplify 0 into 0 32.926 * [backup-simplify]: Simplify 1 into 1 32.926 * [taylor]: Taking taylor expansion of (* (sin theta) (sin delta)) in theta 32.926 * [taylor]: Taking taylor expansion of (sin theta) in theta 32.926 * [taylor]: Taking taylor expansion of theta in theta 32.926 * [backup-simplify]: Simplify 0 into 0 32.926 * [backup-simplify]: Simplify 1 into 1 32.926 * [taylor]: Taking taylor expansion of (sin delta) in theta 32.926 * [taylor]: Taking taylor expansion of delta in theta 32.926 * [backup-simplify]: Simplify delta into delta 32.926 * [backup-simplify]: Simplify (sin delta) into (sin delta) 32.927 * [backup-simplify]: Simplify (cos delta) into (cos delta) 32.927 * [taylor]: Taking taylor expansion of (* (sin theta) (sin delta)) in theta 32.927 * [taylor]: Taking taylor expansion of (sin theta) in theta 32.927 * [taylor]: Taking taylor expansion of theta in theta 32.927 * [backup-simplify]: Simplify 0 into 0 32.927 * [backup-simplify]: Simplify 1 into 1 32.927 * [taylor]: Taking taylor expansion of (sin delta) in theta 32.927 * [taylor]: Taking taylor expansion of delta in theta 32.927 * [backup-simplify]: Simplify delta into delta 32.927 * [backup-simplify]: Simplify (sin delta) into (sin delta) 32.927 * [backup-simplify]: Simplify (cos delta) into (cos delta) 32.927 * [backup-simplify]: Simplify (* (sin delta) 1) into (sin delta) 32.927 * [backup-simplify]: Simplify (* (cos delta) 0) into 0 32.927 * [backup-simplify]: Simplify (+ (sin delta) 0) into (sin delta) 32.927 * [backup-simplify]: Simplify (* 0 (sin delta)) into 0 32.927 * [taylor]: Taking taylor expansion of 0 in delta 32.927 * [backup-simplify]: Simplify 0 into 0 32.927 * [backup-simplify]: Simplify 0 into 0 32.928 * [backup-simplify]: Simplify (+ 0) into 0 32.929 * [backup-simplify]: Simplify (+ (* (sin delta) 0) (* 0 1)) into 0 32.929 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.930 * [backup-simplify]: Simplify (+ (* (cos delta) 0) (* 0 0)) into 0 32.930 * [backup-simplify]: Simplify (+ 0 0) into 0 32.931 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 32.931 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin delta))) into (sin delta) 32.931 * [taylor]: Taking taylor expansion of (sin delta) in delta 32.931 * [taylor]: Taking taylor expansion of delta in delta 32.931 * [backup-simplify]: Simplify 0 into 0 32.931 * [backup-simplify]: Simplify 1 into 1 32.931 * [backup-simplify]: Simplify 0 into 0 32.931 * [backup-simplify]: Simplify 0 into 0 32.932 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 32.933 * [backup-simplify]: Simplify (+ (* (sin delta) 0) (+ (* 0 0) (* 0 1))) into 0 32.934 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 32.934 * [backup-simplify]: Simplify (+ (* (cos delta) 0) (+ (* 0 0) (* 0 0))) into 0 32.935 * [backup-simplify]: Simplify (+ 0 0) into 0 32.935 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 32.936 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin delta)))) into 0 32.936 * [taylor]: Taking taylor expansion of 0 in delta 32.936 * [backup-simplify]: Simplify 0 into 0 32.936 * [backup-simplify]: Simplify 0 into 0 32.937 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 32.937 * [backup-simplify]: Simplify 1 into 1 32.937 * [backup-simplify]: Simplify 0 into 0 32.938 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 32.939 * [backup-simplify]: Simplify (+ (* (sin delta) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 32.940 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 32.941 * [backup-simplify]: Simplify (+ (* (cos delta) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 32.941 * [backup-simplify]: Simplify (+ 0 0) into 0 32.943 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6 32.944 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* -1/6 (sin delta))))) into (- (* 1/6 (sin delta))) 32.944 * [taylor]: Taking taylor expansion of (- (* 1/6 (sin delta))) in delta 32.944 * [taylor]: Taking taylor expansion of (* 1/6 (sin delta)) in delta 32.944 * [taylor]: Taking taylor expansion of 1/6 in delta 32.944 * [backup-simplify]: Simplify 1/6 into 1/6 32.944 * [taylor]: Taking taylor expansion of (sin delta) in delta 32.944 * [taylor]: Taking taylor expansion of delta in delta 32.944 * [backup-simplify]: Simplify 0 into 0 32.944 * [backup-simplify]: Simplify 1 into 1 32.945 * [backup-simplify]: Simplify (* 1/6 0) into 0 32.945 * [backup-simplify]: Simplify (- 0) into 0 32.945 * [backup-simplify]: Simplify 0 into 0 32.945 * [backup-simplify]: Simplify 0 into 0 32.946 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 32.946 * [backup-simplify]: Simplify 0 into 0 32.946 * [backup-simplify]: Simplify 0 into 0 32.948 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 4) 24)) 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 0 32.949 * [backup-simplify]: Simplify (+ (* (sin delta) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 32.951 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0 32.952 * [backup-simplify]: Simplify (+ (* (cos delta) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0 32.952 * [backup-simplify]: Simplify (+ 0 0) into 0 32.953 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0 32.955 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* -1/6 0) (* 0 (sin delta)))))) into 0 32.955 * [taylor]: Taking taylor expansion of 0 in delta 32.955 * [backup-simplify]: Simplify 0 into 0 32.955 * [backup-simplify]: Simplify 0 into 0 32.955 * [backup-simplify]: Simplify (* 1 (* delta theta)) into (* theta delta) 32.955 * [backup-simplify]: Simplify (* (sin (/ 1 theta)) (sin (/ 1 delta))) into (* (sin (/ 1 theta)) (sin (/ 1 delta))) 32.955 * [approximate]: Taking taylor expansion of (* (sin (/ 1 theta)) (sin (/ 1 delta))) in (theta delta) around 0 32.955 * [taylor]: Taking taylor expansion of (* (sin (/ 1 theta)) (sin (/ 1 delta))) in delta 32.955 * [taylor]: Taking taylor expansion of (sin (/ 1 theta)) in delta 32.955 * [taylor]: Taking taylor expansion of (/ 1 theta) in delta 32.955 * [taylor]: Taking taylor expansion of theta in delta 32.955 * [backup-simplify]: Simplify theta into theta 32.955 * [backup-simplify]: Simplify (/ 1 theta) into (/ 1 theta) 32.955 * [backup-simplify]: Simplify (sin (/ 1 theta)) into (sin (/ 1 theta)) 32.956 * [backup-simplify]: Simplify (cos (/ 1 theta)) into (cos (/ 1 theta)) 32.956 * [taylor]: Taking taylor expansion of (sin (/ 1 delta)) in delta 32.956 * [taylor]: Taking taylor expansion of (/ 1 delta) in delta 32.956 * [taylor]: Taking taylor expansion of delta in delta 32.956 * [backup-simplify]: Simplify 0 into 0 32.956 * [backup-simplify]: Simplify 1 into 1 32.956 * [backup-simplify]: Simplify (/ 1 1) into 1 32.956 * [backup-simplify]: Simplify (sin (/ 1 delta)) into (sin (/ 1 delta)) 32.956 * [taylor]: Taking taylor expansion of (* (sin (/ 1 theta)) (sin (/ 1 delta))) in theta 32.956 * [taylor]: Taking taylor expansion of (sin (/ 1 theta)) in theta 32.956 * [taylor]: Taking taylor expansion of (/ 1 theta) in theta 32.956 * [taylor]: Taking taylor expansion of theta in theta 32.956 * [backup-simplify]: Simplify 0 into 0 32.956 * [backup-simplify]: Simplify 1 into 1 32.957 * [backup-simplify]: Simplify (/ 1 1) into 1 32.957 * [backup-simplify]: Simplify (sin (/ 1 theta)) into (sin (/ 1 theta)) 32.957 * [taylor]: Taking taylor expansion of (sin (/ 1 delta)) in theta 32.957 * [taylor]: Taking taylor expansion of (/ 1 delta) in theta 32.957 * [taylor]: Taking taylor expansion of delta in theta 32.957 * [backup-simplify]: Simplify delta into delta 32.957 * [backup-simplify]: Simplify (/ 1 delta) into (/ 1 delta) 32.957 * [backup-simplify]: Simplify (sin (/ 1 delta)) into (sin (/ 1 delta)) 32.957 * [backup-simplify]: Simplify (cos (/ 1 delta)) into (cos (/ 1 delta)) 32.957 * [taylor]: Taking taylor expansion of (* (sin (/ 1 theta)) (sin (/ 1 delta))) in theta 32.957 * [taylor]: Taking taylor expansion of (sin (/ 1 theta)) in theta 32.957 * [taylor]: Taking taylor expansion of (/ 1 theta) in theta 32.957 * [taylor]: Taking taylor expansion of theta in theta 32.957 * [backup-simplify]: Simplify 0 into 0 32.957 * [backup-simplify]: Simplify 1 into 1 32.957 * [backup-simplify]: Simplify (/ 1 1) into 1 32.958 * [backup-simplify]: Simplify (sin (/ 1 theta)) into (sin (/ 1 theta)) 32.958 * [taylor]: Taking taylor expansion of (sin (/ 1 delta)) in theta 32.958 * [taylor]: Taking taylor expansion of (/ 1 delta) in theta 32.958 * [taylor]: Taking taylor expansion of delta in theta 32.958 * [backup-simplify]: Simplify delta into delta 32.958 * [backup-simplify]: Simplify (/ 1 delta) into (/ 1 delta) 32.958 * [backup-simplify]: Simplify (sin (/ 1 delta)) into (sin (/ 1 delta)) 32.958 * [backup-simplify]: Simplify (cos (/ 1 delta)) into (cos (/ 1 delta)) 32.958 * [backup-simplify]: Simplify (* (sin (/ 1 delta)) 1) into (sin (/ 1 delta)) 32.958 * [backup-simplify]: Simplify (* (cos (/ 1 delta)) 0) into 0 32.958 * [backup-simplify]: Simplify (+ (sin (/ 1 delta)) 0) into (sin (/ 1 delta)) 32.958 * [backup-simplify]: Simplify (* (sin (/ 1 theta)) (sin (/ 1 delta))) into (* (sin (/ 1 theta)) (sin (/ 1 delta))) 32.958 * [taylor]: Taking taylor expansion of (* (sin (/ 1 theta)) (sin (/ 1 delta))) in delta 32.958 * [taylor]: Taking taylor expansion of (sin (/ 1 theta)) in delta 32.958 * [taylor]: Taking taylor expansion of (/ 1 theta) in delta 32.958 * [taylor]: Taking taylor expansion of theta in delta 32.958 * [backup-simplify]: Simplify theta into theta 32.958 * [backup-simplify]: Simplify (/ 1 theta) into (/ 1 theta) 32.959 * [backup-simplify]: Simplify (sin (/ 1 theta)) into (sin (/ 1 theta)) 32.959 * [backup-simplify]: Simplify (cos (/ 1 theta)) into (cos (/ 1 theta)) 32.959 * [taylor]: Taking taylor expansion of (sin (/ 1 delta)) in delta 32.959 * [taylor]: Taking taylor expansion of (/ 1 delta) in delta 32.959 * [taylor]: Taking taylor expansion of delta in delta 32.959 * [backup-simplify]: Simplify 0 into 0 32.959 * [backup-simplify]: Simplify 1 into 1 32.959 * [backup-simplify]: Simplify (/ 1 1) into 1 32.959 * [backup-simplify]: Simplify (sin (/ 1 delta)) into (sin (/ 1 delta)) 32.959 * [backup-simplify]: Simplify (* (sin (/ 1 theta)) 1) into (sin (/ 1 theta)) 32.960 * [backup-simplify]: Simplify (* (cos (/ 1 theta)) 0) into 0 32.960 * [backup-simplify]: Simplify (+ (sin (/ 1 theta)) 0) into (sin (/ 1 theta)) 32.960 * [backup-simplify]: Simplify (* (sin (/ 1 theta)) (sin (/ 1 delta))) into (* (sin (/ 1 theta)) (sin (/ 1 delta))) 32.960 * [backup-simplify]: Simplify (* (sin (/ 1 theta)) (sin (/ 1 delta))) into (* (sin (/ 1 theta)) (sin (/ 1 delta))) 32.960 * [backup-simplify]: Simplify (+ 0) into 0 32.961 * [backup-simplify]: Simplify (+ (* (sin (/ 1 delta)) 0) (* 0 1)) into 0 32.961 * [backup-simplify]: Simplify (- (+ (* (/ 1 delta) (/ 0 delta)))) into 0 32.962 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.962 * [backup-simplify]: Simplify (+ (* (cos (/ 1 delta)) 0) (* 0 0)) into 0 32.963 * [backup-simplify]: Simplify (+ 0 0) into 0 32.963 * [backup-simplify]: Simplify (+ (* (sin (/ 1 theta)) 0) (* 0 (sin (/ 1 delta)))) into 0 32.963 * [taylor]: Taking taylor expansion of 0 in delta 32.963 * [backup-simplify]: Simplify 0 into 0 32.963 * [backup-simplify]: Simplify 0 into 0 32.963 * [backup-simplify]: Simplify (+ 0) into 0 32.964 * [backup-simplify]: Simplify (+ (* (sin (/ 1 theta)) 0) (* 0 1)) into 0 32.964 * [backup-simplify]: Simplify (- (+ (* (/ 1 theta) (/ 0 theta)))) into 0 32.965 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.965 * [backup-simplify]: Simplify (+ (* (cos (/ 1 theta)) 0) (* 0 0)) into 0 32.966 * [backup-simplify]: Simplify (+ 0 0) into 0 32.966 * [backup-simplify]: Simplify (+ (* (sin (/ 1 theta)) 0) (* 0 (sin (/ 1 delta)))) into 0 32.966 * [backup-simplify]: Simplify 0 into 0 32.967 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 32.967 * [backup-simplify]: Simplify (+ (* (sin (/ 1 delta)) 0) (+ (* 0 0) (* 0 1))) into 0 32.968 * [backup-simplify]: Simplify (- (+ (* (/ 1 delta) (/ 0 delta)) (* 0 (/ 0 delta)))) into 0 32.968 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 32.969 * [backup-simplify]: Simplify (+ (* (cos (/ 1 delta)) 0) (+ (* 0 0) (* 0 0))) into 0 32.969 * [backup-simplify]: Simplify (+ 0 0) into 0 32.970 * [backup-simplify]: Simplify (+ (* (sin (/ 1 theta)) 0) (+ (* 0 0) (* 0 (sin (/ 1 delta))))) into 0 32.970 * [taylor]: Taking taylor expansion of 0 in delta 32.970 * [backup-simplify]: Simplify 0 into 0 32.970 * [backup-simplify]: Simplify 0 into 0 32.970 * [backup-simplify]: Simplify 0 into 0 32.971 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 32.971 * [backup-simplify]: Simplify (+ (* (sin (/ 1 theta)) 0) (+ (* 0 0) (* 0 1))) into 0 32.972 * [backup-simplify]: Simplify (- (+ (* (/ 1 theta) (/ 0 theta)) (* 0 (/ 0 theta)))) into 0 32.972 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 32.973 * [backup-simplify]: Simplify (+ (* (cos (/ 1 theta)) 0) (+ (* 0 0) (* 0 0))) into 0 32.973 * [backup-simplify]: Simplify (+ 0 0) into 0 32.974 * [backup-simplify]: Simplify (+ (* (sin (/ 1 theta)) 0) (+ (* 0 0) (* 0 (sin (/ 1 delta))))) into 0 32.974 * [backup-simplify]: Simplify 0 into 0 32.975 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 32.976 * [backup-simplify]: Simplify (+ (* (sin (/ 1 delta)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 32.976 * [backup-simplify]: Simplify (- (+ (* (/ 1 delta) (/ 0 delta)) (* 0 (/ 0 delta)) (* 0 (/ 0 delta)))) into 0 32.981 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 32.982 * [backup-simplify]: Simplify (+ (* (cos (/ 1 delta)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 32.982 * [backup-simplify]: Simplify (+ 0 0) into 0 32.983 * [backup-simplify]: Simplify (+ (* (sin (/ 1 theta)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 delta)))))) into 0 32.983 * [taylor]: Taking taylor expansion of 0 in delta 32.983 * [backup-simplify]: Simplify 0 into 0 32.983 * [backup-simplify]: Simplify 0 into 0 32.984 * [backup-simplify]: Simplify (* (sin (/ 1 (/ 1 theta))) (sin (/ 1 (/ 1 delta)))) into (* (sin theta) (sin delta)) 32.984 * [backup-simplify]: Simplify (* (sin (/ 1 (- theta))) (sin (/ 1 (- delta)))) into (* (sin (/ -1 delta)) (sin (/ -1 theta))) 32.984 * [approximate]: Taking taylor expansion of (* (sin (/ -1 delta)) (sin (/ -1 theta))) in (theta delta) around 0 32.984 * [taylor]: Taking taylor expansion of (* (sin (/ -1 delta)) (sin (/ -1 theta))) in delta 32.984 * [taylor]: Taking taylor expansion of (sin (/ -1 delta)) in delta 32.984 * [taylor]: Taking taylor expansion of (/ -1 delta) in delta 32.984 * [taylor]: Taking taylor expansion of -1 in delta 32.984 * [backup-simplify]: Simplify -1 into -1 32.984 * [taylor]: Taking taylor expansion of delta in delta 32.984 * [backup-simplify]: Simplify 0 into 0 32.984 * [backup-simplify]: Simplify 1 into 1 32.984 * [backup-simplify]: Simplify (/ -1 1) into -1 32.984 * [backup-simplify]: Simplify (sin (/ -1 delta)) into (sin (/ -1 delta)) 32.985 * [taylor]: Taking taylor expansion of (sin (/ -1 theta)) in delta 32.985 * [taylor]: Taking taylor expansion of (/ -1 theta) in delta 32.985 * [taylor]: Taking taylor expansion of -1 in delta 32.985 * [backup-simplify]: Simplify -1 into -1 32.985 * [taylor]: Taking taylor expansion of theta in delta 32.985 * [backup-simplify]: Simplify theta into theta 32.985 * [backup-simplify]: Simplify (/ -1 theta) into (/ -1 theta) 32.985 * [backup-simplify]: Simplify (sin (/ -1 theta)) into (sin (/ -1 theta)) 32.985 * [backup-simplify]: Simplify (cos (/ -1 theta)) into (cos (/ -1 theta)) 32.985 * [taylor]: Taking taylor expansion of (* (sin (/ -1 delta)) (sin (/ -1 theta))) in theta 32.985 * [taylor]: Taking taylor expansion of (sin (/ -1 delta)) in theta 32.985 * [taylor]: Taking taylor expansion of (/ -1 delta) in theta 32.985 * [taylor]: Taking taylor expansion of -1 in theta 32.985 * [backup-simplify]: Simplify -1 into -1 32.985 * [taylor]: Taking taylor expansion of delta in theta 32.985 * [backup-simplify]: Simplify delta into delta 32.985 * [backup-simplify]: Simplify (/ -1 delta) into (/ -1 delta) 32.985 * [backup-simplify]: Simplify (sin (/ -1 delta)) into (sin (/ -1 delta)) 32.985 * [backup-simplify]: Simplify (cos (/ -1 delta)) into (cos (/ -1 delta)) 32.985 * [taylor]: Taking taylor expansion of (sin (/ -1 theta)) in theta 32.985 * [taylor]: Taking taylor expansion of (/ -1 theta) in theta 32.985 * [taylor]: Taking taylor expansion of -1 in theta 32.985 * [backup-simplify]: Simplify -1 into -1 32.985 * [taylor]: Taking taylor expansion of theta in theta 32.985 * [backup-simplify]: Simplify 0 into 0 32.985 * [backup-simplify]: Simplify 1 into 1 32.986 * [backup-simplify]: Simplify (/ -1 1) into -1 32.986 * [backup-simplify]: Simplify (sin (/ -1 theta)) into (sin (/ -1 theta)) 32.986 * [taylor]: Taking taylor expansion of (* (sin (/ -1 delta)) (sin (/ -1 theta))) in theta 32.986 * [taylor]: Taking taylor expansion of (sin (/ -1 delta)) in theta 32.986 * [taylor]: Taking taylor expansion of (/ -1 delta) in theta 32.986 * [taylor]: Taking taylor expansion of -1 in theta 32.986 * [backup-simplify]: Simplify -1 into -1 32.986 * [taylor]: Taking taylor expansion of delta in theta 32.986 * [backup-simplify]: Simplify delta into delta 32.986 * [backup-simplify]: Simplify (/ -1 delta) into (/ -1 delta) 32.986 * [backup-simplify]: Simplify (sin (/ -1 delta)) into (sin (/ -1 delta)) 32.986 * [backup-simplify]: Simplify (cos (/ -1 delta)) into (cos (/ -1 delta)) 32.986 * [taylor]: Taking taylor expansion of (sin (/ -1 theta)) in theta 32.986 * [taylor]: Taking taylor expansion of (/ -1 theta) in theta 32.986 * [taylor]: Taking taylor expansion of -1 in theta 32.986 * [backup-simplify]: Simplify -1 into -1 32.987 * [taylor]: Taking taylor expansion of theta in theta 32.987 * [backup-simplify]: Simplify 0 into 0 32.987 * [backup-simplify]: Simplify 1 into 1 32.987 * [backup-simplify]: Simplify (/ -1 1) into -1 32.987 * [backup-simplify]: Simplify (sin (/ -1 theta)) into (sin (/ -1 theta)) 32.987 * [backup-simplify]: Simplify (* (sin (/ -1 delta)) 1) into (sin (/ -1 delta)) 32.987 * [backup-simplify]: Simplify (* (cos (/ -1 delta)) 0) into 0 32.988 * [backup-simplify]: Simplify (+ (sin (/ -1 delta)) 0) into (sin (/ -1 delta)) 32.988 * [backup-simplify]: Simplify (* (sin (/ -1 delta)) (sin (/ -1 theta))) into (* (sin (/ -1 theta)) (sin (/ -1 delta))) 32.988 * [taylor]: Taking taylor expansion of (* (sin (/ -1 theta)) (sin (/ -1 delta))) in delta 32.988 * [taylor]: Taking taylor expansion of (sin (/ -1 theta)) in delta 32.988 * [taylor]: Taking taylor expansion of (/ -1 theta) in delta 32.988 * [taylor]: Taking taylor expansion of -1 in delta 32.988 * [backup-simplify]: Simplify -1 into -1 32.988 * [taylor]: Taking taylor expansion of theta in delta 32.988 * [backup-simplify]: Simplify theta into theta 32.988 * [backup-simplify]: Simplify (/ -1 theta) into (/ -1 theta) 32.988 * [backup-simplify]: Simplify (sin (/ -1 theta)) into (sin (/ -1 theta)) 32.988 * [backup-simplify]: Simplify (cos (/ -1 theta)) into (cos (/ -1 theta)) 32.988 * [taylor]: Taking taylor expansion of (sin (/ -1 delta)) in delta 32.988 * [taylor]: Taking taylor expansion of (/ -1 delta) in delta 32.988 * [taylor]: Taking taylor expansion of -1 in delta 32.988 * [backup-simplify]: Simplify -1 into -1 32.988 * [taylor]: Taking taylor expansion of delta in delta 32.988 * [backup-simplify]: Simplify 0 into 0 32.988 * [backup-simplify]: Simplify 1 into 1 32.989 * [backup-simplify]: Simplify (/ -1 1) into -1 32.989 * [backup-simplify]: Simplify (sin (/ -1 delta)) into (sin (/ -1 delta)) 32.989 * [backup-simplify]: Simplify (* (sin (/ -1 theta)) 1) into (sin (/ -1 theta)) 32.989 * [backup-simplify]: Simplify (* (cos (/ -1 theta)) 0) into 0 32.989 * [backup-simplify]: Simplify (+ (sin (/ -1 theta)) 0) into (sin (/ -1 theta)) 32.989 * [backup-simplify]: Simplify (* (sin (/ -1 theta)) (sin (/ -1 delta))) into (* (sin (/ -1 delta)) (sin (/ -1 theta))) 32.989 * [backup-simplify]: Simplify (* (sin (/ -1 delta)) (sin (/ -1 theta))) into (* (sin (/ -1 theta)) (sin (/ -1 delta))) 32.990 * [backup-simplify]: Simplify (+ 0) into 0 32.990 * [backup-simplify]: Simplify (+ (* (sin (/ -1 delta)) 0) (* 0 1)) into 0 32.990 * [backup-simplify]: Simplify (- (/ 0 delta) (+ (* (/ -1 delta) (/ 0 delta)))) into 0 32.991 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.992 * [backup-simplify]: Simplify (+ (* (cos (/ -1 delta)) 0) (* 0 0)) into 0 32.992 * [backup-simplify]: Simplify (+ 0 0) into 0 32.992 * [backup-simplify]: Simplify (+ (* (sin (/ -1 delta)) 0) (* 0 (sin (/ -1 theta)))) into 0 32.992 * [taylor]: Taking taylor expansion of 0 in delta 32.992 * [backup-simplify]: Simplify 0 into 0 32.992 * [backup-simplify]: Simplify 0 into 0 32.993 * [backup-simplify]: Simplify (+ 0) into 0 32.993 * [backup-simplify]: Simplify (+ (* (sin (/ -1 theta)) 0) (* 0 1)) into 0 32.993 * [backup-simplify]: Simplify (- (/ 0 theta) (+ (* (/ -1 theta) (/ 0 theta)))) into 0 32.994 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 32.995 * [backup-simplify]: Simplify (+ (* (cos (/ -1 theta)) 0) (* 0 0)) into 0 32.995 * [backup-simplify]: Simplify (+ 0 0) into 0 32.995 * [backup-simplify]: Simplify (+ (* (sin (/ -1 theta)) 0) (* 0 (sin (/ -1 delta)))) into 0 32.995 * [backup-simplify]: Simplify 0 into 0 32.996 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 32.997 * [backup-simplify]: Simplify (+ (* (sin (/ -1 delta)) 0) (+ (* 0 0) (* 0 1))) into 0 32.997 * [backup-simplify]: Simplify (- (/ 0 delta) (+ (* (/ -1 delta) (/ 0 delta)) (* 0 (/ 0 delta)))) into 0 32.998 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 32.999 * [backup-simplify]: Simplify (+ (* (cos (/ -1 delta)) 0) (+ (* 0 0) (* 0 0))) into 0 32.999 * [backup-simplify]: Simplify (+ 0 0) into 0 33.000 * [backup-simplify]: Simplify (+ (* (sin (/ -1 delta)) 0) (+ (* 0 0) (* 0 (sin (/ -1 theta))))) into 0 33.000 * [taylor]: Taking taylor expansion of 0 in delta 33.000 * [backup-simplify]: Simplify 0 into 0 33.000 * [backup-simplify]: Simplify 0 into 0 33.000 * [backup-simplify]: Simplify 0 into 0 33.001 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 33.001 * [backup-simplify]: Simplify (+ (* (sin (/ -1 theta)) 0) (+ (* 0 0) (* 0 1))) into 0 33.002 * [backup-simplify]: Simplify (- (/ 0 theta) (+ (* (/ -1 theta) (/ 0 theta)) (* 0 (/ 0 theta)))) into 0 33.002 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 33.003 * [backup-simplify]: Simplify (+ (* (cos (/ -1 theta)) 0) (+ (* 0 0) (* 0 0))) into 0 33.003 * [backup-simplify]: Simplify (+ 0 0) into 0 33.004 * [backup-simplify]: Simplify (+ (* (sin (/ -1 theta)) 0) (+ (* 0 0) (* 0 (sin (/ -1 delta))))) into 0 33.004 * [backup-simplify]: Simplify 0 into 0 33.005 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 33.006 * [backup-simplify]: Simplify (+ (* (sin (/ -1 delta)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 33.006 * [backup-simplify]: Simplify (- (/ 0 delta) (+ (* (/ -1 delta) (/ 0 delta)) (* 0 (/ 0 delta)) (* 0 (/ 0 delta)))) into 0 33.008 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 33.008 * [backup-simplify]: Simplify (+ (* (cos (/ -1 delta)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 33.009 * [backup-simplify]: Simplify (+ 0 0) into 0 33.010 * [backup-simplify]: Simplify (+ (* (sin (/ -1 delta)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 theta)))))) into 0 33.010 * [taylor]: Taking taylor expansion of 0 in delta 33.010 * [backup-simplify]: Simplify 0 into 0 33.010 * [backup-simplify]: Simplify 0 into 0 33.010 * [backup-simplify]: Simplify (* (sin (/ -1 (/ 1 (- theta)))) (sin (/ -1 (/ 1 (- delta))))) into (* (sin theta) (sin delta)) 33.010 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 2 1 1 1) 33.010 * [backup-simplify]: Simplify (* (sin phi1) (cos delta)) into (* (sin phi1) (cos delta)) 33.010 * [approximate]: Taking taylor expansion of (* (sin phi1) (cos delta)) in (phi1 delta) around 0 33.010 * [taylor]: Taking taylor expansion of (* (sin phi1) (cos delta)) in delta 33.010 * [taylor]: Taking taylor expansion of (sin phi1) in delta 33.010 * [taylor]: Taking taylor expansion of phi1 in delta 33.010 * [backup-simplify]: Simplify phi1 into phi1 33.010 * [backup-simplify]: Simplify (sin phi1) into (sin phi1) 33.010 * [backup-simplify]: Simplify (cos phi1) into (cos phi1) 33.010 * [taylor]: Taking taylor expansion of (cos delta) in delta 33.010 * [taylor]: Taking taylor expansion of delta in delta 33.010 * [backup-simplify]: Simplify 0 into 0 33.010 * [backup-simplify]: Simplify 1 into 1 33.010 * [taylor]: Taking taylor expansion of (* (sin phi1) (cos delta)) in phi1 33.010 * [taylor]: Taking taylor expansion of (sin phi1) in phi1 33.010 * [taylor]: Taking taylor expansion of phi1 in phi1 33.010 * [backup-simplify]: Simplify 0 into 0 33.011 * [backup-simplify]: Simplify 1 into 1 33.011 * [taylor]: Taking taylor expansion of (cos delta) in phi1 33.011 * [taylor]: Taking taylor expansion of delta in phi1 33.011 * [backup-simplify]: Simplify delta into delta 33.011 * [backup-simplify]: Simplify (cos delta) into (cos delta) 33.011 * [backup-simplify]: Simplify (sin delta) into (sin delta) 33.011 * [taylor]: Taking taylor expansion of (* (sin phi1) (cos delta)) in phi1 33.011 * [taylor]: Taking taylor expansion of (sin phi1) in phi1 33.011 * [taylor]: Taking taylor expansion of phi1 in phi1 33.011 * [backup-simplify]: Simplify 0 into 0 33.011 * [backup-simplify]: Simplify 1 into 1 33.011 * [taylor]: Taking taylor expansion of (cos delta) in phi1 33.011 * [taylor]: Taking taylor expansion of delta in phi1 33.011 * [backup-simplify]: Simplify delta into delta 33.011 * [backup-simplify]: Simplify (cos delta) into (cos delta) 33.011 * [backup-simplify]: Simplify (sin delta) into (sin delta) 33.011 * [backup-simplify]: Simplify (* (cos delta) 1) into (cos delta) 33.011 * [backup-simplify]: Simplify (* (sin delta) 0) into 0 33.012 * [backup-simplify]: Simplify (- 0) into 0 33.012 * [backup-simplify]: Simplify (+ (cos delta) 0) into (cos delta) 33.012 * [backup-simplify]: Simplify (* 0 (cos delta)) into 0 33.012 * [taylor]: Taking taylor expansion of 0 in delta 33.012 * [backup-simplify]: Simplify 0 into 0 33.012 * [backup-simplify]: Simplify 0 into 0 33.012 * [backup-simplify]: Simplify (+ 0) into 0 33.013 * [backup-simplify]: Simplify (+ (* (cos delta) 0) (* 0 1)) into 0 33.014 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 33.014 * [backup-simplify]: Simplify (+ (* (sin delta) 0) (* 0 0)) into 0 33.015 * [backup-simplify]: Simplify (- 0) into 0 33.016 * [backup-simplify]: Simplify (+ 0 0) into 0 33.016 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 33.017 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (cos delta))) into (cos delta) 33.017 * [taylor]: Taking taylor expansion of (cos delta) in delta 33.017 * [taylor]: Taking taylor expansion of delta in delta 33.017 * [backup-simplify]: Simplify 0 into 0 33.017 * [backup-simplify]: Simplify 1 into 1 33.017 * [backup-simplify]: Simplify 1 into 1 33.017 * [backup-simplify]: Simplify 0 into 0 33.018 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 33.019 * [backup-simplify]: Simplify (+ (* (cos delta) 0) (+ (* 0 0) (* 0 1))) into 0 33.019 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 33.020 * [backup-simplify]: Simplify (+ (* (sin delta) 0) (+ (* 0 0) (* 0 0))) into 0 33.020 * [backup-simplify]: Simplify (- 0) into 0 33.020 * [backup-simplify]: Simplify (+ 0 0) into 0 33.021 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 33.021 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (cos delta)))) into 0 33.021 * [taylor]: Taking taylor expansion of 0 in delta 33.021 * [backup-simplify]: Simplify 0 into 0 33.021 * [backup-simplify]: Simplify 0 into 0 33.021 * [backup-simplify]: Simplify (+ 0) into 0 33.021 * [backup-simplify]: Simplify 0 into 0 33.022 * [backup-simplify]: Simplify 0 into 0 33.022 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 33.023 * [backup-simplify]: Simplify (+ (* (cos delta) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 33.023 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 33.024 * [backup-simplify]: Simplify (+ (* (sin delta) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 33.024 * [backup-simplify]: Simplify (- 0) into 0 33.024 * [backup-simplify]: Simplify (+ 0 0) into 0 33.025 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6 33.026 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* -1/6 (cos delta))))) into (- (* 1/6 (cos delta))) 33.026 * [taylor]: Taking taylor expansion of (- (* 1/6 (cos delta))) in delta 33.026 * [taylor]: Taking taylor expansion of (* 1/6 (cos delta)) in delta 33.026 * [taylor]: Taking taylor expansion of 1/6 in delta 33.026 * [backup-simplify]: Simplify 1/6 into 1/6 33.026 * [taylor]: Taking taylor expansion of (cos delta) in delta 33.026 * [taylor]: Taking taylor expansion of delta in delta 33.026 * [backup-simplify]: Simplify 0 into 0 33.026 * [backup-simplify]: Simplify 1 into 1 33.026 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 33.027 * [backup-simplify]: Simplify (- 1/6) into -1/6 33.027 * [backup-simplify]: Simplify -1/6 into -1/6 33.027 * [backup-simplify]: Simplify 0 into 0 33.027 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 33.027 * [backup-simplify]: Simplify -1/2 into -1/2 33.028 * [backup-simplify]: Simplify (+ (* -1/2 (* (pow delta 2) phi1)) (+ (* -1/6 (pow (* 1 phi1) 3)) (* 1 (* 1 phi1)))) into (- phi1 (+ (* 1/2 (* phi1 (pow delta 2))) (* 1/6 (pow phi1 3)))) 33.028 * [backup-simplify]: Simplify (* (sin (/ 1 phi1)) (cos (/ 1 delta))) into (* (cos (/ 1 delta)) (sin (/ 1 phi1))) 33.028 * [approximate]: Taking taylor expansion of (* (cos (/ 1 delta)) (sin (/ 1 phi1))) in (phi1 delta) around 0 33.028 * [taylor]: Taking taylor expansion of (* (cos (/ 1 delta)) (sin (/ 1 phi1))) in delta 33.028 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in delta 33.028 * [taylor]: Taking taylor expansion of (/ 1 delta) in delta 33.028 * [taylor]: Taking taylor expansion of delta in delta 33.028 * [backup-simplify]: Simplify 0 into 0 33.028 * [backup-simplify]: Simplify 1 into 1 33.028 * [backup-simplify]: Simplify (/ 1 1) into 1 33.028 * [backup-simplify]: Simplify (cos (/ 1 delta)) into (cos (/ 1 delta)) 33.028 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in delta 33.028 * [taylor]: Taking taylor expansion of (/ 1 phi1) in delta 33.028 * [taylor]: Taking taylor expansion of phi1 in delta 33.028 * [backup-simplify]: Simplify phi1 into phi1 33.028 * [backup-simplify]: Simplify (/ 1 phi1) into (/ 1 phi1) 33.028 * [backup-simplify]: Simplify (sin (/ 1 phi1)) into (sin (/ 1 phi1)) 33.028 * [backup-simplify]: Simplify (cos (/ 1 phi1)) into (cos (/ 1 phi1)) 33.028 * [taylor]: Taking taylor expansion of (* (cos (/ 1 delta)) (sin (/ 1 phi1))) in phi1 33.028 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in phi1 33.028 * [taylor]: Taking taylor expansion of (/ 1 delta) in phi1 33.028 * [taylor]: Taking taylor expansion of delta in phi1 33.028 * [backup-simplify]: Simplify delta into delta 33.028 * [backup-simplify]: Simplify (/ 1 delta) into (/ 1 delta) 33.029 * [backup-simplify]: Simplify (cos (/ 1 delta)) into (cos (/ 1 delta)) 33.029 * [backup-simplify]: Simplify (sin (/ 1 delta)) into (sin (/ 1 delta)) 33.029 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1 33.029 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 33.029 * [taylor]: Taking taylor expansion of phi1 in phi1 33.029 * [backup-simplify]: Simplify 0 into 0 33.029 * [backup-simplify]: Simplify 1 into 1 33.029 * [backup-simplify]: Simplify (/ 1 1) into 1 33.029 * [backup-simplify]: Simplify (sin (/ 1 phi1)) into (sin (/ 1 phi1)) 33.029 * [taylor]: Taking taylor expansion of (* (cos (/ 1 delta)) (sin (/ 1 phi1))) in phi1 33.029 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in phi1 33.029 * [taylor]: Taking taylor expansion of (/ 1 delta) in phi1 33.029 * [taylor]: Taking taylor expansion of delta in phi1 33.029 * [backup-simplify]: Simplify delta into delta 33.029 * [backup-simplify]: Simplify (/ 1 delta) into (/ 1 delta) 33.029 * [backup-simplify]: Simplify (cos (/ 1 delta)) into (cos (/ 1 delta)) 33.029 * [backup-simplify]: Simplify (sin (/ 1 delta)) into (sin (/ 1 delta)) 33.029 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1 33.029 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 33.029 * [taylor]: Taking taylor expansion of phi1 in phi1 33.029 * [backup-simplify]: Simplify 0 into 0 33.029 * [backup-simplify]: Simplify 1 into 1 33.029 * [backup-simplify]: Simplify (/ 1 1) into 1 33.030 * [backup-simplify]: Simplify (sin (/ 1 phi1)) into (sin (/ 1 phi1)) 33.030 * [backup-simplify]: Simplify (* (cos (/ 1 delta)) 1) into (cos (/ 1 delta)) 33.030 * [backup-simplify]: Simplify (* (sin (/ 1 delta)) 0) into 0 33.030 * [backup-simplify]: Simplify (- 0) into 0 33.030 * [backup-simplify]: Simplify (+ (cos (/ 1 delta)) 0) into (cos (/ 1 delta)) 33.030 * [backup-simplify]: Simplify (* (cos (/ 1 delta)) (sin (/ 1 phi1))) into (* (sin (/ 1 phi1)) (cos (/ 1 delta))) 33.030 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (cos (/ 1 delta))) in delta 33.030 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in delta 33.030 * [taylor]: Taking taylor expansion of (/ 1 phi1) in delta 33.030 * [taylor]: Taking taylor expansion of phi1 in delta 33.030 * [backup-simplify]: Simplify phi1 into phi1 33.030 * [backup-simplify]: Simplify (/ 1 phi1) into (/ 1 phi1) 33.030 * [backup-simplify]: Simplify (sin (/ 1 phi1)) into (sin (/ 1 phi1)) 33.030 * [backup-simplify]: Simplify (cos (/ 1 phi1)) into (cos (/ 1 phi1)) 33.030 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in delta 33.030 * [taylor]: Taking taylor expansion of (/ 1 delta) in delta 33.030 * [taylor]: Taking taylor expansion of delta in delta 33.030 * [backup-simplify]: Simplify 0 into 0 33.030 * [backup-simplify]: Simplify 1 into 1 33.031 * [backup-simplify]: Simplify (/ 1 1) into 1 33.031 * [backup-simplify]: Simplify (cos (/ 1 delta)) into (cos (/ 1 delta)) 33.031 * [backup-simplify]: Simplify (* (sin (/ 1 phi1)) 1) into (sin (/ 1 phi1)) 33.031 * [backup-simplify]: Simplify (* (cos (/ 1 phi1)) 0) into 0 33.031 * [backup-simplify]: Simplify (+ (sin (/ 1 phi1)) 0) into (sin (/ 1 phi1)) 33.031 * [backup-simplify]: Simplify (* (sin (/ 1 phi1)) (cos (/ 1 delta))) into (* (cos (/ 1 delta)) (sin (/ 1 phi1))) 33.031 * [backup-simplify]: Simplify (* (cos (/ 1 delta)) (sin (/ 1 phi1))) into (* (sin (/ 1 phi1)) (cos (/ 1 delta))) 33.031 * [backup-simplify]: Simplify (+ 0) into 0 33.032 * [backup-simplify]: Simplify (+ (* (cos (/ 1 delta)) 0) (* 0 1)) into 0 33.032 * [backup-simplify]: Simplify (- (+ (* (/ 1 delta) (/ 0 delta)))) into 0 33.032 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 33.032 * [backup-simplify]: Simplify (+ (* (sin (/ 1 delta)) 0) (* 0 0)) into 0 33.033 * [backup-simplify]: Simplify (- 0) into 0 33.033 * [backup-simplify]: Simplify (+ 0 0) into 0 33.033 * [backup-simplify]: Simplify (+ (* (cos (/ 1 delta)) 0) (* 0 (sin (/ 1 phi1)))) into 0 33.033 * [taylor]: Taking taylor expansion of 0 in delta 33.033 * [backup-simplify]: Simplify 0 into 0 33.033 * [backup-simplify]: Simplify 0 into 0 33.033 * [backup-simplify]: Simplify (+ 0) into 0 33.034 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi1)) 0) (* 0 1)) into 0 33.034 * [backup-simplify]: Simplify (- (+ (* (/ 1 phi1) (/ 0 phi1)))) into 0 33.034 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 33.035 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi1)) 0) (* 0 0)) into 0 33.035 * [backup-simplify]: Simplify (+ 0 0) into 0 33.035 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi1)) 0) (* 0 (cos (/ 1 delta)))) into 0 33.035 * [backup-simplify]: Simplify 0 into 0 33.036 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 33.036 * [backup-simplify]: Simplify (+ (* (cos (/ 1 delta)) 0) (+ (* 0 0) (* 0 1))) into 0 33.036 * [backup-simplify]: Simplify (- (+ (* (/ 1 delta) (/ 0 delta)) (* 0 (/ 0 delta)))) into 0 33.037 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 33.037 * [backup-simplify]: Simplify (+ (* (sin (/ 1 delta)) 0) (+ (* 0 0) (* 0 0))) into 0 33.038 * [backup-simplify]: Simplify (- 0) into 0 33.038 * [backup-simplify]: Simplify (+ 0 0) into 0 33.038 * [backup-simplify]: Simplify (+ (* (cos (/ 1 delta)) 0) (+ (* 0 0) (* 0 (sin (/ 1 phi1))))) into 0 33.038 * [taylor]: Taking taylor expansion of 0 in delta 33.038 * [backup-simplify]: Simplify 0 into 0 33.038 * [backup-simplify]: Simplify 0 into 0 33.038 * [backup-simplify]: Simplify 0 into 0 33.039 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 33.039 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi1)) 0) (+ (* 0 0) (* 0 1))) into 0 33.039 * [backup-simplify]: Simplify (- (+ (* (/ 1 phi1) (/ 0 phi1)) (* 0 (/ 0 phi1)))) into 0 33.040 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 33.040 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi1)) 0) (+ (* 0 0) (* 0 0))) into 0 33.041 * [backup-simplify]: Simplify (+ 0 0) into 0 33.041 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi1)) 0) (+ (* 0 0) (* 0 (cos (/ 1 delta))))) into 0 33.041 * [backup-simplify]: Simplify 0 into 0 33.041 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 33.042 * [backup-simplify]: Simplify (+ (* (cos (/ 1 delta)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 33.042 * [backup-simplify]: Simplify (- (+ (* (/ 1 delta) (/ 0 delta)) (* 0 (/ 0 delta)) (* 0 (/ 0 delta)))) into 0 33.043 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 33.043 * [backup-simplify]: Simplify (+ (* (sin (/ 1 delta)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 33.044 * [backup-simplify]: Simplify (- 0) into 0 33.044 * [backup-simplify]: Simplify (+ 0 0) into 0 33.044 * [backup-simplify]: Simplify (+ (* (cos (/ 1 delta)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 phi1)))))) into 0 33.044 * [taylor]: Taking taylor expansion of 0 in delta 33.044 * [backup-simplify]: Simplify 0 into 0 33.045 * [backup-simplify]: Simplify 0 into 0 33.045 * [backup-simplify]: Simplify (* (sin (/ 1 (/ 1 phi1))) (cos (/ 1 (/ 1 delta)))) into (* (sin phi1) (cos delta)) 33.045 * [backup-simplify]: Simplify (* (sin (/ 1 (- phi1))) (cos (/ 1 (- delta)))) into (* (sin (/ -1 phi1)) (cos (/ -1 delta))) 33.045 * [approximate]: Taking taylor expansion of (* (sin (/ -1 phi1)) (cos (/ -1 delta))) in (phi1 delta) around 0 33.045 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (cos (/ -1 delta))) in delta 33.045 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in delta 33.045 * [taylor]: Taking taylor expansion of (/ -1 phi1) in delta 33.045 * [taylor]: Taking taylor expansion of -1 in delta 33.045 * [backup-simplify]: Simplify -1 into -1 33.045 * [taylor]: Taking taylor expansion of phi1 in delta 33.045 * [backup-simplify]: Simplify phi1 into phi1 33.045 * [backup-simplify]: Simplify (/ -1 phi1) into (/ -1 phi1) 33.045 * [backup-simplify]: Simplify (sin (/ -1 phi1)) into (sin (/ -1 phi1)) 33.045 * [backup-simplify]: Simplify (cos (/ -1 phi1)) into (cos (/ -1 phi1)) 33.045 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in delta 33.045 * [taylor]: Taking taylor expansion of (/ -1 delta) in delta 33.045 * [taylor]: Taking taylor expansion of -1 in delta 33.045 * [backup-simplify]: Simplify -1 into -1 33.045 * [taylor]: Taking taylor expansion of delta in delta 33.045 * [backup-simplify]: Simplify 0 into 0 33.045 * [backup-simplify]: Simplify 1 into 1 33.045 * [backup-simplify]: Simplify (/ -1 1) into -1 33.045 * [backup-simplify]: Simplify (cos (/ -1 delta)) into (cos (/ -1 delta)) 33.045 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (cos (/ -1 delta))) in phi1 33.045 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1 33.046 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 33.046 * [taylor]: Taking taylor expansion of -1 in phi1 33.046 * [backup-simplify]: Simplify -1 into -1 33.046 * [taylor]: Taking taylor expansion of phi1 in phi1 33.046 * [backup-simplify]: Simplify 0 into 0 33.046 * [backup-simplify]: Simplify 1 into 1 33.046 * [backup-simplify]: Simplify (/ -1 1) into -1 33.046 * [backup-simplify]: Simplify (sin (/ -1 phi1)) into (sin (/ -1 phi1)) 33.046 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in phi1 33.046 * [taylor]: Taking taylor expansion of (/ -1 delta) in phi1 33.046 * [taylor]: Taking taylor expansion of -1 in phi1 33.046 * [backup-simplify]: Simplify -1 into -1 33.046 * [taylor]: Taking taylor expansion of delta in phi1 33.046 * [backup-simplify]: Simplify delta into delta 33.046 * [backup-simplify]: Simplify (/ -1 delta) into (/ -1 delta) 33.046 * [backup-simplify]: Simplify (cos (/ -1 delta)) into (cos (/ -1 delta)) 33.046 * [backup-simplify]: Simplify (sin (/ -1 delta)) into (sin (/ -1 delta)) 33.046 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (cos (/ -1 delta))) in phi1 33.046 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1 33.046 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 33.046 * [taylor]: Taking taylor expansion of -1 in phi1 33.046 * [backup-simplify]: Simplify -1 into -1 33.046 * [taylor]: Taking taylor expansion of phi1 in phi1 33.046 * [backup-simplify]: Simplify 0 into 0 33.046 * [backup-simplify]: Simplify 1 into 1 33.047 * [backup-simplify]: Simplify (/ -1 1) into -1 33.047 * [backup-simplify]: Simplify (sin (/ -1 phi1)) into (sin (/ -1 phi1)) 33.047 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in phi1 33.047 * [taylor]: Taking taylor expansion of (/ -1 delta) in phi1 33.047 * [taylor]: Taking taylor expansion of -1 in phi1 33.047 * [backup-simplify]: Simplify -1 into -1 33.047 * [taylor]: Taking taylor expansion of delta in phi1 33.047 * [backup-simplify]: Simplify delta into delta 33.047 * [backup-simplify]: Simplify (/ -1 delta) into (/ -1 delta) 33.047 * [backup-simplify]: Simplify (cos (/ -1 delta)) into (cos (/ -1 delta)) 33.047 * [backup-simplify]: Simplify (sin (/ -1 delta)) into (sin (/ -1 delta)) 33.047 * [backup-simplify]: Simplify (* (cos (/ -1 delta)) 1) into (cos (/ -1 delta)) 33.047 * [backup-simplify]: Simplify (* (sin (/ -1 delta)) 0) into 0 33.047 * [backup-simplify]: Simplify (- 0) into 0 33.047 * [backup-simplify]: Simplify (+ (cos (/ -1 delta)) 0) into (cos (/ -1 delta)) 33.047 * [backup-simplify]: Simplify (* (sin (/ -1 phi1)) (cos (/ -1 delta))) into (* (sin (/ -1 phi1)) (cos (/ -1 delta))) 33.047 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (cos (/ -1 delta))) in delta 33.047 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in delta 33.047 * [taylor]: Taking taylor expansion of (/ -1 phi1) in delta 33.048 * [taylor]: Taking taylor expansion of -1 in delta 33.048 * [backup-simplify]: Simplify -1 into -1 33.048 * [taylor]: Taking taylor expansion of phi1 in delta 33.048 * [backup-simplify]: Simplify phi1 into phi1 33.048 * [backup-simplify]: Simplify (/ -1 phi1) into (/ -1 phi1) 33.048 * [backup-simplify]: Simplify (sin (/ -1 phi1)) into (sin (/ -1 phi1)) 33.048 * [backup-simplify]: Simplify (cos (/ -1 phi1)) into (cos (/ -1 phi1)) 33.048 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in delta 33.048 * [taylor]: Taking taylor expansion of (/ -1 delta) in delta 33.048 * [taylor]: Taking taylor expansion of -1 in delta 33.048 * [backup-simplify]: Simplify -1 into -1 33.048 * [taylor]: Taking taylor expansion of delta in delta 33.048 * [backup-simplify]: Simplify 0 into 0 33.048 * [backup-simplify]: Simplify 1 into 1 33.048 * [backup-simplify]: Simplify (/ -1 1) into -1 33.048 * [backup-simplify]: Simplify (cos (/ -1 delta)) into (cos (/ -1 delta)) 33.048 * [backup-simplify]: Simplify (* (sin (/ -1 phi1)) 1) into (sin (/ -1 phi1)) 33.048 * [backup-simplify]: Simplify (* (cos (/ -1 phi1)) 0) into 0 33.048 * [backup-simplify]: Simplify (+ (sin (/ -1 phi1)) 0) into (sin (/ -1 phi1)) 33.048 * [backup-simplify]: Simplify (* (sin (/ -1 phi1)) (cos (/ -1 delta))) into (* (sin (/ -1 phi1)) (cos (/ -1 delta))) 33.048 * [backup-simplify]: Simplify (* (sin (/ -1 phi1)) (cos (/ -1 delta))) into (* (sin (/ -1 phi1)) (cos (/ -1 delta))) 33.049 * [backup-simplify]: Simplify (+ 0) into 0 33.049 * [backup-simplify]: Simplify (+ (* (cos (/ -1 delta)) 0) (* 0 1)) into 0 33.049 * [backup-simplify]: Simplify (- (/ 0 delta) (+ (* (/ -1 delta) (/ 0 delta)))) into 0 33.050 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 33.050 * [backup-simplify]: Simplify (+ (* (sin (/ -1 delta)) 0) (* 0 0)) into 0 33.050 * [backup-simplify]: Simplify (- 0) into 0 33.050 * [backup-simplify]: Simplify (+ 0 0) into 0 33.051 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi1)) 0) (* 0 (cos (/ -1 delta)))) into 0 33.051 * [taylor]: Taking taylor expansion of 0 in delta 33.051 * [backup-simplify]: Simplify 0 into 0 33.051 * [backup-simplify]: Simplify 0 into 0 33.051 * [backup-simplify]: Simplify (+ 0) into 0 33.051 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi1)) 0) (* 0 1)) into 0 33.052 * [backup-simplify]: Simplify (- (/ 0 phi1) (+ (* (/ -1 phi1) (/ 0 phi1)))) into 0 33.052 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 33.053 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi1)) 0) (* 0 0)) into 0 33.053 * [backup-simplify]: Simplify (+ 0 0) into 0 33.053 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi1)) 0) (* 0 (cos (/ -1 delta)))) into 0 33.053 * [backup-simplify]: Simplify 0 into 0 33.054 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 33.055 * [backup-simplify]: Simplify (+ (* (cos (/ -1 delta)) 0) (+ (* 0 0) (* 0 1))) into 0 33.055 * [backup-simplify]: Simplify (- (/ 0 delta) (+ (* (/ -1 delta) (/ 0 delta)) (* 0 (/ 0 delta)))) into 0 33.056 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 33.057 * [backup-simplify]: Simplify (+ (* (sin (/ -1 delta)) 0) (+ (* 0 0) (* 0 0))) into 0 33.057 * [backup-simplify]: Simplify (- 0) into 0 33.057 * [backup-simplify]: Simplify (+ 0 0) into 0 33.058 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi1)) 0) (+ (* 0 0) (* 0 (cos (/ -1 delta))))) into 0 33.058 * [taylor]: Taking taylor expansion of 0 in delta 33.058 * [backup-simplify]: Simplify 0 into 0 33.058 * [backup-simplify]: Simplify 0 into 0 33.058 * [backup-simplify]: Simplify 0 into 0 33.059 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 33.060 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi1)) 0) (+ (* 0 0) (* 0 1))) into 0 33.060 * [backup-simplify]: Simplify (- (/ 0 phi1) (+ (* (/ -1 phi1) (/ 0 phi1)) (* 0 (/ 0 phi1)))) into 0 33.061 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 33.061 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi1)) 0) (+ (* 0 0) (* 0 0))) into 0 33.061 * [backup-simplify]: Simplify (+ 0 0) into 0 33.062 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi1)) 0) (+ (* 0 0) (* 0 (cos (/ -1 delta))))) into 0 33.062 * [backup-simplify]: Simplify 0 into 0 33.063 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 33.064 * [backup-simplify]: Simplify (+ (* (cos (/ -1 delta)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 33.064 * [backup-simplify]: Simplify (- (/ 0 delta) (+ (* (/ -1 delta) (/ 0 delta)) (* 0 (/ 0 delta)) (* 0 (/ 0 delta)))) into 0 33.066 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 33.066 * [backup-simplify]: Simplify (+ (* (sin (/ -1 delta)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 33.067 * [backup-simplify]: Simplify (- 0) into 0 33.067 * [backup-simplify]: Simplify (+ 0 0) into 0 33.068 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi1)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 delta)))))) into 0 33.068 * [taylor]: Taking taylor expansion of 0 in delta 33.068 * [backup-simplify]: Simplify 0 into 0 33.068 * [backup-simplify]: Simplify 0 into 0 33.068 * [backup-simplify]: Simplify (* (sin (/ -1 (/ 1 (- phi1)))) (cos (/ -1 (/ 1 (- delta))))) into (* (sin phi1) (cos delta)) 33.068 * * * [progress]: simplifying candidates 33.068 * * * * [progress]: [ 1 / 74 ] simplifiying candidate # 33.068 * * * * [progress]: [ 2 / 74 ] simplifiying candidate # 33.069 * * * * [progress]: [ 3 / 74 ] simplifiying candidate # 33.069 * * * * [progress]: [ 4 / 74 ] simplifiying candidate # 33.069 * * * * [progress]: [ 5 / 74 ] simplifiying candidate # 33.069 * * * * [progress]: [ 6 / 74 ] simplifiying candidate # 33.069 * * * * [progress]: [ 7 / 74 ] simplifiying candidate # 33.069 * * * * [progress]: [ 8 / 74 ] simplifiying candidate # 33.069 * * * * [progress]: [ 9 / 74 ] simplifiying candidate # 33.069 * * * * [progress]: [ 10 / 74 ] simplifiying candidate # 33.069 * * * * [progress]: [ 11 / 74 ] simplifiying candidate # 33.069 * * * * [progress]: [ 12 / 74 ] simplifiying candidate # 33.069 * * * * [progress]: [ 13 / 74 ] simplifiying candidate #real (real->posit16 (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))))))> 33.069 * * * * [progress]: [ 14 / 74 ] simplifiying candidate # 33.069 * * * * [progress]: [ 15 / 74 ] simplifiying candidate # 33.070 * * * * [progress]: [ 16 / 74 ] simplifiying candidate # 33.070 * * * * [progress]: [ 17 / 74 ] simplifiying candidate # 33.070 * * * * [progress]: [ 18 / 74 ] simplifiying candidate # 33.070 * * * * [progress]: [ 19 / 74 ] simplifiying candidate # 33.070 * * * * [progress]: [ 20 / 74 ] simplifiying candidate # 33.070 * * * * [progress]: [ 21 / 74 ] simplifiying candidate # 33.070 * * * * [progress]: [ 22 / 74 ] simplifiying candidate #real (real->posit16 (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))))))> 33.070 * * * * [progress]: [ 23 / 74 ] simplifiying candidate # 33.070 * * * * [progress]: [ 24 / 74 ] simplifiying candidate # 33.070 * * * * [progress]: [ 25 / 74 ] simplifiying candidate # 33.070 * * * * [progress]: [ 26 / 74 ] simplifiying candidate # 33.070 * * * * [progress]: [ 27 / 74 ] simplifiying candidate # 33.070 * * * * [progress]: [ 28 / 74 ] simplifiying candidate # 33.070 * * * * [progress]: [ 29 / 74 ] simplifiying candidate # 33.071 * * * * [progress]: [ 30 / 74 ] simplifiying candidate # 33.071 * * * * [progress]: [ 31 / 74 ] simplifiying candidate # 33.071 * * * * [progress]: [ 32 / 74 ] simplifiying candidate # 33.071 * * * * [progress]: [ 33 / 74 ] simplifiying candidate # 33.071 * * * * [progress]: [ 34 / 74 ] simplifiying candidate # 33.071 * * * * [progress]: [ 35 / 74 ] simplifiying candidate # 33.071 * * * * [progress]: [ 36 / 74 ] simplifiying candidate # 33.071 * * * * [progress]: [ 37 / 74 ] simplifiying candidate # 33.071 * * * * [progress]: [ 38 / 74 ] simplifiying candidate # 33.071 * * * * [progress]: [ 39 / 74 ] simplifiying candidate # 33.071 * * * * [progress]: [ 40 / 74 ] simplifiying candidate # 33.072 * * * * [progress]: [ 41 / 74 ] simplifiying candidate #real (real->posit16 (* (sin theta) (sin delta)))) (cos phi1)) (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))))> 33.072 * * * * [progress]: [ 42 / 74 ] simplifiying candidate # 33.072 * * * * [progress]: [ 43 / 74 ] simplifiying candidate # 33.072 * * * * [progress]: [ 44 / 74 ] simplifiying candidate # 33.072 * * * * [progress]: [ 45 / 74 ] simplifiying candidate # 33.072 * * * * [progress]: [ 46 / 74 ] simplifiying candidate # 33.072 * * * * [progress]: [ 47 / 74 ] simplifiying candidate # 33.072 * * * * [progress]: [ 48 / 74 ] simplifiying candidate # 33.072 * * * * [progress]: [ 49 / 74 ] simplifiying candidate # 33.072 * * * * [progress]: [ 50 / 74 ] simplifiying candidate # 33.072 * * * * [progress]: [ 51 / 74 ] simplifiying candidate # 33.072 * * * * [progress]: [ 52 / 74 ] simplifiying candidate # 33.072 * * * * [progress]: [ 53 / 74 ] simplifiying candidate # 33.072 * * * * [progress]: [ 54 / 74 ] simplifiying candidate # 33.073 * * * * [progress]: [ 55 / 74 ] simplifiying candidate # 33.073 * * * * [progress]: [ 56 / 74 ] simplifiying candidate # 33.073 * * * * [progress]: [ 57 / 74 ] simplifiying candidate # 33.073 * * * * [progress]: [ 58 / 74 ] simplifiying candidate # 33.073 * * * * [progress]: [ 59 / 74 ] simplifiying candidate # 33.073 * * * * [progress]: [ 60 / 74 ] simplifiying candidate # 33.073 * * * * [progress]: [ 61 / 74 ] simplifiying candidate #real (real->posit16 (* (sin phi1) (cos delta)))) (* (* (cos phi1) (sin delta)) (cos theta))))))))))> 33.073 * * * * [progress]: [ 62 / 74 ] simplifiying candidate # 33.073 * * * * [progress]: [ 63 / 74 ] simplifiying candidate # 33.073 * * * * [progress]: [ 64 / 74 ] simplifiying candidate # 33.074 * * * * [progress]: [ 65 / 74 ] simplifiying candidate # 33.074 * * * * [progress]: [ 66 / 74 ] simplifiying candidate # 33.074 * * * * [progress]: [ 67 / 74 ] simplifiying candidate # 33.074 * * * * [progress]: [ 68 / 74 ] simplifiying candidate # 33.074 * * * * [progress]: [ 69 / 74 ] simplifiying candidate # 33.074 * * * * [progress]: [ 70 / 74 ] simplifiying candidate # 33.074 * * * * [progress]: [ 71 / 74 ] simplifiying candidate # 33.074 * * * * [progress]: [ 72 / 74 ] simplifiying candidate # 33.074 * * * * [progress]: [ 73 / 74 ] simplifiying candidate # 33.074 * * * * [progress]: [ 74 / 74 ] simplifiying candidate # 33.075 * [simplify]: Simplifying: (/ (exp (cos delta)) (exp (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (log (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (exp (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (* (cbrt (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (cbrt (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))) (cbrt (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (* (* (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (sqrt (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (sqrt (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (- (pow (cos delta) 3) (pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3)) (+ (* (cos delta) (cos delta)) (+ (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (* (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))) (- (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (- (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (real->posit16 (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (/ PI 2) (acos (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))) (log (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (exp (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (* (cbrt (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (cbrt (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (cbrt (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (* (* (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))) (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sqrt (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sqrt (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (real->posit16 (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (- (cos (- theta delta)) (cos (+ theta delta))) (* (sin theta) (sin delta)) (+ (log (sin theta)) (log (sin delta))) (log (* (sin theta) (sin delta))) (exp (* (sin theta) (sin delta))) (* (* (* (sin theta) (sin theta)) (sin theta)) (* (* (sin delta) (sin delta)) (sin delta))) (* (cbrt (* (sin theta) (sin delta))) (cbrt (* (sin theta) (sin delta)))) (cbrt (* (sin theta) (sin delta))) (* (* (* (sin theta) (sin delta)) (* (sin theta) (sin delta))) (* (sin theta) (sin delta))) (sqrt (* (sin theta) (sin delta))) (sqrt (* (sin theta) (sin delta))) (* (sqrt (sin theta)) (sqrt (sin delta))) (* (sqrt (sin theta)) (sqrt (sin delta))) (* (sin theta) (* (cbrt (sin delta)) (cbrt (sin delta)))) (* (sin theta) (sqrt (sin delta))) (* (sin theta) 1) (* (cbrt (sin theta)) (sin delta)) (* (sqrt (sin theta)) (sin delta)) (* (sin theta) (sin delta)) (real->posit16 (* (sin theta) (sin delta))) (+ (sin (- phi1 delta)) (sin (+ phi1 delta))) (* (sin phi1) (cos delta)) (+ (log (sin phi1)) (log (cos delta))) (log (* (sin phi1) (cos delta))) (exp (* (sin phi1) (cos delta))) (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (cos delta) (cos delta)) (cos delta))) (* (cbrt (* (sin phi1) (cos delta))) (cbrt (* (sin phi1) (cos delta)))) (cbrt (* (sin phi1) (cos delta))) (* (* (* (sin phi1) (cos delta)) (* (sin phi1) (cos delta))) (* (sin phi1) (cos delta))) (sqrt (* (sin phi1) (cos delta))) (sqrt (* (sin phi1) (cos delta))) (* (sqrt (sin phi1)) (sqrt (cos delta))) (* (sqrt (sin phi1)) (sqrt (cos delta))) (* (sin phi1) (* (cbrt (cos delta)) (cbrt (cos delta)))) (* (sin phi1) (sqrt (cos delta))) (* (sin phi1) 1) (* (cbrt (sin phi1)) (cos delta)) (* (sqrt (sin phi1)) (cos delta)) (* (sin phi1) (cos delta)) (real->posit16 (* (sin phi1) (cos delta))) (- 1 (+ (* phi1 delta) (* 1/2 (pow delta 2)))) (- (cos delta) (+ (* (pow (sin phi1) 2) (cos delta)) (* (sin phi1) (* (cos phi1) (* (cos theta) (sin delta)))))) (- (cos delta) (+ (* (pow (sin phi1) 2) (cos delta)) (* (sin phi1) (* (sin delta) (* (cos theta) (cos phi1)))))) (asin (+ (* (sin phi1) (cos delta)) (* (cos phi1) (* (sin delta) (cos theta))))) (asin (+ (* (sin phi1) (cos delta)) (* (sin delta) (* (cos theta) (cos phi1))))) (asin (+ (* (sin phi1) (cos delta)) (* (cos phi1) (* (cos theta) (sin delta))))) (* theta delta) (* (sin theta) (sin delta)) (* (sin theta) (sin delta)) (- phi1 (+ (* 1/2 (* phi1 (pow delta 2))) (* 1/6 (pow phi1 3)))) (* (sin phi1) (cos delta)) (* (sin phi1) (cos delta)) 33.078 * * [simplify]: iteration 1: (151 enodes) 33.141 * * [simplify]: iteration 2: (321 enodes) 33.290 * * [simplify]: iteration 3: (738 enodes) 33.854 * * [simplify]: Extracting #0: cost 56 inf + 0 33.855 * * [simplify]: Extracting #1: cost 257 inf + 0 33.859 * * [simplify]: Extracting #2: cost 588 inf + 680 33.870 * * [simplify]: Extracting #3: cost 459 inf + 31462 33.896 * * [simplify]: Extracting #4: cost 248 inf + 90173 33.948 * * [simplify]: Extracting #5: cost 96 inf + 187559 34.028 * * [simplify]: Extracting #6: cost 8 inf + 257042 34.082 * * [simplify]: Extracting #7: cost 0 inf + 264048 34.140 * [simplify]: Simplified to: (exp (- (cos delta) (* (sin (asin (+ (* (* (sin delta) (cos phi1)) (cos theta)) (* (cos delta) (sin phi1))))) (sin phi1)))) (log (- (cos delta) (* (sin (asin (+ (* (* (sin delta) (cos phi1)) (cos theta)) (* (cos delta) (sin phi1))))) (sin phi1)))) (exp (- (cos delta) (* (sin (asin (+ (* (* (sin delta) (cos phi1)) (cos theta)) (* (cos delta) (sin phi1))))) (sin phi1)))) (* (cbrt (- (cos delta) (* (sin (asin (+ (* (* (sin delta) (cos phi1)) (cos theta)) (* (cos delta) (sin phi1))))) (sin phi1)))) (cbrt (- (cos delta) (* (sin (asin (+ (* (* (sin delta) (cos phi1)) (cos theta)) (* (cos delta) (sin phi1))))) (sin phi1))))) (cbrt (- (cos delta) (* (sin (asin (+ (* (* (sin delta) (cos phi1)) (cos theta)) (* (cos delta) (sin phi1))))) (sin phi1)))) (* (* (- (cos delta) (* (sin (asin (+ (* (* (sin delta) (cos phi1)) (cos theta)) (* (cos delta) (sin phi1))))) (sin phi1))) (- (cos delta) (* (sin (asin (+ (* (* (sin delta) (cos phi1)) (cos theta)) (* (cos delta) (sin phi1))))) (sin phi1)))) (- (cos delta) (* (sin (asin (+ (* (* (sin delta) (cos phi1)) (cos theta)) (* (cos delta) (sin phi1))))) (sin phi1)))) (sqrt (- (cos delta) (* (sin (asin (+ (* (* (sin delta) (cos phi1)) (cos theta)) (* (cos delta) (sin phi1))))) (sin phi1)))) (sqrt (- (cos delta) (* (sin (asin (+ (* (* (sin delta) (cos phi1)) (cos theta)) (* (cos delta) (sin phi1))))) (sin phi1)))) (- (* (cos delta) (* (cos delta) (cos delta))) (* (* (sin (asin (+ (* (* (sin delta) (cos phi1)) (cos theta)) (* (cos delta) (sin phi1))))) (sin phi1)) (* (* (sin (asin (+ (* (* (sin delta) (cos phi1)) (cos theta)) (* (cos delta) (sin phi1))))) (sin phi1)) (* (sin (asin (+ (* (* (sin delta) (cos phi1)) (cos theta)) (* (cos delta) (sin phi1))))) (sin phi1))))) (+ (* (cos delta) (cos delta)) (* (* (sin (asin (+ (* (* (sin delta) (cos phi1)) (cos theta)) (* (cos delta) (sin phi1))))) (sin phi1)) (+ (cos delta) (* (sin (asin (+ (* (* (sin delta) (cos phi1)) (cos theta)) (* (cos delta) (sin phi1))))) (sin phi1))))) (* (sin (asin (+ (* (* (sin delta) (cos phi1)) (cos theta)) (* (cos delta) (sin phi1))))) (- (sin phi1))) (* (+ (* (sin (asin (+ (* (* (sin delta) (cos phi1)) (cos theta)) (* (cos delta) (sin phi1))))) (sin phi1)) (cos delta)) (- (cos delta) (* (sin (asin (+ (* (* (sin delta) (cos phi1)) (cos theta)) (* (cos delta) (sin phi1))))) (sin phi1)))) (+ (* (sin (asin (+ (* (* (sin delta) (cos phi1)) (cos theta)) (* (cos delta) (sin phi1))))) (sin phi1)) (cos delta)) (* (sin (asin (+ (* (* (sin delta) (cos phi1)) (cos theta)) (* (cos delta) (sin phi1))))) (- (sin phi1))) (real->posit16 (- (cos delta) (* (sin (asin (+ (* (* (sin delta) (cos phi1)) (cos theta)) (* (cos delta) (sin phi1))))) (sin phi1)))) (/ PI 2) (acos (+ (* (* (sin delta) (cos phi1)) (cos theta)) (* (cos delta) (sin phi1)))) (log (asin (+ (* (* (sin delta) (cos phi1)) (cos theta)) (* (cos delta) (sin phi1))))) (exp (asin (+ (* (* (sin delta) (cos phi1)) (cos theta)) (* (cos delta) (sin phi1))))) (* (cbrt (asin (+ (* (* (sin delta) (cos phi1)) (cos theta)) (* (cos delta) (sin phi1))))) (cbrt (asin (+ (* (* (sin delta) (cos phi1)) (cos theta)) (* (cos delta) (sin phi1)))))) (cbrt (asin (+ (* (* (sin delta) (cos phi1)) (cos theta)) (* (cos delta) (sin phi1))))) (* (asin (+ (* (* (sin delta) (cos phi1)) (cos theta)) (* (cos delta) (sin phi1)))) (* (asin (+ (* (* (sin delta) (cos phi1)) (cos theta)) (* (cos delta) (sin phi1)))) (asin (+ (* (* (sin delta) (cos phi1)) (cos theta)) (* (cos delta) (sin phi1)))))) (sqrt (asin (+ (* (* (sin delta) (cos phi1)) (cos theta)) (* (cos delta) (sin phi1))))) (sqrt (asin (+ (* (* (sin delta) (cos phi1)) (cos theta)) (* (cos delta) (sin phi1))))) (real->posit16 (asin (+ (* (* (sin delta) (cos phi1)) (cos theta)) (* (cos delta) (sin phi1))))) (- (cos (- theta delta)) (cos (+ delta theta))) (* (sin delta) (sin theta)) (log (* (sin delta) (sin theta))) (log (* (sin delta) (sin theta))) (exp (* (sin delta) (sin theta))) (* (* (* (sin theta) (sin delta)) (sin delta)) (* (* (sin theta) (sin delta)) (sin theta))) (* (cbrt (* (sin delta) (sin theta))) (cbrt (* (sin delta) (sin theta)))) (cbrt (* (sin delta) (sin theta))) (* (* (* (sin theta) (sin delta)) (sin delta)) (* (* (sin theta) (sin delta)) (sin theta))) (sqrt (* (sin delta) (sin theta))) (sqrt (* (sin delta) (sin theta))) (* (sqrt (sin theta)) (sqrt (sin delta))) (* (sqrt (sin theta)) (sqrt (sin delta))) (* (* (sin theta) (cbrt (sin delta))) (cbrt (sin delta))) (* (sqrt (sin delta)) (sin theta)) (sin theta) (* (sin delta) (cbrt (sin theta))) (* (sqrt (sin theta)) (sin delta)) (* (sin delta) (sin theta)) (real->posit16 (* (sin delta) (sin theta))) (+ (sin (- phi1 delta)) (sin (+ phi1 delta))) (* (cos delta) (sin phi1)) (log (* (cos delta) (sin phi1))) (log (* (cos delta) (sin phi1))) (exp (* (cos delta) (sin phi1))) (* (* (cos delta) (sin phi1)) (* (* (cos delta) (sin phi1)) (* (cos delta) (sin phi1)))) (* (cbrt (* (cos delta) (sin phi1))) (cbrt (* (cos delta) (sin phi1)))) (cbrt (* (cos delta) (sin phi1))) (* (* (cos delta) (sin phi1)) (* (* (cos delta) (sin phi1)) (* (cos delta) (sin phi1)))) (sqrt (* (cos delta) (sin phi1))) (sqrt (* (cos delta) (sin phi1))) (* (sqrt (cos delta)) (sqrt (sin phi1))) (* (sqrt (cos delta)) (sqrt (sin phi1))) (* (cbrt (cos delta)) (* (sin phi1) (cbrt (cos delta)))) (* (sqrt (cos delta)) (sin phi1)) (sin phi1) (* (cos delta) (cbrt (sin phi1))) (* (sqrt (sin phi1)) (cos delta)) (* (cos delta) (sin phi1)) (real->posit16 (* (cos delta) (sin phi1))) (- 1 (* delta (+ phi1 (* delta 1/2)))) (- (cos delta) (* (sin phi1) (+ (* (cos delta) (sin phi1)) (* (* (sin delta) (cos phi1)) (cos theta))))) (- (cos delta) (* (sin phi1) (+ (* (cos delta) (sin phi1)) (* (* (sin delta) (cos phi1)) (cos theta))))) (asin (+ (* (* (sin delta) (cos phi1)) (cos theta)) (* (cos delta) (sin phi1)))) (asin (+ (* (* (sin delta) (cos phi1)) (cos theta)) (* (cos delta) (sin phi1)))) (asin (+ (* (* (sin delta) (cos phi1)) (cos theta)) (* (cos delta) (sin phi1)))) (* theta delta) (* (sin delta) (sin theta)) (* (sin delta) (sin theta)) (- phi1 (* phi1 (+ (* 1/2 (* delta delta)) (* (* phi1 phi1) 1/6)))) (* (cos delta) (sin phi1)) (* (cos delta) (sin phi1)) 34.151 * * * [progress]: adding candidates to table 35.871 * [progress]: [Phase 3 of 3] Extracting. 35.880 * [simplify]: Simplifying: (+ lambda1 (atan2 (* (* (sin theta) (sin delta)) (cos phi1)) (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))) 35.880 * * [simplify]: iteration 1: (22 enodes) 35.881 * * [simplify]: iteration 2: (30 enodes) 35.881 * * [simplify]: Extracting #0: cost 1 inf + 0 35.881 * * [simplify]: Extracting #1: cost 3 inf + 0 35.882 * * [simplify]: Extracting #2: cost 4 inf + 1 35.882 * * [simplify]: Extracting #3: cost 8 inf + 1 35.882 * * [simplify]: Extracting #4: cost 14 inf + 1 35.882 * * [simplify]: Extracting #5: cost 11 inf + 186 35.882 * * [simplify]: Extracting #6: cost 10 inf + 248 35.882 * * [simplify]: Extracting #7: cost 10 inf + 471 35.882 * * [simplify]: Extracting #8: cost 10 inf + 896 35.882 * * [simplify]: Extracting #9: cost 8 inf + 1119 35.882 * * [simplify]: Extracting #10: cost 6 inf + 1845 35.883 * * [simplify]: Extracting #11: cost 5 inf + 2413 35.883 * * [simplify]: Extracting #12: cost 3 inf + 3709 35.883 * * [simplify]: Extracting #13: cost 1 inf + 5405 35.884 * * [simplify]: Extracting #14: cost 0 inf + 6434 35.885 * [simplify]: Simplified to: (+ (atan2 (* (cos phi1) (* (sin delta) (sin theta))) (- (cos delta) (* (sin phi1) (sin (asin (+ (* (cos delta) (sin phi1)) (* (cos theta) (* (cos phi1) (sin delta))))))))) lambda1)