1540337343.465 * [misc]progress:  [Phase 1 of 3] Setting up.
1540337343.465 * * * [misc]progress:  [1/2] Preparing points
1540337343.465 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1540337343.466 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1540337343.467 * * * * [misc]points:  Setting MPFR precision to 64
1540337343.468 * * * * [misc]points:  Setting MPFR precision to 320
1540337343.468 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1540337343.469 * * * * [misc]points:  Setting MPFR precision to 64
1540337343.469 * * * * [misc]points:  Setting MPFR precision to 320
1540337343.470 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1540337343.471 * * * * [misc]points:  Setting MPFR precision to 64
1540337343.472 * * * * [misc]points:  Setting MPFR precision to 320
1540337343.473 * * * * [misc]points:  Setting MPFR precision to 576
1540337343.475 * * * * [misc]points:  Setting MPFR precision to 832
1540337343.476 * * * * [misc]points:  Setting MPFR precision to 1088
1540337343.478 * * * * [misc]points:  Setting MPFR precision to 1344
1540337343.481 * * * * [misc]points:  Setting MPFR precision to 1600
1540337343.485 * * * * [misc]points:  Setting MPFR precision to 1856
1540337343.489 * * * * [misc]points:  Setting MPFR precision to 2112
1540337343.493 * * * * [misc]points:  Setting MPFR precision to 2368
1540337343.498 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1540337343.499 * * * * [misc]points:  Setting MPFR precision to 2112
1540337343.509 * * * * [misc]points:  Setting MPFR precision to 2368
1540337343.523 * * * * [misc]points:  Computing exacts for 256 points
1540337343.524 * * * * [misc]points:  Setting MPFR precision to 2112
1540337343.577 * * * * [misc]points:  Setting MPFR precision to 2368
1540337343.616 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337343.616 * * * * [misc]points:  Sampling 193 additional inputs, on iter 1 have 63 / 256
1540337343.617 * * * * [misc]points:  Computing exacts on every 12 of 193 points to ramp up precision
1540337343.618 * * * * [misc]points:  Setting MPFR precision to 2112
1540337343.621 * * * * [misc]points:  Setting MPFR precision to 2368
1540337343.623 * * * * [misc]points:  Computing exacts on every 6 of 193 points to ramp up precision
1540337343.624 * * * * [misc]points:  Setting MPFR precision to 2112
1540337343.628 * * * * [misc]points:  Setting MPFR precision to 2368
1540337343.632 * * * * [misc]points:  Computing exacts on every 3 of 193 points to ramp up precision
1540337343.633 * * * * [misc]points:  Setting MPFR precision to 2112
1540337343.639 * * * * [misc]points:  Setting MPFR precision to 2368
1540337343.647 * * * * [misc]points:  Computing exacts for 193 points
1540337343.649 * * * * [misc]points:  Setting MPFR precision to 2112
1540337343.678 * * * * [misc]points:  Setting MPFR precision to 2368
1540337343.711 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337343.711 * * * * [misc]points:  Sampling 156 additional inputs, on iter 2 have 100 / 256
1540337343.712 * * * * [misc]points:  Computing exacts on every 9 of 156 points to ramp up precision
1540337343.713 * * * * [misc]points:  Setting MPFR precision to 2112
1540337343.715 * * * * [misc]points:  Setting MPFR precision to 2368
1540337343.717 * * * * [misc]points:  Computing exacts on every 4 of 156 points to ramp up precision
1540337343.718 * * * * [misc]points:  Setting MPFR precision to 2112
1540337343.723 * * * * [misc]points:  Setting MPFR precision to 2368
1540337343.728 * * * * [misc]points:  Computing exacts on every 2 of 156 points to ramp up precision
1540337343.729 * * * * [misc]points:  Setting MPFR precision to 2112
1540337343.739 * * * * [misc]points:  Setting MPFR precision to 2368
1540337343.749 * * * * [misc]points:  Computing exacts for 156 points
1540337343.751 * * * * [misc]points:  Setting MPFR precision to 2112
1540337343.777 * * * * [misc]points:  Setting MPFR precision to 2368
1540337343.806 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337343.806 * * * * [misc]points:  Sampling 113 additional inputs, on iter 3 have 143 / 256
1540337343.807 * * * * [misc]points:  Computing exacts on every 7 of 113 points to ramp up precision
1540337343.808 * * * * [misc]points:  Setting MPFR precision to 2112
1540337343.810 * * * * [misc]points:  Setting MPFR precision to 2368
1540337343.812 * * * * [misc]points:  Computing exacts on every 3 of 113 points to ramp up precision
1540337343.813 * * * * [misc]points:  Setting MPFR precision to 2112
1540337343.817 * * * * [misc]points:  Setting MPFR precision to 2368
1540337343.821 * * * * [misc]points:  Computing exacts for 113 points
1540337343.823 * * * * [misc]points:  Setting MPFR precision to 2112
1540337343.841 * * * * [misc]points:  Setting MPFR precision to 2368
1540337343.853 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337343.853 * * * * [misc]points:  Sampling 86 additional inputs, on iter 4 have 170 / 256
1540337343.853 * * * * [misc]points:  Computing exacts on every 5 of 86 points to ramp up precision
1540337343.854 * * * * [misc]points:  Setting MPFR precision to 2112
1540337343.855 * * * * [misc]points:  Setting MPFR precision to 2368
1540337343.856 * * * * [misc]points:  Computing exacts on every 2 of 86 points to ramp up precision
1540337343.857 * * * * [misc]points:  Setting MPFR precision to 2112
1540337343.860 * * * * [misc]points:  Setting MPFR precision to 2368
1540337343.863 * * * * [misc]points:  Computing exacts for 86 points
1540337343.864 * * * * [misc]points:  Setting MPFR precision to 2112
1540337343.871 * * * * [misc]points:  Setting MPFR precision to 2368
1540337343.879 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337343.879 * * * * [misc]points:  Sampling 73 additional inputs, on iter 5 have 183 / 256
1540337343.879 * * * * [misc]points:  Computing exacts on every 4 of 73 points to ramp up precision
1540337343.880 * * * * [misc]points:  Setting MPFR precision to 2112
1540337343.881 * * * * [misc]points:  Setting MPFR precision to 2368
1540337343.882 * * * * [misc]points:  Computing exacts on every 2 of 73 points to ramp up precision
1540337343.883 * * * * [misc]points:  Setting MPFR precision to 2112
1540337343.885 * * * * [misc]points:  Setting MPFR precision to 2368
1540337343.886 * * * * [misc]points:  Computing exacts for 73 points
1540337343.887 * * * * [misc]points:  Setting MPFR precision to 2112
1540337343.895 * * * * [misc]points:  Setting MPFR precision to 2368
1540337343.902 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337343.902 * * * * [misc]points:  Sampling 56 additional inputs, on iter 6 have 200 / 256
1540337343.903 * * * * [misc]points:  Computing exacts on every 3 of 56 points to ramp up precision
1540337343.904 * * * * [misc]points:  Setting MPFR precision to 2112
1540337343.925 * * * * [misc]points:  Setting MPFR precision to 2368
1540337343.927 * * * * [misc]points:  Computing exacts for 56 points
1540337343.928 * * * * [misc]points:  Setting MPFR precision to 2112
1540337343.932 * * * * [misc]points:  Setting MPFR precision to 2368
1540337343.941 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337343.941 * * * * [misc]points:  Sampling 44 additional inputs, on iter 7 have 212 / 256
1540337343.941 * * * * [misc]points:  Computing exacts on every 2 of 44 points to ramp up precision
1540337343.942 * * * * [misc]points:  Setting MPFR precision to 2112
1540337343.945 * * * * [misc]points:  Setting MPFR precision to 2368
1540337343.950 * * * * [misc]points:  Computing exacts for 44 points
1540337343.951 * * * * [misc]points:  Setting MPFR precision to 2112
1540337343.959 * * * * [misc]points:  Setting MPFR precision to 2368
1540337343.970 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337343.970 * * * * [misc]points:  Sampling 31 additional inputs, on iter 8 have 225 / 256
1540337343.970 * * * * [misc]points:  Computing exacts for 31 points
1540337343.971 * * * * [misc]points:  Setting MPFR precision to 2112
1540337343.977 * * * * [misc]points:  Setting MPFR precision to 2368
1540337343.983 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337343.983 * * * * [misc]points:  Sampling 24 additional inputs, on iter 9 have 232 / 256
1540337343.983 * * * * [misc]points:  Computing exacts for 24 points
1540337343.984 * * * * [misc]points:  Setting MPFR precision to 2112
1540337343.988 * * * * [misc]points:  Setting MPFR precision to 2368
1540337343.992 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337343.992 * * * * [misc]points:  Sampling 21 additional inputs, on iter 10 have 235 / 256
1540337343.992 * * * * [misc]points:  Computing exacts for 21 points
1540337343.993 * * * * [misc]points:  Setting MPFR precision to 2112
1540337343.997 * * * * [misc]points:  Setting MPFR precision to 2368
1540337344.002 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337344.002 * * * * [misc]points:  Sampling 12 additional inputs, on iter 11 have 244 / 256
1540337344.002 * * * * [misc]points:  Computing exacts for 12 points
1540337344.003 * * * * [misc]points:  Setting MPFR precision to 2112
1540337344.006 * * * * [misc]points:  Setting MPFR precision to 2368
1540337344.009 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337344.009 * * * * [misc]points:  Sampling 8 additional inputs, on iter 12 have 248 / 256
1540337344.009 * * * * [misc]points:  Computing exacts for 8 points
1540337344.010 * * * * [misc]points:  Setting MPFR precision to 2112
1540337344.012 * * * * [misc]points:  Setting MPFR precision to 2368
1540337344.015 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337344.015 * * * * [misc]points:  Sampling 4 additional inputs, on iter 13 have 253 / 256
1540337344.015 * * * * [misc]points:  Computing exacts for 4 points
1540337344.016 * * * * [misc]points:  Setting MPFR precision to 2112
1540337344.017 * * * * [misc]points:  Setting MPFR precision to 2368
1540337344.018 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337344.018 * * * * [misc]points:  Sampling 4 additional inputs, on iter 14 have 254 / 256
1540337344.018 * * * * [misc]points:  Computing exacts for 4 points
1540337344.019 * * * * [misc]points:  Setting MPFR precision to 2112
1540337344.019 * * * * [misc]points:  Setting MPFR precision to 2368
1540337344.020 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337344.020 * * * * [misc]points:  Sampling 4 additional inputs, on iter 15 have 254 / 256
1540337344.020 * * * * [misc]points:  Computing exacts for 4 points
1540337344.021 * * * * [misc]points:  Setting MPFR precision to 2112
1540337344.021 * * * * [misc]points:  Setting MPFR precision to 2368
1540337344.022 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337344.022 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 254 / 256
1540337344.022 * * * * [misc]points:  Computing exacts for 4 points
1540337344.023 * * * * [misc]points:  Setting MPFR precision to 2112
1540337344.023 * * * * [misc]points:  Setting MPFR precision to 2368
1540337344.023 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337344.023 * * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 254 / 256
1540337344.023 * * * * [misc]points:  Computing exacts for 4 points
1540337344.024 * * * * [misc]points:  Setting MPFR precision to 2112
1540337344.025 * * * * [misc]points:  Setting MPFR precision to 2368
1540337344.025 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337344.025 * * * * [misc]points:  Sampling 4 additional inputs, on iter 18 have 255 / 256
1540337344.025 * * * * [misc]points:  Computing exacts for 4 points
1540337344.026 * * * * [misc]points:  Setting MPFR precision to 2112
1540337344.027 * * * * [misc]points:  Setting MPFR precision to 2368
1540337344.029 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337344.029 * * * * [exit]points:  Sampled 256 points with exact outputs
1540337344.029 * * * [misc]progress:  [2/2] Setting up program.
1540337344.034 * [misc]progress:  [Phase 2 of 3] Improving.
1540337344.034 * [enter]simplify:  Simplifying (pow (atan (fmod a (asin a))) (* a a))
1540337344.034 * * [misc]simplify:  iters left: 4 (6 enodes)
1540337344.036 * [exit]simplify:  Simplified to (pow (atan (fmod a (asin a))) (* a a))
1540337344.047 * * [misc]progress:  iteration 1 / 4
1540337344.047 * * * [misc]progress:  picking best candidate
1540337344.052 * * * * [misc]pick:  Picked  #<alt (λ (a) (pow (atan (fmod a (asin a))) (* a a)))>
1540337344.052 * * * [misc]progress:  localizing error
1540337344.117 * * * [misc]progress:  generating rewritten candidates
1540337344.117 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1 1)
1540337344.117 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2)
1540337344.120 * * * [misc]progress:  generating series expansions
1540337344.120 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1 1)
1540337344.120 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540337344.120 * [misc]approximate:  Taking taylor expansion of (fmod a (asin a)) in (a) around 0
1540337344.120 * [misc]taylor:  Taking taylor expansion of (fmod a (asin a)) in a
1540337344.121 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540337344.121 * [misc]taylor:  Taking taylor expansion of (fmod a (asin a)) in a
1540337344.121 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540337344.121 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540337344.121 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.121 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.121 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.121 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.121 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.121 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.121 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540337344.121 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540337344.121 * [misc]approximate:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in (a) around 0
1540337344.121 * [misc]taylor:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a
1540337344.121 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540337344.121 * [misc]taylor:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a
1540337344.122 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540337344.122 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540337344.122 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.122 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.122 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.122 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.122 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.122 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.122 * [misc]backup-simplify:  Simplify (fmod (/ 1 (/ 1 a)) (asin (/ 1 (/ 1 a)))) into (fmod a (asin a))
1540337344.122 * [misc]backup-simplify:  Simplify (fmod (/ 1 (- a)) (asin (/ 1 (- a)))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540337344.122 * [misc]approximate:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in (a) around 0
1540337344.122 * [misc]taylor:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a
1540337344.122 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540337344.122 * [misc]taylor:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a
1540337344.123 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540337344.123 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540337344.123 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.123 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.123 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.123 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.123 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.123 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.123 * [misc]backup-simplify:  Simplify (fmod (/ -1 (/ 1 (- a))) (asin (/ -1 (/ 1 (- a))))) into (fmod a (asin a))
1540337344.123 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2)
1540337344.123 * [misc]backup-simplify:  Simplify (pow (atan (fmod a (asin a))) (* a a)) into (pow (atan (fmod a (asin a))) (pow a 2))
1540337344.123 * [misc]approximate:  Taking taylor expansion of (pow (atan (fmod a (asin a))) (pow a 2)) in (a) around 0
1540337344.123 * [misc]taylor:  Taking taylor expansion of (pow (atan (fmod a (asin a))) (pow a 2)) in a
1540337344.123 * [misc]taylor:  Taking taylor expansion of (exp (* (pow a 2) (log (atan (fmod a (asin a)))))) in a
1540337344.123 * [misc]taylor:  Taking taylor expansion of (* (pow a 2) (log (atan (fmod a (asin a))))) in a
1540337344.123 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1540337344.123 * [misc]taylor:  Taking taylor expansion of a in a
1540337344.123 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.124 * [misc]backup-simplify:  Simplify 1 into 1
1540337344.124 * [misc]taylor:  Taking taylor expansion of (log (atan (fmod a (asin a)))) in a
1540337344.124 * [misc]taylor:  Taking taylor expansion of (atan (fmod a (asin a))) in a
1540337344.124 * [misc]backup-simplify:  Simplify (atan (fmod a (asin a))) into (atan (fmod a (asin a)))
1540337344.124 * [misc]backup-simplify:  Simplify (log (atan (fmod a (asin a)))) into (log (atan (fmod a (asin a))))
1540337344.124 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540337344.124 * [misc]backup-simplify:  Simplify (* 1 (log (atan (fmod a (asin a))))) into (log (atan (fmod a (asin a))))
1540337344.124 * [misc]backup-simplify:  Simplify (exp 0) into 1
1540337344.124 * [misc]taylor:  Taking taylor expansion of (pow (atan (fmod a (asin a))) (pow a 2)) in a
1540337344.124 * [misc]taylor:  Taking taylor expansion of (exp (* (pow a 2) (log (atan (fmod a (asin a)))))) in a
1540337344.124 * [misc]taylor:  Taking taylor expansion of (* (pow a 2) (log (atan (fmod a (asin a))))) in a
1540337344.124 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1540337344.124 * [misc]taylor:  Taking taylor expansion of a in a
1540337344.124 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.124 * [misc]backup-simplify:  Simplify 1 into 1
1540337344.124 * [misc]taylor:  Taking taylor expansion of (log (atan (fmod a (asin a)))) in a
1540337344.124 * [misc]taylor:  Taking taylor expansion of (atan (fmod a (asin a))) in a
1540337344.125 * [misc]backup-simplify:  Simplify (atan (fmod a (asin a))) into (atan (fmod a (asin a)))
1540337344.125 * [misc]backup-simplify:  Simplify (log (atan (fmod a (asin a)))) into (log (atan (fmod a (asin a))))
1540337344.125 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540337344.125 * [misc]backup-simplify:  Simplify (* 1 (log (atan (fmod a (asin a))))) into (log (atan (fmod a (asin a))))
1540337344.125 * [misc]backup-simplify:  Simplify (exp 0) into 1
1540337344.125 * [misc]backup-simplify:  Simplify 1 into 1
1540337344.126 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
1540337344.127 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.128 * [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))))
1540337344.128 * [misc]backup-simplify:  Simplify (log (atan (fmod a (asin a)))) into (log (atan (fmod a (asin a))))
1540337344.129 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (atan (fmod a (asin a))) 1)))) 1) into 0
1540337344.129 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1540337344.129 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 (log (atan (fmod a (asin a)))))) into 0
1540337344.131 * [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
1540337344.131 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.133 * [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
1540337344.133 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1540337344.133 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (log (atan (fmod a (asin a))))))) into 0
1540337344.137 * [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))
1540337344.137 * [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))
1540337344.138 * [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)))))))
1540337344.138 * [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)))
1540337344.138 * [misc]approximate:  Taking taylor expansion of (pow (atan (fmod (/ 1 a) (asin (/ 1 a)))) (/ 1 (pow a 2))) in (a) around 0
1540337344.138 * [misc]taylor:  Taking taylor expansion of (pow (atan (fmod (/ 1 a) (asin (/ 1 a)))) (/ 1 (pow a 2))) in a
1540337344.138 * [misc]taylor:  Taking taylor expansion of (exp (* (/ 1 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a))))))) in a
1540337344.138 * [misc]taylor:  Taking taylor expansion of (* (/ 1 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))) in a
1540337344.138 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow a 2)) in a
1540337344.138 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1540337344.138 * [misc]taylor:  Taking taylor expansion of a in a
1540337344.138 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.138 * [misc]backup-simplify:  Simplify 1 into 1
1540337344.138 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540337344.139 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540337344.139 * [misc]taylor:  Taking taylor expansion of (log (atan (fmod (/ 1 a) (asin (/ 1 a))))) in a
1540337344.139 * [misc]taylor:  Taking taylor expansion of (atan (fmod (/ 1 a) (asin (/ 1 a)))) in a
1540337344.139 * [misc]backup-simplify:  Simplify (atan (fmod (/ 1 a) (asin (/ 1 a)))) into (atan (fmod (/ 1 a) (asin (/ 1 a))))
1540337344.139 * [misc]backup-simplify:  Simplify (log (atan (fmod (/ 1 a) (asin (/ 1 a))))) into (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))
1540337344.139 * [misc]backup-simplify:  Simplify (* 1 (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))) into (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))
1540337344.139 * [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)))
1540337344.139 * [misc]taylor:  Taking taylor expansion of (pow (atan (fmod (/ 1 a) (asin (/ 1 a)))) (/ 1 (pow a 2))) in a
1540337344.139 * [misc]taylor:  Taking taylor expansion of (exp (* (/ 1 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a))))))) in a
1540337344.139 * [misc]taylor:  Taking taylor expansion of (* (/ 1 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))) in a
1540337344.139 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow a 2)) in a
1540337344.139 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1540337344.140 * [misc]taylor:  Taking taylor expansion of a in a
1540337344.140 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.140 * [misc]backup-simplify:  Simplify 1 into 1
1540337344.140 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540337344.140 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540337344.140 * [misc]taylor:  Taking taylor expansion of (log (atan (fmod (/ 1 a) (asin (/ 1 a))))) in a
1540337344.140 * [misc]taylor:  Taking taylor expansion of (atan (fmod (/ 1 a) (asin (/ 1 a)))) in a
1540337344.140 * [misc]backup-simplify:  Simplify (atan (fmod (/ 1 a) (asin (/ 1 a)))) into (atan (fmod (/ 1 a) (asin (/ 1 a))))
1540337344.140 * [misc]backup-simplify:  Simplify (log (atan (fmod (/ 1 a) (asin (/ 1 a))))) into (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))
1540337344.140 * [misc]backup-simplify:  Simplify (* 1 (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))) into (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))
1540337344.141 * [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)))
1540337344.141 * [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)))
1540337344.141 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.141 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.141 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.141 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.141 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.141 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.142 * [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))
1540337344.142 * [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)))
1540337344.142 * [misc]approximate:  Taking taylor expansion of (pow (atan (fmod (/ -1 a) (asin (/ -1 a)))) (/ 1 (pow a 2))) in (a) around 0
1540337344.142 * [misc]taylor:  Taking taylor expansion of (pow (atan (fmod (/ -1 a) (asin (/ -1 a)))) (/ 1 (pow a 2))) in a
1540337344.142 * [misc]taylor:  Taking taylor expansion of (exp (* (/ 1 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a))))))) in a
1540337344.142 * [misc]taylor:  Taking taylor expansion of (* (/ 1 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))) in a
1540337344.142 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow a 2)) in a
1540337344.142 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1540337344.142 * [misc]taylor:  Taking taylor expansion of a in a
1540337344.142 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.142 * [misc]backup-simplify:  Simplify 1 into 1
1540337344.142 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540337344.142 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540337344.142 * [misc]taylor:  Taking taylor expansion of (log (atan (fmod (/ -1 a) (asin (/ -1 a))))) in a
1540337344.142 * [misc]taylor:  Taking taylor expansion of (atan (fmod (/ -1 a) (asin (/ -1 a)))) in a
1540337344.143 * [misc]backup-simplify:  Simplify (atan (fmod (/ -1 a) (asin (/ -1 a)))) into (atan (fmod (/ -1 a) (asin (/ -1 a))))
1540337344.143 * [misc]backup-simplify:  Simplify (log (atan (fmod (/ -1 a) (asin (/ -1 a))))) into (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))
1540337344.143 * [misc]backup-simplify:  Simplify (* 1 (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))) into (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))
1540337344.143 * [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)))
1540337344.143 * [misc]taylor:  Taking taylor expansion of (pow (atan (fmod (/ -1 a) (asin (/ -1 a)))) (/ 1 (pow a 2))) in a
1540337344.143 * [misc]taylor:  Taking taylor expansion of (exp (* (/ 1 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a))))))) in a
1540337344.143 * [misc]taylor:  Taking taylor expansion of (* (/ 1 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))) in a
1540337344.143 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow a 2)) in a
1540337344.143 * [misc]taylor:  Taking taylor expansion of (pow a 2) in a
1540337344.143 * [misc]taylor:  Taking taylor expansion of a in a
1540337344.143 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.143 * [misc]backup-simplify:  Simplify 1 into 1
1540337344.144 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1540337344.144 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540337344.144 * [misc]taylor:  Taking taylor expansion of (log (atan (fmod (/ -1 a) (asin (/ -1 a))))) in a
1540337344.144 * [misc]taylor:  Taking taylor expansion of (atan (fmod (/ -1 a) (asin (/ -1 a)))) in a
1540337344.144 * [misc]backup-simplify:  Simplify (atan (fmod (/ -1 a) (asin (/ -1 a)))) into (atan (fmod (/ -1 a) (asin (/ -1 a))))
1540337344.144 * [misc]backup-simplify:  Simplify (log (atan (fmod (/ -1 a) (asin (/ -1 a))))) into (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))
1540337344.144 * [misc]backup-simplify:  Simplify (* 1 (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))) into (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))
1540337344.144 * [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)))
1540337344.145 * [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)))
1540337344.145 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.145 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.145 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.145 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.145 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.145 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.145 * [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))
1540337344.145 * * * [misc]progress:  simplifying candidates
1540337344.145 * * * * [misc]progress:  [ 1 / 27 ] simplifiying candidate #<alt (λ (a) (pow (atan (pow (fmod a (asin a)) 1)) (* a a)))>
1540337344.145 * * * * [misc]progress:  [ 2 / 27 ] simplifiying candidate #<alt (λ (a) (pow (atan (exp (log (fmod a (asin a))))) (* a a)))>
1540337344.145 * * * * [misc]progress:  [ 3 / 27 ] simplifiying candidate #<alt (λ (a) (pow (atan (log (exp (fmod a (asin a))))) (* a a)))>
1540337344.145 * * * * [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)))>
1540337344.146 * * * * [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)))>
1540337344.146 * * * * [misc]progress:  [ 6 / 27 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (sqrt (fmod a (asin a))) (sqrt (fmod a (asin a))))) (* a a)))>
1540337344.146 * * * * [misc]progress:  [ 7 / 27 ] simplifiying candidate #<alt (λ (a) (pow (atan (* 1 (fmod a (asin a)))) (* a a)))>
1540337344.146 * * * * [misc]progress:  [ 8 / 27 ] simplifiying candidate #<alt (λ (a) (exp (* (log (atan (fmod a (asin a)))) (* a a))))>
1540337344.146 * [enter]simplify:  Simplifying (* (log (atan (fmod a (asin a)))) (* a a))
1540337344.146 * * [misc]simplify:  iters left: 6 (7 enodes)
1540337344.148 * * [misc]simplify:  iters left: 5 (10 enodes)
1540337344.151 * * [misc]simplify:  iters left: 4 (12 enodes)
1540337344.154 * [exit]simplify:  Simplified to (* (log (atan (fmod a (asin a)))) (* a a))
1540337344.154 * [misc]simplify:  Simplified (2 1) to (λ (a) (exp (* (log (atan (fmod a (asin a)))) (* a a))))
1540337344.154 * * * * [misc]progress:  [ 9 / 27 ] simplifiying candidate #<alt (λ (a) (exp (* (log (atan (fmod a (asin a)))) (* a a))))>
1540337344.154 * * * * [misc]progress:  [ 10 / 27 ] simplifiying candidate #<alt (λ (a) (pow (atan (fmod a (asin a))) (* 1 (* a a))))>
1540337344.155 * [enter]simplify:  Simplifying (atan (fmod a (asin a)))
1540337344.155 * * [misc]simplify:  iters left: 3 (4 enodes)
1540337344.155 * [exit]simplify:  Simplified to (atan (fmod a (asin a)))
1540337344.155 * [misc]simplify:  Simplified (2 1) to (λ (a) (pow (atan (fmod a (asin a))) (* 1 (* a a))))
1540337344.156 * * * * [misc]progress:  [ 11 / 27 ] simplifiying candidate #<alt (λ (a) (pow (pow (atan (fmod a (asin a))) a) a))>
1540337344.156 * * * * [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))))>
1540337344.156 * [enter]simplify:  Simplifying (pow (* (cbrt (atan (fmod a (asin a)))) (cbrt (atan (fmod a (asin a))))) (* a a))
1540337344.156 * * [misc]simplify:  iters left: 6 (8 enodes)
1540337344.157 * [exit]simplify:  Simplified to (pow (* (cbrt (atan (fmod a (asin a)))) (cbrt (atan (fmod a (asin a))))) (* a a))
1540337344.157 * [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))))
1540337344.157 * * * * [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))))>
1540337344.157 * [enter]simplify:  Simplifying (pow (sqrt (atan (fmod a (asin a)))) (* a a))
1540337344.157 * * [misc]simplify:  iters left: 5 (7 enodes)
1540337344.158 * [exit]simplify:  Simplified to (pow (sqrt (atan (fmod a (asin a)))) (* a a))
1540337344.158 * [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))))
1540337344.158 * * * * [misc]progress:  [ 14 / 27 ] simplifiying candidate #<alt (λ (a) (* (pow 1 (* a a)) (pow (atan (fmod a (asin a))) (* a a))))>
1540337344.158 * [enter]simplify:  Simplifying (pow 1 (* a a))
1540337344.158 * * [misc]simplify:  iters left: 3 (4 enodes)
1540337344.159 * * [misc]simplify:  iters left: 2 (6 enodes)
1540337344.160 * [exit]simplify:  Simplified to 1
1540337344.160 * [misc]simplify:  Simplified (2 1) to (λ (a) (* 1 (pow (atan (fmod a (asin a))) (* a a))))
1540337344.160 * * * * [misc]progress:  [ 15 / 27 ] simplifiying candidate #<alt (λ (a) (pow (pow (atan (fmod a (asin a))) (* a a)) 1))>
1540337344.160 * * * * [misc]progress:  [ 16 / 27 ] simplifiying candidate #<alt (λ (a) (exp (log (pow (atan (fmod a (asin a))) (* a a)))))>
1540337344.160 * * * * [misc]progress:  [ 17 / 27 ] simplifiying candidate #<alt (λ (a) (log (exp (pow (atan (fmod a (asin a))) (* a a)))))>
1540337344.160 * * * * [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)))))>
1540337344.160 * * * * [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)))))>
1540337344.160 * * * * [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)))))>
1540337344.160 * * * * [misc]progress:  [ 21 / 27 ] simplifiying candidate #<alt (λ (a) (* 1 (pow (atan (fmod a (asin a))) (* a a))))>
1540337344.160 * * * * [misc]progress:  [ 22 / 27 ] simplifiying candidate #<alt (λ (a) (pow (atan (fmod a (asin a))) (* a a)))>
1540337344.160 * [enter]simplify:  Simplifying (fmod a (asin a))
1540337344.160 * * [misc]simplify:  iters left: 2 (3 enodes)
1540337344.161 * [exit]simplify:  Simplified to (fmod a (asin a))
1540337344.161 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a)))
1540337344.161 * * * * [misc]progress:  [ 23 / 27 ] simplifiying candidate #<alt (λ (a) (pow (atan (fmod a (asin a))) (* a a)))>
1540337344.161 * [enter]simplify:  Simplifying (fmod a (asin a))
1540337344.161 * * [misc]simplify:  iters left: 2 (3 enodes)
1540337344.161 * [exit]simplify:  Simplified to (fmod a (asin a))
1540337344.161 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a)))
1540337344.161 * * * * [misc]progress:  [ 24 / 27 ] simplifiying candidate #<alt (λ (a) (pow (atan (fmod a (asin a))) (* a a)))>
1540337344.161 * [enter]simplify:  Simplifying (fmod a (asin a))
1540337344.161 * * [misc]simplify:  iters left: 2 (3 enodes)
1540337344.162 * [exit]simplify:  Simplified to (fmod a (asin a))
1540337344.162 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a)))
1540337344.162 * * * * [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))))))))>
1540337344.162 * [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)))))))
1540337344.162 * * [misc]simplify:  iters left: 6 (17 enodes)
1540337344.176 * * [misc]simplify:  iters left: 5 (30 enodes)
1540337344.180 * * [misc]simplify:  iters left: 4 (52 enodes)
1540337344.189 * * [misc]simplify:  iters left: 3 (72 enodes)
1540337344.199 * * [misc]simplify:  iters left: 2 (79 enodes)
1540337344.211 * [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))
1540337344.211 * [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)))
1540337344.211 * * * * [misc]progress:  [ 26 / 27 ] simplifiying candidate #<alt (λ (a) (pow (atan (fmod a (asin a))) (pow a 2)))>
1540337344.211 * [enter]simplify:  Simplifying (pow (atan (fmod a (asin a))) (pow a 2))
1540337344.212 * * [misc]simplify:  iters left: 4 (7 enodes)
1540337344.214 * * [misc]simplify:  iters left: 3 (8 enodes)
1540337344.216 * [exit]simplify:  Simplified to (pow (atan (fmod a (asin a))) (* a a))
1540337344.216 * [misc]simplify:  Simplified (2) to (λ (a) (pow (atan (fmod a (asin a))) (* a a)))
1540337344.216 * * * * [misc]progress:  [ 27 / 27 ] simplifiying candidate #<alt (λ (a) (pow (atan (fmod a (asin a))) (pow a 2)))>
1540337344.216 * [enter]simplify:  Simplifying (pow (atan (fmod a (asin a))) (pow a 2))
1540337344.216 * * [misc]simplify:  iters left: 4 (7 enodes)
1540337344.218 * * [misc]simplify:  iters left: 3 (8 enodes)
1540337344.220 * [exit]simplify:  Simplified to (pow (atan (fmod a (asin a))) (* a a))
1540337344.220 * [misc]simplify:  Simplified (2) to (λ (a) (pow (atan (fmod a (asin a))) (* a a)))
1540337344.220 * * * [misc]progress:  adding candidates to table
1540337344.456 * * [misc]progress:  iteration 2 / 4
1540337344.456 * * * [misc]progress:  picking best candidate
1540337344.462 * * * * [misc]pick:  Picked  #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))) (* a a)))>
1540337344.462 * * * [misc]progress:  localizing error
1540337344.515 * * * [misc]progress:  generating rewritten candidates
1540337344.515 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 1)
1540337344.516 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1 2 1)
1540337344.516 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
1540337344.516 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2)
1540337344.517 * * * [misc]progress:  generating series expansions
1540337344.517 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 1)
1540337344.517 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540337344.517 * [misc]approximate:  Taking taylor expansion of (fmod a (asin a)) in (a) around 0
1540337344.517 * [misc]taylor:  Taking taylor expansion of (fmod a (asin a)) in a
1540337344.517 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540337344.517 * [misc]taylor:  Taking taylor expansion of (fmod a (asin a)) in a
1540337344.517 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540337344.517 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540337344.517 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.517 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.517 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.517 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.517 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.517 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.517 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540337344.517 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540337344.517 * [misc]approximate:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in (a) around 0
1540337344.517 * [misc]taylor:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a
1540337344.518 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540337344.518 * [misc]taylor:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a
1540337344.518 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540337344.518 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540337344.518 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.518 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.518 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.518 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.518 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.518 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.518 * [misc]backup-simplify:  Simplify (fmod (/ 1 (/ 1 a)) (asin (/ 1 (/ 1 a)))) into (fmod a (asin a))
1540337344.518 * [misc]backup-simplify:  Simplify (fmod (/ 1 (- a)) (asin (/ 1 (- a)))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540337344.518 * [misc]approximate:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in (a) around 0
1540337344.518 * [misc]taylor:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a
1540337344.518 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540337344.518 * [misc]taylor:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a
1540337344.518 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540337344.518 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540337344.518 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.518 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.518 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.518 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.518 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.518 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.519 * [misc]backup-simplify:  Simplify (fmod (/ -1 (/ 1 (- a))) (asin (/ -1 (/ 1 (- a))))) into (fmod a (asin a))
1540337344.519 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1 2 1)
1540337344.519 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540337344.519 * [misc]approximate:  Taking taylor expansion of (fmod a (asin a)) in (a) around 0
1540337344.519 * [misc]taylor:  Taking taylor expansion of (fmod a (asin a)) in a
1540337344.519 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540337344.519 * [misc]taylor:  Taking taylor expansion of (fmod a (asin a)) in a
1540337344.519 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540337344.519 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540337344.519 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.519 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.519 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.519 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.519 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.519 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.519 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540337344.519 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540337344.519 * [misc]approximate:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in (a) around 0
1540337344.519 * [misc]taylor:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a
1540337344.519 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540337344.519 * [misc]taylor:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a
1540337344.519 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540337344.519 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540337344.519 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.519 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.519 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.519 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.519 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.520 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.520 * [misc]backup-simplify:  Simplify (fmod (/ 1 (/ 1 a)) (asin (/ 1 (/ 1 a)))) into (fmod a (asin a))
1540337344.520 * [misc]backup-simplify:  Simplify (fmod (/ 1 (- a)) (asin (/ 1 (- a)))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540337344.520 * [misc]approximate:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in (a) around 0
1540337344.520 * [misc]taylor:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a
1540337344.520 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540337344.520 * [misc]taylor:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a
1540337344.520 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540337344.520 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540337344.520 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.520 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.520 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.520 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.520 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.520 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.520 * [misc]backup-simplify:  Simplify (fmod (/ -1 (/ 1 (- a))) (asin (/ -1 (/ 1 (- a))))) into (fmod a (asin a))
1540337344.520 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1 1)
1540337344.520 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540337344.520 * [misc]approximate:  Taking taylor expansion of (fmod a (asin a)) in (a) around 0
1540337344.520 * [misc]taylor:  Taking taylor expansion of (fmod a (asin a)) in a
1540337344.520 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540337344.520 * [misc]taylor:  Taking taylor expansion of (fmod a (asin a)) in a
1540337344.520 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540337344.520 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540337344.520 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.521 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.521 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.521 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.521 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.521 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.521 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540337344.521 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540337344.521 * [misc]approximate:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in (a) around 0
1540337344.521 * [misc]taylor:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a
1540337344.521 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540337344.521 * [misc]taylor:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a
1540337344.521 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540337344.521 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540337344.521 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.521 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.521 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.521 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.521 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.521 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.521 * [misc]backup-simplify:  Simplify (fmod (/ 1 (/ 1 a)) (asin (/ 1 (/ 1 a)))) into (fmod a (asin a))
1540337344.521 * [misc]backup-simplify:  Simplify (fmod (/ 1 (- a)) (asin (/ 1 (- a)))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540337344.521 * [misc]approximate:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in (a) around 0
1540337344.521 * [misc]taylor:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a
1540337344.521 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540337344.521 * [misc]taylor:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a
1540337344.521 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540337344.522 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540337344.522 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.522 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.522 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.522 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.522 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.522 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.522 * [misc]backup-simplify:  Simplify (fmod (/ -1 (/ 1 (- a))) (asin (/ -1 (/ 1 (- a))))) into (fmod a (asin a))
1540337344.522 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2)
1540337344.522 * [misc]backup-simplify:  Simplify (cbrt (fmod a (asin a))) into (pow (fmod a (asin a)) 1/3)
1540337344.522 * [misc]approximate:  Taking taylor expansion of (pow (fmod a (asin a)) 1/3) in (a) around 0
1540337344.522 * [misc]taylor:  Taking taylor expansion of (pow (fmod a (asin a)) 1/3) in a
1540337344.522 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (fmod a (asin a))))) in a
1540337344.522 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (fmod a (asin a)))) in a
1540337344.522 * [misc]taylor:  Taking taylor expansion of 1/3 in a
1540337344.522 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1540337344.522 * [misc]taylor:  Taking taylor expansion of (log (fmod a (asin a))) in a
1540337344.522 * [misc]taylor:  Taking taylor expansion of (fmod a (asin a)) in a
1540337344.522 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540337344.522 * [misc]backup-simplify:  Simplify (log (fmod a (asin a))) into (log (fmod a (asin a)))
1540337344.522 * [misc]backup-simplify:  Simplify (* 1/3 (log (fmod a (asin a)))) into (* 1/3 (log (fmod a (asin a))))
1540337344.522 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log (fmod a (asin a))))) into (pow (fmod a (asin a)) 1/3)
1540337344.522 * [misc]taylor:  Taking taylor expansion of (pow (fmod a (asin a)) 1/3) in a
1540337344.522 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (fmod a (asin a))))) in a
1540337344.522 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (fmod a (asin a)))) in a
1540337344.522 * [misc]taylor:  Taking taylor expansion of 1/3 in a
1540337344.522 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1540337344.522 * [misc]taylor:  Taking taylor expansion of (log (fmod a (asin a))) in a
1540337344.522 * [misc]taylor:  Taking taylor expansion of (fmod a (asin a)) in a
1540337344.522 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1540337344.522 * [misc]backup-simplify:  Simplify (log (fmod a (asin a))) into (log (fmod a (asin a)))
1540337344.523 * [misc]backup-simplify:  Simplify (* 1/3 (log (fmod a (asin a)))) into (* 1/3 (log (fmod a (asin a))))
1540337344.523 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log (fmod a (asin a))))) into (pow (fmod a (asin a)) 1/3)
1540337344.523 * [misc]backup-simplify:  Simplify (pow (fmod a (asin a)) 1/3) into (pow (fmod a (asin a)) 1/3)
1540337344.523 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod a (asin a)) 1)))) 1) into 0
1540337344.524 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 (log (fmod a (asin a))))) into 0
1540337344.527 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (fmod a (asin a))))) (+ (* (/ (pow 0 1) 1)))) into 0
1540337344.527 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.528 * [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
1540337344.528 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod a (asin a)))))) into 0
1540337344.529 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (fmod a (asin a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1540337344.529 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.531 * [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
1540337344.532 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod a (asin a))))))) into 0
1540337344.533 * [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
1540337344.533 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.536 * [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
1540337344.537 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod a (asin a)))))))) into 0
1540337344.540 * [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
1540337344.540 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.545 * [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
1540337344.546 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod a (asin a))))))))) into 0
1540337344.551 * [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
1540337344.551 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.558 * [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
1540337344.558 * [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
1540337344.566 * [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
1540337344.566 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.566 * [misc]backup-simplify:  Simplify (pow (fmod a (asin a)) 1/3) into (pow (fmod a (asin a)) 1/3)
1540337344.566 * [misc]backup-simplify:  Simplify (cbrt (fmod (/ 1 a) (asin (/ 1 a)))) into (pow (fmod (/ 1 a) (asin (/ 1 a))) 1/3)
1540337344.566 * [misc]approximate:  Taking taylor expansion of (pow (fmod (/ 1 a) (asin (/ 1 a))) 1/3) in (a) around 0
1540337344.566 * [misc]taylor:  Taking taylor expansion of (pow (fmod (/ 1 a) (asin (/ 1 a))) 1/3) in a
1540337344.566 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (fmod (/ 1 a) (asin (/ 1 a)))))) in a
1540337344.566 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (fmod (/ 1 a) (asin (/ 1 a))))) in a
1540337344.566 * [misc]taylor:  Taking taylor expansion of 1/3 in a
1540337344.566 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1540337344.566 * [misc]taylor:  Taking taylor expansion of (log (fmod (/ 1 a) (asin (/ 1 a)))) in a
1540337344.566 * [misc]taylor:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a
1540337344.567 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540337344.567 * [misc]backup-simplify:  Simplify (log (fmod (/ 1 a) (asin (/ 1 a)))) into (log (fmod (/ 1 a) (asin (/ 1 a))))
1540337344.567 * [misc]backup-simplify:  Simplify (* 1/3 (log (fmod (/ 1 a) (asin (/ 1 a))))) into (* 1/3 (log (fmod (/ 1 a) (asin (/ 1 a)))))
1540337344.567 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log (fmod (/ 1 a) (asin (/ 1 a)))))) into (pow (fmod (/ 1 a) (asin (/ 1 a))) 1/3)
1540337344.567 * [misc]taylor:  Taking taylor expansion of (pow (fmod (/ 1 a) (asin (/ 1 a))) 1/3) in a
1540337344.567 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (fmod (/ 1 a) (asin (/ 1 a)))))) in a
1540337344.567 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (fmod (/ 1 a) (asin (/ 1 a))))) in a
1540337344.567 * [misc]taylor:  Taking taylor expansion of 1/3 in a
1540337344.567 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1540337344.567 * [misc]taylor:  Taking taylor expansion of (log (fmod (/ 1 a) (asin (/ 1 a)))) in a
1540337344.567 * [misc]taylor:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a
1540337344.567 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1540337344.567 * [misc]backup-simplify:  Simplify (log (fmod (/ 1 a) (asin (/ 1 a)))) into (log (fmod (/ 1 a) (asin (/ 1 a))))
1540337344.567 * [misc]backup-simplify:  Simplify (* 1/3 (log (fmod (/ 1 a) (asin (/ 1 a))))) into (* 1/3 (log (fmod (/ 1 a) (asin (/ 1 a)))))
1540337344.567 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log (fmod (/ 1 a) (asin (/ 1 a)))))) into (pow (fmod (/ 1 a) (asin (/ 1 a))) 1/3)
1540337344.567 * [misc]backup-simplify:  Simplify (pow (fmod (/ 1 a) (asin (/ 1 a))) 1/3) into (pow (fmod (/ 1 a) (asin (/ 1 a))) 1/3)
1540337344.568 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (/ 1 a) (asin (/ 1 a))) 1)))) 1) into 0
1540337344.568 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 (log (fmod (/ 1 a) (asin (/ 1 a)))))) into 0
1540337344.569 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (fmod (/ 1 a) (asin (/ 1 a)))))) (+ (* (/ (pow 0 1) 1)))) into 0
1540337344.569 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.570 * [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
1540337344.570 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (/ 1 a) (asin (/ 1 a))))))) into 0
1540337344.571 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (fmod (/ 1 a) (asin (/ 1 a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1540337344.571 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.573 * [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
1540337344.574 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (/ 1 a) (asin (/ 1 a)))))))) into 0
1540337344.576 * [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
1540337344.576 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.579 * [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
1540337344.579 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (/ 1 a) (asin (/ 1 a))))))))) into 0
1540337344.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
1540337344.582 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.587 * [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
1540337344.588 * [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
1540337344.593 * [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
1540337344.593 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.600 * [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
1540337344.601 * [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
1540337344.610 * [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
1540337344.610 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.610 * [misc]backup-simplify:  Simplify (pow (fmod (/ 1 (/ 1 a)) (asin (/ 1 (/ 1 a)))) 1/3) into (pow (fmod a (asin a)) 1/3)
1540337344.610 * [misc]backup-simplify:  Simplify (cbrt (fmod (/ 1 (- a)) (asin (/ 1 (- a))))) into (pow (fmod (/ -1 a) (asin (/ -1 a))) 1/3)
1540337344.611 * [misc]approximate:  Taking taylor expansion of (pow (fmod (/ -1 a) (asin (/ -1 a))) 1/3) in (a) around 0
1540337344.611 * [misc]taylor:  Taking taylor expansion of (pow (fmod (/ -1 a) (asin (/ -1 a))) 1/3) in a
1540337344.611 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (fmod (/ -1 a) (asin (/ -1 a)))))) in a
1540337344.611 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (fmod (/ -1 a) (asin (/ -1 a))))) in a
1540337344.611 * [misc]taylor:  Taking taylor expansion of 1/3 in a
1540337344.611 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1540337344.611 * [misc]taylor:  Taking taylor expansion of (log (fmod (/ -1 a) (asin (/ -1 a)))) in a
1540337344.611 * [misc]taylor:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a
1540337344.611 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540337344.611 * [misc]backup-simplify:  Simplify (log (fmod (/ -1 a) (asin (/ -1 a)))) into (log (fmod (/ -1 a) (asin (/ -1 a))))
1540337344.611 * [misc]backup-simplify:  Simplify (* 1/3 (log (fmod (/ -1 a) (asin (/ -1 a))))) into (* 1/3 (log (fmod (/ -1 a) (asin (/ -1 a)))))
1540337344.611 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log (fmod (/ -1 a) (asin (/ -1 a)))))) into (pow (fmod (/ -1 a) (asin (/ -1 a))) 1/3)
1540337344.611 * [misc]taylor:  Taking taylor expansion of (pow (fmod (/ -1 a) (asin (/ -1 a))) 1/3) in a
1540337344.611 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (fmod (/ -1 a) (asin (/ -1 a)))))) in a
1540337344.611 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (fmod (/ -1 a) (asin (/ -1 a))))) in a
1540337344.611 * [misc]taylor:  Taking taylor expansion of 1/3 in a
1540337344.611 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1540337344.611 * [misc]taylor:  Taking taylor expansion of (log (fmod (/ -1 a) (asin (/ -1 a)))) in a
1540337344.611 * [misc]taylor:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a
1540337344.611 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1540337344.611 * [misc]backup-simplify:  Simplify (log (fmod (/ -1 a) (asin (/ -1 a)))) into (log (fmod (/ -1 a) (asin (/ -1 a))))
1540337344.611 * [misc]backup-simplify:  Simplify (* 1/3 (log (fmod (/ -1 a) (asin (/ -1 a))))) into (* 1/3 (log (fmod (/ -1 a) (asin (/ -1 a)))))
1540337344.611 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log (fmod (/ -1 a) (asin (/ -1 a)))))) into (pow (fmod (/ -1 a) (asin (/ -1 a))) 1/3)
1540337344.612 * [misc]backup-simplify:  Simplify (pow (fmod (/ -1 a) (asin (/ -1 a))) 1/3) into (pow (fmod (/ -1 a) (asin (/ -1 a))) 1/3)
1540337344.612 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (/ -1 a) (asin (/ -1 a))) 1)))) 1) into 0
1540337344.612 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 (log (fmod (/ -1 a) (asin (/ -1 a)))))) into 0
1540337344.613 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (fmod (/ -1 a) (asin (/ -1 a)))))) (+ (* (/ (pow 0 1) 1)))) into 0
1540337344.613 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.614 * [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
1540337344.614 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (/ -1 a) (asin (/ -1 a))))))) into 0
1540337344.616 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (fmod (/ -1 a) (asin (/ -1 a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1540337344.616 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.617 * [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
1540337344.618 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (/ -1 a) (asin (/ -1 a)))))))) into 0
1540337344.620 * [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
1540337344.620 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.623 * [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
1540337344.625 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (/ -1 a) (asin (/ -1 a))))))))) into 0
1540337344.628 * [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
1540337344.628 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.634 * [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
1540337344.635 * [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
1540337344.640 * [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
1540337344.640 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.652 * [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
1540337344.653 * [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
1540337344.666 * [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
1540337344.666 * [misc]backup-simplify:  Simplify 0 into 0
1540337344.666 * [misc]backup-simplify:  Simplify (pow (fmod (/ -1 (/ 1 (- a))) (asin (/ -1 (/ 1 (- a))))) 1/3) into (pow (fmod a (asin a)) 1/3)
1540337344.666 * * * [misc]progress:  simplifying candidates
1540337344.667 * * * * [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)))>
1540337344.667 * * * * [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)))>
1540337344.667 * * * * [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)))>
1540337344.667 * * * * [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)))>
1540337344.667 * * * * [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)))>
1540337344.667 * * * * [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)))>
1540337344.667 * * * * [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)))>
1540337344.667 * * * * [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)))>
1540337344.667 * * * * [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)))>
1540337344.667 * * * * [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)))>
1540337344.667 * * * * [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)))>
1540337344.667 * * * * [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)))>
1540337344.667 * * * * [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)))>
1540337344.667 * * * * [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)))>
1540337344.667 * * * * [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)))>
1540337344.668 * * * * [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)))>
1540337344.668 * * * * [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)))>
1540337344.668 * * * * [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)))>
1540337344.668 * * * * [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)))>
1540337344.668 * * * * [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)))>
1540337344.668 * * * * [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)))>
1540337344.668 * * * * [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)))>
1540337344.668 * * * * [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)))>
1540337344.668 * * * * [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)))>
1540337344.668 * * * * [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)))>
1540337344.668 * * * * [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)))>
1540337344.668 * [enter]simplify:  Simplifying (cbrt (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))))
1540337344.669 * * [misc]simplify:  iters left: 6 (6 enodes)
1540337344.670 * [exit]simplify:  Simplified to (cbrt (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))))
1540337344.670 * [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)))
1540337344.670 * * * * [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)))>
1540337344.671 * [enter]simplify:  Simplifying (cbrt (sqrt (fmod a (asin a))))
1540337344.671 * * [misc]simplify:  iters left: 4 (5 enodes)
1540337344.672 * [exit]simplify:  Simplified to (cbrt (sqrt (fmod a (asin a))))
1540337344.672 * [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)))
1540337344.672 * * * * [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)))>
1540337344.672 * [enter]simplify:  Simplifying (cbrt 1)
1540337344.672 * * [misc]simplify:  iters left: 1 (2 enodes)
1540337344.674 * [exit]simplify:  Simplified to 1
1540337344.674 * [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)))
1540337344.674 * * * * [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)))>
1540337344.674 * * * * [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)))>
1540337344.674 * * * * [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)))>
1540337344.674 * * * * [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)))>
1540337344.674 * * * * [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)))>
1540337344.674 * [enter]simplify:  Simplifying (fmod a (asin a))
1540337344.674 * * [misc]simplify:  iters left: 2 (3 enodes)
1540337344.675 * [exit]simplify:  Simplified to (fmod a (asin a))
1540337344.675 * [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)))
1540337344.675 * * * * [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)))>
1540337344.676 * [enter]simplify:  Simplifying (fmod a (asin a))
1540337344.676 * * [misc]simplify:  iters left: 2 (3 enodes)
1540337344.676 * [exit]simplify:  Simplified to (fmod a (asin a))
1540337344.676 * [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)))
1540337344.676 * * * * [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)))>
1540337344.677 * [enter]simplify:  Simplifying (fmod a (asin a))
1540337344.677 * * [misc]simplify:  iters left: 2 (3 enodes)
1540337344.678 * [exit]simplify:  Simplified to (fmod a (asin a))
1540337344.678 * [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)))
1540337344.678 * * * * [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)))>
1540337344.678 * [enter]simplify:  Simplifying (fmod a (asin a))
1540337344.678 * * [misc]simplify:  iters left: 2 (3 enodes)
1540337344.679 * [exit]simplify:  Simplified to (fmod a (asin a))
1540337344.679 * [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)))
1540337344.679 * * * * [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)))>
1540337344.679 * [enter]simplify:  Simplifying (fmod a (asin a))
1540337344.679 * * [misc]simplify:  iters left: 2 (3 enodes)
1540337344.680 * [exit]simplify:  Simplified to (fmod a (asin a))
1540337344.680 * [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)))
1540337344.680 * * * * [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)))>
1540337344.680 * [enter]simplify:  Simplifying (fmod a (asin a))
1540337344.680 * * [misc]simplify:  iters left: 2 (3 enodes)
1540337344.681 * [exit]simplify:  Simplified to (fmod a (asin a))
1540337344.681 * [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)))
1540337344.681 * * * * [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)))>
1540337344.681 * [enter]simplify:  Simplifying (fmod a (asin a))
1540337344.681 * * [misc]simplify:  iters left: 2 (3 enodes)
1540337344.682 * [exit]simplify:  Simplified to (fmod a (asin a))
1540337344.682 * [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)))
1540337344.682 * * * * [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)))>
1540337344.683 * [enter]simplify:  Simplifying (fmod a (asin a))
1540337344.683 * * [misc]simplify:  iters left: 2 (3 enodes)
1540337344.683 * [exit]simplify:  Simplified to (fmod a (asin a))
1540337344.683 * [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)))
1540337344.683 * * * * [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)))>
1540337344.684 * [enter]simplify:  Simplifying (fmod a (asin a))
1540337344.684 * * [misc]simplify:  iters left: 2 (3 enodes)
1540337344.685 * [exit]simplify:  Simplified to (fmod a (asin a))
1540337344.685 * [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)))
1540337344.685 * * * * [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)))>
1540337344.685 * [enter]simplify:  Simplifying (pow (fmod a (asin a)) 1/3)
1540337344.685 * * [misc]simplify:  iters left: 3 (5 enodes)
1540337344.686 * * [misc]simplify:  iters left: 2 (6 enodes)
1540337344.688 * [exit]simplify:  Simplified to (cbrt (fmod a (asin a)))
1540337344.688 * [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)))
1540337344.688 * * * * [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)))>
1540337344.688 * [enter]simplify:  Simplifying (pow (fmod a (asin a)) 1/3)
1540337344.688 * * [misc]simplify:  iters left: 3 (5 enodes)
1540337344.690 * * [misc]simplify:  iters left: 2 (6 enodes)
1540337344.691 * [exit]simplify:  Simplified to (cbrt (fmod a (asin a)))
1540337344.691 * [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)))
1540337344.691 * * * * [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)))>
1540337344.691 * [enter]simplify:  Simplifying (pow (fmod a (asin a)) 1/3)
1540337344.691 * * [misc]simplify:  iters left: 3 (5 enodes)
1540337344.693 * * [misc]simplify:  iters left: 2 (6 enodes)
1540337344.694 * [exit]simplify:  Simplified to (cbrt (fmod a (asin a)))
1540337344.694 * [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)))
1540337344.694 * * * [misc]progress:  adding candidates to table
1540337345.257 * [misc]progress:  [Phase 3 of 3] Extracting.
1540337345.260 * [enter]simplify:  Simplifying (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))) (* a a))
1540337345.261 * * [misc]simplify:  iters left: 6 (9 enodes)
1540337345.261 * * [misc]simplify:  iters left: 5 (10 enodes)
1540337345.261 * [exit]simplify:  Simplified to (pow (atan (* (cbrt (fmod a (asin a))) (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))))) (* a a))
1540337345.262 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1540337345.280 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1540337345.281 * * * * [misc]points:  Setting MPFR precision to 2112
1540337345.284 * * * * [misc]points:  Setting MPFR precision to 2368
1540337345.287 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1540337345.288 * * * * [misc]points:  Setting MPFR precision to 2112
1540337345.291 * * * * [misc]points:  Setting MPFR precision to 2368
1540337345.294 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1540337345.295 * * * * [misc]points:  Setting MPFR precision to 2112
1540337345.299 * * * * [misc]points:  Setting MPFR precision to 2368
1540337345.305 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1540337345.306 * * * * [misc]points:  Setting MPFR precision to 2112
1540337345.317 * * * * [misc]points:  Setting MPFR precision to 2368
1540337345.330 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1540337345.331 * * * * [misc]points:  Setting MPFR precision to 2112
1540337345.365 * * * * [misc]points:  Setting MPFR precision to 2368
1540337345.403 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1540337345.404 * * * * [misc]points:  Setting MPFR precision to 2112
1540337345.490 * * * * [misc]points:  Setting MPFR precision to 2368
1540337345.553 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1540337345.554 * * * * [misc]points:  Setting MPFR precision to 2112
1540337345.652 * * * * [misc]points:  Setting MPFR precision to 2368
1540337345.824 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1540337345.825 * * * * [misc]points:  Setting MPFR precision to 2112
1540337346.431 * * * * [misc]points:  Setting MPFR precision to 2368
1540337346.737 * * * * [misc]points:  Computing exacts for 8000 points
1540337346.739 * * * * [misc]points:  Setting MPFR precision to 2112
1540337347.954 * * * * [misc]points:  Setting MPFR precision to 2368
1540337349.206 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337349.209 * * * * [misc]points:  Sampling 6047 additional inputs, on iter 1 have 1953 / 8000
1540337349.268 * * * * [misc]points:  Computing exacts on every 377 of 6047 points to ramp up precision
1540337349.270 * * * * [misc]points:  Setting MPFR precision to 2112
1540337349.274 * * * * [misc]points:  Setting MPFR precision to 2368
1540337349.278 * * * * [misc]points:  Computing exacts on every 188 of 6047 points to ramp up precision
1540337349.280 * * * * [misc]points:  Setting MPFR precision to 2112
1540337349.286 * * * * [misc]points:  Setting MPFR precision to 2368
1540337349.293 * * * * [misc]points:  Computing exacts on every 94 of 6047 points to ramp up precision
1540337349.294 * * * * [misc]points:  Setting MPFR precision to 2112
1540337349.307 * * * * [misc]points:  Setting MPFR precision to 2368
1540337349.321 * * * * [misc]points:  Computing exacts on every 47 of 6047 points to ramp up precision
1540337349.323 * * * * [misc]points:  Setting MPFR precision to 2112
1540337349.341 * * * * [misc]points:  Setting MPFR precision to 2368
1540337349.359 * * * * [misc]points:  Computing exacts on every 23 of 6047 points to ramp up precision
1540337349.360 * * * * [misc]points:  Setting MPFR precision to 2112
1540337349.383 * * * * [misc]points:  Setting MPFR precision to 2368
1540337349.414 * * * * [misc]points:  Computing exacts on every 11 of 6047 points to ramp up precision
1540337349.416 * * * * [misc]points:  Setting MPFR precision to 2112
1540337349.491 * * * * [misc]points:  Setting MPFR precision to 2368
1540337349.972 * * * * [misc]points:  Computing exacts on every 5 of 6047 points to ramp up precision
1540337349.973 * * * * [misc]points:  Setting MPFR precision to 2112
1540337350.098 * * * * [misc]points:  Setting MPFR precision to 2368
1540337350.234 * * * * [misc]points:  Computing exacts on every 2 of 6047 points to ramp up precision
1540337350.236 * * * * [misc]points:  Setting MPFR precision to 2112
1540337350.486 * * * * [misc]points:  Setting MPFR precision to 2368
1540337350.802 * * * * [misc]points:  Computing exacts for 6047 points
1540337350.803 * * * * [misc]points:  Setting MPFR precision to 2112
1540337351.713 * * * * [misc]points:  Setting MPFR precision to 2368
1540337352.619 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337352.620 * * * * [misc]points:  Sampling 4553 additional inputs, on iter 2 have 3447 / 8000
1540337352.641 * * * * [misc]points:  Computing exacts on every 284 of 4553 points to ramp up precision
1540337352.642 * * * * [misc]points:  Setting MPFR precision to 2112
1540337352.645 * * * * [misc]points:  Setting MPFR precision to 2368
1540337352.648 * * * * [misc]points:  Computing exacts on every 142 of 4553 points to ramp up precision
1540337352.650 * * * * [misc]points:  Setting MPFR precision to 2112
1540337353.046 * * * * [misc]points:  Setting MPFR precision to 2368
1540337353.050 * * * * [misc]points:  Computing exacts on every 71 of 4553 points to ramp up precision
1540337353.051 * * * * [misc]points:  Setting MPFR precision to 2112
1540337353.057 * * * * [misc]points:  Setting MPFR precision to 2368
1540337353.064 * * * * [misc]points:  Computing exacts on every 35 of 4553 points to ramp up precision
1540337353.065 * * * * [misc]points:  Setting MPFR precision to 2112
1540337353.078 * * * * [misc]points:  Setting MPFR precision to 2368
1540337353.099 * * * * [misc]points:  Computing exacts on every 17 of 4553 points to ramp up precision
1540337353.100 * * * * [misc]points:  Setting MPFR precision to 2112
1540337353.126 * * * * [misc]points:  Setting MPFR precision to 2368
1540337353.150 * * * * [misc]points:  Computing exacts on every 8 of 4553 points to ramp up precision
1540337353.151 * * * * [misc]points:  Setting MPFR precision to 2112
1540337353.219 * * * * [misc]points:  Setting MPFR precision to 2368
1540337353.288 * * * * [misc]points:  Computing exacts on every 4 of 4553 points to ramp up precision
1540337353.289 * * * * [misc]points:  Setting MPFR precision to 2112
1540337353.420 * * * * [misc]points:  Setting MPFR precision to 2368
1540337353.566 * * * * [misc]points:  Computing exacts on every 2 of 4553 points to ramp up precision
1540337353.567 * * * * [misc]points:  Setting MPFR precision to 2112
1540337353.785 * * * * [misc]points:  Setting MPFR precision to 2368
1540337353.997 * * * * [misc]points:  Computing exacts for 4553 points
1540337353.998 * * * * [misc]points:  Setting MPFR precision to 2112
1540337354.726 * * * * [misc]points:  Setting MPFR precision to 2368
1540337355.307 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337355.308 * * * * [misc]points:  Sampling 3391 additional inputs, on iter 3 have 4609 / 8000
1540337355.322 * * * * [misc]points:  Computing exacts on every 211 of 3391 points to ramp up precision
1540337355.323 * * * * [misc]points:  Setting MPFR precision to 2112
1540337355.326 * * * * [misc]points:  Setting MPFR precision to 2368
1540337355.328 * * * * [misc]points:  Computing exacts on every 105 of 3391 points to ramp up precision
1540337355.330 * * * * [misc]points:  Setting MPFR precision to 2112
1540337355.334 * * * * [misc]points:  Setting MPFR precision to 2368
1540337355.339 * * * * [misc]points:  Computing exacts on every 52 of 3391 points to ramp up precision
1540337355.340 * * * * [misc]points:  Setting MPFR precision to 2112
1540337355.349 * * * * [misc]points:  Setting MPFR precision to 2368
1540337355.359 * * * * [misc]points:  Computing exacts on every 26 of 3391 points to ramp up precision
1540337355.360 * * * * [misc]points:  Setting MPFR precision to 2112
1540337355.378 * * * * [misc]points:  Setting MPFR precision to 2368
1540337355.396 * * * * [misc]points:  Computing exacts on every 13 of 3391 points to ramp up precision
1540337355.398 * * * * [misc]points:  Setting MPFR precision to 2112
1540337355.461 * * * * [misc]points:  Setting MPFR precision to 2368
1540337355.497 * * * * [misc]points:  Computing exacts on every 6 of 3391 points to ramp up precision
1540337355.499 * * * * [misc]points:  Setting MPFR precision to 2112
1540337355.565 * * * * [misc]points:  Setting MPFR precision to 2368
1540337355.644 * * * * [misc]points:  Computing exacts on every 3 of 3391 points to ramp up precision
1540337355.645 * * * * [misc]points:  Setting MPFR precision to 2112
1540337355.760 * * * * [misc]points:  Setting MPFR precision to 2368
1540337356.238 * * * * [misc]points:  Computing exacts for 3391 points
1540337356.239 * * * * [misc]points:  Setting MPFR precision to 2112
1540337356.614 * * * * [misc]points:  Setting MPFR precision to 2368
1540337357.085 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337357.086 * * * * [misc]points:  Sampling 2570 additional inputs, on iter 4 have 5430 / 8000
1540337357.098 * * * * [misc]points:  Computing exacts on every 160 of 2570 points to ramp up precision
1540337357.100 * * * * [misc]points:  Setting MPFR precision to 2112
1540337357.138 * * * * [misc]points:  Setting MPFR precision to 2368
1540337357.141 * * * * [misc]points:  Computing exacts on every 80 of 2570 points to ramp up precision
1540337357.143 * * * * [misc]points:  Setting MPFR precision to 2112
1540337357.151 * * * * [misc]points:  Setting MPFR precision to 2368
1540337357.157 * * * * [misc]points:  Computing exacts on every 40 of 2570 points to ramp up precision
1540337357.158 * * * * [misc]points:  Setting MPFR precision to 2112
1540337357.170 * * * * [misc]points:  Setting MPFR precision to 2368
1540337357.183 * * * * [misc]points:  Computing exacts on every 20 of 2570 points to ramp up precision
1540337357.184 * * * * [misc]points:  Setting MPFR precision to 2112
1540337357.205 * * * * [misc]points:  Setting MPFR precision to 2368
1540337357.222 * * * * [misc]points:  Computing exacts on every 10 of 2570 points to ramp up precision
1540337357.223 * * * * [misc]points:  Setting MPFR precision to 2112
1540337357.244 * * * * [misc]points:  Setting MPFR precision to 2368
1540337357.277 * * * * [misc]points:  Computing exacts on every 5 of 2570 points to ramp up precision
1540337357.279 * * * * [misc]points:  Setting MPFR precision to 2112
1540337357.349 * * * * [misc]points:  Setting MPFR precision to 2368
1540337357.394 * * * * [misc]points:  Computing exacts on every 2 of 2570 points to ramp up precision
1540337357.395 * * * * [misc]points:  Setting MPFR precision to 2112
1540337357.526 * * * * [misc]points:  Setting MPFR precision to 2368
1540337357.642 * * * * [misc]points:  Computing exacts for 2570 points
1540337357.644 * * * * [misc]points:  Setting MPFR precision to 2112
1540337357.991 * * * * [misc]points:  Setting MPFR precision to 2368
1540337358.294 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337358.295 * * * * [misc]points:  Sampling 1887 additional inputs, on iter 5 have 6113 / 8000
1540337358.299 * * * * [misc]points:  Computing exacts on every 117 of 1887 points to ramp up precision
1540337358.300 * * * * [misc]points:  Setting MPFR precision to 2112
1540337358.301 * * * * [misc]points:  Setting MPFR precision to 2368
1540337358.303 * * * * [misc]points:  Computing exacts on every 58 of 1887 points to ramp up precision
1540337358.303 * * * * [misc]points:  Setting MPFR precision to 2112
1540337358.306 * * * * [misc]points:  Setting MPFR precision to 2368
1540337358.309 * * * * [misc]points:  Computing exacts on every 29 of 1887 points to ramp up precision
1540337358.310 * * * * [misc]points:  Setting MPFR precision to 2112
1540337358.317 * * * * [misc]points:  Setting MPFR precision to 2368
1540337358.328 * * * * [misc]points:  Computing exacts on every 14 of 1887 points to ramp up precision
1540337358.329 * * * * [misc]points:  Setting MPFR precision to 2112
1540337358.349 * * * * [misc]points:  Setting MPFR precision to 2368
1540337358.364 * * * * [misc]points:  Computing exacts on every 7 of 1887 points to ramp up precision
1540337358.365 * * * * [misc]points:  Setting MPFR precision to 2112
1540337358.384 * * * * [misc]points:  Setting MPFR precision to 2368
1540337358.412 * * * * [misc]points:  Computing exacts on every 3 of 1887 points to ramp up precision
1540337358.413 * * * * [misc]points:  Setting MPFR precision to 2112
1540337358.483 * * * * [misc]points:  Setting MPFR precision to 2368
1540337358.559 * * * * [misc]points:  Computing exacts for 1887 points
1540337358.560 * * * * [misc]points:  Setting MPFR precision to 2112
1540337358.814 * * * * [misc]points:  Setting MPFR precision to 2368
1540337359.087 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337359.088 * * * * [misc]points:  Sampling 1417 additional inputs, on iter 6 have 6583 / 8000
1540337359.091 * * * * [misc]points:  Computing exacts on every 88 of 1417 points to ramp up precision
1540337359.092 * * * * [misc]points:  Setting MPFR precision to 2112
1540337359.093 * * * * [misc]points:  Setting MPFR precision to 2368
1540337359.095 * * * * [misc]points:  Computing exacts on every 44 of 1417 points to ramp up precision
1540337359.095 * * * * [misc]points:  Setting MPFR precision to 2112
1540337359.097 * * * * [misc]points:  Setting MPFR precision to 2368
1540337359.099 * * * * [misc]points:  Computing exacts on every 22 of 1417 points to ramp up precision
1540337359.099 * * * * [misc]points:  Setting MPFR precision to 2112
1540337359.458 * * * * [misc]points:  Setting MPFR precision to 2368
1540337359.465 * * * * [misc]points:  Computing exacts on every 11 of 1417 points to ramp up precision
1540337359.466 * * * * [misc]points:  Setting MPFR precision to 2112
1540337359.475 * * * * [misc]points:  Setting MPFR precision to 2368
1540337359.485 * * * * [misc]points:  Computing exacts on every 5 of 1417 points to ramp up precision
1540337359.485 * * * * [misc]points:  Setting MPFR precision to 2112
1540337359.502 * * * * [misc]points:  Setting MPFR precision to 2368
1540337359.521 * * * * [misc]points:  Computing exacts on every 2 of 1417 points to ramp up precision
1540337359.522 * * * * [misc]points:  Setting MPFR precision to 2112
1540337359.568 * * * * [misc]points:  Setting MPFR precision to 2368
1540337359.621 * * * * [misc]points:  Computing exacts for 1417 points
1540337359.622 * * * * [misc]points:  Setting MPFR precision to 2112
1540337359.812 * * * * [misc]points:  Setting MPFR precision to 2368
1540337359.972 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337359.973 * * * * [misc]points:  Sampling 1066 additional inputs, on iter 7 have 6934 / 8000
1540337359.977 * * * * [misc]points:  Computing exacts on every 66 of 1066 points to ramp up precision
1540337359.979 * * * * [misc]points:  Setting MPFR precision to 2112
1540337359.981 * * * * [misc]points:  Setting MPFR precision to 2368
1540337359.984 * * * * [misc]points:  Computing exacts on every 33 of 1066 points to ramp up precision
1540337359.985 * * * * [misc]points:  Setting MPFR precision to 2112
1540337359.991 * * * * [misc]points:  Setting MPFR precision to 2368
1540337359.996 * * * * [misc]points:  Computing exacts on every 16 of 1066 points to ramp up precision
1540337359.997 * * * * [misc]points:  Setting MPFR precision to 2112
1540337360.007 * * * * [misc]points:  Setting MPFR precision to 2368
1540337360.034 * * * * [misc]points:  Computing exacts on every 8 of 1066 points to ramp up precision
1540337360.035 * * * * [misc]points:  Setting MPFR precision to 2112
1540337360.051 * * * * [misc]points:  Setting MPFR precision to 2368
1540337360.073 * * * * [misc]points:  Computing exacts on every 4 of 1066 points to ramp up precision
1540337360.073 * * * * [misc]points:  Setting MPFR precision to 2112
1540337360.092 * * * * [misc]points:  Setting MPFR precision to 2368
1540337360.121 * * * * [misc]points:  Computing exacts on every 2 of 1066 points to ramp up precision
1540337360.122 * * * * [misc]points:  Setting MPFR precision to 2112
1540337360.154 * * * * [misc]points:  Setting MPFR precision to 2368
1540337360.199 * * * * [misc]points:  Computing exacts for 1066 points
1540337360.201 * * * * [misc]points:  Setting MPFR precision to 2112
1540337360.308 * * * * [misc]points:  Setting MPFR precision to 2368
1540337360.463 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337360.464 * * * * [misc]points:  Sampling 808 additional inputs, on iter 8 have 7192 / 8000
1540337360.465 * * * * [misc]points:  Computing exacts on every 50 of 808 points to ramp up precision
1540337360.466 * * * * [misc]points:  Setting MPFR precision to 2112
1540337360.468 * * * * [misc]points:  Setting MPFR precision to 2368
1540337360.470 * * * * [misc]points:  Computing exacts on every 25 of 808 points to ramp up precision
1540337360.471 * * * * [misc]points:  Setting MPFR precision to 2112
1540337360.474 * * * * [misc]points:  Setting MPFR precision to 2368
1540337360.477 * * * * [misc]points:  Computing exacts on every 12 of 808 points to ramp up precision
1540337360.478 * * * * [misc]points:  Setting MPFR precision to 2112
1540337360.487 * * * * [misc]points:  Setting MPFR precision to 2368
1540337360.498 * * * * [misc]points:  Computing exacts on every 6 of 808 points to ramp up precision
1540337360.499 * * * * [misc]points:  Setting MPFR precision to 2112
1540337360.517 * * * * [misc]points:  Setting MPFR precision to 2368
1540337360.537 * * * * [misc]points:  Computing exacts on every 3 of 808 points to ramp up precision
1540337360.538 * * * * [misc]points:  Setting MPFR precision to 2112
1540337360.570 * * * * [misc]points:  Setting MPFR precision to 2368
1540337360.602 * * * * [misc]points:  Computing exacts for 808 points
1540337360.604 * * * * [misc]points:  Setting MPFR precision to 2112
1540337360.741 * * * * [misc]points:  Setting MPFR precision to 2368
1540337360.877 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337360.878 * * * * [misc]points:  Sampling 598 additional inputs, on iter 9 have 7402 / 8000
1540337360.881 * * * * [misc]points:  Computing exacts on every 37 of 598 points to ramp up precision
1540337360.882 * * * * [misc]points:  Setting MPFR precision to 2112
1540337360.884 * * * * [misc]points:  Setting MPFR precision to 2368
1540337360.887 * * * * [misc]points:  Computing exacts on every 18 of 598 points to ramp up precision
1540337360.888 * * * * [misc]points:  Setting MPFR precision to 2112
1540337360.892 * * * * [misc]points:  Setting MPFR precision to 2368
1540337360.898 * * * * [misc]points:  Computing exacts on every 9 of 598 points to ramp up precision
1540337360.900 * * * * [misc]points:  Setting MPFR precision to 2112
1540337360.906 * * * * [misc]points:  Setting MPFR precision to 2368
1540337360.913 * * * * [misc]points:  Computing exacts on every 4 of 598 points to ramp up precision
1540337360.914 * * * * [misc]points:  Setting MPFR precision to 2112
1540337360.932 * * * * [misc]points:  Setting MPFR precision to 2368
1540337360.949 * * * * [misc]points:  Computing exacts on every 2 of 598 points to ramp up precision
1540337360.949 * * * * [misc]points:  Setting MPFR precision to 2112
1540337360.967 * * * * [misc]points:  Setting MPFR precision to 2368
1540337360.984 * * * * [misc]points:  Computing exacts for 598 points
1540337360.985 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.095 * * * * [misc]points:  Setting MPFR precision to 2368
1540337361.171 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337361.171 * * * * [misc]points:  Sampling 447 additional inputs, on iter 10 have 7553 / 8000
1540337361.173 * * * * [misc]points:  Computing exacts on every 27 of 447 points to ramp up precision
1540337361.175 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.176 * * * * [misc]points:  Setting MPFR precision to 2368
1540337361.178 * * * * [misc]points:  Computing exacts on every 13 of 447 points to ramp up precision
1540337361.179 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.183 * * * * [misc]points:  Setting MPFR precision to 2368
1540337361.188 * * * * [misc]points:  Computing exacts on every 6 of 447 points to ramp up precision
1540337361.189 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.199 * * * * [misc]points:  Setting MPFR precision to 2368
1540337361.209 * * * * [misc]points:  Computing exacts on every 3 of 447 points to ramp up precision
1540337361.210 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.223 * * * * [misc]points:  Setting MPFR precision to 2368
1540337361.233 * * * * [misc]points:  Computing exacts for 447 points
1540337361.234 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.283 * * * * [misc]points:  Setting MPFR precision to 2368
1540337361.324 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337361.324 * * * * [misc]points:  Sampling 348 additional inputs, on iter 11 have 7652 / 8000
1540337361.325 * * * * [misc]points:  Computing exacts on every 21 of 348 points to ramp up precision
1540337361.326 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.327 * * * * [misc]points:  Setting MPFR precision to 2368
1540337361.329 * * * * [misc]points:  Computing exacts on every 10 of 348 points to ramp up precision
1540337361.330 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.333 * * * * [misc]points:  Setting MPFR precision to 2368
1540337361.337 * * * * [misc]points:  Computing exacts on every 5 of 348 points to ramp up precision
1540337361.338 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.386 * * * * [misc]points:  Setting MPFR precision to 2368
1540337361.399 * * * * [misc]points:  Computing exacts on every 2 of 348 points to ramp up precision
1540337361.400 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.417 * * * * [misc]points:  Setting MPFR precision to 2368
1540337361.437 * * * * [misc]points:  Computing exacts for 348 points
1540337361.438 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.480 * * * * [misc]points:  Setting MPFR precision to 2368
1540337361.527 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337361.527 * * * * [misc]points:  Sampling 263 additional inputs, on iter 12 have 7737 / 8000
1540337361.528 * * * * [misc]points:  Computing exacts on every 16 of 263 points to ramp up precision
1540337361.529 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.531 * * * * [misc]points:  Setting MPFR precision to 2368
1540337361.532 * * * * [misc]points:  Computing exacts on every 8 of 263 points to ramp up precision
1540337361.533 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.536 * * * * [misc]points:  Setting MPFR precision to 2368
1540337361.539 * * * * [misc]points:  Computing exacts on every 4 of 263 points to ramp up precision
1540337361.540 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.546 * * * * [misc]points:  Setting MPFR precision to 2368
1540337361.554 * * * * [misc]points:  Computing exacts on every 2 of 263 points to ramp up precision
1540337361.556 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.574 * * * * [misc]points:  Setting MPFR precision to 2368
1540337361.591 * * * * [misc]points:  Computing exacts for 263 points
1540337361.593 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.635 * * * * [misc]points:  Setting MPFR precision to 2368
1540337361.681 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337361.681 * * * * [misc]points:  Sampling 191 additional inputs, on iter 13 have 7809 / 8000
1540337361.682 * * * * [misc]points:  Computing exacts on every 11 of 191 points to ramp up precision
1540337361.683 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.684 * * * * [misc]points:  Setting MPFR precision to 2368
1540337361.685 * * * * [misc]points:  Computing exacts on every 5 of 191 points to ramp up precision
1540337361.686 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.689 * * * * [misc]points:  Setting MPFR precision to 2368
1540337361.691 * * * * [misc]points:  Computing exacts on every 2 of 191 points to ramp up precision
1540337361.692 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.697 * * * * [misc]points:  Setting MPFR precision to 2368
1540337361.702 * * * * [misc]points:  Computing exacts for 191 points
1540337361.702 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.773 * * * * [misc]points:  Setting MPFR precision to 2368
1540337361.810 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337361.810 * * * * [misc]points:  Sampling 135 additional inputs, on iter 14 have 7865 / 8000
1540337361.811 * * * * [misc]points:  Computing exacts on every 8 of 135 points to ramp up precision
1540337361.812 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.815 * * * * [misc]points:  Setting MPFR precision to 2368
1540337361.817 * * * * [misc]points:  Computing exacts on every 4 of 135 points to ramp up precision
1540337361.818 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.822 * * * * [misc]points:  Setting MPFR precision to 2368
1540337361.828 * * * * [misc]points:  Computing exacts on every 2 of 135 points to ramp up precision
1540337361.829 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.835 * * * * [misc]points:  Setting MPFR precision to 2368
1540337361.840 * * * * [misc]points:  Computing exacts for 135 points
1540337361.841 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.852 * * * * [misc]points:  Setting MPFR precision to 2368
1540337361.867 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337361.867 * * * * [misc]points:  Sampling 102 additional inputs, on iter 15 have 7898 / 8000
1540337361.867 * * * * [misc]points:  Computing exacts on every 6 of 102 points to ramp up precision
1540337361.868 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.870 * * * * [misc]points:  Setting MPFR precision to 2368
1540337361.871 * * * * [misc]points:  Computing exacts on every 3 of 102 points to ramp up precision
1540337361.872 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.875 * * * * [misc]points:  Setting MPFR precision to 2368
1540337361.879 * * * * [misc]points:  Computing exacts for 102 points
1540337361.880 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.898 * * * * [misc]points:  Setting MPFR precision to 2368
1540337361.915 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337361.915 * * * * [misc]points:  Sampling 70 additional inputs, on iter 16 have 7930 / 8000
1540337361.916 * * * * [misc]points:  Computing exacts on every 4 of 70 points to ramp up precision
1540337361.917 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.919 * * * * [misc]points:  Setting MPFR precision to 2368
1540337361.921 * * * * [misc]points:  Computing exacts on every 2 of 70 points to ramp up precision
1540337361.923 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.928 * * * * [misc]points:  Setting MPFR precision to 2368
1540337361.932 * * * * [misc]points:  Computing exacts for 70 points
1540337361.933 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.941 * * * * [misc]points:  Setting MPFR precision to 2368
1540337361.948 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337361.948 * * * * [misc]points:  Sampling 50 additional inputs, on iter 17 have 7950 / 8000
1540337361.948 * * * * [misc]points:  Computing exacts on every 3 of 50 points to ramp up precision
1540337361.949 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.951 * * * * [misc]points:  Setting MPFR precision to 2368
1540337361.952 * * * * [misc]points:  Computing exacts for 50 points
1540337361.953 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.958 * * * * [misc]points:  Setting MPFR precision to 2368
1540337361.964 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337361.964 * * * * [misc]points:  Sampling 37 additional inputs, on iter 18 have 7963 / 8000
1540337361.964 * * * * [misc]points:  Computing exacts on every 2 of 37 points to ramp up precision
1540337361.965 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.966 * * * * [misc]points:  Setting MPFR precision to 2368
1540337361.967 * * * * [misc]points:  Computing exacts for 37 points
1540337361.968 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.971 * * * * [misc]points:  Setting MPFR precision to 2368
1540337361.976 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337361.976 * * * * [misc]points:  Sampling 26 additional inputs, on iter 19 have 7974 / 8000
1540337361.976 * * * * [misc]points:  Computing exacts for 26 points
1540337361.977 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.979 * * * * [misc]points:  Setting MPFR precision to 2368
1540337361.981 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337361.981 * * * * [misc]points:  Sampling 19 additional inputs, on iter 20 have 7981 / 8000
1540337361.982 * * * * [misc]points:  Computing exacts for 19 points
1540337361.982 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.985 * * * * [misc]points:  Setting MPFR precision to 2368
1540337361.990 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337361.990 * * * * [misc]points:  Sampling 14 additional inputs, on iter 21 have 7986 / 8000
1540337361.990 * * * * [misc]points:  Computing exacts for 14 points
1540337361.991 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.993 * * * * [misc]points:  Setting MPFR precision to 2368
1540337361.995 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337361.995 * * * * [misc]points:  Sampling 13 additional inputs, on iter 22 have 7987 / 8000
1540337361.995 * * * * [misc]points:  Computing exacts for 13 points
1540337361.996 * * * * [misc]points:  Setting MPFR precision to 2112
1540337361.999 * * * * [misc]points:  Setting MPFR precision to 2368
1540337362.002 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337362.002 * * * * [misc]points:  Sampling 7 additional inputs, on iter 23 have 7993 / 8000
1540337362.002 * * * * [misc]points:  Computing exacts for 7 points
1540337362.003 * * * * [misc]points:  Setting MPFR precision to 2112
1540337362.004 * * * * [misc]points:  Setting MPFR precision to 2368
1540337362.005 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337362.005 * * * * [misc]points:  Sampling 6 additional inputs, on iter 24 have 7994 / 8000
1540337362.005 * * * * [misc]points:  Computing exacts for 6 points
1540337362.006 * * * * [misc]points:  Setting MPFR precision to 2112
1540337362.007 * * * * [misc]points:  Setting MPFR precision to 2368
1540337362.008 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337362.008 * * * * [misc]points:  Sampling 4 additional inputs, on iter 25 have 7996 / 8000
1540337362.008 * * * * [misc]points:  Computing exacts for 4 points
1540337362.009 * * * * [misc]points:  Setting MPFR precision to 2112
1540337362.010 * * * * [misc]points:  Setting MPFR precision to 2368
1540337362.013 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337362.013 * * * * [misc]points:  Sampling 4 additional inputs, on iter 26 have 7996 / 8000
1540337362.013 * * * * [misc]points:  Computing exacts for 4 points
1540337362.014 * * * * [misc]points:  Setting MPFR precision to 2112
1540337362.015 * * * * [misc]points:  Setting MPFR precision to 2368
1540337362.015 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337362.015 * * * * [misc]points:  Sampling 4 additional inputs, on iter 27 have 7996 / 8000
1540337362.015 * * * * [misc]points:  Computing exacts for 4 points
1540337362.017 * * * * [misc]points:  Setting MPFR precision to 2112
1540337362.018 * * * * [misc]points:  Setting MPFR precision to 2368
1540337362.019 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337362.019 * * * * [misc]points:  Sampling 4 additional inputs, on iter 28 have 7997 / 8000
1540337362.019 * * * * [misc]points:  Computing exacts for 4 points
1540337362.020 * * * * [misc]points:  Setting MPFR precision to 2112
1540337362.021 * * * * [misc]points:  Setting MPFR precision to 2368
1540337362.021 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337362.021 * * * * [misc]points:  Sampling 4 additional inputs, on iter 29 have 7997 / 8000
1540337362.021 * * * * [misc]points:  Computing exacts for 4 points
1540337362.022 * * * * [misc]points:  Setting MPFR precision to 2112
1540337362.023 * * * * [misc]points:  Setting MPFR precision to 2368
1540337362.023 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337362.023 * * * * [misc]points:  Sampling 4 additional inputs, on iter 30 have 7998 / 8000
1540337362.023 * * * * [misc]points:  Computing exacts for 4 points
1540337362.025 * * * * [misc]points:  Setting MPFR precision to 2112
1540337362.025 * * * * [misc]points:  Setting MPFR precision to 2368
1540337362.026 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337362.026 * * * * [misc]points:  Sampling 4 additional inputs, on iter 31 have 7998 / 8000
1540337362.026 * * * * [misc]points:  Computing exacts for 4 points
1540337362.027 * * * * [misc]points:  Setting MPFR precision to 2112
1540337362.028 * * * * [misc]points:  Setting MPFR precision to 2368
1540337362.030 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540337362.030 * * * * [exit]points:  Sampled 8001 points with exact outputs
1540337362.702 * [misc]regime-testing:  Baseline error score: 31.13986516365378
1540337362.702 * [misc]regime-testing:  End program error score: 31.13986516365378
1540337362.703 * [misc]regime-testing:  Oracle error score: 31.13986516365378