1547109941.803 * [misc]progress:  [Phase 1 of 3] Setting up.
1547109941.803 * * * [misc]progress:  [1/2] Preparing points
1547109941.804 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1547109941.834 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109941.834 * * * * [exit]points:  Sampled 256 points with exact outputs
1547109941.834 * * * [misc]progress:  [2/2] Setting up program.
1547109941.839 * [misc]progress:  [Phase 2 of 3] Improving.
1547109941.840 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))>
1547109941.840 * [enter]simplify:  Simplifying (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))
1547109941.840 * * [misc]simplify:  iters left: 6 (8 enodes)
1547109941.843 * * [misc]simplify:  iters left: 5 (18 enodes)
1547109941.850 * * [misc]simplify:  iters left: 4 (43 enodes)
1547109941.863 * * [misc]simplify:  iters left: 3 (83 enodes)
1547109941.893 * * [misc]simplify:  iters left: 2 (147 enodes)
1547109941.932 * * [misc]simplify:  iters left: 1 (288 enodes)
1547109942.008 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1547109942.008 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1547109942.015 * * [misc]progress:  iteration 1 / 4
1547109942.015 * * * [misc]progress:  picking best candidate
1547109942.017 * * * * [misc]pick:  Picked  #<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))>
1547109942.017 * * * [misc]progress:  localizing error
1547109942.030 * * * [misc]progress:  generating rewritten candidates
1547109942.030 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2)
1547109942.031 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1 1 2)
1547109942.034 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 1 1)
1547109942.036 * * * [misc]progress:  generating series expansions
1547109942.036 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2)
1547109942.036 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109942.036 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
1547109942.036 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1547109942.036 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1547109942.038 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1547109942.038 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109942.038 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1547109942.038 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1547109942.038 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1547109942.038 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1547109942.038 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109942.038 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1547109942.038 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1547109942.038 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1547109942.038 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1547109942.039 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109942.039 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1547109942.039 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1547109942.039 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1547109942.039 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1547109942.039 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109942.039 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1547109942.039 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109942.039 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109942.039 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.039 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.039 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.040 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1547109942.040 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109942.040 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.040 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.040 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.041 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1547109942.041 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.041 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1547109942.041 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109942.041 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.041 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.041 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109942.042 * [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)))))
1547109942.042 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1547109942.042 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1547109942.042 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1547109942.042 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109942.042 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109942.042 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109942.042 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1547109942.042 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1547109942.042 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109942.042 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109942.042 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109942.042 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1547109942.043 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1547109942.043 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109942.043 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109942.043 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109942.043 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1547109942.043 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1547109942.043 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109942.043 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109942.043 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109942.043 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109942.044 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109942.044 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.044 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.044 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.044 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109942.044 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109942.044 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.044 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.044 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.045 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109942.045 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.045 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109942.045 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109942.045 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.045 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.045 * [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)))))
1547109942.046 * [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)))))
1547109942.046 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1547109942.046 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1547109942.046 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1547109942.046 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109942.046 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109942.046 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109942.046 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1547109942.046 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1547109942.046 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109942.046 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109942.047 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109942.047 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1547109942.047 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1547109942.047 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109942.047 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109942.047 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109942.047 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1547109942.047 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1547109942.047 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109942.047 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109942.047 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109942.048 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109942.048 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109942.048 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.048 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.048 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.049 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109942.049 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109942.049 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.049 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.049 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.049 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109942.049 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.050 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109942.050 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109942.050 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.050 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.050 * [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)))))
1547109942.050 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1 1 2)
1547109942.050 * [misc]backup-simplify:  Simplify (* (/ b a) (/ b a)) into (/ (pow b 2) (pow a 2))
1547109942.050 * [misc]approximate:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0
1547109942.050 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a
1547109942.050 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1547109942.050 * [misc]taylor:  Taking taylor expansion of b in a
1547109942.050 * [misc]backup-simplify:  Simplify b into b
1547109942.050 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1547109942.050 * [misc]taylor:  Taking taylor expansion of a in a
1547109942.050 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.050 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.050 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1547109942.050 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1547109942.050 * [misc]backup-simplify:  Simplify (/ (pow b 2) 1) into (pow b 2)
1547109942.050 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
1547109942.050 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1547109942.050 * [misc]taylor:  Taking taylor expansion of b in b
1547109942.050 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.050 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.050 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1547109942.050 * [misc]taylor:  Taking taylor expansion of a in b
1547109942.050 * [misc]backup-simplify:  Simplify a into a
1547109942.051 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1547109942.051 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1547109942.051 * [misc]backup-simplify:  Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1547109942.051 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
1547109942.051 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1547109942.051 * [misc]taylor:  Taking taylor expansion of b in b
1547109942.051 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.051 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.051 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1547109942.051 * [misc]taylor:  Taking taylor expansion of a in b
1547109942.051 * [misc]backup-simplify:  Simplify a into a
1547109942.051 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1547109942.051 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1547109942.051 * [misc]backup-simplify:  Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1547109942.051 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow a 2)) in a
1547109942.051 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1547109942.051 * [misc]taylor:  Taking taylor expansion of a in a
1547109942.051 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.051 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.051 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1547109942.051 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1547109942.051 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.052 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1547109942.052 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1547109942.052 * [misc]backup-simplify:  Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0
1547109942.052 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109942.052 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.052 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1547109942.052 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1547109942.052 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.052 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1547109942.052 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1547109942.053 * [misc]backup-simplify:  Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0
1547109942.053 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109942.053 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.053 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1547109942.053 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1547109942.053 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.053 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1547109942.053 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1547109942.054 * [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
1547109942.054 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109942.054 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.054 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.054 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1547109942.054 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1547109942.054 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.054 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1547109942.055 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0
1547109942.055 * [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
1547109942.055 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109942.055 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.055 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.055 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.055 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2))
1547109942.055 * [misc]backup-simplify:  Simplify (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))) into (/ (pow a 2) (pow b 2))
1547109942.055 * [misc]approximate:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
1547109942.055 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
1547109942.055 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1547109942.055 * [misc]taylor:  Taking taylor expansion of a in a
1547109942.055 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.055 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.055 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1547109942.055 * [misc]taylor:  Taking taylor expansion of b in a
1547109942.055 * [misc]backup-simplify:  Simplify b into b
1547109942.056 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1547109942.056 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1547109942.056 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1547109942.056 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1547109942.056 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1547109942.056 * [misc]taylor:  Taking taylor expansion of a in b
1547109942.056 * [misc]backup-simplify:  Simplify a into a
1547109942.056 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1547109942.056 * [misc]taylor:  Taking taylor expansion of b in b
1547109942.056 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.056 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.056 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1547109942.056 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1547109942.056 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1547109942.056 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1547109942.056 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1547109942.056 * [misc]taylor:  Taking taylor expansion of a in b
1547109942.056 * [misc]backup-simplify:  Simplify a into a
1547109942.056 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1547109942.056 * [misc]taylor:  Taking taylor expansion of b in b
1547109942.056 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.056 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.056 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1547109942.056 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1547109942.056 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1547109942.056 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1547109942.056 * [misc]taylor:  Taking taylor expansion of a in a
1547109942.056 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.056 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.057 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1547109942.057 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.057 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1547109942.057 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1547109942.057 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
1547109942.057 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109942.057 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.057 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.057 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1547109942.057 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.057 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1547109942.058 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1547109942.058 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1547109942.058 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109942.058 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.058 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.058 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.058 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1547109942.058 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.058 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1547109942.059 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1547109942.059 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1547109942.059 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109942.059 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.059 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.059 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2))
1547109942.059 * [misc]backup-simplify:  Simplify (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))) into (/ (pow a 2) (pow b 2))
1547109942.059 * [misc]approximate:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
1547109942.059 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
1547109942.059 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1547109942.059 * [misc]taylor:  Taking taylor expansion of a in a
1547109942.059 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.059 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.059 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1547109942.059 * [misc]taylor:  Taking taylor expansion of b in a
1547109942.060 * [misc]backup-simplify:  Simplify b into b
1547109942.060 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1547109942.060 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1547109942.060 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1547109942.060 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1547109942.060 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1547109942.060 * [misc]taylor:  Taking taylor expansion of a in b
1547109942.060 * [misc]backup-simplify:  Simplify a into a
1547109942.060 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1547109942.060 * [misc]taylor:  Taking taylor expansion of b in b
1547109942.060 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.060 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.060 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1547109942.060 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1547109942.060 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1547109942.060 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1547109942.060 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1547109942.060 * [misc]taylor:  Taking taylor expansion of a in b
1547109942.060 * [misc]backup-simplify:  Simplify a into a
1547109942.060 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1547109942.060 * [misc]taylor:  Taking taylor expansion of b in b
1547109942.060 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.060 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.060 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1547109942.060 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1547109942.060 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1547109942.060 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1547109942.060 * [misc]taylor:  Taking taylor expansion of a in a
1547109942.060 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.060 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.061 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1547109942.061 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.061 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1547109942.061 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1547109942.061 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
1547109942.061 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109942.061 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.061 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.061 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1547109942.061 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.061 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1547109942.062 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1547109942.062 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1547109942.062 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109942.062 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.062 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.062 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.062 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1547109942.062 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.062 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1547109942.063 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1547109942.063 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1547109942.063 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109942.063 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.063 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.063 * [misc]backup-simplify:  Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2))
1547109942.063 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 1 1)
1547109942.063 * [misc]backup-simplify:  Simplify (- 1 (* (/ b a) (/ b a))) into (- 1 (/ (pow b 2) (pow a 2)))
1547109942.063 * [misc]approximate:  Taking taylor expansion of (- 1 (/ (pow b 2) (pow a 2))) in (b a) around 0
1547109942.063 * [misc]taylor:  Taking taylor expansion of (- 1 (/ (pow b 2) (pow a 2))) in a
1547109942.063 * [misc]taylor:  Taking taylor expansion of 1 in a
1547109942.064 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.064 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a
1547109942.064 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1547109942.064 * [misc]taylor:  Taking taylor expansion of b in a
1547109942.064 * [misc]backup-simplify:  Simplify b into b
1547109942.064 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1547109942.064 * [misc]taylor:  Taking taylor expansion of a in a
1547109942.064 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.064 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.064 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1547109942.064 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1547109942.064 * [misc]backup-simplify:  Simplify (/ (pow b 2) 1) into (pow b 2)
1547109942.064 * [misc]taylor:  Taking taylor expansion of (- 1 (/ (pow b 2) (pow a 2))) in b
1547109942.064 * [misc]taylor:  Taking taylor expansion of 1 in b
1547109942.064 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.064 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
1547109942.064 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1547109942.064 * [misc]taylor:  Taking taylor expansion of b in b
1547109942.064 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.064 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.064 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1547109942.064 * [misc]taylor:  Taking taylor expansion of a in b
1547109942.064 * [misc]backup-simplify:  Simplify a into a
1547109942.064 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1547109942.064 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1547109942.064 * [misc]backup-simplify:  Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1547109942.064 * [misc]taylor:  Taking taylor expansion of (- 1 (/ (pow b 2) (pow a 2))) in b
1547109942.064 * [misc]taylor:  Taking taylor expansion of 1 in b
1547109942.064 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.064 * [misc]taylor:  Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
1547109942.064 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1547109942.064 * [misc]taylor:  Taking taylor expansion of b in b
1547109942.064 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.064 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.064 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1547109942.064 * [misc]taylor:  Taking taylor expansion of a in b
1547109942.064 * [misc]backup-simplify:  Simplify a into a
1547109942.065 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1547109942.065 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1547109942.065 * [misc]backup-simplify:  Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1547109942.065 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1547109942.065 * [misc]taylor:  Taking taylor expansion of 1 in a
1547109942.065 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.065 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1547109942.065 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109942.065 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.065 * [misc]backup-simplify:  Simplify (- (/ 1 (pow a 2))) into (- (/ 1 (pow a 2)))
1547109942.065 * [misc]backup-simplify:  Simplify (+ 0 (- (/ 1 (pow a 2)))) into (- (/ 1 (pow a 2)))
1547109942.065 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow a 2))) in a
1547109942.065 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow a 2)) in a
1547109942.065 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1547109942.065 * [misc]taylor:  Taking taylor expansion of a in a
1547109942.065 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.065 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.066 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1547109942.066 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1547109942.066 * [misc]backup-simplify:  Simplify (- 1) into -1
1547109942.066 * [misc]backup-simplify:  Simplify -1 into -1
1547109942.066 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.066 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1547109942.066 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1547109942.066 * [misc]backup-simplify:  Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0
1547109942.066 * [misc]backup-simplify:  Simplify (- 0) into 0
1547109942.066 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1547109942.066 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109942.066 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.067 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1547109942.067 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1547109942.067 * [misc]backup-simplify:  Simplify (- 0) into 0
1547109942.067 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.067 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.067 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.067 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1547109942.067 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1547109942.067 * [misc]backup-simplify:  Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0
1547109942.067 * [misc]backup-simplify:  Simplify (- 0) into 0
1547109942.068 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1547109942.068 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109942.068 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.068 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1547109942.068 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1547109942.068 * [misc]backup-simplify:  Simplify (- 0) into 0
1547109942.068 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.068 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.068 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.068 * [misc]backup-simplify:  Simplify (+ 1 (* -1 (pow (* (/ 1 a) b) 2))) into (- 1 (/ (pow b 2) (pow a 2)))
1547109942.068 * [misc]backup-simplify:  Simplify (- 1 (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a)))) into (- 1 (/ (pow a 2) (pow b 2)))
1547109942.068 * [misc]approximate:  Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in (b a) around 0
1547109942.068 * [misc]taylor:  Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in a
1547109942.069 * [misc]taylor:  Taking taylor expansion of 1 in a
1547109942.069 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.069 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
1547109942.069 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1547109942.069 * [misc]taylor:  Taking taylor expansion of a in a
1547109942.069 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.069 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.069 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1547109942.069 * [misc]taylor:  Taking taylor expansion of b in a
1547109942.069 * [misc]backup-simplify:  Simplify b into b
1547109942.069 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1547109942.069 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1547109942.069 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1547109942.069 * [misc]taylor:  Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in b
1547109942.069 * [misc]taylor:  Taking taylor expansion of 1 in b
1547109942.069 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.069 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1547109942.069 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1547109942.069 * [misc]taylor:  Taking taylor expansion of a in b
1547109942.069 * [misc]backup-simplify:  Simplify a into a
1547109942.069 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1547109942.069 * [misc]taylor:  Taking taylor expansion of b in b
1547109942.069 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.069 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.069 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1547109942.069 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1547109942.069 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1547109942.069 * [misc]taylor:  Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in b
1547109942.069 * [misc]taylor:  Taking taylor expansion of 1 in b
1547109942.069 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.069 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1547109942.069 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1547109942.069 * [misc]taylor:  Taking taylor expansion of a in b
1547109942.069 * [misc]backup-simplify:  Simplify a into a
1547109942.069 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1547109942.069 * [misc]taylor:  Taking taylor expansion of b in b
1547109942.069 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.069 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.069 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1547109942.070 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1547109942.070 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1547109942.070 * [misc]backup-simplify:  Simplify (- (pow a 2)) into (- (pow a 2))
1547109942.070 * [misc]backup-simplify:  Simplify (+ 0 (- (pow a 2))) into (- (pow a 2))
1547109942.070 * [misc]taylor:  Taking taylor expansion of (- (pow a 2)) in a
1547109942.070 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1547109942.070 * [misc]taylor:  Taking taylor expansion of a in a
1547109942.070 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.070 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.070 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1547109942.070 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1547109942.070 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
1547109942.070 * [misc]backup-simplify:  Simplify (- 0) into 0
1547109942.071 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1547109942.071 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109942.071 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.071 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.071 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1547109942.071 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1547109942.071 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1547109942.071 * [misc]backup-simplify:  Simplify (- 0) into 0
1547109942.071 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1547109942.071 * [misc]taylor:  Taking taylor expansion of 1 in a
1547109942.071 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.071 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.072 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.072 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1547109942.072 * [misc]backup-simplify:  Simplify (- 1) into -1
1547109942.072 * [misc]backup-simplify:  Simplify -1 into -1
1547109942.072 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1547109942.072 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1547109942.073 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1547109942.073 * [misc]backup-simplify:  Simplify (- 0) into 0
1547109942.073 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1547109942.073 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109942.073 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.073 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.073 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.073 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.073 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1547109942.073 * [misc]backup-simplify:  Simplify (- 0) into 0
1547109942.073 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.073 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0
1547109942.074 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1547109942.074 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1547109942.074 * [misc]backup-simplify:  Simplify (- 0) into 0
1547109942.074 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1547109942.074 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109942.074 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.074 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.074 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.075 * [misc]backup-simplify:  Simplify (+ (* -1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) 1) into (- 1 (/ (pow b 2) (pow a 2)))
1547109942.075 * [misc]backup-simplify:  Simplify (- 1 (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a))))) into (- 1 (/ (pow a 2) (pow b 2)))
1547109942.075 * [misc]approximate:  Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in (b a) around 0
1547109942.075 * [misc]taylor:  Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in a
1547109942.075 * [misc]taylor:  Taking taylor expansion of 1 in a
1547109942.075 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.075 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
1547109942.075 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1547109942.075 * [misc]taylor:  Taking taylor expansion of a in a
1547109942.075 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.075 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.075 * [misc]taylor:  Taking taylor expansion of (pow b 2) in a
1547109942.075 * [misc]taylor:  Taking taylor expansion of b in a
1547109942.075 * [misc]backup-simplify:  Simplify b into b
1547109942.075 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1547109942.075 * [misc]backup-simplify:  Simplify (* b b) into (pow b 2)
1547109942.075 * [misc]backup-simplify:  Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1547109942.075 * [misc]taylor:  Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in b
1547109942.075 * [misc]taylor:  Taking taylor expansion of 1 in b
1547109942.075 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.075 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1547109942.075 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1547109942.075 * [misc]taylor:  Taking taylor expansion of a in b
1547109942.075 * [misc]backup-simplify:  Simplify a into a
1547109942.075 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1547109942.075 * [misc]taylor:  Taking taylor expansion of b in b
1547109942.075 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.075 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.075 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1547109942.076 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1547109942.076 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1547109942.076 * [misc]taylor:  Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in b
1547109942.076 * [misc]taylor:  Taking taylor expansion of 1 in b
1547109942.076 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.076 * [misc]taylor:  Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1547109942.076 * [misc]taylor:  Taking taylor expansion of (pow a 2) in b
1547109942.076 * [misc]taylor:  Taking taylor expansion of a in b
1547109942.076 * [misc]backup-simplify:  Simplify a into a
1547109942.076 * [misc]taylor:  Taking taylor expansion of (pow b 2) in b
1547109942.076 * [misc]taylor:  Taking taylor expansion of b in b
1547109942.076 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.076 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.076 * [misc]backup-simplify:  Simplify (* a a) into (pow a 2)
1547109942.076 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1547109942.081 * [misc]backup-simplify:  Simplify (/ (pow a 2) 1) into (pow a 2)
1547109942.082 * [misc]backup-simplify:  Simplify (- (pow a 2)) into (- (pow a 2))
1547109942.082 * [misc]backup-simplify:  Simplify (+ 0 (- (pow a 2))) into (- (pow a 2))
1547109942.082 * [misc]taylor:  Taking taylor expansion of (- (pow a 2)) in a
1547109942.082 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1547109942.082 * [misc]taylor:  Taking taylor expansion of a in a
1547109942.082 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.082 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.082 * [misc]backup-simplify:  Simplify (+ (* a 0) (* 0 a)) into 0
1547109942.082 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1547109942.083 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
1547109942.083 * [misc]backup-simplify:  Simplify (- 0) into 0
1547109942.083 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1547109942.083 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109942.083 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.083 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.083 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1547109942.083 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1547109942.084 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1547109942.084 * [misc]backup-simplify:  Simplify (- 0) into 0
1547109942.084 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1547109942.084 * [misc]taylor:  Taking taylor expansion of 1 in a
1547109942.084 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.084 * [misc]backup-simplify:  Simplify 1 into 1
1547109942.084 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.084 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1547109942.084 * [misc]backup-simplify:  Simplify (- 1) into -1
1547109942.084 * [misc]backup-simplify:  Simplify -1 into -1
1547109942.084 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1547109942.085 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1547109942.085 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1547109942.085 * [misc]backup-simplify:  Simplify (- 0) into 0
1547109942.085 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1547109942.085 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109942.085 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.085 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.085 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.086 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.086 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1547109942.086 * [misc]backup-simplify:  Simplify (- 0) into 0
1547109942.086 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.086 * [misc]backup-simplify:  Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0
1547109942.086 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1547109942.087 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1547109942.087 * [misc]backup-simplify:  Simplify (- 0) into 0
1547109942.087 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1547109942.087 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109942.087 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.087 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.087 * [misc]backup-simplify:  Simplify 0 into 0
1547109942.087 * [misc]backup-simplify:  Simplify (+ (* -1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) 1) into (- 1 (/ (pow b 2) (pow a 2)))
1547109942.088 * * * [misc]progress:  simplifying candidates
1547109942.088 * * * * [misc]progress:  [ 1 / 57 ] simplifiying candidate #<alt (λ (a b) (pow (fabs (- 1 (* (/ b a) (/ b a)))) 1/2))>
1547109942.088 * * * * [misc]progress:  [ 2 / 57 ] simplifiying candidate #<alt (λ (a b) (pow (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1))>
1547109942.088 * * * * [misc]progress:  [ 3 / 57 ] simplifiying candidate #<alt (λ (a b) (exp (log (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1547109942.088 * * * * [misc]progress:  [ 4 / 57 ] simplifiying candidate #<alt (λ (a b) (log (exp (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1547109942.088 * * * * [misc]progress:  [ 5 / 57 ] 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))))))))>
1547109942.088 * * * * [misc]progress:  [ 6 / 57 ] 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))))))))>
1547109942.088 * * * * [misc]progress:  [ 7 / 57 ] 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))))))))>
1547109942.088 * [enter]simplify:  Simplifying (sqrt (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))))
1547109942.088 * * [misc]simplify:  iters left: 6 (10 enodes)
1547109942.090 * * [misc]simplify:  iters left: 5 (19 enodes)
1547109942.093 * * [misc]simplify:  iters left: 4 (33 enodes)
1547109942.099 * * [misc]simplify:  iters left: 3 (49 enodes)
1547109942.112 * * [misc]simplify:  iters left: 2 (64 enodes)
1547109942.126 * * [misc]simplify:  iters left: 1 (72 enodes)
1547109942.136 * [exit]simplify:  Simplified to (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))
1547109942.136 * [misc]simplify:  Simplified (2 1) to (λ (a b) (* (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1547109942.136 * * * * [misc]progress:  [ 8 / 57 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1547109942.136 * [enter]simplify:  Simplifying (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1547109942.136 * * [misc]simplify:  iters left: 6 (9 enodes)
1547109942.138 * * [misc]simplify:  iters left: 5 (17 enodes)
1547109942.141 * * [misc]simplify:  iters left: 4 (31 enodes)
1547109942.145 * * [misc]simplify:  iters left: 3 (47 enodes)
1547109942.151 * * [misc]simplify:  iters left: 2 (62 enodes)
1547109942.159 * * [misc]simplify:  iters left: 1 (70 enodes)
1547109942.169 * [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1547109942.169 * [misc]simplify:  Simplified (2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1547109942.169 * * * * [misc]progress:  [ 9 / 57 ] simplifiying candidate #<alt (λ (a b) (* (sqrt 1) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))>
1547109942.169 * [enter]simplify:  Simplifying (sqrt 1)
1547109942.169 * * [misc]simplify:  iters left: 1 (2 enodes)
1547109942.170 * [exit]simplify:  Simplified to 1
1547109942.170 * [misc]simplify:  Simplified (2 1) to (λ (a b) (* 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))
1547109942.170 * * * * [misc]progress:  [ 10 / 57 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1547109942.170 * * * * [misc]progress:  [ 11 / 57 ] simplifiying candidate #<alt (λ (a b) (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))>
1547109942.170 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1547109942.170 * * [misc]simplify:  iters left: 6 (8 enodes)
1547109942.172 * * [misc]simplify:  iters left: 5 (16 enodes)
1547109942.177 * * [misc]simplify:  iters left: 4 (30 enodes)
1547109942.186 * * [misc]simplify:  iters left: 3 (46 enodes)
1547109942.198 * * [misc]simplify:  iters left: 2 (61 enodes)
1547109942.213 * * [misc]simplify:  iters left: 1 (69 enodes)
1547109942.223 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1547109942.223 * [misc]simplify:  Simplified (2 1) to (λ (a b) (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))
1547109942.223 * * * * [misc]progress:  [ 12 / 57 ] simplifiying candidate #<alt (λ (a b) (* 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))>
1547109942.223 * * * * [misc]progress:  [ 13 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1))))))>
1547109942.223 * [enter]simplify:  Simplifying (/ b a)
1547109942.223 * * [misc]simplify:  iters left: 2 (3 enodes)
1547109942.224 * [exit]simplify:  Simplified to (/ b a)
1547109942.224 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1))))))
1547109942.224 * [enter]simplify:  Simplifying (+ 1 1)
1547109942.224 * * [misc]simplify:  iters left: 2 (2 enodes)
1547109942.225 * * [misc]simplify:  iters left: 1 (5 enodes)
1547109942.225 * [exit]simplify:  Simplified to 2
1547109942.225 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) 2)))))
1547109942.225 * * * * [misc]progress:  [ 14 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (pow (* (/ b a) (/ b a)) 1)))))>
1547109942.226 * [enter]simplify:  Simplifying (* (/ b a) (/ b a))
1547109942.226 * * [misc]simplify:  iters left: 4 (4 enodes)
1547109942.226 * * [misc]simplify:  iters left: 3 (8 enodes)
1547109942.228 * * [misc]simplify:  iters left: 2 (14 enodes)
1547109942.230 * * [misc]simplify:  iters left: 1 (20 enodes)
1547109942.233 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1547109942.233 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (pow (* (/ b a) (/ b a)) 1)))))
1547109942.233 * * * * [misc]progress:  [ 15 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) 2)))))>
1547109942.233 * * * * [misc]progress:  [ 16 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1))))))>
1547109942.233 * [enter]simplify:  Simplifying (/ b a)
1547109942.233 * * [misc]simplify:  iters left: 2 (3 enodes)
1547109942.233 * [exit]simplify:  Simplified to (/ b a)
1547109942.233 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1))))))
1547109942.233 * * * * [misc]progress:  [ 17 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (pow (* (/ b a) (/ b a)) 1)))))>
1547109942.233 * * * * [misc]progress:  [ 18 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (exp (+ (log (/ b a)) (log (/ b a))))))))>
1547109942.234 * [enter]simplify:  Simplifying (+ (log (/ b a)) (log (/ b a)))
1547109942.234 * * [misc]simplify:  iters left: 5 (5 enodes)
1547109942.234 * * [misc]simplify:  iters left: 4 (8 enodes)
1547109942.236 * * [misc]simplify:  iters left: 3 (14 enodes)
1547109942.238 * * [misc]simplify:  iters left: 2 (28 enodes)
1547109942.242 * * [misc]simplify:  iters left: 1 (53 enodes)
1547109942.259 * [exit]simplify:  Simplified to (+ (log (/ b a)) (log (/ b a)))
1547109942.259 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (exp (+ (log (/ b a)) (log (/ b a))))))))
1547109942.259 * * * * [misc]progress:  [ 19 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (exp (log (* (/ b a) (/ b a))))))))>
1547109942.259 * * * * [misc]progress:  [ 20 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))))>
1547109942.259 * * * * [misc]progress:  [ 21 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (cbrt (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b a))))))))>
1547109942.259 * [enter]simplify:  Simplifying (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b a)))
1547109942.259 * * [misc]simplify:  iters left: 6 (6 enodes)
1547109942.262 * * [misc]simplify:  iters left: 5 (17 enodes)
1547109942.270 * * [misc]simplify:  iters left: 4 (61 enodes)
1547109942.298 * * [misc]simplify:  iters left: 3 (157 enodes)
1547109942.365 * * [misc]simplify:  iters left: 2 (463 enodes)
1547109943.183 * [exit]simplify:  Simplified to (pow (/ b a) 6)
1547109943.184 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6))))))
1547109943.184 * * * * [misc]progress:  [ 22 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (cbrt (* (/ b a) (/ b a))) (cbrt (* (/ b a) (/ b a)))) (cbrt (* (/ b a) (/ b a))))))))>
1547109943.184 * * * * [misc]progress:  [ 23 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (cbrt (* (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))) (* (/ b a) (/ b a))))))))>
1547109943.184 * * * * [misc]progress:  [ 24 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (sqrt (* (/ b a) (/ b a))) (sqrt (* (/ b a) (/ b a))))))))>
1547109943.184 * * * * [misc]progress:  [ 25 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a))))))>
1547109943.184 * [enter]simplify:  Simplifying (* b b)
1547109943.184 * * [misc]simplify:  iters left: 2 (2 enodes)
1547109943.184 * [exit]simplify:  Simplified to (* b b)
1547109943.185 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
1547109943.185 * [enter]simplify:  Simplifying (* a a)
1547109943.185 * * [misc]simplify:  iters left: 2 (2 enodes)
1547109943.185 * [exit]simplify:  Simplified to (* a a)
1547109943.185 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
1547109943.185 * * * * [misc]progress:  [ 26 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* 1 (* (/ b a) (/ b a)))))))>
1547109943.185 * * * * [misc]progress:  [ 27 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (* (cbrt (/ b a)) (cbrt (/ b a)))) (cbrt (/ b a)))))))>
1547109943.185 * [enter]simplify:  Simplifying (cbrt (/ b a))
1547109943.185 * * [misc]simplify:  iters left: 3 (4 enodes)
1547109943.186 * [exit]simplify:  Simplified to (cbrt (/ b a))
1547109943.186 * [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)))))))
1547109943.186 * * * * [misc]progress:  [ 28 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (sqrt (/ b a))) (sqrt (/ b a)))))))>
1547109943.186 * [enter]simplify:  Simplifying (sqrt (/ b a))
1547109943.186 * * [misc]simplify:  iters left: 3 (4 enodes)
1547109943.187 * [exit]simplify:  Simplified to (sqrt (/ b a))
1547109943.187 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (sqrt (/ b a))) (sqrt (/ b a)))))))
1547109943.187 * * * * [misc]progress:  [ 29 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) 1) (/ b a))))))>
1547109943.187 * [enter]simplify:  Simplifying (/ b a)
1547109943.187 * * [misc]simplify:  iters left: 2 (3 enodes)
1547109943.188 * [exit]simplify:  Simplified to (/ b a)
1547109943.188 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) 1) (/ b a))))))
1547109943.188 * * * * [misc]progress:  [ 30 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) b) (/ 1 a))))))>
1547109943.188 * [enter]simplify:  Simplifying (/ 1 a)
1547109943.188 * * [misc]simplify:  iters left: 2 (3 enodes)
1547109943.188 * * [misc]simplify:  iters left: 1 (5 enodes)
1547109943.189 * [exit]simplify:  Simplified to (/ 1 a)
1547109943.189 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) b) (/ 1 a))))))
1547109943.189 * * * * [misc]progress:  [ 31 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (* (cbrt (/ b a)) (cbrt (/ b a))) (* (cbrt (/ b a)) (/ b a)))))))>
1547109943.189 * [enter]simplify:  Simplifying (* (cbrt (/ b a)) (cbrt (/ b a)))
1547109943.189 * * [misc]simplify:  iters left: 5 (5 enodes)
1547109943.190 * [exit]simplify:  Simplified to (* (cbrt (/ b a)) (cbrt (/ b a)))
1547109943.190 * [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)))))))
1547109943.190 * * * * [misc]progress:  [ 32 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (sqrt (/ b a)) (* (sqrt (/ b a)) (/ b a)))))))>
1547109943.191 * [enter]simplify:  Simplifying (sqrt (/ b a))
1547109943.191 * * [misc]simplify:  iters left: 3 (4 enodes)
1547109943.191 * [exit]simplify:  Simplified to (sqrt (/ b a))
1547109943.191 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (sqrt (/ b a)) (* (sqrt (/ b a)) (/ b a)))))))
1547109943.191 * * * * [misc]progress:  [ 33 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* 1 (* (/ b a) (/ b a)))))))>
1547109943.191 * * * * [misc]progress:  [ 34 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* b (* (/ 1 a) (/ b a)))))))>
1547109943.191 * * * * [misc]progress:  [ 35 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* (/ b a) b) a)))))>
1547109943.191 * * * * [misc]progress:  [ 36 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))>
1547109943.192 * [enter]simplify:  Simplifying (* b (/ b a))
1547109943.192 * * [misc]simplify:  iters left: 4 (4 enodes)
1547109943.192 * * [misc]simplify:  iters left: 3 (7 enodes)
1547109943.193 * * [misc]simplify:  iters left: 2 (9 enodes)
1547109943.195 * [exit]simplify:  Simplified to (* b (/ b a))
1547109943.195 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
1547109943.195 * * * * [misc]progress:  [ 37 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))>
1547109943.195 * * * * [misc]progress:  [ 38 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (pow (- 1 (* (/ b a) (/ b a))) 1))))>
1547109943.195 * * * * [misc]progress:  [ 39 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (exp (log (- 1 (* (/ b a) (/ b a))))))))>
1547109943.195 * * * * [misc]progress:  [ 40 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (log (exp (- 1 (* (/ b a) (/ b a))))))))>
1547109943.195 * * * * [misc]progress:  [ 41 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (* (* (cbrt (- 1 (* (/ b a) (/ b a)))) (cbrt (- 1 (* (/ b a) (/ b a))))) (cbrt (- 1 (* (/ b a) (/ b a))))))))>
1547109943.195 * * * * [misc]progress:  [ 42 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (cbrt (* (* (- 1 (* (/ b a) (/ b a))) (- 1 (* (/ b a) (/ b a)))) (- 1 (* (/ b a) (/ b a))))))))>
1547109943.195 * * * * [misc]progress:  [ 43 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (* (sqrt (- 1 (* (/ b a) (/ b a)))) (sqrt (- 1 (* (/ b a) (/ b a))))))))>
1547109943.195 * * * * [misc]progress:  [ 44 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (/ (- (pow 1 3) (pow (* (/ b a) (/ b a)) 3)) (+ (* 1 1) (+ (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))) (* 1 (* (/ b a) (/ b a)))))))))>
1547109943.195 * * * * [misc]progress:  [ 45 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (+ 1 (- (* (/ b a) (/ b a)))))))>
1547109943.195 * * * * [misc]progress:  [ 46 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (* 1 (- 1 (* (/ b a) (/ b a)))))))>
1547109943.195 * * * * [misc]progress:  [ 47 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (+ 1 (* (/ b a) (/ b a)))))))>
1547109943.195 * * * * [misc]progress:  [ 48 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (+ 1 (- (* (/ b a) (/ b a)))))))>
1547109943.195 * * * * [misc]progress:  [ 49 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1547109943.196 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109943.196 * * [misc]simplify:  iters left: 6 (10 enodes)
1547109943.197 * * [misc]simplify:  iters left: 5 (16 enodes)
1547109943.199 * * [misc]simplify:  iters left: 4 (25 enodes)
1547109943.203 * * [misc]simplify:  iters left: 3 (42 enodes)
1547109943.213 * * [misc]simplify:  iters left: 2 (66 enodes)
1547109943.231 * * [misc]simplify:  iters left: 1 (75 enodes)
1547109943.250 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1547109943.250 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1547109943.250 * * * * [misc]progress:  [ 50 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1547109943.250 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109943.251 * * [misc]simplify:  iters left: 6 (10 enodes)
1547109943.254 * * [misc]simplify:  iters left: 5 (16 enodes)
1547109943.258 * * [misc]simplify:  iters left: 4 (25 enodes)
1547109943.270 * * [misc]simplify:  iters left: 3 (42 enodes)
1547109943.283 * * [misc]simplify:  iters left: 2 (66 enodes)
1547109943.300 * * [misc]simplify:  iters left: 1 (75 enodes)
1547109943.317 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1547109943.317 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1547109943.317 * * * * [misc]progress:  [ 51 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1547109943.318 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109943.318 * * [misc]simplify:  iters left: 6 (10 enodes)
1547109943.321 * * [misc]simplify:  iters left: 5 (16 enodes)
1547109943.325 * * [misc]simplify:  iters left: 4 (25 enodes)
1547109943.333 * * [misc]simplify:  iters left: 3 (42 enodes)
1547109943.345 * * [misc]simplify:  iters left: 2 (66 enodes)
1547109943.363 * * [misc]simplify:  iters left: 1 (75 enodes)
1547109943.380 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1547109943.380 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1547109943.380 * * * * [misc]progress:  [ 52 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1547109943.381 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1547109943.381 * * [misc]simplify:  iters left: 3 (6 enodes)
1547109943.383 * * [misc]simplify:  iters left: 2 (8 enodes)
1547109943.385 * * [misc]simplify:  iters left: 1 (14 enodes)
1547109943.389 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1547109943.389 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1547109943.389 * * * * [misc]progress:  [ 53 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1547109943.389 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1547109943.389 * * [misc]simplify:  iters left: 3 (6 enodes)
1547109943.391 * * [misc]simplify:  iters left: 2 (8 enodes)
1547109943.393 * * [misc]simplify:  iters left: 1 (14 enodes)
1547109943.398 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1547109943.398 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1547109943.398 * * * * [misc]progress:  [ 54 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1547109943.398 * [enter]simplify:  Simplifying (/ (pow b 2) (pow a 2))
1547109943.398 * * [misc]simplify:  iters left: 3 (6 enodes)
1547109943.400 * * [misc]simplify:  iters left: 2 (8 enodes)
1547109943.403 * * [misc]simplify:  iters left: 1 (14 enodes)
1547109943.405 * [exit]simplify:  Simplified to (* (/ b a) (/ b a))
1547109943.405 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1547109943.405 * * * * [misc]progress:  [ 55 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1547109943.406 * [enter]simplify:  Simplifying (- 1 (/ (pow b 2) (pow a 2)))
1547109943.406 * * [misc]simplify:  iters left: 5 (8 enodes)
1547109943.407 * * [misc]simplify:  iters left: 4 (14 enodes)
1547109943.409 * * [misc]simplify:  iters left: 3 (23 enodes)
1547109943.413 * * [misc]simplify:  iters left: 2 (40 enodes)
1547109943.419 * * [misc]simplify:  iters left: 1 (64 enodes)
1547109943.429 * [exit]simplify:  Simplified to (- 1 (* (/ b a) (/ b a)))
1547109943.429 * [misc]simplify:  Simplified (2 1 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1547109943.429 * * * * [misc]progress:  [ 56 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1547109943.429 * [enter]simplify:  Simplifying (- 1 (/ (pow b 2) (pow a 2)))
1547109943.429 * * [misc]simplify:  iters left: 5 (8 enodes)
1547109943.430 * * [misc]simplify:  iters left: 4 (14 enodes)
1547109943.432 * * [misc]simplify:  iters left: 3 (23 enodes)
1547109943.436 * * [misc]simplify:  iters left: 2 (40 enodes)
1547109943.442 * * [misc]simplify:  iters left: 1 (64 enodes)
1547109943.451 * [exit]simplify:  Simplified to (- 1 (* (/ b a) (/ b a)))
1547109943.451 * [misc]simplify:  Simplified (2 1 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1547109943.451 * * * * [misc]progress:  [ 57 / 57 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1547109943.451 * [enter]simplify:  Simplifying (- 1 (/ (pow b 2) (pow a 2)))
1547109943.451 * * [misc]simplify:  iters left: 5 (8 enodes)
1547109943.452 * * [misc]simplify:  iters left: 4 (14 enodes)
1547109943.454 * * [misc]simplify:  iters left: 3 (23 enodes)
1547109943.458 * * [misc]simplify:  iters left: 2 (40 enodes)
1547109943.464 * * [misc]simplify:  iters left: 1 (64 enodes)
1547109943.478 * [exit]simplify:  Simplified to (- 1 (* (/ b a) (/ b a)))
1547109943.478 * [misc]simplify:  Simplified (2 1 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1547109943.479 * * * [misc]progress:  adding candidates to table
1547109944.097 * * [misc]progress:  iteration 2 / 4
1547109944.097 * * * [misc]progress:  picking best candidate
1547109944.103 * * * * [misc]pick:  Picked  #<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))))))))>
1547109944.103 * * * [misc]progress:  localizing error
1547109944.122 * * * [misc]progress:  generating rewritten candidates
1547109944.122 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1547109944.139 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2)
1547109944.140 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2)
1547109944.141 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 1)
1547109944.143 * * * [misc]progress:  generating series expansions
1547109944.143 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1547109944.144 * [misc]backup-simplify:  Simplify (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109944.144 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
1547109944.144 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1547109944.144 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1547109944.144 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1547109944.144 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109944.145 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1547109944.145 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1547109944.145 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1547109944.145 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1547109944.145 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109944.145 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1547109944.145 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1547109944.145 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1547109944.146 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1547109944.146 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109944.146 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1547109944.146 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1547109944.146 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1547109944.146 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1547109944.147 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109944.147 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1547109944.147 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109944.147 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109944.147 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.147 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.147 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.149 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1547109944.149 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109944.149 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.149 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.149 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.150 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1547109944.150 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.150 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1547109944.150 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109944.150 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.150 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.151 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109944.152 * [misc]backup-simplify:  Simplify (cbrt (* (* (sqrt (fabs (- 1 (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a)))))) (sqrt (fabs (- 1 (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))))))) (sqrt (fabs (- 1 (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a)))))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.152 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1547109944.152 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1547109944.152 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1547109944.152 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109944.152 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.153 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.153 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1547109944.153 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1547109944.153 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109944.153 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.153 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.153 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1547109944.153 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1547109944.154 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109944.154 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.154 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.154 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1547109944.154 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1547109944.154 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109944.155 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.155 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.155 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.155 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109944.155 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.155 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.155 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.157 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.157 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109944.157 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.157 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.157 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.158 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.158 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.158 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.158 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109944.158 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.158 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.159 * [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)))))
1547109944.160 * [misc]backup-simplify:  Simplify (cbrt (* (* (sqrt (fabs (- 1 (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a))))))) (sqrt (fabs (- 1 (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))))))) (sqrt (fabs (- 1 (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a))))))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.160 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1547109944.160 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1547109944.160 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1547109944.160 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109944.160 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.161 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.161 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1547109944.161 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1547109944.161 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109944.161 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.161 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.161 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1547109944.161 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1547109944.162 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109944.162 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.162 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.162 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1547109944.162 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1547109944.163 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109944.163 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.163 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.163 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.163 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109944.163 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.163 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.163 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.165 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.165 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109944.165 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.165 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.165 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.166 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.166 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.166 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.166 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109944.166 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.166 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.167 * [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)))))
1547109944.167 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2)
1547109944.167 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109944.167 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
1547109944.167 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1547109944.167 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1547109944.167 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1547109944.168 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109944.168 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1547109944.168 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1547109944.168 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1547109944.168 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1547109944.168 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109944.169 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1547109944.169 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1547109944.169 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1547109944.169 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1547109944.169 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109944.170 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1547109944.170 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1547109944.170 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1547109944.170 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1547109944.170 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109944.171 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1547109944.171 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109944.171 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109944.171 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.171 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.171 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.172 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1547109944.172 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109944.172 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.172 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.172 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.173 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1547109944.173 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.174 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1547109944.174 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109944.174 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.174 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.174 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109944.175 * [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)))))
1547109944.175 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1547109944.175 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1547109944.175 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1547109944.175 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109944.175 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.176 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.176 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1547109944.176 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1547109944.176 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109944.176 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.176 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.176 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1547109944.176 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1547109944.177 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109944.177 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.177 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.177 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1547109944.177 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1547109944.178 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109944.178 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.178 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.178 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.178 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109944.178 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.178 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.178 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.180 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.180 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109944.180 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.180 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.180 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.181 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.181 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.181 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.181 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109944.181 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.181 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.182 * [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)))))
1547109944.182 * [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)))))
1547109944.182 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1547109944.182 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1547109944.182 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1547109944.182 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109944.183 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.183 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.183 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1547109944.183 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1547109944.183 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109944.183 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.184 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.184 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1547109944.184 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1547109944.184 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109944.184 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.184 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.185 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1547109944.185 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1547109944.185 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109944.185 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.185 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.185 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.186 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109944.186 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.186 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.186 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.187 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.187 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109944.187 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.187 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.187 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.188 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.188 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.188 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.188 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109944.188 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.188 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.189 * [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)))))
1547109944.189 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2)
1547109944.189 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109944.189 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
1547109944.189 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1547109944.189 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1547109944.189 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1547109944.190 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109944.190 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1547109944.190 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1547109944.190 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1547109944.190 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1547109944.190 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109944.190 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1547109944.191 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1547109944.191 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1547109944.191 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1547109944.191 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109944.191 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1547109944.191 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1547109944.191 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1547109944.192 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1547109944.192 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109944.192 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1547109944.192 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109944.192 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109944.192 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.192 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.192 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.194 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1547109944.194 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109944.194 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.194 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.194 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.195 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1547109944.195 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.195 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1547109944.195 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109944.195 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.195 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.196 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109944.196 * [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)))))
1547109944.196 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1547109944.196 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1547109944.196 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1547109944.196 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109944.196 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.197 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.197 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1547109944.197 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1547109944.197 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109944.197 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.197 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.197 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1547109944.197 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1547109944.198 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109944.198 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.198 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.198 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1547109944.198 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1547109944.198 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109944.198 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.199 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.199 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.199 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109944.199 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.199 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.199 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.200 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.201 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109944.201 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.201 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.201 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.204 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.204 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.205 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.205 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109944.205 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.205 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.205 * [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)))))
1547109944.206 * [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)))))
1547109944.206 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1547109944.206 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1547109944.206 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1547109944.206 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109944.206 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.207 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.207 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1547109944.207 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1547109944.207 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109944.207 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.207 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.207 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1547109944.208 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1547109944.208 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109944.208 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.208 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.208 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1547109944.208 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1547109944.209 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109944.209 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.209 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.209 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.209 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109944.209 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.209 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.209 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.211 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.211 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109944.211 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.211 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.211 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.211 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.212 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.212 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.212 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109944.212 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.212 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.212 * [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)))))
1547109944.212 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 1)
1547109944.212 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109944.212 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
1547109944.212 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1547109944.212 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1547109944.212 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1547109944.213 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109944.213 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1547109944.213 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1547109944.213 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1547109944.213 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1547109944.213 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109944.213 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1547109944.213 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1547109944.213 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1547109944.213 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1547109944.213 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109944.214 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1547109944.214 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1547109944.214 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1547109944.214 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1547109944.214 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109944.214 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1547109944.214 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109944.214 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109944.214 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.214 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.214 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.215 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1547109944.215 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109944.215 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.215 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.215 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.216 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1547109944.216 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.216 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1547109944.216 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109944.216 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.216 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.216 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109944.216 * [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)))))
1547109944.216 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1547109944.216 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1547109944.216 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1547109944.217 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109944.217 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.217 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.217 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1547109944.217 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1547109944.217 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109944.217 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.217 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.217 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1547109944.217 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1547109944.217 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109944.218 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.218 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.218 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1547109944.218 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1547109944.218 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109944.218 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.218 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.218 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.218 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109944.218 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.218 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.218 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.219 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.219 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109944.219 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.219 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.219 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.220 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.220 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.221 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.221 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109944.221 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.221 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.221 * [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)))))
1547109944.221 * [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)))))
1547109944.221 * [misc]approximate:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1547109944.221 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1547109944.221 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1547109944.221 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109944.221 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.221 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.221 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1547109944.222 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1547109944.222 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109944.222 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.222 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.222 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1547109944.222 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1547109944.222 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109944.222 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.222 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.222 * [misc]taylor:  Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1547109944.222 * [misc]taylor:  Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1547109944.223 * [misc]backup-simplify:  Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1547109944.223 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.223 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.223 * [misc]backup-simplify:  Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1547109944.223 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109944.223 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.223 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.223 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.224 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.224 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109944.224 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.224 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.224 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.224 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.224 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.225 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1547109944.225 * [misc]taylor:  Taking taylor expansion of 0 in a
1547109944.225 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.225 * [misc]backup-simplify:  Simplify 0 into 0
1547109944.225 * [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)))))
1547109944.225 * * * [misc]progress:  simplifying candidates
1547109944.225 * * * * [misc]progress:  [ 1 / 58 ] simplifiying candidate #<alt (λ (a b) (pow (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1/3))>
1547109944.225 * * * * [misc]progress:  [ 2 / 58 ] simplifiying candidate #<alt (λ (a b) (pow (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) 1))>
1547109944.225 * * * * [misc]progress:  [ 3 / 58 ] simplifiying candidate #<alt (λ (a b) (exp (log (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1547109944.225 * * * * [misc]progress:  [ 4 / 58 ] simplifiying candidate #<alt (λ (a b) (log (exp (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1547109944.225 * * * * [misc]progress:  [ 5 / 58 ] simplifiying candidate #<alt (λ (a b) (* (cbrt (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1547109944.225 * [enter]simplify:  Simplifying (cbrt (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))
1547109944.226 * * [misc]simplify:  iters left: 6 (10 enodes)
1547109944.227 * * [misc]simplify:  iters left: 5 (18 enodes)
1547109944.230 * * [misc]simplify:  iters left: 4 (33 enodes)
1547109944.234 * * [misc]simplify:  iters left: 3 (49 enodes)
1547109944.241 * * [misc]simplify:  iters left: 2 (64 enodes)
1547109944.249 * * [misc]simplify:  iters left: 1 (72 enodes)
1547109944.258 * [exit]simplify:  Simplified to (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))
1547109944.258 * [misc]simplify:  Simplified (2 1) to (λ (a b) (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1547109944.258 * * * * [misc]progress:  [ 6 / 58 ] simplifiying candidate #<alt (λ (a b) (* (* (cbrt (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (cbrt (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))) (cbrt (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1547109944.258 * * * * [misc]progress:  [ 7 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1547109944.259 * * * * [misc]progress:  [ 8 / 58 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))>
1547109944.259 * [enter]simplify:  Simplifying (fabs (- 1 (* (/ b a) (/ b a))))
1547109944.259 * * [misc]simplify:  iters left: 6 (7 enodes)
1547109944.260 * * [misc]simplify:  iters left: 5 (15 enodes)
1547109944.262 * * [misc]simplify:  iters left: 4 (29 enodes)
1547109944.266 * * [misc]simplify:  iters left: 3 (45 enodes)
1547109944.277 * * [misc]simplify:  iters left: 2 (60 enodes)
1547109944.291 * * [misc]simplify:  iters left: 1 (68 enodes)
1547109944.310 * [exit]simplify:  Simplified to (fabs (- 1 (* (/ b a) (/ b a))))
1547109944.310 * [misc]simplify:  Simplified (2 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1547109944.310 * * * * [misc]progress:  [ 9 / 58 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (sqrt (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1547109944.310 * * * * [misc]progress:  [ 10 / 58 ] simplifiying candidate #<alt (λ (a b) (* 1 (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))))>
1547109944.310 * * * * [misc]progress:  [ 11 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (pow (fabs (- 1 (* (/ b a) (/ b a)))) 1/2))))>
1547109944.310 * * * * [misc]progress:  [ 12 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (pow (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1))))>
1547109944.310 * * * * [misc]progress:  [ 13 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (exp (log (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1547109944.310 * * * * [misc]progress:  [ 14 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (log (exp (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1547109944.310 * * * * [misc]progress:  [ 15 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (* (* (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1547109944.310 * * * * [misc]progress:  [ 16 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1547109944.310 * * * * [misc]progress:  [ 17 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (* (sqrt (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1547109944.311 * [enter]simplify:  Simplifying (sqrt (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))))
1547109944.311 * * [misc]simplify:  iters left: 6 (10 enodes)
1547109944.314 * * [misc]simplify:  iters left: 5 (19 enodes)
1547109944.320 * * [misc]simplify:  iters left: 4 (33 enodes)
1547109944.329 * * [misc]simplify:  iters left: 3 (49 enodes)
1547109944.342 * * [misc]simplify:  iters left: 2 (64 enodes)
1547109944.359 * * [misc]simplify:  iters left: 1 (72 enodes)
1547109944.379 * [exit]simplify:  Simplified to (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))
1547109944.379 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (* (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))))))
1547109944.379 * * * * [misc]progress:  [ 18 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1547109944.379 * [enter]simplify:  Simplifying (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1547109944.379 * * [misc]simplify:  iters left: 6 (9 enodes)
1547109944.382 * * [misc]simplify:  iters left: 5 (17 enodes)
1547109944.388 * * [misc]simplify:  iters left: 4 (31 enodes)
1547109944.398 * * [misc]simplify:  iters left: 3 (47 enodes)
1547109944.411 * * [misc]simplify:  iters left: 2 (62 enodes)
1547109944.426 * * [misc]simplify:  iters left: 1 (70 enodes)
1547109944.444 * [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1547109944.444 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))
1547109944.445 * * * * [misc]progress:  [ 19 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (* (sqrt 1) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))))>
1547109944.445 * [enter]simplify:  Simplifying (sqrt 1)
1547109944.445 * * [misc]simplify:  iters left: 1 (2 enodes)
1547109944.447 * [exit]simplify:  Simplified to 1
1547109944.447 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (* 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))))
1547109944.447 * * * * [misc]progress:  [ 20 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))))>
1547109944.447 * * * * [misc]progress:  [ 21 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))))>
1547109944.447 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1547109944.447 * * [misc]simplify:  iters left: 6 (8 enodes)
1547109944.450 * * [misc]simplify:  iters left: 5 (16 enodes)
1547109944.455 * * [misc]simplify:  iters left: 4 (30 enodes)
1547109944.465 * * [misc]simplify:  iters left: 3 (46 enodes)
1547109944.478 * * [misc]simplify:  iters left: 2 (61 enodes)
1547109944.489 * * [misc]simplify:  iters left: 1 (69 enodes)
1547109944.498 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1547109944.498 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))))
1547109944.498 * * * * [misc]progress:  [ 22 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (* 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))))>
1547109944.498 * * * * [misc]progress:  [ 23 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (pow (fabs (- 1 (* (/ b a) (/ b a)))) 1/2)) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1547109944.498 * * * * [misc]progress:  [ 24 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (pow (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1)) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1547109944.498 * * * * [misc]progress:  [ 25 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (exp (log (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1547109944.498 * * * * [misc]progress:  [ 26 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (log (exp (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1547109944.498 * * * * [misc]progress:  [ 27 / 58 ] 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))))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1547109944.498 * * * * [misc]progress:  [ 28 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1547109944.499 * * * * [misc]progress:  [ 29 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (* (sqrt (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1547109944.499 * [enter]simplify:  Simplifying (sqrt (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))))
1547109944.499 * * [misc]simplify:  iters left: 6 (10 enodes)
1547109944.500 * * [misc]simplify:  iters left: 5 (19 enodes)
1547109944.503 * * [misc]simplify:  iters left: 4 (33 enodes)
1547109944.508 * * [misc]simplify:  iters left: 3 (49 enodes)
1547109944.517 * * [misc]simplify:  iters left: 2 (64 enodes)
1547109944.534 * * [misc]simplify:  iters left: 1 (72 enodes)
1547109944.555 * [exit]simplify:  Simplified to (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))
1547109944.555 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (* (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1547109944.555 * * * * [misc]progress:  [ 30 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1547109944.555 * [enter]simplify:  Simplifying (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1547109944.555 * * [misc]simplify:  iters left: 6 (9 enodes)
1547109944.558 * * [misc]simplify:  iters left: 5 (17 enodes)
1547109944.563 * * [misc]simplify:  iters left: 4 (31 enodes)
1547109944.570 * * [misc]simplify:  iters left: 3 (47 enodes)
1547109944.581 * * [misc]simplify:  iters left: 2 (62 enodes)
1547109944.598 * * [misc]simplify:  iters left: 1 (70 enodes)
1547109944.617 * [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1547109944.617 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1547109944.617 * * * * [misc]progress:  [ 31 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (* (sqrt 1) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1547109944.618 * [enter]simplify:  Simplifying (sqrt 1)
1547109944.618 * * [misc]simplify:  iters left: 1 (2 enodes)
1547109944.619 * [exit]simplify:  Simplified to 1
1547109944.619 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (* 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1547109944.619 * * * * [misc]progress:  [ 32 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1547109944.619 * * * * [misc]progress:  [ 33 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1547109944.620 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1547109944.620 * * [misc]simplify:  iters left: 6 (8 enodes)
1547109944.622 * * [misc]simplify:  iters left: 5 (16 enodes)
1547109944.627 * * [misc]simplify:  iters left: 4 (30 enodes)
1547109944.631 * * [misc]simplify:  iters left: 3 (46 enodes)
1547109944.637 * * [misc]simplify:  iters left: 2 (61 enodes)
1547109944.645 * * [misc]simplify:  iters left: 1 (69 enodes)
1547109944.654 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1547109944.654 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1547109944.655 * * * * [misc]progress:  [ 34 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (* 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1547109944.655 * * * * [misc]progress:  [ 35 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (pow (fabs (- 1 (* (/ b a) (/ b a)))) 1/2) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1547109944.655 * * * * [misc]progress:  [ 36 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (pow (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1547109944.655 * * * * [misc]progress:  [ 37 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (exp (log (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1547109944.655 * * * * [misc]progress:  [ 38 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (log (exp (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1547109944.655 * * * * [misc]progress:  [ 39 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (* (* (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1547109944.655 * * * * [misc]progress:  [ 40 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1547109944.655 * * * * [misc]progress:  [ 41 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (* (sqrt (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1547109944.655 * [enter]simplify:  Simplifying (sqrt (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))))
1547109944.655 * * [misc]simplify:  iters left: 6 (10 enodes)
1547109944.657 * * [misc]simplify:  iters left: 5 (19 enodes)
1547109944.660 * * [misc]simplify:  iters left: 4 (33 enodes)
1547109944.664 * * [misc]simplify:  iters left: 3 (49 enodes)
1547109944.671 * * [misc]simplify:  iters left: 2 (64 enodes)
1547109944.687 * * [misc]simplify:  iters left: 1 (72 enodes)
1547109944.709 * [exit]simplify:  Simplified to (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))
1547109944.709 * [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 a) (/ b a))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1547109944.709 * * * * [misc]progress:  [ 42 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1547109944.709 * [enter]simplify:  Simplifying (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1547109944.709 * * [misc]simplify:  iters left: 6 (9 enodes)
1547109944.712 * * [misc]simplify:  iters left: 5 (17 enodes)
1547109944.717 * * [misc]simplify:  iters left: 4 (31 enodes)
1547109944.726 * * [misc]simplify:  iters left: 3 (47 enodes)
1547109944.739 * * [misc]simplify:  iters left: 2 (62 enodes)
1547109944.753 * * [misc]simplify:  iters left: 1 (70 enodes)
1547109944.773 * [exit]simplify:  Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1547109944.773 * [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 a) (/ b a))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1547109944.773 * * * * [misc]progress:  [ 43 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (* (sqrt 1) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1547109944.773 * [enter]simplify:  Simplifying (sqrt 1)
1547109944.773 * * [misc]simplify:  iters left: 1 (2 enodes)
1547109944.775 * [exit]simplify:  Simplified to 1
1547109944.775 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a b) (cbrt (* (* (* 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1547109944.775 * * * * [misc]progress:  [ 44 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1547109944.775 * * * * [misc]progress:  [ 45 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1547109944.775 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1547109944.775 * * [misc]simplify:  iters left: 6 (8 enodes)
1547109944.778 * * [misc]simplify:  iters left: 5 (16 enodes)
1547109944.783 * * [misc]simplify:  iters left: 4 (30 enodes)
1547109944.791 * * [misc]simplify:  iters left: 3 (46 enodes)
1547109944.804 * * [misc]simplify:  iters left: 2 (61 enodes)
1547109944.819 * * [misc]simplify:  iters left: 1 (69 enodes)
1547109944.833 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1547109944.833 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a b) (cbrt (* (* (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1547109944.833 * * * * [misc]progress:  [ 46 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (* 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1547109944.833 * * * * [misc]progress:  [ 47 / 58 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1547109944.833 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109944.833 * * [misc]simplify:  iters left: 6 (10 enodes)
1547109944.835 * * [misc]simplify:  iters left: 5 (16 enodes)
1547109944.838 * * [misc]simplify:  iters left: 4 (25 enodes)
1547109944.841 * * [misc]simplify:  iters left: 3 (42 enodes)
1547109944.848 * * [misc]simplify:  iters left: 2 (66 enodes)
1547109944.857 * * [misc]simplify:  iters left: 1 (75 enodes)
1547109944.869 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1547109944.869 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1547109944.869 * * * * [misc]progress:  [ 48 / 58 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1547109944.869 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109944.869 * * [misc]simplify:  iters left: 6 (10 enodes)
1547109944.872 * * [misc]simplify:  iters left: 5 (16 enodes)
1547109944.877 * * [misc]simplify:  iters left: 4 (25 enodes)
1547109944.884 * * [misc]simplify:  iters left: 3 (42 enodes)
1547109944.897 * * [misc]simplify:  iters left: 2 (66 enodes)
1547109944.915 * * [misc]simplify:  iters left: 1 (75 enodes)
1547109944.932 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1547109944.932 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1547109944.932 * * * * [misc]progress:  [ 49 / 58 ] simplifiying candidate #<alt (λ (a b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))>
1547109944.933 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109944.933 * * [misc]simplify:  iters left: 6 (10 enodes)
1547109944.936 * * [misc]simplify:  iters left: 5 (16 enodes)
1547109944.940 * * [misc]simplify:  iters left: 4 (25 enodes)
1547109944.947 * * [misc]simplify:  iters left: 3 (42 enodes)
1547109944.960 * * [misc]simplify:  iters left: 2 (66 enodes)
1547109944.974 * * [misc]simplify:  iters left: 1 (75 enodes)
1547109944.984 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1547109944.984 * [misc]simplify:  Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
1547109944.984 * * * * [misc]progress:  [ 50 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))))>
1547109944.984 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109944.984 * * [misc]simplify:  iters left: 6 (10 enodes)
1547109944.985 * * [misc]simplify:  iters left: 5 (16 enodes)
1547109944.988 * * [misc]simplify:  iters left: 4 (25 enodes)
1547109944.992 * * [misc]simplify:  iters left: 3 (42 enodes)
1547109944.998 * * [misc]simplify:  iters left: 2 (66 enodes)
1547109945.007 * * [misc]simplify:  iters left: 1 (75 enodes)
1547109945.016 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1547109945.016 * [misc]simplify:  Simplified (2 1 2) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1547109945.016 * * * * [misc]progress:  [ 51 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))))>
1547109945.016 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109945.017 * * [misc]simplify:  iters left: 6 (10 enodes)
1547109945.020 * * [misc]simplify:  iters left: 5 (16 enodes)
1547109945.024 * * [misc]simplify:  iters left: 4 (25 enodes)
1547109945.031 * * [misc]simplify:  iters left: 3 (42 enodes)
1547109945.043 * * [misc]simplify:  iters left: 2 (66 enodes)
1547109945.061 * * [misc]simplify:  iters left: 1 (75 enodes)
1547109945.076 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1547109945.076 * [misc]simplify:  Simplified (2 1 2) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1547109945.076 * * * * [misc]progress:  [ 52 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))))>
1547109945.076 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109945.076 * * [misc]simplify:  iters left: 6 (10 enodes)
1547109945.077 * * [misc]simplify:  iters left: 5 (16 enodes)
1547109945.080 * * [misc]simplify:  iters left: 4 (25 enodes)
1547109945.083 * * [misc]simplify:  iters left: 3 (42 enodes)
1547109945.090 * * [misc]simplify:  iters left: 2 (66 enodes)
1547109945.098 * * [misc]simplify:  iters left: 1 (75 enodes)
1547109945.107 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1547109945.107 * [misc]simplify:  Simplified (2 1 2) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1547109945.107 * * * * [misc]progress:  [ 53 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1547109945.108 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109945.108 * * [misc]simplify:  iters left: 6 (10 enodes)
1547109945.111 * * [misc]simplify:  iters left: 5 (16 enodes)
1547109945.115 * * [misc]simplify:  iters left: 4 (25 enodes)
1547109945.123 * * [misc]simplify:  iters left: 3 (42 enodes)
1547109945.136 * * [misc]simplify:  iters left: 2 (66 enodes)
1547109945.154 * * [misc]simplify:  iters left: 1 (75 enodes)
1547109945.164 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1547109945.164 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1547109945.164 * * * * [misc]progress:  [ 54 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1547109945.164 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109945.165 * * [misc]simplify:  iters left: 6 (10 enodes)
1547109945.166 * * [misc]simplify:  iters left: 5 (16 enodes)
1547109945.171 * * [misc]simplify:  iters left: 4 (25 enodes)
1547109945.174 * * [misc]simplify:  iters left: 3 (42 enodes)
1547109945.181 * * [misc]simplify:  iters left: 2 (66 enodes)
1547109945.191 * * [misc]simplify:  iters left: 1 (75 enodes)
1547109945.200 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1547109945.200 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1547109945.200 * * * * [misc]progress:  [ 55 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1547109945.200 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109945.200 * * [misc]simplify:  iters left: 6 (10 enodes)
1547109945.202 * * [misc]simplify:  iters left: 5 (16 enodes)
1547109945.204 * * [misc]simplify:  iters left: 4 (25 enodes)
1547109945.208 * * [misc]simplify:  iters left: 3 (42 enodes)
1547109945.214 * * [misc]simplify:  iters left: 2 (66 enodes)
1547109945.226 * * [misc]simplify:  iters left: 1 (75 enodes)
1547109945.244 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1547109945.245 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1547109945.245 * * * * [misc]progress:  [ 56 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1547109945.245 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109945.245 * * [misc]simplify:  iters left: 6 (10 enodes)
1547109945.248 * * [misc]simplify:  iters left: 5 (16 enodes)
1547109945.253 * * [misc]simplify:  iters left: 4 (25 enodes)
1547109945.260 * * [misc]simplify:  iters left: 3 (42 enodes)
1547109945.273 * * [misc]simplify:  iters left: 2 (66 enodes)
1547109945.293 * * [misc]simplify:  iters left: 1 (75 enodes)
1547109945.311 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1547109945.311 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1547109945.312 * * * * [misc]progress:  [ 57 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1547109945.312 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109945.312 * * [misc]simplify:  iters left: 6 (10 enodes)
1547109945.315 * * [misc]simplify:  iters left: 5 (16 enodes)
1547109945.320 * * [misc]simplify:  iters left: 4 (25 enodes)
1547109945.327 * * [misc]simplify:  iters left: 3 (42 enodes)
1547109945.341 * * [misc]simplify:  iters left: 2 (66 enodes)
1547109945.360 * * [misc]simplify:  iters left: 1 (75 enodes)
1547109945.378 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1547109945.378 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1547109945.378 * * * * [misc]progress:  [ 58 / 58 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
1547109945.379 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1547109945.379 * * [misc]simplify:  iters left: 6 (10 enodes)
1547109945.382 * * [misc]simplify:  iters left: 5 (16 enodes)
1547109945.386 * * [misc]simplify:  iters left: 4 (25 enodes)
1547109945.394 * * [misc]simplify:  iters left: 3 (42 enodes)
1547109945.407 * * [misc]simplify:  iters left: 2 (66 enodes)
1547109945.422 * * [misc]simplify:  iters left: 1 (75 enodes)
1547109945.431 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1547109945.431 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a b) (cbrt (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
1547109945.432 * * * [misc]progress:  adding candidates to table
1547109946.166 * [misc]progress:  [Phase 3 of 3] Extracting.
1547109946.166 * * [misc]regime:  Finding splitpoints for: (#<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))))))))> #<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))>)
1547109946.167 * * * [misc]regime-changes:  Trying 2 branch expressions: (b a)
1547109946.167 * * * * [misc]regimes:  Trying to branch on b from (#<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))))))))> #<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))>)
1547109946.199 * * * * [misc]regimes:  Trying to branch on a from (#<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))))))))> #<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))>)
1547109946.220 * * * [misc]regime:  Found split indices: #<option (#s(si 1 256))>
1547109946.221 * [enter]simplify:  Simplifying (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1547109946.221 * * [misc]simplify:  iters left: 6 (8 enodes)
1547109946.222 * * [misc]simplify:  iters left: 5 (10 enodes)
1547109946.222 * [exit]simplify:  Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1547109946.223 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1547109947.307 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547109947.309 * * * * [exit]points:  Sampled 8000 points with exact outputs
1547109947.962 * [misc]regime-testing:  Baseline error score: 7.529297763753311
1547109947.963 * [misc]regime-testing:  Oracle error score: 7.526047763753311
1547109947.965 * [misc]regime-testing:  End program error score: 7.529297763753311