1544608510.099 * [misc]progress:  [Phase 1 of 3] Setting up.
1544608510.099 * * * [misc]progress:  [1/2] Preparing points
1544608510.099 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1544608510.146 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608510.146 * * * * [misc]points:  Sampling 154 additional inputs, on iter 1 have 102 / 256
1544608510.171 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608510.172 * * * * [misc]points:  Sampling 88 additional inputs, on iter 2 have 168 / 256
1544608510.196 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608510.196 * * * * [misc]points:  Sampling 47 additional inputs, on iter 3 have 209 / 256
1544608510.215 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608510.215 * * * * [misc]points:  Sampling 32 additional inputs, on iter 4 have 224 / 256
1544608510.225 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608510.225 * * * * [misc]points:  Sampling 19 additional inputs, on iter 5 have 237 / 256
1544608510.234 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608510.234 * * * * [misc]points:  Sampling 10 additional inputs, on iter 6 have 246 / 256
1544608510.267 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608510.267 * * * * [misc]points:  Sampling 7 additional inputs, on iter 7 have 249 / 256
1544608510.269 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608510.269 * * * * [misc]points:  Sampling 5 additional inputs, on iter 8 have 251 / 256
1544608510.271 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608510.271 * * * * [misc]points:  Sampling 4 additional inputs, on iter 9 have 252 / 256
1544608510.273 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608510.273 * * * * [misc]points:  Sampling 4 additional inputs, on iter 10 have 254 / 256
1544608510.275 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608510.275 * * * * [misc]points:  Sampling 4 additional inputs, on iter 11 have 255 / 256
1544608510.277 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608510.277 * * * * [exit]points:  Sampled 256 points with exact outputs
1544608510.277 * * * [misc]progress:  [2/2] Setting up program.
1544608510.284 * [misc]progress:  [Phase 2 of 3] Improving.
1544608510.285 * [enter]simplify:  Simplifying (sin (pow (sqrt (atan2 b b)) (- b a)))
1544608510.286 * * [misc]simplify:  iters left: 4 (7 enodes)
1544608510.291 * * [misc]simplify:  iters left: 3 (9 enodes)
1544608510.293 * * [misc]simplify:  iters left: 2 (10 enodes)
1544608510.296 * [exit]simplify:  Simplified to (sin (pow (sqrt (atan2 b b)) (- b a)))
1544608510.313 * * [misc]progress:  iteration 1 / 4
1544608510.313 * * * [misc]progress:  picking best candidate
1544608510.322 * * * * [misc]pick:  Picked  #<alt (λ (a b) (sin (pow (sqrt (atan2 b b)) (- b a))))>
1544608510.322 * * * [misc]progress:  localizing error
1544608510.358 * * * [misc]progress:  generating rewritten candidates
1544608510.358 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2 1 1)
1544608510.369 * * * [misc]progress:  generating series expansions
1544608510.369 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2 1 1)
1544608510.391 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544608510.392 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 b b)) in (b) around 0
1544608510.393 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 b b)) in b
1544608510.393 * [misc]taylor:  Taking taylor expansion of (atan2 b b) in b
1544608510.395 * [misc]backup-simplify:  Simplify (atan2 b b) into (atan2 b b)
1544608510.395 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544608510.395 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 b b)))) into 0
1544608510.395 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 b b)) in b
1544608510.395 * [misc]taylor:  Taking taylor expansion of (atan2 b b) in b
1544608510.395 * [misc]backup-simplify:  Simplify (atan2 b b) into (atan2 b b)
1544608510.395 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544608510.395 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 b b)))) into 0
1544608510.396 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544608510.396 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.398 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 b b)))) into 0
1544608510.398 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.399 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544608510.399 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.399 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544608510.399 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.400 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544608510.400 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.400 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544608510.400 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.400 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544608510.400 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544608510.400 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in (b) around 0
1544608510.400 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b
1544608510.400 * [misc]taylor:  Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b
1544608510.401 * [misc]backup-simplify:  Simplify (atan2 (/ 1 b) (/ 1 b)) into (atan2 (/ 1 b) (/ 1 b))
1544608510.401 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544608510.401 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608510.401 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b
1544608510.401 * [misc]taylor:  Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b
1544608510.401 * [misc]backup-simplify:  Simplify (atan2 (/ 1 b) (/ 1 b)) into (atan2 (/ 1 b) (/ 1 b))
1544608510.401 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544608510.401 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608510.401 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544608510.401 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.402 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608510.402 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.402 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608510.402 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.403 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608510.403 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.403 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608510.403 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.403 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608510.403 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.404 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 (/ 1 b)) (/ 1 (/ 1 b)))) into (sqrt (atan2 b b))
1544608510.404 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 (- b)) (/ 1 (- b)))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544608510.404 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in (b) around 0
1544608510.404 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in b
1544608510.404 * [misc]taylor:  Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b
1544608510.404 * [misc]backup-simplify:  Simplify (atan2 (/ -1 b) (/ -1 b)) into (atan2 (/ -1 b) (/ -1 b))
1544608510.404 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 b) (/ -1 b))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544608510.404 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608510.404 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in b
1544608510.404 * [misc]taylor:  Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b
1544608510.404 * [misc]backup-simplify:  Simplify (atan2 (/ -1 b) (/ -1 b)) into (atan2 (/ -1 b) (/ -1 b))
1544608510.404 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 b) (/ -1 b))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544608510.404 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608510.405 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 b) (/ -1 b))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544608510.405 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.405 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608510.405 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.406 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608510.406 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.406 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608510.406 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.406 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608510.406 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.407 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608510.407 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.407 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 (/ 1 (- b))) (/ -1 (/ 1 (- b))))) into (sqrt (atan2 b b))
1544608510.407 * * * [misc]progress:  simplifying candidates
1544608510.407 * * * * [misc]progress:  [ 1 / 17 ] simplifiying candidate #<alt (λ (a b) (sin (pow (log1p (expm1 (sqrt (atan2 b b)))) (- b a))))>
1544608510.408 * * * * [misc]progress:  [ 2 / 17 ] simplifiying candidate #<alt (λ (a b) (sin (pow (expm1 (log1p (sqrt (atan2 b b)))) (- b a))))>
1544608510.408 * * * * [misc]progress:  [ 3 / 17 ] simplifiying candidate #<alt (λ (a b) (sin (pow (pow (atan2 b b) 1/2) (- b a))))>
1544608510.408 * * * * [misc]progress:  [ 4 / 17 ] simplifiying candidate #<alt (λ (a b) (sin (pow (pow (sqrt (atan2 b b)) 1) (- b a))))>
1544608510.408 * * * * [misc]progress:  [ 5 / 17 ] simplifiying candidate #<alt (λ (a b) (sin (pow (exp (log (sqrt (atan2 b b)))) (- b a))))>
1544608510.408 * * * * [misc]progress:  [ 6 / 17 ] simplifiying candidate #<alt (λ (a b) (sin (pow (log (exp (sqrt (atan2 b b)))) (- b a))))>
1544608510.408 * * * * [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))))>
1544608510.408 * * * * [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))))>
1544608510.408 * * * * [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))))>
1544608510.408 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 b b)) (cbrt (atan2 b b))))
1544608510.409 * * [misc]simplify:  iters left: 5 (5 enodes)
1544608510.410 * * [misc]simplify:  iters left: 4 (6 enodes)
1544608510.411 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 b b)))
1544608510.411 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a b) (sin (pow (* (fabs (cbrt (atan2 b b))) (sqrt (cbrt (atan2 b b)))) (- b a))))
1544608510.411 * * * * [misc]progress:  [ 10 / 17 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544608510.411 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 b b)))
1544608510.412 * * [misc]simplify:  iters left: 3 (4 enodes)
1544608510.412 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 b b)))
1544608510.412 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))
1544608510.412 * * * * [misc]progress:  [ 11 / 17 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt 1) (sqrt (atan2 b b))) (- b a))))>
1544608510.412 * [enter]simplify:  Simplifying (sqrt 1)
1544608510.413 * * [misc]simplify:  iters left: 1 (2 enodes)
1544608510.414 * [exit]simplify:  Simplified to 1
1544608510.414 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a b) (sin (pow (* 1 (sqrt (atan2 b b))) (- b a))))
1544608510.414 * * * * [misc]progress:  [ 12 / 17 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544608510.414 * * * * [misc]progress:  [ 13 / 17 ] simplifiying candidate #<alt (λ (a b) (sin (pow (fabs (sqrt (atan2 b b))) (- b a))))>
1544608510.414 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544608510.415 * * [misc]simplify:  iters left: 2 (3 enodes)
1544608510.415 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544608510.415 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a b) (sin (pow (fabs (sqrt (atan2 b b))) (- b a))))
1544608510.415 * * * * [misc]progress:  [ 14 / 17 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* 1 (sqrt (atan2 b b))) (- b a))))>
1544608510.415 * * * * [misc]progress:  [ 15 / 17 ] simplifiying candidate #<alt (λ (a b) (sin (pow (sqrt (atan2 b b)) (- b a))))>
1544608510.415 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544608510.416 * * [misc]simplify:  iters left: 2 (3 enodes)
1544608510.416 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544608510.416 * [misc]simplify:  Simplified (2 1 1) to (λ (a b) (sin (pow (sqrt (atan2 b b)) (- b a))))
1544608510.416 * * * * [misc]progress:  [ 16 / 17 ] simplifiying candidate #<alt (λ (a b) (sin (pow (sqrt (atan2 b b)) (- b a))))>
1544608510.416 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544608510.417 * * [misc]simplify:  iters left: 2 (3 enodes)
1544608510.417 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544608510.417 * [misc]simplify:  Simplified (2 1 1) to (λ (a b) (sin (pow (sqrt (atan2 b b)) (- b a))))
1544608510.417 * * * * [misc]progress:  [ 17 / 17 ] simplifiying candidate #<alt (λ (a b) (sin (pow (sqrt (atan2 b b)) (- b a))))>
1544608510.417 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544608510.417 * * [misc]simplify:  iters left: 2 (3 enodes)
1544608510.418 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544608510.418 * [misc]simplify:  Simplified (2 1 1) to (λ (a b) (sin (pow (sqrt (atan2 b b)) (- b a))))
1544608510.418 * * * [misc]progress:  adding candidates to table
1544608510.753 * * [misc]progress:  iteration 2 / 4
1544608510.753 * * * [misc]progress:  picking best candidate
1544608510.764 * * * * [misc]pick:  Picked  #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544608510.765 * * * [misc]progress:  localizing error
1544608510.785 * * * [misc]progress:  generating rewritten candidates
1544608510.785 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1 1 2 1)
1544608510.790 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1 1 1 1)
1544608510.794 * * * [misc]progress:  generating series expansions
1544608510.794 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1 1 2 1)
1544608510.794 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544608510.794 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 b b)) in (b) around 0
1544608510.795 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 b b)) in b
1544608510.795 * [misc]taylor:  Taking taylor expansion of (atan2 b b) in b
1544608510.795 * [misc]backup-simplify:  Simplify (atan2 b b) into (atan2 b b)
1544608510.795 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544608510.795 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 b b)))) into 0
1544608510.795 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 b b)) in b
1544608510.795 * [misc]taylor:  Taking taylor expansion of (atan2 b b) in b
1544608510.795 * [misc]backup-simplify:  Simplify (atan2 b b) into (atan2 b b)
1544608510.795 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544608510.795 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 b b)))) into 0
1544608510.795 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544608510.795 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.797 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 b b)))) into 0
1544608510.797 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.797 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544608510.797 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.797 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544608510.797 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.798 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544608510.798 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.798 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544608510.798 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.799 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544608510.799 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544608510.799 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in (b) around 0
1544608510.799 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b
1544608510.799 * [misc]taylor:  Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b
1544608510.799 * [misc]backup-simplify:  Simplify (atan2 (/ 1 b) (/ 1 b)) into (atan2 (/ 1 b) (/ 1 b))
1544608510.799 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544608510.799 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608510.799 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b
1544608510.799 * [misc]taylor:  Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b
1544608510.799 * [misc]backup-simplify:  Simplify (atan2 (/ 1 b) (/ 1 b)) into (atan2 (/ 1 b) (/ 1 b))
1544608510.799 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544608510.799 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608510.799 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544608510.799 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.800 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608510.800 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.800 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608510.800 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.801 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608510.801 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.801 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608510.801 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.802 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608510.802 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.802 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 (/ 1 b)) (/ 1 (/ 1 b)))) into (sqrt (atan2 b b))
1544608510.802 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 (- b)) (/ 1 (- b)))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544608510.802 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in (b) around 0
1544608510.802 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in b
1544608510.802 * [misc]taylor:  Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b
1544608510.802 * [misc]backup-simplify:  Simplify (atan2 (/ -1 b) (/ -1 b)) into (atan2 (/ -1 b) (/ -1 b))
1544608510.802 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 b) (/ -1 b))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544608510.802 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608510.802 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in b
1544608510.802 * [misc]taylor:  Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b
1544608510.802 * [misc]backup-simplify:  Simplify (atan2 (/ -1 b) (/ -1 b)) into (atan2 (/ -1 b) (/ -1 b))
1544608510.802 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 b) (/ -1 b))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544608510.802 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608510.802 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 b) (/ -1 b))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544608510.803 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.803 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608510.803 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.803 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608510.803 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.804 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608510.804 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.804 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608510.804 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.805 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608510.805 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.805 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 (/ 1 (- b))) (/ -1 (/ 1 (- b))))) into (sqrt (atan2 b b))
1544608510.805 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1 1 1 1)
1544608510.805 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544608510.805 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 b b)) in (b) around 0
1544608510.805 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 b b)) in b
1544608510.805 * [misc]taylor:  Taking taylor expansion of (atan2 b b) in b
1544608510.805 * [misc]backup-simplify:  Simplify (atan2 b b) into (atan2 b b)
1544608510.805 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544608510.805 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 b b)))) into 0
1544608510.805 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 b b)) in b
1544608510.805 * [misc]taylor:  Taking taylor expansion of (atan2 b b) in b
1544608510.805 * [misc]backup-simplify:  Simplify (atan2 b b) into (atan2 b b)
1544608510.805 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544608510.806 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 b b)))) into 0
1544608510.806 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544608510.806 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.806 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 b b)))) into 0
1544608510.806 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.806 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544608510.806 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.807 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544608510.807 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.807 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544608510.807 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.808 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544608510.808 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.808 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544608510.808 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544608510.808 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in (b) around 0
1544608510.808 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b
1544608510.808 * [misc]taylor:  Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b
1544608510.808 * [misc]backup-simplify:  Simplify (atan2 (/ 1 b) (/ 1 b)) into (atan2 (/ 1 b) (/ 1 b))
1544608510.808 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544608510.808 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608510.808 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b
1544608510.808 * [misc]taylor:  Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b
1544608510.808 * [misc]backup-simplify:  Simplify (atan2 (/ 1 b) (/ 1 b)) into (atan2 (/ 1 b) (/ 1 b))
1544608510.808 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544608510.808 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608510.809 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544608510.809 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.809 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608510.809 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.809 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608510.809 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.810 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608510.810 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.810 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608510.810 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.811 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544608510.811 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.811 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 (/ 1 b)) (/ 1 (/ 1 b)))) into (sqrt (atan2 b b))
1544608510.811 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 (- b)) (/ 1 (- b)))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544608510.811 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in (b) around 0
1544608510.811 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in b
1544608510.811 * [misc]taylor:  Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b
1544608510.811 * [misc]backup-simplify:  Simplify (atan2 (/ -1 b) (/ -1 b)) into (atan2 (/ -1 b) (/ -1 b))
1544608510.811 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 b) (/ -1 b))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544608510.811 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608510.811 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in b
1544608510.811 * [misc]taylor:  Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b
1544608510.811 * [misc]backup-simplify:  Simplify (atan2 (/ -1 b) (/ -1 b)) into (atan2 (/ -1 b) (/ -1 b))
1544608510.812 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 b) (/ -1 b))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544608510.812 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608510.812 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 b) (/ -1 b))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544608510.812 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.812 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608510.812 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.812 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608510.813 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.813 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608510.813 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.813 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608510.813 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.814 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544608510.814 * [misc]backup-simplify:  Simplify 0 into 0
1544608510.814 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 (/ 1 (- b))) (/ -1 (/ 1 (- b))))) into (sqrt (atan2 b b))
1544608510.814 * * * [misc]progress:  simplifying candidates
1544608510.814 * * * * [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))))>
1544608510.814 * * * * [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))))>
1544608510.814 * * * * [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))))>
1544608510.814 * * * * [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))))>
1544608510.814 * * * * [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))))>
1544608510.814 * * * * [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))))>
1544608510.814 * * * * [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))))>
1544608510.814 * * * * [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))))>
1544608510.814 * * * * [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))))>
1544608510.815 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 b b)) (cbrt (atan2 b b))))
1544608510.815 * * [misc]simplify:  iters left: 5 (5 enodes)
1544608510.816 * * [misc]simplify:  iters left: 4 (6 enodes)
1544608510.817 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 b b)))
1544608510.817 * [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))))
1544608510.817 * * * * [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))))>
1544608510.817 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 b b)))
1544608510.818 * * [misc]simplify:  iters left: 3 (4 enodes)
1544608510.818 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 b b)))
1544608510.818 * [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))))
1544608510.818 * * * * [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))))>
1544608510.819 * [enter]simplify:  Simplifying (sqrt 1)
1544608510.819 * * [misc]simplify:  iters left: 1 (2 enodes)
1544608510.820 * [exit]simplify:  Simplified to 1
1544608510.820 * [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))))
1544608510.820 * * * * [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))))>
1544608510.820 * * * * [misc]progress:  [ 13 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (fabs (sqrt (atan2 b b))))) (- b a))))>
1544608510.820 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544608510.821 * * [misc]simplify:  iters left: 2 (3 enodes)
1544608510.822 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544608510.822 * [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))))
1544608510.822 * * * * [misc]progress:  [ 14 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (* 1 (sqrt (atan2 b b))))) (- b a))))>
1544608510.822 * * * * [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))))>
1544608510.822 * * * * [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))))>
1544608510.822 * * * * [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))))>
1544608510.822 * * * * [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))))>
1544608510.822 * * * * [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))))>
1544608510.822 * * * * [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))))>
1544608510.822 * * * * [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))))>
1544608510.822 * * * * [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))))>
1544608510.822 * * * * [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))))>
1544608510.823 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 b b)) (cbrt (atan2 b b))))
1544608510.823 * * [misc]simplify:  iters left: 5 (5 enodes)
1544608510.825 * * [misc]simplify:  iters left: 4 (6 enodes)
1544608510.827 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 b b)))
1544608510.827 * [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))))
1544608510.827 * * * * [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))))>
1544608510.828 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 b b)))
1544608510.829 * * [misc]simplify:  iters left: 3 (4 enodes)
1544608510.830 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 b b)))
1544608510.830 * [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))))
1544608510.830 * * * * [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))))>
1544608510.830 * [enter]simplify:  Simplifying (sqrt 1)
1544608510.831 * * [misc]simplify:  iters left: 1 (2 enodes)
1544608510.832 * [exit]simplify:  Simplified to 1
1544608510.832 * [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))))
1544608510.832 * * * * [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))))>
1544608510.832 * * * * [misc]progress:  [ 27 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (fabs (sqrt (atan2 b b)))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544608510.832 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544608510.833 * * [misc]simplify:  iters left: 2 (3 enodes)
1544608510.834 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544608510.834 * [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))))
1544608510.834 * * * * [misc]progress:  [ 28 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (* 1 (sqrt (atan2 b b)))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544608510.834 * * * * [misc]progress:  [ 29 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544608510.834 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544608510.834 * * [misc]simplify:  iters left: 2 (3 enodes)
1544608510.836 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544608510.836 * [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))))
1544608510.836 * * * * [misc]progress:  [ 30 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544608510.836 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544608510.836 * * [misc]simplify:  iters left: 2 (3 enodes)
1544608510.837 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544608510.837 * [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))))
1544608510.837 * * * * [misc]progress:  [ 31 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544608510.838 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544608510.838 * * [misc]simplify:  iters left: 2 (3 enodes)
1544608510.839 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544608510.839 * [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))))
1544608510.839 * * * * [misc]progress:  [ 32 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544608510.839 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544608510.840 * * [misc]simplify:  iters left: 2 (3 enodes)
1544608510.841 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544608510.841 * [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))))
1544608510.841 * * * * [misc]progress:  [ 33 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544608510.841 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544608510.841 * * [misc]simplify:  iters left: 2 (3 enodes)
1544608510.843 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544608510.843 * [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))))
1544608510.843 * * * * [misc]progress:  [ 34 / 34 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544608510.843 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544608510.843 * * [misc]simplify:  iters left: 2 (3 enodes)
1544608510.844 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544608510.844 * [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))))
1544608510.844 * * * [misc]progress:  adding candidates to table
1544608511.556 * [misc]progress:  [Phase 3 of 3] Extracting.
1544608511.561 * [enter]simplify:  Simplifying (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a)))
1544608511.562 * * [misc]simplify:  iters left: 6 (9 enodes)
1544608511.563 * [exit]simplify:  Simplified to (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a)))
1544608511.563 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1544608514.313 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608514.316 * * * * [misc]points:  Sampling 4746 additional inputs, on iter 1 have 3254 / 8000
1544608515.626 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608515.627 * * * * [misc]points:  Sampling 2840 additional inputs, on iter 2 have 5160 / 8000
1544608516.762 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608516.763 * * * * [misc]points:  Sampling 1685 additional inputs, on iter 3 have 6315 / 8000
1544608517.257 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608517.258 * * * * [misc]points:  Sampling 953 additional inputs, on iter 4 have 7047 / 8000
1544608517.518 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608517.518 * * * * [misc]points:  Sampling 572 additional inputs, on iter 5 have 7428 / 8000
1544608517.675 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608517.675 * * * * [misc]points:  Sampling 335 additional inputs, on iter 6 have 7665 / 8000
1544608517.751 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608517.751 * * * * [misc]points:  Sampling 200 additional inputs, on iter 7 have 7800 / 8000
1544608517.835 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608517.835 * * * * [misc]points:  Sampling 130 additional inputs, on iter 8 have 7870 / 8000
1544608517.857 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608517.858 * * * * [misc]points:  Sampling 77 additional inputs, on iter 9 have 7923 / 8000
1544608517.878 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608517.879 * * * * [misc]points:  Sampling 50 additional inputs, on iter 10 have 7950 / 8000
1544608517.894 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608517.895 * * * * [misc]points:  Sampling 27 additional inputs, on iter 11 have 7973 / 8000
1544608517.904 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608517.904 * * * * [misc]points:  Sampling 18 additional inputs, on iter 12 have 7982 / 8000
1544608517.908 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608517.908 * * * * [misc]points:  Sampling 10 additional inputs, on iter 13 have 7990 / 8000
1544608517.911 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608517.911 * * * * [misc]points:  Sampling 7 additional inputs, on iter 14 have 7993 / 8000
1544608517.913 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608517.913 * * * * [misc]points:  Sampling 4 additional inputs, on iter 15 have 7996 / 8000
1544608517.915 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608517.915 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 7999 / 8000
1544608517.917 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544608517.917 * * * * [exit]points:  Sampled 8002 points with exact outputs