6.485 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.035 * * * [progress]: [2/2] Setting up program. 0.037 * [progress]: [Phase 2 of 3] Improving. 0.037 * [simplify]: Simplifying: (* (+ a (+ b (+ c d))) 2.0) 0.037 * * [simplify]: Extracting # 0 : cost 0 0.037 * * [simplify]: Extracting # 1 : cost 0 0.037 * * [simplify]: Extracting # 2 : cost 0 0.038 * * [simplify]: Extracting # 3 : cost 0 0.038 * * [simplify]: Extracting # 4 : cost 0 0.038 * * [simplify]: Extracting # 5 : cost 0 0.038 * * [simplify]: Extracting # 6 : cost 0 0.038 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 0.039 * * [simplify]: Extracting # 0 : cost 0 0.039 * * [simplify]: Extracting # 1 : cost 0 0.039 * * [simplify]: Extracting # 2 : cost 0 0.039 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 0.042 * * [simplify]: Extracting # 0 : cost 0 0.042 * * [simplify]: Extracting # 1 : cost 0 0.042 * * [simplify]: Extracting # 2 : cost 0 0.042 * * [simplify]: iteration 2 : 53 enodes (cost 9 ) 0.057 * * [simplify]: Extracting # 0 : cost 0 0.058 * * [simplify]: Extracting # 1 : cost 0 0.058 * * [simplify]: Extracting # 2 : cost 0 0.058 * * [simplify]: iteration 3 : 150 enodes (cost 9 ) 0.136 * * [simplify]: Extracting # 0 : cost 0 0.136 * * [simplify]: Extracting # 1 : cost 0 0.136 * * [simplify]: Extracting # 2 : cost 0 0.136 * * [simplify]: iteration 4 : 295 enodes (cost 9 ) 0.243 * * [simplify]: Extracting # 0 : cost 0 0.244 * * [simplify]: Extracting # 1 : cost 0 0.244 * * [simplify]: iteration 5 : 366 enodes (cost 9 ) 0.374 * * [simplify]: Extracting # 0 : cost 0 0.375 * * [simplify]: iteration 6 : 368 enodes (cost 9 ) 0.499 * * [simplify]: Extracting # 0 : cost 0 0.500 * * [simplify]: iteration done: 368 enodes (cost 9 ) 0.500 * [simplify]: Simplified to: (* (+ a (+ b (+ c d))) 2.0) 0.501 * * [progress]: iteration 1 / 4 0.501 * * * [progress]: picking best candidate 0.504 * * * * [pick]: Picked # 0.504 * * * [progress]: localizing error 0.520 * * * [progress]: generating rewritten candidates 0.520 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.620 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2) 0.649 * * * [progress]: generating series expansions 0.649 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.650 * [backup-simplify]: Simplify (+ a (+ b (+ c d))) into (+ d (+ a (+ b c))) 0.650 * [approximate]: Taking taylor expansion of (+ d (+ a (+ b c))) in (a b c d) around 0 0.650 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 0.650 * [taylor]: Taking taylor expansion of d in d 0.650 * [backup-simplify]: Simplify 0 into 0 0.650 * [backup-simplify]: Simplify 1 into 1 0.650 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.650 * [taylor]: Taking taylor expansion of a in d 0.650 * [backup-simplify]: Simplify a into a 0.650 * [taylor]: Taking taylor expansion of (+ b c) in d 0.650 * [taylor]: Taking taylor expansion of b in d 0.650 * [backup-simplify]: Simplify b into b 0.650 * [taylor]: Taking taylor expansion of c in d 0.650 * [backup-simplify]: Simplify c into c 0.650 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in c 0.650 * [taylor]: Taking taylor expansion of d in c 0.650 * [backup-simplify]: Simplify d into d 0.650 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.650 * [taylor]: Taking taylor expansion of a in c 0.650 * [backup-simplify]: Simplify a into a 0.650 * [taylor]: Taking taylor expansion of (+ b c) in c 0.650 * [taylor]: Taking taylor expansion of b in c 0.650 * [backup-simplify]: Simplify b into b 0.650 * [taylor]: Taking taylor expansion of c in c 0.650 * [backup-simplify]: Simplify 0 into 0 0.650 * [backup-simplify]: Simplify 1 into 1 0.650 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in b 0.650 * [taylor]: Taking taylor expansion of d in b 0.650 * [backup-simplify]: Simplify d into d 0.650 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b 0.650 * [taylor]: Taking taylor expansion of a in b 0.650 * [backup-simplify]: Simplify a into a 0.650 * [taylor]: Taking taylor expansion of (+ b c) in b 0.650 * [taylor]: Taking taylor expansion of b in b 0.650 * [backup-simplify]: Simplify 0 into 0 0.650 * [backup-simplify]: Simplify 1 into 1 0.650 * [taylor]: Taking taylor expansion of c in b 0.650 * [backup-simplify]: Simplify c into c 0.650 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a 0.650 * [taylor]: Taking taylor expansion of d in a 0.650 * [backup-simplify]: Simplify d into d 0.650 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a 0.650 * [taylor]: Taking taylor expansion of a in a 0.650 * [backup-simplify]: Simplify 0 into 0 0.650 * [backup-simplify]: Simplify 1 into 1 0.650 * [taylor]: Taking taylor expansion of (+ b c) in a 0.651 * [taylor]: Taking taylor expansion of b in a 0.651 * [backup-simplify]: Simplify b into b 0.651 * [taylor]: Taking taylor expansion of c in a 0.651 * [backup-simplify]: Simplify c into c 0.651 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a 0.651 * [taylor]: Taking taylor expansion of d in a 0.651 * [backup-simplify]: Simplify d into d 0.651 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a 0.651 * [taylor]: Taking taylor expansion of a in a 0.651 * [backup-simplify]: Simplify 0 into 0 0.651 * [backup-simplify]: Simplify 1 into 1 0.651 * [taylor]: Taking taylor expansion of (+ b c) in a 0.651 * [taylor]: Taking taylor expansion of b in a 0.651 * [backup-simplify]: Simplify b into b 0.651 * [taylor]: Taking taylor expansion of c in a 0.651 * [backup-simplify]: Simplify c into c 0.651 * [backup-simplify]: Simplify (+ b c) into (+ b c) 0.651 * [backup-simplify]: Simplify (+ 0 (+ b c)) into (+ c b) 0.651 * [backup-simplify]: Simplify (+ d (+ c b)) into (+ d (+ b c)) 0.651 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b 0.651 * [taylor]: Taking taylor expansion of d in b 0.651 * [backup-simplify]: Simplify d into d 0.651 * [taylor]: Taking taylor expansion of (+ b c) in b 0.651 * [taylor]: Taking taylor expansion of b in b 0.651 * [backup-simplify]: Simplify 0 into 0 0.651 * [backup-simplify]: Simplify 1 into 1 0.651 * [taylor]: Taking taylor expansion of c in b 0.651 * [backup-simplify]: Simplify c into c 0.651 * [backup-simplify]: Simplify (+ 0 c) into c 0.651 * [backup-simplify]: Simplify (+ d c) into (+ d c) 0.651 * [taylor]: Taking taylor expansion of (+ d c) in c 0.651 * [taylor]: Taking taylor expansion of d in c 0.651 * [backup-simplify]: Simplify d into d 0.651 * [taylor]: Taking taylor expansion of c in c 0.651 * [backup-simplify]: Simplify 0 into 0 0.651 * [backup-simplify]: Simplify 1 into 1 0.651 * [backup-simplify]: Simplify (+ d 0) into d 0.651 * [taylor]: Taking taylor expansion of d in d 0.651 * [backup-simplify]: Simplify 0 into 0 0.651 * [backup-simplify]: Simplify 1 into 1 0.651 * [backup-simplify]: Simplify 0 into 0 0.652 * [backup-simplify]: Simplify (+ 0 0) into 0 0.652 * [backup-simplify]: Simplify (+ 1 0) into 1 0.653 * [backup-simplify]: Simplify (+ 0 1) into 1 0.653 * [taylor]: Taking taylor expansion of 1 in b 0.653 * [backup-simplify]: Simplify 1 into 1 0.653 * [taylor]: Taking taylor expansion of 1 in c 0.653 * [backup-simplify]: Simplify 1 into 1 0.653 * [taylor]: Taking taylor expansion of 1 in d 0.653 * [backup-simplify]: Simplify 1 into 1 0.653 * [backup-simplify]: Simplify 1 into 1 0.653 * [backup-simplify]: Simplify (+ 1 0) into 1 0.654 * [backup-simplify]: Simplify (+ 0 1) into 1 0.654 * [taylor]: Taking taylor expansion of 1 in c 0.654 * [backup-simplify]: Simplify 1 into 1 0.654 * [taylor]: Taking taylor expansion of 1 in d 0.654 * [backup-simplify]: Simplify 1 into 1 0.654 * [backup-simplify]: Simplify 1 into 1 0.654 * [backup-simplify]: Simplify (+ 0 1) into 1 0.654 * [taylor]: Taking taylor expansion of 1 in d 0.654 * [backup-simplify]: Simplify 1 into 1 0.654 * [backup-simplify]: Simplify 1 into 1 0.655 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* c (* 1 1)))) (+ (* 1 (* 1 (* 1 (* b 1)))) (* 1 (* 1 (* 1 (* 1 a)))))) into (+ a (+ b c)) 0.655 * [backup-simplify]: Simplify (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) into (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) 0.655 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in (a b c d) around 0 0.655 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in d 0.655 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.655 * [taylor]: Taking taylor expansion of b in d 0.655 * [backup-simplify]: Simplify b into b 0.655 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.655 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in d 0.655 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.655 * [taylor]: Taking taylor expansion of d in d 0.655 * [backup-simplify]: Simplify 0 into 0 0.655 * [backup-simplify]: Simplify 1 into 1 0.655 * [backup-simplify]: Simplify (/ 1 1) into 1 0.655 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in d 0.655 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.655 * [taylor]: Taking taylor expansion of c in d 0.655 * [backup-simplify]: Simplify c into c 0.656 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.656 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.656 * [taylor]: Taking taylor expansion of a in d 0.656 * [backup-simplify]: Simplify a into a 0.656 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.656 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in c 0.656 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.656 * [taylor]: Taking taylor expansion of b in c 0.656 * [backup-simplify]: Simplify b into b 0.656 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.656 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in c 0.656 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.656 * [taylor]: Taking taylor expansion of d in c 0.656 * [backup-simplify]: Simplify d into d 0.656 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.656 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.656 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.656 * [taylor]: Taking taylor expansion of c in c 0.656 * [backup-simplify]: Simplify 0 into 0 0.656 * [backup-simplify]: Simplify 1 into 1 0.656 * [backup-simplify]: Simplify (/ 1 1) into 1 0.656 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.656 * [taylor]: Taking taylor expansion of a in c 0.656 * [backup-simplify]: Simplify a into a 0.656 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.656 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b 0.656 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.656 * [taylor]: Taking taylor expansion of b in b 0.656 * [backup-simplify]: Simplify 0 into 0 0.656 * [backup-simplify]: Simplify 1 into 1 0.657 * [backup-simplify]: Simplify (/ 1 1) into 1 0.657 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b 0.657 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.657 * [taylor]: Taking taylor expansion of d in b 0.657 * [backup-simplify]: Simplify d into d 0.657 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.657 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.657 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.657 * [taylor]: Taking taylor expansion of c in b 0.657 * [backup-simplify]: Simplify c into c 0.657 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.657 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.657 * [taylor]: Taking taylor expansion of a in b 0.657 * [backup-simplify]: Simplify a into a 0.657 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.657 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a 0.657 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.657 * [taylor]: Taking taylor expansion of b in a 0.657 * [backup-simplify]: Simplify b into b 0.657 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.657 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a 0.657 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.657 * [taylor]: Taking taylor expansion of d in a 0.657 * [backup-simplify]: Simplify d into d 0.657 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.657 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.657 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.657 * [taylor]: Taking taylor expansion of c in a 0.657 * [backup-simplify]: Simplify c into c 0.657 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.657 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.657 * [taylor]: Taking taylor expansion of a in a 0.657 * [backup-simplify]: Simplify 0 into 0 0.657 * [backup-simplify]: Simplify 1 into 1 0.658 * [backup-simplify]: Simplify (/ 1 1) into 1 0.658 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a 0.658 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.658 * [taylor]: Taking taylor expansion of b in a 0.658 * [backup-simplify]: Simplify b into b 0.658 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.658 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a 0.658 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.658 * [taylor]: Taking taylor expansion of d in a 0.658 * [backup-simplify]: Simplify d into d 0.658 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.658 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.658 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.658 * [taylor]: Taking taylor expansion of c in a 0.658 * [backup-simplify]: Simplify c into c 0.658 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.658 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.658 * [taylor]: Taking taylor expansion of a in a 0.658 * [backup-simplify]: Simplify 0 into 0 0.658 * [backup-simplify]: Simplify 1 into 1 0.658 * [backup-simplify]: Simplify (/ 1 1) into 1 0.659 * [backup-simplify]: Simplify (+ 0 1) into 1 0.659 * [backup-simplify]: Simplify (+ 0 1) into 1 0.659 * [backup-simplify]: Simplify (+ 0 1) into 1 0.659 * [taylor]: Taking taylor expansion of 1 in b 0.659 * [backup-simplify]: Simplify 1 into 1 0.660 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.660 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c) 0.660 * [backup-simplify]: Simplify (+ (/ 1 d) (/ 1 c)) into (+ (/ 1 c) (/ 1 d)) 0.660 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) into (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) 0.660 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.660 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.660 * [taylor]: Taking taylor expansion of c in b 0.660 * [backup-simplify]: Simplify c into c 0.660 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.660 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.660 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.660 * [taylor]: Taking taylor expansion of d in b 0.660 * [backup-simplify]: Simplify d into d 0.660 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.660 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.660 * [taylor]: Taking taylor expansion of b in b 0.660 * [backup-simplify]: Simplify 0 into 0 0.660 * [backup-simplify]: Simplify 1 into 1 0.660 * [backup-simplify]: Simplify (/ 1 1) into 1 0.661 * [backup-simplify]: Simplify (+ 0 1) into 1 0.661 * [backup-simplify]: Simplify (+ 0 1) into 1 0.661 * [taylor]: Taking taylor expansion of 1 in c 0.661 * [backup-simplify]: Simplify 1 into 1 0.661 * [taylor]: Taking taylor expansion of 1 in c 0.661 * [backup-simplify]: Simplify 1 into 1 0.661 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 0.661 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 0.661 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 0.662 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.662 * [backup-simplify]: Simplify (+ 0 0) into 0 0.662 * [backup-simplify]: Simplify (+ 0 0) into 0 0.662 * [backup-simplify]: Simplify (+ 0 0) into 0 0.662 * [taylor]: Taking taylor expansion of 0 in b 0.663 * [backup-simplify]: Simplify 0 into 0 0.663 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.663 * [backup-simplify]: Simplify (+ (/ 1 d) 0) into (/ 1 d) 0.663 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 0.663 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c 0.663 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.663 * [taylor]: Taking taylor expansion of d in c 0.663 * [backup-simplify]: Simplify d into d 0.663 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.663 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.663 * [taylor]: Taking taylor expansion of c in c 0.663 * [backup-simplify]: Simplify 0 into 0 0.663 * [backup-simplify]: Simplify 1 into 1 0.664 * [backup-simplify]: Simplify (/ 1 1) into 1 0.664 * [backup-simplify]: Simplify (+ 0 1) into 1 0.664 * [taylor]: Taking taylor expansion of 1 in d 0.664 * [backup-simplify]: Simplify 1 into 1 0.664 * [taylor]: Taking taylor expansion of 0 in c 0.664 * [backup-simplify]: Simplify 0 into 0 0.664 * [taylor]: Taking taylor expansion of 1 in d 0.664 * [backup-simplify]: Simplify 1 into 1 0.664 * [taylor]: Taking taylor expansion of 1 in d 0.664 * [backup-simplify]: Simplify 1 into 1 0.664 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.664 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 0.664 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 0.665 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.665 * [backup-simplify]: Simplify (+ 0 0) into 0 0.665 * [backup-simplify]: Simplify (+ 0 0) into 0 0.666 * [backup-simplify]: Simplify (+ 0 0) into 0 0.666 * [taylor]: Taking taylor expansion of 0 in b 0.666 * [backup-simplify]: Simplify 0 into 0 0.666 * [taylor]: Taking taylor expansion of 0 in c 0.666 * [backup-simplify]: Simplify 0 into 0 0.666 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 0.666 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 0.666 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.667 * [backup-simplify]: Simplify (+ 0 0) into 0 0.667 * [backup-simplify]: Simplify (+ 0 0) into 0 0.667 * [taylor]: Taking taylor expansion of 0 in c 0.667 * [backup-simplify]: Simplify 0 into 0 0.667 * [taylor]: Taking taylor expansion of 0 in c 0.667 * [backup-simplify]: Simplify 0 into 0 0.667 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.667 * [backup-simplify]: Simplify (+ (/ 1 d) 0) into (/ 1 d) 0.667 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.667 * [taylor]: Taking taylor expansion of d in d 0.667 * [backup-simplify]: Simplify 0 into 0 0.667 * [backup-simplify]: Simplify 1 into 1 0.668 * [backup-simplify]: Simplify (/ 1 1) into 1 0.668 * [backup-simplify]: Simplify 1 into 1 0.668 * [taylor]: Taking taylor expansion of 0 in d 0.668 * [backup-simplify]: Simplify 0 into 0 0.668 * [taylor]: Taking taylor expansion of 0 in d 0.668 * [backup-simplify]: Simplify 0 into 0 0.668 * [taylor]: Taking taylor expansion of 0 in d 0.668 * [backup-simplify]: Simplify 0 into 0 0.668 * [backup-simplify]: Simplify 1 into 1 0.668 * [backup-simplify]: Simplify 1 into 1 0.669 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 b)) 1)))) (+ (* 1 (* 1 (* (/ 1 (/ 1 c)) (* 1 1)))) (* 1 (* (/ 1 (/ 1 d)) (* 1 (* 1 1)))))) into (+ d (+ b c)) 0.670 * [backup-simplify]: Simplify (+ (/ 1 (- a)) (+ (/ 1 (- b)) (+ (/ 1 (- c)) (/ 1 (- d))))) into (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) 0.670 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in (a b c d) around 0 0.670 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in d 0.670 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in d 0.670 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.670 * [taylor]: Taking taylor expansion of b in d 0.670 * [backup-simplify]: Simplify b into b 0.670 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.670 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in d 0.670 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.670 * [taylor]: Taking taylor expansion of d in d 0.670 * [backup-simplify]: Simplify 0 into 0 0.670 * [backup-simplify]: Simplify 1 into 1 0.670 * [backup-simplify]: Simplify (/ 1 1) into 1 0.670 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in d 0.670 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.671 * [taylor]: Taking taylor expansion of c in d 0.671 * [backup-simplify]: Simplify c into c 0.671 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.671 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.671 * [taylor]: Taking taylor expansion of a in d 0.671 * [backup-simplify]: Simplify a into a 0.671 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.671 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in c 0.671 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in c 0.671 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.671 * [taylor]: Taking taylor expansion of b in c 0.671 * [backup-simplify]: Simplify b into b 0.671 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.671 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in c 0.671 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.671 * [taylor]: Taking taylor expansion of d in c 0.671 * [backup-simplify]: Simplify d into d 0.671 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.671 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.671 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.671 * [taylor]: Taking taylor expansion of c in c 0.671 * [backup-simplify]: Simplify 0 into 0 0.671 * [backup-simplify]: Simplify 1 into 1 0.672 * [backup-simplify]: Simplify (/ 1 1) into 1 0.672 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.672 * [taylor]: Taking taylor expansion of a in c 0.672 * [backup-simplify]: Simplify a into a 0.672 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.672 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in b 0.672 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b 0.672 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.672 * [taylor]: Taking taylor expansion of b in b 0.672 * [backup-simplify]: Simplify 0 into 0 0.672 * [backup-simplify]: Simplify 1 into 1 0.672 * [backup-simplify]: Simplify (/ 1 1) into 1 0.672 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b 0.672 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.673 * [taylor]: Taking taylor expansion of d in b 0.673 * [backup-simplify]: Simplify d into d 0.673 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.673 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.673 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.673 * [taylor]: Taking taylor expansion of c in b 0.673 * [backup-simplify]: Simplify c into c 0.673 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.673 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.673 * [taylor]: Taking taylor expansion of a in b 0.673 * [backup-simplify]: Simplify a into a 0.673 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.673 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in a 0.673 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a 0.673 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.673 * [taylor]: Taking taylor expansion of b in a 0.673 * [backup-simplify]: Simplify b into b 0.673 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.673 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a 0.673 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.673 * [taylor]: Taking taylor expansion of d in a 0.673 * [backup-simplify]: Simplify d into d 0.673 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.673 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.673 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.673 * [taylor]: Taking taylor expansion of c in a 0.673 * [backup-simplify]: Simplify c into c 0.674 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.674 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.674 * [taylor]: Taking taylor expansion of a in a 0.674 * [backup-simplify]: Simplify 0 into 0 0.674 * [backup-simplify]: Simplify 1 into 1 0.674 * [backup-simplify]: Simplify (/ 1 1) into 1 0.674 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in a 0.674 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a 0.674 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.674 * [taylor]: Taking taylor expansion of b in a 0.674 * [backup-simplify]: Simplify b into b 0.674 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.674 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a 0.674 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.674 * [taylor]: Taking taylor expansion of d in a 0.674 * [backup-simplify]: Simplify d into d 0.674 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.674 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.675 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.675 * [taylor]: Taking taylor expansion of c in a 0.675 * [backup-simplify]: Simplify c into c 0.675 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.675 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.675 * [taylor]: Taking taylor expansion of a in a 0.675 * [backup-simplify]: Simplify 0 into 0 0.675 * [backup-simplify]: Simplify 1 into 1 0.675 * [backup-simplify]: Simplify (/ 1 1) into 1 0.676 * [backup-simplify]: Simplify (+ 0 1) into 1 0.676 * [backup-simplify]: Simplify (+ 0 1) into 1 0.677 * [backup-simplify]: Simplify (+ 0 1) into 1 0.677 * [backup-simplify]: Simplify (- 1) into -1 0.677 * [taylor]: Taking taylor expansion of -1 in b 0.677 * [backup-simplify]: Simplify -1 into -1 0.678 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.678 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c) 0.678 * [backup-simplify]: Simplify (+ (/ 1 d) (/ 1 c)) into (+ (/ 1 c) (/ 1 d)) 0.678 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) into (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) 0.678 * [backup-simplify]: Simplify (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) into (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) 0.678 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 0.678 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.678 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.678 * [taylor]: Taking taylor expansion of c in b 0.679 * [backup-simplify]: Simplify c into c 0.679 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.679 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.679 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.679 * [taylor]: Taking taylor expansion of d in b 0.679 * [backup-simplify]: Simplify d into d 0.679 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.679 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.679 * [taylor]: Taking taylor expansion of b in b 0.679 * [backup-simplify]: Simplify 0 into 0 0.679 * [backup-simplify]: Simplify 1 into 1 0.679 * [backup-simplify]: Simplify (/ 1 1) into 1 0.680 * [backup-simplify]: Simplify (+ 0 1) into 1 0.680 * [backup-simplify]: Simplify (+ 0 1) into 1 0.680 * [backup-simplify]: Simplify (- 1) into -1 0.680 * [taylor]: Taking taylor expansion of -1 in c 0.680 * [backup-simplify]: Simplify -1 into -1 0.680 * [taylor]: Taking taylor expansion of -1 in c 0.680 * [backup-simplify]: Simplify -1 into -1 0.681 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 0.681 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 0.681 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 0.682 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.682 * [backup-simplify]: Simplify (+ 0 0) into 0 0.682 * [backup-simplify]: Simplify (+ 0 0) into 0 0.683 * [backup-simplify]: Simplify (+ 0 0) into 0 0.683 * [backup-simplify]: Simplify (- 0) into 0 0.683 * [taylor]: Taking taylor expansion of 0 in b 0.683 * [backup-simplify]: Simplify 0 into 0 0.684 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.684 * [backup-simplify]: Simplify (+ (/ 1 d) 0) into (/ 1 d) 0.684 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 0.684 * [backup-simplify]: Simplify (- (+ (/ 1 d) (/ 1 c))) into (- (+ (/ 1 d) (/ 1 c))) 0.684 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d) (/ 1 c))) in c 0.684 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c 0.684 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.684 * [taylor]: Taking taylor expansion of d in c 0.684 * [backup-simplify]: Simplify d into d 0.684 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.684 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.684 * [taylor]: Taking taylor expansion of c in c 0.685 * [backup-simplify]: Simplify 0 into 0 0.685 * [backup-simplify]: Simplify 1 into 1 0.685 * [backup-simplify]: Simplify (/ 1 1) into 1 0.685 * [backup-simplify]: Simplify (+ 0 1) into 1 0.686 * [backup-simplify]: Simplify (- 1) into -1 0.686 * [taylor]: Taking taylor expansion of -1 in d 0.686 * [backup-simplify]: Simplify -1 into -1 0.686 * [taylor]: Taking taylor expansion of 0 in c 0.686 * [backup-simplify]: Simplify 0 into 0 0.686 * [taylor]: Taking taylor expansion of -1 in d 0.686 * [backup-simplify]: Simplify -1 into -1 0.686 * [taylor]: Taking taylor expansion of -1 in d 0.686 * [backup-simplify]: Simplify -1 into -1 0.686 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.686 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 0.686 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 0.687 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.688 * [backup-simplify]: Simplify (+ 0 0) into 0 0.688 * [backup-simplify]: Simplify (+ 0 0) into 0 0.688 * [backup-simplify]: Simplify (+ 0 0) into 0 0.689 * [backup-simplify]: Simplify (- 0) into 0 0.689 * [taylor]: Taking taylor expansion of 0 in b 0.689 * [backup-simplify]: Simplify 0 into 0 0.689 * [taylor]: Taking taylor expansion of 0 in c 0.689 * [backup-simplify]: Simplify 0 into 0 0.689 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 0.689 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 0.690 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.690 * [backup-simplify]: Simplify (+ 0 0) into 0 0.691 * [backup-simplify]: Simplify (+ 0 0) into 0 0.691 * [backup-simplify]: Simplify (- 0) into 0 0.691 * [taylor]: Taking taylor expansion of 0 in c 0.691 * [backup-simplify]: Simplify 0 into 0 0.691 * [taylor]: Taking taylor expansion of 0 in c 0.691 * [backup-simplify]: Simplify 0 into 0 0.692 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.692 * [backup-simplify]: Simplify (+ (/ 1 d) 0) into (/ 1 d) 0.692 * [backup-simplify]: Simplify (- (/ 1 d)) into (- (/ 1 d)) 0.692 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d 0.692 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.692 * [taylor]: Taking taylor expansion of d in d 0.692 * [backup-simplify]: Simplify 0 into 0 0.692 * [backup-simplify]: Simplify 1 into 1 0.693 * [backup-simplify]: Simplify (/ 1 1) into 1 0.693 * [backup-simplify]: Simplify (- 1) into -1 0.693 * [backup-simplify]: Simplify -1 into -1 0.693 * [taylor]: Taking taylor expansion of 0 in d 0.693 * [backup-simplify]: Simplify 0 into 0 0.693 * [taylor]: Taking taylor expansion of 0 in d 0.693 * [backup-simplify]: Simplify 0 into 0 0.693 * [taylor]: Taking taylor expansion of 0 in d 0.693 * [backup-simplify]: Simplify 0 into 0 0.693 * [backup-simplify]: Simplify -1 into -1 0.693 * [backup-simplify]: Simplify -1 into -1 0.695 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (* (/ 1 (/ 1 (- b))) 1)))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- c))) (* 1 1)))) (* -1 (* (/ 1 (/ 1 (- d))) (* 1 (* 1 1)))))) into (+ d (+ b c)) 0.695 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2) 0.695 * [backup-simplify]: Simplify (+ b (+ c d)) into (+ d (+ b c)) 0.695 * [approximate]: Taking taylor expansion of (+ d (+ b c)) in (b c d) around 0 0.695 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in d 0.695 * [taylor]: Taking taylor expansion of d in d 0.695 * [backup-simplify]: Simplify 0 into 0 0.695 * [backup-simplify]: Simplify 1 into 1 0.695 * [taylor]: Taking taylor expansion of (+ b c) in d 0.695 * [taylor]: Taking taylor expansion of b in d 0.695 * [backup-simplify]: Simplify b into b 0.695 * [taylor]: Taking taylor expansion of c in d 0.695 * [backup-simplify]: Simplify c into c 0.695 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in c 0.695 * [taylor]: Taking taylor expansion of d in c 0.695 * [backup-simplify]: Simplify d into d 0.695 * [taylor]: Taking taylor expansion of (+ b c) in c 0.695 * [taylor]: Taking taylor expansion of b in c 0.695 * [backup-simplify]: Simplify b into b 0.695 * [taylor]: Taking taylor expansion of c in c 0.695 * [backup-simplify]: Simplify 0 into 0 0.695 * [backup-simplify]: Simplify 1 into 1 0.695 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b 0.695 * [taylor]: Taking taylor expansion of d in b 0.695 * [backup-simplify]: Simplify d into d 0.695 * [taylor]: Taking taylor expansion of (+ b c) in b 0.695 * [taylor]: Taking taylor expansion of b in b 0.695 * [backup-simplify]: Simplify 0 into 0 0.695 * [backup-simplify]: Simplify 1 into 1 0.695 * [taylor]: Taking taylor expansion of c in b 0.695 * [backup-simplify]: Simplify c into c 0.695 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b 0.696 * [taylor]: Taking taylor expansion of d in b 0.696 * [backup-simplify]: Simplify d into d 0.696 * [taylor]: Taking taylor expansion of (+ b c) in b 0.696 * [taylor]: Taking taylor expansion of b in b 0.696 * [backup-simplify]: Simplify 0 into 0 0.696 * [backup-simplify]: Simplify 1 into 1 0.696 * [taylor]: Taking taylor expansion of c in b 0.696 * [backup-simplify]: Simplify c into c 0.696 * [backup-simplify]: Simplify (+ 0 c) into c 0.696 * [backup-simplify]: Simplify (+ d c) into (+ d c) 0.696 * [taylor]: Taking taylor expansion of (+ d c) in c 0.696 * [taylor]: Taking taylor expansion of d in c 0.696 * [backup-simplify]: Simplify d into d 0.696 * [taylor]: Taking taylor expansion of c in c 0.696 * [backup-simplify]: Simplify 0 into 0 0.696 * [backup-simplify]: Simplify 1 into 1 0.696 * [backup-simplify]: Simplify (+ d 0) into d 0.696 * [taylor]: Taking taylor expansion of d in d 0.696 * [backup-simplify]: Simplify 0 into 0 0.696 * [backup-simplify]: Simplify 1 into 1 0.696 * [backup-simplify]: Simplify 0 into 0 0.697 * [backup-simplify]: Simplify (+ 1 0) into 1 0.697 * [backup-simplify]: Simplify (+ 0 1) into 1 0.697 * [taylor]: Taking taylor expansion of 1 in c 0.697 * [backup-simplify]: Simplify 1 into 1 0.697 * [taylor]: Taking taylor expansion of 1 in d 0.697 * [backup-simplify]: Simplify 1 into 1 0.697 * [backup-simplify]: Simplify 1 into 1 0.698 * [backup-simplify]: Simplify (+ 0 1) into 1 0.698 * [taylor]: Taking taylor expansion of 1 in d 0.698 * [backup-simplify]: Simplify 1 into 1 0.698 * [backup-simplify]: Simplify 1 into 1 0.698 * [backup-simplify]: Simplify 1 into 1 0.698 * [backup-simplify]: Simplify (+ (* 1 (* d (* 1 1))) (+ (* 1 (* 1 (* c 1))) (* 1 (* 1 (* 1 b))))) into (+ d (+ b c)) 0.698 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) into (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) 0.698 * [approximate]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in (b c d) around 0 0.698 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.699 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.699 * [taylor]: Taking taylor expansion of c in d 0.699 * [backup-simplify]: Simplify c into c 0.699 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.699 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.699 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.699 * [taylor]: Taking taylor expansion of d in d 0.699 * [backup-simplify]: Simplify 0 into 0 0.699 * [backup-simplify]: Simplify 1 into 1 0.699 * [backup-simplify]: Simplify (/ 1 1) into 1 0.699 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.699 * [taylor]: Taking taylor expansion of b in d 0.699 * [backup-simplify]: Simplify b into b 0.699 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.699 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c 0.699 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.699 * [taylor]: Taking taylor expansion of c in c 0.699 * [backup-simplify]: Simplify 0 into 0 0.699 * [backup-simplify]: Simplify 1 into 1 0.700 * [backup-simplify]: Simplify (/ 1 1) into 1 0.700 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c 0.700 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.700 * [taylor]: Taking taylor expansion of d in c 0.700 * [backup-simplify]: Simplify d into d 0.700 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.700 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.700 * [taylor]: Taking taylor expansion of b in c 0.700 * [backup-simplify]: Simplify b into b 0.700 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.700 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.700 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.700 * [taylor]: Taking taylor expansion of c in b 0.700 * [backup-simplify]: Simplify c into c 0.700 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.700 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.700 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.700 * [taylor]: Taking taylor expansion of d in b 0.700 * [backup-simplify]: Simplify d into d 0.700 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.700 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.700 * [taylor]: Taking taylor expansion of b in b 0.700 * [backup-simplify]: Simplify 0 into 0 0.700 * [backup-simplify]: Simplify 1 into 1 0.701 * [backup-simplify]: Simplify (/ 1 1) into 1 0.701 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.701 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.701 * [taylor]: Taking taylor expansion of c in b 0.701 * [backup-simplify]: Simplify c into c 0.701 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.701 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.701 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.701 * [taylor]: Taking taylor expansion of d in b 0.701 * [backup-simplify]: Simplify d into d 0.701 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.701 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.701 * [taylor]: Taking taylor expansion of b in b 0.701 * [backup-simplify]: Simplify 0 into 0 0.701 * [backup-simplify]: Simplify 1 into 1 0.702 * [backup-simplify]: Simplify (/ 1 1) into 1 0.702 * [backup-simplify]: Simplify (+ 0 1) into 1 0.702 * [backup-simplify]: Simplify (+ 0 1) into 1 0.702 * [taylor]: Taking taylor expansion of 1 in c 0.702 * [backup-simplify]: Simplify 1 into 1 0.703 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.703 * [backup-simplify]: Simplify (+ (/ 1 d) 0) into (/ 1 d) 0.703 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 0.703 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c 0.703 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.703 * [taylor]: Taking taylor expansion of d in c 0.704 * [backup-simplify]: Simplify d into d 0.704 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.704 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.704 * [taylor]: Taking taylor expansion of c in c 0.704 * [backup-simplify]: Simplify 0 into 0 0.704 * [backup-simplify]: Simplify 1 into 1 0.704 * [backup-simplify]: Simplify (/ 1 1) into 1 0.704 * [backup-simplify]: Simplify (+ 0 1) into 1 0.704 * [taylor]: Taking taylor expansion of 1 in d 0.704 * [backup-simplify]: Simplify 1 into 1 0.705 * [taylor]: Taking taylor expansion of 1 in d 0.705 * [backup-simplify]: Simplify 1 into 1 0.705 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 0.705 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 0.706 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.706 * [backup-simplify]: Simplify (+ 0 0) into 0 0.706 * [backup-simplify]: Simplify (+ 0 0) into 0 0.706 * [taylor]: Taking taylor expansion of 0 in c 0.706 * [backup-simplify]: Simplify 0 into 0 0.707 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.707 * [backup-simplify]: Simplify (+ (/ 1 d) 0) into (/ 1 d) 0.707 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.707 * [taylor]: Taking taylor expansion of d in d 0.707 * [backup-simplify]: Simplify 0 into 0 0.707 * [backup-simplify]: Simplify 1 into 1 0.708 * [backup-simplify]: Simplify (/ 1 1) into 1 0.708 * [backup-simplify]: Simplify 1 into 1 0.708 * [taylor]: Taking taylor expansion of 0 in d 0.708 * [backup-simplify]: Simplify 0 into 0 0.708 * [backup-simplify]: Simplify 1 into 1 0.708 * [backup-simplify]: Simplify 1 into 1 0.709 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (/ 1 (/ 1 b))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 c)) 1))) (* 1 (* (/ 1 (/ 1 d)) (* 1 1))))) into (+ d (+ b c)) 0.709 * [backup-simplify]: Simplify (+ (/ 1 (- b)) (+ (/ 1 (- c)) (/ 1 (- d)))) into (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) 0.709 * [approximate]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in (b c d) around 0 0.709 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.709 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.709 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.709 * [taylor]: Taking taylor expansion of c in d 0.709 * [backup-simplify]: Simplify c into c 0.709 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.709 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.709 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.709 * [taylor]: Taking taylor expansion of d in d 0.709 * [backup-simplify]: Simplify 0 into 0 0.709 * [backup-simplify]: Simplify 1 into 1 0.710 * [backup-simplify]: Simplify (/ 1 1) into 1 0.710 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.710 * [taylor]: Taking taylor expansion of b in d 0.710 * [backup-simplify]: Simplify b into b 0.710 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.710 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c 0.710 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c 0.710 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.710 * [taylor]: Taking taylor expansion of c in c 0.710 * [backup-simplify]: Simplify 0 into 0 0.710 * [backup-simplify]: Simplify 1 into 1 0.710 * [backup-simplify]: Simplify (/ 1 1) into 1 0.710 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c 0.710 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.710 * [taylor]: Taking taylor expansion of d in c 0.710 * [backup-simplify]: Simplify d into d 0.710 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.710 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.710 * [taylor]: Taking taylor expansion of b in c 0.710 * [backup-simplify]: Simplify b into b 0.710 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.710 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 0.711 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.711 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.711 * [taylor]: Taking taylor expansion of c in b 0.711 * [backup-simplify]: Simplify c into c 0.711 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.711 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.711 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.711 * [taylor]: Taking taylor expansion of d in b 0.711 * [backup-simplify]: Simplify d into d 0.711 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.711 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.711 * [taylor]: Taking taylor expansion of b in b 0.711 * [backup-simplify]: Simplify 0 into 0 0.711 * [backup-simplify]: Simplify 1 into 1 0.711 * [backup-simplify]: Simplify (/ 1 1) into 1 0.711 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 0.711 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.711 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.711 * [taylor]: Taking taylor expansion of c in b 0.711 * [backup-simplify]: Simplify c into c 0.712 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.712 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.712 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.712 * [taylor]: Taking taylor expansion of d in b 0.712 * [backup-simplify]: Simplify d into d 0.712 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.712 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.712 * [taylor]: Taking taylor expansion of b in b 0.712 * [backup-simplify]: Simplify 0 into 0 0.712 * [backup-simplify]: Simplify 1 into 1 0.712 * [backup-simplify]: Simplify (/ 1 1) into 1 0.713 * [backup-simplify]: Simplify (+ 0 1) into 1 0.713 * [backup-simplify]: Simplify (+ 0 1) into 1 0.713 * [backup-simplify]: Simplify (- 1) into -1 0.713 * [taylor]: Taking taylor expansion of -1 in c 0.713 * [backup-simplify]: Simplify -1 into -1 0.714 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.714 * [backup-simplify]: Simplify (+ (/ 1 d) 0) into (/ 1 d) 0.714 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 0.714 * [backup-simplify]: Simplify (- (+ (/ 1 d) (/ 1 c))) into (- (+ (/ 1 d) (/ 1 c))) 0.715 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d) (/ 1 c))) in c 0.715 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c 0.715 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.715 * [taylor]: Taking taylor expansion of d in c 0.715 * [backup-simplify]: Simplify d into d 0.715 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.715 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.715 * [taylor]: Taking taylor expansion of c in c 0.715 * [backup-simplify]: Simplify 0 into 0 0.715 * [backup-simplify]: Simplify 1 into 1 0.715 * [backup-simplify]: Simplify (/ 1 1) into 1 0.716 * [backup-simplify]: Simplify (+ 0 1) into 1 0.716 * [backup-simplify]: Simplify (- 1) into -1 0.716 * [taylor]: Taking taylor expansion of -1 in d 0.716 * [backup-simplify]: Simplify -1 into -1 0.716 * [taylor]: Taking taylor expansion of -1 in d 0.716 * [backup-simplify]: Simplify -1 into -1 0.716 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 0.716 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 0.717 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.717 * [backup-simplify]: Simplify (+ 0 0) into 0 0.718 * [backup-simplify]: Simplify (+ 0 0) into 0 0.718 * [backup-simplify]: Simplify (- 0) into 0 0.718 * [taylor]: Taking taylor expansion of 0 in c 0.718 * [backup-simplify]: Simplify 0 into 0 0.719 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.719 * [backup-simplify]: Simplify (+ (/ 1 d) 0) into (/ 1 d) 0.719 * [backup-simplify]: Simplify (- (/ 1 d)) into (- (/ 1 d)) 0.719 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d 0.719 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.719 * [taylor]: Taking taylor expansion of d in d 0.719 * [backup-simplify]: Simplify 0 into 0 0.719 * [backup-simplify]: Simplify 1 into 1 0.719 * [backup-simplify]: Simplify (/ 1 1) into 1 0.720 * [backup-simplify]: Simplify (- 1) into -1 0.720 * [backup-simplify]: Simplify -1 into -1 0.720 * [taylor]: Taking taylor expansion of 0 in d 0.720 * [backup-simplify]: Simplify 0 into 0 0.720 * [backup-simplify]: Simplify -1 into -1 0.720 * [backup-simplify]: Simplify -1 into -1 0.721 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (/ 1 (/ 1 (- b)))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- c))) 1))) (* -1 (* (/ 1 (/ 1 (- d))) (* 1 1))))) into (+ d (+ b c)) 0.721 * * * [progress]: simplifying candidates 0.722 * [simplify]: Simplifying: (expm1 (+ a (+ b (+ c d)))) (log1p (+ a (+ b (+ c d)))) (* (exp a) (* (exp b) (* (exp c) (exp d)))) (* (exp a) (* (exp b) (exp (+ c d)))) (* (exp a) (exp (+ b (+ c d)))) (log (+ a (+ b (+ c d)))) (exp (+ a (+ b (+ c d)))) (* (cbrt (+ a (+ b (+ c d)))) (cbrt (+ a (+ b (+ c d))))) (cbrt (+ a (+ b (+ c d)))) (* (* (+ a (+ b (+ c d))) (+ a (+ b (+ c d)))) (+ a (+ b (+ c d)))) (sqrt (+ a (+ b (+ c d)))) (sqrt (+ a (+ b (+ c d)))) (+ (pow a 3) (pow (+ b (+ c d)) 3)) (+ (* a a) (- (* (+ b (+ c d)) (+ b (+ c d))) (* a (+ b (+ c d))))) (- (* a a) (* (+ b (+ c d)) (+ b (+ c d)))) (- a (+ b (+ c d))) (+ a (+ b (+ c d))) (+ a (+ b (+ c d))) (+ a (+ b (+ c d))) (+ a b) (expm1 (+ b (+ c d))) (log1p (+ b (+ c d))) (* (exp b) (* (exp c) (exp d))) (* (exp b) (exp (+ c d))) (log (+ b (+ c d))) (exp (+ b (+ c d))) (* (cbrt (+ b (+ c d))) (cbrt (+ b (+ c d)))) (cbrt (+ b (+ c d))) (* (* (+ b (+ c d)) (+ b (+ c d))) (+ b (+ c d))) (sqrt (+ b (+ c d))) (sqrt (+ b (+ c d))) (+ (pow b 3) (pow (+ c d) 3)) (+ (* b b) (- (* (+ c d) (+ c d)) (* b (+ c d)))) (- (* b b) (* (+ c d) (+ c d))) (- b (+ c d)) (+ b (+ c d)) (+ b (+ c d)) (+ b c) (+ a (+ b c)) (+ d (+ b c)) (+ d (+ b c)) (+ d (+ b c)) (+ d (+ b c)) (+ d (+ b c)) 0.723 * * [simplify]: Extracting # 0 : cost 0 0.723 * * [simplify]: Extracting # 1 : cost 0 0.723 * * [simplify]: Extracting # 2 : cost 0 0.724 * * [simplify]: Extracting # 3 : cost 0 0.724 * * [simplify]: Extracting # 4 : cost 0 0.724 * * [simplify]: Extracting # 5 : cost 0 0.724 * * [simplify]: iteration 0 : 60 enodes (cost 378 ) 0.760 * * [simplify]: Extracting # 0 : cost 0 0.760 * * [simplify]: Extracting # 1 : cost 0 0.761 * * [simplify]: Extracting # 2 : cost 0 0.761 * * [simplify]: Extracting # 3 : cost 0 0.762 * * [simplify]: iteration 1 : 177 enodes (cost 347 ) 0.867 * * [simplify]: Extracting # 0 : cost 0 0.868 * * [simplify]: Extracting # 1 : cost 0 0.870 * * [simplify]: Extracting # 2 : cost 0 0.871 * * [simplify]: Extracting # 3 : cost 0 0.873 * * [simplify]: Extracting # 4 : cost 0 0.875 * * [simplify]: iteration 2 : 704 enodes (cost 333 ) 1.844 * * [simplify]: Extracting # 0 : cost 0 1.848 * * [simplify]: Extracting # 1 : cost 0 1.859 * * [simplify]: Extracting # 2 : cost 0 1.864 * * [simplify]: Extracting # 3 : cost 0 1.868 * * [simplify]: Extracting # 4 : cost 0 1.872 * * [simplify]: iteration 3 : 4191 enodes (cost 333 ) 3.152 * * [simplify]: Extracting # 0 : cost 0 3.162 * * [simplify]: Extracting # 1 : cost 0 3.173 * * [simplify]: iteration done: 5000 enodes (cost 333 ) 3.174 * [simplify]: Simplified to: (expm1 (+ a (+ b (+ c d)))) (log1p (+ a (+ b (+ c d)))) (exp (+ a (+ b (+ c d)))) (exp (+ a (+ b (+ c d)))) (exp (+ a (+ b (+ c d)))) (log (+ a (+ b (+ c d)))) (exp (+ a (+ b (+ c d)))) (* (cbrt (+ a (+ b (+ c d)))) (cbrt (+ a (+ b (+ c d))))) (cbrt (+ a (+ b (+ c d)))) (pow (+ a (+ b (+ c d))) 3) (sqrt (+ a (+ b (+ c d)))) (sqrt (+ a (+ b (+ c d)))) (+ (pow a 3) (pow (+ b (+ c d)) 3)) (fma a a (* (+ b (+ c d)) (- (+ b (+ c d)) a))) (- (* a a) (* (+ b (+ c d)) (+ b (+ c d)))) (- a (+ b (+ c d))) (+ a (+ b (+ c d))) (+ a (+ b (+ c d))) (+ a (+ b (+ c d))) (+ a b) (expm1 (+ b (+ c d))) (log1p (+ b (+ c d))) (exp (+ b (+ c d))) (exp (+ b (+ c d))) (log (+ b (+ c d))) (exp (+ b (+ c d))) (* (cbrt (+ b (+ c d))) (cbrt (+ b (+ c d)))) (cbrt (+ b (+ c d))) (pow (+ b (+ c d)) 3) (sqrt (+ b (+ c d))) (sqrt (+ b (+ c d))) (+ (pow b 3) (pow (+ c d) 3)) (fma b b (* (+ c d) (- (+ c d) b))) (- (* b b) (* (+ c d) (+ c d))) (- b (+ c d)) (+ b (+ c d)) (+ b (+ c d)) (+ b c) (+ a (+ b c)) (+ b (+ c d)) (+ b (+ c d)) (+ b (+ c d)) (+ b (+ c d)) (+ b (+ c d)) 3.174 * * * [progress]: adding candidates to table 3.337 * * [progress]: iteration 2 / 4 3.337 * * * [progress]: picking best candidate 3.353 * * * * [pick]: Picked # 3.353 * * * [progress]: localizing error 3.361 * * * [progress]: generating rewritten candidates 3.362 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 3.498 * * * [progress]: generating series expansions 3.498 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 3.499 * [backup-simplify]: Simplify (+ a (+ (+ b c) d)) into (+ d (+ a (+ b c))) 3.499 * [approximate]: Taking taylor expansion of (+ d (+ a (+ b c))) in (a b c d) around 0 3.499 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 3.499 * [taylor]: Taking taylor expansion of d in d 3.499 * [backup-simplify]: Simplify 0 into 0 3.499 * [backup-simplify]: Simplify 1 into 1 3.499 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 3.499 * [taylor]: Taking taylor expansion of a in d 3.499 * [backup-simplify]: Simplify a into a 3.499 * [taylor]: Taking taylor expansion of (+ b c) in d 3.499 * [taylor]: Taking taylor expansion of b in d 3.499 * [backup-simplify]: Simplify b into b 3.499 * [taylor]: Taking taylor expansion of c in d 3.499 * [backup-simplify]: Simplify c into c 3.499 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in c 3.499 * [taylor]: Taking taylor expansion of d in c 3.499 * [backup-simplify]: Simplify d into d 3.499 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 3.499 * [taylor]: Taking taylor expansion of a in c 3.499 * [backup-simplify]: Simplify a into a 3.499 * [taylor]: Taking taylor expansion of (+ b c) in c 3.499 * [taylor]: Taking taylor expansion of b in c 3.499 * [backup-simplify]: Simplify b into b 3.499 * [taylor]: Taking taylor expansion of c in c 3.499 * [backup-simplify]: Simplify 0 into 0 3.499 * [backup-simplify]: Simplify 1 into 1 3.499 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in b 3.499 * [taylor]: Taking taylor expansion of d in b 3.499 * [backup-simplify]: Simplify d into d 3.499 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b 3.500 * [taylor]: Taking taylor expansion of a in b 3.500 * [backup-simplify]: Simplify a into a 3.500 * [taylor]: Taking taylor expansion of (+ b c) in b 3.500 * [taylor]: Taking taylor expansion of b in b 3.500 * [backup-simplify]: Simplify 0 into 0 3.500 * [backup-simplify]: Simplify 1 into 1 3.500 * [taylor]: Taking taylor expansion of c in b 3.500 * [backup-simplify]: Simplify c into c 3.500 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a 3.500 * [taylor]: Taking taylor expansion of d in a 3.500 * [backup-simplify]: Simplify d into d 3.500 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a 3.500 * [taylor]: Taking taylor expansion of a in a 3.500 * [backup-simplify]: Simplify 0 into 0 3.500 * [backup-simplify]: Simplify 1 into 1 3.500 * [taylor]: Taking taylor expansion of (+ b c) in a 3.500 * [taylor]: Taking taylor expansion of b in a 3.500 * [backup-simplify]: Simplify b into b 3.500 * [taylor]: Taking taylor expansion of c in a 3.500 * [backup-simplify]: Simplify c into c 3.500 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a 3.500 * [taylor]: Taking taylor expansion of d in a 3.500 * [backup-simplify]: Simplify d into d 3.500 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a 3.500 * [taylor]: Taking taylor expansion of a in a 3.500 * [backup-simplify]: Simplify 0 into 0 3.500 * [backup-simplify]: Simplify 1 into 1 3.500 * [taylor]: Taking taylor expansion of (+ b c) in a 3.500 * [taylor]: Taking taylor expansion of b in a 3.500 * [backup-simplify]: Simplify b into b 3.500 * [taylor]: Taking taylor expansion of c in a 3.500 * [backup-simplify]: Simplify c into c 3.500 * [backup-simplify]: Simplify (+ b c) into (+ b c) 3.501 * [backup-simplify]: Simplify (+ 0 (+ b c)) into (+ c b) 3.501 * [backup-simplify]: Simplify (+ d (+ c b)) into (+ d (+ b c)) 3.501 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b 3.501 * [taylor]: Taking taylor expansion of d in b 3.501 * [backup-simplify]: Simplify d into d 3.501 * [taylor]: Taking taylor expansion of (+ b c) in b 3.501 * [taylor]: Taking taylor expansion of b in b 3.501 * [backup-simplify]: Simplify 0 into 0 3.501 * [backup-simplify]: Simplify 1 into 1 3.501 * [taylor]: Taking taylor expansion of c in b 3.501 * [backup-simplify]: Simplify c into c 3.501 * [backup-simplify]: Simplify (+ 0 c) into c 3.501 * [backup-simplify]: Simplify (+ d c) into (+ d c) 3.501 * [taylor]: Taking taylor expansion of (+ d c) in c 3.501 * [taylor]: Taking taylor expansion of d in c 3.501 * [backup-simplify]: Simplify d into d 3.501 * [taylor]: Taking taylor expansion of c in c 3.501 * [backup-simplify]: Simplify 0 into 0 3.501 * [backup-simplify]: Simplify 1 into 1 3.501 * [backup-simplify]: Simplify (+ d 0) into d 3.501 * [taylor]: Taking taylor expansion of d in d 3.501 * [backup-simplify]: Simplify 0 into 0 3.501 * [backup-simplify]: Simplify 1 into 1 3.501 * [backup-simplify]: Simplify 0 into 0 3.502 * [backup-simplify]: Simplify (+ 0 0) into 0 3.503 * [backup-simplify]: Simplify (+ 1 0) into 1 3.503 * [backup-simplify]: Simplify (+ 0 1) into 1 3.503 * [taylor]: Taking taylor expansion of 1 in b 3.503 * [backup-simplify]: Simplify 1 into 1 3.503 * [taylor]: Taking taylor expansion of 1 in c 3.503 * [backup-simplify]: Simplify 1 into 1 3.503 * [taylor]: Taking taylor expansion of 1 in d 3.503 * [backup-simplify]: Simplify 1 into 1 3.503 * [backup-simplify]: Simplify 1 into 1 3.504 * [backup-simplify]: Simplify (+ 1 0) into 1 3.504 * [backup-simplify]: Simplify (+ 0 1) into 1 3.504 * [taylor]: Taking taylor expansion of 1 in c 3.504 * [backup-simplify]: Simplify 1 into 1 3.504 * [taylor]: Taking taylor expansion of 1 in d 3.504 * [backup-simplify]: Simplify 1 into 1 3.505 * [backup-simplify]: Simplify 1 into 1 3.505 * [backup-simplify]: Simplify (+ 0 1) into 1 3.505 * [taylor]: Taking taylor expansion of 1 in d 3.505 * [backup-simplify]: Simplify 1 into 1 3.505 * [backup-simplify]: Simplify 1 into 1 3.506 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* c (* 1 1)))) (+ (* 1 (* 1 (* 1 (* b 1)))) (* 1 (* 1 (* 1 (* 1 a)))))) into (+ a (+ b c)) 3.506 * [backup-simplify]: Simplify (+ (/ 1 a) (+ (+ (/ 1 b) (/ 1 c)) (/ 1 d))) into (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) 3.506 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in (a b c d) around 0 3.506 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in d 3.506 * [taylor]: Taking taylor expansion of (/ 1 b) in d 3.506 * [taylor]: Taking taylor expansion of b in d 3.506 * [backup-simplify]: Simplify b into b 3.507 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.507 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in d 3.507 * [taylor]: Taking taylor expansion of (/ 1 c) in d 3.507 * [taylor]: Taking taylor expansion of c in d 3.507 * [backup-simplify]: Simplify c into c 3.507 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.507 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in d 3.507 * [taylor]: Taking taylor expansion of (/ 1 d) in d 3.507 * [taylor]: Taking taylor expansion of d in d 3.507 * [backup-simplify]: Simplify 0 into 0 3.507 * [backup-simplify]: Simplify 1 into 1 3.507 * [backup-simplify]: Simplify (/ 1 1) into 1 3.508 * [taylor]: Taking taylor expansion of (/ 1 a) in d 3.508 * [taylor]: Taking taylor expansion of a in d 3.508 * [backup-simplify]: Simplify a into a 3.508 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.508 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in c 3.508 * [taylor]: Taking taylor expansion of (/ 1 b) in c 3.508 * [taylor]: Taking taylor expansion of b in c 3.508 * [backup-simplify]: Simplify b into b 3.508 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.508 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in c 3.508 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.508 * [taylor]: Taking taylor expansion of c in c 3.508 * [backup-simplify]: Simplify 0 into 0 3.508 * [backup-simplify]: Simplify 1 into 1 3.508 * [backup-simplify]: Simplify (/ 1 1) into 1 3.508 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in c 3.508 * [taylor]: Taking taylor expansion of (/ 1 d) in c 3.509 * [taylor]: Taking taylor expansion of d in c 3.509 * [backup-simplify]: Simplify d into d 3.509 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.509 * [taylor]: Taking taylor expansion of (/ 1 a) in c 3.509 * [taylor]: Taking taylor expansion of a in c 3.509 * [backup-simplify]: Simplify a into a 3.509 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.509 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in b 3.509 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.509 * [taylor]: Taking taylor expansion of b in b 3.509 * [backup-simplify]: Simplify 0 into 0 3.509 * [backup-simplify]: Simplify 1 into 1 3.509 * [backup-simplify]: Simplify (/ 1 1) into 1 3.509 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in b 3.509 * [taylor]: Taking taylor expansion of (/ 1 c) in b 3.509 * [taylor]: Taking taylor expansion of c in b 3.510 * [backup-simplify]: Simplify c into c 3.510 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.510 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in b 3.510 * [taylor]: Taking taylor expansion of (/ 1 d) in b 3.510 * [taylor]: Taking taylor expansion of d in b 3.510 * [backup-simplify]: Simplify d into d 3.510 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.510 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.510 * [taylor]: Taking taylor expansion of a in b 3.510 * [backup-simplify]: Simplify a into a 3.510 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.510 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in a 3.510 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.510 * [taylor]: Taking taylor expansion of b in a 3.510 * [backup-simplify]: Simplify b into b 3.510 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.510 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in a 3.510 * [taylor]: Taking taylor expansion of (/ 1 c) in a 3.510 * [taylor]: Taking taylor expansion of c in a 3.510 * [backup-simplify]: Simplify c into c 3.510 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.510 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in a 3.510 * [taylor]: Taking taylor expansion of (/ 1 d) in a 3.510 * [taylor]: Taking taylor expansion of d in a 3.510 * [backup-simplify]: Simplify d into d 3.510 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.510 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.510 * [taylor]: Taking taylor expansion of a in a 3.511 * [backup-simplify]: Simplify 0 into 0 3.511 * [backup-simplify]: Simplify 1 into 1 3.511 * [backup-simplify]: Simplify (/ 1 1) into 1 3.511 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in a 3.511 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.511 * [taylor]: Taking taylor expansion of b in a 3.511 * [backup-simplify]: Simplify b into b 3.511 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.511 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in a 3.511 * [taylor]: Taking taylor expansion of (/ 1 c) in a 3.511 * [taylor]: Taking taylor expansion of c in a 3.511 * [backup-simplify]: Simplify c into c 3.511 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.511 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in a 3.511 * [taylor]: Taking taylor expansion of (/ 1 d) in a 3.511 * [taylor]: Taking taylor expansion of d in a 3.511 * [backup-simplify]: Simplify d into d 3.512 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.512 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.512 * [taylor]: Taking taylor expansion of a in a 3.512 * [backup-simplify]: Simplify 0 into 0 3.512 * [backup-simplify]: Simplify 1 into 1 3.512 * [backup-simplify]: Simplify (/ 1 1) into 1 3.513 * [backup-simplify]: Simplify (+ 0 1) into 1 3.513 * [backup-simplify]: Simplify (+ 0 1) into 1 3.514 * [backup-simplify]: Simplify (+ 0 1) into 1 3.514 * [taylor]: Taking taylor expansion of 1 in b 3.514 * [backup-simplify]: Simplify 1 into 1 3.515 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.515 * [backup-simplify]: Simplify (+ (/ 1 d) 0) into (/ 1 d) 3.515 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 3.515 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) 3.515 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b 3.515 * [taylor]: Taking taylor expansion of (/ 1 d) in b 3.515 * [taylor]: Taking taylor expansion of d in b 3.515 * [backup-simplify]: Simplify d into d 3.515 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.515 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b 3.515 * [taylor]: Taking taylor expansion of (/ 1 c) in b 3.515 * [taylor]: Taking taylor expansion of c in b 3.515 * [backup-simplify]: Simplify c into c 3.515 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.515 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.515 * [taylor]: Taking taylor expansion of b in b 3.515 * [backup-simplify]: Simplify 0 into 0 3.515 * [backup-simplify]: Simplify 1 into 1 3.516 * [backup-simplify]: Simplify (/ 1 1) into 1 3.516 * [backup-simplify]: Simplify (+ 0 1) into 1 3.517 * [backup-simplify]: Simplify (+ 0 1) into 1 3.517 * [taylor]: Taking taylor expansion of 1 in c 3.517 * [backup-simplify]: Simplify 1 into 1 3.517 * [taylor]: Taking taylor expansion of 1 in c 3.517 * [backup-simplify]: Simplify 1 into 1 3.517 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 3.517 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 3.517 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 3.518 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.519 * [backup-simplify]: Simplify (+ 0 0) into 0 3.519 * [backup-simplify]: Simplify (+ 0 0) into 0 3.519 * [backup-simplify]: Simplify (+ 0 0) into 0 3.519 * [taylor]: Taking taylor expansion of 0 in b 3.519 * [backup-simplify]: Simplify 0 into 0 3.520 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.520 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c) 3.521 * [backup-simplify]: Simplify (+ (/ 1 d) (/ 1 c)) into (+ (/ 1 c) (/ 1 d)) 3.521 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 3.521 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.521 * [taylor]: Taking taylor expansion of c in c 3.521 * [backup-simplify]: Simplify 0 into 0 3.521 * [backup-simplify]: Simplify 1 into 1 3.521 * [backup-simplify]: Simplify (/ 1 1) into 1 3.521 * [taylor]: Taking taylor expansion of (/ 1 d) in c 3.521 * [taylor]: Taking taylor expansion of d in c 3.521 * [backup-simplify]: Simplify d into d 3.521 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.522 * [backup-simplify]: Simplify (+ 1 0) into 1 3.522 * [taylor]: Taking taylor expansion of 1 in d 3.522 * [backup-simplify]: Simplify 1 into 1 3.522 * [taylor]: Taking taylor expansion of 0 in c 3.522 * [backup-simplify]: Simplify 0 into 0 3.522 * [taylor]: Taking taylor expansion of 1 in d 3.522 * [backup-simplify]: Simplify 1 into 1 3.522 * [taylor]: Taking taylor expansion of 1 in d 3.522 * [backup-simplify]: Simplify 1 into 1 3.522 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 3.523 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 3.523 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 3.524 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.524 * [backup-simplify]: Simplify (+ 0 0) into 0 3.524 * [backup-simplify]: Simplify (+ 0 0) into 0 3.528 * [backup-simplify]: Simplify (+ 0 0) into 0 3.528 * [taylor]: Taking taylor expansion of 0 in b 3.528 * [backup-simplify]: Simplify 0 into 0 3.528 * [taylor]: Taking taylor expansion of 0 in c 3.528 * [backup-simplify]: Simplify 0 into 0 3.529 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 3.529 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 3.530 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.530 * [backup-simplify]: Simplify (+ 0 0) into 0 3.531 * [backup-simplify]: Simplify (+ 0 0) into 0 3.531 * [taylor]: Taking taylor expansion of 0 in c 3.531 * [backup-simplify]: Simplify 0 into 0 3.531 * [taylor]: Taking taylor expansion of 0 in c 3.531 * [backup-simplify]: Simplify 0 into 0 3.532 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.532 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 3.532 * [taylor]: Taking taylor expansion of (/ 1 d) in d 3.532 * [taylor]: Taking taylor expansion of d in d 3.532 * [backup-simplify]: Simplify 0 into 0 3.532 * [backup-simplify]: Simplify 1 into 1 3.532 * [backup-simplify]: Simplify (/ 1 1) into 1 3.532 * [backup-simplify]: Simplify 1 into 1 3.533 * [taylor]: Taking taylor expansion of 0 in d 3.533 * [backup-simplify]: Simplify 0 into 0 3.533 * [taylor]: Taking taylor expansion of 0 in d 3.533 * [backup-simplify]: Simplify 0 into 0 3.533 * [taylor]: Taking taylor expansion of 0 in d 3.533 * [backup-simplify]: Simplify 0 into 0 3.533 * [backup-simplify]: Simplify 1 into 1 3.533 * [backup-simplify]: Simplify 1 into 1 3.534 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 b)) 1)))) (+ (* 1 (* 1 (* (/ 1 (/ 1 c)) (* 1 1)))) (* 1 (* (/ 1 (/ 1 d)) (* 1 (* 1 1)))))) into (+ d (+ b c)) 3.534 * [backup-simplify]: Simplify (+ (/ 1 (- a)) (+ (+ (/ 1 (- b)) (/ 1 (- c))) (/ 1 (- d)))) into (- (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) 3.534 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in (a b c d) around 0 3.534 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in d 3.534 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in d 3.534 * [taylor]: Taking taylor expansion of (/ 1 b) in d 3.534 * [taylor]: Taking taylor expansion of b in d 3.534 * [backup-simplify]: Simplify b into b 3.534 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.534 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in d 3.534 * [taylor]: Taking taylor expansion of (/ 1 c) in d 3.534 * [taylor]: Taking taylor expansion of c in d 3.534 * [backup-simplify]: Simplify c into c 3.534 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.534 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in d 3.534 * [taylor]: Taking taylor expansion of (/ 1 d) in d 3.534 * [taylor]: Taking taylor expansion of d in d 3.534 * [backup-simplify]: Simplify 0 into 0 3.534 * [backup-simplify]: Simplify 1 into 1 3.534 * [backup-simplify]: Simplify (/ 1 1) into 1 3.535 * [taylor]: Taking taylor expansion of (/ 1 a) in d 3.535 * [taylor]: Taking taylor expansion of a in d 3.535 * [backup-simplify]: Simplify a into a 3.535 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.535 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in c 3.535 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in c 3.535 * [taylor]: Taking taylor expansion of (/ 1 b) in c 3.535 * [taylor]: Taking taylor expansion of b in c 3.535 * [backup-simplify]: Simplify b into b 3.535 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.535 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in c 3.535 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.535 * [taylor]: Taking taylor expansion of c in c 3.535 * [backup-simplify]: Simplify 0 into 0 3.535 * [backup-simplify]: Simplify 1 into 1 3.535 * [backup-simplify]: Simplify (/ 1 1) into 1 3.535 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in c 3.535 * [taylor]: Taking taylor expansion of (/ 1 d) in c 3.535 * [taylor]: Taking taylor expansion of d in c 3.535 * [backup-simplify]: Simplify d into d 3.535 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.535 * [taylor]: Taking taylor expansion of (/ 1 a) in c 3.535 * [taylor]: Taking taylor expansion of a in c 3.535 * [backup-simplify]: Simplify a into a 3.535 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.535 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in b 3.535 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in b 3.535 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.535 * [taylor]: Taking taylor expansion of b in b 3.535 * [backup-simplify]: Simplify 0 into 0 3.535 * [backup-simplify]: Simplify 1 into 1 3.536 * [backup-simplify]: Simplify (/ 1 1) into 1 3.536 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in b 3.536 * [taylor]: Taking taylor expansion of (/ 1 c) in b 3.536 * [taylor]: Taking taylor expansion of c in b 3.536 * [backup-simplify]: Simplify c into c 3.536 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.536 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in b 3.536 * [taylor]: Taking taylor expansion of (/ 1 d) in b 3.536 * [taylor]: Taking taylor expansion of d in b 3.536 * [backup-simplify]: Simplify d into d 3.536 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.536 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.536 * [taylor]: Taking taylor expansion of a in b 3.536 * [backup-simplify]: Simplify a into a 3.536 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.536 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in a 3.536 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in a 3.536 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.536 * [taylor]: Taking taylor expansion of b in a 3.536 * [backup-simplify]: Simplify b into b 3.536 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.536 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in a 3.536 * [taylor]: Taking taylor expansion of (/ 1 c) in a 3.536 * [taylor]: Taking taylor expansion of c in a 3.536 * [backup-simplify]: Simplify c into c 3.536 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.536 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in a 3.536 * [taylor]: Taking taylor expansion of (/ 1 d) in a 3.536 * [taylor]: Taking taylor expansion of d in a 3.536 * [backup-simplify]: Simplify d into d 3.536 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.536 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.537 * [taylor]: Taking taylor expansion of a in a 3.537 * [backup-simplify]: Simplify 0 into 0 3.537 * [backup-simplify]: Simplify 1 into 1 3.537 * [backup-simplify]: Simplify (/ 1 1) into 1 3.537 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in a 3.537 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in a 3.537 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.537 * [taylor]: Taking taylor expansion of b in a 3.537 * [backup-simplify]: Simplify b into b 3.537 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.537 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in a 3.537 * [taylor]: Taking taylor expansion of (/ 1 c) in a 3.537 * [taylor]: Taking taylor expansion of c in a 3.537 * [backup-simplify]: Simplify c into c 3.537 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.537 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in a 3.537 * [taylor]: Taking taylor expansion of (/ 1 d) in a 3.537 * [taylor]: Taking taylor expansion of d in a 3.537 * [backup-simplify]: Simplify d into d 3.537 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.537 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.537 * [taylor]: Taking taylor expansion of a in a 3.537 * [backup-simplify]: Simplify 0 into 0 3.537 * [backup-simplify]: Simplify 1 into 1 3.538 * [backup-simplify]: Simplify (/ 1 1) into 1 3.538 * [backup-simplify]: Simplify (+ 0 1) into 1 3.538 * [backup-simplify]: Simplify (+ 0 1) into 1 3.539 * [backup-simplify]: Simplify (+ 0 1) into 1 3.539 * [backup-simplify]: Simplify (- 1) into -1 3.539 * [taylor]: Taking taylor expansion of -1 in b 3.539 * [backup-simplify]: Simplify -1 into -1 3.539 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.539 * [backup-simplify]: Simplify (+ (/ 1 d) 0) into (/ 1 d) 3.540 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 3.540 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) 3.540 * [backup-simplify]: Simplify (- (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))) into (- (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))) 3.540 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))) in b 3.540 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b 3.540 * [taylor]: Taking taylor expansion of (/ 1 d) in b 3.540 * [taylor]: Taking taylor expansion of d in b 3.540 * [backup-simplify]: Simplify d into d 3.540 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.540 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b 3.540 * [taylor]: Taking taylor expansion of (/ 1 c) in b 3.540 * [taylor]: Taking taylor expansion of c in b 3.540 * [backup-simplify]: Simplify c into c 3.540 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.540 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.540 * [taylor]: Taking taylor expansion of b in b 3.540 * [backup-simplify]: Simplify 0 into 0 3.540 * [backup-simplify]: Simplify 1 into 1 3.540 * [backup-simplify]: Simplify (/ 1 1) into 1 3.541 * [backup-simplify]: Simplify (+ 0 1) into 1 3.541 * [backup-simplify]: Simplify (+ 0 1) into 1 3.541 * [backup-simplify]: Simplify (- 1) into -1 3.541 * [taylor]: Taking taylor expansion of -1 in c 3.541 * [backup-simplify]: Simplify -1 into -1 3.541 * [taylor]: Taking taylor expansion of -1 in c 3.541 * [backup-simplify]: Simplify -1 into -1 3.541 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 3.542 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 3.542 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 3.542 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.542 * [backup-simplify]: Simplify (+ 0 0) into 0 3.543 * [backup-simplify]: Simplify (+ 0 0) into 0 3.543 * [backup-simplify]: Simplify (+ 0 0) into 0 3.543 * [backup-simplify]: Simplify (- 0) into 0 3.543 * [taylor]: Taking taylor expansion of 0 in b 3.543 * [backup-simplify]: Simplify 0 into 0 3.544 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.544 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c) 3.544 * [backup-simplify]: Simplify (+ (/ 1 d) (/ 1 c)) into (+ (/ 1 c) (/ 1 d)) 3.544 * [backup-simplify]: Simplify (- (+ (/ 1 c) (/ 1 d))) into (- (+ (/ 1 c) (/ 1 d))) 3.544 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 d))) in c 3.544 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 3.544 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.544 * [taylor]: Taking taylor expansion of c in c 3.544 * [backup-simplify]: Simplify 0 into 0 3.544 * [backup-simplify]: Simplify 1 into 1 3.544 * [backup-simplify]: Simplify (/ 1 1) into 1 3.544 * [taylor]: Taking taylor expansion of (/ 1 d) in c 3.544 * [taylor]: Taking taylor expansion of d in c 3.544 * [backup-simplify]: Simplify d into d 3.544 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.544 * [backup-simplify]: Simplify (+ 1 0) into 1 3.545 * [backup-simplify]: Simplify (- 1) into -1 3.545 * [taylor]: Taking taylor expansion of -1 in d 3.545 * [backup-simplify]: Simplify -1 into -1 3.545 * [taylor]: Taking taylor expansion of 0 in c 3.545 * [backup-simplify]: Simplify 0 into 0 3.545 * [taylor]: Taking taylor expansion of -1 in d 3.545 * [backup-simplify]: Simplify -1 into -1 3.545 * [taylor]: Taking taylor expansion of -1 in d 3.545 * [backup-simplify]: Simplify -1 into -1 3.545 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 3.545 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 3.545 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 3.546 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.546 * [backup-simplify]: Simplify (+ 0 0) into 0 3.546 * [backup-simplify]: Simplify (+ 0 0) into 0 3.546 * [backup-simplify]: Simplify (+ 0 0) into 0 3.547 * [backup-simplify]: Simplify (- 0) into 0 3.547 * [taylor]: Taking taylor expansion of 0 in b 3.547 * [backup-simplify]: Simplify 0 into 0 3.547 * [taylor]: Taking taylor expansion of 0 in c 3.547 * [backup-simplify]: Simplify 0 into 0 3.547 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 3.547 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 3.547 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.548 * [backup-simplify]: Simplify (+ 0 0) into 0 3.548 * [backup-simplify]: Simplify (+ 0 0) into 0 3.548 * [backup-simplify]: Simplify (- 0) into 0 3.548 * [taylor]: Taking taylor expansion of 0 in c 3.548 * [backup-simplify]: Simplify 0 into 0 3.548 * [taylor]: Taking taylor expansion of 0 in c 3.548 * [backup-simplify]: Simplify 0 into 0 3.549 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.549 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 3.549 * [backup-simplify]: Simplify (- (/ 1 d)) into (- (/ 1 d)) 3.549 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d 3.549 * [taylor]: Taking taylor expansion of (/ 1 d) in d 3.549 * [taylor]: Taking taylor expansion of d in d 3.549 * [backup-simplify]: Simplify 0 into 0 3.549 * [backup-simplify]: Simplify 1 into 1 3.549 * [backup-simplify]: Simplify (/ 1 1) into 1 3.550 * [backup-simplify]: Simplify (- 1) into -1 3.550 * [backup-simplify]: Simplify -1 into -1 3.550 * [taylor]: Taking taylor expansion of 0 in d 3.550 * [backup-simplify]: Simplify 0 into 0 3.550 * [taylor]: Taking taylor expansion of 0 in d 3.550 * [backup-simplify]: Simplify 0 into 0 3.550 * [taylor]: Taking taylor expansion of 0 in d 3.550 * [backup-simplify]: Simplify 0 into 0 3.550 * [backup-simplify]: Simplify -1 into -1 3.550 * [backup-simplify]: Simplify -1 into -1 3.551 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (* (/ 1 (/ 1 (- b))) 1)))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- c))) (* 1 1)))) (* -1 (* (/ 1 (/ 1 (- d))) (* 1 (* 1 1)))))) into (+ d (+ b c)) 3.551 * * * [progress]: simplifying candidates 3.551 * [simplify]: Simplifying: (expm1 (+ a (+ (+ b c) d))) (log1p (+ a (+ (+ b c) d))) (* (exp a) (* (* (exp b) (exp c)) (exp d))) (* (exp a) (* (exp (+ b c)) (exp d))) (* (exp a) (exp (+ (+ b c) d))) (log (+ a (+ (+ b c) d))) (exp (+ a (+ (+ b c) d))) (* (cbrt (+ a (+ (+ b c) d))) (cbrt (+ a (+ (+ b c) d)))) (cbrt (+ a (+ (+ b c) d))) (* (* (+ a (+ (+ b c) d)) (+ a (+ (+ b c) d))) (+ a (+ (+ b c) d))) (sqrt (+ a (+ (+ b c) d))) (sqrt (+ a (+ (+ b c) d))) (+ (pow a 3) (pow (+ (+ b c) d) 3)) (+ (* a a) (- (* (+ (+ b c) d) (+ (+ b c) d)) (* a (+ (+ b c) d)))) (- (* a a) (* (+ (+ b c) d) (+ (+ b c) d))) (- a (+ (+ b c) d)) (+ a (+ (+ b c) d)) (+ a (+ (+ b c) d)) (+ a (+ (+ b c) d)) (+ a (+ b c)) (+ a (+ b c)) (+ d (+ b c)) (+ d (+ b c)) 3.552 * * [simplify]: Extracting # 0 : cost 0 3.552 * * [simplify]: Extracting # 1 : cost 0 3.552 * * [simplify]: Extracting # 2 : cost 0 3.552 * * [simplify]: Extracting # 3 : cost 0 3.552 * * [simplify]: Extracting # 4 : cost 0 3.552 * * [simplify]: Extracting # 5 : cost 0 3.552 * * [simplify]: Extracting # 6 : cost 0 3.552 * * [simplify]: iteration 0 : 41 enodes (cost 223 ) 3.561 * * [simplify]: Extracting # 0 : cost 0 3.561 * * [simplify]: Extracting # 1 : cost 0 3.561 * * [simplify]: Extracting # 2 : cost 0 3.562 * * [simplify]: Extracting # 3 : cost 0 3.562 * * [simplify]: Extracting # 4 : cost 0 3.562 * * [simplify]: iteration 1 : 113 enodes (cost 210 ) 3.624 * * [simplify]: Extracting # 0 : cost 0 3.625 * * [simplify]: Extracting # 1 : cost 0 3.626 * * [simplify]: Extracting # 2 : cost 0 3.627 * * [simplify]: Extracting # 3 : cost 0 3.628 * * [simplify]: Extracting # 4 : cost 0 3.629 * * [simplify]: iteration 2 : 479 enodes (cost 196 ) 4.233 * * [simplify]: Extracting # 0 : cost 0 4.240 * * [simplify]: Extracting # 1 : cost 0 4.248 * * [simplify]: Extracting # 2 : cost 0 4.254 * * [simplify]: Extracting # 3 : cost 0 4.261 * * [simplify]: Extracting # 4 : cost 0 4.267 * * [simplify]: iteration 3 : 3094 enodes (cost 196 ) 5.377 * * [simplify]: Extracting # 0 : cost 0 5.384 * * [simplify]: Extracting # 1 : cost 0 5.390 * * [simplify]: Extracting # 2 : cost 0 5.397 * * [simplify]: Extracting # 3 : cost 0 5.403 * * [simplify]: Extracting # 4 : cost 0 5.413 * * [simplify]: iteration done: 5000 enodes (cost 196 ) 5.413 * [simplify]: Simplified to: (expm1 (+ a (+ (+ b c) d))) (log1p (+ a (+ (+ b c) d))) (exp (+ a (+ (+ b c) d))) (exp (+ a (+ (+ b c) d))) (exp (+ a (+ (+ b c) d))) (log (+ a (+ (+ b c) d))) (exp (+ a (+ (+ b c) d))) (* (cbrt (+ a (+ (+ b c) d))) (cbrt (+ a (+ (+ b c) d)))) (cbrt (+ a (+ (+ b c) d))) (pow (+ a (+ (+ b c) d)) 3) (sqrt (+ a (+ (+ b c) d))) (sqrt (+ a (+ (+ b c) d))) (+ (pow a 3) (pow (+ (+ b c) d) 3)) (fma a a (* (+ (+ b c) d) (- (+ (+ b c) d) a))) (- (* a a) (* (+ (+ b c) d) (+ (+ b c) d))) (- a (+ (+ b c) d)) (+ a (+ (+ b c) d)) (+ a (+ (+ b c) d)) (+ a (+ (+ b c) d)) (+ a (+ b c)) (+ a (+ b c)) (+ (+ b c) d) (+ (+ b c) d) 5.414 * * * [progress]: adding candidates to table 5.462 * * [progress]: iteration 3 / 4 5.462 * * * [progress]: picking best candidate 5.507 * * * * [pick]: Picked # 5.507 * * * [progress]: localizing error 5.523 * * * [progress]: generating rewritten candidates 5.523 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 5.758 * * * [progress]: generating series expansions 5.758 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 5.758 * [backup-simplify]: Simplify (+ (+ (+ b c) d) a) into (+ d (+ a (+ b c))) 5.758 * [approximate]: Taking taylor expansion of (+ d (+ a (+ b c))) in (b c d a) around 0 5.758 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a 5.758 * [taylor]: Taking taylor expansion of d in a 5.758 * [backup-simplify]: Simplify d into d 5.758 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a 5.758 * [taylor]: Taking taylor expansion of a in a 5.758 * [backup-simplify]: Simplify 0 into 0 5.758 * [backup-simplify]: Simplify 1 into 1 5.758 * [taylor]: Taking taylor expansion of (+ b c) in a 5.758 * [taylor]: Taking taylor expansion of b in a 5.759 * [backup-simplify]: Simplify b into b 5.759 * [taylor]: Taking taylor expansion of c in a 5.759 * [backup-simplify]: Simplify c into c 5.759 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 5.759 * [taylor]: Taking taylor expansion of d in d 5.759 * [backup-simplify]: Simplify 0 into 0 5.759 * [backup-simplify]: Simplify 1 into 1 5.759 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 5.759 * [taylor]: Taking taylor expansion of a in d 5.759 * [backup-simplify]: Simplify a into a 5.759 * [taylor]: Taking taylor expansion of (+ b c) in d 5.759 * [taylor]: Taking taylor expansion of b in d 5.759 * [backup-simplify]: Simplify b into b 5.759 * [taylor]: Taking taylor expansion of c in d 5.759 * [backup-simplify]: Simplify c into c 5.759 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in c 5.759 * [taylor]: Taking taylor expansion of d in c 5.759 * [backup-simplify]: Simplify d into d 5.759 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 5.759 * [taylor]: Taking taylor expansion of a in c 5.759 * [backup-simplify]: Simplify a into a 5.759 * [taylor]: Taking taylor expansion of (+ b c) in c 5.759 * [taylor]: Taking taylor expansion of b in c 5.759 * [backup-simplify]: Simplify b into b 5.759 * [taylor]: Taking taylor expansion of c in c 5.759 * [backup-simplify]: Simplify 0 into 0 5.759 * [backup-simplify]: Simplify 1 into 1 5.759 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in b 5.759 * [taylor]: Taking taylor expansion of d in b 5.759 * [backup-simplify]: Simplify d into d 5.759 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b 5.759 * [taylor]: Taking taylor expansion of a in b 5.759 * [backup-simplify]: Simplify a into a 5.759 * [taylor]: Taking taylor expansion of (+ b c) in b 5.759 * [taylor]: Taking taylor expansion of b in b 5.759 * [backup-simplify]: Simplify 0 into 0 5.760 * [backup-simplify]: Simplify 1 into 1 5.760 * [taylor]: Taking taylor expansion of c in b 5.760 * [backup-simplify]: Simplify c into c 5.760 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in b 5.760 * [taylor]: Taking taylor expansion of d in b 5.760 * [backup-simplify]: Simplify d into d 5.760 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b 5.760 * [taylor]: Taking taylor expansion of a in b 5.760 * [backup-simplify]: Simplify a into a 5.760 * [taylor]: Taking taylor expansion of (+ b c) in b 5.760 * [taylor]: Taking taylor expansion of b in b 5.760 * [backup-simplify]: Simplify 0 into 0 5.760 * [backup-simplify]: Simplify 1 into 1 5.760 * [taylor]: Taking taylor expansion of c in b 5.760 * [backup-simplify]: Simplify c into c 5.760 * [backup-simplify]: Simplify (+ 0 c) into c 5.760 * [backup-simplify]: Simplify (+ a c) into (+ a c) 5.760 * [backup-simplify]: Simplify (+ d (+ a c)) into (+ d (+ a c)) 5.760 * [taylor]: Taking taylor expansion of (+ d (+ a c)) in c 5.760 * [taylor]: Taking taylor expansion of d in c 5.760 * [backup-simplify]: Simplify d into d 5.760 * [taylor]: Taking taylor expansion of (+ a c) in c 5.760 * [taylor]: Taking taylor expansion of a in c 5.760 * [backup-simplify]: Simplify a into a 5.760 * [taylor]: Taking taylor expansion of c in c 5.760 * [backup-simplify]: Simplify 0 into 0 5.760 * [backup-simplify]: Simplify 1 into 1 5.760 * [backup-simplify]: Simplify (+ a 0) into a 5.761 * [backup-simplify]: Simplify (+ d a) into (+ d a) 5.761 * [taylor]: Taking taylor expansion of (+ d a) in d 5.761 * [taylor]: Taking taylor expansion of d in d 5.761 * [backup-simplify]: Simplify 0 into 0 5.761 * [backup-simplify]: Simplify 1 into 1 5.761 * [taylor]: Taking taylor expansion of a in d 5.761 * [backup-simplify]: Simplify a into a 5.761 * [backup-simplify]: Simplify (+ 0 a) into a 5.761 * [taylor]: Taking taylor expansion of a in a 5.761 * [backup-simplify]: Simplify 0 into 0 5.761 * [backup-simplify]: Simplify 1 into 1 5.761 * [backup-simplify]: Simplify 0 into 0 5.762 * [backup-simplify]: Simplify (+ 1 0) into 1 5.762 * [backup-simplify]: Simplify (+ 0 1) into 1 5.763 * [backup-simplify]: Simplify (+ 0 1) into 1 5.763 * [taylor]: Taking taylor expansion of 1 in c 5.763 * [backup-simplify]: Simplify 1 into 1 5.763 * [taylor]: Taking taylor expansion of 1 in d 5.763 * [backup-simplify]: Simplify 1 into 1 5.763 * [taylor]: Taking taylor expansion of 1 in a 5.763 * [backup-simplify]: Simplify 1 into 1 5.763 * [backup-simplify]: Simplify 1 into 1 5.763 * [backup-simplify]: Simplify (+ 0 1) into 1 5.764 * [backup-simplify]: Simplify (+ 0 1) into 1 5.764 * [taylor]: Taking taylor expansion of 1 in d 5.764 * [backup-simplify]: Simplify 1 into 1 5.764 * [taylor]: Taking taylor expansion of 1 in a 5.764 * [backup-simplify]: Simplify 1 into 1 5.764 * [backup-simplify]: Simplify 1 into 1 5.764 * [backup-simplify]: Simplify (+ 1 0) into 1 5.764 * [taylor]: Taking taylor expansion of 1 in a 5.764 * [backup-simplify]: Simplify 1 into 1 5.764 * [backup-simplify]: Simplify 1 into 1 5.765 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* d (* 1 1)))) (+ (* 1 (* 1 (* 1 (* c 1)))) (* 1 (* 1 (* 1 (* 1 b)))))) into (+ d (+ b c)) 5.766 * [backup-simplify]: Simplify (+ (+ (+ (/ 1 b) (/ 1 c)) (/ 1 d)) (/ 1 a)) into (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) 5.766 * [approximate]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in (b c d a) around 0 5.766 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in a 5.766 * [taylor]: Taking taylor expansion of (/ 1 a) in a 5.766 * [taylor]: Taking taylor expansion of a in a 5.766 * [backup-simplify]: Simplify 0 into 0 5.766 * [backup-simplify]: Simplify 1 into 1 5.766 * [backup-simplify]: Simplify (/ 1 1) into 1 5.766 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a 5.766 * [taylor]: Taking taylor expansion of (/ 1 c) in a 5.766 * [taylor]: Taking taylor expansion of c in a 5.766 * [backup-simplify]: Simplify c into c 5.766 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 5.766 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a 5.766 * [taylor]: Taking taylor expansion of (/ 1 d) in a 5.766 * [taylor]: Taking taylor expansion of d in a 5.766 * [backup-simplify]: Simplify d into d 5.766 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 5.767 * [taylor]: Taking taylor expansion of (/ 1 b) in a 5.767 * [taylor]: Taking taylor expansion of b in a 5.767 * [backup-simplify]: Simplify b into b 5.767 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 5.767 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 5.767 * [taylor]: Taking taylor expansion of (/ 1 a) in d 5.767 * [taylor]: Taking taylor expansion of a in d 5.767 * [backup-simplify]: Simplify a into a 5.767 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 5.767 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 5.767 * [taylor]: Taking taylor expansion of (/ 1 c) in d 5.767 * [taylor]: Taking taylor expansion of c in d 5.767 * [backup-simplify]: Simplify c into c 5.767 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 5.767 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 5.767 * [taylor]: Taking taylor expansion of (/ 1 d) in d 5.767 * [taylor]: Taking taylor expansion of d in d 5.767 * [backup-simplify]: Simplify 0 into 0 5.767 * [backup-simplify]: Simplify 1 into 1 5.768 * [backup-simplify]: Simplify (/ 1 1) into 1 5.768 * [taylor]: Taking taylor expansion of (/ 1 b) in d 5.768 * [taylor]: Taking taylor expansion of b in d 5.768 * [backup-simplify]: Simplify b into b 5.768 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 5.768 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c 5.768 * [taylor]: Taking taylor expansion of (/ 1 a) in c 5.768 * [taylor]: Taking taylor expansion of a in c 5.768 * [backup-simplify]: Simplify a into a 5.768 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 5.768 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c 5.768 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.768 * [taylor]: Taking taylor expansion of c in c 5.768 * [backup-simplify]: Simplify 0 into 0 5.768 * [backup-simplify]: Simplify 1 into 1 5.768 * [backup-simplify]: Simplify (/ 1 1) into 1 5.768 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c 5.769 * [taylor]: Taking taylor expansion of (/ 1 d) in c 5.769 * [taylor]: Taking taylor expansion of d in c 5.769 * [backup-simplify]: Simplify d into d 5.769 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 5.769 * [taylor]: Taking taylor expansion of (/ 1 b) in c 5.769 * [taylor]: Taking taylor expansion of b in c 5.769 * [backup-simplify]: Simplify b into b 5.769 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 5.769 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 5.769 * [taylor]: Taking taylor expansion of (/ 1 a) in b 5.769 * [taylor]: Taking taylor expansion of a in b 5.769 * [backup-simplify]: Simplify a into a 5.769 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 5.769 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 5.769 * [taylor]: Taking taylor expansion of (/ 1 c) in b 5.769 * [taylor]: Taking taylor expansion of c in b 5.769 * [backup-simplify]: Simplify c into c 5.769 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 5.769 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 5.769 * [taylor]: Taking taylor expansion of (/ 1 d) in b 5.769 * [taylor]: Taking taylor expansion of d in b 5.769 * [backup-simplify]: Simplify d into d 5.769 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 5.769 * [taylor]: Taking taylor expansion of (/ 1 b) in b 5.769 * [taylor]: Taking taylor expansion of b in b 5.769 * [backup-simplify]: Simplify 0 into 0 5.769 * [backup-simplify]: Simplify 1 into 1 5.770 * [backup-simplify]: Simplify (/ 1 1) into 1 5.770 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 5.770 * [taylor]: Taking taylor expansion of (/ 1 a) in b 5.770 * [taylor]: Taking taylor expansion of a in b 5.770 * [backup-simplify]: Simplify a into a 5.770 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 5.770 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 5.770 * [taylor]: Taking taylor expansion of (/ 1 c) in b 5.770 * [taylor]: Taking taylor expansion of c in b 5.770 * [backup-simplify]: Simplify c into c 5.770 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 5.770 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 5.770 * [taylor]: Taking taylor expansion of (/ 1 d) in b 5.770 * [taylor]: Taking taylor expansion of d in b 5.770 * [backup-simplify]: Simplify d into d 5.770 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 5.770 * [taylor]: Taking taylor expansion of (/ 1 b) in b 5.770 * [taylor]: Taking taylor expansion of b in b 5.770 * [backup-simplify]: Simplify 0 into 0 5.771 * [backup-simplify]: Simplify 1 into 1 5.771 * [backup-simplify]: Simplify (/ 1 1) into 1 5.771 * [backup-simplify]: Simplify (+ 0 1) into 1 5.772 * [backup-simplify]: Simplify (+ 0 1) into 1 5.772 * [backup-simplify]: Simplify (+ 0 1) into 1 5.772 * [taylor]: Taking taylor expansion of 1 in c 5.772 * [backup-simplify]: Simplify 1 into 1 5.773 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.773 * [backup-simplify]: Simplify (+ (/ 1 d) 0) into (/ 1 d) 5.773 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 5.774 * [backup-simplify]: Simplify (+ (/ 1 a) (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) 5.774 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in c 5.774 * [taylor]: Taking taylor expansion of (/ 1 d) in c 5.774 * [taylor]: Taking taylor expansion of d in c 5.774 * [backup-simplify]: Simplify d into d 5.774 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 5.774 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 5.774 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.774 * [taylor]: Taking taylor expansion of c in c 5.774 * [backup-simplify]: Simplify 0 into 0 5.774 * [backup-simplify]: Simplify 1 into 1 5.774 * [backup-simplify]: Simplify (/ 1 1) into 1 5.774 * [taylor]: Taking taylor expansion of (/ 1 a) in c 5.774 * [taylor]: Taking taylor expansion of a in c 5.774 * [backup-simplify]: Simplify a into a 5.775 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 5.775 * [backup-simplify]: Simplify (+ 1 0) into 1 5.775 * [backup-simplify]: Simplify (+ 0 1) into 1 5.775 * [taylor]: Taking taylor expansion of 1 in d 5.775 * [backup-simplify]: Simplify 1 into 1 5.775 * [taylor]: Taking taylor expansion of 1 in d 5.776 * [backup-simplify]: Simplify 1 into 1 5.776 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 5.776 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 5.776 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 5.777 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.777 * [backup-simplify]: Simplify (+ 0 0) into 0 5.778 * [backup-simplify]: Simplify (+ 0 0) into 0 5.778 * [backup-simplify]: Simplify (+ 0 0) into 0 5.778 * [taylor]: Taking taylor expansion of 0 in c 5.778 * [backup-simplify]: Simplify 0 into 0 5.779 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.779 * [backup-simplify]: Simplify (+ 0 (/ 1 a)) into (/ 1 a) 5.779 * [backup-simplify]: Simplify (+ (/ 1 d) (/ 1 a)) into (+ (/ 1 d) (/ 1 a)) 5.779 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in d 5.779 * [taylor]: Taking taylor expansion of (/ 1 d) in d 5.779 * [taylor]: Taking taylor expansion of d in d 5.779 * [backup-simplify]: Simplify 0 into 0 5.779 * [backup-simplify]: Simplify 1 into 1 5.780 * [backup-simplify]: Simplify (/ 1 1) into 1 5.780 * [taylor]: Taking taylor expansion of (/ 1 a) in d 5.780 * [taylor]: Taking taylor expansion of a in d 5.780 * [backup-simplify]: Simplify a into a 5.780 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 5.781 * [backup-simplify]: Simplify (+ 1 0) into 1 5.781 * [taylor]: Taking taylor expansion of 1 in a 5.781 * [backup-simplify]: Simplify 1 into 1 5.781 * [taylor]: Taking taylor expansion of 0 in d 5.781 * [backup-simplify]: Simplify 0 into 0 5.781 * [taylor]: Taking taylor expansion of 1 in a 5.781 * [backup-simplify]: Simplify 1 into 1 5.781 * [taylor]: Taking taylor expansion of 1 in a 5.781 * [backup-simplify]: Simplify 1 into 1 5.781 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 5.781 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 5.782 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 5.783 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.783 * [backup-simplify]: Simplify (+ 0 0) into 0 5.783 * [backup-simplify]: Simplify (+ 0 0) into 0 5.784 * [backup-simplify]: Simplify (+ 0 0) into 0 5.784 * [taylor]: Taking taylor expansion of 0 in c 5.784 * [backup-simplify]: Simplify 0 into 0 5.784 * [taylor]: Taking taylor expansion of 0 in d 5.784 * [backup-simplify]: Simplify 0 into 0 5.784 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 5.785 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.785 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 5.786 * [backup-simplify]: Simplify (+ 0 0) into 0 5.786 * [backup-simplify]: Simplify (+ 0 0) into 0 5.786 * [taylor]: Taking taylor expansion of 0 in d 5.786 * [backup-simplify]: Simplify 0 into 0 5.786 * [taylor]: Taking taylor expansion of 0 in d 5.786 * [backup-simplify]: Simplify 0 into 0 5.787 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.787 * [backup-simplify]: Simplify (+ 0 (/ 1 a)) into (/ 1 a) 5.787 * [taylor]: Taking taylor expansion of (/ 1 a) in a 5.787 * [taylor]: Taking taylor expansion of a in a 5.787 * [backup-simplify]: Simplify 0 into 0 5.787 * [backup-simplify]: Simplify 1 into 1 5.788 * [backup-simplify]: Simplify (/ 1 1) into 1 5.788 * [backup-simplify]: Simplify 1 into 1 5.788 * [taylor]: Taking taylor expansion of 0 in a 5.788 * [backup-simplify]: Simplify 0 into 0 5.788 * [taylor]: Taking taylor expansion of 0 in a 5.788 * [backup-simplify]: Simplify 0 into 0 5.788 * [taylor]: Taking taylor expansion of 0 in a 5.788 * [backup-simplify]: Simplify 0 into 0 5.788 * [backup-simplify]: Simplify 1 into 1 5.788 * [backup-simplify]: Simplify 1 into 1 5.789 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 c)) 1)))) (+ (* 1 (* 1 (* (/ 1 (/ 1 d)) (* 1 1)))) (* 1 (* (/ 1 (/ 1 a)) (* 1 (* 1 1)))))) into (+ d (+ a c)) 5.790 * [backup-simplify]: Simplify (+ (+ (+ (/ 1 (- b)) (/ 1 (- c))) (/ 1 (- d))) (/ 1 (- a))) into (- (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) 5.790 * [approximate]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in (b c d a) around 0 5.790 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in a 5.790 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in a 5.790 * [taylor]: Taking taylor expansion of (/ 1 a) in a 5.790 * [taylor]: Taking taylor expansion of a in a 5.790 * [backup-simplify]: Simplify 0 into 0 5.790 * [backup-simplify]: Simplify 1 into 1 5.790 * [backup-simplify]: Simplify (/ 1 1) into 1 5.790 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a 5.791 * [taylor]: Taking taylor expansion of (/ 1 c) in a 5.791 * [taylor]: Taking taylor expansion of c in a 5.791 * [backup-simplify]: Simplify c into c 5.791 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 5.791 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a 5.791 * [taylor]: Taking taylor expansion of (/ 1 d) in a 5.791 * [taylor]: Taking taylor expansion of d in a 5.791 * [backup-simplify]: Simplify d into d 5.791 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 5.791 * [taylor]: Taking taylor expansion of (/ 1 b) in a 5.791 * [taylor]: Taking taylor expansion of b in a 5.791 * [backup-simplify]: Simplify b into b 5.791 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 5.791 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in d 5.791 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 5.791 * [taylor]: Taking taylor expansion of (/ 1 a) in d 5.791 * [taylor]: Taking taylor expansion of a in d 5.791 * [backup-simplify]: Simplify a into a 5.791 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 5.791 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 5.791 * [taylor]: Taking taylor expansion of (/ 1 c) in d 5.791 * [taylor]: Taking taylor expansion of c in d 5.791 * [backup-simplify]: Simplify c into c 5.791 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 5.791 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 5.791 * [taylor]: Taking taylor expansion of (/ 1 d) in d 5.792 * [taylor]: Taking taylor expansion of d in d 5.792 * [backup-simplify]: Simplify 0 into 0 5.792 * [backup-simplify]: Simplify 1 into 1 5.792 * [backup-simplify]: Simplify (/ 1 1) into 1 5.792 * [taylor]: Taking taylor expansion of (/ 1 b) in d 5.792 * [taylor]: Taking taylor expansion of b in d 5.792 * [backup-simplify]: Simplify b into b 5.792 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 5.792 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in c 5.792 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c 5.792 * [taylor]: Taking taylor expansion of (/ 1 a) in c 5.792 * [taylor]: Taking taylor expansion of a in c 5.792 * [backup-simplify]: Simplify a into a 5.792 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 5.792 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c 5.792 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.792 * [taylor]: Taking taylor expansion of c in c 5.793 * [backup-simplify]: Simplify 0 into 0 5.793 * [backup-simplify]: Simplify 1 into 1 5.793 * [backup-simplify]: Simplify (/ 1 1) into 1 5.793 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c 5.793 * [taylor]: Taking taylor expansion of (/ 1 d) in c 5.793 * [taylor]: Taking taylor expansion of d in c 5.793 * [backup-simplify]: Simplify d into d 5.793 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 5.793 * [taylor]: Taking taylor expansion of (/ 1 b) in c 5.793 * [taylor]: Taking taylor expansion of b in c 5.793 * [backup-simplify]: Simplify b into b 5.793 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 5.793 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in b 5.793 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 5.793 * [taylor]: Taking taylor expansion of (/ 1 a) in b 5.793 * [taylor]: Taking taylor expansion of a in b 5.793 * [backup-simplify]: Simplify a into a 5.794 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 5.794 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 5.794 * [taylor]: Taking taylor expansion of (/ 1 c) in b 5.794 * [taylor]: Taking taylor expansion of c in b 5.794 * [backup-simplify]: Simplify c into c 5.794 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 5.794 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 5.794 * [taylor]: Taking taylor expansion of (/ 1 d) in b 5.794 * [taylor]: Taking taylor expansion of d in b 5.794 * [backup-simplify]: Simplify d into d 5.794 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 5.794 * [taylor]: Taking taylor expansion of (/ 1 b) in b 5.794 * [taylor]: Taking taylor expansion of b in b 5.794 * [backup-simplify]: Simplify 0 into 0 5.794 * [backup-simplify]: Simplify 1 into 1 5.794 * [backup-simplify]: Simplify (/ 1 1) into 1 5.794 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in b 5.794 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 5.795 * [taylor]: Taking taylor expansion of (/ 1 a) in b 5.795 * [taylor]: Taking taylor expansion of a in b 5.795 * [backup-simplify]: Simplify a into a 5.795 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 5.795 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 5.795 * [taylor]: Taking taylor expansion of (/ 1 c) in b 5.795 * [taylor]: Taking taylor expansion of c in b 5.795 * [backup-simplify]: Simplify c into c 5.795 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 5.795 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 5.795 * [taylor]: Taking taylor expansion of (/ 1 d) in b 5.795 * [taylor]: Taking taylor expansion of d in b 5.795 * [backup-simplify]: Simplify d into d 5.795 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 5.795 * [taylor]: Taking taylor expansion of (/ 1 b) in b 5.795 * [taylor]: Taking taylor expansion of b in b 5.795 * [backup-simplify]: Simplify 0 into 0 5.795 * [backup-simplify]: Simplify 1 into 1 5.796 * [backup-simplify]: Simplify (/ 1 1) into 1 5.796 * [backup-simplify]: Simplify (+ 0 1) into 1 5.797 * [backup-simplify]: Simplify (+ 0 1) into 1 5.797 * [backup-simplify]: Simplify (+ 0 1) into 1 5.797 * [backup-simplify]: Simplify (- 1) into -1 5.798 * [taylor]: Taking taylor expansion of -1 in c 5.798 * [backup-simplify]: Simplify -1 into -1 5.798 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.798 * [backup-simplify]: Simplify (+ (/ 1 d) 0) into (/ 1 d) 5.799 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 5.799 * [backup-simplify]: Simplify (+ (/ 1 a) (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) 5.799 * [backup-simplify]: Simplify (- (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) into (- (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) 5.799 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in c 5.799 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in c 5.799 * [taylor]: Taking taylor expansion of (/ 1 d) in c 5.799 * [taylor]: Taking taylor expansion of d in c 5.799 * [backup-simplify]: Simplify d into d 5.799 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 5.799 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 5.799 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.799 * [taylor]: Taking taylor expansion of c in c 5.799 * [backup-simplify]: Simplify 0 into 0 5.799 * [backup-simplify]: Simplify 1 into 1 5.800 * [backup-simplify]: Simplify (/ 1 1) into 1 5.800 * [taylor]: Taking taylor expansion of (/ 1 a) in c 5.800 * [taylor]: Taking taylor expansion of a in c 5.800 * [backup-simplify]: Simplify a into a 5.800 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 5.800 * [backup-simplify]: Simplify (+ 1 0) into 1 5.801 * [backup-simplify]: Simplify (+ 0 1) into 1 5.801 * [backup-simplify]: Simplify (- 1) into -1 5.801 * [taylor]: Taking taylor expansion of -1 in d 5.801 * [backup-simplify]: Simplify -1 into -1 5.801 * [taylor]: Taking taylor expansion of -1 in d 5.801 * [backup-simplify]: Simplify -1 into -1 5.802 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 5.802 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 5.802 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 5.803 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.803 * [backup-simplify]: Simplify (+ 0 0) into 0 5.803 * [backup-simplify]: Simplify (+ 0 0) into 0 5.804 * [backup-simplify]: Simplify (+ 0 0) into 0 5.804 * [backup-simplify]: Simplify (- 0) into 0 5.804 * [taylor]: Taking taylor expansion of 0 in c 5.804 * [backup-simplify]: Simplify 0 into 0 5.805 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.805 * [backup-simplify]: Simplify (+ 0 (/ 1 a)) into (/ 1 a) 5.805 * [backup-simplify]: Simplify (+ (/ 1 d) (/ 1 a)) into (+ (/ 1 d) (/ 1 a)) 5.805 * [backup-simplify]: Simplify (- (+ (/ 1 d) (/ 1 a))) into (- (+ (/ 1 d) (/ 1 a))) 5.805 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d) (/ 1 a))) in d 5.805 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in d 5.805 * [taylor]: Taking taylor expansion of (/ 1 d) in d 5.806 * [taylor]: Taking taylor expansion of d in d 5.806 * [backup-simplify]: Simplify 0 into 0 5.806 * [backup-simplify]: Simplify 1 into 1 5.806 * [backup-simplify]: Simplify (/ 1 1) into 1 5.806 * [taylor]: Taking taylor expansion of (/ 1 a) in d 5.806 * [taylor]: Taking taylor expansion of a in d 5.806 * [backup-simplify]: Simplify a into a 5.806 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 5.807 * [backup-simplify]: Simplify (+ 1 0) into 1 5.807 * [backup-simplify]: Simplify (- 1) into -1 5.807 * [taylor]: Taking taylor expansion of -1 in a 5.807 * [backup-simplify]: Simplify -1 into -1 5.807 * [taylor]: Taking taylor expansion of 0 in d 5.807 * [backup-simplify]: Simplify 0 into 0 5.807 * [taylor]: Taking taylor expansion of -1 in a 5.807 * [backup-simplify]: Simplify -1 into -1 5.807 * [taylor]: Taking taylor expansion of -1 in a 5.807 * [backup-simplify]: Simplify -1 into -1 5.807 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 5.808 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 5.808 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 5.809 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.809 * [backup-simplify]: Simplify (+ 0 0) into 0 5.809 * [backup-simplify]: Simplify (+ 0 0) into 0 5.810 * [backup-simplify]: Simplify (+ 0 0) into 0 5.810 * [backup-simplify]: Simplify (- 0) into 0 5.810 * [taylor]: Taking taylor expansion of 0 in c 5.810 * [backup-simplify]: Simplify 0 into 0 5.810 * [taylor]: Taking taylor expansion of 0 in d 5.810 * [backup-simplify]: Simplify 0 into 0 5.811 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 5.811 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.812 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 5.812 * [backup-simplify]: Simplify (+ 0 0) into 0 5.815 * [backup-simplify]: Simplify (+ 0 0) into 0 5.816 * [backup-simplify]: Simplify (- 0) into 0 5.816 * [taylor]: Taking taylor expansion of 0 in d 5.816 * [backup-simplify]: Simplify 0 into 0 5.816 * [taylor]: Taking taylor expansion of 0 in d 5.816 * [backup-simplify]: Simplify 0 into 0 5.817 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.817 * [backup-simplify]: Simplify (+ 0 (/ 1 a)) into (/ 1 a) 5.817 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a)) 5.817 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 5.817 * [taylor]: Taking taylor expansion of (/ 1 a) in a 5.817 * [taylor]: Taking taylor expansion of a in a 5.817 * [backup-simplify]: Simplify 0 into 0 5.817 * [backup-simplify]: Simplify 1 into 1 5.818 * [backup-simplify]: Simplify (/ 1 1) into 1 5.818 * [backup-simplify]: Simplify (- 1) into -1 5.818 * [backup-simplify]: Simplify -1 into -1 5.818 * [taylor]: Taking taylor expansion of 0 in a 5.818 * [backup-simplify]: Simplify 0 into 0 5.818 * [taylor]: Taking taylor expansion of 0 in a 5.818 * [backup-simplify]: Simplify 0 into 0 5.818 * [taylor]: Taking taylor expansion of 0 in a 5.818 * [backup-simplify]: Simplify 0 into 0 5.818 * [backup-simplify]: Simplify -1 into -1 5.818 * [backup-simplify]: Simplify -1 into -1 5.820 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (* (/ 1 (/ 1 (- c))) 1)))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- d))) (* 1 1)))) (* -1 (* (/ 1 (/ 1 (- a))) (* 1 (* 1 1)))))) into (+ d (+ a c)) 5.820 * * * [progress]: simplifying candidates 5.821 * [simplify]: Simplifying: (expm1 (+ (+ (+ b c) d) a)) (log1p (+ (+ (+ b c) d) a)) (* (* (* (exp b) (exp c)) (exp d)) (exp a)) (* (* (exp (+ b c)) (exp d)) (exp a)) (* (exp (+ (+ b c) d)) (exp a)) (log (+ (+ (+ b c) d) a)) (exp (+ (+ (+ b c) d) a)) (* (cbrt (+ (+ (+ b c) d) a)) (cbrt (+ (+ (+ b c) d) a))) (cbrt (+ (+ (+ b c) d) a)) (* (* (+ (+ (+ b c) d) a) (+ (+ (+ b c) d) a)) (+ (+ (+ b c) d) a)) (sqrt (+ (+ (+ b c) d) a)) (sqrt (+ (+ (+ b c) d) a)) (+ (pow (+ (+ b c) d) 3) (pow a 3)) (+ (* (+ (+ b c) d) (+ (+ b c) d)) (- (* a a) (* (+ (+ b c) d) a))) (- (* (+ (+ b c) d) (+ (+ b c) d)) (* a a)) (- (+ (+ b c) d) a) (+ (+ (+ b c) d) a) (+ (+ (+ b c) d) a) (+ (+ (+ b c) d) a) (+ d a) (+ d (+ b c)) (+ d (+ a c)) (+ d (+ a c)) 5.821 * * [simplify]: Extracting # 0 : cost 0 5.821 * * [simplify]: Extracting # 1 : cost 0 5.822 * * [simplify]: Extracting # 2 : cost 0 5.822 * * [simplify]: Extracting # 3 : cost 0 5.822 * * [simplify]: Extracting # 4 : cost 0 5.822 * * [simplify]: Extracting # 5 : cost 0 5.822 * * [simplify]: Extracting # 6 : cost 0 5.822 * * [simplify]: iteration 0 : 43 enodes (cost 221 ) 5.842 * * [simplify]: Extracting # 0 : cost 0 5.842 * * [simplify]: Extracting # 1 : cost 0 5.843 * * [simplify]: Extracting # 2 : cost 0 5.843 * * [simplify]: Extracting # 3 : cost 0 5.843 * * [simplify]: Extracting # 4 : cost 0 5.843 * * [simplify]: iteration 1 : 110 enodes (cost 212 ) 5.892 * * [simplify]: Extracting # 0 : cost 0 5.893 * * [simplify]: Extracting # 1 : cost 0 5.893 * * [simplify]: Extracting # 2 : cost 0 5.894 * * [simplify]: Extracting # 3 : cost 0 5.895 * * [simplify]: Extracting # 4 : cost 0 5.895 * * [simplify]: iteration 2 : 465 enodes (cost 198 ) 6.485 * * [simplify]: Extracting # 0 : cost 0 6.491 * * [simplify]: Extracting # 1 : cost 0 6.506 * * [simplify]: Extracting # 2 : cost 0 6.511 * * [simplify]: Extracting # 3 : cost 0 6.514 * * [simplify]: iteration 3 : 3080 enodes (cost 194 ) 7.552 * * [simplify]: Extracting # 0 : cost 0 7.559 * * [simplify]: Extracting # 1 : cost 0 7.565 * * [simplify]: Extracting # 2 : cost 0 7.572 * * [simplify]: Extracting # 3 : cost 0 7.586 * * [simplify]: Extracting # 4 : cost 0 7.592 * * [simplify]: iteration done: 5000 enodes (cost 194 ) 7.592 * [simplify]: Simplified to: (expm1 (+ (+ (+ b c) d) a)) (log1p (+ (+ (+ b c) d) a)) (exp (+ (+ (+ b c) d) a)) (exp (+ (+ (+ b c) d) a)) (exp (+ (+ (+ b c) d) a)) (log (+ (+ (+ b c) d) a)) (exp (+ (+ (+ b c) d) a)) (* (cbrt (+ (+ (+ b c) d) a)) (cbrt (+ (+ (+ b c) d) a))) (cbrt (+ (+ (+ b c) d) a)) (pow (+ (+ (+ b c) d) a) 3) (sqrt (+ (+ (+ b c) d) a)) (sqrt (+ (+ (+ b c) d) a)) (+ (pow (+ (+ b c) d) 3) (pow a 3)) (fma a a (* (+ (+ b c) d) (- (+ (+ b c) d) a))) (- (* (+ (+ b c) d) (+ (+ b c) d)) (* a a)) (- (+ (+ b c) d) a) (+ (+ (+ b c) d) a) (+ (+ (+ b c) d) a) (+ (+ (+ b c) d) a) (+ d a) (+ (+ b c) d) (+ d (+ a c)) (+ d (+ a c)) 7.592 * * * [progress]: adding candidates to table 7.666 * * [progress]: iteration 4 / 4 7.666 * * * [progress]: picking best candidate 7.668 * * * * [pick]: Picked # 7.668 * * * [progress]: localizing error 7.676 * * * [progress]: generating rewritten candidates 7.676 * * * [progress]: generating series expansions 7.676 * * * [progress]: simplifying candidates 7.677 * [simplify]: Simplifying: 7.677 * * [simplify]: Extracting # 0 : cost 0 7.677 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 7.677 * * [simplify]: Extracting # 0 : cost 0 7.677 * * [simplify]: iteration done: 0 enodes (cost 0 ) 7.677 * [simplify]: Simplified to: 7.677 * * * [progress]: adding candidates to table 7.677 * [progress]: [Phase 3 of 3] Extracting. 7.679 * [simplify]: Simplifying: (* (+ (+ b c) (+ d a)) 2.0) 7.679 * * [simplify]: Extracting # 0 : cost 0 7.679 * * [simplify]: Extracting # 1 : cost 0 7.679 * * [simplify]: Extracting # 2 : cost 0 7.679 * * [simplify]: Extracting # 3 : cost 0 7.679 * * [simplify]: Extracting # 4 : cost 0 7.679 * * [simplify]: Extracting # 5 : cost 0 7.679 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 7.680 * * [simplify]: Extracting # 0 : cost 0 7.680 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 7.680 * * [simplify]: Extracting # 0 : cost 0 7.680 * * [simplify]: iteration done: 13 enodes (cost 9 ) 7.680 * [simplify]: Simplified to: (* (+ (+ b c) (+ d a)) 2.0) 8.850 * [regime-testing]: Baseline error score: 0 8.854 * [regime-testing]: Oracle error score: 0 8.854 * [regime-testing]: End program error score: 0 8.904 * [regime-testing]: Target error score: 3.8643769656960076