1540333001.756 * [misc]progress:  [Phase 1 of 3] Setting up.
1540333001.756 * * * [misc]progress:  [1/2] Preparing points
1540333001.756 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1540333001.758 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1540333001.760 * * * * [misc]points:  Setting MPFR precision to 64
1540333001.762 * * * * [misc]points:  Setting MPFR precision to 320
1540333001.763 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1540333001.765 * * * * [misc]points:  Setting MPFR precision to 64
1540333001.767 * * * * [misc]points:  Setting MPFR precision to 320
1540333001.768 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1540333001.770 * * * * [misc]points:  Setting MPFR precision to 64
1540333001.773 * * * * [misc]points:  Setting MPFR precision to 320
1540333001.776 * * * * [misc]points:  Setting MPFR precision to 576
1540333001.780 * * * * [misc]points:  Setting MPFR precision to 832
1540333001.784 * * * * [misc]points:  Setting MPFR precision to 1088
1540333001.789 * * * * [misc]points:  Setting MPFR precision to 1344
1540333001.794 * * * * [misc]points:  Setting MPFR precision to 1600
1540333001.802 * * * * [misc]points:  Setting MPFR precision to 1856
1540333001.810 * * * * [misc]points:  Setting MPFR precision to 2112
1540333001.819 * * * * [misc]points:  Setting MPFR precision to 2368
1540333001.829 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1540333001.831 * * * * [misc]points:  Setting MPFR precision to 2112
1540333001.843 * * * * [misc]points:  Setting MPFR precision to 2368
1540333001.858 * * * * [misc]points:  Computing exacts for 256 points
1540333001.860 * * * * [misc]points:  Setting MPFR precision to 2112
1540333001.896 * * * * [misc]points:  Setting MPFR precision to 2368
1540333001.920 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333001.921 * * * * [misc]points:  Sampling 193 additional inputs, on iter 1 have 63 / 256
1540333001.921 * * * * [misc]points:  Computing exacts on every 12 of 193 points to ramp up precision
1540333001.922 * * * * [misc]points:  Setting MPFR precision to 2112
1540333001.924 * * * * [misc]points:  Setting MPFR precision to 2368
1540333001.927 * * * * [misc]points:  Computing exacts on every 6 of 193 points to ramp up precision
1540333001.928 * * * * [misc]points:  Setting MPFR precision to 2112
1540333001.932 * * * * [misc]points:  Setting MPFR precision to 2368
1540333001.936 * * * * [misc]points:  Computing exacts on every 3 of 193 points to ramp up precision
1540333001.938 * * * * [misc]points:  Setting MPFR precision to 2112
1540333001.946 * * * * [misc]points:  Setting MPFR precision to 2368
1540333001.954 * * * * [misc]points:  Computing exacts for 193 points
1540333001.956 * * * * [misc]points:  Setting MPFR precision to 2112
1540333001.988 * * * * [misc]points:  Setting MPFR precision to 2368
1540333002.025 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333002.025 * * * * [misc]points:  Sampling 156 additional inputs, on iter 2 have 100 / 256
1540333002.027 * * * * [misc]points:  Computing exacts on every 9 of 156 points to ramp up precision
1540333002.028 * * * * [misc]points:  Setting MPFR precision to 2112
1540333002.031 * * * * [misc]points:  Setting MPFR precision to 2368
1540333002.033 * * * * [misc]points:  Computing exacts on every 4 of 156 points to ramp up precision
1540333002.035 * * * * [misc]points:  Setting MPFR precision to 2112
1540333002.039 * * * * [misc]points:  Setting MPFR precision to 2368
1540333002.045 * * * * [misc]points:  Computing exacts on every 2 of 156 points to ramp up precision
1540333002.047 * * * * [misc]points:  Setting MPFR precision to 2112
1540333002.060 * * * * [misc]points:  Setting MPFR precision to 2368
1540333002.073 * * * * [misc]points:  Computing exacts for 156 points
1540333002.075 * * * * [misc]points:  Setting MPFR precision to 2112
1540333002.095 * * * * [misc]points:  Setting MPFR precision to 2368
1540333002.137 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333002.137 * * * * [misc]points:  Sampling 113 additional inputs, on iter 3 have 143 / 256
1540333002.138 * * * * [misc]points:  Computing exacts on every 7 of 113 points to ramp up precision
1540333002.139 * * * * [misc]points:  Setting MPFR precision to 2112
1540333002.140 * * * * [misc]points:  Setting MPFR precision to 2368
1540333002.143 * * * * [misc]points:  Computing exacts on every 3 of 113 points to ramp up precision
1540333002.144 * * * * [misc]points:  Setting MPFR precision to 2112
1540333002.146 * * * * [misc]points:  Setting MPFR precision to 2368
1540333002.149 * * * * [misc]points:  Computing exacts for 113 points
1540333002.150 * * * * [misc]points:  Setting MPFR precision to 2112
1540333002.161 * * * * [misc]points:  Setting MPFR precision to 2368
1540333002.172 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333002.172 * * * * [misc]points:  Sampling 86 additional inputs, on iter 4 have 170 / 256
1540333002.172 * * * * [misc]points:  Computing exacts on every 5 of 86 points to ramp up precision
1540333002.173 * * * * [misc]points:  Setting MPFR precision to 2112
1540333002.174 * * * * [misc]points:  Setting MPFR precision to 2368
1540333002.176 * * * * [misc]points:  Computing exacts on every 2 of 86 points to ramp up precision
1540333002.177 * * * * [misc]points:  Setting MPFR precision to 2112
1540333002.179 * * * * [misc]points:  Setting MPFR precision to 2368
1540333002.183 * * * * [misc]points:  Computing exacts for 86 points
1540333002.184 * * * * [misc]points:  Setting MPFR precision to 2112
1540333002.195 * * * * [misc]points:  Setting MPFR precision to 2368
1540333002.209 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333002.210 * * * * [misc]points:  Sampling 73 additional inputs, on iter 5 have 183 / 256
1540333002.210 * * * * [misc]points:  Computing exacts on every 4 of 73 points to ramp up precision
1540333002.212 * * * * [misc]points:  Setting MPFR precision to 2112
1540333002.214 * * * * [misc]points:  Setting MPFR precision to 2368
1540333002.216 * * * * [misc]points:  Computing exacts on every 2 of 73 points to ramp up precision
1540333002.217 * * * * [misc]points:  Setting MPFR precision to 2112
1540333002.221 * * * * [misc]points:  Setting MPFR precision to 2368
1540333002.224 * * * * [misc]points:  Computing exacts for 73 points
1540333002.226 * * * * [misc]points:  Setting MPFR precision to 2112
1540333002.238 * * * * [misc]points:  Setting MPFR precision to 2368
1540333002.253 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333002.253 * * * * [misc]points:  Sampling 56 additional inputs, on iter 6 have 200 / 256
1540333002.254 * * * * [misc]points:  Computing exacts on every 3 of 56 points to ramp up precision
1540333002.255 * * * * [misc]points:  Setting MPFR precision to 2112
1540333002.258 * * * * [misc]points:  Setting MPFR precision to 2368
1540333002.262 * * * * [misc]points:  Computing exacts for 56 points
1540333002.264 * * * * [misc]points:  Setting MPFR precision to 2112
1540333002.270 * * * * [misc]points:  Setting MPFR precision to 2368
1540333002.275 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333002.275 * * * * [misc]points:  Sampling 44 additional inputs, on iter 7 have 212 / 256
1540333002.276 * * * * [misc]points:  Computing exacts on every 2 of 44 points to ramp up precision
1540333002.277 * * * * [misc]points:  Setting MPFR precision to 2112
1540333002.279 * * * * [misc]points:  Setting MPFR precision to 2368
1540333002.281 * * * * [misc]points:  Computing exacts for 44 points
1540333002.283 * * * * [misc]points:  Setting MPFR precision to 2112
1540333002.288 * * * * [misc]points:  Setting MPFR precision to 2368
1540333002.295 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333002.295 * * * * [misc]points:  Sampling 31 additional inputs, on iter 8 have 225 / 256
1540333002.295 * * * * [misc]points:  Computing exacts for 31 points
1540333002.296 * * * * [misc]points:  Setting MPFR precision to 2112
1540333002.300 * * * * [misc]points:  Setting MPFR precision to 2368
1540333002.303 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333002.303 * * * * [misc]points:  Sampling 24 additional inputs, on iter 9 have 232 / 256
1540333002.304 * * * * [misc]points:  Computing exacts for 24 points
1540333002.305 * * * * [misc]points:  Setting MPFR precision to 2112
1540333002.309 * * * * [misc]points:  Setting MPFR precision to 2368
1540333002.313 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333002.313 * * * * [misc]points:  Sampling 21 additional inputs, on iter 10 have 235 / 256
1540333002.313 * * * * [misc]points:  Computing exacts for 21 points
1540333002.315 * * * * [misc]points:  Setting MPFR precision to 2112
1540333002.319 * * * * [misc]points:  Setting MPFR precision to 2368
1540333002.323 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333002.323 * * * * [misc]points:  Sampling 12 additional inputs, on iter 11 have 244 / 256
1540333002.324 * * * * [misc]points:  Computing exacts for 12 points
1540333002.325 * * * * [misc]points:  Setting MPFR precision to 2112
1540333002.328 * * * * [misc]points:  Setting MPFR precision to 2368
1540333002.331 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333002.331 * * * * [misc]points:  Sampling 8 additional inputs, on iter 12 have 248 / 256
1540333002.331 * * * * [misc]points:  Computing exacts for 8 points
1540333002.333 * * * * [misc]points:  Setting MPFR precision to 2112
1540333002.335 * * * * [misc]points:  Setting MPFR precision to 2368
1540333002.338 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333002.338 * * * * [misc]points:  Sampling 4 additional inputs, on iter 13 have 253 / 256
1540333002.339 * * * * [misc]points:  Computing exacts for 4 points
1540333002.340 * * * * [misc]points:  Setting MPFR precision to 2112
1540333002.341 * * * * [misc]points:  Setting MPFR precision to 2368
1540333002.341 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333002.341 * * * * [misc]points:  Sampling 4 additional inputs, on iter 14 have 254 / 256
1540333002.342 * * * * [misc]points:  Computing exacts for 4 points
1540333002.343 * * * * [misc]points:  Setting MPFR precision to 2112
1540333002.344 * * * * [misc]points:  Setting MPFR precision to 2368
1540333002.344 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333002.344 * * * * [misc]points:  Sampling 4 additional inputs, on iter 15 have 254 / 256
1540333002.345 * * * * [misc]points:  Computing exacts for 4 points
1540333002.346 * * * * [misc]points:  Setting MPFR precision to 2112
1540333002.346 * * * * [misc]points:  Setting MPFR precision to 2368
1540333002.347 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333002.347 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 254 / 256
1540333002.347 * * * * [misc]points:  Computing exacts for 4 points
1540333002.348 * * * * [misc]points:  Setting MPFR precision to 2112
1540333002.349 * * * * [misc]points:  Setting MPFR precision to 2368
1540333002.349 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333002.349 * * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 254 / 256
1540333002.349 * * * * [misc]points:  Computing exacts for 4 points
1540333002.351 * * * * [misc]points:  Setting MPFR precision to 2112
1540333002.352 * * * * [misc]points:  Setting MPFR precision to 2368
1540333002.352 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333002.352 * * * * [misc]points:  Sampling 4 additional inputs, on iter 18 have 255 / 256
1540333002.353 * * * * [misc]points:  Computing exacts for 4 points
1540333002.354 * * * * [misc]points:  Setting MPFR precision to 2112
1540333002.355 * * * * [misc]points:  Setting MPFR precision to 2368
1540333002.357 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333002.357 * * * * [exit]points:  Sampled 256 points with exact outputs
1540333002.357 * * * [misc]progress:  [2/2] Setting up program.
1540333002.364 * [misc]progress:  [Phase 2 of 3] Improving.
1540333002.365 * [enter]simplify:  Simplifying (pow (atan (fmod a (asin a))) (* a a))
1540333002.366 * * [misc]simplify:  iters left: 4 (6 enodes)
1540333002.368 * [exit]simplify:  Simplified to (pow (atan (fmod a (asin a))) (* a a))
1540333002.399 * * [misc]progress:  iteration 1 / 4
1540333002.399 * * * [misc]progress:  picking best candidate
1540333002.403 * * * * [misc]pick:  Picked  #<alt (λ (a) (pow (atan (fmod a (asin a))) (* a a)))>
1540333002.404 * * * [misc]progress:  localizing error
1540333002.498 * * * [misc]progress:  generating rewritten candidates
1540333002.498 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1 1)
1540333002.499 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2)
1540333002.509 * * * [misc]progress:  generating series expansions
1540333002.509 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1 1)
1540333002.509 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540333002.509 * [misc]approximate:  Taking taylor expansion of (fmod a (asin a)) in (a) around 0
1540333002.509 * [misc]taylor:  Taking taylor expansion of (fmod a (asin a)) in a
1540333002.509 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540333002.509 * [misc]taylor:  Taking taylor expansion of (fmod a (asin a)) in a
1540333002.509 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540333002.509 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540333002.509 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.509 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.509 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.509 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.510 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.510 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.510 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540333002.510 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540333002.510 * [misc]approximate:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in (a) around 0
1540333002.510 * [misc]taylor:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a
1540333002.510 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540333002.510 * [misc]taylor:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a
1540333002.510 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540333002.510 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540333002.510 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.510 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.510 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.510 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.510 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.510 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.510 * [misc]backup-simplify:  Simplify (fmod (/ 1 (/ 1 a)) (asin (/ 1 (/ 1 a)))) into (fmod a (asin a))
1540333002.510 * [misc]backup-simplify:  Simplify (fmod (/ 1 (- a)) (asin (/ 1 (- a)))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540333002.510 * [misc]approximate:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in (a) around 0
1540333002.510 * [misc]taylor:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a
1540333002.510 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540333002.510 * [misc]taylor:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a
1540333002.510 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540333002.511 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540333002.511 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.511 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.511 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.511 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.511 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.511 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.511 * [misc]backup-simplify:  Simplify (fmod (/ -1 (/ 1 (- a))) (asin (/ -1 (/ 1 (- a))))) into (fmod a (asin a))
1540333002.511 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2)
1540333002.511 * [misc]backup-simplify:  Simplify (pow (atan (fmod a (asin a))) (* a a)) into (pow (atan (fmod a (asin a))) (pow a 2))
1540333002.511 * [misc]approximate:  Taking taylor expansion of (pow (atan (fmod a (asin a))) (pow a 2)) in (a) around 0
1540333002.511 * [misc]taylor:  Taking taylor expansion of (pow (atan (fmod a (asin a))) (pow a 2)) in a
1540333002.511 * [misc]taylor:  Taking taylor expansion of (exp (* (pow a 2) (log (atan (fmod a (asin a)))))) in a
1540333002.511 * [misc]taylor:  Taking taylor expansion of (* (pow a 2) (log (atan (fmod a (asin a))))) in a
1540333002.511 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1540333002.511 * [misc]taylor:  Taking taylor expansion of a in a
1540333002.511 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.511 * [misc]backup-simplify:  Simplify 1 into 1
1540333002.511 * [misc]taylor:  Taking taylor expansion of (log (atan (fmod a (asin a)))) in a
1540333002.511 * [misc]taylor:  Taking taylor expansion of (atan (fmod a (asin a))) in a
1540333002.511 * [misc]backup-simplify:  Simplify (atan (fmod a (asin a))) into (atan (fmod a (asin a)))
1540333002.511 * [misc]backup-simplify:  Simplify (log (atan (fmod a (asin a)))) into (log (atan (fmod a (asin a))))
1540333002.512 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540333002.512 * [misc]backup-simplify:  Simplify (* 1 (log (atan (fmod a (asin a))))) into (log (atan (fmod a (asin a))))
1540333002.512 * [misc]backup-simplify:  Simplify (exp 0) into 1
1540333002.512 * [misc]taylor:  Taking taylor expansion of (pow (atan (fmod a (asin a))) (pow a 2)) in a
1540333002.512 * [misc]taylor:  Taking taylor expansion of (exp (* (pow a 2) (log (atan (fmod a (asin a)))))) in a
1540333002.512 * [misc]taylor:  Taking taylor expansion of (* (pow a 2) (log (atan (fmod a (asin a))))) in a
1540333002.512 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1540333002.512 * [misc]taylor:  Taking taylor expansion of a in a
1540333002.512 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.512 * [misc]backup-simplify:  Simplify 1 into 1
1540333002.512 * [misc]taylor:  Taking taylor expansion of (log (atan (fmod a (asin a)))) in a
1540333002.512 * [misc]taylor:  Taking taylor expansion of (atan (fmod a (asin a))) in a
1540333002.512 * [misc]backup-simplify:  Simplify (atan (fmod a (asin a))) into (atan (fmod a (asin a)))
1540333002.512 * [misc]backup-simplify:  Simplify (log (atan (fmod a (asin a)))) into (log (atan (fmod a (asin a))))
1540333002.513 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540333002.513 * [misc]backup-simplify:  Simplify (* 1 (log (atan (fmod a (asin a))))) into (log (atan (fmod a (asin a))))
1540333002.513 * [misc]backup-simplify:  Simplify (exp 0) into 1
1540333002.513 * [misc]backup-simplify:  Simplify 1 into 1
1540333002.514 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
1540333002.514 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.515 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow (log (atan (fmod a (asin a)))) 1) 1)))) into (log (atan (fmod a (asin a))))
1540333002.515 * [misc]backup-simplify:  Simplify (log (atan (fmod a (asin a)))) into (log (atan (fmod a (asin a))))
1540333002.516 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (atan (fmod a (asin a))) 1)))) 1) into 0
1540333002.516 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540333002.516 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 (log (atan (fmod a (asin a)))))) into 0
1540333002.518 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow (log (atan (fmod a (asin a)))) 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1540333002.518 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.519 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (atan (fmod a (asin a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (atan (fmod a (asin a))) 1)))) 2) into 0
1540333002.519 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1540333002.520 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (log (atan (fmod a (asin a))))))) into 0
1540333002.522 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow (log (atan (fmod a (asin a)))) 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow (log (atan (fmod a (asin a)))) 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (pow (log (atan (fmod a (asin a)))) 2))
1540333002.523 * [misc]backup-simplify:  Simplify (* 1/2 (pow (log (atan (fmod a (asin a)))) 2)) into (* 1/2 (pow (log (atan (fmod a (asin a)))) 2))
1540333002.524 * [misc]backup-simplify:  Simplify (+ (* (* 1/2 (pow (log (atan (fmod a (asin a)))) 2)) (pow a 4)) (+ (* (log (atan (fmod a (asin a)))) (pow a 2)) 1)) into (+ (* 1/2 (* (pow a 4) (pow (log (atan (fmod a (asin a)))) 2))) (+ 1 (* (pow a 2) (log (atan (fmod a (asin a)))))))
1540333002.524 * [misc]backup-simplify:  Simplify (pow (atan (fmod (/ 1 a) (asin (/ 1 a)))) (* (/ 1 a) (/ 1 a))) into (pow (atan (fmod (/ 1 a) (asin (/ 1 a)))) (/ 1 (pow a 2)))
1540333002.524 * [misc]approximate:  Taking taylor expansion of (pow (atan (fmod (/ 1 a) (asin (/ 1 a)))) (/ 1 (pow a 2))) in (a) around 0
1540333002.524 * [misc]taylor:  Taking taylor expansion of (pow (atan (fmod (/ 1 a) (asin (/ 1 a)))) (/ 1 (pow a 2))) in a
1540333002.524 * [misc]taylor:  Taking taylor expansion of (exp (* (/ 1 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a))))))) in a
1540333002.524 * [misc]taylor:  Taking taylor expansion of (* (/ 1 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))) in a
1540333002.524 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow a 2)) in a
1540333002.524 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1540333002.524 * [misc]taylor:  Taking taylor expansion of a in a
1540333002.524 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.524 * [misc]backup-simplify:  Simplify 1 into 1
1540333002.524 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540333002.524 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540333002.524 * [misc]taylor:  Taking taylor expansion of (log (atan (fmod (/ 1 a) (asin (/ 1 a))))) in a
1540333002.524 * [misc]taylor:  Taking taylor expansion of (atan (fmod (/ 1 a) (asin (/ 1 a)))) in a
1540333002.524 * [misc]backup-simplify:  Simplify (atan (fmod (/ 1 a) (asin (/ 1 a)))) into (atan (fmod (/ 1 a) (asin (/ 1 a))))
1540333002.524 * [misc]backup-simplify:  Simplify (log (atan (fmod (/ 1 a) (asin (/ 1 a))))) into (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))
1540333002.524 * [misc]backup-simplify:  Simplify (* 1 (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))) into (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))
1540333002.525 * [misc]backup-simplify:  Simplify (exp (* (/ 1 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a))))))) into (exp (/ (log (atan (fmod (/ 1 a) (asin (/ 1 a))))) (pow a 2)))
1540333002.525 * [misc]taylor:  Taking taylor expansion of (pow (atan (fmod (/ 1 a) (asin (/ 1 a)))) (/ 1 (pow a 2))) in a
1540333002.525 * [misc]taylor:  Taking taylor expansion of (exp (* (/ 1 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a))))))) in a
1540333002.525 * [misc]taylor:  Taking taylor expansion of (* (/ 1 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))) in a
1540333002.525 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow a 2)) in a
1540333002.525 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1540333002.525 * [misc]taylor:  Taking taylor expansion of a in a
1540333002.525 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.525 * [misc]backup-simplify:  Simplify 1 into 1
1540333002.525 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540333002.525 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540333002.525 * [misc]taylor:  Taking taylor expansion of (log (atan (fmod (/ 1 a) (asin (/ 1 a))))) in a
1540333002.525 * [misc]taylor:  Taking taylor expansion of (atan (fmod (/ 1 a) (asin (/ 1 a)))) in a
1540333002.525 * [misc]backup-simplify:  Simplify (atan (fmod (/ 1 a) (asin (/ 1 a)))) into (atan (fmod (/ 1 a) (asin (/ 1 a))))
1540333002.525 * [misc]backup-simplify:  Simplify (log (atan (fmod (/ 1 a) (asin (/ 1 a))))) into (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))
1540333002.525 * [misc]backup-simplify:  Simplify (* 1 (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))) into (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))
1540333002.525 * [misc]backup-simplify:  Simplify (exp (* (/ 1 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a))))))) into (exp (/ (log (atan (fmod (/ 1 a) (asin (/ 1 a))))) (pow a 2)))
1540333002.526 * [misc]backup-simplify:  Simplify (exp (/ (log (atan (fmod (/ 1 a) (asin (/ 1 a))))) (pow a 2))) into (exp (/ (log (atan (fmod (/ 1 a) (asin (/ 1 a))))) (pow a 2)))
1540333002.526 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.526 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.526 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.526 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.526 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.526 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.526 * [misc]backup-simplify:  Simplify (exp (/ (log (atan (fmod (/ 1 (/ 1 a)) (asin (/ 1 (/ 1 a)))))) (pow (/ 1 a) 2))) into (pow (atan (fmod a (asin a))) (pow a 2))
1540333002.526 * [misc]backup-simplify:  Simplify (pow (atan (fmod (/ 1 (- a)) (asin (/ 1 (- a))))) (* (/ 1 (- a)) (/ 1 (- a)))) into (pow (atan (fmod (/ -1 a) (asin (/ -1 a)))) (/ 1 (pow a 2)))
1540333002.526 * [misc]approximate:  Taking taylor expansion of (pow (atan (fmod (/ -1 a) (asin (/ -1 a)))) (/ 1 (pow a 2))) in (a) around 0
1540333002.526 * [misc]taylor:  Taking taylor expansion of (pow (atan (fmod (/ -1 a) (asin (/ -1 a)))) (/ 1 (pow a 2))) in a
1540333002.526 * [misc]taylor:  Taking taylor expansion of (exp (* (/ 1 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a))))))) in a
1540333002.526 * [misc]taylor:  Taking taylor expansion of (* (/ 1 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))) in a
1540333002.526 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow a 2)) in a
1540333002.526 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1540333002.526 * [misc]taylor:  Taking taylor expansion of a in a
1540333002.526 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.526 * [misc]backup-simplify:  Simplify 1 into 1
1540333002.526 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540333002.527 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540333002.527 * [misc]taylor:  Taking taylor expansion of (log (atan (fmod (/ -1 a) (asin (/ -1 a))))) in a
1540333002.527 * [misc]taylor:  Taking taylor expansion of (atan (fmod (/ -1 a) (asin (/ -1 a)))) in a
1540333002.527 * [misc]backup-simplify:  Simplify (atan (fmod (/ -1 a) (asin (/ -1 a)))) into (atan (fmod (/ -1 a) (asin (/ -1 a))))
1540333002.527 * [misc]backup-simplify:  Simplify (log (atan (fmod (/ -1 a) (asin (/ -1 a))))) into (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))
1540333002.527 * [misc]backup-simplify:  Simplify (* 1 (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))) into (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))
1540333002.527 * [misc]backup-simplify:  Simplify (exp (* (/ 1 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a))))))) into (exp (/ (log (atan (fmod (/ -1 a) (asin (/ -1 a))))) (pow a 2)))
1540333002.527 * [misc]taylor:  Taking taylor expansion of (pow (atan (fmod (/ -1 a) (asin (/ -1 a)))) (/ 1 (pow a 2))) in a
1540333002.527 * [misc]taylor:  Taking taylor expansion of (exp (* (/ 1 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a))))))) in a
1540333002.527 * [misc]taylor:  Taking taylor expansion of (* (/ 1 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))) in a
1540333002.527 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow a 2)) in a
1540333002.527 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1540333002.527 * [misc]taylor:  Taking taylor expansion of a in a
1540333002.527 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.527 * [misc]backup-simplify:  Simplify 1 into 1
1540333002.527 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540333002.527 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540333002.527 * [misc]taylor:  Taking taylor expansion of (log (atan (fmod (/ -1 a) (asin (/ -1 a))))) in a
1540333002.527 * [misc]taylor:  Taking taylor expansion of (atan (fmod (/ -1 a) (asin (/ -1 a)))) in a
1540333002.528 * [misc]backup-simplify:  Simplify (atan (fmod (/ -1 a) (asin (/ -1 a)))) into (atan (fmod (/ -1 a) (asin (/ -1 a))))
1540333002.528 * [misc]backup-simplify:  Simplify (log (atan (fmod (/ -1 a) (asin (/ -1 a))))) into (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))
1540333002.528 * [misc]backup-simplify:  Simplify (* 1 (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))) into (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))
1540333002.528 * [misc]backup-simplify:  Simplify (exp (* (/ 1 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a))))))) into (exp (/ (log (atan (fmod (/ -1 a) (asin (/ -1 a))))) (pow a 2)))
1540333002.528 * [misc]backup-simplify:  Simplify (exp (/ (log (atan (fmod (/ -1 a) (asin (/ -1 a))))) (pow a 2))) into (exp (/ (log (atan (fmod (/ -1 a) (asin (/ -1 a))))) (pow a 2)))
1540333002.528 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.528 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.528 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.528 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.528 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.528 * [misc]backup-simplify:  Simplify 0 into 0
1540333002.528 * [misc]backup-simplify:  Simplify (exp (/ (log (atan (fmod (/ -1 (/ 1 (- a))) (asin (/ -1 (/ 1 (- a))))))) (pow (/ 1 (- a)) 2))) into (pow (atan (fmod a (asin a))) (pow a 2))
1540333002.529 * * * [misc]progress:  simplifying candidates
1540333002.529 * * * * [misc]progress:  [ 1 / 31 ] simplifiying candidate #<alt (λ (a) (pow (atan (log1p (expm1 (fmod a (asin a))))) (* a a)))>
1540333002.529 * * * * [misc]progress:  [ 2 / 31 ] simplifiying candidate #<alt (λ (a) (pow (atan (expm1 (log1p (fmod a (asin a))))) (* a a)))>
1540333002.529 * * * * [misc]progress:  [ 3 / 31 ] simplifiying candidate #<alt (λ (a) (pow (atan (pow (fmod a (asin a)) 1)) (* a a)))>
1540333002.529 * * * * [misc]progress:  [ 4 / 31 ] simplifiying candidate #<alt (λ (a) (pow (atan (exp (log (fmod a (asin a))))) (* a a)))>
1540333002.529 * * * * [misc]progress:  [ 5 / 31 ] simplifiying candidate #<alt (λ (a) (pow (atan (log (exp (fmod a (asin a))))) (* a a)))>
1540333002.529 * * * * [misc]progress:  [ 6 / 31 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))) (* a a)))>
1540333002.529 * * * * [misc]progress:  [ 7 / 31 ] simplifiying candidate #<alt (λ (a) (pow (atan (cbrt (* (* (fmod a (asin a)) (fmod a (asin a))) (fmod a (asin a))))) (* a a)))>
1540333002.529 * * * * [misc]progress:  [ 8 / 31 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (sqrt (fmod a (asin a))) (sqrt (fmod a (asin a))))) (* a a)))>
1540333002.529 * * * * [misc]progress:  [ 9 / 31 ] simplifiying candidate #<alt (λ (a) (pow (atan (* 1 (fmod a (asin a)))) (* a a)))>
1540333002.529 * * * * [misc]progress:  [ 10 / 31 ] simplifiying candidate #<alt (λ (a) (log1p (expm1 (pow (atan (fmod a (asin a))) (* a a)))))>
1540333002.529 * * * * [misc]progress:  [ 11 / 31 ] simplifiying candidate #<alt (λ (a) (expm1 (log1p (pow (atan (fmod a (asin a))) (* a a)))))>
1540333002.529 * * * * [misc]progress:  [ 12 / 31 ] simplifiying candidate #<alt (λ (a) (exp (* (log (atan (fmod a (asin a)))) (* a a))))>
1540333002.529 * [enter]simplify:  Simplifying (* (log (atan (fmod a (asin a)))) (* a a))
1540333002.530 * * [misc]simplify:  iters left: 6 (7 enodes)
1540333002.531 * * [misc]simplify:  iters left: 5 (10 enodes)
1540333002.533 * * [misc]simplify:  iters left: 4 (12 enodes)
1540333002.535 * [exit]simplify:  Simplified to (* (log (atan (fmod a (asin a)))) (* a a))
1540333002.535 * [misc]simplify:  Simplified (2 1) to (λ (a) (exp (* (log (atan (fmod a (asin a)))) (* a a))))
1540333002.536 * * * * [misc]progress:  [ 13 / 31 ] simplifiying candidate #<alt (λ (a) (exp (* (log (atan (fmod a (asin a)))) (* a a))))>
1540333002.536 * * * * [misc]progress:  [ 14 / 31 ] simplifiying candidate #<alt (λ (a) (pow (atan (fmod a (asin a))) (* 1 (* a a))))>
1540333002.536 * [enter]simplify:  Simplifying (atan (fmod a (asin a)))
1540333002.536 * * [misc]simplify:  iters left: 3 (4 enodes)
1540333002.537 * [exit]simplify:  Simplified to (atan (fmod a (asin a)))
1540333002.537 * [misc]simplify:  Simplified (2 1) to (λ (a) (pow (atan (fmod a (asin a))) (* 1 (* a a))))
1540333002.537 * * * * [misc]progress:  [ 15 / 31 ] simplifiying candidate #<alt (λ (a) (pow (pow (atan (fmod a (asin a))) a) a))>
1540333002.537 * * * * [misc]progress:  [ 16 / 31 ] simplifiying candidate #<alt (λ (a) (* (pow (* (cbrt (atan (fmod a (asin a)))) (cbrt (atan (fmod a (asin a))))) (* a a)) (pow (cbrt (atan (fmod a (asin a)))) (* a a))))>
1540333002.537 * [enter]simplify:  Simplifying (pow (* (cbrt (atan (fmod a (asin a)))) (cbrt (atan (fmod a (asin a))))) (* a a))
1540333002.538 * * [misc]simplify:  iters left: 6 (8 enodes)
1540333002.539 * [exit]simplify:  Simplified to (pow (* (cbrt (atan (fmod a (asin a)))) (cbrt (atan (fmod a (asin a))))) (* a a))
1540333002.539 * [misc]simplify:  Simplified (2 1) to (λ (a) (* (pow (* (cbrt (atan (fmod a (asin a)))) (cbrt (atan (fmod a (asin a))))) (* a a)) (pow (cbrt (atan (fmod a (asin a)))) (* a a))))
1540333002.539 * * * * [misc]progress:  [ 17 / 31 ] simplifiying candidate #<alt (λ (a) (* (pow (sqrt (atan (fmod a (asin a)))) (* a a)) (pow (sqrt (atan (fmod a (asin a)))) (* a a))))>
1540333002.540 * [enter]simplify:  Simplifying (pow (sqrt (atan (fmod a (asin a)))) (* a a))
1540333002.540 * * [misc]simplify:  iters left: 5 (7 enodes)
1540333002.542 * [exit]simplify:  Simplified to (pow (sqrt (atan (fmod a (asin a)))) (* a a))
1540333002.542 * [misc]simplify:  Simplified (2 1) to (λ (a) (* (pow (sqrt (atan (fmod a (asin a)))) (* a a)) (pow (sqrt (atan (fmod a (asin a)))) (* a a))))
1540333002.542 * * * * [misc]progress:  [ 18 / 31 ] simplifiying candidate #<alt (λ (a) (* (pow 1 (* a a)) (pow (atan (fmod a (asin a))) (* a a))))>
1540333002.542 * [enter]simplify:  Simplifying (pow 1 (* a a))
1540333002.542 * * [misc]simplify:  iters left: 3 (4 enodes)
1540333002.543 * * [misc]simplify:  iters left: 2 (6 enodes)
1540333002.544 * [exit]simplify:  Simplified to 1
1540333002.544 * [misc]simplify:  Simplified (2 1) to (λ (a) (* 1 (pow (atan (fmod a (asin a))) (* a a))))
1540333002.544 * * * * [misc]progress:  [ 19 / 31 ] simplifiying candidate #<alt (λ (a) (pow (pow (atan (fmod a (asin a))) (* a a)) 1))>
1540333002.544 * * * * [misc]progress:  [ 20 / 31 ] simplifiying candidate #<alt (λ (a) (exp (log (pow (atan (fmod a (asin a))) (* a a)))))>
1540333002.544 * * * * [misc]progress:  [ 21 / 31 ] simplifiying candidate #<alt (λ (a) (log (exp (pow (atan (fmod a (asin a))) (* a a)))))>
1540333002.544 * * * * [misc]progress:  [ 22 / 31 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (pow (atan (fmod a (asin a))) (* a a))) (cbrt (pow (atan (fmod a (asin a))) (* a a)))) (cbrt (pow (atan (fmod a (asin a))) (* a a)))))>
1540333002.544 * * * * [misc]progress:  [ 23 / 31 ] simplifiying candidate #<alt (λ (a) (cbrt (* (* (pow (atan (fmod a (asin a))) (* a a)) (pow (atan (fmod a (asin a))) (* a a))) (pow (atan (fmod a (asin a))) (* a a)))))>
1540333002.544 * * * * [misc]progress:  [ 24 / 31 ] simplifiying candidate #<alt (λ (a) (* (sqrt (pow (atan (fmod a (asin a))) (* a a))) (sqrt (pow (atan (fmod a (asin a))) (* a a)))))>
1540333002.544 * * * * [misc]progress:  [ 25 / 31 ] simplifiying candidate #<alt (λ (a) (* 1 (pow (atan (fmod a (asin a))) (* a a))))>
1540333002.544 * * * * [misc]progress:  [ 26 / 31 ] simplifiying candidate #<alt (λ (a) (pow (atan (fmod a (asin a))) (* a a)))>
1540333002.544 * [enter]simplify:  Simplifying (fmod a (asin a))
1540333002.544 * * [misc]simplify:  iters left: 2 (3 enodes)
1540333002.545 * [exit]simplify:  Simplified to (fmod a (asin a))
1540333002.545 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a)))
1540333002.545 * * * * [misc]progress:  [ 27 / 31 ] simplifiying candidate #<alt (λ (a) (pow (atan (fmod a (asin a))) (* a a)))>
1540333002.545 * [enter]simplify:  Simplifying (fmod a (asin a))
1540333002.545 * * [misc]simplify:  iters left: 2 (3 enodes)
1540333002.546 * [exit]simplify:  Simplified to (fmod a (asin a))
1540333002.546 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a)))
1540333002.546 * * * * [misc]progress:  [ 28 / 31 ] simplifiying candidate #<alt (λ (a) (pow (atan (fmod a (asin a))) (* a a)))>
1540333002.546 * [enter]simplify:  Simplifying (fmod a (asin a))
1540333002.546 * * [misc]simplify:  iters left: 2 (3 enodes)
1540333002.547 * [exit]simplify:  Simplified to (fmod a (asin a))
1540333002.547 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a)))
1540333002.547 * * * * [misc]progress:  [ 29 / 31 ] simplifiying candidate #<alt (λ (a) (+ (* 1/2 (* (pow a 4) (pow (log (atan (fmod a (asin a)))) 2))) (+ 1 (* (pow a 2) (log (atan (fmod a (asin a))))))))>
1540333002.547 * [enter]simplify:  Simplifying (+ (* 1/2 (* (pow a 4) (pow (log (atan (fmod a (asin a)))) 2))) (+ 1 (* (pow a 2) (log (atan (fmod a (asin a)))))))
1540333002.548 * * [misc]simplify:  iters left: 6 (17 enodes)
1540333002.559 * * [misc]simplify:  iters left: 5 (31 enodes)
1540333002.567 * * [misc]simplify:  iters left: 4 (60 enodes)
1540333002.582 * * [misc]simplify:  iters left: 3 (102 enodes)
1540333002.607 * * [misc]simplify:  iters left: 2 (121 enodes)
1540333002.636 * * [misc]simplify:  iters left: 1 (124 enodes)
1540333002.665 * [exit]simplify:  Simplified to (fma (log (atan (fmod a (asin a)))) (fma (log (atan (fmod a (asin a)))) (* (pow a 4) 1/2) (* a a)) 1)
1540333002.666 * [misc]simplify:  Simplified (2) to (λ (a) (fma (log (atan (fmod a (asin a)))) (fma (log (atan (fmod a (asin a)))) (* (pow a 4) 1/2) (* a a)) 1))
1540333002.666 * * * * [misc]progress:  [ 30 / 31 ] simplifiying candidate #<alt (λ (a) (pow (atan (fmod a (asin a))) (pow a 2)))>
1540333002.666 * [enter]simplify:  Simplifying (pow (atan (fmod a (asin a))) (pow a 2))
1540333002.666 * * [misc]simplify:  iters left: 4 (7 enodes)
1540333002.667 * * [misc]simplify:  iters left: 3 (8 enodes)
1540333002.669 * [exit]simplify:  Simplified to (pow (atan (fmod a (asin a))) (* a a))
1540333002.669 * [misc]simplify:  Simplified (2) to (λ (a) (pow (atan (fmod a (asin a))) (* a a)))
1540333002.669 * * * * [misc]progress:  [ 31 / 31 ] simplifiying candidate #<alt (λ (a) (pow (atan (fmod a (asin a))) (pow a 2)))>
1540333002.669 * [enter]simplify:  Simplifying (pow (atan (fmod a (asin a))) (pow a 2))
1540333002.669 * * [misc]simplify:  iters left: 4 (7 enodes)
1540333002.671 * * [misc]simplify:  iters left: 3 (8 enodes)
1540333002.672 * [exit]simplify:  Simplified to (pow (atan (fmod a (asin a))) (* a a))
1540333002.672 * [misc]simplify:  Simplified (2) to (λ (a) (pow (atan (fmod a (asin a))) (* a a)))
1540333002.672 * * * [misc]progress:  adding candidates to table
1540333003.083 * * [misc]progress:  iteration 2 / 4
1540333003.083 * * * [misc]progress:  picking best candidate
1540333003.088 * * * * [misc]pick:  Picked  #<alt (λ (a) (pow (atan (expm1 (log1p (fmod a (asin a))))) (* a a)))>
1540333003.089 * * * [misc]progress:  localizing error
1540333003.238 * * * [misc]progress:  generating rewritten candidates
1540333003.238 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1 1 1)
1540333003.240 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1 1)
1540333003.245 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2)
1540333003.261 * * * [misc]progress:  generating series expansions
1540333003.261 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1 1 1)
1540333003.261 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540333003.261 * [misc]approximate:  Taking taylor expansion of (fmod a (asin a)) in (a) around 0
1540333003.261 * [misc]taylor:  Taking taylor expansion of (fmod a (asin a)) in a
1540333003.261 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540333003.261 * [misc]taylor:  Taking taylor expansion of (fmod a (asin a)) in a
1540333003.261 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540333003.261 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540333003.261 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.261 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.262 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.262 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.262 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.262 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.262 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540333003.262 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540333003.262 * [misc]approximate:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in (a) around 0
1540333003.262 * [misc]taylor:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a
1540333003.262 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540333003.262 * [misc]taylor:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a
1540333003.262 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540333003.262 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540333003.262 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.262 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.262 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.262 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.263 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.263 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.263 * [misc]backup-simplify:  Simplify (fmod (/ 1 (/ 1 a)) (asin (/ 1 (/ 1 a)))) into (fmod a (asin a))
1540333003.263 * [misc]backup-simplify:  Simplify (fmod (/ 1 (- a)) (asin (/ 1 (- a)))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540333003.263 * [misc]approximate:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in (a) around 0
1540333003.263 * [misc]taylor:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a
1540333003.263 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540333003.263 * [misc]taylor:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a
1540333003.263 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540333003.263 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540333003.263 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.263 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.263 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.264 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.264 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.264 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.264 * [misc]backup-simplify:  Simplify (fmod (/ -1 (/ 1 (- a))) (asin (/ -1 (/ 1 (- a))))) into (fmod a (asin a))
1540333003.264 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1 1)
1540333003.264 * [misc]backup-simplify:  Simplify (expm1 (log1p (fmod a (asin a)))) into (expm1 (log1p (fmod a (asin a))))
1540333003.264 * [misc]approximate:  Taking taylor expansion of (expm1 (log1p (fmod a (asin a)))) in (a) around 0
1540333003.264 * [misc]taylor:  Taking taylor expansion of (expm1 (log1p (fmod a (asin a)))) in a
1540333003.264 * [misc]taylor:  Rewrote expression to (- (exp (log1p (fmod a (asin a)))) 1)
1540333003.264 * [misc]taylor:  Taking taylor expansion of (exp (log1p (fmod a (asin a)))) in a
1540333003.264 * [misc]taylor:  Taking taylor expansion of (log1p (fmod a (asin a))) in a
1540333003.264 * [misc]taylor:  Rewrote expression to (log (+ 1 (fmod a (asin a))))
1540333003.264 * [misc]taylor:  Taking taylor expansion of (+ 1 (fmod a (asin a))) in a
1540333003.264 * [misc]taylor:  Taking taylor expansion of 1 in a
1540333003.264 * [misc]backup-simplify:  Simplify 1 into 1
1540333003.264 * [misc]taylor:  Taking taylor expansion of (fmod a (asin a)) in a
1540333003.265 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540333003.265 * [misc]backup-simplify:  Simplify (+ 1 (fmod a (asin a))) into (+ 1 (fmod a (asin a)))
1540333003.265 * [misc]backup-simplify:  Simplify (log (+ 1 (fmod a (asin a)))) into (log (+ 1 (fmod a (asin a))))
1540333003.265 * [misc]backup-simplify:  Simplify (exp (log (+ 1 (fmod a (asin a))))) into (+ 1 (fmod a (asin a)))
1540333003.265 * [misc]taylor:  Taking taylor expansion of 1 in a
1540333003.265 * [misc]backup-simplify:  Simplify 1 into 1
1540333003.265 * [misc]taylor:  Taking taylor expansion of (expm1 (log1p (fmod a (asin a)))) in a
1540333003.265 * [misc]taylor:  Rewrote expression to (- (exp (log1p (fmod a (asin a)))) 1)
1540333003.265 * [misc]taylor:  Taking taylor expansion of (exp (log1p (fmod a (asin a)))) in a
1540333003.265 * [misc]taylor:  Taking taylor expansion of (log1p (fmod a (asin a))) in a
1540333003.265 * [misc]taylor:  Rewrote expression to (log (+ 1 (fmod a (asin a))))
1540333003.265 * [misc]taylor:  Taking taylor expansion of (+ 1 (fmod a (asin a))) in a
1540333003.265 * [misc]taylor:  Taking taylor expansion of 1 in a
1540333003.265 * [misc]backup-simplify:  Simplify 1 into 1
1540333003.265 * [misc]taylor:  Taking taylor expansion of (fmod a (asin a)) in a
1540333003.265 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540333003.265 * [misc]backup-simplify:  Simplify (+ 1 (fmod a (asin a))) into (+ 1 (fmod a (asin a)))
1540333003.265 * [misc]backup-simplify:  Simplify (log (+ 1 (fmod a (asin a)))) into (log (+ 1 (fmod a (asin a))))
1540333003.266 * [misc]backup-simplify:  Simplify (exp (log (+ 1 (fmod a (asin a))))) into (+ 1 (fmod a (asin a)))
1540333003.266 * [misc]taylor:  Taking taylor expansion of 1 in a
1540333003.266 * [misc]backup-simplify:  Simplify 1 into 1
1540333003.266 * [misc]backup-simplify:  Simplify (- 1) into -1
1540333003.266 * [misc]backup-simplify:  Simplify (+ (+ 1 (fmod a (asin a))) -1) into (fmod a (asin a))
1540333003.266 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540333003.266 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540333003.268 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ 1 (fmod a (asin a))) 1)))) 1) into 0
1540333003.269 * [misc]backup-simplify:  Simplify (* (exp (log (+ 1 (fmod a (asin a))))) (+ (* (/ (pow 0 1) 1)))) into 0
1540333003.269 * [misc]backup-simplify:  Simplify (- 0) into 0
1540333003.269 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540333003.269 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.269 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540333003.271 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ 1 (fmod a (asin a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ 1 (fmod a (asin a))) 1)))) 2) into 0
1540333003.273 * [misc]backup-simplify:  Simplify (* (exp (log (+ 1 (fmod a (asin a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1540333003.273 * [misc]backup-simplify:  Simplify (- 0) into 0
1540333003.274 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540333003.274 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.274 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540333003.278 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ 1 (fmod a (asin a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ 1 (fmod a (asin a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ 1 (fmod a (asin a))) 1)))) 6) into 0
1540333003.280 * [misc]backup-simplify:  Simplify (* (exp (log (+ 1 (fmod a (asin a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1540333003.280 * [misc]backup-simplify:  Simplify (- 0) into 0
1540333003.280 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540333003.280 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.281 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540333003.285 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ 1 (fmod a (asin a))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ 1 (fmod a (asin a))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ 1 (fmod a (asin a))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ 1 (fmod a (asin a))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ 1 (fmod a (asin a))) 1)))) 24) into 0
1540333003.288 * [misc]backup-simplify:  Simplify (* (exp (log (+ 1 (fmod a (asin a))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1540333003.288 * [misc]backup-simplify:  Simplify (- 0) into 0
1540333003.288 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540333003.288 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.289 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540333003.296 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ 1 (fmod a (asin a))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ 1 (fmod a (asin a))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ 1 (fmod a (asin a))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ 1 (fmod a (asin a))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ 1 (fmod a (asin a))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ 1 (fmod a (asin a))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ 1 (fmod a (asin a))) 1)))) 120) into 0
1540333003.301 * [misc]backup-simplify:  Simplify (* (exp (log (+ 1 (fmod a (asin a))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1540333003.301 * [misc]backup-simplify:  Simplify (- 0) into 0
1540333003.301 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540333003.301 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.302 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540333003.312 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ 1 (fmod a (asin a))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ 1 (fmod a (asin a))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ 1 (fmod a (asin a))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ 1 (fmod a (asin a))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ 1 (fmod a (asin a))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ 1 (fmod a (asin a))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ 1 (fmod a (asin a))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ 1 (fmod a (asin a))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ 1 (fmod a (asin a))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ 1 (fmod a (asin a))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ 1 (fmod a (asin a))) 1)))) 720) into 0
1540333003.320 * [misc]backup-simplify:  Simplify (* (exp (log (+ 1 (fmod a (asin a))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1540333003.320 * [misc]backup-simplify:  Simplify (- 0) into 0
1540333003.320 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540333003.320 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.320 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540333003.320 * [misc]backup-simplify:  Simplify (expm1 (log1p (fmod (/ 1 a) (asin (/ 1 a))))) into (expm1 (log1p (fmod (/ 1 a) (asin (/ 1 a)))))
1540333003.320 * [misc]approximate:  Taking taylor expansion of (expm1 (log1p (fmod (/ 1 a) (asin (/ 1 a))))) in (a) around 0
1540333003.321 * [misc]taylor:  Taking taylor expansion of (expm1 (log1p (fmod (/ 1 a) (asin (/ 1 a))))) in a
1540333003.321 * [misc]taylor:  Rewrote expression to (- (exp (log1p (fmod (/ 1 a) (asin (/ 1 a))))) 1)
1540333003.321 * [misc]taylor:  Taking taylor expansion of (exp (log1p (fmod (/ 1 a) (asin (/ 1 a))))) in a
1540333003.321 * [misc]taylor:  Taking taylor expansion of (log1p (fmod (/ 1 a) (asin (/ 1 a)))) in a
1540333003.321 * [misc]taylor:  Rewrote expression to (log (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))))
1540333003.321 * [misc]taylor:  Taking taylor expansion of (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))) in a
1540333003.321 * [misc]taylor:  Taking taylor expansion of 1 in a
1540333003.321 * [misc]backup-simplify:  Simplify 1 into 1
1540333003.321 * [misc]taylor:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a
1540333003.321 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540333003.321 * [misc]backup-simplify:  Simplify (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))) into (+ 1 (fmod (/ 1 a) (asin (/ 1 a))))
1540333003.321 * [misc]backup-simplify:  Simplify (log (+ 1 (fmod (/ 1 a) (asin (/ 1 a))))) into (log (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))))
1540333003.321 * [misc]backup-simplify:  Simplify (exp (log (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))))) into (+ 1 (fmod (/ 1 a) (asin (/ 1 a))))
1540333003.321 * [misc]taylor:  Taking taylor expansion of 1 in a
1540333003.321 * [misc]backup-simplify:  Simplify 1 into 1
1540333003.321 * [misc]taylor:  Taking taylor expansion of (expm1 (log1p (fmod (/ 1 a) (asin (/ 1 a))))) in a
1540333003.322 * [misc]taylor:  Rewrote expression to (- (exp (log1p (fmod (/ 1 a) (asin (/ 1 a))))) 1)
1540333003.322 * [misc]taylor:  Taking taylor expansion of (exp (log1p (fmod (/ 1 a) (asin (/ 1 a))))) in a
1540333003.322 * [misc]taylor:  Taking taylor expansion of (log1p (fmod (/ 1 a) (asin (/ 1 a)))) in a
1540333003.322 * [misc]taylor:  Rewrote expression to (log (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))))
1540333003.322 * [misc]taylor:  Taking taylor expansion of (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))) in a
1540333003.322 * [misc]taylor:  Taking taylor expansion of 1 in a
1540333003.322 * [misc]backup-simplify:  Simplify 1 into 1
1540333003.322 * [misc]taylor:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a
1540333003.322 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540333003.322 * [misc]backup-simplify:  Simplify (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))) into (+ 1 (fmod (/ 1 a) (asin (/ 1 a))))
1540333003.322 * [misc]backup-simplify:  Simplify (log (+ 1 (fmod (/ 1 a) (asin (/ 1 a))))) into (log (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))))
1540333003.322 * [misc]backup-simplify:  Simplify (exp (log (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))))) into (+ 1 (fmod (/ 1 a) (asin (/ 1 a))))
1540333003.322 * [misc]taylor:  Taking taylor expansion of 1 in a
1540333003.322 * [misc]backup-simplify:  Simplify 1 into 1
1540333003.323 * [misc]backup-simplify:  Simplify (- 1) into -1
1540333003.323 * [misc]backup-simplify:  Simplify (+ (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))) -1) into (fmod (/ 1 a) (asin (/ 1 a)))
1540333003.323 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540333003.323 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540333003.324 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))) 1)))) 1) into 0
1540333003.325 * [misc]backup-simplify:  Simplify (* (exp (log (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))))) (+ (* (/ (pow 0 1) 1)))) into 0
1540333003.325 * [misc]backup-simplify:  Simplify (- 0) into 0
1540333003.326 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540333003.326 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.326 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540333003.328 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))) 1)))) 2) into 0
1540333003.330 * [misc]backup-simplify:  Simplify (* (exp (log (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1540333003.330 * [misc]backup-simplify:  Simplify (- 0) into 0
1540333003.330 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540333003.330 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.331 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540333003.334 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))) 1)))) 6) into 0
1540333003.337 * [misc]backup-simplify:  Simplify (* (exp (log (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1540333003.337 * [misc]backup-simplify:  Simplify (- 0) into 0
1540333003.337 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540333003.338 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.338 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540333003.344 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))) 1)))) 24) into 0
1540333003.349 * [misc]backup-simplify:  Simplify (* (exp (log (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1540333003.349 * [misc]backup-simplify:  Simplify (- 0) into 0
1540333003.349 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540333003.349 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.350 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540333003.360 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))) 1)))) 120) into 0
1540333003.367 * [misc]backup-simplify:  Simplify (* (exp (log (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1540333003.367 * [misc]backup-simplify:  Simplify (- 0) into 0
1540333003.368 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540333003.368 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.368 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540333003.392 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))) 1)))) 720) into 0
1540333003.405 * [misc]backup-simplify:  Simplify (* (exp (log (+ 1 (fmod (/ 1 a) (asin (/ 1 a)))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1540333003.405 * [misc]backup-simplify:  Simplify (- 0) into 0
1540333003.406 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540333003.406 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.406 * [misc]backup-simplify:  Simplify (fmod (/ 1 (/ 1 a)) (asin (/ 1 (/ 1 a)))) into (fmod a (asin a))
1540333003.406 * [misc]backup-simplify:  Simplify (expm1 (log1p (fmod (/ 1 (- a)) (asin (/ 1 (- a)))))) into (expm1 (log1p (fmod (/ -1 a) (asin (/ -1 a)))))
1540333003.406 * [misc]approximate:  Taking taylor expansion of (expm1 (log1p (fmod (/ -1 a) (asin (/ -1 a))))) in (a) around 0
1540333003.406 * [misc]taylor:  Taking taylor expansion of (expm1 (log1p (fmod (/ -1 a) (asin (/ -1 a))))) in a
1540333003.406 * [misc]taylor:  Rewrote expression to (- (exp (log1p (fmod (/ -1 a) (asin (/ -1 a))))) 1)
1540333003.406 * [misc]taylor:  Taking taylor expansion of (exp (log1p (fmod (/ -1 a) (asin (/ -1 a))))) in a
1540333003.406 * [misc]taylor:  Taking taylor expansion of (log1p (fmod (/ -1 a) (asin (/ -1 a)))) in a
1540333003.406 * [misc]taylor:  Rewrote expression to (log (+ 1 (fmod (/ -1 a) (asin (/ -1 a)))))
1540333003.406 * [misc]taylor:  Taking taylor expansion of (+ 1 (fmod (/ -1 a) (asin (/ -1 a)))) in a
1540333003.406 * [misc]taylor:  Taking taylor expansion of 1 in a
1540333003.406 * [misc]backup-simplify:  Simplify 1 into 1
1540333003.407 * [misc]taylor:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a
1540333003.407 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540333003.407 * [misc]backup-simplify:  Simplify (+ 1 (fmod (/ -1 a) (asin (/ -1 a)))) into (+ (fmod (/ -1 a) (asin (/ -1 a))) 1)
1540333003.407 * [misc]backup-simplify:  Simplify (log (+ (fmod (/ -1 a) (asin (/ -1 a))) 1)) into (log (+ (fmod (/ -1 a) (asin (/ -1 a))) 1))
1540333003.407 * [misc]backup-simplify:  Simplify (exp (log (+ (fmod (/ -1 a) (asin (/ -1 a))) 1))) into (+ (fmod (/ -1 a) (asin (/ -1 a))) 1)
1540333003.407 * [misc]taylor:  Taking taylor expansion of 1 in a
1540333003.407 * [misc]backup-simplify:  Simplify 1 into 1
1540333003.407 * [misc]taylor:  Taking taylor expansion of (expm1 (log1p (fmod (/ -1 a) (asin (/ -1 a))))) in a
1540333003.407 * [misc]taylor:  Rewrote expression to (- (exp (log1p (fmod (/ -1 a) (asin (/ -1 a))))) 1)
1540333003.407 * [misc]taylor:  Taking taylor expansion of (exp (log1p (fmod (/ -1 a) (asin (/ -1 a))))) in a
1540333003.407 * [misc]taylor:  Taking taylor expansion of (log1p (fmod (/ -1 a) (asin (/ -1 a)))) in a
1540333003.407 * [misc]taylor:  Rewrote expression to (log (+ 1 (fmod (/ -1 a) (asin (/ -1 a)))))
1540333003.407 * [misc]taylor:  Taking taylor expansion of (+ 1 (fmod (/ -1 a) (asin (/ -1 a)))) in a
1540333003.408 * [misc]taylor:  Taking taylor expansion of 1 in a
1540333003.408 * [misc]backup-simplify:  Simplify 1 into 1
1540333003.408 * [misc]taylor:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a
1540333003.408 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540333003.408 * [misc]backup-simplify:  Simplify (+ 1 (fmod (/ -1 a) (asin (/ -1 a)))) into (+ (fmod (/ -1 a) (asin (/ -1 a))) 1)
1540333003.408 * [misc]backup-simplify:  Simplify (log (+ (fmod (/ -1 a) (asin (/ -1 a))) 1)) into (log (+ (fmod (/ -1 a) (asin (/ -1 a))) 1))
1540333003.408 * [misc]backup-simplify:  Simplify (exp (log (+ (fmod (/ -1 a) (asin (/ -1 a))) 1))) into (+ (fmod (/ -1 a) (asin (/ -1 a))) 1)
1540333003.408 * [misc]taylor:  Taking taylor expansion of 1 in a
1540333003.408 * [misc]backup-simplify:  Simplify 1 into 1
1540333003.409 * [misc]backup-simplify:  Simplify (- 1) into -1
1540333003.409 * [misc]backup-simplify:  Simplify (+ (+ (fmod (/ -1 a) (asin (/ -1 a))) 1) -1) into (fmod (/ -1 a) (asin (/ -1 a)))
1540333003.409 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540333003.409 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540333003.411 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (fmod (/ -1 a) (asin (/ -1 a))) 1) 1)))) 1) into 0
1540333003.412 * [misc]backup-simplify:  Simplify (* (exp (log (+ (fmod (/ -1 a) (asin (/ -1 a))) 1))) (+ (* (/ (pow 0 1) 1)))) into 0
1540333003.412 * [misc]backup-simplify:  Simplify (- 0) into 0
1540333003.412 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540333003.412 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.412 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540333003.415 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (fmod (/ -1 a) (asin (/ -1 a))) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (fmod (/ -1 a) (asin (/ -1 a))) 1) 1)))) 2) into 0
1540333003.417 * [misc]backup-simplify:  Simplify (* (exp (log (+ (fmod (/ -1 a) (asin (/ -1 a))) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1540333003.417 * [misc]backup-simplify:  Simplify (- 0) into 0
1540333003.417 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540333003.417 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.417 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540333003.422 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (fmod (/ -1 a) (asin (/ -1 a))) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (fmod (/ -1 a) (asin (/ -1 a))) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (fmod (/ -1 a) (asin (/ -1 a))) 1) 1)))) 6) into 0
1540333003.425 * [misc]backup-simplify:  Simplify (* (exp (log (+ (fmod (/ -1 a) (asin (/ -1 a))) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1540333003.425 * [misc]backup-simplify:  Simplify (- 0) into 0
1540333003.425 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540333003.425 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.426 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540333003.433 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (fmod (/ -1 a) (asin (/ -1 a))) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (fmod (/ -1 a) (asin (/ -1 a))) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (fmod (/ -1 a) (asin (/ -1 a))) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (fmod (/ -1 a) (asin (/ -1 a))) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (fmod (/ -1 a) (asin (/ -1 a))) 1) 1)))) 24) into 0
1540333003.438 * [misc]backup-simplify:  Simplify (* (exp (log (+ (fmod (/ -1 a) (asin (/ -1 a))) 1))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1540333003.438 * [misc]backup-simplify:  Simplify (- 0) into 0
1540333003.438 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540333003.438 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.439 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540333003.447 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (fmod (/ -1 a) (asin (/ -1 a))) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (fmod (/ -1 a) (asin (/ -1 a))) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (fmod (/ -1 a) (asin (/ -1 a))) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (fmod (/ -1 a) (asin (/ -1 a))) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (fmod (/ -1 a) (asin (/ -1 a))) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (fmod (/ -1 a) (asin (/ -1 a))) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (fmod (/ -1 a) (asin (/ -1 a))) 1) 1)))) 120) into 0
1540333003.452 * [misc]backup-simplify:  Simplify (* (exp (log (+ (fmod (/ -1 a) (asin (/ -1 a))) 1))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1540333003.453 * [misc]backup-simplify:  Simplify (- 0) into 0
1540333003.453 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540333003.453 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.453 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540333003.463 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (fmod (/ -1 a) (asin (/ -1 a))) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (fmod (/ -1 a) (asin (/ -1 a))) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (fmod (/ -1 a) (asin (/ -1 a))) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (fmod (/ -1 a) (asin (/ -1 a))) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (fmod (/ -1 a) (asin (/ -1 a))) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (fmod (/ -1 a) (asin (/ -1 a))) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (fmod (/ -1 a) (asin (/ -1 a))) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (fmod (/ -1 a) (asin (/ -1 a))) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (fmod (/ -1 a) (asin (/ -1 a))) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (fmod (/ -1 a) (asin (/ -1 a))) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (fmod (/ -1 a) (asin (/ -1 a))) 1) 1)))) 720) into 0
1540333003.471 * [misc]backup-simplify:  Simplify (* (exp (log (+ (fmod (/ -1 a) (asin (/ -1 a))) 1))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1540333003.471 * [misc]backup-simplify:  Simplify (- 0) into 0
1540333003.471 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540333003.471 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.471 * [misc]backup-simplify:  Simplify (fmod (/ -1 (/ 1 (- a))) (asin (/ -1 (/ 1 (- a))))) into (fmod a (asin a))
1540333003.471 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2)
1540333003.472 * [misc]backup-simplify:  Simplify (pow (atan (expm1 (log1p (fmod a (asin a))))) (* a a)) into (pow (atan (expm1 (log1p (fmod a (asin a))))) (pow a 2))
1540333003.472 * [misc]approximate:  Taking taylor expansion of (pow (atan (expm1 (log1p (fmod a (asin a))))) (pow a 2)) in (a) around 0
1540333003.472 * [misc]taylor:  Taking taylor expansion of (pow (atan (expm1 (log1p (fmod a (asin a))))) (pow a 2)) in a
1540333003.472 * [misc]taylor:  Taking taylor expansion of (exp (* (pow a 2) (log (atan (expm1 (log1p (fmod a (asin a)))))))) in a
1540333003.472 * [misc]taylor:  Taking taylor expansion of (* (pow a 2) (log (atan (expm1 (log1p (fmod a (asin a))))))) in a
1540333003.472 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1540333003.472 * [misc]taylor:  Taking taylor expansion of a in a
1540333003.472 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.472 * [misc]backup-simplify:  Simplify 1 into 1
1540333003.472 * [misc]taylor:  Taking taylor expansion of (log (atan (expm1 (log1p (fmod a (asin a)))))) in a
1540333003.472 * [misc]taylor:  Taking taylor expansion of (atan (expm1 (log1p (fmod a (asin a))))) in a
1540333003.472 * [misc]backup-simplify:  Simplify (atan (expm1 (log1p (fmod a (asin a))))) into (atan (expm1 (log1p (fmod a (asin a)))))
1540333003.472 * [misc]backup-simplify:  Simplify (log (atan (expm1 (log1p (fmod a (asin a)))))) into (log (atan (expm1 (log1p (fmod a (asin a))))))
1540333003.472 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540333003.472 * [misc]backup-simplify:  Simplify (* 1 (log (atan (expm1 (log1p (fmod a (asin a))))))) into (log (atan (expm1 (log1p (fmod a (asin a))))))
1540333003.472 * [misc]backup-simplify:  Simplify (exp 0) into 1
1540333003.472 * [misc]taylor:  Taking taylor expansion of (pow (atan (expm1 (log1p (fmod a (asin a))))) (pow a 2)) in a
1540333003.472 * [misc]taylor:  Taking taylor expansion of (exp (* (pow a 2) (log (atan (expm1 (log1p (fmod a (asin a)))))))) in a
1540333003.472 * [misc]taylor:  Taking taylor expansion of (* (pow a 2) (log (atan (expm1 (log1p (fmod a (asin a))))))) in a
1540333003.472 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1540333003.472 * [misc]taylor:  Taking taylor expansion of a in a
1540333003.472 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.472 * [misc]backup-simplify:  Simplify 1 into 1
1540333003.472 * [misc]taylor:  Taking taylor expansion of (log (atan (expm1 (log1p (fmod a (asin a)))))) in a
1540333003.472 * [misc]taylor:  Taking taylor expansion of (atan (expm1 (log1p (fmod a (asin a))))) in a
1540333003.472 * [misc]backup-simplify:  Simplify (atan (expm1 (log1p (fmod a (asin a))))) into (atan (expm1 (log1p (fmod a (asin a)))))
1540333003.472 * [misc]backup-simplify:  Simplify (log (atan (expm1 (log1p (fmod a (asin a)))))) into (log (atan (expm1 (log1p (fmod a (asin a))))))
1540333003.473 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540333003.473 * [misc]backup-simplify:  Simplify (* 1 (log (atan (expm1 (log1p (fmod a (asin a))))))) into (log (atan (expm1 (log1p (fmod a (asin a))))))
1540333003.473 * [misc]backup-simplify:  Simplify (exp 0) into 1
1540333003.473 * [misc]backup-simplify:  Simplify 1 into 1
1540333003.474 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
1540333003.474 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.474 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow (log (atan (expm1 (log1p (fmod a (asin a)))))) 1) 1)))) into (log (atan (expm1 (log1p (fmod a (asin a))))))
1540333003.474 * [misc]backup-simplify:  Simplify (log (atan (expm1 (log1p (fmod a (asin a)))))) into (log (atan (expm1 (log1p (fmod a (asin a))))))
1540333003.475 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (atan (expm1 (log1p (fmod a (asin a))))) 1)))) 1) into 0
1540333003.475 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540333003.475 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 (log (atan (expm1 (log1p (fmod a (asin a)))))))) into 0
1540333003.477 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow (log (atan (expm1 (log1p (fmod a (asin a)))))) 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1540333003.477 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.478 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (atan (expm1 (log1p (fmod a (asin a))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (atan (expm1 (log1p (fmod a (asin a))))) 1)))) 2) into 0
1540333003.478 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1540333003.479 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (log (atan (expm1 (log1p (fmod a (asin a))))))))) into 0
1540333003.483 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow (log (atan (expm1 (log1p (fmod a (asin a)))))) 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow (log (atan (expm1 (log1p (fmod a (asin a)))))) 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (pow (log (atan (expm1 (log1p (fmod a (asin a)))))) 2))
1540333003.483 * [misc]backup-simplify:  Simplify (* 1/2 (pow (log (atan (expm1 (log1p (fmod a (asin a)))))) 2)) into (* 1/2 (pow (log (atan (expm1 (log1p (fmod a (asin a)))))) 2))
1540333003.484 * [misc]backup-simplify:  Simplify (+ (* (* 1/2 (pow (log (atan (expm1 (log1p (fmod a (asin a)))))) 2)) (pow a 4)) (+ (* (log (atan (expm1 (log1p (fmod a (asin a)))))) (pow a 2)) 1)) into (+ (* (pow a 2) (log (atan (expm1 (log1p (fmod a (asin a))))))) (+ 1 (* 1/2 (* (pow a 4) (pow (log (atan (expm1 (log1p (fmod a (asin a)))))) 2)))))
1540333003.485 * [misc]backup-simplify:  Simplify (pow (atan (expm1 (log1p (fmod (/ 1 a) (asin (/ 1 a)))))) (* (/ 1 a) (/ 1 a))) into (pow (atan (expm1 (log1p (fmod (/ 1 a) (asin (/ 1 a)))))) (/ 1 (pow a 2)))
1540333003.485 * [misc]approximate:  Taking taylor expansion of (pow (atan (expm1 (log1p (fmod (/ 1 a) (asin (/ 1 a)))))) (/ 1 (pow a 2))) in (a) around 0
1540333003.485 * [misc]taylor:  Taking taylor expansion of (pow (atan (expm1 (log1p (fmod (/ 1 a) (asin (/ 1 a)))))) (/ 1 (pow a 2))) in a
1540333003.485 * [misc]taylor:  Taking taylor expansion of (exp (* (/ 1 (pow a 2)) (log (atan (expm1 (log1p (fmod (/ 1 a) (asin (/ 1 a))))))))) in a
1540333003.485 * [misc]taylor:  Taking taylor expansion of (* (/ 1 (pow a 2)) (log (atan (expm1 (log1p (fmod (/ 1 a) (asin (/ 1 a)))))))) in a
1540333003.485 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow a 2)) in a
1540333003.485 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1540333003.485 * [misc]taylor:  Taking taylor expansion of a in a
1540333003.485 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.485 * [misc]backup-simplify:  Simplify 1 into 1
1540333003.485 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540333003.486 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540333003.486 * [misc]taylor:  Taking taylor expansion of (log (atan (expm1 (log1p (fmod (/ 1 a) (asin (/ 1 a))))))) in a
1540333003.486 * [misc]taylor:  Taking taylor expansion of (atan (expm1 (log1p (fmod (/ 1 a) (asin (/ 1 a)))))) in a
1540333003.486 * [misc]backup-simplify:  Simplify (atan (expm1 (log1p (fmod (/ 1 a) (asin (/ 1 a)))))) into (atan (expm1 (log1p (fmod (/ 1 a) (asin (/ 1 a))))))
1540333003.486 * [misc]backup-simplify:  Simplify (log (atan (expm1 (log1p (fmod (/ 1 a) (asin (/ 1 a))))))) into (log (atan (expm1 (log1p (fmod (/ 1 a) (asin (/ 1 a)))))))
1540333003.486 * [misc]backup-simplify:  Simplify (* 1 (log (atan (expm1 (log1p (fmod (/ 1 a) (asin (/ 1 a)))))))) into (log (atan (expm1 (log1p (fmod (/ 1 a) (asin (/ 1 a)))))))
1540333003.486 * [misc]backup-simplify:  Simplify (exp (* (/ 1 (pow a 2)) (log (atan (expm1 (log1p (fmod (/ 1 a) (asin (/ 1 a))))))))) into (exp (/ (log (atan (expm1 (log1p (fmod (/ 1 a) (asin (/ 1 a))))))) (pow a 2)))
1540333003.487 * [misc]taylor:  Taking taylor expansion of (pow (atan (expm1 (log1p (fmod (/ 1 a) (asin (/ 1 a)))))) (/ 1 (pow a 2))) in a
1540333003.487 * [misc]taylor:  Taking taylor expansion of (exp (* (/ 1 (pow a 2)) (log (atan (expm1 (log1p (fmod (/ 1 a) (asin (/ 1 a))))))))) in a
1540333003.487 * [misc]taylor:  Taking taylor expansion of (* (/ 1 (pow a 2)) (log (atan (expm1 (log1p (fmod (/ 1 a) (asin (/ 1 a)))))))) in a
1540333003.487 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow a 2)) in a
1540333003.487 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1540333003.487 * [misc]taylor:  Taking taylor expansion of a in a
1540333003.487 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.487 * [misc]backup-simplify:  Simplify 1 into 1
1540333003.487 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540333003.487 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540333003.487 * [misc]taylor:  Taking taylor expansion of (log (atan (expm1 (log1p (fmod (/ 1 a) (asin (/ 1 a))))))) in a
1540333003.487 * [misc]taylor:  Taking taylor expansion of (atan (expm1 (log1p (fmod (/ 1 a) (asin (/ 1 a)))))) in a
1540333003.487 * [misc]backup-simplify:  Simplify (atan (expm1 (log1p (fmod (/ 1 a) (asin (/ 1 a)))))) into (atan (expm1 (log1p (fmod (/ 1 a) (asin (/ 1 a))))))
1540333003.488 * [misc]backup-simplify:  Simplify (log (atan (expm1 (log1p (fmod (/ 1 a) (asin (/ 1 a))))))) into (log (atan (expm1 (log1p (fmod (/ 1 a) (asin (/ 1 a)))))))
1540333003.488 * [misc]backup-simplify:  Simplify (* 1 (log (atan (expm1 (log1p (fmod (/ 1 a) (asin (/ 1 a)))))))) into (log (atan (expm1 (log1p (fmod (/ 1 a) (asin (/ 1 a)))))))
1540333003.488 * [misc]backup-simplify:  Simplify (exp (* (/ 1 (pow a 2)) (log (atan (expm1 (log1p (fmod (/ 1 a) (asin (/ 1 a))))))))) into (exp (/ (log (atan (expm1 (log1p (fmod (/ 1 a) (asin (/ 1 a))))))) (pow a 2)))
1540333003.488 * [misc]backup-simplify:  Simplify (exp (/ (log (atan (expm1 (log1p (fmod (/ 1 a) (asin (/ 1 a))))))) (pow a 2))) into (exp (/ (log (atan (expm1 (log1p (fmod (/ 1 a) (asin (/ 1 a))))))) (pow a 2)))
1540333003.489 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.489 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.489 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.489 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.489 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.489 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.489 * [misc]backup-simplify:  Simplify (exp (/ (log (atan (expm1 (log1p (fmod (/ 1 (/ 1 a)) (asin (/ 1 (/ 1 a)))))))) (pow (/ 1 a) 2))) into (pow (atan (expm1 (log1p (fmod a (asin a))))) (pow a 2))
1540333003.490 * [misc]backup-simplify:  Simplify (pow (atan (expm1 (log1p (fmod (/ 1 (- a)) (asin (/ 1 (- a))))))) (* (/ 1 (- a)) (/ 1 (- a)))) into (pow (atan (expm1 (log1p (fmod (/ -1 a) (asin (/ -1 a)))))) (/ 1 (pow a 2)))
1540333003.490 * [misc]approximate:  Taking taylor expansion of (pow (atan (expm1 (log1p (fmod (/ -1 a) (asin (/ -1 a)))))) (/ 1 (pow a 2))) in (a) around 0
1540333003.490 * [misc]taylor:  Taking taylor expansion of (pow (atan (expm1 (log1p (fmod (/ -1 a) (asin (/ -1 a)))))) (/ 1 (pow a 2))) in a
1540333003.490 * [misc]taylor:  Taking taylor expansion of (exp (* (/ 1 (pow a 2)) (log (atan (expm1 (log1p (fmod (/ -1 a) (asin (/ -1 a))))))))) in a
1540333003.490 * [misc]taylor:  Taking taylor expansion of (* (/ 1 (pow a 2)) (log (atan (expm1 (log1p (fmod (/ -1 a) (asin (/ -1 a)))))))) in a
1540333003.490 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow a 2)) in a
1540333003.490 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1540333003.490 * [misc]taylor:  Taking taylor expansion of a in a
1540333003.490 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.490 * [misc]backup-simplify:  Simplify 1 into 1
1540333003.490 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540333003.490 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540333003.490 * [misc]taylor:  Taking taylor expansion of (log (atan (expm1 (log1p (fmod (/ -1 a) (asin (/ -1 a))))))) in a
1540333003.490 * [misc]taylor:  Taking taylor expansion of (atan (expm1 (log1p (fmod (/ -1 a) (asin (/ -1 a)))))) in a
1540333003.491 * [misc]backup-simplify:  Simplify (atan (expm1 (log1p (fmod (/ -1 a) (asin (/ -1 a)))))) into (atan (expm1 (log1p (fmod (/ -1 a) (asin (/ -1 a))))))
1540333003.491 * [misc]backup-simplify:  Simplify (log (atan (expm1 (log1p (fmod (/ -1 a) (asin (/ -1 a))))))) into (log (atan (expm1 (log1p (fmod (/ -1 a) (asin (/ -1 a)))))))
1540333003.491 * [misc]backup-simplify:  Simplify (* 1 (log (atan (expm1 (log1p (fmod (/ -1 a) (asin (/ -1 a)))))))) into (log (atan (expm1 (log1p (fmod (/ -1 a) (asin (/ -1 a)))))))
1540333003.491 * [misc]backup-simplify:  Simplify (exp (* (/ 1 (pow a 2)) (log (atan (expm1 (log1p (fmod (/ -1 a) (asin (/ -1 a))))))))) into (exp (/ (log (atan (expm1 (log1p (fmod (/ -1 a) (asin (/ -1 a))))))) (pow a 2)))
1540333003.491 * [misc]taylor:  Taking taylor expansion of (pow (atan (expm1 (log1p (fmod (/ -1 a) (asin (/ -1 a)))))) (/ 1 (pow a 2))) in a
1540333003.491 * [misc]taylor:  Taking taylor expansion of (exp (* (/ 1 (pow a 2)) (log (atan (expm1 (log1p (fmod (/ -1 a) (asin (/ -1 a))))))))) in a
1540333003.491 * [misc]taylor:  Taking taylor expansion of (* (/ 1 (pow a 2)) (log (atan (expm1 (log1p (fmod (/ -1 a) (asin (/ -1 a)))))))) in a
1540333003.491 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow a 2)) in a
1540333003.491 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1540333003.491 * [misc]taylor:  Taking taylor expansion of a in a
1540333003.492 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.492 * [misc]backup-simplify:  Simplify 1 into 1
1540333003.492 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540333003.492 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540333003.492 * [misc]taylor:  Taking taylor expansion of (log (atan (expm1 (log1p (fmod (/ -1 a) (asin (/ -1 a))))))) in a
1540333003.492 * [misc]taylor:  Taking taylor expansion of (atan (expm1 (log1p (fmod (/ -1 a) (asin (/ -1 a)))))) in a
1540333003.492 * [misc]backup-simplify:  Simplify (atan (expm1 (log1p (fmod (/ -1 a) (asin (/ -1 a)))))) into (atan (expm1 (log1p (fmod (/ -1 a) (asin (/ -1 a))))))
1540333003.492 * [misc]backup-simplify:  Simplify (log (atan (expm1 (log1p (fmod (/ -1 a) (asin (/ -1 a))))))) into (log (atan (expm1 (log1p (fmod (/ -1 a) (asin (/ -1 a)))))))
1540333003.492 * [misc]backup-simplify:  Simplify (* 1 (log (atan (expm1 (log1p (fmod (/ -1 a) (asin (/ -1 a)))))))) into (log (atan (expm1 (log1p (fmod (/ -1 a) (asin (/ -1 a)))))))
1540333003.493 * [misc]backup-simplify:  Simplify (exp (* (/ 1 (pow a 2)) (log (atan (expm1 (log1p (fmod (/ -1 a) (asin (/ -1 a))))))))) into (exp (/ (log (atan (expm1 (log1p (fmod (/ -1 a) (asin (/ -1 a))))))) (pow a 2)))
1540333003.493 * [misc]backup-simplify:  Simplify (exp (/ (log (atan (expm1 (log1p (fmod (/ -1 a) (asin (/ -1 a))))))) (pow a 2))) into (exp (/ (log (atan (expm1 (log1p (fmod (/ -1 a) (asin (/ -1 a))))))) (pow a 2)))
1540333003.493 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.493 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.493 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.493 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.493 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.493 * [misc]backup-simplify:  Simplify 0 into 0
1540333003.494 * [misc]backup-simplify:  Simplify (exp (/ (log (atan (expm1 (log1p (fmod (/ -1 (/ 1 (- a))) (asin (/ -1 (/ 1 (- a))))))))) (pow (/ 1 (- a)) 2))) into (pow (atan (expm1 (log1p (fmod a (asin a))))) (pow a 2))
1540333003.494 * * * [misc]progress:  simplifying candidates
1540333003.494 * * * * [misc]progress:  [ 1 / 45 ] simplifiying candidate #<alt (λ (a) (pow (atan (expm1 (log1p (log1p (expm1 (fmod a (asin a))))))) (* a a)))>
1540333003.494 * * * * [misc]progress:  [ 2 / 45 ] simplifiying candidate #<alt (λ (a) (pow (atan (expm1 (log1p (expm1 (log1p (fmod a (asin a))))))) (* a a)))>
1540333003.494 * * * * [misc]progress:  [ 3 / 45 ] simplifiying candidate #<alt (λ (a) (pow (atan (expm1 (log1p (pow (fmod a (asin a)) 1)))) (* a a)))>
1540333003.494 * * * * [misc]progress:  [ 4 / 45 ] simplifiying candidate #<alt (λ (a) (pow (atan (expm1 (log1p (exp (log (fmod a (asin a))))))) (* a a)))>
1540333003.494 * * * * [misc]progress:  [ 5 / 45 ] simplifiying candidate #<alt (λ (a) (pow (atan (expm1 (log1p (log (exp (fmod a (asin a))))))) (* a a)))>
1540333003.494 * * * * [misc]progress:  [ 6 / 45 ] simplifiying candidate #<alt (λ (a) (pow (atan (expm1 (log1p (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))))) (* a a)))>
1540333003.495 * * * * [misc]progress:  [ 7 / 45 ] simplifiying candidate #<alt (λ (a) (pow (atan (expm1 (log1p (cbrt (* (* (fmod a (asin a)) (fmod a (asin a))) (fmod a (asin a))))))) (* a a)))>
1540333003.495 * * * * [misc]progress:  [ 8 / 45 ] simplifiying candidate #<alt (λ (a) (pow (atan (expm1 (log1p (* (sqrt (fmod a (asin a))) (sqrt (fmod a (asin a))))))) (* a a)))>
1540333003.495 * * * * [misc]progress:  [ 9 / 45 ] simplifiying candidate #<alt (λ (a) (pow (atan (expm1 (log1p (* 1 (fmod a (asin a)))))) (* a a)))>
1540333003.495 * * * * [misc]progress:  [ 10 / 45 ] simplifiying candidate #<alt (λ (a) (pow (atan (- (exp (log1p (fmod a (asin a)))) 1)) (* a a)))>
1540333003.495 * * * * [misc]progress:  [ 11 / 45 ] simplifiying candidate #<alt (λ (a) (pow (atan (log1p (expm1 (expm1 (log1p (fmod a (asin a))))))) (* a a)))>
1540333003.495 * * * * [misc]progress:  [ 12 / 45 ] simplifiying candidate #<alt (λ (a) (pow (atan (expm1 (log1p (expm1 (log1p (fmod a (asin a))))))) (* a a)))>
1540333003.495 * * * * [misc]progress:  [ 13 / 45 ] simplifiying candidate #<alt (λ (a) (pow (atan (fmod a (asin a))) (* a a)))>
1540333003.495 * * * * [misc]progress:  [ 14 / 45 ] simplifiying candidate #<alt (λ (a) (pow (atan (pow (expm1 (log1p (fmod a (asin a)))) 1)) (* a a)))>
1540333003.495 * * * * [misc]progress:  [ 15 / 45 ] simplifiying candidate #<alt (λ (a) (pow (atan (exp (log (expm1 (log1p (fmod a (asin a))))))) (* a a)))>
1540333003.495 * * * * [misc]progress:  [ 16 / 45 ] simplifiying candidate #<alt (λ (a) (pow (atan (log (exp (expm1 (log1p (fmod a (asin a))))))) (* a a)))>
1540333003.495 * * * * [misc]progress:  [ 17 / 45 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (expm1 (log1p (fmod a (asin a))))) (cbrt (expm1 (log1p (fmod a (asin a)))))) (cbrt (expm1 (log1p (fmod a (asin a))))))) (* a a)))>
1540333003.495 * * * * [misc]progress:  [ 18 / 45 ] simplifiying candidate #<alt (λ (a) (pow (atan (cbrt (* (* (expm1 (log1p (fmod a (asin a)))) (expm1 (log1p (fmod a (asin a))))) (expm1 (log1p (fmod a (asin a))))))) (* a a)))>
1540333003.495 * * * * [misc]progress:  [ 19 / 45 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (sqrt (expm1 (log1p (fmod a (asin a))))) (sqrt (expm1 (log1p (fmod a (asin a))))))) (* a a)))>
1540333003.495 * * * * [misc]progress:  [ 20 / 45 ] simplifiying candidate #<alt (λ (a) (pow (atan (* 1 (expm1 (log1p (fmod a (asin a)))))) (* a a)))>
1540333003.495 * * * * [misc]progress:  [ 21 / 45 ] simplifiying candidate #<alt (λ (a) (log1p (expm1 (pow (atan (expm1 (log1p (fmod a (asin a))))) (* a a)))))>
1540333003.495 * * * * [misc]progress:  [ 22 / 45 ] simplifiying candidate #<alt (λ (a) (expm1 (log1p (pow (atan (expm1 (log1p (fmod a (asin a))))) (* a a)))))>
1540333003.495 * * * * [misc]progress:  [ 23 / 45 ] simplifiying candidate #<alt (λ (a) (exp (* (log (atan (expm1 (log1p (fmod a (asin a)))))) (* a a))))>
1540333003.496 * [enter]simplify:  Simplifying (* (log (atan (expm1 (log1p (fmod a (asin a)))))) (* a a))
1540333003.497 * * [misc]simplify:  iters left: 6 (9 enodes)
1540333003.501 * * [misc]simplify:  iters left: 5 (12 enodes)
1540333003.505 * * [misc]simplify:  iters left: 4 (14 enodes)
1540333003.510 * [exit]simplify:  Simplified to (* (* a a) (log (atan (fmod a (asin a)))))
1540333003.510 * [misc]simplify:  Simplified (2 1) to (λ (a) (exp (* (* a a) (log (atan (fmod a (asin a)))))))
1540333003.510 * * * * [misc]progress:  [ 24 / 45 ] simplifiying candidate #<alt (λ (a) (exp (* (log (atan (expm1 (log1p (fmod a (asin a)))))) (* a a))))>
1540333003.510 * * * * [misc]progress:  [ 25 / 45 ] simplifiying candidate #<alt (λ (a) (pow (atan (expm1 (log1p (fmod a (asin a))))) (* 1 (* a a))))>
1540333003.511 * [enter]simplify:  Simplifying (atan (expm1 (log1p (fmod a (asin a)))))
1540333003.514 * * [misc]simplify:  iters left: 5 (6 enodes)
1540333003.516 * [exit]simplify:  Simplified to (atan (fmod a (asin a)))
1540333003.516 * [misc]simplify:  Simplified (2 1) to (λ (a) (pow (atan (fmod a (asin a))) (* 1 (* a a))))
1540333003.516 * * * * [misc]progress:  [ 26 / 45 ] simplifiying candidate #<alt (λ (a) (pow (pow (atan (expm1 (log1p (fmod a (asin a))))) a) a))>
1540333003.516 * * * * [misc]progress:  [ 27 / 45 ] simplifiying candidate #<alt (λ (a) (* (pow (* (cbrt (atan (expm1 (log1p (fmod a (asin a)))))) (cbrt (atan (expm1 (log1p (fmod a (asin a))))))) (* a a)) (pow (cbrt (atan (expm1 (log1p (fmod a (asin a)))))) (* a a))))>
1540333003.517 * [enter]simplify:  Simplifying (pow (* (cbrt (atan (expm1 (log1p (fmod a (asin a)))))) (cbrt (atan (expm1 (log1p (fmod a (asin a))))))) (* a a))
1540333003.518 * * [misc]simplify:  iters left: 6 (10 enodes)
1540333003.522 * [exit]simplify:  Simplified to (pow (* (cbrt (atan (fmod a (asin a)))) (cbrt (atan (fmod a (asin a))))) (* a a))
1540333003.522 * [misc]simplify:  Simplified (2 1) to (λ (a) (* (pow (* (cbrt (atan (fmod a (asin a)))) (cbrt (atan (fmod a (asin a))))) (* a a)) (pow (cbrt (atan (expm1 (log1p (fmod a (asin a)))))) (* a a))))
1540333003.522 * * * * [misc]progress:  [ 28 / 45 ] simplifiying candidate #<alt (λ (a) (* (pow (sqrt (atan (expm1 (log1p (fmod a (asin a)))))) (* a a)) (pow (sqrt (atan (expm1 (log1p (fmod a (asin a)))))) (* a a))))>
1540333003.523 * [enter]simplify:  Simplifying (pow (sqrt (atan (expm1 (log1p (fmod a (asin a)))))) (* a a))
1540333003.524 * * [misc]simplify:  iters left: 6 (9 enodes)
1540333003.527 * [exit]simplify:  Simplified to (pow (sqrt (atan (fmod a (asin a)))) (* a a))
1540333003.527 * [misc]simplify:  Simplified (2 1) to (λ (a) (* (pow (sqrt (atan (fmod a (asin a)))) (* a a)) (pow (sqrt (atan (expm1 (log1p (fmod a (asin a)))))) (* a a))))
1540333003.527 * * * * [misc]progress:  [ 29 / 45 ] simplifiying candidate #<alt (λ (a) (* (pow 1 (* a a)) (pow (atan (expm1 (log1p (fmod a (asin a))))) (* a a))))>
1540333003.528 * [enter]simplify:  Simplifying (pow 1 (* a a))
1540333003.528 * * [misc]simplify:  iters left: 3 (4 enodes)
1540333003.530 * * [misc]simplify:  iters left: 2 (6 enodes)
1540333003.531 * [exit]simplify:  Simplified to 1
1540333003.531 * [misc]simplify:  Simplified (2 1) to (λ (a) (* 1 (pow (atan (expm1 (log1p (fmod a (asin a))))) (* a a))))
1540333003.531 * * * * [misc]progress:  [ 30 / 45 ] simplifiying candidate #<alt (λ (a) (pow (pow (atan (expm1 (log1p (fmod a (asin a))))) (* a a)) 1))>
1540333003.531 * * * * [misc]progress:  [ 31 / 45 ] simplifiying candidate #<alt (λ (a) (exp (log (pow (atan (expm1 (log1p (fmod a (asin a))))) (* a a)))))>
1540333003.531 * * * * [misc]progress:  [ 32 / 45 ] simplifiying candidate #<alt (λ (a) (log (exp (pow (atan (expm1 (log1p (fmod a (asin a))))) (* a a)))))>
1540333003.531 * * * * [misc]progress:  [ 33 / 45 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (pow (atan (expm1 (log1p (fmod a (asin a))))) (* a a))) (cbrt (pow (atan (expm1 (log1p (fmod a (asin a))))) (* a a)))) (cbrt (pow (atan (expm1 (log1p (fmod a (asin a))))) (* a a)))))>
1540333003.531 * * * * [misc]progress:  [ 34 / 45 ] simplifiying candidate #<alt (λ (a) (cbrt (* (* (pow (atan (expm1 (log1p (fmod a (asin a))))) (* a a)) (pow (atan (expm1 (log1p (fmod a (asin a))))) (* a a))) (pow (atan (expm1 (log1p (fmod a (asin a))))) (* a a)))))>
1540333003.531 * * * * [misc]progress:  [ 35 / 45 ] simplifiying candidate #<alt (λ (a) (* (sqrt (pow (atan (expm1 (log1p (fmod a (asin a))))) (* a a))) (sqrt (pow (atan (expm1 (log1p (fmod a (asin a))))) (* a a)))))>
1540333003.531 * * * * [misc]progress:  [ 36 / 45 ] simplifiying candidate #<alt (λ (a) (* 1 (pow (atan (expm1 (log1p (fmod a (asin a))))) (* a a))))>
1540333003.531 * * * * [misc]progress:  [ 37 / 45 ] simplifiying candidate #<alt (λ (a) (pow (atan (expm1 (log1p (fmod a (asin a))))) (* a a)))>
1540333003.531 * [enter]simplify:  Simplifying (fmod a (asin a))
1540333003.532 * * [misc]simplify:  iters left: 2 (3 enodes)
1540333003.532 * [exit]simplify:  Simplified to (fmod a (asin a))
1540333003.532 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (pow (atan (expm1 (log1p (fmod a (asin a))))) (* a a)))
1540333003.532 * * * * [misc]progress:  [ 38 / 45 ] simplifiying candidate #<alt (λ (a) (pow (atan (expm1 (log1p (fmod a (asin a))))) (* a a)))>
1540333003.532 * [enter]simplify:  Simplifying (fmod a (asin a))
1540333003.533 * * [misc]simplify:  iters left: 2 (3 enodes)
1540333003.533 * [exit]simplify:  Simplified to (fmod a (asin a))
1540333003.533 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (pow (atan (expm1 (log1p (fmod a (asin a))))) (* a a)))
1540333003.533 * * * * [misc]progress:  [ 39 / 45 ] simplifiying candidate #<alt (λ (a) (pow (atan (expm1 (log1p (fmod a (asin a))))) (* a a)))>
1540333003.533 * [enter]simplify:  Simplifying (fmod a (asin a))
1540333003.533 * * [misc]simplify:  iters left: 2 (3 enodes)
1540333003.534 * [exit]simplify:  Simplified to (fmod a (asin a))
1540333003.534 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (pow (atan (expm1 (log1p (fmod a (asin a))))) (* a a)))
1540333003.534 * * * * [misc]progress:  [ 40 / 45 ] simplifiying candidate #<alt (λ (a) (pow (atan (fmod a (asin a))) (* a a)))>
1540333003.534 * [enter]simplify:  Simplifying (fmod a (asin a))
1540333003.534 * * [misc]simplify:  iters left: 2 (3 enodes)
1540333003.535 * [exit]simplify:  Simplified to (fmod a (asin a))
1540333003.535 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a)))
1540333003.535 * * * * [misc]progress:  [ 41 / 45 ] simplifiying candidate #<alt (λ (a) (pow (atan (fmod a (asin a))) (* a a)))>
1540333003.535 * [enter]simplify:  Simplifying (fmod a (asin a))
1540333003.535 * * [misc]simplify:  iters left: 2 (3 enodes)
1540333003.536 * [exit]simplify:  Simplified to (fmod a (asin a))
1540333003.536 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a)))
1540333003.536 * * * * [misc]progress:  [ 42 / 45 ] simplifiying candidate #<alt (λ (a) (pow (atan (fmod a (asin a))) (* a a)))>
1540333003.536 * [enter]simplify:  Simplifying (fmod a (asin a))
1540333003.536 * * [misc]simplify:  iters left: 2 (3 enodes)
1540333003.537 * [exit]simplify:  Simplified to (fmod a (asin a))
1540333003.537 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a)))
1540333003.537 * * * * [misc]progress:  [ 43 / 45 ] simplifiying candidate #<alt (λ (a) (+ (* (pow a 2) (log (atan (expm1 (log1p (fmod a (asin a))))))) (+ 1 (* 1/2 (* (pow a 4) (pow (log (atan (expm1 (log1p (fmod a (asin a)))))) 2))))))>
1540333003.537 * [enter]simplify:  Simplifying (+ (* (pow a 2) (log (atan (expm1 (log1p (fmod a (asin a))))))) (+ 1 (* 1/2 (* (pow a 4) (pow (log (atan (expm1 (log1p (fmod a (asin a)))))) 2)))))
1540333003.538 * * [misc]simplify:  iters left: 6 (19 enodes)
1540333003.542 * * [misc]simplify:  iters left: 5 (33 enodes)
1540333003.550 * * [misc]simplify:  iters left: 4 (61 enodes)
1540333003.566 * * [misc]simplify:  iters left: 3 (102 enodes)
1540333003.602 * * [misc]simplify:  iters left: 2 (119 enodes)
1540333003.633 * * [misc]simplify:  iters left: 1 (122 enodes)
1540333003.669 * [exit]simplify:  Simplified to (fma (log (atan (fmod a (asin a)))) (fma (* 1/2 (pow a 4)) (log (atan (fmod a (asin a)))) (* a a)) 1)
1540333003.669 * [misc]simplify:  Simplified (2) to (λ (a) (fma (log (atan (fmod a (asin a)))) (fma (* 1/2 (pow a 4)) (log (atan (fmod a (asin a)))) (* a a)) 1))
1540333003.669 * * * * [misc]progress:  [ 44 / 45 ] simplifiying candidate #<alt (λ (a) (pow (atan (expm1 (log1p (fmod a (asin a))))) (pow a 2)))>
1540333003.669 * [enter]simplify:  Simplifying (pow (atan (expm1 (log1p (fmod a (asin a))))) (pow a 2))
1540333003.670 * * [misc]simplify:  iters left: 6 (9 enodes)
1540333003.673 * * [misc]simplify:  iters left: 5 (10 enodes)
1540333003.677 * [exit]simplify:  Simplified to (pow (atan (fmod a (asin a))) (* a a))
1540333003.677 * [misc]simplify:  Simplified (2) to (λ (a) (pow (atan (fmod a (asin a))) (* a a)))
1540333003.677 * * * * [misc]progress:  [ 45 / 45 ] simplifiying candidate #<alt (λ (a) (pow (atan (expm1 (log1p (fmod a (asin a))))) (pow a 2)))>
1540333003.677 * [enter]simplify:  Simplifying (pow (atan (expm1 (log1p (fmod a (asin a))))) (pow a 2))
1540333003.678 * * [misc]simplify:  iters left: 6 (9 enodes)
1540333003.681 * * [misc]simplify:  iters left: 5 (10 enodes)
1540333003.684 * [exit]simplify:  Simplified to (pow (atan (fmod a (asin a))) (* a a))
1540333003.684 * [misc]simplify:  Simplified (2) to (λ (a) (pow (atan (fmod a (asin a))) (* a a)))
1540333003.684 * * * [misc]progress:  adding candidates to table
1540333004.566 * [misc]progress:  [Phase 3 of 3] Extracting.
1540333004.576 * [enter]simplify:  Simplifying (pow (atan (expm1 (log1p (fmod a (asin a))))) (* a a))
1540333004.577 * * [misc]simplify:  iters left: 6 (8 enodes)
1540333004.579 * [exit]simplify:  Simplified to (pow (atan (expm1 (log1p (fmod a (asin a))))) (* a a))
1540333004.579 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1540333004.607 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1540333004.608 * * * * [misc]points:  Setting MPFR precision to 2112
1540333004.611 * * * * [misc]points:  Setting MPFR precision to 2368
1540333004.614 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1540333004.615 * * * * [misc]points:  Setting MPFR precision to 2112
1540333004.618 * * * * [misc]points:  Setting MPFR precision to 2368
1540333004.622 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1540333004.623 * * * * [misc]points:  Setting MPFR precision to 2112
1540333004.628 * * * * [misc]points:  Setting MPFR precision to 2368
1540333004.638 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1540333004.640 * * * * [misc]points:  Setting MPFR precision to 2112
1540333004.653 * * * * [misc]points:  Setting MPFR precision to 2368
1540333004.666 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1540333004.667 * * * * [misc]points:  Setting MPFR precision to 2112
1540333004.706 * * * * [misc]points:  Setting MPFR precision to 2368
1540333004.757 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1540333004.759 * * * * [misc]points:  Setting MPFR precision to 2112
1540333004.849 * * * * [misc]points:  Setting MPFR precision to 2368
1540333004.952 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1540333004.954 * * * * [misc]points:  Setting MPFR precision to 2112
1540333005.115 * * * * [misc]points:  Setting MPFR precision to 2368
1540333005.243 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1540333005.244 * * * * [misc]points:  Setting MPFR precision to 2112
1540333005.545 * * * * [misc]points:  Setting MPFR precision to 2368
1540333005.860 * * * * [misc]points:  Computing exacts for 8000 points
1540333005.861 * * * * [misc]points:  Setting MPFR precision to 2112
1540333007.510 * * * * [misc]points:  Setting MPFR precision to 2368
1540333008.844 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333008.846 * * * * [misc]points:  Sampling 6047 additional inputs, on iter 1 have 1953 / 8000
1540333008.860 * * * * [misc]points:  Computing exacts on every 377 of 6047 points to ramp up precision
1540333008.861 * * * * [misc]points:  Setting MPFR precision to 2112
1540333008.864 * * * * [misc]points:  Setting MPFR precision to 2368
1540333008.868 * * * * [misc]points:  Computing exacts on every 188 of 6047 points to ramp up precision
1540333008.870 * * * * [misc]points:  Setting MPFR precision to 2112
1540333008.893 * * * * [misc]points:  Setting MPFR precision to 2368
1540333008.899 * * * * [misc]points:  Computing exacts on every 94 of 6047 points to ramp up precision
1540333008.900 * * * * [misc]points:  Setting MPFR precision to 2112
1540333008.917 * * * * [misc]points:  Setting MPFR precision to 2368
1540333008.928 * * * * [misc]points:  Computing exacts on every 47 of 6047 points to ramp up precision
1540333008.929 * * * * [misc]points:  Setting MPFR precision to 2112
1540333008.940 * * * * [misc]points:  Setting MPFR precision to 2368
1540333008.951 * * * * [misc]points:  Computing exacts on every 23 of 6047 points to ramp up precision
1540333008.953 * * * * [misc]points:  Setting MPFR precision to 2112
1540333008.979 * * * * [misc]points:  Setting MPFR precision to 2368
1540333009.001 * * * * [misc]points:  Computing exacts on every 11 of 6047 points to ramp up precision
1540333009.002 * * * * [misc]points:  Setting MPFR precision to 2112
1540333009.071 * * * * [misc]points:  Setting MPFR precision to 2368
1540333009.129 * * * * [misc]points:  Computing exacts on every 5 of 6047 points to ramp up precision
1540333009.130 * * * * [misc]points:  Setting MPFR precision to 2112
1540333009.267 * * * * [misc]points:  Setting MPFR precision to 2368
1540333009.386 * * * * [misc]points:  Computing exacts on every 2 of 6047 points to ramp up precision
1540333009.387 * * * * [misc]points:  Setting MPFR precision to 2112
1540333009.663 * * * * [misc]points:  Setting MPFR precision to 2368
1540333009.954 * * * * [misc]points:  Computing exacts for 6047 points
1540333009.956 * * * * [misc]points:  Setting MPFR precision to 2112
1540333011.137 * * * * [misc]points:  Setting MPFR precision to 2368
1540333012.158 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333012.159 * * * * [misc]points:  Sampling 4553 additional inputs, on iter 2 have 3447 / 8000
1540333012.169 * * * * [misc]points:  Computing exacts on every 284 of 4553 points to ramp up precision
1540333012.171 * * * * [misc]points:  Setting MPFR precision to 2112
1540333012.172 * * * * [misc]points:  Setting MPFR precision to 2368
1540333012.174 * * * * [misc]points:  Computing exacts on every 142 of 4553 points to ramp up precision
1540333012.175 * * * * [misc]points:  Setting MPFR precision to 2112
1540333012.180 * * * * [misc]points:  Setting MPFR precision to 2368
1540333012.184 * * * * [misc]points:  Computing exacts on every 71 of 4553 points to ramp up precision
1540333012.185 * * * * [misc]points:  Setting MPFR precision to 2112
1540333012.191 * * * * [misc]points:  Setting MPFR precision to 2368
1540333012.198 * * * * [misc]points:  Computing exacts on every 35 of 4553 points to ramp up precision
1540333012.199 * * * * [misc]points:  Setting MPFR precision to 2112
1540333012.210 * * * * [misc]points:  Setting MPFR precision to 2368
1540333012.223 * * * * [misc]points:  Computing exacts on every 17 of 4553 points to ramp up precision
1540333012.224 * * * * [misc]points:  Setting MPFR precision to 2112
1540333012.247 * * * * [misc]points:  Setting MPFR precision to 2368
1540333012.310 * * * * [misc]points:  Computing exacts on every 8 of 4553 points to ramp up precision
1540333012.312 * * * * [misc]points:  Setting MPFR precision to 2112
1540333012.400 * * * * [misc]points:  Setting MPFR precision to 2368
1540333012.490 * * * * [misc]points:  Computing exacts on every 4 of 4553 points to ramp up precision
1540333012.492 * * * * [misc]points:  Setting MPFR precision to 2112
1540333012.592 * * * * [misc]points:  Setting MPFR precision to 2368
1540333012.750 * * * * [misc]points:  Computing exacts on every 2 of 4553 points to ramp up precision
1540333012.751 * * * * [misc]points:  Setting MPFR precision to 2112
1540333012.977 * * * * [misc]points:  Setting MPFR precision to 2368
1540333013.178 * * * * [misc]points:  Computing exacts for 4553 points
1540333013.180 * * * * [misc]points:  Setting MPFR precision to 2112
1540333013.740 * * * * [misc]points:  Setting MPFR precision to 2368
1540333014.817 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333014.818 * * * * [misc]points:  Sampling 3391 additional inputs, on iter 3 have 4609 / 8000
1540333014.828 * * * * [misc]points:  Computing exacts on every 211 of 3391 points to ramp up precision
1540333014.829 * * * * [misc]points:  Setting MPFR precision to 2112
1540333014.831 * * * * [misc]points:  Setting MPFR precision to 2368
1540333014.833 * * * * [misc]points:  Computing exacts on every 105 of 3391 points to ramp up precision
1540333014.835 * * * * [misc]points:  Setting MPFR precision to 2112
1540333014.841 * * * * [misc]points:  Setting MPFR precision to 2368
1540333014.846 * * * * [misc]points:  Computing exacts on every 52 of 3391 points to ramp up precision
1540333014.848 * * * * [misc]points:  Setting MPFR precision to 2112
1540333014.857 * * * * [misc]points:  Setting MPFR precision to 2368
1540333014.863 * * * * [misc]points:  Computing exacts on every 26 of 3391 points to ramp up precision
1540333014.865 * * * * [misc]points:  Setting MPFR precision to 2112
1540333014.876 * * * * [misc]points:  Setting MPFR precision to 2368
1540333014.892 * * * * [misc]points:  Computing exacts on every 13 of 3391 points to ramp up precision
1540333014.894 * * * * [misc]points:  Setting MPFR precision to 2112
1540333014.914 * * * * [misc]points:  Setting MPFR precision to 2368
1540333014.945 * * * * [misc]points:  Computing exacts on every 6 of 3391 points to ramp up precision
1540333014.947 * * * * [misc]points:  Setting MPFR precision to 2112
1540333015.012 * * * * [misc]points:  Setting MPFR precision to 2368
1540333015.060 * * * * [misc]points:  Computing exacts on every 3 of 3391 points to ramp up precision
1540333015.062 * * * * [misc]points:  Setting MPFR precision to 2112
1540333015.160 * * * * [misc]points:  Setting MPFR precision to 2368
1540333015.285 * * * * [misc]points:  Computing exacts for 3391 points
1540333015.286 * * * * [misc]points:  Setting MPFR precision to 2112
1540333015.733 * * * * [misc]points:  Setting MPFR precision to 2368
1540333016.233 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333016.234 * * * * [misc]points:  Sampling 2570 additional inputs, on iter 4 have 5430 / 8000
1540333016.246 * * * * [misc]points:  Computing exacts on every 160 of 2570 points to ramp up precision
1540333016.247 * * * * [misc]points:  Setting MPFR precision to 2112
1540333016.251 * * * * [misc]points:  Setting MPFR precision to 2368
1540333016.254 * * * * [misc]points:  Computing exacts on every 80 of 2570 points to ramp up precision
1540333016.256 * * * * [misc]points:  Setting MPFR precision to 2112
1540333016.261 * * * * [misc]points:  Setting MPFR precision to 2368
1540333016.267 * * * * [misc]points:  Computing exacts on every 40 of 2570 points to ramp up precision
1540333016.269 * * * * [misc]points:  Setting MPFR precision to 2112
1540333016.282 * * * * [misc]points:  Setting MPFR precision to 2368
1540333016.295 * * * * [misc]points:  Computing exacts on every 20 of 2570 points to ramp up precision
1540333016.297 * * * * [misc]points:  Setting MPFR precision to 2112
1540333016.318 * * * * [misc]points:  Setting MPFR precision to 2368
1540333016.377 * * * * [misc]points:  Computing exacts on every 10 of 2570 points to ramp up precision
1540333016.379 * * * * [misc]points:  Setting MPFR precision to 2112
1540333016.419 * * * * [misc]points:  Setting MPFR precision to 2368
1540333016.461 * * * * [misc]points:  Computing exacts on every 5 of 2570 points to ramp up precision
1540333016.463 * * * * [misc]points:  Setting MPFR precision to 2112
1540333016.519 * * * * [misc]points:  Setting MPFR precision to 2368
1540333016.598 * * * * [misc]points:  Computing exacts on every 2 of 2570 points to ramp up precision
1540333016.600 * * * * [misc]points:  Setting MPFR precision to 2112
1540333016.732 * * * * [misc]points:  Setting MPFR precision to 2368
1540333016.910 * * * * [misc]points:  Computing exacts for 2570 points
1540333016.912 * * * * [misc]points:  Setting MPFR precision to 2112
1540333017.355 * * * * [misc]points:  Setting MPFR precision to 2368
1540333018.093 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333018.094 * * * * [misc]points:  Sampling 1887 additional inputs, on iter 5 have 6113 / 8000
1540333018.103 * * * * [misc]points:  Computing exacts on every 117 of 1887 points to ramp up precision
1540333018.105 * * * * [misc]points:  Setting MPFR precision to 2112
1540333018.108 * * * * [misc]points:  Setting MPFR precision to 2368
1540333018.110 * * * * [misc]points:  Computing exacts on every 58 of 1887 points to ramp up precision
1540333018.112 * * * * [misc]points:  Setting MPFR precision to 2112
1540333018.117 * * * * [misc]points:  Setting MPFR precision to 2368
1540333018.122 * * * * [misc]points:  Computing exacts on every 29 of 1887 points to ramp up precision
1540333018.123 * * * * [misc]points:  Setting MPFR precision to 2112
1540333018.133 * * * * [misc]points:  Setting MPFR precision to 2368
1540333018.144 * * * * [misc]points:  Computing exacts on every 14 of 1887 points to ramp up precision
1540333018.146 * * * * [misc]points:  Setting MPFR precision to 2112
1540333018.170 * * * * [misc]points:  Setting MPFR precision to 2368
1540333018.194 * * * * [misc]points:  Computing exacts on every 7 of 1887 points to ramp up precision
1540333018.196 * * * * [misc]points:  Setting MPFR precision to 2112
1540333018.217 * * * * [misc]points:  Setting MPFR precision to 2368
1540333018.263 * * * * [misc]points:  Computing exacts on every 3 of 1887 points to ramp up precision
1540333018.264 * * * * [misc]points:  Setting MPFR precision to 2112
1540333018.344 * * * * [misc]points:  Setting MPFR precision to 2368
1540333018.396 * * * * [misc]points:  Computing exacts for 1887 points
1540333018.397 * * * * [misc]points:  Setting MPFR precision to 2112
1540333018.671 * * * * [misc]points:  Setting MPFR precision to 2368
1540333018.964 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333018.965 * * * * [misc]points:  Sampling 1417 additional inputs, on iter 6 have 6583 / 8000
1540333018.972 * * * * [misc]points:  Computing exacts on every 88 of 1417 points to ramp up precision
1540333018.973 * * * * [misc]points:  Setting MPFR precision to 2112
1540333018.974 * * * * [misc]points:  Setting MPFR precision to 2368
1540333018.976 * * * * [misc]points:  Computing exacts on every 44 of 1417 points to ramp up precision
1540333018.977 * * * * [misc]points:  Setting MPFR precision to 2112
1540333018.978 * * * * [misc]points:  Setting MPFR precision to 2368
1540333018.980 * * * * [misc]points:  Computing exacts on every 22 of 1417 points to ramp up precision
1540333018.982 * * * * [misc]points:  Setting MPFR precision to 2112
1540333018.987 * * * * [misc]points:  Setting MPFR precision to 2368
1540333018.993 * * * * [misc]points:  Computing exacts on every 11 of 1417 points to ramp up precision
1540333018.994 * * * * [misc]points:  Setting MPFR precision to 2112
1540333019.030 * * * * [misc]points:  Setting MPFR precision to 2368
1540333019.042 * * * * [misc]points:  Computing exacts on every 5 of 1417 points to ramp up precision
1540333019.044 * * * * [misc]points:  Setting MPFR precision to 2112
1540333019.075 * * * * [misc]points:  Setting MPFR precision to 2368
1540333019.095 * * * * [misc]points:  Computing exacts on every 2 of 1417 points to ramp up precision
1540333019.096 * * * * [misc]points:  Setting MPFR precision to 2112
1540333019.163 * * * * [misc]points:  Setting MPFR precision to 2368
1540333019.207 * * * * [misc]points:  Computing exacts for 1417 points
1540333019.208 * * * * [misc]points:  Setting MPFR precision to 2112
1540333019.437 * * * * [misc]points:  Setting MPFR precision to 2368
1540333019.658 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333019.658 * * * * [misc]points:  Sampling 1066 additional inputs, on iter 7 have 6934 / 8000
1540333019.661 * * * * [misc]points:  Computing exacts on every 66 of 1066 points to ramp up precision
1540333019.662 * * * * [misc]points:  Setting MPFR precision to 2112
1540333019.663 * * * * [misc]points:  Setting MPFR precision to 2368
1540333019.665 * * * * [misc]points:  Computing exacts on every 33 of 1066 points to ramp up precision
1540333019.666 * * * * [misc]points:  Setting MPFR precision to 2112
1540333019.670 * * * * [misc]points:  Setting MPFR precision to 2368
1540333019.675 * * * * [misc]points:  Computing exacts on every 16 of 1066 points to ramp up precision
1540333019.677 * * * * [misc]points:  Setting MPFR precision to 2112
1540333019.687 * * * * [misc]points:  Setting MPFR precision to 2368
1540333019.696 * * * * [misc]points:  Computing exacts on every 8 of 1066 points to ramp up precision
1540333019.697 * * * * [misc]points:  Setting MPFR precision to 2112
1540333019.744 * * * * [misc]points:  Setting MPFR precision to 2368
1540333019.766 * * * * [misc]points:  Computing exacts on every 4 of 1066 points to ramp up precision
1540333019.768 * * * * [misc]points:  Setting MPFR precision to 2112
1540333019.800 * * * * [misc]points:  Setting MPFR precision to 2368
1540333019.837 * * * * [misc]points:  Computing exacts on every 2 of 1066 points to ramp up precision
1540333019.838 * * * * [misc]points:  Setting MPFR precision to 2112
1540333019.871 * * * * [misc]points:  Setting MPFR precision to 2368
1540333019.909 * * * * [misc]points:  Computing exacts for 1066 points
1540333019.910 * * * * [misc]points:  Setting MPFR precision to 2112
1540333020.034 * * * * [misc]points:  Setting MPFR precision to 2368
1540333020.206 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333020.207 * * * * [misc]points:  Sampling 808 additional inputs, on iter 8 have 7192 / 8000
1540333020.209 * * * * [misc]points:  Computing exacts on every 50 of 808 points to ramp up precision
1540333020.210 * * * * [misc]points:  Setting MPFR precision to 2112
1540333020.212 * * * * [misc]points:  Setting MPFR precision to 2368
1540333020.214 * * * * [misc]points:  Computing exacts on every 25 of 808 points to ramp up precision
1540333020.215 * * * * [misc]points:  Setting MPFR precision to 2112
1540333020.221 * * * * [misc]points:  Setting MPFR precision to 2368
1540333020.228 * * * * [misc]points:  Computing exacts on every 12 of 808 points to ramp up precision
1540333020.230 * * * * [misc]points:  Setting MPFR precision to 2112
1540333020.241 * * * * [misc]points:  Setting MPFR precision to 2368
1540333020.247 * * * * [misc]points:  Computing exacts on every 6 of 808 points to ramp up precision
1540333020.249 * * * * [misc]points:  Setting MPFR precision to 2112
1540333020.268 * * * * [misc]points:  Setting MPFR precision to 2368
1540333020.282 * * * * [misc]points:  Computing exacts on every 3 of 808 points to ramp up precision
1540333020.283 * * * * [misc]points:  Setting MPFR precision to 2112
1540333020.303 * * * * [misc]points:  Setting MPFR precision to 2368
1540333020.323 * * * * [misc]points:  Computing exacts for 808 points
1540333020.324 * * * * [misc]points:  Setting MPFR precision to 2112
1540333020.473 * * * * [misc]points:  Setting MPFR precision to 2368
1540333020.585 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333020.586 * * * * [misc]points:  Sampling 598 additional inputs, on iter 9 have 7402 / 8000
1540333020.589 * * * * [misc]points:  Computing exacts on every 37 of 598 points to ramp up precision
1540333020.590 * * * * [misc]points:  Setting MPFR precision to 2112
1540333020.592 * * * * [misc]points:  Setting MPFR precision to 2368
1540333020.596 * * * * [misc]points:  Computing exacts on every 18 of 598 points to ramp up precision
1540333020.598 * * * * [misc]points:  Setting MPFR precision to 2112
1540333020.603 * * * * [misc]points:  Setting MPFR precision to 2368
1540333020.609 * * * * [misc]points:  Computing exacts on every 9 of 598 points to ramp up precision
1540333020.611 * * * * [misc]points:  Setting MPFR precision to 2112
1540333020.618 * * * * [misc]points:  Setting MPFR precision to 2368
1540333020.623 * * * * [misc]points:  Computing exacts on every 4 of 598 points to ramp up precision
1540333020.624 * * * * [misc]points:  Setting MPFR precision to 2112
1540333020.634 * * * * [misc]points:  Setting MPFR precision to 2368
1540333020.645 * * * * [misc]points:  Computing exacts on every 2 of 598 points to ramp up precision
1540333020.647 * * * * [misc]points:  Setting MPFR precision to 2112
1540333020.677 * * * * [misc]points:  Setting MPFR precision to 2368
1540333020.712 * * * * [misc]points:  Computing exacts for 598 points
1540333020.714 * * * * [misc]points:  Setting MPFR precision to 2112
1540333020.831 * * * * [misc]points:  Setting MPFR precision to 2368
1540333020.947 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333020.947 * * * * [misc]points:  Sampling 447 additional inputs, on iter 10 have 7553 / 8000
1540333020.950 * * * * [misc]points:  Computing exacts on every 27 of 447 points to ramp up precision
1540333020.951 * * * * [misc]points:  Setting MPFR precision to 2112
1540333020.953 * * * * [misc]points:  Setting MPFR precision to 2368
1540333020.954 * * * * [misc]points:  Computing exacts on every 13 of 447 points to ramp up precision
1540333020.956 * * * * [misc]points:  Setting MPFR precision to 2112
1540333020.961 * * * * [misc]points:  Setting MPFR precision to 2368
1540333020.966 * * * * [misc]points:  Computing exacts on every 6 of 447 points to ramp up precision
1540333020.968 * * * * [misc]points:  Setting MPFR precision to 2112
1540333020.978 * * * * [misc]points:  Setting MPFR precision to 2368
1540333020.989 * * * * [misc]points:  Computing exacts on every 3 of 447 points to ramp up precision
1540333020.991 * * * * [misc]points:  Setting MPFR precision to 2112
1540333021.008 * * * * [misc]points:  Setting MPFR precision to 2368
1540333021.028 * * * * [misc]points:  Computing exacts for 447 points
1540333021.029 * * * * [misc]points:  Setting MPFR precision to 2112
1540333021.107 * * * * [misc]points:  Setting MPFR precision to 2368
1540333021.153 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333021.154 * * * * [misc]points:  Sampling 348 additional inputs, on iter 11 have 7652 / 8000
1540333021.155 * * * * [misc]points:  Computing exacts on every 21 of 348 points to ramp up precision
1540333021.156 * * * * [misc]points:  Setting MPFR precision to 2112
1540333021.158 * * * * [misc]points:  Setting MPFR precision to 2368
1540333021.159 * * * * [misc]points:  Computing exacts on every 10 of 348 points to ramp up precision
1540333021.160 * * * * [misc]points:  Setting MPFR precision to 2112
1540333021.647 * * * * [misc]points:  Setting MPFR precision to 2368
1540333021.657 * * * * [misc]points:  Computing exacts on every 5 of 348 points to ramp up precision
1540333021.659 * * * * [misc]points:  Setting MPFR precision to 2112
1540333021.668 * * * * [misc]points:  Setting MPFR precision to 2368
1540333021.678 * * * * [misc]points:  Computing exacts on every 2 of 348 points to ramp up precision
1540333021.680 * * * * [misc]points:  Setting MPFR precision to 2112
1540333021.698 * * * * [misc]points:  Setting MPFR precision to 2368
1540333021.718 * * * * [misc]points:  Computing exacts for 348 points
1540333021.720 * * * * [misc]points:  Setting MPFR precision to 2112
1540333021.757 * * * * [misc]points:  Setting MPFR precision to 2368
1540333021.822 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333021.822 * * * * [misc]points:  Sampling 263 additional inputs, on iter 12 have 7737 / 8000
1540333021.824 * * * * [misc]points:  Computing exacts on every 16 of 263 points to ramp up precision
1540333021.825 * * * * [misc]points:  Setting MPFR precision to 2112
1540333021.829 * * * * [misc]points:  Setting MPFR precision to 2368
1540333021.832 * * * * [misc]points:  Computing exacts on every 8 of 263 points to ramp up precision
1540333021.834 * * * * [misc]points:  Setting MPFR precision to 2112
1540333021.839 * * * * [misc]points:  Setting MPFR precision to 2368
1540333021.845 * * * * [misc]points:  Computing exacts on every 4 of 263 points to ramp up precision
1540333021.847 * * * * [misc]points:  Setting MPFR precision to 2112
1540333021.859 * * * * [misc]points:  Setting MPFR precision to 2368
1540333021.871 * * * * [misc]points:  Computing exacts on every 2 of 263 points to ramp up precision
1540333021.873 * * * * [misc]points:  Setting MPFR precision to 2112
1540333021.885 * * * * [misc]points:  Setting MPFR precision to 2368
1540333021.896 * * * * [misc]points:  Computing exacts for 263 points
1540333021.897 * * * * [misc]points:  Setting MPFR precision to 2112
1540333021.922 * * * * [misc]points:  Setting MPFR precision to 2368
1540333021.974 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333021.975 * * * * [misc]points:  Sampling 191 additional inputs, on iter 13 have 7809 / 8000
1540333021.976 * * * * [misc]points:  Computing exacts on every 11 of 191 points to ramp up precision
1540333021.978 * * * * [misc]points:  Setting MPFR precision to 2112
1540333021.980 * * * * [misc]points:  Setting MPFR precision to 2368
1540333021.982 * * * * [misc]points:  Computing exacts on every 5 of 191 points to ramp up precision
1540333021.984 * * * * [misc]points:  Setting MPFR precision to 2112
1540333021.988 * * * * [misc]points:  Setting MPFR precision to 2368
1540333021.993 * * * * [misc]points:  Computing exacts on every 2 of 191 points to ramp up precision
1540333021.995 * * * * [misc]points:  Setting MPFR precision to 2112
1540333022.033 * * * * [misc]points:  Setting MPFR precision to 2368
1540333022.045 * * * * [misc]points:  Computing exacts for 191 points
1540333022.047 * * * * [misc]points:  Setting MPFR precision to 2112
1540333022.080 * * * * [misc]points:  Setting MPFR precision to 2368
1540333022.116 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333022.116 * * * * [misc]points:  Sampling 135 additional inputs, on iter 14 have 7865 / 8000
1540333022.117 * * * * [misc]points:  Computing exacts on every 8 of 135 points to ramp up precision
1540333022.118 * * * * [misc]points:  Setting MPFR precision to 2112
1540333022.119 * * * * [misc]points:  Setting MPFR precision to 2368
1540333022.121 * * * * [misc]points:  Computing exacts on every 4 of 135 points to ramp up precision
1540333022.121 * * * * [misc]points:  Setting MPFR precision to 2112
1540333022.124 * * * * [misc]points:  Setting MPFR precision to 2368
1540333022.127 * * * * [misc]points:  Computing exacts on every 2 of 135 points to ramp up precision
1540333022.128 * * * * [misc]points:  Setting MPFR precision to 2112
1540333022.132 * * * * [misc]points:  Setting MPFR precision to 2368
1540333022.137 * * * * [misc]points:  Computing exacts for 135 points
1540333022.138 * * * * [misc]points:  Setting MPFR precision to 2112
1540333022.150 * * * * [misc]points:  Setting MPFR precision to 2368
1540333022.176 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333022.176 * * * * [misc]points:  Sampling 102 additional inputs, on iter 15 have 7898 / 8000
1540333022.177 * * * * [misc]points:  Computing exacts on every 6 of 102 points to ramp up precision
1540333022.178 * * * * [misc]points:  Setting MPFR precision to 2112
1540333022.182 * * * * [misc]points:  Setting MPFR precision to 2368
1540333022.185 * * * * [misc]points:  Computing exacts on every 3 of 102 points to ramp up precision
1540333022.187 * * * * [misc]points:  Setting MPFR precision to 2112
1540333022.191 * * * * [misc]points:  Setting MPFR precision to 2368
1540333022.194 * * * * [misc]points:  Computing exacts for 102 points
1540333022.195 * * * * [misc]points:  Setting MPFR precision to 2112
1540333022.206 * * * * [misc]points:  Setting MPFR precision to 2368
1540333022.216 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333022.216 * * * * [misc]points:  Sampling 70 additional inputs, on iter 16 have 7930 / 8000
1540333022.217 * * * * [misc]points:  Computing exacts on every 4 of 70 points to ramp up precision
1540333022.218 * * * * [misc]points:  Setting MPFR precision to 2112
1540333022.219 * * * * [misc]points:  Setting MPFR precision to 2368
1540333022.220 * * * * [misc]points:  Computing exacts on every 2 of 70 points to ramp up precision
1540333022.221 * * * * [misc]points:  Setting MPFR precision to 2112
1540333022.224 * * * * [misc]points:  Setting MPFR precision to 2368
1540333022.227 * * * * [misc]points:  Computing exacts for 70 points
1540333022.229 * * * * [misc]points:  Setting MPFR precision to 2112
1540333022.242 * * * * [misc]points:  Setting MPFR precision to 2368
1540333022.256 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333022.256 * * * * [misc]points:  Sampling 50 additional inputs, on iter 17 have 7950 / 8000
1540333022.257 * * * * [misc]points:  Computing exacts on every 3 of 50 points to ramp up precision
1540333022.259 * * * * [misc]points:  Setting MPFR precision to 2112
1540333022.262 * * * * [misc]points:  Setting MPFR precision to 2368
1540333022.265 * * * * [misc]points:  Computing exacts for 50 points
1540333022.267 * * * * [misc]points:  Setting MPFR precision to 2112
1540333022.277 * * * * [misc]points:  Setting MPFR precision to 2368
1540333022.288 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333022.289 * * * * [misc]points:  Sampling 37 additional inputs, on iter 18 have 7963 / 8000
1540333022.289 * * * * [misc]points:  Computing exacts on every 2 of 37 points to ramp up precision
1540333022.291 * * * * [misc]points:  Setting MPFR precision to 2112
1540333022.293 * * * * [misc]points:  Setting MPFR precision to 2368
1540333022.295 * * * * [misc]points:  Computing exacts for 37 points
1540333022.297 * * * * [misc]points:  Setting MPFR precision to 2112
1540333022.303 * * * * [misc]points:  Setting MPFR precision to 2368
1540333022.310 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333022.310 * * * * [misc]points:  Sampling 26 additional inputs, on iter 19 have 7974 / 8000
1540333022.311 * * * * [misc]points:  Computing exacts for 26 points
1540333022.312 * * * * [misc]points:  Setting MPFR precision to 2112
1540333022.314 * * * * [misc]points:  Setting MPFR precision to 2368
1540333022.316 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333022.316 * * * * [misc]points:  Sampling 19 additional inputs, on iter 20 have 7981 / 8000
1540333022.317 * * * * [misc]points:  Computing exacts for 19 points
1540333022.318 * * * * [misc]points:  Setting MPFR precision to 2112
1540333022.319 * * * * [misc]points:  Setting MPFR precision to 2368
1540333022.323 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333022.323 * * * * [misc]points:  Sampling 14 additional inputs, on iter 21 have 7986 / 8000
1540333022.323 * * * * [misc]points:  Computing exacts for 14 points
1540333022.324 * * * * [misc]points:  Setting MPFR precision to 2112
1540333022.325 * * * * [misc]points:  Setting MPFR precision to 2368
1540333022.326 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333022.326 * * * * [misc]points:  Sampling 13 additional inputs, on iter 22 have 7987 / 8000
1540333022.326 * * * * [misc]points:  Computing exacts for 13 points
1540333022.327 * * * * [misc]points:  Setting MPFR precision to 2112
1540333022.329 * * * * [misc]points:  Setting MPFR precision to 2368
1540333022.331 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333022.331 * * * * [misc]points:  Sampling 7 additional inputs, on iter 23 have 7993 / 8000
1540333022.331 * * * * [misc]points:  Computing exacts for 7 points
1540333022.332 * * * * [misc]points:  Setting MPFR precision to 2112
1540333022.333 * * * * [misc]points:  Setting MPFR precision to 2368
1540333022.333 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333022.334 * * * * [misc]points:  Sampling 6 additional inputs, on iter 24 have 7994 / 8000
1540333022.334 * * * * [misc]points:  Computing exacts for 6 points
1540333022.335 * * * * [misc]points:  Setting MPFR precision to 2112
1540333022.336 * * * * [misc]points:  Setting MPFR precision to 2368
1540333022.336 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333022.336 * * * * [misc]points:  Sampling 4 additional inputs, on iter 25 have 7996 / 8000
1540333022.336 * * * * [misc]points:  Computing exacts for 4 points
1540333022.337 * * * * [misc]points:  Setting MPFR precision to 2112
1540333022.358 * * * * [misc]points:  Setting MPFR precision to 2368
1540333022.359 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333022.359 * * * * [misc]points:  Sampling 4 additional inputs, on iter 26 have 7996 / 8000
1540333022.359 * * * * [misc]points:  Computing exacts for 4 points
1540333022.360 * * * * [misc]points:  Setting MPFR precision to 2112
1540333022.361 * * * * [misc]points:  Setting MPFR precision to 2368
1540333022.361 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333022.361 * * * * [misc]points:  Sampling 4 additional inputs, on iter 27 have 7996 / 8000
1540333022.361 * * * * [misc]points:  Computing exacts for 4 points
1540333022.362 * * * * [misc]points:  Setting MPFR precision to 2112
1540333022.363 * * * * [misc]points:  Setting MPFR precision to 2368
1540333022.363 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333022.363 * * * * [misc]points:  Sampling 4 additional inputs, on iter 28 have 7997 / 8000
1540333022.364 * * * * [misc]points:  Computing exacts for 4 points
1540333022.364 * * * * [misc]points:  Setting MPFR precision to 2112
1540333022.365 * * * * [misc]points:  Setting MPFR precision to 2368
1540333022.365 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333022.365 * * * * [misc]points:  Sampling 4 additional inputs, on iter 29 have 7997 / 8000
1540333022.365 * * * * [misc]points:  Computing exacts for 4 points
1540333022.366 * * * * [misc]points:  Setting MPFR precision to 2112
1540333022.366 * * * * [misc]points:  Setting MPFR precision to 2368
1540333022.367 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333022.367 * * * * [misc]points:  Sampling 4 additional inputs, on iter 30 have 7998 / 8000
1540333022.368 * * * * [misc]points:  Computing exacts for 4 points
1540333022.369 * * * * [misc]points:  Setting MPFR precision to 2112
1540333022.370 * * * * [misc]points:  Setting MPFR precision to 2368
1540333022.370 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333022.370 * * * * [misc]points:  Sampling 4 additional inputs, on iter 31 have 7998 / 8000
1540333022.370 * * * * [misc]points:  Computing exacts for 4 points
1540333022.371 * * * * [misc]points:  Setting MPFR precision to 2112
1540333022.372 * * * * [misc]points:  Setting MPFR precision to 2368
1540333022.374 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540333022.374 * * * * [exit]points:  Sampled 8001 points with exact outputs