0.260 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.126 * * * [progress]: [2/2] Setting up program. 0.130 * [progress]: [Phase 2 of 3] Improving. 0.130 * [simplify]: Simplifying: (* R (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))) 0.130 * * [simplify]: Extracting # 0 : cost 0 0.130 * * [simplify]: Extracting # 1 : cost 0 0.130 * * [simplify]: Extracting # 2 : cost 0 0.131 * * [simplify]: Extracting # 3 : cost 0 0.131 * * [simplify]: Extracting # 4 : cost 0 0.131 * * [simplify]: Extracting # 5 : cost 0 0.131 * * [simplify]: Extracting # 6 : cost 0 0.131 * * [simplify]: Extracting # 7 : cost 0 0.131 * * [simplify]: Extracting # 8 : cost 0 0.131 * * [simplify]: Extracting # 9 : cost 0 0.131 * * [simplify]: Extracting # 10 : cost 0 0.131 * * [simplify]: Extracting # 11 : cost 0 0.131 * * [simplify]: Extracting # 12 : cost 0 0.131 * * [simplify]: iteration 0 : 17 enodes (cost 32 ) 0.133 * * [simplify]: Extracting # 0 : cost 0 0.133 * * [simplify]: Extracting # 1 : cost 0 0.133 * * [simplify]: Extracting # 2 : cost 0 0.134 * * [simplify]: iteration 1 : 34 enodes (cost 16 ) 0.139 * * [simplify]: Extracting # 0 : cost 0 0.140 * * [simplify]: Extracting # 1 : cost 0 0.140 * * [simplify]: Extracting # 2 : cost 0 0.140 * * [simplify]: iteration 2 : 76 enodes (cost 16 ) 0.220 * * [simplify]: Extracting # 0 : cost 0 0.221 * * [simplify]: Extracting # 1 : cost 0 0.221 * * [simplify]: Extracting # 2 : cost 0 0.222 * * [simplify]: iteration 3 : 257 enodes (cost 16 ) 0.426 * * [simplify]: Extracting # 0 : cost 0 0.427 * * [simplify]: Extracting # 1 : cost 0 0.428 * * [simplify]: Extracting # 2 : cost 0 0.428 * * [simplify]: iteration 4 : 826 enodes (cost 16 ) 1.323 * * [simplify]: Extracting # 0 : cost 0 1.325 * * [simplify]: Extracting # 1 : cost 0 1.327 * * [simplify]: Extracting # 2 : cost 0 1.328 * * [simplify]: Extracting # 3 : cost 0 1.330 * * [simplify]: Extracting # 4 : cost 0 1.332 * * [simplify]: iteration 5 : 2355 enodes (cost 16 ) 4.791 * * [simplify]: Extracting # 0 : cost 0 4.802 * * [simplify]: Extracting # 1 : cost 0 4.810 * * [simplify]: Extracting # 2 : cost 0 4.815 * * [simplify]: Extracting # 3 : cost 0 4.819 * * [simplify]: Extracting # 4 : cost 0 4.823 * * [simplify]: Extracting # 5 : cost 0 4.827 * * [simplify]: iteration done: 5000 enodes (cost 16 ) 4.827 * [simplify]: Simplified to: (* (hypot (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (- phi1 phi2)) R) 4.834 * * [progress]: iteration 1 / 4 4.834 * * * [progress]: picking best candidate 4.839 * * * * [pick]: Picked # 4.839 * * * [progress]: localizing error 5.267 * * * [progress]: generating rewritten candidates 5.267 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 5.288 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 5.336 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 5.343 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 5.345 * * * [progress]: generating series expansions 5.345 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 5.345 * [backup-simplify]: Simplify (cos (/ (+ phi1 phi2) 2.0)) into (cos (* 0.5 (+ phi2 phi1))) 5.345 * [approximate]: Taking taylor expansion of (cos (* 0.5 (+ phi2 phi1))) in (phi1 phi2) around 0 5.345 * [taylor]: Taking taylor expansion of (cos (* 0.5 (+ phi2 phi1))) in phi2 5.345 * [taylor]: Taking taylor expansion of (* 0.5 (+ phi2 phi1)) in phi2 5.345 * [taylor]: Taking taylor expansion of 0.5 in phi2 5.345 * [backup-simplify]: Simplify 0.5 into 0.5 5.345 * [taylor]: Taking taylor expansion of (+ phi2 phi1) in phi2 5.345 * [taylor]: Taking taylor expansion of phi2 in phi2 5.345 * [backup-simplify]: Simplify 0 into 0 5.345 * [backup-simplify]: Simplify 1 into 1 5.345 * [taylor]: Taking taylor expansion of phi1 in phi2 5.345 * [backup-simplify]: Simplify phi1 into phi1 5.345 * [backup-simplify]: Simplify (+ 0 phi1) into phi1 5.345 * [backup-simplify]: Simplify (* 0.5 phi1) into (* 0.5 phi1) 5.345 * [backup-simplify]: Simplify (cos (* 0.5 phi1)) into (cos (* 0.5 phi1)) 5.346 * [backup-simplify]: Simplify (sin (* 0.5 phi1)) into (sin (* 0.5 phi1)) 5.346 * [taylor]: Taking taylor expansion of (cos (* 0.5 (+ phi2 phi1))) in phi1 5.346 * [taylor]: Taking taylor expansion of (* 0.5 (+ phi2 phi1)) in phi1 5.346 * [taylor]: Taking taylor expansion of 0.5 in phi1 5.346 * [backup-simplify]: Simplify 0.5 into 0.5 5.346 * [taylor]: Taking taylor expansion of (+ phi2 phi1) in phi1 5.346 * [taylor]: Taking taylor expansion of phi2 in phi1 5.346 * [backup-simplify]: Simplify phi2 into phi2 5.346 * [taylor]: Taking taylor expansion of phi1 in phi1 5.346 * [backup-simplify]: Simplify 0 into 0 5.346 * [backup-simplify]: Simplify 1 into 1 5.346 * [backup-simplify]: Simplify (+ phi2 0) into phi2 5.346 * [backup-simplify]: Simplify (* 0.5 phi2) into (* 0.5 phi2) 5.346 * [backup-simplify]: Simplify (cos (* 0.5 phi2)) into (cos (* 0.5 phi2)) 5.346 * [backup-simplify]: Simplify (sin (* 0.5 phi2)) into (sin (* 0.5 phi2)) 5.346 * [taylor]: Taking taylor expansion of (cos (* 0.5 (+ phi2 phi1))) in phi1 5.346 * [taylor]: Taking taylor expansion of (* 0.5 (+ phi2 phi1)) in phi1 5.346 * [taylor]: Taking taylor expansion of 0.5 in phi1 5.346 * [backup-simplify]: Simplify 0.5 into 0.5 5.346 * [taylor]: Taking taylor expansion of (+ phi2 phi1) in phi1 5.346 * [taylor]: Taking taylor expansion of phi2 in phi1 5.346 * [backup-simplify]: Simplify phi2 into phi2 5.346 * [taylor]: Taking taylor expansion of phi1 in phi1 5.346 * [backup-simplify]: Simplify 0 into 0 5.346 * [backup-simplify]: Simplify 1 into 1 5.346 * [backup-simplify]: Simplify (+ phi2 0) into phi2 5.346 * [backup-simplify]: Simplify (* 0.5 phi2) into (* 0.5 phi2) 5.346 * [backup-simplify]: Simplify (cos (* 0.5 phi2)) into (cos (* 0.5 phi2)) 5.346 * [backup-simplify]: Simplify (sin (* 0.5 phi2)) into (sin (* 0.5 phi2)) 5.346 * [backup-simplify]: Simplify (* (cos (* 0.5 phi2)) 1) into (cos (* 0.5 phi2)) 5.346 * [backup-simplify]: Simplify (* (sin (* 0.5 phi2)) 0) into 0 5.347 * [backup-simplify]: Simplify (- 0) into 0 5.347 * [backup-simplify]: Simplify (+ (cos (* 0.5 phi2)) 0) into (cos (* 0.5 phi2)) 5.347 * [taylor]: Taking taylor expansion of (cos (* 0.5 phi2)) in phi2 5.347 * [taylor]: Taking taylor expansion of (* 0.5 phi2) in phi2 5.347 * [taylor]: Taking taylor expansion of 0.5 in phi2 5.347 * [backup-simplify]: Simplify 0.5 into 0.5 5.347 * [taylor]: Taking taylor expansion of phi2 in phi2 5.347 * [backup-simplify]: Simplify 0 into 0 5.347 * [backup-simplify]: Simplify 1 into 1 5.348 * [backup-simplify]: Simplify (* 0.5 0) into 0 5.348 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 5.349 * [backup-simplify]: Simplify 1 into 1 5.349 * [backup-simplify]: Simplify (+ 0) into 0 5.349 * [backup-simplify]: Simplify (+ (* (cos (* 0.5 phi2)) 0) (* 0 1)) into 0 5.349 * [backup-simplify]: Simplify (+ 0 1) into 1 5.350 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 phi2)) into 0.5 5.352 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0.5 1) 1))) into 0.5 5.352 * [backup-simplify]: Simplify (+ (* (sin (* 0.5 phi2)) 0.5) (* 0 0)) into (* 0.5 (sin (* 0.5 phi2))) 5.352 * [backup-simplify]: Simplify (- (* 0.5 (sin (* 0.5 phi2)))) into (- (* 0.5 (sin (* 0.5 phi2)))) 5.352 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (sin (* 0.5 phi2))))) into (- (* 0.5 (sin (* 0.5 phi2)))) 5.352 * [taylor]: Taking taylor expansion of (- (* 0.5 (sin (* 0.5 phi2)))) in phi2 5.352 * [taylor]: Taking taylor expansion of (* 0.5 (sin (* 0.5 phi2))) in phi2 5.352 * [taylor]: Taking taylor expansion of 0.5 in phi2 5.352 * [backup-simplify]: Simplify 0.5 into 0.5 5.352 * [taylor]: Taking taylor expansion of (sin (* 0.5 phi2)) in phi2 5.352 * [taylor]: Taking taylor expansion of (* 0.5 phi2) in phi2 5.352 * [taylor]: Taking taylor expansion of 0.5 in phi2 5.352 * [backup-simplify]: Simplify 0.5 into 0.5 5.352 * [taylor]: Taking taylor expansion of phi2 in phi2 5.352 * [backup-simplify]: Simplify 0 into 0 5.352 * [backup-simplify]: Simplify 1 into 1 5.353 * [backup-simplify]: Simplify (* 0.5 0) into 0 5.354 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 5.354 * [backup-simplify]: Simplify (* 0.5 0) into 0 5.354 * [backup-simplify]: Simplify (- 0) into 0 5.354 * [backup-simplify]: Simplify 0 into 0 5.355 * [backup-simplify]: Simplify (+ 0) into 0 5.355 * [backup-simplify]: Simplify 0 into 0 5.356 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0.5 2) 2)) 0) into (- 0.125) 5.357 * [backup-simplify]: Simplify (+ (* (cos (* 0.5 phi2)) (- 0.125)) (+ (* 0 0) (* 0 1))) into (- (* 0.125 (cos (* 0.5 phi2)))) 5.357 * [backup-simplify]: Simplify (+ 0 0) into 0 5.358 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 phi2))) into 0 5.358 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 5.359 * [backup-simplify]: Simplify (+ (* (sin (* 0.5 phi2)) 0) (+ (* 0 0.5) (* 0 0))) into 0 5.359 * [backup-simplify]: Simplify (- 0) into 0 5.359 * [backup-simplify]: Simplify (+ (- (* 0.125 (cos (* 0.5 phi2)))) 0) into (- (* 0.125 (cos (* 0.5 phi2)))) 5.359 * [taylor]: Taking taylor expansion of (- (* 0.125 (cos (* 0.5 phi2)))) in phi2 5.359 * [taylor]: Taking taylor expansion of (* 0.125 (cos (* 0.5 phi2))) in phi2 5.359 * [taylor]: Taking taylor expansion of 0.125 in phi2 5.359 * [backup-simplify]: Simplify 0.125 into 0.125 5.359 * [taylor]: Taking taylor expansion of (cos (* 0.5 phi2)) in phi2 5.359 * [taylor]: Taking taylor expansion of (* 0.5 phi2) in phi2 5.359 * [taylor]: Taking taylor expansion of 0.5 in phi2 5.359 * [backup-simplify]: Simplify 0.5 into 0.5 5.359 * [taylor]: Taking taylor expansion of phi2 in phi2 5.359 * [backup-simplify]: Simplify 0 into 0 5.359 * [backup-simplify]: Simplify 1 into 1 5.360 * [backup-simplify]: Simplify (* 0.5 0) into 0 5.366 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 5.366 * [backup-simplify]: Simplify (* 0.125 1) into 0.125 5.367 * [backup-simplify]: Simplify (- 0.125) into (- 0.125) 5.367 * [backup-simplify]: Simplify (- 0.125) into (- 0.125) 5.369 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0.5 1) 1))) into 0.5 5.370 * [backup-simplify]: Simplify (+ (* 0.5 0.5) (* 0 0)) into 0.25 5.371 * [backup-simplify]: Simplify (- 0.25) into (- 0.25) 5.371 * [backup-simplify]: Simplify (- 0.25) into (- 0.25)