1544603450.724 * [misc]progress:  [Phase 1 of 3] Setting up.
1544603450.724 * * * [misc]progress:  [1/2] Preparing points
1544603450.724 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1544603450.834 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603450.834 * * * * [misc]points:  Sampling 154 additional inputs, on iter 1 have 102 / 256
1544603450.859 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603450.860 * * * * [misc]points:  Sampling 88 additional inputs, on iter 2 have 168 / 256
1544603450.872 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603450.872 * * * * [misc]points:  Sampling 47 additional inputs, on iter 3 have 209 / 256
1544603450.884 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603450.884 * * * * [misc]points:  Sampling 32 additional inputs, on iter 4 have 224 / 256
1544603450.890 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603450.890 * * * * [misc]points:  Sampling 19 additional inputs, on iter 5 have 237 / 256
1544603450.895 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603450.895 * * * * [misc]points:  Sampling 10 additional inputs, on iter 6 have 246 / 256
1544603450.898 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603450.898 * * * * [misc]points:  Sampling 7 additional inputs, on iter 7 have 249 / 256
1544603450.900 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603450.900 * * * * [misc]points:  Sampling 5 additional inputs, on iter 8 have 251 / 256
1544603450.902 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603450.902 * * * * [misc]points:  Sampling 4 additional inputs, on iter 9 have 252 / 256
1544603450.904 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603450.904 * * * * [misc]points:  Sampling 4 additional inputs, on iter 10 have 254 / 256
1544603450.906 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603450.906 * * * * [misc]points:  Sampling 4 additional inputs, on iter 11 have 255 / 256
1544603450.907 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603450.908 * * * * [exit]points:  Sampled 256 points with exact outputs
1544603450.908 * * * [misc]progress:  [2/2] Setting up program.
1544603450.947 * [misc]progress:  [Phase 2 of 3] Improving.
1544603450.948 * [enter]simplify:  Simplifying (sin (pow (sqrt (atan2 b b)) (- b a)))
1544603450.954 * * [misc]simplify:  iters left: 4 (7 enodes)
1544603450.960 * * [misc]simplify:  iters left: 3 (9 enodes)
1544603450.962 * * [misc]simplify:  iters left: 2 (10 enodes)
1544603450.965 * [exit]simplify:  Simplified to (sin (pow (sqrt (atan2 b b)) (- b a)))
1544603450.976 * * [misc]progress:  iteration 1 / 4
1544603450.976 * * * [misc]progress:  picking best candidate
1544603450.981 * * * * [misc]pick:  Picked  #<alt (λ (a b) (sin (pow (sqrt (atan2 b b)) (- b a))))>
1544603450.981 * * * [misc]progress:  localizing error
1544603451.010 * * * [misc]progress:  generating rewritten candidates
1544603451.010 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2 1 1)
1544603451.015 * * * [misc]progress:  generating series expansions
1544603451.015 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2 1 1)
1544603451.020 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544603451.020 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 b b)) in (b) around 0
1544603451.020 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 b b)) in b
1544603451.021 * [misc]taylor:  Taking taylor expansion of (atan2 b b) in b
1544603451.021 * [misc]backup-simplify:  Simplify (atan2 b b) into (atan2 b b)
1544603451.022 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544603451.022 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 b b)))) into 0
1544603451.022 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 b b)) in b
1544603451.022 * [misc]taylor:  Taking taylor expansion of (atan2 b b) in b
1544603451.022 * [misc]backup-simplify:  Simplify (atan2 b b) into (atan2 b b)
1544603451.022 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544603451.022 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 b b)))) into 0
1544603451.022 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544603451.022 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.024 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 b b)))) into 0
1544603451.024 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.025 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544603451.025 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.025 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544603451.025 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.026 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544603451.026 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.026 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544603451.026 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.026 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544603451.026 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544603451.026 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in (b) around 0
1544603451.026 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b
1544603451.027 * [misc]taylor:  Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b
1544603451.027 * [misc]backup-simplify:  Simplify (atan2 (/ 1 b) (/ 1 b)) into (atan2 (/ 1 b) (/ 1 b))
1544603451.027 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544603451.027 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603451.027 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b
1544603451.027 * [misc]taylor:  Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b
1544603451.027 * [misc]backup-simplify:  Simplify (atan2 (/ 1 b) (/ 1 b)) into (atan2 (/ 1 b) (/ 1 b))
1544603451.027 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544603451.027 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603451.027 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544603451.027 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.028 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603451.028 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.028 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603451.028 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.029 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603451.029 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.029 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603451.029 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.029 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603451.029 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.030 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 (/ 1 b)) (/ 1 (/ 1 b)))) into (sqrt (atan2 b b))
1544603451.030 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 (- b)) (/ 1 (- b)))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544603451.030 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in (b) around 0
1544603451.030 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in b
1544603451.030 * [misc]taylor:  Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b
1544603451.030 * [misc]backup-simplify:  Simplify (atan2 (/ -1 b) (/ -1 b)) into (atan2 (/ -1 b) (/ -1 b))
1544603451.030 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 b) (/ -1 b))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544603451.030 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603451.030 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in b
1544603451.030 * [misc]taylor:  Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b
1544603451.030 * [misc]backup-simplify:  Simplify (atan2 (/ -1 b) (/ -1 b)) into (atan2 (/ -1 b) (/ -1 b))
1544603451.030 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 b) (/ -1 b))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544603451.030 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603451.030 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 b) (/ -1 b))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544603451.030 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.031 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603451.031 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.031 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603451.031 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.032 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603451.032 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.032 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603451.032 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.033 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603451.033 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.033 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 (/ 1 (- b))) (/ -1 (/ 1 (- b))))) into (sqrt (atan2 b b))
1544603451.033 * * * [misc]progress:  simplifying candidates
1544603451.033 * * * * [misc]progress:  [ 1 / 15 ] simplifiying candidate #<alt (λ (a b) (sin (pow (pow (atan2 b b) 1/2) (- b a))))>
1544603451.033 * * * * [misc]progress:  [ 2 / 15 ] simplifiying candidate #<alt (λ (a b) (sin (pow (pow (sqrt (atan2 b b)) 1) (- b a))))>
1544603451.033 * * * * [misc]progress:  [ 3 / 15 ] simplifiying candidate #<alt (λ (a b) (sin (pow (exp (log (sqrt (atan2 b b)))) (- b a))))>
1544603451.033 * * * * [misc]progress:  [ 4 / 15 ] simplifiying candidate #<alt (λ (a b) (sin (pow (log (exp (sqrt (atan2 b b)))) (- b a))))>
1544603451.033 * * * * [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))))>
1544603451.033 * * * * [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))))>
1544603451.033 * * * * [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))))>
1544603451.034 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 b b)) (cbrt (atan2 b b))))
1544603451.034 * * [misc]simplify:  iters left: 5 (5 enodes)
1544603451.044 * * [misc]simplify:  iters left: 4 (6 enodes)
1544603451.045 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 b b)))
1544603451.045 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a b) (sin (pow (* (fabs (cbrt (atan2 b b))) (sqrt (cbrt (atan2 b b)))) (- b a))))
1544603451.045 * * * * [misc]progress:  [ 8 / 15 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544603451.046 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 b b)))
1544603451.046 * * [misc]simplify:  iters left: 3 (4 enodes)
1544603451.047 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 b b)))
1544603451.047 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))
1544603451.047 * * * * [misc]progress:  [ 9 / 15 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt 1) (sqrt (atan2 b b))) (- b a))))>
1544603451.047 * [enter]simplify:  Simplifying (sqrt 1)
1544603451.047 * * [misc]simplify:  iters left: 1 (2 enodes)
1544603451.048 * [exit]simplify:  Simplified to 1
1544603451.048 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a b) (sin (pow (* 1 (sqrt (atan2 b b))) (- b a))))
1544603451.048 * * * * [misc]progress:  [ 10 / 15 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544603451.048 * * * * [misc]progress:  [ 11 / 15 ] simplifiying candidate #<alt (λ (a b) (sin (pow (fabs (sqrt (atan2 b b))) (- b a))))>
1544603451.049 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544603451.049 * * [misc]simplify:  iters left: 2 (3 enodes)
1544603451.049 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544603451.049 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a b) (sin (pow (fabs (sqrt (atan2 b b))) (- b a))))
1544603451.049 * * * * [misc]progress:  [ 12 / 15 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* 1 (sqrt (atan2 b b))) (- b a))))>
1544603451.049 * * * * [misc]progress:  [ 13 / 15 ] simplifiying candidate #<alt (λ (a b) (sin (pow (sqrt (atan2 b b)) (- b a))))>
1544603451.050 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544603451.050 * * [misc]simplify:  iters left: 2 (3 enodes)
1544603451.050 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544603451.050 * [misc]simplify:  Simplified (2 1 1) to (λ (a b) (sin (pow (sqrt (atan2 b b)) (- b a))))
1544603451.050 * * * * [misc]progress:  [ 14 / 15 ] simplifiying candidate #<alt (λ (a b) (sin (pow (sqrt (atan2 b b)) (- b a))))>
1544603451.050 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544603451.051 * * [misc]simplify:  iters left: 2 (3 enodes)
1544603451.051 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544603451.051 * [misc]simplify:  Simplified (2 1 1) to (λ (a b) (sin (pow (sqrt (atan2 b b)) (- b a))))
1544603451.051 * * * * [misc]progress:  [ 15 / 15 ] simplifiying candidate #<alt (λ (a b) (sin (pow (sqrt (atan2 b b)) (- b a))))>
1544603451.051 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544603451.051 * * [misc]simplify:  iters left: 2 (3 enodes)
1544603451.052 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544603451.052 * [misc]simplify:  Simplified (2 1 1) to (λ (a b) (sin (pow (sqrt (atan2 b b)) (- b a))))
1544603451.052 * * * [misc]progress:  adding candidates to table
1544603451.334 * * [misc]progress:  iteration 2 / 4
1544603451.334 * * * [misc]progress:  picking best candidate
1544603451.344 * * * * [misc]pick:  Picked  #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544603451.344 * * * [misc]progress:  localizing error
1544603451.372 * * * [misc]progress:  generating rewritten candidates
1544603451.372 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1 1 2 1)
1544603451.377 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1 1 1 1)
1544603451.381 * * * [misc]progress:  generating series expansions
1544603451.381 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1 1 2 1)
1544603451.381 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544603451.382 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 b b)) in (b) around 0
1544603451.382 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 b b)) in b
1544603451.382 * [misc]taylor:  Taking taylor expansion of (atan2 b b) in b
1544603451.382 * [misc]backup-simplify:  Simplify (atan2 b b) into (atan2 b b)
1544603451.382 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544603451.382 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 b b)))) into 0
1544603451.382 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 b b)) in b
1544603451.382 * [misc]taylor:  Taking taylor expansion of (atan2 b b) in b
1544603451.382 * [misc]backup-simplify:  Simplify (atan2 b b) into (atan2 b b)
1544603451.382 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544603451.382 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 b b)))) into 0
1544603451.382 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544603451.382 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.383 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 b b)))) into 0
1544603451.383 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.384 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544603451.384 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.385 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544603451.385 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.385 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544603451.385 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.386 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544603451.386 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.386 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544603451.386 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544603451.386 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in (b) around 0
1544603451.386 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b
1544603451.386 * [misc]taylor:  Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b
1544603451.387 * [misc]backup-simplify:  Simplify (atan2 (/ 1 b) (/ 1 b)) into (atan2 (/ 1 b) (/ 1 b))
1544603451.387 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544603451.387 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603451.387 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b
1544603451.387 * [misc]taylor:  Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b
1544603451.387 * [misc]backup-simplify:  Simplify (atan2 (/ 1 b) (/ 1 b)) into (atan2 (/ 1 b) (/ 1 b))
1544603451.387 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544603451.387 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603451.387 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544603451.388 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.388 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603451.389 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.389 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603451.389 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.390 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603451.390 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.390 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603451.390 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.391 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603451.391 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.392 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 (/ 1 b)) (/ 1 (/ 1 b)))) into (sqrt (atan2 b b))
1544603451.392 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 (- b)) (/ 1 (- b)))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544603451.392 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in (b) around 0
1544603451.392 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in b
1544603451.392 * [misc]taylor:  Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b
1544603451.392 * [misc]backup-simplify:  Simplify (atan2 (/ -1 b) (/ -1 b)) into (atan2 (/ -1 b) (/ -1 b))
1544603451.392 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 b) (/ -1 b))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544603451.392 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603451.392 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in b
1544603451.392 * [misc]taylor:  Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b
1544603451.392 * [misc]backup-simplify:  Simplify (atan2 (/ -1 b) (/ -1 b)) into (atan2 (/ -1 b) (/ -1 b))
1544603451.392 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 b) (/ -1 b))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544603451.393 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603451.393 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 b) (/ -1 b))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544603451.393 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.394 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603451.394 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.394 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603451.394 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.395 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603451.395 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.396 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603451.396 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.397 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603451.397 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.397 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 (/ 1 (- b))) (/ -1 (/ 1 (- b))))) into (sqrt (atan2 b b))
1544603451.397 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1 1 1 1)
1544603451.397 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544603451.397 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 b b)) in (b) around 0
1544603451.397 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 b b)) in b
1544603451.397 * [misc]taylor:  Taking taylor expansion of (atan2 b b) in b
1544603451.397 * [misc]backup-simplify:  Simplify (atan2 b b) into (atan2 b b)
1544603451.397 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544603451.397 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 b b)))) into 0
1544603451.398 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 b b)) in b
1544603451.398 * [misc]taylor:  Taking taylor expansion of (atan2 b b) in b
1544603451.398 * [misc]backup-simplify:  Simplify (atan2 b b) into (atan2 b b)
1544603451.398 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544603451.398 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 b b)))) into 0
1544603451.398 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544603451.398 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.399 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 b b)))) into 0
1544603451.399 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.399 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544603451.399 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.400 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544603451.400 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.400 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544603451.400 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.401 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 b b)))) into 0
1544603451.401 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.401 * [misc]backup-simplify:  Simplify (sqrt (atan2 b b)) into (sqrt (atan2 b b))
1544603451.402 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544603451.402 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in (b) around 0
1544603451.402 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b
1544603451.402 * [misc]taylor:  Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b
1544603451.402 * [misc]backup-simplify:  Simplify (atan2 (/ 1 b) (/ 1 b)) into (atan2 (/ 1 b) (/ 1 b))
1544603451.402 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544603451.402 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603451.402 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b
1544603451.402 * [misc]taylor:  Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b
1544603451.402 * [misc]backup-simplify:  Simplify (atan2 (/ 1 b) (/ 1 b)) into (atan2 (/ 1 b) (/ 1 b))
1544603451.402 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544603451.402 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603451.403 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 b) (/ 1 b))) into (sqrt (atan2 (/ 1 b) (/ 1 b)))
1544603451.403 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.403 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603451.403 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.404 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603451.404 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.405 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603451.405 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.405 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603451.405 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.406 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ 1 b) (/ 1 b))))) into 0
1544603451.406 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.406 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 (/ 1 b)) (/ 1 (/ 1 b)))) into (sqrt (atan2 b b))
1544603451.406 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ 1 (- b)) (/ 1 (- b)))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544603451.406 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in (b) around 0
1544603451.406 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in b
1544603451.406 * [misc]taylor:  Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b
1544603451.407 * [misc]backup-simplify:  Simplify (atan2 (/ -1 b) (/ -1 b)) into (atan2 (/ -1 b) (/ -1 b))
1544603451.407 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 b) (/ -1 b))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544603451.407 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603451.407 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in b
1544603451.407 * [misc]taylor:  Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b
1544603451.407 * [misc]backup-simplify:  Simplify (atan2 (/ -1 b) (/ -1 b)) into (atan2 (/ -1 b) (/ -1 b))
1544603451.407 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 b) (/ -1 b))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544603451.407 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603451.407 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 b) (/ -1 b))) into (sqrt (atan2 (/ -1 b) (/ -1 b)))
1544603451.407 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.408 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603451.408 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.409 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603451.409 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.409 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603451.409 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.410 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603451.410 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.411 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 (/ -1 b) (/ -1 b))))) into 0
1544603451.411 * [misc]backup-simplify:  Simplify 0 into 0
1544603451.411 * [misc]backup-simplify:  Simplify (sqrt (atan2 (/ -1 (/ 1 (- b))) (/ -1 (/ 1 (- b))))) into (sqrt (atan2 b b))
1544603451.411 * * * [misc]progress:  simplifying candidates
1544603451.411 * * * * [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))))>
1544603451.411 * * * * [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))))>
1544603451.411 * * * * [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))))>
1544603451.411 * * * * [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))))>
1544603451.411 * * * * [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))))>
1544603451.411 * * * * [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))))>
1544603451.411 * * * * [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))))>
1544603451.412 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 b b)) (cbrt (atan2 b b))))
1544603451.412 * * [misc]simplify:  iters left: 5 (5 enodes)
1544603451.414 * * [misc]simplify:  iters left: 4 (6 enodes)
1544603451.416 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 b b)))
1544603451.416 * [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))))
1544603451.416 * * * * [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))))>
1544603451.416 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 b b)))
1544603451.416 * * [misc]simplify:  iters left: 3 (4 enodes)
1544603451.417 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 b b)))
1544603451.417 * [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))))
1544603451.417 * * * * [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))))>
1544603451.417 * [enter]simplify:  Simplifying (sqrt 1)
1544603451.417 * * [misc]simplify:  iters left: 1 (2 enodes)
1544603451.418 * [exit]simplify:  Simplified to 1
1544603451.418 * [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))))
1544603451.418 * * * * [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))))>
1544603451.419 * * * * [misc]progress:  [ 11 / 30 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (fabs (sqrt (atan2 b b))))) (- b a))))>
1544603451.419 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544603451.419 * * [misc]simplify:  iters left: 2 (3 enodes)
1544603451.419 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544603451.419 * [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))))
1544603451.420 * * * * [misc]progress:  [ 12 / 30 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (* 1 (sqrt (atan2 b b))))) (- b a))))>
1544603451.420 * * * * [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))))>
1544603451.420 * * * * [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))))>
1544603451.420 * * * * [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))))>
1544603451.420 * * * * [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))))>
1544603451.420 * * * * [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))))>
1544603451.420 * * * * [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))))>
1544603451.420 * * * * [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))))>
1544603451.420 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 b b)) (cbrt (atan2 b b))))
1544603451.420 * * [misc]simplify:  iters left: 5 (5 enodes)
1544603451.424 * * [misc]simplify:  iters left: 4 (6 enodes)
1544603451.425 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 b b)))
1544603451.425 * [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))))
1544603451.425 * * * * [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))))>
1544603451.425 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 b b)))
1544603451.425 * * [misc]simplify:  iters left: 3 (4 enodes)
1544603451.426 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 b b)))
1544603451.426 * [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))))
1544603451.426 * * * * [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))))>
1544603451.426 * [enter]simplify:  Simplifying (sqrt 1)
1544603451.426 * * [misc]simplify:  iters left: 1 (2 enodes)
1544603451.427 * [exit]simplify:  Simplified to 1
1544603451.427 * [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))))
1544603451.427 * * * * [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))))>
1544603451.427 * * * * [misc]progress:  [ 23 / 30 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (fabs (sqrt (atan2 b b)))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544603451.428 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544603451.428 * * [misc]simplify:  iters left: 2 (3 enodes)
1544603451.428 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544603451.428 * [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))))
1544603451.428 * * * * [misc]progress:  [ 24 / 30 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (* 1 (sqrt (atan2 b b)))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544603451.428 * * * * [misc]progress:  [ 25 / 30 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544603451.429 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544603451.429 * * [misc]simplify:  iters left: 2 (3 enodes)
1544603451.429 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544603451.429 * [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))))
1544603451.429 * * * * [misc]progress:  [ 26 / 30 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544603451.429 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544603451.430 * * [misc]simplify:  iters left: 2 (3 enodes)
1544603451.430 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544603451.430 * [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))))
1544603451.430 * * * * [misc]progress:  [ 27 / 30 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544603451.430 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544603451.430 * * [misc]simplify:  iters left: 2 (3 enodes)
1544603451.431 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544603451.431 * [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))))
1544603451.431 * * * * [misc]progress:  [ 28 / 30 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544603451.431 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544603451.431 * * [misc]simplify:  iters left: 2 (3 enodes)
1544603451.432 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544603451.432 * [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))))
1544603451.432 * * * * [misc]progress:  [ 29 / 30 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544603451.432 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544603451.432 * * [misc]simplify:  iters left: 2 (3 enodes)
1544603451.433 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544603451.433 * [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))))
1544603451.433 * * * * [misc]progress:  [ 30 / 30 ] simplifiying candidate #<alt (λ (a b) (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a))))>
1544603451.433 * [enter]simplify:  Simplifying (sqrt (atan2 b b))
1544603451.433 * * [misc]simplify:  iters left: 2 (3 enodes)
1544603451.434 * [exit]simplify:  Simplified to (sqrt (atan2 b b))
1544603451.434 * [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))))
1544603451.434 * * * [misc]progress:  adding candidates to table
1544603452.065 * [misc]progress:  [Phase 3 of 3] Extracting.
1544603452.076 * [enter]simplify:  Simplifying (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a)))
1544603452.077 * * [misc]simplify:  iters left: 6 (9 enodes)
1544603452.079 * [exit]simplify:  Simplified to (sin (pow (* (sqrt (sqrt (atan2 b b))) (sqrt (sqrt (atan2 b b)))) (- b a)))
1544603452.079 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1544603455.036 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603455.038 * * * * [misc]points:  Sampling 4746 additional inputs, on iter 1 have 3254 / 8000
1544603456.390 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603456.391 * * * * [misc]points:  Sampling 2840 additional inputs, on iter 2 have 5160 / 8000
1544603457.510 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603457.510 * * * * [misc]points:  Sampling 1685 additional inputs, on iter 3 have 6315 / 8000
1544603458.030 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603458.031 * * * * [misc]points:  Sampling 953 additional inputs, on iter 4 have 7047 / 8000
1544603458.346 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603458.346 * * * * [misc]points:  Sampling 572 additional inputs, on iter 5 have 7428 / 8000
1544603458.492 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603458.492 * * * * [misc]points:  Sampling 335 additional inputs, on iter 6 have 7665 / 8000
1544603458.628 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603458.628 * * * * [misc]points:  Sampling 200 additional inputs, on iter 7 have 7800 / 8000
1544603458.698 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603458.698 * * * * [misc]points:  Sampling 130 additional inputs, on iter 8 have 7870 / 8000
1544603458.739 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603458.739 * * * * [misc]points:  Sampling 77 additional inputs, on iter 9 have 7923 / 8000
1544603458.759 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603458.759 * * * * [misc]points:  Sampling 50 additional inputs, on iter 10 have 7950 / 8000
1544603458.769 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603458.769 * * * * [misc]points:  Sampling 27 additional inputs, on iter 11 have 7973 / 8000
1544603458.778 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603458.779 * * * * [misc]points:  Sampling 18 additional inputs, on iter 12 have 7982 / 8000
1544603458.787 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603458.787 * * * * [misc]points:  Sampling 10 additional inputs, on iter 13 have 7990 / 8000
1544603458.822 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603458.822 * * * * [misc]points:  Sampling 7 additional inputs, on iter 14 have 7993 / 8000
1544603458.824 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603458.824 * * * * [misc]points:  Sampling 4 additional inputs, on iter 15 have 7996 / 8000
1544603458.826 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603458.826 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 7999 / 8000
1544603458.828 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544603458.828 * * * * [exit]points:  Sampled 8002 points with exact outputs