1544603436.966 * [misc]progress:  [Phase 1 of 3] Setting up.
1544603436.967 * * * [misc]progress:  [1/2] Preparing points
1544603436.967 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1544603437.139 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603437.140 * * * * [misc]points:  Sampling 154 additional inputs, on iter 1 have 102 / 256
1544603437.172 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603437.172 * * * * [misc]points:  Sampling 88 additional inputs, on iter 2 have 168 / 256
1544603437.185 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603437.186 * * * * [misc]points:  Sampling 47 additional inputs, on iter 3 have 209 / 256
1544603437.197 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603437.197 * * * * [misc]points:  Sampling 32 additional inputs, on iter 4 have 224 / 256
1544603437.203 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603437.203 * * * * [misc]points:  Sampling 19 additional inputs, on iter 5 have 237 / 256
1544603437.209 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603437.209 * * * * [misc]points:  Sampling 10 additional inputs, on iter 6 have 246 / 256
1544603437.214 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603437.214 * * * * [misc]points:  Sampling 7 additional inputs, on iter 7 have 249 / 256
1544603437.218 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603437.218 * * * * [misc]points:  Sampling 5 additional inputs, on iter 8 have 251 / 256
1544603437.222 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603437.222 * * * * [misc]points:  Sampling 4 additional inputs, on iter 9 have 252 / 256
1544603437.256 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603437.256 * * * * [misc]points:  Sampling 4 additional inputs, on iter 10 have 254 / 256
1544603437.260 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603437.260 * * * * [misc]points:  Sampling 4 additional inputs, on iter 11 have 255 / 256
1544603437.263 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603437.263 * * * * [exit]points:  Sampled 256 points with exact outputs
1544603437.267 * * * [misc]progress:  [2/2] Setting up program.
1544603437.276 * [misc]progress:  [Phase 2 of 3] Improving.
1544603437.277 * [enter]simplify:  Simplifying (sin (pow (sqrt (atan2 b b)) (- b a)))
1544603437.280 * * [misc]simplify:  iters left: 4 (7 enodes)
1544603437.288 * * [misc]simplify:  iters left: 3 (9 enodes)
1544603437.291 * * [misc]simplify:  iters left: 2 (10 enodes)
1544603437.296 * [exit]simplify:  Simplified to (sin (pow (sqrt (atan2 b b)) (- b a)))
1544603437.317 * * [misc]progress:  iteration 1 / 4
1544603437.317 * * * [misc]progress:  picking best candidate
1544603437.326 * * * * [misc]pick:  Picked  #<alt (λ (a b) (sin (pow (sqrt (atan2 b b)) (- b a))))>
1544603437.327 * * * [misc]progress:  localizing error
1544603437.365 * * * [misc]progress:  generating rewritten candidates
1544603437.366 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2 1 1)
1544603437.373 * * * [misc]progress:  generating series expansions
1544603437.374 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2 1 1)
1544603437.382 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544603437.382 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 b b)) in (b) around 0
1544603437.383 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 b b)) in b
1544603437.383 * [misc]taylor:  Taking taylor expansion of (atan2 b b) in b
1544603437.385 * [misc]backup-simplify:  Simplify (atan2 b b) into (atan2 b b)
1544603437.385 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544603437.385 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 b b)))) into 0
1544603437.385 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 b b)) in b
1544603437.385 * [misc]taylor:  Taking taylor expansion of (atan2 b b) in b
1544603437.385 * [misc]backup-simplify:  Simplify (atan2 b b) into (atan2 b b)
1544603437.386 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544603437.386 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 b b)))) into 0
1544603437.386 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544603437.386 * [misc]backup-simplify:  Simplify 0 into 0
1544603437.772 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 b b)))) into 0
1544603437.772 * [misc]backup-simplify:  Simplify 0 into 0
1544603437.772 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544603437.772 * [misc]backup-simplify:  Simplify 0 into 0
1544603437.773 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544603437.773 * [misc]backup-simplify:  Simplify 0 into 0
1544603437.774 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544603437.774 * [misc]backup-simplify:  Simplify 0 into 0
1544603437.775 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544603437.775 * [misc]backup-simplify:  Simplify 0 into 0
1544603437.775 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544603437.775 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544603437.775 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in (b) around 0
1544603437.775 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b
1544603437.775 * [misc]taylor:  Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b
1544603437.775 * [misc]backup-simplify:  Simplify (atan2 (/ 1 b) (/ 1 b)) into (atan2 (/ 1 b) (/ 1 b))
1544603437.775 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544603437.776 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603437.776 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b
1544603437.776 * [misc]taylor:  Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b
1544603437.776 * [misc]backup-simplify:  Simplify (atan2 (/ 1 b) (/ 1 b)) into (atan2 (/ 1 b) (/ 1 b))
1544603437.776 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544603437.776 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603437.776 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544603437.776 * [misc]backup-simplify:  Simplify 0 into 0
1544603437.777 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603437.777 * [misc]backup-simplify:  Simplify 0 into 0
1544603437.778 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603437.778 * [misc]backup-simplify:  Simplify 0 into 0
1544603437.778 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603437.779 * [misc]backup-simplify:  Simplify 0 into 0
1544603437.779 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603437.779 * [misc]backup-simplify:  Simplify 0 into 0
1544603437.780 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603437.780 * [misc]backup-simplify:  Simplify 0 into 0
1544603437.780 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 (/ 1 b)) (/ 1 (/ 1 b)))) into (sqrt (atan2 b b))
1544603437.781 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 (- b)) (/ 1 (- b)))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544603437.781 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in (b) around 0
1544603437.781 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in b
1544603437.781 * [misc]taylor:  Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b
1544603437.781 * [misc]backup-simplify:  Simplify (atan2 (/ -1 b) (/ -1 b)) into (atan2 (/ -1 b) (/ -1 b))
1544603437.781 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 b) (/ -1 b))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544603437.781 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603437.781 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in b
1544603437.781 * [misc]taylor:  Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b
1544603437.781 * [misc]backup-simplify:  Simplify (atan2 (/ -1 b) (/ -1 b)) into (atan2 (/ -1 b) (/ -1 b))
1544603437.781 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 b) (/ -1 b))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544603437.782 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603437.782 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 b) (/ -1 b))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544603437.782 * [misc]backup-simplify:  Simplify 0 into 0
1544603437.783 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603437.783 * [misc]backup-simplify:  Simplify 0 into 0
1544603437.783 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603437.783 * [misc]backup-simplify:  Simplify 0 into 0
1544603437.784 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603437.784 * [misc]backup-simplify:  Simplify 0 into 0
1544603437.785 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603437.785 * [misc]backup-simplify:  Simplify 0 into 0
1544603437.786 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603437.786 * [misc]backup-simplify:  Simplify 0 into 0
1544603437.786 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 (/ 1 (- b))) (/ -1 (/ 1 (- b))))) into (sqrt (atan2 b b))
1544603437.786 * * * [misc]progress:  simplifying candidates
1544603437.786 * * * * [misc]progress:  [ 1 / 15 ] simplifiying candidate #<alt (λ (a b) (sin (pow (pow (atan2 b b) 1/2) (- b a))))>
1544603437.786 * * * * [misc]progress:  [ 2 / 15 ] simplifiying candidate #<alt (λ (a b) (sin (pow (pow (sqrt (atan2 b b)) 1) (- b a))))>
1544603437.787 * * * * [misc]progress:  [ 3 / 15 ] simplifiying candidate #<alt (λ (a b) (sin (pow (exp (log (sqrt (atan2 b b)))) (- b a))))>
1544603437.787 * * * * [misc]progress:  [ 4 / 15 ] simplifiying candidate #<alt (λ (a b) (sin (pow (log (exp (sqrt (atan2 b b)))) (- b a))))>
1544603437.787 * * * * [misc]progress:  [ 5 / 15 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (* (cbrt (sqrt (atan2 b b))) (cbrt (sqrt (atan2 b b)))) (cbrt (sqrt (atan2 b b)))) (- b a))))>
1544603437.787 * * * * [misc]progress:  [ 6 / 15 ] simplifiying candidate #<alt (λ (a b) (sin (pow (cbrt (* (* (sqrt (atan2 b b)) (sqrt (atan2 b b))) (sqrt (atan2 b b)))) (- b a))))>
1544603437.787 * * * * [misc]progress:  [ 7 / 15 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (* (cbrt (atan2 b b)) (cbrt (atan2 b b)))) (sqrt (cbrt (atan2 b b)))) (- b a))))>
1544603437.787 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 b b)) (cbrt (atan2 b b))))
1544603437.788 * * [misc]simplify:  iters left: 5 (5 enodes)
1544603437.790 * * [misc]simplify:  iters left: 4 (6 enodes)
1544603437.792 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 b b)))
1544603437.792 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a b) (sin (pow (* (fabs (cbrt (atan2 b b))) (sqrt (cbrt (atan2 b b)))) (- b a))))
1544603437.792 * * * * [misc]progress:  [ 8 / 15 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544603437.793 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 b b)))
1544603437.793 * * [misc]simplify:  iters left: 3 (4 enodes)
1544603437.794 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 b b)))
1544603437.794 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))
1544603437.794 * * * * [misc]progress:  [ 9 / 15 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt 1) (sqrt (atan2 b b))) (- b a))))>
1544603437.795 * [enter]simplify:  Simplifying (sqrt 1)
1544603437.795 * * [misc]simplify:  iters left: 1 (2 enodes)
1544603437.798 * [exit]simplify:  Simplified to 1
1544603437.798 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a b) (sin (pow (* 1 (sqrt (atan2 b b))) (- b a))))
1544603437.798 * * * * [misc]progress:  [ 10 / 15 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544603437.798 * * * * [misc]progress:  [ 11 / 15 ] simplifiying candidate #<alt (λ (a b) (sin (pow (fabs (sqrt (atan2 b b))) (- b a))))>
1544603437.798 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544603437.798 * * [misc]simplify:  iters left: 2 (3 enodes)
1544603437.800 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544603437.800 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a b) (sin (pow (fabs (sqrt (atan2 b b))) (- b a))))
1544603437.800 * * * * [misc]progress:  [ 12 / 15 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* 1 (sqrt (atan2 b b))) (- b a))))>
1544603437.800 * * * * [misc]progress:  [ 13 / 15 ] simplifiying candidate #<alt (λ (a b) (sin (pow (sqrt (atan2 b b)) (- b a))))>
1544603437.800 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544603437.800 * * [misc]simplify:  iters left: 2 (3 enodes)
1544603437.801 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544603437.802 * [misc]simplify:  Simplified (2 1 1) to (λ (a b) (sin (pow (sqrt (atan2 b b)) (- b a))))
1544603437.802 * * * * [misc]progress:  [ 14 / 15 ] simplifiying candidate #<alt (λ (a b) (sin (pow (sqrt (atan2 b b)) (- b a))))>
1544603437.802 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544603437.802 * * [misc]simplify:  iters left: 2 (3 enodes)
1544603437.803 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544603437.803 * [misc]simplify:  Simplified (2 1 1) to (λ (a b) (sin (pow (sqrt (atan2 b b)) (- b a))))
1544603437.803 * * * * [misc]progress:  [ 15 / 15 ] simplifiying candidate #<alt (λ (a b) (sin (pow (sqrt (atan2 b b)) (- b a))))>
1544603437.804 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544603437.804 * * [misc]simplify:  iters left: 2 (3 enodes)
1544603437.805 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544603437.805 * [misc]simplify:  Simplified (2 1 1) to (λ (a b) (sin (pow (sqrt (atan2 b b)) (- b a))))
1544603437.805 * * * [misc]progress:  adding candidates to table
1544603438.033 * * [misc]progress:  iteration 2 / 4
1544603438.033 * * * [misc]progress:  picking best candidate
1544603438.044 * * * * [misc]pick:  Picked  #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544603438.044 * * * [misc]progress:  localizing error
1544603438.071 * * * [misc]progress:  generating rewritten candidates
1544603438.071 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1 1 2 1)
1544603438.076 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1 1 1 1)
1544603438.081 * * * [misc]progress:  generating series expansions
1544603438.081 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1 1 2 1)
1544603438.081 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544603438.081 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 b b)) in (b) around 0
1544603438.081 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 b b)) in b
1544603438.081 * [misc]taylor:  Taking taylor expansion of (atan2 b b) in b
1544603438.082 * [misc]backup-simplify:  Simplify (atan2 b b) into (atan2 b b)
1544603438.082 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544603438.082 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 b b)))) into 0
1544603438.082 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 b b)) in b
1544603438.082 * [misc]taylor:  Taking taylor expansion of (atan2 b b) in b
1544603438.082 * [misc]backup-simplify:  Simplify (atan2 b b) into (atan2 b b)
1544603438.082 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544603438.082 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 b b)))) into 0
1544603438.082 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544603438.082 * [misc]backup-simplify:  Simplify 0 into 0
1544603438.083 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 b b)))) into 0
1544603438.083 * [misc]backup-simplify:  Simplify 0 into 0
1544603438.084 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544603438.084 * [misc]backup-simplify:  Simplify 0 into 0
1544603438.085 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544603438.085 * [misc]backup-simplify:  Simplify 0 into 0
1544603438.085 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544603438.085 * [misc]backup-simplify:  Simplify 0 into 0
1544603438.086 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544603438.086 * [misc]backup-simplify:  Simplify 0 into 0
1544603438.086 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544603438.086 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544603438.086 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in (b) around 0
1544603438.087 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b
1544603438.087 * [misc]taylor:  Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b
1544603438.087 * [misc]backup-simplify:  Simplify (atan2 (/ 1 b) (/ 1 b)) into (atan2 (/ 1 b) (/ 1 b))
1544603438.087 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544603438.087 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603438.087 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b
1544603438.087 * [misc]taylor:  Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b
1544603438.087 * [misc]backup-simplify:  Simplify (atan2 (/ 1 b) (/ 1 b)) into (atan2 (/ 1 b) (/ 1 b))
1544603438.087 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544603438.087 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603438.088 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544603438.088 * [misc]backup-simplify:  Simplify 0 into 0
1544603438.089 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603438.089 * [misc]backup-simplify:  Simplify 0 into 0
1544603438.089 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603438.089 * [misc]backup-simplify:  Simplify 0 into 0
1544603438.090 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603438.090 * [misc]backup-simplify:  Simplify 0 into 0
1544603438.091 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603438.091 * [misc]backup-simplify:  Simplify 0 into 0
1544603438.092 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603438.092 * [misc]backup-simplify:  Simplify 0 into 0
1544603438.092 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 (/ 1 b)) (/ 1 (/ 1 b)))) into (sqrt (atan2 b b))
1544603438.092 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 (- b)) (/ 1 (- b)))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544603438.092 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in (b) around 0
1544603438.092 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in b
1544603438.092 * [misc]taylor:  Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b
1544603438.092 * [misc]backup-simplify:  Simplify (atan2 (/ -1 b) (/ -1 b)) into (atan2 (/ -1 b) (/ -1 b))
1544603438.092 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 b) (/ -1 b))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544603438.093 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603438.093 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in b
1544603438.093 * [misc]taylor:  Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b
1544603438.093 * [misc]backup-simplify:  Simplify (atan2 (/ -1 b) (/ -1 b)) into (atan2 (/ -1 b) (/ -1 b))
1544603438.093 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 b) (/ -1 b))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544603438.093 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603438.093 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 b) (/ -1 b))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544603438.093 * [misc]backup-simplify:  Simplify 0 into 0
1544603438.094 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603438.094 * [misc]backup-simplify:  Simplify 0 into 0
1544603438.095 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603438.095 * [misc]backup-simplify:  Simplify 0 into 0
1544603438.096 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603438.096 * [misc]backup-simplify:  Simplify 0 into 0
1544603438.096 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603438.096 * [misc]backup-simplify:  Simplify 0 into 0
1544603438.097 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603438.097 * [misc]backup-simplify:  Simplify 0 into 0
1544603438.098 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 (/ 1 (- b))) (/ -1 (/ 1 (- b))))) into (sqrt (atan2 b b))
1544603438.098 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1 1 1 1)
1544603438.098 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544603438.098 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 b b)) in (b) around 0
1544603438.098 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 b b)) in b
1544603438.098 * [misc]taylor:  Taking taylor expansion of (atan2 b b) in b
1544603438.098 * [misc]backup-simplify:  Simplify (atan2 b b) into (atan2 b b)
1544603438.098 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544603438.098 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 b b)))) into 0
1544603438.098 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 b b)) in b
1544603438.098 * [misc]taylor:  Taking taylor expansion of (atan2 b b) in b
1544603438.098 * [misc]backup-simplify:  Simplify (atan2 b b) into (atan2 b b)
1544603438.098 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544603438.099 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 b b)))) into 0
1544603438.099 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544603438.099 * [misc]backup-simplify:  Simplify 0 into 0
1544603438.100 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 b b)))) into 0
1544603438.100 * [misc]backup-simplify:  Simplify 0 into 0
1544603438.101 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544603438.101 * [misc]backup-simplify:  Simplify 0 into 0
1544603438.101 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544603438.102 * [misc]backup-simplify:  Simplify 0 into 0
1544603438.102 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544603438.102 * [misc]backup-simplify:  Simplify 0 into 0
1544603438.103 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544603438.103 * [misc]backup-simplify:  Simplify 0 into 0
1544603438.103 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544603438.103 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544603438.103 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in (b) around 0
1544603438.103 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b
1544603438.103 * [misc]taylor:  Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b
1544603438.104 * [misc]backup-simplify:  Simplify (atan2 (/ 1 b) (/ 1 b)) into (atan2 (/ 1 b) (/ 1 b))
1544603438.104 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544603438.104 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603438.104 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b
1544603438.104 * [misc]taylor:  Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b
1544603438.104 * [misc]backup-simplify:  Simplify (atan2 (/ 1 b) (/ 1 b)) into (atan2 (/ 1 b) (/ 1 b))
1544603438.104 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544603438.104 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603438.105 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544603438.105 * [misc]backup-simplify:  Simplify 0 into 0
1544603438.106 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603438.106 * [misc]backup-simplify:  Simplify 0 into 0
1544603438.106 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603438.106 * [misc]backup-simplify:  Simplify 0 into 0
1544603438.107 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603438.107 * [misc]backup-simplify:  Simplify 0 into 0
1544603438.108 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603438.108 * [misc]backup-simplify:  Simplify 0 into 0
1544603438.109 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603438.109 * [misc]backup-simplify:  Simplify 0 into 0
1544603438.109 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 (/ 1 b)) (/ 1 (/ 1 b)))) into (sqrt (atan2 b b))
1544603438.109 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 (- b)) (/ 1 (- b)))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544603438.109 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in (b) around 0
1544603438.110 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in b
1544603438.110 * [misc]taylor:  Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b
1544603438.110 * [misc]backup-simplify:  Simplify (atan2 (/ -1 b) (/ -1 b)) into (atan2 (/ -1 b) (/ -1 b))
1544603438.110 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 b) (/ -1 b))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544603438.110 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603438.110 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in b
1544603438.110 * [misc]taylor:  Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b
1544603438.110 * [misc]backup-simplify:  Simplify (atan2 (/ -1 b) (/ -1 b)) into (atan2 (/ -1 b) (/ -1 b))
1544603438.110 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 b) (/ -1 b))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544603438.111 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603438.111 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 b) (/ -1 b))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544603438.111 * [misc]backup-simplify:  Simplify 0 into 0
1544603438.112 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603438.112 * [misc]backup-simplify:  Simplify 0 into 0
1544603438.112 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603438.112 * [misc]backup-simplify:  Simplify 0 into 0
1544603438.113 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603438.114 * [misc]backup-simplify:  Simplify 0 into 0
1544603438.114 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603438.114 * [misc]backup-simplify:  Simplify 0 into 0
1544603438.115 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603438.115 * [misc]backup-simplify:  Simplify 0 into 0
1544603438.115 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 (/ 1 (- b))) (/ -1 (/ 1 (- b))))) into (sqrt (atan2 b b))
1544603438.116 * * * [misc]progress:  simplifying candidates
1544603438.116 * * * * [misc]progress:  [ 1 / 30 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (pow (atan2 b b) 1/2))) (- b a))))>
1544603438.116 * * * * [misc]progress:  [ 2 / 30 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (pow (sqrt (atan2 b b)) 1))) (- b a))))>
1544603438.116 * * * * [misc]progress:  [ 3 / 30 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (exp (log (sqrt (atan2 b b)))))) (- b a))))>
1544603438.116 * * * * [misc]progress:  [ 4 / 30 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (log (exp (sqrt (atan2 b b)))))) (- b a))))>
1544603438.116 * * * * [misc]progress:  [ 5 / 30 ] 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))))>
1544603438.116 * * * * [misc]progress:  [ 6 / 30 ] 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))))>
1544603438.116 * * * * [misc]progress:  [ 7 / 30 ] 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))))>
1544603438.116 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 b b)) (cbrt (atan2 b b))))
1544603438.122 * * [misc]simplify:  iters left: 5 (5 enodes)
1544603438.124 * * [misc]simplify:  iters left: 4 (6 enodes)
1544603438.126 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 b b)))
1544603438.126 * [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))))
1544603438.126 * * * * [misc]progress:  [ 8 / 30 ] 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))))>
1544603438.126 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 b b)))
1544603438.127 * * [misc]simplify:  iters left: 3 (4 enodes)
1544603438.128 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 b b)))
1544603438.129 * [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))))
1544603438.129 * * * * [misc]progress:  [ 9 / 30 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (* (sqrt 1) (sqrt (atan2 b b))))) (- b a))))>
1544603438.129 * [enter]simplify:  Simplifying (sqrt 1)
1544603438.129 * * [misc]simplify:  iters left: 1 (2 enodes)
1544603438.131 * [exit]simplify:  Simplified to 1
1544603438.131 * [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))))
1544603438.131 * * * * [misc]progress:  [ 10 / 30 ] 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))))>
1544603438.131 * * * * [misc]progress:  [ 11 / 30 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (fabs (sqrt (atan2 b b))))) (- b a))))>
1544603438.132 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544603438.132 * * [misc]simplify:  iters left: 2 (3 enodes)
1544603438.133 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544603438.133 * [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))))
1544603438.133 * * * * [misc]progress:  [ 12 / 30 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (* 1 (sqrt (atan2 b b))))) (- b a))))>
1544603438.133 * * * * [misc]progress:  [ 13 / 30 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (pow (atan2 b b) 1/2)) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544603438.134 * * * * [misc]progress:  [ 14 / 30 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (pow (sqrt (atan2 b b)) 1)) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544603438.134 * * * * [misc]progress:  [ 15 / 30 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (exp (log (sqrt (atan2 b b))))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544603438.139 * * * * [misc]progress:  [ 16 / 30 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (log (exp (sqrt (atan2 b b))))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544603438.139 * * * * [misc]progress:  [ 17 / 30 ] 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))))>
1544603438.139 * * * * [misc]progress:  [ 18 / 30 ] 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))))>
1544603438.139 * * * * [misc]progress:  [ 19 / 30 ] 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))))>
1544603438.140 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 b b)) (cbrt (atan2 b b))))
1544603438.140 * * [misc]simplify:  iters left: 5 (5 enodes)
1544603438.142 * * [misc]simplify:  iters left: 4 (6 enodes)
1544603438.144 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 b b)))
1544603438.144 * [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))))
1544603438.145 * * * * [misc]progress:  [ 20 / 30 ] 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))))>
1544603438.145 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 b b)))
1544603438.145 * * [misc]simplify:  iters left: 3 (4 enodes)
1544603438.147 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 b b)))
1544603438.147 * [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))))
1544603438.147 * * * * [misc]progress:  [ 21 / 30 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (* (sqrt 1) (sqrt (atan2 b b)))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544603438.147 * [enter]simplify:  Simplifying (sqrt 1)
1544603438.147 * * [misc]simplify:  iters left: 1 (2 enodes)
1544603438.149 * [exit]simplify:  Simplified to 1
1544603438.149 * [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))))
1544603438.149 * * * * [misc]progress:  [ 22 / 30 ] 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))))>
1544603438.149 * * * * [misc]progress:  [ 23 / 30 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (fabs (sqrt (atan2 b b)))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544603438.149 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544603438.150 * * [misc]simplify:  iters left: 2 (3 enodes)
1544603438.151 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544603438.151 * [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))))
1544603438.151 * * * * [misc]progress:  [ 24 / 30 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (* 1 (sqrt (atan2 b b)))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544603438.151 * * * * [misc]progress:  [ 25 / 30 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544603438.152 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544603438.152 * * [misc]simplify:  iters left: 2 (3 enodes)
1544603438.153 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544603438.153 * [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))))
1544603438.153 * * * * [misc]progress:  [ 26 / 30 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544603438.154 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544603438.154 * * [misc]simplify:  iters left: 2 (3 enodes)
1544603438.155 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544603438.155 * [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))))
1544603438.155 * * * * [misc]progress:  [ 27 / 30 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544603438.155 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544603438.156 * * [misc]simplify:  iters left: 2 (3 enodes)
1544603438.157 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544603438.157 * [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))))
1544603438.157 * * * * [misc]progress:  [ 28 / 30 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544603438.157 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544603438.157 * * [misc]simplify:  iters left: 2 (3 enodes)
1544603438.159 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544603438.159 * [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))))
1544603438.159 * * * * [misc]progress:  [ 29 / 30 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544603438.159 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544603438.159 * * [misc]simplify:  iters left: 2 (3 enodes)
1544603438.160 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544603438.160 * [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))))
1544603438.160 * * * * [misc]progress:  [ 30 / 30 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544603438.161 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544603438.161 * * [misc]simplify:  iters left: 2 (3 enodes)
1544603438.162 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544603438.162 * [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))))
1544603438.162 * * * [misc]progress:  adding candidates to table
1544603438.780 * [misc]progress:  [Phase 3 of 3] Extracting.
1544603438.785 * [enter]simplify:  Simplifying (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a)))
1544603438.786 * * [misc]simplify:  iters left: 6 (9 enodes)
1544603438.787 * [exit]simplify:  Simplified to (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a)))
1544603438.787 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1544603441.133 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603441.134 * * * * [misc]points:  Sampling 4746 additional inputs, on iter 1 have 3254 / 8000
1544603442.914 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603442.914 * * * * [misc]points:  Sampling 2840 additional inputs, on iter 2 have 5160 / 8000
1544603443.916 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603443.917 * * * * [misc]points:  Sampling 1685 additional inputs, on iter 3 have 6315 / 8000
1544603444.881 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603444.882 * * * * [misc]points:  Sampling 953 additional inputs, on iter 4 have 7047 / 8000
1544603445.157 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603445.158 * * * * [misc]points:  Sampling 572 additional inputs, on iter 5 have 7428 / 8000
1544603445.338 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603445.338 * * * * [misc]points:  Sampling 335 additional inputs, on iter 6 have 7665 / 8000
1544603445.429 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603445.429 * * * * [misc]points:  Sampling 200 additional inputs, on iter 7 have 7800 / 8000
1544603445.473 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603445.473 * * * * [misc]points:  Sampling 130 additional inputs, on iter 8 have 7870 / 8000
1544603445.499 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603445.499 * * * * [misc]points:  Sampling 77 additional inputs, on iter 9 have 7923 / 8000
1544603445.515 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603445.515 * * * * [misc]points:  Sampling 50 additional inputs, on iter 10 have 7950 / 8000
1544603445.524 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603445.525 * * * * [misc]points:  Sampling 27 additional inputs, on iter 11 have 7973 / 8000
1544603445.536 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603445.536 * * * * [misc]points:  Sampling 18 additional inputs, on iter 12 have 7982 / 8000
1544603445.544 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603445.544 * * * * [misc]points:  Sampling 10 additional inputs, on iter 13 have 7990 / 8000
1544603445.576 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603445.577 * * * * [misc]points:  Sampling 7 additional inputs, on iter 14 have 7993 / 8000
1544603445.579 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603445.579 * * * * [misc]points:  Sampling 4 additional inputs, on iter 15 have 7996 / 8000
1544603445.581 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603445.581 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 7999 / 8000
1544603445.582 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603445.582 * * * * [exit]points:  Sampled 8002 points with exact outputs