1545816021.941 * [misc]progress: [Phase 1 of 3] Setting up. 1545816021.943 * * * [misc]progress: [1/2] Preparing points 1545816021.944 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1545816022.073 * * * * [misc]points: Filtering points with unrepresentable outputs 1545816022.074 * * * * [misc]points: Sampling 82 additional inputs, on iter 1 have 174 / 256 1545816022.086 * * * * [misc]points: Filtering points with unrepresentable outputs 1545816022.086 * * * * [misc]points: Sampling 31 additional inputs, on iter 2 have 225 / 256 1545816022.091 * * * * [misc]points: Filtering points with unrepresentable outputs 1545816022.092 * * * * [misc]points: Sampling 10 additional inputs, on iter 3 have 246 / 256 1545816022.095 * * * * [misc]points: Filtering points with unrepresentable outputs 1545816022.095 * * * * [misc]points: Sampling 4 additional inputs, on iter 4 have 254 / 256 1545816022.097 * * * * [misc]points: Filtering points with unrepresentable outputs 1545816022.097 * * * * [exit]points: Sampled 257 points with exact outputs 1545816022.097 * * * [misc]progress: [2/2] Setting up program. 1545816022.104 * [misc]progress: [Phase 2 of 3] Improving. 1545816022.105 * [enter]simplify: Simplifying (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x))) 1545816022.106 * * [misc]simplify: iters left: 6 (8 enodes) 1545816022.113 * * [misc]simplify: iters left: 5 (15 enodes) 1545816022.119 * * [misc]simplify: iters left: 4 (37 enodes) 1545816022.132 * * [misc]simplify: iters left: 3 (71 enodes) 1545816022.182 * * [misc]simplify: iters left: 2 (77 enodes) 1545816022.202 * [exit]simplify: Simplified to (- (* 0.954929658551372 x) (* (* 0.12900613773279798 x) (* x x))) 1545816022.214 * * [misc]progress: iteration 1 / 4 1545816022.214 * * * [misc]progress: picking best candidate 1545816022.224 * * * * [misc]pick: Picked # 1545816022.224 * * * [misc]progress: localizing error 1545816022.252 * * * [misc]progress: generating rewritten candidates 1545816022.252 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 2) 1545816022.260 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2 2) 1545816022.266 * * * [misc]progress: generating series expansions 1545816022.266 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 2) 1545816022.270 * [misc]backup-simplify: Simplify (* 0.12900613773279798 (* (* x x) x)) into (* 0.12900613773279798 (pow x 3)) 1545816022.270 * [misc]approximate: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in (x) around 0 1545816022.271 * [misc]taylor: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 1545816022.271 * [misc]taylor: Taking taylor expansion of 0.12900613773279798 in x 1545816022.271 * [misc]backup-simplify: Simplify 0.12900613773279798 into 0.12900613773279798 1545816022.271 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1545816022.271 * [misc]taylor: Taking taylor expansion of x in x 1545816022.271 * [misc]backup-simplify: Simplify 0 into 0 1545816022.271 * [misc]backup-simplify: Simplify 1 into 1 1545816022.271 * [misc]taylor: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 1545816022.271 * [misc]taylor: Taking taylor expansion of 0.12900613773279798 in x 1545816022.271 * [misc]backup-simplify: Simplify 0.12900613773279798 into 0.12900613773279798 1545816022.271 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1545816022.271 * [misc]taylor: Taking taylor expansion of x in x 1545816022.272 * [misc]backup-simplify: Simplify 0 into 0 1545816022.272 * [misc]backup-simplify: Simplify 1 into 1 1545816022.272 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.273 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.273 * [misc]backup-simplify: Simplify (* 0.12900613773279798 1) into 0.12900613773279798 1545816022.273 * [misc]backup-simplify: Simplify 0.12900613773279798 into 0.12900613773279798 1545816022.273 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816022.273 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816022.274 * [misc]backup-simplify: Simplify (+ (* 0.12900613773279798 0) (* 0 1)) into 0 1545816022.274 * [misc]backup-simplify: Simplify 0 into 0 1545816022.274 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816022.274 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816022.274 * [misc]backup-simplify: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (* 0 1))) into 0 1545816022.274 * [misc]backup-simplify: Simplify 0 into 0 1545816022.274 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816022.275 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816022.275 * [misc]backup-simplify: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816022.275 * [misc]backup-simplify: Simplify 0 into 0 1545816022.275 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816022.275 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816022.276 * [misc]backup-simplify: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816022.276 * [misc]backup-simplify: Simplify 0 into 0 1545816022.276 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816022.276 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816022.277 * [misc]backup-simplify: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816022.277 * [misc]backup-simplify: Simplify 0 into 0 1545816022.277 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816022.277 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816022.277 * [misc]backup-simplify: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816022.277 * [misc]backup-simplify: Simplify 0 into 0 1545816022.278 * [misc]backup-simplify: Simplify (* 0.12900613773279798 (pow x 3)) into (* 0.12900613773279798 (pow x 3)) 1545816022.278 * [misc]backup-simplify: Simplify (* 0.12900613773279798 (* (* (/ 1 x) (/ 1 x)) (/ 1 x))) into (/ 0.12900613773279798 (pow x 3)) 1545816022.278 * [misc]approximate: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in (x) around 0 1545816022.278 * [misc]taylor: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x 1545816022.278 * [misc]taylor: Taking taylor expansion of 0.12900613773279798 in x 1545816022.278 * [misc]backup-simplify: Simplify 0.12900613773279798 into 0.12900613773279798 1545816022.278 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1545816022.278 * [misc]taylor: Taking taylor expansion of x in x 1545816022.278 * [misc]backup-simplify: Simplify 0 into 0 1545816022.278 * [misc]backup-simplify: Simplify 1 into 1 1545816022.278 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.278 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.278 * [misc]backup-simplify: Simplify (/ 0.12900613773279798 1) into 0.12900613773279798 1545816022.278 * [misc]taylor: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x 1545816022.278 * [misc]taylor: Taking taylor expansion of 0.12900613773279798 in x 1545816022.279 * [misc]backup-simplify: Simplify 0.12900613773279798 into 0.12900613773279798 1545816022.279 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1545816022.279 * [misc]taylor: Taking taylor expansion of x in x 1545816022.279 * [misc]backup-simplify: Simplify 0 into 0 1545816022.279 * [misc]backup-simplify: Simplify 1 into 1 1545816022.279 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.279 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.279 * [misc]backup-simplify: Simplify (/ 0.12900613773279798 1) into 0.12900613773279798 1545816022.279 * [misc]backup-simplify: Simplify 0.12900613773279798 into 0.12900613773279798 1545816022.279 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816022.279 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816022.280 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)))) into 0 1545816022.280 * [misc]backup-simplify: Simplify 0 into 0 1545816022.280 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816022.280 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816022.280 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.280 * [misc]backup-simplify: Simplify 0 into 0 1545816022.280 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816022.281 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816022.281 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.281 * [misc]backup-simplify: Simplify 0 into 0 1545816022.281 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816022.281 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816022.282 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.282 * [misc]backup-simplify: Simplify 0 into 0 1545816022.282 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816022.282 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816022.283 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.283 * [misc]backup-simplify: Simplify 0 into 0 1545816022.283 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816022.283 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816022.283 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.284 * [misc]backup-simplify: Simplify 0 into 0 1545816022.284 * [misc]backup-simplify: Simplify (* 0.12900613773279798 (pow (/ 1 (/ 1 x)) 3)) into (* 0.12900613773279798 (pow x 3)) 1545816022.284 * [misc]backup-simplify: Simplify (* 0.12900613773279798 (* (* (/ 1 (- x)) (/ 1 (- x))) (/ 1 (- x)))) into (/ -0.12900613773279798 (pow x 3)) 1545816022.284 * [misc]approximate: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in (x) around 0 1545816022.284 * [misc]taylor: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x 1545816022.284 * [misc]taylor: Taking taylor expansion of -0.12900613773279798 in x 1545816022.284 * [misc]backup-simplify: Simplify -0.12900613773279798 into -0.12900613773279798 1545816022.285 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1545816022.285 * [misc]taylor: Taking taylor expansion of x in x 1545816022.285 * [misc]backup-simplify: Simplify 0 into 0 1545816022.285 * [misc]backup-simplify: Simplify 1 into 1 1545816022.285 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.285 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.285 * [misc]backup-simplify: Simplify (/ -0.12900613773279798 1) into -0.12900613773279798 1545816022.285 * [misc]taylor: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x 1545816022.285 * [misc]taylor: Taking taylor expansion of -0.12900613773279798 in x 1545816022.285 * [misc]backup-simplify: Simplify -0.12900613773279798 into -0.12900613773279798 1545816022.285 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1545816022.285 * [misc]taylor: Taking taylor expansion of x in x 1545816022.285 * [misc]backup-simplify: Simplify 0 into 0 1545816022.285 * [misc]backup-simplify: Simplify 1 into 1 1545816022.285 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.286 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.286 * [misc]backup-simplify: Simplify (/ -0.12900613773279798 1) into -0.12900613773279798 1545816022.286 * [misc]backup-simplify: Simplify -0.12900613773279798 into -0.12900613773279798 1545816022.286 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816022.286 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816022.286 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)))) into 0 1545816022.286 * [misc]backup-simplify: Simplify 0 into 0 1545816022.286 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816022.287 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816022.287 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.287 * [misc]backup-simplify: Simplify 0 into 0 1545816022.287 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816022.287 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816022.288 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.288 * [misc]backup-simplify: Simplify 0 into 0 1545816022.288 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816022.288 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816022.289 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.289 * [misc]backup-simplify: Simplify 0 into 0 1545816022.289 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816022.290 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816022.290 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.290 * [misc]backup-simplify: Simplify 0 into 0 1545816022.291 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816022.291 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816022.292 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.292 * [misc]backup-simplify: Simplify 0 into 0 1545816022.292 * [misc]backup-simplify: Simplify (* -0.12900613773279798 (pow (/ 1 (/ 1 (- x))) 3)) into (* 0.12900613773279798 (pow x 3)) 1545816022.292 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2 2) 1545816022.293 * [misc]backup-simplify: Simplify (* (* x x) x) into (pow x 3) 1545816022.293 * [misc]approximate: Taking taylor expansion of (pow x 3) in (x) around 0 1545816022.293 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1545816022.293 * [misc]taylor: Taking taylor expansion of x in x 1545816022.293 * [misc]backup-simplify: Simplify 0 into 0 1545816022.293 * [misc]backup-simplify: Simplify 1 into 1 1545816022.293 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1545816022.293 * [misc]taylor: Taking taylor expansion of x in x 1545816022.293 * [misc]backup-simplify: Simplify 0 into 0 1545816022.293 * [misc]backup-simplify: Simplify 1 into 1 1545816022.293 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.293 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.293 * [misc]backup-simplify: Simplify 1 into 1 1545816022.294 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816022.294 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816022.294 * [misc]backup-simplify: Simplify 0 into 0 1545816022.294 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816022.294 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816022.294 * [misc]backup-simplify: Simplify 0 into 0 1545816022.295 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816022.295 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816022.295 * [misc]backup-simplify: Simplify 0 into 0 1545816022.296 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816022.296 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816022.296 * [misc]backup-simplify: Simplify 0 into 0 1545816022.296 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816022.297 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816022.297 * [misc]backup-simplify: Simplify 0 into 0 1545816022.297 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816022.298 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816022.298 * [misc]backup-simplify: Simplify 0 into 0 1545816022.298 * [misc]backup-simplify: Simplify (* 1 (pow x 3)) into (pow x 3) 1545816022.299 * [misc]backup-simplify: Simplify (* (* (/ 1 x) (/ 1 x)) (/ 1 x)) into (/ 1 (pow x 3)) 1545816022.299 * [misc]approximate: Taking taylor expansion of (/ 1 (pow x 3)) in (x) around 0 1545816022.299 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 3)) in x 1545816022.299 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1545816022.299 * [misc]taylor: Taking taylor expansion of x in x 1545816022.299 * [misc]backup-simplify: Simplify 0 into 0 1545816022.299 * [misc]backup-simplify: Simplify 1 into 1 1545816022.309 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.309 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.309 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545816022.309 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 3)) in x 1545816022.309 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1545816022.309 * [misc]taylor: Taking taylor expansion of x in x 1545816022.309 * [misc]backup-simplify: Simplify 0 into 0 1545816022.309 * [misc]backup-simplify: Simplify 1 into 1 1545816022.309 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.310 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.310 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545816022.310 * [misc]backup-simplify: Simplify 1 into 1 1545816022.310 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816022.311 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816022.311 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545816022.311 * [misc]backup-simplify: Simplify 0 into 0 1545816022.311 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816022.312 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816022.312 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.312 * [misc]backup-simplify: Simplify 0 into 0 1545816022.312 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816022.313 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816022.313 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.313 * [misc]backup-simplify: Simplify 0 into 0 1545816022.313 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816022.314 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816022.314 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.314 * [misc]backup-simplify: Simplify 0 into 0 1545816022.315 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816022.315 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816022.316 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.316 * [misc]backup-simplify: Simplify 0 into 0 1545816022.316 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816022.317 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816022.317 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.317 * [misc]backup-simplify: Simplify 0 into 0 1545816022.317 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 x)) 3)) into (pow x 3) 1545816022.318 * [misc]backup-simplify: Simplify (* (* (/ 1 (- x)) (/ 1 (- x))) (/ 1 (- x))) into (/ -1 (pow x 3)) 1545816022.318 * [misc]approximate: Taking taylor expansion of (/ -1 (pow x 3)) in (x) around 0 1545816022.318 * [misc]taylor: Taking taylor expansion of (/ -1 (pow x 3)) in x 1545816022.318 * [misc]taylor: Taking taylor expansion of -1 in x 1545816022.318 * [misc]backup-simplify: Simplify -1 into -1 1545816022.318 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1545816022.318 * [misc]taylor: Taking taylor expansion of x in x 1545816022.318 * [misc]backup-simplify: Simplify 0 into 0 1545816022.318 * [misc]backup-simplify: Simplify 1 into 1 1545816022.318 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.318 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.318 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545816022.318 * [misc]taylor: Taking taylor expansion of (/ -1 (pow x 3)) in x 1545816022.319 * [misc]taylor: Taking taylor expansion of -1 in x 1545816022.319 * [misc]backup-simplify: Simplify -1 into -1 1545816022.319 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1545816022.319 * [misc]taylor: Taking taylor expansion of x in x 1545816022.319 * [misc]backup-simplify: Simplify 0 into 0 1545816022.319 * [misc]backup-simplify: Simplify 1 into 1 1545816022.319 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.319 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.319 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545816022.319 * [misc]backup-simplify: Simplify -1 into -1 1545816022.319 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816022.320 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816022.320 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1545816022.320 * [misc]backup-simplify: Simplify 0 into 0 1545816022.320 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816022.321 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816022.321 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.321 * [misc]backup-simplify: Simplify 0 into 0 1545816022.321 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816022.322 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816022.322 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.322 * [misc]backup-simplify: Simplify 0 into 0 1545816022.322 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816022.323 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816022.323 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.323 * [misc]backup-simplify: Simplify 0 into 0 1545816022.324 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816022.324 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816022.325 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.325 * [misc]backup-simplify: Simplify 0 into 0 1545816022.325 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816022.326 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816022.326 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.326 * [misc]backup-simplify: Simplify 0 into 0 1545816022.327 * [misc]backup-simplify: Simplify (* -1 (pow (/ 1 (/ 1 (- x))) 3)) into (pow x 3) 1545816022.327 * * * [misc]progress: simplifying candidates 1545816022.329 * * * * [misc]progress: [ 1 / 26 ] simplifiying candidate # 1545816022.333 * * * * [misc]progress: [ 2 / 26 ] simplifiying candidate # 1545816022.334 * * * * [misc]progress: [ 3 / 26 ] simplifiying candidate # 1545816022.334 * * * * [misc]progress: [ 4 / 26 ] simplifiying candidate # 1545816022.334 * * * * [misc]progress: [ 5 / 26 ] simplifiying candidate # 1545816022.334 * * * * [misc]progress: [ 6 / 26 ] simplifiying candidate # 1545816022.334 * * * * [misc]progress: [ 7 / 26 ] simplifiying candidate # 1545816022.334 * * * * [misc]progress: [ 8 / 26 ] simplifiying candidate # 1545816022.334 * * * * [misc]progress: [ 9 / 26 ] simplifiying candidate # 1545816022.334 * * * * [misc]progress: [ 10 / 26 ] simplifiying candidate # 1545816022.334 * * * * [misc]progress: [ 11 / 26 ] simplifiying candidate # 1545816022.334 * * * * [misc]progress: [ 12 / 26 ] simplifiying candidate # 1545816022.335 * * * * [misc]progress: [ 13 / 26 ] simplifiying candidate # 1545816022.335 * * * * [misc]progress: [ 14 / 26 ] simplifiying candidate # 1545816022.335 * * * * [misc]progress: [ 15 / 26 ] simplifiying candidate # 1545816022.335 * * * * [misc]progress: [ 16 / 26 ] simplifiying candidate # 1545816022.335 * * * * [misc]progress: [ 17 / 26 ] simplifiying candidate # 1545816022.335 * * * * [misc]progress: [ 18 / 26 ] simplifiying candidate # 1545816022.335 * * * * [misc]progress: [ 19 / 26 ] simplifiying candidate # 1545816022.335 * * * * [misc]progress: [ 20 / 26 ] simplifiying candidate # 1545816022.335 * * * * [misc]progress: [ 21 / 26 ] simplifiying candidate # 1545816022.336 * [enter]simplify: Simplifying (* 0.12900613773279798 (pow x 3)) 1545816022.336 * * [misc]simplify: iters left: 3 (5 enodes) 1545816022.337 * * [misc]simplify: iters left: 2 (9 enodes) 1545816022.338 * * [misc]simplify: iters left: 1 (17 enodes) 1545816022.341 * [exit]simplify: Simplified to (* (* 0.12900613773279798 x) (* x x)) 1545816022.341 * [misc]simplify: Simplified (2 2) to (λ (x) (- (* 0.954929658551372 x) (* (* 0.12900613773279798 x) (* x x)))) 1545816022.341 * * * * [misc]progress: [ 22 / 26 ] simplifiying candidate # 1545816022.341 * [enter]simplify: Simplifying (* 0.12900613773279798 (pow x 3)) 1545816022.341 * * [misc]simplify: iters left: 3 (5 enodes) 1545816022.342 * * [misc]simplify: iters left: 2 (9 enodes) 1545816022.344 * * [misc]simplify: iters left: 1 (17 enodes) 1545816022.346 * [exit]simplify: Simplified to (* (* 0.12900613773279798 x) (* x x)) 1545816022.347 * [misc]simplify: Simplified (2 2) to (λ (x) (- (* 0.954929658551372 x) (* (* 0.12900613773279798 x) (* x x)))) 1545816022.347 * * * * [misc]progress: [ 23 / 26 ] simplifiying candidate # 1545816022.347 * [enter]simplify: Simplifying (* 0.12900613773279798 (pow x 3)) 1545816022.347 * * [misc]simplify: iters left: 3 (5 enodes) 1545816022.348 * * [misc]simplify: iters left: 2 (9 enodes) 1545816022.349 * * [misc]simplify: iters left: 1 (17 enodes) 1545816022.352 * [exit]simplify: Simplified to (* (* 0.12900613773279798 x) (* x x)) 1545816022.352 * [misc]simplify: Simplified (2 2) to (λ (x) (- (* 0.954929658551372 x) (* (* 0.12900613773279798 x) (* x x)))) 1545816022.352 * * * * [misc]progress: [ 24 / 26 ] simplifiying candidate # 1545816022.352 * [enter]simplify: Simplifying (pow x 3) 1545816022.352 * * [misc]simplify: iters left: 1 (3 enodes) 1545816022.353 * [exit]simplify: Simplified to (pow x 3) 1545816022.353 * [misc]simplify: Simplified (2 2 2) to (λ (x) (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) 1545816022.353 * * * * [misc]progress: [ 25 / 26 ] simplifiying candidate # 1545816022.353 * [enter]simplify: Simplifying (pow x 3) 1545816022.353 * * [misc]simplify: iters left: 1 (3 enodes) 1545816022.353 * [exit]simplify: Simplified to (pow x 3) 1545816022.353 * [misc]simplify: Simplified (2 2 2) to (λ (x) (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) 1545816022.353 * * * * [misc]progress: [ 26 / 26 ] simplifiying candidate # 1545816022.354 * [enter]simplify: Simplifying (pow x 3) 1545816022.354 * * [misc]simplify: iters left: 1 (3 enodes) 1545816022.354 * [exit]simplify: Simplified to (pow x 3) 1545816022.354 * [misc]simplify: Simplified (2 2 2) to (λ (x) (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) 1545816022.354 * * * [misc]progress: adding candidates to table 1545816022.583 * * [misc]progress: iteration 2 / 4 1545816022.583 * * * [misc]progress: picking best candidate 1545816022.597 * * * * [misc]pick: Picked # 1545816022.597 * * * [misc]progress: localizing error 1545816022.614 * * * [misc]progress: generating rewritten candidates 1545816022.614 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 2) 1545816022.617 * * * [misc]progress: generating series expansions 1545816022.617 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 2) 1545816022.617 * [misc]backup-simplify: Simplify (* 0.12900613773279798 (pow x 3)) into (* 0.12900613773279798 (pow x 3)) 1545816022.617 * [misc]approximate: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in (x) around 0 1545816022.617 * [misc]taylor: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 1545816022.617 * [misc]taylor: Taking taylor expansion of 0.12900613773279798 in x 1545816022.617 * [misc]backup-simplify: Simplify 0.12900613773279798 into 0.12900613773279798 1545816022.617 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1545816022.617 * [misc]taylor: Taking taylor expansion of x in x 1545816022.617 * [misc]backup-simplify: Simplify 0 into 0 1545816022.617 * [misc]backup-simplify: Simplify 1 into 1 1545816022.617 * [misc]taylor: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 1545816022.617 * [misc]taylor: Taking taylor expansion of 0.12900613773279798 in x 1545816022.617 * [misc]backup-simplify: Simplify 0.12900613773279798 into 0.12900613773279798 1545816022.618 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1545816022.618 * [misc]taylor: Taking taylor expansion of x in x 1545816022.618 * [misc]backup-simplify: Simplify 0 into 0 1545816022.618 * [misc]backup-simplify: Simplify 1 into 1 1545816022.618 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.618 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.618 * [misc]backup-simplify: Simplify (* 0.12900613773279798 1) into 0.12900613773279798 1545816022.618 * [misc]backup-simplify: Simplify 0.12900613773279798 into 0.12900613773279798 1545816022.619 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816022.619 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816022.619 * [misc]backup-simplify: Simplify (+ (* 0.12900613773279798 0) (* 0 1)) into 0 1545816022.619 * [misc]backup-simplify: Simplify 0 into 0 1545816022.619 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816022.620 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816022.620 * [misc]backup-simplify: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (* 0 1))) into 0 1545816022.620 * [misc]backup-simplify: Simplify 0 into 0 1545816022.620 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816022.621 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816022.621 * [misc]backup-simplify: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816022.621 * [misc]backup-simplify: Simplify 0 into 0 1545816022.622 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816022.622 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816022.622 * [misc]backup-simplify: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816022.622 * [misc]backup-simplify: Simplify 0 into 0 1545816022.623 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816022.623 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816022.624 * [misc]backup-simplify: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816022.624 * [misc]backup-simplify: Simplify 0 into 0 1545816022.624 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816022.625 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816022.625 * [misc]backup-simplify: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816022.625 * [misc]backup-simplify: Simplify 0 into 0 1545816022.626 * [misc]backup-simplify: Simplify (* 0.12900613773279798 (pow x 3)) into (* 0.12900613773279798 (pow x 3)) 1545816022.626 * [misc]backup-simplify: Simplify (* 0.12900613773279798 (pow (/ 1 x) 3)) into (/ 0.12900613773279798 (pow x 3)) 1545816022.626 * [misc]approximate: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in (x) around 0 1545816022.626 * [misc]taylor: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x 1545816022.626 * [misc]taylor: Taking taylor expansion of 0.12900613773279798 in x 1545816022.626 * [misc]backup-simplify: Simplify 0.12900613773279798 into 0.12900613773279798 1545816022.626 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1545816022.626 * [misc]taylor: Taking taylor expansion of x in x 1545816022.626 * [misc]backup-simplify: Simplify 0 into 0 1545816022.626 * [misc]backup-simplify: Simplify 1 into 1 1545816022.626 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.626 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.626 * [misc]backup-simplify: Simplify (/ 0.12900613773279798 1) into 0.12900613773279798 1545816022.627 * [misc]taylor: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x 1545816022.627 * [misc]taylor: Taking taylor expansion of 0.12900613773279798 in x 1545816022.627 * [misc]backup-simplify: Simplify 0.12900613773279798 into 0.12900613773279798 1545816022.627 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1545816022.627 * [misc]taylor: Taking taylor expansion of x in x 1545816022.627 * [misc]backup-simplify: Simplify 0 into 0 1545816022.627 * [misc]backup-simplify: Simplify 1 into 1 1545816022.627 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.627 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.627 * [misc]backup-simplify: Simplify (/ 0.12900613773279798 1) into 0.12900613773279798 1545816022.627 * [misc]backup-simplify: Simplify 0.12900613773279798 into 0.12900613773279798 1545816022.628 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816022.628 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816022.628 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)))) into 0 1545816022.628 * [misc]backup-simplify: Simplify 0 into 0 1545816022.629 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816022.629 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816022.629 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.629 * [misc]backup-simplify: Simplify 0 into 0 1545816022.630 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816022.630 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816022.630 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.630 * [misc]backup-simplify: Simplify 0 into 0 1545816022.631 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816022.631 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816022.632 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.632 * [misc]backup-simplify: Simplify 0 into 0 1545816022.632 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816022.633 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816022.633 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.633 * [misc]backup-simplify: Simplify 0 into 0 1545816022.634 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816022.634 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816022.635 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.635 * [misc]backup-simplify: Simplify 0 into 0 1545816022.635 * [misc]backup-simplify: Simplify (* 0.12900613773279798 (pow (/ 1 (/ 1 x)) 3)) into (* 0.12900613773279798 (pow x 3)) 1545816022.635 * [misc]backup-simplify: Simplify (* 0.12900613773279798 (pow (/ 1 (- x)) 3)) into (/ -0.12900613773279798 (pow x 3)) 1545816022.635 * [misc]approximate: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in (x) around 0 1545816022.635 * [misc]taylor: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x 1545816022.635 * [misc]taylor: Taking taylor expansion of -0.12900613773279798 in x 1545816022.635 * [misc]backup-simplify: Simplify -0.12900613773279798 into -0.12900613773279798 1545816022.635 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1545816022.635 * [misc]taylor: Taking taylor expansion of x in x 1545816022.635 * [misc]backup-simplify: Simplify 0 into 0 1545816022.636 * [misc]backup-simplify: Simplify 1 into 1 1545816022.636 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.636 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.636 * [misc]backup-simplify: Simplify (/ -0.12900613773279798 1) into -0.12900613773279798 1545816022.636 * [misc]taylor: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x 1545816022.636 * [misc]taylor: Taking taylor expansion of -0.12900613773279798 in x 1545816022.636 * [misc]backup-simplify: Simplify -0.12900613773279798 into -0.12900613773279798 1545816022.636 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1545816022.636 * [misc]taylor: Taking taylor expansion of x in x 1545816022.636 * [misc]backup-simplify: Simplify 0 into 0 1545816022.636 * [misc]backup-simplify: Simplify 1 into 1 1545816022.636 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.637 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.637 * [misc]backup-simplify: Simplify (/ -0.12900613773279798 1) into -0.12900613773279798 1545816022.637 * [misc]backup-simplify: Simplify -0.12900613773279798 into -0.12900613773279798 1545816022.637 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816022.637 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816022.638 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)))) into 0 1545816022.638 * [misc]backup-simplify: Simplify 0 into 0 1545816022.638 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816022.638 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816022.639 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.639 * [misc]backup-simplify: Simplify 0 into 0 1545816022.639 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816022.639 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816022.640 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.640 * [misc]backup-simplify: Simplify 0 into 0 1545816022.640 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816022.641 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816022.641 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.641 * [misc]backup-simplify: Simplify 0 into 0 1545816022.642 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816022.642 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816022.643 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.643 * [misc]backup-simplify: Simplify 0 into 0 1545816022.643 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816022.644 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816022.644 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.644 * [misc]backup-simplify: Simplify 0 into 0 1545816022.644 * [misc]backup-simplify: Simplify (* -0.12900613773279798 (pow (/ 1 (/ 1 (- x))) 3)) into (* 0.12900613773279798 (pow x 3)) 1545816022.645 * * * [misc]progress: simplifying candidates 1545816022.645 * * * * [misc]progress: [ 1 / 16 ] simplifiying candidate # 1545816022.645 * * * * [misc]progress: [ 2 / 16 ] simplifiying candidate # 1545816022.645 * * * * [misc]progress: [ 3 / 16 ] simplifiying candidate # 1545816022.645 * * * * [misc]progress: [ 4 / 16 ] simplifiying candidate # 1545816022.645 * * * * [misc]progress: [ 5 / 16 ] simplifiying candidate # 1545816022.645 * * * * [misc]progress: [ 6 / 16 ] simplifiying candidate # 1545816022.645 * * * * [misc]progress: [ 7 / 16 ] simplifiying candidate # 1545816022.645 * * * * [misc]progress: [ 8 / 16 ] simplifiying candidate # 1545816022.645 * * * * [misc]progress: [ 9 / 16 ] simplifiying candidate # 1545816022.645 * [enter]simplify: Simplifying (cbrt (pow x 3)) 1545816022.645 * * [misc]simplify: iters left: 2 (4 enodes) 1545816022.647 * * [misc]simplify: iters left: 1 (7 enodes) 1545816022.649 * [exit]simplify: Simplified to x 1545816022.649 * [misc]simplify: Simplified (2 2 2) to (λ (x) (- (* 0.954929658551372 x) (* (* 0.12900613773279798 (* (cbrt (pow x 3)) (cbrt (pow x 3)))) x))) 1545816022.649 * * * * [misc]progress: [ 10 / 16 ] simplifiying candidate # 1545816022.650 * [enter]simplify: Simplifying (* x x) 1545816022.650 * * [misc]simplify: iters left: 2 (2 enodes) 1545816022.650 * [exit]simplify: Simplified to (* x x) 1545816022.651 * [misc]simplify: Simplified (2 2 2) to (λ (x) (- (* 0.954929658551372 x) (* (* 0.12900613773279798 x) (* x x)))) 1545816022.651 * * * * [misc]progress: [ 11 / 16 ] simplifiying candidate # 1545816022.651 * [enter]simplify: Simplifying (sqrt (pow x 3)) 1545816022.651 * * [misc]simplify: iters left: 2 (4 enodes) 1545816022.652 * * [misc]simplify: iters left: 1 (7 enodes) 1545816022.654 * [exit]simplify: Simplified to (sqrt (pow x 3)) 1545816022.654 * [misc]simplify: Simplified (2 2 2) to (λ (x) (- (* 0.954929658551372 x) (* (* 0.12900613773279798 (sqrt (pow x 3))) (sqrt (pow x 3))))) 1545816022.654 * * * * [misc]progress: [ 12 / 16 ] simplifiying candidate # 1545816022.655 * [enter]simplify: Simplifying (pow x 3) 1545816022.655 * * [misc]simplify: iters left: 1 (3 enodes) 1545816022.656 * [exit]simplify: Simplified to (pow x 3) 1545816022.656 * [misc]simplify: Simplified (2 2 2) to (λ (x) (- (* 0.954929658551372 x) (* (* 0.12900613773279798 1) (pow x 3)))) 1545816022.656 * * * * [misc]progress: [ 13 / 16 ] simplifiying candidate # 1545816022.656 * * * * [misc]progress: [ 14 / 16 ] simplifiying candidate # 1545816022.656 * [enter]simplify: Simplifying (* 0.12900613773279798 (pow x 3)) 1545816022.656 * * [misc]simplify: iters left: 3 (5 enodes) 1545816022.661 * * [misc]simplify: iters left: 2 (9 enodes) 1545816022.664 * * [misc]simplify: iters left: 1 (17 enodes) 1545816022.669 * [exit]simplify: Simplified to (* (* 0.12900613773279798 x) (* x x)) 1545816022.670 * [misc]simplify: Simplified (2 2) to (λ (x) (- (* 0.954929658551372 x) (* (* 0.12900613773279798 x) (* x x)))) 1545816022.670 * * * * [misc]progress: [ 15 / 16 ] simplifiying candidate # 1545816022.670 * [enter]simplify: Simplifying (* 0.12900613773279798 (pow x 3)) 1545816022.670 * * [misc]simplify: iters left: 3 (5 enodes) 1545816022.672 * * [misc]simplify: iters left: 2 (9 enodes) 1545816022.674 * * [misc]simplify: iters left: 1 (17 enodes) 1545816022.680 * [exit]simplify: Simplified to (* (* 0.12900613773279798 x) (* x x)) 1545816022.680 * [misc]simplify: Simplified (2 2) to (λ (x) (- (* 0.954929658551372 x) (* (* 0.12900613773279798 x) (* x x)))) 1545816022.680 * * * * [misc]progress: [ 16 / 16 ] simplifiying candidate # 1545816022.680 * [enter]simplify: Simplifying (* 0.12900613773279798 (pow x 3)) 1545816022.681 * * [misc]simplify: iters left: 3 (5 enodes) 1545816022.682 * * [misc]simplify: iters left: 2 (9 enodes) 1545816022.685 * * [misc]simplify: iters left: 1 (17 enodes) 1545816022.691 * [exit]simplify: Simplified to (* (* 0.12900613773279798 x) (* x x)) 1545816022.691 * [misc]simplify: Simplified (2 2) to (λ (x) (- (* 0.954929658551372 x) (* (* 0.12900613773279798 x) (* x x)))) 1545816022.691 * * * [misc]progress: adding candidates to table 1545816022.891 * * [misc]progress: iteration 3 / 4 1545816022.891 * * * [misc]progress: picking best candidate 1545816022.899 * * * * [misc]pick: Picked # 1545816022.899 * * * [misc]progress: localizing error 1545816022.906 * * * [misc]progress: generating rewritten candidates 1545816022.906 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 2) 1545816022.910 * * * [misc]progress: generating series expansions 1545816022.910 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 2) 1545816022.910 * [misc]backup-simplify: Simplify (* (* 0.12900613773279798 x) (* x x)) into (* 0.12900613773279798 (pow x 3)) 1545816022.910 * [misc]approximate: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in (x) around 0 1545816022.910 * [misc]taylor: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 1545816022.910 * [misc]taylor: Taking taylor expansion of 0.12900613773279798 in x 1545816022.910 * [misc]backup-simplify: Simplify 0.12900613773279798 into 0.12900613773279798 1545816022.910 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1545816022.910 * [misc]taylor: Taking taylor expansion of x in x 1545816022.910 * [misc]backup-simplify: Simplify 0 into 0 1545816022.911 * [misc]backup-simplify: Simplify 1 into 1 1545816022.911 * [misc]taylor: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 1545816022.911 * [misc]taylor: Taking taylor expansion of 0.12900613773279798 in x 1545816022.911 * [misc]backup-simplify: Simplify 0.12900613773279798 into 0.12900613773279798 1545816022.911 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1545816022.911 * [misc]taylor: Taking taylor expansion of x in x 1545816022.911 * [misc]backup-simplify: Simplify 0 into 0 1545816022.911 * [misc]backup-simplify: Simplify 1 into 1 1545816022.911 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.911 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.911 * [misc]backup-simplify: Simplify (* 0.12900613773279798 1) into 0.12900613773279798 1545816022.911 * [misc]backup-simplify: Simplify 0.12900613773279798 into 0.12900613773279798 1545816022.911 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816022.911 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816022.912 * [misc]backup-simplify: Simplify (+ (* 0.12900613773279798 0) (* 0 1)) into 0 1545816022.912 * [misc]backup-simplify: Simplify 0 into 0 1545816022.912 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816022.912 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816022.912 * [misc]backup-simplify: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (* 0 1))) into 0 1545816022.912 * [misc]backup-simplify: Simplify 0 into 0 1545816022.912 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816022.913 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816022.913 * [misc]backup-simplify: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816022.913 * [misc]backup-simplify: Simplify 0 into 0 1545816022.913 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816022.913 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816022.914 * [misc]backup-simplify: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816022.914 * [misc]backup-simplify: Simplify 0 into 0 1545816022.914 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816022.914 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816022.914 * [misc]backup-simplify: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816022.914 * [misc]backup-simplify: Simplify 0 into 0 1545816022.915 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816022.915 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816022.915 * [misc]backup-simplify: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816022.915 * [misc]backup-simplify: Simplify 0 into 0 1545816022.915 * [misc]backup-simplify: Simplify (* 0.12900613773279798 (pow x 3)) into (* 0.12900613773279798 (pow x 3)) 1545816022.916 * [misc]backup-simplify: Simplify (* (* 0.12900613773279798 (/ 1 x)) (* (/ 1 x) (/ 1 x))) into (/ 0.12900613773279798 (pow x 3)) 1545816022.916 * [misc]approximate: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in (x) around 0 1545816022.916 * [misc]taylor: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x 1545816022.916 * [misc]taylor: Taking taylor expansion of 0.12900613773279798 in x 1545816022.916 * [misc]backup-simplify: Simplify 0.12900613773279798 into 0.12900613773279798 1545816022.916 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1545816022.916 * [misc]taylor: Taking taylor expansion of x in x 1545816022.916 * [misc]backup-simplify: Simplify 0 into 0 1545816022.916 * [misc]backup-simplify: Simplify 1 into 1 1545816022.916 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.916 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.916 * [misc]backup-simplify: Simplify (/ 0.12900613773279798 1) into 0.12900613773279798 1545816022.916 * [misc]taylor: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x 1545816022.916 * [misc]taylor: Taking taylor expansion of 0.12900613773279798 in x 1545816022.916 * [misc]backup-simplify: Simplify 0.12900613773279798 into 0.12900613773279798 1545816022.916 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1545816022.916 * [misc]taylor: Taking taylor expansion of x in x 1545816022.916 * [misc]backup-simplify: Simplify 0 into 0 1545816022.916 * [misc]backup-simplify: Simplify 1 into 1 1545816022.916 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.916 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.916 * [misc]backup-simplify: Simplify (/ 0.12900613773279798 1) into 0.12900613773279798 1545816022.917 * [misc]backup-simplify: Simplify 0.12900613773279798 into 0.12900613773279798 1545816022.917 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816022.917 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816022.917 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)))) into 0 1545816022.917 * [misc]backup-simplify: Simplify 0 into 0 1545816022.917 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816022.917 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816022.918 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.918 * [misc]backup-simplify: Simplify 0 into 0 1545816022.918 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816022.918 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816022.918 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.918 * [misc]backup-simplify: Simplify 0 into 0 1545816022.918 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816022.919 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816022.919 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.919 * [misc]backup-simplify: Simplify 0 into 0 1545816022.919 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816022.920 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816022.920 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.920 * [misc]backup-simplify: Simplify 0 into 0 1545816022.921 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816022.921 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816022.922 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.922 * [misc]backup-simplify: Simplify 0 into 0 1545816022.922 * [misc]backup-simplify: Simplify (* 0.12900613773279798 (pow (/ 1 (/ 1 x)) 3)) into (* 0.12900613773279798 (pow x 3)) 1545816022.922 * [misc]backup-simplify: Simplify (* (* 0.12900613773279798 (/ 1 (- x))) (* (/ 1 (- x)) (/ 1 (- x)))) into (/ -0.12900613773279798 (pow x 3)) 1545816022.922 * [misc]approximate: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in (x) around 0 1545816022.923 * [misc]taylor: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x 1545816022.923 * [misc]taylor: Taking taylor expansion of -0.12900613773279798 in x 1545816022.923 * [misc]backup-simplify: Simplify -0.12900613773279798 into -0.12900613773279798 1545816022.923 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1545816022.923 * [misc]taylor: Taking taylor expansion of x in x 1545816022.923 * [misc]backup-simplify: Simplify 0 into 0 1545816022.923 * [misc]backup-simplify: Simplify 1 into 1 1545816022.923 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.923 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.923 * [misc]backup-simplify: Simplify (/ -0.12900613773279798 1) into -0.12900613773279798 1545816022.923 * [misc]taylor: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x 1545816022.923 * [misc]taylor: Taking taylor expansion of -0.12900613773279798 in x 1545816022.923 * [misc]backup-simplify: Simplify -0.12900613773279798 into -0.12900613773279798 1545816022.923 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1545816022.923 * [misc]taylor: Taking taylor expansion of x in x 1545816022.923 * [misc]backup-simplify: Simplify 0 into 0 1545816022.923 * [misc]backup-simplify: Simplify 1 into 1 1545816022.924 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.924 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816022.924 * [misc]backup-simplify: Simplify (/ -0.12900613773279798 1) into -0.12900613773279798 1545816022.924 * [misc]backup-simplify: Simplify -0.12900613773279798 into -0.12900613773279798 1545816022.924 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816022.925 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816022.925 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)))) into 0 1545816022.925 * [misc]backup-simplify: Simplify 0 into 0 1545816022.925 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816022.925 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816022.926 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.926 * [misc]backup-simplify: Simplify 0 into 0 1545816022.926 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816022.927 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816022.927 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.927 * [misc]backup-simplify: Simplify 0 into 0 1545816022.927 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816022.928 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816022.928 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.928 * [misc]backup-simplify: Simplify 0 into 0 1545816022.929 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816022.929 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816022.930 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.930 * [misc]backup-simplify: Simplify 0 into 0 1545816022.931 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816022.931 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816022.932 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816022.932 * [misc]backup-simplify: Simplify 0 into 0 1545816022.932 * [misc]backup-simplify: Simplify (* -0.12900613773279798 (pow (/ 1 (/ 1 (- x))) 3)) into (* 0.12900613773279798 (pow x 3)) 1545816022.932 * * * [misc]progress: simplifying candidates 1545816022.932 * * * * [misc]progress: [ 1 / 16 ] simplifiying candidate # 1545816022.932 * [enter]simplify: Simplifying (* (* 0.12900613773279798 x) (* x x)) 1545816022.932 * * [misc]simplify: iters left: 4 (5 enodes) 1545816022.934 * * [misc]simplify: iters left: 3 (11 enodes) 1545816022.938 * * [misc]simplify: iters left: 2 (21 enodes) 1545816022.944 * [exit]simplify: Simplified to (* (* 0.12900613773279798 x) (* x x)) 1545816022.944 * [misc]simplify: Simplified (2 2 1) to (λ (x) (- (* 0.954929658551372 x) (pow (* (* 0.12900613773279798 x) (* x x)) 1))) 1545816022.944 * * * * [misc]progress: [ 2 / 16 ] simplifiying candidate # 1545816022.944 * * * * [misc]progress: [ 3 / 16 ] simplifiying candidate # 1545816022.944 * [enter]simplify: Simplifying (+ (log (* 0.12900613773279798 x)) (log (* x x))) 1545816022.944 * * [misc]simplify: iters left: 5 (7 enodes) 1545816022.948 * * [misc]simplify: iters left: 4 (13 enodes) 1545816022.952 * * [misc]simplify: iters left: 3 (22 enodes) 1545816022.959 * * [misc]simplify: iters left: 2 (25 enodes) 1545816022.965 * [exit]simplify: Simplified to (+ (log (* 0.12900613773279798 x)) (log (* x x))) 1545816022.965 * [misc]simplify: Simplified (2 2 1) to (λ (x) (- (* 0.954929658551372 x) (exp (+ (log (* 0.12900613773279798 x)) (log (* x x)))))) 1545816022.965 * * * * [misc]progress: [ 4 / 16 ] simplifiying candidate # 1545816022.965 * * * * [misc]progress: [ 5 / 16 ] simplifiying candidate # 1545816022.966 * * * * [misc]progress: [ 6 / 16 ] simplifiying candidate # 1545816022.966 * [enter]simplify: Simplifying (* (* (* (* 0.12900613773279798 x) (* 0.12900613773279798 x)) (* 0.12900613773279798 x)) (* (* (* x x) (* x x)) (* x x))) 1545816022.966 * * [misc]simplify: iters left: 6 (9 enodes) 1545816022.970 * * [misc]simplify: iters left: 5 (29 enodes) 1545816022.986 * * [misc]simplify: iters left: 4 (97 enodes) 1545816023.017 * * [misc]simplify: iters left: 3 (329 enodes) 1545816023.640 * [exit]simplify: Simplified to (* (pow (* x x) 3) (pow (* 0.12900613773279798 x) 3)) 1545816023.640 * [misc]simplify: Simplified (2 2 1) to (λ (x) (- (* 0.954929658551372 x) (cbrt (* (pow (* x x) 3) (pow (* 0.12900613773279798 x) 3))))) 1545816023.640 * * * * [misc]progress: [ 7 / 16 ] simplifiying candidate # 1545816023.641 * * * * [misc]progress: [ 8 / 16 ] simplifiying candidate # 1545816023.641 * * * * [misc]progress: [ 9 / 16 ] simplifiying candidate # 1545816023.641 * * * * [misc]progress: [ 10 / 16 ] simplifiying candidate # 1545816023.641 * * * * [misc]progress: [ 11 / 16 ] simplifiying candidate # 1545816023.641 * * * * [misc]progress: [ 12 / 16 ] simplifiying candidate # 1545816023.641 * * * * [misc]progress: [ 13 / 16 ] simplifiying candidate # 1545816023.641 * * * * [misc]progress: [ 14 / 16 ] simplifiying candidate # 1545816023.641 * [enter]simplify: Simplifying (* 0.12900613773279798 (pow x 3)) 1545816023.641 * * [misc]simplify: iters left: 3 (5 enodes) 1545816023.642 * * [misc]simplify: iters left: 2 (9 enodes) 1545816023.643 * * [misc]simplify: iters left: 1 (17 enodes) 1545816023.646 * [exit]simplify: Simplified to (* (* 0.12900613773279798 x) (* x x)) 1545816023.646 * [misc]simplify: Simplified (2 2) to (λ (x) (- (* 0.954929658551372 x) (* (* 0.12900613773279798 x) (* x x)))) 1545816023.646 * * * * [misc]progress: [ 15 / 16 ] simplifiying candidate # 1545816023.646 * [enter]simplify: Simplifying (* 0.12900613773279798 (pow x 3)) 1545816023.647 * * [misc]simplify: iters left: 3 (5 enodes) 1545816023.647 * * [misc]simplify: iters left: 2 (9 enodes) 1545816023.649 * * [misc]simplify: iters left: 1 (17 enodes) 1545816023.651 * [exit]simplify: Simplified to (* (* 0.12900613773279798 x) (* x x)) 1545816023.652 * [misc]simplify: Simplified (2 2) to (λ (x) (- (* 0.954929658551372 x) (* (* 0.12900613773279798 x) (* x x)))) 1545816023.652 * * * * [misc]progress: [ 16 / 16 ] simplifiying candidate # 1545816023.652 * [enter]simplify: Simplifying (* 0.12900613773279798 (pow x 3)) 1545816023.652 * * [misc]simplify: iters left: 3 (5 enodes) 1545816023.653 * * [misc]simplify: iters left: 2 (9 enodes) 1545816023.654 * * [misc]simplify: iters left: 1 (17 enodes) 1545816023.657 * [exit]simplify: Simplified to (* (* 0.12900613773279798 x) (* x x)) 1545816023.657 * [misc]simplify: Simplified (2 2) to (λ (x) (- (* 0.954929658551372 x) (* (* 0.12900613773279798 x) (* x x)))) 1545816023.657 * * * [misc]progress: adding candidates to table 1545816023.863 * * [misc]progress: iteration 4 / 4 1545816023.863 * * * [misc]progress: picking best candidate 1545816023.873 * * * * [misc]pick: Picked # 1545816023.873 * * * [misc]progress: localizing error 1545816023.889 * * * [misc]progress: generating rewritten candidates 1545816023.889 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 2) 1545816023.896 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2 1) 1545816023.898 * * * [misc]progress: generating series expansions 1545816023.898 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 2) 1545816023.898 * [misc]backup-simplify: Simplify (* (* 0.12900613773279798 (* x x)) x) into (* 0.12900613773279798 (pow x 3)) 1545816023.898 * [misc]approximate: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in (x) around 0 1545816023.898 * [misc]taylor: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 1545816023.898 * [misc]taylor: Taking taylor expansion of 0.12900613773279798 in x 1545816023.898 * [misc]backup-simplify: Simplify 0.12900613773279798 into 0.12900613773279798 1545816023.898 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1545816023.898 * [misc]taylor: Taking taylor expansion of x in x 1545816023.898 * [misc]backup-simplify: Simplify 0 into 0 1545816023.898 * [misc]backup-simplify: Simplify 1 into 1 1545816023.898 * [misc]taylor: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 1545816023.898 * [misc]taylor: Taking taylor expansion of 0.12900613773279798 in x 1545816023.898 * [misc]backup-simplify: Simplify 0.12900613773279798 into 0.12900613773279798 1545816023.898 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1545816023.898 * [misc]taylor: Taking taylor expansion of x in x 1545816023.898 * [misc]backup-simplify: Simplify 0 into 0 1545816023.898 * [misc]backup-simplify: Simplify 1 into 1 1545816023.899 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816023.899 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816023.899 * [misc]backup-simplify: Simplify (* 0.12900613773279798 1) into 0.12900613773279798 1545816023.899 * [misc]backup-simplify: Simplify 0.12900613773279798 into 0.12900613773279798 1545816023.900 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816023.900 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816023.900 * [misc]backup-simplify: Simplify (+ (* 0.12900613773279798 0) (* 0 1)) into 0 1545816023.900 * [misc]backup-simplify: Simplify 0 into 0 1545816023.900 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816023.901 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816023.901 * [misc]backup-simplify: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (* 0 1))) into 0 1545816023.901 * [misc]backup-simplify: Simplify 0 into 0 1545816023.901 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816023.902 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816023.902 * [misc]backup-simplify: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816023.902 * [misc]backup-simplify: Simplify 0 into 0 1545816023.903 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816023.903 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816023.904 * [misc]backup-simplify: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816023.904 * [misc]backup-simplify: Simplify 0 into 0 1545816023.904 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816023.905 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816023.905 * [misc]backup-simplify: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816023.905 * [misc]backup-simplify: Simplify 0 into 0 1545816023.906 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816023.906 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816023.907 * [misc]backup-simplify: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816023.907 * [misc]backup-simplify: Simplify 0 into 0 1545816023.907 * [misc]backup-simplify: Simplify (* 0.12900613773279798 (pow x 3)) into (* 0.12900613773279798 (pow x 3)) 1545816023.907 * [misc]backup-simplify: Simplify (* (* 0.12900613773279798 (* (/ 1 x) (/ 1 x))) (/ 1 x)) into (/ 0.12900613773279798 (pow x 3)) 1545816023.907 * [misc]approximate: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in (x) around 0 1545816023.907 * [misc]taylor: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x 1545816023.907 * [misc]taylor: Taking taylor expansion of 0.12900613773279798 in x 1545816023.907 * [misc]backup-simplify: Simplify 0.12900613773279798 into 0.12900613773279798 1545816023.907 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1545816023.907 * [misc]taylor: Taking taylor expansion of x in x 1545816023.907 * [misc]backup-simplify: Simplify 0 into 0 1545816023.907 * [misc]backup-simplify: Simplify 1 into 1 1545816023.908 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816023.908 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816023.908 * [misc]backup-simplify: Simplify (/ 0.12900613773279798 1) into 0.12900613773279798 1545816023.908 * [misc]taylor: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x 1545816023.908 * [misc]taylor: Taking taylor expansion of 0.12900613773279798 in x 1545816023.908 * [misc]backup-simplify: Simplify 0.12900613773279798 into 0.12900613773279798 1545816023.908 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1545816023.908 * [misc]taylor: Taking taylor expansion of x in x 1545816023.908 * [misc]backup-simplify: Simplify 0 into 0 1545816023.908 * [misc]backup-simplify: Simplify 1 into 1 1545816023.908 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816023.908 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816023.909 * [misc]backup-simplify: Simplify (/ 0.12900613773279798 1) into 0.12900613773279798 1545816023.909 * [misc]backup-simplify: Simplify 0.12900613773279798 into 0.12900613773279798 1545816023.909 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816023.909 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816023.909 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)))) into 0 1545816023.910 * [misc]backup-simplify: Simplify 0 into 0 1545816023.910 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816023.910 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816023.910 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816023.911 * [misc]backup-simplify: Simplify 0 into 0 1545816023.911 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816023.911 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816023.912 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816023.912 * [misc]backup-simplify: Simplify 0 into 0 1545816023.912 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816023.912 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816023.913 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816023.913 * [misc]backup-simplify: Simplify 0 into 0 1545816023.913 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816023.914 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816023.914 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816023.915 * [misc]backup-simplify: Simplify 0 into 0 1545816023.915 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816023.916 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816023.916 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816023.916 * [misc]backup-simplify: Simplify 0 into 0 1545816023.916 * [misc]backup-simplify: Simplify (* 0.12900613773279798 (pow (/ 1 (/ 1 x)) 3)) into (* 0.12900613773279798 (pow x 3)) 1545816023.917 * [misc]backup-simplify: Simplify (* (* 0.12900613773279798 (* (/ 1 (- x)) (/ 1 (- x)))) (/ 1 (- x))) into (/ -0.12900613773279798 (pow x 3)) 1545816023.917 * [misc]approximate: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in (x) around 0 1545816023.917 * [misc]taylor: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x 1545816023.917 * [misc]taylor: Taking taylor expansion of -0.12900613773279798 in x 1545816023.917 * [misc]backup-simplify: Simplify -0.12900613773279798 into -0.12900613773279798 1545816023.917 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1545816023.917 * [misc]taylor: Taking taylor expansion of x in x 1545816023.917 * [misc]backup-simplify: Simplify 0 into 0 1545816023.917 * [misc]backup-simplify: Simplify 1 into 1 1545816023.917 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816023.917 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816023.917 * [misc]backup-simplify: Simplify (/ -0.12900613773279798 1) into -0.12900613773279798 1545816023.918 * [misc]taylor: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x 1545816023.918 * [misc]taylor: Taking taylor expansion of -0.12900613773279798 in x 1545816023.918 * [misc]backup-simplify: Simplify -0.12900613773279798 into -0.12900613773279798 1545816023.918 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1545816023.918 * [misc]taylor: Taking taylor expansion of x in x 1545816023.918 * [misc]backup-simplify: Simplify 0 into 0 1545816023.918 * [misc]backup-simplify: Simplify 1 into 1 1545816023.918 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816023.918 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816023.918 * [misc]backup-simplify: Simplify (/ -0.12900613773279798 1) into -0.12900613773279798 1545816023.918 * [misc]backup-simplify: Simplify -0.12900613773279798 into -0.12900613773279798 1545816023.919 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816023.919 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816023.919 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)))) into 0 1545816023.919 * [misc]backup-simplify: Simplify 0 into 0 1545816023.919 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816023.920 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816023.920 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816023.920 * [misc]backup-simplify: Simplify 0 into 0 1545816023.920 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816023.921 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816023.921 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816023.921 * [misc]backup-simplify: Simplify 0 into 0 1545816023.922 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816023.922 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816023.923 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816023.923 * [misc]backup-simplify: Simplify 0 into 0 1545816023.923 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816023.923 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816023.924 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816023.924 * [misc]backup-simplify: Simplify 0 into 0 1545816023.924 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816023.924 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816023.925 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816023.925 * [misc]backup-simplify: Simplify 0 into 0 1545816023.925 * [misc]backup-simplify: Simplify (* -0.12900613773279798 (pow (/ 1 (/ 1 (- x))) 3)) into (* 0.12900613773279798 (pow x 3)) 1545816023.925 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2 1) 1545816023.925 * [misc]backup-simplify: Simplify (* 0.12900613773279798 (* x x)) into (* 0.12900613773279798 (pow x 2)) 1545816023.925 * [misc]approximate: Taking taylor expansion of (* 0.12900613773279798 (pow x 2)) in (x) around 0 1545816023.925 * [misc]taylor: Taking taylor expansion of (* 0.12900613773279798 (pow x 2)) in x 1545816023.925 * [misc]taylor: Taking taylor expansion of 0.12900613773279798 in x 1545816023.925 * [misc]backup-simplify: Simplify 0.12900613773279798 into 0.12900613773279798 1545816023.925 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1545816023.925 * [misc]taylor: Taking taylor expansion of x in x 1545816023.925 * [misc]backup-simplify: Simplify 0 into 0 1545816023.925 * [misc]backup-simplify: Simplify 1 into 1 1545816023.925 * [misc]taylor: Taking taylor expansion of (* 0.12900613773279798 (pow x 2)) in x 1545816023.925 * [misc]taylor: Taking taylor expansion of 0.12900613773279798 in x 1545816023.925 * [misc]backup-simplify: Simplify 0.12900613773279798 into 0.12900613773279798 1545816023.925 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1545816023.925 * [misc]taylor: Taking taylor expansion of x in x 1545816023.925 * [misc]backup-simplify: Simplify 0 into 0 1545816023.925 * [misc]backup-simplify: Simplify 1 into 1 1545816023.926 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816023.926 * [misc]backup-simplify: Simplify (* 0.12900613773279798 1) into 0.12900613773279798 1545816023.926 * [misc]backup-simplify: Simplify 0.12900613773279798 into 0.12900613773279798 1545816023.926 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816023.926 * [misc]backup-simplify: Simplify (+ (* 0.12900613773279798 0) (* 0 1)) into 0 1545816023.926 * [misc]backup-simplify: Simplify 0 into 0 1545816023.926 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816023.926 * [misc]backup-simplify: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (* 0 1))) into 0 1545816023.926 * [misc]backup-simplify: Simplify 0 into 0 1545816023.927 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816023.927 * [misc]backup-simplify: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816023.927 * [misc]backup-simplify: Simplify 0 into 0 1545816023.927 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816023.927 * [misc]backup-simplify: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816023.927 * [misc]backup-simplify: Simplify 0 into 0 1545816023.928 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816023.928 * [misc]backup-simplify: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816023.928 * [misc]backup-simplify: Simplify 0 into 0 1545816023.928 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816023.928 * [misc]backup-simplify: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816023.928 * [misc]backup-simplify: Simplify 0 into 0 1545816023.929 * [misc]backup-simplify: Simplify (* 0.12900613773279798 (pow x 2)) into (* 0.12900613773279798 (pow x 2)) 1545816023.929 * [misc]backup-simplify: Simplify (* 0.12900613773279798 (* (/ 1 x) (/ 1 x))) into (/ 0.12900613773279798 (pow x 2)) 1545816023.929 * [misc]approximate: Taking taylor expansion of (/ 0.12900613773279798 (pow x 2)) in (x) around 0 1545816023.929 * [misc]taylor: Taking taylor expansion of (/ 0.12900613773279798 (pow x 2)) in x 1545816023.929 * [misc]taylor: Taking taylor expansion of 0.12900613773279798 in x 1545816023.929 * [misc]backup-simplify: Simplify 0.12900613773279798 into 0.12900613773279798 1545816023.929 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1545816023.929 * [misc]taylor: Taking taylor expansion of x in x 1545816023.929 * [misc]backup-simplify: Simplify 0 into 0 1545816023.929 * [misc]backup-simplify: Simplify 1 into 1 1545816023.929 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816023.929 * [misc]backup-simplify: Simplify (/ 0.12900613773279798 1) into 0.12900613773279798 1545816023.929 * [misc]taylor: Taking taylor expansion of (/ 0.12900613773279798 (pow x 2)) in x 1545816023.929 * [misc]taylor: Taking taylor expansion of 0.12900613773279798 in x 1545816023.929 * [misc]backup-simplify: Simplify 0.12900613773279798 into 0.12900613773279798 1545816023.929 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1545816023.929 * [misc]taylor: Taking taylor expansion of x in x 1545816023.929 * [misc]backup-simplify: Simplify 0 into 0 1545816023.929 * [misc]backup-simplify: Simplify 1 into 1 1545816023.929 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816023.929 * [misc]backup-simplify: Simplify (/ 0.12900613773279798 1) into 0.12900613773279798 1545816023.929 * [misc]backup-simplify: Simplify 0.12900613773279798 into 0.12900613773279798 1545816023.930 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816023.930 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)))) into 0 1545816023.930 * [misc]backup-simplify: Simplify 0 into 0 1545816023.930 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816023.930 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816023.930 * [misc]backup-simplify: Simplify 0 into 0 1545816023.930 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816023.931 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816023.931 * [misc]backup-simplify: Simplify 0 into 0 1545816023.931 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816023.931 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816023.931 * [misc]backup-simplify: Simplify 0 into 0 1545816023.932 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816023.932 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816023.932 * [misc]backup-simplify: Simplify 0 into 0 1545816023.932 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816023.932 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816023.933 * [misc]backup-simplify: Simplify 0 into 0 1545816023.933 * [misc]backup-simplify: Simplify (* 0.12900613773279798 (pow (/ 1 (/ 1 x)) 2)) into (* 0.12900613773279798 (pow x 2)) 1545816023.933 * [misc]backup-simplify: Simplify (* 0.12900613773279798 (* (/ 1 (- x)) (/ 1 (- x)))) into (/ 0.12900613773279798 (pow x 2)) 1545816023.933 * [misc]approximate: Taking taylor expansion of (/ 0.12900613773279798 (pow x 2)) in (x) around 0 1545816023.933 * [misc]taylor: Taking taylor expansion of (/ 0.12900613773279798 (pow x 2)) in x 1545816023.933 * [misc]taylor: Taking taylor expansion of 0.12900613773279798 in x 1545816023.933 * [misc]backup-simplify: Simplify 0.12900613773279798 into 0.12900613773279798 1545816023.933 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1545816023.933 * [misc]taylor: Taking taylor expansion of x in x 1545816023.933 * [misc]backup-simplify: Simplify 0 into 0 1545816023.933 * [misc]backup-simplify: Simplify 1 into 1 1545816023.933 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816023.933 * [misc]backup-simplify: Simplify (/ 0.12900613773279798 1) into 0.12900613773279798 1545816023.933 * [misc]taylor: Taking taylor expansion of (/ 0.12900613773279798 (pow x 2)) in x 1545816023.933 * [misc]taylor: Taking taylor expansion of 0.12900613773279798 in x 1545816023.933 * [misc]backup-simplify: Simplify 0.12900613773279798 into 0.12900613773279798 1545816023.933 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1545816023.933 * [misc]taylor: Taking taylor expansion of x in x 1545816023.933 * [misc]backup-simplify: Simplify 0 into 0 1545816023.933 * [misc]backup-simplify: Simplify 1 into 1 1545816023.933 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545816023.933 * [misc]backup-simplify: Simplify (/ 0.12900613773279798 1) into 0.12900613773279798 1545816023.934 * [misc]backup-simplify: Simplify 0.12900613773279798 into 0.12900613773279798 1545816023.934 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545816023.934 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)))) into 0 1545816023.934 * [misc]backup-simplify: Simplify 0 into 0 1545816023.934 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545816023.934 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816023.934 * [misc]backup-simplify: Simplify 0 into 0 1545816023.934 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545816023.935 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816023.935 * [misc]backup-simplify: Simplify 0 into 0 1545816023.935 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545816023.935 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816023.935 * [misc]backup-simplify: Simplify 0 into 0 1545816023.936 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545816023.936 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816023.936 * [misc]backup-simplify: Simplify 0 into 0 1545816023.936 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545816023.937 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545816023.937 * [misc]backup-simplify: Simplify 0 into 0 1545816023.937 * [misc]backup-simplify: Simplify (* 0.12900613773279798 (pow (/ 1 (/ 1 (- x))) 2)) into (* 0.12900613773279798 (pow x 2)) 1545816023.937 * * * [misc]progress: simplifying candidates 1545816023.937 * * * * [misc]progress: [ 1 / 24 ] simplifiying candidate # 1545816023.937 * * * * [misc]progress: [ 2 / 24 ] simplifiying candidate # 1545816023.937 * * * * [misc]progress: [ 3 / 24 ] simplifiying candidate # 1545816023.937 * * * * [misc]progress: [ 4 / 24 ] simplifiying candidate # 1545816023.937 * * * * [misc]progress: [ 5 / 24 ] simplifiying candidate # 1545816023.937 * * * * [misc]progress: [ 6 / 24 ] simplifiying candidate # 1545816023.937 * * * * [misc]progress: [ 7 / 24 ] simplifiying candidate # 1545816023.937 * * * * [misc]progress: [ 8 / 24 ] simplifiying candidate # 1545816023.937 * * * * [misc]progress: [ 9 / 24 ] simplifiying candidate # 1545816023.937 * * * * [misc]progress: [ 10 / 24 ] simplifiying candidate # 1545816023.937 * * * * [misc]progress: [ 11 / 24 ] simplifiying candidate # 1545816023.937 * * * * [misc]progress: [ 12 / 24 ] simplifiying candidate # 1545816023.937 * * * * [misc]progress: [ 13 / 24 ] simplifiying candidate # 1545816023.937 * * * * [misc]progress: [ 14 / 24 ] simplifiying candidate # 1545816023.937 * * * * [misc]progress: [ 15 / 24 ] simplifiying candidate # 1545816023.937 * * * * [misc]progress: [ 16 / 24 ] simplifiying candidate # 1545816023.937 * * * * [misc]progress: [ 17 / 24 ] simplifiying candidate # 1545816023.937 * * * * [misc]progress: [ 18 / 24 ] simplifiying candidate # 1545816023.937 * * * * [misc]progress: [ 19 / 24 ] simplifiying candidate # 1545816023.938 * [enter]simplify: Simplifying (* 0.12900613773279798 (pow x 3)) 1545816023.938 * * [misc]simplify: iters left: 3 (5 enodes) 1545816023.939 * * [misc]simplify: iters left: 2 (9 enodes) 1545816023.940 * * [misc]simplify: iters left: 1 (17 enodes) 1545816023.943 * [exit]simplify: Simplified to (* (* 0.12900613773279798 x) (* x x)) 1545816023.943 * [misc]simplify: Simplified (2 2) to (λ (x) (- (* 0.954929658551372 x) (* (* 0.12900613773279798 x) (* x x)))) 1545816023.943 * * * * [misc]progress: [ 20 / 24 ] simplifiying candidate # 1545816023.943 * [enter]simplify: Simplifying (* 0.12900613773279798 (pow x 3)) 1545816023.943 * * [misc]simplify: iters left: 3 (5 enodes) 1545816023.944 * * [misc]simplify: iters left: 2 (9 enodes) 1545816023.946 * * [misc]simplify: iters left: 1 (17 enodes) 1545816023.948 * [exit]simplify: Simplified to (* (* 0.12900613773279798 x) (* x x)) 1545816023.948 * [misc]simplify: Simplified (2 2) to (λ (x) (- (* 0.954929658551372 x) (* (* 0.12900613773279798 x) (* x x)))) 1545816023.948 * * * * [misc]progress: [ 21 / 24 ] simplifiying candidate # 1545816023.949 * [enter]simplify: Simplifying (* 0.12900613773279798 (pow x 3)) 1545816023.949 * * [misc]simplify: iters left: 3 (5 enodes) 1545816023.950 * * [misc]simplify: iters left: 2 (9 enodes) 1545816023.951 * * [misc]simplify: iters left: 1 (17 enodes) 1545816023.954 * [exit]simplify: Simplified to (* (* 0.12900613773279798 x) (* x x)) 1545816023.954 * [misc]simplify: Simplified (2 2) to (λ (x) (- (* 0.954929658551372 x) (* (* 0.12900613773279798 x) (* x x)))) 1545816023.954 * * * * [misc]progress: [ 22 / 24 ] simplifiying candidate # 1545816023.954 * [enter]simplify: Simplifying (* 0.12900613773279798 (pow x 2)) 1545816023.954 * * [misc]simplify: iters left: 3 (5 enodes) 1545816023.955 * * [misc]simplify: iters left: 2 (7 enodes) 1545816023.956 * * [misc]simplify: iters left: 1 (11 enodes) 1545816023.957 * [exit]simplify: Simplified to (* (* x x) 0.12900613773279798) 1545816023.958 * [misc]simplify: Simplified (2 2 1) to (λ (x) (- (* 0.954929658551372 x) (* (* (* x x) 0.12900613773279798) x))) 1545816023.958 * * * * [misc]progress: [ 23 / 24 ] simplifiying candidate # 1545816023.958 * [enter]simplify: Simplifying (* 0.12900613773279798 (pow x 2)) 1545816023.958 * * [misc]simplify: iters left: 3 (5 enodes) 1545816023.959 * * [misc]simplify: iters left: 2 (7 enodes) 1545816023.962 * * [misc]simplify: iters left: 1 (11 enodes) 1545816023.963 * [exit]simplify: Simplified to (* (* x x) 0.12900613773279798) 1545816023.963 * [misc]simplify: Simplified (2 2 1) to (λ (x) (- (* 0.954929658551372 x) (* (* (* x x) 0.12900613773279798) x))) 1545816023.963 * * * * [misc]progress: [ 24 / 24 ] simplifiying candidate # 1545816023.964 * [enter]simplify: Simplifying (* 0.12900613773279798 (pow x 2)) 1545816023.964 * * [misc]simplify: iters left: 3 (5 enodes) 1545816023.964 * * [misc]simplify: iters left: 2 (7 enodes) 1545816023.965 * * [misc]simplify: iters left: 1 (11 enodes) 1545816023.967 * [exit]simplify: Simplified to (* (* x x) 0.12900613773279798) 1545816023.967 * [misc]simplify: Simplified (2 2 1) to (λ (x) (- (* 0.954929658551372 x) (* (* (* x x) 0.12900613773279798) x))) 1545816023.967 * * * [misc]progress: adding candidates to table 1545816024.256 * [misc]progress: [Phase 3 of 3] Extracting. 1545816024.256 * * [misc]regime: Finding splitpoints for: (# # # # # #) 1545816024.257 * * * [misc]regime-changes: Trying 2 branch expressions: (x (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x)))) 1545816024.258 * * * * [misc]regimes: Trying to branch on x from (# # # # # #) 1545816024.296 * * * * [misc]regimes: Trying to branch on (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x))) from (# # # # # #) 1545816024.358 * * * [misc]regime: Found split indices: #