20.875 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.013 * * * [progress]: [2/2] Setting up program. 0.015 * [progress]: [Phase 2 of 3] Improving. 0.015 * [simplify]: Simplifying using # : (* (* (- x (/ 16.0 116.0)) 3.0) y) 0.017 * * [simplify]: iteration 0 : 15 enodes (cost 4 ) 0.019 * * [simplify]: iteration 1 : 31 enodes (cost 4 ) 0.020 * * [simplify]: iteration 2 : 73 enodes (cost 4 ) 0.022 * * [simplify]: iteration 3 : 151 enodes (cost 4 ) 0.024 * * [simplify]: iteration 4 : 241 enodes (cost 4 ) 0.027 * * [simplify]: iteration 5 : 326 enodes (cost 4 ) 0.030 * * [simplify]: iteration 6 : 397 enodes (cost 4 ) 0.034 * * [simplify]: iteration 7 : 457 enodes (cost 4 ) 0.038 * * [simplify]: iteration 8 : 477 enodes (cost 4 ) 0.042 * * [simplify]: iteration 9 : 480 enodes (cost 4 ) 0.047 * * [simplify]: iteration 10 : 480 enodes (cost 4 ) 0.047 * [simplify]: Simplified to: (* (* (- x (/ 16.0 116.0)) 3.0) y) 0.047 * * [progress]: iteration 1 / 4 0.047 * * * [progress]: picking best candidate 0.048 * * * * [pick]: Picked # 0.048 * * * [progress]: localizing error 0.057 * * * [progress]: generating rewritten candidates 0.057 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.061 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.065 * * * [progress]: generating series expansions 0.065 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.066 * [approximate]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in (x y) around 0 0.066 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in y 0.066 * [taylor]: Taking taylor expansion of 3.0 in y 0.066 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in y 0.066 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in y 0.066 * [taylor]: Taking taylor expansion of x in y 0.066 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y 0.066 * [taylor]: Taking taylor expansion of y in y 0.066 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x 0.066 * [taylor]: Taking taylor expansion of 3.0 in x 0.066 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x 0.066 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x 0.066 * [taylor]: Taking taylor expansion of x in x 0.066 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.066 * [taylor]: Taking taylor expansion of y in x 0.066 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x 0.066 * [taylor]: Taking taylor expansion of 3.0 in x 0.066 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x 0.066 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x 0.066 * [taylor]: Taking taylor expansion of x in x 0.066 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.066 * [taylor]: Taking taylor expansion of y in x 0.067 * [taylor]: Taking taylor expansion of (* -0.41379310344827586 y) in y 0.067 * [taylor]: Taking taylor expansion of -0.41379310344827586 in y 0.067 * [taylor]: Taking taylor expansion of y in y 0.068 * [taylor]: Taking taylor expansion of (* 3.0 y) in y 0.068 * [taylor]: Taking taylor expansion of 3.0 in y 0.068 * [taylor]: Taking taylor expansion of y in y 0.071 * [taylor]: Taking taylor expansion of 0 in y 0.074 * [taylor]: Taking taylor expansion of 0 in y 0.077 * [taylor]: Taking taylor expansion of 0 in y 0.078 * [approximate]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in (x y) around 0 0.078 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in y 0.078 * [taylor]: Taking taylor expansion of 3.0 in y 0.078 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in y 0.078 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in y 0.078 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.078 * [taylor]: Taking taylor expansion of x in y 0.078 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y 0.078 * [taylor]: Taking taylor expansion of y in y 0.079 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x 0.079 * [taylor]: Taking taylor expansion of 3.0 in x 0.079 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x 0.079 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x 0.079 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.079 * [taylor]: Taking taylor expansion of x in x 0.079 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.079 * [taylor]: Taking taylor expansion of y in x 0.079 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x 0.079 * [taylor]: Taking taylor expansion of 3.0 in x 0.080 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x 0.080 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x 0.080 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.080 * [taylor]: Taking taylor expansion of x in x 0.080 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.080 * [taylor]: Taking taylor expansion of y in x 0.080 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 0.080 * [taylor]: Taking taylor expansion of 3.0 in y 0.080 * [taylor]: Taking taylor expansion of y in y 0.082 * [taylor]: Taking taylor expansion of (- (* 0.41379310344827586 (/ 1 y))) in y 0.082 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y 0.082 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y 0.082 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.082 * [taylor]: Taking taylor expansion of y in y 0.085 * [taylor]: Taking taylor expansion of 0 in y 0.088 * [taylor]: Taking taylor expansion of 0 in y 0.090 * [approximate]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in (x y) around 0 0.090 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in y 0.090 * [taylor]: Taking taylor expansion of 3.0 in y 0.091 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in y 0.091 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in y 0.091 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y 0.091 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.091 * [taylor]: Taking taylor expansion of x in y 0.091 * [taylor]: Taking taylor expansion of y in y 0.091 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x 0.091 * [taylor]: Taking taylor expansion of 3.0 in x 0.091 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x 0.091 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x 0.091 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.091 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.091 * [taylor]: Taking taylor expansion of x in x 0.091 * [taylor]: Taking taylor expansion of y in x 0.091 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x 0.091 * [taylor]: Taking taylor expansion of 3.0 in x 0.091 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x 0.091 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x 0.091 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.092 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.092 * [taylor]: Taking taylor expansion of x in x 0.092 * [taylor]: Taking taylor expansion of y in x 0.092 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 0.092 * [taylor]: Taking taylor expansion of 3.0 in y 0.092 * [taylor]: Taking taylor expansion of y in y 0.093 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y 0.093 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y 0.093 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.093 * [taylor]: Taking taylor expansion of y in y 0.095 * [taylor]: Taking taylor expansion of 0 in y 0.098 * [taylor]: Taking taylor expansion of 0 in y 0.100 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.100 * [approximate]: Taking taylor expansion of (* 3.0 (- x 0.13793103448275862)) in (x) around 0 0.100 * [taylor]: Taking taylor expansion of (* 3.0 (- x 0.13793103448275862)) in x 0.100 * [taylor]: Taking taylor expansion of 3.0 in x 0.100 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x 0.100 * [taylor]: Taking taylor expansion of x in x 0.100 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.100 * [taylor]: Taking taylor expansion of (* 3.0 (- x 0.13793103448275862)) in x 0.100 * [taylor]: Taking taylor expansion of 3.0 in x 0.100 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x 0.100 * [taylor]: Taking taylor expansion of x in x 0.100 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.111 * [approximate]: Taking taylor expansion of (* 3.0 (- (/ 1 x) 0.13793103448275862)) in (x) around 0 0.111 * [taylor]: Taking taylor expansion of (* 3.0 (- (/ 1 x) 0.13793103448275862)) in x 0.111 * [taylor]: Taking taylor expansion of 3.0 in x 0.111 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x 0.111 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.111 * [taylor]: Taking taylor expansion of x in x 0.111 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.112 * [taylor]: Taking taylor expansion of (* 3.0 (- (/ 1 x) 0.13793103448275862)) in x 0.112 * [taylor]: Taking taylor expansion of 3.0 in x 0.112 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x 0.112 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.112 * [taylor]: Taking taylor expansion of x in x 0.112 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.126 * [approximate]: Taking taylor expansion of (* -3.0 (+ 0.13793103448275862 (/ 1 x))) in (x) around 0 0.126 * [taylor]: Taking taylor expansion of (* -3.0 (+ 0.13793103448275862 (/ 1 x))) in x 0.126 * [taylor]: Taking taylor expansion of -3.0 in x 0.126 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x 0.126 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.126 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.126 * [taylor]: Taking taylor expansion of x in x 0.127 * [taylor]: Taking taylor expansion of (* -3.0 (+ 0.13793103448275862 (/ 1 x))) in x 0.127 * [taylor]: Taking taylor expansion of -3.0 in x 0.127 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x 0.127 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.127 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.127 * [taylor]: Taking taylor expansion of x in x 0.141 * * * [progress]: simplifying candidates 0.142 * [simplify]: Simplifying using # : (* 3.0 y) (* (- x (/ 16.0 116.0)) y) (* (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) y) (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0) y) (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0) (- (* 3.0 (* x y)) (* 0.41379310344827586 y)) (- (* 3.0 (* x y)) (* 0.41379310344827586 y)) (- (* 3.0 (* x y)) (* 0.41379310344827586 y)) (- (* 3.0 x) 0.41379310344827586) (- (* 3.0 x) 0.41379310344827586) (- (* 3.0 x) 0.41379310344827586) 0.144 * * [simplify]: iteration 0 : 67 enodes (cost 46 ) 0.146 * * [simplify]: iteration 1 : 166 enodes (cost 43 ) 0.150 * * [simplify]: iteration 2 : 503 enodes (cost 43 ) 0.158 * * [simplify]: iteration 3 : 1839 enodes (cost 43 ) 0.189 * * [simplify]: iteration 4 : 5001 enodes (cost 43 ) 0.190 * [simplify]: Simplified to: (* 3.0 y) (* (- x (/ 16.0 116.0)) y) (* (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) y) (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0) y) (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0) (* y (- (* 3.0 x) 0.41379310344827586)) (* y (- (* 3.0 x) 0.41379310344827586)) (* y (- (* 3.0 x) 0.41379310344827586)) (- (* 3.0 x) 0.41379310344827586) (- (* 3.0 x) 0.41379310344827586) (- (* 3.0 x) 0.41379310344827586) 0.190 * * * [progress]: adding candidates to table 0.210 * * [progress]: iteration 2 / 4 0.211 * * * [progress]: picking best candidate 0.218 * * * * [pick]: Picked # 0.218 * * * [progress]: localizing error 0.223 * * * [progress]: generating rewritten candidates 0.223 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.227 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.231 * * * [progress]: generating series expansions 0.231 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.231 * [approximate]: Taking taylor expansion of (* (- (* 3.0 x) 0.41379310344827586) y) in (y x) around 0 0.231 * [taylor]: Taking taylor expansion of (* (- (* 3.0 x) 0.41379310344827586) y) in x 0.231 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 0.41379310344827586) in x 0.231 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 0.231 * [taylor]: Taking taylor expansion of 3.0 in x 0.231 * [taylor]: Taking taylor expansion of x in x 0.231 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x 0.231 * [taylor]: Taking taylor expansion of y in x 0.231 * [taylor]: Taking taylor expansion of (* (- (* 3.0 x) 0.41379310344827586) y) in y 0.231 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 0.41379310344827586) in y 0.231 * [taylor]: Taking taylor expansion of (* 3.0 x) in y 0.231 * [taylor]: Taking taylor expansion of 3.0 in y 0.231 * [taylor]: Taking taylor expansion of x in y 0.231 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y 0.231 * [taylor]: Taking taylor expansion of y in y 0.231 * [taylor]: Taking taylor expansion of (* (- (* 3.0 x) 0.41379310344827586) y) in y 0.231 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 0.41379310344827586) in y 0.231 * [taylor]: Taking taylor expansion of (* 3.0 x) in y 0.231 * [taylor]: Taking taylor expansion of 3.0 in y 0.231 * [taylor]: Taking taylor expansion of x in y 0.231 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y 0.231 * [taylor]: Taking taylor expansion of y in y 0.232 * [taylor]: Taking taylor expansion of 0 in x 0.233 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 0.41379310344827586) in x 0.233 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 0.233 * [taylor]: Taking taylor expansion of 3.0 in x 0.233 * [taylor]: Taking taylor expansion of x in x 0.233 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x 0.236 * [taylor]: Taking taylor expansion of 0 in x 0.239 * [taylor]: Taking taylor expansion of 0 in x 0.244 * [taylor]: Taking taylor expansion of 0 in x 0.245 * [approximate]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 0.41379310344827586) y) in (y x) around 0 0.245 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 0.41379310344827586) y) in x 0.245 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 0.41379310344827586) in x 0.245 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 0.245 * [taylor]: Taking taylor expansion of 3.0 in x 0.245 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.245 * [taylor]: Taking taylor expansion of x in x 0.245 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x 0.245 * [taylor]: Taking taylor expansion of y in x 0.246 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 0.41379310344827586) y) in y 0.246 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 0.41379310344827586) in y 0.246 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in y 0.246 * [taylor]: Taking taylor expansion of 3.0 in y 0.246 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.246 * [taylor]: Taking taylor expansion of x in y 0.246 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y 0.246 * [taylor]: Taking taylor expansion of y in y 0.247 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 0.41379310344827586) y) in y 0.247 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 0.41379310344827586) in y 0.247 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in y 0.247 * [taylor]: Taking taylor expansion of 3.0 in y 0.247 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.247 * [taylor]: Taking taylor expansion of x in y 0.247 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y 0.247 * [taylor]: Taking taylor expansion of y in y 0.247 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 0.41379310344827586) in x 0.247 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 0.247 * [taylor]: Taking taylor expansion of 3.0 in x 0.247 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.247 * [taylor]: Taking taylor expansion of x in x 0.248 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x 0.250 * [taylor]: Taking taylor expansion of 0 in x 0.253 * [taylor]: Taking taylor expansion of 0 in x 0.257 * [taylor]: Taking taylor expansion of 0 in x 0.261 * [taylor]: Taking taylor expansion of 0 in x 0.262 * [approximate]: Taking taylor expansion of (/ (+ 0.41379310344827586 (* 3.0 (/ 1 x))) y) in (y x) around 0 0.262 * [taylor]: Taking taylor expansion of (/ (+ 0.41379310344827586 (* 3.0 (/ 1 x))) y) in x 0.262 * [taylor]: Taking taylor expansion of (+ 0.41379310344827586 (* 3.0 (/ 1 x))) in x 0.262 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x 0.262 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 0.262 * [taylor]: Taking taylor expansion of 3.0 in x 0.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.262 * [taylor]: Taking taylor expansion of x in x 0.262 * [taylor]: Taking taylor expansion of y in x 0.263 * [taylor]: Taking taylor expansion of (/ (+ 0.41379310344827586 (* 3.0 (/ 1 x))) y) in y 0.263 * [taylor]: Taking taylor expansion of (+ 0.41379310344827586 (* 3.0 (/ 1 x))) in y 0.263 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y 0.263 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in y 0.263 * [taylor]: Taking taylor expansion of 3.0 in y 0.263 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.263 * [taylor]: Taking taylor expansion of x in y 0.263 * [taylor]: Taking taylor expansion of y in y 0.263 * [taylor]: Taking taylor expansion of (/ (+ 0.41379310344827586 (* 3.0 (/ 1 x))) y) in y 0.263 * [taylor]: Taking taylor expansion of (+ 0.41379310344827586 (* 3.0 (/ 1 x))) in y 0.263 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y 0.263 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in y 0.263 * [taylor]: Taking taylor expansion of 3.0 in y 0.263 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.263 * [taylor]: Taking taylor expansion of x in y 0.263 * [taylor]: Taking taylor expansion of y in y 0.264 * [taylor]: Taking taylor expansion of (+ 0.41379310344827586 (* 3.0 (/ 1 x))) in x 0.264 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x 0.264 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 0.264 * [taylor]: Taking taylor expansion of 3.0 in x 0.264 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.264 * [taylor]: Taking taylor expansion of x in x 0.266 * [taylor]: Taking taylor expansion of 0 in x 0.269 * [taylor]: Taking taylor expansion of 0 in x 0.272 * [taylor]: Taking taylor expansion of 0 in x 0.276 * [taylor]: Taking taylor expansion of 0 in x 0.276 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.277 * [approximate]: Taking taylor expansion of (- (* 3.0 x) 0.41379310344827586) in (x) around 0 0.277 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 0.41379310344827586) in x 0.277 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 0.277 * [taylor]: Taking taylor expansion of 3.0 in x 0.277 * [taylor]: Taking taylor expansion of x in x 0.277 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x 0.277 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 0.41379310344827586) in x 0.277 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 0.277 * [taylor]: Taking taylor expansion of 3.0 in x 0.277 * [taylor]: Taking taylor expansion of x in x 0.277 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x 0.287 * [approximate]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 0.41379310344827586) in (x) around 0 0.287 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 0.41379310344827586) in x 0.287 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 0.287 * [taylor]: Taking taylor expansion of 3.0 in x 0.287 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.287 * [taylor]: Taking taylor expansion of x in x 0.287 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x 0.287 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 0.41379310344827586) in x 0.287 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 0.287 * [taylor]: Taking taylor expansion of 3.0 in x 0.287 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.287 * [taylor]: Taking taylor expansion of x in x 0.287 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x 0.300 * [approximate]: Taking taylor expansion of (- (+ 0.41379310344827586 (* 3.0 (/ 1 x)))) in (x) around 0 0.300 * [taylor]: Taking taylor expansion of (- (+ 0.41379310344827586 (* 3.0 (/ 1 x)))) in x 0.300 * [taylor]: Taking taylor expansion of (+ 0.41379310344827586 (* 3.0 (/ 1 x))) in x 0.300 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x 0.300 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 0.300 * [taylor]: Taking taylor expansion of 3.0 in x 0.300 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.300 * [taylor]: Taking taylor expansion of x in x 0.300 * [taylor]: Taking taylor expansion of (- (+ 0.41379310344827586 (* 3.0 (/ 1 x)))) in x 0.300 * [taylor]: Taking taylor expansion of (+ 0.41379310344827586 (* 3.0 (/ 1 x))) in x 0.300 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x 0.300 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 0.300 * [taylor]: Taking taylor expansion of 3.0 in x 0.300 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.300 * [taylor]: Taking taylor expansion of x in x 0.313 * * * [progress]: simplifying candidates 0.314 * [simplify]: Simplifying using # : (* y (* 3.0 x)) (* y (- 0.41379310344827586)) (* y (* 3.0 x)) (* y (- 0.41379310344827586)) (* (* 3.0 x) y) (* (- 0.41379310344827586) y) (* (* 3.0 x) y) (* (- 0.41379310344827586) y) (* y (- (pow (* 3.0 x) 3) (pow 0.41379310344827586 3))) (* y (- (* (* 3.0 x) (* 3.0 x)) (* 0.41379310344827586 0.41379310344827586))) (- 0.41379310344827586) (- 0.41379310344827586) (- (pow (* 3.0 x) 3) (pow 0.41379310344827586 3)) (+ (* (* 3.0 x) (* 3.0 x)) (+ (* 0.41379310344827586 0.41379310344827586) (* (* 3.0 x) 0.41379310344827586))) (- 0.41379310344827586) (- (* (* 3.0 x) (* 3.0 x)) (* 0.41379310344827586 0.41379310344827586)) (+ (* 3.0 x) 0.41379310344827586) (- 0.41379310344827586) (- (* 3.0 (* x y)) (* 0.41379310344827586 y)) (- (* 3.0 (* x y)) (* 0.41379310344827586 y)) (- (* 3.0 (* x y)) (* 0.41379310344827586 y)) (- (* 3.0 x) 0.41379310344827586) (- (* 3.0 x) 0.41379310344827586) (- (* 3.0 x) 0.41379310344827586) 0.316 * * [simplify]: iteration 0 : 75 enodes (cost 63 ) 0.319 * * [simplify]: iteration 1 : 193 enodes (cost 59 ) 0.323 * * [simplify]: iteration 2 : 518 enodes (cost 59 ) 0.332 * * [simplify]: iteration 3 : 1280 enodes (cost 58 ) 0.358 * * [simplify]: iteration 4 : 3402 enodes (cost 58 ) 0.417 * * [simplify]: iteration 5 : 5001 enodes (cost 58 ) 0.418 * [simplify]: Simplified to: (* y (* 3.0 x)) (* y (- 0.41379310344827586)) (* y (* 3.0 x)) (* y (- 0.41379310344827586)) (* y (* 3.0 x)) (* y (- 0.41379310344827586)) (* y (* 3.0 x)) (* y (- 0.41379310344827586)) (* y (- (pow (* 3.0 x) 3) (pow 0.41379310344827586 3))) (* (* (fma 3.0 x 0.41379310344827586) (- (* 3.0 x) 0.41379310344827586)) y) (- 0.41379310344827586) (- 0.41379310344827586) (- (pow (* 3.0 x) 3) (pow 0.41379310344827586 3)) (fma (* 3.0 x) (fma 3.0 x 0.41379310344827586) (* 0.41379310344827586 0.41379310344827586)) (- 0.41379310344827586) (* (fma 3.0 x 0.41379310344827586) (- (* 3.0 x) 0.41379310344827586)) (fma 3.0 x 0.41379310344827586) (- 0.41379310344827586) (* y (- (* 3.0 x) 0.41379310344827586)) (* y (- (* 3.0 x) 0.41379310344827586)) (* y (- (* 3.0 x) 0.41379310344827586)) (- (* 3.0 x) 0.41379310344827586) (- (* 3.0 x) 0.41379310344827586) (- (* 3.0 x) 0.41379310344827586) 0.418 * * * [progress]: adding candidates to table 0.442 * * [progress]: iteration 3 / 4 0.442 * * * [progress]: picking best candidate 0.449 * * * * [pick]: Picked # 0.449 * * * [progress]: localizing error 0.455 * * * [progress]: generating rewritten candidates 0.455 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.459 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.462 * * * [progress]: generating series expansions 0.463 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.463 * [approximate]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in (x y) around 0 0.463 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in y 0.463 * [taylor]: Taking taylor expansion of 3.0 in y 0.463 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in y 0.463 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in y 0.463 * [taylor]: Taking taylor expansion of x in y 0.463 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y 0.463 * [taylor]: Taking taylor expansion of y in y 0.463 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x 0.463 * [taylor]: Taking taylor expansion of 3.0 in x 0.463 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x 0.463 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x 0.463 * [taylor]: Taking taylor expansion of x in x 0.463 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.463 * [taylor]: Taking taylor expansion of y in x 0.463 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x 0.463 * [taylor]: Taking taylor expansion of 3.0 in x 0.464 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x 0.464 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x 0.464 * [taylor]: Taking taylor expansion of x in x 0.464 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.464 * [taylor]: Taking taylor expansion of y in x 0.465 * [taylor]: Taking taylor expansion of (* -0.41379310344827586 y) in y 0.465 * [taylor]: Taking taylor expansion of -0.41379310344827586 in y 0.465 * [taylor]: Taking taylor expansion of y in y 0.466 * [taylor]: Taking taylor expansion of (* 3.0 y) in y 0.466 * [taylor]: Taking taylor expansion of 3.0 in y 0.466 * [taylor]: Taking taylor expansion of y in y 0.469 * [taylor]: Taking taylor expansion of 0 in y 0.472 * [taylor]: Taking taylor expansion of 0 in y 0.475 * [taylor]: Taking taylor expansion of 0 in y 0.476 * [approximate]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in (x y) around 0 0.476 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in y 0.476 * [taylor]: Taking taylor expansion of 3.0 in y 0.476 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in y 0.476 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in y 0.476 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.476 * [taylor]: Taking taylor expansion of x in y 0.476 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y 0.476 * [taylor]: Taking taylor expansion of y in y 0.477 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x 0.477 * [taylor]: Taking taylor expansion of 3.0 in x 0.477 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x 0.477 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x 0.477 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.477 * [taylor]: Taking taylor expansion of x in x 0.477 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.477 * [taylor]: Taking taylor expansion of y in x 0.477 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x 0.477 * [taylor]: Taking taylor expansion of 3.0 in x 0.477 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x 0.477 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x 0.478 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.478 * [taylor]: Taking taylor expansion of x in x 0.478 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.478 * [taylor]: Taking taylor expansion of y in x 0.478 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 0.478 * [taylor]: Taking taylor expansion of 3.0 in y 0.478 * [taylor]: Taking taylor expansion of y in y 0.480 * [taylor]: Taking taylor expansion of (- (* 0.41379310344827586 (/ 1 y))) in y 0.480 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y 0.480 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y 0.480 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.480 * [taylor]: Taking taylor expansion of y in y 0.483 * [taylor]: Taking taylor expansion of 0 in y 0.486 * [taylor]: Taking taylor expansion of 0 in y 0.492 * [approximate]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in (x y) around 0 0.492 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in y 0.492 * [taylor]: Taking taylor expansion of 3.0 in y 0.492 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in y 0.492 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in y 0.492 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y 0.492 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.492 * [taylor]: Taking taylor expansion of x in y 0.492 * [taylor]: Taking taylor expansion of y in y 0.492 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x 0.492 * [taylor]: Taking taylor expansion of 3.0 in x 0.492 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x 0.492 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x 0.492 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.492 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.492 * [taylor]: Taking taylor expansion of x in x 0.492 * [taylor]: Taking taylor expansion of y in x 0.493 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x 0.493 * [taylor]: Taking taylor expansion of 3.0 in x 0.493 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x 0.493 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x 0.493 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.493 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.493 * [taylor]: Taking taylor expansion of x in x 0.493 * [taylor]: Taking taylor expansion of y in x 0.493 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 0.493 * [taylor]: Taking taylor expansion of 3.0 in y 0.493 * [taylor]: Taking taylor expansion of y in y 0.495 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y 0.495 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y 0.495 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.495 * [taylor]: Taking taylor expansion of y in y 0.497 * [taylor]: Taking taylor expansion of 0 in y 0.500 * [taylor]: Taking taylor expansion of 0 in y 0.501 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.502 * [approximate]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in (x y) around 0 0.502 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in y 0.502 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in y 0.502 * [taylor]: Taking taylor expansion of x in y 0.502 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y 0.502 * [taylor]: Taking taylor expansion of y in y 0.502 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x 0.502 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x 0.502 * [taylor]: Taking taylor expansion of x in x 0.502 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.502 * [taylor]: Taking taylor expansion of y in x 0.502 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x 0.502 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x 0.502 * [taylor]: Taking taylor expansion of x in x 0.502 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.502 * [taylor]: Taking taylor expansion of y in x 0.503 * [taylor]: Taking taylor expansion of (* -0.13793103448275862 y) in y 0.503 * [taylor]: Taking taylor expansion of -0.13793103448275862 in y 0.503 * [taylor]: Taking taylor expansion of y in y 0.504 * [taylor]: Taking taylor expansion of y in y 0.506 * [taylor]: Taking taylor expansion of 0 in y 0.508 * [taylor]: Taking taylor expansion of 0 in y 0.510 * [taylor]: Taking taylor expansion of 0 in y 0.511 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in (x y) around 0 0.511 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in y 0.511 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in y 0.511 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.511 * [taylor]: Taking taylor expansion of x in y 0.511 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y 0.511 * [taylor]: Taking taylor expansion of y in y 0.512 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x 0.512 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x 0.512 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.512 * [taylor]: Taking taylor expansion of x in x 0.512 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.512 * [taylor]: Taking taylor expansion of y in x 0.512 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x 0.512 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x 0.512 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.512 * [taylor]: Taking taylor expansion of x in x 0.513 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.513 * [taylor]: Taking taylor expansion of y in x 0.513 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.513 * [taylor]: Taking taylor expansion of y in y 0.515 * [taylor]: Taking taylor expansion of (- (* 0.13793103448275862 (/ 1 y))) in y 0.515 * [taylor]: Taking taylor expansion of (* 0.13793103448275862 (/ 1 y)) in y 0.515 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y 0.515 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.515 * [taylor]: Taking taylor expansion of y in y 0.517 * [taylor]: Taking taylor expansion of 0 in y 0.520 * [taylor]: Taking taylor expansion of 0 in y 0.522 * [approximate]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in (x y) around 0 0.522 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in y 0.522 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in y 0.522 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y 0.522 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.522 * [taylor]: Taking taylor expansion of x in y 0.523 * [taylor]: Taking taylor expansion of y in y 0.523 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x 0.523 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x 0.523 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.523 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.523 * [taylor]: Taking taylor expansion of x in x 0.523 * [taylor]: Taking taylor expansion of y in x 0.523 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x 0.523 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x 0.523 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.523 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.523 * [taylor]: Taking taylor expansion of x in x 0.524 * [taylor]: Taking taylor expansion of y in x 0.524 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.524 * [taylor]: Taking taylor expansion of y in y 0.525 * [taylor]: Taking taylor expansion of (* 0.13793103448275862 (/ 1 y)) in y 0.525 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y 0.525 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.525 * [taylor]: Taking taylor expansion of y in y 0.527 * [taylor]: Taking taylor expansion of 0 in y 0.529 * [taylor]: Taking taylor expansion of 0 in y 0.531 * * * [progress]: simplifying candidates 0.531 * [simplify]: Simplifying using # : (* 3.0 (- x (/ 16.0 116.0))) (* 3.0 y) (* 3.0 (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) y)) (* 3.0 (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) y)) (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) y) (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) y) (- (* 3.0 (* x y)) (* 0.41379310344827586 y)) (- (* 3.0 (* x y)) (* 0.41379310344827586 y)) (- (* 3.0 (* x y)) (* 0.41379310344827586 y)) (- (* x y) (* 0.13793103448275862 y)) (- (* x y) (* 0.13793103448275862 y)) (- (* x y) (* 0.13793103448275862 y)) 0.534 * * [simplify]: iteration 0 : 73 enodes (cost 46 ) 0.536 * * [simplify]: iteration 1 : 193 enodes (cost 43 ) 0.540 * * [simplify]: iteration 2 : 609 enodes (cost 43 ) 0.550 * * [simplify]: iteration 3 : 2165 enodes (cost 43 ) 0.586 * * [simplify]: iteration 4 : 5002 enodes (cost 43 ) 0.586 * [simplify]: Simplified to: (* 3.0 (- x (/ 16.0 116.0))) (* 3.0 y) (* 3.0 (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) y)) (* 3.0 (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) y)) (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) y) (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) y) (* y (- (* 3.0 x) 0.41379310344827586)) (* y (- (* 3.0 x) 0.41379310344827586)) (* y (- (* 3.0 x) 0.41379310344827586)) (* y (- x 0.13793103448275862)) (* y (- x 0.13793103448275862)) (* y (- x 0.13793103448275862)) 0.586 * * * [progress]: adding candidates to table 0.606 * * [progress]: iteration 4 / 4 0.606 * * * [progress]: picking best candidate 0.613 * * * * [pick]: Picked # 0.613 * * * [progress]: localizing error 0.619 * * * [progress]: generating rewritten candidates 0.619 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.624 * * * [progress]: generating series expansions 0.624 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.624 * [approximate]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in (y x) around 0 0.625 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x 0.625 * [taylor]: Taking taylor expansion of 3.0 in x 0.625 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x 0.625 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x 0.625 * [taylor]: Taking taylor expansion of x in x 0.625 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.625 * [taylor]: Taking taylor expansion of y in x 0.625 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in y 0.625 * [taylor]: Taking taylor expansion of 3.0 in y 0.625 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in y 0.625 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in y 0.625 * [taylor]: Taking taylor expansion of x in y 0.625 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y 0.625 * [taylor]: Taking taylor expansion of y in y 0.625 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in y 0.625 * [taylor]: Taking taylor expansion of 3.0 in y 0.625 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in y 0.625 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in y 0.625 * [taylor]: Taking taylor expansion of x in y 0.625 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y 0.625 * [taylor]: Taking taylor expansion of y in y 0.626 * [taylor]: Taking taylor expansion of 0 in x 0.627 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 0.41379310344827586) in x 0.627 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 0.627 * [taylor]: Taking taylor expansion of 3.0 in x 0.627 * [taylor]: Taking taylor expansion of x in x 0.627 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x 0.629 * [taylor]: Taking taylor expansion of 0 in x 0.632 * [taylor]: Taking taylor expansion of 0 in x 0.635 * [taylor]: Taking taylor expansion of 0 in x 0.636 * [approximate]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in (y x) around 0 0.636 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x 0.636 * [taylor]: Taking taylor expansion of 3.0 in x 0.636 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x 0.636 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x 0.636 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.636 * [taylor]: Taking taylor expansion of x in x 0.636 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.636 * [taylor]: Taking taylor expansion of y in x 0.637 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in y 0.637 * [taylor]: Taking taylor expansion of 3.0 in y 0.637 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in y 0.637 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in y 0.637 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.637 * [taylor]: Taking taylor expansion of x in y 0.637 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y 0.637 * [taylor]: Taking taylor expansion of y in y 0.637 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in y 0.637 * [taylor]: Taking taylor expansion of 3.0 in y 0.637 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in y 0.637 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in y 0.637 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.637 * [taylor]: Taking taylor expansion of x in y 0.638 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y 0.638 * [taylor]: Taking taylor expansion of y in y 0.638 * [taylor]: Taking taylor expansion of (* 3.0 (- (/ 1 x) 0.13793103448275862)) in x 0.638 * [taylor]: Taking taylor expansion of 3.0 in x 0.638 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x 0.638 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.638 * [taylor]: Taking taylor expansion of x in x 0.639 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.640 * [taylor]: Taking taylor expansion of 0 in x 0.645 * [taylor]: Taking taylor expansion of 0 in x 0.649 * [taylor]: Taking taylor expansion of 0 in x 0.653 * [taylor]: Taking taylor expansion of 0 in x 0.654 * [approximate]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in (y x) around 0 0.654 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x 0.654 * [taylor]: Taking taylor expansion of 3.0 in x 0.654 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x 0.654 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x 0.654 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.654 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.654 * [taylor]: Taking taylor expansion of x in x 0.655 * [taylor]: Taking taylor expansion of y in x 0.655 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in y 0.655 * [taylor]: Taking taylor expansion of 3.0 in y 0.655 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in y 0.655 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in y 0.655 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y 0.655 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.655 * [taylor]: Taking taylor expansion of x in y 0.655 * [taylor]: Taking taylor expansion of y in y 0.655 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in y 0.655 * [taylor]: Taking taylor expansion of 3.0 in y 0.655 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in y 0.655 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in y 0.655 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y 0.655 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.655 * [taylor]: Taking taylor expansion of x in y 0.655 * [taylor]: Taking taylor expansion of y in y 0.655 * [taylor]: Taking taylor expansion of (* 3.0 (+ (/ 1 x) 0.13793103448275862)) in x 0.655 * [taylor]: Taking taylor expansion of 3.0 in x 0.655 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 0.13793103448275862) in x 0.655 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.656 * [taylor]: Taking taylor expansion of x in x 0.656 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.657 * [taylor]: Taking taylor expansion of 0 in x 0.661 * [taylor]: Taking taylor expansion of 0 in x 0.664 * [taylor]: Taking taylor expansion of 0 in x 0.668 * [taylor]: Taking taylor expansion of 0 in x 0.669 * * * [progress]: simplifying candidates 0.669 * [simplify]: Simplifying using # : (* (* 3.0 y) x) (* (* 3.0 y) (- (/ 16.0 116.0))) (* (* 3.0 y) x) (* (* 3.0 y) (- (/ 16.0 116.0))) (* x (* 3.0 y)) (* (- (/ 16.0 116.0)) (* 3.0 y)) (* x (* 3.0 y)) (* (- (/ 16.0 116.0)) (* 3.0 y)) (* y (- x (/ 16.0 116.0))) (* 3.0 (- x (/ 16.0 116.0))) (* (* 3.0 y) (- (pow x 3) (pow (/ 16.0 116.0) 3))) (* (* 3.0 y) (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0)))) (- (* 3.0 (* x y)) (* 0.41379310344827586 y)) (- (* 3.0 (* x y)) (* 0.41379310344827586 y)) (- (* 3.0 (* x y)) (* 0.41379310344827586 y)) 0.672 * * [simplify]: iteration 0 : 79 enodes (cost 55 ) 0.674 * * [simplify]: iteration 1 : 227 enodes (cost 52 ) 0.678 * * [simplify]: iteration 2 : 668 enodes (cost 52 ) 0.689 * * [simplify]: iteration 3 : 2167 enodes (cost 52 ) 0.726 * * [simplify]: iteration 4 : 5002 enodes (cost 52 ) 0.726 * [simplify]: Simplified to: (* (* 3.0 y) x) (* (* 3.0 y) (- (/ 16.0 116.0))) (* (* 3.0 y) x) (* (* 3.0 y) (- (/ 16.0 116.0))) (* (* 3.0 y) x) (* (* 3.0 y) (- (/ 16.0 116.0))) (* (* 3.0 y) x) (* (* 3.0 y) (- (/ 16.0 116.0))) (* y (- x (/ 16.0 116.0))) (* 3.0 (- x (/ 16.0 116.0))) (* (* 3.0 y) (- (pow x 3) (pow (/ 16.0 116.0) 3))) (* (* 3.0 y) (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0)))) (* y (- (* x 3.0) 0.41379310344827586)) (* y (- (* x 3.0) 0.41379310344827586)) (* y (- (* x 3.0) 0.41379310344827586)) 0.727 * * * [progress]: adding candidates to table 0.744 * [progress]: [Phase 3 of 3] Extracting. 0.744 * * [regime]: Finding splitpoints for: (# # # # #) 0.744 * * * [regime-changes]: Trying 3 branch expressions: ((- x (/ 16.0 116.0)) y x) 0.744 * * * * [regimes]: Trying to branch on (- x (/ 16.0 116.0)) from (# # # # #) 0.760 * * * * [regimes]: Trying to branch on (- x (/ 16.0 116.0)) from (# #) 0.769 * * * * [regimes]: Trying to branch on y from (# # # # #) 0.789 * * * * [regimes]: Trying to branch on x from (# # # # #) 0.805 * * * [regime]: Found split indices: #