0.272 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.158 * * * [progress]: [2/2] Setting up program. 0.161 * [progress]: [Phase 2 of 3] Improving. 0.162 * [simplify]: Simplifying: (* R (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))) 0.162 * * [simplify]: Extracting # 0 : cost 0 0.162 * * [simplify]: Extracting # 1 : cost 0 0.162 * * [simplify]: Extracting # 2 : cost 0 0.162 * * [simplify]: Extracting # 3 : cost 0 0.162 * * [simplify]: Extracting # 4 : cost 0 0.162 * * [simplify]: Extracting # 5 : cost 0 0.162 * * [simplify]: Extracting # 6 : cost 0 0.162 * * [simplify]: Extracting # 7 : cost 0 0.162 * * [simplify]: Extracting # 8 : cost 0 0.162 * * [simplify]: Extracting # 9 : cost 0 0.162 * * [simplify]: Extracting # 10 : cost 0 0.162 * * [simplify]: Extracting # 11 : cost 0 0.162 * * [simplify]: Extracting # 12 : cost 0 0.162 * * [simplify]: iteration 0 : 17 enodes (cost 32 ) 0.166 * * [simplify]: Extracting # 0 : cost 0 0.166 * * [simplify]: Extracting # 1 : cost 0 0.166 * * [simplify]: Extracting # 2 : cost 0 0.166 * * [simplify]: iteration 1 : 34 enodes (cost 16 ) 0.179 * * [simplify]: Extracting # 0 : cost 0 0.179 * * [simplify]: Extracting # 1 : cost 0 0.179 * * [simplify]: Extracting # 2 : cost 0 0.179 * * [simplify]: iteration 2 : 76 enodes (cost 16 ) 0.227 * * [simplify]: Extracting # 0 : cost 0 0.227 * * [simplify]: Extracting # 1 : cost 0 0.228 * * [simplify]: Extracting # 2 : cost 0 0.228 * * [simplify]: iteration 3 : 257 enodes (cost 16 ) 0.508 * * [simplify]: Extracting # 0 : cost 0 0.510 * * [simplify]: Extracting # 1 : cost 0 0.511 * * [simplify]: Extracting # 2 : cost 0 0.512 * * [simplify]: iteration 4 : 826 enodes (cost 16 ) 1.538 * * [simplify]: Extracting # 0 : cost 0 1.542 * * [simplify]: Extracting # 1 : cost 0 1.545 * * [simplify]: Extracting # 2 : cost 0 1.548 * * [simplify]: Extracting # 3 : cost 0 1.551 * * [simplify]: Extracting # 4 : cost 0 1.554 * * [simplify]: iteration 5 : 2355 enodes (cost 16 ) 4.814 * * [simplify]: Extracting # 0 : cost 0 4.820 * * [simplify]: Extracting # 1 : cost 0 4.830 * * [simplify]: Extracting # 2 : cost 0 4.834 * * [simplify]: Extracting # 3 : cost 0 4.838 * * [simplify]: Extracting # 4 : cost 0 4.842 * * [simplify]: Extracting # 5 : cost 0 4.846 * * [simplify]: iteration done: 5000 enodes (cost 16 ) 4.846 * [simplify]: Simplified to: (* (hypot (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (- phi1 phi2)) R) 4.851 * * [progress]: iteration 1 / 4 4.851 * * * [progress]: picking best candidate 4.855 * * * * [pick]: Picked # 4.855 * * * [progress]: localizing error 4.890 * * * [progress]: generating rewritten candidates 4.890 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 4.922 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 4.951 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 4.959 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 4.961 * * * [progress]: generating series expansions 4.961 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 4.961 * [backup-simplify]: Simplify (cos (/ (+ phi1 phi2) 2.0)) into (cos (* 0.5 (+ phi2 phi1))) 4.961 * [approximate]: Taking taylor expansion of (cos (* 0.5 (+ phi2 phi1))) in (phi1 phi2) around 0 4.961 * [taylor]: Taking taylor expansion of (cos (* 0.5 (+ phi2 phi1))) in phi2 4.961 * [taylor]: Taking taylor expansion of (* 0.5 (+ phi2 phi1)) in phi2 4.962 * [taylor]: Taking taylor expansion of 0.5 in phi2 4.962 * [backup-simplify]: Simplify 0.5 into 0.5 4.962 * [taylor]: Taking taylor expansion of (+ phi2 phi1) in phi2 4.962 * [taylor]: Taking taylor expansion of phi2 in phi2 4.962 * [backup-simplify]: Simplify 0 into 0 4.962 * [backup-simplify]: Simplify 1 into 1 4.962 * [taylor]: Taking taylor expansion of phi1 in phi2 4.962 * [backup-simplify]: Simplify phi1 into phi1 4.962 * [backup-simplify]: Simplify (+ 0 phi1) into phi1 4.962 * [backup-simplify]: Simplify (* 0.5 phi1) into (* 0.5 phi1) 4.962 * [backup-simplify]: Simplify (cos (* 0.5 phi1)) into (cos (* 0.5 phi1)) 4.962 * [backup-simplify]: Simplify (sin (* 0.5 phi1)) into (sin (* 0.5 phi1)) 4.962 * [taylor]: Taking taylor expansion of (cos (* 0.5 (+ phi2 phi1))) in phi1 4.962 * [taylor]: Taking taylor expansion of (* 0.5 (+ phi2 phi1)) in phi1 4.962 * [taylor]: Taking taylor expansion of 0.5 in phi1 4.962 * [backup-simplify]: Simplify 0.5 into 0.5 4.962 * [taylor]: Taking taylor expansion of (+ phi2 phi1) in phi1 4.962 * [taylor]: Taking taylor expansion of phi2 in phi1 4.962 * [backup-simplify]: Simplify phi2 into phi2 4.962 * [taylor]: Taking taylor expansion of phi1 in phi1 4.962 * [backup-simplify]: Simplify 0 into 0 4.962 * [backup-simplify]: Simplify 1 into 1 4.962 * [backup-simplify]: Simplify (+ phi2 0) into phi2 4.962 * [backup-simplify]: Simplify (* 0.5 phi2) into (* 0.5 phi2) 4.962 * [backup-simplify]: Simplify (cos (* 0.5 phi2)) into (cos (* 0.5 phi2)) 4.962 * [backup-simplify]: Simplify (sin (* 0.5 phi2)) into (sin (* 0.5 phi2)) 4.962 * [taylor]: Taking taylor expansion of (cos (* 0.5 (+ phi2 phi1))) in phi1 4.962 * [taylor]: Taking taylor expansion of (* 0.5 (+ phi2 phi1)) in phi1 4.962 * [taylor]: Taking taylor expansion of 0.5 in phi1 4.962 * [backup-simplify]: Simplify 0.5 into 0.5 4.962 * [taylor]: Taking taylor expansion of (+ phi2 phi1) in phi1 4.962 * [taylor]: Taking taylor expansion of phi2 in phi1 4.962 * [backup-simplify]: Simplify phi2 into phi2 4.962 * [taylor]: Taking taylor expansion of phi1 in phi1 4.962 * [backup-simplify]: Simplify 0 into 0 4.962 * [backup-simplify]: Simplify 1 into 1 4.962 * [backup-simplify]: Simplify (+ phi2 0) into phi2 4.962 * [backup-simplify]: Simplify (* 0.5 phi2) into (* 0.5 phi2) 4.962 * [backup-simplify]: Simplify (cos (* 0.5 phi2)) into (cos (* 0.5 phi2)) 4.963 * [backup-simplify]: Simplify (sin (* 0.5 phi2)) into (sin (* 0.5 phi2)) 4.963 * [backup-simplify]: Simplify (* (cos (* 0.5 phi2)) 1) into (cos (* 0.5 phi2)) 4.963 * [backup-simplify]: Simplify (* (sin (* 0.5 phi2)) 0) into 0 4.963 * [backup-simplify]: Simplify (- 0) into 0 4.963 * [backup-simplify]: Simplify (+ (cos (* 0.5 phi2)) 0) into (cos (* 0.5 phi2)) 4.963 * [taylor]: Taking taylor expansion of (cos (* 0.5 phi2)) in phi2 4.963 * [taylor]: Taking taylor expansion of (* 0.5 phi2) in phi2 4.963 * [taylor]: Taking taylor expansion of 0.5 in phi2 4.963 * [backup-simplify]: Simplify 0.5 into 0.5 4.963 * [taylor]: Taking taylor expansion of phi2 in phi2 4.963 * [backup-simplify]: Simplify 0 into 0 4.963 * [backup-simplify]: Simplify 1 into 1 4.964 * [backup-simplify]: Simplify (* 0.5 0) into 0 4.965 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 4.965 * [backup-simplify]: Simplify 1 into 1 4.965 * [backup-simplify]: Simplify (+ 0) into 0 4.965 * [backup-simplify]: Simplify (+ (* (cos (* 0.5 phi2)) 0) (* 0 1)) into 0 4.966 * [backup-simplify]: Simplify (+ 0 1) into 1 4.966 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 phi2)) into 0.5 4.967 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0.5 1) 1))) into 0.5 4.968 * [backup-simplify]: Simplify (+ (* (sin (* 0.5 phi2)) 0.5) (* 0 0)) into (* 0.5 (sin (* 0.5 phi2))) 4.968 * [backup-simplify]: Simplify (- (* 0.5 (sin (* 0.5 phi2)))) into (- (* 0.5 (sin (* 0.5 phi2)))) 4.968 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (sin (* 0.5 phi2))))) into (- (* 0.5 (sin (* 0.5 phi2)))) 4.968 * [taylor]: Taking taylor expansion of (- (* 0.5 (sin (* 0.5 phi2)))) in phi2 4.968 * [taylor]: Taking taylor expansion of (* 0.5 (sin (* 0.5 phi2))) in phi2 4.968 * [taylor]: Taking taylor expansion of 0.5 in phi2 4.968 * [backup-simplify]: Simplify 0.5 into 0.5 4.968 * [taylor]: Taking taylor expansion of (sin (* 0.5 phi2)) in phi2 4.968 * [taylor]: Taking taylor expansion of (* 0.5 phi2) in phi2 4.968 * [taylor]: Taking taylor expansion of 0.5 in phi2 4.968 * [backup-simplify]: Simplify 0.5 into 0.5 4.968 * [taylor]: Taking taylor expansion of phi2 in phi2 4.968 * [backup-simplify]: Simplify 0 into 0 4.968 * [backup-simplify]: Simplify 1 into 1 4.968 * [backup-simplify]: Simplify (* 0.5 0) into 0 4.969 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 4.970 * [backup-simplify]: Simplify (* 0.5 0) into 0 4.970 * [backup-simplify]: Simplify (- 0) into 0 4.970 * [backup-simplify]: Simplify 0 into 0 4.970 * [backup-simplify]: Simplify (+ 0) into 0 4.970 * [backup-simplify]: Simplify 0 into 0 4.972 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0.5 2) 2)) 0) into (- 0.125) 4.973 * [backup-simplify]: Simplify (+ (* (cos (* 0.5 phi2)) (- 0.125)) (+ (* 0 0) (* 0 1))) into (- (* 0.125 (cos (* 0.5 phi2)))) 4.973 * [backup-simplify]: Simplify (+ 0 0) into 0 4.973 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 phi2))) into 0 4.974 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 4.974 * [backup-simplify]: Simplify (+ (* (sin (* 0.5 phi2)) 0) (+ (* 0 0.5) (* 0 0))) into 0 4.975 * [backup-simplify]: Simplify (- 0) into 0 4.975 * [backup-simplify]: Simplify (+ (- (* 0.125 (cos (* 0.5 phi2)))) 0) into (- (* 0.125 (cos (* 0.5 phi2)))) 4.975 * [taylor]: Taking taylor expansion of (- (* 0.125 (cos (* 0.5 phi2)))) in phi2 4.975 * [taylor]: Taking taylor expansion of (* 0.125 (cos (* 0.5 phi2))) in phi2 4.975 * [taylor]: Taking taylor expansion of 0.125 in phi2 4.975 * [backup-simplify]: Simplify 0.125 into 0.125 4.975 * [taylor]: Taking taylor expansion of (cos (* 0.5 phi2)) in phi2 4.975 * [taylor]: Taking taylor expansion of (* 0.5 phi2) in phi2 4.975 * [taylor]: Taking taylor expansion of 0.5 in phi2 4.975 * [backup-simplify]: Simplify 0.5 into 0.5 4.975 * [taylor]: Taking taylor expansion of phi2 in phi2 4.975 * [backup-simplify]: Simplify 0 into 0 4.975 * [backup-simplify]: Simplify 1 into 1 4.975 * [backup-simplify]: Simplify (* 0.5 0) into 0 4.976 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 4.976 * [backup-simplify]: Simplify (* 0.125 1) into 0.125 4.976 * [backup-simplify]: Simplify (- 0.125) into (- 0.125) 4.977 * [backup-simplify]: Simplify (- 0.125) into (- 0.125) 4.978 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0.5 1) 1))) into 0.5 4.979 * [backup-simplify]: Simplify (+ (* 0.5 0.5) (* 0 0)) into 0.25 4.979 * [backup-simplify]: Simplify (- 0.25) into (- 0.25) 4.979 * [backup-simplify]: Simplify (- 0.25) into (- 0.25)