32.316 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.028 * * * [progress]: [2/2] Setting up program. 0.034 * [progress]: [Phase 2 of 3] Improving. 0.034 * [simplify]: Simplifying: (- 1.0 (* x (+ 0.253 (* x 0.12)))) 0.034 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.034 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.034 * * [simplify]: Extracting # 2 : cost 4 inf + 1 0.034 * * [simplify]: Extracting # 3 : cost 5 inf + 2 0.034 * * [simplify]: Extracting # 4 : cost 5 inf + 3 0.034 * * [simplify]: Extracting # 5 : cost 0 inf + 416 0.035 * * [simplify]: iteration 0 : 8 enodes (cost 164 ) 0.038 * * [simplify]: Extracting # 0 : cost 0 inf + 416 0.038 * * [simplify]: Extracting # 1 : cost 5 inf + 416 0.038 * * [simplify]: Extracting # 2 : cost 0 inf + 827 0.038 * * [simplify]: iteration 1 : 19 enodes (cost 164 ) 0.046 * * [simplify]: Extracting # 0 : cost 0 inf + 827 0.046 * * [simplify]: Extracting # 1 : cost 6 inf + 827 0.047 * * [simplify]: Extracting # 2 : cost 0 inf + 1319 0.047 * * [simplify]: iteration 2 : 42 enodes (cost 164 ) 0.061 * * [simplify]: Extracting # 0 : cost 0 inf + 1319 0.061 * * [simplify]: Extracting # 1 : cost 10 inf + 1319 0.063 * * [simplify]: Extracting # 2 : cost 0 inf + 2421 0.064 * * [simplify]: iteration 3 : 78 enodes (cost 164 ) 0.090 * * [simplify]: Extracting # 0 : cost 0 inf + 2421 0.091 * * [simplify]: Extracting # 1 : cost 2 inf + 2261 0.093 * * [simplify]: Extracting # 2 : cost 0 inf + 2587 0.095 * * [simplify]: iteration 4 : 97 enodes (cost 164 ) 0.114 * * [simplify]: Extracting # 0 : cost 0 inf + 2587 0.115 * * [simplify]: Extracting # 1 : cost 6 inf + 2587 0.116 * * [simplify]: Extracting # 2 : cost 0 inf + 3522 0.117 * * [simplify]: Extracting # 3 : cost 0 inf + 3442 0.118 * * [simplify]: iteration 5 : 111 enodes (cost 164 ) 0.146 * * [simplify]: Extracting # 0 : cost 0 inf + 3442 0.148 * * [simplify]: Extracting # 1 : cost 11 inf + 3282 0.151 * * [simplify]: Extracting # 2 : cost 0 inf + 4585 0.154 * * [simplify]: Extracting # 3 : cost 0 inf + 4545 0.158 * * [simplify]: iteration 6 : 148 enodes (cost 164 ) 0.203 * * [simplify]: Extracting # 0 : cost 0 inf + 4545 0.205 * * [simplify]: Extracting # 1 : cost 47 inf + 3905 0.207 * * [simplify]: Extracting # 2 : cost 0 inf + 8153 0.210 * * [simplify]: iteration 7 : 276 enodes (cost 164 ) 0.305 * * [simplify]: Extracting # 0 : cost 0 inf + 8153 0.313 * * [simplify]: Extracting # 1 : cost 70 inf + 7553 0.325 * * [simplify]: Extracting # 2 : cost 0 inf + 15503 0.343 * * [simplify]: iteration 8 : 510 enodes (cost 164 ) 0.510 * * [simplify]: Extracting # 0 : cost 0 inf + 15503 0.518 * * [simplify]: Extracting # 1 : cost 56 inf + 13423 0.530 * * [simplify]: Extracting # 2 : cost 0 inf + 19823 0.551 * * [simplify]: iteration 9 : 772 enodes (cost 164 ) 0.689 * * [simplify]: Extracting # 0 : cost 0 inf + 19823 0.707 * * [simplify]: Extracting # 1 : cost 36 inf + 17543 0.721 * * [simplify]: Extracting # 2 : cost 0 inf + 22016 0.734 * * [simplify]: iteration 10 : 1012 enodes (cost 164 ) 0.828 * * [simplify]: Extracting # 0 : cost 0 inf + 22016 0.840 * * [simplify]: Extracting # 1 : cost 12 inf + 19976 0.865 * * [simplify]: Extracting # 2 : cost 0 inf + 21198 0.887 * * [simplify]: iteration 11 : 1152 enodes (cost 164 ) 0.966 * * [simplify]: Extracting # 0 : cost 0 inf + 21198 0.978 * * [simplify]: Extracting # 1 : cost 23 inf + 20638 0.994 * * [simplify]: Extracting # 2 : cost 0 inf + 23527 1.023 * * [simplify]: iteration 12 : 1305 enodes (cost 164 ) 1.146 * * [simplify]: Extracting # 0 : cost 0 inf + 23527 1.166 * * [simplify]: Extracting # 1 : cost 16 inf + 22447 1.178 * * [simplify]: Extracting # 2 : cost 0 inf + 24282 1.192 * * [simplify]: iteration 13 : 1435 enodes (cost 164 ) 1.261 * * [simplify]: Extracting # 0 : cost 0 inf + 24282 1.274 * * [simplify]: Extracting # 1 : cost 19 inf + 23562 1.288 * * [simplify]: Extracting # 2 : cost 0 inf + 25879 1.304 * * [simplify]: iteration 14 : 1590 enodes (cost 164 ) 1.362 * * [simplify]: Extracting # 0 : cost 0 inf + 25879 1.373 * * [simplify]: Extracting # 1 : cost 18 inf + 24959 1.387 * * [simplify]: Extracting # 2 : cost 0 inf + 26997 1.418 * * [simplify]: iteration 15 : 1729 enodes (cost 164 ) 1.526 * * [simplify]: Extracting # 0 : cost 0 inf + 26997 1.553 * * [simplify]: Extracting # 1 : cost 23 inf + 26277 1.583 * * [simplify]: Extracting # 2 : cost 0 inf + 29166 1.618 * * [simplify]: iteration 16 : 1867 enodes (cost 164 ) 1.677 * * [simplify]: Extracting # 0 : cost 0 inf + 29166 1.696 * * [simplify]: Extracting # 1 : cost 12 inf + 28086 1.728 * * [simplify]: Extracting # 2 : cost 0 inf + 29308 1.747 * * [simplify]: iteration 17 : 2011 enodes (cost 164 ) 1.828 * * [simplify]: Extracting # 0 : cost 0 inf + 29308 1.856 * * [simplify]: Extracting # 1 : cost 23 inf + 28748 1.892 * * [simplify]: Extracting # 2 : cost 0 inf + 31637 1.933 * * [simplify]: iteration 18 : 2159 enodes (cost 164 ) 2.044 * * [simplify]: Extracting # 0 : cost 0 inf + 31637 2.062 * * [simplify]: Extracting # 1 : cost 15 inf + 30557 2.078 * * [simplify]: Extracting # 2 : cost 0 inf + 32228 2.095 * * [simplify]: iteration 19 : 2298 enodes (cost 164 ) 2.167 * * [simplify]: Extracting # 0 : cost 0 inf + 32228 2.182 * * [simplify]: Extracting # 1 : cost 19 inf + 31548 2.202 * * [simplify]: Extracting # 2 : cost 0 inf + 33865 2.224 * * [simplify]: iteration 20 : 2446 enodes (cost 164 ) 2.308 * * [simplify]: Extracting # 0 : cost 0 inf + 33865 2.323 * * [simplify]: Extracting # 1 : cost 16 inf + 32945 2.342 * * [simplify]: Extracting # 2 : cost 0 inf + 34739 2.383 * * [simplify]: iteration 21 : 2594 enodes (cost 164 ) 2.452 * * [simplify]: Extracting # 0 : cost 0 inf + 34739 2.470 * * [simplify]: Extracting # 1 : cost 22 inf + 34019 2.490 * * [simplify]: Extracting # 2 : cost 0 inf + 36745 2.512 * * [simplify]: iteration 22 : 2730 enodes (cost 164 ) 2.569 * * [simplify]: Extracting # 0 : cost 0 inf + 36745 2.600 * * [simplify]: Extracting # 1 : cost 12 inf + 35705 2.641 * * [simplify]: Extracting # 2 : cost 0 inf + 36927 2.682 * * [simplify]: iteration 23 : 2878 enodes (cost 164 ) 2.783 * * [simplify]: Extracting # 0 : cost 0 inf + 36927 2.817 * * [simplify]: Extracting # 1 : cost 23 inf + 36367 2.863 * * [simplify]: Extracting # 2 : cost 0 inf + 39256 2.889 * * [simplify]: iteration 24 : 3026 enodes (cost 164 ) 3.007 * * [simplify]: Extracting # 0 : cost 0 inf + 39256 3.026 * * [simplify]: Extracting # 1 : cost 14 inf + 38176 3.055 * * [simplify]: Extracting # 2 : cost 0 inf + 39724 3.099 * * [simplify]: iteration 25 : 3168 enodes (cost 164 ) 3.202 * * [simplify]: Extracting # 0 : cost 0 inf + 39724 3.238 * * [simplify]: Extracting # 1 : cost 19 inf + 39084 3.260 * * [simplify]: Extracting # 2 : cost 0 inf + 41401 3.298 * * [simplify]: iteration 26 : 3316 enodes (cost 164 ) 3.370 * * [simplify]: Extracting # 0 : cost 0 inf + 41401 3.391 * * [simplify]: Extracting # 1 : cost 14 inf + 40481 3.419 * * [simplify]: Extracting # 2 : cost 0 inf + 42029 3.469 * * [simplify]: iteration 27 : 3464 enodes (cost 164 ) 3.555 * * [simplify]: Extracting # 0 : cost 0 inf + 42029 3.589 * * [simplify]: Extracting # 1 : cost 21 inf + 41389 3.634 * * [simplify]: Extracting # 2 : cost 0 inf + 44032 3.679 * * [simplify]: iteration 28 : 3604 enodes (cost 164 ) 3.793 * * [simplify]: Extracting # 0 : cost 0 inf + 44032 3.833 * * [simplify]: Extracting # 1 : cost 12 inf + 43032 3.882 * * [simplify]: Extracting # 2 : cost 0 inf + 44254 3.933 * * [simplify]: iteration 29 : 3752 enodes (cost 164 ) 4.002 * * [simplify]: Extracting # 0 : cost 0 inf + 44254 4.034 * * [simplify]: Extracting # 1 : cost 21 inf + 43694 4.068 * * [simplify]: Extracting # 2 : cost 0 inf + 46337 4.130 * * [simplify]: iteration 30 : 3900 enodes (cost 164 ) 4.213 * * [simplify]: Extracting # 0 : cost 0 inf + 46337 4.256 * * [simplify]: Extracting # 1 : cost 14 inf + 45337 4.287 * * [simplify]: Extracting # 2 : cost 0 inf + 46885 4.326 * * [simplify]: iteration 31 : 4042 enodes (cost 164 ) 4.392 * * [simplify]: Extracting # 0 : cost 0 inf + 46885 4.427 * * [simplify]: Extracting # 1 : cost 19 inf + 46245 4.468 * * [simplify]: Extracting # 2 : cost 0 inf + 48562 4.502 * * [simplify]: iteration 32 : 4190 enodes (cost 164 ) 4.570 * * [simplify]: Extracting # 0 : cost 0 inf + 48562 4.602 * * [simplify]: Extracting # 1 : cost 14 inf + 47642 4.627 * * [simplify]: Extracting # 2 : cost 0 inf + 49190 4.664 * * [simplify]: iteration 33 : 4338 enodes (cost 164 ) 4.731 * * [simplify]: Extracting # 0 : cost 0 inf + 49190 4.774 * * [simplify]: Extracting # 1 : cost 21 inf + 48550 4.820 * * [simplify]: Extracting # 2 : cost 0 inf + 51193 4.871 * * [simplify]: iteration 34 : 4478 enodes (cost 164 ) 4.960 * * [simplify]: Extracting # 0 : cost 0 inf + 51193 4.991 * * [simplify]: Extracting # 1 : cost 12 inf + 50193 5.036 * * [simplify]: Extracting # 2 : cost 0 inf + 51415 5.076 * * [simplify]: iteration 35 : 4626 enodes (cost 164 ) 5.151 * * [simplify]: Extracting # 0 : cost 0 inf + 51415 5.177 * * [simplify]: Extracting # 1 : cost 21 inf + 50855 5.210 * * [simplify]: Extracting # 2 : cost 0 inf + 53498 5.256 * * [simplify]: iteration 36 : 4774 enodes (cost 164 ) 5.320 * * [simplify]: Extracting # 0 : cost 0 inf + 53498 5.347 * * [simplify]: Extracting # 1 : cost 13 inf + 52498 5.394 * * [simplify]: Extracting # 2 : cost 0 inf + 53883 5.458 * * [simplify]: iteration 37 : 4919 enodes (cost 164 ) 5.511 * * [simplify]: Extracting # 0 : cost 0 inf + 53883 5.548 * * [simplify]: Extracting # 1 : cost 40 inf + 53283 5.614 * * [simplify]: Extracting # 2 : cost 0 inf + 58249 5.669 * * [simplify]: iteration complete: 5000 enodes (cost 164 ) 5.669 * [simplify]: Simplified to: (- 1.0 (* x (+ 0.253 (* x 0.12)))) 5.669 * * [progress]: iteration 1 / 4 5.669 * * * [progress]: picking best candidate 5.672 * * * * [pick]: Picked # 5.672 * * * [progress]: localizing error 5.682 * * * [progress]: generating rewritten candidates 5.682 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 5.694 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2) 5.699 * * * [progress]: generating series expansions 5.699 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 5.699 * [backup-simplify]: Simplify (* x (+ 0.253 (* x 0.12))) into (* (+ (* 0.12 x) 0.253) x) 5.699 * [approximate]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in (x) around 0 5.699 * [taylor]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in x 5.699 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 5.699 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 5.699 * [taylor]: Taking taylor expansion of 0.12 in x 5.699 * [backup-simplify]: Simplify 0.12 into 0.12 5.699 * [taylor]: Taking taylor expansion of x in x 5.699 * [backup-simplify]: Simplify 0 into 0 5.699 * [backup-simplify]: Simplify 1 into 1 5.699 * [taylor]: Taking taylor expansion of 0.253 in x 5.699 * [backup-simplify]: Simplify 0.253 into 0.253 5.699 * [taylor]: Taking taylor expansion of x in x 5.699 * [backup-simplify]: Simplify 0 into 0 5.699 * [backup-simplify]: Simplify 1 into 1 5.699 * [taylor]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in x 5.699 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 5.699 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 5.699 * [taylor]: Taking taylor expansion of 0.12 in x 5.699 * [backup-simplify]: Simplify 0.12 into 0.12 5.699 * [taylor]: Taking taylor expansion of x in x 5.699 * [backup-simplify]: Simplify 0 into 0 5.699 * [backup-simplify]: Simplify 1 into 1 5.699 * [taylor]: Taking taylor expansion of 0.253 in x 5.699 * [backup-simplify]: Simplify 0.253 into 0.253 5.699 * [taylor]: Taking taylor expansion of x in x 5.699 * [backup-simplify]: Simplify 0 into 0 5.699 * [backup-simplify]: Simplify 1 into 1 5.700 * [backup-simplify]: Simplify (* 0.12 0) into 0 5.700 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 5.700 * [backup-simplify]: Simplify (* 0.253 0) into 0 5.700 * [backup-simplify]: Simplify 0 into 0 5.701 * [backup-simplify]: Simplify (+ (* 0.12 1) (* 0 0)) into 0.12 5.702 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 5.703 * [backup-simplify]: Simplify (+ (* 0.253 1) (* 0.12 0)) into 0.253 5.703 * [backup-simplify]: Simplify 0.253 into 0.253 5.703 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 1) (* 0 0))) into 0 5.703 * [backup-simplify]: Simplify (+ 0 0) into 0 5.705 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 1) (* 0 0))) into 0.12 5.705 * [backup-simplify]: Simplify 0.12 into 0.12 5.706 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 5.706 * [backup-simplify]: Simplify (+ 0 0) into 0 5.707 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 1) (* 0 0)))) into 0 5.707 * [backup-simplify]: Simplify 0 into 0 5.708 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 5.708 * [backup-simplify]: Simplify (+ 0 0) into 0 5.709 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 5.709 * [backup-simplify]: Simplify 0 into 0 5.709 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 5.710 * [backup-simplify]: Simplify (+ 0 0) into 0 5.711 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 5.711 * [backup-simplify]: Simplify 0 into 0 5.712 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 5.712 * [backup-simplify]: Simplify (+ 0 0) into 0 5.713 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 5.713 * [backup-simplify]: Simplify 0 into 0 5.714 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 5.714 * [backup-simplify]: Simplify (+ 0 0) into 0 5.715 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 5.715 * [backup-simplify]: Simplify 0 into 0 5.716 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 5.717 * [backup-simplify]: Simplify (+ 0 0) into 0 5.718 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 5.718 * [backup-simplify]: Simplify 0 into 0 5.718 * [backup-simplify]: Simplify (+ (* 0.12 (pow x 2)) (* 0.253 x)) into (+ (* 0.253 x) (* 0.12 (pow x 2))) 5.718 * [backup-simplify]: Simplify (* (/ 1 x) (+ 0.253 (* (/ 1 x) 0.12))) into (/ (+ (* 0.12 (/ 1 x)) 0.253) x) 5.718 * [approximate]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in (x) around 0 5.718 * [taylor]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in x 5.718 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 5.718 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 5.718 * [taylor]: Taking taylor expansion of 0.12 in x 5.718 * [backup-simplify]: Simplify 0.12 into 0.12 5.718 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.718 * [taylor]: Taking taylor expansion of x in x 5.718 * [backup-simplify]: Simplify 0 into 0 5.718 * [backup-simplify]: Simplify 1 into 1 5.719 * [backup-simplify]: Simplify (/ 1 1) into 1 5.719 * [taylor]: Taking taylor expansion of 0.253 in x 5.719 * [backup-simplify]: Simplify 0.253 into 0.253 5.719 * [taylor]: Taking taylor expansion of x in x 5.719 * [backup-simplify]: Simplify 0 into 0 5.719 * [backup-simplify]: Simplify 1 into 1 5.719 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 5.719 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 5.720 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 5.720 * [taylor]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in x 5.720 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 5.720 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 5.720 * [taylor]: Taking taylor expansion of 0.12 in x 5.720 * [backup-simplify]: Simplify 0.12 into 0.12 5.720 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.720 * [taylor]: Taking taylor expansion of x in x 5.720 * [backup-simplify]: Simplify 0 into 0 5.720 * [backup-simplify]: Simplify 1 into 1 5.720 * [backup-simplify]: Simplify (/ 1 1) into 1 5.720 * [taylor]: Taking taylor expansion of 0.253 in x 5.720 * [backup-simplify]: Simplify 0.253 into 0.253 5.720 * [taylor]: Taking taylor expansion of x in x 5.720 * [backup-simplify]: Simplify 0 into 0 5.720 * [backup-simplify]: Simplify 1 into 1 5.720 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 5.721 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 5.721 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 5.721 * [backup-simplify]: Simplify 0.12 into 0.12 5.721 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.722 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 5.722 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 5.723 * [backup-simplify]: Simplify (- (/ 0.253 1) (+ (* 0.12 (/ 0 1)))) into 0.253 5.723 * [backup-simplify]: Simplify 0.253 into 0.253 5.724 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.725 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 5.725 * [backup-simplify]: Simplify (+ 0 0) into 0 5.726 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)))) into 0 5.726 * [backup-simplify]: Simplify 0 into 0 5.726 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.727 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.727 * [backup-simplify]: Simplify (+ 0 0) into 0 5.728 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.728 * [backup-simplify]: Simplify 0 into 0 5.728 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.732 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.732 * [backup-simplify]: Simplify (+ 0 0) into 0 5.733 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.733 * [backup-simplify]: Simplify 0 into 0 5.733 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.734 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.735 * [backup-simplify]: Simplify (+ 0 0) into 0 5.735 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.735 * [backup-simplify]: Simplify 0 into 0 5.736 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.737 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.737 * [backup-simplify]: Simplify (+ 0 0) into 0 5.738 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.738 * [backup-simplify]: Simplify 0 into 0 5.738 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.740 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 5.740 * [backup-simplify]: Simplify (+ 0 0) into 0 5.741 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.741 * [backup-simplify]: Simplify 0 into 0 5.742 * [backup-simplify]: Simplify (+ (* 0.253 (/ 1 (/ 1 x))) (* 0.12 (pow (/ 1 (/ 1 x)) 2))) into (+ (* 0.253 x) (* 0.12 (pow x 2))) 5.742 * [backup-simplify]: Simplify (* (/ 1 (- x)) (+ 0.253 (* (/ 1 (- x)) 0.12))) into (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) 5.742 * [approximate]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in (x) around 0 5.742 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in x 5.742 * [taylor]: Taking taylor expansion of -1 in x 5.742 * [backup-simplify]: Simplify -1 into -1 5.742 * [taylor]: Taking taylor expansion of (/ (- 0.253 (* 0.12 (/ 1 x))) x) in x 5.742 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 5.742 * [taylor]: Taking taylor expansion of 0.253 in x 5.742 * [backup-simplify]: Simplify 0.253 into 0.253 5.742 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 5.742 * [taylor]: Taking taylor expansion of 0.12 in x 5.742 * [backup-simplify]: Simplify 0.12 into 0.12 5.742 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.742 * [taylor]: Taking taylor expansion of x in x 5.743 * [backup-simplify]: Simplify 0 into 0 5.743 * [backup-simplify]: Simplify 1 into 1 5.743 * [backup-simplify]: Simplify (/ 1 1) into 1 5.743 * [taylor]: Taking taylor expansion of x in x 5.743 * [backup-simplify]: Simplify 0 into 0 5.743 * [backup-simplify]: Simplify 1 into 1 5.744 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 5.744 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 5.745 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 5.746 * [backup-simplify]: Simplify (/ (- 0.12) 1) into -0.12 5.746 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in x 5.746 * [taylor]: Taking taylor expansion of -1 in x 5.746 * [backup-simplify]: Simplify -1 into -1 5.746 * [taylor]: Taking taylor expansion of (/ (- 0.253 (* 0.12 (/ 1 x))) x) in x 5.746 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 5.746 * [taylor]: Taking taylor expansion of 0.253 in x 5.746 * [backup-simplify]: Simplify 0.253 into 0.253 5.746 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 5.746 * [taylor]: Taking taylor expansion of 0.12 in x 5.746 * [backup-simplify]: Simplify 0.12 into 0.12 5.746 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.746 * [taylor]: Taking taylor expansion of x in x 5.746 * [backup-simplify]: Simplify 0 into 0 5.746 * [backup-simplify]: Simplify 1 into 1 5.746 * [backup-simplify]: Simplify (/ 1 1) into 1 5.746 * [taylor]: Taking taylor expansion of x in x 5.747 * [backup-simplify]: Simplify 0 into 0 5.747 * [backup-simplify]: Simplify 1 into 1 5.747 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 5.747 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 5.748 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 5.749 * [backup-simplify]: Simplify (/ (- 0.12) 1) into -0.12 5.750 * [backup-simplify]: Simplify (* -1 -0.12) into 0.12 5.750 * [backup-simplify]: Simplify 0.12 into 0.12 5.751 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.751 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 5.752 * [backup-simplify]: Simplify (- 0) into 0 5.752 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 5.754 * [backup-simplify]: Simplify (- (/ 0.253 1) (+ (* -0.12 (/ 0 1)))) into 0.253 5.756 * [backup-simplify]: Simplify (+ (* -1 0.253) (* 0 -0.12)) into (- 0.253) 5.757 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 5.758 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.759 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 5.759 * [backup-simplify]: Simplify (- 0) into 0 5.760 * [backup-simplify]: Simplify (+ 0 0) into 0 5.761 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)))) into 0 5.762 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0.253) (* 0 -0.12))) into 0 5.762 * [backup-simplify]: Simplify 0 into 0 5.763 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.764 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.764 * [backup-simplify]: Simplify (- 0) into 0 5.765 * [backup-simplify]: Simplify (+ 0 0) into 0 5.766 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.768 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 -0.12)))) into 0 5.768 * [backup-simplify]: Simplify 0 into 0 5.769 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.770 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.770 * [backup-simplify]: Simplify (- 0) into 0 5.771 * [backup-simplify]: Simplify (+ 0 0) into 0 5.772 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.774 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 -0.12))))) into 0 5.774 * [backup-simplify]: Simplify 0 into 0 5.775 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.777 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.777 * [backup-simplify]: Simplify (- 0) into 0 5.777 * [backup-simplify]: Simplify (+ 0 0) into 0 5.779 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.781 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 -0.12)))))) into 0 5.781 * [backup-simplify]: Simplify 0 into 0 5.782 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.783 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.784 * [backup-simplify]: Simplify (- 0) into 0 5.784 * [backup-simplify]: Simplify (+ 0 0) into 0 5.785 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.788 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 -0.12))))))) into 0 5.788 * [backup-simplify]: Simplify 0 into 0 5.789 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.791 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 5.791 * [backup-simplify]: Simplify (- 0) into 0 5.791 * [backup-simplify]: Simplify (+ 0 0) into 0 5.792 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.793 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 -0.12)))))))) into 0 5.793 * [backup-simplify]: Simplify 0 into 0 5.794 * [backup-simplify]: Simplify (+ (* (- 0.253) (/ 1 (/ 1 (- x)))) (* 0.12 (pow (/ 1 (/ 1 (- x))) 2))) into (+ (* 0.253 x) (* 0.12 (pow x 2))) 5.794 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2) 5.794 * [backup-simplify]: Simplify (+ 0.253 (* x 0.12)) into (+ (* 0.12 x) 0.253) 5.794 * [approximate]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in (x) around 0 5.794 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 5.794 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 5.794 * [taylor]: Taking taylor expansion of 0.12 in x 5.794 * [backup-simplify]: Simplify 0.12 into 0.12 5.794 * [taylor]: Taking taylor expansion of x in x 5.794 * [backup-simplify]: Simplify 0 into 0 5.794 * [backup-simplify]: Simplify 1 into 1 5.794 * [taylor]: Taking taylor expansion of 0.253 in x 5.794 * [backup-simplify]: Simplify 0.253 into 0.253 5.794 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 5.794 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 5.794 * [taylor]: Taking taylor expansion of 0.12 in x 5.794 * [backup-simplify]: Simplify 0.12 into 0.12 5.794 * [taylor]: Taking taylor expansion of x in x 5.794 * [backup-simplify]: Simplify 0 into 0 5.794 * [backup-simplify]: Simplify 1 into 1 5.794 * [taylor]: Taking taylor expansion of 0.253 in x 5.794 * [backup-simplify]: Simplify 0.253 into 0.253 5.795 * [backup-simplify]: Simplify (* 0.12 0) into 0 5.795 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 5.795 * [backup-simplify]: Simplify 0.253 into 0.253 5.796 * [backup-simplify]: Simplify (+ (* 0.12 1) (* 0 0)) into 0.12 5.797 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 5.797 * [backup-simplify]: Simplify 0.12 into 0.12 5.797 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 1) (* 0 0))) into 0 5.797 * [backup-simplify]: Simplify (+ 0 0) into 0 5.797 * [backup-simplify]: Simplify 0 into 0 5.798 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 5.798 * [backup-simplify]: Simplify (+ 0 0) into 0 5.798 * [backup-simplify]: Simplify 0 into 0 5.799 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 5.799 * [backup-simplify]: Simplify (+ 0 0) into 0 5.799 * [backup-simplify]: Simplify 0 into 0 5.800 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 5.800 * [backup-simplify]: Simplify (+ 0 0) into 0 5.800 * [backup-simplify]: Simplify 0 into 0 5.801 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 5.802 * [backup-simplify]: Simplify (+ 0 0) into 0 5.802 * [backup-simplify]: Simplify 0 into 0 5.803 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 5.803 * [backup-simplify]: Simplify (+ 0 0) into 0 5.803 * [backup-simplify]: Simplify 0 into 0 5.803 * [backup-simplify]: Simplify (+ (* 0.12 x) 0.253) into (+ (* 0.12 x) 0.253) 5.803 * [backup-simplify]: Simplify (+ 0.253 (* (/ 1 x) 0.12)) into (+ (* 0.12 (/ 1 x)) 0.253) 5.803 * [approximate]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in (x) around 0 5.803 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 5.803 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 5.803 * [taylor]: Taking taylor expansion of 0.12 in x 5.803 * [backup-simplify]: Simplify 0.12 into 0.12 5.803 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.803 * [taylor]: Taking taylor expansion of x in x 5.803 * [backup-simplify]: Simplify 0 into 0 5.803 * [backup-simplify]: Simplify 1 into 1 5.803 * [backup-simplify]: Simplify (/ 1 1) into 1 5.803 * [taylor]: Taking taylor expansion of 0.253 in x 5.803 * [backup-simplify]: Simplify 0.253 into 0.253 5.803 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 5.803 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 5.803 * [taylor]: Taking taylor expansion of 0.12 in x 5.804 * [backup-simplify]: Simplify 0.12 into 0.12 5.804 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.804 * [taylor]: Taking taylor expansion of x in x 5.804 * [backup-simplify]: Simplify 0 into 0 5.804 * [backup-simplify]: Simplify 1 into 1 5.804 * [backup-simplify]: Simplify (/ 1 1) into 1 5.804 * [taylor]: Taking taylor expansion of 0.253 in x 5.804 * [backup-simplify]: Simplify 0.253 into 0.253 5.804 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 5.804 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 5.804 * [backup-simplify]: Simplify 0.12 into 0.12 5.805 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.805 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 5.806 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 5.806 * [backup-simplify]: Simplify 0.253 into 0.253 5.806 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.807 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 5.807 * [backup-simplify]: Simplify (+ 0 0) into 0 5.807 * [backup-simplify]: Simplify 0 into 0 5.808 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.808 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.808 * [backup-simplify]: Simplify (+ 0 0) into 0 5.808 * [backup-simplify]: Simplify 0 into 0 5.809 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.810 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.810 * [backup-simplify]: Simplify (+ 0 0) into 0 5.810 * [backup-simplify]: Simplify 0 into 0 5.810 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.811 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.812 * [backup-simplify]: Simplify (+ 0 0) into 0 5.812 * [backup-simplify]: Simplify 0 into 0 5.812 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.813 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.813 * [backup-simplify]: Simplify (+ 0 0) into 0 5.813 * [backup-simplify]: Simplify 0 into 0 5.814 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.815 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 5.815 * [backup-simplify]: Simplify (+ 0 0) into 0 5.815 * [backup-simplify]: Simplify 0 into 0 5.815 * [backup-simplify]: Simplify (+ 0.253 (* 0.12 (/ 1 (/ 1 x)))) into (+ (* 0.12 x) 0.253) 5.815 * [backup-simplify]: Simplify (+ 0.253 (* (/ 1 (- x)) 0.12)) into (- 0.253 (* 0.12 (/ 1 x))) 5.815 * [approximate]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in (x) around 0 5.815 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 5.815 * [taylor]: Taking taylor expansion of 0.253 in x 5.815 * [backup-simplify]: Simplify 0.253 into 0.253 5.815 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 5.815 * [taylor]: Taking taylor expansion of 0.12 in x 5.815 * [backup-simplify]: Simplify 0.12 into 0.12 5.815 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.815 * [taylor]: Taking taylor expansion of x in x 5.815 * [backup-simplify]: Simplify 0 into 0 5.815 * [backup-simplify]: Simplify 1 into 1 5.816 * [backup-simplify]: Simplify (/ 1 1) into 1 5.816 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 5.816 * [taylor]: Taking taylor expansion of 0.253 in x 5.816 * [backup-simplify]: Simplify 0.253 into 0.253 5.816 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 5.816 * [taylor]: Taking taylor expansion of 0.12 in x 5.816 * [backup-simplify]: Simplify 0.12 into 0.12 5.816 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.816 * [taylor]: Taking taylor expansion of x in x 5.816 * [backup-simplify]: Simplify 0 into 0 5.816 * [backup-simplify]: Simplify 1 into 1 5.816 * [backup-simplify]: Simplify (/ 1 1) into 1 5.816 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 5.817 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 5.817 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 5.817 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 5.818 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.818 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 5.819 * [backup-simplify]: Simplify (- 0) into 0 5.819 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 5.819 * [backup-simplify]: Simplify 0.253 into 0.253 5.819 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.820 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 5.820 * [backup-simplify]: Simplify (- 0) into 0 5.820 * [backup-simplify]: Simplify (+ 0 0) into 0 5.821 * [backup-simplify]: Simplify 0 into 0 5.821 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.822 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.822 * [backup-simplify]: Simplify (- 0) into 0 5.822 * [backup-simplify]: Simplify (+ 0 0) into 0 5.822 * [backup-simplify]: Simplify 0 into 0 5.823 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.823 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.824 * [backup-simplify]: Simplify (- 0) into 0 5.824 * [backup-simplify]: Simplify (+ 0 0) into 0 5.824 * [backup-simplify]: Simplify 0 into 0 5.824 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.825 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.826 * [backup-simplify]: Simplify (- 0) into 0 5.826 * [backup-simplify]: Simplify (+ 0 0) into 0 5.826 * [backup-simplify]: Simplify 0 into 0 5.826 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.827 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.828 * [backup-simplify]: Simplify (- 0) into 0 5.828 * [backup-simplify]: Simplify (+ 0 0) into 0 5.828 * [backup-simplify]: Simplify 0 into 0 5.828 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.829 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 5.830 * [backup-simplify]: Simplify (- 0) into 0 5.830 * [backup-simplify]: Simplify (+ 0 0) into 0 5.830 * [backup-simplify]: Simplify 0 into 0 5.830 * [backup-simplify]: Simplify (+ 0.253 (* (- 0.12) (/ 1 (/ 1 (- x))))) into (+ (* 0.12 x) 0.253) 5.830 * * * [progress]: simplifying candidates 5.831 * [simplify]: Simplifying: (* x (+ 0.253 (* x 0.12))) (+ (log x) (log (+ 0.253 (* x 0.12)))) (log (* x (+ 0.253 (* x 0.12)))) (exp (* x (+ 0.253 (* x 0.12)))) (* (* (* x x) x) (* (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))) (+ 0.253 (* x 0.12)))) (* (cbrt (* x (+ 0.253 (* x 0.12)))) (cbrt (* x (+ 0.253 (* x 0.12))))) (cbrt (* x (+ 0.253 (* x 0.12)))) (* (* (* x (+ 0.253 (* x 0.12))) (* x (+ 0.253 (* x 0.12)))) (* x (+ 0.253 (* x 0.12)))) (sqrt (* x (+ 0.253 (* x 0.12)))) (sqrt (* x (+ 0.253 (* x 0.12)))) (* (sqrt x) (sqrt (+ 0.253 (* x 0.12)))) (* (sqrt x) (sqrt (+ 0.253 (* x 0.12)))) (* x 0.253) (* x (* x 0.12)) (* 0.253 x) (* (* x 0.12) x) (* x (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12))))) (* x (sqrt (+ 0.253 (* x 0.12)))) (* x 1) (* (cbrt x) (+ 0.253 (* x 0.12))) (* (sqrt x) (+ 0.253 (* x 0.12))) (* x (+ 0.253 (* x 0.12))) (* x (+ (pow 0.253 3) (pow (* x 0.12) 3))) (* x (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12)))) (* (exp 0.253) (exp (* x 0.12))) (log (+ 0.253 (* x 0.12))) (exp (+ 0.253 (* x 0.12))) (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12)))) (cbrt (+ 0.253 (* x 0.12))) (* (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))) (+ 0.253 (* x 0.12))) (sqrt (+ 0.253 (* x 0.12))) (sqrt (+ 0.253 (* x 0.12))) (+ (pow 0.253 3) (pow (* x 0.12) 3)) (+ (* 0.253 0.253) (- (* (* x 0.12) (* x 0.12)) (* 0.253 (* x 0.12)))) (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))) (- 0.253 (* x 0.12)) (+ (* 0.253 x) (* 0.12 (pow x 2))) (+ (* 0.253 x) (* 0.12 (pow x 2))) (+ (* 0.253 x) (* 0.12 (pow x 2))) (+ (* 0.12 x) 0.253) (+ (* 0.12 x) 0.253) (+ (* 0.12 x) 0.253) 5.832 * * [simplify]: Extracting # 0 : cost 34 inf + 0 5.832 * * [simplify]: Extracting # 1 : cost 54 inf + 0 5.832 * * [simplify]: Extracting # 2 : cost 54 inf + 126 5.833 * * [simplify]: Extracting # 3 : cost 25 inf + 3323 5.834 * * [simplify]: Extracting # 4 : cost 7 inf + 6433 5.835 * * [simplify]: Extracting # 5 : cost 2 inf + 8139 5.837 * * [simplify]: Extracting # 6 : cost 1 inf + 8392 5.838 * * [simplify]: Extracting # 7 : cost 0 inf + 8726 5.840 * * [simplify]: iteration 0 : 60 enodes (cost 7916 ) 5.873 * * [simplify]: Extracting # 0 : cost 0 inf + 8726 5.876 * * [simplify]: Extracting # 1 : cost 46 inf + 8112 5.880 * * [simplify]: Extracting # 2 : cost 3 inf + 13149 5.883 * * [simplify]: Extracting # 3 : cost 1 inf + 13232 5.887 * * [simplify]: Extracting # 4 : cost 0 inf + 13444 5.891 * * [simplify]: iteration 1 : 181 enodes (cost 6660 ) 5.955 * * [simplify]: Extracting # 0 : cost 0 inf + 13444 5.960 * * [simplify]: Extracting # 1 : cost 175 inf + 12760 5.975 * * [simplify]: Extracting # 2 : cost 7 inf + 38857 5.988 * * [simplify]: Extracting # 3 : cost 2 inf + 39640 6.002 * * [simplify]: Extracting # 4 : cost 0 inf + 40216 6.017 * * [simplify]: iteration 2 : 658 enodes (cost 6660 ) 6.844 * * [simplify]: Extracting # 0 : cost 0 inf + 40216 6.894 * * [simplify]: Extracting # 1 : cost 567 inf + 39154 6.982 * * [simplify]: Extracting # 2 : cost 7 inf + 135549 7.119 * * [simplify]: Extracting # 3 : cost 2 inf + 136603 7.272 * * [simplify]: Extracting # 4 : cost 0 inf + 137068 7.399 * * [simplify]: iteration 3 : 3101 enodes (cost 6460 ) 9.150 * * [simplify]: Extracting # 0 : cost 0 inf + 137068 9.258 * * [simplify]: Extracting # 1 : cost 885 inf + 136526 9.393 * * [simplify]: Extracting # 2 : cost 64 inf + 265866 9.601 * * [simplify]: Extracting # 3 : cost 19 inf + 271972 9.807 * * [simplify]: Extracting # 4 : cost 0 inf + 278247 9.994 * * [simplify]: iteration complete: 5017 enodes (cost 6460 ) 9.995 * [simplify]: Simplified to: (* x (+ 0.253 (* x 0.12))) (log (* x (+ 0.253 (* x 0.12)))) (log (* x (+ 0.253 (* x 0.12)))) (exp (* x (+ 0.253 (* x 0.12)))) (* (* (* x (+ 0.253 (* x 0.12))) (* x (+ 0.253 (* x 0.12)))) (* x (+ 0.253 (* x 0.12)))) (* (cbrt (* x (+ 0.253 (* x 0.12)))) (cbrt (* x (+ 0.253 (* x 0.12))))) (cbrt (* x (+ 0.253 (* x 0.12)))) (* (* (* x (+ 0.253 (* x 0.12))) (* x (+ 0.253 (* x 0.12)))) (* x (+ 0.253 (* x 0.12)))) (sqrt (* x (+ 0.253 (* x 0.12)))) (sqrt (* x (+ 0.253 (* x 0.12)))) (* (sqrt x) (sqrt (+ 0.253 (* x 0.12)))) (* (sqrt x) (sqrt (+ 0.253 (* x 0.12)))) (* x 0.253) (* x (* x 0.12)) (* 0.253 x) (* x (* x 0.12)) (* x (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12))))) (* x (sqrt (+ 0.253 (* x 0.12)))) x (* (cbrt x) (+ 0.253 (* x 0.12))) (* (sqrt x) (+ 0.253 (* x 0.12))) (* x (+ 0.253 (* x 0.12))) (* x (+ (* (* (* x 0.12) (* x 0.12)) (* x 0.12)) (* 0.253 (* 0.253 0.253)))) (* x (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12)))) (exp (+ 0.253 (* x 0.12))) (log (+ 0.253 (* x 0.12))) (exp (+ 0.253 (* x 0.12))) (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12)))) (cbrt (+ 0.253 (* x 0.12))) (* (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))) (+ 0.253 (* x 0.12))) (sqrt (+ 0.253 (* x 0.12))) (sqrt (+ 0.253 (* x 0.12))) (+ (* (* (* x 0.12) (* x 0.12)) (* x 0.12)) (* 0.253 (* 0.253 0.253))) (+ (* 0.253 0.253) (* (* x 0.12) (- (* x 0.12) 0.253))) (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))) (- 0.253 (* x 0.12)) (* x (+ 0.253 (* x 0.12))) (* x (+ 0.253 (* x 0.12))) (* x (+ 0.253 (* x 0.12))) (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)) 9.996 * * * [progress]: adding candidates to table 10.174 * * [progress]: iteration 2 / 4 10.174 * * * [progress]: picking best candidate 10.193 * * * * [pick]: Picked # 10.193 * * * [progress]: localizing error 10.207 * * * [progress]: generating rewritten candidates 10.207 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2) 10.231 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 10.250 * * * [progress]: generating series expansions 10.250 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2) 10.250 * [backup-simplify]: Simplify (* x (* x 0.12)) into (* 0.12 (pow x 2)) 10.250 * [approximate]: Taking taylor expansion of (* 0.12 (pow x 2)) in (x) around 0 10.250 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 10.250 * [taylor]: Taking taylor expansion of 0.12 in x 10.250 * [backup-simplify]: Simplify 0.12 into 0.12 10.250 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.250 * [taylor]: Taking taylor expansion of x in x 10.250 * [backup-simplify]: Simplify 0 into 0 10.250 * [backup-simplify]: Simplify 1 into 1 10.250 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 10.250 * [taylor]: Taking taylor expansion of 0.12 in x 10.250 * [backup-simplify]: Simplify 0.12 into 0.12 10.250 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.250 * [taylor]: Taking taylor expansion of x in x 10.250 * [backup-simplify]: Simplify 0 into 0 10.250 * [backup-simplify]: Simplify 1 into 1 10.251 * [backup-simplify]: Simplify (* 1 1) into 1 10.252 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 10.252 * [backup-simplify]: Simplify 0.12 into 0.12 10.253 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.253 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 10.254 * [backup-simplify]: Simplify 0 into 0 10.255 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.256 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 10.256 * [backup-simplify]: Simplify 0 into 0 10.257 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.258 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.258 * [backup-simplify]: Simplify 0 into 0 10.259 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.260 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.260 * [backup-simplify]: Simplify 0 into 0 10.262 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.263 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.263 * [backup-simplify]: Simplify 0 into 0 10.265 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.266 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.266 * [backup-simplify]: Simplify 0 into 0 10.266 * [backup-simplify]: Simplify (* 0.12 (pow x 2)) into (* 0.12 (pow x 2)) 10.267 * [backup-simplify]: Simplify (* (/ 1 x) (* (/ 1 x) 0.12)) into (/ 0.12 (pow x 2)) 10.267 * [approximate]: Taking taylor expansion of (/ 0.12 (pow x 2)) in (x) around 0 10.267 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 10.267 * [taylor]: Taking taylor expansion of 0.12 in x 10.267 * [backup-simplify]: Simplify 0.12 into 0.12 10.267 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.267 * [taylor]: Taking taylor expansion of x in x 10.267 * [backup-simplify]: Simplify 0 into 0 10.267 * [backup-simplify]: Simplify 1 into 1 10.267 * [backup-simplify]: Simplify (* 1 1) into 1 10.268 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 10.268 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 10.268 * [taylor]: Taking taylor expansion of 0.12 in x 10.268 * [backup-simplify]: Simplify 0.12 into 0.12 10.268 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.268 * [taylor]: Taking taylor expansion of x in x 10.268 * [backup-simplify]: Simplify 0 into 0 10.268 * [backup-simplify]: Simplify 1 into 1 10.268 * [backup-simplify]: Simplify (* 1 1) into 1 10.269 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 10.269 * [backup-simplify]: Simplify 0.12 into 0.12 10.269 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.270 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)))) into 0 10.270 * [backup-simplify]: Simplify 0 into 0 10.271 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.272 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.272 * [backup-simplify]: Simplify 0 into 0 10.273 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.274 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.274 * [backup-simplify]: Simplify 0 into 0 10.275 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.276 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.276 * [backup-simplify]: Simplify 0 into 0 10.278 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.279 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.279 * [backup-simplify]: Simplify 0 into 0 10.280 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.281 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.281 * [backup-simplify]: Simplify 0 into 0 10.282 * [backup-simplify]: Simplify (* 0.12 (pow (/ 1 (/ 1 x)) 2)) into (* 0.12 (pow x 2)) 10.282 * [backup-simplify]: Simplify (* (/ 1 (- x)) (* (/ 1 (- x)) 0.12)) into (/ 0.12 (pow x 2)) 10.282 * [approximate]: Taking taylor expansion of (/ 0.12 (pow x 2)) in (x) around 0 10.282 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 10.282 * [taylor]: Taking taylor expansion of 0.12 in x 10.282 * [backup-simplify]: Simplify 0.12 into 0.12 10.282 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.282 * [taylor]: Taking taylor expansion of x in x 10.282 * [backup-simplify]: Simplify 0 into 0 10.282 * [backup-simplify]: Simplify 1 into 1 10.282 * [backup-simplify]: Simplify (* 1 1) into 1 10.283 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 10.283 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 10.283 * [taylor]: Taking taylor expansion of 0.12 in x 10.283 * [backup-simplify]: Simplify 0.12 into 0.12 10.283 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.283 * [taylor]: Taking taylor expansion of x in x 10.283 * [backup-simplify]: Simplify 0 into 0 10.283 * [backup-simplify]: Simplify 1 into 1 10.283 * [backup-simplify]: Simplify (* 1 1) into 1 10.285 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 10.285 * [backup-simplify]: Simplify 0.12 into 0.12 10.285 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.286 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)))) into 0 10.286 * [backup-simplify]: Simplify 0 into 0 10.288 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.289 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.289 * [backup-simplify]: Simplify 0 into 0 10.290 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.291 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.291 * [backup-simplify]: Simplify 0 into 0 10.292 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.293 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.293 * [backup-simplify]: Simplify 0 into 0 10.295 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.296 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.296 * [backup-simplify]: Simplify 0 into 0 10.297 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.298 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.299 * [backup-simplify]: Simplify 0 into 0 10.299 * [backup-simplify]: Simplify (* 0.12 (pow (/ 1 (/ 1 (- x))) 2)) into (* 0.12 (pow x 2)) 10.299 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 10.299 * [backup-simplify]: Simplify (+ (* x 0.253) (* x (* x 0.12))) into (+ (* 0.253 x) (* 0.12 (pow x 2))) 10.299 * [approximate]: Taking taylor expansion of (+ (* 0.253 x) (* 0.12 (pow x 2))) in (x) around 0 10.299 * [taylor]: Taking taylor expansion of (+ (* 0.253 x) (* 0.12 (pow x 2))) in x 10.299 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 10.299 * [taylor]: Taking taylor expansion of 0.253 in x 10.299 * [backup-simplify]: Simplify 0.253 into 0.253 10.299 * [taylor]: Taking taylor expansion of x in x 10.299 * [backup-simplify]: Simplify 0 into 0 10.299 * [backup-simplify]: Simplify 1 into 1 10.299 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 10.299 * [taylor]: Taking taylor expansion of 0.12 in x 10.299 * [backup-simplify]: Simplify 0.12 into 0.12 10.300 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.300 * [taylor]: Taking taylor expansion of x in x 10.300 * [backup-simplify]: Simplify 0 into 0 10.300 * [backup-simplify]: Simplify 1 into 1 10.300 * [taylor]: Taking taylor expansion of (+ (* 0.253 x) (* 0.12 (pow x 2))) in x 10.300 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 10.300 * [taylor]: Taking taylor expansion of 0.253 in x 10.300 * [backup-simplify]: Simplify 0.253 into 0.253 10.300 * [taylor]: Taking taylor expansion of x in x 10.300 * [backup-simplify]: Simplify 0 into 0 10.300 * [backup-simplify]: Simplify 1 into 1 10.300 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 10.300 * [taylor]: Taking taylor expansion of 0.12 in x 10.300 * [backup-simplify]: Simplify 0.12 into 0.12 10.300 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.300 * [taylor]: Taking taylor expansion of x in x 10.300 * [backup-simplify]: Simplify 0 into 0 10.300 * [backup-simplify]: Simplify 1 into 1 10.301 * [backup-simplify]: Simplify (* 0.253 0) into 0 10.301 * [backup-simplify]: Simplify (+ 0 0) into 0 10.301 * [backup-simplify]: Simplify 0 into 0 10.302 * [backup-simplify]: Simplify (+ (* 0.253 1) (* 0 0)) into 0.253 10.303 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 10.303 * [backup-simplify]: Simplify 0.253 into 0.253 10.304 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 1) (* 0 0))) into 0 10.304 * [backup-simplify]: Simplify (* 1 1) into 1 10.305 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 10.305 * [backup-simplify]: Simplify (+ 0 0.12) into 0.12 10.305 * [backup-simplify]: Simplify 0.12 into 0.12 10.306 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 10.307 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.308 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 10.308 * [backup-simplify]: Simplify (+ 0 0) into 0 10.308 * [backup-simplify]: Simplify 0 into 0 10.310 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 10.310 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.311 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 10.312 * [backup-simplify]: Simplify (+ 0 0) into 0 10.312 * [backup-simplify]: Simplify 0 into 0 10.313 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 10.314 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.315 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.316 * [backup-simplify]: Simplify (+ 0 0) into 0 10.316 * [backup-simplify]: Simplify 0 into 0 10.317 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 10.319 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.320 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.320 * [backup-simplify]: Simplify (+ 0 0) into 0 10.320 * [backup-simplify]: Simplify 0 into 0 10.322 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 10.323 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.325 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.325 * [backup-simplify]: Simplify (+ 0 0) into 0 10.325 * [backup-simplify]: Simplify 0 into 0 10.327 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 10.329 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.331 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.331 * [backup-simplify]: Simplify (+ 0 0) into 0 10.331 * [backup-simplify]: Simplify 0 into 0 10.331 * [backup-simplify]: Simplify (+ (* 0.12 (pow x 2)) (* 0.253 x)) into (+ (* 0.253 x) (* 0.12 (pow x 2))) 10.332 * [backup-simplify]: Simplify (+ (* (/ 1 x) 0.253) (* (/ 1 x) (* (/ 1 x) 0.12))) into (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) 10.332 * [approximate]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in (x) around 0 10.332 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x 10.332 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 10.332 * [taylor]: Taking taylor expansion of 0.12 in x 10.332 * [backup-simplify]: Simplify 0.12 into 0.12 10.332 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 10.332 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.332 * [taylor]: Taking taylor expansion of x in x 10.332 * [backup-simplify]: Simplify 0 into 0 10.332 * [backup-simplify]: Simplify 1 into 1 10.332 * [backup-simplify]: Simplify (* 1 1) into 1 10.333 * [backup-simplify]: Simplify (/ 1 1) into 1 10.333 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 10.333 * [taylor]: Taking taylor expansion of 0.253 in x 10.333 * [backup-simplify]: Simplify 0.253 into 0.253 10.333 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.333 * [taylor]: Taking taylor expansion of x in x 10.333 * [backup-simplify]: Simplify 0 into 0 10.333 * [backup-simplify]: Simplify 1 into 1 10.333 * [backup-simplify]: Simplify (/ 1 1) into 1 10.333 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x 10.333 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 10.333 * [taylor]: Taking taylor expansion of 0.12 in x 10.333 * [backup-simplify]: Simplify 0.12 into 0.12 10.333 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 10.333 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.333 * [taylor]: Taking taylor expansion of x in x 10.333 * [backup-simplify]: Simplify 0 into 0 10.333 * [backup-simplify]: Simplify 1 into 1 10.334 * [backup-simplify]: Simplify (* 1 1) into 1 10.334 * [backup-simplify]: Simplify (/ 1 1) into 1 10.334 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 10.334 * [taylor]: Taking taylor expansion of 0.253 in x 10.334 * [backup-simplify]: Simplify 0.253 into 0.253 10.334 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.334 * [taylor]: Taking taylor expansion of x in x 10.334 * [backup-simplify]: Simplify 0 into 0 10.334 * [backup-simplify]: Simplify 1 into 1 10.335 * [backup-simplify]: Simplify (/ 1 1) into 1 10.335 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 10.336 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 10.336 * [backup-simplify]: Simplify 0.12 into 0.12 10.336 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.337 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.338 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 10.338 * [backup-simplify]: Simplify (* 0.253 1) into 0.253 10.339 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 10.339 * [backup-simplify]: Simplify 0.253 into 0.253 10.340 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.341 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.342 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 10.343 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.343 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0 10.344 * [backup-simplify]: Simplify (+ 0 0) into 0 10.344 * [backup-simplify]: Simplify 0 into 0 10.344 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.345 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.345 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.346 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.347 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (* 0 1))) into 0 10.347 * [backup-simplify]: Simplify (+ 0 0) into 0 10.347 * [backup-simplify]: Simplify 0 into 0 10.347 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.348 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.349 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.349 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.350 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.350 * [backup-simplify]: Simplify (+ 0 0) into 0 10.350 * [backup-simplify]: Simplify 0 into 0 10.351 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.351 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.352 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.353 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.353 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.354 * [backup-simplify]: Simplify (+ 0 0) into 0 10.354 * [backup-simplify]: Simplify 0 into 0 10.355 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.355 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.356 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.357 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.357 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.358 * [backup-simplify]: Simplify (+ 0 0) into 0 10.358 * [backup-simplify]: Simplify 0 into 0 10.359 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 10.359 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.360 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 10.361 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.362 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.362 * [backup-simplify]: Simplify (+ 0 0) into 0 10.362 * [backup-simplify]: Simplify 0 into 0 10.362 * [backup-simplify]: Simplify (+ (* 0.253 (/ 1 (/ 1 x))) (* 0.12 (pow (/ 1 (/ 1 x)) 2))) into (+ (* 0.253 x) (* 0.12 (pow x 2))) 10.362 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) 0.253) (* (/ 1 (- x)) (* (/ 1 (- x)) 0.12))) into (- (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) 10.362 * [approximate]: Taking taylor expansion of (- (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in (x) around 0 10.362 * [taylor]: Taking taylor expansion of (- (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x 10.362 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 10.362 * [taylor]: Taking taylor expansion of 0.12 in x 10.362 * [backup-simplify]: Simplify 0.12 into 0.12 10.362 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 10.362 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.362 * [taylor]: Taking taylor expansion of x in x 10.362 * [backup-simplify]: Simplify 0 into 0 10.362 * [backup-simplify]: Simplify 1 into 1 10.363 * [backup-simplify]: Simplify (* 1 1) into 1 10.363 * [backup-simplify]: Simplify (/ 1 1) into 1 10.363 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 10.363 * [taylor]: Taking taylor expansion of 0.253 in x 10.363 * [backup-simplify]: Simplify 0.253 into 0.253 10.363 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.363 * [taylor]: Taking taylor expansion of x in x 10.363 * [backup-simplify]: Simplify 0 into 0 10.363 * [backup-simplify]: Simplify 1 into 1 10.363 * [backup-simplify]: Simplify (/ 1 1) into 1 10.363 * [taylor]: Taking taylor expansion of (- (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x 10.363 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 10.363 * [taylor]: Taking taylor expansion of 0.12 in x 10.363 * [backup-simplify]: Simplify 0.12 into 0.12 10.363 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 10.363 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.363 * [taylor]: Taking taylor expansion of x in x 10.363 * [backup-simplify]: Simplify 0 into 0 10.363 * [backup-simplify]: Simplify 1 into 1 10.364 * [backup-simplify]: Simplify (* 1 1) into 1 10.364 * [backup-simplify]: Simplify (/ 1 1) into 1 10.364 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 10.364 * [taylor]: Taking taylor expansion of 0.253 in x 10.364 * [backup-simplify]: Simplify 0.253 into 0.253 10.364 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.364 * [taylor]: Taking taylor expansion of x in x 10.364 * [backup-simplify]: Simplify 0 into 0 10.364 * [backup-simplify]: Simplify 1 into 1 10.364 * [backup-simplify]: Simplify (/ 1 1) into 1 10.365 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 10.365 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 10.365 * [backup-simplify]: Simplify 0.12 into 0.12 10.365 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.366 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.366 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 10.367 * [backup-simplify]: Simplify (* 0.253 1) into 0.253 10.367 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 10.367 * [backup-simplify]: Simplify (+ 0 (- 0.253)) into (- 0.253) 10.368 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 10.368 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.369 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.370 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 10.370 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.370 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0 10.371 * [backup-simplify]: Simplify (- 0) into 0 10.371 * [backup-simplify]: Simplify (+ 0 0) into 0 10.371 * [backup-simplify]: Simplify 0 into 0 10.372 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.374 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.375 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.375 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.376 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (* 0 1))) into 0 10.376 * [backup-simplify]: Simplify (- 0) into 0 10.376 * [backup-simplify]: Simplify (+ 0 0) into 0 10.376 * [backup-simplify]: Simplify 0 into 0 10.377 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.378 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.378 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.379 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.379 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.380 * [backup-simplify]: Simplify (- 0) into 0 10.380 * [backup-simplify]: Simplify (+ 0 0) into 0 10.380 * [backup-simplify]: Simplify 0 into 0 10.381 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.381 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.382 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.383 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.383 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.383 * [backup-simplify]: Simplify (- 0) into 0 10.384 * [backup-simplify]: Simplify (+ 0 0) into 0 10.384 * [backup-simplify]: Simplify 0 into 0 10.385 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.385 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.386 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.387 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.387 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.388 * [backup-simplify]: Simplify (- 0) into 0 10.388 * [backup-simplify]: Simplify (+ 0 0) into 0 10.388 * [backup-simplify]: Simplify 0 into 0 10.389 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 10.389 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.390 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 10.391 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.392 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.392 * [backup-simplify]: Simplify (- 0) into 0 10.392 * [backup-simplify]: Simplify (+ 0 0) into 0 10.392 * [backup-simplify]: Simplify 0 into 0 10.393 * [backup-simplify]: Simplify (+ (* (- 0.253) (/ 1 (/ 1 (- x)))) (* 0.12 (pow (/ 1 (/ 1 (- x))) 2))) into (+ (* 0.253 x) (* 0.12 (pow x 2))) 10.393 * * * [progress]: simplifying candidates 10.393 * [simplify]: Simplifying: (* x (* x 0.12)) (* x (* x 0.12)) (+ (log x) (+ (log x) (log 0.12))) (+ (log x) (log (* x 0.12))) (log (* x (* x 0.12))) (exp (* x (* x 0.12))) (* (* (* x x) x) (* (* (* x x) x) (* (* 0.12 0.12) 0.12))) (* (* (* x x) x) (* (* (* x 0.12) (* x 0.12)) (* x 0.12))) (* (cbrt (* x (* x 0.12))) (cbrt (* x (* x 0.12)))) (cbrt (* x (* x 0.12))) (* (* (* x (* x 0.12)) (* x (* x 0.12))) (* x (* x 0.12))) (sqrt (* x (* x 0.12))) (sqrt (* x (* x 0.12))) (* x x) (* (cbrt x) (* x 0.12)) (* (sqrt x) (* x 0.12)) (* x (* x 0.12)) (* (exp (* x 0.253)) (exp (* x (* x 0.12)))) (log (+ (* x 0.253) (* x (* x 0.12)))) (exp (+ (* x 0.253) (* x (* x 0.12)))) (* (cbrt (+ (* x 0.253) (* x (* x 0.12)))) (cbrt (+ (* x 0.253) (* x (* x 0.12))))) (cbrt (+ (* x 0.253) (* x (* x 0.12)))) (* (* (+ (* x 0.253) (* x (* x 0.12))) (+ (* x 0.253) (* x (* x 0.12)))) (+ (* x 0.253) (* x (* x 0.12)))) (sqrt (+ (* x 0.253) (* x (* x 0.12)))) (sqrt (+ (* x 0.253) (* x (* x 0.12)))) (+ (pow (* x 0.253) 3) (pow (* x (* x 0.12)) 3)) (+ (* (* x 0.253) (* x 0.253)) (- (* (* x (* x 0.12)) (* x (* x 0.12))) (* (* x 0.253) (* x (* x 0.12))))) (- (* (* x 0.253) (* x 0.253)) (* (* x (* x 0.12)) (* x (* x 0.12)))) (- (* x 0.253) (* x (* x 0.12))) (+ 0.253 (* x 0.12)) (* 0.12 (pow x 2)) (* 0.12 (pow x 2)) (* 0.12 (pow x 2)) (+ (* 0.253 x) (* 0.12 (pow x 2))) (+ (* 0.253 x) (* 0.12 (pow x 2))) (+ (* 0.253 x) (* 0.12 (pow x 2))) 10.394 * * [simplify]: Extracting # 0 : cost 28 inf + 0 10.394 * * [simplify]: Extracting # 1 : cost 51 inf + 0 10.394 * * [simplify]: Extracting # 2 : cost 54 inf + 3 10.395 * * [simplify]: Extracting # 3 : cost 26 inf + 3348 10.395 * * [simplify]: Extracting # 4 : cost 7 inf + 7234 10.396 * * [simplify]: Extracting # 5 : cost 2 inf + 8498 10.397 * * [simplify]: Extracting # 6 : cost 0 inf + 9155 10.397 * * [simplify]: iteration 0 : 58 enodes (cost 7674 ) 10.412 * * [simplify]: Extracting # 0 : cost 0 inf + 9155 10.413 * * [simplify]: Extracting # 1 : cost 39 inf + 7890 10.415 * * [simplify]: Extracting # 2 : cost 5 inf + 13369 10.417 * * [simplify]: Extracting # 3 : cost 1 inf + 13676 10.419 * * [simplify]: Extracting # 4 : cost 0 inf + 13969 10.421 * * [simplify]: iteration 1 : 168 enodes (cost 5737 ) 10.519 * * [simplify]: Extracting # 0 : cost 0 inf + 13969 10.527 * * [simplify]: Extracting # 1 : cost 164 inf + 12965 10.543 * * [simplify]: Extracting # 2 : cost 13 inf + 36254 10.554 * * [simplify]: Extracting # 3 : cost 2 inf + 38218 10.564 * * [simplify]: Extracting # 4 : cost 0 inf + 38764 10.577 * * [simplify]: iteration 2 : 664 enodes (cost 5537 ) 11.634 * * [simplify]: Extracting # 0 : cost 0 inf + 38764 11.677 * * [simplify]: Extracting # 1 : cost 599 inf + 36578 11.745 * * [simplify]: Extracting # 2 : cost 32 inf + 144059 11.872 * * [simplify]: Extracting # 3 : cost 4 inf + 149683 11.960 * * [simplify]: Extracting # 4 : cost 0 inf + 151036 12.067 * * [simplify]: iteration 3 : 3418 enodes (cost 5497 ) 13.867 * * [simplify]: Extracting # 0 : cost 0 inf + 151036 14.009 * * [simplify]: Extracting # 1 : cost 561 inf + 149039 14.173 * * [simplify]: Extracting # 2 : cost 155 inf + 208273 14.363 * * [simplify]: Extracting # 3 : cost 34 inf + 230601 14.558 * * [simplify]: Extracting # 4 : cost 0 inf + 240715 14.714 * * [simplify]: iteration complete: 5027 enodes (cost 5497 ) 14.714 * [simplify]: Simplified to: (* x (* x 0.12)) (* x (* x 0.12)) (log (* x (* x 0.12))) (log (* x (* x 0.12))) (log (* x (* x 0.12))) (exp (* x (* x 0.12))) (* (* x (* x 0.12)) (* (* x (* x 0.12)) (* x (* x 0.12)))) (* (* x (* x 0.12)) (* (* x (* x 0.12)) (* x (* x 0.12)))) (* (cbrt (* x (* x 0.12))) (cbrt (* x (* x 0.12)))) (cbrt (* x (* x 0.12))) (* (* x (* x 0.12)) (* (* x (* x 0.12)) (* x (* x 0.12)))) (sqrt (* x (* x 0.12))) (sqrt (* x (* x 0.12))) (* x x) (* (cbrt x) (* x 0.12)) (* (sqrt x) (* x 0.12)) (* x (* x 0.12)) (exp (* x (+ 0.253 (* x 0.12)))) (log (* x (+ 0.253 (* x 0.12)))) (exp (* x (+ 0.253 (* x 0.12)))) (* (cbrt (* x (+ 0.253 (* x 0.12)))) (cbrt (* x (+ 0.253 (* x 0.12))))) (cbrt (* x (+ 0.253 (* x 0.12)))) (* (* (* x (+ 0.253 (* x 0.12))) (* x (+ 0.253 (* x 0.12)))) (* x (+ 0.253 (* x 0.12)))) (sqrt (* x (+ 0.253 (* x 0.12)))) (sqrt (* x (+ 0.253 (* x 0.12)))) (+ (* (* x (* x 0.12)) (* (* x (* x 0.12)) (* x (* x 0.12)))) (* (* (* 0.253 x) (* 0.253 x)) (* 0.253 x))) (+ (* (* x (* x 0.12)) (- (* x (* x 0.12)) (* 0.253 x))) (* (* 0.253 x) (* 0.253 x))) (- (* (* x 0.253) (* x 0.253)) (* (* x (* x 0.12)) (* x (* x 0.12)))) (* x (- 0.253 (* x 0.12))) (+ 0.253 (* x 0.12)) (* x (* x 0.12)) (* x (* x 0.12)) (* x (* x 0.12)) (* x (+ 0.253 (* x 0.12))) (* x (+ 0.253 (* x 0.12))) (* x (+ 0.253 (* x 0.12))) 14.717 * * * [progress]: adding candidates to table 14.853 * * [progress]: iteration 3 / 4 14.853 * * * [progress]: picking best candidate 14.864 * * * * [pick]: Picked # 14.864 * * * [progress]: localizing error 14.875 * * * [progress]: generating rewritten candidates 14.875 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2) 14.891 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 14.904 * * * [progress]: generating series expansions 14.904 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2) 14.904 * [backup-simplify]: Simplify (* (* x x) 0.12) into (* 0.12 (pow x 2)) 14.904 * [approximate]: Taking taylor expansion of (* 0.12 (pow x 2)) in (x) around 0 14.904 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 14.904 * [taylor]: Taking taylor expansion of 0.12 in x 14.905 * [backup-simplify]: Simplify 0.12 into 0.12 14.905 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.905 * [taylor]: Taking taylor expansion of x in x 14.905 * [backup-simplify]: Simplify 0 into 0 14.905 * [backup-simplify]: Simplify 1 into 1 14.905 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 14.905 * [taylor]: Taking taylor expansion of 0.12 in x 14.905 * [backup-simplify]: Simplify 0.12 into 0.12 14.905 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.905 * [taylor]: Taking taylor expansion of x in x 14.905 * [backup-simplify]: Simplify 0 into 0 14.905 * [backup-simplify]: Simplify 1 into 1 14.905 * [backup-simplify]: Simplify (* 1 1) into 1 14.906 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 14.906 * [backup-simplify]: Simplify 0.12 into 0.12 14.907 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.907 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 14.907 * [backup-simplify]: Simplify 0 into 0 14.908 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.909 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 14.909 * [backup-simplify]: Simplify 0 into 0 14.910 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.911 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.911 * [backup-simplify]: Simplify 0 into 0 14.913 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.914 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.914 * [backup-simplify]: Simplify 0 into 0 14.915 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.917 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.917 * [backup-simplify]: Simplify 0 into 0 14.918 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.920 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.920 * [backup-simplify]: Simplify 0 into 0 14.920 * [backup-simplify]: Simplify (* 0.12 (pow x 2)) into (* 0.12 (pow x 2)) 14.920 * [backup-simplify]: Simplify (* (* (/ 1 x) (/ 1 x)) 0.12) into (/ 0.12 (pow x 2)) 14.920 * [approximate]: Taking taylor expansion of (/ 0.12 (pow x 2)) in (x) around 0 14.920 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 14.920 * [taylor]: Taking taylor expansion of 0.12 in x 14.920 * [backup-simplify]: Simplify 0.12 into 0.12 14.920 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.920 * [taylor]: Taking taylor expansion of x in x 14.920 * [backup-simplify]: Simplify 0 into 0 14.920 * [backup-simplify]: Simplify 1 into 1 14.921 * [backup-simplify]: Simplify (* 1 1) into 1 14.921 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 14.921 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 14.921 * [taylor]: Taking taylor expansion of 0.12 in x 14.921 * [backup-simplify]: Simplify 0.12 into 0.12 14.921 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.921 * [taylor]: Taking taylor expansion of x in x 14.921 * [backup-simplify]: Simplify 0 into 0 14.921 * [backup-simplify]: Simplify 1 into 1 14.922 * [backup-simplify]: Simplify (* 1 1) into 1 14.922 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 14.922 * [backup-simplify]: Simplify 0.12 into 0.12 14.923 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.924 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)))) into 0 14.924 * [backup-simplify]: Simplify 0 into 0 14.925 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.926 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.926 * [backup-simplify]: Simplify 0 into 0 14.927 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.928 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.928 * [backup-simplify]: Simplify 0 into 0 14.929 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.930 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.930 * [backup-simplify]: Simplify 0 into 0 14.932 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.933 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.933 * [backup-simplify]: Simplify 0 into 0 14.934 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.935 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.935 * [backup-simplify]: Simplify 0 into 0 14.935 * [backup-simplify]: Simplify (* 0.12 (pow (/ 1 (/ 1 x)) 2)) into (* 0.12 (pow x 2)) 14.936 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) (/ 1 (- x))) 0.12) into (/ 0.12 (pow x 2)) 14.936 * [approximate]: Taking taylor expansion of (/ 0.12 (pow x 2)) in (x) around 0 14.936 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 14.936 * [taylor]: Taking taylor expansion of 0.12 in x 14.936 * [backup-simplify]: Simplify 0.12 into 0.12 14.936 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.936 * [taylor]: Taking taylor expansion of x in x 14.936 * [backup-simplify]: Simplify 0 into 0 14.936 * [backup-simplify]: Simplify 1 into 1 14.936 * [backup-simplify]: Simplify (* 1 1) into 1 14.937 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 14.937 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 14.937 * [taylor]: Taking taylor expansion of 0.12 in x 14.937 * [backup-simplify]: Simplify 0.12 into 0.12 14.937 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.937 * [taylor]: Taking taylor expansion of x in x 14.937 * [backup-simplify]: Simplify 0 into 0 14.937 * [backup-simplify]: Simplify 1 into 1 14.937 * [backup-simplify]: Simplify (* 1 1) into 1 14.938 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 14.938 * [backup-simplify]: Simplify 0.12 into 0.12 14.938 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.939 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)))) into 0 14.939 * [backup-simplify]: Simplify 0 into 0 14.940 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.940 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.940 * [backup-simplify]: Simplify 0 into 0 14.941 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.942 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.942 * [backup-simplify]: Simplify 0 into 0 14.942 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.943 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.943 * [backup-simplify]: Simplify 0 into 0 14.944 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.944 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.944 * [backup-simplify]: Simplify 0 into 0 14.945 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.946 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.946 * [backup-simplify]: Simplify 0 into 0 14.946 * [backup-simplify]: Simplify (* 0.12 (pow (/ 1 (/ 1 (- x))) 2)) into (* 0.12 (pow x 2)) 14.946 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 14.946 * [backup-simplify]: Simplify (+ (* x 0.253) (* (* x x) 0.12)) into (+ (* 0.253 x) (* 0.12 (pow x 2))) 14.946 * [approximate]: Taking taylor expansion of (+ (* 0.253 x) (* 0.12 (pow x 2))) in (x) around 0 14.946 * [taylor]: Taking taylor expansion of (+ (* 0.253 x) (* 0.12 (pow x 2))) in x 14.946 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 14.946 * [taylor]: Taking taylor expansion of 0.253 in x 14.946 * [backup-simplify]: Simplify 0.253 into 0.253 14.946 * [taylor]: Taking taylor expansion of x in x 14.946 * [backup-simplify]: Simplify 0 into 0 14.946 * [backup-simplify]: Simplify 1 into 1 14.946 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 14.946 * [taylor]: Taking taylor expansion of 0.12 in x 14.946 * [backup-simplify]: Simplify 0.12 into 0.12 14.947 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.947 * [taylor]: Taking taylor expansion of x in x 14.947 * [backup-simplify]: Simplify 0 into 0 14.947 * [backup-simplify]: Simplify 1 into 1 14.947 * [taylor]: Taking taylor expansion of (+ (* 0.253 x) (* 0.12 (pow x 2))) in x 14.947 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 14.947 * [taylor]: Taking taylor expansion of 0.253 in x 14.947 * [backup-simplify]: Simplify 0.253 into 0.253 14.947 * [taylor]: Taking taylor expansion of x in x 14.947 * [backup-simplify]: Simplify 0 into 0 14.947 * [backup-simplify]: Simplify 1 into 1 14.947 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 14.947 * [taylor]: Taking taylor expansion of 0.12 in x 14.947 * [backup-simplify]: Simplify 0.12 into 0.12 14.947 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.947 * [taylor]: Taking taylor expansion of x in x 14.947 * [backup-simplify]: Simplify 0 into 0 14.947 * [backup-simplify]: Simplify 1 into 1 14.947 * [backup-simplify]: Simplify (* 0.253 0) into 0 14.947 * [backup-simplify]: Simplify (+ 0 0) into 0 14.947 * [backup-simplify]: Simplify 0 into 0 14.948 * [backup-simplify]: Simplify (+ (* 0.253 1) (* 0 0)) into 0.253 14.949 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 14.949 * [backup-simplify]: Simplify 0.253 into 0.253 14.949 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 1) (* 0 0))) into 0 14.949 * [backup-simplify]: Simplify (* 1 1) into 1 14.950 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 14.950 * [backup-simplify]: Simplify (+ 0 0.12) into 0.12 14.950 * [backup-simplify]: Simplify 0.12 into 0.12 14.951 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 14.951 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.951 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 14.952 * [backup-simplify]: Simplify (+ 0 0) into 0 14.952 * [backup-simplify]: Simplify 0 into 0 14.955 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 14.955 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.956 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 14.956 * [backup-simplify]: Simplify (+ 0 0) into 0 14.956 * [backup-simplify]: Simplify 0 into 0 14.957 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 14.958 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.958 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.959 * [backup-simplify]: Simplify (+ 0 0) into 0 14.959 * [backup-simplify]: Simplify 0 into 0 14.959 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 14.960 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.961 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.961 * [backup-simplify]: Simplify (+ 0 0) into 0 14.961 * [backup-simplify]: Simplify 0 into 0 14.962 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 14.963 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.964 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.964 * [backup-simplify]: Simplify (+ 0 0) into 0 14.964 * [backup-simplify]: Simplify 0 into 0 14.965 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 14.966 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.967 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.967 * [backup-simplify]: Simplify (+ 0 0) into 0 14.967 * [backup-simplify]: Simplify 0 into 0 14.968 * [backup-simplify]: Simplify (+ (* 0.12 (pow x 2)) (* 0.253 x)) into (+ (* 0.253 x) (* 0.12 (pow x 2))) 14.968 * [backup-simplify]: Simplify (+ (* (/ 1 x) 0.253) (* (* (/ 1 x) (/ 1 x)) 0.12)) into (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) 14.968 * [approximate]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in (x) around 0 14.968 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x 14.968 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 14.968 * [taylor]: Taking taylor expansion of 0.12 in x 14.968 * [backup-simplify]: Simplify 0.12 into 0.12 14.968 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.968 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.968 * [taylor]: Taking taylor expansion of x in x 14.968 * [backup-simplify]: Simplify 0 into 0 14.968 * [backup-simplify]: Simplify 1 into 1 14.969 * [backup-simplify]: Simplify (* 1 1) into 1 14.969 * [backup-simplify]: Simplify (/ 1 1) into 1 14.969 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 14.969 * [taylor]: Taking taylor expansion of 0.253 in x 14.969 * [backup-simplify]: Simplify 0.253 into 0.253 14.969 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.969 * [taylor]: Taking taylor expansion of x in x 14.969 * [backup-simplify]: Simplify 0 into 0 14.969 * [backup-simplify]: Simplify 1 into 1 14.969 * [backup-simplify]: Simplify (/ 1 1) into 1 14.969 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x 14.970 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 14.970 * [taylor]: Taking taylor expansion of 0.12 in x 14.970 * [backup-simplify]: Simplify 0.12 into 0.12 14.970 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.970 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.970 * [taylor]: Taking taylor expansion of x in x 14.970 * [backup-simplify]: Simplify 0 into 0 14.970 * [backup-simplify]: Simplify 1 into 1 14.970 * [backup-simplify]: Simplify (* 1 1) into 1 14.971 * [backup-simplify]: Simplify (/ 1 1) into 1 14.971 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 14.971 * [taylor]: Taking taylor expansion of 0.253 in x 14.971 * [backup-simplify]: Simplify 0.253 into 0.253 14.971 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.971 * [taylor]: Taking taylor expansion of x in x 14.971 * [backup-simplify]: Simplify 0 into 0 14.971 * [backup-simplify]: Simplify 1 into 1 14.971 * [backup-simplify]: Simplify (/ 1 1) into 1 14.972 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 14.972 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 14.972 * [backup-simplify]: Simplify 0.12 into 0.12 14.973 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.973 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.974 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 14.975 * [backup-simplify]: Simplify (* 0.253 1) into 0.253 14.975 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 14.975 * [backup-simplify]: Simplify 0.253 into 0.253 14.976 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.977 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.978 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 14.979 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.980 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0 14.980 * [backup-simplify]: Simplify (+ 0 0) into 0 14.980 * [backup-simplify]: Simplify 0 into 0 14.981 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.982 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.983 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.984 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.985 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (* 0 1))) into 0 14.985 * [backup-simplify]: Simplify (+ 0 0) into 0 14.985 * [backup-simplify]: Simplify 0 into 0 14.987 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.988 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.989 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.990 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.991 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.991 * [backup-simplify]: Simplify (+ 0 0) into 0 14.991 * [backup-simplify]: Simplify 0 into 0 14.993 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.994 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.995 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.996 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.998 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.998 * [backup-simplify]: Simplify (+ 0 0) into 0 14.998 * [backup-simplify]: Simplify 0 into 0 15.000 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.001 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.002 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.004 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.005 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.005 * [backup-simplify]: Simplify (+ 0 0) into 0 15.005 * [backup-simplify]: Simplify 0 into 0 15.007 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 15.008 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.010 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 15.011 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.013 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.013 * [backup-simplify]: Simplify (+ 0 0) into 0 15.013 * [backup-simplify]: Simplify 0 into 0 15.014 * [backup-simplify]: Simplify (+ (* 0.253 (/ 1 (/ 1 x))) (* 0.12 (pow (/ 1 (/ 1 x)) 2))) into (+ (* 0.253 x) (* 0.12 (pow x 2))) 15.014 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) 0.253) (* (* (/ 1 (- x)) (/ 1 (- x))) 0.12)) into (- (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) 15.014 * [approximate]: Taking taylor expansion of (- (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in (x) around 0 15.014 * [taylor]: Taking taylor expansion of (- (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x 15.014 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 15.014 * [taylor]: Taking taylor expansion of 0.12 in x 15.014 * [backup-simplify]: Simplify 0.12 into 0.12 15.014 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 15.014 * [taylor]: Taking taylor expansion of (pow x 2) in x 15.014 * [taylor]: Taking taylor expansion of x in x 15.014 * [backup-simplify]: Simplify 0 into 0 15.014 * [backup-simplify]: Simplify 1 into 1 15.015 * [backup-simplify]: Simplify (* 1 1) into 1 15.015 * [backup-simplify]: Simplify (/ 1 1) into 1 15.015 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 15.015 * [taylor]: Taking taylor expansion of 0.253 in x 15.015 * [backup-simplify]: Simplify 0.253 into 0.253 15.015 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.015 * [taylor]: Taking taylor expansion of x in x 15.015 * [backup-simplify]: Simplify 0 into 0 15.015 * [backup-simplify]: Simplify 1 into 1 15.016 * [backup-simplify]: Simplify (/ 1 1) into 1 15.016 * [taylor]: Taking taylor expansion of (- (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x 15.016 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 15.016 * [taylor]: Taking taylor expansion of 0.12 in x 15.016 * [backup-simplify]: Simplify 0.12 into 0.12 15.016 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 15.016 * [taylor]: Taking taylor expansion of (pow x 2) in x 15.016 * [taylor]: Taking taylor expansion of x in x 15.016 * [backup-simplify]: Simplify 0 into 0 15.016 * [backup-simplify]: Simplify 1 into 1 15.016 * [backup-simplify]: Simplify (* 1 1) into 1 15.017 * [backup-simplify]: Simplify (/ 1 1) into 1 15.017 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 15.017 * [taylor]: Taking taylor expansion of 0.253 in x 15.017 * [backup-simplify]: Simplify 0.253 into 0.253 15.017 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.017 * [taylor]: Taking taylor expansion of x in x 15.017 * [backup-simplify]: Simplify 0 into 0 15.017 * [backup-simplify]: Simplify 1 into 1 15.017 * [backup-simplify]: Simplify (/ 1 1) into 1 15.018 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 15.018 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 15.018 * [backup-simplify]: Simplify 0.12 into 0.12 15.019 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.020 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.020 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 15.021 * [backup-simplify]: Simplify (* 0.253 1) into 0.253 15.021 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 15.022 * [backup-simplify]: Simplify (+ 0 (- 0.253)) into (- 0.253) 15.023 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 15.023 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.024 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.025 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 15.026 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.027 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0 15.027 * [backup-simplify]: Simplify (- 0) into 0 15.028 * [backup-simplify]: Simplify (+ 0 0) into 0 15.028 * [backup-simplify]: Simplify 0 into 0 15.029 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.030 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.032 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.033 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.034 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (* 0 1))) into 0 15.035 * [backup-simplify]: Simplify (- 0) into 0 15.035 * [backup-simplify]: Simplify (+ 0 0) into 0 15.035 * [backup-simplify]: Simplify 0 into 0 15.036 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.037 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.038 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.039 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.041 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.041 * [backup-simplify]: Simplify (- 0) into 0 15.041 * [backup-simplify]: Simplify (+ 0 0) into 0 15.041 * [backup-simplify]: Simplify 0 into 0 15.043 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.044 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.046 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.047 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.048 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.048 * [backup-simplify]: Simplify (- 0) into 0 15.049 * [backup-simplify]: Simplify (+ 0 0) into 0 15.049 * [backup-simplify]: Simplify 0 into 0 15.050 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.051 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.053 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.054 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.056 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.056 * [backup-simplify]: Simplify (- 0) into 0 15.056 * [backup-simplify]: Simplify (+ 0 0) into 0 15.056 * [backup-simplify]: Simplify 0 into 0 15.058 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 15.059 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.061 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 15.062 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.063 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.064 * [backup-simplify]: Simplify (- 0) into 0 15.064 * [backup-simplify]: Simplify (+ 0 0) into 0 15.064 * [backup-simplify]: Simplify 0 into 0 15.065 * [backup-simplify]: Simplify (+ (* (- 0.253) (/ 1 (/ 1 (- x)))) (* 0.12 (pow (/ 1 (/ 1 (- x))) 2))) into (+ (* 0.253 x) (* 0.12 (pow x 2))) 15.065 * * * [progress]: simplifying candidates 15.066 * [simplify]: Simplifying: (* (* x x) 0.12) (* (* x x) 0.12) (+ (+ (log x) (log x)) (log 0.12)) (+ (log (* x x)) (log 0.12)) (log (* (* x x) 0.12)) (exp (* (* x x) 0.12)) (* (* (* (* x x) x) (* (* x x) x)) (* (* 0.12 0.12) 0.12)) (* (* (* (* x x) (* x x)) (* x x)) (* (* 0.12 0.12) 0.12)) (* (cbrt (* (* x x) 0.12)) (cbrt (* (* x x) 0.12))) (cbrt (* (* x x) 0.12)) (* (* (* (* x x) 0.12) (* (* x x) 0.12)) (* (* x x) 0.12)) (sqrt (* (* x x) 0.12)) (sqrt (* (* x x) 0.12)) (* x (sqrt 0.12)) (* x (sqrt 0.12)) (* (* x x) (* (cbrt 0.12) (cbrt 0.12))) (* (* x x) (sqrt 0.12)) (* (* x x) 1) (* x 0.12) (* (exp (* x 0.253)) (exp (* (* x x) 0.12))) (log (+ (* x 0.253) (* (* x x) 0.12))) (exp (+ (* x 0.253) (* (* x x) 0.12))) (* (cbrt (+ (* x 0.253) (* (* x x) 0.12))) (cbrt (+ (* x 0.253) (* (* x x) 0.12)))) (cbrt (+ (* x 0.253) (* (* x x) 0.12))) (* (* (+ (* x 0.253) (* (* x x) 0.12)) (+ (* x 0.253) (* (* x x) 0.12))) (+ (* x 0.253) (* (* x x) 0.12))) (sqrt (+ (* x 0.253) (* (* x x) 0.12))) (sqrt (+ (* x 0.253) (* (* x x) 0.12))) (+ (pow (* x 0.253) 3) (pow (* (* x x) 0.12) 3)) (+ (* (* x 0.253) (* x 0.253)) (- (* (* (* x x) 0.12) (* (* x x) 0.12)) (* (* x 0.253) (* (* x x) 0.12)))) (- (* (* x 0.253) (* x 0.253)) (* (* (* x x) 0.12) (* (* x x) 0.12))) (- (* x 0.253) (* (* x x) 0.12)) (* 0.12 (pow x 2)) (* 0.12 (pow x 2)) (* 0.12 (pow x 2)) (+ (* 0.253 x) (* 0.12 (pow x 2))) (+ (* 0.253 x) (* 0.12 (pow x 2))) (+ (* 0.253 x) (* 0.12 (pow x 2))) 15.067 * * [simplify]: Extracting # 0 : cost 29 inf + 0 15.067 * * [simplify]: Extracting # 1 : cost 52 inf + 0 15.067 * * [simplify]: Extracting # 2 : cost 54 inf + 238 15.068 * * [simplify]: Extracting # 3 : cost 28 inf + 2797 15.069 * * [simplify]: Extracting # 4 : cost 10 inf + 6272 15.070 * * [simplify]: Extracting # 5 : cost 1 inf + 8920 15.072 * * [simplify]: Extracting # 6 : cost 0 inf + 9243 15.073 * * [simplify]: iteration 0 : 61 enodes (cost 7796 ) 15.094 * * [simplify]: Extracting # 0 : cost 0 inf + 9243 15.096 * * [simplify]: Extracting # 1 : cost 45 inf + 8257 15.097 * * [simplify]: Extracting # 2 : cost 3 inf + 15015 15.099 * * [simplify]: Extracting # 3 : cost 0 inf + 15522 15.102 * * [simplify]: iteration 1 : 178 enodes (cost 6258 ) 15.176 * * [simplify]: Extracting # 0 : cost 0 inf + 15522 15.183 * * [simplify]: Extracting # 1 : cost 167 inf + 14586 15.202 * * [simplify]: Extracting # 2 : cost 11 inf + 38703 15.220 * * [simplify]: Extracting # 3 : cost 1 inf + 39306 15.238 * * [simplify]: Extracting # 4 : cost 0 inf + 39629 15.257 * * [simplify]: iteration 2 : 660 enodes (cost 5578 ) 15.930 * * [simplify]: Extracting # 0 : cost 0 inf + 39629 15.953 * * [simplify]: Extracting # 1 : cost 726 inf + 37778 16.049 * * [simplify]: Extracting # 2 : cost 22 inf + 160593 16.135 * * [simplify]: Extracting # 3 : cost 2 inf + 164068 16.237 * * [simplify]: Extracting # 4 : cost 0 inf + 164254 16.326 * * [simplify]: iteration 3 : 3125 enodes (cost 5538 ) 17.721 * * [simplify]: Extracting # 0 : cost 0 inf + 164254 17.804 * * [simplify]: Extracting # 1 : cost 916 inf + 159840 17.922 * * [simplify]: Extracting # 2 : cost 100 inf + 302794 18.048 * * [simplify]: Extracting # 3 : cost 31 inf + 311830 18.223 * * [simplify]: Extracting # 4 : cost 0 inf + 321222 18.346 * * [simplify]: iteration complete: 5008 enodes (cost 5538 ) 18.346 * [simplify]: Simplified to: (* 0.12 (* x x)) (* 0.12 (* x x)) (log (* (* x x) 0.12)) (log (* (* x x) 0.12)) (log (* (* x x) 0.12)) (exp (* (* x x) 0.12)) (* (* (* x x) 0.12) (* (* (* x x) 0.12) (* (* x x) 0.12))) (* (* (* x x) 0.12) (* (* (* x x) 0.12) (* (* x x) 0.12))) (* (cbrt (* (* x x) 0.12)) (cbrt (* (* x x) 0.12))) (cbrt (* (* x x) 0.12)) (* (* (* x x) 0.12) (* (* (* x x) 0.12) (* (* x x) 0.12))) (sqrt (* (* x x) 0.12)) (sqrt (* (* x x) 0.12)) (* x (sqrt 0.12)) (* x (sqrt 0.12)) (* (* x (cbrt 0.12)) (* x (cbrt 0.12))) (* (* x x) (sqrt 0.12)) (* x x) (* x 0.12) (exp (* x (+ (* x 0.12) 0.253))) (log (* x (+ (* x 0.12) 0.253))) (exp (* x (+ (* x 0.12) 0.253))) (* (cbrt (* x (+ (* x 0.12) 0.253))) (cbrt (* x (+ (* x 0.12) 0.253)))) (cbrt (* x (+ (* x 0.12) 0.253))) (* (* x (+ (* x 0.12) 0.253)) (* (* x (+ (* x 0.12) 0.253)) (* x (+ (* x 0.12) 0.253)))) (sqrt (* x (+ (* x 0.12) 0.253))) (sqrt (* x (+ (* x 0.12) 0.253))) (+ (* (* (* 0.253 x) (* 0.253 x)) (* 0.253 x)) (* (* (* x x) 0.12) (* (* (* x x) 0.12) (* (* x x) 0.12)))) (- (* (* (* x x) 0.12) (* (* x x) 0.12)) (* (* 0.253 x) (- (* (* x x) 0.12) (* 0.253 x)))) (- (* (* x 0.253) (* x 0.253)) (* (* (* x x) 0.12) (* (* x x) 0.12))) (* x (- 0.253 (* x 0.12))) (* 0.12 (* x x)) (* 0.12 (* x x)) (* 0.12 (* x x)) (* x (+ (* x 0.12) 0.253)) (* x (+ (* x 0.12) 0.253)) (* x (+ (* x 0.12) 0.253)) 18.348 * * * [progress]: adding candidates to table 18.497 * * [progress]: iteration 4 / 4 18.497 * * * [progress]: picking best candidate 18.507 * * * * [pick]: Picked # 18.507 * * * [progress]: localizing error 18.537 * * * [progress]: generating rewritten candidates 18.537 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2) 18.614 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2 1) 18.638 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 18.654 * * * [progress]: generating series expansions 18.654 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2) 18.655 * [backup-simplify]: Simplify (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)) into (* (pow x 2) (pow (sqrt 0.12) 2)) 18.655 * [approximate]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 0.12) 2)) in (x) around 0 18.655 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 0.12) 2)) in x 18.655 * [taylor]: Taking taylor expansion of (pow x 2) in x 18.655 * [taylor]: Taking taylor expansion of x in x 18.655 * [backup-simplify]: Simplify 0 into 0 18.655 * [backup-simplify]: Simplify 1 into 1 18.655 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x 18.655 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 18.655 * [taylor]: Taking taylor expansion of 0.12 in x 18.655 * [backup-simplify]: Simplify 0.12 into 0.12 18.656 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 18.657 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 18.657 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 0.12) 2)) in x 18.657 * [taylor]: Taking taylor expansion of (pow x 2) in x 18.657 * [taylor]: Taking taylor expansion of x in x 18.657 * [backup-simplify]: Simplify 0 into 0 18.657 * [backup-simplify]: Simplify 1 into 1 18.657 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x 18.657 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 18.657 * [taylor]: Taking taylor expansion of 0.12 in x 18.657 * [backup-simplify]: Simplify 0.12 into 0.12 18.657 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 18.658 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 18.658 * [backup-simplify]: Simplify (* 1 1) into 1 18.660 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2) 18.661 * [backup-simplify]: Simplify (* 1 (pow (sqrt 0.12) 2)) into (pow (sqrt 0.12) 2) 18.662 * [backup-simplify]: Simplify (pow (sqrt 0.12) 2) into (pow (sqrt 0.12) 2) 18.663 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (* 0 (sqrt 0.12))) into 0 18.664 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.665 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (sqrt 0.12) 2))) into 0 18.665 * [backup-simplify]: Simplify 0 into 0 18.666 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0 18.667 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (* 0 (sqrt 0.12)))) into 0 18.668 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.669 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2)))) into 0 18.669 * [backup-simplify]: Simplify 0 into 0 18.671 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.672 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))) into 0 18.672 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.673 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2))))) into 0 18.673 * [backup-simplify]: Simplify 0 into 0 18.674 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.675 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))) into 0 18.675 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.676 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2)))))) into 0 18.676 * [backup-simplify]: Simplify 0 into 0 18.677 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.678 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))) into 0 18.678 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 18.680 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2))))))) into 0 18.680 * [backup-simplify]: Simplify 0 into 0 18.680 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.681 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))))) into 0 18.682 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 18.683 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2)))))))) into 0 18.683 * [backup-simplify]: Simplify 0 into 0 18.684 * [backup-simplify]: Simplify (* (pow (sqrt 0.12) 2) (pow x 2)) into (* (pow x 2) (pow (sqrt 0.12) 2)) 18.685 * [backup-simplify]: Simplify (* (* (* (/ 1 x) (/ 1 x)) (sqrt 0.12)) (sqrt 0.12)) into (/ (pow (sqrt 0.12) 2) (pow x 2)) 18.685 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in (x) around 0 18.685 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x 18.685 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x 18.685 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 18.685 * [taylor]: Taking taylor expansion of 0.12 in x 18.685 * [backup-simplify]: Simplify 0.12 into 0.12 18.685 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 18.685 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 18.685 * [taylor]: Taking taylor expansion of (pow x 2) in x 18.686 * [taylor]: Taking taylor expansion of x in x 18.686 * [backup-simplify]: Simplify 0 into 0 18.686 * [backup-simplify]: Simplify 1 into 1 18.686 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2) 18.686 * [backup-simplify]: Simplify (* 1 1) into 1 18.687 * [backup-simplify]: Simplify (/ (pow (sqrt 0.12) 2) 1) into (pow (sqrt 0.12) 2) 18.688 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x 18.688 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x 18.688 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 18.688 * [taylor]: Taking taylor expansion of 0.12 in x 18.688 * [backup-simplify]: Simplify 0.12 into 0.12 18.688 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 18.688 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 18.688 * [taylor]: Taking taylor expansion of (pow x 2) in x 18.688 * [taylor]: Taking taylor expansion of x in x 18.688 * [backup-simplify]: Simplify 0 into 0 18.688 * [backup-simplify]: Simplify 1 into 1 18.689 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2) 18.689 * [backup-simplify]: Simplify (* 1 1) into 1 18.690 * [backup-simplify]: Simplify (/ (pow (sqrt 0.12) 2) 1) into (pow (sqrt 0.12) 2) 18.691 * [backup-simplify]: Simplify (pow (sqrt 0.12) 2) into (pow (sqrt 0.12) 2) 18.691 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (* 0 (sqrt 0.12))) into 0 18.694 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.694 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)))) into 0 18.694 * [backup-simplify]: Simplify 0 into 0 18.695 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0 18.696 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (* 0 (sqrt 0.12)))) into 0 18.696 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.697 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.697 * [backup-simplify]: Simplify 0 into 0 18.698 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.699 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))) into 0 18.699 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.700 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.700 * [backup-simplify]: Simplify 0 into 0 18.701 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.702 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))) into 0 18.702 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.703 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.703 * [backup-simplify]: Simplify 0 into 0 18.704 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.705 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))) into 0 18.706 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 18.707 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.707 * [backup-simplify]: Simplify 0 into 0 18.707 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.708 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))))) into 0 18.709 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 18.710 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.710 * [backup-simplify]: Simplify 0 into 0 18.711 * [backup-simplify]: Simplify (* (pow (sqrt 0.12) 2) (pow (/ 1 (/ 1 x)) 2)) into (* (pow x 2) (pow (sqrt 0.12) 2)) 18.711 * [backup-simplify]: Simplify (* (* (* (/ 1 (- x)) (/ 1 (- x))) (sqrt 0.12)) (sqrt 0.12)) into (/ (pow (sqrt 0.12) 2) (pow x 2)) 18.711 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in (x) around 0 18.711 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x 18.711 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x 18.711 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 18.711 * [taylor]: Taking taylor expansion of 0.12 in x 18.712 * [backup-simplify]: Simplify 0.12 into 0.12 18.712 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 18.712 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 18.712 * [taylor]: Taking taylor expansion of (pow x 2) in x 18.712 * [taylor]: Taking taylor expansion of x in x 18.712 * [backup-simplify]: Simplify 0 into 0 18.712 * [backup-simplify]: Simplify 1 into 1 18.713 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2) 18.713 * [backup-simplify]: Simplify (* 1 1) into 1 18.714 * [backup-simplify]: Simplify (/ (pow (sqrt 0.12) 2) 1) into (pow (sqrt 0.12) 2) 18.714 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x 18.714 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x 18.714 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 18.714 * [taylor]: Taking taylor expansion of 0.12 in x 18.714 * [backup-simplify]: Simplify 0.12 into 0.12 18.715 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 18.715 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 18.715 * [taylor]: Taking taylor expansion of (pow x 2) in x 18.715 * [taylor]: Taking taylor expansion of x in x 18.715 * [backup-simplify]: Simplify 0 into 0 18.715 * [backup-simplify]: Simplify 1 into 1 18.716 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2) 18.716 * [backup-simplify]: Simplify (* 1 1) into 1 18.717 * [backup-simplify]: Simplify (/ (pow (sqrt 0.12) 2) 1) into (pow (sqrt 0.12) 2) 18.718 * [backup-simplify]: Simplify (pow (sqrt 0.12) 2) into (pow (sqrt 0.12) 2) 18.718 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (* 0 (sqrt 0.12))) into 0 18.718 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.719 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)))) into 0 18.719 * [backup-simplify]: Simplify 0 into 0 18.720 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0 18.720 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (* 0 (sqrt 0.12)))) into 0 18.721 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.722 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.722 * [backup-simplify]: Simplify 0 into 0 18.722 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.723 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))) into 0 18.724 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.725 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.725 * [backup-simplify]: Simplify 0 into 0 18.725 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.726 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))) into 0 18.727 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.728 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.728 * [backup-simplify]: Simplify 0 into 0 18.728 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.729 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))) into 0 18.730 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 18.731 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.731 * [backup-simplify]: Simplify 0 into 0 18.732 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.733 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))))) into 0 18.733 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 18.734 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.734 * [backup-simplify]: Simplify 0 into 0 18.735 * [backup-simplify]: Simplify (* (pow (sqrt 0.12) 2) (pow (/ 1 (/ 1 (- x))) 2)) into (* (pow x 2) (pow (sqrt 0.12) 2)) 18.735 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2 1) 18.735 * [backup-simplify]: Simplify (* (* x x) (sqrt 0.12)) into (* (pow x 2) (sqrt 0.12)) 18.735 * [approximate]: Taking taylor expansion of (* (pow x 2) (sqrt 0.12)) in (x) around 0 18.736 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 0.12)) in x 18.736 * [taylor]: Taking taylor expansion of (pow x 2) in x 18.736 * [taylor]: Taking taylor expansion of x in x 18.736 * [backup-simplify]: Simplify 0 into 0 18.736 * [backup-simplify]: Simplify 1 into 1 18.736 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 18.736 * [taylor]: Taking taylor expansion of 0.12 in x 18.736 * [backup-simplify]: Simplify 0.12 into 0.12 18.736 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 18.736 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 18.736 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 0.12)) in x 18.736 * [taylor]: Taking taylor expansion of (pow x 2) in x 18.736 * [taylor]: Taking taylor expansion of x in x 18.736 * [backup-simplify]: Simplify 0 into 0 18.736 * [backup-simplify]: Simplify 1 into 1 18.736 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 18.736 * [taylor]: Taking taylor expansion of 0.12 in x 18.736 * [backup-simplify]: Simplify 0.12 into 0.12 18.737 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 18.737 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 18.737 * [backup-simplify]: Simplify (* 1 1) into 1 18.738 * [backup-simplify]: Simplify (* 1 (sqrt 0.12)) into (sqrt 0.12) 18.738 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 18.739 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.739 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (sqrt 0.12))) into 0 18.739 * [backup-simplify]: Simplify 0 into 0 18.740 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0 18.741 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.742 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 0.12)))) into 0 18.742 * [backup-simplify]: Simplify 0 into 0 18.743 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.744 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.746 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))) into 0 18.746 * [backup-simplify]: Simplify 0 into 0 18.747 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.748 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.750 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))) into 0 18.750 * [backup-simplify]: Simplify 0 into 0 18.751 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.752 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 18.754 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))) into 0 18.754 * [backup-simplify]: Simplify 0 into 0 18.756 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.757 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 18.759 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))))) into 0 18.759 * [backup-simplify]: Simplify 0 into 0 18.759 * [backup-simplify]: Simplify (* (sqrt 0.12) (pow x 2)) into (* (pow x 2) (sqrt 0.12)) 18.760 * [backup-simplify]: Simplify (* (* (/ 1 x) (/ 1 x)) (sqrt 0.12)) into (/ (sqrt 0.12) (pow x 2)) 18.760 * [approximate]: Taking taylor expansion of (/ (sqrt 0.12) (pow x 2)) in (x) around 0 18.760 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12) (pow x 2)) in x 18.760 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 18.760 * [taylor]: Taking taylor expansion of 0.12 in x 18.760 * [backup-simplify]: Simplify 0.12 into 0.12 18.761 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 18.761 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 18.761 * [taylor]: Taking taylor expansion of (pow x 2) in x 18.761 * [taylor]: Taking taylor expansion of x in x 18.761 * [backup-simplify]: Simplify 0 into 0 18.761 * [backup-simplify]: Simplify 1 into 1 18.762 * [backup-simplify]: Simplify (* 1 1) into 1 18.763 * [backup-simplify]: Simplify (/ (sqrt 0.12) 1) into (sqrt 0.12) 18.763 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12) (pow x 2)) in x 18.763 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 18.763 * [taylor]: Taking taylor expansion of 0.12 in x 18.763 * [backup-simplify]: Simplify 0.12 into 0.12 18.763 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 18.764 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 18.764 * [taylor]: Taking taylor expansion of (pow x 2) in x 18.764 * [taylor]: Taking taylor expansion of x in x 18.764 * [backup-simplify]: Simplify 0 into 0 18.764 * [backup-simplify]: Simplify 1 into 1 18.764 * [backup-simplify]: Simplify (* 1 1) into 1 18.765 * [backup-simplify]: Simplify (/ (sqrt 0.12) 1) into (sqrt 0.12) 18.766 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 18.766 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.768 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)))) into 0 18.768 * [backup-simplify]: Simplify 0 into 0 18.769 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0 18.770 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.771 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.771 * [backup-simplify]: Simplify 0 into 0 18.772 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.773 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.774 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.774 * [backup-simplify]: Simplify 0 into 0 18.776 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.777 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.778 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.778 * [backup-simplify]: Simplify 0 into 0 18.779 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.780 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 18.781 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.781 * [backup-simplify]: Simplify 0 into 0 18.783 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.784 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 18.785 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.785 * [backup-simplify]: Simplify 0 into 0 18.786 * [backup-simplify]: Simplify (* (sqrt 0.12) (pow (/ 1 (/ 1 x)) 2)) into (* (pow x 2) (sqrt 0.12)) 18.786 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) (/ 1 (- x))) (sqrt 0.12)) into (/ (sqrt 0.12) (pow x 2)) 18.786 * [approximate]: Taking taylor expansion of (/ (sqrt 0.12) (pow x 2)) in (x) around 0 18.786 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12) (pow x 2)) in x 18.786 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 18.786 * [taylor]: Taking taylor expansion of 0.12 in x 18.787 * [backup-simplify]: Simplify 0.12 into 0.12 18.787 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 18.788 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 18.788 * [taylor]: Taking taylor expansion of (pow x 2) in x 18.788 * [taylor]: Taking taylor expansion of x in x 18.788 * [backup-simplify]: Simplify 0 into 0 18.788 * [backup-simplify]: Simplify 1 into 1 18.788 * [backup-simplify]: Simplify (* 1 1) into 1 18.789 * [backup-simplify]: Simplify (/ (sqrt 0.12) 1) into (sqrt 0.12) 18.789 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12) (pow x 2)) in x 18.789 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 18.789 * [taylor]: Taking taylor expansion of 0.12 in x 18.789 * [backup-simplify]: Simplify 0.12 into 0.12 18.789 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 18.790 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 18.790 * [taylor]: Taking taylor expansion of (pow x 2) in x 18.790 * [taylor]: Taking taylor expansion of x in x 18.790 * [backup-simplify]: Simplify 0 into 0 18.790 * [backup-simplify]: Simplify 1 into 1 18.791 * [backup-simplify]: Simplify (* 1 1) into 1 18.791 * [backup-simplify]: Simplify (/ (sqrt 0.12) 1) into (sqrt 0.12) 18.792 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 18.792 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.793 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)))) into 0 18.793 * [backup-simplify]: Simplify 0 into 0 18.794 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0 18.795 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.796 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.796 * [backup-simplify]: Simplify 0 into 0 18.797 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.798 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.799 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.799 * [backup-simplify]: Simplify 0 into 0 18.800 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.801 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.802 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.802 * [backup-simplify]: Simplify 0 into 0 18.802 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.803 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 18.804 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.804 * [backup-simplify]: Simplify 0 into 0 18.804 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.805 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 18.806 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.806 * [backup-simplify]: Simplify 0 into 0 18.806 * [backup-simplify]: Simplify (* (sqrt 0.12) (pow (/ 1 (/ 1 (- x))) 2)) into (* (pow x 2) (sqrt 0.12)) 18.806 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 18.807 * [backup-simplify]: Simplify (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) into (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2))) 18.807 * [approximate]: Taking taylor expansion of (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2))) in (x) around 0 18.807 * [taylor]: Taking taylor expansion of (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2))) in x 18.807 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 18.807 * [taylor]: Taking taylor expansion of 0.253 in x 18.807 * [backup-simplify]: Simplify 0.253 into 0.253 18.807 * [taylor]: Taking taylor expansion of x in x 18.807 * [backup-simplify]: Simplify 0 into 0 18.807 * [backup-simplify]: Simplify 1 into 1 18.807 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 0.12) 2)) in x 18.807 * [taylor]: Taking taylor expansion of (pow x 2) in x 18.807 * [taylor]: Taking taylor expansion of x in x 18.807 * [backup-simplify]: Simplify 0 into 0 18.807 * [backup-simplify]: Simplify 1 into 1 18.807 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x 18.807 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 18.807 * [taylor]: Taking taylor expansion of 0.12 in x 18.807 * [backup-simplify]: Simplify 0.12 into 0.12 18.808 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 18.808 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 18.808 * [taylor]: Taking taylor expansion of (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2))) in x 18.808 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 18.808 * [taylor]: Taking taylor expansion of 0.253 in x 18.808 * [backup-simplify]: Simplify 0.253 into 0.253 18.808 * [taylor]: Taking taylor expansion of x in x 18.808 * [backup-simplify]: Simplify 0 into 0 18.808 * [backup-simplify]: Simplify 1 into 1 18.808 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 0.12) 2)) in x 18.808 * [taylor]: Taking taylor expansion of (pow x 2) in x 18.808 * [taylor]: Taking taylor expansion of x in x 18.808 * [backup-simplify]: Simplify 0 into 0 18.808 * [backup-simplify]: Simplify 1 into 1 18.808 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x 18.808 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 18.808 * [taylor]: Taking taylor expansion of 0.12 in x 18.808 * [backup-simplify]: Simplify 0.12 into 0.12 18.809 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 18.809 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 18.809 * [backup-simplify]: Simplify (* 0.253 0) into 0 18.810 * [backup-simplify]: Simplify (+ 0 0) into 0 18.810 * [backup-simplify]: Simplify 0 into 0 18.810 * [backup-simplify]: Simplify (+ (* 0.253 1) (* 0 0)) into 0.253 18.811 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 18.811 * [backup-simplify]: Simplify 0.253 into 0.253 18.811 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 1) (* 0 0))) into 0 18.812 * [backup-simplify]: Simplify (* 1 1) into 1 18.812 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2) 18.813 * [backup-simplify]: Simplify (* 1 (pow (sqrt 0.12) 2)) into (pow (sqrt 0.12) 2) 18.814 * [backup-simplify]: Simplify (+ 0 (pow (sqrt 0.12) 2)) into (pow (sqrt 0.12) 2) 18.815 * [backup-simplify]: Simplify (pow (sqrt 0.12) 2) into (pow (sqrt 0.12) 2) 18.815 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 18.816 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (* 0 (sqrt 0.12))) into 0 18.816 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.817 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (sqrt 0.12) 2))) into 0 18.817 * [backup-simplify]: Simplify (+ 0 0) into 0 18.817 * [backup-simplify]: Simplify 0 into 0 18.818 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 18.818 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0 18.819 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (* 0 (sqrt 0.12)))) into 0 18.819 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.820 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2)))) into 0 18.821 * [backup-simplify]: Simplify (+ 0 0) into 0 18.821 * [backup-simplify]: Simplify 0 into 0 18.821 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 18.822 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.823 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))) into 0 18.823 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.825 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2))))) into 0 18.825 * [backup-simplify]: Simplify (+ 0 0) into 0 18.825 * [backup-simplify]: Simplify 0 into 0 18.827 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 18.828 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.829 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))) into 0 18.830 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.831 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2)))))) into 0 18.832 * [backup-simplify]: Simplify (+ 0 0) into 0 18.832 * [backup-simplify]: Simplify 0 into 0 18.833 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 18.833 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.834 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))) into 0 18.835 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 18.836 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2))))))) into 0 18.836 * [backup-simplify]: Simplify (+ 0 0) into 0 18.836 * [backup-simplify]: Simplify 0 into 0 18.837 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 18.838 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.839 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))))) into 0 18.840 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 18.841 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2)))))))) into 0 18.841 * [backup-simplify]: Simplify (+ 0 0) into 0 18.841 * [backup-simplify]: Simplify 0 into 0 18.842 * [backup-simplify]: Simplify (+ (* (pow (sqrt 0.12) 2) (pow x 2)) (* 0.253 x)) into (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2))) 18.843 * [backup-simplify]: Simplify (+ (* (/ 1 x) 0.253) (* (* (* (/ 1 x) (/ 1 x)) (sqrt 0.12)) (sqrt 0.12))) into (+ (/ (pow (sqrt 0.12) 2) (pow x 2)) (* 0.253 (/ 1 x))) 18.843 * [approximate]: Taking taylor expansion of (+ (/ (pow (sqrt 0.12) 2) (pow x 2)) (* 0.253 (/ 1 x))) in (x) around 0 18.843 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 0.12) 2) (pow x 2)) (* 0.253 (/ 1 x))) in x 18.843 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x 18.843 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x 18.843 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 18.843 * [taylor]: Taking taylor expansion of 0.12 in x 18.843 * [backup-simplify]: Simplify 0.12 into 0.12 18.843 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 18.844 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 18.844 * [taylor]: Taking taylor expansion of (pow x 2) in x 18.844 * [taylor]: Taking taylor expansion of x in x 18.844 * [backup-simplify]: Simplify 0 into 0 18.844 * [backup-simplify]: Simplify 1 into 1 18.844 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2) 18.845 * [backup-simplify]: Simplify (* 1 1) into 1 18.846 * [backup-simplify]: Simplify (/ (pow (sqrt 0.12) 2) 1) into (pow (sqrt 0.12) 2) 18.846 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 18.846 * [taylor]: Taking taylor expansion of 0.253 in x 18.846 * [backup-simplify]: Simplify 0.253 into 0.253 18.846 * [taylor]: Taking taylor expansion of (/ 1 x) in x 18.846 * [taylor]: Taking taylor expansion of x in x 18.846 * [backup-simplify]: Simplify 0 into 0 18.846 * [backup-simplify]: Simplify 1 into 1 18.846 * [backup-simplify]: Simplify (/ 1 1) into 1 18.846 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 0.12) 2) (pow x 2)) (* 0.253 (/ 1 x))) in x 18.846 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x 18.846 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x 18.846 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 18.846 * [taylor]: Taking taylor expansion of 0.12 in x 18.846 * [backup-simplify]: Simplify 0.12 into 0.12 18.846 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 18.847 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 18.847 * [taylor]: Taking taylor expansion of (pow x 2) in x 18.847 * [taylor]: Taking taylor expansion of x in x 18.847 * [backup-simplify]: Simplify 0 into 0 18.847 * [backup-simplify]: Simplify 1 into 1 18.848 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2) 18.848 * [backup-simplify]: Simplify (* 1 1) into 1 18.849 * [backup-simplify]: Simplify (/ (pow (sqrt 0.12) 2) 1) into (pow (sqrt 0.12) 2) 18.849 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 18.849 * [taylor]: Taking taylor expansion of 0.253 in x 18.849 * [backup-simplify]: Simplify 0.253 into 0.253 18.849 * [taylor]: Taking taylor expansion of (/ 1 x) in x 18.849 * [taylor]: Taking taylor expansion of x in x 18.849 * [backup-simplify]: Simplify 0 into 0 18.849 * [backup-simplify]: Simplify 1 into 1 18.849 * [backup-simplify]: Simplify (/ 1 1) into 1 18.850 * [backup-simplify]: Simplify (+ (pow (sqrt 0.12) 2) 0) into (pow (sqrt 0.12) 2) 18.851 * [backup-simplify]: Simplify (pow (sqrt 0.12) 2) into (pow (sqrt 0.12) 2) 18.851 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (* 0 (sqrt 0.12))) into 0 18.852 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.852 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)))) into 0 18.853 * [backup-simplify]: Simplify (* 0.253 1) into 0.253 18.853 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 18.853 * [backup-simplify]: Simplify 0.253 into 0.253 18.854 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0 18.854 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (* 0 (sqrt 0.12)))) into 0 18.855 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.855 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.856 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 18.856 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0 18.857 * [backup-simplify]: Simplify (+ 0 0) into 0 18.857 * [backup-simplify]: Simplify 0 into 0 18.857 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.858 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))) into 0 18.858 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.859 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.860 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.860 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (* 0 1))) into 0 18.860 * [backup-simplify]: Simplify (+ 0 0) into 0 18.861 * [backup-simplify]: Simplify 0 into 0 18.861 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.862 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))) into 0 18.863 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.864 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.864 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.865 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.865 * [backup-simplify]: Simplify (+ 0 0) into 0 18.865 * [backup-simplify]: Simplify 0 into 0 18.866 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.867 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))) into 0 18.867 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 18.868 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.869 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.870 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.870 * [backup-simplify]: Simplify (+ 0 0) into 0 18.870 * [backup-simplify]: Simplify 0 into 0 18.871 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.872 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))))) into 0 18.872 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 18.873 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.874 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.875 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 18.875 * [backup-simplify]: Simplify (+ 0 0) into 0 18.875 * [backup-simplify]: Simplify 0 into 0 18.876 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.877 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))))) into 0 18.877 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 18.878 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.879 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.880 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 18.880 * [backup-simplify]: Simplify (+ 0 0) into 0 18.880 * [backup-simplify]: Simplify 0 into 0 18.881 * [backup-simplify]: Simplify (+ (* 0.253 (/ 1 (/ 1 x))) (* (pow (sqrt 0.12) 2) (pow (/ 1 (/ 1 x)) 2))) into (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2))) 18.881 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) 0.253) (* (* (* (/ 1 (- x)) (/ 1 (- x))) (sqrt 0.12)) (sqrt 0.12))) into (- (/ (pow (sqrt 0.12) 2) (pow x 2)) (* 0.253 (/ 1 x))) 18.881 * [approximate]: Taking taylor expansion of (- (/ (pow (sqrt 0.12) 2) (pow x 2)) (* 0.253 (/ 1 x))) in (x) around 0 18.881 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt 0.12) 2) (pow x 2)) (* 0.253 (/ 1 x))) in x 18.882 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x 18.882 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x 18.882 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 18.882 * [taylor]: Taking taylor expansion of 0.12 in x 18.882 * [backup-simplify]: Simplify 0.12 into 0.12 18.882 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 18.882 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 18.882 * [taylor]: Taking taylor expansion of (pow x 2) in x 18.882 * [taylor]: Taking taylor expansion of x in x 18.882 * [backup-simplify]: Simplify 0 into 0 18.882 * [backup-simplify]: Simplify 1 into 1 18.884 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2) 18.885 * [backup-simplify]: Simplify (* 1 1) into 1 18.886 * [backup-simplify]: Simplify (/ (pow (sqrt 0.12) 2) 1) into (pow (sqrt 0.12) 2) 18.886 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 18.886 * [taylor]: Taking taylor expansion of 0.253 in x 18.886 * [backup-simplify]: Simplify 0.253 into 0.253 18.886 * [taylor]: Taking taylor expansion of (/ 1 x) in x 18.886 * [taylor]: Taking taylor expansion of x in x 18.886 * [backup-simplify]: Simplify 0 into 0 18.886 * [backup-simplify]: Simplify 1 into 1 18.886 * [backup-simplify]: Simplify (/ 1 1) into 1 18.886 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt 0.12) 2) (pow x 2)) (* 0.253 (/ 1 x))) in x 18.886 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x 18.886 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x 18.886 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 18.886 * [taylor]: Taking taylor expansion of 0.12 in x 18.886 * [backup-simplify]: Simplify 0.12 into 0.12 18.886 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 18.887 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 18.887 * [taylor]: Taking taylor expansion of (pow x 2) in x 18.887 * [taylor]: Taking taylor expansion of x in x 18.887 * [backup-simplify]: Simplify 0 into 0 18.887 * [backup-simplify]: Simplify 1 into 1 18.888 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2) 18.888 * [backup-simplify]: Simplify (* 1 1) into 1 18.889 * [backup-simplify]: Simplify (/ (pow (sqrt 0.12) 2) 1) into (pow (sqrt 0.12) 2) 18.889 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 18.889 * [taylor]: Taking taylor expansion of 0.253 in x 18.889 * [backup-simplify]: Simplify 0.253 into 0.253 18.889 * [taylor]: Taking taylor expansion of (/ 1 x) in x 18.889 * [taylor]: Taking taylor expansion of x in x 18.889 * [backup-simplify]: Simplify 0 into 0 18.889 * [backup-simplify]: Simplify 1 into 1 18.889 * [backup-simplify]: Simplify (/ 1 1) into 1 18.890 * [backup-simplify]: Simplify (+ (pow (sqrt 0.12) 2) 0) into (pow (sqrt 0.12) 2) 18.891 * [backup-simplify]: Simplify (pow (sqrt 0.12) 2) into (pow (sqrt 0.12) 2) 18.891 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (* 0 (sqrt 0.12))) into 0 18.892 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.892 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)))) into 0 18.892 * [backup-simplify]: Simplify (* 0.253 1) into 0.253 18.893 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 18.893 * [backup-simplify]: Simplify (+ 0 (- 0.253)) into (- 0.253) 18.893 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 18.894 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0 18.895 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (* 0 (sqrt 0.12)))) into 0 18.895 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.896 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.896 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 18.897 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0 18.897 * [backup-simplify]: Simplify (- 0) into 0 18.898 * [backup-simplify]: Simplify (+ 0 0) into 0 18.898 * [backup-simplify]: Simplify 0 into 0 18.898 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.899 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))) into 0 18.900 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.901 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.901 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.902 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (* 0 1))) into 0 18.902 * [backup-simplify]: Simplify (- 0) into 0 18.902 * [backup-simplify]: Simplify (+ 0 0) into 0 18.902 * [backup-simplify]: Simplify 0 into 0 18.903 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.904 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))) into 0 18.904 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.905 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.906 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.906 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.906 * [backup-simplify]: Simplify (- 0) into 0 18.907 * [backup-simplify]: Simplify (+ 0 0) into 0 18.907 * [backup-simplify]: Simplify 0 into 0 18.907 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.908 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))) into 0 18.909 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 18.910 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.910 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.911 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.911 * [backup-simplify]: Simplify (- 0) into 0 18.911 * [backup-simplify]: Simplify (+ 0 0) into 0 18.911 * [backup-simplify]: Simplify 0 into 0 18.912 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.913 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))))) into 0 18.914 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 18.915 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.915 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.916 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 18.916 * [backup-simplify]: Simplify (- 0) into 0 18.917 * [backup-simplify]: Simplify (+ 0 0) into 0 18.917 * [backup-simplify]: Simplify 0 into 0 18.917 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 18.918 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))))) into 0 18.919 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 18.920 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.921 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.922 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 18.922 * [backup-simplify]: Simplify (- 0) into 0 18.922 * [backup-simplify]: Simplify (+ 0 0) into 0 18.922 * [backup-simplify]: Simplify 0 into 0 18.923 * [backup-simplify]: Simplify (+ (* (- 0.253) (/ 1 (/ 1 (- x)))) (* (pow (sqrt 0.12) 2) (pow (/ 1 (/ 1 (- x))) 2))) into (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2))) 18.923 * * * [progress]: simplifying candidates 18.924 * [simplify]: Simplifying: (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)) (+ (+ (+ (log x) (log x)) (log (sqrt 0.12))) (log (sqrt 0.12))) (+ (+ (log (* x x)) (log (sqrt 0.12))) (log (sqrt 0.12))) (+ (log (* (* x x) (sqrt 0.12))) (log (sqrt 0.12))) (log (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) (exp (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) (* (* (* (* (* x x) x) (* (* x x) x)) (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 0.12))) (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 0.12))) (* (* (* (* (* x x) (* x x)) (* x x)) (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 0.12))) (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 0.12))) (* (* (* (* (* x x) (sqrt 0.12)) (* (* x x) (sqrt 0.12))) (* (* x x) (sqrt 0.12))) (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 0.12))) (* (cbrt (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) (cbrt (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))) (cbrt (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) (* (* (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) (sqrt (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) (sqrt (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) (* (* (* x x) (sqrt 0.12)) (* (cbrt (sqrt 0.12)) (cbrt (sqrt 0.12)))) (* (* (* x x) (sqrt 0.12)) (sqrt (* (cbrt 0.12) (cbrt 0.12)))) (* (* (* x x) (sqrt 0.12)) (sqrt (sqrt 0.12))) (* (* (* x x) (sqrt 0.12)) (sqrt 1)) (* (* (* x x) (sqrt 0.12)) (sqrt (sqrt 0.12))) (* (* (* x x) (sqrt 0.12)) 1) (* (sqrt 0.12) (sqrt 0.12)) (* (* x x) (sqrt 0.12)) (* (* x x) (sqrt 0.12)) (+ (+ (log x) (log x)) (log (sqrt 0.12))) (+ (log (* x x)) (log (sqrt 0.12))) (log (* (* x x) (sqrt 0.12))) (exp (* (* x x) (sqrt 0.12))) (* (* (* (* x x) x) (* (* x x) x)) (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 0.12))) (* (* (* (* x x) (* x x)) (* x x)) (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 0.12))) (* (cbrt (* (* x x) (sqrt 0.12))) (cbrt (* (* x x) (sqrt 0.12)))) (cbrt (* (* x x) (sqrt 0.12))) (* (* (* (* x x) (sqrt 0.12)) (* (* x x) (sqrt 0.12))) (* (* x x) (sqrt 0.12))) (sqrt (* (* x x) (sqrt 0.12))) (sqrt (* (* x x) (sqrt 0.12))) (* x (sqrt (sqrt 0.12))) (* x (sqrt (sqrt 0.12))) (* x (sqrt (sqrt 0.12))) (* x (sqrt (sqrt 0.12))) (* (* x x) (* (cbrt (sqrt 0.12)) (cbrt (sqrt 0.12)))) (* (* x x) (sqrt (* (cbrt 0.12) (cbrt 0.12)))) (* (* x x) (sqrt (sqrt 0.12))) (* (* x x) (sqrt 1)) (* (* x x) (sqrt (sqrt 0.12))) (* (* x x) 1) (* x (sqrt 0.12)) (* (exp (* x 0.253)) (exp (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))) (log (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))) (exp (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))) (* (cbrt (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))) (cbrt (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))))) (cbrt (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))) (* (* (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))) (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))) (sqrt (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))) (sqrt (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))) (+ (pow (* x 0.253) 3) (pow (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)) 3)) (+ (* (* x 0.253) (* x 0.253)) (- (* (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) (* (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))))) (- (* (* x 0.253) (* x 0.253)) (* (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))) (- (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) (* (pow x 2) (pow (sqrt 0.12) 2)) (* (pow x 2) (pow (sqrt 0.12) 2)) (* (pow x 2) (pow (sqrt 0.12) 2)) (* (pow x 2) (sqrt 0.12)) (* (pow x 2) (sqrt 0.12)) (* (pow x 2) (sqrt 0.12)) (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2))) (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2))) (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2))) 18.925 * * [simplify]: Extracting # 0 : cost 51 inf + 0 18.925 * * [simplify]: Extracting # 1 : cost 78 inf + 0 18.925 * * [simplify]: Extracting # 2 : cost 84 inf + 125 18.926 * * [simplify]: Extracting # 3 : cost 53 inf + 4585 18.927 * * [simplify]: Extracting # 4 : cost 25 inf + 10300 18.929 * * [simplify]: Extracting # 5 : cost 4 inf + 16786 18.932 * * [simplify]: Extracting # 6 : cost 0 inf + 18097 18.935 * * [simplify]: iteration 0 : 89 enodes (cost 18072 ) 18.978 * * [simplify]: Extracting # 0 : cost 0 inf + 18097 18.982 * * [simplify]: Extracting # 1 : cost 63 inf + 15616 18.990 * * [simplify]: Extracting # 2 : cost 3 inf + 26947 18.996 * * [simplify]: Extracting # 3 : cost 0 inf + 25414 19.002 * * [simplify]: Extracting # 4 : cost 0 inf + 24294 19.006 * * [simplify]: Extracting # 5 : cost 0 inf + 24094 19.009 * * [simplify]: iteration 1 : 268 enodes (cost 11748 ) 19.146 * * [simplify]: Extracting # 0 : cost 0 inf + 24094 19.158 * * [simplify]: Extracting # 1 : cost 274 inf + 22918 19.181 * * [simplify]: Extracting # 2 : cost 16 inf + 67260 19.198 * * [simplify]: Extracting # 3 : cost 3 inf + 69569 19.221 * * [simplify]: Extracting # 4 : cost 0 inf + 70667 19.248 * * [simplify]: iteration 2 : 1069 enodes (cost 11468 ) 20.616 * * [simplify]: Extracting # 0 : cost 0 inf + 70667 20.664 * * [simplify]: Extracting # 1 : cost 1048 inf + 64928 20.783 * * [simplify]: Extracting # 2 : cost 25 inf + 267994 21.009 * * [simplify]: Extracting # 3 : cost 7 inf + 270673 21.164 * * [simplify]: Extracting # 4 : cost 0 inf + 273474 21.360 * * [simplify]: iteration 3 : 4614 enodes (cost 11308 ) 23.229 * * [simplify]: Extracting # 0 : cost 0 inf + 273474 23.439 * * [simplify]: Extracting # 1 : cost 158 inf + 271705 23.620 * * [simplify]: Extracting # 2 : cost 0 inf + 299839 23.813 * * [simplify]: Extracting # 3 : cost 0 inf + 299708 24.001 * * [simplify]: iteration complete: 5005 enodes (cost 11308 ) 24.002 * [simplify]: Simplified to: (* (* x x) 0.12) (* (* x x) 0.12) (* (* x x) 0.12) (log (* (* x x) 0.12)) (log (* (* x x) 0.12)) (log (* (* x x) 0.12)) (log (* (* x x) 0.12)) (exp (* (* x x) 0.12)) (* (* (* (* x x) 0.12) (* (* x x) 0.12)) (* (* x x) 0.12)) (* (* (* (* x x) 0.12) (* (* x x) 0.12)) (* (* x x) 0.12)) (* (* (* (* x x) 0.12) (* (* x x) 0.12)) (* (* x x) 0.12)) (* (cbrt (* (* x x) 0.12)) (cbrt (* (* x x) 0.12))) (cbrt (* (* x x) 0.12)) (* (* (* (* x x) 0.12) (* (* x x) 0.12)) (* (* x x) 0.12)) (sqrt (* (* x x) 0.12)) (sqrt (* (* x x) 0.12)) (* (* (* x (cbrt (sqrt 0.12))) (* x (cbrt (sqrt 0.12)))) (sqrt 0.12)) (* (fabs (cbrt 0.12)) (* x (* x (sqrt 0.12)))) (* (* (* x x) (sqrt 0.12)) (sqrt (sqrt 0.12))) (* x (* x (sqrt 0.12))) (* (* (* x x) (sqrt 0.12)) (sqrt (sqrt 0.12))) (* x (* x (sqrt 0.12))) 0.12 (* x (* x (sqrt 0.12))) (* x (* x (sqrt 0.12))) (log (* x (* x (sqrt 0.12)))) (log (* x (* x (sqrt 0.12)))) (log (* x (* x (sqrt 0.12)))) (exp (* (* x x) (sqrt 0.12))) (* (* 0.12 (sqrt 0.12)) (* (* (* x x) x) (* (* x x) x))) (* (* 0.12 (sqrt 0.12)) (* (* (* x x) x) (* (* x x) x))) (* (cbrt (* (* x x) (sqrt 0.12))) (cbrt (* (* x x) (sqrt 0.12)))) (cbrt (* (* x x) (sqrt 0.12))) (* (* 0.12 (sqrt 0.12)) (* (* (* x x) x) (* (* x x) x))) (sqrt (* (* x x) (sqrt 0.12))) (sqrt (* (* x x) (sqrt 0.12))) (* x (sqrt (sqrt 0.12))) (* x (sqrt (sqrt 0.12))) (* x (sqrt (sqrt 0.12))) (* x (sqrt (sqrt 0.12))) (* (* x (cbrt (sqrt 0.12))) (* x (cbrt (sqrt 0.12)))) (* (fabs (cbrt 0.12)) (* x x)) (* (* x x) (sqrt (sqrt 0.12))) (* x x) (* (* x x) (sqrt (sqrt 0.12))) (* x x) (* x (sqrt 0.12)) (exp (+ (* 0.253 x) (* (* x x) 0.12))) (log (+ (* 0.253 x) (* (* x x) 0.12))) (exp (+ (* 0.253 x) (* (* x x) 0.12))) (* (cbrt (+ (* 0.253 x) (* (* x x) 0.12))) (cbrt (+ (* 0.253 x) (* (* x x) 0.12)))) (cbrt (+ (* 0.253 x) (* (* x x) 0.12))) (* (* (+ (* 0.253 x) (* (* x x) 0.12)) (+ (* 0.253 x) (* (* x x) 0.12))) (+ (* 0.253 x) (* (* x x) 0.12))) (sqrt (+ (* 0.253 x) (* (* x x) 0.12))) (sqrt (+ (* 0.253 x) (* (* x x) 0.12))) (+ (* (* (* (* x x) 0.12) (* (* x x) 0.12)) (* (* x x) 0.12)) (* (* (* 0.253 x) (* 0.253 x)) (* 0.253 x))) (+ (* (* 0.253 x) (* 0.253 x)) (* (* (* x x) 0.12) (- (* (* x x) 0.12) (* 0.253 x)))) (* (+ (* 0.253 x) (* (* x x) 0.12)) (- (* 0.253 x) (* (* x x) 0.12))) (- (* 0.253 x) (* (* x x) 0.12)) (* (* x x) 0.12) (* (* x x) 0.12) (* (* x x) 0.12) (* x (* x (sqrt 0.12))) (* x (* x (sqrt 0.12))) (* x (* x (sqrt 0.12))) (+ (* 0.253 x) (* (* x x) 0.12)) (+ (* 0.253 x) (* (* x x) 0.12)) (+ (* 0.253 x) (* (* x x) 0.12)) 24.007 * * * [progress]: adding candidates to table 24.250 * [progress]: [Phase 3 of 3] Extracting. 24.250 * * [regime]: Finding splitpoints for: (# # #) 24.251 * * * [regime-changes]: Trying 3 branch expressions: ((* x (+ 0.253 (* x 0.12))) (- 1.0 (* x (+ 0.253 (* x 0.12)))) x) 24.251 * * * * [regimes]: Trying to branch on (* x (+ 0.253 (* x 0.12))) from (# # #) 24.296 * * * * [regimes]: Trying to branch on (- 1.0 (* x (+ 0.253 (* x 0.12)))) from (# # #) 24.337 * * * * [regimes]: Trying to branch on x from (# # #) 24.381 * * * [regime]: Found split indices: #