2.375 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.036 * * * [progress]: [2/2] Setting up program. 0.039 * [progress]: [Phase 2 of 3] Improving. 0.040 * [simplify]: Simplifying: (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 0.040 * * [simplify]: Extracting # 0 : cost 0 0.040 * * [simplify]: Extracting # 1 : cost 0 0.040 * * [simplify]: Extracting # 2 : cost 0 0.040 * * [simplify]: Extracting # 3 : cost 0 0.040 * * [simplify]: Extracting # 4 : cost 0 0.040 * * [simplify]: Extracting # 5 : cost 0 0.040 * * [simplify]: Extracting # 6 : cost 0 0.040 * * [simplify]: Extracting # 7 : cost 0 0.040 * * [simplify]: Extracting # 8 : cost 0 0.040 * * [simplify]: Extracting # 9 : cost 0 0.040 * * [simplify]: Extracting # 10 : cost 0 0.040 * * [simplify]: iteration 0 : 14 enodes (cost 17 ) 0.045 * * [simplify]: Extracting # 0 : cost 0 0.045 * * [simplify]: Extracting # 1 : cost 0 0.045 * * [simplify]: Extracting # 2 : cost 0 0.045 * * [simplify]: iteration 1 : 22 enodes (cost 17 ) 0.053 * * [simplify]: Extracting # 0 : cost 0 0.053 * * [simplify]: Extracting # 1 : cost 0 0.053 * * [simplify]: Extracting # 2 : cost 0 0.053 * * [simplify]: iteration 2 : 39 enodes (cost 14 ) 0.068 * * [simplify]: Extracting # 0 : cost 0 0.068 * * [simplify]: Extracting # 1 : cost 0 0.069 * * [simplify]: Extracting # 2 : cost 0 0.069 * * [simplify]: iteration 3 : 66 enodes (cost 14 ) 0.092 * * [simplify]: Extracting # 0 : cost 0 0.092 * * [simplify]: Extracting # 1 : cost 0 0.092 * * [simplify]: Extracting # 2 : cost 0 0.092 * * [simplify]: iteration 4 : 92 enodes (cost 14 ) 0.115 * * [simplify]: Extracting # 0 : cost 0 0.115 * * [simplify]: Extracting # 1 : cost 0 0.116 * * [simplify]: Extracting # 2 : cost 0 0.116 * * [simplify]: iteration 5 : 102 enodes (cost 14 ) 0.150 * * [simplify]: Extracting # 0 : cost 0 0.150 * * [simplify]: Extracting # 1 : cost 0 0.150 * * [simplify]: Extracting # 2 : cost 0 0.150 * * [simplify]: iteration 6 : 124 enodes (cost 14 ) 0.176 * * [simplify]: Extracting # 0 : cost 0 0.177 * * [simplify]: Extracting # 1 : cost 0 0.177 * * [simplify]: Extracting # 2 : cost 0 0.177 * * [simplify]: iteration 7 : 152 enodes (cost 14 ) 0.225 * * [simplify]: Extracting # 0 : cost 0 0.225 * * [simplify]: Extracting # 1 : cost 0 0.226 * * [simplify]: Extracting # 2 : cost 0 0.226 * * [simplify]: Extracting # 3 : cost 0 0.226 * * [simplify]: Extracting # 4 : cost 0 0.226 * * [simplify]: iteration 8 : 203 enodes (cost 14 ) 0.316 * * [simplify]: Extracting # 0 : cost 0 0.316 * * [simplify]: Extracting # 1 : cost 0 0.317 * * [simplify]: Extracting # 2 : cost 0 0.317 * * [simplify]: iteration 9 : 264 enodes (cost 14 ) 0.384 * * [simplify]: Extracting # 0 : cost 0 0.384 * * [simplify]: Extracting # 1 : cost 0 0.385 * * [simplify]: Extracting # 2 : cost 0 0.385 * * [simplify]: iteration 10 : 299 enodes (cost 14 ) 0.564 * * [simplify]: Extracting # 0 : cost 0 0.565 * * [simplify]: Extracting # 1 : cost 0 0.565 * * [simplify]: Extracting # 2 : cost 0 0.566 * * [simplify]: iteration 11 : 381 enodes (cost 14 ) 0.691 * * [simplify]: Extracting # 0 : cost 0 0.692 * * [simplify]: Extracting # 1 : cost 0 0.693 * * [simplify]: Extracting # 2 : cost 0 0.693 * * [simplify]: iteration 12 : 394 enodes (cost 14 ) 0.787 * * [simplify]: Extracting # 0 : cost 0 0.787 * * [simplify]: Extracting # 1 : cost 0 0.787 * * [simplify]: Extracting # 2 : cost 0 0.788 * * [simplify]: Extracting # 3 : cost 0 0.788 * * [simplify]: iteration 13 : 413 enodes (cost 14 ) 0.921 * * [simplify]: Extracting # 0 : cost 0 0.921 * * [simplify]: Extracting # 1 : cost 0 0.922 * * [simplify]: Extracting # 2 : cost 0 0.922 * * [simplify]: iteration 14 : 451 enodes (cost 14 ) 1.173 * * [simplify]: Extracting # 0 : cost 0 1.174 * * [simplify]: Extracting # 1 : cost 0 1.175 * * [simplify]: Extracting # 2 : cost 0 1.175 * * [simplify]: iteration 15 : 578 enodes (cost 14 ) 1.406 * * [simplify]: Extracting # 0 : cost 0 1.407 * * [simplify]: Extracting # 1 : cost 0 1.408 * * [simplify]: Extracting # 2 : cost 0 1.408 * * [simplify]: iteration 16 : 714 enodes (cost 14 ) 1.912 * * [simplify]: Extracting # 0 : cost 0 1.913 * * [simplify]: Extracting # 1 : cost 0 1.914 * * [simplify]: Extracting # 2 : cost 0 1.915 * * [simplify]: iteration 17 : 951 enodes (cost 14 ) 2.602 * * [simplify]: Extracting # 0 : cost 0 2.604 * * [simplify]: Extracting # 1 : cost 0 2.605 * * [simplify]: Extracting # 2 : cost 0 2.606 * * [simplify]: iteration 18 : 1233 enodes (cost 14 ) 3.254 * * [simplify]: Extracting # 0 : cost 0 3.256 * * [simplify]: Extracting # 1 : cost 0 3.257 * * [simplify]: Extracting # 2 : cost 0 3.258 * * [simplify]: iteration 19 : 1379 enodes (cost 14 ) 3.983 * * [simplify]: Extracting # 0 : cost 0 3.984 * * [simplify]: Extracting # 1 : cost 0 3.985 * * [simplify]: Extracting # 2 : cost 0 3.986 * * [simplify]: iteration 20 : 1436 enodes (cost 14 ) 4.687 * * [simplify]: Extracting # 0 : cost 0 4.688 * * [simplify]: Extracting # 1 : cost 0 4.689 * * [simplify]: Extracting # 2 : cost 0 4.690 * * [simplify]: iteration 21 : 1466 enodes (cost 14 ) 5.389 * * [simplify]: Extracting # 0 : cost 0 5.390 * * [simplify]: Extracting # 1 : cost 0 5.391 * * [simplify]: Extracting # 2 : cost 0 5.391 * * [simplify]: iteration 22 : 1491 enodes (cost 14 ) 6.199 * * [simplify]: Extracting # 0 : cost 0 6.200 * * [simplify]: Extracting # 1 : cost 0 6.200 * * [simplify]: iteration 23 : 1532 enodes (cost 14 ) 7.008 * * [simplify]: Extracting # 0 : cost 0 7.009 * * [simplify]: iteration 24 : 1542 enodes (cost 14 ) 7.822 * * [simplify]: Extracting # 0 : cost 0 7.823 * * [simplify]: iteration done: 1542 enodes (cost 14 ) 7.823 * [simplify]: Simplified to: (- x (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) 7.826 * * [progress]: iteration 1 / 4 7.826 * * * [progress]: picking best candidate 7.828 * * * * [pick]: Picked # 7.828 * * * [progress]: localizing error 7.841 * * * [progress]: generating rewritten candidates 7.841 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 7.891 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2 2) 7.919 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1) 7.928 * * * [progress]: generating series expansions 7.928 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)