1548151046.736 * [misc]progress: [Phase 1 of 3] Setting up. 1548151046.737 * * * [misc]progress: [1/2] Preparing points 1548151046.852 * * * [misc]progress: [2/2] Setting up program. 1548151046.856 * [misc]progress: [Phase 2 of 3] Improving. 1548151046.856 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1548151046.857 * [enter]simplify: Simplifying (* 2 (atan (sqrt (/ (- 1 x) (+ 1 x))))) 1548151046.858 * * [misc]simplify: iters left: 6 (9 enodes) 1548151046.862 * * [misc]simplify: iters left: 5 (18 enodes) 1548151046.865 * * [misc]simplify: iters left: 4 (21 enodes) 1548151046.868 * * [misc]simplify: iters left: 3 (23 enodes) 1548151046.872 * [exit]simplify: Simplified to (* (atan (sqrt (/ (- 1 x) (+ 1 x)))) 2) 1548151046.872 * [misc]simplify: Simplified (2) to (λ (x) (* (atan (sqrt (/ (- 1 x) (+ 1 x)))) 2)) 1548151046.876 * * [misc]progress: iteration 1 / 4 1548151046.876 * * * [misc]progress: picking best candidate 1548151046.879 * * * * [misc]pick: Picked # 1548151046.879 * * * [misc]progress: localizing error 1548151046.895 * * * [misc]progress: generating rewritten candidates 1548151046.896 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 2 1 1) 1548151046.913 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2 1) 1548151046.917 * * * [misc]progress: generating series expansions 1548151046.917 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 2 1 1) 1548151046.922 * [misc]backup-simplify: Simplify (/ (- 1 x) (+ 1 x)) into (/ (- 1 x) (+ x 1)) 1548151046.922 * [misc]approximate: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in (x) around 0 1548151046.923 * [misc]taylor: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x 1548151046.923 * [misc]taylor: Taking taylor expansion of (- 1 x) in x 1548151046.923 * [misc]taylor: Taking taylor expansion of 1 in x 1548151046.923 * [misc]backup-simplify: Simplify 1 into 1 1548151046.923 * [misc]taylor: Taking taylor expansion of x in x 1548151046.923 * [misc]backup-simplify: Simplify 0 into 0 1548151046.923 * [misc]backup-simplify: Simplify 1 into 1 1548151046.924 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1548151046.924 * [misc]taylor: Taking taylor expansion of x in x 1548151046.924 * [misc]backup-simplify: Simplify 0 into 0 1548151046.924 * [misc]backup-simplify: Simplify 1 into 1 1548151046.924 * [misc]taylor: Taking taylor expansion of 1 in x 1548151046.924 * [misc]backup-simplify: Simplify 1 into 1 1548151046.924 * [misc]backup-simplify: Simplify (- 0) into 0 1548151046.924 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548151046.925 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1548151046.925 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548151046.925 * [misc]taylor: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x 1548151046.925 * [misc]taylor: Taking taylor expansion of (- 1 x) in x 1548151046.925 * [misc]taylor: Taking taylor expansion of 1 in x 1548151046.925 * [misc]backup-simplify: Simplify 1 into 1 1548151046.925 * [misc]taylor: Taking taylor expansion of x in x 1548151046.925 * [misc]backup-simplify: Simplify 0 into 0 1548151046.925 * [misc]backup-simplify: Simplify 1 into 1 1548151046.925 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1548151046.925 * [misc]taylor: Taking taylor expansion of x in x 1548151046.925 * [misc]backup-simplify: Simplify 0 into 0 1548151046.925 * [misc]backup-simplify: Simplify 1 into 1 1548151046.925 * [misc]taylor: Taking taylor expansion of 1 in x 1548151046.925 * [misc]backup-simplify: Simplify 1 into 1 1548151046.925 * [misc]backup-simplify: Simplify (- 0) into 0 1548151046.925 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548151046.925 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1548151046.925 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548151046.926 * [misc]backup-simplify: Simplify 1 into 1 1548151046.926 * [misc]backup-simplify: Simplify (- 1) into -1 1548151046.926 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1548151046.926 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548151046.926 * [misc]backup-simplify: Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2 1548151046.926 * [misc]backup-simplify: Simplify -2 into -2 1548151046.927 * [misc]backup-simplify: Simplify (- 0) into 0 1548151046.927 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548151046.927 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548151046.927 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -2 (/ 1 1)))) into 2 1548151046.927 * [misc]backup-simplify: Simplify 2 into 2 1548151046.928 * [misc]backup-simplify: Simplify (+ (* 2 (pow x 2)) (+ (* -2 x) 1)) into (- (+ (* 2 (pow x 2)) 1) (* 2 x)) 1548151046.928 * [misc]backup-simplify: Simplify (/ (- 1 (/ 1 x)) (+ 1 (/ 1 x))) into (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) 1548151046.928 * [misc]approximate: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in (x) around 0 1548151046.928 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x 1548151046.928 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1548151046.928 * [misc]taylor: Taking taylor expansion of 1 in x 1548151046.928 * [misc]backup-simplify: Simplify 1 into 1 1548151046.928 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1548151046.928 * [misc]taylor: Taking taylor expansion of x in x 1548151046.928 * [misc]backup-simplify: Simplify 0 into 0 1548151046.928 * [misc]backup-simplify: Simplify 1 into 1 1548151046.928 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548151046.928 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1548151046.928 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1548151046.928 * [misc]taylor: Taking taylor expansion of x in x 1548151046.928 * [misc]backup-simplify: Simplify 0 into 0 1548151046.928 * [misc]backup-simplify: Simplify 1 into 1 1548151046.929 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548151046.929 * [misc]taylor: Taking taylor expansion of 1 in x 1548151046.929 * [misc]backup-simplify: Simplify 1 into 1 1548151046.929 * [misc]backup-simplify: Simplify (- 1) into -1 1548151046.929 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1548151046.929 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548151046.929 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1548151046.929 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x 1548151046.929 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1548151046.929 * [misc]taylor: Taking taylor expansion of 1 in x 1548151046.929 * [misc]backup-simplify: Simplify 1 into 1 1548151046.929 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1548151046.929 * [misc]taylor: Taking taylor expansion of x in x 1548151046.929 * [misc]backup-simplify: Simplify 0 into 0 1548151046.929 * [misc]backup-simplify: Simplify 1 into 1 1548151046.930 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548151046.930 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1548151046.930 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1548151046.930 * [misc]taylor: Taking taylor expansion of x in x 1548151046.930 * [misc]backup-simplify: Simplify 0 into 0 1548151046.930 * [misc]backup-simplify: Simplify 1 into 1 1548151046.930 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548151046.930 * [misc]taylor: Taking taylor expansion of 1 in x 1548151046.930 * [misc]backup-simplify: Simplify 1 into 1 1548151046.930 * [misc]backup-simplify: Simplify (- 1) into -1 1548151046.930 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1548151046.930 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548151046.930 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1548151046.930 * [misc]backup-simplify: Simplify -1 into -1 1548151046.931 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1548151046.931 * [misc]backup-simplify: Simplify (- 0) into 0 1548151046.931 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548151046.931 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1548151046.931 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1548151046.931 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2 1548151046.931 * [misc]backup-simplify: Simplify 2 into 2 1548151046.931 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1548151046.931 * [misc]backup-simplify: Simplify (- 0) into 0 1548151046.932 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548151046.932 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1548151046.932 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548151046.932 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 1 1)))) into -2 1548151046.932 * [misc]backup-simplify: Simplify -2 into -2 1548151046.932 * [misc]backup-simplify: Simplify (+ (* -2 (pow (/ 1 x) 2)) (+ (* 2 (/ 1 x)) -1)) into (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1)) 1548151046.932 * [misc]backup-simplify: Simplify (/ (- 1 (/ 1 (- x))) (+ 1 (/ 1 (- x)))) into (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) 1548151046.932 * [misc]approximate: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in (x) around 0 1548151046.932 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x 1548151046.932 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1548151046.932 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1548151046.932 * [misc]taylor: Taking taylor expansion of x in x 1548151046.932 * [misc]backup-simplify: Simplify 0 into 0 1548151046.932 * [misc]backup-simplify: Simplify 1 into 1 1548151046.933 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548151046.933 * [misc]taylor: Taking taylor expansion of 1 in x 1548151046.933 * [misc]backup-simplify: Simplify 1 into 1 1548151046.933 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1548151046.933 * [misc]taylor: Taking taylor expansion of 1 in x 1548151046.933 * [misc]backup-simplify: Simplify 1 into 1 1548151046.933 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1548151046.933 * [misc]taylor: Taking taylor expansion of x in x 1548151046.933 * [misc]backup-simplify: Simplify 0 into 0 1548151046.933 * [misc]backup-simplify: Simplify 1 into 1 1548151046.933 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548151046.933 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548151046.933 * [misc]backup-simplify: Simplify (- 1) into -1 1548151046.933 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1548151046.933 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1548151046.933 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x 1548151046.933 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1548151046.933 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1548151046.933 * [misc]taylor: Taking taylor expansion of x in x 1548151046.933 * [misc]backup-simplify: Simplify 0 into 0 1548151046.933 * [misc]backup-simplify: Simplify 1 into 1 1548151046.934 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548151046.934 * [misc]taylor: Taking taylor expansion of 1 in x 1548151046.934 * [misc]backup-simplify: Simplify 1 into 1 1548151046.934 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1548151046.934 * [misc]taylor: Taking taylor expansion of 1 in x 1548151046.934 * [misc]backup-simplify: Simplify 1 into 1 1548151046.934 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1548151046.934 * [misc]taylor: Taking taylor expansion of x in x 1548151046.934 * [misc]backup-simplify: Simplify 0 into 0 1548151046.934 * [misc]backup-simplify: Simplify 1 into 1 1548151046.934 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548151046.934 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548151046.934 * [misc]backup-simplify: Simplify (- 1) into -1 1548151046.934 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1548151046.934 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1548151046.934 * [misc]backup-simplify: Simplify -1 into -1 1548151046.934 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1548151046.934 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1548151046.935 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1548151046.935 * [misc]backup-simplify: Simplify (- 0) into 0 1548151046.935 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548151046.935 * [misc]backup-simplify: Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2 1548151046.935 * [misc]backup-simplify: Simplify -2 into -2 1548151046.935 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1548151046.935 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548151046.935 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1548151046.936 * [misc]backup-simplify: Simplify (- 0) into 0 1548151046.936 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548151046.936 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* -2 (/ 1 -1)))) into -2 1548151046.936 * [misc]backup-simplify: Simplify -2 into -2 1548151046.936 * [misc]backup-simplify: Simplify (+ (* -2 (pow (/ 1 (- x)) 2)) (+ (* -2 (/ 1 (- x))) -1)) into (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1)) 1548151046.936 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2 1) 1548151046.936 * [misc]backup-simplify: Simplify (sqrt (/ (- 1 x) (+ 1 x))) into (sqrt (/ (- 1 x) (+ x 1))) 1548151046.936 * [misc]approximate: Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in (x) around 0 1548151046.936 * [misc]taylor: Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in x 1548151046.936 * [misc]taylor: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x 1548151046.936 * [misc]taylor: Taking taylor expansion of (- 1 x) in x 1548151046.936 * [misc]taylor: Taking taylor expansion of 1 in x 1548151046.936 * [misc]backup-simplify: Simplify 1 into 1 1548151046.936 * [misc]taylor: Taking taylor expansion of x in x 1548151046.936 * [misc]backup-simplify: Simplify 0 into 0 1548151046.936 * [misc]backup-simplify: Simplify 1 into 1 1548151046.936 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1548151046.936 * [misc]taylor: Taking taylor expansion of x in x 1548151046.936 * [misc]backup-simplify: Simplify 0 into 0 1548151046.936 * [misc]backup-simplify: Simplify 1 into 1 1548151046.936 * [misc]taylor: Taking taylor expansion of 1 in x 1548151046.936 * [misc]backup-simplify: Simplify 1 into 1 1548151046.937 * [misc]backup-simplify: Simplify (- 0) into 0 1548151046.937 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548151046.937 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1548151046.937 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548151046.937 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1548151046.937 * [misc]backup-simplify: Simplify (- 1) into -1 1548151046.937 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1548151046.937 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548151046.937 * [misc]backup-simplify: Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2 1548151046.938 * [misc]backup-simplify: Simplify (/ -2 (* 2 (sqrt 1))) into -1 1548151046.938 * [misc]taylor: Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in x 1548151046.938 * [misc]taylor: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x 1548151046.938 * [misc]taylor: Taking taylor expansion of (- 1 x) in x 1548151046.938 * [misc]taylor: Taking taylor expansion of 1 in x 1548151046.938 * [misc]backup-simplify: Simplify 1 into 1 1548151046.938 * [misc]taylor: Taking taylor expansion of x in x 1548151046.938 * [misc]backup-simplify: Simplify 0 into 0 1548151046.938 * [misc]backup-simplify: Simplify 1 into 1 1548151046.938 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1548151046.938 * [misc]taylor: Taking taylor expansion of x in x 1548151046.938 * [misc]backup-simplify: Simplify 0 into 0 1548151046.938 * [misc]backup-simplify: Simplify 1 into 1 1548151046.938 * [misc]taylor: Taking taylor expansion of 1 in x 1548151046.938 * [misc]backup-simplify: Simplify 1 into 1 1548151046.938 * [misc]backup-simplify: Simplify (- 0) into 0 1548151046.938 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548151046.938 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1548151046.938 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548151046.938 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1548151046.938 * [misc]backup-simplify: Simplify (- 1) into -1 1548151046.938 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1548151046.939 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548151046.939 * [misc]backup-simplify: Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2 1548151046.939 * [misc]backup-simplify: Simplify (/ -2 (* 2 (sqrt 1))) into -1 1548151046.939 * [misc]backup-simplify: Simplify 1 into 1 1548151046.939 * [misc]backup-simplify: Simplify -1 into -1 1548151046.939 * [misc]backup-simplify: Simplify (- 0) into 0 1548151046.939 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548151046.939 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548151046.940 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -2 (/ 1 1)))) into 2 1548151046.941 * [misc]backup-simplify: Simplify (/ (- 2 (pow -1 2) (+)) (* 2 1)) into 1/2 1548151046.941 * [misc]backup-simplify: Simplify 1/2 into 1/2 1548151046.941 * [misc]backup-simplify: Simplify (+ (* 1/2 (pow x 2)) (+ (* -1 x) 1)) into (- (+ (* 1/2 (pow x 2)) 1) x) 1548151046.942 * [misc]backup-simplify: Simplify (sqrt (/ (- 1 (/ 1 x)) (+ 1 (/ 1 x)))) into (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) 1548151046.942 * [misc]approximate: Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in (x) around 0 1548151046.942 * [misc]taylor: Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in x 1548151046.942 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x 1548151046.942 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1548151046.942 * [misc]taylor: Taking taylor expansion of 1 in x 1548151046.942 * [misc]backup-simplify: Simplify 1 into 1 1548151046.942 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1548151046.942 * [misc]taylor: Taking taylor expansion of x in x 1548151046.942 * [misc]backup-simplify: Simplify 0 into 0 1548151046.942 * [misc]backup-simplify: Simplify 1 into 1 1548151046.942 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548151046.942 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1548151046.942 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1548151046.942 * [misc]taylor: Taking taylor expansion of x in x 1548151046.942 * [misc]backup-simplify: Simplify 0 into 0 1548151046.942 * [misc]backup-simplify: Simplify 1 into 1 1548151046.942 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548151046.942 * [misc]taylor: Taking taylor expansion of 1 in x 1548151046.942 * [misc]backup-simplify: Simplify 1 into 1 1548151046.942 * [misc]backup-simplify: Simplify (- 1) into -1 1548151046.943 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1548151046.943 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548151046.943 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1548151046.943 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1548151046.943 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1548151046.944 * [misc]backup-simplify: Simplify (- 0) into 0 1548151046.944 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548151046.944 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1548151046.944 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1548151046.944 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2 1548151046.945 * [misc]backup-simplify: Simplify (/ 2 (* 2 (sqrt -1))) into (/ 1 (sqrt -1)) 1548151046.945 * [misc]taylor: Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in x 1548151046.945 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x 1548151046.945 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1548151046.945 * [misc]taylor: Taking taylor expansion of 1 in x 1548151046.945 * [misc]backup-simplify: Simplify 1 into 1 1548151046.945 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1548151046.945 * [misc]taylor: Taking taylor expansion of x in x 1548151046.945 * [misc]backup-simplify: Simplify 0 into 0 1548151046.945 * [misc]backup-simplify: Simplify 1 into 1 1548151046.945 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548151046.945 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1548151046.945 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1548151046.945 * [misc]taylor: Taking taylor expansion of x in x 1548151046.945 * [misc]backup-simplify: Simplify 0 into 0 1548151046.945 * [misc]backup-simplify: Simplify 1 into 1 1548151046.946 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548151046.946 * [misc]taylor: Taking taylor expansion of 1 in x 1548151046.946 * [misc]backup-simplify: Simplify 1 into 1 1548151046.946 * [misc]backup-simplify: Simplify (- 1) into -1 1548151046.946 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1548151046.946 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548151046.946 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1548151046.946 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1548151046.947 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1548151046.947 * [misc]backup-simplify: Simplify (- 0) into 0 1548151046.947 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548151046.947 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1548151046.947 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1548151046.948 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2 1548151046.948 * [misc]backup-simplify: Simplify (/ 2 (* 2 (sqrt -1))) into (/ 1 (sqrt -1)) 1548151046.948 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1548151046.949 * [misc]backup-simplify: Simplify (/ 1 (sqrt -1)) into (/ 1 (sqrt -1)) 1548151046.949 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1548151046.949 * [misc]backup-simplify: Simplify (- 0) into 0 1548151046.949 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548151046.950 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1548151046.950 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548151046.950 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 1 1)))) into -2 1548151046.952 * [misc]backup-simplify: Simplify (/ (- -2 (pow (/ 1 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (* -1/2 (/ (+ (/ 1 (pow (sqrt -1) 2)) 2) (sqrt -1))) 1548151046.954 * [misc]backup-simplify: Simplify (* -1/2 (/ (+ (/ 1 (pow (sqrt -1) 2)) 2) (sqrt -1))) into (* -1/2 (/ (+ (/ 1 (pow (sqrt -1) 2)) 2) (sqrt -1))) 1548151046.956 * [misc]backup-simplify: Simplify (+ (* (* -1/2 (/ (+ (/ 1 (pow (sqrt -1) 2)) 2) (sqrt -1))) (pow (/ 1 x) 2)) (+ (* (/ 1 (sqrt -1)) (/ 1 x)) (sqrt -1))) into (- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (+ (/ 1 (* (pow x 2) (sqrt -1))) (* 1/2 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))))) 1548151046.956 * [misc]backup-simplify: Simplify (sqrt (/ (- 1 (/ 1 (- x))) (+ 1 (/ 1 (- x))))) into (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) 1548151046.957 * [misc]approximate: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in (x) around 0 1548151046.957 * [misc]taylor: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in x 1548151046.957 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x 1548151046.957 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1548151046.957 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1548151046.957 * [misc]taylor: Taking taylor expansion of x in x 1548151046.957 * [misc]backup-simplify: Simplify 0 into 0 1548151046.957 * [misc]backup-simplify: Simplify 1 into 1 1548151046.957 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548151046.957 * [misc]taylor: Taking taylor expansion of 1 in x 1548151046.957 * [misc]backup-simplify: Simplify 1 into 1 1548151046.957 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1548151046.957 * [misc]taylor: Taking taylor expansion of 1 in x 1548151046.957 * [misc]backup-simplify: Simplify 1 into 1 1548151046.957 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1548151046.957 * [misc]taylor: Taking taylor expansion of x in x 1548151046.957 * [misc]backup-simplify: Simplify 0 into 0 1548151046.957 * [misc]backup-simplify: Simplify 1 into 1 1548151046.958 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548151046.958 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548151046.958 * [misc]backup-simplify: Simplify (- 1) into -1 1548151046.958 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1548151046.958 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1548151046.958 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1548151046.959 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1548151046.959 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1548151046.959 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1548151046.959 * [misc]backup-simplify: Simplify (- 0) into 0 1548151046.959 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548151046.960 * [misc]backup-simplify: Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2 1548151046.960 * [misc]backup-simplify: Simplify (/ -2 (* 2 (sqrt -1))) into (/ -1 (sqrt -1)) 1548151046.960 * [misc]taylor: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in x 1548151046.960 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x 1548151046.960 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1548151046.960 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1548151046.960 * [misc]taylor: Taking taylor expansion of x in x 1548151046.960 * [misc]backup-simplify: Simplify 0 into 0 1548151046.960 * [misc]backup-simplify: Simplify 1 into 1 1548151046.960 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548151046.960 * [misc]taylor: Taking taylor expansion of 1 in x 1548151046.960 * [misc]backup-simplify: Simplify 1 into 1 1548151046.960 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1548151046.961 * [misc]taylor: Taking taylor expansion of 1 in x 1548151046.961 * [misc]backup-simplify: Simplify 1 into 1 1548151046.961 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1548151046.961 * [misc]taylor: Taking taylor expansion of x in x 1548151046.961 * [misc]backup-simplify: Simplify 0 into 0 1548151046.961 * [misc]backup-simplify: Simplify 1 into 1 1548151046.961 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548151046.961 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548151046.961 * [misc]backup-simplify: Simplify (- 1) into -1 1548151046.961 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1548151046.961 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1548151046.962 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1548151046.962 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1548151046.962 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1548151046.962 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1548151046.962 * [misc]backup-simplify: Simplify (- 0) into 0 1548151046.962 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548151046.963 * [misc]backup-simplify: Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2 1548151046.963 * [misc]backup-simplify: Simplify (/ -2 (* 2 (sqrt -1))) into (/ -1 (sqrt -1)) 1548151046.963 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1548151046.964 * [misc]backup-simplify: Simplify (/ -1 (sqrt -1)) into (/ -1 (sqrt -1)) 1548151046.964 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1548151046.964 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548151046.965 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1548151046.965 * [misc]backup-simplify: Simplify (- 0) into 0 1548151046.965 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548151046.965 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* -2 (/ 1 -1)))) into -2 1548151046.967 * [misc]backup-simplify: Simplify (/ (- -2 (pow (/ -1 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (* -1/2 (/ (+ (/ 1 (pow (sqrt -1) 2)) 2) (sqrt -1))) 1548151046.969 * [misc]backup-simplify: Simplify (* -1/2 (/ (+ (/ 1 (pow (sqrt -1) 2)) 2) (sqrt -1))) into (* -1/2 (/ (+ (/ 1 (pow (sqrt -1) 2)) 2) (sqrt -1))) 1548151046.970 * [misc]backup-simplify: Simplify (+ (* (* -1/2 (/ (+ (/ 1 (pow (sqrt -1) 2)) 2) (sqrt -1))) (pow (/ 1 (- x)) 2)) (+ (* (/ -1 (sqrt -1)) (/ 1 (- x))) (sqrt -1))) into (- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (+ (/ 1 (* (pow x 2) (sqrt -1))) (* 1/2 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))))) 1548151046.970 * * * [misc]progress: simplifying candidates 1548151046.970 * * * * [misc]progress: [ 1 / 68 ] simplifiying candidate # 1548151046.970 * * * * [misc]progress: [ 2 / 68 ] simplifiying candidate # 1548151046.970 * * * * [misc]progress: [ 3 / 68 ] simplifiying candidate # 1548151046.970 * * * * [misc]progress: [ 4 / 68 ] simplifiying candidate # 1548151046.971 * [enter]simplify: Simplifying (- (log (- 1 x)) (log (+ 1 x))) 1548151046.971 * * [misc]simplify: iters left: 5 (7 enodes) 1548151046.972 * * [misc]simplify: iters left: 4 (15 enodes) 1548151046.974 * * [misc]simplify: iters left: 3 (18 enodes) 1548151046.976 * [exit]simplify: Simplified to (- (log (- 1 x)) (log1p x)) 1548151046.976 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (exp (- (log (- 1 x)) (log1p x))))))) 1548151046.976 * * * * [misc]progress: [ 5 / 68 ] simplifiying candidate # 1548151046.976 * * * * [misc]progress: [ 6 / 68 ] simplifiying candidate # 1548151046.976 * * * * [misc]progress: [ 7 / 68 ] simplifiying candidate # 1548151046.976 * [enter]simplify: Simplifying (/ (* (* (- 1 x) (- 1 x)) (- 1 x)) (* (* (+ 1 x) (+ 1 x)) (+ 1 x))) 1548151046.976 * * [misc]simplify: iters left: 6 (9 enodes) 1548151046.978 * * [misc]simplify: iters left: 5 (35 enodes) 1548151046.988 * * [misc]simplify: iters left: 4 (100 enodes) 1548151047.028 * * [misc]simplify: iters left: 3 (313 enodes) 1548151047.322 * [exit]simplify: Simplified to (pow (/ (- 1 x) (+ x 1)) 3) 1548151047.323 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (cbrt (pow (/ (- 1 x) (+ x 1)) 3)))))) 1548151047.323 * * * * [misc]progress: [ 8 / 68 ] simplifiying candidate # 1548151047.323 * * * * [misc]progress: [ 9 / 68 ] simplifiying candidate # 1548151047.323 * * * * [misc]progress: [ 10 / 68 ] simplifiying candidate # 1548151047.323 * * * * [misc]progress: [ 11 / 68 ] simplifiying candidate # 1548151047.323 * * * * [misc]progress: [ 12 / 68 ] simplifiying candidate # 1548151047.323 * [enter]simplify: Simplifying (/ 1 (+ 1 x)) 1548151047.323 * * [misc]simplify: iters left: 4 (4 enodes) 1548151047.324 * * [misc]simplify: iters left: 3 (7 enodes) 1548151047.324 * [exit]simplify: Simplified to (/ 1 (+ x 1)) 1548151047.325 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (- (/ 1 (+ x 1)) (/ x (+ 1 x))))))) 1548151047.325 * * * * [misc]progress: [ 13 / 68 ] simplifiying candidate # 1548151047.325 * [enter]simplify: Simplifying (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1548151047.325 * * [misc]simplify: iters left: 6 (9 enodes) 1548151047.326 * * [misc]simplify: iters left: 5 (20 enodes) 1548151047.330 * * [misc]simplify: iters left: 4 (30 enodes) 1548151047.338 * * [misc]simplify: iters left: 3 (33 enodes) 1548151047.346 * * [misc]simplify: iters left: 2 (36 enodes) 1548151047.355 * [exit]simplify: Simplified to (* (/ (cbrt (- 1 x)) (cbrt (+ x 1))) (/ (cbrt (- 1 x)) (cbrt (+ x 1)))) 1548151047.355 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (* (/ (cbrt (- 1 x)) (cbrt (+ x 1))) (/ (cbrt (- 1 x)) (cbrt (+ x 1)))) (/ (cbrt (- 1 x)) (cbrt (+ 1 x)))))))) 1548151047.355 * [enter]simplify: Simplifying (/ (cbrt (- 1 x)) (cbrt (+ 1 x))) 1548151047.356 * * [misc]simplify: iters left: 5 (7 enodes) 1548151047.358 * * [misc]simplify: iters left: 4 (12 enodes) 1548151047.361 * * [misc]simplify: iters left: 3 (13 enodes) 1548151047.364 * [exit]simplify: Simplified to (/ (cbrt (- 1 x)) (cbrt (+ x 1))) 1548151047.364 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (cbrt (- 1 x)) (cbrt (+ x 1)))))))) 1548151047.364 * * * * [misc]progress: [ 14 / 68 ] simplifiying candidate # 1548151047.364 * [enter]simplify: Simplifying (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ 1 x))) 1548151047.365 * * [misc]simplify: iters left: 6 (8 enodes) 1548151047.367 * * [misc]simplify: iters left: 5 (15 enodes) 1548151047.371 * * [misc]simplify: iters left: 4 (18 enodes) 1548151047.375 * * [misc]simplify: iters left: 3 (19 enodes) 1548151047.380 * [exit]simplify: Simplified to (* (/ (cbrt (- 1 x)) (sqrt (+ x 1))) (cbrt (- 1 x))) 1548151047.380 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (* (/ (cbrt (- 1 x)) (sqrt (+ x 1))) (cbrt (- 1 x))) (/ (cbrt (- 1 x)) (sqrt (+ 1 x)))))))) 1548151047.380 * [enter]simplify: Simplifying (/ (cbrt (- 1 x)) (sqrt (+ 1 x))) 1548151047.380 * * [misc]simplify: iters left: 5 (7 enodes) 1548151047.382 * * [misc]simplify: iters left: 4 (12 enodes) 1548151047.389 * * [misc]simplify: iters left: 3 (13 enodes) 1548151047.392 * [exit]simplify: Simplified to (/ (cbrt (- 1 x)) (sqrt (+ x 1))) 1548151047.392 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ 1 x))) (/ (cbrt (- 1 x)) (sqrt (+ x 1)))))))) 1548151047.392 * * * * [misc]progress: [ 15 / 68 ] simplifiying candidate # 1548151047.392 * [enter]simplify: Simplifying (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1) 1548151047.392 * * [misc]simplify: iters left: 6 (6 enodes) 1548151047.394 * * [misc]simplify: iters left: 5 (12 enodes) 1548151047.398 * * [misc]simplify: iters left: 4 (19 enodes) 1548151047.402 * * [misc]simplify: iters left: 3 (21 enodes) 1548151047.406 * * [misc]simplify: iters left: 2 (26 enodes) 1548151047.413 * [exit]simplify: Simplified to (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1548151047.413 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (* (cbrt (- 1 x)) (cbrt (- 1 x))) (/ (cbrt (- 1 x)) (+ 1 x))))))) 1548151047.413 * [enter]simplify: Simplifying (/ (cbrt (- 1 x)) (+ 1 x)) 1548151047.413 * * [misc]simplify: iters left: 5 (6 enodes) 1548151047.415 * * [misc]simplify: iters left: 4 (11 enodes) 1548151047.418 * * [misc]simplify: iters left: 3 (12 enodes) 1548151047.421 * [exit]simplify: Simplified to (/ (cbrt (- 1 x)) (+ x 1)) 1548151047.421 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (* (cbrt (- 1 x)) (cbrt (- 1 x))) (/ (cbrt (- 1 x)) (+ x 1))))))) 1548151047.421 * * * * [misc]progress: [ 16 / 68 ] simplifiying candidate # 1548151047.421 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1548151047.421 * * [misc]simplify: iters left: 6 (8 enodes) 1548151047.424 * * [misc]simplify: iters left: 5 (15 enodes) 1548151047.428 * * [misc]simplify: iters left: 4 (16 enodes) 1548151047.432 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (* (cbrt (+ x 1)) (cbrt (+ x 1)))) 1548151047.432 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (/ (sqrt (- 1 x)) (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (/ (sqrt (- 1 x)) (cbrt (+ 1 x)))))))) 1548151047.432 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (cbrt (+ 1 x))) 1548151047.432 * * [misc]simplify: iters left: 5 (7 enodes) 1548151047.434 * * [misc]simplify: iters left: 4 (12 enodes) 1548151047.437 * * [misc]simplify: iters left: 3 (13 enodes) 1548151047.441 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (cbrt (+ x 1))) 1548151047.441 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ (sqrt (- 1 x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (sqrt (- 1 x)) (cbrt (+ x 1)))))))) 1548151047.441 * * * * [misc]progress: [ 17 / 68 ] simplifiying candidate # 1548151047.441 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) 1548151047.441 * * [misc]simplify: iters left: 5 (7 enodes) 1548151047.443 * * [misc]simplify: iters left: 4 (12 enodes) 1548151047.446 * * [misc]simplify: iters left: 3 (13 enodes) 1548151047.449 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1))) 1548151047.449 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (/ (sqrt (- 1 x)) (sqrt (+ x 1))) (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))))))) 1548151047.449 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) 1548151047.449 * * [misc]simplify: iters left: 5 (7 enodes) 1548151047.450 * * [misc]simplify: iters left: 4 (12 enodes) 1548151047.452 * * [misc]simplify: iters left: 3 (13 enodes) 1548151047.453 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1))) 1548151047.453 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) (/ (sqrt (- 1 x)) (sqrt (+ x 1)))))))) 1548151047.453 * * * * [misc]progress: [ 18 / 68 ] simplifiying candidate # 1548151047.453 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) 1) 1548151047.454 * * [misc]simplify: iters left: 5 (5 enodes) 1548151047.454 * * [misc]simplify: iters left: 4 (9 enodes) 1548151047.456 * * [misc]simplify: iters left: 3 (12 enodes) 1548151047.457 * [exit]simplify: Simplified to (sqrt (- 1 x)) 1548151047.457 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (sqrt (- 1 x)) (/ (sqrt (- 1 x)) (+ 1 x))))))) 1548151047.457 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (+ 1 x)) 1548151047.457 * * [misc]simplify: iters left: 5 (6 enodes) 1548151047.458 * * [misc]simplify: iters left: 4 (11 enodes) 1548151047.460 * * [misc]simplify: iters left: 3 (12 enodes) 1548151047.461 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (+ x 1)) 1548151047.461 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (sqrt (- 1 x)) (/ (sqrt (- 1 x)) (+ x 1))))))) 1548151047.461 * * * * [misc]progress: [ 19 / 68 ] simplifiying candidate # 1548151047.461 * [enter]simplify: Simplifying (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1548151047.461 * * [misc]simplify: iters left: 6 (6 enodes) 1548151047.462 * * [misc]simplify: iters left: 5 (11 enodes) 1548151047.464 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1))) 1548151047.464 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1))) (/ (- 1 x) (cbrt (+ 1 x)))))))) 1548151047.464 * [enter]simplify: Simplifying (/ (- 1 x) (cbrt (+ 1 x))) 1548151047.464 * * [misc]simplify: iters left: 5 (6 enodes) 1548151047.465 * * [misc]simplify: iters left: 4 (14 enodes) 1548151047.467 * * [misc]simplify: iters left: 3 (17 enodes) 1548151047.469 * * [misc]simplify: iters left: 2 (19 enodes) 1548151047.471 * [exit]simplify: Simplified to (/ (- 1 x) (cbrt (+ x 1))) 1548151047.471 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (- 1 x) (cbrt (+ x 1)))))))) 1548151047.472 * * * * [misc]progress: [ 20 / 68 ] simplifiying candidate # 1548151047.472 * [enter]simplify: Simplifying (/ 1 (sqrt (+ 1 x))) 1548151047.472 * * [misc]simplify: iters left: 5 (5 enodes) 1548151047.472 * * [misc]simplify: iters left: 4 (8 enodes) 1548151047.473 * [exit]simplify: Simplified to (/ 1 (sqrt (+ x 1))) 1548151047.473 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (/ 1 (sqrt (+ x 1))) (/ (- 1 x) (sqrt (+ 1 x)))))))) 1548151047.474 * [enter]simplify: Simplifying (/ (- 1 x) (sqrt (+ 1 x))) 1548151047.474 * * [misc]simplify: iters left: 5 (6 enodes) 1548151047.475 * * [misc]simplify: iters left: 4 (14 enodes) 1548151047.476 * * [misc]simplify: iters left: 3 (17 enodes) 1548151047.478 * * [misc]simplify: iters left: 2 (19 enodes) 1548151047.481 * [exit]simplify: Simplified to (/ (- 1 x) (sqrt (+ x 1))) 1548151047.481 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ 1 (sqrt (+ 1 x))) (/ (- 1 x) (sqrt (+ x 1)))))))) 1548151047.481 * * * * [misc]progress: [ 21 / 68 ] simplifiying candidate # 1548151047.481 * [enter]simplify: Simplifying (/ 1 1) 1548151047.481 * * [misc]simplify: iters left: 2 (2 enodes) 1548151047.481 * * [misc]simplify: iters left: 1 (4 enodes) 1548151047.482 * [exit]simplify: Simplified to 1 1548151047.482 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* 1 (/ (- 1 x) (+ 1 x))))))) 1548151047.482 * [enter]simplify: Simplifying (/ (- 1 x) (+ 1 x)) 1548151047.482 * * [misc]simplify: iters left: 4 (5 enodes) 1548151047.483 * * [misc]simplify: iters left: 3 (13 enodes) 1548151047.484 * * [misc]simplify: iters left: 2 (16 enodes) 1548151047.486 * * [misc]simplify: iters left: 1 (18 enodes) 1548151047.488 * [exit]simplify: Simplified to (/ (- 1 x) (+ x 1)) 1548151047.488 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* 1 (/ (- 1 x) (+ x 1))))))) 1548151047.488 * * * * [misc]progress: [ 22 / 68 ] simplifiying candidate # 1548151047.489 * * * * [misc]progress: [ 23 / 68 ] simplifiying candidate # 1548151047.489 * * * * [misc]progress: [ 24 / 68 ] simplifiying candidate # 1548151047.489 * * * * [misc]progress: [ 25 / 68 ] simplifiying candidate # 1548151047.489 * [enter]simplify: Simplifying (cbrt (+ 1 x)) 1548151047.489 * * [misc]simplify: iters left: 3 (4 enodes) 1548151047.490 * * [misc]simplify: iters left: 2 (7 enodes) 1548151047.492 * [exit]simplify: Simplified to (cbrt (+ x 1)) 1548151047.492 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (/ (/ (- 1 x) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (cbrt (+ x 1))))))) 1548151047.492 * * * * [misc]progress: [ 26 / 68 ] simplifiying candidate # 1548151047.492 * [enter]simplify: Simplifying (sqrt (+ 1 x)) 1548151047.492 * * [misc]simplify: iters left: 3 (4 enodes) 1548151047.493 * * [misc]simplify: iters left: 2 (7 enodes) 1548151047.495 * [exit]simplify: Simplified to (sqrt (+ x 1)) 1548151047.495 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (/ (/ (- 1 x) (sqrt (+ 1 x))) (sqrt (+ x 1))))))) 1548151047.495 * * * * [misc]progress: [ 27 / 68 ] simplifiying candidate # 1548151047.495 * [enter]simplify: Simplifying (+ 1 x) 1548151047.495 * * [misc]simplify: iters left: 2 (3 enodes) 1548151047.497 * * [misc]simplify: iters left: 1 (6 enodes) 1548151047.499 * [exit]simplify: Simplified to (+ x 1) 1548151047.499 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (/ (/ (- 1 x) 1) (+ x 1)))))) 1548151047.499 * * * * [misc]progress: [ 28 / 68 ] simplifiying candidate # 1548151047.500 * [enter]simplify: Simplifying (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1548151047.500 * * [misc]simplify: iters left: 5 (5 enodes) 1548151047.501 * * [misc]simplify: iters left: 4 (9 enodes) 1548151047.504 * * [misc]simplify: iters left: 3 (10 enodes) 1548151047.506 * [exit]simplify: Simplified to (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1548151047.506 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (/ (+ 1 x) (cbrt (- 1 x)))))))) 1548151047.506 * * * * [misc]progress: [ 29 / 68 ] simplifiying candidate # 1548151047.507 * [enter]simplify: Simplifying (sqrt (- 1 x)) 1548151047.507 * * [misc]simplify: iters left: 3 (4 enodes) 1548151047.508 * * [misc]simplify: iters left: 2 (8 enodes) 1548151047.510 * * [misc]simplify: iters left: 1 (9 enodes) 1548151047.512 * [exit]simplify: Simplified to (sqrt (- 1 x)) 1548151047.512 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (/ (sqrt (- 1 x)) (/ (+ 1 x) (sqrt (- 1 x)))))))) 1548151047.512 * * * * [misc]progress: [ 30 / 68 ] simplifiying candidate # 1548151047.512 * * * * [misc]progress: [ 31 / 68 ] simplifiying candidate # 1548151047.513 * [enter]simplify: Simplifying (+ (* 1 1) (- (* x x) (* 1 x))) 1548151047.513 * * [misc]simplify: iters left: 6 (7 enodes) 1548151047.516 * * [misc]simplify: iters left: 5 (17 enodes) 1548151047.521 * * [misc]simplify: iters left: 4 (28 enodes) 1548151047.529 * * [misc]simplify: iters left: 3 (49 enodes) 1548151047.538 * * [misc]simplify: iters left: 2 (66 enodes) 1548151047.547 * * [misc]simplify: iters left: 1 (92 enodes) 1548151047.565 * [exit]simplify: Simplified to (fma x x (- 1 x)) 1548151047.565 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ (- 1 x) (+ (pow 1 3) (pow x 3))) (fma x x (- 1 x))))))) 1548151047.565 * * * * [misc]progress: [ 32 / 68 ] simplifiying candidate # 1548151047.566 * [enter]simplify: Simplifying (- 1 x) 1548151047.566 * * [misc]simplify: iters left: 2 (3 enodes) 1548151047.567 * * [misc]simplify: iters left: 1 (7 enodes) 1548151047.568 * [exit]simplify: Simplified to (- 1 x) 1548151047.568 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ (- 1 x) (- (* 1 1) (* x x))) (- 1 x)))))) 1548151047.568 * * * * [misc]progress: [ 33 / 68 ] simplifiying candidate # 1548151047.569 * [enter]simplify: Simplifying (- (pow 1 3) (pow x 3)) 1548151047.569 * * [misc]simplify: iters left: 3 (6 enodes) 1548151047.571 * * [misc]simplify: iters left: 2 (15 enodes) 1548151047.575 * * [misc]simplify: iters left: 1 (22 enodes) 1548151047.580 * [exit]simplify: Simplified to (fma (- x) (* x x) 1) 1548151047.580 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (/ (fma (- x) (* x x) 1) (* (+ 1 x) (+ (* 1 1) (+ (* x x) (* 1 x))))))))) 1548151047.580 * * * * [misc]progress: [ 34 / 68 ] simplifiying candidate # 1548151047.581 * [enter]simplify: Simplifying (- (* 1 1) (* x x)) 1548151047.581 * * [misc]simplify: iters left: 4 (5 enodes) 1548151047.583 * * [misc]simplify: iters left: 3 (10 enodes) 1548151047.585 * * [misc]simplify: iters left: 2 (14 enodes) 1548151047.588 * * [misc]simplify: iters left: 1 (16 enodes) 1548151047.591 * [exit]simplify: Simplified to (- 1 (* x x)) 1548151047.591 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (/ (- 1 (* x x)) (* (+ 1 x) (+ 1 x))))))) 1548151047.592 * * * * [misc]progress: [ 35 / 68 ] simplifiying candidate # 1548151047.592 * * * * [misc]progress: [ 36 / 68 ] simplifiying candidate # 1548151047.592 * * * * [misc]progress: [ 37 / 68 ] simplifiying candidate # 1548151047.592 * * * * [misc]progress: [ 38 / 68 ] simplifiying candidate # 1548151047.592 * * * * [misc]progress: [ 39 / 68 ] simplifiying candidate # 1548151047.592 * * * * [misc]progress: [ 40 / 68 ] simplifiying candidate # 1548151047.592 * * * * [misc]progress: [ 41 / 68 ] simplifiying candidate # 1548151047.592 * * * * [misc]progress: [ 42 / 68 ] simplifiying candidate # 1548151047.592 * * * * [misc]progress: [ 43 / 68 ] simplifiying candidate # 1548151047.592 * [enter]simplify: Simplifying (sqrt (* (cbrt (/ (- 1 x) (+ 1 x))) (cbrt (/ (- 1 x) (+ 1 x))))) 1548151047.592 * * [misc]simplify: iters left: 6 (8 enodes) 1548151047.595 * * [misc]simplify: iters left: 5 (17 enodes) 1548151047.600 * * [misc]simplify: iters left: 4 (20 enodes) 1548151047.605 * * [misc]simplify: iters left: 3 (22 enodes) 1548151047.610 * [exit]simplify: Simplified to (fabs (cbrt (/ (- 1 x) (+ x 1)))) 1548151047.610 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (fabs (cbrt (/ (- 1 x) (+ x 1)))) (sqrt (cbrt (/ (- 1 x) (+ 1 x)))))))) 1548151047.610 * * * * [misc]progress: [ 44 / 68 ] simplifiying candidate # 1548151047.610 * [enter]simplify: Simplifying (sqrt (sqrt (/ (- 1 x) (+ 1 x)))) 1548151047.610 * * [misc]simplify: iters left: 6 (7 enodes) 1548151047.613 * * [misc]simplify: iters left: 5 (15 enodes) 1548151047.618 * * [misc]simplify: iters left: 4 (18 enodes) 1548151047.622 * * [misc]simplify: iters left: 3 (20 enodes) 1548151047.627 * [exit]simplify: Simplified to (sqrt (sqrt (/ (- 1 x) (+ x 1)))) 1548151047.628 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (sqrt (/ (- 1 x) (+ x 1)))) (sqrt (sqrt (/ (- 1 x) (+ 1 x)))))))) 1548151047.628 * * * * [misc]progress: [ 45 / 68 ] simplifiying candidate # 1548151047.628 * [enter]simplify: Simplifying (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1548151047.628 * * [misc]simplify: iters left: 6 (10 enodes) 1548151047.631 * * [misc]simplify: iters left: 5 (21 enodes) 1548151047.637 * * [misc]simplify: iters left: 4 (32 enodes) 1548151047.645 * * [misc]simplify: iters left: 3 (35 enodes) 1548151047.654 * * [misc]simplify: iters left: 2 (38 enodes) 1548151047.663 * [exit]simplify: Simplified to (fabs (/ (cbrt (- 1 x)) (cbrt (+ x 1)))) 1548151047.663 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (fabs (/ (cbrt (- 1 x)) (cbrt (+ x 1)))) (sqrt (/ (cbrt (- 1 x)) (cbrt (+ 1 x)))))))) 1548151047.663 * * * * [misc]progress: [ 46 / 68 ] simplifiying candidate # 1548151047.664 * [enter]simplify: Simplifying (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ 1 x)))) 1548151047.664 * * [misc]simplify: iters left: 6 (9 enodes) 1548151047.667 * * [misc]simplify: iters left: 5 (16 enodes) 1548151047.671 * * [misc]simplify: iters left: 4 (19 enodes) 1548151047.676 * * [misc]simplify: iters left: 3 (20 enodes) 1548151047.681 * [exit]simplify: Simplified to (sqrt (* (cbrt (- 1 x)) (/ (cbrt (- 1 x)) (sqrt (+ x 1))))) 1548151047.681 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (* (cbrt (- 1 x)) (/ (cbrt (- 1 x)) (sqrt (+ x 1))))) (sqrt (/ (cbrt (- 1 x)) (sqrt (+ 1 x)))))))) 1548151047.681 * * * * [misc]progress: [ 47 / 68 ] simplifiying candidate # 1548151047.682 * [enter]simplify: Simplifying (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1)) 1548151047.682 * * [misc]simplify: iters left: 6 (7 enodes) 1548151047.684 * * [misc]simplify: iters left: 5 (13 enodes) 1548151047.688 * * [misc]simplify: iters left: 4 (21 enodes) 1548151047.693 * * [misc]simplify: iters left: 3 (23 enodes) 1548151047.697 * * [misc]simplify: iters left: 2 (28 enodes) 1548151047.704 * [exit]simplify: Simplified to (fabs (cbrt (- 1 x))) 1548151047.704 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (fabs (cbrt (- 1 x))) (sqrt (/ (cbrt (- 1 x)) (+ 1 x))))))) 1548151047.704 * * * * [misc]progress: [ 48 / 68 ] simplifiying candidate # 1548151047.705 * [enter]simplify: Simplifying (sqrt (/ (sqrt (- 1 x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1548151047.705 * * [misc]simplify: iters left: 6 (9 enodes) 1548151047.708 * * [misc]simplify: iters left: 5 (16 enodes) 1548151047.712 * * [misc]simplify: iters left: 4 (17 enodes) 1548151047.717 * [exit]simplify: Simplified to (sqrt (/ (sqrt (- 1 x)) (* (cbrt (+ x 1)) (cbrt (+ x 1))))) 1548151047.717 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ (sqrt (- 1 x)) (* (cbrt (+ x 1)) (cbrt (+ x 1))))) (sqrt (/ (sqrt (- 1 x)) (cbrt (+ 1 x)))))))) 1548151047.717 * * * * [misc]progress: [ 49 / 68 ] simplifiying candidate # 1548151047.718 * [enter]simplify: Simplifying (sqrt (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))) 1548151047.718 * * [misc]simplify: iters left: 6 (8 enodes) 1548151047.720 * * [misc]simplify: iters left: 5 (13 enodes) 1548151047.724 * * [misc]simplify: iters left: 4 (14 enodes) 1548151047.728 * [exit]simplify: Simplified to (sqrt (/ (sqrt (- 1 x)) (sqrt (+ x 1)))) 1548151047.728 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ (sqrt (- 1 x)) (sqrt (+ x 1)))) (sqrt (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))))))) 1548151047.728 * * * * [misc]progress: [ 50 / 68 ] simplifiying candidate # 1548151047.728 * [enter]simplify: Simplifying (sqrt (/ (sqrt (- 1 x)) 1)) 1548151047.728 * * [misc]simplify: iters left: 6 (6 enodes) 1548151047.729 * * [misc]simplify: iters left: 5 (10 enodes) 1548151047.731 * * [misc]simplify: iters left: 4 (13 enodes) 1548151047.733 * [exit]simplify: Simplified to (sqrt (sqrt (- 1 x))) 1548151047.733 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (sqrt (- 1 x))) (sqrt (/ (sqrt (- 1 x)) (+ 1 x))))))) 1548151047.733 * * * * [misc]progress: [ 51 / 68 ] simplifiying candidate # 1548151047.733 * [enter]simplify: Simplifying (sqrt (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1548151047.733 * * [misc]simplify: iters left: 6 (7 enodes) 1548151047.734 * * [misc]simplify: iters left: 5 (12 enodes) 1548151047.736 * [exit]simplify: Simplified to (sqrt (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1)))) 1548151047.736 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1)))) (sqrt (/ (- 1 x) (cbrt (+ 1 x)))))))) 1548151047.736 * * * * [misc]progress: [ 52 / 68 ] simplifiying candidate # 1548151047.736 * [enter]simplify: Simplifying (sqrt (/ 1 (sqrt (+ 1 x)))) 1548151047.736 * * [misc]simplify: iters left: 6 (6 enodes) 1548151047.737 * * [misc]simplify: iters left: 5 (9 enodes) 1548151047.738 * [exit]simplify: Simplified to (sqrt (/ 1 (sqrt (+ x 1)))) 1548151047.738 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ 1 (sqrt (+ x 1)))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))))) 1548151047.738 * * * * [misc]progress: [ 53 / 68 ] simplifiying candidate # 1548151047.738 * [enter]simplify: Simplifying (sqrt (/ 1 1)) 1548151047.738 * * [misc]simplify: iters left: 3 (3 enodes) 1548151047.739 * * [misc]simplify: iters left: 2 (5 enodes) 1548151047.740 * [exit]simplify: Simplified to 1 1548151047.740 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* 1 (sqrt (/ (- 1 x) (+ 1 x))))))) 1548151047.740 * * * * [misc]progress: [ 54 / 68 ] simplifiying candidate # 1548151047.740 * [enter]simplify: Simplifying (sqrt 1) 1548151047.740 * * [misc]simplify: iters left: 1 (2 enodes) 1548151047.741 * [exit]simplify: Simplified to 1 1548151047.741 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* 1 (sqrt (/ (- 1 x) (+ 1 x))))))) 1548151047.741 * * * * [misc]progress: [ 55 / 68 ] simplifiying candidate # 1548151047.741 * [enter]simplify: Simplifying (sqrt (- 1 x)) 1548151047.741 * * [misc]simplify: iters left: 3 (4 enodes) 1548151047.742 * * [misc]simplify: iters left: 2 (8 enodes) 1548151047.743 * * [misc]simplify: iters left: 1 (9 enodes) 1548151047.744 * [exit]simplify: Simplified to (sqrt (- 1 x)) 1548151047.744 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (- 1 x)) (sqrt (/ 1 (+ 1 x))))))) 1548151047.744 * * * * [misc]progress: [ 56 / 68 ] simplifiying candidate # 1548151047.744 * [enter]simplify: Simplifying (sqrt (/ (- 1 x) (+ (pow 1 3) (pow x 3)))) 1548151047.744 * * [misc]simplify: iters left: 6 (9 enodes) 1548151047.746 * * [misc]simplify: iters left: 5 (22 enodes) 1548151047.749 * * [misc]simplify: iters left: 4 (27 enodes) 1548151047.753 * * [misc]simplify: iters left: 3 (29 enodes) 1548151047.756 * [exit]simplify: Simplified to (sqrt (/ (- 1 x) (fma (* x x) x 1))) 1548151047.756 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ (- 1 x) (fma (* x x) x 1))) (sqrt (+ (* 1 1) (- (* x x) (* 1 x)))))))) 1548151047.756 * * * * [misc]progress: [ 57 / 68 ] simplifiying candidate # 1548151047.756 * [enter]simplify: Simplifying (sqrt (/ (- 1 x) (- (* 1 1) (* x x)))) 1548151047.756 * * [misc]simplify: iters left: 6 (8 enodes) 1548151047.758 * * [misc]simplify: iters left: 5 (18 enodes) 1548151047.760 * * [misc]simplify: iters left: 4 (24 enodes) 1548151047.766 * * [misc]simplify: iters left: 3 (28 enodes) 1548151047.772 * [exit]simplify: Simplified to (sqrt (/ (- 1 x) (- 1 (* x x)))) 1548151047.772 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ (- 1 x) (- 1 (* x x)))) (sqrt (- 1 x)))))) 1548151047.773 * * * * [misc]progress: [ 58 / 68 ] simplifiying candidate # 1548151047.773 * [enter]simplify: Simplifying (sqrt (- 1 x)) 1548151047.773 * * [misc]simplify: iters left: 3 (4 enodes) 1548151047.774 * * [misc]simplify: iters left: 2 (8 enodes) 1548151047.775 * * [misc]simplify: iters left: 1 (9 enodes) 1548151047.776 * [exit]simplify: Simplified to (sqrt (- 1 x)) 1548151047.776 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))))) 1548151047.776 * * * * [misc]progress: [ 59 / 68 ] simplifiying candidate # 1548151047.776 * * * * [misc]progress: [ 60 / 68 ] simplifiying candidate # 1548151047.776 * [enter]simplify: Simplifying (sqrt (/ (- 1 x) (+ 1 x))) 1548151047.776 * * [misc]simplify: iters left: 5 (6 enodes) 1548151047.777 * * [misc]simplify: iters left: 4 (14 enodes) 1548151047.779 * * [misc]simplify: iters left: 3 (17 enodes) 1548151047.781 * * [misc]simplify: iters left: 2 (19 enodes) 1548151047.784 * [exit]simplify: Simplified to (sqrt (/ (- 1 x) (+ x 1))) 1548151047.784 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (fabs (sqrt (/ (- 1 x) (+ x 1))))))) 1548151047.784 * * * * [misc]progress: [ 61 / 68 ] simplifiying candidate # 1548151047.784 * [enter]simplify: Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) 1548151047.784 * * [misc]simplify: iters left: 5 (7 enodes) 1548151047.785 * * [misc]simplify: iters left: 4 (12 enodes) 1548151047.786 * * [misc]simplify: iters left: 3 (13 enodes) 1548151047.788 * [exit]simplify: Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1))) 1548151047.788 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (fabs (/ (sqrt (- 1 x)) (sqrt (+ x 1))))))) 1548151047.788 * * * * [misc]progress: [ 62 / 68 ] simplifiying candidate # 1548151047.788 * * * * [misc]progress: [ 63 / 68 ] simplifiying candidate # 1548151047.789 * [enter]simplify: Simplifying (- (+ (* 2 (pow x 2)) 1) (* 2 x)) 1548151047.789 * * [misc]simplify: iters left: 6 (8 enodes) 1548151047.790 * * [misc]simplify: iters left: 5 (19 enodes) 1548151047.793 * * [misc]simplify: iters left: 4 (39 enodes) 1548151047.802 * * [misc]simplify: iters left: 3 (62 enodes) 1548151047.820 * * [misc]simplify: iters left: 2 (92 enodes) 1548151047.841 * * [misc]simplify: iters left: 1 (111 enodes) 1548151047.875 * [exit]simplify: Simplified to (fma (fma x 2 -2) x 1) 1548151047.875 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (sqrt (fma (fma x 2 -2) x 1))))) 1548151047.875 * * * * [misc]progress: [ 64 / 68 ] simplifiying candidate # 1548151047.875 * [enter]simplify: Simplifying (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1)) 1548151047.875 * * [misc]simplify: iters left: 6 (10 enodes) 1548151047.880 * * [misc]simplify: iters left: 5 (25 enodes) 1548151047.890 * * [misc]simplify: iters left: 4 (44 enodes) 1548151047.911 * * [misc]simplify: iters left: 3 (91 enodes) 1548151047.940 * * [misc]simplify: iters left: 2 (158 enodes) 1548151047.977 * * [misc]simplify: iters left: 1 (216 enodes) 1548151048.046 * [exit]simplify: Simplified to (- (- (/ 2 x) 1) (/ 2 (* x x))) 1548151048.046 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (sqrt (- (- (/ 2 x) 1) (/ 2 (* x x))))))) 1548151048.046 * * * * [misc]progress: [ 65 / 68 ] simplifiying candidate # 1548151048.046 * [enter]simplify: Simplifying (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1)) 1548151048.046 * * [misc]simplify: iters left: 6 (10 enodes) 1548151048.051 * * [misc]simplify: iters left: 5 (25 enodes) 1548151048.061 * * [misc]simplify: iters left: 4 (44 enodes) 1548151048.083 * * [misc]simplify: iters left: 3 (91 enodes) 1548151048.113 * * [misc]simplify: iters left: 2 (158 enodes) 1548151048.144 * * [misc]simplify: iters left: 1 (216 enodes) 1548151048.217 * [exit]simplify: Simplified to (- (- (/ 2 x) 1) (/ 2 (* x x))) 1548151048.217 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (sqrt (- (- (/ 2 x) 1) (/ 2 (* x x))))))) 1548151048.217 * * * * [misc]progress: [ 66 / 68 ] simplifiying candidate # 1548151048.218 * [enter]simplify: Simplifying (- (+ (* 1/2 (pow x 2)) 1) x) 1548151048.218 * * [misc]simplify: iters left: 6 (8 enodes) 1548151048.221 * * [misc]simplify: iters left: 5 (18 enodes) 1548151048.226 * * [misc]simplify: iters left: 4 (33 enodes) 1548151048.236 * * [misc]simplify: iters left: 3 (47 enodes) 1548151048.247 * * [misc]simplify: iters left: 2 (49 enodes) 1548151048.257 * * [misc]simplify: iters left: 1 (63 enodes) 1548151048.274 * [exit]simplify: Simplified to (fma (* 1/2 x) x (- 1 x)) 1548151048.275 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* 2 (atan (fma (* 1/2 x) x (- 1 x))))) 1548151048.275 * * * * [misc]progress: [ 67 / 68 ] simplifiying candidate # 1548151048.275 * [enter]simplify: Simplifying (- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (+ (/ 1 (* (pow x 2) (sqrt -1))) (* 1/2 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))))) 1548151048.275 * * [misc]simplify: iters left: 6 (19 enodes) 1548151048.280 * * [misc]simplify: iters left: 5 (44 enodes) 1548151048.289 * * [misc]simplify: iters left: 4 (89 enodes) 1548151048.307 * * [misc]simplify: iters left: 3 (182 enodes) 1548151048.411 * * [misc]simplify: iters left: 2 (368 enodes) 1548151049.699 * [exit]simplify: Simplified to (+ (+ (sqrt -1) (/ (/ 1 x) (sqrt -1))) (/ (/ -1/2 (* x x)) (sqrt -1))) 1548151049.699 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* 2 (atan (+ (+ (sqrt -1) (/ (/ 1 x) (sqrt -1))) (/ (/ -1/2 (* x x)) (sqrt -1)))))) 1548151049.699 * * * * [misc]progress: [ 68 / 68 ] simplifiying candidate # 1548151049.699 * [enter]simplify: Simplifying (- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (+ (/ 1 (* (pow x 2) (sqrt -1))) (* 1/2 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))))) 1548151049.699 * * [misc]simplify: iters left: 6 (19 enodes) 1548151049.703 * * [misc]simplify: iters left: 5 (44 enodes) 1548151049.711 * * [misc]simplify: iters left: 4 (89 enodes) 1548151049.729 * * [misc]simplify: iters left: 3 (182 enodes) 1548151049.838 * * [misc]simplify: iters left: 2 (368 enodes) 1548151051.213 * [exit]simplify: Simplified to (+ (+ (sqrt -1) (/ (/ 1 x) (sqrt -1))) (/ (/ -1/2 (* x x)) (sqrt -1))) 1548151051.213 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* 2 (atan (+ (+ (sqrt -1) (/ (/ 1 x) (sqrt -1))) (/ (/ -1/2 (* x x)) (sqrt -1)))))) 1548151051.214 * * * [misc]progress: adding candidates to table 1548151051.812 * [misc]progress: [Phase 3 of 3] Extracting. 1548151051.816 * [enter]simplify: Simplifying (* 2 (atan (sqrt (/ (- 1 x) (+ 1 x))))) 1548151051.816 * * [misc]simplify: iters left: 6 (9 enodes) 1548151051.817 * * [misc]simplify: iters left: 5 (13 enodes) 1548151051.818 * [exit]simplify: Simplified to (* (atan (sqrt (/ (- 1 x) (+ 1 x)))) 2) 1548151054.325 * [misc]regime-testing: Baseline error score: 0.012876609576197025 1548151054.326 * [misc]regime-testing: Oracle error score: 0.012876609576197025 1548151054.327 * [misc]regime-testing: End program error score: 0.012876609576197025