1553848791.633 * [progress]: [Phase 1 of 3] Setting up. 1553848791.633 * * * [progress]: [1/2] Preparing points 1553848806.483 * * * [progress]: [2/2] Setting up program. 1553848806.492 * [progress]: [Phase 2 of 3] Improving. 1553848806.492 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1553848806.493 * [simplify]: Simplifying (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))))) 1553848806.493 * * [simplify]: iters left: 6 (14 enodes) 1553848806.499 * * [simplify]: iters left: 5 (48 enodes) 1553848806.513 * * [simplify]: iters left: 4 (51 enodes) 1553848806.527 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848806.527 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848806.527 * * [simplify]: Extracting #2: cost 6 inf + 1 1553848806.527 * * [simplify]: Extracting #3: cost 12 inf + 1 1553848806.527 * * [simplify]: Extracting #4: cost 20 inf + 1 1553848806.527 * * [simplify]: Extracting #5: cost 22 inf + 3 1553848806.528 * * [simplify]: Extracting #6: cost 15 inf + 535 1553848806.528 * * [simplify]: Extracting #7: cost 2 inf + 3370 1553848806.530 * * [simplify]: Extracting #8: cost 0 inf + 4498 1553848806.531 * [simplify]: Simplified to (+ (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (* (cos phi2) (cos (- lambda1 lambda2))) (cos phi1))) lambda1) 1553848806.531 * [simplify]: Simplified (2) to (λ (lambda1 lambda2 phi1 phi2) (+ (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (* (cos phi2) (cos (- lambda1 lambda2))) (cos phi1))) lambda1)) 1553848806.540 * * [progress]: iteration 1 / 4 1553848806.540 * * * [progress]: picking best candidate 1553848806.548 * * * * [pick]: Picked # 1553848806.548 * * * [progress]: localizing error 1553848806.595 * * * [progress]: generating rewritten candidates 1553848806.595 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2) 1553848806.612 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 1553848806.620 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 1553848806.638 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2) 1553848806.652 * * * [progress]: generating series expansions 1553848806.652 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2) 1553848806.652 * [backup-simplify]: Simplify (cos (- lambda1 lambda2)) into (cos (- lambda1 lambda2)) 1553848806.652 * [approximate]: Taking taylor expansion of (cos (- lambda1 lambda2)) in (lambda1 lambda2) around 0 1553848806.652 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in lambda2 1553848806.652 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 1553848806.652 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1553848806.652 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.652 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1553848806.652 * [backup-simplify]: Simplify 0 into 0 1553848806.652 * [backup-simplify]: Simplify 1 into 1 1553848806.653 * [backup-simplify]: Simplify (- 0) into 0 1553848806.653 * [backup-simplify]: Simplify (+ lambda1 0) into lambda1 1553848806.653 * [backup-simplify]: Simplify (cos lambda1) into (cos lambda1) 1553848806.653 * [backup-simplify]: Simplify (sin lambda1) into (sin lambda1) 1553848806.653 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in lambda1 1553848806.653 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1553848806.653 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1553848806.653 * [backup-simplify]: Simplify 0 into 0 1553848806.653 * [backup-simplify]: Simplify 1 into 1 1553848806.653 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1553848806.653 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.653 * [backup-simplify]: Simplify (- lambda2) into (- lambda2) 1553848806.653 * [backup-simplify]: Simplify (+ 0 (- lambda2)) into (- lambda2) 1553848806.653 * [backup-simplify]: Simplify (cos (- lambda2)) into (cos (- lambda2)) 1553848806.653 * [backup-simplify]: Simplify (sin (- lambda2)) into (sin (- lambda2)) 1553848806.653 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in lambda1 1553848806.653 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1553848806.653 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1553848806.653 * [backup-simplify]: Simplify 0 into 0 1553848806.653 * [backup-simplify]: Simplify 1 into 1 1553848806.654 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1553848806.654 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.654 * [backup-simplify]: Simplify (- lambda2) into (- lambda2) 1553848806.654 * [backup-simplify]: Simplify (+ 0 (- lambda2)) into (- lambda2) 1553848806.654 * [backup-simplify]: Simplify (cos (- lambda2)) into (cos (- lambda2)) 1553848806.654 * [backup-simplify]: Simplify (sin (- lambda2)) into (sin (- lambda2)) 1553848806.654 * [backup-simplify]: Simplify (* (cos (- lambda2)) 1) into (cos (- lambda2)) 1553848806.654 * [backup-simplify]: Simplify (* (sin (- lambda2)) 0) into 0 1553848806.654 * [backup-simplify]: Simplify (- 0) into 0 1553848806.654 * [backup-simplify]: Simplify (+ (cos (- lambda2)) 0) into (cos (- lambda2)) 1553848806.654 * [taylor]: Taking taylor expansion of (cos (- lambda2)) in lambda2 1553848806.654 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 1553848806.654 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1553848806.654 * [backup-simplify]: Simplify 0 into 0 1553848806.654 * [backup-simplify]: Simplify 1 into 1 1553848806.655 * [backup-simplify]: Simplify (- 0) into 0 1553848806.655 * [backup-simplify]: Simplify (- 1) into -1 1553848806.655 * [backup-simplify]: Simplify 1 into 1 1553848806.656 * [backup-simplify]: Simplify (+ 0) into 0 1553848806.656 * [backup-simplify]: Simplify (+ (* (cos (- lambda2)) 0) (* 0 1)) into 0 1553848806.657 * [backup-simplify]: Simplify (- 0) into 0 1553848806.657 * [backup-simplify]: Simplify (+ 1 0) into 1 1553848806.658 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1553848806.658 * [backup-simplify]: Simplify (+ (* (sin (- lambda2)) 1) (* 0 0)) into (sin (- lambda2)) 1553848806.658 * [backup-simplify]: Simplify (- (sin (- lambda2))) into (- (sin (- lambda2))) 1553848806.659 * [backup-simplify]: Simplify (+ 0 (- (sin (- lambda2)))) into (- (sin (- lambda2))) 1553848806.659 * [taylor]: Taking taylor expansion of (- (sin (- lambda2))) in lambda2 1553848806.659 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda2 1553848806.659 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 1553848806.659 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1553848806.659 * [backup-simplify]: Simplify 0 into 0 1553848806.659 * [backup-simplify]: Simplify 1 into 1 1553848806.659 * [backup-simplify]: Simplify (- 0) into 0 1553848806.659 * [backup-simplify]: Simplify (- 1) into -1 1553848806.660 * [backup-simplify]: Simplify (- 0) into 0 1553848806.660 * [backup-simplify]: Simplify 0 into 0 1553848806.660 * [backup-simplify]: Simplify (+ 0) into 0 1553848806.660 * [backup-simplify]: Simplify 0 into 0 1553848806.661 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 1553848806.662 * [backup-simplify]: Simplify (+ (* (cos (- lambda2)) -1/2) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (cos (- lambda2)))) 1553848806.663 * [backup-simplify]: Simplify (- 0) into 0 1553848806.663 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.664 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1553848806.665 * [backup-simplify]: Simplify (+ (* (sin (- lambda2)) 0) (+ (* 0 1) (* 0 0))) into 0 1553848806.665 * [backup-simplify]: Simplify (- 0) into 0 1553848806.665 * [backup-simplify]: Simplify (+ (- (* 1/2 (cos (- lambda2)))) 0) into (- (* 1/2 (cos (- lambda2)))) 1553848806.665 * [taylor]: Taking taylor expansion of (- (* 1/2 (cos (- lambda2)))) in lambda2 1553848806.665 * [taylor]: Taking taylor expansion of (* 1/2 (cos (- lambda2))) in lambda2 1553848806.665 * [taylor]: Taking taylor expansion of 1/2 in lambda2 1553848806.665 * [backup-simplify]: Simplify 1/2 into 1/2 1553848806.665 * [taylor]: Taking taylor expansion of (cos (- lambda2)) in lambda2 1553848806.665 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 1553848806.665 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1553848806.665 * [backup-simplify]: Simplify 0 into 0 1553848806.665 * [backup-simplify]: Simplify 1 into 1 1553848806.666 * [backup-simplify]: Simplify (- 0) into 0 1553848806.666 * [backup-simplify]: Simplify (- 1) into -1 1553848806.667 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1553848806.667 * [backup-simplify]: Simplify (- 1/2) into -1/2 1553848806.667 * [backup-simplify]: Simplify -1/2 into -1/2 1553848806.668 * [backup-simplify]: Simplify (- 1) into -1 1553848806.668 * [backup-simplify]: Simplify (+ (* 1 (/ (pow -1 1) 1))) into -1 1553848806.669 * [backup-simplify]: Simplify (- -1) into 1 1553848806.669 * [backup-simplify]: Simplify 1 into 1 1553848806.669 * [backup-simplify]: Simplify (+ (* 1 (* lambda2 lambda1)) (+ (* -1/2 (pow (* 1 lambda1) 2)) 1)) into (- (+ 1 (* lambda2 lambda1)) (* 1/2 (pow lambda1 2))) 1553848806.669 * [backup-simplify]: Simplify (cos (- (/ 1 lambda1) (/ 1 lambda2))) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.669 * [approximate]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in (lambda1 lambda2) around 0 1553848806.669 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1553848806.669 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1553848806.669 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1553848806.669 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1553848806.669 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.669 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 1553848806.669 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1553848806.669 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1553848806.669 * [backup-simplify]: Simplify 0 into 0 1553848806.670 * [backup-simplify]: Simplify 1 into 1 1553848806.670 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.670 * [backup-simplify]: Simplify (- 1) into -1 1553848806.671 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553848806.671 * [backup-simplify]: Simplify (cos (- (/ 1 lambda1) (/ 1 lambda2))) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.671 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1553848806.671 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1553848806.671 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1553848806.671 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1553848806.671 * [backup-simplify]: Simplify 0 into 0 1553848806.671 * [backup-simplify]: Simplify 1 into 1 1553848806.672 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.672 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1553848806.672 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1553848806.672 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.672 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 1553848806.672 * [backup-simplify]: Simplify (+ 1 0) into 1 1553848806.672 * [backup-simplify]: Simplify (cos (- (/ 1 lambda1) (/ 1 lambda2))) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.672 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1553848806.672 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1553848806.672 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1553848806.672 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1553848806.672 * [backup-simplify]: Simplify 0 into 0 1553848806.672 * [backup-simplify]: Simplify 1 into 1 1553848806.673 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.673 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1553848806.673 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1553848806.673 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.673 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 1553848806.674 * [backup-simplify]: Simplify (+ 1 0) into 1 1553848806.674 * [backup-simplify]: Simplify (cos (- (/ 1 lambda1) (/ 1 lambda2))) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.674 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1553848806.674 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1553848806.674 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1553848806.674 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1553848806.674 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.674 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 1553848806.674 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1553848806.674 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1553848806.674 * [backup-simplify]: Simplify 0 into 0 1553848806.674 * [backup-simplify]: Simplify 1 into 1 1553848806.674 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.675 * [backup-simplify]: Simplify (- 1) into -1 1553848806.675 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553848806.675 * [backup-simplify]: Simplify (cos (- (/ 1 lambda1) (/ 1 lambda2))) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.676 * [backup-simplify]: Simplify (cos (- (/ 1 lambda1) (/ 1 lambda2))) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.676 * [taylor]: Taking taylor expansion of 0 in lambda2 1553848806.676 * [backup-simplify]: Simplify 0 into 0 1553848806.676 * [backup-simplify]: Simplify 0 into 0 1553848806.676 * [backup-simplify]: Simplify 0 into 0 1553848806.676 * [taylor]: Taking taylor expansion of 0 in lambda2 1553848806.676 * [backup-simplify]: Simplify 0 into 0 1553848806.676 * [backup-simplify]: Simplify 0 into 0 1553848806.676 * [backup-simplify]: Simplify 0 into 0 1553848806.676 * [backup-simplify]: Simplify 0 into 0 1553848806.676 * [taylor]: Taking taylor expansion of 0 in lambda2 1553848806.676 * [backup-simplify]: Simplify 0 into 0 1553848806.676 * [backup-simplify]: Simplify 0 into 0 1553848806.676 * [backup-simplify]: Simplify (cos (- (/ 1 (/ 1 lambda1)) (/ 1 (/ 1 lambda2)))) into (cos (- lambda1 lambda2)) 1553848806.676 * [backup-simplify]: Simplify (cos (- (/ 1 (- lambda1)) (/ 1 (- lambda2)))) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.676 * [approximate]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in (lambda1 lambda2) around 0 1553848806.676 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1553848806.676 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1553848806.677 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1553848806.677 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1553848806.677 * [backup-simplify]: Simplify 0 into 0 1553848806.677 * [backup-simplify]: Simplify 1 into 1 1553848806.677 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.677 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1553848806.677 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1553848806.677 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.677 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 1553848806.678 * [backup-simplify]: Simplify (+ 1 0) into 1 1553848806.678 * [backup-simplify]: Simplify (cos (- (/ 1 lambda2) (/ 1 lambda1))) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.678 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1553848806.678 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1553848806.678 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1553848806.678 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1553848806.678 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.678 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 1553848806.678 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1553848806.678 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1553848806.678 * [backup-simplify]: Simplify 0 into 0 1553848806.678 * [backup-simplify]: Simplify 1 into 1 1553848806.678 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.679 * [backup-simplify]: Simplify (- 1) into -1 1553848806.679 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553848806.679 * [backup-simplify]: Simplify (cos (- (/ 1 lambda2) (/ 1 lambda1))) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.679 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1553848806.679 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1553848806.679 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1553848806.679 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1553848806.679 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.680 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 1553848806.680 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1553848806.680 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1553848806.680 * [backup-simplify]: Simplify 0 into 0 1553848806.680 * [backup-simplify]: Simplify 1 into 1 1553848806.680 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.680 * [backup-simplify]: Simplify (- 1) into -1 1553848806.681 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553848806.681 * [backup-simplify]: Simplify (cos (- (/ 1 lambda2) (/ 1 lambda1))) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.681 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1553848806.681 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1553848806.681 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1553848806.681 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1553848806.681 * [backup-simplify]: Simplify 0 into 0 1553848806.681 * [backup-simplify]: Simplify 1 into 1 1553848806.682 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.682 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1553848806.682 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1553848806.682 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.682 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 1553848806.682 * [backup-simplify]: Simplify (+ 1 0) into 1 1553848806.682 * [backup-simplify]: Simplify (cos (- (/ 1 lambda2) (/ 1 lambda1))) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.682 * [backup-simplify]: Simplify (cos (- (/ 1 lambda2) (/ 1 lambda1))) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.682 * [taylor]: Taking taylor expansion of 0 in lambda2 1553848806.682 * [backup-simplify]: Simplify 0 into 0 1553848806.682 * [backup-simplify]: Simplify 0 into 0 1553848806.683 * [backup-simplify]: Simplify 0 into 0 1553848806.683 * [taylor]: Taking taylor expansion of 0 in lambda2 1553848806.683 * [backup-simplify]: Simplify 0 into 0 1553848806.683 * [backup-simplify]: Simplify 0 into 0 1553848806.683 * [backup-simplify]: Simplify 0 into 0 1553848806.683 * [backup-simplify]: Simplify 0 into 0 1553848806.683 * [taylor]: Taking taylor expansion of 0 in lambda2 1553848806.683 * [backup-simplify]: Simplify 0 into 0 1553848806.683 * [backup-simplify]: Simplify 0 into 0 1553848806.683 * [backup-simplify]: Simplify (cos (- (/ 1 (/ 1 (- lambda2))) (/ 1 (/ 1 (- lambda1))))) into (cos (- lambda1 lambda2)) 1553848806.683 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 1553848806.683 * [backup-simplify]: Simplify (sin (- lambda1 lambda2)) into (sin (- lambda1 lambda2)) 1553848806.683 * [approximate]: Taking taylor expansion of (sin (- lambda1 lambda2)) in (lambda1 lambda2) around 0 1553848806.683 * [taylor]: Taking taylor expansion of (sin (- lambda1 lambda2)) in lambda2 1553848806.683 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 1553848806.683 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1553848806.683 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.683 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1553848806.683 * [backup-simplify]: Simplify 0 into 0 1553848806.683 * [backup-simplify]: Simplify 1 into 1 1553848806.684 * [backup-simplify]: Simplify (- 0) into 0 1553848806.684 * [backup-simplify]: Simplify (+ lambda1 0) into lambda1 1553848806.684 * [backup-simplify]: Simplify (sin lambda1) into (sin lambda1) 1553848806.684 * [backup-simplify]: Simplify (cos lambda1) into (cos lambda1) 1553848806.684 * [taylor]: Taking taylor expansion of (sin (- lambda1 lambda2)) in lambda1 1553848806.684 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1553848806.684 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1553848806.684 * [backup-simplify]: Simplify 0 into 0 1553848806.684 * [backup-simplify]: Simplify 1 into 1 1553848806.684 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1553848806.684 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.684 * [backup-simplify]: Simplify (- lambda2) into (- lambda2) 1553848806.684 * [backup-simplify]: Simplify (+ 0 (- lambda2)) into (- lambda2) 1553848806.684 * [backup-simplify]: Simplify (sin (- lambda2)) into (sin (- lambda2)) 1553848806.684 * [backup-simplify]: Simplify (cos (- lambda2)) into (cos (- lambda2)) 1553848806.684 * [taylor]: Taking taylor expansion of (sin (- lambda1 lambda2)) in lambda1 1553848806.684 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1553848806.684 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1553848806.685 * [backup-simplify]: Simplify 0 into 0 1553848806.685 * [backup-simplify]: Simplify 1 into 1 1553848806.685 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1553848806.685 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.685 * [backup-simplify]: Simplify (- lambda2) into (- lambda2) 1553848806.685 * [backup-simplify]: Simplify (+ 0 (- lambda2)) into (- lambda2) 1553848806.685 * [backup-simplify]: Simplify (sin (- lambda2)) into (sin (- lambda2)) 1553848806.685 * [backup-simplify]: Simplify (cos (- lambda2)) into (cos (- lambda2)) 1553848806.685 * [backup-simplify]: Simplify (* (sin (- lambda2)) 1) into (sin (- lambda2)) 1553848806.685 * [backup-simplify]: Simplify (* (cos (- lambda2)) 0) into 0 1553848806.685 * [backup-simplify]: Simplify (+ (sin (- lambda2)) 0) into (sin (- lambda2)) 1553848806.686 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda2 1553848806.686 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 1553848806.686 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1553848806.686 * [backup-simplify]: Simplify 0 into 0 1553848806.686 * [backup-simplify]: Simplify 1 into 1 1553848806.686 * [backup-simplify]: Simplify (- 0) into 0 1553848806.687 * [backup-simplify]: Simplify (- 1) into -1 1553848806.687 * [backup-simplify]: Simplify 0 into 0 1553848806.687 * [backup-simplify]: Simplify (+ 0) into 0 1553848806.688 * [backup-simplify]: Simplify (+ (* (sin (- lambda2)) 0) (* 0 1)) into 0 1553848806.689 * [backup-simplify]: Simplify (- 0) into 0 1553848806.689 * [backup-simplify]: Simplify (+ 1 0) into 1 1553848806.690 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1553848806.690 * [backup-simplify]: Simplify (+ (* (cos (- lambda2)) 1) (* 0 0)) into (cos (- lambda2)) 1553848806.690 * [backup-simplify]: Simplify (+ 0 (cos (- lambda2))) into (cos (- lambda2)) 1553848806.690 * [taylor]: Taking taylor expansion of (cos (- lambda2)) in lambda2 1553848806.690 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 1553848806.690 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1553848806.690 * [backup-simplify]: Simplify 0 into 0 1553848806.690 * [backup-simplify]: Simplify 1 into 1 1553848806.691 * [backup-simplify]: Simplify (- 0) into 0 1553848806.691 * [backup-simplify]: Simplify (- 1) into -1 1553848806.691 * [backup-simplify]: Simplify 1 into 1 1553848806.692 * [backup-simplify]: Simplify (- 1) into -1 1553848806.693 * [backup-simplify]: Simplify (+ (* 1 (/ (pow -1 1) 1))) into -1 1553848806.693 * [backup-simplify]: Simplify -1 into -1 1553848806.694 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 1553848806.695 * [backup-simplify]: Simplify (+ (* (sin (- lambda2)) -1/2) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (sin (- lambda2)))) 1553848806.695 * [backup-simplify]: Simplify (- 0) into 0 1553848806.696 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.700 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1553848806.701 * [backup-simplify]: Simplify (+ (* (cos (- lambda2)) 0) (+ (* 0 1) (* 0 0))) into 0 1553848806.701 * [backup-simplify]: Simplify (+ (- (* 1/2 (sin (- lambda2)))) 0) into (- (* 1/2 (sin (- lambda2)))) 1553848806.701 * [taylor]: Taking taylor expansion of (- (* 1/2 (sin (- lambda2)))) in lambda2 1553848806.701 * [taylor]: Taking taylor expansion of (* 1/2 (sin (- lambda2))) in lambda2 1553848806.701 * [taylor]: Taking taylor expansion of 1/2 in lambda2 1553848806.702 * [backup-simplify]: Simplify 1/2 into 1/2 1553848806.702 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda2 1553848806.702 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 1553848806.702 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1553848806.702 * [backup-simplify]: Simplify 0 into 0 1553848806.702 * [backup-simplify]: Simplify 1 into 1 1553848806.702 * [backup-simplify]: Simplify (- 0) into 0 1553848806.702 * [backup-simplify]: Simplify (- 1) into -1 1553848806.703 * [backup-simplify]: Simplify (* 1/2 0) into 0 1553848806.703 * [backup-simplify]: Simplify (- 0) into 0 1553848806.703 * [backup-simplify]: Simplify 0 into 0 1553848806.704 * [backup-simplify]: Simplify (+ 0) into 0 1553848806.704 * [backup-simplify]: Simplify 0 into 0 1553848806.704 * [backup-simplify]: Simplify (- 0) into 0 1553848806.705 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1553848806.705 * [backup-simplify]: Simplify 0 into 0 1553848806.707 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 1) 1) (/ (pow 0 1) 1)) 0) into 0 1553848806.708 * [backup-simplify]: Simplify (+ (* (sin (- lambda2)) 0) (+ (* 0 -1/2) (+ (* 0 0) (* 0 1)))) into 0 1553848806.708 * [backup-simplify]: Simplify (- 0) into 0 1553848806.709 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.710 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6 1553848806.711 * [backup-simplify]: Simplify (+ (* (cos (- lambda2)) -1/6) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into (- (* 1/6 (cos (- lambda2)))) 1553848806.711 * [backup-simplify]: Simplify (+ 0 (- (* 1/6 (cos (- lambda2))))) into (- (* 1/6 (cos (- lambda2)))) 1553848806.711 * [taylor]: Taking taylor expansion of (- (* 1/6 (cos (- lambda2)))) in lambda2 1553848806.711 * [taylor]: Taking taylor expansion of (* 1/6 (cos (- lambda2))) in lambda2 1553848806.711 * [taylor]: Taking taylor expansion of 1/6 in lambda2 1553848806.711 * [backup-simplify]: Simplify 1/6 into 1/6 1553848806.711 * [taylor]: Taking taylor expansion of (cos (- lambda2)) in lambda2 1553848806.711 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 1553848806.712 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1553848806.712 * [backup-simplify]: Simplify 0 into 0 1553848806.712 * [backup-simplify]: Simplify 1 into 1 1553848806.712 * [backup-simplify]: Simplify (- 0) into 0 1553848806.712 * [backup-simplify]: Simplify (- 1) into -1 1553848806.713 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 1553848806.713 * [backup-simplify]: Simplify (- 1/6) into -1/6 1553848806.713 * [backup-simplify]: Simplify -1/6 into -1/6 1553848806.714 * [backup-simplify]: Simplify (+ (* -1/6 (pow (* 1 lambda1) 3)) (+ (* -1 (* lambda2 1)) (* 1 (* 1 lambda1)))) into (- lambda1 (+ lambda2 (* 1/6 (pow lambda1 3)))) 1553848806.714 * [backup-simplify]: Simplify (sin (- (/ 1 lambda1) (/ 1 lambda2))) into (sin (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.714 * [approximate]: Taking taylor expansion of (sin (- (/ 1 lambda1) (/ 1 lambda2))) in (lambda1 lambda2) around 0 1553848806.714 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1553848806.714 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1553848806.714 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1553848806.714 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1553848806.714 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.714 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 1553848806.714 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1553848806.714 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1553848806.714 * [backup-simplify]: Simplify 0 into 0 1553848806.714 * [backup-simplify]: Simplify 1 into 1 1553848806.714 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.715 * [backup-simplify]: Simplify (- 1) into -1 1553848806.715 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553848806.716 * [backup-simplify]: Simplify (sin (- (/ 1 lambda1) (/ 1 lambda2))) into (sin (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.716 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1553848806.716 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1553848806.716 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1553848806.716 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1553848806.716 * [backup-simplify]: Simplify 0 into 0 1553848806.716 * [backup-simplify]: Simplify 1 into 1 1553848806.716 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.716 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1553848806.716 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1553848806.716 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.716 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 1553848806.717 * [backup-simplify]: Simplify (+ 1 0) into 1 1553848806.717 * [backup-simplify]: Simplify (sin (- (/ 1 lambda1) (/ 1 lambda2))) into (sin (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.717 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1553848806.717 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1553848806.717 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1553848806.717 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1553848806.717 * [backup-simplify]: Simplify 0 into 0 1553848806.717 * [backup-simplify]: Simplify 1 into 1 1553848806.717 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.717 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1553848806.718 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1553848806.718 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.718 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 1553848806.718 * [backup-simplify]: Simplify (+ 1 0) into 1 1553848806.718 * [backup-simplify]: Simplify (sin (- (/ 1 lambda1) (/ 1 lambda2))) into (sin (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.718 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1553848806.718 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1553848806.718 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1553848806.718 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1553848806.718 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.719 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 1553848806.719 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1553848806.719 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1553848806.719 * [backup-simplify]: Simplify 0 into 0 1553848806.719 * [backup-simplify]: Simplify 1 into 1 1553848806.719 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.719 * [backup-simplify]: Simplify (- 1) into -1 1553848806.720 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553848806.720 * [backup-simplify]: Simplify (sin (- (/ 1 lambda1) (/ 1 lambda2))) into (sin (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.720 * [backup-simplify]: Simplify (sin (- (/ 1 lambda1) (/ 1 lambda2))) into (sin (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.720 * [taylor]: Taking taylor expansion of 0 in lambda2 1553848806.720 * [backup-simplify]: Simplify 0 into 0 1553848806.720 * [backup-simplify]: Simplify 0 into 0 1553848806.720 * [backup-simplify]: Simplify 0 into 0 1553848806.720 * [taylor]: Taking taylor expansion of 0 in lambda2 1553848806.720 * [backup-simplify]: Simplify 0 into 0 1553848806.721 * [backup-simplify]: Simplify 0 into 0 1553848806.721 * [backup-simplify]: Simplify 0 into 0 1553848806.721 * [backup-simplify]: Simplify 0 into 0 1553848806.721 * [taylor]: Taking taylor expansion of 0 in lambda2 1553848806.721 * [backup-simplify]: Simplify 0 into 0 1553848806.721 * [backup-simplify]: Simplify 0 into 0 1553848806.721 * [backup-simplify]: Simplify (sin (- (/ 1 (/ 1 lambda1)) (/ 1 (/ 1 lambda2)))) into (sin (- lambda1 lambda2)) 1553848806.721 * [backup-simplify]: Simplify (sin (- (/ 1 (- lambda1)) (/ 1 (- lambda2)))) into (sin (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.721 * [approximate]: Taking taylor expansion of (sin (- (/ 1 lambda2) (/ 1 lambda1))) in (lambda1 lambda2) around 0 1553848806.721 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1553848806.721 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1553848806.721 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1553848806.721 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1553848806.721 * [backup-simplify]: Simplify 0 into 0 1553848806.721 * [backup-simplify]: Simplify 1 into 1 1553848806.722 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.722 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1553848806.722 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1553848806.722 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.722 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 1553848806.723 * [backup-simplify]: Simplify (+ 1 0) into 1 1553848806.723 * [backup-simplify]: Simplify (sin (- (/ 1 lambda2) (/ 1 lambda1))) into (sin (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.723 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1553848806.723 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1553848806.723 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1553848806.723 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1553848806.723 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.723 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 1553848806.723 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1553848806.723 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1553848806.723 * [backup-simplify]: Simplify 0 into 0 1553848806.723 * [backup-simplify]: Simplify 1 into 1 1553848806.724 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.724 * [backup-simplify]: Simplify (- 1) into -1 1553848806.725 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553848806.725 * [backup-simplify]: Simplify (sin (- (/ 1 lambda2) (/ 1 lambda1))) into (sin (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.725 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1553848806.725 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1553848806.725 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1553848806.725 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1553848806.725 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.725 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 1553848806.725 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1553848806.725 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1553848806.725 * [backup-simplify]: Simplify 0 into 0 1553848806.725 * [backup-simplify]: Simplify 1 into 1 1553848806.726 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.726 * [backup-simplify]: Simplify (- 1) into -1 1553848806.726 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553848806.727 * [backup-simplify]: Simplify (sin (- (/ 1 lambda2) (/ 1 lambda1))) into (sin (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.727 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1553848806.727 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1553848806.727 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1553848806.727 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1553848806.727 * [backup-simplify]: Simplify 0 into 0 1553848806.727 * [backup-simplify]: Simplify 1 into 1 1553848806.727 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.727 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1553848806.727 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1553848806.727 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.727 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 1553848806.728 * [backup-simplify]: Simplify (+ 1 0) into 1 1553848806.728 * [backup-simplify]: Simplify (sin (- (/ 1 lambda2) (/ 1 lambda1))) into (sin (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.728 * [backup-simplify]: Simplify (sin (- (/ 1 lambda2) (/ 1 lambda1))) into (sin (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.728 * [taylor]: Taking taylor expansion of 0 in lambda2 1553848806.728 * [backup-simplify]: Simplify 0 into 0 1553848806.728 * [backup-simplify]: Simplify 0 into 0 1553848806.728 * [backup-simplify]: Simplify 0 into 0 1553848806.728 * [taylor]: Taking taylor expansion of 0 in lambda2 1553848806.728 * [backup-simplify]: Simplify 0 into 0 1553848806.728 * [backup-simplify]: Simplify 0 into 0 1553848806.728 * [backup-simplify]: Simplify 0 into 0 1553848806.728 * [backup-simplify]: Simplify 0 into 0 1553848806.729 * [taylor]: Taking taylor expansion of 0 in lambda2 1553848806.729 * [backup-simplify]: Simplify 0 into 0 1553848806.729 * [backup-simplify]: Simplify 0 into 0 1553848806.729 * [backup-simplify]: Simplify (sin (- (/ 1 (/ 1 (- lambda2))) (/ 1 (/ 1 (- lambda1))))) into (sin (- lambda1 lambda2)) 1553848806.729 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 1553848806.729 * [backup-simplify]: Simplify (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))) into (+ (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) 1553848806.729 * [approximate]: Taking taylor expansion of (+ (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in (phi1 phi2 lambda1 lambda2) around 0 1553848806.729 * [taylor]: Taking taylor expansion of (+ (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in lambda2 1553848806.729 * [taylor]: Taking taylor expansion of (cos phi1) in lambda2 1553848806.729 * [taylor]: Taking taylor expansion of phi1 in lambda2 1553848806.729 * [backup-simplify]: Simplify phi1 into phi1 1553848806.729 * [backup-simplify]: Simplify (cos phi1) into (cos phi1) 1553848806.729 * [backup-simplify]: Simplify (sin phi1) into (sin phi1) 1553848806.729 * [taylor]: Taking taylor expansion of (* (cos (- lambda1 lambda2)) (cos phi2)) in lambda2 1553848806.729 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in lambda2 1553848806.729 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 1553848806.729 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1553848806.729 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.729 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1553848806.729 * [backup-simplify]: Simplify 0 into 0 1553848806.730 * [backup-simplify]: Simplify 1 into 1 1553848806.730 * [backup-simplify]: Simplify (- 0) into 0 1553848806.730 * [backup-simplify]: Simplify (+ lambda1 0) into lambda1 1553848806.730 * [backup-simplify]: Simplify (cos lambda1) into (cos lambda1) 1553848806.730 * [backup-simplify]: Simplify (sin lambda1) into (sin lambda1) 1553848806.730 * [taylor]: Taking taylor expansion of (cos phi2) in lambda2 1553848806.730 * [taylor]: Taking taylor expansion of phi2 in lambda2 1553848806.730 * [backup-simplify]: Simplify phi2 into phi2 1553848806.730 * [backup-simplify]: Simplify (cos phi2) into (cos phi2) 1553848806.730 * [backup-simplify]: Simplify (sin phi2) into (sin phi2) 1553848806.730 * [taylor]: Taking taylor expansion of (+ (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in lambda1 1553848806.731 * [taylor]: Taking taylor expansion of (cos phi1) in lambda1 1553848806.731 * [taylor]: Taking taylor expansion of phi1 in lambda1 1553848806.731 * [backup-simplify]: Simplify phi1 into phi1 1553848806.731 * [backup-simplify]: Simplify (cos phi1) into (cos phi1) 1553848806.731 * [backup-simplify]: Simplify (sin phi1) into (sin phi1) 1553848806.731 * [taylor]: Taking taylor expansion of (* (cos (- lambda1 lambda2)) (cos phi2)) in lambda1 1553848806.731 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in lambda1 1553848806.731 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1553848806.731 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1553848806.731 * [backup-simplify]: Simplify 0 into 0 1553848806.731 * [backup-simplify]: Simplify 1 into 1 1553848806.731 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1553848806.731 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.731 * [backup-simplify]: Simplify (- lambda2) into (- lambda2) 1553848806.731 * [backup-simplify]: Simplify (+ 0 (- lambda2)) into (- lambda2) 1553848806.731 * [backup-simplify]: Simplify (cos (- lambda2)) into (cos (- lambda2)) 1553848806.731 * [backup-simplify]: Simplify (sin (- lambda2)) into (sin (- lambda2)) 1553848806.731 * [taylor]: Taking taylor expansion of (cos phi2) in lambda1 1553848806.731 * [taylor]: Taking taylor expansion of phi2 in lambda1 1553848806.731 * [backup-simplify]: Simplify phi2 into phi2 1553848806.731 * [backup-simplify]: Simplify (cos phi2) into (cos phi2) 1553848806.731 * [backup-simplify]: Simplify (sin phi2) into (sin phi2) 1553848806.731 * [taylor]: Taking taylor expansion of (+ (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in phi2 1553848806.731 * [taylor]: Taking taylor expansion of (cos phi1) in phi2 1553848806.731 * [taylor]: Taking taylor expansion of phi1 in phi2 1553848806.731 * [backup-simplify]: Simplify phi1 into phi1 1553848806.731 * [backup-simplify]: Simplify (cos phi1) into (cos phi1) 1553848806.731 * [backup-simplify]: Simplify (sin phi1) into (sin phi1) 1553848806.731 * [taylor]: Taking taylor expansion of (* (cos (- lambda1 lambda2)) (cos phi2)) in phi2 1553848806.731 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in phi2 1553848806.732 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in phi2 1553848806.732 * [taylor]: Taking taylor expansion of lambda1 in phi2 1553848806.732 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.732 * [taylor]: Taking taylor expansion of lambda2 in phi2 1553848806.732 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.732 * [backup-simplify]: Simplify (- lambda2) into (- lambda2) 1553848806.732 * [backup-simplify]: Simplify (+ lambda1 (- lambda2)) into (- lambda1 lambda2) 1553848806.732 * [backup-simplify]: Simplify (cos (- lambda1 lambda2)) into (cos (- lambda1 lambda2)) 1553848806.732 * [backup-simplify]: Simplify (sin (- lambda1 lambda2)) into (sin (- lambda1 lambda2)) 1553848806.732 * [taylor]: Taking taylor expansion of (cos phi2) in phi2 1553848806.732 * [taylor]: Taking taylor expansion of phi2 in phi2 1553848806.732 * [backup-simplify]: Simplify 0 into 0 1553848806.732 * [backup-simplify]: Simplify 1 into 1 1553848806.732 * [taylor]: Taking taylor expansion of (+ (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in phi1 1553848806.732 * [taylor]: Taking taylor expansion of (cos phi1) in phi1 1553848806.732 * [taylor]: Taking taylor expansion of phi1 in phi1 1553848806.732 * [backup-simplify]: Simplify 0 into 0 1553848806.732 * [backup-simplify]: Simplify 1 into 1 1553848806.732 * [taylor]: Taking taylor expansion of (* (cos (- lambda1 lambda2)) (cos phi2)) in phi1 1553848806.732 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in phi1 1553848806.732 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in phi1 1553848806.732 * [taylor]: Taking taylor expansion of lambda1 in phi1 1553848806.732 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.732 * [taylor]: Taking taylor expansion of lambda2 in phi1 1553848806.732 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.732 * [backup-simplify]: Simplify (- lambda2) into (- lambda2) 1553848806.732 * [backup-simplify]: Simplify (+ lambda1 (- lambda2)) into (- lambda1 lambda2) 1553848806.733 * [backup-simplify]: Simplify (cos (- lambda1 lambda2)) into (cos (- lambda1 lambda2)) 1553848806.733 * [backup-simplify]: Simplify (sin (- lambda1 lambda2)) into (sin (- lambda1 lambda2)) 1553848806.733 * [taylor]: Taking taylor expansion of (cos phi2) in phi1 1553848806.733 * [taylor]: Taking taylor expansion of phi2 in phi1 1553848806.733 * [backup-simplify]: Simplify phi2 into phi2 1553848806.733 * [backup-simplify]: Simplify (cos phi2) into (cos phi2) 1553848806.733 * [backup-simplify]: Simplify (sin phi2) into (sin phi2) 1553848806.733 * [taylor]: Taking taylor expansion of (+ (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in phi1 1553848806.733 * [taylor]: Taking taylor expansion of (cos phi1) in phi1 1553848806.733 * [taylor]: Taking taylor expansion of phi1 in phi1 1553848806.733 * [backup-simplify]: Simplify 0 into 0 1553848806.733 * [backup-simplify]: Simplify 1 into 1 1553848806.733 * [taylor]: Taking taylor expansion of (* (cos (- lambda1 lambda2)) (cos phi2)) in phi1 1553848806.733 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in phi1 1553848806.733 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in phi1 1553848806.733 * [taylor]: Taking taylor expansion of lambda1 in phi1 1553848806.733 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.733 * [taylor]: Taking taylor expansion of lambda2 in phi1 1553848806.733 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.733 * [backup-simplify]: Simplify (- lambda2) into (- lambda2) 1553848806.733 * [backup-simplify]: Simplify (+ lambda1 (- lambda2)) into (- lambda1 lambda2) 1553848806.733 * [backup-simplify]: Simplify (cos (- lambda1 lambda2)) into (cos (- lambda1 lambda2)) 1553848806.733 * [backup-simplify]: Simplify (sin (- lambda1 lambda2)) into (sin (- lambda1 lambda2)) 1553848806.733 * [taylor]: Taking taylor expansion of (cos phi2) in phi1 1553848806.733 * [taylor]: Taking taylor expansion of phi2 in phi1 1553848806.733 * [backup-simplify]: Simplify phi2 into phi2 1553848806.733 * [backup-simplify]: Simplify (cos phi2) into (cos phi2) 1553848806.734 * [backup-simplify]: Simplify (sin phi2) into (sin phi2) 1553848806.734 * [backup-simplify]: Simplify (* (cos (- lambda1 lambda2)) 1) into (cos (- lambda1 lambda2)) 1553848806.734 * [backup-simplify]: Simplify (* (sin (- lambda1 lambda2)) 0) into 0 1553848806.735 * [backup-simplify]: Simplify (- 0) into 0 1553848806.735 * [backup-simplify]: Simplify (+ (cos (- lambda1 lambda2)) 0) into (cos (- lambda1 lambda2)) 1553848806.735 * [backup-simplify]: Simplify (* (cos phi2) 1) into (cos phi2) 1553848806.735 * [backup-simplify]: Simplify (* (sin phi2) 0) into 0 1553848806.736 * [backup-simplify]: Simplify (- 0) into 0 1553848806.736 * [backup-simplify]: Simplify (+ (cos phi2) 0) into (cos phi2) 1553848806.736 * [backup-simplify]: Simplify (* (cos (- lambda1 lambda2)) (cos phi2)) into (* (cos (- lambda1 lambda2)) (cos phi2)) 1553848806.736 * [backup-simplify]: Simplify (+ 1 (* (cos (- lambda1 lambda2)) (cos phi2))) into (+ (* (cos (- lambda1 lambda2)) (cos phi2)) 1) 1553848806.736 * [taylor]: Taking taylor expansion of (+ (* (cos (- lambda1 lambda2)) (cos phi2)) 1) in phi2 1553848806.736 * [taylor]: Taking taylor expansion of (* (cos (- lambda1 lambda2)) (cos phi2)) in phi2 1553848806.736 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in phi2 1553848806.736 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in phi2 1553848806.736 * [taylor]: Taking taylor expansion of lambda1 in phi2 1553848806.736 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.736 * [taylor]: Taking taylor expansion of lambda2 in phi2 1553848806.736 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.736 * [backup-simplify]: Simplify (- lambda2) into (- lambda2) 1553848806.737 * [backup-simplify]: Simplify (+ lambda1 (- lambda2)) into (- lambda1 lambda2) 1553848806.737 * [backup-simplify]: Simplify (cos (- lambda1 lambda2)) into (cos (- lambda1 lambda2)) 1553848806.737 * [backup-simplify]: Simplify (sin (- lambda1 lambda2)) into (sin (- lambda1 lambda2)) 1553848806.737 * [taylor]: Taking taylor expansion of (cos phi2) in phi2 1553848806.737 * [taylor]: Taking taylor expansion of phi2 in phi2 1553848806.737 * [backup-simplify]: Simplify 0 into 0 1553848806.737 * [backup-simplify]: Simplify 1 into 1 1553848806.737 * [taylor]: Taking taylor expansion of 1 in phi2 1553848806.737 * [backup-simplify]: Simplify 1 into 1 1553848806.737 * [backup-simplify]: Simplify (* (cos (- lambda1 lambda2)) 1) into (cos (- lambda1 lambda2)) 1553848806.737 * [backup-simplify]: Simplify (* (sin (- lambda1 lambda2)) 0) into 0 1553848806.738 * [backup-simplify]: Simplify (- 0) into 0 1553848806.738 * [backup-simplify]: Simplify (+ (cos (- lambda1 lambda2)) 0) into (cos (- lambda1 lambda2)) 1553848806.738 * [backup-simplify]: Simplify (* (cos (- lambda1 lambda2)) 1) into (cos (- lambda1 lambda2)) 1553848806.738 * [backup-simplify]: Simplify (+ (cos (- lambda1 lambda2)) 1) into (+ (cos (- lambda1 lambda2)) 1) 1553848806.738 * [taylor]: Taking taylor expansion of (+ (cos (- lambda1 lambda2)) 1) in lambda1 1553848806.738 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in lambda1 1553848806.738 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1553848806.738 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1553848806.738 * [backup-simplify]: Simplify 0 into 0 1553848806.738 * [backup-simplify]: Simplify 1 into 1 1553848806.738 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1553848806.738 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.739 * [backup-simplify]: Simplify (- lambda2) into (- lambda2) 1553848806.739 * [backup-simplify]: Simplify (+ 0 (- lambda2)) into (- lambda2) 1553848806.739 * [backup-simplify]: Simplify (cos (- lambda2)) into (cos (- lambda2)) 1553848806.739 * [backup-simplify]: Simplify (sin (- lambda2)) into (sin (- lambda2)) 1553848806.739 * [taylor]: Taking taylor expansion of 1 in lambda1 1553848806.739 * [backup-simplify]: Simplify 1 into 1 1553848806.739 * [backup-simplify]: Simplify (* (cos (- lambda2)) 1) into (cos (- lambda2)) 1553848806.739 * [backup-simplify]: Simplify (* (sin (- lambda2)) 0) into 0 1553848806.740 * [backup-simplify]: Simplify (- 0) into 0 1553848806.740 * [backup-simplify]: Simplify (+ (cos (- lambda2)) 0) into (cos (- lambda2)) 1553848806.740 * [backup-simplify]: Simplify (+ (cos (- lambda2)) 1) into (+ (cos (- lambda2)) 1) 1553848806.740 * [taylor]: Taking taylor expansion of (+ (cos (- lambda2)) 1) in lambda2 1553848806.740 * [taylor]: Taking taylor expansion of (cos (- lambda2)) in lambda2 1553848806.740 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 1553848806.740 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1553848806.740 * [backup-simplify]: Simplify 0 into 0 1553848806.740 * [backup-simplify]: Simplify 1 into 1 1553848806.740 * [backup-simplify]: Simplify (- 0) into 0 1553848806.741 * [backup-simplify]: Simplify (- 1) into -1 1553848806.741 * [taylor]: Taking taylor expansion of 1 in lambda2 1553848806.741 * [backup-simplify]: Simplify 1 into 1 1553848806.741 * [backup-simplify]: Simplify (+ 1 1) into 2 1553848806.741 * [backup-simplify]: Simplify 2 into 2 1553848806.742 * [backup-simplify]: Simplify (+ 0) into 0 1553848806.742 * [backup-simplify]: Simplify (+ 0) into 0 1553848806.743 * [backup-simplify]: Simplify (+ (* (cos phi2) 0) (* 0 1)) into 0 1553848806.743 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553848806.744 * [backup-simplify]: Simplify (+ (* (sin phi2) 0) (* 0 0)) into 0 1553848806.744 * [backup-simplify]: Simplify (- 0) into 0 1553848806.745 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.745 * [backup-simplify]: Simplify (+ 0) into 0 1553848806.746 * [backup-simplify]: Simplify (+ (* (cos (- lambda1 lambda2)) 0) (* 0 1)) into 0 1553848806.746 * [backup-simplify]: Simplify (- 0) into 0 1553848806.746 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.747 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553848806.748 * [backup-simplify]: Simplify (+ (* (sin (- lambda1 lambda2)) 0) (* 0 0)) into 0 1553848806.748 * [backup-simplify]: Simplify (- 0) into 0 1553848806.749 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.749 * [backup-simplify]: Simplify (+ (* (cos (- lambda1 lambda2)) 0) (* 0 (cos phi2))) into 0 1553848806.749 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.749 * [taylor]: Taking taylor expansion of 0 in phi2 1553848806.749 * [backup-simplify]: Simplify 0 into 0 1553848806.749 * [taylor]: Taking taylor expansion of 0 in lambda1 1553848806.749 * [backup-simplify]: Simplify 0 into 0 1553848806.749 * [taylor]: Taking taylor expansion of 0 in lambda2 1553848806.749 * [backup-simplify]: Simplify 0 into 0 1553848806.749 * [backup-simplify]: Simplify 0 into 0 1553848806.750 * [backup-simplify]: Simplify (+ 0) into 0 1553848806.750 * [backup-simplify]: Simplify (+ 0) into 0 1553848806.751 * [backup-simplify]: Simplify (+ (* (cos (- lambda1 lambda2)) 0) (* 0 1)) into 0 1553848806.751 * [backup-simplify]: Simplify (- 0) into 0 1553848806.751 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.752 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553848806.753 * [backup-simplify]: Simplify (+ (* (sin (- lambda1 lambda2)) 0) (* 0 0)) into 0 1553848806.753 * [backup-simplify]: Simplify (- 0) into 0 1553848806.753 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.754 * [backup-simplify]: Simplify (+ (* (cos (- lambda1 lambda2)) 0) (* 0 1)) into 0 1553848806.755 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.755 * [taylor]: Taking taylor expansion of 0 in lambda1 1553848806.755 * [backup-simplify]: Simplify 0 into 0 1553848806.755 * [taylor]: Taking taylor expansion of 0 in lambda2 1553848806.755 * [backup-simplify]: Simplify 0 into 0 1553848806.755 * [backup-simplify]: Simplify 0 into 0 1553848806.755 * [backup-simplify]: Simplify (+ 0) into 0 1553848806.756 * [backup-simplify]: Simplify (+ (* (cos (- lambda2)) 0) (* 0 1)) into 0 1553848806.756 * [backup-simplify]: Simplify (- 0) into 0 1553848806.757 * [backup-simplify]: Simplify (+ 1 0) into 1 1553848806.757 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1553848806.758 * [backup-simplify]: Simplify (+ (* (sin (- lambda2)) 1) (* 0 0)) into (sin (- lambda2)) 1553848806.758 * [backup-simplify]: Simplify (- (sin (- lambda2))) into (- (sin (- lambda2))) 1553848806.758 * [backup-simplify]: Simplify (+ 0 (- (sin (- lambda2)))) into (- (sin (- lambda2))) 1553848806.758 * [backup-simplify]: Simplify (+ (- (sin (- lambda2))) 0) into (- (sin (- lambda2))) 1553848806.758 * [taylor]: Taking taylor expansion of (- (sin (- lambda2))) in lambda2 1553848806.758 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda2 1553848806.758 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 1553848806.758 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1553848806.758 * [backup-simplify]: Simplify 0 into 0 1553848806.758 * [backup-simplify]: Simplify 1 into 1 1553848806.758 * [backup-simplify]: Simplify (- 0) into 0 1553848806.759 * [backup-simplify]: Simplify (- 1) into -1 1553848806.759 * [backup-simplify]: Simplify (- 0) into 0 1553848806.759 * [backup-simplify]: Simplify 0 into 0 1553848806.759 * [backup-simplify]: Simplify (+ 0) into 0 1553848806.760 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.760 * [backup-simplify]: Simplify 0 into 0 1553848806.761 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 1553848806.761 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1553848806.762 * [backup-simplify]: Simplify (+ (* (cos phi2) 0) (+ (* 0 0) (* 0 1))) into 0 1553848806.763 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1553848806.763 * [backup-simplify]: Simplify (+ (* (sin phi2) 0) (+ (* 0 0) (* 0 0))) into 0 1553848806.764 * [backup-simplify]: Simplify (- 0) into 0 1553848806.764 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.765 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1553848806.766 * [backup-simplify]: Simplify (+ (* (cos (- lambda1 lambda2)) 0) (+ (* 0 0) (* 0 1))) into 0 1553848806.766 * [backup-simplify]: Simplify (- 0) into 0 1553848806.766 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.767 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1553848806.768 * [backup-simplify]: Simplify (+ (* (sin (- lambda1 lambda2)) 0) (+ (* 0 0) (* 0 0))) into 0 1553848806.768 * [backup-simplify]: Simplify (- 0) into 0 1553848806.769 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.769 * [backup-simplify]: Simplify (+ (* (cos (- lambda1 lambda2)) 0) (+ (* 0 0) (* 0 (cos phi2)))) into 0 1553848806.770 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 1553848806.770 * [taylor]: Taking taylor expansion of -1/2 in phi2 1553848806.770 * [backup-simplify]: Simplify -1/2 into -1/2 1553848806.770 * [taylor]: Taking taylor expansion of -1/2 in lambda1 1553848806.770 * [backup-simplify]: Simplify -1/2 into -1/2 1553848806.770 * [taylor]: Taking taylor expansion of -1/2 in lambda2 1553848806.770 * [backup-simplify]: Simplify -1/2 into -1/2 1553848806.770 * [backup-simplify]: Simplify -1/2 into -1/2 1553848806.770 * [taylor]: Taking taylor expansion of 0 in lambda1 1553848806.770 * [backup-simplify]: Simplify 0 into 0 1553848806.770 * [taylor]: Taking taylor expansion of 0 in lambda2 1553848806.770 * [backup-simplify]: Simplify 0 into 0 1553848806.770 * [backup-simplify]: Simplify 0 into 0 1553848806.772 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 1553848806.772 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1553848806.773 * [backup-simplify]: Simplify (+ (* (cos (- lambda1 lambda2)) 0) (+ (* 0 0) (* 0 1))) into 0 1553848806.774 * [backup-simplify]: Simplify (- 0) into 0 1553848806.774 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.775 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1553848806.775 * [backup-simplify]: Simplify (+ (* (sin (- lambda1 lambda2)) 0) (+ (* 0 0) (* 0 0))) into 0 1553848806.776 * [backup-simplify]: Simplify (- 0) into 0 1553848806.776 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.777 * [backup-simplify]: Simplify (+ (* (cos (- lambda1 lambda2)) -1/2) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (cos (- lambda1 lambda2)))) 1553848806.777 * [backup-simplify]: Simplify (+ (- (* 1/2 (cos (- lambda1 lambda2)))) 0) into (- (* 1/2 (cos (- lambda1 lambda2)))) 1553848806.777 * [taylor]: Taking taylor expansion of (- (* 1/2 (cos (- lambda1 lambda2)))) in lambda1 1553848806.777 * [taylor]: Taking taylor expansion of (* 1/2 (cos (- lambda1 lambda2))) in lambda1 1553848806.777 * [taylor]: Taking taylor expansion of 1/2 in lambda1 1553848806.777 * [backup-simplify]: Simplify 1/2 into 1/2 1553848806.777 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in lambda1 1553848806.777 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1553848806.777 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1553848806.777 * [backup-simplify]: Simplify 0 into 0 1553848806.777 * [backup-simplify]: Simplify 1 into 1 1553848806.777 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1553848806.777 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.777 * [backup-simplify]: Simplify (- lambda2) into (- lambda2) 1553848806.777 * [backup-simplify]: Simplify (+ 0 (- lambda2)) into (- lambda2) 1553848806.778 * [backup-simplify]: Simplify (cos (- lambda2)) into (cos (- lambda2)) 1553848806.778 * [backup-simplify]: Simplify (sin (- lambda2)) into (sin (- lambda2)) 1553848806.778 * [backup-simplify]: Simplify (* (cos (- lambda2)) 1) into (cos (- lambda2)) 1553848806.778 * [backup-simplify]: Simplify (* (sin (- lambda2)) 0) into 0 1553848806.778 * [backup-simplify]: Simplify (- 0) into 0 1553848806.778 * [backup-simplify]: Simplify (+ (cos (- lambda2)) 0) into (cos (- lambda2)) 1553848806.778 * [backup-simplify]: Simplify (* 1/2 (cos (- lambda2))) into (* 1/2 (cos (- lambda2))) 1553848806.778 * [backup-simplify]: Simplify (- (* 1/2 (cos (- lambda2)))) into (- (* 1/2 (cos (- lambda2)))) 1553848806.778 * [taylor]: Taking taylor expansion of (- (* 1/2 (cos (- lambda2)))) in lambda2 1553848806.779 * [taylor]: Taking taylor expansion of (* 1/2 (cos (- lambda2))) in lambda2 1553848806.779 * [taylor]: Taking taylor expansion of 1/2 in lambda2 1553848806.779 * [backup-simplify]: Simplify 1/2 into 1/2 1553848806.779 * [taylor]: Taking taylor expansion of (cos (- lambda2)) in lambda2 1553848806.779 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 1553848806.779 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1553848806.779 * [backup-simplify]: Simplify 0 into 0 1553848806.779 * [backup-simplify]: Simplify 1 into 1 1553848806.779 * [backup-simplify]: Simplify (- 0) into 0 1553848806.779 * [backup-simplify]: Simplify (- 1) into -1 1553848806.780 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1553848806.780 * [backup-simplify]: Simplify (- 1/2) into -1/2 1553848806.780 * [backup-simplify]: Simplify -1/2 into -1/2 1553848806.781 * [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)))) 1553848806.781 * [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))) 1553848806.781 * [approximate]: Taking taylor expansion of (+ (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) (cos (/ 1 phi1))) in (phi1 phi2 lambda1 lambda2) around 0 1553848806.781 * [taylor]: Taking taylor expansion of (+ (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) (cos (/ 1 phi1))) in lambda2 1553848806.781 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 1553848806.781 * [taylor]: Taking taylor expansion of (cos (/ 1 phi2)) in lambda2 1553848806.781 * [taylor]: Taking taylor expansion of (/ 1 phi2) in lambda2 1553848806.781 * [taylor]: Taking taylor expansion of phi2 in lambda2 1553848806.781 * [backup-simplify]: Simplify phi2 into phi2 1553848806.781 * [backup-simplify]: Simplify (/ 1 phi2) into (/ 1 phi2) 1553848806.781 * [backup-simplify]: Simplify (cos (/ 1 phi2)) into (cos (/ 1 phi2)) 1553848806.781 * [backup-simplify]: Simplify (sin (/ 1 phi2)) into (sin (/ 1 phi2)) 1553848806.781 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1553848806.781 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1553848806.782 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1553848806.782 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1553848806.782 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.782 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 1553848806.782 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1553848806.782 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1553848806.782 * [backup-simplify]: Simplify 0 into 0 1553848806.782 * [backup-simplify]: Simplify 1 into 1 1553848806.782 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.783 * [backup-simplify]: Simplify (- 1) into -1 1553848806.783 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553848806.783 * [backup-simplify]: Simplify (cos (- (/ 1 lambda1) (/ 1 lambda2))) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.783 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in lambda2 1553848806.783 * [taylor]: Taking taylor expansion of (/ 1 phi1) in lambda2 1553848806.783 * [taylor]: Taking taylor expansion of phi1 in lambda2 1553848806.783 * [backup-simplify]: Simplify phi1 into phi1 1553848806.783 * [backup-simplify]: Simplify (/ 1 phi1) into (/ 1 phi1) 1553848806.783 * [backup-simplify]: Simplify (cos (/ 1 phi1)) into (cos (/ 1 phi1)) 1553848806.784 * [backup-simplify]: Simplify (sin (/ 1 phi1)) into (sin (/ 1 phi1)) 1553848806.784 * [taylor]: Taking taylor expansion of (+ (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) (cos (/ 1 phi1))) in lambda1 1553848806.784 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 1553848806.784 * [taylor]: Taking taylor expansion of (cos (/ 1 phi2)) in lambda1 1553848806.784 * [taylor]: Taking taylor expansion of (/ 1 phi2) in lambda1 1553848806.784 * [taylor]: Taking taylor expansion of phi2 in lambda1 1553848806.784 * [backup-simplify]: Simplify phi2 into phi2 1553848806.784 * [backup-simplify]: Simplify (/ 1 phi2) into (/ 1 phi2) 1553848806.784 * [backup-simplify]: Simplify (cos (/ 1 phi2)) into (cos (/ 1 phi2)) 1553848806.784 * [backup-simplify]: Simplify (sin (/ 1 phi2)) into (sin (/ 1 phi2)) 1553848806.784 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1553848806.784 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1553848806.784 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1553848806.784 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1553848806.784 * [backup-simplify]: Simplify 0 into 0 1553848806.784 * [backup-simplify]: Simplify 1 into 1 1553848806.784 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.784 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1553848806.785 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1553848806.785 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.785 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 1553848806.785 * [backup-simplify]: Simplify (+ 1 0) into 1 1553848806.785 * [backup-simplify]: Simplify (cos (- (/ 1 lambda1) (/ 1 lambda2))) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.785 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in lambda1 1553848806.785 * [taylor]: Taking taylor expansion of (/ 1 phi1) in lambda1 1553848806.785 * [taylor]: Taking taylor expansion of phi1 in lambda1 1553848806.785 * [backup-simplify]: Simplify phi1 into phi1 1553848806.785 * [backup-simplify]: Simplify (/ 1 phi1) into (/ 1 phi1) 1553848806.785 * [backup-simplify]: Simplify (cos (/ 1 phi1)) into (cos (/ 1 phi1)) 1553848806.785 * [backup-simplify]: Simplify (sin (/ 1 phi1)) into (sin (/ 1 phi1)) 1553848806.785 * [taylor]: Taking taylor expansion of (+ (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) (cos (/ 1 phi1))) in phi2 1553848806.785 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) in phi2 1553848806.785 * [taylor]: Taking taylor expansion of (cos (/ 1 phi2)) in phi2 1553848806.785 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 1553848806.785 * [taylor]: Taking taylor expansion of phi2 in phi2 1553848806.785 * [backup-simplify]: Simplify 0 into 0 1553848806.785 * [backup-simplify]: Simplify 1 into 1 1553848806.786 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.786 * [backup-simplify]: Simplify (cos (/ 1 phi2)) into (cos (/ 1 phi2)) 1553848806.786 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in phi2 1553848806.786 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in phi2 1553848806.786 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in phi2 1553848806.786 * [taylor]: Taking taylor expansion of lambda1 in phi2 1553848806.786 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.786 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 1553848806.786 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in phi2 1553848806.786 * [taylor]: Taking taylor expansion of lambda2 in phi2 1553848806.786 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.786 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 1553848806.786 * [backup-simplify]: Simplify (- (/ 1 lambda2)) into (- (/ 1 lambda2)) 1553848806.786 * [backup-simplify]: Simplify (+ (/ 1 lambda1) (- (/ 1 lambda2))) into (- (/ 1 lambda1) (/ 1 lambda2)) 1553848806.786 * [backup-simplify]: Simplify (cos (- (/ 1 lambda1) (/ 1 lambda2))) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.786 * [backup-simplify]: Simplify (sin (- (/ 1 lambda1) (/ 1 lambda2))) into (sin (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.786 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in phi2 1553848806.786 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 1553848806.786 * [taylor]: Taking taylor expansion of phi1 in phi2 1553848806.786 * [backup-simplify]: Simplify phi1 into phi1 1553848806.786 * [backup-simplify]: Simplify (/ 1 phi1) into (/ 1 phi1) 1553848806.786 * [backup-simplify]: Simplify (cos (/ 1 phi1)) into (cos (/ 1 phi1)) 1553848806.786 * [backup-simplify]: Simplify (sin (/ 1 phi1)) into (sin (/ 1 phi1)) 1553848806.786 * [taylor]: Taking taylor expansion of (+ (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) (cos (/ 1 phi1))) in phi1 1553848806.786 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) in phi1 1553848806.786 * [taylor]: Taking taylor expansion of (cos (/ 1 phi2)) in phi1 1553848806.786 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 1553848806.786 * [taylor]: Taking taylor expansion of phi2 in phi1 1553848806.786 * [backup-simplify]: Simplify phi2 into phi2 1553848806.786 * [backup-simplify]: Simplify (/ 1 phi2) into (/ 1 phi2) 1553848806.786 * [backup-simplify]: Simplify (cos (/ 1 phi2)) into (cos (/ 1 phi2)) 1553848806.786 * [backup-simplify]: Simplify (sin (/ 1 phi2)) into (sin (/ 1 phi2)) 1553848806.786 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in phi1 1553848806.786 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in phi1 1553848806.786 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in phi1 1553848806.786 * [taylor]: Taking taylor expansion of lambda1 in phi1 1553848806.786 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.787 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 1553848806.787 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in phi1 1553848806.787 * [taylor]: Taking taylor expansion of lambda2 in phi1 1553848806.787 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.787 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 1553848806.787 * [backup-simplify]: Simplify (- (/ 1 lambda2)) into (- (/ 1 lambda2)) 1553848806.787 * [backup-simplify]: Simplify (+ (/ 1 lambda1) (- (/ 1 lambda2))) into (- (/ 1 lambda1) (/ 1 lambda2)) 1553848806.787 * [backup-simplify]: Simplify (cos (- (/ 1 lambda1) (/ 1 lambda2))) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.787 * [backup-simplify]: Simplify (sin (- (/ 1 lambda1) (/ 1 lambda2))) into (sin (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.787 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in phi1 1553848806.787 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 1553848806.787 * [taylor]: Taking taylor expansion of phi1 in phi1 1553848806.787 * [backup-simplify]: Simplify 0 into 0 1553848806.787 * [backup-simplify]: Simplify 1 into 1 1553848806.787 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.787 * [backup-simplify]: Simplify (cos (/ 1 phi1)) into (cos (/ 1 phi1)) 1553848806.787 * [taylor]: Taking taylor expansion of (+ (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) (cos (/ 1 phi1))) in phi1 1553848806.787 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) in phi1 1553848806.787 * [taylor]: Taking taylor expansion of (cos (/ 1 phi2)) in phi1 1553848806.787 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 1553848806.787 * [taylor]: Taking taylor expansion of phi2 in phi1 1553848806.787 * [backup-simplify]: Simplify phi2 into phi2 1553848806.787 * [backup-simplify]: Simplify (/ 1 phi2) into (/ 1 phi2) 1553848806.787 * [backup-simplify]: Simplify (cos (/ 1 phi2)) into (cos (/ 1 phi2)) 1553848806.787 * [backup-simplify]: Simplify (sin (/ 1 phi2)) into (sin (/ 1 phi2)) 1553848806.787 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in phi1 1553848806.787 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in phi1 1553848806.788 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in phi1 1553848806.788 * [taylor]: Taking taylor expansion of lambda1 in phi1 1553848806.788 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.788 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 1553848806.788 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in phi1 1553848806.788 * [taylor]: Taking taylor expansion of lambda2 in phi1 1553848806.788 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.788 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 1553848806.788 * [backup-simplify]: Simplify (- (/ 1 lambda2)) into (- (/ 1 lambda2)) 1553848806.788 * [backup-simplify]: Simplify (+ (/ 1 lambda1) (- (/ 1 lambda2))) into (- (/ 1 lambda1) (/ 1 lambda2)) 1553848806.788 * [backup-simplify]: Simplify (cos (- (/ 1 lambda1) (/ 1 lambda2))) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.788 * [backup-simplify]: Simplify (sin (- (/ 1 lambda1) (/ 1 lambda2))) into (sin (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.788 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in phi1 1553848806.788 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 1553848806.788 * [taylor]: Taking taylor expansion of phi1 in phi1 1553848806.788 * [backup-simplify]: Simplify 0 into 0 1553848806.788 * [backup-simplify]: Simplify 1 into 1 1553848806.788 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.788 * [backup-simplify]: Simplify (cos (/ 1 phi1)) into (cos (/ 1 phi1)) 1553848806.788 * [backup-simplify]: Simplify (* (cos (/ 1 phi2)) 1) into (cos (/ 1 phi2)) 1553848806.788 * [backup-simplify]: Simplify (* (sin (/ 1 phi2)) 0) into 0 1553848806.789 * [backup-simplify]: Simplify (- 0) into 0 1553848806.789 * [backup-simplify]: Simplify (+ (cos (/ 1 phi2)) 0) into (cos (/ 1 phi2)) 1553848806.789 * [backup-simplify]: Simplify (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) 1) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.789 * [backup-simplify]: Simplify (* (sin (- (/ 1 lambda1) (/ 1 lambda2))) 0) into 0 1553848806.789 * [backup-simplify]: Simplify (- 0) into 0 1553848806.789 * [backup-simplify]: Simplify (+ (cos (- (/ 1 lambda1) (/ 1 lambda2))) 0) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.789 * [backup-simplify]: Simplify (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) into (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) 1553848806.789 * [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))) 1553848806.789 * [taylor]: Taking taylor expansion of (+ (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) (cos (/ 1 phi1))) in phi2 1553848806.790 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) in phi2 1553848806.790 * [taylor]: Taking taylor expansion of (cos (/ 1 phi2)) in phi2 1553848806.790 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 1553848806.790 * [taylor]: Taking taylor expansion of phi2 in phi2 1553848806.790 * [backup-simplify]: Simplify 0 into 0 1553848806.790 * [backup-simplify]: Simplify 1 into 1 1553848806.790 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.790 * [backup-simplify]: Simplify (cos (/ 1 phi2)) into (cos (/ 1 phi2)) 1553848806.790 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in phi2 1553848806.790 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in phi2 1553848806.790 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in phi2 1553848806.790 * [taylor]: Taking taylor expansion of lambda1 in phi2 1553848806.790 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.790 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 1553848806.790 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in phi2 1553848806.790 * [taylor]: Taking taylor expansion of lambda2 in phi2 1553848806.790 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.790 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 1553848806.790 * [backup-simplify]: Simplify (- (/ 1 lambda2)) into (- (/ 1 lambda2)) 1553848806.790 * [backup-simplify]: Simplify (+ (/ 1 lambda1) (- (/ 1 lambda2))) into (- (/ 1 lambda1) (/ 1 lambda2)) 1553848806.790 * [backup-simplify]: Simplify (cos (- (/ 1 lambda1) (/ 1 lambda2))) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.790 * [backup-simplify]: Simplify (sin (- (/ 1 lambda1) (/ 1 lambda2))) into (sin (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.790 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in phi2 1553848806.790 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 1553848806.790 * [taylor]: Taking taylor expansion of phi1 in phi2 1553848806.790 * [backup-simplify]: Simplify phi1 into phi1 1553848806.790 * [backup-simplify]: Simplify (/ 1 phi1) into (/ 1 phi1) 1553848806.790 * [backup-simplify]: Simplify (cos (/ 1 phi1)) into (cos (/ 1 phi1)) 1553848806.791 * [backup-simplify]: Simplify (sin (/ 1 phi1)) into (sin (/ 1 phi1)) 1553848806.791 * [backup-simplify]: Simplify (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) 1) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.791 * [backup-simplify]: Simplify (* (sin (- (/ 1 lambda1) (/ 1 lambda2))) 0) into 0 1553848806.791 * [backup-simplify]: Simplify (- 0) into 0 1553848806.791 * [backup-simplify]: Simplify (+ (cos (- (/ 1 lambda1) (/ 1 lambda2))) 0) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.791 * [backup-simplify]: Simplify (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) into (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) 1553848806.791 * [backup-simplify]: Simplify (* (cos (/ 1 phi1)) 1) into (cos (/ 1 phi1)) 1553848806.791 * [backup-simplify]: Simplify (* (sin (/ 1 phi1)) 0) into 0 1553848806.791 * [backup-simplify]: Simplify (- 0) into 0 1553848806.792 * [backup-simplify]: Simplify (+ (cos (/ 1 phi1)) 0) into (cos (/ 1 phi1)) 1553848806.792 * [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))) 1553848806.792 * [taylor]: Taking taylor expansion of (+ (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) (cos (/ 1 phi1))) in lambda1 1553848806.792 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 1553848806.792 * [taylor]: Taking taylor expansion of (cos (/ 1 phi2)) in lambda1 1553848806.792 * [taylor]: Taking taylor expansion of (/ 1 phi2) in lambda1 1553848806.792 * [taylor]: Taking taylor expansion of phi2 in lambda1 1553848806.792 * [backup-simplify]: Simplify phi2 into phi2 1553848806.792 * [backup-simplify]: Simplify (/ 1 phi2) into (/ 1 phi2) 1553848806.792 * [backup-simplify]: Simplify (cos (/ 1 phi2)) into (cos (/ 1 phi2)) 1553848806.792 * [backup-simplify]: Simplify (sin (/ 1 phi2)) into (sin (/ 1 phi2)) 1553848806.792 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1553848806.792 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1553848806.792 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1553848806.792 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1553848806.792 * [backup-simplify]: Simplify 0 into 0 1553848806.792 * [backup-simplify]: Simplify 1 into 1 1553848806.792 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.792 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1553848806.792 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1553848806.792 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.792 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 1553848806.793 * [backup-simplify]: Simplify (+ 1 0) into 1 1553848806.793 * [backup-simplify]: Simplify (cos (- (/ 1 lambda1) (/ 1 lambda2))) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.793 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in lambda1 1553848806.793 * [taylor]: Taking taylor expansion of (/ 1 phi1) in lambda1 1553848806.793 * [taylor]: Taking taylor expansion of phi1 in lambda1 1553848806.793 * [backup-simplify]: Simplify phi1 into phi1 1553848806.793 * [backup-simplify]: Simplify (/ 1 phi1) into (/ 1 phi1) 1553848806.793 * [backup-simplify]: Simplify (cos (/ 1 phi1)) into (cos (/ 1 phi1)) 1553848806.793 * [backup-simplify]: Simplify (sin (/ 1 phi1)) into (sin (/ 1 phi1)) 1553848806.793 * [backup-simplify]: Simplify (* (cos (/ 1 phi2)) 1) into (cos (/ 1 phi2)) 1553848806.793 * [backup-simplify]: Simplify (* (sin (/ 1 phi2)) 0) into 0 1553848806.793 * [backup-simplify]: Simplify (- 0) into 0 1553848806.793 * [backup-simplify]: Simplify (+ (cos (/ 1 phi2)) 0) into (cos (/ 1 phi2)) 1553848806.793 * [backup-simplify]: Simplify (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) into (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) 1553848806.793 * [backup-simplify]: Simplify (* (cos (/ 1 phi1)) 1) into (cos (/ 1 phi1)) 1553848806.794 * [backup-simplify]: Simplify (* (sin (/ 1 phi1)) 0) into 0 1553848806.794 * [backup-simplify]: Simplify (- 0) into 0 1553848806.794 * [backup-simplify]: Simplify (+ (cos (/ 1 phi1)) 0) into (cos (/ 1 phi1)) 1553848806.794 * [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))) 1553848806.794 * [taylor]: Taking taylor expansion of (+ (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) (cos (/ 1 phi1))) in lambda2 1553848806.794 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 1553848806.794 * [taylor]: Taking taylor expansion of (cos (/ 1 phi2)) in lambda2 1553848806.794 * [taylor]: Taking taylor expansion of (/ 1 phi2) in lambda2 1553848806.794 * [taylor]: Taking taylor expansion of phi2 in lambda2 1553848806.794 * [backup-simplify]: Simplify phi2 into phi2 1553848806.794 * [backup-simplify]: Simplify (/ 1 phi2) into (/ 1 phi2) 1553848806.794 * [backup-simplify]: Simplify (cos (/ 1 phi2)) into (cos (/ 1 phi2)) 1553848806.794 * [backup-simplify]: Simplify (sin (/ 1 phi2)) into (sin (/ 1 phi2)) 1553848806.794 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1553848806.794 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1553848806.794 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1553848806.794 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1553848806.794 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.794 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 1553848806.794 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1553848806.794 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1553848806.794 * [backup-simplify]: Simplify 0 into 0 1553848806.794 * [backup-simplify]: Simplify 1 into 1 1553848806.795 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.795 * [backup-simplify]: Simplify (- 1) into -1 1553848806.795 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553848806.795 * [backup-simplify]: Simplify (cos (- (/ 1 lambda1) (/ 1 lambda2))) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.795 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in lambda2 1553848806.795 * [taylor]: Taking taylor expansion of (/ 1 phi1) in lambda2 1553848806.795 * [taylor]: Taking taylor expansion of phi1 in lambda2 1553848806.795 * [backup-simplify]: Simplify phi1 into phi1 1553848806.795 * [backup-simplify]: Simplify (/ 1 phi1) into (/ 1 phi1) 1553848806.795 * [backup-simplify]: Simplify (cos (/ 1 phi1)) into (cos (/ 1 phi1)) 1553848806.795 * [backup-simplify]: Simplify (sin (/ 1 phi1)) into (sin (/ 1 phi1)) 1553848806.795 * [backup-simplify]: Simplify (* (cos (/ 1 phi2)) 1) into (cos (/ 1 phi2)) 1553848806.796 * [backup-simplify]: Simplify (* (sin (/ 1 phi2)) 0) into 0 1553848806.796 * [backup-simplify]: Simplify (- 0) into 0 1553848806.796 * [backup-simplify]: Simplify (+ (cos (/ 1 phi2)) 0) into (cos (/ 1 phi2)) 1553848806.796 * [backup-simplify]: Simplify (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) into (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) 1553848806.796 * [backup-simplify]: Simplify (* (cos (/ 1 phi1)) 1) into (cos (/ 1 phi1)) 1553848806.796 * [backup-simplify]: Simplify (* (sin (/ 1 phi1)) 0) into 0 1553848806.796 * [backup-simplify]: Simplify (- 0) into 0 1553848806.796 * [backup-simplify]: Simplify (+ (cos (/ 1 phi1)) 0) into (cos (/ 1 phi1)) 1553848806.796 * [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))) 1553848806.797 * [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))) 1553848806.797 * [backup-simplify]: Simplify (+ 0) into 0 1553848806.797 * [backup-simplify]: Simplify (+ (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) 0) (* 0 1)) into 0 1553848806.797 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda1) (/ 0 lambda1)))) into 0 1553848806.797 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda2) (/ 0 lambda2)))) into 0 1553848806.798 * [backup-simplify]: Simplify (- 0) into 0 1553848806.798 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.798 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553848806.799 * [backup-simplify]: Simplify (+ (* (sin (- (/ 1 lambda1) (/ 1 lambda2))) 0) (* 0 0)) into 0 1553848806.799 * [backup-simplify]: Simplify (- 0) into 0 1553848806.799 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.799 * [backup-simplify]: Simplify (+ 0) into 0 1553848806.800 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) 0) (* 0 1)) into 0 1553848806.800 * [backup-simplify]: Simplify (- (+ (* (/ 1 phi2) (/ 0 phi2)))) into 0 1553848806.800 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553848806.801 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi2)) 0) (* 0 0)) into 0 1553848806.801 * [backup-simplify]: Simplify (- 0) into 0 1553848806.801 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.801 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) 0) (* 0 (cos (- (/ 1 lambda1) (/ 1 lambda2))))) into 0 1553848806.801 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.801 * [taylor]: Taking taylor expansion of 0 in phi2 1553848806.801 * [backup-simplify]: Simplify 0 into 0 1553848806.801 * [taylor]: Taking taylor expansion of 0 in lambda1 1553848806.801 * [backup-simplify]: Simplify 0 into 0 1553848806.801 * [taylor]: Taking taylor expansion of 0 in lambda2 1553848806.802 * [backup-simplify]: Simplify 0 into 0 1553848806.802 * [backup-simplify]: Simplify 0 into 0 1553848806.802 * [backup-simplify]: Simplify (+ 0) into 0 1553848806.802 * [backup-simplify]: Simplify (+ (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) 0) (* 0 1)) into 0 1553848806.802 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda1) (/ 0 lambda1)))) into 0 1553848806.802 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda2) (/ 0 lambda2)))) into 0 1553848806.803 * [backup-simplify]: Simplify (- 0) into 0 1553848806.803 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.803 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553848806.803 * [backup-simplify]: Simplify (+ (* (sin (- (/ 1 lambda1) (/ 1 lambda2))) 0) (* 0 0)) into 0 1553848806.804 * [backup-simplify]: Simplify (- 0) into 0 1553848806.804 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.804 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) 0) (* 0 (cos (- (/ 1 lambda1) (/ 1 lambda2))))) into 0 1553848806.804 * [backup-simplify]: Simplify (+ 0) into 0 1553848806.805 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi1)) 0) (* 0 1)) into 0 1553848806.805 * [backup-simplify]: Simplify (- (+ (* (/ 1 phi1) (/ 0 phi1)))) into 0 1553848806.805 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553848806.805 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi1)) 0) (* 0 0)) into 0 1553848806.806 * [backup-simplify]: Simplify (- 0) into 0 1553848806.806 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.806 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.806 * [taylor]: Taking taylor expansion of 0 in lambda1 1553848806.806 * [backup-simplify]: Simplify 0 into 0 1553848806.806 * [taylor]: Taking taylor expansion of 0 in lambda2 1553848806.806 * [backup-simplify]: Simplify 0 into 0 1553848806.806 * [backup-simplify]: Simplify 0 into 0 1553848806.807 * [backup-simplify]: Simplify (+ 0) into 0 1553848806.807 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) 0) (* 0 1)) into 0 1553848806.807 * [backup-simplify]: Simplify (- (+ (* (/ 1 phi2) (/ 0 phi2)))) into 0 1553848806.807 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553848806.808 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi2)) 0) (* 0 0)) into 0 1553848806.808 * [backup-simplify]: Simplify (- 0) into 0 1553848806.808 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.809 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) 0) (* 0 (cos (- (/ 1 lambda1) (/ 1 lambda2))))) into 0 1553848806.809 * [backup-simplify]: Simplify (+ 0) into 0 1553848806.809 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi1)) 0) (* 0 1)) into 0 1553848806.809 * [backup-simplify]: Simplify (- (+ (* (/ 1 phi1) (/ 0 phi1)))) into 0 1553848806.810 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553848806.810 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi1)) 0) (* 0 0)) into 0 1553848806.810 * [backup-simplify]: Simplify (- 0) into 0 1553848806.810 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.811 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.811 * [taylor]: Taking taylor expansion of 0 in lambda2 1553848806.811 * [backup-simplify]: Simplify 0 into 0 1553848806.811 * [backup-simplify]: Simplify 0 into 0 1553848806.811 * [backup-simplify]: Simplify (+ 0) into 0 1553848806.811 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) 0) (* 0 1)) into 0 1553848806.811 * [backup-simplify]: Simplify (- (+ (* (/ 1 phi2) (/ 0 phi2)))) into 0 1553848806.812 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553848806.812 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi2)) 0) (* 0 0)) into 0 1553848806.812 * [backup-simplify]: Simplify (- 0) into 0 1553848806.813 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.813 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) 0) (* 0 (cos (- (/ 1 lambda1) (/ 1 lambda2))))) into 0 1553848806.813 * [backup-simplify]: Simplify (+ 0) into 0 1553848806.813 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi1)) 0) (* 0 1)) into 0 1553848806.813 * [backup-simplify]: Simplify (- (+ (* (/ 1 phi1) (/ 0 phi1)))) into 0 1553848806.814 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553848806.814 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi1)) 0) (* 0 0)) into 0 1553848806.814 * [backup-simplify]: Simplify (- 0) into 0 1553848806.815 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.815 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.815 * [backup-simplify]: Simplify 0 into 0 1553848806.815 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1553848806.816 * [backup-simplify]: Simplify (+ (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) 0) (+ (* 0 0) (* 0 1))) into 0 1553848806.816 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda1) (/ 0 lambda1)) (* 0 (/ 0 lambda1)))) into 0 1553848806.816 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda2) (/ 0 lambda2)) (* 0 (/ 0 lambda2)))) into 0 1553848806.816 * [backup-simplify]: Simplify (- 0) into 0 1553848806.816 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.817 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1553848806.817 * [backup-simplify]: Simplify (+ (* (sin (- (/ 1 lambda1) (/ 1 lambda2))) 0) (+ (* 0 0) (* 0 0))) into 0 1553848806.818 * [backup-simplify]: Simplify (- 0) into 0 1553848806.818 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.818 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1553848806.819 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) 0) (+ (* 0 0) (* 0 1))) into 0 1553848806.819 * [backup-simplify]: Simplify (- (+ (* (/ 1 phi2) (/ 0 phi2)) (* 0 (/ 0 phi2)))) into 0 1553848806.819 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1553848806.820 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi2)) 0) (+ (* 0 0) (* 0 0))) into 0 1553848806.820 * [backup-simplify]: Simplify (- 0) into 0 1553848806.820 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.820 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) 0) (+ (* 0 0) (* 0 (cos (- (/ 1 lambda1) (/ 1 lambda2)))))) into 0 1553848806.821 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.821 * [taylor]: Taking taylor expansion of 0 in phi2 1553848806.821 * [backup-simplify]: Simplify 0 into 0 1553848806.821 * [taylor]: Taking taylor expansion of 0 in lambda1 1553848806.821 * [backup-simplify]: Simplify 0 into 0 1553848806.821 * [taylor]: Taking taylor expansion of 0 in lambda2 1553848806.821 * [backup-simplify]: Simplify 0 into 0 1553848806.821 * [backup-simplify]: Simplify 0 into 0 1553848806.821 * [taylor]: Taking taylor expansion of 0 in lambda1 1553848806.821 * [backup-simplify]: Simplify 0 into 0 1553848806.821 * [taylor]: Taking taylor expansion of 0 in lambda2 1553848806.821 * [backup-simplify]: Simplify 0 into 0 1553848806.821 * [backup-simplify]: Simplify 0 into 0 1553848806.821 * [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))) 1553848806.821 * [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))))) 1553848806.821 * [approximate]: Taking taylor expansion of (+ (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in (phi1 phi2 lambda1 lambda2) around 0 1553848806.821 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda2 1553848806.821 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in lambda2 1553848806.821 * [taylor]: Taking taylor expansion of (/ -1 phi1) in lambda2 1553848806.821 * [taylor]: Taking taylor expansion of -1 in lambda2 1553848806.821 * [backup-simplify]: Simplify -1 into -1 1553848806.821 * [taylor]: Taking taylor expansion of phi1 in lambda2 1553848806.821 * [backup-simplify]: Simplify phi1 into phi1 1553848806.821 * [backup-simplify]: Simplify (/ -1 phi1) into (/ -1 phi1) 1553848806.821 * [backup-simplify]: Simplify (cos (/ -1 phi1)) into (cos (/ -1 phi1)) 1553848806.822 * [backup-simplify]: Simplify (sin (/ -1 phi1)) into (sin (/ -1 phi1)) 1553848806.822 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 1553848806.822 * [taylor]: Taking taylor expansion of (cos (/ -1 phi2)) in lambda2 1553848806.822 * [taylor]: Taking taylor expansion of (/ -1 phi2) in lambda2 1553848806.822 * [taylor]: Taking taylor expansion of -1 in lambda2 1553848806.822 * [backup-simplify]: Simplify -1 into -1 1553848806.822 * [taylor]: Taking taylor expansion of phi2 in lambda2 1553848806.822 * [backup-simplify]: Simplify phi2 into phi2 1553848806.822 * [backup-simplify]: Simplify (/ -1 phi2) into (/ -1 phi2) 1553848806.822 * [backup-simplify]: Simplify (cos (/ -1 phi2)) into (cos (/ -1 phi2)) 1553848806.822 * [backup-simplify]: Simplify (sin (/ -1 phi2)) into (sin (/ -1 phi2)) 1553848806.822 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1553848806.822 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1553848806.822 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1553848806.822 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1553848806.822 * [backup-simplify]: Simplify 0 into 0 1553848806.822 * [backup-simplify]: Simplify 1 into 1 1553848806.822 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.822 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1553848806.822 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1553848806.822 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.822 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 1553848806.822 * [backup-simplify]: Simplify (+ 1 0) into 1 1553848806.823 * [backup-simplify]: Simplify (cos (- (/ 1 lambda2) (/ 1 lambda1))) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.823 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda1 1553848806.823 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in lambda1 1553848806.823 * [taylor]: Taking taylor expansion of (/ -1 phi1) in lambda1 1553848806.823 * [taylor]: Taking taylor expansion of -1 in lambda1 1553848806.823 * [backup-simplify]: Simplify -1 into -1 1553848806.823 * [taylor]: Taking taylor expansion of phi1 in lambda1 1553848806.823 * [backup-simplify]: Simplify phi1 into phi1 1553848806.823 * [backup-simplify]: Simplify (/ -1 phi1) into (/ -1 phi1) 1553848806.823 * [backup-simplify]: Simplify (cos (/ -1 phi1)) into (cos (/ -1 phi1)) 1553848806.823 * [backup-simplify]: Simplify (sin (/ -1 phi1)) into (sin (/ -1 phi1)) 1553848806.823 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 1553848806.823 * [taylor]: Taking taylor expansion of (cos (/ -1 phi2)) in lambda1 1553848806.823 * [taylor]: Taking taylor expansion of (/ -1 phi2) in lambda1 1553848806.823 * [taylor]: Taking taylor expansion of -1 in lambda1 1553848806.823 * [backup-simplify]: Simplify -1 into -1 1553848806.823 * [taylor]: Taking taylor expansion of phi2 in lambda1 1553848806.823 * [backup-simplify]: Simplify phi2 into phi2 1553848806.823 * [backup-simplify]: Simplify (/ -1 phi2) into (/ -1 phi2) 1553848806.823 * [backup-simplify]: Simplify (cos (/ -1 phi2)) into (cos (/ -1 phi2)) 1553848806.823 * [backup-simplify]: Simplify (sin (/ -1 phi2)) into (sin (/ -1 phi2)) 1553848806.823 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1553848806.823 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1553848806.823 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1553848806.823 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1553848806.823 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.823 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 1553848806.823 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1553848806.823 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1553848806.823 * [backup-simplify]: Simplify 0 into 0 1553848806.823 * [backup-simplify]: Simplify 1 into 1 1553848806.823 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.824 * [backup-simplify]: Simplify (- 1) into -1 1553848806.824 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553848806.824 * [backup-simplify]: Simplify (cos (- (/ 1 lambda2) (/ 1 lambda1))) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.824 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in phi2 1553848806.824 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in phi2 1553848806.824 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi2 1553848806.824 * [taylor]: Taking taylor expansion of -1 in phi2 1553848806.824 * [backup-simplify]: Simplify -1 into -1 1553848806.824 * [taylor]: Taking taylor expansion of phi1 in phi2 1553848806.824 * [backup-simplify]: Simplify phi1 into phi1 1553848806.824 * [backup-simplify]: Simplify (/ -1 phi1) into (/ -1 phi1) 1553848806.824 * [backup-simplify]: Simplify (cos (/ -1 phi1)) into (cos (/ -1 phi1)) 1553848806.824 * [backup-simplify]: Simplify (sin (/ -1 phi1)) into (sin (/ -1 phi1)) 1553848806.824 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) in phi2 1553848806.824 * [taylor]: Taking taylor expansion of (cos (/ -1 phi2)) in phi2 1553848806.824 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi2 1553848806.824 * [taylor]: Taking taylor expansion of -1 in phi2 1553848806.824 * [backup-simplify]: Simplify -1 into -1 1553848806.824 * [taylor]: Taking taylor expansion of phi2 in phi2 1553848806.824 * [backup-simplify]: Simplify 0 into 0 1553848806.824 * [backup-simplify]: Simplify 1 into 1 1553848806.825 * [backup-simplify]: Simplify (/ -1 1) into -1 1553848806.825 * [backup-simplify]: Simplify (cos (/ -1 phi2)) into (cos (/ -1 phi2)) 1553848806.825 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in phi2 1553848806.825 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in phi2 1553848806.825 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in phi2 1553848806.825 * [taylor]: Taking taylor expansion of lambda2 in phi2 1553848806.825 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.825 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 1553848806.825 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in phi2 1553848806.825 * [taylor]: Taking taylor expansion of lambda1 in phi2 1553848806.825 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.825 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 1553848806.825 * [backup-simplify]: Simplify (- (/ 1 lambda1)) into (- (/ 1 lambda1)) 1553848806.825 * [backup-simplify]: Simplify (+ (/ 1 lambda2) (- (/ 1 lambda1))) into (- (/ 1 lambda2) (/ 1 lambda1)) 1553848806.825 * [backup-simplify]: Simplify (cos (- (/ 1 lambda2) (/ 1 lambda1))) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.825 * [backup-simplify]: Simplify (sin (- (/ 1 lambda2) (/ 1 lambda1))) into (sin (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.825 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in phi1 1553848806.825 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in phi1 1553848806.825 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 1553848806.825 * [taylor]: Taking taylor expansion of -1 in phi1 1553848806.825 * [backup-simplify]: Simplify -1 into -1 1553848806.825 * [taylor]: Taking taylor expansion of phi1 in phi1 1553848806.825 * [backup-simplify]: Simplify 0 into 0 1553848806.825 * [backup-simplify]: Simplify 1 into 1 1553848806.826 * [backup-simplify]: Simplify (/ -1 1) into -1 1553848806.826 * [backup-simplify]: Simplify (cos (/ -1 phi1)) into (cos (/ -1 phi1)) 1553848806.826 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) in phi1 1553848806.826 * [taylor]: Taking taylor expansion of (cos (/ -1 phi2)) in phi1 1553848806.826 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi1 1553848806.826 * [taylor]: Taking taylor expansion of -1 in phi1 1553848806.826 * [backup-simplify]: Simplify -1 into -1 1553848806.826 * [taylor]: Taking taylor expansion of phi2 in phi1 1553848806.826 * [backup-simplify]: Simplify phi2 into phi2 1553848806.826 * [backup-simplify]: Simplify (/ -1 phi2) into (/ -1 phi2) 1553848806.826 * [backup-simplify]: Simplify (cos (/ -1 phi2)) into (cos (/ -1 phi2)) 1553848806.826 * [backup-simplify]: Simplify (sin (/ -1 phi2)) into (sin (/ -1 phi2)) 1553848806.826 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in phi1 1553848806.826 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in phi1 1553848806.826 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in phi1 1553848806.826 * [taylor]: Taking taylor expansion of lambda2 in phi1 1553848806.826 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.826 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 1553848806.826 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in phi1 1553848806.826 * [taylor]: Taking taylor expansion of lambda1 in phi1 1553848806.826 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.826 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 1553848806.826 * [backup-simplify]: Simplify (- (/ 1 lambda1)) into (- (/ 1 lambda1)) 1553848806.826 * [backup-simplify]: Simplify (+ (/ 1 lambda2) (- (/ 1 lambda1))) into (- (/ 1 lambda2) (/ 1 lambda1)) 1553848806.826 * [backup-simplify]: Simplify (cos (- (/ 1 lambda2) (/ 1 lambda1))) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.826 * [backup-simplify]: Simplify (sin (- (/ 1 lambda2) (/ 1 lambda1))) into (sin (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.826 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in phi1 1553848806.826 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in phi1 1553848806.826 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 1553848806.826 * [taylor]: Taking taylor expansion of -1 in phi1 1553848806.826 * [backup-simplify]: Simplify -1 into -1 1553848806.826 * [taylor]: Taking taylor expansion of phi1 in phi1 1553848806.826 * [backup-simplify]: Simplify 0 into 0 1553848806.827 * [backup-simplify]: Simplify 1 into 1 1553848806.827 * [backup-simplify]: Simplify (/ -1 1) into -1 1553848806.827 * [backup-simplify]: Simplify (cos (/ -1 phi1)) into (cos (/ -1 phi1)) 1553848806.827 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) in phi1 1553848806.827 * [taylor]: Taking taylor expansion of (cos (/ -1 phi2)) in phi1 1553848806.827 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi1 1553848806.827 * [taylor]: Taking taylor expansion of -1 in phi1 1553848806.827 * [backup-simplify]: Simplify -1 into -1 1553848806.827 * [taylor]: Taking taylor expansion of phi2 in phi1 1553848806.827 * [backup-simplify]: Simplify phi2 into phi2 1553848806.827 * [backup-simplify]: Simplify (/ -1 phi2) into (/ -1 phi2) 1553848806.827 * [backup-simplify]: Simplify (cos (/ -1 phi2)) into (cos (/ -1 phi2)) 1553848806.827 * [backup-simplify]: Simplify (sin (/ -1 phi2)) into (sin (/ -1 phi2)) 1553848806.827 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in phi1 1553848806.827 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in phi1 1553848806.827 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in phi1 1553848806.827 * [taylor]: Taking taylor expansion of lambda2 in phi1 1553848806.827 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.827 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 1553848806.827 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in phi1 1553848806.827 * [taylor]: Taking taylor expansion of lambda1 in phi1 1553848806.827 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.827 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 1553848806.827 * [backup-simplify]: Simplify (- (/ 1 lambda1)) into (- (/ 1 lambda1)) 1553848806.827 * [backup-simplify]: Simplify (+ (/ 1 lambda2) (- (/ 1 lambda1))) into (- (/ 1 lambda2) (/ 1 lambda1)) 1553848806.827 * [backup-simplify]: Simplify (cos (- (/ 1 lambda2) (/ 1 lambda1))) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.828 * [backup-simplify]: Simplify (sin (- (/ 1 lambda2) (/ 1 lambda1))) into (sin (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.828 * [backup-simplify]: Simplify (* (cos (/ -1 phi2)) 1) into (cos (/ -1 phi2)) 1553848806.828 * [backup-simplify]: Simplify (* (sin (/ -1 phi2)) 0) into 0 1553848806.828 * [backup-simplify]: Simplify (- 0) into 0 1553848806.828 * [backup-simplify]: Simplify (+ (cos (/ -1 phi2)) 0) into (cos (/ -1 phi2)) 1553848806.828 * [backup-simplify]: Simplify (* (cos (- (/ 1 lambda2) (/ 1 lambda1))) 1) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.828 * [backup-simplify]: Simplify (* (sin (- (/ 1 lambda2) (/ 1 lambda1))) 0) into 0 1553848806.828 * [backup-simplify]: Simplify (- 0) into 0 1553848806.828 * [backup-simplify]: Simplify (+ (cos (- (/ 1 lambda2) (/ 1 lambda1))) 0) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.829 * [backup-simplify]: Simplify (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) into (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) 1553848806.829 * [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))))) 1553848806.829 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in phi2 1553848806.829 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in phi2 1553848806.829 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi2 1553848806.829 * [taylor]: Taking taylor expansion of -1 in phi2 1553848806.829 * [backup-simplify]: Simplify -1 into -1 1553848806.829 * [taylor]: Taking taylor expansion of phi1 in phi2 1553848806.829 * [backup-simplify]: Simplify phi1 into phi1 1553848806.829 * [backup-simplify]: Simplify (/ -1 phi1) into (/ -1 phi1) 1553848806.829 * [backup-simplify]: Simplify (cos (/ -1 phi1)) into (cos (/ -1 phi1)) 1553848806.829 * [backup-simplify]: Simplify (sin (/ -1 phi1)) into (sin (/ -1 phi1)) 1553848806.829 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) in phi2 1553848806.829 * [taylor]: Taking taylor expansion of (cos (/ -1 phi2)) in phi2 1553848806.829 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi2 1553848806.829 * [taylor]: Taking taylor expansion of -1 in phi2 1553848806.829 * [backup-simplify]: Simplify -1 into -1 1553848806.829 * [taylor]: Taking taylor expansion of phi2 in phi2 1553848806.829 * [backup-simplify]: Simplify 0 into 0 1553848806.829 * [backup-simplify]: Simplify 1 into 1 1553848806.830 * [backup-simplify]: Simplify (/ -1 1) into -1 1553848806.830 * [backup-simplify]: Simplify (cos (/ -1 phi2)) into (cos (/ -1 phi2)) 1553848806.830 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in phi2 1553848806.830 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in phi2 1553848806.830 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in phi2 1553848806.830 * [taylor]: Taking taylor expansion of lambda2 in phi2 1553848806.830 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.830 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 1553848806.830 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in phi2 1553848806.830 * [taylor]: Taking taylor expansion of lambda1 in phi2 1553848806.830 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.830 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 1553848806.830 * [backup-simplify]: Simplify (- (/ 1 lambda1)) into (- (/ 1 lambda1)) 1553848806.830 * [backup-simplify]: Simplify (+ (/ 1 lambda2) (- (/ 1 lambda1))) into (- (/ 1 lambda2) (/ 1 lambda1)) 1553848806.830 * [backup-simplify]: Simplify (cos (- (/ 1 lambda2) (/ 1 lambda1))) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.830 * [backup-simplify]: Simplify (sin (- (/ 1 lambda2) (/ 1 lambda1))) into (sin (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.830 * [backup-simplify]: Simplify (* (cos (/ -1 phi1)) 1) into (cos (/ -1 phi1)) 1553848806.830 * [backup-simplify]: Simplify (* (sin (/ -1 phi1)) 0) into 0 1553848806.832 * [backup-simplify]: Simplify (- 0) into 0 1553848806.832 * [backup-simplify]: Simplify (+ (cos (/ -1 phi1)) 0) into (cos (/ -1 phi1)) 1553848806.832 * [backup-simplify]: Simplify (* (cos (- (/ 1 lambda2) (/ 1 lambda1))) 1) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.833 * [backup-simplify]: Simplify (* (sin (- (/ 1 lambda2) (/ 1 lambda1))) 0) into 0 1553848806.833 * [backup-simplify]: Simplify (- 0) into 0 1553848806.833 * [backup-simplify]: Simplify (+ (cos (- (/ 1 lambda2) (/ 1 lambda1))) 0) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.833 * [backup-simplify]: Simplify (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) into (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) 1553848806.833 * [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))))) 1553848806.833 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda1 1553848806.833 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in lambda1 1553848806.833 * [taylor]: Taking taylor expansion of (/ -1 phi1) in lambda1 1553848806.833 * [taylor]: Taking taylor expansion of -1 in lambda1 1553848806.833 * [backup-simplify]: Simplify -1 into -1 1553848806.833 * [taylor]: Taking taylor expansion of phi1 in lambda1 1553848806.833 * [backup-simplify]: Simplify phi1 into phi1 1553848806.833 * [backup-simplify]: Simplify (/ -1 phi1) into (/ -1 phi1) 1553848806.834 * [backup-simplify]: Simplify (cos (/ -1 phi1)) into (cos (/ -1 phi1)) 1553848806.834 * [backup-simplify]: Simplify (sin (/ -1 phi1)) into (sin (/ -1 phi1)) 1553848806.834 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 1553848806.834 * [taylor]: Taking taylor expansion of (cos (/ -1 phi2)) in lambda1 1553848806.834 * [taylor]: Taking taylor expansion of (/ -1 phi2) in lambda1 1553848806.834 * [taylor]: Taking taylor expansion of -1 in lambda1 1553848806.834 * [backup-simplify]: Simplify -1 into -1 1553848806.834 * [taylor]: Taking taylor expansion of phi2 in lambda1 1553848806.834 * [backup-simplify]: Simplify phi2 into phi2 1553848806.834 * [backup-simplify]: Simplify (/ -1 phi2) into (/ -1 phi2) 1553848806.834 * [backup-simplify]: Simplify (cos (/ -1 phi2)) into (cos (/ -1 phi2)) 1553848806.834 * [backup-simplify]: Simplify (sin (/ -1 phi2)) into (sin (/ -1 phi2)) 1553848806.834 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1553848806.834 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1553848806.834 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1553848806.834 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1553848806.834 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.834 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 1553848806.834 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1553848806.834 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1553848806.834 * [backup-simplify]: Simplify 0 into 0 1553848806.834 * [backup-simplify]: Simplify 1 into 1 1553848806.834 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.834 * [backup-simplify]: Simplify (- 1) into -1 1553848806.835 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553848806.835 * [backup-simplify]: Simplify (cos (- (/ 1 lambda2) (/ 1 lambda1))) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.835 * [backup-simplify]: Simplify (* (cos (/ -1 phi1)) 1) into (cos (/ -1 phi1)) 1553848806.835 * [backup-simplify]: Simplify (* (sin (/ -1 phi1)) 0) into 0 1553848806.835 * [backup-simplify]: Simplify (- 0) into 0 1553848806.835 * [backup-simplify]: Simplify (+ (cos (/ -1 phi1)) 0) into (cos (/ -1 phi1)) 1553848806.835 * [backup-simplify]: Simplify (* (cos (/ -1 phi2)) 1) into (cos (/ -1 phi2)) 1553848806.835 * [backup-simplify]: Simplify (* (sin (/ -1 phi2)) 0) into 0 1553848806.836 * [backup-simplify]: Simplify (- 0) into 0 1553848806.836 * [backup-simplify]: Simplify (+ (cos (/ -1 phi2)) 0) into (cos (/ -1 phi2)) 1553848806.836 * [backup-simplify]: Simplify (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) into (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) 1553848806.836 * [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))))) 1553848806.836 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda2 1553848806.836 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in lambda2 1553848806.836 * [taylor]: Taking taylor expansion of (/ -1 phi1) in lambda2 1553848806.836 * [taylor]: Taking taylor expansion of -1 in lambda2 1553848806.836 * [backup-simplify]: Simplify -1 into -1 1553848806.836 * [taylor]: Taking taylor expansion of phi1 in lambda2 1553848806.836 * [backup-simplify]: Simplify phi1 into phi1 1553848806.836 * [backup-simplify]: Simplify (/ -1 phi1) into (/ -1 phi1) 1553848806.836 * [backup-simplify]: Simplify (cos (/ -1 phi1)) into (cos (/ -1 phi1)) 1553848806.836 * [backup-simplify]: Simplify (sin (/ -1 phi1)) into (sin (/ -1 phi1)) 1553848806.836 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 1553848806.836 * [taylor]: Taking taylor expansion of (cos (/ -1 phi2)) in lambda2 1553848806.836 * [taylor]: Taking taylor expansion of (/ -1 phi2) in lambda2 1553848806.836 * [taylor]: Taking taylor expansion of -1 in lambda2 1553848806.836 * [backup-simplify]: Simplify -1 into -1 1553848806.836 * [taylor]: Taking taylor expansion of phi2 in lambda2 1553848806.836 * [backup-simplify]: Simplify phi2 into phi2 1553848806.836 * [backup-simplify]: Simplify (/ -1 phi2) into (/ -1 phi2) 1553848806.836 * [backup-simplify]: Simplify (cos (/ -1 phi2)) into (cos (/ -1 phi2)) 1553848806.836 * [backup-simplify]: Simplify (sin (/ -1 phi2)) into (sin (/ -1 phi2)) 1553848806.836 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1553848806.836 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1553848806.836 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1553848806.836 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1553848806.836 * [backup-simplify]: Simplify 0 into 0 1553848806.836 * [backup-simplify]: Simplify 1 into 1 1553848806.837 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.837 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1553848806.837 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1553848806.837 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.837 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 1553848806.837 * [backup-simplify]: Simplify (+ 1 0) into 1 1553848806.837 * [backup-simplify]: Simplify (cos (- (/ 1 lambda2) (/ 1 lambda1))) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.837 * [backup-simplify]: Simplify (* (cos (/ -1 phi1)) 1) into (cos (/ -1 phi1)) 1553848806.837 * [backup-simplify]: Simplify (* (sin (/ -1 phi1)) 0) into 0 1553848806.838 * [backup-simplify]: Simplify (- 0) into 0 1553848806.838 * [backup-simplify]: Simplify (+ (cos (/ -1 phi1)) 0) into (cos (/ -1 phi1)) 1553848806.838 * [backup-simplify]: Simplify (* (cos (/ -1 phi2)) 1) into (cos (/ -1 phi2)) 1553848806.838 * [backup-simplify]: Simplify (* (sin (/ -1 phi2)) 0) into 0 1553848806.838 * [backup-simplify]: Simplify (- 0) into 0 1553848806.838 * [backup-simplify]: Simplify (+ (cos (/ -1 phi2)) 0) into (cos (/ -1 phi2)) 1553848806.838 * [backup-simplify]: Simplify (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) into (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) 1553848806.838 * [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))))) 1553848806.838 * [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))))) 1553848806.839 * [backup-simplify]: Simplify (+ 0) into 0 1553848806.839 * [backup-simplify]: Simplify (+ (* (cos (- (/ 1 lambda2) (/ 1 lambda1))) 0) (* 0 1)) into 0 1553848806.839 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda2) (/ 0 lambda2)))) into 0 1553848806.839 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda1) (/ 0 lambda1)))) into 0 1553848806.840 * [backup-simplify]: Simplify (- 0) into 0 1553848806.840 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.840 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553848806.841 * [backup-simplify]: Simplify (+ (* (sin (- (/ 1 lambda2) (/ 1 lambda1))) 0) (* 0 0)) into 0 1553848806.841 * [backup-simplify]: Simplify (- 0) into 0 1553848806.841 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.841 * [backup-simplify]: Simplify (+ 0) into 0 1553848806.842 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi2)) 0) (* 0 1)) into 0 1553848806.842 * [backup-simplify]: Simplify (- (/ 0 phi2) (+ (* (/ -1 phi2) (/ 0 phi2)))) into 0 1553848806.842 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553848806.842 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi2)) 0) (* 0 0)) into 0 1553848806.843 * [backup-simplify]: Simplify (- 0) into 0 1553848806.843 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.843 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi2)) 0) (* 0 (cos (- (/ 1 lambda2) (/ 1 lambda1))))) into 0 1553848806.843 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.843 * [taylor]: Taking taylor expansion of 0 in phi2 1553848806.843 * [backup-simplify]: Simplify 0 into 0 1553848806.843 * [taylor]: Taking taylor expansion of 0 in lambda1 1553848806.843 * [backup-simplify]: Simplify 0 into 0 1553848806.843 * [taylor]: Taking taylor expansion of 0 in lambda2 1553848806.843 * [backup-simplify]: Simplify 0 into 0 1553848806.843 * [backup-simplify]: Simplify 0 into 0 1553848806.844 * [backup-simplify]: Simplify (+ 0) into 0 1553848806.844 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi1)) 0) (* 0 1)) into 0 1553848806.844 * [backup-simplify]: Simplify (- (/ 0 phi1) (+ (* (/ -1 phi1) (/ 0 phi1)))) into 0 1553848806.844 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553848806.845 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi1)) 0) (* 0 0)) into 0 1553848806.845 * [backup-simplify]: Simplify (- 0) into 0 1553848806.845 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.845 * [backup-simplify]: Simplify (+ 0) into 0 1553848806.846 * [backup-simplify]: Simplify (+ (* (cos (- (/ 1 lambda2) (/ 1 lambda1))) 0) (* 0 1)) into 0 1553848806.846 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda2) (/ 0 lambda2)))) into 0 1553848806.846 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda1) (/ 0 lambda1)))) into 0 1553848806.846 * [backup-simplify]: Simplify (- 0) into 0 1553848806.846 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.847 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553848806.847 * [backup-simplify]: Simplify (+ (* (sin (- (/ 1 lambda2) (/ 1 lambda1))) 0) (* 0 0)) into 0 1553848806.847 * [backup-simplify]: Simplify (- 0) into 0 1553848806.848 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.848 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi2)) 0) (* 0 (cos (- (/ 1 lambda2) (/ 1 lambda1))))) into 0 1553848806.848 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.848 * [taylor]: Taking taylor expansion of 0 in lambda1 1553848806.848 * [backup-simplify]: Simplify 0 into 0 1553848806.848 * [taylor]: Taking taylor expansion of 0 in lambda2 1553848806.848 * [backup-simplify]: Simplify 0 into 0 1553848806.848 * [backup-simplify]: Simplify 0 into 0 1553848806.848 * [backup-simplify]: Simplify (+ 0) into 0 1553848806.849 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi1)) 0) (* 0 1)) into 0 1553848806.849 * [backup-simplify]: Simplify (- (/ 0 phi1) (+ (* (/ -1 phi1) (/ 0 phi1)))) into 0 1553848806.849 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553848806.849 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi1)) 0) (* 0 0)) into 0 1553848806.850 * [backup-simplify]: Simplify (- 0) into 0 1553848806.850 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.850 * [backup-simplify]: Simplify (+ 0) into 0 1553848806.850 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi2)) 0) (* 0 1)) into 0 1553848806.851 * [backup-simplify]: Simplify (- (/ 0 phi2) (+ (* (/ -1 phi2) (/ 0 phi2)))) into 0 1553848806.851 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553848806.851 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi2)) 0) (* 0 0)) into 0 1553848806.852 * [backup-simplify]: Simplify (- 0) into 0 1553848806.852 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.852 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi2)) 0) (* 0 (cos (- (/ 1 lambda2) (/ 1 lambda1))))) into 0 1553848806.852 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.852 * [taylor]: Taking taylor expansion of 0 in lambda2 1553848806.852 * [backup-simplify]: Simplify 0 into 0 1553848806.852 * [backup-simplify]: Simplify 0 into 0 1553848806.852 * [backup-simplify]: Simplify (+ 0) into 0 1553848806.853 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi1)) 0) (* 0 1)) into 0 1553848806.853 * [backup-simplify]: Simplify (- (/ 0 phi1) (+ (* (/ -1 phi1) (/ 0 phi1)))) into 0 1553848806.853 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553848806.854 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi1)) 0) (* 0 0)) into 0 1553848806.854 * [backup-simplify]: Simplify (- 0) into 0 1553848806.854 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.854 * [backup-simplify]: Simplify (+ 0) into 0 1553848806.855 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi2)) 0) (* 0 1)) into 0 1553848806.855 * [backup-simplify]: Simplify (- (/ 0 phi2) (+ (* (/ -1 phi2) (/ 0 phi2)))) into 0 1553848806.855 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553848806.855 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi2)) 0) (* 0 0)) into 0 1553848806.856 * [backup-simplify]: Simplify (- 0) into 0 1553848806.856 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.856 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi2)) 0) (* 0 (cos (- (/ 1 lambda2) (/ 1 lambda1))))) into 0 1553848806.856 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.856 * [backup-simplify]: Simplify 0 into 0 1553848806.857 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1553848806.857 * [backup-simplify]: Simplify (+ (* (cos (- (/ 1 lambda2) (/ 1 lambda1))) 0) (+ (* 0 0) (* 0 1))) into 0 1553848806.857 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda2) (/ 0 lambda2)) (* 0 (/ 0 lambda2)))) into 0 1553848806.857 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda1) (/ 0 lambda1)) (* 0 (/ 0 lambda1)))) into 0 1553848806.858 * [backup-simplify]: Simplify (- 0) into 0 1553848806.858 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.859 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1553848806.859 * [backup-simplify]: Simplify (+ (* (sin (- (/ 1 lambda2) (/ 1 lambda1))) 0) (+ (* 0 0) (* 0 0))) into 0 1553848806.859 * [backup-simplify]: Simplify (- 0) into 0 1553848806.860 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.860 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1553848806.861 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi2)) 0) (+ (* 0 0) (* 0 1))) into 0 1553848806.861 * [backup-simplify]: Simplify (- (/ 0 phi2) (+ (* (/ -1 phi2) (/ 0 phi2)) (* 0 (/ 0 phi2)))) into 0 1553848806.861 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1553848806.862 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi2)) 0) (+ (* 0 0) (* 0 0))) into 0 1553848806.862 * [backup-simplify]: Simplify (- 0) into 0 1553848806.862 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.862 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi2)) 0) (+ (* 0 0) (* 0 (cos (- (/ 1 lambda2) (/ 1 lambda1)))))) into 0 1553848806.863 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.863 * [taylor]: Taking taylor expansion of 0 in phi2 1553848806.863 * [backup-simplify]: Simplify 0 into 0 1553848806.863 * [taylor]: Taking taylor expansion of 0 in lambda1 1553848806.863 * [backup-simplify]: Simplify 0 into 0 1553848806.863 * [taylor]: Taking taylor expansion of 0 in lambda2 1553848806.863 * [backup-simplify]: Simplify 0 into 0 1553848806.863 * [backup-simplify]: Simplify 0 into 0 1553848806.863 * [taylor]: Taking taylor expansion of 0 in lambda1 1553848806.863 * [backup-simplify]: Simplify 0 into 0 1553848806.863 * [taylor]: Taking taylor expansion of 0 in lambda2 1553848806.863 * [backup-simplify]: Simplify 0 into 0 1553848806.863 * [backup-simplify]: Simplify 0 into 0 1553848806.863 * [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))) 1553848806.863 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2) 1553848806.863 * [backup-simplify]: Simplify (* (cos phi2) (cos (- lambda1 lambda2))) into (* (cos (- lambda1 lambda2)) (cos phi2)) 1553848806.863 * [approximate]: Taking taylor expansion of (* (cos (- lambda1 lambda2)) (cos phi2)) in (phi2 lambda1 lambda2) around 0 1553848806.863 * [taylor]: Taking taylor expansion of (* (cos (- lambda1 lambda2)) (cos phi2)) in lambda2 1553848806.863 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in lambda2 1553848806.863 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 1553848806.863 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1553848806.863 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.863 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1553848806.863 * [backup-simplify]: Simplify 0 into 0 1553848806.863 * [backup-simplify]: Simplify 1 into 1 1553848806.864 * [backup-simplify]: Simplify (- 0) into 0 1553848806.864 * [backup-simplify]: Simplify (+ lambda1 0) into lambda1 1553848806.864 * [backup-simplify]: Simplify (cos lambda1) into (cos lambda1) 1553848806.864 * [backup-simplify]: Simplify (sin lambda1) into (sin lambda1) 1553848806.864 * [taylor]: Taking taylor expansion of (cos phi2) in lambda2 1553848806.864 * [taylor]: Taking taylor expansion of phi2 in lambda2 1553848806.864 * [backup-simplify]: Simplify phi2 into phi2 1553848806.864 * [backup-simplify]: Simplify (cos phi2) into (cos phi2) 1553848806.864 * [backup-simplify]: Simplify (sin phi2) into (sin phi2) 1553848806.864 * [taylor]: Taking taylor expansion of (* (cos (- lambda1 lambda2)) (cos phi2)) in lambda1 1553848806.864 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in lambda1 1553848806.864 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1553848806.864 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1553848806.864 * [backup-simplify]: Simplify 0 into 0 1553848806.864 * [backup-simplify]: Simplify 1 into 1 1553848806.864 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1553848806.864 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.864 * [backup-simplify]: Simplify (- lambda2) into (- lambda2) 1553848806.864 * [backup-simplify]: Simplify (+ 0 (- lambda2)) into (- lambda2) 1553848806.864 * [backup-simplify]: Simplify (cos (- lambda2)) into (cos (- lambda2)) 1553848806.864 * [backup-simplify]: Simplify (sin (- lambda2)) into (sin (- lambda2)) 1553848806.864 * [taylor]: Taking taylor expansion of (cos phi2) in lambda1 1553848806.864 * [taylor]: Taking taylor expansion of phi2 in lambda1 1553848806.864 * [backup-simplify]: Simplify phi2 into phi2 1553848806.864 * [backup-simplify]: Simplify (cos phi2) into (cos phi2) 1553848806.864 * [backup-simplify]: Simplify (sin phi2) into (sin phi2) 1553848806.864 * [taylor]: Taking taylor expansion of (* (cos (- lambda1 lambda2)) (cos phi2)) in phi2 1553848806.864 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in phi2 1553848806.864 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in phi2 1553848806.864 * [taylor]: Taking taylor expansion of lambda1 in phi2 1553848806.864 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.864 * [taylor]: Taking taylor expansion of lambda2 in phi2 1553848806.864 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.864 * [backup-simplify]: Simplify (- lambda2) into (- lambda2) 1553848806.864 * [backup-simplify]: Simplify (+ lambda1 (- lambda2)) into (- lambda1 lambda2) 1553848806.864 * [backup-simplify]: Simplify (cos (- lambda1 lambda2)) into (cos (- lambda1 lambda2)) 1553848806.864 * [backup-simplify]: Simplify (sin (- lambda1 lambda2)) into (sin (- lambda1 lambda2)) 1553848806.864 * [taylor]: Taking taylor expansion of (cos phi2) in phi2 1553848806.864 * [taylor]: Taking taylor expansion of phi2 in phi2 1553848806.864 * [backup-simplify]: Simplify 0 into 0 1553848806.864 * [backup-simplify]: Simplify 1 into 1 1553848806.864 * [taylor]: Taking taylor expansion of (* (cos (- lambda1 lambda2)) (cos phi2)) in phi2 1553848806.865 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in phi2 1553848806.865 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in phi2 1553848806.865 * [taylor]: Taking taylor expansion of lambda1 in phi2 1553848806.865 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.865 * [taylor]: Taking taylor expansion of lambda2 in phi2 1553848806.865 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.865 * [backup-simplify]: Simplify (- lambda2) into (- lambda2) 1553848806.865 * [backup-simplify]: Simplify (+ lambda1 (- lambda2)) into (- lambda1 lambda2) 1553848806.865 * [backup-simplify]: Simplify (cos (- lambda1 lambda2)) into (cos (- lambda1 lambda2)) 1553848806.865 * [backup-simplify]: Simplify (sin (- lambda1 lambda2)) into (sin (- lambda1 lambda2)) 1553848806.865 * [taylor]: Taking taylor expansion of (cos phi2) in phi2 1553848806.865 * [taylor]: Taking taylor expansion of phi2 in phi2 1553848806.865 * [backup-simplify]: Simplify 0 into 0 1553848806.865 * [backup-simplify]: Simplify 1 into 1 1553848806.865 * [backup-simplify]: Simplify (* (cos (- lambda1 lambda2)) 1) into (cos (- lambda1 lambda2)) 1553848806.865 * [backup-simplify]: Simplify (* (sin (- lambda1 lambda2)) 0) into 0 1553848806.865 * [backup-simplify]: Simplify (- 0) into 0 1553848806.865 * [backup-simplify]: Simplify (+ (cos (- lambda1 lambda2)) 0) into (cos (- lambda1 lambda2)) 1553848806.865 * [backup-simplify]: Simplify (* (cos (- lambda1 lambda2)) 1) into (cos (- lambda1 lambda2)) 1553848806.865 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in lambda1 1553848806.865 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1553848806.865 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1553848806.865 * [backup-simplify]: Simplify 0 into 0 1553848806.865 * [backup-simplify]: Simplify 1 into 1 1553848806.866 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1553848806.866 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.866 * [backup-simplify]: Simplify (- lambda2) into (- lambda2) 1553848806.866 * [backup-simplify]: Simplify (+ 0 (- lambda2)) into (- lambda2) 1553848806.866 * [backup-simplify]: Simplify (cos (- lambda2)) into (cos (- lambda2)) 1553848806.866 * [backup-simplify]: Simplify (sin (- lambda2)) into (sin (- lambda2)) 1553848806.866 * [backup-simplify]: Simplify (* (cos (- lambda2)) 1) into (cos (- lambda2)) 1553848806.866 * [backup-simplify]: Simplify (* (sin (- lambda2)) 0) into 0 1553848806.866 * [backup-simplify]: Simplify (- 0) into 0 1553848806.866 * [backup-simplify]: Simplify (+ (cos (- lambda2)) 0) into (cos (- lambda2)) 1553848806.866 * [taylor]: Taking taylor expansion of (cos (- lambda2)) in lambda2 1553848806.866 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 1553848806.866 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1553848806.866 * [backup-simplify]: Simplify 0 into 0 1553848806.866 * [backup-simplify]: Simplify 1 into 1 1553848806.866 * [backup-simplify]: Simplify (- 0) into 0 1553848806.867 * [backup-simplify]: Simplify (- 1) into -1 1553848806.867 * [backup-simplify]: Simplify 1 into 1 1553848806.867 * [backup-simplify]: Simplify (+ 0) into 0 1553848806.867 * [backup-simplify]: Simplify (+ 0) into 0 1553848806.868 * [backup-simplify]: Simplify (+ (* (cos (- lambda1 lambda2)) 0) (* 0 1)) into 0 1553848806.868 * [backup-simplify]: Simplify (- 0) into 0 1553848806.868 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.869 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553848806.869 * [backup-simplify]: Simplify (+ (* (sin (- lambda1 lambda2)) 0) (* 0 0)) into 0 1553848806.869 * [backup-simplify]: Simplify (- 0) into 0 1553848806.869 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.870 * [backup-simplify]: Simplify (+ (* (cos (- lambda1 lambda2)) 0) (* 0 1)) into 0 1553848806.870 * [taylor]: Taking taylor expansion of 0 in lambda1 1553848806.870 * [backup-simplify]: Simplify 0 into 0 1553848806.870 * [taylor]: Taking taylor expansion of 0 in lambda2 1553848806.870 * [backup-simplify]: Simplify 0 into 0 1553848806.870 * [backup-simplify]: Simplify 0 into 0 1553848806.870 * [backup-simplify]: Simplify (+ 0) into 0 1553848806.870 * [backup-simplify]: Simplify (+ (* (cos (- lambda2)) 0) (* 0 1)) into 0 1553848806.871 * [backup-simplify]: Simplify (- 0) into 0 1553848806.871 * [backup-simplify]: Simplify (+ 1 0) into 1 1553848806.871 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1553848806.872 * [backup-simplify]: Simplify (+ (* (sin (- lambda2)) 1) (* 0 0)) into (sin (- lambda2)) 1553848806.872 * [backup-simplify]: Simplify (- (sin (- lambda2))) into (- (sin (- lambda2))) 1553848806.872 * [backup-simplify]: Simplify (+ 0 (- (sin (- lambda2)))) into (- (sin (- lambda2))) 1553848806.872 * [taylor]: Taking taylor expansion of (- (sin (- lambda2))) in lambda2 1553848806.872 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda2 1553848806.872 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 1553848806.872 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1553848806.872 * [backup-simplify]: Simplify 0 into 0 1553848806.872 * [backup-simplify]: Simplify 1 into 1 1553848806.872 * [backup-simplify]: Simplify (- 0) into 0 1553848806.872 * [backup-simplify]: Simplify (- 1) into -1 1553848806.873 * [backup-simplify]: Simplify (- 0) into 0 1553848806.873 * [backup-simplify]: Simplify 0 into 0 1553848806.873 * [backup-simplify]: Simplify (+ 0) into 0 1553848806.873 * [backup-simplify]: Simplify 0 into 0 1553848806.873 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 1553848806.874 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1553848806.874 * [backup-simplify]: Simplify (+ (* (cos (- lambda1 lambda2)) 0) (+ (* 0 0) (* 0 1))) into 0 1553848806.875 * [backup-simplify]: Simplify (- 0) into 0 1553848806.875 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.875 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1553848806.876 * [backup-simplify]: Simplify (+ (* (sin (- lambda1 lambda2)) 0) (+ (* 0 0) (* 0 0))) into 0 1553848806.876 * [backup-simplify]: Simplify (- 0) into 0 1553848806.876 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.877 * [backup-simplify]: Simplify (+ (* (cos (- lambda1 lambda2)) -1/2) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (cos (- lambda1 lambda2)))) 1553848806.877 * [taylor]: Taking taylor expansion of (- (* 1/2 (cos (- lambda1 lambda2)))) in lambda1 1553848806.877 * [taylor]: Taking taylor expansion of (* 1/2 (cos (- lambda1 lambda2))) in lambda1 1553848806.877 * [taylor]: Taking taylor expansion of 1/2 in lambda1 1553848806.877 * [backup-simplify]: Simplify 1/2 into 1/2 1553848806.877 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in lambda1 1553848806.877 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1553848806.877 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1553848806.877 * [backup-simplify]: Simplify 0 into 0 1553848806.877 * [backup-simplify]: Simplify 1 into 1 1553848806.877 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1553848806.877 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.877 * [backup-simplify]: Simplify (- lambda2) into (- lambda2) 1553848806.877 * [backup-simplify]: Simplify (+ 0 (- lambda2)) into (- lambda2) 1553848806.877 * [backup-simplify]: Simplify (cos (- lambda2)) into (cos (- lambda2)) 1553848806.878 * [backup-simplify]: Simplify (sin (- lambda2)) into (sin (- lambda2)) 1553848806.878 * [backup-simplify]: Simplify (* (cos (- lambda2)) 1) into (cos (- lambda2)) 1553848806.878 * [backup-simplify]: Simplify (* (sin (- lambda2)) 0) into 0 1553848806.878 * [backup-simplify]: Simplify (- 0) into 0 1553848806.878 * [backup-simplify]: Simplify (+ (cos (- lambda2)) 0) into (cos (- lambda2)) 1553848806.878 * [backup-simplify]: Simplify (* 1/2 (cos (- lambda2))) into (* 1/2 (cos (- lambda2))) 1553848806.878 * [backup-simplify]: Simplify (- (* 1/2 (cos (- lambda2)))) into (- (* 1/2 (cos (- lambda2)))) 1553848806.878 * [taylor]: Taking taylor expansion of (- (* 1/2 (cos (- lambda2)))) in lambda2 1553848806.878 * [taylor]: Taking taylor expansion of (* 1/2 (cos (- lambda2))) in lambda2 1553848806.878 * [taylor]: Taking taylor expansion of 1/2 in lambda2 1553848806.879 * [backup-simplify]: Simplify 1/2 into 1/2 1553848806.879 * [taylor]: Taking taylor expansion of (cos (- lambda2)) in lambda2 1553848806.879 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 1553848806.879 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1553848806.879 * [backup-simplify]: Simplify 0 into 0 1553848806.879 * [backup-simplify]: Simplify 1 into 1 1553848806.879 * [backup-simplify]: Simplify (- 0) into 0 1553848806.879 * [backup-simplify]: Simplify (- 1) into -1 1553848806.880 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1553848806.880 * [backup-simplify]: Simplify (- 1/2) into -1/2 1553848806.880 * [backup-simplify]: Simplify -1/2 into -1/2 1553848806.880 * [taylor]: Taking taylor expansion of 0 in lambda2 1553848806.880 * [backup-simplify]: Simplify 0 into 0 1553848806.881 * [backup-simplify]: Simplify 0 into 0 1553848806.882 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 1553848806.882 * [backup-simplify]: Simplify (+ (* (cos (- lambda2)) -1/2) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (cos (- lambda2)))) 1553848806.883 * [backup-simplify]: Simplify (- 0) into 0 1553848806.883 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.884 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1553848806.885 * [backup-simplify]: Simplify (+ (* (sin (- lambda2)) 0) (+ (* 0 1) (* 0 0))) into 0 1553848806.885 * [backup-simplify]: Simplify (- 0) into 0 1553848806.885 * [backup-simplify]: Simplify (+ (- (* 1/2 (cos (- lambda2)))) 0) into (- (* 1/2 (cos (- lambda2)))) 1553848806.885 * [taylor]: Taking taylor expansion of (- (* 1/2 (cos (- lambda2)))) in lambda2 1553848806.885 * [taylor]: Taking taylor expansion of (* 1/2 (cos (- lambda2))) in lambda2 1553848806.885 * [taylor]: Taking taylor expansion of 1/2 in lambda2 1553848806.885 * [backup-simplify]: Simplify 1/2 into 1/2 1553848806.885 * [taylor]: Taking taylor expansion of (cos (- lambda2)) in lambda2 1553848806.885 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 1553848806.885 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1553848806.885 * [backup-simplify]: Simplify 0 into 0 1553848806.885 * [backup-simplify]: Simplify 1 into 1 1553848806.886 * [backup-simplify]: Simplify (- 0) into 0 1553848806.886 * [backup-simplify]: Simplify (- 1) into -1 1553848806.886 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1553848806.886 * [backup-simplify]: Simplify (- 1/2) into -1/2 1553848806.886 * [backup-simplify]: Simplify -1/2 into -1/2 1553848806.887 * [backup-simplify]: Simplify (+ (* -1/2 (pow (* 1 (* lambda1 1)) 2)) (+ (* -1/2 (pow (* 1 (* 1 phi2)) 2)) 1)) into (- 1 (+ (* 1/2 (pow lambda1 2)) (* 1/2 (pow phi2 2)))) 1553848806.887 * [backup-simplify]: Simplify (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) into (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) 1553848806.887 * [approximate]: Taking taylor expansion of (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) in (phi2 lambda1 lambda2) around 0 1553848806.887 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 1553848806.887 * [taylor]: Taking taylor expansion of (cos (/ 1 phi2)) in lambda2 1553848806.887 * [taylor]: Taking taylor expansion of (/ 1 phi2) in lambda2 1553848806.887 * [taylor]: Taking taylor expansion of phi2 in lambda2 1553848806.887 * [backup-simplify]: Simplify phi2 into phi2 1553848806.887 * [backup-simplify]: Simplify (/ 1 phi2) into (/ 1 phi2) 1553848806.887 * [backup-simplify]: Simplify (cos (/ 1 phi2)) into (cos (/ 1 phi2)) 1553848806.887 * [backup-simplify]: Simplify (sin (/ 1 phi2)) into (sin (/ 1 phi2)) 1553848806.887 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1553848806.887 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1553848806.887 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1553848806.887 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1553848806.887 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.887 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 1553848806.887 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1553848806.887 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1553848806.887 * [backup-simplify]: Simplify 0 into 0 1553848806.887 * [backup-simplify]: Simplify 1 into 1 1553848806.887 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.888 * [backup-simplify]: Simplify (- 1) into -1 1553848806.888 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553848806.888 * [backup-simplify]: Simplify (cos (- (/ 1 lambda1) (/ 1 lambda2))) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.888 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 1553848806.888 * [taylor]: Taking taylor expansion of (cos (/ 1 phi2)) in lambda1 1553848806.888 * [taylor]: Taking taylor expansion of (/ 1 phi2) in lambda1 1553848806.888 * [taylor]: Taking taylor expansion of phi2 in lambda1 1553848806.888 * [backup-simplify]: Simplify phi2 into phi2 1553848806.888 * [backup-simplify]: Simplify (/ 1 phi2) into (/ 1 phi2) 1553848806.888 * [backup-simplify]: Simplify (cos (/ 1 phi2)) into (cos (/ 1 phi2)) 1553848806.888 * [backup-simplify]: Simplify (sin (/ 1 phi2)) into (sin (/ 1 phi2)) 1553848806.888 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1553848806.888 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1553848806.888 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1553848806.888 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1553848806.888 * [backup-simplify]: Simplify 0 into 0 1553848806.888 * [backup-simplify]: Simplify 1 into 1 1553848806.889 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.889 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1553848806.889 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1553848806.889 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.889 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 1553848806.889 * [backup-simplify]: Simplify (+ 1 0) into 1 1553848806.889 * [backup-simplify]: Simplify (cos (- (/ 1 lambda1) (/ 1 lambda2))) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.889 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) in phi2 1553848806.889 * [taylor]: Taking taylor expansion of (cos (/ 1 phi2)) in phi2 1553848806.889 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 1553848806.889 * [taylor]: Taking taylor expansion of phi2 in phi2 1553848806.889 * [backup-simplify]: Simplify 0 into 0 1553848806.889 * [backup-simplify]: Simplify 1 into 1 1553848806.890 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.890 * [backup-simplify]: Simplify (cos (/ 1 phi2)) into (cos (/ 1 phi2)) 1553848806.890 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in phi2 1553848806.890 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in phi2 1553848806.890 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in phi2 1553848806.890 * [taylor]: Taking taylor expansion of lambda1 in phi2 1553848806.890 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.890 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 1553848806.890 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in phi2 1553848806.890 * [taylor]: Taking taylor expansion of lambda2 in phi2 1553848806.890 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.890 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 1553848806.890 * [backup-simplify]: Simplify (- (/ 1 lambda2)) into (- (/ 1 lambda2)) 1553848806.890 * [backup-simplify]: Simplify (+ (/ 1 lambda1) (- (/ 1 lambda2))) into (- (/ 1 lambda1) (/ 1 lambda2)) 1553848806.890 * [backup-simplify]: Simplify (cos (- (/ 1 lambda1) (/ 1 lambda2))) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.890 * [backup-simplify]: Simplify (sin (- (/ 1 lambda1) (/ 1 lambda2))) into (sin (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.890 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) in phi2 1553848806.890 * [taylor]: Taking taylor expansion of (cos (/ 1 phi2)) in phi2 1553848806.890 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 1553848806.890 * [taylor]: Taking taylor expansion of phi2 in phi2 1553848806.890 * [backup-simplify]: Simplify 0 into 0 1553848806.890 * [backup-simplify]: Simplify 1 into 1 1553848806.890 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.890 * [backup-simplify]: Simplify (cos (/ 1 phi2)) into (cos (/ 1 phi2)) 1553848806.890 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in phi2 1553848806.891 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in phi2 1553848806.891 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in phi2 1553848806.891 * [taylor]: Taking taylor expansion of lambda1 in phi2 1553848806.891 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.891 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 1553848806.891 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in phi2 1553848806.891 * [taylor]: Taking taylor expansion of lambda2 in phi2 1553848806.891 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.891 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 1553848806.891 * [backup-simplify]: Simplify (- (/ 1 lambda2)) into (- (/ 1 lambda2)) 1553848806.891 * [backup-simplify]: Simplify (+ (/ 1 lambda1) (- (/ 1 lambda2))) into (- (/ 1 lambda1) (/ 1 lambda2)) 1553848806.891 * [backup-simplify]: Simplify (cos (- (/ 1 lambda1) (/ 1 lambda2))) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.891 * [backup-simplify]: Simplify (sin (- (/ 1 lambda1) (/ 1 lambda2))) into (sin (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.891 * [backup-simplify]: Simplify (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) 1) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.891 * [backup-simplify]: Simplify (* (sin (- (/ 1 lambda1) (/ 1 lambda2))) 0) into 0 1553848806.891 * [backup-simplify]: Simplify (- 0) into 0 1553848806.891 * [backup-simplify]: Simplify (+ (cos (- (/ 1 lambda1) (/ 1 lambda2))) 0) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.892 * [backup-simplify]: Simplify (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) into (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) 1553848806.892 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 1553848806.892 * [taylor]: Taking taylor expansion of (cos (/ 1 phi2)) in lambda1 1553848806.892 * [taylor]: Taking taylor expansion of (/ 1 phi2) in lambda1 1553848806.892 * [taylor]: Taking taylor expansion of phi2 in lambda1 1553848806.892 * [backup-simplify]: Simplify phi2 into phi2 1553848806.892 * [backup-simplify]: Simplify (/ 1 phi2) into (/ 1 phi2) 1553848806.892 * [backup-simplify]: Simplify (cos (/ 1 phi2)) into (cos (/ 1 phi2)) 1553848806.892 * [backup-simplify]: Simplify (sin (/ 1 phi2)) into (sin (/ 1 phi2)) 1553848806.892 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1553848806.892 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1553848806.892 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1553848806.892 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1553848806.892 * [backup-simplify]: Simplify 0 into 0 1553848806.892 * [backup-simplify]: Simplify 1 into 1 1553848806.892 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.892 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1553848806.892 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1553848806.892 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.892 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 1553848806.893 * [backup-simplify]: Simplify (+ 1 0) into 1 1553848806.893 * [backup-simplify]: Simplify (cos (- (/ 1 lambda1) (/ 1 lambda2))) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.893 * [backup-simplify]: Simplify (* (cos (/ 1 phi2)) 1) into (cos (/ 1 phi2)) 1553848806.893 * [backup-simplify]: Simplify (* (sin (/ 1 phi2)) 0) into 0 1553848806.893 * [backup-simplify]: Simplify (- 0) into 0 1553848806.893 * [backup-simplify]: Simplify (+ (cos (/ 1 phi2)) 0) into (cos (/ 1 phi2)) 1553848806.893 * [backup-simplify]: Simplify (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) into (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) 1553848806.893 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 1553848806.893 * [taylor]: Taking taylor expansion of (cos (/ 1 phi2)) in lambda2 1553848806.893 * [taylor]: Taking taylor expansion of (/ 1 phi2) in lambda2 1553848806.893 * [taylor]: Taking taylor expansion of phi2 in lambda2 1553848806.893 * [backup-simplify]: Simplify phi2 into phi2 1553848806.893 * [backup-simplify]: Simplify (/ 1 phi2) into (/ 1 phi2) 1553848806.893 * [backup-simplify]: Simplify (cos (/ 1 phi2)) into (cos (/ 1 phi2)) 1553848806.893 * [backup-simplify]: Simplify (sin (/ 1 phi2)) into (sin (/ 1 phi2)) 1553848806.893 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1553848806.893 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1553848806.893 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1553848806.893 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1553848806.893 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.893 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 1553848806.893 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1553848806.893 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1553848806.894 * [backup-simplify]: Simplify 0 into 0 1553848806.894 * [backup-simplify]: Simplify 1 into 1 1553848806.894 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.894 * [backup-simplify]: Simplify (- 1) into -1 1553848806.894 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553848806.894 * [backup-simplify]: Simplify (cos (- (/ 1 lambda1) (/ 1 lambda2))) into (cos (- (/ 1 lambda1) (/ 1 lambda2))) 1553848806.894 * [backup-simplify]: Simplify (* (cos (/ 1 phi2)) 1) into (cos (/ 1 phi2)) 1553848806.894 * [backup-simplify]: Simplify (* (sin (/ 1 phi2)) 0) into 0 1553848806.895 * [backup-simplify]: Simplify (- 0) into 0 1553848806.895 * [backup-simplify]: Simplify (+ (cos (/ 1 phi2)) 0) into (cos (/ 1 phi2)) 1553848806.895 * [backup-simplify]: Simplify (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) into (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) 1553848806.895 * [backup-simplify]: Simplify (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) into (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2)))) 1553848806.895 * [backup-simplify]: Simplify (+ 0) into 0 1553848806.896 * [backup-simplify]: Simplify (+ (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) 0) (* 0 1)) into 0 1553848806.896 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda1) (/ 0 lambda1)))) into 0 1553848806.896 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda2) (/ 0 lambda2)))) into 0 1553848806.896 * [backup-simplify]: Simplify (- 0) into 0 1553848806.896 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.897 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553848806.897 * [backup-simplify]: Simplify (+ (* (sin (- (/ 1 lambda1) (/ 1 lambda2))) 0) (* 0 0)) into 0 1553848806.897 * [backup-simplify]: Simplify (- 0) into 0 1553848806.898 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.898 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) 0) (* 0 (cos (- (/ 1 lambda1) (/ 1 lambda2))))) into 0 1553848806.898 * [taylor]: Taking taylor expansion of 0 in lambda1 1553848806.898 * [backup-simplify]: Simplify 0 into 0 1553848806.898 * [taylor]: Taking taylor expansion of 0 in lambda2 1553848806.898 * [backup-simplify]: Simplify 0 into 0 1553848806.898 * [backup-simplify]: Simplify 0 into 0 1553848806.898 * [backup-simplify]: Simplify (+ 0) into 0 1553848806.898 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) 0) (* 0 1)) into 0 1553848806.899 * [backup-simplify]: Simplify (- (+ (* (/ 1 phi2) (/ 0 phi2)))) into 0 1553848806.899 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553848806.899 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi2)) 0) (* 0 0)) into 0 1553848806.899 * [backup-simplify]: Simplify (- 0) into 0 1553848806.900 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.900 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) 0) (* 0 (cos (- (/ 1 lambda1) (/ 1 lambda2))))) into 0 1553848806.900 * [taylor]: Taking taylor expansion of 0 in lambda2 1553848806.900 * [backup-simplify]: Simplify 0 into 0 1553848806.900 * [backup-simplify]: Simplify 0 into 0 1553848806.900 * [backup-simplify]: Simplify (+ 0) into 0 1553848806.900 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) 0) (* 0 1)) into 0 1553848806.901 * [backup-simplify]: Simplify (- (+ (* (/ 1 phi2) (/ 0 phi2)))) into 0 1553848806.901 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553848806.901 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi2)) 0) (* 0 0)) into 0 1553848806.902 * [backup-simplify]: Simplify (- 0) into 0 1553848806.902 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.902 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) 0) (* 0 (cos (- (/ 1 lambda1) (/ 1 lambda2))))) into 0 1553848806.902 * [backup-simplify]: Simplify 0 into 0 1553848806.902 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1553848806.903 * [backup-simplify]: Simplify (+ (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) 0) (+ (* 0 0) (* 0 1))) into 0 1553848806.903 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda1) (/ 0 lambda1)) (* 0 (/ 0 lambda1)))) into 0 1553848806.903 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda2) (/ 0 lambda2)) (* 0 (/ 0 lambda2)))) into 0 1553848806.903 * [backup-simplify]: Simplify (- 0) into 0 1553848806.904 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.904 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1553848806.904 * [backup-simplify]: Simplify (+ (* (sin (- (/ 1 lambda1) (/ 1 lambda2))) 0) (+ (* 0 0) (* 0 0))) into 0 1553848806.905 * [backup-simplify]: Simplify (- 0) into 0 1553848806.905 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.905 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) 0) (+ (* 0 0) (* 0 (cos (- (/ 1 lambda1) (/ 1 lambda2)))))) into 0 1553848806.905 * [taylor]: Taking taylor expansion of 0 in lambda1 1553848806.905 * [backup-simplify]: Simplify 0 into 0 1553848806.905 * [taylor]: Taking taylor expansion of 0 in lambda2 1553848806.905 * [backup-simplify]: Simplify 0 into 0 1553848806.905 * [backup-simplify]: Simplify 0 into 0 1553848806.905 * [taylor]: Taking taylor expansion of 0 in lambda2 1553848806.905 * [backup-simplify]: Simplify 0 into 0 1553848806.905 * [backup-simplify]: Simplify 0 into 0 1553848806.906 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1553848806.906 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) 0) (+ (* 0 0) (* 0 1))) into 0 1553848806.906 * [backup-simplify]: Simplify (- (+ (* (/ 1 phi2) (/ 0 phi2)) (* 0 (/ 0 phi2)))) into 0 1553848806.907 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1553848806.907 * [backup-simplify]: Simplify (+ (* (sin (/ 1 phi2)) 0) (+ (* 0 0) (* 0 0))) into 0 1553848806.907 * [backup-simplify]: Simplify (- 0) into 0 1553848806.908 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.908 * [backup-simplify]: Simplify (+ (* (cos (/ 1 phi2)) 0) (+ (* 0 0) (* 0 (cos (- (/ 1 lambda1) (/ 1 lambda2)))))) into 0 1553848806.908 * [taylor]: Taking taylor expansion of 0 in lambda2 1553848806.908 * [backup-simplify]: Simplify 0 into 0 1553848806.908 * [backup-simplify]: Simplify 0 into 0 1553848806.908 * [backup-simplify]: Simplify (* (cos (/ 1 (/ 1 phi2))) (cos (- (/ 1 (/ 1 lambda1)) (/ 1 (/ 1 lambda2))))) into (* (cos (- lambda1 lambda2)) (cos phi2)) 1553848806.908 * [backup-simplify]: Simplify (* (cos (/ 1 (- phi2))) (cos (- (/ 1 (- lambda1)) (/ 1 (- lambda2))))) into (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) 1553848806.908 * [approximate]: Taking taylor expansion of (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) in (phi2 lambda1 lambda2) around 0 1553848806.908 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 1553848806.908 * [taylor]: Taking taylor expansion of (cos (/ -1 phi2)) in lambda2 1553848806.908 * [taylor]: Taking taylor expansion of (/ -1 phi2) in lambda2 1553848806.908 * [taylor]: Taking taylor expansion of -1 in lambda2 1553848806.908 * [backup-simplify]: Simplify -1 into -1 1553848806.909 * [taylor]: Taking taylor expansion of phi2 in lambda2 1553848806.909 * [backup-simplify]: Simplify phi2 into phi2 1553848806.909 * [backup-simplify]: Simplify (/ -1 phi2) into (/ -1 phi2) 1553848806.909 * [backup-simplify]: Simplify (cos (/ -1 phi2)) into (cos (/ -1 phi2)) 1553848806.909 * [backup-simplify]: Simplify (sin (/ -1 phi2)) into (sin (/ -1 phi2)) 1553848806.909 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1553848806.909 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1553848806.909 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1553848806.909 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1553848806.909 * [backup-simplify]: Simplify 0 into 0 1553848806.909 * [backup-simplify]: Simplify 1 into 1 1553848806.909 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.909 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1553848806.909 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1553848806.909 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.909 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 1553848806.909 * [backup-simplify]: Simplify (+ 1 0) into 1 1553848806.909 * [backup-simplify]: Simplify (cos (- (/ 1 lambda2) (/ 1 lambda1))) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.909 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 1553848806.909 * [taylor]: Taking taylor expansion of (cos (/ -1 phi2)) in lambda1 1553848806.909 * [taylor]: Taking taylor expansion of (/ -1 phi2) in lambda1 1553848806.910 * [taylor]: Taking taylor expansion of -1 in lambda1 1553848806.910 * [backup-simplify]: Simplify -1 into -1 1553848806.910 * [taylor]: Taking taylor expansion of phi2 in lambda1 1553848806.910 * [backup-simplify]: Simplify phi2 into phi2 1553848806.910 * [backup-simplify]: Simplify (/ -1 phi2) into (/ -1 phi2) 1553848806.910 * [backup-simplify]: Simplify (cos (/ -1 phi2)) into (cos (/ -1 phi2)) 1553848806.910 * [backup-simplify]: Simplify (sin (/ -1 phi2)) into (sin (/ -1 phi2)) 1553848806.910 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1553848806.910 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1553848806.910 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1553848806.910 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1553848806.910 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.910 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 1553848806.910 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1553848806.910 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1553848806.910 * [backup-simplify]: Simplify 0 into 0 1553848806.910 * [backup-simplify]: Simplify 1 into 1 1553848806.910 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.910 * [backup-simplify]: Simplify (- 1) into -1 1553848806.911 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553848806.911 * [backup-simplify]: Simplify (cos (- (/ 1 lambda2) (/ 1 lambda1))) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.911 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) in phi2 1553848806.911 * [taylor]: Taking taylor expansion of (cos (/ -1 phi2)) in phi2 1553848806.911 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi2 1553848806.911 * [taylor]: Taking taylor expansion of -1 in phi2 1553848806.911 * [backup-simplify]: Simplify -1 into -1 1553848806.911 * [taylor]: Taking taylor expansion of phi2 in phi2 1553848806.911 * [backup-simplify]: Simplify 0 into 0 1553848806.911 * [backup-simplify]: Simplify 1 into 1 1553848806.911 * [backup-simplify]: Simplify (/ -1 1) into -1 1553848806.911 * [backup-simplify]: Simplify (cos (/ -1 phi2)) into (cos (/ -1 phi2)) 1553848806.911 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in phi2 1553848806.911 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in phi2 1553848806.911 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in phi2 1553848806.911 * [taylor]: Taking taylor expansion of lambda2 in phi2 1553848806.911 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.911 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 1553848806.911 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in phi2 1553848806.911 * [taylor]: Taking taylor expansion of lambda1 in phi2 1553848806.911 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.911 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 1553848806.911 * [backup-simplify]: Simplify (- (/ 1 lambda1)) into (- (/ 1 lambda1)) 1553848806.911 * [backup-simplify]: Simplify (+ (/ 1 lambda2) (- (/ 1 lambda1))) into (- (/ 1 lambda2) (/ 1 lambda1)) 1553848806.911 * [backup-simplify]: Simplify (cos (- (/ 1 lambda2) (/ 1 lambda1))) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.912 * [backup-simplify]: Simplify (sin (- (/ 1 lambda2) (/ 1 lambda1))) into (sin (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.912 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) in phi2 1553848806.912 * [taylor]: Taking taylor expansion of (cos (/ -1 phi2)) in phi2 1553848806.912 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi2 1553848806.912 * [taylor]: Taking taylor expansion of -1 in phi2 1553848806.912 * [backup-simplify]: Simplify -1 into -1 1553848806.912 * [taylor]: Taking taylor expansion of phi2 in phi2 1553848806.912 * [backup-simplify]: Simplify 0 into 0 1553848806.912 * [backup-simplify]: Simplify 1 into 1 1553848806.912 * [backup-simplify]: Simplify (/ -1 1) into -1 1553848806.912 * [backup-simplify]: Simplify (cos (/ -1 phi2)) into (cos (/ -1 phi2)) 1553848806.912 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in phi2 1553848806.912 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in phi2 1553848806.912 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in phi2 1553848806.912 * [taylor]: Taking taylor expansion of lambda2 in phi2 1553848806.912 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.912 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 1553848806.912 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in phi2 1553848806.912 * [taylor]: Taking taylor expansion of lambda1 in phi2 1553848806.912 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.912 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 1553848806.912 * [backup-simplify]: Simplify (- (/ 1 lambda1)) into (- (/ 1 lambda1)) 1553848806.912 * [backup-simplify]: Simplify (+ (/ 1 lambda2) (- (/ 1 lambda1))) into (- (/ 1 lambda2) (/ 1 lambda1)) 1553848806.912 * [backup-simplify]: Simplify (cos (- (/ 1 lambda2) (/ 1 lambda1))) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.912 * [backup-simplify]: Simplify (sin (- (/ 1 lambda2) (/ 1 lambda1))) into (sin (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.913 * [backup-simplify]: Simplify (* (cos (- (/ 1 lambda2) (/ 1 lambda1))) 1) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.913 * [backup-simplify]: Simplify (* (sin (- (/ 1 lambda2) (/ 1 lambda1))) 0) into 0 1553848806.913 * [backup-simplify]: Simplify (- 0) into 0 1553848806.913 * [backup-simplify]: Simplify (+ (cos (- (/ 1 lambda2) (/ 1 lambda1))) 0) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.913 * [backup-simplify]: Simplify (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) into (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) 1553848806.913 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 1553848806.913 * [taylor]: Taking taylor expansion of (cos (/ -1 phi2)) in lambda1 1553848806.914 * [taylor]: Taking taylor expansion of (/ -1 phi2) in lambda1 1553848806.914 * [taylor]: Taking taylor expansion of -1 in lambda1 1553848806.914 * [backup-simplify]: Simplify -1 into -1 1553848806.914 * [taylor]: Taking taylor expansion of phi2 in lambda1 1553848806.914 * [backup-simplify]: Simplify phi2 into phi2 1553848806.914 * [backup-simplify]: Simplify (/ -1 phi2) into (/ -1 phi2) 1553848806.914 * [backup-simplify]: Simplify (cos (/ -1 phi2)) into (cos (/ -1 phi2)) 1553848806.914 * [backup-simplify]: Simplify (sin (/ -1 phi2)) into (sin (/ -1 phi2)) 1553848806.914 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1553848806.914 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1553848806.914 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1553848806.914 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1553848806.914 * [backup-simplify]: Simplify lambda2 into lambda2 1553848806.914 * [backup-simplify]: Simplify (/ 1 lambda2) into (/ 1 lambda2) 1553848806.914 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1553848806.914 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1553848806.914 * [backup-simplify]: Simplify 0 into 0 1553848806.914 * [backup-simplify]: Simplify 1 into 1 1553848806.915 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.915 * [backup-simplify]: Simplify (- 1) into -1 1553848806.915 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553848806.916 * [backup-simplify]: Simplify (cos (- (/ 1 lambda2) (/ 1 lambda1))) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.916 * [backup-simplify]: Simplify (* (cos (/ -1 phi2)) 1) into (cos (/ -1 phi2)) 1553848806.916 * [backup-simplify]: Simplify (* (sin (/ -1 phi2)) 0) into 0 1553848806.916 * [backup-simplify]: Simplify (- 0) into 0 1553848806.916 * [backup-simplify]: Simplify (+ (cos (/ -1 phi2)) 0) into (cos (/ -1 phi2)) 1553848806.916 * [backup-simplify]: Simplify (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) into (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) 1553848806.916 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 1553848806.916 * [taylor]: Taking taylor expansion of (cos (/ -1 phi2)) in lambda2 1553848806.916 * [taylor]: Taking taylor expansion of (/ -1 phi2) in lambda2 1553848806.916 * [taylor]: Taking taylor expansion of -1 in lambda2 1553848806.916 * [backup-simplify]: Simplify -1 into -1 1553848806.917 * [taylor]: Taking taylor expansion of phi2 in lambda2 1553848806.917 * [backup-simplify]: Simplify phi2 into phi2 1553848806.917 * [backup-simplify]: Simplify (/ -1 phi2) into (/ -1 phi2) 1553848806.917 * [backup-simplify]: Simplify (cos (/ -1 phi2)) into (cos (/ -1 phi2)) 1553848806.917 * [backup-simplify]: Simplify (sin (/ -1 phi2)) into (sin (/ -1 phi2)) 1553848806.917 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1553848806.917 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1553848806.917 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1553848806.917 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1553848806.917 * [backup-simplify]: Simplify 0 into 0 1553848806.917 * [backup-simplify]: Simplify 1 into 1 1553848806.917 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848806.917 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1553848806.917 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1553848806.917 * [backup-simplify]: Simplify lambda1 into lambda1 1553848806.917 * [backup-simplify]: Simplify (/ 1 lambda1) into (/ 1 lambda1) 1553848806.918 * [backup-simplify]: Simplify (+ 1 0) into 1 1553848806.918 * [backup-simplify]: Simplify (cos (- (/ 1 lambda2) (/ 1 lambda1))) into (cos (- (/ 1 lambda2) (/ 1 lambda1))) 1553848806.918 * [backup-simplify]: Simplify (* (cos (/ -1 phi2)) 1) into (cos (/ -1 phi2)) 1553848806.918 * [backup-simplify]: Simplify (* (sin (/ -1 phi2)) 0) into 0 1553848806.919 * [backup-simplify]: Simplify (- 0) into 0 1553848806.919 * [backup-simplify]: Simplify (+ (cos (/ -1 phi2)) 0) into (cos (/ -1 phi2)) 1553848806.919 * [backup-simplify]: Simplify (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) into (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) 1553848806.919 * [backup-simplify]: Simplify (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) into (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1)))) 1553848806.920 * [backup-simplify]: Simplify (+ 0) into 0 1553848806.920 * [backup-simplify]: Simplify (+ (* (cos (- (/ 1 lambda2) (/ 1 lambda1))) 0) (* 0 1)) into 0 1553848806.920 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda2) (/ 0 lambda2)))) into 0 1553848806.921 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda1) (/ 0 lambda1)))) into 0 1553848806.921 * [backup-simplify]: Simplify (- 0) into 0 1553848806.921 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.922 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553848806.922 * [backup-simplify]: Simplify (+ (* (sin (- (/ 1 lambda2) (/ 1 lambda1))) 0) (* 0 0)) into 0 1553848806.923 * [backup-simplify]: Simplify (- 0) into 0 1553848806.923 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.923 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi2)) 0) (* 0 (cos (- (/ 1 lambda2) (/ 1 lambda1))))) into 0 1553848806.923 * [taylor]: Taking taylor expansion of 0 in lambda1 1553848806.923 * [backup-simplify]: Simplify 0 into 0 1553848806.924 * [taylor]: Taking taylor expansion of 0 in lambda2 1553848806.924 * [backup-simplify]: Simplify 0 into 0 1553848806.924 * [backup-simplify]: Simplify 0 into 0 1553848806.924 * [backup-simplify]: Simplify (+ 0) into 0 1553848806.924 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi2)) 0) (* 0 1)) into 0 1553848806.925 * [backup-simplify]: Simplify (- (/ 0 phi2) (+ (* (/ -1 phi2) (/ 0 phi2)))) into 0 1553848806.925 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553848806.926 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi2)) 0) (* 0 0)) into 0 1553848806.926 * [backup-simplify]: Simplify (- 0) into 0 1553848806.927 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.927 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi2)) 0) (* 0 (cos (- (/ 1 lambda2) (/ 1 lambda1))))) into 0 1553848806.927 * [taylor]: Taking taylor expansion of 0 in lambda2 1553848806.927 * [backup-simplify]: Simplify 0 into 0 1553848806.927 * [backup-simplify]: Simplify 0 into 0 1553848806.927 * [backup-simplify]: Simplify (+ 0) into 0 1553848806.928 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi2)) 0) (* 0 1)) into 0 1553848806.928 * [backup-simplify]: Simplify (- (/ 0 phi2) (+ (* (/ -1 phi2) (/ 0 phi2)))) into 0 1553848806.929 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553848806.929 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi2)) 0) (* 0 0)) into 0 1553848806.930 * [backup-simplify]: Simplify (- 0) into 0 1553848806.930 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.930 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi2)) 0) (* 0 (cos (- (/ 1 lambda2) (/ 1 lambda1))))) into 0 1553848806.930 * [backup-simplify]: Simplify 0 into 0 1553848806.931 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1553848806.932 * [backup-simplify]: Simplify (+ (* (cos (- (/ 1 lambda2) (/ 1 lambda1))) 0) (+ (* 0 0) (* 0 1))) into 0 1553848806.932 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda2) (/ 0 lambda2)) (* 0 (/ 0 lambda2)))) into 0 1553848806.932 * [backup-simplify]: Simplify (- (+ (* (/ 1 lambda1) (/ 0 lambda1)) (* 0 (/ 0 lambda1)))) into 0 1553848806.933 * [backup-simplify]: Simplify (- 0) into 0 1553848806.933 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.934 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1553848806.934 * [backup-simplify]: Simplify (+ (* (sin (- (/ 1 lambda2) (/ 1 lambda1))) 0) (+ (* 0 0) (* 0 0))) into 0 1553848806.935 * [backup-simplify]: Simplify (- 0) into 0 1553848806.935 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.936 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi2)) 0) (+ (* 0 0) (* 0 (cos (- (/ 1 lambda2) (/ 1 lambda1)))))) into 0 1553848806.936 * [taylor]: Taking taylor expansion of 0 in lambda1 1553848806.936 * [backup-simplify]: Simplify 0 into 0 1553848806.936 * [taylor]: Taking taylor expansion of 0 in lambda2 1553848806.936 * [backup-simplify]: Simplify 0 into 0 1553848806.936 * [backup-simplify]: Simplify 0 into 0 1553848806.936 * [taylor]: Taking taylor expansion of 0 in lambda2 1553848806.936 * [backup-simplify]: Simplify 0 into 0 1553848806.936 * [backup-simplify]: Simplify 0 into 0 1553848806.937 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1553848806.938 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi2)) 0) (+ (* 0 0) (* 0 1))) into 0 1553848806.938 * [backup-simplify]: Simplify (- (/ 0 phi2) (+ (* (/ -1 phi2) (/ 0 phi2)) (* 0 (/ 0 phi2)))) into 0 1553848806.941 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1553848806.942 * [backup-simplify]: Simplify (+ (* (sin (/ -1 phi2)) 0) (+ (* 0 0) (* 0 0))) into 0 1553848806.943 * [backup-simplify]: Simplify (- 0) into 0 1553848806.943 * [backup-simplify]: Simplify (+ 0 0) into 0 1553848806.944 * [backup-simplify]: Simplify (+ (* (cos (/ -1 phi2)) 0) (+ (* 0 0) (* 0 (cos (- (/ 1 lambda2) (/ 1 lambda1)))))) into 0 1553848806.944 * [taylor]: Taking taylor expansion of 0 in lambda2 1553848806.944 * [backup-simplify]: Simplify 0 into 0 1553848806.944 * [backup-simplify]: Simplify 0 into 0 1553848806.944 * [backup-simplify]: Simplify (* (cos (/ -1 (/ 1 (- phi2)))) (cos (- (/ 1 (/ 1 (- lambda2))) (/ 1 (/ 1 (- lambda1)))))) into (* (cos (- lambda1 lambda2)) (cos phi2)) 1553848806.944 * * * [progress]: simplifying candidates 1553848806.944 * * * * [progress]: [ 1 / 72 ] simplifiying candidate # 1553848806.945 * [simplify]: Simplifying (* (cos lambda1) (cos (- lambda2))) 1553848806.945 * * [simplify]: iters left: 5 (6 enodes) 1553848806.948 * * [simplify]: iters left: 4 (20 enodes) 1553848806.953 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848806.953 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848806.953 * * [simplify]: Extracting #2: cost 9 inf + 0 1553848806.953 * * [simplify]: Extracting #3: cost 5 inf + 165 1553848806.954 * * [simplify]: Extracting #4: cost 0 inf + 652 1553848806.954 * [simplify]: Simplified to (* (cos lambda1) (cos lambda2)) 1553848806.954 * [simplify]: Simplified (2 2 2 2 2 1) to (λ (lambda1 lambda2 phi1 phi2) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos phi2) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2))))))))) 1553848806.954 * * * * [progress]: [ 2 / 72 ] simplifiying candidate # 1553848806.955 * [simplify]: Simplifying (* (cos lambda1) (cos (- lambda2))) 1553848806.955 * * [simplify]: iters left: 5 (6 enodes) 1553848806.957 * * [simplify]: iters left: 4 (20 enodes) 1553848806.963 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848806.963 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848806.964 * * [simplify]: Extracting #2: cost 9 inf + 0 1553848806.964 * * [simplify]: Extracting #3: cost 5 inf + 165 1553848806.964 * * [simplify]: Extracting #4: cost 0 inf + 652 1553848806.964 * [simplify]: Simplified to (* (cos lambda1) (cos lambda2)) 1553848806.964 * [simplify]: Simplified (2 2 2 2 2 1) to (λ (lambda1 lambda2 phi1 phi2) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos phi2) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2))))))))) 1553848806.965 * * * * [progress]: [ 3 / 72 ] simplifiying candidate # 1553848806.965 * [simplify]: Simplifying (* (cos lambda1) (cos lambda2)) 1553848806.965 * * [simplify]: iters left: 3 (5 enodes) 1553848806.968 * * [simplify]: iters left: 2 (16 enodes) 1553848806.973 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848806.973 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848806.973 * * [simplify]: Extracting #2: cost 8 inf + 0 1553848806.973 * * [simplify]: Extracting #3: cost 4 inf + 124 1553848806.973 * * [simplify]: Extracting #4: cost 0 inf + 570 1553848806.973 * [simplify]: Simplified to (* (cos lambda2) (cos lambda1)) 1553848806.973 * [simplify]: Simplified (2 2 2 2 2 1) to (λ (lambda1 lambda2 phi1 phi2) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos phi2) (+ (* (cos lambda2) (cos lambda1)) (* (sin lambda1) (sin lambda2)))))))) 1553848806.974 * * * * [progress]: [ 4 / 72 ] simplifiying candidate # 1553848806.974 * * * * [progress]: [ 5 / 72 ] simplifiying candidate # 1553848806.974 * * * * [progress]: [ 6 / 72 ] simplifiying candidate # 1553848806.974 * * * * [progress]: [ 7 / 72 ] simplifiying candidate # 1553848806.974 * * * * [progress]: [ 8 / 72 ] simplifiying candidate # 1553848806.974 * * * * [progress]: [ 9 / 72 ] simplifiying candidate # 1553848806.974 * * * * [progress]: [ 10 / 72 ] simplifiying candidate # 1553848806.974 * * * * [progress]: [ 11 / 72 ] simplifiying candidate #real (real->posit16 (cos (- lambda1 lambda2)))))))))> 1553848806.974 * * * * [progress]: [ 12 / 72 ] simplifiying candidate # 1553848806.975 * [simplify]: Simplifying (* (sin lambda1) (cos (- lambda2))) 1553848806.975 * * [simplify]: iters left: 5 (6 enodes) 1553848806.977 * * [simplify]: iters left: 4 (20 enodes) 1553848806.983 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848806.983 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848806.984 * * [simplify]: Extracting #2: cost 9 inf + 0 1553848806.984 * * [simplify]: Extracting #3: cost 5 inf + 165 1553848806.984 * * [simplify]: Extracting #4: cost 0 inf + 652 1553848806.984 * [simplify]: Simplified to (* (sin lambda1) (cos lambda2)) 1553848806.984 * [simplify]: Simplified (2 2 1 2 1) to (λ (lambda1 lambda2 phi1 phi2) (+ lambda1 (atan2 (* (cos phi2) (+ (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin (- lambda2))))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))))) 1553848806.984 * * * * [progress]: [ 13 / 72 ] simplifiying candidate # 1553848806.985 * [simplify]: Simplifying (* (sin lambda1) (cos (- lambda2))) 1553848806.985 * * [simplify]: iters left: 5 (6 enodes) 1553848806.988 * * [simplify]: iters left: 4 (20 enodes) 1553848806.993 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848806.994 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848806.994 * * [simplify]: Extracting #2: cost 9 inf + 0 1553848806.994 * * [simplify]: Extracting #3: cost 5 inf + 165 1553848806.994 * * [simplify]: Extracting #4: cost 0 inf + 652 1553848806.994 * [simplify]: Simplified to (* (sin lambda1) (cos lambda2)) 1553848806.994 * [simplify]: Simplified (2 2 1 2 1) to (λ (lambda1 lambda2 phi1 phi2) (+ lambda1 (atan2 (* (cos phi2) (+ (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin (- lambda2))))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))))) 1553848806.994 * * * * [progress]: [ 14 / 72 ] simplifiying candidate # 1553848806.995 * [simplify]: Simplifying (* (sin lambda1) (cos lambda2)) 1553848806.995 * * [simplify]: iters left: 3 (5 enodes) 1553848806.997 * * [simplify]: iters left: 2 (16 enodes) 1553848807.001 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848807.002 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848807.002 * * [simplify]: Extracting #2: cost 8 inf + 0 1553848807.002 * * [simplify]: Extracting #3: cost 4 inf + 124 1553848807.002 * * [simplify]: Extracting #4: cost 0 inf + 570 1553848807.002 * [simplify]: Simplified to (* (cos lambda2) (sin lambda1)) 1553848807.002 * [simplify]: Simplified (2 2 1 2 1) to (λ (lambda1 lambda2 phi1 phi2) (+ lambda1 (atan2 (* (cos phi2) (- (* (cos lambda2) (sin lambda1)) (* (cos lambda1) (sin lambda2)))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))))) 1553848807.002 * * * * [progress]: [ 15 / 72 ] simplifiying candidate # 1553848807.002 * * * * [progress]: [ 16 / 72 ] simplifiying candidate # 1553848807.003 * * * * [progress]: [ 17 / 72 ] simplifiying candidate # 1553848807.003 * * * * [progress]: [ 18 / 72 ] simplifiying candidate # 1553848807.003 * * * * [progress]: [ 19 / 72 ] simplifiying candidate # 1553848807.003 * * * * [progress]: [ 20 / 72 ] simplifiying candidate # 1553848807.003 * * * * [progress]: [ 21 / 72 ] simplifiying candidate # 1553848807.003 * * * * [progress]: [ 22 / 72 ] simplifiying candidate #real (real->posit16 (sin (- lambda1 lambda2))))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))))))> 1553848807.003 * * * * [progress]: [ 23 / 72 ] simplifiying candidate # 1553848807.003 * [simplify]: Simplifying (* (exp (cos phi1)) (exp (* (cos phi2) (cos (- lambda1 lambda2))))) 1553848807.003 * * [simplify]: iters left: 6 (12 enodes) 1553848807.008 * * [simplify]: iters left: 5 (44 enodes) 1553848807.021 * * [simplify]: iters left: 4 (59 enodes) 1553848807.038 * * [simplify]: iters left: 3 (76 enodes) 1553848807.060 * * [simplify]: iters left: 2 (113 enodes) 1553848807.092 * * [simplify]: iters left: 1 (209 enodes) 1553848807.145 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848807.145 * * [simplify]: Extracting #1: cost 36 inf + 0 1553848807.145 * * [simplify]: Extracting #2: cost 111 inf + 0 1553848807.146 * * [simplify]: Extracting #3: cost 147 inf + 2 1553848807.146 * * [simplify]: Extracting #4: cost 148 inf + 513 1553848807.147 * * [simplify]: Extracting #5: cost 137 inf + 1514 1553848807.149 * * [simplify]: Extracting #6: cost 98 inf + 11267 1553848807.154 * * [simplify]: Extracting #7: cost 39 inf + 47924 1553848807.164 * * [simplify]: Extracting #8: cost 0 inf + 81355 1553848807.176 * * [simplify]: Extracting #9: cost 0 inf + 80740 1553848807.186 * [simplify]: Simplified to (exp (+ (* (cos phi2) (cos (- lambda1 lambda2))) (cos phi1))) 1553848807.186 * [simplify]: Simplified (2 2 2 1) to (λ (lambda1 lambda2 phi1 phi2) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (log (exp (+ (* (cos phi2) (cos (- lambda1 lambda2))) (cos phi1))))))) 1553848807.186 * * * * [progress]: [ 24 / 72 ] simplifiying candidate # 1553848807.186 * * * * [progress]: [ 25 / 72 ] simplifiying candidate # 1553848807.186 * * * * [progress]: [ 26 / 72 ] simplifiying candidate # 1553848807.186 * * * * [progress]: [ 27 / 72 ] simplifiying candidate # 1553848807.186 * * * * [progress]: [ 28 / 72 ] simplifiying candidate # 1553848807.186 * * * * [progress]: [ 29 / 72 ] simplifiying candidate # 1553848807.186 * * * * [progress]: [ 30 / 72 ] simplifiying candidate # 1553848807.186 * * * * [progress]: [ 31 / 72 ] simplifiying candidate # 1553848807.186 * * * * [progress]: [ 32 / 72 ] simplifiying candidate # 1553848807.186 * * * * [progress]: [ 33 / 72 ] simplifiying candidate # 1553848807.186 * [simplify]: Simplifying (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))) 1553848807.187 * * [simplify]: iters left: 6 (10 enodes) 1553848807.189 * * [simplify]: iters left: 5 (34 enodes) 1553848807.194 * * [simplify]: iters left: 4 (37 enodes) 1553848807.202 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848807.203 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848807.203 * * [simplify]: Extracting #2: cost 9 inf + 0 1553848807.203 * * [simplify]: Extracting #3: cost 12 inf + 1 1553848807.203 * * [simplify]: Extracting #4: cost 13 inf + 124 1553848807.203 * * [simplify]: Extracting #5: cost 10 inf + 248 1553848807.203 * * [simplify]: Extracting #6: cost 5 inf + 577 1553848807.204 * * [simplify]: Extracting #7: cost 0 inf + 1632 1553848807.204 * [simplify]: Simplified to (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))) 1553848807.204 * [simplify]: Simplified (2 2 2 2) to (λ (lambda1 lambda2 phi1 phi2) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (* 1 (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))))))) 1553848807.204 * * * * [progress]: [ 34 / 72 ] simplifiying candidate # 1553848807.205 * [simplify]: Simplifying (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))) 1553848807.205 * * [simplify]: iters left: 6 (10 enodes) 1553848807.209 * * [simplify]: iters left: 5 (34 enodes) 1553848807.219 * * [simplify]: iters left: 4 (37 enodes) 1553848807.230 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848807.230 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848807.230 * * [simplify]: Extracting #2: cost 9 inf + 0 1553848807.230 * * [simplify]: Extracting #3: cost 12 inf + 1 1553848807.231 * * [simplify]: Extracting #4: cost 13 inf + 124 1553848807.231 * * [simplify]: Extracting #5: cost 10 inf + 248 1553848807.231 * * [simplify]: Extracting #6: cost 5 inf + 577 1553848807.231 * * [simplify]: Extracting #7: cost 0 inf + 1632 1553848807.232 * [simplify]: Simplified to (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))) 1553848807.232 * [simplify]: Simplified (2 2 2 2) to (λ (lambda1 lambda2 phi1 phi2) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (* 1 (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))))))) 1553848807.232 * * * * [progress]: [ 35 / 72 ] simplifiying candidate # 1553848807.233 * [simplify]: Simplifying (* (cos phi2) (* (sin lambda1) (sin lambda2))) 1553848807.233 * * [simplify]: iters left: 5 (8 enodes) 1553848807.237 * * [simplify]: iters left: 4 (28 enodes) 1553848807.245 * * [simplify]: iters left: 3 (36 enodes) 1553848807.256 * * [simplify]: iters left: 2 (42 enodes) 1553848807.267 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848807.267 * * [simplify]: Extracting #1: cost 8 inf + 0 1553848807.267 * * [simplify]: Extracting #2: cost 17 inf + 0 1553848807.268 * * [simplify]: Extracting #3: cost 12 inf + 125 1553848807.268 * * [simplify]: Extracting #4: cost 5 inf + 1057 1553848807.268 * * [simplify]: Extracting #5: cost 1 inf + 1705 1553848807.269 * * [simplify]: Extracting #6: cost 0 inf + 1867 1553848807.270 * [simplify]: Simplified to (* (* (sin lambda1) (sin lambda2)) (cos phi2)) 1553848807.270 * [simplify]: Simplified (2 2 2 2) to (λ (lambda1 lambda2 phi1 phi2) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (+ (cos phi1) (* (cos phi2) (* (cos lambda1) (cos lambda2)))) (* (* (sin lambda1) (sin lambda2)) (cos phi2)))))) 1553848807.270 * * * * [progress]: [ 36 / 72 ] simplifiying candidate # 1553848807.270 * [simplify]: Simplifying (* (* (sin lambda1) (sin lambda2)) (cos phi2)) 1553848807.270 * * [simplify]: iters left: 5 (8 enodes) 1553848807.274 * * [simplify]: iters left: 4 (28 enodes) 1553848807.283 * * [simplify]: iters left: 3 (36 enodes) 1553848807.294 * * [simplify]: iters left: 2 (42 enodes) 1553848807.304 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848807.304 * * [simplify]: Extracting #1: cost 8 inf + 0 1553848807.305 * * [simplify]: Extracting #2: cost 17 inf + 0 1553848807.305 * * [simplify]: Extracting #3: cost 13 inf + 64 1553848807.305 * * [simplify]: Extracting #4: cost 6 inf + 895 1553848807.306 * * [simplify]: Extracting #5: cost 0 inf + 1867 1553848807.306 * [simplify]: Simplified to (* (* (sin lambda2) (cos phi2)) (sin lambda1)) 1553848807.306 * [simplify]: Simplified (2 2 2 2) to (λ (lambda1 lambda2 phi1 phi2) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (+ (cos phi1) (* (* (cos lambda1) (cos lambda2)) (cos phi2))) (* (* (sin lambda2) (cos phi2)) (sin lambda1)))))) 1553848807.306 * * * * [progress]: [ 37 / 72 ] simplifiying candidate #real (real->posit16 (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))))))))> 1553848807.307 * * * * [progress]: [ 38 / 72 ] simplifiying candidate # 1553848807.307 * * * * [progress]: [ 39 / 72 ] simplifiying candidate # 1553848807.307 * [simplify]: Simplifying (+ (cos (+ phi2 (- lambda1 lambda2))) (cos (- phi2 (- lambda1 lambda2)))) 1553848807.307 * * [simplify]: iters left: 6 (9 enodes) 1553848807.311 * * [simplify]: iters left: 5 (37 enodes) 1553848807.321 * * [simplify]: iters left: 4 (59 enodes) 1553848807.331 * * [simplify]: iters left: 3 (80 enodes) 1553848807.343 * * [simplify]: iters left: 2 (96 enodes) 1553848807.357 * * [simplify]: iters left: 1 (110 enodes) 1553848807.379 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848807.379 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848807.379 * * [simplify]: Extracting #2: cost 8 inf + 0 1553848807.380 * * [simplify]: Extracting #3: cost 28 inf + 0 1553848807.380 * * [simplify]: Extracting #4: cost 30 inf + 211 1553848807.381 * * [simplify]: Extracting #5: cost 6 inf + 1802 1553848807.382 * * [simplify]: Extracting #6: cost 1 inf + 2474 1553848807.383 * * [simplify]: Extracting #7: cost 0 inf + 2797 1553848807.385 * [simplify]: Simplified to (+ (cos (+ (- phi2 lambda2) lambda1)) (cos (- (+ phi2 lambda2) lambda1))) 1553848807.385 * [simplify]: Simplified (2 2 2 2 1) to (λ (lambda1 lambda2 phi1 phi2) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (/ (+ (cos (+ (- phi2 lambda2) lambda1)) (cos (- (+ phi2 lambda2) lambda1))) 2))))) 1553848807.385 * * * * [progress]: [ 40 / 72 ] simplifiying candidate # 1553848807.386 * [simplify]: Simplifying (* (cos phi2) (cos (- lambda1 lambda2))) 1553848807.386 * * [simplify]: iters left: 5 (7 enodes) 1553848807.389 * * [simplify]: iters left: 4 (24 enodes) 1553848807.396 * * [simplify]: iters left: 3 (27 enodes) 1553848807.403 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848807.403 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848807.403 * * [simplify]: Extracting #2: cost 8 inf + 0 1553848807.404 * * [simplify]: Extracting #3: cost 11 inf + 1 1553848807.404 * * [simplify]: Extracting #4: cost 8 inf + 125 1553848807.404 * * [simplify]: Extracting #5: cost 3 inf + 393 1553848807.404 * * [simplify]: Extracting #6: cost 1 inf + 698 1553848807.404 * * [simplify]: Extracting #7: cost 0 inf + 901 1553848807.405 * [simplify]: Simplified to (* (cos (- lambda1 lambda2)) (cos phi2)) 1553848807.405 * [simplify]: Simplified (2 2 2 2 1) to (λ (lambda1 lambda2 phi1 phi2) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (pow (* (cos (- lambda1 lambda2)) (cos phi2)) 1))))) 1553848807.405 * * * * [progress]: [ 41 / 72 ] simplifiying candidate # 1553848807.405 * * * * [progress]: [ 42 / 72 ] simplifiying candidate # 1553848807.405 * [simplify]: Simplifying (+ (log (cos phi2)) (log (cos (- lambda1 lambda2)))) 1553848807.405 * * [simplify]: iters left: 6 (9 enodes) 1553848807.409 * * [simplify]: iters left: 5 (30 enodes) 1553848807.418 * * [simplify]: iters left: 4 (33 enodes) 1553848807.428 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848807.429 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848807.429 * * [simplify]: Extracting #2: cost 8 inf + 0 1553848807.429 * * [simplify]: Extracting #3: cost 12 inf + 0 1553848807.429 * * [simplify]: Extracting #4: cost 15 inf + 1 1553848807.429 * * [simplify]: Extracting #5: cost 10 inf + 208 1553848807.429 * * [simplify]: Extracting #6: cost 4 inf + 827 1553848807.430 * * [simplify]: Extracting #7: cost 0 inf + 1787 1553848807.430 * [simplify]: Simplified to (+ (log (cos (- lambda1 lambda2))) (log (cos phi2))) 1553848807.430 * [simplify]: Simplified (2 2 2 2 1) to (λ (lambda1 lambda2 phi1 phi2) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (exp (+ (log (cos (- lambda1 lambda2))) (log (cos phi2)))))))) 1553848807.430 * * * * [progress]: [ 43 / 72 ] simplifiying candidate # 1553848807.430 * * * * [progress]: [ 44 / 72 ] simplifiying candidate # 1553848807.430 * * * * [progress]: [ 45 / 72 ] simplifiying candidate # 1553848807.431 * [simplify]: Simplifying (* (* (* (cos phi2) (cos phi2)) (cos phi2)) (* (* (cos (- lambda1 lambda2)) (cos (- lambda1 lambda2))) (cos (- lambda1 lambda2)))) 1553848807.431 * * [simplify]: iters left: 6 (11 enodes) 1553848807.435 * * [simplify]: iters left: 5 (42 enodes) 1553848807.448 * * [simplify]: iters left: 4 (74 enodes) 1553848807.473 * * [simplify]: iters left: 3 (134 enodes) 1553848807.506 * * [simplify]: iters left: 2 (226 enodes) 1553848807.588 * * [simplify]: iters left: 1 (399 enodes) 1553848807.752 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848807.752 * * [simplify]: Extracting #1: cost 65 inf + 0 1553848807.753 * * [simplify]: Extracting #2: cost 172 inf + 1 1553848807.755 * * [simplify]: Extracting #3: cost 165 inf + 1155 1553848807.756 * * [simplify]: Extracting #4: cost 152 inf + 4373 1553848807.765 * * [simplify]: Extracting #5: cost 60 inf + 50782 1553848807.788 * * [simplify]: Extracting #6: cost 3 inf + 86153 1553848807.807 * * [simplify]: Extracting #7: cost 0 inf + 87777 1553848807.826 * [simplify]: Simplified to (* (* (cos phi2) (cos (- lambda1 lambda2))) (* (* (cos phi2) (cos (- lambda1 lambda2))) (* (cos phi2) (cos (- lambda1 lambda2))))) 1553848807.826 * [simplify]: Simplified (2 2 2 2 1) to (λ (lambda1 lambda2 phi1 phi2) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (cbrt (* (* (cos phi2) (cos (- lambda1 lambda2))) (* (* (cos phi2) (cos (- lambda1 lambda2))) (* (cos phi2) (cos (- lambda1 lambda2)))))))))) 1553848807.826 * * * * [progress]: [ 46 / 72 ] simplifiying candidate # 1553848807.826 * * * * [progress]: [ 47 / 72 ] simplifiying candidate # 1553848807.826 * * * * [progress]: [ 48 / 72 ] simplifiying candidate # 1553848807.826 * * * * [progress]: [ 49 / 72 ] simplifiying candidate # 1553848807.826 * * * * [progress]: [ 50 / 72 ] simplifiying candidate # 1553848807.827 * [simplify]: Simplifying (* (sqrt (cos phi2)) (sqrt (cos (- lambda1 lambda2)))) 1553848807.827 * * [simplify]: iters left: 6 (9 enodes) 1553848807.830 * * [simplify]: iters left: 5 (30 enodes) 1553848807.838 * * [simplify]: iters left: 4 (33 enodes) 1553848807.847 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848807.847 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848807.847 * * [simplify]: Extracting #2: cost 8 inf + 0 1553848807.847 * * [simplify]: Extracting #3: cost 12 inf + 0 1553848807.847 * * [simplify]: Extracting #4: cost 15 inf + 1 1553848807.847 * * [simplify]: Extracting #5: cost 10 inf + 208 1553848807.848 * * [simplify]: Extracting #6: cost 4 inf + 737 1553848807.848 * * [simplify]: Extracting #7: cost 0 inf + 1547 1553848807.849 * [simplify]: Simplified to (* (sqrt (cos (- lambda1 lambda2))) (sqrt (cos phi2))) 1553848807.849 * [simplify]: Simplified (2 2 2 2 1) to (λ (lambda1 lambda2 phi1 phi2) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (* (sqrt (cos (- lambda1 lambda2))) (sqrt (cos phi2))) (* (sqrt (cos phi2)) (sqrt (cos (- lambda1 lambda2))))))))) 1553848807.849 * [simplify]: Simplifying (* (sqrt (cos phi2)) (sqrt (cos (- lambda1 lambda2)))) 1553848807.849 * * [simplify]: iters left: 6 (9 enodes) 1553848807.853 * * [simplify]: iters left: 5 (30 enodes) 1553848807.862 * * [simplify]: iters left: 4 (33 enodes) 1553848807.868 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848807.868 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848807.868 * * [simplify]: Extracting #2: cost 8 inf + 0 1553848807.868 * * [simplify]: Extracting #3: cost 12 inf + 0 1553848807.868 * * [simplify]: Extracting #4: cost 15 inf + 1 1553848807.868 * * [simplify]: Extracting #5: cost 10 inf + 208 1553848807.868 * * [simplify]: Extracting #6: cost 4 inf + 737 1553848807.869 * * [simplify]: Extracting #7: cost 0 inf + 1547 1553848807.869 * [simplify]: Simplified to (* (sqrt (cos (- lambda1 lambda2))) (sqrt (cos phi2))) 1553848807.869 * [simplify]: Simplified (2 2 2 2 2) to (λ (lambda1 lambda2 phi1 phi2) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (* (sqrt (cos phi2)) (sqrt (cos (- lambda1 lambda2)))) (* (sqrt (cos (- lambda1 lambda2))) (sqrt (cos phi2)))))))) 1553848807.869 * * * * [progress]: [ 51 / 72 ] simplifiying candidate # 1553848807.869 * [simplify]: Simplifying (* (cos phi2) (* (sin lambda1) (sin lambda2))) 1553848807.869 * * [simplify]: iters left: 5 (8 enodes) 1553848807.871 * * [simplify]: iters left: 4 (28 enodes) 1553848807.876 * * [simplify]: iters left: 3 (36 enodes) 1553848807.881 * * [simplify]: iters left: 2 (42 enodes) 1553848807.887 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848807.887 * * [simplify]: Extracting #1: cost 8 inf + 0 1553848807.887 * * [simplify]: Extracting #2: cost 17 inf + 0 1553848807.887 * * [simplify]: Extracting #3: cost 12 inf + 125 1553848807.887 * * [simplify]: Extracting #4: cost 5 inf + 1057 1553848807.887 * * [simplify]: Extracting #5: cost 1 inf + 1705 1553848807.888 * * [simplify]: Extracting #6: cost 0 inf + 1867 1553848807.888 * [simplify]: Simplified to (* (* (sin lambda1) (sin lambda2)) (cos phi2)) 1553848807.888 * [simplify]: Simplified (2 2 2 2 2) to (λ (lambda1 lambda2 phi1 phi2) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (+ (* (cos phi2) (* (cos lambda1) (cos lambda2))) (* (* (sin lambda1) (sin lambda2)) (cos phi2))))))) 1553848807.888 * * * * [progress]: [ 52 / 72 ] simplifiying candidate # 1553848807.888 * [simplify]: Simplifying (* (* (sin lambda1) (sin lambda2)) (cos phi2)) 1553848807.888 * * [simplify]: iters left: 5 (8 enodes) 1553848807.890 * * [simplify]: iters left: 4 (28 enodes) 1553848807.895 * * [simplify]: iters left: 3 (36 enodes) 1553848807.901 * * [simplify]: iters left: 2 (42 enodes) 1553848807.907 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848807.907 * * [simplify]: Extracting #1: cost 8 inf + 0 1553848807.907 * * [simplify]: Extracting #2: cost 17 inf + 0 1553848807.907 * * [simplify]: Extracting #3: cost 13 inf + 64 1553848807.908 * * [simplify]: Extracting #4: cost 6 inf + 895 1553848807.908 * * [simplify]: Extracting #5: cost 0 inf + 1867 1553848807.908 * [simplify]: Simplified to (* (* (sin lambda2) (cos phi2)) (sin lambda1)) 1553848807.908 * [simplify]: Simplified (2 2 2 2 2) to (λ (lambda1 lambda2 phi1 phi2) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (+ (* (* (cos lambda1) (cos lambda2)) (cos phi2)) (* (* (sin lambda2) (cos phi2)) (sin lambda1))))))) 1553848807.908 * * * * [progress]: [ 53 / 72 ] simplifiying candidate # 1553848807.909 * [simplify]: Simplifying (cbrt (cos (- lambda1 lambda2))) 1553848807.909 * * [simplify]: iters left: 4 (5 enodes) 1553848807.910 * * [simplify]: iters left: 3 (17 enodes) 1553848807.912 * * [simplify]: iters left: 2 (20 enodes) 1553848807.915 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848807.916 * * [simplify]: Extracting #1: cost 3 inf + 0 1553848807.916 * * [simplify]: Extracting #2: cost 5 inf + 0 1553848807.916 * * [simplify]: Extracting #3: cost 9 inf + 0 1553848807.916 * * [simplify]: Extracting #4: cost 7 inf + 43 1553848807.916 * * [simplify]: Extracting #5: cost 0 inf + 736 1553848807.916 * [simplify]: Simplified to (cbrt (cos (- lambda1 lambda2))) 1553848807.916 * [simplify]: Simplified (2 2 2 2 2) to (λ (lambda1 lambda2 phi1 phi2) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (* (cos phi2) (* (cbrt (cos (- lambda1 lambda2))) (cbrt (cos (- lambda1 lambda2))))) (cbrt (cos (- lambda1 lambda2)))))))) 1553848807.916 * * * * [progress]: [ 54 / 72 ] simplifiying candidate # 1553848807.916 * [simplify]: Simplifying (sqrt (cos (- lambda1 lambda2))) 1553848807.916 * * [simplify]: iters left: 4 (5 enodes) 1553848807.918 * * [simplify]: iters left: 3 (17 enodes) 1553848807.923 * * [simplify]: iters left: 2 (20 enodes) 1553848807.929 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848807.929 * * [simplify]: Extracting #1: cost 3 inf + 0 1553848807.929 * * [simplify]: Extracting #2: cost 5 inf + 0 1553848807.929 * * [simplify]: Extracting #3: cost 9 inf + 0 1553848807.929 * * [simplify]: Extracting #4: cost 7 inf + 43 1553848807.929 * * [simplify]: Extracting #5: cost 0 inf + 656 1553848807.930 * [simplify]: Simplified to (sqrt (cos (- lambda1 lambda2))) 1553848807.930 * [simplify]: Simplified (2 2 2 2 2) to (λ (lambda1 lambda2 phi1 phi2) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (* (cos phi2) (sqrt (cos (- lambda1 lambda2)))) (sqrt (cos (- lambda1 lambda2)))))))) 1553848807.930 * * * * [progress]: [ 55 / 72 ] simplifiying candidate # 1553848807.930 * [simplify]: Simplifying (cos (- lambda1 lambda2)) 1553848807.930 * * [simplify]: iters left: 3 (4 enodes) 1553848807.932 * * [simplify]: iters left: 2 (14 enodes) 1553848807.936 * * [simplify]: iters left: 1 (17 enodes) 1553848807.941 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848807.941 * * [simplify]: Extracting #1: cost 3 inf + 0 1553848807.941 * * [simplify]: Extracting #2: cost 7 inf + 0 1553848807.941 * * [simplify]: Extracting #3: cost 5 inf + 43 1553848807.942 * * [simplify]: Extracting #4: cost 0 inf + 372 1553848807.942 * [simplify]: Simplified to (cos (- lambda1 lambda2)) 1553848807.942 * [simplify]: Simplified (2 2 2 2 2) to (λ (lambda1 lambda2 phi1 phi2) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (* (cos phi2) 1) (cos (- lambda1 lambda2))))))) 1553848807.942 * * * * [progress]: [ 56 / 72 ] simplifiying candidate # 1553848807.942 * [simplify]: Simplifying (* (cbrt (cos phi2)) (cbrt (cos phi2))) 1553848807.942 * * [simplify]: iters left: 4 (4 enodes) 1553848807.945 * * [simplify]: iters left: 3 (12 enodes) 1553848807.948 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848807.948 * * [simplify]: Extracting #1: cost 3 inf + 0 1553848807.948 * * [simplify]: Extracting #2: cost 5 inf + 0 1553848807.948 * * [simplify]: Extracting #3: cost 7 inf + 0 1553848807.948 * * [simplify]: Extracting #4: cost 6 inf + 1 1553848807.948 * * [simplify]: Extracting #5: cost 0 inf + 767 1553848807.949 * [simplify]: Simplified to (* (cbrt (cos phi2)) (cbrt (cos phi2))) 1553848807.949 * [simplify]: Simplified (2 2 2 2 1) to (λ (lambda1 lambda2 phi1 phi2) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (* (cbrt (cos phi2)) (cbrt (cos phi2))) (* (cbrt (cos phi2)) (cos (- lambda1 lambda2)))))))) 1553848807.949 * * * * [progress]: [ 57 / 72 ] simplifiying candidate # 1553848807.949 * [simplify]: Simplifying (sqrt (cos phi2)) 1553848807.949 * * [simplify]: iters left: 2 (3 enodes) 1553848807.950 * * [simplify]: iters left: 1 (9 enodes) 1553848807.953 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848807.953 * * [simplify]: Extracting #1: cost 3 inf + 0 1553848807.953 * * [simplify]: Extracting #2: cost 5 inf + 0 1553848807.953 * * [simplify]: Extracting #3: cost 4 inf + 1 1553848807.953 * * [simplify]: Extracting #4: cost 0 inf + 325 1553848807.953 * [simplify]: Simplified to (sqrt (cos phi2)) 1553848807.953 * [simplify]: Simplified (2 2 2 2 1) to (λ (lambda1 lambda2 phi1 phi2) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (sqrt (cos phi2)) (* (sqrt (cos phi2)) (cos (- lambda1 lambda2)))))))) 1553848807.954 * * * * [progress]: [ 58 / 72 ] simplifiying candidate # 1553848807.954 * * * * [progress]: [ 59 / 72 ] simplifiying candidate #real (real->posit16 (* (cos phi2) (cos (- lambda1 lambda2)))))))))> 1553848807.954 * * * * [progress]: [ 60 / 72 ] simplifiying candidate # 1553848807.954 * * * * [progress]: [ 61 / 72 ] simplifiying candidate # 1553848807.954 * [simplify]: Simplifying (- (+ 1 (* lambda2 lambda1)) (* 1/2 (pow lambda1 2))) 1553848807.954 * * [simplify]: iters left: 6 (10 enodes) 1553848807.961 * * [simplify]: iters left: 5 (43 enodes) 1553848807.976 * * [simplify]: iters left: 4 (68 enodes) 1553848807.998 * * [simplify]: iters left: 3 (99 enodes) 1553848808.024 * * [simplify]: iters left: 2 (121 enodes) 1553848808.058 * * [simplify]: iters left: 1 (130 enodes) 1553848808.091 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848808.091 * * [simplify]: Extracting #1: cost 15 inf + 0 1553848808.091 * * [simplify]: Extracting #2: cost 30 inf + 2 1553848808.091 * * [simplify]: Extracting #3: cost 30 inf + 130 1553848808.092 * * [simplify]: Extracting #4: cost 12 inf + 1530 1553848808.093 * * [simplify]: Extracting #5: cost 1 inf + 2680 1553848808.095 * * [simplify]: Extracting #6: cost 0 inf + 2843 1553848808.097 * [simplify]: Simplified to (+ (* (+ (* lambda1 -1/2) lambda2) lambda1) 1) 1553848808.097 * [simplify]: Simplified (2 2 2 2 2) to (λ (lambda1 lambda2 phi1 phi2) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos phi2) (+ (* (+ (* lambda1 -1/2) lambda2) lambda1) 1)))))) 1553848808.097 * * * * [progress]: [ 62 / 72 ] simplifiying candidate # 1553848808.097 * [simplify]: Simplifying (cos (- lambda1 lambda2)) 1553848808.097 * * [simplify]: iters left: 3 (4 enodes) 1553848808.099 * * [simplify]: iters left: 2 (14 enodes) 1553848808.103 * * [simplify]: iters left: 1 (17 enodes) 1553848808.107 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848808.108 * * [simplify]: Extracting #1: cost 3 inf + 0 1553848808.108 * * [simplify]: Extracting #2: cost 7 inf + 0 1553848808.108 * * [simplify]: Extracting #3: cost 5 inf + 43 1553848808.108 * * [simplify]: Extracting #4: cost 0 inf + 372 1553848808.108 * [simplify]: Simplified to (cos (- lambda1 lambda2)) 1553848808.108 * [simplify]: Simplified (2 2 2 2 2) to (λ (lambda1 lambda2 phi1 phi2) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))))) 1553848808.108 * * * * [progress]: [ 63 / 72 ] simplifiying candidate # 1553848808.109 * [simplify]: Simplifying (cos (- lambda1 lambda2)) 1553848808.109 * * [simplify]: iters left: 3 (4 enodes) 1553848808.111 * * [simplify]: iters left: 2 (14 enodes) 1553848808.115 * * [simplify]: iters left: 1 (17 enodes) 1553848808.120 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848808.120 * * [simplify]: Extracting #1: cost 3 inf + 0 1553848808.120 * * [simplify]: Extracting #2: cost 7 inf + 0 1553848808.120 * * [simplify]: Extracting #3: cost 5 inf + 43 1553848808.120 * * [simplify]: Extracting #4: cost 0 inf + 372 1553848808.120 * [simplify]: Simplified to (cos (- lambda1 lambda2)) 1553848808.120 * [simplify]: Simplified (2 2 2 2 2) to (λ (lambda1 lambda2 phi1 phi2) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))))) 1553848808.120 * * * * [progress]: [ 64 / 72 ] simplifiying candidate # 1553848808.121 * [simplify]: Simplifying (- lambda1 (+ lambda2 (* 1/6 (pow lambda1 3)))) 1553848808.121 * * [simplify]: iters left: 6 (8 enodes) 1553848808.126 * * [simplify]: iters left: 5 (38 enodes) 1553848808.141 * * [simplify]: iters left: 4 (79 enodes) 1553848808.175 * * [simplify]: iters left: 3 (174 enodes) 1553848808.220 * * [simplify]: iters left: 2 (337 enodes) 1553848808.389 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848808.390 * * [simplify]: Extracting #1: cost 17 inf + 0 1553848808.390 * * [simplify]: Extracting #2: cost 85 inf + 85 1553848808.391 * * [simplify]: Extracting #3: cost 149 inf + 946 1553848808.392 * * [simplify]: Extracting #4: cost 101 inf + 8436 1553848808.400 * * [simplify]: Extracting #5: cost 31 inf + 37577 1553848808.410 * * [simplify]: Extracting #6: cost 0 inf + 52382 1553848808.422 * * [simplify]: Extracting #7: cost 0 inf + 51869 1553848808.433 * [simplify]: Simplified to (- lambda1 (+ lambda2 (* (* lambda1 lambda1) (* lambda1 1/6)))) 1553848808.433 * [simplify]: Simplified (2 2 1 2) to (λ (lambda1 lambda2 phi1 phi2) (+ lambda1 (atan2 (* (cos phi2) (- lambda1 (+ lambda2 (* (* lambda1 lambda1) (* lambda1 1/6))))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))))) 1553848808.434 * * * * [progress]: [ 65 / 72 ] simplifiying candidate # 1553848808.434 * [simplify]: Simplifying (sin (- lambda1 lambda2)) 1553848808.434 * * [simplify]: iters left: 3 (4 enodes) 1553848808.436 * * [simplify]: iters left: 2 (14 enodes) 1553848808.440 * * [simplify]: iters left: 1 (17 enodes) 1553848808.445 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848808.445 * * [simplify]: Extracting #1: cost 3 inf + 0 1553848808.445 * * [simplify]: Extracting #2: cost 7 inf + 0 1553848808.446 * * [simplify]: Extracting #3: cost 5 inf + 43 1553848808.446 * * [simplify]: Extracting #4: cost 0 inf + 372 1553848808.446 * [simplify]: Simplified to (sin (- lambda1 lambda2)) 1553848808.446 * [simplify]: Simplified (2 2 1 2) to (λ (lambda1 lambda2 phi1 phi2) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))))) 1553848808.446 * * * * [progress]: [ 66 / 72 ] simplifiying candidate # 1553848808.446 * [simplify]: Simplifying (sin (- lambda1 lambda2)) 1553848808.446 * * [simplify]: iters left: 3 (4 enodes) 1553848808.448 * * [simplify]: iters left: 2 (14 enodes) 1553848808.452 * * [simplify]: iters left: 1 (17 enodes) 1553848808.457 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848808.457 * * [simplify]: Extracting #1: cost 3 inf + 0 1553848808.457 * * [simplify]: Extracting #2: cost 7 inf + 0 1553848808.457 * * [simplify]: Extracting #3: cost 5 inf + 43 1553848808.457 * * [simplify]: Extracting #4: cost 0 inf + 372 1553848808.457 * [simplify]: Simplified to (sin (- lambda1 lambda2)) 1553848808.457 * [simplify]: Simplified (2 2 1 2) to (λ (lambda1 lambda2 phi1 phi2) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))))) 1553848808.457 * * * * [progress]: [ 67 / 72 ] simplifiying candidate # 1553848808.458 * [simplify]: Simplifying (- 2 (+ (* 1/2 (pow phi2 2)) (* 1/2 (pow phi1 2)))) 1553848808.458 * * [simplify]: iters left: 6 (10 enodes) 1553848808.461 * * [simplify]: iters left: 5 (47 enodes) 1553848808.470 * * [simplify]: iters left: 4 (82 enodes) 1553848808.486 * * [simplify]: iters left: 3 (144 enodes) 1553848808.519 * * [simplify]: iters left: 2 (197 enodes) 1553848808.571 * * [simplify]: iters left: 1 (241 enodes) 1553848808.650 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848808.650 * * [simplify]: Extracting #1: cost 16 inf + 0 1553848808.650 * * [simplify]: Extracting #2: cost 45 inf + 2 1553848808.651 * * [simplify]: Extracting #3: cost 39 inf + 1594 1553848808.653 * * [simplify]: Extracting #4: cost 5 inf + 5106 1553848808.655 * * [simplify]: Extracting #5: cost 0 inf + 5560 1553848808.657 * [simplify]: Simplified to (- 2 (* (+ (* phi2 phi2) (* phi1 phi1)) 1/2)) 1553848808.657 * [simplify]: Simplified (2 2 2) to (λ (lambda1 lambda2 phi1 phi2) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (- 2 (* (+ (* phi2 phi2) (* phi1 phi1)) 1/2))))) 1553848808.657 * * * * [progress]: [ 68 / 72 ] simplifiying candidate # 1553848808.657 * [simplify]: Simplifying (+ (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) 1553848808.657 * * [simplify]: iters left: 6 (10 enodes) 1553848808.660 * * [simplify]: iters left: 5 (34 enodes) 1553848808.665 * * [simplify]: iters left: 4 (37 enodes) 1553848808.670 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848808.670 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848808.670 * * [simplify]: Extracting #2: cost 9 inf + 0 1553848808.670 * * [simplify]: Extracting #3: cost 12 inf + 1 1553848808.670 * * [simplify]: Extracting #4: cost 12 inf + 185 1553848808.671 * * [simplify]: Extracting #5: cost 10 inf + 248 1553848808.671 * * [simplify]: Extracting #6: cost 6 inf + 475 1553848808.671 * * [simplify]: Extracting #7: cost 0 inf + 1632 1553848808.671 * [simplify]: Simplified to (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))) 1553848808.671 * [simplify]: Simplified (2 2 2) to (λ (lambda1 lambda2 phi1 phi2) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))))) 1553848808.671 * * * * [progress]: [ 69 / 72 ] simplifiying candidate # 1553848808.672 * [simplify]: Simplifying (+ (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) 1553848808.672 * * [simplify]: iters left: 6 (10 enodes) 1553848808.674 * * [simplify]: iters left: 5 (34 enodes) 1553848808.679 * * [simplify]: iters left: 4 (37 enodes) 1553848808.687 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848808.687 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848808.687 * * [simplify]: Extracting #2: cost 9 inf + 0 1553848808.687 * * [simplify]: Extracting #3: cost 12 inf + 1 1553848808.687 * * [simplify]: Extracting #4: cost 12 inf + 185 1553848808.687 * * [simplify]: Extracting #5: cost 10 inf + 248 1553848808.687 * * [simplify]: Extracting #6: cost 6 inf + 475 1553848808.688 * * [simplify]: Extracting #7: cost 0 inf + 1632 1553848808.688 * [simplify]: Simplified to (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))) 1553848808.688 * [simplify]: Simplified (2 2 2) to (λ (lambda1 lambda2 phi1 phi2) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))))) 1553848808.688 * * * * [progress]: [ 70 / 72 ] simplifiying candidate # 1553848808.689 * [simplify]: Simplifying (- 1 (+ (* 1/2 (pow lambda1 2)) (* 1/2 (pow phi2 2)))) 1553848808.689 * * [simplify]: iters left: 6 (11 enodes) 1553848808.695 * * [simplify]: iters left: 5 (51 enodes) 1553848808.714 * * [simplify]: iters left: 4 (84 enodes) 1553848808.746 * * [simplify]: iters left: 3 (144 enodes) 1553848808.775 * * [simplify]: iters left: 2 (197 enodes) 1553848808.810 * * [simplify]: iters left: 1 (241 enodes) 1553848808.866 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848808.866 * * [simplify]: Extracting #1: cost 16 inf + 0 1553848808.867 * * [simplify]: Extracting #2: cost 45 inf + 2 1553848808.867 * * [simplify]: Extracting #3: cost 49 inf + 332 1553848808.868 * * [simplify]: Extracting #4: cost 16 inf + 3195 1553848808.869 * * [simplify]: Extracting #5: cost 1 inf + 5438 1553848808.871 * * [simplify]: Extracting #6: cost 0 inf + 5561 1553848808.873 * [simplify]: Simplified to (- (* -1/2 (+ (* phi2 phi2) (* lambda1 lambda1))) -1) 1553848808.873 * [simplify]: Simplified (2 2 2 2) to (λ (lambda1 lambda2 phi1 phi2) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (- (* -1/2 (+ (* phi2 phi2) (* lambda1 lambda1))) -1))))) 1553848808.873 * * * * [progress]: [ 71 / 72 ] simplifiying candidate # 1553848808.874 * [simplify]: Simplifying (* (cos (- lambda1 lambda2)) (cos phi2)) 1553848808.874 * * [simplify]: iters left: 5 (7 enodes) 1553848808.875 * * [simplify]: iters left: 4 (24 enodes) 1553848808.879 * * [simplify]: iters left: 3 (27 enodes) 1553848808.884 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848808.884 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848808.884 * * [simplify]: Extracting #2: cost 8 inf + 0 1553848808.884 * * [simplify]: Extracting #3: cost 11 inf + 1 1553848808.884 * * [simplify]: Extracting #4: cost 9 inf + 64 1553848808.884 * * [simplify]: Extracting #5: cost 2 inf + 495 1553848808.884 * * [simplify]: Extracting #6: cost 1 inf + 698 1553848808.884 * * [simplify]: Extracting #7: cost 0 inf + 901 1553848808.884 * [simplify]: Simplified to (* (cos (- lambda1 lambda2)) (cos phi2)) 1553848808.884 * [simplify]: Simplified (2 2 2 2) to (λ (lambda1 lambda2 phi1 phi2) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))) 1553848808.885 * * * * [progress]: [ 72 / 72 ] simplifiying candidate # 1553848808.885 * [simplify]: Simplifying (* (cos (- lambda1 lambda2)) (cos phi2)) 1553848808.885 * * [simplify]: iters left: 5 (7 enodes) 1553848808.888 * * [simplify]: iters left: 4 (24 enodes) 1553848808.895 * * [simplify]: iters left: 3 (27 enodes) 1553848808.903 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848808.903 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848808.903 * * [simplify]: Extracting #2: cost 8 inf + 0 1553848808.903 * * [simplify]: Extracting #3: cost 11 inf + 1 1553848808.903 * * [simplify]: Extracting #4: cost 9 inf + 64 1553848808.903 * * [simplify]: Extracting #5: cost 2 inf + 495 1553848808.903 * * [simplify]: Extracting #6: cost 1 inf + 698 1553848808.904 * * [simplify]: Extracting #7: cost 0 inf + 901 1553848808.904 * [simplify]: Simplified to (* (cos (- lambda1 lambda2)) (cos phi2)) 1553848808.904 * [simplify]: Simplified (2 2 2 2) to (λ (lambda1 lambda2 phi1 phi2) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))) 1553848808.904 * * * [progress]: adding candidates to table 1553848809.991 * [progress]: [Phase 3 of 3] Extracting. 1553848809.995 * [simplify]: Simplifying (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))))) 1553848809.995 * * [simplify]: iters left: 6 (14 enodes) 1553848809.996 * * [simplify]: iters left: 5 (18 enodes) 1553848809.997 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848809.997 * * [simplify]: Extracting #1: cost 3 inf + 0 1553848809.997 * * [simplify]: Extracting #2: cost 4 inf + 1 1553848809.997 * * [simplify]: Extracting #3: cost 8 inf + 1 1553848809.997 * * [simplify]: Extracting #4: cost 12 inf + 1 1553848809.997 * * [simplify]: Extracting #5: cost 11 inf + 3 1553848809.997 * * [simplify]: Extracting #6: cost 8 inf + 126 1553848809.997 * * [simplify]: Extracting #7: cost 5 inf + 372 1553848809.997 * * [simplify]: Extracting #8: cost 2 inf + 1082 1553848809.997 * * [simplify]: Extracting #9: cost 0 inf + 2210 1553848809.998 * [simplify]: Simplified to (+ (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (* (cos phi2) (cos (- lambda1 lambda2))) (cos phi1))) lambda1) 1553849264.580 * [regime-testing]: Baseline error score: 0 1553849264.581 * [regime-testing]: Oracle error score: 0 1553849264.581 * [regime-testing]: End program error score: 0