2.740 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 1.060 * * * [progress]: [2/2] Setting up program. 1.072 * [progress]: [Phase 2 of 3] Improving. 1.073 * [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))))))))) 1.073 * * [simplify]: Extracting # 0 : cost 0 1.073 * * [simplify]: Extracting # 1 : cost 0 1.073 * * [simplify]: Extracting # 2 : cost 0 1.073 * * [simplify]: Extracting # 3 : cost 0 1.073 * * [simplify]: Extracting # 4 : cost 0 1.073 * * [simplify]: Extracting # 5 : cost 0 1.073 * * [simplify]: Extracting # 6 : cost 0 1.074 * * [simplify]: Extracting # 7 : cost 0 1.074 * * [simplify]: Extracting # 8 : cost 0 1.074 * * [simplify]: Extracting # 9 : cost 0 1.074 * * [simplify]: Extracting # 10 : cost 0 1.074 * * [simplify]: Extracting # 11 : cost 0 1.074 * * [simplify]: Extracting # 12 : cost 0 1.074 * * [simplify]: Extracting # 13 : cost 0 1.074 * * [simplify]: Extracting # 14 : cost 0 1.074 * * [simplify]: Extracting # 15 : cost 0 1.074 * * [simplify]: Extracting # 16 : cost 0 1.074 * * [simplify]: Extracting # 17 : cost 0 1.074 * * [simplify]: iteration 0 : 26 enodes (cost 65 ) 1.083 * * [simplify]: Extracting # 0 : cost 0 1.083 * * [simplify]: Extracting # 1 : cost 0 1.083 * * [simplify]: Extracting # 2 : cost 0 1.084 * * [simplify]: Extracting # 3 : cost 0 1.084 * * [simplify]: Extracting # 4 : cost 0 1.084 * * [simplify]: Extracting # 5 : cost 0 1.084 * * [simplify]: iteration 1 : 56 enodes (cost 65 ) 1.103 * * [simplify]: Extracting # 0 : cost 0 1.103 * * [simplify]: Extracting # 1 : cost 0 1.104 * * [simplify]: Extracting # 2 : cost 0 1.104 * * [simplify]: Extracting # 3 : cost 0 1.104 * * [simplify]: Extracting # 4 : cost 0 1.104 * * [simplify]: iteration 2 : 96 enodes (cost 65 ) 1.145 * * [simplify]: Extracting # 0 : cost 0 1.145 * * [simplify]: Extracting # 1 : cost 0 1.145 * * [simplify]: Extracting # 2 : cost 0 1.146 * * [simplify]: Extracting # 3 : cost 0 1.146 * * [simplify]: Extracting # 4 : cost 0 1.146 * * [simplify]: iteration 3 : 177 enodes (cost 65 ) 1.253 * * [simplify]: Extracting # 0 : cost 0 1.254 * * [simplify]: Extracting # 1 : cost 0 1.255 * * [simplify]: Extracting # 2 : cost 0 1.256 * * [simplify]: Extracting # 3 : cost 0 1.256 * * [simplify]: Extracting # 4 : cost 0 1.256 * * [simplify]: iteration 4 : 303 enodes (cost 65 ) 1.411 * * [simplify]: Extracting # 0 : cost 0 1.411 * * [simplify]: Extracting # 1 : cost 0 1.412 * * [simplify]: Extracting # 2 : cost 0 1.412 * * [simplify]: Extracting # 3 : cost 0 1.412 * * [simplify]: Extracting # 4 : cost 0 1.413 * * [simplify]: Extracting # 5 : cost 0 1.413 * * [simplify]: iteration 5 : 522 enodes (cost 65 ) 1.989 * * [simplify]: Extracting # 0 : cost 0 1.992 * * [simplify]: Extracting # 1 : cost 0 1.994 * * [simplify]: Extracting # 2 : cost 0 1.996 * * [simplify]: Extracting # 3 : cost 0 1.998 * * [simplify]: Extracting # 4 : cost 0 2.000 * * [simplify]: iteration 6 : 1279 enodes (cost 65 ) 5.667 * * [simplify]: Extracting # 0 : cost 0 5.674 * * [simplify]: Extracting # 1 : cost 0 5.677 * * [simplify]: Extracting # 2 : cost 0 5.680 * * [simplify]: Extracting # 3 : cost 0 5.686 * * [simplify]: Extracting # 4 : cost 0 5.692 * * [simplify]: iteration 7 : 4457 enodes (cost 65 ) 8.755 * * [simplify]: Extracting # 0 : cost 0 8.760 * * [simplify]: Extracting # 1 : cost 0 8.764 * * [simplify]: Extracting # 2 : cost 0 8.768 * * [simplify]: Extracting # 3 : cost 0 8.772 * * [simplify]: iteration done: 5000 enodes (cost 65 ) 8.772 * [simplify]: Simplified to: (* 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))))))))) 8.773 * * [progress]: iteration 1 / 4 8.773 * * * [progress]: picking best candidate 8.779 * * * * [pick]: Picked # 8.779 * * * [progress]: localizing error 8.863 * * * [progress]: generating rewritten candidates 8.863 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 1 1) 8.883 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1 1 1) 8.902 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 8.921 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 8.943 * * * [progress]: generating series expansions 8.943 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 1 1) 8.943 * [backup-simplify]: Simplify (sin (/ (- phi1 phi2) 2.0)) into (sin (* 0.5 (- phi1 phi2))) 8.943 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in (phi1 phi2) around 0 8.943 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi2 8.943 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi2 8.943 * [taylor]: Taking taylor expansion of 0.5 in phi2 8.943 * [backup-simplify]: Simplify 0.5 into 0.5 8.943 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi2 8.943 * [taylor]: Taking taylor expansion of phi1 in phi2 8.943 * [backup-simplify]: Simplify phi1 into phi1 8.943 * [taylor]: Taking taylor expansion of phi2 in phi2 8.943 * [backup-simplify]: Simplify 0 into 0 8.943 * [backup-simplify]: Simplify 1 into 1 8.944 * [backup-simplify]: Simplify (- 0) into 0 8.944 * [backup-simplify]: Simplify (+ phi1 0) into phi1 8.944 * [backup-simplify]: Simplify (* 0.5 phi1) into (* 0.5 phi1) 8.944 * [backup-simplify]: Simplify (sin (* 0.5 phi1)) into (sin (* 0.5 phi1)) 8.944 * [backup-simplify]: Simplify (cos (* 0.5 phi1)) into (cos (* 0.5 phi1)) 8.944 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 8.944 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 8.944 * [taylor]: Taking taylor expansion of 0.5 in phi1 8.944 * [backup-simplify]: Simplify 0.5 into 0.5 8.944 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 8.944 * [taylor]: Taking taylor expansion of phi1 in phi1 8.944 * [backup-simplify]: Simplify 0 into 0 8.944 * [backup-simplify]: Simplify 1 into 1 8.944 * [taylor]: Taking taylor expansion of phi2 in phi1 8.944 * [backup-simplify]: Simplify phi2 into phi2 8.944 * [backup-simplify]: Simplify (- phi2) into (- phi2) 8.944 * [backup-simplify]: Simplify (+ 0 (- phi2)) into (- phi2) 8.944 * [backup-simplify]: Simplify (* 0.5 (- phi2)) into (* -0.5 phi2) 8.944 * [backup-simplify]: Simplify (sin (* -0.5 phi2)) into (sin (* -0.5 phi2)) 8.944 * [backup-simplify]: Simplify (cos (* -0.5 phi2)) into (cos (* -0.5 phi2)) 8.944 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 8.944 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 8.944 * [taylor]: Taking taylor expansion of 0.5 in phi1 8.944 * [backup-simplify]: Simplify 0.5 into 0.5 8.944 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 8.944 * [taylor]: Taking taylor expansion of phi1 in phi1 8.944 * [backup-simplify]: Simplify 0 into 0 8.944 * [backup-simplify]: Simplify 1 into 1 8.944 * [taylor]: Taking taylor expansion of phi2 in phi1 8.944 * [backup-simplify]: Simplify phi2 into phi2 8.944 * [backup-simplify]: Simplify (- phi2) into (- phi2) 8.944 * [backup-simplify]: Simplify (+ 0 (- phi2)) into (- phi2) 8.944 * [backup-simplify]: Simplify (* 0.5 (- phi2)) into (* -0.5 phi2) 8.944 * [backup-simplify]: Simplify (sin (* -0.5 phi2)) into (sin (* -0.5 phi2)) 8.945 * [backup-simplify]: Simplify (cos (* -0.5 phi2)) into (cos (* -0.5 phi2)) 8.945 * [backup-simplify]: Simplify (* (sin (* -0.5 phi2)) 1) into (sin (* -0.5 phi2)) 8.945 * [backup-simplify]: Simplify (* (cos (* -0.5 phi2)) 0) into 0 8.945 * [backup-simplify]: Simplify (+ (sin (* -0.5 phi2)) 0) into (sin (* -0.5 phi2)) 8.945 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 8.945 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 8.945 * [taylor]: Taking taylor expansion of -0.5 in phi2 8.945 * [backup-simplify]: Simplify -0.5 into -0.5 8.945 * [taylor]: Taking taylor expansion of phi2 in phi2 8.945 * [backup-simplify]: Simplify 0 into 0 8.945 * [backup-simplify]: Simplify 1 into 1 8.945 * [backup-simplify]: Simplify (* -0.5 0) into 0 8.946 * [backup-simplify]: Simplify (+ (* -0.5 1) (* 0 0)) into (- 0.5) 8.946 * [backup-simplify]: Simplify 0 into 0 8.946 * [backup-simplify]: Simplify (+ 0) into 0 8.947 * [backup-simplify]: Simplify (+ (* (sin (* -0.5 phi2)) 0) (* 0 1)) into 0 8.947 * [backup-simplify]: Simplify (- 0) into 0 8.947 * [backup-simplify]: Simplify (+ 1 0) into 1 8.948 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 (- phi2))) into 0.5 8.949 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0.5 1) 1))) into 0.5 8.950 * [backup-simplify]: Simplify (+ (* (cos (* -0.5 phi2)) 0.5) (* 0 0)) into (* 0.5 (cos (* -0.5 phi2))) 8.950 * [backup-simplify]: Simplify (+ 0 (* 0.5 (cos (* -0.5 phi2)))) into (* 0.5 (cos (* -0.5 phi2))) 8.950 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 phi2))) in phi2 8.950 * [taylor]: Taking taylor expansion of 0.5 in phi2 8.950 * [backup-simplify]: Simplify 0.5 into 0.5 8.950 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 8.950 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 8.950 * [taylor]: Taking taylor expansion of -0.5 in phi2 8.950 * [backup-simplify]: Simplify -0.5 into -0.5 8.950 * [taylor]: Taking taylor expansion of phi2 in phi2 8.950 * [backup-simplify]: Simplify 0 into 0 8.950 * [backup-simplify]: Simplify 1 into 1 8.950 * [backup-simplify]: Simplify (* -0.5 0) into 0 8.951 * [backup-simplify]: Simplify (+ (* -0.5 1) (* 0 0)) into (- 0.5) 8.951 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 8.951 * [backup-simplify]: Simplify 0.5 into 0.5 8.953 * [backup-simplify]: Simplify (+ (* 1 (/ (pow (- 0.5) 1) 1))) into (- 0.5) 8.954 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 8.955 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0.5 2) 2)) 0) into (- 0.125) 8.956 * [backup-simplify]: Simplify (+ (* (sin (* -0.5 phi2)) (- 0.125)) (+ (* 0 0) (* 0 1))) into (- (* 0.125 (sin (* -0.5 phi2)))) 8.956 * [backup-simplify]: Simplify (- 0) into 0 8.957 * [backup-simplify]: Simplify (+ 0 0) into 0 8.957 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 (- phi2)))) into 0 8.958 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 8.958 * [backup-simplify]: Simplify (+ (* (cos (* -0.5 phi2)) 0) (+ (* 0 0.5) (* 0 0))) into 0 8.959 * [backup-simplify]: Simplify (+ (- (* 0.125 (sin (* -0.5 phi2)))) 0) into (- (* 0.125 (sin (* -0.5 phi2)))) 8.959 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 phi2)))) in phi2 8.959 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 phi2))) in phi2 8.959 * [taylor]: Taking taylor expansion of 0.125 in phi2 8.959 * [backup-simplify]: Simplify 0.125 into 0.125 8.959 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 8.959 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 8.959 * [taylor]: Taking taylor expansion of -0.5 in phi2 8.959 * [backup-simplify]: Simplify -0.5 into -0.5 8.959 * [taylor]: Taking taylor expansion of phi2 in phi2 8.959 * [backup-simplify]: Simplify 0 into 0 8.959 * [backup-simplify]: Simplify 1 into 1 8.959 * [backup-simplify]: Simplify (* -0.5 0) into 0 8.960 * [backup-simplify]: Simplify (+ (* -0.5 1) (* 0 0)) into (- 0.5) 8.960 * [backup-simplify]: Simplify (* 0.125 0) into 0 8.960 * [backup-simplify]: Simplify (- 0) into 0 8.961 * [backup-simplify]: Simplify 0 into 0 8.961 * [backup-simplify]: Simplify (+ 0) into 0 8.961 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 8.961 * [backup-simplify]: Simplify 0 into 0 8.962 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 1) (* 0 0))) into 0 8.962 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 8.962 * [backup-simplify]: Simplify 0 into 0 8.963 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0.5 1) 1) (/ (pow 0 1) 1)) 0) into 0 8.964 * [backup-simplify]: Simplify (+ (* (sin (* -0.5 phi2)) 0) (+ (* 0 (- 0.125)) (+ (* 0 0) (* 0 1)))) into 0 8.964 * [backup-simplify]: Simplify (- 0) into 0 8.965 * [backup-simplify]: Simplify (+ 0 0) into 0 8.966 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- phi2))))) into 0 8.969 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0.5 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into (- 0.020833333333333332) 8.969 * [backup-simplify]: Simplify (+ (* (cos (* -0.5 phi2)) (- 0.020833333333333332)) (+ (* 0 0) (+ (* 0 0.5) (* 0 0)))) into (- (* 0.020833333333333332 (cos (* -0.5 phi2)))) 8.969 * [backup-simplify]: Simplify (+ 0 (- (* 0.020833333333333332 (cos (* -0.5 phi2))))) into (- (* 0.020833333333333332 (cos (* -0.5 phi2)))) 8.969 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 phi2)))) in phi2 8.970 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 phi2))) in phi2 8.970 * [taylor]: Taking taylor expansion of 0.020833333333333332 in phi2 8.970 * [backup-simplify]: Simplify 0.020833333333333332 into 0.020833333333333332 8.970 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 8.970 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 8.970 * [taylor]: Taking taylor expansion of -0.5 in phi2 8.970 * [backup-simplify]: Simplify -0.5 into -0.5 8.970 * [taylor]: Taking taylor expansion of phi2 in phi2 8.970 * [backup-simplify]: Simplify 0 into 0 8.970 * [backup-simplify]: Simplify 1 into 1 8.970 * [backup-simplify]: Simplify (* -0.5 0) into 0 8.971 * [backup-simplify]: Simplify (+ (* -0.5 1) (* 0 0)) into (- 0.5) 8.971 * [backup-simplify]: Simplify (* 0.020833333333333332 1) into 0.020833333333333332 8.971 * [backup-simplify]: Simplify (- 0.020833333333333332) into (- 0.020833333333333332) 8.972 * [backup-simplify]: Simplify (- 0.020833333333333332) into (- 0.020833333333333332)