1545987321.302 * [misc]progress:  [Phase 1 of 3] Setting up.
1545987321.302 * * * [misc]progress:  [1/2] Preparing points
1545987321.302 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545987321.330 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987321.330 * * * * [misc]points:  Sampling 198 additional inputs, on iter 1 have 58 / 256
1545987321.345 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987321.345 * * * * [misc]points:  Sampling 147 additional inputs, on iter 2 have 109 / 256
1545987321.356 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987321.356 * * * * [misc]points:  Sampling 108 additional inputs, on iter 3 have 148 / 256
1545987321.384 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987321.384 * * * * [misc]points:  Sampling 85 additional inputs, on iter 4 have 171 / 256
1545987321.398 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987321.398 * * * * [misc]points:  Sampling 68 additional inputs, on iter 5 have 188 / 256
1545987321.408 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987321.409 * * * * [misc]points:  Sampling 59 additional inputs, on iter 6 have 197 / 256
1545987321.419 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987321.419 * * * * [misc]points:  Sampling 39 additional inputs, on iter 7 have 217 / 256
1545987321.425 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987321.426 * * * * [misc]points:  Sampling 34 additional inputs, on iter 8 have 222 / 256
1545987321.433 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987321.433 * * * * [misc]points:  Sampling 24 additional inputs, on iter 9 have 232 / 256
1545987321.439 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987321.439 * * * * [misc]points:  Sampling 19 additional inputs, on iter 10 have 237 / 256
1545987321.443 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987321.443 * * * * [misc]points:  Sampling 15 additional inputs, on iter 11 have 241 / 256
1545987321.447 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987321.447 * * * * [misc]points:  Sampling 14 additional inputs, on iter 12 have 242 / 256
1545987321.451 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987321.451 * * * * [misc]points:  Sampling 11 additional inputs, on iter 13 have 245 / 256
1545987321.454 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987321.454 * * * * [misc]points:  Sampling 9 additional inputs, on iter 14 have 247 / 256
1545987321.457 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987321.457 * * * * [misc]points:  Sampling 7 additional inputs, on iter 15 have 249 / 256
1545987321.460 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987321.460 * * * * [misc]points:  Sampling 5 additional inputs, on iter 16 have 251 / 256
1545987321.462 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987321.462 * * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 254 / 256
1545987321.464 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987321.464 * * * * [misc]points:  Sampling 4 additional inputs, on iter 18 have 255 / 256
1545987321.466 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987321.466 * * * * [exit]points:  Sampled 256 points with exact outputs
1545987321.466 * * * [misc]progress:  [2/2] Setting up program.
1545987321.472 * [misc]progress:  [Phase 2 of 3] Improving.
1545987321.472 * [enter]simplify:  Simplifying (log (+ x (sqrt (- (* x x) 1))))
1545987321.472 * * [misc]simplify:  iters left: 6 (7 enodes)
1545987321.475 * * [misc]simplify:  iters left: 5 (16 enodes)
1545987321.480 * * [misc]simplify:  iters left: 4 (19 enodes)
1545987321.485 * * [misc]simplify:  iters left: 3 (35 enodes)
1545987321.501 * * [misc]simplify:  iters left: 2 (60 enodes)
1545987321.512 * * [misc]simplify:  iters left: 1 (97 enodes)
1545987321.564 * [exit]simplify:  Simplified to (log (+ x (sqrt (+ -1 (* x x)))))
1545987321.570 * * [misc]progress:  iteration 1 / 4
1545987321.570 * * * [misc]progress:  picking best candidate
1545987321.573 * * * * [misc]pick:  Picked  #<alt (λ (x) (log (+ x (sqrt (+ -1 (* x x))))))>
1545987321.573 * * * [misc]progress:  localizing error
1545987321.586 * * * [misc]progress:  generating rewritten candidates
1545987321.586 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 2)
1545987321.587 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1)
1545987321.589 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2)
1545987321.591 * * * [misc]progress:  generating series expansions
1545987321.591 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 2)
1545987321.592 * [misc]backup-simplify:  Simplify (sqrt (+ -1 (* x x))) into (sqrt (- (pow x 2) 1))
1545987321.592 * [misc]approximate:  Taking taylor expansion of (sqrt (- (pow x 2) 1)) in (x) around 0
1545987321.592 * [misc]taylor:  Taking taylor expansion of (sqrt (- (pow x 2) 1)) in x
1545987321.592 * [misc]taylor:  Taking taylor expansion of (- (pow x 2) 1) in x
1545987321.592 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545987321.592 * [misc]taylor:  Taking taylor expansion of x in x
1545987321.592 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.592 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.592 * [misc]taylor:  Taking taylor expansion of 1 in x
1545987321.592 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.592 * [misc]backup-simplify:  Simplify (- 1) into -1
1545987321.592 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545987321.592 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1545987321.593 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.593 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.593 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1545987321.593 * [misc]taylor:  Taking taylor expansion of (sqrt (- (pow x 2) 1)) in x
1545987321.593 * [misc]taylor:  Taking taylor expansion of (- (pow x 2) 1) in x
1545987321.593 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545987321.593 * [misc]taylor:  Taking taylor expansion of x in x
1545987321.593 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.593 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.593 * [misc]taylor:  Taking taylor expansion of 1 in x
1545987321.593 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.593 * [misc]backup-simplify:  Simplify (- 1) into -1
1545987321.594 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545987321.594 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1545987321.594 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.594 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.594 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1545987321.595 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1545987321.595 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.595 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545987321.595 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.595 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545987321.597 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1545987321.597 * [misc]backup-simplify:  Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1))
1545987321.597 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545987321.597 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.598 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.598 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
1545987321.598 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.598 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545987321.598 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.599 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.601 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
1545987321.602 * [misc]backup-simplify:  Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3))
1545987321.603 * [misc]backup-simplify:  Simplify (+ (* (/ -1/8 (pow (sqrt -1) 3)) (pow x 4)) (+ (* (/ 1/2 (sqrt -1)) (pow x 2)) (sqrt -1))) into (- (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1)) (* 1/8 (/ (pow x 4) (pow (sqrt -1) 3))))
1545987321.604 * [misc]backup-simplify:  Simplify (sqrt (+ -1 (* (/ 1 x) (/ 1 x)))) into (sqrt (- (/ 1 (pow x 2)) 1))
1545987321.604 * [misc]approximate:  Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in (x) around 0
1545987321.604 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x
1545987321.604 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1545987321.604 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1545987321.604 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545987321.604 * [misc]taylor:  Taking taylor expansion of x in x
1545987321.604 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.604 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.604 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545987321.604 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545987321.604 * [misc]taylor:  Taking taylor expansion of 1 in x
1545987321.604 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.605 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545987321.605 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1545987321.605 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545987321.605 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545987321.605 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.605 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1545987321.606 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x
1545987321.606 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1545987321.606 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1545987321.606 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545987321.606 * [misc]taylor:  Taking taylor expansion of x in x
1545987321.606 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.606 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.606 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545987321.606 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545987321.606 * [misc]taylor:  Taking taylor expansion of 1 in x
1545987321.606 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.606 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545987321.606 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1545987321.607 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545987321.607 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545987321.607 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.607 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1545987321.607 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.607 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.608 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545987321.608 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.608 * [misc]backup-simplify:  Simplify (- 1) into -1
1545987321.608 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545987321.610 * [misc]backup-simplify:  Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2
1545987321.610 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545987321.610 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545987321.610 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.611 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.611 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.611 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0
1545987321.611 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.612 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545987321.612 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.612 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.612 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.614 * [misc]backup-simplify:  Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8
1545987321.614 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1545987321.614 * [misc]backup-simplify:  Simplify (+ (* -1/8 (pow (/ 1 x) 3)) (+ (* -1/2 (/ 1 x)) (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1545987321.614 * [misc]backup-simplify:  Simplify (sqrt (+ -1 (* (/ 1 (- x)) (/ 1 (- x))))) into (sqrt (- (/ 1 (pow x 2)) 1))
1545987321.614 * [misc]approximate:  Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in (x) around 0
1545987321.614 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x
1545987321.614 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1545987321.614 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1545987321.614 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545987321.615 * [misc]taylor:  Taking taylor expansion of x in x
1545987321.615 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.615 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.615 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545987321.615 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545987321.615 * [misc]taylor:  Taking taylor expansion of 1 in x
1545987321.615 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.615 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545987321.615 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1545987321.616 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545987321.616 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545987321.616 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.616 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1545987321.616 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x
1545987321.616 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1545987321.616 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1545987321.616 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545987321.616 * [misc]taylor:  Taking taylor expansion of x in x
1545987321.616 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.616 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.617 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545987321.617 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545987321.617 * [misc]taylor:  Taking taylor expansion of 1 in x
1545987321.617 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.617 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545987321.617 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1545987321.617 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545987321.618 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545987321.618 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.618 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1545987321.618 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.618 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.618 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545987321.619 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.619 * [misc]backup-simplify:  Simplify (- 1) into -1
1545987321.619 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545987321.620 * [misc]backup-simplify:  Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2
1545987321.620 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545987321.621 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545987321.621 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.621 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.621 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.622 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0
1545987321.622 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.622 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545987321.623 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.623 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.623 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.625 * [misc]backup-simplify:  Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8
1545987321.625 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1545987321.625 * [misc]backup-simplify:  Simplify (+ (* -1/8 (pow (/ 1 (- x)) 3)) (+ (* -1/2 (/ 1 (- x))) (* 1 (/ 1 (/ 1 (- x)))))) into (- (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))) x)
1545987321.625 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1)
1545987321.625 * [misc]backup-simplify:  Simplify (+ x (sqrt (+ -1 (* x x)))) into (+ x (sqrt (- (pow x 2) 1)))
1545987321.625 * [misc]approximate:  Taking taylor expansion of (+ x (sqrt (- (pow x 2) 1))) in (x) around 0
1545987321.625 * [misc]taylor:  Taking taylor expansion of (+ x (sqrt (- (pow x 2) 1))) in x
1545987321.625 * [misc]taylor:  Taking taylor expansion of x in x
1545987321.625 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.625 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.625 * [misc]taylor:  Taking taylor expansion of (sqrt (- (pow x 2) 1)) in x
1545987321.625 * [misc]taylor:  Taking taylor expansion of (- (pow x 2) 1) in x
1545987321.625 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545987321.625 * [misc]taylor:  Taking taylor expansion of x in x
1545987321.625 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.626 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.626 * [misc]taylor:  Taking taylor expansion of 1 in x
1545987321.626 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.626 * [misc]backup-simplify:  Simplify (- 1) into -1
1545987321.626 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545987321.626 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1545987321.626 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.626 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.627 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1545987321.627 * [misc]taylor:  Taking taylor expansion of (+ x (sqrt (- (pow x 2) 1))) in x
1545987321.627 * [misc]taylor:  Taking taylor expansion of x in x
1545987321.627 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.627 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.627 * [misc]taylor:  Taking taylor expansion of (sqrt (- (pow x 2) 1)) in x
1545987321.627 * [misc]taylor:  Taking taylor expansion of (- (pow x 2) 1) in x
1545987321.627 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545987321.627 * [misc]taylor:  Taking taylor expansion of x in x
1545987321.627 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.627 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.627 * [misc]taylor:  Taking taylor expansion of 1 in x
1545987321.627 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.627 * [misc]backup-simplify:  Simplify (- 1) into -1
1545987321.627 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545987321.628 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1545987321.628 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.628 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.628 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1545987321.628 * [misc]backup-simplify:  Simplify (+ 0 (sqrt -1)) into (sqrt -1)
1545987321.629 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1545987321.629 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545987321.629 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.629 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545987321.629 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.629 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545987321.631 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1545987321.631 * [misc]backup-simplify:  Simplify (+ 0 (/ 1/2 (sqrt -1))) into (* 1/2 (/ 1 (sqrt -1)))
1545987321.632 * [misc]backup-simplify:  Simplify (* 1/2 (/ 1 (sqrt -1))) into (/ 1/2 (sqrt -1))
1545987321.633 * [misc]backup-simplify:  Simplify (+ (* (/ 1/2 (sqrt -1)) (pow x 2)) (+ (* 1 x) (sqrt -1))) into (+ x (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1)))
1545987321.633 * [misc]backup-simplify:  Simplify (+ (/ 1 x) (sqrt (+ -1 (* (/ 1 x) (/ 1 x))))) into (+ (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x))
1545987321.633 * [misc]approximate:  Taking taylor expansion of (+ (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x)) in (x) around 0
1545987321.633 * [misc]taylor:  Taking taylor expansion of (+ (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x)) in x
1545987321.633 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x
1545987321.633 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1545987321.633 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1545987321.633 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545987321.633 * [misc]taylor:  Taking taylor expansion of x in x
1545987321.633 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.633 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.633 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545987321.633 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545987321.633 * [misc]taylor:  Taking taylor expansion of 1 in x
1545987321.634 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.634 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545987321.634 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1545987321.634 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545987321.634 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545987321.634 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.638 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1545987321.638 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545987321.639 * [misc]taylor:  Taking taylor expansion of x in x
1545987321.639 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.639 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.639 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545987321.639 * [misc]taylor:  Taking taylor expansion of (+ (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x)) in x
1545987321.639 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x
1545987321.639 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1545987321.639 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1545987321.639 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545987321.639 * [misc]taylor:  Taking taylor expansion of x in x
1545987321.639 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.639 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.639 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545987321.639 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545987321.639 * [misc]taylor:  Taking taylor expansion of 1 in x
1545987321.639 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.639 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545987321.639 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1545987321.639 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545987321.640 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545987321.640 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.640 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1545987321.640 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545987321.640 * [misc]taylor:  Taking taylor expansion of x in x
1545987321.640 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.640 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.640 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545987321.640 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1545987321.640 * [misc]backup-simplify:  Simplify 2 into 2
1545987321.640 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545987321.640 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.640 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.641 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545987321.641 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.641 * [misc]backup-simplify:  Simplify (- 1) into -1
1545987321.641 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545987321.642 * [misc]backup-simplify:  Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2
1545987321.642 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.642 * [misc]backup-simplify:  Simplify (+ -1/2 0) into -1/2
1545987321.642 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545987321.642 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545987321.643 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.643 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.643 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.643 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0
1545987321.643 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.643 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.643 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.644 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545987321.644 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.644 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.644 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.645 * [misc]backup-simplify:  Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8
1545987321.645 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.645 * [misc]backup-simplify:  Simplify (+ -1/8 0) into -1/8
1545987321.645 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1545987321.645 * [misc]backup-simplify:  Simplify (+ (* -1/8 (pow (/ 1 x) 3)) (+ (* -1/2 (/ 1 x)) (* 2 (/ 1 (/ 1 x))))) into (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1545987321.646 * [misc]backup-simplify:  Simplify (+ (/ 1 (- x)) (sqrt (+ -1 (* (/ 1 (- x)) (/ 1 (- x)))))) into (- (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x))
1545987321.646 * [misc]approximate:  Taking taylor expansion of (- (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x)) in (x) around 0
1545987321.646 * [misc]taylor:  Taking taylor expansion of (- (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x)) in x
1545987321.646 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x
1545987321.646 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1545987321.646 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1545987321.646 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545987321.646 * [misc]taylor:  Taking taylor expansion of x in x
1545987321.646 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.646 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.646 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545987321.646 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545987321.646 * [misc]taylor:  Taking taylor expansion of 1 in x
1545987321.646 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.646 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545987321.646 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1545987321.646 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545987321.647 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545987321.647 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.647 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1545987321.647 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545987321.647 * [misc]taylor:  Taking taylor expansion of x in x
1545987321.647 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.647 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.647 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545987321.647 * [misc]taylor:  Taking taylor expansion of (- (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x)) in x
1545987321.647 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x
1545987321.647 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1545987321.647 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1545987321.647 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545987321.647 * [misc]taylor:  Taking taylor expansion of x in x
1545987321.647 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.647 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.647 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545987321.647 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545987321.647 * [misc]taylor:  Taking taylor expansion of 1 in x
1545987321.647 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.647 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545987321.648 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1545987321.648 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545987321.648 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545987321.648 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.648 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1545987321.648 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545987321.648 * [misc]taylor:  Taking taylor expansion of x in x
1545987321.648 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.648 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.648 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545987321.648 * [misc]backup-simplify:  Simplify (- 1) into -1
1545987321.648 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1545987321.649 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.649 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545987321.649 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.649 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.649 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.649 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545987321.649 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.649 * [misc]backup-simplify:  Simplify (- 1) into -1
1545987321.649 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545987321.651 * [misc]backup-simplify:  Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2
1545987321.651 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.651 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.651 * [misc]backup-simplify:  Simplify (+ -1/2 0) into -1/2
1545987321.651 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545987321.652 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545987321.652 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.652 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.652 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.652 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0
1545987321.652 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.652 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.653 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.653 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.653 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545987321.653 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.653 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.653 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.654 * [misc]backup-simplify:  Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8
1545987321.654 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.654 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.655 * [misc]backup-simplify:  Simplify (+ -1/8 0) into -1/8
1545987321.655 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1545987321.655 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545987321.655 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.655 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.655 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.656 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 -1/8)) (* 2 (* -1/2 0)))) (* 2 1)) into 0
1545987321.656 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.656 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.656 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.656 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.656 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545987321.657 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.657 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.657 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.658 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* -1/2 -1/8)))) (* 2 1)) into -1/16
1545987321.658 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.658 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.658 * [misc]backup-simplify:  Simplify (+ -1/16 0) into -1/16
1545987321.658 * [misc]backup-simplify:  Simplify -1/16 into -1/16
1545987321.659 * [misc]backup-simplify:  Simplify (+ (* -1/16 (pow (/ 1 (- x)) 5)) (+ (* -1/8 (pow (/ 1 (- x)) 3)) (* -1/2 (/ 1 (- x))))) into (+ (* 1/16 (/ 1 (pow x 5))) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1545987321.659 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2)
1545987321.659 * [misc]backup-simplify:  Simplify (log (+ x (sqrt (+ -1 (* x x))))) into (log (+ x (sqrt (- (pow x 2) 1))))
1545987321.659 * [misc]approximate:  Taking taylor expansion of (log (+ x (sqrt (- (pow x 2) 1)))) in (x) around 0
1545987321.659 * [misc]taylor:  Taking taylor expansion of (log (+ x (sqrt (- (pow x 2) 1)))) in x
1545987321.659 * [misc]taylor:  Taking taylor expansion of (+ x (sqrt (- (pow x 2) 1))) in x
1545987321.659 * [misc]taylor:  Taking taylor expansion of x in x
1545987321.659 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.659 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.659 * [misc]taylor:  Taking taylor expansion of (sqrt (- (pow x 2) 1)) in x
1545987321.659 * [misc]taylor:  Taking taylor expansion of (- (pow x 2) 1) in x
1545987321.659 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545987321.659 * [misc]taylor:  Taking taylor expansion of x in x
1545987321.659 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.659 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.659 * [misc]taylor:  Taking taylor expansion of 1 in x
1545987321.659 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.659 * [misc]backup-simplify:  Simplify (- 1) into -1
1545987321.659 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545987321.659 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1545987321.660 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.660 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.660 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1545987321.660 * [misc]backup-simplify:  Simplify (+ 0 (sqrt -1)) into (sqrt -1)
1545987321.660 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1545987321.660 * [misc]taylor:  Taking taylor expansion of (log (+ x (sqrt (- (pow x 2) 1)))) in x
1545987321.660 * [misc]taylor:  Taking taylor expansion of (+ x (sqrt (- (pow x 2) 1))) in x
1545987321.660 * [misc]taylor:  Taking taylor expansion of x in x
1545987321.660 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.660 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.661 * [misc]taylor:  Taking taylor expansion of (sqrt (- (pow x 2) 1)) in x
1545987321.661 * [misc]taylor:  Taking taylor expansion of (- (pow x 2) 1) in x
1545987321.661 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545987321.661 * [misc]taylor:  Taking taylor expansion of x in x
1545987321.661 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.661 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.661 * [misc]taylor:  Taking taylor expansion of 1 in x
1545987321.661 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.661 * [misc]backup-simplify:  Simplify (- 1) into -1
1545987321.661 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545987321.661 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1545987321.661 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.661 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.661 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1545987321.661 * [misc]backup-simplify:  Simplify (+ 0 (sqrt -1)) into (sqrt -1)
1545987321.662 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1545987321.662 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1545987321.663 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545987321.664 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow (sqrt -1) 1)))) 1) into (/ 1 (sqrt -1))
1545987321.665 * [misc]backup-simplify:  Simplify (/ 1 (sqrt -1)) into (/ 1 (sqrt -1))
1545987321.665 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545987321.665 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.665 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545987321.666 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1545987321.667 * [misc]backup-simplify:  Simplify (+ 0 (/ 1/2 (sqrt -1))) into (* 1/2 (/ 1 (sqrt -1)))
1545987321.670 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow (sqrt -1) 2))) (* 1 (/ (* 1 (pow (* 2 (* 1/2 (/ 1 (sqrt -1)))) 1)) (pow (sqrt -1) 1)))) 2) into 0
1545987321.670 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.671 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545987321.671 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.671 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.671 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
1545987321.671 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.677 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow (sqrt -1) 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 (* 1/2 (/ 1 (sqrt -1)))) 1)) (pow (sqrt -1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt -1) 1)))) 6) into (/ -1/6 (pow (sqrt -1) 3))
1545987321.677 * [misc]backup-simplify:  Simplify (/ -1/6 (pow (sqrt -1) 3)) into (/ -1/6 (pow (sqrt -1) 3))
1545987321.678 * [misc]backup-simplify:  Simplify (+ (* (/ -1/6 (pow (sqrt -1) 3)) (pow x 3)) (+ (* (/ 1 (sqrt -1)) x) (log (sqrt -1)))) into (- (+ (log (sqrt -1)) (/ x (sqrt -1))) (* 1/6 (/ (pow x 3) (pow (sqrt -1) 3))))
1545987321.678 * [misc]backup-simplify:  Simplify (log (+ (/ 1 x) (sqrt (+ -1 (* (/ 1 x) (/ 1 x)))))) into (log (+ (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x)))
1545987321.678 * [misc]approximate:  Taking taylor expansion of (log (+ (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x))) in (x) around 0
1545987321.678 * [misc]taylor:  Taking taylor expansion of (log (+ (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x))) in x
1545987321.678 * [misc]taylor:  Taking taylor expansion of (+ (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x)) in x
1545987321.678 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x
1545987321.678 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1545987321.678 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1545987321.678 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545987321.678 * [misc]taylor:  Taking taylor expansion of x in x
1545987321.678 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.679 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.679 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545987321.679 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545987321.679 * [misc]taylor:  Taking taylor expansion of 1 in x
1545987321.679 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.679 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545987321.679 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1545987321.679 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545987321.679 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545987321.679 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.680 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1545987321.680 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545987321.680 * [misc]taylor:  Taking taylor expansion of x in x
1545987321.680 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.680 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.680 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545987321.680 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1545987321.680 * [misc]backup-simplify:  Simplify (log 2) into (log 2)
1545987321.680 * [misc]taylor:  Taking taylor expansion of (log (+ (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x))) in x
1545987321.680 * [misc]taylor:  Taking taylor expansion of (+ (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x)) in x
1545987321.680 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x
1545987321.680 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1545987321.681 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1545987321.681 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545987321.681 * [misc]taylor:  Taking taylor expansion of x in x
1545987321.681 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.681 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.681 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545987321.681 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545987321.681 * [misc]taylor:  Taking taylor expansion of 1 in x
1545987321.681 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.681 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545987321.681 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1545987321.682 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545987321.682 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545987321.682 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.682 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1545987321.682 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545987321.682 * [misc]taylor:  Taking taylor expansion of x in x
1545987321.682 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.682 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.682 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545987321.683 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1545987321.683 * [misc]backup-simplify:  Simplify (log 2) into (log 2)
1545987321.683 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log 2)) into (- (log 2) (log x))
1545987321.684 * [misc]backup-simplify:  Simplify (- (log 2) (log x)) into (- (log 2) (log x))
1545987321.684 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545987321.684 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.687 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 2 1)))) 1) into 0
1545987321.687 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.687 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545987321.687 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.687 * [misc]backup-simplify:  Simplify (- 1) into -1
1545987321.688 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545987321.689 * [misc]backup-simplify:  Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2
1545987321.689 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.689 * [misc]backup-simplify:  Simplify (+ -1/2 0) into -1/2
1545987321.694 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 2 2))) (* 1 (/ (* 1 (pow (* 2 -1/2) 1)) (pow 2 1)))) 2) into -1/4
1545987321.694 * [misc]backup-simplify:  Simplify -1/4 into -1/4
1545987321.694 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545987321.694 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.695 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.695 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.695 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0
1545987321.696 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.696 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.703 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 2 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 -1/2) 1)) (pow 2 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 2 1)))) 6) into 0
1545987321.703 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.703 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545987321.704 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.704 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.705 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.706 * [misc]backup-simplify:  Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8
1545987321.706 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.707 * [misc]backup-simplify:  Simplify (+ -1/8 0) into -1/8
1545987321.719 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 2 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 -1/2) 1)) (pow 2 3))) (* -3 (/ (* 1 (pow (* 2 -1/2) 2)) (pow 2 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 2 2))) (* 1 (/ (* 1 1 1 (pow (* 24 -1/8) 1)) (pow 2 1)))) 24) into -3/32
1545987321.719 * [misc]backup-simplify:  Simplify -3/32 into -3/32
1545987321.720 * [misc]backup-simplify:  Simplify (+ (* -3/32 (pow (/ 1 x) 4)) (+ (* -1/4 (pow (/ 1 x) 2)) (- (log 2) (log (/ 1 x))))) into (- (log 2) (+ (log (/ 1 x)) (+ (* 3/32 (/ 1 (pow x 4))) (* 1/4 (/ 1 (pow x 2))))))
1545987321.720 * [misc]backup-simplify:  Simplify (log (+ (/ 1 (- x)) (sqrt (+ -1 (* (/ 1 (- x)) (/ 1 (- x))))))) into (log (- (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x)))
1545987321.720 * [misc]approximate:  Taking taylor expansion of (log (- (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x))) in (x) around 0
1545987321.720 * [misc]taylor:  Taking taylor expansion of (log (- (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x))) in x
1545987321.720 * [misc]taylor:  Taking taylor expansion of (- (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x)) in x
1545987321.720 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x
1545987321.720 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1545987321.720 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1545987321.720 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545987321.720 * [misc]taylor:  Taking taylor expansion of x in x
1545987321.720 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.720 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.721 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545987321.721 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545987321.721 * [misc]taylor:  Taking taylor expansion of 1 in x
1545987321.721 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.721 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545987321.721 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1545987321.721 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545987321.722 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545987321.722 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.722 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1545987321.722 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545987321.722 * [misc]taylor:  Taking taylor expansion of x in x
1545987321.722 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.722 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.722 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545987321.722 * [misc]backup-simplify:  Simplify (- 1) into -1
1545987321.723 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1545987321.723 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545987321.723 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.723 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.723 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545987321.724 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.724 * [misc]backup-simplify:  Simplify (- 1) into -1
1545987321.724 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545987321.726 * [misc]backup-simplify:  Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2
1545987321.726 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.726 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.726 * [misc]backup-simplify:  Simplify (+ -1/2 0) into -1/2
1545987321.726 * [misc]backup-simplify:  Simplify (log -1/2) into (log -1/2)
1545987321.726 * [misc]taylor:  Taking taylor expansion of (log (- (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x))) in x
1545987321.727 * [misc]taylor:  Taking taylor expansion of (- (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x)) in x
1545987321.727 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x
1545987321.727 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1545987321.727 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1545987321.727 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545987321.727 * [misc]taylor:  Taking taylor expansion of x in x
1545987321.727 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.727 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.727 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545987321.727 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545987321.727 * [misc]taylor:  Taking taylor expansion of 1 in x
1545987321.727 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.727 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545987321.727 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1545987321.728 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545987321.728 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545987321.728 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.728 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1545987321.728 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545987321.728 * [misc]taylor:  Taking taylor expansion of x in x
1545987321.728 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.728 * [misc]backup-simplify:  Simplify 1 into 1
1545987321.729 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545987321.729 * [misc]backup-simplify:  Simplify (- 1) into -1
1545987321.729 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1545987321.729 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545987321.729 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.729 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.730 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545987321.730 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.730 * [misc]backup-simplify:  Simplify (- 1) into -1
1545987321.730 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545987321.732 * [misc]backup-simplify:  Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2
1545987321.732 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.732 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.733 * [misc]backup-simplify:  Simplify (+ -1/2 0) into -1/2
1545987321.733 * [misc]backup-simplify:  Simplify (log -1/2) into (log -1/2)
1545987321.733 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) (log -1/2)) into (+ (log -1/2) (log x))
1545987321.734 * [misc]backup-simplify:  Simplify (+ (log -1/2) (log x)) into (+ (log x) (log -1/2))
1545987321.734 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545987321.734 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.735 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.735 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.735 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0
1545987321.736 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.736 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.736 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.738 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1/2 1)))) 1) into 0
1545987321.738 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.739 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545987321.739 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.739 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.740 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.741 * [misc]backup-simplify:  Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8
1545987321.741 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.742 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.742 * [misc]backup-simplify:  Simplify (+ -1/8 0) into -1/8
1545987321.746 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1/2 2))) (* 1 (/ (* 1 (pow (* 2 -1/8) 1)) (pow -1/2 1)))) 2) into 1/4
1545987321.746 * [misc]backup-simplify:  Simplify 1/4 into 1/4
1545987321.747 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545987321.747 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.747 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.748 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.748 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 -1/8)) (* 2 (* -1/2 0)))) (* 2 1)) into 0
1545987321.748 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.749 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.749 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.757 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow -1/2 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 -1/8) 1)) (pow -1/2 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1/2 1)))) 6) into 0
1545987321.757 * [misc]backup-simplify:  Simplify 0 into 0
1545987321.757 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545987321.758 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.758 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.758 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545987321.760 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* -1/2 -1/8)))) (* 2 1)) into -1/16
1545987321.761 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987321.761 * [misc]backup-simplify:  Simplify (- 0) into 0
1545987321.761 * [misc]backup-simplify:  Simplify (+ -1/16 0) into -1/16
1545987321.769 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow -1/2 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 -1/8) 1)) (pow -1/2 3))) (* -3 (/ (* 1 (pow (* 2 -1/8) 2)) (pow -1/2 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow -1/2 2))) (* 1 (/ (* 1 1 1 (pow (* 24 -1/16) 1)) (pow -1/2 1)))) 24) into 3/32
1545987321.769 * [misc]backup-simplify:  Simplify 3/32 into 3/32
1545987321.769 * [misc]backup-simplify:  Simplify (+ (* 3/32 (pow (/ 1 (- x)) 4)) (+ (* 1/4 (pow (/ 1 (- x)) 2)) (+ (log (/ 1 (- x))) (log -1/2)))) into (+ (log -1/2) (+ (log (/ -1 x)) (+ (* 3/32 (/ 1 (pow x 4))) (* 1/4 (/ 1 (pow x 2))))))
1545987321.769 * * * [misc]progress:  simplifying candidates
1545987321.769 * * * * [misc]progress:  [ 1 / 47 ] simplifiying candidate #<alt (λ (x) (log (+ x (pow (+ -1 (* x x)) 1/2))))>
1545987321.769 * * * * [misc]progress:  [ 2 / 47 ] simplifiying candidate #<alt (λ (x) (log (+ x (pow (sqrt (+ -1 (* x x))) 1))))>
1545987321.769 * * * * [misc]progress:  [ 3 / 47 ] simplifiying candidate #<alt (λ (x) (log (+ x (exp (log (sqrt (+ -1 (* x x))))))))>
1545987321.769 * * * * [misc]progress:  [ 4 / 47 ] simplifiying candidate #<alt (λ (x) (log (+ x (log (exp (sqrt (+ -1 (* x x))))))))>
1545987321.769 * * * * [misc]progress:  [ 5 / 47 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (* (cbrt (sqrt (+ -1 (* x x)))) (cbrt (sqrt (+ -1 (* x x))))) (cbrt (sqrt (+ -1 (* x x))))))))>
1545987321.769 * * * * [misc]progress:  [ 6 / 47 ] simplifiying candidate #<alt (λ (x) (log (+ x (cbrt (* (* (sqrt (+ -1 (* x x))) (sqrt (+ -1 (* x x)))) (sqrt (+ -1 (* x x))))))))>
1545987321.770 * * * * [misc]progress:  [ 7 / 47 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (* (cbrt (+ -1 (* x x))) (cbrt (+ -1 (* x x))))) (sqrt (cbrt (+ -1 (* x x))))))))>
1545987321.770 * [enter]simplify:  Simplifying (sqrt (* (cbrt (+ -1 (* x x))) (cbrt (+ -1 (* x x)))))
1545987321.770 * * [misc]simplify:  iters left: 6 (7 enodes)
1545987321.771 * * [misc]simplify:  iters left: 5 (9 enodes)
1545987321.772 * * [misc]simplify:  iters left: 4 (13 enodes)
1545987321.776 * * [misc]simplify:  iters left: 3 (19 enodes)
1545987321.779 * * [misc]simplify:  iters left: 2 (34 enodes)
1545987321.788 * * [misc]simplify:  iters left: 1 (62 enodes)
1545987321.809 * [exit]simplify:  Simplified to (fabs (cbrt (+ -1 (* x x))))
1545987321.810 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ x (* (fabs (cbrt (+ -1 (* x x)))) (sqrt (cbrt (+ -1 (* x x))))))))
1545987321.810 * * * * [misc]progress:  [ 8 / 47 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (sqrt (+ -1 (* x x)))) (sqrt (sqrt (+ -1 (* x x))))))))>
1545987321.810 * [enter]simplify:  Simplifying (sqrt (sqrt (+ -1 (* x x))))
1545987321.810 * * [misc]simplify:  iters left: 6 (6 enodes)
1545987321.812 * * [misc]simplify:  iters left: 5 (7 enodes)
1545987321.814 * * [misc]simplify:  iters left: 4 (11 enodes)
1545987321.818 * * [misc]simplify:  iters left: 3 (17 enodes)
1545987321.822 * * [misc]simplify:  iters left: 2 (32 enodes)
1545987321.842 * * [misc]simplify:  iters left: 1 (61 enodes)
1545987321.865 * [exit]simplify:  Simplified to (sqrt (sqrt (+ -1 (* x x))))
1545987321.865 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ x (* (sqrt (sqrt (+ -1 (* x x)))) (sqrt (sqrt (+ -1 (* x x))))))))
1545987321.865 * * * * [misc]progress:  [ 9 / 47 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt 1) (sqrt (+ -1 (* x x)))))))>
1545987321.865 * [enter]simplify:  Simplifying (sqrt 1)
1545987321.865 * * [misc]simplify:  iters left: 1 (2 enodes)
1545987321.866 * [exit]simplify:  Simplified to 1
1545987321.866 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ x (* 1 (sqrt (+ -1 (* x x)))))))
1545987321.866 * * * * [misc]progress:  [ 10 / 47 ] simplifiying candidate #<alt (λ (x) (log (+ x (/ (sqrt (+ (pow -1 3) (pow (* x x) 3))) (sqrt (+ (* -1 -1) (- (* (* x x) (* x x)) (* -1 (* x x)))))))))>
1545987321.867 * [enter]simplify:  Simplifying (sqrt (+ (pow -1 3) (pow (* x x) 3)))
1545987321.867 * * [misc]simplify:  iters left: 6 (8 enodes)
1545987321.871 * * [misc]simplify:  iters left: 5 (18 enodes)
1545987321.875 * * [misc]simplify:  iters left: 4 (31 enodes)
1545987321.880 * * [misc]simplify:  iters left: 3 (42 enodes)
1545987321.886 * * [misc]simplify:  iters left: 2 (60 enodes)
1545987321.899 * * [misc]simplify:  iters left: 1 (107 enodes)
1545987321.920 * [exit]simplify:  Simplified to (sqrt (+ (pow x 6) -1))
1545987321.920 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ x (/ (sqrt (+ (pow x 6) -1)) (sqrt (+ (* -1 -1) (- (* (* x x) (* x x)) (* -1 (* x x)))))))))
1545987321.920 * * * * [misc]progress:  [ 11 / 47 ] simplifiying candidate #<alt (λ (x) (log (+ x (/ (sqrt (- (* -1 -1) (* (* x x) (* x x)))) (sqrt (- -1 (* x x)))))))>
1545987321.921 * [enter]simplify:  Simplifying (sqrt (- (* -1 -1) (* (* x x) (* x x))))
1545987321.921 * * [misc]simplify:  iters left: 6 (7 enodes)
1545987321.923 * * [misc]simplify:  iters left: 5 (18 enodes)
1545987321.925 * * [misc]simplify:  iters left: 4 (37 enodes)
1545987321.931 * * [misc]simplify:  iters left: 3 (71 enodes)
1545987321.951 * * [misc]simplify:  iters left: 2 (131 enodes)
1545987322.030 * * [misc]simplify:  iters left: 1 (326 enodes)
1545987322.268 * [exit]simplify:  Simplified to (sqrt (- 1 (pow x 4)))
1545987322.268 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ x (/ (sqrt (- 1 (pow x 4))) (sqrt (- -1 (* x x)))))))
1545987322.268 * * * * [misc]progress:  [ 12 / 47 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (sqrt (+ -1 (* x x)))) (sqrt (sqrt (+ -1 (* x x))))))))>
1545987322.268 * * * * [misc]progress:  [ 13 / 47 ] simplifiying candidate #<alt (λ (x) (log (+ x (fabs (sqrt (+ -1 (* x x)))))))>
1545987322.268 * [enter]simplify:  Simplifying (sqrt (+ -1 (* x x)))
1545987322.269 * * [misc]simplify:  iters left: 5 (5 enodes)
1545987322.269 * * [misc]simplify:  iters left: 4 (6 enodes)
1545987322.270 * * [misc]simplify:  iters left: 3 (10 enodes)
1545987322.272 * * [misc]simplify:  iters left: 2 (16 enodes)
1545987322.275 * * [misc]simplify:  iters left: 1 (31 enodes)
1545987322.295 * [exit]simplify:  Simplified to (sqrt (+ -1 (* x x)))
1545987322.295 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ x (fabs (sqrt (+ -1 (* x x)))))))
1545987322.295 * * * * [misc]progress:  [ 14 / 47 ] simplifiying candidate #<alt (λ (x) (log (+ x (* 1 (sqrt (+ -1 (* x x)))))))>
1545987322.295 * * * * [misc]progress:  [ 15 / 47 ] simplifiying candidate #<alt (λ (x) (log (pow (+ x (sqrt (+ -1 (* x x)))) 1)))>
1545987322.295 * * * * [misc]progress:  [ 16 / 47 ] simplifiying candidate #<alt (λ (x) (log (exp (log (+ x (sqrt (+ -1 (* x x))))))))>
1545987322.295 * * * * [misc]progress:  [ 17 / 47 ] simplifiying candidate #<alt (λ (x) (log (log (exp (+ x (sqrt (+ -1 (* x x))))))))>
1545987322.295 * * * * [misc]progress:  [ 18 / 47 ] simplifiying candidate #<alt (λ (x) (log (* (* (cbrt (+ x (sqrt (+ -1 (* x x))))) (cbrt (+ x (sqrt (+ -1 (* x x)))))) (cbrt (+ x (sqrt (+ -1 (* x x))))))))>
1545987322.295 * * * * [misc]progress:  [ 19 / 47 ] simplifiying candidate #<alt (λ (x) (log (cbrt (* (* (+ x (sqrt (+ -1 (* x x)))) (+ x (sqrt (+ -1 (* x x))))) (+ x (sqrt (+ -1 (* x x))))))))>
1545987322.295 * * * * [misc]progress:  [ 20 / 47 ] simplifiying candidate #<alt (λ (x) (log (* (sqrt (+ x (sqrt (+ -1 (* x x))))) (sqrt (+ x (sqrt (+ -1 (* x x))))))))>
1545987322.295 * * * * [misc]progress:  [ 21 / 47 ] simplifiying candidate #<alt (λ (x) (log (/ (+ (pow x 3) (pow (sqrt (+ -1 (* x x))) 3)) (+ (* x x) (- (* (sqrt (+ -1 (* x x))) (sqrt (+ -1 (* x x)))) (* x (sqrt (+ -1 (* x x)))))))))>
1545987322.296 * * * * [misc]progress:  [ 22 / 47 ] simplifiying candidate #<alt (λ (x) (log (* 1 (+ x (sqrt (+ -1 (* x x)))))))>
1545987322.296 * * * * [misc]progress:  [ 23 / 47 ] simplifiying candidate #<alt (λ (x) (log (/ (- (* x x) (* (sqrt (+ -1 (* x x))) (sqrt (+ -1 (* x x))))) (- x (sqrt (+ -1 (* x x)))))))>
1545987322.296 * * * * [misc]progress:  [ 24 / 47 ] simplifiying candidate #<alt (λ (x) (log (+ (sqrt (+ -1 (* x x))) x)))>
1545987322.296 * * * * [misc]progress:  [ 25 / 47 ] simplifiying candidate #<alt (λ (x) (+ (log (* (cbrt (+ x (sqrt (+ -1 (* x x))))) (cbrt (+ x (sqrt (+ -1 (* x x))))))) (log (cbrt (+ x (sqrt (+ -1 (* x x))))))))>
1545987322.296 * [enter]simplify:  Simplifying (log (* (cbrt (+ x (sqrt (+ -1 (* x x))))) (cbrt (+ x (sqrt (+ -1 (* x x)))))))
1545987322.296 * * [misc]simplify:  iters left: 6 (9 enodes)
1545987322.299 * * [misc]simplify:  iters left: 5 (13 enodes)
1545987322.303 * * [misc]simplify:  iters left: 4 (17 enodes)
1545987322.306 * * [misc]simplify:  iters left: 3 (23 enodes)
1545987322.309 * * [misc]simplify:  iters left: 2 (38 enodes)
1545987322.322 * * [misc]simplify:  iters left: 1 (67 enodes)
1545987322.334 * [exit]simplify:  Simplified to (log (* (cbrt (+ x (sqrt (+ -1 (* x x))))) (cbrt (+ x (sqrt (+ -1 (* x x)))))))
1545987322.334 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (log (* (cbrt (+ x (sqrt (+ -1 (* x x))))) (cbrt (+ x (sqrt (+ -1 (* x x))))))) (log (cbrt (+ x (sqrt (+ -1 (* x x))))))))
1545987322.335 * * * * [misc]progress:  [ 26 / 47 ] simplifiying candidate #<alt (λ (x) (+ (log (sqrt (+ x (sqrt (+ -1 (* x x)))))) (log (sqrt (+ x (sqrt (+ -1 (* x x))))))))>
1545987322.335 * [enter]simplify:  Simplifying (log (sqrt (+ x (sqrt (+ -1 (* x x))))))
1545987322.335 * * [misc]simplify:  iters left: 6 (8 enodes)
1545987322.337 * * [misc]simplify:  iters left: 5 (10 enodes)
1545987322.339 * * [misc]simplify:  iters left: 4 (14 enodes)
1545987322.344 * * [misc]simplify:  iters left: 3 (20 enodes)
1545987322.348 * * [misc]simplify:  iters left: 2 (35 enodes)
1545987322.367 * * [misc]simplify:  iters left: 1 (64 enodes)
1545987322.389 * [exit]simplify:  Simplified to (log (sqrt (+ x (sqrt (+ -1 (* x x))))))
1545987322.390 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (log (sqrt (+ x (sqrt (+ -1 (* x x)))))) (log (sqrt (+ x (sqrt (+ -1 (* x x))))))))
1545987322.390 * * * * [misc]progress:  [ 27 / 47 ] simplifiying candidate #<alt (λ (x) (+ (log 1) (log (+ x (sqrt (+ -1 (* x x)))))))>
1545987322.390 * [enter]simplify:  Simplifying (log 1)
1545987322.390 * * [misc]simplify:  iters left: 1 (2 enodes)
1545987322.391 * [exit]simplify:  Simplified to 0
1545987322.391 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ 0 (log (+ x (sqrt (+ -1 (* x x)))))))
1545987322.391 * * * * [misc]progress:  [ 28 / 47 ] simplifiying candidate #<alt (λ (x) (- (log (+ (pow x 3) (pow (sqrt (+ -1 (* x x))) 3))) (log (+ (* x x) (- (* (sqrt (+ -1 (* x x))) (sqrt (+ -1 (* x x)))) (* x (sqrt (+ -1 (* x x)))))))))>
1545987322.391 * [enter]simplify:  Simplifying (log (+ (pow x 3) (pow (sqrt (+ -1 (* x x))) 3)))
1545987322.392 * * [misc]simplify:  iters left: 6 (10 enodes)
1545987322.395 * * [misc]simplify:  iters left: 5 (17 enodes)
1545987322.399 * * [misc]simplify:  iters left: 4 (21 enodes)
1545987322.405 * * [misc]simplify:  iters left: 3 (35 enodes)
1545987322.416 * * [misc]simplify:  iters left: 2 (67 enodes)
1545987322.447 * * [misc]simplify:  iters left: 1 (139 enodes)
1545987322.493 * [exit]simplify:  Simplified to (log (+ (* (+ -1 (* x x)) (sqrt (+ -1 (* x x)))) (pow x 3)))
1545987322.493 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (log (+ (* (+ -1 (* x x)) (sqrt (+ -1 (* x x)))) (pow x 3))) (log (+ (* x x) (- (* (sqrt (+ -1 (* x x))) (sqrt (+ -1 (* x x)))) (* x (sqrt (+ -1 (* x x)))))))))
1545987322.493 * * * * [misc]progress:  [ 29 / 47 ] simplifiying candidate #<alt (λ (x) (- (log (- (* x x) (* (sqrt (+ -1 (* x x))) (sqrt (+ -1 (* x x)))))) (log (- x (sqrt (+ -1 (* x x)))))))>
1545987322.493 * [enter]simplify:  Simplifying (log (- (* x x) (* (sqrt (+ -1 (* x x))) (sqrt (+ -1 (* x x))))))
1545987322.493 * * [misc]simplify:  iters left: 6 (8 enodes)
1545987322.495 * * [misc]simplify:  iters left: 5 (14 enodes)
1545987322.498 * * [misc]simplify:  iters left: 4 (37 enodes)
1545987322.505 * * [misc]simplify:  iters left: 3 (68 enodes)
1545987322.520 * * [misc]simplify:  iters left: 2 (119 enodes)
1545987322.588 * * [misc]simplify:  iters left: 1 (254 enodes)
1545987322.700 * [exit]simplify:  Simplified to 0
1545987322.700 * [misc]simplify:  Simplified (2 1) to (λ (x) (- 0 (log (- x (sqrt (+ -1 (* x x)))))))
1545987322.701 * * * * [misc]progress:  [ 30 / 47 ] simplifiying candidate #<alt (λ (x) (* 1 (log (+ x (sqrt (+ -1 (* x x)))))))>
1545987322.701 * * * * [misc]progress:  [ 31 / 47 ] simplifiying candidate #<alt (λ (x) (pow (log (+ x (sqrt (+ -1 (* x x))))) 1))>
1545987322.701 * * * * [misc]progress:  [ 32 / 47 ] simplifiying candidate #<alt (λ (x) (log (+ x (sqrt (+ -1 (* x x))))))>
1545987322.701 * [enter]simplify:  Simplifying (+ x (sqrt (+ -1 (* x x))))
1545987322.701 * * [misc]simplify:  iters left: 6 (6 enodes)
1545987322.703 * * [misc]simplify:  iters left: 5 (8 enodes)
1545987322.705 * * [misc]simplify:  iters left: 4 (12 enodes)
1545987322.710 * * [misc]simplify:  iters left: 3 (18 enodes)
1545987322.714 * * [misc]simplify:  iters left: 2 (33 enodes)
1545987322.729 * * [misc]simplify:  iters left: 1 (63 enodes)
1545987322.741 * [exit]simplify:  Simplified to (+ x (sqrt (+ -1 (* x x))))
1545987322.741 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (+ x (sqrt (+ -1 (* x x))))))
1545987322.741 * * * * [misc]progress:  [ 33 / 47 ] simplifiying candidate #<alt (λ (x) (exp (log (log (+ x (sqrt (+ -1 (* x x))))))))>
1545987322.741 * * * * [misc]progress:  [ 34 / 47 ] simplifiying candidate #<alt (λ (x) (log (exp (log (+ x (sqrt (+ -1 (* x x))))))))>
1545987322.741 * * * * [misc]progress:  [ 35 / 47 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (log (+ x (sqrt (+ -1 (* x x)))))) (cbrt (log (+ x (sqrt (+ -1 (* x x))))))) (cbrt (log (+ x (sqrt (+ -1 (* x x))))))))>
1545987322.741 * * * * [misc]progress:  [ 36 / 47 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x (sqrt (+ -1 (* x x))))) (log (+ x (sqrt (+ -1 (* x x)))))) (log (+ x (sqrt (+ -1 (* x x))))))))>
1545987322.741 * * * * [misc]progress:  [ 37 / 47 ] simplifiying candidate #<alt (λ (x) (* (sqrt (log (+ x (sqrt (+ -1 (* x x)))))) (sqrt (log (+ x (sqrt (+ -1 (* x x))))))))>
1545987322.741 * * * * [misc]progress:  [ 38 / 47 ] simplifiying candidate #<alt (λ (x) (* 1 (log (+ x (sqrt (+ -1 (* x x)))))))>
1545987322.741 * * * * [misc]progress:  [ 39 / 47 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1)) (* 1/8 (/ (pow x 4) (pow (sqrt -1) 3)))))))>
1545987322.741 * [enter]simplify:  Simplifying (- (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1)) (* 1/8 (/ (pow x 4) (pow (sqrt -1) 3))))
1545987322.741 * * [misc]simplify:  iters left: 6 (17 enodes)
1545987322.744 * * [misc]simplify:  iters left: 5 (32 enodes)
1545987322.751 * * [misc]simplify:  iters left: 4 (76 enodes)
1545987322.771 * * [misc]simplify:  iters left: 3 (140 enodes)
1545987322.843 * * [misc]simplify:  iters left: 2 (250 enodes)
1545987322.938 * * [misc]simplify:  iters left: 1 (394 enodes)
1545987323.112 * [exit]simplify:  Simplified to (- (/ 1/2 (/ (sqrt -1) (* x x))) (- (/ (/ (pow x 4) (sqrt -1)) -8) (sqrt -1)))
1545987323.112 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (log (+ x (- (/ 1/2 (/ (sqrt -1) (* x x))) (- (/ (/ (pow x 4) (sqrt -1)) -8) (sqrt -1))))))
1545987323.112 * * * * [misc]progress:  [ 40 / 47 ] simplifiying candidate #<alt (λ (x) (log (+ x (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))))))>
1545987323.112 * [enter]simplify:  Simplifying (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1545987323.112 * * [misc]simplify:  iters left: 6 (12 enodes)
1545987323.116 * * [misc]simplify:  iters left: 5 (28 enodes)
1545987323.126 * * [misc]simplify:  iters left: 4 (43 enodes)
1545987323.144 * * [misc]simplify:  iters left: 3 (87 enodes)
1545987323.178 * * [misc]simplify:  iters left: 2 (145 enodes)
1545987323.211 * * [misc]simplify:  iters left: 1 (204 enodes)
1545987323.275 * [exit]simplify:  Simplified to (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x)))
1545987323.275 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))))
1545987323.275 * * * * [misc]progress:  [ 41 / 47 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))) x))))>
1545987323.275 * [enter]simplify:  Simplifying (- (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))) x)
1545987323.275 * * [misc]simplify:  iters left: 6 (12 enodes)
1545987323.279 * * [misc]simplify:  iters left: 5 (28 enodes)
1545987323.284 * * [misc]simplify:  iters left: 4 (43 enodes)
1545987323.291 * * [misc]simplify:  iters left: 3 (63 enodes)
1545987323.307 * * [misc]simplify:  iters left: 2 (95 enodes)
1545987323.329 * * [misc]simplify:  iters left: 1 (135 enodes)
1545987323.380 * [exit]simplify:  Simplified to (+ (/ (/ 1/8 x) (* x x)) (- (/ 1/2 x) x))
1545987323.380 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (log (+ x (+ (/ (/ 1/8 x) (* x x)) (- (/ 1/2 x) x)))))
1545987323.380 * * * * [misc]progress:  [ 42 / 47 ] simplifiying candidate #<alt (λ (x) (log (+ x (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1)))))>
1545987323.381 * [enter]simplify:  Simplifying (+ x (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1)))
1545987323.381 * * [misc]simplify:  iters left: 6 (10 enodes)
1545987323.384 * * [misc]simplify:  iters left: 5 (18 enodes)
1545987323.387 * * [misc]simplify:  iters left: 4 (32 enodes)
1545987323.392 * * [misc]simplify:  iters left: 3 (42 enodes)
1545987323.397 * * [misc]simplify:  iters left: 2 (52 enodes)
1545987323.405 * * [misc]simplify:  iters left: 1 (68 enodes)
1545987323.415 * [exit]simplify:  Simplified to (+ (+ (sqrt -1) x) (/ 1/2 (/ (sqrt -1) (* x x))))
1545987323.415 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (+ (+ (sqrt -1) x) (/ 1/2 (/ (sqrt -1) (* x x))))))
1545987323.415 * * * * [misc]progress:  [ 43 / 47 ] simplifiying candidate #<alt (λ (x) (log (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))))>
1545987323.415 * [enter]simplify:  Simplifying (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1545987323.415 * * [misc]simplify:  iters left: 6 (14 enodes)
1545987323.422 * * [misc]simplify:  iters left: 5 (31 enodes)
1545987323.432 * * [misc]simplify:  iters left: 4 (46 enodes)
1545987323.444 * * [misc]simplify:  iters left: 3 (89 enodes)
1545987323.461 * * [misc]simplify:  iters left: 2 (148 enodes)
1545987323.481 * * [misc]simplify:  iters left: 1 (212 enodes)
1545987323.529 * [exit]simplify:  Simplified to (- (/ (/ -1/8 x) (* x x)) (+ (/ 1/2 x) (* -2 x)))
1545987323.529 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (- (/ (/ -1/8 x) (* x x)) (+ (/ 1/2 x) (* -2 x)))))
1545987323.529 * * * * [misc]progress:  [ 44 / 47 ] simplifiying candidate #<alt (λ (x) (log (+ (* 1/16 (/ 1 (pow x 5))) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))))>
1545987323.529 * [enter]simplify:  Simplifying (+ (* 1/16 (/ 1 (pow x 5))) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1545987323.529 * * [misc]simplify:  iters left: 6 (17 enodes)
1545987323.534 * * [misc]simplify:  iters left: 5 (35 enodes)
1545987323.540 * * [misc]simplify:  iters left: 4 (50 enodes)
1545987323.548 * * [misc]simplify:  iters left: 3 (68 enodes)
1545987323.566 * * [misc]simplify:  iters left: 2 (101 enodes)
1545987323.586 * * [misc]simplify:  iters left: 1 (125 enodes)
1545987323.619 * [exit]simplify:  Simplified to (+ (/ 1/2 x) (+ (/ 1/16 (pow x 5)) (/ (/ 1/8 x) (* x x))))
1545987323.619 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (+ (/ 1/2 x) (+ (/ 1/16 (pow x 5)) (/ (/ 1/8 x) (* x x))))))
1545987323.619 * * * * [misc]progress:  [ 45 / 47 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt -1)) (/ x (sqrt -1))) (* 1/6 (/ (pow x 3) (pow (sqrt -1) 3)))))>
1545987323.619 * [enter]simplify:  Simplifying (- (+ (log (sqrt -1)) (/ x (sqrt -1))) (* 1/6 (/ (pow x 3) (pow (sqrt -1) 3))))
1545987323.619 * * [misc]simplify:  iters left: 6 (13 enodes)
1545987323.624 * * [misc]simplify:  iters left: 5 (27 enodes)
1545987323.636 * * [misc]simplify:  iters left: 4 (80 enodes)
1545987323.672 * * [misc]simplify:  iters left: 3 (241 enodes)
1545987323.913 * [exit]simplify:  Simplified to (- (+ (log (sqrt -1)) (/ x (sqrt -1))) (* (/ (* x x) -6) (/ x (sqrt -1))))
1545987323.913 * [misc]simplify:  Simplified (2) to (λ (x) (- (+ (log (sqrt -1)) (/ x (sqrt -1))) (* (/ (* x x) -6) (/ x (sqrt -1)))))
1545987323.913 * * * * [misc]progress:  [ 46 / 47 ] simplifiying candidate #<alt (λ (x) (- (log 2) (+ (log (/ 1 x)) (+ (* 3/32 (/ 1 (pow x 4))) (* 1/4 (/ 1 (pow x 2)))))))>
1545987323.914 * [enter]simplify:  Simplifying (- (log 2) (+ (log (/ 1 x)) (+ (* 3/32 (/ 1 (pow x 4))) (* 1/4 (/ 1 (pow x 2))))))
1545987323.914 * * [misc]simplify:  iters left: 6 (18 enodes)
1545987323.923 * * [misc]simplify:  iters left: 5 (39 enodes)
1545987323.936 * * [misc]simplify:  iters left: 4 (68 enodes)
1545987323.963 * * [misc]simplify:  iters left: 3 (142 enodes)
1545987324.027 * * [misc]simplify:  iters left: 2 (300 enodes)
1545987324.201 * [exit]simplify:  Simplified to (+ (+ (+ (log 2) (log x)) (/ -3/32 (pow x 4))) (/ -1/4 (* x x)))
1545987324.201 * [misc]simplify:  Simplified (2) to (λ (x) (+ (+ (+ (log 2) (log x)) (/ -3/32 (pow x 4))) (/ -1/4 (* x x))))
1545987324.201 * * * * [misc]progress:  [ 47 / 47 ] simplifiying candidate #<alt (λ (x) (+ (log -1/2) (+ (log (/ -1 x)) (+ (* 3/32 (/ 1 (pow x 4))) (* 1/4 (/ 1 (pow x 2)))))))>
1545987324.202 * [enter]simplify:  Simplifying (+ (log -1/2) (+ (log (/ -1 x)) (+ (* 3/32 (/ 1 (pow x 4))) (* 1/4 (/ 1 (pow x 2))))))
1545987324.202 * * [misc]simplify:  iters left: 6 (20 enodes)
1545987324.211 * * [misc]simplify:  iters left: 5 (39 enodes)
1545987324.218 * * [misc]simplify:  iters left: 4 (75 enodes)
1545987324.235 * * [misc]simplify:  iters left: 3 (161 enodes)
1545987324.308 * * [misc]simplify:  iters left: 2 (366 enodes)
1545987324.526 * [exit]simplify:  Simplified to (+ (- (log (/ -1 x)) (/ -1/4 (* x x))) (+ (/ 3/32 (pow x 4)) (log -1/2)))
1545987324.526 * [misc]simplify:  Simplified (2) to (λ (x) (+ (- (log (/ -1 x)) (/ -1/4 (* x x))) (+ (/ 3/32 (pow x 4)) (log -1/2))))
1545987324.526 * * * [misc]progress:  adding candidates to table
1545987324.962 * * [misc]progress:  iteration 2 / 4
1545987324.962 * * * [misc]progress:  picking best candidate
1545987324.965 * * * * [misc]pick:  Picked  #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))))>
1545987324.965 * * * [misc]progress:  localizing error
1545987324.987 * * * [misc]progress:  generating rewritten candidates
1545987324.987 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2 1 2 2)
1545987324.994 * * * [misc]progress:  generating series expansions
1545987324.994 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2 1 2 2)
1545987324.994 * [misc]backup-simplify:  Simplify (/ (/ 1/8 x) (* x x)) into (/ 1/8 (pow x 3))
1545987324.994 * [misc]approximate:  Taking taylor expansion of (/ 1/8 (pow x 3)) in (x) around 0
1545987324.994 * [misc]taylor:  Taking taylor expansion of (/ 1/8 (pow x 3)) in x
1545987324.994 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1545987324.994 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1545987324.994 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1545987324.994 * [misc]taylor:  Taking taylor expansion of x in x
1545987324.994 * [misc]backup-simplify:  Simplify 0 into 0
1545987324.994 * [misc]backup-simplify:  Simplify 1 into 1
1545987324.995 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545987324.995 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545987324.995 * [misc]backup-simplify:  Simplify (/ 1/8 1) into 1/8
1545987324.995 * [misc]taylor:  Taking taylor expansion of (/ 1/8 (pow x 3)) in x
1545987324.995 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1545987324.995 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1545987324.995 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1545987324.995 * [misc]taylor:  Taking taylor expansion of x in x
1545987324.995 * [misc]backup-simplify:  Simplify 0 into 0
1545987324.995 * [misc]backup-simplify:  Simplify 1 into 1
1545987324.995 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545987324.996 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545987324.996 * [misc]backup-simplify:  Simplify (/ 1/8 1) into 1/8
1545987324.996 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1545987324.996 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545987324.996 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545987324.997 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/8 (/ 0 1)))) into 0
1545987324.997 * [misc]backup-simplify:  Simplify 0 into 0
1545987324.997 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545987324.997 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545987324.998 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/8 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987324.998 * [misc]backup-simplify:  Simplify 0 into 0
1545987324.998 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545987324.999 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545987324.999 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/8 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987324.999 * [misc]backup-simplify:  Simplify 0 into 0
1545987325.000 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545987325.000 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545987325.001 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/8 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987325.001 * [misc]backup-simplify:  Simplify 0 into 0
1545987325.001 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545987325.002 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545987325.002 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/8 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987325.002 * [misc]backup-simplify:  Simplify 0 into 0
1545987325.003 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545987325.003 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545987325.004 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/8 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545987325.004 * [misc]backup-simplify:  Simplify 0 into 0
1545987325.004 * [misc]backup-simplify:  Simplify (* 1/8 (pow (/ 1 x) 3)) into (/ 1/8 (pow x 3))
1545987325.004 * [misc]backup-simplify:  Simplify (/ (/ 1/8 (/ 1 x)) (* (/ 1 x) (/ 1 x))) into (* 1/8 (pow x 3))
1545987325.004 * [misc]approximate:  Taking taylor expansion of (* 1/8 (pow x 3)) in (x) around 0
1545987325.005 * [misc]taylor:  Taking taylor expansion of (* 1/8 (pow x 3)) in x
1545987325.005 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1545987325.005 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1545987325.005 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1545987325.005 * [misc]taylor:  Taking taylor expansion of x in x
1545987325.005 * [misc]backup-simplify:  Simplify 0 into 0
1545987325.005 * [misc]backup-simplify:  Simplify 1 into 1
1545987325.005 * [misc]taylor:  Taking taylor expansion of (* 1/8 (pow x 3)) in x
1545987325.005 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1545987325.005 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1545987325.005 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1545987325.005 * [misc]taylor:  Taking taylor expansion of x in x
1545987325.005 * [misc]backup-simplify:  Simplify 0 into 0
1545987325.005 * [misc]backup-simplify:  Simplify 1 into 1
1545987325.005 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545987325.005 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545987325.005 * [misc]backup-simplify:  Simplify (* 1/8 1) into 1/8
1545987325.006 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1545987325.006 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545987325.006 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545987325.006 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (* 0 1)) into 0
1545987325.006 * [misc]backup-simplify:  Simplify 0 into 0
1545987325.007 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545987325.007 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545987325.007 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (+ (* 0 0) (* 0 1))) into 0
1545987325.007 * [misc]backup-simplify:  Simplify 0 into 0
1545987325.008 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545987325.008 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545987325.008 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545987325.008 * [misc]backup-simplify:  Simplify 0 into 0
1545987325.009 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545987325.009 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545987325.010 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545987325.010 * [misc]backup-simplify:  Simplify 0 into 0
1545987325.010 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545987325.011 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545987325.011 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545987325.011 * [misc]backup-simplify:  Simplify 0 into 0
1545987325.012 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545987325.013 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545987325.013 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545987325.013 * [misc]backup-simplify:  Simplify 0 into 0
1545987325.013 * [misc]backup-simplify:  Simplify (* 1/8 (pow (/ 1 x) 3)) into (/ 1/8 (pow x 3))
1545987325.014 * [misc]backup-simplify:  Simplify (/ (/ 1/8 (/ 1 (- x))) (* (/ 1 (- x)) (/ 1 (- x)))) into (* -1/8 (pow x 3))
1545987325.014 * [misc]approximate:  Taking taylor expansion of (* -1/8 (pow x 3)) in (x) around 0
1545987325.014 * [misc]taylor:  Taking taylor expansion of (* -1/8 (pow x 3)) in x
1545987325.014 * [misc]taylor:  Taking taylor expansion of -1/8 in x
1545987325.014 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1545987325.014 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1545987325.014 * [misc]taylor:  Taking taylor expansion of x in x
1545987325.014 * [misc]backup-simplify:  Simplify 0 into 0
1545987325.014 * [misc]backup-simplify:  Simplify 1 into 1
1545987325.014 * [misc]taylor:  Taking taylor expansion of (* -1/8 (pow x 3)) in x
1545987325.014 * [misc]taylor:  Taking taylor expansion of -1/8 in x
1545987325.014 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1545987325.014 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1545987325.014 * [misc]taylor:  Taking taylor expansion of x in x
1545987325.014 * [misc]backup-simplify:  Simplify 0 into 0
1545987325.014 * [misc]backup-simplify:  Simplify 1 into 1
1545987325.014 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545987325.014 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545987325.015 * [misc]backup-simplify:  Simplify (* -1/8 1) into -1/8
1545987325.015 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1545987325.015 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545987325.015 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545987325.015 * [misc]backup-simplify:  Simplify (+ (* -1/8 0) (* 0 1)) into 0
1545987325.015 * [misc]backup-simplify:  Simplify 0 into 0
1545987325.016 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545987325.016 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545987325.016 * [misc]backup-simplify:  Simplify (+ (* -1/8 0) (+ (* 0 0) (* 0 1))) into 0
1545987325.016 * [misc]backup-simplify:  Simplify 0 into 0
1545987325.017 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545987325.017 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545987325.017 * [misc]backup-simplify:  Simplify (+ (* -1/8 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545987325.018 * [misc]backup-simplify:  Simplify 0 into 0
1545987325.018 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545987325.018 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545987325.019 * [misc]backup-simplify:  Simplify (+ (* -1/8 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545987325.019 * [misc]backup-simplify:  Simplify 0 into 0
1545987325.019 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545987325.020 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545987325.020 * [misc]backup-simplify:  Simplify (+ (* -1/8 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545987325.020 * [misc]backup-simplify:  Simplify 0 into 0
1545987325.021 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545987325.022 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545987325.022 * [misc]backup-simplify:  Simplify (+ (* -1/8 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545987325.022 * [misc]backup-simplify:  Simplify 0 into 0
1545987325.022 * [misc]backup-simplify:  Simplify (* -1/8 (pow (/ 1 (- x)) 3)) into (/ 1/8 (pow x 3))
1545987325.022 * * * [misc]progress:  simplifying candidates
1545987325.022 * * * * [misc]progress:  [ 1 / 25 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (pow (/ (/ 1/8 x) (* x x)) 1)))))>
1545987325.022 * * * * [misc]progress:  [ 2 / 25 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (exp (- (log (/ 1/8 x)) (log (* x x))))))))>
1545987325.023 * [enter]simplify:  Simplifying (- (log (/ 1/8 x)) (log (* x x)))
1545987325.023 * * [misc]simplify:  iters left: 5 (7 enodes)
1545987325.025 * * [misc]simplify:  iters left: 4 (13 enodes)
1545987325.027 * * [misc]simplify:  iters left: 3 (23 enodes)
1545987325.035 * * [misc]simplify:  iters left: 2 (47 enodes)
1545987325.043 * * [misc]simplify:  iters left: 1 (64 enodes)
1545987325.052 * [exit]simplify:  Simplified to (- (log (/ 1/8 x)) (log (* x x)))
1545987325.052 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (exp (- (log (/ 1/8 x)) (log (* x x))))))))
1545987325.052 * * * * [misc]progress:  [ 3 / 25 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (exp (log (/ (/ 1/8 x) (* x x))))))))>
1545987325.052 * * * * [misc]progress:  [ 4 / 25 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (log (exp (/ (/ 1/8 x) (* x x))))))))>
1545987325.052 * * * * [misc]progress:  [ 5 / 25 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (cbrt (/ (* (* (/ 1/8 x) (/ 1/8 x)) (/ 1/8 x)) (* (* (* x x) (* x x)) (* x x))))))))>
1545987325.052 * [enter]simplify:  Simplifying (/ (* (* (/ 1/8 x) (/ 1/8 x)) (/ 1/8 x)) (* (* (* x x) (* x x)) (* x x)))
1545987325.053 * * [misc]simplify:  iters left: 6 (9 enodes)
1545987325.054 * * [misc]simplify:  iters left: 5 (30 enodes)
1545987325.062 * * [misc]simplify:  iters left: 4 (121 enodes)
1545987325.137 * * [misc]simplify:  iters left: 3 (479 enodes)
1545987325.769 * [exit]simplify:  Simplified to (pow (/ (/ 1/8 x) (* x x)) 3)
1545987325.769 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (cbrt (pow (/ (/ 1/8 x) (* x x)) 3))))))
1545987325.769 * * * * [misc]progress:  [ 6 / 25 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (* (* (cbrt (/ (/ 1/8 x) (* x x))) (cbrt (/ (/ 1/8 x) (* x x)))) (cbrt (/ (/ 1/8 x) (* x x))))))))>
1545987325.769 * * * * [misc]progress:  [ 7 / 25 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (cbrt (* (* (/ (/ 1/8 x) (* x x)) (/ (/ 1/8 x) (* x x))) (/ (/ 1/8 x) (* x x))))))))>
1545987325.769 * * * * [misc]progress:  [ 8 / 25 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (* (sqrt (/ (/ 1/8 x) (* x x))) (sqrt (/ (/ 1/8 x) (* x x))))))))>
1545987325.769 * * * * [misc]progress:  [ 9 / 25 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ (- (/ 1/8 x)) (- (* x x)))))))>
1545987325.769 * * * * [misc]progress:  [ 10 / 25 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (* (/ (* (cbrt (/ 1/8 x)) (cbrt (/ 1/8 x))) x) (/ (cbrt (/ 1/8 x)) x))))))>
1545987325.769 * [enter]simplify:  Simplifying (/ (* (cbrt (/ 1/8 x)) (cbrt (/ 1/8 x))) x)
1545987325.770 * * [misc]simplify:  iters left: 6 (6 enodes)
1545987325.772 * * [misc]simplify:  iters left: 5 (8 enodes)
1545987325.774 * * [misc]simplify:  iters left: 4 (10 enodes)
1545987325.777 * * [misc]simplify:  iters left: 3 (11 enodes)
1545987325.780 * [exit]simplify:  Simplified to (/ (cbrt (/ 1/8 x)) (/ x (cbrt (/ 1/8 x))))
1545987325.780 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (* (/ (cbrt (/ 1/8 x)) (/ x (cbrt (/ 1/8 x)))) (/ (cbrt (/ 1/8 x)) x))))))
1545987325.781 * [enter]simplify:  Simplifying (/ (cbrt (/ 1/8 x)) x)
1545987325.781 * * [misc]simplify:  iters left: 5 (5 enodes)
1545987325.783 * [exit]simplify:  Simplified to (/ (cbrt (/ 1/8 x)) x)
1545987325.783 * [misc]simplify:  Simplified (2 1 2 2 2) to (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (* (/ (* (cbrt (/ 1/8 x)) (cbrt (/ 1/8 x))) x) (/ (cbrt (/ 1/8 x)) x))))))
1545987325.783 * * * * [misc]progress:  [ 11 / 25 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (* (/ (sqrt (/ 1/8 x)) x) (/ (sqrt (/ 1/8 x)) x))))))>
1545987325.783 * [enter]simplify:  Simplifying (/ (sqrt (/ 1/8 x)) x)
1545987325.783 * * [misc]simplify:  iters left: 5 (5 enodes)
1545987325.784 * [exit]simplify:  Simplified to (/ (sqrt (/ 1/8 x)) x)
1545987325.784 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (* (/ (sqrt (/ 1/8 x)) x) (/ (sqrt (/ 1/8 x)) x))))))
1545987325.784 * [enter]simplify:  Simplifying (/ (sqrt (/ 1/8 x)) x)
1545987325.784 * * [misc]simplify:  iters left: 5 (5 enodes)
1545987325.785 * [exit]simplify:  Simplified to (/ (sqrt (/ 1/8 x)) x)
1545987325.785 * [misc]simplify:  Simplified (2 1 2 2 2) to (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (* (/ (sqrt (/ 1/8 x)) x) (/ (sqrt (/ 1/8 x)) x))))))
1545987325.785 * * * * [misc]progress:  [ 12 / 25 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (* (/ 1 x) (/ (/ 1/8 x) x))))))>
1545987325.785 * [enter]simplify:  Simplifying (/ 1 x)
1545987325.785 * * [misc]simplify:  iters left: 2 (3 enodes)
1545987325.786 * * [misc]simplify:  iters left: 1 (5 enodes)
1545987325.786 * [exit]simplify:  Simplified to (/ 1 x)
1545987325.786 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (* (/ 1 x) (/ (/ 1/8 x) x))))))
1545987325.786 * [enter]simplify:  Simplifying (/ (/ 1/8 x) x)
1545987325.786 * * [misc]simplify:  iters left: 4 (4 enodes)
1545987325.787 * * [misc]simplify:  iters left: 3 (6 enodes)
1545987325.788 * [exit]simplify:  Simplified to (/ (/ 1/8 x) x)
1545987325.788 * [misc]simplify:  Simplified (2 1 2 2 2) to (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (* (/ 1 x) (/ (/ 1/8 x) x))))))
1545987325.788 * * * * [misc]progress:  [ 13 / 25 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (* (/ 1/8 x) (/ (/ 1 x) x))))))>
1545987325.788 * [enter]simplify:  Simplifying (/ 1/8 x)
1545987325.788 * * [misc]simplify:  iters left: 2 (3 enodes)
1545987325.789 * [exit]simplify:  Simplified to (/ 1/8 x)
1545987325.789 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (* (/ 1/8 x) (/ (/ 1 x) x))))))
1545987325.789 * [enter]simplify:  Simplifying (/ (/ 1 x) x)
1545987325.789 * * [misc]simplify:  iters left: 4 (4 enodes)
1545987325.789 * * [misc]simplify:  iters left: 3 (8 enodes)
1545987325.790 * [exit]simplify:  Simplified to (/ (/ 1 x) x)
1545987325.790 * [misc]simplify:  Simplified (2 1 2 2 2) to (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (* (/ 1/8 x) (/ (/ 1 x) x))))))
1545987325.790 * * * * [misc]progress:  [ 14 / 25 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (* 1 (/ (/ 1/8 x) (* x x)))))))>
1545987325.790 * * * * [misc]progress:  [ 15 / 25 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (* (/ 1/8 x) (/ 1 (* x x)))))))>
1545987325.791 * * * * [misc]progress:  [ 16 / 25 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ 1 (/ (* x x) (/ 1/8 x)))))))>
1545987325.791 * * * * [misc]progress:  [ 17 / 25 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ (/ (/ 1/8 x) x) x)))))>
1545987325.791 * * * * [misc]progress:  [ 18 / 25 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ (* (cbrt (/ 1/8 x)) (cbrt (/ 1/8 x))) (/ (* x x) (cbrt (/ 1/8 x))))))))>
1545987325.791 * [enter]simplify:  Simplifying (* (cbrt (/ 1/8 x)) (cbrt (/ 1/8 x)))
1545987325.791 * * [misc]simplify:  iters left: 5 (5 enodes)
1545987325.792 * [exit]simplify:  Simplified to (* (cbrt (/ 1/8 x)) (cbrt (/ 1/8 x)))
1545987325.792 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ (* (cbrt (/ 1/8 x)) (cbrt (/ 1/8 x))) (/ (* x x) (cbrt (/ 1/8 x))))))))
1545987325.792 * * * * [misc]progress:  [ 19 / 25 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ (sqrt (/ 1/8 x)) (/ (* x x) (sqrt (/ 1/8 x))))))))>
1545987325.792 * [enter]simplify:  Simplifying (sqrt (/ 1/8 x))
1545987325.792 * * [misc]simplify:  iters left: 3 (4 enodes)
1545987325.792 * [exit]simplify:  Simplified to (sqrt (/ 1/8 x))
1545987325.792 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ (sqrt (/ 1/8 x)) (/ (* x x) (sqrt (/ 1/8 x))))))))
1545987325.792 * * * * [misc]progress:  [ 20 / 25 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ 1 (/ (* x x) (/ 1/8 x)))))))>
1545987325.792 * * * * [misc]progress:  [ 21 / 25 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ 1/8 (/ (* x x) (/ 1 x)))))))>
1545987325.792 * * * * [misc]progress:  [ 22 / 25 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ 1/8 (* (* x x) x))))))>
1545987325.792 * * * * [misc]progress:  [ 23 / 25 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ 1/8 (pow x 3))))))>
1545987325.793 * [enter]simplify:  Simplifying (/ 1/8 (pow x 3))
1545987325.793 * * [misc]simplify:  iters left: 3 (5 enodes)
1545987325.793 * * [misc]simplify:  iters left: 2 (8 enodes)
1545987325.795 * * [misc]simplify:  iters left: 1 (12 enodes)
1545987325.796 * [exit]simplify:  Simplified to (/ (/ 1/8 x) (* x x))
1545987325.796 * [misc]simplify:  Simplified (2 1 2 2) to (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))))
1545987325.796 * * * * [misc]progress:  [ 24 / 25 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ 1/8 (pow x 3))))))>
1545987325.796 * [enter]simplify:  Simplifying (/ 1/8 (pow x 3))
1545987325.797 * * [misc]simplify:  iters left: 3 (5 enodes)
1545987325.797 * * [misc]simplify:  iters left: 2 (8 enodes)
1545987325.799 * * [misc]simplify:  iters left: 1 (12 enodes)
1545987325.800 * [exit]simplify:  Simplified to (/ (/ 1/8 x) (* x x))
1545987325.800 * [misc]simplify:  Simplified (2 1 2 2) to (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))))
1545987325.800 * * * * [misc]progress:  [ 25 / 25 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ 1/8 (pow x 3))))))>
1545987325.801 * [enter]simplify:  Simplifying (/ 1/8 (pow x 3))
1545987325.801 * * [misc]simplify:  iters left: 3 (5 enodes)
1545987325.801 * * [misc]simplify:  iters left: 2 (8 enodes)
1545987325.802 * * [misc]simplify:  iters left: 1 (12 enodes)
1545987325.804 * [exit]simplify:  Simplified to (/ (/ 1/8 x) (* x x))
1545987325.804 * [misc]simplify:  Simplified (2 1 2 2) to (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))))
1545987325.804 * * * [misc]progress:  adding candidates to table
1545987326.113 * [misc]progress:  [Phase 3 of 3] Extracting.
1545987326.113 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))))> #<alt (λ (x) (log (+ x (sqrt (+ -1 (* x x))))))>)
1545987326.113 * * * [misc]regime-changes:  Trying 1 branch expressions: (x)
1545987326.113 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))))> #<alt (λ (x) (log (+ x (sqrt (+ -1 (* x x))))))>)
1545987326.147 * * * [misc]regime:  Found split indices: #<option (#s(si 0 256))>
1545987326.148 * [enter]simplify:  Simplifying (log (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x)))))
1545987326.148 * * [misc]simplify:  iters left: 6 (11 enodes)
1545987326.149 * * [misc]simplify:  iters left: 5 (13 enodes)
1545987326.150 * [exit]simplify:  Simplified to (log (+ x (- (+ x (/ -1/2 x)) (/ (/ 1/8 x) (* x x)))))
1545987326.150 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545987327.121 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987327.122 * * * * [misc]points:  Sampling 6017 additional inputs, on iter 1 have 1983 / 8000
1545987328.328 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987328.330 * * * * [misc]points:  Sampling 4463 additional inputs, on iter 2 have 3537 / 8000
1545987328.967 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987328.968 * * * * [misc]points:  Sampling 3332 additional inputs, on iter 3 have 4668 / 8000
1545987329.361 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987329.362 * * * * [misc]points:  Sampling 2517 additional inputs, on iter 4 have 5483 / 8000
1545987329.687 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987329.687 * * * * [misc]points:  Sampling 1868 additional inputs, on iter 5 have 6132 / 8000
1545987329.918 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987329.919 * * * * [misc]points:  Sampling 1409 additional inputs, on iter 6 have 6591 / 8000
1545987330.059 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987330.059 * * * * [misc]points:  Sampling 1051 additional inputs, on iter 7 have 6949 / 8000
1545987330.184 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987330.185 * * * * [misc]points:  Sampling 802 additional inputs, on iter 8 have 7198 / 8000
1545987330.283 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987330.283 * * * * [misc]points:  Sampling 607 additional inputs, on iter 9 have 7393 / 8000
1545987330.390 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987330.390 * * * * [misc]points:  Sampling 446 additional inputs, on iter 10 have 7554 / 8000
1545987330.452 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987330.452 * * * * [misc]points:  Sampling 332 additional inputs, on iter 11 have 7668 / 8000
1545987330.497 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987330.497 * * * * [misc]points:  Sampling 247 additional inputs, on iter 12 have 7753 / 8000
1545987330.572 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987330.572 * * * * [misc]points:  Sampling 179 additional inputs, on iter 13 have 7821 / 8000
1545987330.600 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987330.600 * * * * [misc]points:  Sampling 141 additional inputs, on iter 14 have 7859 / 8000
1545987330.623 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987330.623 * * * * [misc]points:  Sampling 106 additional inputs, on iter 15 have 7894 / 8000
1545987330.641 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987330.641 * * * * [misc]points:  Sampling 80 additional inputs, on iter 16 have 7920 / 8000
1545987330.654 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987330.654 * * * * [misc]points:  Sampling 61 additional inputs, on iter 17 have 7939 / 8000
1545987330.665 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987330.665 * * * * [misc]points:  Sampling 40 additional inputs, on iter 18 have 7960 / 8000
1545987330.672 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987330.672 * * * * [misc]points:  Sampling 30 additional inputs, on iter 19 have 7970 / 8000
1545987330.675 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987330.676 * * * * [misc]points:  Sampling 26 additional inputs, on iter 20 have 7974 / 8000
1545987330.678 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987330.678 * * * * [misc]points:  Sampling 22 additional inputs, on iter 21 have 7978 / 8000
1545987330.680 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987330.681 * * * * [misc]points:  Sampling 16 additional inputs, on iter 22 have 7984 / 8000
1545987330.682 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987330.683 * * * * [misc]points:  Sampling 12 additional inputs, on iter 23 have 7988 / 8000
1545987330.684 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987330.684 * * * * [misc]points:  Sampling 6 additional inputs, on iter 24 have 7994 / 8000
1545987330.686 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987330.686 * * * * [misc]points:  Sampling 5 additional inputs, on iter 25 have 7995 / 8000
1545987330.687 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987330.687 * * * * [misc]points:  Sampling 4 additional inputs, on iter 26 have 7996 / 8000
1545987330.688 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987330.688 * * * * [misc]points:  Sampling 4 additional inputs, on iter 27 have 7997 / 8000
1545987330.689 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987330.689 * * * * [misc]points:  Sampling 4 additional inputs, on iter 28 have 7997 / 8000
1545987330.690 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987330.690 * * * * [misc]points:  Sampling 4 additional inputs, on iter 29 have 7997 / 8000
1545987330.692 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987330.692 * * * * [misc]points:  Sampling 4 additional inputs, on iter 30 have 7999 / 8000
1545987330.693 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545987330.693 * * * * [exit]points:  Sampled 8001 points with exact outputs
1545987331.061 * [misc]regime-testing:  Baseline error score: 0.22614697257880692
1545987331.062 * [misc]regime-testing:  Oracle error score: 0.04786503508075985
1545987331.064 * [misc]regime-testing:  End program error score: 0.22614697257880692