1545992419.173 * [misc]progress:  [Phase 1 of 3] Setting up.
1545992419.174 * * * [misc]progress:  [1/2] Preparing points
1545992419.174 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545992419.665 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545992419.666 * * * * [misc]points:  Sampling 158 additional inputs, on iter 1 have 98 / 256
1545992419.687 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545992419.687 * * * * [misc]points:  Sampling 95 additional inputs, on iter 2 have 161 / 256
1545992419.700 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545992419.700 * * * * [misc]points:  Sampling 65 additional inputs, on iter 3 have 191 / 256
1545992419.706 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545992419.706 * * * * [misc]points:  Sampling 43 additional inputs, on iter 4 have 213 / 256
1545992419.710 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545992419.710 * * * * [misc]points:  Sampling 27 additional inputs, on iter 5 have 229 / 256
1545992419.713 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545992419.713 * * * * [misc]points:  Sampling 16 additional inputs, on iter 6 have 240 / 256
1545992419.715 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545992419.715 * * * * [misc]points:  Sampling 9 additional inputs, on iter 7 have 247 / 256
1545992419.716 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545992419.716 * * * * [misc]points:  Sampling 8 additional inputs, on iter 8 have 248 / 256
1545992419.718 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545992419.718 * * * * [misc]points:  Sampling 4 additional inputs, on iter 9 have 252 / 256
1545992419.719 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545992419.719 * * * * [misc]points:  Sampling 4 additional inputs, on iter 10 have 252 / 256
1545992419.720 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545992419.720 * * * * [misc]points:  Sampling 4 additional inputs, on iter 11 have 252 / 256
1545992419.721 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545992419.721 * * * * [misc]points:  Sampling 4 additional inputs, on iter 12 have 254 / 256
1545992419.722 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545992419.722 * * * * [exit]points:  Sampled 256 points with exact outputs
1545992419.723 * * * [misc]progress:  [2/2] Setting up program.
1545992419.727 * [misc]progress:  [Phase 2 of 3] Improving.
1545992419.727 * [enter]simplify:  Simplifying (- (pow x 4) (pow y 4))
1545992419.728 * * [misc]simplify:  iters left: 3 (6 enodes)
1545992419.733 * * [misc]simplify:  iters left: 2 (8 enodes)
1545992419.736 * * [misc]simplify:  iters left: 1 (9 enodes)
1545992419.739 * [exit]simplify:  Simplified to (- (pow x 4) (pow y 4))
1545992419.791 * * [misc]progress:  iteration 1 / 4
1545992419.793 * * * [misc]progress:  picking best candidate
1545992419.798 * * * * [misc]pick:  Picked  #<alt (λ (x y) (- (pow x 4) (pow y 4)))>
1545992419.798 * * * [misc]progress:  localizing error
1545992419.819 * * * [misc]progress:  generating rewritten candidates
1545992419.819 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1545992419.831 * * * [misc]progress:  generating series expansions
1545992419.831 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1545992419.838 * [misc]backup-simplify:  Simplify (- (pow x 4) (pow y 4)) into (- (pow x 4) (pow y 4))
1545992419.838 * [misc]approximate:  Taking taylor expansion of (- (pow x 4) (pow y 4)) in (x y) around 0
1545992419.839 * [misc]taylor:  Taking taylor expansion of (- (pow x 4) (pow y 4)) in y
1545992419.839 * [misc]taylor:  Taking taylor expansion of (pow x 4) in y
1545992419.839 * [misc]taylor:  Taking taylor expansion of x in y
1545992419.839 * [misc]backup-simplify:  Simplify x into x
1545992419.840 * [misc]taylor:  Taking taylor expansion of (pow y 4) in y
1545992419.840 * [misc]taylor:  Taking taylor expansion of y in y
1545992419.840 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.840 * [misc]backup-simplify:  Simplify 1 into 1
1545992419.840 * [misc]taylor:  Taking taylor expansion of (- (pow x 4) (pow y 4)) in x
1545992419.840 * [misc]taylor:  Taking taylor expansion of (pow x 4) in x
1545992419.840 * [misc]taylor:  Taking taylor expansion of x in x
1545992419.840 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.840 * [misc]backup-simplify:  Simplify 1 into 1
1545992419.840 * [misc]taylor:  Taking taylor expansion of (pow y 4) in x
1545992419.840 * [misc]taylor:  Taking taylor expansion of y in x
1545992419.840 * [misc]backup-simplify:  Simplify y into y
1545992419.840 * [misc]taylor:  Taking taylor expansion of (- (pow x 4) (pow y 4)) in x
1545992419.840 * [misc]taylor:  Taking taylor expansion of (pow x 4) in x
1545992419.840 * [misc]taylor:  Taking taylor expansion of x in x
1545992419.840 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.840 * [misc]backup-simplify:  Simplify 1 into 1
1545992419.840 * [misc]taylor:  Taking taylor expansion of (pow y 4) in x
1545992419.840 * [misc]taylor:  Taking taylor expansion of y in x
1545992419.840 * [misc]backup-simplify:  Simplify y into y
1545992419.841 * [misc]backup-simplify:  Simplify (* y y) into (pow y 2)
1545992419.842 * [misc]backup-simplify:  Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
1545992419.842 * [misc]backup-simplify:  Simplify (- (pow y 4)) into (- (pow y 4))
1545992419.842 * [misc]backup-simplify:  Simplify (+ 0 (- (pow y 4))) into (- (pow y 4))
1545992419.842 * [misc]taylor:  Taking taylor expansion of (- (pow y 4)) in y
1545992419.842 * [misc]taylor:  Taking taylor expansion of (pow y 4) in y
1545992419.842 * [misc]taylor:  Taking taylor expansion of y in y
1545992419.842 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.842 * [misc]backup-simplify:  Simplify 1 into 1
1545992419.842 * [misc]backup-simplify:  Simplify (+ (* y 0) (* 0 y)) into 0
1545992419.842 * [misc]backup-simplify:  Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
1545992419.843 * [misc]backup-simplify:  Simplify (- 0) into 0
1545992419.843 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992419.843 * [misc]taylor:  Taking taylor expansion of 0 in y
1545992419.843 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.843 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.844 * [misc]backup-simplify:  Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
1545992419.844 * [misc]backup-simplify:  Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
1545992419.844 * [misc]backup-simplify:  Simplify (- 0) into 0
1545992419.844 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992419.844 * [misc]taylor:  Taking taylor expansion of 0 in y
1545992419.844 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.844 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.844 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.845 * [misc]backup-simplify:  Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
1545992419.845 * [misc]backup-simplify:  Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0
1545992419.846 * [misc]backup-simplify:  Simplify (- 0) into 0
1545992419.846 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992419.846 * [misc]taylor:  Taking taylor expansion of 0 in y
1545992419.846 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.846 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.846 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.846 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.846 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.846 * [misc]backup-simplify:  Simplify (- (pow (/ 1 x) 4) (pow (/ 1 y) 4)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))
1545992419.847 * [misc]approximate:  Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0
1545992419.847 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y
1545992419.847 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 4)) in y
1545992419.847 * [misc]taylor:  Taking taylor expansion of (pow x 4) in y
1545992419.847 * [misc]taylor:  Taking taylor expansion of x in y
1545992419.847 * [misc]backup-simplify:  Simplify x into x
1545992419.847 * [misc]backup-simplify:  Simplify (* x x) into (pow x 2)
1545992419.847 * [misc]backup-simplify:  Simplify (* (pow x 2) (pow x 2)) into (pow x 4)
1545992419.847 * [misc]backup-simplify:  Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4))
1545992419.847 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow y 4)) in y
1545992419.847 * [misc]taylor:  Taking taylor expansion of (pow y 4) in y
1545992419.847 * [misc]taylor:  Taking taylor expansion of y in y
1545992419.847 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.847 * [misc]backup-simplify:  Simplify 1 into 1
1545992419.847 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992419.848 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992419.848 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992419.848 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
1545992419.848 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 4)) in x
1545992419.848 * [misc]taylor:  Taking taylor expansion of (pow x 4) in x
1545992419.848 * [misc]taylor:  Taking taylor expansion of x in x
1545992419.848 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.848 * [misc]backup-simplify:  Simplify 1 into 1
1545992419.848 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992419.848 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992419.848 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992419.848 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow y 4)) in x
1545992419.848 * [misc]taylor:  Taking taylor expansion of (pow y 4) in x
1545992419.848 * [misc]taylor:  Taking taylor expansion of y in x
1545992419.848 * [misc]backup-simplify:  Simplify y into y
1545992419.848 * [misc]backup-simplify:  Simplify (* y y) into (pow y 2)
1545992419.849 * [misc]backup-simplify:  Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
1545992419.849 * [misc]backup-simplify:  Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
1545992419.849 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
1545992419.849 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 4)) in x
1545992419.849 * [misc]taylor:  Taking taylor expansion of (pow x 4) in x
1545992419.849 * [misc]taylor:  Taking taylor expansion of x in x
1545992419.849 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.849 * [misc]backup-simplify:  Simplify 1 into 1
1545992419.849 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992419.849 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992419.849 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992419.849 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow y 4)) in x
1545992419.849 * [misc]taylor:  Taking taylor expansion of (pow y 4) in x
1545992419.849 * [misc]taylor:  Taking taylor expansion of y in x
1545992419.849 * [misc]backup-simplify:  Simplify y into y
1545992419.849 * [misc]backup-simplify:  Simplify (* y y) into (pow y 2)
1545992419.850 * [misc]backup-simplify:  Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
1545992419.850 * [misc]backup-simplify:  Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
1545992419.850 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992419.850 * [misc]taylor:  Taking taylor expansion of 1 in y
1545992419.850 * [misc]backup-simplify:  Simplify 1 into 1
1545992419.850 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545992419.851 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545992419.851 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545992419.851 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992419.851 * [misc]taylor:  Taking taylor expansion of 0 in y
1545992419.851 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.851 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545992419.852 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545992419.852 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992419.852 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992419.852 * [misc]taylor:  Taking taylor expansion of 0 in y
1545992419.852 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.853 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545992419.853 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545992419.853 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992419.853 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992419.853 * [misc]taylor:  Taking taylor expansion of 0 in y
1545992419.853 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.854 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545992419.854 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545992419.855 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992419.855 * [misc]backup-simplify:  Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4)))
1545992419.855 * [misc]backup-simplify:  Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4)))
1545992419.855 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow y 4))) in y
1545992419.855 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow y 4)) in y
1545992419.855 * [misc]taylor:  Taking taylor expansion of (pow y 4) in y
1545992419.855 * [misc]taylor:  Taking taylor expansion of y in y
1545992419.855 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.855 * [misc]backup-simplify:  Simplify 1 into 1
1545992419.855 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992419.856 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992419.856 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992419.856 * [misc]backup-simplify:  Simplify (- 1) into -1
1545992419.856 * [misc]backup-simplify:  Simplify -1 into -1
1545992419.856 * [misc]backup-simplify:  Simplify 1 into 1
1545992419.857 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545992419.857 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545992419.858 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992419.858 * [misc]backup-simplify:  Simplify (+ (* y 0) (* 0 y)) into 0
1545992419.858 * [misc]backup-simplify:  Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
1545992419.858 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0
1545992419.858 * [misc]backup-simplify:  Simplify (- 0) into 0
1545992419.858 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992419.858 * [misc]taylor:  Taking taylor expansion of 0 in y
1545992419.858 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.859 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545992419.859 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545992419.859 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545992419.859 * [misc]backup-simplify:  Simplify (- 0) into 0
1545992419.859 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.859 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.859 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.860 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545992419.860 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545992419.861 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992419.861 * [misc]backup-simplify:  Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
1545992419.861 * [misc]backup-simplify:  Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
1545992419.862 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
1545992419.862 * [misc]backup-simplify:  Simplify (- 0) into 0
1545992419.862 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992419.862 * [misc]taylor:  Taking taylor expansion of 0 in y
1545992419.862 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.862 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545992419.863 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545992419.863 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992419.863 * [misc]backup-simplify:  Simplify (- 0) into 0
1545992419.863 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.863 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.863 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.864 * [misc]backup-simplify:  Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 4)) (* -1 (pow (* (/ 1 (/ 1 y)) 1) 4))) into (- (pow x 4) (pow y 4))
1545992419.864 * [misc]backup-simplify:  Simplify (- (pow (/ 1 (- x)) 4) (pow (/ 1 (- y)) 4)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))
1545992419.864 * [misc]approximate:  Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0
1545992419.864 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y
1545992419.864 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 4)) in y
1545992419.864 * [misc]taylor:  Taking taylor expansion of (pow x 4) in y
1545992419.864 * [misc]taylor:  Taking taylor expansion of x in y
1545992419.864 * [misc]backup-simplify:  Simplify x into x
1545992419.864 * [misc]backup-simplify:  Simplify (* x x) into (pow x 2)
1545992419.864 * [misc]backup-simplify:  Simplify (* (pow x 2) (pow x 2)) into (pow x 4)
1545992419.864 * [misc]backup-simplify:  Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4))
1545992419.864 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow y 4)) in y
1545992419.864 * [misc]taylor:  Taking taylor expansion of (pow y 4) in y
1545992419.864 * [misc]taylor:  Taking taylor expansion of y in y
1545992419.864 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.864 * [misc]backup-simplify:  Simplify 1 into 1
1545992419.865 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992419.865 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992419.865 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992419.865 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
1545992419.865 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 4)) in x
1545992419.865 * [misc]taylor:  Taking taylor expansion of (pow x 4) in x
1545992419.865 * [misc]taylor:  Taking taylor expansion of x in x
1545992419.865 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.865 * [misc]backup-simplify:  Simplify 1 into 1
1545992419.865 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992419.865 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992419.866 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992419.866 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow y 4)) in x
1545992419.866 * [misc]taylor:  Taking taylor expansion of (pow y 4) in x
1545992419.866 * [misc]taylor:  Taking taylor expansion of y in x
1545992419.866 * [misc]backup-simplify:  Simplify y into y
1545992419.866 * [misc]backup-simplify:  Simplify (* y y) into (pow y 2)
1545992419.866 * [misc]backup-simplify:  Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
1545992419.866 * [misc]backup-simplify:  Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
1545992419.866 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
1545992419.866 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 4)) in x
1545992419.866 * [misc]taylor:  Taking taylor expansion of (pow x 4) in x
1545992419.866 * [misc]taylor:  Taking taylor expansion of x in x
1545992419.866 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.866 * [misc]backup-simplify:  Simplify 1 into 1
1545992419.866 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992419.866 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992419.867 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992419.867 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow y 4)) in x
1545992419.867 * [misc]taylor:  Taking taylor expansion of (pow y 4) in x
1545992419.867 * [misc]taylor:  Taking taylor expansion of y in x
1545992419.867 * [misc]backup-simplify:  Simplify y into y
1545992419.867 * [misc]backup-simplify:  Simplify (* y y) into (pow y 2)
1545992419.867 * [misc]backup-simplify:  Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
1545992419.867 * [misc]backup-simplify:  Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
1545992419.867 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992419.867 * [misc]taylor:  Taking taylor expansion of 1 in y
1545992419.867 * [misc]backup-simplify:  Simplify 1 into 1
1545992419.867 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545992419.868 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545992419.868 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545992419.868 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992419.868 * [misc]taylor:  Taking taylor expansion of 0 in y
1545992419.868 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.868 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545992419.869 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545992419.869 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992419.869 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992419.869 * [misc]taylor:  Taking taylor expansion of 0 in y
1545992419.869 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.869 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545992419.869 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545992419.870 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992419.870 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992419.870 * [misc]taylor:  Taking taylor expansion of 0 in y
1545992419.870 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.870 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545992419.870 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545992419.870 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992419.871 * [misc]backup-simplify:  Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4)))
1545992419.871 * [misc]backup-simplify:  Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4)))
1545992419.871 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow y 4))) in y
1545992419.871 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow y 4)) in y
1545992419.871 * [misc]taylor:  Taking taylor expansion of (pow y 4) in y
1545992419.871 * [misc]taylor:  Taking taylor expansion of y in y
1545992419.871 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.871 * [misc]backup-simplify:  Simplify 1 into 1
1545992419.871 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992419.871 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992419.871 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992419.871 * [misc]backup-simplify:  Simplify (- 1) into -1
1545992419.871 * [misc]backup-simplify:  Simplify -1 into -1
1545992419.871 * [misc]backup-simplify:  Simplify 1 into 1
1545992419.872 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545992419.872 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545992419.872 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992419.872 * [misc]backup-simplify:  Simplify (+ (* y 0) (* 0 y)) into 0
1545992419.872 * [misc]backup-simplify:  Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
1545992419.872 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0
1545992419.872 * [misc]backup-simplify:  Simplify (- 0) into 0
1545992419.873 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992419.873 * [misc]taylor:  Taking taylor expansion of 0 in y
1545992419.873 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.873 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545992419.873 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545992419.873 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545992419.873 * [misc]backup-simplify:  Simplify (- 0) into 0
1545992419.873 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.873 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.873 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.874 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545992419.874 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545992419.874 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992419.874 * [misc]backup-simplify:  Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
1545992419.875 * [misc]backup-simplify:  Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
1545992419.875 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
1545992419.875 * [misc]backup-simplify:  Simplify (- 0) into 0
1545992419.875 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992419.875 * [misc]taylor:  Taking taylor expansion of 0 in y
1545992419.875 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.875 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545992419.875 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545992419.876 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992419.876 * [misc]backup-simplify:  Simplify (- 0) into 0
1545992419.876 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.876 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.876 * [misc]backup-simplify:  Simplify 0 into 0
1545992419.876 * [misc]backup-simplify:  Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 4)) (* -1 (pow (* (/ 1 (/ 1 (- y))) 1) 4))) into (- (pow x 4) (pow y 4))
1545992419.876 * * * [misc]progress:  simplifying candidates
1545992419.876 * * * * [misc]progress:  [ 1 / 31 ] simplifiying candidate #<alt (λ (x y) (+ (fma (* (cbrt (pow x 4)) (cbrt (pow x 4))) (cbrt (pow x 4)) (- (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4)))))) (fma (- (cbrt (pow y 4))) (* (cbrt (pow y 4)) (cbrt (pow y 4))) (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4)))))))>
1545992419.877 * [enter]simplify:  Simplifying (fma (* (cbrt (pow x 4)) (cbrt (pow x 4))) (cbrt (pow x 4)) (- (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4))))))
1545992419.877 * * [misc]simplify:  iters left: 6 (12 enodes)
1545992419.879 * * [misc]simplify:  iters left: 5 (21 enodes)
1545992419.883 * * [misc]simplify:  iters left: 4 (28 enodes)
1545992419.888 * * [misc]simplify:  iters left: 3 (34 enodes)
1545992419.892 * [exit]simplify:  Simplified to (- (pow x 4) (pow y 4))
1545992419.892 * [misc]simplify:  Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (cbrt (pow y 4))) (* (cbrt (pow y 4)) (cbrt (pow y 4))) (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4)))))))
1545992419.892 * [enter]simplify:  Simplifying (fma (- (cbrt (pow y 4))) (* (cbrt (pow y 4)) (cbrt (pow y 4))) (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4)))))
1545992419.892 * * [misc]simplify:  iters left: 6 (8 enodes)
1545992419.893 * * [misc]simplify:  iters left: 5 (13 enodes)
1545992419.896 * * [misc]simplify:  iters left: 4 (20 enodes)
1545992419.917 * * [misc]simplify:  iters left: 3 (39 enodes)
1545992419.929 * * [misc]simplify:  iters left: 2 (47 enodes)
1545992419.937 * [exit]simplify:  Simplified to 0
1545992419.937 * [misc]simplify:  Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) 0))
1545992419.937 * * * * [misc]progress:  [ 2 / 31 ] simplifiying candidate #<alt (λ (x y) (+ (fma (* (cbrt (pow x 4)) (cbrt (pow x 4))) (cbrt (pow x 4)) (- (* (sqrt (pow y 4)) (sqrt (pow y 4))))) (fma (- (sqrt (pow y 4))) (sqrt (pow y 4)) (* (sqrt (pow y 4)) (sqrt (pow y 4))))))>
1545992419.938 * [enter]simplify:  Simplifying (fma (* (cbrt (pow x 4)) (cbrt (pow x 4))) (cbrt (pow x 4)) (- (* (sqrt (pow y 4)) (sqrt (pow y 4)))))
1545992419.938 * * [misc]simplify:  iters left: 6 (11 enodes)
1545992419.942 * * [misc]simplify:  iters left: 5 (16 enodes)
1545992419.947 * * [misc]simplify:  iters left: 4 (20 enodes)
1545992419.952 * * [misc]simplify:  iters left: 3 (25 enodes)
1545992419.959 * [exit]simplify:  Simplified to (- (pow x 4) (pow y 4))
1545992419.959 * [misc]simplify:  Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (sqrt (pow y 4))) (sqrt (pow y 4)) (* (sqrt (pow y 4)) (sqrt (pow y 4))))))
1545992419.959 * [enter]simplify:  Simplifying (fma (- (sqrt (pow y 4))) (sqrt (pow y 4)) (* (sqrt (pow y 4)) (sqrt (pow y 4))))
1545992419.959 * * [misc]simplify:  iters left: 5 (7 enodes)
1545992419.962 * * [misc]simplify:  iters left: 4 (9 enodes)
1545992419.964 * * [misc]simplify:  iters left: 3 (15 enodes)
1545992419.969 * * [misc]simplify:  iters left: 2 (21 enodes)
1545992419.974 * * [misc]simplify:  iters left: 1 (23 enodes)
1545992419.978 * [exit]simplify:  Simplified to 0
1545992419.978 * [misc]simplify:  Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) 0))
1545992419.978 * * * * [misc]progress:  [ 3 / 31 ] simplifiying candidate #<alt (λ (x y) (+ (fma (* (cbrt (pow x 4)) (cbrt (pow x 4))) (cbrt (pow x 4)) (- (* (pow y 4) 1))) (fma (- (pow y 4)) 1 (* (pow y 4) 1))))>
1545992419.979 * [enter]simplify:  Simplifying (fma (* (cbrt (pow x 4)) (cbrt (pow x 4))) (cbrt (pow x 4)) (- (* (pow y 4) 1)))
1545992419.979 * * [misc]simplify:  iters left: 6 (11 enodes)
1545992419.984 * * [misc]simplify:  iters left: 5 (21 enodes)
1545992419.991 * * [misc]simplify:  iters left: 4 (28 enodes)
1545992420.001 * * [misc]simplify:  iters left: 3 (39 enodes)
1545992420.009 * [exit]simplify:  Simplified to (- (pow x 4) (pow y 4))
1545992420.009 * [misc]simplify:  Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (pow y 4)) 1 (* (pow y 4) 1))))
1545992420.010 * [enter]simplify:  Simplifying (fma (- (pow y 4)) 1 (* (pow y 4) 1))
1545992420.010 * * [misc]simplify:  iters left: 4 (7 enodes)
1545992420.012 * * [misc]simplify:  iters left: 3 (12 enodes)
1545992420.017 * * [misc]simplify:  iters left: 2 (22 enodes)
1545992420.024 * * [misc]simplify:  iters left: 1 (31 enodes)
1545992420.030 * [exit]simplify:  Simplified to (fma (pow y 4) -1 (pow y 4))
1545992420.030 * [misc]simplify:  Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (pow y 4) -1 (pow y 4))))
1545992420.030 * * * * [misc]progress:  [ 4 / 31 ] simplifiying candidate #<alt (λ (x y) (+ (fma (sqrt (pow x 4)) (sqrt (pow x 4)) (- (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4)))))) (fma (- (cbrt (pow y 4))) (* (cbrt (pow y 4)) (cbrt (pow y 4))) (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4)))))))>
1545992420.030 * [enter]simplify:  Simplifying (fma (sqrt (pow x 4)) (sqrt (pow x 4)) (- (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4))))))
1545992420.030 * * [misc]simplify:  iters left: 6 (11 enodes)
1545992420.034 * * [misc]simplify:  iters left: 5 (20 enodes)
1545992420.040 * * [misc]simplify:  iters left: 4 (26 enodes)
1545992420.043 * * [misc]simplify:  iters left: 3 (31 enodes)
1545992420.047 * [exit]simplify:  Simplified to (- (pow x 4) (pow y 4))
1545992420.047 * [misc]simplify:  Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (cbrt (pow y 4))) (* (cbrt (pow y 4)) (cbrt (pow y 4))) (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4)))))))
1545992420.047 * [enter]simplify:  Simplifying (fma (- (cbrt (pow y 4))) (* (cbrt (pow y 4)) (cbrt (pow y 4))) (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4)))))
1545992420.047 * * [misc]simplify:  iters left: 6 (8 enodes)
1545992420.048 * * [misc]simplify:  iters left: 5 (13 enodes)
1545992420.051 * * [misc]simplify:  iters left: 4 (20 enodes)
1545992420.055 * * [misc]simplify:  iters left: 3 (39 enodes)
1545992420.062 * * [misc]simplify:  iters left: 2 (47 enodes)
1545992420.066 * [exit]simplify:  Simplified to 0
1545992420.066 * [misc]simplify:  Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) 0))
1545992420.066 * * * * [misc]progress:  [ 5 / 31 ] simplifiying candidate #<alt (λ (x y) (+ (fma (sqrt (pow x 4)) (sqrt (pow x 4)) (- (* (sqrt (pow y 4)) (sqrt (pow y 4))))) (fma (- (sqrt (pow y 4))) (sqrt (pow y 4)) (* (sqrt (pow y 4)) (sqrt (pow y 4))))))>
1545992420.066 * [enter]simplify:  Simplifying (fma (sqrt (pow x 4)) (sqrt (pow x 4)) (- (* (sqrt (pow y 4)) (sqrt (pow y 4)))))
1545992420.066 * * [misc]simplify:  iters left: 6 (10 enodes)
1545992420.067 * * [misc]simplify:  iters left: 5 (15 enodes)
1545992420.070 * * [misc]simplify:  iters left: 4 (18 enodes)
1545992420.073 * * [misc]simplify:  iters left: 3 (24 enodes)
1545992420.079 * * [misc]simplify:  iters left: 2 (27 enodes)
1545992420.086 * * [misc]simplify:  iters left: 1 (42 enodes)
1545992420.100 * [exit]simplify:  Simplified to (- (pow x 4) (pow y 4))
1545992420.100 * [misc]simplify:  Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (sqrt (pow y 4))) (sqrt (pow y 4)) (* (sqrt (pow y 4)) (sqrt (pow y 4))))))
1545992420.101 * [enter]simplify:  Simplifying (fma (- (sqrt (pow y 4))) (sqrt (pow y 4)) (* (sqrt (pow y 4)) (sqrt (pow y 4))))
1545992420.101 * * [misc]simplify:  iters left: 5 (7 enodes)
1545992420.103 * * [misc]simplify:  iters left: 4 (9 enodes)
1545992420.106 * * [misc]simplify:  iters left: 3 (15 enodes)
1545992420.110 * * [misc]simplify:  iters left: 2 (21 enodes)
1545992420.115 * * [misc]simplify:  iters left: 1 (23 enodes)
1545992420.119 * [exit]simplify:  Simplified to 0
1545992420.119 * [misc]simplify:  Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) 0))
1545992420.119 * * * * [misc]progress:  [ 6 / 31 ] simplifiying candidate #<alt (λ (x y) (+ (fma (sqrt (pow x 4)) (sqrt (pow x 4)) (- (* (pow y 4) 1))) (fma (- (pow y 4)) 1 (* (pow y 4) 1))))>
1545992420.119 * [enter]simplify:  Simplifying (fma (sqrt (pow x 4)) (sqrt (pow x 4)) (- (* (pow y 4) 1)))
1545992420.120 * * [misc]simplify:  iters left: 6 (10 enodes)
1545992420.124 * * [misc]simplify:  iters left: 5 (20 enodes)
1545992420.130 * * [misc]simplify:  iters left: 4 (26 enodes)
1545992420.139 * * [misc]simplify:  iters left: 3 (35 enodes)
1545992420.146 * [exit]simplify:  Simplified to (- (pow x 4) (pow y 4))
1545992420.146 * [misc]simplify:  Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (pow y 4)) 1 (* (pow y 4) 1))))
1545992420.146 * [enter]simplify:  Simplifying (fma (- (pow y 4)) 1 (* (pow y 4) 1))
1545992420.146 * * [misc]simplify:  iters left: 4 (7 enodes)
1545992420.149 * * [misc]simplify:  iters left: 3 (12 enodes)
1545992420.154 * * [misc]simplify:  iters left: 2 (22 enodes)
1545992420.160 * * [misc]simplify:  iters left: 1 (31 enodes)
1545992420.166 * [exit]simplify:  Simplified to (fma (pow y 4) -1 (pow y 4))
1545992420.167 * [misc]simplify:  Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (pow y 4) -1 (pow y 4))))
1545992420.167 * * * * [misc]progress:  [ 7 / 31 ] simplifiying candidate #<alt (λ (x y) (+ (fma 1 (pow x 4) (- (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4)))))) (fma (- (cbrt (pow y 4))) (* (cbrt (pow y 4)) (cbrt (pow y 4))) (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4)))))))>
1545992420.167 * [enter]simplify:  Simplifying (fma 1 (pow x 4) (- (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4))))))
1545992420.167 * * [misc]simplify:  iters left: 6 (11 enodes)
1545992420.171 * * [misc]simplify:  iters left: 5 (22 enodes)
1545992420.178 * * [misc]simplify:  iters left: 4 (29 enodes)
1545992420.187 * * [misc]simplify:  iters left: 3 (38 enodes)
1545992420.195 * [exit]simplify:  Simplified to (- (pow x 4) (pow y 4))
1545992420.195 * [misc]simplify:  Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (cbrt (pow y 4))) (* (cbrt (pow y 4)) (cbrt (pow y 4))) (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4)))))))
1545992420.196 * [enter]simplify:  Simplifying (fma (- (cbrt (pow y 4))) (* (cbrt (pow y 4)) (cbrt (pow y 4))) (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4)))))
1545992420.196 * * [misc]simplify:  iters left: 6 (8 enodes)
1545992420.198 * * [misc]simplify:  iters left: 5 (13 enodes)
1545992420.205 * * [misc]simplify:  iters left: 4 (20 enodes)
1545992420.212 * * [misc]simplify:  iters left: 3 (39 enodes)
1545992420.223 * * [misc]simplify:  iters left: 2 (47 enodes)
1545992420.227 * [exit]simplify:  Simplified to 0
1545992420.227 * [misc]simplify:  Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) 0))
1545992420.227 * * * * [misc]progress:  [ 8 / 31 ] simplifiying candidate #<alt (λ (x y) (+ (fma 1 (pow x 4) (- (* (sqrt (pow y 4)) (sqrt (pow y 4))))) (fma (- (sqrt (pow y 4))) (sqrt (pow y 4)) (* (sqrt (pow y 4)) (sqrt (pow y 4))))))>
1545992420.227 * [enter]simplify:  Simplifying (fma 1 (pow x 4) (- (* (sqrt (pow y 4)) (sqrt (pow y 4)))))
1545992420.227 * * [misc]simplify:  iters left: 6 (10 enodes)
1545992420.229 * * [misc]simplify:  iters left: 5 (17 enodes)
1545992420.231 * * [misc]simplify:  iters left: 4 (21 enodes)
1545992420.234 * * [misc]simplify:  iters left: 3 (28 enodes)
1545992420.237 * [exit]simplify:  Simplified to (- (pow x 4) (pow y 4))
1545992420.237 * [misc]simplify:  Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (sqrt (pow y 4))) (sqrt (pow y 4)) (* (sqrt (pow y 4)) (sqrt (pow y 4))))))
1545992420.237 * [enter]simplify:  Simplifying (fma (- (sqrt (pow y 4))) (sqrt (pow y 4)) (* (sqrt (pow y 4)) (sqrt (pow y 4))))
1545992420.238 * * [misc]simplify:  iters left: 5 (7 enodes)
1545992420.239 * * [misc]simplify:  iters left: 4 (9 enodes)
1545992420.240 * * [misc]simplify:  iters left: 3 (15 enodes)
1545992420.242 * * [misc]simplify:  iters left: 2 (21 enodes)
1545992420.244 * * [misc]simplify:  iters left: 1 (23 enodes)
1545992420.246 * [exit]simplify:  Simplified to 0
1545992420.246 * [misc]simplify:  Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) 0))
1545992420.246 * * * * [misc]progress:  [ 9 / 31 ] simplifiying candidate #<alt (λ (x y) (+ (fma 1 (pow x 4) (- (* (pow y 4) 1))) (fma (- (pow y 4)) 1 (* (pow y 4) 1))))>
1545992420.246 * [enter]simplify:  Simplifying (fma 1 (pow x 4) (- (* (pow y 4) 1)))
1545992420.246 * * [misc]simplify:  iters left: 6 (9 enodes)
1545992420.248 * * [misc]simplify:  iters left: 5 (19 enodes)
1545992420.251 * * [misc]simplify:  iters left: 4 (26 enodes)
1545992420.256 * * [misc]simplify:  iters left: 3 (38 enodes)
1545992420.261 * * [misc]simplify:  iters left: 2 (41 enodes)
1545992420.265 * [exit]simplify:  Simplified to (- (pow x 4) (pow y 4))
1545992420.265 * [misc]simplify:  Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (pow y 4)) 1 (* (pow y 4) 1))))
1545992420.265 * [enter]simplify:  Simplifying (fma (- (pow y 4)) 1 (* (pow y 4) 1))
1545992420.266 * * [misc]simplify:  iters left: 4 (7 enodes)
1545992420.267 * * [misc]simplify:  iters left: 3 (12 enodes)
1545992420.269 * * [misc]simplify:  iters left: 2 (22 enodes)
1545992420.272 * * [misc]simplify:  iters left: 1 (31 enodes)
1545992420.275 * [exit]simplify:  Simplified to (fma (pow y 4) -1 (pow y 4))
1545992420.275 * [misc]simplify:  Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (pow y 4) -1 (pow y 4))))
1545992420.276 * * * * [misc]progress:  [ 10 / 31 ] simplifiying candidate #<alt (λ (x y) (log1p (expm1 (- (pow x 4) (pow y 4)))))>
1545992420.276 * * * * [misc]progress:  [ 11 / 31 ] simplifiying candidate #<alt (λ (x y) (expm1 (log1p (- (pow x 4) (pow y 4)))))>
1545992420.276 * * * * [misc]progress:  [ 12 / 31 ] simplifiying candidate #<alt (λ (x y) (fma (* (cbrt (pow x 4)) (cbrt (pow x 4))) (cbrt (pow x 4)) (- (pow y 4))))>
1545992420.276 * [enter]simplify:  Simplifying (* (cbrt (pow x 4)) (cbrt (pow x 4)))
1545992420.276 * * [misc]simplify:  iters left: 4 (5 enodes)
1545992420.278 * [exit]simplify:  Simplified to (* (cbrt (pow x 4)) (cbrt (pow x 4)))
1545992420.278 * [misc]simplify:  Simplified (2 1) to (λ (x y) (fma (* (cbrt (pow x 4)) (cbrt (pow x 4))) (cbrt (pow x 4)) (- (pow y 4))))
1545992420.278 * * * * [misc]progress:  [ 13 / 31 ] simplifiying candidate #<alt (λ (x y) (fma (sqrt (pow x 4)) (sqrt (pow x 4)) (- (pow y 4))))>
1545992420.278 * [enter]simplify:  Simplifying (sqrt (pow x 4))
1545992420.278 * * [misc]simplify:  iters left: 2 (4 enodes)
1545992420.279 * [exit]simplify:  Simplified to (sqrt (pow x 4))
1545992420.279 * [misc]simplify:  Simplified (2 1) to (λ (x y) (fma (sqrt (pow x 4)) (sqrt (pow x 4)) (- (pow y 4))))
1545992420.279 * * * * [misc]progress:  [ 14 / 31 ] simplifiying candidate #<alt (λ (x y) (fma 1 (pow x 4) (- (pow y 4))))>
1545992420.279 * * * * [misc]progress:  [ 15 / 31 ] simplifiying candidate #<alt (λ (x y) (log (/ (exp (pow x 4)) (exp (pow y 4)))))>
1545992420.280 * [enter]simplify:  Simplifying (/ (exp (pow x 4)) (exp (pow y 4)))
1545992420.280 * * [misc]simplify:  iters left: 4 (8 enodes)
1545992420.282 * * [misc]simplify:  iters left: 3 (10 enodes)
1545992420.285 * * [misc]simplify:  iters left: 2 (12 enodes)
1545992420.289 * * [misc]simplify:  iters left: 1 (15 enodes)
1545992420.293 * [exit]simplify:  Simplified to (exp (- (pow x 4) (pow y 4)))
1545992420.293 * [misc]simplify:  Simplified (2 1) to (λ (x y) (log (exp (- (pow x 4) (pow y 4)))))
1545992420.293 * * * * [misc]progress:  [ 16 / 31 ] simplifiying candidate #<alt (λ (x y) (pow (- (pow x 4) (pow y 4)) 1))>
1545992420.293 * * * * [misc]progress:  [ 17 / 31 ] simplifiying candidate #<alt (λ (x y) (exp (log (- (pow x 4) (pow y 4)))))>
1545992420.293 * * * * [misc]progress:  [ 18 / 31 ] simplifiying candidate #<alt (λ (x y) (log (exp (- (pow x 4) (pow y 4)))))>
1545992420.293 * * * * [misc]progress:  [ 19 / 31 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4)))) (cbrt (- (pow x 4) (pow y 4)))))>
1545992420.293 * * * * [misc]progress:  [ 20 / 31 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (- (pow x 4) (pow y 4)) (- (pow x 4) (pow y 4))) (- (pow x 4) (pow y 4)))))>
1545992420.294 * * * * [misc]progress:  [ 21 / 31 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (- (pow x 4) (pow y 4))) (sqrt (- (pow x 4) (pow y 4)))))>
1545992420.294 * * * * [misc]progress:  [ 22 / 31 ] simplifiying candidate #<alt (λ (x y) (/ (- (pow (pow x 4) 3) (pow (pow y 4) 3)) (+ (* (pow x 4) (pow x 4)) (+ (* (pow y 4) (pow y 4)) (* (pow x 4) (pow y 4))))))>
1545992420.294 * * * * [misc]progress:  [ 23 / 31 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow y 4))))>
1545992420.294 * * * * [misc]progress:  [ 24 / 31 ] simplifiying candidate #<alt (λ (x y) (* 1 (- (pow x 4) (pow y 4))))>
1545992420.294 * * * * [misc]progress:  [ 25 / 31 ] simplifiying candidate #<alt (λ (x y) (/ (- (* (pow x 4) (pow x 4)) (* (pow y 4) (pow y 4))) (+ (pow x 4) (pow y 4))))>
1545992420.294 * * * * [misc]progress:  [ 26 / 31 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1545992420.294 * [enter]simplify:  Simplifying (+ (sqrt (pow x 4)) (sqrt (pow y 4)))
1545992420.294 * * [misc]simplify:  iters left: 4 (8 enodes)
1545992420.297 * * [misc]simplify:  iters left: 3 (9 enodes)
1545992420.299 * [exit]simplify:  Simplified to (+ (sqrt (pow x 4)) (sqrt (pow y 4)))
1545992420.299 * [misc]simplify:  Simplified (2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))
1545992420.300 * [enter]simplify:  Simplifying (- (sqrt (pow x 4)) (sqrt (pow y 4)))
1545992420.300 * * [misc]simplify:  iters left: 4 (8 enodes)
1545992420.302 * * [misc]simplify:  iters left: 3 (10 enodes)
1545992420.305 * * [misc]simplify:  iters left: 2 (11 enodes)
1545992420.311 * [exit]simplify:  Simplified to (- (sqrt (pow x 4)) (sqrt (pow y 4)))
1545992420.311 * [misc]simplify:  Simplified (2 2) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))
1545992420.311 * * * * [misc]progress:  [ 27 / 31 ] simplifiying candidate #<alt (λ (x y) (* 1 (- (pow x 4) (pow y 4))))>
1545992420.311 * [enter]simplify:  Simplifying (- (pow x 4) (pow y 4))
1545992420.311 * * [misc]simplify:  iters left: 3 (6 enodes)
1545992420.313 * * [misc]simplify:  iters left: 2 (8 enodes)
1545992420.315 * * [misc]simplify:  iters left: 1 (9 enodes)
1545992420.318 * [exit]simplify:  Simplified to (- (pow x 4) (pow y 4))
1545992420.318 * [misc]simplify:  Simplified (2 2) to (λ (x y) (* 1 (- (pow x 4) (pow y 4))))
1545992420.318 * * * * [misc]progress:  [ 28 / 31 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow y 4))))>
1545992420.318 * * * * [misc]progress:  [ 29 / 31 ] simplifiying candidate #<alt (λ (x y) 0)>
1545992420.318 * [enter]simplify:  Simplifying 0
1545992420.318 * * [misc]simplify:  iters left: 0 (1 enodes)
1545992420.319 * [exit]simplify:  Simplified to 0
1545992420.319 * [misc]simplify:  Simplified (2) to (λ (x y) 0)
1545992420.319 * * * * [misc]progress:  [ 30 / 31 ] simplifiying candidate #<alt (λ (x y) (- (pow x 4) (pow y 4)))>
1545992420.319 * [enter]simplify:  Simplifying (- (pow x 4) (pow y 4))
1545992420.319 * * [misc]simplify:  iters left: 3 (6 enodes)
1545992420.321 * * [misc]simplify:  iters left: 2 (8 enodes)
1545992420.323 * * [misc]simplify:  iters left: 1 (9 enodes)
1545992420.326 * [exit]simplify:  Simplified to (- (pow x 4) (pow y 4))
1545992420.326 * [misc]simplify:  Simplified (2) to (λ (x y) (- (pow x 4) (pow y 4)))
1545992420.326 * * * * [misc]progress:  [ 31 / 31 ] simplifiying candidate #<alt (λ (x y) (- (pow x 4) (pow y 4)))>
1545992420.326 * [enter]simplify:  Simplifying (- (pow x 4) (pow y 4))
1545992420.326 * * [misc]simplify:  iters left: 3 (6 enodes)
1545992420.328 * * [misc]simplify:  iters left: 2 (8 enodes)
1545992420.329 * * [misc]simplify:  iters left: 1 (9 enodes)
1545992420.330 * [exit]simplify:  Simplified to (- (pow x 4) (pow y 4))
1545992420.330 * [misc]simplify:  Simplified (2) to (λ (x y) (- (pow x 4) (pow y 4)))
1545992420.330 * * * [misc]progress:  adding candidates to table
1545992420.701 * * [misc]progress:  iteration 2 / 4
1545992420.701 * * * [misc]progress:  picking best candidate
1545992420.704 * * * * [misc]pick:  Picked  #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1545992420.704 * * * [misc]progress:  localizing error
1545992420.719 * * * [misc]progress:  generating rewritten candidates
1545992420.719 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 2)
1545992420.721 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2)
1545992420.722 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 1)
1545992420.724 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1)
1545992420.726 * * * [misc]progress:  generating series expansions
1545992420.726 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 2)
1545992420.727 * [misc]backup-simplify:  Simplify (sqrt (pow y 4)) into (pow y 2)
1545992420.727 * [misc]approximate:  Taking taylor expansion of (pow y 2) in (y) around 0
1545992420.727 * [misc]taylor:  Taking taylor expansion of (pow y 2) in y
1545992420.727 * [misc]taylor:  Taking taylor expansion of y in y
1545992420.727 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.727 * [misc]backup-simplify:  Simplify 1 into 1
1545992420.727 * [misc]taylor:  Taking taylor expansion of (pow y 2) in y
1545992420.727 * [misc]taylor:  Taking taylor expansion of y in y
1545992420.727 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.727 * [misc]backup-simplify:  Simplify 1 into 1
1545992420.727 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992420.727 * [misc]backup-simplify:  Simplify 1 into 1
1545992420.728 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545992420.728 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.728 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545992420.728 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.729 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545992420.729 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.729 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545992420.729 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.730 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545992420.730 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.730 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545992420.730 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.730 * [misc]backup-simplify:  Simplify (* 1 (pow y 2)) into (pow y 2)
1545992420.730 * [misc]backup-simplify:  Simplify (sqrt (pow (/ 1 y) 4)) into (/ 1 (pow y 2))
1545992420.730 * [misc]approximate:  Taking taylor expansion of (/ 1 (pow y 2)) in (y) around 0
1545992420.730 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow y 2)) in y
1545992420.731 * [misc]taylor:  Taking taylor expansion of (pow y 2) in y
1545992420.731 * [misc]taylor:  Taking taylor expansion of y in y
1545992420.731 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.731 * [misc]backup-simplify:  Simplify 1 into 1
1545992420.731 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992420.731 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992420.731 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow y 2)) in y
1545992420.731 * [misc]taylor:  Taking taylor expansion of (pow y 2) in y
1545992420.731 * [misc]taylor:  Taking taylor expansion of y in y
1545992420.731 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.731 * [misc]backup-simplify:  Simplify 1 into 1
1545992420.731 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992420.731 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992420.731 * [misc]backup-simplify:  Simplify 1 into 1
1545992420.732 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545992420.732 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545992420.732 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.732 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545992420.733 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.733 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.733 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545992420.733 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.733 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.734 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545992420.734 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.734 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.735 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545992420.735 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.735 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.736 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545992420.736 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.737 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.737 * [misc]backup-simplify:  Simplify (* 1 (pow (/ 1 (/ 1 y)) 2)) into (pow y 2)
1545992420.737 * [misc]backup-simplify:  Simplify (sqrt (pow (/ 1 (- y)) 4)) into (/ 1 (pow y 2))
1545992420.737 * [misc]approximate:  Taking taylor expansion of (/ 1 (pow y 2)) in (y) around 0
1545992420.737 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow y 2)) in y
1545992420.737 * [misc]taylor:  Taking taylor expansion of (pow y 2) in y
1545992420.737 * [misc]taylor:  Taking taylor expansion of y in y
1545992420.737 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.737 * [misc]backup-simplify:  Simplify 1 into 1
1545992420.737 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992420.737 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992420.737 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow y 2)) in y
1545992420.737 * [misc]taylor:  Taking taylor expansion of (pow y 2) in y
1545992420.737 * [misc]taylor:  Taking taylor expansion of y in y
1545992420.737 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.738 * [misc]backup-simplify:  Simplify 1 into 1
1545992420.738 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992420.738 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992420.738 * [misc]backup-simplify:  Simplify 1 into 1
1545992420.738 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545992420.738 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545992420.738 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.739 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545992420.739 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.739 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.739 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545992420.740 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.740 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.740 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545992420.741 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.741 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.741 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545992420.742 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.742 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.742 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545992420.743 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.743 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.743 * [misc]backup-simplify:  Simplify (* 1 (pow (/ 1 (/ 1 (- y))) 2)) into (pow y 2)
1545992420.743 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2)
1545992420.743 * [misc]backup-simplify:  Simplify (sqrt (pow y 4)) into (pow y 2)
1545992420.743 * [misc]approximate:  Taking taylor expansion of (pow y 2) in (y) around 0
1545992420.743 * [misc]taylor:  Taking taylor expansion of (pow y 2) in y
1545992420.743 * [misc]taylor:  Taking taylor expansion of y in y
1545992420.743 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.743 * [misc]backup-simplify:  Simplify 1 into 1
1545992420.744 * [misc]taylor:  Taking taylor expansion of (pow y 2) in y
1545992420.744 * [misc]taylor:  Taking taylor expansion of y in y
1545992420.744 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.744 * [misc]backup-simplify:  Simplify 1 into 1
1545992420.744 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992420.744 * [misc]backup-simplify:  Simplify 1 into 1
1545992420.744 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545992420.745 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.745 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545992420.745 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.745 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545992420.745 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.746 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545992420.746 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.746 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545992420.746 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.747 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545992420.747 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.747 * [misc]backup-simplify:  Simplify (* 1 (pow y 2)) into (pow y 2)
1545992420.747 * [misc]backup-simplify:  Simplify (sqrt (pow (/ 1 y) 4)) into (/ 1 (pow y 2))
1545992420.747 * [misc]approximate:  Taking taylor expansion of (/ 1 (pow y 2)) in (y) around 0
1545992420.747 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow y 2)) in y
1545992420.747 * [misc]taylor:  Taking taylor expansion of (pow y 2) in y
1545992420.747 * [misc]taylor:  Taking taylor expansion of y in y
1545992420.747 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.747 * [misc]backup-simplify:  Simplify 1 into 1
1545992420.747 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992420.748 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992420.748 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow y 2)) in y
1545992420.748 * [misc]taylor:  Taking taylor expansion of (pow y 2) in y
1545992420.748 * [misc]taylor:  Taking taylor expansion of y in y
1545992420.748 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.748 * [misc]backup-simplify:  Simplify 1 into 1
1545992420.748 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992420.748 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992420.748 * [misc]backup-simplify:  Simplify 1 into 1
1545992420.748 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545992420.749 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545992420.749 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.749 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545992420.749 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.749 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.750 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545992420.750 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.750 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.751 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545992420.751 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.751 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.752 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545992420.752 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.752 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.753 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545992420.753 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.753 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.753 * [misc]backup-simplify:  Simplify (* 1 (pow (/ 1 (/ 1 y)) 2)) into (pow y 2)
1545992420.754 * [misc]backup-simplify:  Simplify (sqrt (pow (/ 1 (- y)) 4)) into (/ 1 (pow y 2))
1545992420.754 * [misc]approximate:  Taking taylor expansion of (/ 1 (pow y 2)) in (y) around 0
1545992420.754 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow y 2)) in y
1545992420.754 * [misc]taylor:  Taking taylor expansion of (pow y 2) in y
1545992420.754 * [misc]taylor:  Taking taylor expansion of y in y
1545992420.754 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.754 * [misc]backup-simplify:  Simplify 1 into 1
1545992420.754 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992420.754 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992420.754 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow y 2)) in y
1545992420.754 * [misc]taylor:  Taking taylor expansion of (pow y 2) in y
1545992420.754 * [misc]taylor:  Taking taylor expansion of y in y
1545992420.754 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.754 * [misc]backup-simplify:  Simplify 1 into 1
1545992420.755 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992420.755 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992420.755 * [misc]backup-simplify:  Simplify 1 into 1
1545992420.755 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545992420.755 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545992420.755 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.756 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545992420.756 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.756 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.756 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545992420.757 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.757 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.757 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545992420.758 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.758 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.758 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545992420.759 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.759 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.759 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545992420.760 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.760 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.760 * [misc]backup-simplify:  Simplify (* 1 (pow (/ 1 (/ 1 (- y))) 2)) into (pow y 2)
1545992420.760 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 1)
1545992420.760 * [misc]backup-simplify:  Simplify (sqrt (pow x 4)) into (pow x 2)
1545992420.760 * [misc]approximate:  Taking taylor expansion of (pow x 2) in (x) around 0
1545992420.760 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545992420.760 * [misc]taylor:  Taking taylor expansion of x in x
1545992420.760 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.760 * [misc]backup-simplify:  Simplify 1 into 1
1545992420.761 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545992420.761 * [misc]taylor:  Taking taylor expansion of x in x
1545992420.761 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.761 * [misc]backup-simplify:  Simplify 1 into 1
1545992420.761 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992420.761 * [misc]backup-simplify:  Simplify 1 into 1
1545992420.761 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545992420.761 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.761 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545992420.761 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.762 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545992420.762 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.762 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545992420.762 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.763 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545992420.763 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.763 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545992420.763 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.764 * [misc]backup-simplify:  Simplify (* 1 (pow x 2)) into (pow x 2)
1545992420.764 * [misc]backup-simplify:  Simplify (sqrt (pow (/ 1 x) 4)) into (/ 1 (pow x 2))
1545992420.764 * [misc]approximate:  Taking taylor expansion of (/ 1 (pow x 2)) in (x) around 0
1545992420.764 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1545992420.764 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545992420.764 * [misc]taylor:  Taking taylor expansion of x in x
1545992420.764 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.764 * [misc]backup-simplify:  Simplify 1 into 1
1545992420.764 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992420.764 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992420.764 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1545992420.764 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545992420.764 * [misc]taylor:  Taking taylor expansion of x in x
1545992420.764 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.764 * [misc]backup-simplify:  Simplify 1 into 1
1545992420.765 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992420.765 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992420.765 * [misc]backup-simplify:  Simplify 1 into 1
1545992420.765 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545992420.765 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545992420.765 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.766 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545992420.766 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.766 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.766 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545992420.767 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.767 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.767 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545992420.768 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.768 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.768 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545992420.769 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.769 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.769 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545992420.770 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.770 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.770 * [misc]backup-simplify:  Simplify (* 1 (pow (/ 1 (/ 1 x)) 2)) into (pow x 2)
1545992420.770 * [misc]backup-simplify:  Simplify (sqrt (pow (/ 1 (- x)) 4)) into (/ 1 (pow x 2))
1545992420.770 * [misc]approximate:  Taking taylor expansion of (/ 1 (pow x 2)) in (x) around 0
1545992420.771 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1545992420.771 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545992420.771 * [misc]taylor:  Taking taylor expansion of x in x
1545992420.771 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.771 * [misc]backup-simplify:  Simplify 1 into 1
1545992420.771 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992420.771 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992420.771 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1545992420.771 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545992420.771 * [misc]taylor:  Taking taylor expansion of x in x
1545992420.771 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.771 * [misc]backup-simplify:  Simplify 1 into 1
1545992420.771 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992420.772 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992420.772 * [misc]backup-simplify:  Simplify 1 into 1
1545992420.772 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545992420.772 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545992420.772 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.772 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545992420.773 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.773 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.773 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545992420.774 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.774 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.774 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545992420.774 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.775 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.775 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545992420.776 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.776 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.776 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545992420.777 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.777 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.777 * [misc]backup-simplify:  Simplify (* 1 (pow (/ 1 (/ 1 (- x))) 2)) into (pow x 2)
1545992420.777 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1)
1545992420.777 * [misc]backup-simplify:  Simplify (sqrt (pow x 4)) into (pow x 2)
1545992420.777 * [misc]approximate:  Taking taylor expansion of (pow x 2) in (x) around 0
1545992420.777 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545992420.777 * [misc]taylor:  Taking taylor expansion of x in x
1545992420.777 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.777 * [misc]backup-simplify:  Simplify 1 into 1
1545992420.777 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545992420.777 * [misc]taylor:  Taking taylor expansion of x in x
1545992420.777 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.777 * [misc]backup-simplify:  Simplify 1 into 1
1545992420.778 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992420.778 * [misc]backup-simplify:  Simplify 1 into 1
1545992420.778 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545992420.778 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.778 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545992420.778 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.779 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545992420.779 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.779 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545992420.779 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.780 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545992420.780 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.780 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545992420.780 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.780 * [misc]backup-simplify:  Simplify (* 1 (pow x 2)) into (pow x 2)
1545992420.781 * [misc]backup-simplify:  Simplify (sqrt (pow (/ 1 x) 4)) into (/ 1 (pow x 2))
1545992420.781 * [misc]approximate:  Taking taylor expansion of (/ 1 (pow x 2)) in (x) around 0
1545992420.781 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1545992420.781 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545992420.781 * [misc]taylor:  Taking taylor expansion of x in x
1545992420.781 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.781 * [misc]backup-simplify:  Simplify 1 into 1
1545992420.781 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992420.781 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992420.781 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1545992420.781 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545992420.781 * [misc]taylor:  Taking taylor expansion of x in x
1545992420.781 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.781 * [misc]backup-simplify:  Simplify 1 into 1
1545992420.781 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992420.782 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992420.782 * [misc]backup-simplify:  Simplify 1 into 1
1545992420.782 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545992420.782 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545992420.782 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.783 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545992420.783 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.783 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.783 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545992420.784 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.784 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.784 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545992420.785 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.785 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.785 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545992420.786 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.786 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.786 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545992420.787 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.787 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.787 * [misc]backup-simplify:  Simplify (* 1 (pow (/ 1 (/ 1 x)) 2)) into (pow x 2)
1545992420.787 * [misc]backup-simplify:  Simplify (sqrt (pow (/ 1 (- x)) 4)) into (/ 1 (pow x 2))
1545992420.787 * [misc]approximate:  Taking taylor expansion of (/ 1 (pow x 2)) in (x) around 0
1545992420.787 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1545992420.787 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545992420.787 * [misc]taylor:  Taking taylor expansion of x in x
1545992420.787 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.787 * [misc]backup-simplify:  Simplify 1 into 1
1545992420.788 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992420.788 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992420.788 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1545992420.788 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545992420.788 * [misc]taylor:  Taking taylor expansion of x in x
1545992420.788 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.788 * [misc]backup-simplify:  Simplify 1 into 1
1545992420.788 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992420.788 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992420.788 * [misc]backup-simplify:  Simplify 1 into 1
1545992420.789 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545992420.789 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545992420.789 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.789 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545992420.790 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.790 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.790 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545992420.790 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.790 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.791 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545992420.791 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.791 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.792 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545992420.792 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.792 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.793 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545992420.794 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992420.794 * [misc]backup-simplify:  Simplify 0 into 0
1545992420.794 * [misc]backup-simplify:  Simplify (* 1 (pow (/ 1 (/ 1 (- x))) 2)) into (pow x 2)
1545992420.794 * * * [misc]progress:  simplifying candidates
1545992420.794 * * * * [misc]progress:  [ 1 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (log1p (expm1 (sqrt (pow y 4)))))))>
1545992420.794 * * * * [misc]progress:  [ 2 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (expm1 (log1p (sqrt (pow y 4)))))))>
1545992420.794 * * * * [misc]progress:  [ 3 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (pow (pow y 4) 1/2))))>
1545992420.794 * * * * [misc]progress:  [ 4 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (pow (sqrt (pow y 4)) 1))))>
1545992420.794 * * * * [misc]progress:  [ 5 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (exp (log (sqrt (pow y 4)))))))>
1545992420.794 * * * * [misc]progress:  [ 6 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (log (exp (sqrt (pow y 4)))))))>
1545992420.794 * * * * [misc]progress:  [ 7 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (* (* (cbrt (sqrt (pow y 4))) (cbrt (sqrt (pow y 4)))) (cbrt (sqrt (pow y 4)))))))>
1545992420.795 * * * * [misc]progress:  [ 8 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (cbrt (* (* (sqrt (pow y 4)) (sqrt (pow y 4))) (sqrt (pow y 4)))))))>
1545992420.795 * * * * [misc]progress:  [ 9 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (* (sqrt (* (cbrt (pow y 4)) (cbrt (pow y 4)))) (sqrt (cbrt (pow y 4)))))))>
1545992420.795 * [enter]simplify:  Simplifying (sqrt (* (cbrt (pow y 4)) (cbrt (pow y 4))))
1545992420.795 * * [misc]simplify:  iters left: 5 (6 enodes)
1545992420.797 * * [misc]simplify:  iters left: 4 (7 enodes)
1545992420.799 * [exit]simplify:  Simplified to (fabs (cbrt (pow y 4)))
1545992420.799 * [misc]simplify:  Simplified (2 2 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (* (fabs (cbrt (pow y 4))) (sqrt (cbrt (pow y 4)))))))
1545992420.799 * * * * [misc]progress:  [ 10 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (* (sqrt (sqrt (pow y 4))) (sqrt (sqrt (pow y 4)))))))>
1545992420.800 * [enter]simplify:  Simplifying (sqrt (sqrt (pow y 4)))
1545992420.800 * * [misc]simplify:  iters left: 3 (5 enodes)
1545992420.801 * [exit]simplify:  Simplified to (sqrt (sqrt (pow y 4)))
1545992420.801 * [misc]simplify:  Simplified (2 2 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (* (sqrt (sqrt (pow y 4))) (sqrt (sqrt (pow y 4)))))))
1545992420.801 * * * * [misc]progress:  [ 11 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (* (sqrt 1) (sqrt (pow y 4))))))>
1545992420.802 * [enter]simplify:  Simplifying (sqrt 1)
1545992420.802 * * [misc]simplify:  iters left: 1 (2 enodes)
1545992420.803 * [exit]simplify:  Simplified to 1
1545992420.803 * [misc]simplify:  Simplified (2 2 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (* 1 (sqrt (pow y 4))))))
1545992420.803 * * * * [misc]progress:  [ 12 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (* (sqrt (sqrt (pow y 4))) (sqrt (sqrt (pow y 4)))))))>
1545992420.803 * * * * [misc]progress:  [ 13 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (fabs (sqrt (pow y 4))))))>
1545992420.804 * [enter]simplify:  Simplifying (sqrt (pow y 4))
1545992420.804 * * [misc]simplify:  iters left: 2 (4 enodes)
1545992420.805 * [exit]simplify:  Simplified to (sqrt (pow y 4))
1545992420.805 * [misc]simplify:  Simplified (2 2 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (fabs (sqrt (pow y 4))))))
1545992420.805 * * * * [misc]progress:  [ 14 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (* 1 (sqrt (pow y 4))))))>
1545992420.805 * * * * [misc]progress:  [ 15 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (log1p (expm1 (sqrt (pow y 4))))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1545992420.805 * * * * [misc]progress:  [ 16 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (expm1 (log1p (sqrt (pow y 4))))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1545992420.805 * * * * [misc]progress:  [ 17 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (pow (pow y 4) 1/2)) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1545992420.805 * * * * [misc]progress:  [ 18 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (pow (sqrt (pow y 4)) 1)) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1545992420.805 * * * * [misc]progress:  [ 19 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (exp (log (sqrt (pow y 4))))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1545992420.805 * * * * [misc]progress:  [ 20 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (log (exp (sqrt (pow y 4))))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1545992420.805 * * * * [misc]progress:  [ 21 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (* (* (cbrt (sqrt (pow y 4))) (cbrt (sqrt (pow y 4)))) (cbrt (sqrt (pow y 4))))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1545992420.805 * * * * [misc]progress:  [ 22 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (cbrt (* (* (sqrt (pow y 4)) (sqrt (pow y 4))) (sqrt (pow y 4))))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1545992420.806 * * * * [misc]progress:  [ 23 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (* (sqrt (* (cbrt (pow y 4)) (cbrt (pow y 4)))) (sqrt (cbrt (pow y 4))))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1545992420.806 * [enter]simplify:  Simplifying (sqrt (* (cbrt (pow y 4)) (cbrt (pow y 4))))
1545992420.806 * * [misc]simplify:  iters left: 5 (6 enodes)
1545992420.808 * * [misc]simplify:  iters left: 4 (7 enodes)
1545992420.810 * [exit]simplify:  Simplified to (fabs (cbrt (pow y 4)))
1545992420.810 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (* (fabs (cbrt (pow y 4))) (sqrt (cbrt (pow y 4))))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))
1545992420.810 * * * * [misc]progress:  [ 24 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (* (sqrt (sqrt (pow y 4))) (sqrt (sqrt (pow y 4))))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1545992420.810 * [enter]simplify:  Simplifying (sqrt (sqrt (pow y 4)))
1545992420.810 * * [misc]simplify:  iters left: 3 (5 enodes)
1545992420.812 * [exit]simplify:  Simplified to (sqrt (sqrt (pow y 4)))
1545992420.812 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (* (sqrt (sqrt (pow y 4))) (sqrt (sqrt (pow y 4))))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))
1545992420.812 * * * * [misc]progress:  [ 25 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (* (sqrt 1) (sqrt (pow y 4)))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1545992420.812 * [enter]simplify:  Simplifying (sqrt 1)
1545992420.812 * * [misc]simplify:  iters left: 1 (2 enodes)
1545992420.814 * [exit]simplify:  Simplified to 1
1545992420.814 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (* 1 (sqrt (pow y 4)))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))
1545992420.814 * * * * [misc]progress:  [ 26 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (* (sqrt (sqrt (pow y 4))) (sqrt (sqrt (pow y 4))))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1545992420.814 * * * * [misc]progress:  [ 27 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (fabs (sqrt (pow y 4)))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1545992420.814 * [enter]simplify:  Simplifying (sqrt (pow y 4))
1545992420.814 * * [misc]simplify:  iters left: 2 (4 enodes)
1545992420.816 * [exit]simplify:  Simplified to (sqrt (pow y 4))
1545992420.816 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (fabs (sqrt (pow y 4)))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))
1545992420.816 * * * * [misc]progress:  [ 28 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (* 1 (sqrt (pow y 4)))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1545992420.816 * * * * [misc]progress:  [ 29 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (log1p (expm1 (sqrt (pow x 4)))) (sqrt (pow y 4)))))>
1545992420.816 * * * * [misc]progress:  [ 30 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (expm1 (log1p (sqrt (pow x 4)))) (sqrt (pow y 4)))))>
1545992420.816 * * * * [misc]progress:  [ 31 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (pow (pow x 4) 1/2) (sqrt (pow y 4)))))>
1545992420.816 * * * * [misc]progress:  [ 32 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (pow (sqrt (pow x 4)) 1) (sqrt (pow y 4)))))>
1545992420.816 * * * * [misc]progress:  [ 33 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (exp (log (sqrt (pow x 4)))) (sqrt (pow y 4)))))>
1545992420.816 * * * * [misc]progress:  [ 34 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (log (exp (sqrt (pow x 4)))) (sqrt (pow y 4)))))>
1545992420.816 * * * * [misc]progress:  [ 35 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* (* (cbrt (sqrt (pow x 4))) (cbrt (sqrt (pow x 4)))) (cbrt (sqrt (pow x 4)))) (sqrt (pow y 4)))))>
1545992420.816 * * * * [misc]progress:  [ 36 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (cbrt (* (* (sqrt (pow x 4)) (sqrt (pow x 4))) (sqrt (pow x 4)))) (sqrt (pow y 4)))))>
1545992420.816 * * * * [misc]progress:  [ 37 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* (sqrt (* (cbrt (pow x 4)) (cbrt (pow x 4)))) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4)))))>
1545992420.816 * [enter]simplify:  Simplifying (sqrt (* (cbrt (pow x 4)) (cbrt (pow x 4))))
1545992420.817 * * [misc]simplify:  iters left: 5 (6 enodes)
1545992420.819 * * [misc]simplify:  iters left: 4 (7 enodes)
1545992420.821 * [exit]simplify:  Simplified to (fabs (cbrt (pow x 4)))
1545992420.821 * [misc]simplify:  Simplified (2 2 1 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* (fabs (cbrt (pow x 4))) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4)))))
1545992420.821 * * * * [misc]progress:  [ 38 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* (sqrt (sqrt (pow x 4))) (sqrt (sqrt (pow x 4)))) (sqrt (pow y 4)))))>
1545992420.821 * [enter]simplify:  Simplifying (sqrt (sqrt (pow x 4)))
1545992420.821 * * [misc]simplify:  iters left: 3 (5 enodes)
1545992420.823 * [exit]simplify:  Simplified to (sqrt (sqrt (pow x 4)))
1545992420.823 * [misc]simplify:  Simplified (2 2 1 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* (sqrt (sqrt (pow x 4))) (sqrt (sqrt (pow x 4)))) (sqrt (pow y 4)))))
1545992420.823 * * * * [misc]progress:  [ 39 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* (sqrt 1) (sqrt (pow x 4))) (sqrt (pow y 4)))))>
1545992420.823 * [enter]simplify:  Simplifying (sqrt 1)
1545992420.823 * * [misc]simplify:  iters left: 1 (2 enodes)
1545992420.824 * [exit]simplify:  Simplified to 1
1545992420.824 * [misc]simplify:  Simplified (2 2 1 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* 1 (sqrt (pow x 4))) (sqrt (pow y 4)))))
1545992420.824 * * * * [misc]progress:  [ 40 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* (sqrt (sqrt (pow x 4))) (sqrt (sqrt (pow x 4)))) (sqrt (pow y 4)))))>
1545992420.824 * * * * [misc]progress:  [ 41 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (fabs (sqrt (pow x 4))) (sqrt (pow y 4)))))>
1545992420.824 * [enter]simplify:  Simplifying (sqrt (pow x 4))
1545992420.824 * * [misc]simplify:  iters left: 2 (4 enodes)
1545992420.825 * [exit]simplify:  Simplified to (sqrt (pow x 4))
1545992420.825 * [misc]simplify:  Simplified (2 2 1 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (fabs (sqrt (pow x 4))) (sqrt (pow y 4)))))
1545992420.825 * * * * [misc]progress:  [ 42 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* 1 (sqrt (pow x 4))) (sqrt (pow y 4)))))>
1545992420.825 * * * * [misc]progress:  [ 43 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (log1p (expm1 (sqrt (pow x 4)))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1545992420.825 * * * * [misc]progress:  [ 44 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (expm1 (log1p (sqrt (pow x 4)))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1545992420.825 * * * * [misc]progress:  [ 45 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (pow (pow x 4) 1/2) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1545992420.825 * * * * [misc]progress:  [ 46 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (pow (sqrt (pow x 4)) 1) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1545992420.825 * * * * [misc]progress:  [ 47 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (exp (log (sqrt (pow x 4)))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1545992420.825 * * * * [misc]progress:  [ 48 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (log (exp (sqrt (pow x 4)))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1545992420.825 * * * * [misc]progress:  [ 49 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (* (* (cbrt (sqrt (pow x 4))) (cbrt (sqrt (pow x 4)))) (cbrt (sqrt (pow x 4)))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1545992420.825 * * * * [misc]progress:  [ 50 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (cbrt (* (* (sqrt (pow x 4)) (sqrt (pow x 4))) (sqrt (pow x 4)))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1545992420.825 * * * * [misc]progress:  [ 51 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (* (sqrt (* (cbrt (pow x 4)) (cbrt (pow x 4)))) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1545992420.826 * [enter]simplify:  Simplifying (sqrt (* (cbrt (pow x 4)) (cbrt (pow x 4))))
1545992420.826 * * [misc]simplify:  iters left: 5 (6 enodes)
1545992420.826 * * [misc]simplify:  iters left: 4 (7 enodes)
1545992420.827 * [exit]simplify:  Simplified to (fabs (cbrt (pow x 4)))
1545992420.827 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x y) (* (+ (* (fabs (cbrt (pow x 4))) (sqrt (cbrt (pow x 4)))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))
1545992420.828 * * * * [misc]progress:  [ 52 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (* (sqrt (sqrt (pow x 4))) (sqrt (sqrt (pow x 4)))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1545992420.828 * [enter]simplify:  Simplifying (sqrt (sqrt (pow x 4)))
1545992420.828 * * [misc]simplify:  iters left: 3 (5 enodes)
1545992420.828 * [exit]simplify:  Simplified to (sqrt (sqrt (pow x 4)))
1545992420.828 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x y) (* (+ (* (sqrt (sqrt (pow x 4))) (sqrt (sqrt (pow x 4)))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))
1545992420.828 * * * * [misc]progress:  [ 53 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (* (sqrt 1) (sqrt (pow x 4))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1545992420.829 * [enter]simplify:  Simplifying (sqrt 1)
1545992420.829 * * [misc]simplify:  iters left: 1 (2 enodes)
1545992420.829 * [exit]simplify:  Simplified to 1
1545992420.829 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x y) (* (+ (* 1 (sqrt (pow x 4))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))
1545992420.829 * * * * [misc]progress:  [ 54 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (* (sqrt (sqrt (pow x 4))) (sqrt (sqrt (pow x 4)))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1545992420.830 * * * * [misc]progress:  [ 55 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (fabs (sqrt (pow x 4))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1545992420.830 * [enter]simplify:  Simplifying (sqrt (pow x 4))
1545992420.830 * * [misc]simplify:  iters left: 2 (4 enodes)
1545992420.833 * [exit]simplify:  Simplified to (sqrt (pow x 4))
1545992420.833 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x y) (* (+ (fabs (sqrt (pow x 4))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))
1545992420.833 * * * * [misc]progress:  [ 56 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (* 1 (sqrt (pow x 4))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1545992420.834 * * * * [misc]progress:  [ 57 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (pow y 2))))>
1545992420.834 * [enter]simplify:  Simplifying (pow y 2)
1545992420.834 * * [misc]simplify:  iters left: 1 (3 enodes)
1545992420.834 * [exit]simplify:  Simplified to (* y y)
1545992420.834 * [misc]simplify:  Simplified (2 2 2) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (* y y))))
1545992420.834 * * * * [misc]progress:  [ 58 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (pow y 2))))>
1545992420.834 * [enter]simplify:  Simplifying (pow y 2)
1545992420.834 * * [misc]simplify:  iters left: 1 (3 enodes)
1545992420.835 * [exit]simplify:  Simplified to (* y y)
1545992420.835 * [misc]simplify:  Simplified (2 2 2) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (* y y))))
1545992420.835 * * * * [misc]progress:  [ 59 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (pow y 2))))>
1545992420.835 * [enter]simplify:  Simplifying (pow y 2)
1545992420.835 * * [misc]simplify:  iters left: 1 (3 enodes)
1545992420.836 * [exit]simplify:  Simplified to (* y y)
1545992420.836 * [misc]simplify:  Simplified (2 2 2) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (* y y))))
1545992420.836 * * * * [misc]progress:  [ 60 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (pow y 2)) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1545992420.836 * [enter]simplify:  Simplifying (pow y 2)
1545992420.836 * * [misc]simplify:  iters left: 1 (3 enodes)
1545992420.836 * [exit]simplify:  Simplified to (* y y)
1545992420.836 * [misc]simplify:  Simplified (2 1 2) to (λ (x y) (* (+ (sqrt (pow x 4)) (* y y)) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))
1545992420.836 * * * * [misc]progress:  [ 61 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (pow y 2)) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1545992420.837 * [enter]simplify:  Simplifying (pow y 2)
1545992420.837 * * [misc]simplify:  iters left: 1 (3 enodes)
1545992420.837 * [exit]simplify:  Simplified to (* y y)
1545992420.837 * [misc]simplify:  Simplified (2 1 2) to (λ (x y) (* (+ (sqrt (pow x 4)) (* y y)) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))
1545992420.837 * * * * [misc]progress:  [ 62 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (pow y 2)) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1545992420.837 * [enter]simplify:  Simplifying (pow y 2)
1545992420.837 * * [misc]simplify:  iters left: 1 (3 enodes)
1545992420.838 * [exit]simplify:  Simplified to (* y y)
1545992420.838 * [misc]simplify:  Simplified (2 1 2) to (λ (x y) (* (+ (sqrt (pow x 4)) (* y y)) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))
1545992420.838 * * * * [misc]progress:  [ 63 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (pow x 2) (sqrt (pow y 4)))))>
1545992420.838 * [enter]simplify:  Simplifying (pow x 2)
1545992420.838 * * [misc]simplify:  iters left: 1 (3 enodes)
1545992420.839 * [exit]simplify:  Simplified to (* x x)
1545992420.839 * [misc]simplify:  Simplified (2 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* x x) (sqrt (pow y 4)))))
1545992420.839 * * * * [misc]progress:  [ 64 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (pow x 2) (sqrt (pow y 4)))))>
1545992420.839 * [enter]simplify:  Simplifying (pow x 2)
1545992420.839 * * [misc]simplify:  iters left: 1 (3 enodes)
1545992420.839 * [exit]simplify:  Simplified to (* x x)
1545992420.839 * [misc]simplify:  Simplified (2 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* x x) (sqrt (pow y 4)))))
1545992420.839 * * * * [misc]progress:  [ 65 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (pow x 2) (sqrt (pow y 4)))))>
1545992420.839 * [enter]simplify:  Simplifying (pow x 2)
1545992420.840 * * [misc]simplify:  iters left: 1 (3 enodes)
1545992420.840 * [exit]simplify:  Simplified to (* x x)
1545992420.840 * [misc]simplify:  Simplified (2 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* x x) (sqrt (pow y 4)))))
1545992420.840 * * * * [misc]progress:  [ 66 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (pow x 2) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1545992420.840 * [enter]simplify:  Simplifying (pow x 2)
1545992420.840 * * [misc]simplify:  iters left: 1 (3 enodes)
1545992420.841 * [exit]simplify:  Simplified to (* x x)
1545992420.841 * [misc]simplify:  Simplified (2 1 1) to (λ (x y) (* (+ (* x x) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))
1545992420.841 * * * * [misc]progress:  [ 67 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (pow x 2) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1545992420.841 * [enter]simplify:  Simplifying (pow x 2)
1545992420.841 * * [misc]simplify:  iters left: 1 (3 enodes)
1545992420.841 * [exit]simplify:  Simplified to (* x x)
1545992420.841 * [misc]simplify:  Simplified (2 1 1) to (λ (x y) (* (+ (* x x) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))
1545992420.841 * * * * [misc]progress:  [ 68 / 68 ] simplifiying candidate #<alt (λ (x y) (* (+ (pow x 2) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1545992420.842 * [enter]simplify:  Simplifying (pow x 2)
1545992420.842 * * [misc]simplify:  iters left: 1 (3 enodes)
1545992420.842 * [exit]simplify:  Simplified to (* x x)
1545992420.842 * [misc]simplify:  Simplified (2 1 1) to (λ (x y) (* (+ (* x x) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))
1545992420.842 * * * [misc]progress:  adding candidates to table
1545992421.742 * [misc]progress:  [Phase 3 of 3] Extracting.
1545992421.742 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))> #<alt (λ (x y) (- (pow x 4) (pow y 4)))>)
1545992421.743 * * * [misc]regime-changes:  Trying 5 branch expressions: (y (pow y 4) x (pow x 4) (- (pow x 4) (pow y 4)))
1545992421.743 * * * * [misc]regimes:  Trying to branch on y from (#<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))> #<alt (λ (x y) (- (pow x 4) (pow y 4)))>)
1545992421.773 * * * * [misc]regimes:  Trying to branch on (pow y 4) from (#<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))> #<alt (λ (x y) (- (pow x 4) (pow y 4)))>)
1545992421.816 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))> #<alt (λ (x y) (- (pow x 4) (pow y 4)))>)
1545992421.847 * * * * [misc]regimes:  Trying to branch on (pow x 4) from (#<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))> #<alt (λ (x y) (- (pow x 4) (pow y 4)))>)
1545992421.905 * * * * [misc]regimes:  Trying to branch on (- (pow x 4) (pow y 4)) from (#<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))> #<alt (λ (x y) (- (pow x 4) (pow y 4)))>)
1545992421.942 * * * [misc]regime:  Found split indices: #<option (#s(si 1 256))>
1545992421.942 * [enter]simplify:  Simplifying (- (pow x 4) (pow y 4))
1545992421.942 * * [misc]simplify:  iters left: 3 (6 enodes)
1545992421.943 * [exit]simplify:  Simplified to (- (pow x 4) (pow y 4))
1545992421.943 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545992422.799 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545992422.801 * * * * [misc]points:  Sampling 4897 additional inputs, on iter 1 have 3103 / 8000
1545992423.443 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545992423.444 * * * * [misc]points:  Sampling 2933 additional inputs, on iter 2 have 5067 / 8000
1545992423.775 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545992423.776 * * * * [misc]points:  Sampling 1752 additional inputs, on iter 3 have 6248 / 8000
1545992423.980 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545992423.980 * * * * [misc]points:  Sampling 1038 additional inputs, on iter 4 have 6962 / 8000
1545992424.136 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545992424.136 * * * * [misc]points:  Sampling 621 additional inputs, on iter 5 have 7379 / 8000
1545992424.197 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545992424.197 * * * * [misc]points:  Sampling 378 additional inputs, on iter 6 have 7622 / 8000
1545992424.255 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545992424.255 * * * * [misc]points:  Sampling 215 additional inputs, on iter 7 have 7785 / 8000
1545992424.281 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545992424.282 * * * * [misc]points:  Sampling 131 additional inputs, on iter 8 have 7869 / 8000
1545992424.299 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545992424.300 * * * * [misc]points:  Sampling 77 additional inputs, on iter 9 have 7923 / 8000
1545992424.311 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545992424.311 * * * * [misc]points:  Sampling 46 additional inputs, on iter 10 have 7954 / 8000
1545992424.318 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545992424.318 * * * * [misc]points:  Sampling 31 additional inputs, on iter 11 have 7969 / 8000
1545992424.324 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545992424.324 * * * * [misc]points:  Sampling 21 additional inputs, on iter 12 have 7979 / 8000
1545992424.328 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545992424.328 * * * * [misc]points:  Sampling 11 additional inputs, on iter 13 have 7989 / 8000
1545992424.330 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545992424.330 * * * * [misc]points:  Sampling 10 additional inputs, on iter 14 have 7990 / 8000
1545992424.333 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545992424.333 * * * * [misc]points:  Sampling 6 additional inputs, on iter 15 have 7994 / 8000
1545992424.335 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545992424.335 * * * * [misc]points:  Sampling 5 additional inputs, on iter 16 have 7995 / 8000
1545992424.337 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545992424.337 * * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 7998 / 8000
1545992424.339 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545992424.339 * * * * [misc]points:  Sampling 4 additional inputs, on iter 18 have 7998 / 8000
1545992424.341 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545992424.341 * * * * [exit]points:  Sampled 8000 points with exact outputs
1545992424.636 * [misc]regime-testing:  Baseline error score: 0.0020731203125901442
1545992424.637 * [misc]regime-testing:  Oracle error score: 0.0014481203125901445
1545992424.639 * [misc]regime-testing:  End program error score: 0.0020731203125901442