1540981076.593 * [misc]progress:  [Phase 1 of 3] Setting up.
1540981076.593 * * * [misc]progress:  [1/2] Preparing points
1540981076.593 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1540981076.637 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981076.637 * * * * [misc]points:  Sampling 182 additional inputs, on iter 1 have 74 / 256
1540981076.718 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981076.718 * * * * [misc]points:  Sampling 148 additional inputs, on iter 2 have 108 / 256
1540981076.745 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981076.745 * * * * [misc]points:  Sampling 111 additional inputs, on iter 3 have 145 / 256
1540981076.765 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981076.765 * * * * [misc]points:  Sampling 83 additional inputs, on iter 4 have 173 / 256
1540981076.780 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981076.780 * * * * [misc]points:  Sampling 62 additional inputs, on iter 5 have 194 / 256
1540981076.801 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981076.801 * * * * [misc]points:  Sampling 50 additional inputs, on iter 6 have 206 / 256
1540981076.819 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981076.819 * * * * [misc]points:  Sampling 34 additional inputs, on iter 7 have 222 / 256
1540981076.833 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981076.833 * * * * [misc]points:  Sampling 25 additional inputs, on iter 8 have 231 / 256
1540981076.892 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981076.892 * * * * [misc]points:  Sampling 17 additional inputs, on iter 9 have 239 / 256
1540981076.901 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981076.901 * * * * [misc]points:  Sampling 12 additional inputs, on iter 10 have 244 / 256
1540981076.907 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981076.907 * * * * [misc]points:  Sampling 10 additional inputs, on iter 11 have 246 / 256
1540981076.913 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981076.913 * * * * [misc]points:  Sampling 6 additional inputs, on iter 12 have 250 / 256
1540981076.918 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981076.918 * * * * [misc]points:  Sampling 4 additional inputs, on iter 13 have 254 / 256
1540981076.922 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981076.922 * * * * [misc]points:  Sampling 4 additional inputs, on iter 14 have 255 / 256
1540981076.925 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981076.925 * * * * [exit]points:  Sampled 256 points with exact outputs
1540981076.926 * * * [misc]progress:  [2/2] Setting up program.
1540981076.935 * [misc]progress:  [Phase 2 of 3] Improving.
1540981076.935 * [enter]simplify:  Simplifying (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))
1540981076.936 * * [misc]simplify:  iters left: 6 (9 enodes)
1540981076.940 * * [misc]simplify:  iters left: 5 (14 enodes)
1540981076.945 * * [misc]simplify:  iters left: 4 (18 enodes)
1540981076.951 * * [misc]simplify:  iters left: 3 (20 enodes)
1540981076.958 * [exit]simplify:  Simplified to (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))
1540981076.978 * * [misc]progress:  iteration 1 / 4
1540981076.978 * * * [misc]progress:  picking best candidate
1540981076.987 * * * * [misc]pick:  Picked  #<alt (λ (x) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))>
1540981076.988 * * * [misc]progress:  localizing error
1540981077.022 * * * [misc]progress:  generating rewritten candidates
1540981077.022 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1 2 1)
1540981077.038 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2)
1540981077.076 * * * [misc]progress:  generating series expansions
1540981077.076 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1 2 1)
1540981077.077 * [misc]backup-simplify:  Simplify (sqrt (- 1 (* x x))) into (sqrt (- 1 (pow x 2)))
1540981077.077 * [misc]approximate:  Taking taylor expansion of (sqrt (- 1 (pow x 2))) in (x) around 0
1540981077.077 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x
1540981077.077 * [misc]taylor:  Taking taylor expansion of (- 1 (pow x 2)) in x
1540981077.077 * [misc]taylor:  Taking taylor expansion of 1 in x
1540981077.077 * [misc]backup-simplify:  Simplify 1 into 1
1540981077.077 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1540981077.077 * [misc]taylor:  Taking taylor expansion of x in x
1540981077.077 * [misc]backup-simplify:  Simplify 0 into 0
1540981077.077 * [misc]backup-simplify:  Simplify 1 into 1
1540981077.077 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540981077.077 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1540981077.077 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981077.077 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1540981077.077 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x
1540981077.077 * [misc]taylor:  Taking taylor expansion of (- 1 (pow x 2)) in x
1540981077.077 * [misc]taylor:  Taking taylor expansion of 1 in x
1540981077.078 * [misc]backup-simplify:  Simplify 1 into 1
1540981077.078 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1540981077.078 * [misc]taylor:  Taking taylor expansion of x in x
1540981077.078 * [misc]backup-simplify:  Simplify 0 into 0
1540981077.078 * [misc]backup-simplify:  Simplify 1 into 1
1540981077.078 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540981077.078 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1540981077.078 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981077.078 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1540981077.078 * [misc]backup-simplify:  Simplify 1 into 1
1540981077.078 * [misc]backup-simplify:  Simplify 0 into 0
1540981077.078 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540981077.078 * [misc]backup-simplify:  Simplify (- 1) into -1
1540981077.078 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1540981077.079 * [misc]backup-simplify:  Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2
1540981077.079 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1540981077.079 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540981077.079 * [misc]backup-simplify:  Simplify (- 0) into 0
1540981077.079 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981077.080 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0
1540981077.080 * [misc]backup-simplify:  Simplify 0 into 0
1540981077.080 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1540981077.080 * [misc]backup-simplify:  Simplify (- 0) into 0
1540981077.080 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981077.081 * [misc]backup-simplify:  Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8
1540981077.081 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1540981077.081 * [misc]backup-simplify:  Simplify (+ (* -1/8 (pow x 4)) (+ (* -1/2 (pow x 2)) 1)) into (- 1 (+ (* 1/2 (pow x 2)) (* 1/8 (pow x 4))))
1540981077.081 * [misc]backup-simplify:  Simplify (sqrt (- 1 (* (/ 1 x) (/ 1 x)))) into (sqrt (- 1 (/ 1 (pow x 2))))
1540981077.081 * [misc]approximate:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in (x) around 0
1540981077.081 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1540981077.081 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1540981077.081 * [misc]taylor:  Taking taylor expansion of 1 in x
1540981077.081 * [misc]backup-simplify:  Simplify 1 into 1
1540981077.081 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1540981077.081 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1540981077.081 * [misc]taylor:  Taking taylor expansion of x in x
1540981077.081 * [misc]backup-simplify:  Simplify 0 into 0
1540981077.081 * [misc]backup-simplify:  Simplify 1 into 1
1540981077.081 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540981077.082 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540981077.082 * [misc]backup-simplify:  Simplify (- 1) into -1
1540981077.082 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1540981077.082 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1540981077.082 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540981077.082 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540981077.082 * [misc]backup-simplify:  Simplify (- 0) into 0
1540981077.082 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981077.082 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1540981077.082 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1540981077.082 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1540981077.082 * [misc]taylor:  Taking taylor expansion of 1 in x
1540981077.083 * [misc]backup-simplify:  Simplify 1 into 1
1540981077.083 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1540981077.083 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1540981077.083 * [misc]taylor:  Taking taylor expansion of x in x
1540981077.083 * [misc]backup-simplify:  Simplify 0 into 0
1540981077.083 * [misc]backup-simplify:  Simplify 1 into 1
1540981077.083 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540981077.083 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540981077.083 * [misc]backup-simplify:  Simplify (- 1) into -1
1540981077.083 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1540981077.083 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1540981077.083 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540981077.083 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540981077.083 * [misc]backup-simplify:  Simplify (- 0) into 0
1540981077.084 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981077.084 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1540981077.084 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1540981077.084 * [misc]backup-simplify:  Simplify 0 into 0
1540981077.084 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1540981077.084 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540981077.084 * [misc]backup-simplify:  Simplify (- 0) into 0
1540981077.084 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540981077.085 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1540981077.085 * [misc]backup-simplify:  Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1))
1540981077.086 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1540981077.086 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540981077.086 * [misc]backup-simplify:  Simplify (- 0) into 0
1540981077.086 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981077.086 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
1540981077.086 * [misc]backup-simplify:  Simplify 0 into 0
1540981077.086 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1540981077.087 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540981077.087 * [misc]backup-simplify:  Simplify (- 0) into 0
1540981077.087 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981077.088 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
1540981077.089 * [misc]backup-simplify:  Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3))
1540981077.094 * [misc]backup-simplify:  Simplify (+ (* (/ -1/8 (pow (sqrt -1) 3)) (pow (/ 1 x) 3)) (+ (* (/ 1/2 (sqrt -1)) (/ 1 x)) (* (sqrt -1) (/ 1 (/ 1 x))))) into (- (+ (* x (sqrt -1)) (* 1/2 (/ 1 (* x (sqrt -1))))) (* 1/8 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))))
1540981077.095 * [misc]backup-simplify:  Simplify (sqrt (- 1 (* (/ 1 (- x)) (/ 1 (- x))))) into (sqrt (- 1 (/ 1 (pow x 2))))
1540981077.095 * [misc]approximate:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in (x) around 0
1540981077.095 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1540981077.095 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1540981077.095 * [misc]taylor:  Taking taylor expansion of 1 in x
1540981077.095 * [misc]backup-simplify:  Simplify 1 into 1
1540981077.095 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1540981077.095 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1540981077.095 * [misc]taylor:  Taking taylor expansion of x in x
1540981077.095 * [misc]backup-simplify:  Simplify 0 into 0
1540981077.095 * [misc]backup-simplify:  Simplify 1 into 1
1540981077.095 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540981077.095 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540981077.095 * [misc]backup-simplify:  Simplify (- 1) into -1
1540981077.095 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1540981077.095 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1540981077.096 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540981077.096 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540981077.096 * [misc]backup-simplify:  Simplify (- 0) into 0
1540981077.096 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981077.096 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1540981077.096 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1540981077.096 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1540981077.096 * [misc]taylor:  Taking taylor expansion of 1 in x
1540981077.096 * [misc]backup-simplify:  Simplify 1 into 1
1540981077.096 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1540981077.096 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1540981077.096 * [misc]taylor:  Taking taylor expansion of x in x
1540981077.096 * [misc]backup-simplify:  Simplify 0 into 0
1540981077.096 * [misc]backup-simplify:  Simplify 1 into 1
1540981077.096 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540981077.096 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540981077.096 * [misc]backup-simplify:  Simplify (- 1) into -1
1540981077.097 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1540981077.097 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1540981077.097 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540981077.097 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540981077.097 * [misc]backup-simplify:  Simplify (- 0) into 0
1540981077.097 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981077.097 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1540981077.098 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1540981077.098 * [misc]backup-simplify:  Simplify 0 into 0
1540981077.098 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1540981077.098 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540981077.098 * [misc]backup-simplify:  Simplify (- 0) into 0
1540981077.098 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540981077.099 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1540981077.099 * [misc]backup-simplify:  Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1))
1540981077.099 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1540981077.100 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540981077.100 * [misc]backup-simplify:  Simplify (- 0) into 0
1540981077.100 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981077.100 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
1540981077.100 * [misc]backup-simplify:  Simplify 0 into 0
1540981077.100 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1540981077.100 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540981077.101 * [misc]backup-simplify:  Simplify (- 0) into 0
1540981077.101 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981077.102 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
1540981077.103 * [misc]backup-simplify:  Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3))
1540981077.104 * [misc]backup-simplify:  Simplify (+ (* (/ -1/8 (pow (sqrt -1) 3)) (pow (/ 1 (- x)) 3)) (+ (* (/ 1/2 (sqrt -1)) (/ 1 (- x))) (* (sqrt -1) (/ 1 (/ 1 (- x)))))) into (- (* 1/8 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (+ (* x (sqrt -1)) (* 1/2 (/ 1 (* x (sqrt -1))))))
1540981077.104 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2)
1540981077.104 * [misc]backup-simplify:  Simplify (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) into (log (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2))))))
1540981077.104 * [misc]approximate:  Taking taylor expansion of (log (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2)))))) in (x) around 0
1540981077.104 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2)))))) in x
1540981077.104 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2))))) in x
1540981077.104 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540981077.105 * [misc]taylor:  Taking taylor expansion of x in x
1540981077.105 * [misc]backup-simplify:  Simplify 0 into 0
1540981077.105 * [misc]backup-simplify:  Simplify 1 into 1
1540981077.105 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540981077.105 * [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (sqrt (- 1 (pow x 2)))) in x
1540981077.105 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540981077.105 * [misc]taylor:  Taking taylor expansion of x in x
1540981077.105 * [misc]backup-simplify:  Simplify 0 into 0
1540981077.105 * [misc]backup-simplify:  Simplify 1 into 1
1540981077.105 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540981077.105 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x
1540981077.105 * [misc]taylor:  Taking taylor expansion of (- 1 (pow x 2)) in x
1540981077.105 * [misc]taylor:  Taking taylor expansion of 1 in x
1540981077.105 * [misc]backup-simplify:  Simplify 1 into 1
1540981077.105 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1540981077.105 * [misc]taylor:  Taking taylor expansion of x in x
1540981077.105 * [misc]backup-simplify:  Simplify 0 into 0
1540981077.105 * [misc]backup-simplify:  Simplify 1 into 1
1540981077.105 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540981077.105 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1540981077.105 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981077.105 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1540981077.106 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540981077.106 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1540981077.106 * [misc]backup-simplify:  Simplify (log 2) into (log 2)
1540981077.106 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2)))))) in x
1540981077.106 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2))))) in x
1540981077.106 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540981077.106 * [misc]taylor:  Taking taylor expansion of x in x
1540981077.106 * [misc]backup-simplify:  Simplify 0 into 0
1540981077.106 * [misc]backup-simplify:  Simplify 1 into 1
1540981077.106 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540981077.106 * [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (sqrt (- 1 (pow x 2)))) in x
1540981077.106 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540981077.106 * [misc]taylor:  Taking taylor expansion of x in x
1540981077.106 * [misc]backup-simplify:  Simplify 0 into 0
1540981077.106 * [misc]backup-simplify:  Simplify 1 into 1
1540981077.106 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540981077.106 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x
1540981077.106 * [misc]taylor:  Taking taylor expansion of (- 1 (pow x 2)) in x
1540981077.106 * [misc]taylor:  Taking taylor expansion of 1 in x
1540981077.106 * [misc]backup-simplify:  Simplify 1 into 1
1540981077.106 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1540981077.106 * [misc]taylor:  Taking taylor expansion of x in x
1540981077.106 * [misc]backup-simplify:  Simplify 0 into 0
1540981077.106 * [misc]backup-simplify:  Simplify 1 into 1
1540981077.106 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540981077.106 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1540981077.107 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981077.107 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1540981077.107 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540981077.107 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1540981077.107 * [misc]backup-simplify:  Simplify (log 2) into (log 2)
1540981077.107 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log 2)) into (- (log 2) (log x))
1540981077.107 * [misc]backup-simplify:  Simplify (- (log 2) (log x)) into (- (log 2) (log x))
1540981077.108 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540981077.108 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540981077.108 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540981077.108 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981077.109 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 2 1)))) 1) into 0
1540981077.109 * [misc]backup-simplify:  Simplify 0 into 0
1540981077.110 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540981077.110 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540981077.110 * [misc]backup-simplify:  Simplify (- 1) into -1
1540981077.110 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1540981077.111 * [misc]backup-simplify:  Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2
1540981077.111 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540981077.111 * [misc]backup-simplify:  Simplify (+ (* 1 -1/2) (+ (* 0 0) (* 0 1))) into -1/2
1540981077.111 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1540981077.114 * [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
1540981077.114 * [misc]backup-simplify:  Simplify -1/4 into -1/4
1540981077.114 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540981077.114 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540981077.115 * [misc]backup-simplify:  Simplify (- 0) into 0
1540981077.115 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981077.115 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0
1540981077.115 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540981077.115 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 -1/2) (+ (* 0 0) (* 0 1)))) into 0
1540981077.115 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981077.120 * [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
1540981077.120 * [misc]backup-simplify:  Simplify 0 into 0
1540981077.120 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540981077.120 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1540981077.120 * [misc]backup-simplify:  Simplify (- 0) into 0
1540981077.120 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981077.121 * [misc]backup-simplify:  Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8
1540981077.121 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540981077.122 * [misc]backup-simplify:  Simplify (+ (* 1 -1/8) (+ (* 0 0) (+ (* 0 -1/2) (+ (* 0 0) (* 0 1))))) into -1/8
1540981077.122 * [misc]backup-simplify:  Simplify (+ 0 -1/8) into -1/8
1540981077.128 * [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
1540981077.128 * [misc]backup-simplify:  Simplify -3/32 into -3/32
1540981077.129 * [misc]backup-simplify:  Simplify (+ (* -3/32 (pow x 4)) (+ (* -1/4 (pow x 2)) (- (log 2) (log x)))) into (- (log 2) (+ (* 1/4 (pow x 2)) (+ (* 3/32 (pow x 4)) (log x))))
1540981077.129 * [misc]backup-simplify:  Simplify (log (+ (/ 1 (/ 1 x)) (/ (sqrt (- 1 (* (/ 1 x) (/ 1 x)))) (/ 1 x)))) into (log (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))))
1540981077.129 * [misc]approximate:  Taking taylor expansion of (log (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in (x) around 0
1540981077.129 * [misc]taylor:  Taking taylor expansion of (log (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x
1540981077.129 * [misc]taylor:  Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x
1540981077.129 * [misc]taylor:  Taking taylor expansion of x in x
1540981077.129 * [misc]backup-simplify:  Simplify 0 into 0
1540981077.129 * [misc]backup-simplify:  Simplify 1 into 1
1540981077.129 * [misc]taylor:  Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x
1540981077.129 * [misc]taylor:  Taking taylor expansion of x in x
1540981077.129 * [misc]backup-simplify:  Simplify 0 into 0
1540981077.129 * [misc]backup-simplify:  Simplify 1 into 1
1540981077.129 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1540981077.129 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1540981077.129 * [misc]taylor:  Taking taylor expansion of 1 in x
1540981077.129 * [misc]backup-simplify:  Simplify 1 into 1
1540981077.129 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1540981077.129 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1540981077.129 * [misc]taylor:  Taking taylor expansion of x in x
1540981077.129 * [misc]backup-simplify:  Simplify 0 into 0
1540981077.129 * [misc]backup-simplify:  Simplify 1 into 1
1540981077.129 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540981077.129 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540981077.130 * [misc]backup-simplify:  Simplify (- 1) into -1
1540981077.130 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1540981077.130 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1540981077.130 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540981077.130 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540981077.130 * [misc]backup-simplify:  Simplify (- 0) into 0
1540981077.130 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981077.130 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1540981077.130 * [misc]backup-simplify:  Simplify (* 0 (sqrt -1)) into 0
1540981077.131 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981077.131 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1)
1540981077.131 * [misc]backup-simplify:  Simplify (+ 0 (sqrt -1)) into (sqrt -1)
1540981077.131 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1540981077.131 * [misc]taylor:  Taking taylor expansion of (log (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x
1540981077.131 * [misc]taylor:  Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x
1540981077.131 * [misc]taylor:  Taking taylor expansion of x in x
1540981077.131 * [misc]backup-simplify:  Simplify 0 into 0
1540981077.131 * [misc]backup-simplify:  Simplify 1 into 1
1540981077.131 * [misc]taylor:  Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x
1540981077.131 * [misc]taylor:  Taking taylor expansion of x in x
1540981077.132 * [misc]backup-simplify:  Simplify 0 into 0
1540981077.132 * [misc]backup-simplify:  Simplify 1 into 1
1540981077.132 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1540981077.132 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1540981077.132 * [misc]taylor:  Taking taylor expansion of 1 in x
1540981077.132 * [misc]backup-simplify:  Simplify 1 into 1
1540981077.132 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1540981077.132 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1540981077.132 * [misc]taylor:  Taking taylor expansion of x in x
1540981077.132 * [misc]backup-simplify:  Simplify 0 into 0
1540981077.132 * [misc]backup-simplify:  Simplify 1 into 1
1540981077.132 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540981077.132 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540981077.132 * [misc]backup-simplify:  Simplify (- 1) into -1
1540981077.132 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1540981077.132 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1540981077.132 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540981077.132 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540981077.133 * [misc]backup-simplify:  Simplify (- 0) into 0
1540981077.133 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981077.133 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1540981077.133 * [misc]backup-simplify:  Simplify (* 0 (sqrt -1)) into 0
1540981077.133 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981077.133 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1)
1540981077.134 * [misc]backup-simplify:  Simplify (+ 0 (sqrt -1)) into (sqrt -1)
1540981077.134 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1540981077.134 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1540981077.134 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1540981077.134 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540981077.134 * [misc]backup-simplify:  Simplify (- 0) into 0
1540981077.135 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540981077.135 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1540981077.136 * [misc]backup-simplify:  Simplify (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0
1540981077.136 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540981077.137 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow (sqrt -1) 1)))) 1) into (/ 1 (sqrt -1))
1540981077.138 * [misc]backup-simplify:  Simplify (/ 1 (sqrt -1)) into (/ 1 (sqrt -1))
1540981077.138 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1540981077.138 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540981077.138 * [misc]backup-simplify:  Simplify (- 0) into 0
1540981077.138 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981077.138 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
1540981077.139 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 1/2 (/ 1 (sqrt -1)))
1540981077.140 * [misc]backup-simplify:  Simplify (+ 0 (* 1/2 (/ 1 (sqrt -1)))) into (* 1/2 (/ 1 (sqrt -1)))
1540981077.144 * [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
1540981077.144 * [misc]backup-simplify:  Simplify 0 into 0
1540981077.145 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1540981077.145 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540981077.145 * [misc]backup-simplify:  Simplify (- 0) into 0
1540981077.145 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981077.148 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
1540981077.150 * [misc]backup-simplify:  Simplify (+ (* 0 (/ -1/8 (pow (sqrt -1) 3))) (+ (* 1 0) (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1)))))) into 0
1540981077.151 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981077.161 * [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))
1540981077.162 * [misc]backup-simplify:  Simplify (/ -1/6 (pow (sqrt -1) 3)) into (/ -1/6 (pow (sqrt -1) 3))
1540981077.164 * [misc]backup-simplify:  Simplify (+ (* (/ -1/6 (pow (sqrt -1) 3)) (pow (/ 1 x) 3)) (+ (* (/ 1 (sqrt -1)) (/ 1 x)) (log (sqrt -1)))) into (- (+ (log (sqrt -1)) (/ 1 (* x (sqrt -1)))) (* 1/6 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))))
1540981077.165 * [misc]backup-simplify:  Simplify (log (+ (/ 1 (/ 1 (- x))) (/ (sqrt (- 1 (* (/ 1 (- x)) (/ 1 (- x))))) (/ 1 (- x))))) into (log (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))))
1540981077.165 * [misc]approximate:  Taking taylor expansion of (log (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))))) in (x) around 0
1540981077.165 * [misc]taylor:  Taking taylor expansion of (log (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))))) in x
1540981077.165 * [misc]taylor:  Taking taylor expansion of (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x
1540981077.165 * [misc]taylor:  Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x
1540981077.165 * [misc]taylor:  Taking taylor expansion of x in x
1540981077.165 * [misc]backup-simplify:  Simplify 0 into 0
1540981077.165 * [misc]backup-simplify:  Simplify 1 into 1
1540981077.165 * [misc]taylor:  Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x
1540981077.165 * [misc]taylor:  Taking taylor expansion of x in x
1540981077.165 * [misc]backup-simplify:  Simplify 0 into 0
1540981077.165 * [misc]backup-simplify:  Simplify 1 into 1
1540981077.165 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1540981077.165 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1540981077.165 * [misc]taylor:  Taking taylor expansion of 1 in x
1540981077.165 * [misc]backup-simplify:  Simplify 1 into 1
1540981077.165 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1540981077.165 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1540981077.165 * [misc]taylor:  Taking taylor expansion of x in x
1540981077.165 * [misc]backup-simplify:  Simplify 0 into 0
1540981077.166 * [misc]backup-simplify:  Simplify 1 into 1
1540981077.166 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540981077.166 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540981077.166 * [misc]backup-simplify:  Simplify (- 1) into -1
1540981077.166 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1540981077.166 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1540981077.167 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540981077.167 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540981077.167 * [misc]backup-simplify:  Simplify (- 0) into 0
1540981077.167 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981077.167 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1540981077.168 * [misc]backup-simplify:  Simplify (* 0 (sqrt -1)) into 0
1540981077.168 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981077.168 * [misc]backup-simplify:  Simplify (- 0) into 0
1540981077.168 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1)
1540981077.169 * [misc]backup-simplify:  Simplify (+ 0 (sqrt -1)) into (sqrt -1)
1540981077.169 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1540981077.169 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1540981077.170 * [misc]backup-simplify:  Simplify (log (- (sqrt -1))) into (log (- (sqrt -1)))
1540981077.170 * [misc]taylor:  Taking taylor expansion of (log (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))))) in x
1540981077.170 * [misc]taylor:  Taking taylor expansion of (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x
1540981077.170 * [misc]taylor:  Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x
1540981077.170 * [misc]taylor:  Taking taylor expansion of x in x
1540981077.170 * [misc]backup-simplify:  Simplify 0 into 0
1540981077.170 * [misc]backup-simplify:  Simplify 1 into 1
1540981077.170 * [misc]taylor:  Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x
1540981077.170 * [misc]taylor:  Taking taylor expansion of x in x
1540981077.170 * [misc]backup-simplify:  Simplify 0 into 0
1540981077.170 * [misc]backup-simplify:  Simplify 1 into 1
1540981077.170 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1540981077.170 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1540981077.170 * [misc]taylor:  Taking taylor expansion of 1 in x
1540981077.170 * [misc]backup-simplify:  Simplify 1 into 1
1540981077.170 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1540981077.170 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1540981077.170 * [misc]taylor:  Taking taylor expansion of x in x
1540981077.170 * [misc]backup-simplify:  Simplify 0 into 0
1540981077.170 * [misc]backup-simplify:  Simplify 1 into 1
1540981077.170 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540981077.171 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540981077.171 * [misc]backup-simplify:  Simplify (- 1) into -1
1540981077.171 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1540981077.171 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1540981077.171 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540981077.172 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540981077.172 * [misc]backup-simplify:  Simplify (- 0) into 0
1540981077.172 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981077.172 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1540981077.172 * [misc]backup-simplify:  Simplify (* 0 (sqrt -1)) into 0
1540981077.172 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981077.173 * [misc]backup-simplify:  Simplify (- 0) into 0
1540981077.173 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1)
1540981077.173 * [misc]backup-simplify:  Simplify (+ 0 (sqrt -1)) into (sqrt -1)
1540981077.174 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1540981077.174 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1540981077.175 * [misc]backup-simplify:  Simplify (log (- (sqrt -1))) into (log (- (sqrt -1)))
1540981077.175 * [misc]backup-simplify:  Simplify (log (- (sqrt -1))) into (log (- (sqrt -1)))
1540981077.176 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1540981077.176 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540981077.176 * [misc]backup-simplify:  Simplify (- 0) into 0
1540981077.176 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540981077.177 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1540981077.178 * [misc]backup-simplify:  Simplify (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0
1540981077.178 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540981077.178 * [misc]backup-simplify:  Simplify (- 1) into -1
1540981077.178 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1540981077.181 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow (- (sqrt -1)) 1)))) 1) into (/ 1 (sqrt -1))
1540981077.182 * [misc]backup-simplify:  Simplify (/ 1 (sqrt -1)) into (/ 1 (sqrt -1))
1540981077.182 * [misc]backup-simplify:  Simplify (- 1) into -1
1540981077.182 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1540981077.183 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1540981077.183 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540981077.183 * [misc]backup-simplify:  Simplify (- 0) into 0
1540981077.183 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981077.184 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
1540981077.185 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 1/2 (/ 1 (sqrt -1)))
1540981077.186 * [misc]backup-simplify:  Simplify (+ 0 (* 1/2 (/ 1 (sqrt -1)))) into (* 1/2 (/ 1 (sqrt -1)))
1540981077.186 * [misc]backup-simplify:  Simplify (- (* 1/2 (/ 1 (sqrt -1)))) into (- (* 1/2 (/ 1 (sqrt -1))))
1540981077.187 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1540981077.195 * [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
1540981077.195 * [misc]backup-simplify:  Simplify 0 into 0
1540981077.195 * [misc]backup-simplify:  Simplify (- 1) into -1
1540981077.195 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1540981077.195 * [misc]backup-simplify:  Simplify (- 1) into -1
1540981077.196 * [misc]backup-simplify:  Simplify (- (* 1/2 (/ 1 (sqrt -1)))) into (- (* 1/2 (/ 1 (sqrt -1))))
1540981077.196 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1540981077.197 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1540981077.197 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540981077.197 * [misc]backup-simplify:  Simplify (- 0) into 0
1540981077.197 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981077.200 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
1540981077.203 * [misc]backup-simplify:  Simplify (+ (* 0 (/ -1/8 (pow (sqrt -1) 3))) (+ (* 1 0) (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1)))))) into 0
1540981077.203 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981077.203 * [misc]backup-simplify:  Simplify (- 0) into 0
1540981077.203 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1540981077.217 * [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))
1540981077.218 * [misc]backup-simplify:  Simplify (/ -1/6 (pow (sqrt -1) 3)) into (/ -1/6 (pow (sqrt -1) 3))
1540981077.221 * [misc]backup-simplify:  Simplify (+ (* (/ -1/6 (pow (sqrt -1) 3)) (pow (/ 1 (- x)) 3)) (+ (* (/ 1 (sqrt -1)) (/ 1 (- x))) (log (- (sqrt -1))))) into (- (+ (* 1/6 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (log (- (sqrt -1)))) (/ 1 (* x (sqrt -1))))
1540981077.221 * * * [misc]progress:  simplifying candidates
1540981077.221 * * * * [misc]progress:  [ 1 / 44 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (log1p (expm1 (sqrt (- 1 (* x x))))) x))))>
1540981077.221 * * * * [misc]progress:  [ 2 / 44 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (expm1 (log1p (sqrt (- 1 (* x x))))) x))))>
1540981077.221 * * * * [misc]progress:  [ 3 / 44 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (pow (- 1 (* x x)) 1/2) x))))>
1540981077.221 * * * * [misc]progress:  [ 4 / 44 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (pow (sqrt (- 1 (* x x))) 1) x))))>
1540981077.221 * * * * [misc]progress:  [ 5 / 44 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (exp (log (sqrt (- 1 (* x x))))) x))))>
1540981077.221 * * * * [misc]progress:  [ 6 / 44 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (log (exp (sqrt (- 1 (* x x))))) x))))>
1540981077.221 * * * * [misc]progress:  [ 7 / 44 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (* (* (cbrt (sqrt (- 1 (* x x)))) (cbrt (sqrt (- 1 (* x x))))) (cbrt (sqrt (- 1 (* x x))))) x))))>
1540981077.221 * * * * [misc]progress:  [ 8 / 44 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (cbrt (* (* (sqrt (- 1 (* x x))) (sqrt (- 1 (* x x)))) (sqrt (- 1 (* x x))))) x))))>
1540981077.221 * * * * [misc]progress:  [ 9 / 44 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (* (sqrt (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))) (sqrt (cbrt (- 1 (* x x))))) x))))>
1540981077.222 * [enter]simplify:  Simplifying (sqrt (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))))
1540981077.222 * * [misc]simplify:  iters left: 6 (7 enodes)
1540981077.225 * * [misc]simplify:  iters left: 5 (12 enodes)
1540981077.230 * * [misc]simplify:  iters left: 4 (16 enodes)
1540981077.235 * * [misc]simplify:  iters left: 3 (18 enodes)
1540981077.240 * [exit]simplify:  Simplified to (fabs (cbrt (- 1 (* x x))))
1540981077.240 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (* (fabs (cbrt (- 1 (* x x)))) (sqrt (cbrt (- 1 (* x x))))) x))))
1540981077.240 * * * * [misc]progress:  [ 10 / 44 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (* (sqrt (sqrt (- 1 (* x x)))) (sqrt (sqrt (- 1 (* x x))))) x))))>
1540981077.241 * [enter]simplify:  Simplifying (sqrt (sqrt (- 1 (* x x))))
1540981077.241 * * [misc]simplify:  iters left: 6 (6 enodes)
1540981077.244 * * [misc]simplify:  iters left: 5 (10 enodes)
1540981077.248 * * [misc]simplify:  iters left: 4 (14 enodes)
1540981077.252 * * [misc]simplify:  iters left: 3 (16 enodes)
1540981077.257 * [exit]simplify:  Simplified to (sqrt (sqrt (- 1 (* x x))))
1540981077.257 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (* (sqrt (sqrt (- 1 (* x x)))) (sqrt (sqrt (- 1 (* x x))))) x))))
1540981077.257 * * * * [misc]progress:  [ 11 / 44 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (* (sqrt 1) (sqrt (- 1 (* x x)))) x))))>
1540981077.257 * [enter]simplify:  Simplifying (sqrt 1)
1540981077.258 * * [misc]simplify:  iters left: 1 (2 enodes)
1540981077.259 * [exit]simplify:  Simplified to 1
1540981077.259 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (* 1 (sqrt (- 1 (* x x)))) x))))
1540981077.259 * * * * [misc]progress:  [ 12 / 44 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (/ (sqrt (- (pow 1 3) (pow (* x x) 3))) (sqrt (+ (* 1 1) (+ (* (* x x) (* x x)) (* 1 (* x x)))))) x))))>
1540981077.260 * [enter]simplify:  Simplifying (sqrt (- (pow 1 3) (pow (* x x) 3)))
1540981077.260 * * [misc]simplify:  iters left: 6 (8 enodes)
1540981077.266 * * [misc]simplify:  iters left: 5 (19 enodes)
1540981077.275 * * [misc]simplify:  iters left: 4 (37 enodes)
1540981077.293 * * [misc]simplify:  iters left: 3 (76 enodes)
1540981077.322 * * [misc]simplify:  iters left: 2 (83 enodes)
1540981077.342 * * [misc]simplify:  iters left: 1 (86 enodes)
1540981077.359 * [exit]simplify:  Simplified to (sqrt (- 1 (pow x 6)))
1540981077.359 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (/ (sqrt (- 1 (pow x 6))) (sqrt (+ (* 1 1) (+ (* (* x x) (* x x)) (* 1 (* x x)))))) x))))
1540981077.359 * * * * [misc]progress:  [ 13 / 44 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (/ (sqrt (- (* 1 1) (* (* x x) (* x x)))) (sqrt (+ 1 (* x x)))) x))))>
1540981077.359 * [enter]simplify:  Simplifying (sqrt (- (* 1 1) (* (* x x) (* x x))))
1540981077.360 * * [misc]simplify:  iters left: 6 (7 enodes)
1540981077.362 * * [misc]simplify:  iters left: 5 (16 enodes)
1540981077.365 * * [misc]simplify:  iters left: 4 (29 enodes)
1540981077.372 * * [misc]simplify:  iters left: 3 (50 enodes)
1540981077.379 * * [misc]simplify:  iters left: 2 (54 enodes)
1540981077.387 * [exit]simplify:  Simplified to (sqrt (- 1 (pow x 4)))
1540981077.387 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (/ (sqrt (- 1 (pow x 4))) (sqrt (+ 1 (* x x)))) x))))
1540981077.387 * * * * [misc]progress:  [ 14 / 44 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (* (sqrt (sqrt (- 1 (* x x)))) (sqrt (sqrt (- 1 (* x x))))) x))))>
1540981077.387 * * * * [misc]progress:  [ 15 / 44 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (fabs (sqrt (- 1 (* x x)))) x))))>
1540981077.388 * [enter]simplify:  Simplifying (sqrt (- 1 (* x x)))
1540981077.388 * * [misc]simplify:  iters left: 5 (5 enodes)
1540981077.390 * * [misc]simplify:  iters left: 4 (9 enodes)
1540981077.394 * * [misc]simplify:  iters left: 3 (13 enodes)
1540981077.398 * * [misc]simplify:  iters left: 2 (15 enodes)
1540981077.402 * [exit]simplify:  Simplified to (sqrt (- 1 (* x x)))
1540981077.402 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (fabs (sqrt (- 1 (* x x)))) x))))
1540981077.403 * * * * [misc]progress:  [ 16 / 44 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (* 1 (sqrt (- 1 (* x x)))) x))))>
1540981077.403 * * * * [misc]progress:  [ 17 / 44 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))>
1540981077.403 * * * * [misc]progress:  [ 18 / 44 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))>
1540981077.403 * * * * [misc]progress:  [ 19 / 44 ] simplifiying candidate #<alt (λ (x) (+ (log (* (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))) (log (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))>
1540981077.403 * [enter]simplify:  Simplifying (log (* (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))
1540981077.404 * * [misc]simplify:  iters left: 6 (11 enodes)
1540981077.409 * * [misc]simplify:  iters left: 5 (18 enodes)
1540981077.415 * * [misc]simplify:  iters left: 4 (22 enodes)
1540981077.419 * * [misc]simplify:  iters left: 3 (24 enodes)
1540981077.424 * [exit]simplify:  Simplified to (log (* (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))
1540981077.424 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (log (* (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))) (log (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))
1540981077.424 * * * * [misc]progress:  [ 20 / 44 ] simplifiying candidate #<alt (λ (x) (+ (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))>
1540981077.424 * [enter]simplify:  Simplifying (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))
1540981077.425 * * [misc]simplify:  iters left: 6 (10 enodes)
1540981077.427 * * [misc]simplify:  iters left: 5 (15 enodes)
1540981077.430 * * [misc]simplify:  iters left: 4 (19 enodes)
1540981077.433 * * [misc]simplify:  iters left: 3 (21 enodes)
1540981077.436 * [exit]simplify:  Simplified to (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))
1540981077.436 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))
1540981077.436 * * * * [misc]progress:  [ 21 / 44 ] simplifiying candidate #<alt (λ (x) (+ (log 1) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))>
1540981077.437 * [enter]simplify:  Simplifying (log 1)
1540981077.437 * * [misc]simplify:  iters left: 1 (2 enodes)
1540981077.438 * [exit]simplify:  Simplified to 0
1540981077.438 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ 0 (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))
1540981077.438 * * * * [misc]progress:  [ 22 / 44 ] simplifiying candidate #<alt (λ (x) (+ (log 1) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))>
1540981077.438 * [enter]simplify:  Simplifying (log 1)
1540981077.438 * * [misc]simplify:  iters left: 1 (2 enodes)
1540981077.439 * [exit]simplify:  Simplified to 0
1540981077.439 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ 0 (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))
1540981077.439 * * * * [misc]progress:  [ 23 / 44 ] simplifiying candidate #<alt (λ (x) (+ (log 1) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))>
1540981077.439 * [enter]simplify:  Simplifying (log 1)
1540981077.439 * * [misc]simplify:  iters left: 1 (2 enodes)
1540981077.440 * [exit]simplify:  Simplified to 0
1540981077.440 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ 0 (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))
1540981077.440 * * * * [misc]progress:  [ 24 / 44 ] simplifiying candidate #<alt (λ (x) (+ (log (/ 1 x)) (log (+ 1 (sqrt (- 1 (* x x)))))))>
1540981077.440 * [enter]simplify:  Simplifying (log (/ 1 x))
1540981077.441 * * [misc]simplify:  iters left: 3 (4 enodes)
1540981077.444 * * [misc]simplify:  iters left: 2 (10 enodes)
1540981077.447 * [exit]simplify:  Simplified to (- (log x))
1540981077.447 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x)))))))
1540981077.447 * * * * [misc]progress:  [ 25 / 44 ] simplifiying candidate #<alt (λ (x) (+ (log (/ 1 x)) (log (+ 1 (sqrt (- 1 (* x x)))))))>
1540981077.447 * [enter]simplify:  Simplifying (log (/ 1 x))
1540981077.447 * * [misc]simplify:  iters left: 3 (4 enodes)
1540981077.450 * * [misc]simplify:  iters left: 2 (10 enodes)
1540981077.453 * [exit]simplify:  Simplified to (- (log x))
1540981077.453 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x)))))))
1540981077.453 * * * * [misc]progress:  [ 26 / 44 ] simplifiying candidate #<alt (λ (x) (+ (log (+ (sqrt (- 1 (* x x))) 1)) (log (/ 1 x))))>
1540981077.453 * [enter]simplify:  Simplifying (log (+ (sqrt (- 1 (* x x))) 1))
1540981077.454 * * [misc]simplify:  iters left: 6 (7 enodes)
1540981077.457 * * [misc]simplify:  iters left: 5 (12 enodes)
1540981077.462 * * [misc]simplify:  iters left: 4 (17 enodes)
1540981077.467 * * [misc]simplify:  iters left: 3 (19 enodes)
1540981077.473 * [exit]simplify:  Simplified to (log1p (sqrt (- 1 (* x x))))
1540981077.473 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (log1p (sqrt (- 1 (* x x)))) (log (/ 1 x))))
1540981077.473 * * * * [misc]progress:  [ 27 / 44 ] simplifiying candidate #<alt (λ (x) (- (log (+ (* 1 x) (* x (sqrt (- 1 (* x x)))))) (log (* x x))))>
1540981077.474 * [enter]simplify:  Simplifying (log (+ (* 1 x) (* x (sqrt (- 1 (* x x))))))
1540981077.475 * * [misc]simplify:  iters left: 6 (9 enodes)
1540981077.479 * * [misc]simplify:  iters left: 5 (16 enodes)
1540981077.486 * * [misc]simplify:  iters left: 4 (24 enodes)
1540981077.494 * * [misc]simplify:  iters left: 3 (31 enodes)
1540981077.503 * * [misc]simplify:  iters left: 2 (36 enodes)
1540981077.509 * * [misc]simplify:  iters left: 1 (39 enodes)
1540981077.516 * [exit]simplify:  Simplified to (log (fma (sqrt (- 1 (* x x))) x x))
1540981077.516 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (log (fma (sqrt (- 1 (* x x))) x x)) (log (* x x))))
1540981077.516 * * * * [misc]progress:  [ 28 / 44 ] simplifiying candidate #<alt (λ (x) (- (log (+ (pow (/ 1 x) 3) (pow (/ (sqrt (- 1 (* x x))) x) 3))) (log (+ (* (/ 1 x) (/ 1 x)) (- (* (/ (sqrt (- 1 (* x x))) x) (/ (sqrt (- 1 (* x x))) x)) (* (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))))>
1540981077.516 * [enter]simplify:  Simplifying (log (+ (pow (/ 1 x) 3) (pow (/ (sqrt (- 1 (* x x))) x) 3)))
1540981077.517 * * [misc]simplify:  iters left: 6 (12 enodes)
1540981077.521 * * [misc]simplify:  iters left: 5 (28 enodes)
1540981077.528 * * [misc]simplify:  iters left: 4 (57 enodes)
1540981077.550 * * [misc]simplify:  iters left: 3 (98 enodes)
1540981077.593 * * [misc]simplify:  iters left: 2 (151 enodes)
1540981077.672 * * [misc]simplify:  iters left: 1 (258 enodes)
1540981077.952 * [exit]simplify:  Simplified to (log (fma (fma (/ 1 x) (/ 1 x) -1) (/ (sqrt (- 1 (* x x))) x) (/ (/ 1 x) (* x x))))
1540981077.952 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (log (fma (fma (/ 1 x) (/ 1 x) -1) (/ (sqrt (- 1 (* x x))) x) (/ (/ 1 x) (* x x)))) (log (+ (* (/ 1 x) (/ 1 x)) (- (* (/ (sqrt (- 1 (* x x))) x) (/ (sqrt (- 1 (* x x))) x)) (* (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))))
1540981077.953 * * * * [misc]progress:  [ 29 / 44 ] simplifiying candidate #<alt (λ (x) (- (log (- (* (/ 1 x) (/ 1 x)) (* (/ (sqrt (- 1 (* x x))) x) (/ (sqrt (- 1 (* x x))) x)))) (log (- (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))>
1540981077.953 * [enter]simplify:  Simplifying (log (- (* (/ 1 x) (/ 1 x)) (* (/ (sqrt (- 1 (* x x))) x) (/ (sqrt (- 1 (* x x))) x))))
1540981077.954 * * [misc]simplify:  iters left: 6 (11 enodes)
1540981077.961 * * [misc]simplify:  iters left: 5 (29 enodes)
1540981077.976 * * [misc]simplify:  iters left: 4 (55 enodes)
1540981077.998 * * [misc]simplify:  iters left: 3 (96 enodes)
1540981078.044 * * [misc]simplify:  iters left: 2 (176 enodes)
1540981078.137 * * [misc]simplify:  iters left: 1 (367 enodes)
1540981078.458 * [exit]simplify:  Simplified to (log (+ (/ 1 (* x x)) (/ (fma x x -1) (* x x))))
1540981078.458 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (log (+ (/ 1 (* x x)) (/ (fma x x -1) (* x x)))) (log (- (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))
1540981078.458 * * * * [misc]progress:  [ 30 / 44 ] simplifiying candidate #<alt (λ (x) (* 1 (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))>
1540981078.459 * * * * [misc]progress:  [ 31 / 44 ] simplifiying candidate #<alt (λ (x) (pow (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 1))>
1540981078.459 * * * * [misc]progress:  [ 32 / 44 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))>
1540981078.459 * [enter]simplify:  Simplifying (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))
1540981078.460 * * [misc]simplify:  iters left: 6 (8 enodes)
1540981078.463 * * [misc]simplify:  iters left: 5 (13 enodes)
1540981078.468 * * [misc]simplify:  iters left: 4 (17 enodes)
1540981078.473 * * [misc]simplify:  iters left: 3 (19 enodes)
1540981078.480 * [exit]simplify:  Simplified to (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))
1540981078.480 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))
1540981078.480 * * * * [misc]progress:  [ 33 / 44 ] simplifiying candidate #<alt (λ (x) (exp (log (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))>
1540981078.480 * * * * [misc]progress:  [ 34 / 44 ] simplifiying candidate #<alt (λ (x) (log (exp (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))>
1540981078.480 * * * * [misc]progress:  [ 35 / 44 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (cbrt (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))) (cbrt (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))>
1540981078.480 * * * * [misc]progress:  [ 36 / 44 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))>
1540981078.480 * * * * [misc]progress:  [ 37 / 44 ] simplifiying candidate #<alt (λ (x) (* (sqrt (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (sqrt (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))>
1540981078.480 * * * * [misc]progress:  [ 38 / 44 ] simplifiying candidate #<alt (λ (x) (* 1 (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))>
1540981078.480 * * * * [misc]progress:  [ 39 / 44 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (- 1 (+ (* 1/2 (pow x 2)) (* 1/8 (pow x 4)))) x))))>
1540981078.480 * [enter]simplify:  Simplifying (- 1 (+ (* 1/2 (pow x 2)) (* 1/8 (pow x 4))))
1540981078.481 * * [misc]simplify:  iters left: 6 (12 enodes)
1540981078.486 * * [misc]simplify:  iters left: 5 (23 enodes)
1540981078.495 * * [misc]simplify:  iters left: 4 (38 enodes)
1540981078.510 * * [misc]simplify:  iters left: 3 (71 enodes)
1540981078.546 * * [misc]simplify:  iters left: 2 (134 enodes)
1540981078.573 * * [misc]simplify:  iters left: 1 (174 enodes)
1540981078.630 * [exit]simplify:  Simplified to (fma (pow x 4) -1/8 (fma x (* x -1/2) 1))
1540981078.631 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ (/ 1 x) (/ (fma (pow x 4) -1/8 (fma x (* x -1/2) 1)) x))))
1540981078.631 * * * * [misc]progress:  [ 40 / 44 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (- (+ (* x (sqrt -1)) (* 1/2 (/ 1 (* x (sqrt -1))))) (* 1/8 (/ 1 (* (pow x 3) (pow (sqrt -1) 3))))) x))))>
1540981078.631 * [enter]simplify:  Simplifying (- (+ (* x (sqrt -1)) (* 1/2 (/ 1 (* x (sqrt -1))))) (* 1/8 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))))
1540981078.633 * * [misc]simplify:  iters left: 6 (17 enodes)
1540981078.644 * * [misc]simplify:  iters left: 5 (43 enodes)
1540981078.670 * * [misc]simplify:  iters left: 4 (100 enodes)
1540981078.729 * * [misc]simplify:  iters left: 3 (198 enodes)
1540981078.794 * * [misc]simplify:  iters left: 2 (336 enodes)
1540981079.048 * [exit]simplify:  Simplified to (fma (sqrt -1) x (fma (/ -1/8 (sqrt -1)) (/ (/ -1 x) (* x x)) (/ (/ 1/2 x) (sqrt -1))))
1540981079.048 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ (/ 1 x) (/ (fma (sqrt -1) x (fma (/ -1/8 (sqrt -1)) (/ (/ -1 x) (* x x)) (/ (/ 1/2 x) (sqrt -1)))) x))))
1540981079.048 * * * * [misc]progress:  [ 41 / 44 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (- (* 1/8 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (+ (* x (sqrt -1)) (* 1/2 (/ 1 (* x (sqrt -1)))))) x))))>
1540981079.048 * [enter]simplify:  Simplifying (- (* 1/8 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (+ (* x (sqrt -1)) (* 1/2 (/ 1 (* x (sqrt -1))))))
1540981079.049 * * [misc]simplify:  iters left: 6 (17 enodes)
1540981079.056 * * [misc]simplify:  iters left: 5 (44 enodes)
1540981079.070 * * [misc]simplify:  iters left: 4 (91 enodes)
1540981079.114 * * [misc]simplify:  iters left: 3 (199 enodes)
1540981079.236 * * [misc]simplify:  iters left: 2 (416 enodes)
1540981079.618 * [exit]simplify:  Simplified to (fma -1/8 (/ (/ (/ 1 x) x) (* x (sqrt -1))) (- (/ (/ -1/2 x) (sqrt -1)) (* x (sqrt -1))))
1540981079.618 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ (/ 1 x) (/ (fma -1/8 (/ (/ (/ 1 x) x) (* x (sqrt -1))) (- (/ (/ -1/2 x) (sqrt -1)) (* x (sqrt -1)))) x))))
1540981079.618 * * * * [misc]progress:  [ 42 / 44 ] simplifiying candidate #<alt (λ (x) (- (log 2) (+ (* 1/4 (pow x 2)) (+ (* 3/32 (pow x 4)) (log x)))))>
1540981079.619 * [enter]simplify:  Simplifying (- (log 2) (+ (* 1/4 (pow x 2)) (+ (* 3/32 (pow x 4)) (log x))))
1540981079.620 * * [misc]simplify:  iters left: 6 (14 enodes)
1540981079.628 * * [misc]simplify:  iters left: 5 (27 enodes)
1540981079.643 * * [misc]simplify:  iters left: 4 (58 enodes)
1540981079.677 * * [misc]simplify:  iters left: 3 (123 enodes)
1540981079.753 * * [misc]simplify:  iters left: 2 (266 enodes)
1540981079.919 * * [misc]simplify:  iters left: 1 (491 enodes)
1540981080.310 * [exit]simplify:  Simplified to (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x)))
1540981080.310 * [misc]simplify:  Simplified (2) to (λ (x) (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x))))
1540981080.311 * * * * [misc]progress:  [ 43 / 44 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt -1)) (/ 1 (* x (sqrt -1)))) (* 1/6 (/ 1 (* (pow x 3) (pow (sqrt -1) 3))))))>
1540981080.311 * [enter]simplify:  Simplifying (- (+ (log (sqrt -1)) (/ 1 (* x (sqrt -1)))) (* 1/6 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))))
1540981080.313 * * [misc]simplify:  iters left: 6 (16 enodes)
1540981080.324 * * [misc]simplify:  iters left: 5 (38 enodes)
1540981080.346 * * [misc]simplify:  iters left: 4 (82 enodes)
1540981080.375 * * [misc]simplify:  iters left: 3 (164 enodes)
1540981080.447 * * [misc]simplify:  iters left: 2 (310 enodes)
1540981080.757 * [exit]simplify:  Simplified to (fma -1/6 (/ (/ (/ 1 x) (* x x)) (* -1 (sqrt -1))) (+ (log (sqrt -1)) (/ (/ 1 x) (sqrt -1))))
1540981080.757 * [misc]simplify:  Simplified (2) to (λ (x) (fma -1/6 (/ (/ (/ 1 x) (* x x)) (* -1 (sqrt -1))) (+ (log (sqrt -1)) (/ (/ 1 x) (sqrt -1)))))
1540981080.757 * * * * [misc]progress:  [ 44 / 44 ] simplifiying candidate #<alt (λ (x) (- (+ (* 1/6 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (log (- (sqrt -1)))) (/ 1 (* x (sqrt -1)))))>
1540981080.757 * [enter]simplify:  Simplifying (- (+ (* 1/6 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (log (- (sqrt -1)))) (/ 1 (* x (sqrt -1))))
1540981080.759 * * [misc]simplify:  iters left: 6 (17 enodes)
1540981080.770 * * [misc]simplify:  iters left: 5 (40 enodes)
1540981080.792 * * [misc]simplify:  iters left: 4 (82 enodes)
1540981080.827 * * [misc]simplify:  iters left: 3 (157 enodes)
1540981080.868 * * [misc]simplify:  iters left: 2 (274 enodes)
1540981081.028 * [exit]simplify:  Simplified to (fma (/ (/ 1 x) (* (* x x) (sqrt -1))) -1/6 (fma 3 (log (sqrt -1)) (/ (/ -1 x) (sqrt -1))))
1540981081.028 * [misc]simplify:  Simplified (2) to (λ (x) (fma (/ (/ 1 x) (* (* x x) (sqrt -1))) -1/6 (fma 3 (log (sqrt -1)) (/ (/ -1 x) (sqrt -1)))))
1540981081.028 * * * [misc]progress:  adding candidates to table
1540981081.740 * * [misc]progress:  iteration 2 / 4
1540981081.740 * * * [misc]progress:  picking best candidate
1540981081.747 * * * * [misc]pick:  Picked  #<alt (λ (x) (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x))))>
1540981081.747 * * * [misc]progress:  localizing error
1540981081.789 * * * [misc]progress:  generating rewritten candidates
1540981081.790 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1540981081.842 * * * [misc]progress:  generating series expansions
1540981081.842 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1540981081.843 * [misc]backup-simplify:  Simplify (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x))) into (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x)))
1540981081.843 * [misc]approximate:  Taking taylor expansion of (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x))) in (x) around 0
1540981081.843 * [misc]taylor:  Taking taylor expansion of (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x))) in x
1540981081.843 * [misc]taylor:  Taking taylor expansion of (fma (pow x 4) -3/32 (log 2)) in x
1540981081.843 * [misc]taylor:  Rewrote expression to (+ (* (pow x 4) -3/32) (log 2))
1540981081.843 * [misc]taylor:  Taking taylor expansion of (* (pow x 4) -3/32) in x
1540981081.843 * [misc]taylor:  Taking taylor expansion of (pow x 4) in x
1540981081.843 * [misc]taylor:  Taking taylor expansion of x in x
1540981081.843 * [misc]backup-simplify:  Simplify 0 into 0
1540981081.843 * [misc]backup-simplify:  Simplify 1 into 1
1540981081.843 * [misc]taylor:  Taking taylor expansion of -3/32 in x
1540981081.843 * [misc]backup-simplify:  Simplify -3/32 into -3/32
1540981081.843 * [misc]taylor:  Taking taylor expansion of (log 2) in x
1540981081.843 * [misc]taylor:  Taking taylor expansion of 2 in x
1540981081.843 * [misc]backup-simplify:  Simplify 2 into 2
1540981081.843 * [misc]backup-simplify:  Simplify (log 2) into (log 2)
1540981081.843 * [misc]taylor:  Taking taylor expansion of (fma x (* 1/4 x) (log x)) in x
1540981081.843 * [misc]taylor:  Rewrote expression to (+ (* x (* 1/4 x)) (log x))
1540981081.843 * [misc]taylor:  Taking taylor expansion of (* x (* 1/4 x)) in x
1540981081.843 * [misc]taylor:  Taking taylor expansion of x in x
1540981081.843 * [misc]backup-simplify:  Simplify 0 into 0
1540981081.843 * [misc]backup-simplify:  Simplify 1 into 1
1540981081.843 * [misc]taylor:  Taking taylor expansion of (* 1/4 x) in x
1540981081.843 * [misc]taylor:  Taking taylor expansion of 1/4 in x
1540981081.844 * [misc]backup-simplify:  Simplify 1/4 into 1/4
1540981081.844 * [misc]taylor:  Taking taylor expansion of x in x
1540981081.844 * [misc]backup-simplify:  Simplify 0 into 0
1540981081.844 * [misc]backup-simplify:  Simplify 1 into 1
1540981081.844 * [misc]taylor:  Taking taylor expansion of (log x) in x
1540981081.844 * [misc]taylor:  Taking taylor expansion of x in x
1540981081.844 * [misc]backup-simplify:  Simplify 0 into 0
1540981081.844 * [misc]backup-simplify:  Simplify 1 into 1
1540981081.844 * [misc]backup-simplify:  Simplify (log 1) into 0
1540981081.844 * [misc]taylor:  Taking taylor expansion of (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x))) in x
1540981081.844 * [misc]taylor:  Taking taylor expansion of (fma (pow x 4) -3/32 (log 2)) in x
1540981081.844 * [misc]taylor:  Rewrote expression to (+ (* (pow x 4) -3/32) (log 2))
1540981081.844 * [misc]taylor:  Taking taylor expansion of (* (pow x 4) -3/32) in x
1540981081.844 * [misc]taylor:  Taking taylor expansion of (pow x 4) in x
1540981081.844 * [misc]taylor:  Taking taylor expansion of x in x
1540981081.844 * [misc]backup-simplify:  Simplify 0 into 0
1540981081.844 * [misc]backup-simplify:  Simplify 1 into 1
1540981081.844 * [misc]taylor:  Taking taylor expansion of -3/32 in x
1540981081.844 * [misc]backup-simplify:  Simplify -3/32 into -3/32
1540981081.844 * [misc]taylor:  Taking taylor expansion of (log 2) in x
1540981081.844 * [misc]taylor:  Taking taylor expansion of 2 in x
1540981081.844 * [misc]backup-simplify:  Simplify 2 into 2
1540981081.844 * [misc]backup-simplify:  Simplify (log 2) into (log 2)
1540981081.844 * [misc]taylor:  Taking taylor expansion of (fma x (* 1/4 x) (log x)) in x
1540981081.844 * [misc]taylor:  Rewrote expression to (+ (* x (* 1/4 x)) (log x))
1540981081.844 * [misc]taylor:  Taking taylor expansion of (* x (* 1/4 x)) in x
1540981081.844 * [misc]taylor:  Taking taylor expansion of x in x
1540981081.844 * [misc]backup-simplify:  Simplify 0 into 0
1540981081.844 * [misc]backup-simplify:  Simplify 1 into 1
1540981081.844 * [misc]taylor:  Taking taylor expansion of (* 1/4 x) in x
1540981081.844 * [misc]taylor:  Taking taylor expansion of 1/4 in x
1540981081.844 * [misc]backup-simplify:  Simplify 1/4 into 1/4
1540981081.844 * [misc]taylor:  Taking taylor expansion of x in x
1540981081.844 * [misc]backup-simplify:  Simplify 0 into 0
1540981081.844 * [misc]backup-simplify:  Simplify 1 into 1
1540981081.844 * [misc]taylor:  Taking taylor expansion of (log x) in x
1540981081.844 * [misc]taylor:  Taking taylor expansion of x in x
1540981081.844 * [misc]backup-simplify:  Simplify 0 into 0
1540981081.844 * [misc]backup-simplify:  Simplify 1 into 1
1540981081.844 * [misc]backup-simplify:  Simplify (log 1) into 0
1540981081.845 * [misc]backup-simplify:  Simplify (+ 0 (log 2)) into (log 2)
1540981081.845 * [misc]backup-simplify:  Simplify (* 1/4 0) into 0
1540981081.845 * [misc]backup-simplify:  Simplify (* 0 0) into 0
1540981081.845 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1540981081.845 * [misc]backup-simplify:  Simplify (+ 0 (log x)) into (log x)
1540981081.845 * [misc]backup-simplify:  Simplify (- (log x)) into (- (log x))
1540981081.845 * [misc]backup-simplify:  Simplify (+ (log 2) (- (log x))) into (- (log 2) (log x))
1540981081.845 * [misc]backup-simplify:  Simplify (- (log 2) (log x)) into (- (log 2) (log x))
1540981081.847 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 2 1)))) 1) into 0
1540981081.847 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981081.847 * [misc]backup-simplify:  Simplify (+ (* 1/4 1) (* 0 0)) into 1/4
1540981081.847 * [misc]backup-simplify:  Simplify (+ (* 0 1/4) (* 1 0)) into 0
1540981081.849 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
1540981081.849 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981081.849 * [misc]backup-simplify:  Simplify (- 0) into 0
1540981081.849 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981081.849 * [misc]backup-simplify:  Simplify 0 into 0
1540981081.852 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 2 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 2 1)))) 2) into 0
1540981081.852 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981081.852 * [misc]backup-simplify:  Simplify (+ (* 1/4 0) (+ (* 0 1) (* 0 0))) into 0
1540981081.852 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1/4) (* 0 0))) into 1/4
1540981081.855 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
1540981081.855 * [misc]backup-simplify:  Simplify (+ 1/4 0) into 1/4
1540981081.855 * [misc]backup-simplify:  Simplify (- 1/4) into -1/4
1540981081.855 * [misc]backup-simplify:  Simplify (+ 0 -1/4) into -1/4
1540981081.855 * [misc]backup-simplify:  Simplify -1/4 into -1/4
1540981081.859 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 2 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 2 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 2 1)))) 6) into 0
1540981081.860 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981081.860 * [misc]backup-simplify:  Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1540981081.860 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1/4) (* 0 0)))) into 0
1540981081.864 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
1540981081.864 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981081.864 * [misc]backup-simplify:  Simplify (- 0) into 0
1540981081.864 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981081.864 * [misc]backup-simplify:  Simplify 0 into 0
1540981081.865 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540981081.865 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540981081.865 * [misc]backup-simplify:  Simplify (* 1 -3/32) into -3/32
1540981081.871 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 2 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 2 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 2 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 2 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 2 1)))) 24) into 0
1540981081.872 * [misc]backup-simplify:  Simplify (+ -3/32 0) into -3/32
1540981081.872 * [misc]backup-simplify:  Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1540981081.872 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1/4) (* 0 0))))) into 0
1540981081.879 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
1540981081.879 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981081.879 * [misc]backup-simplify:  Simplify (- 0) into 0
1540981081.879 * [misc]backup-simplify:  Simplify (+ -3/32 0) into -3/32
1540981081.879 * [misc]backup-simplify:  Simplify -3/32 into -3/32
1540981081.880 * [misc]backup-simplify:  Simplify (+ (* -3/32 (pow x 4)) (+ (* -1/4 (pow x 2)) (- (log 2) (log x)))) into (- (log 2) (+ (* 1/4 (pow x 2)) (+ (* 3/32 (pow x 4)) (log x))))
1540981081.880 * [misc]backup-simplify:  Simplify (- (fma (pow (/ 1 x) 4) -3/32 (log 2)) (fma (/ 1 x) (* 1/4 (/ 1 x)) (log (/ 1 x)))) into (- (fma (pow (/ 1 x) 4) -3/32 (log 2)) (fma (/ 1 x) (/ 1/4 x) (log (/ 1 x))))
1540981081.880 * [misc]approximate:  Taking taylor expansion of (- (fma (pow (/ 1 x) 4) -3/32 (log 2)) (fma (/ 1 x) (/ 1/4 x) (log (/ 1 x)))) in (x) around 0
1540981081.880 * [misc]taylor:  Taking taylor expansion of (- (fma (pow (/ 1 x) 4) -3/32 (log 2)) (fma (/ 1 x) (/ 1/4 x) (log (/ 1 x)))) in x
1540981081.880 * [misc]taylor:  Taking taylor expansion of (fma (pow (/ 1 x) 4) -3/32 (log 2)) in x
1540981081.880 * [misc]taylor:  Rewrote expression to (+ (* (pow (/ 1 x) 4) -3/32) (log 2))
1540981081.880 * [misc]taylor:  Taking taylor expansion of (* (pow (/ 1 x) 4) -3/32) in x
1540981081.880 * [misc]taylor:  Taking taylor expansion of (pow (/ 1 x) 4) in x
1540981081.880 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540981081.880 * [misc]taylor:  Taking taylor expansion of x in x
1540981081.880 * [misc]backup-simplify:  Simplify 0 into 0
1540981081.880 * [misc]backup-simplify:  Simplify 1 into 1
1540981081.880 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540981081.880 * [misc]taylor:  Taking taylor expansion of -3/32 in x
1540981081.880 * [misc]backup-simplify:  Simplify -3/32 into -3/32
1540981081.880 * [misc]taylor:  Taking taylor expansion of (log 2) in x
1540981081.880 * [misc]taylor:  Taking taylor expansion of 2 in x
1540981081.880 * [misc]backup-simplify:  Simplify 2 into 2
1540981081.881 * [misc]backup-simplify:  Simplify (log 2) into (log 2)
1540981081.881 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 x) (/ 1/4 x) (log (/ 1 x))) in x
1540981081.881 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 x) (/ 1/4 x)) (log (/ 1 x)))
1540981081.881 * [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1/4 x)) in x
1540981081.881 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540981081.881 * [misc]taylor:  Taking taylor expansion of x in x
1540981081.881 * [misc]backup-simplify:  Simplify 0 into 0
1540981081.881 * [misc]backup-simplify:  Simplify 1 into 1
1540981081.881 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540981081.881 * [misc]taylor:  Taking taylor expansion of (/ 1/4 x) in x
1540981081.881 * [misc]taylor:  Taking taylor expansion of 1/4 in x
1540981081.881 * [misc]backup-simplify:  Simplify 1/4 into 1/4
1540981081.881 * [misc]taylor:  Taking taylor expansion of x in x
1540981081.881 * [misc]backup-simplify:  Simplify 0 into 0
1540981081.881 * [misc]backup-simplify:  Simplify 1 into 1
1540981081.881 * [misc]backup-simplify:  Simplify (/ 1/4 1) into 1/4
1540981081.881 * [misc]taylor:  Taking taylor expansion of (log (/ 1 x)) in x
1540981081.881 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540981081.881 * [misc]taylor:  Taking taylor expansion of x in x
1540981081.881 * [misc]backup-simplify:  Simplify 0 into 0
1540981081.881 * [misc]backup-simplify:  Simplify 1 into 1
1540981081.881 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540981081.881 * [misc]backup-simplify:  Simplify (log 1) into 0
1540981081.881 * [misc]taylor:  Taking taylor expansion of (- (fma (pow (/ 1 x) 4) -3/32 (log 2)) (fma (/ 1 x) (/ 1/4 x) (log (/ 1 x)))) in x
1540981081.881 * [misc]taylor:  Taking taylor expansion of (fma (pow (/ 1 x) 4) -3/32 (log 2)) in x
1540981081.881 * [misc]taylor:  Rewrote expression to (+ (* (pow (/ 1 x) 4) -3/32) (log 2))
1540981081.881 * [misc]taylor:  Taking taylor expansion of (* (pow (/ 1 x) 4) -3/32) in x
1540981081.881 * [misc]taylor:  Taking taylor expansion of (pow (/ 1 x) 4) in x
1540981081.881 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540981081.881 * [misc]taylor:  Taking taylor expansion of x in x
1540981081.881 * [misc]backup-simplify:  Simplify 0 into 0
1540981081.881 * [misc]backup-simplify:  Simplify 1 into 1
1540981081.882 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540981081.882 * [misc]taylor:  Taking taylor expansion of -3/32 in x
1540981081.882 * [misc]backup-simplify:  Simplify -3/32 into -3/32
1540981081.882 * [misc]taylor:  Taking taylor expansion of (log 2) in x
1540981081.882 * [misc]taylor:  Taking taylor expansion of 2 in x
1540981081.882 * [misc]backup-simplify:  Simplify 2 into 2
1540981081.882 * [misc]backup-simplify:  Simplify (log 2) into (log 2)
1540981081.882 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 x) (/ 1/4 x) (log (/ 1 x))) in x
1540981081.882 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 x) (/ 1/4 x)) (log (/ 1 x)))
1540981081.882 * [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1/4 x)) in x
1540981081.882 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540981081.882 * [misc]taylor:  Taking taylor expansion of x in x
1540981081.882 * [misc]backup-simplify:  Simplify 0 into 0
1540981081.882 * [misc]backup-simplify:  Simplify 1 into 1
1540981081.882 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540981081.882 * [misc]taylor:  Taking taylor expansion of (/ 1/4 x) in x
1540981081.882 * [misc]taylor:  Taking taylor expansion of 1/4 in x
1540981081.882 * [misc]backup-simplify:  Simplify 1/4 into 1/4
1540981081.882 * [misc]taylor:  Taking taylor expansion of x in x
1540981081.882 * [misc]backup-simplify:  Simplify 0 into 0
1540981081.882 * [misc]backup-simplify:  Simplify 1 into 1
1540981081.882 * [misc]backup-simplify:  Simplify (/ 1/4 1) into 1/4
1540981081.882 * [misc]taylor:  Taking taylor expansion of (log (/ 1 x)) in x
1540981081.882 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540981081.882 * [misc]taylor:  Taking taylor expansion of x in x
1540981081.882 * [misc]backup-simplify:  Simplify 0 into 0
1540981081.882 * [misc]backup-simplify:  Simplify 1 into 1
1540981081.882 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540981081.883 * [misc]backup-simplify:  Simplify (log 1) into 0
1540981081.883 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540981081.883 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540981081.883 * [misc]backup-simplify:  Simplify (* 1 -3/32) into -3/32
1540981081.883 * [misc]backup-simplify:  Simplify (+ -3/32 0) into -3/32
1540981081.883 * [misc]backup-simplify:  Simplify (+ -3/32 0) into -3/32
1540981081.883 * [misc]backup-simplify:  Simplify -3/32 into -3/32
1540981081.883 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540981081.883 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540981081.884 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540981081.884 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 -3/32)) into 0
1540981081.884 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981081.884 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981081.884 * [misc]backup-simplify:  Simplify 0 into 0
1540981081.884 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540981081.884 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1540981081.884 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1540981081.885 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 -3/32))) into 0
1540981081.885 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981081.885 * [misc]backup-simplify:  Simplify (* 1 1/4) into 1/4
1540981081.885 * [misc]backup-simplify:  Simplify (+ 1/4 0) into 1/4
1540981081.885 * [misc]backup-simplify:  Simplify (- 1/4) into -1/4
1540981081.885 * [misc]backup-simplify:  Simplify (+ 0 -1/4) into -1/4
1540981081.885 * [misc]backup-simplify:  Simplify -1/4 into -1/4
1540981081.885 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540981081.885 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1540981081.886 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1540981081.886 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -3/32)))) into 0
1540981081.886 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981081.886 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/4 (/ 0 1)))) into 0
1540981081.886 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540981081.886 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1/4)) into 0
1540981081.886 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981081.887 * [misc]backup-simplify:  Simplify (- 0) into 0
1540981081.887 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981081.887 * [misc]backup-simplify:  Simplify 0 into 0
1540981081.887 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540981081.887 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1540981081.887 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1540981081.888 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -3/32))))) into 0
1540981081.888 * [misc]backup-simplify:  Simplify (+ 0 (log 2)) into (log 2)
1540981081.888 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/4 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540981081.888 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540981081.888 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1/4))) into 0
1540981081.888 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1540981081.888 * [misc]backup-simplify:  Simplify (+ 0 (- (log x))) into (- (log x))
1540981081.889 * [misc]backup-simplify:  Simplify (- (- (log x))) into (log x)
1540981081.889 * [misc]backup-simplify:  Simplify (+ (log 2) (log x)) into (+ (log 2) (log x))
1540981081.889 * [misc]backup-simplify:  Simplify (+ (log 2) (log x)) into (+ (log 2) (log x))
1540981081.889 * [misc]backup-simplify:  Simplify (+ (+ (log 2) (log (/ 1 x))) (+ (* -1/4 (pow (/ 1 (/ 1 x)) 2)) (* -3/32 (pow (/ 1 (/ 1 x)) 4)))) into (- (+ (log 2) (log (/ 1 x))) (+ (* 1/4 (pow x 2)) (* 3/32 (pow x 4))))
1540981081.890 * [misc]backup-simplify:  Simplify (- (fma (pow (/ 1 (- x)) 4) -3/32 (log 2)) (fma (/ 1 (- x)) (* 1/4 (/ 1 (- x))) (log (/ 1 (- x))))) into (- (fma (pow (/ -1 x) 4) -3/32 (log 2)) (fma (/ -1 x) (/ -1/4 x) (log (/ -1 x))))
1540981081.890 * [misc]approximate:  Taking taylor expansion of (- (fma (pow (/ -1 x) 4) -3/32 (log 2)) (fma (/ -1 x) (/ -1/4 x) (log (/ -1 x)))) in (x) around 0
1540981081.890 * [misc]taylor:  Taking taylor expansion of (- (fma (pow (/ -1 x) 4) -3/32 (log 2)) (fma (/ -1 x) (/ -1/4 x) (log (/ -1 x)))) in x
1540981081.890 * [misc]taylor:  Taking taylor expansion of (fma (pow (/ -1 x) 4) -3/32 (log 2)) in x
1540981081.890 * [misc]taylor:  Rewrote expression to (+ (* (pow (/ -1 x) 4) -3/32) (log 2))
1540981081.890 * [misc]taylor:  Taking taylor expansion of (* (pow (/ -1 x) 4) -3/32) in x
1540981081.890 * [misc]taylor:  Taking taylor expansion of (pow (/ -1 x) 4) in x
1540981081.890 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540981081.890 * [misc]taylor:  Taking taylor expansion of -1 in x
1540981081.890 * [misc]backup-simplify:  Simplify -1 into -1
1540981081.890 * [misc]taylor:  Taking taylor expansion of x in x
1540981081.890 * [misc]backup-simplify:  Simplify 0 into 0
1540981081.890 * [misc]backup-simplify:  Simplify 1 into 1
1540981081.890 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540981081.890 * [misc]taylor:  Taking taylor expansion of -3/32 in x
1540981081.890 * [misc]backup-simplify:  Simplify -3/32 into -3/32
1540981081.890 * [misc]taylor:  Taking taylor expansion of (log 2) in x
1540981081.890 * [misc]taylor:  Taking taylor expansion of 2 in x
1540981081.890 * [misc]backup-simplify:  Simplify 2 into 2
1540981081.890 * [misc]backup-simplify:  Simplify (log 2) into (log 2)
1540981081.890 * [misc]taylor:  Taking taylor expansion of (fma (/ -1 x) (/ -1/4 x) (log (/ -1 x))) in x
1540981081.890 * [misc]taylor:  Rewrote expression to (+ (* (/ -1 x) (/ -1/4 x)) (log (/ -1 x)))
1540981081.890 * [misc]taylor:  Taking taylor expansion of (* (/ -1 x) (/ -1/4 x)) in x
1540981081.890 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540981081.890 * [misc]taylor:  Taking taylor expansion of -1 in x
1540981081.890 * [misc]backup-simplify:  Simplify -1 into -1
1540981081.890 * [misc]taylor:  Taking taylor expansion of x in x
1540981081.890 * [misc]backup-simplify:  Simplify 0 into 0
1540981081.890 * [misc]backup-simplify:  Simplify 1 into 1
1540981081.891 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540981081.891 * [misc]taylor:  Taking taylor expansion of (/ -1/4 x) in x
1540981081.891 * [misc]taylor:  Taking taylor expansion of -1/4 in x
1540981081.891 * [misc]backup-simplify:  Simplify -1/4 into -1/4
1540981081.891 * [misc]taylor:  Taking taylor expansion of x in x
1540981081.891 * [misc]backup-simplify:  Simplify 0 into 0
1540981081.891 * [misc]backup-simplify:  Simplify 1 into 1
1540981081.891 * [misc]backup-simplify:  Simplify (/ -1/4 1) into -1/4
1540981081.891 * [misc]taylor:  Taking taylor expansion of (log (/ -1 x)) in x
1540981081.891 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540981081.891 * [misc]taylor:  Taking taylor expansion of -1 in x
1540981081.891 * [misc]backup-simplify:  Simplify -1 into -1
1540981081.891 * [misc]taylor:  Taking taylor expansion of x in x
1540981081.891 * [misc]backup-simplify:  Simplify 0 into 0
1540981081.891 * [misc]backup-simplify:  Simplify 1 into 1
1540981081.891 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540981081.891 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1540981081.891 * [misc]taylor:  Taking taylor expansion of (- (fma (pow (/ -1 x) 4) -3/32 (log 2)) (fma (/ -1 x) (/ -1/4 x) (log (/ -1 x)))) in x
1540981081.891 * [misc]taylor:  Taking taylor expansion of (fma (pow (/ -1 x) 4) -3/32 (log 2)) in x
1540981081.891 * [misc]taylor:  Rewrote expression to (+ (* (pow (/ -1 x) 4) -3/32) (log 2))
1540981081.891 * [misc]taylor:  Taking taylor expansion of (* (pow (/ -1 x) 4) -3/32) in x
1540981081.891 * [misc]taylor:  Taking taylor expansion of (pow (/ -1 x) 4) in x
1540981081.891 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540981081.891 * [misc]taylor:  Taking taylor expansion of -1 in x
1540981081.891 * [misc]backup-simplify:  Simplify -1 into -1
1540981081.891 * [misc]taylor:  Taking taylor expansion of x in x
1540981081.891 * [misc]backup-simplify:  Simplify 0 into 0
1540981081.891 * [misc]backup-simplify:  Simplify 1 into 1
1540981081.891 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540981081.891 * [misc]taylor:  Taking taylor expansion of -3/32 in x
1540981081.891 * [misc]backup-simplify:  Simplify -3/32 into -3/32
1540981081.892 * [misc]taylor:  Taking taylor expansion of (log 2) in x
1540981081.892 * [misc]taylor:  Taking taylor expansion of 2 in x
1540981081.892 * [misc]backup-simplify:  Simplify 2 into 2
1540981081.892 * [misc]backup-simplify:  Simplify (log 2) into (log 2)
1540981081.892 * [misc]taylor:  Taking taylor expansion of (fma (/ -1 x) (/ -1/4 x) (log (/ -1 x))) in x
1540981081.892 * [misc]taylor:  Rewrote expression to (+ (* (/ -1 x) (/ -1/4 x)) (log (/ -1 x)))
1540981081.892 * [misc]taylor:  Taking taylor expansion of (* (/ -1 x) (/ -1/4 x)) in x
1540981081.892 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540981081.892 * [misc]taylor:  Taking taylor expansion of -1 in x
1540981081.892 * [misc]backup-simplify:  Simplify -1 into -1
1540981081.892 * [misc]taylor:  Taking taylor expansion of x in x
1540981081.892 * [misc]backup-simplify:  Simplify 0 into 0
1540981081.892 * [misc]backup-simplify:  Simplify 1 into 1
1540981081.892 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540981081.892 * [misc]taylor:  Taking taylor expansion of (/ -1/4 x) in x
1540981081.892 * [misc]taylor:  Taking taylor expansion of -1/4 in x
1540981081.892 * [misc]backup-simplify:  Simplify -1/4 into -1/4
1540981081.892 * [misc]taylor:  Taking taylor expansion of x in x
1540981081.892 * [misc]backup-simplify:  Simplify 0 into 0
1540981081.892 * [misc]backup-simplify:  Simplify 1 into 1
1540981081.892 * [misc]backup-simplify:  Simplify (/ -1/4 1) into -1/4
1540981081.892 * [misc]taylor:  Taking taylor expansion of (log (/ -1 x)) in x
1540981081.892 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540981081.892 * [misc]taylor:  Taking taylor expansion of -1 in x
1540981081.892 * [misc]backup-simplify:  Simplify -1 into -1
1540981081.892 * [misc]taylor:  Taking taylor expansion of x in x
1540981081.892 * [misc]backup-simplify:  Simplify 0 into 0
1540981081.892 * [misc]backup-simplify:  Simplify 1 into 1
1540981081.892 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540981081.892 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1540981081.893 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1540981081.893 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540981081.893 * [misc]backup-simplify:  Simplify (* 1 -3/32) into -3/32
1540981081.893 * [misc]backup-simplify:  Simplify (+ -3/32 0) into -3/32
1540981081.893 * [misc]backup-simplify:  Simplify (+ -3/32 0) into -3/32
1540981081.893 * [misc]backup-simplify:  Simplify -3/32 into -3/32
1540981081.893 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1540981081.893 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 -1)) into 0
1540981081.893 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540981081.894 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 -3/32)) into 0
1540981081.894 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981081.894 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981081.894 * [misc]backup-simplify:  Simplify 0 into 0
1540981081.894 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540981081.894 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0
1540981081.894 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1540981081.895 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 -3/32))) into 0
1540981081.895 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981081.895 * [misc]backup-simplify:  Simplify (* -1 -1/4) into 1/4
1540981081.895 * [misc]backup-simplify:  Simplify (+ 1/4 0) into 1/4
1540981081.895 * [misc]backup-simplify:  Simplify (- 1/4) into -1/4
1540981081.895 * [misc]backup-simplify:  Simplify (+ 0 -1/4) into -1/4
1540981081.895 * [misc]backup-simplify:  Simplify -1/4 into -1/4
1540981081.895 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540981081.896 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
1540981081.896 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1540981081.896 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -3/32)))) into 0
1540981081.896 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981081.896 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/4 (/ 0 1)))) into 0
1540981081.896 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1540981081.896 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 -1/4)) into 0
1540981081.897 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981081.897 * [misc]backup-simplify:  Simplify (- 0) into 0
1540981081.897 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540981081.897 * [misc]backup-simplify:  Simplify 0 into 0
1540981081.897 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540981081.897 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0
1540981081.897 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1540981081.898 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -3/32))))) into 0
1540981081.898 * [misc]backup-simplify:  Simplify (+ 0 (log 2)) into (log 2)
1540981081.898 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/4 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540981081.898 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540981081.898 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1/4))) into 0
1540981081.899 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1540981081.899 * [misc]backup-simplify:  Simplify (+ 0 (- (log -1) (log x))) into (- (log -1) (log x))
1540981081.899 * [misc]backup-simplify:  Simplify (- (- (log -1) (log x))) into (- (log x) (log -1))
1540981081.899 * [misc]backup-simplify:  Simplify (+ (log 2) (- (log x) (log -1))) into (- (+ (log 2) (log x)) (log -1))
1540981081.899 * [misc]backup-simplify:  Simplify (- (+ (log 2) (log x)) (log -1)) into (- (+ (log 2) (log x)) (log -1))
1540981081.900 * [misc]backup-simplify:  Simplify (+ (- (+ (log 2) (log (/ 1 (- x)))) (log -1)) (+ (* -1/4 (pow (/ 1 (/ 1 (- x))) 2)) (* -3/32 (pow (/ 1 (/ 1 (- x))) 4)))) into (- (+ (log 2) (log (/ -1 x))) (+ (* 1/4 (pow x 2)) (+ (* 3/32 (pow x 4)) (log -1))))
1540981081.900 * * * [misc]progress:  simplifying candidates
1540981081.900 * * * * [misc]progress:  [ 1 / 33 ] simplifiying candidate #<alt (λ (x) (+ (fma (* (cbrt (fma (pow x 4) -3/32 (log 2))) (cbrt (fma (pow x 4) -3/32 (log 2)))) (cbrt (fma (pow x 4) -3/32 (log 2))) (- (* (cbrt (fma x (* 1/4 x) (log x))) (* (cbrt (fma x (* 1/4 x) (log x))) (cbrt (fma x (* 1/4 x) (log x))))))) (fma (- (cbrt (fma x (* 1/4 x) (log x)))) (* (cbrt (fma x (* 1/4 x) (log x))) (cbrt (fma x (* 1/4 x) (log x)))) (* (cbrt (fma x (* 1/4 x) (log x))) (* (cbrt (fma x (* 1/4 x) (log x))) (cbrt (fma x (* 1/4 x) (log x))))))))>
1540981081.900 * [enter]simplify:  Simplifying (fma (* (cbrt (fma (pow x 4) -3/32 (log 2))) (cbrt (fma (pow x 4) -3/32 (log 2)))) (cbrt (fma (pow x 4) -3/32 (log 2))) (- (* (cbrt (fma x (* 1/4 x) (log x))) (* (cbrt (fma x (* 1/4 x) (log x))) (cbrt (fma x (* 1/4 x) (log x)))))))
1540981081.901 * * [misc]simplify:  iters left: 6 (18 enodes)
1540981081.907 * * [misc]simplify:  iters left: 5 (32 enodes)
1540981081.917 * * [misc]simplify:  iters left: 4 (45 enodes)
1540981081.926 * * [misc]simplify:  iters left: 3 (63 enodes)
1540981081.938 * * [misc]simplify:  iters left: 2 (90 enodes)
1540981081.961 * * [misc]simplify:  iters left: 1 (162 enodes)
1540981082.038 * [exit]simplify:  Simplified to (- (fma -3/32 (pow x 4) (log 2)) (fma (* x x) 1/4 (log x)))
1540981082.038 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (- (fma -3/32 (pow x 4) (log 2)) (fma (* x x) 1/4 (log x))) (fma (- (cbrt (fma x (* 1/4 x) (log x)))) (* (cbrt (fma x (* 1/4 x) (log x))) (cbrt (fma x (* 1/4 x) (log x)))) (* (cbrt (fma x (* 1/4 x) (log x))) (* (cbrt (fma x (* 1/4 x) (log x))) (cbrt (fma x (* 1/4 x) (log x))))))))
1540981082.038 * [enter]simplify:  Simplifying (fma (- (cbrt (fma x (* 1/4 x) (log x)))) (* (cbrt (fma x (* 1/4 x) (log x))) (cbrt (fma x (* 1/4 x) (log x)))) (* (cbrt (fma x (* 1/4 x) (log x))) (* (cbrt (fma x (* 1/4 x) (log x))) (cbrt (fma x (* 1/4 x) (log x))))))
1540981082.040 * * [misc]simplify:  iters left: 6 (10 enodes)
1540981082.044 * * [misc]simplify:  iters left: 5 (18 enodes)
1540981082.052 * * [misc]simplify:  iters left: 4 (29 enodes)
1540981082.062 * * [misc]simplify:  iters left: 3 (63 enodes)
1540981082.081 * * [misc]simplify:  iters left: 2 (120 enodes)
1540981082.126 * * [misc]simplify:  iters left: 1 (204 enodes)
1540981082.204 * [exit]simplify:  Simplified to 0
1540981082.205 * [misc]simplify:  Simplified (2 2) to (λ (x) (+ (- (fma -3/32 (pow x 4) (log 2)) (fma (* x x) 1/4 (log x))) 0))
1540981082.205 * * * * [misc]progress:  [ 2 / 33 ] simplifiying candidate #<alt (λ (x) (+ (fma (* (cbrt (fma (pow x 4) -3/32 (log 2))) (cbrt (fma (pow x 4) -3/32 (log 2)))) (cbrt (fma (pow x 4) -3/32 (log 2))) (- (* (sqrt (fma x (* 1/4 x) (log x))) (sqrt (fma x (* 1/4 x) (log x)))))) (fma (- (sqrt (fma x (* 1/4 x) (log x)))) (sqrt (fma x (* 1/4 x) (log x))) (* (sqrt (fma x (* 1/4 x) (log x))) (sqrt (fma x (* 1/4 x) (log x)))))))>
1540981082.205 * [enter]simplify:  Simplifying (fma (* (cbrt (fma (pow x 4) -3/32 (log 2))) (cbrt (fma (pow x 4) -3/32 (log 2)))) (cbrt (fma (pow x 4) -3/32 (log 2))) (- (* (sqrt (fma x (* 1/4 x) (log x))) (sqrt (fma x (* 1/4 x) (log x))))))
1540981082.206 * * [misc]simplify:  iters left: 6 (17 enodes)
1540981082.210 * * [misc]simplify:  iters left: 5 (27 enodes)
1540981082.216 * * [misc]simplify:  iters left: 4 (39 enodes)
1540981082.233 * * [misc]simplify:  iters left: 3 (66 enodes)
1540981082.263 * * [misc]simplify:  iters left: 2 (101 enodes)
1540981082.312 * * [misc]simplify:  iters left: 1 (170 enodes)
1540981082.394 * [exit]simplify:  Simplified to (- (fma -3/32 (pow x 4) (log 2)) (fma (* 1/4 x) x (log x)))
1540981082.394 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (- (fma -3/32 (pow x 4) (log 2)) (fma (* 1/4 x) x (log x))) (fma (- (sqrt (fma x (* 1/4 x) (log x)))) (sqrt (fma x (* 1/4 x) (log x))) (* (sqrt (fma x (* 1/4 x) (log x))) (sqrt (fma x (* 1/4 x) (log x)))))))
1540981082.394 * [enter]simplify:  Simplifying (fma (- (sqrt (fma x (* 1/4 x) (log x)))) (sqrt (fma x (* 1/4 x) (log x))) (* (sqrt (fma x (* 1/4 x) (log x))) (sqrt (fma x (* 1/4 x) (log x)))))
1540981082.395 * * [misc]simplify:  iters left: 6 (9 enodes)
1540981082.397 * * [misc]simplify:  iters left: 5 (14 enodes)
1540981082.400 * * [misc]simplify:  iters left: 4 (27 enodes)
1540981082.407 * * [misc]simplify:  iters left: 3 (50 enodes)
1540981082.423 * * [misc]simplify:  iters left: 2 (95 enodes)
1540981082.464 * * [misc]simplify:  iters left: 1 (183 enodes)
1540981082.530 * [exit]simplify:  Simplified to 0
1540981082.530 * [misc]simplify:  Simplified (2 2) to (λ (x) (+ (- (fma -3/32 (pow x 4) (log 2)) (fma (* 1/4 x) x (log x))) 0))
1540981082.530 * * * * [misc]progress:  [ 3 / 33 ] simplifiying candidate #<alt (λ (x) (+ (fma (* (cbrt (fma (pow x 4) -3/32 (log 2))) (cbrt (fma (pow x 4) -3/32 (log 2)))) (cbrt (fma (pow x 4) -3/32 (log 2))) (- (* (fma x (* 1/4 x) (log x)) 1))) (fma (- (fma x (* 1/4 x) (log x))) 1 (* (fma x (* 1/4 x) (log x)) 1))))>
1540981082.530 * [enter]simplify:  Simplifying (fma (* (cbrt (fma (pow x 4) -3/32 (log 2))) (cbrt (fma (pow x 4) -3/32 (log 2)))) (cbrt (fma (pow x 4) -3/32 (log 2))) (- (* (fma x (* 1/4 x) (log x)) 1)))
1540981082.531 * * [misc]simplify:  iters left: 6 (17 enodes)
1540981082.536 * * [misc]simplify:  iters left: 5 (31 enodes)
1540981082.543 * * [misc]simplify:  iters left: 4 (54 enodes)
1540981082.570 * * [misc]simplify:  iters left: 3 (117 enodes)
1540981082.641 * * [misc]simplify:  iters left: 2 (193 enodes)
1540981082.730 * * [misc]simplify:  iters left: 1 (305 enodes)
1540981082.852 * [exit]simplify:  Simplified to (- (fma -3/32 (pow x 4) (log 2)) (fma (* 1/4 x) x (log x)))
1540981082.852 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (- (fma -3/32 (pow x 4) (log 2)) (fma (* 1/4 x) x (log x))) (fma (- (fma x (* 1/4 x) (log x))) 1 (* (fma x (* 1/4 x) (log x)) 1))))
1540981082.853 * [enter]simplify:  Simplifying (fma (- (fma x (* 1/4 x) (log x))) 1 (* (fma x (* 1/4 x) (log x)) 1))
1540981082.853 * * [misc]simplify:  iters left: 6 (9 enodes)
1540981082.858 * * [misc]simplify:  iters left: 5 (17 enodes)
1540981082.869 * * [misc]simplify:  iters left: 4 (42 enodes)
1540981082.900 * * [misc]simplify:  iters left: 3 (107 enodes)
1540981082.963 * * [misc]simplify:  iters left: 2 (201 enodes)
1540981083.055 * * [misc]simplify:  iters left: 1 (352 enodes)
1540981083.246 * [exit]simplify:  Simplified to 0
1540981083.246 * [misc]simplify:  Simplified (2 2) to (λ (x) (+ (- (fma -3/32 (pow x 4) (log 2)) (fma (* 1/4 x) x (log x))) 0))
1540981083.246 * * * * [misc]progress:  [ 4 / 33 ] simplifiying candidate #<alt (λ (x) (+ (fma (sqrt (fma (pow x 4) -3/32 (log 2))) (sqrt (fma (pow x 4) -3/32 (log 2))) (- (* (cbrt (fma x (* 1/4 x) (log x))) (* (cbrt (fma x (* 1/4 x) (log x))) (cbrt (fma x (* 1/4 x) (log x))))))) (fma (- (cbrt (fma x (* 1/4 x) (log x)))) (* (cbrt (fma x (* 1/4 x) (log x))) (cbrt (fma x (* 1/4 x) (log x)))) (* (cbrt (fma x (* 1/4 x) (log x))) (* (cbrt (fma x (* 1/4 x) (log x))) (cbrt (fma x (* 1/4 x) (log x))))))))>
1540981083.246 * [enter]simplify:  Simplifying (fma (sqrt (fma (pow x 4) -3/32 (log 2))) (sqrt (fma (pow x 4) -3/32 (log 2))) (- (* (cbrt (fma x (* 1/4 x) (log x))) (* (cbrt (fma x (* 1/4 x) (log x))) (cbrt (fma x (* 1/4 x) (log x)))))))
1540981083.247 * * [misc]simplify:  iters left: 6 (17 enodes)
1540981083.252 * * [misc]simplify:  iters left: 5 (31 enodes)
1540981083.261 * * [misc]simplify:  iters left: 4 (43 enodes)
1540981083.274 * * [misc]simplify:  iters left: 3 (72 enodes)
1540981083.310 * * [misc]simplify:  iters left: 2 (141 enodes)
1540981083.370 * * [misc]simplify:  iters left: 1 (254 enodes)
1540981083.498 * [exit]simplify:  Simplified to (- (fma -3/32 (pow x 4) (log 2)) (fma (* x x) 1/4 (log x)))
1540981083.498 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (- (fma -3/32 (pow x 4) (log 2)) (fma (* x x) 1/4 (log x))) (fma (- (cbrt (fma x (* 1/4 x) (log x)))) (* (cbrt (fma x (* 1/4 x) (log x))) (cbrt (fma x (* 1/4 x) (log x)))) (* (cbrt (fma x (* 1/4 x) (log x))) (* (cbrt (fma x (* 1/4 x) (log x))) (cbrt (fma x (* 1/4 x) (log x))))))))
1540981083.498 * [enter]simplify:  Simplifying (fma (- (cbrt (fma x (* 1/4 x) (log x)))) (* (cbrt (fma x (* 1/4 x) (log x))) (cbrt (fma x (* 1/4 x) (log x)))) (* (cbrt (fma x (* 1/4 x) (log x))) (* (cbrt (fma x (* 1/4 x) (log x))) (cbrt (fma x (* 1/4 x) (log x))))))
1540981083.499 * * [misc]simplify:  iters left: 6 (10 enodes)
1540981083.501 * * [misc]simplify:  iters left: 5 (18 enodes)
1540981083.505 * * [misc]simplify:  iters left: 4 (29 enodes)
1540981083.516 * * [misc]simplify:  iters left: 3 (63 enodes)
1540981083.539 * * [misc]simplify:  iters left: 2 (120 enodes)
1540981083.579 * * [misc]simplify:  iters left: 1 (204 enodes)
1540981083.650 * [exit]simplify:  Simplified to 0
1540981083.650 * [misc]simplify:  Simplified (2 2) to (λ (x) (+ (- (fma -3/32 (pow x 4) (log 2)) (fma (* x x) 1/4 (log x))) 0))
1540981083.650 * * * * [misc]progress:  [ 5 / 33 ] simplifiying candidate #<alt (λ (x) (+ (fma (sqrt (fma (pow x 4) -3/32 (log 2))) (sqrt (fma (pow x 4) -3/32 (log 2))) (- (* (sqrt (fma x (* 1/4 x) (log x))) (sqrt (fma x (* 1/4 x) (log x)))))) (fma (- (sqrt (fma x (* 1/4 x) (log x)))) (sqrt (fma x (* 1/4 x) (log x))) (* (sqrt (fma x (* 1/4 x) (log x))) (sqrt (fma x (* 1/4 x) (log x)))))))>
1540981083.650 * [enter]simplify:  Simplifying (fma (sqrt (fma (pow x 4) -3/32 (log 2))) (sqrt (fma (pow x 4) -3/32 (log 2))) (- (* (sqrt (fma x (* 1/4 x) (log x))) (sqrt (fma x (* 1/4 x) (log x))))))
1540981083.651 * * [misc]simplify:  iters left: 6 (16 enodes)
1540981083.655 * * [misc]simplify:  iters left: 5 (26 enodes)
1540981083.661 * * [misc]simplify:  iters left: 4 (37 enodes)
1540981083.670 * * [misc]simplify:  iters left: 3 (67 enodes)
1540981083.698 * * [misc]simplify:  iters left: 2 (133 enodes)
1540981083.791 * * [misc]simplify:  iters left: 1 (263 enodes)
1540981083.969 * [exit]simplify:  Simplified to (- (fma -3/32 (pow x 4) (log 2)) (fma x (* x 1/4) (log x)))
1540981083.969 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (- (fma -3/32 (pow x 4) (log 2)) (fma x (* x 1/4) (log x))) (fma (- (sqrt (fma x (* 1/4 x) (log x)))) (sqrt (fma x (* 1/4 x) (log x))) (* (sqrt (fma x (* 1/4 x) (log x))) (sqrt (fma x (* 1/4 x) (log x)))))))
1540981083.970 * [enter]simplify:  Simplifying (fma (- (sqrt (fma x (* 1/4 x) (log x)))) (sqrt (fma x (* 1/4 x) (log x))) (* (sqrt (fma x (* 1/4 x) (log x))) (sqrt (fma x (* 1/4 x) (log x)))))
1540981083.971 * * [misc]simplify:  iters left: 6 (9 enodes)
1540981083.975 * * [misc]simplify:  iters left: 5 (14 enodes)
1540981083.984 * * [misc]simplify:  iters left: 4 (27 enodes)
1540981083.992 * * [misc]simplify:  iters left: 3 (50 enodes)
1540981084.004 * * [misc]simplify:  iters left: 2 (95 enodes)
1540981084.049 * * [misc]simplify:  iters left: 1 (183 enodes)
1540981084.141 * [exit]simplify:  Simplified to 0
1540981084.141 * [misc]simplify:  Simplified (2 2) to (λ (x) (+ (- (fma -3/32 (pow x 4) (log 2)) (fma x (* x 1/4) (log x))) 0))
1540981084.141 * * * * [misc]progress:  [ 6 / 33 ] simplifiying candidate #<alt (λ (x) (+ (fma (sqrt (fma (pow x 4) -3/32 (log 2))) (sqrt (fma (pow x 4) -3/32 (log 2))) (- (* (fma x (* 1/4 x) (log x)) 1))) (fma (- (fma x (* 1/4 x) (log x))) 1 (* (fma x (* 1/4 x) (log x)) 1))))>
1540981084.141 * [enter]simplify:  Simplifying (fma (sqrt (fma (pow x 4) -3/32 (log 2))) (sqrt (fma (pow x 4) -3/32 (log 2))) (- (* (fma x (* 1/4 x) (log x)) 1)))
1540981084.142 * * [misc]simplify:  iters left: 6 (16 enodes)
1540981084.146 * * [misc]simplify:  iters left: 5 (30 enodes)
1540981084.154 * * [misc]simplify:  iters left: 4 (52 enodes)
1540981084.172 * * [misc]simplify:  iters left: 3 (118 enodes)
1540981084.256 * * [misc]simplify:  iters left: 2 (211 enodes)
1540981084.399 * * [misc]simplify:  iters left: 1 (391 enodes)
1540981084.683 * [exit]simplify:  Simplified to (- (fma -3/32 (pow x 4) (log 2)) (fma 1/4 (* x x) (log x)))
1540981084.683 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (- (fma -3/32 (pow x 4) (log 2)) (fma 1/4 (* x x) (log x))) (fma (- (fma x (* 1/4 x) (log x))) 1 (* (fma x (* 1/4 x) (log x)) 1))))
1540981084.683 * [enter]simplify:  Simplifying (fma (- (fma x (* 1/4 x) (log x))) 1 (* (fma x (* 1/4 x) (log x)) 1))
1540981084.685 * * [misc]simplify:  iters left: 6 (9 enodes)
1540981084.689 * * [misc]simplify:  iters left: 5 (17 enodes)
1540981084.701 * * [misc]simplify:  iters left: 4 (42 enodes)
1540981084.732 * * [misc]simplify:  iters left: 3 (107 enodes)
1540981084.821 * * [misc]simplify:  iters left: 2 (201 enodes)
1540981084.930 * * [misc]simplify:  iters left: 1 (352 enodes)
1540981085.153 * [exit]simplify:  Simplified to 0
1540981085.153 * [misc]simplify:  Simplified (2 2) to (λ (x) (+ (- (fma -3/32 (pow x 4) (log 2)) (fma 1/4 (* x x) (log x))) 0))
1540981085.153 * * * * [misc]progress:  [ 7 / 33 ] simplifiying candidate #<alt (λ (x) (+ (fma 1 (fma (pow x 4) -3/32 (log 2)) (- (* (cbrt (fma x (* 1/4 x) (log x))) (* (cbrt (fma x (* 1/4 x) (log x))) (cbrt (fma x (* 1/4 x) (log x))))))) (fma (- (cbrt (fma x (* 1/4 x) (log x)))) (* (cbrt (fma x (* 1/4 x) (log x))) (cbrt (fma x (* 1/4 x) (log x)))) (* (cbrt (fma x (* 1/4 x) (log x))) (* (cbrt (fma x (* 1/4 x) (log x))) (cbrt (fma x (* 1/4 x) (log x))))))))>
1540981085.153 * [enter]simplify:  Simplifying (fma 1 (fma (pow x 4) -3/32 (log 2)) (- (* (cbrt (fma x (* 1/4 x) (log x))) (* (cbrt (fma x (* 1/4 x) (log x))) (cbrt (fma x (* 1/4 x) (log x)))))))
1540981085.155 * * [misc]simplify:  iters left: 6 (17 enodes)
1540981085.163 * * [misc]simplify:  iters left: 5 (33 enodes)
1540981085.176 * * [misc]simplify:  iters left: 4 (52 enodes)
1540981085.204 * * [misc]simplify:  iters left: 3 (88 enodes)
1540981085.243 * * [misc]simplify:  iters left: 2 (146 enodes)
1540981085.290 * * [misc]simplify:  iters left: 1 (266 enodes)
1540981085.405 * [exit]simplify:  Simplified to (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x)))
1540981085.405 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x))) (fma (- (cbrt (fma x (* 1/4 x) (log x)))) (* (cbrt (fma x (* 1/4 x) (log x))) (cbrt (fma x (* 1/4 x) (log x)))) (* (cbrt (fma x (* 1/4 x) (log x))) (* (cbrt (fma x (* 1/4 x) (log x))) (cbrt (fma x (* 1/4 x) (log x))))))))
1540981085.406 * [enter]simplify:  Simplifying (fma (- (cbrt (fma x (* 1/4 x) (log x)))) (* (cbrt (fma x (* 1/4 x) (log x))) (cbrt (fma x (* 1/4 x) (log x)))) (* (cbrt (fma x (* 1/4 x) (log x))) (* (cbrt (fma x (* 1/4 x) (log x))) (cbrt (fma x (* 1/4 x) (log x))))))
1540981085.407 * * [misc]simplify:  iters left: 6 (10 enodes)
1540981085.411 * * [misc]simplify:  iters left: 5 (18 enodes)
1540981085.422 * * [misc]simplify:  iters left: 4 (29 enodes)
1540981085.439 * * [misc]simplify:  iters left: 3 (63 enodes)
1540981085.469 * * [misc]simplify:  iters left: 2 (120 enodes)
1540981085.527 * * [misc]simplify:  iters left: 1 (204 enodes)
1540981085.603 * [exit]simplify:  Simplified to 0
1540981085.604 * [misc]simplify:  Simplified (2 2) to (λ (x) (+ (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x))) 0))
1540981085.604 * * * * [misc]progress:  [ 8 / 33 ] simplifiying candidate #<alt (λ (x) (+ (fma 1 (fma (pow x 4) -3/32 (log 2)) (- (* (sqrt (fma x (* 1/4 x) (log x))) (sqrt (fma x (* 1/4 x) (log x)))))) (fma (- (sqrt (fma x (* 1/4 x) (log x)))) (sqrt (fma x (* 1/4 x) (log x))) (* (sqrt (fma x (* 1/4 x) (log x))) (sqrt (fma x (* 1/4 x) (log x)))))))>
1540981085.604 * [enter]simplify:  Simplifying (fma 1 (fma (pow x 4) -3/32 (log 2)) (- (* (sqrt (fma x (* 1/4 x) (log x))) (sqrt (fma x (* 1/4 x) (log x))))))
1540981085.605 * * [misc]simplify:  iters left: 6 (16 enodes)
1540981085.613 * * [misc]simplify:  iters left: 5 (28 enodes)
1540981085.626 * * [misc]simplify:  iters left: 4 (46 enodes)
1540981085.653 * * [misc]simplify:  iters left: 3 (87 enodes)
1540981085.686 * * [misc]simplify:  iters left: 2 (139 enodes)
1540981085.707 * * [misc]simplify:  iters left: 1 (191 enodes)
1540981085.803 * [exit]simplify:  Simplified to (- (fma -3/32 (pow x 4) (log 2)) (fma x (* 1/4 x) (log x)))
1540981085.803 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (- (fma -3/32 (pow x 4) (log 2)) (fma x (* 1/4 x) (log x))) (fma (- (sqrt (fma x (* 1/4 x) (log x)))) (sqrt (fma x (* 1/4 x) (log x))) (* (sqrt (fma x (* 1/4 x) (log x))) (sqrt (fma x (* 1/4 x) (log x)))))))
1540981085.804 * [enter]simplify:  Simplifying (fma (- (sqrt (fma x (* 1/4 x) (log x)))) (sqrt (fma x (* 1/4 x) (log x))) (* (sqrt (fma x (* 1/4 x) (log x))) (sqrt (fma x (* 1/4 x) (log x)))))
1540981085.805 * * [misc]simplify:  iters left: 6 (9 enodes)
1540981085.809 * * [misc]simplify:  iters left: 5 (14 enodes)
1540981085.814 * * [misc]simplify:  iters left: 4 (27 enodes)
1540981085.820 * * [misc]simplify:  iters left: 3 (50 enodes)
1540981085.832 * * [misc]simplify:  iters left: 2 (95 enodes)
1540981085.875 * * [misc]simplify:  iters left: 1 (183 enodes)
1540981085.975 * [exit]simplify:  Simplified to 0
1540981085.975 * [misc]simplify:  Simplified (2 2) to (λ (x) (+ (- (fma -3/32 (pow x 4) (log 2)) (fma x (* 1/4 x) (log x))) 0))
1540981085.976 * * * * [misc]progress:  [ 9 / 33 ] simplifiying candidate #<alt (λ (x) (+ (fma 1 (fma (pow x 4) -3/32 (log 2)) (- (* (fma x (* 1/4 x) (log x)) 1))) (fma (- (fma x (* 1/4 x) (log x))) 1 (* (fma x (* 1/4 x) (log x)) 1))))>
1540981085.976 * [enter]simplify:  Simplifying (fma 1 (fma (pow x 4) -3/32 (log 2)) (- (* (fma x (* 1/4 x) (log x)) 1)))
1540981085.977 * * [misc]simplify:  iters left: 6 (15 enodes)
1540981085.986 * * [misc]simplify:  iters left: 5 (29 enodes)
1540981086.002 * * [misc]simplify:  iters left: 4 (58 enodes)
1540981086.046 * * [misc]simplify:  iters left: 3 (133 enodes)
1540981086.126 * * [misc]simplify:  iters left: 2 (228 enodes)
1540981086.222 * * [misc]simplify:  iters left: 1 (375 enodes)
1540981086.432 * [exit]simplify:  Simplified to (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x)))
1540981086.432 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x))) (fma (- (fma x (* 1/4 x) (log x))) 1 (* (fma x (* 1/4 x) (log x)) 1))))
1540981086.433 * [enter]simplify:  Simplifying (fma (- (fma x (* 1/4 x) (log x))) 1 (* (fma x (* 1/4 x) (log x)) 1))
1540981086.434 * * [misc]simplify:  iters left: 6 (9 enodes)
1540981086.438 * * [misc]simplify:  iters left: 5 (17 enodes)
1540981086.453 * * [misc]simplify:  iters left: 4 (42 enodes)
1540981086.475 * * [misc]simplify:  iters left: 3 (107 enodes)
1540981086.531 * * [misc]simplify:  iters left: 2 (201 enodes)
1540981086.631 * * [misc]simplify:  iters left: 1 (352 enodes)
1540981086.828 * [exit]simplify:  Simplified to 0
1540981086.828 * [misc]simplify:  Simplified (2 2) to (λ (x) (+ (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x))) 0))
1540981086.828 * * * * [misc]progress:  [ 10 / 33 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x))))))>
1540981086.828 * * * * [misc]progress:  [ 11 / 33 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x))))))>
1540981086.828 * * * * [misc]progress:  [ 12 / 33 ] simplifiying candidate #<alt (λ (x) (fma (* (cbrt (fma (pow x 4) -3/32 (log 2))) (cbrt (fma (pow x 4) -3/32 (log 2)))) (cbrt (fma (pow x 4) -3/32 (log 2))) (- (fma x (* 1/4 x) (log x)))))>
1540981086.828 * [enter]simplify:  Simplifying (* (cbrt (fma (pow x 4) -3/32 (log 2))) (cbrt (fma (pow x 4) -3/32 (log 2))))
1540981086.829 * * [misc]simplify:  iters left: 5 (9 enodes)
1540981086.833 * * [misc]simplify:  iters left: 4 (11 enodes)
1540981086.838 * * [misc]simplify:  iters left: 3 (13 enodes)
1540981086.843 * * [misc]simplify:  iters left: 2 (14 enodes)
1540981086.848 * [exit]simplify:  Simplified to (* (cbrt (fma -3/32 (pow x 4) (log 2))) (cbrt (fma -3/32 (pow x 4) (log 2))))
1540981086.848 * [misc]simplify:  Simplified (2 1) to (λ (x) (fma (* (cbrt (fma -3/32 (pow x 4) (log 2))) (cbrt (fma -3/32 (pow x 4) (log 2)))) (cbrt (fma (pow x 4) -3/32 (log 2))) (- (fma x (* 1/4 x) (log x)))))
1540981086.848 * * * * [misc]progress:  [ 13 / 33 ] simplifiying candidate #<alt (λ (x) (fma (sqrt (fma (pow x 4) -3/32 (log 2))) (sqrt (fma (pow x 4) -3/32 (log 2))) (- (fma x (* 1/4 x) (log x)))))>
1540981086.849 * [enter]simplify:  Simplifying (sqrt (fma (pow x 4) -3/32 (log 2)))
1540981086.849 * * [misc]simplify:  iters left: 3 (8 enodes)
1540981086.853 * * [misc]simplify:  iters left: 2 (10 enodes)
1540981086.857 * * [misc]simplify:  iters left: 1 (12 enodes)
1540981086.862 * [exit]simplify:  Simplified to (sqrt (fma -3/32 (pow x 4) (log 2)))
1540981086.863 * [misc]simplify:  Simplified (2 1) to (λ (x) (fma (sqrt (fma -3/32 (pow x 4) (log 2))) (sqrt (fma (pow x 4) -3/32 (log 2))) (- (fma x (* 1/4 x) (log x)))))
1540981086.863 * * * * [misc]progress:  [ 14 / 33 ] simplifiying candidate #<alt (λ (x) (fma 1 (fma (pow x 4) -3/32 (log 2)) (- (fma x (* 1/4 x) (log x)))))>
1540981086.863 * * * * [misc]progress:  [ 15 / 33 ] simplifiying candidate #<alt (λ (x) (log (/ (exp (fma (pow x 4) -3/32 (log 2))) (exp (fma x (* 1/4 x) (log x))))))>
1540981086.863 * [enter]simplify:  Simplifying (/ (exp (fma (pow x 4) -3/32 (log 2))) (exp (fma x (* 1/4 x) (log x))))
1540981086.864 * * [misc]simplify:  iters left: 6 (14 enodes)
1540981086.871 * * [misc]simplify:  iters left: 5 (21 enodes)
1540981086.881 * * [misc]simplify:  iters left: 4 (39 enodes)
1540981086.904 * * [misc]simplify:  iters left: 3 (90 enodes)
1540981086.932 * * [misc]simplify:  iters left: 2 (188 enodes)
1540981087.001 * * [misc]simplify:  iters left: 1 (360 enodes)
1540981087.181 * [exit]simplify:  Simplified to (exp (- (fma -3/32 (pow x 4) (log 2)) (fma x (* x 1/4) (log x))))
1540981087.181 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (exp (- (fma -3/32 (pow x 4) (log 2)) (fma x (* x 1/4) (log x))))))
1540981087.181 * * * * [misc]progress:  [ 16 / 33 ] simplifiying candidate #<alt (λ (x) (pow (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x))) 1))>
1540981087.181 * * * * [misc]progress:  [ 17 / 33 ] simplifiying candidate #<alt (λ (x) (exp (log (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x))))))>
1540981087.182 * * * * [misc]progress:  [ 18 / 33 ] simplifiying candidate #<alt (λ (x) (log (exp (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x))))))>
1540981087.182 * * * * [misc]progress:  [ 19 / 33 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x)))) (cbrt (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x))))) (cbrt (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x))))))>
1540981087.182 * * * * [misc]progress:  [ 20 / 33 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x))) (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x)))) (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x))))))>
1540981087.182 * * * * [misc]progress:  [ 21 / 33 ] simplifiying candidate #<alt (λ (x) (* (sqrt (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x)))) (sqrt (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x))))))>
1540981087.182 * * * * [misc]progress:  [ 22 / 33 ] simplifiying candidate #<alt (λ (x) (/ (- (pow (fma (pow x 4) -3/32 (log 2)) 3) (pow (fma x (* 1/4 x) (log x)) 3)) (+ (* (fma (pow x 4) -3/32 (log 2)) (fma (pow x 4) -3/32 (log 2))) (+ (* (fma x (* 1/4 x) (log x)) (fma x (* 1/4 x) (log x))) (* (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x)))))))>
1540981087.182 * * * * [misc]progress:  [ 23 / 33 ] simplifiying candidate #<alt (λ (x) (+ (fma (pow x 4) -3/32 (log 2)) (- (fma x (* 1/4 x) (log x)))))>
1540981087.182 * * * * [misc]progress:  [ 24 / 33 ] simplifiying candidate #<alt (λ (x) (* 1 (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x)))))>
1540981087.182 * * * * [misc]progress:  [ 25 / 33 ] simplifiying candidate #<alt (λ (x) (/ (- (* (fma (pow x 4) -3/32 (log 2)) (fma (pow x 4) -3/32 (log 2))) (* (fma x (* 1/4 x) (log x)) (fma x (* 1/4 x) (log x)))) (+ (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x)))))>
1540981087.182 * * * * [misc]progress:  [ 26 / 33 ] simplifiying candidate #<alt (λ (x) (* (+ (sqrt (fma (pow x 4) -3/32 (log 2))) (sqrt (fma x (* 1/4 x) (log x)))) (- (sqrt (fma (pow x 4) -3/32 (log 2))) (sqrt (fma x (* 1/4 x) (log x))))))>
1540981087.182 * [enter]simplify:  Simplifying (+ (sqrt (fma (pow x 4) -3/32 (log 2))) (sqrt (fma x (* 1/4 x) (log x))))
1540981087.184 * * [misc]simplify:  iters left: 6 (14 enodes)
1540981087.190 * * [misc]simplify:  iters left: 5 (20 enodes)
1540981087.198 * * [misc]simplify:  iters left: 4 (26 enodes)
1540981087.206 * * [misc]simplify:  iters left: 3 (30 enodes)
1540981087.214 * [exit]simplify:  Simplified to (+ (sqrt (fma -3/32 (pow x 4) (log 2))) (sqrt (fma x (* x 1/4) (log x))))
1540981087.214 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (+ (sqrt (fma -3/32 (pow x 4) (log 2))) (sqrt (fma x (* x 1/4) (log x)))) (- (sqrt (fma (pow x 4) -3/32 (log 2))) (sqrt (fma x (* 1/4 x) (log x))))))
1540981087.215 * [enter]simplify:  Simplifying (- (sqrt (fma (pow x 4) -3/32 (log 2))) (sqrt (fma x (* 1/4 x) (log x))))
1540981087.215 * * [misc]simplify:  iters left: 6 (14 enodes)
1540981087.219 * * [misc]simplify:  iters left: 5 (21 enodes)
1540981087.223 * * [misc]simplify:  iters left: 4 (28 enodes)
1540981087.228 * * [misc]simplify:  iters left: 3 (32 enodes)
1540981087.233 * [exit]simplify:  Simplified to (- (sqrt (fma -3/32 (pow x 4) (log 2))) (sqrt (fma x (* x 1/4) (log x))))
1540981087.234 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (+ (sqrt (fma (pow x 4) -3/32 (log 2))) (sqrt (fma x (* 1/4 x) (log x)))) (- (sqrt (fma -3/32 (pow x 4) (log 2))) (sqrt (fma x (* x 1/4) (log x))))))
1540981087.234 * * * * [misc]progress:  [ 27 / 33 ] simplifiying candidate #<alt (λ (x) (* 1 (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x)))))>
1540981087.234 * [enter]simplify:  Simplifying (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x)))
1540981087.234 * * [misc]simplify:  iters left: 5 (12 enodes)
1540981087.237 * * [misc]simplify:  iters left: 4 (19 enodes)
1540981087.242 * * [misc]simplify:  iters left: 3 (35 enodes)
1540981087.253 * * [misc]simplify:  iters left: 2 (80 enodes)
1540981087.279 * * [misc]simplify:  iters left: 1 (164 enodes)
1540981087.364 * [exit]simplify:  Simplified to (- (fma -3/32 (pow x 4) (log 2)) (fma (* x x) 1/4 (log x)))
1540981087.364 * [misc]simplify:  Simplified (2 2) to (λ (x) (* 1 (- (fma -3/32 (pow x 4) (log 2)) (fma (* x x) 1/4 (log x)))))
1540981087.364 * * * * [misc]progress:  [ 28 / 33 ] simplifiying candidate #<alt (λ (x) (- (- (fma (pow x 4) -3/32 (log 2)) (* x (* 1/4 x))) (log x)))>
1540981087.364 * [enter]simplify:  Simplifying (log x)
1540981087.364 * * [misc]simplify:  iters left: 1 (2 enodes)
1540981087.365 * [exit]simplify:  Simplified to (log x)
1540981087.365 * [misc]simplify:  Simplified (2 2) to (λ (x) (- (- (fma (pow x 4) -3/32 (log 2)) (* x (* 1/4 x))) (log x)))
1540981087.365 * * * * [misc]progress:  [ 29 / 33 ] simplifiying candidate #<alt (λ (x) (+ (* (pow x 4) -3/32) (- (log 2) (fma x (* 1/4 x) (log x)))))>
1540981087.365 * [enter]simplify:  Simplifying (* (pow x 4) -3/32)
1540981087.366 * * [misc]simplify:  iters left: 3 (5 enodes)
1540981087.367 * * [misc]simplify:  iters left: 2 (6 enodes)
1540981087.369 * [exit]simplify:  Simplified to (* (pow x 4) -3/32)
1540981087.369 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (* (pow x 4) -3/32) (- (log 2) (fma x (* 1/4 x) (log x)))))
1540981087.369 * * * * [misc]progress:  [ 30 / 33 ] simplifiying candidate #<alt (λ (x) (+ (fma (pow x 4) -3/32 (log 2)) (- (fma x (* 1/4 x) (log x)))))>
1540981087.369 * * * * [misc]progress:  [ 31 / 33 ] simplifiying candidate #<alt (λ (x) (- (log 2) (+ (* 1/4 (pow x 2)) (+ (* 3/32 (pow x 4)) (log x)))))>
1540981087.370 * [enter]simplify:  Simplifying (- (log 2) (+ (* 1/4 (pow x 2)) (+ (* 3/32 (pow x 4)) (log x))))
1540981087.371 * * [misc]simplify:  iters left: 6 (14 enodes)
1540981087.379 * * [misc]simplify:  iters left: 5 (27 enodes)
1540981087.393 * * [misc]simplify:  iters left: 4 (58 enodes)
1540981087.412 * * [misc]simplify:  iters left: 3 (123 enodes)
1540981087.474 * * [misc]simplify:  iters left: 2 (266 enodes)
1540981087.608 * * [misc]simplify:  iters left: 1 (491 enodes)
1540981088.052 * [exit]simplify:  Simplified to (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x)))
1540981088.052 * [misc]simplify:  Simplified (2) to (λ (x) (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x))))
1540981088.052 * * * * [misc]progress:  [ 32 / 33 ] simplifiying candidate #<alt (λ (x) (- (+ (log 2) (log (/ 1 x))) (+ (* 1/4 (pow x 2)) (* 3/32 (pow x 4)))))>
1540981088.053 * [enter]simplify:  Simplifying (- (+ (log 2) (log (/ 1 x))) (+ (* 1/4 (pow x 2)) (* 3/32 (pow x 4))))
1540981088.054 * * [misc]simplify:  iters left: 6 (16 enodes)
1540981088.064 * * [misc]simplify:  iters left: 5 (34 enodes)
1540981088.080 * * [misc]simplify:  iters left: 4 (64 enodes)
1540981088.119 * * [misc]simplify:  iters left: 3 (151 enodes)
1540981088.235 * * [misc]simplify:  iters left: 2 (446 enodes)
1540981088.759 * [exit]simplify:  Simplified to (- (fma x (* x -1/4) (log 2)) (fma (pow x 4) 3/32 (log x)))
1540981088.759 * [misc]simplify:  Simplified (2) to (λ (x) (- (fma x (* x -1/4) (log 2)) (fma (pow x 4) 3/32 (log x))))
1540981088.759 * * * * [misc]progress:  [ 33 / 33 ] simplifiying candidate #<alt (λ (x) (- (+ (log 2) (log (/ -1 x))) (+ (* 1/4 (pow x 2)) (+ (* 3/32 (pow x 4)) (log -1)))))>
1540981088.759 * [enter]simplify:  Simplifying (- (+ (log 2) (log (/ -1 x))) (+ (* 1/4 (pow x 2)) (+ (* 3/32 (pow x 4)) (log -1))))
1540981088.761 * * [misc]simplify:  iters left: 6 (18 enodes)
1540981088.772 * * [misc]simplify:  iters left: 5 (36 enodes)
1540981088.794 * * [misc]simplify:  iters left: 4 (91 enodes)
1540981088.870 * * [misc]simplify:  iters left: 3 (289 enodes)
1540981089.260 * [exit]simplify:  Simplified to (- (+ (log 2) (log (/ -1 x))) (fma 3/32 (pow x 4) (fma x (* x 1/4) (log -1))))
1540981089.260 * [misc]simplify:  Simplified (2) to (λ (x) (- (+ (log 2) (log (/ -1 x))) (fma 3/32 (pow x 4) (fma x (* x 1/4) (log -1)))))
1540981089.260 * * * [misc]progress:  adding candidates to table
1540981090.016 * [misc]progress:  [Phase 3 of 3] Extracting.
1540981090.016 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x))))> #<alt (λ (x) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))>)
1540981090.017 * * * [misc]regime-changes:  Trying 3 branch expressions: (x (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))
1540981090.017 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x))))> #<alt (λ (x) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))>)
1540981090.050 * * * * [misc]regimes:  Trying to branch on (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) from (#<alt (λ (x) (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x))))> #<alt (λ (x) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))>)
1540981090.117 * * * * [misc]regimes:  Trying to branch on (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) from (#<alt (λ (x) (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x))))> #<alt (λ (x) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))>)
1540981090.190 * * * [misc]regime:  Found split indices: #<option (#s(si 1 256))>
1540981090.190 * [enter]simplify:  Simplifying (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))
1540981090.191 * * [misc]simplify:  iters left: 6 (9 enodes)
1540981090.191 * * [misc]simplify:  iters left: 5 (12 enodes)
1540981090.192 * [exit]simplify:  Simplified to (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))
1540981090.192 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1540981092.901 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981092.903 * * * * [misc]points:  Sampling 5912 additional inputs, on iter 1 have 2088 / 8000
1540981095.085 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981095.086 * * * * [misc]points:  Sampling 4452 additional inputs, on iter 2 have 3548 / 8000
1540981096.528 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981096.529 * * * * [misc]points:  Sampling 3386 additional inputs, on iter 3 have 4614 / 8000
1540981097.885 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981097.886 * * * * [misc]points:  Sampling 2571 additional inputs, on iter 4 have 5429 / 8000
1540981098.644 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981098.645 * * * * [misc]points:  Sampling 1935 additional inputs, on iter 5 have 6065 / 8000
1540981099.297 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981099.297 * * * * [misc]points:  Sampling 1425 additional inputs, on iter 6 have 6575 / 8000
1540981100.130 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981100.130 * * * * [misc]points:  Sampling 1075 additional inputs, on iter 7 have 6925 / 8000
1540981100.417 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981100.417 * * * * [misc]points:  Sampling 803 additional inputs, on iter 8 have 7197 / 8000
1540981100.647 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981100.647 * * * * [misc]points:  Sampling 603 additional inputs, on iter 9 have 7397 / 8000
1540981100.814 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981100.814 * * * * [misc]points:  Sampling 469 additional inputs, on iter 10 have 7531 / 8000
1540981101.001 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981101.001 * * * * [misc]points:  Sampling 353 additional inputs, on iter 11 have 7647 / 8000
1540981101.098 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981101.098 * * * * [misc]points:  Sampling 268 additional inputs, on iter 12 have 7732 / 8000
1540981101.145 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981101.145 * * * * [misc]points:  Sampling 200 additional inputs, on iter 13 have 7800 / 8000
1540981101.206 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981101.206 * * * * [misc]points:  Sampling 150 additional inputs, on iter 14 have 7850 / 8000
1540981101.305 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981101.305 * * * * [misc]points:  Sampling 118 additional inputs, on iter 15 have 7882 / 8000
1540981101.342 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981101.342 * * * * [misc]points:  Sampling 86 additional inputs, on iter 16 have 7914 / 8000
1540981101.357 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981101.357 * * * * [misc]points:  Sampling 63 additional inputs, on iter 17 have 7937 / 8000
1540981101.372 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981101.373 * * * * [misc]points:  Sampling 48 additional inputs, on iter 18 have 7952 / 8000
1540981101.391 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981101.391 * * * * [misc]points:  Sampling 32 additional inputs, on iter 19 have 7968 / 8000
1540981101.404 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981101.404 * * * * [misc]points:  Sampling 25 additional inputs, on iter 20 have 7975 / 8000
1540981101.415 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981101.415 * * * * [misc]points:  Sampling 21 additional inputs, on iter 21 have 7979 / 8000
1540981101.424 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981101.424 * * * * [misc]points:  Sampling 18 additional inputs, on iter 22 have 7982 / 8000
1540981101.477 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981101.477 * * * * [misc]points:  Sampling 13 additional inputs, on iter 23 have 7987 / 8000
1540981101.488 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981101.488 * * * * [misc]points:  Sampling 9 additional inputs, on iter 24 have 7991 / 8000
1540981101.494 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981101.494 * * * * [misc]points:  Sampling 6 additional inputs, on iter 25 have 7994 / 8000
1540981101.499 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981101.499 * * * * [misc]points:  Sampling 4 additional inputs, on iter 26 have 7996 / 8000
1540981101.503 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981101.503 * * * * [misc]points:  Sampling 4 additional inputs, on iter 27 have 7997 / 8000
1540981101.506 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981101.506 * * * * [misc]points:  Sampling 4 additional inputs, on iter 28 have 7997 / 8000
1540981101.508 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540981101.508 * * * * [exit]points:  Sampled 8001 points with exact outputs