0.003 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 13.463 * * * [progress]: [2/2] Setting up program. 13.468 * [progress]: [Phase 2 of 3] Improving. 13.468 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 13.468 * [simplify]: Simplifying (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))))) 13.468 * * [simplify]: iteration 1: (14 enodes) 13.471 * * [simplify]: iteration 2: (48 enodes) 13.483 * * [simplify]: iteration 3: (51 enodes) 13.496 * * [simplify]: Extracting #0: cost 1 inf + 0 13.496 * * [simplify]: Extracting #1: cost 4 inf + 0 13.496 * * [simplify]: Extracting #2: cost 6 inf + 1 13.496 * * [simplify]: Extracting #3: cost 12 inf + 1 13.496 * * [simplify]: Extracting #4: cost 20 inf + 1 13.496 * * [simplify]: Extracting #5: cost 22 inf + 3 13.496 * * [simplify]: Extracting #6: cost 15 inf + 535 13.497 * * [simplify]: Extracting #7: cost 2 inf + 3370 13.498 * * [simplify]: Extracting #8: cost 0 inf + 4498 13.500 * [simplify]: Simplified to (+ (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (* (cos phi2) (cos (- lambda1 lambda2))) (cos phi1))) lambda1) 13.540 * * [progress]: iteration 1 / 4 13.540 * * * [progress]: picking best candidate 13.552 * * * * [pick]: Picked # 13.552 * * * [progress]: localizing error 13.617 * * * [progress]: generating rewritten candidates 13.617 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2) 13.625 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 13.633 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 13.648 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 13.685 * * * [progress]: generating series expansions 13.685 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2) 13.686 * [backup-simplify]: Simplify (cos (- lambda1 lambda2)) into (cos (- lambda1 lambda2)) 13.686 * [approximate]: Taking taylor expansion of (cos (- lambda1 lambda2)) in (lambda1 lambda2) around 0 13.686 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in lambda2 13.686 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 13.686 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.686 * [backup-simplify]: Simplify lambda1 into lambda1 13.686 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.686 * [backup-simplify]: Simplify 0 into 0 13.686 * [backup-simplify]: Simplify 1 into 1 13.686 * [backup-simplify]: Simplify (- 0) into 0 13.686 * [backup-simplify]: Simplify (+ lambda1 0) into lambda1 13.686 * [backup-simplify]: Simplify (cos lambda1) into (cos lambda1) 13.686 * [backup-simplify]: Simplify (sin lambda1) into (sin lambda1) 13.686 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in lambda1 13.687 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 13.687 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.687 * [backup-simplify]: Simplify 0 into 0 13.687 * [backup-simplify]: Simplify 1 into 1 13.687 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.687 * [backup-simplify]: Simplify lambda2 into lambda2 13.687 * [backup-simplify]: Simplify (- lambda2) into (- lambda2) 13.687 * [backup-simplify]: Simplify (+ 0 (- lambda2)) into (- lambda2) 13.687 * [backup-simplify]: Simplify (cos (- lambda2)) into (cos (- lambda2)) 13.687 * [backup-simplify]: Simplify (sin (- lambda2)) into (sin (- lambda2)) 13.687 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in lambda1 13.687 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 13.687 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.687 * [backup-simplify]: Simplify 0 into 0 13.687 * [backup-simplify]: Simplify 1 into 1 13.687 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.687 * [backup-simplify]: Simplify lambda2 into lambda2 13.687 * [backup-simplify]: Simplify (- lambda2) into (- lambda2) 13.687 * [backup-simplify]: Simplify (+ 0 (- lambda2)) into (- lambda2) 13.687 * [backup-simplify]: Simplify (cos (- lambda2)) into (cos (- lambda2)) 13.687 * [backup-simplify]: Simplify (sin (- lambda2)) into (sin (- lambda2)) 13.687 * [backup-simplify]: Simplify (* (cos (- lambda2)) 1) into (cos (- lambda2)) 13.687 * [backup-simplify]: Simplify (* (sin (- lambda2)) 0) into 0 13.688 * [backup-simplify]: Simplify (- 0) into 0 13.688 * [backup-simplify]: Simplify (+ (cos (- lambda2)) 0) into (cos (- lambda2)) 13.688 * [taylor]: Taking taylor expansion of (cos (- lambda2)) in lambda2 13.688 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 13.688 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.688 * [backup-simplify]: Simplify 0 into 0 13.688 * [backup-simplify]: Simplify 1 into 1 13.688 * [backup-simplify]: Simplify (- 0) into 0 13.688 * [backup-simplify]: Simplify (- 1) into -1 13.688 * [backup-simplify]: Simplify 1 into 1 13.689 * [backup-simplify]: Simplify (+ 0) into 0 13.689 * [backup-simplify]: Simplify (+ (* (cos (- lambda2)) 0) (* 0 1)) into 0 13.689 * [backup-simplify]: Simplify (- 0) into 0 13.690 * [backup-simplify]: Simplify (+ 1 0) into 1 13.690 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 13.690 * [backup-simplify]: Simplify (+ (* (sin (- lambda2)) 1) (* 0 0)) into (sin (- lambda2)) 13.690 * [backup-simplify]: Simplify (- (sin (- lambda2))) into (- (sin (- lambda2))) 13.690 * [backup-simplify]: Simplify (+ 0 (- (sin (- lambda2)))) into (- (sin (- lambda2))) 13.690 * [taylor]: Taking taylor expansion of (- (sin (- lambda2))) in lambda2 13.690 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda2 13.690 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 13.691 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.691 * [backup-simplify]: Simplify 0 into 0 13.691 * [backup-simplify]: Simplify 1 into 1 13.691 * [backup-simplify]: Simplify (- 0) into 0 13.691 * [backup-simplify]: Simplify (- 1) into -1 13.691 * [backup-simplify]: Simplify (- 0) into 0 13.691 * [backup-simplify]: Simplify 0 into 0 13.692 * [backup-simplify]: Simplify (+ 0) into 0 13.692 * [backup-simplify]: Simplify 0 into 0 13.692 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 13.693 * [backup-simplify]: Simplify (+ (* (cos (- lambda2)) -1/2) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (cos (- lambda2)))) 13.693 * [backup-simplify]: Simplify (- 0) into 0 13.693 * [backup-simplify]: Simplify (+ 0 0) into 0 13.694 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 13.694 * [backup-simplify]: Simplify (+ (* (sin (- lambda2)) 0) (+ (* 0 1) (* 0 0))) into 0 13.695 * [backup-simplify]: Simplify (- 0) into 0 13.695 * [backup-simplify]: Simplify (+ (- (* 1/2 (cos (- lambda2)))) 0) into (- (* 1/2 (cos (- lambda2)))) 13.695 * [taylor]: Taking taylor expansion of (- (* 1/2 (cos (- lambda2)))) in lambda2 13.695 * [taylor]: Taking taylor expansion of (* 1/2 (cos (- lambda2))) in lambda2 13.695 * [taylor]: Taking taylor expansion of 1/2 in lambda2 13.695 * [backup-simplify]: Simplify 1/2 into 1/2 13.695 * [taylor]: Taking taylor expansion of (cos (- lambda2)) in lambda2 13.695 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 13.695 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.695 * [backup-simplify]: Simplify 0 into 0 13.695 * [backup-simplify]: Simplify 1 into 1 13.695 * [backup-simplify]: Simplify (- 0) into 0 13.695 * [backup-simplify]: Simplify (- 1) into -1 13.696 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 13.696 * [backup-simplify]: Simplify (- 1/2) into -1/2 13.696 * [backup-simplify]: Simplify -1/2 into -1/2 13.696 * [backup-simplify]: Simplify (- 1) into -1 13.696 * [backup-simplify]: Simplify (+ (* 1 (/ (pow -1 1) 1))) into -1 13.697 * [backup-simplify]: Simplify (- -1) into 1 13.697 * [backup-simplify]: Simplify 1 into 1 13.697 * [backup-simplify]: Simplify (+ (* 1 (* lambda2 lambda1)) (+ (* -1/2 (pow (* 1 lambda1) 2)) 1)) into (- (+ 1 (* lambda2 lambda1)) (* 1/2 (pow lambda1 2))) 13.697 * [backup-simplify]: Simplify (cos (- (/ 1 lambda1) (/ 1 lambda2))) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 13.697 * [approximate]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in (lambda1 lambda2) around 0 13.697 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 13.697 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 13.697 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 13.697 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.697 * [backup-simplify]: Simplify lambda1 into lambda1 13.697 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 13.697 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 13.697 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.697 * [backup-simplify]: Simplify 0 into 0 13.697 * [backup-simplify]: Simplify 1 into 1 13.697 * [backup-simplify]: Simplify (/ 1 1) into 1 13.698 * [backup-simplify]: Simplify (- 1) into -1 13.698 * [backup-simplify]: Simplify (+ 0 -1) into -1 13.698 * [backup-simplify]: Simplify (cos (- (/ 1 lambda1) (/ 1 lambda2))) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 13.698 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 13.698 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 13.698 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 13.698 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.698 * [backup-simplify]: Simplify 0 into 0 13.698 * [backup-simplify]: Simplify 1 into 1 13.698 * [backup-simplify]: Simplify (/ 1 1) into 1 13.698 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 13.698 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.698 * [backup-simplify]: Simplify lambda2 into lambda2 13.698 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 13.699 * [backup-simplify]: Simplify (+ 1 0) into 1 13.699 * [backup-simplify]: Simplify (cos (- (/ 1 lambda1) (/ 1 lambda2))) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 13.699 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 13.699 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 13.699 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 13.699 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.699 * [backup-simplify]: Simplify 0 into 0 13.699 * [backup-simplify]: Simplify 1 into 1 13.699 * [backup-simplify]: Simplify (/ 1 1) into 1 13.699 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 13.699 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.699 * [backup-simplify]: Simplify lambda2 into lambda2 13.699 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 13.700 * [backup-simplify]: Simplify (+ 1 0) into 1 13.700 * [backup-simplify]: Simplify (cos (- (/ 1 lambda1) (/ 1 lambda2))) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 13.700 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 13.700 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 13.700 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 13.700 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.700 * [backup-simplify]: Simplify lambda1 into lambda1 13.700 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 13.700 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 13.700 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.700 * [backup-simplify]: Simplify 0 into 0 13.700 * [backup-simplify]: Simplify 1 into 1 13.700 * [backup-simplify]: Simplify (/ 1 1) into 1 13.700 * [backup-simplify]: Simplify (- 1) into -1 13.701 * [backup-simplify]: Simplify (+ 0 -1) into -1 13.701 * [backup-simplify]: Simplify (cos (- (/ 1 lambda1) (/ 1 lambda2))) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 13.701 * [backup-simplify]: Simplify (cos (- (/ 1 lambda1) (/ 1 lambda2))) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 13.701 * [taylor]: Taking taylor expansion of 0 in lambda2 13.701 * [backup-simplify]: Simplify 0 into 0 13.701 * [backup-simplify]: Simplify 0 into 0 13.701 * [backup-simplify]: Simplify 0 into 0 13.701 * [taylor]: Taking taylor expansion of 0 in lambda2 13.701 * [backup-simplify]: Simplify 0 into 0 13.701 * [backup-simplify]: Simplify 0 into 0 13.701 * [backup-simplify]: Simplify 0 into 0 13.701 * [backup-simplify]: Simplify 0 into 0 13.701 * [taylor]: Taking taylor expansion of 0 in lambda2 13.701 * [backup-simplify]: Simplify 0 into 0 13.701 * [backup-simplify]: Simplify 0 into 0 13.701 * [backup-simplify]: Simplify (cos (- (/ 1 (/ 1 lambda1)) (/ 1 (/ 1 lambda2)))) into (cos (- lambda1 lambda2)) 13.701 * [backup-simplify]: Simplify (cos (- (/ 1 (- lambda1)) (/ 1 (- lambda2)))) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 13.701 * [approximate]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in (lambda1 lambda2) around 0 13.701 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 13.701 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 13.701 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 13.701 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.701 * [backup-simplify]: Simplify 0 into 0 13.701 * [backup-simplify]: Simplify 1 into 1 13.702 * [backup-simplify]: Simplify (/ 1 1) into 1 13.702 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 13.702 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.702 * [backup-simplify]: Simplify lambda1 into lambda1 13.702 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 13.702 * [backup-simplify]: Simplify (+ 1 0) into 1 13.702 * [backup-simplify]: Simplify (cos (- (/ 1 lambda2) (/ 1 lambda1))) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 13.702 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 13.702 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 13.702 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 13.702 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.702 * [backup-simplify]: Simplify lambda2 into lambda2 13.702 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 13.702 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 13.702 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.702 * [backup-simplify]: Simplify 0 into 0 13.702 * [backup-simplify]: Simplify 1 into 1 13.702 * [backup-simplify]: Simplify (/ 1 1) into 1 13.703 * [backup-simplify]: Simplify (- 1) into -1 13.703 * [backup-simplify]: Simplify (+ 0 -1) into -1 13.703 * [backup-simplify]: Simplify (cos (- (/ 1 lambda2) (/ 1 lambda1))) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 13.703 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 13.703 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 13.703 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 13.703 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.703 * [backup-simplify]: Simplify lambda2 into lambda2 13.703 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 13.703 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 13.703 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.703 * [backup-simplify]: Simplify 0 into 0 13.703 * [backup-simplify]: Simplify 1 into 1 13.703 * [backup-simplify]: Simplify (/ 1 1) into 1 13.704 * [backup-simplify]: Simplify (- 1) into -1 13.704 * [backup-simplify]: Simplify (+ 0 -1) into -1 13.704 * [backup-simplify]: Simplify (cos (- (/ 1 lambda2) (/ 1 lambda1))) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 13.704 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 13.704 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 13.704 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 13.704 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.704 * [backup-simplify]: Simplify 0 into 0 13.704 * [backup-simplify]: Simplify 1 into 1 13.704 * [backup-simplify]: Simplify (/ 1 1) into 1 13.704 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 13.704 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.704 * [backup-simplify]: Simplify lambda1 into lambda1 13.705 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 13.705 * [backup-simplify]: Simplify (+ 1 0) into 1 13.705 * [backup-simplify]: Simplify (cos (- (/ 1 lambda2) (/ 1 lambda1))) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 13.705 * [backup-simplify]: Simplify (cos (- (/ 1 lambda2) (/ 1 lambda1))) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 13.705 * [taylor]: Taking taylor expansion of 0 in lambda2 13.705 * [backup-simplify]: Simplify 0 into 0 13.705 * [backup-simplify]: Simplify 0 into 0 13.705 * [backup-simplify]: Simplify 0 into 0 13.705 * [taylor]: Taking taylor expansion of 0 in lambda2 13.705 * [backup-simplify]: Simplify 0 into 0 13.705 * [backup-simplify]: Simplify 0 into 0 13.705 * [backup-simplify]: Simplify 0 into 0 13.705 * [backup-simplify]: Simplify 0 into 0 13.705 * [taylor]: Taking taylor expansion of 0 in lambda2 13.705 * [backup-simplify]: Simplify 0 into 0 13.705 * [backup-simplify]: Simplify 0 into 0 13.705 * [backup-simplify]: Simplify (cos (- (/ 1 (/ 1 (- lambda2))) (/ 1 (/ 1 (- lambda1))))) into (cos (- lambda1 lambda2)) 13.705 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 13.705 * [backup-simplify]: Simplify (sin (- lambda1 lambda2)) into (sin (- lambda1 lambda2)) 13.705 * [approximate]: Taking taylor expansion of (sin (- lambda1 lambda2)) in (lambda1 lambda2) around 0 13.705 * [taylor]: Taking taylor expansion of (sin (- lambda1 lambda2)) in lambda2 13.705 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 13.705 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.705 * [backup-simplify]: Simplify lambda1 into lambda1 13.705 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.706 * [backup-simplify]: Simplify 0 into 0 13.706 * [backup-simplify]: Simplify 1 into 1 13.706 * [backup-simplify]: Simplify (- 0) into 0 13.706 * [backup-simplify]: Simplify (+ lambda1 0) into lambda1 13.706 * [backup-simplify]: Simplify (sin lambda1) into (sin lambda1) 13.706 * [backup-simplify]: Simplify (cos lambda1) into (cos lambda1) 13.706 * [taylor]: Taking taylor expansion of (sin (- lambda1 lambda2)) in lambda1 13.706 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 13.706 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.706 * [backup-simplify]: Simplify 0 into 0 13.706 * [backup-simplify]: Simplify 1 into 1 13.706 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.706 * [backup-simplify]: Simplify lambda2 into lambda2 13.706 * [backup-simplify]: Simplify (- lambda2) into (- lambda2) 13.706 * [backup-simplify]: Simplify (+ 0 (- lambda2)) into (- lambda2) 13.706 * [backup-simplify]: Simplify (sin (- lambda2)) into (sin (- lambda2)) 13.706 * [backup-simplify]: Simplify (cos (- lambda2)) into (cos (- lambda2)) 13.706 * [taylor]: Taking taylor expansion of (sin (- lambda1 lambda2)) in lambda1 13.706 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 13.706 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.706 * [backup-simplify]: Simplify 0 into 0 13.706 * [backup-simplify]: Simplify 1 into 1 13.706 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.706 * [backup-simplify]: Simplify lambda2 into lambda2 13.706 * [backup-simplify]: Simplify (- lambda2) into (- lambda2) 13.706 * [backup-simplify]: Simplify (+ 0 (- lambda2)) into (- lambda2) 13.706 * [backup-simplify]: Simplify (sin (- lambda2)) into (sin (- lambda2)) 13.706 * [backup-simplify]: Simplify (cos (- lambda2)) into (cos (- lambda2)) 13.707 * [backup-simplify]: Simplify (* (sin (- lambda2)) 1) into (sin (- lambda2)) 13.707 * [backup-simplify]: Simplify (* (cos (- lambda2)) 0) into 0 13.707 * [backup-simplify]: Simplify (+ (sin (- lambda2)) 0) into (sin (- lambda2)) 13.707 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda2 13.707 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 13.707 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.707 * [backup-simplify]: Simplify 0 into 0 13.707 * [backup-simplify]: Simplify 1 into 1 13.707 * [backup-simplify]: Simplify (- 0) into 0 13.708 * [backup-simplify]: Simplify (- 1) into -1 13.708 * [backup-simplify]: Simplify 0 into 0 13.708 * [backup-simplify]: Simplify (+ 0) into 0 13.709 * [backup-simplify]: Simplify (+ (* (sin (- lambda2)) 0) (* 0 1)) into 0 13.709 * [backup-simplify]: Simplify (- 0) into 0 13.709 * [backup-simplify]: Simplify (+ 1 0) into 1 13.710 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 13.711 * [backup-simplify]: Simplify (+ (* (cos (- lambda2)) 1) (* 0 0)) into (cos (- lambda2)) 13.711 * [backup-simplify]: Simplify (+ 0 (cos (- lambda2))) into (cos (- lambda2)) 13.711 * [taylor]: Taking taylor expansion of (cos (- lambda2)) in lambda2 13.711 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 13.711 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.711 * [backup-simplify]: Simplify 0 into 0 13.711 * [backup-simplify]: Simplify 1 into 1 13.711 * [backup-simplify]: Simplify (- 0) into 0 13.712 * [backup-simplify]: Simplify (- 1) into -1 13.712 * [backup-simplify]: Simplify 1 into 1 13.712 * [backup-simplify]: Simplify (- 1) into -1 13.713 * [backup-simplify]: Simplify (+ (* 1 (/ (pow -1 1) 1))) into -1 13.713 * [backup-simplify]: Simplify -1 into -1 13.714 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 13.715 * [backup-simplify]: Simplify (+ (* (sin (- lambda2)) -1/2) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (sin (- lambda2)))) 13.715 * [backup-simplify]: Simplify (- 0) into 0 13.715 * [backup-simplify]: Simplify (+ 0 0) into 0 13.716 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 13.717 * [backup-simplify]: Simplify (+ (* (cos (- lambda2)) 0) (+ (* 0 1) (* 0 0))) into 0 13.717 * [backup-simplify]: Simplify (+ (- (* 1/2 (sin (- lambda2)))) 0) into (- (* 1/2 (sin (- lambda2)))) 13.717 * [taylor]: Taking taylor expansion of (- (* 1/2 (sin (- lambda2)))) in lambda2 13.717 * [taylor]: Taking taylor expansion of (* 1/2 (sin (- lambda2))) in lambda2 13.717 * [taylor]: Taking taylor expansion of 1/2 in lambda2 13.717 * [backup-simplify]: Simplify 1/2 into 1/2 13.717 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda2 13.717 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 13.717 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.717 * [backup-simplify]: Simplify 0 into 0 13.717 * [backup-simplify]: Simplify 1 into 1 13.718 * [backup-simplify]: Simplify (- 0) into 0 13.718 * [backup-simplify]: Simplify (- 1) into -1 13.718 * [backup-simplify]: Simplify (* 1/2 0) into 0 13.719 * [backup-simplify]: Simplify (- 0) into 0 13.719 * [backup-simplify]: Simplify 0 into 0 13.719 * [backup-simplify]: Simplify (+ 0) into 0 13.719 * [backup-simplify]: Simplify 0 into 0 13.720 * [backup-simplify]: Simplify (- 0) into 0 13.720 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 13.720 * [backup-simplify]: Simplify 0 into 0 13.722 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 1) 1) (/ (pow 0 1) 1)) 0) into 0 13.723 * [backup-simplify]: Simplify (+ (* (sin (- lambda2)) 0) (+ (* 0 -1/2) (+ (* 0 0) (* 0 1)))) into 0 13.723 * [backup-simplify]: Simplify (- 0) into 0 13.723 * [backup-simplify]: Simplify (+ 0 0) into 0 13.725 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6 13.726 * [backup-simplify]: Simplify (+ (* (cos (- lambda2)) -1/6) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into (- (* 1/6 (cos (- lambda2)))) 13.726 * [backup-simplify]: Simplify (+ 0 (- (* 1/6 (cos (- lambda2))))) into (- (* 1/6 (cos (- lambda2)))) 13.726 * [taylor]: Taking taylor expansion of (- (* 1/6 (cos (- lambda2)))) in lambda2 13.726 * [taylor]: Taking taylor expansion of (* 1/6 (cos (- lambda2))) in lambda2 13.726 * [taylor]: Taking taylor expansion of 1/6 in lambda2 13.726 * [backup-simplify]: Simplify 1/6 into 1/6 13.726 * [taylor]: Taking taylor expansion of (cos (- lambda2)) in lambda2 13.726 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 13.726 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.726 * [backup-simplify]: Simplify 0 into 0 13.726 * [backup-simplify]: Simplify 1 into 1 13.727 * [backup-simplify]: Simplify (- 0) into 0 13.727 * [backup-simplify]: Simplify (- 1) into -1 13.727 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 13.728 * [backup-simplify]: Simplify (- 1/6) into -1/6 13.728 * [backup-simplify]: Simplify -1/6 into -1/6 13.728 * [backup-simplify]: Simplify (+ (* -1/6 (pow (* 1 lambda1) 3)) (+ (* -1 (* lambda2 1)) (* 1 (* 1 lambda1)))) into (- lambda1 (+ lambda2 (* 1/6 (pow lambda1 3)))) 13.728 * [backup-simplify]: Simplify (sin (- (/ 1 lambda1) (/ 1 lambda2))) into (sin (- (/ 1 lambda1) (/ 1 lambda2))) 13.728 * [approximate]: Taking taylor expansion of (sin (- (/ 1 lambda1) (/ 1 lambda2))) in (lambda1 lambda2) around 0 13.728 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 13.728 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 13.728 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 13.728 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.728 * [backup-simplify]: Simplify lambda1 into lambda1 13.729 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 13.729 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 13.729 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.729 * [backup-simplify]: Simplify 0 into 0 13.729 * [backup-simplify]: Simplify 1 into 1 13.729 * [backup-simplify]: Simplify (/ 1 1) into 1 13.729 * [backup-simplify]: Simplify (- 1) into -1 13.730 * [backup-simplify]: Simplify (+ 0 -1) into -1 13.730 * [backup-simplify]: Simplify (sin (- (/ 1 lambda1) (/ 1 lambda2))) into (sin (- (/ 1 lambda1) (/ 1 lambda2))) 13.730 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 13.730 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 13.730 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 13.730 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.730 * [backup-simplify]: Simplify 0 into 0 13.730 * [backup-simplify]: Simplify 1 into 1 13.730 * [backup-simplify]: Simplify (/ 1 1) into 1 13.731 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 13.731 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.731 * [backup-simplify]: Simplify lambda2 into lambda2 13.731 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 13.731 * [backup-simplify]: Simplify (+ 1 0) into 1 13.731 * [backup-simplify]: Simplify (sin (- (/ 1 lambda1) (/ 1 lambda2))) into (sin (- (/ 1 lambda1) (/ 1 lambda2))) 13.731 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 13.731 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 13.731 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 13.731 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.731 * [backup-simplify]: Simplify 0 into 0 13.731 * [backup-simplify]: Simplify 1 into 1 13.732 * [backup-simplify]: Simplify (/ 1 1) into 1 13.732 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 13.732 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.732 * [backup-simplify]: Simplify lambda2 into lambda2 13.732 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 13.732 * [backup-simplify]: Simplify (+ 1 0) into 1 13.732 * [backup-simplify]: Simplify (sin (- (/ 1 lambda1) (/ 1 lambda2))) into (sin (- (/ 1 lambda1) (/ 1 lambda2))) 13.733 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 13.733 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 13.733 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 13.733 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.733 * [backup-simplify]: Simplify lambda1 into lambda1 13.733 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 13.733 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 13.733 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.733 * [backup-simplify]: Simplify 0 into 0 13.733 * [backup-simplify]: Simplify 1 into 1 13.733 * [backup-simplify]: Simplify (/ 1 1) into 1 13.734 * [backup-simplify]: Simplify (- 1) into -1 13.734 * [backup-simplify]: Simplify (+ 0 -1) into -1 13.734 * [backup-simplify]: Simplify (sin (- (/ 1 lambda1) (/ 1 lambda2))) into (sin (- (/ 1 lambda1) (/ 1 lambda2))) 13.735 * [backup-simplify]: Simplify (sin (- (/ 1 lambda1) (/ 1 lambda2))) into (sin (- (/ 1 lambda1) (/ 1 lambda2))) 13.735 * [taylor]: Taking taylor expansion of 0 in lambda2 13.735 * [backup-simplify]: Simplify 0 into 0 13.735 * [backup-simplify]: Simplify 0 into 0 13.735 * [backup-simplify]: Simplify 0 into 0 13.735 * [taylor]: Taking taylor expansion of 0 in lambda2 13.735 * [backup-simplify]: Simplify 0 into 0 13.735 * [backup-simplify]: Simplify 0 into 0 13.735 * [backup-simplify]: Simplify 0 into 0 13.735 * [backup-simplify]: Simplify 0 into 0 13.735 * [taylor]: Taking taylor expansion of 0 in lambda2 13.735 * [backup-simplify]: Simplify 0 into 0 13.735 * [backup-simplify]: Simplify 0 into 0 13.735 * [backup-simplify]: Simplify (sin (- (/ 1 (/ 1 lambda1)) (/ 1 (/ 1 lambda2)))) into (sin (- lambda1 lambda2)) 13.735 * [backup-simplify]: Simplify (sin (- (/ 1 (- lambda1)) (/ 1 (- lambda2)))) into (sin (- (/ 1 lambda2) (/ 1 lambda1))) 13.735 * [approximate]: Taking taylor expansion of (sin (- (/ 1 lambda2) (/ 1 lambda1))) in (lambda1 lambda2) around 0 13.735 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 13.735 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 13.735 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 13.735 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.735 * [backup-simplify]: Simplify 0 into 0 13.735 * [backup-simplify]: Simplify 1 into 1 13.736 * [backup-simplify]: Simplify (/ 1 1) into 1 13.736 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 13.736 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.736 * [backup-simplify]: Simplify lambda1 into lambda1 13.736 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 13.736 * [backup-simplify]: Simplify (+ 1 0) into 1 13.736 * [backup-simplify]: Simplify (sin (- (/ 1 lambda2) (/ 1 lambda1))) into (sin (- (/ 1 lambda2) (/ 1 lambda1))) 13.736 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 13.736 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 13.736 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 13.736 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.736 * [backup-simplify]: Simplify lambda2 into lambda2 13.736 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 13.736 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 13.736 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.736 * [backup-simplify]: Simplify 0 into 0 13.736 * [backup-simplify]: Simplify 1 into 1 13.737 * [backup-simplify]: Simplify (/ 1 1) into 1 13.737 * [backup-simplify]: Simplify (- 1) into -1 13.737 * [backup-simplify]: Simplify (+ 0 -1) into -1 13.737 * [backup-simplify]: Simplify (sin (- (/ 1 lambda2) (/ 1 lambda1))) into (sin (- (/ 1 lambda2) (/ 1 lambda1))) 13.737 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 13.737 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 13.737 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 13.737 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.737 * [backup-simplify]: Simplify lambda2 into lambda2 13.737 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 13.737 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 13.737 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.737 * [backup-simplify]: Simplify 0 into 0 13.737 * [backup-simplify]: Simplify 1 into 1 13.738 * [backup-simplify]: Simplify (/ 1 1) into 1 13.738 * [backup-simplify]: Simplify (- 1) into -1 13.738 * [backup-simplify]: Simplify (+ 0 -1) into -1 13.738 * [backup-simplify]: Simplify (sin (- (/ 1 lambda2) (/ 1 lambda1))) into (sin (- (/ 1 lambda2) (/ 1 lambda1))) 13.738 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 13.738 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 13.738 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 13.738 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.738 * [backup-simplify]: Simplify 0 into 0 13.738 * [backup-simplify]: Simplify 1 into 1 13.739 * [backup-simplify]: Simplify (/ 1 1) into 1 13.739 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 13.739 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.739 * [backup-simplify]: Simplify lambda1 into lambda1 13.739 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 13.739 * [backup-simplify]: Simplify (+ 1 0) into 1 13.739 * [backup-simplify]: Simplify (sin (- (/ 1 lambda2) (/ 1 lambda1))) into (sin (- (/ 1 lambda2) (/ 1 lambda1))) 13.739 * [backup-simplify]: Simplify (sin (- (/ 1 lambda2) (/ 1 lambda1))) into (sin (- (/ 1 lambda2) (/ 1 lambda1))) 13.739 * [taylor]: Taking taylor expansion of 0 in lambda2 13.739 * [backup-simplify]: Simplify 0 into 0 13.739 * [backup-simplify]: Simplify 0 into 0 13.739 * [backup-simplify]: Simplify 0 into 0 13.739 * [taylor]: Taking taylor expansion of 0 in lambda2 13.739 * [backup-simplify]: Simplify 0 into 0 13.739 * [backup-simplify]: Simplify 0 into 0 13.739 * [backup-simplify]: Simplify 0 into 0 13.739 * [backup-simplify]: Simplify 0 into 0 13.739 * [taylor]: Taking taylor expansion of 0 in lambda2 13.739 * [backup-simplify]: Simplify 0 into 0 13.739 * [backup-simplify]: Simplify 0 into 0 13.740 * [backup-simplify]: Simplify (sin (- (/ 1 (/ 1 (- lambda2))) (/ 1 (/ 1 (- lambda1))))) into (sin (- lambda1 lambda2)) 13.740 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 13.740 * [backup-simplify]: Simplify (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))) into (+ (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) 13.740 * [approximate]: Taking taylor expansion of (+ (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in (phi1 phi2 lambda1 lambda2) around 0 13.740 * [taylor]: Taking taylor expansion of (+ (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in lambda2 13.740 * [taylor]: Taking taylor expansion of (cos phi1) in lambda2 13.740 * [taylor]: Taking taylor expansion of phi1 in lambda2 13.740 * [backup-simplify]: Simplify phi1 into phi1 13.740 * [backup-simplify]: Simplify (cos phi1) into (cos phi1) 13.740 * [backup-simplify]: Simplify (sin phi1) into (sin phi1) 13.740 * [taylor]: Taking taylor expansion of (* (cos (- lambda1 lambda2)) (cos phi2)) in lambda2 13.740 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in lambda2 13.740 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 13.740 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.740 * [backup-simplify]: Simplify lambda1 into lambda1 13.740 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.740 * [backup-simplify]: Simplify 0 into 0 13.740 * [backup-simplify]: Simplify 1 into 1 13.740 * [backup-simplify]: Simplify (- 0) into 0 13.740 * [backup-simplify]: Simplify (+ lambda1 0) into lambda1 13.740 * [backup-simplify]: Simplify (cos lambda1) into (cos lambda1) 13.740 * [backup-simplify]: Simplify (sin lambda1) into (sin lambda1) 13.740 * [taylor]: Taking taylor expansion of (cos phi2) in lambda2 13.740 * [taylor]: Taking taylor expansion of phi2 in lambda2 13.740 * [backup-simplify]: Simplify phi2 into phi2 13.740 * [backup-simplify]: Simplify (cos phi2) into (cos phi2) 13.740 * [backup-simplify]: Simplify (sin phi2) into (sin phi2) 13.740 * [taylor]: Taking taylor expansion of (+ (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in lambda1 13.740 * [taylor]: Taking taylor expansion of (cos phi1) in lambda1 13.740 * [taylor]: Taking taylor expansion of phi1 in lambda1 13.740 * [backup-simplify]: Simplify phi1 into phi1 13.741 * [backup-simplify]: Simplify (cos phi1) into (cos phi1) 13.741 * [backup-simplify]: Simplify (sin phi1) into (sin phi1) 13.741 * [taylor]: Taking taylor expansion of (* (cos (- lambda1 lambda2)) (cos phi2)) in lambda1 13.741 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in lambda1 13.741 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 13.741 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.741 * [backup-simplify]: Simplify 0 into 0 13.741 * [backup-simplify]: Simplify 1 into 1 13.741 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.741 * [backup-simplify]: Simplify lambda2 into lambda2 13.741 * [backup-simplify]: Simplify (- lambda2) into (- lambda2) 13.741 * [backup-simplify]: Simplify (+ 0 (- lambda2)) into (- lambda2) 13.741 * [backup-simplify]: Simplify (cos (- lambda2)) into (cos (- lambda2)) 13.741 * [backup-simplify]: Simplify (sin (- lambda2)) into (sin (- lambda2)) 13.741 * [taylor]: Taking taylor expansion of (cos phi2) in lambda1 13.741 * [taylor]: Taking taylor expansion of phi2 in lambda1 13.741 * [backup-simplify]: Simplify phi2 into phi2 13.741 * [backup-simplify]: Simplify (cos phi2) into (cos phi2) 13.741 * [backup-simplify]: Simplify (sin phi2) into (sin phi2) 13.741 * [taylor]: Taking taylor expansion of (+ (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in phi2 13.741 * [taylor]: Taking taylor expansion of (cos phi1) in phi2 13.741 * [taylor]: Taking taylor expansion of phi1 in phi2 13.741 * [backup-simplify]: Simplify phi1 into phi1 13.741 * [backup-simplify]: Simplify (cos phi1) into (cos phi1) 13.741 * [backup-simplify]: Simplify (sin phi1) into (sin phi1) 13.741 * [taylor]: Taking taylor expansion of (* (cos (- lambda1 lambda2)) (cos phi2)) in phi2 13.741 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in phi2 13.741 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in phi2 13.741 * [taylor]: Taking taylor expansion of lambda1 in phi2 13.741 * [backup-simplify]: Simplify lambda1 into lambda1 13.741 * [taylor]: Taking taylor expansion of lambda2 in phi2 13.741 * [backup-simplify]: Simplify lambda2 into lambda2 13.741 * [backup-simplify]: Simplify (- lambda2) into (- lambda2) 13.741 * [backup-simplify]: Simplify (+ lambda1 (- lambda2)) into (- lambda1 lambda2) 13.741 * [backup-simplify]: Simplify (cos (- lambda1 lambda2)) into (cos (- lambda1 lambda2)) 13.741 * [backup-simplify]: Simplify (sin (- lambda1 lambda2)) into (sin (- lambda1 lambda2)) 13.741 * [taylor]: Taking taylor expansion of (cos phi2) in phi2 13.741 * [taylor]: Taking taylor expansion of phi2 in phi2 13.741 * [backup-simplify]: Simplify 0 into 0 13.741 * [backup-simplify]: Simplify 1 into 1 13.741 * [taylor]: Taking taylor expansion of (+ (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in phi1 13.741 * [taylor]: Taking taylor expansion of (cos phi1) in phi1 13.741 * [taylor]: Taking taylor expansion of phi1 in phi1 13.741 * [backup-simplify]: Simplify 0 into 0 13.741 * [backup-simplify]: Simplify 1 into 1 13.741 * [taylor]: Taking taylor expansion of (* (cos (- lambda1 lambda2)) (cos phi2)) in phi1 13.741 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in phi1 13.741 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in phi1 13.741 * [taylor]: Taking taylor expansion of lambda1 in phi1 13.741 * [backup-simplify]: Simplify lambda1 into lambda1 13.741 * [taylor]: Taking taylor expansion of lambda2 in phi1 13.741 * [backup-simplify]: Simplify lambda2 into lambda2 13.741 * [backup-simplify]: Simplify (- lambda2) into (- lambda2) 13.742 * [backup-simplify]: Simplify (+ lambda1 (- lambda2)) into (- lambda1 lambda2) 13.742 * [backup-simplify]: Simplify (cos (- lambda1 lambda2)) into (cos (- lambda1 lambda2)) 13.742 * [backup-simplify]: Simplify (sin (- lambda1 lambda2)) into (sin (- lambda1 lambda2)) 13.742 * [taylor]: Taking taylor expansion of (cos phi2) in phi1 13.742 * [taylor]: Taking taylor expansion of phi2 in phi1 13.742 * [backup-simplify]: Simplify phi2 into phi2 13.742 * [backup-simplify]: Simplify (cos phi2) into (cos phi2) 13.742 * [backup-simplify]: Simplify (sin phi2) into (sin phi2) 13.742 * [taylor]: Taking taylor expansion of (+ (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in phi1 13.742 * [taylor]: Taking taylor expansion of (cos phi1) in phi1 13.742 * [taylor]: Taking taylor expansion of phi1 in phi1 13.742 * [backup-simplify]: Simplify 0 into 0 13.742 * [backup-simplify]: Simplify 1 into 1 13.742 * [taylor]: Taking taylor expansion of (* (cos (- lambda1 lambda2)) (cos phi2)) in phi1 13.742 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in phi1 13.742 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in phi1 13.742 * [taylor]: Taking taylor expansion of lambda1 in phi1 13.742 * [backup-simplify]: Simplify lambda1 into lambda1 13.742 * [taylor]: Taking taylor expansion of lambda2 in phi1 13.742 * [backup-simplify]: Simplify lambda2 into lambda2 13.742 * [backup-simplify]: Simplify (- lambda2) into (- lambda2) 13.742 * [backup-simplify]: Simplify (+ lambda1 (- lambda2)) into (- lambda1 lambda2) 13.742 * [backup-simplify]: Simplify (cos (- lambda1 lambda2)) into (cos (- lambda1 lambda2)) 13.742 * [backup-simplify]: Simplify (sin (- lambda1 lambda2)) into (sin (- lambda1 lambda2)) 13.742 * [taylor]: Taking taylor expansion of (cos phi2) in phi1 13.742 * [taylor]: Taking taylor expansion of phi2 in phi1 13.742 * [backup-simplify]: Simplify phi2 into phi2 13.742 * [backup-simplify]: Simplify (cos phi2) into (cos phi2) 13.742 * [backup-simplify]: Simplify (sin phi2) into (sin phi2) 13.742 * [backup-simplify]: Simplify (* (cos (- lambda1 lambda2)) 1) into (cos (- lambda1 lambda2)) 13.742 * [backup-simplify]: Simplify (* (sin (- lambda1 lambda2)) 0) into 0 13.742 * [backup-simplify]: Simplify (- 0) into 0 13.743 * [backup-simplify]: Simplify (+ (cos (- lambda1 lambda2)) 0) into (cos (- lambda1 lambda2)) 13.743 * [backup-simplify]: Simplify (* (cos phi2) 1) into (cos phi2) 13.743 * [backup-simplify]: Simplify (* (sin phi2) 0) into 0 13.743 * [backup-simplify]: Simplify (- 0) into 0 13.743 * [backup-simplify]: Simplify (+ (cos phi2) 0) into (cos phi2) 13.743 * [backup-simplify]: Simplify (* (cos (- lambda1 lambda2)) (cos phi2)) into (* (cos (- lambda1 lambda2)) (cos phi2)) 13.743 * [backup-simplify]: Simplify (+ 1 (* (cos (- lambda1 lambda2)) (cos phi2))) into (+ (* (cos (- lambda1 lambda2)) (cos phi2)) 1) 13.743 * [taylor]: Taking taylor expansion of (+ (* (cos (- lambda1 lambda2)) (cos phi2)) 1) in phi2 13.743 * [taylor]: Taking taylor expansion of (* (cos (- lambda1 lambda2)) (cos phi2)) in phi2 13.743 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in phi2 13.743 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in phi2 13.743 * [taylor]: Taking taylor expansion of lambda1 in phi2 13.743 * [backup-simplify]: Simplify lambda1 into lambda1 13.743 * [taylor]: Taking taylor expansion of lambda2 in phi2 13.743 * [backup-simplify]: Simplify lambda2 into lambda2 13.743 * [backup-simplify]: Simplify (- lambda2) into (- lambda2) 13.743 * [backup-simplify]: Simplify (+ lambda1 (- lambda2)) into (- lambda1 lambda2) 13.743 * [backup-simplify]: Simplify (cos (- lambda1 lambda2)) into (cos (- lambda1 lambda2)) 13.743 * [backup-simplify]: Simplify (sin (- lambda1 lambda2)) into (sin (- lambda1 lambda2)) 13.743 * [taylor]: Taking taylor expansion of (cos phi2) in phi2 13.743 * [taylor]: Taking taylor expansion of phi2 in phi2 13.743 * [backup-simplify]: Simplify 0 into 0 13.743 * [backup-simplify]: Simplify 1 into 1 13.743 * [taylor]: Taking taylor expansion of 1 in phi2 13.743 * [backup-simplify]: Simplify 1 into 1 13.743 * [backup-simplify]: Simplify (* (cos (- lambda1 lambda2)) 1) into (cos (- lambda1 lambda2)) 13.744 * [backup-simplify]: Simplify (* (sin (- lambda1 lambda2)) 0) into 0 13.744 * [backup-simplify]: Simplify (- 0) into 0 13.744 * [backup-simplify]: Simplify (+ (cos (- lambda1 lambda2)) 0) into (cos (- lambda1 lambda2)) 13.744 * [backup-simplify]: Simplify (* (cos (- lambda1 lambda2)) 1) into (cos (- lambda1 lambda2)) 13.744 * [backup-simplify]: Simplify (+ (cos (- lambda1 lambda2)) 1) into (+ (cos (- lambda1 lambda2)) 1) 13.744 * [taylor]: Taking taylor expansion of (+ (cos (- lambda1 lambda2)) 1) in lambda1 13.744 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in lambda1 13.744 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 13.744 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.744 * [backup-simplify]: Simplify 0 into 0 13.744 * [backup-simplify]: Simplify 1 into 1 13.744 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.744 * [backup-simplify]: Simplify lambda2 into lambda2 13.744 * [backup-simplify]: Simplify (- lambda2) into (- lambda2) 13.744 * [backup-simplify]: Simplify (+ 0 (- lambda2)) into (- lambda2) 13.744 * [backup-simplify]: Simplify (cos (- lambda2)) into (cos (- lambda2)) 13.744 * [backup-simplify]: Simplify (sin (- lambda2)) into (sin (- lambda2)) 13.744 * [taylor]: Taking taylor expansion of 1 in lambda1 13.744 * [backup-simplify]: Simplify 1 into 1 13.744 * [backup-simplify]: Simplify (* (cos (- lambda2)) 1) into (cos (- lambda2)) 13.745 * [backup-simplify]: Simplify (* (sin (- lambda2)) 0) into 0 13.745 * [backup-simplify]: Simplify (- 0) into 0 13.745 * [backup-simplify]: Simplify (+ (cos (- lambda2)) 0) into (cos (- lambda2)) 13.745 * [backup-simplify]: Simplify (+ (cos (- lambda2)) 1) into (+ (cos (- lambda2)) 1) 13.745 * [taylor]: Taking taylor expansion of (+ (cos (- lambda2)) 1) in lambda2 13.745 * [taylor]: Taking taylor expansion of (cos (- lambda2)) in lambda2 13.745 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 13.745 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.745 * [backup-simplify]: Simplify 0 into 0 13.745 * [backup-simplify]: Simplify 1 into 1 13.745 * [backup-simplify]: Simplify (- 0) into 0 13.745 * [backup-simplify]: Simplify (- 1) into -1 13.745 * [taylor]: Taking taylor expansion of 1 in lambda2 13.745 * [backup-simplify]: Simplify 1 into 1 13.746 * [backup-simplify]: Simplify (+ 1 1) into 2 13.746 * [backup-simplify]: Simplify 2 into 2 13.746 * [backup-simplify]: Simplify (+ 0) into 0 13.746 * [backup-simplify]: Simplify (+ 0) into 0 13.747 * [backup-simplify]: Simplify (+ (* (cos phi2) 0) (* 0 1)) into 0 13.747 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 13.747 * [backup-simplify]: Simplify (+ (* (sin phi2) 0) (* 0 0)) into 0 13.747 * [backup-simplify]: Simplify (- 0) into 0 13.748 * [backup-simplify]: Simplify (+ 0 0) into 0 13.748 * [backup-simplify]: Simplify (+ 0) into 0 13.748 * [backup-simplify]: Simplify (+ (* (cos (- lambda1 lambda2)) 0) (* 0 1)) into 0 13.748 * [backup-simplify]: Simplify (- 0) into 0 13.749 * [backup-simplify]: Simplify (+ 0 0) into 0 13.749 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 13.750 * [backup-simplify]: Simplify (+ (* (sin (- lambda1 lambda2)) 0) (* 0 0)) into 0 13.750 * [backup-simplify]: Simplify (- 0) into 0 13.750 * [backup-simplify]: Simplify (+ 0 0) into 0 13.750 * [backup-simplify]: Simplify (+ (* (cos (- lambda1 lambda2)) 0) (* 0 (cos phi2))) into 0 13.750 * [backup-simplify]: Simplify (+ 0 0) into 0 13.750 * [taylor]: Taking taylor expansion of 0 in phi2 13.750 * [backup-simplify]: Simplify 0 into 0 13.750 * [taylor]: Taking taylor expansion of 0 in lambda1 13.750 * [backup-simplify]: Simplify 0 into 0 13.750 * [taylor]: Taking taylor expansion of 0 in lambda2 13.750 * [backup-simplify]: Simplify 0 into 0 13.750 * [backup-simplify]: Simplify 0 into 0 13.751 * [backup-simplify]: Simplify (+ 0) into 0 13.751 * [backup-simplify]: Simplify (+ 0) into 0 13.751 * [backup-simplify]: Simplify (+ (* (cos (- lambda1 lambda2)) 0) (* 0 1)) into 0 13.752 * [backup-simplify]: Simplify (- 0) into 0 13.752 * [backup-simplify]: Simplify (+ 0 0) into 0 13.752 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 13.752 * [backup-simplify]: Simplify (+ (* (sin (- lambda1 lambda2)) 0) (* 0 0)) into 0 13.753 * [backup-simplify]: Simplify (- 0) into 0 13.753 * [backup-simplify]: Simplify (+ 0 0) into 0 13.753 * [backup-simplify]: Simplify (+ (* (cos (- lambda1 lambda2)) 0) (* 0 1)) into 0 13.754 * [backup-simplify]: Simplify (+ 0 0) into 0 13.754 * [taylor]: Taking taylor expansion of 0 in lambda1 13.754 * [backup-simplify]: Simplify 0 into 0 13.754 * [taylor]: Taking taylor expansion of 0 in lambda2 13.754 * [backup-simplify]: Simplify 0 into 0 13.754 * [backup-simplify]: Simplify 0 into 0 13.754 * [backup-simplify]: Simplify (+ 0) into 0 13.754 * [backup-simplify]: Simplify (+ (* (cos (- lambda2)) 0) (* 0 1)) into 0 13.754 * [backup-simplify]: Simplify (- 0) into 0 13.755 * [backup-simplify]: Simplify (+ 1 0) into 1 13.755 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 13.755 * [backup-simplify]: Simplify (+ (* (sin (- lambda2)) 1) (* 0 0)) into (sin (- lambda2)) 13.755 * [backup-simplify]: Simplify (- (sin (- lambda2))) into (- (sin (- lambda2))) 13.755 * [backup-simplify]: Simplify (+ 0 (- (sin (- lambda2)))) into (- (sin (- lambda2))) 13.755 * [backup-simplify]: Simplify (+ (- (sin (- lambda2))) 0) into (- (sin (- lambda2))) 13.756 * [taylor]: Taking taylor expansion of (- (sin (- lambda2))) in lambda2 13.756 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda2 13.756 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 13.756 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.756 * [backup-simplify]: Simplify 0 into 0 13.756 * [backup-simplify]: Simplify 1 into 1 13.756 * [backup-simplify]: Simplify (- 0) into 0 13.756 * [backup-simplify]: Simplify (- 1) into -1 13.756 * [backup-simplify]: Simplify (- 0) into 0 13.756 * [backup-simplify]: Simplify 0 into 0 13.757 * [backup-simplify]: Simplify (+ 0) into 0 13.757 * [backup-simplify]: Simplify (+ 0 0) into 0 13.757 * [backup-simplify]: Simplify 0 into 0 13.757 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 13.758 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 13.758 * [backup-simplify]: Simplify (+ (* (cos phi2) 0) (+ (* 0 0) (* 0 1))) into 0 13.759 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 13.759 * [backup-simplify]: Simplify (+ (* (sin phi2) 0) (+ (* 0 0) (* 0 0))) into 0 13.760 * [backup-simplify]: Simplify (- 0) into 0 13.760 * [backup-simplify]: Simplify (+ 0 0) into 0 13.761 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 13.764 * [backup-simplify]: Simplify (+ (* (cos (- lambda1 lambda2)) 0) (+ (* 0 0) (* 0 1))) into 0 13.764 * [backup-simplify]: Simplify (- 0) into 0 13.765 * [backup-simplify]: Simplify (+ 0 0) into 0 13.765 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 13.765 * [backup-simplify]: Simplify (+ (* (sin (- lambda1 lambda2)) 0) (+ (* 0 0) (* 0 0))) into 0 13.766 * [backup-simplify]: Simplify (- 0) into 0 13.766 * [backup-simplify]: Simplify (+ 0 0) into 0 13.766 * [backup-simplify]: Simplify (+ (* (cos (- lambda1 lambda2)) 0) (+ (* 0 0) (* 0 (cos phi2)))) into 0 13.766 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 13.766 * [taylor]: Taking taylor expansion of -1/2 in phi2 13.766 * [backup-simplify]: Simplify -1/2 into -1/2 13.766 * [taylor]: Taking taylor expansion of -1/2 in lambda1 13.766 * [backup-simplify]: Simplify -1/2 into -1/2 13.766 * [taylor]: Taking taylor expansion of -1/2 in lambda2 13.766 * [backup-simplify]: Simplify -1/2 into -1/2 13.767 * [backup-simplify]: Simplify -1/2 into -1/2 13.767 * [taylor]: Taking taylor expansion of 0 in lambda1 13.767 * [backup-simplify]: Simplify 0 into 0 13.767 * [taylor]: Taking taylor expansion of 0 in lambda2 13.767 * [backup-simplify]: Simplify 0 into 0 13.767 * [backup-simplify]: Simplify 0 into 0 13.767 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 13.768 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 13.768 * [backup-simplify]: Simplify (+ (* (cos (- lambda1 lambda2)) 0) (+ (* 0 0) (* 0 1))) into 0 13.769 * [backup-simplify]: Simplify (- 0) into 0 13.769 * [backup-simplify]: Simplify (+ 0 0) into 0 13.769 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 13.770 * [backup-simplify]: Simplify (+ (* (sin (- lambda1 lambda2)) 0) (+ (* 0 0) (* 0 0))) into 0 13.770 * [backup-simplify]: Simplify (- 0) into 0 13.770 * [backup-simplify]: Simplify (+ 0 0) into 0 13.771 * [backup-simplify]: Simplify (+ (* (cos (- lambda1 lambda2)) -1/2) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (cos (- lambda1 lambda2)))) 13.771 * [backup-simplify]: Simplify (+ (- (* 1/2 (cos (- lambda1 lambda2)))) 0) into (- (* 1/2 (cos (- lambda1 lambda2)))) 13.771 * [taylor]: Taking taylor expansion of (- (* 1/2 (cos (- lambda1 lambda2)))) in lambda1 13.771 * [taylor]: Taking taylor expansion of (* 1/2 (cos (- lambda1 lambda2))) in lambda1 13.771 * [taylor]: Taking taylor expansion of 1/2 in lambda1 13.771 * [backup-simplify]: Simplify 1/2 into 1/2 13.771 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in lambda1 13.771 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 13.771 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.771 * [backup-simplify]: Simplify 0 into 0 13.771 * [backup-simplify]: Simplify 1 into 1 13.771 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.771 * [backup-simplify]: Simplify lambda2 into lambda2 13.771 * [backup-simplify]: Simplify (- lambda2) into (- lambda2) 13.771 * [backup-simplify]: Simplify (+ 0 (- lambda2)) into (- lambda2) 13.771 * [backup-simplify]: Simplify (cos (- lambda2)) into (cos (- lambda2)) 13.771 * [backup-simplify]: Simplify (sin (- lambda2)) into (sin (- lambda2)) 13.771 * [backup-simplify]: Simplify (* (cos (- lambda2)) 1) into (cos (- lambda2)) 13.771 * [backup-simplify]: Simplify (* (sin (- lambda2)) 0) into 0 13.771 * [backup-simplify]: Simplify (- 0) into 0 13.771 * [backup-simplify]: Simplify (+ (cos (- lambda2)) 0) into (cos (- lambda2)) 13.771 * [backup-simplify]: Simplify (* 1/2 (cos (- lambda2))) into (* 1/2 (cos (- lambda2))) 13.771 * [backup-simplify]: Simplify (- (* 1/2 (cos (- lambda2)))) into (- (* 1/2 (cos (- lambda2)))) 13.772 * [taylor]: Taking taylor expansion of (- (* 1/2 (cos (- lambda2)))) in lambda2 13.772 * [taylor]: Taking taylor expansion of (* 1/2 (cos (- lambda2))) in lambda2 13.772 * [taylor]: Taking taylor expansion of 1/2 in lambda2 13.772 * [backup-simplify]: Simplify 1/2 into 1/2 13.772 * [taylor]: Taking taylor expansion of (cos (- lambda2)) in lambda2 13.772 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 13.772 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.772 * [backup-simplify]: Simplify 0 into 0 13.772 * [backup-simplify]: Simplify 1 into 1 13.772 * [backup-simplify]: Simplify (- 0) into 0 13.772 * [backup-simplify]: Simplify (- 1) into -1 13.772 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 13.773 * [backup-simplify]: Simplify (- 1/2) into -1/2 13.773 * [backup-simplify]: Simplify -1/2 into -1/2 13.773 * [backup-simplify]: Simplify (+ (* -1/2 (pow (* 1 (* 1 (* phi2 1))) 2)) (+ (* -1/2 (pow (* 1 (* 1 (* 1 phi1))) 2)) 2)) into (- 2 (+ (* 1/2 (pow phi2 2)) (* 1/2 (pow phi1 2)))) 13.773 * [backup-simplify]: Simplify (+ (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))) into (+ (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) (cos (/ 1 phi1))) 13.773 * [approximate]: Taking taylor expansion of (+ (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) (cos (/ 1 phi1))) in (phi1 phi2 lambda1 lambda2) around 0 13.773 * [taylor]: Taking taylor expansion of (+ (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) (cos (/ 1 phi1))) in lambda2 13.773 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 13.773 * [taylor]: Taking taylor expansion of (cos (/ 1 phi2)) in lambda2 13.773 * [taylor]: Taking taylor expansion of (/ 1 phi2) in lambda2 13.773 * [taylor]: Taking taylor expansion of phi2 in lambda2 13.773 * [backup-simplify]: Simplify phi2 into phi2 13.773 * [backup-simplify]: Simplify (/ 1 phi2) into (/ 1 phi2) 13.773 * [backup-simplify]: Simplify (cos (/ 1 phi2)) into (cos (/ 1 phi2)) 13.774 * [backup-simplify]: Simplify (sin (/ 1 phi2)) into (sin (/ 1 phi2)) 13.774 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 13.774 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 13.774 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 13.774 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.774 * [backup-simplify]: Simplify lambda1 into lambda1 13.774 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 13.774 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 13.774 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.774 * [backup-simplify]: Simplify 0 into 0 13.774 * [backup-simplify]: Simplify 1 into 1 13.774 * [backup-simplify]: Simplify (/ 1 1) into 1 13.774 * [backup-simplify]: Simplify (- 1) into -1 13.774 * [backup-simplify]: Simplify (+ 0 -1) into -1 13.775 * [backup-simplify]: Simplify (cos (- (/ 1 lambda1) (/ 1 lambda2))) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 13.775 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in lambda2 13.775 * [taylor]: Taking taylor expansion of (/ 1 phi1) in lambda2 13.775 * [taylor]: Taking taylor expansion of phi1 in lambda2 13.775 * [backup-simplify]: Simplify phi1 into phi1 13.775 * [backup-simplify]: Simplify (/ 1 phi1) into (/ 1 phi1) 13.775 * [backup-simplify]: Simplify (cos (/ 1 phi1)) into (cos (/ 1 phi1)) 13.775 * [backup-simplify]: Simplify (sin (/ 1 phi1)) into (sin (/ 1 phi1)) 13.775 * [taylor]: Taking taylor expansion of (+ (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) (cos (/ 1 phi1))) in lambda1 13.775 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 13.775 * [taylor]: Taking taylor expansion of (cos (/ 1 phi2)) in lambda1 13.775 * [taylor]: Taking taylor expansion of (/ 1 phi2) in lambda1 13.775 * [taylor]: Taking taylor expansion of phi2 in lambda1 13.775 * [backup-simplify]: Simplify phi2 into phi2 13.775 * [backup-simplify]: Simplify (/ 1 phi2) into (/ 1 phi2) 13.775 * [backup-simplify]: Simplify (cos (/ 1 phi2)) into (cos (/ 1 phi2)) 13.775 * [backup-simplify]: Simplify (sin (/ 1 phi2)) into (sin (/ 1 phi2)) 13.775 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 13.775 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 13.775 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 13.775 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.775 * [backup-simplify]: Simplify 0 into 0 13.775 * [backup-simplify]: Simplify 1 into 1 13.775 * [backup-simplify]: Simplify (/ 1 1) into 1 13.775 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 13.775 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.775 * [backup-simplify]: Simplify lambda2 into lambda2 13.775 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 13.776 * [backup-simplify]: Simplify (+ 1 0) into 1 13.776 * [backup-simplify]: Simplify (cos (- (/ 1 lambda1) (/ 1 lambda2))) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 13.776 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in lambda1 13.776 * [taylor]: Taking taylor expansion of (/ 1 phi1) in lambda1 13.776 * [taylor]: Taking taylor expansion of phi1 in lambda1 13.776 * [backup-simplify]: Simplify phi1 into phi1 13.776 * [backup-simplify]: Simplify (/ 1 phi1) into (/ 1 phi1) 13.776 * [backup-simplify]: Simplify (cos (/ 1 phi1)) into (cos (/ 1 phi1)) 13.776 * [backup-simplify]: Simplify (sin (/ 1 phi1)) into (sin (/ 1 phi1)) 13.776 * [taylor]: Taking taylor expansion of (+ (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) (cos (/ 1 phi1))) in phi2 13.776 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) in phi2 13.776 * [taylor]: Taking taylor expansion of (cos (/ 1 phi2)) in phi2 13.776 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 13.776 * [taylor]: Taking taylor expansion of phi2 in phi2 13.776 * [backup-simplify]: Simplify 0 into 0 13.776 * [backup-simplify]: Simplify 1 into 1 13.776 * [backup-simplify]: Simplify (/ 1 1) into 1 13.776 * [backup-simplify]: Simplify (cos (/ 1 phi2)) into (cos (/ 1 phi2)) 13.776 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in phi2 13.776 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in phi2 13.776 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in phi2 13.776 * [taylor]: Taking taylor expansion of lambda1 in phi2 13.776 * [backup-simplify]: Simplify lambda1 into lambda1 13.776 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 13.776 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in phi2 13.776 * [taylor]: Taking taylor expansion of lambda2 in phi2 13.776 * [backup-simplify]: Simplify lambda2 into lambda2 13.776 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 13.777 * [backup-simplify]: Simplify (- (/ 1 lambda2)) into (- (/ 1 lambda2)) 13.777 * [backup-simplify]: Simplify (+ (/ 1 lambda1) (- (/ 1 lambda2))) into (- (/ 1 lambda1) (/ 1 lambda2)) 13.777 * [backup-simplify]: Simplify (cos (- (/ 1 lambda1) (/ 1 lambda2))) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 13.777 * [backup-simplify]: Simplify (sin (- (/ 1 lambda1) (/ 1 lambda2))) into (sin (- (/ 1 lambda1) (/ 1 lambda2))) 13.777 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in phi2 13.777 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 13.777 * [taylor]: Taking taylor expansion of phi1 in phi2 13.777 * [backup-simplify]: Simplify phi1 into phi1 13.777 * [backup-simplify]: Simplify (/ 1 phi1) into (/ 1 phi1) 13.777 * [backup-simplify]: Simplify (cos (/ 1 phi1)) into (cos (/ 1 phi1)) 13.777 * [backup-simplify]: Simplify (sin (/ 1 phi1)) into (sin (/ 1 phi1)) 13.777 * [taylor]: Taking taylor expansion of (+ (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) (cos (/ 1 phi1))) in phi1 13.777 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) in phi1 13.777 * [taylor]: Taking taylor expansion of (cos (/ 1 phi2)) in phi1 13.777 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 13.777 * [taylor]: Taking taylor expansion of phi2 in phi1 13.777 * [backup-simplify]: Simplify phi2 into phi2 13.777 * [backup-simplify]: Simplify (/ 1 phi2) into (/ 1 phi2) 13.777 * [backup-simplify]: Simplify (cos (/ 1 phi2)) into (cos (/ 1 phi2)) 13.777 * [backup-simplify]: Simplify (sin (/ 1 phi2)) into (sin (/ 1 phi2)) 13.777 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in phi1 13.777 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in phi1 13.777 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in phi1 13.777 * [taylor]: Taking taylor expansion of lambda1 in phi1 13.777 * [backup-simplify]: Simplify lambda1 into lambda1 13.777 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 13.777 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in phi1 13.777 * [taylor]: Taking taylor expansion of lambda2 in phi1 13.777 * [backup-simplify]: Simplify lambda2 into lambda2 13.777 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 13.777 * [backup-simplify]: Simplify (- (/ 1 lambda2)) into (- (/ 1 lambda2)) 13.777 * [backup-simplify]: Simplify (+ (/ 1 lambda1) (- (/ 1 lambda2))) into (- (/ 1 lambda1) (/ 1 lambda2)) 13.777 * [backup-simplify]: Simplify (cos (- (/ 1 lambda1) (/ 1 lambda2))) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 13.778 * [backup-simplify]: Simplify (sin (- (/ 1 lambda1) (/ 1 lambda2))) into (sin (- (/ 1 lambda1) (/ 1 lambda2))) 13.778 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in phi1 13.778 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 13.778 * [taylor]: Taking taylor expansion of phi1 in phi1 13.778 * [backup-simplify]: Simplify 0 into 0 13.778 * [backup-simplify]: Simplify 1 into 1 13.778 * [backup-simplify]: Simplify (/ 1 1) into 1 13.778 * [backup-simplify]: Simplify (cos (/ 1 phi1)) into (cos (/ 1 phi1)) 13.778 * [taylor]: Taking taylor expansion of (+ (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) (cos (/ 1 phi1))) in phi1 13.778 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) in phi1 13.778 * [taylor]: Taking taylor expansion of (cos (/ 1 phi2)) in phi1 13.778 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 13.778 * [taylor]: Taking taylor expansion of phi2 in phi1 13.778 * [backup-simplify]: Simplify phi2 into phi2 13.778 * [backup-simplify]: Simplify (/ 1 phi2) into (/ 1 phi2) 13.778 * [backup-simplify]: Simplify (cos (/ 1 phi2)) into (cos (/ 1 phi2)) 13.778 * [backup-simplify]: Simplify (sin (/ 1 phi2)) into (sin (/ 1 phi2)) 13.778 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in phi1 13.778 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in phi1 13.778 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in phi1 13.778 * [taylor]: Taking taylor expansion of lambda1 in phi1 13.778 * [backup-simplify]: Simplify lambda1 into lambda1 13.778 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 13.778 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in phi1 13.778 * [taylor]: Taking taylor expansion of lambda2 in phi1 13.778 * [backup-simplify]: Simplify lambda2 into lambda2 13.778 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 13.778 * [backup-simplify]: Simplify (- (/ 1 lambda2)) into (- (/ 1 lambda2)) 13.778 * [backup-simplify]: Simplify (+ (/ 1 lambda1) (- (/ 1 lambda2))) into (- (/ 1 lambda1) (/ 1 lambda2)) 13.778 * [backup-simplify]: Simplify (cos (- (/ 1 lambda1) (/ 1 lambda2))) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 13.779 * [backup-simplify]: Simplify (sin (- (/ 1 lambda1) (/ 1 lambda2))) into (sin (- (/ 1 lambda1) (/ 1 lambda2))) 13.779 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in phi1 13.779 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 13.779 * [taylor]: Taking taylor expansion of phi1 in phi1 13.779 * [backup-simplify]: Simplify 0 into 0 13.779 * [backup-simplify]: Simplify 1 into 1 13.779 * [backup-simplify]: Simplify (/ 1 1) into 1 13.779 * [backup-simplify]: Simplify (cos (/ 1 phi1)) into (cos (/ 1 phi1)) 13.779 * [backup-simplify]: Simplify (* (cos (/ 1 phi2)) 1) into (cos (/ 1 phi2)) 13.779 * [backup-simplify]: Simplify (* (sin (/ 1 phi2)) 0) into 0 13.779 * [backup-simplify]: Simplify (- 0) into 0 13.779 * [backup-simplify]: Simplify (+ (cos (/ 1 phi2)) 0) into (cos (/ 1 phi2)) 13.779 * [backup-simplify]: Simplify (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) 1) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 13.780 * [backup-simplify]: Simplify (* (sin (- (/ 1 lambda1) (/ 1 lambda2))) 0) into 0 13.780 * [backup-simplify]: Simplify (- 0) into 0 13.780 * [backup-simplify]: Simplify (+ (cos (- (/ 1 lambda1) (/ 1 lambda2))) 0) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 13.780 * [backup-simplify]: Simplify (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) into (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) 13.780 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) (cos (/ 1 phi1))) into (+ (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) (cos (/ 1 phi1))) 13.780 * [taylor]: Taking taylor expansion of (+ (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) (cos (/ 1 phi1))) in phi2 13.780 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) in phi2 13.780 * [taylor]: Taking taylor expansion of (cos (/ 1 phi2)) in phi2 13.780 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 13.780 * [taylor]: Taking taylor expansion of phi2 in phi2 13.780 * [backup-simplify]: Simplify 0 into 0 13.780 * [backup-simplify]: Simplify 1 into 1 13.780 * [backup-simplify]: Simplify (/ 1 1) into 1 13.780 * [backup-simplify]: Simplify (cos (/ 1 phi2)) into (cos (/ 1 phi2)) 13.781 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in phi2 13.781 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in phi2 13.781 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in phi2 13.781 * [taylor]: Taking taylor expansion of lambda1 in phi2 13.781 * [backup-simplify]: Simplify lambda1 into lambda1 13.781 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 13.781 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in phi2 13.781 * [taylor]: Taking taylor expansion of lambda2 in phi2 13.781 * [backup-simplify]: Simplify lambda2 into lambda2 13.781 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 13.781 * [backup-simplify]: Simplify (- (/ 1 lambda2)) into (- (/ 1 lambda2)) 13.781 * [backup-simplify]: Simplify (+ (/ 1 lambda1) (- (/ 1 lambda2))) into (- (/ 1 lambda1) (/ 1 lambda2)) 13.781 * [backup-simplify]: Simplify (cos (- (/ 1 lambda1) (/ 1 lambda2))) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 13.781 * [backup-simplify]: Simplify (sin (- (/ 1 lambda1) (/ 1 lambda2))) into (sin (- (/ 1 lambda1) (/ 1 lambda2))) 13.781 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in phi2 13.781 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 13.781 * [taylor]: Taking taylor expansion of phi1 in phi2 13.781 * [backup-simplify]: Simplify phi1 into phi1 13.781 * [backup-simplify]: Simplify (/ 1 phi1) into (/ 1 phi1) 13.781 * [backup-simplify]: Simplify (cos (/ 1 phi1)) into (cos (/ 1 phi1)) 13.781 * [backup-simplify]: Simplify (sin (/ 1 phi1)) into (sin (/ 1 phi1)) 13.781 * [backup-simplify]: Simplify (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) 1) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 13.781 * [backup-simplify]: Simplify (* (sin (- (/ 1 lambda1) (/ 1 lambda2))) 0) into 0 13.782 * [backup-simplify]: Simplify (- 0) into 0 13.782 * [backup-simplify]: Simplify (+ (cos (- (/ 1 lambda1) (/ 1 lambda2))) 0) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 13.782 * [backup-simplify]: Simplify (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) into (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) 13.782 * [backup-simplify]: Simplify (* (cos (/ 1 phi1)) 1) into (cos (/ 1 phi1)) 13.782 * [backup-simplify]: Simplify (* (sin (/ 1 phi1)) 0) into 0 13.782 * [backup-simplify]: Simplify (- 0) into 0 13.782 * [backup-simplify]: Simplify (+ (cos (/ 1 phi1)) 0) into (cos (/ 1 phi1)) 13.782 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) (cos (/ 1 phi1))) into (+ (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) (cos (/ 1 phi1))) 13.782 * [taylor]: Taking taylor expansion of (+ (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) (cos (/ 1 phi1))) in lambda1 13.782 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 13.782 * [taylor]: Taking taylor expansion of (cos (/ 1 phi2)) in lambda1 13.782 * [taylor]: Taking taylor expansion of (/ 1 phi2) in lambda1 13.782 * [taylor]: Taking taylor expansion of phi2 in lambda1 13.782 * [backup-simplify]: Simplify phi2 into phi2 13.782 * [backup-simplify]: Simplify (/ 1 phi2) into (/ 1 phi2) 13.782 * [backup-simplify]: Simplify (cos (/ 1 phi2)) into (cos (/ 1 phi2)) 13.782 * [backup-simplify]: Simplify (sin (/ 1 phi2)) into (sin (/ 1 phi2)) 13.782 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 13.782 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 13.783 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 13.783 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.783 * [backup-simplify]: Simplify 0 into 0 13.783 * [backup-simplify]: Simplify 1 into 1 13.783 * [backup-simplify]: Simplify (/ 1 1) into 1 13.783 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 13.783 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.783 * [backup-simplify]: Simplify lambda2 into lambda2 13.783 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 13.783 * [backup-simplify]: Simplify (+ 1 0) into 1 13.783 * [backup-simplify]: Simplify (cos (- (/ 1 lambda1) (/ 1 lambda2))) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 13.783 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in lambda1 13.783 * [taylor]: Taking taylor expansion of (/ 1 phi1) in lambda1 13.783 * [taylor]: Taking taylor expansion of phi1 in lambda1 13.783 * [backup-simplify]: Simplify phi1 into phi1 13.783 * [backup-simplify]: Simplify (/ 1 phi1) into (/ 1 phi1) 13.783 * [backup-simplify]: Simplify (cos (/ 1 phi1)) into (cos (/ 1 phi1)) 13.783 * [backup-simplify]: Simplify (sin (/ 1 phi1)) into (sin (/ 1 phi1)) 13.783 * [backup-simplify]: Simplify (* (cos (/ 1 phi2)) 1) into (cos (/ 1 phi2)) 13.784 * [backup-simplify]: Simplify (* (sin (/ 1 phi2)) 0) into 0 13.784 * [backup-simplify]: Simplify (- 0) into 0 13.784 * [backup-simplify]: Simplify (+ (cos (/ 1 phi2)) 0) into (cos (/ 1 phi2)) 13.784 * [backup-simplify]: Simplify (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) into (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) 13.784 * [backup-simplify]: Simplify (* (cos (/ 1 phi1)) 1) into (cos (/ 1 phi1)) 13.784 * [backup-simplify]: Simplify (* (sin (/ 1 phi1)) 0) into 0 13.784 * [backup-simplify]: Simplify (- 0) into 0 13.784 * [backup-simplify]: Simplify (+ (cos (/ 1 phi1)) 0) into (cos (/ 1 phi1)) 13.784 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) (cos (/ 1 phi1))) into (+ (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) (cos (/ 1 phi1))) 13.785 * [taylor]: Taking taylor expansion of (+ (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) (cos (/ 1 phi1))) in lambda2 13.785 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 13.785 * [taylor]: Taking taylor expansion of (cos (/ 1 phi2)) in lambda2 13.785 * [taylor]: Taking taylor expansion of (/ 1 phi2) in lambda2 13.785 * [taylor]: Taking taylor expansion of phi2 in lambda2 13.785 * [backup-simplify]: Simplify phi2 into phi2 13.785 * [backup-simplify]: Simplify (/ 1 phi2) into (/ 1 phi2) 13.785 * [backup-simplify]: Simplify (cos (/ 1 phi2)) into (cos (/ 1 phi2)) 13.785 * [backup-simplify]: Simplify (sin (/ 1 phi2)) into (sin (/ 1 phi2)) 13.785 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 13.785 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 13.785 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 13.785 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.785 * [backup-simplify]: Simplify lambda1 into lambda1 13.785 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 13.785 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 13.785 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.785 * [backup-simplify]: Simplify 0 into 0 13.785 * [backup-simplify]: Simplify 1 into 1 13.785 * [backup-simplify]: Simplify (/ 1 1) into 1 13.785 * [backup-simplify]: Simplify (- 1) into -1 13.786 * [backup-simplify]: Simplify (+ 0 -1) into -1 13.786 * [backup-simplify]: Simplify (cos (- (/ 1 lambda1) (/ 1 lambda2))) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 13.786 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in lambda2 13.786 * [taylor]: Taking taylor expansion of (/ 1 phi1) in lambda2 13.786 * [taylor]: Taking taylor expansion of phi1 in lambda2 13.786 * [backup-simplify]: Simplify phi1 into phi1 13.786 * [backup-simplify]: Simplify (/ 1 phi1) into (/ 1 phi1) 13.786 * [backup-simplify]: Simplify (cos (/ 1 phi1)) into (cos (/ 1 phi1)) 13.786 * [backup-simplify]: Simplify (sin (/ 1 phi1)) into (sin (/ 1 phi1)) 13.786 * [backup-simplify]: Simplify (* (cos (/ 1 phi2)) 1) into (cos (/ 1 phi2)) 13.786 * [backup-simplify]: Simplify (* (sin (/ 1 phi2)) 0) into 0 13.786 * [backup-simplify]: Simplify (- 0) into 0 13.786 * [backup-simplify]: Simplify (+ (cos (/ 1 phi2)) 0) into (cos (/ 1 phi2)) 13.786 * [backup-simplify]: Simplify (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) into (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) 13.786 * [backup-simplify]: Simplify (* (cos (/ 1 phi1)) 1) into (cos (/ 1 phi1)) 13.786 * [backup-simplify]: Simplify (* (sin (/ 1 phi1)) 0) into 0 13.787 * [backup-simplify]: Simplify (- 0) into 0 13.787 * [backup-simplify]: Simplify (+ (cos (/ 1 phi1)) 0) into (cos (/ 1 phi1)) 13.787 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) (cos (/ 1 phi1))) into (+ (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) (cos (/ 1 phi1))) 13.787 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) (cos (/ 1 phi1))) into (+ (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) (cos (/ 1 phi1))) 13.787 * [backup-simplify]: Simplify (+ 0) into 0 13.788 * [backup-simplify]: Simplify (+ (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) 0) (* 0 1)) into 0 13.788 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda1) (/ 0 lambda1)))) into 0 13.788 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda2) (/ 0 lambda2)))) into 0 13.788 * [backup-simplify]: Simplify (- 0) into 0 13.788 * [backup-simplify]: Simplify (+ 0 0) into 0 13.789 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 13.789 * [backup-simplify]: Simplify (+ (* (sin (- (/ 1 lambda1) (/ 1 lambda2))) 0) (* 0 0)) into 0 13.789 * [backup-simplify]: Simplify (- 0) into 0 13.790 * [backup-simplify]: Simplify (+ 0 0) into 0 13.790 * [backup-simplify]: Simplify (+ 0) into 0 13.790 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) 0) (* 0 1)) into 0 13.790 * [backup-simplify]: Simplify (- (+ (* (/ 1 phi2) (/ 0 phi2)))) into 0 13.791 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 13.791 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi2)) 0) (* 0 0)) into 0 13.791 * [backup-simplify]: Simplify (- 0) into 0 13.792 * [backup-simplify]: Simplify (+ 0 0) into 0 13.792 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) 0) (* 0 (cos (- (/ 1 lambda1) (/ 1 lambda2))))) into 0 13.792 * [backup-simplify]: Simplify (+ 0 0) into 0 13.792 * [taylor]: Taking taylor expansion of 0 in phi2 13.792 * [backup-simplify]: Simplify 0 into 0 13.792 * [taylor]: Taking taylor expansion of 0 in lambda1 13.792 * [backup-simplify]: Simplify 0 into 0 13.792 * [taylor]: Taking taylor expansion of 0 in lambda2 13.792 * [backup-simplify]: Simplify 0 into 0 13.792 * [backup-simplify]: Simplify 0 into 0 13.792 * [backup-simplify]: Simplify (+ 0) into 0 13.793 * [backup-simplify]: Simplify (+ (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) 0) (* 0 1)) into 0 13.793 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda1) (/ 0 lambda1)))) into 0 13.793 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda2) (/ 0 lambda2)))) into 0 13.793 * [backup-simplify]: Simplify (- 0) into 0 13.793 * [backup-simplify]: Simplify (+ 0 0) into 0 13.794 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 13.794 * [backup-simplify]: Simplify (+ (* (sin (- (/ 1 lambda1) (/ 1 lambda2))) 0) (* 0 0)) into 0 13.795 * [backup-simplify]: Simplify (- 0) into 0 13.795 * [backup-simplify]: Simplify (+ 0 0) into 0 13.795 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) 0) (* 0 (cos (- (/ 1 lambda1) (/ 1 lambda2))))) into 0 13.795 * [backup-simplify]: Simplify (+ 0) into 0 13.796 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi1)) 0) (* 0 1)) into 0 13.796 * [backup-simplify]: Simplify (- (+ (* (/ 1 phi1) (/ 0 phi1)))) into 0 13.796 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 13.796 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi1)) 0) (* 0 0)) into 0 13.797 * [backup-simplify]: Simplify (- 0) into 0 13.797 * [backup-simplify]: Simplify (+ 0 0) into 0 13.797 * [backup-simplify]: Simplify (+ 0 0) into 0 13.797 * [taylor]: Taking taylor expansion of 0 in lambda1 13.797 * [backup-simplify]: Simplify 0 into 0 13.797 * [taylor]: Taking taylor expansion of 0 in lambda2 13.797 * [backup-simplify]: Simplify 0 into 0 13.797 * [backup-simplify]: Simplify 0 into 0 13.797 * [backup-simplify]: Simplify (+ 0) into 0 13.798 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) 0) (* 0 1)) into 0 13.798 * [backup-simplify]: Simplify (- (+ (* (/ 1 phi2) (/ 0 phi2)))) into 0 13.798 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 13.799 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi2)) 0) (* 0 0)) into 0 13.799 * [backup-simplify]: Simplify (- 0) into 0 13.799 * [backup-simplify]: Simplify (+ 0 0) into 0 13.799 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) 0) (* 0 (cos (- (/ 1 lambda1) (/ 1 lambda2))))) into 0 13.799 * [backup-simplify]: Simplify (+ 0) into 0 13.800 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi1)) 0) (* 0 1)) into 0 13.800 * [backup-simplify]: Simplify (- (+ (* (/ 1 phi1) (/ 0 phi1)))) into 0 13.800 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 13.801 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi1)) 0) (* 0 0)) into 0 13.801 * [backup-simplify]: Simplify (- 0) into 0 13.801 * [backup-simplify]: Simplify (+ 0 0) into 0 13.801 * [backup-simplify]: Simplify (+ 0 0) into 0 13.801 * [taylor]: Taking taylor expansion of 0 in lambda2 13.801 * [backup-simplify]: Simplify 0 into 0 13.801 * [backup-simplify]: Simplify 0 into 0 13.802 * [backup-simplify]: Simplify (+ 0) into 0 13.802 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) 0) (* 0 1)) into 0 13.802 * [backup-simplify]: Simplify (- (+ (* (/ 1 phi2) (/ 0 phi2)))) into 0 13.802 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 13.803 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi2)) 0) (* 0 0)) into 0 13.803 * [backup-simplify]: Simplify (- 0) into 0 13.803 * [backup-simplify]: Simplify (+ 0 0) into 0 13.803 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) 0) (* 0 (cos (- (/ 1 lambda1) (/ 1 lambda2))))) into 0 13.804 * [backup-simplify]: Simplify (+ 0) into 0 13.804 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi1)) 0) (* 0 1)) into 0 13.804 * [backup-simplify]: Simplify (- (+ (* (/ 1 phi1) (/ 0 phi1)))) into 0 13.804 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 13.805 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi1)) 0) (* 0 0)) into 0 13.805 * [backup-simplify]: Simplify (- 0) into 0 13.805 * [backup-simplify]: Simplify (+ 0 0) into 0 13.805 * [backup-simplify]: Simplify (+ 0 0) into 0 13.805 * [backup-simplify]: Simplify 0 into 0 13.806 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 13.806 * [backup-simplify]: Simplify (+ (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) 0) (+ (* 0 0) (* 0 1))) into 0 13.806 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda1) (/ 0 lambda1)) (* 0 (/ 0 lambda1)))) into 0 13.807 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda2) (/ 0 lambda2)) (* 0 (/ 0 lambda2)))) into 0 13.807 * [backup-simplify]: Simplify (- 0) into 0 13.807 * [backup-simplify]: Simplify (+ 0 0) into 0 13.807 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 13.808 * [backup-simplify]: Simplify (+ (* (sin (- (/ 1 lambda1) (/ 1 lambda2))) 0) (+ (* 0 0) (* 0 0))) into 0 13.808 * [backup-simplify]: Simplify (- 0) into 0 13.808 * [backup-simplify]: Simplify (+ 0 0) into 0 13.809 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 13.809 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) 0) (+ (* 0 0) (* 0 1))) into 0 13.809 * [backup-simplify]: Simplify (- (+ (* (/ 1 phi2) (/ 0 phi2)) (* 0 (/ 0 phi2)))) into 0 13.810 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 13.810 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi2)) 0) (+ (* 0 0) (* 0 0))) into 0 13.810 * [backup-simplify]: Simplify (- 0) into 0 13.811 * [backup-simplify]: Simplify (+ 0 0) into 0 13.811 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) 0) (+ (* 0 0) (* 0 (cos (- (/ 1 lambda1) (/ 1 lambda2)))))) into 0 13.811 * [backup-simplify]: Simplify (+ 0 0) into 0 13.811 * [taylor]: Taking taylor expansion of 0 in phi2 13.811 * [backup-simplify]: Simplify 0 into 0 13.811 * [taylor]: Taking taylor expansion of 0 in lambda1 13.811 * [backup-simplify]: Simplify 0 into 0 13.811 * [taylor]: Taking taylor expansion of 0 in lambda2 13.811 * [backup-simplify]: Simplify 0 into 0 13.811 * [backup-simplify]: Simplify 0 into 0 13.811 * [taylor]: Taking taylor expansion of 0 in lambda1 13.811 * [backup-simplify]: Simplify 0 into 0 13.811 * [taylor]: Taking taylor expansion of 0 in lambda2 13.811 * [backup-simplify]: Simplify 0 into 0 13.811 * [backup-simplify]: Simplify 0 into 0 13.812 * [backup-simplify]: Simplify (+ (* (cos (/ 1 (/ 1 phi2))) (cos (- (/ 1 (/ 1 lambda1)) (/ 1 (/ 1 lambda2))))) (cos (/ 1 (/ 1 phi1)))) into (+ (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) 13.812 * [backup-simplify]: Simplify (+ (cos (/ 1 (- phi1))) (* (cos (/ 1 (- phi2))) (cos (- (/ 1 (- lambda1)) (/ 1 (- lambda2)))))) into (+ (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) 13.812 * [approximate]: Taking taylor expansion of (+ (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in (phi1 phi2 lambda1 lambda2) around 0 13.812 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda2 13.812 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in lambda2 13.812 * [taylor]: Taking taylor expansion of (/ -1 phi1) in lambda2 13.812 * [taylor]: Taking taylor expansion of -1 in lambda2 13.812 * [backup-simplify]: Simplify -1 into -1 13.812 * [taylor]: Taking taylor expansion of phi1 in lambda2 13.812 * [backup-simplify]: Simplify phi1 into phi1 13.812 * [backup-simplify]: Simplify (/ -1 phi1) into (/ -1 phi1) 13.812 * [backup-simplify]: Simplify (cos (/ -1 phi1)) into (cos (/ -1 phi1)) 13.812 * [backup-simplify]: Simplify (sin (/ -1 phi1)) into (sin (/ -1 phi1)) 13.812 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 13.812 * [taylor]: Taking taylor expansion of (cos (/ -1 phi2)) in lambda2 13.812 * [taylor]: Taking taylor expansion of (/ -1 phi2) in lambda2 13.812 * [taylor]: Taking taylor expansion of -1 in lambda2 13.812 * [backup-simplify]: Simplify -1 into -1 13.812 * [taylor]: Taking taylor expansion of phi2 in lambda2 13.812 * [backup-simplify]: Simplify phi2 into phi2 13.812 * [backup-simplify]: Simplify (/ -1 phi2) into (/ -1 phi2) 13.812 * [backup-simplify]: Simplify (cos (/ -1 phi2)) into (cos (/ -1 phi2)) 13.812 * [backup-simplify]: Simplify (sin (/ -1 phi2)) into (sin (/ -1 phi2)) 13.812 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 13.812 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 13.812 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 13.812 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.812 * [backup-simplify]: Simplify 0 into 0 13.812 * [backup-simplify]: Simplify 1 into 1 13.813 * [backup-simplify]: Simplify (/ 1 1) into 1 13.813 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 13.813 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.813 * [backup-simplify]: Simplify lambda1 into lambda1 13.813 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 13.813 * [backup-simplify]: Simplify (+ 1 0) into 1 13.813 * [backup-simplify]: Simplify (cos (- (/ 1 lambda2) (/ 1 lambda1))) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 13.813 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda1 13.813 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in lambda1 13.813 * [taylor]: Taking taylor expansion of (/ -1 phi1) in lambda1 13.813 * [taylor]: Taking taylor expansion of -1 in lambda1 13.813 * [backup-simplify]: Simplify -1 into -1 13.813 * [taylor]: Taking taylor expansion of phi1 in lambda1 13.813 * [backup-simplify]: Simplify phi1 into phi1 13.813 * [backup-simplify]: Simplify (/ -1 phi1) into (/ -1 phi1) 13.813 * [backup-simplify]: Simplify (cos (/ -1 phi1)) into (cos (/ -1 phi1)) 13.813 * [backup-simplify]: Simplify (sin (/ -1 phi1)) into (sin (/ -1 phi1)) 13.813 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 13.813 * [taylor]: Taking taylor expansion of (cos (/ -1 phi2)) in lambda1 13.813 * [taylor]: Taking taylor expansion of (/ -1 phi2) in lambda1 13.813 * [taylor]: Taking taylor expansion of -1 in lambda1 13.813 * [backup-simplify]: Simplify -1 into -1 13.813 * [taylor]: Taking taylor expansion of phi2 in lambda1 13.813 * [backup-simplify]: Simplify phi2 into phi2 13.813 * [backup-simplify]: Simplify (/ -1 phi2) into (/ -1 phi2) 13.813 * [backup-simplify]: Simplify (cos (/ -1 phi2)) into (cos (/ -1 phi2)) 13.813 * [backup-simplify]: Simplify (sin (/ -1 phi2)) into (sin (/ -1 phi2)) 13.814 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 13.814 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 13.814 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 13.814 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.814 * [backup-simplify]: Simplify lambda2 into lambda2 13.814 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 13.814 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 13.814 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.814 * [backup-simplify]: Simplify 0 into 0 13.814 * [backup-simplify]: Simplify 1 into 1 13.814 * [backup-simplify]: Simplify (/ 1 1) into 1 13.814 * [backup-simplify]: Simplify (- 1) into -1 13.814 * [backup-simplify]: Simplify (+ 0 -1) into -1 13.814 * [backup-simplify]: Simplify (cos (- (/ 1 lambda2) (/ 1 lambda1))) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 13.814 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in phi2 13.815 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in phi2 13.815 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi2 13.815 * [taylor]: Taking taylor expansion of -1 in phi2 13.815 * [backup-simplify]: Simplify -1 into -1 13.815 * [taylor]: Taking taylor expansion of phi1 in phi2 13.815 * [backup-simplify]: Simplify phi1 into phi1 13.815 * [backup-simplify]: Simplify (/ -1 phi1) into (/ -1 phi1) 13.815 * [backup-simplify]: Simplify (cos (/ -1 phi1)) into (cos (/ -1 phi1)) 13.815 * [backup-simplify]: Simplify (sin (/ -1 phi1)) into (sin (/ -1 phi1)) 13.815 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) in phi2 13.815 * [taylor]: Taking taylor expansion of (cos (/ -1 phi2)) in phi2 13.815 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi2 13.815 * [taylor]: Taking taylor expansion of -1 in phi2 13.815 * [backup-simplify]: Simplify -1 into -1 13.815 * [taylor]: Taking taylor expansion of phi2 in phi2 13.815 * [backup-simplify]: Simplify 0 into 0 13.815 * [backup-simplify]: Simplify 1 into 1 13.815 * [backup-simplify]: Simplify (/ -1 1) into -1 13.815 * [backup-simplify]: Simplify (cos (/ -1 phi2)) into (cos (/ -1 phi2)) 13.815 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in phi2 13.815 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in phi2 13.815 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in phi2 13.815 * [taylor]: Taking taylor expansion of lambda2 in phi2 13.815 * [backup-simplify]: Simplify lambda2 into lambda2 13.815 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 13.815 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in phi2 13.815 * [taylor]: Taking taylor expansion of lambda1 in phi2 13.815 * [backup-simplify]: Simplify lambda1 into lambda1 13.815 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 13.815 * [backup-simplify]: Simplify (- (/ 1 lambda1)) into (- (/ 1 lambda1)) 13.815 * [backup-simplify]: Simplify (+ (/ 1 lambda2) (- (/ 1 lambda1))) into (- (/ 1 lambda2) (/ 1 lambda1)) 13.816 * [backup-simplify]: Simplify (cos (- (/ 1 lambda2) (/ 1 lambda1))) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 13.816 * [backup-simplify]: Simplify (sin (- (/ 1 lambda2) (/ 1 lambda1))) into (sin (- (/ 1 lambda2) (/ 1 lambda1))) 13.816 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in phi1 13.816 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in phi1 13.816 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 13.816 * [taylor]: Taking taylor expansion of -1 in phi1 13.816 * [backup-simplify]: Simplify -1 into -1 13.816 * [taylor]: Taking taylor expansion of phi1 in phi1 13.816 * [backup-simplify]: Simplify 0 into 0 13.816 * [backup-simplify]: Simplify 1 into 1 13.816 * [backup-simplify]: Simplify (/ -1 1) into -1 13.816 * [backup-simplify]: Simplify (cos (/ -1 phi1)) into (cos (/ -1 phi1)) 13.816 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) in phi1 13.816 * [taylor]: Taking taylor expansion of (cos (/ -1 phi2)) in phi1 13.816 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi1 13.816 * [taylor]: Taking taylor expansion of -1 in phi1 13.816 * [backup-simplify]: Simplify -1 into -1 13.816 * [taylor]: Taking taylor expansion of phi2 in phi1 13.816 * [backup-simplify]: Simplify phi2 into phi2 13.816 * [backup-simplify]: Simplify (/ -1 phi2) into (/ -1 phi2) 13.816 * [backup-simplify]: Simplify (cos (/ -1 phi2)) into (cos (/ -1 phi2)) 13.816 * [backup-simplify]: Simplify (sin (/ -1 phi2)) into (sin (/ -1 phi2)) 13.816 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in phi1 13.816 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in phi1 13.816 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in phi1 13.816 * [taylor]: Taking taylor expansion of lambda2 in phi1 13.816 * [backup-simplify]: Simplify lambda2 into lambda2 13.816 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 13.816 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in phi1 13.816 * [taylor]: Taking taylor expansion of lambda1 in phi1 13.816 * [backup-simplify]: Simplify lambda1 into lambda1 13.816 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 13.817 * [backup-simplify]: Simplify (- (/ 1 lambda1)) into (- (/ 1 lambda1)) 13.817 * [backup-simplify]: Simplify (+ (/ 1 lambda2) (- (/ 1 lambda1))) into (- (/ 1 lambda2) (/ 1 lambda1)) 13.817 * [backup-simplify]: Simplify (cos (- (/ 1 lambda2) (/ 1 lambda1))) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 13.817 * [backup-simplify]: Simplify (sin (- (/ 1 lambda2) (/ 1 lambda1))) into (sin (- (/ 1 lambda2) (/ 1 lambda1))) 13.817 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in phi1 13.817 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in phi1 13.817 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 13.817 * [taylor]: Taking taylor expansion of -1 in phi1 13.817 * [backup-simplify]: Simplify -1 into -1 13.817 * [taylor]: Taking taylor expansion of phi1 in phi1 13.817 * [backup-simplify]: Simplify 0 into 0 13.817 * [backup-simplify]: Simplify 1 into 1 13.817 * [backup-simplify]: Simplify (/ -1 1) into -1 13.817 * [backup-simplify]: Simplify (cos (/ -1 phi1)) into (cos (/ -1 phi1)) 13.817 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) in phi1 13.817 * [taylor]: Taking taylor expansion of (cos (/ -1 phi2)) in phi1 13.817 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi1 13.817 * [taylor]: Taking taylor expansion of -1 in phi1 13.817 * [backup-simplify]: Simplify -1 into -1 13.817 * [taylor]: Taking taylor expansion of phi2 in phi1 13.817 * [backup-simplify]: Simplify phi2 into phi2 13.817 * [backup-simplify]: Simplify (/ -1 phi2) into (/ -1 phi2) 13.817 * [backup-simplify]: Simplify (cos (/ -1 phi2)) into (cos (/ -1 phi2)) 13.817 * [backup-simplify]: Simplify (sin (/ -1 phi2)) into (sin (/ -1 phi2)) 13.817 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in phi1 13.817 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in phi1 13.817 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in phi1 13.817 * [taylor]: Taking taylor expansion of lambda2 in phi1 13.817 * [backup-simplify]: Simplify lambda2 into lambda2 13.818 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 13.818 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in phi1 13.818 * [taylor]: Taking taylor expansion of lambda1 in phi1 13.818 * [backup-simplify]: Simplify lambda1 into lambda1 13.818 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 13.818 * [backup-simplify]: Simplify (- (/ 1 lambda1)) into (- (/ 1 lambda1)) 13.818 * [backup-simplify]: Simplify (+ (/ 1 lambda2) (- (/ 1 lambda1))) into (- (/ 1 lambda2) (/ 1 lambda1)) 13.818 * [backup-simplify]: Simplify (cos (- (/ 1 lambda2) (/ 1 lambda1))) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 13.818 * [backup-simplify]: Simplify (sin (- (/ 1 lambda2) (/ 1 lambda1))) into (sin (- (/ 1 lambda2) (/ 1 lambda1))) 13.818 * [backup-simplify]: Simplify (* (cos (/ -1 phi2)) 1) into (cos (/ -1 phi2)) 13.818 * [backup-simplify]: Simplify (* (sin (/ -1 phi2)) 0) into 0 13.818 * [backup-simplify]: Simplify (- 0) into 0 13.818 * [backup-simplify]: Simplify (+ (cos (/ -1 phi2)) 0) into (cos (/ -1 phi2)) 13.818 * [backup-simplify]: Simplify (* (cos (- (/ 1 lambda2) (/ 1 lambda1))) 1) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 13.818 * [backup-simplify]: Simplify (* (sin (- (/ 1 lambda2) (/ 1 lambda1))) 0) into 0 13.819 * [backup-simplify]: Simplify (- 0) into 0 13.819 * [backup-simplify]: Simplify (+ (cos (- (/ 1 lambda2) (/ 1 lambda1))) 0) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 13.819 * [backup-simplify]: Simplify (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) into (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) 13.819 * [backup-simplify]: Simplify (+ (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) into (+ (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) 13.819 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in phi2 13.819 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in phi2 13.819 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi2 13.819 * [taylor]: Taking taylor expansion of -1 in phi2 13.819 * [backup-simplify]: Simplify -1 into -1 13.819 * [taylor]: Taking taylor expansion of phi1 in phi2 13.819 * [backup-simplify]: Simplify phi1 into phi1 13.819 * [backup-simplify]: Simplify (/ -1 phi1) into (/ -1 phi1) 13.819 * [backup-simplify]: Simplify (cos (/ -1 phi1)) into (cos (/ -1 phi1)) 13.819 * [backup-simplify]: Simplify (sin (/ -1 phi1)) into (sin (/ -1 phi1)) 13.819 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) in phi2 13.819 * [taylor]: Taking taylor expansion of (cos (/ -1 phi2)) in phi2 13.819 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi2 13.819 * [taylor]: Taking taylor expansion of -1 in phi2 13.819 * [backup-simplify]: Simplify -1 into -1 13.819 * [taylor]: Taking taylor expansion of phi2 in phi2 13.819 * [backup-simplify]: Simplify 0 into 0 13.819 * [backup-simplify]: Simplify 1 into 1 13.820 * [backup-simplify]: Simplify (/ -1 1) into -1 13.820 * [backup-simplify]: Simplify (cos (/ -1 phi2)) into (cos (/ -1 phi2)) 13.820 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in phi2 13.820 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in phi2 13.820 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in phi2 13.820 * [taylor]: Taking taylor expansion of lambda2 in phi2 13.820 * [backup-simplify]: Simplify lambda2 into lambda2 13.820 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 13.820 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in phi2 13.820 * [taylor]: Taking taylor expansion of lambda1 in phi2 13.820 * [backup-simplify]: Simplify lambda1 into lambda1 13.820 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 13.820 * [backup-simplify]: Simplify (- (/ 1 lambda1)) into (- (/ 1 lambda1)) 13.820 * [backup-simplify]: Simplify (+ (/ 1 lambda2) (- (/ 1 lambda1))) into (- (/ 1 lambda2) (/ 1 lambda1)) 13.820 * [backup-simplify]: Simplify (cos (- (/ 1 lambda2) (/ 1 lambda1))) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 13.820 * [backup-simplify]: Simplify (sin (- (/ 1 lambda2) (/ 1 lambda1))) into (sin (- (/ 1 lambda2) (/ 1 lambda1))) 13.820 * [backup-simplify]: Simplify (* (cos (/ -1 phi1)) 1) into (cos (/ -1 phi1)) 13.820 * [backup-simplify]: Simplify (* (sin (/ -1 phi1)) 0) into 0 13.821 * [backup-simplify]: Simplify (- 0) into 0 13.821 * [backup-simplify]: Simplify (+ (cos (/ -1 phi1)) 0) into (cos (/ -1 phi1)) 13.821 * [backup-simplify]: Simplify (* (cos (- (/ 1 lambda2) (/ 1 lambda1))) 1) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 13.821 * [backup-simplify]: Simplify (* (sin (- (/ 1 lambda2) (/ 1 lambda1))) 0) into 0 13.821 * [backup-simplify]: Simplify (- 0) into 0 13.821 * [backup-simplify]: Simplify (+ (cos (- (/ 1 lambda2) (/ 1 lambda1))) 0) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 13.821 * [backup-simplify]: Simplify (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) into (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) 13.821 * [backup-simplify]: Simplify (+ (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) into (+ (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) 13.821 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda1 13.821 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in lambda1 13.821 * [taylor]: Taking taylor expansion of (/ -1 phi1) in lambda1 13.821 * [taylor]: Taking taylor expansion of -1 in lambda1 13.821 * [backup-simplify]: Simplify -1 into -1 13.821 * [taylor]: Taking taylor expansion of phi1 in lambda1 13.821 * [backup-simplify]: Simplify phi1 into phi1 13.821 * [backup-simplify]: Simplify (/ -1 phi1) into (/ -1 phi1) 13.822 * [backup-simplify]: Simplify (cos (/ -1 phi1)) into (cos (/ -1 phi1)) 13.822 * [backup-simplify]: Simplify (sin (/ -1 phi1)) into (sin (/ -1 phi1)) 13.822 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 13.822 * [taylor]: Taking taylor expansion of (cos (/ -1 phi2)) in lambda1 13.822 * [taylor]: Taking taylor expansion of (/ -1 phi2) in lambda1 13.822 * [taylor]: Taking taylor expansion of -1 in lambda1 13.822 * [backup-simplify]: Simplify -1 into -1 13.822 * [taylor]: Taking taylor expansion of phi2 in lambda1 13.822 * [backup-simplify]: Simplify phi2 into phi2 13.822 * [backup-simplify]: Simplify (/ -1 phi2) into (/ -1 phi2) 13.822 * [backup-simplify]: Simplify (cos (/ -1 phi2)) into (cos (/ -1 phi2)) 13.822 * [backup-simplify]: Simplify (sin (/ -1 phi2)) into (sin (/ -1 phi2)) 13.822 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 13.822 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 13.822 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 13.822 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.822 * [backup-simplify]: Simplify lambda2 into lambda2 13.822 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 13.822 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 13.822 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.822 * [backup-simplify]: Simplify 0 into 0 13.822 * [backup-simplify]: Simplify 1 into 1 13.822 * [backup-simplify]: Simplify (/ 1 1) into 1 13.822 * [backup-simplify]: Simplify (- 1) into -1 13.823 * [backup-simplify]: Simplify (+ 0 -1) into -1 13.823 * [backup-simplify]: Simplify (cos (- (/ 1 lambda2) (/ 1 lambda1))) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 13.823 * [backup-simplify]: Simplify (* (cos (/ -1 phi1)) 1) into (cos (/ -1 phi1)) 13.823 * [backup-simplify]: Simplify (* (sin (/ -1 phi1)) 0) into 0 13.823 * [backup-simplify]: Simplify (- 0) into 0 13.823 * [backup-simplify]: Simplify (+ (cos (/ -1 phi1)) 0) into (cos (/ -1 phi1)) 13.823 * [backup-simplify]: Simplify (* (cos (/ -1 phi2)) 1) into (cos (/ -1 phi2)) 13.823 * [backup-simplify]: Simplify (* (sin (/ -1 phi2)) 0) into 0 13.824 * [backup-simplify]: Simplify (- 0) into 0 13.824 * [backup-simplify]: Simplify (+ (cos (/ -1 phi2)) 0) into (cos (/ -1 phi2)) 13.824 * [backup-simplify]: Simplify (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) into (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) 13.824 * [backup-simplify]: Simplify (+ (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) into (+ (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) 13.824 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda2 13.824 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in lambda2 13.824 * [taylor]: Taking taylor expansion of (/ -1 phi1) in lambda2 13.824 * [taylor]: Taking taylor expansion of -1 in lambda2 13.824 * [backup-simplify]: Simplify -1 into -1 13.824 * [taylor]: Taking taylor expansion of phi1 in lambda2 13.824 * [backup-simplify]: Simplify phi1 into phi1 13.824 * [backup-simplify]: Simplify (/ -1 phi1) into (/ -1 phi1) 13.824 * [backup-simplify]: Simplify (cos (/ -1 phi1)) into (cos (/ -1 phi1)) 13.824 * [backup-simplify]: Simplify (sin (/ -1 phi1)) into (sin (/ -1 phi1)) 13.824 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 13.824 * [taylor]: Taking taylor expansion of (cos (/ -1 phi2)) in lambda2 13.824 * [taylor]: Taking taylor expansion of (/ -1 phi2) in lambda2 13.824 * [taylor]: Taking taylor expansion of -1 in lambda2 13.824 * [backup-simplify]: Simplify -1 into -1 13.824 * [taylor]: Taking taylor expansion of phi2 in lambda2 13.824 * [backup-simplify]: Simplify phi2 into phi2 13.824 * [backup-simplify]: Simplify (/ -1 phi2) into (/ -1 phi2) 13.824 * [backup-simplify]: Simplify (cos (/ -1 phi2)) into (cos (/ -1 phi2)) 13.824 * [backup-simplify]: Simplify (sin (/ -1 phi2)) into (sin (/ -1 phi2)) 13.824 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 13.824 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 13.824 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 13.824 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.824 * [backup-simplify]: Simplify 0 into 0 13.824 * [backup-simplify]: Simplify 1 into 1 13.825 * [backup-simplify]: Simplify (/ 1 1) into 1 13.825 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 13.825 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.825 * [backup-simplify]: Simplify lambda1 into lambda1 13.825 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 13.825 * [backup-simplify]: Simplify (+ 1 0) into 1 13.825 * [backup-simplify]: Simplify (cos (- (/ 1 lambda2) (/ 1 lambda1))) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 13.825 * [backup-simplify]: Simplify (* (cos (/ -1 phi1)) 1) into (cos (/ -1 phi1)) 13.825 * [backup-simplify]: Simplify (* (sin (/ -1 phi1)) 0) into 0 13.825 * [backup-simplify]: Simplify (- 0) into 0 13.825 * [backup-simplify]: Simplify (+ (cos (/ -1 phi1)) 0) into (cos (/ -1 phi1)) 13.826 * [backup-simplify]: Simplify (* (cos (/ -1 phi2)) 1) into (cos (/ -1 phi2)) 13.826 * [backup-simplify]: Simplify (* (sin (/ -1 phi2)) 0) into 0 13.826 * [backup-simplify]: Simplify (- 0) into 0 13.826 * [backup-simplify]: Simplify (+ (cos (/ -1 phi2)) 0) into (cos (/ -1 phi2)) 13.826 * [backup-simplify]: Simplify (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) into (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) 13.826 * [backup-simplify]: Simplify (+ (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) into (+ (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) 13.826 * [backup-simplify]: Simplify (+ (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) into (+ (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) 13.827 * [backup-simplify]: Simplify (+ 0) into 0 13.827 * [backup-simplify]: Simplify (+ (* (cos (- (/ 1 lambda2) (/ 1 lambda1))) 0) (* 0 1)) into 0 13.827 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda2) (/ 0 lambda2)))) into 0 13.827 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda1) (/ 0 lambda1)))) into 0 13.827 * [backup-simplify]: Simplify (- 0) into 0 13.827 * [backup-simplify]: Simplify (+ 0 0) into 0 13.828 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 13.828 * [backup-simplify]: Simplify (+ (* (sin (- (/ 1 lambda2) (/ 1 lambda1))) 0) (* 0 0)) into 0 13.828 * [backup-simplify]: Simplify (- 0) into 0 13.829 * [backup-simplify]: Simplify (+ 0 0) into 0 13.829 * [backup-simplify]: Simplify (+ 0) into 0 13.829 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi2)) 0) (* 0 1)) into 0 13.829 * [backup-simplify]: Simplify (- (/ 0 phi2) (+ (* (/ -1 phi2) (/ 0 phi2)))) into 0 13.830 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 13.830 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi2)) 0) (* 0 0)) into 0 13.830 * [backup-simplify]: Simplify (- 0) into 0 13.831 * [backup-simplify]: Simplify (+ 0 0) into 0 13.831 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi2)) 0) (* 0 (cos (- (/ 1 lambda2) (/ 1 lambda1))))) into 0 13.831 * [backup-simplify]: Simplify (+ 0 0) into 0 13.831 * [taylor]: Taking taylor expansion of 0 in phi2 13.831 * [backup-simplify]: Simplify 0 into 0 13.831 * [taylor]: Taking taylor expansion of 0 in lambda1 13.831 * [backup-simplify]: Simplify 0 into 0 13.831 * [taylor]: Taking taylor expansion of 0 in lambda2 13.831 * [backup-simplify]: Simplify 0 into 0 13.831 * [backup-simplify]: Simplify 0 into 0 13.831 * [backup-simplify]: Simplify (+ 0) into 0 13.832 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi1)) 0) (* 0 1)) into 0 13.832 * [backup-simplify]: Simplify (- (/ 0 phi1) (+ (* (/ -1 phi1) (/ 0 phi1)))) into 0 13.832 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 13.832 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi1)) 0) (* 0 0)) into 0 13.833 * [backup-simplify]: Simplify (- 0) into 0 13.833 * [backup-simplify]: Simplify (+ 0 0) into 0 13.833 * [backup-simplify]: Simplify (+ 0) into 0 13.833 * [backup-simplify]: Simplify (+ (* (cos (- (/ 1 lambda2) (/ 1 lambda1))) 0) (* 0 1)) into 0 13.834 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda2) (/ 0 lambda2)))) into 0 13.834 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda1) (/ 0 lambda1)))) into 0 13.834 * [backup-simplify]: Simplify (- 0) into 0 13.834 * [backup-simplify]: Simplify (+ 0 0) into 0 13.835 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 13.835 * [backup-simplify]: Simplify (+ (* (sin (- (/ 1 lambda2) (/ 1 lambda1))) 0) (* 0 0)) into 0 13.835 * [backup-simplify]: Simplify (- 0) into 0 13.835 * [backup-simplify]: Simplify (+ 0 0) into 0 13.835 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi2)) 0) (* 0 (cos (- (/ 1 lambda2) (/ 1 lambda1))))) into 0 13.836 * [backup-simplify]: Simplify (+ 0 0) into 0 13.836 * [taylor]: Taking taylor expansion of 0 in lambda1 13.836 * [backup-simplify]: Simplify 0 into 0 13.836 * [taylor]: Taking taylor expansion of 0 in lambda2 13.836 * [backup-simplify]: Simplify 0 into 0 13.836 * [backup-simplify]: Simplify 0 into 0 13.836 * [backup-simplify]: Simplify (+ 0) into 0 13.836 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi1)) 0) (* 0 1)) into 0 13.836 * [backup-simplify]: Simplify (- (/ 0 phi1) (+ (* (/ -1 phi1) (/ 0 phi1)))) into 0 13.837 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 13.837 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi1)) 0) (* 0 0)) into 0 13.837 * [backup-simplify]: Simplify (- 0) into 0 13.838 * [backup-simplify]: Simplify (+ 0 0) into 0 13.838 * [backup-simplify]: Simplify (+ 0) into 0 13.838 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi2)) 0) (* 0 1)) into 0 13.838 * [backup-simplify]: Simplify (- (/ 0 phi2) (+ (* (/ -1 phi2) (/ 0 phi2)))) into 0 13.839 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 13.839 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi2)) 0) (* 0 0)) into 0 13.839 * [backup-simplify]: Simplify (- 0) into 0 13.840 * [backup-simplify]: Simplify (+ 0 0) into 0 13.840 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi2)) 0) (* 0 (cos (- (/ 1 lambda2) (/ 1 lambda1))))) into 0 13.840 * [backup-simplify]: Simplify (+ 0 0) into 0 13.840 * [taylor]: Taking taylor expansion of 0 in lambda2 13.840 * [backup-simplify]: Simplify 0 into 0 13.840 * [backup-simplify]: Simplify 0 into 0 13.841 * [backup-simplify]: Simplify (+ 0) into 0 13.841 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi1)) 0) (* 0 1)) into 0 13.842 * [backup-simplify]: Simplify (- (/ 0 phi1) (+ (* (/ -1 phi1) (/ 0 phi1)))) into 0 13.842 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 13.843 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi1)) 0) (* 0 0)) into 0 13.843 * [backup-simplify]: Simplify (- 0) into 0 13.843 * [backup-simplify]: Simplify (+ 0 0) into 0 13.844 * [backup-simplify]: Simplify (+ 0) into 0 13.845 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi2)) 0) (* 0 1)) into 0 13.845 * [backup-simplify]: Simplify (- (/ 0 phi2) (+ (* (/ -1 phi2) (/ 0 phi2)))) into 0 13.846 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 13.846 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi2)) 0) (* 0 0)) into 0 13.846 * [backup-simplify]: Simplify (- 0) into 0 13.847 * [backup-simplify]: Simplify (+ 0 0) into 0 13.847 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi2)) 0) (* 0 (cos (- (/ 1 lambda2) (/ 1 lambda1))))) into 0 13.847 * [backup-simplify]: Simplify (+ 0 0) into 0 13.847 * [backup-simplify]: Simplify 0 into 0 13.848 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 13.849 * [backup-simplify]: Simplify (+ (* (cos (- (/ 1 lambda2) (/ 1 lambda1))) 0) (+ (* 0 0) (* 0 1))) into 0 13.849 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda2) (/ 0 lambda2)) (* 0 (/ 0 lambda2)))) into 0 13.849 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda1) (/ 0 lambda1)) (* 0 (/ 0 lambda1)))) into 0 13.850 * [backup-simplify]: Simplify (- 0) into 0 13.850 * [backup-simplify]: Simplify (+ 0 0) into 0 13.851 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 13.852 * [backup-simplify]: Simplify (+ (* (sin (- (/ 1 lambda2) (/ 1 lambda1))) 0) (+ (* 0 0) (* 0 0))) into 0 13.852 * [backup-simplify]: Simplify (- 0) into 0 13.852 * [backup-simplify]: Simplify (+ 0 0) into 0 13.853 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 13.854 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi2)) 0) (+ (* 0 0) (* 0 1))) into 0 13.854 * [backup-simplify]: Simplify (- (/ 0 phi2) (+ (* (/ -1 phi2) (/ 0 phi2)) (* 0 (/ 0 phi2)))) into 0 13.855 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 13.855 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi2)) 0) (+ (* 0 0) (* 0 0))) into 0 13.856 * [backup-simplify]: Simplify (- 0) into 0 13.856 * [backup-simplify]: Simplify (+ 0 0) into 0 13.857 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi2)) 0) (+ (* 0 0) (* 0 (cos (- (/ 1 lambda2) (/ 1 lambda1)))))) into 0 13.857 * [backup-simplify]: Simplify (+ 0 0) into 0 13.857 * [taylor]: Taking taylor expansion of 0 in phi2 13.857 * [backup-simplify]: Simplify 0 into 0 13.857 * [taylor]: Taking taylor expansion of 0 in lambda1 13.857 * [backup-simplify]: Simplify 0 into 0 13.857 * [taylor]: Taking taylor expansion of 0 in lambda2 13.857 * [backup-simplify]: Simplify 0 into 0 13.857 * [backup-simplify]: Simplify 0 into 0 13.857 * [taylor]: Taking taylor expansion of 0 in lambda1 13.857 * [backup-simplify]: Simplify 0 into 0 13.857 * [taylor]: Taking taylor expansion of 0 in lambda2 13.858 * [backup-simplify]: Simplify 0 into 0 13.858 * [backup-simplify]: Simplify 0 into 0 13.858 * [backup-simplify]: Simplify (+ (cos (/ -1 (/ 1 (- phi1)))) (* (cos (/ -1 (/ 1 (- phi2)))) (cos (- (/ 1 (/ 1 (- lambda2))) (/ 1 (/ 1 (- lambda1))))))) into (+ (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) 13.858 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 13.858 * [backup-simplify]: Simplify (* (cos phi2) (sin (- lambda1 lambda2))) into (* (sin (- lambda1 lambda2)) (cos phi2)) 13.858 * [approximate]: Taking taylor expansion of (* (sin (- lambda1 lambda2)) (cos phi2)) in (phi2 lambda1 lambda2) around 0 13.858 * [taylor]: Taking taylor expansion of (* (sin (- lambda1 lambda2)) (cos phi2)) in lambda2 13.858 * [taylor]: Taking taylor expansion of (sin (- lambda1 lambda2)) in lambda2 13.858 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 13.858 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.858 * [backup-simplify]: Simplify lambda1 into lambda1 13.858 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.858 * [backup-simplify]: Simplify 0 into 0 13.858 * [backup-simplify]: Simplify 1 into 1 13.859 * [backup-simplify]: Simplify (- 0) into 0 13.859 * [backup-simplify]: Simplify (+ lambda1 0) into lambda1 13.859 * [backup-simplify]: Simplify (sin lambda1) into (sin lambda1) 13.859 * [backup-simplify]: Simplify (cos lambda1) into (cos lambda1) 13.859 * [taylor]: Taking taylor expansion of (cos phi2) in lambda2 13.859 * [taylor]: Taking taylor expansion of phi2 in lambda2 13.859 * [backup-simplify]: Simplify phi2 into phi2 13.859 * [backup-simplify]: Simplify (cos phi2) into (cos phi2) 13.859 * [backup-simplify]: Simplify (sin phi2) into (sin phi2) 13.859 * [taylor]: Taking taylor expansion of (* (sin (- lambda1 lambda2)) (cos phi2)) in lambda1 13.859 * [taylor]: Taking taylor expansion of (sin (- lambda1 lambda2)) in lambda1 13.859 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 13.859 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.859 * [backup-simplify]: Simplify 0 into 0 13.859 * [backup-simplify]: Simplify 1 into 1 13.859 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.859 * [backup-simplify]: Simplify lambda2 into lambda2 13.859 * [backup-simplify]: Simplify (- lambda2) into (- lambda2) 13.859 * [backup-simplify]: Simplify (+ 0 (- lambda2)) into (- lambda2) 13.860 * [backup-simplify]: Simplify (sin (- lambda2)) into (sin (- lambda2)) 13.860 * [backup-simplify]: Simplify (cos (- lambda2)) into (cos (- lambda2)) 13.860 * [taylor]: Taking taylor expansion of (cos phi2) in lambda1 13.860 * [taylor]: Taking taylor expansion of phi2 in lambda1 13.860 * [backup-simplify]: Simplify phi2 into phi2 13.860 * [backup-simplify]: Simplify (cos phi2) into (cos phi2) 13.860 * [backup-simplify]: Simplify (sin phi2) into (sin phi2) 13.860 * [taylor]: Taking taylor expansion of (* (sin (- lambda1 lambda2)) (cos phi2)) in phi2 13.860 * [taylor]: Taking taylor expansion of (sin (- lambda1 lambda2)) in phi2 13.860 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in phi2 13.860 * [taylor]: Taking taylor expansion of lambda1 in phi2 13.860 * [backup-simplify]: Simplify lambda1 into lambda1 13.860 * [taylor]: Taking taylor expansion of lambda2 in phi2 13.860 * [backup-simplify]: Simplify lambda2 into lambda2 13.860 * [backup-simplify]: Simplify (- lambda2) into (- lambda2) 13.860 * [backup-simplify]: Simplify (+ lambda1 (- lambda2)) into (- lambda1 lambda2) 13.860 * [backup-simplify]: Simplify (sin (- lambda1 lambda2)) into (sin (- lambda1 lambda2)) 13.860 * [backup-simplify]: Simplify (cos (- lambda1 lambda2)) into (cos (- lambda1 lambda2)) 13.860 * [taylor]: Taking taylor expansion of (cos phi2) in phi2 13.860 * [taylor]: Taking taylor expansion of phi2 in phi2 13.860 * [backup-simplify]: Simplify 0 into 0 13.860 * [backup-simplify]: Simplify 1 into 1 13.860 * [taylor]: Taking taylor expansion of (* (sin (- lambda1 lambda2)) (cos phi2)) in phi2 13.860 * [taylor]: Taking taylor expansion of (sin (- lambda1 lambda2)) in phi2 13.860 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in phi2 13.860 * [taylor]: Taking taylor expansion of lambda1 in phi2 13.860 * [backup-simplify]: Simplify lambda1 into lambda1 13.860 * [taylor]: Taking taylor expansion of lambda2 in phi2 13.860 * [backup-simplify]: Simplify lambda2 into lambda2 13.861 * [backup-simplify]: Simplify (- lambda2) into (- lambda2) 13.861 * [backup-simplify]: Simplify (+ lambda1 (- lambda2)) into (- lambda1 lambda2) 13.861 * [backup-simplify]: Simplify (sin (- lambda1 lambda2)) into (sin (- lambda1 lambda2)) 13.861 * [backup-simplify]: Simplify (cos (- lambda1 lambda2)) into (cos (- lambda1 lambda2)) 13.861 * [taylor]: Taking taylor expansion of (cos phi2) in phi2 13.861 * [taylor]: Taking taylor expansion of phi2 in phi2 13.861 * [backup-simplify]: Simplify 0 into 0 13.861 * [backup-simplify]: Simplify 1 into 1 13.861 * [backup-simplify]: Simplify (* (sin (- lambda1 lambda2)) 1) into (sin (- lambda1 lambda2)) 13.861 * [backup-simplify]: Simplify (* (cos (- lambda1 lambda2)) 0) into 0 13.861 * [backup-simplify]: Simplify (+ (sin (- lambda1 lambda2)) 0) into (sin (- lambda1 lambda2)) 13.861 * [backup-simplify]: Simplify (* (sin (- lambda1 lambda2)) 1) into (sin (- lambda1 lambda2)) 13.861 * [taylor]: Taking taylor expansion of (sin (- lambda1 lambda2)) in lambda1 13.861 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 13.861 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.861 * [backup-simplify]: Simplify 0 into 0 13.861 * [backup-simplify]: Simplify 1 into 1 13.861 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.861 * [backup-simplify]: Simplify lambda2 into lambda2 13.862 * [backup-simplify]: Simplify (- lambda2) into (- lambda2) 13.862 * [backup-simplify]: Simplify (+ 0 (- lambda2)) into (- lambda2) 13.862 * [backup-simplify]: Simplify (sin (- lambda2)) into (sin (- lambda2)) 13.862 * [backup-simplify]: Simplify (cos (- lambda2)) into (cos (- lambda2)) 13.862 * [backup-simplify]: Simplify (* (sin (- lambda2)) 1) into (sin (- lambda2)) 13.862 * [backup-simplify]: Simplify (* (cos (- lambda2)) 0) into 0 13.862 * [backup-simplify]: Simplify (+ (sin (- lambda2)) 0) into (sin (- lambda2)) 13.862 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda2 13.862 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 13.862 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.862 * [backup-simplify]: Simplify 0 into 0 13.862 * [backup-simplify]: Simplify 1 into 1 13.863 * [backup-simplify]: Simplify (- 0) into 0 13.863 * [backup-simplify]: Simplify (- 1) into -1 13.863 * [backup-simplify]: Simplify 0 into 0 13.864 * [backup-simplify]: Simplify (+ 0) into 0 13.864 * [backup-simplify]: Simplify (+ 0) into 0 13.865 * [backup-simplify]: Simplify (+ (* (sin (- lambda1 lambda2)) 0) (* 0 1)) into 0 13.865 * [backup-simplify]: Simplify (- 0) into 0 13.866 * [backup-simplify]: Simplify (+ 0 0) into 0 13.866 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 13.867 * [backup-simplify]: Simplify (+ (* (cos (- lambda1 lambda2)) 0) (* 0 0)) into 0 13.869 * [backup-simplify]: Simplify (+ 0 0) into 0 13.870 * [backup-simplify]: Simplify (+ (* (sin (- lambda1 lambda2)) 0) (* 0 1)) into 0 13.871 * [taylor]: Taking taylor expansion of 0 in lambda1 13.871 * [backup-simplify]: Simplify 0 into 0 13.871 * [taylor]: Taking taylor expansion of 0 in lambda2 13.871 * [backup-simplify]: Simplify 0 into 0 13.871 * [backup-simplify]: Simplify 0 into 0 13.871 * [backup-simplify]: Simplify (+ 0) into 0 13.871 * [backup-simplify]: Simplify (+ (* (sin (- lambda2)) 0) (* 0 1)) into 0 13.872 * [backup-simplify]: Simplify (- 0) into 0 13.872 * [backup-simplify]: Simplify (+ 1 0) into 1 13.873 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 13.873 * [backup-simplify]: Simplify (+ (* (cos (- lambda2)) 1) (* 0 0)) into (cos (- lambda2)) 13.873 * [backup-simplify]: Simplify (+ 0 (cos (- lambda2))) into (cos (- lambda2)) 13.873 * [taylor]: Taking taylor expansion of (cos (- lambda2)) in lambda2 13.873 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 13.873 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.873 * [backup-simplify]: Simplify 0 into 0 13.873 * [backup-simplify]: Simplify 1 into 1 13.873 * [backup-simplify]: Simplify (- 0) into 0 13.874 * [backup-simplify]: Simplify (- 1) into -1 13.874 * [backup-simplify]: Simplify 1 into 1 13.874 * [backup-simplify]: Simplify (- 1) into -1 13.874 * [backup-simplify]: Simplify (+ (* 1 (/ (pow -1 1) 1))) into -1 13.874 * [backup-simplify]: Simplify -1 into -1 13.875 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 13.875 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 13.876 * [backup-simplify]: Simplify (+ (* (sin (- lambda1 lambda2)) 0) (+ (* 0 0) (* 0 1))) into 0 13.876 * [backup-simplify]: Simplify (- 0) into 0 13.876 * [backup-simplify]: Simplify (+ 0 0) into 0 13.877 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 13.877 * [backup-simplify]: Simplify (+ (* (cos (- lambda1 lambda2)) 0) (+ (* 0 0) (* 0 0))) into 0 13.877 * [backup-simplify]: Simplify (+ 0 0) into 0 13.878 * [backup-simplify]: Simplify (+ (* (sin (- lambda1 lambda2)) -1/2) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (sin (- lambda1 lambda2)))) 13.878 * [taylor]: Taking taylor expansion of (- (* 1/2 (sin (- lambda1 lambda2)))) in lambda1 13.878 * [taylor]: Taking taylor expansion of (* 1/2 (sin (- lambda1 lambda2))) in lambda1 13.878 * [taylor]: Taking taylor expansion of 1/2 in lambda1 13.878 * [backup-simplify]: Simplify 1/2 into 1/2 13.878 * [taylor]: Taking taylor expansion of (sin (- lambda1 lambda2)) in lambda1 13.878 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 13.878 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.878 * [backup-simplify]: Simplify 0 into 0 13.878 * [backup-simplify]: Simplify 1 into 1 13.878 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.878 * [backup-simplify]: Simplify lambda2 into lambda2 13.878 * [backup-simplify]: Simplify (- lambda2) into (- lambda2) 13.878 * [backup-simplify]: Simplify (+ 0 (- lambda2)) into (- lambda2) 13.878 * [backup-simplify]: Simplify (sin (- lambda2)) into (sin (- lambda2)) 13.878 * [backup-simplify]: Simplify (cos (- lambda2)) into (cos (- lambda2)) 13.878 * [backup-simplify]: Simplify (* (sin (- lambda2)) 1) into (sin (- lambda2)) 13.878 * [backup-simplify]: Simplify (* (cos (- lambda2)) 0) into 0 13.878 * [backup-simplify]: Simplify (+ (sin (- lambda2)) 0) into (sin (- lambda2)) 13.878 * [backup-simplify]: Simplify (* 1/2 (sin (- lambda2))) into (* 1/2 (sin (- lambda2))) 13.878 * [backup-simplify]: Simplify (- (* 1/2 (sin (- lambda2)))) into (- (* 1/2 (sin (- lambda2)))) 13.878 * [taylor]: Taking taylor expansion of (- (* 1/2 (sin (- lambda2)))) in lambda2 13.878 * [taylor]: Taking taylor expansion of (* 1/2 (sin (- lambda2))) in lambda2 13.878 * [taylor]: Taking taylor expansion of 1/2 in lambda2 13.879 * [backup-simplify]: Simplify 1/2 into 1/2 13.879 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda2 13.879 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 13.879 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.879 * [backup-simplify]: Simplify 0 into 0 13.879 * [backup-simplify]: Simplify 1 into 1 13.879 * [backup-simplify]: Simplify (- 0) into 0 13.879 * [backup-simplify]: Simplify (- 1) into -1 13.879 * [backup-simplify]: Simplify (* 1/2 0) into 0 13.880 * [backup-simplify]: Simplify (- 0) into 0 13.880 * [backup-simplify]: Simplify 0 into 0 13.880 * [taylor]: Taking taylor expansion of 0 in lambda2 13.880 * [backup-simplify]: Simplify 0 into 0 13.880 * [backup-simplify]: Simplify 0 into 0 13.880 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 13.881 * [backup-simplify]: Simplify (+ (* (sin (- lambda2)) -1/2) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (sin (- lambda2)))) 13.881 * [backup-simplify]: Simplify (- 0) into 0 13.881 * [backup-simplify]: Simplify (+ 0 0) into 0 13.882 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 13.882 * [backup-simplify]: Simplify (+ (* (cos (- lambda2)) 0) (+ (* 0 1) (* 0 0))) into 0 13.882 * [backup-simplify]: Simplify (+ (- (* 1/2 (sin (- lambda2)))) 0) into (- (* 1/2 (sin (- lambda2)))) 13.882 * [taylor]: Taking taylor expansion of (- (* 1/2 (sin (- lambda2)))) in lambda2 13.882 * [taylor]: Taking taylor expansion of (* 1/2 (sin (- lambda2))) in lambda2 13.882 * [taylor]: Taking taylor expansion of 1/2 in lambda2 13.882 * [backup-simplify]: Simplify 1/2 into 1/2 13.882 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda2 13.882 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 13.882 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.882 * [backup-simplify]: Simplify 0 into 0 13.882 * [backup-simplify]: Simplify 1 into 1 13.883 * [backup-simplify]: Simplify (- 0) into 0 13.883 * [backup-simplify]: Simplify (- 1) into -1 13.883 * [backup-simplify]: Simplify (* 1/2 0) into 0 13.883 * [backup-simplify]: Simplify (- 0) into 0 13.883 * [backup-simplify]: Simplify 0 into 0 13.883 * [backup-simplify]: Simplify 0 into 0 13.884 * [backup-simplify]: Simplify (+ 0) into 0 13.884 * [backup-simplify]: Simplify 0 into 0 13.884 * [backup-simplify]: Simplify (- 0) into 0 13.884 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 13.884 * [backup-simplify]: Simplify 0 into 0 13.885 * [backup-simplify]: Simplify (+ (* -1 (* lambda2 (* 1 1))) (* 1 (* 1 (* lambda1 1)))) into (- lambda1 lambda2) 13.885 * [backup-simplify]: Simplify (* (cos (/ 1 phi2)) (sin (- (/ 1 lambda1) (/ 1 lambda2)))) into (* (cos (/ 1 phi2)) (sin (- (/ 1 lambda1) (/ 1 lambda2)))) 13.885 * [approximate]: Taking taylor expansion of (* (cos (/ 1 phi2)) (sin (- (/ 1 lambda1) (/ 1 lambda2)))) in (phi2 lambda1 lambda2) around 0 13.885 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (sin (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 13.885 * [taylor]: Taking taylor expansion of (cos (/ 1 phi2)) in lambda2 13.885 * [taylor]: Taking taylor expansion of (/ 1 phi2) in lambda2 13.885 * [taylor]: Taking taylor expansion of phi2 in lambda2 13.885 * [backup-simplify]: Simplify phi2 into phi2 13.885 * [backup-simplify]: Simplify (/ 1 phi2) into (/ 1 phi2) 13.885 * [backup-simplify]: Simplify (cos (/ 1 phi2)) into (cos (/ 1 phi2)) 13.885 * [backup-simplify]: Simplify (sin (/ 1 phi2)) into (sin (/ 1 phi2)) 13.885 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 13.885 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 13.885 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 13.885 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.885 * [backup-simplify]: Simplify lambda1 into lambda1 13.885 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 13.885 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 13.885 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.885 * [backup-simplify]: Simplify 0 into 0 13.885 * [backup-simplify]: Simplify 1 into 1 13.885 * [backup-simplify]: Simplify (/ 1 1) into 1 13.886 * [backup-simplify]: Simplify (- 1) into -1 13.886 * [backup-simplify]: Simplify (+ 0 -1) into -1 13.886 * [backup-simplify]: Simplify (sin (- (/ 1 lambda1) (/ 1 lambda2))) into (sin (- (/ 1 lambda1) (/ 1 lambda2))) 13.886 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (sin (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 13.886 * [taylor]: Taking taylor expansion of (cos (/ 1 phi2)) in lambda1 13.886 * [taylor]: Taking taylor expansion of (/ 1 phi2) in lambda1 13.886 * [taylor]: Taking taylor expansion of phi2 in lambda1 13.886 * [backup-simplify]: Simplify phi2 into phi2 13.886 * [backup-simplify]: Simplify (/ 1 phi2) into (/ 1 phi2) 13.886 * [backup-simplify]: Simplify (cos (/ 1 phi2)) into (cos (/ 1 phi2)) 13.886 * [backup-simplify]: Simplify (sin (/ 1 phi2)) into (sin (/ 1 phi2)) 13.886 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 13.886 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 13.886 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 13.886 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.886 * [backup-simplify]: Simplify 0 into 0 13.886 * [backup-simplify]: Simplify 1 into 1 13.887 * [backup-simplify]: Simplify (/ 1 1) into 1 13.887 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 13.887 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.887 * [backup-simplify]: Simplify lambda2 into lambda2 13.887 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 13.887 * [backup-simplify]: Simplify (+ 1 0) into 1 13.887 * [backup-simplify]: Simplify (sin (- (/ 1 lambda1) (/ 1 lambda2))) into (sin (- (/ 1 lambda1) (/ 1 lambda2))) 13.887 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (sin (- (/ 1 lambda1) (/ 1 lambda2)))) in phi2 13.887 * [taylor]: Taking taylor expansion of (cos (/ 1 phi2)) in phi2 13.887 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 13.887 * [taylor]: Taking taylor expansion of phi2 in phi2 13.887 * [backup-simplify]: Simplify 0 into 0 13.887 * [backup-simplify]: Simplify 1 into 1 13.887 * [backup-simplify]: Simplify (/ 1 1) into 1 13.887 * [backup-simplify]: Simplify (cos (/ 1 phi2)) into (cos (/ 1 phi2)) 13.887 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda1) (/ 1 lambda2))) in phi2 13.887 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in phi2 13.887 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in phi2 13.887 * [taylor]: Taking taylor expansion of lambda1 in phi2 13.887 * [backup-simplify]: Simplify lambda1 into lambda1 13.888 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 13.888 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in phi2 13.888 * [taylor]: Taking taylor expansion of lambda2 in phi2 13.888 * [backup-simplify]: Simplify lambda2 into lambda2 13.888 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 13.888 * [backup-simplify]: Simplify (- (/ 1 lambda2)) into (- (/ 1 lambda2)) 13.888 * [backup-simplify]: Simplify (+ (/ 1 lambda1) (- (/ 1 lambda2))) into (- (/ 1 lambda1) (/ 1 lambda2)) 13.888 * [backup-simplify]: Simplify (sin (- (/ 1 lambda1) (/ 1 lambda2))) into (sin (- (/ 1 lambda1) (/ 1 lambda2))) 13.888 * [backup-simplify]: Simplify (cos (- (/ 1 lambda1) (/ 1 lambda2))) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 13.888 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (sin (- (/ 1 lambda1) (/ 1 lambda2)))) in phi2 13.888 * [taylor]: Taking taylor expansion of (cos (/ 1 phi2)) in phi2 13.888 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 13.888 * [taylor]: Taking taylor expansion of phi2 in phi2 13.888 * [backup-simplify]: Simplify 0 into 0 13.888 * [backup-simplify]: Simplify 1 into 1 13.888 * [backup-simplify]: Simplify (/ 1 1) into 1 13.888 * [backup-simplify]: Simplify (cos (/ 1 phi2)) into (cos (/ 1 phi2)) 13.888 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda1) (/ 1 lambda2))) in phi2 13.888 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in phi2 13.888 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in phi2 13.888 * [taylor]: Taking taylor expansion of lambda1 in phi2 13.888 * [backup-simplify]: Simplify lambda1 into lambda1 13.888 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 13.888 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in phi2 13.888 * [taylor]: Taking taylor expansion of lambda2 in phi2 13.888 * [backup-simplify]: Simplify lambda2 into lambda2 13.888 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 13.888 * [backup-simplify]: Simplify (- (/ 1 lambda2)) into (- (/ 1 lambda2)) 13.889 * [backup-simplify]: Simplify (+ (/ 1 lambda1) (- (/ 1 lambda2))) into (- (/ 1 lambda1) (/ 1 lambda2)) 13.889 * [backup-simplify]: Simplify (sin (- (/ 1 lambda1) (/ 1 lambda2))) into (sin (- (/ 1 lambda1) (/ 1 lambda2))) 13.889 * [backup-simplify]: Simplify (cos (- (/ 1 lambda1) (/ 1 lambda2))) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 13.889 * [backup-simplify]: Simplify (* (sin (- (/ 1 lambda1) (/ 1 lambda2))) 1) into (sin (- (/ 1 lambda1) (/ 1 lambda2))) 13.889 * [backup-simplify]: Simplify (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) 0) into 0 13.889 * [backup-simplify]: Simplify (+ (sin (- (/ 1 lambda1) (/ 1 lambda2))) 0) into (sin (- (/ 1 lambda1) (/ 1 lambda2))) 13.889 * [backup-simplify]: Simplify (* (cos (/ 1 phi2)) (sin (- (/ 1 lambda1) (/ 1 lambda2)))) into (* (cos (/ 1 phi2)) (sin (- (/ 1 lambda1) (/ 1 lambda2)))) 13.889 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (sin (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 13.889 * [taylor]: Taking taylor expansion of (cos (/ 1 phi2)) in lambda1 13.889 * [taylor]: Taking taylor expansion of (/ 1 phi2) in lambda1 13.889 * [taylor]: Taking taylor expansion of phi2 in lambda1 13.889 * [backup-simplify]: Simplify phi2 into phi2 13.889 * [backup-simplify]: Simplify (/ 1 phi2) into (/ 1 phi2) 13.889 * [backup-simplify]: Simplify (cos (/ 1 phi2)) into (cos (/ 1 phi2)) 13.889 * [backup-simplify]: Simplify (sin (/ 1 phi2)) into (sin (/ 1 phi2)) 13.889 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 13.889 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 13.889 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 13.889 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.889 * [backup-simplify]: Simplify 0 into 0 13.889 * [backup-simplify]: Simplify 1 into 1 13.890 * [backup-simplify]: Simplify (/ 1 1) into 1 13.890 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 13.890 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.890 * [backup-simplify]: Simplify lambda2 into lambda2 13.890 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 13.890 * [backup-simplify]: Simplify (+ 1 0) into 1 13.890 * [backup-simplify]: Simplify (sin (- (/ 1 lambda1) (/ 1 lambda2))) into (sin (- (/ 1 lambda1) (/ 1 lambda2))) 13.890 * [backup-simplify]: Simplify (* (cos (/ 1 phi2)) 1) into (cos (/ 1 phi2)) 13.890 * [backup-simplify]: Simplify (* (sin (/ 1 phi2)) 0) into 0 13.890 * [backup-simplify]: Simplify (- 0) into 0 13.890 * [backup-simplify]: Simplify (+ (cos (/ 1 phi2)) 0) into (cos (/ 1 phi2)) 13.891 * [backup-simplify]: Simplify (* (cos (/ 1 phi2)) (sin (- (/ 1 lambda1) (/ 1 lambda2)))) into (* (cos (/ 1 phi2)) (sin (- (/ 1 lambda1) (/ 1 lambda2)))) 13.891 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (sin (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 13.891 * [taylor]: Taking taylor expansion of (cos (/ 1 phi2)) in lambda2 13.891 * [taylor]: Taking taylor expansion of (/ 1 phi2) in lambda2 13.891 * [taylor]: Taking taylor expansion of phi2 in lambda2 13.891 * [backup-simplify]: Simplify phi2 into phi2 13.891 * [backup-simplify]: Simplify (/ 1 phi2) into (/ 1 phi2) 13.891 * [backup-simplify]: Simplify (cos (/ 1 phi2)) into (cos (/ 1 phi2)) 13.891 * [backup-simplify]: Simplify (sin (/ 1 phi2)) into (sin (/ 1 phi2)) 13.891 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 13.891 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 13.891 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 13.891 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.891 * [backup-simplify]: Simplify lambda1 into lambda1 13.891 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 13.891 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 13.891 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.891 * [backup-simplify]: Simplify 0 into 0 13.891 * [backup-simplify]: Simplify 1 into 1 13.891 * [backup-simplify]: Simplify (/ 1 1) into 1 13.891 * [backup-simplify]: Simplify (- 1) into -1 13.892 * [backup-simplify]: Simplify (+ 0 -1) into -1 13.892 * [backup-simplify]: Simplify (sin (- (/ 1 lambda1) (/ 1 lambda2))) into (sin (- (/ 1 lambda1) (/ 1 lambda2))) 13.892 * [backup-simplify]: Simplify (* (cos (/ 1 phi2)) 1) into (cos (/ 1 phi2)) 13.892 * [backup-simplify]: Simplify (* (sin (/ 1 phi2)) 0) into 0 13.892 * [backup-simplify]: Simplify (- 0) into 0 13.892 * [backup-simplify]: Simplify (+ (cos (/ 1 phi2)) 0) into (cos (/ 1 phi2)) 13.892 * [backup-simplify]: Simplify (* (cos (/ 1 phi2)) (sin (- (/ 1 lambda1) (/ 1 lambda2)))) into (* (cos (/ 1 phi2)) (sin (- (/ 1 lambda1) (/ 1 lambda2)))) 13.892 * [backup-simplify]: Simplify (* (cos (/ 1 phi2)) (sin (- (/ 1 lambda1) (/ 1 lambda2)))) into (* (cos (/ 1 phi2)) (sin (- (/ 1 lambda1) (/ 1 lambda2)))) 13.893 * [backup-simplify]: Simplify (+ 0) into 0 13.893 * [backup-simplify]: Simplify (+ (* (sin (- (/ 1 lambda1) (/ 1 lambda2))) 0) (* 0 1)) into 0 13.893 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda1) (/ 0 lambda1)))) into 0 13.893 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda2) (/ 0 lambda2)))) into 0 13.893 * [backup-simplify]: Simplify (- 0) into 0 13.894 * [backup-simplify]: Simplify (+ 0 0) into 0 13.894 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 13.894 * [backup-simplify]: Simplify (+ (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) 0) (* 0 0)) into 0 13.895 * [backup-simplify]: Simplify (+ 0 0) into 0 13.895 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) 0) (* 0 (sin (- (/ 1 lambda1) (/ 1 lambda2))))) into 0 13.895 * [taylor]: Taking taylor expansion of 0 in lambda1 13.895 * [backup-simplify]: Simplify 0 into 0 13.895 * [taylor]: Taking taylor expansion of 0 in lambda2 13.895 * [backup-simplify]: Simplify 0 into 0 13.895 * [backup-simplify]: Simplify 0 into 0 13.895 * [backup-simplify]: Simplify (+ 0) into 0 13.896 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) 0) (* 0 1)) into 0 13.896 * [backup-simplify]: Simplify (- (+ (* (/ 1 phi2) (/ 0 phi2)))) into 0 13.896 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 13.896 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi2)) 0) (* 0 0)) into 0 13.897 * [backup-simplify]: Simplify (- 0) into 0 13.897 * [backup-simplify]: Simplify (+ 0 0) into 0 13.897 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) 0) (* 0 (sin (- (/ 1 lambda1) (/ 1 lambda2))))) into 0 13.897 * [taylor]: Taking taylor expansion of 0 in lambda2 13.897 * [backup-simplify]: Simplify 0 into 0 13.897 * [backup-simplify]: Simplify 0 into 0 13.897 * [backup-simplify]: Simplify (+ 0) into 0 13.898 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) 0) (* 0 1)) into 0 13.898 * [backup-simplify]: Simplify (- (+ (* (/ 1 phi2) (/ 0 phi2)))) into 0 13.898 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 13.899 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi2)) 0) (* 0 0)) into 0 13.899 * [backup-simplify]: Simplify (- 0) into 0 13.899 * [backup-simplify]: Simplify (+ 0 0) into 0 13.899 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) 0) (* 0 (sin (- (/ 1 lambda1) (/ 1 lambda2))))) into 0 13.899 * [backup-simplify]: Simplify 0 into 0 13.900 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 13.900 * [backup-simplify]: Simplify (+ (* (sin (- (/ 1 lambda1) (/ 1 lambda2))) 0) (+ (* 0 0) (* 0 1))) into 0 13.900 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda1) (/ 0 lambda1)) (* 0 (/ 0 lambda1)))) into 0 13.900 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda2) (/ 0 lambda2)) (* 0 (/ 0 lambda2)))) into 0 13.901 * [backup-simplify]: Simplify (- 0) into 0 13.901 * [backup-simplify]: Simplify (+ 0 0) into 0 13.901 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 13.902 * [backup-simplify]: Simplify (+ (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) 0) (+ (* 0 0) (* 0 0))) into 0 13.902 * [backup-simplify]: Simplify (+ 0 0) into 0 13.902 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) 0) (+ (* 0 0) (* 0 (sin (- (/ 1 lambda1) (/ 1 lambda2)))))) into 0 13.902 * [taylor]: Taking taylor expansion of 0 in lambda1 13.902 * [backup-simplify]: Simplify 0 into 0 13.902 * [taylor]: Taking taylor expansion of 0 in lambda2 13.902 * [backup-simplify]: Simplify 0 into 0 13.902 * [backup-simplify]: Simplify 0 into 0 13.902 * [taylor]: Taking taylor expansion of 0 in lambda2 13.902 * [backup-simplify]: Simplify 0 into 0 13.902 * [backup-simplify]: Simplify 0 into 0 13.903 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 13.903 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) 0) (+ (* 0 0) (* 0 1))) into 0 13.903 * [backup-simplify]: Simplify (- (+ (* (/ 1 phi2) (/ 0 phi2)) (* 0 (/ 0 phi2)))) into 0 13.904 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 13.904 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi2)) 0) (+ (* 0 0) (* 0 0))) into 0 13.904 * [backup-simplify]: Simplify (- 0) into 0 13.905 * [backup-simplify]: Simplify (+ 0 0) into 0 13.905 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) 0) (+ (* 0 0) (* 0 (sin (- (/ 1 lambda1) (/ 1 lambda2)))))) into 0 13.905 * [taylor]: Taking taylor expansion of 0 in lambda2 13.905 * [backup-simplify]: Simplify 0 into 0 13.905 * [backup-simplify]: Simplify 0 into 0 13.905 * [backup-simplify]: Simplify (* (cos (/ 1 (/ 1 phi2))) (sin (- (/ 1 (/ 1 lambda1)) (/ 1 (/ 1 lambda2))))) into (* (sin (- lambda1 lambda2)) (cos phi2)) 13.905 * [backup-simplify]: Simplify (* (cos (/ 1 (- phi2))) (sin (- (/ 1 (- lambda1)) (/ 1 (- lambda2))))) into (* (cos (/ -1 phi2)) (sin (- (/ 1 lambda2) (/ 1 lambda1)))) 13.905 * [approximate]: Taking taylor expansion of (* (cos (/ -1 phi2)) (sin (- (/ 1 lambda2) (/ 1 lambda1)))) in (phi2 lambda1 lambda2) around 0 13.905 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi2)) (sin (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 13.905 * [taylor]: Taking taylor expansion of (cos (/ -1 phi2)) in lambda2 13.905 * [taylor]: Taking taylor expansion of (/ -1 phi2) in lambda2 13.905 * [taylor]: Taking taylor expansion of -1 in lambda2 13.905 * [backup-simplify]: Simplify -1 into -1 13.905 * [taylor]: Taking taylor expansion of phi2 in lambda2 13.905 * [backup-simplify]: Simplify phi2 into phi2 13.906 * [backup-simplify]: Simplify (/ -1 phi2) into (/ -1 phi2) 13.906 * [backup-simplify]: Simplify (cos (/ -1 phi2)) into (cos (/ -1 phi2)) 13.906 * [backup-simplify]: Simplify (sin (/ -1 phi2)) into (sin (/ -1 phi2)) 13.906 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 13.906 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 13.906 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 13.906 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.906 * [backup-simplify]: Simplify 0 into 0 13.906 * [backup-simplify]: Simplify 1 into 1 13.906 * [backup-simplify]: Simplify (/ 1 1) into 1 13.906 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 13.906 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.906 * [backup-simplify]: Simplify lambda1 into lambda1 13.906 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 13.906 * [backup-simplify]: Simplify (+ 1 0) into 1 13.906 * [backup-simplify]: Simplify (sin (- (/ 1 lambda2) (/ 1 lambda1))) into (sin (- (/ 1 lambda2) (/ 1 lambda1))) 13.906 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi2)) (sin (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 13.906 * [taylor]: Taking taylor expansion of (cos (/ -1 phi2)) in lambda1 13.906 * [taylor]: Taking taylor expansion of (/ -1 phi2) in lambda1 13.906 * [taylor]: Taking taylor expansion of -1 in lambda1 13.906 * [backup-simplify]: Simplify -1 into -1 13.906 * [taylor]: Taking taylor expansion of phi2 in lambda1 13.907 * [backup-simplify]: Simplify phi2 into phi2 13.907 * [backup-simplify]: Simplify (/ -1 phi2) into (/ -1 phi2) 13.907 * [backup-simplify]: Simplify (cos (/ -1 phi2)) into (cos (/ -1 phi2)) 13.907 * [backup-simplify]: Simplify (sin (/ -1 phi2)) into (sin (/ -1 phi2)) 13.907 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 13.907 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 13.907 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 13.907 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.907 * [backup-simplify]: Simplify lambda2 into lambda2 13.907 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 13.907 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 13.907 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.907 * [backup-simplify]: Simplify 0 into 0 13.907 * [backup-simplify]: Simplify 1 into 1 13.907 * [backup-simplify]: Simplify (/ 1 1) into 1 13.907 * [backup-simplify]: Simplify (- 1) into -1 13.908 * [backup-simplify]: Simplify (+ 0 -1) into -1 13.908 * [backup-simplify]: Simplify (sin (- (/ 1 lambda2) (/ 1 lambda1))) into (sin (- (/ 1 lambda2) (/ 1 lambda1))) 13.908 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi2)) (sin (- (/ 1 lambda2) (/ 1 lambda1)))) in phi2 13.908 * [taylor]: Taking taylor expansion of (cos (/ -1 phi2)) in phi2 13.908 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi2 13.908 * [taylor]: Taking taylor expansion of -1 in phi2 13.908 * [backup-simplify]: Simplify -1 into -1 13.908 * [taylor]: Taking taylor expansion of phi2 in phi2 13.908 * [backup-simplify]: Simplify 0 into 0 13.908 * [backup-simplify]: Simplify 1 into 1 13.908 * [backup-simplify]: Simplify (/ -1 1) into -1 13.908 * [backup-simplify]: Simplify (cos (/ -1 phi2)) into (cos (/ -1 phi2)) 13.908 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2) (/ 1 lambda1))) in phi2 13.908 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in phi2 13.908 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in phi2 13.908 * [taylor]: Taking taylor expansion of lambda2 in phi2 13.908 * [backup-simplify]: Simplify lambda2 into lambda2 13.908 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 13.908 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in phi2 13.908 * [taylor]: Taking taylor expansion of lambda1 in phi2 13.908 * [backup-simplify]: Simplify lambda1 into lambda1 13.908 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 13.908 * [backup-simplify]: Simplify (- (/ 1 lambda1)) into (- (/ 1 lambda1)) 13.908 * [backup-simplify]: Simplify (+ (/ 1 lambda2) (- (/ 1 lambda1))) into (- (/ 1 lambda2) (/ 1 lambda1)) 13.908 * [backup-simplify]: Simplify (sin (- (/ 1 lambda2) (/ 1 lambda1))) into (sin (- (/ 1 lambda2) (/ 1 lambda1))) 13.909 * [backup-simplify]: Simplify (cos (- (/ 1 lambda2) (/ 1 lambda1))) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 13.909 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi2)) (sin (- (/ 1 lambda2) (/ 1 lambda1)))) in phi2 13.909 * [taylor]: Taking taylor expansion of (cos (/ -1 phi2)) in phi2 13.909 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi2 13.909 * [taylor]: Taking taylor expansion of -1 in phi2 13.909 * [backup-simplify]: Simplify -1 into -1 13.909 * [taylor]: Taking taylor expansion of phi2 in phi2 13.909 * [backup-simplify]: Simplify 0 into 0 13.909 * [backup-simplify]: Simplify 1 into 1 13.909 * [backup-simplify]: Simplify (/ -1 1) into -1 13.909 * [backup-simplify]: Simplify (cos (/ -1 phi2)) into (cos (/ -1 phi2)) 13.909 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2) (/ 1 lambda1))) in phi2 13.909 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in phi2 13.909 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in phi2 13.909 * [taylor]: Taking taylor expansion of lambda2 in phi2 13.909 * [backup-simplify]: Simplify lambda2 into lambda2 13.909 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 13.909 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in phi2 13.909 * [taylor]: Taking taylor expansion of lambda1 in phi2 13.909 * [backup-simplify]: Simplify lambda1 into lambda1 13.909 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 13.909 * [backup-simplify]: Simplify (- (/ 1 lambda1)) into (- (/ 1 lambda1)) 13.909 * [backup-simplify]: Simplify (+ (/ 1 lambda2) (- (/ 1 lambda1))) into (- (/ 1 lambda2) (/ 1 lambda1)) 13.909 * [backup-simplify]: Simplify (sin (- (/ 1 lambda2) (/ 1 lambda1))) into (sin (- (/ 1 lambda2) (/ 1 lambda1))) 13.909 * [backup-simplify]: Simplify (cos (- (/ 1 lambda2) (/ 1 lambda1))) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 13.910 * [backup-simplify]: Simplify (* (sin (- (/ 1 lambda2) (/ 1 lambda1))) 1) into (sin (- (/ 1 lambda2) (/ 1 lambda1))) 13.910 * [backup-simplify]: Simplify (* (cos (- (/ 1 lambda2) (/ 1 lambda1))) 0) into 0 13.910 * [backup-simplify]: Simplify (+ (sin (- (/ 1 lambda2) (/ 1 lambda1))) 0) into (sin (- (/ 1 lambda2) (/ 1 lambda1))) 13.910 * [backup-simplify]: Simplify (* (cos (/ -1 phi2)) (sin (- (/ 1 lambda2) (/ 1 lambda1)))) into (* (cos (/ -1 phi2)) (sin (- (/ 1 lambda2) (/ 1 lambda1)))) 13.910 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi2)) (sin (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 13.910 * [taylor]: Taking taylor expansion of (cos (/ -1 phi2)) in lambda1 13.910 * [taylor]: Taking taylor expansion of (/ -1 phi2) in lambda1 13.910 * [taylor]: Taking taylor expansion of -1 in lambda1 13.910 * [backup-simplify]: Simplify -1 into -1 13.910 * [taylor]: Taking taylor expansion of phi2 in lambda1 13.910 * [backup-simplify]: Simplify phi2 into phi2 13.910 * [backup-simplify]: Simplify (/ -1 phi2) into (/ -1 phi2) 13.910 * [backup-simplify]: Simplify (cos (/ -1 phi2)) into (cos (/ -1 phi2)) 13.910 * [backup-simplify]: Simplify (sin (/ -1 phi2)) into (sin (/ -1 phi2)) 13.910 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 13.910 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 13.910 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 13.910 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.910 * [backup-simplify]: Simplify lambda2 into lambda2 13.910 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 13.910 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 13.910 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.910 * [backup-simplify]: Simplify 0 into 0 13.910 * [backup-simplify]: Simplify 1 into 1 13.910 * [backup-simplify]: Simplify (/ 1 1) into 1 13.911 * [backup-simplify]: Simplify (- 1) into -1 13.911 * [backup-simplify]: Simplify (+ 0 -1) into -1 13.911 * [backup-simplify]: Simplify (sin (- (/ 1 lambda2) (/ 1 lambda1))) into (sin (- (/ 1 lambda2) (/ 1 lambda1))) 13.911 * [backup-simplify]: Simplify (* (cos (/ -1 phi2)) 1) into (cos (/ -1 phi2)) 13.911 * [backup-simplify]: Simplify (* (sin (/ -1 phi2)) 0) into 0 13.911 * [backup-simplify]: Simplify (- 0) into 0 13.912 * [backup-simplify]: Simplify (+ (cos (/ -1 phi2)) 0) into (cos (/ -1 phi2)) 13.912 * [backup-simplify]: Simplify (* (cos (/ -1 phi2)) (sin (- (/ 1 lambda2) (/ 1 lambda1)))) into (* (cos (/ -1 phi2)) (sin (- (/ 1 lambda2) (/ 1 lambda1)))) 13.912 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi2)) (sin (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 13.912 * [taylor]: Taking taylor expansion of (cos (/ -1 phi2)) in lambda2 13.912 * [taylor]: Taking taylor expansion of (/ -1 phi2) in lambda2 13.912 * [taylor]: Taking taylor expansion of -1 in lambda2 13.912 * [backup-simplify]: Simplify -1 into -1 13.912 * [taylor]: Taking taylor expansion of phi2 in lambda2 13.912 * [backup-simplify]: Simplify phi2 into phi2 13.912 * [backup-simplify]: Simplify (/ -1 phi2) into (/ -1 phi2) 13.912 * [backup-simplify]: Simplify (cos (/ -1 phi2)) into (cos (/ -1 phi2)) 13.912 * [backup-simplify]: Simplify (sin (/ -1 phi2)) into (sin (/ -1 phi2)) 13.912 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 13.912 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 13.912 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 13.912 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.912 * [backup-simplify]: Simplify 0 into 0 13.912 * [backup-simplify]: Simplify 1 into 1 13.912 * [backup-simplify]: Simplify (/ 1 1) into 1 13.912 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 13.912 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.912 * [backup-simplify]: Simplify lambda1 into lambda1 13.912 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 13.913 * [backup-simplify]: Simplify (+ 1 0) into 1 13.913 * [backup-simplify]: Simplify (sin (- (/ 1 lambda2) (/ 1 lambda1))) into (sin (- (/ 1 lambda2) (/ 1 lambda1))) 13.913 * [backup-simplify]: Simplify (* (cos (/ -1 phi2)) 1) into (cos (/ -1 phi2)) 13.913 * [backup-simplify]: Simplify (* (sin (/ -1 phi2)) 0) into 0 13.913 * [backup-simplify]: Simplify (- 0) into 0 13.913 * [backup-simplify]: Simplify (+ (cos (/ -1 phi2)) 0) into (cos (/ -1 phi2)) 13.913 * [backup-simplify]: Simplify (* (cos (/ -1 phi2)) (sin (- (/ 1 lambda2) (/ 1 lambda1)))) into (* (cos (/ -1 phi2)) (sin (- (/ 1 lambda2) (/ 1 lambda1)))) 13.913 * [backup-simplify]: Simplify (* (cos (/ -1 phi2)) (sin (- (/ 1 lambda2) (/ 1 lambda1)))) into (* (cos (/ -1 phi2)) (sin (- (/ 1 lambda2) (/ 1 lambda1)))) 13.914 * [backup-simplify]: Simplify (+ 0) into 0 13.914 * [backup-simplify]: Simplify (+ (* (sin (- (/ 1 lambda2) (/ 1 lambda1))) 0) (* 0 1)) into 0 13.914 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda2) (/ 0 lambda2)))) into 0 13.914 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda1) (/ 0 lambda1)))) into 0 13.914 * [backup-simplify]: Simplify (- 0) into 0 13.915 * [backup-simplify]: Simplify (+ 0 0) into 0 13.916 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 13.916 * [backup-simplify]: Simplify (+ (* (cos (- (/ 1 lambda2) (/ 1 lambda1))) 0) (* 0 0)) into 0 13.917 * [backup-simplify]: Simplify (+ 0 0) into 0 13.917 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi2)) 0) (* 0 (sin (- (/ 1 lambda2) (/ 1 lambda1))))) into 0 13.917 * [taylor]: Taking taylor expansion of 0 in lambda1 13.917 * [backup-simplify]: Simplify 0 into 0 13.917 * [taylor]: Taking taylor expansion of 0 in lambda2 13.917 * [backup-simplify]: Simplify 0 into 0 13.917 * [backup-simplify]: Simplify 0 into 0 13.917 * [backup-simplify]: Simplify (+ 0) into 0 13.918 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi2)) 0) (* 0 1)) into 0 13.918 * [backup-simplify]: Simplify (- (/ 0 phi2) (+ (* (/ -1 phi2) (/ 0 phi2)))) into 0 13.919 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 13.919 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi2)) 0) (* 0 0)) into 0 13.920 * [backup-simplify]: Simplify (- 0) into 0 13.920 * [backup-simplify]: Simplify (+ 0 0) into 0 13.920 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi2)) 0) (* 0 (sin (- (/ 1 lambda2) (/ 1 lambda1))))) into 0 13.920 * [taylor]: Taking taylor expansion of 0 in lambda2 13.920 * [backup-simplify]: Simplify 0 into 0 13.921 * [backup-simplify]: Simplify 0 into 0 13.921 * [backup-simplify]: Simplify (+ 0) into 0 13.921 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi2)) 0) (* 0 1)) into 0 13.922 * [backup-simplify]: Simplify (- (/ 0 phi2) (+ (* (/ -1 phi2) (/ 0 phi2)))) into 0 13.922 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 13.923 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi2)) 0) (* 0 0)) into 0 13.923 * [backup-simplify]: Simplify (- 0) into 0 13.924 * [backup-simplify]: Simplify (+ 0 0) into 0 13.924 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi2)) 0) (* 0 (sin (- (/ 1 lambda2) (/ 1 lambda1))))) into 0 13.924 * [backup-simplify]: Simplify 0 into 0 13.925 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 13.926 * [backup-simplify]: Simplify (+ (* (sin (- (/ 1 lambda2) (/ 1 lambda1))) 0) (+ (* 0 0) (* 0 1))) into 0 13.926 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda2) (/ 0 lambda2)) (* 0 (/ 0 lambda2)))) into 0 13.926 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda1) (/ 0 lambda1)) (* 0 (/ 0 lambda1)))) into 0 13.927 * [backup-simplify]: Simplify (- 0) into 0 13.927 * [backup-simplify]: Simplify (+ 0 0) into 0 13.928 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 13.928 * [backup-simplify]: Simplify (+ (* (cos (- (/ 1 lambda2) (/ 1 lambda1))) 0) (+ (* 0 0) (* 0 0))) into 0 13.929 * [backup-simplify]: Simplify (+ 0 0) into 0 13.929 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi2)) 0) (+ (* 0 0) (* 0 (sin (- (/ 1 lambda2) (/ 1 lambda1)))))) into 0 13.929 * [taylor]: Taking taylor expansion of 0 in lambda1 13.929 * [backup-simplify]: Simplify 0 into 0 13.929 * [taylor]: Taking taylor expansion of 0 in lambda2 13.929 * [backup-simplify]: Simplify 0 into 0 13.930 * [backup-simplify]: Simplify 0 into 0 13.930 * [taylor]: Taking taylor expansion of 0 in lambda2 13.930 * [backup-simplify]: Simplify 0 into 0 13.930 * [backup-simplify]: Simplify 0 into 0 13.931 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 13.931 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi2)) 0) (+ (* 0 0) (* 0 1))) into 0 13.932 * [backup-simplify]: Simplify (- (/ 0 phi2) (+ (* (/ -1 phi2) (/ 0 phi2)) (* 0 (/ 0 phi2)))) into 0 13.932 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 13.933 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi2)) 0) (+ (* 0 0) (* 0 0))) into 0 13.933 * [backup-simplify]: Simplify (- 0) into 0 13.934 * [backup-simplify]: Simplify (+ 0 0) into 0 13.934 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi2)) 0) (+ (* 0 0) (* 0 (sin (- (/ 1 lambda2) (/ 1 lambda1)))))) into 0 13.934 * [taylor]: Taking taylor expansion of 0 in lambda2 13.934 * [backup-simplify]: Simplify 0 into 0 13.934 * [backup-simplify]: Simplify 0 into 0 13.935 * [backup-simplify]: Simplify (* (cos (/ -1 (/ 1 (- phi2)))) (sin (- (/ 1 (/ 1 (- lambda2))) (/ 1 (/ 1 (- lambda1)))))) into (* (sin (- lambda1 lambda2)) (cos phi2)) 13.935 * * * [progress]: simplifying candidates 13.935 * * * * [progress]: [ 1 / 71 ] simplifiying candidate # 13.935 * * * * [progress]: [ 2 / 71 ] simplifiying candidate # 13.935 * * * * [progress]: [ 3 / 71 ] simplifiying candidate # 13.935 * * * * [progress]: [ 4 / 71 ] simplifiying candidate # 13.935 * * * * [progress]: [ 5 / 71 ] simplifiying candidate # 13.935 * * * * [progress]: [ 6 / 71 ] simplifiying candidate # 13.935 * * * * [progress]: [ 7 / 71 ] simplifiying candidate # 13.935 * * * * [progress]: [ 8 / 71 ] simplifiying candidate # 13.936 * * * * [progress]: [ 9 / 71 ] simplifiying candidate # 13.936 * * * * [progress]: [ 10 / 71 ] simplifiying candidate # 13.936 * * * * [progress]: [ 11 / 71 ] simplifiying candidate #real (real->posit16 (cos (- lambda1 lambda2)))))))))> 13.936 * * * * [progress]: [ 12 / 71 ] simplifiying candidate # 13.936 * * * * [progress]: [ 13 / 71 ] simplifiying candidate # 13.936 * * * * [progress]: [ 14 / 71 ] simplifiying candidate # 13.936 * * * * [progress]: [ 15 / 71 ] simplifiying candidate # 13.936 * * * * [progress]: [ 16 / 71 ] simplifiying candidate # 13.936 * * * * [progress]: [ 17 / 71 ] simplifiying candidate # 13.936 * * * * [progress]: [ 18 / 71 ] simplifiying candidate # 13.936 * * * * [progress]: [ 19 / 71 ] simplifiying candidate # 13.936 * * * * [progress]: [ 20 / 71 ] simplifiying candidate # 13.936 * * * * [progress]: [ 21 / 71 ] simplifiying candidate # 13.936 * * * * [progress]: [ 22 / 71 ] simplifiying candidate #real (real->posit16 (sin (- lambda1 lambda2))))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))))))> 13.937 * * * * [progress]: [ 23 / 71 ] simplifiying candidate # 13.937 * * * * [progress]: [ 24 / 71 ] simplifiying candidate # 13.937 * * * * [progress]: [ 25 / 71 ] simplifiying candidate # 13.937 * * * * [progress]: [ 26 / 71 ] simplifiying candidate # 13.937 * * * * [progress]: [ 27 / 71 ] simplifiying candidate # 13.937 * * * * [progress]: [ 28 / 71 ] simplifiying candidate # 13.937 * * * * [progress]: [ 29 / 71 ] simplifiying candidate # 13.937 * * * * [progress]: [ 30 / 71 ] simplifiying candidate # 13.937 * * * * [progress]: [ 31 / 71 ] simplifiying candidate # 13.937 * * * * [progress]: [ 32 / 71 ] simplifiying candidate # 13.937 * * * * [progress]: [ 33 / 71 ] simplifiying candidate # 13.937 * * * * [progress]: [ 34 / 71 ] simplifiying candidate # 13.938 * * * * [progress]: [ 35 / 71 ] simplifiying candidate #real (real->posit16 (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))))))))> 13.938 * * * * [progress]: [ 36 / 71 ] simplifiying candidate # 13.938 * * * * [progress]: [ 37 / 71 ] simplifiying candidate # 13.938 * * * * [progress]: [ 38 / 71 ] simplifiying candidate # 13.938 * * * * [progress]: [ 39 / 71 ] simplifiying candidate # 13.938 * * * * [progress]: [ 40 / 71 ] simplifiying candidate # 13.939 * * * * [progress]: [ 41 / 71 ] simplifiying candidate # 13.939 * * * * [progress]: [ 42 / 71 ] simplifiying candidate # 13.939 * * * * [progress]: [ 43 / 71 ] simplifiying candidate # 13.939 * * * * [progress]: [ 44 / 71 ] simplifiying candidate # 13.939 * * * * [progress]: [ 45 / 71 ] simplifiying candidate # 13.939 * * * * [progress]: [ 46 / 71 ] simplifiying candidate # 13.939 * * * * [progress]: [ 47 / 71 ] simplifiying candidate # 13.939 * * * * [progress]: [ 48 / 71 ] simplifiying candidate # 13.939 * * * * [progress]: [ 49 / 71 ] simplifiying candidate # 13.939 * * * * [progress]: [ 50 / 71 ] simplifiying candidate # 13.939 * * * * [progress]: [ 51 / 71 ] simplifiying candidate # 13.939 * * * * [progress]: [ 52 / 71 ] simplifiying candidate # 13.940 * * * * [progress]: [ 53 / 71 ] simplifiying candidate # 13.940 * * * * [progress]: [ 54 / 71 ] simplifiying candidate # 13.940 * * * * [progress]: [ 55 / 71 ] simplifiying candidate # 13.940 * * * * [progress]: [ 56 / 71 ] simplifiying candidate # 13.940 * * * * [progress]: [ 57 / 71 ] simplifiying candidate # 13.940 * * * * [progress]: [ 58 / 71 ] simplifiying candidate #real (real->posit16 (* (cos phi2) (sin (- lambda1 lambda2))))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))))))> 13.940 * * * * [progress]: [ 59 / 71 ] simplifiying candidate # 13.940 * * * * [progress]: [ 60 / 71 ] simplifiying candidate # 13.940 * * * * [progress]: [ 61 / 71 ] simplifiying candidate # 13.940 * * * * [progress]: [ 62 / 71 ] simplifiying candidate # 13.940 * * * * [progress]: [ 63 / 71 ] simplifiying candidate # 13.940 * * * * [progress]: [ 64 / 71 ] simplifiying candidate # 13.940 * * * * [progress]: [ 65 / 71 ] simplifiying candidate # 13.940 * * * * [progress]: [ 66 / 71 ] simplifiying candidate # 13.941 * * * * [progress]: [ 67 / 71 ] simplifiying candidate # 13.941 * * * * [progress]: [ 68 / 71 ] simplifiying candidate # 13.941 * * * * [progress]: [ 69 / 71 ] simplifiying candidate # 13.941 * * * * [progress]: [ 70 / 71 ] simplifiying candidate # 13.941 * * * * [progress]: [ 71 / 71 ] simplifiying candidate # 13.942 * [simplify]: Simplifying (* (cos lambda1) (cos (- lambda2))), (* (sin lambda1) (sin (- lambda2))), (* (cos lambda1) (cos (- lambda2))), (* (sin lambda1) (sin (- lambda2))), (* (cos lambda1) (cos lambda2)), (* (sin lambda1) (sin lambda2)), (log (cos (- lambda1 lambda2))), (exp (cos (- lambda1 lambda2))), (* (cbrt (cos (- lambda1 lambda2))) (cbrt (cos (- lambda1 lambda2)))), (cbrt (cos (- lambda1 lambda2))), (* (* (cos (- lambda1 lambda2)) (cos (- lambda1 lambda2))) (cos (- lambda1 lambda2))), (sqrt (cos (- lambda1 lambda2))), (sqrt (cos (- lambda1 lambda2))), (real->posit16 (cos (- lambda1 lambda2))), (* (sin lambda1) (cos (- lambda2))), (* (cos lambda1) (sin (- lambda2))), (* (sin lambda1) (cos (- lambda2))), (* (cos lambda1) (sin (- lambda2))), (* (sin lambda1) (cos lambda2)), (* (cos lambda1) (sin lambda2)), (log (sin (- lambda1 lambda2))), (exp (sin (- lambda1 lambda2))), (* (cbrt (sin (- lambda1 lambda2))) (cbrt (sin (- lambda1 lambda2)))), (cbrt (sin (- lambda1 lambda2))), (* (* (sin (- lambda1 lambda2)) (sin (- lambda1 lambda2))) (sin (- lambda1 lambda2))), (sqrt (sin (- lambda1 lambda2))), (sqrt (sin (- lambda1 lambda2))), (real->posit16 (sin (- lambda1 lambda2))), (* (exp (cos phi1)) (exp (* (cos phi2) (cos (- lambda1 lambda2))))), (log (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))), (exp (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))), (* (cbrt (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))) (cbrt (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))))), (cbrt (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))), (* (* (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))), (sqrt (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))), (sqrt (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))), (+ (pow (cos phi1) 3) (pow (* (cos phi2) (cos (- lambda1 lambda2))) 3)), (+ (* (cos phi1) (cos phi1)) (- (* (* (cos phi2) (cos (- lambda1 lambda2))) (* (cos phi2) (cos (- lambda1 lambda2)))) (* (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))))), (- (* (cos phi1) (cos phi1)) (* (* (cos phi2) (cos (- lambda1 lambda2))) (* (cos phi2) (cos (- lambda1 lambda2))))), (- (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))), (+ (cos phi1) (* (cos phi2) (* (cos lambda1) (cos lambda2)))), (+ (cos phi1) (* (* (cos lambda1) (cos lambda2)) (cos phi2))), (real->posit16 (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))), (* (cos phi2) (sin (- lambda1 lambda2))), (+ (log (cos phi2)) (log (sin (- lambda1 lambda2)))), (log (* (cos phi2) (sin (- lambda1 lambda2)))), (exp (* (cos phi2) (sin (- lambda1 lambda2)))), (* (* (* (cos phi2) (cos phi2)) (cos phi2)) (* (* (sin (- lambda1 lambda2)) (sin (- lambda1 lambda2))) (sin (- lambda1 lambda2)))), (* (cbrt (* (cos phi2) (sin (- lambda1 lambda2)))) (cbrt (* (cos phi2) (sin (- lambda1 lambda2))))), (cbrt (* (cos phi2) (sin (- lambda1 lambda2)))), (* (* (* (cos phi2) (sin (- lambda1 lambda2))) (* (cos phi2) (sin (- lambda1 lambda2)))) (* (cos phi2) (sin (- lambda1 lambda2)))), (sqrt (* (cos phi2) (sin (- lambda1 lambda2)))), (sqrt (* (cos phi2) (sin (- lambda1 lambda2)))), (* (sqrt (cos phi2)) (sqrt (sin (- lambda1 lambda2)))), (* (sqrt (cos phi2)) (sqrt (sin (- lambda1 lambda2)))), (* (cos phi2) (* (sin lambda1) (cos (- lambda2)))), (* (cos phi2) (* (cos lambda1) (sin (- lambda2)))), (* (cos phi2) (* (sin lambda1) (cos (- lambda2)))), (* (cos phi2) (* (cos lambda1) (sin (- lambda2)))), (* (* (sin lambda1) (cos (- lambda2))) (cos phi2)), (* (* (cos lambda1) (sin (- lambda2))) (cos phi2)), (* (* (sin lambda1) (cos (- lambda2))) (cos phi2)), (* (* (cos lambda1) (sin (- lambda2))) (cos phi2)), (* (cos phi2) (* (cbrt (sin (- lambda1 lambda2))) (cbrt (sin (- lambda1 lambda2))))), (* (cos phi2) (sqrt (sin (- lambda1 lambda2)))), (* (cos phi2) 1), (* (cbrt (cos phi2)) (sin (- lambda1 lambda2))), (* (sqrt (cos phi2)) (sin (- lambda1 lambda2))), (* (cos phi2) (sin (- lambda1 lambda2))), (real->posit16 (* (cos phi2) (sin (- lambda1 lambda2)))), (- (+ 1 (* lambda2 lambda1)) (* 1/2 (pow lambda1 2))), (cos (- lambda1 lambda2)), (cos (- lambda1 lambda2)), (- lambda1 (+ lambda2 (* 1/6 (pow lambda1 3)))), (sin (- lambda1 lambda2)), (sin (- lambda1 lambda2)), (- 2 (+ (* 1/2 (pow phi2 2)) (* 1/2 (pow phi1 2)))), (+ (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))), (+ (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))), (- lambda1 lambda2), (* (sin (- lambda1 lambda2)) (cos phi2)), (* (sin (- lambda1 lambda2)) (cos phi2)) 13.944 * * [simplify]: iteration 1: (116 enodes) 14.007 * * [simplify]: iteration 2: (477 enodes) 14.171 * * [simplify]: iteration 3: (966 enodes) 14.586 * * [simplify]: Extracting #0: cost 55 inf + 0 14.587 * * [simplify]: Extracting #1: cost 217 inf + 0 14.590 * * [simplify]: Extracting #2: cost 413 inf + 3655 14.597 * * [simplify]: Extracting #3: cost 416 inf + 15182 14.621 * * [simplify]: Extracting #4: cost 157 inf + 81637 14.665 * * [simplify]: Extracting #5: cost 20 inf + 125220 14.694 * * [simplify]: Extracting #6: cost 0 inf + 130646 14.728 * * [simplify]: Extracting #7: cost 0 inf + 130406 14.758 * [simplify]: Simplified to (* (cos lambda1) (cos lambda2)), (* (sin (- lambda2)) (sin lambda1)), (* (cos lambda1) (cos lambda2)), (* (sin (- lambda2)) (sin lambda1)), (* (cos lambda1) (cos lambda2)), (* (sin lambda2) (sin lambda1)), (log (cos (- lambda1 lambda2))), (exp (cos (- lambda1 lambda2))), (* (cbrt (cos (- lambda1 lambda2))) (cbrt (cos (- lambda1 lambda2)))), (cbrt (cos (- lambda1 lambda2))), (* (cos (- lambda1 lambda2)) (* (cos (- lambda1 lambda2)) (cos (- lambda1 lambda2)))), (sqrt (cos (- lambda1 lambda2))), (sqrt (cos (- lambda1 lambda2))), (real->posit16 (cos (- lambda1 lambda2))), (* (sin lambda1) (cos lambda2)), (* (cos lambda1) (sin (- lambda2))), (* (sin lambda1) (cos lambda2)), (* (cos lambda1) (sin (- lambda2))), (* (sin lambda1) (cos lambda2)), (* (sin lambda2) (cos lambda1)), (log (sin (- lambda1 lambda2))), (exp (sin (- lambda1 lambda2))), (* (cbrt (sin (- lambda1 lambda2))) (cbrt (sin (- lambda1 lambda2)))), (cbrt (sin (- lambda1 lambda2))), (* (sin (- lambda1 lambda2)) (* (sin (- lambda1 lambda2)) (sin (- lambda1 lambda2)))), (sqrt (sin (- lambda1 lambda2))), (sqrt (sin (- lambda1 lambda2))), (real->posit16 (sin (- lambda1 lambda2))), (exp (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))), (log (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))), (exp (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))), (* (cbrt (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))) (cbrt (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))))), (cbrt (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))), (* (* (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))), (sqrt (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))), (sqrt (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))), (+ (* (* (cos phi1) (cos phi1)) (cos phi1)) (* (* (* (cos phi2) (cos (- lambda1 lambda2))) (* (cos phi2) (cos (- lambda1 lambda2)))) (* (cos phi2) (cos (- lambda1 lambda2))))), (+ (* (* (cos phi2) (cos (- lambda1 lambda2))) (* (cos phi2) (cos (- lambda1 lambda2)))) (* (cos phi1) (- (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))))), (- (* (cos phi1) (cos phi1)) (* (* (cos phi2) (cos (- lambda1 lambda2))) (* (cos phi2) (cos (- lambda1 lambda2))))), (- (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))), (+ (* (* (cos lambda1) (cos lambda2)) (cos phi2)) (cos phi1)), (+ (* (* (cos lambda1) (cos lambda2)) (cos phi2)) (cos phi1)), (real->posit16 (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))), (* (sin (- lambda1 lambda2)) (cos phi2)), (log (* (sin (- lambda1 lambda2)) (cos phi2))), (log (* (sin (- lambda1 lambda2)) (cos phi2))), (exp (* (sin (- lambda1 lambda2)) (cos phi2))), (* (* (sin (- lambda1 lambda2)) (cos phi2)) (* (* (sin (- lambda1 lambda2)) (cos phi2)) (* (sin (- lambda1 lambda2)) (cos phi2)))), (* (cbrt (* (sin (- lambda1 lambda2)) (cos phi2))) (cbrt (* (sin (- lambda1 lambda2)) (cos phi2)))), (cbrt (* (sin (- lambda1 lambda2)) (cos phi2))), (* (* (sin (- lambda1 lambda2)) (cos phi2)) (* (* (sin (- lambda1 lambda2)) (cos phi2)) (* (sin (- lambda1 lambda2)) (cos phi2)))), (sqrt (* (sin (- lambda1 lambda2)) (cos phi2))), (sqrt (* (sin (- lambda1 lambda2)) (cos phi2))), (* (sqrt (sin (- lambda1 lambda2))) (sqrt (cos phi2))), (* (sqrt (sin (- lambda1 lambda2))) (sqrt (cos phi2))), (* (* (sin lambda1) (cos lambda2)) (cos phi2)), (- (* (* (sin lambda2) (cos lambda1)) (cos phi2))), (* (* (sin lambda1) (cos lambda2)) (cos phi2)), (- (* (* (sin lambda2) (cos lambda1)) (cos phi2))), (* (* (sin lambda1) (cos lambda2)) (cos phi2)), (- (* (* (sin lambda2) (cos lambda1)) (cos phi2))), (* (* (sin lambda1) (cos lambda2)) (cos phi2)), (- (* (* (sin lambda2) (cos lambda1)) (cos phi2))), (* (* (cos phi2) (cbrt (sin (- lambda1 lambda2)))) (cbrt (sin (- lambda1 lambda2)))), (* (cos phi2) (sqrt (sin (- lambda1 lambda2)))), (cos phi2), (* (cbrt (cos phi2)) (sin (- lambda1 lambda2))), (* (sin (- lambda1 lambda2)) (sqrt (cos phi2))), (* (sin (- lambda1 lambda2)) (cos phi2)), (real->posit16 (* (sin (- lambda1 lambda2)) (cos phi2))), (+ 1 (* lambda1 (- lambda2 (* 1/2 lambda1)))), (cos (- lambda1 lambda2)), (cos (- lambda1 lambda2)), (- (- lambda1 lambda2) (* 1/6 (* (* lambda1 lambda1) lambda1))), (sin (- lambda1 lambda2)), (sin (- lambda1 lambda2)), (- 2 (* (+ (* phi2 phi2) (* phi1 phi1)) 1/2)), (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))), (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))), (- lambda1 lambda2), (* (sin (- lambda1 lambda2)) (cos phi2)), (* (sin (- lambda1 lambda2)) (cos phi2)) 14.769 * * * [progress]: adding candidates to table 15.869 * [progress]: [Phase 3 of 3] Extracting. 15.873 * [simplify]: Simplifying (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))))) 15.873 * * [simplify]: iteration 1: (14 enodes) 15.874 * * [simplify]: iteration 2: (18 enodes) 15.874 * * [simplify]: Extracting #0: cost 1 inf + 0 15.874 * * [simplify]: Extracting #1: cost 3 inf + 0 15.874 * * [simplify]: Extracting #2: cost 4 inf + 1 15.874 * * [simplify]: Extracting #3: cost 8 inf + 1 15.874 * * [simplify]: Extracting #4: cost 12 inf + 1 15.874 * * [simplify]: Extracting #5: cost 11 inf + 3 15.875 * * [simplify]: Extracting #6: cost 8 inf + 126 15.875 * * [simplify]: Extracting #7: cost 5 inf + 372 15.875 * * [simplify]: Extracting #8: cost 2 inf + 1082 15.875 * * [simplify]: Extracting #9: cost 0 inf + 2210 15.875 * [simplify]: Simplified to (+ (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (* (cos phi2) (cos (- lambda1 lambda2))) (cos phi1))) lambda1) 394.363 * [regime-testing]: Baseline error score: 0 394.365 * [regime-testing]: Oracle error score: 0 394.365 * [regime-testing]: End program error score: 0