1544779536.572 * [misc]progress: [Phase 1 of 3] Setting up. 1544779536.572 * * * [misc]progress: [1/2] Preparing points 1544779536.572 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1544779536.607 * * * * [misc]points: Filtering points with unrepresentable outputs 1544779536.607 * * * * [exit]points: Sampled 256 points with exact outputs 1544779536.607 * * * [misc]progress: [2/2] Setting up program. 1544779536.611 * [misc]progress: [Phase 2 of 3] Improving. 1544779536.611 * [enter]simplify: Simplifying (/ x (+ (* x x) 1)) 1544779536.612 * * [misc]simplify: iters left: 6 (5 enodes) 1544779536.614 * * [misc]simplify: iters left: 5 (8 enodes) 1544779536.617 * [exit]simplify: Simplified to (/ x (+ (* x x) 1)) 1544779536.628 * * [misc]progress: iteration 1 / 4 1544779536.628 * * * [misc]progress: picking best candidate 1544779536.633 * * * * [misc]pick: Picked # 1544779536.633 * * * [misc]progress: localizing error 1544779536.653 * * * [misc]progress: generating rewritten candidates 1544779536.653 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1544779536.693 * * * [misc]progress: generating series expansions 1544779536.694 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1544779536.694 * [misc]backup-simplify: Simplify (/ x (+ (* x x) 1)) into (/ x (+ (pow x 2) 1)) 1544779536.694 * [misc]approximate: Taking taylor expansion of (/ x (+ (pow x 2) 1)) in (x) around 0 1544779536.694 * [misc]taylor: Taking taylor expansion of (/ x (+ (pow x 2) 1)) in x 1544779536.694 * [misc]taylor: Taking taylor expansion of x in x 1544779536.694 * [misc]backup-simplify: Simplify 0 into 0 1544779536.694 * [misc]backup-simplify: Simplify 1 into 1 1544779536.694 * [misc]taylor: Taking taylor expansion of (+ (pow x 2) 1) in x 1544779536.694 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544779536.694 * [misc]taylor: Taking taylor expansion of x in x 1544779536.694 * [misc]backup-simplify: Simplify 0 into 0 1544779536.694 * [misc]backup-simplify: Simplify 1 into 1 1544779536.694 * [misc]taylor: Taking taylor expansion of 1 in x 1544779536.695 * [misc]backup-simplify: Simplify 1 into 1 1544779536.695 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1544779536.695 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544779536.695 * [misc]taylor: Taking taylor expansion of (/ x (+ (pow x 2) 1)) in x 1544779536.695 * [misc]taylor: Taking taylor expansion of x in x 1544779536.695 * [misc]backup-simplify: Simplify 0 into 0 1544779536.695 * [misc]backup-simplify: Simplify 1 into 1 1544779536.695 * [misc]taylor: Taking taylor expansion of (+ (pow x 2) 1) in x 1544779536.695 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544779536.695 * [misc]taylor: Taking taylor expansion of x in x 1544779536.695 * [misc]backup-simplify: Simplify 0 into 0 1544779536.695 * [misc]backup-simplify: Simplify 1 into 1 1544779536.695 * [misc]taylor: Taking taylor expansion of 1 in x 1544779536.695 * [misc]backup-simplify: Simplify 1 into 1 1544779536.696 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1544779536.696 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544779536.696 * [misc]backup-simplify: Simplify 1 into 1 1544779536.696 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779536.696 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0 1544779536.696 * [misc]backup-simplify: Simplify 0 into 0 1544779536.697 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779536.697 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544779536.697 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)) (* 0 (/ 0 1)))) into -1 1544779536.697 * [misc]backup-simplify: Simplify -1 into -1 1544779536.697 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544779536.697 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779536.698 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 1 1)) (* -1 (/ 0 1)))) into 0 1544779536.698 * [misc]backup-simplify: Simplify 0 into 0 1544779536.698 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544779536.698 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779536.699 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1 (/ 1 1)) (* 0 (/ 0 1)))) into 1 1544779536.699 * [misc]backup-simplify: Simplify 1 into 1 1544779536.699 * [misc]backup-simplify: Simplify (+ (* 1 (pow x 5)) (+ (* -1 (pow x 3)) (* 1 x))) into (- (+ x (pow x 5)) (pow x 3)) 1544779536.700 * [misc]backup-simplify: Simplify (/ (/ 1 x) (+ (* (/ 1 x) (/ 1 x)) 1)) into (/ 1 (* x (+ (/ 1 (pow x 2)) 1))) 1544779536.700 * [misc]approximate: Taking taylor expansion of (/ 1 (* x (+ (/ 1 (pow x 2)) 1))) in (x) around 0 1544779536.700 * [misc]taylor: Taking taylor expansion of (/ 1 (* x (+ (/ 1 (pow x 2)) 1))) in x 1544779536.700 * [misc]taylor: Taking taylor expansion of (* x (+ (/ 1 (pow x 2)) 1)) in x 1544779536.700 * [misc]taylor: Taking taylor expansion of x in x 1544779536.700 * [misc]backup-simplify: Simplify 0 into 0 1544779536.700 * [misc]backup-simplify: Simplify 1 into 1 1544779536.700 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1) in x 1544779536.700 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1544779536.700 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544779536.700 * [misc]taylor: Taking taylor expansion of x in x 1544779536.700 * [misc]backup-simplify: Simplify 0 into 0 1544779536.700 * [misc]backup-simplify: Simplify 1 into 1 1544779536.700 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779536.700 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544779536.701 * [misc]taylor: Taking taylor expansion of 1 in x 1544779536.701 * [misc]backup-simplify: Simplify 1 into 1 1544779536.701 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544779536.701 * [misc]backup-simplify: Simplify (* 0 1) into 0 1544779536.701 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544779536.701 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544779536.702 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779536.702 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 1)) into 1 1544779536.702 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544779536.702 * [misc]taylor: Taking taylor expansion of (/ 1 (* x (+ (/ 1 (pow x 2)) 1))) in x 1544779536.702 * [misc]taylor: Taking taylor expansion of (* x (+ (/ 1 (pow x 2)) 1)) in x 1544779536.702 * [misc]taylor: Taking taylor expansion of x in x 1544779536.702 * [misc]backup-simplify: Simplify 0 into 0 1544779536.702 * [misc]backup-simplify: Simplify 1 into 1 1544779536.702 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1) in x 1544779536.702 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1544779536.702 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544779536.702 * [misc]taylor: Taking taylor expansion of x in x 1544779536.702 * [misc]backup-simplify: Simplify 0 into 0 1544779536.702 * [misc]backup-simplify: Simplify 1 into 1 1544779536.702 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779536.703 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544779536.703 * [misc]taylor: Taking taylor expansion of 1 in x 1544779536.703 * [misc]backup-simplify: Simplify 1 into 1 1544779536.703 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544779536.703 * [misc]backup-simplify: Simplify (* 0 1) into 0 1544779536.703 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544779536.704 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544779536.704 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779536.704 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 1)) into 1 1544779536.704 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544779536.704 * [misc]backup-simplify: Simplify 1 into 1 1544779536.704 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544779536.705 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544779536.705 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1544779536.705 * [misc]backup-simplify: Simplify (+ (* 0 1) (+ (* 1 0) (* 0 1))) into 0 1544779536.706 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544779536.706 * [misc]backup-simplify: Simplify 0 into 0 1544779536.706 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544779536.706 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544779536.706 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779536.707 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 1) (+ (* 0 0) (* 0 1)))) into 1 1544779536.707 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)) (* 0 (/ 0 1)))) into -1 1544779536.707 * [misc]backup-simplify: Simplify -1 into -1 1544779536.708 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544779536.708 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544779536.708 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779536.709 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (+ (* 0 0) (* 0 1))))) into 0 1544779536.709 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 1 1)) (* -1 (/ 0 1)))) into 0 1544779536.709 * [misc]backup-simplify: Simplify 0 into 0 1544779536.709 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544779536.710 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544779536.710 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779536.711 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 0) (* 0 1)))))) into 0 1544779536.711 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1 (/ 1 1)) (* 0 (/ 0 1)))) into 1 1544779536.711 * [misc]backup-simplify: Simplify 1 into 1 1544779536.712 * [misc]backup-simplify: Simplify (+ (* 1 (pow (/ 1 x) 5)) (+ (* -1 (pow (/ 1 x) 3)) (* 1 (/ 1 x)))) into (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) 1544779536.712 * [misc]backup-simplify: Simplify (/ (/ 1 (- x)) (+ (* (/ 1 (- x)) (/ 1 (- x))) 1)) into (/ -1 (* x (+ (/ 1 (pow x 2)) 1))) 1544779536.712 * [misc]approximate: Taking taylor expansion of (/ -1 (* x (+ (/ 1 (pow x 2)) 1))) in (x) around 0 1544779536.712 * [misc]taylor: Taking taylor expansion of (/ -1 (* x (+ (/ 1 (pow x 2)) 1))) in x 1544779536.712 * [misc]taylor: Taking taylor expansion of -1 in x 1544779536.712 * [misc]backup-simplify: Simplify -1 into -1 1544779536.712 * [misc]taylor: Taking taylor expansion of (* x (+ (/ 1 (pow x 2)) 1)) in x 1544779536.712 * [misc]taylor: Taking taylor expansion of x in x 1544779536.712 * [misc]backup-simplify: Simplify 0 into 0 1544779536.712 * [misc]backup-simplify: Simplify 1 into 1 1544779536.712 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1) in x 1544779536.712 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1544779536.712 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544779536.712 * [misc]taylor: Taking taylor expansion of x in x 1544779536.713 * [misc]backup-simplify: Simplify 0 into 0 1544779536.713 * [misc]backup-simplify: Simplify 1 into 1 1544779536.713 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779536.713 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544779536.713 * [misc]taylor: Taking taylor expansion of 1 in x 1544779536.713 * [misc]backup-simplify: Simplify 1 into 1 1544779536.713 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544779536.713 * [misc]backup-simplify: Simplify (* 0 1) into 0 1544779536.714 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544779536.714 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544779536.714 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779536.714 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 1)) into 1 1544779536.714 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544779536.714 * [misc]taylor: Taking taylor expansion of (/ -1 (* x (+ (/ 1 (pow x 2)) 1))) in x 1544779536.714 * [misc]taylor: Taking taylor expansion of -1 in x 1544779536.714 * [misc]backup-simplify: Simplify -1 into -1 1544779536.714 * [misc]taylor: Taking taylor expansion of (* x (+ (/ 1 (pow x 2)) 1)) in x 1544779536.715 * [misc]taylor: Taking taylor expansion of x in x 1544779536.715 * [misc]backup-simplify: Simplify 0 into 0 1544779536.715 * [misc]backup-simplify: Simplify 1 into 1 1544779536.715 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1) in x 1544779536.715 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1544779536.715 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544779536.715 * [misc]taylor: Taking taylor expansion of x in x 1544779536.715 * [misc]backup-simplify: Simplify 0 into 0 1544779536.715 * [misc]backup-simplify: Simplify 1 into 1 1544779536.715 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779536.715 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544779536.715 * [misc]taylor: Taking taylor expansion of 1 in x 1544779536.715 * [misc]backup-simplify: Simplify 1 into 1 1544779536.715 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544779536.716 * [misc]backup-simplify: Simplify (* 0 1) into 0 1544779536.716 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544779536.716 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544779536.716 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779536.716 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 1)) into 1 1544779536.717 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544779536.717 * [misc]backup-simplify: Simplify -1 into -1 1544779536.717 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544779536.717 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544779536.717 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1544779536.718 * [misc]backup-simplify: Simplify (+ (* 0 1) (+ (* 1 0) (* 0 1))) into 0 1544779536.718 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1544779536.718 * [misc]backup-simplify: Simplify 0 into 0 1544779536.718 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544779536.719 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544779536.719 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779536.719 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 1) (+ (* 0 0) (* 0 1)))) into 1 1544779536.720 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 1 1)) (* 0 (/ 0 1)))) into 1 1544779536.720 * [misc]backup-simplify: Simplify 1 into 1 1544779536.720 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544779536.721 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544779536.721 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779536.721 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (+ (* 0 0) (* 0 1))))) into 0 1544779536.722 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 1 1)) (* 1 (/ 0 1)))) into 0 1544779536.722 * [misc]backup-simplify: Simplify 0 into 0 1544779536.722 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544779536.723 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544779536.723 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779536.723 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 0) (* 0 1)))))) into 0 1544779536.724 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 1 (/ 1 1)) (* 0 (/ 0 1)))) into -1 1544779536.724 * [misc]backup-simplify: Simplify -1 into -1 1544779536.725 * [misc]backup-simplify: Simplify (+ (* -1 (pow (/ 1 (- x)) 5)) (+ (* 1 (pow (/ 1 (- x)) 3)) (* -1 (/ 1 (- x))))) into (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) 1544779536.725 * * * [misc]progress: simplifying candidates 1544779536.725 * * * * [misc]progress: [ 1 / 18 ] simplifiying candidate # 1544779536.725 * * * * [misc]progress: [ 2 / 18 ] simplifiying candidate # 1544779536.725 * * * * [misc]progress: [ 3 / 18 ] simplifiying candidate # 1544779536.725 * * * * [misc]progress: [ 4 / 18 ] simplifiying candidate # 1544779536.725 * * * * [misc]progress: [ 5 / 18 ] simplifiying candidate # 1544779536.725 * * * * [misc]progress: [ 6 / 18 ] simplifiying candidate # 1544779536.725 * * * * [misc]progress: [ 7 / 18 ] simplifiying candidate # 1544779536.725 * * * * [misc]progress: [ 8 / 18 ] simplifiying candidate # 1544779536.725 * * * * [misc]progress: [ 9 / 18 ] simplifiying candidate # 1544779536.725 * * * * [misc]progress: [ 10 / 18 ] simplifiying candidate # 1544779536.725 * * * * [misc]progress: [ 11 / 18 ] simplifiying candidate # 1544779536.725 * [enter]simplify: Simplifying (cbrt (+ (* x x) 1)) 1544779536.726 * * [misc]simplify: iters left: 5 (5 enodes) 1544779536.728 * * [misc]simplify: iters left: 4 (8 enodes) 1544779536.731 * [exit]simplify: Simplified to (cbrt (+ (* x x) 1)) 1544779536.731 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ x (* (cbrt (+ (* x x) 1)) (cbrt (+ (* x x) 1)))) (cbrt (+ (* x x) 1)))) 1544779536.731 * * * * [misc]progress: [ 12 / 18 ] simplifiying candidate # 1544779536.731 * [enter]simplify: Simplifying (sqrt (+ (* x x) 1)) 1544779536.732 * * [misc]simplify: iters left: 5 (5 enodes) 1544779536.734 * * [misc]simplify: iters left: 4 (8 enodes) 1544779536.736 * [exit]simplify: Simplified to (sqrt (+ (* x x) 1)) 1544779536.736 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ x (sqrt (+ (* x x) 1))) (sqrt (+ (* x x) 1)))) 1544779536.736 * * * * [misc]progress: [ 13 / 18 ] simplifiying candidate # 1544779536.737 * [enter]simplify: Simplifying (+ (* x x) 1) 1544779536.744 * * [misc]simplify: iters left: 4 (4 enodes) 1544779536.746 * * [misc]simplify: iters left: 3 (7 enodes) 1544779536.748 * [exit]simplify: Simplified to (+ (* x x) 1) 1544779536.748 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ x 1) (+ (* x x) 1))) 1544779536.748 * * * * [misc]progress: [ 14 / 18 ] simplifiying candidate # 1544779536.749 * [enter]simplify: Simplifying (+ (* (* x x) (* x x)) (- (* 1 1) (* (* x x) 1))) 1544779536.749 * * [misc]simplify: iters left: 6 (8 enodes) 1544779536.755 * * [misc]simplify: iters left: 5 (22 enodes) 1544779536.768 * * [misc]simplify: iters left: 4 (50 enodes) 1544779536.789 * * [misc]simplify: iters left: 3 (75 enodes) 1544779536.823 * * [misc]simplify: iters left: 2 (131 enodes) 1544779536.887 * * [misc]simplify: iters left: 1 (254 enodes) 1544779537.066 * [exit]simplify: Simplified to (- 1 (- (* x x) (pow x 4))) 1544779537.066 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ x (+ (pow (* x x) 3) (pow 1 3))) (- 1 (- (* x x) (pow x 4))))) 1544779537.067 * * * * [misc]progress: [ 15 / 18 ] simplifiying candidate # 1544779537.067 * [enter]simplify: Simplifying (- (* x x) 1) 1544779537.067 * * [misc]simplify: iters left: 4 (4 enodes) 1544779537.069 * * [misc]simplify: iters left: 3 (12 enodes) 1544779537.071 * * [misc]simplify: iters left: 2 (15 enodes) 1544779537.074 * * [misc]simplify: iters left: 1 (31 enodes) 1544779537.086 * [exit]simplify: Simplified to (- (* x x) 1) 1544779537.086 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ x (- (* (* x x) (* x x)) (* 1 1))) (- (* x x) 1))) 1544779537.086 * * * * [misc]progress: [ 16 / 18 ] simplifiying candidate # 1544779537.086 * [enter]simplify: Simplifying (- (+ x (pow x 5)) (pow x 3)) 1544779537.087 * * [misc]simplify: iters left: 5 (7 enodes) 1544779537.089 * * [misc]simplify: iters left: 4 (15 enodes) 1544779537.093 * * [misc]simplify: iters left: 3 (29 enodes) 1544779537.104 * * [misc]simplify: iters left: 2 (41 enodes) 1544779537.119 * * [misc]simplify: iters left: 1 (46 enodes) 1544779537.135 * [exit]simplify: Simplified to (+ (+ x (pow x 5)) (* (- x) (* x x))) 1544779537.135 * [misc]simplify: Simplified (2) to (λ (x) (+ (+ x (pow x 5)) (* (- x) (* x x)))) 1544779537.135 * * * * [misc]progress: [ 17 / 18 ] simplifiying candidate # 1544779537.136 * [enter]simplify: Simplifying (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) 1544779537.136 * * [misc]simplify: iters left: 6 (11 enodes) 1544779537.142 * * [misc]simplify: iters left: 5 (21 enodes) 1544779537.151 * * [misc]simplify: iters left: 4 (35 enodes) 1544779537.163 * * [misc]simplify: iters left: 3 (47 enodes) 1544779537.176 * * [misc]simplify: iters left: 2 (54 enodes) 1544779537.189 * * [misc]simplify: iters left: 1 (58 enodes) 1544779537.204 * [exit]simplify: Simplified to (+ (/ 1 (pow x 5)) (- (/ 1 x) (/ (/ 1 x) (* x x)))) 1544779537.204 * [misc]simplify: Simplified (2) to (λ (x) (+ (/ 1 (pow x 5)) (- (/ 1 x) (/ (/ 1 x) (* x x))))) 1544779537.204 * * * * [misc]progress: [ 18 / 18 ] simplifiying candidate # 1544779537.204 * [enter]simplify: Simplifying (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) 1544779537.204 * * [misc]simplify: iters left: 6 (11 enodes) 1544779537.207 * * [misc]simplify: iters left: 5 (21 enodes) 1544779537.212 * * [misc]simplify: iters left: 4 (35 enodes) 1544779537.219 * * [misc]simplify: iters left: 3 (47 enodes) 1544779537.227 * * [misc]simplify: iters left: 2 (54 enodes) 1544779537.234 * * [misc]simplify: iters left: 1 (58 enodes) 1544779537.245 * [exit]simplify: Simplified to (+ (/ 1 (pow x 5)) (- (/ 1 x) (/ (/ 1 x) (* x x)))) 1544779537.245 * [misc]simplify: Simplified (2) to (λ (x) (+ (/ 1 (pow x 5)) (- (/ 1 x) (/ (/ 1 x) (* x x))))) 1544779537.245 * * * [misc]progress: adding candidates to table 1544779537.426 * * [misc]progress: iteration 2 / 4 1544779537.426 * * * [misc]progress: picking best candidate 1544779537.434 * * * * [misc]pick: Picked # 1544779537.434 * * * [misc]progress: localizing error 1544779537.440 * * * [misc]progress: generating rewritten candidates 1544779537.440 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1544779537.487 * * * [misc]progress: generating series expansions 1544779537.487 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1544779537.487 * [misc]backup-simplify: Simplify (/ (/ x 1) (+ (* x x) 1)) into (/ x (+ (pow x 2) 1)) 1544779537.487 * [misc]approximate: Taking taylor expansion of (/ x (+ (pow x 2) 1)) in (x) around 0 1544779537.487 * [misc]taylor: Taking taylor expansion of (/ x (+ (pow x 2) 1)) in x 1544779537.487 * [misc]taylor: Taking taylor expansion of x in x 1544779537.487 * [misc]backup-simplify: Simplify 0 into 0 1544779537.487 * [misc]backup-simplify: Simplify 1 into 1 1544779537.487 * [misc]taylor: Taking taylor expansion of (+ (pow x 2) 1) in x 1544779537.487 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544779537.487 * [misc]taylor: Taking taylor expansion of x in x 1544779537.487 * [misc]backup-simplify: Simplify 0 into 0 1544779537.487 * [misc]backup-simplify: Simplify 1 into 1 1544779537.487 * [misc]taylor: Taking taylor expansion of 1 in x 1544779537.487 * [misc]backup-simplify: Simplify 1 into 1 1544779537.487 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1544779537.488 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544779537.488 * [misc]taylor: Taking taylor expansion of (/ x (+ (pow x 2) 1)) in x 1544779537.488 * [misc]taylor: Taking taylor expansion of x in x 1544779537.488 * [misc]backup-simplify: Simplify 0 into 0 1544779537.488 * [misc]backup-simplify: Simplify 1 into 1 1544779537.488 * [misc]taylor: Taking taylor expansion of (+ (pow x 2) 1) in x 1544779537.488 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544779537.488 * [misc]taylor: Taking taylor expansion of x in x 1544779537.488 * [misc]backup-simplify: Simplify 0 into 0 1544779537.488 * [misc]backup-simplify: Simplify 1 into 1 1544779537.488 * [misc]taylor: Taking taylor expansion of 1 in x 1544779537.488 * [misc]backup-simplify: Simplify 1 into 1 1544779537.488 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1544779537.488 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544779537.488 * [misc]backup-simplify: Simplify 1 into 1 1544779537.488 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779537.488 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0 1544779537.488 * [misc]backup-simplify: Simplify 0 into 0 1544779537.488 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779537.489 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544779537.489 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)) (* 0 (/ 0 1)))) into -1 1544779537.489 * [misc]backup-simplify: Simplify -1 into -1 1544779537.489 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544779537.489 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779537.489 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 1 1)) (* -1 (/ 0 1)))) into 0 1544779537.489 * [misc]backup-simplify: Simplify 0 into 0 1544779537.489 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544779537.490 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779537.490 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1 (/ 1 1)) (* 0 (/ 0 1)))) into 1 1544779537.490 * [misc]backup-simplify: Simplify 1 into 1 1544779537.490 * [misc]backup-simplify: Simplify (+ (* 1 (pow x 5)) (+ (* -1 (pow x 3)) (* 1 x))) into (- (+ x (pow x 5)) (pow x 3)) 1544779537.490 * [misc]backup-simplify: Simplify (/ (/ (/ 1 x) 1) (+ (* (/ 1 x) (/ 1 x)) 1)) into (/ 1 (* x (+ (/ 1 (pow x 2)) 1))) 1544779537.490 * [misc]approximate: Taking taylor expansion of (/ 1 (* x (+ (/ 1 (pow x 2)) 1))) in (x) around 0 1544779537.490 * [misc]taylor: Taking taylor expansion of (/ 1 (* x (+ (/ 1 (pow x 2)) 1))) in x 1544779537.490 * [misc]taylor: Taking taylor expansion of (* x (+ (/ 1 (pow x 2)) 1)) in x 1544779537.490 * [misc]taylor: Taking taylor expansion of x in x 1544779537.490 * [misc]backup-simplify: Simplify 0 into 0 1544779537.490 * [misc]backup-simplify: Simplify 1 into 1 1544779537.490 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1) in x 1544779537.490 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1544779537.490 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544779537.490 * [misc]taylor: Taking taylor expansion of x in x 1544779537.490 * [misc]backup-simplify: Simplify 0 into 0 1544779537.490 * [misc]backup-simplify: Simplify 1 into 1 1544779537.490 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779537.491 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544779537.491 * [misc]taylor: Taking taylor expansion of 1 in x 1544779537.491 * [misc]backup-simplify: Simplify 1 into 1 1544779537.491 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544779537.491 * [misc]backup-simplify: Simplify (* 0 1) into 0 1544779537.491 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544779537.491 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544779537.491 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779537.491 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 1)) into 1 1544779537.492 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544779537.492 * [misc]taylor: Taking taylor expansion of (/ 1 (* x (+ (/ 1 (pow x 2)) 1))) in x 1544779537.492 * [misc]taylor: Taking taylor expansion of (* x (+ (/ 1 (pow x 2)) 1)) in x 1544779537.492 * [misc]taylor: Taking taylor expansion of x in x 1544779537.492 * [misc]backup-simplify: Simplify 0 into 0 1544779537.492 * [misc]backup-simplify: Simplify 1 into 1 1544779537.492 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1) in x 1544779537.492 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1544779537.492 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544779537.492 * [misc]taylor: Taking taylor expansion of x in x 1544779537.492 * [misc]backup-simplify: Simplify 0 into 0 1544779537.492 * [misc]backup-simplify: Simplify 1 into 1 1544779537.492 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779537.492 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544779537.492 * [misc]taylor: Taking taylor expansion of 1 in x 1544779537.492 * [misc]backup-simplify: Simplify 1 into 1 1544779537.492 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544779537.493 * [misc]backup-simplify: Simplify (* 0 1) into 0 1544779537.493 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544779537.493 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544779537.493 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779537.493 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 1)) into 1 1544779537.494 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544779537.494 * [misc]backup-simplify: Simplify 1 into 1 1544779537.494 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544779537.494 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544779537.495 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1544779537.495 * [misc]backup-simplify: Simplify (+ (* 0 1) (+ (* 1 0) (* 0 1))) into 0 1544779537.495 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544779537.495 * [misc]backup-simplify: Simplify 0 into 0 1544779537.495 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544779537.496 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544779537.496 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779537.496 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 1) (+ (* 0 0) (* 0 1)))) into 1 1544779537.497 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)) (* 0 (/ 0 1)))) into -1 1544779537.497 * [misc]backup-simplify: Simplify -1 into -1 1544779537.497 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544779537.497 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544779537.497 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779537.498 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (+ (* 0 0) (* 0 1))))) into 0 1544779537.498 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 1 1)) (* -1 (/ 0 1)))) into 0 1544779537.498 * [misc]backup-simplify: Simplify 0 into 0 1544779537.499 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544779537.499 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544779537.499 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779537.500 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 0) (* 0 1)))))) into 0 1544779537.500 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1 (/ 1 1)) (* 0 (/ 0 1)))) into 1 1544779537.500 * [misc]backup-simplify: Simplify 1 into 1 1544779537.501 * [misc]backup-simplify: Simplify (+ (* 1 (pow (/ 1 x) 5)) (+ (* -1 (pow (/ 1 x) 3)) (* 1 (/ 1 x)))) into (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) 1544779537.501 * [misc]backup-simplify: Simplify (/ (/ (/ 1 (- x)) 1) (+ (* (/ 1 (- x)) (/ 1 (- x))) 1)) into (/ -1 (* x (+ (/ 1 (pow x 2)) 1))) 1544779537.501 * [misc]approximate: Taking taylor expansion of (/ -1 (* x (+ (/ 1 (pow x 2)) 1))) in (x) around 0 1544779537.501 * [misc]taylor: Taking taylor expansion of (/ -1 (* x (+ (/ 1 (pow x 2)) 1))) in x 1544779537.501 * [misc]taylor: Taking taylor expansion of -1 in x 1544779537.501 * [misc]backup-simplify: Simplify -1 into -1 1544779537.501 * [misc]taylor: Taking taylor expansion of (* x (+ (/ 1 (pow x 2)) 1)) in x 1544779537.501 * [misc]taylor: Taking taylor expansion of x in x 1544779537.502 * [misc]backup-simplify: Simplify 0 into 0 1544779537.502 * [misc]backup-simplify: Simplify 1 into 1 1544779537.502 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1) in x 1544779537.502 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1544779537.502 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544779537.502 * [misc]taylor: Taking taylor expansion of x in x 1544779537.502 * [misc]backup-simplify: Simplify 0 into 0 1544779537.502 * [misc]backup-simplify: Simplify 1 into 1 1544779537.502 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779537.502 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544779537.502 * [misc]taylor: Taking taylor expansion of 1 in x 1544779537.502 * [misc]backup-simplify: Simplify 1 into 1 1544779537.502 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544779537.503 * [misc]backup-simplify: Simplify (* 0 1) into 0 1544779537.503 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544779537.503 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544779537.503 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779537.503 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 1)) into 1 1544779537.504 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544779537.504 * [misc]taylor: Taking taylor expansion of (/ -1 (* x (+ (/ 1 (pow x 2)) 1))) in x 1544779537.504 * [misc]taylor: Taking taylor expansion of -1 in x 1544779537.504 * [misc]backup-simplify: Simplify -1 into -1 1544779537.504 * [misc]taylor: Taking taylor expansion of (* x (+ (/ 1 (pow x 2)) 1)) in x 1544779537.504 * [misc]taylor: Taking taylor expansion of x in x 1544779537.504 * [misc]backup-simplify: Simplify 0 into 0 1544779537.504 * [misc]backup-simplify: Simplify 1 into 1 1544779537.504 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1) in x 1544779537.504 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1544779537.504 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544779537.504 * [misc]taylor: Taking taylor expansion of x in x 1544779537.504 * [misc]backup-simplify: Simplify 0 into 0 1544779537.504 * [misc]backup-simplify: Simplify 1 into 1 1544779537.504 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779537.504 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544779537.504 * [misc]taylor: Taking taylor expansion of 1 in x 1544779537.504 * [misc]backup-simplify: Simplify 1 into 1 1544779537.504 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544779537.505 * [misc]backup-simplify: Simplify (* 0 1) into 0 1544779537.505 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544779537.505 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544779537.505 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779537.505 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 1)) into 1 1544779537.506 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544779537.506 * [misc]backup-simplify: Simplify -1 into -1 1544779537.506 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544779537.506 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544779537.507 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1544779537.507 * [misc]backup-simplify: Simplify (+ (* 0 1) (+ (* 1 0) (* 0 1))) into 0 1544779537.507 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1544779537.507 * [misc]backup-simplify: Simplify 0 into 0 1544779537.507 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544779537.508 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544779537.508 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779537.508 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 1) (+ (* 0 0) (* 0 1)))) into 1 1544779537.509 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 1 1)) (* 0 (/ 0 1)))) into 1 1544779537.509 * [misc]backup-simplify: Simplify 1 into 1 1544779537.509 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544779537.509 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544779537.510 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779537.510 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (+ (* 0 0) (* 0 1))))) into 0 1544779537.510 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 1 1)) (* 1 (/ 0 1)))) into 0 1544779537.510 * [misc]backup-simplify: Simplify 0 into 0 1544779537.511 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544779537.511 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544779537.511 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779537.512 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 0) (* 0 1)))))) into 0 1544779537.512 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 1 (/ 1 1)) (* 0 (/ 0 1)))) into -1 1544779537.512 * [misc]backup-simplify: Simplify -1 into -1 1544779537.513 * [misc]backup-simplify: Simplify (+ (* -1 (pow (/ 1 (- x)) 5)) (+ (* 1 (pow (/ 1 (- x)) 3)) (* -1 (/ 1 (- x))))) into (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) 1544779537.513 * * * [misc]progress: simplifying candidates 1544779537.513 * * * * [misc]progress: [ 1 / 37 ] simplifiying candidate # 1544779537.513 * * * * [misc]progress: [ 2 / 37 ] simplifiying candidate # 1544779537.514 * [enter]simplify: Simplifying (- (log (/ x 1)) (log (+ (* x x) 1))) 1544779537.514 * * [misc]simplify: iters left: 6 (8 enodes) 1544779537.519 * * [misc]simplify: iters left: 5 (16 enodes) 1544779537.524 * * [misc]simplify: iters left: 4 (17 enodes) 1544779537.529 * * [misc]simplify: iters left: 3 (22 enodes) 1544779537.536 * * [misc]simplify: iters left: 2 (28 enodes) 1544779537.547 * * [misc]simplify: iters left: 1 (38 enodes) 1544779537.556 * [exit]simplify: Simplified to (- (log x) (log (+ 1 (* x x)))) 1544779537.556 * [misc]simplify: Simplified (2 1) to (λ (x) (exp (- (log x) (log (+ 1 (* x x)))))) 1544779537.556 * * * * [misc]progress: [ 3 / 37 ] simplifiying candidate # 1544779537.556 * * * * [misc]progress: [ 4 / 37 ] simplifiying candidate # 1544779537.556 * * * * [misc]progress: [ 5 / 37 ] simplifiying candidate # 1544779537.557 * [enter]simplify: Simplifying (/ (* (* (/ x 1) (/ x 1)) (/ x 1)) (* (* (+ (* x x) 1) (+ (* x x) 1)) (+ (* x x) 1))) 1544779537.558 * * [misc]simplify: iters left: 6 (10 enodes) 1544779537.566 * * [misc]simplify: iters left: 5 (37 enodes) 1544779537.601 * * [misc]simplify: iters left: 4 (146 enodes) 1544779537.726 * * [misc]simplify: iters left: 3 (436 enodes) 1544779538.366 * [exit]simplify: Simplified to (pow (/ x (+ 1 (* x x))) 3) 1544779538.366 * [misc]simplify: Simplified (2 1) to (λ (x) (cbrt (pow (/ x (+ 1 (* x x))) 3))) 1544779538.367 * * * * [misc]progress: [ 6 / 37 ] simplifiying candidate # 1544779538.367 * * * * [misc]progress: [ 7 / 37 ] simplifiying candidate # 1544779538.367 * * * * [misc]progress: [ 8 / 37 ] simplifiying candidate # 1544779538.367 * * * * [misc]progress: [ 9 / 37 ] simplifiying candidate # 1544779538.367 * * * * [misc]progress: [ 10 / 37 ] simplifiying candidate # 1544779538.367 * [enter]simplify: Simplifying (/ (* (cbrt (/ x 1)) (cbrt (/ x 1))) (* (cbrt (+ (* x x) 1)) (cbrt (+ (* x x) 1)))) 1544779538.369 * * [misc]simplify: iters left: 6 (10 enodes) 1544779538.373 * * [misc]simplify: iters left: 5 (19 enodes) 1544779538.380 * * [misc]simplify: iters left: 4 (28 enodes) 1544779538.387 * * [misc]simplify: iters left: 3 (31 enodes) 1544779538.391 * * [misc]simplify: iters left: 2 (34 enodes) 1544779538.397 * [exit]simplify: Simplified to (* (/ (cbrt x) (cbrt (+ 1 (* x x)))) (/ (cbrt x) (cbrt (+ 1 (* x x))))) 1544779538.397 * [misc]simplify: Simplified (2 1) to (λ (x) (* (* (/ (cbrt x) (cbrt (+ 1 (* x x)))) (/ (cbrt x) (cbrt (+ 1 (* x x))))) (/ (cbrt (/ x 1)) (cbrt (+ (* x x) 1))))) 1544779538.398 * [enter]simplify: Simplifying (/ (cbrt (/ x 1)) (cbrt (+ (* x x) 1))) 1544779538.398 * * [misc]simplify: iters left: 6 (8 enodes) 1544779538.400 * * [misc]simplify: iters left: 5 (11 enodes) 1544779538.402 * [exit]simplify: Simplified to (/ (cbrt x) (cbrt (+ 1 (* x x)))) 1544779538.402 * [misc]simplify: Simplified (2 2) to (λ (x) (* (* (/ (cbrt x) (cbrt (+ 1 (* x x)))) (/ (cbrt x) (cbrt (+ 1 (* x x))))) (/ (cbrt x) (cbrt (+ 1 (* x x)))))) 1544779538.402 * * * * [misc]progress: [ 11 / 37 ] simplifiying candidate # 1544779538.402 * [enter]simplify: Simplifying (/ (* (cbrt (/ x 1)) (cbrt (/ x 1))) (sqrt (+ (* x x) 1))) 1544779538.402 * * [misc]simplify: iters left: 6 (9 enodes) 1544779538.404 * * [misc]simplify: iters left: 5 (14 enodes) 1544779538.406 * * [misc]simplify: iters left: 4 (16 enodes) 1544779538.409 * * [misc]simplify: iters left: 3 (17 enodes) 1544779538.412 * [exit]simplify: Simplified to (/ (* (cbrt x) (cbrt x)) (sqrt (+ 1 (* x x)))) 1544779538.412 * [misc]simplify: Simplified (2 1) to (λ (x) (* (/ (* (cbrt x) (cbrt x)) (sqrt (+ 1 (* x x)))) (/ (cbrt (/ x 1)) (sqrt (+ (* x x) 1))))) 1544779538.412 * [enter]simplify: Simplifying (/ (cbrt (/ x 1)) (sqrt (+ (* x x) 1))) 1544779538.412 * * [misc]simplify: iters left: 6 (8 enodes) 1544779538.414 * * [misc]simplify: iters left: 5 (11 enodes) 1544779538.416 * [exit]simplify: Simplified to (/ (cbrt x) (sqrt (+ 1 (* x x)))) 1544779538.416 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ (* (cbrt x) (cbrt x)) (sqrt (+ 1 (* x x)))) (/ (cbrt x) (sqrt (+ 1 (* x x)))))) 1544779538.416 * * * * [misc]progress: [ 12 / 37 ] simplifiying candidate # 1544779538.416 * [enter]simplify: Simplifying (/ (* (cbrt (/ x 1)) (cbrt (/ x 1))) 1) 1544779538.416 * * [misc]simplify: iters left: 6 (6 enodes) 1544779538.417 * * [misc]simplify: iters left: 5 (10 enodes) 1544779538.420 * * [misc]simplify: iters left: 4 (16 enodes) 1544779538.423 * * [misc]simplify: iters left: 3 (18 enodes) 1544779538.425 * * [misc]simplify: iters left: 2 (23 enodes) 1544779538.429 * [exit]simplify: Simplified to (* (cbrt x) (cbrt x)) 1544779538.429 * [misc]simplify: Simplified (2 1) to (λ (x) (* (* (cbrt x) (cbrt x)) (/ (cbrt (/ x 1)) (+ (* x x) 1)))) 1544779538.429 * [enter]simplify: Simplifying (/ (cbrt (/ x 1)) (+ (* x x) 1)) 1544779538.429 * * [misc]simplify: iters left: 6 (7 enodes) 1544779538.431 * * [misc]simplify: iters left: 5 (10 enodes) 1544779538.432 * [exit]simplify: Simplified to (/ (cbrt x) (+ 1 (* x x))) 1544779538.432 * [misc]simplify: Simplified (2 2) to (λ (x) (* (* (cbrt x) (cbrt x)) (/ (cbrt x) (+ 1 (* x x))))) 1544779538.432 * * * * [misc]progress: [ 13 / 37 ] simplifiying candidate # 1544779538.433 * [enter]simplify: Simplifying (/ (sqrt (/ x 1)) (* (cbrt (+ (* x x) 1)) (cbrt (+ (* x x) 1)))) 1544779538.433 * * [misc]simplify: iters left: 6 (9 enodes) 1544779538.435 * * [misc]simplify: iters left: 5 (14 enodes) 1544779538.438 * [exit]simplify: Simplified to (/ (sqrt x) (* (cbrt (+ 1 (* x x))) (cbrt (+ 1 (* x x))))) 1544779538.438 * [misc]simplify: Simplified (2 1) to (λ (x) (* (/ (sqrt x) (* (cbrt (+ 1 (* x x))) (cbrt (+ 1 (* x x))))) (/ (sqrt (/ x 1)) (cbrt (+ (* x x) 1))))) 1544779538.438 * [enter]simplify: Simplifying (/ (sqrt (/ x 1)) (cbrt (+ (* x x) 1))) 1544779538.439 * * [misc]simplify: iters left: 6 (8 enodes) 1544779538.440 * * [misc]simplify: iters left: 5 (11 enodes) 1544779538.442 * [exit]simplify: Simplified to (/ (sqrt x) (cbrt (+ 1 (* x x)))) 1544779538.442 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ (sqrt x) (* (cbrt (+ 1 (* x x))) (cbrt (+ 1 (* x x))))) (/ (sqrt x) (cbrt (+ 1 (* x x)))))) 1544779538.442 * * * * [misc]progress: [ 14 / 37 ] simplifiying candidate # 1544779538.442 * [enter]simplify: Simplifying (/ (sqrt (/ x 1)) (sqrt (+ (* x x) 1))) 1544779538.443 * * [misc]simplify: iters left: 6 (8 enodes) 1544779538.444 * * [misc]simplify: iters left: 5 (11 enodes) 1544779538.446 * [exit]simplify: Simplified to (/ (sqrt x) (sqrt (+ 1 (* x x)))) 1544779538.446 * [misc]simplify: Simplified (2 1) to (λ (x) (* (/ (sqrt x) (sqrt (+ 1 (* x x)))) (/ (sqrt (/ x 1)) (sqrt (+ (* x x) 1))))) 1544779538.446 * [enter]simplify: Simplifying (/ (sqrt (/ x 1)) (sqrt (+ (* x x) 1))) 1544779538.447 * * [misc]simplify: iters left: 6 (8 enodes) 1544779538.449 * * [misc]simplify: iters left: 5 (11 enodes) 1544779538.450 * [exit]simplify: Simplified to (/ (sqrt x) (sqrt (+ 1 (* x x)))) 1544779538.450 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ (sqrt x) (sqrt (+ 1 (* x x)))) (/ (sqrt x) (sqrt (+ 1 (* x x)))))) 1544779538.450 * * * * [misc]progress: [ 15 / 37 ] simplifiying candidate # 1544779538.451 * [enter]simplify: Simplifying (/ (sqrt (/ x 1)) 1) 1544779538.451 * * [misc]simplify: iters left: 5 (5 enodes) 1544779538.452 * * [misc]simplify: iters left: 4 (7 enodes) 1544779538.453 * * [misc]simplify: iters left: 3 (9 enodes) 1544779538.454 * [exit]simplify: Simplified to (sqrt x) 1544779538.454 * [misc]simplify: Simplified (2 1) to (λ (x) (* (sqrt x) (/ (sqrt (/ x 1)) (+ (* x x) 1)))) 1544779538.454 * [enter]simplify: Simplifying (/ (sqrt (/ x 1)) (+ (* x x) 1)) 1544779538.455 * * [misc]simplify: iters left: 6 (7 enodes) 1544779538.456 * * [misc]simplify: iters left: 5 (10 enodes) 1544779538.458 * [exit]simplify: Simplified to (/ (sqrt x) (+ 1 (* x x))) 1544779538.458 * [misc]simplify: Simplified (2 2) to (λ (x) (* (sqrt x) (/ (sqrt x) (+ 1 (* x x))))) 1544779538.458 * * * * [misc]progress: [ 16 / 37 ] simplifiying candidate # 1544779538.458 * [enter]simplify: Simplifying (/ 1 (* (cbrt (+ (* x x) 1)) (cbrt (+ (* x x) 1)))) 1544779538.458 * * [misc]simplify: iters left: 6 (7 enodes) 1544779538.460 * * [misc]simplify: iters left: 5 (12 enodes) 1544779538.462 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (+ 1 (* x x)))) (cbrt (+ 1 (* x x)))) 1544779538.462 * [misc]simplify: Simplified (2 1) to (λ (x) (* (/ (/ 1 (cbrt (+ 1 (* x x)))) (cbrt (+ 1 (* x x)))) (/ (/ x 1) (cbrt (+ (* x x) 1))))) 1544779538.462 * [enter]simplify: Simplifying (/ (/ x 1) (cbrt (+ (* x x) 1))) 1544779538.463 * * [misc]simplify: iters left: 6 (7 enodes) 1544779538.464 * * [misc]simplify: iters left: 5 (10 enodes) 1544779538.466 * [exit]simplify: Simplified to (/ x (cbrt (+ 1 (* x x)))) 1544779538.466 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ 1 (* (cbrt (+ (* x x) 1)) (cbrt (+ (* x x) 1)))) (/ x (cbrt (+ 1 (* x x)))))) 1544779538.466 * * * * [misc]progress: [ 17 / 37 ] simplifiying candidate # 1544779538.466 * [enter]simplify: Simplifying (/ 1 (sqrt (+ (* x x) 1))) 1544779538.466 * * [misc]simplify: iters left: 6 (6 enodes) 1544779538.468 * * [misc]simplify: iters left: 5 (9 enodes) 1544779538.469 * [exit]simplify: Simplified to (/ 1 (sqrt (+ 1 (* x x)))) 1544779538.469 * [misc]simplify: Simplified (2 1) to (λ (x) (* (/ 1 (sqrt (+ 1 (* x x)))) (/ (/ x 1) (sqrt (+ (* x x) 1))))) 1544779538.469 * [enter]simplify: Simplifying (/ (/ x 1) (sqrt (+ (* x x) 1))) 1544779538.470 * * [misc]simplify: iters left: 6 (7 enodes) 1544779538.471 * * [misc]simplify: iters left: 5 (10 enodes) 1544779538.473 * [exit]simplify: Simplified to (/ x (sqrt (+ 1 (* x x)))) 1544779538.473 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ 1 (sqrt (+ (* x x) 1))) (/ x (sqrt (+ 1 (* x x)))))) 1544779538.473 * * * * [misc]progress: [ 18 / 37 ] simplifiying candidate # 1544779538.473 * [enter]simplify: Simplifying (/ 1 1) 1544779538.473 * * [misc]simplify: iters left: 2 (2 enodes) 1544779538.474 * * [misc]simplify: iters left: 1 (4 enodes) 1544779538.474 * [exit]simplify: Simplified to 1 1544779538.474 * [misc]simplify: Simplified (2 1) to (λ (x) (* 1 (/ (/ x 1) (+ (* x x) 1)))) 1544779538.474 * [enter]simplify: Simplifying (/ (/ x 1) (+ (* x x) 1)) 1544779538.475 * * [misc]simplify: iters left: 6 (6 enodes) 1544779538.476 * * [misc]simplify: iters left: 5 (9 enodes) 1544779538.478 * [exit]simplify: Simplified to (/ x (+ 1 (* x x))) 1544779538.478 * [misc]simplify: Simplified (2 2) to (λ (x) (* 1 (/ x (+ 1 (* x x))))) 1544779538.478 * * * * [misc]progress: [ 19 / 37 ] simplifiying candidate # 1544779538.478 * [enter]simplify: Simplifying (/ x (* (cbrt (+ (* x x) 1)) (cbrt (+ (* x x) 1)))) 1544779538.478 * * [misc]simplify: iters left: 6 (7 enodes) 1544779538.480 * * [misc]simplify: iters left: 5 (12 enodes) 1544779538.485 * [exit]simplify: Simplified to (/ (/ x (cbrt (+ (* x x) 1))) (cbrt (+ (* x x) 1))) 1544779538.485 * [misc]simplify: Simplified (2 1) to (λ (x) (* (/ (/ x (cbrt (+ (* x x) 1))) (cbrt (+ (* x x) 1))) (/ (/ 1 1) (cbrt (+ (* x x) 1))))) 1544779538.485 * [enter]simplify: Simplifying (/ (/ 1 1) (cbrt (+ (* x x) 1))) 1544779538.486 * * [misc]simplify: iters left: 6 (7 enodes) 1544779538.489 * * [misc]simplify: iters left: 5 (10 enodes) 1544779538.492 * [exit]simplify: Simplified to (/ 1 (cbrt (+ (* x x) 1))) 1544779538.492 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ x (* (cbrt (+ (* x x) 1)) (cbrt (+ (* x x) 1)))) (/ 1 (cbrt (+ (* x x) 1))))) 1544779538.493 * * * * [misc]progress: [ 20 / 37 ] simplifiying candidate # 1544779538.493 * [enter]simplify: Simplifying (/ x (sqrt (+ (* x x) 1))) 1544779538.493 * * [misc]simplify: iters left: 6 (6 enodes) 1544779538.496 * * [misc]simplify: iters left: 5 (9 enodes) 1544779538.499 * [exit]simplify: Simplified to (/ x (sqrt (+ (* x x) 1))) 1544779538.499 * [misc]simplify: Simplified (2 1) to (λ (x) (* (/ x (sqrt (+ (* x x) 1))) (/ (/ 1 1) (sqrt (+ (* x x) 1))))) 1544779538.499 * [enter]simplify: Simplifying (/ (/ 1 1) (sqrt (+ (* x x) 1))) 1544779538.500 * * [misc]simplify: iters left: 6 (7 enodes) 1544779538.503 * * [misc]simplify: iters left: 5 (10 enodes) 1544779538.506 * [exit]simplify: Simplified to (/ 1 (sqrt (+ (* x x) 1))) 1544779538.506 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ x (sqrt (+ (* x x) 1))) (/ 1 (sqrt (+ (* x x) 1))))) 1544779538.506 * * * * [misc]progress: [ 21 / 37 ] simplifiying candidate # 1544779538.506 * [enter]simplify: Simplifying (/ x 1) 1544779538.509 * * [misc]simplify: iters left: 2 (3 enodes) 1544779538.510 * * [misc]simplify: iters left: 1 (5 enodes) 1544779538.511 * [exit]simplify: Simplified to x 1544779538.511 * [misc]simplify: Simplified (2 1) to (λ (x) (* x (/ (/ 1 1) (+ (* x x) 1)))) 1544779538.511 * [enter]simplify: Simplifying (/ (/ 1 1) (+ (* x x) 1)) 1544779538.512 * * [misc]simplify: iters left: 6 (6 enodes) 1544779538.514 * * [misc]simplify: iters left: 5 (9 enodes) 1544779538.516 * [exit]simplify: Simplified to (/ 1 (+ (* x x) 1)) 1544779538.516 * [misc]simplify: Simplified (2 2) to (λ (x) (* x (/ 1 (+ (* x x) 1)))) 1544779538.516 * * * * [misc]progress: [ 22 / 37 ] simplifiying candidate # 1544779538.516 * * * * [misc]progress: [ 23 / 37 ] simplifiying candidate # 1544779538.516 * * * * [misc]progress: [ 24 / 37 ] simplifiying candidate # 1544779538.516 * * * * [misc]progress: [ 25 / 37 ] simplifiying candidate # 1544779538.517 * [enter]simplify: Simplifying (cbrt (+ (* x x) 1)) 1544779538.517 * * [misc]simplify: iters left: 5 (5 enodes) 1544779538.518 * * [misc]simplify: iters left: 4 (8 enodes) 1544779538.519 * [exit]simplify: Simplified to (cbrt (+ (* x x) 1)) 1544779538.519 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ (/ x 1) (* (cbrt (+ (* x x) 1)) (cbrt (+ (* x x) 1)))) (cbrt (+ (* x x) 1)))) 1544779538.519 * * * * [misc]progress: [ 26 / 37 ] simplifiying candidate # 1544779538.519 * [enter]simplify: Simplifying (sqrt (+ (* x x) 1)) 1544779538.520 * * [misc]simplify: iters left: 5 (5 enodes) 1544779538.521 * * [misc]simplify: iters left: 4 (8 enodes) 1544779538.522 * [exit]simplify: Simplified to (sqrt (+ (* x x) 1)) 1544779538.522 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ (/ x 1) (sqrt (+ (* x x) 1))) (sqrt (+ (* x x) 1)))) 1544779538.522 * * * * [misc]progress: [ 27 / 37 ] simplifiying candidate # 1544779538.522 * [enter]simplify: Simplifying (+ (* x x) 1) 1544779538.522 * * [misc]simplify: iters left: 4 (4 enodes) 1544779538.523 * * [misc]simplify: iters left: 3 (7 enodes) 1544779538.524 * [exit]simplify: Simplified to (+ (* x x) 1) 1544779538.524 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ (/ x 1) 1) (+ (* x x) 1))) 1544779538.524 * * * * [misc]progress: [ 28 / 37 ] simplifiying candidate # 1544779538.524 * [enter]simplify: Simplifying (* (cbrt (/ x 1)) (cbrt (/ x 1))) 1544779538.525 * * [misc]simplify: iters left: 5 (5 enodes) 1544779538.526 * * [misc]simplify: iters left: 4 (7 enodes) 1544779538.526 * [exit]simplify: Simplified to (* (cbrt x) (cbrt x)) 1544779538.526 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (* (cbrt x) (cbrt x)) (/ (+ (* x x) 1) (cbrt (/ x 1))))) 1544779538.527 * * * * [misc]progress: [ 29 / 37 ] simplifiying candidate # 1544779538.527 * [enter]simplify: Simplifying (sqrt (/ x 1)) 1544779538.527 * * [misc]simplify: iters left: 3 (4 enodes) 1544779538.528 * * [misc]simplify: iters left: 2 (6 enodes) 1544779538.528 * [exit]simplify: Simplified to (sqrt x) 1544779538.529 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (sqrt x) (/ (+ (* x x) 1) (sqrt (/ x 1))))) 1544779538.529 * * * * [misc]progress: [ 30 / 37 ] simplifiying candidate # 1544779538.529 * * * * [misc]progress: [ 31 / 37 ] simplifiying candidate # 1544779538.529 * * * * [misc]progress: [ 32 / 37 ] simplifiying candidate # 1544779538.529 * [enter]simplify: Simplifying (+ (* (* x x) (* x x)) (- (* 1 1) (* (* x x) 1))) 1544779538.529 * * [misc]simplify: iters left: 6 (8 enodes) 1544779538.532 * * [misc]simplify: iters left: 5 (22 enodes) 1544779538.542 * * [misc]simplify: iters left: 4 (50 enodes) 1544779538.560 * * [misc]simplify: iters left: 3 (75 enodes) 1544779538.580 * * [misc]simplify: iters left: 2 (131 enodes) 1544779538.634 * * [misc]simplify: iters left: 1 (254 enodes) 1544779538.841 * [exit]simplify: Simplified to (- 1 (- (* x x) (pow x 4))) 1544779538.841 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ (/ x 1) (+ (pow (* x x) 3) (pow 1 3))) (- 1 (- (* x x) (pow x 4))))) 1544779538.841 * * * * [misc]progress: [ 33 / 37 ] simplifiying candidate # 1544779538.842 * [enter]simplify: Simplifying (- (* x x) 1) 1544779538.842 * * [misc]simplify: iters left: 4 (4 enodes) 1544779538.845 * * [misc]simplify: iters left: 3 (12 enodes) 1544779538.849 * * [misc]simplify: iters left: 2 (15 enodes) 1544779538.856 * * [misc]simplify: iters left: 1 (31 enodes) 1544779538.878 * [exit]simplify: Simplified to (- (* x x) 1) 1544779538.878 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ (/ x 1) (- (* (* x x) (* x x)) (* 1 1))) (- (* x x) 1))) 1544779538.878 * * * * [misc]progress: [ 34 / 37 ] simplifiying candidate # 1544779538.879 * * * * [misc]progress: [ 35 / 37 ] simplifiying candidate # 1544779538.879 * [enter]simplify: Simplifying (- (+ x (pow x 5)) (pow x 3)) 1544779538.879 * * [misc]simplify: iters left: 5 (7 enodes) 1544779538.883 * * [misc]simplify: iters left: 4 (15 enodes) 1544779538.890 * * [misc]simplify: iters left: 3 (29 enodes) 1544779538.905 * * [misc]simplify: iters left: 2 (41 enodes) 1544779538.917 * * [misc]simplify: iters left: 1 (46 enodes) 1544779538.932 * [exit]simplify: Simplified to (+ (+ x (pow x 5)) (* (- x) (* x x))) 1544779538.932 * [misc]simplify: Simplified (2) to (λ (x) (+ (+ x (pow x 5)) (* (- x) (* x x)))) 1544779538.932 * * * * [misc]progress: [ 36 / 37 ] simplifiying candidate # 1544779538.932 * [enter]simplify: Simplifying (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) 1544779538.933 * * [misc]simplify: iters left: 6 (11 enodes) 1544779538.938 * * [misc]simplify: iters left: 5 (21 enodes) 1544779538.947 * * [misc]simplify: iters left: 4 (35 enodes) 1544779538.959 * * [misc]simplify: iters left: 3 (47 enodes) 1544779538.972 * * [misc]simplify: iters left: 2 (54 enodes) 1544779538.984 * * [misc]simplify: iters left: 1 (58 enodes) 1544779539.007 * [exit]simplify: Simplified to (+ (/ 1 (pow x 5)) (- (/ 1 x) (/ (/ 1 x) (* x x)))) 1544779539.007 * [misc]simplify: Simplified (2) to (λ (x) (+ (/ 1 (pow x 5)) (- (/ 1 x) (/ (/ 1 x) (* x x))))) 1544779539.007 * * * * [misc]progress: [ 37 / 37 ] simplifiying candidate # 1544779539.007 * [enter]simplify: Simplifying (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) 1544779539.008 * * [misc]simplify: iters left: 6 (11 enodes) 1544779539.013 * * [misc]simplify: iters left: 5 (21 enodes) 1544779539.023 * * [misc]simplify: iters left: 4 (35 enodes) 1544779539.033 * * [misc]simplify: iters left: 3 (47 enodes) 1544779539.040 * * [misc]simplify: iters left: 2 (54 enodes) 1544779539.046 * * [misc]simplify: iters left: 1 (58 enodes) 1544779539.058 * [exit]simplify: Simplified to (+ (/ 1 (pow x 5)) (- (/ 1 x) (/ (/ 1 x) (* x x)))) 1544779539.058 * [misc]simplify: Simplified (2) to (λ (x) (+ (/ 1 (pow x 5)) (- (/ 1 x) (/ (/ 1 x) (* x x))))) 1544779539.058 * * * [misc]progress: adding candidates to table 1544779539.471 * * [misc]progress: iteration 3 / 4 1544779539.471 * * * [misc]progress: picking best candidate 1544779539.476 * * * * [misc]pick: Picked # 1544779539.477 * * * [misc]progress: localizing error 1544779539.526 * * * [misc]progress: generating rewritten candidates 1544779539.526 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2) 1544779539.780 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 2) 1544779539.791 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1) 1544779539.802 * * * [misc]progress: generating series expansions 1544779539.802 * * * * [misc]progress: [ 1 / 3 ] generating series at (2) 1544779539.802 * [misc]backup-simplify: Simplify (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) into (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) 1544779539.802 * [misc]approximate: Taking taylor expansion of (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) in (x) around 0 1544779539.802 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) in x 1544779539.802 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow x 5)) (/ 1 x)) in x 1544779539.802 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 5)) in x 1544779539.802 * [misc]taylor: Taking taylor expansion of (pow x 5) in x 1544779539.802 * [misc]taylor: Taking taylor expansion of x in x 1544779539.803 * [misc]backup-simplify: Simplify 0 into 0 1544779539.803 * [misc]backup-simplify: Simplify 1 into 1 1544779539.803 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.803 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.803 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.803 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544779539.803 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1544779539.803 * [misc]taylor: Taking taylor expansion of x in x 1544779539.803 * [misc]backup-simplify: Simplify 0 into 0 1544779539.803 * [misc]backup-simplify: Simplify 1 into 1 1544779539.803 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544779539.803 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 3)) in x 1544779539.803 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1544779539.803 * [misc]taylor: Taking taylor expansion of x in x 1544779539.804 * [misc]backup-simplify: Simplify 0 into 0 1544779539.804 * [misc]backup-simplify: Simplify 1 into 1 1544779539.804 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.804 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.804 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544779539.804 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) in x 1544779539.804 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow x 5)) (/ 1 x)) in x 1544779539.804 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 5)) in x 1544779539.804 * [misc]taylor: Taking taylor expansion of (pow x 5) in x 1544779539.804 * [misc]taylor: Taking taylor expansion of x in x 1544779539.804 * [misc]backup-simplify: Simplify 0 into 0 1544779539.804 * [misc]backup-simplify: Simplify 1 into 1 1544779539.804 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.804 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.804 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.804 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544779539.804 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1544779539.804 * [misc]taylor: Taking taylor expansion of x in x 1544779539.804 * [misc]backup-simplify: Simplify 0 into 0 1544779539.804 * [misc]backup-simplify: Simplify 1 into 1 1544779539.805 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544779539.805 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 3)) in x 1544779539.805 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1544779539.805 * [misc]taylor: Taking taylor expansion of x in x 1544779539.805 * [misc]backup-simplify: Simplify 0 into 0 1544779539.805 * [misc]backup-simplify: Simplify 1 into 1 1544779539.805 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.805 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.805 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544779539.805 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544779539.805 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544779539.805 * [misc]backup-simplify: Simplify 1 into 1 1544779539.805 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544779539.805 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544779539.806 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544779539.806 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544779539.806 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779539.806 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779539.806 * [misc]backup-simplify: Simplify 0 into 0 1544779539.806 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544779539.806 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544779539.806 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544779539.807 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544779539.807 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779539.807 * [misc]backup-simplify: Simplify (- 1) into -1 1544779539.807 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544779539.807 * [misc]backup-simplify: Simplify -1 into -1 1544779539.807 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544779539.807 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544779539.808 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544779539.808 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544779539.808 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779539.808 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544779539.808 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544779539.808 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544779539.808 * [misc]backup-simplify: Simplify (- 0) into 0 1544779539.808 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779539.808 * [misc]backup-simplify: Simplify 0 into 0 1544779539.809 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544779539.809 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544779539.809 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544779539.809 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544779539.809 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1544779539.810 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544779539.810 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544779539.810 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544779539.810 * [misc]backup-simplify: Simplify (- 0) into 0 1544779539.810 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544779539.810 * [misc]backup-simplify: Simplify 1 into 1 1544779539.811 * [misc]backup-simplify: Simplify (+ (* 1 (/ 1 x)) (+ (* -1 (pow (/ 1 x) 3)) (* 1 (pow (/ 1 x) 5)))) into (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) 1544779539.811 * [misc]backup-simplify: Simplify (- (+ (/ 1 (pow (/ 1 x) 5)) (/ 1 (/ 1 x))) (/ 1 (pow (/ 1 x) 3))) into (- (+ x (pow x 5)) (pow x 3)) 1544779539.811 * [misc]approximate: Taking taylor expansion of (- (+ x (pow x 5)) (pow x 3)) in (x) around 0 1544779539.811 * [misc]taylor: Taking taylor expansion of (- (+ x (pow x 5)) (pow x 3)) in x 1544779539.811 * [misc]taylor: Taking taylor expansion of (+ x (pow x 5)) in x 1544779539.811 * [misc]taylor: Taking taylor expansion of x in x 1544779539.811 * [misc]backup-simplify: Simplify 0 into 0 1544779539.811 * [misc]backup-simplify: Simplify 1 into 1 1544779539.811 * [misc]taylor: Taking taylor expansion of (pow x 5) in x 1544779539.811 * [misc]taylor: Taking taylor expansion of x in x 1544779539.811 * [misc]backup-simplify: Simplify 0 into 0 1544779539.811 * [misc]backup-simplify: Simplify 1 into 1 1544779539.811 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1544779539.811 * [misc]taylor: Taking taylor expansion of x in x 1544779539.811 * [misc]backup-simplify: Simplify 0 into 0 1544779539.811 * [misc]backup-simplify: Simplify 1 into 1 1544779539.811 * [misc]taylor: Taking taylor expansion of (- (+ x (pow x 5)) (pow x 3)) in x 1544779539.811 * [misc]taylor: Taking taylor expansion of (+ x (pow x 5)) in x 1544779539.811 * [misc]taylor: Taking taylor expansion of x in x 1544779539.811 * [misc]backup-simplify: Simplify 0 into 0 1544779539.811 * [misc]backup-simplify: Simplify 1 into 1 1544779539.811 * [misc]taylor: Taking taylor expansion of (pow x 5) in x 1544779539.811 * [misc]taylor: Taking taylor expansion of x in x 1544779539.811 * [misc]backup-simplify: Simplify 0 into 0 1544779539.811 * [misc]backup-simplify: Simplify 1 into 1 1544779539.811 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1544779539.811 * [misc]taylor: Taking taylor expansion of x in x 1544779539.811 * [misc]backup-simplify: Simplify 0 into 0 1544779539.811 * [misc]backup-simplify: Simplify 1 into 1 1544779539.812 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779539.812 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779539.812 * [misc]backup-simplify: Simplify 0 into 0 1544779539.812 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544779539.812 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544779539.812 * [misc]backup-simplify: Simplify 1 into 1 1544779539.813 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779539.813 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779539.813 * [misc]backup-simplify: Simplify 0 into 0 1544779539.813 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779539.813 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.813 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.813 * [misc]backup-simplify: Simplify (- 1) into -1 1544779539.813 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544779539.813 * [misc]backup-simplify: Simplify -1 into -1 1544779539.813 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779539.813 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544779539.814 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544779539.814 * [misc]backup-simplify: Simplify (- 0) into 0 1544779539.814 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779539.814 * [misc]backup-simplify: Simplify 0 into 0 1544779539.814 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.814 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.814 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.814 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1544779539.814 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544779539.815 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544779539.815 * [misc]backup-simplify: Simplify (- 0) into 0 1544779539.815 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544779539.815 * [misc]backup-simplify: Simplify 1 into 1 1544779539.815 * [misc]backup-simplify: Simplify (+ (* 1 (pow (/ 1 x) 5)) (+ (* -1 (pow (/ 1 x) 3)) (* 1 (/ 1 x)))) into (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) 1544779539.816 * [misc]backup-simplify: Simplify (- (+ (/ 1 (pow (/ 1 (- x)) 5)) (/ 1 (/ 1 (- x)))) (/ 1 (pow (/ 1 (- x)) 3))) into (- (pow x 3) (+ x (pow x 5))) 1544779539.816 * [misc]approximate: Taking taylor expansion of (- (pow x 3) (+ x (pow x 5))) in (x) around 0 1544779539.816 * [misc]taylor: Taking taylor expansion of (- (pow x 3) (+ x (pow x 5))) in x 1544779539.816 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1544779539.816 * [misc]taylor: Taking taylor expansion of x in x 1544779539.816 * [misc]backup-simplify: Simplify 0 into 0 1544779539.816 * [misc]backup-simplify: Simplify 1 into 1 1544779539.816 * [misc]taylor: Taking taylor expansion of (+ x (pow x 5)) in x 1544779539.816 * [misc]taylor: Taking taylor expansion of x in x 1544779539.816 * [misc]backup-simplify: Simplify 0 into 0 1544779539.816 * [misc]backup-simplify: Simplify 1 into 1 1544779539.816 * [misc]taylor: Taking taylor expansion of (pow x 5) in x 1544779539.816 * [misc]taylor: Taking taylor expansion of x in x 1544779539.816 * [misc]backup-simplify: Simplify 0 into 0 1544779539.816 * [misc]backup-simplify: Simplify 1 into 1 1544779539.816 * [misc]taylor: Taking taylor expansion of (- (pow x 3) (+ x (pow x 5))) in x 1544779539.816 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1544779539.816 * [misc]taylor: Taking taylor expansion of x in x 1544779539.816 * [misc]backup-simplify: Simplify 0 into 0 1544779539.816 * [misc]backup-simplify: Simplify 1 into 1 1544779539.816 * [misc]taylor: Taking taylor expansion of (+ x (pow x 5)) in x 1544779539.816 * [misc]taylor: Taking taylor expansion of x in x 1544779539.816 * [misc]backup-simplify: Simplify 0 into 0 1544779539.816 * [misc]backup-simplify: Simplify 1 into 1 1544779539.816 * [misc]taylor: Taking taylor expansion of (pow x 5) in x 1544779539.816 * [misc]taylor: Taking taylor expansion of x in x 1544779539.816 * [misc]backup-simplify: Simplify 0 into 0 1544779539.816 * [misc]backup-simplify: Simplify 1 into 1 1544779539.816 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779539.816 * [misc]backup-simplify: Simplify (- 0) into 0 1544779539.816 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779539.816 * [misc]backup-simplify: Simplify 0 into 0 1544779539.817 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544779539.817 * [misc]backup-simplify: Simplify (- 1) into -1 1544779539.817 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544779539.817 * [misc]backup-simplify: Simplify -1 into -1 1544779539.817 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779539.817 * [misc]backup-simplify: Simplify (- 0) into 0 1544779539.817 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779539.817 * [misc]backup-simplify: Simplify 0 into 0 1544779539.817 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.817 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.817 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779539.818 * [misc]backup-simplify: Simplify (- 0) into 0 1544779539.818 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544779539.818 * [misc]backup-simplify: Simplify 1 into 1 1544779539.818 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544779539.818 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544779539.818 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779539.818 * [misc]backup-simplify: Simplify (- 0) into 0 1544779539.818 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544779539.818 * [misc]backup-simplify: Simplify 0 into 0 1544779539.818 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544779539.819 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544779539.819 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.819 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.819 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.819 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1544779539.819 * [misc]backup-simplify: Simplify (- 1) into -1 1544779539.819 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544779539.819 * [misc]backup-simplify: Simplify -1 into -1 1544779539.820 * [misc]backup-simplify: Simplify (+ (* -1 (pow (/ 1 (- x)) 5)) (+ (* 1 (pow (/ 1 (- x)) 3)) (* -1 (/ 1 (- x))))) into (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) 1544779539.820 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 2) 1544779539.820 * [misc]backup-simplify: Simplify (/ 1 (pow x 3)) into (/ 1 (pow x 3)) 1544779539.820 * [misc]approximate: Taking taylor expansion of (/ 1 (pow x 3)) in (x) around 0 1544779539.820 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 3)) in x 1544779539.820 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1544779539.820 * [misc]taylor: Taking taylor expansion of x in x 1544779539.820 * [misc]backup-simplify: Simplify 0 into 0 1544779539.820 * [misc]backup-simplify: Simplify 1 into 1 1544779539.820 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.820 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.820 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544779539.820 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 3)) in x 1544779539.820 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1544779539.820 * [misc]taylor: Taking taylor expansion of x in x 1544779539.820 * [misc]backup-simplify: Simplify 0 into 0 1544779539.820 * [misc]backup-simplify: Simplify 1 into 1 1544779539.820 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.821 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.821 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544779539.821 * [misc]backup-simplify: Simplify 1 into 1 1544779539.821 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544779539.821 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544779539.821 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544779539.821 * [misc]backup-simplify: Simplify 0 into 0 1544779539.821 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544779539.821 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544779539.822 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544779539.822 * [misc]backup-simplify: Simplify 0 into 0 1544779539.822 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544779539.822 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544779539.822 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544779539.822 * [misc]backup-simplify: Simplify 0 into 0 1544779539.823 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544779539.823 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544779539.823 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544779539.823 * [misc]backup-simplify: Simplify 0 into 0 1544779539.823 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544779539.824 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544779539.824 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544779539.824 * [misc]backup-simplify: Simplify 0 into 0 1544779539.824 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544779539.824 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544779539.825 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544779539.825 * [misc]backup-simplify: Simplify 0 into 0 1544779539.825 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 x) 3)) into (/ 1 (pow x 3)) 1544779539.825 * [misc]backup-simplify: Simplify (/ 1 (pow (/ 1 x) 3)) into (pow x 3) 1544779539.825 * [misc]approximate: Taking taylor expansion of (pow x 3) in (x) around 0 1544779539.825 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1544779539.825 * [misc]taylor: Taking taylor expansion of x in x 1544779539.825 * [misc]backup-simplify: Simplify 0 into 0 1544779539.825 * [misc]backup-simplify: Simplify 1 into 1 1544779539.825 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1544779539.825 * [misc]taylor: Taking taylor expansion of x in x 1544779539.825 * [misc]backup-simplify: Simplify 0 into 0 1544779539.825 * [misc]backup-simplify: Simplify 1 into 1 1544779539.825 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.826 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.826 * [misc]backup-simplify: Simplify 1 into 1 1544779539.826 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544779539.826 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544779539.826 * [misc]backup-simplify: Simplify 0 into 0 1544779539.826 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544779539.826 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544779539.826 * [misc]backup-simplify: Simplify 0 into 0 1544779539.826 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544779539.827 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544779539.827 * [misc]backup-simplify: Simplify 0 into 0 1544779539.827 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544779539.827 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544779539.827 * [misc]backup-simplify: Simplify 0 into 0 1544779539.827 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544779539.828 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544779539.828 * [misc]backup-simplify: Simplify 0 into 0 1544779539.828 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544779539.828 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544779539.828 * [misc]backup-simplify: Simplify 0 into 0 1544779539.828 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 x) 3)) into (/ 1 (pow x 3)) 1544779539.829 * [misc]backup-simplify: Simplify (/ 1 (pow (/ 1 (- x)) 3)) into (* -1 (pow x 3)) 1544779539.829 * [misc]approximate: Taking taylor expansion of (* -1 (pow x 3)) in (x) around 0 1544779539.829 * [misc]taylor: Taking taylor expansion of (* -1 (pow x 3)) in x 1544779539.829 * [misc]taylor: Taking taylor expansion of -1 in x 1544779539.829 * [misc]backup-simplify: Simplify -1 into -1 1544779539.829 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1544779539.829 * [misc]taylor: Taking taylor expansion of x in x 1544779539.829 * [misc]backup-simplify: Simplify 0 into 0 1544779539.829 * [misc]backup-simplify: Simplify 1 into 1 1544779539.829 * [misc]taylor: Taking taylor expansion of (* -1 (pow x 3)) in x 1544779539.829 * [misc]taylor: Taking taylor expansion of -1 in x 1544779539.829 * [misc]backup-simplify: Simplify -1 into -1 1544779539.829 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1544779539.829 * [misc]taylor: Taking taylor expansion of x in x 1544779539.829 * [misc]backup-simplify: Simplify 0 into 0 1544779539.829 * [misc]backup-simplify: Simplify 1 into 1 1544779539.829 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.829 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.829 * [misc]backup-simplify: Simplify (* -1 1) into -1 1544779539.829 * [misc]backup-simplify: Simplify -1 into -1 1544779539.829 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544779539.830 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544779539.830 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 1)) into 0 1544779539.830 * [misc]backup-simplify: Simplify 0 into 0 1544779539.830 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544779539.830 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544779539.830 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1))) into 0 1544779539.830 * [misc]backup-simplify: Simplify 0 into 0 1544779539.830 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544779539.831 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544779539.831 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544779539.831 * [misc]backup-simplify: Simplify 0 into 0 1544779539.831 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544779539.831 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544779539.831 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544779539.832 * [misc]backup-simplify: Simplify 0 into 0 1544779539.832 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544779539.832 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544779539.832 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544779539.832 * [misc]backup-simplify: Simplify 0 into 0 1544779539.833 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544779539.833 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544779539.833 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544779539.833 * [misc]backup-simplify: Simplify 0 into 0 1544779539.834 * [misc]backup-simplify: Simplify (* -1 (pow (/ 1 (- x)) 3)) into (/ 1 (pow x 3)) 1544779539.834 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1) 1544779539.834 * [misc]backup-simplify: Simplify (/ 1 (pow x 5)) into (/ 1 (pow x 5)) 1544779539.834 * [misc]approximate: Taking taylor expansion of (/ 1 (pow x 5)) in (x) around 0 1544779539.834 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 5)) in x 1544779539.834 * [misc]taylor: Taking taylor expansion of (pow x 5) in x 1544779539.834 * [misc]taylor: Taking taylor expansion of x in x 1544779539.834 * [misc]backup-simplify: Simplify 0 into 0 1544779539.834 * [misc]backup-simplify: Simplify 1 into 1 1544779539.834 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.834 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.834 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.834 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544779539.834 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 5)) in x 1544779539.834 * [misc]taylor: Taking taylor expansion of (pow x 5) in x 1544779539.834 * [misc]taylor: Taking taylor expansion of x in x 1544779539.835 * [misc]backup-simplify: Simplify 0 into 0 1544779539.835 * [misc]backup-simplify: Simplify 1 into 1 1544779539.835 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.835 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.835 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.835 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544779539.835 * [misc]backup-simplify: Simplify 1 into 1 1544779539.835 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544779539.835 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544779539.835 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544779539.836 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544779539.836 * [misc]backup-simplify: Simplify 0 into 0 1544779539.836 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544779539.836 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544779539.836 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544779539.836 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544779539.836 * [misc]backup-simplify: Simplify 0 into 0 1544779539.836 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544779539.837 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544779539.837 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544779539.837 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544779539.837 * [misc]backup-simplify: Simplify 0 into 0 1544779539.837 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544779539.838 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544779539.838 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544779539.838 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544779539.838 * [misc]backup-simplify: Simplify 0 into 0 1544779539.838 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544779539.839 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544779539.839 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544779539.839 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544779539.839 * [misc]backup-simplify: Simplify 0 into 0 1544779539.839 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544779539.840 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544779539.840 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544779539.840 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544779539.840 * [misc]backup-simplify: Simplify 0 into 0 1544779539.840 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 x) 5)) into (/ 1 (pow x 5)) 1544779539.841 * [misc]backup-simplify: Simplify (/ 1 (pow (/ 1 x) 5)) into (pow x 5) 1544779539.841 * [misc]approximate: Taking taylor expansion of (pow x 5) in (x) around 0 1544779539.841 * [misc]taylor: Taking taylor expansion of (pow x 5) in x 1544779539.841 * [misc]taylor: Taking taylor expansion of x in x 1544779539.841 * [misc]backup-simplify: Simplify 0 into 0 1544779539.841 * [misc]backup-simplify: Simplify 1 into 1 1544779539.841 * [misc]taylor: Taking taylor expansion of (pow x 5) in x 1544779539.841 * [misc]taylor: Taking taylor expansion of x in x 1544779539.841 * [misc]backup-simplify: Simplify 0 into 0 1544779539.841 * [misc]backup-simplify: Simplify 1 into 1 1544779539.841 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.841 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.841 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.841 * [misc]backup-simplify: Simplify 1 into 1 1544779539.841 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544779539.842 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544779539.842 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544779539.842 * [misc]backup-simplify: Simplify 0 into 0 1544779539.842 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544779539.842 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544779539.842 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544779539.842 * [misc]backup-simplify: Simplify 0 into 0 1544779539.842 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544779539.843 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544779539.843 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544779539.843 * [misc]backup-simplify: Simplify 0 into 0 1544779539.843 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544779539.843 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544779539.843 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544779539.844 * [misc]backup-simplify: Simplify 0 into 0 1544779539.844 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544779539.844 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544779539.844 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544779539.844 * [misc]backup-simplify: Simplify 0 into 0 1544779539.845 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544779539.845 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544779539.845 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544779539.845 * [misc]backup-simplify: Simplify 0 into 0 1544779539.849 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 x) 5)) into (/ 1 (pow x 5)) 1544779539.849 * [misc]backup-simplify: Simplify (/ 1 (pow (/ 1 (- x)) 5)) into (* -1 (pow x 5)) 1544779539.849 * [misc]approximate: Taking taylor expansion of (* -1 (pow x 5)) in (x) around 0 1544779539.849 * [misc]taylor: Taking taylor expansion of (* -1 (pow x 5)) in x 1544779539.849 * [misc]taylor: Taking taylor expansion of -1 in x 1544779539.849 * [misc]backup-simplify: Simplify -1 into -1 1544779539.849 * [misc]taylor: Taking taylor expansion of (pow x 5) in x 1544779539.849 * [misc]taylor: Taking taylor expansion of x in x 1544779539.849 * [misc]backup-simplify: Simplify 0 into 0 1544779539.849 * [misc]backup-simplify: Simplify 1 into 1 1544779539.849 * [misc]taylor: Taking taylor expansion of (* -1 (pow x 5)) in x 1544779539.849 * [misc]taylor: Taking taylor expansion of -1 in x 1544779539.849 * [misc]backup-simplify: Simplify -1 into -1 1544779539.849 * [misc]taylor: Taking taylor expansion of (pow x 5) in x 1544779539.849 * [misc]taylor: Taking taylor expansion of x in x 1544779539.849 * [misc]backup-simplify: Simplify 0 into 0 1544779539.849 * [misc]backup-simplify: Simplify 1 into 1 1544779539.849 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.850 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.850 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544779539.850 * [misc]backup-simplify: Simplify (* -1 1) into -1 1544779539.850 * [misc]backup-simplify: Simplify -1 into -1 1544779539.850 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544779539.850 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544779539.850 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544779539.850 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 1)) into 0 1544779539.850 * [misc]backup-simplify: Simplify 0 into 0 1544779539.851 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544779539.851 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544779539.851 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544779539.851 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1))) into 0 1544779539.851 * [misc]backup-simplify: Simplify 0 into 0 1544779539.851 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544779539.851 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544779539.852 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544779539.852 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544779539.852 * [misc]backup-simplify: Simplify 0 into 0 1544779539.852 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544779539.852 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544779539.853 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544779539.853 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544779539.853 * [misc]backup-simplify: Simplify 0 into 0 1544779539.853 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544779539.853 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544779539.854 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544779539.854 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544779539.854 * [misc]backup-simplify: Simplify 0 into 0 1544779539.854 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544779539.854 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544779539.855 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544779539.855 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544779539.855 * [misc]backup-simplify: Simplify 0 into 0 1544779539.855 * [misc]backup-simplify: Simplify (* -1 (pow (/ 1 (- x)) 5)) into (/ 1 (pow x 5)) 1544779539.855 * * * [misc]progress: simplifying candidates 1544779539.855 * * * * [misc]progress: [ 1 / 73 ] simplifiying candidate # 1544779539.855 * [enter]simplify: Simplifying (/ (* (exp (/ 1 (pow x 5))) (exp (/ 1 x))) (exp (/ 1 (pow x 3)))) 1544779539.856 * * [misc]simplify: iters left: 6 (14 enodes) 1544779539.860 * * [misc]simplify: iters left: 5 (24 enodes) 1544779539.864 * * [misc]simplify: iters left: 4 (35 enodes) 1544779539.871 * * [misc]simplify: iters left: 3 (50 enodes) 1544779539.882 * * [misc]simplify: iters left: 2 (79 enodes) 1544779539.896 * * [misc]simplify: iters left: 1 (109 enodes) 1544779539.927 * [exit]simplify: Simplified to (exp (+ (/ 1 x) (- (/ 1 (pow x 5)) (/ (/ 1 x) (* x x))))) 1544779539.927 * [misc]simplify: Simplified (2 1) to (λ (x) (log (exp (+ (/ 1 x) (- (/ 1 (pow x 5)) (/ (/ 1 x) (* x x))))))) 1544779539.927 * * * * [misc]progress: [ 2 / 73 ] simplifiying candidate # 1544779539.927 * [enter]simplify: Simplifying (/ (exp (+ (/ 1 (pow x 5)) (/ 1 x))) (exp (/ 1 (pow x 3)))) 1544779539.928 * * [misc]simplify: iters left: 6 (13 enodes) 1544779539.931 * * [misc]simplify: iters left: 5 (24 enodes) 1544779539.936 * * [misc]simplify: iters left: 4 (36 enodes) 1544779539.944 * * [misc]simplify: iters left: 3 (61 enodes) 1544779539.956 * * [misc]simplify: iters left: 2 (83 enodes) 1544779539.977 * * [misc]simplify: iters left: 1 (102 enodes) 1544779540.038 * [exit]simplify: Simplified to (exp (+ (- (/ 1 x) (/ (/ 1 x) (* x x))) (/ 1 (pow x 5)))) 1544779540.039 * [misc]simplify: Simplified (2 1) to (λ (x) (log (exp (+ (- (/ 1 x) (/ (/ 1 x) (* x x))) (/ 1 (pow x 5)))))) 1544779540.039 * * * * [misc]progress: [ 3 / 73 ] simplifiying candidate # 1544779540.039 * * * * [misc]progress: [ 4 / 73 ] simplifiying candidate # 1544779540.039 * * * * [misc]progress: [ 5 / 73 ] simplifiying candidate # 1544779540.039 * * * * [misc]progress: [ 6 / 73 ] simplifiying candidate # 1544779540.039 * * * * [misc]progress: [ 7 / 73 ] simplifiying candidate # 1544779540.039 * * * * [misc]progress: [ 8 / 73 ] simplifiying candidate # 1544779540.039 * * * * [misc]progress: [ 9 / 73 ] simplifiying candidate # 1544779540.039 * [enter]simplify: Simplifying (- (* (+ (* 1 x) (* (pow x 5) 1)) (pow x 3)) (* (* (pow x 5) x) 1)) 1544779540.041 * * [misc]simplify: iters left: 6 (13 enodes) 1544779540.050 * * [misc]simplify: iters left: 5 (30 enodes) 1544779540.064 * * [misc]simplify: iters left: 4 (62 enodes) 1544779540.083 * * [misc]simplify: iters left: 3 (146 enodes) 1544779540.161 * * [misc]simplify: iters left: 2 (318 enodes) 1544779540.340 * [exit]simplify: Simplified to (+ (* (pow x 7) x) (- (pow x 4) (pow x 6))) 1544779540.340 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (+ (* (pow x 7) x) (- (pow x 4) (pow x 6))) (* (* (pow x 5) x) (pow x 3)))) 1544779540.341 * [enter]simplify: Simplifying (* (* (pow x 5) x) (pow x 3)) 1544779540.341 * * [misc]simplify: iters left: 5 (7 enodes) 1544779540.344 * * [misc]simplify: iters left: 4 (18 enodes) 1544779540.348 * * [misc]simplify: iters left: 3 (35 enodes) 1544779540.359 * * [misc]simplify: iters left: 2 (51 enodes) 1544779540.367 * * [misc]simplify: iters left: 1 (54 enodes) 1544779540.375 * [exit]simplify: Simplified to (pow x 9) 1544779540.376 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (+ (* (pow x 7) x) (- (pow x 4) (pow x 6))) (pow x 9))) 1544779540.376 * * * * [misc]progress: [ 10 / 73 ] simplifiying candidate # 1544779540.376 * [enter]simplify: Simplifying (- (* (+ (pow (/ 1 (pow x 5)) 3) (pow (/ 1 x) 3)) (pow x 3)) (* (+ (* (/ 1 (pow x 5)) (/ 1 (pow x 5))) (- (* (/ 1 x) (/ 1 x)) (* (/ 1 (pow x 5)) (/ 1 x)))) 1)) 1544779540.377 * * [misc]simplify: iters left: 6 (19 enodes) 1544779540.384 * * [misc]simplify: iters left: 5 (55 enodes) 1544779540.404 * * [misc]simplify: iters left: 4 (149 enodes) 1544779540.464 * * [misc]simplify: iters left: 3 (312 enodes) 1544779540.744 * [exit]simplify: Simplified to (+ (+ (/ (/ (pow x 3) (pow x 5)) (* (pow x 5) (pow x 5))) (- 1 (/ (/ 1 x) x))) (* (/ 1 (pow x 5)) (- (/ 1 x) (/ 1 (pow x 5))))) 1544779540.744 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (+ (+ (/ (/ (pow x 3) (pow x 5)) (* (pow x 5) (pow x 5))) (- 1 (/ (/ 1 x) x))) (* (/ 1 (pow x 5)) (- (/ 1 x) (/ 1 (pow x 5))))) (* (+ (* (/ 1 (pow x 5)) (/ 1 (pow x 5))) (- (* (/ 1 x) (/ 1 x)) (* (/ 1 (pow x 5)) (/ 1 x)))) (pow x 3)))) 1544779540.744 * [enter]simplify: Simplifying (* (+ (* (/ 1 (pow x 5)) (/ 1 (pow x 5))) (- (* (/ 1 x) (/ 1 x)) (* (/ 1 (pow x 5)) (/ 1 x)))) (pow x 3)) 1544779540.746 * * [misc]simplify: iters left: 6 (14 enodes) 1544779540.755 * * [misc]simplify: iters left: 5 (38 enodes) 1544779540.778 * * [misc]simplify: iters left: 4 (87 enodes) 1544779540.822 * * [misc]simplify: iters left: 3 (215 enodes) 1544779541.037 * [exit]simplify: Simplified to (+ (* x 1) (* (* (/ 1 (pow x 5)) (pow x 3)) (+ (/ -1 x) (/ 1 (pow x 5))))) 1544779541.037 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (+ (+ (/ (/ (pow x 3) (pow x 5)) (* (pow x 5) (pow x 5))) (- 1 (/ (/ 1 x) x))) (* (/ 1 (pow x 5)) (- (/ 1 x) (/ 1 (pow x 5))))) (+ (* x 1) (* (* (/ 1 (pow x 5)) (pow x 3)) (+ (/ -1 x) (/ 1 (pow x 5))))))) 1544779541.037 * * * * [misc]progress: [ 11 / 73 ] simplifiying candidate # 1544779541.037 * [enter]simplify: Simplifying (- (* (- (* (/ 1 (pow x 5)) (/ 1 (pow x 5))) (* (/ 1 x) (/ 1 x))) (pow x 3)) (* (- (/ 1 (pow x 5)) (/ 1 x)) 1)) 1544779541.039 * * [misc]simplify: iters left: 6 (15 enodes) 1544779541.048 * * [misc]simplify: iters left: 5 (38 enodes) 1544779541.073 * * [misc]simplify: iters left: 4 (72 enodes) 1544779541.124 * * [misc]simplify: iters left: 3 (211 enodes) 1544779541.494 * [exit]simplify: Simplified to (* (- (/ 1 (pow x 5)) (/ 1 x)) (- (+ (/ (pow x 3) (pow x 5)) (/ (pow x 3) x)) 1)) 1544779541.494 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (* (- (/ 1 (pow x 5)) (/ 1 x)) (- (+ (/ (pow x 3) (pow x 5)) (/ (pow x 3) x)) 1)) (* (- (/ 1 (pow x 5)) (/ 1 x)) (pow x 3)))) 1544779541.494 * [enter]simplify: Simplifying (* (- (/ 1 (pow x 5)) (/ 1 x)) (pow x 3)) 1544779541.495 * * [misc]simplify: iters left: 6 (10 enodes) 1544779541.497 * * [misc]simplify: iters left: 5 (18 enodes) 1544779541.502 * * [misc]simplify: iters left: 4 (36 enodes) 1544779541.512 * * [misc]simplify: iters left: 3 (77 enodes) 1544779541.546 * * [misc]simplify: iters left: 2 (167 enodes) 1544779541.662 * * [misc]simplify: iters left: 1 (297 enodes) 1544779542.027 * [exit]simplify: Simplified to (- (/ (pow x 3) (pow x 5)) (* x x)) 1544779542.027 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (* (- (/ 1 (pow x 5)) (/ 1 x)) (- (+ (/ (pow x 3) (pow x 5)) (/ (pow x 3) x)) 1)) (- (/ (pow x 3) (pow x 5)) (* x x)))) 1544779542.027 * * * * [misc]progress: [ 12 / 73 ] simplifiying candidate # 1544779542.027 * * * * [misc]progress: [ 13 / 73 ] simplifiying candidate # 1544779542.027 * * * * [misc]progress: [ 14 / 73 ] simplifiying candidate # 1544779542.027 * * * * [misc]progress: [ 15 / 73 ] simplifiying candidate # 1544779542.027 * * * * [misc]progress: [ 16 / 73 ] simplifiying candidate # 1544779542.027 * [enter]simplify: Simplifying (+ (sqrt (+ (/ 1 (pow x 5)) (/ 1 x))) (sqrt (/ 1 (pow x 3)))) 1544779542.029 * * [misc]simplify: iters left: 6 (13 enodes) 1544779542.034 * * [misc]simplify: iters left: 5 (20 enodes) 1544779542.047 * * [misc]simplify: iters left: 4 (23 enodes) 1544779542.053 * * [misc]simplify: iters left: 3 (24 enodes) 1544779542.059 * [exit]simplify: Simplified to (+ (sqrt (/ (/ 1 x) (* x x))) (sqrt (+ (/ 1 x) (/ 1 (pow x 5))))) 1544779542.059 * [misc]simplify: Simplified (2 1) to (λ (x) (* (+ (sqrt (/ (/ 1 x) (* x x))) (sqrt (+ (/ 1 x) (/ 1 (pow x 5))))) (- (sqrt (+ (/ 1 (pow x 5)) (/ 1 x))) (sqrt (/ 1 (pow x 3)))))) 1544779542.059 * [enter]simplify: Simplifying (- (sqrt (+ (/ 1 (pow x 5)) (/ 1 x))) (sqrt (/ 1 (pow x 3)))) 1544779542.060 * * [misc]simplify: iters left: 6 (13 enodes) 1544779542.063 * * [misc]simplify: iters left: 5 (21 enodes) 1544779542.066 * * [misc]simplify: iters left: 4 (25 enodes) 1544779542.070 * * [misc]simplify: iters left: 3 (26 enodes) 1544779542.074 * [exit]simplify: Simplified to (- (sqrt (+ (/ 1 x) (/ 1 (pow x 5)))) (sqrt (/ (/ 1 x) (* x x)))) 1544779542.074 * [misc]simplify: Simplified (2 2) to (λ (x) (* (+ (sqrt (+ (/ 1 (pow x 5)) (/ 1 x))) (sqrt (/ 1 (pow x 3)))) (- (sqrt (+ (/ 1 x) (/ 1 (pow x 5)))) (sqrt (/ (/ 1 x) (* x x)))))) 1544779542.074 * * * * [misc]progress: [ 17 / 73 ] simplifiying candidate # 1544779542.075 * [enter]simplify: Simplifying (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) 1544779542.075 * * [misc]simplify: iters left: 6 (11 enodes) 1544779542.078 * * [misc]simplify: iters left: 5 (21 enodes) 1544779542.083 * * [misc]simplify: iters left: 4 (35 enodes) 1544779542.089 * * [misc]simplify: iters left: 3 (47 enodes) 1544779542.095 * * [misc]simplify: iters left: 2 (54 enodes) 1544779542.109 * * [misc]simplify: iters left: 1 (58 enodes) 1544779542.132 * [exit]simplify: Simplified to (+ (/ 1 (pow x 5)) (- (/ 1 x) (/ (/ 1 x) (* x x)))) 1544779542.132 * [misc]simplify: Simplified (2 2) to (λ (x) (* 1 (+ (/ 1 (pow x 5)) (- (/ 1 x) (/ (/ 1 x) (* x x)))))) 1544779542.132 * * * * [misc]progress: [ 18 / 73 ] simplifiying candidate # 1544779542.132 * [enter]simplify: Simplifying (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) 1544779542.133 * * [misc]simplify: iters left: 6 (11 enodes) 1544779542.138 * * [misc]simplify: iters left: 5 (21 enodes) 1544779542.150 * * [misc]simplify: iters left: 4 (35 enodes) 1544779542.162 * * [misc]simplify: iters left: 3 (47 enodes) 1544779542.175 * * [misc]simplify: iters left: 2 (54 enodes) 1544779542.188 * * [misc]simplify: iters left: 1 (58 enodes) 1544779542.210 * [exit]simplify: Simplified to (+ (/ 1 (pow x 5)) (- (/ 1 x) (/ (/ 1 x) (* x x)))) 1544779542.210 * [misc]simplify: Simplified (2 2) to (λ (x) (* 1 (+ (/ 1 (pow x 5)) (- (/ 1 x) (/ (/ 1 x) (* x x)))))) 1544779542.210 * * * * [misc]progress: [ 19 / 73 ] simplifiying candidate # 1544779542.210 * [enter]simplify: Simplifying (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) 1544779542.211 * * [misc]simplify: iters left: 6 (11 enodes) 1544779542.216 * * [misc]simplify: iters left: 5 (21 enodes) 1544779542.226 * * [misc]simplify: iters left: 4 (35 enodes) 1544779542.238 * * [misc]simplify: iters left: 3 (47 enodes) 1544779542.250 * * [misc]simplify: iters left: 2 (54 enodes) 1544779542.264 * * [misc]simplify: iters left: 1 (58 enodes) 1544779542.289 * [exit]simplify: Simplified to (+ (/ 1 (pow x 5)) (- (/ 1 x) (/ (/ 1 x) (* x x)))) 1544779542.289 * [misc]simplify: Simplified (2 2) to (λ (x) (* 1 (+ (/ 1 (pow x 5)) (- (/ 1 x) (/ (/ 1 x) (* x x)))))) 1544779542.289 * * * * [misc]progress: [ 20 / 73 ] simplifiying candidate # 1544779542.290 * [enter]simplify: Simplifying (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) 1544779542.291 * * [misc]simplify: iters left: 6 (11 enodes) 1544779542.296 * * [misc]simplify: iters left: 5 (21 enodes) 1544779542.305 * * [misc]simplify: iters left: 4 (35 enodes) 1544779542.317 * * [misc]simplify: iters left: 3 (47 enodes) 1544779542.330 * * [misc]simplify: iters left: 2 (54 enodes) 1544779542.343 * * [misc]simplify: iters left: 1 (58 enodes) 1544779542.365 * [exit]simplify: Simplified to (+ (/ 1 (pow x 5)) (- (/ 1 x) (/ (/ 1 x) (* x x)))) 1544779542.365 * [misc]simplify: Simplified (2 2) to (λ (x) (* 1 (+ (/ 1 (pow x 5)) (- (/ 1 x) (/ (/ 1 x) (* x x)))))) 1544779542.365 * * * * [misc]progress: [ 21 / 73 ] simplifiying candidate # 1544779542.365 * [enter]simplify: Simplifying (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) 1544779542.366 * * [misc]simplify: iters left: 6 (11 enodes) 1544779542.372 * * [misc]simplify: iters left: 5 (21 enodes) 1544779542.382 * * [misc]simplify: iters left: 4 (35 enodes) 1544779542.394 * * [misc]simplify: iters left: 3 (47 enodes) 1544779542.406 * * [misc]simplify: iters left: 2 (54 enodes) 1544779542.422 * * [misc]simplify: iters left: 1 (58 enodes) 1544779542.445 * [exit]simplify: Simplified to (+ (/ 1 (pow x 5)) (- (/ 1 x) (/ (/ 1 x) (* x x)))) 1544779542.445 * [misc]simplify: Simplified (2 2) to (λ (x) (* 1 (+ (/ 1 (pow x 5)) (- (/ 1 x) (/ (/ 1 x) (* x x)))))) 1544779542.445 * * * * [misc]progress: [ 22 / 73 ] simplifiying candidate # 1544779542.446 * [enter]simplify: Simplifying (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) 1544779542.447 * * [misc]simplify: iters left: 6 (11 enodes) 1544779542.452 * * [misc]simplify: iters left: 5 (21 enodes) 1544779542.461 * * [misc]simplify: iters left: 4 (35 enodes) 1544779542.473 * * [misc]simplify: iters left: 3 (47 enodes) 1544779542.486 * * [misc]simplify: iters left: 2 (54 enodes) 1544779542.499 * * [misc]simplify: iters left: 1 (58 enodes) 1544779542.521 * [exit]simplify: Simplified to (+ (/ 1 (pow x 5)) (- (/ 1 x) (/ (/ 1 x) (* x x)))) 1544779542.521 * [misc]simplify: Simplified (2 2) to (λ (x) (* 1 (+ (/ 1 (pow x 5)) (- (/ 1 x) (/ (/ 1 x) (* x x)))))) 1544779542.521 * * * * [misc]progress: [ 23 / 73 ] simplifiying candidate # 1544779542.521 * [enter]simplify: Simplifying (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) 1544779542.522 * * [misc]simplify: iters left: 6 (11 enodes) 1544779542.528 * * [misc]simplify: iters left: 5 (21 enodes) 1544779542.537 * * [misc]simplify: iters left: 4 (35 enodes) 1544779542.549 * * [misc]simplify: iters left: 3 (47 enodes) 1544779542.565 * * [misc]simplify: iters left: 2 (54 enodes) 1544779542.578 * * [misc]simplify: iters left: 1 (58 enodes) 1544779542.601 * [exit]simplify: Simplified to (+ (/ 1 (pow x 5)) (- (/ 1 x) (/ (/ 1 x) (* x x)))) 1544779542.601 * [misc]simplify: Simplified (2 2) to (λ (x) (* 1 (+ (/ 1 (pow x 5)) (- (/ 1 x) (/ (/ 1 x) (* x x)))))) 1544779542.601 * * * * [misc]progress: [ 24 / 73 ] simplifiying candidate # 1544779542.601 * [enter]simplify: Simplifying (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) 1544779542.602 * * [misc]simplify: iters left: 6 (11 enodes) 1544779542.607 * * [misc]simplify: iters left: 5 (21 enodes) 1544779542.617 * * [misc]simplify: iters left: 4 (35 enodes) 1544779542.628 * * [misc]simplify: iters left: 3 (47 enodes) 1544779542.642 * * [misc]simplify: iters left: 2 (54 enodes) 1544779542.654 * * [misc]simplify: iters left: 1 (58 enodes) 1544779542.676 * [exit]simplify: Simplified to (+ (/ 1 (pow x 5)) (- (/ 1 x) (/ (/ 1 x) (* x x)))) 1544779542.677 * [misc]simplify: Simplified (2 2) to (λ (x) (* 1 (+ (/ 1 (pow x 5)) (- (/ 1 x) (/ (/ 1 x) (* x x)))))) 1544779542.677 * * * * [misc]progress: [ 25 / 73 ] simplifiying candidate # 1544779542.677 * [enter]simplify: Simplifying (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) 1544779542.678 * * [misc]simplify: iters left: 6 (11 enodes) 1544779542.683 * * [misc]simplify: iters left: 5 (21 enodes) 1544779542.695 * * [misc]simplify: iters left: 4 (35 enodes) 1544779542.707 * * [misc]simplify: iters left: 3 (47 enodes) 1544779542.716 * * [misc]simplify: iters left: 2 (54 enodes) 1544779542.723 * * [misc]simplify: iters left: 1 (58 enodes) 1544779542.734 * [exit]simplify: Simplified to (+ (/ 1 (pow x 5)) (- (/ 1 x) (/ (/ 1 x) (* x x)))) 1544779542.734 * [misc]simplify: Simplified (2 2) to (λ (x) (* 1 (+ (/ 1 (pow x 5)) (- (/ 1 x) (/ (/ 1 x) (* x x)))))) 1544779542.734 * * * * [misc]progress: [ 26 / 73 ] simplifiying candidate # 1544779542.735 * [enter]simplify: Simplifying (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) 1544779542.735 * * [misc]simplify: iters left: 6 (11 enodes) 1544779542.738 * * [misc]simplify: iters left: 5 (21 enodes) 1544779542.743 * * [misc]simplify: iters left: 4 (35 enodes) 1544779542.749 * * [misc]simplify: iters left: 3 (47 enodes) 1544779542.756 * * [misc]simplify: iters left: 2 (54 enodes) 1544779542.769 * * [misc]simplify: iters left: 1 (58 enodes) 1544779542.795 * [exit]simplify: Simplified to (+ (/ 1 (pow x 5)) (- (/ 1 x) (/ (/ 1 x) (* x x)))) 1544779542.795 * [misc]simplify: Simplified (2 2) to (λ (x) (* 1 (+ (/ 1 (pow x 5)) (- (/ 1 x) (/ (/ 1 x) (* x x)))))) 1544779542.796 * * * * [misc]progress: [ 27 / 73 ] simplifiying candidate # 1544779542.796 * [enter]simplify: Simplifying (/ 1 (pow x 5)) 1544779542.796 * * [misc]simplify: iters left: 3 (5 enodes) 1544779542.798 * * [misc]simplify: iters left: 2 (7 enodes) 1544779542.801 * [exit]simplify: Simplified to (/ 1 (pow x 5)) 1544779542.801 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (/ 1 (pow x 5)) (- (/ 1 x) (/ 1 (pow x 3))))) 1544779542.801 * * * * [misc]progress: [ 28 / 73 ] simplifiying candidate # 1544779542.801 * * * * [misc]progress: [ 29 / 73 ] simplifiying candidate # 1544779542.801 * * * * [misc]progress: [ 30 / 73 ] simplifiying candidate # 1544779542.801 * [enter]simplify: Simplifying (- 3) 1544779542.801 * * [misc]simplify: iters left: 2 (2 enodes) 1544779542.803 * * [misc]simplify: iters left: 1 (3 enodes) 1544779542.804 * [exit]simplify: Simplified to -3 1544779542.804 * [misc]simplify: Simplified (2 2 2) to (λ (x) (- (+ (/ 1 (pow x 5)) (/ 1 x)) (pow x -3))) 1544779542.804 * * * * [misc]progress: [ 31 / 73 ] simplifiying candidate # 1544779542.804 * * * * [misc]progress: [ 32 / 73 ] simplifiying candidate # 1544779542.804 * * * * [misc]progress: [ 33 / 73 ] simplifiying candidate # 1544779542.804 * * * * [misc]progress: [ 34 / 73 ] simplifiying candidate # 1544779542.804 * * * * [misc]progress: [ 35 / 73 ] simplifiying candidate # 1544779542.804 * * * * [misc]progress: [ 36 / 73 ] simplifiying candidate # 1544779542.804 * * * * [misc]progress: [ 37 / 73 ] simplifiying candidate # 1544779542.804 * * * * [misc]progress: [ 38 / 73 ] simplifiying candidate # 1544779542.804 * * * * [misc]progress: [ 39 / 73 ] simplifiying candidate # 1544779542.804 * * * * [misc]progress: [ 40 / 73 ] simplifiying candidate # 1544779542.804 * * * * [misc]progress: [ 41 / 73 ] simplifiying candidate # 1544779542.804 * * * * [misc]progress: [ 42 / 73 ] simplifiying candidate # 1544779542.804 * * * * [misc]progress: [ 43 / 73 ] simplifiying candidate # 1544779542.804 * * * * [misc]progress: [ 44 / 73 ] simplifiying candidate # 1544779542.805 * [enter]simplify: Simplifying (cbrt (pow x 3)) 1544779542.805 * * [misc]simplify: iters left: 2 (4 enodes) 1544779542.807 * * [misc]simplify: iters left: 1 (7 enodes) 1544779542.809 * [exit]simplify: Simplified to x 1544779542.809 * [misc]simplify: Simplified (2 2 2) to (λ (x) (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ (/ 1 (* (cbrt (pow x 3)) (cbrt (pow x 3)))) x))) 1544779542.809 * * * * [misc]progress: [ 45 / 73 ] simplifiying candidate # 1544779542.810 * [enter]simplify: Simplifying (* x x) 1544779542.810 * * [misc]simplify: iters left: 2 (2 enodes) 1544779542.811 * [exit]simplify: Simplified to (* x x) 1544779542.811 * [misc]simplify: Simplified (2 2 2) to (λ (x) (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ (/ 1 x) (* x x)))) 1544779542.811 * * * * [misc]progress: [ 46 / 73 ] simplifiying candidate # 1544779542.811 * [enter]simplify: Simplifying (sqrt (pow x 3)) 1544779542.811 * * [misc]simplify: iters left: 2 (4 enodes) 1544779542.813 * * [misc]simplify: iters left: 1 (7 enodes) 1544779542.816 * [exit]simplify: Simplified to (sqrt (pow x 3)) 1544779542.816 * [misc]simplify: Simplified (2 2 2) to (λ (x) (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ (/ 1 (sqrt (pow x 3))) (sqrt (pow x 3))))) 1544779542.816 * * * * [misc]progress: [ 47 / 73 ] simplifiying candidate # 1544779542.816 * [enter]simplify: Simplifying (pow x 3) 1544779542.816 * * [misc]simplify: iters left: 1 (3 enodes) 1544779542.818 * [exit]simplify: Simplified to (pow x 3) 1544779542.818 * [misc]simplify: Simplified (2 2 2) to (λ (x) (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ (/ 1 1) (pow x 3)))) 1544779542.818 * * * * [misc]progress: [ 48 / 73 ] simplifiying candidate # 1544779542.818 * * * * [misc]progress: [ 49 / 73 ] simplifiying candidate # 1544779542.818 * [enter]simplify: Simplifying (- 5) 1544779542.818 * * [misc]simplify: iters left: 2 (2 enodes) 1544779542.820 * * [misc]simplify: iters left: 1 (3 enodes) 1544779542.820 * [exit]simplify: Simplified to -5 1544779542.820 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (+ (pow x -5) (/ 1 x)) (/ 1 (pow x 3)))) 1544779542.820 * * * * [misc]progress: [ 50 / 73 ] simplifiying candidate # 1544779542.820 * * * * [misc]progress: [ 51 / 73 ] simplifiying candidate # 1544779542.820 * * * * [misc]progress: [ 52 / 73 ] simplifiying candidate # 1544779542.821 * * * * [misc]progress: [ 53 / 73 ] simplifiying candidate # 1544779542.821 * * * * [misc]progress: [ 54 / 73 ] simplifiying candidate # 1544779542.821 * * * * [misc]progress: [ 55 / 73 ] simplifiying candidate # 1544779542.821 * * * * [misc]progress: [ 56 / 73 ] simplifiying candidate # 1544779542.821 * * * * [misc]progress: [ 57 / 73 ] simplifiying candidate # 1544779542.821 * * * * [misc]progress: [ 58 / 73 ] simplifiying candidate # 1544779542.821 * * * * [misc]progress: [ 59 / 73 ] simplifiying candidate # 1544779542.821 * * * * [misc]progress: [ 60 / 73 ] simplifiying candidate # 1544779542.821 * * * * [misc]progress: [ 61 / 73 ] simplifiying candidate # 1544779542.821 * * * * [misc]progress: [ 62 / 73 ] simplifiying candidate # 1544779542.821 * [enter]simplify: Simplifying (cbrt (pow x 5)) 1544779542.822 * * [misc]simplify: iters left: 2 (4 enodes) 1544779542.823 * [exit]simplify: Simplified to (cbrt (pow x 5)) 1544779542.823 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (+ (/ (/ 1 (* (cbrt (pow x 5)) (cbrt (pow x 5)))) (cbrt (pow x 5))) (/ 1 x)) (/ 1 (pow x 3)))) 1544779542.823 * * * * [misc]progress: [ 63 / 73 ] simplifiying candidate # 1544779542.823 * [enter]simplify: Simplifying (sqrt (pow x 5)) 1544779542.824 * * [misc]simplify: iters left: 2 (4 enodes) 1544779542.825 * [exit]simplify: Simplified to (sqrt (pow x 5)) 1544779542.825 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (+ (/ (/ 1 (sqrt (pow x 5))) (sqrt (pow x 5))) (/ 1 x)) (/ 1 (pow x 3)))) 1544779542.825 * * * * [misc]progress: [ 64 / 73 ] simplifiying candidate # 1544779542.825 * [enter]simplify: Simplifying (pow x 5) 1544779542.826 * * [misc]simplify: iters left: 1 (3 enodes) 1544779542.827 * [exit]simplify: Simplified to (pow x 5) 1544779542.827 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (+ (/ (/ 1 1) (pow x 5)) (/ 1 x)) (/ 1 (pow x 3)))) 1544779542.827 * * * * [misc]progress: [ 65 / 73 ] simplifiying candidate # 1544779542.827 * [enter]simplify: Simplifying (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) 1544779542.828 * * [misc]simplify: iters left: 6 (11 enodes) 1544779542.833 * * [misc]simplify: iters left: 5 (21 enodes) 1544779542.843 * * [misc]simplify: iters left: 4 (35 enodes) 1544779542.855 * * [misc]simplify: iters left: 3 (47 enodes) 1544779542.868 * * [misc]simplify: iters left: 2 (54 enodes) 1544779542.880 * * [misc]simplify: iters left: 1 (58 enodes) 1544779542.903 * [exit]simplify: Simplified to (+ (/ 1 (pow x 5)) (- (/ 1 x) (/ (/ 1 x) (* x x)))) 1544779542.903 * [misc]simplify: Simplified (2) to (λ (x) (+ (/ 1 (pow x 5)) (- (/ 1 x) (/ (/ 1 x) (* x x))))) 1544779542.903 * * * * [misc]progress: [ 66 / 73 ] simplifiying candidate # 1544779542.903 * [enter]simplify: Simplifying (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) 1544779542.904 * * [misc]simplify: iters left: 6 (11 enodes) 1544779542.909 * * [misc]simplify: iters left: 5 (21 enodes) 1544779542.918 * * [misc]simplify: iters left: 4 (35 enodes) 1544779542.932 * * [misc]simplify: iters left: 3 (47 enodes) 1544779542.945 * * [misc]simplify: iters left: 2 (54 enodes) 1544779542.958 * * [misc]simplify: iters left: 1 (58 enodes) 1544779542.980 * [exit]simplify: Simplified to (+ (/ 1 (pow x 5)) (- (/ 1 x) (/ (/ 1 x) (* x x)))) 1544779542.981 * [misc]simplify: Simplified (2) to (λ (x) (+ (/ 1 (pow x 5)) (- (/ 1 x) (/ (/ 1 x) (* x x))))) 1544779542.981 * * * * [misc]progress: [ 67 / 73 ] simplifiying candidate # 1544779542.981 * [enter]simplify: Simplifying (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) 1544779542.982 * * [misc]simplify: iters left: 6 (11 enodes) 1544779542.987 * * [misc]simplify: iters left: 5 (21 enodes) 1544779542.996 * * [misc]simplify: iters left: 4 (35 enodes) 1544779543.008 * * [misc]simplify: iters left: 3 (47 enodes) 1544779543.021 * * [misc]simplify: iters left: 2 (54 enodes) 1544779543.034 * * [misc]simplify: iters left: 1 (58 enodes) 1544779543.052 * [exit]simplify: Simplified to (+ (/ 1 (pow x 5)) (- (/ 1 x) (/ (/ 1 x) (* x x)))) 1544779543.052 * [misc]simplify: Simplified (2) to (λ (x) (+ (/ 1 (pow x 5)) (- (/ 1 x) (/ (/ 1 x) (* x x))))) 1544779543.052 * * * * [misc]progress: [ 68 / 73 ] simplifiying candidate # 1544779543.052 * [enter]simplify: Simplifying (/ 1 (pow x 3)) 1544779543.054 * * [misc]simplify: iters left: 3 (5 enodes) 1544779543.055 * * [misc]simplify: iters left: 2 (10 enodes) 1544779543.057 * * [misc]simplify: iters left: 1 (14 enodes) 1544779543.060 * [exit]simplify: Simplified to (/ (/ 1 x) (* x x)) 1544779543.060 * [misc]simplify: Simplified (2 2) to (λ (x) (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ (/ 1 x) (* x x)))) 1544779543.060 * * * * [misc]progress: [ 69 / 73 ] simplifiying candidate # 1544779543.060 * [enter]simplify: Simplifying (/ 1 (pow x 3)) 1544779543.060 * * [misc]simplify: iters left: 3 (5 enodes) 1544779543.061 * * [misc]simplify: iters left: 2 (10 enodes) 1544779543.063 * * [misc]simplify: iters left: 1 (14 enodes) 1544779543.066 * [exit]simplify: Simplified to (/ (/ 1 x) (* x x)) 1544779543.066 * [misc]simplify: Simplified (2 2) to (λ (x) (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ (/ 1 x) (* x x)))) 1544779543.066 * * * * [misc]progress: [ 70 / 73 ] simplifiying candidate # 1544779543.066 * [enter]simplify: Simplifying (/ 1 (pow x 3)) 1544779543.066 * * [misc]simplify: iters left: 3 (5 enodes) 1544779543.067 * * [misc]simplify: iters left: 2 (10 enodes) 1544779543.069 * * [misc]simplify: iters left: 1 (14 enodes) 1544779543.071 * [exit]simplify: Simplified to (/ (/ 1 x) (* x x)) 1544779543.071 * [misc]simplify: Simplified (2 2) to (λ (x) (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ (/ 1 x) (* x x)))) 1544779543.072 * * * * [misc]progress: [ 71 / 73 ] simplifiying candidate # 1544779543.072 * [enter]simplify: Simplifying (/ 1 (pow x 5)) 1544779543.072 * * [misc]simplify: iters left: 3 (5 enodes) 1544779543.073 * * [misc]simplify: iters left: 2 (7 enodes) 1544779543.074 * [exit]simplify: Simplified to (/ 1 (pow x 5)) 1544779543.074 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3)))) 1544779543.074 * * * * [misc]progress: [ 72 / 73 ] simplifiying candidate # 1544779543.074 * [enter]simplify: Simplifying (/ 1 (pow x 5)) 1544779543.074 * * [misc]simplify: iters left: 3 (5 enodes) 1544779543.075 * * [misc]simplify: iters left: 2 (7 enodes) 1544779543.076 * [exit]simplify: Simplified to (/ 1 (pow x 5)) 1544779543.076 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3)))) 1544779543.076 * * * * [misc]progress: [ 73 / 73 ] simplifiying candidate # 1544779543.076 * [enter]simplify: Simplifying (/ 1 (pow x 5)) 1544779543.076 * * [misc]simplify: iters left: 3 (5 enodes) 1544779543.077 * * [misc]simplify: iters left: 2 (7 enodes) 1544779543.078 * [exit]simplify: Simplified to (/ 1 (pow x 5)) 1544779543.078 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3)))) 1544779543.078 * * * [misc]progress: adding candidates to table 1544779544.541 * [misc]progress: [Phase 3 of 3] Extracting. 1544779544.541 * * [misc]regime: Finding splitpoints for: (# #) 1544779544.541 * * * [misc]regime-changes: Trying 1 branch expressions: (x) 1544779544.541 * * * * [misc]regimes: Trying to branch on x from (# #) 1544779544.580 * * * [misc]regime: Found split indices: #