1540327320.989 * [misc]progress:  [Phase 1 of 3] Setting up.
1540327320.989 * * * [misc]progress:  [1/2] Preparing points
1540327320.989 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1540327320.990 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1540327320.991 * * * * [misc]points:  Setting MPFR precision to 64
1540327320.992 * * * * [misc]points:  Setting MPFR precision to 320
1540327320.993 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1540327320.994 * * * * [misc]points:  Setting MPFR precision to 64
1540327320.995 * * * * [misc]points:  Setting MPFR precision to 320
1540327320.996 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1540327320.997 * * * * [misc]points:  Setting MPFR precision to 64
1540327320.998 * * * * [misc]points:  Setting MPFR precision to 320
1540327321.000 * * * * [misc]points:  Setting MPFR precision to 576
1540327321.001 * * * * [misc]points:  Setting MPFR precision to 832
1540327321.003 * * * * [misc]points:  Setting MPFR precision to 1088
1540327321.006 * * * * [misc]points:  Setting MPFR precision to 1344
1540327321.009 * * * * [misc]points:  Setting MPFR precision to 1600
1540327321.013 * * * * [misc]points:  Setting MPFR precision to 1856
1540327321.017 * * * * [misc]points:  Setting MPFR precision to 2112
1540327321.022 * * * * [misc]points:  Setting MPFR precision to 2368
1540327321.027 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1540327321.028 * * * * [misc]points:  Setting MPFR precision to 2112
1540327321.035 * * * * [misc]points:  Setting MPFR precision to 2368
1540327321.042 * * * * [misc]points:  Computing exacts for 256 points
1540327321.044 * * * * [misc]points:  Setting MPFR precision to 2112
1540327321.067 * * * * [misc]points:  Setting MPFR precision to 2368
1540327321.110 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327321.110 * * * * [misc]points:  Sampling 193 additional inputs, on iter 1 have 63 / 256
1540327321.111 * * * * [misc]points:  Computing exacts on every 12 of 193 points to ramp up precision
1540327321.112 * * * * [misc]points:  Setting MPFR precision to 2112
1540327321.113 * * * * [misc]points:  Setting MPFR precision to 2368
1540327321.114 * * * * [misc]points:  Computing exacts on every 6 of 193 points to ramp up precision
1540327321.115 * * * * [misc]points:  Setting MPFR precision to 2112
1540327321.117 * * * * [misc]points:  Setting MPFR precision to 2368
1540327321.119 * * * * [misc]points:  Computing exacts on every 3 of 193 points to ramp up precision
1540327321.120 * * * * [misc]points:  Setting MPFR precision to 2112
1540327321.124 * * * * [misc]points:  Setting MPFR precision to 2368
1540327321.129 * * * * [misc]points:  Computing exacts for 193 points
1540327321.130 * * * * [misc]points:  Setting MPFR precision to 2112
1540327321.172 * * * * [misc]points:  Setting MPFR precision to 2368
1540327321.209 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327321.209 * * * * [misc]points:  Sampling 156 additional inputs, on iter 2 have 100 / 256
1540327321.210 * * * * [misc]points:  Computing exacts on every 9 of 156 points to ramp up precision
1540327321.212 * * * * [misc]points:  Setting MPFR precision to 2112
1540327321.214 * * * * [misc]points:  Setting MPFR precision to 2368
1540327321.216 * * * * [misc]points:  Computing exacts on every 4 of 156 points to ramp up precision
1540327321.218 * * * * [misc]points:  Setting MPFR precision to 2112
1540327321.223 * * * * [misc]points:  Setting MPFR precision to 2368
1540327321.229 * * * * [misc]points:  Computing exacts on every 2 of 156 points to ramp up precision
1540327321.231 * * * * [misc]points:  Setting MPFR precision to 2112
1540327321.242 * * * * [misc]points:  Setting MPFR precision to 2368
1540327321.250 * * * * [misc]points:  Computing exacts for 156 points
1540327321.251 * * * * [misc]points:  Setting MPFR precision to 2112
1540327321.270 * * * * [misc]points:  Setting MPFR precision to 2368
1540327321.291 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327321.291 * * * * [misc]points:  Sampling 113 additional inputs, on iter 3 have 143 / 256
1540327321.291 * * * * [misc]points:  Computing exacts on every 7 of 113 points to ramp up precision
1540327321.293 * * * * [misc]points:  Setting MPFR precision to 2112
1540327321.294 * * * * [misc]points:  Setting MPFR precision to 2368
1540327321.295 * * * * [misc]points:  Computing exacts on every 3 of 113 points to ramp up precision
1540327321.296 * * * * [misc]points:  Setting MPFR precision to 2112
1540327321.299 * * * * [misc]points:  Setting MPFR precision to 2368
1540327321.302 * * * * [misc]points:  Computing exacts for 113 points
1540327321.304 * * * * [misc]points:  Setting MPFR precision to 2112
1540327321.323 * * * * [misc]points:  Setting MPFR precision to 2368
1540327321.339 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327321.339 * * * * [misc]points:  Sampling 86 additional inputs, on iter 4 have 170 / 256
1540327321.340 * * * * [misc]points:  Computing exacts on every 5 of 86 points to ramp up precision
1540327321.341 * * * * [misc]points:  Setting MPFR precision to 2112
1540327321.342 * * * * [misc]points:  Setting MPFR precision to 2368
1540327321.344 * * * * [misc]points:  Computing exacts on every 2 of 86 points to ramp up precision
1540327321.345 * * * * [misc]points:  Setting MPFR precision to 2112
1540327321.348 * * * * [misc]points:  Setting MPFR precision to 2368
1540327321.351 * * * * [misc]points:  Computing exacts for 86 points
1540327321.352 * * * * [misc]points:  Setting MPFR precision to 2112
1540327321.359 * * * * [misc]points:  Setting MPFR precision to 2368
1540327321.371 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327321.371 * * * * [misc]points:  Sampling 73 additional inputs, on iter 5 have 183 / 256
1540327321.372 * * * * [misc]points:  Computing exacts on every 4 of 73 points to ramp up precision
1540327321.373 * * * * [misc]points:  Setting MPFR precision to 2112
1540327321.375 * * * * [misc]points:  Setting MPFR precision to 2368
1540327321.377 * * * * [misc]points:  Computing exacts on every 2 of 73 points to ramp up precision
1540327321.379 * * * * [misc]points:  Setting MPFR precision to 2112
1540327321.382 * * * * [misc]points:  Setting MPFR precision to 2368
1540327321.385 * * * * [misc]points:  Computing exacts for 73 points
1540327321.387 * * * * [misc]points:  Setting MPFR precision to 2112
1540327321.399 * * * * [misc]points:  Setting MPFR precision to 2368
1540327321.413 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327321.414 * * * * [misc]points:  Sampling 56 additional inputs, on iter 6 have 200 / 256
1540327321.414 * * * * [misc]points:  Computing exacts on every 3 of 56 points to ramp up precision
1540327321.416 * * * * [misc]points:  Setting MPFR precision to 2112
1540327321.419 * * * * [misc]points:  Setting MPFR precision to 2368
1540327321.422 * * * * [misc]points:  Computing exacts for 56 points
1540327321.424 * * * * [misc]points:  Setting MPFR precision to 2112
1540327321.432 * * * * [misc]points:  Setting MPFR precision to 2368
1540327321.440 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327321.440 * * * * [misc]points:  Sampling 44 additional inputs, on iter 7 have 212 / 256
1540327321.441 * * * * [misc]points:  Computing exacts on every 2 of 44 points to ramp up precision
1540327321.443 * * * * [misc]points:  Setting MPFR precision to 2112
1540327321.446 * * * * [misc]points:  Setting MPFR precision to 2368
1540327321.451 * * * * [misc]points:  Computing exacts for 44 points
1540327321.453 * * * * [misc]points:  Setting MPFR precision to 2112
1540327321.461 * * * * [misc]points:  Setting MPFR precision to 2368
1540327321.472 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327321.473 * * * * [misc]points:  Sampling 31 additional inputs, on iter 8 have 225 / 256
1540327321.473 * * * * [misc]points:  Computing exacts for 31 points
1540327321.475 * * * * [misc]points:  Setting MPFR precision to 2112
1540327321.480 * * * * [misc]points:  Setting MPFR precision to 2368
1540327321.514 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327321.514 * * * * [misc]points:  Sampling 24 additional inputs, on iter 9 have 232 / 256
1540327321.515 * * * * [misc]points:  Computing exacts for 24 points
1540327321.516 * * * * [misc]points:  Setting MPFR precision to 2112
1540327321.518 * * * * [misc]points:  Setting MPFR precision to 2368
1540327321.520 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327321.520 * * * * [misc]points:  Sampling 21 additional inputs, on iter 10 have 235 / 256
1540327321.521 * * * * [misc]points:  Computing exacts for 21 points
1540327321.522 * * * * [misc]points:  Setting MPFR precision to 2112
1540327321.526 * * * * [misc]points:  Setting MPFR precision to 2368
1540327321.528 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327321.528 * * * * [misc]points:  Sampling 12 additional inputs, on iter 11 have 244 / 256
1540327321.529 * * * * [misc]points:  Computing exacts for 12 points
1540327321.530 * * * * [misc]points:  Setting MPFR precision to 2112
1540327321.531 * * * * [misc]points:  Setting MPFR precision to 2368
1540327321.533 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327321.533 * * * * [misc]points:  Sampling 8 additional inputs, on iter 12 have 248 / 256
1540327321.533 * * * * [misc]points:  Computing exacts for 8 points
1540327321.534 * * * * [misc]points:  Setting MPFR precision to 2112
1540327321.536 * * * * [misc]points:  Setting MPFR precision to 2368
1540327321.537 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327321.537 * * * * [misc]points:  Sampling 4 additional inputs, on iter 13 have 253 / 256
1540327321.537 * * * * [misc]points:  Computing exacts for 4 points
1540327321.538 * * * * [misc]points:  Setting MPFR precision to 2112
1540327321.538 * * * * [misc]points:  Setting MPFR precision to 2368
1540327321.539 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327321.539 * * * * [misc]points:  Sampling 4 additional inputs, on iter 14 have 254 / 256
1540327321.539 * * * * [misc]points:  Computing exacts for 4 points
1540327321.540 * * * * [misc]points:  Setting MPFR precision to 2112
1540327321.541 * * * * [misc]points:  Setting MPFR precision to 2368
1540327321.541 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327321.542 * * * * [misc]points:  Sampling 4 additional inputs, on iter 15 have 254 / 256
1540327321.542 * * * * [misc]points:  Computing exacts for 4 points
1540327321.543 * * * * [misc]points:  Setting MPFR precision to 2112
1540327321.544 * * * * [misc]points:  Setting MPFR precision to 2368
1540327321.544 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327321.544 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 254 / 256
1540327321.544 * * * * [misc]points:  Computing exacts for 4 points
1540327321.546 * * * * [misc]points:  Setting MPFR precision to 2112
1540327321.546 * * * * [misc]points:  Setting MPFR precision to 2368
1540327321.546 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327321.547 * * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 254 / 256
1540327321.547 * * * * [misc]points:  Computing exacts for 4 points
1540327321.548 * * * * [misc]points:  Setting MPFR precision to 2112
1540327321.549 * * * * [misc]points:  Setting MPFR precision to 2368
1540327321.549 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327321.550 * * * * [misc]points:  Sampling 4 additional inputs, on iter 18 have 255 / 256
1540327321.550 * * * * [misc]points:  Computing exacts for 4 points
1540327321.551 * * * * [misc]points:  Setting MPFR precision to 2112
1540327321.552 * * * * [misc]points:  Setting MPFR precision to 2368
1540327321.554 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327321.554 * * * * [exit]points:  Sampled 256 points with exact outputs
1540327321.554 * * * [misc]progress:  [2/2] Setting up program.
1540327321.562 * [misc]progress:  [Phase 2 of 3] Improving.
1540327321.562 * [enter]simplify:  Simplifying (pow (atan (fmod a (asin a))) (* a a))
1540327321.564 * * [misc]simplify:  iters left: 4 (6 enodes)
1540327321.566 * [exit]simplify:  Simplified to (pow (atan (fmod a (asin a))) (* a a))
1540327321.576 * * [misc]progress:  iteration 1 / 4
1540327321.576 * * * [misc]progress:  picking best candidate
1540327321.580 * * * * [misc]pick:  Picked  #<alt (λ (a) (pow (atan (fmod a (asin a))) (* a a)))>
1540327321.580 * * * [misc]progress:  localizing error
1540327321.683 * * * [misc]progress:  generating rewritten candidates
1540327321.684 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1 1)
1540327321.685 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2)
1540327321.692 * * * [misc]progress:  generating series expansions
1540327321.692 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1 1)
1540327321.693 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540327321.693 * [misc]approximate:  Taking taylor expansion of (fmod a (asin a)) in (a) around 0
1540327321.693 * [misc]taylor:  Taking taylor expansion of (fmod a (asin a)) in a
1540327321.693 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540327321.693 * [misc]taylor:  Taking taylor expansion of (fmod a (asin a)) in a
1540327321.693 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540327321.693 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540327321.693 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.693 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.693 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.693 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.693 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.693 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.693 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540327321.693 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540327321.693 * [misc]approximate:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in (a) around 0
1540327321.693 * [misc]taylor:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a
1540327321.693 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540327321.693 * [misc]taylor:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a
1540327321.693 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540327321.693 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540327321.693 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.693 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.693 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.693 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.693 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.694 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.694 * [misc]backup-simplify:  Simplify (fmod (/ 1 (/ 1 a)) (asin (/ 1 (/ 1 a)))) into (fmod a (asin a))
1540327321.694 * [misc]backup-simplify:  Simplify (fmod (/ 1 (- a)) (asin (/ 1 (- a)))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540327321.694 * [misc]approximate:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in (a) around 0
1540327321.694 * [misc]taylor:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a
1540327321.694 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540327321.694 * [misc]taylor:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a
1540327321.694 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540327321.694 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540327321.694 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.694 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.694 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.694 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.694 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.694 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.694 * [misc]backup-simplify:  Simplify (fmod (/ -1 (/ 1 (- a))) (asin (/ -1 (/ 1 (- a))))) into (fmod a (asin a))
1540327321.694 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2)
1540327321.694 * [misc]backup-simplify:  Simplify (pow (atan (fmod a (asin a))) (* a a)) into (pow (atan (fmod a (asin a))) (pow a 2))
1540327321.694 * [misc]approximate:  Taking taylor expansion of (pow (atan (fmod a (asin a))) (pow a 2)) in (a) around 0
1540327321.694 * [misc]taylor:  Taking taylor expansion of (pow (atan (fmod a (asin a))) (pow a 2)) in a
1540327321.695 * [misc]taylor:  Taking taylor expansion of (exp (* (pow a 2) (log (atan (fmod a (asin a)))))) in a
1540327321.695 * [misc]taylor:  Taking taylor expansion of (* (pow a 2) (log (atan (fmod a (asin a))))) in a
1540327321.695 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1540327321.695 * [misc]taylor:  Taking taylor expansion of a in a
1540327321.695 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.695 * [misc]backup-simplify:  Simplify 1 into 1
1540327321.695 * [misc]taylor:  Taking taylor expansion of (log (atan (fmod a (asin a)))) in a
1540327321.695 * [misc]taylor:  Taking taylor expansion of (atan (fmod a (asin a))) in a
1540327321.695 * [misc]backup-simplify:  Simplify (atan (fmod a (asin a))) into (atan (fmod a (asin a)))
1540327321.695 * [misc]backup-simplify:  Simplify (log (atan (fmod a (asin a)))) into (log (atan (fmod a (asin a))))
1540327321.695 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540327321.695 * [misc]backup-simplify:  Simplify (* 1 (log (atan (fmod a (asin a))))) into (log (atan (fmod a (asin a))))
1540327321.695 * [misc]backup-simplify:  Simplify (exp 0) into 1
1540327321.695 * [misc]taylor:  Taking taylor expansion of (pow (atan (fmod a (asin a))) (pow a 2)) in a
1540327321.695 * [misc]taylor:  Taking taylor expansion of (exp (* (pow a 2) (log (atan (fmod a (asin a)))))) in a
1540327321.695 * [misc]taylor:  Taking taylor expansion of (* (pow a 2) (log (atan (fmod a (asin a))))) in a
1540327321.695 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1540327321.695 * [misc]taylor:  Taking taylor expansion of a in a
1540327321.695 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.695 * [misc]backup-simplify:  Simplify 1 into 1
1540327321.695 * [misc]taylor:  Taking taylor expansion of (log (atan (fmod a (asin a)))) in a
1540327321.695 * [misc]taylor:  Taking taylor expansion of (atan (fmod a (asin a))) in a
1540327321.695 * [misc]backup-simplify:  Simplify (atan (fmod a (asin a))) into (atan (fmod a (asin a)))
1540327321.695 * [misc]backup-simplify:  Simplify (log (atan (fmod a (asin a)))) into (log (atan (fmod a (asin a))))
1540327321.696 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540327321.696 * [misc]backup-simplify:  Simplify (* 1 (log (atan (fmod a (asin a))))) into (log (atan (fmod a (asin a))))
1540327321.696 * [misc]backup-simplify:  Simplify (exp 0) into 1
1540327321.696 * [misc]backup-simplify:  Simplify 1 into 1
1540327321.697 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
1540327321.697 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.697 * [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))))
1540327321.698 * [misc]backup-simplify:  Simplify (log (atan (fmod a (asin a)))) into (log (atan (fmod a (asin a))))
1540327321.698 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (atan (fmod a (asin a))) 1)))) 1) into 0
1540327321.698 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540327321.699 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 (log (atan (fmod a (asin a)))))) into 0
1540327321.700 * [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
1540327321.700 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.702 * [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
1540327321.702 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1540327321.702 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (log (atan (fmod a (asin a))))))) into 0
1540327321.705 * [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))
1540327321.705 * [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))
1540327321.715 * [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)))))))
1540327321.716 * [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)))
1540327321.716 * [misc]approximate:  Taking taylor expansion of (pow (atan (fmod (/ 1 a) (asin (/ 1 a)))) (/ 1 (pow a 2))) in (a) around 0
1540327321.716 * [misc]taylor:  Taking taylor expansion of (pow (atan (fmod (/ 1 a) (asin (/ 1 a)))) (/ 1 (pow a 2))) in a
1540327321.716 * [misc]taylor:  Taking taylor expansion of (exp (* (/ 1 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a))))))) in a
1540327321.716 * [misc]taylor:  Taking taylor expansion of (* (/ 1 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))) in a
1540327321.716 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow a 2)) in a
1540327321.716 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1540327321.716 * [misc]taylor:  Taking taylor expansion of a in a
1540327321.716 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.716 * [misc]backup-simplify:  Simplify 1 into 1
1540327321.716 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540327321.717 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540327321.717 * [misc]taylor:  Taking taylor expansion of (log (atan (fmod (/ 1 a) (asin (/ 1 a))))) in a
1540327321.717 * [misc]taylor:  Taking taylor expansion of (atan (fmod (/ 1 a) (asin (/ 1 a)))) in a
1540327321.717 * [misc]backup-simplify:  Simplify (atan (fmod (/ 1 a) (asin (/ 1 a)))) into (atan (fmod (/ 1 a) (asin (/ 1 a))))
1540327321.717 * [misc]backup-simplify:  Simplify (log (atan (fmod (/ 1 a) (asin (/ 1 a))))) into (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))
1540327321.717 * [misc]backup-simplify:  Simplify (* 1 (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))) into (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))
1540327321.717 * [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)))
1540327321.717 * [misc]taylor:  Taking taylor expansion of (pow (atan (fmod (/ 1 a) (asin (/ 1 a)))) (/ 1 (pow a 2))) in a
1540327321.717 * [misc]taylor:  Taking taylor expansion of (exp (* (/ 1 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a))))))) in a
1540327321.717 * [misc]taylor:  Taking taylor expansion of (* (/ 1 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))) in a
1540327321.718 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow a 2)) in a
1540327321.718 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1540327321.718 * [misc]taylor:  Taking taylor expansion of a in a
1540327321.718 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.718 * [misc]backup-simplify:  Simplify 1 into 1
1540327321.718 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540327321.718 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540327321.719 * [misc]taylor:  Taking taylor expansion of (log (atan (fmod (/ 1 a) (asin (/ 1 a))))) in a
1540327321.719 * [misc]taylor:  Taking taylor expansion of (atan (fmod (/ 1 a) (asin (/ 1 a)))) in a
1540327321.719 * [misc]backup-simplify:  Simplify (atan (fmod (/ 1 a) (asin (/ 1 a)))) into (atan (fmod (/ 1 a) (asin (/ 1 a))))
1540327321.719 * [misc]backup-simplify:  Simplify (log (atan (fmod (/ 1 a) (asin (/ 1 a))))) into (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))
1540327321.719 * [misc]backup-simplify:  Simplify (* 1 (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))) into (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))
1540327321.719 * [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)))
1540327321.720 * [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)))
1540327321.720 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.720 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.720 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.720 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.720 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.720 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.721 * [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))
1540327321.721 * [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)))
1540327321.721 * [misc]approximate:  Taking taylor expansion of (pow (atan (fmod (/ -1 a) (asin (/ -1 a)))) (/ 1 (pow a 2))) in (a) around 0
1540327321.721 * [misc]taylor:  Taking taylor expansion of (pow (atan (fmod (/ -1 a) (asin (/ -1 a)))) (/ 1 (pow a 2))) in a
1540327321.721 * [misc]taylor:  Taking taylor expansion of (exp (* (/ 1 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a))))))) in a
1540327321.721 * [misc]taylor:  Taking taylor expansion of (* (/ 1 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))) in a
1540327321.721 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow a 2)) in a
1540327321.721 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1540327321.721 * [misc]taylor:  Taking taylor expansion of a in a
1540327321.721 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.721 * [misc]backup-simplify:  Simplify 1 into 1
1540327321.721 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540327321.722 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540327321.722 * [misc]taylor:  Taking taylor expansion of (log (atan (fmod (/ -1 a) (asin (/ -1 a))))) in a
1540327321.722 * [misc]taylor:  Taking taylor expansion of (atan (fmod (/ -1 a) (asin (/ -1 a)))) in a
1540327321.722 * [misc]backup-simplify:  Simplify (atan (fmod (/ -1 a) (asin (/ -1 a)))) into (atan (fmod (/ -1 a) (asin (/ -1 a))))
1540327321.722 * [misc]backup-simplify:  Simplify (log (atan (fmod (/ -1 a) (asin (/ -1 a))))) into (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))
1540327321.722 * [misc]backup-simplify:  Simplify (* 1 (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))) into (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))
1540327321.722 * [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)))
1540327321.722 * [misc]taylor:  Taking taylor expansion of (pow (atan (fmod (/ -1 a) (asin (/ -1 a)))) (/ 1 (pow a 2))) in a
1540327321.723 * [misc]taylor:  Taking taylor expansion of (exp (* (/ 1 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a))))))) in a
1540327321.723 * [misc]taylor:  Taking taylor expansion of (* (/ 1 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))) in a
1540327321.723 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow a 2)) in a
1540327321.723 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1540327321.723 * [misc]taylor:  Taking taylor expansion of a in a
1540327321.723 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.723 * [misc]backup-simplify:  Simplify 1 into 1
1540327321.723 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540327321.723 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540327321.723 * [misc]taylor:  Taking taylor expansion of (log (atan (fmod (/ -1 a) (asin (/ -1 a))))) in a
1540327321.723 * [misc]taylor:  Taking taylor expansion of (atan (fmod (/ -1 a) (asin (/ -1 a)))) in a
1540327321.723 * [misc]backup-simplify:  Simplify (atan (fmod (/ -1 a) (asin (/ -1 a)))) into (atan (fmod (/ -1 a) (asin (/ -1 a))))
1540327321.723 * [misc]backup-simplify:  Simplify (log (atan (fmod (/ -1 a) (asin (/ -1 a))))) into (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))
1540327321.724 * [misc]backup-simplify:  Simplify (* 1 (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))) into (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))
1540327321.724 * [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)))
1540327321.724 * [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)))
1540327321.724 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.724 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.724 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.724 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.724 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.724 * [misc]backup-simplify:  Simplify 0 into 0
1540327321.725 * [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))
1540327321.725 * * * [misc]progress:  simplifying candidates
1540327321.725 * * * * [misc]progress:  [ 1 / 27 ] simplifiying candidate #<alt (λ (a) (pow (atan (pow (fmod a (asin a)) 1)) (* a a)))>
1540327321.725 * * * * [misc]progress:  [ 2 / 27 ] simplifiying candidate #<alt (λ (a) (pow (atan (exp (log (fmod a (asin a))))) (* a a)))>
1540327321.725 * * * * [misc]progress:  [ 3 / 27 ] simplifiying candidate #<alt (λ (a) (pow (atan (log (exp (fmod a (asin a))))) (* a a)))>
1540327321.725 * * * * [misc]progress:  [ 4 / 27 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))) (* a a)))>
1540327321.725 * * * * [misc]progress:  [ 5 / 27 ] simplifiying candidate #<alt (λ (a) (pow (atan (cbrt (* (* (fmod a (asin a)) (fmod a (asin a))) (fmod a (asin a))))) (* a a)))>
1540327321.725 * * * * [misc]progress:  [ 6 / 27 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (sqrt (fmod a (asin a))) (sqrt (fmod a (asin a))))) (* a a)))>
1540327321.725 * * * * [misc]progress:  [ 7 / 27 ] simplifiying candidate #<alt (λ (a) (pow (atan (* 1 (fmod a (asin a)))) (* a a)))>
1540327321.725 * * * * [misc]progress:  [ 8 / 27 ] simplifiying candidate #<alt (λ (a) (exp (* (log (atan (fmod a (asin a)))) (* a a))))>
1540327321.726 * [enter]simplify:  Simplifying (* (log (atan (fmod a (asin a)))) (* a a))
1540327321.727 * * [misc]simplify:  iters left: 6 (7 enodes)
1540327321.730 * * [misc]simplify:  iters left: 5 (10 enodes)
1540327321.732 * * [misc]simplify:  iters left: 4 (12 enodes)
1540327321.735 * [exit]simplify:  Simplified to (* (log (atan (fmod a (asin a)))) (* a a))
1540327321.735 * [misc]simplify:  Simplified (2 1) to (λ (a) (exp (* (log (atan (fmod a (asin a)))) (* a a))))
1540327321.735 * * * * [misc]progress:  [ 9 / 27 ] simplifiying candidate #<alt (λ (a) (exp (* (log (atan (fmod a (asin a)))) (* a a))))>
1540327321.735 * * * * [misc]progress:  [ 10 / 27 ] simplifiying candidate #<alt (λ (a) (pow (atan (fmod a (asin a))) (* 1 (* a a))))>
1540327321.735 * [enter]simplify:  Simplifying (atan (fmod a (asin a)))
1540327321.735 * * [misc]simplify:  iters left: 3 (4 enodes)
1540327321.736 * [exit]simplify:  Simplified to (atan (fmod a (asin a)))
1540327321.736 * [misc]simplify:  Simplified (2 1) to (λ (a) (pow (atan (fmod a (asin a))) (* 1 (* a a))))
1540327321.736 * * * * [misc]progress:  [ 11 / 27 ] simplifiying candidate #<alt (λ (a) (pow (pow (atan (fmod a (asin a))) a) a))>
1540327321.736 * * * * [misc]progress:  [ 12 / 27 ] 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))))>
1540327321.736 * [enter]simplify:  Simplifying (pow (* (cbrt (atan (fmod a (asin a)))) (cbrt (atan (fmod a (asin a))))) (* a a))
1540327321.737 * * [misc]simplify:  iters left: 6 (8 enodes)
1540327321.739 * [exit]simplify:  Simplified to (pow (* (cbrt (atan (fmod a (asin a)))) (cbrt (atan (fmod a (asin a))))) (* a a))
1540327321.739 * [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))))
1540327321.739 * * * * [misc]progress:  [ 13 / 27 ] simplifiying candidate #<alt (λ (a) (* (pow (sqrt (atan (fmod a (asin a)))) (* a a)) (pow (sqrt (atan (fmod a (asin a)))) (* a a))))>
1540327321.739 * [enter]simplify:  Simplifying (pow (sqrt (atan (fmod a (asin a)))) (* a a))
1540327321.739 * * [misc]simplify:  iters left: 5 (7 enodes)
1540327321.741 * [exit]simplify:  Simplified to (pow (sqrt (atan (fmod a (asin a)))) (* a a))
1540327321.741 * [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))))
1540327321.741 * * * * [misc]progress:  [ 14 / 27 ] simplifiying candidate #<alt (λ (a) (* (pow 1 (* a a)) (pow (atan (fmod a (asin a))) (* a a))))>
1540327321.741 * [enter]simplify:  Simplifying (pow 1 (* a a))
1540327321.741 * * [misc]simplify:  iters left: 3 (4 enodes)
1540327321.742 * * [misc]simplify:  iters left: 2 (6 enodes)
1540327321.743 * [exit]simplify:  Simplified to 1
1540327321.743 * [misc]simplify:  Simplified (2 1) to (λ (a) (* 1 (pow (atan (fmod a (asin a))) (* a a))))
1540327321.743 * * * * [misc]progress:  [ 15 / 27 ] simplifiying candidate #<alt (λ (a) (pow (pow (atan (fmod a (asin a))) (* a a)) 1))>
1540327321.743 * * * * [misc]progress:  [ 16 / 27 ] simplifiying candidate #<alt (λ (a) (exp (log (pow (atan (fmod a (asin a))) (* a a)))))>
1540327321.743 * * * * [misc]progress:  [ 17 / 27 ] simplifiying candidate #<alt (λ (a) (log (exp (pow (atan (fmod a (asin a))) (* a a)))))>
1540327321.743 * * * * [misc]progress:  [ 18 / 27 ] 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)))))>
1540327321.743 * * * * [misc]progress:  [ 19 / 27 ] 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)))))>
1540327321.743 * * * * [misc]progress:  [ 20 / 27 ] simplifiying candidate #<alt (λ (a) (* (sqrt (pow (atan (fmod a (asin a))) (* a a))) (sqrt (pow (atan (fmod a (asin a))) (* a a)))))>
1540327321.743 * * * * [misc]progress:  [ 21 / 27 ] simplifiying candidate #<alt (λ (a) (* 1 (pow (atan (fmod a (asin a))) (* a a))))>
1540327321.743 * * * * [misc]progress:  [ 22 / 27 ] simplifiying candidate #<alt (λ (a) (pow (atan (fmod a (asin a))) (* a a)))>
1540327321.743 * [enter]simplify:  Simplifying (fmod a (asin a))
1540327321.743 * * [misc]simplify:  iters left: 2 (3 enodes)
1540327321.744 * [exit]simplify:  Simplified to (fmod a (asin a))
1540327321.744 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a)))
1540327321.744 * * * * [misc]progress:  [ 23 / 27 ] simplifiying candidate #<alt (λ (a) (pow (atan (fmod a (asin a))) (* a a)))>
1540327321.744 * [enter]simplify:  Simplifying (fmod a (asin a))
1540327321.744 * * [misc]simplify:  iters left: 2 (3 enodes)
1540327321.745 * [exit]simplify:  Simplified to (fmod a (asin a))
1540327321.745 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a)))
1540327321.745 * * * * [misc]progress:  [ 24 / 27 ] simplifiying candidate #<alt (λ (a) (pow (atan (fmod a (asin a))) (* a a)))>
1540327321.745 * [enter]simplify:  Simplifying (fmod a (asin a))
1540327321.745 * * [misc]simplify:  iters left: 2 (3 enodes)
1540327321.746 * [exit]simplify:  Simplified to (fmod a (asin a))
1540327321.746 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a)))
1540327321.746 * * * * [misc]progress:  [ 25 / 27 ] 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))))))))>
1540327321.746 * [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)))))))
1540327321.747 * * [misc]simplify:  iters left: 6 (17 enodes)
1540327321.751 * * [misc]simplify:  iters left: 5 (30 enodes)
1540327321.757 * * [misc]simplify:  iters left: 4 (52 enodes)
1540327321.776 * * [misc]simplify:  iters left: 3 (72 enodes)
1540327321.799 * * [misc]simplify:  iters left: 2 (79 enodes)
1540327321.831 * [exit]simplify:  Simplified to (+ (* (* (pow a 4) 1/2) (* (log (atan (fmod a (asin a)))) (log (atan (fmod a (asin a)))))) (+ (* (log (atan (fmod a (asin a)))) (* a a)) 1))
1540327321.832 * [misc]simplify:  Simplified (2) to (λ (a) (+ (* (* (pow a 4) 1/2) (* (log (atan (fmod a (asin a)))) (log (atan (fmod a (asin a)))))) (+ (* (log (atan (fmod a (asin a)))) (* a a)) 1)))
1540327321.832 * * * * [misc]progress:  [ 26 / 27 ] simplifiying candidate #<alt (λ (a) (pow (atan (fmod a (asin a))) (pow a 2)))>
1540327321.832 * [enter]simplify:  Simplifying (pow (atan (fmod a (asin a))) (pow a 2))
1540327321.833 * * [misc]simplify:  iters left: 4 (7 enodes)
1540327321.835 * * [misc]simplify:  iters left: 3 (8 enodes)
1540327321.838 * [exit]simplify:  Simplified to (pow (atan (fmod a (asin a))) (* a a))
1540327321.838 * [misc]simplify:  Simplified (2) to (λ (a) (pow (atan (fmod a (asin a))) (* a a)))
1540327321.838 * * * * [misc]progress:  [ 27 / 27 ] simplifiying candidate #<alt (λ (a) (pow (atan (fmod a (asin a))) (pow a 2)))>
1540327321.838 * [enter]simplify:  Simplifying (pow (atan (fmod a (asin a))) (pow a 2))
1540327321.839 * * [misc]simplify:  iters left: 4 (7 enodes)
1540327321.841 * * [misc]simplify:  iters left: 3 (8 enodes)
1540327321.844 * [exit]simplify:  Simplified to (pow (atan (fmod a (asin a))) (* a a))
1540327321.844 * [misc]simplify:  Simplified (2) to (λ (a) (pow (atan (fmod a (asin a))) (* a a)))
1540327321.844 * * * [misc]progress:  adding candidates to table
1540327322.288 * * [misc]progress:  iteration 2 / 4
1540327322.288 * * * [misc]progress:  picking best candidate
1540327322.293 * * * * [misc]pick:  Picked  #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))) (* a a)))>
1540327322.293 * * * [misc]progress:  localizing error
1540327322.380 * * * [misc]progress:  generating rewritten candidates
1540327322.380 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 1)
1540327322.382 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1 2 1)
1540327322.383 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
1540327322.384 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2)
1540327322.388 * * * [misc]progress:  generating series expansions
1540327322.388 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 1)
1540327322.388 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540327322.388 * [misc]approximate:  Taking taylor expansion of (fmod a (asin a)) in (a) around 0
1540327322.388 * [misc]taylor:  Taking taylor expansion of (fmod a (asin a)) in a
1540327322.389 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540327322.389 * [misc]taylor:  Taking taylor expansion of (fmod a (asin a)) in a
1540327322.389 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540327322.389 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540327322.389 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.389 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.389 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.389 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.389 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.389 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.389 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540327322.389 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540327322.389 * [misc]approximate:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in (a) around 0
1540327322.389 * [misc]taylor:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a
1540327322.389 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540327322.389 * [misc]taylor:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a
1540327322.390 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540327322.390 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540327322.390 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.390 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.390 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.390 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.390 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.390 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.390 * [misc]backup-simplify:  Simplify (fmod (/ 1 (/ 1 a)) (asin (/ 1 (/ 1 a)))) into (fmod a (asin a))
1540327322.390 * [misc]backup-simplify:  Simplify (fmod (/ 1 (- a)) (asin (/ 1 (- a)))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540327322.390 * [misc]approximate:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in (a) around 0
1540327322.390 * [misc]taylor:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a
1540327322.390 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540327322.390 * [misc]taylor:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a
1540327322.391 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540327322.391 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540327322.391 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.391 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.391 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.391 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.391 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.391 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.391 * [misc]backup-simplify:  Simplify (fmod (/ -1 (/ 1 (- a))) (asin (/ -1 (/ 1 (- a))))) into (fmod a (asin a))
1540327322.391 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1 2 1)
1540327322.391 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540327322.391 * [misc]approximate:  Taking taylor expansion of (fmod a (asin a)) in (a) around 0
1540327322.391 * [misc]taylor:  Taking taylor expansion of (fmod a (asin a)) in a
1540327322.392 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540327322.392 * [misc]taylor:  Taking taylor expansion of (fmod a (asin a)) in a
1540327322.392 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540327322.392 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540327322.392 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.392 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.392 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.392 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.392 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.392 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.392 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540327322.392 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540327322.392 * [misc]approximate:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in (a) around 0
1540327322.392 * [misc]taylor:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a
1540327322.392 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540327322.392 * [misc]taylor:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a
1540327322.392 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540327322.393 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540327322.393 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.393 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.393 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.393 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.393 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.393 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.393 * [misc]backup-simplify:  Simplify (fmod (/ 1 (/ 1 a)) (asin (/ 1 (/ 1 a)))) into (fmod a (asin a))
1540327322.393 * [misc]backup-simplify:  Simplify (fmod (/ 1 (- a)) (asin (/ 1 (- a)))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540327322.393 * [misc]approximate:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in (a) around 0
1540327322.393 * [misc]taylor:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a
1540327322.393 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540327322.393 * [misc]taylor:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a
1540327322.393 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540327322.394 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540327322.394 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.394 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.394 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.394 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.394 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.394 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.394 * [misc]backup-simplify:  Simplify (fmod (/ -1 (/ 1 (- a))) (asin (/ -1 (/ 1 (- a))))) into (fmod a (asin a))
1540327322.394 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1 1)
1540327322.394 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540327322.394 * [misc]approximate:  Taking taylor expansion of (fmod a (asin a)) in (a) around 0
1540327322.394 * [misc]taylor:  Taking taylor expansion of (fmod a (asin a)) in a
1540327322.394 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540327322.395 * [misc]taylor:  Taking taylor expansion of (fmod a (asin a)) in a
1540327322.395 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540327322.395 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540327322.395 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.395 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.395 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.395 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.395 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.395 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.395 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540327322.395 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540327322.395 * [misc]approximate:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in (a) around 0
1540327322.395 * [misc]taylor:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a
1540327322.395 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540327322.395 * [misc]taylor:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a
1540327322.395 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540327322.396 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540327322.396 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.396 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.396 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.396 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.396 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.396 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.396 * [misc]backup-simplify:  Simplify (fmod (/ 1 (/ 1 a)) (asin (/ 1 (/ 1 a)))) into (fmod a (asin a))
1540327322.396 * [misc]backup-simplify:  Simplify (fmod (/ 1 (- a)) (asin (/ 1 (- a)))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540327322.396 * [misc]approximate:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in (a) around 0
1540327322.396 * [misc]taylor:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a
1540327322.396 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540327322.396 * [misc]taylor:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a
1540327322.396 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540327322.397 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540327322.397 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.397 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.397 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.397 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.397 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.397 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.397 * [misc]backup-simplify:  Simplify (fmod (/ -1 (/ 1 (- a))) (asin (/ -1 (/ 1 (- a))))) into (fmod a (asin a))
1540327322.397 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2)
1540327322.397 * [misc]backup-simplify:  Simplify (cbrt (fmod a (asin a))) into (pow (fmod a (asin a)) 1/3)
1540327322.398 * [misc]approximate:  Taking taylor expansion of (pow (fmod a (asin a)) 1/3) in (a) around 0
1540327322.398 * [misc]taylor:  Taking taylor expansion of (pow (fmod a (asin a)) 1/3) in a
1540327322.398 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (fmod a (asin a))))) in a
1540327322.398 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (fmod a (asin a)))) in a
1540327322.398 * [misc]taylor:  Taking taylor expansion of 1/3 in a
1540327322.398 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1540327322.398 * [misc]taylor:  Taking taylor expansion of (log (fmod a (asin a))) in a
1540327322.398 * [misc]taylor:  Taking taylor expansion of (fmod a (asin a)) in a
1540327322.398 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540327322.398 * [misc]backup-simplify:  Simplify (log (fmod a (asin a))) into (log (fmod a (asin a)))
1540327322.398 * [misc]backup-simplify:  Simplify (* 1/3 (log (fmod a (asin a)))) into (* 1/3 (log (fmod a (asin a))))
1540327322.398 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log (fmod a (asin a))))) into (pow (fmod a (asin a)) 1/3)
1540327322.398 * [misc]taylor:  Taking taylor expansion of (pow (fmod a (asin a)) 1/3) in a
1540327322.398 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (fmod a (asin a))))) in a
1540327322.398 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (fmod a (asin a)))) in a
1540327322.398 * [misc]taylor:  Taking taylor expansion of 1/3 in a
1540327322.398 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1540327322.398 * [misc]taylor:  Taking taylor expansion of (log (fmod a (asin a))) in a
1540327322.398 * [misc]taylor:  Taking taylor expansion of (fmod a (asin a)) in a
1540327322.398 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540327322.398 * [misc]backup-simplify:  Simplify (log (fmod a (asin a))) into (log (fmod a (asin a)))
1540327322.399 * [misc]backup-simplify:  Simplify (* 1/3 (log (fmod a (asin a)))) into (* 1/3 (log (fmod a (asin a))))
1540327322.399 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log (fmod a (asin a))))) into (pow (fmod a (asin a)) 1/3)
1540327322.399 * [misc]backup-simplify:  Simplify (pow (fmod a (asin a)) 1/3) into (pow (fmod a (asin a)) 1/3)
1540327322.401 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod a (asin a)) 1)))) 1) into 0
1540327322.401 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 (log (fmod a (asin a))))) into 0
1540327322.402 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (fmod a (asin a))))) (+ (* (/ (pow 0 1) 1)))) into 0
1540327322.402 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.405 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod a (asin a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod a (asin a)) 1)))) 2) into 0
1540327322.405 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod a (asin a)))))) into 0
1540327322.407 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (fmod a (asin a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1540327322.407 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.411 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod a (asin a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod a (asin a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod a (asin a)) 1)))) 6) into 0
1540327322.411 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod a (asin a))))))) into 0
1540327322.415 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (fmod a (asin a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1540327322.415 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.421 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (fmod a (asin a)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (fmod a (asin a)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (fmod a (asin a)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (fmod a (asin a)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (fmod a (asin a)) 1)))) 24) into 0
1540327322.422 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod a (asin a)))))))) into 0
1540327322.427 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (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
1540327322.427 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.438 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (fmod a (asin a)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (fmod a (asin a)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (fmod a (asin a)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (fmod a (asin a)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod a (asin a)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (fmod a (asin a)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (fmod a (asin a)) 1)))) 120) into 0
1540327322.439 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod a (asin a))))))))) into 0
1540327322.447 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (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
1540327322.447 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.469 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (fmod a (asin a)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (fmod a (asin a)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (fmod a (asin a)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (fmod a (asin a)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (fmod a (asin a)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod a (asin a)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (fmod a (asin a)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (fmod a (asin a)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (fmod a (asin a)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (fmod a (asin a)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (fmod a (asin a)) 1)))) 720) into 0
1540327322.470 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod a (asin a)))))))))) into 0
1540327322.483 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (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
1540327322.483 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.484 * [misc]backup-simplify:  Simplify (pow (fmod a (asin a)) 1/3) into (pow (fmod a (asin a)) 1/3)
1540327322.484 * [misc]backup-simplify:  Simplify (cbrt (fmod (/ 1 a) (asin (/ 1 a)))) into (pow (fmod (/ 1 a) (asin (/ 1 a))) 1/3)
1540327322.484 * [misc]approximate:  Taking taylor expansion of (pow (fmod (/ 1 a) (asin (/ 1 a))) 1/3) in (a) around 0
1540327322.484 * [misc]taylor:  Taking taylor expansion of (pow (fmod (/ 1 a) (asin (/ 1 a))) 1/3) in a
1540327322.484 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (fmod (/ 1 a) (asin (/ 1 a)))))) in a
1540327322.484 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (fmod (/ 1 a) (asin (/ 1 a))))) in a
1540327322.484 * [misc]taylor:  Taking taylor expansion of 1/3 in a
1540327322.484 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1540327322.484 * [misc]taylor:  Taking taylor expansion of (log (fmod (/ 1 a) (asin (/ 1 a)))) in a
1540327322.484 * [misc]taylor:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a
1540327322.485 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540327322.485 * [misc]backup-simplify:  Simplify (log (fmod (/ 1 a) (asin (/ 1 a)))) into (log (fmod (/ 1 a) (asin (/ 1 a))))
1540327322.485 * [misc]backup-simplify:  Simplify (* 1/3 (log (fmod (/ 1 a) (asin (/ 1 a))))) into (* 1/3 (log (fmod (/ 1 a) (asin (/ 1 a)))))
1540327322.485 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log (fmod (/ 1 a) (asin (/ 1 a)))))) into (pow (fmod (/ 1 a) (asin (/ 1 a))) 1/3)
1540327322.485 * [misc]taylor:  Taking taylor expansion of (pow (fmod (/ 1 a) (asin (/ 1 a))) 1/3) in a
1540327322.485 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (fmod (/ 1 a) (asin (/ 1 a)))))) in a
1540327322.485 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (fmod (/ 1 a) (asin (/ 1 a))))) in a
1540327322.485 * [misc]taylor:  Taking taylor expansion of 1/3 in a
1540327322.485 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1540327322.485 * [misc]taylor:  Taking taylor expansion of (log (fmod (/ 1 a) (asin (/ 1 a)))) in a
1540327322.485 * [misc]taylor:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a
1540327322.485 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540327322.485 * [misc]backup-simplify:  Simplify (log (fmod (/ 1 a) (asin (/ 1 a)))) into (log (fmod (/ 1 a) (asin (/ 1 a))))
1540327322.486 * [misc]backup-simplify:  Simplify (* 1/3 (log (fmod (/ 1 a) (asin (/ 1 a))))) into (* 1/3 (log (fmod (/ 1 a) (asin (/ 1 a)))))
1540327322.486 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log (fmod (/ 1 a) (asin (/ 1 a)))))) into (pow (fmod (/ 1 a) (asin (/ 1 a))) 1/3)
1540327322.486 * [misc]backup-simplify:  Simplify (pow (fmod (/ 1 a) (asin (/ 1 a))) 1/3) into (pow (fmod (/ 1 a) (asin (/ 1 a))) 1/3)
1540327322.487 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (/ 1 a) (asin (/ 1 a))) 1)))) 1) into 0
1540327322.488 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 (log (fmod (/ 1 a) (asin (/ 1 a)))))) into 0
1540327322.489 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (fmod (/ 1 a) (asin (/ 1 a)))))) (+ (* (/ (pow 0 1) 1)))) into 0
1540327322.489 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.492 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (/ 1 a) (asin (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (/ 1 a) (asin (/ 1 a))) 1)))) 2) into 0
1540327322.492 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (/ 1 a) (asin (/ 1 a))))))) into 0
1540327322.495 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (fmod (/ 1 a) (asin (/ 1 a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1540327322.495 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.499 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (/ 1 a) (asin (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (/ 1 a) (asin (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (/ 1 a) (asin (/ 1 a))) 1)))) 6) into 0
1540327322.499 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (/ 1 a) (asin (/ 1 a)))))))) into 0
1540327322.503 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (fmod (/ 1 a) (asin (/ 1 a)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1540327322.503 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.510 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (fmod (/ 1 a) (asin (/ 1 a))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (fmod (/ 1 a) (asin (/ 1 a))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (fmod (/ 1 a) (asin (/ 1 a))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (fmod (/ 1 a) (asin (/ 1 a))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (fmod (/ 1 a) (asin (/ 1 a))) 1)))) 24) into 0
1540327322.511 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (/ 1 a) (asin (/ 1 a))))))))) into 0
1540327322.516 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (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
1540327322.517 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.527 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (fmod (/ 1 a) (asin (/ 1 a))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (fmod (/ 1 a) (asin (/ 1 a))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (fmod (/ 1 a) (asin (/ 1 a))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (fmod (/ 1 a) (asin (/ 1 a))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (/ 1 a) (asin (/ 1 a))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (fmod (/ 1 a) (asin (/ 1 a))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (fmod (/ 1 a) (asin (/ 1 a))) 1)))) 120) into 0
1540327322.528 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (/ 1 a) (asin (/ 1 a)))))))))) into 0
1540327322.537 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (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
1540327322.537 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.553 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (fmod (/ 1 a) (asin (/ 1 a))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (fmod (/ 1 a) (asin (/ 1 a))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (fmod (/ 1 a) (asin (/ 1 a))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (fmod (/ 1 a) (asin (/ 1 a))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (fmod (/ 1 a) (asin (/ 1 a))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (/ 1 a) (asin (/ 1 a))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (fmod (/ 1 a) (asin (/ 1 a))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (fmod (/ 1 a) (asin (/ 1 a))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (fmod (/ 1 a) (asin (/ 1 a))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (fmod (/ 1 a) (asin (/ 1 a))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (fmod (/ 1 a) (asin (/ 1 a))) 1)))) 720) into 0
1540327322.554 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (/ 1 a) (asin (/ 1 a))))))))))) into 0
1540327322.562 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (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
1540327322.562 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.563 * [misc]backup-simplify:  Simplify (pow (fmod (/ 1 (/ 1 a)) (asin (/ 1 (/ 1 a)))) 1/3) into (pow (fmod a (asin a)) 1/3)
1540327322.563 * [misc]backup-simplify:  Simplify (cbrt (fmod (/ 1 (- a)) (asin (/ 1 (- a))))) into (pow (fmod (/ -1 a) (asin (/ -1 a))) 1/3)
1540327322.563 * [misc]approximate:  Taking taylor expansion of (pow (fmod (/ -1 a) (asin (/ -1 a))) 1/3) in (a) around 0
1540327322.563 * [misc]taylor:  Taking taylor expansion of (pow (fmod (/ -1 a) (asin (/ -1 a))) 1/3) in a
1540327322.563 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (fmod (/ -1 a) (asin (/ -1 a)))))) in a
1540327322.563 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (fmod (/ -1 a) (asin (/ -1 a))))) in a
1540327322.563 * [misc]taylor:  Taking taylor expansion of 1/3 in a
1540327322.563 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1540327322.563 * [misc]taylor:  Taking taylor expansion of (log (fmod (/ -1 a) (asin (/ -1 a)))) in a
1540327322.563 * [misc]taylor:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a
1540327322.563 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540327322.563 * [misc]backup-simplify:  Simplify (log (fmod (/ -1 a) (asin (/ -1 a)))) into (log (fmod (/ -1 a) (asin (/ -1 a))))
1540327322.563 * [misc]backup-simplify:  Simplify (* 1/3 (log (fmod (/ -1 a) (asin (/ -1 a))))) into (* 1/3 (log (fmod (/ -1 a) (asin (/ -1 a)))))
1540327322.564 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log (fmod (/ -1 a) (asin (/ -1 a)))))) into (pow (fmod (/ -1 a) (asin (/ -1 a))) 1/3)
1540327322.564 * [misc]taylor:  Taking taylor expansion of (pow (fmod (/ -1 a) (asin (/ -1 a))) 1/3) in a
1540327322.564 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (fmod (/ -1 a) (asin (/ -1 a)))))) in a
1540327322.564 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (fmod (/ -1 a) (asin (/ -1 a))))) in a
1540327322.564 * [misc]taylor:  Taking taylor expansion of 1/3 in a
1540327322.564 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1540327322.564 * [misc]taylor:  Taking taylor expansion of (log (fmod (/ -1 a) (asin (/ -1 a)))) in a
1540327322.564 * [misc]taylor:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a
1540327322.564 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540327322.564 * [misc]backup-simplify:  Simplify (log (fmod (/ -1 a) (asin (/ -1 a)))) into (log (fmod (/ -1 a) (asin (/ -1 a))))
1540327322.564 * [misc]backup-simplify:  Simplify (* 1/3 (log (fmod (/ -1 a) (asin (/ -1 a))))) into (* 1/3 (log (fmod (/ -1 a) (asin (/ -1 a)))))
1540327322.564 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log (fmod (/ -1 a) (asin (/ -1 a)))))) into (pow (fmod (/ -1 a) (asin (/ -1 a))) 1/3)
1540327322.564 * [misc]backup-simplify:  Simplify (pow (fmod (/ -1 a) (asin (/ -1 a))) 1/3) into (pow (fmod (/ -1 a) (asin (/ -1 a))) 1/3)
1540327322.565 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (/ -1 a) (asin (/ -1 a))) 1)))) 1) into 0
1540327322.565 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 (log (fmod (/ -1 a) (asin (/ -1 a)))))) into 0
1540327322.566 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (fmod (/ -1 a) (asin (/ -1 a)))))) (+ (* (/ (pow 0 1) 1)))) into 0
1540327322.566 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.567 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (/ -1 a) (asin (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (/ -1 a) (asin (/ -1 a))) 1)))) 2) into 0
1540327322.568 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (/ -1 a) (asin (/ -1 a))))))) into 0
1540327322.569 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (fmod (/ -1 a) (asin (/ -1 a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1540327322.569 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.571 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (/ -1 a) (asin (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (/ -1 a) (asin (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (/ -1 a) (asin (/ -1 a))) 1)))) 6) into 0
1540327322.572 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (/ -1 a) (asin (/ -1 a)))))))) into 0
1540327322.574 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (fmod (/ -1 a) (asin (/ -1 a)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1540327322.574 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.578 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (fmod (/ -1 a) (asin (/ -1 a))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (fmod (/ -1 a) (asin (/ -1 a))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (fmod (/ -1 a) (asin (/ -1 a))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (fmod (/ -1 a) (asin (/ -1 a))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (fmod (/ -1 a) (asin (/ -1 a))) 1)))) 24) into 0
1540327322.579 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (/ -1 a) (asin (/ -1 a))))))))) into 0
1540327322.582 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (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
1540327322.582 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.589 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (fmod (/ -1 a) (asin (/ -1 a))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (fmod (/ -1 a) (asin (/ -1 a))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (fmod (/ -1 a) (asin (/ -1 a))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (fmod (/ -1 a) (asin (/ -1 a))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (/ -1 a) (asin (/ -1 a))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (fmod (/ -1 a) (asin (/ -1 a))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (fmod (/ -1 a) (asin (/ -1 a))) 1)))) 120) into 0
1540327322.589 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (/ -1 a) (asin (/ -1 a)))))))))) into 0
1540327322.596 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (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
1540327322.596 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.607 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (fmod (/ -1 a) (asin (/ -1 a))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (fmod (/ -1 a) (asin (/ -1 a))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (fmod (/ -1 a) (asin (/ -1 a))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (fmod (/ -1 a) (asin (/ -1 a))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (fmod (/ -1 a) (asin (/ -1 a))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (/ -1 a) (asin (/ -1 a))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (fmod (/ -1 a) (asin (/ -1 a))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (fmod (/ -1 a) (asin (/ -1 a))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (fmod (/ -1 a) (asin (/ -1 a))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (fmod (/ -1 a) (asin (/ -1 a))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (fmod (/ -1 a) (asin (/ -1 a))) 1)))) 720) into 0
1540327322.608 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (/ -1 a) (asin (/ -1 a))))))))))) into 0
1540327322.616 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (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
1540327322.616 * [misc]backup-simplify:  Simplify 0 into 0
1540327322.616 * [misc]backup-simplify:  Simplify (pow (fmod (/ -1 (/ 1 (- a))) (asin (/ -1 (/ 1 (- a))))) 1/3) into (pow (fmod a (asin a)) 1/3)
1540327322.616 * * * [misc]progress:  simplifying candidates
1540327322.616 * * * * [misc]progress:  [ 1 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (pow (fmod a (asin a)) 1)))) (* a a)))>
1540327322.616 * * * * [misc]progress:  [ 2 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (exp (log (fmod a (asin a))))))) (* a a)))>
1540327322.616 * * * * [misc]progress:  [ 3 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (log (exp (fmod a (asin a))))))) (* a a)))>
1540327322.617 * * * * [misc]progress:  [ 4 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))))) (* a a)))>
1540327322.617 * * * * [misc]progress:  [ 5 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (cbrt (* (* (fmod a (asin a)) (fmod a (asin a))) (fmod a (asin a))))))) (* a a)))>
1540327322.617 * * * * [misc]progress:  [ 6 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (* (sqrt (fmod a (asin a))) (sqrt (fmod a (asin a))))))) (* a a)))>
1540327322.617 * * * * [misc]progress:  [ 7 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (* 1 (fmod a (asin a)))))) (* a a)))>
1540327322.617 * * * * [misc]progress:  [ 8 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (pow (fmod a (asin a)) 1))) (cbrt (fmod a (asin a))))) (* a a)))>
1540327322.617 * * * * [misc]progress:  [ 9 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (exp (log (fmod a (asin a)))))) (cbrt (fmod a (asin a))))) (* a a)))>
1540327322.617 * * * * [misc]progress:  [ 10 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (log (exp (fmod a (asin a)))))) (cbrt (fmod a (asin a))))) (* a a)))>
1540327322.617 * * * * [misc]progress:  [ 11 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a)))))) (cbrt (fmod a (asin a))))) (* a a)))>
1540327322.617 * * * * [misc]progress:  [ 12 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (cbrt (* (* (fmod a (asin a)) (fmod a (asin a))) (fmod a (asin a)))))) (cbrt (fmod a (asin a))))) (* a a)))>
1540327322.617 * * * * [misc]progress:  [ 13 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (* (sqrt (fmod a (asin a))) (sqrt (fmod a (asin a)))))) (cbrt (fmod a (asin a))))) (* a a)))>
1540327322.617 * * * * [misc]progress:  [ 14 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (* 1 (fmod a (asin a))))) (cbrt (fmod a (asin a))))) (* a a)))>
1540327322.617 * * * * [misc]progress:  [ 15 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (pow (fmod a (asin a)) 1)) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))) (* a a)))>
1540327322.617 * * * * [misc]progress:  [ 16 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (exp (log (fmod a (asin a))))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))) (* a a)))>
1540327322.617 * * * * [misc]progress:  [ 17 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (log (exp (fmod a (asin a))))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))) (* a a)))>
1540327322.617 * * * * [misc]progress:  [ 18 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))) (* a a)))>
1540327322.617 * * * * [misc]progress:  [ 19 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (cbrt (* (* (fmod a (asin a)) (fmod a (asin a))) (fmod a (asin a))))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))) (* a a)))>
1540327322.617 * * * * [misc]progress:  [ 20 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (* (sqrt (fmod a (asin a))) (sqrt (fmod a (asin a))))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))) (* a a)))>
1540327322.617 * * * * [misc]progress:  [ 21 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (* 1 (fmod a (asin a)))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))) (* a a)))>
1540327322.617 * * * * [misc]progress:  [ 22 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (pow (fmod a (asin a)) 1/3))) (* a a)))>
1540327322.617 * * * * [misc]progress:  [ 23 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (pow (cbrt (fmod a (asin a))) 1))) (* a a)))>
1540327322.617 * * * * [misc]progress:  [ 24 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (exp (log (cbrt (fmod a (asin a))))))) (* a a)))>
1540327322.617 * * * * [misc]progress:  [ 25 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (log (exp (cbrt (fmod a (asin a))))))) (* a a)))>
1540327322.617 * * * * [misc]progress:  [ 26 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (* (cbrt (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a))))) (cbrt (cbrt (fmod a (asin a))))))) (* a a)))>
1540327322.617 * [enter]simplify:  Simplifying (cbrt (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))))
1540327322.618 * * [misc]simplify:  iters left: 6 (6 enodes)
1540327322.619 * [exit]simplify:  Simplified to (cbrt (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))))
1540327322.619 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (* (cbrt (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a))))) (cbrt (cbrt (fmod a (asin a))))))) (* a a)))
1540327322.619 * * * * [misc]progress:  [ 27 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (* (cbrt (sqrt (fmod a (asin a)))) (cbrt (sqrt (fmod a (asin a))))))) (* a a)))>
1540327322.620 * [enter]simplify:  Simplifying (cbrt (sqrt (fmod a (asin a))))
1540327322.620 * * [misc]simplify:  iters left: 4 (5 enodes)
1540327322.621 * [exit]simplify:  Simplified to (cbrt (sqrt (fmod a (asin a))))
1540327322.621 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (* (cbrt (sqrt (fmod a (asin a)))) (cbrt (sqrt (fmod a (asin a))))))) (* a a)))
1540327322.621 * * * * [misc]progress:  [ 28 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (* (cbrt 1) (cbrt (fmod a (asin a)))))) (* a a)))>
1540327322.621 * [enter]simplify:  Simplifying (cbrt 1)
1540327322.621 * * [misc]simplify:  iters left: 1 (2 enodes)
1540327322.622 * [exit]simplify:  Simplified to 1
1540327322.622 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (* 1 (cbrt (fmod a (asin a)))))) (* a a)))
1540327322.622 * * * * [misc]progress:  [ 29 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (* (* (cbrt (cbrt (fmod a (asin a)))) (cbrt (cbrt (fmod a (asin a))))) (cbrt (cbrt (fmod a (asin a))))))) (* a a)))>
1540327322.622 * * * * [misc]progress:  [ 30 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))))) (* a a)))>
1540327322.622 * * * * [misc]progress:  [ 31 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (* (sqrt (cbrt (fmod a (asin a)))) (sqrt (cbrt (fmod a (asin a))))))) (* a a)))>
1540327322.622 * * * * [misc]progress:  [ 32 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (* 1 (cbrt (fmod a (asin a)))))) (* a a)))>
1540327322.622 * * * * [misc]progress:  [ 33 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))) (* a a)))>
1540327322.622 * [enter]simplify:  Simplifying (fmod a (asin a))
1540327322.623 * * [misc]simplify:  iters left: 2 (3 enodes)
1540327322.623 * [exit]simplify:  Simplified to (fmod a (asin a))
1540327322.623 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))) (* a a)))
1540327322.623 * * * * [misc]progress:  [ 34 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))) (* a a)))>
1540327322.623 * [enter]simplify:  Simplifying (fmod a (asin a))
1540327322.623 * * [misc]simplify:  iters left: 2 (3 enodes)
1540327322.624 * [exit]simplify:  Simplified to (fmod a (asin a))
1540327322.624 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))) (* a a)))
1540327322.624 * * * * [misc]progress:  [ 35 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))) (* a a)))>
1540327322.624 * [enter]simplify:  Simplifying (fmod a (asin a))
1540327322.624 * * [misc]simplify:  iters left: 2 (3 enodes)
1540327322.625 * [exit]simplify:  Simplified to (fmod a (asin a))
1540327322.625 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))) (* a a)))
1540327322.625 * * * * [misc]progress:  [ 36 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))) (* a a)))>
1540327322.625 * [enter]simplify:  Simplifying (fmod a (asin a))
1540327322.625 * * [misc]simplify:  iters left: 2 (3 enodes)
1540327322.626 * [exit]simplify:  Simplified to (fmod a (asin a))
1540327322.626 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))) (* a a)))
1540327322.626 * * * * [misc]progress:  [ 37 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))) (* a a)))>
1540327322.626 * [enter]simplify:  Simplifying (fmod a (asin a))
1540327322.626 * * [misc]simplify:  iters left: 2 (3 enodes)
1540327322.627 * [exit]simplify:  Simplified to (fmod a (asin a))
1540327322.627 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))) (* a a)))
1540327322.627 * * * * [misc]progress:  [ 38 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))) (* a a)))>
1540327322.627 * [enter]simplify:  Simplifying (fmod a (asin a))
1540327322.627 * * [misc]simplify:  iters left: 2 (3 enodes)
1540327322.627 * [exit]simplify:  Simplified to (fmod a (asin a))
1540327322.627 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))) (* a a)))
1540327322.627 * * * * [misc]progress:  [ 39 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))) (* a a)))>
1540327322.628 * [enter]simplify:  Simplifying (fmod a (asin a))
1540327322.628 * * [misc]simplify:  iters left: 2 (3 enodes)
1540327322.628 * [exit]simplify:  Simplified to (fmod a (asin a))
1540327322.628 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))) (* a a)))
1540327322.628 * * * * [misc]progress:  [ 40 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))) (* a a)))>
1540327322.628 * [enter]simplify:  Simplifying (fmod a (asin a))
1540327322.629 * * [misc]simplify:  iters left: 2 (3 enodes)
1540327322.629 * [exit]simplify:  Simplified to (fmod a (asin a))
1540327322.629 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))) (* a a)))
1540327322.629 * * * * [misc]progress:  [ 41 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))) (* a a)))>
1540327322.629 * [enter]simplify:  Simplifying (fmod a (asin a))
1540327322.629 * * [misc]simplify:  iters left: 2 (3 enodes)
1540327322.630 * [exit]simplify:  Simplified to (fmod a (asin a))
1540327322.630 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))) (* a a)))
1540327322.630 * * * * [misc]progress:  [ 42 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (pow (fmod a (asin a)) 1/3))) (* a a)))>
1540327322.630 * [enter]simplify:  Simplifying (pow (fmod a (asin a)) 1/3)
1540327322.630 * * [misc]simplify:  iters left: 3 (5 enodes)
1540327322.631 * * [misc]simplify:  iters left: 2 (6 enodes)
1540327322.632 * [exit]simplify:  Simplified to (cbrt (fmod a (asin a)))
1540327322.632 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))) (* a a)))
1540327322.632 * * * * [misc]progress:  [ 43 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (pow (fmod a (asin a)) 1/3))) (* a a)))>
1540327322.632 * [enter]simplify:  Simplifying (pow (fmod a (asin a)) 1/3)
1540327322.633 * * [misc]simplify:  iters left: 3 (5 enodes)
1540327322.633 * * [misc]simplify:  iters left: 2 (6 enodes)
1540327322.634 * [exit]simplify:  Simplified to (cbrt (fmod a (asin a)))
1540327322.634 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))) (* a a)))
1540327322.634 * * * * [misc]progress:  [ 44 / 44 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (pow (fmod a (asin a)) 1/3))) (* a a)))>
1540327322.635 * [enter]simplify:  Simplifying (pow (fmod a (asin a)) 1/3)
1540327322.635 * * [misc]simplify:  iters left: 3 (5 enodes)
1540327322.636 * * [misc]simplify:  iters left: 2 (6 enodes)
1540327322.637 * [exit]simplify:  Simplified to (cbrt (fmod a (asin a)))
1540327322.637 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))) (* a a)))
1540327322.637 * * * [misc]progress:  adding candidates to table
1540327323.489 * [misc]progress:  [Phase 3 of 3] Extracting.
1540327323.495 * [enter]simplify:  Simplifying (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))) (* a a))
1540327323.496 * * [misc]simplify:  iters left: 6 (9 enodes)
1540327323.497 * * [misc]simplify:  iters left: 5 (10 enodes)
1540327323.498 * [exit]simplify:  Simplified to (pow (atan (* (cbrt (fmod a (asin a))) (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))))) (* a a))
1540327323.498 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1540327323.519 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1540327323.521 * * * * [misc]points:  Setting MPFR precision to 2112
1540327323.526 * * * * [misc]points:  Setting MPFR precision to 2368
1540327323.531 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1540327323.533 * * * * [misc]points:  Setting MPFR precision to 2112
1540327323.537 * * * * [misc]points:  Setting MPFR precision to 2368
1540327323.541 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1540327323.542 * * * * [misc]points:  Setting MPFR precision to 2112
1540327323.547 * * * * [misc]points:  Setting MPFR precision to 2368
1540327323.552 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1540327323.553 * * * * [misc]points:  Setting MPFR precision to 2112
1540327323.565 * * * * [misc]points:  Setting MPFR precision to 2368
1540327323.578 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1540327323.579 * * * * [misc]points:  Setting MPFR precision to 2112
1540327323.635 * * * * [misc]points:  Setting MPFR precision to 2368
1540327323.685 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1540327323.687 * * * * [misc]points:  Setting MPFR precision to 2112
1540327323.773 * * * * [misc]points:  Setting MPFR precision to 2368
1540327323.845 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1540327323.847 * * * * [misc]points:  Setting MPFR precision to 2112
1540327323.973 * * * * [misc]points:  Setting MPFR precision to 2368
1540327324.160 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1540327324.162 * * * * [misc]points:  Setting MPFR precision to 2112
1540327324.454 * * * * [misc]points:  Setting MPFR precision to 2368
1540327324.745 * * * * [misc]points:  Computing exacts for 8000 points
1540327324.746 * * * * [misc]points:  Setting MPFR precision to 2112
1540327326.176 * * * * [misc]points:  Setting MPFR precision to 2368
1540327327.539 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327327.540 * * * * [misc]points:  Sampling 6047 additional inputs, on iter 1 have 1953 / 8000
1540327327.557 * * * * [misc]points:  Computing exacts on every 377 of 6047 points to ramp up precision
1540327327.558 * * * * [misc]points:  Setting MPFR precision to 2112
1540327327.561 * * * * [misc]points:  Setting MPFR precision to 2368
1540327327.563 * * * * [misc]points:  Computing exacts on every 188 of 6047 points to ramp up precision
1540327327.565 * * * * [misc]points:  Setting MPFR precision to 2112
1540327327.573 * * * * [misc]points:  Setting MPFR precision to 2368
1540327327.580 * * * * [misc]points:  Computing exacts on every 94 of 6047 points to ramp up precision
1540327327.582 * * * * [misc]points:  Setting MPFR precision to 2112
1540327327.592 * * * * [misc]points:  Setting MPFR precision to 2368
1540327327.601 * * * * [misc]points:  Computing exacts on every 47 of 6047 points to ramp up precision
1540327327.602 * * * * [misc]points:  Setting MPFR precision to 2112
1540327327.613 * * * * [misc]points:  Setting MPFR precision to 2368
1540327327.631 * * * * [misc]points:  Computing exacts on every 23 of 6047 points to ramp up precision
1540327327.632 * * * * [misc]points:  Setting MPFR precision to 2112
1540327327.654 * * * * [misc]points:  Setting MPFR precision to 2368
1540327327.675 * * * * [misc]points:  Computing exacts on every 11 of 6047 points to ramp up precision
1540327327.677 * * * * [misc]points:  Setting MPFR precision to 2112
1540327327.774 * * * * [misc]points:  Setting MPFR precision to 2368
1540327327.836 * * * * [misc]points:  Computing exacts on every 5 of 6047 points to ramp up precision
1540327327.837 * * * * [misc]points:  Setting MPFR precision to 2112
1540327327.975 * * * * [misc]points:  Setting MPFR precision to 2368
1540327328.135 * * * * [misc]points:  Computing exacts on every 2 of 6047 points to ramp up precision
1540327328.137 * * * * [misc]points:  Setting MPFR precision to 2112
1540327328.419 * * * * [misc]points:  Setting MPFR precision to 2368
1540327328.770 * * * * [misc]points:  Computing exacts for 6047 points
1540327328.772 * * * * [misc]points:  Setting MPFR precision to 2112
1540327330.016 * * * * [misc]points:  Setting MPFR precision to 2368
1540327330.997 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327330.998 * * * * [misc]points:  Sampling 4553 additional inputs, on iter 2 have 3447 / 8000
1540327331.009 * * * * [misc]points:  Computing exacts on every 284 of 4553 points to ramp up precision
1540327331.010 * * * * [misc]points:  Setting MPFR precision to 2112
1540327331.038 * * * * [misc]points:  Setting MPFR precision to 2368
1540327331.042 * * * * [misc]points:  Computing exacts on every 142 of 4553 points to ramp up precision
1540327331.044 * * * * [misc]points:  Setting MPFR precision to 2112
1540327331.056 * * * * [misc]points:  Setting MPFR precision to 2368
1540327331.064 * * * * [misc]points:  Computing exacts on every 71 of 4553 points to ramp up precision
1540327331.066 * * * * [misc]points:  Setting MPFR precision to 2112
1540327331.076 * * * * [misc]points:  Setting MPFR precision to 2368
1540327331.089 * * * * [misc]points:  Computing exacts on every 35 of 4553 points to ramp up precision
1540327331.091 * * * * [misc]points:  Setting MPFR precision to 2112
1540327331.111 * * * * [misc]points:  Setting MPFR precision to 2368
1540327331.135 * * * * [misc]points:  Computing exacts on every 17 of 4553 points to ramp up precision
1540327331.137 * * * * [misc]points:  Setting MPFR precision to 2112
1540327331.179 * * * * [misc]points:  Setting MPFR precision to 2368
1540327331.227 * * * * [misc]points:  Computing exacts on every 8 of 4553 points to ramp up precision
1540327331.229 * * * * [misc]points:  Setting MPFR precision to 2112
1540327331.315 * * * * [misc]points:  Setting MPFR precision to 2368
1540327331.374 * * * * [misc]points:  Computing exacts on every 4 of 4553 points to ramp up precision
1540327331.375 * * * * [misc]points:  Setting MPFR precision to 2112
1540327331.550 * * * * [misc]points:  Setting MPFR precision to 2368
1540327331.673 * * * * [misc]points:  Computing exacts on every 2 of 4553 points to ramp up precision
1540327331.675 * * * * [misc]points:  Setting MPFR precision to 2112
1540327331.895 * * * * [misc]points:  Setting MPFR precision to 2368
1540327332.137 * * * * [misc]points:  Computing exacts for 4553 points
1540327332.139 * * * * [misc]points:  Setting MPFR precision to 2112
1540327332.852 * * * * [misc]points:  Setting MPFR precision to 2368
1540327333.983 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327333.985 * * * * [misc]points:  Sampling 3391 additional inputs, on iter 3 have 4609 / 8000
1540327334.001 * * * * [misc]points:  Computing exacts on every 211 of 3391 points to ramp up precision
1540327334.002 * * * * [misc]points:  Setting MPFR precision to 2112
1540327334.005 * * * * [misc]points:  Setting MPFR precision to 2368
1540327334.009 * * * * [misc]points:  Computing exacts on every 105 of 3391 points to ramp up precision
1540327334.011 * * * * [misc]points:  Setting MPFR precision to 2112
1540327334.014 * * * * [misc]points:  Setting MPFR precision to 2368
1540327334.017 * * * * [misc]points:  Computing exacts on every 52 of 3391 points to ramp up precision
1540327334.018 * * * * [misc]points:  Setting MPFR precision to 2112
1540327334.024 * * * * [misc]points:  Setting MPFR precision to 2368
1540327334.030 * * * * [misc]points:  Computing exacts on every 26 of 3391 points to ramp up precision
1540327334.031 * * * * [misc]points:  Setting MPFR precision to 2112
1540327334.043 * * * * [misc]points:  Setting MPFR precision to 2368
1540327334.080 * * * * [misc]points:  Computing exacts on every 13 of 3391 points to ramp up precision
1540327334.081 * * * * [misc]points:  Setting MPFR precision to 2112
1540327334.102 * * * * [misc]points:  Setting MPFR precision to 2368
1540327334.124 * * * * [misc]points:  Computing exacts on every 6 of 3391 points to ramp up precision
1540327334.125 * * * * [misc]points:  Setting MPFR precision to 2112
1540327334.165 * * * * [misc]points:  Setting MPFR precision to 2368
1540327334.224 * * * * [misc]points:  Computing exacts on every 3 of 3391 points to ramp up precision
1540327334.225 * * * * [misc]points:  Setting MPFR precision to 2112
1540327334.343 * * * * [misc]points:  Setting MPFR precision to 2368
1540327334.535 * * * * [misc]points:  Computing exacts for 3391 points
1540327334.536 * * * * [misc]points:  Setting MPFR precision to 2112
1540327335.006 * * * * [misc]points:  Setting MPFR precision to 2368
1540327335.530 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327335.530 * * * * [misc]points:  Sampling 2570 additional inputs, on iter 4 have 5430 / 8000
1540327335.537 * * * * [misc]points:  Computing exacts on every 160 of 2570 points to ramp up precision
1540327335.538 * * * * [misc]points:  Setting MPFR precision to 2112
1540327335.542 * * * * [misc]points:  Setting MPFR precision to 2368
1540327335.543 * * * * [misc]points:  Computing exacts on every 80 of 2570 points to ramp up precision
1540327335.545 * * * * [misc]points:  Setting MPFR precision to 2112
1540327335.547 * * * * [misc]points:  Setting MPFR precision to 2368
1540327335.551 * * * * [misc]points:  Computing exacts on every 40 of 2570 points to ramp up precision
1540327335.553 * * * * [misc]points:  Setting MPFR precision to 2112
1540327335.560 * * * * [misc]points:  Setting MPFR precision to 2368
1540327335.567 * * * * [misc]points:  Computing exacts on every 20 of 2570 points to ramp up precision
1540327335.569 * * * * [misc]points:  Setting MPFR precision to 2112
1540327335.581 * * * * [misc]points:  Setting MPFR precision to 2368
1540327335.603 * * * * [misc]points:  Computing exacts on every 10 of 2570 points to ramp up precision
1540327335.605 * * * * [misc]points:  Setting MPFR precision to 2112
1540327335.642 * * * * [misc]points:  Setting MPFR precision to 2368
1540327335.681 * * * * [misc]points:  Computing exacts on every 5 of 2570 points to ramp up precision
1540327335.683 * * * * [misc]points:  Setting MPFR precision to 2112
1540327335.741 * * * * [misc]points:  Setting MPFR precision to 2368
1540327335.801 * * * * [misc]points:  Computing exacts on every 2 of 2570 points to ramp up precision
1540327335.803 * * * * [misc]points:  Setting MPFR precision to 2112
1540327335.968 * * * * [misc]points:  Setting MPFR precision to 2368
1540327336.062 * * * * [misc]points:  Computing exacts for 2570 points
1540327336.063 * * * * [misc]points:  Setting MPFR precision to 2112
1540327336.531 * * * * [misc]points:  Setting MPFR precision to 2368
1540327337.414 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327337.414 * * * * [misc]points:  Sampling 1887 additional inputs, on iter 5 have 6113 / 8000
1540327337.419 * * * * [misc]points:  Computing exacts on every 117 of 1887 points to ramp up precision
1540327337.420 * * * * [misc]points:  Setting MPFR precision to 2112
1540327337.422 * * * * [misc]points:  Setting MPFR precision to 2368
1540327337.423 * * * * [misc]points:  Computing exacts on every 58 of 1887 points to ramp up precision
1540327337.424 * * * * [misc]points:  Setting MPFR precision to 2112
1540327337.427 * * * * [misc]points:  Setting MPFR precision to 2368
1540327337.430 * * * * [misc]points:  Computing exacts on every 29 of 1887 points to ramp up precision
1540327337.431 * * * * [misc]points:  Setting MPFR precision to 2112
1540327337.437 * * * * [misc]points:  Setting MPFR precision to 2368
1540327337.445 * * * * [misc]points:  Computing exacts on every 14 of 1887 points to ramp up precision
1540327337.447 * * * * [misc]points:  Setting MPFR precision to 2112
1540327337.485 * * * * [misc]points:  Setting MPFR precision to 2368
1540327337.510 * * * * [misc]points:  Computing exacts on every 7 of 1887 points to ramp up precision
1540327337.511 * * * * [misc]points:  Setting MPFR precision to 2112
1540327337.533 * * * * [misc]points:  Setting MPFR precision to 2368
1540327337.566 * * * * [misc]points:  Computing exacts on every 3 of 1887 points to ramp up precision
1540327337.568 * * * * [misc]points:  Setting MPFR precision to 2112
1540327337.622 * * * * [misc]points:  Setting MPFR precision to 2368
1540327337.713 * * * * [misc]points:  Computing exacts for 1887 points
1540327337.714 * * * * [misc]points:  Setting MPFR precision to 2112
1540327338.025 * * * * [misc]points:  Setting MPFR precision to 2368
1540327338.370 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327338.370 * * * * [misc]points:  Sampling 1417 additional inputs, on iter 6 have 6583 / 8000
1540327338.378 * * * * [misc]points:  Computing exacts on every 88 of 1417 points to ramp up precision
1540327338.380 * * * * [misc]points:  Setting MPFR precision to 2112
1540327338.382 * * * * [misc]points:  Setting MPFR precision to 2368
1540327338.385 * * * * [misc]points:  Computing exacts on every 44 of 1417 points to ramp up precision
1540327338.386 * * * * [misc]points:  Setting MPFR precision to 2112
1540327338.390 * * * * [misc]points:  Setting MPFR precision to 2368
1540327338.393 * * * * [misc]points:  Computing exacts on every 22 of 1417 points to ramp up precision
1540327338.395 * * * * [misc]points:  Setting MPFR precision to 2112
1540327338.406 * * * * [misc]points:  Setting MPFR precision to 2368
1540327338.416 * * * * [misc]points:  Computing exacts on every 11 of 1417 points to ramp up precision
1540327338.418 * * * * [misc]points:  Setting MPFR precision to 2112
1540327338.436 * * * * [misc]points:  Setting MPFR precision to 2368
1540327338.455 * * * * [misc]points:  Computing exacts on every 5 of 1417 points to ramp up precision
1540327338.457 * * * * [misc]points:  Setting MPFR precision to 2112
1540327338.489 * * * * [misc]points:  Setting MPFR precision to 2368
1540327338.525 * * * * [misc]points:  Computing exacts on every 2 of 1417 points to ramp up precision
1540327338.526 * * * * [misc]points:  Setting MPFR precision to 2112
1540327338.586 * * * * [misc]points:  Setting MPFR precision to 2368
1540327338.667 * * * * [misc]points:  Computing exacts for 1417 points
1540327338.668 * * * * [misc]points:  Setting MPFR precision to 2112
1540327338.849 * * * * [misc]points:  Setting MPFR precision to 2368
1540327339.087 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327339.088 * * * * [misc]points:  Sampling 1066 additional inputs, on iter 7 have 6934 / 8000
1540327339.093 * * * * [misc]points:  Computing exacts on every 66 of 1066 points to ramp up precision
1540327339.095 * * * * [misc]points:  Setting MPFR precision to 2112
1540327339.098 * * * * [misc]points:  Setting MPFR precision to 2368
1540327339.102 * * * * [misc]points:  Computing exacts on every 33 of 1066 points to ramp up precision
1540327339.103 * * * * [misc]points:  Setting MPFR precision to 2112
1540327339.110 * * * * [misc]points:  Setting MPFR precision to 2368
1540327339.116 * * * * [misc]points:  Computing exacts on every 16 of 1066 points to ramp up precision
1540327339.117 * * * * [misc]points:  Setting MPFR precision to 2112
1540327339.128 * * * * [misc]points:  Setting MPFR precision to 2368
1540327339.137 * * * * [misc]points:  Computing exacts on every 8 of 1066 points to ramp up precision
1540327339.139 * * * * [misc]points:  Setting MPFR precision to 2112
1540327339.162 * * * * [misc]points:  Setting MPFR precision to 2368
1540327339.178 * * * * [misc]points:  Computing exacts on every 4 of 1066 points to ramp up precision
1540327339.179 * * * * [misc]points:  Setting MPFR precision to 2112
1540327339.201 * * * * [misc]points:  Setting MPFR precision to 2368
1540327339.224 * * * * [misc]points:  Computing exacts on every 2 of 1066 points to ramp up precision
1540327339.225 * * * * [misc]points:  Setting MPFR precision to 2112
1540327339.272 * * * * [misc]points:  Setting MPFR precision to 2368
1540327339.340 * * * * [misc]points:  Computing exacts for 1066 points
1540327339.342 * * * * [misc]points:  Setting MPFR precision to 2112
1540327339.495 * * * * [misc]points:  Setting MPFR precision to 2368
1540327339.655 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327339.655 * * * * [misc]points:  Sampling 808 additional inputs, on iter 8 have 7192 / 8000
1540327339.657 * * * * [misc]points:  Computing exacts on every 50 of 808 points to ramp up precision
1540327339.659 * * * * [misc]points:  Setting MPFR precision to 2112
1540327339.660 * * * * [misc]points:  Setting MPFR precision to 2368
1540327339.662 * * * * [misc]points:  Computing exacts on every 25 of 808 points to ramp up precision
1540327339.663 * * * * [misc]points:  Setting MPFR precision to 2112
1540327339.667 * * * * [misc]points:  Setting MPFR precision to 2368
1540327339.674 * * * * [misc]points:  Computing exacts on every 12 of 808 points to ramp up precision
1540327339.676 * * * * [misc]points:  Setting MPFR precision to 2112
1540327339.687 * * * * [misc]points:  Setting MPFR precision to 2368
1540327339.725 * * * * [misc]points:  Computing exacts on every 6 of 808 points to ramp up precision
1540327339.727 * * * * [misc]points:  Setting MPFR precision to 2112
1540327339.745 * * * * [misc]points:  Setting MPFR precision to 2368
1540327339.757 * * * * [misc]points:  Computing exacts on every 3 of 808 points to ramp up precision
1540327339.759 * * * * [misc]points:  Setting MPFR precision to 2112
1540327339.781 * * * * [misc]points:  Setting MPFR precision to 2368
1540327339.811 * * * * [misc]points:  Computing exacts for 808 points
1540327339.812 * * * * [misc]points:  Setting MPFR precision to 2112
1540327339.920 * * * * [misc]points:  Setting MPFR precision to 2368
1540327340.072 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327340.072 * * * * [misc]points:  Sampling 598 additional inputs, on iter 9 have 7402 / 8000
1540327340.075 * * * * [misc]points:  Computing exacts on every 37 of 598 points to ramp up precision
1540327340.076 * * * * [misc]points:  Setting MPFR precision to 2112
1540327340.078 * * * * [misc]points:  Setting MPFR precision to 2368
1540327340.117 * * * * [misc]points:  Computing exacts on every 18 of 598 points to ramp up precision
1540327340.119 * * * * [misc]points:  Setting MPFR precision to 2112
1540327340.124 * * * * [misc]points:  Setting MPFR precision to 2368
1540327340.133 * * * * [misc]points:  Computing exacts on every 9 of 598 points to ramp up precision
1540327340.135 * * * * [misc]points:  Setting MPFR precision to 2112
1540327340.143 * * * * [misc]points:  Setting MPFR precision to 2368
1540327340.151 * * * * [misc]points:  Computing exacts on every 4 of 598 points to ramp up precision
1540327340.153 * * * * [misc]points:  Setting MPFR precision to 2112
1540327340.172 * * * * [misc]points:  Setting MPFR precision to 2368
1540327340.194 * * * * [misc]points:  Computing exacts on every 2 of 598 points to ramp up precision
1540327340.195 * * * * [misc]points:  Setting MPFR precision to 2112
1540327340.214 * * * * [misc]points:  Setting MPFR precision to 2368
1540327340.233 * * * * [misc]points:  Computing exacts for 598 points
1540327340.234 * * * * [misc]points:  Setting MPFR precision to 2112
1540327340.334 * * * * [misc]points:  Setting MPFR precision to 2368
1540327340.445 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327340.446 * * * * [misc]points:  Sampling 447 additional inputs, on iter 10 have 7553 / 8000
1540327340.448 * * * * [misc]points:  Computing exacts on every 27 of 447 points to ramp up precision
1540327340.450 * * * * [misc]points:  Setting MPFR precision to 2112
1540327340.451 * * * * [misc]points:  Setting MPFR precision to 2368
1540327340.453 * * * * [misc]points:  Computing exacts on every 13 of 447 points to ramp up precision
1540327340.454 * * * * [misc]points:  Setting MPFR precision to 2112
1540327340.459 * * * * [misc]points:  Setting MPFR precision to 2368
1540327340.463 * * * * [misc]points:  Computing exacts on every 6 of 447 points to ramp up precision
1540327340.464 * * * * [misc]points:  Setting MPFR precision to 2112
1540327340.473 * * * * [misc]points:  Setting MPFR precision to 2368
1540327340.485 * * * * [misc]points:  Computing exacts on every 3 of 447 points to ramp up precision
1540327340.486 * * * * [misc]points:  Setting MPFR precision to 2112
1540327340.930 * * * * [misc]points:  Setting MPFR precision to 2368
1540327340.949 * * * * [misc]points:  Computing exacts for 447 points
1540327340.951 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.013 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.071 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327341.071 * * * * [misc]points:  Sampling 348 additional inputs, on iter 11 have 7652 / 8000
1540327341.073 * * * * [misc]points:  Computing exacts on every 21 of 348 points to ramp up precision
1540327341.074 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.077 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.079 * * * * [misc]points:  Computing exacts on every 10 of 348 points to ramp up precision
1540327341.081 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.086 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.093 * * * * [misc]points:  Computing exacts on every 5 of 348 points to ramp up precision
1540327341.095 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.103 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.113 * * * * [misc]points:  Computing exacts on every 2 of 348 points to ramp up precision
1540327341.115 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.133 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.153 * * * * [misc]points:  Computing exacts for 348 points
1540327341.155 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.213 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.266 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327341.266 * * * * [misc]points:  Sampling 263 additional inputs, on iter 12 have 7737 / 8000
1540327341.267 * * * * [misc]points:  Computing exacts on every 16 of 263 points to ramp up precision
1540327341.268 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.270 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.298 * * * * [misc]points:  Computing exacts on every 8 of 263 points to ramp up precision
1540327341.300 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.305 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.310 * * * * [misc]points:  Computing exacts on every 4 of 263 points to ramp up precision
1540327341.315 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.327 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.339 * * * * [misc]points:  Computing exacts on every 2 of 263 points to ramp up precision
1540327341.341 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.358 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.375 * * * * [misc]points:  Computing exacts for 263 points
1540327341.377 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.405 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.443 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327341.444 * * * * [misc]points:  Sampling 191 additional inputs, on iter 13 have 7809 / 8000
1540327341.445 * * * * [misc]points:  Computing exacts on every 11 of 191 points to ramp up precision
1540327341.446 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.448 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.450 * * * * [misc]points:  Computing exacts on every 5 of 191 points to ramp up precision
1540327341.452 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.456 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.461 * * * * [misc]points:  Computing exacts on every 2 of 191 points to ramp up precision
1540327341.463 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.469 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.474 * * * * [misc]points:  Computing exacts for 191 points
1540327341.475 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.493 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.518 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327341.519 * * * * [misc]points:  Sampling 135 additional inputs, on iter 14 have 7865 / 8000
1540327341.519 * * * * [misc]points:  Computing exacts on every 8 of 135 points to ramp up precision
1540327341.520 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.522 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.523 * * * * [misc]points:  Computing exacts on every 4 of 135 points to ramp up precision
1540327341.524 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.527 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.530 * * * * [misc]points:  Computing exacts on every 2 of 135 points to ramp up precision
1540327341.531 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.535 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.540 * * * * [misc]points:  Computing exacts for 135 points
1540327341.541 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.553 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.568 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327341.568 * * * * [misc]points:  Sampling 102 additional inputs, on iter 15 have 7898 / 8000
1540327341.568 * * * * [misc]points:  Computing exacts on every 6 of 102 points to ramp up precision
1540327341.569 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.571 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.573 * * * * [misc]points:  Computing exacts on every 3 of 102 points to ramp up precision
1540327341.574 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.576 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.579 * * * * [misc]points:  Computing exacts for 102 points
1540327341.580 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.620 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.632 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327341.632 * * * * [misc]points:  Sampling 70 additional inputs, on iter 16 have 7930 / 8000
1540327341.632 * * * * [misc]points:  Computing exacts on every 4 of 70 points to ramp up precision
1540327341.634 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.635 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.636 * * * * [misc]points:  Computing exacts on every 2 of 70 points to ramp up precision
1540327341.637 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.640 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.642 * * * * [misc]points:  Computing exacts for 70 points
1540327341.643 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.650 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.664 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327341.664 * * * * [misc]points:  Sampling 50 additional inputs, on iter 17 have 7950 / 8000
1540327341.664 * * * * [misc]points:  Computing exacts on every 3 of 50 points to ramp up precision
1540327341.666 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.669 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.671 * * * * [misc]points:  Computing exacts for 50 points
1540327341.673 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.683 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.694 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327341.694 * * * * [misc]points:  Sampling 37 additional inputs, on iter 18 have 7963 / 8000
1540327341.695 * * * * [misc]points:  Computing exacts on every 2 of 37 points to ramp up precision
1540327341.696 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.698 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.700 * * * * [misc]points:  Computing exacts for 37 points
1540327341.701 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.704 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.710 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327341.710 * * * * [misc]points:  Sampling 26 additional inputs, on iter 19 have 7974 / 8000
1540327341.710 * * * * [misc]points:  Computing exacts for 26 points
1540327341.711 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.713 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.715 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327341.715 * * * * [misc]points:  Sampling 19 additional inputs, on iter 20 have 7981 / 8000
1540327341.716 * * * * [misc]points:  Computing exacts for 19 points
1540327341.717 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.718 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.721 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327341.721 * * * * [misc]points:  Sampling 14 additional inputs, on iter 21 have 7986 / 8000
1540327341.722 * * * * [misc]points:  Computing exacts for 14 points
1540327341.723 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.724 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.725 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327341.725 * * * * [misc]points:  Sampling 13 additional inputs, on iter 22 have 7987 / 8000
1540327341.725 * * * * [misc]points:  Computing exacts for 13 points
1540327341.726 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.728 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.729 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327341.729 * * * * [misc]points:  Sampling 7 additional inputs, on iter 23 have 7993 / 8000
1540327341.730 * * * * [misc]points:  Computing exacts for 7 points
1540327341.731 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.731 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.732 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327341.732 * * * * [misc]points:  Sampling 6 additional inputs, on iter 24 have 7994 / 8000
1540327341.732 * * * * [misc]points:  Computing exacts for 6 points
1540327341.734 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.735 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.736 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327341.736 * * * * [misc]points:  Sampling 4 additional inputs, on iter 25 have 7996 / 8000
1540327341.737 * * * * [misc]points:  Computing exacts for 4 points
1540327341.738 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.739 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.741 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327341.741 * * * * [misc]points:  Sampling 4 additional inputs, on iter 26 have 7996 / 8000
1540327341.741 * * * * [misc]points:  Computing exacts for 4 points
1540327341.743 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.743 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.744 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327341.744 * * * * [misc]points:  Sampling 4 additional inputs, on iter 27 have 7996 / 8000
1540327341.744 * * * * [misc]points:  Computing exacts for 4 points
1540327341.745 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.747 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.748 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327341.748 * * * * [misc]points:  Sampling 4 additional inputs, on iter 28 have 7997 / 8000
1540327341.748 * * * * [misc]points:  Computing exacts for 4 points
1540327341.750 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.750 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.751 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327341.751 * * * * [misc]points:  Sampling 4 additional inputs, on iter 29 have 7997 / 8000
1540327341.751 * * * * [misc]points:  Computing exacts for 4 points
1540327341.752 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.753 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.754 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327341.754 * * * * [misc]points:  Sampling 4 additional inputs, on iter 30 have 7998 / 8000
1540327341.754 * * * * [misc]points:  Computing exacts for 4 points
1540327341.755 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.756 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.757 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327341.757 * * * * [misc]points:  Sampling 4 additional inputs, on iter 31 have 7998 / 8000
1540327341.757 * * * * [misc]points:  Computing exacts for 4 points
1540327341.758 * * * * [misc]points:  Setting MPFR precision to 2112
1540327341.760 * * * * [misc]points:  Setting MPFR precision to 2368
1540327341.761 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540327341.761 * * * * [exit]points:  Sampled 8001 points with exact outputs