1553948315.863 * [progress]: [Phase 1 of 3] Setting up.
1553948315.864 * * * [progress]: [1/2] Preparing points
1553948316.028 * * * [progress]: [2/2] Setting up program.
1553948316.033 * [progress]: [Phase 2 of 3] Improving.
1553948316.033 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x y) (- (pow x 4) (pow y 4)))>
1553948316.035 * [simplify]: Simplifying (- (pow x 4) (pow y 4))
1553948316.036 * * [simplify]: iters left: 3 (6 enodes)
1553948316.047 * * [simplify]: iters left: 2 (20 enodes)
1553948316.051 * * [simplify]: iters left: 1 (23 enodes)
1553948316.055 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948316.055 * * [simplify]: Extracting #1: cost 5 inf + 0
1553948316.055 * * [simplify]: Extracting #2: cost 11 inf + 0
1553948316.056 * * [simplify]: Extracting #3: cost 8 inf + 3
1553948316.056 * * [simplify]: Extracting #4: cost 0 inf + 2281
1553948316.056 * [simplify]: Simplified to (- (pow x 4) (pow y 4))
1553948316.056 * [simplify]: Simplified (2) to (λ (x y) (- (pow x 4) (pow y 4)))
1553948316.061 * * [progress]: iteration 1 / 4
1553948316.061 * * * [progress]: picking best candidate
1553948316.895 * * * * [pick]: Picked  #<alt (λ (x y) (- (pow x 4) (pow y 4)))>
1553948316.896 * * * [progress]: localizing error
1553948316.920 * * * [progress]: generating rewritten candidates
1553948316.921 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1553948316.935 * * * [progress]: generating series expansions
1553948316.936 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1553948316.949 * [backup-simplify]: Simplify (- (pow x 4) (pow y 4)) into (- (pow x 4) (pow y 4))
1553948316.949 * [approximate]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in (x y) around 0
1553948316.950 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in y
1553948316.950 * [taylor]: Taking taylor expansion of (pow x 4) in y
1553948316.950 * [taylor]: Taking taylor expansion of x in y
1553948316.950 * [backup-simplify]: Simplify x into x
1553948316.950 * [taylor]: Taking taylor expansion of (pow y 4) in y
1553948316.950 * [taylor]: Taking taylor expansion of y in y
1553948316.951 * [backup-simplify]: Simplify 0 into 0
1553948316.951 * [backup-simplify]: Simplify 1 into 1
1553948316.951 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x
1553948316.951 * [taylor]: Taking taylor expansion of (pow x 4) in x
1553948316.951 * [taylor]: Taking taylor expansion of x in x
1553948316.951 * [backup-simplify]: Simplify 0 into 0
1553948316.951 * [backup-simplify]: Simplify 1 into 1
1553948316.951 * [taylor]: Taking taylor expansion of (pow y 4) in x
1553948316.951 * [taylor]: Taking taylor expansion of y in x
1553948316.951 * [backup-simplify]: Simplify y into y
1553948316.951 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x
1553948316.951 * [taylor]: Taking taylor expansion of (pow x 4) in x
1553948316.951 * [taylor]: Taking taylor expansion of x in x
1553948316.951 * [backup-simplify]: Simplify 0 into 0
1553948316.951 * [backup-simplify]: Simplify 1 into 1
1553948316.951 * [taylor]: Taking taylor expansion of (pow y 4) in x
1553948316.951 * [taylor]: Taking taylor expansion of y in x
1553948316.951 * [backup-simplify]: Simplify y into y
1553948316.952 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1553948316.953 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
1553948316.953 * [backup-simplify]: Simplify (- (pow y 4)) into (- (pow y 4))
1553948316.953 * [backup-simplify]: Simplify (+ 0 (- (pow y 4))) into (- (pow y 4))
1553948316.953 * [taylor]: Taking taylor expansion of (- (pow y 4)) in y
1553948316.953 * [taylor]: Taking taylor expansion of (pow y 4) in y
1553948316.953 * [taylor]: Taking taylor expansion of y in y
1553948316.953 * [backup-simplify]: Simplify 0 into 0
1553948316.953 * [backup-simplify]: Simplify 1 into 1
1553948316.954 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
1553948316.954 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
1553948316.954 * [backup-simplify]: Simplify (- 0) into 0
1553948316.955 * [backup-simplify]: Simplify (+ 0 0) into 0
1553948316.955 * [taylor]: Taking taylor expansion of 0 in y
1553948316.955 * [backup-simplify]: Simplify 0 into 0
1553948316.955 * [backup-simplify]: Simplify 0 into 0
1553948316.956 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
1553948316.957 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
1553948316.957 * [backup-simplify]: Simplify (- 0) into 0
1553948316.958 * [backup-simplify]: Simplify (+ 0 0) into 0
1553948316.958 * [taylor]: Taking taylor expansion of 0 in y
1553948316.958 * [backup-simplify]: Simplify 0 into 0
1553948316.958 * [backup-simplify]: Simplify 0 into 0
1553948316.958 * [backup-simplify]: Simplify 0 into 0
1553948316.959 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
1553948316.960 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0
1553948316.960 * [backup-simplify]: Simplify (- 0) into 0
1553948316.961 * [backup-simplify]: Simplify (+ 0 0) into 0
1553948316.961 * [taylor]: Taking taylor expansion of 0 in y
1553948316.961 * [backup-simplify]: Simplify 0 into 0
1553948316.961 * [backup-simplify]: Simplify 0 into 0
1553948316.961 * [backup-simplify]: Simplify 0 into 0
1553948316.961 * [backup-simplify]: Simplify 0 into 0
1553948316.961 * [backup-simplify]: Simplify 0 into 0
1553948316.962 * [backup-simplify]: Simplify (- (pow (/ 1 x) 4) (pow (/ 1 y) 4)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))
1553948316.962 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0
1553948316.962 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y
1553948316.962 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
1553948316.962 * [taylor]: Taking taylor expansion of (pow x 4) in y
1553948316.962 * [taylor]: Taking taylor expansion of x in y
1553948316.962 * [backup-simplify]: Simplify x into x
1553948316.962 * [backup-simplify]: Simplify (* x x) into (pow x 2)
1553948316.962 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4)
1553948316.962 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4))
1553948316.962 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
1553948316.962 * [taylor]: Taking taylor expansion of (pow y 4) in y
1553948316.962 * [taylor]: Taking taylor expansion of y in y
1553948316.962 * [backup-simplify]: Simplify 0 into 0
1553948316.962 * [backup-simplify]: Simplify 1 into 1
1553948316.963 * [backup-simplify]: Simplify (* 1 1) into 1
1553948316.963 * [backup-simplify]: Simplify (* 1 1) into 1
1553948316.964 * [backup-simplify]: Simplify (/ 1 1) into 1
1553948316.964 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
1553948316.964 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1553948316.964 * [taylor]: Taking taylor expansion of (pow x 4) in x
1553948316.964 * [taylor]: Taking taylor expansion of x in x
1553948316.964 * [backup-simplify]: Simplify 0 into 0
1553948316.964 * [backup-simplify]: Simplify 1 into 1
1553948316.964 * [backup-simplify]: Simplify (* 1 1) into 1
1553948316.965 * [backup-simplify]: Simplify (* 1 1) into 1
1553948316.965 * [backup-simplify]: Simplify (/ 1 1) into 1
1553948316.965 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
1553948316.965 * [taylor]: Taking taylor expansion of (pow y 4) in x
1553948316.965 * [taylor]: Taking taylor expansion of y in x
1553948316.965 * [backup-simplify]: Simplify y into y
1553948316.965 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1553948316.965 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
1553948316.966 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
1553948316.966 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
1553948316.966 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1553948316.966 * [taylor]: Taking taylor expansion of (pow x 4) in x
1553948316.966 * [taylor]: Taking taylor expansion of x in x
1553948316.966 * [backup-simplify]: Simplify 0 into 0
1553948316.966 * [backup-simplify]: Simplify 1 into 1
1553948316.966 * [backup-simplify]: Simplify (* 1 1) into 1
1553948316.967 * [backup-simplify]: Simplify (* 1 1) into 1
1553948316.967 * [backup-simplify]: Simplify (/ 1 1) into 1
1553948316.967 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
1553948316.967 * [taylor]: Taking taylor expansion of (pow y 4) in x
1553948316.967 * [taylor]: Taking taylor expansion of y in x
1553948316.967 * [backup-simplify]: Simplify y into y
1553948316.967 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1553948316.967 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
1553948316.968 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
1553948316.968 * [backup-simplify]: Simplify (+ 1 0) into 1
1553948316.968 * [taylor]: Taking taylor expansion of 1 in y
1553948316.968 * [backup-simplify]: Simplify 1 into 1
1553948316.969 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1553948316.970 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1553948316.971 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1553948316.972 * [backup-simplify]: Simplify (+ 0 0) into 0
1553948316.972 * [taylor]: Taking taylor expansion of 0 in y
1553948316.972 * [backup-simplify]: Simplify 0 into 0
1553948316.973 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1553948316.974 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1553948316.975 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948316.975 * [backup-simplify]: Simplify (+ 0 0) into 0
1553948316.975 * [taylor]: Taking taylor expansion of 0 in y
1553948316.976 * [backup-simplify]: Simplify 0 into 0
1553948316.977 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1553948316.978 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1553948316.979 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948316.980 * [backup-simplify]: Simplify (+ 0 0) into 0
1553948316.980 * [taylor]: Taking taylor expansion of 0 in y
1553948316.980 * [backup-simplify]: Simplify 0 into 0
1553948316.981 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1553948316.985 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1553948316.986 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948316.986 * [backup-simplify]: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4)))
1553948316.986 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4)))
1553948316.986 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y
1553948316.986 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
1553948316.987 * [taylor]: Taking taylor expansion of (pow y 4) in y
1553948316.987 * [taylor]: Taking taylor expansion of y in y
1553948316.987 * [backup-simplify]: Simplify 0 into 0
1553948316.987 * [backup-simplify]: Simplify 1 into 1
1553948316.987 * [backup-simplify]: Simplify (* 1 1) into 1
1553948316.988 * [backup-simplify]: Simplify (* 1 1) into 1
1553948316.988 * [backup-simplify]: Simplify (/ 1 1) into 1
1553948316.988 * [backup-simplify]: Simplify (- 1) into -1
1553948316.989 * [backup-simplify]: Simplify -1 into -1
1553948316.989 * [backup-simplify]: Simplify 1 into 1
1553948316.990 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1553948316.992 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1553948316.993 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948316.993 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
1553948316.994 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
1553948316.994 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0
1553948316.994 * [backup-simplify]: Simplify (- 0) into 0
1553948316.995 * [backup-simplify]: Simplify (+ 0 0) into 0
1553948316.995 * [taylor]: Taking taylor expansion of 0 in y
1553948316.995 * [backup-simplify]: Simplify 0 into 0
1553948316.996 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1553948316.996 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1553948316.997 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1553948316.998 * [backup-simplify]: Simplify (- 0) into 0
1553948316.998 * [backup-simplify]: Simplify 0 into 0
1553948316.998 * [backup-simplify]: Simplify 0 into 0
1553948316.998 * [backup-simplify]: Simplify 0 into 0
1553948317.000 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1553948317.001 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1553948317.003 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948317.003 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
1553948317.004 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
1553948317.004 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
1553948317.005 * [backup-simplify]: Simplify (- 0) into 0
1553948317.005 * [backup-simplify]: Simplify (+ 0 0) into 0
1553948317.005 * [taylor]: Taking taylor expansion of 0 in y
1553948317.005 * [backup-simplify]: Simplify 0 into 0
1553948317.006 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1553948317.008 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1553948317.009 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948317.009 * [backup-simplify]: Simplify (- 0) into 0
1553948317.009 * [backup-simplify]: Simplify 0 into 0
1553948317.009 * [backup-simplify]: Simplify 0 into 0
1553948317.009 * [backup-simplify]: Simplify 0 into 0
1553948317.010 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 4)) (* -1 (pow (* (/ 1 (/ 1 y)) 1) 4))) into (- (pow x 4) (pow y 4))
1553948317.010 * [backup-simplify]: Simplify (- (pow (/ 1 (- x)) 4) (pow (/ 1 (- y)) 4)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))
1553948317.010 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0
1553948317.010 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y
1553948317.010 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
1553948317.010 * [taylor]: Taking taylor expansion of (pow x 4) in y
1553948317.010 * [taylor]: Taking taylor expansion of x in y
1553948317.010 * [backup-simplify]: Simplify x into x
1553948317.011 * [backup-simplify]: Simplify (* x x) into (pow x 2)
1553948317.011 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4)
1553948317.011 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4))
1553948317.011 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
1553948317.011 * [taylor]: Taking taylor expansion of (pow y 4) in y
1553948317.011 * [taylor]: Taking taylor expansion of y in y
1553948317.011 * [backup-simplify]: Simplify 0 into 0
1553948317.011 * [backup-simplify]: Simplify 1 into 1
1553948317.011 * [backup-simplify]: Simplify (* 1 1) into 1
1553948317.012 * [backup-simplify]: Simplify (* 1 1) into 1
1553948317.012 * [backup-simplify]: Simplify (/ 1 1) into 1
1553948317.012 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
1553948317.012 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1553948317.012 * [taylor]: Taking taylor expansion of (pow x 4) in x
1553948317.013 * [taylor]: Taking taylor expansion of x in x
1553948317.013 * [backup-simplify]: Simplify 0 into 0
1553948317.013 * [backup-simplify]: Simplify 1 into 1
1553948317.013 * [backup-simplify]: Simplify (* 1 1) into 1
1553948317.013 * [backup-simplify]: Simplify (* 1 1) into 1
1553948317.014 * [backup-simplify]: Simplify (/ 1 1) into 1
1553948317.014 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
1553948317.014 * [taylor]: Taking taylor expansion of (pow y 4) in x
1553948317.014 * [taylor]: Taking taylor expansion of y in x
1553948317.014 * [backup-simplify]: Simplify y into y
1553948317.014 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1553948317.014 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
1553948317.014 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
1553948317.014 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
1553948317.014 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1553948317.014 * [taylor]: Taking taylor expansion of (pow x 4) in x
1553948317.015 * [taylor]: Taking taylor expansion of x in x
1553948317.015 * [backup-simplify]: Simplify 0 into 0
1553948317.015 * [backup-simplify]: Simplify 1 into 1
1553948317.015 * [backup-simplify]: Simplify (* 1 1) into 1
1553948317.015 * [backup-simplify]: Simplify (* 1 1) into 1
1553948317.016 * [backup-simplify]: Simplify (/ 1 1) into 1
1553948317.016 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
1553948317.016 * [taylor]: Taking taylor expansion of (pow y 4) in x
1553948317.016 * [taylor]: Taking taylor expansion of y in x
1553948317.016 * [backup-simplify]: Simplify y into y
1553948317.016 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1553948317.016 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
1553948317.016 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
1553948317.017 * [backup-simplify]: Simplify (+ 1 0) into 1
1553948317.017 * [taylor]: Taking taylor expansion of 1 in y
1553948317.017 * [backup-simplify]: Simplify 1 into 1
1553948317.018 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1553948317.019 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1553948317.019 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1553948317.020 * [backup-simplify]: Simplify (+ 0 0) into 0
1553948317.020 * [taylor]: Taking taylor expansion of 0 in y
1553948317.020 * [backup-simplify]: Simplify 0 into 0
1553948317.021 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1553948317.022 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1553948317.023 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948317.024 * [backup-simplify]: Simplify (+ 0 0) into 0
1553948317.024 * [taylor]: Taking taylor expansion of 0 in y
1553948317.024 * [backup-simplify]: Simplify 0 into 0
1553948317.025 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1553948317.026 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1553948317.027 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948317.027 * [backup-simplify]: Simplify (+ 0 0) into 0
1553948317.027 * [taylor]: Taking taylor expansion of 0 in y
1553948317.027 * [backup-simplify]: Simplify 0 into 0
1553948317.029 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1553948317.030 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1553948317.031 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948317.031 * [backup-simplify]: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4)))
1553948317.031 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4)))
1553948317.031 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y
1553948317.031 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
1553948317.032 * [taylor]: Taking taylor expansion of (pow y 4) in y
1553948317.032 * [taylor]: Taking taylor expansion of y in y
1553948317.032 * [backup-simplify]: Simplify 0 into 0
1553948317.032 * [backup-simplify]: Simplify 1 into 1
1553948317.032 * [backup-simplify]: Simplify (* 1 1) into 1
1553948317.032 * [backup-simplify]: Simplify (* 1 1) into 1
1553948317.033 * [backup-simplify]: Simplify (/ 1 1) into 1
1553948317.033 * [backup-simplify]: Simplify (- 1) into -1
1553948317.033 * [backup-simplify]: Simplify -1 into -1
1553948317.033 * [backup-simplify]: Simplify 1 into 1
1553948317.035 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1553948317.036 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1553948317.037 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948317.037 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
1553948317.037 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
1553948317.038 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0
1553948317.038 * [backup-simplify]: Simplify (- 0) into 0
1553948317.039 * [backup-simplify]: Simplify (+ 0 0) into 0
1553948317.039 * [taylor]: Taking taylor expansion of 0 in y
1553948317.039 * [backup-simplify]: Simplify 0 into 0
1553948317.039 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1553948317.040 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1553948317.041 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1553948317.041 * [backup-simplify]: Simplify (- 0) into 0
1553948317.041 * [backup-simplify]: Simplify 0 into 0
1553948317.041 * [backup-simplify]: Simplify 0 into 0
1553948317.041 * [backup-simplify]: Simplify 0 into 0
1553948317.043 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1553948317.045 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1553948317.047 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948317.047 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
1553948317.048 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
1553948317.048 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
1553948317.048 * [backup-simplify]: Simplify (- 0) into 0
1553948317.049 * [backup-simplify]: Simplify (+ 0 0) into 0
1553948317.049 * [taylor]: Taking taylor expansion of 0 in y
1553948317.049 * [backup-simplify]: Simplify 0 into 0
1553948317.050 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1553948317.051 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1553948317.052 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948317.052 * [backup-simplify]: Simplify (- 0) into 0
1553948317.052 * [backup-simplify]: Simplify 0 into 0
1553948317.052 * [backup-simplify]: Simplify 0 into 0
1553948317.052 * [backup-simplify]: Simplify 0 into 0
1553948317.053 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 4)) (* -1 (pow (* (/ 1 (/ 1 (- y))) 1) 4))) into (- (pow x 4) (pow y 4))
1553948317.053 * * * [progress]: simplifying candidates
1553948317.053 * * * * [progress]: [ 1 / 32 ] 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)))))))>
1553948317.053 * [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))))))
1553948317.054 * * [simplify]: iters left: 6 (12 enodes)
1553948317.072 * * [simplify]: iters left: 5 (45 enodes)
1553948317.086 * * [simplify]: iters left: 4 (60 enodes)
1553948317.102 * * [simplify]: iters left: 3 (66 enodes)
1553948317.116 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948317.116 * * [simplify]: Extracting #1: cost 11 inf + 0
1553948317.116 * * [simplify]: Extracting #2: cost 24 inf + 0
1553948317.117 * * [simplify]: Extracting #3: cost 19 inf + 216
1553948317.117 * * [simplify]: Extracting #4: cost 11 inf + 2432
1553948317.118 * * [simplify]: Extracting #5: cost 3 inf + 5019
1553948317.118 * * [simplify]: Extracting #6: cost 0 inf + 6186
1553948317.119 * [simplify]: Simplified to (- (pow x 4) (pow y 4))
1553948317.119 * [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)))))))
1553948317.120 * [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)))))
1553948317.120 * * [simplify]: iters left: 6 (8 enodes)
1553948317.124 * * [simplify]: iters left: 5 (29 enodes)
1553948317.133 * * [simplify]: iters left: 4 (40 enodes)
1553948317.146 * * [simplify]: iters left: 3 (63 enodes)
1553948317.165 * * [simplify]: iters left: 2 (73 enodes)
1553948317.176 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948317.176 * * [simplify]: Extracting #1: cost 0 inf + 1
1553948317.176 * [simplify]: Simplified to 0
1553948317.176 * [simplify]: Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) 0))
1553948317.176 * * * * [progress]: [ 2 / 32 ] 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))))))>
1553948317.176 * [simplify]: Simplifying (fma (* (cbrt (pow x 4)) (cbrt (pow x 4))) (cbrt (pow x 4)) (- (* (sqrt (pow y 4)) (sqrt (pow y 4)))))
1553948317.176 * * [simplify]: iters left: 6 (11 enodes)
1553948317.179 * * [simplify]: iters left: 5 (36 enodes)
1553948317.185 * * [simplify]: iters left: 4 (44 enodes)
1553948317.192 * * [simplify]: iters left: 3 (49 enodes)
1553948317.204 * * [simplify]: iters left: 2 (51 enodes)
1553948317.217 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948317.218 * * [simplify]: Extracting #1: cost 9 inf + 0
1553948317.218 * * [simplify]: Extracting #2: cost 20 inf + 0
1553948317.218 * * [simplify]: Extracting #3: cost 15 inf + 216
1553948317.218 * * [simplify]: Extracting #4: cost 3 inf + 3662
1553948317.219 * * [simplify]: Extracting #5: cost 0 inf + 4618
1553948317.220 * [simplify]: Simplified to (- (pow x 4) (pow y 4))
1553948317.220 * [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))))))
1553948317.220 * [simplify]: Simplifying (fma (- (sqrt (pow y 4))) (sqrt (pow y 4)) (* (sqrt (pow y 4)) (sqrt (pow y 4))))
1553948317.220 * * [simplify]: iters left: 5 (7 enodes)
1553948317.224 * * [simplify]: iters left: 4 (21 enodes)
1553948317.231 * * [simplify]: iters left: 3 (29 enodes)
1553948317.240 * * [simplify]: iters left: 2 (37 enodes)
1553948317.249 * * [simplify]: iters left: 1 (39 enodes)
1553948317.258 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948317.258 * * [simplify]: Extracting #1: cost 0 inf + 1
1553948317.258 * [simplify]: Simplified to 0
1553948317.258 * [simplify]: Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) 0))
1553948317.258 * * * * [progress]: [ 3 / 32 ] 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))))>
1553948317.259 * [simplify]: Simplifying (fma (* (cbrt (pow x 4)) (cbrt (pow x 4))) (cbrt (pow x 4)) (- (* (pow y 4) 1)))
1553948317.259 * * [simplify]: iters left: 6 (11 enodes)
1553948317.265 * * [simplify]: iters left: 5 (41 enodes)
1553948317.279 * * [simplify]: iters left: 4 (54 enodes)
1553948317.295 * * [simplify]: iters left: 3 (65 enodes)
1553948317.303 * * [simplify]: iters left: 2 (67 enodes)
1553948317.312 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948317.312 * * [simplify]: Extracting #1: cost 9 inf + 0
1553948317.312 * * [simplify]: Extracting #2: cost 16 inf + 2
1553948317.312 * * [simplify]: Extracting #3: cost 12 inf + 6
1553948317.312 * * [simplify]: Extracting #4: cost 9 inf + 682
1553948317.312 * * [simplify]: Extracting #5: cost 3 inf + 2576
1553948317.313 * * [simplify]: Extracting #6: cost 0 inf + 3532
1553948317.313 * [simplify]: Simplified to (- (pow x 4) (pow y 4))
1553948317.313 * [simplify]: Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (pow y 4)) 1 (* (pow y 4) 1))))
1553948317.313 * [simplify]: Simplifying (fma (- (pow y 4)) 1 (* (pow y 4) 1))
1553948317.313 * * [simplify]: iters left: 4 (7 enodes)
1553948317.316 * * [simplify]: iters left: 3 (24 enodes)
1553948317.321 * * [simplify]: iters left: 2 (34 enodes)
1553948317.332 * * [simplify]: iters left: 1 (38 enodes)
1553948317.343 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948317.343 * * [simplify]: Extracting #1: cost 7 inf + 0
1553948317.343 * * [simplify]: Extracting #2: cost 8 inf + 3
1553948317.343 * * [simplify]: Extracting #3: cost 6 inf + 5
1553948317.343 * * [simplify]: Extracting #4: cost 2 inf + 974
1553948317.344 * * [simplify]: Extracting #5: cost 0 inf + 1439
1553948317.344 * [simplify]: Simplified to (* (pow y 4) 0)
1553948317.344 * [simplify]: Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (* (pow y 4) 0)))
1553948317.344 * * * * [progress]: [ 4 / 32 ] 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)))))))>
1553948317.345 * [simplify]: Simplifying (fma (sqrt (pow x 4)) (sqrt (pow x 4)) (- (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4))))))
1553948317.345 * * [simplify]: iters left: 6 (11 enodes)
1553948317.348 * * [simplify]: iters left: 5 (42 enodes)
1553948317.355 * * [simplify]: iters left: 4 (53 enodes)
1553948317.362 * * [simplify]: iters left: 3 (54 enodes)
1553948317.369 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948317.369 * * [simplify]: Extracting #1: cost 6 inf + 0
1553948317.369 * * [simplify]: Extracting #2: cost 18 inf + 0
1553948317.369 * * [simplify]: Extracting #3: cost 18 inf + 4
1553948317.369 * * [simplify]: Extracting #4: cost 7 inf + 3107
1553948317.370 * * [simplify]: Extracting #5: cost 0 inf + 5442
1553948317.370 * [simplify]: Simplified to (- (pow x 4) (pow y 4))
1553948317.370 * [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)))))))
1553948317.371 * [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)))))
1553948317.371 * * [simplify]: iters left: 6 (8 enodes)
1553948317.373 * * [simplify]: iters left: 5 (29 enodes)
1553948317.378 * * [simplify]: iters left: 4 (40 enodes)
1553948317.387 * * [simplify]: iters left: 3 (63 enodes)
1553948317.402 * * [simplify]: iters left: 2 (73 enodes)
1553948317.415 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948317.415 * * [simplify]: Extracting #1: cost 0 inf + 1
1553948317.415 * [simplify]: Simplified to 0
1553948317.415 * [simplify]: Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) 0))
1553948317.415 * * * * [progress]: [ 5 / 32 ] 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))))))>
1553948317.416 * [simplify]: Simplifying (fma (sqrt (pow x 4)) (sqrt (pow x 4)) (- (* (sqrt (pow y 4)) (sqrt (pow y 4)))))
1553948317.416 * * [simplify]: iters left: 6 (10 enodes)
1553948317.420 * * [simplify]: iters left: 5 (33 enodes)
1553948317.428 * * [simplify]: iters left: 4 (37 enodes)
1553948317.437 * * [simplify]: iters left: 3 (41 enodes)
1553948317.449 * * [simplify]: iters left: 2 (49 enodes)
1553948317.460 * * [simplify]: iters left: 1 (66 enodes)
1553948317.479 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948317.479 * * [simplify]: Extracting #1: cost 14 inf + 0
1553948317.479 * * [simplify]: Extracting #2: cost 35 inf + 0
1553948317.480 * * [simplify]: Extracting #3: cost 32 inf + 3
1553948317.480 * * [simplify]: Extracting #4: cost 26 inf + 1606
1553948317.481 * * [simplify]: Extracting #5: cost 8 inf + 9543
1553948317.483 * * [simplify]: Extracting #6: cost 1 inf + 13584
1553948317.485 * * [simplify]: Extracting #7: cost 0 inf + 14207
1553948317.486 * [simplify]: Simplified to (- (pow x 4) (pow y 4))
1553948317.486 * [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))))))
1553948317.487 * [simplify]: Simplifying (fma (- (sqrt (pow y 4))) (sqrt (pow y 4)) (* (sqrt (pow y 4)) (sqrt (pow y 4))))
1553948317.487 * * [simplify]: iters left: 5 (7 enodes)
1553948317.489 * * [simplify]: iters left: 4 (21 enodes)
1553948317.492 * * [simplify]: iters left: 3 (29 enodes)
1553948317.497 * * [simplify]: iters left: 2 (37 enodes)
1553948317.502 * * [simplify]: iters left: 1 (39 enodes)
1553948317.507 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948317.507 * * [simplify]: Extracting #1: cost 0 inf + 1
1553948317.507 * [simplify]: Simplified to 0
1553948317.507 * [simplify]: Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) 0))
1553948317.507 * * * * [progress]: [ 6 / 32 ] 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))))>
1553948317.508 * [simplify]: Simplifying (fma (sqrt (pow x 4)) (sqrt (pow x 4)) (- (* (pow y 4) 1)))
1553948317.508 * * [simplify]: iters left: 6 (10 enodes)
1553948317.511 * * [simplify]: iters left: 5 (38 enodes)
1553948317.517 * * [simplify]: iters left: 4 (47 enodes)
1553948317.527 * * [simplify]: iters left: 3 (52 enodes)
1553948317.540 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948317.540 * * [simplify]: Extracting #1: cost 6 inf + 0
1553948317.540 * * [simplify]: Extracting #2: cost 15 inf + 0
1553948317.541 * * [simplify]: Extracting #3: cost 8 inf + 429
1553948317.541 * * [simplify]: Extracting #4: cost 1 inf + 2324
1553948317.541 * * [simplify]: Extracting #5: cost 0 inf + 2787
1553948317.542 * [simplify]: Simplified to (- (pow x 4) (pow y 4))
1553948317.542 * [simplify]: Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (pow y 4)) 1 (* (pow y 4) 1))))
1553948317.542 * [simplify]: Simplifying (fma (- (pow y 4)) 1 (* (pow y 4) 1))
1553948317.542 * * [simplify]: iters left: 4 (7 enodes)
1553948317.546 * * [simplify]: iters left: 3 (24 enodes)
1553948317.557 * * [simplify]: iters left: 2 (34 enodes)
1553948317.569 * * [simplify]: iters left: 1 (38 enodes)
1553948317.581 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948317.581 * * [simplify]: Extracting #1: cost 7 inf + 0
1553948317.581 * * [simplify]: Extracting #2: cost 8 inf + 3
1553948317.581 * * [simplify]: Extracting #3: cost 6 inf + 5
1553948317.581 * * [simplify]: Extracting #4: cost 2 inf + 974
1553948317.582 * * [simplify]: Extracting #5: cost 0 inf + 1439
1553948317.582 * [simplify]: Simplified to (* (pow y 4) 0)
1553948317.582 * [simplify]: Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (* (pow y 4) 0)))
1553948317.582 * * * * [progress]: [ 7 / 32 ] 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)))))))>
1553948317.582 * [simplify]: Simplifying (fma 1 (pow x 4) (- (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4))))))
1553948317.583 * * [simplify]: iters left: 6 (11 enodes)
1553948317.588 * * [simplify]: iters left: 5 (44 enodes)
1553948317.603 * * [simplify]: iters left: 4 (58 enodes)
1553948317.620 * * [simplify]: iters left: 3 (62 enodes)
1553948317.636 * * [simplify]: iters left: 2 (63 enodes)
1553948317.653 * * [simplify]: iters left: 1 (67 enodes)
1553948317.661 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948317.661 * * [simplify]: Extracting #1: cost 10 inf + 0
1553948317.661 * * [simplify]: Extracting #2: cost 20 inf + 1
1553948317.661 * * [simplify]: Extracting #3: cost 12 inf + 893
1553948317.661 * * [simplify]: Extracting #4: cost 6 inf + 2736
1553948317.662 * * [simplify]: Extracting #5: cost 0 inf + 4939
1553948317.662 * [simplify]: Simplified to (- (pow x 4) (pow y 4))
1553948317.662 * [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)))))))
1553948317.663 * [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)))))
1553948317.663 * * [simplify]: iters left: 6 (8 enodes)
1553948317.665 * * [simplify]: iters left: 5 (29 enodes)
1553948317.670 * * [simplify]: iters left: 4 (40 enodes)
1553948317.677 * * [simplify]: iters left: 3 (63 enodes)
1553948317.697 * * [simplify]: iters left: 2 (73 enodes)
1553948317.713 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948317.713 * * [simplify]: Extracting #1: cost 0 inf + 1
1553948317.713 * [simplify]: Simplified to 0
1553948317.713 * [simplify]: Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) 0))
1553948317.714 * * * * [progress]: [ 8 / 32 ] 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))))))>
1553948317.714 * [simplify]: Simplifying (fma 1 (pow x 4) (- (* (sqrt (pow y 4)) (sqrt (pow y 4)))))
1553948317.714 * * [simplify]: iters left: 6 (10 enodes)
1553948317.719 * * [simplify]: iters left: 5 (35 enodes)
1553948317.730 * * [simplify]: iters left: 4 (42 enodes)
1553948317.742 * * [simplify]: iters left: 3 (46 enodes)
1553948317.754 * * [simplify]: iters left: 2 (47 enodes)
1553948317.767 * * [simplify]: iters left: 1 (49 enodes)
1553948317.778 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948317.778 * * [simplify]: Extracting #1: cost 8 inf + 0
1553948317.779 * * [simplify]: Extracting #2: cost 15 inf + 1
1553948317.779 * * [simplify]: Extracting #3: cost 9 inf + 891
1553948317.779 * * [simplify]: Extracting #4: cost 0 inf + 3370
1553948317.780 * [simplify]: Simplified to (- (pow x 4) (pow y 4))
1553948317.780 * [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))))))
1553948317.780 * [simplify]: Simplifying (fma (- (sqrt (pow y 4))) (sqrt (pow y 4)) (* (sqrt (pow y 4)) (sqrt (pow y 4))))
1553948317.780 * * [simplify]: iters left: 5 (7 enodes)
1553948317.784 * * [simplify]: iters left: 4 (21 enodes)
1553948317.791 * * [simplify]: iters left: 3 (29 enodes)
1553948317.796 * * [simplify]: iters left: 2 (37 enodes)
1553948317.801 * * [simplify]: iters left: 1 (39 enodes)
1553948317.806 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948317.806 * * [simplify]: Extracting #1: cost 0 inf + 1
1553948317.806 * [simplify]: Simplified to 0
1553948317.806 * [simplify]: Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) 0))
1553948317.806 * * * * [progress]: [ 9 / 32 ] simplifiying candidate #<alt (λ (x y) (+ (fma 1 (pow x 4) (- (* (pow y 4) 1))) (fma (- (pow y 4)) 1 (* (pow y 4) 1))))>
1553948317.807 * [simplify]: Simplifying (fma 1 (pow x 4) (- (* (pow y 4) 1)))
1553948317.807 * * [simplify]: iters left: 6 (9 enodes)
1553948317.810 * * [simplify]: iters left: 5 (35 enodes)
1553948317.816 * * [simplify]: iters left: 4 (45 enodes)
1553948317.826 * * [simplify]: iters left: 3 (51 enodes)
1553948317.833 * * [simplify]: iters left: 2 (53 enodes)
1553948317.841 * * [simplify]: iters left: 1 (57 enodes)
1553948317.848 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948317.848 * * [simplify]: Extracting #1: cost 7 inf + 0
1553948317.848 * * [simplify]: Extracting #2: cost 11 inf + 2
1553948317.848 * * [simplify]: Extracting #3: cost 3 inf + 1105
1553948317.848 * * [simplify]: Extracting #4: cost 0 inf + 2283
1553948317.848 * [simplify]: Simplified to (- (pow x 4) (pow y 4))
1553948317.848 * [simplify]: Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (pow y 4)) 1 (* (pow y 4) 1))))
1553948317.849 * [simplify]: Simplifying (fma (- (pow y 4)) 1 (* (pow y 4) 1))
1553948317.849 * * [simplify]: iters left: 4 (7 enodes)
1553948317.851 * * [simplify]: iters left: 3 (24 enodes)
1553948317.856 * * [simplify]: iters left: 2 (34 enodes)
1553948317.862 * * [simplify]: iters left: 1 (38 enodes)
1553948317.868 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948317.868 * * [simplify]: Extracting #1: cost 7 inf + 0
1553948317.868 * * [simplify]: Extracting #2: cost 8 inf + 3
1553948317.869 * * [simplify]: Extracting #3: cost 6 inf + 5
1553948317.869 * * [simplify]: Extracting #4: cost 2 inf + 974
1553948317.869 * * [simplify]: Extracting #5: cost 0 inf + 1439
1553948317.869 * [simplify]: Simplified to (* (pow y 4) 0)
1553948317.869 * [simplify]: Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (* (pow y 4) 0)))
1553948317.870 * * * * [progress]: [ 10 / 32 ] simplifiying candidate #<alt (λ (x y) (log1p (expm1 (- (pow x 4) (pow y 4)))))>
1553948317.870 * * * * [progress]: [ 11 / 32 ] simplifiying candidate #<alt (λ (x y) (expm1 (log1p (- (pow x 4) (pow y 4)))))>
1553948317.870 * * * * [progress]: [ 12 / 32 ] simplifiying candidate #<alt (λ (x y) (fma (* (cbrt (pow x 4)) (cbrt (pow x 4))) (cbrt (pow x 4)) (- (pow y 4))))>
1553948317.870 * [simplify]: Simplifying (* (cbrt (pow x 4)) (cbrt (pow x 4)))
1553948317.870 * * [simplify]: iters left: 4 (5 enodes)
1553948317.873 * * [simplify]: iters left: 3 (15 enodes)
1553948317.877 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948317.878 * * [simplify]: Extracting #1: cost 3 inf + 0
1553948317.878 * * [simplify]: Extracting #2: cost 5 inf + 0
1553948317.878 * * [simplify]: Extracting #3: cost 8 inf + 0
1553948317.878 * * [simplify]: Extracting #4: cost 6 inf + 2
1553948317.878 * * [simplify]: Extracting #5: cost 0 inf + 1674
1553948317.878 * [simplify]: Simplified to (* (cbrt (pow x 4)) (cbrt (pow x 4)))
1553948317.878 * [simplify]: Simplified (2 1) to (λ (x y) (fma (* (cbrt (pow x 4)) (cbrt (pow x 4))) (cbrt (pow x 4)) (- (pow y 4))))
1553948317.878 * * * * [progress]: [ 13 / 32 ] simplifiying candidate #<alt (λ (x y) (fma (sqrt (pow x 4)) (sqrt (pow x 4)) (- (pow y 4))))>
1553948317.879 * [simplify]: Simplifying (sqrt (pow x 4))
1553948317.879 * * [simplify]: iters left: 2 (4 enodes)
1553948317.881 * * [simplify]: iters left: 1 (12 enodes)
1553948317.885 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948317.885 * * [simplify]: Extracting #1: cost 3 inf + 0
1553948317.885 * * [simplify]: Extracting #2: cost 6 inf + 0
1553948317.885 * * [simplify]: Extracting #3: cost 4 inf + 2
1553948317.885 * * [simplify]: Extracting #4: cost 0 inf + 930
1553948317.885 * [simplify]: Simplified to (sqrt (pow x 4))
1553948317.885 * [simplify]: Simplified (2 1) to (λ (x y) (fma (sqrt (pow x 4)) (sqrt (pow x 4)) (- (pow y 4))))
1553948317.885 * * * * [progress]: [ 14 / 32 ] simplifiying candidate #<alt (λ (x y) (fma 1 (pow x 4) (- (pow y 4))))>
1553948317.885 * * * * [progress]: [ 15 / 32 ] simplifiying candidate #<alt (λ (x y) (log (/ (exp (pow x 4)) (exp (pow y 4)))))>
1553948317.886 * [simplify]: Simplifying (/ (exp (pow x 4)) (exp (pow y 4)))
1553948317.886 * * [simplify]: iters left: 4 (8 enodes)
1553948317.890 * * [simplify]: iters left: 3 (26 enodes)
1553948317.898 * * [simplify]: iters left: 2 (30 enodes)
1553948317.907 * * [simplify]: iters left: 1 (35 enodes)
1553948317.917 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948317.918 * * [simplify]: Extracting #1: cost 6 inf + 0
1553948317.918 * * [simplify]: Extracting #2: cost 14 inf + 0
1553948317.918 * * [simplify]: Extracting #3: cost 19 inf + 1
1553948317.918 * * [simplify]: Extracting #4: cost 15 inf + 216
1553948317.918 * * [simplify]: Extracting #5: cost 4 inf + 3731
1553948317.919 * * [simplify]: Extracting #6: cost 0 inf + 5120
1553948317.920 * [simplify]: Simplified to (exp (- (pow x 4) (pow y 4)))
1553948317.920 * [simplify]: Simplified (2 1) to (λ (x y) (log (exp (- (pow x 4) (pow y 4)))))
1553948317.920 * * * * [progress]: [ 16 / 32 ] simplifiying candidate #<alt (λ (x y) (pow (- (pow x 4) (pow y 4)) 1))>
1553948317.920 * * * * [progress]: [ 17 / 32 ] simplifiying candidate #<alt (λ (x y) (exp (log (- (pow x 4) (pow y 4)))))>
1553948317.920 * * * * [progress]: [ 18 / 32 ] simplifiying candidate #<alt (λ (x y) (log (exp (- (pow x 4) (pow y 4)))))>
1553948317.920 * * * * [progress]: [ 19 / 32 ] 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)))))>
1553948317.920 * * * * [progress]: [ 20 / 32 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (- (pow x 4) (pow y 4)) (- (pow x 4) (pow y 4))) (- (pow x 4) (pow y 4)))))>
1553948317.920 * * * * [progress]: [ 21 / 32 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (- (pow x 4) (pow y 4))) (sqrt (- (pow x 4) (pow y 4)))))>
1553948317.920 * * * * [progress]: [ 22 / 32 ] 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))))))>
1553948317.920 * * * * [progress]: [ 23 / 32 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow y 4))))>
1553948317.920 * * * * [progress]: [ 24 / 32 ] simplifiying candidate #<alt (λ (x y) (* 1 (- (pow x 4) (pow y 4))))>
1553948317.920 * * * * [progress]: [ 25 / 32 ] simplifiying candidate #<alt (λ (x y) (/ (- (* (pow x 4) (pow x 4)) (* (pow y 4) (pow y 4))) (+ (pow x 4) (pow y 4))))>
1553948317.920 * * * * [progress]: [ 26 / 32 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1553948317.921 * [simplify]: Simplifying (+ (sqrt (pow x 4)) (sqrt (pow y 4)))
1553948317.921 * * [simplify]: iters left: 4 (8 enodes)
1553948317.924 * * [simplify]: iters left: 3 (25 enodes)
1553948317.931 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948317.931 * * [simplify]: Extracting #1: cost 4 inf + 0
1553948317.931 * * [simplify]: Extracting #2: cost 8 inf + 0
1553948317.931 * * [simplify]: Extracting #3: cost 13 inf + 0
1553948317.931 * * [simplify]: Extracting #4: cost 9 inf + 215
1553948317.931 * * [simplify]: Extracting #5: cost 2 inf + 2150
1553948317.932 * * [simplify]: Extracting #6: cost 0 inf + 2945
1553948317.932 * [simplify]: Simplified to (+ (sqrt (pow x 4)) (sqrt (pow y 4)))
1553948317.932 * [simplify]: Simplified (2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))
1553948317.932 * [simplify]: Simplifying (- (sqrt (pow x 4)) (sqrt (pow y 4)))
1553948317.932 * * [simplify]: iters left: 4 (8 enodes)
1553948317.936 * * [simplify]: iters left: 3 (26 enodes)
1553948317.944 * * [simplify]: iters left: 2 (29 enodes)
1553948317.951 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948317.951 * * [simplify]: Extracting #1: cost 5 inf + 0
1553948317.951 * * [simplify]: Extracting #2: cost 10 inf + 0
1553948317.952 * * [simplify]: Extracting #3: cost 15 inf + 0
1553948317.952 * * [simplify]: Extracting #4: cost 11 inf + 215
1553948317.952 * * [simplify]: Extracting #5: cost 2 inf + 2734
1553948317.952 * * [simplify]: Extracting #6: cost 0 inf + 3529
1553948317.953 * [simplify]: Simplified to (- (sqrt (pow x 4)) (sqrt (pow y 4)))
1553948317.953 * [simplify]: Simplified (2 2) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))
1553948317.953 * * * * [progress]: [ 27 / 32 ] simplifiying candidate #<alt (λ (x y) (* 1 (- (pow x 4) (pow y 4))))>
1553948317.953 * [simplify]: Simplifying (- (pow x 4) (pow y 4))
1553948317.953 * * [simplify]: iters left: 3 (6 enodes)
1553948317.956 * * [simplify]: iters left: 2 (20 enodes)
1553948317.962 * * [simplify]: iters left: 1 (23 enodes)
1553948317.968 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948317.968 * * [simplify]: Extracting #1: cost 5 inf + 0
1553948317.968 * * [simplify]: Extracting #2: cost 11 inf + 0
1553948317.968 * * [simplify]: Extracting #3: cost 8 inf + 3
1553948317.968 * * [simplify]: Extracting #4: cost 0 inf + 2281
1553948317.968 * [simplify]: Simplified to (- (pow x 4) (pow y 4))
1553948317.968 * [simplify]: Simplified (2 2) to (λ (x y) (* 1 (- (pow x 4) (pow y 4))))
1553948317.968 * * * * [progress]: [ 28 / 32 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow y 4))))>
1553948317.968 * * * * [progress]: [ 29 / 32 ] simplifiying candidate #<alt (λ (x y) (posit16->real (real->posit16 (- (pow x 4) (pow y 4)))))>
1553948317.968 * * * * [progress]: [ 30 / 32 ] simplifiying candidate #<alt (λ (x y) 0)>
1553948317.969 * [simplify]: Simplifying 0
1553948317.969 * * [simplify]: iters left: 0 (1 enodes)
1553948317.970 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948317.970 * * [simplify]: Extracting #1: cost 0 inf + 1
1553948317.970 * [simplify]: Simplified to 0
1553948317.970 * [simplify]: Simplified (2) to (λ (x y) 0)
1553948317.970 * * * * [progress]: [ 31 / 32 ] simplifiying candidate #<alt (λ (x y) (- (pow x 4) (pow y 4)))>
1553948317.970 * [simplify]: Simplifying (- (pow x 4) (pow y 4))
1553948317.970 * * [simplify]: iters left: 3 (6 enodes)
1553948317.973 * * [simplify]: iters left: 2 (20 enodes)
1553948317.978 * * [simplify]: iters left: 1 (23 enodes)
1553948317.985 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948317.985 * * [simplify]: Extracting #1: cost 5 inf + 0
1553948317.985 * * [simplify]: Extracting #2: cost 11 inf + 0
1553948317.985 * * [simplify]: Extracting #3: cost 8 inf + 3
1553948317.985 * * [simplify]: Extracting #4: cost 0 inf + 2281
1553948317.985 * [simplify]: Simplified to (- (pow x 4) (pow y 4))
1553948317.985 * [simplify]: Simplified (2) to (λ (x y) (- (pow x 4) (pow y 4)))
1553948317.985 * * * * [progress]: [ 32 / 32 ] simplifiying candidate #<alt (λ (x y) (- (pow x 4) (pow y 4)))>
1553948317.986 * [simplify]: Simplifying (- (pow x 4) (pow y 4))
1553948317.986 * * [simplify]: iters left: 3 (6 enodes)
1553948317.987 * * [simplify]: iters left: 2 (20 enodes)
1553948317.990 * * [simplify]: iters left: 1 (23 enodes)
1553948317.994 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948317.994 * * [simplify]: Extracting #1: cost 5 inf + 0
1553948317.994 * * [simplify]: Extracting #2: cost 11 inf + 0
1553948317.994 * * [simplify]: Extracting #3: cost 8 inf + 3
1553948317.994 * * [simplify]: Extracting #4: cost 0 inf + 2281
1553948317.994 * [simplify]: Simplified to (- (pow x 4) (pow y 4))
1553948317.994 * [simplify]: Simplified (2) to (λ (x y) (- (pow x 4) (pow y 4)))
1553948317.994 * * * [progress]: adding candidates to table
1553948318.255 * * [progress]: iteration 2 / 4
1553948318.255 * * * [progress]: picking best candidate
1553948318.262 * * * * [pick]: Picked  #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1553948318.262 * * * [progress]: localizing error
1553948318.292 * * * [progress]: generating rewritten candidates
1553948318.292 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
1553948318.294 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
1553948318.296 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
1553948318.298 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
1553948318.301 * * * [progress]: generating series expansions
1553948318.301 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
1553948318.301 * [backup-simplify]: Simplify (sqrt (pow x 4)) into (pow x 2)
1553948318.301 * [approximate]: Taking taylor expansion of (pow x 2) in (x) around 0
1553948318.301 * [taylor]: Taking taylor expansion of (pow x 2) in x
1553948318.301 * [taylor]: Taking taylor expansion of x in x
1553948318.301 * [backup-simplify]: Simplify 0 into 0
1553948318.301 * [backup-simplify]: Simplify 1 into 1
1553948318.301 * [taylor]: Taking taylor expansion of (pow x 2) in x
1553948318.302 * [taylor]: Taking taylor expansion of x in x
1553948318.302 * [backup-simplify]: Simplify 0 into 0
1553948318.302 * [backup-simplify]: Simplify 1 into 1
1553948318.302 * [backup-simplify]: Simplify (* 1 1) into 1
1553948318.302 * [backup-simplify]: Simplify 1 into 1
1553948318.303 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1553948318.303 * [backup-simplify]: Simplify 0 into 0
1553948318.304 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1553948318.304 * [backup-simplify]: Simplify 0 into 0
1553948318.305 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1553948318.305 * [backup-simplify]: Simplify 0 into 0
1553948318.307 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1553948318.307 * [backup-simplify]: Simplify 0 into 0
1553948318.308 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1553948318.308 * [backup-simplify]: Simplify 0 into 0
1553948318.310 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1553948318.310 * [backup-simplify]: Simplify 0 into 0
1553948318.310 * [backup-simplify]: Simplify (* 1 (pow x 2)) into (pow x 2)
1553948318.310 * [backup-simplify]: Simplify (sqrt (pow (/ 1 x) 4)) into (/ 1 (pow x 2))
1553948318.310 * [approximate]: Taking taylor expansion of (/ 1 (pow x 2)) in (x) around 0
1553948318.310 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1553948318.310 * [taylor]: Taking taylor expansion of (pow x 2) in x
1553948318.310 * [taylor]: Taking taylor expansion of x in x
1553948318.310 * [backup-simplify]: Simplify 0 into 0
1553948318.310 * [backup-simplify]: Simplify 1 into 1
1553948318.310 * [backup-simplify]: Simplify (* 1 1) into 1
1553948318.311 * [backup-simplify]: Simplify (/ 1 1) into 1
1553948318.311 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1553948318.311 * [taylor]: Taking taylor expansion of (pow x 2) in x
1553948318.311 * [taylor]: Taking taylor expansion of x in x
1553948318.311 * [backup-simplify]: Simplify 0 into 0
1553948318.311 * [backup-simplify]: Simplify 1 into 1
1553948318.311 * [backup-simplify]: Simplify (* 1 1) into 1
1553948318.312 * [backup-simplify]: Simplify (/ 1 1) into 1
1553948318.312 * [backup-simplify]: Simplify 1 into 1
1553948318.312 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1553948318.313 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1553948318.313 * [backup-simplify]: Simplify 0 into 0
1553948318.314 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1553948318.315 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.315 * [backup-simplify]: Simplify 0 into 0
1553948318.316 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1553948318.317 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.317 * [backup-simplify]: Simplify 0 into 0
1553948318.318 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1553948318.319 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.319 * [backup-simplify]: Simplify 0 into 0
1553948318.320 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1553948318.321 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.322 * [backup-simplify]: Simplify 0 into 0
1553948318.323 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1553948318.324 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.324 * [backup-simplify]: Simplify 0 into 0
1553948318.324 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 x)) 2)) into (pow x 2)
1553948318.325 * [backup-simplify]: Simplify (sqrt (pow (/ 1 (- x)) 4)) into (/ 1 (pow x 2))
1553948318.325 * [approximate]: Taking taylor expansion of (/ 1 (pow x 2)) in (x) around 0
1553948318.325 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1553948318.325 * [taylor]: Taking taylor expansion of (pow x 2) in x
1553948318.325 * [taylor]: Taking taylor expansion of x in x
1553948318.325 * [backup-simplify]: Simplify 0 into 0
1553948318.325 * [backup-simplify]: Simplify 1 into 1
1553948318.325 * [backup-simplify]: Simplify (* 1 1) into 1
1553948318.326 * [backup-simplify]: Simplify (/ 1 1) into 1
1553948318.326 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1553948318.326 * [taylor]: Taking taylor expansion of (pow x 2) in x
1553948318.326 * [taylor]: Taking taylor expansion of x in x
1553948318.326 * [backup-simplify]: Simplify 0 into 0
1553948318.326 * [backup-simplify]: Simplify 1 into 1
1553948318.326 * [backup-simplify]: Simplify (* 1 1) into 1
1553948318.326 * [backup-simplify]: Simplify (/ 1 1) into 1
1553948318.327 * [backup-simplify]: Simplify 1 into 1
1553948318.327 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1553948318.328 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1553948318.328 * [backup-simplify]: Simplify 0 into 0
1553948318.329 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1553948318.330 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.330 * [backup-simplify]: Simplify 0 into 0
1553948318.331 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1553948318.332 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.332 * [backup-simplify]: Simplify 0 into 0
1553948318.334 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1553948318.335 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.335 * [backup-simplify]: Simplify 0 into 0
1553948318.336 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1553948318.337 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.337 * [backup-simplify]: Simplify 0 into 0
1553948318.339 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1553948318.340 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.340 * [backup-simplify]: Simplify 0 into 0
1553948318.340 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- x))) 2)) into (pow x 2)
1553948318.341 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
1553948318.341 * [backup-simplify]: Simplify (sqrt (pow x 4)) into (pow x 2)
1553948318.341 * [approximate]: Taking taylor expansion of (pow x 2) in (x) around 0
1553948318.341 * [taylor]: Taking taylor expansion of (pow x 2) in x
1553948318.341 * [taylor]: Taking taylor expansion of x in x
1553948318.341 * [backup-simplify]: Simplify 0 into 0
1553948318.341 * [backup-simplify]: Simplify 1 into 1
1553948318.341 * [taylor]: Taking taylor expansion of (pow x 2) in x
1553948318.341 * [taylor]: Taking taylor expansion of x in x
1553948318.341 * [backup-simplify]: Simplify 0 into 0
1553948318.341 * [backup-simplify]: Simplify 1 into 1
1553948318.341 * [backup-simplify]: Simplify (* 1 1) into 1
1553948318.341 * [backup-simplify]: Simplify 1 into 1
1553948318.342 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1553948318.342 * [backup-simplify]: Simplify 0 into 0
1553948318.343 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1553948318.343 * [backup-simplify]: Simplify 0 into 0
1553948318.344 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1553948318.344 * [backup-simplify]: Simplify 0 into 0
1553948318.346 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1553948318.346 * [backup-simplify]: Simplify 0 into 0
1553948318.347 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1553948318.347 * [backup-simplify]: Simplify 0 into 0
1553948318.349 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1553948318.349 * [backup-simplify]: Simplify 0 into 0
1553948318.349 * [backup-simplify]: Simplify (* 1 (pow x 2)) into (pow x 2)
1553948318.349 * [backup-simplify]: Simplify (sqrt (pow (/ 1 x) 4)) into (/ 1 (pow x 2))
1553948318.349 * [approximate]: Taking taylor expansion of (/ 1 (pow x 2)) in (x) around 0
1553948318.349 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1553948318.349 * [taylor]: Taking taylor expansion of (pow x 2) in x
1553948318.349 * [taylor]: Taking taylor expansion of x in x
1553948318.349 * [backup-simplify]: Simplify 0 into 0
1553948318.349 * [backup-simplify]: Simplify 1 into 1
1553948318.350 * [backup-simplify]: Simplify (* 1 1) into 1
1553948318.350 * [backup-simplify]: Simplify (/ 1 1) into 1
1553948318.350 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1553948318.350 * [taylor]: Taking taylor expansion of (pow x 2) in x
1553948318.350 * [taylor]: Taking taylor expansion of x in x
1553948318.350 * [backup-simplify]: Simplify 0 into 0
1553948318.350 * [backup-simplify]: Simplify 1 into 1
1553948318.350 * [backup-simplify]: Simplify (* 1 1) into 1
1553948318.351 * [backup-simplify]: Simplify (/ 1 1) into 1
1553948318.351 * [backup-simplify]: Simplify 1 into 1
1553948318.352 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1553948318.352 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1553948318.352 * [backup-simplify]: Simplify 0 into 0
1553948318.353 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1553948318.354 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.354 * [backup-simplify]: Simplify 0 into 0
1553948318.355 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1553948318.356 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.356 * [backup-simplify]: Simplify 0 into 0
1553948318.357 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1553948318.359 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.359 * [backup-simplify]: Simplify 0 into 0
1553948318.360 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1553948318.361 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.361 * [backup-simplify]: Simplify 0 into 0
1553948318.363 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1553948318.363 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.364 * [backup-simplify]: Simplify 0 into 0
1553948318.364 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 x)) 2)) into (pow x 2)
1553948318.364 * [backup-simplify]: Simplify (sqrt (pow (/ 1 (- x)) 4)) into (/ 1 (pow x 2))
1553948318.364 * [approximate]: Taking taylor expansion of (/ 1 (pow x 2)) in (x) around 0
1553948318.364 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1553948318.364 * [taylor]: Taking taylor expansion of (pow x 2) in x
1553948318.364 * [taylor]: Taking taylor expansion of x in x
1553948318.364 * [backup-simplify]: Simplify 0 into 0
1553948318.364 * [backup-simplify]: Simplify 1 into 1
1553948318.364 * [backup-simplify]: Simplify (* 1 1) into 1
1553948318.365 * [backup-simplify]: Simplify (/ 1 1) into 1
1553948318.365 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1553948318.365 * [taylor]: Taking taylor expansion of (pow x 2) in x
1553948318.365 * [taylor]: Taking taylor expansion of x in x
1553948318.365 * [backup-simplify]: Simplify 0 into 0
1553948318.365 * [backup-simplify]: Simplify 1 into 1
1553948318.365 * [backup-simplify]: Simplify (* 1 1) into 1
1553948318.366 * [backup-simplify]: Simplify (/ 1 1) into 1
1553948318.366 * [backup-simplify]: Simplify 1 into 1
1553948318.366 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1553948318.367 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1553948318.367 * [backup-simplify]: Simplify 0 into 0
1553948318.368 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1553948318.369 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.369 * [backup-simplify]: Simplify 0 into 0
1553948318.370 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1553948318.371 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.371 * [backup-simplify]: Simplify 0 into 0
1553948318.372 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1553948318.373 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.373 * [backup-simplify]: Simplify 0 into 0
1553948318.375 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1553948318.375 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.375 * [backup-simplify]: Simplify 0 into 0
1553948318.377 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1553948318.378 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.378 * [backup-simplify]: Simplify 0 into 0
1553948318.378 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- x))) 2)) into (pow x 2)
1553948318.378 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
1553948318.378 * [backup-simplify]: Simplify (sqrt (pow y 4)) into (pow y 2)
1553948318.378 * [approximate]: Taking taylor expansion of (pow y 2) in (y) around 0
1553948318.378 * [taylor]: Taking taylor expansion of (pow y 2) in y
1553948318.378 * [taylor]: Taking taylor expansion of y in y
1553948318.379 * [backup-simplify]: Simplify 0 into 0
1553948318.379 * [backup-simplify]: Simplify 1 into 1
1553948318.379 * [taylor]: Taking taylor expansion of (pow y 2) in y
1553948318.379 * [taylor]: Taking taylor expansion of y in y
1553948318.379 * [backup-simplify]: Simplify 0 into 0
1553948318.379 * [backup-simplify]: Simplify 1 into 1
1553948318.379 * [backup-simplify]: Simplify (* 1 1) into 1
1553948318.379 * [backup-simplify]: Simplify 1 into 1
1553948318.380 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1553948318.380 * [backup-simplify]: Simplify 0 into 0
1553948318.381 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1553948318.381 * [backup-simplify]: Simplify 0 into 0
1553948318.382 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1553948318.382 * [backup-simplify]: Simplify 0 into 0
1553948318.383 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1553948318.383 * [backup-simplify]: Simplify 0 into 0
1553948318.384 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1553948318.384 * [backup-simplify]: Simplify 0 into 0
1553948318.386 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1553948318.386 * [backup-simplify]: Simplify 0 into 0
1553948318.386 * [backup-simplify]: Simplify (* 1 (pow y 2)) into (pow y 2)
1553948318.386 * [backup-simplify]: Simplify (sqrt (pow (/ 1 y) 4)) into (/ 1 (pow y 2))
1553948318.386 * [approximate]: Taking taylor expansion of (/ 1 (pow y 2)) in (y) around 0
1553948318.386 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1553948318.386 * [taylor]: Taking taylor expansion of (pow y 2) in y
1553948318.387 * [taylor]: Taking taylor expansion of y in y
1553948318.387 * [backup-simplify]: Simplify 0 into 0
1553948318.387 * [backup-simplify]: Simplify 1 into 1
1553948318.387 * [backup-simplify]: Simplify (* 1 1) into 1
1553948318.388 * [backup-simplify]: Simplify (/ 1 1) into 1
1553948318.388 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1553948318.388 * [taylor]: Taking taylor expansion of (pow y 2) in y
1553948318.388 * [taylor]: Taking taylor expansion of y in y
1553948318.388 * [backup-simplify]: Simplify 0 into 0
1553948318.388 * [backup-simplify]: Simplify 1 into 1
1553948318.388 * [backup-simplify]: Simplify (* 1 1) into 1
1553948318.388 * [backup-simplify]: Simplify (/ 1 1) into 1
1553948318.389 * [backup-simplify]: Simplify 1 into 1
1553948318.389 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1553948318.390 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1553948318.390 * [backup-simplify]: Simplify 0 into 0
1553948318.391 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1553948318.392 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.392 * [backup-simplify]: Simplify 0 into 0
1553948318.393 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1553948318.394 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.395 * [backup-simplify]: Simplify 0 into 0
1553948318.396 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1553948318.397 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.397 * [backup-simplify]: Simplify 0 into 0
1553948318.398 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1553948318.399 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.399 * [backup-simplify]: Simplify 0 into 0
1553948318.401 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1553948318.402 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.402 * [backup-simplify]: Simplify 0 into 0
1553948318.402 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 y)) 2)) into (pow y 2)
1553948318.402 * [backup-simplify]: Simplify (sqrt (pow (/ 1 (- y)) 4)) into (/ 1 (pow y 2))
1553948318.402 * [approximate]: Taking taylor expansion of (/ 1 (pow y 2)) in (y) around 0
1553948318.402 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1553948318.402 * [taylor]: Taking taylor expansion of (pow y 2) in y
1553948318.402 * [taylor]: Taking taylor expansion of y in y
1553948318.402 * [backup-simplify]: Simplify 0 into 0
1553948318.402 * [backup-simplify]: Simplify 1 into 1
1553948318.403 * [backup-simplify]: Simplify (* 1 1) into 1
1553948318.403 * [backup-simplify]: Simplify (/ 1 1) into 1
1553948318.403 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1553948318.403 * [taylor]: Taking taylor expansion of (pow y 2) in y
1553948318.403 * [taylor]: Taking taylor expansion of y in y
1553948318.403 * [backup-simplify]: Simplify 0 into 0
1553948318.403 * [backup-simplify]: Simplify 1 into 1
1553948318.403 * [backup-simplify]: Simplify (* 1 1) into 1
1553948318.404 * [backup-simplify]: Simplify (/ 1 1) into 1
1553948318.404 * [backup-simplify]: Simplify 1 into 1
1553948318.405 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1553948318.405 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1553948318.405 * [backup-simplify]: Simplify 0 into 0
1553948318.406 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1553948318.407 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.407 * [backup-simplify]: Simplify 0 into 0
1553948318.408 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1553948318.409 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.409 * [backup-simplify]: Simplify 0 into 0
1553948318.411 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1553948318.411 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.412 * [backup-simplify]: Simplify 0 into 0
1553948318.413 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1553948318.414 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.414 * [backup-simplify]: Simplify 0 into 0
1553948318.415 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1553948318.416 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.416 * [backup-simplify]: Simplify 0 into 0
1553948318.417 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- y))) 2)) into (pow y 2)
1553948318.417 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
1553948318.417 * [backup-simplify]: Simplify (sqrt (pow y 4)) into (pow y 2)
1553948318.417 * [approximate]: Taking taylor expansion of (pow y 2) in (y) around 0
1553948318.417 * [taylor]: Taking taylor expansion of (pow y 2) in y
1553948318.417 * [taylor]: Taking taylor expansion of y in y
1553948318.417 * [backup-simplify]: Simplify 0 into 0
1553948318.417 * [backup-simplify]: Simplify 1 into 1
1553948318.417 * [taylor]: Taking taylor expansion of (pow y 2) in y
1553948318.417 * [taylor]: Taking taylor expansion of y in y
1553948318.417 * [backup-simplify]: Simplify 0 into 0
1553948318.417 * [backup-simplify]: Simplify 1 into 1
1553948318.418 * [backup-simplify]: Simplify (* 1 1) into 1
1553948318.418 * [backup-simplify]: Simplify 1 into 1
1553948318.418 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1553948318.418 * [backup-simplify]: Simplify 0 into 0
1553948318.419 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1553948318.419 * [backup-simplify]: Simplify 0 into 0
1553948318.421 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1553948318.421 * [backup-simplify]: Simplify 0 into 0
1553948318.421 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1553948318.421 * [backup-simplify]: Simplify 0 into 0
1553948318.425 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1553948318.425 * [backup-simplify]: Simplify 0 into 0
1553948318.426 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1553948318.426 * [backup-simplify]: Simplify 0 into 0
1553948318.426 * [backup-simplify]: Simplify (* 1 (pow y 2)) into (pow y 2)
1553948318.426 * [backup-simplify]: Simplify (sqrt (pow (/ 1 y) 4)) into (/ 1 (pow y 2))
1553948318.426 * [approximate]: Taking taylor expansion of (/ 1 (pow y 2)) in (y) around 0
1553948318.426 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1553948318.426 * [taylor]: Taking taylor expansion of (pow y 2) in y
1553948318.426 * [taylor]: Taking taylor expansion of y in y
1553948318.426 * [backup-simplify]: Simplify 0 into 0
1553948318.426 * [backup-simplify]: Simplify 1 into 1
1553948318.426 * [backup-simplify]: Simplify (* 1 1) into 1
1553948318.427 * [backup-simplify]: Simplify (/ 1 1) into 1
1553948318.427 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1553948318.427 * [taylor]: Taking taylor expansion of (pow y 2) in y
1553948318.427 * [taylor]: Taking taylor expansion of y in y
1553948318.427 * [backup-simplify]: Simplify 0 into 0
1553948318.427 * [backup-simplify]: Simplify 1 into 1
1553948318.427 * [backup-simplify]: Simplify (* 1 1) into 1
1553948318.427 * [backup-simplify]: Simplify (/ 1 1) into 1
1553948318.427 * [backup-simplify]: Simplify 1 into 1
1553948318.428 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1553948318.428 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1553948318.428 * [backup-simplify]: Simplify 0 into 0
1553948318.429 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1553948318.429 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.429 * [backup-simplify]: Simplify 0 into 0
1553948318.430 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1553948318.430 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.430 * [backup-simplify]: Simplify 0 into 0
1553948318.431 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1553948318.432 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.432 * [backup-simplify]: Simplify 0 into 0
1553948318.432 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1553948318.433 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.433 * [backup-simplify]: Simplify 0 into 0
1553948318.434 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1553948318.434 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.434 * [backup-simplify]: Simplify 0 into 0
1553948318.435 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 y)) 2)) into (pow y 2)
1553948318.435 * [backup-simplify]: Simplify (sqrt (pow (/ 1 (- y)) 4)) into (/ 1 (pow y 2))
1553948318.435 * [approximate]: Taking taylor expansion of (/ 1 (pow y 2)) in (y) around 0
1553948318.435 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1553948318.435 * [taylor]: Taking taylor expansion of (pow y 2) in y
1553948318.435 * [taylor]: Taking taylor expansion of y in y
1553948318.435 * [backup-simplify]: Simplify 0 into 0
1553948318.435 * [backup-simplify]: Simplify 1 into 1
1553948318.435 * [backup-simplify]: Simplify (* 1 1) into 1
1553948318.435 * [backup-simplify]: Simplify (/ 1 1) into 1
1553948318.435 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1553948318.435 * [taylor]: Taking taylor expansion of (pow y 2) in y
1553948318.435 * [taylor]: Taking taylor expansion of y in y
1553948318.435 * [backup-simplify]: Simplify 0 into 0
1553948318.435 * [backup-simplify]: Simplify 1 into 1
1553948318.436 * [backup-simplify]: Simplify (* 1 1) into 1
1553948318.436 * [backup-simplify]: Simplify (/ 1 1) into 1
1553948318.436 * [backup-simplify]: Simplify 1 into 1
1553948318.436 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1553948318.437 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1553948318.437 * [backup-simplify]: Simplify 0 into 0
1553948318.437 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1553948318.438 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.438 * [backup-simplify]: Simplify 0 into 0
1553948318.439 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1553948318.439 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.439 * [backup-simplify]: Simplify 0 into 0
1553948318.440 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1553948318.440 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.440 * [backup-simplify]: Simplify 0 into 0
1553948318.441 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1553948318.442 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.442 * [backup-simplify]: Simplify 0 into 0
1553948318.443 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1553948318.443 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1553948318.443 * [backup-simplify]: Simplify 0 into 0
1553948318.443 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- y))) 2)) into (pow y 2)
1553948318.443 * * * [progress]: simplifying candidates
1553948318.443 * * * * [progress]: [ 1 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (log1p (expm1 (sqrt (pow x 4)))) (sqrt (pow y 4)))))>
1553948318.443 * * * * [progress]: [ 2 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (expm1 (log1p (sqrt (pow x 4)))) (sqrt (pow y 4)))))>
1553948318.444 * * * * [progress]: [ 3 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (pow (pow x 4) 1/2) (sqrt (pow y 4)))))>
1553948318.444 * * * * [progress]: [ 4 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (pow (sqrt (pow x 4)) 1) (sqrt (pow y 4)))))>
1553948318.444 * * * * [progress]: [ 5 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (exp (log (sqrt (pow x 4)))) (sqrt (pow y 4)))))>
1553948318.444 * * * * [progress]: [ 6 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (log (exp (sqrt (pow x 4)))) (sqrt (pow y 4)))))>
1553948318.444 * * * * [progress]: [ 7 / 72 ] 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)))))>
1553948318.444 * * * * [progress]: [ 8 / 72 ] 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)))))>
1553948318.444 * * * * [progress]: [ 9 / 72 ] 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)))))>
1553948318.444 * [simplify]: Simplifying (sqrt (* (cbrt (pow x 4)) (cbrt (pow x 4))))
1553948318.444 * * [simplify]: iters left: 5 (6 enodes)
1553948318.446 * * [simplify]: iters left: 4 (19 enodes)
1553948318.449 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948318.449 * * [simplify]: Extracting #1: cost 4 inf + 0
1553948318.449 * * [simplify]: Extracting #2: cost 7 inf + 0
1553948318.449 * * [simplify]: Extracting #3: cost 10 inf + 0
1553948318.449 * * [simplify]: Extracting #4: cost 8 inf + 2
1553948318.449 * * [simplify]: Extracting #5: cost 0 inf + 2338
1553948318.449 * [simplify]: Simplified to (fabs (cbrt (pow x 4)))
1553948318.449 * [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)))))
1553948318.449 * * * * [progress]: [ 10 / 72 ] 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)))))>
1553948318.449 * [simplify]: Simplifying (sqrt (sqrt (pow x 4)))
1553948318.449 * * [simplify]: iters left: 3 (5 enodes)
1553948318.451 * * [simplify]: iters left: 2 (15 enodes)
1553948318.453 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948318.453 * * [simplify]: Extracting #1: cost 3 inf + 0
1553948318.453 * * [simplify]: Extracting #2: cost 5 inf + 0
1553948318.453 * * [simplify]: Extracting #3: cost 8 inf + 0
1553948318.453 * * [simplify]: Extracting #4: cost 6 inf + 2
1553948318.453 * * [simplify]: Extracting #5: cost 0 inf + 1514
1553948318.453 * [simplify]: Simplified to (sqrt (sqrt (pow x 4)))
1553948318.453 * [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)))))
1553948318.454 * * * * [progress]: [ 11 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* (sqrt 1) (sqrt (pow x 4))) (sqrt (pow y 4)))))>
1553948318.454 * [simplify]: Simplifying (sqrt 1)
1553948318.454 * * [simplify]: iters left: 1 (2 enodes)
1553948318.456 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948318.456 * * [simplify]: Extracting #1: cost 0 inf + 1
1553948318.456 * [simplify]: Simplified to 1
1553948318.456 * [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)))))
1553948318.456 * * * * [progress]: [ 12 / 72 ] 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)))))>
1553948318.456 * * * * [progress]: [ 13 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (fabs (sqrt (pow x 4))) (sqrt (pow y 4)))))>
1553948318.456 * [simplify]: Simplifying (sqrt (pow x 4))
1553948318.456 * * [simplify]: iters left: 2 (4 enodes)
1553948318.457 * * [simplify]: iters left: 1 (12 enodes)
1553948318.459 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948318.459 * * [simplify]: Extracting #1: cost 3 inf + 0
1553948318.459 * * [simplify]: Extracting #2: cost 6 inf + 0
1553948318.459 * * [simplify]: Extracting #3: cost 4 inf + 2
1553948318.459 * * [simplify]: Extracting #4: cost 0 inf + 930
1553948318.459 * [simplify]: Simplified to (sqrt (pow x 4))
1553948318.459 * [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)))))
1553948318.460 * * * * [progress]: [ 14 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* 1 (sqrt (pow x 4))) (sqrt (pow y 4)))))>
1553948318.460 * * * * [progress]: [ 15 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (posit16->real (real->posit16 (sqrt (pow x 4)))) (sqrt (pow y 4)))))>
1553948318.460 * * * * [progress]: [ 16 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (log1p (expm1 (sqrt (pow x 4)))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1553948318.460 * * * * [progress]: [ 17 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (expm1 (log1p (sqrt (pow x 4)))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1553948318.460 * * * * [progress]: [ 18 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (pow (pow x 4) 1/2) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1553948318.460 * * * * [progress]: [ 19 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (pow (sqrt (pow x 4)) 1) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1553948318.460 * * * * [progress]: [ 20 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (exp (log (sqrt (pow x 4)))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1553948318.460 * * * * [progress]: [ 21 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (log (exp (sqrt (pow x 4)))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1553948318.460 * * * * [progress]: [ 22 / 72 ] 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)))))>
1553948318.460 * * * * [progress]: [ 23 / 72 ] 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)))))>
1553948318.460 * * * * [progress]: [ 24 / 72 ] 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)))))>
1553948318.460 * [simplify]: Simplifying (sqrt (* (cbrt (pow x 4)) (cbrt (pow x 4))))
1553948318.460 * * [simplify]: iters left: 5 (6 enodes)
1553948318.462 * * [simplify]: iters left: 4 (19 enodes)
1553948318.468 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948318.468 * * [simplify]: Extracting #1: cost 4 inf + 0
1553948318.468 * * [simplify]: Extracting #2: cost 7 inf + 0
1553948318.468 * * [simplify]: Extracting #3: cost 10 inf + 0
1553948318.468 * * [simplify]: Extracting #4: cost 8 inf + 2
1553948318.468 * * [simplify]: Extracting #5: cost 0 inf + 2338
1553948318.469 * [simplify]: Simplified to (fabs (cbrt (pow x 4)))
1553948318.469 * [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)))))
1553948318.469 * * * * [progress]: [ 25 / 72 ] 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)))))>
1553948318.469 * [simplify]: Simplifying (sqrt (sqrt (pow x 4)))
1553948318.469 * * [simplify]: iters left: 3 (5 enodes)
1553948318.472 * * [simplify]: iters left: 2 (15 enodes)
1553948318.476 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948318.476 * * [simplify]: Extracting #1: cost 3 inf + 0
1553948318.476 * * [simplify]: Extracting #2: cost 5 inf + 0
1553948318.477 * * [simplify]: Extracting #3: cost 8 inf + 0
1553948318.477 * * [simplify]: Extracting #4: cost 6 inf + 2
1553948318.477 * * [simplify]: Extracting #5: cost 0 inf + 1514
1553948318.477 * [simplify]: Simplified to (sqrt (sqrt (pow x 4)))
1553948318.477 * [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)))))
1553948318.477 * * * * [progress]: [ 26 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (* (sqrt 1) (sqrt (pow x 4))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1553948318.477 * [simplify]: Simplifying (sqrt 1)
1553948318.477 * * [simplify]: iters left: 1 (2 enodes)
1553948318.479 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948318.479 * * [simplify]: Extracting #1: cost 0 inf + 1
1553948318.479 * [simplify]: Simplified to 1
1553948318.479 * [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)))))
1553948318.479 * * * * [progress]: [ 27 / 72 ] 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)))))>
1553948318.479 * * * * [progress]: [ 28 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (fabs (sqrt (pow x 4))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1553948318.479 * [simplify]: Simplifying (sqrt (pow x 4))
1553948318.479 * * [simplify]: iters left: 2 (4 enodes)
1553948318.480 * * [simplify]: iters left: 1 (12 enodes)
1553948318.482 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948318.482 * * [simplify]: Extracting #1: cost 3 inf + 0
1553948318.482 * * [simplify]: Extracting #2: cost 6 inf + 0
1553948318.483 * * [simplify]: Extracting #3: cost 4 inf + 2
1553948318.483 * * [simplify]: Extracting #4: cost 0 inf + 930
1553948318.483 * [simplify]: Simplified to (sqrt (pow x 4))
1553948318.483 * [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)))))
1553948318.483 * * * * [progress]: [ 29 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (* 1 (sqrt (pow x 4))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1553948318.483 * * * * [progress]: [ 30 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (posit16->real (real->posit16 (sqrt (pow x 4)))) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1553948318.483 * * * * [progress]: [ 31 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (log1p (expm1 (sqrt (pow y 4)))))))>
1553948318.483 * * * * [progress]: [ 32 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (expm1 (log1p (sqrt (pow y 4)))))))>
1553948318.483 * * * * [progress]: [ 33 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (pow (pow y 4) 1/2))))>
1553948318.483 * * * * [progress]: [ 34 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (pow (sqrt (pow y 4)) 1))))>
1553948318.483 * * * * [progress]: [ 35 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (exp (log (sqrt (pow y 4)))))))>
1553948318.483 * * * * [progress]: [ 36 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (log (exp (sqrt (pow y 4)))))))>
1553948318.483 * * * * [progress]: [ 37 / 72 ] 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)))))))>
1553948318.483 * * * * [progress]: [ 38 / 72 ] 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)))))))>
1553948318.483 * * * * [progress]: [ 39 / 72 ] 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)))))))>
1553948318.483 * [simplify]: Simplifying (sqrt (* (cbrt (pow y 4)) (cbrt (pow y 4))))
1553948318.483 * * [simplify]: iters left: 5 (6 enodes)
1553948318.485 * * [simplify]: iters left: 4 (19 enodes)
1553948318.488 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948318.488 * * [simplify]: Extracting #1: cost 4 inf + 0
1553948318.488 * * [simplify]: Extracting #2: cost 7 inf + 0
1553948318.488 * * [simplify]: Extracting #3: cost 10 inf + 0
1553948318.488 * * [simplify]: Extracting #4: cost 8 inf + 2
1553948318.488 * * [simplify]: Extracting #5: cost 0 inf + 2338
1553948318.488 * [simplify]: Simplified to (fabs (cbrt (pow y 4)))
1553948318.488 * [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)))))))
1553948318.488 * * * * [progress]: [ 40 / 72 ] 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)))))))>
1553948318.488 * [simplify]: Simplifying (sqrt (sqrt (pow y 4)))
1553948318.489 * * [simplify]: iters left: 3 (5 enodes)
1553948318.490 * * [simplify]: iters left: 2 (15 enodes)
1553948318.492 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948318.492 * * [simplify]: Extracting #1: cost 3 inf + 0
1553948318.492 * * [simplify]: Extracting #2: cost 5 inf + 0
1553948318.492 * * [simplify]: Extracting #3: cost 8 inf + 0
1553948318.492 * * [simplify]: Extracting #4: cost 6 inf + 2
1553948318.492 * * [simplify]: Extracting #5: cost 0 inf + 1514
1553948318.492 * [simplify]: Simplified to (sqrt (sqrt (pow y 4)))
1553948318.492 * [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)))))))
1553948318.492 * * * * [progress]: [ 41 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (* (sqrt 1) (sqrt (pow y 4))))))>
1553948318.493 * [simplify]: Simplifying (sqrt 1)
1553948318.493 * * [simplify]: iters left: 1 (2 enodes)
1553948318.495 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948318.495 * * [simplify]: Extracting #1: cost 0 inf + 1
1553948318.495 * [simplify]: Simplified to 1
1553948318.495 * [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))))))
1553948318.495 * * * * [progress]: [ 42 / 72 ] 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)))))))>
1553948318.495 * * * * [progress]: [ 43 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (fabs (sqrt (pow y 4))))))>
1553948318.495 * [simplify]: Simplifying (sqrt (pow y 4))
1553948318.495 * * [simplify]: iters left: 2 (4 enodes)
1553948318.496 * * [simplify]: iters left: 1 (12 enodes)
1553948318.498 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948318.498 * * [simplify]: Extracting #1: cost 3 inf + 0
1553948318.498 * * [simplify]: Extracting #2: cost 6 inf + 0
1553948318.498 * * [simplify]: Extracting #3: cost 4 inf + 2
1553948318.498 * * [simplify]: Extracting #4: cost 0 inf + 930
1553948318.498 * [simplify]: Simplified to (sqrt (pow y 4))
1553948318.498 * [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))))))
1553948318.498 * * * * [progress]: [ 44 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (* 1 (sqrt (pow y 4))))))>
1553948318.498 * * * * [progress]: [ 45 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (posit16->real (real->posit16 (sqrt (pow y 4)))))))>
1553948318.498 * * * * [progress]: [ 46 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (log1p (expm1 (sqrt (pow y 4))))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1553948318.498 * * * * [progress]: [ 47 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (expm1 (log1p (sqrt (pow y 4))))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1553948318.498 * * * * [progress]: [ 48 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (pow (pow y 4) 1/2)) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1553948318.499 * * * * [progress]: [ 49 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (pow (sqrt (pow y 4)) 1)) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1553948318.499 * * * * [progress]: [ 50 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (exp (log (sqrt (pow y 4))))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1553948318.499 * * * * [progress]: [ 51 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (log (exp (sqrt (pow y 4))))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1553948318.499 * * * * [progress]: [ 52 / 72 ] 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)))))>
1553948318.499 * * * * [progress]: [ 53 / 72 ] 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)))))>
1553948318.499 * * * * [progress]: [ 54 / 72 ] 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)))))>
1553948318.499 * [simplify]: Simplifying (sqrt (* (cbrt (pow y 4)) (cbrt (pow y 4))))
1553948318.499 * * [simplify]: iters left: 5 (6 enodes)
1553948318.500 * * [simplify]: iters left: 4 (19 enodes)
1553948318.503 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948318.503 * * [simplify]: Extracting #1: cost 4 inf + 0
1553948318.503 * * [simplify]: Extracting #2: cost 7 inf + 0
1553948318.503 * * [simplify]: Extracting #3: cost 10 inf + 0
1553948318.503 * * [simplify]: Extracting #4: cost 8 inf + 2
1553948318.504 * * [simplify]: Extracting #5: cost 0 inf + 2338
1553948318.504 * [simplify]: Simplified to (fabs (cbrt (pow y 4)))
1553948318.504 * [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)))))
1553948318.504 * * * * [progress]: [ 55 / 72 ] 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)))))>
1553948318.504 * [simplify]: Simplifying (sqrt (sqrt (pow y 4)))
1553948318.504 * * [simplify]: iters left: 3 (5 enodes)
1553948318.506 * * [simplify]: iters left: 2 (15 enodes)
1553948318.511 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948318.511 * * [simplify]: Extracting #1: cost 3 inf + 0
1553948318.511 * * [simplify]: Extracting #2: cost 5 inf + 0
1553948318.511 * * [simplify]: Extracting #3: cost 8 inf + 0
1553948318.511 * * [simplify]: Extracting #4: cost 6 inf + 2
1553948318.511 * * [simplify]: Extracting #5: cost 0 inf + 1514
1553948318.511 * [simplify]: Simplified to (sqrt (sqrt (pow y 4)))
1553948318.511 * [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)))))
1553948318.511 * * * * [progress]: [ 56 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (* (sqrt 1) (sqrt (pow y 4)))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1553948318.512 * [simplify]: Simplifying (sqrt 1)
1553948318.512 * * [simplify]: iters left: 1 (2 enodes)
1553948318.515 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948318.515 * * [simplify]: Extracting #1: cost 0 inf + 1
1553948318.515 * [simplify]: Simplified to 1
1553948318.515 * [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)))))
1553948318.515 * * * * [progress]: [ 57 / 72 ] 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)))))>
1553948318.515 * * * * [progress]: [ 58 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (fabs (sqrt (pow y 4)))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1553948318.516 * [simplify]: Simplifying (sqrt (pow y 4))
1553948318.516 * * [simplify]: iters left: 2 (4 enodes)
1553948318.518 * * [simplify]: iters left: 1 (12 enodes)
1553948318.521 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948318.521 * * [simplify]: Extracting #1: cost 3 inf + 0
1553948318.521 * * [simplify]: Extracting #2: cost 6 inf + 0
1553948318.521 * * [simplify]: Extracting #3: cost 4 inf + 2
1553948318.521 * * [simplify]: Extracting #4: cost 0 inf + 930
1553948318.521 * [simplify]: Simplified to (sqrt (pow y 4))
1553948318.521 * [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)))))
1553948318.521 * * * * [progress]: [ 59 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (* 1 (sqrt (pow y 4)))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1553948318.521 * * * * [progress]: [ 60 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (posit16->real (real->posit16 (sqrt (pow y 4))))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1553948318.521 * * * * [progress]: [ 61 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (pow x 2) (sqrt (pow y 4)))))>
1553948318.522 * [simplify]: Simplifying (pow x 2)
1553948318.522 * * [simplify]: iters left: 1 (3 enodes)
1553948318.523 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948318.523 * * [simplify]: Extracting #1: cost 4 inf + 0
1553948318.523 * * [simplify]: Extracting #2: cost 2 inf + 2
1553948318.523 * * [simplify]: Extracting #3: cost 0 inf + 84
1553948318.523 * [simplify]: Simplified to (* x x)
1553948318.523 * [simplify]: Simplified (2 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* x x) (sqrt (pow y 4)))))
1553948318.523 * * * * [progress]: [ 62 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (pow x 2) (sqrt (pow y 4)))))>
1553948318.523 * [simplify]: Simplifying (pow x 2)
1553948318.523 * * [simplify]: iters left: 1 (3 enodes)
1553948318.524 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948318.524 * * [simplify]: Extracting #1: cost 4 inf + 0
1553948318.524 * * [simplify]: Extracting #2: cost 2 inf + 2
1553948318.524 * * [simplify]: Extracting #3: cost 0 inf + 84
1553948318.524 * [simplify]: Simplified to (* x x)
1553948318.524 * [simplify]: Simplified (2 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* x x) (sqrt (pow y 4)))))
1553948318.524 * * * * [progress]: [ 63 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (pow x 2) (sqrt (pow y 4)))))>
1553948318.524 * [simplify]: Simplifying (pow x 2)
1553948318.524 * * [simplify]: iters left: 1 (3 enodes)
1553948318.525 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948318.525 * * [simplify]: Extracting #1: cost 4 inf + 0
1553948318.525 * * [simplify]: Extracting #2: cost 2 inf + 2
1553948318.525 * * [simplify]: Extracting #3: cost 0 inf + 84
1553948318.526 * [simplify]: Simplified to (* x x)
1553948318.526 * [simplify]: Simplified (2 2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* x x) (sqrt (pow y 4)))))
1553948318.526 * * * * [progress]: [ 64 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (pow x 2) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1553948318.526 * [simplify]: Simplifying (pow x 2)
1553948318.526 * * [simplify]: iters left: 1 (3 enodes)
1553948318.528 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948318.528 * * [simplify]: Extracting #1: cost 4 inf + 0
1553948318.528 * * [simplify]: Extracting #2: cost 2 inf + 2
1553948318.528 * * [simplify]: Extracting #3: cost 0 inf + 84
1553948318.528 * [simplify]: Simplified to (* x x)
1553948318.528 * [simplify]: Simplified (2 1 1) to (λ (x y) (* (+ (* x x) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))
1553948318.528 * * * * [progress]: [ 65 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (pow x 2) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1553948318.529 * [simplify]: Simplifying (pow x 2)
1553948318.529 * * [simplify]: iters left: 1 (3 enodes)
1553948318.530 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948318.530 * * [simplify]: Extracting #1: cost 4 inf + 0
1553948318.530 * * [simplify]: Extracting #2: cost 2 inf + 2
1553948318.530 * * [simplify]: Extracting #3: cost 0 inf + 84
1553948318.530 * [simplify]: Simplified to (* x x)
1553948318.530 * [simplify]: Simplified (2 1 1) to (λ (x y) (* (+ (* x x) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))
1553948318.530 * * * * [progress]: [ 66 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (pow x 2) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1553948318.530 * [simplify]: Simplifying (pow x 2)
1553948318.530 * * [simplify]: iters left: 1 (3 enodes)
1553948318.531 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948318.531 * * [simplify]: Extracting #1: cost 4 inf + 0
1553948318.531 * * [simplify]: Extracting #2: cost 2 inf + 2
1553948318.531 * * [simplify]: Extracting #3: cost 0 inf + 84
1553948318.531 * [simplify]: Simplified to (* x x)
1553948318.531 * [simplify]: Simplified (2 1 1) to (λ (x y) (* (+ (* x x) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))
1553948318.531 * * * * [progress]: [ 67 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (pow y 2))))>
1553948318.532 * [simplify]: Simplifying (pow y 2)
1553948318.532 * * [simplify]: iters left: 1 (3 enodes)
1553948318.533 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948318.533 * * [simplify]: Extracting #1: cost 4 inf + 0
1553948318.533 * * [simplify]: Extracting #2: cost 2 inf + 2
1553948318.533 * * [simplify]: Extracting #3: cost 0 inf + 84
1553948318.533 * [simplify]: Simplified to (* y y)
1553948318.533 * [simplify]: Simplified (2 2 2) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (* y y))))
1553948318.533 * * * * [progress]: [ 68 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (pow y 2))))>
1553948318.533 * [simplify]: Simplifying (pow y 2)
1553948318.533 * * [simplify]: iters left: 1 (3 enodes)
1553948318.534 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948318.534 * * [simplify]: Extracting #1: cost 4 inf + 0
1553948318.534 * * [simplify]: Extracting #2: cost 2 inf + 2
1553948318.534 * * [simplify]: Extracting #3: cost 0 inf + 84
1553948318.534 * [simplify]: Simplified to (* y y)
1553948318.534 * [simplify]: Simplified (2 2 2) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (* y y))))
1553948318.534 * * * * [progress]: [ 69 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (pow y 2))))>
1553948318.535 * [simplify]: Simplifying (pow y 2)
1553948318.535 * * [simplify]: iters left: 1 (3 enodes)
1553948318.536 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948318.536 * * [simplify]: Extracting #1: cost 4 inf + 0
1553948318.536 * * [simplify]: Extracting #2: cost 2 inf + 2
1553948318.536 * * [simplify]: Extracting #3: cost 0 inf + 84
1553948318.536 * [simplify]: Simplified to (* y y)
1553948318.536 * [simplify]: Simplified (2 2 2) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (* y y))))
1553948318.536 * * * * [progress]: [ 70 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (pow y 2)) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1553948318.536 * [simplify]: Simplifying (pow y 2)
1553948318.536 * * [simplify]: iters left: 1 (3 enodes)
1553948318.537 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948318.537 * * [simplify]: Extracting #1: cost 4 inf + 0
1553948318.537 * * [simplify]: Extracting #2: cost 2 inf + 2
1553948318.537 * * [simplify]: Extracting #3: cost 0 inf + 84
1553948318.537 * [simplify]: Simplified to (* y y)
1553948318.537 * [simplify]: Simplified (2 1 2) to (λ (x y) (* (+ (sqrt (pow x 4)) (* y y)) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))
1553948318.537 * * * * [progress]: [ 71 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (pow y 2)) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1553948318.538 * [simplify]: Simplifying (pow y 2)
1553948318.538 * * [simplify]: iters left: 1 (3 enodes)
1553948318.539 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948318.539 * * [simplify]: Extracting #1: cost 4 inf + 0
1553948318.539 * * [simplify]: Extracting #2: cost 2 inf + 2
1553948318.539 * * [simplify]: Extracting #3: cost 0 inf + 84
1553948318.539 * [simplify]: Simplified to (* y y)
1553948318.539 * [simplify]: Simplified (2 1 2) to (λ (x y) (* (+ (sqrt (pow x 4)) (* y y)) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))
1553948318.539 * * * * [progress]: [ 72 / 72 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (pow y 2)) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
1553948318.539 * [simplify]: Simplifying (pow y 2)
1553948318.539 * * [simplify]: iters left: 1 (3 enodes)
1553948318.540 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948318.540 * * [simplify]: Extracting #1: cost 4 inf + 0
1553948318.540 * * [simplify]: Extracting #2: cost 2 inf + 2
1553948318.540 * * [simplify]: Extracting #3: cost 0 inf + 84
1553948318.540 * [simplify]: Simplified to (* y y)
1553948318.540 * [simplify]: Simplified (2 1 2) to (λ (x y) (* (+ (sqrt (pow x 4)) (* y y)) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))
1553948318.540 * * * [progress]: adding candidates to table
1553948319.394 * [progress]: [Phase 3 of 3] Extracting.
1553948319.394 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (- (pow x 4) (pow y 4)))> #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>)
1553948319.395 * * * [regime-changes]: Trying 5 branch expressions: (y (pow y 4) x (pow x 4) (- (pow x 4) (pow y 4)))
1553948319.396 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (- (pow x 4) (pow y 4)))> #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>)
1553948319.425 * * * * [regimes]: Trying to branch on (pow y 4) from (#<alt (λ (x y) (- (pow x 4) (pow y 4)))> #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>)
1553948319.450 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (- (pow x 4) (pow y 4)))> #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>)
1553948319.491 * * * * [regimes]: Trying to branch on (pow x 4) from (#<alt (λ (x y) (- (pow x 4) (pow y 4)))> #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>)
1553948319.521 * * * * [regimes]: Trying to branch on (- (pow x 4) (pow y 4)) from (#<alt (λ (x y) (- (pow x 4) (pow y 4)))> #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>)
1553948319.558 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
1553948319.559 * [simplify]: Simplifying (- (pow x 4) (pow y 4))
1553948319.559 * * [simplify]: iters left: 3 (6 enodes)
1553948319.559 * * [simplify]: Extracting #0: cost 1 inf + 0
1553948319.559 * * [simplify]: Extracting #1: cost 3 inf + 0
1553948319.559 * * [simplify]: Extracting #2: cost 6 inf + 0
1553948319.559 * * [simplify]: Extracting #3: cost 2 inf + 215
1553948319.559 * * [simplify]: Extracting #4: cost 0 inf + 890
1553948319.559 * [simplify]: Simplified to (- (pow x 4) (pow y 4))
1553948322.164 * [regime-testing]: Baseline error score: 0.002250281285160645
1553948322.165 * [regime-testing]: Oracle error score: 0.0012501562695336917
1553948322.169 * [regime-testing]: End program error score: 0.002250281285160645