4.737 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.606 * * * [progress]: [2/2] Setting up program. 0.672 * [progress]: [Phase 2 of 3] Improving. 0.672 * [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.673 * * [simplify]: Extracting # 0 : cost 0 0.673 * * [simplify]: Extracting # 1 : cost 0 0.673 * * [simplify]: Extracting # 2 : cost 0 0.673 * * [simplify]: Extracting # 3 : cost 0 0.673 * * [simplify]: Extracting # 4 : cost 0 0.673 * * [simplify]: Extracting # 5 : cost 0 0.673 * * [simplify]: Extracting # 6 : cost 0 0.673 * * [simplify]: Extracting # 7 : cost 0 0.673 * * [simplify]: Extracting # 8 : cost 0 0.673 * * [simplify]: Extracting # 9 : cost 0 0.673 * * [simplify]: Extracting # 10 : cost 0 0.673 * * [simplify]: Extracting # 11 : cost 0 0.673 * * [simplify]: Extracting # 12 : cost 0 0.673 * * [simplify]: Extracting # 13 : cost 0 0.673 * * [simplify]: Extracting # 14 : cost 0 0.673 * * [simplify]: Extracting # 15 : cost 0 0.674 * * [simplify]: Extracting # 16 : cost 0 0.674 * * [simplify]: Extracting # 17 : cost 0 0.674 * * [simplify]: iteration 0 : 26 enodes (cost 65 ) 0.683 * * [simplify]: Extracting # 0 : cost 0 0.684 * * [simplify]: Extracting # 1 : cost 0 0.684 * * [simplify]: Extracting # 2 : cost 0 0.691 * * [simplify]: Extracting # 3 : cost 0 0.691 * * [simplify]: Extracting # 4 : cost 0 0.691 * * [simplify]: Extracting # 5 : cost 0 0.691 * * [simplify]: iteration 1 : 56 enodes (cost 65 ) 0.712 * * [simplify]: Extracting # 0 : cost 0 0.712 * * [simplify]: Extracting # 1 : cost 0 0.713 * * [simplify]: Extracting # 2 : cost 0 0.713 * * [simplify]: Extracting # 3 : cost 0 0.713 * * [simplify]: Extracting # 4 : cost 0 0.713 * * [simplify]: iteration 2 : 100 enodes (cost 63 ) 0.742 * * [simplify]: Extracting # 0 : cost 0 0.742 * * [simplify]: Extracting # 1 : cost 0 0.742 * * [simplify]: Extracting # 2 : cost 0 0.743 * * [simplify]: Extracting # 3 : cost 0 0.743 * * [simplify]: Extracting # 4 : cost 0 0.743 * * [simplify]: iteration 3 : 186 enodes (cost 63 ) 0.817 * * [simplify]: Extracting # 0 : cost 0 0.818 * * [simplify]: Extracting # 1 : cost 0 0.818 * * [simplify]: Extracting # 2 : cost 0 0.818 * * [simplify]: Extracting # 3 : cost 0 0.819 * * [simplify]: Extracting # 4 : cost 0 0.819 * * [simplify]: iteration 4 : 371 enodes (cost 63 ) 1.028 * * [simplify]: Extracting # 0 : cost 0 1.030 * * [simplify]: Extracting # 1 : cost 0 1.031 * * [simplify]: Extracting # 2 : cost 0 1.032 * * [simplify]: Extracting # 3 : cost 0 1.033 * * [simplify]: Extracting # 4 : cost 0 1.034 * * [simplify]: Extracting # 5 : cost 0 1.036 * * [simplify]: iteration 5 : 700 enodes (cost 63 ) 1.828 * * [simplify]: Extracting # 0 : cost 0 1.832 * * [simplify]: Extracting # 1 : cost 0 1.834 * * [simplify]: Extracting # 2 : cost 0 1.836 * * [simplify]: Extracting # 3 : cost 0 1.839 * * [simplify]: Extracting # 4 : cost 0 1.841 * * [simplify]: Extracting # 5 : cost 0 1.843 * * [simplify]: iteration 6 : 1587 enodes (cost 63 ) 5.060 * * [simplify]: Extracting # 0 : cost 0 5.074 * * [simplify]: Extracting # 1 : cost 0 5.081 * * [simplify]: Extracting # 2 : cost 0 5.092 * * [simplify]: Extracting # 3 : cost 0 5.098 * * [simplify]: Extracting # 4 : cost 0 5.102 * * [simplify]: Extracting # 5 : cost 0 5.106 * * [simplify]: iteration done: 5001 enodes (cost 63 ) 5.106 * [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.114 * * [progress]: iteration 1 / 4 5.114 * * * [progress]: picking best candidate 5.127 * * * * [pick]: Picked # 5.127 * * * [progress]: localizing error 5.197 * * * [progress]: generating rewritten candidates 5.197 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 3 1) 5.210 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 3 1) 5.220 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 2 2) 5.233 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2 2 1) 5.249 * * * [progress]: generating series expansions 5.249 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 3 1) 5.249 * [backup-simplify]: Simplify (sin (/ (- phi1 phi2) 2.0)) into (sin (* 0.5 (- phi1 phi2))) 5.249 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in (phi1 phi2) around 0 5.249 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi2 5.249 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi2 5.249 * [taylor]: Taking taylor expansion of 0.5 in phi2 5.249 * [backup-simplify]: Simplify 0.5 into 0.5 5.250 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi2 5.250 * [taylor]: Taking taylor expansion of phi1 in phi2 5.250 * [backup-simplify]: Simplify phi1 into phi1 5.250 * [taylor]: Taking taylor expansion of phi2 in phi2 5.250 * [backup-simplify]: Simplify 0 into 0 5.250 * [backup-simplify]: Simplify 1 into 1 5.250 * [backup-simplify]: Simplify (- 0) into 0 5.250 * [backup-simplify]: Simplify (+ phi1 0) into phi1 5.250 * [backup-simplify]: Simplify (* 0.5 phi1) into (* 0.5 phi1) 5.250 * [backup-simplify]: Simplify (sin (* 0.5 phi1)) into (sin (* 0.5 phi1)) 5.250 * [backup-simplify]: Simplify (cos (* 0.5 phi1)) into (cos (* 0.5 phi1)) 5.250 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 5.251 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 5.251 * [taylor]: Taking taylor expansion of 0.5 in phi1 5.251 * [backup-simplify]: Simplify 0.5 into 0.5 5.251 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 5.251 * [taylor]: Taking taylor expansion of phi1 in phi1 5.251 * [backup-simplify]: Simplify 0 into 0 5.251 * [backup-simplify]: Simplify 1 into 1 5.251 * [taylor]: Taking taylor expansion of phi2 in phi1 5.251 * [backup-simplify]: Simplify phi2 into phi2 5.251 * [backup-simplify]: Simplify (- phi2) into (- phi2) 5.251 * [backup-simplify]: Simplify (+ 0 (- phi2)) into (- phi2) 5.251 * [backup-simplify]: Simplify (* 0.5 (- phi2)) into (* -0.5 phi2) 5.251 * [backup-simplify]: Simplify (sin (* -0.5 phi2)) into (sin (* -0.5 phi2)) 5.251 * [backup-simplify]: Simplify (cos (* -0.5 phi2)) into (cos (* -0.5 phi2)) 5.251 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 5.251 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 5.251 * [taylor]: Taking taylor expansion of 0.5 in phi1 5.251 * [backup-simplify]: Simplify 0.5 into 0.5 5.251 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 5.251 * [taylor]: Taking taylor expansion of phi1 in phi1 5.251 * [backup-simplify]: Simplify 0 into 0 5.251 * [backup-simplify]: Simplify 1 into 1 5.251 * [taylor]: Taking taylor expansion of phi2 in phi1 5.251 * [backup-simplify]: Simplify phi2 into phi2 5.251 * [backup-simplify]: Simplify (- phi2) into (- phi2) 5.251 * [backup-simplify]: Simplify (+ 0 (- phi2)) into (- phi2) 5.251 * [backup-simplify]: Simplify (* 0.5 (- phi2)) into (* -0.5 phi2) 5.251 * [backup-simplify]: Simplify (sin (* -0.5 phi2)) into (sin (* -0.5 phi2)) 5.251 * [backup-simplify]: Simplify (cos (* -0.5 phi2)) into (cos (* -0.5 phi2)) 5.252 * [backup-simplify]: Simplify (* (sin (* -0.5 phi2)) 1) into (sin (* -0.5 phi2)) 5.252 * [backup-simplify]: Simplify (* (cos (* -0.5 phi2)) 0) into 0 5.252 * [backup-simplify]: Simplify (+ (sin (* -0.5 phi2)) 0) into (sin (* -0.5 phi2)) 5.252 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 5.252 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 5.252 * [taylor]: Taking taylor expansion of -0.5 in phi2 5.252 * [backup-simplify]: Simplify -0.5 into -0.5 5.252 * [taylor]: Taking taylor expansion of phi2 in phi2 5.252 * [backup-simplify]: Simplify 0 into 0 5.252 * [backup-simplify]: Simplify 1 into 1 5.252 * [backup-simplify]: Simplify (* -0.5 0) into 0 5.253 * [backup-simplify]: Simplify (+ (* -0.5 1) (* 0 0)) into (- 0.5) 5.253 * [backup-simplify]: Simplify 0 into 0 5.254 * [backup-simplify]: Simplify (+ 0) into 0 5.255 * [backup-simplify]: Simplify (+ (* (sin (* -0.5 phi2)) 0) (* 0 1)) into 0 5.255 * [backup-simplify]: Simplify (- 0) into 0 5.255 * [backup-simplify]: Simplify (+ 1 0) into 1 5.256 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 (- phi2))) into 0.5 5.257 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0.5 1) 1))) into 0.5 5.258 * [backup-simplify]: Simplify (+ (* (cos (* -0.5 phi2)) 0.5) (* 0 0)) into (* 0.5 (cos (* -0.5 phi2))) 5.258 * [backup-simplify]: Simplify (+ 0 (* 0.5 (cos (* -0.5 phi2)))) into (* 0.5 (cos (* -0.5 phi2))) 5.258 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 phi2))) in phi2 5.258 * [taylor]: Taking taylor expansion of 0.5 in phi2 5.258 * [backup-simplify]: Simplify 0.5 into 0.5 5.258 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 5.258 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 5.258 * [taylor]: Taking taylor expansion of -0.5 in phi2 5.258 * [backup-simplify]: Simplify -0.5 into -0.5 5.258 * [taylor]: Taking taylor expansion of phi2 in phi2 5.258 * [backup-simplify]: Simplify 0 into 0 5.258 * [backup-simplify]: Simplify 1 into 1 5.259 * [backup-simplify]: Simplify (* -0.5 0) into 0 5.259 * [backup-simplify]: Simplify (+ (* -0.5 1) (* 0 0)) into (- 0.5) 5.260 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 5.260 * [backup-simplify]: Simplify 0.5 into 0.5 5.266 * [backup-simplify]: Simplify (+ (* 1 (/ (pow (- 0.5) 1) 1))) into (- 0.5) 5.267 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 5.269 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0.5 2) 2)) 0) into (- 0.125) 5.269 * [backup-simplify]: Simplify (+ (* (sin (* -0.5 phi2)) (- 0.125)) (+ (* 0 0) (* 0 1))) into (- (* 0.125 (sin (* -0.5 phi2)))) 5.270 * [backup-simplify]: Simplify (- 0) into 0 5.270 * [backup-simplify]: Simplify (+ 0 0) into 0 5.270 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 (- phi2)))) into 0 5.271 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 5.271 * [backup-simplify]: Simplify (+ (* (cos (* -0.5 phi2)) 0) (+ (* 0 0.5) (* 0 0))) into 0 5.272 * [backup-simplify]: Simplify (+ (- (* 0.125 (sin (* -0.5 phi2)))) 0) into (- (* 0.125 (sin (* -0.5 phi2)))) 5.272 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 phi2)))) in phi2 5.272 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 phi2))) in phi2 5.272 * [taylor]: Taking taylor expansion of 0.125 in phi2 5.272 * [backup-simplify]: Simplify 0.125 into 0.125 5.272 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 5.272 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 5.272 * [taylor]: Taking taylor expansion of -0.5 in phi2 5.272 * [backup-simplify]: Simplify -0.5 into -0.5 5.272 * [taylor]: Taking taylor expansion of phi2 in phi2 5.272 * [backup-simplify]: Simplify 0 into 0 5.272 * [backup-simplify]: Simplify 1 into 1 5.272 * [backup-simplify]: Simplify (* -0.5 0) into 0 5.273 * [backup-simplify]: Simplify (+ (* -0.5 1) (* 0 0)) into (- 0.5) 5.273 * [backup-simplify]: Simplify (* 0.125 0) into 0 5.274 * [backup-simplify]: Simplify (- 0) into 0 5.274 * [backup-simplify]: Simplify 0 into 0 5.274 * [backup-simplify]: Simplify (+ 0) into 0 5.275 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 5.275 * [backup-simplify]: Simplify 0 into 0 5.275 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 1) (* 0 0))) into 0 5.276 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 5.276 * [backup-simplify]: Simplify 0 into 0 5.278 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0.5 1) 1) (/ (pow 0 1) 1)) 0) into 0 5.279 * [backup-simplify]: Simplify (+ (* (sin (* -0.5 phi2)) 0) (+ (* 0 (- 0.125)) (+ (* 0 0) (* 0 1)))) into 0 5.279 * [backup-simplify]: Simplify (- 0) into 0 5.279 * [backup-simplify]: Simplify (+ 0 0) into 0 5.280 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- phi2))))) into 0 5.285 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0.5 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into (- 0.020833333333333332) 5.286 * [backup-simplify]: Simplify (+ (* (cos (* -0.5 phi2)) (- 0.020833333333333332)) (+ (* 0 0) (+ (* 0 0.5) (* 0 0)))) into (- (* 0.020833333333333332 (cos (* -0.5 phi2)))) 5.286 * [backup-simplify]: Simplify (+ 0 (- (* 0.020833333333333332 (cos (* -0.5 phi2))))) into (- (* 0.020833333333333332 (cos (* -0.5 phi2)))) 5.286 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 phi2)))) in phi2 5.287 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 phi2))) in phi2 5.287 * [taylor]: Taking taylor expansion of 0.020833333333333332 in phi2 5.287 * [backup-simplify]: Simplify 0.020833333333333332 into 0.020833333333333332 5.287 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 5.287 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 5.287 * [taylor]: Taking taylor expansion of -0.5 in phi2 5.287 * [backup-simplify]: Simplify -0.5 into -0.5 5.287 * [taylor]: Taking taylor expansion of phi2 in phi2 5.287 * [backup-simplify]: Simplify 0 into 0 5.287 * [backup-simplify]: Simplify 1 into 1 5.287 * [backup-simplify]: Simplify (* -0.5 0) into 0 5.288 * [backup-simplify]: Simplify (+ (* -0.5 1) (* 0 0)) into (- 0.5) 5.289 * [backup-simplify]: Simplify (* 0.020833333333333332 1) into 0.020833333333333332 5.289 * [backup-simplify]: Simplify (- 0.020833333333333332) into (- 0.020833333333333332) 5.289 * [backup-simplify]: Simplify (- 0.020833333333333332) into (- 0.020833333333333332)