3.682 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.584 * * * [progress]: [2/2] Setting up program. 0.596 * [progress]: [Phase 2 of 3] Improving. 0.597 * [simplify]: Simplifying: (* R (* 2.0 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2.0)) 2.0) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))))) (sqrt (- 1.0 (+ (pow (sin (/ (- phi1 phi2) 2.0)) 2.0) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))))))))) 0.597 * * [simplify]: Extracting # 0 : cost 0 0.597 * * [simplify]: Extracting # 1 : cost 0 0.597 * * [simplify]: Extracting # 2 : cost 0 0.597 * * [simplify]: Extracting # 3 : cost 0 0.598 * * [simplify]: Extracting # 4 : cost 0 0.598 * * [simplify]: Extracting # 5 : cost 0 0.598 * * [simplify]: Extracting # 6 : cost 0 0.598 * * [simplify]: Extracting # 7 : cost 0 0.598 * * [simplify]: Extracting # 8 : cost 0 0.598 * * [simplify]: Extracting # 9 : cost 0 0.598 * * [simplify]: Extracting # 10 : cost 0 0.598 * * [simplify]: Extracting # 11 : cost 0 0.598 * * [simplify]: Extracting # 12 : cost 0 0.598 * * [simplify]: Extracting # 13 : cost 0 0.598 * * [simplify]: Extracting # 14 : cost 0 0.598 * * [simplify]: Extracting # 15 : cost 0 0.598 * * [simplify]: Extracting # 16 : cost 0 0.599 * * [simplify]: Extracting # 17 : cost 0 0.599 * * [simplify]: iteration 0 : 26 enodes (cost 65 ) 0.609 * * [simplify]: Extracting # 0 : cost 0 0.609 * * [simplify]: Extracting # 1 : cost 0 0.609 * * [simplify]: Extracting # 2 : cost 0 0.609 * * [simplify]: Extracting # 3 : cost 0 0.609 * * [simplify]: Extracting # 4 : cost 0 0.609 * * [simplify]: Extracting # 5 : cost 0 0.609 * * [simplify]: iteration 1 : 56 enodes (cost 65 ) 0.629 * * [simplify]: Extracting # 0 : cost 0 0.629 * * [simplify]: Extracting # 1 : cost 0 0.630 * * [simplify]: Extracting # 2 : cost 0 0.630 * * [simplify]: Extracting # 3 : cost 0 0.630 * * [simplify]: Extracting # 4 : cost 0 0.630 * * [simplify]: iteration 2 : 100 enodes (cost 63 ) 0.672 * * [simplify]: Extracting # 0 : cost 0 0.673 * * [simplify]: Extracting # 1 : cost 0 0.673 * * [simplify]: Extracting # 2 : cost 0 0.674 * * [simplify]: Extracting # 3 : cost 0 0.674 * * [simplify]: Extracting # 4 : cost 0 0.674 * * [simplify]: iteration 3 : 186 enodes (cost 63 ) 0.805 * * [simplify]: Extracting # 0 : cost 0 0.806 * * [simplify]: Extracting # 1 : cost 0 0.807 * * [simplify]: Extracting # 2 : cost 0 0.807 * * [simplify]: Extracting # 3 : cost 0 0.808 * * [simplify]: Extracting # 4 : cost 0 0.809 * * [simplify]: iteration 4 : 371 enodes (cost 63 ) 1.033 * * [simplify]: Extracting # 0 : cost 0 1.034 * * [simplify]: Extracting # 1 : cost 0 1.035 * * [simplify]: Extracting # 2 : cost 0 1.036 * * [simplify]: Extracting # 3 : cost 0 1.037 * * [simplify]: Extracting # 4 : cost 0 1.037 * * [simplify]: Extracting # 5 : cost 0 1.038 * * [simplify]: iteration 5 : 700 enodes (cost 63 ) 1.747 * * [simplify]: Extracting # 0 : cost 0 1.750 * * [simplify]: Extracting # 1 : cost 0 1.753 * * [simplify]: Extracting # 2 : cost 0 1.755 * * [simplify]: Extracting # 3 : cost 0 1.758 * * [simplify]: Extracting # 4 : cost 0 1.760 * * [simplify]: Extracting # 5 : cost 0 1.763 * * [simplify]: iteration 6 : 1587 enodes (cost 63 ) 5.609 * * [simplify]: Extracting # 0 : cost 0 5.631 * * [simplify]: Extracting # 1 : cost 0 5.639 * * [simplify]: Extracting # 2 : cost 0 5.647 * * [simplify]: Extracting # 3 : cost 0 5.655 * * [simplify]: Extracting # 4 : cost 0 5.663 * * [simplify]: Extracting # 5 : cost 0 5.671 * * [simplify]: iteration done: 5001 enodes (cost 63 ) 5.671 * [simplify]: Simplified to: (* (* R 2.0) (atan2 (sqrt (fma (* (cos phi1) (cos phi2)) (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- phi1 phi2) 2.0)) 2.0))) (sqrt (- 1.0 (fma (* (cos phi1) (cos phi2)) (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- phi1 phi2) 2.0)) 2.0)))))) 5.684 * * [progress]: iteration 1 / 4 5.684 * * * [progress]: picking best candidate 5.706 * * * * [pick]: Picked # 5.706 * * * [progress]: localizing error 5.768 * * * [progress]: generating rewritten candidates 5.768 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 3 1) 5.783 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 3 1) 5.793 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 2 2) 5.803 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2 2 1) 5.832 * * * [progress]: generating series expansions 5.832 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 3 1) 5.832 * [backup-simplify]: Simplify (sin (/ (- phi1 phi2) 2.0)) into (sin (* 0.5 (- phi1 phi2))) 5.832 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in (phi1 phi2) around 0 5.832 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi2 5.832 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi2 5.832 * [taylor]: Taking taylor expansion of 0.5 in phi2 5.832 * [backup-simplify]: Simplify 0.5 into 0.5 5.832 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi2 5.832 * [taylor]: Taking taylor expansion of phi1 in phi2 5.832 * [backup-simplify]: Simplify phi1 into phi1 5.832 * [taylor]: Taking taylor expansion of phi2 in phi2 5.832 * [backup-simplify]: Simplify 0 into 0 5.832 * [backup-simplify]: Simplify 1 into 1 5.833 * [backup-simplify]: Simplify (- 0) into 0 5.834 * [backup-simplify]: Simplify (+ phi1 0) into phi1 5.834 * [backup-simplify]: Simplify (* 0.5 phi1) into (* 0.5 phi1) 5.834 * [backup-simplify]: Simplify (sin (* 0.5 phi1)) into (sin (* 0.5 phi1)) 5.834 * [backup-simplify]: Simplify (cos (* 0.5 phi1)) into (cos (* 0.5 phi1)) 5.834 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 5.834 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 5.834 * [taylor]: Taking taylor expansion of 0.5 in phi1 5.834 * [backup-simplify]: Simplify 0.5 into 0.5 5.834 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 5.834 * [taylor]: Taking taylor expansion of phi1 in phi1 5.834 * [backup-simplify]: Simplify 0 into 0 5.834 * [backup-simplify]: Simplify 1 into 1 5.834 * [taylor]: Taking taylor expansion of phi2 in phi1 5.834 * [backup-simplify]: Simplify phi2 into phi2 5.834 * [backup-simplify]: Simplify (- phi2) into (- phi2) 5.834 * [backup-simplify]: Simplify (+ 0 (- phi2)) into (- phi2) 5.834 * [backup-simplify]: Simplify (* 0.5 (- phi2)) into (* -0.5 phi2) 5.834 * [backup-simplify]: Simplify (sin (* -0.5 phi2)) into (sin (* -0.5 phi2)) 5.835 * [backup-simplify]: Simplify (cos (* -0.5 phi2)) into (cos (* -0.5 phi2)) 5.835 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 5.835 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 5.835 * [taylor]: Taking taylor expansion of 0.5 in phi1 5.835 * [backup-simplify]: Simplify 0.5 into 0.5 5.835 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 5.835 * [taylor]: Taking taylor expansion of phi1 in phi1 5.835 * [backup-simplify]: Simplify 0 into 0 5.835 * [backup-simplify]: Simplify 1 into 1 5.835 * [taylor]: Taking taylor expansion of phi2 in phi1 5.835 * [backup-simplify]: Simplify phi2 into phi2 5.835 * [backup-simplify]: Simplify (- phi2) into (- phi2) 5.835 * [backup-simplify]: Simplify (+ 0 (- phi2)) into (- phi2) 5.835 * [backup-simplify]: Simplify (* 0.5 (- phi2)) into (* -0.5 phi2) 5.835 * [backup-simplify]: Simplify (sin (* -0.5 phi2)) into (sin (* -0.5 phi2)) 5.835 * [backup-simplify]: Simplify (cos (* -0.5 phi2)) into (cos (* -0.5 phi2)) 5.836 * [backup-simplify]: Simplify (* (sin (* -0.5 phi2)) 1) into (sin (* -0.5 phi2)) 5.836 * [backup-simplify]: Simplify (* (cos (* -0.5 phi2)) 0) into 0 5.836 * [backup-simplify]: Simplify (+ (sin (* -0.5 phi2)) 0) into (sin (* -0.5 phi2)) 5.836 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 5.836 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 5.836 * [taylor]: Taking taylor expansion of -0.5 in phi2 5.836 * [backup-simplify]: Simplify -0.5 into -0.5 5.836 * [taylor]: Taking taylor expansion of phi2 in phi2 5.836 * [backup-simplify]: Simplify 0 into 0 5.836 * [backup-simplify]: Simplify 1 into 1 5.837 * [backup-simplify]: Simplify (* -0.5 0) into 0 5.838 * [backup-simplify]: Simplify (+ (* -0.5 1) (* 0 0)) into (- 0.5) 5.838 * [backup-simplify]: Simplify 0 into 0 5.839 * [backup-simplify]: Simplify (+ 0) into 0 5.840 * [backup-simplify]: Simplify (+ (* (sin (* -0.5 phi2)) 0) (* 0 1)) into 0 5.841 * [backup-simplify]: Simplify (- 0) into 0 5.841 * [backup-simplify]: Simplify (+ 1 0) into 1 5.841 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 (- phi2))) into 0.5 5.844 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0.5 1) 1))) into 0.5 5.844 * [backup-simplify]: Simplify (+ (* (cos (* -0.5 phi2)) 0.5) (* 0 0)) into (* 0.5 (cos (* -0.5 phi2))) 5.845 * [backup-simplify]: Simplify (+ 0 (* 0.5 (cos (* -0.5 phi2)))) into (* 0.5 (cos (* -0.5 phi2))) 5.845 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 phi2))) in phi2 5.845 * [taylor]: Taking taylor expansion of 0.5 in phi2 5.845 * [backup-simplify]: Simplify 0.5 into 0.5 5.845 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 5.845 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 5.845 * [taylor]: Taking taylor expansion of -0.5 in phi2 5.845 * [backup-simplify]: Simplify -0.5 into -0.5 5.845 * [taylor]: Taking taylor expansion of phi2 in phi2 5.845 * [backup-simplify]: Simplify 0 into 0 5.845 * [backup-simplify]: Simplify 1 into 1 5.845 * [backup-simplify]: Simplify (* -0.5 0) into 0 5.847 * [backup-simplify]: Simplify (+ (* -0.5 1) (* 0 0)) into (- 0.5) 5.847 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 5.847 * [backup-simplify]: Simplify 0.5 into 0.5 5.851 * [backup-simplify]: Simplify (+ (* 1 (/ (pow (- 0.5) 1) 1))) into (- 0.5) 5.851 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 5.854 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0.5 2) 2)) 0) into (- 0.125) 5.855 * [backup-simplify]: Simplify (+ (* (sin (* -0.5 phi2)) (- 0.125)) (+ (* 0 0) (* 0 1))) into (- (* 0.125 (sin (* -0.5 phi2)))) 5.856 * [backup-simplify]: Simplify (- 0) into 0 5.856 * [backup-simplify]: Simplify (+ 0 0) into 0 5.857 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 (- phi2)))) into 0 5.858 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 5.859 * [backup-simplify]: Simplify (+ (* (cos (* -0.5 phi2)) 0) (+ (* 0 0.5) (* 0 0))) into 0 5.859 * [backup-simplify]: Simplify (+ (- (* 0.125 (sin (* -0.5 phi2)))) 0) into (- (* 0.125 (sin (* -0.5 phi2)))) 5.859 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 phi2)))) in phi2 5.859 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 phi2))) in phi2 5.859 * [taylor]: Taking taylor expansion of 0.125 in phi2 5.859 * [backup-simplify]: Simplify 0.125 into 0.125 5.859 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 5.859 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 5.859 * [taylor]: Taking taylor expansion of -0.5 in phi2 5.859 * [backup-simplify]: Simplify -0.5 into -0.5 5.859 * [taylor]: Taking taylor expansion of phi2 in phi2 5.859 * [backup-simplify]: Simplify 0 into 0 5.859 * [backup-simplify]: Simplify 1 into 1 5.860 * [backup-simplify]: Simplify (* -0.5 0) into 0 5.861 * [backup-simplify]: Simplify (+ (* -0.5 1) (* 0 0)) into (- 0.5) 5.862 * [backup-simplify]: Simplify (* 0.125 0) into 0 5.862 * [backup-simplify]: Simplify (- 0) into 0 5.862 * [backup-simplify]: Simplify 0 into 0 5.862 * [backup-simplify]: Simplify (+ 0) into 0 5.863 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 5.863 * [backup-simplify]: Simplify 0 into 0 5.865 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 1) (* 0 0))) into 0 5.865 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 5.866 * [backup-simplify]: Simplify 0 into 0 5.867 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0.5 1) 1) (/ (pow 0 1) 1)) 0) into 0 5.868 * [backup-simplify]: Simplify (+ (* (sin (* -0.5 phi2)) 0) (+ (* 0 (- 0.125)) (+ (* 0 0) (* 0 1)))) into 0 5.869 * [backup-simplify]: Simplify (- 0) into 0 5.869 * [backup-simplify]: Simplify (+ 0 0) into 0 5.871 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- phi2))))) into 0 5.875 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0.5 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into (- 0.020833333333333332) 5.877 * [backup-simplify]: Simplify (+ (* (cos (* -0.5 phi2)) (- 0.020833333333333332)) (+ (* 0 0) (+ (* 0 0.5) (* 0 0)))) into (- (* 0.020833333333333332 (cos (* -0.5 phi2)))) 5.877 * [backup-simplify]: Simplify (+ 0 (- (* 0.020833333333333332 (cos (* -0.5 phi2))))) into (- (* 0.020833333333333332 (cos (* -0.5 phi2)))) 5.877 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 phi2)))) in phi2 5.877 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 phi2))) in phi2 5.877 * [taylor]: Taking taylor expansion of 0.020833333333333332 in phi2 5.877 * [backup-simplify]: Simplify 0.020833333333333332 into 0.020833333333333332 5.877 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 5.877 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 5.877 * [taylor]: Taking taylor expansion of -0.5 in phi2 5.877 * [backup-simplify]: Simplify -0.5 into -0.5 5.877 * [taylor]: Taking taylor expansion of phi2 in phi2 5.877 * [backup-simplify]: Simplify 0 into 0 5.877 * [backup-simplify]: Simplify 1 into 1 5.878 * [backup-simplify]: Simplify (* -0.5 0) into 0 5.879 * [backup-simplify]: Simplify (+ (* -0.5 1) (* 0 0)) into (- 0.5) 5.879 * [backup-simplify]: Simplify (* 0.020833333333333332 1) into 0.020833333333333332 5.880 * [backup-simplify]: Simplify (- 0.020833333333333332) into (- 0.020833333333333332) 5.880 * [backup-simplify]: Simplify (- 0.020833333333333332) into (- 0.020833333333333332)