1544783421.317 * [misc]progress:  [Phase 1 of 3] Setting up.
1544783421.317 * * * [misc]progress:  [1/2] Preparing points
1544783421.318 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1544783421.401 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544783421.401 * * * * [exit]points:  Sampled 256 points with exact outputs
1544783421.401 * * * [misc]progress:  [2/2] Setting up program.
1544783421.410 * [misc]progress:  [Phase 2 of 3] Improving.
1544783421.410 * [enter]simplify:  Simplifying (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))
1544783421.412 * * [misc]simplify:  iters left: 6 (8 enodes)
1544783421.416 * * [misc]simplify:  iters left: 5 (19 enodes)
1544783421.427 * * [misc]simplify:  iters left: 4 (44 enodes)
1544783421.449 * * [misc]simplify:  iters left: 3 (86 enodes)
1544783421.524 * * [misc]simplify:  iters left: 2 (156 enodes)
1544783421.608 * * [misc]simplify:  iters left: 1 (330 enodes)
1544783421.846 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1544783421.859 * * [misc]progress:  iteration 1 / 4
1544783421.859 * * * [misc]progress:  picking best candidate
1544783421.872 * * * * [misc]pick:  Picked  #<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))>
1544783421.872 * * * [misc]progress:  localizing error
1544783421.898 * * * [misc]progress:  generating rewritten candidates
1544783421.898 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2)
1544783421.903 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1 1 2)
1544783421.929 * * * [misc]progress:  generating series expansions
1544783421.929 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2)
1544783421.930 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783421.930 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
1544783421.930 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1544783421.930 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1544783421.930 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1544783421.930 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783421.930 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783421.930 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1544783421.930 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1544783421.930 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1544783421.930 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783421.931 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783421.931 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1544783421.931 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1544783421.931 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1544783421.931 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783421.931 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783421.931 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1544783421.931 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1544783421.931 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1544783421.932 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783421.932 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783421.932 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783421.932 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783421.932 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.932 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.932 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.933 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783421.933 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783421.933 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.933 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.934 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.934 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783421.934 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.935 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783421.935 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783421.935 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.935 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.935 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783421.936 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a)))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783421.936 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1544783421.936 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1544783421.936 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1544783421.936 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783421.936 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783421.937 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783421.937 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1544783421.937 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1544783421.937 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783421.937 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783421.937 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783421.938 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1544783421.938 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1544783421.938 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783421.938 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783421.938 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783421.938 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1544783421.938 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1544783421.939 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783421.939 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783421.939 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783421.939 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783421.940 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783421.940 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.940 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.940 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.941 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783421.941 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783421.941 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.941 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.941 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.942 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783421.942 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.942 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783421.942 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783421.942 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.942 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.949 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 a) 2) (pow (/ 1 b) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783421.949 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a))))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783421.949 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1544783421.949 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1544783421.949 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1544783421.949 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783421.950 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783421.950 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783421.950 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1544783421.950 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1544783421.950 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783421.950 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783421.951 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783421.951 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1544783421.951 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1544783421.951 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783421.951 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783421.952 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783421.952 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1544783421.953 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1544783421.953 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783421.953 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783421.954 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783421.954 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783421.954 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783421.954 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.954 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.954 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.955 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783421.955 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783421.955 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.955 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.955 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.956 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783421.956 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.957 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783421.957 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783421.957 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.957 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.958 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783421.958 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1 1 2)
1544783421.958 * [misc]backup-simplify:  Simplify (* (/ b a) (/ b a)) into (/ (pow b 2) (pow a 2))
1544783421.958 * [misc]approximate:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0
1544783421.958 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a
1544783421.958 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1544783421.958 * [misc]taylor:  Taking taylor expansion of b in a
1544783421.958 * [misc]backup-simplify:  Simplify b into b
1544783421.958 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1544783421.958 * [misc]taylor:  Taking taylor expansion of a in a
1544783421.958 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.958 * [misc]backup-simplify:  Simplify 1 into 1
1544783421.958 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1544783421.959 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544783421.959 * [misc]backup-simplify:  Simplify (/ (pow b 2) 1) into (pow b 2)
1544783421.959 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
1544783421.959 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1544783421.959 * [misc]taylor:  Taking taylor expansion of b in b
1544783421.959 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.959 * [misc]backup-simplify:  Simplify 1 into 1
1544783421.959 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1544783421.959 * [misc]taylor:  Taking taylor expansion of a in b
1544783421.959 * [misc]backup-simplify:  Simplify a into a
1544783421.959 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544783421.959 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1544783421.959 * [misc]backup-simplify:  Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1544783421.959 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
1544783421.959 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1544783421.959 * [misc]taylor:  Taking taylor expansion of b in b
1544783421.959 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.960 * [misc]backup-simplify:  Simplify 1 into 1
1544783421.960 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1544783421.960 * [misc]taylor:  Taking taylor expansion of a in b
1544783421.960 * [misc]backup-simplify:  Simplify a into a
1544783421.960 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544783421.960 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1544783421.960 * [misc]backup-simplify:  Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1544783421.960 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow a 2)) in a
1544783421.960 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1544783421.960 * [misc]taylor:  Taking taylor expansion of a in a
1544783421.960 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.960 * [misc]backup-simplify:  Simplify 1 into 1
1544783421.960 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544783421.960 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544783421.961 * [misc]backup-simplify:  Simplify 1 into 1
1544783421.961 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544783421.961 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1544783421.961 * [misc]backup-simplify:  Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0
1544783421.961 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783421.961 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.961 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544783421.962 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544783421.962 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.962 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544783421.962 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1544783421.963 * [misc]backup-simplify:  Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0
1544783421.963 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783421.963 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.963 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544783421.963 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544783421.963 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.964 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544783421.964 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1544783421.965 * [misc]backup-simplify:  Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0
1544783421.965 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783421.965 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.965 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.965 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544783421.965 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544783421.966 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.966 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544783421.966 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0
1544783421.967 * [misc]backup-simplify:  Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0
1544783421.967 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783421.967 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.967 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.967 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.968 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2))
1544783421.968 * [misc]backup-simplify:  Simplify (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))) into (/ (pow a 2) (pow b 2))
1544783421.968 * [misc]approximate:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
1544783421.968 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
1544783421.968 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1544783421.968 * [misc]taylor:  Taking taylor expansion of a in a
1544783421.968 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.968 * [misc]backup-simplify:  Simplify 1 into 1
1544783421.968 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1544783421.968 * [misc]taylor:  Taking taylor expansion of b in a
1544783421.968 * [misc]backup-simplify:  Simplify b into b
1544783421.968 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544783421.969 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1544783421.969 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1544783421.969 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1544783421.969 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1544783421.969 * [misc]taylor:  Taking taylor expansion of a in b
1544783421.969 * [misc]backup-simplify:  Simplify a into a
1544783421.969 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1544783421.969 * [misc]taylor:  Taking taylor expansion of b in b
1544783421.969 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.969 * [misc]backup-simplify:  Simplify 1 into 1
1544783421.969 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1544783421.969 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544783421.969 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1544783421.969 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1544783421.970 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1544783421.970 * [misc]taylor:  Taking taylor expansion of a in b
1544783421.970 * [misc]backup-simplify:  Simplify a into a
1544783421.970 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1544783421.970 * [misc]taylor:  Taking taylor expansion of b in b
1544783421.970 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.970 * [misc]backup-simplify:  Simplify 1 into 1
1544783421.970 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1544783421.970 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544783421.970 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1544783421.970 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1544783421.970 * [misc]taylor:  Taking taylor expansion of a in a
1544783421.970 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.970 * [misc]backup-simplify:  Simplify 1 into 1
1544783421.970 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544783421.970 * [misc]backup-simplify:  Simplify 1 into 1
1544783421.971 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1544783421.971 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544783421.971 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
1544783421.971 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783421.971 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.971 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.971 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544783421.972 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.972 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1544783421.972 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544783421.973 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544783421.973 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783421.973 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.973 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.973 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.973 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544783421.973 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.974 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1544783421.974 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544783421.975 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544783421.975 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783421.975 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.975 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.975 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2))
1544783421.976 * [misc]backup-simplify:  Simplify (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))) into (/ (pow a 2) (pow b 2))
1544783421.976 * [misc]approximate:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
1544783421.976 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
1544783421.976 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1544783421.976 * [misc]taylor:  Taking taylor expansion of a in a
1544783421.976 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.976 * [misc]backup-simplify:  Simplify 1 into 1
1544783421.976 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1544783421.976 * [misc]taylor:  Taking taylor expansion of b in a
1544783421.976 * [misc]backup-simplify:  Simplify b into b
1544783421.976 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544783421.976 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1544783421.976 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1544783421.976 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1544783421.977 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1544783421.977 * [misc]taylor:  Taking taylor expansion of a in b
1544783421.977 * [misc]backup-simplify:  Simplify a into a
1544783421.977 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1544783421.977 * [misc]taylor:  Taking taylor expansion of b in b
1544783421.977 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.977 * [misc]backup-simplify:  Simplify 1 into 1
1544783421.977 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1544783421.977 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544783421.977 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1544783421.977 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1544783421.977 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1544783421.977 * [misc]taylor:  Taking taylor expansion of a in b
1544783421.977 * [misc]backup-simplify:  Simplify a into a
1544783421.977 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1544783421.977 * [misc]taylor:  Taking taylor expansion of b in b
1544783421.977 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.977 * [misc]backup-simplify:  Simplify 1 into 1
1544783421.977 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1544783421.978 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544783421.978 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1544783421.978 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1544783421.978 * [misc]taylor:  Taking taylor expansion of a in a
1544783421.978 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.978 * [misc]backup-simplify:  Simplify 1 into 1
1544783421.978 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544783421.978 * [misc]backup-simplify:  Simplify 1 into 1
1544783421.978 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1544783421.978 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544783421.979 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
1544783421.979 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783421.979 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.979 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.979 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544783421.979 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.979 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1544783421.980 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544783421.980 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544783421.980 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783421.980 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.980 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.980 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.981 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544783421.981 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.981 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1544783421.981 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544783421.982 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544783421.982 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783421.982 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.982 * [misc]backup-simplify:  Simplify 0 into 0
1544783421.983 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2))
1544783421.983 * * * [misc]progress:  simplifying candidates
1544783421.983 * * * * [misc]progress:  [ 1 / 47 ] simplifiying candidate #<alt (λ (a b) (log1p (expm1 (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1544783421.983 * * * * [misc]progress:  [ 2 / 47 ] simplifiying candidate #<alt (λ (a b) (expm1 (log1p (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1544783421.983 * * * * [misc]progress:  [ 3 / 47 ] simplifiying candidate #<alt (λ (a b) (pow (fabs (- 1 (* (/ b a) (/ b a)))) 1/2))>
1544783421.983 * * * * [misc]progress:  [ 4 / 47 ] simplifiying candidate #<alt (λ (a b) (pow (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1))>
1544783421.983 * * * * [misc]progress:  [ 5 / 47 ] simplifiying candidate #<alt (λ (a b) (exp (log (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1544783421.983 * * * * [misc]progress:  [ 6 / 47 ] simplifiying candidate #<alt (λ (a b) (log (exp (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1544783421.983 * * * * [misc]progress:  [ 7 / 47 ] simplifiying candidate #<alt (λ (a b) (* (* (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1544783421.983 * * * * [misc]progress:  [ 8 / 47 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1544783421.983 * * * * [misc]progress:  [ 9 / 47 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1544783421.984 * [enter]simplify:  Simplifying (sqrt (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))))
1544783421.985 * * [misc]simplify:  iters left: 6 (10 enodes)
1544783421.989 * * [misc]simplify:  iters left: 5 (19 enodes)
1544783421.995 * * [misc]simplify:  iters left: 4 (33 enodes)
1544783422.001 * * [misc]simplify:  iters left: 3 (51 enodes)
1544783422.009 * * [misc]simplify:  iters left: 2 (66 enodes)
1544783422.025 * * [misc]simplify:  iters left: 1 (74 enodes)
1544783422.044 * [exit]simplify:  Simplified to (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))
1544783422.044 * [misc]simplify:  Simplified (2 1) to (λ (a b) (* (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1544783422.044 * * * * [misc]progress:  [ 10 / 47 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1544783422.044 * [enter]simplify:  Simplifying (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1544783422.045 * * [misc]simplify:  iters left: 6 (9 enodes)
1544783422.047 * * [misc]simplify:  iters left: 5 (17 enodes)
1544783422.051 * * [misc]simplify:  iters left: 4 (31 enodes)
1544783422.059 * * [misc]simplify:  iters left: 3 (49 enodes)
1544783422.071 * * [misc]simplify:  iters left: 2 (64 enodes)
1544783422.080 * * [misc]simplify:  iters left: 1 (72 enodes)
1544783422.093 * [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1544783422.093 * [misc]simplify:  Simplified (2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1544783422.093 * * * * [misc]progress:  [ 11 / 47 ] simplifiying candidate #<alt (λ (a b) (* (sqrt 1) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))>
1544783422.093 * [enter]simplify:  Simplifying (sqrt 1)
1544783422.093 * * [misc]simplify:  iters left: 1 (2 enodes)
1544783422.094 * [exit]simplify:  Simplified to 1
1544783422.094 * [misc]simplify:  Simplified (2 1) to (λ (a b) (* 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))
1544783422.094 * * * * [misc]progress:  [ 12 / 47 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1544783422.094 * * * * [misc]progress:  [ 13 / 47 ] simplifiying candidate #<alt (λ (a b) (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))>
1544783422.094 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1544783422.095 * * [misc]simplify:  iters left: 6 (8 enodes)
1544783422.097 * * [misc]simplify:  iters left: 5 (16 enodes)
1544783422.100 * * [misc]simplify:  iters left: 4 (30 enodes)
1544783422.106 * * [misc]simplify:  iters left: 3 (48 enodes)
1544783422.114 * * [misc]simplify:  iters left: 2 (63 enodes)
1544783422.124 * * [misc]simplify:  iters left: 1 (71 enodes)
1544783422.139 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1544783422.139 * [misc]simplify:  Simplified (2 1) to (λ (a b) (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))
1544783422.139 * * * * [misc]progress:  [ 14 / 47 ] simplifiying candidate #<alt (λ (a b) (* 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))>
1544783422.139 * * * * [misc]progress:  [ 15 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log1p (expm1 (* (/ b a) (/ b a))))))))>
1544783422.139 * * * * [misc]progress:  [ 16 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (expm1 (log1p (* (/ b a) (/ b a))))))))>
1544783422.139 * * * * [misc]progress:  [ 17 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1))))))>
1544783422.139 * [enter]simplify:  Simplifying (/ b a)
1544783422.139 * * [misc]simplify:  iters left: 2 (3 enodes)
1544783422.140 * [exit]simplify:  Simplified to (/ b a)
1544783422.140 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1))))))
1544783422.140 * [enter]simplify:  Simplifying (+ 1 1)
1544783422.140 * * [misc]simplify:  iters left: 2 (2 enodes)
1544783422.141 * * [misc]simplify:  iters left: 1 (5 enodes)
1544783422.142 * [exit]simplify:  Simplified to 2
1544783422.142 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) 2)))))
1544783422.142 * * * * [misc]progress:  [ 18 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (pow (* (/ b a) (/ b a)) 1)))))>
1544783422.142 * [enter]simplify:  Simplifying (* (/ b a) (/ b a))
1544783422.142 * * [misc]simplify:  iters left: 4 (4 enodes)
1544783422.144 * * [misc]simplify:  iters left: 3 (8 enodes)
1544783422.147 * * [misc]simplify:  iters left: 2 (14 enodes)
1544783422.151 * * [misc]simplify:  iters left: 1 (20 enodes)
1544783422.159 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1544783422.159 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (pow (* (/ b a) (/ b a)) 1)))))
1544783422.159 * * * * [misc]progress:  [ 19 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) 2)))))>
1544783422.160 * * * * [misc]progress:  [ 20 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1))))))>
1544783422.160 * [enter]simplify:  Simplifying (/ b a)
1544783422.160 * * [misc]simplify:  iters left: 2 (3 enodes)
1544783422.161 * [exit]simplify:  Simplified to (/ b a)
1544783422.161 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1))))))
1544783422.161 * * * * [misc]progress:  [ 21 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (pow (* (/ b a) (/ b a)) 1)))))>
1544783422.161 * * * * [misc]progress:  [ 22 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (exp (+ (log (/ b a)) (log (/ b a))))))))>
1544783422.161 * [enter]simplify:  Simplifying (+ (log (/ b a)) (log (/ b a)))
1544783422.162 * * [misc]simplify:  iters left: 5 (5 enodes)
1544783422.164 * * [misc]simplify:  iters left: 4 (8 enodes)
1544783422.168 * * [misc]simplify:  iters left: 3 (14 enodes)
1544783422.173 * * [misc]simplify:  iters left: 2 (28 enodes)
1544783422.180 * * [misc]simplify:  iters left: 1 (53 enodes)
1544783422.193 * [exit]simplify:  Simplified to (+ (log (/ b a)) (log (/ b a)))
1544783422.193 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (exp (+ (log (/ b a)) (log (/ b a))))))))
1544783422.193 * * * * [misc]progress:  [ 23 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (exp (log (* (/ b a) (/ b a))))))))>
1544783422.193 * * * * [misc]progress:  [ 24 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))))>
1544783422.193 * * * * [misc]progress:  [ 25 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (cbrt (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b a))))))))>
1544783422.193 * [enter]simplify:  Simplifying (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b a)))
1544783422.193 * * [misc]simplify:  iters left: 6 (6 enodes)
1544783422.196 * * [misc]simplify:  iters left: 5 (17 enodes)
1544783422.203 * * [misc]simplify:  iters left: 4 (61 enodes)
1544783422.242 * * [misc]simplify:  iters left: 3 (157 enodes)
1544783422.382 * * [misc]simplify:  iters left: 2 (463 enodes)
1544783423.460 * [exit]simplify:  Simplified to (pow (/ b a) 6)
1544783423.460 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6))))))
1544783423.460 * * * * [misc]progress:  [ 26 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (cbrt (* (/ b a) (/ b a))) (cbrt (* (/ b a) (/ b a)))) (cbrt (* (/ b a) (/ b a))))))))>
1544783423.460 * * * * [misc]progress:  [ 27 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (cbrt (* (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))) (* (/ b a) (/ b a))))))))>
1544783423.460 * * * * [misc]progress:  [ 28 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (sqrt (* (/ b a) (/ b a))) (sqrt (* (/ b a) (/ b a))))))))>
1544783423.460 * * * * [misc]progress:  [ 29 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a))))))>
1544783423.460 * [enter]simplify:  Simplifying (* b b)
1544783423.461 * * [misc]simplify:  iters left: 2 (2 enodes)
1544783423.462 * [exit]simplify:  Simplified to (* b b)
1544783423.462 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
1544783423.462 * [enter]simplify:  Simplifying (* a a)
1544783423.462 * * [misc]simplify:  iters left: 2 (2 enodes)
1544783423.463 * [exit]simplify:  Simplified to (* a a)
1544783423.463 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
1544783423.463 * * * * [misc]progress:  [ 30 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* 1 (* (/ b a) (/ b a)))))))>
1544783423.463 * * * * [misc]progress:  [ 31 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (* (cbrt (/ b a)) (cbrt (/ b a)))) (cbrt (/ b a)))))))>
1544783423.463 * [enter]simplify:  Simplifying (cbrt (/ b a))
1544783423.464 * * [misc]simplify:  iters left: 3 (4 enodes)
1544783423.465 * [exit]simplify:  Simplified to (cbrt (/ b a))
1544783423.465 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (* (cbrt (/ b a)) (cbrt (/ b a)))) (cbrt (/ b a)))))))
1544783423.465 * * * * [misc]progress:  [ 32 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (sqrt (/ b a))) (sqrt (/ b a)))))))>
1544783423.465 * [enter]simplify:  Simplifying (sqrt (/ b a))
1544783423.466 * * [misc]simplify:  iters left: 3 (4 enodes)
1544783423.467 * [exit]simplify:  Simplified to (sqrt (/ b a))
1544783423.467 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (sqrt (/ b a))) (sqrt (/ b a)))))))
1544783423.467 * * * * [misc]progress:  [ 33 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) 1) (/ b a))))))>
1544783423.467 * [enter]simplify:  Simplifying (/ b a)
1544783423.468 * * [misc]simplify:  iters left: 2 (3 enodes)
1544783423.469 * [exit]simplify:  Simplified to (/ b a)
1544783423.469 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) 1) (/ b a))))))
1544783423.469 * * * * [misc]progress:  [ 34 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) b) (/ 1 a))))))>
1544783423.469 * [enter]simplify:  Simplifying (/ 1 a)
1544783423.469 * * [misc]simplify:  iters left: 2 (3 enodes)
1544783423.470 * * [misc]simplify:  iters left: 1 (5 enodes)
1544783423.472 * [exit]simplify:  Simplified to (/ 1 a)
1544783423.472 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) b) (/ 1 a))))))
1544783423.472 * * * * [misc]progress:  [ 35 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (cbrt (/ b a)) (cbrt (/ b a))) (* (cbrt (/ b a)) (/ b a)))))))>
1544783423.472 * [enter]simplify:  Simplifying (* (cbrt (/ b a)) (cbrt (/ b a)))
1544783423.472 * * [misc]simplify:  iters left: 5 (5 enodes)
1544783423.474 * [exit]simplify:  Simplified to (* (cbrt (/ b a)) (cbrt (/ b a)))
1544783423.474 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (* (cbrt (/ b a)) (cbrt (/ b a))) (* (cbrt (/ b a)) (/ b a)))))))
1544783423.474 * * * * [misc]progress:  [ 36 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (sqrt (/ b a)) (* (sqrt (/ b a)) (/ b a)))))))>
1544783423.475 * [enter]simplify:  Simplifying (sqrt (/ b a))
1544783423.475 * * [misc]simplify:  iters left: 3 (4 enodes)
1544783423.476 * [exit]simplify:  Simplified to (sqrt (/ b a))
1544783423.476 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (sqrt (/ b a)) (* (sqrt (/ b a)) (/ b a)))))))
1544783423.476 * * * * [misc]progress:  [ 37 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* 1 (* (/ b a) (/ b a)))))))>
1544783423.476 * * * * [misc]progress:  [ 38 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* b (* (/ 1 a) (/ b a)))))))>
1544783423.477 * * * * [misc]progress:  [ 39 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* (/ b a) b) a)))))>
1544783423.477 * * * * [misc]progress:  [ 40 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))>
1544783423.477 * [enter]simplify:  Simplifying (* b (/ b a))
1544783423.477 * * [misc]simplify:  iters left: 4 (4 enodes)
1544783423.479 * * [misc]simplify:  iters left: 3 (7 enodes)
1544783423.482 * * [misc]simplify:  iters left: 2 (9 enodes)
1544783423.485 * [exit]simplify:  Simplified to (* b (/ b a))
1544783423.485 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
1544783423.485 * * * * [misc]progress:  [ 41 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))>
1544783423.486 * * * * [misc]progress:  [ 42 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1544783423.486 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783423.487 * * [misc]simplify:  iters left: 6 (10 enodes)
1544783423.490 * * [misc]simplify:  iters left: 5 (16 enodes)
1544783423.497 * * [misc]simplify:  iters left: 4 (25 enodes)
1544783423.507 * * [misc]simplify:  iters left: 3 (42 enodes)
1544783423.525 * * [misc]simplify:  iters left: 2 (68 enodes)
1544783423.546 * * [misc]simplify:  iters left: 1 (77 enodes)
1544783423.573 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1544783423.573 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1544783423.573 * * * * [misc]progress:  [ 43 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1544783423.573 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783423.574 * * [misc]simplify:  iters left: 6 (10 enodes)
1544783423.578 * * [misc]simplify:  iters left: 5 (16 enodes)
1544783423.585 * * [misc]simplify:  iters left: 4 (25 enodes)
1544783423.590 * * [misc]simplify:  iters left: 3 (42 enodes)
1544783423.600 * * [misc]simplify:  iters left: 2 (68 enodes)
1544783423.610 * * [misc]simplify:  iters left: 1 (77 enodes)
1544783423.630 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1544783423.630 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1544783423.630 * * * * [misc]progress:  [ 44 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1544783423.630 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783423.631 * * [misc]simplify:  iters left: 6 (10 enodes)
1544783423.635 * * [misc]simplify:  iters left: 5 (16 enodes)
1544783423.640 * * [misc]simplify:  iters left: 4 (25 enodes)
1544783423.650 * * [misc]simplify:  iters left: 3 (42 enodes)
1544783423.666 * * [misc]simplify:  iters left: 2 (68 enodes)
1544783423.679 * * [misc]simplify:  iters left: 1 (77 enodes)
1544783423.692 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1544783423.692 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1544783423.692 * * * * [misc]progress:  [ 45 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1544783423.692 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1544783423.692 * * [misc]simplify:  iters left: 3 (6 enodes)
1544783423.693 * * [misc]simplify:  iters left: 2 (8 enodes)
1544783423.695 * * [misc]simplify:  iters left: 1 (14 enodes)
1544783423.702 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1544783423.702 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1544783423.702 * * * * [misc]progress:  [ 46 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1544783423.702 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1544783423.703 * * [misc]simplify:  iters left: 3 (6 enodes)
1544783423.705 * * [misc]simplify:  iters left: 2 (8 enodes)
1544783423.709 * * [misc]simplify:  iters left: 1 (14 enodes)
1544783423.716 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1544783423.716 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1544783423.716 * * * * [misc]progress:  [ 47 / 47 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1544783423.717 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1544783423.717 * * [misc]simplify:  iters left: 3 (6 enodes)
1544783423.719 * * [misc]simplify:  iters left: 2 (8 enodes)
1544783423.721 * * [misc]simplify:  iters left: 1 (14 enodes)
1544783423.725 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1544783423.725 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1544783423.725 * * * [misc]progress:  adding candidates to table
1544783424.437 * * [misc]progress:  iteration 2 / 4
1544783424.437 * * * [misc]progress:  picking best candidate
1544783424.459 * * * * [misc]pick:  Picked  #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))>
1544783424.459 * * * [misc]progress:  localizing error
1544783424.485 * * * [misc]progress:  generating rewritten candidates
1544783424.485 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2)
1544783424.490 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1 1 2)
1544783424.532 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 1 1 2 1)
1544783424.551 * * * [misc]progress:  generating series expansions
1544783424.551 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2)
1544783424.551 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783424.551 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
1544783424.551 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1544783424.551 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1544783424.551 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1544783424.552 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783424.552 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783424.552 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1544783424.552 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1544783424.552 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1544783424.552 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783424.552 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783424.552 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1544783424.552 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1544783424.552 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1544783424.552 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783424.553 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783424.553 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1544783424.553 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1544783424.553 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1544783424.553 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783424.553 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783424.553 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783424.553 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783424.553 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.553 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.553 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.554 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783424.554 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783424.554 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.554 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.554 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.555 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783424.555 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.555 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783424.555 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783424.555 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.555 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.555 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783424.556 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (* (/ 1 b) (/ (/ 1 b) (/ 1 a))) (/ 1 a))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783424.556 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1544783424.556 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1544783424.556 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1544783424.556 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783424.556 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783424.556 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783424.556 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1544783424.556 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1544783424.556 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783424.556 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783424.556 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783424.556 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1544783424.556 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1544783424.557 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783424.557 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783424.557 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783424.557 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1544783424.557 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1544783424.557 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783424.557 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783424.557 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783424.558 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783424.558 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783424.558 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.558 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.558 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.558 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783424.558 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783424.558 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.558 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.558 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.559 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783424.559 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.559 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783424.559 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783424.559 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.559 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.563 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 a) 2) (pow (/ 1 b) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783424.564 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (* (/ 1 (- b)) (/ (/ 1 (- b)) (/ 1 (- a)))) (/ 1 (- a)))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783424.564 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1544783424.564 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1544783424.564 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1544783424.564 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783424.564 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783424.564 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783424.564 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1544783424.564 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1544783424.564 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783424.565 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783424.565 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783424.565 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1544783424.565 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1544783424.565 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783424.565 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783424.565 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783424.565 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1544783424.565 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1544783424.565 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783424.565 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783424.566 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783424.566 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783424.566 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783424.566 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.566 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.566 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.567 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783424.567 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783424.567 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.567 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.567 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.567 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783424.567 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.568 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783424.568 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783424.568 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.568 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.568 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783424.568 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1 1 2)
1544783424.568 * [misc]backup-simplify:  Simplify (/ (* b (/ b a)) a) into (/ (pow b 2) (pow a 2))
1544783424.568 * [misc]approximate:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0
1544783424.568 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a
1544783424.568 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1544783424.568 * [misc]taylor:  Taking taylor expansion of b in a
1544783424.568 * [misc]backup-simplify:  Simplify b into b
1544783424.568 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1544783424.568 * [misc]taylor:  Taking taylor expansion of a in a
1544783424.569 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.569 * [misc]backup-simplify:  Simplify 1 into 1
1544783424.569 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1544783424.569 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544783424.569 * [misc]backup-simplify:  Simplify (/ (pow b 2) 1) into (pow b 2)
1544783424.569 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
1544783424.569 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1544783424.569 * [misc]taylor:  Taking taylor expansion of b in b
1544783424.569 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.569 * [misc]backup-simplify:  Simplify 1 into 1
1544783424.569 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1544783424.569 * [misc]taylor:  Taking taylor expansion of a in b
1544783424.569 * [misc]backup-simplify:  Simplify a into a
1544783424.569 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544783424.569 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1544783424.569 * [misc]backup-simplify:  Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1544783424.569 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
1544783424.569 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1544783424.569 * [misc]taylor:  Taking taylor expansion of b in b
1544783424.569 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.569 * [misc]backup-simplify:  Simplify 1 into 1
1544783424.569 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1544783424.569 * [misc]taylor:  Taking taylor expansion of a in b
1544783424.569 * [misc]backup-simplify:  Simplify a into a
1544783424.569 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544783424.569 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1544783424.569 * [misc]backup-simplify:  Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1544783424.569 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow a 2)) in a
1544783424.569 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1544783424.570 * [misc]taylor:  Taking taylor expansion of a in a
1544783424.570 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.570 * [misc]backup-simplify:  Simplify 1 into 1
1544783424.570 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544783424.570 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544783424.570 * [misc]backup-simplify:  Simplify 1 into 1
1544783424.570 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544783424.570 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1544783424.570 * [misc]backup-simplify:  Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0
1544783424.570 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783424.570 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.570 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544783424.570 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544783424.570 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.571 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544783424.571 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1544783424.571 * [misc]backup-simplify:  Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0
1544783424.571 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783424.571 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.571 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544783424.571 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544783424.571 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.572 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544783424.572 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1544783424.572 * [misc]backup-simplify:  Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0
1544783424.572 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783424.572 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.572 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.572 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544783424.573 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544783424.573 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.573 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544783424.573 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0
1544783424.573 * [misc]backup-simplify:  Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0
1544783424.573 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783424.573 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.573 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.574 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.574 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2))
1544783424.574 * [misc]backup-simplify:  Simplify (/ (* (/ 1 b) (/ (/ 1 b) (/ 1 a))) (/ 1 a)) into (/ (pow a 2) (pow b 2))
1544783424.574 * [misc]approximate:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
1544783424.574 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
1544783424.574 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1544783424.574 * [misc]taylor:  Taking taylor expansion of a in a
1544783424.574 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.574 * [misc]backup-simplify:  Simplify 1 into 1
1544783424.574 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1544783424.574 * [misc]taylor:  Taking taylor expansion of b in a
1544783424.574 * [misc]backup-simplify:  Simplify b into b
1544783424.574 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544783424.574 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1544783424.574 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1544783424.574 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1544783424.574 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1544783424.574 * [misc]taylor:  Taking taylor expansion of a in b
1544783424.574 * [misc]backup-simplify:  Simplify a into a
1544783424.574 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1544783424.574 * [misc]taylor:  Taking taylor expansion of b in b
1544783424.574 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.574 * [misc]backup-simplify:  Simplify 1 into 1
1544783424.574 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1544783424.575 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544783424.575 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1544783424.575 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1544783424.575 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1544783424.575 * [misc]taylor:  Taking taylor expansion of a in b
1544783424.575 * [misc]backup-simplify:  Simplify a into a
1544783424.575 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1544783424.575 * [misc]taylor:  Taking taylor expansion of b in b
1544783424.575 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.575 * [misc]backup-simplify:  Simplify 1 into 1
1544783424.575 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1544783424.575 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544783424.575 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1544783424.575 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1544783424.575 * [misc]taylor:  Taking taylor expansion of a in a
1544783424.575 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.575 * [misc]backup-simplify:  Simplify 1 into 1
1544783424.575 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544783424.575 * [misc]backup-simplify:  Simplify 1 into 1
1544783424.575 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1544783424.575 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544783424.576 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
1544783424.576 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783424.576 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.576 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.576 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544783424.576 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.576 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1544783424.576 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544783424.576 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544783424.576 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783424.577 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.577 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.577 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.577 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544783424.577 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.577 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1544783424.577 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544783424.578 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544783424.578 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783424.578 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.578 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.578 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2))
1544783424.578 * [misc]backup-simplify:  Simplify (/ (* (/ 1 (- b)) (/ (/ 1 (- b)) (/ 1 (- a)))) (/ 1 (- a))) into (/ (pow a 2) (pow b 2))
1544783424.578 * [misc]approximate:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
1544783424.578 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
1544783424.578 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1544783424.578 * [misc]taylor:  Taking taylor expansion of a in a
1544783424.578 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.578 * [misc]backup-simplify:  Simplify 1 into 1
1544783424.578 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1544783424.578 * [misc]taylor:  Taking taylor expansion of b in a
1544783424.578 * [misc]backup-simplify:  Simplify b into b
1544783424.578 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544783424.578 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1544783424.578 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1544783424.578 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1544783424.578 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1544783424.578 * [misc]taylor:  Taking taylor expansion of a in b
1544783424.578 * [misc]backup-simplify:  Simplify a into a
1544783424.578 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1544783424.578 * [misc]taylor:  Taking taylor expansion of b in b
1544783424.579 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.579 * [misc]backup-simplify:  Simplify 1 into 1
1544783424.579 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1544783424.579 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544783424.579 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1544783424.579 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1544783424.579 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1544783424.579 * [misc]taylor:  Taking taylor expansion of a in b
1544783424.579 * [misc]backup-simplify:  Simplify a into a
1544783424.579 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1544783424.579 * [misc]taylor:  Taking taylor expansion of b in b
1544783424.579 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.579 * [misc]backup-simplify:  Simplify 1 into 1
1544783424.579 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1544783424.579 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544783424.579 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1544783424.579 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1544783424.579 * [misc]taylor:  Taking taylor expansion of a in a
1544783424.579 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.579 * [misc]backup-simplify:  Simplify 1 into 1
1544783424.579 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544783424.579 * [misc]backup-simplify:  Simplify 1 into 1
1544783424.579 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1544783424.580 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544783424.580 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
1544783424.580 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783424.580 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.580 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.580 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544783424.580 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.580 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1544783424.580 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544783424.581 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544783424.581 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783424.581 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.581 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.581 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.581 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544783424.581 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.581 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1544783424.581 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544783424.582 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544783424.582 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783424.582 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.582 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.582 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2))
1544783424.582 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 1 1 2 1)
1544783424.582 * [misc]backup-simplify:  Simplify (* b (/ b a)) into (/ (pow b 2) a)
1544783424.582 * [misc]approximate:  Taking taylor expansion of (/ (pow b 2) a) in (b a) around 0
1544783424.582 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) a) in a
1544783424.582 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1544783424.582 * [misc]taylor:  Taking taylor expansion of b in a
1544783424.582 * [misc]backup-simplify:  Simplify b into b
1544783424.582 * [misc]taylor:  Taking taylor expansion of a in a
1544783424.582 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.582 * [misc]backup-simplify:  Simplify 1 into 1
1544783424.582 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1544783424.583 * [misc]backup-simplify:  Simplify (/ (pow b 2) 1) into (pow b 2)
1544783424.583 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) a) in b
1544783424.583 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1544783424.583 * [misc]taylor:  Taking taylor expansion of b in b
1544783424.583 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.583 * [misc]backup-simplify:  Simplify 1 into 1
1544783424.583 * [misc]taylor:  Taking taylor expansion of a in b
1544783424.583 * [misc]backup-simplify:  Simplify a into a
1544783424.583 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544783424.583 * [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
1544783424.583 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) a) in b
1544783424.583 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1544783424.583 * [misc]taylor:  Taking taylor expansion of b in b
1544783424.583 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.583 * [misc]backup-simplify:  Simplify 1 into 1
1544783424.583 * [misc]taylor:  Taking taylor expansion of a in b
1544783424.583 * [misc]backup-simplify:  Simplify a into a
1544783424.583 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544783424.583 * [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
1544783424.583 * [misc]taylor:  Taking taylor expansion of (/ 1 a) in a
1544783424.583 * [misc]taylor:  Taking taylor expansion of a in a
1544783424.583 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.583 * [misc]backup-simplify:  Simplify 1 into 1
1544783424.583 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544783424.583 * [misc]backup-simplify:  Simplify 1 into 1
1544783424.583 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544783424.584 * [misc]backup-simplify:  Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)))) into 0
1544783424.584 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783424.584 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.584 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544783424.584 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.584 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544783424.584 * [misc]backup-simplify:  Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
1544783424.584 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783424.584 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.584 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.584 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544783424.584 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.584 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544783424.585 * [misc]backup-simplify:  Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0
1544783424.585 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783424.585 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.585 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.585 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.585 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544783424.585 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.585 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 a) (pow b 2))) into (/ (pow b 2) a)
1544783424.585 * [misc]backup-simplify:  Simplify (* (/ 1 b) (/ (/ 1 b) (/ 1 a))) into (/ a (pow b 2))
1544783424.585 * [misc]approximate:  Taking taylor expansion of (/ a (pow b 2)) in (b a) around 0
1544783424.585 * [misc]taylor:  Taking taylor expansion of (/ a (pow b 2)) in a
1544783424.585 * [misc]taylor:  Taking taylor expansion of a in a
1544783424.585 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.585 * [misc]backup-simplify:  Simplify 1 into 1
1544783424.585 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1544783424.585 * [misc]taylor:  Taking taylor expansion of b in a
1544783424.585 * [misc]backup-simplify:  Simplify b into b
1544783424.585 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1544783424.585 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1544783424.585 * [misc]taylor:  Taking taylor expansion of (/ a (pow b 2)) in b
1544783424.585 * [misc]taylor:  Taking taylor expansion of a in b
1544783424.585 * [misc]backup-simplify:  Simplify a into a
1544783424.585 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1544783424.585 * [misc]taylor:  Taking taylor expansion of b in b
1544783424.585 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.585 * [misc]backup-simplify:  Simplify 1 into 1
1544783424.586 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544783424.586 * [misc]backup-simplify:  Simplify (/ a 1) into a
1544783424.586 * [misc]taylor:  Taking taylor expansion of (/ a (pow b 2)) in b
1544783424.586 * [misc]taylor:  Taking taylor expansion of a in b
1544783424.586 * [misc]backup-simplify:  Simplify a into a
1544783424.586 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1544783424.586 * [misc]taylor:  Taking taylor expansion of b in b
1544783424.586 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.586 * [misc]backup-simplify:  Simplify 1 into 1
1544783424.586 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544783424.586 * [misc]backup-simplify:  Simplify (/ a 1) into a
1544783424.586 * [misc]taylor:  Taking taylor expansion of a in a
1544783424.586 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.586 * [misc]backup-simplify:  Simplify 1 into 1
1544783424.586 * [misc]backup-simplify:  Simplify 1 into 1
1544783424.586 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544783424.586 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* a (/ 0 1)))) into 0
1544783424.586 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783424.586 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.586 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.586 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.587 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544783424.587 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544783424.587 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783424.587 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.587 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.587 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.587 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.587 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544783424.588 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544783424.588 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783424.588 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.588 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.588 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 a) (pow (/ 1 b) -2))) into (/ (pow b 2) a)
1544783424.588 * [misc]backup-simplify:  Simplify (* (/ 1 (- b)) (/ (/ 1 (- b)) (/ 1 (- a)))) into (* -1 (/ a (pow b 2)))
1544783424.588 * [misc]approximate:  Taking taylor expansion of (* -1 (/ a (pow b 2))) in (b a) around 0
1544783424.588 * [misc]taylor:  Taking taylor expansion of (* -1 (/ a (pow b 2))) in a
1544783424.588 * [misc]taylor:  Taking taylor expansion of -1 in a
1544783424.588 * [misc]backup-simplify:  Simplify -1 into -1
1544783424.588 * [misc]taylor:  Taking taylor expansion of (/ a (pow b 2)) in a
1544783424.588 * [misc]taylor:  Taking taylor expansion of a in a
1544783424.588 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.588 * [misc]backup-simplify:  Simplify 1 into 1
1544783424.588 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1544783424.588 * [misc]taylor:  Taking taylor expansion of b in a
1544783424.588 * [misc]backup-simplify:  Simplify b into b
1544783424.588 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1544783424.588 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1544783424.588 * [misc]taylor:  Taking taylor expansion of (* -1 (/ a (pow b 2))) in b
1544783424.588 * [misc]taylor:  Taking taylor expansion of -1 in b
1544783424.588 * [misc]backup-simplify:  Simplify -1 into -1
1544783424.588 * [misc]taylor:  Taking taylor expansion of (/ a (pow b 2)) in b
1544783424.588 * [misc]taylor:  Taking taylor expansion of a in b
1544783424.588 * [misc]backup-simplify:  Simplify a into a
1544783424.588 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1544783424.588 * [misc]taylor:  Taking taylor expansion of b in b
1544783424.588 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.589 * [misc]backup-simplify:  Simplify 1 into 1
1544783424.589 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544783424.589 * [misc]backup-simplify:  Simplify (/ a 1) into a
1544783424.589 * [misc]taylor:  Taking taylor expansion of (* -1 (/ a (pow b 2))) in b
1544783424.589 * [misc]taylor:  Taking taylor expansion of -1 in b
1544783424.589 * [misc]backup-simplify:  Simplify -1 into -1
1544783424.589 * [misc]taylor:  Taking taylor expansion of (/ a (pow b 2)) in b
1544783424.589 * [misc]taylor:  Taking taylor expansion of a in b
1544783424.589 * [misc]backup-simplify:  Simplify a into a
1544783424.589 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1544783424.589 * [misc]taylor:  Taking taylor expansion of b in b
1544783424.589 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.589 * [misc]backup-simplify:  Simplify 1 into 1
1544783424.589 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544783424.589 * [misc]backup-simplify:  Simplify (/ a 1) into a
1544783424.589 * [misc]backup-simplify:  Simplify (* -1 a) into (* -1 a)
1544783424.589 * [misc]taylor:  Taking taylor expansion of (* -1 a) in a
1544783424.589 * [misc]taylor:  Taking taylor expansion of -1 in a
1544783424.589 * [misc]backup-simplify:  Simplify -1 into -1
1544783424.589 * [misc]taylor:  Taking taylor expansion of a in a
1544783424.589 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.589 * [misc]backup-simplify:  Simplify 1 into 1
1544783424.589 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 0)) into -1
1544783424.589 * [misc]backup-simplify:  Simplify -1 into -1
1544783424.589 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544783424.590 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* a (/ 0 1)))) into 0
1544783424.590 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 a)) into 0
1544783424.590 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783424.590 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.590 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.590 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
1544783424.590 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.590 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544783424.591 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544783424.591 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 a))) into 0
1544783424.591 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783424.591 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.591 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.591 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.591 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1544783424.591 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.591 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544783424.592 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544783424.592 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1544783424.592 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783424.592 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.592 * [misc]backup-simplify:  Simplify 0 into 0
1544783424.592 * [misc]backup-simplify:  Simplify (* -1 (* (/ 1 (- a)) (pow (/ 1 (- b)) -2))) into (/ (pow b 2) a)
1544783424.592 * * * [misc]progress:  simplifying candidates
1544783424.592 * * * * [misc]progress:  [ 1 / 52 ] simplifiying candidate #<alt (λ (a b) (log1p (expm1 (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783424.592 * * * * [misc]progress:  [ 2 / 52 ] simplifiying candidate #<alt (λ (a b) (expm1 (log1p (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783424.593 * * * * [misc]progress:  [ 3 / 52 ] simplifiying candidate #<alt (λ (a b) (pow (fabs (- 1 (/ (* b (/ b a)) a))) 1/2))>
1544783424.593 * * * * [misc]progress:  [ 4 / 52 ] simplifiying candidate #<alt (λ (a b) (pow (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) 1))>
1544783424.593 * * * * [misc]progress:  [ 5 / 52 ] simplifiying candidate #<alt (λ (a b) (exp (log (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783424.593 * * * * [misc]progress:  [ 6 / 52 ] simplifiying candidate #<alt (λ (a b) (log (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783424.593 * * * * [misc]progress:  [ 7 / 52 ] simplifiying candidate #<alt (λ (a b) (* (* (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783424.593 * * * * [misc]progress:  [ 8 / 52 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783424.593 * * * * [misc]progress:  [ 9 / 52 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (* (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))) (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (sqrt (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783424.593 * [enter]simplify:  Simplifying (sqrt (* (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))) (cbrt (fabs (- 1 (/ (* b (/ b a)) a))))))
1544783424.594 * * [misc]simplify:  iters left: 6 (11 enodes)
1544783424.597 * * [misc]simplify:  iters left: 5 (21 enodes)
1544783424.601 * * [misc]simplify:  iters left: 4 (32 enodes)
1544783424.614 * * [misc]simplify:  iters left: 3 (47 enodes)
1544783424.631 * * [misc]simplify:  iters left: 2 (56 enodes)
1544783424.647 * * [misc]simplify:  iters left: 1 (63 enodes)
1544783424.674 * [exit]simplify:  Simplified to (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))
1544783424.676 * [misc]simplify:  Simplified (2 1) to (λ (a b) (* (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
1544783424.676 * * * * [misc]progress:  [ 10 / 52 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783424.676 * [enter]simplify:  Simplifying (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
1544783424.677 * * [misc]simplify:  iters left: 6 (10 enodes)
1544783424.682 * * [misc]simplify:  iters left: 5 (19 enodes)
1544783424.692 * * [misc]simplify:  iters left: 4 (30 enodes)
1544783424.704 * * [misc]simplify:  iters left: 3 (45 enodes)
1544783424.719 * * [misc]simplify:  iters left: 2 (54 enodes)
1544783424.734 * * [misc]simplify:  iters left: 1 (61 enodes)
1544783424.758 * [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1544783424.758 * [misc]simplify:  Simplified (2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
1544783424.759 * * * * [misc]progress:  [ 11 / 52 ] simplifiying candidate #<alt (λ (a b) (* (sqrt 1) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))>
1544783424.759 * [enter]simplify:  Simplifying (sqrt 1)
1544783424.759 * * [misc]simplify:  iters left: 1 (2 enodes)
1544783424.761 * [exit]simplify:  Simplified to 1
1544783424.761 * [misc]simplify:  Simplified (2 1) to (λ (a b) (* 1 (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))
1544783424.761 * * * * [misc]progress:  [ 12 / 52 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783424.761 * * * * [misc]progress:  [ 13 / 52 ] simplifiying candidate #<alt (λ (a b) (fabs (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))>
1544783424.761 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))
1544783424.762 * * [misc]simplify:  iters left: 6 (9 enodes)
1544783424.766 * * [misc]simplify:  iters left: 5 (18 enodes)
1544783424.774 * * [misc]simplify:  iters left: 4 (29 enodes)
1544783424.786 * * [misc]simplify:  iters left: 3 (44 enodes)
1544783424.802 * * [misc]simplify:  iters left: 2 (53 enodes)
1544783424.816 * * [misc]simplify:  iters left: 1 (60 enodes)
1544783424.842 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1544783424.842 * [misc]simplify:  Simplified (2 1) to (λ (a b) (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))
1544783424.842 * * * * [misc]progress:  [ 14 / 52 ] simplifiying candidate #<alt (λ (a b) (* 1 (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))>
1544783424.842 * * * * [misc]progress:  [ 15 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log1p (expm1 (/ (* b (/ b a)) a)))))))>
1544783424.842 * * * * [misc]progress:  [ 16 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (expm1 (log1p (/ (* b (/ b a)) a)))))))>
1544783424.842 * * * * [misc]progress:  [ 17 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (pow (/ (* b (/ b a)) a) 1)))))>
1544783424.842 * * * * [misc]progress:  [ 18 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (exp (log (/ (* b (/ b a)) a)))))))>
1544783424.842 * * * * [misc]progress:  [ 19 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (/ (* b (/ b a)) a)))))))>
1544783424.843 * * * * [misc]progress:  [ 20 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (cbrt (/ (* b (/ b a)) a)) (cbrt (/ (* b (/ b a)) a))) (cbrt (/ (* b (/ b a)) a)))))))>
1544783424.843 * * * * [misc]progress:  [ 21 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (cbrt (* (* (/ (* b (/ b a)) a) (/ (* b (/ b a)) a)) (/ (* b (/ b a)) a)))))))>
1544783424.843 * * * * [misc]progress:  [ 22 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (sqrt (/ (* b (/ b a)) a)) (sqrt (/ (* b (/ b a)) a)))))))>
1544783424.843 * * * * [misc]progress:  [ 23 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (- (* b (/ b a))) (- a))))))>
1544783424.843 * * * * [misc]progress:  [ 24 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* 1 (/ (* b (/ b a)) a))))))>
1544783424.843 * * * * [misc]progress:  [ 25 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* b (/ b a)) (/ 1 a))))))>
1544783424.843 * * * * [misc]progress:  [ 26 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ 1 (/ a (* b (/ b a))))))))>
1544783424.843 * * * * [misc]progress:  [ 27 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ b (/ a (/ b a)))))))>
1544783424.843 * * * * [misc]progress:  [ 28 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a))))))>
1544783424.843 * [enter]simplify:  Simplifying (* b b)
1544783424.843 * * [misc]simplify:  iters left: 2 (2 enodes)
1544783424.844 * [exit]simplify:  Simplified to (* b b)
1544783424.844 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
1544783424.844 * * * * [misc]progress:  [ 29 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (log1p (expm1 (* b (/ b a)))) a)))))>
1544783424.844 * * * * [misc]progress:  [ 30 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (expm1 (log1p (* b (/ b a)))) a)))))>
1544783424.845 * * * * [misc]progress:  [ 31 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow (* b (/ b a)) 1) a)))))>
1544783424.845 * * * * [misc]progress:  [ 32 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (exp (log (* b (/ b a)))) a)))))>
1544783424.845 * * * * [misc]progress:  [ 33 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (log (exp (* b (/ b a)))) a)))))>
1544783424.845 * * * * [misc]progress:  [ 34 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* (* (cbrt (* b (/ b a))) (cbrt (* b (/ b a)))) (cbrt (* b (/ b a)))) a)))))>
1544783424.845 * * * * [misc]progress:  [ 35 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (cbrt (* (* (* b (/ b a)) (* b (/ b a))) (* b (/ b a)))) a)))))>
1544783424.845 * * * * [misc]progress:  [ 36 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* (sqrt (* b (/ b a))) (sqrt (* b (/ b a)))) a)))))>
1544783424.845 * * * * [misc]progress:  [ 37 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* 1 (* b (/ b a))) a)))))>
1544783424.845 * * * * [misc]progress:  [ 38 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* (* b (* (cbrt (/ b a)) (cbrt (/ b a)))) (cbrt (/ b a))) a)))))>
1544783424.845 * [enter]simplify:  Simplifying (cbrt (/ b a))
1544783424.846 * * [misc]simplify:  iters left: 3 (4 enodes)
1544783424.847 * [exit]simplify:  Simplified to (cbrt (/ b a))
1544783424.847 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (a b) (sqrt (fabs (- 1 (/ (* (* b (* (cbrt (/ b a)) (cbrt (/ b a)))) (cbrt (/ b a))) a)))))
1544783424.847 * * * * [misc]progress:  [ 39 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* (* b (sqrt (/ b a))) (sqrt (/ b a))) a)))))>
1544783424.847 * [enter]simplify:  Simplifying (sqrt (/ b a))
1544783424.847 * * [misc]simplify:  iters left: 3 (4 enodes)
1544783424.849 * [exit]simplify:  Simplified to (sqrt (/ b a))
1544783424.849 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (a b) (sqrt (fabs (- 1 (/ (* (* b (sqrt (/ b a))) (sqrt (/ b a))) a)))))
1544783424.849 * * * * [misc]progress:  [ 40 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* (* b 1) (/ b a)) a)))))>
1544783424.849 * [enter]simplify:  Simplifying (/ b a)
1544783424.849 * * [misc]simplify:  iters left: 2 (3 enodes)
1544783424.850 * [exit]simplify:  Simplified to (/ b a)
1544783424.850 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (a b) (sqrt (fabs (- 1 (/ (* (* b 1) (/ b a)) a)))))
1544783424.850 * * * * [misc]progress:  [ 41 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* (* b b) (/ 1 a)) a)))))>
1544783424.851 * [enter]simplify:  Simplifying (/ 1 a)
1544783424.851 * * [misc]simplify:  iters left: 2 (3 enodes)
1544783424.852 * * [misc]simplify:  iters left: 1 (5 enodes)
1544783424.853 * [exit]simplify:  Simplified to (/ 1 a)
1544783424.853 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (a b) (sqrt (fabs (- 1 (/ (* (* b b) (/ 1 a)) a)))))
1544783424.853 * * * * [misc]progress:  [ 42 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (/ (* b b) a) a)))))>
1544783424.853 * * * * [misc]progress:  [ 43 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* (/ b a) b) a)))))>
1544783424.853 * * * * [misc]progress:  [ 44 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1544783424.854 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783424.854 * * [misc]simplify:  iters left: 6 (10 enodes)
1544783424.858 * * [misc]simplify:  iters left: 5 (16 enodes)
1544783424.864 * * [misc]simplify:  iters left: 4 (25 enodes)
1544783424.875 * * [misc]simplify:  iters left: 3 (42 enodes)
1544783424.892 * * [misc]simplify:  iters left: 2 (68 enodes)
1544783424.913 * * [misc]simplify:  iters left: 1 (77 enodes)
1544783424.938 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1544783424.938 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1544783424.938 * * * * [misc]progress:  [ 45 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1544783424.938 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783424.939 * * [misc]simplify:  iters left: 6 (10 enodes)
1544783424.943 * * [misc]simplify:  iters left: 5 (16 enodes)
1544783424.948 * * [misc]simplify:  iters left: 4 (25 enodes)
1544783424.955 * * [misc]simplify:  iters left: 3 (42 enodes)
1544783424.964 * * [misc]simplify:  iters left: 2 (68 enodes)
1544783424.977 * * [misc]simplify:  iters left: 1 (77 enodes)
1544783425.003 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1544783425.003 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1544783425.003 * * * * [misc]progress:  [ 46 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1544783425.003 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783425.004 * * [misc]simplify:  iters left: 6 (10 enodes)
1544783425.008 * * [misc]simplify:  iters left: 5 (16 enodes)
1544783425.015 * * [misc]simplify:  iters left: 4 (25 enodes)
1544783425.025 * * [misc]simplify:  iters left: 3 (42 enodes)
1544783425.043 * * [misc]simplify:  iters left: 2 (68 enodes)
1544783425.063 * * [misc]simplify:  iters left: 1 (77 enodes)
1544783425.091 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1544783425.091 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1544783425.091 * * * * [misc]progress:  [ 47 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1544783425.091 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1544783425.092 * * [misc]simplify:  iters left: 3 (6 enodes)
1544783425.094 * * [misc]simplify:  iters left: 2 (8 enodes)
1544783425.097 * * [misc]simplify:  iters left: 1 (14 enodes)
1544783425.104 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1544783425.104 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1544783425.104 * * * * [misc]progress:  [ 48 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1544783425.104 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1544783425.105 * * [misc]simplify:  iters left: 3 (6 enodes)
1544783425.107 * * [misc]simplify:  iters left: 2 (8 enodes)
1544783425.111 * * [misc]simplify:  iters left: 1 (14 enodes)
1544783425.117 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1544783425.118 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1544783425.118 * * * * [misc]progress:  [ 49 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1544783425.118 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1544783425.118 * * [misc]simplify:  iters left: 3 (6 enodes)
1544783425.120 * * [misc]simplify:  iters left: 2 (8 enodes)
1544783425.124 * * [misc]simplify:  iters left: 1 (14 enodes)
1544783425.131 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1544783425.131 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1544783425.131 * * * * [misc]progress:  [ 50 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (/ (pow b 2) a) a)))))>
1544783425.131 * [enter]simplify:  Simplifying (/ (pow b 2) a)
1544783425.131 * * [misc]simplify:  iters left: 3 (5 enodes)
1544783425.133 * * [misc]simplify:  iters left: 2 (6 enodes)
1544783425.135 * * [misc]simplify:  iters left: 1 (8 enodes)
1544783425.138 * [exit]simplify:  Simplified to (/ (* b b) a)
1544783425.138 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (/ (/ (* b b) a) a)))))
1544783425.138 * * * * [misc]progress:  [ 51 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (/ (pow b 2) a) a)))))>
1544783425.138 * [enter]simplify:  Simplifying (/ (pow b 2) a)
1544783425.139 * * [misc]simplify:  iters left: 3 (5 enodes)
1544783425.140 * * [misc]simplify:  iters left: 2 (6 enodes)
1544783425.143 * * [misc]simplify:  iters left: 1 (8 enodes)
1544783425.146 * [exit]simplify:  Simplified to (/ (* b b) a)
1544783425.146 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (/ (/ (* b b) a) a)))))
1544783425.146 * * * * [misc]progress:  [ 52 / 52 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (/ (pow b 2) a) a)))))>
1544783425.146 * [enter]simplify:  Simplifying (/ (pow b 2) a)
1544783425.146 * * [misc]simplify:  iters left: 3 (5 enodes)
1544783425.148 * * [misc]simplify:  iters left: 2 (6 enodes)
1544783425.150 * * [misc]simplify:  iters left: 1 (8 enodes)
1544783425.153 * [exit]simplify:  Simplified to (/ (* b b) a)
1544783425.153 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (/ (/ (* b b) a) a)))))
1544783425.153 * * * [misc]progress:  adding candidates to table
1544783426.086 * * [misc]progress:  iteration 3 / 4
1544783426.086 * * * [misc]progress:  picking best candidate
1544783426.098 * * * * [misc]pick:  Picked  #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783426.099 * * * [misc]progress:  localizing error
1544783426.123 * * * [misc]progress:  generating rewritten candidates
1544783426.123 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1544783426.238 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2)
1544783426.245 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2)
1544783426.252 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 1)
1544783426.260 * * * [misc]progress:  generating series expansions
1544783426.260 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1544783426.261 * [misc]backup-simplify:  Simplify (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783426.261 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
1544783426.261 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1544783426.262 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1544783426.262 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1544783426.262 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783426.262 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783426.262 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1544783426.262 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1544783426.262 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1544783426.263 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783426.263 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783426.263 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1544783426.263 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1544783426.263 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1544783426.263 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783426.264 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783426.264 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1544783426.264 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1544783426.264 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1544783426.264 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783426.265 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783426.265 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783426.265 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783426.265 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.265 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.265 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.266 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783426.266 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783426.266 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.266 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.266 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.267 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783426.267 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.268 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783426.268 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783426.268 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.268 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.268 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783426.270 * [misc]backup-simplify:  Simplify (cbrt (* (* (sqrt (fabs (- 1 (/ (* (/ 1 b) (/ (/ 1 b) (/ 1 a))) (/ 1 a))))) (sqrt (fabs (- 1 (/ (* (/ 1 b) (/ (/ 1 b) (/ 1 a))) (/ 1 a)))))) (sqrt (fabs (- 1 (/ (* (/ 1 b) (/ (/ 1 b) (/ 1 a))) (/ 1 a))))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.270 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1544783426.270 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1544783426.270 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1544783426.270 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783426.270 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.271 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.271 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1544783426.271 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1544783426.271 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783426.271 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.271 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.271 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1544783426.271 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1544783426.272 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783426.272 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.272 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.272 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1544783426.272 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1544783426.272 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783426.273 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.273 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.273 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.273 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783426.273 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.273 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.273 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.274 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.274 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783426.274 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.274 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.275 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.275 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.275 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.276 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.276 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783426.276 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.276 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.276 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 a) 2) (pow (/ 1 b) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783426.278 * [misc]backup-simplify:  Simplify (cbrt (* (* (sqrt (fabs (- 1 (/ (* (/ 1 (- b)) (/ (/ 1 (- b)) (/ 1 (- a)))) (/ 1 (- a)))))) (sqrt (fabs (- 1 (/ (* (/ 1 (- b)) (/ (/ 1 (- b)) (/ 1 (- a)))) (/ 1 (- a))))))) (sqrt (fabs (- 1 (/ (* (/ 1 (- b)) (/ (/ 1 (- b)) (/ 1 (- a)))) (/ 1 (- a)))))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.278 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1544783426.278 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1544783426.278 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1544783426.278 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783426.279 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.279 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.279 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1544783426.279 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1544783426.279 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783426.279 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.280 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.280 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1544783426.280 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1544783426.280 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783426.280 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.280 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.280 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1544783426.281 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1544783426.281 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783426.281 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.281 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.281 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.281 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783426.282 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.282 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.282 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.283 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.283 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783426.283 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.283 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.283 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.284 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.284 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.284 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.284 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783426.284 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.284 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.285 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783426.285 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2)
1544783426.286 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783426.286 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
1544783426.286 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1544783426.286 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1544783426.286 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1544783426.286 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783426.286 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783426.286 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1544783426.286 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1544783426.287 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1544783426.287 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783426.287 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783426.287 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1544783426.287 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1544783426.287 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1544783426.288 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783426.288 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783426.288 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1544783426.288 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1544783426.288 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1544783426.288 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783426.289 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783426.289 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783426.289 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783426.289 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.289 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.289 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.290 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783426.290 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783426.290 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.290 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.290 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.291 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783426.291 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.292 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783426.292 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783426.292 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.292 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.292 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783426.292 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (* (/ 1 b) (/ (/ 1 b) (/ 1 a))) (/ 1 a))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.292 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1544783426.292 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1544783426.293 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1544783426.293 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783426.293 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.293 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.293 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1544783426.293 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1544783426.294 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783426.294 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.294 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.294 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1544783426.294 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1544783426.294 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783426.295 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.295 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.295 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1544783426.295 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1544783426.295 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783426.296 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.296 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.296 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.296 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783426.296 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.296 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.296 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.297 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.297 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783426.297 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.297 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.297 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.298 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.298 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.299 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.299 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783426.299 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.299 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.299 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 a) 2) (pow (/ 1 b) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783426.300 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (* (/ 1 (- b)) (/ (/ 1 (- b)) (/ 1 (- a)))) (/ 1 (- a)))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.300 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1544783426.300 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1544783426.300 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1544783426.300 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783426.300 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.301 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.301 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1544783426.301 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1544783426.301 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783426.301 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.301 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.301 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1544783426.302 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1544783426.302 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783426.302 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.302 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.302 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1544783426.302 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1544783426.303 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783426.303 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.303 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.303 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.303 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783426.303 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.303 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.304 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.304 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.304 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783426.305 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.305 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.305 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.305 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.305 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.306 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.306 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783426.306 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.306 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.307 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783426.307 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2)
1544783426.307 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783426.307 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
1544783426.307 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1544783426.307 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1544783426.307 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1544783426.308 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783426.308 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783426.308 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1544783426.308 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1544783426.308 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1544783426.308 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783426.309 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783426.309 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1544783426.309 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1544783426.309 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1544783426.309 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783426.310 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783426.310 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1544783426.310 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1544783426.310 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1544783426.310 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783426.310 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783426.311 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783426.311 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783426.311 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.311 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.311 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.312 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783426.312 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783426.312 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.312 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.312 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.313 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783426.313 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.313 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783426.313 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783426.313 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.314 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.314 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783426.314 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (* (/ 1 b) (/ (/ 1 b) (/ 1 a))) (/ 1 a))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.314 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1544783426.314 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1544783426.314 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1544783426.314 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783426.315 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.315 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.315 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1544783426.315 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1544783426.315 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783426.315 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.316 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.316 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1544783426.316 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1544783426.316 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783426.316 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.316 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.316 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1544783426.317 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1544783426.317 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783426.317 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.317 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.318 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.318 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783426.318 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.318 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.318 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.319 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.319 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783426.319 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.319 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.319 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.320 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.320 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.320 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.320 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783426.320 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.320 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.320 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 a) 2) (pow (/ 1 b) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783426.321 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (* (/ 1 (- b)) (/ (/ 1 (- b)) (/ 1 (- a)))) (/ 1 (- a)))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.321 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1544783426.321 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1544783426.321 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1544783426.321 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783426.321 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.321 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.321 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1544783426.321 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1544783426.321 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783426.321 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.321 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.321 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1544783426.321 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1544783426.322 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783426.322 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.322 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.322 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1544783426.322 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1544783426.322 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783426.322 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.322 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.323 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.323 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783426.323 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.323 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.323 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.323 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.323 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783426.323 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.323 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.323 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.324 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.324 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.324 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.324 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783426.324 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.324 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.325 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783426.325 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 1)
1544783426.325 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783426.325 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
1544783426.325 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1544783426.325 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1544783426.325 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1544783426.325 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783426.325 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783426.325 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1544783426.325 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1544783426.326 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1544783426.326 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783426.326 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783426.326 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1544783426.326 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1544783426.326 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1544783426.326 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783426.326 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783426.326 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1544783426.326 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1544783426.326 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1544783426.327 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783426.327 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783426.327 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783426.327 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783426.327 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.327 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.327 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.328 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783426.328 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783426.328 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.328 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.328 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.328 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783426.328 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.329 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1544783426.329 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783426.329 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.329 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.329 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783426.329 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (* (/ 1 b) (/ (/ 1 b) (/ 1 a))) (/ 1 a))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.329 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1544783426.329 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1544783426.329 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1544783426.329 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783426.329 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.329 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.329 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1544783426.329 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1544783426.330 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783426.330 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.330 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.330 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1544783426.330 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1544783426.330 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783426.330 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.330 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.330 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1544783426.330 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1544783426.330 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783426.331 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.331 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.331 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.331 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783426.331 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.331 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.331 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.332 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.332 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783426.332 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.332 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.332 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.332 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.332 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.333 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.333 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783426.333 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.333 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.333 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 a) 2) (pow (/ 1 b) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783426.333 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (* (/ 1 (- b)) (/ (/ 1 (- b)) (/ 1 (- a)))) (/ 1 (- a)))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.333 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1544783426.333 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1544783426.333 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1544783426.334 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783426.334 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.334 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.334 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1544783426.334 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1544783426.334 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783426.334 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.334 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.334 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1544783426.334 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1544783426.335 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783426.335 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.335 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.335 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1544783426.335 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1544783426.335 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1544783426.335 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.335 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.335 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1544783426.335 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783426.335 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.335 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.336 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.336 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.336 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783426.336 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.336 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.336 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.337 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.337 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.337 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1544783426.337 * [misc]taylor:  Taking taylor expansion of 0 in a
1544783426.337 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.337 * [misc]backup-simplify:  Simplify 0 into 0
1544783426.338 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783426.338 * * * [misc]progress:  simplifying candidates
1544783426.338 * * * * [misc]progress:  [ 1 / 66 ] simplifiying candidate #<alt (λ (a b) (log1p (expm1 (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))))>
1544783426.338 * * * * [misc]progress:  [ 2 / 66 ] simplifiying candidate #<alt (λ (a b) (expm1 (log1p (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))))>
1544783426.338 * * * * [misc]progress:  [ 3 / 66 ] simplifiying candidate #<alt (λ (a b) (pow (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) 1/3))>
1544783426.338 * * * * [misc]progress:  [ 4 / 66 ] simplifiying candidate #<alt (λ (a b) (pow (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) 1))>
1544783426.338 * * * * [misc]progress:  [ 5 / 66 ] simplifiying candidate #<alt (λ (a b) (exp (log (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))))>
1544783426.338 * * * * [misc]progress:  [ 6 / 66 ] simplifiying candidate #<alt (λ (a b) (log (exp (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))))>
1544783426.338 * * * * [misc]progress:  [ 7 / 66 ] simplifiying candidate #<alt (λ (a b) (* (cbrt (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783426.338 * [enter]simplify:  Simplifying (cbrt (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))
1544783426.339 * * [misc]simplify:  iters left: 6 (11 enodes)
1544783426.341 * * [misc]simplify:  iters left: 5 (20 enodes)
1544783426.347 * * [misc]simplify:  iters left: 4 (32 enodes)
1544783426.353 * * [misc]simplify:  iters left: 3 (47 enodes)
1544783426.361 * * [misc]simplify:  iters left: 2 (56 enodes)
1544783426.368 * * [misc]simplify:  iters left: 1 (63 enodes)
1544783426.390 * [exit]simplify:  Simplified to (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))
1544783426.390 * [misc]simplify:  Simplified (2 1) to (λ (a b) (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
1544783426.391 * * * * [misc]progress:  [ 8 / 66 ] simplifiying candidate #<alt (λ (a b) (* (* (cbrt (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))) (cbrt (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))) (cbrt (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))))>
1544783426.391 * * * * [misc]progress:  [ 9 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))))>
1544783426.391 * * * * [misc]progress:  [ 10 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))>
1544783426.391 * [enter]simplify:  Simplifying (fabs (- 1 (/ (* b (/ b a)) a)))
1544783426.392 * * [misc]simplify:  iters left: 6 (8 enodes)
1544783426.396 * * [misc]simplify:  iters left: 5 (17 enodes)
1544783426.402 * * [misc]simplify:  iters left: 4 (28 enodes)
1544783426.413 * * [misc]simplify:  iters left: 3 (43 enodes)
1544783426.428 * * [misc]simplify:  iters left: 2 (52 enodes)
1544783426.442 * * [misc]simplify:  iters left: 1 (59 enodes)
1544783426.468 * [exit]simplify:  Simplified to (fabs (- 1 (* (/ b a) (/ b a))))
1544783426.468 * [misc]simplify:  Simplified (2 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1544783426.468 * * * * [misc]progress:  [ 11 / 66 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))) (sqrt (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))))>
1544783426.468 * * * * [misc]progress:  [ 12 / 66 ] simplifiying candidate #<alt (λ (a b) (* 1 (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))))>
1544783426.468 * * * * [misc]progress:  [ 13 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (log1p (expm1 (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))))>
1544783426.468 * * * * [misc]progress:  [ 14 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (expm1 (log1p (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))))>
1544783426.468 * * * * [misc]progress:  [ 15 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (pow (fabs (- 1 (/ (* b (/ b a)) a))) 1/2))))>
1544783426.468 * * * * [misc]progress:  [ 16 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (pow (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) 1))))>
1544783426.468 * * * * [misc]progress:  [ 17 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (exp (log (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))))>
1544783426.468 * * * * [misc]progress:  [ 18 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (log (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))))>
1544783426.469 * * * * [misc]progress:  [ 19 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (* (* (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))))>
1544783426.469 * * * * [misc]progress:  [ 20 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))))>
1544783426.469 * * * * [misc]progress:  [ 21 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (* (sqrt (* (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))) (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (sqrt (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))))))))>
1544783426.469 * [enter]simplify:  Simplifying (sqrt (* (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))) (cbrt (fabs (- 1 (/ (* b (/ b a)) a))))))
1544783426.471 * * [misc]simplify:  iters left: 6 (11 enodes)
1544783426.476 * * [misc]simplify:  iters left: 5 (21 enodes)
1544783426.484 * * [misc]simplify:  iters left: 4 (32 enodes)
1544783426.495 * * [misc]simplify:  iters left: 3 (47 enodes)
1544783426.512 * * [misc]simplify:  iters left: 2 (56 enodes)
1544783426.524 * * [misc]simplify:  iters left: 1 (63 enodes)
1544783426.537 * [exit]simplify:  Simplified to (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))
1544783426.537 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (* (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))))))))
1544783426.537 * * * * [misc]progress:  [ 22 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (* (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))))>
1544783426.537 * [enter]simplify:  Simplifying (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
1544783426.538 * * [misc]simplify:  iters left: 6 (10 enodes)
1544783426.540 * * [misc]simplify:  iters left: 5 (19 enodes)
1544783426.544 * * [misc]simplify:  iters left: 4 (30 enodes)
1544783426.550 * * [misc]simplify:  iters left: 3 (45 enodes)
1544783426.559 * * [misc]simplify:  iters left: 2 (54 enodes)
1544783426.566 * * [misc]simplify:  iters left: 1 (61 enodes)
1544783426.579 * [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1544783426.579 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))))
1544783426.579 * * * * [misc]progress:  [ 23 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (* (sqrt 1) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))))>
1544783426.579 * [enter]simplify:  Simplifying (sqrt 1)
1544783426.579 * * [misc]simplify:  iters left: 1 (2 enodes)
1544783426.580 * [exit]simplify:  Simplified to 1
1544783426.580 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (* 1 (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))))
1544783426.580 * * * * [misc]progress:  [ 24 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (* (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))))>
1544783426.580 * * * * [misc]progress:  [ 25 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (fabs (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))))>
1544783426.581 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))
1544783426.581 * * [misc]simplify:  iters left: 6 (9 enodes)
1544783426.583 * * [misc]simplify:  iters left: 5 (18 enodes)
1544783426.587 * * [misc]simplify:  iters left: 4 (29 enodes)
1544783426.592 * * [misc]simplify:  iters left: 3 (44 enodes)
1544783426.600 * * [misc]simplify:  iters left: 2 (53 enodes)
1544783426.607 * * [misc]simplify:  iters left: 1 (60 enodes)
1544783426.627 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1544783426.628 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))))
1544783426.628 * * * * [misc]progress:  [ 26 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (* 1 (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))))>
1544783426.628 * * * * [misc]progress:  [ 27 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (log1p (expm1 (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783426.628 * * * * [misc]progress:  [ 28 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (expm1 (log1p (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783426.628 * * * * [misc]progress:  [ 29 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (pow (fabs (- 1 (/ (* b (/ b a)) a))) 1/2)) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783426.628 * * * * [misc]progress:  [ 30 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (pow (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) 1)) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783426.628 * * * * [misc]progress:  [ 31 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (exp (log (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783426.628 * * * * [misc]progress:  [ 32 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (log (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783426.628 * * * * [misc]progress:  [ 33 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (* (* (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783426.628 * * * * [misc]progress:  [ 34 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783426.628 * * * * [misc]progress:  [ 35 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (* (sqrt (* (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))) (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (sqrt (cbrt (fabs (- 1 (/ (* b (/ b a)) a))))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783426.628 * [enter]simplify:  Simplifying (sqrt (* (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))) (cbrt (fabs (- 1 (/ (* b (/ b a)) a))))))
1544783426.630 * * [misc]simplify:  iters left: 6 (11 enodes)
1544783426.635 * * [misc]simplify:  iters left: 5 (21 enodes)
1544783426.639 * * [misc]simplify:  iters left: 4 (32 enodes)
1544783426.645 * * [misc]simplify:  iters left: 3 (47 enodes)
1544783426.654 * * [misc]simplify:  iters left: 2 (56 enodes)
1544783426.661 * * [misc]simplify:  iters left: 1 (63 enodes)
1544783426.678 * [exit]simplify:  Simplified to (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))
1544783426.678 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (* (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (cbrt (fabs (- 1 (/ (* b (/ b a)) a))))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
1544783426.678 * * * * [misc]progress:  [ 36 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (* (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783426.679 * [enter]simplify:  Simplifying (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
1544783426.680 * * [misc]simplify:  iters left: 6 (10 enodes)
1544783426.684 * * [misc]simplify:  iters left: 5 (19 enodes)
1544783426.692 * * [misc]simplify:  iters left: 4 (30 enodes)
1544783426.705 * * [misc]simplify:  iters left: 3 (45 enodes)
1544783426.721 * * [misc]simplify:  iters left: 2 (54 enodes)
1544783426.736 * * [misc]simplify:  iters left: 1 (61 enodes)
1544783426.762 * [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1544783426.762 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
1544783426.762 * * * * [misc]progress:  [ 37 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (* (sqrt 1) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783426.762 * [enter]simplify:  Simplifying (sqrt 1)
1544783426.762 * * [misc]simplify:  iters left: 1 (2 enodes)
1544783426.764 * [exit]simplify:  Simplified to 1
1544783426.764 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (* 1 (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
1544783426.764 * * * * [misc]progress:  [ 38 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (* (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783426.764 * * * * [misc]progress:  [ 39 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (fabs (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783426.764 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))
1544783426.764 * * [misc]simplify:  iters left: 6 (9 enodes)
1544783426.767 * * [misc]simplify:  iters left: 5 (18 enodes)
1544783426.770 * * [misc]simplify:  iters left: 4 (29 enodes)
1544783426.776 * * [misc]simplify:  iters left: 3 (44 enodes)
1544783426.784 * * [misc]simplify:  iters left: 2 (53 enodes)
1544783426.796 * * [misc]simplify:  iters left: 1 (60 enodes)
1544783426.820 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1544783426.820 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
1544783426.820 * * * * [misc]progress:  [ 40 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (* 1 (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783426.820 * * * * [misc]progress:  [ 41 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (log1p (expm1 (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783426.820 * * * * [misc]progress:  [ 42 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (expm1 (log1p (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783426.820 * * * * [misc]progress:  [ 43 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (pow (fabs (- 1 (/ (* b (/ b a)) a))) 1/2) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783426.820 * * * * [misc]progress:  [ 44 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (pow (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) 1) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783426.821 * * * * [misc]progress:  [ 45 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (exp (log (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783426.821 * * * * [misc]progress:  [ 46 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (log (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783426.821 * * * * [misc]progress:  [ 47 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (* (* (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783426.821 * * * * [misc]progress:  [ 48 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783426.821 * * * * [misc]progress:  [ 49 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (* (sqrt (* (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))) (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (sqrt (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783426.821 * [enter]simplify:  Simplifying (sqrt (* (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))) (cbrt (fabs (- 1 (/ (* b (/ b a)) a))))))
1544783426.822 * * [misc]simplify:  iters left: 6 (11 enodes)
1544783426.828 * * [misc]simplify:  iters left: 5 (21 enodes)
1544783426.836 * * [misc]simplify:  iters left: 4 (32 enodes)
1544783426.851 * * [misc]simplify:  iters left: 3 (47 enodes)
1544783426.868 * * [misc]simplify:  iters left: 2 (56 enodes)
1544783426.882 * * [misc]simplify:  iters left: 1 (63 enodes)
1544783426.896 * [exit]simplify:  Simplified to (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))
1544783426.896 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a b) (cbrt (* (* (* (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
1544783426.896 * * * * [misc]progress:  [ 50 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (* (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783426.897 * [enter]simplify:  Simplifying (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
1544783426.897 * * [misc]simplify:  iters left: 6 (10 enodes)
1544783426.900 * * [misc]simplify:  iters left: 5 (19 enodes)
1544783426.904 * * [misc]simplify:  iters left: 4 (30 enodes)
1544783426.910 * * [misc]simplify:  iters left: 3 (45 enodes)
1544783426.919 * * [misc]simplify:  iters left: 2 (54 enodes)
1544783426.926 * * [misc]simplify:  iters left: 1 (61 enodes)
1544783426.948 * [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1544783426.948 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a b) (cbrt (* (* (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
1544783426.948 * * * * [misc]progress:  [ 51 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (* (sqrt 1) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783426.948 * [enter]simplify:  Simplifying (sqrt 1)
1544783426.948 * * [misc]simplify:  iters left: 1 (2 enodes)
1544783426.949 * [exit]simplify:  Simplified to 1
1544783426.949 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a b) (cbrt (* (* (* 1 (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
1544783426.949 * * * * [misc]progress:  [ 52 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (* (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783426.949 * * * * [misc]progress:  [ 53 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (fabs (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783426.950 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))
1544783426.950 * * [misc]simplify:  iters left: 6 (9 enodes)
1544783426.952 * * [misc]simplify:  iters left: 5 (18 enodes)
1544783426.956 * * [misc]simplify:  iters left: 4 (29 enodes)
1544783426.962 * * [misc]simplify:  iters left: 3 (44 enodes)
1544783426.970 * * [misc]simplify:  iters left: 2 (53 enodes)
1544783426.978 * * [misc]simplify:  iters left: 1 (60 enodes)
1544783426.997 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1544783426.997 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a b) (cbrt (* (* (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
1544783426.998 * * * * [misc]progress:  [ 54 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (* 1 (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783426.998 * * * * [misc]progress:  [ 55 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1544783426.998 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783426.998 * * [misc]simplify:  iters left: 6 (10 enodes)
1544783427.000 * * [misc]simplify:  iters left: 5 (16 enodes)
1544783427.003 * * [misc]simplify:  iters left: 4 (25 enodes)
1544783427.013 * * [misc]simplify:  iters left: 3 (42 enodes)
1544783427.031 * * [misc]simplify:  iters left: 2 (68 enodes)
1544783427.044 * * [misc]simplify:  iters left: 1 (77 enodes)
1544783427.057 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1544783427.057 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1544783427.058 * * * * [misc]progress:  [ 56 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1544783427.058 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783427.059 * * [misc]simplify:  iters left: 6 (10 enodes)
1544783427.063 * * [misc]simplify:  iters left: 5 (16 enodes)
1544783427.069 * * [misc]simplify:  iters left: 4 (25 enodes)
1544783427.079 * * [misc]simplify:  iters left: 3 (42 enodes)
1544783427.097 * * [misc]simplify:  iters left: 2 (68 enodes)
1544783427.117 * * [misc]simplify:  iters left: 1 (77 enodes)
1544783427.141 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1544783427.141 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1544783427.141 * * * * [misc]progress:  [ 57 / 66 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1544783427.141 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783427.142 * * [misc]simplify:  iters left: 6 (10 enodes)
1544783427.146 * * [misc]simplify:  iters left: 5 (16 enodes)
1544783427.154 * * [misc]simplify:  iters left: 4 (25 enodes)
1544783427.160 * * [misc]simplify:  iters left: 3 (42 enodes)
1544783427.170 * * [misc]simplify:  iters left: 2 (68 enodes)
1544783427.181 * * [misc]simplify:  iters left: 1 (77 enodes)
1544783427.196 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1544783427.196 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1544783427.196 * * * * [misc]progress:  [ 58 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))))>
1544783427.197 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783427.198 * * [misc]simplify:  iters left: 6 (10 enodes)
1544783427.202 * * [misc]simplify:  iters left: 5 (16 enodes)
1544783427.209 * * [misc]simplify:  iters left: 4 (25 enodes)
1544783427.220 * * [misc]simplify:  iters left: 3 (42 enodes)
1544783427.239 * * [misc]simplify:  iters left: 2 (68 enodes)
1544783427.261 * * [misc]simplify:  iters left: 1 (77 enodes)
1544783427.273 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1544783427.273 * [misc]simplify:  Simplified (2 1 2) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1544783427.273 * * * * [misc]progress:  [ 59 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))))>
1544783427.273 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783427.274 * * [misc]simplify:  iters left: 6 (10 enodes)
1544783427.276 * * [misc]simplify:  iters left: 5 (16 enodes)
1544783427.279 * * [misc]simplify:  iters left: 4 (25 enodes)
1544783427.284 * * [misc]simplify:  iters left: 3 (42 enodes)
1544783427.299 * * [misc]simplify:  iters left: 2 (68 enodes)
1544783427.309 * * [misc]simplify:  iters left: 1 (77 enodes)
1544783427.321 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1544783427.321 * [misc]simplify:  Simplified (2 1 2) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1544783427.322 * * * * [misc]progress:  [ 60 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))))>
1544783427.322 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783427.322 * * [misc]simplify:  iters left: 6 (10 enodes)
1544783427.324 * * [misc]simplify:  iters left: 5 (16 enodes)
1544783427.327 * * [misc]simplify:  iters left: 4 (25 enodes)
1544783427.335 * * [misc]simplify:  iters left: 3 (42 enodes)
1544783427.352 * * [misc]simplify:  iters left: 2 (68 enodes)
1544783427.372 * * [misc]simplify:  iters left: 1 (77 enodes)
1544783427.396 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1544783427.396 * [misc]simplify:  Simplified (2 1 2) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1544783427.397 * * * * [misc]progress:  [ 61 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783427.397 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783427.398 * * [misc]simplify:  iters left: 6 (10 enodes)
1544783427.402 * * [misc]simplify:  iters left: 5 (16 enodes)
1544783427.408 * * [misc]simplify:  iters left: 4 (25 enodes)
1544783427.418 * * [misc]simplify:  iters left: 3 (42 enodes)
1544783427.435 * * [misc]simplify:  iters left: 2 (68 enodes)
1544783427.456 * * [misc]simplify:  iters left: 1 (77 enodes)
1544783427.473 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1544783427.473 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
1544783427.473 * * * * [misc]progress:  [ 62 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783427.473 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783427.473 * * [misc]simplify:  iters left: 6 (10 enodes)
1544783427.476 * * [misc]simplify:  iters left: 5 (16 enodes)
1544783427.478 * * [misc]simplify:  iters left: 4 (25 enodes)
1544783427.484 * * [misc]simplify:  iters left: 3 (42 enodes)
1544783427.493 * * [misc]simplify:  iters left: 2 (68 enodes)
1544783427.503 * * [misc]simplify:  iters left: 1 (77 enodes)
1544783427.516 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1544783427.516 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
1544783427.516 * * * * [misc]progress:  [ 63 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783427.516 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783427.517 * * [misc]simplify:  iters left: 6 (10 enodes)
1544783427.521 * * [misc]simplify:  iters left: 5 (16 enodes)
1544783427.527 * * [misc]simplify:  iters left: 4 (25 enodes)
1544783427.536 * * [misc]simplify:  iters left: 3 (42 enodes)
1544783427.553 * * [misc]simplify:  iters left: 2 (68 enodes)
1544783427.563 * * [misc]simplify:  iters left: 1 (77 enodes)
1544783427.576 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1544783427.576 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
1544783427.577 * * * * [misc]progress:  [ 64 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783427.577 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783427.577 * * [misc]simplify:  iters left: 6 (10 enodes)
1544783427.580 * * [misc]simplify:  iters left: 5 (16 enodes)
1544783427.586 * * [misc]simplify:  iters left: 4 (25 enodes)
1544783427.596 * * [misc]simplify:  iters left: 3 (42 enodes)
1544783427.612 * * [misc]simplify:  iters left: 2 (68 enodes)
1544783427.625 * * [misc]simplify:  iters left: 1 (77 enodes)
1544783427.642 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1544783427.642 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
1544783427.642 * * * * [misc]progress:  [ 65 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783427.642 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783427.643 * * [misc]simplify:  iters left: 6 (10 enodes)
1544783427.647 * * [misc]simplify:  iters left: 5 (16 enodes)
1544783427.653 * * [misc]simplify:  iters left: 4 (25 enodes)
1544783427.663 * * [misc]simplify:  iters left: 3 (42 enodes)
1544783427.680 * * [misc]simplify:  iters left: 2 (68 enodes)
1544783427.690 * * [misc]simplify:  iters left: 1 (77 enodes)
1544783427.703 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1544783427.703 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
1544783427.703 * * * * [misc]progress:  [ 66 / 66 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
1544783427.703 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1544783427.704 * * [misc]simplify:  iters left: 6 (10 enodes)
1544783427.706 * * [misc]simplify:  iters left: 5 (16 enodes)
1544783427.709 * * [misc]simplify:  iters left: 4 (25 enodes)
1544783427.715 * * [misc]simplify:  iters left: 3 (42 enodes)
1544783427.724 * * [misc]simplify:  iters left: 2 (68 enodes)
1544783427.736 * * [misc]simplify:  iters left: 1 (77 enodes)
1544783427.749 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1544783427.749 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
1544783427.749 * * * [misc]progress:  adding candidates to table
1544783429.356 * [misc]progress:  [Phase 3 of 3] Extracting.
1544783429.356 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))> #<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))>)
1544783429.357 * * * [misc]regime-changes:  Trying 2 branch expressions: (b a)
1544783429.357 * * * * [misc]regimes:  Trying to branch on b from (#<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))> #<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))>)
1544783429.409 * * * * [misc]regimes:  Trying to branch on a from (#<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))> #<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))>)
1544783429.461 * * * [misc]regime:  Found split indices: #<option (#s(si 1 256))>
1544783429.461 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1544783429.465 * * [misc]simplify:  iters left: 6 (8 enodes)
1544783429.466 * * [misc]simplify:  iters left: 5 (10 enodes)
1544783429.467 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1544783429.468 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1544783432.416 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544783432.418 * * * * [exit]points:  Sampled 8000 points with exact outputs