1545387102.923 * [misc]progress:  [Phase 1 of 3] Setting up.
1545387103.001 * * * [misc]progress:  [1/2] Preparing points
1545387103.002 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545387103.915 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387103.915 * * * * [misc]points:  Sampling 189 additional inputs, on iter 1 have 67 / 256
1545387104.467 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387104.467 * * * * [misc]points:  Sampling 138 additional inputs, on iter 2 have 118 / 256
1545387104.777 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387104.777 * * * * [misc]points:  Sampling 97 additional inputs, on iter 3 have 159 / 256
1545387104.972 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387104.972 * * * * [misc]points:  Sampling 76 additional inputs, on iter 4 have 180 / 256
1545387105.108 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387105.108 * * * * [misc]points:  Sampling 53 additional inputs, on iter 5 have 203 / 256
1545387105.213 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387105.213 * * * * [misc]points:  Sampling 41 additional inputs, on iter 6 have 215 / 256
1545387105.332 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387105.332 * * * * [misc]points:  Sampling 26 additional inputs, on iter 7 have 230 / 256
1545387105.369 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387105.369 * * * * [misc]points:  Sampling 18 additional inputs, on iter 8 have 238 / 256
1545387105.400 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387105.400 * * * * [misc]points:  Sampling 14 additional inputs, on iter 9 have 242 / 256
1545387105.417 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387105.417 * * * * [misc]points:  Sampling 11 additional inputs, on iter 10 have 245 / 256
1545387105.435 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387105.435 * * * * [misc]points:  Sampling 9 additional inputs, on iter 11 have 247 / 256
1545387105.449 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387105.449 * * * * [misc]points:  Sampling 5 additional inputs, on iter 12 have 251 / 256
1545387105.460 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387105.460 * * * * [misc]points:  Sampling 4 additional inputs, on iter 13 have 252 / 256
1545387105.466 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387105.466 * * * * [misc]points:  Sampling 4 additional inputs, on iter 14 have 254 / 256
1545387105.476 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387105.477 * * * * [exit]points:  Sampled 256 points with exact outputs
1545387105.477 * * * [misc]progress:  [2/2] Setting up program.
1545387105.484 * [misc]progress:  [Phase 2 of 3] Improving.
1545387105.486 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1545387105.487 * * [misc]simplify:  iters left: 5 (7 enodes)
1545387105.494 * * [misc]simplify:  iters left: 4 (13 enodes)
1545387105.497 * * [misc]simplify:  iters left: 3 (16 enodes)
1545387105.501 * * [misc]simplify:  iters left: 2 (18 enodes)
1545387105.539 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1545387105.548 * * [misc]progress:  iteration 1 / 4
1545387105.549 * * * [misc]progress:  picking best candidate
1545387105.554 * * * * [misc]pick:  Picked  #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1545387105.554 * * * [misc]progress:  localizing error
1545387105.573 * * * [misc]progress:  generating rewritten candidates
1545387105.573 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1 1)
1545387105.574 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2)
1545387105.576 * * * [misc]progress:  generating series expansions
1545387105.577 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1 1)
1545387105.580 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1545387105.580 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1545387105.581 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545387105.582 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387105.583 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545387105.583 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387105.583 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387105.583 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.583 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.583 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.583 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.583 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.583 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.583 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387105.584 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387105.584 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1545387105.584 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545387105.584 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387105.584 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545387105.584 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387105.584 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387105.584 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.584 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.584 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.584 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.584 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.584 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.584 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1545387105.585 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387105.585 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1545387105.585 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545387105.585 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387105.585 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545387105.585 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387105.585 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387105.585 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.585 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.585 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.585 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.585 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.585 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.586 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1545387105.586 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2)
1545387105.586 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545387105.586 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
1545387105.586 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1545387105.586 * [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)))
1545387105.586 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1545387105.586 * [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)))
1545387105.586 * [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)))
1545387105.586 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.586 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.586 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.586 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.586 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.586 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.586 * [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)))
1545387105.586 * [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))))
1545387105.586 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
1545387105.586 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1545387105.587 * [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))))
1545387105.587 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1545387105.587 * [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))))
1545387105.587 * [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))))
1545387105.587 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.587 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.587 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.587 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.587 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.587 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.587 * [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)))
1545387105.587 * [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))))
1545387105.587 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
1545387105.587 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1545387105.588 * [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))))
1545387105.588 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1545387105.588 * [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))))
1545387105.588 * [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))))
1545387105.588 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.588 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.588 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.588 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.588 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.588 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.588 * [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)))
1545387105.588 * * * [misc]progress:  simplifying candidates
1545387105.589 * * * * [misc]progress:  [ 1 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (log1p (expm1 (fmod (cosh a) (* a a)))) (log1p a))))>
1545387105.589 * * * * [misc]progress:  [ 2 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (expm1 (log1p (fmod (cosh a) (* a a)))) (log1p a))))>
1545387105.589 * * * * [misc]progress:  [ 3 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (fmod (cosh a) (* a a)) 1) (log1p a))))>
1545387105.589 * * * * [misc]progress:  [ 4 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (fmod (cosh a) (* a a)))) (log1p a))))>
1545387105.589 * * * * [misc]progress:  [ 5 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
1545387105.589 * * * * [misc]progress:  [ 6 / 25 ] 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))))>
1545387105.589 * * * * [misc]progress:  [ 7 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))) (log1p a))))>
1545387105.589 * * * * [misc]progress:  [ 8 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))>
1545387105.589 * * * * [misc]progress:  [ 9 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (fmod (cosh a) (* a a))) (log1p a))))>
1545387105.589 * * * * [misc]progress:  [ 10 / 25 ] simplifiying candidate #<alt (λ (a) (log1p (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1545387105.589 * * * * [misc]progress:  [ 11 / 25 ] simplifiying candidate #<alt (λ (a) (expm1 (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1545387105.589 * * * * [misc]progress:  [ 12 / 25 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))>
1545387105.589 * * * * [misc]progress:  [ 13 / 25 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1))>
1545387105.589 * * * * [misc]progress:  [ 14 / 25 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1545387105.589 * * * * [misc]progress:  [ 15 / 25 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1545387105.589 * * * * [misc]progress:  [ 16 / 25 ] 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))))))>
1545387105.589 * * * * [misc]progress:  [ 17 / 25 ] 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))))))>
1545387105.589 * * * * [misc]progress:  [ 18 / 25 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1545387105.589 * * * * [misc]progress:  [ 19 / 25 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))>
1545387105.589 * * * * [misc]progress:  [ 20 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1545387105.590 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545387105.590 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387105.591 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387105.593 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545387105.593 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1545387105.593 * * * * [misc]progress:  [ 21 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1545387105.593 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545387105.593 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387105.594 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387105.596 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545387105.596 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1545387105.596 * * * * [misc]progress:  [ 22 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1545387105.596 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545387105.596 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387105.597 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387105.599 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545387105.599 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1545387105.599 * * * * [misc]progress:  [ 23 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1545387105.599 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545387105.599 * * [misc]simplify:  iters left: 4 (8 enodes)
1545387105.600 * * [misc]simplify:  iters left: 3 (14 enodes)
1545387105.602 * * [misc]simplify:  iters left: 2 (17 enodes)
1545387105.604 * * [misc]simplify:  iters left: 1 (19 enodes)
1545387105.606 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1545387105.606 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1545387105.606 * * * * [misc]progress:  [ 24 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1545387105.607 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545387105.607 * * [misc]simplify:  iters left: 4 (8 enodes)
1545387105.608 * * [misc]simplify:  iters left: 3 (14 enodes)
1545387105.610 * * [misc]simplify:  iters left: 2 (17 enodes)
1545387105.612 * * [misc]simplify:  iters left: 1 (19 enodes)
1545387105.614 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1545387105.614 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1545387105.614 * * * * [misc]progress:  [ 25 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1545387105.615 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545387105.615 * * [misc]simplify:  iters left: 4 (8 enodes)
1545387105.616 * * [misc]simplify:  iters left: 3 (14 enodes)
1545387105.618 * * [misc]simplify:  iters left: 2 (17 enodes)
1545387105.620 * * [misc]simplify:  iters left: 1 (19 enodes)
1545387105.622 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1545387105.622 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1545387105.631 * * * [misc]progress:  adding candidates to table
1545387105.956 * * [misc]progress:  iteration 2 / 4
1545387105.956 * * * [misc]progress:  picking best candidate
1545387105.974 * * * * [misc]pick:  Picked  #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
1545387105.974 * * * [misc]progress:  localizing error
1545387105.985 * * * [misc]progress:  generating rewritten candidates
1545387105.985 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1 1 1)
1545387105.985 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1 1)
1545387105.987 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2)
1545387105.988 * * * [misc]progress:  generating series expansions
1545387105.988 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1 1 1)
1545387105.988 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1545387105.988 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1545387105.988 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545387105.988 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387105.988 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545387105.988 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387105.988 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387105.988 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.988 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.988 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.988 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.988 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.988 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.989 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387105.989 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387105.989 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1545387105.989 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545387105.989 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387105.989 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545387105.989 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387105.989 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387105.989 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.989 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.989 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.989 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.989 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.989 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.989 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1545387105.989 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387105.989 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1545387105.989 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545387105.989 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387105.989 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545387105.990 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387105.990 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387105.990 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.990 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.990 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.990 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.990 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.990 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.990 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1545387105.990 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1 1)
1545387105.990 * [misc]backup-simplify:  Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
1545387105.990 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1545387105.990 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545387105.990 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387105.990 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545387105.990 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387105.990 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387105.990 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.990 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.990 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.990 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.990 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.990 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.991 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387105.991 * [misc]backup-simplify:  Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387105.991 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1545387105.991 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545387105.991 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387105.991 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545387105.991 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387105.991 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387105.991 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.991 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.991 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.991 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.991 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.991 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.991 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1545387105.992 * [misc]backup-simplify:  Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387105.992 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1545387105.992 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545387105.992 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387105.992 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545387105.992 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387105.992 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387105.992 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.992 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.992 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.992 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.992 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.992 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.993 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1545387105.993 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2)
1545387105.993 * [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)))
1545387105.993 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
1545387105.993 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1545387105.993 * [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)))
1545387105.993 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1545387105.993 * [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)))
1545387105.993 * [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)))
1545387105.993 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.994 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.994 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.994 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.994 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.994 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.994 * [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)))
1545387105.994 * [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))))
1545387105.994 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
1545387105.994 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1545387105.994 * [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))))
1545387105.994 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1545387105.995 * [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))))
1545387105.995 * [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))))
1545387105.995 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.995 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.995 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.995 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.995 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.995 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.996 * [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)))
1545387105.996 * [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))))
1545387105.996 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
1545387105.996 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1545387105.996 * [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))))
1545387105.996 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1545387105.996 * [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))))
1545387105.997 * [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))))
1545387105.997 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.997 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.997 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.997 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.997 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.997 * [misc]backup-simplify:  Simplify 0 into 0
1545387105.997 * [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)))
1545387105.997 * * * [misc]progress:  simplifying candidates
1545387105.997 * * * * [misc]progress:  [ 1 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log1p (expm1 (fmod (cosh a) (* a a)))))) (log1p a))))>
1545387105.997 * * * * [misc]progress:  [ 2 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (expm1 (log1p (fmod (cosh a) (* a a)))))) (log1p a))))>
1545387105.997 * * * * [misc]progress:  [ 3 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a))))>
1545387105.998 * * * * [misc]progress:  [ 4 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a))))>
1545387105.998 * * * * [misc]progress:  [ 5 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1545387105.998 * * * * [misc]progress:  [ 6 / 45 ] 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))))>
1545387105.998 * * * * [misc]progress:  [ 7 / 45 ] 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))))>
1545387105.998 * * * * [misc]progress:  [ 8 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1545387105.998 * * * * [misc]progress:  [ 9 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a))))>
1545387105.998 * * * * [misc]progress:  [ 10 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (log1p (expm1 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1545387105.998 * * * * [misc]progress:  [ 11 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (expm1 (log1p (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1545387105.998 * * * * [misc]progress:  [ 12 / 45 ] 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))))>
1545387105.998 * [enter]simplify:  Simplifying (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))
1545387105.998 * * [misc]simplify:  iters left: 6 (8 enodes)
1545387106.001 * * [misc]simplify:  iters left: 5 (16 enodes)
1545387106.006 * * [misc]simplify:  iters left: 4 (19 enodes)
1545387106.011 * * [misc]simplify:  iters left: 3 (21 enodes)
1545387106.017 * [exit]simplify:  Simplified to (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a))))))
1545387106.017 * [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))))
1545387106.017 * * * * [misc]progress:  [ 13 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1545387106.017 * [enter]simplify:  Simplifying (log (sqrt (exp (fmod (cosh a) (* a a)))))
1545387106.018 * * [misc]simplify:  iters left: 6 (7 enodes)
1545387106.020 * * [misc]simplify:  iters left: 5 (13 enodes)
1545387106.023 * * [misc]simplify:  iters left: 4 (16 enodes)
1545387106.028 * * [misc]simplify:  iters left: 3 (18 enodes)
1545387106.033 * [exit]simplify:  Simplified to (log (sqrt (exp (fmod (cosh a) (* a a)))))
1545387106.033 * [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))))
1545387106.033 * * * * [misc]progress:  [ 14 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log 1) (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
1545387106.033 * [enter]simplify:  Simplifying (log 1)
1545387106.033 * * [misc]simplify:  iters left: 1 (2 enodes)
1545387106.035 * [exit]simplify:  Simplified to 0
1545387106.035 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a) (acos (pow (+ 0 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))
1545387106.035 * * * * [misc]progress:  [ 15 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
1545387106.035 * * * * [misc]progress:  [ 16 / 45 ] 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))))>
1545387106.036 * [enter]simplify:  Simplifying (cbrt (fmod (cosh a) (* a a)))
1545387106.036 * * [misc]simplify:  iters left: 4 (5 enodes)
1545387106.037 * * [misc]simplify:  iters left: 3 (11 enodes)
1545387106.040 * * [misc]simplify:  iters left: 2 (14 enodes)
1545387106.044 * * [misc]simplify:  iters left: 1 (16 enodes)
1545387106.049 * [exit]simplify:  Simplified to (cbrt (fmod (cosh a) (* a a)))
1545387106.049 * [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))))
1545387106.049 * * * * [misc]progress:  [ 17 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1545387106.049 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (* a a)))
1545387106.049 * * [misc]simplify:  iters left: 4 (5 enodes)
1545387106.051 * * [misc]simplify:  iters left: 3 (11 enodes)
1545387106.054 * * [misc]simplify:  iters left: 2 (14 enodes)
1545387106.058 * * [misc]simplify:  iters left: 1 (16 enodes)
1545387106.062 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1545387106.062 * [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))))
1545387106.062 * * * * [misc]progress:  [ 18 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))>
1545387106.062 * [enter]simplify:  Simplifying (fmod (cosh a) (* a a))
1545387106.063 * * [misc]simplify:  iters left: 3 (4 enodes)
1545387106.064 * * [misc]simplify:  iters left: 2 (10 enodes)
1545387106.070 * * [misc]simplify:  iters left: 1 (13 enodes)
1545387106.073 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545387106.073 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))
1545387106.073 * * * * [misc]progress:  [ 19 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) 1) (log1p a))))>
1545387106.073 * * * * [misc]progress:  [ 20 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1545387106.073 * [enter]simplify:  Simplifying (cosh a)
1545387106.073 * * [misc]simplify:  iters left: 1 (2 enodes)
1545387106.073 * [exit]simplify:  Simplified to (cosh a)
1545387106.073 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1545387106.073 * * * * [misc]progress:  [ 21 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1545387106.073 * * * * [misc]progress:  [ 22 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1545387106.073 * * * * [misc]progress:  [ 23 / 45 ] 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))))>
1545387106.073 * * * * [misc]progress:  [ 24 / 45 ] 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))))>
1545387106.073 * * * * [misc]progress:  [ 25 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1545387106.073 * * * * [misc]progress:  [ 26 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
1545387106.074 * * * * [misc]progress:  [ 27 / 45 ] simplifiying candidate #<alt (λ (a) (log1p (expm1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1545387106.074 * * * * [misc]progress:  [ 28 / 45 ] simplifiying candidate #<alt (λ (a) (expm1 (log1p (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1545387106.074 * * * * [misc]progress:  [ 29 / 45 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
1545387106.074 * * * * [misc]progress:  [ 30 / 45 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1))>
1545387106.074 * * * * [misc]progress:  [ 31 / 45 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1545387106.074 * * * * [misc]progress:  [ 32 / 45 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1545387106.074 * * * * [misc]progress:  [ 33 / 45 ] 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))))))>
1545387106.074 * * * * [misc]progress:  [ 34 / 45 ] 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))))))>
1545387106.074 * * * * [misc]progress:  [ 35 / 45 ] 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))))))>
1545387106.074 * * * * [misc]progress:  [ 36 / 45 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
1545387106.074 * * * * [misc]progress:  [ 37 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
1545387106.074 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545387106.074 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387106.075 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387106.076 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545387106.076 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
1545387106.076 * * * * [misc]progress:  [ 38 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
1545387106.076 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545387106.076 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387106.077 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387106.079 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545387106.079 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
1545387106.079 * * * * [misc]progress:  [ 39 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
1545387106.079 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545387106.079 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387106.080 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387106.081 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545387106.081 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
1545387106.081 * * * * [misc]progress:  [ 40 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1545387106.081 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545387106.081 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387106.082 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387106.084 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545387106.084 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1545387106.084 * * * * [misc]progress:  [ 41 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1545387106.084 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545387106.084 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387106.085 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387106.086 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545387106.086 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1545387106.086 * * * * [misc]progress:  [ 42 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1545387106.086 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545387106.086 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387106.087 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387106.088 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545387106.089 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1545387106.089 * * * * [misc]progress:  [ 43 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1545387106.089 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545387106.089 * * [misc]simplify:  iters left: 4 (8 enodes)
1545387106.090 * * [misc]simplify:  iters left: 3 (14 enodes)
1545387106.092 * * [misc]simplify:  iters left: 2 (17 enodes)
1545387106.094 * * [misc]simplify:  iters left: 1 (19 enodes)
1545387106.096 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1545387106.096 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1545387106.096 * * * * [misc]progress:  [ 44 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1545387106.096 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545387106.096 * * [misc]simplify:  iters left: 4 (8 enodes)
1545387106.097 * * [misc]simplify:  iters left: 3 (14 enodes)
1545387106.099 * * [misc]simplify:  iters left: 2 (17 enodes)
1545387106.101 * * [misc]simplify:  iters left: 1 (19 enodes)
1545387106.104 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1545387106.104 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1545387106.104 * * * * [misc]progress:  [ 45 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1545387106.104 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545387106.104 * * [misc]simplify:  iters left: 4 (8 enodes)
1545387106.105 * * [misc]simplify:  iters left: 3 (14 enodes)
1545387106.107 * * [misc]simplify:  iters left: 2 (17 enodes)
1545387106.111 * * [misc]simplify:  iters left: 1 (19 enodes)
1545387106.116 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1545387106.116 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1545387106.116 * * * [misc]progress:  adding candidates to table
1545387106.828 * * [misc]progress:  iteration 3 / 4
1545387106.828 * * * [misc]progress:  picking best candidate
1545387106.880 * * * * [misc]pick:  Picked  #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1545387106.880 * * * [misc]progress:  localizing error
1545387106.909 * * * [misc]progress:  generating rewritten candidates
1545387106.909 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 1 1 1)
1545387106.910 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1 1)
1545387106.910 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2)
1545387106.915 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2)
1545387106.917 * * * [misc]progress:  generating series expansions
1545387106.917 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 1 1 1)
1545387106.918 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1545387106.918 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1545387106.918 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545387106.918 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387106.918 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545387106.918 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387106.918 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387106.918 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.918 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.918 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.918 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.918 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.918 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.918 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387106.919 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387106.919 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1545387106.919 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545387106.919 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387106.919 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545387106.919 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387106.919 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387106.919 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.919 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.919 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.919 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.919 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.919 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.920 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1545387106.920 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387106.920 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1545387106.920 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545387106.920 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387106.920 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545387106.920 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387106.920 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387106.921 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.921 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.921 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.921 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.921 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.921 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.921 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1545387106.921 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1 1)
1545387106.921 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1545387106.921 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1545387106.921 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545387106.921 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387106.921 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545387106.921 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387106.922 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387106.922 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.922 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.922 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.922 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.922 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.922 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.922 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387106.922 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387106.922 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1545387106.922 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545387106.922 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387106.922 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545387106.922 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387106.923 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387106.923 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.923 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.923 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.923 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.923 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.923 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.923 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1545387106.923 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387106.923 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1545387106.923 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545387106.923 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387106.923 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545387106.924 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387106.924 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387106.924 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.924 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.924 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.924 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.924 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.924 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.924 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1545387106.924 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2)
1545387106.924 * [misc]backup-simplify:  Simplify (log (exp (sqrt (fmod (cosh a) (* a a))))) into (sqrt (fmod (cosh a) (pow a 2)))
1545387106.924 * [misc]approximate:  Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in (a) around 0
1545387106.924 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a
1545387106.924 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545387106.925 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387106.925 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1545387106.925 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1545387106.925 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a
1545387106.925 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545387106.925 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387106.925 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1545387106.925 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1545387106.926 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1545387106.926 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.929 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1545387106.929 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.929 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1545387106.929 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.930 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1545387106.930 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.931 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1545387106.931 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.932 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1545387106.932 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.932 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1545387106.932 * [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))))
1545387106.932 * [misc]approximate:  Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in (a) around 0
1545387106.932 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
1545387106.932 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545387106.933 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387106.933 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1545387106.933 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1545387106.933 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
1545387106.933 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545387106.933 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387106.933 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1545387106.934 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1545387106.934 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1545387106.934 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.935 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1545387106.935 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.936 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1545387106.936 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.937 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1545387106.937 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.937 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1545387106.937 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.938 * [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
1545387106.938 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.939 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) into (sqrt (fmod (cosh a) (pow a 2)))
1545387106.939 * [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))))
1545387106.939 * [misc]approximate:  Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in (a) around 0
1545387106.939 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
1545387106.939 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545387106.939 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387106.939 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1545387106.940 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1545387106.940 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
1545387106.940 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545387106.940 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387106.940 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1545387106.940 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1545387106.940 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1545387106.940 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.942 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1545387106.942 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.942 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1545387106.942 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.943 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1545387106.943 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.944 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1545387106.944 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.945 * [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
1545387106.945 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.945 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) into (sqrt (fmod (cosh a) (pow a 2)))
1545387106.945 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2)
1545387106.946 * [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)))
1545387106.946 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
1545387106.946 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1545387106.946 * [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)))
1545387106.946 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1545387106.946 * [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)))
1545387106.946 * [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)))
1545387106.946 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.947 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.947 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.947 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.947 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.947 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.947 * [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)))
1545387106.947 * [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))))
1545387106.947 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
1545387106.947 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1545387106.948 * [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))))
1545387106.948 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1545387106.948 * [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))))
1545387106.948 * [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))))
1545387106.948 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.948 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.948 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.948 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.948 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.948 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.949 * [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)))
1545387106.949 * [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))))
1545387106.949 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
1545387106.950 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1545387106.950 * [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))))
1545387106.950 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1545387106.950 * [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))))
1545387106.950 * [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))))
1545387106.950 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.950 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.950 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.950 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.951 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.951 * [misc]backup-simplify:  Simplify 0 into 0
1545387106.951 * [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)))
1545387106.951 * * * [misc]progress:  simplifying candidates
1545387106.951 * * * * [misc]progress:  [ 1 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (log1p (expm1 (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545387106.951 * * * * [misc]progress:  [ 2 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (expm1 (log1p (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545387106.951 * * * * [misc]progress:  [ 3 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (pow (fmod (cosh a) (* a a)) 1))))) (log1p a))))>
1545387106.951 * * * * [misc]progress:  [ 4 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (exp (log (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545387106.951 * * * * [misc]progress:  [ 5 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (log (exp (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545387106.951 * * * * [misc]progress:  [ 6 / 60 ] 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))))>
1545387106.951 * * * * [misc]progress:  [ 7 / 60 ] 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))))>
1545387106.952 * * * * [misc]progress:  [ 8 / 60 ] 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))))>
1545387106.952 * * * * [misc]progress:  [ 9 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* 1 (fmod (cosh a) (* a a))))))) (log1p a))))>
1545387106.952 * * * * [misc]progress:  [ 10 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log1p (expm1 (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1545387106.952 * * * * [misc]progress:  [ 11 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (expm1 (log1p (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1545387106.952 * * * * [misc]progress:  [ 12 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (pow (fmod (cosh a) (* a a)) 1)) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1545387106.952 * * * * [misc]progress:  [ 13 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (exp (log (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1545387106.952 * * * * [misc]progress:  [ 14 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1545387106.952 * * * * [misc]progress:  [ 15 / 60 ] 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))))>
1545387106.952 * * * * [misc]progress:  [ 16 / 60 ] 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))))>
1545387106.952 * * * * [misc]progress:  [ 17 / 60 ] 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))))>
1545387106.952 * * * * [misc]progress:  [ 18 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (* 1 (fmod (cosh a) (* a a)))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1545387106.952 * * * * [misc]progress:  [ 19 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log1p (expm1 (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545387106.952 * * * * [misc]progress:  [ 20 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (expm1 (log1p (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545387106.952 * * * * [misc]progress:  [ 21 / 60 ] 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))))>
1545387106.953 * [enter]simplify:  Simplifying (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1545387106.953 * * [misc]simplify:  iters left: 6 (9 enodes)
1545387106.955 * * [misc]simplify:  iters left: 5 (17 enodes)
1545387106.960 * * [misc]simplify:  iters left: 4 (20 enodes)
1545387106.966 * * [misc]simplify:  iters left: 3 (22 enodes)
1545387106.972 * [exit]simplify:  Simplified to (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1545387106.972 * [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))))
1545387106.972 * * * * [misc]progress:  [ 22 / 60 ] 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))))>
1545387106.972 * [enter]simplify:  Simplifying (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
1545387106.972 * * [misc]simplify:  iters left: 6 (8 enodes)
1545387106.979 * * [misc]simplify:  iters left: 5 (14 enodes)
1545387106.982 * * [misc]simplify:  iters left: 4 (17 enodes)
1545387106.987 * * [misc]simplify:  iters left: 3 (19 enodes)
1545387106.991 * [exit]simplify:  Simplified to (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
1545387106.991 * [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))))
1545387106.991 * * * * [misc]progress:  [ 23 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log 1) (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1545387106.992 * [enter]simplify:  Simplifying (log 1)
1545387106.992 * * [misc]simplify:  iters left: 1 (2 enodes)
1545387106.993 * [exit]simplify:  Simplified to 0
1545387106.993 * [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))))
1545387106.993 * * * * [misc]progress:  [ 24 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* 1 (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1545387106.993 * * * * [misc]progress:  [ 25 / 60 ] 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))))>
1545387106.993 * [enter]simplify:  Simplifying (cbrt (sqrt (fmod (cosh a) (* a a))))
1545387106.993 * * [misc]simplify:  iters left: 5 (6 enodes)
1545387106.995 * * [misc]simplify:  iters left: 4 (12 enodes)
1545387106.997 * * [misc]simplify:  iters left: 3 (15 enodes)
1545387106.999 * * [misc]simplify:  iters left: 2 (17 enodes)
1545387107.001 * [exit]simplify:  Simplified to (cbrt (sqrt (fmod (cosh a) (* a a))))
1545387107.001 * [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))))
1545387107.001 * * * * [misc]progress:  [ 26 / 60 ] 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))))>
1545387107.001 * [enter]simplify:  Simplifying (sqrt (cbrt (fmod (cosh a) (* a a))))
1545387107.001 * * [misc]simplify:  iters left: 5 (6 enodes)
1545387107.002 * * [misc]simplify:  iters left: 4 (12 enodes)
1545387107.004 * * [misc]simplify:  iters left: 3 (15 enodes)
1545387107.006 * * [misc]simplify:  iters left: 2 (17 enodes)
1545387107.008 * [exit]simplify:  Simplified to (sqrt (cbrt (fmod (cosh a) (* a a))))
1545387107.008 * [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))))
1545387107.008 * * * * [misc]progress:  [ 27 / 60 ] 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))))>
1545387107.008 * [enter]simplify:  Simplifying (sqrt (sqrt (fmod (cosh a) (* a a))))
1545387107.009 * * [misc]simplify:  iters left: 5 (6 enodes)
1545387107.009 * * [misc]simplify:  iters left: 4 (12 enodes)
1545387107.011 * * [misc]simplify:  iters left: 3 (15 enodes)
1545387107.013 * * [misc]simplify:  iters left: 2 (17 enodes)
1545387107.015 * [exit]simplify:  Simplified to (sqrt (sqrt (fmod (cosh a) (* a a))))
1545387107.015 * [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))))
1545387107.015 * * * * [misc]progress:  [ 28 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt 1))))) (log1p a))))>
1545387107.015 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (* a a)))
1545387107.016 * * [misc]simplify:  iters left: 4 (5 enodes)
1545387107.016 * * [misc]simplify:  iters left: 3 (11 enodes)
1545387107.018 * * [misc]simplify:  iters left: 2 (14 enodes)
1545387107.019 * * [misc]simplify:  iters left: 1 (16 enodes)
1545387107.021 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1545387107.021 * [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))))
1545387107.022 * * * * [misc]progress:  [ 29 / 60 ] 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))))>
1545387107.022 * [enter]simplify:  Simplifying (sqrt (sqrt (fmod (cosh a) (* a a))))
1545387107.022 * * [misc]simplify:  iters left: 5 (6 enodes)
1545387107.023 * * [misc]simplify:  iters left: 4 (12 enodes)
1545387107.024 * * [misc]simplify:  iters left: 3 (15 enodes)
1545387107.026 * * [misc]simplify:  iters left: 2 (17 enodes)
1545387107.028 * [exit]simplify:  Simplified to (sqrt (sqrt (fmod (cosh a) (* a a))))
1545387107.028 * [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))))
1545387107.028 * * * * [misc]progress:  [ 30 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp 1)))) (log1p a))))>
1545387107.028 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (* a a)))
1545387107.028 * * [misc]simplify:  iters left: 4 (5 enodes)
1545387107.029 * * [misc]simplify:  iters left: 3 (11 enodes)
1545387107.031 * * [misc]simplify:  iters left: 2 (14 enodes)
1545387107.032 * * [misc]simplify:  iters left: 1 (16 enodes)
1545387107.034 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1545387107.034 * [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))))
1545387107.034 * * * * [misc]progress:  [ 31 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (pow (log (exp (sqrt (fmod (cosh a) (* a a))))) 1)) (log1p a))))>
1545387107.034 * * * * [misc]progress:  [ 32 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))>
1545387107.035 * [enter]simplify:  Simplifying (fmod (cosh a) (* a a))
1545387107.035 * * [misc]simplify:  iters left: 3 (4 enodes)
1545387107.035 * * [misc]simplify:  iters left: 2 (10 enodes)
1545387107.037 * * [misc]simplify:  iters left: 1 (13 enodes)
1545387107.038 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545387107.038 * [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))))
1545387107.038 * * * * [misc]progress:  [ 33 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (exp (log (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545387107.038 * * * * [misc]progress:  [ 34 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545387107.038 * * * * [misc]progress:  [ 35 / 60 ] 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))))>
1545387107.038 * * * * [misc]progress:  [ 36 / 60 ] 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))))>
1545387107.038 * * * * [misc]progress:  [ 37 / 60 ] 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))))>
1545387107.039 * * * * [misc]progress:  [ 38 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* 1 (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1545387107.039 * * * * [misc]progress:  [ 39 / 60 ] simplifiying candidate #<alt (λ (a) (log1p (expm1 (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1545387107.039 * * * * [misc]progress:  [ 40 / 60 ] simplifiying candidate #<alt (λ (a) (expm1 (log1p (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1545387107.039 * * * * [misc]progress:  [ 41 / 60 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
1545387107.039 * * * * [misc]progress:  [ 42 / 60 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))) 1))>
1545387107.039 * * * * [misc]progress:  [ 43 / 60 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1545387107.039 * * * * [misc]progress:  [ 44 / 60 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1545387107.039 * * * * [misc]progress:  [ 45 / 60 ] 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))))))>
1545387107.039 * * * * [misc]progress:  [ 46 / 60 ] 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))))))>
1545387107.039 * * * * [misc]progress:  [ 47 / 60 ] 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))))))>
1545387107.039 * * * * [misc]progress:  [ 48 / 60 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
1545387107.039 * * * * [misc]progress:  [ 49 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))>
1545387107.039 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545387107.039 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387107.040 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387107.041 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545387107.041 * [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))))
1545387107.041 * * * * [misc]progress:  [ 50 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))>
1545387107.041 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545387107.042 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387107.042 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387107.044 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545387107.044 * [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))))
1545387107.044 * * * * [misc]progress:  [ 51 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))>
1545387107.044 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545387107.044 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387107.045 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387107.046 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545387107.046 * [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))))
1545387107.046 * * * * [misc]progress:  [ 52 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1545387107.046 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545387107.047 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387107.047 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387107.049 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545387107.049 * [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))))
1545387107.049 * * * * [misc]progress:  [ 53 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1545387107.049 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545387107.049 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387107.050 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387107.051 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545387107.051 * [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))))
1545387107.051 * * * * [misc]progress:  [ 54 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1545387107.051 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545387107.051 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387107.052 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387107.054 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545387107.054 * [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))))
1545387107.054 * * * * [misc]progress:  [ 55 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a))))>
1545387107.054 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (pow a 2)))
1545387107.054 * * [misc]simplify:  iters left: 3 (6 enodes)
1545387107.055 * * [misc]simplify:  iters left: 2 (12 enodes)
1545387107.056 * * [misc]simplify:  iters left: 1 (15 enodes)
1545387107.058 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1545387107.058 * [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))))
1545387107.058 * * * * [misc]progress:  [ 56 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a))))>
1545387107.058 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (pow a 2)))
1545387107.058 * * [misc]simplify:  iters left: 3 (6 enodes)
1545387107.059 * * [misc]simplify:  iters left: 2 (12 enodes)
1545387107.064 * * [misc]simplify:  iters left: 1 (15 enodes)
1545387107.068 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1545387107.068 * [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))))
1545387107.068 * * * * [misc]progress:  [ 57 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a))))>
1545387107.069 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (pow a 2)))
1545387107.069 * * [misc]simplify:  iters left: 3 (6 enodes)
1545387107.070 * * [misc]simplify:  iters left: 2 (12 enodes)
1545387107.074 * * [misc]simplify:  iters left: 1 (15 enodes)
1545387107.078 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1545387107.078 * [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))))
1545387107.078 * * * * [misc]progress:  [ 58 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1545387107.078 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545387107.078 * * [misc]simplify:  iters left: 4 (8 enodes)
1545387107.081 * * [misc]simplify:  iters left: 3 (14 enodes)
1545387107.085 * * [misc]simplify:  iters left: 2 (17 enodes)
1545387107.089 * * [misc]simplify:  iters left: 1 (19 enodes)
1545387107.094 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1545387107.094 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1545387107.094 * * * * [misc]progress:  [ 59 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1545387107.095 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545387107.095 * * [misc]simplify:  iters left: 4 (8 enodes)
1545387107.097 * * [misc]simplify:  iters left: 3 (14 enodes)
1545387107.101 * * [misc]simplify:  iters left: 2 (17 enodes)
1545387107.106 * * [misc]simplify:  iters left: 1 (19 enodes)
1545387107.111 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1545387107.111 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1545387107.111 * * * * [misc]progress:  [ 60 / 60 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1545387107.111 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1545387107.111 * * [misc]simplify:  iters left: 4 (8 enodes)
1545387107.114 * * [misc]simplify:  iters left: 3 (14 enodes)
1545387107.118 * * [misc]simplify:  iters left: 2 (17 enodes)
1545387107.121 * * [misc]simplify:  iters left: 1 (19 enodes)
1545387107.124 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1545387107.124 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1545387107.124 * * * [misc]progress:  adding candidates to table
1545387107.987 * * [misc]progress:  iteration 4 / 4
1545387107.987 * * * [misc]progress:  picking best candidate
1545387108.012 * * * * [misc]pick:  Picked  #<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))))>
1545387108.012 * * * [misc]progress:  localizing error
1545387108.056 * * * [misc]progress:  generating rewritten candidates
1545387108.056 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 2 1 1 1 1)
1545387108.056 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 2 1 1 2 1 1 1)
1545387108.057 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2 1 1 1 1 1 1)
1545387108.057 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 1 1)
1545387108.058 * * * [misc]progress:  generating series expansions
1545387108.058 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 2 1 1 1 1)
1545387108.058 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1545387108.058 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1545387108.058 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545387108.059 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387108.059 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545387108.059 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387108.059 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387108.059 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.059 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.059 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.059 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.059 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.059 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.059 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387108.059 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387108.059 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1545387108.059 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545387108.060 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387108.060 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545387108.060 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387108.060 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387108.060 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.060 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.060 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.060 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.060 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.060 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.060 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1545387108.060 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387108.060 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1545387108.060 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545387108.060 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387108.060 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545387108.060 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387108.061 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387108.061 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.061 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.061 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.061 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.061 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.061 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.061 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1545387108.061 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 2 1 1 2 1 1 1)
1545387108.061 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1545387108.061 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1545387108.061 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545387108.061 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387108.061 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545387108.061 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387108.061 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387108.061 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.061 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.061 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.061 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.061 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.061 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.061 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387108.061 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387108.062 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1545387108.062 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545387108.062 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387108.062 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545387108.062 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387108.062 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387108.062 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.062 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.062 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.062 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.062 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.062 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.062 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1545387108.062 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387108.062 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1545387108.062 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545387108.062 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387108.062 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545387108.062 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387108.063 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387108.063 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.063 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.063 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.063 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.063 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.063 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.063 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1545387108.063 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2 1 1 1 1 1 1)
1545387108.063 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1545387108.063 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1545387108.063 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545387108.063 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387108.063 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545387108.063 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387108.063 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387108.063 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.063 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.063 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.063 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.063 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.063 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.063 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387108.063 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387108.063 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1545387108.063 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545387108.064 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387108.064 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545387108.064 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387108.064 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387108.064 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.064 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.064 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.064 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.064 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.064 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.064 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1545387108.064 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387108.064 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1545387108.064 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545387108.064 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387108.064 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545387108.064 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387108.064 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387108.064 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.065 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.065 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.065 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.065 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.065 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.065 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1545387108.065 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 1 1)
1545387108.065 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1545387108.065 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1545387108.065 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545387108.065 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387108.065 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1545387108.065 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387108.065 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387108.065 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.065 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.065 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.065 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.065 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.065 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.065 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1545387108.065 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387108.065 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1545387108.065 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545387108.065 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387108.066 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1545387108.066 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387108.066 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1545387108.066 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.066 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.066 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.066 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.066 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.066 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.066 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1545387108.066 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387108.066 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1545387108.066 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545387108.066 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387108.066 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1545387108.066 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387108.066 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1545387108.066 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.066 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.066 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.066 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.067 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.067 * [misc]backup-simplify:  Simplify 0 into 0
1545387108.067 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1545387108.067 * * * [misc]progress:  simplifying candidates
1545387108.067 * * * * [misc]progress:  [ 1 / 48 ] 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 (log1p (expm1 (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1545387108.067 * * * * [misc]progress:  [ 2 / 48 ] 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 (expm1 (log1p (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1545387108.067 * * * * [misc]progress:  [ 3 / 48 ] 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 (pow (fmod (cosh a) (* a a)) 1))))))) (log1p a))))>
1545387108.067 * * * * [misc]progress:  [ 4 / 48 ] 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 (exp (log (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1545387108.067 * * * * [misc]progress:  [ 5 / 48 ] 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 (log (exp (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1545387108.067 * * * * [misc]progress:  [ 6 / 48 ] 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 (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1545387108.067 * * * * [misc]progress:  [ 7 / 48 ] 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 (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1545387108.067 * * * * [misc]progress:  [ 8 / 48 ] 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 (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1545387108.067 * * * * [misc]progress:  [ 9 / 48 ] 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 (* 1 (fmod (cosh a) (* a a))))))))) (log1p a))))>
1545387108.067 * * * * [misc]progress:  [ 10 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (log1p (expm1 (fmod (cosh a) (* a a))))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545387108.067 * * * * [misc]progress:  [ 11 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (expm1 (log1p (fmod (cosh a) (* a a))))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545387108.067 * * * * [misc]progress:  [ 12 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (pow (fmod (cosh a) (* a a)) 1)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545387108.067 * * * * [misc]progress:  [ 13 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (exp (log (fmod (cosh a) (* a a))))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545387108.067 * * * * [misc]progress:  [ 14 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (log (exp (fmod (cosh a) (* a a))))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545387108.067 * * * * [misc]progress:  [ 15 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545387108.067 * * * * [misc]progress:  [ 16 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545387108.067 * * * * [misc]progress:  [ 17 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545387108.067 * * * * [misc]progress:  [ 18 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (* 1 (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545387108.067 * * * * [misc]progress:  [ 19 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (log1p (expm1 (fmod (cosh a) (* a a))))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545387108.068 * * * * [misc]progress:  [ 20 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (expm1 (log1p (fmod (cosh a) (* a a))))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545387108.068 * * * * [misc]progress:  [ 21 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (pow (fmod (cosh a) (* a a)) 1)))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545387108.068 * * * * [misc]progress:  [ 22 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (exp (log (fmod (cosh a) (* a a))))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545387108.068 * * * * [misc]progress:  [ 23 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (log (exp (fmod (cosh a) (* a a))))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545387108.068 * * * * [misc]progress:  [ 24 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545387108.068 * * * * [misc]progress:  [ 25 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545387108.068 * * * * [misc]progress:  [ 26 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (* (sqrt (fmod (cosh a) (* a a))) (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))))>
1545387108.068 * * * * [misc]progress:  [ 27 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (* 1 (fmod (cosh a) (* a a)))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545387108.068 * * * * [misc]progress:  [ 28 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log1p (expm1 (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))))>
1545387108.068 * * * * [misc]progress:  [ 29 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (expm1 (log1p (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))))>
1545387108.068 * * * * [misc]progress:  [ 30 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (pow (fmod (cosh a) (* a a)) 1)) (+ (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))))>
1545387108.068 * * * * [misc]progress:  [ 31 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (exp (log (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))))>
1545387108.068 * * * * [misc]progress:  [ 32 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log (exp (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))))>
1545387108.068 * * * * [misc]progress:  [ 33 / 48 ] 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 (* (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))))>
1545387108.068 * * * * [misc]progress:  [ 34 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (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))))>
1545387108.068 * * * * [misc]progress:  [ 35 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (* (sqrt (fmod (cosh a) (* a a))) (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))))>
1545387108.068 * * * * [misc]progress:  [ 36 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (* 1 (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))))>
1545387108.068 * * * * [misc]progress:  [ 37 / 48 ] 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) (pow a 2)))))))) (log1p a))))>
1545387108.068 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545387108.068 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387108.069 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387108.071 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545387108.071 * [misc]simplify:  Simplified (2 1 1 2 2 1 1 1 1) to (λ (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))))
1545387108.071 * * * * [misc]progress:  [ 38 / 48 ] 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) (pow a 2)))))))) (log1p a))))>
1545387108.071 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545387108.071 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387108.072 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387108.073 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545387108.073 * [misc]simplify:  Simplified (2 1 1 2 2 1 1 1 1) to (λ (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))))
1545387108.073 * * * * [misc]progress:  [ 39 / 48 ] 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) (pow a 2)))))))) (log1p a))))>
1545387108.073 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545387108.073 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387108.074 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387108.076 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545387108.076 * [misc]simplify:  Simplified (2 1 1 2 2 1 1 1 1) to (λ (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))))
1545387108.076 * * * * [misc]progress:  [ 40 / 48 ] 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) (pow a 2))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545387108.076 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545387108.076 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387108.077 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387108.078 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545387108.078 * [misc]simplify:  Simplified (2 1 1 2 1 1 2 1 1 1) to (λ (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))))
1545387108.078 * * * * [misc]progress:  [ 41 / 48 ] 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) (pow a 2))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545387108.079 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545387108.079 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387108.079 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387108.081 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545387108.081 * [misc]simplify:  Simplified (2 1 1 2 1 1 2 1 1 1) to (λ (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))))
1545387108.081 * * * * [misc]progress:  [ 42 / 48 ] 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) (pow a 2))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545387108.081 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545387108.081 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387108.082 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387108.084 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545387108.084 * [misc]simplify:  Simplified (2 1 1 2 1 1 2 1 1 1) to (λ (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))))
1545387108.084 * * * * [misc]progress:  [ 43 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (pow a 2))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545387108.084 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545387108.084 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387108.085 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387108.086 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545387108.086 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1 1 1) to (λ (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))))
1545387108.086 * * * * [misc]progress:  [ 44 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (pow a 2))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545387108.086 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545387108.086 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387108.087 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387108.089 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545387108.089 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1 1 1) to (λ (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))))
1545387108.089 * * * * [misc]progress:  [ 45 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (pow a 2))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1545387108.090 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545387108.090 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387108.091 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387108.092 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545387108.092 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1 1 1) to (λ (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))))
1545387108.092 * * * * [misc]progress:  [ 46 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (+ (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))))>
1545387108.092 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545387108.093 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387108.093 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387108.095 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545387108.095 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (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))))
1545387108.095 * * * * [misc]progress:  [ 47 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (+ (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))))>
1545387108.095 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545387108.095 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387108.096 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387108.099 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545387108.099 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (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))))
1545387108.099 * * * * [misc]progress:  [ 48 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (+ (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))))>
1545387108.100 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1545387108.100 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387108.101 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387108.104 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1545387108.104 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (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))))
1545387108.104 * * * [misc]progress:  adding candidates to table
1545387109.001 * [misc]progress:  [Phase 3 of 3] Extracting.
1545387109.001 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<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))))> #<alt (λ (a) (exp (log (acos (pow (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))))))> #<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 (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (log (exp (fmod (cosh a) (* a a)))))))))) (log1p a))))>)
1545387109.005 * * * [misc]regime-changes:  Trying 3 branch expressions: (a (pow (fmod (cosh a) (* a a)) (log1p a)) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1545387109.006 * * * * [misc]regimes:  Trying to branch on a from (#<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<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))))> #<alt (λ (a) (exp (log (acos (pow (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))))))> #<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 (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (log (exp (fmod (cosh a) (* a a)))))))))) (log1p a))))>)
1545387109.054 * * * * [misc]regimes:  Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<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))))> #<alt (λ (a) (exp (log (acos (pow (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))))))> #<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 (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (log (exp (fmod (cosh a) (* a a)))))))))) (log1p a))))>)
1545387109.136 * * * * [misc]regimes:  Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
1545387109.167 * * * * [misc]regimes:  Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<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))))> #<alt (λ (a) (exp (log (acos (pow (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))))))> #<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 (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (log (exp (fmod (cosh a) (* a a)))))))))) (log1p a))))>)
1545387109.252 * * * * [misc]regimes:  Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
1545387109.322 * * * [misc]regime:  Found split indices: #<option (#s(si 2 256))>
1545387109.323 * [enter]simplify:  Simplifying (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)))
1545387109.323 * * [misc]simplify:  iters left: 6 (15 enodes)
1545387109.324 * * [misc]simplify:  iters left: 5 (17 enodes)
1545387109.325 * [exit]simplify:  Simplified to (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)))
1545387109.325 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545387125.170 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387125.172 * * * * [misc]points:  Sampling 6024 additional inputs, on iter 1 have 1976 / 8000
1545387137.424 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387137.425 * * * * [misc]points:  Sampling 4447 additional inputs, on iter 2 have 3553 / 8000
1545387146.029 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387146.030 * * * * [misc]points:  Sampling 3284 additional inputs, on iter 3 have 4716 / 8000
1545387152.233 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387152.233 * * * * [misc]points:  Sampling 2471 additional inputs, on iter 4 have 5529 / 8000
1545387157.382 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387157.382 * * * * [misc]points:  Sampling 1839 additional inputs, on iter 5 have 6161 / 8000
1545387160.561 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387160.562 * * * * [misc]points:  Sampling 1398 additional inputs, on iter 6 have 6602 / 8000
1545387163.433 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387163.433 * * * * [misc]points:  Sampling 1050 additional inputs, on iter 7 have 6950 / 8000
1545387165.745 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387165.745 * * * * [misc]points:  Sampling 756 additional inputs, on iter 8 have 7244 / 8000
1545387167.092 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387167.092 * * * * [misc]points:  Sampling 555 additional inputs, on iter 9 have 7445 / 8000
1545387168.057 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387168.057 * * * * [misc]points:  Sampling 429 additional inputs, on iter 10 have 7571 / 8000
1545387168.770 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387168.770 * * * * [misc]points:  Sampling 328 additional inputs, on iter 11 have 7672 / 8000
1545387169.666 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387169.666 * * * * [misc]points:  Sampling 250 additional inputs, on iter 12 have 7750 / 8000
1545387170.057 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387170.058 * * * * [misc]points:  Sampling 194 additional inputs, on iter 13 have 7806 / 8000
1545387170.328 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387170.329 * * * * [misc]points:  Sampling 143 additional inputs, on iter 14 have 7857 / 8000
1545387170.657 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387170.657 * * * * [misc]points:  Sampling 104 additional inputs, on iter 15 have 7896 / 8000
1545387170.861 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387170.861 * * * * [misc]points:  Sampling 72 additional inputs, on iter 16 have 7928 / 8000
1545387170.969 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387170.969 * * * * [misc]points:  Sampling 54 additional inputs, on iter 17 have 7946 / 8000
1545387171.050 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387171.050 * * * * [misc]points:  Sampling 37 additional inputs, on iter 18 have 7963 / 8000
1545387171.130 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387171.130 * * * * [misc]points:  Sampling 33 additional inputs, on iter 19 have 7967 / 8000
1545387171.189 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387171.189 * * * * [misc]points:  Sampling 25 additional inputs, on iter 20 have 7975 / 8000
1545387171.231 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387171.231 * * * * [misc]points:  Sampling 19 additional inputs, on iter 21 have 7981 / 8000
1545387171.274 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387171.274 * * * * [misc]points:  Sampling 16 additional inputs, on iter 22 have 7984 / 8000
1545387171.307 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387171.307 * * * * [misc]points:  Sampling 9 additional inputs, on iter 23 have 7991 / 8000
1545387171.331 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387171.331 * * * * [misc]points:  Sampling 6 additional inputs, on iter 24 have 7994 / 8000
1545387171.338 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387171.339 * * * * [misc]points:  Sampling 6 additional inputs, on iter 25 have 7994 / 8000
1545387171.359 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387171.359 * * * * [misc]points:  Sampling 6 additional inputs, on iter 26 have 7994 / 8000
1545387171.372 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387171.372 * * * * [misc]points:  Sampling 5 additional inputs, on iter 27 have 7995 / 8000
1545387171.377 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387171.377 * * * * [misc]points:  Sampling 4 additional inputs, on iter 28 have 7996 / 8000
1545387171.384 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387171.384 * * * * [misc]points:  Sampling 4 additional inputs, on iter 29 have 7996 / 8000
1545387171.401 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387171.401 * * * * [misc]points:  Sampling 4 additional inputs, on iter 30 have 7998 / 8000
1545387171.409 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387171.409 * * * * [misc]points:  Sampling 4 additional inputs, on iter 31 have 7999 / 8000
1545387171.415 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387171.415 * * * * [exit]points:  Sampled 8000 points with exact outputs
1545387172.729 * [misc]regime-testing:  Baseline error score: 59.35652737600171
1545387172.729 * [misc]regime-testing:  End program error score: 59.35652737600171
1545387172.731 * [misc]regime-testing:  Oracle error score: 59.20523758305858