1545558617.806 * [misc]progress: [Phase 1 of 3] Setting up. 1545558617.806 * * * [misc]progress: [1/2] Preparing points 1545558617.806 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1545558617.848 * * * * [misc]points: Filtering points with unrepresentable outputs 1545558617.849 * * * * [exit]points: Sampled 256 points with exact outputs 1545558617.849 * * * [misc]progress: [2/2] Setting up program. 1545558617.852 * [misc]progress: [Phase 2 of 3] Improving. 1545558617.852 * [enter]simplify: Simplifying (- (atan (+ N 1)) (atan N)) 1545558617.852 * * [misc]simplify: iters left: 5 (6 enodes) 1545558617.854 * * [misc]simplify: iters left: 4 (11 enodes) 1545558617.857 * * [misc]simplify: iters left: 3 (12 enodes) 1545558617.860 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1545558617.872 * * [misc]progress: iteration 1 / 4 1545558617.872 * * * [misc]progress: picking best candidate 1545558617.877 * * * * [misc]pick: Picked # 1545558617.877 * * * [misc]progress: localizing error 1545558617.891 * * * [misc]progress: generating rewritten candidates 1545558617.891 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1545558617.896 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1545558617.896 * * * [misc]progress: generating series expansions 1545558617.896 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1545558617.896 * [misc]backup-simplify: Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N)) 1545558617.897 * [misc]approximate: Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in (N) around 0 1545558617.897 * [misc]taylor: Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in N 1545558617.897 * [misc]taylor: Taking taylor expansion of (atan (+ N 1)) in N 1545558617.897 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1545558617.897 * [misc]taylor: Taking taylor expansion of (atan N) in N 1545558617.897 * [misc]backup-simplify: Simplify (atan N) into (atan N) 1545558617.897 * [misc]taylor: Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in N 1545558617.897 * [misc]taylor: Taking taylor expansion of (atan (+ N 1)) in N 1545558617.897 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1545558617.897 * [misc]taylor: Taking taylor expansion of (atan N) in N 1545558617.897 * [misc]backup-simplify: Simplify (atan N) into (atan N) 1545558617.897 * [misc]backup-simplify: Simplify (- (atan N)) into (- (atan N)) 1545558617.897 * [misc]backup-simplify: Simplify (+ (atan (+ N 1)) (- (atan N))) into (- (atan (+ N 1)) (atan N)) 1545558617.897 * [misc]backup-simplify: Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N)) 1545558617.897 * [misc]backup-simplify: Simplify (- 0) into 0 1545558617.897 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545558617.897 * [misc]backup-simplify: Simplify 0 into 0 1545558617.898 * [misc]backup-simplify: Simplify (- 0) into 0 1545558617.898 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545558617.898 * [misc]backup-simplify: Simplify 0 into 0 1545558617.898 * [misc]backup-simplify: Simplify (- 0) into 0 1545558617.898 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545558617.898 * [misc]backup-simplify: Simplify 0 into 0 1545558617.898 * [misc]backup-simplify: Simplify (- 0) into 0 1545558617.898 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545558617.898 * [misc]backup-simplify: Simplify 0 into 0 1545558617.898 * [misc]backup-simplify: Simplify (- 0) into 0 1545558617.898 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545558617.898 * [misc]backup-simplify: Simplify 0 into 0 1545558617.899 * [misc]backup-simplify: Simplify (- 0) into 0 1545558617.899 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545558617.899 * [misc]backup-simplify: Simplify 0 into 0 1545558617.899 * [misc]backup-simplify: Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N)) 1545558617.899 * [misc]backup-simplify: Simplify (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) 1545558617.899 * [misc]approximate: Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in (N) around 0 1545558617.899 * [misc]taylor: Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in N 1545558617.899 * [misc]taylor: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N 1545558617.899 * [misc]backup-simplify: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1545558617.899 * [misc]taylor: Taking taylor expansion of (atan (/ 1 N)) in N 1545558617.899 * [misc]backup-simplify: Simplify (atan (/ 1 N)) into (atan (/ 1 N)) 1545558617.899 * [misc]taylor: Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in N 1545558617.899 * [misc]taylor: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N 1545558617.899 * [misc]backup-simplify: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1545558617.899 * [misc]taylor: Taking taylor expansion of (atan (/ 1 N)) in N 1545558617.899 * [misc]backup-simplify: Simplify (atan (/ 1 N)) into (atan (/ 1 N)) 1545558617.899 * [misc]backup-simplify: Simplify (- (atan (/ 1 N))) into (- (atan (/ 1 N))) 1545558617.899 * [misc]backup-simplify: Simplify (+ (atan (+ (/ 1 N) 1)) (- (atan (/ 1 N)))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) 1545558617.900 * [misc]backup-simplify: Simplify (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) 1545558617.900 * [misc]backup-simplify: Simplify (- 0) into 0 1545558617.900 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545558617.900 * [misc]backup-simplify: Simplify 0 into 0 1545558617.900 * [misc]backup-simplify: Simplify (- 0) into 0 1545558617.900 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545558617.900 * [misc]backup-simplify: Simplify 0 into 0 1545558617.900 * [misc]backup-simplify: Simplify (- 0) into 0 1545558617.900 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545558617.900 * [misc]backup-simplify: Simplify 0 into 0 1545558617.900 * [misc]backup-simplify: Simplify (- 0) into 0 1545558617.900 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545558617.900 * [misc]backup-simplify: Simplify 0 into 0 1545558617.901 * [misc]backup-simplify: Simplify (- 0) into 0 1545558617.901 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545558617.901 * [misc]backup-simplify: Simplify 0 into 0 1545558617.901 * [misc]backup-simplify: Simplify (- 0) into 0 1545558617.901 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545558617.901 * [misc]backup-simplify: Simplify 0 into 0 1545558617.901 * [misc]backup-simplify: Simplify (- (atan (+ (/ 1 (/ 1 N)) 1)) (atan (/ 1 (/ 1 N)))) into (- (atan (+ N 1)) (atan N)) 1545558617.901 * [misc]backup-simplify: Simplify (- (atan (+ (/ 1 (- N)) 1)) (atan (/ 1 (- N)))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) 1545558617.901 * [misc]approximate: Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in (N) around 0 1545558617.901 * [misc]taylor: Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in N 1545558617.901 * [misc]taylor: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N 1545558617.901 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1545558617.901 * [misc]taylor: Taking taylor expansion of (atan (/ -1 N)) in N 1545558617.901 * [misc]backup-simplify: Simplify (atan (/ -1 N)) into (atan (/ -1 N)) 1545558617.901 * [misc]taylor: Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in N 1545558617.901 * [misc]taylor: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N 1545558617.901 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1545558617.901 * [misc]taylor: Taking taylor expansion of (atan (/ -1 N)) in N 1545558617.901 * [misc]backup-simplify: Simplify (atan (/ -1 N)) into (atan (/ -1 N)) 1545558617.902 * [misc]backup-simplify: Simplify (- (atan (/ -1 N))) into (- (atan (/ -1 N))) 1545558617.902 * [misc]backup-simplify: Simplify (+ (atan (- 1 (/ 1 N))) (- (atan (/ -1 N)))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) 1545558617.902 * [misc]backup-simplify: Simplify (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) 1545558617.902 * [misc]backup-simplify: Simplify (- 0) into 0 1545558617.902 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545558617.902 * [misc]backup-simplify: Simplify 0 into 0 1545558617.902 * [misc]backup-simplify: Simplify (- 0) into 0 1545558617.902 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545558617.902 * [misc]backup-simplify: Simplify 0 into 0 1545558617.902 * [misc]backup-simplify: Simplify (- 0) into 0 1545558617.902 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545558617.902 * [misc]backup-simplify: Simplify 0 into 0 1545558617.903 * [misc]backup-simplify: Simplify (- 0) into 0 1545558617.903 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545558617.903 * [misc]backup-simplify: Simplify 0 into 0 1545558617.903 * [misc]backup-simplify: Simplify (- 0) into 0 1545558617.903 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545558617.903 * [misc]backup-simplify: Simplify 0 into 0 1545558617.903 * [misc]backup-simplify: Simplify (- 0) into 0 1545558617.903 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545558617.903 * [misc]backup-simplify: Simplify 0 into 0 1545558617.903 * [misc]backup-simplify: Simplify (- (atan (- 1 (/ 1 (/ 1 (- N))))) (atan (/ -1 (/ 1 (- N))))) into (- (atan (+ N 1)) (atan N)) 1545558617.903 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1545558617.903 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1545558617.903 * [misc]approximate: Taking taylor expansion of (atan (+ N 1)) in (N) around 0 1545558617.903 * [misc]taylor: Taking taylor expansion of (atan (+ N 1)) in N 1545558617.904 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1545558617.904 * [misc]taylor: Taking taylor expansion of (atan (+ N 1)) in N 1545558617.904 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1545558617.904 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1545558617.904 * [misc]backup-simplify: Simplify 0 into 0 1545558617.904 * [misc]backup-simplify: Simplify 0 into 0 1545558617.904 * [misc]backup-simplify: Simplify 0 into 0 1545558617.904 * [misc]backup-simplify: Simplify 0 into 0 1545558617.904 * [misc]backup-simplify: Simplify 0 into 0 1545558617.904 * [misc]backup-simplify: Simplify 0 into 0 1545558617.904 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1545558617.904 * [misc]backup-simplify: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1545558617.904 * [misc]approximate: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in (N) around 0 1545558617.904 * [misc]taylor: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N 1545558617.904 * [misc]backup-simplify: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1545558617.904 * [misc]taylor: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N 1545558617.904 * [misc]backup-simplify: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1545558617.904 * [misc]backup-simplify: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1545558617.904 * [misc]backup-simplify: Simplify 0 into 0 1545558617.904 * [misc]backup-simplify: Simplify 0 into 0 1545558617.904 * [misc]backup-simplify: Simplify 0 into 0 1545558617.904 * [misc]backup-simplify: Simplify 0 into 0 1545558617.904 * [misc]backup-simplify: Simplify 0 into 0 1545558617.904 * [misc]backup-simplify: Simplify 0 into 0 1545558617.904 * [misc]backup-simplify: Simplify (atan (+ (/ 1 (/ 1 N)) 1)) into (atan (+ N 1)) 1545558617.904 * [misc]backup-simplify: Simplify (atan (+ (/ 1 (- N)) 1)) into (atan (- 1 (/ 1 N))) 1545558617.904 * [misc]approximate: Taking taylor expansion of (atan (- 1 (/ 1 N))) in (N) around 0 1545558617.904 * [misc]taylor: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N 1545558617.905 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1545558617.905 * [misc]taylor: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N 1545558617.905 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1545558617.905 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1545558617.905 * [misc]backup-simplify: Simplify 0 into 0 1545558617.905 * [misc]backup-simplify: Simplify 0 into 0 1545558617.905 * [misc]backup-simplify: Simplify 0 into 0 1545558617.905 * [misc]backup-simplify: Simplify 0 into 0 1545558617.905 * [misc]backup-simplify: Simplify 0 into 0 1545558617.905 * [misc]backup-simplify: Simplify 0 into 0 1545558617.905 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 (/ 1 (- N))))) into (atan (+ N 1)) 1545558617.905 * * * [misc]progress: simplifying candidates 1545558617.905 * * * * [misc]progress: [ 1 / 44 ] simplifiying candidate # 1545558617.905 * [enter]simplify: Simplifying (fma (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1))) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))) 1545558617.905 * * [misc]simplify: iters left: 6 (12 enodes) 1545558617.907 * * [misc]simplify: iters left: 5 (24 enodes) 1545558617.911 * * [misc]simplify: iters left: 4 (31 enodes) 1545558617.916 * * [misc]simplify: iters left: 3 (37 enodes) 1545558617.939 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1545558617.939 * [misc]simplify: Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))))) 1545558617.940 * [enter]simplify: Simplifying (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))) 1545558617.940 * * [misc]simplify: iters left: 6 (7 enodes) 1545558617.942 * * [misc]simplify: iters left: 5 (12 enodes) 1545558617.946 * * [misc]simplify: iters left: 4 (19 enodes) 1545558617.950 * * [misc]simplify: iters left: 3 (38 enodes) 1545558617.955 * * [misc]simplify: iters left: 2 (46 enodes) 1545558617.959 * [exit]simplify: Simplified to 0 1545558617.959 * [misc]simplify: Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) 0)) 1545558617.959 * * * * [misc]progress: [ 2 / 44 ] simplifiying candidate # 1545558617.959 * [enter]simplify: Simplifying (fma (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1))) (- (* (sqrt (atan N)) (sqrt (atan N))))) 1545558617.959 * * [misc]simplify: iters left: 6 (11 enodes) 1545558617.961 * * [misc]simplify: iters left: 5 (19 enodes) 1545558617.964 * * [misc]simplify: iters left: 4 (23 enodes) 1545558617.967 * * [misc]simplify: iters left: 3 (28 enodes) 1545558617.970 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1545558617.970 * [misc]simplify: Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))))) 1545558617.970 * [enter]simplify: Simplifying (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))) 1545558617.970 * * [misc]simplify: iters left: 5 (6 enodes) 1545558617.971 * * [misc]simplify: iters left: 4 (8 enodes) 1545558617.973 * * [misc]simplify: iters left: 3 (14 enodes) 1545558617.975 * * [misc]simplify: iters left: 2 (20 enodes) 1545558617.977 * * [misc]simplify: iters left: 1 (22 enodes) 1545558617.979 * [exit]simplify: Simplified to 0 1545558617.979 * [misc]simplify: Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) 0)) 1545558617.979 * * * * [misc]progress: [ 3 / 44 ] simplifiying candidate # 1545558617.979 * [enter]simplify: Simplifying (fma (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1))) (- (* (atan N) 1))) 1545558617.979 * * [misc]simplify: iters left: 6 (10 enodes) 1545558617.981 * * [misc]simplify: iters left: 5 (21 enodes) 1545558617.985 * * [misc]simplify: iters left: 4 (28 enodes) 1545558617.990 * * [misc]simplify: iters left: 3 (39 enodes) 1545558617.994 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1545558617.994 * [misc]simplify: Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (atan N)) 1 (* (atan N) 1)))) 1545558617.994 * [enter]simplify: Simplifying (fma (- (atan N)) 1 (* (atan N) 1)) 1545558617.994 * * [misc]simplify: iters left: 4 (6 enodes) 1545558617.996 * * [misc]simplify: iters left: 3 (11 enodes) 1545558617.998 * * [misc]simplify: iters left: 2 (21 enodes) 1545558618.003 * * [misc]simplify: iters left: 1 (30 enodes) 1545558618.008 * [exit]simplify: Simplified to (fma -1 (atan N) (atan N)) 1545558618.008 * [misc]simplify: Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma -1 (atan N) (atan N)))) 1545558618.008 * * * * [misc]progress: [ 4 / 44 ] simplifiying candidate # 1545558618.009 * [enter]simplify: Simplifying (fma (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1))) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))) 1545558618.009 * * [misc]simplify: iters left: 6 (11 enodes) 1545558618.013 * * [misc]simplify: iters left: 5 (23 enodes) 1545558618.019 * * [misc]simplify: iters left: 4 (29 enodes) 1545558618.027 * * [misc]simplify: iters left: 3 (34 enodes) 1545558618.031 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1545558618.031 * [misc]simplify: Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))))) 1545558618.031 * [enter]simplify: Simplifying (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))) 1545558618.031 * * [misc]simplify: iters left: 6 (7 enodes) 1545558618.033 * * [misc]simplify: iters left: 5 (12 enodes) 1545558618.035 * * [misc]simplify: iters left: 4 (19 enodes) 1545558618.040 * * [misc]simplify: iters left: 3 (38 enodes) 1545558618.046 * * [misc]simplify: iters left: 2 (46 enodes) 1545558618.049 * [exit]simplify: Simplified to 0 1545558618.049 * [misc]simplify: Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) 0)) 1545558618.049 * * * * [misc]progress: [ 5 / 44 ] simplifiying candidate # 1545558618.050 * [enter]simplify: Simplifying (fma (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1))) (- (* (sqrt (atan N)) (sqrt (atan N))))) 1545558618.050 * * [misc]simplify: iters left: 6 (10 enodes) 1545558618.052 * * [misc]simplify: iters left: 5 (18 enodes) 1545558618.054 * * [misc]simplify: iters left: 4 (21 enodes) 1545558618.060 * * [misc]simplify: iters left: 3 (27 enodes) 1545558618.067 * * [misc]simplify: iters left: 2 (30 enodes) 1545558618.076 * * [misc]simplify: iters left: 1 (45 enodes) 1545558618.091 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1545558618.091 * [misc]simplify: Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))))) 1545558618.091 * [enter]simplify: Simplifying (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))) 1545558618.091 * * [misc]simplify: iters left: 5 (6 enodes) 1545558618.093 * * [misc]simplify: iters left: 4 (8 enodes) 1545558618.096 * * [misc]simplify: iters left: 3 (14 enodes) 1545558618.100 * * [misc]simplify: iters left: 2 (20 enodes) 1545558618.104 * * [misc]simplify: iters left: 1 (22 enodes) 1545558618.108 * [exit]simplify: Simplified to 0 1545558618.108 * [misc]simplify: Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) 0)) 1545558618.108 * * * * [misc]progress: [ 6 / 44 ] simplifiying candidate # 1545558618.108 * [enter]simplify: Simplifying (fma (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1))) (- (* (atan N) 1))) 1545558618.108 * * [misc]simplify: iters left: 6 (9 enodes) 1545558618.112 * * [misc]simplify: iters left: 5 (20 enodes) 1545558618.118 * * [misc]simplify: iters left: 4 (26 enodes) 1545558618.127 * * [misc]simplify: iters left: 3 (35 enodes) 1545558618.134 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1545558618.134 * [misc]simplify: Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (atan N)) 1 (* (atan N) 1)))) 1545558618.134 * [enter]simplify: Simplifying (fma (- (atan N)) 1 (* (atan N) 1)) 1545558618.134 * * [misc]simplify: iters left: 4 (6 enodes) 1545558618.136 * * [misc]simplify: iters left: 3 (11 enodes) 1545558618.141 * * [misc]simplify: iters left: 2 (21 enodes) 1545558618.146 * * [misc]simplify: iters left: 1 (30 enodes) 1545558618.152 * [exit]simplify: Simplified to (fma -1 (atan N) (atan N)) 1545558618.152 * [misc]simplify: Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma -1 (atan N) (atan N)))) 1545558618.152 * * * * [misc]progress: [ 7 / 44 ] simplifiying candidate # 1545558618.153 * [enter]simplify: Simplifying (fma 1 (atan (+ N 1)) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))) 1545558618.153 * * [misc]simplify: iters left: 6 (10 enodes) 1545558618.156 * * [misc]simplify: iters left: 5 (22 enodes) 1545558618.162 * * [misc]simplify: iters left: 4 (29 enodes) 1545558618.171 * * [misc]simplify: iters left: 3 (38 enodes) 1545558618.181 * [exit]simplify: Simplified to (- (atan (+ N 1)) (atan N)) 1545558618.181 * [misc]simplify: Simplified (2 1) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))))) 1545558618.181 * [enter]simplify: Simplifying (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))) 1545558618.181 * * [misc]simplify: iters left: 6 (7 enodes) 1545558618.183 * * [misc]simplify: iters left: 5 (12 enodes) 1545558618.187 * * [misc]simplify: iters left: 4 (19 enodes) 1545558618.194 * * [misc]simplify: iters left: 3 (38 enodes) 1545558618.204 * * [misc]simplify: iters left: 2 (46 enodes) 1545558618.210 * [exit]simplify: Simplified to 0 1545558618.211 * [misc]simplify: Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) 0)) 1545558618.211 * * * * [misc]progress: [ 8 / 44 ] simplifiying candidate # 1545558618.211 * [enter]simplify: Simplifying (fma 1 (atan (+ N 1)) (- (* (sqrt (atan N)) (sqrt (atan N))))) 1545558618.211 * * [misc]simplify: iters left: 6 (9 enodes) 1545558618.214 * * [misc]simplify: iters left: 5 (17 enodes) 1545558618.218 * * [misc]simplify: iters left: 4 (21 enodes) 1545558618.225 * * [misc]simplify: iters left: 3 (28 enodes) 1545558618.230 * [exit]simplify: Simplified to (- (atan (+ N 1)) (atan N)) 1545558618.230 * [misc]simplify: Simplified (2 1) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))))) 1545558618.231 * [enter]simplify: Simplifying (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))) 1545558618.231 * * [misc]simplify: iters left: 5 (6 enodes) 1545558618.232 * * [misc]simplify: iters left: 4 (8 enodes) 1545558618.235 * * [misc]simplify: iters left: 3 (14 enodes) 1545558618.239 * * [misc]simplify: iters left: 2 (20 enodes) 1545558618.243 * * [misc]simplify: iters left: 1 (22 enodes) 1545558618.246 * [exit]simplify: Simplified to 0 1545558618.246 * [misc]simplify: Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) 0)) 1545558618.247 * * * * [misc]progress: [ 9 / 44 ] simplifiying candidate # 1545558618.247 * [enter]simplify: Simplifying (fma 1 (atan (+ N 1)) (- (* (atan N) 1))) 1545558618.247 * * [misc]simplify: iters left: 6 (8 enodes) 1545558618.250 * * [misc]simplify: iters left: 5 (19 enodes) 1545558618.256 * * [misc]simplify: iters left: 4 (26 enodes) 1545558618.266 * * [misc]simplify: iters left: 3 (38 enodes) 1545558618.273 * * [misc]simplify: iters left: 2 (41 enodes) 1545558618.282 * [exit]simplify: Simplified to (- (atan (+ N 1)) (atan N)) 1545558618.282 * [misc]simplify: Simplified (2 1) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) (fma (- (atan N)) 1 (* (atan N) 1)))) 1545558618.282 * [enter]simplify: Simplifying (fma (- (atan N)) 1 (* (atan N) 1)) 1545558618.282 * * [misc]simplify: iters left: 4 (6 enodes) 1545558618.284 * * [misc]simplify: iters left: 3 (11 enodes) 1545558618.289 * * [misc]simplify: iters left: 2 (21 enodes) 1545558618.295 * * [misc]simplify: iters left: 1 (30 enodes) 1545558618.301 * [exit]simplify: Simplified to (fma -1 (atan N) (atan N)) 1545558618.301 * [misc]simplify: Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) (fma -1 (atan N) (atan N)))) 1545558618.301 * * * * [misc]progress: [ 10 / 44 ] simplifiying candidate # 1545558618.301 * * * * [misc]progress: [ 11 / 44 ] simplifiying candidate # 1545558618.301 * * * * [misc]progress: [ 12 / 44 ] simplifiying candidate # 1545558618.301 * [enter]simplify: Simplifying (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) 1545558618.301 * * [misc]simplify: iters left: 6 (6 enodes) 1545558618.303 * * [misc]simplify: iters left: 5 (9 enodes) 1545558618.305 * [exit]simplify: Simplified to (* (cbrt (atan (+ 1 N))) (cbrt (atan (+ 1 N)))) 1545558618.305 * [misc]simplify: Simplified (2 1) to (λ (N) (fma (* (cbrt (atan (+ 1 N))) (cbrt (atan (+ 1 N)))) (cbrt (atan (+ N 1))) (- (atan N)))) 1545558618.305 * * * * [misc]progress: [ 13 / 44 ] simplifiying candidate # 1545558618.306 * [enter]simplify: Simplifying (sqrt (atan (+ N 1))) 1545558618.306 * * [misc]simplify: iters left: 4 (5 enodes) 1545558618.308 * * [misc]simplify: iters left: 3 (8 enodes) 1545558618.309 * [exit]simplify: Simplified to (sqrt (atan (+ 1 N))) 1545558618.310 * [misc]simplify: Simplified (2 1) to (λ (N) (fma (sqrt (atan (+ 1 N))) (sqrt (atan (+ N 1))) (- (atan N)))) 1545558618.310 * * * * [misc]progress: [ 14 / 44 ] simplifiying candidate # 1545558618.310 * * * * [misc]progress: [ 15 / 44 ] simplifiying candidate # 1545558618.310 * [enter]simplify: Simplifying (- (+ N 1) N) 1545558618.310 * * [misc]simplify: iters left: 4 (4 enodes) 1545558618.311 * * [misc]simplify: iters left: 3 (11 enodes) 1545558618.314 * * [misc]simplify: iters left: 2 (19 enodes) 1545558618.322 * * [misc]simplify: iters left: 1 (25 enodes) 1545558618.325 * [exit]simplify: Simplified to 1 1545558618.325 * [misc]simplify: Simplified (2 1) to (λ (N) (atan2 1 (+ 1 (* (+ N 1) N)))) 1545558618.325 * [enter]simplify: Simplifying (+ 1 (* (+ N 1) N)) 1545558618.325 * * [misc]simplify: iters left: 6 (5 enodes) 1545558618.327 * * [misc]simplify: iters left: 5 (10 enodes) 1545558618.330 * * [misc]simplify: iters left: 4 (19 enodes) 1545558618.341 * * [misc]simplify: iters left: 3 (33 enodes) 1545558618.348 * * [misc]simplify: iters left: 2 (39 enodes) 1545558618.355 * [exit]simplify: Simplified to (fma N (+ N 1) 1) 1545558618.355 * [misc]simplify: Simplified (2 2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1545558618.355 * * * * [misc]progress: [ 16 / 44 ] simplifiying candidate # 1545558618.355 * [enter]simplify: Simplifying (/ (exp (atan (+ N 1))) (exp (atan N))) 1545558618.356 * * [misc]simplify: iters left: 6 (8 enodes) 1545558618.358 * * [misc]simplify: iters left: 5 (13 enodes) 1545558618.362 * * [misc]simplify: iters left: 4 (15 enodes) 1545558618.365 * * [misc]simplify: iters left: 3 (18 enodes) 1545558618.370 * * [misc]simplify: iters left: 2 (20 enodes) 1545558618.374 * * [misc]simplify: iters left: 1 (24 enodes) 1545558618.381 * [exit]simplify: Simplified to (exp (- (atan (+ 1 N)) (atan N))) 1545558618.381 * [misc]simplify: Simplified (2 1) to (λ (N) (log (exp (- (atan (+ 1 N)) (atan N))))) 1545558618.381 * * * * [misc]progress: [ 17 / 44 ] simplifiying candidate # 1545558618.381 * * * * [misc]progress: [ 18 / 44 ] simplifiying candidate # 1545558618.381 * * * * [misc]progress: [ 19 / 44 ] simplifiying candidate # 1545558618.381 * * * * [misc]progress: [ 20 / 44 ] simplifiying candidate # 1545558618.381 * * * * [misc]progress: [ 21 / 44 ] simplifiying candidate # 1545558618.381 * * * * [misc]progress: [ 22 / 44 ] simplifiying candidate # 1545558618.382 * * * * [misc]progress: [ 23 / 44 ] simplifiying candidate # 1545558618.382 * * * * [misc]progress: [ 24 / 44 ] simplifiying candidate # 1545558618.382 * * * * [misc]progress: [ 25 / 44 ] simplifiying candidate # 1545558618.382 * * * * [misc]progress: [ 26 / 44 ] simplifiying candidate # 1545558618.382 * * * * [misc]progress: [ 27 / 44 ] simplifiying candidate # 1545558618.382 * [enter]simplify: Simplifying (+ (sqrt (atan (+ N 1))) (sqrt (atan N))) 1545558618.382 * * [misc]simplify: iters left: 6 (8 enodes) 1545558618.384 * * [misc]simplify: iters left: 5 (12 enodes) 1545558618.387 * [exit]simplify: Simplified to (+ (sqrt (atan N)) (sqrt (atan (+ 1 N)))) 1545558618.387 * [misc]simplify: Simplified (2 1) to (λ (N) (* (+ (sqrt (atan N)) (sqrt (atan (+ 1 N)))) (- (sqrt (atan (+ N 1))) (sqrt (atan N))))) 1545558618.388 * [enter]simplify: Simplifying (- (sqrt (atan (+ N 1))) (sqrt (atan N))) 1545558618.388 * * [misc]simplify: iters left: 6 (8 enodes) 1545558618.390 * * [misc]simplify: iters left: 5 (13 enodes) 1545558618.393 * * [misc]simplify: iters left: 4 (14 enodes) 1545558618.396 * [exit]simplify: Simplified to (- (sqrt (atan (+ 1 N))) (sqrt (atan N))) 1545558618.397 * [misc]simplify: Simplified (2 2) to (λ (N) (* (+ (sqrt (atan (+ N 1))) (sqrt (atan N))) (- (sqrt (atan (+ 1 N))) (sqrt (atan N))))) 1545558618.397 * * * * [misc]progress: [ 28 / 44 ] simplifiying candidate # 1545558618.397 * [enter]simplify: Simplifying (- (atan (+ N 1)) (atan N)) 1545558618.397 * * [misc]simplify: iters left: 5 (6 enodes) 1545558618.399 * * [misc]simplify: iters left: 4 (11 enodes) 1545558618.401 * * [misc]simplify: iters left: 3 (12 enodes) 1545558618.404 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1545558618.404 * [misc]simplify: Simplified (2 2) to (λ (N) (* 1 (- (atan (+ 1 N)) (atan N)))) 1545558618.404 * * * * [misc]progress: [ 29 / 44 ] simplifiying candidate # 1545558618.404 * * * * [misc]progress: [ 30 / 44 ] simplifiying candidate # 1545558618.404 * * * * [misc]progress: [ 31 / 44 ] simplifiying candidate # 1545558618.404 * * * * [misc]progress: [ 32 / 44 ] simplifiying candidate # 1545558618.405 * * * * [misc]progress: [ 33 / 44 ] simplifiying candidate # 1545558618.405 * * * * [misc]progress: [ 34 / 44 ] simplifiying candidate # 1545558618.405 * * * * [misc]progress: [ 35 / 44 ] simplifiying candidate # 1545558618.405 * * * * [misc]progress: [ 36 / 44 ] simplifiying candidate # 1545558618.405 * * * * [misc]progress: [ 37 / 44 ] simplifiying candidate # 1545558618.405 * * * * [misc]progress: [ 38 / 44 ] simplifiying candidate # 1545558618.405 * * * * [misc]progress: [ 39 / 44 ] simplifiying candidate # 1545558618.405 * [enter]simplify: Simplifying (- (atan (+ N 1)) (atan N)) 1545558618.405 * * [misc]simplify: iters left: 5 (6 enodes) 1545558618.407 * * [misc]simplify: iters left: 4 (11 enodes) 1545558618.410 * * [misc]simplify: iters left: 3 (12 enodes) 1545558618.412 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1545558618.413 * [misc]simplify: Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1545558618.413 * * * * [misc]progress: [ 40 / 44 ] simplifiying candidate # 1545558618.413 * [enter]simplify: Simplifying (- (atan (+ N 1)) (atan N)) 1545558618.413 * * [misc]simplify: iters left: 5 (6 enodes) 1545558618.415 * * [misc]simplify: iters left: 4 (11 enodes) 1545558618.417 * * [misc]simplify: iters left: 3 (12 enodes) 1545558618.420 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1545558618.421 * [misc]simplify: Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1545558618.421 * * * * [misc]progress: [ 41 / 44 ] simplifiying candidate # 1545558618.421 * [enter]simplify: Simplifying (- (atan (+ N 1)) (atan N)) 1545558618.421 * * [misc]simplify: iters left: 5 (6 enodes) 1545558618.423 * * [misc]simplify: iters left: 4 (11 enodes) 1545558618.425 * * [misc]simplify: iters left: 3 (12 enodes) 1545558618.428 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1545558618.428 * [misc]simplify: Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1545558618.428 * * * * [misc]progress: [ 42 / 44 ] simplifiying candidate # 1545558618.429 * [enter]simplify: Simplifying (atan (+ N 1)) 1545558618.429 * * [misc]simplify: iters left: 3 (4 enodes) 1545558618.430 * * [misc]simplify: iters left: 2 (7 enodes) 1545558618.432 * [exit]simplify: Simplified to (atan (+ 1 N)) 1545558618.432 * [misc]simplify: Simplified (2 1) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1545558618.432 * * * * [misc]progress: [ 43 / 44 ] simplifiying candidate # 1545558618.432 * [enter]simplify: Simplifying (atan (+ N 1)) 1545558618.432 * * [misc]simplify: iters left: 3 (4 enodes) 1545558618.433 * * [misc]simplify: iters left: 2 (7 enodes) 1545558618.435 * [exit]simplify: Simplified to (atan (+ 1 N)) 1545558618.435 * [misc]simplify: Simplified (2 1) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1545558618.435 * * * * [misc]progress: [ 44 / 44 ] simplifiying candidate # 1545558618.435 * [enter]simplify: Simplifying (atan (+ N 1)) 1545558618.435 * * [misc]simplify: iters left: 3 (4 enodes) 1545558618.436 * * [misc]simplify: iters left: 2 (7 enodes) 1545558618.438 * [exit]simplify: Simplified to (atan (+ 1 N)) 1545558618.438 * [misc]simplify: Simplified (2 1) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1545558618.438 * * * [misc]progress: adding candidates to table 1545558618.821 * * [misc]progress: iteration 2 / 4 1545558618.821 * * * [misc]progress: picking best candidate 1545558618.830 * * * * [misc]pick: Picked # 1545558618.830 * * * [misc]progress: localizing error 1545558618.837 * * * [misc]progress: generating rewritten candidates 1545558618.837 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1545558618.838 * * * [misc]progress: generating series expansions 1545558618.838 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1545558618.838 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545558618.838 * [misc]approximate: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0 1545558618.838 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1545558618.838 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545558618.838 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1545558618.838 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545558618.838 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545558618.838 * [misc]backup-simplify: Simplify 0 into 0 1545558618.838 * [misc]backup-simplify: Simplify 0 into 0 1545558618.838 * [misc]backup-simplify: Simplify 0 into 0 1545558618.838 * [misc]backup-simplify: Simplify 0 into 0 1545558618.838 * [misc]backup-simplify: Simplify 0 into 0 1545558618.838 * [misc]backup-simplify: Simplify 0 into 0 1545558618.838 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545558618.838 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545558618.838 * [misc]approximate: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0 1545558618.838 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1545558618.839 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545558618.839 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1545558618.839 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545558618.839 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545558618.839 * [misc]backup-simplify: Simplify 0 into 0 1545558618.839 * [misc]backup-simplify: Simplify 0 into 0 1545558618.839 * [misc]backup-simplify: Simplify 0 into 0 1545558618.839 * [misc]backup-simplify: Simplify 0 into 0 1545558618.839 * [misc]backup-simplify: Simplify 0 into 0 1545558618.839 * [misc]backup-simplify: Simplify 0 into 0 1545558618.839 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545558618.839 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545558618.839 * [misc]approximate: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0 1545558618.839 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1545558618.839 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545558618.839 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1545558618.839 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545558618.840 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545558618.840 * [misc]backup-simplify: Simplify 0 into 0 1545558618.840 * [misc]backup-simplify: Simplify 0 into 0 1545558618.840 * [misc]backup-simplify: Simplify 0 into 0 1545558618.840 * [misc]backup-simplify: Simplify 0 into 0 1545558618.840 * [misc]backup-simplify: Simplify 0 into 0 1545558618.840 * [misc]backup-simplify: Simplify 0 into 0 1545558618.840 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545558618.840 * * * [misc]progress: simplifying candidates 1545558618.840 * * * * [misc]progress: [ 1 / 12 ] simplifiying candidate # 1545558618.840 * * * * [misc]progress: [ 2 / 12 ] simplifiying candidate # 1545558618.840 * * * * [misc]progress: [ 3 / 12 ] simplifiying candidate # 1545558618.840 * * * * [misc]progress: [ 4 / 12 ] simplifiying candidate # 1545558618.840 * * * * [misc]progress: [ 5 / 12 ] simplifiying candidate # 1545558618.840 * * * * [misc]progress: [ 6 / 12 ] simplifiying candidate # 1545558618.840 * * * * [misc]progress: [ 7 / 12 ] simplifiying candidate # 1545558618.840 * * * * [misc]progress: [ 8 / 12 ] simplifiying candidate # 1545558618.840 * * * * [misc]progress: [ 9 / 12 ] simplifiying candidate # 1545558618.840 * * * * [misc]progress: [ 10 / 12 ] simplifiying candidate # 1545558618.840 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1545558618.840 * * [misc]simplify: iters left: 4 (5 enodes) 1545558618.841 * * [misc]simplify: iters left: 3 (10 enodes) 1545558618.843 * * [misc]simplify: iters left: 2 (19 enodes) 1545558618.848 * * [misc]simplify: iters left: 1 (34 enodes) 1545558618.852 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1545558618.852 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1545558618.852 * * * * [misc]progress: [ 11 / 12 ] simplifiying candidate # 1545558618.852 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1545558618.852 * * [misc]simplify: iters left: 4 (5 enodes) 1545558618.853 * * [misc]simplify: iters left: 3 (10 enodes) 1545558618.854 * * [misc]simplify: iters left: 2 (19 enodes) 1545558618.859 * * [misc]simplify: iters left: 1 (34 enodes) 1545558618.863 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1545558618.863 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1545558618.863 * * * * [misc]progress: [ 12 / 12 ] simplifiying candidate # 1545558618.863 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1545558618.863 * * [misc]simplify: iters left: 4 (5 enodes) 1545558618.865 * * [misc]simplify: iters left: 3 (10 enodes) 1545558618.866 * * [misc]simplify: iters left: 2 (19 enodes) 1545558618.873 * * [misc]simplify: iters left: 1 (34 enodes) 1545558618.877 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1545558618.878 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1545558618.878 * * * [misc]progress: adding candidates to table 1545558618.964 * * [misc]progress: iteration 3 / 4 1545558618.964 * * * [misc]progress: picking best candidate 1545558618.972 * * * * [misc]pick: Picked # 1545558618.972 * * * [misc]progress: localizing error 1545558618.977 * * * [misc]progress: generating rewritten candidates 1545558618.977 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2) 1545558618.978 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1) 1545558618.979 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2) 1545558618.984 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 1) 1545558618.985 * * * [misc]progress: generating series expansions 1545558618.985 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2) 1545558618.985 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558618.985 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0 1545558618.985 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1545558618.985 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1545558618.985 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545558618.986 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558618.986 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545558618.986 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1545558618.986 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1545558618.986 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545558618.986 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558618.986 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545558618.986 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558618.986 * [misc]backup-simplify: Simplify 0 into 0 1545558618.987 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545558618.987 * [misc]backup-simplify: Simplify 0 into 0 1545558618.987 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545558618.987 * [misc]backup-simplify: Simplify 0 into 0 1545558618.988 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545558618.988 * [misc]backup-simplify: Simplify 0 into 0 1545558618.988 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545558618.988 * [misc]backup-simplify: Simplify 0 into 0 1545558618.989 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545558618.989 * [misc]backup-simplify: Simplify 0 into 0 1545558618.989 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558618.989 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1545558618.989 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0 1545558618.989 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1545558618.989 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1545558618.989 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545558618.989 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1545558618.990 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545558618.990 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1545558618.990 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1545558618.990 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545558618.990 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1545558618.990 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545558618.990 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1545558618.990 * [misc]backup-simplify: Simplify 0 into 0 1545558618.991 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545558618.991 * [misc]backup-simplify: Simplify 0 into 0 1545558618.991 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545558618.991 * [misc]backup-simplify: Simplify 0 into 0 1545558618.992 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545558618.992 * [misc]backup-simplify: Simplify 0 into 0 1545558618.992 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545558618.992 * [misc]backup-simplify: Simplify 0 into 0 1545558618.993 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545558618.993 * [misc]backup-simplify: Simplify 0 into 0 1545558618.993 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558618.993 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1545558618.993 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0 1545558618.993 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1545558618.993 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1545558618.993 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545558618.993 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1545558618.993 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545558618.993 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1545558618.993 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1545558618.994 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545558618.994 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1545558618.994 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545558618.994 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1545558618.994 * [misc]backup-simplify: Simplify 0 into 0 1545558618.995 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545558618.995 * [misc]backup-simplify: Simplify 0 into 0 1545558618.995 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545558618.995 * [misc]backup-simplify: Simplify 0 into 0 1545558618.996 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545558618.996 * [misc]backup-simplify: Simplify 0 into 0 1545558618.997 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545558618.997 * [misc]backup-simplify: Simplify 0 into 0 1545558618.998 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545558618.998 * [misc]backup-simplify: Simplify 0 into 0 1545558618.998 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558618.998 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1) 1545558618.999 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558618.999 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0 1545558618.999 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1545558618.999 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1545558618.999 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545558618.999 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558618.999 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545558618.999 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1545558618.999 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1545558618.999 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545558618.999 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558619.000 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545558619.000 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558619.000 * [misc]backup-simplify: Simplify 0 into 0 1545558619.001 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545558619.001 * [misc]backup-simplify: Simplify 0 into 0 1545558619.002 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545558619.002 * [misc]backup-simplify: Simplify 0 into 0 1545558619.003 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545558619.003 * [misc]backup-simplify: Simplify 0 into 0 1545558619.003 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545558619.003 * [misc]backup-simplify: Simplify 0 into 0 1545558619.004 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545558619.004 * [misc]backup-simplify: Simplify 0 into 0 1545558619.004 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558619.005 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1545558619.005 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0 1545558619.005 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1545558619.005 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1545558619.005 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545558619.005 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1545558619.005 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545558619.005 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1545558619.005 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1545558619.005 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545558619.006 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1545558619.006 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545558619.006 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1545558619.006 * [misc]backup-simplify: Simplify 0 into 0 1545558619.007 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545558619.007 * [misc]backup-simplify: Simplify 0 into 0 1545558619.008 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545558619.008 * [misc]backup-simplify: Simplify 0 into 0 1545558619.009 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545558619.009 * [misc]backup-simplify: Simplify 0 into 0 1545558619.009 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545558619.010 * [misc]backup-simplify: Simplify 0 into 0 1545558619.011 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545558619.011 * [misc]backup-simplify: Simplify 0 into 0 1545558619.011 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558619.011 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1545558619.011 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0 1545558619.011 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1545558619.011 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1545558619.011 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545558619.012 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1545558619.012 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545558619.012 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1545558619.012 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1545558619.012 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545558619.012 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1545558619.012 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545558619.013 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1545558619.013 * [misc]backup-simplify: Simplify 0 into 0 1545558619.014 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545558619.014 * [misc]backup-simplify: Simplify 0 into 0 1545558619.014 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545558619.014 * [misc]backup-simplify: Simplify 0 into 0 1545558619.015 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545558619.015 * [misc]backup-simplify: Simplify 0 into 0 1545558619.016 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545558619.016 * [misc]backup-simplify: Simplify 0 into 0 1545558619.017 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545558619.017 * [misc]backup-simplify: Simplify 0 into 0 1545558619.018 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558619.018 * * * * [misc]progress: [ 3 / 4 ] generating series at (2) 1545558619.018 * [misc]backup-simplify: Simplify (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) into (atan2 1 (fma N (+ N 1) 1)) 1545558619.018 * [misc]approximate: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0 1545558619.018 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1545558619.018 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545558619.018 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1545558619.018 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545558619.019 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545558619.019 * [misc]backup-simplify: Simplify 0 into 0 1545558619.019 * [misc]backup-simplify: Simplify 0 into 0 1545558619.019 * [misc]backup-simplify: Simplify 0 into 0 1545558619.019 * [misc]backup-simplify: Simplify 0 into 0 1545558619.019 * [misc]backup-simplify: Simplify 0 into 0 1545558619.019 * [misc]backup-simplify: Simplify 0 into 0 1545558619.019 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545558619.019 * [misc]backup-simplify: Simplify (* (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)))) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545558619.019 * [misc]approximate: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0 1545558619.019 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1545558619.020 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545558619.020 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1545558619.020 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545558619.020 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545558619.020 * [misc]backup-simplify: Simplify 0 into 0 1545558619.020 * [misc]backup-simplify: Simplify 0 into 0 1545558619.020 * [misc]backup-simplify: Simplify 0 into 0 1545558619.020 * [misc]backup-simplify: Simplify 0 into 0 1545558619.020 * [misc]backup-simplify: Simplify 0 into 0 1545558619.020 * [misc]backup-simplify: Simplify 0 into 0 1545558619.020 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545558619.021 * [misc]backup-simplify: Simplify (* (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1))) (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)))) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545558619.021 * [misc]approximate: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0 1545558619.021 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1545558619.021 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545558619.021 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1545558619.021 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545558619.022 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545558619.022 * [misc]backup-simplify: Simplify 0 into 0 1545558619.022 * [misc]backup-simplify: Simplify 0 into 0 1545558619.022 * [misc]backup-simplify: Simplify 0 into 0 1545558619.022 * [misc]backup-simplify: Simplify 0 into 0 1545558619.022 * [misc]backup-simplify: Simplify 0 into 0 1545558619.022 * [misc]backup-simplify: Simplify 0 into 0 1545558619.022 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545558619.022 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 1) 1545558619.022 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545558619.022 * [misc]approximate: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0 1545558619.022 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1545558619.022 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545558619.022 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1545558619.023 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545558619.023 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545558619.023 * [misc]backup-simplify: Simplify 0 into 0 1545558619.023 * [misc]backup-simplify: Simplify 0 into 0 1545558619.023 * [misc]backup-simplify: Simplify 0 into 0 1545558619.023 * [misc]backup-simplify: Simplify 0 into 0 1545558619.023 * [misc]backup-simplify: Simplify 0 into 0 1545558619.023 * [misc]backup-simplify: Simplify 0 into 0 1545558619.023 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545558619.023 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545558619.023 * [misc]approximate: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0 1545558619.023 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1545558619.023 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545558619.023 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1545558619.024 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545558619.024 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545558619.024 * [misc]backup-simplify: Simplify 0 into 0 1545558619.024 * [misc]backup-simplify: Simplify 0 into 0 1545558619.024 * [misc]backup-simplify: Simplify 0 into 0 1545558619.024 * [misc]backup-simplify: Simplify 0 into 0 1545558619.024 * [misc]backup-simplify: Simplify 0 into 0 1545558619.024 * [misc]backup-simplify: Simplify 0 into 0 1545558619.024 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545558619.024 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545558619.025 * [misc]approximate: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0 1545558619.025 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1545558619.025 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545558619.025 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1545558619.025 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545558619.025 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545558619.025 * [misc]backup-simplify: Simplify 0 into 0 1545558619.025 * [misc]backup-simplify: Simplify 0 into 0 1545558619.025 * [misc]backup-simplify: Simplify 0 into 0 1545558619.025 * [misc]backup-simplify: Simplify 0 into 0 1545558619.025 * [misc]backup-simplify: Simplify 0 into 0 1545558619.025 * [misc]backup-simplify: Simplify 0 into 0 1545558619.026 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545558619.026 * * * [misc]progress: simplifying candidates 1545558619.026 * * * * [misc]progress: [ 1 / 81 ] simplifiying candidate # 1545558619.026 * * * * [misc]progress: [ 2 / 81 ] simplifiying candidate # 1545558619.026 * * * * [misc]progress: [ 3 / 81 ] simplifiying candidate # 1545558619.026 * * * * [misc]progress: [ 4 / 81 ] simplifiying candidate # 1545558619.026 * * * * [misc]progress: [ 5 / 81 ] simplifiying candidate # 1545558619.026 * * * * [misc]progress: [ 6 / 81 ] simplifiying candidate # 1545558619.026 * * * * [misc]progress: [ 7 / 81 ] simplifiying candidate # 1545558619.026 * * * * [misc]progress: [ 8 / 81 ] simplifiying candidate # 1545558619.026 * * * * [misc]progress: [ 9 / 81 ] simplifiying candidate # 1545558619.026 * [enter]simplify: Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) 1545558619.027 * * [misc]simplify: iters left: 6 (8 enodes) 1545558619.029 * * [misc]simplify: iters left: 5 (14 enodes) 1545558619.033 * * [misc]simplify: iters left: 4 (23 enodes) 1545558619.043 * * [misc]simplify: iters left: 3 (38 enodes) 1545558619.048 * * [misc]simplify: iters left: 2 (48 enodes) 1545558619.052 * * [misc]simplify: iters left: 1 (49 enodes) 1545558619.056 * [exit]simplify: Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) 1545558619.056 * [misc]simplify: Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1))))))) 1545558619.056 * * * * [misc]progress: [ 10 / 81 ] simplifiying candidate # 1545558619.056 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545558619.056 * * [misc]simplify: iters left: 6 (7 enodes) 1545558619.057 * * [misc]simplify: iters left: 5 (12 enodes) 1545558619.059 * * [misc]simplify: iters left: 4 (21 enodes) 1545558619.068 * * [misc]simplify: iters left: 3 (36 enodes) 1545558619.076 * * [misc]simplify: iters left: 2 (45 enodes) 1545558619.084 * * [misc]simplify: iters left: 1 (46 enodes) 1545558619.090 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545558619.090 * [misc]simplify: Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1545558619.090 * * * * [misc]progress: [ 11 / 81 ] simplifiying candidate # 1545558619.091 * [enter]simplify: Simplifying (sqrt 1) 1545558619.091 * * [misc]simplify: iters left: 1 (2 enodes) 1545558619.092 * [exit]simplify: Simplified to 1 1545558619.092 * [misc]simplify: Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* 1 (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1545558619.092 * * * * [misc]progress: [ 12 / 81 ] simplifiying candidate # 1545558619.092 * * * * [misc]progress: [ 13 / 81 ] simplifiying candidate # 1545558619.093 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558619.093 * * [misc]simplify: iters left: 5 (6 enodes) 1545558619.095 * * [misc]simplify: iters left: 4 (11 enodes) 1545558619.098 * * [misc]simplify: iters left: 3 (20 enodes) 1545558619.108 * * [misc]simplify: iters left: 2 (35 enodes) 1545558619.117 * * [misc]simplify: iters left: 1 (41 enodes) 1545558619.125 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545558619.125 * [misc]simplify: Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (fabs (sqrt (atan2 1 (+ 1 (fma N N N))))))) 1545558619.125 * * * * [misc]progress: [ 14 / 81 ] simplifiying candidate # 1545558619.125 * * * * [misc]progress: [ 15 / 81 ] simplifiying candidate # 1545558619.125 * * * * [misc]progress: [ 16 / 81 ] simplifiying candidate # 1545558619.125 * * * * [misc]progress: [ 17 / 81 ] simplifiying candidate # 1545558619.125 * * * * [misc]progress: [ 18 / 81 ] simplifiying candidate # 1545558619.125 * * * * [misc]progress: [ 19 / 81 ] simplifiying candidate # 1545558619.125 * * * * [misc]progress: [ 20 / 81 ] simplifiying candidate # 1545558619.126 * * * * [misc]progress: [ 21 / 81 ] simplifiying candidate # 1545558619.126 * * * * [misc]progress: [ 22 / 81 ] simplifiying candidate # 1545558619.126 * * * * [misc]progress: [ 23 / 81 ] simplifiying candidate # 1545558619.126 * [enter]simplify: Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) 1545558619.126 * * [misc]simplify: iters left: 6 (8 enodes) 1545558619.129 * * [misc]simplify: iters left: 5 (14 enodes) 1545558619.132 * * [misc]simplify: iters left: 4 (23 enodes) 1545558619.143 * * [misc]simplify: iters left: 3 (38 enodes) 1545558619.151 * * [misc]simplify: iters left: 2 (48 enodes) 1545558619.160 * * [misc]simplify: iters left: 1 (49 enodes) 1545558619.167 * [exit]simplify: Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) 1545558619.167 * [misc]simplify: Simplified (2 1 1) to (λ (N) (* (* (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1545558619.168 * * * * [misc]progress: [ 24 / 81 ] simplifiying candidate # 1545558619.168 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545558619.168 * * [misc]simplify: iters left: 6 (7 enodes) 1545558619.172 * * [misc]simplify: iters left: 5 (12 enodes) 1545558619.175 * * [misc]simplify: iters left: 4 (21 enodes) 1545558619.185 * * [misc]simplify: iters left: 3 (36 enodes) 1545558619.193 * * [misc]simplify: iters left: 2 (45 enodes) 1545558619.200 * * [misc]simplify: iters left: 1 (46 enodes) 1545558619.207 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545558619.207 * [misc]simplify: Simplified (2 1 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1545558619.207 * * * * [misc]progress: [ 25 / 81 ] simplifiying candidate # 1545558619.207 * [enter]simplify: Simplifying (sqrt 1) 1545558619.207 * * [misc]simplify: iters left: 1 (2 enodes) 1545558619.209 * [exit]simplify: Simplified to 1 1545558619.209 * [misc]simplify: Simplified (2 1 1) to (λ (N) (* (* 1 (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1545558619.209 * * * * [misc]progress: [ 26 / 81 ] simplifiying candidate # 1545558619.209 * * * * [misc]progress: [ 27 / 81 ] simplifiying candidate # 1545558619.209 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558619.209 * * [misc]simplify: iters left: 5 (6 enodes) 1545558619.211 * * [misc]simplify: iters left: 4 (11 enodes) 1545558619.214 * * [misc]simplify: iters left: 3 (20 enodes) 1545558619.223 * * [misc]simplify: iters left: 2 (35 enodes) 1545558619.230 * * [misc]simplify: iters left: 1 (41 enodes) 1545558619.238 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545558619.238 * [misc]simplify: Simplified (2 1 1) to (λ (N) (* (fabs (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1545558619.238 * * * * [misc]progress: [ 28 / 81 ] simplifiying candidate # 1545558619.239 * * * * [misc]progress: [ 29 / 81 ] simplifiying candidate # 1545558619.239 * * * * [misc]progress: [ 30 / 81 ] simplifiying candidate # 1545558619.239 * * * * [misc]progress: [ 31 / 81 ] simplifiying candidate # 1545558619.239 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1545558619.239 * * [misc]simplify: iters left: 4 (5 enodes) 1545558619.240 * * [misc]simplify: iters left: 3 (10 enodes) 1545558619.241 * * [misc]simplify: iters left: 2 (19 enodes) 1545558619.246 * * [misc]simplify: iters left: 1 (34 enodes) 1545558619.250 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1545558619.250 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (atan2 1 (fma N (+ N 1) 1)) (+ 1/2 1/2))) 1545558619.250 * [enter]simplify: Simplifying (+ 1/2 1/2) 1545558619.250 * * [misc]simplify: iters left: 2 (2 enodes) 1545558619.251 * * [misc]simplify: iters left: 1 (3 enodes) 1545558619.252 * [exit]simplify: Simplified to 1 1545558619.252 * [misc]simplify: Simplified (2 2) to (λ (N) (pow (atan2 1 (fma N (+ N 1) 1)) 1)) 1545558619.252 * * * * [misc]progress: [ 32 / 81 ] simplifiying candidate # 1545558619.252 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558619.252 * * [misc]simplify: iters left: 5 (6 enodes) 1545558619.253 * * [misc]simplify: iters left: 4 (11 enodes) 1545558619.255 * * [misc]simplify: iters left: 3 (20 enodes) 1545558619.259 * * [misc]simplify: iters left: 2 (35 enodes) 1545558619.263 * * [misc]simplify: iters left: 1 (41 enodes) 1545558619.268 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545558619.268 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (sqrt (atan2 1 (+ 1 (fma N N N)))) (+ 1 1))) 1545558619.268 * [enter]simplify: Simplifying (+ 1 1) 1545558619.268 * * [misc]simplify: iters left: 2 (2 enodes) 1545558619.269 * * [misc]simplify: iters left: 1 (5 enodes) 1545558619.269 * [exit]simplify: Simplified to 2 1545558619.269 * [misc]simplify: Simplified (2 2) to (λ (N) (pow (sqrt (atan2 1 (fma N (+ N 1) 1))) 2)) 1545558619.269 * * * * [misc]progress: [ 33 / 81 ] simplifiying candidate # 1545558619.269 * [enter]simplify: Simplifying (* (atan2 1 (fma N (+ N 1) 1)) (atan2 1 (fma N (+ N 1) 1))) 1545558619.269 * * [misc]simplify: iters left: 6 (6 enodes) 1545558619.270 * * [misc]simplify: iters left: 5 (11 enodes) 1545558619.272 * * [misc]simplify: iters left: 4 (20 enodes) 1545558619.277 * * [misc]simplify: iters left: 3 (35 enodes) 1545558619.282 * * [misc]simplify: iters left: 2 (41 enodes) 1545558619.286 * [exit]simplify: Simplified to (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) 1545558619.286 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) 1/2)) 1545558619.286 * * * * [misc]progress: [ 34 / 81 ] simplifiying candidate # 1545558619.286 * [enter]simplify: Simplifying (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545558619.287 * * [misc]simplify: iters left: 6 (7 enodes) 1545558619.288 * * [misc]simplify: iters left: 5 (12 enodes) 1545558619.289 * * [misc]simplify: iters left: 4 (22 enodes) 1545558619.294 * * [misc]simplify: iters left: 3 (37 enodes) 1545558619.299 * * [misc]simplify: iters left: 2 (45 enodes) 1545558619.306 * * [misc]simplify: iters left: 1 (46 enodes) 1545558619.313 * [exit]simplify: Simplified to (atan2 1 (fma (+ N 1) N 1)) 1545558619.313 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (atan2 1 (fma (+ N 1) N 1)) 1)) 1545558619.313 * * * * [misc]progress: [ 35 / 81 ] simplifiying candidate # 1545558619.313 * * * * [misc]progress: [ 36 / 81 ] simplifiying candidate # 1545558619.314 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558619.314 * * [misc]simplify: iters left: 5 (6 enodes) 1545558619.315 * * [misc]simplify: iters left: 4 (11 enodes) 1545558619.317 * * [misc]simplify: iters left: 3 (20 enodes) 1545558619.322 * * [misc]simplify: iters left: 2 (35 enodes) 1545558619.328 * * [misc]simplify: iters left: 1 (41 enodes) 1545558619.332 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545558619.332 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (sqrt (atan2 1 (+ 1 (fma N N N)))) (+ 1 1))) 1545558619.332 * * * * [misc]progress: [ 37 / 81 ] simplifiying candidate # 1545558619.332 * * * * [misc]progress: [ 38 / 81 ] simplifiying candidate # 1545558619.332 * [enter]simplify: Simplifying (+ (log (sqrt (atan2 1 (fma N (+ N 1) 1)))) (log (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1545558619.332 * * [misc]simplify: iters left: 6 (8 enodes) 1545558619.333 * * [misc]simplify: iters left: 5 (13 enodes) 1545558619.335 * * [misc]simplify: iters left: 4 (22 enodes) 1545558619.341 * * [misc]simplify: iters left: 3 (37 enodes) 1545558619.345 * * [misc]simplify: iters left: 2 (45 enodes) 1545558619.349 * * [misc]simplify: iters left: 1 (46 enodes) 1545558619.354 * [exit]simplify: Simplified to (+ (log (sqrt (atan2 1 (+ 1 (fma N N N))))) (log (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1545558619.354 * [misc]simplify: Simplified (2 1) to (λ (N) (exp (+ (log (sqrt (atan2 1 (+ 1 (fma N N N))))) (log (sqrt (atan2 1 (+ 1 (fma N N N)))))))) 1545558619.354 * * * * [misc]progress: [ 39 / 81 ] simplifiying candidate # 1545558619.354 * * * * [misc]progress: [ 40 / 81 ] simplifiying candidate # 1545558619.354 * * * * [misc]progress: [ 41 / 81 ] simplifiying candidate # 1545558619.354 * [enter]simplify: Simplifying (* (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1545558619.354 * * [misc]simplify: iters left: 6 (9 enodes) 1545558619.356 * * [misc]simplify: iters left: 5 (19 enodes) 1545558619.359 * * [misc]simplify: iters left: 4 (37 enodes) 1545558619.375 * * [misc]simplify: iters left: 3 (57 enodes) 1545558619.389 * * [misc]simplify: iters left: 2 (69 enodes) 1545558619.403 * * [misc]simplify: iters left: 1 (73 enodes) 1545558619.415 * [exit]simplify: Simplified to (pow (atan2 1 (fma N (+ N 1) 1)) 3) 1545558619.415 * [misc]simplify: Simplified (2 1) to (λ (N) (cbrt (pow (atan2 1 (fma N (+ N 1) 1)) 3))) 1545558619.416 * * * * [misc]progress: [ 42 / 81 ] simplifiying candidate # 1545558619.416 * * * * [misc]progress: [ 43 / 81 ] simplifiying candidate # 1545558619.416 * * * * [misc]progress: [ 44 / 81 ] simplifiying candidate # 1545558619.416 * [enter]simplify: Simplifying (* (atan2 1 (fma N (+ N 1) 1)) (atan2 1 (fma N (+ N 1) 1))) 1545558619.416 * * [misc]simplify: iters left: 6 (6 enodes) 1545558619.418 * * [misc]simplify: iters left: 5 (11 enodes) 1545558619.421 * * [misc]simplify: iters left: 4 (20 enodes) 1545558619.430 * * [misc]simplify: iters left: 3 (35 enodes) 1545558619.433 * * [misc]simplify: iters left: 2 (41 enodes) 1545558619.437 * [exit]simplify: Simplified to (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) 1545558619.438 * [misc]simplify: Simplified (2 1) to (λ (N) (sqrt (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))))) 1545558619.439 * * * * [misc]progress: [ 45 / 81 ] simplifiying candidate # 1545558619.439 * * * * [misc]progress: [ 46 / 81 ] simplifiying candidate # 1545558619.439 * [enter]simplify: Simplifying (fma N (+ N 1) 1) 1545558619.439 * * [misc]simplify: iters left: 3 (4 enodes) 1545558619.440 * * [misc]simplify: iters left: 2 (9 enodes) 1545558619.441 * * [misc]simplify: iters left: 1 (18 enodes) 1545558619.446 * [exit]simplify: Simplified to (fma N (+ 1 N) 1) 1545558619.446 * [misc]simplify: Simplified (2 2) to (λ (N) (atan2 1 (fma N (+ 1 N) 1))) 1545558619.446 * * * * [misc]progress: [ 47 / 81 ] simplifiying candidate # 1545558619.446 * * * * [misc]progress: [ 48 / 81 ] simplifiying candidate # 1545558619.446 * [enter]simplify: Simplifying (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545558619.446 * * [misc]simplify: iters left: 6 (7 enodes) 1545558619.447 * * [misc]simplify: iters left: 5 (12 enodes) 1545558619.449 * * [misc]simplify: iters left: 4 (21 enodes) 1545558619.454 * * [misc]simplify: iters left: 3 (36 enodes) 1545558619.458 * * [misc]simplify: iters left: 2 (45 enodes) 1545558619.463 * * [misc]simplify: iters left: 1 (46 enodes) 1545558619.469 * [exit]simplify: Simplified to (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545558619.469 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1545558619.469 * * * * [misc]progress: [ 49 / 81 ] simplifiying candidate # 1545558619.469 * [enter]simplify: Simplifying (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1)))) 1545558619.469 * * [misc]simplify: iters left: 6 (7 enodes) 1545558619.472 * * [misc]simplify: iters left: 5 (12 enodes) 1545558619.475 * * [misc]simplify: iters left: 4 (21 enodes) 1545558619.487 * * [misc]simplify: iters left: 3 (36 enodes) 1545558619.496 * * [misc]simplify: iters left: 2 (45 enodes) 1545558619.504 * * [misc]simplify: iters left: 1 (46 enodes) 1545558619.510 * [exit]simplify: Simplified to (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1)))) 1545558619.510 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1)))))) (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1)))))) 1545558619.510 * * * * [misc]progress: [ 50 / 81 ] simplifiying candidate # 1545558619.511 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545558619.511 * * [misc]simplify: iters left: 6 (7 enodes) 1545558619.513 * * [misc]simplify: iters left: 5 (12 enodes) 1545558619.516 * * [misc]simplify: iters left: 4 (21 enodes) 1545558619.526 * * [misc]simplify: iters left: 3 (36 enodes) 1545558619.534 * * [misc]simplify: iters left: 2 (45 enodes) 1545558619.543 * * [misc]simplify: iters left: 1 (46 enodes) 1545558619.549 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545558619.549 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1545558619.550 * * * * [misc]progress: [ 51 / 81 ] simplifiying candidate # 1545558619.550 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558619.550 * * [misc]simplify: iters left: 5 (6 enodes) 1545558619.552 * * [misc]simplify: iters left: 4 (11 enodes) 1545558619.555 * * [misc]simplify: iters left: 3 (20 enodes) 1545558619.565 * * [misc]simplify: iters left: 2 (35 enodes) 1545558619.572 * * [misc]simplify: iters left: 1 (41 enodes) 1545558619.578 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545558619.578 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt 1)) (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1545558619.578 * * * * [misc]progress: [ 52 / 81 ] simplifiying candidate # 1545558619.578 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545558619.578 * * [misc]simplify: iters left: 6 (7 enodes) 1545558619.579 * * [misc]simplify: iters left: 5 (12 enodes) 1545558619.581 * * [misc]simplify: iters left: 4 (21 enodes) 1545558619.586 * * [misc]simplify: iters left: 3 (36 enodes) 1545558619.590 * * [misc]simplify: iters left: 2 (45 enodes) 1545558619.595 * * [misc]simplify: iters left: 1 (46 enodes) 1545558619.598 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545558619.598 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1545558619.598 * * * * [misc]progress: [ 53 / 81 ] simplifiying candidate # 1545558619.598 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558619.598 * * [misc]simplify: iters left: 5 (6 enodes) 1545558619.599 * * [misc]simplify: iters left: 4 (11 enodes) 1545558619.601 * * [misc]simplify: iters left: 3 (20 enodes) 1545558619.610 * * [misc]simplify: iters left: 2 (35 enodes) 1545558619.618 * * [misc]simplify: iters left: 1 (41 enodes) 1545558619.626 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545558619.626 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) 1) (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1545558619.626 * * * * [misc]progress: [ 54 / 81 ] simplifiying candidate # 1545558619.627 * [enter]simplify: Simplifying (* (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1545558619.627 * * [misc]simplify: iters left: 6 (8 enodes) 1545558619.629 * * [misc]simplify: iters left: 5 (13 enodes) 1545558619.633 * * [misc]simplify: iters left: 4 (22 enodes) 1545558619.639 * * [misc]simplify: iters left: 3 (37 enodes) 1545558619.644 * * [misc]simplify: iters left: 2 (45 enodes) 1545558619.648 * * [misc]simplify: iters left: 1 (46 enodes) 1545558619.652 * [exit]simplify: Simplified to (* (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1545558619.652 * [misc]simplify: Simplified (2 1) to (λ (N) (* (* (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (* (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1545558619.652 * * * * [misc]progress: [ 55 / 81 ] simplifiying candidate # 1545558619.652 * [enter]simplify: Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) 1545558619.653 * * [misc]simplify: iters left: 6 (8 enodes) 1545558619.654 * * [misc]simplify: iters left: 5 (14 enodes) 1545558619.656 * * [misc]simplify: iters left: 4 (23 enodes) 1545558619.661 * * [misc]simplify: iters left: 3 (38 enodes) 1545558619.668 * * [misc]simplify: iters left: 2 (48 enodes) 1545558619.675 * * [misc]simplify: iters left: 1 (49 enodes) 1545558619.682 * [exit]simplify: Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) 1545558619.682 * [misc]simplify: Simplified (2 1) to (λ (N) (* (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) (* (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1545558619.682 * * * * [misc]progress: [ 56 / 81 ] simplifiying candidate # 1545558619.682 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545558619.683 * * [misc]simplify: iters left: 6 (7 enodes) 1545558619.684 * * [misc]simplify: iters left: 5 (12 enodes) 1545558619.688 * * [misc]simplify: iters left: 4 (21 enodes) 1545558619.698 * * [misc]simplify: iters left: 3 (36 enodes) 1545558619.707 * * [misc]simplify: iters left: 2 (45 enodes) 1545558619.715 * * [misc]simplify: iters left: 1 (46 enodes) 1545558619.721 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545558619.721 * [misc]simplify: Simplified (2 1) to (λ (N) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1545558619.722 * * * * [misc]progress: [ 57 / 81 ] simplifiying candidate # 1545558619.723 * [enter]simplify: Simplifying (sqrt 1) 1545558619.723 * * [misc]simplify: iters left: 1 (2 enodes) 1545558619.724 * [exit]simplify: Simplified to 1 1545558619.724 * [misc]simplify: Simplified (2 1) to (λ (N) (* 1 (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1545558619.724 * * * * [misc]progress: [ 58 / 81 ] simplifiying candidate # 1545558619.724 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545558619.724 * * [misc]simplify: iters left: 6 (7 enodes) 1545558619.725 * * [misc]simplify: iters left: 5 (12 enodes) 1545558619.727 * * [misc]simplify: iters left: 4 (21 enodes) 1545558619.732 * * [misc]simplify: iters left: 3 (36 enodes) 1545558619.736 * * [misc]simplify: iters left: 2 (45 enodes) 1545558619.740 * * [misc]simplify: iters left: 1 (46 enodes) 1545558619.744 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545558619.744 * [misc]simplify: Simplified (2 1) to (λ (N) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1545558619.744 * * * * [misc]progress: [ 59 / 81 ] simplifiying candidate # 1545558619.744 * * * * [misc]progress: [ 60 / 81 ] simplifiying candidate # 1545558619.744 * * * * [misc]progress: [ 61 / 81 ] simplifiying candidate # 1545558619.744 * * * * [misc]progress: [ 62 / 81 ] simplifiying candidate # 1545558619.744 * * * * [misc]progress: [ 63 / 81 ] simplifiying candidate # 1545558619.744 * * * * [misc]progress: [ 64 / 81 ] simplifiying candidate # 1545558619.744 * * * * [misc]progress: [ 65 / 81 ] simplifiying candidate # 1545558619.744 * * * * [misc]progress: [ 66 / 81 ] simplifiying candidate # 1545558619.744 * * * * [misc]progress: [ 67 / 81 ] simplifiying candidate # 1545558619.744 * * * * [misc]progress: [ 68 / 81 ] simplifiying candidate # 1545558619.744 * * * * [misc]progress: [ 69 / 81 ] simplifiying candidate # 1545558619.744 * * * * [misc]progress: [ 70 / 81 ] simplifiying candidate # 1545558619.744 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558619.744 * * [misc]simplify: iters left: 5 (6 enodes) 1545558619.745 * * [misc]simplify: iters left: 4 (11 enodes) 1545558619.747 * * [misc]simplify: iters left: 3 (20 enodes) 1545558619.753 * * [misc]simplify: iters left: 2 (35 enodes) 1545558619.761 * * [misc]simplify: iters left: 1 (41 enodes) 1545558619.769 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545558619.769 * [misc]simplify: Simplified (2 2) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1545558619.769 * * * * [misc]progress: [ 71 / 81 ] simplifiying candidate # 1545558619.769 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558619.769 * * [misc]simplify: iters left: 5 (6 enodes) 1545558619.771 * * [misc]simplify: iters left: 4 (11 enodes) 1545558619.774 * * [misc]simplify: iters left: 3 (20 enodes) 1545558619.784 * * [misc]simplify: iters left: 2 (35 enodes) 1545558619.791 * * [misc]simplify: iters left: 1 (41 enodes) 1545558619.799 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545558619.800 * [misc]simplify: Simplified (2 2) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1545558619.800 * * * * [misc]progress: [ 72 / 81 ] simplifiying candidate # 1545558619.800 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558619.800 * * [misc]simplify: iters left: 5 (6 enodes) 1545558619.802 * * [misc]simplify: iters left: 4 (11 enodes) 1545558619.805 * * [misc]simplify: iters left: 3 (20 enodes) 1545558619.813 * * [misc]simplify: iters left: 2 (35 enodes) 1545558619.817 * * [misc]simplify: iters left: 1 (41 enodes) 1545558619.821 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545558619.821 * [misc]simplify: Simplified (2 2) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1545558619.821 * * * * [misc]progress: [ 73 / 81 ] simplifiying candidate # 1545558619.821 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558619.821 * * [misc]simplify: iters left: 5 (6 enodes) 1545558619.822 * * [misc]simplify: iters left: 4 (11 enodes) 1545558619.824 * * [misc]simplify: iters left: 3 (20 enodes) 1545558619.830 * * [misc]simplify: iters left: 2 (35 enodes) 1545558619.833 * * [misc]simplify: iters left: 1 (41 enodes) 1545558619.837 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545558619.838 * [misc]simplify: Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1545558619.838 * * * * [misc]progress: [ 74 / 81 ] simplifiying candidate # 1545558619.838 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558619.838 * * [misc]simplify: iters left: 5 (6 enodes) 1545558619.839 * * [misc]simplify: iters left: 4 (11 enodes) 1545558619.842 * * [misc]simplify: iters left: 3 (20 enodes) 1545558619.851 * * [misc]simplify: iters left: 2 (35 enodes) 1545558619.859 * * [misc]simplify: iters left: 1 (41 enodes) 1545558619.867 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545558619.867 * [misc]simplify: Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1545558619.867 * * * * [misc]progress: [ 75 / 81 ] simplifiying candidate # 1545558619.868 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558619.868 * * [misc]simplify: iters left: 5 (6 enodes) 1545558619.869 * * [misc]simplify: iters left: 4 (11 enodes) 1545558619.870 * * [misc]simplify: iters left: 3 (20 enodes) 1545558619.875 * * [misc]simplify: iters left: 2 (35 enodes) 1545558619.879 * * [misc]simplify: iters left: 1 (41 enodes) 1545558619.883 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545558619.883 * [misc]simplify: Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1545558619.883 * * * * [misc]progress: [ 76 / 81 ] simplifiying candidate # 1545558619.883 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1545558619.884 * * [misc]simplify: iters left: 4 (5 enodes) 1545558619.884 * * [misc]simplify: iters left: 3 (10 enodes) 1545558619.886 * * [misc]simplify: iters left: 2 (19 enodes) 1545558619.891 * * [misc]simplify: iters left: 1 (34 enodes) 1545558619.895 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1545558619.895 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1545558619.895 * * * * [misc]progress: [ 77 / 81 ] simplifiying candidate # 1545558619.896 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1545558619.896 * * [misc]simplify: iters left: 4 (5 enodes) 1545558619.897 * * [misc]simplify: iters left: 3 (10 enodes) 1545558619.898 * * [misc]simplify: iters left: 2 (19 enodes) 1545558619.907 * * [misc]simplify: iters left: 1 (34 enodes) 1545558619.915 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1545558619.915 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1545558619.915 * * * * [misc]progress: [ 78 / 81 ] simplifiying candidate # 1545558619.916 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1545558619.916 * * [misc]simplify: iters left: 4 (5 enodes) 1545558619.917 * * [misc]simplify: iters left: 3 (10 enodes) 1545558619.920 * * [misc]simplify: iters left: 2 (19 enodes) 1545558619.930 * * [misc]simplify: iters left: 1 (34 enodes) 1545558619.940 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1545558619.940 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1545558619.940 * * * * [misc]progress: [ 79 / 81 ] simplifiying candidate # 1545558619.940 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1545558619.941 * * [misc]simplify: iters left: 4 (5 enodes) 1545558619.942 * * [misc]simplify: iters left: 3 (10 enodes) 1545558619.945 * * [misc]simplify: iters left: 2 (19 enodes) 1545558619.955 * * [misc]simplify: iters left: 1 (34 enodes) 1545558619.963 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1545558619.963 * [misc]simplify: Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1545558619.963 * * * * [misc]progress: [ 80 / 81 ] simplifiying candidate # 1545558619.963 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1545558619.963 * * [misc]simplify: iters left: 4 (5 enodes) 1545558619.965 * * [misc]simplify: iters left: 3 (10 enodes) 1545558619.968 * * [misc]simplify: iters left: 2 (19 enodes) 1545558619.978 * * [misc]simplify: iters left: 1 (34 enodes) 1545558619.986 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1545558619.986 * [misc]simplify: Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1545558619.986 * * * * [misc]progress: [ 81 / 81 ] simplifiying candidate # 1545558619.987 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1545558619.987 * * [misc]simplify: iters left: 4 (5 enodes) 1545558619.988 * * [misc]simplify: iters left: 3 (10 enodes) 1545558619.991 * * [misc]simplify: iters left: 2 (19 enodes) 1545558620.001 * * [misc]simplify: iters left: 1 (34 enodes) 1545558620.009 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1545558620.009 * [misc]simplify: Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1545558620.009 * * * [misc]progress: adding candidates to table 1545558620.898 * * [misc]progress: iteration 4 / 4 1545558620.898 * * * [misc]progress: picking best candidate 1545558620.913 * * * * [misc]pick: Picked # 1545558620.913 * * * [misc]progress: localizing error 1545558620.925 * * * [misc]progress: generating rewritten candidates 1545558620.925 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 2 1) 1545558620.926 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 2 1 1) 1545558620.926 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1) 1545558620.927 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2) 1545558620.947 * * * [misc]progress: generating series expansions 1545558620.947 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 2 1) 1545558620.947 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558620.947 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0 1545558620.947 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1545558620.947 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1545558620.947 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545558620.947 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558620.948 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545558620.948 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1545558620.948 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1545558620.948 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545558620.948 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558620.948 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545558620.948 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558620.948 * [misc]backup-simplify: Simplify 0 into 0 1545558620.949 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545558620.949 * [misc]backup-simplify: Simplify 0 into 0 1545558620.950 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545558620.950 * [misc]backup-simplify: Simplify 0 into 0 1545558620.951 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545558620.951 * [misc]backup-simplify: Simplify 0 into 0 1545558620.951 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545558620.951 * [misc]backup-simplify: Simplify 0 into 0 1545558620.952 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545558620.952 * [misc]backup-simplify: Simplify 0 into 0 1545558620.952 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558620.952 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1545558620.953 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0 1545558620.953 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1545558620.953 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1545558620.953 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545558620.953 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1545558620.953 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545558620.953 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1545558620.953 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1545558620.953 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545558620.953 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1545558620.954 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545558620.954 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1545558620.954 * [misc]backup-simplify: Simplify 0 into 0 1545558620.955 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545558620.955 * [misc]backup-simplify: Simplify 0 into 0 1545558620.955 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545558620.956 * [misc]backup-simplify: Simplify 0 into 0 1545558620.956 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545558620.957 * [misc]backup-simplify: Simplify 0 into 0 1545558620.957 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545558620.957 * [misc]backup-simplify: Simplify 0 into 0 1545558620.958 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545558620.959 * [misc]backup-simplify: Simplify 0 into 0 1545558620.959 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558620.959 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1545558620.959 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0 1545558620.959 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1545558620.959 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1545558620.959 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545558620.959 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1545558620.960 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545558620.960 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1545558620.960 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1545558620.960 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545558620.960 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1545558620.960 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545558620.960 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1545558620.960 * [misc]backup-simplify: Simplify 0 into 0 1545558620.962 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545558620.962 * [misc]backup-simplify: Simplify 0 into 0 1545558620.962 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545558620.962 * [misc]backup-simplify: Simplify 0 into 0 1545558620.963 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545558620.963 * [misc]backup-simplify: Simplify 0 into 0 1545558620.964 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545558620.964 * [misc]backup-simplify: Simplify 0 into 0 1545558620.965 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545558620.965 * [misc]backup-simplify: Simplify 0 into 0 1545558620.965 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558620.965 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 2 1 1) 1545558620.965 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558620.965 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0 1545558620.965 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1545558620.965 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1545558620.966 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545558620.966 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558620.966 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545558620.966 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1545558620.966 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1545558620.966 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545558620.966 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558620.966 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545558620.966 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558620.967 * [misc]backup-simplify: Simplify 0 into 0 1545558620.968 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545558620.968 * [misc]backup-simplify: Simplify 0 into 0 1545558620.968 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545558620.968 * [misc]backup-simplify: Simplify 0 into 0 1545558620.969 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545558620.969 * [misc]backup-simplify: Simplify 0 into 0 1545558620.970 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545558620.970 * [misc]backup-simplify: Simplify 0 into 0 1545558620.971 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545558620.971 * [misc]backup-simplify: Simplify 0 into 0 1545558620.971 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558620.971 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1545558620.971 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0 1545558620.971 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1545558620.971 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1545558620.971 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545558620.972 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1545558620.972 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545558620.972 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1545558620.972 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1545558620.972 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545558620.972 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1545558620.973 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545558620.973 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1545558620.973 * [misc]backup-simplify: Simplify 0 into 0 1545558620.974 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545558620.974 * [misc]backup-simplify: Simplify 0 into 0 1545558620.975 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545558620.975 * [misc]backup-simplify: Simplify 0 into 0 1545558620.976 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545558620.976 * [misc]backup-simplify: Simplify 0 into 0 1545558620.976 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545558620.976 * [misc]backup-simplify: Simplify 0 into 0 1545558620.977 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545558620.977 * [misc]backup-simplify: Simplify 0 into 0 1545558620.977 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558620.978 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1545558620.978 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0 1545558620.978 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1545558620.978 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1545558620.978 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545558620.978 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1545558620.978 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545558620.978 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1545558620.978 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1545558620.978 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545558620.978 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1545558620.979 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545558620.979 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1545558620.979 * [misc]backup-simplify: Simplify 0 into 0 1545558620.980 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545558620.980 * [misc]backup-simplify: Simplify 0 into 0 1545558620.980 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545558620.980 * [misc]backup-simplify: Simplify 0 into 0 1545558620.981 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545558620.981 * [misc]backup-simplify: Simplify 0 into 0 1545558620.982 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545558620.982 * [misc]backup-simplify: Simplify 0 into 0 1545558620.983 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545558620.983 * [misc]backup-simplify: Simplify 0 into 0 1545558620.983 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558620.983 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1) 1545558620.984 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558620.984 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0 1545558620.984 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1545558620.984 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1545558620.984 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545558620.984 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558620.984 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545558620.984 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1545558620.984 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1545558620.984 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545558620.984 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558620.984 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545558620.985 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558620.985 * [misc]backup-simplify: Simplify 0 into 0 1545558620.986 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545558620.986 * [misc]backup-simplify: Simplify 0 into 0 1545558620.986 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545558620.986 * [misc]backup-simplify: Simplify 0 into 0 1545558620.987 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545558620.987 * [misc]backup-simplify: Simplify 0 into 0 1545558620.988 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545558620.988 * [misc]backup-simplify: Simplify 0 into 0 1545558620.989 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545558620.989 * [misc]backup-simplify: Simplify 0 into 0 1545558620.989 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558620.989 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1545558620.989 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0 1545558620.989 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1545558620.989 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1545558620.989 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545558620.990 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1545558620.990 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545558620.990 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1545558620.990 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1545558620.990 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545558620.990 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1545558620.990 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545558620.991 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1545558620.991 * [misc]backup-simplify: Simplify 0 into 0 1545558620.992 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545558620.992 * [misc]backup-simplify: Simplify 0 into 0 1545558620.992 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545558620.992 * [misc]backup-simplify: Simplify 0 into 0 1545558620.993 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545558620.993 * [misc]backup-simplify: Simplify 0 into 0 1545558620.994 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545558620.994 * [misc]backup-simplify: Simplify 0 into 0 1545558620.995 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545558620.995 * [misc]backup-simplify: Simplify 0 into 0 1545558620.995 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558620.995 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1545558620.995 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0 1545558620.995 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1545558620.996 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1545558620.996 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545558620.996 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1545558620.996 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545558620.996 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1545558620.996 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1545558620.996 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545558620.996 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1545558620.997 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545558620.997 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1545558620.997 * [misc]backup-simplify: Simplify 0 into 0 1545558620.998 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545558620.998 * [misc]backup-simplify: Simplify 0 into 0 1545558620.999 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545558620.999 * [misc]backup-simplify: Simplify 0 into 0 1545558621.000 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545558621.000 * [misc]backup-simplify: Simplify 0 into 0 1545558621.000 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545558621.000 * [misc]backup-simplify: Simplify 0 into 0 1545558621.001 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545558621.001 * [misc]backup-simplify: Simplify 0 into 0 1545558621.002 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558621.002 * * * * [misc]progress: [ 4 / 4 ] generating series at (2) 1545558621.002 * [misc]backup-simplify: Simplify (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) into (atan2 1 (fma N (+ N 1) 1)) 1545558621.002 * [misc]approximate: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0 1545558621.002 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1545558621.002 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545558621.002 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1545558621.002 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545558621.003 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545558621.003 * [misc]backup-simplify: Simplify 0 into 0 1545558621.003 * [misc]backup-simplify: Simplify 0 into 0 1545558621.003 * [misc]backup-simplify: Simplify 0 into 0 1545558621.003 * [misc]backup-simplify: Simplify 0 into 0 1545558621.003 * [misc]backup-simplify: Simplify 0 into 0 1545558621.003 * [misc]backup-simplify: Simplify 0 into 0 1545558621.003 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545558621.004 * [misc]backup-simplify: Simplify (* (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) (* (sqrt (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)))) (sqrt (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)))))) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545558621.004 * [misc]approximate: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0 1545558621.004 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1545558621.004 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545558621.004 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1545558621.004 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545558621.004 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545558621.004 * [misc]backup-simplify: Simplify 0 into 0 1545558621.004 * [misc]backup-simplify: Simplify 0 into 0 1545558621.004 * [misc]backup-simplify: Simplify 0 into 0 1545558621.004 * [misc]backup-simplify: Simplify 0 into 0 1545558621.005 * [misc]backup-simplify: Simplify 0 into 0 1545558621.005 * [misc]backup-simplify: Simplify 0 into 0 1545558621.005 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545558621.005 * [misc]backup-simplify: Simplify (* (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1))) (* (sqrt (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)))) (sqrt (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)))))) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545558621.005 * [misc]approximate: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0 1545558621.006 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1545558621.006 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545558621.006 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1545558621.006 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545558621.006 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545558621.006 * [misc]backup-simplify: Simplify 0 into 0 1545558621.006 * [misc]backup-simplify: Simplify 0 into 0 1545558621.006 * [misc]backup-simplify: Simplify 0 into 0 1545558621.006 * [misc]backup-simplify: Simplify 0 into 0 1545558621.006 * [misc]backup-simplify: Simplify 0 into 0 1545558621.006 * [misc]backup-simplify: Simplify 0 into 0 1545558621.007 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545558621.007 * * * [misc]progress: simplifying candidates 1545558621.007 * * * * [misc]progress: [ 1 / 80 ] simplifiying candidate # 1545558621.007 * * * * [misc]progress: [ 2 / 80 ] simplifiying candidate # 1545558621.007 * * * * [misc]progress: [ 3 / 80 ] simplifiying candidate # 1545558621.007 * * * * [misc]progress: [ 4 / 80 ] simplifiying candidate # 1545558621.007 * * * * [misc]progress: [ 5 / 80 ] simplifiying candidate # 1545558621.007 * * * * [misc]progress: [ 6 / 80 ] simplifiying candidate # 1545558621.007 * * * * [misc]progress: [ 7 / 80 ] simplifiying candidate # 1545558621.007 * * * * [misc]progress: [ 8 / 80 ] simplifiying candidate # 1545558621.007 * * * * [misc]progress: [ 9 / 80 ] simplifiying candidate # 1545558621.008 * [enter]simplify: Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) 1545558621.008 * * [misc]simplify: iters left: 6 (8 enodes) 1545558621.010 * * [misc]simplify: iters left: 5 (14 enodes) 1545558621.014 * * [misc]simplify: iters left: 4 (23 enodes) 1545558621.025 * * [misc]simplify: iters left: 3 (38 enodes) 1545558621.034 * * [misc]simplify: iters left: 2 (48 enodes) 1545558621.043 * * [misc]simplify: iters left: 1 (49 enodes) 1545558621.050 * [exit]simplify: Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) 1545558621.050 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (* (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1))))))))) 1545558621.050 * * * * [misc]progress: [ 10 / 80 ] simplifiying candidate # 1545558621.051 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545558621.051 * * [misc]simplify: iters left: 6 (7 enodes) 1545558621.053 * * [misc]simplify: iters left: 5 (12 enodes) 1545558621.059 * * [misc]simplify: iters left: 4 (21 enodes) 1545558621.069 * * [misc]simplify: iters left: 3 (36 enodes) 1545558621.078 * * [misc]simplify: iters left: 2 (45 enodes) 1545558621.083 * * [misc]simplify: iters left: 1 (46 enodes) 1545558621.086 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545558621.087 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))))) 1545558621.087 * * * * [misc]progress: [ 11 / 80 ] simplifiying candidate # 1545558621.087 * [enter]simplify: Simplifying (sqrt 1) 1545558621.087 * * [misc]simplify: iters left: 1 (2 enodes) 1545558621.088 * [exit]simplify: Simplified to 1 1545558621.088 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (* 1 (sqrt (atan2 1 (fma N (+ N 1) 1)))))))) 1545558621.088 * * * * [misc]progress: [ 12 / 80 ] simplifiying candidate # 1545558621.088 * * * * [misc]progress: [ 13 / 80 ] simplifiying candidate # 1545558621.088 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558621.088 * * [misc]simplify: iters left: 5 (6 enodes) 1545558621.089 * * [misc]simplify: iters left: 4 (11 enodes) 1545558621.091 * * [misc]simplify: iters left: 3 (20 enodes) 1545558621.095 * * [misc]simplify: iters left: 2 (35 enodes) 1545558621.099 * * [misc]simplify: iters left: 1 (41 enodes) 1545558621.104 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545558621.104 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (fabs (sqrt (atan2 1 (+ 1 (fma N N N))))))))) 1545558621.104 * * * * [misc]progress: [ 14 / 80 ] simplifiying candidate # 1545558621.104 * * * * [misc]progress: [ 15 / 80 ] simplifiying candidate # 1545558621.104 * * * * [misc]progress: [ 16 / 80 ] simplifiying candidate # 1545558621.104 * * * * [misc]progress: [ 17 / 80 ] simplifiying candidate # 1545558621.104 * * * * [misc]progress: [ 18 / 80 ] simplifiying candidate # 1545558621.104 * * * * [misc]progress: [ 19 / 80 ] simplifiying candidate # 1545558621.104 * * * * [misc]progress: [ 20 / 80 ] simplifiying candidate # 1545558621.104 * * * * [misc]progress: [ 21 / 80 ] simplifiying candidate # 1545558621.104 * * * * [misc]progress: [ 22 / 80 ] simplifiying candidate # 1545558621.104 * * * * [misc]progress: [ 23 / 80 ] simplifiying candidate # 1545558621.104 * [enter]simplify: Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) 1545558621.104 * * [misc]simplify: iters left: 6 (8 enodes) 1545558621.106 * * [misc]simplify: iters left: 5 (14 enodes) 1545558621.108 * * [misc]simplify: iters left: 4 (23 enodes) 1545558621.113 * * [misc]simplify: iters left: 3 (38 enodes) 1545558621.117 * * [misc]simplify: iters left: 2 (48 enodes) 1545558621.122 * * [misc]simplify: iters left: 1 (49 enodes) 1545558621.127 * [exit]simplify: Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) 1545558621.127 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (* (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1)))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1545558621.127 * * * * [misc]progress: [ 24 / 80 ] simplifiying candidate # 1545558621.128 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545558621.128 * * [misc]simplify: iters left: 6 (7 enodes) 1545558621.130 * * [misc]simplify: iters left: 5 (12 enodes) 1545558621.133 * * [misc]simplify: iters left: 4 (21 enodes) 1545558621.143 * * [misc]simplify: iters left: 3 (36 enodes) 1545558621.152 * * [misc]simplify: iters left: 2 (45 enodes) 1545558621.160 * * [misc]simplify: iters left: 1 (46 enodes) 1545558621.168 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545558621.168 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1545558621.168 * * * * [misc]progress: [ 25 / 80 ] simplifiying candidate # 1545558621.168 * [enter]simplify: Simplifying (sqrt 1) 1545558621.168 * * [misc]simplify: iters left: 1 (2 enodes) 1545558621.169 * [exit]simplify: Simplified to 1 1545558621.169 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (* 1 (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1545558621.169 * * * * [misc]progress: [ 26 / 80 ] simplifiying candidate # 1545558621.169 * * * * [misc]progress: [ 27 / 80 ] simplifiying candidate # 1545558621.169 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558621.169 * * [misc]simplify: iters left: 5 (6 enodes) 1545558621.170 * * [misc]simplify: iters left: 4 (11 enodes) 1545558621.172 * * [misc]simplify: iters left: 3 (20 enodes) 1545558621.177 * * [misc]simplify: iters left: 2 (35 enodes) 1545558621.181 * * [misc]simplify: iters left: 1 (41 enodes) 1545558621.185 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545558621.185 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (fabs (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1545558621.185 * * * * [misc]progress: [ 28 / 80 ] simplifiying candidate # 1545558621.185 * * * * [misc]progress: [ 29 / 80 ] simplifiying candidate # 1545558621.185 * * * * [misc]progress: [ 30 / 80 ] simplifiying candidate # 1545558621.185 * * * * [misc]progress: [ 31 / 80 ] simplifiying candidate # 1545558621.185 * * * * [misc]progress: [ 32 / 80 ] simplifiying candidate # 1545558621.185 * * * * [misc]progress: [ 33 / 80 ] simplifiying candidate # 1545558621.185 * * * * [misc]progress: [ 34 / 80 ] simplifiying candidate # 1545558621.185 * * * * [misc]progress: [ 35 / 80 ] simplifiying candidate # 1545558621.185 * * * * [misc]progress: [ 36 / 80 ] simplifiying candidate # 1545558621.185 * * * * [misc]progress: [ 37 / 80 ] simplifiying candidate # 1545558621.186 * [enter]simplify: Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) 1545558621.186 * * [misc]simplify: iters left: 6 (8 enodes) 1545558621.187 * * [misc]simplify: iters left: 5 (14 enodes) 1545558621.189 * * [misc]simplify: iters left: 4 (23 enodes) 1545558621.194 * * [misc]simplify: iters left: 3 (38 enodes) 1545558621.199 * * [misc]simplify: iters left: 2 (48 enodes) 1545558621.203 * * [misc]simplify: iters left: 1 (49 enodes) 1545558621.207 * [exit]simplify: Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) 1545558621.207 * [misc]simplify: Simplified (2 1 1) to (λ (N) (* (* (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1))))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1545558621.207 * * * * [misc]progress: [ 38 / 80 ] simplifiying candidate # 1545558621.207 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545558621.207 * * [misc]simplify: iters left: 6 (7 enodes) 1545558621.208 * * [misc]simplify: iters left: 5 (12 enodes) 1545558621.210 * * [misc]simplify: iters left: 4 (21 enodes) 1545558621.215 * * [misc]simplify: iters left: 3 (36 enodes) 1545558621.220 * * [misc]simplify: iters left: 2 (45 enodes) 1545558621.224 * * [misc]simplify: iters left: 1 (46 enodes) 1545558621.232 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545558621.232 * [misc]simplify: Simplified (2 1 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1545558621.232 * * * * [misc]progress: [ 39 / 80 ] simplifiying candidate # 1545558621.232 * [enter]simplify: Simplifying (sqrt 1) 1545558621.232 * * [misc]simplify: iters left: 1 (2 enodes) 1545558621.234 * [exit]simplify: Simplified to 1 1545558621.234 * [misc]simplify: Simplified (2 1 1) to (λ (N) (* (* 1 (sqrt (atan2 1 (fma N (+ N 1) 1)))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1545558621.234 * * * * [misc]progress: [ 40 / 80 ] simplifiying candidate # 1545558621.234 * * * * [misc]progress: [ 41 / 80 ] simplifiying candidate # 1545558621.234 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558621.234 * * [misc]simplify: iters left: 5 (6 enodes) 1545558621.236 * * [misc]simplify: iters left: 4 (11 enodes) 1545558621.239 * * [misc]simplify: iters left: 3 (20 enodes) 1545558621.249 * * [misc]simplify: iters left: 2 (35 enodes) 1545558621.257 * * [misc]simplify: iters left: 1 (41 enodes) 1545558621.267 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545558621.267 * [misc]simplify: Simplified (2 1 1) to (λ (N) (* (fabs (sqrt (atan2 1 (+ 1 (fma N N N))))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1545558621.267 * * * * [misc]progress: [ 42 / 80 ] simplifiying candidate # 1545558621.267 * * * * [misc]progress: [ 43 / 80 ] simplifiying candidate # 1545558621.267 * * * * [misc]progress: [ 44 / 80 ] simplifiying candidate # 1545558621.267 * * * * [misc]progress: [ 45 / 80 ] simplifiying candidate # 1545558621.267 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558621.267 * * [misc]simplify: iters left: 5 (6 enodes) 1545558621.269 * * [misc]simplify: iters left: 4 (11 enodes) 1545558621.272 * * [misc]simplify: iters left: 3 (20 enodes) 1545558621.283 * * [misc]simplify: iters left: 2 (35 enodes) 1545558621.291 * * [misc]simplify: iters left: 1 (41 enodes) 1545558621.299 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545558621.299 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (sqrt (atan2 1 (+ 1 (fma N N N)))) (+ 1 (+ 1/2 1/2)))) 1545558621.300 * [enter]simplify: Simplifying (+ 1 (+ 1/2 1/2)) 1545558621.300 * * [misc]simplify: iters left: 4 (4 enodes) 1545558621.304 * * [misc]simplify: iters left: 3 (11 enodes) 1545558621.306 * [exit]simplify: Simplified to 2 1545558621.306 * [misc]simplify: Simplified (2 2) to (λ (N) (pow (sqrt (atan2 1 (fma N (+ N 1) 1))) 2)) 1545558621.306 * * * * [misc]progress: [ 46 / 80 ] simplifiying candidate # 1545558621.306 * [enter]simplify: Simplifying (* (atan2 1 (fma N (+ N 1) 1)) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1545558621.306 * * [misc]simplify: iters left: 6 (8 enodes) 1545558621.309 * * [misc]simplify: iters left: 5 (16 enodes) 1545558621.314 * * [misc]simplify: iters left: 4 (30 enodes) 1545558621.327 * * [misc]simplify: iters left: 3 (47 enodes) 1545558621.338 * * [misc]simplify: iters left: 2 (60 enodes) 1545558621.346 * * [misc]simplify: iters left: 1 (61 enodes) 1545558621.351 * [exit]simplify: Simplified to (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) 1545558621.351 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) 1/2)) 1545558621.351 * * * * [misc]progress: [ 47 / 80 ] simplifiying candidate # 1545558621.351 * [enter]simplify: Simplifying (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1545558621.351 * * [misc]simplify: iters left: 6 (9 enodes) 1545558621.354 * * [misc]simplify: iters left: 5 (17 enodes) 1545558621.359 * * [misc]simplify: iters left: 4 (31 enodes) 1545558621.371 * * [misc]simplify: iters left: 3 (49 enodes) 1545558621.382 * * [misc]simplify: iters left: 2 (62 enodes) 1545558621.394 * * [misc]simplify: iters left: 1 (63 enodes) 1545558621.403 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1545558621.403 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (atan2 1 (fma N (+ N 1) 1)) 1)) 1545558621.403 * * * * [misc]progress: [ 48 / 80 ] simplifiying candidate # 1545558621.403 * [enter]simplify: Simplifying (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1545558621.403 * * [misc]simplify: iters left: 6 (9 enodes) 1545558621.408 * * [misc]simplify: iters left: 5 (17 enodes) 1545558621.413 * * [misc]simplify: iters left: 4 (31 enodes) 1545558621.425 * * [misc]simplify: iters left: 3 (49 enodes) 1545558621.436 * * [misc]simplify: iters left: 2 (62 enodes) 1545558621.447 * * [misc]simplify: iters left: 1 (63 enodes) 1545558621.456 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1545558621.456 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (atan2 1 (fma N (+ N 1) 1)) 1)) 1545558621.456 * * * * [misc]progress: [ 49 / 80 ] simplifiying candidate # 1545558621.457 * * * * [misc]progress: [ 50 / 80 ] simplifiying candidate # 1545558621.457 * [enter]simplify: Simplifying (+ (log (sqrt (atan2 1 (fma N (+ N 1) 1)))) (+ (log (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (log (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1545558621.457 * * [misc]simplify: iters left: 6 (11 enodes) 1545558621.460 * * [misc]simplify: iters left: 5 (19 enodes) 1545558621.465 * * [misc]simplify: iters left: 4 (30 enodes) 1545558621.477 * * [misc]simplify: iters left: 3 (45 enodes) 1545558621.486 * * [misc]simplify: iters left: 2 (55 enodes) 1545558621.496 * * [misc]simplify: iters left: 1 (56 enodes) 1545558621.506 * [exit]simplify: Simplified to (+ (log (sqrt (atan2 1 (+ 1 (fma N N N))))) (+ (log (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (log (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))))) 1545558621.506 * [misc]simplify: Simplified (2 1) to (λ (N) (exp (+ (log (sqrt (atan2 1 (+ 1 (fma N N N))))) (+ (log (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (log (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))))))) 1545558621.506 * * * * [misc]progress: [ 51 / 80 ] simplifiying candidate # 1545558621.507 * [enter]simplify: Simplifying (+ (log (sqrt (atan2 1 (fma N (+ N 1) 1)))) (log (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1545558621.507 * * [misc]simplify: iters left: 6 (11 enodes) 1545558621.510 * * [misc]simplify: iters left: 5 (19 enodes) 1545558621.513 * * [misc]simplify: iters left: 4 (35 enodes) 1545558621.520 * * [misc]simplify: iters left: 3 (52 enodes) 1545558621.526 * * [misc]simplify: iters left: 2 (60 enodes) 1545558621.531 * * [misc]simplify: iters left: 1 (61 enodes) 1545558621.537 * [exit]simplify: Simplified to (+ (log (sqrt (atan2 1 (+ 1 (fma N N N))))) (log (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1545558621.537 * [misc]simplify: Simplified (2 1) to (λ (N) (exp (+ (log (sqrt (atan2 1 (+ 1 (fma N N N))))) (log (sqrt (atan2 1 (+ 1 (fma N N N)))))))) 1545558621.538 * * * * [misc]progress: [ 52 / 80 ] simplifiying candidate # 1545558621.538 * * * * [misc]progress: [ 53 / 80 ] simplifiying candidate # 1545558621.538 * * * * [misc]progress: [ 54 / 80 ] simplifiying candidate # 1545558621.538 * [enter]simplify: Simplifying (* (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (* (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1545558621.538 * * [misc]simplify: iters left: 6 (13 enodes) 1545558621.541 * * [misc]simplify: iters left: 5 (32 enodes) 1545558621.547 * * [misc]simplify: iters left: 4 (78 enodes) 1545558621.565 * * [misc]simplify: iters left: 3 (138 enodes) 1545558621.593 * * [misc]simplify: iters left: 2 (170 enodes) 1545558621.629 * * [misc]simplify: iters left: 1 (174 enodes) 1545558621.652 * [exit]simplify: Simplified to (pow (atan2 1 (fma N (+ N 1) 1)) 3) 1545558621.652 * [misc]simplify: Simplified (2 1) to (λ (N) (cbrt (pow (atan2 1 (fma N (+ N 1) 1)) 3))) 1545558621.652 * * * * [misc]progress: [ 55 / 80 ] simplifiying candidate # 1545558621.653 * [enter]simplify: Simplifying (* (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (* (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1545558621.653 * * [misc]simplify: iters left: 6 (13 enodes) 1545558621.659 * * [misc]simplify: iters left: 5 (32 enodes) 1545558621.669 * * [misc]simplify: iters left: 4 (69 enodes) 1545558621.699 * * [misc]simplify: iters left: 3 (137 enodes) 1545558621.752 * * [misc]simplify: iters left: 2 (179 enodes) 1545558621.806 * * [misc]simplify: iters left: 1 (181 enodes) 1545558621.831 * [exit]simplify: Simplified to (pow (atan2 1 (fma N (+ N 1) 1)) 3) 1545558621.831 * [misc]simplify: Simplified (2 1) to (λ (N) (cbrt (pow (atan2 1 (fma N (+ N 1) 1)) 3))) 1545558621.831 * * * * [misc]progress: [ 56 / 80 ] simplifiying candidate # 1545558621.831 * * * * [misc]progress: [ 57 / 80 ] simplifiying candidate # 1545558621.831 * * * * [misc]progress: [ 58 / 80 ] simplifiying candidate # 1545558621.831 * [enter]simplify: Simplifying (* (atan2 1 (fma N (+ N 1) 1)) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1545558621.831 * * [misc]simplify: iters left: 6 (8 enodes) 1545558621.833 * * [misc]simplify: iters left: 5 (16 enodes) 1545558621.835 * * [misc]simplify: iters left: 4 (30 enodes) 1545558621.841 * * [misc]simplify: iters left: 3 (47 enodes) 1545558621.847 * * [misc]simplify: iters left: 2 (60 enodes) 1545558621.852 * * [misc]simplify: iters left: 1 (61 enodes) 1545558621.858 * [exit]simplify: Simplified to (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) 1545558621.858 * [misc]simplify: Simplified (2 1) to (λ (N) (sqrt (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))))) 1545558621.858 * * * * [misc]progress: [ 59 / 80 ] simplifiying candidate # 1545558621.858 * * * * [misc]progress: [ 60 / 80 ] simplifiying candidate # 1545558621.858 * * * * [misc]progress: [ 61 / 80 ] simplifiying candidate # 1545558621.858 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545558621.858 * * [misc]simplify: iters left: 6 (7 enodes) 1545558621.860 * * [misc]simplify: iters left: 5 (12 enodes) 1545558621.863 * * [misc]simplify: iters left: 4 (21 enodes) 1545558621.873 * * [misc]simplify: iters left: 3 (36 enodes) 1545558621.881 * * [misc]simplify: iters left: 2 (45 enodes) 1545558621.889 * * [misc]simplify: iters left: 1 (46 enodes) 1545558621.896 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545558621.896 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1545558621.896 * * * * [misc]progress: [ 62 / 80 ] simplifiying candidate # 1545558621.896 * [enter]simplify: Simplifying (* (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1545558621.896 * * [misc]simplify: iters left: 6 (8 enodes) 1545558621.897 * * [misc]simplify: iters left: 5 (13 enodes) 1545558621.899 * * [misc]simplify: iters left: 4 (22 enodes) 1545558621.904 * * [misc]simplify: iters left: 3 (37 enodes) 1545558621.908 * * [misc]simplify: iters left: 2 (45 enodes) 1545558621.912 * * [misc]simplify: iters left: 1 (46 enodes) 1545558621.916 * [exit]simplify: Simplified to (* (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1545558621.916 * [misc]simplify: Simplified (2 1) to (λ (N) (* (* (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (* (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))))) 1545558621.916 * * * * [misc]progress: [ 63 / 80 ] simplifiying candidate # 1545558621.916 * [enter]simplify: Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) 1545558621.916 * * [misc]simplify: iters left: 6 (8 enodes) 1545558621.918 * * [misc]simplify: iters left: 5 (14 enodes) 1545558621.920 * * [misc]simplify: iters left: 4 (23 enodes) 1545558621.925 * * [misc]simplify: iters left: 3 (38 enodes) 1545558621.930 * * [misc]simplify: iters left: 2 (48 enodes) 1545558621.934 * * [misc]simplify: iters left: 1 (49 enodes) 1545558621.938 * [exit]simplify: Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) 1545558621.938 * [misc]simplify: Simplified (2 1) to (λ (N) (* (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) (* (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1)))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))))) 1545558621.938 * * * * [misc]progress: [ 64 / 80 ] simplifiying candidate # 1545558621.939 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545558621.939 * * [misc]simplify: iters left: 6 (7 enodes) 1545558621.940 * * [misc]simplify: iters left: 5 (12 enodes) 1545558621.942 * * [misc]simplify: iters left: 4 (21 enodes) 1545558621.947 * * [misc]simplify: iters left: 3 (36 enodes) 1545558621.953 * * [misc]simplify: iters left: 2 (45 enodes) 1545558621.957 * * [misc]simplify: iters left: 1 (46 enodes) 1545558621.961 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545558621.961 * [misc]simplify: Simplified (2 1) to (λ (N) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))))) 1545558621.961 * * * * [misc]progress: [ 65 / 80 ] simplifiying candidate # 1545558621.961 * [enter]simplify: Simplifying (sqrt 1) 1545558621.961 * * [misc]simplify: iters left: 1 (2 enodes) 1545558621.962 * [exit]simplify: Simplified to 1 1545558621.962 * [misc]simplify: Simplified (2 1) to (λ (N) (* 1 (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))))) 1545558621.962 * * * * [misc]progress: [ 66 / 80 ] simplifiying candidate # 1545558621.963 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545558621.963 * * [misc]simplify: iters left: 6 (7 enodes) 1545558621.964 * * [misc]simplify: iters left: 5 (12 enodes) 1545558621.966 * * [misc]simplify: iters left: 4 (21 enodes) 1545558621.971 * * [misc]simplify: iters left: 3 (36 enodes) 1545558621.975 * * [misc]simplify: iters left: 2 (45 enodes) 1545558621.979 * * [misc]simplify: iters left: 1 (46 enodes) 1545558621.983 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545558621.983 * [misc]simplify: Simplified (2 1) to (λ (N) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))))) 1545558621.983 * * * * [misc]progress: [ 67 / 80 ] simplifiying candidate # 1545558621.983 * * * * [misc]progress: [ 68 / 80 ] simplifiying candidate # 1545558621.983 * * * * [misc]progress: [ 69 / 80 ] simplifiying candidate # 1545558621.983 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558621.983 * * [misc]simplify: iters left: 5 (6 enodes) 1545558621.984 * * [misc]simplify: iters left: 4 (11 enodes) 1545558621.985 * * [misc]simplify: iters left: 3 (20 enodes) 1545558621.991 * * [misc]simplify: iters left: 2 (35 enodes) 1545558621.994 * * [misc]simplify: iters left: 1 (41 enodes) 1545558622.002 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545558622.002 * [misc]simplify: Simplified (2 2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))))) 1545558622.002 * * * * [misc]progress: [ 70 / 80 ] simplifiying candidate # 1545558622.002 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558622.002 * * [misc]simplify: iters left: 5 (6 enodes) 1545558622.004 * * [misc]simplify: iters left: 4 (11 enodes) 1545558622.007 * * [misc]simplify: iters left: 3 (20 enodes) 1545558622.017 * * [misc]simplify: iters left: 2 (35 enodes) 1545558622.025 * * [misc]simplify: iters left: 1 (41 enodes) 1545558622.033 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545558622.033 * [misc]simplify: Simplified (2 2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))))) 1545558622.033 * * * * [misc]progress: [ 71 / 80 ] simplifiying candidate # 1545558622.033 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558622.034 * * [misc]simplify: iters left: 5 (6 enodes) 1545558622.035 * * [misc]simplify: iters left: 4 (11 enodes) 1545558622.038 * * [misc]simplify: iters left: 3 (20 enodes) 1545558622.049 * * [misc]simplify: iters left: 2 (35 enodes) 1545558622.058 * * [misc]simplify: iters left: 1 (41 enodes) 1545558622.065 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545558622.065 * [misc]simplify: Simplified (2 2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))))) 1545558622.065 * * * * [misc]progress: [ 72 / 80 ] simplifiying candidate # 1545558622.065 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558622.065 * * [misc]simplify: iters left: 5 (6 enodes) 1545558622.066 * * [misc]simplify: iters left: 4 (11 enodes) 1545558622.067 * * [misc]simplify: iters left: 3 (20 enodes) 1545558622.072 * * [misc]simplify: iters left: 2 (35 enodes) 1545558622.076 * * [misc]simplify: iters left: 1 (41 enodes) 1545558622.080 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545558622.080 * [misc]simplify: Simplified (2 2 1 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1545558622.080 * * * * [misc]progress: [ 73 / 80 ] simplifiying candidate # 1545558622.080 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558622.080 * * [misc]simplify: iters left: 5 (6 enodes) 1545558622.081 * * [misc]simplify: iters left: 4 (11 enodes) 1545558622.083 * * [misc]simplify: iters left: 3 (20 enodes) 1545558622.088 * * [misc]simplify: iters left: 2 (35 enodes) 1545558622.092 * * [misc]simplify: iters left: 1 (41 enodes) 1545558622.096 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545558622.097 * [misc]simplify: Simplified (2 2 1 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1545558622.097 * * * * [misc]progress: [ 74 / 80 ] simplifiying candidate # 1545558622.097 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558622.097 * * [misc]simplify: iters left: 5 (6 enodes) 1545558622.099 * * [misc]simplify: iters left: 4 (11 enodes) 1545558622.102 * * [misc]simplify: iters left: 3 (20 enodes) 1545558622.112 * * [misc]simplify: iters left: 2 (35 enodes) 1545558622.120 * * [misc]simplify: iters left: 1 (41 enodes) 1545558622.128 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545558622.128 * [misc]simplify: Simplified (2 2 1 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1545558622.128 * * * * [misc]progress: [ 75 / 80 ] simplifiying candidate # 1545558622.129 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558622.129 * * [misc]simplify: iters left: 5 (6 enodes) 1545558622.130 * * [misc]simplify: iters left: 4 (11 enodes) 1545558622.132 * * [misc]simplify: iters left: 3 (20 enodes) 1545558622.137 * * [misc]simplify: iters left: 2 (35 enodes) 1545558622.141 * * [misc]simplify: iters left: 1 (41 enodes) 1545558622.145 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545558622.145 * [misc]simplify: Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1545558622.145 * * * * [misc]progress: [ 76 / 80 ] simplifiying candidate # 1545558622.145 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558622.145 * * [misc]simplify: iters left: 5 (6 enodes) 1545558622.146 * * [misc]simplify: iters left: 4 (11 enodes) 1545558622.148 * * [misc]simplify: iters left: 3 (20 enodes) 1545558622.154 * * [misc]simplify: iters left: 2 (35 enodes) 1545558622.158 * * [misc]simplify: iters left: 1 (41 enodes) 1545558622.161 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545558622.162 * [misc]simplify: Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1545558622.162 * * * * [misc]progress: [ 77 / 80 ] simplifiying candidate # 1545558622.162 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545558622.162 * * [misc]simplify: iters left: 5 (6 enodes) 1545558622.163 * * [misc]simplify: iters left: 4 (11 enodes) 1545558622.164 * * [misc]simplify: iters left: 3 (20 enodes) 1545558622.169 * * [misc]simplify: iters left: 2 (35 enodes) 1545558622.173 * * [misc]simplify: iters left: 1 (41 enodes) 1545558622.177 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545558622.177 * [misc]simplify: Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1545558622.177 * * * * [misc]progress: [ 78 / 80 ] simplifiying candidate # 1545558622.177 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1545558622.178 * * [misc]simplify: iters left: 4 (5 enodes) 1545558622.178 * * [misc]simplify: iters left: 3 (10 enodes) 1545558622.180 * * [misc]simplify: iters left: 2 (19 enodes) 1545558622.185 * * [misc]simplify: iters left: 1 (34 enodes) 1545558622.189 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1545558622.189 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1545558622.189 * * * * [misc]progress: [ 79 / 80 ] simplifiying candidate # 1545558622.189 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1545558622.189 * * [misc]simplify: iters left: 4 (5 enodes) 1545558622.190 * * [misc]simplify: iters left: 3 (10 enodes) 1545558622.192 * * [misc]simplify: iters left: 2 (19 enodes) 1545558622.197 * * [misc]simplify: iters left: 1 (34 enodes) 1545558622.201 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1545558622.201 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1545558622.201 * * * * [misc]progress: [ 80 / 80 ] simplifiying candidate # 1545558622.201 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1545558622.201 * * [misc]simplify: iters left: 4 (5 enodes) 1545558622.202 * * [misc]simplify: iters left: 3 (10 enodes) 1545558622.204 * * [misc]simplify: iters left: 2 (19 enodes) 1545558622.209 * * [misc]simplify: iters left: 1 (34 enodes) 1545558622.213 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1545558622.213 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1545558622.213 * * * [misc]progress: adding candidates to table 1545558623.024 * [misc]progress: [Phase 3 of 3] Extracting. 1545558623.024 * * [misc]regime: Finding splitpoints for: (# # # # # # #) 1545558623.026 * * * [misc]regime-changes: Trying 1 branch expressions: (N) 1545558623.026 * * * * [misc]regimes: Trying to branch on N from (# # # # # # #) 1545558623.100 * * * [misc]regime: Found split indices: #