1538655131.875 * [misc]progress: [Phase 1 of 3] Setting up. 1538655131.875 * * * [misc]progress: [1/2] Preparing points 1538655131.875 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538655131.916 * * * * [misc]points: Filtering points with unrepresentable outputs 1538655131.916 * * * * [exit]points: Sampled 256 points with exact outputs 1538655131.917 * * * [misc]progress: [2/2] Setting up program. 1538655131.942 * [misc]progress: [Phase 2 of 3] Improving. 1538655131.942 * [enter]simplify: Simplifying (* (+ a (+ b (+ c d))) 2) 1538655131.943 * * [misc]simplify: iters left: 6 (9 enodes) 1538655131.948 * * [misc]simplify: iters left: 5 (17 enodes) 1538655131.958 * * [misc]simplify: iters left: 4 (51 enodes) 1538655131.976 * * [misc]simplify: iters left: 3 (129 enodes) 1538655132.076 * * [misc]simplify: iters left: 2 (294 enodes) 1538655132.180 * * [misc]simplify: iters left: 1 (406 enodes) 1538655132.294 * [exit]simplify: Simplified to (* 2 (+ (+ a c) (+ b d))) 1538655132.314 * * [misc]progress: iteration 1 / 4 1538655132.314 * * * [misc]progress: picking best candidate 1538655132.329 * * * * [misc]pick: Picked # 1538655132.329 * * * [misc]progress: localizing error 1538655132.358 * * * [misc]progress: generating rewritten candidates 1538655132.358 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 2) 1538655132.408 * * * [misc]progress: generating series expansions 1538655132.408 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 2) 1538655132.409 * [misc]backup-simplify: Simplify (+ (+ a c) (+ b d)) into (+ a (+ b (+ c d))) 1538655132.409 * [misc]approximate: Taking taylor expansion of (+ a (+ b (+ c d))) in (a c b d) around 0 1538655132.409 * [misc]taylor: Taking taylor expansion of (+ a (+ b (+ c d))) in d 1538655132.409 * [misc]taylor: Taking taylor expansion of a in d 1538655132.409 * [misc]backup-simplify: Simplify a into a 1538655132.409 * [misc]taylor: Taking taylor expansion of (+ b (+ c d)) in d 1538655132.409 * [misc]taylor: Taking taylor expansion of b in d 1538655132.409 * [misc]backup-simplify: Simplify b into b 1538655132.409 * [misc]taylor: Taking taylor expansion of (+ c d) in d 1538655132.409 * [misc]taylor: Taking taylor expansion of c in d 1538655132.409 * [misc]backup-simplify: Simplify c into c 1538655132.409 * [misc]taylor: Taking taylor expansion of d in d 1538655132.409 * [misc]backup-simplify: Simplify 0 into 0 1538655132.409 * [misc]backup-simplify: Simplify 1 into 1 1538655132.409 * [misc]taylor: Taking taylor expansion of (+ a (+ b (+ c d))) in b 1538655132.409 * [misc]taylor: Taking taylor expansion of a in b 1538655132.409 * [misc]backup-simplify: Simplify a into a 1538655132.409 * [misc]taylor: Taking taylor expansion of (+ b (+ c d)) in b 1538655132.410 * [misc]taylor: Taking taylor expansion of b in b 1538655132.410 * [misc]backup-simplify: Simplify 0 into 0 1538655132.410 * [misc]backup-simplify: Simplify 1 into 1 1538655132.410 * [misc]taylor: Taking taylor expansion of (+ c d) in b 1538655132.410 * [misc]taylor: Taking taylor expansion of c in b 1538655132.410 * [misc]backup-simplify: Simplify c into c 1538655132.410 * [misc]taylor: Taking taylor expansion of d in b 1538655132.410 * [misc]backup-simplify: Simplify d into d 1538655132.410 * [misc]taylor: Taking taylor expansion of (+ a (+ b (+ c d))) in c 1538655132.410 * [misc]taylor: Taking taylor expansion of a in c 1538655132.410 * [misc]backup-simplify: Simplify a into a 1538655132.410 * [misc]taylor: Taking taylor expansion of (+ b (+ c d)) in c 1538655132.410 * [misc]taylor: Taking taylor expansion of b in c 1538655132.410 * [misc]backup-simplify: Simplify b into b 1538655132.410 * [misc]taylor: Taking taylor expansion of (+ c d) in c 1538655132.410 * [misc]taylor: Taking taylor expansion of c in c 1538655132.410 * [misc]backup-simplify: Simplify 0 into 0 1538655132.410 * [misc]backup-simplify: Simplify 1 into 1 1538655132.410 * [misc]taylor: Taking taylor expansion of d in c 1538655132.410 * [misc]backup-simplify: Simplify d into d 1538655132.410 * [misc]taylor: Taking taylor expansion of (+ a (+ b (+ c d))) in a 1538655132.410 * [misc]taylor: Taking taylor expansion of a in a 1538655132.410 * [misc]backup-simplify: Simplify 0 into 0 1538655132.410 * [misc]backup-simplify: Simplify 1 into 1 1538655132.410 * [misc]taylor: Taking taylor expansion of (+ b (+ c d)) in a 1538655132.410 * [misc]taylor: Taking taylor expansion of b in a 1538655132.410 * [misc]backup-simplify: Simplify b into b 1538655132.410 * [misc]taylor: Taking taylor expansion of (+ c d) in a 1538655132.410 * [misc]taylor: Taking taylor expansion of c in a 1538655132.410 * [misc]backup-simplify: Simplify c into c 1538655132.410 * [misc]taylor: Taking taylor expansion of d in a 1538655132.410 * [misc]backup-simplify: Simplify d into d 1538655132.410 * [misc]taylor: Taking taylor expansion of (+ a (+ b (+ c d))) in a 1538655132.410 * [misc]taylor: Taking taylor expansion of a in a 1538655132.411 * [misc]backup-simplify: Simplify 0 into 0 1538655132.411 * [misc]backup-simplify: Simplify 1 into 1 1538655132.411 * [misc]taylor: Taking taylor expansion of (+ b (+ c d)) in a 1538655132.411 * [misc]taylor: Taking taylor expansion of b in a 1538655132.411 * [misc]backup-simplify: Simplify b into b 1538655132.411 * [misc]taylor: Taking taylor expansion of (+ c d) in a 1538655132.411 * [misc]taylor: Taking taylor expansion of c in a 1538655132.411 * [misc]backup-simplify: Simplify c into c 1538655132.411 * [misc]taylor: Taking taylor expansion of d in a 1538655132.411 * [misc]backup-simplify: Simplify d into d 1538655132.411 * [misc]backup-simplify: Simplify (+ c d) into (+ c d) 1538655132.411 * [misc]backup-simplify: Simplify (+ b (+ c d)) into (+ b (+ c d)) 1538655132.411 * [misc]backup-simplify: Simplify (+ 0 (+ b (+ c d))) into (+ c (+ b d)) 1538655132.411 * [misc]taylor: Taking taylor expansion of (+ c (+ b d)) in c 1538655132.411 * [misc]taylor: Taking taylor expansion of c in c 1538655132.411 * [misc]backup-simplify: Simplify 0 into 0 1538655132.411 * [misc]backup-simplify: Simplify 1 into 1 1538655132.411 * [misc]taylor: Taking taylor expansion of (+ b d) in c 1538655132.411 * [misc]taylor: Taking taylor expansion of b in c 1538655132.411 * [misc]backup-simplify: Simplify b into b 1538655132.411 * [misc]taylor: Taking taylor expansion of d in c 1538655132.411 * [misc]backup-simplify: Simplify d into d 1538655132.411 * [misc]backup-simplify: Simplify (+ b d) into (+ b d) 1538655132.412 * [misc]backup-simplify: Simplify (+ 0 (+ b d)) into (+ b d) 1538655132.412 * [misc]taylor: Taking taylor expansion of (+ b d) in b 1538655132.412 * [misc]taylor: Taking taylor expansion of b in b 1538655132.412 * [misc]backup-simplify: Simplify 0 into 0 1538655132.412 * [misc]backup-simplify: Simplify 1 into 1 1538655132.412 * [misc]taylor: Taking taylor expansion of d in b 1538655132.412 * [misc]backup-simplify: Simplify d into d 1538655132.412 * [misc]backup-simplify: Simplify (+ 0 d) into d 1538655132.412 * [misc]taylor: Taking taylor expansion of d in d 1538655132.412 * [misc]backup-simplify: Simplify 0 into 0 1538655132.412 * [misc]backup-simplify: Simplify 1 into 1 1538655132.412 * [misc]backup-simplify: Simplify 0 into 0 1538655132.412 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655132.412 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655132.413 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538655132.413 * [misc]taylor: Taking taylor expansion of 1 in c 1538655132.413 * [misc]backup-simplify: Simplify 1 into 1 1538655132.413 * [misc]taylor: Taking taylor expansion of 1 in b 1538655132.413 * [misc]backup-simplify: Simplify 1 into 1 1538655132.413 * [misc]taylor: Taking taylor expansion of 1 in d 1538655132.413 * [misc]backup-simplify: Simplify 1 into 1 1538655132.413 * [misc]backup-simplify: Simplify 1 into 1 1538655132.413 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655132.414 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538655132.414 * [misc]taylor: Taking taylor expansion of 1 in b 1538655132.414 * [misc]backup-simplify: Simplify 1 into 1 1538655132.414 * [misc]taylor: Taking taylor expansion of 1 in d 1538655132.414 * [misc]backup-simplify: Simplify 1 into 1 1538655132.414 * [misc]backup-simplify: Simplify 1 into 1 1538655132.414 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538655132.414 * [misc]taylor: Taking taylor expansion of 1 in d 1538655132.414 * [misc]backup-simplify: Simplify 1 into 1 1538655132.414 * [misc]backup-simplify: Simplify 1 into 1 1538655132.414 * [misc]backup-simplify: Simplify (+ (* 1 (* 1 (* b (* 1 1)))) (+ (* 1 (* 1 (* 1 (* c 1)))) (* 1 (* 1 (* 1 (* 1 a)))))) into (+ a (+ b c)) 1538655132.415 * [misc]backup-simplify: Simplify (+ (+ (/ 1 a) (/ 1 c)) (+ (/ 1 b) (/ 1 d))) into (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) 1538655132.415 * [misc]approximate: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in (a c b d) around 0 1538655132.415 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in d 1538655132.415 * [misc]taylor: Taking taylor expansion of (/ 1 a) in d 1538655132.415 * [misc]taylor: Taking taylor expansion of a in d 1538655132.415 * [misc]backup-simplify: Simplify a into a 1538655132.415 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1538655132.415 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in d 1538655132.415 * [misc]taylor: Taking taylor expansion of (/ 1 b) in d 1538655132.415 * [misc]taylor: Taking taylor expansion of b in d 1538655132.415 * [misc]backup-simplify: Simplify b into b 1538655132.415 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655132.415 * [misc]taylor: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 1538655132.415 * [misc]taylor: Taking taylor expansion of (/ 1 c) in d 1538655132.415 * [misc]taylor: Taking taylor expansion of c in d 1538655132.415 * [misc]backup-simplify: Simplify c into c 1538655132.415 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655132.416 * [misc]taylor: Taking taylor expansion of (/ 1 d) in d 1538655132.416 * [misc]taylor: Taking taylor expansion of d in d 1538655132.416 * [misc]backup-simplify: Simplify 0 into 0 1538655132.416 * [misc]backup-simplify: Simplify 1 into 1 1538655132.416 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655132.416 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in b 1538655132.416 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1538655132.416 * [misc]taylor: Taking taylor expansion of a in b 1538655132.416 * [misc]backup-simplify: Simplify a into a 1538655132.416 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1538655132.416 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 1538655132.416 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1538655132.416 * [misc]taylor: Taking taylor expansion of b in b 1538655132.416 * [misc]backup-simplify: Simplify 0 into 0 1538655132.416 * [misc]backup-simplify: Simplify 1 into 1 1538655132.416 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655132.416 * [misc]taylor: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 1538655132.416 * [misc]taylor: Taking taylor expansion of (/ 1 c) in b 1538655132.416 * [misc]taylor: Taking taylor expansion of c in b 1538655132.416 * [misc]backup-simplify: Simplify c into c 1538655132.416 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655132.417 * [misc]taylor: Taking taylor expansion of (/ 1 d) in b 1538655132.417 * [misc]taylor: Taking taylor expansion of d in b 1538655132.417 * [misc]backup-simplify: Simplify d into d 1538655132.417 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655132.417 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in c 1538655132.417 * [misc]taylor: Taking taylor expansion of (/ 1 a) in c 1538655132.417 * [misc]taylor: Taking taylor expansion of a in c 1538655132.417 * [misc]backup-simplify: Simplify a into a 1538655132.417 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1538655132.417 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in c 1538655132.417 * [misc]taylor: Taking taylor expansion of (/ 1 b) in c 1538655132.417 * [misc]taylor: Taking taylor expansion of b in c 1538655132.417 * [misc]backup-simplify: Simplify b into b 1538655132.417 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655132.417 * [misc]taylor: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1538655132.417 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1538655132.417 * [misc]taylor: Taking taylor expansion of c in c 1538655132.417 * [misc]backup-simplify: Simplify 0 into 0 1538655132.417 * [misc]backup-simplify: Simplify 1 into 1 1538655132.417 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655132.417 * [misc]taylor: Taking taylor expansion of (/ 1 d) in c 1538655132.417 * [misc]taylor: Taking taylor expansion of d in c 1538655132.417 * [misc]backup-simplify: Simplify d into d 1538655132.417 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655132.418 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in a 1538655132.418 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1538655132.418 * [misc]taylor: Taking taylor expansion of a in a 1538655132.418 * [misc]backup-simplify: Simplify 0 into 0 1538655132.418 * [misc]backup-simplify: Simplify 1 into 1 1538655132.418 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655132.418 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in a 1538655132.418 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1538655132.418 * [misc]taylor: Taking taylor expansion of b in a 1538655132.418 * [misc]backup-simplify: Simplify b into b 1538655132.418 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655132.418 * [misc]taylor: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 1538655132.418 * [misc]taylor: Taking taylor expansion of (/ 1 c) in a 1538655132.418 * [misc]taylor: Taking taylor expansion of c in a 1538655132.418 * [misc]backup-simplify: Simplify c into c 1538655132.418 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655132.418 * [misc]taylor: Taking taylor expansion of (/ 1 d) in a 1538655132.418 * [misc]taylor: Taking taylor expansion of d in a 1538655132.418 * [misc]backup-simplify: Simplify d into d 1538655132.418 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655132.418 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in a 1538655132.418 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1538655132.418 * [misc]taylor: Taking taylor expansion of a in a 1538655132.418 * [misc]backup-simplify: Simplify 0 into 0 1538655132.418 * [misc]backup-simplify: Simplify 1 into 1 1538655132.419 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655132.419 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in a 1538655132.419 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1538655132.419 * [misc]taylor: Taking taylor expansion of b in a 1538655132.419 * [misc]backup-simplify: Simplify b into b 1538655132.419 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655132.419 * [misc]taylor: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 1538655132.419 * [misc]taylor: Taking taylor expansion of (/ 1 c) in a 1538655132.419 * [misc]taylor: Taking taylor expansion of c in a 1538655132.419 * [misc]backup-simplify: Simplify c into c 1538655132.419 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655132.419 * [misc]taylor: Taking taylor expansion of (/ 1 d) in a 1538655132.419 * [misc]taylor: Taking taylor expansion of d in a 1538655132.419 * [misc]backup-simplify: Simplify d into d 1538655132.419 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655132.419 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538655132.419 * [misc]taylor: Taking taylor expansion of 1 in c 1538655132.419 * [misc]backup-simplify: Simplify 1 into 1 1538655132.420 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538655132.420 * [misc]backup-simplify: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 1538655132.420 * [misc]backup-simplify: Simplify (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) 1538655132.420 * [misc]backup-simplify: Simplify (+ 0 (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) into (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) 1538655132.420 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in c 1538655132.420 * [misc]taylor: Taking taylor expansion of (/ 1 b) in c 1538655132.420 * [misc]taylor: Taking taylor expansion of b in c 1538655132.420 * [misc]backup-simplify: Simplify b into b 1538655132.420 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655132.421 * [misc]taylor: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c 1538655132.421 * [misc]taylor: Taking taylor expansion of (/ 1 d) in c 1538655132.421 * [misc]taylor: Taking taylor expansion of d in c 1538655132.421 * [misc]backup-simplify: Simplify d into d 1538655132.421 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655132.421 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1538655132.421 * [misc]taylor: Taking taylor expansion of c in c 1538655132.421 * [misc]backup-simplify: Simplify 0 into 0 1538655132.421 * [misc]backup-simplify: Simplify 1 into 1 1538655132.421 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655132.421 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538655132.421 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538655132.421 * [misc]taylor: Taking taylor expansion of 1 in b 1538655132.421 * [misc]backup-simplify: Simplify 1 into 1 1538655132.421 * [misc]taylor: Taking taylor expansion of 1 in b 1538655132.421 * [misc]backup-simplify: Simplify 1 into 1 1538655132.422 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538655132.422 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1538655132.422 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 1538655132.422 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1538655132.422 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655132.423 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655132.423 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655132.423 * [misc]taylor: Taking taylor expansion of 0 in c 1538655132.423 * [misc]backup-simplify: Simplify 0 into 0 1538655132.423 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538655132.423 * [misc]backup-simplify: Simplify (+ (/ 1 d) 0) into (/ 1 d) 1538655132.423 * [misc]backup-simplify: Simplify (+ (/ 1 b) (/ 1 d)) into (+ (/ 1 b) (/ 1 d)) 1538655132.423 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (/ 1 d)) in b 1538655132.423 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1538655132.423 * [misc]taylor: Taking taylor expansion of b in b 1538655132.423 * [misc]backup-simplify: Simplify 0 into 0 1538655132.423 * [misc]backup-simplify: Simplify 1 into 1 1538655132.424 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655132.424 * [misc]taylor: Taking taylor expansion of (/ 1 d) in b 1538655132.424 * [misc]taylor: Taking taylor expansion of d in b 1538655132.424 * [misc]backup-simplify: Simplify d into d 1538655132.424 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655132.424 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538655132.424 * [misc]taylor: Taking taylor expansion of 1 in d 1538655132.424 * [misc]backup-simplify: Simplify 1 into 1 1538655132.424 * [misc]taylor: Taking taylor expansion of 0 in b 1538655132.424 * [misc]backup-simplify: Simplify 0 into 0 1538655132.424 * [misc]taylor: Taking taylor expansion of 1 in d 1538655132.424 * [misc]backup-simplify: Simplify 1 into 1 1538655132.424 * [misc]taylor: Taking taylor expansion of 1 in d 1538655132.424 * [misc]backup-simplify: Simplify 1 into 1 1538655132.425 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538655132.425 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1538655132.425 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 1538655132.425 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 1538655132.425 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655132.426 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655132.426 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655132.426 * [misc]taylor: Taking taylor expansion of 0 in c 1538655132.426 * [misc]backup-simplify: Simplify 0 into 0 1538655132.426 * [misc]taylor: Taking taylor expansion of 0 in b 1538655132.426 * [misc]backup-simplify: Simplify 0 into 0 1538655132.426 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1538655132.426 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1538655132.426 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538655132.427 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655132.427 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655132.427 * [misc]taylor: Taking taylor expansion of 0 in b 1538655132.427 * [misc]backup-simplify: Simplify 0 into 0 1538655132.427 * [misc]taylor: Taking taylor expansion of 0 in b 1538655132.427 * [misc]backup-simplify: Simplify 0 into 0 1538655132.427 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538655132.427 * [misc]backup-simplify: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 1538655132.427 * [misc]taylor: Taking taylor expansion of (/ 1 d) in d 1538655132.427 * [misc]taylor: Taking taylor expansion of d in d 1538655132.427 * [misc]backup-simplify: Simplify 0 into 0 1538655132.427 * [misc]backup-simplify: Simplify 1 into 1 1538655132.428 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655132.428 * [misc]backup-simplify: Simplify 1 into 1 1538655132.428 * [misc]taylor: Taking taylor expansion of 0 in d 1538655132.428 * [misc]backup-simplify: Simplify 0 into 0 1538655132.428 * [misc]taylor: Taking taylor expansion of 0 in d 1538655132.428 * [misc]backup-simplify: Simplify 0 into 0 1538655132.428 * [misc]taylor: Taking taylor expansion of 0 in d 1538655132.428 * [misc]backup-simplify: Simplify 0 into 0 1538655132.428 * [misc]backup-simplify: Simplify 1 into 1 1538655132.428 * [misc]backup-simplify: Simplify 1 into 1 1538655132.429 * [misc]backup-simplify: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 c)) 1)))) (+ (* 1 (* 1 (* (/ 1 (/ 1 b)) (* 1 1)))) (* 1 (* (/ 1 (/ 1 d)) (* 1 (* 1 1)))))) into (+ b (+ c d)) 1538655132.430 * [misc]backup-simplify: Simplify (+ (+ (/ 1 (- a)) (/ 1 (- c))) (+ (/ 1 (- b)) (/ 1 (- d)))) into (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) 1538655132.430 * [misc]approximate: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) in (a c b d) around 0 1538655132.430 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) in d 1538655132.430 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in d 1538655132.430 * [misc]taylor: Taking taylor expansion of (/ 1 a) in d 1538655132.430 * [misc]taylor: Taking taylor expansion of a in d 1538655132.430 * [misc]backup-simplify: Simplify a into a 1538655132.430 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1538655132.430 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in d 1538655132.430 * [misc]taylor: Taking taylor expansion of (/ 1 b) in d 1538655132.430 * [misc]taylor: Taking taylor expansion of b in d 1538655132.430 * [misc]backup-simplify: Simplify b into b 1538655132.430 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655132.430 * [misc]taylor: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 1538655132.430 * [misc]taylor: Taking taylor expansion of (/ 1 c) in d 1538655132.430 * [misc]taylor: Taking taylor expansion of c in d 1538655132.430 * [misc]backup-simplify: Simplify c into c 1538655132.430 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655132.430 * [misc]taylor: Taking taylor expansion of (/ 1 d) in d 1538655132.430 * [misc]taylor: Taking taylor expansion of d in d 1538655132.430 * [misc]backup-simplify: Simplify 0 into 0 1538655132.430 * [misc]backup-simplify: Simplify 1 into 1 1538655132.431 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655132.431 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) in b 1538655132.431 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in b 1538655132.431 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1538655132.431 * [misc]taylor: Taking taylor expansion of a in b 1538655132.431 * [misc]backup-simplify: Simplify a into a 1538655132.431 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1538655132.431 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 1538655132.431 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1538655132.431 * [misc]taylor: Taking taylor expansion of b in b 1538655132.431 * [misc]backup-simplify: Simplify 0 into 0 1538655132.431 * [misc]backup-simplify: Simplify 1 into 1 1538655132.431 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655132.431 * [misc]taylor: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 1538655132.431 * [misc]taylor: Taking taylor expansion of (/ 1 c) in b 1538655132.431 * [misc]taylor: Taking taylor expansion of c in b 1538655132.431 * [misc]backup-simplify: Simplify c into c 1538655132.431 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655132.431 * [misc]taylor: Taking taylor expansion of (/ 1 d) in b 1538655132.431 * [misc]taylor: Taking taylor expansion of d in b 1538655132.431 * [misc]backup-simplify: Simplify d into d 1538655132.431 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655132.431 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) in c 1538655132.432 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in c 1538655132.432 * [misc]taylor: Taking taylor expansion of (/ 1 a) in c 1538655132.432 * [misc]taylor: Taking taylor expansion of a in c 1538655132.432 * [misc]backup-simplify: Simplify a into a 1538655132.432 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1538655132.432 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in c 1538655132.432 * [misc]taylor: Taking taylor expansion of (/ 1 b) in c 1538655132.432 * [misc]taylor: Taking taylor expansion of b in c 1538655132.432 * [misc]backup-simplify: Simplify b into b 1538655132.432 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655132.432 * [misc]taylor: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1538655132.432 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1538655132.432 * [misc]taylor: Taking taylor expansion of c in c 1538655132.432 * [misc]backup-simplify: Simplify 0 into 0 1538655132.432 * [misc]backup-simplify: Simplify 1 into 1 1538655132.432 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655132.432 * [misc]taylor: Taking taylor expansion of (/ 1 d) in c 1538655132.432 * [misc]taylor: Taking taylor expansion of d in c 1538655132.432 * [misc]backup-simplify: Simplify d into d 1538655132.432 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655132.432 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) in a 1538655132.432 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in a 1538655132.432 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1538655132.432 * [misc]taylor: Taking taylor expansion of a in a 1538655132.432 * [misc]backup-simplify: Simplify 0 into 0 1538655132.433 * [misc]backup-simplify: Simplify 1 into 1 1538655132.433 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655132.433 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in a 1538655132.433 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1538655132.433 * [misc]taylor: Taking taylor expansion of b in a 1538655132.433 * [misc]backup-simplify: Simplify b into b 1538655132.433 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655132.433 * [misc]taylor: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 1538655132.433 * [misc]taylor: Taking taylor expansion of (/ 1 c) in a 1538655132.433 * [misc]taylor: Taking taylor expansion of c in a 1538655132.433 * [misc]backup-simplify: Simplify c into c 1538655132.433 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655132.433 * [misc]taylor: Taking taylor expansion of (/ 1 d) in a 1538655132.433 * [misc]taylor: Taking taylor expansion of d in a 1538655132.433 * [misc]backup-simplify: Simplify d into d 1538655132.433 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655132.433 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) in a 1538655132.433 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in a 1538655132.433 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1538655132.433 * [misc]taylor: Taking taylor expansion of a in a 1538655132.433 * [misc]backup-simplify: Simplify 0 into 0 1538655132.433 * [misc]backup-simplify: Simplify 1 into 1 1538655132.434 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655132.434 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in a 1538655132.434 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1538655132.434 * [misc]taylor: Taking taylor expansion of b in a 1538655132.434 * [misc]backup-simplify: Simplify b into b 1538655132.434 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655132.434 * [misc]taylor: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 1538655132.434 * [misc]taylor: Taking taylor expansion of (/ 1 c) in a 1538655132.434 * [misc]taylor: Taking taylor expansion of c in a 1538655132.434 * [misc]backup-simplify: Simplify c into c 1538655132.434 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655132.434 * [misc]taylor: Taking taylor expansion of (/ 1 d) in a 1538655132.434 * [misc]taylor: Taking taylor expansion of d in a 1538655132.434 * [misc]backup-simplify: Simplify d into d 1538655132.434 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655132.434 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538655132.434 * [misc]backup-simplify: Simplify (- 1) into -1 1538655132.435 * [misc]taylor: Taking taylor expansion of -1 in c 1538655132.435 * [misc]backup-simplify: Simplify -1 into -1 1538655132.435 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538655132.435 * [misc]backup-simplify: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 1538655132.435 * [misc]backup-simplify: Simplify (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) 1538655132.435 * [misc]backup-simplify: Simplify (+ 0 (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) into (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) 1538655132.436 * [misc]backup-simplify: Simplify (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) into (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) 1538655132.436 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in c 1538655132.436 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in c 1538655132.436 * [misc]taylor: Taking taylor expansion of (/ 1 b) in c 1538655132.436 * [misc]taylor: Taking taylor expansion of b in c 1538655132.436 * [misc]backup-simplify: Simplify b into b 1538655132.436 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655132.436 * [misc]taylor: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1538655132.436 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1538655132.436 * [misc]taylor: Taking taylor expansion of c in c 1538655132.436 * [misc]backup-simplify: Simplify 0 into 0 1538655132.436 * [misc]backup-simplify: Simplify 1 into 1 1538655132.436 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655132.436 * [misc]taylor: Taking taylor expansion of (/ 1 d) in c 1538655132.436 * [misc]taylor: Taking taylor expansion of d in c 1538655132.436 * [misc]backup-simplify: Simplify d into d 1538655132.436 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655132.436 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538655132.437 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538655132.437 * [misc]backup-simplify: Simplify (- 1) into -1 1538655132.437 * [misc]taylor: Taking taylor expansion of -1 in b 1538655132.437 * [misc]backup-simplify: Simplify -1 into -1 1538655132.437 * [misc]taylor: Taking taylor expansion of -1 in b 1538655132.437 * [misc]backup-simplify: Simplify -1 into -1 1538655132.437 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538655132.437 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1538655132.438 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 1538655132.438 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1538655132.438 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655132.438 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655132.438 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655132.438 * [misc]backup-simplify: Simplify (- 0) into 0 1538655132.438 * [misc]taylor: Taking taylor expansion of 0 in c 1538655132.438 * [misc]backup-simplify: Simplify 0 into 0 1538655132.439 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538655132.439 * [misc]backup-simplify: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 1538655132.439 * [misc]backup-simplify: Simplify (+ (/ 1 b) (/ 1 d)) into (+ (/ 1 b) (/ 1 d)) 1538655132.439 * [misc]backup-simplify: Simplify (- (+ (/ 1 b) (/ 1 d))) into (- (+ (/ 1 b) (/ 1 d))) 1538655132.439 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 d))) in b 1538655132.439 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (/ 1 d)) in b 1538655132.439 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1538655132.439 * [misc]taylor: Taking taylor expansion of b in b 1538655132.439 * [misc]backup-simplify: Simplify 0 into 0 1538655132.439 * [misc]backup-simplify: Simplify 1 into 1 1538655132.439 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655132.439 * [misc]taylor: Taking taylor expansion of (/ 1 d) in b 1538655132.439 * [misc]taylor: Taking taylor expansion of d in b 1538655132.440 * [misc]backup-simplify: Simplify d into d 1538655132.440 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655132.440 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538655132.440 * [misc]backup-simplify: Simplify (- 1) into -1 1538655132.440 * [misc]taylor: Taking taylor expansion of -1 in d 1538655132.440 * [misc]backup-simplify: Simplify -1 into -1 1538655132.440 * [misc]taylor: Taking taylor expansion of 0 in b 1538655132.440 * [misc]backup-simplify: Simplify 0 into 0 1538655132.440 * [misc]taylor: Taking taylor expansion of -1 in d 1538655132.440 * [misc]backup-simplify: Simplify -1 into -1 1538655132.440 * [misc]taylor: Taking taylor expansion of -1 in d 1538655132.440 * [misc]backup-simplify: Simplify -1 into -1 1538655132.441 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538655132.441 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1538655132.441 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 1538655132.441 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 1538655132.441 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655132.441 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655132.442 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655132.442 * [misc]backup-simplify: Simplify (- 0) into 0 1538655132.442 * [misc]taylor: Taking taylor expansion of 0 in c 1538655132.442 * [misc]backup-simplify: Simplify 0 into 0 1538655132.442 * [misc]taylor: Taking taylor expansion of 0 in b 1538655132.442 * [misc]backup-simplify: Simplify 0 into 0 1538655132.442 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1538655132.442 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538655132.442 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1538655132.443 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655132.443 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655132.443 * [misc]backup-simplify: Simplify (- 0) into 0 1538655132.443 * [misc]taylor: Taking taylor expansion of 0 in b 1538655132.443 * [misc]backup-simplify: Simplify 0 into 0 1538655132.443 * [misc]taylor: Taking taylor expansion of 0 in b 1538655132.443 * [misc]backup-simplify: Simplify 0 into 0 1538655132.443 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538655132.443 * [misc]backup-simplify: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 1538655132.444 * [misc]backup-simplify: Simplify (- (/ 1 d)) into (- (/ 1 d)) 1538655132.444 * [misc]taylor: Taking taylor expansion of (- (/ 1 d)) in d 1538655132.444 * [misc]taylor: Taking taylor expansion of (/ 1 d) in d 1538655132.444 * [misc]taylor: Taking taylor expansion of d in d 1538655132.444 * [misc]backup-simplify: Simplify 0 into 0 1538655132.444 * [misc]backup-simplify: Simplify 1 into 1 1538655132.444 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655132.444 * [misc]backup-simplify: Simplify (- 1) into -1 1538655132.444 * [misc]backup-simplify: Simplify -1 into -1 1538655132.444 * [misc]taylor: Taking taylor expansion of 0 in d 1538655132.444 * [misc]backup-simplify: Simplify 0 into 0 1538655132.444 * [misc]taylor: Taking taylor expansion of 0 in d 1538655132.444 * [misc]backup-simplify: Simplify 0 into 0 1538655132.444 * [misc]taylor: Taking taylor expansion of 0 in d 1538655132.444 * [misc]backup-simplify: Simplify 0 into 0 1538655132.444 * [misc]backup-simplify: Simplify -1 into -1 1538655132.444 * [misc]backup-simplify: Simplify -1 into -1 1538655132.445 * [misc]backup-simplify: Simplify (+ (* -1 (* 1 (* 1 (* (/ 1 (/ 1 (- c))) 1)))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- b))) (* 1 1)))) (* -1 (* (/ 1 (/ 1 (- d))) (* 1 (* 1 1)))))) into (+ b (+ c d)) 1538655132.445 * * * [misc]progress: simplifying candidates 1538655132.445 * * * * [misc]progress: [ 1 / 26 ] simplifiying candidate # 1538655132.445 * * * * [misc]progress: [ 2 / 26 ] simplifiying candidate # 1538655132.445 * * * * [misc]progress: [ 3 / 26 ] simplifiying candidate # 1538655132.446 * [enter]simplify: Simplifying (* (cbrt (+ a c)) (cbrt (+ a c))) 1538655132.453 * * [misc]simplify: iters left: 5 (5 enodes) 1538655132.455 * * [misc]simplify: iters left: 4 (6 enodes) 1538655132.457 * [exit]simplify: Simplified to (* (cbrt (+ c a)) (cbrt (+ c a))) 1538655132.457 * [misc]simplify: Simplified (2 2 1) to (λ (a b c d) (* 2 (fma (* (cbrt (+ c a)) (cbrt (+ c a))) (cbrt (+ a c)) (+ b d)))) 1538655132.457 * * * * [misc]progress: [ 4 / 26 ] simplifiying candidate # 1538655132.457 * [enter]simplify: Simplifying (sqrt (+ a c)) 1538655132.458 * * [misc]simplify: iters left: 3 (4 enodes) 1538655132.459 * * [misc]simplify: iters left: 2 (5 enodes) 1538655132.460 * [exit]simplify: Simplified to (sqrt (+ c a)) 1538655132.460 * [misc]simplify: Simplified (2 2 1) to (λ (a b c d) (* 2 (fma (sqrt (+ c a)) (sqrt (+ a c)) (+ b d)))) 1538655132.460 * * * * [misc]progress: [ 5 / 26 ] simplifiying candidate # 1538655132.460 * * * * [misc]progress: [ 6 / 26 ] simplifiying candidate # 1538655132.460 * [enter]simplify: Simplifying (* (exp (+ a c)) (exp (+ b d))) 1538655132.461 * * [misc]simplify: iters left: 5 (9 enodes) 1538655132.463 * * [misc]simplify: iters left: 4 (20 enodes) 1538655132.468 * * [misc]simplify: iters left: 3 (40 enodes) 1538655132.479 * * [misc]simplify: iters left: 2 (89 enodes) 1538655132.509 * * [misc]simplify: iters left: 1 (145 enodes) 1538655132.567 * [exit]simplify: Simplified to (exp (+ (+ c d) (+ a b))) 1538655132.567 * [misc]simplify: Simplified (2 2 1) to (λ (a b c d) (* 2 (log (exp (+ (+ c d) (+ a b)))))) 1538655132.567 * * * * [misc]progress: [ 7 / 26 ] simplifiying candidate # 1538655132.567 * * * * [misc]progress: [ 8 / 26 ] simplifiying candidate # 1538655132.567 * * * * [misc]progress: [ 9 / 26 ] simplifiying candidate # 1538655132.567 * * * * [misc]progress: [ 10 / 26 ] simplifiying candidate # 1538655132.567 * * * * [misc]progress: [ 11 / 26 ] simplifiying candidate # 1538655132.567 * * * * [misc]progress: [ 12 / 26 ] simplifiying candidate # 1538655132.567 * * * * [misc]progress: [ 13 / 26 ] simplifiying candidate # 1538655132.567 * [enter]simplify: Simplifying (+ (* (+ (pow a 3) (pow c 3)) (+ (* b b) (- (* d d) (* b d)))) (* (+ (* a a) (- (* c c) (* a c))) (+ (pow b 3) (pow d 3)))) 1538655132.569 * * [misc]simplify: iters left: 6 (24 enodes) 1538655132.585 * * [misc]simplify: iters left: 5 (70 enodes) 1538655132.637 * * [misc]simplify: iters left: 4 (217 enodes) 1538655132.879 * [exit]simplify: Simplified to (fma (fma (- c a) c (* a a)) (fma (* d d) d (pow b 3)) (* (fma d (- d b) (* b b)) (fma (* c c) c (pow a 3)))) 1538655132.879 * [misc]simplify: Simplified (2 2 1) to (λ (a b c d) (* 2 (/ (fma (fma (- c a) c (* a a)) (fma (* d d) d (pow b 3)) (* (fma d (- d b) (* b b)) (fma (* c c) c (pow a 3)))) (* (+ (* a a) (- (* c c) (* a c))) (+ (* b b) (- (* d d) (* b d))))))) 1538655132.879 * [enter]simplify: Simplifying (* (+ (* a a) (- (* c c) (* a c))) (+ (* b b) (- (* d d) (* b d)))) 1538655132.880 * * [misc]simplify: iters left: 6 (15 enodes) 1538655132.886 * * [misc]simplify: iters left: 5 (42 enodes) 1538655132.907 * * [misc]simplify: iters left: 4 (118 enodes) 1538655133.005 * * [misc]simplify: iters left: 3 (471 enodes) 1538655133.776 * [exit]simplify: Simplified to (* (fma d (- d b) (* b b)) (fma c (- c a) (* a a))) 1538655133.777 * [misc]simplify: Simplified (2 2 2) to (λ (a b c d) (* 2 (/ (fma (fma (- c a) c (* a a)) (fma (* d d) d (pow b 3)) (* (fma d (- d b) (* b b)) (fma (* c c) c (pow a 3)))) (* (fma d (- d b) (* b b)) (fma c (- c a) (* a a)))))) 1538655133.777 * * * * [misc]progress: [ 14 / 26 ] simplifiying candidate # 1538655133.777 * [enter]simplify: Simplifying (+ (* (+ (pow a 3) (pow c 3)) (- b d)) (* (+ (* a a) (- (* c c) (* a c))) (- (* b b) (* d d)))) 1538655133.779 * * [misc]simplify: iters left: 6 (20 enodes) 1538655133.791 * * [misc]simplify: iters left: 5 (46 enodes) 1538655133.814 * * [misc]simplify: iters left: 4 (114 enodes) 1538655133.875 * * [misc]simplify: iters left: 3 (455 enodes) 1538655134.829 * [exit]simplify: Simplified to (* (fma (+ d b) (fma (- c a) c (* a a)) (fma (* c c) c (pow a 3))) (- b d)) 1538655134.829 * [misc]simplify: Simplified (2 2 1) to (λ (a b c d) (* 2 (/ (* (fma (+ d b) (fma (- c a) c (* a a)) (fma (* c c) c (pow a 3))) (- b d)) (* (+ (* a a) (- (* c c) (* a c))) (- b d))))) 1538655134.829 * [enter]simplify: Simplifying (* (+ (* a a) (- (* c c) (* a c))) (- b d)) 1538655134.830 * * [misc]simplify: iters left: 6 (11 enodes) 1538655134.833 * * [misc]simplify: iters left: 5 (24 enodes) 1538655134.840 * * [misc]simplify: iters left: 4 (56 enodes) 1538655134.869 * * [misc]simplify: iters left: 3 (166 enodes) 1538655135.041 * [exit]simplify: Simplified to (* (- b d) (fma (- c a) c (* a a))) 1538655135.041 * [misc]simplify: Simplified (2 2 2) to (λ (a b c d) (* 2 (/ (* (fma (+ d b) (fma (- c a) c (* a a)) (fma (* c c) c (pow a 3))) (- b d)) (* (- b d) (fma (- c a) c (* a a)))))) 1538655135.041 * * * * [misc]progress: [ 15 / 26 ] simplifiying candidate # 1538655135.042 * [enter]simplify: Simplifying (+ (* (- (* a a) (* c c)) (+ (* b b) (- (* d d) (* b d)))) (* (- a c) (+ (pow b 3) (pow d 3)))) 1538655135.043 * * [misc]simplify: iters left: 6 (20 enodes) 1538655135.059 * * [misc]simplify: iters left: 5 (58 enodes) 1538655135.104 * * [misc]simplify: iters left: 4 (195 enodes) 1538655135.409 * [exit]simplify: Simplified to (fma (fma b (* b b) (pow d 3)) (- a c) (* (fma (- d b) d (* b b)) (* (- a c) (+ a c)))) 1538655135.409 * [misc]simplify: Simplified (2 2 1) to (λ (a b c d) (* 2 (/ (fma (fma b (* b b) (pow d 3)) (- a c) (* (fma (- d b) d (* b b)) (* (- a c) (+ a c)))) (* (- a c) (+ (* b b) (- (* d d) (* b d))))))) 1538655135.410 * [enter]simplify: Simplifying (* (- a c) (+ (* b b) (- (* d d) (* b d)))) 1538655135.411 * * [misc]simplify: iters left: 6 (11 enodes) 1538655135.418 * * [misc]simplify: iters left: 5 (30 enodes) 1538655135.439 * * [misc]simplify: iters left: 4 (84 enodes) 1538655135.508 * * [misc]simplify: iters left: 3 (277 enodes) 1538655135.819 * [exit]simplify: Simplified to (* (- a c) (fma d (- d b) (* b b))) 1538655135.819 * [misc]simplify: Simplified (2 2 2) to (λ (a b c d) (* 2 (/ (fma (fma b (* b b) (pow d 3)) (- a c) (* (fma (- d b) d (* b b)) (* (- a c) (+ a c)))) (* (- a c) (fma d (- d b) (* b b)))))) 1538655135.819 * * * * [misc]progress: [ 16 / 26 ] simplifiying candidate # 1538655135.819 * [enter]simplify: Simplifying (+ (* (- (* a a) (* c c)) (- b d)) (* (- a c) (- (* b b) (* d d)))) 1538655135.820 * * [misc]simplify: iters left: 6 (15 enodes) 1538655135.825 * * [misc]simplify: iters left: 5 (33 enodes) 1538655135.842 * * [misc]simplify: iters left: 4 (92 enodes) 1538655135.951 * * [misc]simplify: iters left: 3 (431 enodes) 1538655136.742 * [exit]simplify: Simplified to (* (* (- a c) (- b d)) (+ (+ b d) (+ a c))) 1538655136.742 * [misc]simplify: Simplified (2 2 1) to (λ (a b c d) (* 2 (/ (* (* (- a c) (- b d)) (+ (+ b d) (+ a c))) (* (- a c) (- b d))))) 1538655136.742 * [enter]simplify: Simplifying (* (- a c) (- b d)) 1538655136.742 * * [misc]simplify: iters left: 4 (7 enodes) 1538655136.744 * * [misc]simplify: iters left: 3 (12 enodes) 1538655136.747 * * [misc]simplify: iters left: 2 (26 enodes) 1538655136.756 * * [misc]simplify: iters left: 1 (66 enodes) 1538655136.806 * [exit]simplify: Simplified to (* (- a c) (- b d)) 1538655136.806 * [misc]simplify: Simplified (2 2 2) to (λ (a b c d) (* 2 (/ (* (* (- a c) (- b d)) (+ (+ b d) (+ a c))) (* (- a c) (- b d))))) 1538655136.806 * * * * [misc]progress: [ 17 / 26 ] simplifiying candidate # 1538655136.806 * * * * [misc]progress: [ 18 / 26 ] simplifiying candidate # 1538655136.806 * * * * [misc]progress: [ 19 / 26 ] simplifiying candidate # 1538655136.806 * * * * [misc]progress: [ 20 / 26 ] simplifiying candidate # 1538655136.806 * [enter]simplify: Simplifying (+ (+ a c) (+ b d)) 1538655136.807 * * [misc]simplify: iters left: 4 (7 enodes) 1538655136.810 * * [misc]simplify: iters left: 3 (14 enodes) 1538655136.818 * * [misc]simplify: iters left: 2 (33 enodes) 1538655136.835 * * [misc]simplify: iters left: 1 (57 enodes) 1538655136.859 * [exit]simplify: Simplified to (+ (+ b d) (+ c a)) 1538655136.859 * [misc]simplify: Simplified (2 2 2) to (λ (a b c d) (* 2 (* 1 (+ (+ b d) (+ c a))))) 1538655136.859 * * * * [misc]progress: [ 21 / 26 ] simplifiying candidate # 1538655136.859 * * * * [misc]progress: [ 22 / 26 ] simplifiying candidate # 1538655136.859 * * * * [misc]progress: [ 23 / 26 ] simplifiying candidate # 1538655136.860 * * * * [misc]progress: [ 24 / 26 ] simplifiying candidate # 1538655136.860 * [enter]simplify: Simplifying (+ a (+ b c)) 1538655136.860 * * [misc]simplify: iters left: 4 (5 enodes) 1538655136.862 * * [misc]simplify: iters left: 3 (9 enodes) 1538655136.866 * * [misc]simplify: iters left: 2 (15 enodes) 1538655136.871 * * [misc]simplify: iters left: 1 (17 enodes) 1538655136.876 * [exit]simplify: Simplified to (+ (+ b a) c) 1538655136.876 * [misc]simplify: Simplified (2 2) to (λ (a b c d) (* 2 (+ (+ b a) c))) 1538655136.876 * * * * [misc]progress: [ 25 / 26 ] simplifiying candidate # 1538655136.876 * [enter]simplify: Simplifying (+ b (+ c d)) 1538655136.876 * * [misc]simplify: iters left: 4 (5 enodes) 1538655136.879 * * [misc]simplify: iters left: 3 (9 enodes) 1538655136.882 * * [misc]simplify: iters left: 2 (15 enodes) 1538655136.887 * * [misc]simplify: iters left: 1 (17 enodes) 1538655136.892 * [exit]simplify: Simplified to (+ (+ c b) d) 1538655136.892 * [misc]simplify: Simplified (2 2) to (λ (a b c d) (* 2 (+ (+ c b) d))) 1538655136.892 * * * * [misc]progress: [ 26 / 26 ] simplifiying candidate # 1538655136.892 * [enter]simplify: Simplifying (+ b (+ c d)) 1538655136.893 * * [misc]simplify: iters left: 4 (5 enodes) 1538655136.895 * * [misc]simplify: iters left: 3 (9 enodes) 1538655136.899 * * [misc]simplify: iters left: 2 (15 enodes) 1538655136.901 * * [misc]simplify: iters left: 1 (17 enodes) 1538655136.904 * [exit]simplify: Simplified to (+ (+ c b) d) 1538655136.904 * [misc]simplify: Simplified (2 2) to (λ (a b c d) (* 2 (+ (+ c b) d))) 1538655136.904 * * * [misc]progress: adding candidates to table 1538655137.441 * * [misc]progress: iteration 2 / 4 1538655137.441 * * * [misc]progress: picking best candidate 1538655137.531 * * * * [misc]pick: Picked # 1538655137.531 * * * [misc]progress: localizing error 1538655137.541 * * * [misc]progress: generating rewritten candidates 1538655137.541 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 2) 1538655137.643 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2 1) 1538655137.676 * * * [misc]progress: generating series expansions 1538655137.676 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 2) 1538655137.677 * [misc]backup-simplify: Simplify (+ (+ (+ a c) b) d) into (+ a (+ b (+ c d))) 1538655137.677 * [misc]approximate: Taking taylor expansion of (+ a (+ b (+ c d))) in (a c b d) around 0 1538655137.677 * [misc]taylor: Taking taylor expansion of (+ a (+ b (+ c d))) in d 1538655137.677 * [misc]taylor: Taking taylor expansion of a in d 1538655137.677 * [misc]backup-simplify: Simplify a into a 1538655137.677 * [misc]taylor: Taking taylor expansion of (+ b (+ c d)) in d 1538655137.677 * [misc]taylor: Taking taylor expansion of b in d 1538655137.677 * [misc]backup-simplify: Simplify b into b 1538655137.677 * [misc]taylor: Taking taylor expansion of (+ c d) in d 1538655137.677 * [misc]taylor: Taking taylor expansion of c in d 1538655137.677 * [misc]backup-simplify: Simplify c into c 1538655137.677 * [misc]taylor: Taking taylor expansion of d in d 1538655137.677 * [misc]backup-simplify: Simplify 0 into 0 1538655137.677 * [misc]backup-simplify: Simplify 1 into 1 1538655137.677 * [misc]taylor: Taking taylor expansion of (+ a (+ b (+ c d))) in b 1538655137.677 * [misc]taylor: Taking taylor expansion of a in b 1538655137.677 * [misc]backup-simplify: Simplify a into a 1538655137.677 * [misc]taylor: Taking taylor expansion of (+ b (+ c d)) in b 1538655137.677 * [misc]taylor: Taking taylor expansion of b in b 1538655137.677 * [misc]backup-simplify: Simplify 0 into 0 1538655137.677 * [misc]backup-simplify: Simplify 1 into 1 1538655137.677 * [misc]taylor: Taking taylor expansion of (+ c d) in b 1538655137.677 * [misc]taylor: Taking taylor expansion of c in b 1538655137.677 * [misc]backup-simplify: Simplify c into c 1538655137.677 * [misc]taylor: Taking taylor expansion of d in b 1538655137.677 * [misc]backup-simplify: Simplify d into d 1538655137.677 * [misc]taylor: Taking taylor expansion of (+ a (+ b (+ c d))) in c 1538655137.677 * [misc]taylor: Taking taylor expansion of a in c 1538655137.677 * [misc]backup-simplify: Simplify a into a 1538655137.677 * [misc]taylor: Taking taylor expansion of (+ b (+ c d)) in c 1538655137.678 * [misc]taylor: Taking taylor expansion of b in c 1538655137.678 * [misc]backup-simplify: Simplify b into b 1538655137.678 * [misc]taylor: Taking taylor expansion of (+ c d) in c 1538655137.678 * [misc]taylor: Taking taylor expansion of c in c 1538655137.678 * [misc]backup-simplify: Simplify 0 into 0 1538655137.678 * [misc]backup-simplify: Simplify 1 into 1 1538655137.678 * [misc]taylor: Taking taylor expansion of d in c 1538655137.678 * [misc]backup-simplify: Simplify d into d 1538655137.678 * [misc]taylor: Taking taylor expansion of (+ a (+ b (+ c d))) in a 1538655137.678 * [misc]taylor: Taking taylor expansion of a in a 1538655137.678 * [misc]backup-simplify: Simplify 0 into 0 1538655137.678 * [misc]backup-simplify: Simplify 1 into 1 1538655137.678 * [misc]taylor: Taking taylor expansion of (+ b (+ c d)) in a 1538655137.678 * [misc]taylor: Taking taylor expansion of b in a 1538655137.678 * [misc]backup-simplify: Simplify b into b 1538655137.678 * [misc]taylor: Taking taylor expansion of (+ c d) in a 1538655137.678 * [misc]taylor: Taking taylor expansion of c in a 1538655137.678 * [misc]backup-simplify: Simplify c into c 1538655137.678 * [misc]taylor: Taking taylor expansion of d in a 1538655137.678 * [misc]backup-simplify: Simplify d into d 1538655137.678 * [misc]taylor: Taking taylor expansion of (+ a (+ b (+ c d))) in a 1538655137.678 * [misc]taylor: Taking taylor expansion of a in a 1538655137.678 * [misc]backup-simplify: Simplify 0 into 0 1538655137.678 * [misc]backup-simplify: Simplify 1 into 1 1538655137.678 * [misc]taylor: Taking taylor expansion of (+ b (+ c d)) in a 1538655137.678 * [misc]taylor: Taking taylor expansion of b in a 1538655137.678 * [misc]backup-simplify: Simplify b into b 1538655137.678 * [misc]taylor: Taking taylor expansion of (+ c d) in a 1538655137.678 * [misc]taylor: Taking taylor expansion of c in a 1538655137.678 * [misc]backup-simplify: Simplify c into c 1538655137.678 * [misc]taylor: Taking taylor expansion of d in a 1538655137.678 * [misc]backup-simplify: Simplify d into d 1538655137.678 * [misc]backup-simplify: Simplify (+ c d) into (+ c d) 1538655137.679 * [misc]backup-simplify: Simplify (+ b (+ c d)) into (+ b (+ c d)) 1538655137.679 * [misc]backup-simplify: Simplify (+ 0 (+ b (+ c d))) into (+ c (+ b d)) 1538655137.679 * [misc]taylor: Taking taylor expansion of (+ c (+ b d)) in c 1538655137.679 * [misc]taylor: Taking taylor expansion of c in c 1538655137.679 * [misc]backup-simplify: Simplify 0 into 0 1538655137.679 * [misc]backup-simplify: Simplify 1 into 1 1538655137.679 * [misc]taylor: Taking taylor expansion of (+ b d) in c 1538655137.679 * [misc]taylor: Taking taylor expansion of b in c 1538655137.679 * [misc]backup-simplify: Simplify b into b 1538655137.679 * [misc]taylor: Taking taylor expansion of d in c 1538655137.679 * [misc]backup-simplify: Simplify d into d 1538655137.679 * [misc]backup-simplify: Simplify (+ b d) into (+ b d) 1538655137.679 * [misc]backup-simplify: Simplify (+ 0 (+ b d)) into (+ b d) 1538655137.679 * [misc]taylor: Taking taylor expansion of (+ b d) in b 1538655137.679 * [misc]taylor: Taking taylor expansion of b in b 1538655137.679 * [misc]backup-simplify: Simplify 0 into 0 1538655137.679 * [misc]backup-simplify: Simplify 1 into 1 1538655137.679 * [misc]taylor: Taking taylor expansion of d in b 1538655137.679 * [misc]backup-simplify: Simplify d into d 1538655137.679 * [misc]backup-simplify: Simplify (+ 0 d) into d 1538655137.679 * [misc]taylor: Taking taylor expansion of d in d 1538655137.679 * [misc]backup-simplify: Simplify 0 into 0 1538655137.679 * [misc]backup-simplify: Simplify 1 into 1 1538655137.679 * [misc]backup-simplify: Simplify 0 into 0 1538655137.680 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655137.680 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655137.680 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538655137.680 * [misc]taylor: Taking taylor expansion of 1 in c 1538655137.680 * [misc]backup-simplify: Simplify 1 into 1 1538655137.680 * [misc]taylor: Taking taylor expansion of 1 in b 1538655137.680 * [misc]backup-simplify: Simplify 1 into 1 1538655137.680 * [misc]taylor: Taking taylor expansion of 1 in d 1538655137.680 * [misc]backup-simplify: Simplify 1 into 1 1538655137.681 * [misc]backup-simplify: Simplify 1 into 1 1538655137.681 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655137.681 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538655137.681 * [misc]taylor: Taking taylor expansion of 1 in b 1538655137.681 * [misc]backup-simplify: Simplify 1 into 1 1538655137.681 * [misc]taylor: Taking taylor expansion of 1 in d 1538655137.681 * [misc]backup-simplify: Simplify 1 into 1 1538655137.681 * [misc]backup-simplify: Simplify 1 into 1 1538655137.681 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538655137.681 * [misc]taylor: Taking taylor expansion of 1 in d 1538655137.681 * [misc]backup-simplify: Simplify 1 into 1 1538655137.681 * [misc]backup-simplify: Simplify 1 into 1 1538655137.682 * [misc]backup-simplify: Simplify (+ (* 1 (* 1 (* b (* 1 1)))) (+ (* 1 (* 1 (* 1 (* c 1)))) (* 1 (* 1 (* 1 (* 1 a)))))) into (+ a (+ b c)) 1538655137.682 * [misc]backup-simplify: Simplify (+ (+ (+ (/ 1 a) (/ 1 c)) (/ 1 b)) (/ 1 d)) into (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) 1538655137.682 * [misc]approximate: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in (a c b d) around 0 1538655137.682 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in d 1538655137.682 * [misc]taylor: Taking taylor expansion of (/ 1 a) in d 1538655137.682 * [misc]taylor: Taking taylor expansion of a in d 1538655137.682 * [misc]backup-simplify: Simplify a into a 1538655137.682 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1538655137.682 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in d 1538655137.682 * [misc]taylor: Taking taylor expansion of (/ 1 b) in d 1538655137.682 * [misc]taylor: Taking taylor expansion of b in d 1538655137.683 * [misc]backup-simplify: Simplify b into b 1538655137.683 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655137.683 * [misc]taylor: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 1538655137.683 * [misc]taylor: Taking taylor expansion of (/ 1 c) in d 1538655137.683 * [misc]taylor: Taking taylor expansion of c in d 1538655137.683 * [misc]backup-simplify: Simplify c into c 1538655137.683 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655137.683 * [misc]taylor: Taking taylor expansion of (/ 1 d) in d 1538655137.683 * [misc]taylor: Taking taylor expansion of d in d 1538655137.683 * [misc]backup-simplify: Simplify 0 into 0 1538655137.683 * [misc]backup-simplify: Simplify 1 into 1 1538655137.683 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655137.683 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in b 1538655137.683 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1538655137.683 * [misc]taylor: Taking taylor expansion of a in b 1538655137.683 * [misc]backup-simplify: Simplify a into a 1538655137.683 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1538655137.683 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 1538655137.683 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1538655137.683 * [misc]taylor: Taking taylor expansion of b in b 1538655137.683 * [misc]backup-simplify: Simplify 0 into 0 1538655137.683 * [misc]backup-simplify: Simplify 1 into 1 1538655137.684 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655137.684 * [misc]taylor: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 1538655137.684 * [misc]taylor: Taking taylor expansion of (/ 1 c) in b 1538655137.684 * [misc]taylor: Taking taylor expansion of c in b 1538655137.684 * [misc]backup-simplify: Simplify c into c 1538655137.684 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655137.684 * [misc]taylor: Taking taylor expansion of (/ 1 d) in b 1538655137.684 * [misc]taylor: Taking taylor expansion of d in b 1538655137.684 * [misc]backup-simplify: Simplify d into d 1538655137.684 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655137.684 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in c 1538655137.684 * [misc]taylor: Taking taylor expansion of (/ 1 a) in c 1538655137.684 * [misc]taylor: Taking taylor expansion of a in c 1538655137.684 * [misc]backup-simplify: Simplify a into a 1538655137.684 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1538655137.684 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in c 1538655137.684 * [misc]taylor: Taking taylor expansion of (/ 1 b) in c 1538655137.684 * [misc]taylor: Taking taylor expansion of b in c 1538655137.684 * [misc]backup-simplify: Simplify b into b 1538655137.684 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655137.684 * [misc]taylor: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1538655137.684 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1538655137.684 * [misc]taylor: Taking taylor expansion of c in c 1538655137.684 * [misc]backup-simplify: Simplify 0 into 0 1538655137.685 * [misc]backup-simplify: Simplify 1 into 1 1538655137.685 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655137.685 * [misc]taylor: Taking taylor expansion of (/ 1 d) in c 1538655137.685 * [misc]taylor: Taking taylor expansion of d in c 1538655137.685 * [misc]backup-simplify: Simplify d into d 1538655137.685 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655137.685 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in a 1538655137.685 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1538655137.685 * [misc]taylor: Taking taylor expansion of a in a 1538655137.685 * [misc]backup-simplify: Simplify 0 into 0 1538655137.685 * [misc]backup-simplify: Simplify 1 into 1 1538655137.685 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655137.685 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in a 1538655137.685 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1538655137.685 * [misc]taylor: Taking taylor expansion of b in a 1538655137.685 * [misc]backup-simplify: Simplify b into b 1538655137.685 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655137.685 * [misc]taylor: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 1538655137.685 * [misc]taylor: Taking taylor expansion of (/ 1 c) in a 1538655137.685 * [misc]taylor: Taking taylor expansion of c in a 1538655137.686 * [misc]backup-simplify: Simplify c into c 1538655137.686 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655137.686 * [misc]taylor: Taking taylor expansion of (/ 1 d) in a 1538655137.686 * [misc]taylor: Taking taylor expansion of d in a 1538655137.686 * [misc]backup-simplify: Simplify d into d 1538655137.686 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655137.686 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in a 1538655137.686 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1538655137.686 * [misc]taylor: Taking taylor expansion of a in a 1538655137.686 * [misc]backup-simplify: Simplify 0 into 0 1538655137.686 * [misc]backup-simplify: Simplify 1 into 1 1538655137.686 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655137.686 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in a 1538655137.686 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1538655137.686 * [misc]taylor: Taking taylor expansion of b in a 1538655137.686 * [misc]backup-simplify: Simplify b into b 1538655137.686 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655137.686 * [misc]taylor: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 1538655137.686 * [misc]taylor: Taking taylor expansion of (/ 1 c) in a 1538655137.686 * [misc]taylor: Taking taylor expansion of c in a 1538655137.686 * [misc]backup-simplify: Simplify c into c 1538655137.686 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655137.686 * [misc]taylor: Taking taylor expansion of (/ 1 d) in a 1538655137.686 * [misc]taylor: Taking taylor expansion of d in a 1538655137.687 * [misc]backup-simplify: Simplify d into d 1538655137.687 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655137.687 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538655137.687 * [misc]taylor: Taking taylor expansion of 1 in c 1538655137.687 * [misc]backup-simplify: Simplify 1 into 1 1538655137.687 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538655137.687 * [misc]backup-simplify: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 1538655137.688 * [misc]backup-simplify: Simplify (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) 1538655137.688 * [misc]backup-simplify: Simplify (+ 0 (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) into (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) 1538655137.688 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in c 1538655137.688 * [misc]taylor: Taking taylor expansion of (/ 1 b) in c 1538655137.688 * [misc]taylor: Taking taylor expansion of b in c 1538655137.688 * [misc]backup-simplify: Simplify b into b 1538655137.688 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655137.688 * [misc]taylor: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c 1538655137.688 * [misc]taylor: Taking taylor expansion of (/ 1 d) in c 1538655137.688 * [misc]taylor: Taking taylor expansion of d in c 1538655137.688 * [misc]backup-simplify: Simplify d into d 1538655137.688 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655137.688 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1538655137.688 * [misc]taylor: Taking taylor expansion of c in c 1538655137.688 * [misc]backup-simplify: Simplify 0 into 0 1538655137.688 * [misc]backup-simplify: Simplify 1 into 1 1538655137.688 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655137.689 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538655137.689 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538655137.689 * [misc]taylor: Taking taylor expansion of 1 in b 1538655137.689 * [misc]backup-simplify: Simplify 1 into 1 1538655137.689 * [misc]taylor: Taking taylor expansion of 1 in b 1538655137.689 * [misc]backup-simplify: Simplify 1 into 1 1538655137.689 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538655137.690 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1538655137.690 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 1538655137.690 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1538655137.690 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655137.690 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655137.690 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655137.690 * [misc]taylor: Taking taylor expansion of 0 in c 1538655137.690 * [misc]backup-simplify: Simplify 0 into 0 1538655137.691 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538655137.691 * [misc]backup-simplify: Simplify (+ (/ 1 d) 0) into (/ 1 d) 1538655137.691 * [misc]backup-simplify: Simplify (+ (/ 1 b) (/ 1 d)) into (+ (/ 1 b) (/ 1 d)) 1538655137.691 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (/ 1 d)) in b 1538655137.691 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1538655137.691 * [misc]taylor: Taking taylor expansion of b in b 1538655137.691 * [misc]backup-simplify: Simplify 0 into 0 1538655137.691 * [misc]backup-simplify: Simplify 1 into 1 1538655137.691 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655137.691 * [misc]taylor: Taking taylor expansion of (/ 1 d) in b 1538655137.691 * [misc]taylor: Taking taylor expansion of d in b 1538655137.691 * [misc]backup-simplify: Simplify d into d 1538655137.691 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655137.692 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538655137.692 * [misc]taylor: Taking taylor expansion of 1 in d 1538655137.692 * [misc]backup-simplify: Simplify 1 into 1 1538655137.692 * [misc]taylor: Taking taylor expansion of 0 in b 1538655137.692 * [misc]backup-simplify: Simplify 0 into 0 1538655137.692 * [misc]taylor: Taking taylor expansion of 1 in d 1538655137.692 * [misc]backup-simplify: Simplify 1 into 1 1538655137.692 * [misc]taylor: Taking taylor expansion of 1 in d 1538655137.692 * [misc]backup-simplify: Simplify 1 into 1 1538655137.692 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538655137.692 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1538655137.693 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 1538655137.693 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 1538655137.693 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655137.693 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655137.693 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655137.693 * [misc]taylor: Taking taylor expansion of 0 in c 1538655137.693 * [misc]backup-simplify: Simplify 0 into 0 1538655137.693 * [misc]taylor: Taking taylor expansion of 0 in b 1538655137.693 * [misc]backup-simplify: Simplify 0 into 0 1538655137.694 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1538655137.694 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1538655137.694 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538655137.694 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655137.694 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655137.694 * [misc]taylor: Taking taylor expansion of 0 in b 1538655137.695 * [misc]backup-simplify: Simplify 0 into 0 1538655137.695 * [misc]taylor: Taking taylor expansion of 0 in b 1538655137.695 * [misc]backup-simplify: Simplify 0 into 0 1538655137.695 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538655137.695 * [misc]backup-simplify: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 1538655137.695 * [misc]taylor: Taking taylor expansion of (/ 1 d) in d 1538655137.695 * [misc]taylor: Taking taylor expansion of d in d 1538655137.695 * [misc]backup-simplify: Simplify 0 into 0 1538655137.696 * [misc]backup-simplify: Simplify 1 into 1 1538655137.696 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655137.696 * [misc]backup-simplify: Simplify 1 into 1 1538655137.696 * [misc]taylor: Taking taylor expansion of 0 in d 1538655137.696 * [misc]backup-simplify: Simplify 0 into 0 1538655137.696 * [misc]taylor: Taking taylor expansion of 0 in d 1538655137.696 * [misc]backup-simplify: Simplify 0 into 0 1538655137.696 * [misc]taylor: Taking taylor expansion of 0 in d 1538655137.696 * [misc]backup-simplify: Simplify 0 into 0 1538655137.696 * [misc]backup-simplify: Simplify 1 into 1 1538655137.696 * [misc]backup-simplify: Simplify 1 into 1 1538655137.697 * [misc]backup-simplify: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 c)) 1)))) (+ (* 1 (* 1 (* (/ 1 (/ 1 b)) (* 1 1)))) (* 1 (* (/ 1 (/ 1 d)) (* 1 (* 1 1)))))) into (+ b (+ c d)) 1538655137.697 * [misc]backup-simplify: Simplify (+ (+ (+ (/ 1 (- a)) (/ 1 (- c))) (/ 1 (- b))) (/ 1 (- d))) into (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) 1538655137.697 * [misc]approximate: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) in (a c b d) around 0 1538655137.697 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) in d 1538655137.697 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in d 1538655137.697 * [misc]taylor: Taking taylor expansion of (/ 1 a) in d 1538655137.697 * [misc]taylor: Taking taylor expansion of a in d 1538655137.697 * [misc]backup-simplify: Simplify a into a 1538655137.697 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1538655137.697 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in d 1538655137.697 * [misc]taylor: Taking taylor expansion of (/ 1 b) in d 1538655137.698 * [misc]taylor: Taking taylor expansion of b in d 1538655137.698 * [misc]backup-simplify: Simplify b into b 1538655137.698 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655137.698 * [misc]taylor: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 1538655137.698 * [misc]taylor: Taking taylor expansion of (/ 1 c) in d 1538655137.698 * [misc]taylor: Taking taylor expansion of c in d 1538655137.698 * [misc]backup-simplify: Simplify c into c 1538655137.698 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655137.698 * [misc]taylor: Taking taylor expansion of (/ 1 d) in d 1538655137.698 * [misc]taylor: Taking taylor expansion of d in d 1538655137.698 * [misc]backup-simplify: Simplify 0 into 0 1538655137.698 * [misc]backup-simplify: Simplify 1 into 1 1538655137.698 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655137.698 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) in b 1538655137.698 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in b 1538655137.698 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1538655137.698 * [misc]taylor: Taking taylor expansion of a in b 1538655137.698 * [misc]backup-simplify: Simplify a into a 1538655137.698 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1538655137.698 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 1538655137.698 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1538655137.698 * [misc]taylor: Taking taylor expansion of b in b 1538655137.698 * [misc]backup-simplify: Simplify 0 into 0 1538655137.698 * [misc]backup-simplify: Simplify 1 into 1 1538655137.699 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655137.699 * [misc]taylor: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 1538655137.699 * [misc]taylor: Taking taylor expansion of (/ 1 c) in b 1538655137.699 * [misc]taylor: Taking taylor expansion of c in b 1538655137.699 * [misc]backup-simplify: Simplify c into c 1538655137.699 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655137.699 * [misc]taylor: Taking taylor expansion of (/ 1 d) in b 1538655137.699 * [misc]taylor: Taking taylor expansion of d in b 1538655137.699 * [misc]backup-simplify: Simplify d into d 1538655137.699 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655137.699 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) in c 1538655137.699 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in c 1538655137.699 * [misc]taylor: Taking taylor expansion of (/ 1 a) in c 1538655137.699 * [misc]taylor: Taking taylor expansion of a in c 1538655137.699 * [misc]backup-simplify: Simplify a into a 1538655137.699 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1538655137.699 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in c 1538655137.699 * [misc]taylor: Taking taylor expansion of (/ 1 b) in c 1538655137.699 * [misc]taylor: Taking taylor expansion of b in c 1538655137.699 * [misc]backup-simplify: Simplify b into b 1538655137.699 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655137.699 * [misc]taylor: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1538655137.699 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1538655137.700 * [misc]taylor: Taking taylor expansion of c in c 1538655137.700 * [misc]backup-simplify: Simplify 0 into 0 1538655137.700 * [misc]backup-simplify: Simplify 1 into 1 1538655137.700 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655137.700 * [misc]taylor: Taking taylor expansion of (/ 1 d) in c 1538655137.700 * [misc]taylor: Taking taylor expansion of d in c 1538655137.700 * [misc]backup-simplify: Simplify d into d 1538655137.700 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655137.700 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) in a 1538655137.700 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in a 1538655137.700 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1538655137.700 * [misc]taylor: Taking taylor expansion of a in a 1538655137.700 * [misc]backup-simplify: Simplify 0 into 0 1538655137.700 * [misc]backup-simplify: Simplify 1 into 1 1538655137.700 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655137.700 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in a 1538655137.700 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1538655137.700 * [misc]taylor: Taking taylor expansion of b in a 1538655137.700 * [misc]backup-simplify: Simplify b into b 1538655137.700 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655137.700 * [misc]taylor: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 1538655137.701 * [misc]taylor: Taking taylor expansion of (/ 1 c) in a 1538655137.701 * [misc]taylor: Taking taylor expansion of c in a 1538655137.701 * [misc]backup-simplify: Simplify c into c 1538655137.701 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655137.701 * [misc]taylor: Taking taylor expansion of (/ 1 d) in a 1538655137.701 * [misc]taylor: Taking taylor expansion of d in a 1538655137.701 * [misc]backup-simplify: Simplify d into d 1538655137.701 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655137.701 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) in a 1538655137.701 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in a 1538655137.701 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1538655137.701 * [misc]taylor: Taking taylor expansion of a in a 1538655137.701 * [misc]backup-simplify: Simplify 0 into 0 1538655137.701 * [misc]backup-simplify: Simplify 1 into 1 1538655137.701 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655137.701 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in a 1538655137.701 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1538655137.701 * [misc]taylor: Taking taylor expansion of b in a 1538655137.701 * [misc]backup-simplify: Simplify b into b 1538655137.701 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655137.701 * [misc]taylor: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 1538655137.701 * [misc]taylor: Taking taylor expansion of (/ 1 c) in a 1538655137.701 * [misc]taylor: Taking taylor expansion of c in a 1538655137.701 * [misc]backup-simplify: Simplify c into c 1538655137.702 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655137.702 * [misc]taylor: Taking taylor expansion of (/ 1 d) in a 1538655137.702 * [misc]taylor: Taking taylor expansion of d in a 1538655137.702 * [misc]backup-simplify: Simplify d into d 1538655137.702 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655137.702 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538655137.702 * [misc]backup-simplify: Simplify (- 1) into -1 1538655137.702 * [misc]taylor: Taking taylor expansion of -1 in c 1538655137.702 * [misc]backup-simplify: Simplify -1 into -1 1538655137.702 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538655137.703 * [misc]backup-simplify: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 1538655137.703 * [misc]backup-simplify: Simplify (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) 1538655137.703 * [misc]backup-simplify: Simplify (+ 0 (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) into (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) 1538655137.703 * [misc]backup-simplify: Simplify (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) into (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) 1538655137.703 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in c 1538655137.703 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in c 1538655137.703 * [misc]taylor: Taking taylor expansion of (/ 1 b) in c 1538655137.703 * [misc]taylor: Taking taylor expansion of b in c 1538655137.703 * [misc]backup-simplify: Simplify b into b 1538655137.703 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655137.703 * [misc]taylor: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1538655137.704 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1538655137.704 * [misc]taylor: Taking taylor expansion of c in c 1538655137.704 * [misc]backup-simplify: Simplify 0 into 0 1538655137.704 * [misc]backup-simplify: Simplify 1 into 1 1538655137.704 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655137.704 * [misc]taylor: Taking taylor expansion of (/ 1 d) in c 1538655137.704 * [misc]taylor: Taking taylor expansion of d in c 1538655137.704 * [misc]backup-simplify: Simplify d into d 1538655137.704 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655137.704 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538655137.704 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538655137.704 * [misc]backup-simplify: Simplify (- 1) into -1 1538655137.704 * [misc]taylor: Taking taylor expansion of -1 in b 1538655137.705 * [misc]backup-simplify: Simplify -1 into -1 1538655137.705 * [misc]taylor: Taking taylor expansion of -1 in b 1538655137.705 * [misc]backup-simplify: Simplify -1 into -1 1538655137.705 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538655137.705 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1538655137.705 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 1538655137.705 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1538655137.706 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655137.706 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655137.706 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655137.706 * [misc]backup-simplify: Simplify (- 0) into 0 1538655137.706 * [misc]taylor: Taking taylor expansion of 0 in c 1538655137.706 * [misc]backup-simplify: Simplify 0 into 0 1538655137.706 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538655137.706 * [misc]backup-simplify: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 1538655137.707 * [misc]backup-simplify: Simplify (+ (/ 1 b) (/ 1 d)) into (+ (/ 1 b) (/ 1 d)) 1538655137.707 * [misc]backup-simplify: Simplify (- (+ (/ 1 b) (/ 1 d))) into (- (+ (/ 1 b) (/ 1 d))) 1538655137.707 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 d))) in b 1538655137.707 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (/ 1 d)) in b 1538655137.707 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1538655137.707 * [misc]taylor: Taking taylor expansion of b in b 1538655137.707 * [misc]backup-simplify: Simplify 0 into 0 1538655137.707 * [misc]backup-simplify: Simplify 1 into 1 1538655137.707 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655137.707 * [misc]taylor: Taking taylor expansion of (/ 1 d) in b 1538655137.707 * [misc]taylor: Taking taylor expansion of d in b 1538655137.707 * [misc]backup-simplify: Simplify d into d 1538655137.707 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655137.707 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538655137.708 * [misc]backup-simplify: Simplify (- 1) into -1 1538655137.708 * [misc]taylor: Taking taylor expansion of -1 in d 1538655137.708 * [misc]backup-simplify: Simplify -1 into -1 1538655137.708 * [misc]taylor: Taking taylor expansion of 0 in b 1538655137.708 * [misc]backup-simplify: Simplify 0 into 0 1538655137.708 * [misc]taylor: Taking taylor expansion of -1 in d 1538655137.708 * [misc]backup-simplify: Simplify -1 into -1 1538655137.708 * [misc]taylor: Taking taylor expansion of -1 in d 1538655137.708 * [misc]backup-simplify: Simplify -1 into -1 1538655137.708 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538655137.709 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1538655137.709 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 1538655137.709 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 1538655137.709 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655137.709 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655137.709 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655137.710 * [misc]backup-simplify: Simplify (- 0) into 0 1538655137.710 * [misc]taylor: Taking taylor expansion of 0 in c 1538655137.710 * [misc]backup-simplify: Simplify 0 into 0 1538655137.710 * [misc]taylor: Taking taylor expansion of 0 in b 1538655137.710 * [misc]backup-simplify: Simplify 0 into 0 1538655137.710 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1538655137.710 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538655137.710 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1538655137.710 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655137.711 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655137.711 * [misc]backup-simplify: Simplify (- 0) into 0 1538655137.711 * [misc]taylor: Taking taylor expansion of 0 in b 1538655137.711 * [misc]backup-simplify: Simplify 0 into 0 1538655137.711 * [misc]taylor: Taking taylor expansion of 0 in b 1538655137.711 * [misc]backup-simplify: Simplify 0 into 0 1538655137.711 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538655137.711 * [misc]backup-simplify: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 1538655137.711 * [misc]backup-simplify: Simplify (- (/ 1 d)) into (- (/ 1 d)) 1538655137.711 * [misc]taylor: Taking taylor expansion of (- (/ 1 d)) in d 1538655137.711 * [misc]taylor: Taking taylor expansion of (/ 1 d) in d 1538655137.712 * [misc]taylor: Taking taylor expansion of d in d 1538655137.712 * [misc]backup-simplify: Simplify 0 into 0 1538655137.712 * [misc]backup-simplify: Simplify 1 into 1 1538655137.712 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655137.712 * [misc]backup-simplify: Simplify (- 1) into -1 1538655137.712 * [misc]backup-simplify: Simplify -1 into -1 1538655137.712 * [misc]taylor: Taking taylor expansion of 0 in d 1538655137.712 * [misc]backup-simplify: Simplify 0 into 0 1538655137.712 * [misc]taylor: Taking taylor expansion of 0 in d 1538655137.712 * [misc]backup-simplify: Simplify 0 into 0 1538655137.712 * [misc]taylor: Taking taylor expansion of 0 in d 1538655137.712 * [misc]backup-simplify: Simplify 0 into 0 1538655137.712 * [misc]backup-simplify: Simplify -1 into -1 1538655137.712 * [misc]backup-simplify: Simplify -1 into -1 1538655137.713 * [misc]backup-simplify: Simplify (+ (* -1 (* 1 (* 1 (* (/ 1 (/ 1 (- c))) 1)))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- b))) (* 1 1)))) (* -1 (* (/ 1 (/ 1 (- d))) (* 1 (* 1 1)))))) into (+ b (+ c d)) 1538655137.713 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2 1) 1538655137.714 * [misc]backup-simplify: Simplify (+ (+ a c) b) into (+ a (+ b c)) 1538655137.714 * [misc]approximate: Taking taylor expansion of (+ a (+ b c)) in (a c b) around 0 1538655137.714 * [misc]taylor: Taking taylor expansion of (+ a (+ b c)) in b 1538655137.714 * [misc]taylor: Taking taylor expansion of a in b 1538655137.714 * [misc]backup-simplify: Simplify a into a 1538655137.714 * [misc]taylor: Taking taylor expansion of (+ b c) in b 1538655137.714 * [misc]taylor: Taking taylor expansion of b in b 1538655137.714 * [misc]backup-simplify: Simplify 0 into 0 1538655137.714 * [misc]backup-simplify: Simplify 1 into 1 1538655137.714 * [misc]taylor: Taking taylor expansion of c in b 1538655137.714 * [misc]backup-simplify: Simplify c into c 1538655137.714 * [misc]taylor: Taking taylor expansion of (+ a (+ b c)) in c 1538655137.714 * [misc]taylor: Taking taylor expansion of a in c 1538655137.714 * [misc]backup-simplify: Simplify a into a 1538655137.714 * [misc]taylor: Taking taylor expansion of (+ b c) in c 1538655137.714 * [misc]taylor: Taking taylor expansion of b in c 1538655137.714 * [misc]backup-simplify: Simplify b into b 1538655137.714 * [misc]taylor: Taking taylor expansion of c in c 1538655137.714 * [misc]backup-simplify: Simplify 0 into 0 1538655137.714 * [misc]backup-simplify: Simplify 1 into 1 1538655137.714 * [misc]taylor: Taking taylor expansion of (+ a (+ b c)) in a 1538655137.714 * [misc]taylor: Taking taylor expansion of a in a 1538655137.714 * [misc]backup-simplify: Simplify 0 into 0 1538655137.714 * [misc]backup-simplify: Simplify 1 into 1 1538655137.714 * [misc]taylor: Taking taylor expansion of (+ b c) in a 1538655137.714 * [misc]taylor: Taking taylor expansion of b in a 1538655137.714 * [misc]backup-simplify: Simplify b into b 1538655137.714 * [misc]taylor: Taking taylor expansion of c in a 1538655137.714 * [misc]backup-simplify: Simplify c into c 1538655137.714 * [misc]taylor: Taking taylor expansion of (+ a (+ b c)) in a 1538655137.714 * [misc]taylor: Taking taylor expansion of a in a 1538655137.715 * [misc]backup-simplify: Simplify 0 into 0 1538655137.715 * [misc]backup-simplify: Simplify 1 into 1 1538655137.715 * [misc]taylor: Taking taylor expansion of (+ b c) in a 1538655137.715 * [misc]taylor: Taking taylor expansion of b in a 1538655137.715 * [misc]backup-simplify: Simplify b into b 1538655137.715 * [misc]taylor: Taking taylor expansion of c in a 1538655137.715 * [misc]backup-simplify: Simplify c into c 1538655137.715 * [misc]backup-simplify: Simplify (+ b c) into (+ b c) 1538655137.715 * [misc]backup-simplify: Simplify (+ 0 (+ b c)) into (+ c b) 1538655137.715 * [misc]taylor: Taking taylor expansion of (+ c b) in c 1538655137.715 * [misc]taylor: Taking taylor expansion of c in c 1538655137.715 * [misc]backup-simplify: Simplify 0 into 0 1538655137.715 * [misc]backup-simplify: Simplify 1 into 1 1538655137.715 * [misc]taylor: Taking taylor expansion of b in c 1538655137.715 * [misc]backup-simplify: Simplify b into b 1538655137.715 * [misc]backup-simplify: Simplify (+ 0 b) into b 1538655137.715 * [misc]taylor: Taking taylor expansion of b in b 1538655137.715 * [misc]backup-simplify: Simplify 0 into 0 1538655137.715 * [misc]backup-simplify: Simplify 1 into 1 1538655137.715 * [misc]backup-simplify: Simplify 0 into 0 1538655137.715 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655137.716 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538655137.716 * [misc]taylor: Taking taylor expansion of 1 in c 1538655137.716 * [misc]backup-simplify: Simplify 1 into 1 1538655137.716 * [misc]taylor: Taking taylor expansion of 1 in b 1538655137.716 * [misc]backup-simplify: Simplify 1 into 1 1538655137.716 * [misc]backup-simplify: Simplify 1 into 1 1538655137.716 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538655137.716 * [misc]taylor: Taking taylor expansion of 1 in b 1538655137.716 * [misc]backup-simplify: Simplify 1 into 1 1538655137.716 * [misc]backup-simplify: Simplify 1 into 1 1538655137.716 * [misc]backup-simplify: Simplify 1 into 1 1538655137.716 * [misc]backup-simplify: Simplify (+ (* 1 (* b (* 1 1))) (+ (* 1 (* 1 (* c 1))) (* 1 (* 1 (* 1 a))))) into (+ a (+ b c)) 1538655137.717 * [misc]backup-simplify: Simplify (+ (+ (/ 1 a) (/ 1 c)) (/ 1 b)) into (+ (/ 1 a) (+ (/ 1 b) (/ 1 c))) 1538655137.717 * [misc]approximate: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (/ 1 c))) in (a c b) around 0 1538655137.717 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (/ 1 c))) in b 1538655137.717 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1538655137.717 * [misc]taylor: Taking taylor expansion of a in b 1538655137.717 * [misc]backup-simplify: Simplify a into a 1538655137.717 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1538655137.717 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (/ 1 c)) in b 1538655137.717 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1538655137.717 * [misc]taylor: Taking taylor expansion of b in b 1538655137.717 * [misc]backup-simplify: Simplify 0 into 0 1538655137.717 * [misc]backup-simplify: Simplify 1 into 1 1538655137.717 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655137.717 * [misc]taylor: Taking taylor expansion of (/ 1 c) in b 1538655137.717 * [misc]taylor: Taking taylor expansion of c in b 1538655137.717 * [misc]backup-simplify: Simplify c into c 1538655137.717 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655137.717 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (/ 1 c))) in c 1538655137.718 * [misc]taylor: Taking taylor expansion of (/ 1 a) in c 1538655137.718 * [misc]taylor: Taking taylor expansion of a in c 1538655137.718 * [misc]backup-simplify: Simplify a into a 1538655137.718 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1538655137.718 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (/ 1 c)) in c 1538655137.718 * [misc]taylor: Taking taylor expansion of (/ 1 b) in c 1538655137.718 * [misc]taylor: Taking taylor expansion of b in c 1538655137.718 * [misc]backup-simplify: Simplify b into b 1538655137.718 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655137.718 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1538655137.718 * [misc]taylor: Taking taylor expansion of c in c 1538655137.718 * [misc]backup-simplify: Simplify 0 into 0 1538655137.718 * [misc]backup-simplify: Simplify 1 into 1 1538655137.718 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655137.718 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (/ 1 c))) in a 1538655137.718 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1538655137.718 * [misc]taylor: Taking taylor expansion of a in a 1538655137.718 * [misc]backup-simplify: Simplify 0 into 0 1538655137.718 * [misc]backup-simplify: Simplify 1 into 1 1538655137.718 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655137.718 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (/ 1 c)) in a 1538655137.719 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1538655137.719 * [misc]taylor: Taking taylor expansion of b in a 1538655137.719 * [misc]backup-simplify: Simplify b into b 1538655137.719 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655137.719 * [misc]taylor: Taking taylor expansion of (/ 1 c) in a 1538655137.719 * [misc]taylor: Taking taylor expansion of c in a 1538655137.719 * [misc]backup-simplify: Simplify c into c 1538655137.719 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655137.719 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (/ 1 c))) in a 1538655137.719 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1538655137.719 * [misc]taylor: Taking taylor expansion of a in a 1538655137.719 * [misc]backup-simplify: Simplify 0 into 0 1538655137.719 * [misc]backup-simplify: Simplify 1 into 1 1538655137.719 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655137.719 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (/ 1 c)) in a 1538655137.719 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1538655137.719 * [misc]taylor: Taking taylor expansion of b in a 1538655137.719 * [misc]backup-simplify: Simplify b into b 1538655137.719 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655137.719 * [misc]taylor: Taking taylor expansion of (/ 1 c) in a 1538655137.719 * [misc]taylor: Taking taylor expansion of c in a 1538655137.719 * [misc]backup-simplify: Simplify c into c 1538655137.720 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655137.720 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538655137.720 * [misc]taylor: Taking taylor expansion of 1 in c 1538655137.720 * [misc]backup-simplify: Simplify 1 into 1 1538655137.720 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538655137.720 * [misc]backup-simplify: Simplify (+ (/ 1 b) (/ 1 c)) into (+ (/ 1 b) (/ 1 c)) 1538655137.720 * [misc]backup-simplify: Simplify (+ 0 (+ (/ 1 b) (/ 1 c))) into (+ (/ 1 b) (/ 1 c)) 1538655137.720 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (/ 1 c)) in c 1538655137.720 * [misc]taylor: Taking taylor expansion of (/ 1 b) in c 1538655137.721 * [misc]taylor: Taking taylor expansion of b in c 1538655137.721 * [misc]backup-simplify: Simplify b into b 1538655137.721 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655137.721 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1538655137.721 * [misc]taylor: Taking taylor expansion of c in c 1538655137.721 * [misc]backup-simplify: Simplify 0 into 0 1538655137.721 * [misc]backup-simplify: Simplify 1 into 1 1538655137.721 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655137.721 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538655137.721 * [misc]taylor: Taking taylor expansion of 1 in b 1538655137.721 * [misc]backup-simplify: Simplify 1 into 1 1538655137.721 * [misc]taylor: Taking taylor expansion of 1 in b 1538655137.721 * [misc]backup-simplify: Simplify 1 into 1 1538655137.722 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538655137.722 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1538655137.722 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 1538655137.722 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655137.722 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655137.722 * [misc]taylor: Taking taylor expansion of 0 in c 1538655137.722 * [misc]backup-simplify: Simplify 0 into 0 1538655137.723 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538655137.723 * [misc]backup-simplify: Simplify (+ (/ 1 b) 0) into (/ 1 b) 1538655137.723 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1538655137.723 * [misc]taylor: Taking taylor expansion of b in b 1538655137.723 * [misc]backup-simplify: Simplify 0 into 0 1538655137.723 * [misc]backup-simplify: Simplify 1 into 1 1538655137.723 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655137.723 * [misc]backup-simplify: Simplify 1 into 1 1538655137.723 * [misc]taylor: Taking taylor expansion of 0 in b 1538655137.723 * [misc]backup-simplify: Simplify 0 into 0 1538655137.723 * [misc]backup-simplify: Simplify 1 into 1 1538655137.723 * [misc]backup-simplify: Simplify 1 into 1 1538655137.724 * [misc]backup-simplify: Simplify (+ (* 1 (* 1 (* 1 (/ 1 (/ 1 a))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 c)) 1))) (* 1 (* (/ 1 (/ 1 b)) (* 1 1))))) into (+ a (+ b c)) 1538655137.724 * [misc]backup-simplify: Simplify (+ (+ (/ 1 (- a)) (/ 1 (- c))) (/ 1 (- b))) into (- (+ (/ 1 a) (+ (/ 1 b) (/ 1 c)))) 1538655137.724 * [misc]approximate: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (/ 1 c)))) in (a c b) around 0 1538655137.724 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (/ 1 c)))) in b 1538655137.724 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (/ 1 c))) in b 1538655137.724 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1538655137.724 * [misc]taylor: Taking taylor expansion of a in b 1538655137.724 * [misc]backup-simplify: Simplify a into a 1538655137.724 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1538655137.724 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (/ 1 c)) in b 1538655137.724 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1538655137.724 * [misc]taylor: Taking taylor expansion of b in b 1538655137.724 * [misc]backup-simplify: Simplify 0 into 0 1538655137.724 * [misc]backup-simplify: Simplify 1 into 1 1538655137.725 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655137.725 * [misc]taylor: Taking taylor expansion of (/ 1 c) in b 1538655137.725 * [misc]taylor: Taking taylor expansion of c in b 1538655137.725 * [misc]backup-simplify: Simplify c into c 1538655137.725 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655137.725 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (/ 1 c)))) in c 1538655137.725 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (/ 1 c))) in c 1538655137.725 * [misc]taylor: Taking taylor expansion of (/ 1 a) in c 1538655137.725 * [misc]taylor: Taking taylor expansion of a in c 1538655137.725 * [misc]backup-simplify: Simplify a into a 1538655137.725 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1538655137.725 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (/ 1 c)) in c 1538655137.725 * [misc]taylor: Taking taylor expansion of (/ 1 b) in c 1538655137.725 * [misc]taylor: Taking taylor expansion of b in c 1538655137.725 * [misc]backup-simplify: Simplify b into b 1538655137.725 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655137.725 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1538655137.725 * [misc]taylor: Taking taylor expansion of c in c 1538655137.725 * [misc]backup-simplify: Simplify 0 into 0 1538655137.725 * [misc]backup-simplify: Simplify 1 into 1 1538655137.726 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655137.726 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (/ 1 c)))) in a 1538655137.726 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (/ 1 c))) in a 1538655137.726 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1538655137.726 * [misc]taylor: Taking taylor expansion of a in a 1538655137.726 * [misc]backup-simplify: Simplify 0 into 0 1538655137.726 * [misc]backup-simplify: Simplify 1 into 1 1538655137.726 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655137.726 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (/ 1 c)) in a 1538655137.726 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1538655137.726 * [misc]taylor: Taking taylor expansion of b in a 1538655137.726 * [misc]backup-simplify: Simplify b into b 1538655137.726 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655137.726 * [misc]taylor: Taking taylor expansion of (/ 1 c) in a 1538655137.726 * [misc]taylor: Taking taylor expansion of c in a 1538655137.726 * [misc]backup-simplify: Simplify c into c 1538655137.726 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655137.726 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (/ 1 c)))) in a 1538655137.726 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (/ 1 c))) in a 1538655137.726 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1538655137.726 * [misc]taylor: Taking taylor expansion of a in a 1538655137.726 * [misc]backup-simplify: Simplify 0 into 0 1538655137.726 * [misc]backup-simplify: Simplify 1 into 1 1538655137.727 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655137.727 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (/ 1 c)) in a 1538655137.727 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1538655137.727 * [misc]taylor: Taking taylor expansion of b in a 1538655137.727 * [misc]backup-simplify: Simplify b into b 1538655137.727 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655137.727 * [misc]taylor: Taking taylor expansion of (/ 1 c) in a 1538655137.727 * [misc]taylor: Taking taylor expansion of c in a 1538655137.727 * [misc]backup-simplify: Simplify c into c 1538655137.727 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655137.727 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538655137.727 * [misc]backup-simplify: Simplify (- 1) into -1 1538655137.727 * [misc]taylor: Taking taylor expansion of -1 in c 1538655137.727 * [misc]backup-simplify: Simplify -1 into -1 1538655137.728 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538655137.728 * [misc]backup-simplify: Simplify (+ (/ 1 b) (/ 1 c)) into (+ (/ 1 b) (/ 1 c)) 1538655137.728 * [misc]backup-simplify: Simplify (+ 0 (+ (/ 1 b) (/ 1 c))) into (+ (/ 1 b) (/ 1 c)) 1538655137.728 * [misc]backup-simplify: Simplify (- (+ (/ 1 b) (/ 1 c))) into (- (+ (/ 1 b) (/ 1 c))) 1538655137.728 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 c))) in c 1538655137.728 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (/ 1 c)) in c 1538655137.728 * [misc]taylor: Taking taylor expansion of (/ 1 b) in c 1538655137.728 * [misc]taylor: Taking taylor expansion of b in c 1538655137.728 * [misc]backup-simplify: Simplify b into b 1538655137.728 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655137.728 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1538655137.729 * [misc]taylor: Taking taylor expansion of c in c 1538655137.729 * [misc]backup-simplify: Simplify 0 into 0 1538655137.729 * [misc]backup-simplify: Simplify 1 into 1 1538655137.729 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655137.729 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538655137.729 * [misc]backup-simplify: Simplify (- 1) into -1 1538655137.729 * [misc]taylor: Taking taylor expansion of -1 in b 1538655137.729 * [misc]backup-simplify: Simplify -1 into -1 1538655137.729 * [misc]taylor: Taking taylor expansion of -1 in b 1538655137.729 * [misc]backup-simplify: Simplify -1 into -1 1538655137.730 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538655137.730 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1538655137.730 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 1538655137.730 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655137.730 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655137.730 * [misc]backup-simplify: Simplify (- 0) into 0 1538655137.730 * [misc]taylor: Taking taylor expansion of 0 in c 1538655137.730 * [misc]backup-simplify: Simplify 0 into 0 1538655137.731 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538655137.731 * [misc]backup-simplify: Simplify (+ (/ 1 b) 0) into (/ 1 b) 1538655137.731 * [misc]backup-simplify: Simplify (- (/ 1 b)) into (- (/ 1 b)) 1538655137.731 * [misc]taylor: Taking taylor expansion of (- (/ 1 b)) in b 1538655137.731 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1538655137.731 * [misc]taylor: Taking taylor expansion of b in b 1538655137.731 * [misc]backup-simplify: Simplify 0 into 0 1538655137.731 * [misc]backup-simplify: Simplify 1 into 1 1538655137.731 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655137.731 * [misc]backup-simplify: Simplify (- 1) into -1 1538655137.732 * [misc]backup-simplify: Simplify -1 into -1 1538655137.732 * [misc]taylor: Taking taylor expansion of 0 in b 1538655137.732 * [misc]backup-simplify: Simplify 0 into 0 1538655137.732 * [misc]backup-simplify: Simplify -1 into -1 1538655137.732 * [misc]backup-simplify: Simplify -1 into -1 1538655137.732 * [misc]backup-simplify: Simplify (+ (* -1 (* 1 (* 1 (/ 1 (/ 1 (- a)))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- c))) 1))) (* -1 (* (/ 1 (/ 1 (- b))) (* 1 1))))) into (+ a (+ b c)) 1538655137.732 * * * [misc]progress: simplifying candidates 1538655137.732 * * * * [misc]progress: [ 1 / 38 ] simplifiying candidate # 1538655137.732 * * * * [misc]progress: [ 2 / 38 ] simplifiying candidate # 1538655137.733 * * * * [misc]progress: [ 3 / 38 ] simplifiying candidate # 1538655137.733 * [enter]simplify: Simplifying (* (cbrt (+ (+ a c) b)) (cbrt (+ (+ a c) b))) 1538655137.734 * * [misc]simplify: iters left: 6 (7 enodes) 1538655137.737 * * [misc]simplify: iters left: 5 (11 enodes) 1538655137.742 * * [misc]simplify: iters left: 4 (17 enodes) 1538655137.748 * * [misc]simplify: iters left: 3 (19 enodes) 1538655137.755 * [exit]simplify: Simplified to (* (cbrt (+ b (+ c a))) (cbrt (+ b (+ c a)))) 1538655137.755 * [misc]simplify: Simplified (2 2 1) to (λ (a b c d) (* 2 (fma (* (cbrt (+ b (+ c a))) (cbrt (+ b (+ c a)))) (cbrt (+ (+ a c) b)) d))) 1538655137.755 * * * * [misc]progress: [ 4 / 38 ] simplifiying candidate # 1538655137.755 * [enter]simplify: Simplifying (sqrt (+ (+ a c) b)) 1538655137.756 * * [misc]simplify: iters left: 5 (6 enodes) 1538655137.759 * * [misc]simplify: iters left: 4 (10 enodes) 1538655137.762 * * [misc]simplify: iters left: 3 (16 enodes) 1538655137.767 * * [misc]simplify: iters left: 2 (18 enodes) 1538655137.773 * [exit]simplify: Simplified to (sqrt (+ (+ b a) c)) 1538655137.773 * [misc]simplify: Simplified (2 2 1) to (λ (a b c d) (* 2 (fma (sqrt (+ (+ b a) c)) (sqrt (+ (+ a c) b)) d))) 1538655137.773 * * * * [misc]progress: [ 5 / 38 ] simplifiying candidate # 1538655137.773 * * * * [misc]progress: [ 6 / 38 ] simplifiying candidate # 1538655137.773 * * * * [misc]progress: [ 7 / 38 ] simplifiying candidate # 1538655137.773 * * * * [misc]progress: [ 8 / 38 ] simplifiying candidate # 1538655137.773 * * * * [misc]progress: [ 9 / 38 ] simplifiying candidate # 1538655137.773 * * * * [misc]progress: [ 10 / 38 ] simplifiying candidate # 1538655137.774 * * * * [misc]progress: [ 11 / 38 ] simplifiying candidate # 1538655137.774 * * * * [misc]progress: [ 12 / 38 ] simplifiying candidate # 1538655137.774 * * * * [misc]progress: [ 13 / 38 ] simplifiying candidate # 1538655137.774 * * * * [misc]progress: [ 14 / 38 ] simplifiying candidate # 1538655137.774 * * * * [misc]progress: [ 15 / 38 ] simplifiying candidate # 1538655137.774 * [enter]simplify: Simplifying (+ a c) 1538655137.774 * * [misc]simplify: iters left: 2 (3 enodes) 1538655137.775 * * [misc]simplify: iters left: 1 (4 enodes) 1538655137.777 * [exit]simplify: Simplified to (+ c a) 1538655137.777 * [misc]simplify: Simplified (2 2 1) to (λ (a b c d) (* 2 (+ (+ c a) (+ b d)))) 1538655137.777 * * * * [misc]progress: [ 16 / 38 ] simplifiying candidate # 1538655137.777 * * * * [misc]progress: [ 17 / 38 ] simplifiying candidate # 1538655137.777 * * * * [misc]progress: [ 18 / 38 ] simplifiying candidate # 1538655137.777 * * * * [misc]progress: [ 19 / 38 ] simplifiying candidate # 1538655137.777 * [enter]simplify: Simplifying (* (cbrt (+ a c)) (cbrt (+ a c))) 1538655137.778 * * [misc]simplify: iters left: 5 (5 enodes) 1538655137.780 * * [misc]simplify: iters left: 4 (6 enodes) 1538655137.782 * [exit]simplify: Simplified to (* (cbrt (+ c a)) (cbrt (+ c a))) 1538655137.782 * [misc]simplify: Simplified (2 2 1 1) to (λ (a b c d) (* 2 (+ (fma (* (cbrt (+ c a)) (cbrt (+ c a))) (cbrt (+ a c)) b) d))) 1538655137.782 * * * * [misc]progress: [ 20 / 38 ] simplifiying candidate # 1538655137.782 * [enter]simplify: Simplifying (sqrt (+ a c)) 1538655137.783 * * [misc]simplify: iters left: 3 (4 enodes) 1538655137.784 * * [misc]simplify: iters left: 2 (5 enodes) 1538655137.786 * [exit]simplify: Simplified to (sqrt (+ c a)) 1538655137.786 * [misc]simplify: Simplified (2 2 1 1) to (λ (a b c d) (* 2 (+ (fma (sqrt (+ c a)) (sqrt (+ a c)) b) d))) 1538655137.786 * * * * [misc]progress: [ 21 / 38 ] simplifiying candidate # 1538655137.786 * * * * [misc]progress: [ 22 / 38 ] simplifiying candidate # 1538655137.786 * * * * [misc]progress: [ 23 / 38 ] simplifiying candidate # 1538655137.786 * * * * [misc]progress: [ 24 / 38 ] simplifiying candidate # 1538655137.786 * * * * [misc]progress: [ 25 / 38 ] simplifiying candidate # 1538655137.786 * * * * [misc]progress: [ 26 / 38 ] simplifiying candidate # 1538655137.786 * * * * [misc]progress: [ 27 / 38 ] simplifiying candidate # 1538655137.786 * * * * [misc]progress: [ 28 / 38 ] simplifiying candidate # 1538655137.786 * * * * [misc]progress: [ 29 / 38 ] simplifiying candidate # 1538655137.786 * * * * [misc]progress: [ 30 / 38 ] simplifiying candidate # 1538655137.786 * * * * [misc]progress: [ 31 / 38 ] simplifiying candidate # 1538655137.786 * * * * [misc]progress: [ 32 / 38 ] simplifiying candidate # 1538655137.786 * * * * [misc]progress: [ 33 / 38 ] simplifiying candidate # 1538655137.787 * [enter]simplify: Simplifying (+ a (+ b c)) 1538655137.787 * * [misc]simplify: iters left: 4 (5 enodes) 1538655137.789 * * [misc]simplify: iters left: 3 (9 enodes) 1538655137.793 * * [misc]simplify: iters left: 2 (15 enodes) 1538655137.798 * * [misc]simplify: iters left: 1 (17 enodes) 1538655137.803 * [exit]simplify: Simplified to (+ (+ b a) c) 1538655137.803 * [misc]simplify: Simplified (2 2) to (λ (a b c d) (* 2 (+ (+ b a) c))) 1538655137.803 * * * * [misc]progress: [ 34 / 38 ] simplifiying candidate # 1538655137.804 * [enter]simplify: Simplifying (+ b (+ c d)) 1538655137.804 * * [misc]simplify: iters left: 4 (5 enodes) 1538655137.807 * * [misc]simplify: iters left: 3 (9 enodes) 1538655137.810 * * [misc]simplify: iters left: 2 (15 enodes) 1538655137.813 * * [misc]simplify: iters left: 1 (17 enodes) 1538655137.815 * [exit]simplify: Simplified to (+ (+ c b) d) 1538655137.815 * [misc]simplify: Simplified (2 2) to (λ (a b c d) (* 2 (+ (+ c b) d))) 1538655137.815 * * * * [misc]progress: [ 35 / 38 ] simplifiying candidate # 1538655137.816 * [enter]simplify: Simplifying (+ b (+ c d)) 1538655137.816 * * [misc]simplify: iters left: 4 (5 enodes) 1538655137.817 * * [misc]simplify: iters left: 3 (9 enodes) 1538655137.821 * * [misc]simplify: iters left: 2 (15 enodes) 1538655137.823 * * [misc]simplify: iters left: 1 (17 enodes) 1538655137.826 * [exit]simplify: Simplified to (+ (+ c b) d) 1538655137.826 * [misc]simplify: Simplified (2 2) to (λ (a b c d) (* 2 (+ (+ c b) d))) 1538655137.826 * * * * [misc]progress: [ 36 / 38 ] simplifiying candidate # 1538655137.826 * [enter]simplify: Simplifying (+ a (+ b c)) 1538655137.826 * * [misc]simplify: iters left: 4 (5 enodes) 1538655137.827 * * [misc]simplify: iters left: 3 (9 enodes) 1538655137.829 * * [misc]simplify: iters left: 2 (15 enodes) 1538655137.832 * * [misc]simplify: iters left: 1 (17 enodes) 1538655137.834 * [exit]simplify: Simplified to (+ (+ b a) c) 1538655137.834 * [misc]simplify: Simplified (2 2 1) to (λ (a b c d) (* 2 (+ (+ (+ b a) c) d))) 1538655137.834 * * * * [misc]progress: [ 37 / 38 ] simplifiying candidate # 1538655137.834 * [enter]simplify: Simplifying (+ a (+ b c)) 1538655137.835 * * [misc]simplify: iters left: 4 (5 enodes) 1538655137.836 * * [misc]simplify: iters left: 3 (9 enodes) 1538655137.838 * * [misc]simplify: iters left: 2 (15 enodes) 1538655137.840 * * [misc]simplify: iters left: 1 (17 enodes) 1538655137.842 * [exit]simplify: Simplified to (+ (+ b a) c) 1538655137.842 * [misc]simplify: Simplified (2 2 1) to (λ (a b c d) (* 2 (+ (+ (+ b a) c) d))) 1538655137.842 * * * * [misc]progress: [ 38 / 38 ] simplifiying candidate # 1538655137.843 * [enter]simplify: Simplifying (+ a (+ b c)) 1538655137.843 * * [misc]simplify: iters left: 4 (5 enodes) 1538655137.844 * * [misc]simplify: iters left: 3 (9 enodes) 1538655137.846 * * [misc]simplify: iters left: 2 (15 enodes) 1538655137.848 * * [misc]simplify: iters left: 1 (17 enodes) 1538655137.851 * [exit]simplify: Simplified to (+ (+ b a) c) 1538655137.851 * [misc]simplify: Simplified (2 2 1) to (λ (a b c d) (* 2 (+ (+ (+ b a) c) d))) 1538655137.851 * * * [misc]progress: adding candidates to table 1538655138.532 * * [misc]progress: iteration 3 / 4 1538655138.532 * * * [misc]progress: picking best candidate 1538655138.665 * * * * [misc]pick: Picked # 1538655138.665 * * * [misc]progress: localizing error 1538655138.678 * * * [misc]progress: generating rewritten candidates 1538655138.678 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 2) 1538655138.793 * * * [misc]progress: generating series expansions 1538655138.793 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 2) 1538655138.793 * [misc]backup-simplify: Simplify (+ (+ a (+ c b)) d) into (+ a (+ b (+ c d))) 1538655138.793 * [misc]approximate: Taking taylor expansion of (+ a (+ b (+ c d))) in (a c b d) around 0 1538655138.793 * [misc]taylor: Taking taylor expansion of (+ a (+ b (+ c d))) in d 1538655138.793 * [misc]taylor: Taking taylor expansion of a in d 1538655138.793 * [misc]backup-simplify: Simplify a into a 1538655138.793 * [misc]taylor: Taking taylor expansion of (+ b (+ c d)) in d 1538655138.793 * [misc]taylor: Taking taylor expansion of b in d 1538655138.793 * [misc]backup-simplify: Simplify b into b 1538655138.793 * [misc]taylor: Taking taylor expansion of (+ c d) in d 1538655138.793 * [misc]taylor: Taking taylor expansion of c in d 1538655138.793 * [misc]backup-simplify: Simplify c into c 1538655138.793 * [misc]taylor: Taking taylor expansion of d in d 1538655138.793 * [misc]backup-simplify: Simplify 0 into 0 1538655138.793 * [misc]backup-simplify: Simplify 1 into 1 1538655138.793 * [misc]taylor: Taking taylor expansion of (+ a (+ b (+ c d))) in b 1538655138.794 * [misc]taylor: Taking taylor expansion of a in b 1538655138.794 * [misc]backup-simplify: Simplify a into a 1538655138.794 * [misc]taylor: Taking taylor expansion of (+ b (+ c d)) in b 1538655138.794 * [misc]taylor: Taking taylor expansion of b in b 1538655138.794 * [misc]backup-simplify: Simplify 0 into 0 1538655138.794 * [misc]backup-simplify: Simplify 1 into 1 1538655138.794 * [misc]taylor: Taking taylor expansion of (+ c d) in b 1538655138.794 * [misc]taylor: Taking taylor expansion of c in b 1538655138.794 * [misc]backup-simplify: Simplify c into c 1538655138.794 * [misc]taylor: Taking taylor expansion of d in b 1538655138.794 * [misc]backup-simplify: Simplify d into d 1538655138.794 * [misc]taylor: Taking taylor expansion of (+ a (+ b (+ c d))) in c 1538655138.794 * [misc]taylor: Taking taylor expansion of a in c 1538655138.794 * [misc]backup-simplify: Simplify a into a 1538655138.794 * [misc]taylor: Taking taylor expansion of (+ b (+ c d)) in c 1538655138.794 * [misc]taylor: Taking taylor expansion of b in c 1538655138.794 * [misc]backup-simplify: Simplify b into b 1538655138.794 * [misc]taylor: Taking taylor expansion of (+ c d) in c 1538655138.794 * [misc]taylor: Taking taylor expansion of c in c 1538655138.794 * [misc]backup-simplify: Simplify 0 into 0 1538655138.794 * [misc]backup-simplify: Simplify 1 into 1 1538655138.794 * [misc]taylor: Taking taylor expansion of d in c 1538655138.794 * [misc]backup-simplify: Simplify d into d 1538655138.794 * [misc]taylor: Taking taylor expansion of (+ a (+ b (+ c d))) in a 1538655138.794 * [misc]taylor: Taking taylor expansion of a in a 1538655138.794 * [misc]backup-simplify: Simplify 0 into 0 1538655138.794 * [misc]backup-simplify: Simplify 1 into 1 1538655138.794 * [misc]taylor: Taking taylor expansion of (+ b (+ c d)) in a 1538655138.794 * [misc]taylor: Taking taylor expansion of b in a 1538655138.794 * [misc]backup-simplify: Simplify b into b 1538655138.794 * [misc]taylor: Taking taylor expansion of (+ c d) in a 1538655138.794 * [misc]taylor: Taking taylor expansion of c in a 1538655138.794 * [misc]backup-simplify: Simplify c into c 1538655138.794 * [misc]taylor: Taking taylor expansion of d in a 1538655138.794 * [misc]backup-simplify: Simplify d into d 1538655138.795 * [misc]taylor: Taking taylor expansion of (+ a (+ b (+ c d))) in a 1538655138.795 * [misc]taylor: Taking taylor expansion of a in a 1538655138.795 * [misc]backup-simplify: Simplify 0 into 0 1538655138.795 * [misc]backup-simplify: Simplify 1 into 1 1538655138.795 * [misc]taylor: Taking taylor expansion of (+ b (+ c d)) in a 1538655138.795 * [misc]taylor: Taking taylor expansion of b in a 1538655138.795 * [misc]backup-simplify: Simplify b into b 1538655138.795 * [misc]taylor: Taking taylor expansion of (+ c d) in a 1538655138.795 * [misc]taylor: Taking taylor expansion of c in a 1538655138.795 * [misc]backup-simplify: Simplify c into c 1538655138.795 * [misc]taylor: Taking taylor expansion of d in a 1538655138.795 * [misc]backup-simplify: Simplify d into d 1538655138.795 * [misc]backup-simplify: Simplify (+ c d) into (+ c d) 1538655138.795 * [misc]backup-simplify: Simplify (+ b (+ c d)) into (+ b (+ c d)) 1538655138.795 * [misc]backup-simplify: Simplify (+ 0 (+ b (+ c d))) into (+ c (+ b d)) 1538655138.795 * [misc]taylor: Taking taylor expansion of (+ c (+ b d)) in c 1538655138.795 * [misc]taylor: Taking taylor expansion of c in c 1538655138.795 * [misc]backup-simplify: Simplify 0 into 0 1538655138.795 * [misc]backup-simplify: Simplify 1 into 1 1538655138.795 * [misc]taylor: Taking taylor expansion of (+ b d) in c 1538655138.795 * [misc]taylor: Taking taylor expansion of b in c 1538655138.795 * [misc]backup-simplify: Simplify b into b 1538655138.795 * [misc]taylor: Taking taylor expansion of d in c 1538655138.795 * [misc]backup-simplify: Simplify d into d 1538655138.795 * [misc]backup-simplify: Simplify (+ b d) into (+ b d) 1538655138.796 * [misc]backup-simplify: Simplify (+ 0 (+ b d)) into (+ b d) 1538655138.796 * [misc]taylor: Taking taylor expansion of (+ b d) in b 1538655138.796 * [misc]taylor: Taking taylor expansion of b in b 1538655138.796 * [misc]backup-simplify: Simplify 0 into 0 1538655138.796 * [misc]backup-simplify: Simplify 1 into 1 1538655138.796 * [misc]taylor: Taking taylor expansion of d in b 1538655138.796 * [misc]backup-simplify: Simplify d into d 1538655138.796 * [misc]backup-simplify: Simplify (+ 0 d) into d 1538655138.796 * [misc]taylor: Taking taylor expansion of d in d 1538655138.796 * [misc]backup-simplify: Simplify 0 into 0 1538655138.796 * [misc]backup-simplify: Simplify 1 into 1 1538655138.796 * [misc]backup-simplify: Simplify 0 into 0 1538655138.796 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655138.797 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655138.797 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538655138.797 * [misc]taylor: Taking taylor expansion of 1 in c 1538655138.797 * [misc]backup-simplify: Simplify 1 into 1 1538655138.797 * [misc]taylor: Taking taylor expansion of 1 in b 1538655138.797 * [misc]backup-simplify: Simplify 1 into 1 1538655138.797 * [misc]taylor: Taking taylor expansion of 1 in d 1538655138.797 * [misc]backup-simplify: Simplify 1 into 1 1538655138.797 * [misc]backup-simplify: Simplify 1 into 1 1538655138.797 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655138.797 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538655138.797 * [misc]taylor: Taking taylor expansion of 1 in b 1538655138.797 * [misc]backup-simplify: Simplify 1 into 1 1538655138.797 * [misc]taylor: Taking taylor expansion of 1 in d 1538655138.798 * [misc]backup-simplify: Simplify 1 into 1 1538655138.798 * [misc]backup-simplify: Simplify 1 into 1 1538655138.798 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538655138.798 * [misc]taylor: Taking taylor expansion of 1 in d 1538655138.798 * [misc]backup-simplify: Simplify 1 into 1 1538655138.798 * [misc]backup-simplify: Simplify 1 into 1 1538655138.798 * [misc]backup-simplify: Simplify (+ (* 1 (* 1 (* b (* 1 1)))) (+ (* 1 (* 1 (* 1 (* c 1)))) (* 1 (* 1 (* 1 (* 1 a)))))) into (+ a (+ b c)) 1538655138.799 * [misc]backup-simplify: Simplify (+ (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) (/ 1 d)) into (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) 1538655138.799 * [misc]approximate: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in (a c b d) around 0 1538655138.799 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in d 1538655138.799 * [misc]taylor: Taking taylor expansion of (/ 1 a) in d 1538655138.799 * [misc]taylor: Taking taylor expansion of a in d 1538655138.799 * [misc]backup-simplify: Simplify a into a 1538655138.799 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1538655138.799 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in d 1538655138.799 * [misc]taylor: Taking taylor expansion of (/ 1 b) in d 1538655138.799 * [misc]taylor: Taking taylor expansion of b in d 1538655138.799 * [misc]backup-simplify: Simplify b into b 1538655138.799 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655138.799 * [misc]taylor: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 1538655138.799 * [misc]taylor: Taking taylor expansion of (/ 1 c) in d 1538655138.799 * [misc]taylor: Taking taylor expansion of c in d 1538655138.799 * [misc]backup-simplify: Simplify c into c 1538655138.799 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655138.799 * [misc]taylor: Taking taylor expansion of (/ 1 d) in d 1538655138.799 * [misc]taylor: Taking taylor expansion of d in d 1538655138.799 * [misc]backup-simplify: Simplify 0 into 0 1538655138.799 * [misc]backup-simplify: Simplify 1 into 1 1538655138.800 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655138.800 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in b 1538655138.800 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1538655138.800 * [misc]taylor: Taking taylor expansion of a in b 1538655138.800 * [misc]backup-simplify: Simplify a into a 1538655138.800 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1538655138.800 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 1538655138.800 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1538655138.800 * [misc]taylor: Taking taylor expansion of b in b 1538655138.800 * [misc]backup-simplify: Simplify 0 into 0 1538655138.800 * [misc]backup-simplify: Simplify 1 into 1 1538655138.800 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655138.800 * [misc]taylor: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 1538655138.800 * [misc]taylor: Taking taylor expansion of (/ 1 c) in b 1538655138.800 * [misc]taylor: Taking taylor expansion of c in b 1538655138.800 * [misc]backup-simplify: Simplify c into c 1538655138.800 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655138.800 * [misc]taylor: Taking taylor expansion of (/ 1 d) in b 1538655138.800 * [misc]taylor: Taking taylor expansion of d in b 1538655138.800 * [misc]backup-simplify: Simplify d into d 1538655138.800 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655138.800 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in c 1538655138.801 * [misc]taylor: Taking taylor expansion of (/ 1 a) in c 1538655138.801 * [misc]taylor: Taking taylor expansion of a in c 1538655138.801 * [misc]backup-simplify: Simplify a into a 1538655138.801 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1538655138.801 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in c 1538655138.801 * [misc]taylor: Taking taylor expansion of (/ 1 b) in c 1538655138.801 * [misc]taylor: Taking taylor expansion of b in c 1538655138.801 * [misc]backup-simplify: Simplify b into b 1538655138.801 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655138.801 * [misc]taylor: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1538655138.801 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1538655138.801 * [misc]taylor: Taking taylor expansion of c in c 1538655138.801 * [misc]backup-simplify: Simplify 0 into 0 1538655138.801 * [misc]backup-simplify: Simplify 1 into 1 1538655138.801 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655138.801 * [misc]taylor: Taking taylor expansion of (/ 1 d) in c 1538655138.801 * [misc]taylor: Taking taylor expansion of d in c 1538655138.801 * [misc]backup-simplify: Simplify d into d 1538655138.801 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655138.801 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in a 1538655138.801 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1538655138.801 * [misc]taylor: Taking taylor expansion of a in a 1538655138.801 * [misc]backup-simplify: Simplify 0 into 0 1538655138.801 * [misc]backup-simplify: Simplify 1 into 1 1538655138.802 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655138.802 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in a 1538655138.802 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1538655138.802 * [misc]taylor: Taking taylor expansion of b in a 1538655138.802 * [misc]backup-simplify: Simplify b into b 1538655138.802 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655138.802 * [misc]taylor: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 1538655138.802 * [misc]taylor: Taking taylor expansion of (/ 1 c) in a 1538655138.802 * [misc]taylor: Taking taylor expansion of c in a 1538655138.802 * [misc]backup-simplify: Simplify c into c 1538655138.802 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655138.802 * [misc]taylor: Taking taylor expansion of (/ 1 d) in a 1538655138.802 * [misc]taylor: Taking taylor expansion of d in a 1538655138.802 * [misc]backup-simplify: Simplify d into d 1538655138.802 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655138.802 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in a 1538655138.802 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1538655138.802 * [misc]taylor: Taking taylor expansion of a in a 1538655138.802 * [misc]backup-simplify: Simplify 0 into 0 1538655138.802 * [misc]backup-simplify: Simplify 1 into 1 1538655138.802 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655138.802 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in a 1538655138.803 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1538655138.803 * [misc]taylor: Taking taylor expansion of b in a 1538655138.803 * [misc]backup-simplify: Simplify b into b 1538655138.803 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655138.803 * [misc]taylor: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 1538655138.803 * [misc]taylor: Taking taylor expansion of (/ 1 c) in a 1538655138.803 * [misc]taylor: Taking taylor expansion of c in a 1538655138.803 * [misc]backup-simplify: Simplify c into c 1538655138.803 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655138.803 * [misc]taylor: Taking taylor expansion of (/ 1 d) in a 1538655138.803 * [misc]taylor: Taking taylor expansion of d in a 1538655138.803 * [misc]backup-simplify: Simplify d into d 1538655138.803 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655138.803 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538655138.803 * [misc]taylor: Taking taylor expansion of 1 in c 1538655138.803 * [misc]backup-simplify: Simplify 1 into 1 1538655138.803 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538655138.804 * [misc]backup-simplify: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 1538655138.804 * [misc]backup-simplify: Simplify (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) 1538655138.804 * [misc]backup-simplify: Simplify (+ 0 (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) into (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) 1538655138.804 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in c 1538655138.804 * [misc]taylor: Taking taylor expansion of (/ 1 b) in c 1538655138.804 * [misc]taylor: Taking taylor expansion of b in c 1538655138.804 * [misc]backup-simplify: Simplify b into b 1538655138.804 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655138.804 * [misc]taylor: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c 1538655138.804 * [misc]taylor: Taking taylor expansion of (/ 1 d) in c 1538655138.804 * [misc]taylor: Taking taylor expansion of d in c 1538655138.804 * [misc]backup-simplify: Simplify d into d 1538655138.804 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655138.804 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1538655138.804 * [misc]taylor: Taking taylor expansion of c in c 1538655138.804 * [misc]backup-simplify: Simplify 0 into 0 1538655138.804 * [misc]backup-simplify: Simplify 1 into 1 1538655138.804 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655138.804 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538655138.804 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538655138.804 * [misc]taylor: Taking taylor expansion of 1 in b 1538655138.804 * [misc]backup-simplify: Simplify 1 into 1 1538655138.804 * [misc]taylor: Taking taylor expansion of 1 in b 1538655138.804 * [misc]backup-simplify: Simplify 1 into 1 1538655138.805 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538655138.805 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1538655138.805 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 1538655138.805 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1538655138.805 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655138.805 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655138.805 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655138.805 * [misc]taylor: Taking taylor expansion of 0 in c 1538655138.805 * [misc]backup-simplify: Simplify 0 into 0 1538655138.805 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538655138.805 * [misc]backup-simplify: Simplify (+ (/ 1 d) 0) into (/ 1 d) 1538655138.805 * [misc]backup-simplify: Simplify (+ (/ 1 b) (/ 1 d)) into (+ (/ 1 b) (/ 1 d)) 1538655138.806 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (/ 1 d)) in b 1538655138.806 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1538655138.806 * [misc]taylor: Taking taylor expansion of b in b 1538655138.806 * [misc]backup-simplify: Simplify 0 into 0 1538655138.806 * [misc]backup-simplify: Simplify 1 into 1 1538655138.806 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655138.806 * [misc]taylor: Taking taylor expansion of (/ 1 d) in b 1538655138.806 * [misc]taylor: Taking taylor expansion of d in b 1538655138.806 * [misc]backup-simplify: Simplify d into d 1538655138.806 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655138.806 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538655138.806 * [misc]taylor: Taking taylor expansion of 1 in d 1538655138.806 * [misc]backup-simplify: Simplify 1 into 1 1538655138.806 * [misc]taylor: Taking taylor expansion of 0 in b 1538655138.806 * [misc]backup-simplify: Simplify 0 into 0 1538655138.806 * [misc]taylor: Taking taylor expansion of 1 in d 1538655138.806 * [misc]backup-simplify: Simplify 1 into 1 1538655138.806 * [misc]taylor: Taking taylor expansion of 1 in d 1538655138.806 * [misc]backup-simplify: Simplify 1 into 1 1538655138.807 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538655138.807 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1538655138.807 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 1538655138.807 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 1538655138.807 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655138.807 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655138.807 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655138.807 * [misc]taylor: Taking taylor expansion of 0 in c 1538655138.807 * [misc]backup-simplify: Simplify 0 into 0 1538655138.807 * [misc]taylor: Taking taylor expansion of 0 in b 1538655138.807 * [misc]backup-simplify: Simplify 0 into 0 1538655138.807 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1538655138.807 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1538655138.808 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538655138.808 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655138.808 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655138.808 * [misc]taylor: Taking taylor expansion of 0 in b 1538655138.808 * [misc]backup-simplify: Simplify 0 into 0 1538655138.808 * [misc]taylor: Taking taylor expansion of 0 in b 1538655138.808 * [misc]backup-simplify: Simplify 0 into 0 1538655138.808 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538655138.808 * [misc]backup-simplify: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 1538655138.808 * [misc]taylor: Taking taylor expansion of (/ 1 d) in d 1538655138.808 * [misc]taylor: Taking taylor expansion of d in d 1538655138.808 * [misc]backup-simplify: Simplify 0 into 0 1538655138.808 * [misc]backup-simplify: Simplify 1 into 1 1538655138.808 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655138.808 * [misc]backup-simplify: Simplify 1 into 1 1538655138.808 * [misc]taylor: Taking taylor expansion of 0 in d 1538655138.808 * [misc]backup-simplify: Simplify 0 into 0 1538655138.808 * [misc]taylor: Taking taylor expansion of 0 in d 1538655138.808 * [misc]backup-simplify: Simplify 0 into 0 1538655138.808 * [misc]taylor: Taking taylor expansion of 0 in d 1538655138.808 * [misc]backup-simplify: Simplify 0 into 0 1538655138.808 * [misc]backup-simplify: Simplify 1 into 1 1538655138.809 * [misc]backup-simplify: Simplify 1 into 1 1538655138.809 * [misc]backup-simplify: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 c)) 1)))) (+ (* 1 (* 1 (* (/ 1 (/ 1 b)) (* 1 1)))) (* 1 (* (/ 1 (/ 1 d)) (* 1 (* 1 1)))))) into (+ b (+ c d)) 1538655138.809 * [misc]backup-simplify: Simplify (+ (+ (/ 1 (- a)) (+ (/ 1 (- c)) (/ 1 (- b)))) (/ 1 (- d))) into (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) 1538655138.809 * [misc]approximate: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) in (a c b d) around 0 1538655138.809 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) in d 1538655138.809 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in d 1538655138.809 * [misc]taylor: Taking taylor expansion of (/ 1 a) in d 1538655138.809 * [misc]taylor: Taking taylor expansion of a in d 1538655138.809 * [misc]backup-simplify: Simplify a into a 1538655138.809 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1538655138.809 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in d 1538655138.809 * [misc]taylor: Taking taylor expansion of (/ 1 b) in d 1538655138.809 * [misc]taylor: Taking taylor expansion of b in d 1538655138.809 * [misc]backup-simplify: Simplify b into b 1538655138.809 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655138.809 * [misc]taylor: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 1538655138.809 * [misc]taylor: Taking taylor expansion of (/ 1 c) in d 1538655138.809 * [misc]taylor: Taking taylor expansion of c in d 1538655138.809 * [misc]backup-simplify: Simplify c into c 1538655138.810 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655138.810 * [misc]taylor: Taking taylor expansion of (/ 1 d) in d 1538655138.810 * [misc]taylor: Taking taylor expansion of d in d 1538655138.810 * [misc]backup-simplify: Simplify 0 into 0 1538655138.810 * [misc]backup-simplify: Simplify 1 into 1 1538655138.810 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655138.810 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) in b 1538655138.810 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in b 1538655138.810 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1538655138.810 * [misc]taylor: Taking taylor expansion of a in b 1538655138.810 * [misc]backup-simplify: Simplify a into a 1538655138.810 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1538655138.810 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 1538655138.810 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1538655138.810 * [misc]taylor: Taking taylor expansion of b in b 1538655138.810 * [misc]backup-simplify: Simplify 0 into 0 1538655138.810 * [misc]backup-simplify: Simplify 1 into 1 1538655138.810 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655138.810 * [misc]taylor: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 1538655138.810 * [misc]taylor: Taking taylor expansion of (/ 1 c) in b 1538655138.810 * [misc]taylor: Taking taylor expansion of c in b 1538655138.810 * [misc]backup-simplify: Simplify c into c 1538655138.810 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655138.810 * [misc]taylor: Taking taylor expansion of (/ 1 d) in b 1538655138.810 * [misc]taylor: Taking taylor expansion of d in b 1538655138.810 * [misc]backup-simplify: Simplify d into d 1538655138.810 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655138.810 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) in c 1538655138.810 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in c 1538655138.810 * [misc]taylor: Taking taylor expansion of (/ 1 a) in c 1538655138.810 * [misc]taylor: Taking taylor expansion of a in c 1538655138.810 * [misc]backup-simplify: Simplify a into a 1538655138.810 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1538655138.810 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in c 1538655138.810 * [misc]taylor: Taking taylor expansion of (/ 1 b) in c 1538655138.810 * [misc]taylor: Taking taylor expansion of b in c 1538655138.810 * [misc]backup-simplify: Simplify b into b 1538655138.810 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655138.810 * [misc]taylor: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1538655138.810 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1538655138.810 * [misc]taylor: Taking taylor expansion of c in c 1538655138.810 * [misc]backup-simplify: Simplify 0 into 0 1538655138.810 * [misc]backup-simplify: Simplify 1 into 1 1538655138.811 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655138.811 * [misc]taylor: Taking taylor expansion of (/ 1 d) in c 1538655138.811 * [misc]taylor: Taking taylor expansion of d in c 1538655138.811 * [misc]backup-simplify: Simplify d into d 1538655138.811 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655138.811 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) in a 1538655138.811 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in a 1538655138.811 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1538655138.811 * [misc]taylor: Taking taylor expansion of a in a 1538655138.811 * [misc]backup-simplify: Simplify 0 into 0 1538655138.811 * [misc]backup-simplify: Simplify 1 into 1 1538655138.811 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655138.811 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in a 1538655138.811 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1538655138.811 * [misc]taylor: Taking taylor expansion of b in a 1538655138.811 * [misc]backup-simplify: Simplify b into b 1538655138.811 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655138.811 * [misc]taylor: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 1538655138.811 * [misc]taylor: Taking taylor expansion of (/ 1 c) in a 1538655138.811 * [misc]taylor: Taking taylor expansion of c in a 1538655138.811 * [misc]backup-simplify: Simplify c into c 1538655138.811 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655138.811 * [misc]taylor: Taking taylor expansion of (/ 1 d) in a 1538655138.811 * [misc]taylor: Taking taylor expansion of d in a 1538655138.811 * [misc]backup-simplify: Simplify d into d 1538655138.811 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655138.811 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) in a 1538655138.811 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in a 1538655138.811 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1538655138.811 * [misc]taylor: Taking taylor expansion of a in a 1538655138.811 * [misc]backup-simplify: Simplify 0 into 0 1538655138.811 * [misc]backup-simplify: Simplify 1 into 1 1538655138.811 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655138.811 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in a 1538655138.811 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1538655138.811 * [misc]taylor: Taking taylor expansion of b in a 1538655138.811 * [misc]backup-simplify: Simplify b into b 1538655138.811 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655138.812 * [misc]taylor: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 1538655138.812 * [misc]taylor: Taking taylor expansion of (/ 1 c) in a 1538655138.812 * [misc]taylor: Taking taylor expansion of c in a 1538655138.812 * [misc]backup-simplify: Simplify c into c 1538655138.812 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655138.812 * [misc]taylor: Taking taylor expansion of (/ 1 d) in a 1538655138.812 * [misc]taylor: Taking taylor expansion of d in a 1538655138.812 * [misc]backup-simplify: Simplify d into d 1538655138.812 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655138.812 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538655138.812 * [misc]backup-simplify: Simplify (- 1) into -1 1538655138.812 * [misc]taylor: Taking taylor expansion of -1 in c 1538655138.812 * [misc]backup-simplify: Simplify -1 into -1 1538655138.812 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538655138.812 * [misc]backup-simplify: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 1538655138.812 * [misc]backup-simplify: Simplify (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) 1538655138.812 * [misc]backup-simplify: Simplify (+ 0 (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) into (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) 1538655138.813 * [misc]backup-simplify: Simplify (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) into (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) 1538655138.813 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in c 1538655138.813 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in c 1538655138.813 * [misc]taylor: Taking taylor expansion of (/ 1 b) in c 1538655138.813 * [misc]taylor: Taking taylor expansion of b in c 1538655138.813 * [misc]backup-simplify: Simplify b into b 1538655138.813 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655138.813 * [misc]taylor: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1538655138.813 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1538655138.813 * [misc]taylor: Taking taylor expansion of c in c 1538655138.813 * [misc]backup-simplify: Simplify 0 into 0 1538655138.813 * [misc]backup-simplify: Simplify 1 into 1 1538655138.813 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655138.813 * [misc]taylor: Taking taylor expansion of (/ 1 d) in c 1538655138.813 * [misc]taylor: Taking taylor expansion of d in c 1538655138.813 * [misc]backup-simplify: Simplify d into d 1538655138.813 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655138.813 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538655138.813 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538655138.813 * [misc]backup-simplify: Simplify (- 1) into -1 1538655138.813 * [misc]taylor: Taking taylor expansion of -1 in b 1538655138.813 * [misc]backup-simplify: Simplify -1 into -1 1538655138.813 * [misc]taylor: Taking taylor expansion of -1 in b 1538655138.813 * [misc]backup-simplify: Simplify -1 into -1 1538655138.814 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538655138.814 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1538655138.814 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 1538655138.814 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1538655138.814 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655138.814 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655138.814 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655138.814 * [misc]backup-simplify: Simplify (- 0) into 0 1538655138.814 * [misc]taylor: Taking taylor expansion of 0 in c 1538655138.814 * [misc]backup-simplify: Simplify 0 into 0 1538655138.814 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538655138.814 * [misc]backup-simplify: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 1538655138.814 * [misc]backup-simplify: Simplify (+ (/ 1 b) (/ 1 d)) into (+ (/ 1 b) (/ 1 d)) 1538655138.815 * [misc]backup-simplify: Simplify (- (+ (/ 1 b) (/ 1 d))) into (- (+ (/ 1 b) (/ 1 d))) 1538655138.815 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 d))) in b 1538655138.815 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (/ 1 d)) in b 1538655138.815 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1538655138.815 * [misc]taylor: Taking taylor expansion of b in b 1538655138.815 * [misc]backup-simplify: Simplify 0 into 0 1538655138.815 * [misc]backup-simplify: Simplify 1 into 1 1538655138.815 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655138.815 * [misc]taylor: Taking taylor expansion of (/ 1 d) in b 1538655138.815 * [misc]taylor: Taking taylor expansion of d in b 1538655138.815 * [misc]backup-simplify: Simplify d into d 1538655138.815 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655138.815 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538655138.815 * [misc]backup-simplify: Simplify (- 1) into -1 1538655138.815 * [misc]taylor: Taking taylor expansion of -1 in d 1538655138.815 * [misc]backup-simplify: Simplify -1 into -1 1538655138.815 * [misc]taylor: Taking taylor expansion of 0 in b 1538655138.815 * [misc]backup-simplify: Simplify 0 into 0 1538655138.815 * [misc]taylor: Taking taylor expansion of -1 in d 1538655138.815 * [misc]backup-simplify: Simplify -1 into -1 1538655138.815 * [misc]taylor: Taking taylor expansion of -1 in d 1538655138.815 * [misc]backup-simplify: Simplify -1 into -1 1538655138.815 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538655138.816 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1538655138.816 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 1538655138.816 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 1538655138.816 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655138.816 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655138.816 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655138.816 * [misc]backup-simplify: Simplify (- 0) into 0 1538655138.816 * [misc]taylor: Taking taylor expansion of 0 in c 1538655138.816 * [misc]backup-simplify: Simplify 0 into 0 1538655138.816 * [misc]taylor: Taking taylor expansion of 0 in b 1538655138.816 * [misc]backup-simplify: Simplify 0 into 0 1538655138.816 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1538655138.817 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538655138.817 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1538655138.817 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655138.817 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655138.817 * [misc]backup-simplify: Simplify (- 0) into 0 1538655138.817 * [misc]taylor: Taking taylor expansion of 0 in b 1538655138.817 * [misc]backup-simplify: Simplify 0 into 0 1538655138.817 * [misc]taylor: Taking taylor expansion of 0 in b 1538655138.817 * [misc]backup-simplify: Simplify 0 into 0 1538655138.817 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538655138.817 * [misc]backup-simplify: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 1538655138.817 * [misc]backup-simplify: Simplify (- (/ 1 d)) into (- (/ 1 d)) 1538655138.817 * [misc]taylor: Taking taylor expansion of (- (/ 1 d)) in d 1538655138.817 * [misc]taylor: Taking taylor expansion of (/ 1 d) in d 1538655138.817 * [misc]taylor: Taking taylor expansion of d in d 1538655138.817 * [misc]backup-simplify: Simplify 0 into 0 1538655138.817 * [misc]backup-simplify: Simplify 1 into 1 1538655138.818 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655138.818 * [misc]backup-simplify: Simplify (- 1) into -1 1538655138.818 * [misc]backup-simplify: Simplify -1 into -1 1538655138.818 * [misc]taylor: Taking taylor expansion of 0 in d 1538655138.818 * [misc]backup-simplify: Simplify 0 into 0 1538655138.818 * [misc]taylor: Taking taylor expansion of 0 in d 1538655138.818 * [misc]backup-simplify: Simplify 0 into 0 1538655138.818 * [misc]taylor: Taking taylor expansion of 0 in d 1538655138.818 * [misc]backup-simplify: Simplify 0 into 0 1538655138.818 * [misc]backup-simplify: Simplify -1 into -1 1538655138.818 * [misc]backup-simplify: Simplify -1 into -1 1538655138.818 * [misc]backup-simplify: Simplify (+ (* -1 (* 1 (* 1 (* (/ 1 (/ 1 (- c))) 1)))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- b))) (* 1 1)))) (* -1 (* (/ 1 (/ 1 (- d))) (* 1 (* 1 1)))))) into (+ b (+ c d)) 1538655138.818 * * * [misc]progress: simplifying candidates 1538655138.818 * * * * [misc]progress: [ 1 / 19 ] simplifiying candidate # 1538655138.819 * * * * [misc]progress: [ 2 / 19 ] simplifiying candidate # 1538655138.819 * * * * [misc]progress: [ 3 / 19 ] simplifiying candidate # 1538655138.819 * [enter]simplify: Simplifying (* (cbrt (+ a (+ c b))) (cbrt (+ a (+ c b)))) 1538655138.819 * * [misc]simplify: iters left: 6 (7 enodes) 1538655138.821 * * [misc]simplify: iters left: 5 (11 enodes) 1538655138.824 * * [misc]simplify: iters left: 4 (17 enodes) 1538655138.832 * * [misc]simplify: iters left: 3 (19 enodes) 1538655138.835 * [exit]simplify: Simplified to (* (cbrt (+ (+ c a) b)) (cbrt (+ (+ c a) b))) 1538655138.835 * [misc]simplify: Simplified (2 2 1) to (λ (a b c d) (* 2 (fma (* (cbrt (+ (+ c a) b)) (cbrt (+ (+ c a) b))) (cbrt (+ a (+ c b))) d))) 1538655138.835 * * * * [misc]progress: [ 4 / 19 ] simplifiying candidate # 1538655138.835 * [enter]simplify: Simplifying (sqrt (+ a (+ c b))) 1538655138.836 * * [misc]simplify: iters left: 5 (6 enodes) 1538655138.837 * * [misc]simplify: iters left: 4 (10 enodes) 1538655138.839 * * [misc]simplify: iters left: 3 (16 enodes) 1538655138.842 * * [misc]simplify: iters left: 2 (18 enodes) 1538655138.844 * [exit]simplify: Simplified to (sqrt (+ b (+ c a))) 1538655138.844 * [misc]simplify: Simplified (2 2 1) to (λ (a b c d) (* 2 (fma (sqrt (+ b (+ c a))) (sqrt (+ a (+ c b))) d))) 1538655138.844 * * * * [misc]progress: [ 5 / 19 ] simplifiying candidate # 1538655138.844 * * * * [misc]progress: [ 6 / 19 ] simplifiying candidate # 1538655138.844 * * * * [misc]progress: [ 7 / 19 ] simplifiying candidate # 1538655138.844 * * * * [misc]progress: [ 8 / 19 ] simplifiying candidate # 1538655138.844 * * * * [misc]progress: [ 9 / 19 ] simplifiying candidate # 1538655138.844 * * * * [misc]progress: [ 10 / 19 ] simplifiying candidate # 1538655138.845 * * * * [misc]progress: [ 11 / 19 ] simplifiying candidate # 1538655138.845 * * * * [misc]progress: [ 12 / 19 ] simplifiying candidate # 1538655138.845 * * * * [misc]progress: [ 13 / 19 ] simplifiying candidate # 1538655138.845 * * * * [misc]progress: [ 14 / 19 ] simplifiying candidate # 1538655138.845 * * * * [misc]progress: [ 15 / 19 ] simplifiying candidate # 1538655138.845 * * * * [misc]progress: [ 16 / 19 ] simplifiying candidate # 1538655138.845 * * * * [misc]progress: [ 17 / 19 ] simplifiying candidate # 1538655138.845 * [enter]simplify: Simplifying (+ a (+ b c)) 1538655138.845 * * [misc]simplify: iters left: 4 (5 enodes) 1538655138.846 * * [misc]simplify: iters left: 3 (9 enodes) 1538655138.848 * * [misc]simplify: iters left: 2 (15 enodes) 1538655138.850 * * [misc]simplify: iters left: 1 (17 enodes) 1538655138.853 * [exit]simplify: Simplified to (+ (+ b a) c) 1538655138.853 * [misc]simplify: Simplified (2 2) to (λ (a b c d) (* 2 (+ (+ b a) c))) 1538655138.853 * * * * [misc]progress: [ 18 / 19 ] simplifiying candidate # 1538655138.853 * [enter]simplify: Simplifying (+ b (+ c d)) 1538655138.853 * * [misc]simplify: iters left: 4 (5 enodes) 1538655138.855 * * [misc]simplify: iters left: 3 (9 enodes) 1538655138.856 * * [misc]simplify: iters left: 2 (15 enodes) 1538655138.859 * * [misc]simplify: iters left: 1 (17 enodes) 1538655138.861 * [exit]simplify: Simplified to (+ (+ c b) d) 1538655138.861 * [misc]simplify: Simplified (2 2) to (λ (a b c d) (* 2 (+ (+ c b) d))) 1538655138.862 * * * * [misc]progress: [ 19 / 19 ] simplifiying candidate # 1538655138.862 * [enter]simplify: Simplifying (+ b (+ c d)) 1538655138.862 * * [misc]simplify: iters left: 4 (5 enodes) 1538655138.863 * * [misc]simplify: iters left: 3 (9 enodes) 1538655138.865 * * [misc]simplify: iters left: 2 (15 enodes) 1538655138.867 * * [misc]simplify: iters left: 1 (17 enodes) 1538655138.869 * [exit]simplify: Simplified to (+ (+ c b) d) 1538655138.870 * [misc]simplify: Simplified (2 2) to (λ (a b c d) (* 2 (+ (+ c b) d))) 1538655138.870 * * * [misc]progress: adding candidates to table 1538655139.202 * * [misc]progress: iteration 4 / 4 1538655139.202 * * * [misc]progress: picking best candidate 1538655139.315 * * * * [misc]pick: Picked # 1538655139.315 * * * [misc]progress: localizing error 1538655139.324 * * * [misc]progress: generating rewritten candidates 1538655139.324 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 2) 1538655139.380 * * * [misc]progress: generating series expansions 1538655139.380 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 2) 1538655139.381 * [misc]backup-simplify: Simplify (+ a (+ (+ c b) d)) into (+ a (+ b (+ c d))) 1538655139.381 * [misc]approximate: Taking taylor expansion of (+ a (+ b (+ c d))) in (a c b d) around 0 1538655139.381 * [misc]taylor: Taking taylor expansion of (+ a (+ b (+ c d))) in d 1538655139.381 * [misc]taylor: Taking taylor expansion of a in d 1538655139.381 * [misc]backup-simplify: Simplify a into a 1538655139.381 * [misc]taylor: Taking taylor expansion of (+ b (+ c d)) in d 1538655139.381 * [misc]taylor: Taking taylor expansion of b in d 1538655139.381 * [misc]backup-simplify: Simplify b into b 1538655139.381 * [misc]taylor: Taking taylor expansion of (+ c d) in d 1538655139.381 * [misc]taylor: Taking taylor expansion of c in d 1538655139.381 * [misc]backup-simplify: Simplify c into c 1538655139.381 * [misc]taylor: Taking taylor expansion of d in d 1538655139.381 * [misc]backup-simplify: Simplify 0 into 0 1538655139.381 * [misc]backup-simplify: Simplify 1 into 1 1538655139.381 * [misc]taylor: Taking taylor expansion of (+ a (+ b (+ c d))) in b 1538655139.381 * [misc]taylor: Taking taylor expansion of a in b 1538655139.381 * [misc]backup-simplify: Simplify a into a 1538655139.381 * [misc]taylor: Taking taylor expansion of (+ b (+ c d)) in b 1538655139.381 * [misc]taylor: Taking taylor expansion of b in b 1538655139.381 * [misc]backup-simplify: Simplify 0 into 0 1538655139.381 * [misc]backup-simplify: Simplify 1 into 1 1538655139.381 * [misc]taylor: Taking taylor expansion of (+ c d) in b 1538655139.381 * [misc]taylor: Taking taylor expansion of c in b 1538655139.381 * [misc]backup-simplify: Simplify c into c 1538655139.381 * [misc]taylor: Taking taylor expansion of d in b 1538655139.381 * [misc]backup-simplify: Simplify d into d 1538655139.381 * [misc]taylor: Taking taylor expansion of (+ a (+ b (+ c d))) in c 1538655139.381 * [misc]taylor: Taking taylor expansion of a in c 1538655139.381 * [misc]backup-simplify: Simplify a into a 1538655139.381 * [misc]taylor: Taking taylor expansion of (+ b (+ c d)) in c 1538655139.381 * [misc]taylor: Taking taylor expansion of b in c 1538655139.381 * [misc]backup-simplify: Simplify b into b 1538655139.381 * [misc]taylor: Taking taylor expansion of (+ c d) in c 1538655139.381 * [misc]taylor: Taking taylor expansion of c in c 1538655139.381 * [misc]backup-simplify: Simplify 0 into 0 1538655139.381 * [misc]backup-simplify: Simplify 1 into 1 1538655139.381 * [misc]taylor: Taking taylor expansion of d in c 1538655139.381 * [misc]backup-simplify: Simplify d into d 1538655139.381 * [misc]taylor: Taking taylor expansion of (+ a (+ b (+ c d))) in a 1538655139.381 * [misc]taylor: Taking taylor expansion of a in a 1538655139.381 * [misc]backup-simplify: Simplify 0 into 0 1538655139.381 * [misc]backup-simplify: Simplify 1 into 1 1538655139.381 * [misc]taylor: Taking taylor expansion of (+ b (+ c d)) in a 1538655139.381 * [misc]taylor: Taking taylor expansion of b in a 1538655139.381 * [misc]backup-simplify: Simplify b into b 1538655139.381 * [misc]taylor: Taking taylor expansion of (+ c d) in a 1538655139.381 * [misc]taylor: Taking taylor expansion of c in a 1538655139.381 * [misc]backup-simplify: Simplify c into c 1538655139.381 * [misc]taylor: Taking taylor expansion of d in a 1538655139.381 * [misc]backup-simplify: Simplify d into d 1538655139.381 * [misc]taylor: Taking taylor expansion of (+ a (+ b (+ c d))) in a 1538655139.381 * [misc]taylor: Taking taylor expansion of a in a 1538655139.381 * [misc]backup-simplify: Simplify 0 into 0 1538655139.381 * [misc]backup-simplify: Simplify 1 into 1 1538655139.381 * [misc]taylor: Taking taylor expansion of (+ b (+ c d)) in a 1538655139.381 * [misc]taylor: Taking taylor expansion of b in a 1538655139.381 * [misc]backup-simplify: Simplify b into b 1538655139.381 * [misc]taylor: Taking taylor expansion of (+ c d) in a 1538655139.381 * [misc]taylor: Taking taylor expansion of c in a 1538655139.382 * [misc]backup-simplify: Simplify c into c 1538655139.382 * [misc]taylor: Taking taylor expansion of d in a 1538655139.382 * [misc]backup-simplify: Simplify d into d 1538655139.382 * [misc]backup-simplify: Simplify (+ c d) into (+ c d) 1538655139.382 * [misc]backup-simplify: Simplify (+ b (+ c d)) into (+ b (+ c d)) 1538655139.382 * [misc]backup-simplify: Simplify (+ 0 (+ b (+ c d))) into (+ c (+ b d)) 1538655139.382 * [misc]taylor: Taking taylor expansion of (+ c (+ b d)) in c 1538655139.382 * [misc]taylor: Taking taylor expansion of c in c 1538655139.382 * [misc]backup-simplify: Simplify 0 into 0 1538655139.382 * [misc]backup-simplify: Simplify 1 into 1 1538655139.382 * [misc]taylor: Taking taylor expansion of (+ b d) in c 1538655139.382 * [misc]taylor: Taking taylor expansion of b in c 1538655139.382 * [misc]backup-simplify: Simplify b into b 1538655139.382 * [misc]taylor: Taking taylor expansion of d in c 1538655139.382 * [misc]backup-simplify: Simplify d into d 1538655139.382 * [misc]backup-simplify: Simplify (+ b d) into (+ b d) 1538655139.382 * [misc]backup-simplify: Simplify (+ 0 (+ b d)) into (+ b d) 1538655139.382 * [misc]taylor: Taking taylor expansion of (+ b d) in b 1538655139.382 * [misc]taylor: Taking taylor expansion of b in b 1538655139.382 * [misc]backup-simplify: Simplify 0 into 0 1538655139.382 * [misc]backup-simplify: Simplify 1 into 1 1538655139.382 * [misc]taylor: Taking taylor expansion of d in b 1538655139.382 * [misc]backup-simplify: Simplify d into d 1538655139.382 * [misc]backup-simplify: Simplify (+ 0 d) into d 1538655139.382 * [misc]taylor: Taking taylor expansion of d in d 1538655139.382 * [misc]backup-simplify: Simplify 0 into 0 1538655139.382 * [misc]backup-simplify: Simplify 1 into 1 1538655139.382 * [misc]backup-simplify: Simplify 0 into 0 1538655139.382 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655139.383 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655139.383 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538655139.383 * [misc]taylor: Taking taylor expansion of 1 in c 1538655139.383 * [misc]backup-simplify: Simplify 1 into 1 1538655139.383 * [misc]taylor: Taking taylor expansion of 1 in b 1538655139.383 * [misc]backup-simplify: Simplify 1 into 1 1538655139.383 * [misc]taylor: Taking taylor expansion of 1 in d 1538655139.383 * [misc]backup-simplify: Simplify 1 into 1 1538655139.383 * [misc]backup-simplify: Simplify 1 into 1 1538655139.383 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655139.383 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538655139.383 * [misc]taylor: Taking taylor expansion of 1 in b 1538655139.383 * [misc]backup-simplify: Simplify 1 into 1 1538655139.383 * [misc]taylor: Taking taylor expansion of 1 in d 1538655139.383 * [misc]backup-simplify: Simplify 1 into 1 1538655139.383 * [misc]backup-simplify: Simplify 1 into 1 1538655139.383 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538655139.383 * [misc]taylor: Taking taylor expansion of 1 in d 1538655139.383 * [misc]backup-simplify: Simplify 1 into 1 1538655139.383 * [misc]backup-simplify: Simplify 1 into 1 1538655139.384 * [misc]backup-simplify: Simplify (+ (* 1 (* 1 (* b (* 1 1)))) (+ (* 1 (* 1 (* 1 (* c 1)))) (* 1 (* 1 (* 1 (* 1 a)))))) into (+ a (+ b c)) 1538655139.384 * [misc]backup-simplify: Simplify (+ (/ 1 a) (+ (+ (/ 1 c) (/ 1 b)) (/ 1 d))) into (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) 1538655139.384 * [misc]approximate: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in (a c b d) around 0 1538655139.384 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in d 1538655139.384 * [misc]taylor: Taking taylor expansion of (/ 1 a) in d 1538655139.384 * [misc]taylor: Taking taylor expansion of a in d 1538655139.384 * [misc]backup-simplify: Simplify a into a 1538655139.384 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1538655139.384 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in d 1538655139.384 * [misc]taylor: Taking taylor expansion of (/ 1 b) in d 1538655139.384 * [misc]taylor: Taking taylor expansion of b in d 1538655139.384 * [misc]backup-simplify: Simplify b into b 1538655139.384 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655139.384 * [misc]taylor: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in d 1538655139.384 * [misc]taylor: Taking taylor expansion of (/ 1 d) in d 1538655139.384 * [misc]taylor: Taking taylor expansion of d in d 1538655139.384 * [misc]backup-simplify: Simplify 0 into 0 1538655139.384 * [misc]backup-simplify: Simplify 1 into 1 1538655139.384 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655139.384 * [misc]taylor: Taking taylor expansion of (/ 1 c) in d 1538655139.384 * [misc]taylor: Taking taylor expansion of c in d 1538655139.384 * [misc]backup-simplify: Simplify c into c 1538655139.384 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655139.384 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in b 1538655139.384 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1538655139.384 * [misc]taylor: Taking taylor expansion of a in b 1538655139.384 * [misc]backup-simplify: Simplify a into a 1538655139.384 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1538655139.384 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in b 1538655139.384 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1538655139.384 * [misc]taylor: Taking taylor expansion of b in b 1538655139.384 * [misc]backup-simplify: Simplify 0 into 0 1538655139.384 * [misc]backup-simplify: Simplify 1 into 1 1538655139.385 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655139.385 * [misc]taylor: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in b 1538655139.385 * [misc]taylor: Taking taylor expansion of (/ 1 d) in b 1538655139.385 * [misc]taylor: Taking taylor expansion of d in b 1538655139.385 * [misc]backup-simplify: Simplify d into d 1538655139.385 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655139.385 * [misc]taylor: Taking taylor expansion of (/ 1 c) in b 1538655139.385 * [misc]taylor: Taking taylor expansion of c in b 1538655139.385 * [misc]backup-simplify: Simplify c into c 1538655139.385 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655139.385 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in c 1538655139.385 * [misc]taylor: Taking taylor expansion of (/ 1 a) in c 1538655139.385 * [misc]taylor: Taking taylor expansion of a in c 1538655139.385 * [misc]backup-simplify: Simplify a into a 1538655139.385 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1538655139.385 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in c 1538655139.385 * [misc]taylor: Taking taylor expansion of (/ 1 b) in c 1538655139.385 * [misc]taylor: Taking taylor expansion of b in c 1538655139.385 * [misc]backup-simplify: Simplify b into b 1538655139.385 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655139.385 * [misc]taylor: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c 1538655139.385 * [misc]taylor: Taking taylor expansion of (/ 1 d) in c 1538655139.385 * [misc]taylor: Taking taylor expansion of d in c 1538655139.385 * [misc]backup-simplify: Simplify d into d 1538655139.385 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655139.385 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1538655139.385 * [misc]taylor: Taking taylor expansion of c in c 1538655139.385 * [misc]backup-simplify: Simplify 0 into 0 1538655139.385 * [misc]backup-simplify: Simplify 1 into 1 1538655139.385 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655139.385 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in a 1538655139.385 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1538655139.385 * [misc]taylor: Taking taylor expansion of a in a 1538655139.385 * [misc]backup-simplify: Simplify 0 into 0 1538655139.385 * [misc]backup-simplify: Simplify 1 into 1 1538655139.385 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655139.385 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in a 1538655139.385 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1538655139.385 * [misc]taylor: Taking taylor expansion of b in a 1538655139.386 * [misc]backup-simplify: Simplify b into b 1538655139.386 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655139.386 * [misc]taylor: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in a 1538655139.386 * [misc]taylor: Taking taylor expansion of (/ 1 d) in a 1538655139.386 * [misc]taylor: Taking taylor expansion of d in a 1538655139.386 * [misc]backup-simplify: Simplify d into d 1538655139.386 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655139.386 * [misc]taylor: Taking taylor expansion of (/ 1 c) in a 1538655139.386 * [misc]taylor: Taking taylor expansion of c in a 1538655139.386 * [misc]backup-simplify: Simplify c into c 1538655139.386 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655139.386 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in a 1538655139.386 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1538655139.386 * [misc]taylor: Taking taylor expansion of a in a 1538655139.386 * [misc]backup-simplify: Simplify 0 into 0 1538655139.386 * [misc]backup-simplify: Simplify 1 into 1 1538655139.386 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655139.386 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in a 1538655139.386 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1538655139.386 * [misc]taylor: Taking taylor expansion of b in a 1538655139.386 * [misc]backup-simplify: Simplify b into b 1538655139.386 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655139.386 * [misc]taylor: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in a 1538655139.386 * [misc]taylor: Taking taylor expansion of (/ 1 d) in a 1538655139.386 * [misc]taylor: Taking taylor expansion of d in a 1538655139.386 * [misc]backup-simplify: Simplify d into d 1538655139.386 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655139.386 * [misc]taylor: Taking taylor expansion of (/ 1 c) in a 1538655139.386 * [misc]taylor: Taking taylor expansion of c in a 1538655139.386 * [misc]backup-simplify: Simplify c into c 1538655139.386 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655139.386 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538655139.386 * [misc]taylor: Taking taylor expansion of 1 in c 1538655139.386 * [misc]backup-simplify: Simplify 1 into 1 1538655139.387 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538655139.387 * [misc]backup-simplify: Simplify (+ (/ 1 d) (/ 1 c)) into (+ (/ 1 c) (/ 1 d)) 1538655139.387 * [misc]backup-simplify: Simplify (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) into (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) 1538655139.387 * [misc]backup-simplify: Simplify (+ 0 (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) into (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) 1538655139.387 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in c 1538655139.387 * [misc]taylor: Taking taylor expansion of (/ 1 b) in c 1538655139.387 * [misc]taylor: Taking taylor expansion of b in c 1538655139.387 * [misc]backup-simplify: Simplify b into b 1538655139.387 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655139.387 * [misc]taylor: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1538655139.387 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1538655139.387 * [misc]taylor: Taking taylor expansion of c in c 1538655139.387 * [misc]backup-simplify: Simplify 0 into 0 1538655139.387 * [misc]backup-simplify: Simplify 1 into 1 1538655139.387 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655139.387 * [misc]taylor: Taking taylor expansion of (/ 1 d) in c 1538655139.387 * [misc]taylor: Taking taylor expansion of d in c 1538655139.387 * [misc]backup-simplify: Simplify d into d 1538655139.387 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655139.387 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538655139.387 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538655139.387 * [misc]taylor: Taking taylor expansion of 1 in b 1538655139.387 * [misc]backup-simplify: Simplify 1 into 1 1538655139.388 * [misc]taylor: Taking taylor expansion of 1 in b 1538655139.388 * [misc]backup-simplify: Simplify 1 into 1 1538655139.388 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538655139.388 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1538655139.388 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1538655139.388 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 1538655139.388 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655139.388 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655139.388 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655139.388 * [misc]taylor: Taking taylor expansion of 0 in c 1538655139.388 * [misc]backup-simplify: Simplify 0 into 0 1538655139.388 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538655139.389 * [misc]backup-simplify: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 1538655139.389 * [misc]backup-simplify: Simplify (+ (/ 1 b) (/ 1 d)) into (+ (/ 1 b) (/ 1 d)) 1538655139.389 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (/ 1 d)) in b 1538655139.389 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1538655139.389 * [misc]taylor: Taking taylor expansion of b in b 1538655139.389 * [misc]backup-simplify: Simplify 0 into 0 1538655139.389 * [misc]backup-simplify: Simplify 1 into 1 1538655139.389 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655139.389 * [misc]taylor: Taking taylor expansion of (/ 1 d) in b 1538655139.389 * [misc]taylor: Taking taylor expansion of d in b 1538655139.389 * [misc]backup-simplify: Simplify d into d 1538655139.389 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655139.389 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538655139.389 * [misc]taylor: Taking taylor expansion of 1 in d 1538655139.389 * [misc]backup-simplify: Simplify 1 into 1 1538655139.389 * [misc]taylor: Taking taylor expansion of 0 in b 1538655139.389 * [misc]backup-simplify: Simplify 0 into 0 1538655139.389 * [misc]taylor: Taking taylor expansion of 1 in d 1538655139.389 * [misc]backup-simplify: Simplify 1 into 1 1538655139.389 * [misc]taylor: Taking taylor expansion of 1 in d 1538655139.389 * [misc]backup-simplify: Simplify 1 into 1 1538655139.389 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538655139.389 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1538655139.390 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 1538655139.390 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 1538655139.390 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655139.390 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655139.390 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655139.390 * [misc]taylor: Taking taylor expansion of 0 in c 1538655139.390 * [misc]backup-simplify: Simplify 0 into 0 1538655139.390 * [misc]taylor: Taking taylor expansion of 0 in b 1538655139.390 * [misc]backup-simplify: Simplify 0 into 0 1538655139.390 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1538655139.390 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538655139.390 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1538655139.390 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655139.391 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655139.391 * [misc]taylor: Taking taylor expansion of 0 in b 1538655139.391 * [misc]backup-simplify: Simplify 0 into 0 1538655139.391 * [misc]taylor: Taking taylor expansion of 0 in b 1538655139.391 * [misc]backup-simplify: Simplify 0 into 0 1538655139.391 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538655139.391 * [misc]backup-simplify: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 1538655139.391 * [misc]taylor: Taking taylor expansion of (/ 1 d) in d 1538655139.391 * [misc]taylor: Taking taylor expansion of d in d 1538655139.391 * [misc]backup-simplify: Simplify 0 into 0 1538655139.391 * [misc]backup-simplify: Simplify 1 into 1 1538655139.391 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655139.391 * [misc]backup-simplify: Simplify 1 into 1 1538655139.391 * [misc]taylor: Taking taylor expansion of 0 in d 1538655139.391 * [misc]backup-simplify: Simplify 0 into 0 1538655139.391 * [misc]taylor: Taking taylor expansion of 0 in d 1538655139.391 * [misc]backup-simplify: Simplify 0 into 0 1538655139.391 * [misc]taylor: Taking taylor expansion of 0 in d 1538655139.391 * [misc]backup-simplify: Simplify 0 into 0 1538655139.391 * [misc]backup-simplify: Simplify 1 into 1 1538655139.391 * [misc]backup-simplify: Simplify 1 into 1 1538655139.392 * [misc]backup-simplify: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 c)) 1)))) (+ (* 1 (* 1 (* (/ 1 (/ 1 b)) (* 1 1)))) (* 1 (* (/ 1 (/ 1 d)) (* 1 (* 1 1)))))) into (+ b (+ c d)) 1538655139.392 * [misc]backup-simplify: Simplify (+ (/ 1 (- a)) (+ (+ (/ 1 (- c)) (/ 1 (- b))) (/ 1 (- d)))) into (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))))) 1538655139.392 * [misc]approximate: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))))) in (a c b d) around 0 1538655139.392 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))))) in d 1538655139.392 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in d 1538655139.392 * [misc]taylor: Taking taylor expansion of (/ 1 a) in d 1538655139.392 * [misc]taylor: Taking taylor expansion of a in d 1538655139.392 * [misc]backup-simplify: Simplify a into a 1538655139.392 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1538655139.392 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in d 1538655139.392 * [misc]taylor: Taking taylor expansion of (/ 1 b) in d 1538655139.392 * [misc]taylor: Taking taylor expansion of b in d 1538655139.392 * [misc]backup-simplify: Simplify b into b 1538655139.392 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655139.392 * [misc]taylor: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in d 1538655139.392 * [misc]taylor: Taking taylor expansion of (/ 1 d) in d 1538655139.392 * [misc]taylor: Taking taylor expansion of d in d 1538655139.392 * [misc]backup-simplify: Simplify 0 into 0 1538655139.392 * [misc]backup-simplify: Simplify 1 into 1 1538655139.392 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655139.392 * [misc]taylor: Taking taylor expansion of (/ 1 c) in d 1538655139.392 * [misc]taylor: Taking taylor expansion of c in d 1538655139.392 * [misc]backup-simplify: Simplify c into c 1538655139.392 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655139.392 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))))) in b 1538655139.392 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in b 1538655139.393 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1538655139.393 * [misc]taylor: Taking taylor expansion of a in b 1538655139.393 * [misc]backup-simplify: Simplify a into a 1538655139.393 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1538655139.393 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in b 1538655139.393 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1538655139.393 * [misc]taylor: Taking taylor expansion of b in b 1538655139.393 * [misc]backup-simplify: Simplify 0 into 0 1538655139.393 * [misc]backup-simplify: Simplify 1 into 1 1538655139.393 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655139.393 * [misc]taylor: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in b 1538655139.393 * [misc]taylor: Taking taylor expansion of (/ 1 d) in b 1538655139.393 * [misc]taylor: Taking taylor expansion of d in b 1538655139.393 * [misc]backup-simplify: Simplify d into d 1538655139.393 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655139.393 * [misc]taylor: Taking taylor expansion of (/ 1 c) in b 1538655139.393 * [misc]taylor: Taking taylor expansion of c in b 1538655139.393 * [misc]backup-simplify: Simplify c into c 1538655139.393 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655139.393 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))))) in c 1538655139.393 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in c 1538655139.393 * [misc]taylor: Taking taylor expansion of (/ 1 a) in c 1538655139.393 * [misc]taylor: Taking taylor expansion of a in c 1538655139.393 * [misc]backup-simplify: Simplify a into a 1538655139.393 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1538655139.393 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in c 1538655139.393 * [misc]taylor: Taking taylor expansion of (/ 1 b) in c 1538655139.393 * [misc]taylor: Taking taylor expansion of b in c 1538655139.393 * [misc]backup-simplify: Simplify b into b 1538655139.393 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655139.393 * [misc]taylor: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c 1538655139.393 * [misc]taylor: Taking taylor expansion of (/ 1 d) in c 1538655139.393 * [misc]taylor: Taking taylor expansion of d in c 1538655139.393 * [misc]backup-simplify: Simplify d into d 1538655139.393 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655139.393 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1538655139.393 * [misc]taylor: Taking taylor expansion of c in c 1538655139.393 * [misc]backup-simplify: Simplify 0 into 0 1538655139.393 * [misc]backup-simplify: Simplify 1 into 1 1538655139.393 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655139.393 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))))) in a 1538655139.393 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in a 1538655139.393 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1538655139.394 * [misc]taylor: Taking taylor expansion of a in a 1538655139.394 * [misc]backup-simplify: Simplify 0 into 0 1538655139.394 * [misc]backup-simplify: Simplify 1 into 1 1538655139.394 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655139.394 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in a 1538655139.394 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1538655139.394 * [misc]taylor: Taking taylor expansion of b in a 1538655139.394 * [misc]backup-simplify: Simplify b into b 1538655139.394 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655139.394 * [misc]taylor: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in a 1538655139.394 * [misc]taylor: Taking taylor expansion of (/ 1 d) in a 1538655139.394 * [misc]taylor: Taking taylor expansion of d in a 1538655139.394 * [misc]backup-simplify: Simplify d into d 1538655139.394 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655139.394 * [misc]taylor: Taking taylor expansion of (/ 1 c) in a 1538655139.394 * [misc]taylor: Taking taylor expansion of c in a 1538655139.394 * [misc]backup-simplify: Simplify c into c 1538655139.394 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655139.394 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))))) in a 1538655139.394 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in a 1538655139.394 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1538655139.394 * [misc]taylor: Taking taylor expansion of a in a 1538655139.394 * [misc]backup-simplify: Simplify 0 into 0 1538655139.394 * [misc]backup-simplify: Simplify 1 into 1 1538655139.394 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655139.394 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in a 1538655139.394 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1538655139.394 * [misc]taylor: Taking taylor expansion of b in a 1538655139.394 * [misc]backup-simplify: Simplify b into b 1538655139.394 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655139.394 * [misc]taylor: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in a 1538655139.394 * [misc]taylor: Taking taylor expansion of (/ 1 d) in a 1538655139.394 * [misc]taylor: Taking taylor expansion of d in a 1538655139.394 * [misc]backup-simplify: Simplify d into d 1538655139.394 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655139.394 * [misc]taylor: Taking taylor expansion of (/ 1 c) in a 1538655139.394 * [misc]taylor: Taking taylor expansion of c in a 1538655139.394 * [misc]backup-simplify: Simplify c into c 1538655139.394 * [misc]backup-simplify: Simplify (/ 1 c) into (/ 1 c) 1538655139.395 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538655139.395 * [misc]backup-simplify: Simplify (- 1) into -1 1538655139.395 * [misc]taylor: Taking taylor expansion of -1 in c 1538655139.395 * [misc]backup-simplify: Simplify -1 into -1 1538655139.395 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538655139.395 * [misc]backup-simplify: Simplify (+ (/ 1 d) (/ 1 c)) into (+ (/ 1 c) (/ 1 d)) 1538655139.395 * [misc]backup-simplify: Simplify (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) into (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) 1538655139.395 * [misc]backup-simplify: Simplify (+ 0 (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) into (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) 1538655139.395 * [misc]backup-simplify: Simplify (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) into (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) 1538655139.396 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in c 1538655139.396 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in c 1538655139.396 * [misc]taylor: Taking taylor expansion of (/ 1 b) in c 1538655139.396 * [misc]taylor: Taking taylor expansion of b in c 1538655139.396 * [misc]backup-simplify: Simplify b into b 1538655139.396 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1538655139.396 * [misc]taylor: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c 1538655139.396 * [misc]taylor: Taking taylor expansion of (/ 1 d) in c 1538655139.396 * [misc]taylor: Taking taylor expansion of d in c 1538655139.396 * [misc]backup-simplify: Simplify d into d 1538655139.396 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655139.396 * [misc]taylor: Taking taylor expansion of (/ 1 c) in c 1538655139.396 * [misc]taylor: Taking taylor expansion of c in c 1538655139.396 * [misc]backup-simplify: Simplify 0 into 0 1538655139.396 * [misc]backup-simplify: Simplify 1 into 1 1538655139.396 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655139.396 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538655139.397 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538655139.397 * [misc]backup-simplify: Simplify (- 1) into -1 1538655139.397 * [misc]taylor: Taking taylor expansion of -1 in b 1538655139.397 * [misc]backup-simplify: Simplify -1 into -1 1538655139.397 * [misc]taylor: Taking taylor expansion of -1 in b 1538655139.397 * [misc]backup-simplify: Simplify -1 into -1 1538655139.397 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538655139.397 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1538655139.397 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1538655139.398 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 1538655139.398 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655139.398 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655139.398 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655139.398 * [misc]backup-simplify: Simplify (- 0) into 0 1538655139.398 * [misc]taylor: Taking taylor expansion of 0 in c 1538655139.398 * [misc]backup-simplify: Simplify 0 into 0 1538655139.399 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538655139.399 * [misc]backup-simplify: Simplify (+ (/ 1 d) 0) into (/ 1 d) 1538655139.399 * [misc]backup-simplify: Simplify (+ (/ 1 b) (/ 1 d)) into (+ (/ 1 b) (/ 1 d)) 1538655139.399 * [misc]backup-simplify: Simplify (- (+ (/ 1 b) (/ 1 d))) into (- (+ (/ 1 b) (/ 1 d))) 1538655139.399 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 d))) in b 1538655139.399 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (/ 1 d)) in b 1538655139.399 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1538655139.399 * [misc]taylor: Taking taylor expansion of b in b 1538655139.399 * [misc]backup-simplify: Simplify 0 into 0 1538655139.399 * [misc]backup-simplify: Simplify 1 into 1 1538655139.399 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655139.399 * [misc]taylor: Taking taylor expansion of (/ 1 d) in b 1538655139.399 * [misc]taylor: Taking taylor expansion of d in b 1538655139.399 * [misc]backup-simplify: Simplify d into d 1538655139.399 * [misc]backup-simplify: Simplify (/ 1 d) into (/ 1 d) 1538655139.400 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538655139.400 * [misc]backup-simplify: Simplify (- 1) into -1 1538655139.400 * [misc]taylor: Taking taylor expansion of -1 in d 1538655139.400 * [misc]backup-simplify: Simplify -1 into -1 1538655139.400 * [misc]taylor: Taking taylor expansion of 0 in b 1538655139.400 * [misc]backup-simplify: Simplify 0 into 0 1538655139.400 * [misc]taylor: Taking taylor expansion of -1 in d 1538655139.400 * [misc]backup-simplify: Simplify -1 into -1 1538655139.400 * [misc]taylor: Taking taylor expansion of -1 in d 1538655139.400 * [misc]backup-simplify: Simplify -1 into -1 1538655139.401 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538655139.401 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1538655139.401 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 1538655139.401 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 1538655139.401 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655139.401 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655139.401 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655139.402 * [misc]backup-simplify: Simplify (- 0) into 0 1538655139.402 * [misc]taylor: Taking taylor expansion of 0 in c 1538655139.402 * [misc]backup-simplify: Simplify 0 into 0 1538655139.402 * [misc]taylor: Taking taylor expansion of 0 in b 1538655139.402 * [misc]backup-simplify: Simplify 0 into 0 1538655139.402 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1538655139.402 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1538655139.402 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538655139.402 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655139.403 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538655139.403 * [misc]backup-simplify: Simplify (- 0) into 0 1538655139.403 * [misc]taylor: Taking taylor expansion of 0 in b 1538655139.403 * [misc]backup-simplify: Simplify 0 into 0 1538655139.403 * [misc]taylor: Taking taylor expansion of 0 in b 1538655139.403 * [misc]backup-simplify: Simplify 0 into 0 1538655139.403 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538655139.403 * [misc]backup-simplify: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 1538655139.403 * [misc]backup-simplify: Simplify (- (/ 1 d)) into (- (/ 1 d)) 1538655139.403 * [misc]taylor: Taking taylor expansion of (- (/ 1 d)) in d 1538655139.403 * [misc]taylor: Taking taylor expansion of (/ 1 d) in d 1538655139.403 * [misc]taylor: Taking taylor expansion of d in d 1538655139.403 * [misc]backup-simplify: Simplify 0 into 0 1538655139.403 * [misc]backup-simplify: Simplify 1 into 1 1538655139.404 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538655139.404 * [misc]backup-simplify: Simplify (- 1) into -1 1538655139.404 * [misc]backup-simplify: Simplify -1 into -1 1538655139.404 * [misc]taylor: Taking taylor expansion of 0 in d 1538655139.404 * [misc]backup-simplify: Simplify 0 into 0 1538655139.404 * [misc]taylor: Taking taylor expansion of 0 in d 1538655139.404 * [misc]backup-simplify: Simplify 0 into 0 1538655139.404 * [misc]taylor: Taking taylor expansion of 0 in d 1538655139.404 * [misc]backup-simplify: Simplify 0 into 0 1538655139.404 * [misc]backup-simplify: Simplify -1 into -1 1538655139.404 * [misc]backup-simplify: Simplify -1 into -1 1538655139.405 * [misc]backup-simplify: Simplify (+ (* -1 (* 1 (* 1 (* (/ 1 (/ 1 (- c))) 1)))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- b))) (* 1 1)))) (* -1 (* (/ 1 (/ 1 (- d))) (* 1 (* 1 1)))))) into (+ b (+ c d)) 1538655139.405 * * * [misc]progress: simplifying candidates 1538655139.405 * * * * [misc]progress: [ 1 / 16 ] simplifiying candidate # 1538655139.405 * * * * [misc]progress: [ 2 / 16 ] simplifiying candidate # 1538655139.405 * * * * [misc]progress: [ 3 / 16 ] simplifiying candidate # 1538655139.405 * * * * [misc]progress: [ 4 / 16 ] simplifiying candidate # 1538655139.405 * * * * [misc]progress: [ 5 / 16 ] simplifiying candidate # 1538655139.405 * * * * [misc]progress: [ 6 / 16 ] simplifiying candidate # 1538655139.405 * * * * [misc]progress: [ 7 / 16 ] simplifiying candidate # 1538655139.405 * * * * [misc]progress: [ 8 / 16 ] simplifiying candidate # 1538655139.405 * * * * [misc]progress: [ 9 / 16 ] simplifiying candidate # 1538655139.405 * * * * [misc]progress: [ 10 / 16 ] simplifiying candidate # 1538655139.405 * * * * [misc]progress: [ 11 / 16 ] simplifiying candidate # 1538655139.406 * * * * [misc]progress: [ 12 / 16 ] simplifiying candidate # 1538655139.406 * * * * [misc]progress: [ 13 / 16 ] simplifiying candidate # 1538655139.406 * * * * [misc]progress: [ 14 / 16 ] simplifiying candidate # 1538655139.406 * [enter]simplify: Simplifying (+ a (+ b c)) 1538655139.406 * * [misc]simplify: iters left: 4 (5 enodes) 1538655139.409 * * [misc]simplify: iters left: 3 (9 enodes) 1538655139.413 * * [misc]simplify: iters left: 2 (15 enodes) 1538655139.416 * * [misc]simplify: iters left: 1 (17 enodes) 1538655139.419 * [exit]simplify: Simplified to (+ (+ b a) c) 1538655139.419 * [misc]simplify: Simplified (2 2) to (λ (a b c d) (* 2 (+ (+ b a) c))) 1538655139.419 * * * * [misc]progress: [ 15 / 16 ] simplifiying candidate # 1538655139.419 * [enter]simplify: Simplifying (+ b (+ c d)) 1538655139.419 * * [misc]simplify: iters left: 4 (5 enodes) 1538655139.421 * * [misc]simplify: iters left: 3 (9 enodes) 1538655139.423 * * [misc]simplify: iters left: 2 (15 enodes) 1538655139.425 * * [misc]simplify: iters left: 1 (17 enodes) 1538655139.427 * [exit]simplify: Simplified to (+ (+ c b) d) 1538655139.427 * [misc]simplify: Simplified (2 2) to (λ (a b c d) (* 2 (+ (+ c b) d))) 1538655139.427 * * * * [misc]progress: [ 16 / 16 ] simplifiying candidate # 1538655139.427 * [enter]simplify: Simplifying (+ b (+ c d)) 1538655139.428 * * [misc]simplify: iters left: 4 (5 enodes) 1538655139.429 * * [misc]simplify: iters left: 3 (9 enodes) 1538655139.431 * * [misc]simplify: iters left: 2 (15 enodes) 1538655139.433 * * [misc]simplify: iters left: 1 (17 enodes) 1538655139.436 * [exit]simplify: Simplified to (+ (+ c b) d) 1538655139.436 * [misc]simplify: Simplified (2 2) to (λ (a b c d) (* 2 (+ (+ c b) d))) 1538655139.436 * * * [misc]progress: adding candidates to table 1538655139.735 * [misc]progress: [Phase 3 of 3] Extracting. 1538655139.736 * * [misc]regime: Finding splitpoints for: (# # # # # # # # # # # # # # # #) 1538655139.759 * * * [misc]regime-changes: Trying 4 branch expressions: (d c b a) 1538655139.759 * * * * [misc]regimes: Trying to branch on d from (# # # # # # # # # # # # # # # #) 1538655139.933 * * * * [misc]regimes: Trying to branch on d from (# # # # # # # # # # # # # # # #) 1538655140.091 * * * * [misc]regimes: Trying to branch on c from (# # # # # # # # # # # # # # # #) 1538655140.300 * * * * [misc]regimes: Trying to branch on c from (# # # # # # # # # # # # # # # #) 1538655140.548 * * * * [misc]regimes: Trying to branch on b from (# # # # # # # # # # # # # # # #) 1538655140.756 * * * * [misc]regimes: Trying to branch on b from (# # # # # # # # # # # # # # # #) 1538655140.970 * * * * [misc]regimes: Trying to branch on a from (# # # # # # # # # # # # # # # #) 1538655141.228 * * * * [misc]regimes: Trying to branch on a from (# # # # # # # # # # # # # # # #) 1538655141.415 * * * [misc]regime: Found split indices: #(struct:option (#(struct:si 0 256)) (# # # # # # # # # # # # # # # #) ((-13.567274830910538 -2.4535605398432296 3.0029732871703585 13.19959062870748) (-13.776545300865319 -2.629908405025709 3.003438320395394 12.586431744403077) (-13.780239206956223 -2.1237552487948963 3.004783820711708 12.565405014739301) (-13.193042656559944 -2.282212941086994 3.0064544947321483 13.143746611171592) (-13.045559722529395 -2.2529313836533693 3.0091152822393292 13.251644740107805) (-13.74683550204664 -2.9397841330751517 3.011763219807609 12.658028948242556) (-13.767724360546099 -2.139352025804798 3.01538969591012 13.233149606542982) (-13.542990901372852 -2.9849989557789396 3.018008111644819 13.484491070305669) (-13.207120731069923 -2.419613956533151 3.0186500045777045 13.34657081825557) (-13.746526631721526 -2.4302727191461257 3.0216320300619177 13.109554912726043) (-13.963319794806324 -2.5890350688941948 3.022381306895992 13.064402801920938) (-13.578156052975508 -2.9457396874870363 3.0229183492191005 12.618890685875979) (-13.874012360262235 -2.749229371070113 3.023823198196999 12.979492710139324) (-13.257790702199069 -2.455321400122554 3.024292475811816 13.350063550141455) (-13.700515164442802 -2.9660237952385318 3.0274899354128983 12.752529823709368) (-13.113305903416082 -2.234826902219614 3.029626368192387 13.38304979297508) (-13.264857331331239 -2.458175463185312 3.042077242526756 12.905657206624085) (-13.183494130724537 -2.3353913606696377 3.0429400164725444 12.672837238896102) (-13.778057839223319 -2.225379332067322 3.043549699061179 12.587055260934772) (-13.51922842430768 -2.47345356692375 3.0468730377480484 12.890101235850002) (-13.869570318780813 -2.9772548144220474 3.0484012495605084 13.029039312246242) (-13.786199557957602 -2.152798192042204 3.050174887289618 12.997940656462896) (-13.835618672530035 -2.1015358125446935 3.0533934684613504 13.37679075555642) (-13.601972550121529 -2.453928078587018 3.054881517782785 12.73625661003953) (-13.52935224475854 -2.6070849330272763 3.056745532997082 12.86121164939464) (-13.934016364290109 -2.350047624919225 3.0569190169892315 12.522612842162328) (-13.615319332909609 -2.7753649181176026 3.0590408928486648 12.807978959496378) (-13.23994400603229 -2.7831912639579484 3.0606388574596055 13.371497062600657) (-13.5221214891131 -2.6479524296859687 3.0613593054824806 12.853247550504593) (-13.318746084900887 -2.17681354909294 3.062660744590436 12.624663365944723) (-13.161101932819133 -2.9388614647333138 3.062771610962817 12.845294567741492) (-13.586922010485315 -2.842742680575213 3.063829579956726 13.053198032364943) (-13.099180793910644 -2.541773092602585 3.0658145675490456 13.448429363822335) (-13.46179219795887 -2.7781127240058052 3.0661825854285554 13.47209837450799) (-13.161702437159052 -2.9236619075041825 3.0722813373057214 13.18749903239756) (-13.403500206676867 -2.826007768045959 3.0739765128035095 13.344751671654997) (-13.899021118237721 -2.881734497052113 3.074591423634607 13.465055935818302) (-13.363573005904314 -2.68741781134223 3.0753848993076423 12.909518156114808) (-13.119409895715698 -2.3031786986702567 3.0761694555298984 12.502752439278474) (-13.728897924906844 -2.0019218046536578 3.0785438378860004 13.31598246547388) (-13.702404286167821 -2.5981359051407673 3.082101586896709 12.975454728315038) (-13.051094339706072 -2.4811318744512056 3.0844291754196003 12.707649819946639) (-13.653916849659606 -2.1811933794283718 3.0853831202676494 13.069378111774386) (-13.322995708941006 -2.1849686294174098 3.0877082257193087 12.623403613527548) (-13.364718742647751 -2.145966794492233 3.088852395323376 13.12981944378493) (-13.677728343119272 -2.9275168066468247 3.089438196633991 13.003740374054415) (-13.513042525044035 -2.4972126318508825 3.0907484168704027 13.217658719604612) (-13.565523951970754 -2.32444276181311 3.0914073538673814 12.509174820838684) (-13.730300941659811 -2.9279952645989784 3.0930025597032067 12.640515581599114) (-13.171767979838622 -2.39700140418029 3.095414407739631 12.922358424356752) (-13.751280118451241 -2.097833362504663 3.0957821087102357 12.66282853608668) (-13.94850597766618 -2.305459242479481 3.099234034411316 12.943376616755232) (-13.441937401735466 -2.324301883993529 3.101697041055269 12.754585533238936) (-13.194955482637132 -2.3271964931776616 3.1019048545150003 12.955173047772316) (-13.328896305698143 -2.188435493892567 3.105014256260609 13.254349168592771) (-13.417878230381826 -2.5677039366828067 3.10840048892533 12.533738920709961) (-13.069398040781774 -2.3335246151447335 3.1095917362205583 13.225416008684812) (-13.94499247708017 -2.216566425179403 3.1112454350483625 12.8631488771873) (-13.786664776142226 -2.9176632508917546 3.1114891371888 13.345170645127965) (-13.8927708987048 -2.0749531751043477 3.1121778576432035 13.395699579008639) (-13.765030627793527 -2.7893960471800274 3.113196508114624 13.192212867703127) (-13.322994236193937 -2.5223008478120863 3.1134362657190335 13.0338730371176) (-13.01936603667356 -2.1415777480772302 3.113943288415562 13.191513744508944) (-13.393748302734561 -2.0722361959579954 3.1155599769660975 12.858970273642012) (-13.909120633560724 -2.9849650936567405 3.1163434036514666 12.579568402881625) (-13.577782611750994 -2.5128159400165218 3.1165575138341595 13.09542952473022) (-13.445912130628443 -2.8753920635796972 3.1174871065727463 12.774381415248678) (-13.927175199535233 -2.848886362488248 3.117780146638527 12.730323277143308) (-13.253720226827085 -2.618377520180683 3.1201298762901 12.625217699062695) (-13.391817193606052 -2.191416405203986 3.120603422062103 12.852881523992375) (-13.596945988039247 -2.6559962854312698 3.1217818221639293 12.891083007729456) (-13.67966510592367 -2.116237759312689 3.122183239908385 13.422298235714186) (-13.183842625366161 -2.122321914361831 3.1252864242922826 12.57381276457981) (-13.742494620258924 -2.0243477662094236 3.1303801290967592 12.922055965971722) (-13.340809351740909 -2.2286010048389584 3.1342259495738554 13.072504880277247) (-13.60211554897038 -2.3186431914363568 3.135049983808947 13.06945607099406) (-13.591519378800534 -2.7636828279940757 3.140311891789458 12.599680302643643) (-13.077881897448362 -2.017374739387311 3.1445452321688503 12.632972913728755) (-13.458877269085379 -2.849187640415609 3.145455222486399 12.582116659200574) (-13.301233077680271 -2.032363360220407 3.145546965845904 12.805246788613434) (-13.3300142461079 -2.943198110739374 3.1482262578520155 12.715831122720404) (-13.38863815806343 -2.8886450768057967 3.150589865093706 12.66203635722919) (-13.427295307683096 -2.769503379987832 3.150723806298709 12.820652254772027) (-13.85139194571834 -2.639251929021338 3.1512176283341065 12.982200173105532) (-13.178463838077034 -2.264672046033015 3.1514806061761584 13.317698435515087) (-13.622341952137385 -2.8362766049761095 3.1530669065658103 12.884496692998622) (-13.736204984534604 -2.132162721594238 3.1532928249190695 13.415682665960327) (-13.389426546095647 -2.20800247341838 3.15575088687183 12.978435715141165) (-13.625449205513123 -2.0654367557027133 3.1569667342370127 13.14358593867311) (-13.905164178668985 -2.544988034238616 3.1572419936339076 13.172157099660874) (-13.069499260338928 -2.8297463258369904 3.159602345184441 13.295526969720314) (-13.675880013614979 -2.3388709573774746 3.1602308789925084 12.66076783631458) (-13.117802115421279 -2.1921019240897937 3.1608902485403587 12.585254307976019) (-13.205972745979802 -2.566592701035198 3.1651860471054527 13.365914050525603) (-13.86734832144452 -2.946127446742527 3.165357045138899 13.429627222417553) (-13.629949200696382 -2.971840143558869 3.1658151388975826 13.40081995169368) (-13.509077709101453 -2.4256400581933826 3.16642749625036 13.413800258761363) (-13.873581531508037 -2.328918343339894 3.167558167164473 12.800182521436135) (-13.279022526156412 -2.7385438378782108 3.1676275116255797 12.893425125001293) (-13.429557110026463 -2.7386359839695205 3.1705768107647 12.844847467921085) (-13.754063364014254 -2.2416859103591693 3.1719744668749525 12.65598804719628) (-13.448329795489064 -2.617436465260304 3.1733849786472472 12.97491848891756) (-13.484767950827482 -2.9867098491374175 3.1752601618151157 12.86955923644299) (-13.55895359121024 -2.9736019482904155 3.1756117874487755 12.691077762466513) (-13.99620553463044 -2.884210376431746 3.1757935208998496 12.805859099966018) (-13.076362341094852 -2.9283783428604147 3.176193479843913 13.201965336269513) (-13.957269130924212 -2.60334858158957 3.176363521247714 13.443589263131017) (-13.932607077066733 -2.0353590301106577 3.1817044475182885 13.083913714404265) (-13.698113674861741 -2.0470308522004137 3.1818316152312374 13.321306945463183) (-13.574130792006756 -2.047896209345002 3.1835617888270984 12.951904941138713) (-13.44246700312553 -2.387035500941017 3.1855285146246457 12.747736626895739) (-13.67170764333758 -2.977223086295243 3.1890390578876207 13.199787951092723) (-13.030489307185475 -2.332544610515892 3.1922407527022054 13.019647859191334) (-13.420593548373503 -2.1241746987828463 3.1938369119206675 13.212682927968094) (-13.819166256624198 -2.1447486465729546 3.198529105355867 13.19763503756201) (-13.437676695459965 -2.8598247276233115 3.200553612233016 13.203510666762273) (-13.539336180110404 -2.533511924987302 3.2018719867816556 13.003193676753908) (-13.249542783833254 -2.0100885536266286 3.2036853674815444 12.716648129293405) (-13.789589834967622 -2.6807687472669937 3.205435176398803 13.108554035276155) (-13.374867597187068 -2.377712654675539 3.2064919227678867 12.660355547687434) (-13.203360583452257 -2.8488947837032934 3.2084639537210813 13.243961234644297) (-13.987434538230985 -2.2942007722062354 3.208734898444388 13.403958167268144) (-13.260675823213989 -2.763825783685144 3.2136989032077916 13.446133941772434) (-13.999742414589418 -2.431891493007248 3.217652197112274 12.934207292471578) (-13.593868422410663 -2.1104530016628855 3.2204407679479172 13.085282279101715) (-13.404971568549577 -2.1704682187510045 3.220722421377103 13.387370242426394) (-13.638725733014793 -2.5770556752370326 3.222974707914782 13.405376875247326) (-13.879054916879396 -2.8296790688339883 3.2234581591988825 12.822306032684354) (-13.361948861426415 -2.755984976514314 3.2265366602316763 13.004768130279722) (-13.833223538520944 -2.10822371631995 3.231118157781073 12.547361540101456) (-13.068016206662984 -2.7428025251309567 3.235097614335627 13.17769689693121) (-13.847173964349226 -2.9414683609489622 3.2358073303035657 12.826492517938156) (-13.149554067359368 -2.256027994515134 3.2380342809509486 12.745200165005432) (-13.88558431615217 -2.7926612172578067 3.2405064529342535 12.795022223259677) (-13.815832058579472 -2.264397024005864 3.2480820847251026 12.918305884882866) (-13.01237924419453 -2.634817693108966 3.254542204025299 13.305170338812381) (-13.629062037724255 -2.494479441188905 3.255326698799791 13.455001911328159) (-13.773856662740258 -2.71557176702903 3.2576649520851872 12.599035529648006) (-13.276680288952706 -2.661745195508439 3.2603142155168867 13.165895643171396) (-13.072518070562339 -2.210700280968573 3.260613791565221 12.945818622583635) (-13.039909294850053 -2.1842420704713232 3.261745403848777 12.890940547477522) (-13.357905162339792 -2.86484919265298 3.262641006998723 12.955098930411548) (-13.22919080976806 -2.0454305357755436 3.2632330292878278 13.111067010382465) (-13.681560264637477 -2.6369754867560946 3.2652010156721007 13.01448755236505) (-13.32938086483933 -2.2147575447839976 3.2699383449801296 13.29318721109126) (-13.269424487517899 -2.309352018065202 3.271446874196456 12.711522860977263) (-13.633637947914623 -2.3426719156913625 3.272817286471837 12.912737423232379) (-13.815525476479106 -2.353924850665114 3.2734992881857146 13.499649562280874) (-13.353349883495136 -2.5190371666489724 3.2751320066619325 12.689064251305231) (-13.4270253362241 -2.045847899625249 3.2766678140563608 12.588690285053227) (-13.792293782157822 -2.740448085428121 3.2768391124211966 12.608325857167621) (-13.55537414888606 -2.5969336456825904 3.2782017951176297 13.40952058445343) (-13.146358385506382 -2.9941361911893813 3.2795385965733987 13.28336980643495) (-13.308533826874573 -2.876148786971298 3.2796467158852036 12.54853508949263) (-13.716396870358246 -2.3452906527643957 3.2813111851489296 12.925884227298504) (-13.555401169837639 -2.813462800819102 3.2818433516007284 12.549745362034121) (-13.534242742808019 -2.494378733311236 3.2862277585637627 12.707266971724664) (-13.29971497704193 -2.966401699687996 3.2885116496571993 12.753829031955545) (-13.194019825982254 -2.7199676461206646 3.2901488843774 13.02562767865455) (-13.342154253848843 -2.1302589684526274 3.2926143970414468 12.75460449437025) (-13.391984445995815 -2.46047633618127 3.295962178086725 12.971347310420477) (-13.89330532125917 -2.848566984009014 3.3002577730879783 12.995056194099158) (-13.82967387193056 -2.208175672421934 3.3003527469578464 12.608193595741534) (-13.04151072279469 -2.8192920089552835 3.302038939406814 12.890752694329779) (-13.701089073613781 -2.5548869506541485 3.306727117673752 13.061699849158915) (-13.606269654678945 -2.562216657840596 3.308427410054867 13.34972543910306) (-13.76678186296053 -2.5753384023076715 3.308712950022785 13.423878383649855) (-13.018523739231613 -2.021518928434547 3.3164920895556245 13.11797795976282) (-13.167863883596501 -2.997105684428009 3.316503642515299 13.297424111328006) (-13.06517110032142 -2.3660853773169057 3.3165944710988167 12.793088434849382) (-13.210673883244011 -2.7319146670830836 3.3190827132474383 12.768384376788559) (-13.248337748151018 -2.535221001355008 3.3220788059231956 12.982459770745645) (-13.947627692209926 -2.477639559862911 3.3226413519693767 13.453307755984461) (-13.393080170185033 -2.0261896194597995 3.325228813930061 12.936489556272711) (-13.34213409451864 -2.328888778812298 3.331748279612469 12.56532264347201) (-13.550943124846077 -2.566234743712318 3.3324385262586267 12.523451449272946) (-13.681967824786401 -2.7944725825665038 3.3330253660520337 12.618381526194353) (-13.697719124731726 -2.3507282618369536 3.333766001428367 13.147654401284957) (-13.194537107930609 -2.3866419425769174 3.3339691482808744 13.125627601191402) (-13.244675237704561 -2.6403676858167366 3.3351563195918166 13.13377776417038) (-13.007617733166772 -2.7254640131711847 3.3362898283690945 12.603476346092132) (-13.787040024133207 -2.365677316553437 3.3369011614853474 13.441669297737029) (-13.396042467264037 -2.230730459613577 3.3426419730433383 13.018553429897674) (-13.386596256971686 -2.835017654786589 3.342731251234727 12.6092334514085) (-13.410838133680075 -2.855842400407837 3.3440365098783427 12.536754031559434) (-13.157265740852479 -2.4852545565785853 3.344419271123145 13.452601023354557) (-13.64221858009106 -2.971027140368835 3.3466693342269496 12.887592513526933) (-13.968609964719308 -2.0941331011980986 3.346815774954727 13.163013524667589) (-13.569872876157792 -2.833401832414428 3.351933221451858 12.550049140481608) (-13.881679162475418 -2.014549108308011 3.353087486063426 12.677112742074927) (-13.687166409902442 -2.9477629936174843 3.3533523544379555 13.018348555339433) (-13.609976040736086 -2.8631866447306527 3.3548969335904806 13.288460375056996) (-13.368628687918024 -2.180904864822389 3.358845512854363 13.026080224871933) (-13.543304734686707 -2.5612188755363006 3.3590335657391557 13.092867719157313) (-13.783865860282276 -2.262709792816058 3.359543503726515 12.98335175925864) (-13.43163480350149 -2.067148953710628 3.36076244208795 13.054676780934043) (-13.30483137469389 -2.10229401339665 3.3626333900743828 13.315735320835172) (-13.56517559654282 -2.0792833621379487 3.364087484770405 13.328517071924008) (-13.002950755396594 -2.593997946078678 3.3655121087671866 13.440859420740978) (-13.62888618371329 -2.927570852675454 3.3732937132968592 13.002393266207132) (-13.047251880798164 -2.119374354449224 3.376989661294932 13.149271548222364) (-13.973994301221474 -2.293676851241008 3.37920278872168 13.170524555926304) (-13.358616604896465 -2.5266498329296203 3.379787666792379 13.06293207835724) (-13.42591384544205 -2.518516329672854 3.380900363905017 12.97754370351728) (-13.920183994093469 -2.162179446503056 3.3920915472915594 13.318465249698862) (-13.608614743828399 -2.9668793733169125 3.396121223466806 12.537387642739791) (-13.270758047780696 -2.687446095975451 3.40016021041177 13.174008499869283) (-13.360176480665949 -2.603234755634116 3.401432244043604 13.422303079301612) (-13.1341294460089 -2.88616293151541 3.40567134947327 12.759607181009082) (-13.29396845956887 -2.577718742750369 3.406017567676014 13.381268506913234) (-13.345570479629812 -2.359966390089624 3.4065694405583558 12.975889179354093) (-13.6664019416522 -2.4440863718517223 3.407137067259335 13.127277076767411) (-13.387119757952545 -2.7173084969064507 3.410249720045859 13.117756020714095) (-13.670680730011016 -2.3798636382809857 3.4112789085746016 13.140369233074983) (-13.839386757631278 -2.4876883791162423 3.414302954518451 12.7682091662562) (-13.980912698334954 -2.6101343851109746 3.4158887158939453 12.788510876796684) (-13.914916885876918 -2.4221555372324617 3.4160547849589578 13.40223318914665) (-13.210766039615836 -2.3688152883506564 3.416743198382097 12.898718288910818) (-13.718147876126386 -2.795785159679439 3.417579962162794 13.471541735746923) (-13.484645794182688 -2.614690001869705 3.421506006143488 13.409038567537948) (-13.716894266713568 -2.7501031606814768 3.4223750218788584 12.916712300841976) (-13.380920111430482 -2.984161303744585 3.422622106368945 13.130708779757828) (-13.253563716806122 -2.7329262358786015 3.4257502649106253 13.056487081487036) (-13.50151460627266 -2.018147978211026 3.4259084701679847 13.33730897620151) (-13.82263539369816 -2.9213120486120685 3.432218316563718 12.643220901126295) (-13.347933559869498 -2.309431214305742 3.434758494947138 12.83198459676699) (-13.343401468903313 -2.5095209047822435 3.434781878378143 12.51810800730407) (-13.344553622001362 -2.3930956669958245 3.4364290347651383 12.930007311104696) (-13.089970717515166 -2.835099319779159 3.4375287663264076 12.77654815610902) (-13.228305598105488 -2.3782596410944565 3.4399992309476404 13.181127934182427) (-13.732218211627362 -2.467533726019869 3.4466874308884026 13.182675652783525) (-13.716416899630751 -2.0127643760809746 3.448188373312382 12.717022490825121) (-13.79669811820289 -2.833148337714972 3.450882103593147 13.264097087400959) (-13.028225876477038 -2.7104805428582015 3.456422543020367 12.831833008046376) (-13.832946701322918 -2.7772624594847377 3.4564305071676635 13.401185399187572) (-13.474238622522607 -2.698608031245071 3.4571094813315777 12.534649723951823) (-13.130619204547067 -2.251809747431071 3.4616773025950196 13.309565330056357) (-13.126172507362496 -2.201597974002799 3.4635714738047785 12.770453463477928) (-13.486001273420014 -2.1815936566287597 3.4645187630431464 12.890088328463877) (-13.360378159732601 -2.337488731377004 3.465463166924793 13.122584281224674) (-13.6295879691156 -2.9614830372308134 3.4696134356690553 13.083778882893888) (-13.310617574947436 -2.872067093890152 3.4711844480129503 13.489239317148472) (-13.78511091880854 -2.617977740997766 3.4768231408369266 12.950734049076619) (-13.09348269083771 -2.753051685018035 3.47789438344134 13.213262566925899) (-13.696253379079801 -2.5037361451233795 3.4802167288677275 12.527500180181747) (-13.308915498770766 -2.6936100687953237 3.4843969998801088 13.278560400678412) (-13.34989169712145 -2.128277639623125 3.485871097931542 12.730356812375316) (-13.700900001984884 -2.9546855137297405 3.4859678143984807 13.443209185649675) (-13.813118973782714 -2.841971957217009 3.4866600587275 12.846933308176315) (-13.382890011190852 -2.9570148012576802 3.487478541099452 12.58909731560665) (-13.365341409861301 -2.4625419072324446 3.4880021914076504 12.746943199808317) (-13.802989406298565 -2.7669155696499503 3.490274138577848 12.807173685587834) (-13.42394622840571 -2.0159748287289747 3.4908583637951445 12.734021878204032) (-13.236253144396654 -2.367339545816049 3.4911501558703257 13.08399977419333) (-13.423664895463492 -2.088985797252662 3.492094091410527 13.283143033043373) (-13.183685250697756 -2.015562585962572 3.4932594932792083 12.625093911325472)) c (17 5 9 5 5 5 9 129 5 65 17 5 5 1 9 3 1 17 17 65 1 65 9 9 17 5 5 1 17 17 17 1 9 1 17 17 17 1 1 9 1 1 17 1 5 9 9 9 1 17 1 17 1 5 1 17 5 17 17 1 33 9 3 5 3 33 17 5 17 9 33 5 9 9 9 17 5 5 1 5 17 1 17 17 3 17 9 1 9 33 5 17 17 5 33 1 9 1 65 17 17 33 1 9 9 17 65 9 9 9 33 1 5 1 9 33 33 5 17 33 17 9 5 17 5 3 1 5 1 17 5 1 9 5 33 1 5 9 1 5 1 1 1 65 3 17 1 5 33 17 5 5 1 1 1 1 65 17 9 1 9 17 17 17 33 1 1 3 9 5 17 1 1 9 33 17 1 1 5 5 17 9 5 1 1 3 1 17 9 17 1 1 5 9 17 9 1 1 5 1 5 9 1 9 1 5 5 5 1 5 9 9 9 1 17 9 1 5 17 5 17 33 17 3 9 9 65 5 9 3 1 9 33 9 33 33 5 9 5 9 1 1 257 5 17 1 5 9 1 17 17 1 5 5 5 5)) 1538655141.423 * [enter]simplify: Simplifying (* 2 (+ a (+ (+ c b) d))) 1538655141.424 * * [misc]simplify: iters left: 6 (9 enodes) 1538655141.426 * * [misc]simplify: iters left: 5 (13 enodes) 1538655141.428 * [exit]simplify: Simplified to (* (+ a (+ d (+ b c))) 2) 1538655141.428 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1538655143.689 * * * * [misc]points: Filtering points with unrepresentable outputs 1538655143.693 * * * * [exit]points: Sampled 8000 points with exact outputs