0.002 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.545 * * * [progress]: [2/2] Setting up program.
0.553 * [progress]: [Phase 2 of 3] Improving.
0.553 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (/ (- 1 x) (+ 1 x))))))>
0.556 * [simplify]: Simplifying (* 2 (atan (sqrt (/ (- 1 x) (+ 1 x)))))
0.557 * * [simplify]: iteration 1: (9 enodes)
0.568 * * [simplify]: iteration 2: (36 enodes)
0.583 * * [simplify]: iteration 3: (47 enodes)
0.598 * * [simplify]: iteration 4: (51 enodes)
0.649 * * [simplify]: Extracting #0: cost 1 inf + 0
0.649 * * [simplify]: Extracting #1: cost 4 inf + 0
0.650 * * [simplify]: Extracting #2: cost 5 inf + 1
0.650 * * [simplify]: Extracting #3: cost 7 inf + 1
0.650 * * [simplify]: Extracting #4: cost 13 inf + 1
0.651 * * [simplify]: Extracting #5: cost 21 inf + 1
0.651 * * [simplify]: Extracting #6: cost 17 inf + 128
0.652 * * [simplify]: Extracting #7: cost 8 inf + 905
0.653 * * [simplify]: Extracting #8: cost 2 inf + 1927
0.654 * * [simplify]: Extracting #9: cost 0 inf + 2543
0.656 * [simplify]: Simplified to (* (atan (sqrt (/ (- 1 x) (+ 1 x)))) 2)
0.668 * * [progress]: iteration 1 / 4
0.668 * * * [progress]: picking best candidate
0.675 * * * * [pick]: Picked  #<alt (λ (x) (* 2 (atan (sqrt (/ (- 1 x) (+ 1 x))))))>
0.676 * * * [progress]: localizing error
0.821 * * * [progress]: generating rewritten candidates
0.822 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1 1)
0.852 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
0.869 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
0.877 * * * [progress]: generating series expansions
0.877 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1 1)
0.885 * [backup-simplify]: Simplify (/ (- 1 x) (+ 1 x)) into (/ (- 1 x) (+ x 1))
0.885 * [approximate]: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in (x) around 0
0.886 * [taylor]: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x
0.886 * [taylor]: Taking taylor expansion of (- 1 x) in x
0.886 * [taylor]: Taking taylor expansion of 1 in x
0.886 * [backup-simplify]: Simplify 1 into 1
0.886 * [taylor]: Taking taylor expansion of x in x
0.886 * [backup-simplify]: Simplify 0 into 0
0.887 * [backup-simplify]: Simplify 1 into 1
0.887 * [taylor]: Taking taylor expansion of (+ x 1) in x
0.887 * [taylor]: Taking taylor expansion of x in x
0.887 * [backup-simplify]: Simplify 0 into 0
0.887 * [backup-simplify]: Simplify 1 into 1
0.887 * [taylor]: Taking taylor expansion of 1 in x
0.887 * [backup-simplify]: Simplify 1 into 1
0.888 * [backup-simplify]: Simplify (- 0) into 0
0.889 * [backup-simplify]: Simplify (+ 1 0) into 1
0.890 * [backup-simplify]: Simplify (+ 0 1) into 1
0.890 * [backup-simplify]: Simplify (/ 1 1) into 1
0.890 * [taylor]: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x
0.890 * [taylor]: Taking taylor expansion of (- 1 x) in x
0.890 * [taylor]: Taking taylor expansion of 1 in x
0.890 * [backup-simplify]: Simplify 1 into 1
0.890 * [taylor]: Taking taylor expansion of x in x
0.890 * [backup-simplify]: Simplify 0 into 0
0.890 * [backup-simplify]: Simplify 1 into 1
0.890 * [taylor]: Taking taylor expansion of (+ x 1) in x
0.890 * [taylor]: Taking taylor expansion of x in x
0.891 * [backup-simplify]: Simplify 0 into 0
0.891 * [backup-simplify]: Simplify 1 into 1
0.891 * [taylor]: Taking taylor expansion of 1 in x
0.891 * [backup-simplify]: Simplify 1 into 1
0.891 * [backup-simplify]: Simplify (- 0) into 0
0.892 * [backup-simplify]: Simplify (+ 1 0) into 1
0.892 * [backup-simplify]: Simplify (+ 0 1) into 1
0.893 * [backup-simplify]: Simplify (/ 1 1) into 1
0.893 * [backup-simplify]: Simplify 1 into 1
0.894 * [backup-simplify]: Simplify (- 1) into -1
0.894 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.895 * [backup-simplify]: Simplify (+ 1 0) into 1
0.896 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2
0.896 * [backup-simplify]: Simplify -2 into -2
0.897 * [backup-simplify]: Simplify (- 0) into 0
0.897 * [backup-simplify]: Simplify (+ 0 0) into 0
0.897 * [backup-simplify]: Simplify (+ 0 0) into 0
0.899 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -2 (/ 1 1)))) into 2
0.899 * [backup-simplify]: Simplify 2 into 2
0.900 * [backup-simplify]: Simplify (+ (* 2 (pow x 2)) (+ (* -2 x) 1)) into (- (+ (* 2 (pow x 2)) 1) (* 2 x))
0.900 * [backup-simplify]: Simplify (/ (- 1 (/ 1 x)) (+ 1 (/ 1 x))) into (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))
0.900 * [approximate]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in (x) around 0
0.900 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x
0.900 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
0.900 * [taylor]: Taking taylor expansion of 1 in x
0.901 * [backup-simplify]: Simplify 1 into 1
0.901 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.901 * [taylor]: Taking taylor expansion of x in x
0.901 * [backup-simplify]: Simplify 0 into 0
0.901 * [backup-simplify]: Simplify 1 into 1
0.902 * [backup-simplify]: Simplify (/ 1 1) into 1
0.902 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
0.902 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.902 * [taylor]: Taking taylor expansion of x in x
0.902 * [backup-simplify]: Simplify 0 into 0
0.903 * [backup-simplify]: Simplify 1 into 1
0.903 * [backup-simplify]: Simplify (/ 1 1) into 1
0.903 * [taylor]: Taking taylor expansion of 1 in x
0.903 * [backup-simplify]: Simplify 1 into 1
0.904 * [backup-simplify]: Simplify (- 1) into -1
0.904 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.905 * [backup-simplify]: Simplify (+ 1 0) into 1
0.905 * [backup-simplify]: Simplify (/ -1 1) into -1
0.905 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x
0.905 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
0.906 * [taylor]: Taking taylor expansion of 1 in x
0.906 * [backup-simplify]: Simplify 1 into 1
0.906 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.906 * [taylor]: Taking taylor expansion of x in x
0.906 * [backup-simplify]: Simplify 0 into 0
0.906 * [backup-simplify]: Simplify 1 into 1
0.906 * [backup-simplify]: Simplify (/ 1 1) into 1
0.906 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
0.906 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.906 * [taylor]: Taking taylor expansion of x in x
0.906 * [backup-simplify]: Simplify 0 into 0
0.906 * [backup-simplify]: Simplify 1 into 1
0.907 * [backup-simplify]: Simplify (/ 1 1) into 1
0.907 * [taylor]: Taking taylor expansion of 1 in x
0.907 * [backup-simplify]: Simplify 1 into 1
0.907 * [backup-simplify]: Simplify (- 1) into -1
0.908 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.908 * [backup-simplify]: Simplify (+ 1 0) into 1
0.923 * [backup-simplify]: Simplify (/ -1 1) into -1
0.924 * [backup-simplify]: Simplify -1 into -1
0.925 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.926 * [backup-simplify]: Simplify (- 0) into 0
0.926 * [backup-simplify]: Simplify (+ 1 0) into 1
0.927 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.927 * [backup-simplify]: Simplify (+ 0 1) into 1
0.928 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2
0.928 * [backup-simplify]: Simplify 2 into 2
0.929 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.930 * [backup-simplify]: Simplify (- 0) into 0
0.930 * [backup-simplify]: Simplify (+ 0 0) into 0
0.931 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.932 * [backup-simplify]: Simplify (+ 0 0) into 0
0.933 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 1 1)))) into -2
0.933 * [backup-simplify]: Simplify -2 into -2
0.934 * [backup-simplify]: Simplify (+ (* -2 (pow (/ 1 x) 2)) (+ (* 2 (/ 1 x)) -1)) into (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1))
0.934 * [backup-simplify]: Simplify (/ (- 1 (/ 1 (- x))) (+ 1 (/ 1 (- x)))) into (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))
0.934 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in (x) around 0
0.934 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x
0.934 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
0.934 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.935 * [taylor]: Taking taylor expansion of x in x
0.935 * [backup-simplify]: Simplify 0 into 0
0.935 * [backup-simplify]: Simplify 1 into 1
0.936 * [backup-simplify]: Simplify (/ 1 1) into 1
0.936 * [taylor]: Taking taylor expansion of 1 in x
0.936 * [backup-simplify]: Simplify 1 into 1
0.936 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
0.936 * [taylor]: Taking taylor expansion of 1 in x
0.936 * [backup-simplify]: Simplify 1 into 1
0.936 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.936 * [taylor]: Taking taylor expansion of x in x
0.936 * [backup-simplify]: Simplify 0 into 0
0.936 * [backup-simplify]: Simplify 1 into 1
0.937 * [backup-simplify]: Simplify (/ 1 1) into 1
0.937 * [backup-simplify]: Simplify (+ 1 0) into 1
0.938 * [backup-simplify]: Simplify (- 1) into -1
0.938 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.939 * [backup-simplify]: Simplify (/ 1 -1) into -1
0.939 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x
0.939 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
0.939 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.939 * [taylor]: Taking taylor expansion of x in x
0.939 * [backup-simplify]: Simplify 0 into 0
0.939 * [backup-simplify]: Simplify 1 into 1
0.939 * [backup-simplify]: Simplify (/ 1 1) into 1
0.939 * [taylor]: Taking taylor expansion of 1 in x
0.939 * [backup-simplify]: Simplify 1 into 1
0.939 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
0.939 * [taylor]: Taking taylor expansion of 1 in x
0.940 * [backup-simplify]: Simplify 1 into 1
0.940 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.940 * [taylor]: Taking taylor expansion of x in x
0.940 * [backup-simplify]: Simplify 0 into 0
0.940 * [backup-simplify]: Simplify 1 into 1
0.940 * [backup-simplify]: Simplify (/ 1 1) into 1
0.941 * [backup-simplify]: Simplify (+ 1 0) into 1
0.941 * [backup-simplify]: Simplify (- 1) into -1
0.941 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.942 * [backup-simplify]: Simplify (/ 1 -1) into -1
0.942 * [backup-simplify]: Simplify -1 into -1
0.943 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.943 * [backup-simplify]: Simplify (+ 0 1) into 1
0.944 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.945 * [backup-simplify]: Simplify (- 0) into 0
0.945 * [backup-simplify]: Simplify (+ 1 0) into 1
0.946 * [backup-simplify]: Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2
0.946 * [backup-simplify]: Simplify -2 into -2
0.947 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.948 * [backup-simplify]: Simplify (+ 0 0) into 0
0.949 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.949 * [backup-simplify]: Simplify (- 0) into 0
0.949 * [backup-simplify]: Simplify (+ 0 0) into 0
0.951 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* -2 (/ 1 -1)))) into -2
0.951 * [backup-simplify]: Simplify -2 into -2
0.951 * [backup-simplify]: Simplify (+ (* -2 (pow (/ 1 (- x)) 2)) (+ (* -2 (/ 1 (- x))) -1)) into (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1))
0.951 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
0.952 * [backup-simplify]: Simplify (sqrt (/ (- 1 x) (+ 1 x))) into (sqrt (/ (- 1 x) (+ x 1)))
0.952 * [approximate]: Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in (x) around 0
0.952 * [taylor]: Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in x
0.952 * [taylor]: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x
0.952 * [taylor]: Taking taylor expansion of (- 1 x) in x
0.952 * [taylor]: Taking taylor expansion of 1 in x
0.952 * [backup-simplify]: Simplify 1 into 1
0.952 * [taylor]: Taking taylor expansion of x in x
0.952 * [backup-simplify]: Simplify 0 into 0
0.952 * [backup-simplify]: Simplify 1 into 1
0.952 * [taylor]: Taking taylor expansion of (+ x 1) in x
0.952 * [taylor]: Taking taylor expansion of x in x
0.952 * [backup-simplify]: Simplify 0 into 0
0.952 * [backup-simplify]: Simplify 1 into 1
0.952 * [taylor]: Taking taylor expansion of 1 in x
0.952 * [backup-simplify]: Simplify 1 into 1
0.952 * [backup-simplify]: Simplify (- 0) into 0
0.953 * [backup-simplify]: Simplify (+ 1 0) into 1
0.954 * [backup-simplify]: Simplify (+ 0 1) into 1
0.954 * [backup-simplify]: Simplify (/ 1 1) into 1
0.955 * [backup-simplify]: Simplify (sqrt 1) into 1
0.955 * [backup-simplify]: Simplify (- 1) into -1
0.955 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.956 * [backup-simplify]: Simplify (+ 1 0) into 1
0.957 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2
0.958 * [backup-simplify]: Simplify (/ -2 (* 2 (sqrt 1))) into -1
0.958 * [taylor]: Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in x
0.958 * [taylor]: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x
0.958 * [taylor]: Taking taylor expansion of (- 1 x) in x
0.958 * [taylor]: Taking taylor expansion of 1 in x
0.958 * [backup-simplify]: Simplify 1 into 1
0.958 * [taylor]: Taking taylor expansion of x in x
0.958 * [backup-simplify]: Simplify 0 into 0
0.958 * [backup-simplify]: Simplify 1 into 1
0.958 * [taylor]: Taking taylor expansion of (+ x 1) in x
0.958 * [taylor]: Taking taylor expansion of x in x
0.958 * [backup-simplify]: Simplify 0 into 0
0.958 * [backup-simplify]: Simplify 1 into 1
0.958 * [taylor]: Taking taylor expansion of 1 in x
0.958 * [backup-simplify]: Simplify 1 into 1
0.958 * [backup-simplify]: Simplify (- 0) into 0
0.959 * [backup-simplify]: Simplify (+ 1 0) into 1
0.959 * [backup-simplify]: Simplify (+ 0 1) into 1
0.960 * [backup-simplify]: Simplify (/ 1 1) into 1
0.960 * [backup-simplify]: Simplify (sqrt 1) into 1
0.960 * [backup-simplify]: Simplify (- 1) into -1
0.961 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.961 * [backup-simplify]: Simplify (+ 1 0) into 1
0.962 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2
0.963 * [backup-simplify]: Simplify (/ -2 (* 2 (sqrt 1))) into -1
0.963 * [backup-simplify]: Simplify 1 into 1
0.963 * [backup-simplify]: Simplify -1 into -1
0.964 * [backup-simplify]: Simplify (- 0) into 0
0.964 * [backup-simplify]: Simplify (+ 0 0) into 0
0.965 * [backup-simplify]: Simplify (+ 0 0) into 0
0.966 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -2 (/ 1 1)))) into 2
0.967 * [backup-simplify]: Simplify (/ (- 2 (pow -1 2) (+)) (* 2 1)) into 1/2
0.967 * [backup-simplify]: Simplify 1/2 into 1/2
0.967 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* -1 x) 1)) into (- (+ (* 1/2 (pow x 2)) 1) x)
0.967 * [backup-simplify]: Simplify (sqrt (/ (- 1 (/ 1 x)) (+ 1 (/ 1 x)))) into (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)))
0.967 * [approximate]: Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in (x) around 0
0.967 * [taylor]: Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in x
0.967 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x
0.968 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
0.968 * [taylor]: Taking taylor expansion of 1 in x
0.968 * [backup-simplify]: Simplify 1 into 1
0.968 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.968 * [taylor]: Taking taylor expansion of x in x
0.968 * [backup-simplify]: Simplify 0 into 0
0.968 * [backup-simplify]: Simplify 1 into 1
0.968 * [backup-simplify]: Simplify (/ 1 1) into 1
0.968 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
0.968 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.968 * [taylor]: Taking taylor expansion of x in x
0.968 * [backup-simplify]: Simplify 0 into 0
0.968 * [backup-simplify]: Simplify 1 into 1
0.969 * [backup-simplify]: Simplify (/ 1 1) into 1
0.969 * [taylor]: Taking taylor expansion of 1 in x
0.969 * [backup-simplify]: Simplify 1 into 1
0.969 * [backup-simplify]: Simplify (- 1) into -1
0.970 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.970 * [backup-simplify]: Simplify (+ 1 0) into 1
0.970 * [backup-simplify]: Simplify (/ -1 1) into -1
0.971 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
0.972 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.972 * [backup-simplify]: Simplify (- 0) into 0
0.972 * [backup-simplify]: Simplify (+ 1 0) into 1
0.973 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.974 * [backup-simplify]: Simplify (+ 0 1) into 1
0.974 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2
0.976 * [backup-simplify]: Simplify (/ 2 (* 2 (sqrt -1))) into (/ 1 (sqrt -1))
0.976 * [taylor]: Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in x
0.976 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x
0.976 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
0.976 * [taylor]: Taking taylor expansion of 1 in x
0.976 * [backup-simplify]: Simplify 1 into 1
0.976 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.976 * [taylor]: Taking taylor expansion of x in x
0.976 * [backup-simplify]: Simplify 0 into 0
0.976 * [backup-simplify]: Simplify 1 into 1
0.977 * [backup-simplify]: Simplify (/ 1 1) into 1
0.977 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
0.977 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.977 * [taylor]: Taking taylor expansion of x in x
0.977 * [backup-simplify]: Simplify 0 into 0
0.977 * [backup-simplify]: Simplify 1 into 1
0.977 * [backup-simplify]: Simplify (/ 1 1) into 1
0.977 * [taylor]: Taking taylor expansion of 1 in x
0.977 * [backup-simplify]: Simplify 1 into 1
0.978 * [backup-simplify]: Simplify (- 1) into -1
0.978 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.978 * [backup-simplify]: Simplify (+ 1 0) into 1
0.979 * [backup-simplify]: Simplify (/ -1 1) into -1
0.979 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
0.980 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.980 * [backup-simplify]: Simplify (- 0) into 0
0.981 * [backup-simplify]: Simplify (+ 1 0) into 1
0.982 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.982 * [backup-simplify]: Simplify (+ 0 1) into 1
0.983 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2
0.985 * [backup-simplify]: Simplify (/ 2 (* 2 (sqrt -1))) into (/ 1 (sqrt -1))
0.985 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
0.986 * [backup-simplify]: Simplify (/ 1 (sqrt -1)) into (/ 1 (sqrt -1))
0.987 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.987 * [backup-simplify]: Simplify (- 0) into 0
0.988 * [backup-simplify]: Simplify (+ 0 0) into 0
0.989 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.989 * [backup-simplify]: Simplify (+ 0 0) into 0
0.991 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 1 1)))) into -2
0.994 * [backup-simplify]: Simplify (/ (- -2 (pow (/ 1 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
0.995 * [backup-simplify]: Simplify (/ -1/2 (sqrt -1)) into (/ -1/2 (sqrt -1))
0.997 * [backup-simplify]: Simplify (+ (* (/ -1/2 (sqrt -1)) (pow (/ 1 x) 2)) (+ (* (/ 1 (sqrt -1)) (/ 1 x)) (sqrt -1))) into (- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (* 1/2 (/ 1 (* (pow x 2) (sqrt -1)))))
0.997 * [backup-simplify]: Simplify (sqrt (/ (- 1 (/ 1 (- x))) (+ 1 (/ 1 (- x))))) into (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))))
0.997 * [approximate]: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in (x) around 0
0.997 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in x
0.997 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x
0.997 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
0.997 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.997 * [taylor]: Taking taylor expansion of x in x
0.997 * [backup-simplify]: Simplify 0 into 0
0.997 * [backup-simplify]: Simplify 1 into 1
0.998 * [backup-simplify]: Simplify (/ 1 1) into 1
0.998 * [taylor]: Taking taylor expansion of 1 in x
0.998 * [backup-simplify]: Simplify 1 into 1
0.998 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
0.998 * [taylor]: Taking taylor expansion of 1 in x
0.998 * [backup-simplify]: Simplify 1 into 1
0.998 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.998 * [taylor]: Taking taylor expansion of x in x
0.998 * [backup-simplify]: Simplify 0 into 0
0.998 * [backup-simplify]: Simplify 1 into 1
0.998 * [backup-simplify]: Simplify (/ 1 1) into 1
0.999 * [backup-simplify]: Simplify (+ 1 0) into 1
0.999 * [backup-simplify]: Simplify (- 1) into -1
0.999 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.000 * [backup-simplify]: Simplify (/ 1 -1) into -1
1.000 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.001 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.001 * [backup-simplify]: Simplify (+ 0 1) into 1
1.002 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.002 * [backup-simplify]: Simplify (- 0) into 0
1.003 * [backup-simplify]: Simplify (+ 1 0) into 1
1.003 * [backup-simplify]: Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2
1.005 * [backup-simplify]: Simplify (/ -2 (* 2 (sqrt -1))) into (/ -1 (sqrt -1))
1.005 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in x
1.005 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x
1.005 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
1.005 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.005 * [taylor]: Taking taylor expansion of x in x
1.005 * [backup-simplify]: Simplify 0 into 0
1.005 * [backup-simplify]: Simplify 1 into 1
1.005 * [backup-simplify]: Simplify (/ 1 1) into 1
1.005 * [taylor]: Taking taylor expansion of 1 in x
1.006 * [backup-simplify]: Simplify 1 into 1
1.006 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
1.006 * [taylor]: Taking taylor expansion of 1 in x
1.006 * [backup-simplify]: Simplify 1 into 1
1.006 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.006 * [taylor]: Taking taylor expansion of x in x
1.006 * [backup-simplify]: Simplify 0 into 0
1.006 * [backup-simplify]: Simplify 1 into 1
1.006 * [backup-simplify]: Simplify (/ 1 1) into 1
1.006 * [backup-simplify]: Simplify (+ 1 0) into 1
1.007 * [backup-simplify]: Simplify (- 1) into -1
1.007 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.008 * [backup-simplify]: Simplify (/ 1 -1) into -1
1.008 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.009 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.009 * [backup-simplify]: Simplify (+ 0 1) into 1
1.010 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.010 * [backup-simplify]: Simplify (- 0) into 0
1.011 * [backup-simplify]: Simplify (+ 1 0) into 1
1.011 * [backup-simplify]: Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2
1.013 * [backup-simplify]: Simplify (/ -2 (* 2 (sqrt -1))) into (/ -1 (sqrt -1))
1.013 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.014 * [backup-simplify]: Simplify (/ -1 (sqrt -1)) into (/ -1 (sqrt -1))
1.015 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.015 * [backup-simplify]: Simplify (+ 0 0) into 0
1.016 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.017 * [backup-simplify]: Simplify (- 0) into 0
1.017 * [backup-simplify]: Simplify (+ 0 0) into 0
1.018 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* -2 (/ 1 -1)))) into -2
1.021 * [backup-simplify]: Simplify (/ (- -2 (pow (/ -1 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
1.022 * [backup-simplify]: Simplify (/ -1/2 (sqrt -1)) into (/ -1/2 (sqrt -1))
1.025 * [backup-simplify]: Simplify (+ (* (/ -1/2 (sqrt -1)) (pow (/ 1 (- x)) 2)) (+ (* (/ -1 (sqrt -1)) (/ 1 (- x))) (sqrt -1))) into (- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (* 1/2 (/ 1 (* (pow x 2) (sqrt -1)))))
1.025 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
1.026 * [backup-simplify]: Simplify (atan (sqrt (/ (- 1 x) (+ 1 x)))) into (atan (sqrt (/ (- 1 x) (+ x 1))))
1.026 * [approximate]: Taking taylor expansion of (atan (sqrt (/ (- 1 x) (+ x 1)))) in (x) around 0
1.026 * [taylor]: Taking taylor expansion of (atan (sqrt (/ (- 1 x) (+ x 1)))) in x
1.030 * [backup-simplify]: Simplify (atan (sqrt (/ (- 1 x) (+ x 1)))) into (atan (sqrt (/ (- 1 x) (+ x 1))))
1.030 * [taylor]: Taking taylor expansion of (atan (sqrt (/ (- 1 x) (+ x 1)))) in x
1.030 * [backup-simplify]: Simplify (atan (sqrt (/ (- 1 x) (+ x 1)))) into (atan (sqrt (/ (- 1 x) (+ x 1))))
1.030 * [backup-simplify]: Simplify (atan (sqrt (/ (- 1 x) (+ x 1)))) into (atan (sqrt (/ (- 1 x) (+ x 1))))
1.030 * [backup-simplify]: Simplify 0 into 0
1.030 * [backup-simplify]: Simplify 0 into 0
1.030 * [backup-simplify]: Simplify 0 into 0
1.030 * [backup-simplify]: Simplify 0 into 0
1.030 * [backup-simplify]: Simplify 0 into 0
1.030 * [backup-simplify]: Simplify 0 into 0
1.031 * [backup-simplify]: Simplify (atan (sqrt (/ (- 1 x) (+ x 1)))) into (atan (sqrt (/ (- 1 x) (+ x 1))))
1.031 * [backup-simplify]: Simplify (atan (sqrt (/ (- 1 (/ 1 x)) (+ 1 (/ 1 x))))) into (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))))
1.031 * [approximate]: Taking taylor expansion of (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)))) in (x) around 0
1.031 * [taylor]: Taking taylor expansion of (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)))) in x
1.031 * [backup-simplify]: Simplify (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)))) into (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))))
1.031 * [taylor]: Taking taylor expansion of (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)))) in x
1.031 * [backup-simplify]: Simplify (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)))) into (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))))
1.032 * [backup-simplify]: Simplify (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)))) into (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))))
1.032 * [backup-simplify]: Simplify 0 into 0
1.032 * [backup-simplify]: Simplify 0 into 0
1.032 * [backup-simplify]: Simplify 0 into 0
1.032 * [backup-simplify]: Simplify 0 into 0
1.032 * [backup-simplify]: Simplify 0 into 0
1.032 * [backup-simplify]: Simplify 0 into 0
1.032 * [backup-simplify]: Simplify (atan (sqrt (/ (- 1 (/ 1 (/ 1 x))) (+ (/ 1 (/ 1 x)) 1)))) into (atan (sqrt (/ (- 1 x) (+ x 1))))
1.032 * [backup-simplify]: Simplify (atan (sqrt (/ (- 1 (/ 1 (- x))) (+ 1 (/ 1 (- x)))))) into (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))))
1.032 * [approximate]: Taking taylor expansion of (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))))) in (x) around 0
1.032 * [taylor]: Taking taylor expansion of (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))))) in x
1.033 * [backup-simplify]: Simplify (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))))) into (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))))
1.033 * [taylor]: Taking taylor expansion of (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))))) in x
1.033 * [backup-simplify]: Simplify (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))))) into (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))))
1.033 * [backup-simplify]: Simplify (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))))) into (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))))
1.033 * [backup-simplify]: Simplify 0 into 0
1.033 * [backup-simplify]: Simplify 0 into 0
1.033 * [backup-simplify]: Simplify 0 into 0
1.033 * [backup-simplify]: Simplify 0 into 0
1.033 * [backup-simplify]: Simplify 0 into 0
1.033 * [backup-simplify]: Simplify 0 into 0
1.034 * [backup-simplify]: Simplify (atan (sqrt (/ (+ (/ 1 (/ 1 (- x))) 1) (- 1 (/ 1 (/ 1 (- x))))))) into (atan (sqrt (/ (- 1 x) (+ x 1))))
1.034 * * * [progress]: simplifying candidates
1.034 * * * * [progress]: [ 1 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log1p (expm1 (/ (- 1 x) (+ 1 x))))))))>
1.034 * * * * [progress]: [ 2 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (expm1 (log1p (/ (- 1 x) (+ 1 x))))))))>
1.034 * * * * [progress]: [ 3 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (pow (/ (- 1 x) (+ 1 x)) 1)))))>
1.034 * * * * [progress]: [ 4 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (exp (- (log (- 1 x)) (log (+ 1 x))))))))>
1.034 * * * * [progress]: [ 5 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (exp (log (/ (- 1 x) (+ 1 x))))))))>
1.034 * * * * [progress]: [ 6 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (/ (- 1 x) (+ 1 x))))))))>
1.034 * * * * [progress]: [ 7 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (cbrt (/ (* (* (- 1 x) (- 1 x)) (- 1 x)) (* (* (+ 1 x) (+ 1 x)) (+ 1 x))))))))>
1.035 * * * * [progress]: [ 8 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (* (cbrt (/ (- 1 x) (+ 1 x))) (cbrt (/ (- 1 x) (+ 1 x)))) (cbrt (/ (- 1 x) (+ 1 x))))))))>
1.035 * * * * [progress]: [ 9 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (cbrt (* (* (/ (- 1 x) (+ 1 x)) (/ (- 1 x) (+ 1 x))) (/ (- 1 x) (+ 1 x))))))))>
1.035 * * * * [progress]: [ 10 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (sqrt (/ (- 1 x) (+ 1 x))) (sqrt (/ (- 1 x) (+ 1 x))))))))>
1.035 * * * * [progress]: [ 11 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (/ (- (- 1 x)) (- (+ 1 x)))))))>
1.035 * * * * [progress]: [ 12 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (- (/ 1 (+ 1 x)) (/ x (+ 1 x)))))))>
1.035 * * * * [progress]: [ 13 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (cbrt (- 1 x)) (cbrt (+ 1 x))))))))>
1.035 * * * * [progress]: [ 14 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ 1 x))) (/ (cbrt (- 1 x)) (sqrt (+ 1 x))))))))>
1.035 * * * * [progress]: [ 15 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1) (/ (cbrt (- 1 x)) (+ 1 x)))))))>
1.035 * * * * [progress]: [ 16 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1) (/ (cbrt (- 1 x)) (+ 1 x)))))))>
1.035 * * * * [progress]: [ 17 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (sqrt (- 1 x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (sqrt (- 1 x)) (cbrt (+ 1 x))))))))>
1.035 * * * * [progress]: [ 18 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) (/ (sqrt (- 1 x)) (sqrt (+ 1 x))))))))>
1.035 * * * * [progress]: [ 19 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (sqrt (- 1 x)) 1) (/ (sqrt (- 1 x)) (+ 1 x)))))))>
1.035 * * * * [progress]: [ 20 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (sqrt (- 1 x)) 1) (/ (sqrt (- 1 x)) (+ 1 x)))))))>
1.035 * * * * [progress]: [ 21 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (- 1 x) (cbrt (+ 1 x))))))))>
1.036 * * * * [progress]: [ 22 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ 1 (sqrt (+ 1 x))) (/ (- 1 x) (sqrt (+ 1 x))))))))>
1.036 * * * * [progress]: [ 23 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ 1 1) (/ (- 1 x) (+ 1 x)))))))>
1.036 * * * * [progress]: [ 24 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ 1 1) (/ (- 1 x) (+ 1 x)))))))>
1.036 * * * * [progress]: [ 25 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (+ (sqrt 1) (sqrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (- (sqrt 1) (sqrt x)) (cbrt (+ 1 x))))))))>
1.036 * * * * [progress]: [ 26 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (+ (sqrt 1) (sqrt x)) (sqrt (+ 1 x))) (/ (- (sqrt 1) (sqrt x)) (sqrt (+ 1 x))))))))>
1.036 * * * * [progress]: [ 27 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (+ (sqrt 1) (sqrt x)) 1) (/ (- (sqrt 1) (sqrt x)) (+ 1 x)))))))>
1.036 * * * * [progress]: [ 28 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (+ (sqrt 1) (sqrt x)) 1) (/ (- (sqrt 1) (sqrt x)) (+ 1 x)))))))>
1.036 * * * * [progress]: [ 29 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (+ 1 (sqrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (- 1 (sqrt x)) (cbrt (+ 1 x))))))))>
1.036 * * * * [progress]: [ 30 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (+ 1 (sqrt x)) (sqrt (+ 1 x))) (/ (- 1 (sqrt x)) (sqrt (+ 1 x))))))))>
1.036 * * * * [progress]: [ 31 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (+ 1 (sqrt x)) 1) (/ (- 1 (sqrt x)) (+ 1 x)))))))>
1.036 * * * * [progress]: [ 32 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (+ 1 (sqrt x)) 1) (/ (- 1 (sqrt x)) (+ 1 x)))))))>
1.036 * * * * [progress]: [ 33 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (- 1 x) (cbrt (+ 1 x))))))))>
1.036 * * * * [progress]: [ 34 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ 1 (sqrt (+ 1 x))) (/ (- 1 x) (sqrt (+ 1 x))))))))>
1.037 * * * * [progress]: [ 35 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ 1 1) (/ (- 1 x) (+ 1 x)))))))>
1.037 * * * * [progress]: [ 36 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ 1 1) (/ (- 1 x) (+ 1 x)))))))>
1.037 * * * * [progress]: [ 37 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* 1 (/ (- 1 x) (+ 1 x)))))))>
1.037 * * * * [progress]: [ 38 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (- 1 x) (/ 1 (+ 1 x)))))))>
1.037 * * * * [progress]: [ 39 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (/ 1 (/ (+ 1 x) (- 1 x)))))))>
1.037 * * * * [progress]: [ 40 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (/ (/ (- 1 x) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (cbrt (+ 1 x)))))))>
1.037 * * * * [progress]: [ 41 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (/ (/ (- 1 x) (sqrt (+ 1 x))) (sqrt (+ 1 x)))))))>
1.037 * * * * [progress]: [ 42 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (/ (/ (- 1 x) 1) (+ 1 x))))))>
1.037 * * * * [progress]: [ 43 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (/ (/ (- 1 x) 1) (+ 1 x))))))>
1.037 * * * * [progress]: [ 44 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (/ (+ 1 x) (cbrt (- 1 x))))))))>
1.037 * * * * [progress]: [ 45 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (/ (sqrt (- 1 x)) (/ (+ 1 x) (sqrt (- 1 x))))))))>
1.037 * * * * [progress]: [ 46 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (/ 1 (/ (+ 1 x) (- 1 x)))))))>
1.037 * * * * [progress]: [ 47 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (/ (+ (sqrt 1) (sqrt x)) (/ (+ 1 x) (- (sqrt 1) (sqrt x))))))))>
1.037 * * * * [progress]: [ 48 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (/ (+ 1 (sqrt x)) (/ (+ 1 x) (- 1 (sqrt x))))))))>
1.037 * * * * [progress]: [ 49 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (/ 1 (/ (+ 1 x) (- 1 x)))))))>
1.038 * * * * [progress]: [ 50 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (- 1 x) (+ (pow 1 3) (pow x 3))) (+ (* 1 1) (- (* x x) (* 1 x))))))))>
1.038 * * * * [progress]: [ 51 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (- 1 x) (- (* 1 1) (* x x))) (- 1 x))))))>
1.038 * * * * [progress]: [ 52 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (/ (- (pow 1 3) (pow x 3)) (* (+ 1 x) (+ (* 1 1) (+ (* x x) (* 1 x)))))))))>
1.038 * * * * [progress]: [ 53 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (/ (- (* 1 1) (* x x)) (* (+ 1 x) (+ 1 x)))))))>
1.038 * * * * [progress]: [ 54 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (posit16->real (real->posit16 (/ (- 1 x) (+ 1 x))))))))>
1.038 * * * * [progress]: [ 55 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (log1p (expm1 (sqrt (/ (- 1 x) (+ 1 x))))))))>
1.038 * * * * [progress]: [ 56 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (expm1 (log1p (sqrt (/ (- 1 x) (+ 1 x))))))))>
1.038 * * * * [progress]: [ 57 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (pow (/ (- 1 x) (+ 1 x)) 1/2))))>
1.038 * * * * [progress]: [ 58 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (pow (sqrt (/ (- 1 x) (+ 1 x))) 1))))>
1.038 * * * * [progress]: [ 59 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (exp (log (sqrt (/ (- 1 x) (+ 1 x))))))))>
1.038 * * * * [progress]: [ 60 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (log (exp (sqrt (/ (- 1 x) (+ 1 x))))))))>
1.038 * * * * [progress]: [ 61 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (* (cbrt (sqrt (/ (- 1 x) (+ 1 x)))) (cbrt (sqrt (/ (- 1 x) (+ 1 x))))) (cbrt (sqrt (/ (- 1 x) (+ 1 x))))))))>
1.038 * * * * [progress]: [ 62 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (cbrt (* (* (sqrt (/ (- 1 x) (+ 1 x))) (sqrt (/ (- 1 x) (+ 1 x)))) (sqrt (/ (- 1 x) (+ 1 x))))))))>
1.038 * * * * [progress]: [ 63 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (* (cbrt (/ (- 1 x) (+ 1 x))) (cbrt (/ (- 1 x) (+ 1 x))))) (sqrt (cbrt (/ (- 1 x) (+ 1 x))))))))>
1.039 * * * * [progress]: [ 64 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (sqrt (/ (- 1 x) (+ 1 x)))) (sqrt (sqrt (/ (- 1 x) (+ 1 x))))))))>
1.039 * * * * [progress]: [ 65 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) (sqrt (/ (cbrt (- 1 x)) (cbrt (+ 1 x))))))))>
1.039 * * * * [progress]: [ 66 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ 1 x)))) (sqrt (/ (cbrt (- 1 x)) (sqrt (+ 1 x))))))))>
1.039 * * * * [progress]: [ 67 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1)) (sqrt (/ (cbrt (- 1 x)) (+ 1 x)))))))>
1.039 * * * * [progress]: [ 68 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1)) (sqrt (/ (cbrt (- 1 x)) (+ 1 x)))))))>
1.039 * * * * [progress]: [ 69 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (sqrt (- 1 x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) (sqrt (/ (sqrt (- 1 x)) (cbrt (+ 1 x))))))))>
1.039 * * * * [progress]: [ 70 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))) (sqrt (/ (sqrt (- 1 x)) (sqrt (+ 1 x))))))))>
1.039 * * * * [progress]: [ 71 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (sqrt (- 1 x)) 1)) (sqrt (/ (sqrt (- 1 x)) (+ 1 x)))))))>
1.039 * * * * [progress]: [ 72 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (sqrt (- 1 x)) 1)) (sqrt (/ (sqrt (- 1 x)) (+ 1 x)))))))>
1.039 * * * * [progress]: [ 73 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) (sqrt (/ (- 1 x) (cbrt (+ 1 x))))))))>
1.039 * * * * [progress]: [ 74 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (sqrt (+ 1 x))))))))>
1.039 * * * * [progress]: [ 75 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ 1 1)) (sqrt (/ (- 1 x) (+ 1 x)))))))>
1.039 * * * * [progress]: [ 76 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ 1 1)) (sqrt (/ (- 1 x) (+ 1 x)))))))>
1.039 * * * * [progress]: [ 77 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (+ (sqrt 1) (sqrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) (sqrt (/ (- (sqrt 1) (sqrt x)) (cbrt (+ 1 x))))))))>
1.040 * * * * [progress]: [ 78 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (+ (sqrt 1) (sqrt x)) (sqrt (+ 1 x)))) (sqrt (/ (- (sqrt 1) (sqrt x)) (sqrt (+ 1 x))))))))>
1.040 * * * * [progress]: [ 79 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (+ (sqrt 1) (sqrt x)) 1)) (sqrt (/ (- (sqrt 1) (sqrt x)) (+ 1 x)))))))>
1.040 * * * * [progress]: [ 80 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (+ (sqrt 1) (sqrt x)) 1)) (sqrt (/ (- (sqrt 1) (sqrt x)) (+ 1 x)))))))>
1.040 * * * * [progress]: [ 81 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (+ 1 (sqrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) (sqrt (/ (- 1 (sqrt x)) (cbrt (+ 1 x))))))))>
1.040 * * * * [progress]: [ 82 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (+ 1 (sqrt x)) (sqrt (+ 1 x)))) (sqrt (/ (- 1 (sqrt x)) (sqrt (+ 1 x))))))))>
1.040 * * * * [progress]: [ 83 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (+ 1 (sqrt x)) 1)) (sqrt (/ (- 1 (sqrt x)) (+ 1 x)))))))>
1.040 * * * * [progress]: [ 84 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (+ 1 (sqrt x)) 1)) (sqrt (/ (- 1 (sqrt x)) (+ 1 x)))))))>
1.040 * * * * [progress]: [ 85 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) (sqrt (/ (- 1 x) (cbrt (+ 1 x))))))))>
1.040 * * * * [progress]: [ 86 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (sqrt (+ 1 x))))))))>
1.040 * * * * [progress]: [ 87 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ 1 1)) (sqrt (/ (- 1 x) (+ 1 x)))))))>
1.040 * * * * [progress]: [ 88 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ 1 1)) (sqrt (/ (- 1 x) (+ 1 x)))))))>
1.040 * * * * [progress]: [ 89 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt 1) (sqrt (/ (- 1 x) (+ 1 x)))))))>
1.041 * * * * [progress]: [ 90 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (- 1 x)) (sqrt (/ 1 (+ 1 x)))))))>
1.041 * * * * [progress]: [ 91 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (- 1 x) (+ (pow 1 3) (pow x 3)))) (sqrt (+ (* 1 1) (- (* x x) (* 1 x))))))))>
1.041 * * * * [progress]: [ 92 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (- 1 x) (- (* 1 1) (* x x)))) (sqrt (- 1 x))))))>
1.041 * * * * [progress]: [ 93 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (/ (sqrt (- 1 x)) (sqrt (+ 1 x))))))>
1.041 * * * * [progress]: [ 94 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (pow (/ (- 1 x) (+ 1 x)) (/ 1 2)))))>
1.041 * * * * [progress]: [ 95 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (sqrt (/ (- 1 x) (+ 1 x)))) (sqrt (sqrt (/ (- 1 x) (+ 1 x))))))))>
1.041 * * * * [progress]: [ 96 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (fabs (sqrt (/ (- 1 x) (+ 1 x)))))))>
1.041 * * * * [progress]: [ 97 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (fabs (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))))))>
1.041 * * * * [progress]: [ 98 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* 1 (sqrt (/ (- 1 x) (+ 1 x)))))))>
1.041 * * * * [progress]: [ 99 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (posit16->real (real->posit16 (sqrt (/ (- 1 x) (+ 1 x))))))))>
1.041 * * * * [progress]: [ 100 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (log1p (expm1 (atan (sqrt (/ (- 1 x) (+ 1 x))))))))>
1.041 * * * * [progress]: [ 101 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (expm1 (log1p (atan (sqrt (/ (- 1 x) (+ 1 x))))))))>
1.041 * * * * [progress]: [ 102 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (pow (atan (sqrt (/ (- 1 x) (+ 1 x)))) 1)))>
1.042 * * * * [progress]: [ 103 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (exp (log (atan (sqrt (/ (- 1 x) (+ 1 x))))))))>
1.042 * * * * [progress]: [ 104 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (log (exp (atan (sqrt (/ (- 1 x) (+ 1 x))))))))>
1.042 * * * * [progress]: [ 105 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (* (* (cbrt (atan (sqrt (/ (- 1 x) (+ 1 x))))) (cbrt (atan (sqrt (/ (- 1 x) (+ 1 x)))))) (cbrt (atan (sqrt (/ (- 1 x) (+ 1 x))))))))>
1.042 * * * * [progress]: [ 106 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (cbrt (* (* (atan (sqrt (/ (- 1 x) (+ 1 x)))) (atan (sqrt (/ (- 1 x) (+ 1 x))))) (atan (sqrt (/ (- 1 x) (+ 1 x))))))))>
1.042 * * * * [progress]: [ 107 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (* (sqrt (atan (sqrt (/ (- 1 x) (+ 1 x))))) (sqrt (atan (sqrt (/ (- 1 x) (+ 1 x))))))))>
1.042 * * * * [progress]: [ 108 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (* 1 (atan (sqrt (/ (- 1 x) (+ 1 x)))))))>
1.042 * * * * [progress]: [ 109 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (posit16->real (real->posit16 (atan (sqrt (/ (- 1 x) (+ 1 x))))))))>
1.042 * * * * [progress]: [ 110 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (- (+ (* 2 (pow x 2)) 1) (* 2 x))))))>
1.042 * * * * [progress]: [ 111 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1))))))>
1.042 * * * * [progress]: [ 112 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1))))))>
1.042 * * * * [progress]: [ 113 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (- (+ (* 1/2 (pow x 2)) 1) x))))>
1.042 * * * * [progress]: [ 114 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (* 1/2 (/ 1 (* (pow x 2) (sqrt -1))))))))>
1.042 * * * * [progress]: [ 115 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (* 1/2 (/ 1 (* (pow x 2) (sqrt -1))))))))>
1.042 * * * * [progress]: [ 116 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (/ (- 1 x) (+ x 1))))))>
1.042 * * * * [progress]: [ 117 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (/ (- 1 x) (+ x 1))))))>
1.042 * * * * [progress]: [ 118 / 118 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (/ (- 1 x) (+ x 1))))))>
1.045 * [simplify]: Simplifying (expm1 (/ (- 1 x) (+ 1 x))), (log1p (/ (- 1 x) (+ 1 x))), (- (log (- 1 x)) (log (+ 1 x))), (log (/ (- 1 x) (+ 1 x))), (exp (/ (- 1 x) (+ 1 x))), (/ (* (* (- 1 x) (- 1 x)) (- 1 x)) (* (* (+ 1 x) (+ 1 x)) (+ 1 x))), (* (cbrt (/ (- 1 x) (+ 1 x))) (cbrt (/ (- 1 x) (+ 1 x)))), (cbrt (/ (- 1 x) (+ 1 x))), (* (* (/ (- 1 x) (+ 1 x)) (/ (- 1 x) (+ 1 x))) (/ (- 1 x) (+ 1 x))), (sqrt (/ (- 1 x) (+ 1 x))), (sqrt (/ (- 1 x) (+ 1 x))), (- (- 1 x)), (- (+ 1 x)), (/ 1 (+ 1 x)), (/ x (+ 1 x)), (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))), (/ (cbrt (- 1 x)) (cbrt (+ 1 x))), (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ 1 x))), (/ (cbrt (- 1 x)) (sqrt (+ 1 x))), (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1), (/ (cbrt (- 1 x)) (+ 1 x)), (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1), (/ (cbrt (- 1 x)) (+ 1 x)), (/ (sqrt (- 1 x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))), (/ (sqrt (- 1 x)) (cbrt (+ 1 x))), (/ (sqrt (- 1 x)) (sqrt (+ 1 x))), (/ (sqrt (- 1 x)) (sqrt (+ 1 x))), (/ (sqrt (- 1 x)) 1), (/ (sqrt (- 1 x)) (+ 1 x)), (/ (sqrt (- 1 x)) 1), (/ (sqrt (- 1 x)) (+ 1 x)), (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))), (/ (- 1 x) (cbrt (+ 1 x))), (/ 1 (sqrt (+ 1 x))), (/ (- 1 x) (sqrt (+ 1 x))), (/ 1 1), (/ (- 1 x) (+ 1 x)), (/ 1 1), (/ (- 1 x) (+ 1 x)), (/ (+ (sqrt 1) (sqrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))), (/ (- (sqrt 1) (sqrt x)) (cbrt (+ 1 x))), (/ (+ (sqrt 1) (sqrt x)) (sqrt (+ 1 x))), (/ (- (sqrt 1) (sqrt x)) (sqrt (+ 1 x))), (/ (+ (sqrt 1) (sqrt x)) 1), (/ (- (sqrt 1) (sqrt x)) (+ 1 x)), (/ (+ (sqrt 1) (sqrt x)) 1), (/ (- (sqrt 1) (sqrt x)) (+ 1 x)), (/ (+ 1 (sqrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))), (/ (- 1 (sqrt x)) (cbrt (+ 1 x))), (/ (+ 1 (sqrt x)) (sqrt (+ 1 x))), (/ (- 1 (sqrt x)) (sqrt (+ 1 x))), (/ (+ 1 (sqrt x)) 1), (/ (- 1 (sqrt x)) (+ 1 x)), (/ (+ 1 (sqrt x)) 1), (/ (- 1 (sqrt x)) (+ 1 x)), (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))), (/ (- 1 x) (cbrt (+ 1 x))), (/ 1 (sqrt (+ 1 x))), (/ (- 1 x) (sqrt (+ 1 x))), (/ 1 1), (/ (- 1 x) (+ 1 x)), (/ 1 1), (/ (- 1 x) (+ 1 x)), (/ 1 (+ 1 x)), (/ (+ 1 x) (- 1 x)), (/ (- 1 x) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))), (/ (- 1 x) (sqrt (+ 1 x))), (/ (- 1 x) 1), (/ (- 1 x) 1), (/ (+ 1 x) (cbrt (- 1 x))), (/ (+ 1 x) (sqrt (- 1 x))), (/ (+ 1 x) (- 1 x)), (/ (+ 1 x) (- (sqrt 1) (sqrt x))), (/ (+ 1 x) (- 1 (sqrt x))), (/ (+ 1 x) (- 1 x)), (/ (- 1 x) (+ (pow 1 3) (pow x 3))), (/ (- 1 x) (- (* 1 1) (* x x))), (* (+ 1 x) (+ (* 1 1) (+ (* x x) (* 1 x)))), (* (+ 1 x) (+ 1 x)), (real->posit16 (/ (- 1 x) (+ 1 x))), (expm1 (sqrt (/ (- 1 x) (+ 1 x)))), (log1p (sqrt (/ (- 1 x) (+ 1 x)))), (log (sqrt (/ (- 1 x) (+ 1 x)))), (exp (sqrt (/ (- 1 x) (+ 1 x)))), (* (cbrt (sqrt (/ (- 1 x) (+ 1 x)))) (cbrt (sqrt (/ (- 1 x) (+ 1 x))))), (cbrt (sqrt (/ (- 1 x) (+ 1 x)))), (* (* (sqrt (/ (- 1 x) (+ 1 x))) (sqrt (/ (- 1 x) (+ 1 x)))) (sqrt (/ (- 1 x) (+ 1 x)))), (sqrt (* (cbrt (/ (- 1 x) (+ 1 x))) (cbrt (/ (- 1 x) (+ 1 x))))), (sqrt (cbrt (/ (- 1 x) (+ 1 x)))), (sqrt (sqrt (/ (- 1 x) (+ 1 x)))), (sqrt (sqrt (/ (- 1 x) (+ 1 x)))), (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))), (sqrt (/ (cbrt (- 1 x)) (cbrt (+ 1 x)))), (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ 1 x)))), (sqrt (/ (cbrt (- 1 x)) (sqrt (+ 1 x)))), (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1)), (sqrt (/ (cbrt (- 1 x)) (+ 1 x))), (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1)), (sqrt (/ (cbrt (- 1 x)) (+ 1 x))), (sqrt (/ (sqrt (- 1 x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))), (sqrt (/ (sqrt (- 1 x)) (cbrt (+ 1 x)))), (sqrt (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))), (sqrt (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))), (sqrt (/ (sqrt (- 1 x)) 1)), (sqrt (/ (sqrt (- 1 x)) (+ 1 x))), (sqrt (/ (sqrt (- 1 x)) 1)), (sqrt (/ (sqrt (- 1 x)) (+ 1 x))), (sqrt (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))), (sqrt (/ (- 1 x) (cbrt (+ 1 x)))), (sqrt (/ 1 (sqrt (+ 1 x)))), (sqrt (/ (- 1 x) (sqrt (+ 1 x)))), (sqrt (/ 1 1)), (sqrt (/ (- 1 x) (+ 1 x))), (sqrt (/ 1 1)), (sqrt (/ (- 1 x) (+ 1 x))), (sqrt (/ (+ (sqrt 1) (sqrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))), (sqrt (/ (- (sqrt 1) (sqrt x)) (cbrt (+ 1 x)))), (sqrt (/ (+ (sqrt 1) (sqrt x)) (sqrt (+ 1 x)))), (sqrt (/ (- (sqrt 1) (sqrt x)) (sqrt (+ 1 x)))), (sqrt (/ (+ (sqrt 1) (sqrt x)) 1)), (sqrt (/ (- (sqrt 1) (sqrt x)) (+ 1 x))), (sqrt (/ (+ (sqrt 1) (sqrt x)) 1)), (sqrt (/ (- (sqrt 1) (sqrt x)) (+ 1 x))), (sqrt (/ (+ 1 (sqrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))), (sqrt (/ (- 1 (sqrt x)) (cbrt (+ 1 x)))), (sqrt (/ (+ 1 (sqrt x)) (sqrt (+ 1 x)))), (sqrt (/ (- 1 (sqrt x)) (sqrt (+ 1 x)))), (sqrt (/ (+ 1 (sqrt x)) 1)), (sqrt (/ (- 1 (sqrt x)) (+ 1 x))), (sqrt (/ (+ 1 (sqrt x)) 1)), (sqrt (/ (- 1 (sqrt x)) (+ 1 x))), (sqrt (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))), (sqrt (/ (- 1 x) (cbrt (+ 1 x)))), (sqrt (/ 1 (sqrt (+ 1 x)))), (sqrt (/ (- 1 x) (sqrt (+ 1 x)))), (sqrt (/ 1 1)), (sqrt (/ (- 1 x) (+ 1 x))), (sqrt (/ 1 1)), (sqrt (/ (- 1 x) (+ 1 x))), (sqrt 1), (sqrt (/ (- 1 x) (+ 1 x))), (sqrt (- 1 x)), (sqrt (/ 1 (+ 1 x))), (sqrt (/ (- 1 x) (+ (pow 1 3) (pow x 3)))), (sqrt (+ (* 1 1) (- (* x x) (* 1 x)))), (sqrt (/ (- 1 x) (- (* 1 1) (* x x)))), (sqrt (- 1 x)), (sqrt (- 1 x)), (sqrt (+ 1 x)), (/ 1 2), (sqrt (sqrt (/ (- 1 x) (+ 1 x)))), (sqrt (sqrt (/ (- 1 x) (+ 1 x)))), (real->posit16 (sqrt (/ (- 1 x) (+ 1 x)))), (expm1 (atan (sqrt (/ (- 1 x) (+ 1 x))))), (log1p (atan (sqrt (/ (- 1 x) (+ 1 x))))), (log (atan (sqrt (/ (- 1 x) (+ 1 x))))), (exp (atan (sqrt (/ (- 1 x) (+ 1 x))))), (* (cbrt (atan (sqrt (/ (- 1 x) (+ 1 x))))) (cbrt (atan (sqrt (/ (- 1 x) (+ 1 x)))))), (cbrt (atan (sqrt (/ (- 1 x) (+ 1 x))))), (* (* (atan (sqrt (/ (- 1 x) (+ 1 x)))) (atan (sqrt (/ (- 1 x) (+ 1 x))))) (atan (sqrt (/ (- 1 x) (+ 1 x))))), (sqrt (atan (sqrt (/ (- 1 x) (+ 1 x))))), (sqrt (atan (sqrt (/ (- 1 x) (+ 1 x))))), (real->posit16 (atan (sqrt (/ (- 1 x) (+ 1 x))))), (- (+ (* 2 (pow x 2)) 1) (* 2 x)), (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1)), (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1)), (- (+ (* 1/2 (pow x 2)) 1) x), (- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (* 1/2 (/ 1 (* (pow x 2) (sqrt -1))))), (- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (* 1/2 (/ 1 (* (pow x 2) (sqrt -1))))), (atan (sqrt (/ (- 1 x) (+ x 1)))), (atan (sqrt (/ (- 1 x) (+ x 1)))), (atan (sqrt (/ (- 1 x) (+ x 1))))
1.048 * * [simplify]: iteration 1: (174 enodes)
1.150 * * [simplify]: iteration 2: (660 enodes)
1.336 * * [simplify]: iteration 3: (1225 enodes)
1.789 * * [simplify]: Extracting #0: cost 98 inf + 0
1.790 * * [simplify]: Extracting #1: cost 355 inf + 2
1.792 * * [simplify]: Extracting #2: cost 539 inf + 1369
1.797 * * [simplify]: Extracting #3: cost 457 inf + 14361
1.814 * * [simplify]: Extracting #4: cost 241 inf + 48120
1.848 * * [simplify]: Extracting #5: cost 68 inf + 84970
1.895 * * [simplify]: Extracting #6: cost 5 inf + 102136
1.936 * * [simplify]: Extracting #7: cost 0 inf + 103566
1.964 * [simplify]: Simplified to (expm1 (/ (- 1 x) (+ x 1))), (log1p (/ (- 1 x) (+ x 1))), (log (/ (- 1 x) (+ x 1))), (log (/ (- 1 x) (+ x 1))), (exp (/ (- 1 x) (+ x 1))), (* (/ (- 1 x) (+ x 1)) (* (/ (- 1 x) (+ x 1)) (/ (- 1 x) (+ x 1)))), (* (cbrt (/ (- 1 x) (+ x 1))) (cbrt (/ (- 1 x) (+ x 1)))), (cbrt (/ (- 1 x) (+ x 1))), (* (/ (- 1 x) (+ x 1)) (* (/ (- 1 x) (+ x 1)) (/ (- 1 x) (+ x 1)))), (sqrt (/ (- 1 x) (+ x 1))), (sqrt (/ (- 1 x) (+ x 1))), (+ -1 x), (- -1 x), (/ 1 (+ x 1)), (/ x (+ x 1)), (* (/ (cbrt (- 1 x)) (cbrt (+ x 1))) (/ (cbrt (- 1 x)) (cbrt (+ x 1)))), (/ (cbrt (- 1 x)) (cbrt (+ x 1))), (* (cbrt (- 1 x)) (/ (cbrt (- 1 x)) (sqrt (+ x 1)))), (/ (cbrt (- 1 x)) (sqrt (+ x 1))), (* (cbrt (- 1 x)) (cbrt (- 1 x))), (/ (cbrt (- 1 x)) (+ x 1)), (* (cbrt (- 1 x)) (cbrt (- 1 x))), (/ (cbrt (- 1 x)) (+ x 1)), (/ (sqrt (- 1 x)) (* (cbrt (+ x 1)) (cbrt (+ x 1)))), (/ (sqrt (- 1 x)) (cbrt (+ x 1))), (/ (sqrt (- 1 x)) (sqrt (+ x 1))), (/ (sqrt (- 1 x)) (sqrt (+ x 1))), (sqrt (- 1 x)), (/ (sqrt (- 1 x)) (+ x 1)), (sqrt (- 1 x)), (/ (sqrt (- 1 x)) (+ x 1)), (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1))), (/ (- 1 x) (cbrt (+ x 1))), (/ 1 (sqrt (+ x 1))), (/ (- 1 x) (sqrt (+ x 1))), 1, (/ (- 1 x) (+ x 1)), 1, (/ (- 1 x) (+ x 1)), (/ (+ (sqrt x) 1) (* (cbrt (+ x 1)) (cbrt (+ x 1)))), (/ (- 1 (sqrt x)) (cbrt (+ x 1))), (/ (+ (sqrt x) 1) (sqrt (+ x 1))), (/ (- 1 (sqrt x)) (sqrt (+ x 1))), (+ (sqrt x) 1), (/ (- 1 (sqrt x)) (+ x 1)), (+ (sqrt x) 1), (/ (- 1 (sqrt x)) (+ x 1)), (/ (+ (sqrt x) 1) (* (cbrt (+ x 1)) (cbrt (+ x 1)))), (/ (- 1 (sqrt x)) (cbrt (+ x 1))), (/ (+ (sqrt x) 1) (sqrt (+ x 1))), (/ (- 1 (sqrt x)) (sqrt (+ x 1))), (+ (sqrt x) 1), (/ (- 1 (sqrt x)) (+ x 1)), (+ (sqrt x) 1), (/ (- 1 (sqrt x)) (+ x 1)), (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1))), (/ (- 1 x) (cbrt (+ x 1))), (/ 1 (sqrt (+ x 1))), (/ (- 1 x) (sqrt (+ x 1))), 1, (/ (- 1 x) (+ x 1)), 1, (/ (- 1 x) (+ x 1)), (/ 1 (+ x 1)), (/ (+ x 1) (- 1 x)), (/ (/ (- 1 x) (cbrt (+ x 1))) (cbrt (+ x 1))), (/ (- 1 x) (sqrt (+ x 1))), (- 1 x), (- 1 x), (/ (+ x 1) (cbrt (- 1 x))), (/ (+ x 1) (sqrt (- 1 x))), (/ (+ x 1) (- 1 x)), (/ (+ x 1) (- 1 (sqrt x))), (/ (+ x 1) (- 1 (sqrt x))), (/ (+ x 1) (- 1 x)), (/ (- 1 x) (fma (* x x) x 1)), (/ (- 1 x) (- 1 (* x x))), (fma x (* (+ x 1) (+ x 1)) (+ x 1)), (* (+ x 1) (+ x 1)), (real->posit16 (/ (- 1 x) (+ x 1))), (expm1 (sqrt (/ (- 1 x) (+ x 1)))), (log1p (sqrt (/ (- 1 x) (+ x 1)))), (log (sqrt (/ (- 1 x) (+ x 1)))), (exp (sqrt (/ (- 1 x) (+ x 1)))), (* (cbrt (sqrt (/ (- 1 x) (+ x 1)))) (cbrt (sqrt (/ (- 1 x) (+ x 1))))), (cbrt (sqrt (/ (- 1 x) (+ x 1)))), (* (/ (- 1 x) (+ x 1)) (sqrt (/ (- 1 x) (+ x 1)))), (fabs (cbrt (/ (- 1 x) (+ x 1)))), (sqrt (cbrt (/ (- 1 x) (+ x 1)))), (sqrt (sqrt (/ (- 1 x) (+ x 1)))), (sqrt (sqrt (/ (- 1 x) (+ x 1)))), (fabs (/ (cbrt (- 1 x)) (cbrt (+ x 1)))), (sqrt (/ (cbrt (- 1 x)) (cbrt (+ x 1)))), (sqrt (* (cbrt (- 1 x)) (/ (cbrt (- 1 x)) (sqrt (+ x 1))))), (sqrt (/ (cbrt (- 1 x)) (sqrt (+ x 1)))), (fabs (cbrt (- 1 x))), (sqrt (/ (cbrt (- 1 x)) (+ x 1))), (fabs (cbrt (- 1 x))), (sqrt (/ (cbrt (- 1 x)) (+ x 1))), (sqrt (/ (sqrt (- 1 x)) (* (cbrt (+ x 1)) (cbrt (+ x 1))))), (sqrt (/ (sqrt (- 1 x)) (cbrt (+ x 1)))), (sqrt (/ (sqrt (- 1 x)) (sqrt (+ x 1)))), (sqrt (/ (sqrt (- 1 x)) (sqrt (+ x 1)))), (sqrt (sqrt (- 1 x))), (sqrt (/ (sqrt (- 1 x)) (+ x 1))), (sqrt (sqrt (- 1 x))), (sqrt (/ (sqrt (- 1 x)) (+ x 1))), (sqrt (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1)))), (sqrt (/ (- 1 x) (cbrt (+ x 1)))), (sqrt (/ 1 (sqrt (+ x 1)))), (sqrt (/ (- 1 x) (sqrt (+ x 1)))), 1, (sqrt (/ (- 1 x) (+ x 1))), 1, (sqrt (/ (- 1 x) (+ x 1))), (sqrt (/ (+ (sqrt x) 1) (* (cbrt (+ x 1)) (cbrt (+ x 1))))), (sqrt (/ (- 1 (sqrt x)) (cbrt (+ x 1)))), (sqrt (/ (+ (sqrt x) 1) (sqrt (+ x 1)))), (sqrt (/ (- 1 (sqrt x)) (sqrt (+ x 1)))), (sqrt (+ (sqrt x) 1)), (sqrt (/ (- 1 (sqrt x)) (+ x 1))), (sqrt (+ (sqrt x) 1)), (sqrt (/ (- 1 (sqrt x)) (+ x 1))), (sqrt (/ (+ (sqrt x) 1) (* (cbrt (+ x 1)) (cbrt (+ x 1))))), (sqrt (/ (- 1 (sqrt x)) (cbrt (+ x 1)))), (sqrt (/ (+ (sqrt x) 1) (sqrt (+ x 1)))), (sqrt (/ (- 1 (sqrt x)) (sqrt (+ x 1)))), (sqrt (+ (sqrt x) 1)), (sqrt (/ (- 1 (sqrt x)) (+ x 1))), (sqrt (+ (sqrt x) 1)), (sqrt (/ (- 1 (sqrt x)) (+ x 1))), (sqrt (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1)))), (sqrt (/ (- 1 x) (cbrt (+ x 1)))), (sqrt (/ 1 (sqrt (+ x 1)))), (sqrt (/ (- 1 x) (sqrt (+ x 1)))), 1, (sqrt (/ (- 1 x) (+ x 1))), 1, (sqrt (/ (- 1 x) (+ x 1))), 1, (sqrt (/ (- 1 x) (+ x 1))), (sqrt (- 1 x)), (sqrt (/ 1 (+ x 1))), (sqrt (/ (- 1 x) (fma (* x x) x 1))), (sqrt (- (fma x x 1) x)), (sqrt (/ (- 1 x) (- 1 (* x x)))), (sqrt (- 1 x)), (sqrt (- 1 x)), (sqrt (+ x 1)), 1/2, (sqrt (sqrt (/ (- 1 x) (+ x 1)))), (sqrt (sqrt (/ (- 1 x) (+ x 1)))), (real->posit16 (sqrt (/ (- 1 x) (+ x 1)))), (expm1 (atan (sqrt (/ (- 1 x) (+ x 1))))), (log1p (atan (sqrt (/ (- 1 x) (+ x 1))))), (log (atan (sqrt (/ (- 1 x) (+ x 1))))), (exp (atan (sqrt (/ (- 1 x) (+ x 1))))), (* (cbrt (atan (sqrt (/ (- 1 x) (+ x 1))))) (cbrt (atan (sqrt (/ (- 1 x) (+ x 1)))))), (cbrt (atan (sqrt (/ (- 1 x) (+ x 1))))), (* (atan (sqrt (/ (- 1 x) (+ x 1)))) (* (atan (sqrt (/ (- 1 x) (+ x 1)))) (atan (sqrt (/ (- 1 x) (+ x 1)))))), (sqrt (atan (sqrt (/ (- 1 x) (+ x 1))))), (sqrt (atan (sqrt (/ (- 1 x) (+ x 1))))), (real->posit16 (atan (sqrt (/ (- 1 x) (+ x 1))))), (- (fma (* 2 x) x 1) (* 2 x)), (+ (- (/ 2 x) (/ (/ 2 x) x)) -1), (+ (- (/ 2 x) (/ (/ 2 x) x)) -1), (fma (* 1/2 x) x (- 1 x)), (+ (/ (/ 1 x) (sqrt -1)) (+ (/ -1/2 (* (sqrt -1) (* x x))) (sqrt -1))), (+ (/ (/ 1 x) (sqrt -1)) (+ (/ -1/2 (* (sqrt -1) (* x x))) (sqrt -1))), (atan (sqrt (/ (- 1 x) (+ x 1)))), (atan (sqrt (/ (- 1 x) (+ x 1)))), (atan (sqrt (/ (- 1 x) (+ x 1))))
1.973 * * * [progress]: adding candidates to table
3.040 * * [progress]: iteration 2 / 4
3.040 * * * [progress]: picking best candidate
3.043 * * * * [pick]: Picked  #<alt (λ (x) (* 2 (atan (sqrt (log (exp (/ (- 1 x) (+ 1 x))))))))>
3.043 * * * [progress]: localizing error
3.070 * * * [progress]: generating rewritten candidates
3.070 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 1)
3.092 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1)
3.120 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1)
3.142 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
3.190 * * * [progress]: generating series expansions
3.190 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 1)
3.190 * [backup-simplify]: Simplify (/ (- 1 x) (+ 1 x)) into (/ (- 1 x) (+ x 1))
3.190 * [approximate]: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in (x) around 0
3.190 * [taylor]: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x
3.190 * [taylor]: Taking taylor expansion of (- 1 x) in x
3.190 * [taylor]: Taking taylor expansion of 1 in x
3.190 * [backup-simplify]: Simplify 1 into 1
3.190 * [taylor]: Taking taylor expansion of x in x
3.190 * [backup-simplify]: Simplify 0 into 0
3.190 * [backup-simplify]: Simplify 1 into 1
3.190 * [taylor]: Taking taylor expansion of (+ x 1) in x
3.190 * [taylor]: Taking taylor expansion of x in x
3.190 * [backup-simplify]: Simplify 0 into 0
3.190 * [backup-simplify]: Simplify 1 into 1
3.190 * [taylor]: Taking taylor expansion of 1 in x
3.190 * [backup-simplify]: Simplify 1 into 1
3.191 * [backup-simplify]: Simplify (- 0) into 0
3.191 * [backup-simplify]: Simplify (+ 1 0) into 1
3.191 * [backup-simplify]: Simplify (+ 0 1) into 1
3.192 * [backup-simplify]: Simplify (/ 1 1) into 1
3.192 * [taylor]: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x
3.192 * [taylor]: Taking taylor expansion of (- 1 x) in x
3.192 * [taylor]: Taking taylor expansion of 1 in x
3.192 * [backup-simplify]: Simplify 1 into 1
3.192 * [taylor]: Taking taylor expansion of x in x
3.192 * [backup-simplify]: Simplify 0 into 0
3.192 * [backup-simplify]: Simplify 1 into 1
3.192 * [taylor]: Taking taylor expansion of (+ x 1) in x
3.192 * [taylor]: Taking taylor expansion of x in x
3.192 * [backup-simplify]: Simplify 0 into 0
3.192 * [backup-simplify]: Simplify 1 into 1
3.192 * [taylor]: Taking taylor expansion of 1 in x
3.192 * [backup-simplify]: Simplify 1 into 1
3.192 * [backup-simplify]: Simplify (- 0) into 0
3.192 * [backup-simplify]: Simplify (+ 1 0) into 1
3.193 * [backup-simplify]: Simplify (+ 0 1) into 1
3.193 * [backup-simplify]: Simplify (/ 1 1) into 1
3.193 * [backup-simplify]: Simplify 1 into 1
3.193 * [backup-simplify]: Simplify (- 1) into -1
3.194 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.194 * [backup-simplify]: Simplify (+ 1 0) into 1
3.194 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2
3.194 * [backup-simplify]: Simplify -2 into -2
3.195 * [backup-simplify]: Simplify (- 0) into 0
3.195 * [backup-simplify]: Simplify (+ 0 0) into 0
3.195 * [backup-simplify]: Simplify (+ 0 0) into 0
3.196 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -2 (/ 1 1)))) into 2
3.196 * [backup-simplify]: Simplify 2 into 2
3.196 * [backup-simplify]: Simplify (+ (* 2 (pow x 2)) (+ (* -2 x) 1)) into (- (+ (* 2 (pow x 2)) 1) (* 2 x))
3.196 * [backup-simplify]: Simplify (/ (- 1 (/ 1 x)) (+ 1 (/ 1 x))) into (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))
3.196 * [approximate]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in (x) around 0
3.196 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x
3.196 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
3.196 * [taylor]: Taking taylor expansion of 1 in x
3.196 * [backup-simplify]: Simplify 1 into 1
3.196 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.196 * [taylor]: Taking taylor expansion of x in x
3.196 * [backup-simplify]: Simplify 0 into 0
3.196 * [backup-simplify]: Simplify 1 into 1
3.197 * [backup-simplify]: Simplify (/ 1 1) into 1
3.197 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
3.197 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.197 * [taylor]: Taking taylor expansion of x in x
3.197 * [backup-simplify]: Simplify 0 into 0
3.197 * [backup-simplify]: Simplify 1 into 1
3.197 * [backup-simplify]: Simplify (/ 1 1) into 1
3.197 * [taylor]: Taking taylor expansion of 1 in x
3.197 * [backup-simplify]: Simplify 1 into 1
3.197 * [backup-simplify]: Simplify (- 1) into -1
3.198 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.198 * [backup-simplify]: Simplify (+ 1 0) into 1
3.198 * [backup-simplify]: Simplify (/ -1 1) into -1
3.198 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x
3.198 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
3.198 * [taylor]: Taking taylor expansion of 1 in x
3.198 * [backup-simplify]: Simplify 1 into 1
3.198 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.198 * [taylor]: Taking taylor expansion of x in x
3.198 * [backup-simplify]: Simplify 0 into 0
3.198 * [backup-simplify]: Simplify 1 into 1
3.199 * [backup-simplify]: Simplify (/ 1 1) into 1
3.199 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
3.199 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.199 * [taylor]: Taking taylor expansion of x in x
3.199 * [backup-simplify]: Simplify 0 into 0
3.199 * [backup-simplify]: Simplify 1 into 1
3.199 * [backup-simplify]: Simplify (/ 1 1) into 1
3.199 * [taylor]: Taking taylor expansion of 1 in x
3.199 * [backup-simplify]: Simplify 1 into 1
3.199 * [backup-simplify]: Simplify (- 1) into -1
3.199 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.200 * [backup-simplify]: Simplify (+ 1 0) into 1
3.200 * [backup-simplify]: Simplify (/ -1 1) into -1
3.200 * [backup-simplify]: Simplify -1 into -1
3.201 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.201 * [backup-simplify]: Simplify (- 0) into 0
3.201 * [backup-simplify]: Simplify (+ 1 0) into 1
3.202 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.202 * [backup-simplify]: Simplify (+ 0 1) into 1
3.202 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2
3.202 * [backup-simplify]: Simplify 2 into 2
3.203 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.203 * [backup-simplify]: Simplify (- 0) into 0
3.203 * [backup-simplify]: Simplify (+ 0 0) into 0
3.204 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.204 * [backup-simplify]: Simplify (+ 0 0) into 0
3.205 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 1 1)))) into -2
3.205 * [backup-simplify]: Simplify -2 into -2
3.205 * [backup-simplify]: Simplify (+ (* -2 (pow (/ 1 x) 2)) (+ (* 2 (/ 1 x)) -1)) into (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1))
3.205 * [backup-simplify]: Simplify (/ (- 1 (/ 1 (- x))) (+ 1 (/ 1 (- x)))) into (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))
3.205 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in (x) around 0
3.205 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x
3.205 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
3.205 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.205 * [taylor]: Taking taylor expansion of x in x
3.205 * [backup-simplify]: Simplify 0 into 0
3.205 * [backup-simplify]: Simplify 1 into 1
3.205 * [backup-simplify]: Simplify (/ 1 1) into 1
3.206 * [taylor]: Taking taylor expansion of 1 in x
3.206 * [backup-simplify]: Simplify 1 into 1
3.206 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
3.206 * [taylor]: Taking taylor expansion of 1 in x
3.206 * [backup-simplify]: Simplify 1 into 1
3.206 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.206 * [taylor]: Taking taylor expansion of x in x
3.206 * [backup-simplify]: Simplify 0 into 0
3.206 * [backup-simplify]: Simplify 1 into 1
3.206 * [backup-simplify]: Simplify (/ 1 1) into 1
3.206 * [backup-simplify]: Simplify (+ 1 0) into 1
3.207 * [backup-simplify]: Simplify (- 1) into -1
3.210 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.210 * [backup-simplify]: Simplify (/ 1 -1) into -1
3.210 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x
3.210 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
3.210 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.210 * [taylor]: Taking taylor expansion of x in x
3.210 * [backup-simplify]: Simplify 0 into 0
3.210 * [backup-simplify]: Simplify 1 into 1
3.211 * [backup-simplify]: Simplify (/ 1 1) into 1
3.211 * [taylor]: Taking taylor expansion of 1 in x
3.211 * [backup-simplify]: Simplify 1 into 1
3.211 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
3.211 * [taylor]: Taking taylor expansion of 1 in x
3.211 * [backup-simplify]: Simplify 1 into 1
3.211 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.211 * [taylor]: Taking taylor expansion of x in x
3.211 * [backup-simplify]: Simplify 0 into 0
3.211 * [backup-simplify]: Simplify 1 into 1
3.211 * [backup-simplify]: Simplify (/ 1 1) into 1
3.211 * [backup-simplify]: Simplify (+ 1 0) into 1
3.212 * [backup-simplify]: Simplify (- 1) into -1
3.212 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.212 * [backup-simplify]: Simplify (/ 1 -1) into -1
3.212 * [backup-simplify]: Simplify -1 into -1
3.213 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.213 * [backup-simplify]: Simplify (+ 0 1) into 1
3.214 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.214 * [backup-simplify]: Simplify (- 0) into 0
3.214 * [backup-simplify]: Simplify (+ 1 0) into 1
3.215 * [backup-simplify]: Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2
3.215 * [backup-simplify]: Simplify -2 into -2
3.215 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.215 * [backup-simplify]: Simplify (+ 0 0) into 0
3.216 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.216 * [backup-simplify]: Simplify (- 0) into 0
3.216 * [backup-simplify]: Simplify (+ 0 0) into 0
3.217 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* -2 (/ 1 -1)))) into -2
3.217 * [backup-simplify]: Simplify -2 into -2
3.217 * [backup-simplify]: Simplify (+ (* -2 (pow (/ 1 (- x)) 2)) (+ (* -2 (/ 1 (- x))) -1)) into (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1))
3.218 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1)
3.218 * [backup-simplify]: Simplify (log (exp (/ (- 1 x) (+ 1 x)))) into (/ (- 1 x) (+ x 1))
3.218 * [approximate]: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in (x) around 0
3.218 * [taylor]: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x
3.218 * [taylor]: Taking taylor expansion of (- 1 x) in x
3.218 * [taylor]: Taking taylor expansion of 1 in x
3.218 * [backup-simplify]: Simplify 1 into 1
3.218 * [taylor]: Taking taylor expansion of x in x
3.218 * [backup-simplify]: Simplify 0 into 0
3.218 * [backup-simplify]: Simplify 1 into 1
3.218 * [taylor]: Taking taylor expansion of (+ x 1) in x
3.218 * [taylor]: Taking taylor expansion of x in x
3.218 * [backup-simplify]: Simplify 0 into 0
3.218 * [backup-simplify]: Simplify 1 into 1
3.218 * [taylor]: Taking taylor expansion of 1 in x
3.218 * [backup-simplify]: Simplify 1 into 1
3.218 * [backup-simplify]: Simplify (- 0) into 0
3.219 * [backup-simplify]: Simplify (+ 1 0) into 1
3.219 * [backup-simplify]: Simplify (+ 0 1) into 1
3.219 * [backup-simplify]: Simplify (/ 1 1) into 1
3.219 * [taylor]: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x
3.219 * [taylor]: Taking taylor expansion of (- 1 x) in x
3.219 * [taylor]: Taking taylor expansion of 1 in x
3.219 * [backup-simplify]: Simplify 1 into 1
3.219 * [taylor]: Taking taylor expansion of x in x
3.219 * [backup-simplify]: Simplify 0 into 0
3.219 * [backup-simplify]: Simplify 1 into 1
3.219 * [taylor]: Taking taylor expansion of (+ x 1) in x
3.219 * [taylor]: Taking taylor expansion of x in x
3.219 * [backup-simplify]: Simplify 0 into 0
3.219 * [backup-simplify]: Simplify 1 into 1
3.219 * [taylor]: Taking taylor expansion of 1 in x
3.219 * [backup-simplify]: Simplify 1 into 1
3.220 * [backup-simplify]: Simplify (- 0) into 0
3.220 * [backup-simplify]: Simplify (+ 1 0) into 1
3.220 * [backup-simplify]: Simplify (+ 0 1) into 1
3.221 * [backup-simplify]: Simplify (/ 1 1) into 1
3.221 * [backup-simplify]: Simplify 1 into 1
3.221 * [backup-simplify]: Simplify (- 1) into -1
3.221 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.222 * [backup-simplify]: Simplify (+ 1 0) into 1
3.223 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2
3.223 * [backup-simplify]: Simplify -2 into -2
3.224 * [backup-simplify]: Simplify (- 0) into 0
3.224 * [backup-simplify]: Simplify (+ 0 0) into 0
3.224 * [backup-simplify]: Simplify (+ 0 0) into 0
3.226 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -2 (/ 1 1)))) into 2
3.226 * [backup-simplify]: Simplify 2 into 2
3.226 * [backup-simplify]: Simplify (+ (* 2 (pow x 2)) (+ (* -2 x) 1)) into (- (+ (* 2 (pow x 2)) 1) (* 2 x))
3.226 * [backup-simplify]: Simplify (log (exp (/ (- 1 (/ 1 x)) (+ 1 (/ 1 x))))) into (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))
3.226 * [approximate]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in (x) around 0
3.226 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x
3.226 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
3.226 * [taylor]: Taking taylor expansion of 1 in x
3.226 * [backup-simplify]: Simplify 1 into 1
3.226 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.226 * [taylor]: Taking taylor expansion of x in x
3.226 * [backup-simplify]: Simplify 0 into 0
3.227 * [backup-simplify]: Simplify 1 into 1
3.227 * [backup-simplify]: Simplify (/ 1 1) into 1
3.227 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
3.227 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.227 * [taylor]: Taking taylor expansion of x in x
3.227 * [backup-simplify]: Simplify 0 into 0
3.227 * [backup-simplify]: Simplify 1 into 1
3.228 * [backup-simplify]: Simplify (/ 1 1) into 1
3.228 * [taylor]: Taking taylor expansion of 1 in x
3.228 * [backup-simplify]: Simplify 1 into 1
3.228 * [backup-simplify]: Simplify (- 1) into -1
3.229 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.229 * [backup-simplify]: Simplify (+ 1 0) into 1
3.229 * [backup-simplify]: Simplify (/ -1 1) into -1
3.230 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x
3.230 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
3.230 * [taylor]: Taking taylor expansion of 1 in x
3.230 * [backup-simplify]: Simplify 1 into 1
3.230 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.230 * [taylor]: Taking taylor expansion of x in x
3.230 * [backup-simplify]: Simplify 0 into 0
3.230 * [backup-simplify]: Simplify 1 into 1
3.230 * [backup-simplify]: Simplify (/ 1 1) into 1
3.230 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
3.230 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.230 * [taylor]: Taking taylor expansion of x in x
3.230 * [backup-simplify]: Simplify 0 into 0
3.230 * [backup-simplify]: Simplify 1 into 1
3.231 * [backup-simplify]: Simplify (/ 1 1) into 1
3.231 * [taylor]: Taking taylor expansion of 1 in x
3.231 * [backup-simplify]: Simplify 1 into 1
3.231 * [backup-simplify]: Simplify (- 1) into -1
3.232 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.232 * [backup-simplify]: Simplify (+ 1 0) into 1
3.233 * [backup-simplify]: Simplify (/ -1 1) into -1
3.233 * [backup-simplify]: Simplify -1 into -1
3.234 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.234 * [backup-simplify]: Simplify (- 0) into 0
3.234 * [backup-simplify]: Simplify (+ 1 0) into 1
3.235 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.236 * [backup-simplify]: Simplify (+ 0 1) into 1
3.237 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2
3.237 * [backup-simplify]: Simplify 2 into 2
3.238 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.238 * [backup-simplify]: Simplify (- 0) into 0
3.238 * [backup-simplify]: Simplify (+ 0 0) into 0
3.239 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.240 * [backup-simplify]: Simplify (+ 0 0) into 0
3.241 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 1 1)))) into -2
3.241 * [backup-simplify]: Simplify -2 into -2
3.242 * [backup-simplify]: Simplify (+ (* -2 (pow (/ 1 x) 2)) (+ (* 2 (/ 1 x)) -1)) into (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1))
3.242 * [backup-simplify]: Simplify (log (exp (/ (- 1 (/ 1 (- x))) (+ 1 (/ 1 (- x)))))) into (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))
3.242 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in (x) around 0
3.242 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x
3.242 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
3.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.242 * [taylor]: Taking taylor expansion of x in x
3.242 * [backup-simplify]: Simplify 0 into 0
3.242 * [backup-simplify]: Simplify 1 into 1
3.243 * [backup-simplify]: Simplify (/ 1 1) into 1
3.243 * [taylor]: Taking taylor expansion of 1 in x
3.243 * [backup-simplify]: Simplify 1 into 1
3.243 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
3.243 * [taylor]: Taking taylor expansion of 1 in x
3.243 * [backup-simplify]: Simplify 1 into 1
3.243 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.243 * [taylor]: Taking taylor expansion of x in x
3.243 * [backup-simplify]: Simplify 0 into 0
3.243 * [backup-simplify]: Simplify 1 into 1
3.243 * [backup-simplify]: Simplify (/ 1 1) into 1
3.244 * [backup-simplify]: Simplify (+ 1 0) into 1
3.244 * [backup-simplify]: Simplify (- 1) into -1
3.245 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.245 * [backup-simplify]: Simplify (/ 1 -1) into -1
3.245 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x
3.245 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
3.245 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.245 * [taylor]: Taking taylor expansion of x in x
3.245 * [backup-simplify]: Simplify 0 into 0
3.245 * [backup-simplify]: Simplify 1 into 1
3.245 * [backup-simplify]: Simplify (/ 1 1) into 1
3.245 * [taylor]: Taking taylor expansion of 1 in x
3.245 * [backup-simplify]: Simplify 1 into 1
3.245 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
3.245 * [taylor]: Taking taylor expansion of 1 in x
3.246 * [backup-simplify]: Simplify 1 into 1
3.246 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.246 * [taylor]: Taking taylor expansion of x in x
3.246 * [backup-simplify]: Simplify 0 into 0
3.246 * [backup-simplify]: Simplify 1 into 1
3.246 * [backup-simplify]: Simplify (/ 1 1) into 1
3.246 * [backup-simplify]: Simplify (+ 1 0) into 1
3.246 * [backup-simplify]: Simplify (- 1) into -1
3.247 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.247 * [backup-simplify]: Simplify (/ 1 -1) into -1
3.247 * [backup-simplify]: Simplify -1 into -1
3.248 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.248 * [backup-simplify]: Simplify (+ 0 1) into 1
3.248 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.249 * [backup-simplify]: Simplify (- 0) into 0
3.249 * [backup-simplify]: Simplify (+ 1 0) into 1
3.249 * [backup-simplify]: Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2
3.249 * [backup-simplify]: Simplify -2 into -2
3.250 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.250 * [backup-simplify]: Simplify (+ 0 0) into 0
3.251 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.251 * [backup-simplify]: Simplify (- 0) into 0
3.251 * [backup-simplify]: Simplify (+ 0 0) into 0
3.252 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* -2 (/ 1 -1)))) into -2
3.252 * [backup-simplify]: Simplify -2 into -2
3.252 * [backup-simplify]: Simplify (+ (* -2 (pow (/ 1 (- x)) 2)) (+ (* -2 (/ 1 (- x))) -1)) into (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1))
3.252 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1)
3.252 * [backup-simplify]: Simplify (exp (/ (- 1 x) (+ 1 x))) into (exp (/ (- 1 x) (+ x 1)))
3.252 * [approximate]: Taking taylor expansion of (exp (/ (- 1 x) (+ x 1))) in (x) around 0
3.252 * [taylor]: Taking taylor expansion of (exp (/ (- 1 x) (+ x 1))) in x
3.252 * [taylor]: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x
3.252 * [taylor]: Taking taylor expansion of (- 1 x) in x
3.252 * [taylor]: Taking taylor expansion of 1 in x
3.252 * [backup-simplify]: Simplify 1 into 1
3.252 * [taylor]: Taking taylor expansion of x in x
3.252 * [backup-simplify]: Simplify 0 into 0
3.252 * [backup-simplify]: Simplify 1 into 1
3.252 * [taylor]: Taking taylor expansion of (+ x 1) in x
3.252 * [taylor]: Taking taylor expansion of x in x
3.253 * [backup-simplify]: Simplify 0 into 0
3.253 * [backup-simplify]: Simplify 1 into 1
3.253 * [taylor]: Taking taylor expansion of 1 in x
3.253 * [backup-simplify]: Simplify 1 into 1
3.253 * [backup-simplify]: Simplify (- 0) into 0
3.253 * [backup-simplify]: Simplify (+ 1 0) into 1
3.253 * [backup-simplify]: Simplify (+ 0 1) into 1
3.254 * [backup-simplify]: Simplify (/ 1 1) into 1
3.254 * [backup-simplify]: Simplify (exp 1) into E
3.254 * [taylor]: Taking taylor expansion of (exp (/ (- 1 x) (+ x 1))) in x
3.254 * [taylor]: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x
3.254 * [taylor]: Taking taylor expansion of (- 1 x) in x
3.254 * [taylor]: Taking taylor expansion of 1 in x
3.254 * [backup-simplify]: Simplify 1 into 1
3.254 * [taylor]: Taking taylor expansion of x in x
3.254 * [backup-simplify]: Simplify 0 into 0
3.254 * [backup-simplify]: Simplify 1 into 1
3.254 * [taylor]: Taking taylor expansion of (+ x 1) in x
3.254 * [taylor]: Taking taylor expansion of x in x
3.254 * [backup-simplify]: Simplify 0 into 0
3.254 * [backup-simplify]: Simplify 1 into 1
3.254 * [taylor]: Taking taylor expansion of 1 in x
3.254 * [backup-simplify]: Simplify 1 into 1
3.254 * [backup-simplify]: Simplify (- 0) into 0
3.255 * [backup-simplify]: Simplify (+ 1 0) into 1
3.255 * [backup-simplify]: Simplify (+ 0 1) into 1
3.255 * [backup-simplify]: Simplify (/ 1 1) into 1
3.255 * [backup-simplify]: Simplify (exp 1) into E
3.255 * [backup-simplify]: Simplify E into E
3.256 * [backup-simplify]: Simplify (- 1) into -1
3.256 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.256 * [backup-simplify]: Simplify (+ 1 0) into 1
3.257 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2
3.258 * [backup-simplify]: Simplify (* (exp 1) (+ (* (/ (pow -2 1) 1)))) into (* -2 E)
3.259 * [backup-simplify]: Simplify (* -2 E) into (* -2 E)
3.259 * [backup-simplify]: Simplify (- 0) into 0
3.259 * [backup-simplify]: Simplify (+ 0 0) into 0
3.259 * [backup-simplify]: Simplify (+ 0 0) into 0
3.260 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -2 (/ 1 1)))) into 2
3.262 * [backup-simplify]: Simplify (* (exp 1) (+ (* (/ (pow -2 2) 2)) (* (/ (pow 2 1) 1)))) into (* 4 E)
3.262 * [backup-simplify]: Simplify (* 4 E) into (* 4 E)
3.263 * [backup-simplify]: Simplify (+ (* (* 4 E) (pow x 2)) (+ (* (* -2 E) x) E)) into (- (+ (* 4 (* (pow x 2) E)) E) (* 2 (* x E)))
3.263 * [backup-simplify]: Simplify (exp (/ (- 1 (/ 1 x)) (+ 1 (/ 1 x)))) into (exp (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)))
3.263 * [approximate]: Taking taylor expansion of (exp (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in (x) around 0
3.263 * [taylor]: Taking taylor expansion of (exp (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in x
3.263 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x
3.263 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
3.263 * [taylor]: Taking taylor expansion of 1 in x
3.263 * [backup-simplify]: Simplify 1 into 1
3.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.263 * [taylor]: Taking taylor expansion of x in x
3.263 * [backup-simplify]: Simplify 0 into 0
3.263 * [backup-simplify]: Simplify 1 into 1
3.263 * [backup-simplify]: Simplify (/ 1 1) into 1
3.263 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
3.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.263 * [taylor]: Taking taylor expansion of x in x
3.263 * [backup-simplify]: Simplify 0 into 0
3.263 * [backup-simplify]: Simplify 1 into 1
3.264 * [backup-simplify]: Simplify (/ 1 1) into 1
3.264 * [taylor]: Taking taylor expansion of 1 in x
3.264 * [backup-simplify]: Simplify 1 into 1
3.264 * [backup-simplify]: Simplify (- 1) into -1
3.264 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.265 * [backup-simplify]: Simplify (+ 1 0) into 1
3.265 * [backup-simplify]: Simplify (/ -1 1) into -1
3.265 * [backup-simplify]: Simplify (exp -1) into (exp -1)
3.265 * [taylor]: Taking taylor expansion of (exp (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in x
3.265 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x
3.265 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
3.265 * [taylor]: Taking taylor expansion of 1 in x
3.265 * [backup-simplify]: Simplify 1 into 1
3.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.265 * [taylor]: Taking taylor expansion of x in x
3.265 * [backup-simplify]: Simplify 0 into 0
3.265 * [backup-simplify]: Simplify 1 into 1
3.266 * [backup-simplify]: Simplify (/ 1 1) into 1
3.266 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
3.266 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.266 * [taylor]: Taking taylor expansion of x in x
3.266 * [backup-simplify]: Simplify 0 into 0
3.266 * [backup-simplify]: Simplify 1 into 1
3.266 * [backup-simplify]: Simplify (/ 1 1) into 1
3.266 * [taylor]: Taking taylor expansion of 1 in x
3.266 * [backup-simplify]: Simplify 1 into 1
3.266 * [backup-simplify]: Simplify (- 1) into -1
3.266 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.267 * [backup-simplify]: Simplify (+ 1 0) into 1
3.267 * [backup-simplify]: Simplify (/ -1 1) into -1
3.267 * [backup-simplify]: Simplify (exp -1) into (exp -1)
3.267 * [backup-simplify]: Simplify (exp -1) into (exp -1)
3.268 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.268 * [backup-simplify]: Simplify (- 0) into 0
3.268 * [backup-simplify]: Simplify (+ 1 0) into 1
3.269 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.269 * [backup-simplify]: Simplify (+ 0 1) into 1
3.270 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2
3.271 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 2 1) 1)))) into (* 2 (exp -1))
3.271 * [backup-simplify]: Simplify (* 2 (exp -1)) into (* 2 (exp -1))
3.272 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.272 * [backup-simplify]: Simplify (- 0) into 0
3.272 * [backup-simplify]: Simplify (+ 0 0) into 0
3.273 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.273 * [backup-simplify]: Simplify (+ 0 0) into 0
3.274 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 1 1)))) into -2
3.275 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 2 2) 2)) (* (/ (pow -2 1) 1)))) into 0
3.275 * [backup-simplify]: Simplify 0 into 0
3.276 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.276 * [backup-simplify]: Simplify (- 0) into 0
3.276 * [backup-simplify]: Simplify (+ 0 0) into 0
3.277 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.277 * [backup-simplify]: Simplify (+ 0 0) into 0
3.278 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 0 1)) (* -2 (/ 1 1)))) into 2
3.281 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 2 3) 6)) (* (/ (pow 2 1) 1) (/ (pow -2 1) 1)) (* (/ (pow 2 1) 1)))) into (* -2/3 (exp -1))
3.281 * [backup-simplify]: Simplify (* -2/3 (exp -1)) into (* -2/3 (exp -1))
3.283 * [backup-simplify]: Simplify (+ (* (* -2/3 (exp -1)) (pow (/ 1 x) 3)) (+ (* (* 2 (exp -1)) (/ 1 x)) (exp -1))) into (- (+ (exp -1) (* 2 (/ (exp -1) x))) (* 2/3 (/ (exp -1) (pow x 3))))
3.283 * [backup-simplify]: Simplify (exp (/ (- 1 (/ 1 (- x))) (+ 1 (/ 1 (- x))))) into (exp (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))))
3.283 * [approximate]: Taking taylor expansion of (exp (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in (x) around 0
3.283 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in x
3.283 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x
3.283 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
3.283 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.283 * [taylor]: Taking taylor expansion of x in x
3.283 * [backup-simplify]: Simplify 0 into 0
3.283 * [backup-simplify]: Simplify 1 into 1
3.283 * [backup-simplify]: Simplify (/ 1 1) into 1
3.283 * [taylor]: Taking taylor expansion of 1 in x
3.283 * [backup-simplify]: Simplify 1 into 1
3.283 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
3.283 * [taylor]: Taking taylor expansion of 1 in x
3.283 * [backup-simplify]: Simplify 1 into 1
3.283 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.283 * [taylor]: Taking taylor expansion of x in x
3.283 * [backup-simplify]: Simplify 0 into 0
3.283 * [backup-simplify]: Simplify 1 into 1
3.284 * [backup-simplify]: Simplify (/ 1 1) into 1
3.284 * [backup-simplify]: Simplify (+ 1 0) into 1
3.284 * [backup-simplify]: Simplify (- 1) into -1
3.284 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.285 * [backup-simplify]: Simplify (/ 1 -1) into -1
3.285 * [backup-simplify]: Simplify (exp -1) into (exp -1)
3.285 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in x
3.285 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x
3.285 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
3.285 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.285 * [taylor]: Taking taylor expansion of x in x
3.285 * [backup-simplify]: Simplify 0 into 0
3.285 * [backup-simplify]: Simplify 1 into 1
3.285 * [backup-simplify]: Simplify (/ 1 1) into 1
3.285 * [taylor]: Taking taylor expansion of 1 in x
3.285 * [backup-simplify]: Simplify 1 into 1
3.285 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
3.285 * [taylor]: Taking taylor expansion of 1 in x
3.285 * [backup-simplify]: Simplify 1 into 1
3.285 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.285 * [taylor]: Taking taylor expansion of x in x
3.285 * [backup-simplify]: Simplify 0 into 0
3.285 * [backup-simplify]: Simplify 1 into 1
3.286 * [backup-simplify]: Simplify (/ 1 1) into 1
3.286 * [backup-simplify]: Simplify (+ 1 0) into 1
3.286 * [backup-simplify]: Simplify (- 1) into -1
3.286 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.287 * [backup-simplify]: Simplify (/ 1 -1) into -1
3.287 * [backup-simplify]: Simplify (exp -1) into (exp -1)
3.287 * [backup-simplify]: Simplify (exp -1) into (exp -1)
3.288 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.288 * [backup-simplify]: Simplify (+ 0 1) into 1
3.288 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.289 * [backup-simplify]: Simplify (- 0) into 0
3.289 * [backup-simplify]: Simplify (+ 1 0) into 1
3.289 * [backup-simplify]: Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2
3.291 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow -2 1) 1)))) into (* -2 (exp -1))
3.291 * [backup-simplify]: Simplify (* -2 (exp -1)) into (* -2 (exp -1))
3.292 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.292 * [backup-simplify]: Simplify (+ 0 0) into 0
3.293 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.293 * [backup-simplify]: Simplify (- 0) into 0
3.293 * [backup-simplify]: Simplify (+ 0 0) into 0
3.294 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* -2 (/ 1 -1)))) into -2
3.295 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow -2 2) 2)) (* (/ (pow -2 1) 1)))) into 0
3.295 * [backup-simplify]: Simplify 0 into 0
3.295 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.296 * [backup-simplify]: Simplify (+ 0 0) into 0
3.296 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.296 * [backup-simplify]: Simplify (- 0) into 0
3.297 * [backup-simplify]: Simplify (+ 0 0) into 0
3.298 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* -2 (/ 0 -1)) (* -2 (/ 1 -1)))) into -2
3.301 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow -2 3) 6)) (* (/ (pow -2 1) 1) (/ (pow -2 1) 1)) (* (/ (pow -2 1) 1)))) into (* 2/3 (exp -1))
3.301 * [backup-simplify]: Simplify (* 2/3 (exp -1)) into (* 2/3 (exp -1))
3.303 * [backup-simplify]: Simplify (+ (* (* 2/3 (exp -1)) (pow (/ 1 (- x)) 3)) (+ (* (* -2 (exp -1)) (/ 1 (- x))) (exp -1))) into (- (+ (exp -1) (* 2 (/ (exp -1) x))) (* 2/3 (/ (exp -1) (pow x 3))))
3.303 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
3.303 * [backup-simplify]: Simplify (sqrt (log (exp (/ (- 1 x) (+ 1 x))))) into (sqrt (/ (- 1 x) (+ x 1)))
3.303 * [approximate]: Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in (x) around 0
3.303 * [taylor]: Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in x
3.303 * [taylor]: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x
3.303 * [taylor]: Taking taylor expansion of (- 1 x) in x
3.303 * [taylor]: Taking taylor expansion of 1 in x
3.303 * [backup-simplify]: Simplify 1 into 1
3.303 * [taylor]: Taking taylor expansion of x in x
3.303 * [backup-simplify]: Simplify 0 into 0
3.303 * [backup-simplify]: Simplify 1 into 1
3.303 * [taylor]: Taking taylor expansion of (+ x 1) in x
3.303 * [taylor]: Taking taylor expansion of x in x
3.303 * [backup-simplify]: Simplify 0 into 0
3.303 * [backup-simplify]: Simplify 1 into 1
3.303 * [taylor]: Taking taylor expansion of 1 in x
3.303 * [backup-simplify]: Simplify 1 into 1
3.303 * [backup-simplify]: Simplify (- 0) into 0
3.304 * [backup-simplify]: Simplify (+ 1 0) into 1
3.304 * [backup-simplify]: Simplify (+ 0 1) into 1
3.304 * [backup-simplify]: Simplify (/ 1 1) into 1
3.304 * [backup-simplify]: Simplify (sqrt 1) into 1
3.305 * [backup-simplify]: Simplify (- 1) into -1
3.305 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.305 * [backup-simplify]: Simplify (+ 1 0) into 1
3.306 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2
3.306 * [backup-simplify]: Simplify (/ -2 (* 2 (sqrt 1))) into -1
3.306 * [taylor]: Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in x
3.306 * [taylor]: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x
3.306 * [taylor]: Taking taylor expansion of (- 1 x) in x
3.306 * [taylor]: Taking taylor expansion of 1 in x
3.306 * [backup-simplify]: Simplify 1 into 1
3.306 * [taylor]: Taking taylor expansion of x in x
3.306 * [backup-simplify]: Simplify 0 into 0
3.306 * [backup-simplify]: Simplify 1 into 1
3.306 * [taylor]: Taking taylor expansion of (+ x 1) in x
3.306 * [taylor]: Taking taylor expansion of x in x
3.306 * [backup-simplify]: Simplify 0 into 0
3.306 * [backup-simplify]: Simplify 1 into 1
3.306 * [taylor]: Taking taylor expansion of 1 in x
3.306 * [backup-simplify]: Simplify 1 into 1
3.307 * [backup-simplify]: Simplify (- 0) into 0
3.307 * [backup-simplify]: Simplify (+ 1 0) into 1
3.307 * [backup-simplify]: Simplify (+ 0 1) into 1
3.307 * [backup-simplify]: Simplify (/ 1 1) into 1
3.308 * [backup-simplify]: Simplify (sqrt 1) into 1
3.308 * [backup-simplify]: Simplify (- 1) into -1
3.308 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.308 * [backup-simplify]: Simplify (+ 1 0) into 1
3.309 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2
3.309 * [backup-simplify]: Simplify (/ -2 (* 2 (sqrt 1))) into -1
3.309 * [backup-simplify]: Simplify 1 into 1
3.310 * [backup-simplify]: Simplify -1 into -1
3.313 * [backup-simplify]: Simplify (- 0) into 0
3.314 * [backup-simplify]: Simplify (+ 0 0) into 0
3.314 * [backup-simplify]: Simplify (+ 0 0) into 0
3.315 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -2 (/ 1 1)))) into 2
3.315 * [backup-simplify]: Simplify (/ (- 2 (pow -1 2) (+)) (* 2 1)) into 1/2
3.315 * [backup-simplify]: Simplify 1/2 into 1/2
3.315 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* -1 x) 1)) into (- (+ (* 1/2 (pow x 2)) 1) x)
3.316 * [backup-simplify]: Simplify (sqrt (log (exp (/ (- 1 (/ 1 x)) (+ 1 (/ 1 x)))))) into (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)))
3.316 * [approximate]: Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in (x) around 0
3.316 * [taylor]: Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in x
3.316 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x
3.316 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
3.316 * [taylor]: Taking taylor expansion of 1 in x
3.316 * [backup-simplify]: Simplify 1 into 1
3.316 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.316 * [taylor]: Taking taylor expansion of x in x
3.316 * [backup-simplify]: Simplify 0 into 0
3.316 * [backup-simplify]: Simplify 1 into 1
3.316 * [backup-simplify]: Simplify (/ 1 1) into 1
3.316 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
3.316 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.316 * [taylor]: Taking taylor expansion of x in x
3.316 * [backup-simplify]: Simplify 0 into 0
3.316 * [backup-simplify]: Simplify 1 into 1
3.316 * [backup-simplify]: Simplify (/ 1 1) into 1
3.316 * [taylor]: Taking taylor expansion of 1 in x
3.316 * [backup-simplify]: Simplify 1 into 1
3.317 * [backup-simplify]: Simplify (- 1) into -1
3.317 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.317 * [backup-simplify]: Simplify (+ 1 0) into 1
3.317 * [backup-simplify]: Simplify (/ -1 1) into -1
3.318 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.318 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.318 * [backup-simplify]: Simplify (- 0) into 0
3.319 * [backup-simplify]: Simplify (+ 1 0) into 1
3.319 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.319 * [backup-simplify]: Simplify (+ 0 1) into 1
3.320 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2
3.321 * [backup-simplify]: Simplify (/ 2 (* 2 (sqrt -1))) into (/ 1 (sqrt -1))
3.321 * [taylor]: Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in x
3.321 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x
3.321 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
3.321 * [taylor]: Taking taylor expansion of 1 in x
3.321 * [backup-simplify]: Simplify 1 into 1
3.321 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.321 * [taylor]: Taking taylor expansion of x in x
3.321 * [backup-simplify]: Simplify 0 into 0
3.321 * [backup-simplify]: Simplify 1 into 1
3.321 * [backup-simplify]: Simplify (/ 1 1) into 1
3.321 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
3.321 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.321 * [taylor]: Taking taylor expansion of x in x
3.321 * [backup-simplify]: Simplify 0 into 0
3.322 * [backup-simplify]: Simplify 1 into 1
3.322 * [backup-simplify]: Simplify (/ 1 1) into 1
3.322 * [taylor]: Taking taylor expansion of 1 in x
3.322 * [backup-simplify]: Simplify 1 into 1
3.322 * [backup-simplify]: Simplify (- 1) into -1
3.323 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.323 * [backup-simplify]: Simplify (+ 1 0) into 1
3.324 * [backup-simplify]: Simplify (/ -1 1) into -1
3.324 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.325 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.325 * [backup-simplify]: Simplify (- 0) into 0
3.326 * [backup-simplify]: Simplify (+ 1 0) into 1
3.327 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.327 * [backup-simplify]: Simplify (+ 0 1) into 1
3.328 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2
3.329 * [backup-simplify]: Simplify (/ 2 (* 2 (sqrt -1))) into (/ 1 (sqrt -1))
3.330 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.331 * [backup-simplify]: Simplify (/ 1 (sqrt -1)) into (/ 1 (sqrt -1))
3.332 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.332 * [backup-simplify]: Simplify (- 0) into 0
3.333 * [backup-simplify]: Simplify (+ 0 0) into 0
3.333 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.334 * [backup-simplify]: Simplify (+ 0 0) into 0
3.335 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 1 1)))) into -2
3.339 * [backup-simplify]: Simplify (/ (- -2 (pow (/ 1 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
3.340 * [backup-simplify]: Simplify (/ -1/2 (sqrt -1)) into (/ -1/2 (sqrt -1))
3.342 * [backup-simplify]: Simplify (+ (* (/ -1/2 (sqrt -1)) (pow (/ 1 x) 2)) (+ (* (/ 1 (sqrt -1)) (/ 1 x)) (sqrt -1))) into (- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (* 1/2 (/ 1 (* (pow x 2) (sqrt -1)))))
3.342 * [backup-simplify]: Simplify (sqrt (log (exp (/ (- 1 (/ 1 (- x))) (+ 1 (/ 1 (- x))))))) into (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))))
3.342 * [approximate]: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in (x) around 0
3.342 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in x
3.342 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x
3.342 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
3.342 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.342 * [taylor]: Taking taylor expansion of x in x
3.342 * [backup-simplify]: Simplify 0 into 0
3.342 * [backup-simplify]: Simplify 1 into 1
3.343 * [backup-simplify]: Simplify (/ 1 1) into 1
3.343 * [taylor]: Taking taylor expansion of 1 in x
3.343 * [backup-simplify]: Simplify 1 into 1
3.343 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
3.343 * [taylor]: Taking taylor expansion of 1 in x
3.343 * [backup-simplify]: Simplify 1 into 1
3.343 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.343 * [taylor]: Taking taylor expansion of x in x
3.343 * [backup-simplify]: Simplify 0 into 0
3.343 * [backup-simplify]: Simplify 1 into 1
3.343 * [backup-simplify]: Simplify (/ 1 1) into 1
3.344 * [backup-simplify]: Simplify (+ 1 0) into 1
3.344 * [backup-simplify]: Simplify (- 1) into -1
3.345 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.345 * [backup-simplify]: Simplify (/ 1 -1) into -1
3.345 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.346 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.347 * [backup-simplify]: Simplify (+ 0 1) into 1
3.348 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.349 * [backup-simplify]: Simplify (- 0) into 0
3.349 * [backup-simplify]: Simplify (+ 1 0) into 1
3.350 * [backup-simplify]: Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2
3.351 * [backup-simplify]: Simplify (/ -2 (* 2 (sqrt -1))) into (/ -1 (sqrt -1))
3.351 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in x
3.352 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x
3.352 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
3.352 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.352 * [taylor]: Taking taylor expansion of x in x
3.352 * [backup-simplify]: Simplify 0 into 0
3.352 * [backup-simplify]: Simplify 1 into 1
3.352 * [backup-simplify]: Simplify (/ 1 1) into 1
3.352 * [taylor]: Taking taylor expansion of 1 in x
3.352 * [backup-simplify]: Simplify 1 into 1
3.352 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
3.352 * [taylor]: Taking taylor expansion of 1 in x
3.352 * [backup-simplify]: Simplify 1 into 1
3.352 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.352 * [taylor]: Taking taylor expansion of x in x
3.352 * [backup-simplify]: Simplify 0 into 0
3.352 * [backup-simplify]: Simplify 1 into 1
3.353 * [backup-simplify]: Simplify (/ 1 1) into 1
3.353 * [backup-simplify]: Simplify (+ 1 0) into 1
3.353 * [backup-simplify]: Simplify (- 1) into -1
3.354 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.354 * [backup-simplify]: Simplify (/ 1 -1) into -1
3.354 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.355 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.355 * [backup-simplify]: Simplify (+ 0 1) into 1
3.355 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.356 * [backup-simplify]: Simplify (- 0) into 0
3.356 * [backup-simplify]: Simplify (+ 1 0) into 1
3.356 * [backup-simplify]: Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2
3.357 * [backup-simplify]: Simplify (/ -2 (* 2 (sqrt -1))) into (/ -1 (sqrt -1))
3.358 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.358 * [backup-simplify]: Simplify (/ -1 (sqrt -1)) into (/ -1 (sqrt -1))
3.359 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.359 * [backup-simplify]: Simplify (+ 0 0) into 0
3.359 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.360 * [backup-simplify]: Simplify (- 0) into 0
3.360 * [backup-simplify]: Simplify (+ 0 0) into 0
3.361 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* -2 (/ 1 -1)))) into -2
3.362 * [backup-simplify]: Simplify (/ (- -2 (pow (/ -1 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
3.363 * [backup-simplify]: Simplify (/ -1/2 (sqrt -1)) into (/ -1/2 (sqrt -1))
3.364 * [backup-simplify]: Simplify (+ (* (/ -1/2 (sqrt -1)) (pow (/ 1 (- x)) 2)) (+ (* (/ -1 (sqrt -1)) (/ 1 (- x))) (sqrt -1))) into (- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (* 1/2 (/ 1 (* (pow x 2) (sqrt -1)))))
3.364 * * * [progress]: simplifying candidates
3.365 * * * * [progress]: [ 1 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (log1p (expm1 (/ (- 1 x) (+ 1 x))))))))))>
3.365 * * * * [progress]: [ 2 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (expm1 (log1p (/ (- 1 x) (+ 1 x))))))))))>
3.365 * * * * [progress]: [ 3 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (pow (/ (- 1 x) (+ 1 x)) 1)))))))>
3.365 * * * * [progress]: [ 4 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (exp (- (log (- 1 x)) (log (+ 1 x))))))))))>
3.365 * * * * [progress]: [ 5 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (exp (log (/ (- 1 x) (+ 1 x))))))))))>
3.365 * * * * [progress]: [ 6 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (log (exp (/ (- 1 x) (+ 1 x))))))))))>
3.365 * * * * [progress]: [ 7 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (cbrt (/ (* (* (- 1 x) (- 1 x)) (- 1 x)) (* (* (+ 1 x) (+ 1 x)) (+ 1 x))))))))))>
3.365 * * * * [progress]: [ 8 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (* (* (cbrt (/ (- 1 x) (+ 1 x))) (cbrt (/ (- 1 x) (+ 1 x)))) (cbrt (/ (- 1 x) (+ 1 x))))))))))>
3.365 * * * * [progress]: [ 9 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (cbrt (* (* (/ (- 1 x) (+ 1 x)) (/ (- 1 x) (+ 1 x))) (/ (- 1 x) (+ 1 x))))))))))>
3.365 * * * * [progress]: [ 10 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (* (sqrt (/ (- 1 x) (+ 1 x))) (sqrt (/ (- 1 x) (+ 1 x))))))))))>
3.365 * * * * [progress]: [ 11 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (/ (- (- 1 x)) (- (+ 1 x)))))))))>
3.365 * * * * [progress]: [ 12 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (- (/ 1 (+ 1 x)) (/ x (+ 1 x)))))))))>
3.365 * * * * [progress]: [ 13 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (* (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (cbrt (- 1 x)) (cbrt (+ 1 x))))))))))>
3.365 * * * * [progress]: [ 14 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (* (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ 1 x))) (/ (cbrt (- 1 x)) (sqrt (+ 1 x))))))))))>
3.365 * * * * [progress]: [ 15 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (* (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1) (/ (cbrt (- 1 x)) (+ 1 x)))))))))>
3.365 * * * * [progress]: [ 16 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (* (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1) (/ (cbrt (- 1 x)) (+ 1 x)))))))))>
3.365 * * * * [progress]: [ 17 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (* (/ (sqrt (- 1 x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (sqrt (- 1 x)) (cbrt (+ 1 x))))))))))>
3.365 * * * * [progress]: [ 18 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (* (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) (/ (sqrt (- 1 x)) (sqrt (+ 1 x))))))))))>
3.365 * * * * [progress]: [ 19 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (* (/ (sqrt (- 1 x)) 1) (/ (sqrt (- 1 x)) (+ 1 x)))))))))>
3.365 * * * * [progress]: [ 20 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (* (/ (sqrt (- 1 x)) 1) (/ (sqrt (- 1 x)) (+ 1 x)))))))))>
3.365 * * * * [progress]: [ 21 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (* (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (- 1 x) (cbrt (+ 1 x))))))))))>
3.365 * * * * [progress]: [ 22 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (* (/ 1 (sqrt (+ 1 x))) (/ (- 1 x) (sqrt (+ 1 x))))))))))>
3.365 * * * * [progress]: [ 23 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (* (/ 1 1) (/ (- 1 x) (+ 1 x)))))))))>
3.366 * * * * [progress]: [ 24 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (* (/ 1 1) (/ (- 1 x) (+ 1 x)))))))))>
3.366 * * * * [progress]: [ 25 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (* (/ (+ (sqrt 1) (sqrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (- (sqrt 1) (sqrt x)) (cbrt (+ 1 x))))))))))>
3.366 * * * * [progress]: [ 26 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (* (/ (+ (sqrt 1) (sqrt x)) (sqrt (+ 1 x))) (/ (- (sqrt 1) (sqrt x)) (sqrt (+ 1 x))))))))))>
3.366 * * * * [progress]: [ 27 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (* (/ (+ (sqrt 1) (sqrt x)) 1) (/ (- (sqrt 1) (sqrt x)) (+ 1 x)))))))))>
3.366 * * * * [progress]: [ 28 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (* (/ (+ (sqrt 1) (sqrt x)) 1) (/ (- (sqrt 1) (sqrt x)) (+ 1 x)))))))))>
3.366 * * * * [progress]: [ 29 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (* (/ (+ 1 (sqrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (- 1 (sqrt x)) (cbrt (+ 1 x))))))))))>
3.366 * * * * [progress]: [ 30 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (* (/ (+ 1 (sqrt x)) (sqrt (+ 1 x))) (/ (- 1 (sqrt x)) (sqrt (+ 1 x))))))))))>
3.366 * * * * [progress]: [ 31 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (* (/ (+ 1 (sqrt x)) 1) (/ (- 1 (sqrt x)) (+ 1 x)))))))))>
3.366 * * * * [progress]: [ 32 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (* (/ (+ 1 (sqrt x)) 1) (/ (- 1 (sqrt x)) (+ 1 x)))))))))>
3.366 * * * * [progress]: [ 33 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (* (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (- 1 x) (cbrt (+ 1 x))))))))))>
3.366 * * * * [progress]: [ 34 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (* (/ 1 (sqrt (+ 1 x))) (/ (- 1 x) (sqrt (+ 1 x))))))))))>
3.366 * * * * [progress]: [ 35 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (* (/ 1 1) (/ (- 1 x) (+ 1 x)))))))))>
3.366 * * * * [progress]: [ 36 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (* (/ 1 1) (/ (- 1 x) (+ 1 x)))))))))>
3.366 * * * * [progress]: [ 37 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (* 1 (/ (- 1 x) (+ 1 x)))))))))>
3.366 * * * * [progress]: [ 38 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (* (- 1 x) (/ 1 (+ 1 x)))))))))>
3.366 * * * * [progress]: [ 39 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (/ 1 (/ (+ 1 x) (- 1 x)))))))))>
3.366 * * * * [progress]: [ 40 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (/ (/ (- 1 x) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (cbrt (+ 1 x)))))))))>
3.366 * * * * [progress]: [ 41 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (/ (/ (- 1 x) (sqrt (+ 1 x))) (sqrt (+ 1 x)))))))))>
3.366 * * * * [progress]: [ 42 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (/ (/ (- 1 x) 1) (+ 1 x))))))))>
3.366 * * * * [progress]: [ 43 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (/ (/ (- 1 x) 1) (+ 1 x))))))))>
3.366 * * * * [progress]: [ 44 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (/ (+ 1 x) (cbrt (- 1 x))))))))))>
3.366 * * * * [progress]: [ 45 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (/ (sqrt (- 1 x)) (/ (+ 1 x) (sqrt (- 1 x))))))))))>
3.366 * * * * [progress]: [ 46 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (/ 1 (/ (+ 1 x) (- 1 x)))))))))>
3.366 * * * * [progress]: [ 47 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (/ (+ (sqrt 1) (sqrt x)) (/ (+ 1 x) (- (sqrt 1) (sqrt x))))))))))>
3.367 * * * * [progress]: [ 48 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (/ (+ 1 (sqrt x)) (/ (+ 1 x) (- 1 (sqrt x))))))))))>
3.367 * * * * [progress]: [ 49 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (/ 1 (/ (+ 1 x) (- 1 x)))))))))>
3.367 * * * * [progress]: [ 50 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (* (/ (- 1 x) (+ (pow 1 3) (pow x 3))) (+ (* 1 1) (- (* x x) (* 1 x))))))))))>
3.367 * * * * [progress]: [ 51 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (* (/ (- 1 x) (- (* 1 1) (* x x))) (- 1 x))))))))>
3.367 * * * * [progress]: [ 52 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (/ (- (pow 1 3) (pow x 3)) (* (+ 1 x) (+ (* 1 1) (+ (* x x) (* 1 x)))))))))))>
3.367 * * * * [progress]: [ 53 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (/ (- (* 1 1) (* x x)) (* (+ 1 x) (+ 1 x)))))))))>
3.367 * * * * [progress]: [ 54 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (posit16->real (real->posit16 (/ (- 1 x) (+ 1 x))))))))))>
3.367 * * * * [progress]: [ 55 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log1p (expm1 (log (exp (/ (- 1 x) (+ 1 x))))))))))>
3.367 * * * * [progress]: [ 56 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (expm1 (log1p (log (exp (/ (- 1 x) (+ 1 x))))))))))>
3.367 * * * * [progress]: [ 57 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (+ (log (* (cbrt (exp (/ (- 1 x) (+ 1 x)))) (cbrt (exp (/ (- 1 x) (+ 1 x)))))) (log (cbrt (exp (/ (- 1 x) (+ 1 x))))))))))>
3.367 * * * * [progress]: [ 58 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (+ (log (sqrt (exp (/ (- 1 x) (+ 1 x))))) (log (sqrt (exp (/ (- 1 x) (+ 1 x))))))))))>
3.367 * * * * [progress]: [ 59 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (+ (log 1) (log (exp (/ (- 1 x) (+ 1 x)))))))))>
3.367 * * * * [progress]: [ 60 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (- (log (exp (/ 1 (+ 1 x)))) (log (exp (/ x (+ 1 x)))))))))>
3.367 * * * * [progress]: [ 61 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* 1 (log (exp (/ (- 1 x) (+ 1 x)))))))))>
3.367 * * * * [progress]: [ 62 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (cbrt (/ (- 1 x) (+ 1 x))) (log (exp (* (cbrt (/ (- 1 x) (+ 1 x))) (cbrt (/ (- 1 x) (+ 1 x)))))))))))>
3.367 * * * * [progress]: [ 63 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (sqrt (/ (- 1 x) (+ 1 x))) (log (exp (sqrt (/ (- 1 x) (+ 1 x))))))))))>
3.367 * * * * [progress]: [ 64 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (cbrt (- 1 x)) (cbrt (+ 1 x))) (log (exp (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))))))))))>
3.367 * * * * [progress]: [ 65 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (cbrt (- 1 x)) (sqrt (+ 1 x))) (log (exp (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ 1 x))))))))))>
3.367 * * * * [progress]: [ 66 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (cbrt (- 1 x)) (+ 1 x)) (log (exp (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1))))))))>
3.367 * * * * [progress]: [ 67 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (cbrt (- 1 x)) (+ 1 x)) (log (exp (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1))))))))>
3.367 * * * * [progress]: [ 68 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (sqrt (- 1 x)) (cbrt (+ 1 x))) (log (exp (/ (sqrt (- 1 x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))))))))))>
3.367 * * * * [progress]: [ 69 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) (log (exp (/ (sqrt (- 1 x)) (sqrt (+ 1 x))))))))))>
3.367 * * * * [progress]: [ 70 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (sqrt (- 1 x)) (+ 1 x)) (log (exp (/ (sqrt (- 1 x)) 1))))))))>
3.367 * * * * [progress]: [ 71 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (sqrt (- 1 x)) (+ 1 x)) (log (exp (/ (sqrt (- 1 x)) 1))))))))>
3.368 * * * * [progress]: [ 72 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (- 1 x) (cbrt (+ 1 x))) (log (exp (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))))))))))>
3.368 * * * * [progress]: [ 73 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (- 1 x) (sqrt (+ 1 x))) (log (exp (/ 1 (sqrt (+ 1 x))))))))))>
3.368 * * * * [progress]: [ 74 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (- 1 x) (+ 1 x)) (log (exp (/ 1 1))))))))>
3.368 * * * * [progress]: [ 75 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (- 1 x) (+ 1 x)) (log (exp (/ 1 1))))))))>
3.368 * * * * [progress]: [ 76 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (- (sqrt 1) (sqrt x)) (cbrt (+ 1 x))) (log (exp (/ (+ (sqrt 1) (sqrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))))))))))>
3.368 * * * * [progress]: [ 77 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (- (sqrt 1) (sqrt x)) (sqrt (+ 1 x))) (log (exp (/ (+ (sqrt 1) (sqrt x)) (sqrt (+ 1 x))))))))))>
3.368 * * * * [progress]: [ 78 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (- (sqrt 1) (sqrt x)) (+ 1 x)) (log (exp (/ (+ (sqrt 1) (sqrt x)) 1))))))))>
3.368 * * * * [progress]: [ 79 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (- (sqrt 1) (sqrt x)) (+ 1 x)) (log (exp (/ (+ (sqrt 1) (sqrt x)) 1))))))))>
3.368 * * * * [progress]: [ 80 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (- 1 (sqrt x)) (cbrt (+ 1 x))) (log (exp (/ (+ 1 (sqrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))))))))))>
3.368 * * * * [progress]: [ 81 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (- 1 (sqrt x)) (sqrt (+ 1 x))) (log (exp (/ (+ 1 (sqrt x)) (sqrt (+ 1 x))))))))))>
3.368 * * * * [progress]: [ 82 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (- 1 (sqrt x)) (+ 1 x)) (log (exp (/ (+ 1 (sqrt x)) 1))))))))>
3.368 * * * * [progress]: [ 83 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (- 1 (sqrt x)) (+ 1 x)) (log (exp (/ (+ 1 (sqrt x)) 1))))))))>
3.368 * * * * [progress]: [ 84 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (- 1 x) (cbrt (+ 1 x))) (log (exp (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))))))))))>
3.368 * * * * [progress]: [ 85 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (- 1 x) (sqrt (+ 1 x))) (log (exp (/ 1 (sqrt (+ 1 x))))))))))>
3.368 * * * * [progress]: [ 86 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (- 1 x) (+ 1 x)) (log (exp (/ 1 1))))))))>
3.368 * * * * [progress]: [ 87 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (- 1 x) (+ 1 x)) (log (exp (/ 1 1))))))))>
3.368 * * * * [progress]: [ 88 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ (- 1 x) (+ 1 x)) (log (exp 1)))))))>
3.368 * * * * [progress]: [ 89 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (/ 1 (+ 1 x)) (log (exp (- 1 x))))))))>
3.368 * * * * [progress]: [ 90 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (+ (* 1 1) (- (* x x) (* 1 x))) (log (exp (/ (- 1 x) (+ (pow 1 3) (pow x 3))))))))))>
3.368 * * * * [progress]: [ 91 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (- 1 x) (log (exp (/ (- 1 x) (- (* 1 1) (* x x))))))))))>
3.368 * * * * [progress]: [ 92 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (pow (log (exp (/ (- 1 x) (+ 1 x)))) 1)))))>
3.368 * * * * [progress]: [ 93 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (/ (- 1 x) (+ 1 x))))))>
3.368 * * * * [progress]: [ 94 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (exp (log (log (exp (/ (- 1 x) (+ 1 x))))))))))>
3.368 * * * * [progress]: [ 95 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (log (exp (/ (- 1 x) (+ 1 x))))))))))>
3.369 * * * * [progress]: [ 96 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (* (cbrt (log (exp (/ (- 1 x) (+ 1 x))))) (cbrt (log (exp (/ (- 1 x) (+ 1 x)))))) (cbrt (log (exp (/ (- 1 x) (+ 1 x))))))))))>
3.369 * * * * [progress]: [ 97 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (cbrt (* (* (log (exp (/ (- 1 x) (+ 1 x)))) (log (exp (/ (- 1 x) (+ 1 x))))) (log (exp (/ (- 1 x) (+ 1 x))))))))))>
3.369 * * * * [progress]: [ 98 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* (sqrt (log (exp (/ (- 1 x) (+ 1 x))))) (sqrt (log (exp (/ (- 1 x) (+ 1 x))))))))))>
3.369 * * * * [progress]: [ 99 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (* 1 (log (exp (/ (- 1 x) (+ 1 x)))))))))>
3.369 * * * * [progress]: [ 100 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (posit16->real (real->posit16 (log (exp (/ (- 1 x) (+ 1 x))))))))))>
3.369 * * * * [progress]: [ 101 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (log1p (expm1 (exp (/ (- 1 x) (+ 1 x))))))))))>
3.369 * * * * [progress]: [ 102 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (expm1 (log1p (exp (/ (- 1 x) (+ 1 x))))))))))>
3.369 * * * * [progress]: [ 103 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (pow (exp (/ (- 1 x) (+ 1 x))) 1))))))>
3.369 * * * * [progress]: [ 104 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (pow (exp (* (cbrt (/ (- 1 x) (+ 1 x))) (cbrt (/ (- 1 x) (+ 1 x))))) (cbrt (/ (- 1 x) (+ 1 x)))))))))>
3.369 * * * * [progress]: [ 105 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (pow (exp (sqrt (/ (- 1 x) (+ 1 x)))) (sqrt (/ (- 1 x) (+ 1 x)))))))))>
3.369 * * * * [progress]: [ 106 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (pow (exp (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) (/ (cbrt (- 1 x)) (cbrt (+ 1 x)))))))))>
3.369 * * * * [progress]: [ 107 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (pow (exp (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ 1 x)))) (/ (cbrt (- 1 x)) (sqrt (+ 1 x)))))))))>
3.369 * * * * [progress]: [ 108 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (pow (exp (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1)) (/ (cbrt (- 1 x)) (+ 1 x))))))))>
3.369 * * * * [progress]: [ 109 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (pow (exp (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1)) (/ (cbrt (- 1 x)) (+ 1 x))))))))>
3.369 * * * * [progress]: [ 110 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (pow (exp (/ (sqrt (- 1 x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) (/ (sqrt (- 1 x)) (cbrt (+ 1 x)))))))))>
3.369 * * * * [progress]: [ 111 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (pow (exp (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))) (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))))))))>
3.369 * * * * [progress]: [ 112 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (pow (exp (/ (sqrt (- 1 x)) 1)) (/ (sqrt (- 1 x)) (+ 1 x))))))))>
3.369 * * * * [progress]: [ 113 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (pow (exp (/ (sqrt (- 1 x)) 1)) (/ (sqrt (- 1 x)) (+ 1 x))))))))>
3.369 * * * * [progress]: [ 114 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (pow (exp (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) (/ (- 1 x) (cbrt (+ 1 x)))))))))>
3.369 * * * * [progress]: [ 115 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (pow (exp (/ 1 (sqrt (+ 1 x)))) (/ (- 1 x) (sqrt (+ 1 x)))))))))>
3.369 * * * * [progress]: [ 116 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (pow (exp (/ 1 1)) (/ (- 1 x) (+ 1 x))))))))>
3.369 * * * * [progress]: [ 117 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (pow (exp (/ 1 1)) (/ (- 1 x) (+ 1 x))))))))>
3.369 * * * * [progress]: [ 118 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (pow (exp (/ (+ (sqrt 1) (sqrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) (/ (- (sqrt 1) (sqrt x)) (cbrt (+ 1 x)))))))))>
3.369 * * * * [progress]: [ 119 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (pow (exp (/ (+ (sqrt 1) (sqrt x)) (sqrt (+ 1 x)))) (/ (- (sqrt 1) (sqrt x)) (sqrt (+ 1 x)))))))))>
3.370 * * * * [progress]: [ 120 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (pow (exp (/ (+ (sqrt 1) (sqrt x)) 1)) (/ (- (sqrt 1) (sqrt x)) (+ 1 x))))))))>
3.370 * * * * [progress]: [ 121 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (pow (exp (/ (+ (sqrt 1) (sqrt x)) 1)) (/ (- (sqrt 1) (sqrt x)) (+ 1 x))))))))>
3.370 * * * * [progress]: [ 122 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (pow (exp (/ (+ 1 (sqrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) (/ (- 1 (sqrt x)) (cbrt (+ 1 x)))))))))>
3.370 * * * * [progress]: [ 123 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (pow (exp (/ (+ 1 (sqrt x)) (sqrt (+ 1 x)))) (/ (- 1 (sqrt x)) (sqrt (+ 1 x)))))))))>
3.370 * * * * [progress]: [ 124 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (pow (exp (/ (+ 1 (sqrt x)) 1)) (/ (- 1 (sqrt x)) (+ 1 x))))))))>
3.370 * * * * [progress]: [ 125 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (pow (exp (/ (+ 1 (sqrt x)) 1)) (/ (- 1 (sqrt x)) (+ 1 x))))))))>
3.370 * * * * [progress]: [ 126 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (pow (exp (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) (/ (- 1 x) (cbrt (+ 1 x)))))))))>
3.370 * * * * [progress]: [ 127 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (pow (exp (/ 1 (sqrt (+ 1 x)))) (/ (- 1 x) (sqrt (+ 1 x)))))))))>
3.370 * * * * [progress]: [ 128 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (pow (exp (/ 1 1)) (/ (- 1 x) (+ 1 x))))))))>
3.370 * * * * [progress]: [ 129 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (pow (exp (/ 1 1)) (/ (- 1 x) (+ 1 x))))))))>
3.370 * * * * [progress]: [ 130 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (pow (exp 1) (/ (- 1 x) (+ 1 x))))))))>
3.370 * * * * [progress]: [ 131 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (pow (exp (- 1 x)) (/ 1 (+ 1 x))))))))>
3.370 * * * * [progress]: [ 132 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (pow (exp (/ (- 1 x) (+ (pow 1 3) (pow x 3)))) (+ (* 1 1) (- (* x x) (* 1 x)))))))))>
3.370 * * * * [progress]: [ 133 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (pow (exp (/ (- 1 x) (- (* 1 1) (* x x)))) (- 1 x)))))))>
3.370 * * * * [progress]: [ 134 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (/ (exp (/ 1 (+ 1 x))) (exp (/ x (+ 1 x)))))))))>
3.370 * * * * [progress]: [ 135 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (/ (- 1 x) (+ 1 x))))))))>
3.370 * * * * [progress]: [ 136 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (log (exp (/ (- 1 x) (+ 1 x))))))))))>
3.370 * * * * [progress]: [ 137 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (log (exp (exp (/ (- 1 x) (+ 1 x))))))))))>
3.370 * * * * [progress]: [ 138 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (* (* (cbrt (exp (/ (- 1 x) (+ 1 x)))) (cbrt (exp (/ (- 1 x) (+ 1 x))))) (cbrt (exp (/ (- 1 x) (+ 1 x))))))))))>
3.370 * * * * [progress]: [ 139 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (cbrt (* (* (exp (/ (- 1 x) (+ 1 x))) (exp (/ (- 1 x) (+ 1 x)))) (exp (/ (- 1 x) (+ 1 x))))))))))>
3.370 * * * * [progress]: [ 140 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (* (sqrt (exp (/ (- 1 x) (+ 1 x)))) (sqrt (exp (/ (- 1 x) (+ 1 x))))))))))>
3.370 * * * * [progress]: [ 141 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (* 1 (exp (/ (- 1 x) (+ 1 x)))))))))>
3.370 * * * * [progress]: [ 142 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (posit16->real (real->posit16 (exp (/ (- 1 x) (+ 1 x))))))))))>
3.370 * * * * [progress]: [ 143 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (log1p (expm1 (sqrt (log (exp (/ (- 1 x) (+ 1 x))))))))))>
3.370 * * * * [progress]: [ 144 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (expm1 (log1p (sqrt (log (exp (/ (- 1 x) (+ 1 x))))))))))>
3.370 * * * * [progress]: [ 145 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (pow (log (exp (/ (- 1 x) (+ 1 x)))) 1/2))))>
3.371 * * * * [progress]: [ 146 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (pow (sqrt (log (exp (/ (- 1 x) (+ 1 x))))) 1))))>
3.371 * * * * [progress]: [ 147 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (exp (log (sqrt (log (exp (/ (- 1 x) (+ 1 x))))))))))>
3.371 * * * * [progress]: [ 148 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (log (exp (sqrt (log (exp (/ (- 1 x) (+ 1 x))))))))))>
3.371 * * * * [progress]: [ 149 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (* (cbrt (sqrt (log (exp (/ (- 1 x) (+ 1 x)))))) (cbrt (sqrt (log (exp (/ (- 1 x) (+ 1 x))))))) (cbrt (sqrt (log (exp (/ (- 1 x) (+ 1 x))))))))))>
3.371 * * * * [progress]: [ 150 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (cbrt (* (* (sqrt (log (exp (/ (- 1 x) (+ 1 x))))) (sqrt (log (exp (/ (- 1 x) (+ 1 x)))))) (sqrt (log (exp (/ (- 1 x) (+ 1 x))))))))))>
3.371 * * * * [progress]: [ 151 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt 1) (sqrt (log (exp (/ (- 1 x) (+ 1 x)))))))))>
3.371 * * * * [progress]: [ 152 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (cbrt (/ (- 1 x) (+ 1 x)))) (sqrt (log (exp (* (cbrt (/ (- 1 x) (+ 1 x))) (cbrt (/ (- 1 x) (+ 1 x)))))))))))>
3.371 * * * * [progress]: [ 153 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (sqrt (/ (- 1 x) (+ 1 x)))) (sqrt (log (exp (sqrt (/ (- 1 x) (+ 1 x))))))))))>
3.371 * * * * [progress]: [ 154 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (cbrt (- 1 x)) (cbrt (+ 1 x)))) (sqrt (log (exp (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))))))))))>
3.371 * * * * [progress]: [ 155 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (cbrt (- 1 x)) (sqrt (+ 1 x)))) (sqrt (log (exp (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ 1 x))))))))))>
3.371 * * * * [progress]: [ 156 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (cbrt (- 1 x)) (+ 1 x))) (sqrt (log (exp (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1))))))))>
3.371 * * * * [progress]: [ 157 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (cbrt (- 1 x)) (+ 1 x))) (sqrt (log (exp (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1))))))))>
3.371 * * * * [progress]: [ 158 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (sqrt (- 1 x)) (cbrt (+ 1 x)))) (sqrt (log (exp (/ (sqrt (- 1 x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))))))))))>
3.371 * * * * [progress]: [ 159 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))) (sqrt (log (exp (/ (sqrt (- 1 x)) (sqrt (+ 1 x))))))))))>
3.371 * * * * [progress]: [ 160 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (sqrt (- 1 x)) (+ 1 x))) (sqrt (log (exp (/ (sqrt (- 1 x)) 1))))))))>
3.371 * * * * [progress]: [ 161 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (sqrt (- 1 x)) (+ 1 x))) (sqrt (log (exp (/ (sqrt (- 1 x)) 1))))))))>
3.371 * * * * [progress]: [ 162 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (- 1 x) (cbrt (+ 1 x)))) (sqrt (log (exp (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))))))))))>
3.371 * * * * [progress]: [ 163 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (- 1 x) (sqrt (+ 1 x)))) (sqrt (log (exp (/ 1 (sqrt (+ 1 x))))))))))>
3.371 * * * * [progress]: [ 164 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (- 1 x) (+ 1 x))) (sqrt (log (exp (/ 1 1))))))))>
3.371 * * * * [progress]: [ 165 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (- 1 x) (+ 1 x))) (sqrt (log (exp (/ 1 1))))))))>
3.371 * * * * [progress]: [ 166 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (- (sqrt 1) (sqrt x)) (cbrt (+ 1 x)))) (sqrt (log (exp (/ (+ (sqrt 1) (sqrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))))))))))>
3.371 * * * * [progress]: [ 167 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (- (sqrt 1) (sqrt x)) (sqrt (+ 1 x)))) (sqrt (log (exp (/ (+ (sqrt 1) (sqrt x)) (sqrt (+ 1 x))))))))))>
3.371 * * * * [progress]: [ 168 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (- (sqrt 1) (sqrt x)) (+ 1 x))) (sqrt (log (exp (/ (+ (sqrt 1) (sqrt x)) 1))))))))>
3.372 * * * * [progress]: [ 169 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (- (sqrt 1) (sqrt x)) (+ 1 x))) (sqrt (log (exp (/ (+ (sqrt 1) (sqrt x)) 1))))))))>
3.372 * * * * [progress]: [ 170 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (- 1 (sqrt x)) (cbrt (+ 1 x)))) (sqrt (log (exp (/ (+ 1 (sqrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))))))))))>
3.372 * * * * [progress]: [ 171 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (- 1 (sqrt x)) (sqrt (+ 1 x)))) (sqrt (log (exp (/ (+ 1 (sqrt x)) (sqrt (+ 1 x))))))))))>
3.372 * * * * [progress]: [ 172 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (- 1 (sqrt x)) (+ 1 x))) (sqrt (log (exp (/ (+ 1 (sqrt x)) 1))))))))>
3.372 * * * * [progress]: [ 173 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (- 1 (sqrt x)) (+ 1 x))) (sqrt (log (exp (/ (+ 1 (sqrt x)) 1))))))))>
3.372 * * * * [progress]: [ 174 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (- 1 x) (cbrt (+ 1 x)))) (sqrt (log (exp (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))))))))))>
3.372 * * * * [progress]: [ 175 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (- 1 x) (sqrt (+ 1 x)))) (sqrt (log (exp (/ 1 (sqrt (+ 1 x))))))))))>
3.372 * * * * [progress]: [ 176 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (- 1 x) (+ 1 x))) (sqrt (log (exp (/ 1 1))))))))>
3.372 * * * * [progress]: [ 177 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (- 1 x) (+ 1 x))) (sqrt (log (exp (/ 1 1))))))))>
3.372 * * * * [progress]: [ 178 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ (- 1 x) (+ 1 x))) (sqrt (log (exp 1)))))))>
3.372 * * * * [progress]: [ 179 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (/ 1 (+ 1 x))) (sqrt (log (exp (- 1 x))))))))>
3.372 * * * * [progress]: [ 180 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (+ (* 1 1) (- (* x x) (* 1 x)))) (sqrt (log (exp (/ (- 1 x) (+ (pow 1 3) (pow x 3))))))))))>
3.372 * * * * [progress]: [ 181 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (- 1 x)) (sqrt (log (exp (/ (- 1 x) (- (* 1 1) (* x x))))))))))>
3.372 * * * * [progress]: [ 182 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (* (cbrt (log (exp (/ (- 1 x) (+ 1 x))))) (cbrt (log (exp (/ (- 1 x) (+ 1 x))))))) (sqrt (cbrt (log (exp (/ (- 1 x) (+ 1 x))))))))))>
3.372 * * * * [progress]: [ 183 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (sqrt (log (exp (/ (- 1 x) (+ 1 x)))))) (sqrt (sqrt (log (exp (/ (- 1 x) (+ 1 x))))))))))>
3.372 * * * * [progress]: [ 184 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt 1) (sqrt (log (exp (/ (- 1 x) (+ 1 x)))))))))>
3.372 * * * * [progress]: [ 185 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (pow (log (exp (/ (- 1 x) (+ 1 x)))) (/ 1 2)))))>
3.372 * * * * [progress]: [ 186 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* (sqrt (sqrt (log (exp (/ (- 1 x) (+ 1 x)))))) (sqrt (sqrt (log (exp (/ (- 1 x) (+ 1 x))))))))))>
3.372 * * * * [progress]: [ 187 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (fabs (sqrt (log (exp (/ (- 1 x) (+ 1 x)))))))))>
3.372 * * * * [progress]: [ 188 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (* 1 (sqrt (log (exp (/ (- 1 x) (+ 1 x)))))))))>
3.372 * * * * [progress]: [ 189 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (posit16->real (real->posit16 (sqrt (log (exp (/ (- 1 x) (+ 1 x))))))))))>
3.372 * * * * [progress]: [ 190 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (- (+ (* 2 (pow x 2)) 1) (* 2 x))))))))>
3.372 * * * * [progress]: [ 191 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1))))))))>
3.372 * * * * [progress]: [ 192 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (exp (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1))))))))>
3.372 * * * * [progress]: [ 193 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (- (+ (* 2 (pow x 2)) 1) (* 2 x))))))>
3.372 * * * * [progress]: [ 194 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1))))))>
3.373 * * * * [progress]: [ 195 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1))))))>
3.373 * * * * [progress]: [ 196 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (- (+ (* 4 (* (pow x 2) E)) E) (* 2 (* x E))))))))>
3.373 * * * * [progress]: [ 197 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (- (+ (exp -1) (* 2 (/ (exp -1) x))) (* 2/3 (/ (exp -1) (pow x 3)))))))))>
3.373 * * * * [progress]: [ 198 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (sqrt (log (- (+ (exp -1) (* 2 (/ (exp -1) x))) (* 2/3 (/ (exp -1) (pow x 3)))))))))>
3.373 * * * * [progress]: [ 199 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (- (+ (* 1/2 (pow x 2)) 1) x))))>
3.373 * * * * [progress]: [ 200 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (* 1/2 (/ 1 (* (pow x 2) (sqrt -1))))))))>
3.373 * * * * [progress]: [ 201 / 201 ] simplifiying candidate #<alt (λ (x) (* 2 (atan (- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (* 1/2 (/ 1 (* (pow x 2) (sqrt -1))))))))>
3.374 * [simplify]: Simplifying (expm1 (/ (- 1 x) (+ 1 x))), (log1p (/ (- 1 x) (+ 1 x))), (- (log (- 1 x)) (log (+ 1 x))), (log (/ (- 1 x) (+ 1 x))), (exp (/ (- 1 x) (+ 1 x))), (/ (* (* (- 1 x) (- 1 x)) (- 1 x)) (* (* (+ 1 x) (+ 1 x)) (+ 1 x))), (* (cbrt (/ (- 1 x) (+ 1 x))) (cbrt (/ (- 1 x) (+ 1 x)))), (cbrt (/ (- 1 x) (+ 1 x))), (* (* (/ (- 1 x) (+ 1 x)) (/ (- 1 x) (+ 1 x))) (/ (- 1 x) (+ 1 x))), (sqrt (/ (- 1 x) (+ 1 x))), (sqrt (/ (- 1 x) (+ 1 x))), (- (- 1 x)), (- (+ 1 x)), (/ 1 (+ 1 x)), (/ x (+ 1 x)), (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))), (/ (cbrt (- 1 x)) (cbrt (+ 1 x))), (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ 1 x))), (/ (cbrt (- 1 x)) (sqrt (+ 1 x))), (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1), (/ (cbrt (- 1 x)) (+ 1 x)), (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1), (/ (cbrt (- 1 x)) (+ 1 x)), (/ (sqrt (- 1 x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))), (/ (sqrt (- 1 x)) (cbrt (+ 1 x))), (/ (sqrt (- 1 x)) (sqrt (+ 1 x))), (/ (sqrt (- 1 x)) (sqrt (+ 1 x))), (/ (sqrt (- 1 x)) 1), (/ (sqrt (- 1 x)) (+ 1 x)), (/ (sqrt (- 1 x)) 1), (/ (sqrt (- 1 x)) (+ 1 x)), (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))), (/ (- 1 x) (cbrt (+ 1 x))), (/ 1 (sqrt (+ 1 x))), (/ (- 1 x) (sqrt (+ 1 x))), (/ 1 1), (/ (- 1 x) (+ 1 x)), (/ 1 1), (/ (- 1 x) (+ 1 x)), (/ (+ (sqrt 1) (sqrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))), (/ (- (sqrt 1) (sqrt x)) (cbrt (+ 1 x))), (/ (+ (sqrt 1) (sqrt x)) (sqrt (+ 1 x))), (/ (- (sqrt 1) (sqrt x)) (sqrt (+ 1 x))), (/ (+ (sqrt 1) (sqrt x)) 1), (/ (- (sqrt 1) (sqrt x)) (+ 1 x)), (/ (+ (sqrt 1) (sqrt x)) 1), (/ (- (sqrt 1) (sqrt x)) (+ 1 x)), (/ (+ 1 (sqrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))), (/ (- 1 (sqrt x)) (cbrt (+ 1 x))), (/ (+ 1 (sqrt x)) (sqrt (+ 1 x))), (/ (- 1 (sqrt x)) (sqrt (+ 1 x))), (/ (+ 1 (sqrt x)) 1), (/ (- 1 (sqrt x)) (+ 1 x)), (/ (+ 1 (sqrt x)) 1), (/ (- 1 (sqrt x)) (+ 1 x)), (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))), (/ (- 1 x) (cbrt (+ 1 x))), (/ 1 (sqrt (+ 1 x))), (/ (- 1 x) (sqrt (+ 1 x))), (/ 1 1), (/ (- 1 x) (+ 1 x)), (/ 1 1), (/ (- 1 x) (+ 1 x)), (/ 1 (+ 1 x)), (/ (+ 1 x) (- 1 x)), (/ (- 1 x) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))), (/ (- 1 x) (sqrt (+ 1 x))), (/ (- 1 x) 1), (/ (- 1 x) 1), (/ (+ 1 x) (cbrt (- 1 x))), (/ (+ 1 x) (sqrt (- 1 x))), (/ (+ 1 x) (- 1 x)), (/ (+ 1 x) (- (sqrt 1) (sqrt x))), (/ (+ 1 x) (- 1 (sqrt x))), (/ (+ 1 x) (- 1 x)), (/ (- 1 x) (+ (pow 1 3) (pow x 3))), (/ (- 1 x) (- (* 1 1) (* x x))), (* (+ 1 x) (+ (* 1 1) (+ (* x x) (* 1 x)))), (* (+ 1 x) (+ 1 x)), (real->posit16 (/ (- 1 x) (+ 1 x))), (expm1 (log (exp (/ (- 1 x) (+ 1 x))))), (log1p (log (exp (/ (- 1 x) (+ 1 x))))), (log (* (cbrt (exp (/ (- 1 x) (+ 1 x)))) (cbrt (exp (/ (- 1 x) (+ 1 x)))))), (log (cbrt (exp (/ (- 1 x) (+ 1 x))))), (log (sqrt (exp (/ (- 1 x) (+ 1 x))))), (log (sqrt (exp (/ (- 1 x) (+ 1 x))))), (log 1), (log (exp (/ (- 1 x) (+ 1 x)))), (log (exp (/ 1 (+ 1 x)))), (log (exp (/ x (+ 1 x)))), (log (exp (/ (- 1 x) (+ 1 x)))), (log (exp (* (cbrt (/ (- 1 x) (+ 1 x))) (cbrt (/ (- 1 x) (+ 1 x)))))), (log (exp (sqrt (/ (- 1 x) (+ 1 x))))), (log (exp (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))))), (log (exp (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ 1 x))))), (log (exp (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1))), (log (exp (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1))), (log (exp (/ (sqrt (- 1 x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))))), (log (exp (/ (sqrt (- 1 x)) (sqrt (+ 1 x))))), (log (exp (/ (sqrt (- 1 x)) 1))), (log (exp (/ (sqrt (- 1 x)) 1))), (log (exp (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))))), (log (exp (/ 1 (sqrt (+ 1 x))))), (log (exp (/ 1 1))), (log (exp (/ 1 1))), (log (exp (/ (+ (sqrt 1) (sqrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))))), (log (exp (/ (+ (sqrt 1) (sqrt x)) (sqrt (+ 1 x))))), (log (exp (/ (+ (sqrt 1) (sqrt x)) 1))), (log (exp (/ (+ (sqrt 1) (sqrt x)) 1))), (log (exp (/ (+ 1 (sqrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))))), (log (exp (/ (+ 1 (sqrt x)) (sqrt (+ 1 x))))), (log (exp (/ (+ 1 (sqrt x)) 1))), (log (exp (/ (+ 1 (sqrt x)) 1))), (log (exp (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))))), (log (exp (/ 1 (sqrt (+ 1 x))))), (log (exp (/ 1 1))), (log (exp (/ 1 1))), (log (exp 1)), (log (exp (- 1 x))), (log (exp (/ (- 1 x) (+ (pow 1 3) (pow x 3))))), (log (exp (/ (- 1 x) (- (* 1 1) (* x x))))), (log (log (exp (/ (- 1 x) (+ 1 x))))), (exp (log (exp (/ (- 1 x) (+ 1 x))))), (* (cbrt (log (exp (/ (- 1 x) (+ 1 x))))) (cbrt (log (exp (/ (- 1 x) (+ 1 x)))))), (cbrt (log (exp (/ (- 1 x) (+ 1 x))))), (* (* (log (exp (/ (- 1 x) (+ 1 x)))) (log (exp (/ (- 1 x) (+ 1 x))))) (log (exp (/ (- 1 x) (+ 1 x))))), (sqrt (log (exp (/ (- 1 x) (+ 1 x))))), (sqrt (log (exp (/ (- 1 x) (+ 1 x))))), (real->posit16 (log (exp (/ (- 1 x) (+ 1 x))))), (expm1 (exp (/ (- 1 x) (+ 1 x)))), (log1p (exp (/ (- 1 x) (+ 1 x)))), (exp (* (cbrt (/ (- 1 x) (+ 1 x))) (cbrt (/ (- 1 x) (+ 1 x))))), (exp (sqrt (/ (- 1 x) (+ 1 x)))), (exp (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))), (exp (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ 1 x)))), (exp (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1)), (exp (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1)), (exp (/ (sqrt (- 1 x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))), (exp (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))), (exp (/ (sqrt (- 1 x)) 1)), (exp (/ (sqrt (- 1 x)) 1)), (exp (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))), (exp (/ 1 (sqrt (+ 1 x)))), (exp (/ 1 1)), (exp (/ 1 1)), (exp (/ (+ (sqrt 1) (sqrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))), (exp (/ (+ (sqrt 1) (sqrt x)) (sqrt (+ 1 x)))), (exp (/ (+ (sqrt 1) (sqrt x)) 1)), (exp (/ (+ (sqrt 1) (sqrt x)) 1)), (exp (/ (+ 1 (sqrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))), (exp (/ (+ 1 (sqrt x)) (sqrt (+ 1 x)))), (exp (/ (+ 1 (sqrt x)) 1)), (exp (/ (+ 1 (sqrt x)) 1)), (exp (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))), (exp (/ 1 (sqrt (+ 1 x)))), (exp (/ 1 1)), (exp (/ 1 1)), (exp 1), (exp (- 1 x)), (exp (/ (- 1 x) (+ (pow 1 3) (pow x 3)))), (exp (/ (- 1 x) (- (* 1 1) (* x x)))), (exp (/ 1 (+ 1 x))), (exp (/ x (+ 1 x))), (log (exp (/ (- 1 x) (+ 1 x)))), (exp (exp (/ (- 1 x) (+ 1 x)))), (* (cbrt (exp (/ (- 1 x) (+ 1 x)))) (cbrt (exp (/ (- 1 x) (+ 1 x))))), (cbrt (exp (/ (- 1 x) (+ 1 x)))), (* (* (exp (/ (- 1 x) (+ 1 x))) (exp (/ (- 1 x) (+ 1 x)))) (exp (/ (- 1 x) (+ 1 x)))), (sqrt (exp (/ (- 1 x) (+ 1 x)))), (sqrt (exp (/ (- 1 x) (+ 1 x)))), (real->posit16 (exp (/ (- 1 x) (+ 1 x)))), (expm1 (sqrt (log (exp (/ (- 1 x) (+ 1 x)))))), (log1p (sqrt (log (exp (/ (- 1 x) (+ 1 x)))))), (log (sqrt (log (exp (/ (- 1 x) (+ 1 x)))))), (exp (sqrt (log (exp (/ (- 1 x) (+ 1 x)))))), (* (cbrt (sqrt (log (exp (/ (- 1 x) (+ 1 x)))))) (cbrt (sqrt (log (exp (/ (- 1 x) (+ 1 x))))))), (cbrt (sqrt (log (exp (/ (- 1 x) (+ 1 x)))))), (* (* (sqrt (log (exp (/ (- 1 x) (+ 1 x))))) (sqrt (log (exp (/ (- 1 x) (+ 1 x)))))) (sqrt (log (exp (/ (- 1 x) (+ 1 x)))))), (sqrt 1), (sqrt (log (exp (/ (- 1 x) (+ 1 x))))), (sqrt (cbrt (/ (- 1 x) (+ 1 x)))), (sqrt (log (exp (* (cbrt (/ (- 1 x) (+ 1 x))) (cbrt (/ (- 1 x) (+ 1 x))))))), (sqrt (sqrt (/ (- 1 x) (+ 1 x)))), (sqrt (log (exp (sqrt (/ (- 1 x) (+ 1 x)))))), (sqrt (/ (cbrt (- 1 x)) (cbrt (+ 1 x)))), (sqrt (log (exp (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))))), (sqrt (/ (cbrt (- 1 x)) (sqrt (+ 1 x)))), (sqrt (log (exp (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ 1 x)))))), (sqrt (/ (cbrt (- 1 x)) (+ 1 x))), (sqrt (log (exp (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1)))), (sqrt (/ (cbrt (- 1 x)) (+ 1 x))), (sqrt (log (exp (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1)))), (sqrt (/ (sqrt (- 1 x)) (cbrt (+ 1 x)))), (sqrt (log (exp (/ (sqrt (- 1 x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))))), (sqrt (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))), (sqrt (log (exp (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))))), (sqrt (/ (sqrt (- 1 x)) (+ 1 x))), (sqrt (log (exp (/ (sqrt (- 1 x)) 1)))), (sqrt (/ (sqrt (- 1 x)) (+ 1 x))), (sqrt (log (exp (/ (sqrt (- 1 x)) 1)))), (sqrt (/ (- 1 x) (cbrt (+ 1 x)))), (sqrt (log (exp (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))))), (sqrt (/ (- 1 x) (sqrt (+ 1 x)))), (sqrt (log (exp (/ 1 (sqrt (+ 1 x)))))), (sqrt (/ (- 1 x) (+ 1 x))), (sqrt (log (exp (/ 1 1)))), (sqrt (/ (- 1 x) (+ 1 x))), (sqrt (log (exp (/ 1 1)))), (sqrt (/ (- (sqrt 1) (sqrt x)) (cbrt (+ 1 x)))), (sqrt (log (exp (/ (+ (sqrt 1) (sqrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))))), (sqrt (/ (- (sqrt 1) (sqrt x)) (sqrt (+ 1 x)))), (sqrt (log (exp (/ (+ (sqrt 1) (sqrt x)) (sqrt (+ 1 x)))))), (sqrt (/ (- (sqrt 1) (sqrt x)) (+ 1 x))), (sqrt (log (exp (/ (+ (sqrt 1) (sqrt x)) 1)))), (sqrt (/ (- (sqrt 1) (sqrt x)) (+ 1 x))), (sqrt (log (exp (/ (+ (sqrt 1) (sqrt x)) 1)))), (sqrt (/ (- 1 (sqrt x)) (cbrt (+ 1 x)))), (sqrt (log (exp (/ (+ 1 (sqrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))))), (sqrt (/ (- 1 (sqrt x)) (sqrt (+ 1 x)))), (sqrt (log (exp (/ (+ 1 (sqrt x)) (sqrt (+ 1 x)))))), (sqrt (/ (- 1 (sqrt x)) (+ 1 x))), (sqrt (log (exp (/ (+ 1 (sqrt x)) 1)))), (sqrt (/ (- 1 (sqrt x)) (+ 1 x))), (sqrt (log (exp (/ (+ 1 (sqrt x)) 1)))), (sqrt (/ (- 1 x) (cbrt (+ 1 x)))), (sqrt (log (exp (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))))), (sqrt (/ (- 1 x) (sqrt (+ 1 x)))), (sqrt (log (exp (/ 1 (sqrt (+ 1 x)))))), (sqrt (/ (- 1 x) (+ 1 x))), (sqrt (log (exp (/ 1 1)))), (sqrt (/ (- 1 x) (+ 1 x))), (sqrt (log (exp (/ 1 1)))), (sqrt (/ (- 1 x) (+ 1 x))), (sqrt (log (exp 1))), (sqrt (/ 1 (+ 1 x))), (sqrt (log (exp (- 1 x)))), (sqrt (+ (* 1 1) (- (* x x) (* 1 x)))), (sqrt (log (exp (/ (- 1 x) (+ (pow 1 3) (pow x 3)))))), (sqrt (- 1 x)), (sqrt (log (exp (/ (- 1 x) (- (* 1 1) (* x x)))))), (sqrt (* (cbrt (log (exp (/ (- 1 x) (+ 1 x))))) (cbrt (log (exp (/ (- 1 x) (+ 1 x))))))), (sqrt (cbrt (log (exp (/ (- 1 x) (+ 1 x)))))), (sqrt (sqrt (log (exp (/ (- 1 x) (+ 1 x)))))), (sqrt (sqrt (log (exp (/ (- 1 x) (+ 1 x)))))), (sqrt 1), (sqrt (log (exp (/ (- 1 x) (+ 1 x))))), (/ 1 2), (sqrt (sqrt (log (exp (/ (- 1 x) (+ 1 x)))))), (sqrt (sqrt (log (exp (/ (- 1 x) (+ 1 x)))))), (real->posit16 (sqrt (log (exp (/ (- 1 x) (+ 1 x)))))), (- (+ (* 2 (pow x 2)) 1) (* 2 x)), (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1)), (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1)), (- (+ (* 2 (pow x 2)) 1) (* 2 x)), (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1)), (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1)), (- (+ (* 4 (* (pow x 2) E)) E) (* 2 (* x E))), (- (+ (exp -1) (* 2 (/ (exp -1) x))) (* 2/3 (/ (exp -1) (pow x 3)))), (- (+ (exp -1) (* 2 (/ (exp -1) x))) (* 2/3 (/ (exp -1) (pow x 3)))), (- (+ (* 1/2 (pow x 2)) 1) x), (- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (* 1/2 (/ 1 (* (pow x 2) (sqrt -1))))), (- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (* 1/2 (/ 1 (* (pow x 2) (sqrt -1)))))
3.377 * * [simplify]: iteration 1: (252 enodes)
3.485 * * [simplify]: iteration 2: (840 enodes)
3.734 * * [simplify]: iteration 3: (1468 enodes)
4.157 * * [simplify]: Extracting #0: cost 119 inf + 0
4.159 * * [simplify]: Extracting #1: cost 498 inf + 4
4.165 * * [simplify]: Extracting #2: cost 826 inf + 2603
4.190 * * [simplify]: Extracting #3: cost 595 inf + 38044
4.228 * * [simplify]: Extracting #4: cost 225 inf + 105114
4.284 * * [simplify]: Extracting #5: cost 33 inf + 151989
4.322 * * [simplify]: Extracting #6: cost 0 inf + 161103
4.354 * * [simplify]: Extracting #7: cost 0 inf + 161033
4.397 * [simplify]: Simplified to (expm1 (/ (- 1 x) (+ x 1))), (log1p (/ (- 1 x) (+ x 1))), (log (/ (- 1 x) (+ x 1))), (log (/ (- 1 x) (+ x 1))), (exp (/ (- 1 x) (+ x 1))), (* (/ (- 1 x) (+ x 1)) (* (/ (- 1 x) (+ x 1)) (/ (- 1 x) (+ x 1)))), (* (cbrt (/ (- 1 x) (+ x 1))) (cbrt (/ (- 1 x) (+ x 1)))), (cbrt (/ (- 1 x) (+ x 1))), (* (/ (- 1 x) (+ x 1)) (* (/ (- 1 x) (+ x 1)) (/ (- 1 x) (+ x 1)))), (sqrt (/ (- 1 x) (+ x 1))), (sqrt (/ (- 1 x) (+ x 1))), (+ -1 x), (- -1 x), (/ 1 (+ x 1)), (/ x (+ x 1)), (* (/ (cbrt (- 1 x)) (cbrt (+ x 1))) (/ (cbrt (- 1 x)) (cbrt (+ x 1)))), (/ (cbrt (- 1 x)) (cbrt (+ x 1))), (* (cbrt (- 1 x)) (/ (cbrt (- 1 x)) (sqrt (+ x 1)))), (/ (cbrt (- 1 x)) (sqrt (+ x 1))), (* (cbrt (- 1 x)) (cbrt (- 1 x))), (/ (cbrt (- 1 x)) (+ x 1)), (* (cbrt (- 1 x)) (cbrt (- 1 x))), (/ (cbrt (- 1 x)) (+ x 1)), (/ (sqrt (- 1 x)) (* (cbrt (+ x 1)) (cbrt (+ x 1)))), (/ (sqrt (- 1 x)) (cbrt (+ x 1))), (/ (sqrt (- 1 x)) (sqrt (+ x 1))), (/ (sqrt (- 1 x)) (sqrt (+ x 1))), (sqrt (- 1 x)), (/ (sqrt (- 1 x)) (+ x 1)), (sqrt (- 1 x)), (/ (sqrt (- 1 x)) (+ x 1)), (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1))), (/ (- 1 x) (cbrt (+ x 1))), (/ 1 (sqrt (+ x 1))), (/ (- 1 x) (sqrt (+ x 1))), 1, (/ (- 1 x) (+ x 1)), 1, (/ (- 1 x) (+ x 1)), (/ (+ (sqrt x) 1) (* (cbrt (+ x 1)) (cbrt (+ x 1)))), (/ (- 1 (sqrt x)) (cbrt (+ x 1))), (/ (+ (sqrt x) 1) (sqrt (+ x 1))), (/ (- 1 (sqrt x)) (sqrt (+ x 1))), (+ (sqrt x) 1), (/ (- 1 (sqrt x)) (+ x 1)), (+ (sqrt x) 1), (/ (- 1 (sqrt x)) (+ x 1)), (/ (+ (sqrt x) 1) (* (cbrt (+ x 1)) (cbrt (+ x 1)))), (/ (- 1 (sqrt x)) (cbrt (+ x 1))), (/ (+ (sqrt x) 1) (sqrt (+ x 1))), (/ (- 1 (sqrt x)) (sqrt (+ x 1))), (+ (sqrt x) 1), (/ (- 1 (sqrt x)) (+ x 1)), (+ (sqrt x) 1), (/ (- 1 (sqrt x)) (+ x 1)), (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1))), (/ (- 1 x) (cbrt (+ x 1))), (/ 1 (sqrt (+ x 1))), (/ (- 1 x) (sqrt (+ x 1))), 1, (/ (- 1 x) (+ x 1)), 1, (/ (- 1 x) (+ x 1)), (/ 1 (+ x 1)), (/ (+ x 1) (- 1 x)), (/ (- 1 x) (* (cbrt (+ x 1)) (cbrt (+ x 1)))), (/ (- 1 x) (sqrt (+ x 1))), (- 1 x), (- 1 x), (/ (+ x 1) (cbrt (- 1 x))), (/ (+ x 1) (sqrt (- 1 x))), (/ (+ x 1) (- 1 x)), (/ (+ x 1) (- 1 (sqrt x))), (/ (+ x 1) (- 1 (sqrt x))), (/ (+ x 1) (- 1 x)), (/ (- 1 x) (fma (* x x) x 1)), (/ (- 1 x) (- 1 (* x x))), (fma (* (+ x 1) (+ x 1)) x (+ x 1)), (* (+ x 1) (+ x 1)), (real->posit16 (/ (- 1 x) (+ x 1))), (expm1 (/ (- 1 x) (+ x 1))), (log1p (/ (- 1 x) (+ x 1))), (log (* (cbrt (exp (/ (- 1 x) (+ x 1)))) (cbrt (exp (/ (- 1 x) (+ x 1)))))), (log (cbrt (exp (/ (- 1 x) (+ x 1))))), (log (sqrt (exp (/ (- 1 x) (+ x 1))))), (log (sqrt (exp (/ (- 1 x) (+ x 1))))), 0, (/ (- 1 x) (+ x 1)), (/ 1 (+ x 1)), (/ x (+ x 1)), (/ (- 1 x) (+ x 1)), (* (cbrt (/ (- 1 x) (+ x 1))) (cbrt (/ (- 1 x) (+ x 1)))), (sqrt (/ (- 1 x) (+ x 1))), (* (/ (cbrt (- 1 x)) (cbrt (+ x 1))) (/ (cbrt (- 1 x)) (cbrt (+ x 1)))), (* (cbrt (- 1 x)) (/ (cbrt (- 1 x)) (sqrt (+ x 1)))), (* (cbrt (- 1 x)) (cbrt (- 1 x))), (* (cbrt (- 1 x)) (cbrt (- 1 x))), (/ (sqrt (- 1 x)) (* (cbrt (+ x 1)) (cbrt (+ x 1)))), (/ (sqrt (- 1 x)) (sqrt (+ x 1))), (sqrt (- 1 x)), (sqrt (- 1 x)), (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1))), (/ 1 (sqrt (+ x 1))), 1, 1, (/ (+ (sqrt x) 1) (* (cbrt (+ x 1)) (cbrt (+ x 1)))), (/ (+ (sqrt x) 1) (sqrt (+ x 1))), (+ (sqrt x) 1), (+ (sqrt x) 1), (/ (+ (sqrt x) 1) (* (cbrt (+ x 1)) (cbrt (+ x 1)))), (/ (+ (sqrt x) 1) (sqrt (+ x 1))), (+ (sqrt x) 1), (+ (sqrt x) 1), (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1))), (/ 1 (sqrt (+ x 1))), 1, 1, 1, (- 1 x), (/ (- 1 x) (fma (* x x) x 1)), (/ (- 1 x) (- 1 (* x x))), (log (/ (- 1 x) (+ x 1))), (exp (/ (- 1 x) (+ x 1))), (* (cbrt (/ (- 1 x) (+ x 1))) (cbrt (/ (- 1 x) (+ x 1)))), (cbrt (/ (- 1 x) (+ x 1))), (* (/ (- 1 x) (+ x 1)) (* (/ (- 1 x) (+ x 1)) (/ (- 1 x) (+ x 1)))), (sqrt (/ (- 1 x) (+ x 1))), (sqrt (/ (- 1 x) (+ x 1))), (real->posit16 (/ (- 1 x) (+ x 1))), (expm1 (exp (/ (- 1 x) (+ x 1)))), (log1p (exp (/ (- 1 x) (+ x 1)))), (exp (* (cbrt (/ (- 1 x) (+ x 1))) (cbrt (/ (- 1 x) (+ x 1))))), (exp (sqrt (/ (- 1 x) (+ x 1)))), (exp (* (/ (cbrt (- 1 x)) (cbrt (+ x 1))) (/ (cbrt (- 1 x)) (cbrt (+ x 1))))), (exp (* (cbrt (- 1 x)) (/ (cbrt (- 1 x)) (sqrt (+ x 1))))), (exp (* (cbrt (- 1 x)) (cbrt (- 1 x)))), (exp (* (cbrt (- 1 x)) (cbrt (- 1 x)))), (exp (/ (sqrt (- 1 x)) (* (cbrt (+ x 1)) (cbrt (+ x 1))))), (exp (/ (sqrt (- 1 x)) (sqrt (+ x 1)))), (exp (sqrt (- 1 x))), (exp (sqrt (- 1 x))), (exp (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1)))), (exp (/ 1 (sqrt (+ x 1)))), E, E, (exp (/ (+ (sqrt x) 1) (* (cbrt (+ x 1)) (cbrt (+ x 1))))), (exp (/ (+ (sqrt x) 1) (sqrt (+ x 1)))), (* (exp (sqrt x)) E), (* (exp (sqrt x)) E), (exp (/ (+ (sqrt x) 1) (* (cbrt (+ x 1)) (cbrt (+ x 1))))), (exp (/ (+ (sqrt x) 1) (sqrt (+ x 1)))), (* (exp (sqrt x)) E), (* (exp (sqrt x)) E), (exp (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1)))), (exp (/ 1 (sqrt (+ x 1)))), E, E, E, (exp (- 1 x)), (exp (/ (- 1 x) (fma (* x x) x 1))), (exp (/ (- 1 x) (- 1 (* x x)))), (exp (/ 1 (+ x 1))), (exp (/ x (+ x 1))), (/ (- 1 x) (+ x 1)), (exp (exp (/ (- 1 x) (+ x 1)))), (* (cbrt (exp (/ (- 1 x) (+ x 1)))) (cbrt (exp (/ (- 1 x) (+ x 1))))), (cbrt (exp (/ (- 1 x) (+ x 1)))), (exp (+ (/ (- 1 x) (+ x 1)) (+ (/ (- 1 x) (+ x 1)) (/ (- 1 x) (+ x 1))))), (sqrt (exp (/ (- 1 x) (+ x 1)))), (sqrt (exp (/ (- 1 x) (+ x 1)))), (real->posit16 (exp (/ (- 1 x) (+ x 1)))), (expm1 (sqrt (/ (- 1 x) (+ x 1)))), (log1p (sqrt (/ (- 1 x) (+ x 1)))), (log (sqrt (/ (- 1 x) (+ x 1)))), (exp (sqrt (/ (- 1 x) (+ x 1)))), (* (cbrt (sqrt (/ (- 1 x) (+ x 1)))) (cbrt (sqrt (/ (- 1 x) (+ x 1))))), (cbrt (sqrt (/ (- 1 x) (+ x 1)))), (* (sqrt (/ (- 1 x) (+ x 1))) (/ (- 1 x) (+ x 1))), 1, (sqrt (/ (- 1 x) (+ x 1))), (sqrt (cbrt (/ (- 1 x) (+ x 1)))), (fabs (cbrt (/ (- 1 x) (+ x 1)))), (sqrt (sqrt (/ (- 1 x) (+ x 1)))), (sqrt (sqrt (/ (- 1 x) (+ x 1)))), (sqrt (/ (cbrt (- 1 x)) (cbrt (+ x 1)))), (fabs (/ (cbrt (- 1 x)) (cbrt (+ x 1)))), (sqrt (/ (cbrt (- 1 x)) (sqrt (+ x 1)))), (sqrt (* (cbrt (- 1 x)) (/ (cbrt (- 1 x)) (sqrt (+ x 1))))), (sqrt (/ (cbrt (- 1 x)) (+ x 1))), (fabs (cbrt (- 1 x))), (sqrt (/ (cbrt (- 1 x)) (+ x 1))), (fabs (cbrt (- 1 x))), (sqrt (/ (sqrt (- 1 x)) (cbrt (+ x 1)))), (sqrt (/ (sqrt (- 1 x)) (* (cbrt (+ x 1)) (cbrt (+ x 1))))), (sqrt (/ (sqrt (- 1 x)) (sqrt (+ x 1)))), (sqrt (/ (sqrt (- 1 x)) (sqrt (+ x 1)))), (sqrt (/ (sqrt (- 1 x)) (+ x 1))), (sqrt (sqrt (- 1 x))), (sqrt (/ (sqrt (- 1 x)) (+ x 1))), (sqrt (sqrt (- 1 x))), (sqrt (/ (- 1 x) (cbrt (+ x 1)))), (sqrt (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1)))), (sqrt (/ (- 1 x) (sqrt (+ x 1)))), (sqrt (/ 1 (sqrt (+ x 1)))), (sqrt (/ (- 1 x) (+ x 1))), 1, (sqrt (/ (- 1 x) (+ x 1))), 1, (sqrt (/ (- 1 (sqrt x)) (cbrt (+ x 1)))), (sqrt (/ (+ (sqrt x) 1) (* (cbrt (+ x 1)) (cbrt (+ x 1))))), (sqrt (/ (- 1 (sqrt x)) (sqrt (+ x 1)))), (sqrt (/ (+ (sqrt x) 1) (sqrt (+ x 1)))), (sqrt (/ (- 1 (sqrt x)) (+ x 1))), (sqrt (+ (sqrt x) 1)), (sqrt (/ (- 1 (sqrt x)) (+ x 1))), (sqrt (+ (sqrt x) 1)), (sqrt (/ (- 1 (sqrt x)) (cbrt (+ x 1)))), (sqrt (/ (+ (sqrt x) 1) (* (cbrt (+ x 1)) (cbrt (+ x 1))))), (sqrt (/ (- 1 (sqrt x)) (sqrt (+ x 1)))), (sqrt (/ (+ (sqrt x) 1) (sqrt (+ x 1)))), (sqrt (/ (- 1 (sqrt x)) (+ x 1))), (sqrt (+ (sqrt x) 1)), (sqrt (/ (- 1 (sqrt x)) (+ x 1))), (sqrt (+ (sqrt x) 1)), (sqrt (/ (- 1 x) (cbrt (+ x 1)))), (sqrt (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1)))), (sqrt (/ (- 1 x) (sqrt (+ x 1)))), (sqrt (/ 1 (sqrt (+ x 1)))), (sqrt (/ (- 1 x) (+ x 1))), 1, (sqrt (/ (- 1 x) (+ x 1))), 1, (sqrt (/ (- 1 x) (+ x 1))), 1, (sqrt (/ 1 (+ x 1))), (sqrt (- 1 x)), (sqrt (- (fma x x 1) x)), (sqrt (/ (- 1 x) (fma (* x x) x 1))), (sqrt (- 1 x)), (sqrt (/ (- 1 x) (- 1 (* x x)))), (fabs (cbrt (/ (- 1 x) (+ x 1)))), (sqrt (cbrt (/ (- 1 x) (+ x 1)))), (sqrt (sqrt (/ (- 1 x) (+ x 1)))), (sqrt (sqrt (/ (- 1 x) (+ x 1)))), 1, (sqrt (/ (- 1 x) (+ x 1))), 1/2, (sqrt (sqrt (/ (- 1 x) (+ x 1)))), (sqrt (sqrt (/ (- 1 x) (+ x 1)))), (real->posit16 (sqrt (/ (- 1 x) (+ x 1)))), (fma -2 x (fma 2 (* x x) 1)), (- (/ 2 x) (fma (/ 2 x) (/ 1 x) 1)), (- (/ 2 x) (fma (/ 2 x) (/ 1 x) 1)), (fma -2 x (fma 2 (* x x) 1)), (- (/ 2 x) (fma (/ 2 x) (/ 1 x) 1)), (- (/ 2 x) (fma (/ 2 x) (/ 1 x) 1)), (+ E (* E (+ (* 4 (* x x)) (* x -2)))), (+ (/ 1 E) (* (/ (/ 1 E) x) (- 2 (/ 2/3 (* x x))))), (+ (/ 1 E) (* (/ (/ 1 E) x) (- 2 (/ 2/3 (* x x))))), (- (fma 1/2 (* x x) 1) x), (- (/ 1 (* (sqrt -1) x)) (- (/ (/ 1/2 x) (* (sqrt -1) x)) (sqrt -1))), (- (/ 1 (* (sqrt -1) x)) (- (/ (/ 1/2 x) (* (sqrt -1) x)) (sqrt -1)))
4.415 * * * [progress]: adding candidates to table
6.275 * [progress]: [Phase 3 of 3] Extracting.
6.282 * [simplify]: Simplifying (* 2 (atan (sqrt (log (exp (/ (- 1 x) (+ 1 x)))))))
6.282 * * [simplify]: iteration 1: (11 enodes)
6.283 * * [simplify]: iteration 2: (15 enodes)
6.284 * * [simplify]: Extracting #0: cost 1 inf + 0
6.284 * * [simplify]: Extracting #1: cost 3 inf + 0
6.284 * * [simplify]: Extracting #2: cost 3 inf + 1
6.284 * * [simplify]: Extracting #3: cost 4 inf + 1
6.284 * * [simplify]: Extracting #4: cost 5 inf + 1
6.284 * * [simplify]: Extracting #5: cost 6 inf + 1
6.284 * * [simplify]: Extracting #6: cost 8 inf + 1
6.284 * * [simplify]: Extracting #7: cost 10 inf + 1
6.285 * * [simplify]: Extracting #8: cost 0 inf + 1820
6.285 * [simplify]: Simplified to (* (atan (sqrt (log (exp (/ (- 1 x) (+ 1 x)))))) 2)
9.075 * [regime-testing]: Baseline error score: 0.014074879672549214
9.080 * [regime-testing]: Oracle error score: 0.014074879672549214
9.080 * [regime-testing]: End program error score: 0.014074879672549214