1540195430.700 * [misc]progress:  [Phase 1 of 3] Setting up.
1540195430.700 * * * [misc]progress:  [1/2] Preparing points
1540195430.700 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1540195430.701 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1540195430.703 * * * * [misc]points:  Setting MPFR precision to 64
1540195430.704 * * * * [misc]points:  Setting MPFR precision to 320
1540195430.704 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1540195430.706 * * * * [misc]points:  Setting MPFR precision to 64
1540195430.707 * * * * [misc]points:  Setting MPFR precision to 320
1540195430.708 * * * * [misc]points:  Setting MPFR precision to 576
1540195430.709 * * * * [misc]points:  Setting MPFR precision to 832
1540195430.710 * * * * [misc]points:  Setting MPFR precision to 1088
1540195430.711 * * * * [misc]points:  Setting MPFR precision to 1344
1540195430.712 * * * * [misc]points:  Setting MPFR precision to 1600
1540195430.713 * * * * [misc]points:  Setting MPFR precision to 1856
1540195430.715 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1540195430.721 * * * * [misc]points:  Setting MPFR precision to 1600
1540195430.723 * * * * [misc]points:  Setting MPFR precision to 1856
1540195430.725 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1540195430.736 * * * * [misc]points:  Setting MPFR precision to 1600
1540195430.740 * * * * [misc]points:  Setting MPFR precision to 1856
1540195430.744 * * * * [misc]points:  Computing exacts for 256 points
1540195430.750 * * * * [misc]points:  Setting MPFR precision to 1600
1540195430.760 * * * * [misc]points:  Setting MPFR precision to 1856
1540195430.771 * * * * [misc]points:  Setting MPFR precision to 2112
1540195430.783 * * * * [misc]points:  Setting MPFR precision to 2368
1540195430.796 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195430.796 * * * * [misc]points:  Sampling 186 additional inputs, on iter 1 have 70 / 256
1540195430.797 * * * * [misc]points:  Computing exacts on every 11 of 186 points to ramp up precision
1540195430.804 * * * * [misc]points:  Setting MPFR precision to 2112
1540195430.805 * * * * [misc]points:  Setting MPFR precision to 2368
1540195430.806 * * * * [misc]points:  Computing exacts on every 5 of 186 points to ramp up precision
1540195430.826 * * * * [misc]points:  Setting MPFR precision to 2112
1540195430.828 * * * * [misc]points:  Setting MPFR precision to 2368
1540195430.829 * * * * [misc]points:  Computing exacts on every 2 of 186 points to ramp up precision
1540195430.838 * * * * [misc]points:  Setting MPFR precision to 2112
1540195430.841 * * * * [misc]points:  Setting MPFR precision to 2368
1540195430.845 * * * * [misc]points:  Computing exacts for 186 points
1540195430.855 * * * * [misc]points:  Setting MPFR precision to 2112
1540195430.864 * * * * [misc]points:  Setting MPFR precision to 2368
1540195430.872 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195430.872 * * * * [misc]points:  Sampling 143 additional inputs, on iter 2 have 113 / 256
1540195430.873 * * * * [misc]points:  Computing exacts on every 8 of 143 points to ramp up precision
1540195430.882 * * * * [misc]points:  Setting MPFR precision to 2112
1540195430.883 * * * * [misc]points:  Setting MPFR precision to 2368
1540195430.884 * * * * [misc]points:  Computing exacts on every 4 of 143 points to ramp up precision
1540195430.897 * * * * [misc]points:  Setting MPFR precision to 2112
1540195430.898 * * * * [misc]points:  Setting MPFR precision to 2368
1540195430.898 * * * * [misc]points:  Computing exacts on every 2 of 143 points to ramp up precision
1540195430.903 * * * * [misc]points:  Setting MPFR precision to 2112
1540195430.905 * * * * [misc]points:  Setting MPFR precision to 2368
1540195430.906 * * * * [misc]points:  Computing exacts for 143 points
1540195430.911 * * * * [misc]points:  Setting MPFR precision to 2112
1540195430.915 * * * * [misc]points:  Setting MPFR precision to 2368
1540195430.919 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195430.919 * * * * [misc]points:  Sampling 113 additional inputs, on iter 3 have 143 / 256
1540195430.919 * * * * [misc]points:  Computing exacts on every 7 of 113 points to ramp up precision
1540195430.930 * * * * [misc]points:  Setting MPFR precision to 2112
1540195430.931 * * * * [misc]points:  Setting MPFR precision to 2368
1540195430.931 * * * * [misc]points:  Computing exacts on every 3 of 113 points to ramp up precision
1540195430.940 * * * * [misc]points:  Setting MPFR precision to 2112
1540195430.941 * * * * [misc]points:  Setting MPFR precision to 2368
1540195430.943 * * * * [misc]points:  Computing exacts for 113 points
1540195430.951 * * * * [misc]points:  Setting MPFR precision to 2112
1540195430.957 * * * * [misc]points:  Setting MPFR precision to 2368
1540195430.962 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195430.963 * * * * [misc]points:  Sampling 86 additional inputs, on iter 4 have 170 / 256
1540195430.963 * * * * [misc]points:  Computing exacts on every 5 of 86 points to ramp up precision
1540195430.971 * * * * [misc]points:  Setting MPFR precision to 2112
1540195430.972 * * * * [misc]points:  Setting MPFR precision to 2368
1540195430.973 * * * * [misc]points:  Computing exacts on every 2 of 86 points to ramp up precision
1540195430.985 * * * * [misc]points:  Setting MPFR precision to 2112
1540195430.987 * * * * [misc]points:  Setting MPFR precision to 2368
1540195430.988 * * * * [misc]points:  Computing exacts for 86 points
1540195430.997 * * * * [misc]points:  Setting MPFR precision to 2112
1540195431.000 * * * * [misc]points:  Setting MPFR precision to 2368
1540195431.004 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195431.004 * * * * [misc]points:  Sampling 70 additional inputs, on iter 5 have 186 / 256
1540195431.005 * * * * [misc]points:  Computing exacts on every 4 of 70 points to ramp up precision
1540195431.013 * * * * [misc]points:  Setting MPFR precision to 2112
1540195431.014 * * * * [misc]points:  Setting MPFR precision to 2368
1540195431.015 * * * * [misc]points:  Computing exacts on every 2 of 70 points to ramp up precision
1540195431.021 * * * * [misc]points:  Setting MPFR precision to 2112
1540195431.022 * * * * [misc]points:  Setting MPFR precision to 2368
1540195431.023 * * * * [misc]points:  Computing exacts for 70 points
1540195431.031 * * * * [misc]points:  Setting MPFR precision to 2112
1540195431.033 * * * * [misc]points:  Setting MPFR precision to 2368
1540195431.035 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195431.035 * * * * [misc]points:  Sampling 52 additional inputs, on iter 6 have 204 / 256
1540195431.035 * * * * [misc]points:  Computing exacts on every 3 of 52 points to ramp up precision
1540195431.040 * * * * [misc]points:  Setting MPFR precision to 2112
1540195431.041 * * * * [misc]points:  Setting MPFR precision to 2368
1540195431.041 * * * * [misc]points:  Computing exacts for 52 points
1540195431.046 * * * * [misc]points:  Setting MPFR precision to 2112
1540195431.047 * * * * [misc]points:  Setting MPFR precision to 2368
1540195431.049 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195431.049 * * * * [misc]points:  Sampling 36 additional inputs, on iter 7 have 220 / 256
1540195431.049 * * * * [misc]points:  Computing exacts on every 2 of 36 points to ramp up precision
1540195431.054 * * * * [misc]points:  Setting MPFR precision to 2112
1540195431.054 * * * * [misc]points:  Setting MPFR precision to 2368
1540195431.054 * * * * [misc]points:  Computing exacts for 36 points
1540195431.062 * * * * [misc]points:  Setting MPFR precision to 2112
1540195431.063 * * * * [misc]points:  Setting MPFR precision to 2368
1540195431.064 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195431.064 * * * * [misc]points:  Sampling 29 additional inputs, on iter 8 have 227 / 256
1540195431.064 * * * * [misc]points:  Computing exacts for 29 points
1540195431.069 * * * * [misc]points:  Setting MPFR precision to 2112
1540195431.069 * * * * [misc]points:  Setting MPFR precision to 2368
1540195431.070 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195431.070 * * * * [misc]points:  Sampling 22 additional inputs, on iter 9 have 234 / 256
1540195431.070 * * * * [misc]points:  Computing exacts for 22 points
1540195431.075 * * * * [misc]points:  Setting MPFR precision to 2112
1540195431.076 * * * * [misc]points:  Setting MPFR precision to 2368
1540195431.076 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195431.077 * * * * [misc]points:  Sampling 16 additional inputs, on iter 10 have 240 / 256
1540195431.077 * * * * [misc]points:  Computing exacts for 16 points
1540195431.081 * * * * [misc]points:  Setting MPFR precision to 2112
1540195431.082 * * * * [misc]points:  Setting MPFR precision to 2368
1540195431.082 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195431.082 * * * * [misc]points:  Sampling 12 additional inputs, on iter 11 have 244 / 256
1540195431.082 * * * * [misc]points:  Computing exacts for 12 points
1540195431.089 * * * * [misc]points:  Setting MPFR precision to 2112
1540195431.090 * * * * [misc]points:  Setting MPFR precision to 2368
1540195431.090 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195431.090 * * * * [misc]points:  Sampling 10 additional inputs, on iter 12 have 246 / 256
1540195431.090 * * * * [misc]points:  Computing exacts for 10 points
1540195431.095 * * * * [misc]points:  Setting MPFR precision to 2112
1540195431.095 * * * * [misc]points:  Setting MPFR precision to 2368
1540195431.096 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195431.096 * * * * [misc]points:  Sampling 9 additional inputs, on iter 13 have 247 / 256
1540195431.096 * * * * [misc]points:  Computing exacts for 9 points
1540195431.100 * * * * [misc]points:  Setting MPFR precision to 2112
1540195431.100 * * * * [misc]points:  Setting MPFR precision to 2368
1540195431.101 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195431.101 * * * * [misc]points:  Sampling 9 additional inputs, on iter 14 have 247 / 256
1540195431.101 * * * * [misc]points:  Computing exacts for 9 points
1540195431.105 * * * * [misc]points:  Setting MPFR precision to 2112
1540195431.106 * * * * [misc]points:  Setting MPFR precision to 2368
1540195431.106 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195431.106 * * * * [misc]points:  Sampling 6 additional inputs, on iter 15 have 250 / 256
1540195431.106 * * * * [misc]points:  Computing exacts for 6 points
1540195431.113 * * * * [misc]points:  Setting MPFR precision to 2112
1540195431.113 * * * * [misc]points:  Setting MPFR precision to 2368
1540195431.113 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195431.113 * * * * [misc]points:  Sampling 5 additional inputs, on iter 16 have 251 / 256
1540195431.113 * * * * [misc]points:  Computing exacts for 5 points
1540195431.118 * * * * [misc]points:  Setting MPFR precision to 2112
1540195431.118 * * * * [misc]points:  Setting MPFR precision to 2368
1540195431.118 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195431.118 * * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 253 / 256
1540195431.119 * * * * [misc]points:  Computing exacts for 4 points
1540195431.123 * * * * [misc]points:  Setting MPFR precision to 2112
1540195431.123 * * * * [misc]points:  Setting MPFR precision to 2368
1540195431.124 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195431.124 * * * * [misc]points:  Sampling 4 additional inputs, on iter 18 have 255 / 256
1540195431.124 * * * * [misc]points:  Computing exacts for 4 points
1540195431.128 * * * * [misc]points:  Setting MPFR precision to 2112
1540195431.129 * * * * [misc]points:  Setting MPFR precision to 2368
1540195431.129 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195431.129 * * * * [exit]points:  Sampled 257 points with exact outputs
1540195431.129 * * * [misc]progress:  [2/2] Setting up program.
1540195431.131 * [misc]progress:  [Phase 2 of 3] Improving.
1540195431.131 * [enter]simplify:  Simplifying (log (+ x (sqrt (- (* x x) 1))))
1540195431.131 * * [misc]simplify:  iters left: 6 (7 enodes)
1540195431.133 * * [misc]simplify:  iters left: 5 (16 enodes)
1540195431.134 * * [misc]simplify:  iters left: 4 (19 enodes)
1540195431.137 * * [misc]simplify:  iters left: 3 (35 enodes)
1540195431.146 * * [misc]simplify:  iters left: 2 (60 enodes)
1540195431.157 * * [misc]simplify:  iters left: 1 (97 enodes)
1540195431.181 * [exit]simplify:  Simplified to (log (+ x (sqrt (+ -1 (* x x)))))
1540195431.186 * * [misc]progress:  iteration 1 / 4
1540195431.186 * * * [misc]progress:  picking best candidate
1540195431.188 * * * * [misc]pick:  Picked  #<alt (λ (x) (log (+ x (sqrt (+ -1 (* x x))))))>
1540195431.188 * * * [misc]progress:  localizing error
1540195431.214 * * * [misc]progress:  generating rewritten candidates
1540195431.214 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 2)
1540195431.216 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1)
1540195431.222 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 1 2 1)
1540195431.223 * * * [misc]progress:  generating series expansions
1540195431.223 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 2)
1540195431.224 * [misc]backup-simplify:  Simplify (sqrt (+ -1 (* x x))) into (sqrt (- (pow x 2) 1))
1540195431.224 * [misc]approximate:  Taking taylor expansion of (sqrt (- (pow x 2) 1)) in (x) around 0
1540195431.224 * [misc]taylor:  Taking taylor expansion of (sqrt (- (pow x 2) 1)) in x
1540195431.224 * [misc]taylor:  Taking taylor expansion of (- (pow x 2) 1) in x
1540195431.224 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1540195431.224 * [misc]taylor:  Taking taylor expansion of x in x
1540195431.224 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.224 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.224 * [misc]taylor:  Taking taylor expansion of 1 in x
1540195431.224 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.224 * [misc]backup-simplify:  Simplify (- 1) into -1
1540195431.224 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1540195431.224 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1540195431.224 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.224 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.225 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1540195431.225 * [misc]taylor:  Taking taylor expansion of (sqrt (- (pow x 2) 1)) in x
1540195431.225 * [misc]taylor:  Taking taylor expansion of (- (pow x 2) 1) in x
1540195431.225 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1540195431.225 * [misc]taylor:  Taking taylor expansion of x in x
1540195431.225 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.225 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.225 * [misc]taylor:  Taking taylor expansion of 1 in x
1540195431.225 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.225 * [misc]backup-simplify:  Simplify (- 1) into -1
1540195431.225 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1540195431.225 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1540195431.225 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.225 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.225 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1540195431.226 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1540195431.226 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.226 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195431.226 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.226 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540195431.227 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1540195431.227 * [misc]backup-simplify:  Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1))
1540195431.227 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540195431.228 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.228 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.228 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
1540195431.228 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.228 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1540195431.228 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.228 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.229 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
1540195431.230 * [misc]backup-simplify:  Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3))
1540195431.231 * [misc]backup-simplify:  Simplify (+ (* (/ -1/8 (pow (sqrt -1) 3)) (pow x 4)) (+ (* (/ 1/2 (sqrt -1)) (pow x 2)) (sqrt -1))) into (- (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1)) (* 1/8 (/ (pow x 4) (pow (sqrt -1) 3))))
1540195431.231 * [misc]backup-simplify:  Simplify (sqrt (+ -1 (* (/ 1 x) (/ 1 x)))) into (sqrt (- (/ 1 (pow x 2)) 1))
1540195431.231 * [misc]approximate:  Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in (x) around 0
1540195431.231 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x
1540195431.231 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1540195431.231 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1540195431.231 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1540195431.231 * [misc]taylor:  Taking taylor expansion of x in x
1540195431.231 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.231 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.231 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195431.231 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540195431.231 * [misc]taylor:  Taking taylor expansion of 1 in x
1540195431.231 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.231 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540195431.231 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1540195431.232 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540195431.232 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540195431.232 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.232 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1540195431.232 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x
1540195431.232 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1540195431.232 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1540195431.232 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1540195431.232 * [misc]taylor:  Taking taylor expansion of x in x
1540195431.232 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.232 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.232 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195431.232 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540195431.232 * [misc]taylor:  Taking taylor expansion of 1 in x
1540195431.232 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.232 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540195431.233 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1540195431.233 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540195431.233 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540195431.233 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.233 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1540195431.233 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.233 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.233 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1540195431.234 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195431.234 * [misc]backup-simplify:  Simplify (- 1) into -1
1540195431.234 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1540195431.234 * [misc]backup-simplify:  Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2
1540195431.234 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1540195431.235 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1540195431.235 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195431.235 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.235 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.235 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0
1540195431.235 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.236 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1540195431.236 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195431.236 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.236 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.237 * [misc]backup-simplify:  Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8
1540195431.237 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1540195431.237 * [misc]backup-simplify:  Simplify (+ (* -1/8 (pow (/ 1 x) 3)) (+ (* -1/2 (/ 1 x)) (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1540195431.237 * [misc]backup-simplify:  Simplify (sqrt (+ -1 (* (/ 1 (- x)) (/ 1 (- x))))) into (sqrt (- (/ 1 (pow x 2)) 1))
1540195431.237 * [misc]approximate:  Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in (x) around 0
1540195431.237 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x
1540195431.237 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1540195431.237 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1540195431.237 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1540195431.237 * [misc]taylor:  Taking taylor expansion of x in x
1540195431.237 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.237 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.237 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195431.238 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540195431.238 * [misc]taylor:  Taking taylor expansion of 1 in x
1540195431.238 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.238 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540195431.238 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1540195431.238 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540195431.238 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540195431.238 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.238 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1540195431.238 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x
1540195431.238 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1540195431.238 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1540195431.238 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1540195431.238 * [misc]taylor:  Taking taylor expansion of x in x
1540195431.238 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.238 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.239 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195431.239 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540195431.239 * [misc]taylor:  Taking taylor expansion of 1 in x
1540195431.239 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.239 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540195431.239 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1540195431.239 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540195431.239 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540195431.239 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.239 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1540195431.239 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.240 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.240 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1540195431.240 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195431.240 * [misc]backup-simplify:  Simplify (- 1) into -1
1540195431.240 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1540195431.241 * [misc]backup-simplify:  Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2
1540195431.241 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1540195431.241 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1540195431.241 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195431.241 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.241 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.242 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0
1540195431.242 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.242 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1540195431.242 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195431.242 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.242 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.243 * [misc]backup-simplify:  Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8
1540195431.243 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1540195431.243 * [misc]backup-simplify:  Simplify (+ (* -1/8 (pow (/ 1 (- x)) 3)) (+ (* -1/2 (/ 1 (- x))) (* 1 (/ 1 (/ 1 (- x)))))) into (- (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))) x)
1540195431.243 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1)
1540195431.243 * [misc]backup-simplify:  Simplify (+ x (sqrt (+ -1 (* x x)))) into (+ x (sqrt (- (pow x 2) 1)))
1540195431.243 * [misc]approximate:  Taking taylor expansion of (+ x (sqrt (- (pow x 2) 1))) in (x) around 0
1540195431.243 * [misc]taylor:  Taking taylor expansion of (+ x (sqrt (- (pow x 2) 1))) in x
1540195431.243 * [misc]taylor:  Taking taylor expansion of x in x
1540195431.244 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.244 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.244 * [misc]taylor:  Taking taylor expansion of (sqrt (- (pow x 2) 1)) in x
1540195431.244 * [misc]taylor:  Taking taylor expansion of (- (pow x 2) 1) in x
1540195431.244 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1540195431.244 * [misc]taylor:  Taking taylor expansion of x in x
1540195431.244 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.244 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.244 * [misc]taylor:  Taking taylor expansion of 1 in x
1540195431.244 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.244 * [misc]backup-simplify:  Simplify (- 1) into -1
1540195431.244 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1540195431.244 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1540195431.244 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.244 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.244 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1540195431.244 * [misc]taylor:  Taking taylor expansion of (+ x (sqrt (- (pow x 2) 1))) in x
1540195431.244 * [misc]taylor:  Taking taylor expansion of x in x
1540195431.244 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.244 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.244 * [misc]taylor:  Taking taylor expansion of (sqrt (- (pow x 2) 1)) in x
1540195431.244 * [misc]taylor:  Taking taylor expansion of (- (pow x 2) 1) in x
1540195431.244 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1540195431.244 * [misc]taylor:  Taking taylor expansion of x in x
1540195431.244 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.244 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.244 * [misc]taylor:  Taking taylor expansion of 1 in x
1540195431.244 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.245 * [misc]backup-simplify:  Simplify (- 1) into -1
1540195431.245 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1540195431.245 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1540195431.245 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.245 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.245 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1540195431.245 * [misc]backup-simplify:  Simplify (+ 0 (sqrt -1)) into (sqrt -1)
1540195431.245 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1540195431.246 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540195431.246 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.246 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195431.246 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.246 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540195431.247 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1540195431.247 * [misc]backup-simplify:  Simplify (+ 0 (/ 1/2 (sqrt -1))) into (* 1/2 (/ 1 (sqrt -1)))
1540195431.248 * [misc]backup-simplify:  Simplify (* 1/2 (/ 1 (sqrt -1))) into (/ 1/2 (sqrt -1))
1540195431.248 * [misc]backup-simplify:  Simplify (+ (* (/ 1/2 (sqrt -1)) (pow x 2)) (+ (* 1 x) (sqrt -1))) into (+ x (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1)))
1540195431.248 * [misc]backup-simplify:  Simplify (+ (/ 1 x) (sqrt (+ -1 (* (/ 1 x) (/ 1 x))))) into (+ (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x))
1540195431.248 * [misc]approximate:  Taking taylor expansion of (+ (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x)) in (x) around 0
1540195431.248 * [misc]taylor:  Taking taylor expansion of (+ (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x)) in x
1540195431.248 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x
1540195431.248 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1540195431.248 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1540195431.248 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1540195431.248 * [misc]taylor:  Taking taylor expansion of x in x
1540195431.248 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.248 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.248 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195431.248 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540195431.248 * [misc]taylor:  Taking taylor expansion of 1 in x
1540195431.248 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.249 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540195431.249 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1540195431.249 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540195431.249 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540195431.249 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.249 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1540195431.249 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540195431.249 * [misc]taylor:  Taking taylor expansion of x in x
1540195431.249 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.249 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.249 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540195431.249 * [misc]taylor:  Taking taylor expansion of (+ (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x)) in x
1540195431.249 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x
1540195431.249 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1540195431.249 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1540195431.249 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1540195431.249 * [misc]taylor:  Taking taylor expansion of x in x
1540195431.249 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.249 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.250 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195431.250 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540195431.250 * [misc]taylor:  Taking taylor expansion of 1 in x
1540195431.250 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.250 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540195431.250 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1540195431.250 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540195431.250 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540195431.250 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.250 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1540195431.250 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540195431.250 * [misc]taylor:  Taking taylor expansion of x in x
1540195431.250 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.250 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.251 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540195431.251 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1540195431.251 * [misc]backup-simplify:  Simplify 2 into 2
1540195431.251 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540195431.251 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.251 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.251 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1540195431.251 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195431.251 * [misc]backup-simplify:  Simplify (- 1) into -1
1540195431.252 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1540195431.252 * [misc]backup-simplify:  Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2
1540195431.253 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195431.253 * [misc]backup-simplify:  Simplify (+ -1/2 0) into -1/2
1540195431.253 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1540195431.253 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1540195431.253 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195431.253 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.253 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.253 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0
1540195431.254 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195431.254 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.254 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.254 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1540195431.254 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195431.254 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.254 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.255 * [misc]backup-simplify:  Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8
1540195431.255 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195431.256 * [misc]backup-simplify:  Simplify (+ -1/8 0) into -1/8
1540195431.256 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1540195431.256 * [misc]backup-simplify:  Simplify (+ (* -1/8 (pow (/ 1 x) 3)) (+ (* -1/2 (/ 1 x)) (* 2 (/ 1 (/ 1 x))))) into (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1540195431.256 * [misc]backup-simplify:  Simplify (+ (/ 1 (- x)) (sqrt (+ -1 (* (/ 1 (- x)) (/ 1 (- x)))))) into (- (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x))
1540195431.256 * [misc]approximate:  Taking taylor expansion of (- (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x)) in (x) around 0
1540195431.256 * [misc]taylor:  Taking taylor expansion of (- (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x)) in x
1540195431.256 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x
1540195431.256 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1540195431.256 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1540195431.256 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1540195431.256 * [misc]taylor:  Taking taylor expansion of x in x
1540195431.256 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.256 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.256 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195431.256 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540195431.256 * [misc]taylor:  Taking taylor expansion of 1 in x
1540195431.256 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.256 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540195431.256 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1540195431.257 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540195431.257 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540195431.257 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.257 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1540195431.257 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540195431.257 * [misc]taylor:  Taking taylor expansion of x in x
1540195431.257 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.257 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.257 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540195431.257 * [misc]taylor:  Taking taylor expansion of (- (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x)) in x
1540195431.257 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x
1540195431.257 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1540195431.257 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1540195431.257 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1540195431.257 * [misc]taylor:  Taking taylor expansion of x in x
1540195431.257 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.257 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.257 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195431.258 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540195431.258 * [misc]taylor:  Taking taylor expansion of 1 in x
1540195431.258 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.258 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540195431.258 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1540195431.258 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540195431.258 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540195431.258 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.258 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1540195431.258 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540195431.258 * [misc]taylor:  Taking taylor expansion of x in x
1540195431.258 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.258 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.258 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540195431.259 * [misc]backup-simplify:  Simplify (- 1) into -1
1540195431.259 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1540195431.259 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.259 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540195431.259 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.259 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.259 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.259 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1540195431.259 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195431.260 * [misc]backup-simplify:  Simplify (- 1) into -1
1540195431.260 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1540195431.260 * [misc]backup-simplify:  Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2
1540195431.261 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195431.261 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.261 * [misc]backup-simplify:  Simplify (+ -1/2 0) into -1/2
1540195431.261 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1540195431.261 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1540195431.261 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195431.261 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.261 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.262 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0
1540195431.262 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195431.262 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.262 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.262 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.262 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1540195431.262 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195431.263 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.263 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.263 * [misc]backup-simplify:  Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8
1540195431.264 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195431.264 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.264 * [misc]backup-simplify:  Simplify (+ -1/8 0) into -1/8
1540195431.264 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1540195431.264 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1540195431.264 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195431.264 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.265 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.265 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 -1/8)) (* 2 (* -1/2 0)))) (* 2 1)) into 0
1540195431.265 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195431.265 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.265 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.265 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.266 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1540195431.266 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195431.266 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.266 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.267 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* -1/2 -1/8)))) (* 2 1)) into -1/16
1540195431.267 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195431.267 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.268 * [misc]backup-simplify:  Simplify (+ -1/16 0) into -1/16
1540195431.268 * [misc]backup-simplify:  Simplify -1/16 into -1/16
1540195431.268 * [misc]backup-simplify:  Simplify (+ (* -1/16 (pow (/ 1 (- x)) 5)) (+ (* -1/8 (pow (/ 1 (- x)) 3)) (* -1/2 (/ 1 (- x))))) into (+ (* 1/16 (/ 1 (pow x 5))) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1540195431.268 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 1 2 1)
1540195431.268 * [misc]backup-simplify:  Simplify (+ -1 (* x x)) into (- (pow x 2) 1)
1540195431.268 * [misc]approximate:  Taking taylor expansion of (- (pow x 2) 1) in (x) around 0
1540195431.268 * [misc]taylor:  Taking taylor expansion of (- (pow x 2) 1) in x
1540195431.268 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1540195431.268 * [misc]taylor:  Taking taylor expansion of x in x
1540195431.268 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.268 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.268 * [misc]taylor:  Taking taylor expansion of 1 in x
1540195431.268 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.268 * [misc]taylor:  Taking taylor expansion of (- (pow x 2) 1) in x
1540195431.268 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1540195431.268 * [misc]taylor:  Taking taylor expansion of x in x
1540195431.268 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.268 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.268 * [misc]taylor:  Taking taylor expansion of 1 in x
1540195431.268 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.268 * [misc]backup-simplify:  Simplify (- 1) into -1
1540195431.268 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1540195431.269 * [misc]backup-simplify:  Simplify -1 into -1
1540195431.269 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.269 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.269 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.269 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195431.269 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.269 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540195431.269 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.269 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540195431.269 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.269 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.269 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.270 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1540195431.270 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.270 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.270 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.270 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1540195431.270 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.270 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.270 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.270 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1540195431.271 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.271 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.271 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.271 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1540195431.271 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.271 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.271 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.271 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1540195431.272 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.272 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.272 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.272 * [misc]backup-simplify:  Simplify (+ (* 1 (pow x 2)) -1) into (- (pow x 2) 1)
1540195431.272 * [misc]backup-simplify:  Simplify (+ -1 (* (/ 1 x) (/ 1 x))) into (- (/ 1 (pow x 2)) 1)
1540195431.272 * [misc]approximate:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in (x) around 0
1540195431.272 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1540195431.272 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1540195431.272 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1540195431.272 * [misc]taylor:  Taking taylor expansion of x in x
1540195431.272 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.272 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.272 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195431.272 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540195431.272 * [misc]taylor:  Taking taylor expansion of 1 in x
1540195431.272 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.272 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1540195431.272 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1540195431.272 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1540195431.272 * [misc]taylor:  Taking taylor expansion of x in x
1540195431.272 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.272 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.272 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195431.272 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540195431.272 * [misc]taylor:  Taking taylor expansion of 1 in x
1540195431.273 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.273 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540195431.273 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.273 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540195431.273 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540195431.273 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.273 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.273 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1540195431.273 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195431.274 * [misc]backup-simplify:  Simplify (- 1) into -1
1540195431.274 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1540195431.274 * [misc]backup-simplify:  Simplify -1 into -1
1540195431.274 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1540195431.274 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195431.274 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.274 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.274 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.274 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1540195431.275 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195431.275 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.275 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.275 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.275 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1540195431.275 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195431.276 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.276 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.276 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.276 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1540195431.276 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195431.276 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.276 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.276 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.277 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1540195431.277 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195431.277 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.277 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.278 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.279 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
1540195431.279 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195431.279 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.279 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.279 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.280 * [misc]backup-simplify:  Simplify (+ -1 (* 1 (pow (/ 1 (/ 1 x)) 2))) into (- (pow x 2) 1)
1540195431.280 * [misc]backup-simplify:  Simplify (+ -1 (* (/ 1 (- x)) (/ 1 (- x)))) into (- (/ 1 (pow x 2)) 1)
1540195431.280 * [misc]approximate:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in (x) around 0
1540195431.280 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1540195431.280 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1540195431.280 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1540195431.280 * [misc]taylor:  Taking taylor expansion of x in x
1540195431.280 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.280 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.280 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195431.280 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540195431.280 * [misc]taylor:  Taking taylor expansion of 1 in x
1540195431.280 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.280 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1540195431.280 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1540195431.280 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1540195431.280 * [misc]taylor:  Taking taylor expansion of x in x
1540195431.280 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.280 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.280 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195431.280 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540195431.280 * [misc]taylor:  Taking taylor expansion of 1 in x
1540195431.280 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.280 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540195431.281 * [misc]backup-simplify:  Simplify 1 into 1
1540195431.281 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540195431.281 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540195431.281 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.281 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.281 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1540195431.281 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195431.281 * [misc]backup-simplify:  Simplify (- 1) into -1
1540195431.281 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1540195431.282 * [misc]backup-simplify:  Simplify -1 into -1
1540195431.282 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1540195431.282 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195431.282 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.282 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.282 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.282 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1540195431.283 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195431.283 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.283 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.283 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.283 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1540195431.283 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195431.283 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.284 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.284 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.284 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1540195431.284 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195431.284 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.284 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.284 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.285 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1540195431.285 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195431.285 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.285 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.285 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.286 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
1540195431.286 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195431.286 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195431.286 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195431.286 * [misc]backup-simplify:  Simplify 0 into 0
1540195431.286 * [misc]backup-simplify:  Simplify (+ -1 (* 1 (pow (/ 1 (/ 1 (- x))) 2))) into (- (pow x 2) 1)
1540195431.286 * * * [misc]progress:  simplifying candidates
1540195431.286 * * * * [misc]progress:  [ 1 / 43 ] simplifiying candidate #<alt (λ (x) (log (+ x (pow (+ -1 (* x x)) 1/2))))>
1540195431.286 * * * * [misc]progress:  [ 2 / 43 ] simplifiying candidate #<alt (λ (x) (log (+ x (pow (sqrt (+ -1 (* x x))) 1))))>
1540195431.286 * * * * [misc]progress:  [ 3 / 43 ] simplifiying candidate #<alt (λ (x) (log (+ x (exp (log (sqrt (+ -1 (* x x))))))))>
1540195431.286 * * * * [misc]progress:  [ 4 / 43 ] simplifiying candidate #<alt (λ (x) (log (+ x (log (exp (sqrt (+ -1 (* x x))))))))>
1540195431.286 * * * * [misc]progress:  [ 5 / 43 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (* (cbrt (sqrt (+ -1 (* x x)))) (cbrt (sqrt (+ -1 (* x x))))) (cbrt (sqrt (+ -1 (* x x))))))))>
1540195431.286 * * * * [misc]progress:  [ 6 / 43 ] simplifiying candidate #<alt (λ (x) (log (+ x (cbrt (* (* (sqrt (+ -1 (* x x))) (sqrt (+ -1 (* x x)))) (sqrt (+ -1 (* x x))))))))>
1540195431.286 * * * * [misc]progress:  [ 7 / 43 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (* (cbrt (+ -1 (* x x))) (cbrt (+ -1 (* x x))))) (sqrt (cbrt (+ -1 (* x x))))))))>
1540195431.287 * [enter]simplify:  Simplifying (sqrt (* (cbrt (+ -1 (* x x))) (cbrt (+ -1 (* x x)))))
1540195431.287 * * [misc]simplify:  iters left: 6 (7 enodes)
1540195431.288 * * [misc]simplify:  iters left: 5 (9 enodes)
1540195431.289 * * [misc]simplify:  iters left: 4 (13 enodes)
1540195431.291 * * [misc]simplify:  iters left: 3 (19 enodes)
1540195431.294 * * [misc]simplify:  iters left: 2 (34 enodes)
1540195431.304 * * [misc]simplify:  iters left: 1 (62 enodes)
1540195431.315 * [exit]simplify:  Simplified to (fabs (cbrt (+ -1 (* x x))))
1540195431.315 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ x (* (fabs (cbrt (+ -1 (* x x)))) (sqrt (cbrt (+ -1 (* x x))))))))
1540195431.315 * * * * [misc]progress:  [ 8 / 43 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (sqrt (+ -1 (* x x)))) (sqrt (sqrt (+ -1 (* x x))))))))>
1540195431.315 * [enter]simplify:  Simplifying (sqrt (sqrt (+ -1 (* x x))))
1540195431.315 * * [misc]simplify:  iters left: 6 (6 enodes)
1540195431.316 * * [misc]simplify:  iters left: 5 (7 enodes)
1540195431.317 * * [misc]simplify:  iters left: 4 (11 enodes)
1540195431.320 * * [misc]simplify:  iters left: 3 (17 enodes)
1540195431.323 * * [misc]simplify:  iters left: 2 (32 enodes)
1540195431.338 * * [misc]simplify:  iters left: 1 (61 enodes)
1540195431.355 * [exit]simplify:  Simplified to (sqrt (sqrt (+ -1 (* x x))))
1540195431.355 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ x (* (sqrt (sqrt (+ -1 (* x x)))) (sqrt (sqrt (+ -1 (* x x))))))))
1540195431.355 * * * * [misc]progress:  [ 9 / 43 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt 1) (sqrt (+ -1 (* x x)))))))>
1540195431.355 * [enter]simplify:  Simplifying (sqrt 1)
1540195431.355 * * [misc]simplify:  iters left: 1 (2 enodes)
1540195431.356 * [exit]simplify:  Simplified to 1
1540195431.356 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ x (* 1 (sqrt (+ -1 (* x x)))))))
1540195431.356 * * * * [misc]progress:  [ 10 / 43 ] simplifiying candidate #<alt (λ (x) (log (+ x (/ (sqrt (+ (pow -1 3) (pow (* x x) 3))) (sqrt (+ (* -1 -1) (- (* (* x x) (* x x)) (* -1 (* x x)))))))))>
1540195431.357 * [enter]simplify:  Simplifying (sqrt (+ (pow -1 3) (pow (* x x) 3)))
1540195431.357 * * [misc]simplify:  iters left: 6 (8 enodes)
1540195431.360 * * [misc]simplify:  iters left: 5 (18 enodes)
1540195431.363 * * [misc]simplify:  iters left: 4 (31 enodes)
1540195431.372 * * [misc]simplify:  iters left: 3 (42 enodes)
1540195431.380 * * [misc]simplify:  iters left: 2 (60 enodes)
1540195431.399 * * [misc]simplify:  iters left: 1 (107 enodes)
1540195431.434 * [exit]simplify:  Simplified to (sqrt (+ (pow x 6) -1))
1540195431.434 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ x (/ (sqrt (+ (pow x 6) -1)) (sqrt (+ (* -1 -1) (- (* (* x x) (* x x)) (* -1 (* x x)))))))))
1540195431.434 * * * * [misc]progress:  [ 11 / 43 ] simplifiying candidate #<alt (λ (x) (log (+ x (/ (sqrt (- (* -1 -1) (* (* x x) (* x x)))) (sqrt (- -1 (* x x)))))))>
1540195431.434 * [enter]simplify:  Simplifying (sqrt (- (* -1 -1) (* (* x x) (* x x))))
1540195431.434 * * [misc]simplify:  iters left: 6 (7 enodes)
1540195431.437 * * [misc]simplify:  iters left: 5 (18 enodes)
1540195431.442 * * [misc]simplify:  iters left: 4 (37 enodes)
1540195431.451 * * [misc]simplify:  iters left: 3 (71 enodes)
1540195431.475 * * [misc]simplify:  iters left: 2 (131 enodes)
1540195431.537 * * [misc]simplify:  iters left: 1 (326 enodes)
1540195431.673 * [exit]simplify:  Simplified to (sqrt (- 1 (pow x 4)))
1540195431.673 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ x (/ (sqrt (- 1 (pow x 4))) (sqrt (- -1 (* x x)))))))
1540195431.673 * * * * [misc]progress:  [ 12 / 43 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (sqrt (+ -1 (* x x)))) (sqrt (sqrt (+ -1 (* x x))))))))>
1540195431.673 * * * * [misc]progress:  [ 13 / 43 ] simplifiying candidate #<alt (λ (x) (log (+ x (fabs (sqrt (+ -1 (* x x)))))))>
1540195431.673 * [enter]simplify:  Simplifying (sqrt (+ -1 (* x x)))
1540195431.673 * * [misc]simplify:  iters left: 5 (5 enodes)
1540195431.674 * * [misc]simplify:  iters left: 4 (6 enodes)
1540195431.675 * * [misc]simplify:  iters left: 3 (10 enodes)
1540195431.676 * * [misc]simplify:  iters left: 2 (16 enodes)
1540195431.678 * * [misc]simplify:  iters left: 1 (31 enodes)
1540195431.688 * [exit]simplify:  Simplified to (sqrt (+ -1 (* x x)))
1540195431.688 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ x (fabs (sqrt (+ -1 (* x x)))))))
1540195431.688 * * * * [misc]progress:  [ 14 / 43 ] simplifiying candidate #<alt (λ (x) (log (+ x (* 1 (sqrt (+ -1 (* x x)))))))>
1540195431.688 * * * * [misc]progress:  [ 15 / 43 ] simplifiying candidate #<alt (λ (x) (log (pow (+ x (sqrt (+ -1 (* x x)))) 1)))>
1540195431.688 * * * * [misc]progress:  [ 16 / 43 ] simplifiying candidate #<alt (λ (x) (log (exp (log (+ x (sqrt (+ -1 (* x x))))))))>
1540195431.688 * * * * [misc]progress:  [ 17 / 43 ] simplifiying candidate #<alt (λ (x) (log (log (exp (+ x (sqrt (+ -1 (* x x))))))))>
1540195431.688 * * * * [misc]progress:  [ 18 / 43 ] simplifiying candidate #<alt (λ (x) (log (* (* (cbrt (+ x (sqrt (+ -1 (* x x))))) (cbrt (+ x (sqrt (+ -1 (* x x)))))) (cbrt (+ x (sqrt (+ -1 (* x x))))))))>
1540195431.688 * * * * [misc]progress:  [ 19 / 43 ] simplifiying candidate #<alt (λ (x) (log (cbrt (* (* (+ x (sqrt (+ -1 (* x x)))) (+ x (sqrt (+ -1 (* x x))))) (+ x (sqrt (+ -1 (* x x))))))))>
1540195431.688 * * * * [misc]progress:  [ 20 / 43 ] simplifiying candidate #<alt (λ (x) (log (* (sqrt (+ x (sqrt (+ -1 (* x x))))) (sqrt (+ x (sqrt (+ -1 (* x x))))))))>
1540195431.688 * * * * [misc]progress:  [ 21 / 43 ] simplifiying candidate #<alt (λ (x) (log (/ (+ (pow x 3) (pow (sqrt (+ -1 (* x x))) 3)) (+ (* x x) (- (* (sqrt (+ -1 (* x x))) (sqrt (+ -1 (* x x)))) (* x (sqrt (+ -1 (* x x)))))))))>
1540195431.688 * * * * [misc]progress:  [ 22 / 43 ] simplifiying candidate #<alt (λ (x) (log (* 1 (+ x (sqrt (+ -1 (* x x)))))))>
1540195431.688 * * * * [misc]progress:  [ 23 / 43 ] simplifiying candidate #<alt (λ (x) (log (/ (- (* x x) (* (sqrt (+ -1 (* x x))) (sqrt (+ -1 (* x x))))) (- x (sqrt (+ -1 (* x x)))))))>
1540195431.688 * * * * [misc]progress:  [ 24 / 43 ] simplifiying candidate #<alt (λ (x) (log (+ (sqrt (+ -1 (* x x))) x)))>
1540195431.688 * * * * [misc]progress:  [ 25 / 43 ] simplifiying candidate #<alt (λ (x) (log (+ x (sqrt (pow (+ -1 (* x x)) 1)))))>
1540195431.688 * * * * [misc]progress:  [ 26 / 43 ] simplifiying candidate #<alt (λ (x) (log (+ x (sqrt (exp (log (+ -1 (* x x))))))))>
1540195431.688 * * * * [misc]progress:  [ 27 / 43 ] simplifiying candidate #<alt (λ (x) (log (+ x (sqrt (log (exp (+ -1 (* x x))))))))>
1540195431.688 * * * * [misc]progress:  [ 28 / 43 ] simplifiying candidate #<alt (λ (x) (log (+ x (sqrt (* (* (cbrt (+ -1 (* x x))) (cbrt (+ -1 (* x x)))) (cbrt (+ -1 (* x x))))))))>
1540195431.688 * * * * [misc]progress:  [ 29 / 43 ] simplifiying candidate #<alt (λ (x) (log (+ x (sqrt (cbrt (* (* (+ -1 (* x x)) (+ -1 (* x x))) (+ -1 (* x x))))))))>
1540195431.688 * * * * [misc]progress:  [ 30 / 43 ] simplifiying candidate #<alt (λ (x) (log (+ x (sqrt (* (sqrt (+ -1 (* x x))) (sqrt (+ -1 (* x x))))))))>
1540195431.688 * * * * [misc]progress:  [ 31 / 43 ] simplifiying candidate #<alt (λ (x) (log (+ x (sqrt (/ (+ (pow -1 3) (pow (* x x) 3)) (+ (* -1 -1) (- (* (* x x) (* x x)) (* -1 (* x x)))))))))>
1540195431.688 * * * * [misc]progress:  [ 32 / 43 ] simplifiying candidate #<alt (λ (x) (log (+ x (sqrt (* 1 (+ -1 (* x x)))))))>
1540195431.688 * * * * [misc]progress:  [ 33 / 43 ] simplifiying candidate #<alt (λ (x) (log (+ x (sqrt (/ (- (* -1 -1) (* (* x x) (* x x))) (- -1 (* x x)))))))>
1540195431.688 * * * * [misc]progress:  [ 34 / 43 ] simplifiying candidate #<alt (λ (x) (log (+ x (sqrt (+ (* x x) -1)))))>
1540195431.688 * * * * [misc]progress:  [ 35 / 43 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1)) (* 1/8 (/ (pow x 4) (pow (sqrt -1) 3)))))))>
1540195431.689 * [enter]simplify:  Simplifying (- (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1)) (* 1/8 (/ (pow x 4) (pow (sqrt -1) 3))))
1540195431.689 * * [misc]simplify:  iters left: 6 (17 enodes)
1540195431.692 * * [misc]simplify:  iters left: 5 (32 enodes)
1540195431.697 * * [misc]simplify:  iters left: 4 (76 enodes)
1540195431.708 * * [misc]simplify:  iters left: 3 (140 enodes)
1540195431.741 * * [misc]simplify:  iters left: 2 (250 enodes)
1540195431.795 * * [misc]simplify:  iters left: 1 (394 enodes)
1540195431.940 * [exit]simplify:  Simplified to (- (/ 1/2 (/ (sqrt -1) (* x x))) (- (/ (/ (pow x 4) (sqrt -1)) -8) (sqrt -1)))
1540195431.941 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (log (+ x (- (/ 1/2 (/ (sqrt -1) (* x x))) (- (/ (/ (pow x 4) (sqrt -1)) -8) (sqrt -1))))))
1540195431.941 * * * * [misc]progress:  [ 36 / 43 ] simplifiying candidate #<alt (λ (x) (log (+ x (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))))))>
1540195431.941 * [enter]simplify:  Simplifying (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1540195431.941 * * [misc]simplify:  iters left: 6 (12 enodes)
1540195431.944 * * [misc]simplify:  iters left: 5 (28 enodes)
1540195431.948 * * [misc]simplify:  iters left: 4 (43 enodes)
1540195431.956 * * [misc]simplify:  iters left: 3 (87 enodes)
1540195431.971 * * [misc]simplify:  iters left: 2 (145 enodes)
1540195431.987 * * [misc]simplify:  iters left: 1 (204 enodes)
1540195432.049 * [exit]simplify:  Simplified to (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x)))
1540195432.049 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))))
1540195432.049 * * * * [misc]progress:  [ 37 / 43 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))) x))))>
1540195432.049 * [enter]simplify:  Simplifying (- (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))) x)
1540195432.049 * * [misc]simplify:  iters left: 6 (12 enodes)
1540195432.054 * * [misc]simplify:  iters left: 5 (28 enodes)
1540195432.062 * * [misc]simplify:  iters left: 4 (43 enodes)
1540195432.069 * * [misc]simplify:  iters left: 3 (63 enodes)
1540195432.078 * * [misc]simplify:  iters left: 2 (95 enodes)
1540195432.087 * * [misc]simplify:  iters left: 1 (135 enodes)
1540195432.111 * [exit]simplify:  Simplified to (+ (/ (/ 1/8 x) (* x x)) (- (/ 1/2 x) x))
1540195432.111 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (log (+ x (+ (/ (/ 1/8 x) (* x x)) (- (/ 1/2 x) x)))))
1540195432.111 * * * * [misc]progress:  [ 38 / 43 ] simplifiying candidate #<alt (λ (x) (log (+ x (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1)))))>
1540195432.111 * [enter]simplify:  Simplifying (+ x (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1)))
1540195432.111 * * [misc]simplify:  iters left: 6 (10 enodes)
1540195432.113 * * [misc]simplify:  iters left: 5 (18 enodes)
1540195432.115 * * [misc]simplify:  iters left: 4 (32 enodes)
1540195432.120 * * [misc]simplify:  iters left: 3 (42 enodes)
1540195432.125 * * [misc]simplify:  iters left: 2 (52 enodes)
1540195432.132 * * [misc]simplify:  iters left: 1 (68 enodes)
1540195432.141 * [exit]simplify:  Simplified to (+ (+ (sqrt -1) x) (/ 1/2 (/ (sqrt -1) (* x x))))
1540195432.141 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (+ (+ (sqrt -1) x) (/ 1/2 (/ (sqrt -1) (* x x))))))
1540195432.141 * * * * [misc]progress:  [ 39 / 43 ] simplifiying candidate #<alt (λ (x) (log (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))))>
1540195432.141 * [enter]simplify:  Simplifying (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1540195432.142 * * [misc]simplify:  iters left: 6 (14 enodes)
1540195432.145 * * [misc]simplify:  iters left: 5 (31 enodes)
1540195432.149 * * [misc]simplify:  iters left: 4 (46 enodes)
1540195432.158 * * [misc]simplify:  iters left: 3 (89 enodes)
1540195432.175 * * [misc]simplify:  iters left: 2 (148 enodes)
1540195432.192 * * [misc]simplify:  iters left: 1 (212 enodes)
1540195432.228 * [exit]simplify:  Simplified to (- (/ (/ -1/8 x) (* x x)) (+ (/ 1/2 x) (* -2 x)))
1540195432.228 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (- (/ (/ -1/8 x) (* x x)) (+ (/ 1/2 x) (* -2 x)))))
1540195432.228 * * * * [misc]progress:  [ 40 / 43 ] simplifiying candidate #<alt (λ (x) (log (+ (* 1/16 (/ 1 (pow x 5))) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))))>
1540195432.228 * [enter]simplify:  Simplifying (+ (* 1/16 (/ 1 (pow x 5))) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1540195432.228 * * [misc]simplify:  iters left: 6 (17 enodes)
1540195432.232 * * [misc]simplify:  iters left: 5 (35 enodes)
1540195432.237 * * [misc]simplify:  iters left: 4 (50 enodes)
1540195432.244 * * [misc]simplify:  iters left: 3 (68 enodes)
1540195432.254 * * [misc]simplify:  iters left: 2 (101 enodes)
1540195432.264 * * [misc]simplify:  iters left: 1 (125 enodes)
1540195432.279 * [exit]simplify:  Simplified to (+ (/ 1/2 x) (+ (/ 1/16 (pow x 5)) (/ (/ 1/8 x) (* x x))))
1540195432.279 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (+ (/ 1/2 x) (+ (/ 1/16 (pow x 5)) (/ (/ 1/8 x) (* x x))))))
1540195432.279 * * * * [misc]progress:  [ 41 / 43 ] simplifiying candidate #<alt (λ (x) (log (+ x (sqrt (- (pow x 2) 1)))))>
1540195432.279 * [enter]simplify:  Simplifying (- (pow x 2) 1)
1540195432.279 * * [misc]simplify:  iters left: 3 (5 enodes)
1540195432.280 * * [misc]simplify:  iters left: 2 (11 enodes)
1540195432.281 * * [misc]simplify:  iters left: 1 (14 enodes)
1540195432.283 * [exit]simplify:  Simplified to (+ (* x x) -1)
1540195432.283 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ x (sqrt (+ (* x x) -1)))))
1540195432.283 * * * * [misc]progress:  [ 42 / 43 ] simplifiying candidate #<alt (λ (x) (log (+ x (sqrt (- (pow x 2) 1)))))>
1540195432.283 * [enter]simplify:  Simplifying (- (pow x 2) 1)
1540195432.283 * * [misc]simplify:  iters left: 3 (5 enodes)
1540195432.284 * * [misc]simplify:  iters left: 2 (11 enodes)
1540195432.285 * * [misc]simplify:  iters left: 1 (14 enodes)
1540195432.287 * [exit]simplify:  Simplified to (+ (* x x) -1)
1540195432.287 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ x (sqrt (+ (* x x) -1)))))
1540195432.287 * * * * [misc]progress:  [ 43 / 43 ] simplifiying candidate #<alt (λ (x) (log (+ x (sqrt (- (pow x 2) 1)))))>
1540195432.287 * [enter]simplify:  Simplifying (- (pow x 2) 1)
1540195432.287 * * [misc]simplify:  iters left: 3 (5 enodes)
1540195432.288 * * [misc]simplify:  iters left: 2 (11 enodes)
1540195432.289 * * [misc]simplify:  iters left: 1 (14 enodes)
1540195432.291 * [exit]simplify:  Simplified to (+ (* x x) -1)
1540195432.291 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ x (sqrt (+ (* x x) -1)))))
1540195432.291 * * * [misc]progress:  adding candidates to table
1540195432.507 * * [misc]progress:  iteration 2 / 4
1540195432.507 * * * [misc]progress:  picking best candidate
1540195432.510 * * * * [misc]pick:  Picked  #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))))>
1540195432.510 * * * [misc]progress:  localizing error
1540195432.538 * * * [misc]progress:  generating rewritten candidates
1540195432.538 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 2 2)
1540195432.543 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2)
1540195432.573 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 1)
1540195432.621 * * * [misc]progress:  generating series expansions
1540195432.621 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 2 2)
1540195432.621 * [misc]backup-simplify:  Simplify (/ (/ 1/8 x) (* x x)) into (/ 1/8 (pow x 3))
1540195432.621 * [misc]approximate:  Taking taylor expansion of (/ 1/8 (pow x 3)) in (x) around 0
1540195432.621 * [misc]taylor:  Taking taylor expansion of (/ 1/8 (pow x 3)) in x
1540195432.621 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1540195432.621 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1540195432.621 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1540195432.621 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.621 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.621 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.622 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195432.622 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195432.622 * [misc]backup-simplify:  Simplify (/ 1/8 1) into 1/8
1540195432.622 * [misc]taylor:  Taking taylor expansion of (/ 1/8 (pow x 3)) in x
1540195432.622 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1540195432.622 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1540195432.622 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1540195432.622 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.622 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.622 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.622 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195432.622 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195432.622 * [misc]backup-simplify:  Simplify (/ 1/8 1) into 1/8
1540195432.622 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1540195432.622 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540195432.623 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540195432.623 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/8 (/ 0 1)))) into 0
1540195432.623 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.623 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1540195432.623 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1540195432.623 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/8 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195432.623 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.623 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1540195432.624 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1540195432.624 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/8 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195432.624 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.624 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1540195432.624 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1540195432.625 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/8 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195432.625 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.625 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1540195432.625 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1540195432.625 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/8 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195432.625 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.626 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1540195432.626 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1540195432.626 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/8 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195432.626 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.626 * [misc]backup-simplify:  Simplify (* 1/8 (pow (/ 1 x) 3)) into (/ 1/8 (pow x 3))
1540195432.626 * [misc]backup-simplify:  Simplify (/ (/ 1/8 (/ 1 x)) (* (/ 1 x) (/ 1 x))) into (* 1/8 (pow x 3))
1540195432.626 * [misc]approximate:  Taking taylor expansion of (* 1/8 (pow x 3)) in (x) around 0
1540195432.626 * [misc]taylor:  Taking taylor expansion of (* 1/8 (pow x 3)) in x
1540195432.627 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1540195432.627 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1540195432.627 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1540195432.627 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.627 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.627 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.627 * [misc]taylor:  Taking taylor expansion of (* 1/8 (pow x 3)) in x
1540195432.627 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1540195432.627 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1540195432.627 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1540195432.627 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.627 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.627 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.627 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195432.627 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195432.627 * [misc]backup-simplify:  Simplify (* 1/8 1) into 1/8
1540195432.627 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1540195432.627 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540195432.627 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540195432.627 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (* 0 1)) into 0
1540195432.627 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.628 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1540195432.628 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1540195432.628 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (+ (* 0 0) (* 0 1))) into 0
1540195432.628 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.628 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1540195432.628 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1540195432.629 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1540195432.629 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.629 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1540195432.629 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1540195432.629 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1540195432.629 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.629 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1540195432.630 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1540195432.630 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1540195432.630 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.630 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1540195432.631 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1540195432.631 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1540195432.631 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.631 * [misc]backup-simplify:  Simplify (* 1/8 (pow (/ 1 x) 3)) into (/ 1/8 (pow x 3))
1540195432.631 * [misc]backup-simplify:  Simplify (/ (/ 1/8 (/ 1 (- x))) (* (/ 1 (- x)) (/ 1 (- x)))) into (* -1/8 (pow x 3))
1540195432.631 * [misc]approximate:  Taking taylor expansion of (* -1/8 (pow x 3)) in (x) around 0
1540195432.631 * [misc]taylor:  Taking taylor expansion of (* -1/8 (pow x 3)) in x
1540195432.631 * [misc]taylor:  Taking taylor expansion of -1/8 in x
1540195432.631 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1540195432.631 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1540195432.631 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.631 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.631 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.631 * [misc]taylor:  Taking taylor expansion of (* -1/8 (pow x 3)) in x
1540195432.631 * [misc]taylor:  Taking taylor expansion of -1/8 in x
1540195432.631 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1540195432.631 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1540195432.631 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.631 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.631 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.631 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195432.632 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195432.632 * [misc]backup-simplify:  Simplify (* -1/8 1) into -1/8
1540195432.632 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1540195432.632 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540195432.632 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540195432.632 * [misc]backup-simplify:  Simplify (+ (* -1/8 0) (* 0 1)) into 0
1540195432.632 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.632 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1540195432.632 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1540195432.633 * [misc]backup-simplify:  Simplify (+ (* -1/8 0) (+ (* 0 0) (* 0 1))) into 0
1540195432.633 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.633 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1540195432.633 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1540195432.633 * [misc]backup-simplify:  Simplify (+ (* -1/8 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1540195432.633 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.633 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1540195432.634 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1540195432.634 * [misc]backup-simplify:  Simplify (+ (* -1/8 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1540195432.634 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.634 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1540195432.634 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1540195432.635 * [misc]backup-simplify:  Simplify (+ (* -1/8 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1540195432.635 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.635 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1540195432.635 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1540195432.635 * [misc]backup-simplify:  Simplify (+ (* -1/8 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1540195432.635 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.636 * [misc]backup-simplify:  Simplify (* -1/8 (pow (/ 1 (- x)) 3)) into (/ 1/8 (pow x 3))
1540195432.636 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2)
1540195432.636 * [misc]backup-simplify:  Simplify (log (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))) into (log (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))))
1540195432.636 * [misc]approximate:  Taking taylor expansion of (log (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))) in (x) around 0
1540195432.636 * [misc]taylor:  Taking taylor expansion of (log (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))) in x
1540195432.636 * [misc]taylor:  Taking taylor expansion of (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) in x
1540195432.636 * [misc]taylor:  Taking taylor expansion of (* 2 x) in x
1540195432.636 * [misc]taylor:  Taking taylor expansion of 2 in x
1540195432.636 * [misc]backup-simplify:  Simplify 2 into 2
1540195432.636 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.636 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.636 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.636 * [misc]taylor:  Taking taylor expansion of (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))) in x
1540195432.636 * [misc]taylor:  Taking taylor expansion of (* 1/8 (/ 1 (pow x 3))) in x
1540195432.636 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1540195432.636 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1540195432.636 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 3)) in x
1540195432.636 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1540195432.636 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.636 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.636 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.636 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195432.636 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195432.636 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540195432.636 * [misc]taylor:  Taking taylor expansion of (* 1/2 (/ 1 x)) in x
1540195432.636 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1540195432.636 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1540195432.636 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540195432.636 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.636 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.637 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.637 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540195432.637 * [misc]backup-simplify:  Simplify (* 1/8 1) into 1/8
1540195432.637 * [misc]backup-simplify:  Simplify (+ 1/8 0) into 1/8
1540195432.637 * [misc]backup-simplify:  Simplify (- 1/8) into -1/8
1540195432.637 * [misc]backup-simplify:  Simplify (+ 0 -1/8) into -1/8
1540195432.637 * [misc]backup-simplify:  Simplify (log -1/8) into (log -1/8)
1540195432.637 * [misc]taylor:  Taking taylor expansion of (log (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))) in x
1540195432.637 * [misc]taylor:  Taking taylor expansion of (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) in x
1540195432.637 * [misc]taylor:  Taking taylor expansion of (* 2 x) in x
1540195432.637 * [misc]taylor:  Taking taylor expansion of 2 in x
1540195432.637 * [misc]backup-simplify:  Simplify 2 into 2
1540195432.637 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.637 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.637 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.637 * [misc]taylor:  Taking taylor expansion of (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))) in x
1540195432.637 * [misc]taylor:  Taking taylor expansion of (* 1/8 (/ 1 (pow x 3))) in x
1540195432.637 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1540195432.637 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1540195432.637 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 3)) in x
1540195432.637 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1540195432.637 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.638 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.638 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.638 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195432.638 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195432.638 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540195432.638 * [misc]taylor:  Taking taylor expansion of (* 1/2 (/ 1 x)) in x
1540195432.638 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1540195432.638 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1540195432.638 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540195432.638 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.638 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.638 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.638 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540195432.638 * [misc]backup-simplify:  Simplify (* 1/8 1) into 1/8
1540195432.638 * [misc]backup-simplify:  Simplify (+ 1/8 0) into 1/8
1540195432.638 * [misc]backup-simplify:  Simplify (- 1/8) into -1/8
1540195432.638 * [misc]backup-simplify:  Simplify (+ 0 -1/8) into -1/8
1540195432.639 * [misc]backup-simplify:  Simplify (log -1/8) into (log -1/8)
1540195432.639 * [misc]backup-simplify:  Simplify (+ (* (- 3) (log x)) (log -1/8)) into (- (log -1/8) (* 3 (log x)))
1540195432.639 * [misc]backup-simplify:  Simplify (- (log -1/8) (* 3 (log x))) into (- (log -1/8) (* 3 (log x)))
1540195432.640 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540195432.640 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540195432.640 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540195432.640 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (* 0 1)) into 0
1540195432.640 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195432.640 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195432.640 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195432.642 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1/8 1)))) 1) into 0
1540195432.642 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.642 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1540195432.643 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1540195432.643 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195432.643 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (+ (* 0 0) (* 0 1))) into 0
1540195432.643 * [misc]backup-simplify:  Simplify (* 1/2 1) into 1/2
1540195432.643 * [misc]backup-simplify:  Simplify (+ 0 1/2) into 1/2
1540195432.643 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1540195432.643 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1540195432.646 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1/8 2))) (* 1 (/ (* 1 (pow (* 2 -1/2) 1)) (pow -1/8 1)))) 2) into 4
1540195432.646 * [misc]backup-simplify:  Simplify 4 into 4
1540195432.646 * [misc]backup-simplify:  Simplify (* 2 0) into 0
1540195432.646 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1540195432.646 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1540195432.647 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195432.647 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1540195432.647 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540195432.647 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (* 0 1)) into 0
1540195432.647 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195432.647 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195432.647 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195432.651 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow -1/8 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 -1/2) 1)) (pow -1/8 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1/8 1)))) 6) into 0
1540195432.651 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.652 * [misc]backup-simplify:  Simplify (+ (* 2 1) (* 0 0)) into 2
1540195432.652 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1540195432.652 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1540195432.652 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195432.653 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1540195432.653 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195432.653 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0
1540195432.653 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195432.653 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195432.653 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1540195432.662 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow -1/8 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 -1/2) 1)) (pow -1/8 3))) (* -3 (/ (* 1 (pow (* 2 -1/2) 2)) (pow -1/8 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow -1/8 2))) (* 1 (/ (* 1 1 1 (pow (* 24 2) 1)) (pow -1/8 1)))) 24) into -24
1540195432.662 * [misc]backup-simplify:  Simplify -24 into -24
1540195432.662 * [misc]backup-simplify:  Simplify (+ (* -24 (pow x 4)) (+ (* 4 (pow x 2)) (- (log -1/8) (* 3 (log x))))) into (- (+ (log -1/8) (* 4 (pow x 2))) (+ (* 24 (pow x 4)) (* 3 (log x))))
1540195432.662 * [misc]backup-simplify:  Simplify (log (+ (/ 1 x) (- (+ (/ -1/2 (/ 1 x)) (/ 1 x)) (/ (/ 1/8 (/ 1 x)) (* (/ 1 x) (/ 1 x)))))) into (log (- (* 2 (/ 1 x)) (+ (* 1/2 x) (* 1/8 (pow x 3)))))
1540195432.662 * [misc]approximate:  Taking taylor expansion of (log (- (* 2 (/ 1 x)) (+ (* 1/2 x) (* 1/8 (pow x 3))))) in (x) around 0
1540195432.662 * [misc]taylor:  Taking taylor expansion of (log (- (* 2 (/ 1 x)) (+ (* 1/2 x) (* 1/8 (pow x 3))))) in x
1540195432.663 * [misc]taylor:  Taking taylor expansion of (- (* 2 (/ 1 x)) (+ (* 1/2 x) (* 1/8 (pow x 3)))) in x
1540195432.663 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 x)) in x
1540195432.663 * [misc]taylor:  Taking taylor expansion of 2 in x
1540195432.663 * [misc]backup-simplify:  Simplify 2 into 2
1540195432.663 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540195432.663 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.663 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.663 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.663 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540195432.663 * [misc]taylor:  Taking taylor expansion of (+ (* 1/2 x) (* 1/8 (pow x 3))) in x
1540195432.663 * [misc]taylor:  Taking taylor expansion of (* 1/2 x) in x
1540195432.663 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1540195432.663 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1540195432.663 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.663 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.663 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.663 * [misc]taylor:  Taking taylor expansion of (* 1/8 (pow x 3)) in x
1540195432.663 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1540195432.663 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1540195432.663 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1540195432.663 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.663 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.663 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.663 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1540195432.663 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1540195432.663 * [misc]backup-simplify:  Simplify (log 2) into (log 2)
1540195432.663 * [misc]taylor:  Taking taylor expansion of (log (- (* 2 (/ 1 x)) (+ (* 1/2 x) (* 1/8 (pow x 3))))) in x
1540195432.663 * [misc]taylor:  Taking taylor expansion of (- (* 2 (/ 1 x)) (+ (* 1/2 x) (* 1/8 (pow x 3)))) in x
1540195432.663 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 x)) in x
1540195432.663 * [misc]taylor:  Taking taylor expansion of 2 in x
1540195432.663 * [misc]backup-simplify:  Simplify 2 into 2
1540195432.663 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540195432.663 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.663 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.663 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.664 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540195432.664 * [misc]taylor:  Taking taylor expansion of (+ (* 1/2 x) (* 1/8 (pow x 3))) in x
1540195432.664 * [misc]taylor:  Taking taylor expansion of (* 1/2 x) in x
1540195432.664 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1540195432.664 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1540195432.664 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.664 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.664 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.664 * [misc]taylor:  Taking taylor expansion of (* 1/8 (pow x 3)) in x
1540195432.664 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1540195432.664 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1540195432.664 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1540195432.664 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.664 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.664 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.664 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1540195432.664 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1540195432.664 * [misc]backup-simplify:  Simplify (log 2) into (log 2)
1540195432.664 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log 2)) into (- (log 2) (log x))
1540195432.664 * [misc]backup-simplify:  Simplify (- (log 2) (log x)) into (- (log 2) (log x))
1540195432.665 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540195432.665 * [misc]backup-simplify:  Simplify (+ (* 2 0) (* 0 1)) into 0
1540195432.665 * [misc]backup-simplify:  Simplify (* 1/2 0) into 0
1540195432.665 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195432.665 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195432.665 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195432.667 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 2 1)))) 1) into 0
1540195432.667 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.667 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195432.667 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
1540195432.667 * [misc]backup-simplify:  Simplify (+ (* 1/2 1) (* 0 0)) into 1/2
1540195432.667 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1540195432.667 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1540195432.667 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1540195432.670 * [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
1540195432.670 * [misc]backup-simplify:  Simplify -1/4 into -1/4
1540195432.670 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195432.670 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1540195432.671 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0
1540195432.671 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195432.671 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195432.671 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195432.675 * [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
1540195432.675 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.675 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195432.675 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1540195432.675 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1540195432.675 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195432.676 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195432.676 * [misc]backup-simplify:  Simplify (* 1/8 1) into 1/8
1540195432.676 * [misc]backup-simplify:  Simplify (+ 0 1/8) into 1/8
1540195432.676 * [misc]backup-simplify:  Simplify (- 1/8) into -1/8
1540195432.676 * [misc]backup-simplify:  Simplify (+ 0 -1/8) into -1/8
1540195432.682 * [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
1540195432.682 * [misc]backup-simplify:  Simplify -3/32 into -3/32
1540195432.683 * [misc]backup-simplify:  Simplify (+ (* -3/32 (pow (/ 1 x) 4)) (+ (* -1/4 (pow (/ 1 x) 2)) (- (log 2) (log (/ 1 x))))) into (- (log 2) (+ (log (/ 1 x)) (+ (* 3/32 (/ 1 (pow x 4))) (* 1/4 (/ 1 (pow x 2))))))
1540195432.683 * [misc]backup-simplify:  Simplify (log (+ (/ 1 (- x)) (- (+ (/ -1/2 (/ 1 (- x))) (/ 1 (- x))) (/ (/ 1/8 (/ 1 (- x))) (* (/ 1 (- x)) (/ 1 (- x))))))) into (log (- (+ (* 1/2 x) (* 1/8 (pow x 3))) (* 2 (/ 1 x))))
1540195432.683 * [misc]approximate:  Taking taylor expansion of (log (- (+ (* 1/2 x) (* 1/8 (pow x 3))) (* 2 (/ 1 x)))) in (x) around 0
1540195432.683 * [misc]taylor:  Taking taylor expansion of (log (- (+ (* 1/2 x) (* 1/8 (pow x 3))) (* 2 (/ 1 x)))) in x
1540195432.683 * [misc]taylor:  Taking taylor expansion of (- (+ (* 1/2 x) (* 1/8 (pow x 3))) (* 2 (/ 1 x))) in x
1540195432.683 * [misc]taylor:  Taking taylor expansion of (+ (* 1/2 x) (* 1/8 (pow x 3))) in x
1540195432.683 * [misc]taylor:  Taking taylor expansion of (* 1/2 x) in x
1540195432.683 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1540195432.683 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1540195432.683 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.683 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.683 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.683 * [misc]taylor:  Taking taylor expansion of (* 1/8 (pow x 3)) in x
1540195432.683 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1540195432.683 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1540195432.683 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1540195432.683 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.683 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.683 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.683 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 x)) in x
1540195432.683 * [misc]taylor:  Taking taylor expansion of 2 in x
1540195432.683 * [misc]backup-simplify:  Simplify 2 into 2
1540195432.683 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540195432.683 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.683 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.683 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.683 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540195432.684 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1540195432.684 * [misc]backup-simplify:  Simplify (- 2) into -2
1540195432.684 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1540195432.684 * [misc]backup-simplify:  Simplify (log -2) into (log -2)
1540195432.684 * [misc]taylor:  Taking taylor expansion of (log (- (+ (* 1/2 x) (* 1/8 (pow x 3))) (* 2 (/ 1 x)))) in x
1540195432.684 * [misc]taylor:  Taking taylor expansion of (- (+ (* 1/2 x) (* 1/8 (pow x 3))) (* 2 (/ 1 x))) in x
1540195432.684 * [misc]taylor:  Taking taylor expansion of (+ (* 1/2 x) (* 1/8 (pow x 3))) in x
1540195432.684 * [misc]taylor:  Taking taylor expansion of (* 1/2 x) in x
1540195432.684 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1540195432.684 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1540195432.684 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.684 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.684 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.684 * [misc]taylor:  Taking taylor expansion of (* 1/8 (pow x 3)) in x
1540195432.684 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1540195432.684 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1540195432.684 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1540195432.684 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.684 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.684 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.684 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 x)) in x
1540195432.684 * [misc]taylor:  Taking taylor expansion of 2 in x
1540195432.684 * [misc]backup-simplify:  Simplify 2 into 2
1540195432.684 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540195432.684 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.684 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.684 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.684 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540195432.684 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1540195432.685 * [misc]backup-simplify:  Simplify (- 2) into -2
1540195432.685 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1540195432.685 * [misc]backup-simplify:  Simplify (log -2) into (log -2)
1540195432.685 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -2)) into (- (log -2) (log x))
1540195432.685 * [misc]backup-simplify:  Simplify (- (log -2) (log x)) into (- (log -2) (log x))
1540195432.685 * [misc]backup-simplify:  Simplify (* 1/2 0) into 0
1540195432.685 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195432.685 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540195432.686 * [misc]backup-simplify:  Simplify (+ (* 2 0) (* 0 1)) into 0
1540195432.686 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195432.686 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195432.687 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -2 1)))) 1) into 0
1540195432.687 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.687 * [misc]backup-simplify:  Simplify (+ (* 1/2 1) (* 0 0)) into 1/2
1540195432.688 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1540195432.688 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195432.688 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
1540195432.688 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195432.688 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1540195432.690 * [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
1540195432.691 * [misc]backup-simplify:  Simplify -1/4 into -1/4
1540195432.691 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0
1540195432.691 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195432.691 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195432.691 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1540195432.691 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195432.691 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195432.695 * [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
1540195432.695 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.696 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1540195432.696 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195432.696 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195432.696 * [misc]backup-simplify:  Simplify (* 1/8 1) into 1/8
1540195432.696 * [misc]backup-simplify:  Simplify (+ 0 1/8) into 1/8
1540195432.696 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195432.696 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1540195432.696 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195432.697 * [misc]backup-simplify:  Simplify (+ 1/8 0) into 1/8
1540195432.703 * [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
1540195432.703 * [misc]backup-simplify:  Simplify -3/32 into -3/32
1540195432.703 * [misc]backup-simplify:  Simplify (+ (* -3/32 (pow (/ 1 (- x)) 4)) (+ (* -1/4 (pow (/ 1 (- x)) 2)) (- (log -2) (log (/ 1 (- x)))))) into (- (log -2) (+ (log (/ -1 x)) (+ (* 3/32 (/ 1 (pow x 4))) (* 1/4 (/ 1 (pow x 2))))))
1540195432.703 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 1)
1540195432.703 * [misc]backup-simplify:  Simplify (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x)))) into (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1540195432.704 * [misc]approximate:  Taking taylor expansion of (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) in (x) around 0
1540195432.704 * [misc]taylor:  Taking taylor expansion of (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) in x
1540195432.704 * [misc]taylor:  Taking taylor expansion of (* 2 x) in x
1540195432.704 * [misc]taylor:  Taking taylor expansion of 2 in x
1540195432.704 * [misc]backup-simplify:  Simplify 2 into 2
1540195432.704 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.704 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.704 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.704 * [misc]taylor:  Taking taylor expansion of (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))) in x
1540195432.704 * [misc]taylor:  Taking taylor expansion of (* 1/8 (/ 1 (pow x 3))) in x
1540195432.704 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1540195432.704 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1540195432.704 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 3)) in x
1540195432.704 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1540195432.704 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.704 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.704 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.704 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195432.704 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195432.704 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540195432.704 * [misc]taylor:  Taking taylor expansion of (* 1/2 (/ 1 x)) in x
1540195432.704 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1540195432.704 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1540195432.704 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540195432.704 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.704 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.704 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.704 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540195432.704 * [misc]taylor:  Taking taylor expansion of (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) in x
1540195432.704 * [misc]taylor:  Taking taylor expansion of (* 2 x) in x
1540195432.704 * [misc]taylor:  Taking taylor expansion of 2 in x
1540195432.704 * [misc]backup-simplify:  Simplify 2 into 2
1540195432.704 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.704 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.704 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.704 * [misc]taylor:  Taking taylor expansion of (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))) in x
1540195432.704 * [misc]taylor:  Taking taylor expansion of (* 1/8 (/ 1 (pow x 3))) in x
1540195432.704 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1540195432.704 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1540195432.704 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 3)) in x
1540195432.704 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1540195432.705 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.705 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.705 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.705 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195432.705 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195432.705 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540195432.705 * [misc]taylor:  Taking taylor expansion of (* 1/2 (/ 1 x)) in x
1540195432.705 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1540195432.705 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1540195432.705 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540195432.705 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.705 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.705 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.705 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540195432.705 * [misc]backup-simplify:  Simplify (* 1/8 1) into 1/8
1540195432.705 * [misc]backup-simplify:  Simplify (+ 1/8 0) into 1/8
1540195432.706 * [misc]backup-simplify:  Simplify (- 1/8) into -1/8
1540195432.706 * [misc]backup-simplify:  Simplify (+ 0 -1/8) into -1/8
1540195432.706 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1540195432.706 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540195432.706 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540195432.706 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540195432.706 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (* 0 1)) into 0
1540195432.706 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195432.706 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195432.707 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195432.707 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.707 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1540195432.707 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1540195432.707 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195432.707 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (+ (* 0 0) (* 0 1))) into 0
1540195432.707 * [misc]backup-simplify:  Simplify (* 1/2 1) into 1/2
1540195432.707 * [misc]backup-simplify:  Simplify (+ 0 1/2) into 1/2
1540195432.708 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1540195432.708 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1540195432.708 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1540195432.708 * [misc]backup-simplify:  Simplify (* 2 0) into 0
1540195432.708 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1540195432.708 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1540195432.708 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195432.709 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1540195432.709 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540195432.709 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (* 0 1)) into 0
1540195432.709 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195432.709 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195432.709 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195432.709 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.709 * [misc]backup-simplify:  Simplify (+ (* 2 1) (* 0 0)) into 2
1540195432.709 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1540195432.710 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1540195432.710 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195432.710 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1540195432.710 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195432.710 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0
1540195432.711 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195432.711 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195432.711 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1540195432.711 * [misc]backup-simplify:  Simplify 2 into 2
1540195432.711 * [misc]backup-simplify:  Simplify (+ (* 2 x) (+ (* -1/2 (/ 1 x)) (* -1/8 (pow (/ 1 x) 3)))) into (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1540195432.711 * [misc]backup-simplify:  Simplify (+ (/ 1 x) (- (+ (/ -1/2 (/ 1 x)) (/ 1 x)) (/ (/ 1/8 (/ 1 x)) (* (/ 1 x) (/ 1 x))))) into (- (* 2 (/ 1 x)) (+ (* 1/2 x) (* 1/8 (pow x 3))))
1540195432.711 * [misc]approximate:  Taking taylor expansion of (- (* 2 (/ 1 x)) (+ (* 1/2 x) (* 1/8 (pow x 3)))) in (x) around 0
1540195432.711 * [misc]taylor:  Taking taylor expansion of (- (* 2 (/ 1 x)) (+ (* 1/2 x) (* 1/8 (pow x 3)))) in x
1540195432.711 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 x)) in x
1540195432.711 * [misc]taylor:  Taking taylor expansion of 2 in x
1540195432.711 * [misc]backup-simplify:  Simplify 2 into 2
1540195432.711 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540195432.711 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.711 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.711 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.711 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540195432.712 * [misc]taylor:  Taking taylor expansion of (+ (* 1/2 x) (* 1/8 (pow x 3))) in x
1540195432.712 * [misc]taylor:  Taking taylor expansion of (* 1/2 x) in x
1540195432.712 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1540195432.712 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1540195432.712 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.712 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.712 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.712 * [misc]taylor:  Taking taylor expansion of (* 1/8 (pow x 3)) in x
1540195432.712 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1540195432.712 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1540195432.712 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1540195432.712 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.712 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.712 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.712 * [misc]taylor:  Taking taylor expansion of (- (* 2 (/ 1 x)) (+ (* 1/2 x) (* 1/8 (pow x 3)))) in x
1540195432.712 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 x)) in x
1540195432.712 * [misc]taylor:  Taking taylor expansion of 2 in x
1540195432.712 * [misc]backup-simplify:  Simplify 2 into 2
1540195432.712 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540195432.712 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.712 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.712 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.712 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540195432.712 * [misc]taylor:  Taking taylor expansion of (+ (* 1/2 x) (* 1/8 (pow x 3))) in x
1540195432.712 * [misc]taylor:  Taking taylor expansion of (* 1/2 x) in x
1540195432.712 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1540195432.712 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1540195432.712 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.712 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.712 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.712 * [misc]taylor:  Taking taylor expansion of (* 1/8 (pow x 3)) in x
1540195432.712 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1540195432.712 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1540195432.712 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1540195432.712 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.712 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.712 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.712 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1540195432.712 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1540195432.712 * [misc]backup-simplify:  Simplify 2 into 2
1540195432.713 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540195432.713 * [misc]backup-simplify:  Simplify (+ (* 2 0) (* 0 1)) into 0
1540195432.713 * [misc]backup-simplify:  Simplify (* 1/2 0) into 0
1540195432.713 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195432.713 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195432.713 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195432.713 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.713 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195432.713 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
1540195432.714 * [misc]backup-simplify:  Simplify (+ (* 1/2 1) (* 0 0)) into 1/2
1540195432.714 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1540195432.714 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1540195432.714 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1540195432.714 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1540195432.714 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195432.714 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1540195432.714 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0
1540195432.715 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195432.715 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195432.715 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195432.715 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.715 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195432.715 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1540195432.715 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1540195432.716 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195432.716 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195432.716 * [misc]backup-simplify:  Simplify (* 1/8 1) into 1/8
1540195432.716 * [misc]backup-simplify:  Simplify (+ 0 1/8) into 1/8
1540195432.716 * [misc]backup-simplify:  Simplify (- 1/8) into -1/8
1540195432.716 * [misc]backup-simplify:  Simplify (+ 0 -1/8) into -1/8
1540195432.716 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1540195432.716 * [misc]backup-simplify:  Simplify (+ (* -1/8 (pow (/ 1 x) 3)) (+ (* -1/2 (/ 1 x)) (* 2 (/ 1 (/ 1 x))))) into (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1540195432.717 * [misc]backup-simplify:  Simplify (+ (/ 1 (- x)) (- (+ (/ -1/2 (/ 1 (- x))) (/ 1 (- x))) (/ (/ 1/8 (/ 1 (- x))) (* (/ 1 (- x)) (/ 1 (- x)))))) into (- (+ (* 1/2 x) (* 1/8 (pow x 3))) (* 2 (/ 1 x)))
1540195432.717 * [misc]approximate:  Taking taylor expansion of (- (+ (* 1/2 x) (* 1/8 (pow x 3))) (* 2 (/ 1 x))) in (x) around 0
1540195432.717 * [misc]taylor:  Taking taylor expansion of (- (+ (* 1/2 x) (* 1/8 (pow x 3))) (* 2 (/ 1 x))) in x
1540195432.717 * [misc]taylor:  Taking taylor expansion of (+ (* 1/2 x) (* 1/8 (pow x 3))) in x
1540195432.717 * [misc]taylor:  Taking taylor expansion of (* 1/2 x) in x
1540195432.717 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1540195432.717 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1540195432.717 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.717 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.717 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.717 * [misc]taylor:  Taking taylor expansion of (* 1/8 (pow x 3)) in x
1540195432.717 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1540195432.717 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1540195432.717 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1540195432.717 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.717 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.717 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.717 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 x)) in x
1540195432.717 * [misc]taylor:  Taking taylor expansion of 2 in x
1540195432.717 * [misc]backup-simplify:  Simplify 2 into 2
1540195432.717 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540195432.717 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.717 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.717 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.717 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540195432.717 * [misc]taylor:  Taking taylor expansion of (- (+ (* 1/2 x) (* 1/8 (pow x 3))) (* 2 (/ 1 x))) in x
1540195432.717 * [misc]taylor:  Taking taylor expansion of (+ (* 1/2 x) (* 1/8 (pow x 3))) in x
1540195432.717 * [misc]taylor:  Taking taylor expansion of (* 1/2 x) in x
1540195432.717 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1540195432.717 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1540195432.717 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.717 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.717 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.717 * [misc]taylor:  Taking taylor expansion of (* 1/8 (pow x 3)) in x
1540195432.717 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1540195432.717 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1540195432.717 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1540195432.717 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.717 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.717 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.717 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 x)) in x
1540195432.717 * [misc]taylor:  Taking taylor expansion of 2 in x
1540195432.717 * [misc]backup-simplify:  Simplify 2 into 2
1540195432.717 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540195432.717 * [misc]taylor:  Taking taylor expansion of x in x
1540195432.717 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.717 * [misc]backup-simplify:  Simplify 1 into 1
1540195432.717 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540195432.718 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1540195432.718 * [misc]backup-simplify:  Simplify (- 2) into -2
1540195432.718 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1540195432.718 * [misc]backup-simplify:  Simplify -2 into -2
1540195432.718 * [misc]backup-simplify:  Simplify (* 1/2 0) into 0
1540195432.718 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195432.718 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540195432.718 * [misc]backup-simplify:  Simplify (+ (* 2 0) (* 0 1)) into 0
1540195432.718 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195432.718 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195432.718 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.719 * [misc]backup-simplify:  Simplify (+ (* 1/2 1) (* 0 0)) into 1/2
1540195432.719 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1540195432.719 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195432.719 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
1540195432.719 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195432.719 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1540195432.719 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1540195432.719 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0
1540195432.720 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195432.720 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195432.720 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1540195432.720 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195432.720 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540195432.720 * [misc]backup-simplify:  Simplify 0 into 0
1540195432.720 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1540195432.720 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195432.721 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540195432.721 * [misc]backup-simplify:  Simplify (* 1/8 1) into 1/8
1540195432.721 * [misc]backup-simplify:  Simplify (+ 0 1/8) into 1/8
1540195432.721 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540195432.721 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1540195432.721 * [misc]backup-simplify:  Simplify (- 0) into 0
1540195432.721 * [misc]backup-simplify:  Simplify (+ 1/8 0) into 1/8
1540195432.721 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1540195432.722 * [misc]backup-simplify:  Simplify (+ (* 1/8 (pow (/ 1 (- x)) 3)) (+ (* 1/2 (/ 1 (- x))) (* -2 (/ 1 (/ 1 (- x)))))) into (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1540195432.722 * * * [misc]progress:  simplifying candidates
1540195432.722 * * * * [misc]progress:  [ 1 / 59 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (pow (/ (/ 1/8 x) (* x x)) 1)))))>
1540195432.722 * * * * [misc]progress:  [ 2 / 59 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (exp (- (log (/ 1/8 x)) (log (* x x))))))))>
1540195432.722 * [enter]simplify:  Simplifying (- (log (/ 1/8 x)) (log (* x x)))
1540195432.722 * * [misc]simplify:  iters left: 5 (7 enodes)
1540195432.723 * * [misc]simplify:  iters left: 4 (13 enodes)
1540195432.725 * * [misc]simplify:  iters left: 3 (23 enodes)
1540195432.729 * * [misc]simplify:  iters left: 2 (47 enodes)
1540195432.737 * * [misc]simplify:  iters left: 1 (64 enodes)
1540195432.746 * [exit]simplify:  Simplified to (- (log (/ 1/8 x)) (log (* x x)))
1540195432.746 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (exp (- (log (/ 1/8 x)) (log (* x x))))))))
1540195432.746 * * * * [misc]progress:  [ 3 / 59 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (exp (log (/ (/ 1/8 x) (* x x))))))))>
1540195432.746 * * * * [misc]progress:  [ 4 / 59 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (log (exp (/ (/ 1/8 x) (* x x))))))))>
1540195432.746 * * * * [misc]progress:  [ 5 / 59 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (cbrt (/ (* (* (/ 1/8 x) (/ 1/8 x)) (/ 1/8 x)) (* (* (* x x) (* x x)) (* x x))))))))>
1540195432.747 * [enter]simplify:  Simplifying (/ (* (* (/ 1/8 x) (/ 1/8 x)) (/ 1/8 x)) (* (* (* x x) (* x x)) (* x x)))
1540195432.747 * * [misc]simplify:  iters left: 6 (9 enodes)
1540195432.750 * * [misc]simplify:  iters left: 5 (30 enodes)
1540195432.763 * * [misc]simplify:  iters left: 4 (121 enodes)
1540195432.805 * * [misc]simplify:  iters left: 3 (479 enodes)
1540195433.182 * [exit]simplify:  Simplified to (pow (/ (/ 1/8 x) (* x x)) 3)
1540195433.182 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (cbrt (pow (/ (/ 1/8 x) (* x x)) 3))))))
1540195433.182 * * * * [misc]progress:  [ 6 / 59 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (* (* (cbrt (/ (/ 1/8 x) (* x x))) (cbrt (/ (/ 1/8 x) (* x x)))) (cbrt (/ (/ 1/8 x) (* x x))))))))>
1540195433.182 * * * * [misc]progress:  [ 7 / 59 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (cbrt (* (* (/ (/ 1/8 x) (* x x)) (/ (/ 1/8 x) (* x x))) (/ (/ 1/8 x) (* x x))))))))>
1540195433.182 * * * * [misc]progress:  [ 8 / 59 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (* (sqrt (/ (/ 1/8 x) (* x x))) (sqrt (/ (/ 1/8 x) (* x x))))))))>
1540195433.182 * * * * [misc]progress:  [ 9 / 59 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ (- (/ 1/8 x)) (- (* x x)))))))>
1540195433.182 * * * * [misc]progress:  [ 10 / 59 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (* (/ (* (cbrt (/ 1/8 x)) (cbrt (/ 1/8 x))) x) (/ (cbrt (/ 1/8 x)) x))))))>
1540195433.182 * [enter]simplify:  Simplifying (/ (* (cbrt (/ 1/8 x)) (cbrt (/ 1/8 x))) x)
1540195433.183 * * [misc]simplify:  iters left: 6 (6 enodes)
1540195433.184 * * [misc]simplify:  iters left: 5 (8 enodes)
1540195433.186 * * [misc]simplify:  iters left: 4 (10 enodes)
1540195433.188 * * [misc]simplify:  iters left: 3 (11 enodes)
1540195433.190 * [exit]simplify:  Simplified to (/ (cbrt (/ 1/8 x)) (/ x (cbrt (/ 1/8 x))))
1540195433.190 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (* (/ (cbrt (/ 1/8 x)) (/ x (cbrt (/ 1/8 x)))) (/ (cbrt (/ 1/8 x)) x))))))
1540195433.190 * [enter]simplify:  Simplifying (/ (cbrt (/ 1/8 x)) x)
1540195433.190 * * [misc]simplify:  iters left: 5 (5 enodes)
1540195433.191 * [exit]simplify:  Simplified to (/ (cbrt (/ 1/8 x)) x)
1540195433.191 * [misc]simplify:  Simplified (2 1 2 2 2) to (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (* (/ (* (cbrt (/ 1/8 x)) (cbrt (/ 1/8 x))) x) (/ (cbrt (/ 1/8 x)) x))))))
1540195433.191 * * * * [misc]progress:  [ 11 / 59 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (* (/ (sqrt (/ 1/8 x)) x) (/ (sqrt (/ 1/8 x)) x))))))>
1540195433.191 * [enter]simplify:  Simplifying (/ (sqrt (/ 1/8 x)) x)
1540195433.191 * * [misc]simplify:  iters left: 5 (5 enodes)
1540195433.192 * [exit]simplify:  Simplified to (/ (sqrt (/ 1/8 x)) x)
1540195433.192 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (* (/ (sqrt (/ 1/8 x)) x) (/ (sqrt (/ 1/8 x)) x))))))
1540195433.192 * [enter]simplify:  Simplifying (/ (sqrt (/ 1/8 x)) x)
1540195433.192 * * [misc]simplify:  iters left: 5 (5 enodes)
1540195433.192 * [exit]simplify:  Simplified to (/ (sqrt (/ 1/8 x)) x)
1540195433.193 * [misc]simplify:  Simplified (2 1 2 2 2) to (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (* (/ (sqrt (/ 1/8 x)) x) (/ (sqrt (/ 1/8 x)) x))))))
1540195433.193 * * * * [misc]progress:  [ 12 / 59 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (* (/ 1 x) (/ (/ 1/8 x) x))))))>
1540195433.193 * [enter]simplify:  Simplifying (/ 1 x)
1540195433.193 * * [misc]simplify:  iters left: 2 (3 enodes)
1540195433.193 * * [misc]simplify:  iters left: 1 (5 enodes)
1540195433.194 * [exit]simplify:  Simplified to (/ 1 x)
1540195433.194 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (* (/ 1 x) (/ (/ 1/8 x) x))))))
1540195433.194 * [enter]simplify:  Simplifying (/ (/ 1/8 x) x)
1540195433.194 * * [misc]simplify:  iters left: 4 (4 enodes)
1540195433.195 * * [misc]simplify:  iters left: 3 (6 enodes)
1540195433.196 * [exit]simplify:  Simplified to (/ (/ 1/8 x) x)
1540195433.196 * [misc]simplify:  Simplified (2 1 2 2 2) to (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (* (/ 1 x) (/ (/ 1/8 x) x))))))
1540195433.196 * * * * [misc]progress:  [ 13 / 59 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (* (/ 1/8 x) (/ (/ 1 x) x))))))>
1540195433.198 * [enter]simplify:  Simplifying (/ 1/8 x)
1540195433.198 * * [misc]simplify:  iters left: 2 (3 enodes)
1540195433.199 * [exit]simplify:  Simplified to (/ 1/8 x)
1540195433.199 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (* (/ 1/8 x) (/ (/ 1 x) x))))))
1540195433.199 * [enter]simplify:  Simplifying (/ (/ 1 x) x)
1540195433.199 * * [misc]simplify:  iters left: 4 (4 enodes)
1540195433.200 * * [misc]simplify:  iters left: 3 (8 enodes)
1540195433.201 * [exit]simplify:  Simplified to (/ (/ 1 x) x)
1540195433.201 * [misc]simplify:  Simplified (2 1 2 2 2) to (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (* (/ 1/8 x) (/ (/ 1 x) x))))))
1540195433.201 * * * * [misc]progress:  [ 14 / 59 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (* 1 (/ (/ 1/8 x) (* x x)))))))>
1540195433.201 * * * * [misc]progress:  [ 15 / 59 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (* (/ 1/8 x) (/ 1 (* x x)))))))>
1540195433.201 * * * * [misc]progress:  [ 16 / 59 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ 1 (/ (* x x) (/ 1/8 x)))))))>
1540195433.201 * * * * [misc]progress:  [ 17 / 59 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ (/ (/ 1/8 x) x) x)))))>
1540195433.201 * * * * [misc]progress:  [ 18 / 59 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ (* (cbrt (/ 1/8 x)) (cbrt (/ 1/8 x))) (/ (* x x) (cbrt (/ 1/8 x))))))))>
1540195433.201 * [enter]simplify:  Simplifying (* (cbrt (/ 1/8 x)) (cbrt (/ 1/8 x)))
1540195433.201 * * [misc]simplify:  iters left: 5 (5 enodes)
1540195433.202 * [exit]simplify:  Simplified to (* (cbrt (/ 1/8 x)) (cbrt (/ 1/8 x)))
1540195433.202 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ (* (cbrt (/ 1/8 x)) (cbrt (/ 1/8 x))) (/ (* x x) (cbrt (/ 1/8 x))))))))
1540195433.202 * * * * [misc]progress:  [ 19 / 59 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ (sqrt (/ 1/8 x)) (/ (* x x) (sqrt (/ 1/8 x))))))))>
1540195433.202 * [enter]simplify:  Simplifying (sqrt (/ 1/8 x))
1540195433.202 * * [misc]simplify:  iters left: 3 (4 enodes)
1540195433.203 * [exit]simplify:  Simplified to (sqrt (/ 1/8 x))
1540195433.203 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ (sqrt (/ 1/8 x)) (/ (* x x) (sqrt (/ 1/8 x))))))))
1540195433.203 * * * * [misc]progress:  [ 20 / 59 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ 1 (/ (* x x) (/ 1/8 x)))))))>
1540195433.203 * * * * [misc]progress:  [ 21 / 59 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ 1/8 (/ (* x x) (/ 1 x)))))))>
1540195433.203 * * * * [misc]progress:  [ 22 / 59 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ 1/8 (* (* x x) x))))))>
1540195433.203 * * * * [misc]progress:  [ 23 / 59 ] simplifiying candidate #<alt (λ (x) (+ (log (* (cbrt (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))) (cbrt (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))))) (log (cbrt (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))))))>
1540195433.203 * [enter]simplify:  Simplifying (log (* (cbrt (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))) (cbrt (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x)))))))
1540195433.203 * * [misc]simplify:  iters left: 6 (13 enodes)
1540195433.205 * * [misc]simplify:  iters left: 5 (27 enodes)
1540195433.210 * * [misc]simplify:  iters left: 4 (56 enodes)
1540195433.219 * * [misc]simplify:  iters left: 3 (85 enodes)
1540195433.228 * * [misc]simplify:  iters left: 2 (107 enodes)
1540195433.245 * * [misc]simplify:  iters left: 1 (160 enodes)
1540195433.294 * [exit]simplify:  Simplified to (log (* (cbrt (- (+ (/ -1/2 x) (+ x x)) (/ (/ 1/8 x) (* x x)))) (cbrt (- (+ (/ -1/2 x) (+ x x)) (/ (/ 1/8 x) (* x x))))))
1540195433.294 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (log (* (cbrt (- (+ (/ -1/2 x) (+ x x)) (/ (/ 1/8 x) (* x x)))) (cbrt (- (+ (/ -1/2 x) (+ x x)) (/ (/ 1/8 x) (* x x)))))) (log (cbrt (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))))))
1540195433.294 * * * * [misc]progress:  [ 24 / 59 ] simplifiying candidate #<alt (λ (x) (+ (log (sqrt (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x)))))) (log (sqrt (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))))))>
1540195433.294 * [enter]simplify:  Simplifying (log (sqrt (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))))
1540195433.294 * * [misc]simplify:  iters left: 6 (12 enodes)
1540195433.297 * * [misc]simplify:  iters left: 5 (24 enodes)
1540195433.301 * * [misc]simplify:  iters left: 4 (53 enodes)
1540195433.309 * * [misc]simplify:  iters left: 3 (82 enodes)
1540195433.318 * * [misc]simplify:  iters left: 2 (104 enodes)
1540195433.334 * * [misc]simplify:  iters left: 1 (157 enodes)
1540195433.387 * [exit]simplify:  Simplified to (log (sqrt (+ (+ (/ -1/2 x) (+ x x)) (/ (/ -1/8 x) (* x x)))))
1540195433.387 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (log (sqrt (+ (+ (/ -1/2 x) (+ x x)) (/ (/ -1/8 x) (* x x))))) (log (sqrt (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))))))
1540195433.387 * * * * [misc]progress:  [ 25 / 59 ] simplifiying candidate #<alt (λ (x) (+ (log 1) (log (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x)))))))>
1540195433.388 * [enter]simplify:  Simplifying (log 1)
1540195433.388 * * [misc]simplify:  iters left: 1 (2 enodes)
1540195433.389 * [exit]simplify:  Simplified to 0
1540195433.389 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ 0 (log (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x)))))))
1540195433.389 * * * * [misc]progress:  [ 26 / 59 ] simplifiying candidate #<alt (λ (x) (- (log (+ (pow x 3) (pow (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))) 3))) (log (+ (* x x) (- (* (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))) (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x)))) (* x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x)))))))))>
1540195433.389 * [enter]simplify:  Simplifying (log (+ (pow x 3) (pow (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))) 3)))
1540195433.389 * * [misc]simplify:  iters left: 6 (14 enodes)
1540195433.393 * * [misc]simplify:  iters left: 5 (28 enodes)
1540195433.402 * * [misc]simplify:  iters left: 4 (69 enodes)
1540195433.439 * * [misc]simplify:  iters left: 3 (359 enodes)
1540195434.207 * [exit]simplify:  Simplified to (log (+ (pow x 3) (pow (+ (+ x (/ -1/2 x)) (/ (/ -1/8 x) (* x x))) 3)))
1540195434.208 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (log (+ (pow x 3) (pow (+ (+ x (/ -1/2 x)) (/ (/ -1/8 x) (* x x))) 3))) (log (+ (* x x) (- (* (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))) (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x)))) (* x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x)))))))))
1540195434.208 * * * * [misc]progress:  [ 27 / 59 ] simplifiying candidate #<alt (λ (x) (- (log (- (* x x) (* (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))) (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x)))))) (log (- x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x)))))))>
1540195434.208 * [enter]simplify:  Simplifying (log (- (* x x) (* (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))) (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))))
1540195434.208 * * [misc]simplify:  iters left: 6 (12 enodes)
1540195434.212 * * [misc]simplify:  iters left: 5 (26 enodes)
1540195434.220 * * [misc]simplify:  iters left: 4 (75 enodes)
1540195434.258 * * [misc]simplify:  iters left: 3 (343 enodes)
1540195434.455 * [exit]simplify:  Simplified to (log (* (- (- 0 (/ -1/2 x)) (/ (/ -1/8 x) (* x x))) (+ (/ (/ -1/8 x) (* x x)) (+ (+ x x) (/ -1/2 x)))))
1540195434.455 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (log (* (- (- 0 (/ -1/2 x)) (/ (/ -1/8 x) (* x x))) (+ (/ (/ -1/8 x) (* x x)) (+ (+ x x) (/ -1/2 x))))) (log (- x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x)))))))
1540195434.455 * * * * [misc]progress:  [ 28 / 59 ] simplifiying candidate #<alt (λ (x) (* 1 (log (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x)))))))>
1540195434.455 * * * * [misc]progress:  [ 29 / 59 ] simplifiying candidate #<alt (λ (x) (pow (log (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))) 1))>
1540195434.455 * * * * [misc]progress:  [ 30 / 59 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))))>
1540195434.456 * [enter]simplify:  Simplifying (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))
1540195434.456 * * [misc]simplify:  iters left: 6 (10 enodes)
1540195434.457 * * [misc]simplify:  iters left: 5 (22 enodes)
1540195434.462 * * [misc]simplify:  iters left: 4 (51 enodes)
1540195434.476 * * [misc]simplify:  iters left: 3 (80 enodes)
1540195434.493 * * [misc]simplify:  iters left: 2 (102 enodes)
1540195434.525 * * [misc]simplify:  iters left: 1 (155 enodes)
1540195434.575 * [exit]simplify:  Simplified to (+ (/ (/ -1/8 x) (* x x)) (+ (+ x x) (/ -1/2 x)))
1540195434.575 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (+ (/ (/ -1/8 x) (* x x)) (+ (+ x x) (/ -1/2 x)))))
1540195434.575 * * * * [misc]progress:  [ 31 / 59 ] simplifiying candidate #<alt (λ (x) (exp (log (log (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))))))>
1540195434.576 * * * * [misc]progress:  [ 32 / 59 ] simplifiying candidate #<alt (λ (x) (log (exp (log (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))))))>
1540195434.576 * * * * [misc]progress:  [ 33 / 59 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (log (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x)))))) (cbrt (log (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))))) (cbrt (log (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))))))>
1540195434.576 * * * * [misc]progress:  [ 34 / 59 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))) (log (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x)))))) (log (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))))))>
1540195434.576 * * * * [misc]progress:  [ 35 / 59 ] simplifiying candidate #<alt (λ (x) (* (sqrt (log (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x)))))) (sqrt (log (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))))))>
1540195434.576 * * * * [misc]progress:  [ 36 / 59 ] simplifiying candidate #<alt (λ (x) (* 1 (log (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x)))))))>
1540195434.576 * * * * [misc]progress:  [ 37 / 59 ] simplifiying candidate #<alt (λ (x) (log (pow (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x)))) 1)))>
1540195434.576 * * * * [misc]progress:  [ 38 / 59 ] simplifiying candidate #<alt (λ (x) (log (exp (log (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))))))>
1540195434.576 * * * * [misc]progress:  [ 39 / 59 ] simplifiying candidate #<alt (λ (x) (log (log (exp (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))))))>
1540195434.576 * * * * [misc]progress:  [ 40 / 59 ] simplifiying candidate #<alt (λ (x) (log (* (* (cbrt (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))) (cbrt (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x)))))) (cbrt (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))))))>
1540195434.576 * * * * [misc]progress:  [ 41 / 59 ] simplifiying candidate #<alt (λ (x) (log (cbrt (* (* (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x)))) (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))) (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))))))>
1540195434.576 * * * * [misc]progress:  [ 42 / 59 ] simplifiying candidate #<alt (λ (x) (log (* (sqrt (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))) (sqrt (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))))))>
1540195434.576 * * * * [misc]progress:  [ 43 / 59 ] simplifiying candidate #<alt (λ (x) (log (/ (+ (pow x 3) (pow (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))) 3)) (+ (* x x) (- (* (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))) (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x)))) (* x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x)))))))))>
1540195434.576 * * * * [misc]progress:  [ 44 / 59 ] simplifiying candidate #<alt (λ (x) (log (* 1 (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x)))))))>
1540195434.576 * * * * [misc]progress:  [ 45 / 59 ] simplifiying candidate #<alt (λ (x) (log (/ (- (* x x) (* (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))) (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))) (- x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x)))))))>
1540195434.576 * * * * [misc]progress:  [ 46 / 59 ] simplifiying candidate #<alt (λ (x) (log (+ (+ x (+ (/ -1/2 x) x)) (- (/ (/ 1/8 x) (* x x))))))>
1540195434.576 * [enter]simplify:  Simplifying (- (/ (/ 1/8 x) (* x x)))
1540195434.576 * * [misc]simplify:  iters left: 6 (6 enodes)
1540195434.577 * * [misc]simplify:  iters left: 5 (12 enodes)
1540195434.579 * * [misc]simplify:  iters left: 4 (20 enodes)
1540195434.582 * * [misc]simplify:  iters left: 3 (26 enodes)
1540195434.585 * [exit]simplify:  Simplified to (/ (/ -1/8 x) (* x x))
1540195434.585 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (log (+ (+ x (+ (/ -1/2 x) x)) (/ (/ -1/8 x) (* x x)))))
1540195434.585 * * * * [misc]progress:  [ 47 / 59 ] simplifiying candidate #<alt (λ (x) (log (+ (+ x (/ -1/2 x)) (- x (/ (/ 1/8 x) (* x x))))))>
1540195434.585 * [enter]simplify:  Simplifying (- x (/ (/ 1/8 x) (* x x)))
1540195434.585 * * [misc]simplify:  iters left: 6 (6 enodes)
1540195434.586 * * [misc]simplify:  iters left: 5 (12 enodes)
1540195434.588 * * [misc]simplify:  iters left: 4 (23 enodes)
1540195434.591 * * [misc]simplify:  iters left: 3 (28 enodes)
1540195434.594 * [exit]simplify:  Simplified to (+ x (/ (/ -1/8 x) (* x x)))
1540195434.594 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (log (+ (+ x (/ -1/2 x)) (+ x (/ (/ -1/8 x) (* x x))))))
1540195434.594 * * * * [misc]progress:  [ 48 / 59 ] simplifiying candidate #<alt (λ (x) (log (+ (+ x (+ (/ -1/2 x) x)) (- (/ (/ 1/8 x) (* x x))))))>
1540195434.594 * [enter]simplify:  Simplifying (- (/ (/ 1/8 x) (* x x)))
1540195434.594 * * [misc]simplify:  iters left: 6 (6 enodes)
1540195434.595 * * [misc]simplify:  iters left: 5 (12 enodes)
1540195434.597 * * [misc]simplify:  iters left: 4 (20 enodes)
1540195434.599 * * [misc]simplify:  iters left: 3 (26 enodes)
1540195434.602 * [exit]simplify:  Simplified to (/ (/ -1/8 x) (* x x))
1540195434.602 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (log (+ (+ x (+ (/ -1/2 x) x)) (/ (/ -1/8 x) (* x x)))))
1540195434.602 * * * * [misc]progress:  [ 49 / 59 ] simplifiying candidate #<alt (λ (x) (log (- (+ x (+ (/ -1/2 x) x)) (/ (/ 1/8 x) (* x x)))))>
1540195434.602 * [enter]simplify:  Simplifying (/ (/ 1/8 x) (* x x))
1540195434.602 * * [misc]simplify:  iters left: 4 (5 enodes)
1540195434.603 * * [misc]simplify:  iters left: 3 (9 enodes)
1540195434.605 * * [misc]simplify:  iters left: 2 (12 enodes)
1540195434.606 * * [misc]simplify:  iters left: 1 (14 enodes)
1540195434.608 * [exit]simplify:  Simplified to (/ (/ 1/8 x) (* x x))
1540195434.608 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (log (- (+ x (+ (/ -1/2 x) x)) (/ (/ 1/8 x) (* x x)))))
1540195434.608 * * * * [misc]progress:  [ 50 / 59 ] simplifiying candidate #<alt (λ (x) (log (+ (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))) x)))>
1540195434.608 * * * * [misc]progress:  [ 51 / 59 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ 1/8 (pow x 3))))))>
1540195434.608 * [enter]simplify:  Simplifying (/ 1/8 (pow x 3))
1540195434.608 * * [misc]simplify:  iters left: 3 (5 enodes)
1540195434.609 * * [misc]simplify:  iters left: 2 (8 enodes)
1540195434.610 * * [misc]simplify:  iters left: 1 (12 enodes)
1540195434.612 * [exit]simplify:  Simplified to (/ (/ 1/8 x) (* x x))
1540195434.612 * [misc]simplify:  Simplified (2 1 2 2) to (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))))
1540195434.612 * * * * [misc]progress:  [ 52 / 59 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ 1/8 (pow x 3))))))>
1540195434.612 * [enter]simplify:  Simplifying (/ 1/8 (pow x 3))
1540195434.612 * * [misc]simplify:  iters left: 3 (5 enodes)
1540195434.613 * * [misc]simplify:  iters left: 2 (8 enodes)
1540195434.615 * * [misc]simplify:  iters left: 1 (12 enodes)
1540195434.617 * [exit]simplify:  Simplified to (/ (/ 1/8 x) (* x x))
1540195434.617 * [misc]simplify:  Simplified (2 1 2 2) to (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))))
1540195434.617 * * * * [misc]progress:  [ 53 / 59 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ 1/8 (pow x 3))))))>
1540195434.617 * [enter]simplify:  Simplifying (/ 1/8 (pow x 3))
1540195434.617 * * [misc]simplify:  iters left: 3 (5 enodes)
1540195434.618 * * [misc]simplify:  iters left: 2 (8 enodes)
1540195434.619 * * [misc]simplify:  iters left: 1 (12 enodes)
1540195434.621 * [exit]simplify:  Simplified to (/ (/ 1/8 x) (* x x))
1540195434.621 * [misc]simplify:  Simplified (2 1 2 2) to (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))))
1540195434.621 * * * * [misc]progress:  [ 54 / 59 ] simplifiying candidate #<alt (λ (x) (- (+ (log -1/8) (* 4 (pow x 2))) (+ (* 24 (pow x 4)) (* 3 (log x)))))>
1540195434.621 * [enter]simplify:  Simplifying (- (+ (log -1/8) (* 4 (pow x 2))) (+ (* 24 (pow x 4)) (* 3 (log x))))
1540195434.621 * * [misc]simplify:  iters left: 6 (16 enodes)
1540195434.624 * * [misc]simplify:  iters left: 5 (28 enodes)
1540195434.628 * * [misc]simplify:  iters left: 4 (54 enodes)
1540195434.639 * * [misc]simplify:  iters left: 3 (108 enodes)
1540195434.673 * * [misc]simplify:  iters left: 2 (173 enodes)
1540195434.707 * * [misc]simplify:  iters left: 1 (232 enodes)
1540195434.773 * [exit]simplify:  Simplified to (+ (+ (* (pow x 4) -24) (* (* 4 x) x)) (+ (log -1/8) (* (log x) -3)))
1540195434.773 * [misc]simplify:  Simplified (2) to (λ (x) (+ (+ (* (pow x 4) -24) (* (* 4 x) x)) (+ (log -1/8) (* (log x) -3))))
1540195434.773 * * * * [misc]progress:  [ 55 / 59 ] simplifiying candidate #<alt (λ (x) (- (log 2) (+ (log (/ 1 x)) (+ (* 3/32 (/ 1 (pow x 4))) (* 1/4 (/ 1 (pow x 2)))))))>
1540195434.773 * [enter]simplify:  Simplifying (- (log 2) (+ (log (/ 1 x)) (+ (* 3/32 (/ 1 (pow x 4))) (* 1/4 (/ 1 (pow x 2))))))
1540195434.773 * * [misc]simplify:  iters left: 6 (18 enodes)
1540195434.780 * * [misc]simplify:  iters left: 5 (39 enodes)
1540195434.791 * * [misc]simplify:  iters left: 4 (68 enodes)
1540195434.813 * * [misc]simplify:  iters left: 3 (142 enodes)
1540195434.853 * * [misc]simplify:  iters left: 2 (300 enodes)
1540195434.992 * [exit]simplify:  Simplified to (+ (+ (+ (log 2) (log x)) (/ -3/32 (pow x 4))) (/ -1/4 (* x x)))
1540195434.992 * [misc]simplify:  Simplified (2) to (λ (x) (+ (+ (+ (log 2) (log x)) (/ -3/32 (pow x 4))) (/ -1/4 (* x x))))
1540195434.992 * * * * [misc]progress:  [ 56 / 59 ] simplifiying candidate #<alt (λ (x) (- (log -2) (+ (log (/ -1 x)) (+ (* 3/32 (/ 1 (pow x 4))) (* 1/4 (/ 1 (pow x 2)))))))>
1540195434.992 * [enter]simplify:  Simplifying (- (log -2) (+ (log (/ -1 x)) (+ (* 3/32 (/ 1 (pow x 4))) (* 1/4 (/ 1 (pow x 2))))))
1540195434.992 * * [misc]simplify:  iters left: 6 (20 enodes)
1540195434.997 * * [misc]simplify:  iters left: 5 (40 enodes)
1540195435.004 * * [misc]simplify:  iters left: 4 (79 enodes)
1540195435.029 * * [misc]simplify:  iters left: 3 (181 enodes)
1540195435.112 * * [misc]simplify:  iters left: 2 (460 enodes)
1540195435.429 * [exit]simplify:  Simplified to (- (+ (/ -1/4 (* x x)) (log -2)) (+ (log (/ -1 x)) (/ 3/32 (pow x 4))))
1540195435.429 * [misc]simplify:  Simplified (2) to (λ (x) (- (+ (/ -1/4 (* x x)) (log -2)) (+ (log (/ -1 x)) (/ 3/32 (pow x 4)))))
1540195435.429 * * * * [misc]progress:  [ 57 / 59 ] simplifiying candidate #<alt (λ (x) (log (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))))>
1540195435.430 * [enter]simplify:  Simplifying (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1540195435.430 * * [misc]simplify:  iters left: 6 (14 enodes)
1540195435.433 * * [misc]simplify:  iters left: 5 (31 enodes)
1540195435.438 * * [misc]simplify:  iters left: 4 (46 enodes)
1540195435.447 * * [misc]simplify:  iters left: 3 (89 enodes)
1540195435.462 * * [misc]simplify:  iters left: 2 (148 enodes)
1540195435.480 * * [misc]simplify:  iters left: 1 (212 enodes)
1540195435.538 * [exit]simplify:  Simplified to (- (/ (/ -1/8 x) (* x x)) (+ (/ 1/2 x) (* -2 x)))
1540195435.538 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (- (/ (/ -1/8 x) (* x x)) (+ (/ 1/2 x) (* -2 x)))))
1540195435.538 * * * * [misc]progress:  [ 58 / 59 ] simplifiying candidate #<alt (λ (x) (log (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))))>
1540195435.538 * [enter]simplify:  Simplifying (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1540195435.539 * * [misc]simplify:  iters left: 6 (14 enodes)
1540195435.544 * * [misc]simplify:  iters left: 5 (31 enodes)
1540195435.553 * * [misc]simplify:  iters left: 4 (46 enodes)
1540195435.568 * * [misc]simplify:  iters left: 3 (89 enodes)
1540195435.597 * * [misc]simplify:  iters left: 2 (148 enodes)
1540195435.617 * * [misc]simplify:  iters left: 1 (212 enodes)
1540195435.654 * [exit]simplify:  Simplified to (- (/ (/ -1/8 x) (* x x)) (+ (/ 1/2 x) (* -2 x)))
1540195435.654 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (- (/ (/ -1/8 x) (* x x)) (+ (/ 1/2 x) (* -2 x)))))
1540195435.654 * * * * [misc]progress:  [ 59 / 59 ] simplifiying candidate #<alt (λ (x) (log (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))))>
1540195435.654 * [enter]simplify:  Simplifying (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1540195435.654 * * [misc]simplify:  iters left: 6 (14 enodes)
1540195435.660 * * [misc]simplify:  iters left: 5 (31 enodes)
1540195435.665 * * [misc]simplify:  iters left: 4 (46 enodes)
1540195435.674 * * [misc]simplify:  iters left: 3 (89 enodes)
1540195435.701 * * [misc]simplify:  iters left: 2 (148 enodes)
1540195435.735 * * [misc]simplify:  iters left: 1 (212 enodes)
1540195435.798 * [exit]simplify:  Simplified to (- (/ (/ -1/8 x) (* x x)) (+ (/ 1/2 x) (* -2 x)))
1540195435.798 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (- (/ (/ -1/8 x) (* x x)) (+ (/ 1/2 x) (* -2 x)))))
1540195435.798 * * * [misc]progress:  adding candidates to table
1540195436.272 * [misc]progress:  [Phase 3 of 3] Extracting.
1540195436.272 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))))> #<alt (λ (x) (log (+ x (sqrt (+ -1 (* x x))))))>)
1540195436.272 * * * [misc]regime-changes:  Trying 1 branch expressions: (x)
1540195436.272 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))))))> #<alt (λ (x) (log (+ x (sqrt (+ -1 (* x x))))))>)
1540195436.306 * * * [misc]regime:  Found split indices: #<option (#s(si 0 256))>
1540195436.306 * [enter]simplify:  Simplifying (log (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x)))))
1540195436.306 * * [misc]simplify:  iters left: 6 (11 enodes)
1540195436.307 * * [misc]simplify:  iters left: 5 (13 enodes)
1540195436.308 * [exit]simplify:  Simplified to (log (+ x (- (+ x (/ -1/2 x)) (/ (/ 1/8 x) (* x x)))))
1540195436.308 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1540195436.344 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1540195436.354 * * * * [misc]points:  Setting MPFR precision to 2112
1540195436.355 * * * * [misc]points:  Setting MPFR precision to 2368
1540195436.356 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1540195436.370 * * * * [misc]points:  Setting MPFR precision to 2112
1540195436.373 * * * * [misc]points:  Setting MPFR precision to 2368
1540195436.374 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1540195436.385 * * * * [misc]points:  Setting MPFR precision to 2112
1540195436.388 * * * * [misc]points:  Setting MPFR precision to 2368
1540195436.391 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1540195436.398 * * * * [misc]points:  Setting MPFR precision to 2112
1540195436.402 * * * * [misc]points:  Setting MPFR precision to 2368
1540195436.405 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1540195436.414 * * * * [misc]points:  Setting MPFR precision to 2112
1540195436.422 * * * * [misc]points:  Setting MPFR precision to 2368
1540195436.429 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1540195436.434 * * * * [misc]points:  Setting MPFR precision to 2112
1540195436.452 * * * * [misc]points:  Setting MPFR precision to 2368
1540195436.481 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1540195436.491 * * * * [misc]points:  Setting MPFR precision to 2112
1540195436.539 * * * * [misc]points:  Setting MPFR precision to 2368
1540195436.568 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1540195436.573 * * * * [misc]points:  Setting MPFR precision to 2112
1540195436.700 * * * * [misc]points:  Setting MPFR precision to 2368
1540195436.783 * * * * [misc]points:  Computing exacts for 8000 points
1540195436.812 * * * * [misc]points:  Setting MPFR precision to 2112
1540195437.271 * * * * [misc]points:  Setting MPFR precision to 2368
1540195438.069 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195438.073 * * * * [misc]points:  Sampling 5979 additional inputs, on iter 1 have 2021 / 8000
1540195438.098 * * * * [misc]points:  Computing exacts on every 373 of 5979 points to ramp up precision
1540195438.107 * * * * [misc]points:  Setting MPFR precision to 2112
1540195438.107 * * * * [misc]points:  Setting MPFR precision to 2368
1540195438.108 * * * * [misc]points:  Computing exacts on every 186 of 5979 points to ramp up precision
1540195438.116 * * * * [misc]points:  Setting MPFR precision to 2112
1540195438.118 * * * * [misc]points:  Setting MPFR precision to 2368
1540195438.119 * * * * [misc]points:  Computing exacts on every 93 of 5979 points to ramp up precision
1540195438.136 * * * * [misc]points:  Setting MPFR precision to 2112
1540195438.140 * * * * [misc]points:  Setting MPFR precision to 2368
1540195438.143 * * * * [misc]points:  Computing exacts on every 46 of 5979 points to ramp up precision
1540195438.151 * * * * [misc]points:  Setting MPFR precision to 2112
1540195438.157 * * * * [misc]points:  Setting MPFR precision to 2368
1540195438.163 * * * * [misc]points:  Computing exacts on every 23 of 5979 points to ramp up precision
1540195438.171 * * * * [misc]points:  Setting MPFR precision to 2112
1540195438.183 * * * * [misc]points:  Setting MPFR precision to 2368
1540195438.195 * * * * [misc]points:  Computing exacts on every 11 of 5979 points to ramp up precision
1540195438.214 * * * * [misc]points:  Setting MPFR precision to 2112
1540195438.239 * * * * [misc]points:  Setting MPFR precision to 2368
1540195438.263 * * * * [misc]points:  Computing exacts on every 5 of 5979 points to ramp up precision
1540195438.271 * * * * [misc]points:  Setting MPFR precision to 2112
1540195438.304 * * * * [misc]points:  Setting MPFR precision to 2368
1540195438.347 * * * * [misc]points:  Computing exacts on every 2 of 5979 points to ramp up precision
1540195438.352 * * * * [misc]points:  Setting MPFR precision to 2112
1540195438.444 * * * * [misc]points:  Setting MPFR precision to 2368
1540195438.548 * * * * [misc]points:  Computing exacts for 5979 points
1540195438.554 * * * * [misc]points:  Setting MPFR precision to 2112
1540195438.849 * * * * [misc]points:  Setting MPFR precision to 2368
1540195439.155 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195439.156 * * * * [misc]points:  Sampling 4555 additional inputs, on iter 2 have 3445 / 8000
1540195439.167 * * * * [misc]points:  Computing exacts on every 284 of 4555 points to ramp up precision
1540195439.193 * * * * [misc]points:  Setting MPFR precision to 2112
1540195439.194 * * * * [misc]points:  Setting MPFR precision to 2368
1540195439.195 * * * * [misc]points:  Computing exacts on every 142 of 4555 points to ramp up precision
1540195439.204 * * * * [misc]points:  Setting MPFR precision to 2112
1540195439.205 * * * * [misc]points:  Setting MPFR precision to 2368
1540195439.206 * * * * [misc]points:  Computing exacts on every 71 of 4555 points to ramp up precision
1540195439.211 * * * * [misc]points:  Setting MPFR precision to 2112
1540195439.213 * * * * [misc]points:  Setting MPFR precision to 2368
1540195439.214 * * * * [misc]points:  Computing exacts on every 35 of 4555 points to ramp up precision
1540195439.219 * * * * [misc]points:  Setting MPFR precision to 2112
1540195439.223 * * * * [misc]points:  Setting MPFR precision to 2368
1540195439.227 * * * * [misc]points:  Computing exacts on every 17 of 4555 points to ramp up precision
1540195439.237 * * * * [misc]points:  Setting MPFR precision to 2112
1540195439.244 * * * * [misc]points:  Setting MPFR precision to 2368
1540195439.259 * * * * [misc]points:  Computing exacts on every 8 of 4555 points to ramp up precision
1540195439.269 * * * * [misc]points:  Setting MPFR precision to 2112
1540195439.296 * * * * [misc]points:  Setting MPFR precision to 2368
1540195439.324 * * * * [misc]points:  Computing exacts on every 4 of 4555 points to ramp up precision
1540195439.352 * * * * [misc]points:  Setting MPFR precision to 2112
1540195439.402 * * * * [misc]points:  Setting MPFR precision to 2368
1540195439.444 * * * * [misc]points:  Computing exacts on every 2 of 4555 points to ramp up precision
1540195439.449 * * * * [misc]points:  Setting MPFR precision to 2112
1540195439.544 * * * * [misc]points:  Setting MPFR precision to 2368
1540195439.599 * * * * [misc]points:  Computing exacts for 4555 points
1540195439.608 * * * * [misc]points:  Setting MPFR precision to 2112
1540195440.171 * * * * [misc]points:  Setting MPFR precision to 2368
1540195440.402 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195440.404 * * * * [misc]points:  Sampling 3448 additional inputs, on iter 3 have 4552 / 8000
1540195440.420 * * * * [misc]points:  Computing exacts on every 215 of 3448 points to ramp up precision
1540195440.453 * * * * [misc]points:  Setting MPFR precision to 2112
1540195440.455 * * * * [misc]points:  Setting MPFR precision to 2368
1540195440.455 * * * * [misc]points:  Computing exacts on every 107 of 3448 points to ramp up precision
1540195440.467 * * * * [misc]points:  Setting MPFR precision to 2112
1540195440.469 * * * * [misc]points:  Setting MPFR precision to 2368
1540195440.471 * * * * [misc]points:  Computing exacts on every 53 of 3448 points to ramp up precision
1540195440.478 * * * * [misc]points:  Setting MPFR precision to 2112
1540195440.480 * * * * [misc]points:  Setting MPFR precision to 2368
1540195440.482 * * * * [misc]points:  Computing exacts on every 26 of 3448 points to ramp up precision
1540195440.486 * * * * [misc]points:  Setting MPFR precision to 2112
1540195440.490 * * * * [misc]points:  Setting MPFR precision to 2368
1540195440.494 * * * * [misc]points:  Computing exacts on every 13 of 3448 points to ramp up precision
1540195440.505 * * * * [misc]points:  Setting MPFR precision to 2112
1540195440.515 * * * * [misc]points:  Setting MPFR precision to 2368
1540195440.528 * * * * [misc]points:  Computing exacts on every 6 of 3448 points to ramp up precision
1540195440.538 * * * * [misc]points:  Setting MPFR precision to 2112
1540195440.564 * * * * [misc]points:  Setting MPFR precision to 2368
1540195440.583 * * * * [misc]points:  Computing exacts on every 3 of 3448 points to ramp up precision
1540195440.599 * * * * [misc]points:  Setting MPFR precision to 2112
1540195440.626 * * * * [misc]points:  Setting MPFR precision to 2368
1540195440.671 * * * * [misc]points:  Computing exacts for 3448 points
1540195440.681 * * * * [misc]points:  Setting MPFR precision to 2112
1540195440.843 * * * * [misc]points:  Setting MPFR precision to 2368
1540195441.047 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195441.048 * * * * [misc]points:  Sampling 2599 additional inputs, on iter 4 have 5401 / 8000
1540195441.060 * * * * [misc]points:  Computing exacts on every 162 of 2599 points to ramp up precision
1540195441.100 * * * * [misc]points:  Setting MPFR precision to 2112
1540195441.102 * * * * [misc]points:  Setting MPFR precision to 2368
1540195441.105 * * * * [misc]points:  Computing exacts on every 81 of 2599 points to ramp up precision
1540195441.116 * * * * [misc]points:  Setting MPFR precision to 2112
1540195441.118 * * * * [misc]points:  Setting MPFR precision to 2368
1540195441.120 * * * * [misc]points:  Computing exacts on every 40 of 2599 points to ramp up precision
1540195441.130 * * * * [misc]points:  Setting MPFR precision to 2112
1540195441.133 * * * * [misc]points:  Setting MPFR precision to 2368
1540195441.137 * * * * [misc]points:  Computing exacts on every 20 of 2599 points to ramp up precision
1540195441.147 * * * * [misc]points:  Setting MPFR precision to 2112
1540195441.155 * * * * [misc]points:  Setting MPFR precision to 2368
1540195441.159 * * * * [misc]points:  Computing exacts on every 10 of 2599 points to ramp up precision
1540195441.163 * * * * [misc]points:  Setting MPFR precision to 2112
1540195441.171 * * * * [misc]points:  Setting MPFR precision to 2368
1540195441.177 * * * * [misc]points:  Computing exacts on every 5 of 2599 points to ramp up precision
1540195441.185 * * * * [misc]points:  Setting MPFR precision to 2112
1540195441.209 * * * * [misc]points:  Setting MPFR precision to 2368
1540195441.238 * * * * [misc]points:  Computing exacts on every 2 of 2599 points to ramp up precision
1540195441.265 * * * * [misc]points:  Setting MPFR precision to 2112
1540195441.313 * * * * [misc]points:  Setting MPFR precision to 2368
1540195441.355 * * * * [misc]points:  Computing exacts for 2599 points
1540195441.360 * * * * [misc]points:  Setting MPFR precision to 2112
1540195441.462 * * * * [misc]points:  Setting MPFR precision to 2368
1540195441.589 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195441.590 * * * * [misc]points:  Sampling 1976 additional inputs, on iter 5 have 6024 / 8000
1540195441.599 * * * * [misc]points:  Computing exacts on every 123 of 1976 points to ramp up precision
1540195441.610 * * * * [misc]points:  Setting MPFR precision to 2112
1540195441.611 * * * * [misc]points:  Setting MPFR precision to 2368
1540195441.612 * * * * [misc]points:  Computing exacts on every 61 of 1976 points to ramp up precision
1540195441.622 * * * * [misc]points:  Setting MPFR precision to 2112
1540195441.942 * * * * [misc]points:  Setting MPFR precision to 2368
1540195441.945 * * * * [misc]points:  Computing exacts on every 30 of 1976 points to ramp up precision
1540195441.956 * * * * [misc]points:  Setting MPFR precision to 2112
1540195441.960 * * * * [misc]points:  Setting MPFR precision to 2368
1540195441.964 * * * * [misc]points:  Computing exacts on every 15 of 1976 points to ramp up precision
1540195441.973 * * * * [misc]points:  Setting MPFR precision to 2112
1540195441.980 * * * * [misc]points:  Setting MPFR precision to 2368
1540195441.987 * * * * [misc]points:  Computing exacts on every 7 of 1976 points to ramp up precision
1540195441.996 * * * * [misc]points:  Setting MPFR precision to 2112
1540195442.009 * * * * [misc]points:  Setting MPFR precision to 2368
1540195442.022 * * * * [misc]points:  Computing exacts on every 3 of 1976 points to ramp up precision
1540195442.042 * * * * [misc]points:  Setting MPFR precision to 2112
1540195442.056 * * * * [misc]points:  Setting MPFR precision to 2368
1540195442.077 * * * * [misc]points:  Computing exacts for 1976 points
1540195442.087 * * * * [misc]points:  Setting MPFR precision to 2112
1540195442.184 * * * * [misc]points:  Setting MPFR precision to 2368
1540195442.274 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195442.274 * * * * [misc]points:  Sampling 1477 additional inputs, on iter 6 have 6523 / 8000
1540195442.278 * * * * [misc]points:  Computing exacts on every 92 of 1477 points to ramp up precision
1540195442.306 * * * * [misc]points:  Setting MPFR precision to 2112
1540195442.307 * * * * [misc]points:  Setting MPFR precision to 2368
1540195442.308 * * * * [misc]points:  Computing exacts on every 46 of 1477 points to ramp up precision
1540195442.313 * * * * [misc]points:  Setting MPFR precision to 2112
1540195442.315 * * * * [misc]points:  Setting MPFR precision to 2368
1540195442.316 * * * * [misc]points:  Computing exacts on every 23 of 1477 points to ramp up precision
1540195442.321 * * * * [misc]points:  Setting MPFR precision to 2112
1540195442.323 * * * * [misc]points:  Setting MPFR precision to 2368
1540195442.324 * * * * [misc]points:  Computing exacts on every 11 of 1477 points to ramp up precision
1540195442.329 * * * * [misc]points:  Setting MPFR precision to 2112
1540195442.337 * * * * [misc]points:  Setting MPFR precision to 2368
1540195442.341 * * * * [misc]points:  Computing exacts on every 5 of 1477 points to ramp up precision
1540195442.346 * * * * [misc]points:  Setting MPFR precision to 2112
1540195442.353 * * * * [misc]points:  Setting MPFR precision to 2368
1540195442.361 * * * * [misc]points:  Computing exacts on every 2 of 1477 points to ramp up precision
1540195442.372 * * * * [misc]points:  Setting MPFR precision to 2112
1540195442.397 * * * * [misc]points:  Setting MPFR precision to 2368
1540195442.423 * * * * [misc]points:  Computing exacts for 1477 points
1540195442.455 * * * * [misc]points:  Setting MPFR precision to 2112
1540195442.532 * * * * [misc]points:  Setting MPFR precision to 2368
1540195442.609 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195442.609 * * * * [misc]points:  Sampling 1106 additional inputs, on iter 7 have 6894 / 8000
1540195442.612 * * * * [misc]points:  Computing exacts on every 69 of 1106 points to ramp up precision
1540195442.618 * * * * [misc]points:  Setting MPFR precision to 2112
1540195442.619 * * * * [misc]points:  Setting MPFR precision to 2368
1540195442.620 * * * * [misc]points:  Computing exacts on every 34 of 1106 points to ramp up precision
1540195442.624 * * * * [misc]points:  Setting MPFR precision to 2112
1540195442.626 * * * * [misc]points:  Setting MPFR precision to 2368
1540195442.627 * * * * [misc]points:  Computing exacts on every 17 of 1106 points to ramp up precision
1540195442.631 * * * * [misc]points:  Setting MPFR precision to 2112
1540195442.635 * * * * [misc]points:  Setting MPFR precision to 2368
1540195442.638 * * * * [misc]points:  Computing exacts on every 8 of 1106 points to ramp up precision
1540195442.656 * * * * [misc]points:  Setting MPFR precision to 2112
1540195442.663 * * * * [misc]points:  Setting MPFR precision to 2368
1540195442.671 * * * * [misc]points:  Computing exacts on every 4 of 1106 points to ramp up precision
1540195442.681 * * * * [misc]points:  Setting MPFR precision to 2112
1540195442.690 * * * * [misc]points:  Setting MPFR precision to 2368
1540195442.696 * * * * [misc]points:  Computing exacts on every 2 of 1106 points to ramp up precision
1540195442.702 * * * * [misc]points:  Setting MPFR precision to 2112
1540195442.711 * * * * [misc]points:  Setting MPFR precision to 2368
1540195442.732 * * * * [misc]points:  Computing exacts for 1106 points
1540195442.738 * * * * [misc]points:  Setting MPFR precision to 2112
1540195442.786 * * * * [misc]points:  Setting MPFR precision to 2368
1540195442.846 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195442.846 * * * * [misc]points:  Sampling 838 additional inputs, on iter 8 have 7162 / 8000
1540195442.850 * * * * [misc]points:  Computing exacts on every 52 of 838 points to ramp up precision
1540195442.885 * * * * [misc]points:  Setting MPFR precision to 2112
1540195442.886 * * * * [misc]points:  Setting MPFR precision to 2368
1540195442.889 * * * * [misc]points:  Computing exacts on every 26 of 838 points to ramp up precision
1540195442.899 * * * * [misc]points:  Setting MPFR precision to 2112
1540195442.901 * * * * [misc]points:  Setting MPFR precision to 2368
1540195442.902 * * * * [misc]points:  Computing exacts on every 13 of 838 points to ramp up precision
1540195442.908 * * * * [misc]points:  Setting MPFR precision to 2112
1540195442.909 * * * * [misc]points:  Setting MPFR precision to 2368
1540195442.911 * * * * [misc]points:  Computing exacts on every 6 of 838 points to ramp up precision
1540195442.916 * * * * [misc]points:  Setting MPFR precision to 2112
1540195442.923 * * * * [misc]points:  Setting MPFR precision to 2368
1540195442.927 * * * * [misc]points:  Computing exacts on every 3 of 838 points to ramp up precision
1540195442.932 * * * * [misc]points:  Setting MPFR precision to 2112
1540195442.937 * * * * [misc]points:  Setting MPFR precision to 2368
1540195442.943 * * * * [misc]points:  Computing exacts for 838 points
1540195442.948 * * * * [misc]points:  Setting MPFR precision to 2112
1540195442.971 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.022 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195443.022 * * * * [misc]points:  Sampling 623 additional inputs, on iter 9 have 7377 / 8000
1540195443.025 * * * * [misc]points:  Computing exacts on every 38 of 623 points to ramp up precision
1540195443.030 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.030 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.031 * * * * [misc]points:  Computing exacts on every 19 of 623 points to ramp up precision
1540195443.035 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.037 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.038 * * * * [misc]points:  Computing exacts on every 9 of 623 points to ramp up precision
1540195443.042 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.044 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.046 * * * * [misc]points:  Computing exacts on every 4 of 623 points to ramp up precision
1540195443.064 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.071 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.078 * * * * [misc]points:  Computing exacts on every 2 of 623 points to ramp up precision
1540195443.088 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.096 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.102 * * * * [misc]points:  Computing exacts for 623 points
1540195443.107 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.127 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.174 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195443.174 * * * * [misc]points:  Sampling 456 additional inputs, on iter 10 have 7544 / 8000
1540195443.176 * * * * [misc]points:  Computing exacts on every 28 of 456 points to ramp up precision
1540195443.181 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.182 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.182 * * * * [misc]points:  Computing exacts on every 14 of 456 points to ramp up precision
1540195443.187 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.188 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.188 * * * * [misc]points:  Computing exacts on every 7 of 456 points to ramp up precision
1540195443.193 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.195 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.197 * * * * [misc]points:  Computing exacts on every 3 of 456 points to ramp up precision
1540195443.211 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.217 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.224 * * * * [misc]points:  Computing exacts for 456 points
1540195443.233 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.252 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.265 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195443.265 * * * * [misc]points:  Sampling 335 additional inputs, on iter 11 have 7665 / 8000
1540195443.266 * * * * [misc]points:  Computing exacts on every 20 of 335 points to ramp up precision
1540195443.280 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.281 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.281 * * * * [misc]points:  Computing exacts on every 10 of 335 points to ramp up precision
1540195443.286 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.287 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.289 * * * * [misc]points:  Computing exacts on every 5 of 335 points to ramp up precision
1540195443.293 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.295 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.297 * * * * [misc]points:  Computing exacts on every 2 of 335 points to ramp up precision
1540195443.305 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.311 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.318 * * * * [misc]points:  Computing exacts for 335 points
1540195443.331 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.342 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.361 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195443.361 * * * * [misc]points:  Sampling 251 additional inputs, on iter 12 have 7749 / 8000
1540195443.362 * * * * [misc]points:  Computing exacts on every 15 of 251 points to ramp up precision
1540195443.368 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.368 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.368 * * * * [misc]points:  Computing exacts on every 7 of 251 points to ramp up precision
1540195443.373 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.374 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.375 * * * * [misc]points:  Computing exacts on every 3 of 251 points to ramp up precision
1540195443.385 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.387 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.389 * * * * [misc]points:  Computing exacts for 251 points
1540195443.393 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.404 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.416 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195443.416 * * * * [misc]points:  Sampling 191 additional inputs, on iter 13 have 7809 / 8000
1540195443.417 * * * * [misc]points:  Computing exacts on every 11 of 191 points to ramp up precision
1540195443.427 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.428 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.429 * * * * [misc]points:  Computing exacts on every 5 of 191 points to ramp up precision
1540195443.440 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.441 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.443 * * * * [misc]points:  Computing exacts on every 2 of 191 points to ramp up precision
1540195443.456 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.458 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.460 * * * * [misc]points:  Computing exacts for 191 points
1540195443.470 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.480 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.491 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195443.491 * * * * [misc]points:  Sampling 144 additional inputs, on iter 14 have 7856 / 8000
1540195443.492 * * * * [misc]points:  Computing exacts on every 9 of 144 points to ramp up precision
1540195443.502 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.503 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.504 * * * * [misc]points:  Computing exacts on every 4 of 144 points to ramp up precision
1540195443.513 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.514 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.515 * * * * [misc]points:  Computing exacts on every 2 of 144 points to ramp up precision
1540195443.520 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.522 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.523 * * * * [misc]points:  Computing exacts for 144 points
1540195443.528 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.532 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.537 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195443.537 * * * * [misc]points:  Sampling 101 additional inputs, on iter 15 have 7899 / 8000
1540195443.537 * * * * [misc]points:  Computing exacts on every 6 of 101 points to ramp up precision
1540195443.542 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.542 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.543 * * * * [misc]points:  Computing exacts on every 3 of 101 points to ramp up precision
1540195443.867 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.869 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.870 * * * * [misc]points:  Computing exacts for 101 points
1540195443.880 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.886 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.892 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195443.892 * * * * [misc]points:  Sampling 74 additional inputs, on iter 16 have 7926 / 8000
1540195443.892 * * * * [misc]points:  Computing exacts on every 4 of 74 points to ramp up precision
1540195443.902 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.903 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.904 * * * * [misc]points:  Computing exacts on every 2 of 74 points to ramp up precision
1540195443.914 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.916 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.917 * * * * [misc]points:  Computing exacts for 74 points
1540195443.932 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.937 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.941 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195443.941 * * * * [misc]points:  Sampling 54 additional inputs, on iter 17 have 7946 / 8000
1540195443.941 * * * * [misc]points:  Computing exacts on every 3 of 54 points to ramp up precision
1540195443.951 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.952 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.953 * * * * [misc]points:  Computing exacts for 54 points
1540195443.963 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.966 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.970 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195443.970 * * * * [misc]points:  Sampling 38 additional inputs, on iter 18 have 7962 / 8000
1540195443.970 * * * * [misc]points:  Computing exacts on every 2 of 38 points to ramp up precision
1540195443.980 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.981 * * * * [misc]points:  Setting MPFR precision to 2368
1540195443.981 * * * * [misc]points:  Computing exacts for 38 points
1540195443.996 * * * * [misc]points:  Setting MPFR precision to 2112
1540195443.998 * * * * [misc]points:  Setting MPFR precision to 2368
1540195444.000 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195444.000 * * * * [misc]points:  Sampling 29 additional inputs, on iter 19 have 7971 / 8000
1540195444.000 * * * * [misc]points:  Computing exacts for 29 points
1540195444.010 * * * * [misc]points:  Setting MPFR precision to 2112
1540195444.012 * * * * [misc]points:  Setting MPFR precision to 2368
1540195444.013 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195444.014 * * * * [misc]points:  Sampling 21 additional inputs, on iter 20 have 7979 / 8000
1540195444.014 * * * * [misc]points:  Computing exacts for 21 points
1540195444.024 * * * * [misc]points:  Setting MPFR precision to 2112
1540195444.026 * * * * [misc]points:  Setting MPFR precision to 2368
1540195444.027 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195444.027 * * * * [misc]points:  Sampling 12 additional inputs, on iter 21 have 7988 / 8000
1540195444.027 * * * * [misc]points:  Computing exacts for 12 points
1540195444.038 * * * * [misc]points:  Setting MPFR precision to 2112
1540195444.039 * * * * [misc]points:  Setting MPFR precision to 2368
1540195444.040 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195444.040 * * * * [misc]points:  Sampling 8 additional inputs, on iter 22 have 7992 / 8000
1540195444.040 * * * * [misc]points:  Computing exacts for 8 points
1540195444.054 * * * * [misc]points:  Setting MPFR precision to 2112
1540195444.055 * * * * [misc]points:  Setting MPFR precision to 2368
1540195444.055 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195444.055 * * * * [misc]points:  Sampling 7 additional inputs, on iter 23 have 7993 / 8000
1540195444.055 * * * * [misc]points:  Computing exacts for 7 points
1540195444.060 * * * * [misc]points:  Setting MPFR precision to 2112
1540195444.060 * * * * [misc]points:  Setting MPFR precision to 2368
1540195444.061 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195444.061 * * * * [misc]points:  Sampling 5 additional inputs, on iter 24 have 7995 / 8000
1540195444.061 * * * * [misc]points:  Computing exacts for 5 points
1540195444.065 * * * * [misc]points:  Setting MPFR precision to 2112
1540195444.066 * * * * [misc]points:  Setting MPFR precision to 2368
1540195444.066 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195444.066 * * * * [misc]points:  Sampling 4 additional inputs, on iter 25 have 7997 / 8000
1540195444.066 * * * * [misc]points:  Computing exacts for 4 points
1540195444.071 * * * * [misc]points:  Setting MPFR precision to 2112
1540195444.071 * * * * [misc]points:  Setting MPFR precision to 2368
1540195444.071 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195444.071 * * * * [misc]points:  Sampling 4 additional inputs, on iter 26 have 7998 / 8000
1540195444.071 * * * * [misc]points:  Computing exacts for 4 points
1540195444.078 * * * * [misc]points:  Setting MPFR precision to 2112
1540195444.078 * * * * [misc]points:  Setting MPFR precision to 2368
1540195444.078 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195444.078 * * * * [misc]points:  Sampling 4 additional inputs, on iter 27 have 7998 / 8000
1540195444.078 * * * * [misc]points:  Computing exacts for 4 points
1540195444.083 * * * * [misc]points:  Setting MPFR precision to 2112
1540195444.083 * * * * [misc]points:  Setting MPFR precision to 2368
1540195444.083 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540195444.083 * * * * [exit]points:  Sampled 8001 points with exact outputs
1540195444.360 * [misc]regime-testing:  Baseline error score: 0.2261643757996339
1540195444.360 * [misc]regime-testing:  End program error score: 0.2261643757996339
1540195444.362 * [misc]regime-testing:  Oracle error score: 0.07855651239217093