1545553836.972 * [misc]progress:  [Phase 1 of 3] Setting up.
1545553836.973 * * * [misc]progress:  [1/2] Preparing points
1545553836.975 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545553837.944 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553837.944 * * * * [misc]points:  Sampling 195 additional inputs, on iter 1 have 61 / 256
1545553838.416 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553838.416 * * * * [misc]points:  Sampling 145 additional inputs, on iter 2 have 111 / 256
1545553838.670 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553838.670 * * * * [misc]points:  Sampling 109 additional inputs, on iter 3 have 147 / 256
1545553838.852 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553838.852 * * * * [misc]points:  Sampling 85 additional inputs, on iter 4 have 171 / 256
1545553839.065 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553839.066 * * * * [misc]points:  Sampling 66 additional inputs, on iter 5 have 190 / 256
1545553839.164 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553839.164 * * * * [misc]points:  Sampling 43 additional inputs, on iter 6 have 213 / 256
1545553839.222 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553839.222 * * * * [misc]points:  Sampling 32 additional inputs, on iter 7 have 224 / 256
1545553839.262 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553839.262 * * * * [misc]points:  Sampling 24 additional inputs, on iter 8 have 232 / 256
1545553839.316 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553839.316 * * * * [misc]points:  Sampling 20 additional inputs, on iter 9 have 236 / 256
1545553839.364 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553839.364 * * * * [misc]points:  Sampling 13 additional inputs, on iter 10 have 243 / 256
1545553839.421 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553839.421 * * * * [misc]points:  Sampling 7 additional inputs, on iter 11 have 249 / 256
1545553839.440 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553839.440 * * * * [misc]points:  Sampling 4 additional inputs, on iter 12 have 254 / 256
1545553839.444 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553839.444 * * * * [misc]points:  Sampling 4 additional inputs, on iter 13 have 254 / 256
1545553839.449 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553839.449 * * * * [misc]points:  Sampling 4 additional inputs, on iter 14 have 255 / 256
1545553839.458 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553839.458 * * * * [exit]points:  Sampled 257 points with exact outputs
1545553839.459 * * * [misc]progress:  [2/2] Setting up program.
1545553839.464 * [misc]progress:  [Phase 2 of 3] Improving.
1545553839.465 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1545553839.466 * * [misc]simplify:  iters left: 5 (7 enodes)
1545553839.471 * * [misc]simplify:  iters left: 4 (13 enodes)
1545553839.473 * * [misc]simplify:  iters left: 3 (16 enodes)
1545553839.476 * * [misc]simplify:  iters left: 2 (18 enodes)
1545553839.480 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1545553839.492 * * [misc]progress:  iteration 1 / 4
1545553839.492 * * * [misc]progress:  picking best candidate
1545553839.495 * * * * [misc]pick:  Picked  #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1545553839.495 * * * [misc]progress:  localizing error
1545553839.536 * * * [misc]progress:  generating rewritten candidates
1545553839.536 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1 1)
1545553839.538 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2)
1545553839.542 * * * [misc]progress:  generating series expansions
1545553839.542 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1 1)
1545553839.548 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1545553839.548 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1545553839.550 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545553839.552 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545553839.552 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545553839.552 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545553839.553 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545553839.553 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.553 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.553 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.553 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.553 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.553 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.553 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545553839.553 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545553839.554 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1545553839.554 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545553839.554 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545553839.554 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545553839.554 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545553839.554 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545553839.554 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.554 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.554 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.554 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.554 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.554 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.555 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1545553839.556 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545553839.556 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1545553839.556 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545553839.556 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545553839.556 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545553839.556 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545553839.556 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545553839.556 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.556 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.556 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.556 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.557 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.557 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.557 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1545553839.557 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2)
1545553839.557 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545553839.557 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
1545553839.557 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1545553839.557 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545553839.557 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1545553839.557 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545553839.558 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545553839.558 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.558 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.558 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.558 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.558 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.558 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.558 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545553839.558 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
1545553839.558 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
1545553839.558 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1545553839.559 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
1545553839.559 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1545553839.559 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
1545553839.559 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
1545553839.559 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.559 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.559 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.559 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.559 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.559 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.560 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545553839.560 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) (log1p (/ 1 (- a))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
1545553839.560 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
1545553839.560 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1545553839.560 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
1545553839.560 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1545553839.561 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
1545553839.561 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
1545553839.561 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.561 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.561 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.561 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.561 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.561 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.562 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545553839.562 * * * [misc]progress:  simplifying candidates
1545553839.562 * * * * [misc]progress:  [ 1 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (fmod (cosh a) (* a a)) 1) (log1p a))))>
1545553839.562 * * * * [misc]progress:  [ 2 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (fmod (cosh a) (* a a)))) (log1p a))))>
1545553839.562 * * * * [misc]progress:  [ 3 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
1545553839.563 * * * * [misc]progress:  [ 4 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))) (log1p a))))>
1545553839.563 * * * * [misc]progress:  [ 5 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))) (log1p a))))>
1545553839.563 * * * * [misc]progress:  [ 6 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))>
1545553839.563 * * * * [misc]progress:  [ 7 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (fmod (cosh a) (* a a))) (log1p a))))>
1545553839.563 * * * * [misc]progress:  [ 8 / 21 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))>
1545553839.563 * * * * [misc]progress:  [ 9 / 21 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1))>
1545553839.563 * * * * [misc]progress:  [ 10 / 21 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1545553839.563 * * * * [misc]progress:  [ 11 / 21 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1545553839.563 * * * * [misc]progress:  [ 12 / 21 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1545553839.563 * * * * [misc]progress:  [ 13 / 21 ] simplifiying candidate #<alt (λ (a) (cbrt (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1545553839.563 * * * * [misc]progress:  [ 14 / 21 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1545553839.563 * * * * [misc]progress:  [ 15 / 21 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))>
1545553839.563 * * * * [misc]progress:  [ 16 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1545553839.564 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545553839.564 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553839.566 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553839.569 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545553839.570 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1545553839.570 * * * * [misc]progress:  [ 17 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1545553839.570 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545553839.570 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553839.572 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553839.575 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545553839.576 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1545553839.576 * * * * [misc]progress:  [ 18 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1545553839.576 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545553839.576 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553839.578 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553839.582 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545553839.582 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1545553839.582 * * * * [misc]progress:  [ 19 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1545553839.582 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545553839.582 * * [misc]simplify:  iters left: 4 (8 enodes)
1545553839.585 * * [misc]simplify:  iters left: 3 (14 enodes)
1545553839.589 * * [misc]simplify:  iters left: 2 (17 enodes)
1545553839.594 * * [misc]simplify:  iters left: 1 (19 enodes)
1545553839.599 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1545553839.600 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1545553839.600 * * * * [misc]progress:  [ 20 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1545553839.600 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545553839.600 * * [misc]simplify:  iters left: 4 (8 enodes)
1545553839.603 * * [misc]simplify:  iters left: 3 (14 enodes)
1545553839.607 * * [misc]simplify:  iters left: 2 (17 enodes)
1545553839.612 * * [misc]simplify:  iters left: 1 (19 enodes)
1545553839.617 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1545553839.617 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1545553839.617 * * * * [misc]progress:  [ 21 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1545553839.617 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545553839.617 * * [misc]simplify:  iters left: 4 (8 enodes)
1545553839.620 * * [misc]simplify:  iters left: 3 (14 enodes)
1545553839.624 * * [misc]simplify:  iters left: 2 (17 enodes)
1545553839.629 * * [misc]simplify:  iters left: 1 (19 enodes)
1545553839.634 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1545553839.635 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1545553839.635 * * * [misc]progress:  adding candidates to table
1545553839.872 * * [misc]progress:  iteration 2 / 4
1545553839.872 * * * [misc]progress:  picking best candidate
1545553839.888 * * * * [misc]pick:  Picked  #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
1545553839.888 * * * [misc]progress:  localizing error
1545553839.899 * * * [misc]progress:  generating rewritten candidates
1545553839.899 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1 1 1)
1545553839.899 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1 1)
1545553839.901 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2)
1545553839.902 * * * [misc]progress:  generating series expansions
1545553839.902 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1 1 1)
1545553839.902 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1545553839.902 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1545553839.902 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545553839.902 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545553839.902 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545553839.903 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545553839.903 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545553839.903 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.903 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.903 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.903 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.903 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.903 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.903 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545553839.903 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545553839.903 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1545553839.903 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545553839.903 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545553839.903 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545553839.903 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545553839.903 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545553839.903 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.903 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.903 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.903 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.903 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.903 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.904 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1545553839.904 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545553839.904 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1545553839.904 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545553839.904 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545553839.904 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545553839.904 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545553839.904 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545553839.904 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.904 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.904 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.904 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.904 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.904 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.904 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1545553839.904 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1 1)
1545553839.904 * [misc]backup-simplify:  Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
1545553839.904 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1545553839.904 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545553839.905 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545553839.905 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545553839.905 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545553839.905 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545553839.905 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.905 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.905 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.905 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.905 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.905 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.905 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545553839.905 * [misc]backup-simplify:  Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545553839.905 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1545553839.905 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545553839.905 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545553839.905 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545553839.905 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545553839.905 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545553839.905 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.905 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.905 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.905 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.905 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.905 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.906 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1545553839.906 * [misc]backup-simplify:  Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545553839.906 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1545553839.906 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545553839.906 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545553839.906 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545553839.906 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545553839.906 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545553839.906 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.906 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.906 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.906 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.906 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.906 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.906 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1545553839.906 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2)
1545553839.906 * [misc]backup-simplify:  Simplify (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545553839.907 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
1545553839.907 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1545553839.907 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545553839.907 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1545553839.907 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545553839.907 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545553839.907 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.907 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.907 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.907 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.907 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.907 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.907 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545553839.907 * [misc]backup-simplify:  Simplify (acos (pow (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
1545553839.907 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
1545553839.907 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1545553839.907 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
1545553839.907 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1545553839.908 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
1545553839.908 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
1545553839.908 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.908 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.908 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.908 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.908 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.908 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.908 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545553839.908 * [misc]backup-simplify:  Simplify (acos (pow (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) (log1p (/ 1 (- a))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
1545553839.908 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
1545553839.908 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1545553839.908 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
1545553839.908 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1545553839.908 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
1545553839.909 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
1545553839.909 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.909 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.909 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.909 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.909 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.909 * [misc]backup-simplify:  Simplify 0 into 0
1545553839.909 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545553839.909 * * * [misc]progress:  simplifying candidates
1545553839.909 * * * * [misc]progress:  [ 1 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a))))>
1545553839.909 * * * * [misc]progress:  [ 2 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a))))>
1545553839.909 * * * * [misc]progress:  [ 3 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1545553839.909 * * * * [misc]progress:  [ 4 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1545553839.909 * * * * [misc]progress:  [ 5 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))) (log1p a))))>
1545553839.909 * * * * [misc]progress:  [ 6 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1545553839.909 * * * * [misc]progress:  [ 7 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a))))>
1545553839.909 * * * * [misc]progress:  [ 8 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1545553839.909 * [enter]simplify:  Simplifying (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))
1545553839.909 * * [misc]simplify:  iters left: 6 (8 enodes)
1545553839.911 * * [misc]simplify:  iters left: 5 (16 enodes)
1545553839.915 * * [misc]simplify:  iters left: 4 (19 enodes)
1545553839.921 * * [misc]simplify:  iters left: 3 (21 enodes)
1545553839.927 * [exit]simplify:  Simplified to (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a))))))
1545553839.927 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a) (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))
1545553839.927 * * * * [misc]progress:  [ 9 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1545553839.927 * [enter]simplify:  Simplifying (log (sqrt (exp (fmod (cosh a) (* a a)))))
1545553839.927 * * [misc]simplify:  iters left: 6 (7 enodes)
1545553839.929 * * [misc]simplify:  iters left: 5 (13 enodes)
1545553839.934 * * [misc]simplify:  iters left: 4 (16 enodes)
1545553839.938 * * [misc]simplify:  iters left: 3 (18 enodes)
1545553839.947 * [exit]simplify:  Simplified to (log (sqrt (exp (fmod (cosh a) (* a a)))))
1545553839.947 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))
1545553839.947 * * * * [misc]progress:  [ 10 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log 1) (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
1545553839.947 * [enter]simplify:  Simplifying (log 1)
1545553839.947 * * [misc]simplify:  iters left: 1 (2 enodes)
1545553839.949 * [exit]simplify:  Simplified to 0
1545553839.949 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a) (acos (pow (+ 0 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))
1545553839.949 * * * * [misc]progress:  [ 11 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
1545553839.950 * * * * [misc]progress:  [ 12 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1545553839.950 * [enter]simplify:  Simplifying (cbrt (fmod (cosh a) (* a a)))
1545553839.950 * * [misc]simplify:  iters left: 4 (5 enodes)
1545553839.952 * * [misc]simplify:  iters left: 3 (11 enodes)
1545553839.955 * * [misc]simplify:  iters left: 2 (14 enodes)
1545553839.959 * * [misc]simplify:  iters left: 1 (16 enodes)
1545553839.963 * [exit]simplify:  Simplified to (cbrt (fmod (cosh a) (* a a)))
1545553839.963 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))
1545553839.963 * * * * [misc]progress:  [ 13 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1545553839.964 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (* a a)))
1545553839.964 * * [misc]simplify:  iters left: 4 (5 enodes)
1545553839.965 * * [misc]simplify:  iters left: 3 (11 enodes)
1545553839.969 * * [misc]simplify:  iters left: 2 (14 enodes)
1545553839.972 * * [misc]simplify:  iters left: 1 (16 enodes)
1545553839.977 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1545553839.977 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))
1545553839.977 * * * * [misc]progress:  [ 14 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))>
1545553839.977 * [enter]simplify:  Simplifying (fmod (cosh a) (* a a))
1545553839.977 * * [misc]simplify:  iters left: 3 (4 enodes)
1545553839.979 * * [misc]simplify:  iters left: 2 (10 enodes)
1545553839.982 * * [misc]simplify:  iters left: 1 (13 enodes)
1545553839.985 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545553839.985 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))
1545553839.986 * * * * [misc]progress:  [ 15 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) 1) (log1p a))))>
1545553839.986 * * * * [misc]progress:  [ 16 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1545553839.986 * [enter]simplify:  Simplifying (cosh a)
1545553839.986 * * [misc]simplify:  iters left: 1 (2 enodes)
1545553839.987 * [exit]simplify:  Simplified to (cosh a)
1545553839.987 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1545553839.987 * * * * [misc]progress:  [ 17 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1545553839.987 * * * * [misc]progress:  [ 18 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1545553839.987 * * * * [misc]progress:  [ 19 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1545553839.987 * * * * [misc]progress:  [ 20 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (cbrt (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1545553839.987 * * * * [misc]progress:  [ 21 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1545553839.987 * * * * [misc]progress:  [ 22 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
1545553839.987 * * * * [misc]progress:  [ 23 / 39 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
1545553839.987 * * * * [misc]progress:  [ 24 / 39 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1))>
1545553839.987 * * * * [misc]progress:  [ 25 / 39 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1545553839.987 * * * * [misc]progress:  [ 26 / 39 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1545553839.987 * * * * [misc]progress:  [ 27 / 39 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1545553839.987 * * * * [misc]progress:  [ 28 / 39 ] simplifiying candidate #<alt (λ (a) (cbrt (* (* (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1545553839.987 * * * * [misc]progress:  [ 29 / 39 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1545553839.987 * * * * [misc]progress:  [ 30 / 39 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
1545553839.988 * * * * [misc]progress:  [ 31 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
1545553839.988 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545553839.988 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553839.989 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553839.993 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545553839.993 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
1545553839.993 * * * * [misc]progress:  [ 32 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
1545553839.994 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545553839.994 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553839.995 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553839.999 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545553839.999 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
1545553839.999 * * * * [misc]progress:  [ 33 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
1545553839.999 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545553839.999 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553840.001 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553840.004 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545553840.004 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
1545553840.004 * * * * [misc]progress:  [ 34 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1545553840.005 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545553840.005 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553840.006 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553840.009 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545553840.010 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1545553840.010 * * * * [misc]progress:  [ 35 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1545553840.010 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545553840.010 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553840.012 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553840.015 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545553840.015 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1545553840.015 * * * * [misc]progress:  [ 36 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1545553840.015 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545553840.015 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553840.017 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553840.020 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545553840.021 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1545553840.021 * * * * [misc]progress:  [ 37 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1545553840.021 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545553840.021 * * [misc]simplify:  iters left: 4 (8 enodes)
1545553840.024 * * [misc]simplify:  iters left: 3 (14 enodes)
1545553840.028 * * [misc]simplify:  iters left: 2 (17 enodes)
1545553840.032 * * [misc]simplify:  iters left: 1 (19 enodes)
1545553840.038 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1545553840.038 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1545553840.038 * * * * [misc]progress:  [ 38 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1545553840.038 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545553840.038 * * [misc]simplify:  iters left: 4 (8 enodes)
1545553840.041 * * [misc]simplify:  iters left: 3 (14 enodes)
1545553840.045 * * [misc]simplify:  iters left: 2 (17 enodes)
1545553840.049 * * [misc]simplify:  iters left: 1 (19 enodes)
1545553840.054 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1545553840.055 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1545553840.055 * * * * [misc]progress:  [ 39 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1545553840.055 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545553840.055 * * [misc]simplify:  iters left: 4 (8 enodes)
1545553840.057 * * [misc]simplify:  iters left: 3 (14 enodes)
1545553840.061 * * [misc]simplify:  iters left: 2 (17 enodes)
1545553840.065 * * [misc]simplify:  iters left: 1 (19 enodes)
1545553840.070 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1545553840.070 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1545553840.070 * * * [misc]progress:  adding candidates to table
1545553840.563 * * [misc]progress:  iteration 3 / 4
1545553840.563 * * * [misc]progress:  picking best candidate
1545553840.586 * * * * [misc]pick:  Picked  #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1545553840.586 * * * [misc]progress:  localizing error
1545553840.603 * * * [misc]progress:  generating rewritten candidates
1545553840.603 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 1 1 1)
1545553840.603 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1 1)
1545553840.604 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2)
1545553840.606 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2)
1545553840.607 * * * [misc]progress:  generating series expansions
1545553840.607 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 1 1 1)
1545553840.607 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1545553840.607 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1545553840.607 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545553840.607 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545553840.607 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545553840.607 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545553840.608 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545553840.608 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.608 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.608 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.608 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.608 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.608 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.608 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545553840.608 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545553840.608 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1545553840.608 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545553840.608 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545553840.608 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545553840.608 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545553840.608 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545553840.608 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.608 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.608 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.608 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.608 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.608 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.609 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1545553840.609 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545553840.609 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1545553840.609 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545553840.609 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545553840.609 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545553840.609 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545553840.609 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545553840.609 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.609 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.609 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.609 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.609 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.609 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.609 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1545553840.609 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1 1)
1545553840.609 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1545553840.609 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1545553840.609 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545553840.609 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545553840.609 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545553840.610 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545553840.610 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545553840.610 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.610 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.610 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.610 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.610 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.610 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.610 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545553840.610 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545553840.610 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1545553840.610 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545553840.610 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545553840.610 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545553840.610 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545553840.610 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545553840.610 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.610 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.610 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.610 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.610 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.610 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.611 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1545553840.611 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545553840.611 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1545553840.611 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545553840.611 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545553840.611 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545553840.611 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545553840.611 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545553840.611 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.611 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.611 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.611 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.611 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.611 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.611 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1545553840.611 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2)
1545553840.611 * [misc]backup-simplify:  Simplify (log (exp (sqrt (fmod (cosh a) (* a a))))) into (sqrt (fmod (cosh a) (pow a 2)))
1545553840.611 * [misc]approximate:  Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in (a) around 0
1545553840.611 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a
1545553840.611 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545553840.612 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545553840.612 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1545553840.612 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1545553840.612 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a
1545553840.612 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545553840.612 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545553840.612 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1545553840.612 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1545553840.612 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1545553840.612 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.614 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1545553840.614 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.615 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1545553840.615 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.615 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1545553840.615 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.616 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1545553840.616 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.616 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1545553840.616 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.616 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1545553840.617 * [misc]backup-simplify:  Simplify (log (exp (sqrt (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a)))))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1545553840.617 * [misc]approximate:  Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in (a) around 0
1545553840.617 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
1545553840.617 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545553840.617 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545553840.617 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1545553840.617 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1545553840.617 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
1545553840.617 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545553840.617 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545553840.617 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1545553840.617 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1545553840.617 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1545553840.617 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.618 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1545553840.618 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.618 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1545553840.618 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.619 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1545553840.619 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.619 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1545553840.619 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.624 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1545553840.624 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.624 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) into (sqrt (fmod (cosh a) (pow a 2)))
1545553840.624 * [misc]backup-simplify:  Simplify (log (exp (sqrt (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a))))))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1545553840.624 * [misc]approximate:  Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in (a) around 0
1545553840.624 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
1545553840.624 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545553840.624 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545553840.624 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1545553840.625 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1545553840.625 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
1545553840.625 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545553840.625 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545553840.625 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1545553840.625 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1545553840.625 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1545553840.625 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.626 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1545553840.626 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.627 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1545553840.627 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.627 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1545553840.628 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.628 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1545553840.628 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.629 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1545553840.629 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.629 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) into (sqrt (fmod (cosh a) (pow a 2)))
1545553840.629 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2)
1545553840.629 * [misc]backup-simplify:  Simplify (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545553840.629 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
1545553840.629 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1545553840.629 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545553840.629 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1545553840.629 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545553840.629 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545553840.629 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.629 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.630 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.630 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.630 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.630 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.630 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545553840.630 * [misc]backup-simplify:  Simplify (acos (pow (* (sqrt (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a)))) (log (exp (sqrt (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
1545553840.630 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
1545553840.630 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1545553840.630 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
1545553840.630 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1545553840.630 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
1545553840.630 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
1545553840.631 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.631 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.631 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.631 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.631 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.631 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.631 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545553840.631 * [misc]backup-simplify:  Simplify (acos (pow (* (sqrt (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a))))) (log (exp (sqrt (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))))) (log1p (/ 1 (- a))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
1545553840.631 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
1545553840.631 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1545553840.631 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
1545553840.631 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1545553840.632 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
1545553840.632 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
1545553840.632 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.632 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.632 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.632 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.632 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.632 * [misc]backup-simplify:  Simplify 0 into 0
1545553840.632 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545553840.632 * * * [misc]progress:  simplifying candidates
1545553840.632 * * * * [misc]progress:  [ 1 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (pow (fmod (cosh a) (* a a)) 1))))) (log1p a))))>
1545553840.632 * * * * [misc]progress:  [ 2 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (exp (log (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545553840.632 * * * * [misc]progress:  [ 3 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (log (exp (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545553840.632 * * * * [misc]progress:  [ 4 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545553840.632 * * * * [misc]progress:  [ 5 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545553840.633 * * * * [misc]progress:  [ 6 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545553840.633 * * * * [misc]progress:  [ 7 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* 1 (fmod (cosh a) (* a a))))))) (log1p a))))>
1545553840.633 * * * * [misc]progress:  [ 8 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (pow (fmod (cosh a) (* a a)) 1)) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1545553840.633 * * * * [misc]progress:  [ 9 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (exp (log (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1545553840.633 * * * * [misc]progress:  [ 10 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1545553840.633 * * * * [misc]progress:  [ 11 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1545553840.633 * * * * [misc]progress:  [ 12 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1545553840.633 * * * * [misc]progress:  [ 13 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1545553840.633 * * * * [misc]progress:  [ 14 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (* 1 (fmod (cosh a) (* a a)))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1545553840.633 * * * * [misc]progress:  [ 15 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545553840.633 * [enter]simplify:  Simplifying (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1545553840.633 * * [misc]simplify:  iters left: 6 (9 enodes)
1545553840.635 * * [misc]simplify:  iters left: 5 (17 enodes)
1545553840.638 * * [misc]simplify:  iters left: 4 (20 enodes)
1545553840.643 * * [misc]simplify:  iters left: 3 (22 enodes)
1545553840.649 * [exit]simplify:  Simplified to (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1545553840.650 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1545553840.650 * * * * [misc]progress:  [ 16 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545553840.650 * [enter]simplify:  Simplifying (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
1545553840.650 * * [misc]simplify:  iters left: 6 (8 enodes)
1545553840.653 * * [misc]simplify:  iters left: 5 (14 enodes)
1545553840.657 * * [misc]simplify:  iters left: 4 (17 enodes)
1545553840.662 * * [misc]simplify:  iters left: 3 (19 enodes)
1545553840.665 * [exit]simplify:  Simplified to (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
1545553840.666 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1545553840.666 * * * * [misc]progress:  [ 17 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log 1) (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1545553840.666 * [enter]simplify:  Simplifying (log 1)
1545553840.666 * * [misc]simplify:  iters left: 1 (2 enodes)
1545553840.667 * [exit]simplify:  Simplified to 0
1545553840.667 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ 0 (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))
1545553840.667 * * * * [misc]progress:  [ 18 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* 1 (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1545553840.667 * * * * [misc]progress:  [ 19 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (cbrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (* (cbrt (sqrt (fmod (cosh a) (* a a)))) (cbrt (sqrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1545553840.667 * [enter]simplify:  Simplifying (cbrt (sqrt (fmod (cosh a) (* a a))))
1545553840.667 * * [misc]simplify:  iters left: 5 (6 enodes)
1545553840.668 * * [misc]simplify:  iters left: 4 (12 enodes)
1545553840.670 * * [misc]simplify:  iters left: 3 (15 enodes)
1545553840.672 * * [misc]simplify:  iters left: 2 (17 enodes)
1545553840.675 * [exit]simplify:  Simplified to (cbrt (sqrt (fmod (cosh a) (* a a))))
1545553840.675 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (cbrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (* (cbrt (sqrt (fmod (cosh a) (* a a)))) (cbrt (sqrt (fmod (cosh a) (* a a))))))))) (log1p a))))
1545553840.675 * * * * [misc]progress:  [ 20 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (cbrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1545553840.675 * [enter]simplify:  Simplifying (sqrt (cbrt (fmod (cosh a) (* a a))))
1545553840.675 * * [misc]simplify:  iters left: 5 (6 enodes)
1545553840.676 * * [misc]simplify:  iters left: 4 (12 enodes)
1545553840.678 * * [misc]simplify:  iters left: 3 (15 enodes)
1545553840.680 * * [misc]simplify:  iters left: 2 (17 enodes)
1545553840.683 * [exit]simplify:  Simplified to (sqrt (cbrt (fmod (cosh a) (* a a))))
1545553840.683 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (cbrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))
1545553840.683 * * * * [misc]progress:  [ 21 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545553840.683 * [enter]simplify:  Simplifying (sqrt (sqrt (fmod (cosh a) (* a a))))
1545553840.683 * * [misc]simplify:  iters left: 5 (6 enodes)
1545553840.684 * * [misc]simplify:  iters left: 4 (12 enodes)
1545553840.686 * * [misc]simplify:  iters left: 3 (15 enodes)
1545553840.688 * * [misc]simplify:  iters left: 2 (17 enodes)
1545553840.691 * [exit]simplify:  Simplified to (sqrt (sqrt (fmod (cosh a) (* a a))))
1545553840.691 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1545553840.691 * * * * [misc]progress:  [ 22 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt 1))))) (log1p a))))>
1545553840.691 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (* a a)))
1545553840.691 * * [misc]simplify:  iters left: 4 (5 enodes)
1545553840.692 * * [misc]simplify:  iters left: 3 (11 enodes)
1545553840.694 * * [misc]simplify:  iters left: 2 (14 enodes)
1545553840.696 * * [misc]simplify:  iters left: 1 (16 enodes)
1545553840.698 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1545553840.698 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt 1))))) (log1p a))))
1545553840.698 * * * * [misc]progress:  [ 23 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545553840.698 * [enter]simplify:  Simplifying (sqrt (sqrt (fmod (cosh a) (* a a))))
1545553840.698 * * [misc]simplify:  iters left: 5 (6 enodes)
1545553840.699 * * [misc]simplify:  iters left: 4 (12 enodes)
1545553840.701 * * [misc]simplify:  iters left: 3 (15 enodes)
1545553840.703 * * [misc]simplify:  iters left: 2 (17 enodes)
1545553840.708 * [exit]simplify:  Simplified to (sqrt (sqrt (fmod (cosh a) (* a a))))
1545553840.708 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1545553840.708 * * * * [misc]progress:  [ 24 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp 1)))) (log1p a))))>
1545553840.709 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (* a a)))
1545553840.709 * * [misc]simplify:  iters left: 4 (5 enodes)
1545553840.710 * * [misc]simplify:  iters left: 3 (11 enodes)
1545553840.714 * * [misc]simplify:  iters left: 2 (14 enodes)
1545553840.718 * * [misc]simplify:  iters left: 1 (16 enodes)
1545553840.722 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1545553840.722 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp 1)))) (log1p a))))
1545553840.722 * * * * [misc]progress:  [ 25 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (pow (log (exp (sqrt (fmod (cosh a) (* a a))))) 1)) (log1p a))))>
1545553840.722 * * * * [misc]progress:  [ 26 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))>
1545553840.723 * [enter]simplify:  Simplifying (fmod (cosh a) (* a a))
1545553840.723 * * [misc]simplify:  iters left: 3 (4 enodes)
1545553840.724 * * [misc]simplify:  iters left: 2 (10 enodes)
1545553840.728 * * [misc]simplify:  iters left: 1 (13 enodes)
1545553840.732 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545553840.732 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))
1545553840.732 * * * * [misc]progress:  [ 27 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (exp (log (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545553840.732 * * * * [misc]progress:  [ 28 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545553840.732 * * * * [misc]progress:  [ 29 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (* (cbrt (log (exp (sqrt (fmod (cosh a) (* a a)))))) (cbrt (log (exp (sqrt (fmod (cosh a) (* a a))))))) (cbrt (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545553840.732 * * * * [misc]progress:  [ 30 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (cbrt (* (* (log (exp (sqrt (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545553840.732 * * * * [misc]progress:  [ 31 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (log (exp (sqrt (fmod (cosh a) (* a a)))))) (sqrt (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545553840.732 * * * * [misc]progress:  [ 32 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* 1 (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1545553840.732 * * * * [misc]progress:  [ 33 / 52 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
1545553840.732 * * * * [misc]progress:  [ 34 / 52 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))) 1))>
1545553840.732 * * * * [misc]progress:  [ 35 / 52 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1545553840.732 * * * * [misc]progress:  [ 36 / 52 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1545553840.732 * * * * [misc]progress:  [ 37 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1545553840.732 * * * * [misc]progress:  [ 38 / 52 ] simplifiying candidate #<alt (λ (a) (cbrt (* (* (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1545553840.733 * * * * [misc]progress:  [ 39 / 52 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1545553840.733 * * * * [misc]progress:  [ 40 / 52 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
1545553840.733 * * * * [misc]progress:  [ 41 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))>
1545553840.733 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545553840.733 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553840.735 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553840.738 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545553840.738 * [misc]simplify:  Simplified (2 1 1 2 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))
1545553840.738 * * * * [misc]progress:  [ 42 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))>
1545553840.739 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545553840.739 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553840.740 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553840.744 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545553840.744 * [misc]simplify:  Simplified (2 1 1 2 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))
1545553840.744 * * * * [misc]progress:  [ 43 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))>
1545553840.744 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545553840.744 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553840.746 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553840.750 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545553840.750 * [misc]simplify:  Simplified (2 1 1 2 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))
1545553840.750 * * * * [misc]progress:  [ 44 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1545553840.750 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545553840.750 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553840.754 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553840.757 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545553840.757 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))
1545553840.757 * * * * [misc]progress:  [ 45 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1545553840.758 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545553840.758 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553840.759 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553840.761 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545553840.761 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))
1545553840.761 * * * * [misc]progress:  [ 46 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1545553840.761 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545553840.761 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553840.762 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553840.764 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545553840.764 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))
1545553840.764 * * * * [misc]progress:  [ 47 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a))))>
1545553840.764 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (pow a 2)))
1545553840.764 * * [misc]simplify:  iters left: 3 (6 enodes)
1545553840.765 * * [misc]simplify:  iters left: 2 (12 enodes)
1545553840.767 * * [misc]simplify:  iters left: 1 (15 enodes)
1545553840.769 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1545553840.769 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))
1545553840.769 * * * * [misc]progress:  [ 48 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a))))>
1545553840.770 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (pow a 2)))
1545553840.770 * * [misc]simplify:  iters left: 3 (6 enodes)
1545553840.771 * * [misc]simplify:  iters left: 2 (12 enodes)
1545553840.772 * * [misc]simplify:  iters left: 1 (15 enodes)
1545553840.775 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1545553840.775 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))
1545553840.775 * * * * [misc]progress:  [ 49 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a))))>
1545553840.775 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (pow a 2)))
1545553840.775 * * [misc]simplify:  iters left: 3 (6 enodes)
1545553840.776 * * [misc]simplify:  iters left: 2 (12 enodes)
1545553840.778 * * [misc]simplify:  iters left: 1 (15 enodes)
1545553840.781 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1545553840.781 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))
1545553840.781 * * * * [misc]progress:  [ 50 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1545553840.781 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545553840.781 * * [misc]simplify:  iters left: 4 (8 enodes)
1545553840.783 * * [misc]simplify:  iters left: 3 (14 enodes)
1545553840.785 * * [misc]simplify:  iters left: 2 (17 enodes)
1545553840.788 * * [misc]simplify:  iters left: 1 (19 enodes)
1545553840.791 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1545553840.791 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1545553840.791 * * * * [misc]progress:  [ 51 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1545553840.791 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545553840.791 * * [misc]simplify:  iters left: 4 (8 enodes)
1545553840.793 * * [misc]simplify:  iters left: 3 (14 enodes)
1545553840.795 * * [misc]simplify:  iters left: 2 (17 enodes)
1545553840.797 * * [misc]simplify:  iters left: 1 (19 enodes)
1545553840.800 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1545553840.800 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1545553840.800 * * * * [misc]progress:  [ 52 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1545553840.800 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545553840.801 * * [misc]simplify:  iters left: 4 (8 enodes)
1545553840.802 * * [misc]simplify:  iters left: 3 (14 enodes)
1545553840.804 * * [misc]simplify:  iters left: 2 (17 enodes)
1545553840.807 * * [misc]simplify:  iters left: 1 (19 enodes)
1545553840.809 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1545553840.809 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1545553840.809 * * * [misc]progress:  adding candidates to table
1545553841.667 * * [misc]progress:  iteration 4 / 4
1545553841.667 * * * [misc]progress:  picking best candidate
1545553841.725 * * * * [misc]pick:  Picked  #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545553841.725 * * * [misc]progress:  localizing error
1545553841.755 * * * [misc]progress:  generating rewritten candidates
1545553841.758 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 2 1 1 1 1)
1545553841.758 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 2 1 1 1 1 1)
1545553841.758 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1)
1545553841.759 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2 2)
1545553841.763 * * * [misc]progress:  generating series expansions
1545553841.763 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 2 1 1 1 1)
1545553841.763 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1545553841.763 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1545553841.763 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545553841.763 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545553841.763 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545553841.763 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545553841.763 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545553841.763 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.764 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.764 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.764 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.764 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.764 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.764 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545553841.764 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545553841.764 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1545553841.764 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545553841.764 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545553841.764 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545553841.764 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545553841.764 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545553841.764 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.764 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.765 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.765 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.765 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.765 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.765 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1545553841.765 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545553841.765 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1545553841.765 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545553841.765 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545553841.765 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545553841.765 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545553841.766 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545553841.766 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.766 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.766 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.766 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.766 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.766 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.766 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1545553841.766 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 2 1 1 1 1 1)
1545553841.766 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1545553841.766 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1545553841.766 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545553841.766 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545553841.766 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545553841.767 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545553841.767 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545553841.767 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.767 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.767 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.767 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.767 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.767 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.767 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545553841.767 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545553841.767 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1545553841.767 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545553841.767 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545553841.767 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545553841.767 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545553841.768 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545553841.768 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.768 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.768 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.768 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.768 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.768 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.768 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1545553841.768 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545553841.768 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1545553841.768 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545553841.768 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545553841.768 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545553841.769 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545553841.769 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545553841.769 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.769 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.769 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.769 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.769 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.769 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.769 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1545553841.769 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1)
1545553841.769 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1545553841.769 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1545553841.769 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545553841.769 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545553841.769 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545553841.770 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545553841.770 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545553841.770 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.770 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.770 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.770 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.770 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.770 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.770 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545553841.770 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545553841.770 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1545553841.770 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545553841.770 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545553841.770 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545553841.771 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545553841.771 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545553841.771 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.771 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.771 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.771 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.771 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.771 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.771 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1545553841.771 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545553841.771 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1545553841.771 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545553841.771 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545553841.771 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545553841.772 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545553841.772 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545553841.772 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.772 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.772 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.772 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.772 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.772 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.772 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1545553841.772 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2 2)
1545553841.772 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) into (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))
1545553841.772 * [misc]approximate:  Taking taylor expansion of (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) in (a) around 0
1545553841.773 * [misc]taylor:  Taking taylor expansion of (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) in a
1545553841.773 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) in a
1545553841.773 * [misc]taylor:  Taking taylor expansion of (exp (sqrt (fmod (cosh a) (pow a 2)))) in a
1545553841.773 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a
1545553841.773 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545553841.773 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545553841.773 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1545553841.773 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1545553841.773 * [misc]backup-simplify:  Simplify (exp (sqrt (fmod (cosh a) (pow a 2)))) into (exp (sqrt (fmod (cosh a) (pow a 2))))
1545553841.774 * [misc]backup-simplify:  Simplify (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) into (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))
1545553841.776 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh a) (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
1545553841.776 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))) into 0
1545553841.776 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) into (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))
1545553841.776 * [misc]taylor:  Taking taylor expansion of (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) in a
1545553841.776 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) in a
1545553841.776 * [misc]taylor:  Taking taylor expansion of (exp (sqrt (fmod (cosh a) (pow a 2)))) in a
1545553841.776 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a
1545553841.776 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545553841.776 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545553841.776 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1545553841.777 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1545553841.777 * [misc]backup-simplify:  Simplify (exp (sqrt (fmod (cosh a) (pow a 2)))) into (exp (sqrt (fmod (cosh a) (pow a 2))))
1545553841.777 * [misc]backup-simplify:  Simplify (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) into (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))
1545553841.778 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh a) (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
1545553841.778 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))) into 0
1545553841.778 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) into (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))
1545553841.779 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) into (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))
1545553841.780 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 1)))) 1) into 0
1545553841.780 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.782 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1545553841.783 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh a) (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1545553841.784 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))) into 0
1545553841.786 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 1)))) 2) into 0
1545553841.786 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.787 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1545553841.789 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh a) (pow a 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1545553841.790 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))) into 0
1545553841.793 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 1)))) 6) into 0
1545553841.793 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.794 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1545553841.800 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh a) (pow a 2)))) (+ (* (/ (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
1545553841.801 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))) into 0
1545553841.806 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 1)))) 24) into 0
1545553841.806 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.806 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1545553841.814 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh a) (pow a 2)))) (+ (* (/ (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
1545553841.815 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))) into 0
1545553841.822 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 1)))) 120) into 0
1545553841.822 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.823 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1545553841.835 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh a) (pow a 2)))) (+ (* (/ (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
1545553841.836 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))) into 0
1545553841.848 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 1)))) 720) into 0
1545553841.848 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.848 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) into (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))
1545553841.848 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))))) into (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))
1545553841.848 * [misc]approximate:  Taking taylor expansion of (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) in (a) around 0
1545553841.848 * [misc]taylor:  Taking taylor expansion of (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) in a
1545553841.848 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
1545553841.848 * [misc]taylor:  Taking taylor expansion of (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
1545553841.848 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
1545553841.848 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545553841.848 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545553841.849 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1545553841.849 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1545553841.849 * [misc]backup-simplify:  Simplify (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
1545553841.849 * [misc]backup-simplify:  Simplify (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
1545553841.851 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 1) 1)))) into 0
1545553841.851 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0
1545553841.851 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))
1545553841.851 * [misc]taylor:  Taking taylor expansion of (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) in a
1545553841.851 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
1545553841.851 * [misc]taylor:  Taking taylor expansion of (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
1545553841.851 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
1545553841.851 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545553841.851 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545553841.852 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1545553841.852 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1545553841.852 * [misc]backup-simplify:  Simplify (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
1545553841.852 * [misc]backup-simplify:  Simplify (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
1545553841.853 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 1) 1)))) into 0
1545553841.853 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0
1545553841.854 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))
1545553841.854 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))
1545553841.855 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1)))) 1) into 0
1545553841.855 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.856 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1545553841.857 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1545553841.858 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0
1545553841.864 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1)))) 2) into 0
1545553841.864 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.865 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1545553841.868 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1545553841.868 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0
1545553841.871 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1)))) 6) into 0
1545553841.871 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.872 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1545553841.877 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) (+ (* (/ (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
1545553841.878 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0
1545553841.882 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1)))) 24) into 0
1545553841.882 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.883 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1545553841.890 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) (+ (* (/ (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
1545553841.891 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0
1545553841.899 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1)))) 120) into 0
1545553841.899 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.900 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1545553841.913 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) (+ (* (/ (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
1545553841.914 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0
1545553841.927 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1)))) 720) into 0
1545553841.927 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.927 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))))))) into (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))
1545553841.927 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))))) into (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))
1545553841.927 * [misc]approximate:  Taking taylor expansion of (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) in (a) around 0
1545553841.927 * [misc]taylor:  Taking taylor expansion of (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) in a
1545553841.927 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
1545553841.927 * [misc]taylor:  Taking taylor expansion of (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
1545553841.928 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
1545553841.928 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545553841.928 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545553841.928 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1545553841.928 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1545553841.928 * [misc]backup-simplify:  Simplify (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
1545553841.928 * [misc]backup-simplify:  Simplify (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
1545553841.930 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 1) 1)))) into 0
1545553841.930 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0
1545553841.930 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))
1545553841.930 * [misc]taylor:  Taking taylor expansion of (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) in a
1545553841.930 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
1545553841.930 * [misc]taylor:  Taking taylor expansion of (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
1545553841.930 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
1545553841.930 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545553841.931 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545553841.931 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1545553841.931 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1545553841.931 * [misc]backup-simplify:  Simplify (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
1545553841.931 * [misc]backup-simplify:  Simplify (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
1545553841.932 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 1) 1)))) into 0
1545553841.933 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0
1545553841.933 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))
1545553841.933 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))
1545553841.934 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1)))) 1) into 0
1545553841.934 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.935 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1545553841.937 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1545553841.937 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0
1545553841.939 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1)))) 2) into 0
1545553841.939 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.939 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1545553841.942 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1545553841.943 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0
1545553841.946 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1)))) 6) into 0
1545553841.946 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.947 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1545553841.953 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) (+ (* (/ (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
1545553841.954 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0
1545553841.958 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1)))) 24) into 0
1545553841.958 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.958 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1545553841.963 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) (+ (* (/ (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
1545553841.963 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0
1545553841.968 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1)))) 120) into 0
1545553841.968 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.969 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1545553841.977 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) (+ (* (/ (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
1545553841.978 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0
1545553841.986 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1)))) 720) into 0
1545553841.986 * [misc]backup-simplify:  Simplify 0 into 0
1545553841.986 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))))))) into (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))
1545553841.986 * * * [misc]progress:  simplifying candidates
1545553841.986 * * * * [misc]progress:  [ 1 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (pow (fmod (cosh a) (* a a)) 1))))))) (log1p a))))>
1545553841.986 * * * * [misc]progress:  [ 2 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (exp (log (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1545553841.986 * * * * [misc]progress:  [ 3 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (log (exp (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1545553841.986 * * * * [misc]progress:  [ 4 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1545553841.986 * * * * [misc]progress:  [ 5 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1545553841.986 * * * * [misc]progress:  [ 6 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1545553841.986 * * * * [misc]progress:  [ 7 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (* 1 (fmod (cosh a) (* a a))))))))) (log1p a))))>
1545553841.986 * * * * [misc]progress:  [ 8 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (pow (fmod (cosh a) (* a a)) 1))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545553841.986 * * * * [misc]progress:  [ 9 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (exp (log (fmod (cosh a) (* a a)))))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545553841.986 * * * * [misc]progress:  [ 10 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (log (exp (fmod (cosh a) (* a a)))))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545553841.987 * * * * [misc]progress:  [ 11 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545553841.987 * * * * [misc]progress:  [ 12 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545553841.987 * * * * [misc]progress:  [ 13 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545553841.987 * * * * [misc]progress:  [ 14 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (* 1 (fmod (cosh a) (* a a))))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545553841.987 * * * * [misc]progress:  [ 15 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (pow (fmod (cosh a) (* a a)) 1)) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545553841.987 * * * * [misc]progress:  [ 16 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (exp (log (fmod (cosh a) (* a a))))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545553841.987 * * * * [misc]progress:  [ 17 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545553841.987 * * * * [misc]progress:  [ 18 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545553841.987 * * * * [misc]progress:  [ 19 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545553841.987 * * * * [misc]progress:  [ 20 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545553841.987 * * * * [misc]progress:  [ 21 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (* 1 (fmod (cosh a) (* a a)))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545553841.987 * * * * [misc]progress:  [ 22 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (* (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1545553841.987 * [enter]simplify:  Simplifying (log (* (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))))
1545553841.987 * * [misc]simplify:  iters left: 6 (10 enodes)
1545553841.989 * * [misc]simplify:  iters left: 5 (18 enodes)
1545553841.994 * * [misc]simplify:  iters left: 4 (21 enodes)
1545553841.998 * * [misc]simplify:  iters left: 3 (23 enodes)
1545553842.001 * [exit]simplify:  Simplified to (+ (log (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))))
1545553842.001 * [misc]simplify:  Simplified (2 1 1 2 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (+ (log (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))
1545553842.001 * * * * [misc]progress:  [ 23 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (sqrt (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log (sqrt (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1545553842.001 * [enter]simplify:  Simplifying (log (sqrt (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))))
1545553842.002 * * [misc]simplify:  iters left: 6 (10 enodes)
1545553842.003 * * [misc]simplify:  iters left: 5 (17 enodes)
1545553842.006 * * [misc]simplify:  iters left: 4 (20 enodes)
1545553842.009 * * [misc]simplify:  iters left: 3 (22 enodes)
1545553842.012 * [exit]simplify:  Simplified to (log (fabs (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1545553842.012 * [misc]simplify:  Simplified (2 1 1 2 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (fabs (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (sqrt (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))
1545553842.012 * * * * [misc]progress:  [ 24 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1545553842.012 * [enter]simplify:  Simplifying (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1545553842.012 * * [misc]simplify:  iters left: 6 (9 enodes)
1545553842.014 * * [misc]simplify:  iters left: 5 (15 enodes)
1545553842.016 * * [misc]simplify:  iters left: 4 (18 enodes)
1545553842.019 * * [misc]simplify:  iters left: 3 (20 enodes)
1545553842.022 * [exit]simplify:  Simplified to (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1545553842.022 * [misc]simplify:  Simplified (2 1 1 2 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))
1545553842.022 * * * * [misc]progress:  [ 25 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (sqrt 1)) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1545553842.022 * [enter]simplify:  Simplifying (log (sqrt 1))
1545553842.022 * * [misc]simplify:  iters left: 2 (3 enodes)
1545553842.023 * * [misc]simplify:  iters left: 1 (5 enodes)
1545553842.024 * [exit]simplify:  Simplified to 0
1545553842.024 * [misc]simplify:  Simplified (2 1 1 2 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ 0 (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))))) (log1p a))))
1545553842.024 * * * * [misc]progress:  [ 26 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1545553842.024 * [enter]simplify:  Simplifying (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1545553842.025 * * [misc]simplify:  iters left: 6 (9 enodes)
1545553842.028 * * [misc]simplify:  iters left: 5 (15 enodes)
1545553842.032 * * [misc]simplify:  iters left: 4 (18 enodes)
1545553842.037 * * [misc]simplify:  iters left: 3 (20 enodes)
1545553842.043 * [exit]simplify:  Simplified to (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1545553842.043 * [misc]simplify:  Simplified (2 1 1 2 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))
1545553842.043 * * * * [misc]progress:  [ 27 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log 1) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1545553842.043 * [enter]simplify:  Simplifying (log 1)
1545553842.044 * * [misc]simplify:  iters left: 1 (2 enodes)
1545553842.045 * [exit]simplify:  Simplified to 0
1545553842.045 * [misc]simplify:  Simplified (2 1 1 2 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ 0 (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))))) (log1p a))))
1545553842.045 * * * * [misc]progress:  [ 28 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (* 1/2 (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545553842.045 * * * * [misc]progress:  [ 29 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (* 1 (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1545553842.045 * * * * [misc]progress:  [ 30 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (pow (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) 1))) (log1p a))))>
1545553842.045 * * * * [misc]progress:  [ 31 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545553842.045 * [enter]simplify:  Simplifying (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))
1545553842.046 * * [misc]simplify:  iters left: 6 (7 enodes)
1545553842.048 * * [misc]simplify:  iters left: 5 (13 enodes)
1545553842.053 * * [misc]simplify:  iters left: 4 (16 enodes)
1545553842.058 * * [misc]simplify:  iters left: 3 (18 enodes)
1545553842.063 * [exit]simplify:  Simplified to (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))
1545553842.063 * [misc]simplify:  Simplified (2 1 1 2 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1545553842.063 * * * * [misc]progress:  [ 32 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (exp (log (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1545553842.063 * * * * [misc]progress:  [ 33 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (exp (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1545553842.063 * * * * [misc]progress:  [ 34 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (* (* (cbrt (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (cbrt (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (cbrt (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1545553842.063 * * * * [misc]progress:  [ 35 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (cbrt (* (* (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1545553842.063 * * * * [misc]progress:  [ 36 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (* (sqrt (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (sqrt (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1545553842.063 * * * * [misc]progress:  [ 37 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (* 1 (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1545553842.064 * * * * [misc]progress:  [ 38 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))))) (log1p a))))>
1545553842.064 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545553842.064 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553842.066 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553842.069 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545553842.069 * [misc]simplify:  Simplified (2 1 1 2 2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1545553842.069 * * * * [misc]progress:  [ 39 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))))) (log1p a))))>
1545553842.069 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545553842.069 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553842.071 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553842.074 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545553842.074 * [misc]simplify:  Simplified (2 1 1 2 2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1545553842.074 * * * * [misc]progress:  [ 40 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))))) (log1p a))))>
1545553842.074 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545553842.075 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553842.076 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553842.080 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545553842.080 * [misc]simplify:  Simplified (2 1 1 2 2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1545553842.080 * * * * [misc]progress:  [ 41 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545553842.080 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545553842.080 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553842.082 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553842.085 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545553842.085 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1545553842.085 * * * * [misc]progress:  [ 42 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545553842.085 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545553842.086 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553842.087 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553842.090 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545553842.090 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1545553842.090 * * * * [misc]progress:  [ 43 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545553842.091 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545553842.091 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553842.092 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553842.096 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545553842.096 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1545553842.096 * * * * [misc]progress:  [ 44 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545553842.096 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545553842.096 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553842.098 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553842.102 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545553842.102 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1545553842.102 * * * * [misc]progress:  [ 45 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545553842.102 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545553842.102 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553842.104 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553842.108 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545553842.108 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1545553842.108 * * * * [misc]progress:  [ 46 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545553842.108 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545553842.108 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553842.110 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553842.113 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545553842.113 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1545553842.113 * * * * [misc]progress:  [ 47 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))))) (log1p a))))>
1545553842.114 * [enter]simplify:  Simplifying (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))
1545553842.114 * * [misc]simplify:  iters left: 6 (9 enodes)
1545553842.116 * * [misc]simplify:  iters left: 5 (15 enodes)
1545553842.121 * * [misc]simplify:  iters left: 4 (18 enodes)
1545553842.125 * * [misc]simplify:  iters left: 3 (20 enodes)
1545553842.130 * [exit]simplify:  Simplified to (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
1545553842.130 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1545553842.130 * * * * [misc]progress:  [ 48 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))))) (log1p a))))>
1545553842.131 * [enter]simplify:  Simplifying (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))
1545553842.131 * * [misc]simplify:  iters left: 6 (9 enodes)
1545553842.134 * * [misc]simplify:  iters left: 5 (15 enodes)
1545553842.138 * * [misc]simplify:  iters left: 4 (18 enodes)
1545553842.143 * * [misc]simplify:  iters left: 3 (20 enodes)
1545553842.148 * [exit]simplify:  Simplified to (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
1545553842.148 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1545553842.148 * * * * [misc]progress:  [ 49 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))))) (log1p a))))>
1545553842.148 * [enter]simplify:  Simplifying (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))
1545553842.148 * * [misc]simplify:  iters left: 6 (9 enodes)
1545553842.151 * * [misc]simplify:  iters left: 5 (15 enodes)
1545553842.155 * * [misc]simplify:  iters left: 4 (18 enodes)
1545553842.159 * * [misc]simplify:  iters left: 3 (20 enodes)
1545553842.164 * [exit]simplify:  Simplified to (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
1545553842.164 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1545553842.164 * * * [misc]progress:  adding candidates to table
1545553843.024 * [misc]progress:  [Phase 3 of 3] Extracting.
1545553843.025 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (exp (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (log (exp (fmod (cosh a) (* a a)))))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>)
1545553843.028 * * * [misc]regime-changes:  Trying 2 branch expressions: (a (pow (fmod (cosh a) (* a a)) (log1p a)))
1545553843.028 * * * * [misc]regimes:  Trying to branch on a from (#<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (exp (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (log (exp (fmod (cosh a) (* a a)))))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>)
1545553843.088 * * * * [misc]regimes:  Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (exp (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (log (exp (fmod (cosh a) (* a a)))))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>)
1545553843.172 * * * [misc]regime:  Found split indices: #<option (#s(si 3 256))>
1545553843.173 * [enter]simplify:  Simplifying (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))
1545553843.173 * * [misc]simplify:  iters left: 6 (13 enodes)
1545553843.174 * * [misc]simplify:  iters left: 5 (14 enodes)
1545553843.176 * [exit]simplify:  Simplified to (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))
1545553843.176 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545553859.420 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553859.422 * * * * [misc]points:  Sampling 5947 additional inputs, on iter 1 have 2053 / 8000
1545553871.153 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553871.154 * * * * [misc]points:  Sampling 4478 additional inputs, on iter 2 have 3522 / 8000
1545553880.109 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553880.110 * * * * [misc]points:  Sampling 3362 additional inputs, on iter 3 have 4638 / 8000
1545553886.963 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553886.964 * * * * [misc]points:  Sampling 2472 additional inputs, on iter 4 have 5528 / 8000
1545553891.833 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553891.833 * * * * [misc]points:  Sampling 1865 additional inputs, on iter 5 have 6135 / 8000
1545553895.495 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553895.496 * * * * [misc]points:  Sampling 1389 additional inputs, on iter 6 have 6611 / 8000
1545553897.939 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553897.940 * * * * [misc]points:  Sampling 1052 additional inputs, on iter 7 have 6948 / 8000
1545553900.308 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553900.308 * * * * [misc]points:  Sampling 802 additional inputs, on iter 8 have 7198 / 8000
1545553901.812 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553901.813 * * * * [misc]points:  Sampling 595 additional inputs, on iter 9 have 7405 / 8000
1545553903.331 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553903.331 * * * * [misc]points:  Sampling 446 additional inputs, on iter 10 have 7554 / 8000
1545553904.158 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553904.159 * * * * [misc]points:  Sampling 345 additional inputs, on iter 11 have 7655 / 8000
1545553904.891 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553904.891 * * * * [misc]points:  Sampling 267 additional inputs, on iter 12 have 7733 / 8000
1545553905.413 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553905.413 * * * * [misc]points:  Sampling 198 additional inputs, on iter 13 have 7802 / 8000
1545553905.775 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553905.776 * * * * [misc]points:  Sampling 146 additional inputs, on iter 14 have 7854 / 8000
1545553906.030 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553906.031 * * * * [misc]points:  Sampling 109 additional inputs, on iter 15 have 7891 / 8000
1545553906.290 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553906.290 * * * * [misc]points:  Sampling 84 additional inputs, on iter 16 have 7916 / 8000
1545553906.391 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553906.391 * * * * [misc]points:  Sampling 58 additional inputs, on iter 17 have 7942 / 8000
1545553906.466 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553906.466 * * * * [misc]points:  Sampling 42 additional inputs, on iter 18 have 7958 / 8000
1545553906.986 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553906.986 * * * * [misc]points:  Sampling 28 additional inputs, on iter 19 have 7972 / 8000
1545553907.036 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553907.036 * * * * [misc]points:  Sampling 22 additional inputs, on iter 20 have 7978 / 8000
1545553907.073 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553907.073 * * * * [misc]points:  Sampling 18 additional inputs, on iter 21 have 7982 / 8000
1545553907.103 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553907.103 * * * * [misc]points:  Sampling 15 additional inputs, on iter 22 have 7985 / 8000
1545553907.120 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553907.120 * * * * [misc]points:  Sampling 8 additional inputs, on iter 23 have 7992 / 8000
1545553907.122 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553907.122 * * * * [misc]points:  Sampling 8 additional inputs, on iter 24 have 7992 / 8000
1545553907.126 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553907.126 * * * * [misc]points:  Sampling 5 additional inputs, on iter 25 have 7995 / 8000
1545553907.135 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553907.135 * * * * [misc]points:  Sampling 4 additional inputs, on iter 26 have 7997 / 8000
1545553907.142 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553907.142 * * * * [misc]points:  Sampling 4 additional inputs, on iter 27 have 7997 / 8000
1545553907.147 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553907.147 * * * * [misc]points:  Sampling 4 additional inputs, on iter 28 have 7998 / 8000
1545553907.154 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553907.154 * * * * [exit]points:  Sampled 8000 points with exact outputs
1545553908.551 * [misc]regime-testing:  Baseline error score: 59.3776662667324
1545553908.554 * [misc]regime-testing:  Oracle error score: 59.255935894385225