1544608494.691 * [misc]progress:  [Phase 1 of 3] Setting up.
1544608494.692 * * * [misc]progress:  [1/2] Preparing points
1544608494.693 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1544608494.965 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608494.966 * * * * [misc]points:  Sampling 154 additional inputs, on iter 1 have 102 / 256
1544608495.012 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608495.012 * * * * [misc]points:  Sampling 88 additional inputs, on iter 2 have 168 / 256
1544608495.080 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608495.080 * * * * [misc]points:  Sampling 47 additional inputs, on iter 3 have 209 / 256
1544608495.093 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608495.093 * * * * [misc]points:  Sampling 32 additional inputs, on iter 4 have 224 / 256
1544608495.099 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608495.099 * * * * [misc]points:  Sampling 19 additional inputs, on iter 5 have 237 / 256
1544608495.104 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608495.104 * * * * [misc]points:  Sampling 10 additional inputs, on iter 6 have 246 / 256
1544608495.108 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608495.108 * * * * [misc]points:  Sampling 7 additional inputs, on iter 7 have 249 / 256
1544608495.110 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608495.110 * * * * [misc]points:  Sampling 5 additional inputs, on iter 8 have 251 / 256
1544608495.112 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608495.113 * * * * [misc]points:  Sampling 4 additional inputs, on iter 9 have 252 / 256
1544608495.114 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608495.115 * * * * [misc]points:  Sampling 4 additional inputs, on iter 10 have 254 / 256
1544608495.117 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608495.117 * * * * [misc]points:  Sampling 4 additional inputs, on iter 11 have 255 / 256
1544608495.120 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608495.120 * * * * [exit]points:  Sampled 256 points with exact outputs
1544608495.120 * * * [misc]progress:  [2/2] Setting up program.
1544608495.130 * [misc]progress:  [Phase 2 of 3] Improving.
1544608495.131 * [enter]simplify:  Simplifying (sin (pow (sqrt (atan2 b b)) (- b a)))
1544608495.133 * * [misc]simplify:  iters left: 4 (7 enodes)
1544608495.141 * * [misc]simplify:  iters left: 3 (9 enodes)
1544608495.144 * * [misc]simplify:  iters left: 2 (10 enodes)
1544608495.149 * [exit]simplify:  Simplified to (sin (pow (sqrt (atan2 b b)) (- b a)))
1544608495.170 * * [misc]progress:  iteration 1 / 4
1544608495.171 * * * [misc]progress:  picking best candidate
1544608495.180 * * * * [misc]pick:  Picked  #<alt (λ (a b) (sin (pow (sqrt (atan2 b b)) (- b a))))>
1544608495.180 * * * [misc]progress:  localizing error
1544608495.238 * * * [misc]progress:  generating rewritten candidates
1544608495.239 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2 1 1)
1544608495.249 * * * [misc]progress:  generating series expansions
1544608495.250 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2 1 1)
1544608495.258 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544608495.258 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 b b)) in (b) around 0
1544608495.259 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 b b)) in b
1544608495.259 * [misc]taylor:  Taking taylor expansion of (atan2 b b) in b
1544608495.260 * [misc]backup-simplify:  Simplify (atan2 b b) into (atan2 b b)
1544608495.260 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544608495.260 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 b b)))) into 0
1544608495.260 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 b b)) in b
1544608495.260 * [misc]taylor:  Taking taylor expansion of (atan2 b b) in b
1544608495.260 * [misc]backup-simplify:  Simplify (atan2 b b) into (atan2 b b)
1544608495.260 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544608495.260 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 b b)))) into 0
1544608495.261 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544608495.261 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.263 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 b b)))) into 0
1544608495.263 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.264 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544608495.264 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.265 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544608495.265 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.265 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544608495.265 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.266 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544608495.266 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.266 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544608495.266 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544608495.266 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in (b) around 0
1544608495.266 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b
1544608495.266 * [misc]taylor:  Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b
1544608495.266 * [misc]backup-simplify:  Simplify (atan2 (/ 1 b) (/ 1 b)) into (atan2 (/ 1 b) (/ 1 b))
1544608495.266 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544608495.266 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608495.266 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b
1544608495.266 * [misc]taylor:  Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b
1544608495.267 * [misc]backup-simplify:  Simplify (atan2 (/ 1 b) (/ 1 b)) into (atan2 (/ 1 b) (/ 1 b))
1544608495.267 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544608495.267 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608495.267 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544608495.267 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.267 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608495.267 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.268 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608495.268 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.268 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608495.268 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.269 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608495.269 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.269 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608495.269 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.269 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 (/ 1 b)) (/ 1 (/ 1 b)))) into (sqrt (atan2 b b))
1544608495.270 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 (- b)) (/ 1 (- b)))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544608495.270 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in (b) around 0
1544608495.270 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in b
1544608495.270 * [misc]taylor:  Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b
1544608495.270 * [misc]backup-simplify:  Simplify (atan2 (/ -1 b) (/ -1 b)) into (atan2 (/ -1 b) (/ -1 b))
1544608495.270 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 b) (/ -1 b))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544608495.270 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608495.270 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in b
1544608495.270 * [misc]taylor:  Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b
1544608495.270 * [misc]backup-simplify:  Simplify (atan2 (/ -1 b) (/ -1 b)) into (atan2 (/ -1 b) (/ -1 b))
1544608495.270 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 b) (/ -1 b))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544608495.270 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608495.270 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 b) (/ -1 b))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544608495.270 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.271 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608495.271 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.271 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608495.271 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.272 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608495.272 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.272 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608495.272 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.273 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608495.273 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.273 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 (/ 1 (- b))) (/ -1 (/ 1 (- b))))) into (sqrt (atan2 b b))
1544608495.273 * * * [misc]progress:  simplifying candidates
1544608495.273 * * * * [misc]progress:  [ 1 / 17 ] simplifiying candidate #<alt (λ (a b) (sin (pow (log1p (expm1 (sqrt (atan2 b b)))) (- b a))))>
1544608495.273 * * * * [misc]progress:  [ 2 / 17 ] simplifiying candidate #<alt (λ (a b) (sin (pow (expm1 (log1p (sqrt (atan2 b b)))) (- b a))))>
1544608495.273 * * * * [misc]progress:  [ 3 / 17 ] simplifiying candidate #<alt (λ (a b) (sin (pow (pow (atan2 b b) 1/2) (- b a))))>
1544608495.273 * * * * [misc]progress:  [ 4 / 17 ] simplifiying candidate #<alt (λ (a b) (sin (pow (pow (sqrt (atan2 b b)) 1) (- b a))))>
1544608495.273 * * * * [misc]progress:  [ 5 / 17 ] simplifiying candidate #<alt (λ (a b) (sin (pow (exp (log (sqrt (atan2 b b)))) (- b a))))>
1544608495.273 * * * * [misc]progress:  [ 6 / 17 ] simplifiying candidate #<alt (λ (a b) (sin (pow (log (exp (sqrt (atan2 b b)))) (- b a))))>
1544608495.273 * * * * [misc]progress:  [ 7 / 17 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (* (cbrt (sqrt (atan2 b b))) (cbrt (sqrt (atan2 b b)))) (cbrt (sqrt (atan2 b b)))) (- b a))))>
1544608495.273 * * * * [misc]progress:  [ 8 / 17 ] simplifiying candidate #<alt (λ (a b) (sin (pow (cbrt (* (* (sqrt (atan2 b b)) (sqrt (atan2 b b))) (sqrt (atan2 b b)))) (- b a))))>
1544608495.273 * * * * [misc]progress:  [ 9 / 17 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (* (cbrt (atan2 b b)) (cbrt (atan2 b b)))) (sqrt (cbrt (atan2 b b)))) (- b a))))>
1544608495.274 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 b b)) (cbrt (atan2 b b))))
1544608495.274 * * [misc]simplify:  iters left: 5 (5 enodes)
1544608495.275 * * [misc]simplify:  iters left: 4 (6 enodes)
1544608495.276 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 b b)))
1544608495.276 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a b) (sin (pow (* (fabs (cbrt (atan2 b b))) (sqrt (cbrt (atan2 b b)))) (- b a))))
1544608495.276 * * * * [misc]progress:  [ 10 / 17 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544608495.276 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 b b)))
1544608495.277 * * [misc]simplify:  iters left: 3 (4 enodes)
1544608495.277 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 b b)))
1544608495.277 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))
1544608495.278 * * * * [misc]progress:  [ 11 / 17 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt 1) (sqrt (atan2 b b))) (- b a))))>
1544608495.278 * [enter]simplify:  Simplifying (sqrt 1)
1544608495.278 * * [misc]simplify:  iters left: 1 (2 enodes)
1544608495.279 * [exit]simplify:  Simplified to 1
1544608495.279 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a b) (sin (pow (* 1 (sqrt (atan2 b b))) (- b a))))
1544608495.279 * * * * [misc]progress:  [ 12 / 17 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544608495.279 * * * * [misc]progress:  [ 13 / 17 ] simplifiying candidate #<alt (λ (a b) (sin (pow (fabs (sqrt (atan2 b b))) (- b a))))>
1544608495.280 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544608495.280 * * [misc]simplify:  iters left: 2 (3 enodes)
1544608495.280 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544608495.280 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a b) (sin (pow (fabs (sqrt (atan2 b b))) (- b a))))
1544608495.280 * * * * [misc]progress:  [ 14 / 17 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* 1 (sqrt (atan2 b b))) (- b a))))>
1544608495.280 * * * * [misc]progress:  [ 15 / 17 ] simplifiying candidate #<alt (λ (a b) (sin (pow (sqrt (atan2 b b)) (- b a))))>
1544608495.281 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544608495.281 * * [misc]simplify:  iters left: 2 (3 enodes)
1544608495.281 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544608495.281 * [misc]simplify:  Simplified (2 1 1) to (λ (a b) (sin (pow (sqrt (atan2 b b)) (- b a))))
1544608495.281 * * * * [misc]progress:  [ 16 / 17 ] simplifiying candidate #<alt (λ (a b) (sin (pow (sqrt (atan2 b b)) (- b a))))>
1544608495.281 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544608495.282 * * [misc]simplify:  iters left: 2 (3 enodes)
1544608495.282 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544608495.282 * [misc]simplify:  Simplified (2 1 1) to (λ (a b) (sin (pow (sqrt (atan2 b b)) (- b a))))
1544608495.282 * * * * [misc]progress:  [ 17 / 17 ] simplifiying candidate #<alt (λ (a b) (sin (pow (sqrt (atan2 b b)) (- b a))))>
1544608495.282 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544608495.283 * * [misc]simplify:  iters left: 2 (3 enodes)
1544608495.283 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544608495.283 * [misc]simplify:  Simplified (2 1 1) to (λ (a b) (sin (pow (sqrt (atan2 b b)) (- b a))))
1544608495.283 * * * [misc]progress:  adding candidates to table
1544608495.608 * * [misc]progress:  iteration 2 / 4
1544608495.608 * * * [misc]progress:  picking best candidate
1544608495.613 * * * * [misc]pick:  Picked  #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544608495.613 * * * [misc]progress:  localizing error
1544608495.627 * * * [misc]progress:  generating rewritten candidates
1544608495.627 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1 1 2 1)
1544608495.632 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1 1 1 1)
1544608495.636 * * * [misc]progress:  generating series expansions
1544608495.636 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1 1 2 1)
1544608495.636 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544608495.636 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 b b)) in (b) around 0
1544608495.637 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 b b)) in b
1544608495.637 * [misc]taylor:  Taking taylor expansion of (atan2 b b) in b
1544608495.637 * [misc]backup-simplify:  Simplify (atan2 b b) into (atan2 b b)
1544608495.637 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544608495.637 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 b b)))) into 0
1544608495.637 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 b b)) in b
1544608495.637 * [misc]taylor:  Taking taylor expansion of (atan2 b b) in b
1544608495.637 * [misc]backup-simplify:  Simplify (atan2 b b) into (atan2 b b)
1544608495.637 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544608495.637 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 b b)))) into 0
1544608495.637 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544608495.637 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.638 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 b b)))) into 0
1544608495.638 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.638 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544608495.638 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.639 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544608495.639 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.639 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544608495.639 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.640 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544608495.640 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.640 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544608495.640 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544608495.640 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in (b) around 0
1544608495.640 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b
1544608495.640 * [misc]taylor:  Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b
1544608495.640 * [misc]backup-simplify:  Simplify (atan2 (/ 1 b) (/ 1 b)) into (atan2 (/ 1 b) (/ 1 b))
1544608495.640 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544608495.640 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608495.640 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b
1544608495.640 * [misc]taylor:  Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b
1544608495.640 * [misc]backup-simplify:  Simplify (atan2 (/ 1 b) (/ 1 b)) into (atan2 (/ 1 b) (/ 1 b))
1544608495.640 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544608495.640 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608495.640 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544608495.640 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.641 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608495.641 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.641 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608495.641 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.642 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608495.642 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.642 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608495.642 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.643 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608495.643 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.643 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 (/ 1 b)) (/ 1 (/ 1 b)))) into (sqrt (atan2 b b))
1544608495.643 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 (- b)) (/ 1 (- b)))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544608495.643 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in (b) around 0
1544608495.643 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in b
1544608495.643 * [misc]taylor:  Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b
1544608495.643 * [misc]backup-simplify:  Simplify (atan2 (/ -1 b) (/ -1 b)) into (atan2 (/ -1 b) (/ -1 b))
1544608495.643 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 b) (/ -1 b))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544608495.643 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608495.643 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in b
1544608495.643 * [misc]taylor:  Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b
1544608495.643 * [misc]backup-simplify:  Simplify (atan2 (/ -1 b) (/ -1 b)) into (atan2 (/ -1 b) (/ -1 b))
1544608495.643 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 b) (/ -1 b))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544608495.644 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608495.644 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 b) (/ -1 b))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544608495.644 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.644 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608495.644 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.645 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608495.645 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.645 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608495.645 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.646 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608495.646 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.646 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608495.646 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.647 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 (/ 1 (- b))) (/ -1 (/ 1 (- b))))) into (sqrt (atan2 b b))
1544608495.647 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1 1 1 1)
1544608495.647 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544608495.647 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 b b)) in (b) around 0
1544608495.647 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 b b)) in b
1544608495.647 * [misc]taylor:  Taking taylor expansion of (atan2 b b) in b
1544608495.647 * [misc]backup-simplify:  Simplify (atan2 b b) into (atan2 b b)
1544608495.647 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544608495.647 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 b b)))) into 0
1544608495.647 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 b b)) in b
1544608495.647 * [misc]taylor:  Taking taylor expansion of (atan2 b b) in b
1544608495.647 * [misc]backup-simplify:  Simplify (atan2 b b) into (atan2 b b)
1544608495.647 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544608495.647 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 b b)))) into 0
1544608495.648 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544608495.648 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.649 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 b b)))) into 0
1544608495.649 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.649 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544608495.649 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.650 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544608495.650 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.651 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544608495.651 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.652 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544608495.652 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.652 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544608495.652 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544608495.652 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in (b) around 0
1544608495.652 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b
1544608495.652 * [misc]taylor:  Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b
1544608495.652 * [misc]backup-simplify:  Simplify (atan2 (/ 1 b) (/ 1 b)) into (atan2 (/ 1 b) (/ 1 b))
1544608495.652 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544608495.652 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608495.652 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b
1544608495.652 * [misc]taylor:  Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b
1544608495.652 * [misc]backup-simplify:  Simplify (atan2 (/ 1 b) (/ 1 b)) into (atan2 (/ 1 b) (/ 1 b))
1544608495.653 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544608495.653 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608495.653 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544608495.653 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.654 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608495.654 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.654 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608495.654 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.655 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608495.655 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.656 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608495.656 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.657 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608495.657 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.657 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 (/ 1 b)) (/ 1 (/ 1 b)))) into (sqrt (atan2 b b))
1544608495.657 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 (- b)) (/ 1 (- b)))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544608495.657 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in (b) around 0
1544608495.657 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in b
1544608495.657 * [misc]taylor:  Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b
1544608495.657 * [misc]backup-simplify:  Simplify (atan2 (/ -1 b) (/ -1 b)) into (atan2 (/ -1 b) (/ -1 b))
1544608495.657 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 b) (/ -1 b))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544608495.657 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608495.657 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in b
1544608495.657 * [misc]taylor:  Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b
1544608495.657 * [misc]backup-simplify:  Simplify (atan2 (/ -1 b) (/ -1 b)) into (atan2 (/ -1 b) (/ -1 b))
1544608495.658 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 b) (/ -1 b))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544608495.658 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608495.658 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 b) (/ -1 b))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544608495.658 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.659 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608495.659 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.659 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608495.659 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.660 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608495.661 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.661 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608495.661 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.662 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608495.662 * [misc]backup-simplify:  Simplify 0 into 0
1544608495.662 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 (/ 1 (- b))) (/ -1 (/ 1 (- b))))) into (sqrt (atan2 b b))
1544608495.662 * * * [misc]progress:  simplifying candidates
1544608495.662 * * * * [misc]progress:  [ 1 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (log1p (expm1 (sqrt (atan2 b b)))))) (- b a))))>
1544608495.662 * * * * [misc]progress:  [ 2 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (expm1 (log1p (sqrt (atan2 b b)))))) (- b a))))>
1544608495.662 * * * * [misc]progress:  [ 3 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (pow (atan2 b b) 1/2))) (- b a))))>
1544608495.662 * * * * [misc]progress:  [ 4 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (pow (sqrt (atan2 b b)) 1))) (- b a))))>
1544608495.662 * * * * [misc]progress:  [ 5 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (exp (log (sqrt (atan2 b b)))))) (- b a))))>
1544608495.662 * * * * [misc]progress:  [ 6 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (log (exp (sqrt (atan2 b b)))))) (- b a))))>
1544608495.662 * * * * [misc]progress:  [ 7 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (* (* (cbrt (sqrt (atan2 b b))) (cbrt (sqrt (atan2 b b)))) (cbrt (sqrt (atan2 b b)))))) (- b a))))>
1544608495.663 * * * * [misc]progress:  [ 8 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (cbrt (* (* (sqrt (atan2 b b)) (sqrt (atan2 b b))) (sqrt (atan2 b b)))))) (- b a))))>
1544608495.663 * * * * [misc]progress:  [ 9 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (* (sqrt (* (cbrt (atan2 b b)) (cbrt (atan2 b b)))) (sqrt (cbrt (atan2 b b)))))) (- b a))))>
1544608495.663 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 b b)) (cbrt (atan2 b b))))
1544608495.664 * * [misc]simplify:  iters left: 5 (5 enodes)
1544608495.665 * * [misc]simplify:  iters left: 4 (6 enodes)
1544608495.667 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 b b)))
1544608495.667 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (* (fabs (cbrt (atan2 b b))) (sqrt (cbrt (atan2 b b)))))) (- b a))))
1544608495.668 * * * * [misc]progress:  [ 10 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))))) (- b a))))>
1544608495.668 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 b b)))
1544608495.668 * * [misc]simplify:  iters left: 3 (4 enodes)
1544608495.669 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 b b)))
1544608495.669 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))))) (- b a))))
1544608495.670 * * * * [misc]progress:  [ 11 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (* (sqrt 1) (sqrt (atan2 b b))))) (- b a))))>
1544608495.670 * [enter]simplify:  Simplifying (sqrt 1)
1544608495.670 * * [misc]simplify:  iters left: 1 (2 enodes)
1544608495.671 * [exit]simplify:  Simplified to 1
1544608495.671 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (* 1 (sqrt (atan2 b b))))) (- b a))))
1544608495.671 * * * * [misc]progress:  [ 12 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))))) (- b a))))>
1544608495.672 * * * * [misc]progress:  [ 13 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (fabs (sqrt (atan2 b b))))) (- b a))))>
1544608495.672 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544608495.672 * * [misc]simplify:  iters left: 2 (3 enodes)
1544608495.673 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544608495.673 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (fabs (sqrt (atan2 b b))))) (- b a))))
1544608495.673 * * * * [misc]progress:  [ 14 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (* 1 (sqrt (atan2 b b))))) (- b a))))>
1544608495.673 * * * * [misc]progress:  [ 15 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (log1p (expm1 (sqrt (atan2 b b))))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544608495.673 * * * * [misc]progress:  [ 16 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (expm1 (log1p (sqrt (atan2 b b))))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544608495.673 * * * * [misc]progress:  [ 17 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (pow (atan2 b b) 1/2)) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544608495.673 * * * * [misc]progress:  [ 18 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (pow (sqrt (atan2 b b)) 1)) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544608495.673 * * * * [misc]progress:  [ 19 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (exp (log (sqrt (atan2 b b))))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544608495.673 * * * * [misc]progress:  [ 20 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (log (exp (sqrt (atan2 b b))))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544608495.673 * * * * [misc]progress:  [ 21 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (* (* (cbrt (sqrt (atan2 b b))) (cbrt (sqrt (atan2 b b)))) (cbrt (sqrt (atan2 b b))))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544608495.673 * * * * [misc]progress:  [ 22 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (cbrt (* (* (sqrt (atan2 b b)) (sqrt (atan2 b b))) (sqrt (atan2 b b))))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544608495.674 * * * * [misc]progress:  [ 23 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (* (sqrt (* (cbrt (atan2 b b)) (cbrt (atan2 b b)))) (sqrt (cbrt (atan2 b b))))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544608495.674 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 b b)) (cbrt (atan2 b b))))
1544608495.674 * * [misc]simplify:  iters left: 5 (5 enodes)
1544608495.676 * * [misc]simplify:  iters left: 4 (6 enodes)
1544608495.678 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 b b)))
1544608495.678 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a b) (sin (pow (* (sqrt (* (fabs (cbrt (atan2 b b))) (sqrt (cbrt (atan2 b b))))) (sqrt (sqrt (atan2 b b)))) (- b a))))
1544608495.678 * * * * [misc]progress:  [ 24 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b))))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544608495.678 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 b b)))
1544608495.678 * * [misc]simplify:  iters left: 3 (4 enodes)
1544608495.680 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 b b)))
1544608495.680 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a b) (sin (pow (* (sqrt (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b))))) (sqrt (sqrt (atan2 b b)))) (- b a))))
1544608495.680 * * * * [misc]progress:  [ 25 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (* (sqrt 1) (sqrt (atan2 b b)))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544608495.680 * [enter]simplify:  Simplifying (sqrt 1)
1544608495.680 * * [misc]simplify:  iters left: 1 (2 enodes)
1544608495.682 * [exit]simplify:  Simplified to 1
1544608495.682 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a b) (sin (pow (* (sqrt (* 1 (sqrt (atan2 b b)))) (sqrt (sqrt (atan2 b b)))) (- b a))))
1544608495.682 * * * * [misc]progress:  [ 26 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b))))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544608495.682 * * * * [misc]progress:  [ 27 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (fabs (sqrt (atan2 b b)))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544608495.682 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544608495.682 * * [misc]simplify:  iters left: 2 (3 enodes)
1544608495.683 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544608495.683 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a b) (sin (pow (* (sqrt (fabs (sqrt (atan2 b b)))) (sqrt (sqrt (atan2 b b)))) (- b a))))
1544608495.683 * * * * [misc]progress:  [ 28 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (* 1 (sqrt (atan2 b b)))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544608495.683 * * * * [misc]progress:  [ 29 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544608495.684 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544608495.684 * * [misc]simplify:  iters left: 2 (3 enodes)
1544608495.685 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544608495.685 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))
1544608495.685 * * * * [misc]progress:  [ 30 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544608495.685 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544608495.685 * * [misc]simplify:  iters left: 2 (3 enodes)
1544608495.686 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544608495.686 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))
1544608495.686 * * * * [misc]progress:  [ 31 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544608495.686 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544608495.687 * * [misc]simplify:  iters left: 2 (3 enodes)
1544608495.688 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544608495.688 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))
1544608495.688 * * * * [misc]progress:  [ 32 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544608495.688 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544608495.688 * * [misc]simplify:  iters left: 2 (3 enodes)
1544608495.689 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544608495.689 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))
1544608495.689 * * * * [misc]progress:  [ 33 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544608495.690 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544608495.690 * * [misc]simplify:  iters left: 2 (3 enodes)
1544608495.691 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544608495.691 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))
1544608495.691 * * * * [misc]progress:  [ 34 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544608495.691 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544608495.691 * * [misc]simplify:  iters left: 2 (3 enodes)
1544608495.693 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544608495.693 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))
1544608495.693 * * * [misc]progress:  adding candidates to table
1544608496.352 * [misc]progress:  [Phase 3 of 3] Extracting.
1544608496.360 * [enter]simplify:  Simplifying (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a)))
1544608496.361 * * [misc]simplify:  iters left: 6 (9 enodes)
1544608496.362 * [exit]simplify:  Simplified to (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a)))
1544608496.362 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1544608499.313 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608499.315 * * * * [misc]points:  Sampling 4746 additional inputs, on iter 1 have 3254 / 8000
1544608501.148 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608501.149 * * * * [misc]points:  Sampling 2840 additional inputs, on iter 2 have 5160 / 8000
1544608501.875 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608501.876 * * * * [misc]points:  Sampling 1685 additional inputs, on iter 3 have 6315 / 8000
1544608502.285 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608502.285 * * * * [misc]points:  Sampling 953 additional inputs, on iter 4 have 7047 / 8000
1544608502.637 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608502.638 * * * * [misc]points:  Sampling 572 additional inputs, on iter 5 have 7428 / 8000
1544608502.760 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608502.761 * * * * [misc]points:  Sampling 335 additional inputs, on iter 6 have 7665 / 8000
1544608502.828 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608502.828 * * * * [misc]points:  Sampling 200 additional inputs, on iter 7 have 7800 / 8000
1544608503.241 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608503.241 * * * * [misc]points:  Sampling 130 additional inputs, on iter 8 have 7870 / 8000
1544608503.289 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608503.290 * * * * [misc]points:  Sampling 77 additional inputs, on iter 9 have 7923 / 8000
1544608503.316 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608503.316 * * * * [misc]points:  Sampling 50 additional inputs, on iter 10 have 7950 / 8000
1544608503.334 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608503.334 * * * * [misc]points:  Sampling 27 additional inputs, on iter 11 have 7973 / 8000
1544608503.344 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608503.344 * * * * [misc]points:  Sampling 18 additional inputs, on iter 12 have 7982 / 8000
1544608503.349 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608503.349 * * * * [misc]points:  Sampling 10 additional inputs, on iter 13 have 7990 / 8000
1544608503.352 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608503.352 * * * * [misc]points:  Sampling 7 additional inputs, on iter 14 have 7993 / 8000
1544608503.354 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608503.354 * * * * [misc]points:  Sampling 4 additional inputs, on iter 15 have 7996 / 8000
1544608503.356 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608503.356 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 7999 / 8000
1544608503.358 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608503.358 * * * * [exit]points:  Sampled 8002 points with exact outputs