1538645697.990 * [misc]progress: [Phase 1 of 3] Setting up. 1538645697.991 * * * [misc]progress: [1/2] Preparing points 1538645697.992 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538645698.124 * * * * [misc]points: Filtering points with unrepresentable outputs 1538645698.124 * * * * [misc]points: Sampling 169 additional inputs, on iter 1 have 87 / 256 1538645698.149 * * * * [misc]points: Filtering points with unrepresentable outputs 1538645698.149 * * * * [misc]points: Sampling 97 additional inputs, on iter 2 have 159 / 256 1538645698.164 * * * * [misc]points: Filtering points with unrepresentable outputs 1538645698.165 * * * * [misc]points: Sampling 59 additional inputs, on iter 3 have 197 / 256 1538645698.174 * * * * [misc]points: Filtering points with unrepresentable outputs 1538645698.174 * * * * [misc]points: Sampling 34 additional inputs, on iter 4 have 222 / 256 1538645698.180 * * * * [misc]points: Filtering points with unrepresentable outputs 1538645698.180 * * * * [misc]points: Sampling 22 additional inputs, on iter 5 have 234 / 256 1538645698.184 * * * * [misc]points: Filtering points with unrepresentable outputs 1538645698.184 * * * * [misc]points: Sampling 16 additional inputs, on iter 6 have 240 / 256 1538645698.189 * * * * [misc]points: Filtering points with unrepresentable outputs 1538645698.189 * * * * [misc]points: Sampling 10 additional inputs, on iter 7 have 246 / 256 1538645698.193 * * * * [misc]points: Filtering points with unrepresentable outputs 1538645698.193 * * * * [misc]points: Sampling 6 additional inputs, on iter 8 have 250 / 256 1538645698.196 * * * * [misc]points: Filtering points with unrepresentable outputs 1538645698.196 * * * * [misc]points: Sampling 4 additional inputs, on iter 9 have 252 / 256 1538645698.199 * * * * [misc]points: Filtering points with unrepresentable outputs 1538645698.199 * * * * [misc]points: Sampling 4 additional inputs, on iter 10 have 254 / 256 1538645698.201 * * * * [misc]points: Filtering points with unrepresentable outputs 1538645698.201 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 255 / 256 1538645698.203 * * * * [misc]points: Filtering points with unrepresentable outputs 1538645698.204 * * * * [exit]points: Sampled 256 points with exact outputs 1538645698.204 * * * [misc]progress: [2/2] Setting up program. 1538645698.256 * [misc]progress: [Phase 2 of 3] Improving. 1538645698.257 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1538645698.259 * * [misc]simplify: iters left: 3 (6 enodes) 1538645698.268 * * [misc]simplify: iters left: 2 (8 enodes) 1538645698.271 * * [misc]simplify: iters left: 1 (9 enodes) 1538645698.275 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1538645698.293 * * [misc]progress: iteration 1 / 4 1538645698.293 * * * [misc]progress: picking best candidate 1538645698.297 * * * * [misc]pick: Picked # 1538645698.297 * * * [misc]progress: localizing error 1538645698.315 * * * [misc]progress: generating rewritten candidates 1538645698.315 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1538645698.367 * * * [misc]progress: generating series expansions 1538645698.367 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1538645698.373 * [misc]backup-simplify: Simplify (- (pow x 4) (pow y 4)) into (- (pow x 4) (pow y 4)) 1538645698.373 * [misc]approximate: Taking taylor expansion of (- (pow x 4) (pow y 4)) in (x y) around 0 1538645698.374 * [misc]taylor: Taking taylor expansion of (- (pow x 4) (pow y 4)) in y 1538645698.374 * [misc]taylor: Taking taylor expansion of (pow x 4) in y 1538645698.374 * [misc]taylor: Taking taylor expansion of x in y 1538645698.374 * [misc]backup-simplify: Simplify x into x 1538645698.374 * [misc]taylor: Taking taylor expansion of (pow y 4) in y 1538645698.374 * [misc]taylor: Taking taylor expansion of y in y 1538645698.375 * [misc]backup-simplify: Simplify 0 into 0 1538645698.375 * [misc]backup-simplify: Simplify 1 into 1 1538645698.375 * [misc]taylor: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x 1538645698.375 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1538645698.375 * [misc]taylor: Taking taylor expansion of x in x 1538645698.375 * [misc]backup-simplify: Simplify 0 into 0 1538645698.375 * [misc]backup-simplify: Simplify 1 into 1 1538645698.375 * [misc]taylor: Taking taylor expansion of (pow y 4) in x 1538645698.375 * [misc]taylor: Taking taylor expansion of y in x 1538645698.375 * [misc]backup-simplify: Simplify y into y 1538645698.375 * [misc]taylor: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x 1538645698.375 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1538645698.375 * [misc]taylor: Taking taylor expansion of x in x 1538645698.375 * [misc]backup-simplify: Simplify 0 into 0 1538645698.375 * [misc]backup-simplify: Simplify 1 into 1 1538645698.375 * [misc]taylor: Taking taylor expansion of (pow y 4) in x 1538645698.375 * [misc]taylor: Taking taylor expansion of y in x 1538645698.375 * [misc]backup-simplify: Simplify y into y 1538645698.376 * [misc]backup-simplify: Simplify (* y y) into (pow y 2) 1538645698.376 * [misc]backup-simplify: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1538645698.376 * [misc]backup-simplify: Simplify (- (pow y 4)) into (- (pow y 4)) 1538645698.376 * [misc]backup-simplify: Simplify (+ 0 (- (pow y 4))) into (- (pow y 4)) 1538645698.376 * [misc]taylor: Taking taylor expansion of (- (pow y 4)) in y 1538645698.376 * [misc]taylor: Taking taylor expansion of (pow y 4) in y 1538645698.376 * [misc]taylor: Taking taylor expansion of y in y 1538645698.376 * [misc]backup-simplify: Simplify 0 into 0 1538645698.376 * [misc]backup-simplify: Simplify 1 into 1 1538645698.376 * [misc]backup-simplify: Simplify (+ (* y 0) (* 0 y)) into 0 1538645698.376 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0 1538645698.377 * [misc]backup-simplify: Simplify (- 0) into 0 1538645698.377 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538645698.377 * [misc]taylor: Taking taylor expansion of 0 in y 1538645698.377 * [misc]backup-simplify: Simplify 0 into 0 1538645698.377 * [misc]backup-simplify: Simplify 0 into 0 1538645698.377 * [misc]backup-simplify: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 1538645698.377 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 1538645698.378 * [misc]backup-simplify: Simplify (- 0) into 0 1538645698.378 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538645698.378 * [misc]taylor: Taking taylor expansion of 0 in y 1538645698.378 * [misc]backup-simplify: Simplify 0 into 0 1538645698.378 * [misc]backup-simplify: Simplify 0 into 0 1538645698.378 * [misc]backup-simplify: Simplify 0 into 0 1538645698.378 * [misc]backup-simplify: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 1538645698.378 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0 1538645698.378 * [misc]backup-simplify: Simplify (- 0) into 0 1538645698.379 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538645698.379 * [misc]taylor: Taking taylor expansion of 0 in y 1538645698.379 * [misc]backup-simplify: Simplify 0 into 0 1538645698.379 * [misc]backup-simplify: Simplify 0 into 0 1538645698.379 * [misc]backup-simplify: Simplify 0 into 0 1538645698.379 * [misc]backup-simplify: Simplify 0 into 0 1538645698.379 * [misc]backup-simplify: Simplify 0 into 0 1538645698.379 * [misc]backup-simplify: Simplify (- (pow (/ 1 x) 4) (pow (/ 1 y) 4)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1538645698.379 * [misc]approximate: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0 1538645698.379 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y 1538645698.379 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in y 1538645698.379 * [misc]taylor: Taking taylor expansion of (pow x 4) in y 1538645698.379 * [misc]taylor: Taking taylor expansion of x in y 1538645698.379 * [misc]backup-simplify: Simplify x into x 1538645698.380 * [misc]backup-simplify: Simplify (* x x) into (pow x 2) 1538645698.380 * [misc]backup-simplify: Simplify (* (pow x 2) (pow x 2)) into (pow x 4) 1538645698.380 * [misc]backup-simplify: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4)) 1538645698.380 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in y 1538645698.380 * [misc]taylor: Taking taylor expansion of (pow y 4) in y 1538645698.380 * [misc]taylor: Taking taylor expansion of y in y 1538645698.380 * [misc]backup-simplify: Simplify 0 into 0 1538645698.380 * [misc]backup-simplify: Simplify 1 into 1 1538645698.380 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645698.380 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645698.380 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645698.380 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 1538645698.380 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1538645698.380 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1538645698.380 * [misc]taylor: Taking taylor expansion of x in x 1538645698.380 * [misc]backup-simplify: Simplify 0 into 0 1538645698.380 * [misc]backup-simplify: Simplify 1 into 1 1538645698.380 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645698.380 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645698.381 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645698.381 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in x 1538645698.381 * [misc]taylor: Taking taylor expansion of (pow y 4) in x 1538645698.381 * [misc]taylor: Taking taylor expansion of y in x 1538645698.381 * [misc]backup-simplify: Simplify y into y 1538645698.381 * [misc]backup-simplify: Simplify (* y y) into (pow y 2) 1538645698.381 * [misc]backup-simplify: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1538645698.381 * [misc]backup-simplify: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 1538645698.381 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 1538645698.381 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1538645698.381 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1538645698.381 * [misc]taylor: Taking taylor expansion of x in x 1538645698.381 * [misc]backup-simplify: Simplify 0 into 0 1538645698.381 * [misc]backup-simplify: Simplify 1 into 1 1538645698.381 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645698.381 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645698.381 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645698.381 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in x 1538645698.381 * [misc]taylor: Taking taylor expansion of (pow y 4) in x 1538645698.381 * [misc]taylor: Taking taylor expansion of y in x 1538645698.381 * [misc]backup-simplify: Simplify y into y 1538645698.381 * [misc]backup-simplify: Simplify (* y y) into (pow y 2) 1538645698.381 * [misc]backup-simplify: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1538645698.381 * [misc]backup-simplify: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 1538645698.382 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538645698.382 * [misc]taylor: Taking taylor expansion of 1 in y 1538645698.382 * [misc]backup-simplify: Simplify 1 into 1 1538645698.382 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645698.382 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645698.382 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538645698.382 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538645698.382 * [misc]taylor: Taking taylor expansion of 0 in y 1538645698.382 * [misc]backup-simplify: Simplify 0 into 0 1538645698.382 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645698.383 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645698.383 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645698.383 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538645698.383 * [misc]taylor: Taking taylor expansion of 0 in y 1538645698.383 * [misc]backup-simplify: Simplify 0 into 0 1538645698.383 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538645698.383 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538645698.384 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645698.384 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538645698.384 * [misc]taylor: Taking taylor expansion of 0 in y 1538645698.384 * [misc]backup-simplify: Simplify 0 into 0 1538645698.384 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538645698.384 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538645698.385 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645698.385 * [misc]backup-simplify: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4))) 1538645698.385 * [misc]backup-simplify: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4))) 1538645698.385 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow y 4))) in y 1538645698.385 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in y 1538645698.385 * [misc]taylor: Taking taylor expansion of (pow y 4) in y 1538645698.385 * [misc]taylor: Taking taylor expansion of y in y 1538645698.385 * [misc]backup-simplify: Simplify 0 into 0 1538645698.385 * [misc]backup-simplify: Simplify 1 into 1 1538645698.385 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645698.385 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645698.385 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645698.385 * [misc]backup-simplify: Simplify (- 1) into -1 1538645698.385 * [misc]backup-simplify: Simplify -1 into -1 1538645698.386 * [misc]backup-simplify: Simplify 1 into 1 1538645698.386 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538645698.386 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538645698.387 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645698.387 * [misc]backup-simplify: Simplify (+ (* y 0) (* 0 y)) into 0 1538645698.387 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0 1538645698.387 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0 1538645698.387 * [misc]backup-simplify: Simplify (- 0) into 0 1538645698.387 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538645698.387 * [misc]taylor: Taking taylor expansion of 0 in y 1538645698.387 * [misc]backup-simplify: Simplify 0 into 0 1538645698.388 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645698.388 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645698.388 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538645698.388 * [misc]backup-simplify: Simplify (- 0) into 0 1538645698.388 * [misc]backup-simplify: Simplify 0 into 0 1538645698.388 * [misc]backup-simplify: Simplify 0 into 0 1538645698.388 * [misc]backup-simplify: Simplify 0 into 0 1538645698.389 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538645698.389 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538645698.390 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645698.390 * [misc]backup-simplify: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 1538645698.391 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 1538645698.391 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0 1538645698.391 * [misc]backup-simplify: Simplify (- 0) into 0 1538645698.391 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538645698.391 * [misc]taylor: Taking taylor expansion of 0 in y 1538645698.391 * [misc]backup-simplify: Simplify 0 into 0 1538645698.392 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645698.392 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645698.392 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645698.393 * [misc]backup-simplify: Simplify (- 0) into 0 1538645698.393 * [misc]backup-simplify: Simplify 0 into 0 1538645698.393 * [misc]backup-simplify: Simplify 0 into 0 1538645698.393 * [misc]backup-simplify: Simplify 0 into 0 1538645698.393 * [misc]backup-simplify: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 4)) (* -1 (pow (* (/ 1 (/ 1 y)) 1) 4))) into (- (pow x 4) (pow y 4)) 1538645698.394 * [misc]backup-simplify: Simplify (- (pow (/ 1 (- x)) 4) (pow (/ 1 (- y)) 4)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1538645698.394 * [misc]approximate: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0 1538645698.394 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y 1538645698.394 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in y 1538645698.394 * [misc]taylor: Taking taylor expansion of (pow x 4) in y 1538645698.394 * [misc]taylor: Taking taylor expansion of x in y 1538645698.394 * [misc]backup-simplify: Simplify x into x 1538645698.394 * [misc]backup-simplify: Simplify (* x x) into (pow x 2) 1538645698.394 * [misc]backup-simplify: Simplify (* (pow x 2) (pow x 2)) into (pow x 4) 1538645698.395 * [misc]backup-simplify: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4)) 1538645698.395 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in y 1538645698.395 * [misc]taylor: Taking taylor expansion of (pow y 4) in y 1538645698.395 * [misc]taylor: Taking taylor expansion of y in y 1538645698.395 * [misc]backup-simplify: Simplify 0 into 0 1538645698.395 * [misc]backup-simplify: Simplify 1 into 1 1538645698.395 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645698.395 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645698.395 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645698.395 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 1538645698.395 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1538645698.395 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1538645698.395 * [misc]taylor: Taking taylor expansion of x in x 1538645698.395 * [misc]backup-simplify: Simplify 0 into 0 1538645698.395 * [misc]backup-simplify: Simplify 1 into 1 1538645698.396 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645698.396 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645698.396 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645698.396 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in x 1538645698.396 * [misc]taylor: Taking taylor expansion of (pow y 4) in x 1538645698.396 * [misc]taylor: Taking taylor expansion of y in x 1538645698.396 * [misc]backup-simplify: Simplify y into y 1538645698.396 * [misc]backup-simplify: Simplify (* y y) into (pow y 2) 1538645698.396 * [misc]backup-simplify: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1538645698.396 * [misc]backup-simplify: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 1538645698.396 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 1538645698.396 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1538645698.396 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1538645698.396 * [misc]taylor: Taking taylor expansion of x in x 1538645698.396 * [misc]backup-simplify: Simplify 0 into 0 1538645698.396 * [misc]backup-simplify: Simplify 1 into 1 1538645698.397 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645698.397 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645698.397 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645698.397 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in x 1538645698.397 * [misc]taylor: Taking taylor expansion of (pow y 4) in x 1538645698.397 * [misc]taylor: Taking taylor expansion of y in x 1538645698.397 * [misc]backup-simplify: Simplify y into y 1538645698.397 * [misc]backup-simplify: Simplify (* y y) into (pow y 2) 1538645698.397 * [misc]backup-simplify: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1538645698.398 * [misc]backup-simplify: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 1538645698.398 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538645698.398 * [misc]taylor: Taking taylor expansion of 1 in y 1538645698.398 * [misc]backup-simplify: Simplify 1 into 1 1538645698.398 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645698.398 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645698.399 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538645698.399 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538645698.399 * [misc]taylor: Taking taylor expansion of 0 in y 1538645698.399 * [misc]backup-simplify: Simplify 0 into 0 1538645698.399 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645698.399 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645698.400 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645698.400 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538645698.400 * [misc]taylor: Taking taylor expansion of 0 in y 1538645698.400 * [misc]backup-simplify: Simplify 0 into 0 1538645698.400 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538645698.401 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538645698.401 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645698.401 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538645698.401 * [misc]taylor: Taking taylor expansion of 0 in y 1538645698.401 * [misc]backup-simplify: Simplify 0 into 0 1538645698.402 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538645698.402 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538645698.402 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645698.403 * [misc]backup-simplify: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4))) 1538645698.403 * [misc]backup-simplify: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4))) 1538645698.403 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow y 4))) in y 1538645698.403 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in y 1538645698.403 * [misc]taylor: Taking taylor expansion of (pow y 4) in y 1538645698.403 * [misc]taylor: Taking taylor expansion of y in y 1538645698.403 * [misc]backup-simplify: Simplify 0 into 0 1538645698.403 * [misc]backup-simplify: Simplify 1 into 1 1538645698.403 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645698.403 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645698.403 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645698.404 * [misc]backup-simplify: Simplify (- 1) into -1 1538645698.404 * [misc]backup-simplify: Simplify -1 into -1 1538645698.404 * [misc]backup-simplify: Simplify 1 into 1 1538645698.404 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538645698.405 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538645698.405 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645698.405 * [misc]backup-simplify: Simplify (+ (* y 0) (* 0 y)) into 0 1538645698.405 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0 1538645698.406 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0 1538645698.406 * [misc]backup-simplify: Simplify (- 0) into 0 1538645698.406 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538645698.406 * [misc]taylor: Taking taylor expansion of 0 in y 1538645698.406 * [misc]backup-simplify: Simplify 0 into 0 1538645698.406 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645698.406 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645698.407 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538645698.407 * [misc]backup-simplify: Simplify (- 0) into 0 1538645698.407 * [misc]backup-simplify: Simplify 0 into 0 1538645698.407 * [misc]backup-simplify: Simplify 0 into 0 1538645698.407 * [misc]backup-simplify: Simplify 0 into 0 1538645698.408 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538645698.408 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538645698.409 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645698.409 * [misc]backup-simplify: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 1538645698.409 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 1538645698.409 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0 1538645698.410 * [misc]backup-simplify: Simplify (- 0) into 0 1538645698.410 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538645698.410 * [misc]taylor: Taking taylor expansion of 0 in y 1538645698.410 * [misc]backup-simplify: Simplify 0 into 0 1538645698.410 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645698.410 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645698.411 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645698.411 * [misc]backup-simplify: Simplify (- 0) into 0 1538645698.411 * [misc]backup-simplify: Simplify 0 into 0 1538645698.411 * [misc]backup-simplify: Simplify 0 into 0 1538645698.411 * [misc]backup-simplify: Simplify 0 into 0 1538645698.412 * [misc]backup-simplify: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 4)) (* -1 (pow (* (/ 1 (/ 1 (- y))) 1) 4))) into (- (pow x 4) (pow y 4)) 1538645698.412 * * * [misc]progress: simplifying candidates 1538645698.412 * * * * [misc]progress: [ 1 / 31 ] simplifiying candidate # 1538645698.413 * [enter]simplify: Simplifying (fma (* (cbrt (pow x 4)) (cbrt (pow x 4))) (cbrt (pow x 4)) (- (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4)))))) 1538645698.414 * * [misc]simplify: iters left: 6 (12 enodes) 1538645698.420 * * [misc]simplify: iters left: 5 (21 enodes) 1538645698.424 * * [misc]simplify: iters left: 4 (28 enodes) 1538645698.429 * * [misc]simplify: iters left: 3 (34 enodes) 1538645698.434 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1538645698.434 * [misc]simplify: Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (cbrt (pow y 4))) (* (cbrt (pow y 4)) (cbrt (pow y 4))) (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4))))))) 1538645698.434 * [enter]simplify: Simplifying (fma (- (cbrt (pow y 4))) (* (cbrt (pow y 4)) (cbrt (pow y 4))) (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4))))) 1538645698.435 * * [misc]simplify: iters left: 6 (8 enodes) 1538645698.438 * * [misc]simplify: iters left: 5 (13 enodes) 1538645698.444 * * [misc]simplify: iters left: 4 (20 enodes) 1538645698.454 * * [misc]simplify: iters left: 3 (39 enodes) 1538645698.475 * * [misc]simplify: iters left: 2 (47 enodes) 1538645698.483 * [exit]simplify: Simplified to 0 1538645698.483 * [misc]simplify: Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) 0)) 1538645698.483 * * * * [misc]progress: [ 2 / 31 ] simplifiying candidate # 1538645698.484 * [enter]simplify: Simplifying (fma (* (cbrt (pow x 4)) (cbrt (pow x 4))) (cbrt (pow x 4)) (- (* (sqrt (pow y 4)) (sqrt (pow y 4))))) 1538645698.485 * * [misc]simplify: iters left: 6 (11 enodes) 1538645698.490 * * [misc]simplify: iters left: 5 (16 enodes) 1538645698.495 * * [misc]simplify: iters left: 4 (20 enodes) 1538645698.502 * * [misc]simplify: iters left: 3 (25 enodes) 1538645698.509 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1538645698.509 * [misc]simplify: Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (sqrt (pow y 4))) (sqrt (pow y 4)) (* (sqrt (pow y 4)) (sqrt (pow y 4)))))) 1538645698.510 * [enter]simplify: Simplifying (fma (- (sqrt (pow y 4))) (sqrt (pow y 4)) (* (sqrt (pow y 4)) (sqrt (pow y 4)))) 1538645698.510 * * [misc]simplify: iters left: 5 (7 enodes) 1538645698.513 * * [misc]simplify: iters left: 4 (9 enodes) 1538645698.517 * * [misc]simplify: iters left: 3 (15 enodes) 1538645698.523 * * [misc]simplify: iters left: 2 (21 enodes) 1538645698.529 * * [misc]simplify: iters left: 1 (23 enodes) 1538645698.533 * [exit]simplify: Simplified to 0 1538645698.533 * [misc]simplify: Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) 0)) 1538645698.533 * * * * [misc]progress: [ 3 / 31 ] simplifiying candidate # 1538645698.533 * [enter]simplify: Simplifying (fma (* (cbrt (pow x 4)) (cbrt (pow x 4))) (cbrt (pow x 4)) (- (* (pow y 4) 1))) 1538645698.534 * * [misc]simplify: iters left: 6 (11 enodes) 1538645698.540 * * [misc]simplify: iters left: 5 (21 enodes) 1538645698.546 * * [misc]simplify: iters left: 4 (28 enodes) 1538645698.553 * * [misc]simplify: iters left: 3 (39 enodes) 1538645698.557 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1538645698.558 * [misc]simplify: Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (pow y 4)) 1 (* (pow y 4) 1)))) 1538645698.558 * [enter]simplify: Simplifying (fma (- (pow y 4)) 1 (* (pow y 4) 1)) 1538645698.558 * * [misc]simplify: iters left: 4 (7 enodes) 1538645698.560 * * [misc]simplify: iters left: 3 (12 enodes) 1538645698.563 * * [misc]simplify: iters left: 2 (22 enodes) 1538645698.568 * * [misc]simplify: iters left: 1 (31 enodes) 1538645698.572 * [exit]simplify: Simplified to (fma (pow y 4) -1 (pow y 4)) 1538645698.572 * [misc]simplify: Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (pow y 4) -1 (pow y 4)))) 1538645698.572 * * * * [misc]progress: [ 4 / 31 ] simplifiying candidate # 1538645698.572 * [enter]simplify: Simplifying (fma (sqrt (pow x 4)) (sqrt (pow x 4)) (- (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4)))))) 1538645698.573 * * [misc]simplify: iters left: 6 (11 enodes) 1538645698.575 * * [misc]simplify: iters left: 5 (20 enodes) 1538645698.579 * * [misc]simplify: iters left: 4 (26 enodes) 1538645698.587 * * [misc]simplify: iters left: 3 (31 enodes) 1538645698.590 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1538645698.590 * [misc]simplify: Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (cbrt (pow y 4))) (* (cbrt (pow y 4)) (cbrt (pow y 4))) (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4))))))) 1538645698.591 * [enter]simplify: Simplifying (fma (- (cbrt (pow y 4))) (* (cbrt (pow y 4)) (cbrt (pow y 4))) (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4))))) 1538645698.591 * * [misc]simplify: iters left: 6 (8 enodes) 1538645698.593 * * [misc]simplify: iters left: 5 (13 enodes) 1538645698.597 * * [misc]simplify: iters left: 4 (20 enodes) 1538645698.607 * * [misc]simplify: iters left: 3 (39 enodes) 1538645698.621 * * [misc]simplify: iters left: 2 (47 enodes) 1538645698.629 * [exit]simplify: Simplified to 0 1538645698.630 * [misc]simplify: Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) 0)) 1538645698.630 * * * * [misc]progress: [ 5 / 31 ] simplifiying candidate # 1538645698.630 * [enter]simplify: Simplifying (fma (sqrt (pow x 4)) (sqrt (pow x 4)) (- (* (sqrt (pow y 4)) (sqrt (pow y 4))))) 1538645698.631 * * [misc]simplify: iters left: 6 (10 enodes) 1538645698.635 * * [misc]simplify: iters left: 5 (15 enodes) 1538645698.641 * * [misc]simplify: iters left: 4 (18 enodes) 1538645698.647 * * [misc]simplify: iters left: 3 (24 enodes) 1538645698.654 * * [misc]simplify: iters left: 2 (27 enodes) 1538645698.660 * * [misc]simplify: iters left: 1 (42 enodes) 1538645698.670 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1538645698.670 * [misc]simplify: Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (sqrt (pow y 4))) (sqrt (pow y 4)) (* (sqrt (pow y 4)) (sqrt (pow y 4)))))) 1538645698.671 * [enter]simplify: Simplifying (fma (- (sqrt (pow y 4))) (sqrt (pow y 4)) (* (sqrt (pow y 4)) (sqrt (pow y 4)))) 1538645698.671 * * [misc]simplify: iters left: 5 (7 enodes) 1538645698.672 * * [misc]simplify: iters left: 4 (9 enodes) 1538645698.675 * * [misc]simplify: iters left: 3 (15 enodes) 1538645698.678 * * [misc]simplify: iters left: 2 (21 enodes) 1538645698.681 * * [misc]simplify: iters left: 1 (23 enodes) 1538645698.683 * [exit]simplify: Simplified to 0 1538645698.683 * [misc]simplify: Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) 0)) 1538645698.683 * * * * [misc]progress: [ 6 / 31 ] simplifiying candidate # 1538645698.683 * [enter]simplify: Simplifying (fma (sqrt (pow x 4)) (sqrt (pow x 4)) (- (* (pow y 4) 1))) 1538645698.684 * * [misc]simplify: iters left: 6 (10 enodes) 1538645698.687 * * [misc]simplify: iters left: 5 (20 enodes) 1538645698.697 * * [misc]simplify: iters left: 4 (26 enodes) 1538645698.708 * * [misc]simplify: iters left: 3 (35 enodes) 1538645698.716 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1538645698.716 * [misc]simplify: Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (pow y 4)) 1 (* (pow y 4) 1)))) 1538645698.716 * [enter]simplify: Simplifying (fma (- (pow y 4)) 1 (* (pow y 4) 1)) 1538645698.717 * * [misc]simplify: iters left: 4 (7 enodes) 1538645698.720 * * [misc]simplify: iters left: 3 (12 enodes) 1538645698.727 * * [misc]simplify: iters left: 2 (22 enodes) 1538645698.735 * * [misc]simplify: iters left: 1 (31 enodes) 1538645698.743 * [exit]simplify: Simplified to (fma (pow y 4) -1 (pow y 4)) 1538645698.743 * [misc]simplify: Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (pow y 4) -1 (pow y 4)))) 1538645698.743 * * * * [misc]progress: [ 7 / 31 ] simplifiying candidate # 1538645698.743 * [enter]simplify: Simplifying (fma 1 (pow x 4) (- (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4)))))) 1538645698.744 * * [misc]simplify: iters left: 6 (11 enodes) 1538645698.749 * * [misc]simplify: iters left: 5 (22 enodes) 1538645698.758 * * [misc]simplify: iters left: 4 (29 enodes) 1538645698.770 * * [misc]simplify: iters left: 3 (38 enodes) 1538645698.779 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1538645698.779 * [misc]simplify: Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (cbrt (pow y 4))) (* (cbrt (pow y 4)) (cbrt (pow y 4))) (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4))))))) 1538645698.779 * [enter]simplify: Simplifying (fma (- (cbrt (pow y 4))) (* (cbrt (pow y 4)) (cbrt (pow y 4))) (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4))))) 1538645698.780 * * [misc]simplify: iters left: 6 (8 enodes) 1538645698.781 * * [misc]simplify: iters left: 5 (13 enodes) 1538645698.784 * * [misc]simplify: iters left: 4 (20 enodes) 1538645698.790 * * [misc]simplify: iters left: 3 (39 enodes) 1538645698.797 * * [misc]simplify: iters left: 2 (47 enodes) 1538645698.801 * [exit]simplify: Simplified to 0 1538645698.801 * [misc]simplify: Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) 0)) 1538645698.801 * * * * [misc]progress: [ 8 / 31 ] simplifiying candidate # 1538645698.801 * [enter]simplify: Simplifying (fma 1 (pow x 4) (- (* (sqrt (pow y 4)) (sqrt (pow y 4))))) 1538645698.802 * * [misc]simplify: iters left: 6 (10 enodes) 1538645698.804 * * [misc]simplify: iters left: 5 (17 enodes) 1538645698.807 * * [misc]simplify: iters left: 4 (21 enodes) 1538645698.818 * * [misc]simplify: iters left: 3 (28 enodes) 1538645698.824 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1538645698.824 * [misc]simplify: Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (sqrt (pow y 4))) (sqrt (pow y 4)) (* (sqrt (pow y 4)) (sqrt (pow y 4)))))) 1538645698.825 * [enter]simplify: Simplifying (fma (- (sqrt (pow y 4))) (sqrt (pow y 4)) (* (sqrt (pow y 4)) (sqrt (pow y 4)))) 1538645698.825 * * [misc]simplify: iters left: 5 (7 enodes) 1538645698.828 * * [misc]simplify: iters left: 4 (9 enodes) 1538645698.832 * * [misc]simplify: iters left: 3 (15 enodes) 1538645698.838 * * [misc]simplify: iters left: 2 (21 enodes) 1538645698.843 * * [misc]simplify: iters left: 1 (23 enodes) 1538645698.847 * [exit]simplify: Simplified to 0 1538645698.848 * [misc]simplify: Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) 0)) 1538645698.848 * * * * [misc]progress: [ 9 / 31 ] simplifiying candidate # 1538645698.848 * [enter]simplify: Simplifying (fma 1 (pow x 4) (- (* (pow y 4) 1))) 1538645698.849 * * [misc]simplify: iters left: 6 (9 enodes) 1538645698.854 * * [misc]simplify: iters left: 5 (19 enodes) 1538645698.862 * * [misc]simplify: iters left: 4 (26 enodes) 1538645698.874 * * [misc]simplify: iters left: 3 (38 enodes) 1538645698.882 * * [misc]simplify: iters left: 2 (41 enodes) 1538645698.891 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1538645698.891 * [misc]simplify: Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (pow y 4)) 1 (* (pow y 4) 1)))) 1538645698.891 * [enter]simplify: Simplifying (fma (- (pow y 4)) 1 (* (pow y 4) 1)) 1538645698.892 * * [misc]simplify: iters left: 4 (7 enodes) 1538645698.894 * * [misc]simplify: iters left: 3 (12 enodes) 1538645698.900 * * [misc]simplify: iters left: 2 (22 enodes) 1538645698.907 * * [misc]simplify: iters left: 1 (31 enodes) 1538645698.913 * [exit]simplify: Simplified to (fma (pow y 4) -1 (pow y 4)) 1538645698.913 * [misc]simplify: Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (pow y 4) -1 (pow y 4)))) 1538645698.913 * * * * [misc]progress: [ 10 / 31 ] simplifiying candidate # 1538645698.913 * * * * [misc]progress: [ 11 / 31 ] simplifiying candidate # 1538645698.913 * * * * [misc]progress: [ 12 / 31 ] simplifiying candidate # 1538645698.914 * [enter]simplify: Simplifying (* (cbrt (pow x 4)) (cbrt (pow x 4))) 1538645698.914 * * [misc]simplify: iters left: 4 (5 enodes) 1538645698.916 * [exit]simplify: Simplified to (* (cbrt (pow x 4)) (cbrt (pow x 4))) 1538645698.916 * [misc]simplify: Simplified (2 1) to (λ (x y) (fma (* (cbrt (pow x 4)) (cbrt (pow x 4))) (cbrt (pow x 4)) (- (pow y 4)))) 1538645698.916 * * * * [misc]progress: [ 13 / 31 ] simplifiying candidate # 1538645698.916 * [enter]simplify: Simplifying (sqrt (pow x 4)) 1538645698.916 * * [misc]simplify: iters left: 2 (4 enodes) 1538645698.917 * [exit]simplify: Simplified to (sqrt (pow x 4)) 1538645698.918 * [misc]simplify: Simplified (2 1) to (λ (x y) (fma (sqrt (pow x 4)) (sqrt (pow x 4)) (- (pow y 4)))) 1538645698.918 * * * * [misc]progress: [ 14 / 31 ] simplifiying candidate # 1538645698.918 * * * * [misc]progress: [ 15 / 31 ] simplifiying candidate # 1538645698.918 * [enter]simplify: Simplifying (/ (exp (pow x 4)) (exp (pow y 4))) 1538645698.919 * * [misc]simplify: iters left: 4 (8 enodes) 1538645698.921 * * [misc]simplify: iters left: 3 (10 enodes) 1538645698.924 * * [misc]simplify: iters left: 2 (12 enodes) 1538645698.928 * * [misc]simplify: iters left: 1 (15 enodes) 1538645698.931 * [exit]simplify: Simplified to (exp (- (pow x 4) (pow y 4))) 1538645698.931 * [misc]simplify: Simplified (2 1) to (λ (x y) (log (exp (- (pow x 4) (pow y 4))))) 1538645698.931 * * * * [misc]progress: [ 16 / 31 ] simplifiying candidate # 1538645698.931 * * * * [misc]progress: [ 17 / 31 ] simplifiying candidate # 1538645698.931 * * * * [misc]progress: [ 18 / 31 ] simplifiying candidate # 1538645698.931 * * * * [misc]progress: [ 19 / 31 ] simplifiying candidate # 1538645698.931 * * * * [misc]progress: [ 20 / 31 ] simplifiying candidate # 1538645698.931 * * * * [misc]progress: [ 21 / 31 ] simplifiying candidate # 1538645698.931 * * * * [misc]progress: [ 22 / 31 ] simplifiying candidate # 1538645698.931 * * * * [misc]progress: [ 23 / 31 ] simplifiying candidate # 1538645698.931 * * * * [misc]progress: [ 24 / 31 ] simplifiying candidate # 1538645698.931 * * * * [misc]progress: [ 25 / 31 ] simplifiying candidate # 1538645698.931 * * * * [misc]progress: [ 26 / 31 ] simplifiying candidate # 1538645698.932 * [enter]simplify: Simplifying (+ (sqrt (pow x 4)) (sqrt (pow y 4))) 1538645698.932 * * [misc]simplify: iters left: 4 (8 enodes) 1538645698.934 * * [misc]simplify: iters left: 3 (9 enodes) 1538645698.935 * [exit]simplify: Simplified to (+ (sqrt (pow x 4)) (sqrt (pow y 4))) 1538645698.935 * [misc]simplify: Simplified (2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538645698.936 * [enter]simplify: Simplifying (- (sqrt (pow x 4)) (sqrt (pow y 4))) 1538645698.936 * * [misc]simplify: iters left: 4 (8 enodes) 1538645698.939 * * [misc]simplify: iters left: 3 (10 enodes) 1538645698.941 * * [misc]simplify: iters left: 2 (11 enodes) 1538645698.943 * [exit]simplify: Simplified to (- (sqrt (pow x 4)) (sqrt (pow y 4))) 1538645698.943 * [misc]simplify: Simplified (2 2) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538645698.943 * * * * [misc]progress: [ 27 / 31 ] simplifiying candidate # 1538645698.943 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1538645698.943 * * [misc]simplify: iters left: 3 (6 enodes) 1538645698.944 * * [misc]simplify: iters left: 2 (8 enodes) 1538645698.946 * * [misc]simplify: iters left: 1 (9 enodes) 1538645698.947 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1538645698.947 * [misc]simplify: Simplified (2 2) to (λ (x y) (* 1 (- (pow x 4) (pow y 4)))) 1538645698.947 * * * * [misc]progress: [ 28 / 31 ] simplifiying candidate # 1538645698.947 * * * * [misc]progress: [ 29 / 31 ] simplifiying candidate # 1538645698.948 * [enter]simplify: Simplifying 0 1538645698.948 * * [misc]simplify: iters left: 0 (1 enodes) 1538645698.948 * [exit]simplify: Simplified to 0 1538645698.948 * [misc]simplify: Simplified (2) to (λ (x y) 0) 1538645698.948 * * * * [misc]progress: [ 30 / 31 ] simplifiying candidate # 1538645698.948 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1538645698.948 * * [misc]simplify: iters left: 3 (6 enodes) 1538645698.949 * * [misc]simplify: iters left: 2 (8 enodes) 1538645698.951 * * [misc]simplify: iters left: 1 (9 enodes) 1538645698.952 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1538645698.952 * [misc]simplify: Simplified (2) to (λ (x y) (- (pow x 4) (pow y 4))) 1538645698.952 * * * * [misc]progress: [ 31 / 31 ] simplifiying candidate # 1538645698.952 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1538645698.953 * * [misc]simplify: iters left: 3 (6 enodes) 1538645698.954 * * [misc]simplify: iters left: 2 (8 enodes) 1538645698.955 * * [misc]simplify: iters left: 1 (9 enodes) 1538645698.957 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1538645698.957 * [misc]simplify: Simplified (2) to (λ (x y) (- (pow x 4) (pow y 4))) 1538645698.957 * * * [misc]progress: adding candidates to table 1538645699.375 * * [misc]progress: iteration 2 / 4 1538645699.375 * * * [misc]progress: picking best candidate 1538645699.396 * * * * [misc]pick: Picked # 1538645699.396 * * * [misc]progress: localizing error 1538645699.431 * * * [misc]progress: generating rewritten candidates 1538645699.431 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 1) 1538645699.440 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1) 1538645699.448 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 2 2) 1538645699.457 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 2) 1538645699.465 * * * [misc]progress: generating series expansions 1538645699.465 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 1) 1538645699.465 * [misc]backup-simplify: Simplify (sqrt (pow x 4)) into (pow x 2) 1538645699.465 * [misc]approximate: Taking taylor expansion of (pow x 2) in (x) around 0 1538645699.465 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538645699.465 * [misc]taylor: Taking taylor expansion of x in x 1538645699.466 * [misc]backup-simplify: Simplify 0 into 0 1538645699.466 * [misc]backup-simplify: Simplify 1 into 1 1538645699.466 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538645699.466 * [misc]taylor: Taking taylor expansion of x in x 1538645699.466 * [misc]backup-simplify: Simplify 0 into 0 1538645699.466 * [misc]backup-simplify: Simplify 1 into 1 1538645699.466 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645699.466 * [misc]backup-simplify: Simplify 1 into 1 1538645699.466 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645699.466 * [misc]backup-simplify: Simplify 0 into 0 1538645699.467 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645699.467 * [misc]backup-simplify: Simplify 0 into 0 1538645699.467 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538645699.467 * [misc]backup-simplify: Simplify 0 into 0 1538645699.468 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538645699.468 * [misc]backup-simplify: Simplify 0 into 0 1538645699.468 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538645699.468 * [misc]backup-simplify: Simplify 0 into 0 1538645699.469 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538645699.469 * [misc]backup-simplify: Simplify 0 into 0 1538645699.469 * [misc]backup-simplify: Simplify (* 1 (pow x 2)) into (pow x 2) 1538645699.469 * [misc]backup-simplify: Simplify (sqrt (pow (/ 1 x) 4)) into (/ 1 (pow x 2)) 1538645699.469 * [misc]approximate: Taking taylor expansion of (/ 1 (pow x 2)) in (x) around 0 1538645699.469 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1538645699.469 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538645699.469 * [misc]taylor: Taking taylor expansion of x in x 1538645699.469 * [misc]backup-simplify: Simplify 0 into 0 1538645699.469 * [misc]backup-simplify: Simplify 1 into 1 1538645699.470 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645699.470 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645699.470 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1538645699.470 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538645699.470 * [misc]taylor: Taking taylor expansion of x in x 1538645699.470 * [misc]backup-simplify: Simplify 0 into 0 1538645699.470 * [misc]backup-simplify: Simplify 1 into 1 1538645699.470 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645699.470 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645699.470 * [misc]backup-simplify: Simplify 1 into 1 1538645699.471 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645699.471 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538645699.471 * [misc]backup-simplify: Simplify 0 into 0 1538645699.471 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645699.471 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.472 * [misc]backup-simplify: Simplify 0 into 0 1538645699.472 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538645699.472 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.472 * [misc]backup-simplify: Simplify 0 into 0 1538645699.473 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538645699.473 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.473 * [misc]backup-simplify: Simplify 0 into 0 1538645699.474 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538645699.474 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.474 * [misc]backup-simplify: Simplify 0 into 0 1538645699.475 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538645699.475 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.475 * [misc]backup-simplify: Simplify 0 into 0 1538645699.476 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 x)) 2)) into (pow x 2) 1538645699.476 * [misc]backup-simplify: Simplify (sqrt (pow (/ 1 (- x)) 4)) into (/ 1 (pow x 2)) 1538645699.476 * [misc]approximate: Taking taylor expansion of (/ 1 (pow x 2)) in (x) around 0 1538645699.476 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1538645699.476 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538645699.476 * [misc]taylor: Taking taylor expansion of x in x 1538645699.476 * [misc]backup-simplify: Simplify 0 into 0 1538645699.476 * [misc]backup-simplify: Simplify 1 into 1 1538645699.476 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645699.476 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645699.476 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1538645699.477 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538645699.477 * [misc]taylor: Taking taylor expansion of x in x 1538645699.477 * [misc]backup-simplify: Simplify 0 into 0 1538645699.477 * [misc]backup-simplify: Simplify 1 into 1 1538645699.477 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645699.477 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645699.477 * [misc]backup-simplify: Simplify 1 into 1 1538645699.477 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645699.478 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538645699.478 * [misc]backup-simplify: Simplify 0 into 0 1538645699.478 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645699.478 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.478 * [misc]backup-simplify: Simplify 0 into 0 1538645699.479 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538645699.479 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.479 * [misc]backup-simplify: Simplify 0 into 0 1538645699.479 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538645699.480 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.480 * [misc]backup-simplify: Simplify 0 into 0 1538645699.480 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538645699.481 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.481 * [misc]backup-simplify: Simplify 0 into 0 1538645699.481 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538645699.483 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.483 * [misc]backup-simplify: Simplify 0 into 0 1538645699.483 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 (- x))) 2)) into (pow x 2) 1538645699.483 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1) 1538645699.483 * [misc]backup-simplify: Simplify (sqrt (pow x 4)) into (pow x 2) 1538645699.484 * [misc]approximate: Taking taylor expansion of (pow x 2) in (x) around 0 1538645699.484 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538645699.484 * [misc]taylor: Taking taylor expansion of x in x 1538645699.484 * [misc]backup-simplify: Simplify 0 into 0 1538645699.484 * [misc]backup-simplify: Simplify 1 into 1 1538645699.484 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538645699.484 * [misc]taylor: Taking taylor expansion of x in x 1538645699.484 * [misc]backup-simplify: Simplify 0 into 0 1538645699.484 * [misc]backup-simplify: Simplify 1 into 1 1538645699.484 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645699.484 * [misc]backup-simplify: Simplify 1 into 1 1538645699.484 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645699.484 * [misc]backup-simplify: Simplify 0 into 0 1538645699.485 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645699.485 * [misc]backup-simplify: Simplify 0 into 0 1538645699.485 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538645699.485 * [misc]backup-simplify: Simplify 0 into 0 1538645699.485 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538645699.486 * [misc]backup-simplify: Simplify 0 into 0 1538645699.486 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538645699.486 * [misc]backup-simplify: Simplify 0 into 0 1538645699.487 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538645699.487 * [misc]backup-simplify: Simplify 0 into 0 1538645699.487 * [misc]backup-simplify: Simplify (* 1 (pow x 2)) into (pow x 2) 1538645699.487 * [misc]backup-simplify: Simplify (sqrt (pow (/ 1 x) 4)) into (/ 1 (pow x 2)) 1538645699.487 * [misc]approximate: Taking taylor expansion of (/ 1 (pow x 2)) in (x) around 0 1538645699.487 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1538645699.487 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538645699.487 * [misc]taylor: Taking taylor expansion of x in x 1538645699.487 * [misc]backup-simplify: Simplify 0 into 0 1538645699.487 * [misc]backup-simplify: Simplify 1 into 1 1538645699.487 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645699.488 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645699.488 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1538645699.488 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538645699.488 * [misc]taylor: Taking taylor expansion of x in x 1538645699.488 * [misc]backup-simplify: Simplify 0 into 0 1538645699.488 * [misc]backup-simplify: Simplify 1 into 1 1538645699.488 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645699.488 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645699.488 * [misc]backup-simplify: Simplify 1 into 1 1538645699.488 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645699.489 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538645699.489 * [misc]backup-simplify: Simplify 0 into 0 1538645699.489 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645699.489 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.489 * [misc]backup-simplify: Simplify 0 into 0 1538645699.490 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538645699.490 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.490 * [misc]backup-simplify: Simplify 0 into 0 1538645699.490 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538645699.491 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.491 * [misc]backup-simplify: Simplify 0 into 0 1538645699.491 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538645699.492 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.492 * [misc]backup-simplify: Simplify 0 into 0 1538645699.492 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538645699.493 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.493 * [misc]backup-simplify: Simplify 0 into 0 1538645699.493 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 x)) 2)) into (pow x 2) 1538645699.493 * [misc]backup-simplify: Simplify (sqrt (pow (/ 1 (- x)) 4)) into (/ 1 (pow x 2)) 1538645699.493 * [misc]approximate: Taking taylor expansion of (/ 1 (pow x 2)) in (x) around 0 1538645699.493 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1538645699.493 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538645699.494 * [misc]taylor: Taking taylor expansion of x in x 1538645699.494 * [misc]backup-simplify: Simplify 0 into 0 1538645699.494 * [misc]backup-simplify: Simplify 1 into 1 1538645699.494 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645699.494 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645699.494 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1538645699.494 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538645699.494 * [misc]taylor: Taking taylor expansion of x in x 1538645699.494 * [misc]backup-simplify: Simplify 0 into 0 1538645699.494 * [misc]backup-simplify: Simplify 1 into 1 1538645699.494 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645699.494 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645699.494 * [misc]backup-simplify: Simplify 1 into 1 1538645699.495 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645699.495 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538645699.495 * [misc]backup-simplify: Simplify 0 into 0 1538645699.495 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645699.495 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.495 * [misc]backup-simplify: Simplify 0 into 0 1538645699.496 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538645699.496 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.496 * [misc]backup-simplify: Simplify 0 into 0 1538645699.497 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538645699.497 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.497 * [misc]backup-simplify: Simplify 0 into 0 1538645699.498 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538645699.498 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.498 * [misc]backup-simplify: Simplify 0 into 0 1538645699.499 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538645699.499 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.499 * [misc]backup-simplify: Simplify 0 into 0 1538645699.500 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 (- x))) 2)) into (pow x 2) 1538645699.500 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 2 2) 1538645699.500 * [misc]backup-simplify: Simplify (sqrt (pow y 4)) into (pow y 2) 1538645699.500 * [misc]approximate: Taking taylor expansion of (pow y 2) in (y) around 0 1538645699.500 * [misc]taylor: Taking taylor expansion of (pow y 2) in y 1538645699.500 * [misc]taylor: Taking taylor expansion of y in y 1538645699.500 * [misc]backup-simplify: Simplify 0 into 0 1538645699.500 * [misc]backup-simplify: Simplify 1 into 1 1538645699.500 * [misc]taylor: Taking taylor expansion of (pow y 2) in y 1538645699.500 * [misc]taylor: Taking taylor expansion of y in y 1538645699.500 * [misc]backup-simplify: Simplify 0 into 0 1538645699.500 * [misc]backup-simplify: Simplify 1 into 1 1538645699.500 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645699.501 * [misc]backup-simplify: Simplify 1 into 1 1538645699.501 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645699.501 * [misc]backup-simplify: Simplify 0 into 0 1538645699.501 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645699.501 * [misc]backup-simplify: Simplify 0 into 0 1538645699.501 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538645699.502 * [misc]backup-simplify: Simplify 0 into 0 1538645699.502 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538645699.502 * [misc]backup-simplify: Simplify 0 into 0 1538645699.502 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538645699.503 * [misc]backup-simplify: Simplify 0 into 0 1538645699.503 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538645699.503 * [misc]backup-simplify: Simplify 0 into 0 1538645699.503 * [misc]backup-simplify: Simplify (* 1 (pow y 2)) into (pow y 2) 1538645699.504 * [misc]backup-simplify: Simplify (sqrt (pow (/ 1 y) 4)) into (/ 1 (pow y 2)) 1538645699.504 * [misc]approximate: Taking taylor expansion of (/ 1 (pow y 2)) in (y) around 0 1538645699.504 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 2)) in y 1538645699.504 * [misc]taylor: Taking taylor expansion of (pow y 2) in y 1538645699.504 * [misc]taylor: Taking taylor expansion of y in y 1538645699.504 * [misc]backup-simplify: Simplify 0 into 0 1538645699.504 * [misc]backup-simplify: Simplify 1 into 1 1538645699.504 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645699.504 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645699.504 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 2)) in y 1538645699.504 * [misc]taylor: Taking taylor expansion of (pow y 2) in y 1538645699.504 * [misc]taylor: Taking taylor expansion of y in y 1538645699.504 * [misc]backup-simplify: Simplify 0 into 0 1538645699.504 * [misc]backup-simplify: Simplify 1 into 1 1538645699.504 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645699.505 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645699.505 * [misc]backup-simplify: Simplify 1 into 1 1538645699.505 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645699.505 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538645699.505 * [misc]backup-simplify: Simplify 0 into 0 1538645699.506 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645699.506 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.506 * [misc]backup-simplify: Simplify 0 into 0 1538645699.506 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538645699.507 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.507 * [misc]backup-simplify: Simplify 0 into 0 1538645699.507 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538645699.507 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.508 * [misc]backup-simplify: Simplify 0 into 0 1538645699.508 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538645699.509 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.509 * [misc]backup-simplify: Simplify 0 into 0 1538645699.509 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538645699.510 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.510 * [misc]backup-simplify: Simplify 0 into 0 1538645699.510 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 y)) 2)) into (pow y 2) 1538645699.510 * [misc]backup-simplify: Simplify (sqrt (pow (/ 1 (- y)) 4)) into (/ 1 (pow y 2)) 1538645699.510 * [misc]approximate: Taking taylor expansion of (/ 1 (pow y 2)) in (y) around 0 1538645699.510 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 2)) in y 1538645699.510 * [misc]taylor: Taking taylor expansion of (pow y 2) in y 1538645699.511 * [misc]taylor: Taking taylor expansion of y in y 1538645699.511 * [misc]backup-simplify: Simplify 0 into 0 1538645699.511 * [misc]backup-simplify: Simplify 1 into 1 1538645699.511 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645699.511 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645699.511 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 2)) in y 1538645699.511 * [misc]taylor: Taking taylor expansion of (pow y 2) in y 1538645699.511 * [misc]taylor: Taking taylor expansion of y in y 1538645699.511 * [misc]backup-simplify: Simplify 0 into 0 1538645699.511 * [misc]backup-simplify: Simplify 1 into 1 1538645699.511 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645699.511 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645699.512 * [misc]backup-simplify: Simplify 1 into 1 1538645699.512 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645699.512 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538645699.512 * [misc]backup-simplify: Simplify 0 into 0 1538645699.512 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645699.513 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.513 * [misc]backup-simplify: Simplify 0 into 0 1538645699.513 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538645699.513 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.514 * [misc]backup-simplify: Simplify 0 into 0 1538645699.514 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538645699.514 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.514 * [misc]backup-simplify: Simplify 0 into 0 1538645699.515 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538645699.515 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.516 * [misc]backup-simplify: Simplify 0 into 0 1538645699.516 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538645699.517 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.517 * [misc]backup-simplify: Simplify 0 into 0 1538645699.517 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 (- y))) 2)) into (pow y 2) 1538645699.517 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 2) 1538645699.517 * [misc]backup-simplify: Simplify (sqrt (pow y 4)) into (pow y 2) 1538645699.517 * [misc]approximate: Taking taylor expansion of (pow y 2) in (y) around 0 1538645699.517 * [misc]taylor: Taking taylor expansion of (pow y 2) in y 1538645699.517 * [misc]taylor: Taking taylor expansion of y in y 1538645699.517 * [misc]backup-simplify: Simplify 0 into 0 1538645699.518 * [misc]backup-simplify: Simplify 1 into 1 1538645699.518 * [misc]taylor: Taking taylor expansion of (pow y 2) in y 1538645699.518 * [misc]taylor: Taking taylor expansion of y in y 1538645699.518 * [misc]backup-simplify: Simplify 0 into 0 1538645699.518 * [misc]backup-simplify: Simplify 1 into 1 1538645699.518 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645699.518 * [misc]backup-simplify: Simplify 1 into 1 1538645699.518 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645699.518 * [misc]backup-simplify: Simplify 0 into 0 1538645699.518 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645699.519 * [misc]backup-simplify: Simplify 0 into 0 1538645699.519 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538645699.519 * [misc]backup-simplify: Simplify 0 into 0 1538645699.519 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538645699.519 * [misc]backup-simplify: Simplify 0 into 0 1538645699.520 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538645699.520 * [misc]backup-simplify: Simplify 0 into 0 1538645699.520 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538645699.521 * [misc]backup-simplify: Simplify 0 into 0 1538645699.521 * [misc]backup-simplify: Simplify (* 1 (pow y 2)) into (pow y 2) 1538645699.521 * [misc]backup-simplify: Simplify (sqrt (pow (/ 1 y) 4)) into (/ 1 (pow y 2)) 1538645699.521 * [misc]approximate: Taking taylor expansion of (/ 1 (pow y 2)) in (y) around 0 1538645699.521 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 2)) in y 1538645699.521 * [misc]taylor: Taking taylor expansion of (pow y 2) in y 1538645699.521 * [misc]taylor: Taking taylor expansion of y in y 1538645699.521 * [misc]backup-simplify: Simplify 0 into 0 1538645699.521 * [misc]backup-simplify: Simplify 1 into 1 1538645699.521 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645699.522 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645699.522 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 2)) in y 1538645699.522 * [misc]taylor: Taking taylor expansion of (pow y 2) in y 1538645699.522 * [misc]taylor: Taking taylor expansion of y in y 1538645699.522 * [misc]backup-simplify: Simplify 0 into 0 1538645699.522 * [misc]backup-simplify: Simplify 1 into 1 1538645699.522 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645699.522 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645699.522 * [misc]backup-simplify: Simplify 1 into 1 1538645699.522 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645699.523 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538645699.523 * [misc]backup-simplify: Simplify 0 into 0 1538645699.523 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645699.523 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.523 * [misc]backup-simplify: Simplify 0 into 0 1538645699.524 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538645699.524 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.524 * [misc]backup-simplify: Simplify 0 into 0 1538645699.525 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538645699.525 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.525 * [misc]backup-simplify: Simplify 0 into 0 1538645699.525 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538645699.526 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.526 * [misc]backup-simplify: Simplify 0 into 0 1538645699.527 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538645699.527 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.527 * [misc]backup-simplify: Simplify 0 into 0 1538645699.528 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 y)) 2)) into (pow y 2) 1538645699.528 * [misc]backup-simplify: Simplify (sqrt (pow (/ 1 (- y)) 4)) into (/ 1 (pow y 2)) 1538645699.528 * [misc]approximate: Taking taylor expansion of (/ 1 (pow y 2)) in (y) around 0 1538645699.528 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 2)) in y 1538645699.528 * [misc]taylor: Taking taylor expansion of (pow y 2) in y 1538645699.528 * [misc]taylor: Taking taylor expansion of y in y 1538645699.528 * [misc]backup-simplify: Simplify 0 into 0 1538645699.528 * [misc]backup-simplify: Simplify 1 into 1 1538645699.528 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645699.528 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645699.528 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 2)) in y 1538645699.528 * [misc]taylor: Taking taylor expansion of (pow y 2) in y 1538645699.529 * [misc]taylor: Taking taylor expansion of y in y 1538645699.529 * [misc]backup-simplify: Simplify 0 into 0 1538645699.529 * [misc]backup-simplify: Simplify 1 into 1 1538645699.529 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645699.529 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645699.529 * [misc]backup-simplify: Simplify 1 into 1 1538645699.529 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645699.529 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538645699.530 * [misc]backup-simplify: Simplify 0 into 0 1538645699.530 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645699.530 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.530 * [misc]backup-simplify: Simplify 0 into 0 1538645699.531 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538645699.531 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.531 * [misc]backup-simplify: Simplify 0 into 0 1538645699.531 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538645699.532 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.532 * [misc]backup-simplify: Simplify 0 into 0 1538645699.532 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538645699.533 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.533 * [misc]backup-simplify: Simplify 0 into 0 1538645699.533 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538645699.534 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645699.534 * [misc]backup-simplify: Simplify 0 into 0 1538645699.534 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 (- y))) 2)) into (pow y 2) 1538645699.534 * * * [misc]progress: simplifying candidates 1538645699.534 * * * * [misc]progress: [ 1 / 68 ] simplifiying candidate # 1538645699.534 * * * * [misc]progress: [ 2 / 68 ] simplifiying candidate # 1538645699.534 * * * * [misc]progress: [ 3 / 68 ] simplifiying candidate # 1538645699.535 * * * * [misc]progress: [ 4 / 68 ] simplifiying candidate # 1538645699.535 * * * * [misc]progress: [ 5 / 68 ] simplifiying candidate # 1538645699.535 * * * * [misc]progress: [ 6 / 68 ] simplifiying candidate # 1538645699.535 * * * * [misc]progress: [ 7 / 68 ] simplifiying candidate # 1538645699.535 * * * * [misc]progress: [ 8 / 68 ] simplifiying candidate # 1538645699.535 * * * * [misc]progress: [ 9 / 68 ] simplifiying candidate # 1538645699.535 * [enter]simplify: Simplifying (sqrt (* (cbrt (pow x 4)) (cbrt (pow x 4)))) 1538645699.536 * * [misc]simplify: iters left: 5 (6 enodes) 1538645699.538 * * [misc]simplify: iters left: 4 (7 enodes) 1538645699.540 * [exit]simplify: Simplified to (fabs (cbrt (pow x 4))) 1538645699.540 * [misc]simplify: Simplified (2 2 1 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* (fabs (cbrt (pow x 4))) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))))) 1538645699.541 * * * * [misc]progress: [ 10 / 68 ] simplifiying candidate # 1538645699.541 * [enter]simplify: Simplifying (sqrt (sqrt (pow x 4))) 1538645699.541 * * [misc]simplify: iters left: 3 (5 enodes) 1538645699.544 * [exit]simplify: Simplified to (sqrt (sqrt (pow x 4))) 1538645699.544 * [misc]simplify: Simplified (2 2 1 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* (sqrt (sqrt (pow x 4))) (sqrt (sqrt (pow x 4)))) (sqrt (pow y 4))))) 1538645699.544 * * * * [misc]progress: [ 11 / 68 ] simplifiying candidate # 1538645699.544 * [enter]simplify: Simplifying (sqrt 1) 1538645699.544 * * [misc]simplify: iters left: 1 (2 enodes) 1538645699.546 * [exit]simplify: Simplified to 1 1538645699.546 * [misc]simplify: Simplified (2 2 1 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* 1 (sqrt (pow x 4))) (sqrt (pow y 4))))) 1538645699.546 * * * * [misc]progress: [ 12 / 68 ] simplifiying candidate # 1538645699.546 * * * * [misc]progress: [ 13 / 68 ] simplifiying candidate # 1538645699.546 * [enter]simplify: Simplifying (sqrt (pow x 4)) 1538645699.547 * * [misc]simplify: iters left: 2 (4 enodes) 1538645699.548 * [exit]simplify: Simplified to (sqrt (pow x 4)) 1538645699.548 * [misc]simplify: Simplified (2 2 1 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (fabs (sqrt (pow x 4))) (sqrt (pow y 4))))) 1538645699.548 * * * * [misc]progress: [ 14 / 68 ] simplifiying candidate # 1538645699.548 * * * * [misc]progress: [ 15 / 68 ] simplifiying candidate # 1538645699.548 * * * * [misc]progress: [ 16 / 68 ] simplifiying candidate # 1538645699.548 * * * * [misc]progress: [ 17 / 68 ] simplifiying candidate # 1538645699.548 * * * * [misc]progress: [ 18 / 68 ] simplifiying candidate # 1538645699.548 * * * * [misc]progress: [ 19 / 68 ] simplifiying candidate # 1538645699.548 * * * * [misc]progress: [ 20 / 68 ] simplifiying candidate # 1538645699.549 * * * * [misc]progress: [ 21 / 68 ] simplifiying candidate # 1538645699.549 * * * * [misc]progress: [ 22 / 68 ] simplifiying candidate # 1538645699.549 * * * * [misc]progress: [ 23 / 68 ] simplifiying candidate # 1538645699.549 * [enter]simplify: Simplifying (sqrt (* (cbrt (pow x 4)) (cbrt (pow x 4)))) 1538645699.550 * * [misc]simplify: iters left: 5 (6 enodes) 1538645699.552 * * [misc]simplify: iters left: 4 (7 enodes) 1538645699.554 * [exit]simplify: Simplified to (fabs (cbrt (pow x 4))) 1538645699.554 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (* (+ (* (fabs (cbrt (pow x 4))) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538645699.554 * * * * [misc]progress: [ 24 / 68 ] simplifiying candidate # 1538645699.554 * [enter]simplify: Simplifying (sqrt (sqrt (pow x 4))) 1538645699.555 * * [misc]simplify: iters left: 3 (5 enodes) 1538645699.556 * [exit]simplify: Simplified to (sqrt (sqrt (pow x 4))) 1538645699.556 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (* (+ (* (sqrt (sqrt (pow x 4))) (sqrt (sqrt (pow x 4)))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538645699.556 * * * * [misc]progress: [ 25 / 68 ] simplifiying candidate # 1538645699.556 * [enter]simplify: Simplifying (sqrt 1) 1538645699.556 * * [misc]simplify: iters left: 1 (2 enodes) 1538645699.557 * [exit]simplify: Simplified to 1 1538645699.557 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (* (+ (* 1 (sqrt (pow x 4))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538645699.557 * * * * [misc]progress: [ 26 / 68 ] simplifiying candidate # 1538645699.557 * * * * [misc]progress: [ 27 / 68 ] simplifiying candidate # 1538645699.557 * [enter]simplify: Simplifying (sqrt (pow x 4)) 1538645699.560 * * [misc]simplify: iters left: 2 (4 enodes) 1538645699.561 * [exit]simplify: Simplified to (sqrt (pow x 4)) 1538645699.561 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (* (+ (fabs (sqrt (pow x 4))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538645699.561 * * * * [misc]progress: [ 28 / 68 ] simplifiying candidate # 1538645699.561 * * * * [misc]progress: [ 29 / 68 ] simplifiying candidate # 1538645699.561 * * * * [misc]progress: [ 30 / 68 ] simplifiying candidate # 1538645699.561 * * * * [misc]progress: [ 31 / 68 ] simplifiying candidate # 1538645699.561 * * * * [misc]progress: [ 32 / 68 ] simplifiying candidate # 1538645699.561 * * * * [misc]progress: [ 33 / 68 ] simplifiying candidate # 1538645699.561 * * * * [misc]progress: [ 34 / 68 ] simplifiying candidate # 1538645699.561 * * * * [misc]progress: [ 35 / 68 ] simplifiying candidate # 1538645699.561 * * * * [misc]progress: [ 36 / 68 ] simplifiying candidate # 1538645699.561 * * * * [misc]progress: [ 37 / 68 ] simplifiying candidate # 1538645699.561 * [enter]simplify: Simplifying (sqrt (* (cbrt (pow y 4)) (cbrt (pow y 4)))) 1538645699.562 * * [misc]simplify: iters left: 5 (6 enodes) 1538645699.563 * * [misc]simplify: iters left: 4 (7 enodes) 1538645699.564 * [exit]simplify: Simplified to (fabs (cbrt (pow y 4))) 1538645699.564 * [misc]simplify: Simplified (2 2 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (* (fabs (cbrt (pow y 4))) (sqrt (cbrt (pow y 4))))))) 1538645699.564 * * * * [misc]progress: [ 38 / 68 ] simplifiying candidate # 1538645699.564 * [enter]simplify: Simplifying (sqrt (sqrt (pow y 4))) 1538645699.565 * * [misc]simplify: iters left: 3 (5 enodes) 1538645699.565 * [exit]simplify: Simplified to (sqrt (sqrt (pow y 4))) 1538645699.565 * [misc]simplify: Simplified (2 2 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (* (sqrt (sqrt (pow y 4))) (sqrt (sqrt (pow y 4))))))) 1538645699.565 * * * * [misc]progress: [ 39 / 68 ] simplifiying candidate # 1538645699.566 * [enter]simplify: Simplifying (sqrt 1) 1538645699.566 * * [misc]simplify: iters left: 1 (2 enodes) 1538645699.567 * [exit]simplify: Simplified to 1 1538645699.567 * [misc]simplify: Simplified (2 2 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (* 1 (sqrt (pow y 4)))))) 1538645699.567 * * * * [misc]progress: [ 40 / 68 ] simplifiying candidate # 1538645699.567 * * * * [misc]progress: [ 41 / 68 ] simplifiying candidate # 1538645699.567 * [enter]simplify: Simplifying (sqrt (pow y 4)) 1538645699.567 * * [misc]simplify: iters left: 2 (4 enodes) 1538645699.568 * [exit]simplify: Simplified to (sqrt (pow y 4)) 1538645699.568 * [misc]simplify: Simplified (2 2 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (fabs (sqrt (pow y 4)))))) 1538645699.568 * * * * [misc]progress: [ 42 / 68 ] simplifiying candidate # 1538645699.568 * * * * [misc]progress: [ 43 / 68 ] simplifiying candidate # 1538645699.568 * * * * [misc]progress: [ 44 / 68 ] simplifiying candidate # 1538645699.568 * * * * [misc]progress: [ 45 / 68 ] simplifiying candidate # 1538645699.568 * * * * [misc]progress: [ 46 / 68 ] simplifiying candidate # 1538645699.568 * * * * [misc]progress: [ 47 / 68 ] simplifiying candidate # 1538645699.568 * * * * [misc]progress: [ 48 / 68 ] simplifiying candidate # 1538645699.568 * * * * [misc]progress: [ 49 / 68 ] simplifiying candidate # 1538645699.568 * * * * [misc]progress: [ 50 / 68 ] simplifiying candidate # 1538645699.568 * * * * [misc]progress: [ 51 / 68 ] simplifiying candidate # 1538645699.569 * [enter]simplify: Simplifying (sqrt (* (cbrt (pow y 4)) (cbrt (pow y 4)))) 1538645699.569 * * [misc]simplify: iters left: 5 (6 enodes) 1538645699.570 * * [misc]simplify: iters left: 4 (7 enodes) 1538645699.571 * [exit]simplify: Simplified to (fabs (cbrt (pow y 4))) 1538645699.571 * [misc]simplify: Simplified (2 1 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (* (fabs (cbrt (pow y 4))) (sqrt (cbrt (pow y 4))))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538645699.571 * * * * [misc]progress: [ 52 / 68 ] simplifiying candidate # 1538645699.571 * [enter]simplify: Simplifying (sqrt (sqrt (pow y 4))) 1538645699.572 * * [misc]simplify: iters left: 3 (5 enodes) 1538645699.573 * [exit]simplify: Simplified to (sqrt (sqrt (pow y 4))) 1538645699.573 * [misc]simplify: Simplified (2 1 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (* (sqrt (sqrt (pow y 4))) (sqrt (sqrt (pow y 4))))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538645699.573 * * * * [misc]progress: [ 53 / 68 ] simplifiying candidate # 1538645699.573 * [enter]simplify: Simplifying (sqrt 1) 1538645699.573 * * [misc]simplify: iters left: 1 (2 enodes) 1538645699.574 * [exit]simplify: Simplified to 1 1538645699.574 * [misc]simplify: Simplified (2 1 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (* 1 (sqrt (pow y 4)))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538645699.574 * * * * [misc]progress: [ 54 / 68 ] simplifiying candidate # 1538645699.574 * * * * [misc]progress: [ 55 / 68 ] simplifiying candidate # 1538645699.574 * [enter]simplify: Simplifying (sqrt (pow y 4)) 1538645699.574 * * [misc]simplify: iters left: 2 (4 enodes) 1538645699.575 * [exit]simplify: Simplified to (sqrt (pow y 4)) 1538645699.575 * [misc]simplify: Simplified (2 1 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (fabs (sqrt (pow y 4)))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538645699.575 * * * * [misc]progress: [ 56 / 68 ] simplifiying candidate # 1538645699.575 * * * * [misc]progress: [ 57 / 68 ] simplifiying candidate # 1538645699.575 * [enter]simplify: Simplifying (pow x 2) 1538645699.576 * * [misc]simplify: iters left: 1 (3 enodes) 1538645699.576 * [exit]simplify: Simplified to (* x x) 1538645699.576 * [misc]simplify: Simplified (2 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* x x) (sqrt (pow y 4))))) 1538645699.576 * * * * [misc]progress: [ 58 / 68 ] simplifiying candidate # 1538645699.576 * [enter]simplify: Simplifying (pow x 2) 1538645699.577 * * [misc]simplify: iters left: 1 (3 enodes) 1538645699.577 * [exit]simplify: Simplified to (* x x) 1538645699.577 * [misc]simplify: Simplified (2 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* x x) (sqrt (pow y 4))))) 1538645699.577 * * * * [misc]progress: [ 59 / 68 ] simplifiying candidate # 1538645699.577 * [enter]simplify: Simplifying (pow x 2) 1538645699.577 * * [misc]simplify: iters left: 1 (3 enodes) 1538645699.578 * [exit]simplify: Simplified to (* x x) 1538645699.578 * [misc]simplify: Simplified (2 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* x x) (sqrt (pow y 4))))) 1538645699.578 * * * * [misc]progress: [ 60 / 68 ] simplifiying candidate # 1538645699.579 * [enter]simplify: Simplifying (pow x 2) 1538645699.579 * * [misc]simplify: iters left: 1 (3 enodes) 1538645699.579 * [exit]simplify: Simplified to (* x x) 1538645699.579 * [misc]simplify: Simplified (2 1 1) to (λ (x y) (* (+ (* x x) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538645699.579 * * * * [misc]progress: [ 61 / 68 ] simplifiying candidate # 1538645699.580 * [enter]simplify: Simplifying (pow x 2) 1538645699.580 * * [misc]simplify: iters left: 1 (3 enodes) 1538645699.580 * [exit]simplify: Simplified to (* x x) 1538645699.580 * [misc]simplify: Simplified (2 1 1) to (λ (x y) (* (+ (* x x) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538645699.580 * * * * [misc]progress: [ 62 / 68 ] simplifiying candidate # 1538645699.580 * [enter]simplify: Simplifying (pow x 2) 1538645699.581 * * [misc]simplify: iters left: 1 (3 enodes) 1538645699.581 * [exit]simplify: Simplified to (* x x) 1538645699.581 * [misc]simplify: Simplified (2 1 1) to (λ (x y) (* (+ (* x x) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538645699.581 * * * * [misc]progress: [ 63 / 68 ] simplifiying candidate # 1538645699.581 * [enter]simplify: Simplifying (pow y 2) 1538645699.582 * * [misc]simplify: iters left: 1 (3 enodes) 1538645699.582 * [exit]simplify: Simplified to (* y y) 1538645699.582 * [misc]simplify: Simplified (2 2 2) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (* y y)))) 1538645699.582 * * * * [misc]progress: [ 64 / 68 ] simplifiying candidate # 1538645699.582 * [enter]simplify: Simplifying (pow y 2) 1538645699.583 * * [misc]simplify: iters left: 1 (3 enodes) 1538645699.583 * [exit]simplify: Simplified to (* y y) 1538645699.583 * [misc]simplify: Simplified (2 2 2) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (* y y)))) 1538645699.584 * * * * [misc]progress: [ 65 / 68 ] simplifiying candidate # 1538645699.584 * [enter]simplify: Simplifying (pow y 2) 1538645699.584 * * [misc]simplify: iters left: 1 (3 enodes) 1538645699.585 * [exit]simplify: Simplified to (* y y) 1538645699.585 * [misc]simplify: Simplified (2 2 2) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (* y y)))) 1538645699.585 * * * * [misc]progress: [ 66 / 68 ] simplifiying candidate # 1538645699.586 * [enter]simplify: Simplifying (pow y 2) 1538645699.586 * * [misc]simplify: iters left: 1 (3 enodes) 1538645699.587 * [exit]simplify: Simplified to (* y y) 1538645699.587 * [misc]simplify: Simplified (2 1 2) to (λ (x y) (* (+ (sqrt (pow x 4)) (* y y)) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538645699.587 * * * * [misc]progress: [ 67 / 68 ] simplifiying candidate # 1538645699.587 * [enter]simplify: Simplifying (pow y 2) 1538645699.588 * * [misc]simplify: iters left: 1 (3 enodes) 1538645699.589 * [exit]simplify: Simplified to (* y y) 1538645699.589 * [misc]simplify: Simplified (2 1 2) to (λ (x y) (* (+ (sqrt (pow x 4)) (* y y)) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538645699.589 * * * * [misc]progress: [ 68 / 68 ] simplifiying candidate # 1538645699.589 * [enter]simplify: Simplifying (pow y 2) 1538645699.589 * * [misc]simplify: iters left: 1 (3 enodes) 1538645699.591 * [exit]simplify: Simplified to (* y y) 1538645699.591 * [misc]simplify: Simplified (2 1 2) to (λ (x y) (* (+ (sqrt (pow x 4)) (* y y)) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1538645699.591 * * * [misc]progress: adding candidates to table 1538645700.803 * * [misc]progress: iteration 3 / 4 1538645700.803 * * * [misc]progress: picking best candidate 1538645700.812 * * * * [misc]pick: Picked # 1538645700.812 * * * [misc]progress: localizing error 1538645700.830 * * * [misc]progress: generating rewritten candidates 1538645700.830 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 1 2 1) 1538645700.833 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 2 1 1 1) 1538645700.835 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1) 1538645700.840 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 2) 1538645700.844 * * * [misc]progress: generating series expansions 1538645700.844 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 1 2 1) 1538645700.845 * [misc]backup-simplify: Simplify (cbrt (pow x 4)) into (pow (pow x 4) 1/3) 1538645700.845 * [misc]approximate: Taking taylor expansion of (pow (pow x 4) 1/3) in (x) around 0 1538645700.845 * [misc]taylor: Taking taylor expansion of (pow (pow x 4) 1/3) in x 1538645700.845 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow x 4)))) in x 1538645700.845 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow x 4))) in x 1538645700.845 * [misc]taylor: Taking taylor expansion of 1/3 in x 1538645700.845 * [misc]backup-simplify: Simplify 1/3 into 1/3 1538645700.845 * [misc]taylor: Taking taylor expansion of (log (pow x 4)) in x 1538645700.845 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1538645700.845 * [misc]taylor: Taking taylor expansion of x in x 1538645700.845 * [misc]backup-simplify: Simplify 0 into 0 1538645700.845 * [misc]backup-simplify: Simplify 1 into 1 1538645700.845 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645700.845 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645700.845 * [misc]backup-simplify: Simplify (log 1) into 0 1538645700.846 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1538645700.846 * [misc]backup-simplify: Simplify (* 1/3 (* 4 (log x))) into (* 4/3 (log x)) 1538645700.846 * [misc]backup-simplify: Simplify (exp (* 4/3 (log x))) into (pow x 4/3) 1538645700.846 * [misc]taylor: Taking taylor expansion of (pow (pow x 4) 1/3) in x 1538645700.846 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow x 4)))) in x 1538645700.846 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow x 4))) in x 1538645700.846 * [misc]taylor: Taking taylor expansion of 1/3 in x 1538645700.846 * [misc]backup-simplify: Simplify 1/3 into 1/3 1538645700.846 * [misc]taylor: Taking taylor expansion of (log (pow x 4)) in x 1538645700.846 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1538645700.846 * [misc]taylor: Taking taylor expansion of x in x 1538645700.846 * [misc]backup-simplify: Simplify 0 into 0 1538645700.846 * [misc]backup-simplify: Simplify 1 into 1 1538645700.846 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645700.846 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645700.846 * [misc]backup-simplify: Simplify (log 1) into 0 1538645700.846 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1538645700.847 * [misc]backup-simplify: Simplify (* 1/3 (* 4 (log x))) into (* 4/3 (log x)) 1538645700.847 * [misc]backup-simplify: Simplify (exp (* 4/3 (log x))) into (pow x 4/3) 1538645700.847 * [misc]backup-simplify: Simplify (pow x 4/3) into (pow x 4/3) 1538645700.847 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645700.847 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645700.849 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1538645700.849 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1538645700.850 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (* 4 (log x)))) into 0 1538645700.850 * [misc]backup-simplify: Simplify (* (exp (* 4/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 1538645700.850 * [misc]backup-simplify: Simplify 0 into 0 1538645700.851 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645700.851 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645700.854 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1538645700.854 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1538645700.854 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (* 4 (log x))))) into 0 1538645700.856 * [misc]backup-simplify: Simplify (* (exp (* 4/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538645700.856 * [misc]backup-simplify: Simplify 0 into 0 1538645700.856 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538645700.857 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538645700.861 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 1538645700.861 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1538645700.861 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 4 (log x)))))) into 0 1538645700.863 * [misc]backup-simplify: Simplify (* (exp (* 4/3 (log x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1538645700.863 * [misc]backup-simplify: Simplify 0 into 0 1538645700.864 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538645700.864 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538645700.871 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0 1538645700.871 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1538645700.871 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 4 (log x))))))) into 0 1538645700.875 * [misc]backup-simplify: Simplify (* (exp (* 4/3 (log x))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538645700.875 * [misc]backup-simplify: Simplify 0 into 0 1538645700.875 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538645700.876 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538645700.891 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 1538645700.891 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1538645700.892 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 4 (log x)))))))) into 0 1538645700.907 * [misc]backup-simplify: Simplify (* (exp (* 4/3 (log x))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1538645700.907 * [misc]backup-simplify: Simplify 0 into 0 1538645700.908 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538645700.908 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538645700.937 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0 1538645700.937 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1538645700.938 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 4 (log x))))))))) into 0 1538645700.951 * [misc]backup-simplify: Simplify (* (exp (* 4/3 (log x))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538645700.952 * [misc]backup-simplify: Simplify 0 into 0 1538645700.952 * [misc]backup-simplify: Simplify (pow x 4/3) into (pow x 4/3) 1538645700.952 * [misc]backup-simplify: Simplify (cbrt (pow (/ 1 x) 4)) into (pow (/ 1 (pow x 4)) 1/3) 1538645700.952 * [misc]approximate: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in (x) around 0 1538645700.952 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in x 1538645700.952 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in x 1538645700.952 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in x 1538645700.952 * [misc]taylor: Taking taylor expansion of 1/3 in x 1538645700.952 * [misc]backup-simplify: Simplify 1/3 into 1/3 1538645700.952 * [misc]taylor: Taking taylor expansion of (log (/ 1 (pow x 4))) in x 1538645700.952 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1538645700.952 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1538645700.952 * [misc]taylor: Taking taylor expansion of x in x 1538645700.952 * [misc]backup-simplify: Simplify 0 into 0 1538645700.952 * [misc]backup-simplify: Simplify 1 into 1 1538645700.953 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645700.953 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645700.953 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645700.953 * [misc]backup-simplify: Simplify (log 1) into 0 1538645700.953 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538645700.953 * [misc]backup-simplify: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 1538645700.953 * [misc]backup-simplify: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 1538645700.953 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in x 1538645700.954 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in x 1538645700.954 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in x 1538645700.954 * [misc]taylor: Taking taylor expansion of 1/3 in x 1538645700.954 * [misc]backup-simplify: Simplify 1/3 into 1/3 1538645700.954 * [misc]taylor: Taking taylor expansion of (log (/ 1 (pow x 4))) in x 1538645700.954 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1538645700.954 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1538645700.954 * [misc]taylor: Taking taylor expansion of x in x 1538645700.954 * [misc]backup-simplify: Simplify 0 into 0 1538645700.954 * [misc]backup-simplify: Simplify 1 into 1 1538645700.954 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645700.954 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645700.954 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645700.954 * [misc]backup-simplify: Simplify (log 1) into 0 1538645700.955 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538645700.955 * [misc]backup-simplify: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 1538645700.955 * [misc]backup-simplify: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 1538645700.955 * [misc]backup-simplify: Simplify (pow x -4/3) into (pow x -4/3) 1538645700.955 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645700.955 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645700.956 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538645700.958 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1538645700.958 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538645700.959 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (- (* 4 (log x))))) into 0 1538645700.961 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 1538645700.961 * [misc]backup-simplify: Simplify 0 into 0 1538645700.961 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645700.961 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645700.962 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645700.966 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1538645700.966 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538645700.967 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))) into 0 1538645700.969 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538645700.969 * [misc]backup-simplify: Simplify 0 into 0 1538645700.969 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538645700.969 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538645700.970 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645700.977 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 1538645700.977 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538645700.978 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x))))))) into 0 1538645700.981 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1538645700.981 * [misc]backup-simplify: Simplify 0 into 0 1538645700.982 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538645700.982 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538645700.983 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645700.995 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0 1538645700.995 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538645700.996 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))))) into 0 1538645701.001 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538645701.001 * [misc]backup-simplify: Simplify 0 into 0 1538645701.002 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538645701.003 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538645701.003 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645701.022 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 1538645701.022 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538645701.023 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x))))))))) into 0 1538645701.031 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1538645701.031 * [misc]backup-simplify: Simplify 0 into 0 1538645701.032 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538645701.032 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538645701.033 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645701.058 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0 1538645701.058 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538645701.059 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))))))) into 0 1538645701.067 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538645701.067 * [misc]backup-simplify: Simplify 0 into 0 1538645701.067 * [misc]backup-simplify: Simplify (pow (/ 1 x) -4/3) into (pow (/ 1 x) -4/3) 1538645701.067 * [misc]backup-simplify: Simplify (cbrt (pow (/ 1 (- x)) 4)) into (pow (/ 1 (pow x 4)) 1/3) 1538645701.067 * [misc]approximate: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in (x) around 0 1538645701.067 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in x 1538645701.067 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in x 1538645701.067 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in x 1538645701.067 * [misc]taylor: Taking taylor expansion of 1/3 in x 1538645701.067 * [misc]backup-simplify: Simplify 1/3 into 1/3 1538645701.067 * [misc]taylor: Taking taylor expansion of (log (/ 1 (pow x 4))) in x 1538645701.067 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1538645701.067 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1538645701.067 * [misc]taylor: Taking taylor expansion of x in x 1538645701.068 * [misc]backup-simplify: Simplify 0 into 0 1538645701.068 * [misc]backup-simplify: Simplify 1 into 1 1538645701.068 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645701.068 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645701.068 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645701.068 * [misc]backup-simplify: Simplify (log 1) into 0 1538645701.068 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538645701.068 * [misc]backup-simplify: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 1538645701.068 * [misc]backup-simplify: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 1538645701.068 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in x 1538645701.068 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in x 1538645701.068 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in x 1538645701.068 * [misc]taylor: Taking taylor expansion of 1/3 in x 1538645701.068 * [misc]backup-simplify: Simplify 1/3 into 1/3 1538645701.068 * [misc]taylor: Taking taylor expansion of (log (/ 1 (pow x 4))) in x 1538645701.068 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1538645701.068 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1538645701.068 * [misc]taylor: Taking taylor expansion of x in x 1538645701.068 * [misc]backup-simplify: Simplify 0 into 0 1538645701.068 * [misc]backup-simplify: Simplify 1 into 1 1538645701.069 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645701.069 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645701.069 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645701.069 * [misc]backup-simplify: Simplify (log 1) into 0 1538645701.069 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538645701.069 * [misc]backup-simplify: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 1538645701.069 * [misc]backup-simplify: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 1538645701.069 * [misc]backup-simplify: Simplify (pow x -4/3) into (pow x -4/3) 1538645701.069 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645701.069 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645701.070 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538645701.072 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1538645701.072 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538645701.072 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (- (* 4 (log x))))) into 0 1538645701.073 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 1538645701.073 * [misc]backup-simplify: Simplify 0 into 0 1538645701.073 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645701.073 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645701.073 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645701.076 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1538645701.076 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538645701.076 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))) into 0 1538645701.077 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538645701.078 * [misc]backup-simplify: Simplify 0 into 0 1538645701.078 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538645701.078 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538645701.078 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645701.082 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 1538645701.082 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538645701.083 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x))))))) into 0 1538645701.085 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1538645701.085 * [misc]backup-simplify: Simplify 0 into 0 1538645701.085 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538645701.085 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538645701.086 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645701.093 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0 1538645701.093 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538645701.093 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))))) into 0 1538645701.096 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538645701.096 * [misc]backup-simplify: Simplify 0 into 0 1538645701.097 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538645701.097 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538645701.097 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645701.108 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 1538645701.108 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538645701.108 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x))))))))) into 0 1538645701.115 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1538645701.115 * [misc]backup-simplify: Simplify 0 into 0 1538645701.115 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538645701.116 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538645701.116 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645701.144 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0 1538645701.145 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538645701.145 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))))))) into 0 1538645701.159 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538645701.159 * [misc]backup-simplify: Simplify 0 into 0 1538645701.159 * [misc]backup-simplify: Simplify (pow (/ 1 (- x)) -4/3) into (pow (/ -1 x) -4/3) 1538645701.159 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 2 1 1 1) 1538645701.160 * [misc]backup-simplify: Simplify (cbrt (pow x 4)) into (pow (pow x 4) 1/3) 1538645701.160 * [misc]approximate: Taking taylor expansion of (pow (pow x 4) 1/3) in (x) around 0 1538645701.160 * [misc]taylor: Taking taylor expansion of (pow (pow x 4) 1/3) in x 1538645701.160 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow x 4)))) in x 1538645701.160 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow x 4))) in x 1538645701.160 * [misc]taylor: Taking taylor expansion of 1/3 in x 1538645701.160 * [misc]backup-simplify: Simplify 1/3 into 1/3 1538645701.160 * [misc]taylor: Taking taylor expansion of (log (pow x 4)) in x 1538645701.160 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1538645701.160 * [misc]taylor: Taking taylor expansion of x in x 1538645701.160 * [misc]backup-simplify: Simplify 0 into 0 1538645701.160 * [misc]backup-simplify: Simplify 1 into 1 1538645701.160 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645701.160 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645701.161 * [misc]backup-simplify: Simplify (log 1) into 0 1538645701.161 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1538645701.161 * [misc]backup-simplify: Simplify (* 1/3 (* 4 (log x))) into (* 4/3 (log x)) 1538645701.161 * [misc]backup-simplify: Simplify (exp (* 4/3 (log x))) into (pow x 4/3) 1538645701.161 * [misc]taylor: Taking taylor expansion of (pow (pow x 4) 1/3) in x 1538645701.161 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow x 4)))) in x 1538645701.161 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow x 4))) in x 1538645701.161 * [misc]taylor: Taking taylor expansion of 1/3 in x 1538645701.161 * [misc]backup-simplify: Simplify 1/3 into 1/3 1538645701.161 * [misc]taylor: Taking taylor expansion of (log (pow x 4)) in x 1538645701.161 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1538645701.161 * [misc]taylor: Taking taylor expansion of x in x 1538645701.161 * [misc]backup-simplify: Simplify 0 into 0 1538645701.161 * [misc]backup-simplify: Simplify 1 into 1 1538645701.162 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645701.162 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645701.162 * [misc]backup-simplify: Simplify (log 1) into 0 1538645701.162 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1538645701.162 * [misc]backup-simplify: Simplify (* 1/3 (* 4 (log x))) into (* 4/3 (log x)) 1538645701.162 * [misc]backup-simplify: Simplify (exp (* 4/3 (log x))) into (pow x 4/3) 1538645701.162 * [misc]backup-simplify: Simplify (pow x 4/3) into (pow x 4/3) 1538645701.163 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645701.163 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645701.165 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1538645701.166 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1538645701.166 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (* 4 (log x)))) into 0 1538645701.167 * [misc]backup-simplify: Simplify (* (exp (* 4/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 1538645701.167 * [misc]backup-simplify: Simplify 0 into 0 1538645701.168 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645701.168 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645701.172 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1538645701.173 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1538645701.173 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (* 4 (log x))))) into 0 1538645701.177 * [misc]backup-simplify: Simplify (* (exp (* 4/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538645701.177 * [misc]backup-simplify: Simplify 0 into 0 1538645701.178 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538645701.178 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538645701.185 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 1538645701.185 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1538645701.186 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 4 (log x)))))) into 0 1538645701.189 * [misc]backup-simplify: Simplify (* (exp (* 4/3 (log x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1538645701.189 * [misc]backup-simplify: Simplify 0 into 0 1538645701.190 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538645701.190 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538645701.197 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0 1538645701.198 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1538645701.198 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 4 (log x))))))) into 0 1538645701.201 * [misc]backup-simplify: Simplify (* (exp (* 4/3 (log x))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538645701.201 * [misc]backup-simplify: Simplify 0 into 0 1538645701.202 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538645701.202 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538645701.212 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 1538645701.212 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1538645701.213 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 4 (log x)))))))) into 0 1538645701.218 * [misc]backup-simplify: Simplify (* (exp (* 4/3 (log x))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1538645701.218 * [misc]backup-simplify: Simplify 0 into 0 1538645701.219 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538645701.219 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538645701.235 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0 1538645701.236 * [misc]backup-simplify: Simplify (+ (* (- -4) (log x)) 0) into (* 4 (log x)) 1538645701.236 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 4 (log x))))))))) into 0 1538645701.250 * [misc]backup-simplify: Simplify (* (exp (* 4/3 (log x))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538645701.250 * [misc]backup-simplify: Simplify 0 into 0 1538645701.250 * [misc]backup-simplify: Simplify (pow x 4/3) into (pow x 4/3) 1538645701.250 * [misc]backup-simplify: Simplify (cbrt (pow (/ 1 x) 4)) into (pow (/ 1 (pow x 4)) 1/3) 1538645701.250 * [misc]approximate: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in (x) around 0 1538645701.250 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in x 1538645701.250 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in x 1538645701.250 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in x 1538645701.251 * [misc]taylor: Taking taylor expansion of 1/3 in x 1538645701.251 * [misc]backup-simplify: Simplify 1/3 into 1/3 1538645701.251 * [misc]taylor: Taking taylor expansion of (log (/ 1 (pow x 4))) in x 1538645701.251 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1538645701.251 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1538645701.251 * [misc]taylor: Taking taylor expansion of x in x 1538645701.251 * [misc]backup-simplify: Simplify 0 into 0 1538645701.251 * [misc]backup-simplify: Simplify 1 into 1 1538645701.251 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645701.251 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645701.251 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645701.251 * [misc]backup-simplify: Simplify (log 1) into 0 1538645701.252 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538645701.252 * [misc]backup-simplify: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 1538645701.252 * [misc]backup-simplify: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 1538645701.252 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in x 1538645701.252 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in x 1538645701.252 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in x 1538645701.252 * [misc]taylor: Taking taylor expansion of 1/3 in x 1538645701.252 * [misc]backup-simplify: Simplify 1/3 into 1/3 1538645701.252 * [misc]taylor: Taking taylor expansion of (log (/ 1 (pow x 4))) in x 1538645701.252 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1538645701.252 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1538645701.252 * [misc]taylor: Taking taylor expansion of x in x 1538645701.252 * [misc]backup-simplify: Simplify 0 into 0 1538645701.252 * [misc]backup-simplify: Simplify 1 into 1 1538645701.252 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645701.253 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645701.253 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645701.253 * [misc]backup-simplify: Simplify (log 1) into 0 1538645701.253 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538645701.253 * [misc]backup-simplify: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 1538645701.253 * [misc]backup-simplify: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 1538645701.253 * [misc]backup-simplify: Simplify (pow x -4/3) into (pow x -4/3) 1538645701.254 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645701.254 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645701.254 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538645701.257 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1538645701.257 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538645701.257 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (- (* 4 (log x))))) into 0 1538645701.259 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 1538645701.259 * [misc]backup-simplify: Simplify 0 into 0 1538645701.259 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645701.259 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645701.260 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645701.264 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1538645701.264 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538645701.265 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))) into 0 1538645701.267 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538645701.267 * [misc]backup-simplify: Simplify 0 into 0 1538645701.267 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538645701.268 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538645701.268 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645701.275 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 1538645701.276 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538645701.276 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x))))))) into 0 1538645701.280 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1538645701.280 * [misc]backup-simplify: Simplify 0 into 0 1538645701.280 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538645701.281 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538645701.281 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645701.293 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0 1538645701.293 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538645701.293 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))))) into 0 1538645701.297 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538645701.298 * [misc]backup-simplify: Simplify 0 into 0 1538645701.298 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538645701.298 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538645701.298 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645701.309 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 1538645701.309 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538645701.309 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x))))))))) into 0 1538645701.314 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1538645701.314 * [misc]backup-simplify: Simplify 0 into 0 1538645701.315 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538645701.315 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538645701.315 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645701.338 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0 1538645701.338 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538645701.339 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))))))) into 0 1538645701.352 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538645701.352 * [misc]backup-simplify: Simplify 0 into 0 1538645701.353 * [misc]backup-simplify: Simplify (pow (/ 1 x) -4/3) into (pow (/ 1 x) -4/3) 1538645701.353 * [misc]backup-simplify: Simplify (cbrt (pow (/ 1 (- x)) 4)) into (pow (/ 1 (pow x 4)) 1/3) 1538645701.353 * [misc]approximate: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in (x) around 0 1538645701.353 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in x 1538645701.353 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in x 1538645701.353 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in x 1538645701.354 * [misc]taylor: Taking taylor expansion of 1/3 in x 1538645701.354 * [misc]backup-simplify: Simplify 1/3 into 1/3 1538645701.354 * [misc]taylor: Taking taylor expansion of (log (/ 1 (pow x 4))) in x 1538645701.354 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1538645701.354 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1538645701.354 * [misc]taylor: Taking taylor expansion of x in x 1538645701.354 * [misc]backup-simplify: Simplify 0 into 0 1538645701.354 * [misc]backup-simplify: Simplify 1 into 1 1538645701.354 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645701.354 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645701.354 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645701.355 * [misc]backup-simplify: Simplify (log 1) into 0 1538645701.355 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538645701.355 * [misc]backup-simplify: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 1538645701.355 * [misc]backup-simplify: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 1538645701.355 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in x 1538645701.355 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in x 1538645701.355 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in x 1538645701.355 * [misc]taylor: Taking taylor expansion of 1/3 in x 1538645701.355 * [misc]backup-simplify: Simplify 1/3 into 1/3 1538645701.355 * [misc]taylor: Taking taylor expansion of (log (/ 1 (pow x 4))) in x 1538645701.355 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1538645701.355 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1538645701.355 * [misc]taylor: Taking taylor expansion of x in x 1538645701.355 * [misc]backup-simplify: Simplify 0 into 0 1538645701.355 * [misc]backup-simplify: Simplify 1 into 1 1538645701.355 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645701.355 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645701.356 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645701.356 * [misc]backup-simplify: Simplify (log 1) into 0 1538645701.356 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538645701.356 * [misc]backup-simplify: Simplify (* 1/3 (- (* 4 (log x)))) into (* -4/3 (log x)) 1538645701.356 * [misc]backup-simplify: Simplify (exp (* -4/3 (log x))) into (pow x -4/3) 1538645701.356 * [misc]backup-simplify: Simplify (pow x -4/3) into (pow x -4/3) 1538645701.356 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645701.356 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645701.356 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538645701.358 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1538645701.358 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538645701.358 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (- (* 4 (log x))))) into 0 1538645701.359 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0 1538645701.359 * [misc]backup-simplify: Simplify 0 into 0 1538645701.359 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645701.359 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645701.360 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645701.362 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1538645701.362 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538645701.363 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))) into 0 1538645701.364 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538645701.364 * [misc]backup-simplify: Simplify 0 into 0 1538645701.364 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538645701.364 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538645701.365 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645701.369 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 1538645701.369 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538645701.369 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x))))))) into 0 1538645701.371 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1538645701.371 * [misc]backup-simplify: Simplify 0 into 0 1538645701.371 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538645701.372 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538645701.372 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645701.379 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0 1538645701.379 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538645701.379 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))))) into 0 1538645701.383 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538645701.383 * [misc]backup-simplify: Simplify 0 into 0 1538645701.383 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538645701.383 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538645701.384 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645701.394 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 1538645701.394 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538645701.395 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x))))))))) into 0 1538645701.401 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1538645701.401 * [misc]backup-simplify: Simplify 0 into 0 1538645701.401 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538645701.402 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538645701.402 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645701.418 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0 1538645701.418 * [misc]backup-simplify: Simplify (+ (* (- 4) (log x)) 0) into (- (* 4 (log x))) 1538645701.419 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 4 (log x)))))))))) into 0 1538645701.427 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log x))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538645701.427 * [misc]backup-simplify: Simplify 0 into 0 1538645701.427 * [misc]backup-simplify: Simplify (pow (/ 1 (- x)) -4/3) into (pow (/ -1 x) -4/3) 1538645701.427 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1) 1538645701.427 * [misc]backup-simplify: Simplify (sqrt (pow x 4)) into (pow x 2) 1538645701.427 * [misc]approximate: Taking taylor expansion of (pow x 2) in (x) around 0 1538645701.427 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538645701.427 * [misc]taylor: Taking taylor expansion of x in x 1538645701.427 * [misc]backup-simplify: Simplify 0 into 0 1538645701.427 * [misc]backup-simplify: Simplify 1 into 1 1538645701.427 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538645701.427 * [misc]taylor: Taking taylor expansion of x in x 1538645701.427 * [misc]backup-simplify: Simplify 0 into 0 1538645701.427 * [misc]backup-simplify: Simplify 1 into 1 1538645701.427 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645701.427 * [misc]backup-simplify: Simplify 1 into 1 1538645701.428 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645701.428 * [misc]backup-simplify: Simplify 0 into 0 1538645701.428 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645701.428 * [misc]backup-simplify: Simplify 0 into 0 1538645701.428 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538645701.428 * [misc]backup-simplify: Simplify 0 into 0 1538645701.428 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538645701.428 * [misc]backup-simplify: Simplify 0 into 0 1538645701.428 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538645701.429 * [misc]backup-simplify: Simplify 0 into 0 1538645701.429 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538645701.429 * [misc]backup-simplify: Simplify 0 into 0 1538645701.429 * [misc]backup-simplify: Simplify (* 1 (pow x 2)) into (pow x 2) 1538645701.429 * [misc]backup-simplify: Simplify (sqrt (pow (/ 1 x) 4)) into (/ 1 (pow x 2)) 1538645701.429 * [misc]approximate: Taking taylor expansion of (/ 1 (pow x 2)) in (x) around 0 1538645701.429 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1538645701.429 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538645701.429 * [misc]taylor: Taking taylor expansion of x in x 1538645701.429 * [misc]backup-simplify: Simplify 0 into 0 1538645701.429 * [misc]backup-simplify: Simplify 1 into 1 1538645701.429 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645701.429 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645701.429 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1538645701.429 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538645701.429 * [misc]taylor: Taking taylor expansion of x in x 1538645701.429 * [misc]backup-simplify: Simplify 0 into 0 1538645701.429 * [misc]backup-simplify: Simplify 1 into 1 1538645701.430 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645701.430 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645701.430 * [misc]backup-simplify: Simplify 1 into 1 1538645701.430 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645701.430 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538645701.430 * [misc]backup-simplify: Simplify 0 into 0 1538645701.430 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645701.430 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645701.430 * [misc]backup-simplify: Simplify 0 into 0 1538645701.431 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538645701.431 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645701.431 * [misc]backup-simplify: Simplify 0 into 0 1538645701.431 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538645701.431 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645701.431 * [misc]backup-simplify: Simplify 0 into 0 1538645701.432 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538645701.432 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645701.432 * [misc]backup-simplify: Simplify 0 into 0 1538645701.432 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538645701.432 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645701.432 * [misc]backup-simplify: Simplify 0 into 0 1538645701.433 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 x)) 2)) into (pow x 2) 1538645701.433 * [misc]backup-simplify: Simplify (sqrt (pow (/ 1 (- x)) 4)) into (/ 1 (pow x 2)) 1538645701.433 * [misc]approximate: Taking taylor expansion of (/ 1 (pow x 2)) in (x) around 0 1538645701.433 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1538645701.433 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538645701.433 * [misc]taylor: Taking taylor expansion of x in x 1538645701.433 * [misc]backup-simplify: Simplify 0 into 0 1538645701.433 * [misc]backup-simplify: Simplify 1 into 1 1538645701.433 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645701.433 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645701.433 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1538645701.433 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538645701.433 * [misc]taylor: Taking taylor expansion of x in x 1538645701.433 * [misc]backup-simplify: Simplify 0 into 0 1538645701.433 * [misc]backup-simplify: Simplify 1 into 1 1538645701.433 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645701.433 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645701.434 * [misc]backup-simplify: Simplify 1 into 1 1538645701.434 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645701.434 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538645701.434 * [misc]backup-simplify: Simplify 0 into 0 1538645701.434 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645701.434 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645701.434 * [misc]backup-simplify: Simplify 0 into 0 1538645701.434 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538645701.435 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645701.435 * [misc]backup-simplify: Simplify 0 into 0 1538645701.435 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538645701.435 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645701.435 * [misc]backup-simplify: Simplify 0 into 0 1538645701.435 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538645701.436 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645701.436 * [misc]backup-simplify: Simplify 0 into 0 1538645701.436 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538645701.436 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645701.436 * [misc]backup-simplify: Simplify 0 into 0 1538645701.436 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 (- x))) 2)) into (pow x 2) 1538645701.437 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 2) 1538645701.437 * [misc]backup-simplify: Simplify (sqrt (pow y 4)) into (pow y 2) 1538645701.437 * [misc]approximate: Taking taylor expansion of (pow y 2) in (y) around 0 1538645701.437 * [misc]taylor: Taking taylor expansion of (pow y 2) in y 1538645701.437 * [misc]taylor: Taking taylor expansion of y in y 1538645701.437 * [misc]backup-simplify: Simplify 0 into 0 1538645701.437 * [misc]backup-simplify: Simplify 1 into 1 1538645701.437 * [misc]taylor: Taking taylor expansion of (pow y 2) in y 1538645701.437 * [misc]taylor: Taking taylor expansion of y in y 1538645701.437 * [misc]backup-simplify: Simplify 0 into 0 1538645701.437 * [misc]backup-simplify: Simplify 1 into 1 1538645701.437 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645701.437 * [misc]backup-simplify: Simplify 1 into 1 1538645701.437 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645701.437 * [misc]backup-simplify: Simplify 0 into 0 1538645701.438 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645701.438 * [misc]backup-simplify: Simplify 0 into 0 1538645701.438 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538645701.438 * [misc]backup-simplify: Simplify 0 into 0 1538645701.438 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538645701.438 * [misc]backup-simplify: Simplify 0 into 0 1538645701.438 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538645701.438 * [misc]backup-simplify: Simplify 0 into 0 1538645701.439 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538645701.439 * [misc]backup-simplify: Simplify 0 into 0 1538645701.439 * [misc]backup-simplify: Simplify (* 1 (pow y 2)) into (pow y 2) 1538645701.439 * [misc]backup-simplify: Simplify (sqrt (pow (/ 1 y) 4)) into (/ 1 (pow y 2)) 1538645701.439 * [misc]approximate: Taking taylor expansion of (/ 1 (pow y 2)) in (y) around 0 1538645701.439 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 2)) in y 1538645701.439 * [misc]taylor: Taking taylor expansion of (pow y 2) in y 1538645701.439 * [misc]taylor: Taking taylor expansion of y in y 1538645701.439 * [misc]backup-simplify: Simplify 0 into 0 1538645701.439 * [misc]backup-simplify: Simplify 1 into 1 1538645701.439 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645701.439 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645701.439 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 2)) in y 1538645701.439 * [misc]taylor: Taking taylor expansion of (pow y 2) in y 1538645701.439 * [misc]taylor: Taking taylor expansion of y in y 1538645701.439 * [misc]backup-simplify: Simplify 0 into 0 1538645701.439 * [misc]backup-simplify: Simplify 1 into 1 1538645701.440 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645701.440 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645701.440 * [misc]backup-simplify: Simplify 1 into 1 1538645701.440 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645701.440 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538645701.440 * [misc]backup-simplify: Simplify 0 into 0 1538645701.440 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645701.440 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645701.440 * [misc]backup-simplify: Simplify 0 into 0 1538645701.441 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538645701.441 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645701.441 * [misc]backup-simplify: Simplify 0 into 0 1538645701.441 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538645701.441 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645701.441 * [misc]backup-simplify: Simplify 0 into 0 1538645701.442 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538645701.442 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645701.442 * [misc]backup-simplify: Simplify 0 into 0 1538645701.442 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538645701.442 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645701.442 * [misc]backup-simplify: Simplify 0 into 0 1538645701.443 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 y)) 2)) into (pow y 2) 1538645701.443 * [misc]backup-simplify: Simplify (sqrt (pow (/ 1 (- y)) 4)) into (/ 1 (pow y 2)) 1538645701.443 * [misc]approximate: Taking taylor expansion of (/ 1 (pow y 2)) in (y) around 0 1538645701.443 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 2)) in y 1538645701.443 * [misc]taylor: Taking taylor expansion of (pow y 2) in y 1538645701.443 * [misc]taylor: Taking taylor expansion of y in y 1538645701.443 * [misc]backup-simplify: Simplify 0 into 0 1538645701.443 * [misc]backup-simplify: Simplify 1 into 1 1538645701.443 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645701.443 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645701.443 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 2)) in y 1538645701.443 * [misc]taylor: Taking taylor expansion of (pow y 2) in y 1538645701.443 * [misc]taylor: Taking taylor expansion of y in y 1538645701.443 * [misc]backup-simplify: Simplify 0 into 0 1538645701.443 * [misc]backup-simplify: Simplify 1 into 1 1538645701.444 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538645701.444 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538645701.444 * [misc]backup-simplify: Simplify 1 into 1 1538645701.444 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538645701.444 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538645701.444 * [misc]backup-simplify: Simplify 0 into 0 1538645701.445 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538645701.445 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645701.445 * [misc]backup-simplify: Simplify 0 into 0 1538645701.445 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538645701.446 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645701.446 * [misc]backup-simplify: Simplify 0 into 0 1538645701.446 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538645701.447 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645701.447 * [misc]backup-simplify: Simplify 0 into 0 1538645701.447 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538645701.448 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645701.448 * [misc]backup-simplify: Simplify 0 into 0 1538645701.448 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538645701.449 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538645701.449 * [misc]backup-simplify: Simplify 0 into 0 1538645701.449 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 (- y))) 2)) into (pow y 2) 1538645701.449 * * * [misc]progress: simplifying candidates 1538645701.449 * * * * [misc]progress: [ 1 / 66 ] simplifiying candidate # 1538645701.449 * * * * [misc]progress: [ 2 / 66 ] simplifiying candidate # 1538645701.450 * * * * [misc]progress: [ 3 / 66 ] simplifiying candidate # 1538645701.450 * * * * [misc]progress: [ 4 / 66 ] simplifiying candidate # 1538645701.450 * * * * [misc]progress: [ 5 / 66 ] simplifiying candidate # 1538645701.450 * * * * [misc]progress: [ 6 / 66 ] simplifiying candidate # 1538645701.450 * * * * [misc]progress: [ 7 / 66 ] simplifiying candidate # 1538645701.450 * [enter]simplify: Simplifying (cbrt (* (cbrt (pow x 4)) (cbrt (pow x 4)))) 1538645701.451 * * [misc]simplify: iters left: 5 (6 enodes) 1538645701.453 * [exit]simplify: Simplified to (cbrt (* (cbrt (pow x 4)) (cbrt (pow x 4)))) 1538645701.453 * [misc]simplify: Simplified (2 2 1 2 1 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* (fabs (cbrt (pow x 4))) (sqrt (* (cbrt (* (cbrt (pow x 4)) (cbrt (pow x 4)))) (cbrt (cbrt (pow x 4)))))) (sqrt (pow y 4))))) 1538645701.453 * * * * [misc]progress: [ 8 / 66 ] simplifiying candidate # 1538645701.454 * [enter]simplify: Simplifying (cbrt (sqrt (pow x 4))) 1538645701.454 * * [misc]simplify: iters left: 3 (5 enodes) 1538645701.456 * [exit]simplify: Simplified to (cbrt (sqrt (pow x 4))) 1538645701.456 * [misc]simplify: Simplified (2 2 1 2 1 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* (fabs (cbrt (pow x 4))) (sqrt (* (cbrt (sqrt (pow x 4))) (cbrt (sqrt (pow x 4)))))) (sqrt (pow y 4))))) 1538645701.456 * * * * [misc]progress: [ 9 / 66 ] simplifiying candidate # 1538645701.456 * [enter]simplify: Simplifying (cbrt 1) 1538645701.457 * * [misc]simplify: iters left: 1 (2 enodes) 1538645701.458 * [exit]simplify: Simplified to 1 1538645701.458 * [misc]simplify: Simplified (2 2 1 2 1 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* (fabs (cbrt (pow x 4))) (sqrt (* 1 (cbrt (pow x 4))))) (sqrt (pow y 4))))) 1538645701.458 * * * * [misc]progress: [ 10 / 66 ] simplifiying candidate # 1538645701.458 * * * * [misc]progress: [ 11 / 66 ] simplifiying candidate # 1538645701.459 * * * * [misc]progress: [ 12 / 66 ] simplifiying candidate # 1538645701.459 * * * * [misc]progress: [ 13 / 66 ] simplifiying candidate # 1538645701.459 * * * * [misc]progress: [ 14 / 66 ] simplifiying candidate # 1538645701.459 * * * * [misc]progress: [ 15 / 66 ] simplifiying candidate # 1538645701.459 * * * * [misc]progress: [ 16 / 66 ] simplifiying candidate # 1538645701.459 * * * * [misc]progress: [ 17 / 66 ] simplifiying candidate # 1538645701.459 * * * * [misc]progress: [ 18 / 66 ] simplifiying candidate # 1538645701.459 * * * * [misc]progress: [ 19 / 66 ] simplifiying candidate # 1538645701.459 * * * * [misc]progress: [ 20 / 66 ] simplifiying candidate # 1538645701.459 * [enter]simplify: Simplifying (cbrt (* (cbrt (pow x 4)) (cbrt (pow x 4)))) 1538645701.460 * * [misc]simplify: iters left: 5 (6 enodes) 1538645701.462 * [exit]simplify: Simplified to (cbrt (* (cbrt (pow x 4)) (cbrt (pow x 4)))) 1538645701.462 * [misc]simplify: Simplified (2 2 1 1 1 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* (fabs (* (cbrt (* (cbrt (pow x 4)) (cbrt (pow x 4)))) (cbrt (cbrt (pow x 4))))) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))))) 1538645701.463 * * * * [misc]progress: [ 21 / 66 ] simplifiying candidate # 1538645701.463 * [enter]simplify: Simplifying (cbrt (sqrt (pow x 4))) 1538645701.463 * * [misc]simplify: iters left: 3 (5 enodes) 1538645701.465 * [exit]simplify: Simplified to (cbrt (sqrt (pow x 4))) 1538645701.465 * [misc]simplify: Simplified (2 2 1 1 1 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* (fabs (* (cbrt (sqrt (pow x 4))) (cbrt (sqrt (pow x 4))))) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))))) 1538645701.465 * * * * [misc]progress: [ 22 / 66 ] simplifiying candidate # 1538645701.465 * [enter]simplify: Simplifying (cbrt 1) 1538645701.466 * * [misc]simplify: iters left: 1 (2 enodes) 1538645701.467 * [exit]simplify: Simplified to 1 1538645701.467 * [misc]simplify: Simplified (2 2 1 1 1 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* (fabs (* 1 (cbrt (pow x 4)))) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))))) 1538645701.467 * * * * [misc]progress: [ 23 / 66 ] simplifiying candidate # 1538645701.467 * * * * [misc]progress: [ 24 / 66 ] simplifiying candidate # 1538645701.467 * * * * [misc]progress: [ 25 / 66 ] simplifiying candidate # 1538645701.468 * * * * [misc]progress: [ 26 / 66 ] simplifiying candidate # 1538645701.468 * * * * [misc]progress: [ 27 / 66 ] simplifiying candidate # 1538645701.468 * * * * [misc]progress: [ 28 / 66 ] simplifiying candidate # 1538645701.468 * * * * [misc]progress: [ 29 / 66 ] simplifiying candidate # 1538645701.468 * * * * [misc]progress: [ 30 / 66 ] simplifiying candidate # 1538645701.468 * * * * [misc]progress: [ 31 / 66 ] simplifiying candidate # 1538645701.468 * * * * [misc]progress: [ 32 / 66 ] simplifiying candidate # 1538645701.468 * * * * [misc]progress: [ 33 / 66 ] simplifiying candidate # 1538645701.468 * * * * [misc]progress: [ 34 / 66 ] simplifiying candidate # 1538645701.468 * * * * [misc]progress: [ 35 / 66 ] simplifiying candidate # 1538645701.468 * [enter]simplify: Simplifying (sqrt (* (cbrt (pow x 4)) (cbrt (pow x 4)))) 1538645701.469 * * [misc]simplify: iters left: 5 (6 enodes) 1538645701.471 * * [misc]simplify: iters left: 4 (7 enodes) 1538645701.474 * [exit]simplify: Simplified to (fabs (cbrt (pow x 4))) 1538645701.474 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (* (+ (* (fabs (cbrt (pow x 4))) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))) (- (* (fabs (cbrt (pow x 4))) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))))) 1538645701.474 * * * * [misc]progress: [ 36 / 66 ] simplifiying candidate # 1538645701.474 * [enter]simplify: Simplifying (sqrt (sqrt (pow x 4))) 1538645701.475 * * [misc]simplify: iters left: 3 (5 enodes) 1538645701.476 * [exit]simplify: Simplified to (sqrt (sqrt (pow x 4))) 1538645701.476 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (* (+ (* (sqrt (sqrt (pow x 4))) (sqrt (sqrt (pow x 4)))) (sqrt (pow y 4))) (- (* (fabs (cbrt (pow x 4))) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))))) 1538645701.477 * * * * [misc]progress: [ 37 / 66 ] simplifiying candidate # 1538645701.477 * [enter]simplify: Simplifying (sqrt 1) 1538645701.477 * * [misc]simplify: iters left: 1 (2 enodes) 1538645701.479 * [exit]simplify: Simplified to 1 1538645701.479 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (* (+ (* 1 (sqrt (pow x 4))) (sqrt (pow y 4))) (- (* (fabs (cbrt (pow x 4))) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))))) 1538645701.479 * * * * [misc]progress: [ 38 / 66 ] simplifiying candidate # 1538645701.479 * * * * [misc]progress: [ 39 / 66 ] simplifiying candidate # 1538645701.479 * [enter]simplify: Simplifying (sqrt (pow x 4)) 1538645701.479 * * [misc]simplify: iters left: 2 (4 enodes) 1538645701.481 * [exit]simplify: Simplified to (sqrt (pow x 4)) 1538645701.481 * [misc]simplify: Simplified (2 1 1 1) to (λ (x y) (* (+ (fabs (sqrt (pow x 4))) (sqrt (pow y 4))) (- (* (fabs (cbrt (pow x 4))) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))))) 1538645701.481 * * * * [misc]progress: [ 40 / 66 ] simplifiying candidate # 1538645701.481 * * * * [misc]progress: [ 41 / 66 ] simplifiying candidate # 1538645701.481 * * * * [misc]progress: [ 42 / 66 ] simplifiying candidate # 1538645701.481 * * * * [misc]progress: [ 43 / 66 ] simplifiying candidate # 1538645701.481 * * * * [misc]progress: [ 44 / 66 ] simplifiying candidate # 1538645701.481 * * * * [misc]progress: [ 45 / 66 ] simplifiying candidate # 1538645701.481 * * * * [misc]progress: [ 46 / 66 ] simplifiying candidate # 1538645701.481 * * * * [misc]progress: [ 47 / 66 ] simplifiying candidate # 1538645701.481 * * * * [misc]progress: [ 48 / 66 ] simplifiying candidate # 1538645701.482 * * * * [misc]progress: [ 49 / 66 ] simplifiying candidate # 1538645701.482 * [enter]simplify: Simplifying (sqrt (* (cbrt (pow y 4)) (cbrt (pow y 4)))) 1538645701.482 * * [misc]simplify: iters left: 5 (6 enodes) 1538645701.485 * * [misc]simplify: iters left: 4 (7 enodes) 1538645701.487 * [exit]simplify: Simplified to (fabs (cbrt (pow y 4))) 1538645701.487 * [misc]simplify: Simplified (2 2 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* (fabs (cbrt (pow x 4))) (sqrt (cbrt (pow x 4)))) (* (fabs (cbrt (pow y 4))) (sqrt (cbrt (pow y 4))))))) 1538645701.487 * * * * [misc]progress: [ 50 / 66 ] simplifiying candidate # 1538645701.487 * [enter]simplify: Simplifying (sqrt (sqrt (pow y 4))) 1538645701.488 * * [misc]simplify: iters left: 3 (5 enodes) 1538645701.490 * [exit]simplify: Simplified to (sqrt (sqrt (pow y 4))) 1538645701.490 * [misc]simplify: Simplified (2 2 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* (fabs (cbrt (pow x 4))) (sqrt (cbrt (pow x 4)))) (* (sqrt (sqrt (pow y 4))) (sqrt (sqrt (pow y 4))))))) 1538645701.490 * * * * [misc]progress: [ 51 / 66 ] simplifiying candidate # 1538645701.490 * [enter]simplify: Simplifying (sqrt 1) 1538645701.490 * * [misc]simplify: iters left: 1 (2 enodes) 1538645701.492 * [exit]simplify: Simplified to 1 1538645701.492 * [misc]simplify: Simplified (2 2 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* (fabs (cbrt (pow x 4))) (sqrt (cbrt (pow x 4)))) (* 1 (sqrt (pow y 4)))))) 1538645701.492 * * * * [misc]progress: [ 52 / 66 ] simplifiying candidate # 1538645701.492 * * * * [misc]progress: [ 53 / 66 ] simplifiying candidate # 1538645701.492 * [enter]simplify: Simplifying (sqrt (pow y 4)) 1538645701.493 * * [misc]simplify: iters left: 2 (4 enodes) 1538645701.494 * [exit]simplify: Simplified to (sqrt (pow y 4)) 1538645701.494 * [misc]simplify: Simplified (2 2 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* (fabs (cbrt (pow x 4))) (sqrt (cbrt (pow x 4)))) (fabs (sqrt (pow y 4)))))) 1538645701.494 * * * * [misc]progress: [ 54 / 66 ] simplifiying candidate # 1538645701.494 * * * * [misc]progress: [ 55 / 66 ] simplifiying candidate # 1538645701.494 * [enter]simplify: Simplifying (pow x 4/3) 1538645701.495 * * [misc]simplify: iters left: 1 (3 enodes) 1538645701.496 * [exit]simplify: Simplified to (pow x 4/3) 1538645701.496 * [misc]simplify: Simplified (2 2 1 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* (fabs (cbrt (pow x 4))) (sqrt (pow x 4/3))) (sqrt (pow y 4))))) 1538645701.496 * * * * [misc]progress: [ 56 / 66 ] simplifiying candidate # 1538645701.496 * [enter]simplify: Simplifying (pow (/ 1 x) -4/3) 1538645701.497 * * [misc]simplify: iters left: 3 (5 enodes) 1538645701.499 * * [misc]simplify: iters left: 2 (7 enodes) 1538645701.500 * [exit]simplify: Simplified to (pow (/ 1 x) -4/3) 1538645701.500 * [misc]simplify: Simplified (2 2 1 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* (fabs (cbrt (pow x 4))) (sqrt (pow (/ 1 x) -4/3))) (sqrt (pow y 4))))) 1538645701.500 * * * * [misc]progress: [ 57 / 66 ] simplifiying candidate # 1538645701.500 * [enter]simplify: Simplifying (pow (/ -1 x) -4/3) 1538645701.500 * * [misc]simplify: iters left: 3 (5 enodes) 1538645701.501 * [exit]simplify: Simplified to (pow (/ -1 x) -4/3) 1538645701.501 * [misc]simplify: Simplified (2 2 1 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* (fabs (cbrt (pow x 4))) (sqrt (pow (/ -1 x) -4/3))) (sqrt (pow y 4))))) 1538645701.501 * * * * [misc]progress: [ 58 / 66 ] simplifiying candidate # 1538645701.501 * [enter]simplify: Simplifying (pow x 4/3) 1538645701.502 * * [misc]simplify: iters left: 1 (3 enodes) 1538645701.502 * [exit]simplify: Simplified to (pow x 4/3) 1538645701.502 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* (fabs (pow x 4/3)) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))))) 1538645701.502 * * * * [misc]progress: [ 59 / 66 ] simplifiying candidate # 1538645701.502 * [enter]simplify: Simplifying (pow (/ 1 x) -4/3) 1538645701.502 * * [misc]simplify: iters left: 3 (5 enodes) 1538645701.503 * * [misc]simplify: iters left: 2 (7 enodes) 1538645701.504 * [exit]simplify: Simplified to (pow (/ 1 x) -4/3) 1538645701.504 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* (fabs (pow (/ 1 x) -4/3)) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))))) 1538645701.504 * * * * [misc]progress: [ 60 / 66 ] simplifiying candidate # 1538645701.505 * [enter]simplify: Simplifying (pow (/ -1 x) -4/3) 1538645701.505 * * [misc]simplify: iters left: 3 (5 enodes) 1538645701.506 * [exit]simplify: Simplified to (pow (/ -1 x) -4/3) 1538645701.506 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* (fabs (pow (/ -1 x) -4/3)) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))))) 1538645701.506 * * * * [misc]progress: [ 61 / 66 ] simplifiying candidate # 1538645701.506 * [enter]simplify: Simplifying (pow x 2) 1538645701.506 * * [misc]simplify: iters left: 1 (3 enodes) 1538645701.507 * [exit]simplify: Simplified to (* x x) 1538645701.507 * [misc]simplify: Simplified (2 1 1) to (λ (x y) (* (+ (* x x) (sqrt (pow y 4))) (- (* (fabs (cbrt (pow x 4))) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))))) 1538645701.507 * * * * [misc]progress: [ 62 / 66 ] simplifiying candidate # 1538645701.507 * [enter]simplify: Simplifying (pow x 2) 1538645701.507 * * [misc]simplify: iters left: 1 (3 enodes) 1538645701.509 * [exit]simplify: Simplified to (* x x) 1538645701.509 * [misc]simplify: Simplified (2 1 1) to (λ (x y) (* (+ (* x x) (sqrt (pow y 4))) (- (* (fabs (cbrt (pow x 4))) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))))) 1538645701.509 * * * * [misc]progress: [ 63 / 66 ] simplifiying candidate # 1538645701.509 * [enter]simplify: Simplifying (pow x 2) 1538645701.509 * * [misc]simplify: iters left: 1 (3 enodes) 1538645701.510 * [exit]simplify: Simplified to (* x x) 1538645701.510 * [misc]simplify: Simplified (2 1 1) to (λ (x y) (* (+ (* x x) (sqrt (pow y 4))) (- (* (fabs (cbrt (pow x 4))) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))))) 1538645701.510 * * * * [misc]progress: [ 64 / 66 ] simplifiying candidate # 1538645701.510 * [enter]simplify: Simplifying (pow y 2) 1538645701.510 * * [misc]simplify: iters left: 1 (3 enodes) 1538645701.511 * [exit]simplify: Simplified to (* y y) 1538645701.511 * [misc]simplify: Simplified (2 2 2) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* (fabs (cbrt (pow x 4))) (sqrt (cbrt (pow x 4)))) (* y y)))) 1538645701.511 * * * * [misc]progress: [ 65 / 66 ] simplifiying candidate # 1538645701.511 * [enter]simplify: Simplifying (pow y 2) 1538645701.511 * * [misc]simplify: iters left: 1 (3 enodes) 1538645701.512 * [exit]simplify: Simplified to (* y y) 1538645701.512 * [misc]simplify: Simplified (2 2 2) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* (fabs (cbrt (pow x 4))) (sqrt (cbrt (pow x 4)))) (* y y)))) 1538645701.512 * * * * [misc]progress: [ 66 / 66 ] simplifiying candidate # 1538645701.512 * [enter]simplify: Simplifying (pow y 2) 1538645701.512 * * [misc]simplify: iters left: 1 (3 enodes) 1538645701.513 * [exit]simplify: Simplified to (* y y) 1538645701.513 * [misc]simplify: Simplified (2 2 2) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* (fabs (cbrt (pow x 4))) (sqrt (cbrt (pow x 4)))) (* y y)))) 1538645701.513 * * * [misc]progress: adding candidates to table 1538645703.377 * [misc]progress: [Phase 3 of 3] Extracting. 1538645703.377 * * [misc]regime: Finding splitpoints for: (# #) 1538645703.378 * * * [misc]regime-changes: Trying 5 branch expressions: (y (pow y 4) x (pow x 4) (- (pow x 4) (pow y 4))) 1538645703.379 * * * * [misc]regimes: Trying to branch on y from (# #) 1538645703.420 * * * * [misc]regimes: Trying to branch on (pow y 4) from (# #) 1538645703.456 * * * * [misc]regimes: Trying to branch on x from (# #) 1538645703.498 * * * * [misc]regimes: Trying to branch on (pow x 4) from (# #) 1538645703.554 * * * * [misc]regimes: Trying to branch on (- (pow x 4) (pow y 4)) from (# #) 1538645703.602 * * * [misc]regime: Found split indices: #