4.623 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.047 * * * [progress]: [2/2] Setting up program. 0.064 * [progress]: [Phase 2 of 3] Improving. 0.064 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.065 * [simplify]: Simplifying: (+ x (/ (- y x) z)) 0.065 * * [simplify]: iteration 0: 6 enodes 0.075 * * [simplify]: iteration 1: 12 enodes 0.090 * * [simplify]: iteration 2: 19 enodes 0.102 * * [simplify]: iteration 3: 28 enodes 0.118 * * [simplify]: iteration 4: 38 enodes 0.141 * * [simplify]: iteration 5: 54 enodes 0.185 * * [simplify]: iteration 6: 93 enodes 0.249 * * [simplify]: iteration 7: 143 enodes 0.301 * * [simplify]: iteration 8: 183 enodes 0.361 * * [simplify]: iteration 9: 235 enodes 0.427 * * [simplify]: iteration 10: 275 enodes 0.501 * * [simplify]: iteration 11: 327 enodes 0.611 * * [simplify]: iteration 12: 375 enodes 0.718 * * [simplify]: iteration 13: 459 enodes 0.840 * * [simplify]: iteration 14: 503 enodes 0.944 * * [simplify]: iteration 15: 570 enodes 1.046 * * [simplify]: iteration 16: 596 enodes 1.153 * * [simplify]: iteration 17: 633 enodes 1.282 * * [simplify]: iteration 18: 670 enodes 1.414 * * [simplify]: iteration 19: 718 enodes 1.505 * * [simplify]: iteration 20: 757 enodes 1.610 * * [simplify]: iteration 21: 804 enodes 1.742 * * [simplify]: iteration 22: 836 enodes 1.854 * * [simplify]: iteration 23: 881 enodes 1.940 * * [simplify]: iteration 24: 914 enodes 2.030 * * [simplify]: iteration 25: 961 enodes 2.122 * * [simplify]: iteration 26: 999 enodes 2.271 * * [simplify]: iteration 27: 1041 enodes 2.362 * * [simplify]: iteration 28: 1074 enodes 2.467 * * [simplify]: iteration 29: 1127 enodes 2.568 * * [simplify]: iteration 30: 1159 enodes 2.700 * * [simplify]: iteration 31: 1201 enodes 2.784 * * [simplify]: iteration 32: 1238 enodes 2.917 * * [simplify]: iteration 33: 1285 enodes 3.061 * * [simplify]: iteration 34: 1317 enodes 3.162 * * [simplify]: iteration 35: 1364 enodes 3.277 * * [simplify]: iteration 36: 1397 enodes 3.368 * * [simplify]: iteration 37: 1444 enodes 3.457 * * [simplify]: iteration 38: 1482 enodes 3.606 * * [simplify]: iteration 39: 1524 enodes 3.692 * * [simplify]: iteration 40: 1557 enodes 3.816 * * [simplify]: iteration 41: 1610 enodes 3.911 * * [simplify]: iteration 42: 1642 enodes 4.009 * * [simplify]: iteration 43: 1684 enodes 4.137 * * [simplify]: iteration 44: 1721 enodes 4.245 * * [simplify]: iteration 45: 1768 enodes 4.330 * * [simplify]: iteration 46: 1800 enodes 4.434 * * [simplify]: iteration 47: 1847 enodes 4.541 * * [simplify]: iteration 48: 1880 enodes 4.618 * * [simplify]: iteration 49: 1927 enodes 4.693 * * [simplify]: iteration 50: 1965 enodes 4.836 * * [simplify]: iteration 51: 2007 enodes 4.909 * * [simplify]: iteration 52: 2040 enodes 5.003 * * [simplify]: iteration 53: 2093 enodes 5.145 * * [simplify]: iteration 54: 2125 enodes 5.302 * * [simplify]: iteration 55: 2167 enodes 5.417 * * [simplify]: iteration 56: 2204 enodes 5.520 * * [simplify]: iteration 57: 2251 enodes 5.605 * * [simplify]: iteration 58: 2283 enodes 5.723 * * [simplify]: iteration 59: 2330 enodes 5.816 * * [simplify]: iteration 60: 2363 enodes 5.904 * * [simplify]: iteration 61: 2410 enodes 6.029 * * [simplify]: iteration 62: 2452 enodes 6.151 * * [simplify]: iteration 63: 2494 enodes 6.260 * * [simplify]: iteration 64: 2527 enodes 6.340 * * [simplify]: iteration 65: 2580 enodes 6.407 * * [simplify]: iteration 66: 2612 enodes 6.497 * * [simplify]: iteration 67: 2654 enodes 6.584 * * [simplify]: iteration 68: 2691 enodes 6.677 * * [simplify]: iteration 69: 2738 enodes 6.794 * * [simplify]: iteration 70: 2770 enodes 6.931 * * [simplify]: iteration 71: 2819 enodes 7.057 * * [simplify]: iteration 72: 2852 enodes 7.169 * * [simplify]: iteration 73: 2899 enodes 7.272 * * [simplify]: iteration 74: 2937 enodes 7.414 * * [simplify]: iteration 75: 2979 enodes 7.505 * * [simplify]: iteration 76: 3012 enodes 7.610 * * [simplify]: iteration 77: 3065 enodes 7.694 * * [simplify]: iteration 78: 3097 enodes 7.792 * * [simplify]: iteration 79: 3139 enodes 7.882 * * [simplify]: iteration 80: 3178 enodes 8.003 * * [simplify]: iteration 81: 3225 enodes 8.087 * * [simplify]: iteration 82: 3257 enodes 8.177 * * [simplify]: iteration 83: 3304 enodes 8.290 * * [simplify]: iteration 84: 3337 enodes 8.364 * * [simplify]: iteration 85: 3384 enodes 8.509 * * [simplify]: iteration 86: 3426 enodes 8.623 * * [simplify]: iteration 87: 3468 enodes 8.749 * * [simplify]: iteration 88: 3501 enodes 8.850 * * [simplify]: iteration 89: 3554 enodes 8.953 * * [simplify]: iteration 90: 3586 enodes 9.080 * * [simplify]: iteration 91: 3628 enodes 9.190 * * [simplify]: iteration 92: 3665 enodes 9.300 * * [simplify]: iteration 93: 3712 enodes 9.446 * * [simplify]: iteration 94: 3744 enodes 9.567 * * [simplify]: iteration 95: 3789 enodes 9.697 * * [simplify]: iteration 96: 3822 enodes 9.812 * * [simplify]: iteration 97: 3869 enodes 9.924 * * [simplify]: iteration 98: 3911 enodes 10.062 * * [simplify]: iteration 99: 3953 enodes 10.164 * * [simplify]: iteration 100: 3986 enodes 10.286 * * [simplify]: iteration 101: 4039 enodes 10.428 * * [simplify]: iteration 102: 4071 enodes 10.517 * * [simplify]: iteration 103: 4113 enodes 10.633 * * [simplify]: iteration 104: 4150 enodes 10.780 * * [simplify]: iteration 105: 4197 enodes 10.896 * * [simplify]: iteration 106: 4229 enodes 11.041 * * [simplify]: iteration 107: 4278 enodes 11.174 * * [simplify]: iteration 108: 4311 enodes 11.264 * * [simplify]: iteration 109: 4358 enodes 11.380 * * [simplify]: iteration 110: 4396 enodes 11.507 * * [simplify]: iteration 111: 4438 enodes 11.607 * * [simplify]: iteration 112: 4471 enodes 11.705 * * [simplify]: iteration 113: 4524 enodes 11.803 * * [simplify]: iteration 114: 4556 enodes 11.894 * * [simplify]: iteration 115: 4598 enodes 11.991 * * [simplify]: iteration 116: 4637 enodes 12.142 * * [simplify]: iteration 117: 4684 enodes 12.288 * * [simplify]: iteration 118: 4716 enodes 12.408 * * [simplify]: iteration 119: 4765 enodes 12.536 * * [simplify]: iteration 120: 4798 enodes 12.671 * * [simplify]: iteration 121: 4845 enodes 12.743 * * [simplify]: iteration 122: 4883 enodes 12.816 * * [simplify]: iteration 123: 4925 enodes 12.901 * * [simplify]: iteration 124: 4958 enodes 12.986 * * [simplify]: iteration complete: 5000 enodes 12.986 * * [simplify]: Extracting #0: cost 1 inf + 0 12.986 * * [simplify]: Extracting #1: cost 18 inf + 0 12.986 * * [simplify]: Extracting #2: cost 26 inf + 1 12.987 * * [simplify]: Extracting #3: cost 24 inf + 536 12.988 * * [simplify]: Extracting #4: cost 3 inf + 2222 12.991 * * [simplify]: Extracting #5: cost 0 inf + 2631 12.993 * [simplify]: Simplified to: (+ (/ (- y x) z) x) 12.995 * * [progress]: iteration 1 / 4 12.996 * * * [progress]: picking best candidate 13.006 * * * * [pick]: Picked # 13.006 * * * [progress]: localizing error 13.050 * * * [progress]: generating rewritten candidates 13.050 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 13.104 * * * [progress]: generating series expansions 13.104 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 13.120 * [backup-simplify]: Simplify (/ (- y x) z) into (/ (- y x) z) 13.120 * [approximate]: Taking taylor expansion of (/ (- y x) z) in (y x z) around 0 13.121 * [taylor]: Taking taylor expansion of (/ (- y x) z) in z 13.121 * [taylor]: Taking taylor expansion of (- y x) in z 13.121 * [taylor]: Taking taylor expansion of y in z 13.121 * [backup-simplify]: Simplify y into y 13.121 * [taylor]: Taking taylor expansion of x in z 13.121 * [backup-simplify]: Simplify x into x 13.121 * [taylor]: Taking taylor expansion of z in z 13.121 * [backup-simplify]: Simplify 0 into 0 13.121 * [backup-simplify]: Simplify 1 into 1 13.121 * [backup-simplify]: Simplify (- x) into (- x) 13.121 * [backup-simplify]: Simplify (+ y (- x)) into (- y x) 13.122 * [backup-simplify]: Simplify (/ (- y x) 1) into (- y x) 13.122 * [taylor]: Taking taylor expansion of (/ (- y x) z) in x 13.122 * [taylor]: Taking taylor expansion of (- y x) in x 13.122 * [taylor]: Taking taylor expansion of y in x 13.122 * [backup-simplify]: Simplify y into y 13.122 * [taylor]: Taking taylor expansion of x in x 13.122 * [backup-simplify]: Simplify 0 into 0 13.122 * [backup-simplify]: Simplify 1 into 1 13.122 * [taylor]: Taking taylor expansion of z in x 13.122 * [backup-simplify]: Simplify z into z 13.122 * [backup-simplify]: Simplify (- 0) into 0 13.122 * [backup-simplify]: Simplify (+ y 0) into y 13.122 * [backup-simplify]: Simplify (/ y z) into (/ y z) 13.122 * [taylor]: Taking taylor expansion of (/ (- y x) z) in y 13.122 * [taylor]: Taking taylor expansion of (- y x) in y 13.122 * [taylor]: Taking taylor expansion of y in y 13.122 * [backup-simplify]: Simplify 0 into 0 13.122 * [backup-simplify]: Simplify 1 into 1 13.122 * [taylor]: Taking taylor expansion of x in y 13.122 * [backup-simplify]: Simplify x into x 13.122 * [taylor]: Taking taylor expansion of z in y 13.123 * [backup-simplify]: Simplify z into z 13.123 * [backup-simplify]: Simplify (- x) into (- x) 13.123 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 13.123 * [backup-simplify]: Simplify (/ (- x) z) into (* -1 (/ x z)) 13.123 * [taylor]: Taking taylor expansion of (/ (- y x) z) in y 13.123 * [taylor]: Taking taylor expansion of (- y x) in y 13.123 * [taylor]: Taking taylor expansion of y in y 13.123 * [backup-simplify]: Simplify 0 into 0 13.123 * [backup-simplify]: Simplify 1 into 1 13.123 * [taylor]: Taking taylor expansion of x in y 13.123 * [backup-simplify]: Simplify x into x 13.123 * [taylor]: Taking taylor expansion of z in y 13.123 * [backup-simplify]: Simplify z into z 13.123 * [backup-simplify]: Simplify (- x) into (- x) 13.123 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 13.123 * [backup-simplify]: Simplify (/ (- x) z) into (* -1 (/ x z)) 13.123 * [taylor]: Taking taylor expansion of (* -1 (/ x z)) in x 13.123 * [taylor]: Taking taylor expansion of -1 in x 13.124 * [backup-simplify]: Simplify -1 into -1 13.124 * [taylor]: Taking taylor expansion of (/ x z) in x 13.124 * [taylor]: Taking taylor expansion of x in x 13.124 * [backup-simplify]: Simplify 0 into 0 13.124 * [backup-simplify]: Simplify 1 into 1 13.124 * [taylor]: Taking taylor expansion of z in x 13.124 * [backup-simplify]: Simplify z into z 13.124 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 13.124 * [backup-simplify]: Simplify (- 0) into 0 13.125 * [backup-simplify]: Simplify (+ 1 0) into 1 13.125 * [backup-simplify]: Simplify (- (/ 1 z) (+ (* (* -1 (/ x z)) (/ 0 z)))) into (/ 1 z) 13.125 * [taylor]: Taking taylor expansion of (/ 1 z) in x 13.125 * [taylor]: Taking taylor expansion of z in x 13.125 * [backup-simplify]: Simplify z into z 13.125 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 13.125 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.125 * [taylor]: Taking taylor expansion of z in z 13.126 * [backup-simplify]: Simplify 0 into 0 13.126 * [backup-simplify]: Simplify 1 into 1 13.131 * [backup-simplify]: Simplify (/ 1 1) into 1 13.131 * [backup-simplify]: Simplify 1 into 1 13.132 * [backup-simplify]: Simplify (* -1 (/ 1 z)) into (/ -1 z) 13.132 * [taylor]: Taking taylor expansion of (/ -1 z) in z 13.132 * [taylor]: Taking taylor expansion of -1 in z 13.132 * [backup-simplify]: Simplify -1 into -1 13.132 * [taylor]: Taking taylor expansion of z in z 13.132 * [backup-simplify]: Simplify 0 into 0 13.132 * [backup-simplify]: Simplify 1 into 1 13.132 * [backup-simplify]: Simplify (/ -1 1) into -1 13.133 * [backup-simplify]: Simplify -1 into -1 13.133 * [backup-simplify]: Simplify (- 0) into 0 13.133 * [backup-simplify]: Simplify (+ 0 0) into 0 13.133 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (* -1 (/ x z)) (/ 0 z)) (* (/ 1 z) (/ 0 z)))) into 0 13.133 * [taylor]: Taking taylor expansion of 0 in x 13.133 * [backup-simplify]: Simplify 0 into 0 13.134 * [taylor]: Taking taylor expansion of 0 in z 13.134 * [backup-simplify]: Simplify 0 into 0 13.134 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 13.134 * [taylor]: Taking taylor expansion of 0 in z 13.134 * [backup-simplify]: Simplify 0 into 0 13.134 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 13.135 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 z))) into 0 13.135 * [taylor]: Taking taylor expansion of 0 in z 13.135 * [backup-simplify]: Simplify 0 into 0 13.135 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 13.135 * [backup-simplify]: Simplify 0 into 0 13.136 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 13.136 * [backup-simplify]: Simplify 0 into 0 13.136 * [backup-simplify]: Simplify (- 0) into 0 13.136 * [backup-simplify]: Simplify (+ 0 0) into 0 13.137 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (* -1 (/ x z)) (/ 0 z)) (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 13.137 * [taylor]: Taking taylor expansion of 0 in x 13.137 * [backup-simplify]: Simplify 0 into 0 13.137 * [taylor]: Taking taylor expansion of 0 in z 13.137 * [backup-simplify]: Simplify 0 into 0 13.137 * [taylor]: Taking taylor expansion of 0 in z 13.137 * [backup-simplify]: Simplify 0 into 0 13.137 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 13.137 * [taylor]: Taking taylor expansion of 0 in z 13.137 * [backup-simplify]: Simplify 0 into 0 13.138 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 13.138 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0 13.138 * [taylor]: Taking taylor expansion of 0 in z 13.138 * [backup-simplify]: Simplify 0 into 0 13.138 * [backup-simplify]: Simplify 0 into 0 13.138 * [backup-simplify]: Simplify 0 into 0 13.138 * [backup-simplify]: Simplify 0 into 0 13.139 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.139 * [backup-simplify]: Simplify 0 into 0 13.140 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 z) (* x 1))) (* 1 (* (/ 1 z) (* 1 y)))) into (- (/ y z) (/ x z)) 13.140 * [backup-simplify]: Simplify (/ (- (/ 1 y) (/ 1 x)) (/ 1 z)) into (* (- (/ 1 y) (/ 1 x)) z) 13.140 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in (y x z) around 0 13.140 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in z 13.140 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 13.140 * [taylor]: Taking taylor expansion of (/ 1 y) in z 13.140 * [taylor]: Taking taylor expansion of y in z 13.140 * [backup-simplify]: Simplify y into y 13.140 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 13.140 * [taylor]: Taking taylor expansion of (/ 1 x) in z 13.140 * [taylor]: Taking taylor expansion of x in z 13.140 * [backup-simplify]: Simplify x into x 13.140 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 13.140 * [taylor]: Taking taylor expansion of z in z 13.140 * [backup-simplify]: Simplify 0 into 0 13.141 * [backup-simplify]: Simplify 1 into 1 13.141 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in x 13.141 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 13.141 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.141 * [taylor]: Taking taylor expansion of y in x 13.141 * [backup-simplify]: Simplify y into y 13.141 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 13.141 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.141 * [taylor]: Taking taylor expansion of x in x 13.141 * [backup-simplify]: Simplify 0 into 0 13.141 * [backup-simplify]: Simplify 1 into 1 13.141 * [backup-simplify]: Simplify (/ 1 1) into 1 13.141 * [taylor]: Taking taylor expansion of z in x 13.141 * [backup-simplify]: Simplify z into z 13.141 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in y 13.141 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 13.141 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.141 * [taylor]: Taking taylor expansion of y in y 13.141 * [backup-simplify]: Simplify 0 into 0 13.141 * [backup-simplify]: Simplify 1 into 1 13.142 * [backup-simplify]: Simplify (/ 1 1) into 1 13.142 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.142 * [taylor]: Taking taylor expansion of x in y 13.142 * [backup-simplify]: Simplify x into x 13.142 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 13.142 * [taylor]: Taking taylor expansion of z in y 13.142 * [backup-simplify]: Simplify z into z 13.142 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in y 13.142 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 13.142 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.142 * [taylor]: Taking taylor expansion of y in y 13.142 * [backup-simplify]: Simplify 0 into 0 13.142 * [backup-simplify]: Simplify 1 into 1 13.142 * [backup-simplify]: Simplify (/ 1 1) into 1 13.142 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.142 * [taylor]: Taking taylor expansion of x in y 13.142 * [backup-simplify]: Simplify x into x 13.142 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 13.142 * [taylor]: Taking taylor expansion of z in y 13.142 * [backup-simplify]: Simplify z into z 13.143 * [backup-simplify]: Simplify (+ 1 0) into 1 13.143 * [backup-simplify]: Simplify (* 1 z) into z 13.143 * [taylor]: Taking taylor expansion of z in x 13.143 * [backup-simplify]: Simplify z into z 13.143 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 13.143 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 13.143 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 13.144 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 x)) z)) into (- (/ z x)) 13.144 * [taylor]: Taking taylor expansion of (- (/ z x)) in x 13.144 * [taylor]: Taking taylor expansion of (/ z x) in x 13.144 * [taylor]: Taking taylor expansion of z in x 13.144 * [backup-simplify]: Simplify z into z 13.144 * [taylor]: Taking taylor expansion of x in x 13.144 * [backup-simplify]: Simplify 0 into 0 13.144 * [backup-simplify]: Simplify 1 into 1 13.144 * [backup-simplify]: Simplify (/ z 1) into z 13.144 * [backup-simplify]: Simplify (- z) into (- z) 13.144 * [taylor]: Taking taylor expansion of (- z) in z 13.144 * [taylor]: Taking taylor expansion of z in z 13.144 * [backup-simplify]: Simplify 0 into 0 13.144 * [backup-simplify]: Simplify 1 into 1 13.145 * [backup-simplify]: Simplify (- 0) into 0 13.145 * [backup-simplify]: Simplify 0 into 0 13.145 * [taylor]: Taking taylor expansion of z in z 13.145 * [backup-simplify]: Simplify 0 into 0 13.145 * [backup-simplify]: Simplify 1 into 1 13.145 * [backup-simplify]: Simplify 0 into 0 13.145 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.145 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 13.146 * [backup-simplify]: Simplify (- 0) into 0 13.146 * [backup-simplify]: Simplify (+ 0 0) into 0 13.146 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (* 0 z))) into 0 13.146 * [taylor]: Taking taylor expansion of 0 in x 13.146 * [backup-simplify]: Simplify 0 into 0 13.147 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 13.147 * [backup-simplify]: Simplify (- 0) into 0 13.147 * [taylor]: Taking taylor expansion of 0 in z 13.147 * [backup-simplify]: Simplify 0 into 0 13.147 * [backup-simplify]: Simplify 0 into 0 13.147 * [taylor]: Taking taylor expansion of 0 in z 13.147 * [backup-simplify]: Simplify 0 into 0 13.147 * [backup-simplify]: Simplify 0 into 0 13.148 * [backup-simplify]: Simplify (- 1) into -1 13.148 * [backup-simplify]: Simplify -1 into -1 13.148 * [backup-simplify]: Simplify 1 into 1 13.148 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.149 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 13.149 * [backup-simplify]: Simplify (- 0) into 0 13.149 * [backup-simplify]: Simplify (+ 0 0) into 0 13.150 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (+ (* 0 0) (* 0 z)))) into 0 13.150 * [taylor]: Taking taylor expansion of 0 in x 13.150 * [backup-simplify]: Simplify 0 into 0 13.150 * [taylor]: Taking taylor expansion of 0 in z 13.150 * [backup-simplify]: Simplify 0 into 0 13.150 * [backup-simplify]: Simplify 0 into 0 13.151 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.151 * [backup-simplify]: Simplify (- 0) into 0 13.151 * [taylor]: Taking taylor expansion of 0 in z 13.151 * [backup-simplify]: Simplify 0 into 0 13.152 * [backup-simplify]: Simplify 0 into 0 13.152 * [taylor]: Taking taylor expansion of 0 in z 13.152 * [backup-simplify]: Simplify 0 into 0 13.152 * [backup-simplify]: Simplify 0 into 0 13.152 * [backup-simplify]: Simplify 0 into 0 13.152 * [backup-simplify]: Simplify 0 into 0 13.152 * [backup-simplify]: Simplify (- 0) into 0 13.152 * [backup-simplify]: Simplify 0 into 0 13.152 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 z) (* 1 (/ 1 (/ 1 y))))) (* -1 (* (/ 1 z) (* (/ 1 (/ 1 x)) 1)))) into (- (/ y z) (/ x z)) 13.153 * [backup-simplify]: Simplify (/ (- (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- z))) into (* -1 (* z (- (/ 1 x) (/ 1 y)))) 13.153 * [approximate]: Taking taylor expansion of (* -1 (* z (- (/ 1 x) (/ 1 y)))) in (y x z) around 0 13.153 * [taylor]: Taking taylor expansion of (* -1 (* z (- (/ 1 x) (/ 1 y)))) in z 13.153 * [taylor]: Taking taylor expansion of -1 in z 13.153 * [backup-simplify]: Simplify -1 into -1 13.153 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in z 13.153 * [taylor]: Taking taylor expansion of z in z 13.153 * [backup-simplify]: Simplify 0 into 0 13.153 * [backup-simplify]: Simplify 1 into 1 13.153 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 13.153 * [taylor]: Taking taylor expansion of (/ 1 x) in z 13.153 * [taylor]: Taking taylor expansion of x in z 13.153 * [backup-simplify]: Simplify x into x 13.153 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 13.153 * [taylor]: Taking taylor expansion of (/ 1 y) in z 13.153 * [taylor]: Taking taylor expansion of y in z 13.153 * [backup-simplify]: Simplify y into y 13.153 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 13.154 * [taylor]: Taking taylor expansion of (* -1 (* z (- (/ 1 x) (/ 1 y)))) in x 13.154 * [taylor]: Taking taylor expansion of -1 in x 13.154 * [backup-simplify]: Simplify -1 into -1 13.154 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in x 13.154 * [taylor]: Taking taylor expansion of z in x 13.154 * [backup-simplify]: Simplify z into z 13.154 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 13.154 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.154 * [taylor]: Taking taylor expansion of x in x 13.154 * [backup-simplify]: Simplify 0 into 0 13.154 * [backup-simplify]: Simplify 1 into 1 13.154 * [backup-simplify]: Simplify (/ 1 1) into 1 13.154 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.154 * [taylor]: Taking taylor expansion of y in x 13.154 * [backup-simplify]: Simplify y into y 13.154 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 13.155 * [taylor]: Taking taylor expansion of (* -1 (* z (- (/ 1 x) (/ 1 y)))) in y 13.155 * [taylor]: Taking taylor expansion of -1 in y 13.155 * [backup-simplify]: Simplify -1 into -1 13.155 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in y 13.155 * [taylor]: Taking taylor expansion of z in y 13.155 * [backup-simplify]: Simplify z into z 13.155 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 13.155 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.155 * [taylor]: Taking taylor expansion of x in y 13.155 * [backup-simplify]: Simplify x into x 13.155 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 13.155 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.155 * [taylor]: Taking taylor expansion of y in y 13.155 * [backup-simplify]: Simplify 0 into 0 13.155 * [backup-simplify]: Simplify 1 into 1 13.155 * [backup-simplify]: Simplify (/ 1 1) into 1 13.155 * [taylor]: Taking taylor expansion of (* -1 (* z (- (/ 1 x) (/ 1 y)))) in y 13.156 * [taylor]: Taking taylor expansion of -1 in y 13.156 * [backup-simplify]: Simplify -1 into -1 13.156 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in y 13.156 * [taylor]: Taking taylor expansion of z in y 13.156 * [backup-simplify]: Simplify z into z 13.156 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 13.156 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.156 * [taylor]: Taking taylor expansion of x in y 13.156 * [backup-simplify]: Simplify x into x 13.156 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 13.156 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.156 * [taylor]: Taking taylor expansion of y in y 13.156 * [backup-simplify]: Simplify 0 into 0 13.156 * [backup-simplify]: Simplify 1 into 1 13.156 * [backup-simplify]: Simplify (/ 1 1) into 1 13.157 * [backup-simplify]: Simplify (- 1) into -1 13.157 * [backup-simplify]: Simplify (+ 0 -1) into -1 13.158 * [backup-simplify]: Simplify (* z -1) into (* -1 z) 13.158 * [backup-simplify]: Simplify (* -1 (* -1 z)) into z 13.158 * [taylor]: Taking taylor expansion of z in x 13.158 * [backup-simplify]: Simplify z into z 13.159 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 13.159 * [backup-simplify]: Simplify (- 0) into 0 13.159 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 13.160 * [backup-simplify]: Simplify (+ (* z (/ 1 x)) (* 0 -1)) into (/ z x) 13.160 * [backup-simplify]: Simplify (+ (* -1 (/ z x)) (* 0 (* -1 z))) into (- (/ z x)) 13.160 * [taylor]: Taking taylor expansion of (- (/ z x)) in x 13.160 * [taylor]: Taking taylor expansion of (/ z x) in x 13.160 * [taylor]: Taking taylor expansion of z in x 13.161 * [backup-simplify]: Simplify z into z 13.161 * [taylor]: Taking taylor expansion of x in x 13.161 * [backup-simplify]: Simplify 0 into 0 13.161 * [backup-simplify]: Simplify 1 into 1 13.161 * [backup-simplify]: Simplify (/ z 1) into z 13.161 * [backup-simplify]: Simplify (- z) into (- z) 13.161 * [taylor]: Taking taylor expansion of (- z) in z 13.161 * [taylor]: Taking taylor expansion of z in z 13.161 * [backup-simplify]: Simplify 0 into 0 13.161 * [backup-simplify]: Simplify 1 into 1 13.161 * [backup-simplify]: Simplify (- 0) into 0 13.161 * [backup-simplify]: Simplify 0 into 0 13.161 * [taylor]: Taking taylor expansion of z in z 13.162 * [backup-simplify]: Simplify 0 into 0 13.162 * [backup-simplify]: Simplify 1 into 1 13.162 * [backup-simplify]: Simplify 0 into 0 13.162 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 13.163 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.163 * [backup-simplify]: Simplify (- 0) into 0 13.164 * [backup-simplify]: Simplify (+ 0 0) into 0 13.165 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 (/ 1 x)) (* 0 -1))) into 0 13.166 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ z x)) (* 0 (* -1 z)))) into 0 13.166 * [taylor]: Taking taylor expansion of 0 in x 13.166 * [backup-simplify]: Simplify 0 into 0 13.167 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 13.167 * [backup-simplify]: Simplify (- 0) into 0 13.167 * [taylor]: Taking taylor expansion of 0 in z 13.167 * [backup-simplify]: Simplify 0 into 0 13.167 * [backup-simplify]: Simplify 0 into 0 13.167 * [taylor]: Taking taylor expansion of 0 in z 13.167 * [backup-simplify]: Simplify 0 into 0 13.167 * [backup-simplify]: Simplify 0 into 0 13.168 * [backup-simplify]: Simplify (- 1) into -1 13.168 * [backup-simplify]: Simplify -1 into -1 13.168 * [backup-simplify]: Simplify 1 into 1 13.169 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 13.170 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.170 * [backup-simplify]: Simplify (- 0) into 0 13.170 * [backup-simplify]: Simplify (+ 0 0) into 0 13.172 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 (/ 1 x)) (* 0 -1)))) into 0 13.173 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ z x)) (* 0 (* -1 z))))) into 0 13.173 * [taylor]: Taking taylor expansion of 0 in x 13.173 * [backup-simplify]: Simplify 0 into 0 13.173 * [taylor]: Taking taylor expansion of 0 in z 13.173 * [backup-simplify]: Simplify 0 into 0 13.173 * [backup-simplify]: Simplify 0 into 0 13.175 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.175 * [backup-simplify]: Simplify (- 0) into 0 13.175 * [taylor]: Taking taylor expansion of 0 in z 13.175 * [backup-simplify]: Simplify 0 into 0 13.175 * [backup-simplify]: Simplify 0 into 0 13.175 * [taylor]: Taking taylor expansion of 0 in z 13.175 * [backup-simplify]: Simplify 0 into 0 13.176 * [backup-simplify]: Simplify 0 into 0 13.176 * [backup-simplify]: Simplify 0 into 0 13.176 * [backup-simplify]: Simplify 0 into 0 13.177 * [backup-simplify]: Simplify (- 0) into 0 13.177 * [backup-simplify]: Simplify 0 into 0 13.178 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (- z)) (* 1 (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- x))) 1)))) into (- (/ y z) (/ x z)) 13.178 * * * [progress]: simplifying candidates 13.178 * * * * [progress]: [ 1 / 42 ] simplifiying candidate #real (real->posit16 (/ (- y x) z)))))> 13.178 * * * * [progress]: [ 2 / 42 ] simplifiying candidate # 13.178 * * * * [progress]: [ 3 / 42 ] simplifiying candidate # 13.179 * * * * [progress]: [ 4 / 42 ] simplifiying candidate # 13.179 * * * * [progress]: [ 5 / 42 ] simplifiying candidate # 13.179 * * * * [progress]: [ 6 / 42 ] simplifiying candidate # 13.179 * * * * [progress]: [ 7 / 42 ] simplifiying candidate # 13.179 * * * * [progress]: [ 8 / 42 ] simplifiying candidate # 13.179 * * * * [progress]: [ 9 / 42 ] simplifiying candidate # 13.179 * * * * [progress]: [ 10 / 42 ] simplifiying candidate # 13.179 * * * * [progress]: [ 11 / 42 ] simplifiying candidate # 13.179 * * * * [progress]: [ 12 / 42 ] simplifiying candidate # 13.179 * * * * [progress]: [ 13 / 42 ] simplifiying candidate # 13.179 * * * * [progress]: [ 14 / 42 ] simplifiying candidate # 13.179 * * * * [progress]: [ 15 / 42 ] simplifiying candidate # 13.179 * * * * [progress]: [ 16 / 42 ] simplifiying candidate # 13.179 * * * * [progress]: [ 17 / 42 ] simplifiying candidate # 13.179 * * * * [progress]: [ 18 / 42 ] simplifiying candidate # 13.179 * * * * [progress]: [ 19 / 42 ] simplifiying candidate # 13.179 * * * * [progress]: [ 20 / 42 ] simplifiying candidate # 13.180 * * * * [progress]: [ 21 / 42 ] simplifiying candidate # 13.180 * * * * [progress]: [ 22 / 42 ] simplifiying candidate # 13.180 * * * * [progress]: [ 23 / 42 ] simplifiying candidate # 13.180 * * * * [progress]: [ 24 / 42 ] simplifiying candidate # 13.180 * * * * [progress]: [ 25 / 42 ] simplifiying candidate # 13.180 * * * * [progress]: [ 26 / 42 ] simplifiying candidate # 13.180 * * * * [progress]: [ 27 / 42 ] simplifiying candidate # 13.180 * * * * [progress]: [ 28 / 42 ] simplifiying candidate # 13.180 * * * * [progress]: [ 29 / 42 ] simplifiying candidate # 13.180 * * * * [progress]: [ 30 / 42 ] simplifiying candidate # 13.180 * * * * [progress]: [ 31 / 42 ] simplifiying candidate # 13.180 * * * * [progress]: [ 32 / 42 ] simplifiying candidate # 13.180 * * * * [progress]: [ 33 / 42 ] simplifiying candidate # 13.180 * * * * [progress]: [ 34 / 42 ] simplifiying candidate # 13.180 * * * * [progress]: [ 35 / 42 ] simplifiying candidate # 13.180 * * * * [progress]: [ 36 / 42 ] simplifiying candidate # 13.181 * * * * [progress]: [ 37 / 42 ] simplifiying candidate # 13.181 * * * * [progress]: [ 38 / 42 ] simplifiying candidate # 13.181 * * * * [progress]: [ 39 / 42 ] simplifiying candidate # 13.181 * * * * [progress]: [ 40 / 42 ] simplifiying candidate # 13.181 * * * * [progress]: [ 41 / 42 ] simplifiying candidate # 13.181 * * * * [progress]: [ 42 / 42 ] simplifiying candidate # 13.181 * [simplify]: Simplifying: (real->posit16 (/ (- y x) z)) (- (log (- y x)) (log z)) (log (/ (- y x) z)) (exp (/ (- y x) z)) (/ (* (* (- y x) (- y x)) (- y x)) (* (* z z) z)) (* (cbrt (/ (- y x) z)) (cbrt (/ (- y x) z))) (cbrt (/ (- y x) z)) (* (* (/ (- y x) z) (/ (- y x) z)) (/ (- y x) z)) (sqrt (/ (- y x) z)) (sqrt (/ (- y x) z)) (- (- y x)) (- z) (/ y z) (/ x z) (/ (* (cbrt (- y x)) (cbrt (- y x))) (* (cbrt z) (cbrt z))) (/ (cbrt (- y x)) (cbrt z)) (/ (* (cbrt (- y x)) (cbrt (- y x))) (sqrt z)) (/ (cbrt (- y x)) (sqrt z)) (/ (* (cbrt (- y x)) (cbrt (- y x))) 1) (/ (cbrt (- y x)) z) (/ (sqrt (- y x)) (* (cbrt z) (cbrt z))) (/ (sqrt (- y x)) (cbrt z)) (/ (sqrt (- y x)) (sqrt z)) (/ (sqrt (- y x)) (sqrt z)) (/ (sqrt (- y x)) 1) (/ (sqrt (- y x)) z) (/ 1 (* (cbrt z) (cbrt z))) (/ (- y x) (cbrt z)) (/ 1 (sqrt z)) (/ (- y x) (sqrt z)) (/ 1 1) (/ (- y x) z) (/ (+ (sqrt y) (sqrt x)) (* (cbrt z) (cbrt z))) (/ (- (sqrt y) (sqrt x)) (cbrt z)) (/ (+ (sqrt y) (sqrt x)) (sqrt z)) (/ (- (sqrt y) (sqrt x)) (sqrt z)) (/ (+ (sqrt y) (sqrt x)) 1) (/ (- (sqrt y) (sqrt x)) z) (/ 1 (* (cbrt z) (cbrt z))) (/ (- y x) (cbrt z)) (/ 1 (sqrt z)) (/ (- y x) (sqrt z)) (/ 1 1) (/ (- y x) z) (/ 1 z) (/ z (- y x)) (/ (- y x) (* (cbrt z) (cbrt z))) (/ (- y x) (sqrt z)) (/ (- y x) 1) (/ z (cbrt (- y x))) (/ z (sqrt (- y x))) (/ z (- y x)) (/ z (- (sqrt y) (sqrt x))) (/ z (- y x)) (* z (+ (* y y) (+ (* x x) (* y x)))) (* z (+ y x)) (- (/ y z) (/ x z)) (- (/ y z) (/ x z)) (- (/ y z) (/ x z)) 13.182 * * [simplify]: iteration 0: 74 enodes 13.272 * * [simplify]: iteration 1: 162 enodes 13.458 * * [simplify]: iteration 2: 368 enodes 13.919 * * [simplify]: iteration 3: 1224 enodes 15.806 * * [simplify]: iteration 4: 4279 enodes 19.570 * * [simplify]: iteration complete: 5001 enodes 19.571 * * [simplify]: Extracting #0: cost 43 inf + 0 19.573 * * [simplify]: Extracting #1: cost 750 inf + 1 19.582 * * [simplify]: Extracting #2: cost 1782 inf + 2862 19.600 * * [simplify]: Extracting #3: cost 1134 inf + 90129 19.644 * * [simplify]: Extracting #4: cost 191 inf + 229875 19.729 * * [simplify]: Extracting #5: cost 17 inf + 261165 19.806 * * [simplify]: Extracting #6: cost 0 inf + 264071 19.872 * [simplify]: Simplified to: (real->posit16 (/ (- y x) z)) (log (/ (- y x) z)) (log (/ (- y x) z)) (exp (/ (- y x) z)) (* (* (/ (- y x) z) (/ (- y x) z)) (/ (- y x) z)) (* (cbrt (/ (- y x) z)) (cbrt (/ (- y x) z))) (cbrt (/ (- y x) z)) (* (* (/ (- y x) z) (/ (- y x) z)) (/ (- y x) z)) (sqrt (/ (- y x) z)) (sqrt (/ (- y x) z)) (- (- y x)) (- z) (/ y z) (/ x z) (* (/ (cbrt (- y x)) (cbrt z)) (/ (cbrt (- y x)) (cbrt z))) (/ (cbrt (- y x)) (cbrt z)) (/ (* (cbrt (- y x)) (cbrt (- y x))) (sqrt z)) (/ (cbrt (- y x)) (sqrt z)) (* (cbrt (- y x)) (cbrt (- y x))) (/ (cbrt (- y x)) z) (/ (sqrt (- y x)) (* (cbrt z) (cbrt z))) (/ (sqrt (- y x)) (cbrt z)) (/ (sqrt (- y x)) (sqrt z)) (/ (sqrt (- y x)) (sqrt z)) (sqrt (- y x)) (/ (sqrt (- y x)) z) (/ 1 (* (cbrt z) (cbrt z))) (/ (- y x) (cbrt z)) (/ 1 (sqrt z)) (/ (- y x) (sqrt z)) 1 (/ (- y x) z) (/ (+ (sqrt y) (sqrt x)) (* (cbrt z) (cbrt z))) (/ (- (sqrt y) (sqrt x)) (cbrt z)) (/ (+ (sqrt y) (sqrt x)) (sqrt z)) (/ (- (sqrt y) (sqrt x)) (sqrt z)) (+ (sqrt y) (sqrt x)) (/ (- (sqrt y) (sqrt x)) z) (/ 1 (* (cbrt z) (cbrt z))) (/ (- y x) (cbrt z)) (/ 1 (sqrt z)) (/ (- y x) (sqrt z)) 1 (/ (- y x) z) (/ 1 z) (/ z (- y x)) (/ (- y x) (* (cbrt z) (cbrt z))) (/ (- y x) (sqrt z)) (- y x) (/ z (cbrt (- y x))) (/ z (sqrt (- y x))) (/ z (- y x)) (/ z (- (sqrt y) (sqrt x))) (/ z (- y x)) (* z (+ (* y (+ y x)) (* x x))) (* z (+ y x)) (/ (- y x) z) (/ (- y x) z) (/ (- y x) z) 19.875 * * * [progress]: adding candidates to table 20.229 * [progress]: [Phase 3 of 3] Extracting. 20.247 * [simplify]: Simplifying: (+ x (/ (- y x) z)) 20.247 * * [simplify]: iteration 0: 6 enodes 20.249 * * [simplify]: iteration 1: 7 enodes 20.251 * * [simplify]: iteration complete: 7 enodes 20.251 * * [simplify]: Extracting #0: cost 1 inf + 0 20.251 * * [simplify]: Extracting #1: cost 3 inf + 0 20.251 * * [simplify]: Extracting #2: cost 4 inf + 1 20.251 * * [simplify]: Extracting #3: cost 4 inf + 2 20.251 * * [simplify]: Extracting #4: cost 0 inf + 251 20.252 * [simplify]: Simplified to: (+ x (/ (- y x) z)) 22.861 * [regime-testing]: Baseline error score: 0.014501812726590823 22.892 * [regime-testing]: Oracle error score: 0.014501812726590823 22.892 * [regime-testing]: End program error score: 0.014501812726590823