1545130725.391 * [misc]progress:  [Phase 1 of 3] Setting up.
1545130725.393 * * * [misc]progress:  [1/2] Preparing points
1545130725.394 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545130725.542 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545130725.543 * * * * [misc]points:  Sampling 123 additional inputs, on iter 1 have 133 / 256
1545130725.573 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545130725.573 * * * * [misc]points:  Sampling 50 additional inputs, on iter 2 have 206 / 256
1545130725.587 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545130725.587 * * * * [misc]points:  Sampling 20 additional inputs, on iter 3 have 236 / 256
1545130725.594 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545130725.594 * * * * [misc]points:  Sampling 9 additional inputs, on iter 4 have 247 / 256
1545130725.599 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545130725.599 * * * * [misc]points:  Sampling 4 additional inputs, on iter 5 have 253 / 256
1545130725.602 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545130725.603 * * * * [exit]points:  Sampled 256 points with exact outputs
1545130725.603 * * * [misc]progress:  [2/2] Setting up program.
1545130725.611 * [misc]progress:  [Phase 2 of 3] Improving.
1545130725.612 * [enter]simplify:  Simplifying (* 2 (atan (sqrt (/ (- 1 x) (+ 1 x)))))
1545130725.614 * * [misc]simplify:  iters left: 6 (9 enodes)
1545130725.622 * * [misc]simplify:  iters left: 5 (18 enodes)
1545130725.628 * * [misc]simplify:  iters left: 4 (21 enodes)
1545130725.633 * * [misc]simplify:  iters left: 3 (23 enodes)
1545130725.689 * [exit]simplify:  Simplified to (* (atan (sqrt (/ (- 1 x) (+ 1 x)))) 2)
1545130725.709 * * [misc]progress:  iteration 1 / 4
1545130725.709 * * * [misc]progress:  picking best candidate
1545130725.716 * * * * [misc]pick:  Picked  #<alt (λ (x) (* (atan (sqrt (/ (- 1 x) (+ 1 x)))) 2))>
1545130725.716 * * * [misc]progress:  localizing error
1545130725.753 * * * [misc]progress:  generating rewritten candidates
1545130725.753 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1 1)
1545130725.765 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1 1)
1545130725.769 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 1)
1545130725.769 * * * [misc]progress:  generating series expansions
1545130725.770 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1 1)
1545130725.777 * [misc]backup-simplify:  Simplify (/ (- 1 x) (+ 1 x)) into (/ (- 1 x) (+ x 1))
1545130725.777 * [misc]approximate:  Taking taylor expansion of (/ (- 1 x) (+ x 1)) in (x) around 0
1545130725.779 * [misc]taylor:  Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x
1545130725.779 * [misc]taylor:  Taking taylor expansion of (- 1 x) in x
1545130725.779 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130725.779 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.779 * [misc]taylor:  Taking taylor expansion of x in x
1545130725.779 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.779 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.779 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1545130725.779 * [misc]taylor:  Taking taylor expansion of x in x
1545130725.779 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.779 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.780 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130725.780 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.780 * [misc]backup-simplify:  Simplify (- 0) into 0
1545130725.781 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130725.781 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545130725.781 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130725.781 * [misc]taylor:  Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x
1545130725.781 * [misc]taylor:  Taking taylor expansion of (- 1 x) in x
1545130725.781 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130725.781 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.781 * [misc]taylor:  Taking taylor expansion of x in x
1545130725.781 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.781 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.781 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1545130725.781 * [misc]taylor:  Taking taylor expansion of x in x
1545130725.781 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.781 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.782 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130725.782 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.782 * [misc]backup-simplify:  Simplify (- 0) into 0
1545130725.782 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130725.782 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545130725.782 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130725.783 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.783 * [misc]backup-simplify:  Simplify (- 1) into -1
1545130725.784 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545130725.784 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130725.784 * [misc]backup-simplify:  Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2
1545130725.784 * [misc]backup-simplify:  Simplify -2 into -2
1545130725.784 * [misc]backup-simplify:  Simplify (- 0) into 0
1545130725.785 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545130725.785 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545130725.785 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -2 (/ 1 1)))) into 2
1545130725.785 * [misc]backup-simplify:  Simplify 2 into 2
1545130725.786 * [misc]backup-simplify:  Simplify (+ (* 2 (pow x 2)) (+ (* -2 x) 1)) into (- (+ (* 2 (pow x 2)) 1) (* 2 x))
1545130725.787 * [misc]backup-simplify:  Simplify (/ (- 1 (/ 1 x)) (+ 1 (/ 1 x))) into (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))
1545130725.787 * [misc]approximate:  Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in (x) around 0
1545130725.787 * [misc]taylor:  Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x
1545130725.787 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1545130725.787 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130725.787 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.787 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545130725.787 * [misc]taylor:  Taking taylor expansion of x in x
1545130725.787 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.787 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.787 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130725.787 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1545130725.787 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545130725.787 * [misc]taylor:  Taking taylor expansion of x in x
1545130725.788 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.788 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.788 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130725.788 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130725.788 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.788 * [misc]backup-simplify:  Simplify (- 1) into -1
1545130725.788 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545130725.789 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130725.789 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545130725.789 * [misc]taylor:  Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x
1545130725.789 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1545130725.789 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130725.789 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.789 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545130725.789 * [misc]taylor:  Taking taylor expansion of x in x
1545130725.789 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.789 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.789 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130725.789 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1545130725.789 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545130725.789 * [misc]taylor:  Taking taylor expansion of x in x
1545130725.789 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.789 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.790 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130725.790 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130725.790 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.790 * [misc]backup-simplify:  Simplify (- 1) into -1
1545130725.790 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545130725.790 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130725.790 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545130725.791 * [misc]backup-simplify:  Simplify -1 into -1
1545130725.792 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545130725.792 * [misc]backup-simplify:  Simplify (- 0) into 0
1545130725.792 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130725.792 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545130725.792 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545130725.793 * [misc]backup-simplify:  Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2
1545130725.793 * [misc]backup-simplify:  Simplify 2 into 2
1545130725.793 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545130725.793 * [misc]backup-simplify:  Simplify (- 0) into 0
1545130725.793 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545130725.794 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545130725.794 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545130725.794 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 1 1)))) into -2
1545130725.794 * [misc]backup-simplify:  Simplify -2 into -2
1545130725.795 * [misc]backup-simplify:  Simplify (+ (* -2 (pow (/ 1 x) 2)) (+ (* 2 (/ 1 x)) -1)) into (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1))
1545130725.795 * [misc]backup-simplify:  Simplify (/ (- 1 (/ 1 (- x))) (+ 1 (/ 1 (- x)))) into (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))
1545130725.795 * [misc]approximate:  Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in (x) around 0
1545130725.795 * [misc]taylor:  Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x
1545130725.795 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1545130725.795 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545130725.795 * [misc]taylor:  Taking taylor expansion of x in x
1545130725.795 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.795 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.795 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130725.795 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130725.795 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.796 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1545130725.796 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130725.796 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.796 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545130725.796 * [misc]taylor:  Taking taylor expansion of x in x
1545130725.796 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.796 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.796 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130725.796 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130725.796 * [misc]backup-simplify:  Simplify (- 1) into -1
1545130725.796 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545130725.796 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545130725.796 * [misc]taylor:  Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x
1545130725.796 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1545130725.796 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545130725.796 * [misc]taylor:  Taking taylor expansion of x in x
1545130725.796 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.796 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.796 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130725.796 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130725.796 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.796 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1545130725.796 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130725.796 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.796 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545130725.797 * [misc]taylor:  Taking taylor expansion of x in x
1545130725.797 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.797 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.797 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130725.797 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130725.797 * [misc]backup-simplify:  Simplify (- 1) into -1
1545130725.797 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545130725.797 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545130725.797 * [misc]backup-simplify:  Simplify -1 into -1
1545130725.797 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545130725.797 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545130725.798 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545130725.798 * [misc]backup-simplify:  Simplify (- 0) into 0
1545130725.798 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130725.798 * [misc]backup-simplify:  Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2
1545130725.798 * [misc]backup-simplify:  Simplify -2 into -2
1545130725.798 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545130725.798 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545130725.798 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545130725.799 * [misc]backup-simplify:  Simplify (- 0) into 0
1545130725.799 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545130725.799 * [misc]backup-simplify:  Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* -2 (/ 1 -1)))) into -2
1545130725.799 * [misc]backup-simplify:  Simplify -2 into -2
1545130725.799 * [misc]backup-simplify:  Simplify (+ (* -2 (pow (/ 1 (- x)) 2)) (+ (* -2 (/ 1 (- x))) -1)) into (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1))
1545130725.799 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1 1)
1545130725.799 * [misc]backup-simplify:  Simplify (sqrt (/ (- 1 x) (+ 1 x))) into (sqrt (/ (- 1 x) (+ x 1)))
1545130725.799 * [misc]approximate:  Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in (x) around 0
1545130725.799 * [misc]taylor:  Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in x
1545130725.799 * [misc]taylor:  Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x
1545130725.799 * [misc]taylor:  Taking taylor expansion of (- 1 x) in x
1545130725.799 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130725.799 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.799 * [misc]taylor:  Taking taylor expansion of x in x
1545130725.799 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.799 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.799 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1545130725.799 * [misc]taylor:  Taking taylor expansion of x in x
1545130725.799 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.799 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.799 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130725.799 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.800 * [misc]backup-simplify:  Simplify (- 0) into 0
1545130725.800 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130725.800 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545130725.800 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130725.800 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1545130725.800 * [misc]backup-simplify:  Simplify (- 1) into -1
1545130725.800 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545130725.800 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130725.801 * [misc]backup-simplify:  Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2
1545130725.801 * [misc]backup-simplify:  Simplify (/ -2 (* 2 (sqrt 1))) into -1
1545130725.801 * [misc]taylor:  Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in x
1545130725.801 * [misc]taylor:  Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x
1545130725.801 * [misc]taylor:  Taking taylor expansion of (- 1 x) in x
1545130725.801 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130725.801 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.801 * [misc]taylor:  Taking taylor expansion of x in x
1545130725.801 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.801 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.801 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1545130725.801 * [misc]taylor:  Taking taylor expansion of x in x
1545130725.801 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.801 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.801 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130725.801 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.801 * [misc]backup-simplify:  Simplify (- 0) into 0
1545130725.801 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130725.801 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545130725.801 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130725.801 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1545130725.802 * [misc]backup-simplify:  Simplify (- 1) into -1
1545130725.802 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545130725.802 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130725.802 * [misc]backup-simplify:  Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2
1545130725.802 * [misc]backup-simplify:  Simplify (/ -2 (* 2 (sqrt 1))) into -1
1545130725.802 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.802 * [misc]backup-simplify:  Simplify -1 into -1
1545130725.802 * [misc]backup-simplify:  Simplify (- 0) into 0
1545130725.803 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545130725.803 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545130725.803 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -2 (/ 1 1)))) into 2
1545130725.804 * [misc]backup-simplify:  Simplify (/ (- 2 (pow -1 2) (+)) (* 2 1)) into 1/2
1545130725.804 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1545130725.804 * [misc]backup-simplify:  Simplify (+ (* 1/2 (pow x 2)) (+ (* -1 x) 1)) into (- (+ (* 1/2 (pow x 2)) 1) x)
1545130725.804 * [misc]backup-simplify:  Simplify (sqrt (/ (- 1 (/ 1 x)) (+ 1 (/ 1 x)))) into (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)))
1545130725.804 * [misc]approximate:  Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in (x) around 0
1545130725.804 * [misc]taylor:  Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in x
1545130725.804 * [misc]taylor:  Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x
1545130725.804 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1545130725.804 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130725.805 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.805 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545130725.805 * [misc]taylor:  Taking taylor expansion of x in x
1545130725.805 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.805 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.805 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130725.805 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1545130725.805 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545130725.805 * [misc]taylor:  Taking taylor expansion of x in x
1545130725.805 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.805 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.805 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130725.805 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130725.805 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.805 * [misc]backup-simplify:  Simplify (- 1) into -1
1545130725.805 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545130725.805 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130725.805 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545130725.805 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1545130725.806 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545130725.806 * [misc]backup-simplify:  Simplify (- 0) into 0
1545130725.806 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130725.806 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545130725.806 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545130725.806 * [misc]backup-simplify:  Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2
1545130725.807 * [misc]backup-simplify:  Simplify (/ 2 (* 2 (sqrt -1))) into (/ 1 (sqrt -1))
1545130725.807 * [misc]taylor:  Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in x
1545130725.807 * [misc]taylor:  Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x
1545130725.807 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1545130725.807 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130725.807 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.807 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545130725.807 * [misc]taylor:  Taking taylor expansion of x in x
1545130725.807 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.807 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.807 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130725.807 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1545130725.807 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545130725.807 * [misc]taylor:  Taking taylor expansion of x in x
1545130725.807 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.807 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.807 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130725.807 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130725.807 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.807 * [misc]backup-simplify:  Simplify (- 1) into -1
1545130725.807 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545130725.807 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130725.807 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545130725.808 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1545130725.808 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545130725.808 * [misc]backup-simplify:  Simplify (- 0) into 0
1545130725.808 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130725.808 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545130725.808 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545130725.808 * [misc]backup-simplify:  Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2
1545130725.809 * [misc]backup-simplify:  Simplify (/ 2 (* 2 (sqrt -1))) into (/ 1 (sqrt -1))
1545130725.809 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1545130725.809 * [misc]backup-simplify:  Simplify (/ 1 (sqrt -1)) into (/ 1 (sqrt -1))
1545130725.809 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545130725.809 * [misc]backup-simplify:  Simplify (- 0) into 0
1545130725.809 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545130725.810 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545130725.810 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545130725.810 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 1 1)))) into -2
1545130725.811 * [misc]backup-simplify:  Simplify (/ (- -2 (pow (/ 1 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (* -1/2 (/ (+ (/ 1 (pow (sqrt -1) 2)) 2) (sqrt -1)))
1545130725.813 * [misc]backup-simplify:  Simplify (* -1/2 (/ (+ (/ 1 (pow (sqrt -1) 2)) 2) (sqrt -1))) into (* -1/2 (/ (+ (/ 1 (pow (sqrt -1) 2)) 2) (sqrt -1)))
1545130725.814 * [misc]backup-simplify:  Simplify (+ (* (* -1/2 (/ (+ (/ 1 (pow (sqrt -1) 2)) 2) (sqrt -1))) (pow (/ 1 x) 2)) (+ (* (/ 1 (sqrt -1)) (/ 1 x)) (sqrt -1))) into (- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (+ (/ 1 (* (pow x 2) (sqrt -1))) (* 1/2 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))))
1545130725.814 * [misc]backup-simplify:  Simplify (sqrt (/ (- 1 (/ 1 (- x))) (+ 1 (/ 1 (- x))))) into (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))))
1545130725.814 * [misc]approximate:  Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in (x) around 0
1545130725.815 * [misc]taylor:  Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in x
1545130725.815 * [misc]taylor:  Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x
1545130725.815 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1545130725.815 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545130725.815 * [misc]taylor:  Taking taylor expansion of x in x
1545130725.815 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.815 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.815 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130725.815 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130725.815 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.815 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1545130725.815 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130725.815 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.815 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545130725.815 * [misc]taylor:  Taking taylor expansion of x in x
1545130725.815 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.815 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.815 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130725.815 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130725.815 * [misc]backup-simplify:  Simplify (- 1) into -1
1545130725.815 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545130725.815 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545130725.816 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1545130725.816 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545130725.816 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545130725.816 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545130725.816 * [misc]backup-simplify:  Simplify (- 0) into 0
1545130725.816 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130725.816 * [misc]backup-simplify:  Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2
1545130725.817 * [misc]backup-simplify:  Simplify (/ -2 (* 2 (sqrt -1))) into (/ -1 (sqrt -1))
1545130725.817 * [misc]taylor:  Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in x
1545130725.817 * [misc]taylor:  Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x
1545130725.817 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1545130725.817 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545130725.817 * [misc]taylor:  Taking taylor expansion of x in x
1545130725.817 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.817 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.817 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130725.817 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130725.817 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.817 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1545130725.817 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130725.817 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.817 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545130725.817 * [misc]taylor:  Taking taylor expansion of x in x
1545130725.817 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.817 * [misc]backup-simplify:  Simplify 1 into 1
1545130725.817 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130725.817 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130725.817 * [misc]backup-simplify:  Simplify (- 1) into -1
1545130725.817 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545130725.818 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545130725.818 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1545130725.818 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545130725.818 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545130725.818 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545130725.818 * [misc]backup-simplify:  Simplify (- 0) into 0
1545130725.818 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130725.818 * [misc]backup-simplify:  Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2
1545130725.819 * [misc]backup-simplify:  Simplify (/ -2 (* 2 (sqrt -1))) into (/ -1 (sqrt -1))
1545130725.819 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1545130725.819 * [misc]backup-simplify:  Simplify (/ -1 (sqrt -1)) into (/ -1 (sqrt -1))
1545130725.819 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545130725.819 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545130725.820 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545130725.820 * [misc]backup-simplify:  Simplify (- 0) into 0
1545130725.820 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545130725.820 * [misc]backup-simplify:  Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* -2 (/ 1 -1)))) into -2
1545130725.821 * [misc]backup-simplify:  Simplify (/ (- -2 (pow (/ -1 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (* -1/2 (/ (+ (/ 1 (pow (sqrt -1) 2)) 2) (sqrt -1)))
1545130725.823 * [misc]backup-simplify:  Simplify (* -1/2 (/ (+ (/ 1 (pow (sqrt -1) 2)) 2) (sqrt -1))) into (* -1/2 (/ (+ (/ 1 (pow (sqrt -1) 2)) 2) (sqrt -1)))
1545130725.825 * [misc]backup-simplify:  Simplify (+ (* (* -1/2 (/ (+ (/ 1 (pow (sqrt -1) 2)) 2) (sqrt -1))) (pow (/ 1 (- x)) 2)) (+ (* (/ -1 (sqrt -1)) (/ 1 (- x))) (sqrt -1))) into (- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (+ (/ 1 (* (pow x 2) (sqrt -1))) (* 1/2 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))))
1545130725.825 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 1)
1545130725.825 * [misc]backup-simplify:  Simplify (atan (sqrt (/ (- 1 x) (+ 1 x)))) into (atan (sqrt (/ (- 1 x) (+ x 1))))
1545130725.825 * [misc]approximate:  Taking taylor expansion of (atan (sqrt (/ (- 1 x) (+ x 1)))) in (x) around 0
1545130725.825 * [misc]taylor:  Taking taylor expansion of (atan (sqrt (/ (- 1 x) (+ x 1)))) in x
1545130725.840 * [misc]backup-simplify:  Simplify (atan (sqrt (/ (- 1 x) (+ x 1)))) into (atan (sqrt (/ (- 1 x) (+ x 1))))
1545130725.840 * [misc]taylor:  Taking taylor expansion of (atan (sqrt (/ (- 1 x) (+ x 1)))) in x
1545130725.840 * [misc]backup-simplify:  Simplify (atan (sqrt (/ (- 1 x) (+ x 1)))) into (atan (sqrt (/ (- 1 x) (+ x 1))))
1545130725.840 * [misc]backup-simplify:  Simplify (atan (sqrt (/ (- 1 x) (+ x 1)))) into (atan (sqrt (/ (- 1 x) (+ x 1))))
1545130725.840 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.840 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.840 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.840 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.840 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.840 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.841 * [misc]backup-simplify:  Simplify (atan (sqrt (/ (- 1 x) (+ x 1)))) into (atan (sqrt (/ (- 1 x) (+ x 1))))
1545130725.841 * [misc]backup-simplify:  Simplify (atan (sqrt (/ (- 1 (/ 1 x)) (+ 1 (/ 1 x))))) into (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))))
1545130725.841 * [misc]approximate:  Taking taylor expansion of (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)))) in (x) around 0
1545130725.841 * [misc]taylor:  Taking taylor expansion of (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)))) in x
1545130725.841 * [misc]backup-simplify:  Simplify (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)))) into (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))))
1545130725.841 * [misc]taylor:  Taking taylor expansion of (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)))) in x
1545130725.841 * [misc]backup-simplify:  Simplify (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)))) into (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))))
1545130725.842 * [misc]backup-simplify:  Simplify (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)))) into (atan (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))))
1545130725.842 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.842 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.842 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.842 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.842 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.842 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.842 * [misc]backup-simplify:  Simplify (atan (sqrt (/ (- 1 (/ 1 (/ 1 x))) (+ (/ 1 (/ 1 x)) 1)))) into (atan (sqrt (/ (- 1 x) (+ x 1))))
1545130725.842 * [misc]backup-simplify:  Simplify (atan (sqrt (/ (- 1 (/ 1 (- x))) (+ 1 (/ 1 (- x)))))) into (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))))
1545130725.842 * [misc]approximate:  Taking taylor expansion of (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))))) in (x) around 0
1545130725.842 * [misc]taylor:  Taking taylor expansion of (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))))) in x
1545130725.843 * [misc]backup-simplify:  Simplify (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))))) into (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))))
1545130725.843 * [misc]taylor:  Taking taylor expansion of (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))))) in x
1545130725.843 * [misc]backup-simplify:  Simplify (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))))) into (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))))
1545130725.843 * [misc]backup-simplify:  Simplify (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))))) into (atan (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))))
1545130725.843 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.843 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.843 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.843 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.843 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.843 * [misc]backup-simplify:  Simplify 0 into 0
1545130725.844 * [misc]backup-simplify:  Simplify (atan (sqrt (/ (+ (/ 1 (/ 1 (- x))) 1) (- 1 (/ 1 (/ 1 (- x))))))) into (atan (sqrt (/ (- 1 x) (+ x 1))))
1545130725.844 * * * [misc]progress:  simplifying candidates
1545130725.844 * * * * [misc]progress:  [ 1 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (log1p (expm1 (/ (- 1 x) (+ 1 x)))))) 2))>
1545130725.844 * * * * [misc]progress:  [ 2 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (expm1 (log1p (/ (- 1 x) (+ 1 x)))))) 2))>
1545130725.844 * * * * [misc]progress:  [ 3 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (pow (/ (- 1 x) (+ 1 x)) 1))) 2))>
1545130725.844 * * * * [misc]progress:  [ 4 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (exp (- (log (- 1 x)) (log (+ 1 x)))))) 2))>
1545130725.845 * [enter]simplify:  Simplifying (- (log (- 1 x)) (log (+ 1 x)))
1545130725.845 * * [misc]simplify:  iters left: 5 (7 enodes)
1545130725.847 * * [misc]simplify:  iters left: 4 (15 enodes)
1545130725.852 * * [misc]simplify:  iters left: 3 (18 enodes)
1545130725.856 * [exit]simplify:  Simplified to (- (log (- 1 x)) (log1p x))
1545130725.856 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (* (atan (sqrt (exp (- (log (- 1 x)) (log1p x))))) 2))
1545130725.856 * * * * [misc]progress:  [ 5 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (exp (log (/ (- 1 x) (+ 1 x)))))) 2))>
1545130725.856 * * * * [misc]progress:  [ 6 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (log (exp (/ (- 1 x) (+ 1 x)))))) 2))>
1545130725.856 * * * * [misc]progress:  [ 7 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (cbrt (/ (* (* (- 1 x) (- 1 x)) (- 1 x)) (* (* (+ 1 x) (+ 1 x)) (+ 1 x)))))) 2))>
1545130725.856 * [enter]simplify:  Simplifying (/ (* (* (- 1 x) (- 1 x)) (- 1 x)) (* (* (+ 1 x) (+ 1 x)) (+ 1 x)))
1545130725.857 * * [misc]simplify:  iters left: 6 (9 enodes)
1545130725.860 * * [misc]simplify:  iters left: 5 (35 enodes)
1545130725.878 * * [misc]simplify:  iters left: 4 (100 enodes)
1545130725.950 * * [misc]simplify:  iters left: 3 (313 enodes)
1545130726.328 * [exit]simplify:  Simplified to (pow (/ (- 1 x) (+ x 1)) 3)
1545130726.328 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (* (atan (sqrt (cbrt (pow (/ (- 1 x) (+ x 1)) 3)))) 2))
1545130726.328 * * * * [misc]progress:  [ 8 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (* (* (cbrt (/ (- 1 x) (+ 1 x))) (cbrt (/ (- 1 x) (+ 1 x)))) (cbrt (/ (- 1 x) (+ 1 x)))))) 2))>
1545130726.328 * * * * [misc]progress:  [ 9 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (cbrt (* (* (/ (- 1 x) (+ 1 x)) (/ (- 1 x) (+ 1 x))) (/ (- 1 x) (+ 1 x)))))) 2))>
1545130726.328 * * * * [misc]progress:  [ 10 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (* (sqrt (/ (- 1 x) (+ 1 x))) (sqrt (/ (- 1 x) (+ 1 x)))))) 2))>
1545130726.328 * * * * [misc]progress:  [ 11 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (/ (- (- 1 x)) (- (+ 1 x))))) 2))>
1545130726.328 * * * * [misc]progress:  [ 12 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (- (/ 1 (+ 1 x)) (/ x (+ 1 x))))) 2))>
1545130726.328 * [enter]simplify:  Simplifying (/ 1 (+ 1 x))
1545130726.328 * * [misc]simplify:  iters left: 4 (4 enodes)
1545130726.329 * * [misc]simplify:  iters left: 3 (7 enodes)
1545130726.330 * [exit]simplify:  Simplified to (/ 1 (+ x 1))
1545130726.330 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (* (atan (sqrt (- (/ 1 (+ x 1)) (/ x (+ 1 x))))) 2))
1545130726.330 * * * * [misc]progress:  [ 13 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (* (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (cbrt (- 1 x)) (cbrt (+ 1 x)))))) 2))>
1545130726.330 * [enter]simplify:  Simplifying (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))
1545130726.330 * * [misc]simplify:  iters left: 6 (9 enodes)
1545130726.332 * * [misc]simplify:  iters left: 5 (20 enodes)
1545130726.335 * * [misc]simplify:  iters left: 4 (30 enodes)
1545130726.342 * * [misc]simplify:  iters left: 3 (33 enodes)
1545130726.351 * * [misc]simplify:  iters left: 2 (36 enodes)
1545130726.360 * [exit]simplify:  Simplified to (* (/ (cbrt (- 1 x)) (cbrt (+ x 1))) (/ (cbrt (- 1 x)) (cbrt (+ x 1))))
1545130726.360 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (* (atan (sqrt (* (* (/ (cbrt (- 1 x)) (cbrt (+ x 1))) (/ (cbrt (- 1 x)) (cbrt (+ x 1)))) (/ (cbrt (- 1 x)) (cbrt (+ 1 x)))))) 2))
1545130726.360 * [enter]simplify:  Simplifying (/ (cbrt (- 1 x)) (cbrt (+ 1 x)))
1545130726.360 * * [misc]simplify:  iters left: 5 (7 enodes)
1545130726.363 * * [misc]simplify:  iters left: 4 (12 enodes)
1545130726.366 * * [misc]simplify:  iters left: 3 (13 enodes)
1545130726.369 * [exit]simplify:  Simplified to (/ (cbrt (- 1 x)) (cbrt (+ x 1)))
1545130726.369 * [misc]simplify:  Simplified (2 1 1 1 2) to (λ (x) (* (atan (sqrt (* (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (cbrt (- 1 x)) (cbrt (+ x 1)))))) 2))
1545130726.369 * * * * [misc]progress:  [ 14 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (* (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ 1 x))) (/ (cbrt (- 1 x)) (sqrt (+ 1 x)))))) 2))>
1545130726.370 * [enter]simplify:  Simplifying (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ 1 x)))
1545130726.370 * * [misc]simplify:  iters left: 6 (8 enodes)
1545130726.373 * * [misc]simplify:  iters left: 5 (15 enodes)
1545130726.377 * * [misc]simplify:  iters left: 4 (18 enodes)
1545130726.381 * * [misc]simplify:  iters left: 3 (19 enodes)
1545130726.387 * [exit]simplify:  Simplified to (* (/ (cbrt (- 1 x)) (sqrt (+ x 1))) (cbrt (- 1 x)))
1545130726.387 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (* (atan (sqrt (* (* (/ (cbrt (- 1 x)) (sqrt (+ x 1))) (cbrt (- 1 x))) (/ (cbrt (- 1 x)) (sqrt (+ 1 x)))))) 2))
1545130726.387 * [enter]simplify:  Simplifying (/ (cbrt (- 1 x)) (sqrt (+ 1 x)))
1545130726.387 * * [misc]simplify:  iters left: 5 (7 enodes)
1545130726.390 * * [misc]simplify:  iters left: 4 (12 enodes)
1545130726.393 * * [misc]simplify:  iters left: 3 (13 enodes)
1545130726.396 * [exit]simplify:  Simplified to (/ (cbrt (- 1 x)) (sqrt (+ x 1)))
1545130726.396 * [misc]simplify:  Simplified (2 1 1 1 2) to (λ (x) (* (atan (sqrt (* (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ 1 x))) (/ (cbrt (- 1 x)) (sqrt (+ x 1)))))) 2))
1545130726.396 * * * * [misc]progress:  [ 15 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (* (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1) (/ (cbrt (- 1 x)) (+ 1 x))))) 2))>
1545130726.397 * [enter]simplify:  Simplifying (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1)
1545130726.397 * * [misc]simplify:  iters left: 6 (6 enodes)
1545130726.399 * * [misc]simplify:  iters left: 5 (12 enodes)
1545130726.404 * * [misc]simplify:  iters left: 4 (19 enodes)
1545130726.409 * * [misc]simplify:  iters left: 3 (21 enodes)
1545130726.413 * * [misc]simplify:  iters left: 2 (26 enodes)
1545130726.420 * [exit]simplify:  Simplified to (* (cbrt (- 1 x)) (cbrt (- 1 x)))
1545130726.420 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (* (atan (sqrt (* (* (cbrt (- 1 x)) (cbrt (- 1 x))) (/ (cbrt (- 1 x)) (+ 1 x))))) 2))
1545130726.421 * [enter]simplify:  Simplifying (/ (cbrt (- 1 x)) (+ 1 x))
1545130726.421 * * [misc]simplify:  iters left: 5 (6 enodes)
1545130726.423 * * [misc]simplify:  iters left: 4 (11 enodes)
1545130726.426 * * [misc]simplify:  iters left: 3 (12 enodes)
1545130726.429 * [exit]simplify:  Simplified to (/ (cbrt (- 1 x)) (+ x 1))
1545130726.429 * [misc]simplify:  Simplified (2 1 1 1 2) to (λ (x) (* (atan (sqrt (* (* (cbrt (- 1 x)) (cbrt (- 1 x))) (/ (cbrt (- 1 x)) (+ x 1))))) 2))
1545130726.429 * * * * [misc]progress:  [ 16 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (* (/ (sqrt (- 1 x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (sqrt (- 1 x)) (cbrt (+ 1 x)))))) 2))>
1545130726.429 * [enter]simplify:  Simplifying (/ (sqrt (- 1 x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))
1545130726.429 * * [misc]simplify:  iters left: 6 (8 enodes)
1545130726.432 * * [misc]simplify:  iters left: 5 (15 enodes)
1545130726.436 * * [misc]simplify:  iters left: 4 (16 enodes)
1545130726.440 * [exit]simplify:  Simplified to (/ (sqrt (- 1 x)) (* (cbrt (+ x 1)) (cbrt (+ x 1))))
1545130726.440 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (* (atan (sqrt (* (/ (sqrt (- 1 x)) (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (/ (sqrt (- 1 x)) (cbrt (+ 1 x)))))) 2))
1545130726.441 * [enter]simplify:  Simplifying (/ (sqrt (- 1 x)) (cbrt (+ 1 x)))
1545130726.441 * * [misc]simplify:  iters left: 5 (7 enodes)
1545130726.443 * * [misc]simplify:  iters left: 4 (12 enodes)
1545130726.446 * * [misc]simplify:  iters left: 3 (13 enodes)
1545130726.449 * [exit]simplify:  Simplified to (/ (sqrt (- 1 x)) (cbrt (+ x 1)))
1545130726.449 * [misc]simplify:  Simplified (2 1 1 1 2) to (λ (x) (* (atan (sqrt (* (/ (sqrt (- 1 x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (sqrt (- 1 x)) (cbrt (+ x 1)))))) 2))
1545130726.449 * * * * [misc]progress:  [ 17 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (* (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))))) 2))>
1545130726.450 * [enter]simplify:  Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))
1545130726.450 * * [misc]simplify:  iters left: 5 (7 enodes)
1545130726.452 * * [misc]simplify:  iters left: 4 (12 enodes)
1545130726.456 * * [misc]simplify:  iters left: 3 (13 enodes)
1545130726.459 * [exit]simplify:  Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1)))
1545130726.459 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (* (atan (sqrt (* (/ (sqrt (- 1 x)) (sqrt (+ x 1))) (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))))) 2))
1545130726.460 * [enter]simplify:  Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))
1545130726.460 * * [misc]simplify:  iters left: 5 (7 enodes)
1545130726.464 * * [misc]simplify:  iters left: 4 (12 enodes)
1545130726.467 * * [misc]simplify:  iters left: 3 (13 enodes)
1545130726.470 * [exit]simplify:  Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1)))
1545130726.470 * [misc]simplify:  Simplified (2 1 1 1 2) to (λ (x) (* (atan (sqrt (* (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) (/ (sqrt (- 1 x)) (sqrt (+ x 1)))))) 2))
1545130726.470 * * * * [misc]progress:  [ 18 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (* (/ (sqrt (- 1 x)) 1) (/ (sqrt (- 1 x)) (+ 1 x))))) 2))>
1545130726.471 * [enter]simplify:  Simplifying (/ (sqrt (- 1 x)) 1)
1545130726.471 * * [misc]simplify:  iters left: 5 (5 enodes)
1545130726.472 * * [misc]simplify:  iters left: 4 (9 enodes)
1545130726.475 * * [misc]simplify:  iters left: 3 (12 enodes)
1545130726.478 * [exit]simplify:  Simplified to (sqrt (- 1 x))
1545130726.478 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (* (atan (sqrt (* (sqrt (- 1 x)) (/ (sqrt (- 1 x)) (+ 1 x))))) 2))
1545130726.478 * [enter]simplify:  Simplifying (/ (sqrt (- 1 x)) (+ 1 x))
1545130726.478 * * [misc]simplify:  iters left: 5 (6 enodes)
1545130726.480 * * [misc]simplify:  iters left: 4 (11 enodes)
1545130726.483 * * [misc]simplify:  iters left: 3 (12 enodes)
1545130726.486 * [exit]simplify:  Simplified to (/ (sqrt (- 1 x)) (+ x 1))
1545130726.486 * [misc]simplify:  Simplified (2 1 1 1 2) to (λ (x) (* (atan (sqrt (* (sqrt (- 1 x)) (/ (sqrt (- 1 x)) (+ x 1))))) 2))
1545130726.486 * * * * [misc]progress:  [ 19 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (* (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (- 1 x) (cbrt (+ 1 x)))))) 2))>
1545130726.487 * [enter]simplify:  Simplifying (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))
1545130726.487 * * [misc]simplify:  iters left: 6 (6 enodes)
1545130726.489 * * [misc]simplify:  iters left: 5 (11 enodes)
1545130726.492 * [exit]simplify:  Simplified to (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1)))
1545130726.492 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (* (atan (sqrt (* (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1))) (/ (- 1 x) (cbrt (+ 1 x)))))) 2))
1545130726.492 * [enter]simplify:  Simplifying (/ (- 1 x) (cbrt (+ 1 x)))
1545130726.492 * * [misc]simplify:  iters left: 5 (6 enodes)
1545130726.494 * * [misc]simplify:  iters left: 4 (14 enodes)
1545130726.498 * * [misc]simplify:  iters left: 3 (17 enodes)
1545130726.502 * * [misc]simplify:  iters left: 2 (19 enodes)
1545130726.507 * [exit]simplify:  Simplified to (/ (- 1 x) (cbrt (+ x 1)))
1545130726.507 * [misc]simplify:  Simplified (2 1 1 1 2) to (λ (x) (* (atan (sqrt (* (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (- 1 x) (cbrt (+ x 1)))))) 2))
1545130726.507 * * * * [misc]progress:  [ 20 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (* (/ 1 (sqrt (+ 1 x))) (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130726.508 * [enter]simplify:  Simplifying (/ 1 (sqrt (+ 1 x)))
1545130726.508 * * [misc]simplify:  iters left: 5 (5 enodes)
1545130726.510 * * [misc]simplify:  iters left: 4 (8 enodes)
1545130726.512 * [exit]simplify:  Simplified to (/ 1 (sqrt (+ x 1)))
1545130726.512 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (* (atan (sqrt (* (/ 1 (sqrt (+ x 1))) (/ (- 1 x) (sqrt (+ 1 x)))))) 2))
1545130726.512 * [enter]simplify:  Simplifying (/ (- 1 x) (sqrt (+ 1 x)))
1545130726.512 * * [misc]simplify:  iters left: 5 (6 enodes)
1545130726.514 * * [misc]simplify:  iters left: 4 (14 enodes)
1545130726.518 * * [misc]simplify:  iters left: 3 (17 enodes)
1545130726.522 * * [misc]simplify:  iters left: 2 (19 enodes)
1545130726.527 * [exit]simplify:  Simplified to (/ (- 1 x) (sqrt (+ x 1)))
1545130726.527 * [misc]simplify:  Simplified (2 1 1 1 2) to (λ (x) (* (atan (sqrt (* (/ 1 (sqrt (+ 1 x))) (/ (- 1 x) (sqrt (+ x 1)))))) 2))
1545130726.527 * * * * [misc]progress:  [ 21 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (* (/ 1 1) (/ (- 1 x) (+ 1 x))))) 2))>
1545130726.527 * [enter]simplify:  Simplifying (/ 1 1)
1545130726.527 * * [misc]simplify:  iters left: 2 (2 enodes)
1545130726.528 * * [misc]simplify:  iters left: 1 (4 enodes)
1545130726.529 * [exit]simplify:  Simplified to 1
1545130726.529 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (* (atan (sqrt (* 1 (/ (- 1 x) (+ 1 x))))) 2))
1545130726.529 * [enter]simplify:  Simplifying (/ (- 1 x) (+ 1 x))
1545130726.529 * * [misc]simplify:  iters left: 4 (5 enodes)
1545130726.531 * * [misc]simplify:  iters left: 3 (13 enodes)
1545130726.534 * * [misc]simplify:  iters left: 2 (16 enodes)
1545130726.538 * * [misc]simplify:  iters left: 1 (18 enodes)
1545130726.543 * [exit]simplify:  Simplified to (/ (- 1 x) (+ x 1))
1545130726.543 * [misc]simplify:  Simplified (2 1 1 1 2) to (λ (x) (* (atan (sqrt (* 1 (/ (- 1 x) (+ x 1))))) 2))
1545130726.543 * * * * [misc]progress:  [ 22 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (* 1 (/ (- 1 x) (+ 1 x))))) 2))>
1545130726.543 * * * * [misc]progress:  [ 23 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (* (- 1 x) (/ 1 (+ 1 x))))) 2))>
1545130726.543 * * * * [misc]progress:  [ 24 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (/ 1 (/ (+ 1 x) (- 1 x))))) 2))>
1545130726.543 * * * * [misc]progress:  [ 25 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (/ (/ (- 1 x) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (cbrt (+ 1 x))))) 2))>
1545130726.544 * [enter]simplify:  Simplifying (cbrt (+ 1 x))
1545130726.544 * * [misc]simplify:  iters left: 3 (4 enodes)
1545130726.545 * * [misc]simplify:  iters left: 2 (7 enodes)
1545130726.546 * [exit]simplify:  Simplified to (cbrt (+ x 1))
1545130726.546 * [misc]simplify:  Simplified (2 1 1 1 2) to (λ (x) (* (atan (sqrt (/ (/ (- 1 x) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (cbrt (+ x 1))))) 2))
1545130726.547 * * * * [misc]progress:  [ 26 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (/ (/ (- 1 x) (sqrt (+ 1 x))) (sqrt (+ 1 x))))) 2))>
1545130726.547 * [enter]simplify:  Simplifying (sqrt (+ 1 x))
1545130726.547 * * [misc]simplify:  iters left: 3 (4 enodes)
1545130726.548 * * [misc]simplify:  iters left: 2 (7 enodes)
1545130726.550 * [exit]simplify:  Simplified to (sqrt (+ x 1))
1545130726.550 * [misc]simplify:  Simplified (2 1 1 1 2) to (λ (x) (* (atan (sqrt (/ (/ (- 1 x) (sqrt (+ 1 x))) (sqrt (+ x 1))))) 2))
1545130726.550 * * * * [misc]progress:  [ 27 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (/ (/ (- 1 x) 1) (+ 1 x)))) 2))>
1545130726.550 * [enter]simplify:  Simplifying (+ 1 x)
1545130726.550 * * [misc]simplify:  iters left: 2 (3 enodes)
1545130726.551 * * [misc]simplify:  iters left: 1 (6 enodes)
1545130726.553 * [exit]simplify:  Simplified to (+ x 1)
1545130726.553 * [misc]simplify:  Simplified (2 1 1 1 2) to (λ (x) (* (atan (sqrt (/ (/ (- 1 x) 1) (+ x 1)))) 2))
1545130726.553 * * * * [misc]progress:  [ 28 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (/ (+ 1 x) (cbrt (- 1 x)))))) 2))>
1545130726.553 * [enter]simplify:  Simplifying (* (cbrt (- 1 x)) (cbrt (- 1 x)))
1545130726.553 * * [misc]simplify:  iters left: 5 (5 enodes)
1545130726.555 * * [misc]simplify:  iters left: 4 (9 enodes)
1545130726.557 * * [misc]simplify:  iters left: 3 (10 enodes)
1545130726.560 * [exit]simplify:  Simplified to (* (cbrt (- 1 x)) (cbrt (- 1 x)))
1545130726.560 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (* (atan (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (/ (+ 1 x) (cbrt (- 1 x)))))) 2))
1545130726.560 * * * * [misc]progress:  [ 29 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (/ (sqrt (- 1 x)) (/ (+ 1 x) (sqrt (- 1 x)))))) 2))>
1545130726.560 * [enter]simplify:  Simplifying (sqrt (- 1 x))
1545130726.560 * * [misc]simplify:  iters left: 3 (4 enodes)
1545130726.562 * * [misc]simplify:  iters left: 2 (8 enodes)
1545130726.564 * * [misc]simplify:  iters left: 1 (9 enodes)
1545130726.566 * [exit]simplify:  Simplified to (sqrt (- 1 x))
1545130726.566 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (* (atan (sqrt (/ (sqrt (- 1 x)) (/ (+ 1 x) (sqrt (- 1 x)))))) 2))
1545130726.566 * * * * [misc]progress:  [ 30 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (/ 1 (/ (+ 1 x) (- 1 x))))) 2))>
1545130726.566 * * * * [misc]progress:  [ 31 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (* (/ (- 1 x) (+ (pow 1 3) (pow x 3))) (+ (* 1 1) (- (* x x) (* 1 x)))))) 2))>
1545130726.567 * [enter]simplify:  Simplifying (+ (* 1 1) (- (* x x) (* 1 x)))
1545130726.567 * * [misc]simplify:  iters left: 6 (7 enodes)
1545130726.570 * * [misc]simplify:  iters left: 5 (17 enodes)
1545130726.575 * * [misc]simplify:  iters left: 4 (28 enodes)
1545130726.584 * * [misc]simplify:  iters left: 3 (49 enodes)
1545130726.600 * * [misc]simplify:  iters left: 2 (66 enodes)
1545130726.615 * * [misc]simplify:  iters left: 1 (92 enodes)
1545130726.628 * [exit]simplify:  Simplified to (fma x x (- 1 x))
1545130726.628 * [misc]simplify:  Simplified (2 1 1 1 2) to (λ (x) (* (atan (sqrt (* (/ (- 1 x) (+ (pow 1 3) (pow x 3))) (fma x x (- 1 x))))) 2))
1545130726.628 * * * * [misc]progress:  [ 32 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (* (/ (- 1 x) (- (* 1 1) (* x x))) (- 1 x)))) 2))>
1545130726.628 * [enter]simplify:  Simplifying (- 1 x)
1545130726.628 * * [misc]simplify:  iters left: 2 (3 enodes)
1545130726.629 * * [misc]simplify:  iters left: 1 (7 enodes)
1545130726.630 * [exit]simplify:  Simplified to (- 1 x)
1545130726.630 * [misc]simplify:  Simplified (2 1 1 1 2) to (λ (x) (* (atan (sqrt (* (/ (- 1 x) (- (* 1 1) (* x x))) (- 1 x)))) 2))
1545130726.630 * * * * [misc]progress:  [ 33 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (/ (- (pow 1 3) (pow x 3)) (* (+ 1 x) (+ (* 1 1) (+ (* x x) (* 1 x))))))) 2))>
1545130726.630 * [enter]simplify:  Simplifying (- (pow 1 3) (pow x 3))
1545130726.630 * * [misc]simplify:  iters left: 3 (6 enodes)
1545130726.632 * * [misc]simplify:  iters left: 2 (15 enodes)
1545130726.633 * * [misc]simplify:  iters left: 1 (22 enodes)
1545130726.636 * [exit]simplify:  Simplified to (fma (- x) (* x x) 1)
1545130726.636 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (* (atan (sqrt (/ (fma (- x) (* x x) 1) (* (+ 1 x) (+ (* 1 1) (+ (* x x) (* 1 x))))))) 2))
1545130726.636 * * * * [misc]progress:  [ 34 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (/ (- (* 1 1) (* x x)) (* (+ 1 x) (+ 1 x))))) 2))>
1545130726.636 * [enter]simplify:  Simplifying (- (* 1 1) (* x x))
1545130726.637 * * [misc]simplify:  iters left: 4 (5 enodes)
1545130726.637 * * [misc]simplify:  iters left: 3 (10 enodes)
1545130726.639 * * [misc]simplify:  iters left: 2 (14 enodes)
1545130726.640 * * [misc]simplify:  iters left: 1 (16 enodes)
1545130726.642 * [exit]simplify:  Simplified to (- 1 (* x x))
1545130726.642 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (* (atan (sqrt (/ (- 1 (* x x)) (* (+ 1 x) (+ 1 x))))) 2))
1545130726.642 * * * * [misc]progress:  [ 35 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (log1p (expm1 (sqrt (/ (- 1 x) (+ 1 x)))))) 2))>
1545130726.642 * * * * [misc]progress:  [ 36 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (expm1 (log1p (sqrt (/ (- 1 x) (+ 1 x)))))) 2))>
1545130726.642 * * * * [misc]progress:  [ 37 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (pow (/ (- 1 x) (+ 1 x)) 1/2)) 2))>
1545130726.642 * * * * [misc]progress:  [ 38 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (pow (sqrt (/ (- 1 x) (+ 1 x))) 1)) 2))>
1545130726.642 * * * * [misc]progress:  [ 39 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (exp (log (sqrt (/ (- 1 x) (+ 1 x)))))) 2))>
1545130726.642 * * * * [misc]progress:  [ 40 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (log (exp (sqrt (/ (- 1 x) (+ 1 x)))))) 2))>
1545130726.642 * * * * [misc]progress:  [ 41 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (* (* (cbrt (sqrt (/ (- 1 x) (+ 1 x)))) (cbrt (sqrt (/ (- 1 x) (+ 1 x))))) (cbrt (sqrt (/ (- 1 x) (+ 1 x)))))) 2))>
1545130726.642 * * * * [misc]progress:  [ 42 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (cbrt (* (* (sqrt (/ (- 1 x) (+ 1 x))) (sqrt (/ (- 1 x) (+ 1 x)))) (sqrt (/ (- 1 x) (+ 1 x)))))) 2))>
1545130726.642 * * * * [misc]progress:  [ 43 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (* (cbrt (/ (- 1 x) (+ 1 x))) (cbrt (/ (- 1 x) (+ 1 x))))) (sqrt (cbrt (/ (- 1 x) (+ 1 x)))))) 2))>
1545130726.643 * [enter]simplify:  Simplifying (sqrt (* (cbrt (/ (- 1 x) (+ 1 x))) (cbrt (/ (- 1 x) (+ 1 x)))))
1545130726.643 * * [misc]simplify:  iters left: 6 (8 enodes)
1545130726.644 * * [misc]simplify:  iters left: 5 (17 enodes)
1545130726.646 * * [misc]simplify:  iters left: 4 (20 enodes)
1545130726.649 * * [misc]simplify:  iters left: 3 (22 enodes)
1545130726.652 * [exit]simplify:  Simplified to (fabs (cbrt (/ (- 1 x) (+ x 1))))
1545130726.652 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (atan (* (fabs (cbrt (/ (- 1 x) (+ x 1)))) (sqrt (cbrt (/ (- 1 x) (+ 1 x)))))) 2))
1545130726.652 * * * * [misc]progress:  [ 44 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (sqrt (/ (- 1 x) (+ 1 x)))) (sqrt (sqrt (/ (- 1 x) (+ 1 x)))))) 2))>
1545130726.652 * [enter]simplify:  Simplifying (sqrt (sqrt (/ (- 1 x) (+ 1 x))))
1545130726.652 * * [misc]simplify:  iters left: 6 (7 enodes)
1545130726.653 * * [misc]simplify:  iters left: 5 (15 enodes)
1545130726.655 * * [misc]simplify:  iters left: 4 (18 enodes)
1545130726.657 * * [misc]simplify:  iters left: 3 (20 enodes)
1545130726.660 * [exit]simplify:  Simplified to (sqrt (sqrt (/ (- 1 x) (+ x 1))))
1545130726.660 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (atan (* (sqrt (sqrt (/ (- 1 x) (+ x 1)))) (sqrt (sqrt (/ (- 1 x) (+ 1 x)))))) 2))
1545130726.660 * * * * [misc]progress:  [ 45 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) (sqrt (/ (cbrt (- 1 x)) (cbrt (+ 1 x)))))) 2))>
1545130726.660 * [enter]simplify:  Simplifying (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))))
1545130726.660 * * [misc]simplify:  iters left: 6 (10 enodes)
1545130726.662 * * [misc]simplify:  iters left: 5 (21 enodes)
1545130726.665 * * [misc]simplify:  iters left: 4 (32 enodes)
1545130726.669 * * [misc]simplify:  iters left: 3 (35 enodes)
1545130726.674 * * [misc]simplify:  iters left: 2 (38 enodes)
1545130726.681 * [exit]simplify:  Simplified to (fabs (/ (cbrt (- 1 x)) (cbrt (+ x 1))))
1545130726.682 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (atan (* (fabs (/ (cbrt (- 1 x)) (cbrt (+ x 1)))) (sqrt (/ (cbrt (- 1 x)) (cbrt (+ 1 x)))))) 2))
1545130726.682 * * * * [misc]progress:  [ 46 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ 1 x)))) (sqrt (/ (cbrt (- 1 x)) (sqrt (+ 1 x)))))) 2))>
1545130726.682 * [enter]simplify:  Simplifying (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ 1 x))))
1545130726.682 * * [misc]simplify:  iters left: 6 (9 enodes)
1545130726.685 * * [misc]simplify:  iters left: 5 (16 enodes)
1545130726.689 * * [misc]simplify:  iters left: 4 (19 enodes)
1545130726.694 * * [misc]simplify:  iters left: 3 (20 enodes)
1545130726.701 * [exit]simplify:  Simplified to (sqrt (* (cbrt (- 1 x)) (/ (cbrt (- 1 x)) (sqrt (+ x 1)))))
1545130726.701 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (atan (* (sqrt (* (cbrt (- 1 x)) (/ (cbrt (- 1 x)) (sqrt (+ x 1))))) (sqrt (/ (cbrt (- 1 x)) (sqrt (+ 1 x)))))) 2))
1545130726.701 * * * * [misc]progress:  [ 47 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1)) (sqrt (/ (cbrt (- 1 x)) (+ 1 x))))) 2))>
1545130726.702 * [enter]simplify:  Simplifying (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1))
1545130726.702 * * [misc]simplify:  iters left: 6 (7 enodes)
1545130726.704 * * [misc]simplify:  iters left: 5 (13 enodes)
1545130726.709 * * [misc]simplify:  iters left: 4 (21 enodes)
1545130726.714 * * [misc]simplify:  iters left: 3 (23 enodes)
1545130726.719 * * [misc]simplify:  iters left: 2 (28 enodes)
1545130726.726 * [exit]simplify:  Simplified to (fabs (cbrt (- 1 x)))
1545130726.726 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (atan (* (fabs (cbrt (- 1 x))) (sqrt (/ (cbrt (- 1 x)) (+ 1 x))))) 2))
1545130726.726 * * * * [misc]progress:  [ 48 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ (sqrt (- 1 x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) (sqrt (/ (sqrt (- 1 x)) (cbrt (+ 1 x)))))) 2))>
1545130726.726 * [enter]simplify:  Simplifying (sqrt (/ (sqrt (- 1 x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))))
1545130726.726 * * [misc]simplify:  iters left: 6 (9 enodes)
1545130726.729 * * [misc]simplify:  iters left: 5 (16 enodes)
1545130726.734 * * [misc]simplify:  iters left: 4 (17 enodes)
1545130726.737 * [exit]simplify:  Simplified to (sqrt (/ (sqrt (- 1 x)) (* (cbrt (+ x 1)) (cbrt (+ x 1)))))
1545130726.737 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (atan (* (sqrt (/ (sqrt (- 1 x)) (* (cbrt (+ x 1)) (cbrt (+ x 1))))) (sqrt (/ (sqrt (- 1 x)) (cbrt (+ 1 x)))))) 2))
1545130726.737 * * * * [misc]progress:  [ 49 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))) (sqrt (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))))) 2))>
1545130726.737 * [enter]simplify:  Simplifying (sqrt (/ (sqrt (- 1 x)) (sqrt (+ 1 x))))
1545130726.737 * * [misc]simplify:  iters left: 6 (8 enodes)
1545130726.738 * * [misc]simplify:  iters left: 5 (13 enodes)
1545130726.740 * * [misc]simplify:  iters left: 4 (14 enodes)
1545130726.742 * [exit]simplify:  Simplified to (sqrt (/ (sqrt (- 1 x)) (sqrt (+ x 1))))
1545130726.742 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (atan (* (sqrt (/ (sqrt (- 1 x)) (sqrt (+ x 1)))) (sqrt (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))))) 2))
1545130726.742 * * * * [misc]progress:  [ 50 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ (sqrt (- 1 x)) 1)) (sqrt (/ (sqrt (- 1 x)) (+ 1 x))))) 2))>
1545130726.742 * [enter]simplify:  Simplifying (sqrt (/ (sqrt (- 1 x)) 1))
1545130726.742 * * [misc]simplify:  iters left: 6 (6 enodes)
1545130726.743 * * [misc]simplify:  iters left: 5 (10 enodes)
1545130726.745 * * [misc]simplify:  iters left: 4 (13 enodes)
1545130726.746 * [exit]simplify:  Simplified to (sqrt (sqrt (- 1 x)))
1545130726.746 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (atan (* (sqrt (sqrt (- 1 x))) (sqrt (/ (sqrt (- 1 x)) (+ 1 x))))) 2))
1545130726.746 * * * * [misc]progress:  [ 51 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) (sqrt (/ (- 1 x) (cbrt (+ 1 x)))))) 2))>
1545130726.746 * [enter]simplify:  Simplifying (sqrt (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))))
1545130726.746 * * [misc]simplify:  iters left: 6 (7 enodes)
1545130726.747 * * [misc]simplify:  iters left: 5 (12 enodes)
1545130726.749 * [exit]simplify:  Simplified to (sqrt (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1))))
1545130726.749 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (atan (* (sqrt (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1)))) (sqrt (/ (- 1 x) (cbrt (+ 1 x)))))) 2))
1545130726.749 * * * * [misc]progress:  [ 52 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130726.749 * [enter]simplify:  Simplifying (sqrt (/ 1 (sqrt (+ 1 x))))
1545130726.749 * * [misc]simplify:  iters left: 6 (6 enodes)
1545130726.750 * * [misc]simplify:  iters left: 5 (9 enodes)
1545130726.751 * [exit]simplify:  Simplified to (sqrt (/ 1 (sqrt (+ x 1))))
1545130726.751 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ x 1)))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))
1545130726.751 * * * * [misc]progress:  [ 53 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 1)) (sqrt (/ (- 1 x) (+ 1 x))))) 2))>
1545130726.752 * [enter]simplify:  Simplifying (sqrt (/ 1 1))
1545130726.752 * * [misc]simplify:  iters left: 3 (3 enodes)
1545130726.753 * * [misc]simplify:  iters left: 2 (5 enodes)
1545130726.753 * [exit]simplify:  Simplified to 1
1545130726.753 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (atan (* 1 (sqrt (/ (- 1 x) (+ 1 x))))) 2))
1545130726.753 * * * * [misc]progress:  [ 54 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt 1) (sqrt (/ (- 1 x) (+ 1 x))))) 2))>
1545130726.753 * [enter]simplify:  Simplifying (sqrt 1)
1545130726.753 * * [misc]simplify:  iters left: 1 (2 enodes)
1545130726.754 * [exit]simplify:  Simplified to 1
1545130726.754 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (atan (* 1 (sqrt (/ (- 1 x) (+ 1 x))))) 2))
1545130726.754 * * * * [misc]progress:  [ 55 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (- 1 x)) (sqrt (/ 1 (+ 1 x))))) 2))>
1545130726.754 * [enter]simplify:  Simplifying (sqrt (- 1 x))
1545130726.754 * * [misc]simplify:  iters left: 3 (4 enodes)
1545130726.755 * * [misc]simplify:  iters left: 2 (8 enodes)
1545130726.756 * * [misc]simplify:  iters left: 1 (9 enodes)
1545130726.757 * [exit]simplify:  Simplified to (sqrt (- 1 x))
1545130726.757 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (atan (* (sqrt (- 1 x)) (sqrt (/ 1 (+ 1 x))))) 2))
1545130726.757 * * * * [misc]progress:  [ 56 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ (- 1 x) (+ (pow 1 3) (pow x 3)))) (sqrt (+ (* 1 1) (- (* x x) (* 1 x)))))) 2))>
1545130726.757 * [enter]simplify:  Simplifying (sqrt (/ (- 1 x) (+ (pow 1 3) (pow x 3))))
1545130726.757 * * [misc]simplify:  iters left: 6 (9 enodes)
1545130726.759 * * [misc]simplify:  iters left: 5 (22 enodes)
1545130726.762 * * [misc]simplify:  iters left: 4 (27 enodes)
1545130726.766 * * [misc]simplify:  iters left: 3 (29 enodes)
1545130726.771 * [exit]simplify:  Simplified to (sqrt (/ (- 1 x) (fma (* x x) x 1)))
1545130726.771 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (atan (* (sqrt (/ (- 1 x) (fma (* x x) x 1))) (sqrt (+ (* 1 1) (- (* x x) (* 1 x)))))) 2))
1545130726.771 * * * * [misc]progress:  [ 57 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ (- 1 x) (- (* 1 1) (* x x)))) (sqrt (- 1 x)))) 2))>
1545130726.771 * [enter]simplify:  Simplifying (sqrt (/ (- 1 x) (- (* 1 1) (* x x))))
1545130726.771 * * [misc]simplify:  iters left: 6 (8 enodes)
1545130726.774 * * [misc]simplify:  iters left: 5 (18 enodes)
1545130726.777 * * [misc]simplify:  iters left: 4 (24 enodes)
1545130726.780 * * [misc]simplify:  iters left: 3 (28 enodes)
1545130726.783 * [exit]simplify:  Simplified to (sqrt (/ (- 1 x) (- 1 (* x x))))
1545130726.783 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (atan (* (sqrt (/ (- 1 x) (- 1 (* x x)))) (sqrt (- 1 x)))) 2))
1545130726.783 * * * * [misc]progress:  [ 58 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))) 2))>
1545130726.784 * [enter]simplify:  Simplifying (sqrt (- 1 x))
1545130726.784 * * [misc]simplify:  iters left: 3 (4 enodes)
1545130726.784 * * [misc]simplify:  iters left: 2 (8 enodes)
1545130726.785 * * [misc]simplify:  iters left: 1 (9 enodes)
1545130726.786 * [exit]simplify:  Simplified to (sqrt (- 1 x))
1545130726.786 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (atan (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))) 2))
1545130726.786 * * * * [misc]progress:  [ 59 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (sqrt (/ (- 1 x) (+ 1 x)))) (sqrt (sqrt (/ (- 1 x) (+ 1 x)))))) 2))>
1545130726.786 * * * * [misc]progress:  [ 60 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (fabs (sqrt (/ (- 1 x) (+ 1 x))))) 2))>
1545130726.787 * [enter]simplify:  Simplifying (sqrt (/ (- 1 x) (+ 1 x)))
1545130726.787 * * [misc]simplify:  iters left: 5 (6 enodes)
1545130726.788 * * [misc]simplify:  iters left: 4 (14 enodes)
1545130726.789 * * [misc]simplify:  iters left: 3 (17 enodes)
1545130726.792 * * [misc]simplify:  iters left: 2 (19 enodes)
1545130726.794 * [exit]simplify:  Simplified to (sqrt (/ (- 1 x) (+ x 1)))
1545130726.794 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (atan (fabs (sqrt (/ (- 1 x) (+ x 1))))) 2))
1545130726.794 * * * * [misc]progress:  [ 61 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (fabs (/ (sqrt (- 1 x)) (sqrt (+ 1 x))))) 2))>
1545130726.794 * [enter]simplify:  Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))
1545130726.794 * * [misc]simplify:  iters left: 5 (7 enodes)
1545130726.795 * * [misc]simplify:  iters left: 4 (12 enodes)
1545130726.797 * * [misc]simplify:  iters left: 3 (13 enodes)
1545130726.798 * [exit]simplify:  Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1)))
1545130726.798 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (atan (fabs (/ (sqrt (- 1 x)) (sqrt (+ x 1))))) 2))
1545130726.798 * * * * [misc]progress:  [ 62 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (* 1 (sqrt (/ (- 1 x) (+ 1 x))))) 2))>
1545130726.799 * * * * [misc]progress:  [ 63 / 80 ] simplifiying candidate #<alt (λ (x) (* (log1p (expm1 (atan (sqrt (/ (- 1 x) (+ 1 x)))))) 2))>
1545130726.799 * * * * [misc]progress:  [ 64 / 80 ] simplifiying candidate #<alt (λ (x) (* (expm1 (log1p (atan (sqrt (/ (- 1 x) (+ 1 x)))))) 2))>
1545130726.799 * * * * [misc]progress:  [ 65 / 80 ] simplifiying candidate #<alt (λ (x) (* (pow (atan (sqrt (/ (- 1 x) (+ 1 x)))) 1) 2))>
1545130726.799 * * * * [misc]progress:  [ 66 / 80 ] simplifiying candidate #<alt (λ (x) (* (exp (log (atan (sqrt (/ (- 1 x) (+ 1 x)))))) 2))>
1545130726.799 * * * * [misc]progress:  [ 67 / 80 ] simplifiying candidate #<alt (λ (x) (* (log (exp (atan (sqrt (/ (- 1 x) (+ 1 x)))))) 2))>
1545130726.799 * * * * [misc]progress:  [ 68 / 80 ] simplifiying candidate #<alt (λ (x) (* (* (* (cbrt (atan (sqrt (/ (- 1 x) (+ 1 x))))) (cbrt (atan (sqrt (/ (- 1 x) (+ 1 x)))))) (cbrt (atan (sqrt (/ (- 1 x) (+ 1 x)))))) 2))>
1545130726.799 * * * * [misc]progress:  [ 69 / 80 ] simplifiying candidate #<alt (λ (x) (* (cbrt (* (* (atan (sqrt (/ (- 1 x) (+ 1 x)))) (atan (sqrt (/ (- 1 x) (+ 1 x))))) (atan (sqrt (/ (- 1 x) (+ 1 x)))))) 2))>
1545130726.799 * * * * [misc]progress:  [ 70 / 80 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (atan (sqrt (/ (- 1 x) (+ 1 x))))) (sqrt (atan (sqrt (/ (- 1 x) (+ 1 x)))))) 2))>
1545130726.799 * * * * [misc]progress:  [ 71 / 80 ] simplifiying candidate #<alt (λ (x) (* (* 1 (atan (sqrt (/ (- 1 x) (+ 1 x))))) 2))>
1545130726.799 * * * * [misc]progress:  [ 72 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (- (+ (* 2 (pow x 2)) 1) (* 2 x)))) 2))>
1545130726.799 * [enter]simplify:  Simplifying (- (+ (* 2 (pow x 2)) 1) (* 2 x))
1545130726.799 * * [misc]simplify:  iters left: 6 (8 enodes)
1545130726.802 * * [misc]simplify:  iters left: 5 (19 enodes)
1545130726.807 * * [misc]simplify:  iters left: 4 (39 enodes)
1545130726.819 * * [misc]simplify:  iters left: 3 (62 enodes)
1545130726.839 * * [misc]simplify:  iters left: 2 (92 enodes)
1545130726.850 * * [misc]simplify:  iters left: 1 (111 enodes)
1545130726.867 * [exit]simplify:  Simplified to (fma (fma x 2 -2) x 1)
1545130726.867 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (atan (sqrt (fma (fma x 2 -2) x 1))) 2))
1545130726.867 * * * * [misc]progress:  [ 73 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1)))) 2))>
1545130726.867 * [enter]simplify:  Simplifying (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1))
1545130726.867 * * [misc]simplify:  iters left: 6 (10 enodes)
1545130726.870 * * [misc]simplify:  iters left: 5 (25 enodes)
1545130726.880 * * [misc]simplify:  iters left: 4 (44 enodes)
1545130726.903 * * [misc]simplify:  iters left: 3 (91 enodes)
1545130726.971 * * [misc]simplify:  iters left: 2 (158 enodes)
1545130727.019 * * [misc]simplify:  iters left: 1 (216 enodes)
1545130727.103 * [exit]simplify:  Simplified to (- (- (/ 2 x) 1) (/ 2 (* x x)))
1545130727.103 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (atan (sqrt (- (- (/ 2 x) 1) (/ 2 (* x x))))) 2))
1545130727.103 * * * * [misc]progress:  [ 74 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1)))) 2))>
1545130727.103 * [enter]simplify:  Simplifying (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1))
1545130727.103 * * [misc]simplify:  iters left: 6 (10 enodes)
1545130727.108 * * [misc]simplify:  iters left: 5 (25 enodes)
1545130727.115 * * [misc]simplify:  iters left: 4 (44 enodes)
1545130727.127 * * [misc]simplify:  iters left: 3 (91 enodes)
1545130727.167 * * [misc]simplify:  iters left: 2 (158 enodes)
1545130727.204 * * [misc]simplify:  iters left: 1 (216 enodes)
1545130727.269 * [exit]simplify:  Simplified to (- (- (/ 2 x) 1) (/ 2 (* x x)))
1545130727.270 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (* (atan (sqrt (- (- (/ 2 x) 1) (/ 2 (* x x))))) 2))
1545130727.270 * * * * [misc]progress:  [ 75 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (- (+ (* 1/2 (pow x 2)) 1) x)) 2))>
1545130727.270 * [enter]simplify:  Simplifying (- (+ (* 1/2 (pow x 2)) 1) x)
1545130727.270 * * [misc]simplify:  iters left: 6 (8 enodes)
1545130727.273 * * [misc]simplify:  iters left: 5 (18 enodes)
1545130727.279 * * [misc]simplify:  iters left: 4 (33 enodes)
1545130727.290 * * [misc]simplify:  iters left: 3 (47 enodes)
1545130727.301 * * [misc]simplify:  iters left: 2 (49 enodes)
1545130727.311 * * [misc]simplify:  iters left: 1 (63 enodes)
1545130727.329 * [exit]simplify:  Simplified to (fma (* 1/2 x) x (- 1 x))
1545130727.329 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (* (atan (fma (* 1/2 x) x (- 1 x))) 2))
1545130727.329 * * * * [misc]progress:  [ 76 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (+ (/ 1 (* (pow x 2) (sqrt -1))) (* 1/2 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))))) 2))>
1545130727.329 * [enter]simplify:  Simplifying (- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (+ (/ 1 (* (pow x 2) (sqrt -1))) (* 1/2 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))))
1545130727.330 * * [misc]simplify:  iters left: 6 (19 enodes)
1545130727.338 * * [misc]simplify:  iters left: 5 (44 enodes)
1545130727.355 * * [misc]simplify:  iters left: 4 (89 enodes)
1545130727.393 * * [misc]simplify:  iters left: 3 (182 enodes)
1545130727.553 * * [misc]simplify:  iters left: 2 (368 enodes)
1545130729.185 * [exit]simplify:  Simplified to (+ (+ (sqrt -1) (/ (/ 1 x) (sqrt -1))) (/ (/ -1/2 (* x x)) (sqrt -1)))
1545130729.185 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (* (atan (+ (+ (sqrt -1) (/ (/ 1 x) (sqrt -1))) (/ (/ -1/2 (* x x)) (sqrt -1)))) 2))
1545130729.185 * * * * [misc]progress:  [ 77 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (+ (/ 1 (* (pow x 2) (sqrt -1))) (* 1/2 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))))) 2))>
1545130729.185 * [enter]simplify:  Simplifying (- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (+ (/ 1 (* (pow x 2) (sqrt -1))) (* 1/2 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))))
1545130729.185 * * [misc]simplify:  iters left: 6 (19 enodes)
1545130729.194 * * [misc]simplify:  iters left: 5 (44 enodes)
1545130729.210 * * [misc]simplify:  iters left: 4 (89 enodes)
1545130729.243 * * [misc]simplify:  iters left: 3 (182 enodes)
1545130729.330 * * [misc]simplify:  iters left: 2 (368 enodes)
1545130730.871 * [exit]simplify:  Simplified to (+ (+ (sqrt -1) (/ (/ 1 x) (sqrt -1))) (/ (/ -1/2 (* x x)) (sqrt -1)))
1545130730.871 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (* (atan (+ (+ (sqrt -1) (/ (/ 1 x) (sqrt -1))) (/ (/ -1/2 (* x x)) (sqrt -1)))) 2))
1545130730.871 * * * * [misc]progress:  [ 78 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (/ (- 1 x) (+ x 1)))) 2))>
1545130730.871 * [enter]simplify:  Simplifying (atan (sqrt (/ (- 1 x) (+ x 1))))
1545130730.871 * * [misc]simplify:  iters left: 6 (7 enodes)
1545130730.873 * * [misc]simplify:  iters left: 5 (15 enodes)
1545130730.875 * * [misc]simplify:  iters left: 4 (18 enodes)
1545130730.877 * * [misc]simplify:  iters left: 3 (20 enodes)
1545130730.881 * [exit]simplify:  Simplified to (atan (sqrt (/ (- 1 x) (+ x 1))))
1545130730.881 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (atan (sqrt (/ (- 1 x) (+ x 1)))) 2))
1545130730.881 * * * * [misc]progress:  [ 79 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (/ (- 1 x) (+ x 1)))) 2))>
1545130730.881 * [enter]simplify:  Simplifying (atan (sqrt (/ (- 1 x) (+ x 1))))
1545130730.881 * * [misc]simplify:  iters left: 6 (7 enodes)
1545130730.883 * * [misc]simplify:  iters left: 5 (15 enodes)
1545130730.885 * * [misc]simplify:  iters left: 4 (18 enodes)
1545130730.887 * * [misc]simplify:  iters left: 3 (20 enodes)
1545130730.892 * [exit]simplify:  Simplified to (atan (sqrt (/ (- 1 x) (+ x 1))))
1545130730.892 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (atan (sqrt (/ (- 1 x) (+ x 1)))) 2))
1545130730.892 * * * * [misc]progress:  [ 80 / 80 ] simplifiying candidate #<alt (λ (x) (* (atan (sqrt (/ (- 1 x) (+ x 1)))) 2))>
1545130730.892 * [enter]simplify:  Simplifying (atan (sqrt (/ (- 1 x) (+ x 1))))
1545130730.892 * * [misc]simplify:  iters left: 6 (7 enodes)
1545130730.895 * * [misc]simplify:  iters left: 5 (15 enodes)
1545130730.899 * * [misc]simplify:  iters left: 4 (18 enodes)
1545130730.901 * * [misc]simplify:  iters left: 3 (20 enodes)
1545130730.904 * [exit]simplify:  Simplified to (atan (sqrt (/ (- 1 x) (+ x 1))))
1545130730.904 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (atan (sqrt (/ (- 1 x) (+ x 1)))) 2))
1545130730.904 * * * [misc]progress:  adding candidates to table
1545130731.793 * * [misc]progress:  iteration 2 / 4
1545130731.793 * * * [misc]progress:  picking best candidate
1545130731.797 * * * * [misc]pick:  Picked  #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130731.797 * * * [misc]progress:  localizing error
1545130731.830 * * * [misc]progress:  generating rewritten candidates
1545130731.830 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 1)
1545130731.841 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 2 1 2)
1545130731.841 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1 2)
1545130731.842 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 1 1)
1545130731.845 * * * [misc]progress:  generating series expansions
1545130731.845 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 1)
1545130731.845 * [misc]backup-simplify:  Simplify (/ (- 1 x) (sqrt (+ 1 x))) into (* (- 1 x) (sqrt (/ 1 (+ x 1))))
1545130731.845 * [misc]approximate:  Taking taylor expansion of (* (- 1 x) (sqrt (/ 1 (+ x 1)))) in (x) around 0
1545130731.845 * [misc]taylor:  Taking taylor expansion of (* (- 1 x) (sqrt (/ 1 (+ x 1)))) in x
1545130731.846 * [misc]taylor:  Taking taylor expansion of (- 1 x) in x
1545130731.846 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130731.846 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.846 * [misc]taylor:  Taking taylor expansion of x in x
1545130731.846 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.846 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.846 * [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 (+ x 1))) in x
1545130731.846 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ x 1)) in x
1545130731.846 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1545130731.846 * [misc]taylor:  Taking taylor expansion of x in x
1545130731.846 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.846 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.846 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130731.846 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.846 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545130731.846 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130731.846 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1545130731.846 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130731.847 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545130731.847 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
1545130731.847 * [misc]taylor:  Taking taylor expansion of (* (- 1 x) (sqrt (/ 1 (+ x 1)))) in x
1545130731.847 * [misc]taylor:  Taking taylor expansion of (- 1 x) in x
1545130731.847 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130731.847 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.847 * [misc]taylor:  Taking taylor expansion of x in x
1545130731.847 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.847 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.847 * [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 (+ x 1))) in x
1545130731.847 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ x 1)) in x
1545130731.847 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1545130731.847 * [misc]taylor:  Taking taylor expansion of x in x
1545130731.847 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.847 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.847 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130731.847 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.847 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545130731.847 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130731.847 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1545130731.848 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130731.848 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545130731.848 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
1545130731.848 * [misc]backup-simplify:  Simplify (- 0) into 0
1545130731.848 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130731.848 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545130731.848 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.849 * [misc]backup-simplify:  Simplify (- 1) into -1
1545130731.849 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545130731.849 * [misc]backup-simplify:  Simplify (+ (* 1 -1/2) (* -1 1)) into -3/2
1545130731.849 * [misc]backup-simplify:  Simplify -3/2 into -3/2
1545130731.849 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545130731.849 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1545130731.850 * [misc]backup-simplify:  Simplify (/ (- 1 (pow -1/2 2) (+)) (* 2 1)) into 3/8
1545130731.850 * [misc]backup-simplify:  Simplify (- 0) into 0
1545130731.850 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545130731.850 * [misc]backup-simplify:  Simplify (+ (* 1 3/8) (+ (* -1 -1/2) (* 0 1))) into 7/8
1545130731.850 * [misc]backup-simplify:  Simplify 7/8 into 7/8
1545130731.851 * [misc]backup-simplify:  Simplify (+ (* 7/8 (pow x 2)) (+ (* -3/2 x) 1)) into (- (+ (* 7/8 (pow x 2)) 1) (* 3/2 x))
1545130731.851 * [misc]backup-simplify:  Simplify (/ (- 1 (/ 1 x)) (sqrt (+ 1 (/ 1 x)))) into (* (sqrt (/ 1 (+ (/ 1 x) 1))) (- 1 (/ 1 x)))
1545130731.851 * [misc]approximate:  Taking taylor expansion of (* (sqrt (/ 1 (+ (/ 1 x) 1))) (- 1 (/ 1 x))) in (x) around 0
1545130731.851 * [misc]taylor:  Taking taylor expansion of (* (sqrt (/ 1 (+ (/ 1 x) 1))) (- 1 (/ 1 x))) in x
1545130731.851 * [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 x) 1))) in x
1545130731.851 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 x) 1)) in x
1545130731.851 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1545130731.851 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545130731.851 * [misc]taylor:  Taking taylor expansion of x in x
1545130731.851 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.851 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.851 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130731.851 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130731.851 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.851 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130731.851 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130731.851 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1545130731.852 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1545130731.852 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1545130731.852 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130731.852 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.852 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545130731.852 * [misc]taylor:  Taking taylor expansion of x in x
1545130731.852 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.852 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.852 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130731.852 * [misc]taylor:  Taking taylor expansion of (* (sqrt (/ 1 (+ (/ 1 x) 1))) (- 1 (/ 1 x))) in x
1545130731.852 * [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 x) 1))) in x
1545130731.852 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 x) 1)) in x
1545130731.852 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1545130731.852 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545130731.852 * [misc]taylor:  Taking taylor expansion of x in x
1545130731.852 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.852 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.852 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130731.852 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130731.852 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.852 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130731.853 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130731.853 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1545130731.853 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1545130731.853 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1545130731.853 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130731.853 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.853 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545130731.853 * [misc]taylor:  Taking taylor expansion of x in x
1545130731.853 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.853 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.853 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130731.853 * [misc]backup-simplify:  Simplify (- 1) into -1
1545130731.853 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545130731.854 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1545130731.854 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.854 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545130731.854 * [misc]backup-simplify:  Simplify (- 0) into 0
1545130731.854 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130731.854 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* +nan.0 -1)) into (- +nan.0)
1545130731.854 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1545130731.855 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545130731.855 * [misc]backup-simplify:  Simplify (- 0) into 0
1545130731.855 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545130731.855 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545130731.855 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545130731.855 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545130731.856 * [misc]backup-simplify:  Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1545130731.856 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* +nan.0 1) (* +nan.0 -1))) into (- +nan.0)
1545130731.856 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1545130731.857 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545130731.857 * [misc]backup-simplify:  Simplify (- 0) into 0
1545130731.857 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545130731.857 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545130731.857 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545130731.857 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1545130731.858 * [misc]backup-simplify:  Simplify (/ (- 1 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1545130731.859 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* +nan.0 0) (+ (* +nan.0 1) (* +nan.0 -1)))) into (- +nan.0)
1545130731.859 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1545130731.861 * [misc]backup-simplify:  Simplify (+ (* (- +nan.0) (pow (/ 1 x) 2)) (+ (* (- +nan.0) (/ 1 x)) (- +nan.0))) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
1545130731.861 * [misc]backup-simplify:  Simplify (/ (- 1 (/ 1 (- x))) (sqrt (+ 1 (/ 1 (- x))))) into (* (+ (/ 1 x) 1) (sqrt (/ 1 (- 1 (/ 1 x)))))
1545130731.861 * [misc]approximate:  Taking taylor expansion of (* (+ (/ 1 x) 1) (sqrt (/ 1 (- 1 (/ 1 x))))) in (x) around 0
1545130731.861 * [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 x) 1) (sqrt (/ 1 (- 1 (/ 1 x))))) in x
1545130731.861 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1545130731.861 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545130731.861 * [misc]taylor:  Taking taylor expansion of x in x
1545130731.861 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.861 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.861 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130731.861 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130731.861 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.861 * [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 (- 1 (/ 1 x)))) in x
1545130731.861 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 x))) in x
1545130731.861 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1545130731.861 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130731.861 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.861 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545130731.861 * [misc]taylor:  Taking taylor expansion of x in x
1545130731.861 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.861 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.861 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130731.861 * [misc]backup-simplify:  Simplify (- 1) into -1
1545130731.861 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545130731.862 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545130731.862 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1545130731.862 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1545130731.862 * [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 x) 1) (sqrt (/ 1 (- 1 (/ 1 x))))) in x
1545130731.862 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1545130731.862 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545130731.862 * [misc]taylor:  Taking taylor expansion of x in x
1545130731.862 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.862 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.862 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130731.862 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130731.862 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.862 * [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 (- 1 (/ 1 x)))) in x
1545130731.862 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 x))) in x
1545130731.862 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1545130731.862 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130731.862 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.862 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545130731.862 * [misc]taylor:  Taking taylor expansion of x in x
1545130731.863 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.863 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.863 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130731.863 * [misc]backup-simplify:  Simplify (- 1) into -1
1545130731.863 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545130731.863 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545130731.863 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1545130731.863 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1545130731.864 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130731.864 * [misc]backup-simplify:  Simplify (* 1 0) into 0
1545130731.864 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.864 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545130731.864 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545130731.865 * [misc]backup-simplify:  Simplify (+ (* 1 +nan.0) (* 1 0)) into (- +nan.0)
1545130731.865 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1545130731.865 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545130731.865 * [misc]backup-simplify:  Simplify (- 0) into 0
1545130731.865 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130731.865 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1545130731.866 * [misc]backup-simplify:  Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1545130731.866 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545130731.867 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545130731.867 * [misc]backup-simplify:  Simplify (+ (* 1 +nan.0) (+ (* 1 +nan.0) (* 0 0))) into (- +nan.0)
1545130731.867 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1545130731.867 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545130731.868 * [misc]backup-simplify:  Simplify (- 0) into 0
1545130731.868 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545130731.868 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* -1 (/ 1 -1)))) into -1
1545130731.869 * [misc]backup-simplify:  Simplify (/ (- -1 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1545130731.869 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545130731.869 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545130731.870 * [misc]backup-simplify:  Simplify (+ (* 1 +nan.0) (+ (* 1 +nan.0) (+ (* 0 +nan.0) (* 0 0)))) into (- +nan.0)
1545130731.870 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1545130731.870 * [misc]backup-simplify:  Simplify (+ (* (- +nan.0) (pow (/ 1 (- x)) 2)) (+ (* (- +nan.0) (/ 1 (- x))) (- +nan.0))) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
1545130731.870 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 2 1 2)
1545130731.870 * [misc]backup-simplify:  Simplify (sqrt (+ 1 x)) into (sqrt (+ x 1))
1545130731.870 * [misc]approximate:  Taking taylor expansion of (sqrt (+ x 1)) in (x) around 0
1545130731.870 * [misc]taylor:  Taking taylor expansion of (sqrt (+ x 1)) in x
1545130731.870 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1545130731.870 * [misc]taylor:  Taking taylor expansion of x in x
1545130731.871 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.871 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.871 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130731.871 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.871 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545130731.871 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1545130731.871 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130731.871 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
1545130731.871 * [misc]taylor:  Taking taylor expansion of (sqrt (+ x 1)) in x
1545130731.871 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1545130731.871 * [misc]taylor:  Taking taylor expansion of x in x
1545130731.871 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.871 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.871 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130731.871 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.871 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545130731.871 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1545130731.872 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130731.872 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
1545130731.872 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.872 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1545130731.872 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545130731.873 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 1/2 2) (+)) (* 2 1)) into -1/8
1545130731.873 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1545130731.873 * [misc]backup-simplify:  Simplify (+ (* -1/8 (pow x 2)) (+ (* 1/2 x) 1)) into (- (+ (* 1/2 x) 1) (* 1/8 (pow x 2)))
1545130731.873 * [misc]backup-simplify:  Simplify (sqrt (+ 1 (/ 1 x))) into (sqrt (+ (/ 1 x) 1))
1545130731.873 * [misc]approximate:  Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in (x) around 0
1545130731.873 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x
1545130731.873 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1545130731.873 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545130731.873 * [misc]taylor:  Taking taylor expansion of x in x
1545130731.873 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.873 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.873 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130731.873 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130731.873 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.873 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130731.873 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1545130731.874 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1545130731.874 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x
1545130731.874 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1545130731.874 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545130731.874 * [misc]taylor:  Taking taylor expansion of x in x
1545130731.874 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.874 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.874 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130731.874 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130731.874 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.874 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130731.874 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1545130731.875 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1545130731.875 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.875 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1545130731.875 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545130731.875 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545130731.876 * [misc]backup-simplify:  Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1545130731.876 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1545130731.876 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545130731.876 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545130731.878 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1545130731.878 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1545130731.878 * [misc]backup-simplify:  Simplify (+ (* +nan.0 (pow (/ 1 x) 2)) (+ (* +nan.0 (/ 1 x)) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
1545130731.878 * [misc]backup-simplify:  Simplify (sqrt (+ 1 (/ 1 (- x)))) into (sqrt (- 1 (/ 1 x)))
1545130731.878 * [misc]approximate:  Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in (x) around 0
1545130731.878 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x
1545130731.878 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1545130731.878 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130731.878 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.878 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545130731.878 * [misc]taylor:  Taking taylor expansion of x in x
1545130731.878 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.878 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.878 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130731.879 * [misc]backup-simplify:  Simplify (- 1) into -1
1545130731.879 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545130731.879 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1545130731.879 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1545130731.879 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x
1545130731.879 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1545130731.879 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130731.879 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.879 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545130731.879 * [misc]taylor:  Taking taylor expansion of x in x
1545130731.880 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.880 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.880 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130731.880 * [misc]backup-simplify:  Simplify (- 1) into -1
1545130731.880 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545130731.880 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1545130731.881 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1545130731.881 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.881 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1545130731.881 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545130731.881 * [misc]backup-simplify:  Simplify (- 0) into 0
1545130731.881 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130731.882 * [misc]backup-simplify:  Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1545130731.882 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1545130731.883 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545130731.883 * [misc]backup-simplify:  Simplify (- 0) into 0
1545130731.883 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545130731.884 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1545130731.884 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1545130731.885 * [misc]backup-simplify:  Simplify (+ (* +nan.0 (pow (/ 1 (- x)) 2)) (+ (* +nan.0 (/ 1 (- x))) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
1545130731.885 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1 2)
1545130731.885 * [misc]backup-simplify:  Simplify (sqrt (+ 1 x)) into (sqrt (+ x 1))
1545130731.885 * [misc]approximate:  Taking taylor expansion of (sqrt (+ x 1)) in (x) around 0
1545130731.885 * [misc]taylor:  Taking taylor expansion of (sqrt (+ x 1)) in x
1545130731.885 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1545130731.885 * [misc]taylor:  Taking taylor expansion of x in x
1545130731.885 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.885 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.885 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130731.885 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.885 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545130731.885 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1545130731.886 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130731.886 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
1545130731.886 * [misc]taylor:  Taking taylor expansion of (sqrt (+ x 1)) in x
1545130731.886 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1545130731.886 * [misc]taylor:  Taking taylor expansion of x in x
1545130731.886 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.886 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.886 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130731.886 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.886 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545130731.886 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1545130731.886 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130731.887 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
1545130731.887 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.887 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1545130731.887 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545130731.888 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 1/2 2) (+)) (* 2 1)) into -1/8
1545130731.888 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1545130731.889 * [misc]backup-simplify:  Simplify (+ (* -1/8 (pow x 2)) (+ (* 1/2 x) 1)) into (- (+ (* 1/2 x) 1) (* 1/8 (pow x 2)))
1545130731.889 * [misc]backup-simplify:  Simplify (sqrt (+ 1 (/ 1 x))) into (sqrt (+ (/ 1 x) 1))
1545130731.889 * [misc]approximate:  Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in (x) around 0
1545130731.889 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x
1545130731.889 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1545130731.889 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545130731.889 * [misc]taylor:  Taking taylor expansion of x in x
1545130731.889 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.889 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.889 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130731.889 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130731.889 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.889 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130731.890 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1545130731.890 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1545130731.890 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x
1545130731.890 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1545130731.890 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545130731.890 * [misc]taylor:  Taking taylor expansion of x in x
1545130731.890 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.890 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.891 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130731.891 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130731.891 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.891 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130731.891 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1545130731.891 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1545130731.891 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.892 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1545130731.892 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545130731.892 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545130731.893 * [misc]backup-simplify:  Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1545130731.893 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1545130731.893 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545130731.894 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545130731.895 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1545130731.895 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1545130731.895 * [misc]backup-simplify:  Simplify (+ (* +nan.0 (pow (/ 1 x) 2)) (+ (* +nan.0 (/ 1 x)) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
1545130731.895 * [misc]backup-simplify:  Simplify (sqrt (+ 1 (/ 1 (- x)))) into (sqrt (- 1 (/ 1 x)))
1545130731.895 * [misc]approximate:  Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in (x) around 0
1545130731.895 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x
1545130731.895 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1545130731.895 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130731.895 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.895 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545130731.895 * [misc]taylor:  Taking taylor expansion of x in x
1545130731.895 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.895 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.896 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130731.896 * [misc]backup-simplify:  Simplify (- 1) into -1
1545130731.896 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545130731.896 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1545130731.897 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1545130731.897 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x
1545130731.897 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1545130731.897 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130731.897 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.897 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545130731.897 * [misc]taylor:  Taking taylor expansion of x in x
1545130731.897 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.897 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.897 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130731.897 * [misc]backup-simplify:  Simplify (- 1) into -1
1545130731.897 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545130731.897 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1545130731.898 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1545130731.898 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.898 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1545130731.898 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545130731.898 * [misc]backup-simplify:  Simplify (- 0) into 0
1545130731.899 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130731.900 * [misc]backup-simplify:  Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1545130731.900 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1545130731.900 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545130731.900 * [misc]backup-simplify:  Simplify (- 0) into 0
1545130731.900 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545130731.902 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1545130731.902 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1545130731.902 * [misc]backup-simplify:  Simplify (+ (* +nan.0 (pow (/ 1 (- x)) 2)) (+ (* +nan.0 (/ 1 (- x))) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
1545130731.902 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 1 1)
1545130731.902 * [misc]backup-simplify:  Simplify (/ 1 (sqrt (+ 1 x))) into (sqrt (/ 1 (+ x 1)))
1545130731.902 * [misc]approximate:  Taking taylor expansion of (sqrt (/ 1 (+ x 1))) in (x) around 0
1545130731.902 * [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 (+ x 1))) in x
1545130731.902 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ x 1)) in x
1545130731.902 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1545130731.902 * [misc]taylor:  Taking taylor expansion of x in x
1545130731.902 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.902 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.902 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130731.903 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.903 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545130731.903 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130731.903 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1545130731.903 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130731.903 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545130731.904 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
1545130731.904 * [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 (+ x 1))) in x
1545130731.904 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ x 1)) in x
1545130731.904 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1545130731.904 * [misc]taylor:  Taking taylor expansion of x in x
1545130731.904 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.904 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.904 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130731.904 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.904 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545130731.904 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130731.904 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1545130731.904 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130731.905 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545130731.905 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
1545130731.905 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.905 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545130731.905 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545130731.906 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1545130731.907 * [misc]backup-simplify:  Simplify (/ (- 1 (pow -1/2 2) (+)) (* 2 1)) into 3/8
1545130731.907 * [misc]backup-simplify:  Simplify 3/8 into 3/8
1545130731.907 * [misc]backup-simplify:  Simplify (+ (* 3/8 (pow x 2)) (+ (* -1/2 x) 1)) into (- (+ (* 3/8 (pow x 2)) 1) (* 1/2 x))
1545130731.907 * [misc]backup-simplify:  Simplify (/ 1 (sqrt (+ 1 (/ 1 x)))) into (sqrt (/ 1 (+ (/ 1 x) 1)))
1545130731.907 * [misc]approximate:  Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 x) 1))) in (x) around 0
1545130731.907 * [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 x) 1))) in x
1545130731.907 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 x) 1)) in x
1545130731.907 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1545130731.908 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545130731.908 * [misc]taylor:  Taking taylor expansion of x in x
1545130731.908 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.908 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.908 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130731.908 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130731.908 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.908 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130731.908 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130731.908 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1545130731.909 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1545130731.909 * [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 x) 1))) in x
1545130731.909 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 x) 1)) in x
1545130731.909 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1545130731.909 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545130731.909 * [misc]taylor:  Taking taylor expansion of x in x
1545130731.909 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.909 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.909 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130731.909 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130731.909 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.910 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130731.910 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130731.910 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1545130731.910 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1545130731.911 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.911 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1545130731.911 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545130731.911 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545130731.911 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545130731.912 * [misc]backup-simplify:  Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1545130731.912 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1545130731.913 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545130731.913 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545130731.913 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1545130731.914 * [misc]backup-simplify:  Simplify (/ (- 1 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1545130731.915 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1545130731.915 * [misc]backup-simplify:  Simplify (+ (* +nan.0 (pow (/ 1 x) 3)) (+ (* +nan.0 (pow (/ 1 x) 2)) (* +nan.0 (/ 1 x)))) into (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))))
1545130731.915 * [misc]backup-simplify:  Simplify (/ 1 (sqrt (+ 1 (/ 1 (- x))))) into (sqrt (/ 1 (- 1 (/ 1 x))))
1545130731.915 * [misc]approximate:  Taking taylor expansion of (sqrt (/ 1 (- 1 (/ 1 x)))) in (x) around 0
1545130731.915 * [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 (- 1 (/ 1 x)))) in x
1545130731.915 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 x))) in x
1545130731.915 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1545130731.915 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130731.915 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.915 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545130731.915 * [misc]taylor:  Taking taylor expansion of x in x
1545130731.915 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.915 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.916 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130731.916 * [misc]backup-simplify:  Simplify (- 1) into -1
1545130731.916 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545130731.916 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545130731.916 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1545130731.917 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1545130731.917 * [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 (- 1 (/ 1 x)))) in x
1545130731.917 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 x))) in x
1545130731.917 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1545130731.917 * [misc]taylor:  Taking taylor expansion of 1 in x
1545130731.917 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.917 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545130731.917 * [misc]taylor:  Taking taylor expansion of x in x
1545130731.917 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.917 * [misc]backup-simplify:  Simplify 1 into 1
1545130731.917 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545130731.917 * [misc]backup-simplify:  Simplify (- 1) into -1
1545130731.917 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545130731.918 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545130731.918 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1545130731.918 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1545130731.918 * [misc]backup-simplify:  Simplify 0 into 0
1545130731.918 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1545130731.919 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545130731.919 * [misc]backup-simplify:  Simplify (- 0) into 0
1545130731.919 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545130731.919 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1545130731.921 * [misc]backup-simplify:  Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1545130731.921 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1545130731.921 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545130731.921 * [misc]backup-simplify:  Simplify (- 0) into 0
1545130731.922 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545130731.922 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* -1 (/ 1 -1)))) into -1
1545130731.923 * [misc]backup-simplify:  Simplify (/ (- -1 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1545130731.923 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1545130731.923 * [misc]backup-simplify:  Simplify (+ (* +nan.0 (pow (/ 1 (- x)) 3)) (+ (* +nan.0 (pow (/ 1 (- x)) 2)) (* +nan.0 (/ 1 (- x))))) into (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))))
1545130731.924 * * * [misc]progress:  simplifying candidates
1545130731.924 * * * * [misc]progress:  [ 1 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (log1p (expm1 (/ (- 1 x) (sqrt (+ 1 x)))))))) 2))>
1545130731.924 * * * * [misc]progress:  [ 2 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (expm1 (log1p (/ (- 1 x) (sqrt (+ 1 x)))))))) 2))>
1545130731.924 * * * * [misc]progress:  [ 3 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (pow (/ (- 1 x) (sqrt (+ 1 x))) 1)))) 2))>
1545130731.924 * * * * [misc]progress:  [ 4 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (exp (- (log (- 1 x)) (log (sqrt (+ 1 x)))))))) 2))>
1545130731.924 * [enter]simplify:  Simplifying (- (log (- 1 x)) (log (sqrt (+ 1 x))))
1545130731.924 * * [misc]simplify:  iters left: 6 (8 enodes)
1545130731.927 * * [misc]simplify:  iters left: 5 (15 enodes)
1545130731.935 * * [misc]simplify:  iters left: 4 (18 enodes)
1545130731.940 * [exit]simplify:  Simplified to (- (log (- 1 x)) (log (sqrt (+ x 1))))
1545130731.940 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (exp (- (log (- 1 x)) (log (sqrt (+ x 1)))))))) 2))
1545130731.940 * * * * [misc]progress:  [ 5 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (exp (log (/ (- 1 x) (sqrt (+ 1 x)))))))) 2))>
1545130731.940 * * * * [misc]progress:  [ 6 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (log (exp (/ (- 1 x) (sqrt (+ 1 x)))))))) 2))>
1545130731.940 * * * * [misc]progress:  [ 7 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (cbrt (/ (* (* (- 1 x) (- 1 x)) (- 1 x)) (* (* (sqrt (+ 1 x)) (sqrt (+ 1 x))) (sqrt (+ 1 x)))))))) 2))>
1545130731.941 * [enter]simplify:  Simplifying (/ (* (* (- 1 x) (- 1 x)) (- 1 x)) (* (* (sqrt (+ 1 x)) (sqrt (+ 1 x))) (sqrt (+ 1 x))))
1545130731.941 * * [misc]simplify:  iters left: 6 (10 enodes)
1545130731.945 * * [misc]simplify:  iters left: 5 (24 enodes)
1545130731.954 * * [misc]simplify:  iters left: 4 (77 enodes)
1545130731.978 * * [misc]simplify:  iters left: 3 (192 enodes)
1545130732.124 * [exit]simplify:  Simplified to (* (/ (- 1 x) (+ x 1)) (/ (* (- 1 x) (- 1 x)) (sqrt (+ x 1))))
1545130732.124 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (cbrt (* (/ (- 1 x) (+ x 1)) (/ (* (- 1 x) (- 1 x)) (sqrt (+ x 1)))))))) 2))
1545130732.124 * * * * [misc]progress:  [ 8 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (* (cbrt (/ (- 1 x) (sqrt (+ 1 x)))) (cbrt (/ (- 1 x) (sqrt (+ 1 x))))) (cbrt (/ (- 1 x) (sqrt (+ 1 x)))))))) 2))>
1545130732.124 * * * * [misc]progress:  [ 9 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (cbrt (* (* (/ (- 1 x) (sqrt (+ 1 x))) (/ (- 1 x) (sqrt (+ 1 x)))) (/ (- 1 x) (sqrt (+ 1 x)))))))) 2))>
1545130732.124 * * * * [misc]progress:  [ 10 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (sqrt (/ (- 1 x) (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))))) 2))>
1545130732.124 * * * * [misc]progress:  [ 11 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- (- 1 x)) (- (sqrt (+ 1 x))))))) 2))>
1545130732.125 * * * * [misc]progress:  [ 12 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (- (/ 1 (sqrt (+ 1 x))) (/ x (sqrt (+ 1 x))))))) 2))>
1545130732.125 * [enter]simplify:  Simplifying (/ 1 (sqrt (+ 1 x)))
1545130732.125 * * [misc]simplify:  iters left: 5 (5 enodes)
1545130732.127 * * [misc]simplify:  iters left: 4 (8 enodes)
1545130732.129 * [exit]simplify:  Simplified to (/ 1 (sqrt (+ x 1)))
1545130732.129 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (- (/ 1 (sqrt (+ x 1))) (/ x (sqrt (+ 1 x))))))) 2))
1545130732.129 * * * * [misc]progress:  [ 13 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (/ (cbrt (- 1 x)) (cbrt (sqrt (+ 1 x)))))))) 2))>
1545130732.129 * [enter]simplify:  Simplifying (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x)))))
1545130732.129 * * [misc]simplify:  iters left: 6 (10 enodes)
1545130732.133 * * [misc]simplify:  iters left: 5 (21 enodes)
1545130732.139 * * [misc]simplify:  iters left: 4 (31 enodes)
1545130732.151 * * [misc]simplify:  iters left: 3 (34 enodes)
1545130732.159 * * [misc]simplify:  iters left: 2 (37 enodes)
1545130732.164 * [exit]simplify:  Simplified to (* (/ (cbrt (- 1 x)) (cbrt (sqrt (+ x 1)))) (/ (cbrt (- 1 x)) (cbrt (sqrt (+ x 1)))))
1545130732.164 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (* (/ (cbrt (- 1 x)) (cbrt (sqrt (+ x 1)))) (/ (cbrt (- 1 x)) (cbrt (sqrt (+ x 1))))) (/ (cbrt (- 1 x)) (cbrt (sqrt (+ 1 x)))))))) 2))
1545130732.165 * [enter]simplify:  Simplifying (/ (cbrt (- 1 x)) (cbrt (sqrt (+ 1 x))))
1545130732.165 * * [misc]simplify:  iters left: 6 (8 enodes)
1545130732.166 * * [misc]simplify:  iters left: 5 (13 enodes)
1545130732.168 * * [misc]simplify:  iters left: 4 (14 enodes)
1545130732.169 * [exit]simplify:  Simplified to (/ (cbrt (- 1 x)) (cbrt (sqrt (+ x 1))))
1545130732.169 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (/ (cbrt (- 1 x)) (cbrt (sqrt (+ x 1)))))))) 2))
1545130732.169 * * * * [misc]progress:  [ 14 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) (/ (cbrt (- 1 x)) (sqrt (cbrt (+ 1 x)))))))) 2))>
1545130732.170 * [enter]simplify:  Simplifying (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))))
1545130732.170 * * [misc]simplify:  iters left: 6 (10 enodes)
1545130732.171 * * [misc]simplify:  iters left: 5 (18 enodes)
1545130732.174 * * [misc]simplify:  iters left: 4 (21 enodes)
1545130732.177 * * [misc]simplify:  iters left: 3 (22 enodes)
1545130732.180 * [exit]simplify:  Simplified to (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (fabs (cbrt (+ x 1))))
1545130732.180 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (fabs (cbrt (+ x 1)))) (/ (cbrt (- 1 x)) (sqrt (cbrt (+ 1 x)))))))) 2))
1545130732.180 * [enter]simplify:  Simplifying (/ (cbrt (- 1 x)) (sqrt (cbrt (+ 1 x))))
1545130732.180 * * [misc]simplify:  iters left: 6 (8 enodes)
1545130732.182 * * [misc]simplify:  iters left: 5 (13 enodes)
1545130732.183 * * [misc]simplify:  iters left: 4 (14 enodes)
1545130732.185 * [exit]simplify:  Simplified to (/ (cbrt (- 1 x)) (sqrt (cbrt (+ x 1))))
1545130732.185 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (fabs (cbrt (+ x 1)))) (/ (cbrt (- 1 x)) (sqrt (cbrt (+ x 1)))))))) 2))
1545130732.185 * * * * [misc]progress:  [ 15 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) (/ (cbrt (- 1 x)) (sqrt (sqrt (+ 1 x)))))))) 2))>
1545130732.185 * [enter]simplify:  Simplifying (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (sqrt (+ 1 x))))
1545130732.185 * * [misc]simplify:  iters left: 6 (9 enodes)
1545130732.187 * * [misc]simplify:  iters left: 5 (16 enodes)
1545130732.189 * * [misc]simplify:  iters left: 4 (19 enodes)
1545130732.192 * * [misc]simplify:  iters left: 3 (20 enodes)
1545130732.194 * [exit]simplify:  Simplified to (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (sqrt (+ x 1))))
1545130732.194 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (sqrt (+ x 1)))) (/ (cbrt (- 1 x)) (sqrt (sqrt (+ 1 x)))))))) 2))
1545130732.195 * [enter]simplify:  Simplifying (/ (cbrt (- 1 x)) (sqrt (sqrt (+ 1 x))))
1545130732.195 * * [misc]simplify:  iters left: 6 (8 enodes)
1545130732.196 * * [misc]simplify:  iters left: 5 (13 enodes)
1545130732.198 * * [misc]simplify:  iters left: 4 (14 enodes)
1545130732.200 * [exit]simplify:  Simplified to (/ (cbrt (- 1 x)) (sqrt (sqrt (+ x 1))))
1545130732.200 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) (/ (cbrt (- 1 x)) (sqrt (sqrt (+ x 1)))))))) 2))
1545130732.200 * * * * [misc]progress:  [ 16 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt 1)) (/ (cbrt (- 1 x)) (sqrt (+ 1 x))))))) 2))>
1545130732.200 * [enter]simplify:  Simplifying (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt 1))
1545130732.200 * * [misc]simplify:  iters left: 6 (7 enodes)
1545130732.202 * * [misc]simplify:  iters left: 5 (13 enodes)
1545130732.203 * * [misc]simplify:  iters left: 4 (16 enodes)
1545130732.205 * * [misc]simplify:  iters left: 3 (20 enodes)
1545130732.209 * * [misc]simplify:  iters left: 2 (35 enodes)
1545130732.214 * * [misc]simplify:  iters left: 1 (36 enodes)
1545130732.219 * [exit]simplify:  Simplified to (* (cbrt (- 1 x)) (cbrt (- 1 x)))
1545130732.219 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (* (cbrt (- 1 x)) (cbrt (- 1 x))) (/ (cbrt (- 1 x)) (sqrt (+ 1 x))))))) 2))
1545130732.219 * [enter]simplify:  Simplifying (/ (cbrt (- 1 x)) (sqrt (+ 1 x)))
1545130732.219 * * [misc]simplify:  iters left: 5 (7 enodes)
1545130732.222 * * [misc]simplify:  iters left: 4 (12 enodes)
1545130732.225 * * [misc]simplify:  iters left: 3 (13 enodes)
1545130732.228 * [exit]simplify:  Simplified to (/ (cbrt (- 1 x)) (sqrt (+ x 1)))
1545130732.228 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (* (cbrt (- 1 x)) (cbrt (- 1 x))) (/ (cbrt (- 1 x)) (sqrt (+ x 1))))))) 2))
1545130732.228 * * * * [misc]progress:  [ 17 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) (/ (cbrt (- 1 x)) (sqrt (sqrt (+ 1 x)))))))) 2))>
1545130732.229 * [enter]simplify:  Simplifying (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (sqrt (+ 1 x))))
1545130732.229 * * [misc]simplify:  iters left: 6 (9 enodes)
1545130732.232 * * [misc]simplify:  iters left: 5 (16 enodes)
1545130732.236 * * [misc]simplify:  iters left: 4 (19 enodes)
1545130732.241 * * [misc]simplify:  iters left: 3 (20 enodes)
1545130732.246 * [exit]simplify:  Simplified to (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (sqrt (+ x 1))))
1545130732.246 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (sqrt (+ x 1)))) (/ (cbrt (- 1 x)) (sqrt (sqrt (+ 1 x)))))))) 2))
1545130732.246 * [enter]simplify:  Simplifying (/ (cbrt (- 1 x)) (sqrt (sqrt (+ 1 x))))
1545130732.247 * * [misc]simplify:  iters left: 6 (8 enodes)
1545130732.251 * * [misc]simplify:  iters left: 5 (13 enodes)
1545130732.254 * * [misc]simplify:  iters left: 4 (14 enodes)
1545130732.258 * [exit]simplify:  Simplified to (/ (cbrt (- 1 x)) (sqrt (sqrt (+ x 1))))
1545130732.258 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (sqrt (+ 1 x)))) (/ (cbrt (- 1 x)) (sqrt (sqrt (+ x 1)))))))) 2))
1545130732.258 * * * * [misc]progress:  [ 18 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1) (/ (cbrt (- 1 x)) (sqrt (+ 1 x))))))) 2))>
1545130732.258 * [enter]simplify:  Simplifying (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1)
1545130732.258 * * [misc]simplify:  iters left: 6 (6 enodes)
1545130732.265 * * [misc]simplify:  iters left: 5 (12 enodes)
1545130732.269 * * [misc]simplify:  iters left: 4 (19 enodes)
1545130732.273 * * [misc]simplify:  iters left: 3 (21 enodes)
1545130732.278 * * [misc]simplify:  iters left: 2 (26 enodes)
1545130732.284 * [exit]simplify:  Simplified to (* (cbrt (- 1 x)) (cbrt (- 1 x)))
1545130732.284 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (* (cbrt (- 1 x)) (cbrt (- 1 x))) (/ (cbrt (- 1 x)) (sqrt (+ 1 x))))))) 2))
1545130732.284 * [enter]simplify:  Simplifying (/ (cbrt (- 1 x)) (sqrt (+ 1 x)))
1545130732.284 * * [misc]simplify:  iters left: 5 (7 enodes)
1545130732.286 * * [misc]simplify:  iters left: 4 (12 enodes)
1545130732.289 * * [misc]simplify:  iters left: 3 (13 enodes)
1545130732.292 * [exit]simplify:  Simplified to (/ (cbrt (- 1 x)) (sqrt (+ x 1)))
1545130732.292 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (* (cbrt (- 1 x)) (cbrt (- 1 x))) (/ (cbrt (- 1 x)) (sqrt (+ x 1))))))) 2))
1545130732.293 * * * * [misc]progress:  [ 19 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ (sqrt (- 1 x)) (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (/ (sqrt (- 1 x)) (cbrt (sqrt (+ 1 x)))))))) 2))>
1545130732.293 * [enter]simplify:  Simplifying (/ (sqrt (- 1 x)) (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x)))))
1545130732.293 * * [misc]simplify:  iters left: 6 (9 enodes)
1545130732.296 * * [misc]simplify:  iters left: 5 (16 enodes)
1545130732.298 * * [misc]simplify:  iters left: 4 (17 enodes)
1545130732.300 * [exit]simplify:  Simplified to (/ (sqrt (- 1 x)) (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1)))))
1545130732.300 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ (sqrt (- 1 x)) (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))) (/ (sqrt (- 1 x)) (cbrt (sqrt (+ 1 x)))))))) 2))
1545130732.300 * [enter]simplify:  Simplifying (/ (sqrt (- 1 x)) (cbrt (sqrt (+ 1 x))))
1545130732.300 * * [misc]simplify:  iters left: 6 (8 enodes)
1545130732.302 * * [misc]simplify:  iters left: 5 (13 enodes)
1545130732.303 * * [misc]simplify:  iters left: 4 (14 enodes)
1545130732.305 * [exit]simplify:  Simplified to (/ (sqrt (- 1 x)) (cbrt (sqrt (+ x 1))))
1545130732.305 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ (sqrt (- 1 x)) (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (/ (sqrt (- 1 x)) (cbrt (sqrt (+ x 1)))))))) 2))
1545130732.305 * * * * [misc]progress:  [ 20 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ (sqrt (- 1 x)) (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) (/ (sqrt (- 1 x)) (sqrt (cbrt (+ 1 x)))))))) 2))>
1545130732.306 * [enter]simplify:  Simplifying (/ (sqrt (- 1 x)) (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))))
1545130732.306 * * [misc]simplify:  iters left: 6 (9 enodes)
1545130732.307 * * [misc]simplify:  iters left: 5 (15 enodes)
1545130732.309 * * [misc]simplify:  iters left: 4 (16 enodes)
1545130732.311 * [exit]simplify:  Simplified to (/ (sqrt (- 1 x)) (fabs (cbrt (+ x 1))))
1545130732.311 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ (sqrt (- 1 x)) (fabs (cbrt (+ x 1)))) (/ (sqrt (- 1 x)) (sqrt (cbrt (+ 1 x)))))))) 2))
1545130732.311 * [enter]simplify:  Simplifying (/ (sqrt (- 1 x)) (sqrt (cbrt (+ 1 x))))
1545130732.311 * * [misc]simplify:  iters left: 6 (8 enodes)
1545130732.312 * * [misc]simplify:  iters left: 5 (13 enodes)
1545130732.314 * * [misc]simplify:  iters left: 4 (14 enodes)
1545130732.316 * [exit]simplify:  Simplified to (/ (sqrt (- 1 x)) (sqrt (cbrt (+ x 1))))
1545130732.316 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ (sqrt (- 1 x)) (fabs (cbrt (+ x 1)))) (/ (sqrt (- 1 x)) (sqrt (cbrt (+ x 1)))))))) 2))
1545130732.316 * * * * [misc]progress:  [ 21 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))) (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))))))) 2))>
1545130732.316 * [enter]simplify:  Simplifying (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x))))
1545130732.316 * * [misc]simplify:  iters left: 6 (8 enodes)
1545130732.317 * * [misc]simplify:  iters left: 5 (13 enodes)
1545130732.319 * * [misc]simplify:  iters left: 4 (14 enodes)
1545130732.321 * [exit]simplify:  Simplified to (/ (sqrt (- 1 x)) (sqrt (sqrt (+ x 1))))
1545130732.321 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ (sqrt (- 1 x)) (sqrt (sqrt (+ x 1)))) (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))))))) 2))
1545130732.321 * [enter]simplify:  Simplifying (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x))))
1545130732.321 * * [misc]simplify:  iters left: 6 (8 enodes)
1545130732.322 * * [misc]simplify:  iters left: 5 (13 enodes)
1545130732.325 * * [misc]simplify:  iters left: 4 (14 enodes)
1545130732.328 * [exit]simplify:  Simplified to (/ (sqrt (- 1 x)) (sqrt (sqrt (+ x 1))))
1545130732.328 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))) (/ (sqrt (- 1 x)) (sqrt (sqrt (+ x 1)))))))) 2))
1545130732.328 * * * * [misc]progress:  [ 22 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ (sqrt (- 1 x)) (sqrt 1)) (/ (sqrt (- 1 x)) (sqrt (+ 1 x))))))) 2))>
1545130732.329 * [enter]simplify:  Simplifying (/ (sqrt (- 1 x)) (sqrt 1))
1545130732.329 * * [misc]simplify:  iters left: 5 (6 enodes)
1545130732.331 * * [misc]simplify:  iters left: 4 (10 enodes)
1545130732.334 * * [misc]simplify:  iters left: 3 (11 enodes)
1545130732.337 * * [misc]simplify:  iters left: 2 (13 enodes)
1545130732.339 * [exit]simplify:  Simplified to (sqrt (- 1 x))
1545130732.339 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (sqrt (- 1 x)) (/ (sqrt (- 1 x)) (sqrt (+ 1 x))))))) 2))
1545130732.339 * [enter]simplify:  Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))
1545130732.339 * * [misc]simplify:  iters left: 5 (7 enodes)
1545130732.340 * * [misc]simplify:  iters left: 4 (12 enodes)
1545130732.342 * * [misc]simplify:  iters left: 3 (13 enodes)
1545130732.344 * [exit]simplify:  Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1)))
1545130732.344 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (sqrt (- 1 x)) (/ (sqrt (- 1 x)) (sqrt (+ x 1))))))) 2))
1545130732.344 * * * * [misc]progress:  [ 23 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))) (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))))))) 2))>
1545130732.344 * [enter]simplify:  Simplifying (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x))))
1545130732.344 * * [misc]simplify:  iters left: 6 (8 enodes)
1545130732.345 * * [misc]simplify:  iters left: 5 (13 enodes)
1545130732.347 * * [misc]simplify:  iters left: 4 (14 enodes)
1545130732.349 * [exit]simplify:  Simplified to (/ (sqrt (- 1 x)) (sqrt (sqrt (+ x 1))))
1545130732.349 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ (sqrt (- 1 x)) (sqrt (sqrt (+ x 1)))) (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))))))) 2))
1545130732.349 * [enter]simplify:  Simplifying (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x))))
1545130732.349 * * [misc]simplify:  iters left: 6 (8 enodes)
1545130732.350 * * [misc]simplify:  iters left: 5 (13 enodes)
1545130732.352 * * [misc]simplify:  iters left: 4 (14 enodes)
1545130732.354 * [exit]simplify:  Simplified to (/ (sqrt (- 1 x)) (sqrt (sqrt (+ x 1))))
1545130732.354 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ (sqrt (- 1 x)) (sqrt (sqrt (+ 1 x)))) (/ (sqrt (- 1 x)) (sqrt (sqrt (+ x 1)))))))) 2))
1545130732.354 * * * * [misc]progress:  [ 24 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ (sqrt (- 1 x)) 1) (/ (sqrt (- 1 x)) (sqrt (+ 1 x))))))) 2))>
1545130732.354 * [enter]simplify:  Simplifying (/ (sqrt (- 1 x)) 1)
1545130732.354 * * [misc]simplify:  iters left: 5 (5 enodes)
1545130732.355 * * [misc]simplify:  iters left: 4 (9 enodes)
1545130732.356 * * [misc]simplify:  iters left: 3 (12 enodes)
1545130732.358 * [exit]simplify:  Simplified to (sqrt (- 1 x))
1545130732.358 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (sqrt (- 1 x)) (/ (sqrt (- 1 x)) (sqrt (+ 1 x))))))) 2))
1545130732.358 * [enter]simplify:  Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))
1545130732.358 * * [misc]simplify:  iters left: 5 (7 enodes)
1545130732.359 * * [misc]simplify:  iters left: 4 (12 enodes)
1545130732.361 * * [misc]simplify:  iters left: 3 (13 enodes)
1545130732.363 * [exit]simplify:  Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1)))
1545130732.363 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (sqrt (- 1 x)) (/ (sqrt (- 1 x)) (sqrt (+ x 1))))))) 2))
1545130732.363 * * * * [misc]progress:  [ 25 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ 1 (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (/ (- 1 x) (cbrt (sqrt (+ 1 x)))))))) 2))>
1545130732.363 * [enter]simplify:  Simplifying (/ 1 (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x)))))
1545130732.363 * * [misc]simplify:  iters left: 6 (7 enodes)
1545130732.364 * * [misc]simplify:  iters left: 5 (12 enodes)
1545130732.367 * [exit]simplify:  Simplified to (/ (/ 1 (cbrt (sqrt (+ x 1)))) (cbrt (sqrt (+ x 1))))
1545130732.367 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ (/ 1 (cbrt (sqrt (+ x 1)))) (cbrt (sqrt (+ x 1)))) (/ (- 1 x) (cbrt (sqrt (+ 1 x)))))))) 2))
1545130732.367 * [enter]simplify:  Simplifying (/ (- 1 x) (cbrt (sqrt (+ 1 x))))
1545130732.367 * * [misc]simplify:  iters left: 6 (7 enodes)
1545130732.368 * * [misc]simplify:  iters left: 5 (15 enodes)
1545130732.370 * * [misc]simplify:  iters left: 4 (18 enodes)
1545130732.373 * * [misc]simplify:  iters left: 3 (20 enodes)
1545130732.378 * [exit]simplify:  Simplified to (/ (- 1 x) (cbrt (sqrt (+ x 1))))
1545130732.379 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ 1 (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (/ (- 1 x) (cbrt (sqrt (+ x 1)))))))) 2))
1545130732.379 * * * * [misc]progress:  [ 26 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ 1 (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) (/ (- 1 x) (sqrt (cbrt (+ 1 x)))))))) 2))>
1545130732.379 * [enter]simplify:  Simplifying (/ 1 (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))))
1545130732.379 * * [misc]simplify:  iters left: 6 (7 enodes)
1545130732.381 * * [misc]simplify:  iters left: 5 (11 enodes)
1545130732.384 * [exit]simplify:  Simplified to (/ 1 (fabs (cbrt (+ x 1))))
1545130732.384 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ 1 (fabs (cbrt (+ x 1)))) (/ (- 1 x) (sqrt (cbrt (+ 1 x)))))))) 2))
1545130732.384 * [enter]simplify:  Simplifying (/ (- 1 x) (sqrt (cbrt (+ 1 x))))
1545130732.385 * * [misc]simplify:  iters left: 6 (7 enodes)
1545130732.387 * * [misc]simplify:  iters left: 5 (15 enodes)
1545130732.391 * * [misc]simplify:  iters left: 4 (18 enodes)
1545130732.395 * * [misc]simplify:  iters left: 3 (20 enodes)
1545130732.400 * [exit]simplify:  Simplified to (/ (- 1 x) (sqrt (cbrt (+ x 1))))
1545130732.400 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ 1 (fabs (cbrt (+ x 1)))) (/ (- 1 x) (sqrt (cbrt (+ x 1)))))))) 2))
1545130732.400 * * * * [misc]progress:  [ 27 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ 1 (sqrt (sqrt (+ 1 x)))) (/ (- 1 x) (sqrt (sqrt (+ 1 x)))))))) 2))>
1545130732.400 * [enter]simplify:  Simplifying (/ 1 (sqrt (sqrt (+ 1 x))))
1545130732.400 * * [misc]simplify:  iters left: 6 (6 enodes)
1545130732.401 * * [misc]simplify:  iters left: 5 (9 enodes)
1545130732.403 * [exit]simplify:  Simplified to (/ 1 (sqrt (sqrt (+ x 1))))
1545130732.403 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ 1 (sqrt (sqrt (+ x 1)))) (/ (- 1 x) (sqrt (sqrt (+ 1 x)))))))) 2))
1545130732.403 * [enter]simplify:  Simplifying (/ (- 1 x) (sqrt (sqrt (+ 1 x))))
1545130732.403 * * [misc]simplify:  iters left: 6 (7 enodes)
1545130732.404 * * [misc]simplify:  iters left: 5 (15 enodes)
1545130732.407 * * [misc]simplify:  iters left: 4 (18 enodes)
1545130732.409 * * [misc]simplify:  iters left: 3 (20 enodes)
1545130732.412 * [exit]simplify:  Simplified to (/ (- 1 x) (sqrt (sqrt (+ x 1))))
1545130732.412 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ 1 (sqrt (sqrt (+ 1 x)))) (/ (- 1 x) (sqrt (sqrt (+ x 1)))))))) 2))
1545130732.412 * * * * [misc]progress:  [ 28 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ 1 (sqrt 1)) (/ (- 1 x) (sqrt (+ 1 x))))))) 2))>
1545130732.412 * [enter]simplify:  Simplifying (/ 1 (sqrt 1))
1545130732.412 * * [misc]simplify:  iters left: 3 (3 enodes)
1545130732.413 * * [misc]simplify:  iters left: 2 (5 enodes)
1545130732.414 * [exit]simplify:  Simplified to 1
1545130732.414 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* 1 (/ (- 1 x) (sqrt (+ 1 x))))))) 2))
1545130732.414 * [enter]simplify:  Simplifying (/ (- 1 x) (sqrt (+ 1 x)))
1545130732.414 * * [misc]simplify:  iters left: 5 (6 enodes)
1545130732.415 * * [misc]simplify:  iters left: 4 (14 enodes)
1545130732.417 * * [misc]simplify:  iters left: 3 (17 enodes)
1545130732.419 * * [misc]simplify:  iters left: 2 (19 enodes)
1545130732.421 * [exit]simplify:  Simplified to (/ (- 1 x) (sqrt (+ x 1)))
1545130732.421 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* 1 (/ (- 1 x) (sqrt (+ x 1))))))) 2))
1545130732.421 * * * * [misc]progress:  [ 29 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ 1 (sqrt (sqrt (+ 1 x)))) (/ (- 1 x) (sqrt (sqrt (+ 1 x)))))))) 2))>
1545130732.421 * [enter]simplify:  Simplifying (/ 1 (sqrt (sqrt (+ 1 x))))
1545130732.421 * * [misc]simplify:  iters left: 6 (6 enodes)
1545130732.422 * * [misc]simplify:  iters left: 5 (9 enodes)
1545130732.423 * [exit]simplify:  Simplified to (/ 1 (sqrt (sqrt (+ x 1))))
1545130732.423 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ 1 (sqrt (sqrt (+ x 1)))) (/ (- 1 x) (sqrt (sqrt (+ 1 x)))))))) 2))
1545130732.424 * [enter]simplify:  Simplifying (/ (- 1 x) (sqrt (sqrt (+ 1 x))))
1545130732.424 * * [misc]simplify:  iters left: 6 (7 enodes)
1545130732.425 * * [misc]simplify:  iters left: 5 (15 enodes)
1545130732.427 * * [misc]simplify:  iters left: 4 (18 enodes)
1545130732.429 * * [misc]simplify:  iters left: 3 (20 enodes)
1545130732.431 * [exit]simplify:  Simplified to (/ (- 1 x) (sqrt (sqrt (+ x 1))))
1545130732.431 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ 1 (sqrt (sqrt (+ 1 x)))) (/ (- 1 x) (sqrt (sqrt (+ x 1)))))))) 2))
1545130732.431 * * * * [misc]progress:  [ 30 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ 1 1) (/ (- 1 x) (sqrt (+ 1 x))))))) 2))>
1545130732.432 * [enter]simplify:  Simplifying (/ 1 1)
1545130732.432 * * [misc]simplify:  iters left: 2 (2 enodes)
1545130732.432 * * [misc]simplify:  iters left: 1 (4 enodes)
1545130732.432 * [exit]simplify:  Simplified to 1
1545130732.432 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* 1 (/ (- 1 x) (sqrt (+ 1 x))))))) 2))
1545130732.432 * [enter]simplify:  Simplifying (/ (- 1 x) (sqrt (+ 1 x)))
1545130732.432 * * [misc]simplify:  iters left: 5 (6 enodes)
1545130732.434 * * [misc]simplify:  iters left: 4 (14 enodes)
1545130732.435 * * [misc]simplify:  iters left: 3 (17 enodes)
1545130732.437 * * [misc]simplify:  iters left: 2 (19 enodes)
1545130732.440 * [exit]simplify:  Simplified to (/ (- 1 x) (sqrt (+ x 1)))
1545130732.440 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* 1 (/ (- 1 x) (sqrt (+ x 1))))))) 2))
1545130732.440 * * * * [misc]progress:  [ 31 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* 1 (/ (- 1 x) (sqrt (+ 1 x))))))) 2))>
1545130732.440 * * * * [misc]progress:  [ 32 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (- 1 x) (/ 1 (sqrt (+ 1 x))))))) 2))>
1545130732.440 * * * * [misc]progress:  [ 33 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ 1 (/ (sqrt (+ 1 x)) (- 1 x)))))) 2))>
1545130732.440 * * * * [misc]progress:  [ 34 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (/ (- 1 x) (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (cbrt (sqrt (+ 1 x))))))) 2))>
1545130732.440 * [enter]simplify:  Simplifying (cbrt (sqrt (+ 1 x)))
1545130732.440 * * [misc]simplify:  iters left: 4 (5 enodes)
1545130732.441 * * [misc]simplify:  iters left: 3 (8 enodes)
1545130732.442 * [exit]simplify:  Simplified to (cbrt (sqrt (+ x 1)))
1545130732.442 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (/ (- 1 x) (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (cbrt (sqrt (+ x 1))))))) 2))
1545130732.442 * * * * [misc]progress:  [ 35 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (/ (- 1 x) (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) (sqrt (cbrt (+ 1 x))))))) 2))>
1545130732.442 * [enter]simplify:  Simplifying (sqrt (cbrt (+ 1 x)))
1545130732.442 * * [misc]simplify:  iters left: 4 (5 enodes)
1545130732.443 * * [misc]simplify:  iters left: 3 (8 enodes)
1545130732.444 * [exit]simplify:  Simplified to (sqrt (cbrt (+ x 1)))
1545130732.444 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (/ (- 1 x) (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) (sqrt (cbrt (+ x 1))))))) 2))
1545130732.444 * * * * [misc]progress:  [ 36 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (/ (- 1 x) (sqrt (sqrt (+ 1 x)))) (sqrt (sqrt (+ 1 x))))))) 2))>
1545130732.444 * [enter]simplify:  Simplifying (sqrt (sqrt (+ 1 x)))
1545130732.444 * * [misc]simplify:  iters left: 4 (5 enodes)
1545130732.445 * * [misc]simplify:  iters left: 3 (8 enodes)
1545130732.446 * [exit]simplify:  Simplified to (sqrt (sqrt (+ x 1)))
1545130732.446 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (/ (- 1 x) (sqrt (sqrt (+ 1 x)))) (sqrt (sqrt (+ x 1))))))) 2))
1545130732.446 * * * * [misc]progress:  [ 37 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (/ (- 1 x) (sqrt 1)) (sqrt (+ 1 x)))))) 2))>
1545130732.446 * [enter]simplify:  Simplifying (sqrt (+ 1 x))
1545130732.446 * * [misc]simplify:  iters left: 3 (4 enodes)
1545130732.447 * * [misc]simplify:  iters left: 2 (7 enodes)
1545130732.447 * [exit]simplify:  Simplified to (sqrt (+ x 1))
1545130732.447 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (/ (- 1 x) (sqrt 1)) (sqrt (+ x 1)))))) 2))
1545130732.447 * * * * [misc]progress:  [ 38 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (/ (- 1 x) (sqrt (sqrt (+ 1 x)))) (sqrt (sqrt (+ 1 x))))))) 2))>
1545130732.448 * [enter]simplify:  Simplifying (sqrt (sqrt (+ 1 x)))
1545130732.448 * * [misc]simplify:  iters left: 4 (5 enodes)
1545130732.448 * * [misc]simplify:  iters left: 3 (8 enodes)
1545130732.449 * [exit]simplify:  Simplified to (sqrt (sqrt (+ x 1)))
1545130732.449 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (/ (- 1 x) (sqrt (sqrt (+ 1 x)))) (sqrt (sqrt (+ x 1))))))) 2))
1545130732.449 * * * * [misc]progress:  [ 39 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (/ (- 1 x) 1) (sqrt (+ 1 x)))))) 2))>
1545130732.449 * [enter]simplify:  Simplifying (sqrt (+ 1 x))
1545130732.449 * * [misc]simplify:  iters left: 3 (4 enodes)
1545130732.450 * * [misc]simplify:  iters left: 2 (7 enodes)
1545130732.451 * [exit]simplify:  Simplified to (sqrt (+ x 1))
1545130732.451 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (/ (- 1 x) 1) (sqrt (+ x 1)))))) 2))
1545130732.451 * * * * [misc]progress:  [ 40 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (/ (sqrt (+ 1 x)) (cbrt (- 1 x))))))) 2))>
1545130732.451 * [enter]simplify:  Simplifying (* (cbrt (- 1 x)) (cbrt (- 1 x)))
1545130732.451 * * [misc]simplify:  iters left: 5 (5 enodes)
1545130732.453 * * [misc]simplify:  iters left: 4 (9 enodes)
1545130732.454 * * [misc]simplify:  iters left: 3 (10 enodes)
1545130732.455 * [exit]simplify:  Simplified to (* (cbrt (- 1 x)) (cbrt (- 1 x)))
1545130732.455 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (/ (sqrt (+ 1 x)) (cbrt (- 1 x))))))) 2))
1545130732.455 * * * * [misc]progress:  [ 41 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (sqrt (- 1 x)) (/ (sqrt (+ 1 x)) (sqrt (- 1 x))))))) 2))>
1545130732.456 * [enter]simplify:  Simplifying (sqrt (- 1 x))
1545130732.456 * * [misc]simplify:  iters left: 3 (4 enodes)
1545130732.456 * * [misc]simplify:  iters left: 2 (8 enodes)
1545130732.457 * * [misc]simplify:  iters left: 1 (9 enodes)
1545130732.458 * [exit]simplify:  Simplified to (sqrt (- 1 x))
1545130732.458 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (sqrt (- 1 x)) (/ (sqrt (+ 1 x)) (sqrt (- 1 x))))))) 2))
1545130732.458 * * * * [misc]progress:  [ 42 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ 1 (/ (sqrt (+ 1 x)) (- 1 x)))))) 2))>
1545130732.458 * * * * [misc]progress:  [ 43 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ (- 1 x) (sqrt (+ (pow 1 3) (pow x 3)))) (sqrt (+ (* 1 1) (- (* x x) (* 1 x)))))))) 2))>
1545130732.459 * [enter]simplify:  Simplifying (sqrt (+ (* 1 1) (- (* x x) (* 1 x))))
1545130732.459 * * [misc]simplify:  iters left: 6 (8 enodes)
1545130732.460 * * [misc]simplify:  iters left: 5 (18 enodes)
1545130732.463 * * [misc]simplify:  iters left: 4 (29 enodes)
1545130732.471 * * [misc]simplify:  iters left: 3 (51 enodes)
1545130732.488 * * [misc]simplify:  iters left: 2 (68 enodes)
1545130732.507 * * [misc]simplify:  iters left: 1 (95 enodes)
1545130732.535 * [exit]simplify:  Simplified to (sqrt (fma x x (- 1 x)))
1545130732.535 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ (- 1 x) (sqrt (+ (pow 1 3) (pow x 3)))) (sqrt (fma x x (- 1 x))))))) 2))
1545130732.535 * * * * [misc]progress:  [ 44 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ (- 1 x) (sqrt (- (* 1 1) (* x x)))) (sqrt (- 1 x)))))) 2))>
1545130732.536 * [enter]simplify:  Simplifying (sqrt (- 1 x))
1545130732.536 * * [misc]simplify:  iters left: 3 (4 enodes)
1545130732.537 * * [misc]simplify:  iters left: 2 (8 enodes)
1545130732.539 * * [misc]simplify:  iters left: 1 (9 enodes)
1545130732.541 * [exit]simplify:  Simplified to (sqrt (- 1 x))
1545130732.541 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (* (/ (- 1 x) (sqrt (- (* 1 1) (* x x)))) (sqrt (- 1 x)))))) 2))
1545130732.541 * * * * [misc]progress:  [ 45 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- (pow 1 3) (pow x 3)) (* (sqrt (+ 1 x)) (+ (* 1 1) (+ (* x x) (* 1 x)))))))) 2))>
1545130732.541 * [enter]simplify:  Simplifying (- (pow 1 3) (pow x 3))
1545130732.541 * * [misc]simplify:  iters left: 3 (6 enodes)
1545130732.544 * * [misc]simplify:  iters left: 2 (15 enodes)
1545130732.547 * * [misc]simplify:  iters left: 1 (22 enodes)
1545130732.552 * [exit]simplify:  Simplified to (fma (- x) (* x x) 1)
1545130732.552 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (fma (- x) (* x x) 1) (* (sqrt (+ 1 x)) (+ (* 1 1) (+ (* x x) (* 1 x)))))))) 2))
1545130732.552 * * * * [misc]progress:  [ 46 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- (* 1 1) (* x x)) (* (sqrt (+ 1 x)) (+ 1 x)))))) 2))>
1545130732.553 * [enter]simplify:  Simplifying (- (* 1 1) (* x x))
1545130732.553 * * [misc]simplify:  iters left: 4 (5 enodes)
1545130732.555 * * [misc]simplify:  iters left: 3 (10 enodes)
1545130732.557 * * [misc]simplify:  iters left: 2 (14 enodes)
1545130732.561 * * [misc]simplify:  iters left: 1 (16 enodes)
1545130732.565 * [exit]simplify:  Simplified to (- 1 (* x x))
1545130732.565 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 (* x x)) (* (sqrt (+ 1 x)) (+ 1 x)))))) 2))
1545130732.565 * * * * [misc]progress:  [ 47 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (log1p (expm1 (sqrt (+ 1 x)))))))) 2))>
1545130732.565 * * * * [misc]progress:  [ 48 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (expm1 (log1p (sqrt (+ 1 x)))))))) 2))>
1545130732.565 * * * * [misc]progress:  [ 49 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (pow (+ 1 x) 1/2))))) 2))>
1545130732.565 * * * * [misc]progress:  [ 50 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (pow (sqrt (+ 1 x)) 1))))) 2))>
1545130732.565 * * * * [misc]progress:  [ 51 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (exp (log (sqrt (+ 1 x)))))))) 2))>
1545130732.565 * * * * [misc]progress:  [ 52 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (log (exp (sqrt (+ 1 x)))))))) 2))>
1545130732.565 * * * * [misc]progress:  [ 53 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (* (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x)))) (cbrt (sqrt (+ 1 x)))))))) 2))>
1545130732.565 * * * * [misc]progress:  [ 54 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (cbrt (* (* (sqrt (+ 1 x)) (sqrt (+ 1 x))) (sqrt (+ 1 x)))))))) 2))>
1545130732.565 * * * * [misc]progress:  [ 55 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (* (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (sqrt (cbrt (+ 1 x)))))))) 2))>
1545130732.566 * [enter]simplify:  Simplifying (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))
1545130732.566 * * [misc]simplify:  iters left: 6 (6 enodes)
1545130732.568 * * [misc]simplify:  iters left: 5 (10 enodes)
1545130732.571 * [exit]simplify:  Simplified to (fabs (cbrt (+ x 1)))
1545130732.571 * [misc]simplify:  Simplified (2 1 1 2 1 2 1) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (* (fabs (cbrt (+ x 1))) (sqrt (cbrt (+ 1 x)))))))) 2))
1545130732.571 * * * * [misc]progress:  [ 56 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (* (sqrt (sqrt (+ 1 x))) (sqrt (sqrt (+ 1 x)))))))) 2))>
1545130732.571 * [enter]simplify:  Simplifying (sqrt (sqrt (+ 1 x)))
1545130732.571 * * [misc]simplify:  iters left: 4 (5 enodes)
1545130732.572 * * [misc]simplify:  iters left: 3 (8 enodes)
1545130732.574 * [exit]simplify:  Simplified to (sqrt (sqrt (+ x 1)))
1545130732.575 * [misc]simplify:  Simplified (2 1 1 2 1 2 1) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (+ 1 x)))))))) 2))
1545130732.575 * * * * [misc]progress:  [ 57 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (* (sqrt 1) (sqrt (+ 1 x))))))) 2))>
1545130732.575 * [enter]simplify:  Simplifying (sqrt 1)
1545130732.575 * * [misc]simplify:  iters left: 1 (2 enodes)
1545130732.576 * [exit]simplify:  Simplified to 1
1545130732.576 * [misc]simplify:  Simplified (2 1 1 2 1 2 1) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (* 1 (sqrt (+ 1 x))))))) 2))
1545130732.576 * * * * [misc]progress:  [ 58 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (/ (sqrt (+ (pow 1 3) (pow x 3))) (sqrt (+ (* 1 1) (- (* x x) (* 1 x))))))))) 2))>
1545130732.577 * [enter]simplify:  Simplifying (sqrt (+ (pow 1 3) (pow x 3)))
1545130732.577 * * [misc]simplify:  iters left: 4 (7 enodes)
1545130732.580 * * [misc]simplify:  iters left: 3 (15 enodes)
1545130732.585 * * [misc]simplify:  iters left: 2 (17 enodes)
1545130732.588 * [exit]simplify:  Simplified to (sqrt (fma x (* x x) 1))
1545130732.588 * [misc]simplify:  Simplified (2 1 1 2 1 2 1) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (/ (sqrt (fma x (* x x) 1)) (sqrt (+ (* 1 1) (- (* x x) (* 1 x))))))))) 2))
1545130732.588 * * * * [misc]progress:  [ 59 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (/ (sqrt (- (* 1 1) (* x x))) (sqrt (- 1 x))))))) 2))>
1545130732.589 * [enter]simplify:  Simplifying (sqrt (- (* 1 1) (* x x)))
1545130732.589 * * [misc]simplify:  iters left: 5 (6 enodes)
1545130732.591 * * [misc]simplify:  iters left: 4 (11 enodes)
1545130732.594 * * [misc]simplify:  iters left: 3 (15 enodes)
1545130732.597 * * [misc]simplify:  iters left: 2 (17 enodes)
1545130732.601 * [exit]simplify:  Simplified to (sqrt (- 1 (* x x)))
1545130732.601 * [misc]simplify:  Simplified (2 1 1 2 1 2 1) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (/ (sqrt (- 1 (* x x))) (sqrt (- 1 x))))))) 2))
1545130732.601 * * * * [misc]progress:  [ 60 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (* (sqrt (sqrt (+ 1 x))) (sqrt (sqrt (+ 1 x)))))))) 2))>
1545130732.602 * * * * [misc]progress:  [ 61 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (fabs (sqrt (+ 1 x))))))) 2))>
1545130732.602 * [enter]simplify:  Simplifying (sqrt (+ 1 x))
1545130732.602 * * [misc]simplify:  iters left: 3 (4 enodes)
1545130732.603 * * [misc]simplify:  iters left: 2 (7 enodes)
1545130732.605 * [exit]simplify:  Simplified to (sqrt (+ x 1))
1545130732.605 * [misc]simplify:  Simplified (2 1 1 2 1 2 1) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (fabs (sqrt (+ x 1))))))) 2))
1545130732.605 * * * * [misc]progress:  [ 62 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (* 1 (sqrt (+ 1 x))))))) 2))>
1545130732.605 * * * * [misc]progress:  [ 63 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (log1p (expm1 (sqrt (+ 1 x)))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.605 * * * * [misc]progress:  [ 64 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (expm1 (log1p (sqrt (+ 1 x)))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.606 * * * * [misc]progress:  [ 65 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (pow (+ 1 x) 1/2))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.606 * * * * [misc]progress:  [ 66 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (pow (sqrt (+ 1 x)) 1))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.606 * * * * [misc]progress:  [ 67 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (exp (log (sqrt (+ 1 x)))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.606 * * * * [misc]progress:  [ 68 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (log (exp (sqrt (+ 1 x)))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.606 * * * * [misc]progress:  [ 69 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (* (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x)))) (cbrt (sqrt (+ 1 x)))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.606 * * * * [misc]progress:  [ 70 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (cbrt (* (* (sqrt (+ 1 x)) (sqrt (+ 1 x))) (sqrt (+ 1 x)))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.606 * * * * [misc]progress:  [ 71 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (* (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (sqrt (cbrt (+ 1 x)))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.606 * [enter]simplify:  Simplifying (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))
1545130732.606 * * [misc]simplify:  iters left: 6 (6 enodes)
1545130732.608 * * [misc]simplify:  iters left: 5 (10 enodes)
1545130732.611 * [exit]simplify:  Simplified to (fabs (cbrt (+ x 1)))
1545130732.611 * [misc]simplify:  Simplified (2 1 1 1 1 2 1) to (λ (x) (* (atan (* (sqrt (/ 1 (* (fabs (cbrt (+ x 1))) (sqrt (cbrt (+ 1 x)))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))
1545130732.611 * * * * [misc]progress:  [ 72 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (* (sqrt (sqrt (+ 1 x))) (sqrt (sqrt (+ 1 x)))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.611 * [enter]simplify:  Simplifying (sqrt (sqrt (+ 1 x)))
1545130732.611 * * [misc]simplify:  iters left: 4 (5 enodes)
1545130732.612 * * [misc]simplify:  iters left: 3 (8 enodes)
1545130732.613 * [exit]simplify:  Simplified to (sqrt (sqrt (+ x 1)))
1545130732.613 * [misc]simplify:  Simplified (2 1 1 1 1 2 1) to (λ (x) (* (atan (* (sqrt (/ 1 (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (+ 1 x)))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))
1545130732.613 * * * * [misc]progress:  [ 73 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (* (sqrt 1) (sqrt (+ 1 x))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.613 * [enter]simplify:  Simplifying (sqrt 1)
1545130732.613 * * [misc]simplify:  iters left: 1 (2 enodes)
1545130732.614 * [exit]simplify:  Simplified to 1
1545130732.614 * [misc]simplify:  Simplified (2 1 1 1 1 2 1) to (λ (x) (* (atan (* (sqrt (/ 1 (* 1 (sqrt (+ 1 x))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))
1545130732.614 * * * * [misc]progress:  [ 74 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (/ (sqrt (+ (pow 1 3) (pow x 3))) (sqrt (+ (* 1 1) (- (* x x) (* 1 x))))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.614 * [enter]simplify:  Simplifying (sqrt (+ (pow 1 3) (pow x 3)))
1545130732.614 * * [misc]simplify:  iters left: 4 (7 enodes)
1545130732.616 * * [misc]simplify:  iters left: 3 (15 enodes)
1545130732.618 * * [misc]simplify:  iters left: 2 (17 enodes)
1545130732.620 * [exit]simplify:  Simplified to (sqrt (fma x (* x x) 1))
1545130732.620 * [misc]simplify:  Simplified (2 1 1 1 1 2 1) to (λ (x) (* (atan (* (sqrt (/ 1 (/ (sqrt (fma x (* x x) 1)) (sqrt (+ (* 1 1) (- (* x x) (* 1 x))))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))
1545130732.620 * * * * [misc]progress:  [ 75 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (/ (sqrt (- (* 1 1) (* x x))) (sqrt (- 1 x))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.620 * [enter]simplify:  Simplifying (sqrt (- (* 1 1) (* x x)))
1545130732.620 * * [misc]simplify:  iters left: 5 (6 enodes)
1545130732.621 * * [misc]simplify:  iters left: 4 (11 enodes)
1545130732.622 * * [misc]simplify:  iters left: 3 (15 enodes)
1545130732.624 * * [misc]simplify:  iters left: 2 (17 enodes)
1545130732.626 * [exit]simplify:  Simplified to (sqrt (- 1 (* x x)))
1545130732.626 * [misc]simplify:  Simplified (2 1 1 1 1 2 1) to (λ (x) (* (atan (* (sqrt (/ 1 (/ (sqrt (- 1 (* x x))) (sqrt (- 1 x))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))
1545130732.626 * * * * [misc]progress:  [ 76 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (* (sqrt (sqrt (+ 1 x))) (sqrt (sqrt (+ 1 x)))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.626 * * * * [misc]progress:  [ 77 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (fabs (sqrt (+ 1 x))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.626 * [enter]simplify:  Simplifying (sqrt (+ 1 x))
1545130732.626 * * [misc]simplify:  iters left: 3 (4 enodes)
1545130732.627 * * [misc]simplify:  iters left: 2 (7 enodes)
1545130732.628 * [exit]simplify:  Simplified to (sqrt (+ x 1))
1545130732.628 * [misc]simplify:  Simplified (2 1 1 1 1 2 1) to (λ (x) (* (atan (* (sqrt (/ 1 (fabs (sqrt (+ x 1))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))
1545130732.628 * * * * [misc]progress:  [ 78 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (* 1 (sqrt (+ 1 x))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.628 * * * * [misc]progress:  [ 79 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (log1p (expm1 (/ 1 (sqrt (+ 1 x)))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.628 * * * * [misc]progress:  [ 80 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (expm1 (log1p (/ 1 (sqrt (+ 1 x)))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.628 * * * * [misc]progress:  [ 81 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (pow (sqrt (+ 1 x)) -1)) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.628 * * * * [misc]progress:  [ 82 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (pow (+ 1 x) (- 1/2))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.628 * [enter]simplify:  Simplifying (- 1/2)
1545130732.628 * * [misc]simplify:  iters left: 2 (2 enodes)
1545130732.629 * * [misc]simplify:  iters left: 1 (3 enodes)
1545130732.629 * [exit]simplify:  Simplified to -1/2
1545130732.629 * [misc]simplify:  Simplified (2 1 1 1 1 2) to (λ (x) (* (atan (* (sqrt (pow (+ 1 x) -1/2)) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))
1545130732.630 * * * * [misc]progress:  [ 83 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (pow (sqrt (+ 1 x)) (- 1))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.630 * [enter]simplify:  Simplifying (- 1)
1545130732.630 * * [misc]simplify:  iters left: 2 (2 enodes)
1545130732.630 * * [misc]simplify:  iters left: 1 (5 enodes)
1545130732.631 * [exit]simplify:  Simplified to -1
1545130732.631 * [misc]simplify:  Simplified (2 1 1 1 1 2) to (λ (x) (* (atan (* (sqrt (pow (sqrt (+ 1 x)) -1)) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))
1545130732.631 * * * * [misc]progress:  [ 84 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (pow (/ 1 (sqrt (+ 1 x))) 1)) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.631 * * * * [misc]progress:  [ 85 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (exp (- (log (sqrt (+ 1 x)))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.631 * * * * [misc]progress:  [ 86 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (exp (log (/ 1 (sqrt (+ 1 x)))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.631 * * * * [misc]progress:  [ 87 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (log (exp (/ 1 (sqrt (+ 1 x)))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.631 * * * * [misc]progress:  [ 88 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (* (* (cbrt (/ 1 (sqrt (+ 1 x)))) (cbrt (/ 1 (sqrt (+ 1 x))))) (cbrt (/ 1 (sqrt (+ 1 x)))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.631 * * * * [misc]progress:  [ 89 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (cbrt (* (* (/ 1 (sqrt (+ 1 x))) (/ 1 (sqrt (+ 1 x)))) (/ 1 (sqrt (+ 1 x)))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.631 * * * * [misc]progress:  [ 90 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ 1 (sqrt (+ 1 x)))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.631 * * * * [misc]progress:  [ 91 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ (- 1) (- (sqrt (+ 1 x))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.631 * * * * [misc]progress:  [ 92 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (* 1 (/ 1 (sqrt (+ 1 x))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.631 * * * * [misc]progress:  [ 93 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (* 1 (/ 1 (sqrt (+ 1 x))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.631 * * * * [misc]progress:  [ 94 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (/ (sqrt (+ 1 x)) 1))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.631 * * * * [misc]progress:  [ 95 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ (/ 1 (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (cbrt (sqrt (+ 1 x))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.632 * [enter]simplify:  Simplifying (cbrt (sqrt (+ 1 x)))
1545130732.632 * * [misc]simplify:  iters left: 4 (5 enodes)
1545130732.633 * * [misc]simplify:  iters left: 3 (8 enodes)
1545130732.635 * [exit]simplify:  Simplified to (cbrt (sqrt (+ x 1)))
1545130732.635 * [misc]simplify:  Simplified (2 1 1 1 1 2) to (λ (x) (* (atan (* (sqrt (/ (/ 1 (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (cbrt (sqrt (+ x 1))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))
1545130732.635 * * * * [misc]progress:  [ 96 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ (/ 1 (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) (sqrt (cbrt (+ 1 x))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.635 * [enter]simplify:  Simplifying (sqrt (cbrt (+ 1 x)))
1545130732.635 * * [misc]simplify:  iters left: 4 (5 enodes)
1545130732.636 * * [misc]simplify:  iters left: 3 (8 enodes)
1545130732.637 * [exit]simplify:  Simplified to (sqrt (cbrt (+ x 1)))
1545130732.637 * [misc]simplify:  Simplified (2 1 1 1 1 2) to (λ (x) (* (atan (* (sqrt (/ (/ 1 (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) (sqrt (cbrt (+ x 1))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))
1545130732.637 * * * * [misc]progress:  [ 97 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ (/ 1 (sqrt (sqrt (+ 1 x)))) (sqrt (sqrt (+ 1 x))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.637 * [enter]simplify:  Simplifying (sqrt (sqrt (+ 1 x)))
1545130732.637 * * [misc]simplify:  iters left: 4 (5 enodes)
1545130732.638 * * [misc]simplify:  iters left: 3 (8 enodes)
1545130732.639 * [exit]simplify:  Simplified to (sqrt (sqrt (+ x 1)))
1545130732.639 * [misc]simplify:  Simplified (2 1 1 1 1 2) to (λ (x) (* (atan (* (sqrt (/ (/ 1 (sqrt (sqrt (+ 1 x)))) (sqrt (sqrt (+ x 1))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))
1545130732.639 * * * * [misc]progress:  [ 98 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ (/ 1 (sqrt 1)) (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.639 * [enter]simplify:  Simplifying (sqrt (+ 1 x))
1545130732.639 * * [misc]simplify:  iters left: 3 (4 enodes)
1545130732.640 * * [misc]simplify:  iters left: 2 (7 enodes)
1545130732.641 * [exit]simplify:  Simplified to (sqrt (+ x 1))
1545130732.641 * [misc]simplify:  Simplified (2 1 1 1 1 2) to (λ (x) (* (atan (* (sqrt (/ (/ 1 (sqrt 1)) (sqrt (+ x 1)))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))
1545130732.641 * * * * [misc]progress:  [ 99 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ (/ 1 (sqrt (sqrt (+ 1 x)))) (sqrt (sqrt (+ 1 x))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.641 * [enter]simplify:  Simplifying (sqrt (sqrt (+ 1 x)))
1545130732.641 * * [misc]simplify:  iters left: 4 (5 enodes)
1545130732.642 * * [misc]simplify:  iters left: 3 (8 enodes)
1545130732.643 * [exit]simplify:  Simplified to (sqrt (sqrt (+ x 1)))
1545130732.643 * [misc]simplify:  Simplified (2 1 1 1 1 2) to (λ (x) (* (atan (* (sqrt (/ (/ 1 (sqrt (sqrt (+ 1 x)))) (sqrt (sqrt (+ x 1))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))
1545130732.643 * * * * [misc]progress:  [ 100 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ (/ 1 1) (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.643 * [enter]simplify:  Simplifying (sqrt (+ 1 x))
1545130732.643 * * [misc]simplify:  iters left: 3 (4 enodes)
1545130732.643 * * [misc]simplify:  iters left: 2 (7 enodes)
1545130732.644 * [exit]simplify:  Simplified to (sqrt (+ x 1))
1545130732.644 * [misc]simplify:  Simplified (2 1 1 1 1 2) to (λ (x) (* (atan (* (sqrt (/ (/ 1 1) (sqrt (+ x 1)))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))
1545130732.644 * * * * [misc]progress:  [ 101 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (* (/ 1 (sqrt (+ (pow 1 3) (pow x 3)))) (sqrt (+ (* 1 1) (- (* x x) (* 1 x)))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.644 * [enter]simplify:  Simplifying (sqrt (+ (* 1 1) (- (* x x) (* 1 x))))
1545130732.644 * * [misc]simplify:  iters left: 6 (8 enodes)
1545130732.646 * * [misc]simplify:  iters left: 5 (18 enodes)
1545130732.648 * * [misc]simplify:  iters left: 4 (29 enodes)
1545130732.653 * * [misc]simplify:  iters left: 3 (51 enodes)
1545130732.662 * * [misc]simplify:  iters left: 2 (68 enodes)
1545130732.672 * * [misc]simplify:  iters left: 1 (95 enodes)
1545130732.688 * [exit]simplify:  Simplified to (sqrt (fma x x (- 1 x)))
1545130732.688 * [misc]simplify:  Simplified (2 1 1 1 1 2) to (λ (x) (* (atan (* (sqrt (* (/ 1 (sqrt (+ (pow 1 3) (pow x 3)))) (sqrt (fma x x (- 1 x))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))
1545130732.688 * * * * [misc]progress:  [ 102 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (* (/ 1 (sqrt (- (* 1 1) (* x x)))) (sqrt (- 1 x)))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.688 * [enter]simplify:  Simplifying (sqrt (- 1 x))
1545130732.688 * * [misc]simplify:  iters left: 3 (4 enodes)
1545130732.689 * * [misc]simplify:  iters left: 2 (8 enodes)
1545130732.690 * * [misc]simplify:  iters left: 1 (9 enodes)
1545130732.691 * [exit]simplify:  Simplified to (sqrt (- 1 x))
1545130732.691 * [misc]simplify:  Simplified (2 1 1 1 1 2) to (λ (x) (* (atan (* (sqrt (* (/ 1 (sqrt (- (* 1 1) (* x x)))) (sqrt (- 1 x)))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))
1545130732.691 * * * * [misc]progress:  [ 103 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (- (+ (* 7/8 (pow x 2)) 1) (* 3/2 x))))) 2))>
1545130732.691 * [enter]simplify:  Simplifying (- (+ (* 7/8 (pow x 2)) 1) (* 3/2 x))
1545130732.691 * * [misc]simplify:  iters left: 6 (10 enodes)
1545130732.693 * * [misc]simplify:  iters left: 5 (21 enodes)
1545130732.697 * * [misc]simplify:  iters left: 4 (43 enodes)
1545130732.704 * * [misc]simplify:  iters left: 3 (65 enodes)
1545130732.713 * * [misc]simplify:  iters left: 2 (88 enodes)
1545130732.724 * * [misc]simplify:  iters left: 1 (108 enodes)
1545130732.739 * [exit]simplify:  Simplified to (fma x (fma 7/8 x -3/2) 1)
1545130732.739 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (fma x (fma 7/8 x -3/2) 1)))) 2))
1545130732.739 * * * * [misc]progress:  [ 104 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))))) 2))>
1545130732.740 * [enter]simplify:  Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
1545130732.740 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt +nan.0))) 2))
1545130732.740 * * * * [misc]progress:  [ 105 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))))) 2))>
1545130732.740 * [enter]simplify:  Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
1545130732.740 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt +nan.0))) 2))
1545130732.740 * * * * [misc]progress:  [ 106 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (- (+ (* 1/2 x) 1) (* 1/8 (pow x 2))))))) 2))>
1545130732.740 * [enter]simplify:  Simplifying (- (+ (* 1/2 x) 1) (* 1/8 (pow x 2)))
1545130732.740 * * [misc]simplify:  iters left: 6 (10 enodes)
1545130732.743 * * [misc]simplify:  iters left: 5 (21 enodes)
1545130732.750 * * [misc]simplify:  iters left: 4 (43 enodes)
1545130732.763 * * [misc]simplify:  iters left: 3 (67 enodes)
1545130732.780 * * [misc]simplify:  iters left: 2 (103 enodes)
1545130732.803 * * [misc]simplify:  iters left: 1 (126 enodes)
1545130732.820 * [exit]simplify:  Simplified to (fma (fma x -1/8 1/2) x 1)
1545130732.820 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (fma (fma x -1/8 1/2) x 1))))) 2))
1545130732.820 * * * * [misc]progress:  [ 107 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))))))) 2))>
1545130732.820 * [enter]simplify:  Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
1545130732.820 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) +nan.0)))) 2))
1545130732.820 * * * * [misc]progress:  [ 108 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))))))) 2))>
1545130732.820 * [enter]simplify:  Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
1545130732.820 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) +nan.0)))) 2))
1545130732.820 * * * * [misc]progress:  [ 109 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (- (+ (* 1/2 x) 1) (* 1/8 (pow x 2))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.821 * [enter]simplify:  Simplifying (- (+ (* 1/2 x) 1) (* 1/8 (pow x 2)))
1545130732.821 * * [misc]simplify:  iters left: 6 (10 enodes)
1545130732.822 * * [misc]simplify:  iters left: 5 (21 enodes)
1545130732.826 * * [misc]simplify:  iters left: 4 (43 enodes)
1545130732.833 * * [misc]simplify:  iters left: 3 (67 enodes)
1545130732.843 * * [misc]simplify:  iters left: 2 (103 enodes)
1545130732.860 * * [misc]simplify:  iters left: 1 (126 enodes)
1545130732.876 * [exit]simplify:  Simplified to (fma (fma x -1/8 1/2) x 1)
1545130732.876 * [misc]simplify:  Simplified (2 1 1 1 1 2) to (λ (x) (* (atan (* (sqrt (/ 1 (fma (fma x -1/8 1/2) x 1))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))
1545130732.876 * * * * [misc]progress:  [ 110 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.877 * [enter]simplify:  Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
1545130732.877 * [misc]simplify:  Simplified (2 1 1 1 1 2) to (λ (x) (* (atan (* (sqrt (/ 1 +nan.0)) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))
1545130732.877 * * * * [misc]progress:  [ 111 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (/ 1 (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.877 * [enter]simplify:  Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
1545130732.877 * [misc]simplify:  Simplified (2 1 1 1 1 2) to (λ (x) (* (atan (* (sqrt (/ 1 +nan.0)) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))
1545130732.877 * * * * [misc]progress:  [ 112 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (- (+ (* 3/8 (pow x 2)) 1) (* 1/2 x))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.877 * [enter]simplify:  Simplifying (- (+ (* 3/8 (pow x 2)) 1) (* 1/2 x))
1545130732.877 * * [misc]simplify:  iters left: 6 (10 enodes)
1545130732.879 * * [misc]simplify:  iters left: 5 (21 enodes)
1545130732.883 * * [misc]simplify:  iters left: 4 (43 enodes)
1545130732.890 * * [misc]simplify:  iters left: 3 (65 enodes)
1545130732.899 * * [misc]simplify:  iters left: 2 (88 enodes)
1545130732.909 * * [misc]simplify:  iters left: 1 (108 enodes)
1545130732.927 * [exit]simplify:  Simplified to (fma x (fma 3/8 x -1/2) 1)
1545130732.927 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (* (atan (* (sqrt (fma x (fma 3/8 x -1/2) 1)) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))
1545130732.927 * * * * [misc]progress:  [ 113 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.927 * [enter]simplify:  Simplifying (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))))
1545130732.927 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (* (atan (* (sqrt +nan.0) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))
1545130732.927 * * * * [misc]progress:  [ 114 / 114 ] simplifiying candidate #<alt (λ (x) (* (atan (* (sqrt (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))>
1545130732.928 * [enter]simplify:  Simplifying (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))))
1545130732.928 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (* (atan (* (sqrt +nan.0) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))
1545130732.928 * * * [misc]progress:  adding candidates to table
1545130734.579 * [misc]progress:  [Phase 3 of 3] Extracting.
1545130734.579 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))> #<alt (λ (x) (* (atan (sqrt (/ (- 1 x) (+ 1 x)))) 2))>)
1545130734.580 * * * [misc]regime-changes:  Trying 4 branch expressions: (x (/ (- 1 x) (+ 1 x)) (sqrt (/ (- 1 x) (+ 1 x))) (atan (sqrt (/ (- 1 x) (+ 1 x)))))
1545130734.581 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))> #<alt (λ (x) (* (atan (sqrt (/ (- 1 x) (+ 1 x)))) 2))>)
1545130734.601 * * * * [misc]regimes:  Trying to branch on (/ (- 1 x) (+ 1 x)) from (#<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))> #<alt (λ (x) (* (atan (sqrt (/ (- 1 x) (+ 1 x)))) 2))>)
1545130734.622 * * * * [misc]regimes:  Trying to branch on (sqrt (/ (- 1 x) (+ 1 x))) from (#<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))> #<alt (λ (x) (* (atan (sqrt (/ (- 1 x) (+ 1 x)))) 2))>)
1545130734.643 * * * * [misc]regimes:  Trying to branch on (atan (sqrt (/ (- 1 x) (+ 1 x)))) from (#<alt (λ (x) (* (atan (* (sqrt (/ 1 (sqrt (+ 1 x)))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))) 2))> #<alt (λ (x) (* (atan (sqrt (/ (- 1 x) (+ 1 x)))) 2))>)
1545130734.677 * * * [misc]regime:  Found split indices: #<option (#s(si 1 256))>
1545130734.677 * [enter]simplify:  Simplifying (* (atan (sqrt (/ (- 1 x) (+ 1 x)))) 2)
1545130734.677 * * [misc]simplify:  iters left: 6 (9 enodes)
1545130734.677 * * [misc]simplify:  iters left: 5 (13 enodes)
1545130734.678 * [exit]simplify:  Simplified to (* 2 (atan (sqrt (/ (- 1 x) (+ x 1)))))
1545130734.678 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545130736.649 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545130736.651 * * * * [misc]points:  Sampling 3910 additional inputs, on iter 1 have 4090 / 8000
1545130737.538 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545130737.539 * * * * [misc]points:  Sampling 1952 additional inputs, on iter 2 have 6048 / 8000
1545130738.378 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545130738.378 * * * * [misc]points:  Sampling 983 additional inputs, on iter 3 have 7017 / 8000
1545130738.615 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545130738.616 * * * * [misc]points:  Sampling 487 additional inputs, on iter 4 have 7513 / 8000
1545130738.694 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545130738.695 * * * * [misc]points:  Sampling 244 additional inputs, on iter 5 have 7756 / 8000
1545130738.785 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545130738.785 * * * * [misc]points:  Sampling 118 additional inputs, on iter 6 have 7882 / 8000
1545130738.801 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545130738.801 * * * * [misc]points:  Sampling 56 additional inputs, on iter 7 have 7944 / 8000
1545130738.814 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545130738.814 * * * * [misc]points:  Sampling 19 additional inputs, on iter 8 have 7981 / 8000
1545130738.821 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545130738.821 * * * * [misc]points:  Sampling 11 additional inputs, on iter 9 have 7989 / 8000
1545130738.825 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545130738.826 * * * * [misc]points:  Sampling 5 additional inputs, on iter 10 have 7995 / 8000
1545130738.829 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545130738.829 * * * * [misc]points:  Sampling 4 additional inputs, on iter 11 have 7999 / 8000
1545130738.832 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545130738.832 * * * * [exit]points:  Sampled 8002 points with exact outputs
1545130739.219 * [misc]regime-testing:  Baseline error score: 0.014625
1545130739.219 * [misc]regime-testing:  End program error score: 0.014625
1545130739.220 * [misc]regime-testing:  Oracle error score: 0.008875