1553939244.524 * [progress]: [Phase 1 of 3] Setting up. 1553939244.526 * * * [progress]: [1/2] Preparing points 1553939244.682 * * * [progress]: [2/2] Setting up program. 1553939244.686 * [progress]: [Phase 2 of 3] Improving. 1553939244.686 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1553939244.687 * [simplify]: Simplifying (* 2 (atan (sqrt (/ (- 1 x) (+ 1 x))))) 1553939244.688 * * [simplify]: iters left: 6 (9 enodes) 1553939244.697 * * [simplify]: iters left: 5 (36 enodes) 1553939244.704 * * [simplify]: iters left: 4 (47 enodes) 1553939244.711 * * [simplify]: iters left: 3 (51 enodes) 1553939244.718 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939244.718 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939244.719 * * [simplify]: Extracting #2: cost 5 inf + 1 1553939244.719 * * [simplify]: Extracting #3: cost 7 inf + 1 1553939244.719 * * [simplify]: Extracting #4: cost 13 inf + 1 1553939244.719 * * [simplify]: Extracting #5: cost 21 inf + 1 1553939244.719 * * [simplify]: Extracting #6: cost 17 inf + 128 1553939244.719 * * [simplify]: Extracting #7: cost 8 inf + 905 1553939244.720 * * [simplify]: Extracting #8: cost 2 inf + 1927 1553939244.720 * * [simplify]: Extracting #9: cost 0 inf + 2543 1553939244.720 * [simplify]: Simplified to (* (atan (sqrt (/ (- 1 x) (+ 1 x)))) 2) 1553939244.721 * [simplify]: Simplified (2) to (λ (x) (* (atan (sqrt (/ (- 1 x) (+ 1 x)))) 2)) 1553939244.724 * * [progress]: iteration 1 / 4 1553939244.724 * * * [progress]: picking best candidate 1553939244.727 * * * * [pick]: Picked # 1553939244.727 * * * [progress]: localizing error 1553939244.753 * * * [progress]: generating rewritten candidates 1553939244.754 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1 1) 1553939244.790 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1) 1553939244.816 * * * [progress]: generating series expansions 1553939244.816 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1 1) 1553939244.823 * [backup-simplify]: Simplify (/ (- 1 x) (+ 1 x)) into (/ (- 1 x) (+ x 1)) 1553939244.823 * [approximate]: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in (x) around 0 1553939244.824 * [taylor]: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x 1553939244.825 * [taylor]: Taking taylor expansion of (- 1 x) in x 1553939244.825 * [taylor]: Taking taylor expansion of 1 in x 1553939244.825 * [backup-simplify]: Simplify 1 into 1 1553939244.825 * [taylor]: Taking taylor expansion of x in x 1553939244.825 * [backup-simplify]: Simplify 0 into 0 1553939244.825 * [backup-simplify]: Simplify 1 into 1 1553939244.825 * [taylor]: Taking taylor expansion of (+ x 1) in x 1553939244.825 * [taylor]: Taking taylor expansion of x in x 1553939244.825 * [backup-simplify]: Simplify 0 into 0 1553939244.825 * [backup-simplify]: Simplify 1 into 1 1553939244.825 * [taylor]: Taking taylor expansion of 1 in x 1553939244.825 * [backup-simplify]: Simplify 1 into 1 1553939244.826 * [backup-simplify]: Simplify (- 0) into 0 1553939244.827 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939244.828 * [backup-simplify]: Simplify (+ 0 1) into 1 1553939244.828 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939244.828 * [taylor]: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x 1553939244.828 * [taylor]: Taking taylor expansion of (- 1 x) in x 1553939244.828 * [taylor]: Taking taylor expansion of 1 in x 1553939244.828 * [backup-simplify]: Simplify 1 into 1 1553939244.828 * [taylor]: Taking taylor expansion of x in x 1553939244.828 * [backup-simplify]: Simplify 0 into 0 1553939244.828 * [backup-simplify]: Simplify 1 into 1 1553939244.828 * [taylor]: Taking taylor expansion of (+ x 1) in x 1553939244.828 * [taylor]: Taking taylor expansion of x in x 1553939244.828 * [backup-simplify]: Simplify 0 into 0 1553939244.828 * [backup-simplify]: Simplify 1 into 1 1553939244.828 * [taylor]: Taking taylor expansion of 1 in x 1553939244.828 * [backup-simplify]: Simplify 1 into 1 1553939244.829 * [backup-simplify]: Simplify (- 0) into 0 1553939244.829 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939244.830 * [backup-simplify]: Simplify (+ 0 1) into 1 1553939244.830 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939244.831 * [backup-simplify]: Simplify 1 into 1 1553939244.831 * [backup-simplify]: Simplify (- 1) into -1 1553939244.832 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553939244.832 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939244.833 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2 1553939244.833 * [backup-simplify]: Simplify -2 into -2 1553939244.834 * [backup-simplify]: Simplify (- 0) into 0 1553939244.834 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939244.835 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939244.836 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -2 (/ 1 1)))) into 2 1553939244.836 * [backup-simplify]: Simplify 2 into 2 1553939244.837 * [backup-simplify]: Simplify (+ (* 2 (pow x 2)) (+ (* -2 x) 1)) into (- (+ (* 2 (pow x 2)) 1) (* 2 x)) 1553939244.837 * [backup-simplify]: Simplify (/ (- 1 (/ 1 x)) (+ 1 (/ 1 x))) into (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) 1553939244.837 * [approximate]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in (x) around 0 1553939244.837 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x 1553939244.837 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1553939244.837 * [taylor]: Taking taylor expansion of 1 in x 1553939244.837 * [backup-simplify]: Simplify 1 into 1 1553939244.837 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553939244.837 * [taylor]: Taking taylor expansion of x in x 1553939244.837 * [backup-simplify]: Simplify 0 into 0 1553939244.837 * [backup-simplify]: Simplify 1 into 1 1553939244.837 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939244.838 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553939244.838 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553939244.838 * [taylor]: Taking taylor expansion of x in x 1553939244.838 * [backup-simplify]: Simplify 0 into 0 1553939244.838 * [backup-simplify]: Simplify 1 into 1 1553939244.838 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939244.838 * [taylor]: Taking taylor expansion of 1 in x 1553939244.838 * [backup-simplify]: Simplify 1 into 1 1553939244.838 * [backup-simplify]: Simplify (- 1) into -1 1553939244.839 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553939244.839 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939244.839 * [backup-simplify]: Simplify (/ -1 1) into -1 1553939244.839 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x 1553939244.839 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1553939244.839 * [taylor]: Taking taylor expansion of 1 in x 1553939244.839 * [backup-simplify]: Simplify 1 into 1 1553939244.839 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553939244.839 * [taylor]: Taking taylor expansion of x in x 1553939244.839 * [backup-simplify]: Simplify 0 into 0 1553939244.839 * [backup-simplify]: Simplify 1 into 1 1553939244.839 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939244.839 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553939244.839 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553939244.840 * [taylor]: Taking taylor expansion of x in x 1553939244.840 * [backup-simplify]: Simplify 0 into 0 1553939244.840 * [backup-simplify]: Simplify 1 into 1 1553939244.840 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939244.840 * [taylor]: Taking taylor expansion of 1 in x 1553939244.840 * [backup-simplify]: Simplify 1 into 1 1553939244.840 * [backup-simplify]: Simplify (- 1) into -1 1553939244.840 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553939244.841 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939244.841 * [backup-simplify]: Simplify (/ -1 1) into -1 1553939244.841 * [backup-simplify]: Simplify -1 into -1 1553939244.842 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553939244.842 * [backup-simplify]: Simplify (- 0) into 0 1553939244.842 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939244.843 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553939244.843 * [backup-simplify]: Simplify (+ 0 1) into 1 1553939244.843 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2 1553939244.843 * [backup-simplify]: Simplify 2 into 2 1553939244.844 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553939244.844 * [backup-simplify]: Simplify (- 0) into 0 1553939244.844 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939244.845 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553939244.845 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939244.846 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 1 1)))) into -2 1553939244.846 * [backup-simplify]: Simplify -2 into -2 1553939244.846 * [backup-simplify]: Simplify (+ (* -2 (pow (/ 1 x) 2)) (+ (* 2 (/ 1 x)) -1)) into (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1)) 1553939244.846 * [backup-simplify]: Simplify (/ (- 1 (/ 1 (- x))) (+ 1 (/ 1 (- x)))) into (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) 1553939244.846 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in (x) around 0 1553939244.846 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x 1553939244.846 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553939244.846 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553939244.846 * [taylor]: Taking taylor expansion of x in x 1553939244.846 * [backup-simplify]: Simplify 0 into 0 1553939244.846 * [backup-simplify]: Simplify 1 into 1 1553939244.847 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939244.847 * [taylor]: Taking taylor expansion of 1 in x 1553939244.847 * [backup-simplify]: Simplify 1 into 1 1553939244.847 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1553939244.847 * [taylor]: Taking taylor expansion of 1 in x 1553939244.847 * [backup-simplify]: Simplify 1 into 1 1553939244.847 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553939244.847 * [taylor]: Taking taylor expansion of x in x 1553939244.847 * [backup-simplify]: Simplify 0 into 0 1553939244.847 * [backup-simplify]: Simplify 1 into 1 1553939244.847 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939244.847 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939244.847 * [backup-simplify]: Simplify (- 1) into -1 1553939244.848 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553939244.848 * [backup-simplify]: Simplify (/ 1 -1) into -1 1553939244.848 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x 1553939244.848 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553939244.848 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553939244.848 * [taylor]: Taking taylor expansion of x in x 1553939244.848 * [backup-simplify]: Simplify 0 into 0 1553939244.848 * [backup-simplify]: Simplify 1 into 1 1553939244.848 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939244.848 * [taylor]: Taking taylor expansion of 1 in x 1553939244.848 * [backup-simplify]: Simplify 1 into 1 1553939244.848 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1553939244.848 * [taylor]: Taking taylor expansion of 1 in x 1553939244.848 * [backup-simplify]: Simplify 1 into 1 1553939244.848 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553939244.848 * [taylor]: Taking taylor expansion of x in x 1553939244.848 * [backup-simplify]: Simplify 0 into 0 1553939244.848 * [backup-simplify]: Simplify 1 into 1 1553939244.849 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939244.849 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939244.849 * [backup-simplify]: Simplify (- 1) into -1 1553939244.849 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553939244.850 * [backup-simplify]: Simplify (/ 1 -1) into -1 1553939244.850 * [backup-simplify]: Simplify -1 into -1 1553939244.850 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553939244.851 * [backup-simplify]: Simplify (+ 0 1) into 1 1553939244.851 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553939244.851 * [backup-simplify]: Simplify (- 0) into 0 1553939244.852 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939244.852 * [backup-simplify]: Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2 1553939244.852 * [backup-simplify]: Simplify -2 into -2 1553939244.853 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553939244.853 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939244.854 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553939244.854 * [backup-simplify]: Simplify (- 0) into 0 1553939244.854 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939244.855 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* -2 (/ 1 -1)))) into -2 1553939244.855 * [backup-simplify]: Simplify -2 into -2 1553939244.855 * [backup-simplify]: Simplify (+ (* -2 (pow (/ 1 (- x)) 2)) (+ (* -2 (/ 1 (- x))) -1)) into (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1)) 1553939244.855 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1) 1553939244.855 * [backup-simplify]: Simplify (sqrt (/ (- 1 x) (+ 1 x))) into (sqrt (/ (- 1 x) (+ x 1))) 1553939244.855 * [approximate]: Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in (x) around 0 1553939244.855 * [taylor]: Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in x 1553939244.855 * [taylor]: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x 1553939244.855 * [taylor]: Taking taylor expansion of (- 1 x) in x 1553939244.855 * [taylor]: Taking taylor expansion of 1 in x 1553939244.855 * [backup-simplify]: Simplify 1 into 1 1553939244.855 * [taylor]: Taking taylor expansion of x in x 1553939244.855 * [backup-simplify]: Simplify 0 into 0 1553939244.855 * [backup-simplify]: Simplify 1 into 1 1553939244.855 * [taylor]: Taking taylor expansion of (+ x 1) in x 1553939244.855 * [taylor]: Taking taylor expansion of x in x 1553939244.855 * [backup-simplify]: Simplify 0 into 0 1553939244.855 * [backup-simplify]: Simplify 1 into 1 1553939244.855 * [taylor]: Taking taylor expansion of 1 in x 1553939244.855 * [backup-simplify]: Simplify 1 into 1 1553939244.856 * [backup-simplify]: Simplify (- 0) into 0 1553939244.856 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939244.856 * [backup-simplify]: Simplify (+ 0 1) into 1 1553939244.856 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939244.857 * [backup-simplify]: Simplify (sqrt 1) into 1 1553939244.857 * [backup-simplify]: Simplify (- 1) into -1 1553939244.857 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553939244.857 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939244.858 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2 1553939244.858 * [backup-simplify]: Simplify (/ -2 (* 2 (sqrt 1))) into -1 1553939244.858 * [taylor]: Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in x 1553939244.858 * [taylor]: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x 1553939244.858 * [taylor]: Taking taylor expansion of (- 1 x) in x 1553939244.858 * [taylor]: Taking taylor expansion of 1 in x 1553939244.858 * [backup-simplify]: Simplify 1 into 1 1553939244.858 * [taylor]: Taking taylor expansion of x in x 1553939244.858 * [backup-simplify]: Simplify 0 into 0 1553939244.858 * [backup-simplify]: Simplify 1 into 1 1553939244.859 * [taylor]: Taking taylor expansion of (+ x 1) in x 1553939244.859 * [taylor]: Taking taylor expansion of x in x 1553939244.859 * [backup-simplify]: Simplify 0 into 0 1553939244.859 * [backup-simplify]: Simplify 1 into 1 1553939244.859 * [taylor]: Taking taylor expansion of 1 in x 1553939244.859 * [backup-simplify]: Simplify 1 into 1 1553939244.859 * [backup-simplify]: Simplify (- 0) into 0 1553939244.859 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939244.859 * [backup-simplify]: Simplify (+ 0 1) into 1 1553939244.860 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939244.860 * [backup-simplify]: Simplify (sqrt 1) into 1 1553939244.860 * [backup-simplify]: Simplify (- 1) into -1 1553939244.860 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553939244.861 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939244.861 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2 1553939244.861 * [backup-simplify]: Simplify (/ -2 (* 2 (sqrt 1))) into -1 1553939244.862 * [backup-simplify]: Simplify 1 into 1 1553939244.862 * [backup-simplify]: Simplify -1 into -1 1553939244.862 * [backup-simplify]: Simplify (- 0) into 0 1553939244.862 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939244.863 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939244.863 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -2 (/ 1 1)))) into 2 1553939244.864 * [backup-simplify]: Simplify (/ (- 2 (pow -1 2) (+)) (* 2 1)) into 1/2 1553939244.864 * [backup-simplify]: Simplify 1/2 into 1/2 1553939244.864 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* -1 x) 1)) into (- (+ (* 1/2 (pow x 2)) 1) x) 1553939244.864 * [backup-simplify]: Simplify (sqrt (/ (- 1 (/ 1 x)) (+ 1 (/ 1 x)))) into (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) 1553939244.864 * [approximate]: Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in (x) around 0 1553939244.864 * [taylor]: Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in x 1553939244.864 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x 1553939244.864 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1553939244.864 * [taylor]: Taking taylor expansion of 1 in x 1553939244.864 * [backup-simplify]: Simplify 1 into 1 1553939244.864 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553939244.864 * [taylor]: Taking taylor expansion of x in x 1553939244.864 * [backup-simplify]: Simplify 0 into 0 1553939244.864 * [backup-simplify]: Simplify 1 into 1 1553939244.864 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939244.865 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553939244.865 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553939244.865 * [taylor]: Taking taylor expansion of x in x 1553939244.865 * [backup-simplify]: Simplify 0 into 0 1553939244.865 * [backup-simplify]: Simplify 1 into 1 1553939244.865 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939244.865 * [taylor]: Taking taylor expansion of 1 in x 1553939244.865 * [backup-simplify]: Simplify 1 into 1 1553939244.865 * [backup-simplify]: Simplify (- 1) into -1 1553939244.865 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553939244.866 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939244.866 * [backup-simplify]: Simplify (/ -1 1) into -1 1553939244.866 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 1553939244.867 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553939244.867 * [backup-simplify]: Simplify (- 0) into 0 1553939244.867 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939244.867 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553939244.868 * [backup-simplify]: Simplify (+ 0 1) into 1 1553939244.868 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2 1553939244.869 * [backup-simplify]: Simplify (/ 2 (* 2 (sqrt -1))) into (/ 1 (sqrt -1)) 1553939244.869 * [taylor]: Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in x 1553939244.869 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x 1553939244.869 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1553939244.869 * [taylor]: Taking taylor expansion of 1 in x 1553939244.869 * [backup-simplify]: Simplify 1 into 1 1553939244.869 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553939244.869 * [taylor]: Taking taylor expansion of x in x 1553939244.869 * [backup-simplify]: Simplify 0 into 0 1553939244.869 * [backup-simplify]: Simplify 1 into 1 1553939244.870 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939244.870 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553939244.870 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553939244.870 * [taylor]: Taking taylor expansion of x in x 1553939244.870 * [backup-simplify]: Simplify 0 into 0 1553939244.870 * [backup-simplify]: Simplify 1 into 1 1553939244.870 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939244.870 * [taylor]: Taking taylor expansion of 1 in x 1553939244.870 * [backup-simplify]: Simplify 1 into 1 1553939244.871 * [backup-simplify]: Simplify (- 1) into -1 1553939244.871 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553939244.872 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939244.872 * [backup-simplify]: Simplify (/ -1 1) into -1 1553939244.872 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 1553939244.873 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553939244.874 * [backup-simplify]: Simplify (- 0) into 0 1553939244.874 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939244.875 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553939244.875 * [backup-simplify]: Simplify (+ 0 1) into 1 1553939244.876 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2 1553939244.877 * [backup-simplify]: Simplify (/ 2 (* 2 (sqrt -1))) into (/ 1 (sqrt -1)) 1553939244.878 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 1553939244.879 * [backup-simplify]: Simplify (/ 1 (sqrt -1)) into (/ 1 (sqrt -1)) 1553939244.880 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553939244.880 * [backup-simplify]: Simplify (- 0) into 0 1553939244.880 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939244.881 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553939244.881 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939244.883 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 1 1)))) into -2 1553939244.886 * [backup-simplify]: Simplify (/ (- -2 (pow (/ 1 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1)) 1553939244.887 * [backup-simplify]: Simplify (/ -1/2 (sqrt -1)) into (/ -1/2 (sqrt -1)) 1553939244.889 * [backup-simplify]: Simplify (+ (* (/ -1/2 (sqrt -1)) (pow (/ 1 x) 2)) (+ (* (/ 1 (sqrt -1)) (/ 1 x)) (sqrt -1))) into (- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (* 1/2 (/ 1 (* (pow x 2) (sqrt -1))))) 1553939244.889 * [backup-simplify]: Simplify (sqrt (/ (- 1 (/ 1 (- x))) (+ 1 (/ 1 (- x))))) into (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) 1553939244.889 * [approximate]: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in (x) around 0 1553939244.889 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in x 1553939244.889 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x 1553939244.889 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553939244.889 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553939244.889 * [taylor]: Taking taylor expansion of x in x 1553939244.889 * [backup-simplify]: Simplify 0 into 0 1553939244.889 * [backup-simplify]: Simplify 1 into 1 1553939244.890 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939244.890 * [taylor]: Taking taylor expansion of 1 in x 1553939244.890 * [backup-simplify]: Simplify 1 into 1 1553939244.890 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1553939244.890 * [taylor]: Taking taylor expansion of 1 in x 1553939244.890 * [backup-simplify]: Simplify 1 into 1 1553939244.890 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553939244.890 * [taylor]: Taking taylor expansion of x in x 1553939244.890 * [backup-simplify]: Simplify 0 into 0 1553939244.890 * [backup-simplify]: Simplify 1 into 1 1553939244.890 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939244.890 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939244.891 * [backup-simplify]: Simplify (- 1) into -1 1553939244.891 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553939244.891 * [backup-simplify]: Simplify (/ 1 -1) into -1 1553939244.892 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 1553939244.892 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553939244.893 * [backup-simplify]: Simplify (+ 0 1) into 1 1553939244.893 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553939244.893 * [backup-simplify]: Simplify (- 0) into 0 1553939244.894 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939244.894 * [backup-simplify]: Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2 1553939244.895 * [backup-simplify]: Simplify (/ -2 (* 2 (sqrt -1))) into (/ -1 (sqrt -1)) 1553939244.895 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in x 1553939244.895 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x 1553939244.895 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553939244.895 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553939244.895 * [taylor]: Taking taylor expansion of x in x 1553939244.895 * [backup-simplify]: Simplify 0 into 0 1553939244.895 * [backup-simplify]: Simplify 1 into 1 1553939244.895 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939244.895 * [taylor]: Taking taylor expansion of 1 in x 1553939244.895 * [backup-simplify]: Simplify 1 into 1 1553939244.895 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1553939244.895 * [taylor]: Taking taylor expansion of 1 in x 1553939244.895 * [backup-simplify]: Simplify 1 into 1 1553939244.895 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553939244.895 * [taylor]: Taking taylor expansion of x in x 1553939244.895 * [backup-simplify]: Simplify 0 into 0 1553939244.895 * [backup-simplify]: Simplify 1 into 1 1553939244.896 * [backup-simplify]: Simplify (/ 1 1) into 1 1553939244.896 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939244.896 * [backup-simplify]: Simplify (- 1) into -1 1553939244.896 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553939244.897 * [backup-simplify]: Simplify (/ 1 -1) into -1 1553939244.897 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 1553939244.897 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553939244.898 * [backup-simplify]: Simplify (+ 0 1) into 1 1553939244.898 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553939244.903 * [backup-simplify]: Simplify (- 0) into 0 1553939244.904 * [backup-simplify]: Simplify (+ 1 0) into 1 1553939244.904 * [backup-simplify]: Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2 1553939244.905 * [backup-simplify]: Simplify (/ -2 (* 2 (sqrt -1))) into (/ -1 (sqrt -1)) 1553939244.906 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 1553939244.906 * [backup-simplify]: Simplify (/ -1 (sqrt -1)) into (/ -1 (sqrt -1)) 1553939244.907 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553939244.907 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939244.908 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553939244.908 * [backup-simplify]: Simplify (- 0) into 0 1553939244.908 * [backup-simplify]: Simplify (+ 0 0) into 0 1553939244.909 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* -2 (/ 1 -1)))) into -2 1553939244.911 * [backup-simplify]: Simplify (/ (- -2 (pow (/ -1 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1)) 1553939244.911 * [backup-simplify]: Simplify (/ -1/2 (sqrt -1)) into (/ -1/2 (sqrt -1)) 1553939244.914 * [backup-simplify]: Simplify (+ (* (/ -1/2 (sqrt -1)) (pow (/ 1 (- x)) 2)) (+ (* (/ -1 (sqrt -1)) (/ 1 (- x))) (sqrt -1))) into (- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (* 1/2 (/ 1 (* (pow x 2) (sqrt -1))))) 1553939244.914 * * * [progress]: simplifying candidates 1553939244.914 * * * * [progress]: [ 1 / 105 ] simplifiying candidate # 1553939244.914 * * * * [progress]: [ 2 / 105 ] simplifiying candidate # 1553939244.914 * * * * [progress]: [ 3 / 105 ] simplifiying candidate # 1553939244.914 * * * * [progress]: [ 4 / 105 ] simplifiying candidate # 1553939244.914 * [simplify]: Simplifying (- (log (- 1 x)) (log (+ 1 x))) 1553939244.914 * * [simplify]: iters left: 5 (7 enodes) 1553939244.916 * * [simplify]: iters left: 4 (29 enodes) 1553939244.921 * * [simplify]: iters left: 3 (38 enodes) 1553939244.927 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939244.927 * * [simplify]: Extracting #1: cost 5 inf + 0 1553939244.927 * * [simplify]: Extracting #2: cost 12 inf + 0 1553939244.927 * * [simplify]: Extracting #3: cost 10 inf + 486 1553939244.927 * * [simplify]: Extracting #4: cost 7 inf + 659 1553939244.927 * * [simplify]: Extracting #5: cost 0 inf + 1461 1553939244.927 * * [simplify]: Extracting #6: cost 0 inf + 1404 1553939244.928 * [simplify]: Simplified to (- (log (- 1 x)) (log1p x)) 1553939244.928 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (exp (- (log (- 1 x)) (log1p x))))))) 1553939244.928 * * * * [progress]: [ 5 / 105 ] simplifiying candidate # 1553939244.928 * * * * [progress]: [ 6 / 105 ] simplifiying candidate # 1553939244.928 * * * * [progress]: [ 7 / 105 ] simplifiying candidate # 1553939244.928 * [simplify]: Simplifying (/ (* (* (- 1 x) (- 1 x)) (- 1 x)) (* (* (+ 1 x) (+ 1 x)) (+ 1 x))) 1553939244.928 * * [simplify]: iters left: 6 (9 enodes) 1553939244.931 * * [simplify]: iters left: 5 (53 enodes) 1553939244.945 * * [simplify]: iters left: 4 (143 enodes) 1553939244.999 * * [simplify]: iters left: 3 (408 enodes) 1553939245.263 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939245.264 * * [simplify]: Extracting #1: cost 48 inf + 0 1553939245.265 * * [simplify]: Extracting #2: cost 185 inf + 2 1553939245.270 * * [simplify]: Extracting #3: cost 184 inf + 9290 1553939245.289 * * [simplify]: Extracting #4: cost 19 inf + 40079 1553939245.312 * * [simplify]: Extracting #5: cost 0 inf + 43390 1553939245.340 * * [simplify]: Extracting #6: cost 0 inf + 43350 1553939245.362 * [simplify]: Simplified to (* (* (/ (- 1 x) (+ x 1)) (/ (- 1 x) (+ x 1))) (/ (- 1 x) (+ x 1))) 1553939245.362 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (cbrt (* (* (/ (- 1 x) (+ x 1)) (/ (- 1 x) (+ x 1))) (/ (- 1 x) (+ x 1)))))))) 1553939245.363 * * * * [progress]: [ 8 / 105 ] simplifiying candidate # 1553939245.363 * * * * [progress]: [ 9 / 105 ] simplifiying candidate # 1553939245.363 * * * * [progress]: [ 10 / 105 ] simplifiying candidate # 1553939245.363 * * * * [progress]: [ 11 / 105 ] simplifiying candidate # 1553939245.363 * * * * [progress]: [ 12 / 105 ] simplifiying candidate # 1553939245.363 * [simplify]: Simplifying (/ 1 (+ 1 x)) 1553939245.363 * * [simplify]: iters left: 4 (4 enodes) 1553939245.366 * * [simplify]: iters left: 3 (15 enodes) 1553939245.371 * * [simplify]: iters left: 2 (17 enodes) 1553939245.376 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939245.376 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939245.376 * * [simplify]: Extracting #2: cost 5 inf + 1 1553939245.376 * * [simplify]: Extracting #3: cost 3 inf + 44 1553939245.376 * * [simplify]: Extracting #4: cost 1 inf + 168 1553939245.377 * * [simplify]: Extracting #5: cost 0 inf + 250 1553939245.377 * [simplify]: Simplified to (/ 1 (+ x 1)) 1553939245.377 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (- (/ 1 (+ x 1)) (/ x (+ 1 x))))))) 1553939245.377 * * * * [progress]: [ 13 / 105 ] simplifiying candidate # 1553939245.377 * [simplify]: Simplifying (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1553939245.377 * * [simplify]: iters left: 6 (9 enodes) 1553939245.382 * * [simplify]: iters left: 5 (38 enodes) 1553939245.394 * * [simplify]: iters left: 4 (58 enodes) 1553939245.411 * * [simplify]: iters left: 3 (65 enodes) 1553939245.429 * * [simplify]: iters left: 2 (68 enodes) 1553939245.442 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939245.442 * * [simplify]: Extracting #1: cost 11 inf + 0 1553939245.442 * * [simplify]: Extracting #2: cost 22 inf + 0 1553939245.442 * * [simplify]: Extracting #3: cost 27 inf + 0 1553939245.443 * * [simplify]: Extracting #4: cost 25 inf + 44 1553939245.443 * * [simplify]: Extracting #5: cost 7 inf + 3238 1553939245.444 * * [simplify]: Extracting #6: cost 0 inf + 5092 1553939245.445 * [simplify]: Simplified to (* (/ (cbrt (- 1 x)) (cbrt (+ x 1))) (/ (cbrt (- 1 x)) (cbrt (+ x 1)))) 1553939245.445 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (* (/ (cbrt (- 1 x)) (cbrt (+ x 1))) (/ (cbrt (- 1 x)) (cbrt (+ x 1)))) (/ (cbrt (- 1 x)) (cbrt (+ 1 x)))))))) 1553939245.445 * [simplify]: Simplifying (/ (cbrt (- 1 x)) (cbrt (+ 1 x))) 1553939245.445 * * [simplify]: iters left: 5 (7 enodes) 1553939245.447 * * [simplify]: iters left: 4 (26 enodes) 1553939245.451 * * [simplify]: iters left: 3 (31 enodes) 1553939245.456 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939245.456 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939245.456 * * [simplify]: Extracting #2: cost 8 inf + 0 1553939245.456 * * [simplify]: Extracting #3: cost 13 inf + 0 1553939245.456 * * [simplify]: Extracting #4: cost 11 inf + 43 1553939245.456 * * [simplify]: Extracting #5: cost 4 inf + 576 1553939245.456 * * [simplify]: Extracting #6: cost 1 inf + 1022 1553939245.456 * * [simplify]: Extracting #7: cost 0 inf + 1304 1553939245.457 * [simplify]: Simplified to (/ (cbrt (- 1 x)) (cbrt (+ x 1))) 1553939245.457 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (cbrt (- 1 x)) (cbrt (+ x 1)))))))) 1553939245.457 * * * * [progress]: [ 14 / 105 ] simplifiying candidate # 1553939245.457 * [simplify]: Simplifying (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ 1 x))) 1553939245.457 * * [simplify]: iters left: 6 (8 enodes) 1553939245.459 * * [simplify]: iters left: 5 (31 enodes) 1553939245.467 * * [simplify]: iters left: 4 (40 enodes) 1553939245.478 * * [simplify]: iters left: 3 (43 enodes) 1553939245.486 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939245.486 * * [simplify]: Extracting #1: cost 7 inf + 0 1553939245.486 * * [simplify]: Extracting #2: cost 14 inf + 0 1553939245.486 * * [simplify]: Extracting #3: cost 19 inf + 0 1553939245.486 * * [simplify]: Extracting #4: cost 18 inf + 2 1553939245.486 * * [simplify]: Extracting #5: cost 12 inf + 332 1553939245.486 * * [simplify]: Extracting #6: cost 1 inf + 2274 1553939245.487 * * [simplify]: Extracting #7: cost 0 inf + 2516 1553939245.487 * [simplify]: Simplified to (* (cbrt (- 1 x)) (/ (cbrt (- 1 x)) (sqrt (+ x 1)))) 1553939245.487 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (* (cbrt (- 1 x)) (/ (cbrt (- 1 x)) (sqrt (+ x 1)))) (/ (cbrt (- 1 x)) (sqrt (+ 1 x)))))))) 1553939245.487 * [simplify]: Simplifying (/ (cbrt (- 1 x)) (sqrt (+ 1 x))) 1553939245.487 * * [simplify]: iters left: 5 (7 enodes) 1553939245.489 * * [simplify]: iters left: 4 (26 enodes) 1553939245.493 * * [simplify]: iters left: 3 (31 enodes) 1553939245.498 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939245.498 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939245.498 * * [simplify]: Extracting #2: cost 8 inf + 0 1553939245.498 * * [simplify]: Extracting #3: cost 13 inf + 0 1553939245.498 * * [simplify]: Extracting #4: cost 11 inf + 43 1553939245.498 * * [simplify]: Extracting #5: cost 4 inf + 536 1553939245.499 * * [simplify]: Extracting #6: cost 1 inf + 902 1553939245.499 * * [simplify]: Extracting #7: cost 0 inf + 1144 1553939245.499 * [simplify]: Simplified to (/ (cbrt (- 1 x)) (sqrt (+ x 1))) 1553939245.499 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ 1 x))) (/ (cbrt (- 1 x)) (sqrt (+ x 1)))))))) 1553939245.499 * * * * [progress]: [ 15 / 105 ] simplifiying candidate # 1553939245.499 * [simplify]: Simplifying (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1) 1553939245.499 * * [simplify]: iters left: 6 (6 enodes) 1553939245.501 * * [simplify]: iters left: 5 (22 enodes) 1553939245.505 * * [simplify]: iters left: 4 (35 enodes) 1553939245.510 * * [simplify]: iters left: 3 (36 enodes) 1553939245.517 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939245.517 * * [simplify]: Extracting #1: cost 5 inf + 0 1553939245.517 * * [simplify]: Extracting #2: cost 7 inf + 1 1553939245.517 * * [simplify]: Extracting #3: cost 10 inf + 1 1553939245.517 * * [simplify]: Extracting #4: cost 7 inf + 127 1553939245.517 * * [simplify]: Extracting #5: cost 3 inf + 574 1553939245.518 * * [simplify]: Extracting #6: cost 0 inf + 1060 1553939245.518 * [simplify]: Simplified to (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1553939245.518 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (* (cbrt (- 1 x)) (cbrt (- 1 x))) (/ (cbrt (- 1 x)) (+ 1 x))))))) 1553939245.519 * [simplify]: Simplifying (/ (cbrt (- 1 x)) (+ 1 x)) 1553939245.519 * * [simplify]: iters left: 5 (6 enodes) 1553939245.522 * * [simplify]: iters left: 4 (23 enodes) 1553939245.530 * * [simplify]: iters left: 3 (28 enodes) 1553939245.538 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939245.538 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939245.538 * * [simplify]: Extracting #2: cost 9 inf + 0 1553939245.538 * * [simplify]: Extracting #3: cost 9 inf + 2 1553939245.538 * * [simplify]: Extracting #4: cost 5 inf + 211 1553939245.538 * * [simplify]: Extracting #5: cost 1 inf + 698 1553939245.539 * * [simplify]: Extracting #6: cost 0 inf + 900 1553939245.539 * [simplify]: Simplified to (/ (cbrt (- 1 x)) (+ x 1)) 1553939245.539 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (* (cbrt (- 1 x)) (cbrt (- 1 x))) (/ (cbrt (- 1 x)) (+ x 1))))))) 1553939245.539 * * * * [progress]: [ 16 / 105 ] simplifiying candidate # 1553939245.540 * [simplify]: Simplifying (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1) 1553939245.540 * * [simplify]: iters left: 6 (6 enodes) 1553939245.543 * * [simplify]: iters left: 5 (22 enodes) 1553939245.550 * * [simplify]: iters left: 4 (35 enodes) 1553939245.560 * * [simplify]: iters left: 3 (36 enodes) 1553939245.570 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939245.570 * * [simplify]: Extracting #1: cost 5 inf + 0 1553939245.570 * * [simplify]: Extracting #2: cost 7 inf + 1 1553939245.570 * * [simplify]: Extracting #3: cost 10 inf + 1 1553939245.570 * * [simplify]: Extracting #4: cost 7 inf + 127 1553939245.571 * * [simplify]: Extracting #5: cost 3 inf + 574 1553939245.571 * * [simplify]: Extracting #6: cost 0 inf + 1060 1553939245.571 * [simplify]: Simplified to (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1553939245.571 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (* (cbrt (- 1 x)) (cbrt (- 1 x))) (/ (cbrt (- 1 x)) (+ 1 x))))))) 1553939245.572 * [simplify]: Simplifying (/ (cbrt (- 1 x)) (+ 1 x)) 1553939245.572 * * [simplify]: iters left: 5 (6 enodes) 1553939245.575 * * [simplify]: iters left: 4 (23 enodes) 1553939245.583 * * [simplify]: iters left: 3 (28 enodes) 1553939245.593 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939245.593 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939245.593 * * [simplify]: Extracting #2: cost 9 inf + 0 1553939245.593 * * [simplify]: Extracting #3: cost 9 inf + 2 1553939245.593 * * [simplify]: Extracting #4: cost 5 inf + 211 1553939245.593 * * [simplify]: Extracting #5: cost 1 inf + 698 1553939245.594 * * [simplify]: Extracting #6: cost 0 inf + 900 1553939245.594 * [simplify]: Simplified to (/ (cbrt (- 1 x)) (+ x 1)) 1553939245.594 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (* (cbrt (- 1 x)) (cbrt (- 1 x))) (/ (cbrt (- 1 x)) (+ x 1))))))) 1553939245.594 * * * * [progress]: [ 17 / 105 ] simplifiying candidate # 1553939245.595 * [simplify]: Simplifying (/ (sqrt (- 1 x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1553939245.595 * * [simplify]: iters left: 6 (8 enodes) 1553939245.599 * * [simplify]: iters left: 5 (31 enodes) 1553939245.607 * * [simplify]: iters left: 4 (38 enodes) 1553939245.613 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939245.613 * * [simplify]: Extracting #1: cost 6 inf + 0 1553939245.613 * * [simplify]: Extracting #2: cost 12 inf + 0 1553939245.613 * * [simplify]: Extracting #3: cost 17 inf + 0 1553939245.613 * * [simplify]: Extracting #4: cost 16 inf + 2 1553939245.613 * * [simplify]: Extracting #5: cost 7 inf + 578 1553939245.613 * * [simplify]: Extracting #6: cost 0 inf + 2032 1553939245.614 * [simplify]: Simplified to (/ (sqrt (- 1 x)) (* (cbrt (+ x 1)) (cbrt (+ x 1)))) 1553939245.614 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (/ (sqrt (- 1 x)) (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (/ (sqrt (- 1 x)) (cbrt (+ 1 x)))))))) 1553939245.614 * [simplify]: Simplifying (/ (sqrt (- 1 x)) (cbrt (+ 1 x))) 1553939245.614 * * [simplify]: iters left: 5 (7 enodes) 1553939245.616 * * [simplify]: iters left: 4 (26 enodes) 1553939245.620 * * [simplify]: iters left: 3 (31 enodes) 1553939245.625 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939245.625 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939245.625 * * [simplify]: Extracting #2: cost 8 inf + 0 1553939245.625 * * [simplify]: Extracting #3: cost 13 inf + 0 1553939245.625 * * [simplify]: Extracting #4: cost 11 inf + 43 1553939245.625 * * [simplify]: Extracting #5: cost 4 inf + 496 1553939245.626 * * [simplify]: Extracting #6: cost 1 inf + 902 1553939245.626 * * [simplify]: Extracting #7: cost 0 inf + 1144 1553939245.626 * [simplify]: Simplified to (/ (sqrt (- 1 x)) (cbrt (+ x 1))) 1553939245.626 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ (sqrt (- 1 x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (sqrt (- 1 x)) (cbrt (+ x 1)))))))) 1553939245.626 * * * * [progress]: [ 18 / 105 ] simplifiying candidate # 1553939245.626 * [simplify]: Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) 1553939245.627 * * [simplify]: iters left: 5 (7 enodes) 1553939245.628 * * [simplify]: iters left: 4 (26 enodes) 1553939245.633 * * [simplify]: iters left: 3 (31 enodes) 1553939245.637 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939245.637 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939245.637 * * [simplify]: Extracting #2: cost 8 inf + 0 1553939245.637 * * [simplify]: Extracting #3: cost 13 inf + 0 1553939245.637 * * [simplify]: Extracting #4: cost 11 inf + 43 1553939245.637 * * [simplify]: Extracting #5: cost 4 inf + 456 1553939245.638 * * [simplify]: Extracting #6: cost 1 inf + 782 1553939245.638 * * [simplify]: Extracting #7: cost 0 inf + 984 1553939245.638 * [simplify]: Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1))) 1553939245.638 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (/ (sqrt (- 1 x)) (sqrt (+ x 1))) (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))))))) 1553939245.638 * [simplify]: Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) 1553939245.638 * * [simplify]: iters left: 5 (7 enodes) 1553939245.640 * * [simplify]: iters left: 4 (26 enodes) 1553939245.644 * * [simplify]: iters left: 3 (31 enodes) 1553939245.651 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939245.651 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939245.651 * * [simplify]: Extracting #2: cost 8 inf + 0 1553939245.651 * * [simplify]: Extracting #3: cost 13 inf + 0 1553939245.651 * * [simplify]: Extracting #4: cost 11 inf + 43 1553939245.651 * * [simplify]: Extracting #5: cost 4 inf + 456 1553939245.651 * * [simplify]: Extracting #6: cost 1 inf + 782 1553939245.652 * * [simplify]: Extracting #7: cost 0 inf + 984 1553939245.652 * [simplify]: Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1))) 1553939245.652 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) (/ (sqrt (- 1 x)) (sqrt (+ x 1)))))))) 1553939245.652 * * * * [progress]: [ 19 / 105 ] simplifiying candidate # 1553939245.652 * [simplify]: Simplifying (/ (sqrt (- 1 x)) 1) 1553939245.652 * * [simplify]: iters left: 5 (5 enodes) 1553939245.654 * * [simplify]: iters left: 4 (17 enodes) 1553939245.656 * * [simplify]: iters left: 3 (22 enodes) 1553939245.660 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939245.660 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939245.660 * * [simplify]: Extracting #2: cost 6 inf + 1 1553939245.660 * * [simplify]: Extracting #3: cost 1 inf + 291 1553939245.660 * * [simplify]: Extracting #4: cost 0 inf + 332 1553939245.660 * [simplify]: Simplified to (sqrt (- 1 x)) 1553939245.660 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (sqrt (- 1 x)) (/ (sqrt (- 1 x)) (+ 1 x))))))) 1553939245.660 * [simplify]: Simplifying (/ (sqrt (- 1 x)) (+ 1 x)) 1553939245.660 * * [simplify]: iters left: 5 (6 enodes) 1553939245.662 * * [simplify]: iters left: 4 (23 enodes) 1553939245.666 * * [simplify]: iters left: 3 (28 enodes) 1553939245.670 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939245.670 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939245.670 * * [simplify]: Extracting #2: cost 9 inf + 0 1553939245.670 * * [simplify]: Extracting #3: cost 9 inf + 2 1553939245.670 * * [simplify]: Extracting #4: cost 5 inf + 211 1553939245.670 * * [simplify]: Extracting #5: cost 1 inf + 578 1553939245.670 * * [simplify]: Extracting #6: cost 0 inf + 740 1553939245.670 * [simplify]: Simplified to (/ (sqrt (- 1 x)) (+ x 1)) 1553939245.670 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (sqrt (- 1 x)) (/ (sqrt (- 1 x)) (+ x 1))))))) 1553939245.670 * * * * [progress]: [ 20 / 105 ] simplifiying candidate # 1553939245.671 * [simplify]: Simplifying (/ (sqrt (- 1 x)) 1) 1553939245.671 * * [simplify]: iters left: 5 (5 enodes) 1553939245.672 * * [simplify]: iters left: 4 (17 enodes) 1553939245.675 * * [simplify]: iters left: 3 (22 enodes) 1553939245.679 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939245.679 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939245.679 * * [simplify]: Extracting #2: cost 6 inf + 1 1553939245.679 * * [simplify]: Extracting #3: cost 1 inf + 291 1553939245.679 * * [simplify]: Extracting #4: cost 0 inf + 332 1553939245.679 * [simplify]: Simplified to (sqrt (- 1 x)) 1553939245.679 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (sqrt (- 1 x)) (/ (sqrt (- 1 x)) (+ 1 x))))))) 1553939245.679 * [simplify]: Simplifying (/ (sqrt (- 1 x)) (+ 1 x)) 1553939245.679 * * [simplify]: iters left: 5 (6 enodes) 1553939245.682 * * [simplify]: iters left: 4 (23 enodes) 1553939245.686 * * [simplify]: iters left: 3 (28 enodes) 1553939245.690 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939245.690 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939245.690 * * [simplify]: Extracting #2: cost 9 inf + 0 1553939245.690 * * [simplify]: Extracting #3: cost 9 inf + 2 1553939245.690 * * [simplify]: Extracting #4: cost 5 inf + 211 1553939245.690 * * [simplify]: Extracting #5: cost 1 inf + 578 1553939245.691 * * [simplify]: Extracting #6: cost 0 inf + 740 1553939245.691 * [simplify]: Simplified to (/ (sqrt (- 1 x)) (+ x 1)) 1553939245.691 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (sqrt (- 1 x)) (/ (sqrt (- 1 x)) (+ x 1))))))) 1553939245.691 * * * * [progress]: [ 21 / 105 ] simplifiying candidate # 1553939245.691 * [simplify]: Simplifying (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1553939245.691 * * [simplify]: iters left: 6 (6 enodes) 1553939245.693 * * [simplify]: iters left: 5 (23 enodes) 1553939245.696 * * [simplify]: iters left: 4 (27 enodes) 1553939245.701 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939245.701 * * [simplify]: Extracting #1: cost 6 inf + 0 1553939245.701 * * [simplify]: Extracting #2: cost 9 inf + 1 1553939245.701 * * [simplify]: Extracting #3: cost 11 inf + 1 1553939245.701 * * [simplify]: Extracting #4: cost 8 inf + 86 1553939245.701 * * [simplify]: Extracting #5: cost 2 inf + 1018 1553939245.701 * * [simplify]: Extracting #6: cost 0 inf + 1382 1553939245.702 * [simplify]: Simplified to (/ 1 (* (cbrt (+ x 1)) (cbrt (+ x 1)))) 1553939245.702 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (/ 1 (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (/ (- 1 x) (cbrt (+ 1 x)))))))) 1553939245.702 * [simplify]: Simplifying (/ (- 1 x) (cbrt (+ 1 x))) 1553939245.702 * * [simplify]: iters left: 5 (6 enodes) 1553939245.704 * * [simplify]: iters left: 4 (26 enodes) 1553939245.709 * * [simplify]: iters left: 3 (37 enodes) 1553939245.715 * * [simplify]: iters left: 2 (41 enodes) 1553939245.721 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939245.721 * * [simplify]: Extracting #1: cost 7 inf + 0 1553939245.721 * * [simplify]: Extracting #2: cost 16 inf + 0 1553939245.721 * * [simplify]: Extracting #3: cost 15 inf + 43 1553939245.721 * * [simplify]: Extracting #4: cost 11 inf + 210 1553939245.721 * * [simplify]: Extracting #5: cost 5 inf + 1102 1553939245.721 * * [simplify]: Extracting #6: cost 0 inf + 1952 1553939245.722 * [simplify]: Simplified to (/ (- 1 x) (cbrt (+ x 1))) 1553939245.722 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (- 1 x) (cbrt (+ x 1)))))))) 1553939245.722 * * * * [progress]: [ 22 / 105 ] simplifiying candidate # 1553939245.722 * [simplify]: Simplifying (/ 1 (sqrt (+ 1 x))) 1553939245.722 * * [simplify]: iters left: 5 (5 enodes) 1553939245.724 * * [simplify]: iters left: 4 (18 enodes) 1553939245.727 * * [simplify]: iters left: 3 (20 enodes) 1553939245.731 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939245.731 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939245.731 * * [simplify]: Extracting #2: cost 5 inf + 1 1553939245.731 * * [simplify]: Extracting #3: cost 7 inf + 1 1553939245.731 * * [simplify]: Extracting #4: cost 0 inf + 494 1553939245.731 * [simplify]: Simplified to (/ 1 (sqrt (+ x 1))) 1553939245.731 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (/ 1 (sqrt (+ x 1))) (/ (- 1 x) (sqrt (+ 1 x)))))))) 1553939245.732 * [simplify]: Simplifying (/ (- 1 x) (sqrt (+ 1 x))) 1553939245.732 * * [simplify]: iters left: 5 (6 enodes) 1553939245.735 * * [simplify]: iters left: 4 (26 enodes) 1553939245.743 * * [simplify]: iters left: 3 (37 enodes) 1553939245.753 * * [simplify]: iters left: 2 (41 enodes) 1553939245.764 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939245.764 * * [simplify]: Extracting #1: cost 7 inf + 0 1553939245.765 * * [simplify]: Extracting #2: cost 16 inf + 0 1553939245.765 * * [simplify]: Extracting #3: cost 15 inf + 43 1553939245.765 * * [simplify]: Extracting #4: cost 11 inf + 210 1553939245.765 * * [simplify]: Extracting #5: cost 5 inf + 902 1553939245.766 * * [simplify]: Extracting #6: cost 0 inf + 1552 1553939245.766 * [simplify]: Simplified to (/ (- 1 x) (sqrt (+ x 1))) 1553939245.766 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ 1 (sqrt (+ 1 x))) (/ (- 1 x) (sqrt (+ x 1)))))))) 1553939245.767 * * * * [progress]: [ 23 / 105 ] simplifiying candidate # 1553939245.767 * [simplify]: Simplifying (/ 1 1) 1553939245.767 * * [simplify]: iters left: 2 (2 enodes) 1553939245.768 * * [simplify]: iters left: 1 (6 enodes) 1553939245.770 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939245.771 * * [simplify]: Extracting #1: cost 0 inf + 1 1553939245.771 * [simplify]: Simplified to 1 1553939245.771 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* 1 (/ (- 1 x) (+ 1 x))))))) 1553939245.771 * [simplify]: Simplifying (/ (- 1 x) (+ 1 x)) 1553939245.771 * * [simplify]: iters left: 4 (5 enodes) 1553939245.774 * * [simplify]: iters left: 3 (23 enodes) 1553939245.782 * * [simplify]: iters left: 2 (34 enodes) 1553939245.791 * * [simplify]: iters left: 1 (38 enodes) 1553939245.803 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939245.803 * * [simplify]: Extracting #1: cost 7 inf + 0 1553939245.803 * * [simplify]: Extracting #2: cost 15 inf + 0 1553939245.803 * * [simplify]: Extracting #3: cost 14 inf + 2 1553939245.803 * * [simplify]: Extracting #4: cost 8 inf + 292 1553939245.803 * * [simplify]: Extracting #5: cost 0 inf + 1068 1553939245.804 * [simplify]: Simplified to (/ (- 1 x) (+ x 1)) 1553939245.804 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* 1 (/ (- 1 x) (+ x 1))))))) 1553939245.804 * * * * [progress]: [ 24 / 105 ] simplifiying candidate # 1553939245.804 * [simplify]: Simplifying (/ 1 1) 1553939245.804 * * [simplify]: iters left: 2 (2 enodes) 1553939245.805 * * [simplify]: iters left: 1 (6 enodes) 1553939245.807 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939245.807 * * [simplify]: Extracting #1: cost 0 inf + 1 1553939245.807 * [simplify]: Simplified to 1 1553939245.807 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* 1 (/ (- 1 x) (+ 1 x))))))) 1553939245.807 * [simplify]: Simplifying (/ (- 1 x) (+ 1 x)) 1553939245.807 * * [simplify]: iters left: 4 (5 enodes) 1553939245.808 * * [simplify]: iters left: 3 (23 enodes) 1553939245.812 * * [simplify]: iters left: 2 (34 enodes) 1553939245.818 * * [simplify]: iters left: 1 (38 enodes) 1553939245.823 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939245.823 * * [simplify]: Extracting #1: cost 7 inf + 0 1553939245.823 * * [simplify]: Extracting #2: cost 15 inf + 0 1553939245.823 * * [simplify]: Extracting #3: cost 14 inf + 2 1553939245.823 * * [simplify]: Extracting #4: cost 8 inf + 292 1553939245.824 * * [simplify]: Extracting #5: cost 0 inf + 1068 1553939245.824 * [simplify]: Simplified to (/ (- 1 x) (+ x 1)) 1553939245.824 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* 1 (/ (- 1 x) (+ x 1))))))) 1553939245.824 * * * * [progress]: [ 25 / 105 ] simplifiying candidate # 1553939245.824 * [simplify]: Simplifying (/ (+ (sqrt 1) (sqrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1553939245.824 * * [simplify]: iters left: 6 (9 enodes) 1553939245.828 * * [simplify]: iters left: 5 (33 enodes) 1553939245.833 * * [simplify]: iters left: 4 (37 enodes) 1553939245.842 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939245.842 * * [simplify]: Extracting #1: cost 6 inf + 0 1553939245.842 * * [simplify]: Extracting #2: cost 13 inf + 0 1553939245.842 * * [simplify]: Extracting #3: cost 15 inf + 1 1553939245.842 * * [simplify]: Extracting #4: cost 12 inf + 85 1553939245.843 * * [simplify]: Extracting #5: cost 5 inf + 898 1553939245.843 * * [simplify]: Extracting #6: cost 0 inf + 1948 1553939245.844 * [simplify]: Simplified to (/ (+ (sqrt x) 1) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1553939245.844 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (/ (+ (sqrt x) 1) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (- (sqrt 1) (sqrt x)) (cbrt (+ 1 x)))))))) 1553939245.844 * [simplify]: Simplifying (/ (- (sqrt 1) (sqrt x)) (cbrt (+ 1 x))) 1553939245.844 * * [simplify]: iters left: 5 (8 enodes) 1553939245.849 * * [simplify]: iters left: 4 (32 enodes) 1553939245.859 * * [simplify]: iters left: 3 (46 enodes) 1553939245.871 * * [simplify]: iters left: 2 (52 enodes) 1553939245.885 * * [simplify]: iters left: 1 (53 enodes) 1553939245.899 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939245.899 * * [simplify]: Extracting #1: cost 8 inf + 0 1553939245.899 * * [simplify]: Extracting #2: cost 18 inf + 0 1553939245.899 * * [simplify]: Extracting #3: cost 21 inf + 1 1553939245.899 * * [simplify]: Extracting #4: cost 17 inf + 166 1553939245.900 * * [simplify]: Extracting #5: cost 6 inf + 1506 1553939245.901 * * [simplify]: Extracting #6: cost 0 inf + 2758 1553939245.902 * [simplify]: Simplified to (/ (- 1 (sqrt x)) (cbrt (+ 1 x))) 1553939245.902 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ (+ (sqrt 1) (sqrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (- 1 (sqrt x)) (cbrt (+ 1 x)))))))) 1553939245.902 * * * * [progress]: [ 26 / 105 ] simplifiying candidate # 1553939245.902 * [simplify]: Simplifying (/ (+ (sqrt 1) (sqrt x)) (sqrt (+ 1 x))) 1553939245.902 * * [simplify]: iters left: 5 (8 enodes) 1553939245.907 * * [simplify]: iters left: 4 (28 enodes) 1553939245.914 * * [simplify]: iters left: 3 (30 enodes) 1553939245.918 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939245.919 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939245.919 * * [simplify]: Extracting #2: cost 9 inf + 0 1553939245.919 * * [simplify]: Extracting #3: cost 11 inf + 1 1553939245.919 * * [simplify]: Extracting #4: cost 4 inf + 332 1553939245.919 * * [simplify]: Extracting #5: cost 1 inf + 698 1553939245.919 * * [simplify]: Extracting #6: cost 0 inf + 900 1553939245.919 * [simplify]: Simplified to (/ (+ (sqrt x) 1) (sqrt (+ 1 x))) 1553939245.919 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (/ (+ (sqrt x) 1) (sqrt (+ 1 x))) (/ (- (sqrt 1) (sqrt x)) (sqrt (+ 1 x)))))))) 1553939245.919 * [simplify]: Simplifying (/ (- (sqrt 1) (sqrt x)) (sqrt (+ 1 x))) 1553939245.920 * * [simplify]: iters left: 5 (8 enodes) 1553939245.923 * * [simplify]: iters left: 4 (32 enodes) 1553939245.928 * * [simplify]: iters left: 3 (46 enodes) 1553939245.935 * * [simplify]: iters left: 2 (52 enodes) 1553939245.943 * * [simplify]: iters left: 1 (53 enodes) 1553939245.957 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939245.957 * * [simplify]: Extracting #1: cost 8 inf + 0 1553939245.958 * * [simplify]: Extracting #2: cost 18 inf + 0 1553939245.958 * * [simplify]: Extracting #3: cost 21 inf + 1 1553939245.958 * * [simplify]: Extracting #4: cost 17 inf + 166 1553939245.958 * * [simplify]: Extracting #5: cost 6 inf + 1266 1553939245.959 * * [simplify]: Extracting #6: cost 0 inf + 2278 1553939245.960 * [simplify]: Simplified to (/ (- 1 (sqrt x)) (sqrt (+ 1 x))) 1553939245.960 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ (+ (sqrt 1) (sqrt x)) (sqrt (+ 1 x))) (/ (- 1 (sqrt x)) (sqrt (+ 1 x)))))))) 1553939245.960 * * * * [progress]: [ 27 / 105 ] simplifiying candidate # 1553939245.961 * [simplify]: Simplifying (/ (+ (sqrt 1) (sqrt x)) 1) 1553939245.961 * * [simplify]: iters left: 5 (6 enodes) 1553939245.965 * * [simplify]: iters left: 4 (19 enodes) 1553939245.970 * * [simplify]: iters left: 3 (21 enodes) 1553939245.976 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939245.976 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939245.976 * * [simplify]: Extracting #2: cost 5 inf + 1 1553939245.976 * * [simplify]: Extracting #3: cost 0 inf + 248 1553939245.977 * [simplify]: Simplified to (+ (sqrt x) 1) 1553939245.977 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (+ (sqrt x) 1) (/ (- (sqrt 1) (sqrt x)) (+ 1 x))))))) 1553939245.977 * [simplify]: Simplifying (/ (- (sqrt 1) (sqrt x)) (+ 1 x)) 1553939245.977 * * [simplify]: iters left: 5 (7 enodes) 1553939245.982 * * [simplify]: iters left: 4 (29 enodes) 1553939245.991 * * [simplify]: iters left: 3 (43 enodes) 1553939246.002 * * [simplify]: iters left: 2 (49 enodes) 1553939246.015 * * [simplify]: iters left: 1 (50 enodes) 1553939246.029 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.029 * * [simplify]: Extracting #1: cost 8 inf + 0 1553939246.029 * * [simplify]: Extracting #2: cost 18 inf + 0 1553939246.029 * * [simplify]: Extracting #3: cost 17 inf + 43 1553939246.030 * * [simplify]: Extracting #4: cost 9 inf + 576 1553939246.030 * * [simplify]: Extracting #5: cost 0 inf + 1714 1553939246.031 * [simplify]: Simplified to (/ (- 1 (sqrt x)) (+ 1 x)) 1553939246.031 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (+ (sqrt x) 1) (/ (- 1 (sqrt x)) (+ 1 x))))))) 1553939246.031 * * * * [progress]: [ 28 / 105 ] simplifiying candidate # 1553939246.031 * [simplify]: Simplifying (/ (+ (sqrt 1) (sqrt x)) 1) 1553939246.031 * * [simplify]: iters left: 5 (6 enodes) 1553939246.035 * * [simplify]: iters left: 4 (19 enodes) 1553939246.041 * * [simplify]: iters left: 3 (21 enodes) 1553939246.047 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.047 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939246.047 * * [simplify]: Extracting #2: cost 5 inf + 1 1553939246.047 * * [simplify]: Extracting #3: cost 0 inf + 248 1553939246.048 * [simplify]: Simplified to (+ (sqrt x) 1) 1553939246.048 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (+ (sqrt x) 1) (/ (- (sqrt 1) (sqrt x)) (+ 1 x))))))) 1553939246.048 * [simplify]: Simplifying (/ (- (sqrt 1) (sqrt x)) (+ 1 x)) 1553939246.048 * * [simplify]: iters left: 5 (7 enodes) 1553939246.053 * * [simplify]: iters left: 4 (29 enodes) 1553939246.062 * * [simplify]: iters left: 3 (43 enodes) 1553939246.073 * * [simplify]: iters left: 2 (49 enodes) 1553939246.079 * * [simplify]: iters left: 1 (50 enodes) 1553939246.086 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.086 * * [simplify]: Extracting #1: cost 8 inf + 0 1553939246.086 * * [simplify]: Extracting #2: cost 18 inf + 0 1553939246.086 * * [simplify]: Extracting #3: cost 17 inf + 43 1553939246.086 * * [simplify]: Extracting #4: cost 9 inf + 576 1553939246.086 * * [simplify]: Extracting #5: cost 0 inf + 1714 1553939246.087 * [simplify]: Simplified to (/ (- 1 (sqrt x)) (+ 1 x)) 1553939246.087 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (+ (sqrt x) 1) (/ (- 1 (sqrt x)) (+ 1 x))))))) 1553939246.087 * * * * [progress]: [ 29 / 105 ] simplifiying candidate # 1553939246.087 * [simplify]: Simplifying (/ (+ 1 (sqrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1553939246.087 * * [simplify]: iters left: 6 (8 enodes) 1553939246.089 * * [simplify]: iters left: 5 (30 enodes) 1553939246.094 * * [simplify]: iters left: 4 (34 enodes) 1553939246.099 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.099 * * [simplify]: Extracting #1: cost 6 inf + 0 1553939246.099 * * [simplify]: Extracting #2: cost 13 inf + 0 1553939246.099 * * [simplify]: Extracting #3: cost 15 inf + 1 1553939246.099 * * [simplify]: Extracting #4: cost 14 inf + 2 1553939246.099 * * [simplify]: Extracting #5: cost 8 inf + 372 1553939246.099 * * [simplify]: Extracting #6: cost 0 inf + 1948 1553939246.100 * [simplify]: Simplified to (/ (+ 1 (sqrt x)) (* (cbrt (+ x 1)) (cbrt (+ x 1)))) 1553939246.100 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (/ (+ 1 (sqrt x)) (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (/ (- 1 (sqrt x)) (cbrt (+ 1 x)))))))) 1553939246.100 * [simplify]: Simplifying (/ (- 1 (sqrt x)) (cbrt (+ 1 x))) 1553939246.100 * * [simplify]: iters left: 5 (7 enodes) 1553939246.102 * * [simplify]: iters left: 4 (29 enodes) 1553939246.107 * * [simplify]: iters left: 3 (40 enodes) 1553939246.119 * * [simplify]: iters left: 2 (44 enodes) 1553939246.128 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.128 * * [simplify]: Extracting #1: cost 7 inf + 0 1553939246.128 * * [simplify]: Extracting #2: cost 16 inf + 0 1553939246.128 * * [simplify]: Extracting #3: cost 19 inf + 1 1553939246.128 * * [simplify]: Extracting #4: cost 18 inf + 2 1553939246.129 * * [simplify]: Extracting #5: cost 7 inf + 980 1553939246.129 * * [simplify]: Extracting #6: cost 1 inf + 2192 1553939246.129 * * [simplify]: Extracting #7: cost 0 inf + 2434 1553939246.130 * [simplify]: Simplified to (/ (- 1 (sqrt x)) (cbrt (+ x 1))) 1553939246.130 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ (+ 1 (sqrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (- 1 (sqrt x)) (cbrt (+ x 1)))))))) 1553939246.130 * * * * [progress]: [ 30 / 105 ] simplifiying candidate # 1553939246.130 * [simplify]: Simplifying (/ (+ 1 (sqrt x)) (sqrt (+ 1 x))) 1553939246.130 * * [simplify]: iters left: 5 (7 enodes) 1553939246.132 * * [simplify]: iters left: 4 (25 enodes) 1553939246.136 * * [simplify]: iters left: 3 (27 enodes) 1553939246.140 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.140 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939246.140 * * [simplify]: Extracting #2: cost 9 inf + 0 1553939246.140 * * [simplify]: Extracting #3: cost 11 inf + 1 1553939246.140 * * [simplify]: Extracting #4: cost 10 inf + 2 1553939246.140 * * [simplify]: Extracting #5: cost 2 inf + 616 1553939246.140 * * [simplify]: Extracting #6: cost 0 inf + 900 1553939246.140 * [simplify]: Simplified to (/ (+ 1 (sqrt x)) (sqrt (+ x 1))) 1553939246.140 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (/ (+ 1 (sqrt x)) (sqrt (+ x 1))) (/ (- 1 (sqrt x)) (sqrt (+ 1 x)))))))) 1553939246.141 * [simplify]: Simplifying (/ (- 1 (sqrt x)) (sqrt (+ 1 x))) 1553939246.141 * * [simplify]: iters left: 5 (7 enodes) 1553939246.143 * * [simplify]: iters left: 4 (29 enodes) 1553939246.147 * * [simplify]: iters left: 3 (40 enodes) 1553939246.154 * * [simplify]: iters left: 2 (44 enodes) 1553939246.161 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.161 * * [simplify]: Extracting #1: cost 7 inf + 0 1553939246.161 * * [simplify]: Extracting #2: cost 16 inf + 0 1553939246.162 * * [simplify]: Extracting #3: cost 19 inf + 1 1553939246.162 * * [simplify]: Extracting #4: cost 18 inf + 2 1553939246.162 * * [simplify]: Extracting #5: cost 7 inf + 820 1553939246.163 * * [simplify]: Extracting #6: cost 1 inf + 1832 1553939246.163 * * [simplify]: Extracting #7: cost 0 inf + 2034 1553939246.164 * [simplify]: Simplified to (/ (- 1 (sqrt x)) (sqrt (+ x 1))) 1553939246.164 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ (+ 1 (sqrt x)) (sqrt (+ 1 x))) (/ (- 1 (sqrt x)) (sqrt (+ x 1)))))))) 1553939246.164 * * * * [progress]: [ 31 / 105 ] simplifiying candidate # 1553939246.165 * [simplify]: Simplifying (/ (+ 1 (sqrt x)) 1) 1553939246.165 * * [simplify]: iters left: 5 (5 enodes) 1553939246.167 * * [simplify]: iters left: 4 (16 enodes) 1553939246.172 * * [simplify]: iters left: 3 (18 enodes) 1553939246.177 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.178 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939246.178 * * [simplify]: Extracting #2: cost 5 inf + 1 1553939246.178 * * [simplify]: Extracting #3: cost 1 inf + 166 1553939246.178 * * [simplify]: Extracting #4: cost 0 inf + 248 1553939246.178 * [simplify]: Simplified to (+ 1 (sqrt x)) 1553939246.178 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (+ 1 (sqrt x)) (/ (- 1 (sqrt x)) (+ 1 x))))))) 1553939246.178 * [simplify]: Simplifying (/ (- 1 (sqrt x)) (+ 1 x)) 1553939246.179 * * [simplify]: iters left: 5 (6 enodes) 1553939246.182 * * [simplify]: iters left: 4 (26 enodes) 1553939246.191 * * [simplify]: iters left: 3 (37 enodes) 1553939246.201 * * [simplify]: iters left: 2 (41 enodes) 1553939246.213 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.213 * * [simplify]: Extracting #1: cost 7 inf + 0 1553939246.213 * * [simplify]: Extracting #2: cost 16 inf + 0 1553939246.213 * * [simplify]: Extracting #3: cost 16 inf + 2 1553939246.213 * * [simplify]: Extracting #4: cost 6 inf + 898 1553939246.214 * * [simplify]: Extracting #5: cost 0 inf + 1550 1553939246.214 * [simplify]: Simplified to (/ (- 1 (sqrt x)) (+ x 1)) 1553939246.214 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (+ 1 (sqrt x)) (/ (- 1 (sqrt x)) (+ x 1))))))) 1553939246.215 * * * * [progress]: [ 32 / 105 ] simplifiying candidate # 1553939246.215 * [simplify]: Simplifying (/ (+ 1 (sqrt x)) 1) 1553939246.215 * * [simplify]: iters left: 5 (5 enodes) 1553939246.217 * * [simplify]: iters left: 4 (16 enodes) 1553939246.222 * * [simplify]: iters left: 3 (18 enodes) 1553939246.227 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.227 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939246.228 * * [simplify]: Extracting #2: cost 5 inf + 1 1553939246.228 * * [simplify]: Extracting #3: cost 1 inf + 166 1553939246.228 * * [simplify]: Extracting #4: cost 0 inf + 248 1553939246.228 * [simplify]: Simplified to (+ 1 (sqrt x)) 1553939246.228 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (+ 1 (sqrt x)) (/ (- 1 (sqrt x)) (+ 1 x))))))) 1553939246.228 * [simplify]: Simplifying (/ (- 1 (sqrt x)) (+ 1 x)) 1553939246.228 * * [simplify]: iters left: 5 (6 enodes) 1553939246.232 * * [simplify]: iters left: 4 (26 enodes) 1553939246.239 * * [simplify]: iters left: 3 (37 enodes) 1553939246.244 * * [simplify]: iters left: 2 (41 enodes) 1553939246.250 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.250 * * [simplify]: Extracting #1: cost 7 inf + 0 1553939246.251 * * [simplify]: Extracting #2: cost 16 inf + 0 1553939246.251 * * [simplify]: Extracting #3: cost 16 inf + 2 1553939246.251 * * [simplify]: Extracting #4: cost 6 inf + 898 1553939246.251 * * [simplify]: Extracting #5: cost 0 inf + 1550 1553939246.251 * [simplify]: Simplified to (/ (- 1 (sqrt x)) (+ x 1)) 1553939246.251 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (+ 1 (sqrt x)) (/ (- 1 (sqrt x)) (+ x 1))))))) 1553939246.251 * * * * [progress]: [ 33 / 105 ] simplifiying candidate # 1553939246.252 * [simplify]: Simplifying (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1553939246.252 * * [simplify]: iters left: 6 (6 enodes) 1553939246.253 * * [simplify]: iters left: 5 (23 enodes) 1553939246.257 * * [simplify]: iters left: 4 (27 enodes) 1553939246.261 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.261 * * [simplify]: Extracting #1: cost 6 inf + 0 1553939246.261 * * [simplify]: Extracting #2: cost 9 inf + 1 1553939246.261 * * [simplify]: Extracting #3: cost 11 inf + 1 1553939246.261 * * [simplify]: Extracting #4: cost 8 inf + 86 1553939246.261 * * [simplify]: Extracting #5: cost 2 inf + 1018 1553939246.261 * * [simplify]: Extracting #6: cost 0 inf + 1382 1553939246.262 * [simplify]: Simplified to (/ 1 (* (cbrt (+ x 1)) (cbrt (+ x 1)))) 1553939246.262 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (/ 1 (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (/ (- 1 x) (cbrt (+ 1 x)))))))) 1553939246.262 * [simplify]: Simplifying (/ (- 1 x) (cbrt (+ 1 x))) 1553939246.262 * * [simplify]: iters left: 5 (6 enodes) 1553939246.263 * * [simplify]: iters left: 4 (26 enodes) 1553939246.271 * * [simplify]: iters left: 3 (37 enodes) 1553939246.281 * * [simplify]: iters left: 2 (41 enodes) 1553939246.294 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.294 * * [simplify]: Extracting #1: cost 7 inf + 0 1553939246.294 * * [simplify]: Extracting #2: cost 16 inf + 0 1553939246.294 * * [simplify]: Extracting #3: cost 15 inf + 43 1553939246.295 * * [simplify]: Extracting #4: cost 11 inf + 210 1553939246.295 * * [simplify]: Extracting #5: cost 5 inf + 1102 1553939246.296 * * [simplify]: Extracting #6: cost 0 inf + 1952 1553939246.296 * [simplify]: Simplified to (/ (- 1 x) (cbrt (+ x 1))) 1553939246.296 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (- 1 x) (cbrt (+ x 1)))))))) 1553939246.297 * * * * [progress]: [ 34 / 105 ] simplifiying candidate # 1553939246.297 * [simplify]: Simplifying (/ 1 (sqrt (+ 1 x))) 1553939246.297 * * [simplify]: iters left: 5 (5 enodes) 1553939246.300 * * [simplify]: iters left: 4 (18 enodes) 1553939246.305 * * [simplify]: iters left: 3 (20 enodes) 1553939246.311 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.311 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939246.311 * * [simplify]: Extracting #2: cost 5 inf + 1 1553939246.311 * * [simplify]: Extracting #3: cost 7 inf + 1 1553939246.312 * * [simplify]: Extracting #4: cost 0 inf + 494 1553939246.312 * [simplify]: Simplified to (/ 1 (sqrt (+ x 1))) 1553939246.312 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (/ 1 (sqrt (+ x 1))) (/ (- 1 x) (sqrt (+ 1 x)))))))) 1553939246.312 * [simplify]: Simplifying (/ (- 1 x) (sqrt (+ 1 x))) 1553939246.312 * * [simplify]: iters left: 5 (6 enodes) 1553939246.315 * * [simplify]: iters left: 4 (26 enodes) 1553939246.324 * * [simplify]: iters left: 3 (37 enodes) 1553939246.334 * * [simplify]: iters left: 2 (41 enodes) 1553939246.345 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.345 * * [simplify]: Extracting #1: cost 7 inf + 0 1553939246.345 * * [simplify]: Extracting #2: cost 16 inf + 0 1553939246.345 * * [simplify]: Extracting #3: cost 15 inf + 43 1553939246.345 * * [simplify]: Extracting #4: cost 11 inf + 210 1553939246.346 * * [simplify]: Extracting #5: cost 5 inf + 902 1553939246.346 * * [simplify]: Extracting #6: cost 0 inf + 1552 1553939246.347 * [simplify]: Simplified to (/ (- 1 x) (sqrt (+ x 1))) 1553939246.347 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ 1 (sqrt (+ 1 x))) (/ (- 1 x) (sqrt (+ x 1)))))))) 1553939246.347 * * * * [progress]: [ 35 / 105 ] simplifiying candidate # 1553939246.347 * [simplify]: Simplifying (/ 1 1) 1553939246.347 * * [simplify]: iters left: 2 (2 enodes) 1553939246.349 * * [simplify]: iters left: 1 (6 enodes) 1553939246.351 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.351 * * [simplify]: Extracting #1: cost 0 inf + 1 1553939246.351 * [simplify]: Simplified to 1 1553939246.351 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* 1 (/ (- 1 x) (+ 1 x))))))) 1553939246.351 * [simplify]: Simplifying (/ (- 1 x) (+ 1 x)) 1553939246.351 * * [simplify]: iters left: 4 (5 enodes) 1553939246.354 * * [simplify]: iters left: 3 (23 enodes) 1553939246.361 * * [simplify]: iters left: 2 (34 enodes) 1553939246.371 * * [simplify]: iters left: 1 (38 enodes) 1553939246.382 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.382 * * [simplify]: Extracting #1: cost 7 inf + 0 1553939246.383 * * [simplify]: Extracting #2: cost 15 inf + 0 1553939246.383 * * [simplify]: Extracting #3: cost 14 inf + 2 1553939246.383 * * [simplify]: Extracting #4: cost 8 inf + 292 1553939246.383 * * [simplify]: Extracting #5: cost 0 inf + 1068 1553939246.384 * [simplify]: Simplified to (/ (- 1 x) (+ x 1)) 1553939246.384 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* 1 (/ (- 1 x) (+ x 1))))))) 1553939246.384 * * * * [progress]: [ 36 / 105 ] simplifiying candidate # 1553939246.384 * [simplify]: Simplifying (/ 1 1) 1553939246.384 * * [simplify]: iters left: 2 (2 enodes) 1553939246.386 * * [simplify]: iters left: 1 (6 enodes) 1553939246.388 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.388 * * [simplify]: Extracting #1: cost 0 inf + 1 1553939246.388 * [simplify]: Simplified to 1 1553939246.388 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* 1 (/ (- 1 x) (+ 1 x))))))) 1553939246.388 * [simplify]: Simplifying (/ (- 1 x) (+ 1 x)) 1553939246.388 * * [simplify]: iters left: 4 (5 enodes) 1553939246.391 * * [simplify]: iters left: 3 (23 enodes) 1553939246.399 * * [simplify]: iters left: 2 (34 enodes) 1553939246.409 * * [simplify]: iters left: 1 (38 enodes) 1553939246.420 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.420 * * [simplify]: Extracting #1: cost 7 inf + 0 1553939246.420 * * [simplify]: Extracting #2: cost 15 inf + 0 1553939246.420 * * [simplify]: Extracting #3: cost 14 inf + 2 1553939246.420 * * [simplify]: Extracting #4: cost 8 inf + 292 1553939246.421 * * [simplify]: Extracting #5: cost 0 inf + 1068 1553939246.421 * [simplify]: Simplified to (/ (- 1 x) (+ x 1)) 1553939246.421 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* 1 (/ (- 1 x) (+ x 1))))))) 1553939246.421 * * * * [progress]: [ 37 / 105 ] simplifiying candidate # 1553939246.421 * * * * [progress]: [ 38 / 105 ] simplifiying candidate # 1553939246.421 * * * * [progress]: [ 39 / 105 ] simplifiying candidate # 1553939246.422 * * * * [progress]: [ 40 / 105 ] simplifiying candidate # 1553939246.422 * [simplify]: Simplifying (cbrt (+ 1 x)) 1553939246.422 * * [simplify]: iters left: 3 (4 enodes) 1553939246.424 * * [simplify]: iters left: 2 (15 enodes) 1553939246.429 * * [simplify]: iters left: 1 (17 enodes) 1553939246.434 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.434 * * [simplify]: Extracting #1: cost 3 inf + 0 1553939246.434 * * [simplify]: Extracting #2: cost 6 inf + 0 1553939246.434 * * [simplify]: Extracting #3: cost 2 inf + 86 1553939246.434 * * [simplify]: Extracting #4: cost 1 inf + 208 1553939246.434 * * [simplify]: Extracting #5: cost 0 inf + 330 1553939246.435 * [simplify]: Simplified to (cbrt (+ x 1)) 1553939246.435 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (/ (/ (- 1 x) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (cbrt (+ x 1))))))) 1553939246.435 * * * * [progress]: [ 41 / 105 ] simplifiying candidate # 1553939246.435 * [simplify]: Simplifying (sqrt (+ 1 x)) 1553939246.435 * * [simplify]: iters left: 3 (4 enodes) 1553939246.437 * * [simplify]: iters left: 2 (15 enodes) 1553939246.444 * * [simplify]: iters left: 1 (17 enodes) 1553939246.449 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.449 * * [simplify]: Extracting #1: cost 3 inf + 0 1553939246.449 * * [simplify]: Extracting #2: cost 6 inf + 0 1553939246.449 * * [simplify]: Extracting #3: cost 2 inf + 86 1553939246.449 * * [simplify]: Extracting #4: cost 1 inf + 168 1553939246.449 * * [simplify]: Extracting #5: cost 0 inf + 250 1553939246.450 * [simplify]: Simplified to (sqrt (+ x 1)) 1553939246.450 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (/ (/ (- 1 x) (sqrt (+ 1 x))) (sqrt (+ x 1))))))) 1553939246.450 * * * * [progress]: [ 42 / 105 ] simplifiying candidate # 1553939246.450 * [simplify]: Simplifying (+ 1 x) 1553939246.450 * * [simplify]: iters left: 2 (3 enodes) 1553939246.452 * * [simplify]: iters left: 1 (12 enodes) 1553939246.457 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.457 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939246.457 * * [simplify]: Extracting #2: cost 2 inf + 2 1553939246.457 * * [simplify]: Extracting #3: cost 0 inf + 86 1553939246.457 * [simplify]: Simplified to (+ x 1) 1553939246.457 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (/ (/ (- 1 x) 1) (+ x 1)))))) 1553939246.457 * * * * [progress]: [ 43 / 105 ] simplifiying candidate # 1553939246.457 * [simplify]: Simplifying (+ 1 x) 1553939246.458 * * [simplify]: iters left: 2 (3 enodes) 1553939246.459 * * [simplify]: iters left: 1 (12 enodes) 1553939246.463 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.463 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939246.463 * * [simplify]: Extracting #2: cost 2 inf + 2 1553939246.463 * * [simplify]: Extracting #3: cost 0 inf + 86 1553939246.463 * [simplify]: Simplified to (+ x 1) 1553939246.463 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (/ (/ (- 1 x) 1) (+ x 1)))))) 1553939246.464 * * * * [progress]: [ 44 / 105 ] simplifiying candidate # 1553939246.464 * [simplify]: Simplifying (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1553939246.464 * * [simplify]: iters left: 5 (5 enodes) 1553939246.467 * * [simplify]: iters left: 4 (19 enodes) 1553939246.473 * * [simplify]: iters left: 3 (24 enodes) 1553939246.477 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.477 * * [simplify]: Extracting #1: cost 3 inf + 0 1553939246.477 * * [simplify]: Extracting #2: cost 5 inf + 0 1553939246.477 * * [simplify]: Extracting #3: cost 9 inf + 0 1553939246.477 * * [simplify]: Extracting #4: cost 7 inf + 43 1553939246.477 * * [simplify]: Extracting #5: cost 0 inf + 736 1553939246.477 * [simplify]: Simplified to (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1553939246.477 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (/ (+ 1 x) (cbrt (- 1 x)))))))) 1553939246.477 * * * * [progress]: [ 45 / 105 ] simplifiying candidate # 1553939246.477 * [simplify]: Simplifying (sqrt (- 1 x)) 1553939246.477 * * [simplify]: iters left: 3 (4 enodes) 1553939246.479 * * [simplify]: iters left: 2 (16 enodes) 1553939246.481 * * [simplify]: iters left: 1 (21 enodes) 1553939246.485 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.485 * * [simplify]: Extracting #1: cost 3 inf + 0 1553939246.485 * * [simplify]: Extracting #2: cost 7 inf + 0 1553939246.485 * * [simplify]: Extracting #3: cost 5 inf + 43 1553939246.485 * * [simplify]: Extracting #4: cost 0 inf + 332 1553939246.485 * [simplify]: Simplified to (sqrt (- 1 x)) 1553939246.485 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (/ (sqrt (- 1 x)) (/ (+ 1 x) (sqrt (- 1 x)))))))) 1553939246.485 * * * * [progress]: [ 46 / 105 ] simplifiying candidate # 1553939246.485 * * * * [progress]: [ 47 / 105 ] simplifiying candidate # 1553939246.485 * [simplify]: Simplifying (+ (sqrt 1) (sqrt x)) 1553939246.485 * * [simplify]: iters left: 3 (5 enodes) 1553939246.488 * * [simplify]: iters left: 2 (18 enodes) 1553939246.490 * * [simplify]: iters left: 1 (20 enodes) 1553939246.493 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.493 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939246.493 * * [simplify]: Extracting #2: cost 5 inf + 1 1553939246.493 * * [simplify]: Extracting #3: cost 0 inf + 248 1553939246.493 * [simplify]: Simplified to (+ (sqrt x) 1) 1553939246.493 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (/ (+ (sqrt x) 1) (/ (+ 1 x) (- (sqrt 1) (sqrt x)))))))) 1553939246.493 * * * * [progress]: [ 48 / 105 ] simplifiying candidate # 1553939246.494 * [simplify]: Simplifying (+ 1 (sqrt x)) 1553939246.494 * * [simplify]: iters left: 3 (4 enodes) 1553939246.495 * * [simplify]: iters left: 2 (15 enodes) 1553939246.497 * * [simplify]: iters left: 1 (17 enodes) 1553939246.499 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.499 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939246.500 * * [simplify]: Extracting #2: cost 5 inf + 1 1553939246.500 * * [simplify]: Extracting #3: cost 0 inf + 248 1553939246.500 * [simplify]: Simplified to (+ 1 (sqrt x)) 1553939246.500 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (/ (+ 1 (sqrt x)) (/ (+ 1 x) (- 1 (sqrt x)))))))) 1553939246.500 * * * * [progress]: [ 49 / 105 ] simplifiying candidate # 1553939246.500 * * * * [progress]: [ 50 / 105 ] simplifiying candidate # 1553939246.500 * [simplify]: Simplifying (+ (* 1 1) (- (* x x) (* 1 x))) 1553939246.500 * * [simplify]: iters left: 6 (7 enodes) 1553939246.504 * * [simplify]: iters left: 5 (27 enodes) 1553939246.513 * * [simplify]: iters left: 4 (48 enodes) 1553939246.528 * * [simplify]: iters left: 3 (82 enodes) 1553939246.554 * * [simplify]: iters left: 2 (109 enodes) 1553939246.585 * * [simplify]: iters left: 1 (115 enodes) 1553939246.613 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.613 * * [simplify]: Extracting #1: cost 21 inf + 0 1553939246.614 * * [simplify]: Extracting #2: cost 17 inf + 676 1553939246.615 * * [simplify]: Extracting #3: cost 2 inf + 1623 1553939246.616 * * [simplify]: Extracting #4: cost 0 inf + 1825 1553939246.617 * [simplify]: Simplified to (fma x x (- 1 x)) 1553939246.617 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ (- 1 x) (+ (pow 1 3) (pow x 3))) (fma x x (- 1 x))))))) 1553939246.617 * * * * [progress]: [ 51 / 105 ] simplifiying candidate # 1553939246.618 * [simplify]: Simplifying (- 1 x) 1553939246.618 * * [simplify]: iters left: 2 (3 enodes) 1553939246.620 * * [simplify]: iters left: 1 (13 enodes) 1553939246.624 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.624 * * [simplify]: Extracting #1: cost 5 inf + 0 1553939246.624 * * [simplify]: Extracting #2: cost 3 inf + 43 1553939246.624 * * [simplify]: Extracting #3: cost 0 inf + 168 1553939246.624 * [simplify]: Simplified to (- 1 x) 1553939246.624 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ (- 1 x) (- (* 1 1) (* x x))) (- 1 x)))))) 1553939246.624 * * * * [progress]: [ 52 / 105 ] simplifiying candidate # 1553939246.625 * [simplify]: Simplifying (- (pow 1 3) (pow x 3)) 1553939246.625 * * [simplify]: iters left: 3 (6 enodes) 1553939246.629 * * [simplify]: iters left: 2 (30 enodes) 1553939246.641 * * [simplify]: iters left: 1 (61 enodes) 1553939246.663 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.664 * * [simplify]: Extracting #1: cost 11 inf + 0 1553939246.664 * * [simplify]: Extracting #2: cost 20 inf + 165 1553939246.664 * * [simplify]: Extracting #3: cost 14 inf + 775 1553939246.665 * * [simplify]: Extracting #4: cost 11 inf + 1191 1553939246.666 * * [simplify]: Extracting #5: cost 3 inf + 3127 1553939246.666 * * [simplify]: Extracting #6: cost 0 inf + 4054 1553939246.667 * [simplify]: Simplified to (- 1 (* (* x x) x)) 1553939246.667 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (/ (- 1 (* (* x x) x)) (* (+ 1 x) (+ (* 1 1) (+ (* x x) (* 1 x))))))))) 1553939246.668 * * * * [progress]: [ 53 / 105 ] simplifiying candidate # 1553939246.668 * [simplify]: Simplifying (- (* 1 1) (* x x)) 1553939246.668 * * [simplify]: iters left: 4 (5 enodes) 1553939246.671 * * [simplify]: iters left: 3 (18 enodes) 1553939246.677 * * [simplify]: iters left: 2 (26 enodes) 1553939246.685 * * [simplify]: iters left: 1 (30 enodes) 1553939246.692 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.692 * * [simplify]: Extracting #1: cost 7 inf + 0 1553939246.693 * * [simplify]: Extracting #2: cost 8 inf + 2 1553939246.693 * * [simplify]: Extracting #3: cost 0 inf + 492 1553939246.693 * [simplify]: Simplified to (- 1 (* x x)) 1553939246.693 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (/ (- 1 (* x x)) (* (+ 1 x) (+ 1 x))))))) 1553939246.693 * * * * [progress]: [ 54 / 105 ] simplifiying candidate #real (real->posit16 (/ (- 1 x) (+ 1 x))))))))> 1553939246.693 * * * * [progress]: [ 55 / 105 ] simplifiying candidate # 1553939246.693 * * * * [progress]: [ 56 / 105 ] simplifiying candidate # 1553939246.694 * * * * [progress]: [ 57 / 105 ] simplifiying candidate # 1553939246.694 * * * * [progress]: [ 58 / 105 ] simplifiying candidate # 1553939246.694 * * * * [progress]: [ 59 / 105 ] simplifiying candidate # 1553939246.694 * * * * [progress]: [ 60 / 105 ] simplifiying candidate # 1553939246.694 * * * * [progress]: [ 61 / 105 ] simplifiying candidate # 1553939246.694 * * * * [progress]: [ 62 / 105 ] simplifiying candidate # 1553939246.694 * * * * [progress]: [ 63 / 105 ] simplifiying candidate # 1553939246.694 * [simplify]: Simplifying (sqrt (* (cbrt (/ (- 1 x) (+ 1 x))) (cbrt (/ (- 1 x) (+ 1 x))))) 1553939246.694 * * [simplify]: iters left: 6 (8 enodes) 1553939246.698 * * [simplify]: iters left: 5 (33 enodes) 1553939246.708 * * [simplify]: iters left: 4 (44 enodes) 1553939246.715 * * [simplify]: iters left: 3 (48 enodes) 1553939246.721 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.721 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939246.722 * * [simplify]: Extracting #2: cost 7 inf + 0 1553939246.722 * * [simplify]: Extracting #3: cost 13 inf + 0 1553939246.722 * * [simplify]: Extracting #4: cost 21 inf + 0 1553939246.722 * * [simplify]: Extracting #5: cost 20 inf + 2 1553939246.722 * * [simplify]: Extracting #6: cost 13 inf + 375 1553939246.722 * * [simplify]: Extracting #7: cost 2 inf + 1956 1553939246.722 * * [simplify]: Extracting #8: cost 0 inf + 2440 1553939246.723 * [simplify]: Simplified to (fabs (cbrt (/ (- 1 x) (+ x 1)))) 1553939246.723 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (fabs (cbrt (/ (- 1 x) (+ x 1)))) (sqrt (cbrt (/ (- 1 x) (+ 1 x)))))))) 1553939246.723 * * * * [progress]: [ 64 / 105 ] simplifiying candidate # 1553939246.723 * [simplify]: Simplifying (sqrt (sqrt (/ (- 1 x) (+ 1 x)))) 1553939246.723 * * [simplify]: iters left: 6 (7 enodes) 1553939246.725 * * [simplify]: iters left: 5 (29 enodes) 1553939246.731 * * [simplify]: iters left: 4 (40 enodes) 1553939246.742 * * [simplify]: iters left: 3 (44 enodes) 1553939246.755 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.755 * * [simplify]: Extracting #1: cost 3 inf + 0 1553939246.755 * * [simplify]: Extracting #2: cost 5 inf + 0 1553939246.755 * * [simplify]: Extracting #3: cost 11 inf + 0 1553939246.755 * * [simplify]: Extracting #4: cost 19 inf + 0 1553939246.755 * * [simplify]: Extracting #5: cost 18 inf + 2 1553939246.755 * * [simplify]: Extracting #6: cost 11 inf + 374 1553939246.756 * * [simplify]: Extracting #7: cost 3 inf + 1270 1553939246.757 * * [simplify]: Extracting #8: cost 0 inf + 1796 1553939246.757 * [simplify]: Simplified to (sqrt (sqrt (/ (- 1 x) (+ x 1)))) 1553939246.757 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (sqrt (/ (- 1 x) (+ x 1)))) (sqrt (sqrt (/ (- 1 x) (+ 1 x)))))))) 1553939246.758 * * * * [progress]: [ 65 / 105 ] simplifiying candidate # 1553939246.758 * [simplify]: Simplifying (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1553939246.758 * * [simplify]: iters left: 6 (10 enodes) 1553939246.763 * * [simplify]: iters left: 5 (41 enodes) 1553939246.776 * * [simplify]: iters left: 4 (62 enodes) 1553939246.793 * * [simplify]: iters left: 3 (69 enodes) 1553939246.812 * * [simplify]: iters left: 2 (72 enodes) 1553939246.831 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.831 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939246.831 * * [simplify]: Extracting #2: cost 14 inf + 0 1553939246.831 * * [simplify]: Extracting #3: cost 24 inf + 0 1553939246.831 * * [simplify]: Extracting #4: cost 29 inf + 0 1553939246.831 * * [simplify]: Extracting #5: cost 26 inf + 86 1553939246.832 * * [simplify]: Extracting #6: cost 10 inf + 2796 1553939246.834 * * [simplify]: Extracting #7: cost 1 inf + 5454 1553939246.835 * * [simplify]: Extracting #8: cost 0 inf + 5736 1553939246.838 * [simplify]: Simplified to (fabs (/ (cbrt (- 1 x)) (cbrt (+ x 1)))) 1553939246.839 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (fabs (/ (cbrt (- 1 x)) (cbrt (+ x 1)))) (sqrt (/ (cbrt (- 1 x)) (cbrt (+ 1 x)))))))) 1553939246.839 * * * * [progress]: [ 66 / 105 ] simplifiying candidate # 1553939246.839 * [simplify]: Simplifying (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ 1 x)))) 1553939246.839 * * [simplify]: iters left: 6 (9 enodes) 1553939246.844 * * [simplify]: iters left: 5 (34 enodes) 1553939246.854 * * [simplify]: iters left: 4 (43 enodes) 1553939246.866 * * [simplify]: iters left: 3 (46 enodes) 1553939246.878 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.878 * * [simplify]: Extracting #1: cost 3 inf + 0 1553939246.878 * * [simplify]: Extracting #2: cost 9 inf + 0 1553939246.879 * * [simplify]: Extracting #3: cost 16 inf + 0 1553939246.879 * * [simplify]: Extracting #4: cost 21 inf + 0 1553939246.879 * * [simplify]: Extracting #5: cost 19 inf + 43 1553939246.879 * * [simplify]: Extracting #6: cost 15 inf + 290 1553939246.879 * * [simplify]: Extracting #7: cost 6 inf + 1508 1553939246.880 * * [simplify]: Extracting #8: cost 0 inf + 3160 1553939246.881 * [simplify]: Simplified to (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ x 1)))) 1553939246.881 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ x 1)))) (sqrt (/ (cbrt (- 1 x)) (sqrt (+ 1 x)))))))) 1553939246.881 * * * * [progress]: [ 67 / 105 ] simplifiying candidate # 1553939246.882 * [simplify]: Simplifying (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1)) 1553939246.882 * * [simplify]: iters left: 6 (7 enodes) 1553939246.885 * * [simplify]: iters left: 5 (25 enodes) 1553939246.893 * * [simplify]: iters left: 4 (39 enodes) 1553939246.904 * * [simplify]: iters left: 3 (40 enodes) 1553939246.914 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.914 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939246.914 * * [simplify]: Extracting #2: cost 9 inf + 0 1553939246.914 * * [simplify]: Extracting #3: cost 12 inf + 1 1553939246.914 * * [simplify]: Extracting #4: cost 11 inf + 43 1553939246.914 * * [simplify]: Extracting #5: cost 5 inf + 614 1553939246.915 * * [simplify]: Extracting #6: cost 1 inf + 1222 1553939246.915 * * [simplify]: Extracting #7: cost 0 inf + 1384 1553939246.916 * [simplify]: Simplified to (fabs (cbrt (- 1 x))) 1553939246.916 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (fabs (cbrt (- 1 x))) (sqrt (/ (cbrt (- 1 x)) (+ 1 x))))))) 1553939246.916 * * * * [progress]: [ 68 / 105 ] simplifiying candidate # 1553939246.916 * [simplify]: Simplifying (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1)) 1553939246.916 * * [simplify]: iters left: 6 (7 enodes) 1553939246.920 * * [simplify]: iters left: 5 (25 enodes) 1553939246.928 * * [simplify]: iters left: 4 (39 enodes) 1553939246.939 * * [simplify]: iters left: 3 (40 enodes) 1553939246.945 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.945 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939246.945 * * [simplify]: Extracting #2: cost 9 inf + 0 1553939246.945 * * [simplify]: Extracting #3: cost 12 inf + 1 1553939246.945 * * [simplify]: Extracting #4: cost 11 inf + 43 1553939246.945 * * [simplify]: Extracting #5: cost 5 inf + 614 1553939246.945 * * [simplify]: Extracting #6: cost 1 inf + 1222 1553939246.946 * * [simplify]: Extracting #7: cost 0 inf + 1384 1553939246.946 * [simplify]: Simplified to (fabs (cbrt (- 1 x))) 1553939246.946 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (fabs (cbrt (- 1 x))) (sqrt (/ (cbrt (- 1 x)) (+ 1 x))))))) 1553939246.946 * * * * [progress]: [ 69 / 105 ] simplifiying candidate # 1553939246.946 * [simplify]: Simplifying (sqrt (/ (sqrt (- 1 x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1553939246.946 * * [simplify]: iters left: 6 (9 enodes) 1553939246.948 * * [simplify]: iters left: 5 (34 enodes) 1553939246.953 * * [simplify]: iters left: 4 (41 enodes) 1553939246.959 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.959 * * [simplify]: Extracting #1: cost 3 inf + 0 1553939246.959 * * [simplify]: Extracting #2: cost 8 inf + 0 1553939246.959 * * [simplify]: Extracting #3: cost 14 inf + 0 1553939246.959 * * [simplify]: Extracting #4: cost 19 inf + 0 1553939246.959 * * [simplify]: Extracting #5: cost 17 inf + 43 1553939246.960 * * [simplify]: Extracting #6: cost 10 inf + 656 1553939246.960 * * [simplify]: Extracting #7: cost 3 inf + 1750 1553939246.960 * * [simplify]: Extracting #8: cost 0 inf + 2676 1553939246.961 * [simplify]: Simplified to (sqrt (/ (sqrt (- 1 x)) (* (cbrt (+ x 1)) (cbrt (+ x 1))))) 1553939246.961 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ (sqrt (- 1 x)) (* (cbrt (+ x 1)) (cbrt (+ x 1))))) (sqrt (/ (sqrt (- 1 x)) (cbrt (+ 1 x)))))))) 1553939246.961 * * * * [progress]: [ 70 / 105 ] simplifiying candidate # 1553939246.961 * [simplify]: Simplifying (sqrt (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))) 1553939246.961 * * [simplify]: iters left: 6 (8 enodes) 1553939246.963 * * [simplify]: iters left: 5 (29 enodes) 1553939246.972 * * [simplify]: iters left: 4 (34 enodes) 1553939246.981 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.981 * * [simplify]: Extracting #1: cost 3 inf + 0 1553939246.981 * * [simplify]: Extracting #2: cost 6 inf + 0 1553939246.981 * * [simplify]: Extracting #3: cost 10 inf + 0 1553939246.981 * * [simplify]: Extracting #4: cost 15 inf + 0 1553939246.981 * * [simplify]: Extracting #5: cost 14 inf + 2 1553939246.982 * * [simplify]: Extracting #6: cost 6 inf + 416 1553939246.982 * * [simplify]: Extracting #7: cost 0 inf + 1468 1553939246.983 * [simplify]: Simplified to (sqrt (/ (sqrt (- 1 x)) (sqrt (+ x 1)))) 1553939246.983 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ (sqrt (- 1 x)) (sqrt (+ x 1)))) (sqrt (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))))))) 1553939246.983 * * * * [progress]: [ 71 / 105 ] simplifiying candidate # 1553939246.983 * [simplify]: Simplifying (sqrt (/ (sqrt (- 1 x)) 1)) 1553939246.983 * * [simplify]: iters left: 6 (6 enodes) 1553939246.986 * * [simplify]: iters left: 5 (20 enodes) 1553939246.992 * * [simplify]: iters left: 4 (25 enodes) 1553939246.999 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939246.999 * * [simplify]: Extracting #1: cost 3 inf + 0 1553939246.999 * * [simplify]: Extracting #2: cost 6 inf + 0 1553939247.000 * * [simplify]: Extracting #3: cost 8 inf + 1 1553939247.000 * * [simplify]: Extracting #4: cost 7 inf + 43 1553939247.000 * * [simplify]: Extracting #5: cost 1 inf + 454 1553939247.000 * * [simplify]: Extracting #6: cost 0 inf + 576 1553939247.000 * [simplify]: Simplified to (sqrt (sqrt (- 1 x))) 1553939247.000 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (sqrt (- 1 x))) (sqrt (/ (sqrt (- 1 x)) (+ 1 x))))))) 1553939247.000 * * * * [progress]: [ 72 / 105 ] simplifiying candidate # 1553939247.001 * [simplify]: Simplifying (sqrt (/ (sqrt (- 1 x)) 1)) 1553939247.001 * * [simplify]: iters left: 6 (6 enodes) 1553939247.004 * * [simplify]: iters left: 5 (20 enodes) 1553939247.010 * * [simplify]: iters left: 4 (25 enodes) 1553939247.018 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939247.018 * * [simplify]: Extracting #1: cost 3 inf + 0 1553939247.018 * * [simplify]: Extracting #2: cost 6 inf + 0 1553939247.018 * * [simplify]: Extracting #3: cost 8 inf + 1 1553939247.018 * * [simplify]: Extracting #4: cost 7 inf + 43 1553939247.019 * * [simplify]: Extracting #5: cost 1 inf + 454 1553939247.019 * * [simplify]: Extracting #6: cost 0 inf + 576 1553939247.019 * [simplify]: Simplified to (sqrt (sqrt (- 1 x))) 1553939247.019 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (sqrt (- 1 x))) (sqrt (/ (sqrt (- 1 x)) (+ 1 x))))))) 1553939247.019 * * * * [progress]: [ 73 / 105 ] simplifiying candidate # 1553939247.020 * [simplify]: Simplifying (sqrt (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1553939247.020 * * [simplify]: iters left: 6 (7 enodes) 1553939247.023 * * [simplify]: iters left: 5 (26 enodes) 1553939247.031 * * [simplify]: iters left: 4 (30 enodes) 1553939247.040 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939247.040 * * [simplify]: Extracting #1: cost 3 inf + 0 1553939247.040 * * [simplify]: Extracting #2: cost 8 inf + 0 1553939247.040 * * [simplify]: Extracting #3: cost 11 inf + 1 1553939247.040 * * [simplify]: Extracting #4: cost 13 inf + 1 1553939247.040 * * [simplify]: Extracting #5: cost 12 inf + 2 1553939247.040 * * [simplify]: Extracting #6: cost 6 inf + 654 1553939247.041 * * [simplify]: Extracting #7: cost 4 inf + 1018 1553939247.041 * * [simplify]: Extracting #8: cost 1 inf + 1624 1553939247.042 * * [simplify]: Extracting #9: cost 0 inf + 1866 1553939247.042 * [simplify]: Simplified to (sqrt (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1)))) 1553939247.042 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1)))) (sqrt (/ (- 1 x) (cbrt (+ 1 x)))))))) 1553939247.042 * * * * [progress]: [ 74 / 105 ] simplifiying candidate # 1553939247.043 * [simplify]: Simplifying (sqrt (/ 1 (sqrt (+ 1 x)))) 1553939247.043 * * [simplify]: iters left: 6 (6 enodes) 1553939247.046 * * [simplify]: iters left: 5 (21 enodes) 1553939247.053 * * [simplify]: iters left: 4 (23 enodes) 1553939247.059 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939247.059 * * [simplify]: Extracting #1: cost 3 inf + 0 1553939247.059 * * [simplify]: Extracting #2: cost 6 inf + 0 1553939247.059 * * [simplify]: Extracting #3: cost 7 inf + 1 1553939247.060 * * [simplify]: Extracting #4: cost 9 inf + 1 1553939247.060 * * [simplify]: Extracting #5: cost 8 inf + 2 1553939247.060 * * [simplify]: Extracting #6: cost 1 inf + 656 1553939247.060 * * [simplify]: Extracting #7: cost 0 inf + 818 1553939247.060 * [simplify]: Simplified to (sqrt (/ 1 (sqrt (+ x 1)))) 1553939247.060 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ 1 (sqrt (+ x 1)))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))))) 1553939247.061 * * * * [progress]: [ 75 / 105 ] simplifiying candidate # 1553939247.061 * [simplify]: Simplifying (sqrt (/ 1 1)) 1553939247.061 * * [simplify]: iters left: 3 (3 enodes) 1553939247.065 * * [simplify]: iters left: 2 (9 enodes) 1553939247.067 * * [simplify]: iters left: 1 (11 enodes) 1553939247.070 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939247.070 * * [simplify]: Extracting #1: cost 0 inf + 1 1553939247.070 * [simplify]: Simplified to 1 1553939247.070 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* 1 (sqrt (/ (- 1 x) (+ 1 x))))))) 1553939247.070 * * * * [progress]: [ 76 / 105 ] simplifiying candidate # 1553939247.071 * [simplify]: Simplifying (sqrt (/ 1 1)) 1553939247.071 * * [simplify]: iters left: 3 (3 enodes) 1553939247.074 * * [simplify]: iters left: 2 (9 enodes) 1553939247.077 * * [simplify]: iters left: 1 (11 enodes) 1553939247.078 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939247.078 * * [simplify]: Extracting #1: cost 0 inf + 1 1553939247.078 * [simplify]: Simplified to 1 1553939247.078 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* 1 (sqrt (/ (- 1 x) (+ 1 x))))))) 1553939247.078 * * * * [progress]: [ 77 / 105 ] simplifiying candidate # 1553939247.079 * [simplify]: Simplifying (sqrt (/ (+ (sqrt 1) (sqrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1553939247.079 * * [simplify]: iters left: 6 (10 enodes) 1553939247.082 * * [simplify]: iters left: 5 (36 enodes) 1553939247.088 * * [simplify]: iters left: 4 (40 enodes) 1553939247.094 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939247.094 * * [simplify]: Extracting #1: cost 3 inf + 0 1553939247.094 * * [simplify]: Extracting #2: cost 8 inf + 0 1553939247.094 * * [simplify]: Extracting #3: cost 15 inf + 0 1553939247.094 * * [simplify]: Extracting #4: cost 17 inf + 1 1553939247.094 * * [simplify]: Extracting #5: cost 13 inf + 127 1553939247.094 * * [simplify]: Extracting #6: cost 4 inf + 1384 1553939247.094 * * [simplify]: Extracting #7: cost 0 inf + 2592 1553939247.095 * [simplify]: Simplified to (sqrt (/ (+ (sqrt x) 1) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1553939247.095 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ (+ (sqrt x) 1) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) (sqrt (/ (- (sqrt 1) (sqrt x)) (cbrt (+ 1 x)))))))) 1553939247.095 * * * * [progress]: [ 78 / 105 ] simplifiying candidate # 1553939247.095 * [simplify]: Simplifying (sqrt (/ (+ (sqrt 1) (sqrt x)) (sqrt (+ 1 x)))) 1553939247.095 * * [simplify]: iters left: 6 (9 enodes) 1553939247.098 * * [simplify]: iters left: 5 (31 enodes) 1553939247.104 * * [simplify]: iters left: 4 (33 enodes) 1553939247.110 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939247.110 * * [simplify]: Extracting #1: cost 3 inf + 0 1553939247.110 * * [simplify]: Extracting #2: cost 6 inf + 0 1553939247.110 * * [simplify]: Extracting #3: cost 11 inf + 0 1553939247.110 * * [simplify]: Extracting #4: cost 13 inf + 1 1553939247.110 * * [simplify]: Extracting #5: cost 9 inf + 126 1553939247.110 * * [simplify]: Extracting #6: cost 5 inf + 534 1553939247.111 * * [simplify]: Extracting #7: cost 0 inf + 1384 1553939247.111 * [simplify]: Simplified to (sqrt (/ (+ (sqrt x) 1) (sqrt (+ 1 x)))) 1553939247.111 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ (+ (sqrt x) 1) (sqrt (+ 1 x)))) (sqrt (/ (- (sqrt 1) (sqrt x)) (sqrt (+ 1 x)))))))) 1553939247.112 * * * * [progress]: [ 79 / 105 ] simplifiying candidate # 1553939247.112 * [simplify]: Simplifying (sqrt (/ (+ (sqrt 1) (sqrt x)) 1)) 1553939247.112 * * [simplify]: iters left: 6 (7 enodes) 1553939247.117 * * [simplify]: iters left: 5 (22 enodes) 1553939247.123 * * [simplify]: iters left: 4 (24 enodes) 1553939247.128 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939247.128 * * [simplify]: Extracting #1: cost 3 inf + 0 1553939247.128 * * [simplify]: Extracting #2: cost 6 inf + 0 1553939247.128 * * [simplify]: Extracting #3: cost 7 inf + 1 1553939247.128 * * [simplify]: Extracting #4: cost 1 inf + 370 1553939247.128 * * [simplify]: Extracting #5: cost 0 inf + 492 1553939247.128 * [simplify]: Simplified to (sqrt (+ (sqrt x) 1)) 1553939247.128 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (+ (sqrt x) 1)) (sqrt (/ (- (sqrt 1) (sqrt x)) (+ 1 x))))))) 1553939247.128 * * * * [progress]: [ 80 / 105 ] simplifiying candidate # 1553939247.128 * [simplify]: Simplifying (sqrt (/ (+ (sqrt 1) (sqrt x)) 1)) 1553939247.128 * * [simplify]: iters left: 6 (7 enodes) 1553939247.131 * * [simplify]: iters left: 5 (22 enodes) 1553939247.134 * * [simplify]: iters left: 4 (24 enodes) 1553939247.138 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939247.138 * * [simplify]: Extracting #1: cost 3 inf + 0 1553939247.138 * * [simplify]: Extracting #2: cost 6 inf + 0 1553939247.138 * * [simplify]: Extracting #3: cost 7 inf + 1 1553939247.138 * * [simplify]: Extracting #4: cost 1 inf + 370 1553939247.138 * * [simplify]: Extracting #5: cost 0 inf + 492 1553939247.138 * [simplify]: Simplified to (sqrt (+ (sqrt x) 1)) 1553939247.138 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (+ (sqrt x) 1)) (sqrt (/ (- (sqrt 1) (sqrt x)) (+ 1 x))))))) 1553939247.138 * * * * [progress]: [ 81 / 105 ] simplifiying candidate # 1553939247.138 * [simplify]: Simplifying (sqrt (/ (+ 1 (sqrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1553939247.139 * * [simplify]: iters left: 6 (9 enodes) 1553939247.141 * * [simplify]: iters left: 5 (33 enodes) 1553939247.146 * * [simplify]: iters left: 4 (37 enodes) 1553939247.152 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939247.152 * * [simplify]: Extracting #1: cost 3 inf + 0 1553939247.152 * * [simplify]: Extracting #2: cost 8 inf + 0 1553939247.152 * * [simplify]: Extracting #3: cost 15 inf + 0 1553939247.152 * * [simplify]: Extracting #4: cost 17 inf + 1 1553939247.152 * * [simplify]: Extracting #5: cost 16 inf + 2 1553939247.152 * * [simplify]: Extracting #6: cost 10 inf + 572 1553939247.153 * * [simplify]: Extracting #7: cost 3 inf + 1666 1553939247.153 * * [simplify]: Extracting #8: cost 0 inf + 2592 1553939247.153 * [simplify]: Simplified to (sqrt (/ (+ 1 (sqrt x)) (* (cbrt (+ x 1)) (cbrt (+ x 1))))) 1553939247.153 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ (+ 1 (sqrt x)) (* (cbrt (+ x 1)) (cbrt (+ x 1))))) (sqrt (/ (- 1 (sqrt x)) (cbrt (+ 1 x)))))))) 1553939247.153 * * * * [progress]: [ 82 / 105 ] simplifiying candidate # 1553939247.154 * [simplify]: Simplifying (sqrt (/ (+ 1 (sqrt x)) (sqrt (+ 1 x)))) 1553939247.154 * * [simplify]: iters left: 6 (8 enodes) 1553939247.156 * * [simplify]: iters left: 5 (28 enodes) 1553939247.160 * * [simplify]: iters left: 4 (30 enodes) 1553939247.169 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939247.169 * * [simplify]: Extracting #1: cost 3 inf + 0 1553939247.169 * * [simplify]: Extracting #2: cost 6 inf + 0 1553939247.169 * * [simplify]: Extracting #3: cost 11 inf + 0 1553939247.169 * * [simplify]: Extracting #4: cost 13 inf + 1 1553939247.169 * * [simplify]: Extracting #5: cost 12 inf + 2 1553939247.169 * * [simplify]: Extracting #6: cost 6 inf + 332 1553939247.170 * * [simplify]: Extracting #7: cost 1 inf + 1142 1553939247.170 * * [simplify]: Extracting #8: cost 0 inf + 1384 1553939247.171 * [simplify]: Simplified to (sqrt (/ (+ 1 (sqrt x)) (sqrt (+ x 1)))) 1553939247.171 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ (+ 1 (sqrt x)) (sqrt (+ x 1)))) (sqrt (/ (- 1 (sqrt x)) (sqrt (+ 1 x)))))))) 1553939247.171 * * * * [progress]: [ 83 / 105 ] simplifiying candidate # 1553939247.171 * [simplify]: Simplifying (sqrt (/ (+ 1 (sqrt x)) 1)) 1553939247.171 * * [simplify]: iters left: 6 (6 enodes) 1553939247.174 * * [simplify]: iters left: 5 (19 enodes) 1553939247.180 * * [simplify]: iters left: 4 (21 enodes) 1553939247.186 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939247.187 * * [simplify]: Extracting #1: cost 3 inf + 0 1553939247.187 * * [simplify]: Extracting #2: cost 6 inf + 0 1553939247.187 * * [simplify]: Extracting #3: cost 7 inf + 1 1553939247.187 * * [simplify]: Extracting #4: cost 0 inf + 492 1553939247.187 * [simplify]: Simplified to (sqrt (+ 1 (sqrt x))) 1553939247.187 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (+ 1 (sqrt x))) (sqrt (/ (- 1 (sqrt x)) (+ 1 x))))))) 1553939247.187 * * * * [progress]: [ 84 / 105 ] simplifiying candidate # 1553939247.188 * [simplify]: Simplifying (sqrt (/ (+ 1 (sqrt x)) 1)) 1553939247.188 * * [simplify]: iters left: 6 (6 enodes) 1553939247.191 * * [simplify]: iters left: 5 (19 enodes) 1553939247.195 * * [simplify]: iters left: 4 (21 enodes) 1553939247.198 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939247.198 * * [simplify]: Extracting #1: cost 3 inf + 0 1553939247.198 * * [simplify]: Extracting #2: cost 6 inf + 0 1553939247.198 * * [simplify]: Extracting #3: cost 7 inf + 1 1553939247.198 * * [simplify]: Extracting #4: cost 0 inf + 492 1553939247.198 * [simplify]: Simplified to (sqrt (+ 1 (sqrt x))) 1553939247.198 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (+ 1 (sqrt x))) (sqrt (/ (- 1 (sqrt x)) (+ 1 x))))))) 1553939247.198 * * * * [progress]: [ 85 / 105 ] simplifiying candidate # 1553939247.199 * [simplify]: Simplifying (sqrt (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1553939247.199 * * [simplify]: iters left: 6 (7 enodes) 1553939247.200 * * [simplify]: iters left: 5 (26 enodes) 1553939247.205 * * [simplify]: iters left: 4 (30 enodes) 1553939247.209 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939247.209 * * [simplify]: Extracting #1: cost 3 inf + 0 1553939247.209 * * [simplify]: Extracting #2: cost 8 inf + 0 1553939247.209 * * [simplify]: Extracting #3: cost 11 inf + 1 1553939247.209 * * [simplify]: Extracting #4: cost 13 inf + 1 1553939247.209 * * [simplify]: Extracting #5: cost 12 inf + 2 1553939247.209 * * [simplify]: Extracting #6: cost 6 inf + 654 1553939247.209 * * [simplify]: Extracting #7: cost 4 inf + 1018 1553939247.210 * * [simplify]: Extracting #8: cost 1 inf + 1624 1553939247.210 * * [simplify]: Extracting #9: cost 0 inf + 1866 1553939247.210 * [simplify]: Simplified to (sqrt (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1)))) 1553939247.210 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1)))) (sqrt (/ (- 1 x) (cbrt (+ 1 x)))))))) 1553939247.210 * * * * [progress]: [ 86 / 105 ] simplifiying candidate # 1553939247.210 * [simplify]: Simplifying (sqrt (/ 1 (sqrt (+ 1 x)))) 1553939247.210 * * [simplify]: iters left: 6 (6 enodes) 1553939247.213 * * [simplify]: iters left: 5 (21 enodes) 1553939247.217 * * [simplify]: iters left: 4 (23 enodes) 1553939247.223 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939247.223 * * [simplify]: Extracting #1: cost 3 inf + 0 1553939247.223 * * [simplify]: Extracting #2: cost 6 inf + 0 1553939247.223 * * [simplify]: Extracting #3: cost 7 inf + 1 1553939247.224 * * [simplify]: Extracting #4: cost 9 inf + 1 1553939247.224 * * [simplify]: Extracting #5: cost 8 inf + 2 1553939247.224 * * [simplify]: Extracting #6: cost 1 inf + 656 1553939247.224 * * [simplify]: Extracting #7: cost 0 inf + 818 1553939247.224 * [simplify]: Simplified to (sqrt (/ 1 (sqrt (+ x 1)))) 1553939247.224 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ 1 (sqrt (+ x 1)))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))))) 1553939247.225 * * * * [progress]: [ 87 / 105 ] simplifiying candidate # 1553939247.225 * [simplify]: Simplifying (sqrt (/ 1 1)) 1553939247.225 * * [simplify]: iters left: 3 (3 enodes) 1553939247.229 * * [simplify]: iters left: 2 (9 enodes) 1553939247.231 * * [simplify]: iters left: 1 (11 enodes) 1553939247.234 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939247.234 * * [simplify]: Extracting #1: cost 0 inf + 1 1553939247.234 * [simplify]: Simplified to 1 1553939247.234 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* 1 (sqrt (/ (- 1 x) (+ 1 x))))))) 1553939247.235 * * * * [progress]: [ 88 / 105 ] simplifiying candidate # 1553939247.235 * [simplify]: Simplifying (sqrt (/ 1 1)) 1553939247.235 * * [simplify]: iters left: 3 (3 enodes) 1553939247.238 * * [simplify]: iters left: 2 (9 enodes) 1553939247.241 * * [simplify]: iters left: 1 (11 enodes) 1553939247.244 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939247.244 * * [simplify]: Extracting #1: cost 0 inf + 1 1553939247.244 * [simplify]: Simplified to 1 1553939247.244 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* 1 (sqrt (/ (- 1 x) (+ 1 x))))))) 1553939247.244 * * * * [progress]: [ 89 / 105 ] simplifiying candidate # 1553939247.244 * [simplify]: Simplifying (sqrt 1) 1553939247.244 * * [simplify]: iters left: 1 (2 enodes) 1553939247.247 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939247.247 * * [simplify]: Extracting #1: cost 0 inf + 1 1553939247.247 * [simplify]: Simplified to 1 1553939247.247 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* 1 (sqrt (/ (- 1 x) (+ 1 x))))))) 1553939247.247 * * * * [progress]: [ 90 / 105 ] simplifiying candidate # 1553939247.247 * [simplify]: Simplifying (sqrt (- 1 x)) 1553939247.248 * * [simplify]: iters left: 3 (4 enodes) 1553939247.250 * * [simplify]: iters left: 2 (16 enodes) 1553939247.255 * * [simplify]: iters left: 1 (21 enodes) 1553939247.261 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939247.261 * * [simplify]: Extracting #1: cost 3 inf + 0 1553939247.261 * * [simplify]: Extracting #2: cost 7 inf + 0 1553939247.262 * * [simplify]: Extracting #3: cost 5 inf + 43 1553939247.262 * * [simplify]: Extracting #4: cost 0 inf + 332 1553939247.262 * [simplify]: Simplified to (sqrt (- 1 x)) 1553939247.262 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (- 1 x)) (sqrt (/ 1 (+ 1 x))))))) 1553939247.262 * * * * [progress]: [ 91 / 105 ] simplifiying candidate # 1553939247.263 * [simplify]: Simplifying (sqrt (/ (- 1 x) (+ (pow 1 3) (pow x 3)))) 1553939247.263 * * [simplify]: iters left: 6 (9 enodes) 1553939247.269 * * [simplify]: iters left: 5 (43 enodes) 1553939247.285 * * [simplify]: iters left: 4 (73 enodes) 1553939247.309 * * [simplify]: iters left: 3 (103 enodes) 1553939247.342 * * [simplify]: iters left: 2 (152 enodes) 1553939247.394 * * [simplify]: iters left: 1 (249 enodes) 1553939247.478 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939247.478 * * [simplify]: Extracting #1: cost 3 inf + 0 1553939247.478 * * [simplify]: Extracting #2: cost 9 inf + 0 1553939247.478 * * [simplify]: Extracting #3: cost 20 inf + 0 1553939247.478 * * [simplify]: Extracting #4: cost 37 inf + 43 1553939247.479 * * [simplify]: Extracting #5: cost 60 inf + 1373 1553939247.479 * * [simplify]: Extracting #6: cost 47 inf + 4243 1553939247.480 * * [simplify]: Extracting #7: cost 29 inf + 13016 1553939247.482 * * [simplify]: Extracting #8: cost 3 inf + 27251 1553939247.485 * * [simplify]: Extracting #9: cost 0 inf + 28811 1553939247.487 * [simplify]: Simplified to (sqrt (/ (- 1 x) (fma (* x x) x 1))) 1553939247.487 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ (- 1 x) (fma (* x x) x 1))) (sqrt (+ (* 1 1) (- (* x x) (* 1 x)))))))) 1553939247.487 * * * * [progress]: [ 92 / 105 ] simplifiying candidate # 1553939247.487 * [simplify]: Simplifying (sqrt (/ (- 1 x) (- (* 1 1) (* x x)))) 1553939247.487 * * [simplify]: iters left: 6 (8 enodes) 1553939247.490 * * [simplify]: iters left: 5 (32 enodes) 1553939247.495 * * [simplify]: iters left: 4 (48 enodes) 1553939247.502 * * [simplify]: iters left: 3 (54 enodes) 1553939247.513 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939247.513 * * [simplify]: Extracting #1: cost 3 inf + 0 1553939247.514 * * [simplify]: Extracting #2: cost 9 inf + 0 1553939247.514 * * [simplify]: Extracting #3: cost 19 inf + 0 1553939247.514 * * [simplify]: Extracting #4: cost 19 inf + 43 1553939247.514 * * [simplify]: Extracting #5: cost 9 inf + 698 1553939247.515 * * [simplify]: Extracting #6: cost 2 inf + 1832 1553939247.516 * * [simplify]: Extracting #7: cost 0 inf + 2116 1553939247.517 * [simplify]: Simplified to (sqrt (/ (- 1 x) (- 1 (* x x)))) 1553939247.517 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ (- 1 x) (- 1 (* x x)))) (sqrt (- 1 x)))))) 1553939247.517 * * * * [progress]: [ 93 / 105 ] simplifiying candidate # 1553939247.517 * [simplify]: Simplifying (sqrt (- 1 x)) 1553939247.517 * * [simplify]: iters left: 3 (4 enodes) 1553939247.519 * * [simplify]: iters left: 2 (16 enodes) 1553939247.525 * * [simplify]: iters left: 1 (21 enodes) 1553939247.531 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939247.531 * * [simplify]: Extracting #1: cost 3 inf + 0 1553939247.531 * * [simplify]: Extracting #2: cost 7 inf + 0 1553939247.531 * * [simplify]: Extracting #3: cost 5 inf + 43 1553939247.531 * * [simplify]: Extracting #4: cost 0 inf + 332 1553939247.532 * [simplify]: Simplified to (sqrt (- 1 x)) 1553939247.532 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))))) 1553939247.532 * * * * [progress]: [ 94 / 105 ] simplifiying candidate # 1553939247.532 * [simplify]: Simplifying (/ (- 1 x) (+ 1 x)) 1553939247.532 * * [simplify]: iters left: 4 (5 enodes) 1553939247.534 * * [simplify]: iters left: 3 (23 enodes) 1553939247.538 * * [simplify]: iters left: 2 (34 enodes) 1553939247.544 * * [simplify]: iters left: 1 (38 enodes) 1553939247.550 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939247.550 * * [simplify]: Extracting #1: cost 7 inf + 0 1553939247.550 * * [simplify]: Extracting #2: cost 15 inf + 0 1553939247.550 * * [simplify]: Extracting #3: cost 14 inf + 2 1553939247.550 * * [simplify]: Extracting #4: cost 8 inf + 292 1553939247.550 * * [simplify]: Extracting #5: cost 0 inf + 1068 1553939247.550 * [simplify]: Simplified to (/ (- 1 x) (+ x 1)) 1553939247.550 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (pow (/ (- 1 x) (+ x 1)) (/ 1 2))))) 1553939247.551 * * * * [progress]: [ 95 / 105 ] simplifiying candidate # 1553939247.551 * * * * [progress]: [ 96 / 105 ] simplifiying candidate # 1553939247.551 * [simplify]: Simplifying (sqrt (/ (- 1 x) (+ 1 x))) 1553939247.551 * * [simplify]: iters left: 5 (6 enodes) 1553939247.553 * * [simplify]: iters left: 4 (26 enodes) 1553939247.557 * * [simplify]: iters left: 3 (37 enodes) 1553939247.563 * * [simplify]: iters left: 2 (41 enodes) 1553939247.570 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939247.570 * * [simplify]: Extracting #1: cost 3 inf + 0 1553939247.570 * * [simplify]: Extracting #2: cost 9 inf + 0 1553939247.570 * * [simplify]: Extracting #3: cost 17 inf + 0 1553939247.570 * * [simplify]: Extracting #4: cost 15 inf + 43 1553939247.571 * * [simplify]: Extracting #5: cost 9 inf + 414 1553939247.571 * * [simplify]: Extracting #6: cost 3 inf + 1026 1553939247.571 * * [simplify]: Extracting #7: cost 0 inf + 1392 1553939247.571 * [simplify]: Simplified to (sqrt (/ (- 1 x) (+ x 1))) 1553939247.571 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (fabs (sqrt (/ (- 1 x) (+ x 1))))))) 1553939247.571 * * * * [progress]: [ 97 / 105 ] simplifiying candidate # 1553939247.572 * [simplify]: Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) 1553939247.572 * * [simplify]: iters left: 5 (7 enodes) 1553939247.574 * * [simplify]: iters left: 4 (26 enodes) 1553939247.578 * * [simplify]: iters left: 3 (31 enodes) 1553939247.588 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939247.588 * * [simplify]: Extracting #1: cost 4 inf + 0 1553939247.588 * * [simplify]: Extracting #2: cost 8 inf + 0 1553939247.588 * * [simplify]: Extracting #3: cost 13 inf + 0 1553939247.588 * * [simplify]: Extracting #4: cost 11 inf + 43 1553939247.588 * * [simplify]: Extracting #5: cost 4 inf + 456 1553939247.589 * * [simplify]: Extracting #6: cost 1 inf + 782 1553939247.589 * * [simplify]: Extracting #7: cost 0 inf + 984 1553939247.590 * [simplify]: Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1))) 1553939247.590 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (fabs (/ (sqrt (- 1 x)) (sqrt (+ x 1))))))) 1553939247.590 * * * * [progress]: [ 98 / 105 ] simplifiying candidate # 1553939247.590 * * * * [progress]: [ 99 / 105 ] simplifiying candidate #real (real->posit16 (sqrt (/ (- 1 x) (+ 1 x))))))))> 1553939247.590 * * * * [progress]: [ 100 / 105 ] simplifiying candidate # 1553939247.590 * [simplify]: Simplifying (- (+ (* 2 (pow x 2)) 1) (* 2 x)) 1553939247.590 * * [simplify]: iters left: 6 (8 enodes) 1553939247.596 * * [simplify]: iters left: 5 (38 enodes) 1553939247.609 * * [simplify]: iters left: 4 (64 enodes) 1553939247.628 * * [simplify]: iters left: 3 (93 enodes) 1553939247.643 * * [simplify]: iters left: 2 (129 enodes) 1553939247.663 * * [simplify]: iters left: 1 (156 enodes) 1553939247.699 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939247.699 * * [simplify]: Extracting #1: cost 23 inf + 0 1553939247.699 * * [simplify]: Extracting #2: cost 40 inf + 45 1553939247.700 * * [simplify]: Extracting #3: cost 12 inf + 2416 1553939247.701 * * [simplify]: Extracting #4: cost 1 inf + 3503 1553939247.702 * * [simplify]: Extracting #5: cost 0 inf + 3601 1553939247.703 * [simplify]: Simplified to (fma (fma x 2 -2) x 1) 1553939247.703 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (sqrt (fma (fma x 2 -2) x 1))))) 1553939247.704 * * * * [progress]: [ 101 / 105 ] simplifiying candidate # 1553939247.704 * [simplify]: Simplifying (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1)) 1553939247.704 * * [simplify]: iters left: 6 (10 enodes) 1553939247.708 * * [simplify]: iters left: 5 (48 enodes) 1553939247.716 * * [simplify]: iters left: 4 (74 enodes) 1553939247.736 * * [simplify]: iters left: 3 (101 enodes) 1553939247.767 * * [simplify]: iters left: 2 (139 enodes) 1553939247.810 * * [simplify]: iters left: 1 (182 enodes) 1553939247.839 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939247.839 * * [simplify]: Extracting #1: cost 20 inf + 0 1553939247.839 * * [simplify]: Extracting #2: cost 40 inf + 4 1553939247.840 * * [simplify]: Extracting #3: cost 28 inf + 1326 1553939247.841 * * [simplify]: Extracting #4: cost 6 inf + 3194 1553939247.842 * * [simplify]: Extracting #5: cost 0 inf + 3701 1553939247.843 * [simplify]: Simplified to (- (+ (/ 2 x) -1) (/ (/ 2 x) x)) 1553939247.843 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (sqrt (- (+ (/ 2 x) -1) (/ (/ 2 x) x)))))) 1553939247.843 * * * * [progress]: [ 102 / 105 ] simplifiying candidate # 1553939247.843 * [simplify]: Simplifying (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1)) 1553939247.844 * * [simplify]: iters left: 6 (10 enodes) 1553939247.849 * * [simplify]: iters left: 5 (48 enodes) 1553939247.862 * * [simplify]: iters left: 4 (74 enodes) 1553939247.873 * * [simplify]: iters left: 3 (101 enodes) 1553939247.890 * * [simplify]: iters left: 2 (139 enodes) 1553939247.932 * * [simplify]: iters left: 1 (182 enodes) 1553939247.985 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939247.985 * * [simplify]: Extracting #1: cost 20 inf + 0 1553939247.985 * * [simplify]: Extracting #2: cost 40 inf + 4 1553939247.986 * * [simplify]: Extracting #3: cost 28 inf + 1326 1553939247.988 * * [simplify]: Extracting #4: cost 6 inf + 3194 1553939247.991 * * [simplify]: Extracting #5: cost 0 inf + 3701 1553939247.995 * [simplify]: Simplified to (- (+ (/ 2 x) -1) (/ (/ 2 x) x)) 1553939247.996 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (sqrt (- (+ (/ 2 x) -1) (/ (/ 2 x) x)))))) 1553939247.996 * * * * [progress]: [ 103 / 105 ] simplifiying candidate # 1553939247.996 * [simplify]: Simplifying (- (+ (* 1/2 (pow x 2)) 1) x) 1553939247.996 * * [simplify]: iters left: 6 (8 enodes) 1553939248.002 * * [simplify]: iters left: 5 (37 enodes) 1553939248.014 * * [simplify]: iters left: 4 (58 enodes) 1553939248.033 * * [simplify]: iters left: 3 (78 enodes) 1553939248.052 * * [simplify]: iters left: 2 (82 enodes) 1553939248.072 * * [simplify]: iters left: 1 (98 enodes) 1553939248.099 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939248.099 * * [simplify]: Extracting #1: cost 19 inf + 0 1553939248.099 * * [simplify]: Extracting #2: cost 28 inf + 86 1553939248.100 * * [simplify]: Extracting #3: cost 8 inf + 1667 1553939248.102 * * [simplify]: Extracting #4: cost 0 inf + 2490 1553939248.103 * [simplify]: Simplified to (fma x (* 1/2 x) (- 1 x)) 1553939248.103 * [simplify]: Simplified (2 2 1) to (λ (x) (* 2 (atan (fma x (* 1/2 x) (- 1 x))))) 1553939248.103 * * * * [progress]: [ 104 / 105 ] simplifiying candidate # 1553939248.104 * [simplify]: Simplifying (- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (* 1/2 (/ 1 (* (pow x 2) (sqrt -1))))) 1553939248.104 * * [simplify]: iters left: 6 (14 enodes) 1553939248.113 * * [simplify]: iters left: 5 (62 enodes) 1553939248.125 * * [simplify]: iters left: 4 (101 enodes) 1553939248.143 * * [simplify]: iters left: 3 (143 enodes) 1553939248.177 * * [simplify]: iters left: 2 (211 enodes) 1553939248.213 * * [simplify]: iters left: 1 (337 enodes) 1553939248.323 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939248.323 * * [simplify]: Extracting #1: cost 27 inf + 0 1553939248.324 * * [simplify]: Extracting #2: cost 88 inf + 2 1553939248.325 * * [simplify]: Extracting #3: cost 96 inf + 1526 1553939248.330 * * [simplify]: Extracting #4: cost 23 inf + 10094 1553939248.337 * * [simplify]: Extracting #5: cost 1 inf + 13507 1553939248.346 * * [simplify]: Extracting #6: cost 0 inf + 13751 1553939248.354 * [simplify]: Simplified to (fma (/ -1/2 x) (/ (/ 1 (sqrt -1)) x) (+ (sqrt -1) (/ (/ 1 (sqrt -1)) x))) 1553939248.355 * [simplify]: Simplified (2 2 1) to (λ (x) (* 2 (atan (fma (/ -1/2 x) (/ (/ 1 (sqrt -1)) x) (+ (sqrt -1) (/ (/ 1 (sqrt -1)) x)))))) 1553939248.355 * * * * [progress]: [ 105 / 105 ] simplifiying candidate # 1553939248.355 * [simplify]: Simplifying (- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (* 1/2 (/ 1 (* (pow x 2) (sqrt -1))))) 1553939248.355 * * [simplify]: iters left: 6 (14 enodes) 1553939248.365 * * [simplify]: iters left: 5 (62 enodes) 1553939248.387 * * [simplify]: iters left: 4 (101 enodes) 1553939248.418 * * [simplify]: iters left: 3 (143 enodes) 1553939248.461 * * [simplify]: iters left: 2 (211 enodes) 1553939248.496 * * [simplify]: iters left: 1 (337 enodes) 1553939248.598 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939248.599 * * [simplify]: Extracting #1: cost 27 inf + 0 1553939248.599 * * [simplify]: Extracting #2: cost 88 inf + 2 1553939248.600 * * [simplify]: Extracting #3: cost 96 inf + 1526 1553939248.602 * * [simplify]: Extracting #4: cost 23 inf + 10094 1553939248.606 * * [simplify]: Extracting #5: cost 1 inf + 13507 1553939248.610 * * [simplify]: Extracting #6: cost 0 inf + 13751 1553939248.614 * [simplify]: Simplified to (fma (/ -1/2 x) (/ (/ 1 (sqrt -1)) x) (+ (sqrt -1) (/ (/ 1 (sqrt -1)) x))) 1553939248.614 * [simplify]: Simplified (2 2 1) to (λ (x) (* 2 (atan (fma (/ -1/2 x) (/ (/ 1 (sqrt -1)) x) (+ (sqrt -1) (/ (/ 1 (sqrt -1)) x)))))) 1553939248.614 * * * [progress]: adding candidates to table 1553939249.587 * [progress]: [Phase 3 of 3] Extracting. 1553939249.592 * [simplify]: Simplifying (* 2 (atan (sqrt (/ (- 1 x) (+ 1 x))))) 1553939249.593 * * [simplify]: iters left: 6 (9 enodes) 1553939249.593 * * [simplify]: iters left: 5 (13 enodes) 1553939249.594 * * [simplify]: Extracting #0: cost 1 inf + 0 1553939249.594 * * [simplify]: Extracting #1: cost 3 inf + 0 1553939249.594 * * [simplify]: Extracting #2: cost 3 inf + 1 1553939249.594 * * [simplify]: Extracting #3: cost 4 inf + 1 1553939249.594 * * [simplify]: Extracting #4: cost 6 inf + 1 1553939249.594 * * [simplify]: Extracting #5: cost 8 inf + 1 1553939249.595 * * [simplify]: Extracting #6: cost 0 inf + 946 1553939249.595 * [simplify]: Simplified to (* (atan (sqrt (/ (- 1 x) (+ 1 x)))) 2) 1553939252.163 * [regime-testing]: Baseline error score: 0.011876484560570071 1553939252.164 * [regime-testing]: Oracle error score: 0.011876484560570071 1553939252.165 * [regime-testing]: End program error score: 0.011876484560570071